{
  "mainAfterUndo": {
    "text": "Code\nThread B\nRF\nrepo-fixture\nnow\nSettle\nThread B\nmaster\nThread A\nRF\nrepo-fixture\nnow\nSettle\nThread A\nmaster\nNew thread\nSR\nserver\nnow\nSettle\nNew thread\nWorking\n1\nEdit proof\nRF\nrepo-fixture\nnow\nSettle\nEdit proof\nmaster\nSettled\n0\nRF\nrepo-fixture\n/\nEdit proof\nYou\n\nReply with the single word ok.\n\n4:00 PM\n\nT3 Code\n\nfirst fixture turn complete\n\n4:00 PM\n\nmath.ts L3\n \n\nMulti turn\nmath.ts\nrepo-fixture\nmath.ts\nOpen\n\nA: check addition\n\nToggle Sidebar",
    "source": "\n\nexport function add(a: number, b: number) {\n  return a + b;\n}\n\n\nexport function sub(a: number, b: number) {\n  return a - b;\n}\n\n\nexport function mul(a: number, b: number) {\n  return a * b;\n}\n\n\n\n"
  },
  "supplementBeforeUndo": {
    "body": "Code\nSettled\n0\nRF\nrepo-fixture\n/\nRemap proof\nYou\n\nReply with the single word ok.\n\n4:00 PM\n\nT3 Code\n\nfirst fixture turn complete\n\n4:00 PM\n\nmath.ts L3\n \n\nMulti turn\nmath.ts\nrepo-fixture\nmath.ts\nOpen\n\nA: check addition\n\nToggle Sidebar",
    "sources": [
      "\n\nexport function add(a: number, b: number) {\n  return a + b;\n}\n\n\nexport function sub(a: number, b: number) {\n  return a - b;\n}\n\n\nexport function mul(a: number, b: number) {\n  return a * b;\n}\n\n\n\n"
    ]
  },
  "supplementAfterUndo": {
    "body": "Code\nSettled\n0\nRF\nrepo-fixture\n/\nRemap proof\nYou\n\nReply with the single word ok.\n\n4:00 PM\n\nT3 Code\n\nfirst fixture turn complete\n\n4:00 PM\n\nmath.ts L3\n \n\nMulti turn\nmath.ts\nrepo-fixture\nmath.ts\nOpen\n\nA: check addition\n\nToggle Sidebar",
    "sources": [
      "\n\nexport function add(a: number, b: number) {\n  return a + b;\n}\n\n\nexport function sub(a: number, b: number) {\n  return a - b;\n}\n\n\nexport function mul(a: number, b: number) {\n  return a * b;\n}\n\n\n\n"
    ]
  },
  "undoChangedSource": false,
  "undoChangedChipOrComment": false
}