{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 700,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 128587139,
   "version": 1,
   "versionNonce": 77029140,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 853.11,
   "height": 32.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 63364635,
   "version": 1,
   "versionNonce": 90218323,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "A fill reverts only if three things go wrong inside one ~1 ms window",
   "originalText": "A fill reverts only if three things go wrong inside one ~1 ms window",
   "fontSize": 26,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "seq_t",
   "x": 40,
   "y": 136,
   "width": 100.95,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 91977420,
   "version": 1,
   "versionNonce": 94921042,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "sequencer:",
   "originalText": "sequencer:",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "frame",
   "x": 170,
   "y": 120,
   "width": 140,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 60655797,
   "version": 1,
   "versionNonce": 203049367,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "frame_t",
     "type": "text"
    },
    {
     "id": "a1",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "frame_t",
   "x": 196.81,
   "y": 138.75,
   "width": 86.38,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 242939192,
   "version": 1,
   "versionNonce": 43634572,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "frame(s)",
   "originalText": "frame(s)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "frame",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "pa",
   "x": 370,
   "y": 120,
   "width": 130,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 58326029,
   "version": 1,
   "versionNonce": 198360450,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "pa_t",
     "type": "text"
    },
    {
     "id": "a1",
     "type": "arrow"
    },
    {
     "id": "a2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "pa_t",
   "x": 404.22,
   "y": 138.75,
   "width": 61.56,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 43236374,
   "version": 1,
   "versionNonce": 131079650,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "path A",
   "originalText": "path A",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "pa",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "pb",
   "x": 560,
   "y": 120,
   "width": 130,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 186623729,
   "version": 1,
   "versionNonce": 196468155,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "pb_t",
     "type": "text"
    },
    {
     "id": "a2",
     "type": "arrow"
    },
    {
     "id": "a3",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "pb_t",
   "x": 593.455,
   "y": 138.75,
   "width": 63.09,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 188017954,
   "version": 1,
   "versionNonce": 220717582,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "path B",
   "originalText": "path B",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "pb",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "fill",
   "x": 750,
   "y": 120,
   "width": 130,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 128895348,
   "version": 1,
   "versionNonce": 184310331,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "fill_t",
     "type": "text"
    },
    {
     "id": "a3",
     "type": "arrow"
    },
    {
     "id": "a4",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "fill_t",
   "x": 777.085,
   "y": 138.75,
   "width": 75.83,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 251015887,
   "version": 1,
   "versionNonce": 197029749,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "fill(s)",
   "originalText": "fill(s)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "fill",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "wire",
   "x": 940,
   "y": 116,
   "width": 130,
   "height": 68,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 115459716,
   "version": 1,
   "versionNonce": 166754709,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "wire_t",
     "type": "text"
    },
    {
     "id": "a4",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "wire_t",
   "x": 987.205,
   "y": 138.75,
   "width": 35.59,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 179408968,
   "version": 1,
   "versionNonce": 263760188,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "wire",
   "originalText": "wire",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "wire",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a1",
   "x": 312,
   "y": 150,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 254393489,
   "version": 1,
   "versionNonce": 149796360,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "frame",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "pa",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a2",
   "x": 502,
   "y": 150,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 195003866,
   "version": 1,
   "versionNonce": 139842249,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "pa",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "pb",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a3",
   "x": 692,
   "y": 150,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 38976518,
   "version": 1,
   "versionNonce": 46318220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "pb",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "fill",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a4",
   "x": 882,
   "y": 150,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 34881755,
   "version": 1,
   "versionNonce": 122582735,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "fill",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "wire",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "text",
   "id": "inv_t",
   "x": 924.31,
   "y": 196,
   "width": 161.38,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 24320665,
   "version": 1,
   "versionNonce": 126000459,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "(INV-FRAME-FIRST)",
   "originalText": "(INV-FRAME-FIRST)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n_gate",
   "x": 300,
   "y": 214,
   "width": 261.06,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 95822813,
   "version": 1,
   "versionNonce": 31209599,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "every fill waits until its frame\nis on both paths",
   "originalText": "every fill waits until its frame\nis on both paths",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_gate_a",
   "x": 572,
   "y": 232,
   "width": 234,
   "height": 48,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 145063585,
   "version": 1,
   "versionNonce": 177066463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     128,
     -8
    ],
    [
     234,
     -48
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "text",
   "id": "time_t",
   "x": 40,
   "y": 328,
   "width": 37.95,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 52778074,
   "version": 1,
   "versionNonce": 65999388,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "time",
   "originalText": "time",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "axis",
   "x": 100,
   "y": 340,
   "width": 1040,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 63957212,
   "version": 1,
   "versionNonce": 87767187,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     1040,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "line",
   "id": "tick_f",
   "x": 240,
   "y": 326,
   "width": 0,
   "height": 28,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 99352168,
   "version": 1,
   "versionNonce": 104668176,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     28
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "tick_w",
   "x": 820,
   "y": 326,
   "width": 0,
   "height": 28,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 262075813,
   "version": 1,
   "versionNonce": 249068265,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     28
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "tf_t",
   "x": 223.18,
   "y": 296,
   "width": 33.64,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 131671326,
   "version": 1,
   "versionNonce": 226518275,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "t_f",
   "originalText": "t_f",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tw_t",
   "x": 782.085,
   "y": 296,
   "width": 75.83,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 259609481,
   "version": 1,
   "versionNonce": 27230291,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "t_f + w",
   "originalText": "t_f + w",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "w_t",
   "x": 870,
   "y": 360,
   "width": 245.75,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 236081092,
   "version": 1,
   "versionNonce": 156826515,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "w = flight + repair ≈ 1 ms",
   "originalText": "w = flight + repair ≈ 1 ms",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "g_f",
   "x": 240,
   "y": 356,
   "width": 0,
   "height": 76,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 228352968,
   "version": 1,
   "versionNonce": 27992138,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     76
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "g_w",
   "x": 820,
   "y": 356,
   "width": 0,
   "height": 76,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 189178772,
   "version": 1,
   "versionNonce": 13225808,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     76
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "arrow",
   "id": "win",
   "x": 244,
   "y": 424,
   "width": 572,
   "height": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 209103918,
   "version": 1,
   "versionNonce": 230773504,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     572,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": "arrow",
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "text",
   "id": "win_t",
   "x": 437.54,
   "y": 388,
   "width": 184.92,
   "height": 25.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 225660447,
   "version": 1,
   "versionNonce": 10557347,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "exposure window w",
   "originalText": "exposure window w",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "rev_t",
   "x": 40,
   "y": 512,
   "width": 105.25,
   "height": 30.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 201698934,
   "version": 1,
   "versionNonce": 66110702,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "revert ⇔",
   "originalText": "revert ⇔",
   "fontSize": 24,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c1",
   "x": 190,
   "y": 496,
   "width": 300,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 49424229,
   "version": 1,
   "versionNonce": 56911677,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c1_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "c1_t",
   "x": 268.265,
   "y": 508.5,
   "width": 143.47,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 182748949,
   "version": 1,
   "versionNonce": 244966294,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "sequencer stops\ninside w",
   "originalText": "sequencer stops\ninside w",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c1",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "and1",
   "x": 511.775,
   "y": 514,
   "width": 16.45,
   "height": 30.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 249961817,
   "version": 1,
   "versionNonce": 7902256,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "∧",
   "originalText": "∧",
   "fontSize": 24,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c2",
   "x": 550,
   "y": 496,
   "width": 240,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 112325939,
   "version": 1,
   "versionNonce": 149594793,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c2_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "c2_t",
   "x": 615.99,
   "y": 508.5,
   "width": 108.02,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 134848541,
   "version": 1,
   "versionNonce": 148891669,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "the frame is\nlost on A",
   "originalText": "the frame is\nlost on A",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c2",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "and2",
   "x": 811.775,
   "y": 514,
   "width": 16.45,
   "height": 30.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 99482275,
   "version": 1,
   "versionNonce": 231665375,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "∧",
   "originalText": "∧",
   "fontSize": 24,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c3",
   "x": 850,
   "y": 496,
   "width": 240,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 174216198,
   "version": 1,
   "versionNonce": 165921475,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c3_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "c3_t",
   "x": 927.525,
   "y": 519.75,
   "width": 84.95,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 160696900,
   "version": 1,
   "versionNonce": 235280226,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "lost on B",
   "originalText": "lost on B",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c3",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "every_t",
   "x": 708.9300000000001,
   "y": 580,
   "width": 222.14,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 85215361,
   "version": 1,
   "versionNonce": 156501450,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "(at every correct replica)",
   "originalText": "(at every correct replica)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "n_rate",
   "x": 60,
   "y": 616,
   "width": 371.83,
   "height": 22.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 176770023,
   "version": 1,
   "versionNonce": 7451197,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "expected reverted fills ≈ 3 × 10⁻¹⁴ per year",
   "originalText": "expected reverted fills ≈ 3 × 10⁻¹⁴ per year",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_rate_a",
   "x": 100,
   "y": 612,
   "width": 20,
   "height": 60,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 193555604,
   "version": 1,
   "versionNonce": 12973273,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -20,
     -26
    ],
    [
     -10,
     -60
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}