{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_bounds",
   "x": 0,
   "y": 0,
   "width": 1140,
   "height": 960,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 23007,
   "version": 1,
   "versionNonce": 69022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "tex1",
   "x": 40,
   "y": 36,
   "width": 829.9200000000001,
   "height": 35.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23014,
   "version": 1,
   "versionNonce": 69043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "An IOC fills what crosses at the cut, and the rest is out",
   "originalText": "An IOC fills what crosses at the cut, and the rest is out",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex2",
   "x": 40,
   "y": 80,
   "width": 823.6800000000001,
   "height": 22.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23021,
   "version": 1,
   "versionNonce": 69064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "REF bare metal \u00b7 the IOC is message 9 of a 10-message packet \u00b7 any price \u00b7 budgets in ns",
   "originalText": "REF bare metal \u00b7 the IOC is message 9 of a 10-message packet \u00b7 any price \u00b7 budgets in ns",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec3",
   "x": 30.0,
   "y": 140,
   "width": 100,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23028,
   "version": 1,
   "versionNonce": 69085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex4",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex4",
   "x": 51.92,
   "y": 153.75,
   "width": 56.160000000000004,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23035,
   "version": 1,
   "versionNonce": 69106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "client",
   "originalText": "client",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec3",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin5",
   "x": 80,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23042,
   "version": 1,
   "versionNonce": 69127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec6",
   "x": 165.0,
   "y": 140,
   "width": 90,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23049,
   "version": 1,
   "versionNonce": 69148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex7",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex7",
   "x": 191.28,
   "y": 153.75,
   "width": 37.44,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23056,
   "version": 1,
   "versionNonce": 69169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "NICk",
   "originalText": "NICk",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec6",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin8",
   "x": 210,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23063,
   "version": 1,
   "versionNonce": 69190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec9",
   "x": 285.0,
   "y": 140,
   "width": 110,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23070,
   "version": 1,
   "versionNonce": 69211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex10",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex10",
   "x": 311.92,
   "y": 153.75,
   "width": 56.160000000000004,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23077,
   "version": 1,
   "versionNonce": 69232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "lane T",
   "originalText": "lane T",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec9",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin11",
   "x": 340,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23084,
   "version": 1,
   "versionNonce": 69253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec12",
   "x": 505.0,
   "y": 140,
   "width": 130,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23091,
   "version": 1,
   "versionNonce": 69274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex13",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex13",
   "x": 532.56,
   "y": 153.75,
   "width": 74.88,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23098,
   "version": 1,
   "versionNonce": 69295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "BBO core",
   "originalText": "BBO core",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec12",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin14",
   "x": 570,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23105,
   "version": 1,
   "versionNonce": 69316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec15",
   "x": 735.0,
   "y": 140,
   "width": 110,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23112,
   "version": 1,
   "versionNonce": 69337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex16",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex16",
   "x": 761.92,
   "y": 153.75,
   "width": 56.160000000000004,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23119,
   "version": 1,
   "versionNonce": 69358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "core 4",
   "originalText": "core 4",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec15",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin17",
   "x": 790,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23126,
   "version": 1,
   "versionNonce": 69379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "rectangle",
   "id": "rec18",
   "x": 985.0,
   "y": 140,
   "width": 110,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23133,
   "version": 1,
   "versionNonce": 69400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex19",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "tex19",
   "x": 1007.24,
   "y": 153.75,
   "width": 65.52,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23140,
   "version": 1,
   "versionNonce": 69421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "fill TX",
   "originalText": "fill TX",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec18",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "lin20",
   "x": 1040,
   "y": 190,
   "width": 0,
   "height": 580,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23147,
   "version": 1,
   "versionNonce": 69442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     580
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": null
  },
  {
   "type": "text",
   "id": "tex21",
   "x": 46,
   "y": 216,
   "width": 9.6,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23154,
   "version": 1,
   "versionNonce": 69463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "0",
   "originalText": "0",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr22",
   "x": 86,
   "y": 230,
   "width": 118,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23161,
   "version": 1,
   "versionNonce": 69484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     118,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex23",
   "x": 125.8,
   "y": 201.0,
   "width": 38.4,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23168,
   "version": 1,
   "versionNonce": 69505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "+320",
   "originalText": "+320",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr24",
   "x": 216,
   "y": 280,
   "width": 118,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23175,
   "version": 1,
   "versionNonce": 69526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     118,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "rectangle",
   "id": "rec25",
   "x": 333,
   "y": 273,
   "width": 14,
   "height": 132,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23182,
   "version": 1,
   "versionNonce": 69547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex26",
   "x": 356,
   "y": 290,
   "width": 163.2,
   "height": 60.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23189,
   "version": 1,
   "versionNonce": 69568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "msg 9 = IOC:\nalways to the\nBBO core (ARC-D6)",
   "originalText": "msg 9 = IOC:\nalways to the\nBBO core (ARC-D6)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr27",
   "x": 346,
   "y": 405,
   "width": 218,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23196,
   "version": 1,
   "versionNonce": 69589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     218,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex28",
   "x": 407.0,
   "y": 376.0,
   "width": 96.0,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23203,
   "version": 1,
   "versionNonce": 69610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "push t=425",
   "originalText": "push t=425",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec29",
   "x": 563,
   "y": 399,
   "width": 14,
   "height": 216,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23210,
   "version": 1,
   "versionNonce": 69631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex30",
   "x": 586,
   "y": 404,
   "width": 48.0,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23217,
   "version": 1,
   "versionNonce": 69652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "t=525",
   "originalText": "t=525",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex31",
   "x": 586,
   "y": 436,
   "width": 172.79999999999998,
   "height": 80.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23224,
   "version": 1,
   "versionNonce": 69673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "step s: fill what\ncrosses at the cut\n\u00b7 the rest is out\n(\u2264 15)",
   "originalText": "step s: fill what\ncrosses at the cut\n\u00b7 the rest is out\n(\u2264 15)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr32",
   "x": 576,
   "y": 562,
   "width": 208,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23231,
   "version": 1,
   "versionNonce": 69694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     208,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex33",
   "x": 651.2,
   "y": 533.0,
   "width": 57.599999999999994,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23238,
   "version": 1,
   "versionNonce": 69715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "R_step",
   "originalText": "R_step",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex34",
   "x": 806,
   "y": 570,
   "width": 86.39999999999999,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23245,
   "version": 1,
   "versionNonce": 69736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "frame A|B",
   "originalText": "frame A|B",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr35",
   "x": 576,
   "y": 615,
   "width": 458,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23252,
   "version": 1,
   "versionNonce": 69757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     458,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex36",
   "x": 646.4,
   "y": 586.0,
   "width": 67.2,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23259,
   "version": 1,
   "versionNonce": 69778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "TxEntry",
   "originalText": "TxEntry",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex37",
   "x": 953.2,
   "y": 622,
   "width": 76.8,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23266,
   "version": 1,
   "versionNonce": 69799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "gate \u2265 s",
   "originalText": "gate \u2265 s",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr38",
   "x": 1034,
   "y": 682,
   "width": 818,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23273,
   "version": 1,
   "versionNonce": 69820,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -818,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex39",
   "x": 423.4,
   "y": 653.0,
   "width": 403.2,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23280,
   "version": 1,
   "versionNonce": 69841,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "Fill(qty f) \u00b7 Out(cause IOC rest, qty \u2212 f)",
   "originalText": "Fill(qty f) \u00b7 Out(cause IOC rest, qty \u2212 f)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex40",
   "x": 982.0,
   "y": 689,
   "width": 48.0,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23287,
   "version": 1,
   "versionNonce": 69862,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "t=640",
   "originalText": "t=640",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr41",
   "x": 204,
   "y": 740,
   "width": 118,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23294,
   "version": 1,
   "versionNonce": 69883,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -118,
     0
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex42",
   "x": 121.0,
   "y": 711.0,
   "width": 48.0,
   "height": 20.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23301,
   "version": 1,
   "versionNonce": 69904,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "t\u2264880",
   "originalText": "t\u2264880",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex43",
   "x": 806,
   "y": 232,
   "width": 216.32,
   "height": 80.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23308,
   "version": 1,
   "versionNonce": 69925,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "a deep IOC sweep continues\nin continuation steps\n(ARC-D14), and its Out\ncomes with the last one",
   "originalText": "a deep IOC sweep continues\nin continuation steps\n(ARC-D14), and its Out\ncomes with the last one",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr44",
   "x": 800,
   "y": 330,
   "width": 32,
   "height": 118,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23315,
   "version": 1,
   "versionNonce": 69946,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -15,
     70
    ],
    [
     -32,
     118
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex45",
   "x": 40,
   "y": 815,
   "width": 131.04,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23322,
   "version": 1,
   "versionNonce": 69967,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "the IOC's qty:",
   "originalText": "the IOC's qty:",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec46",
   "x": 180,
   "y": 811,
   "width": 420,
   "height": 36,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23329,
   "version": 1,
   "versionNonce": 69988,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex47",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex47",
   "x": 356.4,
   "y": 819.0,
   "width": 67.2,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23336,
   "version": 1,
   "versionNonce": 70009,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "f: Fill",
   "originalText": "f: Fill",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec46",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "rec48",
   "x": 600,
   "y": 811,
   "width": 260,
   "height": 36,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23343,
   "version": 1,
   "versionNonce": 70030,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "tex49",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "tex49",
   "x": 672.4,
   "y": 819.0,
   "width": 115.19999999999999,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23350,
   "version": 1,
   "versionNonce": 70051,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "qty \u2212 f: Out",
   "originalText": "qty \u2212 f: Out",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "rec48",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "tex50",
   "x": 640,
   "y": 876,
   "width": 327.59999999999997,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23357,
   "version": 1,
   "versionNonce": 70072,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "it never rests: an IOC that crosses\nnothing gets Out alone",
   "originalText": "it never rests: an IOC that crosses\nnothing gets Out alone",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "arr51",
   "x": 984,
   "y": 884,
   "width": 118,
   "height": 54,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23364,
   "version": 1,
   "versionNonce": 70093,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -54,
     -34
    ],
    [
     -118,
     -54
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tex52",
   "x": 40,
   "y": 876,
   "width": 382.72,
   "height": 40.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 23371,
   "version": 1,
   "versionNonce": 70114,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "text": "The lane releases its risk reservation\nwhen its fill ring delivers the step's events.",
   "originalText": "The lane releases its risk reservation\nwhen its fill ring delivers the step's events.",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}