{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9007,
   "version": 1,
   "versionNonce": 27022,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 1250,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9014,
   "version": 1,
   "versionNonce": 27043,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 635.0,
   "height": 70.0,
   "text": "Lane arenas are 248 of the 253 GiB;\nthe shared hot lines fit in one 2 MiB page",
   "originalText": "Lane arenas are 248 of the 253 GiB;\nthe shared hot lines fit in one 2 MiB page",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9021,
   "version": 1,
   "versionNonce": 27064,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 120,
   "width": 529.2,
   "height": 17.5,
   "text": "03 §4.3 · vyrn-seq memory map · 1 GiB huge pages, one NUMA node",
   "originalText": "03 §4.3 · vyrn-seq memory map · 1 GiB huge pages, one NUMA node",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9028,
   "version": 1,
   "versionNonce": 27085,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "box",
   "x": 40,
   "y": 210,
   "width": 1100,
   "height": 50,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9035,
   "version": 1,
   "versionNonce": 27106,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "budget",
   "x": 40,
   "y": 210,
   "width": 825.0,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9042,
   "version": 1,
   "versionNonce": 27127,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bar_l_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bar_l",
   "x": 40,
   "y": 210,
   "width": 710.4166666666667,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9049,
   "version": 1,
   "versionNonce": 27148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bar_l_t",
   "x": 280.0,
   "y": 225.0,
   "width": 230.4,
   "height": 20.0,
   "text": "L  lane arenas ≈ 248 GiB",
   "originalText": "L  lane arenas ≈ 248 GiB",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bar_l",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9056,
   "version": 1,
   "versionNonce": 27169,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bar_b",
   "x": 750.4166666666667,
   "y": 210,
   "width": 10.598958333333334,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9063,
   "version": 1,
   "versionNonce": 27190,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "line",
   "id": "tick_253",
   "x": 764.7395833333334,
   "y": 202,
   "width": 0.0,
   "height": 88,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     88
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9070,
   "version": 1,
   "versionNonce": 27211,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_253",
   "x": 515.1,
   "y": 272,
   "width": 243.6,
   "height": 35.0,
   "text": "total ≈ 253 GiB\n(B 3.7 GiB, the rest < 1 GiB)",
   "originalText": "total ≈ 253 GiB\n(B 3.7 GiB, the rest < 1 GiB)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9077,
   "version": 1,
   "versionNonce": 27232,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "line",
   "id": "tick_288",
   "x": 865.0,
   "y": 202,
   "width": 0.0,
   "height": 88,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     88
    ]
   ],
   "roundness": null,
   "lastCommittedPoint": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9084,
   "version": 1,
   "versionNonce": 27253,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_288",
   "x": 873.0,
   "y": 272,
   "width": 117.6,
   "height": 35.0,
   "text": "budget 288 GiB\nof huge pages",
   "originalText": "budget 288 GiB\nof huge pages",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9091,
   "version": 1,
   "versionNonce": 27274,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "l_384",
   "x": 997.2,
   "y": 272,
   "width": 142.8,
   "height": 35.0,
   "text": "box ≥ 384 GiB\n(12 × 32 GiB; 06)",
   "originalText": "box ≥ 384 GiB\n(12 × 32 GiB; 06)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9098,
   "version": 1,
   "versionNonce": 27295,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rH",
   "x": 40,
   "y": 340,
   "width": 1100,
   "height": 161,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9105,
   "version": 1,
   "versionNonce": 27316,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bH_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bH",
   "x": 52,
   "y": 349,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9112,
   "version": 1,
   "versionNonce": 27337,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bH_t",
   "x": 62.6,
   "y": 353.8,
   "width": 10.8,
   "height": 22.5,
   "text": "H",
   "originalText": "H",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bH",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9119,
   "version": 1,
   "versionNonce": 27358,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nH",
   "x": 100,
   "y": 352,
   "width": 280.8,
   "height": 25.0,
   "text": "hot lines (one 2 MiB page)",
   "originalText": "hot lines (one 2 MiB page)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9126,
   "version": 1,
   "versionNonce": 27379,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH00",
   "x": 100,
   "y": 390,
   "width": 184.8,
   "height": 17.5,
   "text": "lane counter lines ×49",
   "originalText": "lane counter lines ×49",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9133,
   "version": 1,
   "versionNonce": 27400,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH01",
   "x": 440,
   "y": 390,
   "width": 117.6,
   "height": 17.5,
   "text": "writer: lane l",
   "originalText": "writer: lane l",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9140,
   "version": 1,
   "versionNonce": 27421,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH02",
   "x": 640,
   "y": 390,
   "width": 193.2,
   "height": 17.5,
   "text": "reader: cut core A or B",
   "originalText": "reader: cut core A or B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9147,
   "version": 1,
   "versionNonce": 27442,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH10",
   "x": 100,
   "y": 411,
   "width": 168.0,
   "height": 17.5,
   "text": "half-cut lines 2 × 4",
   "originalText": "half-cut lines 2 × 4",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9154,
   "version": 1,
   "versionNonce": 27463,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH11",
   "x": 440,
   "y": 411,
   "width": 142.8,
   "height": 17.5,
   "text": "writer: cut A / B",
   "originalText": "writer: cut A / B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9161,
   "version": 1,
   "versionNonce": 27484,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH12",
   "x": 640,
   "y": 411,
   "width": 134.4,
   "height": 17.5,
   "text": "reader: BBO core",
   "originalText": "reader: BBO core",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9168,
   "version": 1,
   "versionNonce": 27505,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH20",
   "x": 100,
   "y": 432,
   "width": 268.8,
   "height": 17.5,
   "text": "LaneCut lines ×13 (4 lanes each)",
   "originalText": "LaneCut lines ×13 (4 lanes each)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9175,
   "version": 1,
   "versionNonce": 27526,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH21",
   "x": 440,
   "y": 432,
   "width": 126.0,
   "height": 17.5,
   "text": "writer: c4 / c7",
   "originalText": "writer: c4 / c7",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9182,
   "version": 1,
   "versionNonce": 27547,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH22",
   "x": 640,
   "y": 432,
   "width": 109.2,
   "height": 17.5,
   "text": "reader: lanes",
   "originalText": "reader: lanes",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9189,
   "version": 1,
   "versionNonce": 27568,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH30",
   "x": 100,
   "y": 453,
   "width": 260.4,
   "height": 17.5,
   "text": "snapshot line ×1 (+ bbo_lag_ns)",
   "originalText": "snapshot line ×1 (+ bbo_lag_ns)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9196,
   "version": 1,
   "versionNonce": 27589,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH31",
   "x": 440,
   "y": 453,
   "width": 134.4,
   "height": 17.5,
   "text": "writer: BBO core",
   "originalText": "writer: BBO core",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9203,
   "version": 1,
   "versionNonce": 27610,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH32",
   "x": 640,
   "y": 453,
   "width": 142.8,
   "height": 17.5,
   "text": "reader: all lanes",
   "originalText": "reader: all lanes",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9210,
   "version": 1,
   "versionNonce": 27631,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH40",
   "x": 100,
   "y": 474,
   "width": 260.4,
   "height": 17.5,
   "text": "released_step ×2 (one per half)",
   "originalText": "released_step ×2 (one per half)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9217,
   "version": 1,
   "versionNonce": 27652,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH41",
   "x": 440,
   "y": 474,
   "width": 126.0,
   "height": 17.5,
   "text": "writer: c4 / c7",
   "originalText": "writer: c4 / c7",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9224,
   "version": 1,
   "versionNonce": 27673,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cH42",
   "x": 640,
   "y": 474,
   "width": 193.2,
   "height": 17.5,
   "text": "reader: TX cores, lanes",
   "originalText": "reader: TX cores, lanes",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9231,
   "version": 1,
   "versionNonce": 27694,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rR",
   "x": 40,
   "y": 509,
   "width": 1100,
   "height": 161,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9238,
   "version": 1,
   "versionNonce": 27715,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bR_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bR",
   "x": 52,
   "y": 518,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9245,
   "version": 1,
   "versionNonce": 27736,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bR_t",
   "x": 62.6,
   "y": 522.8,
   "width": 10.8,
   "height": 22.5,
   "text": "R",
   "originalText": "R",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bR",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9252,
   "version": 1,
   "versionNonce": 27757,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nR",
   "x": 100,
   "y": 521,
   "width": 205.2,
   "height": 25.0,
   "text": "SPSC rings (72 MiB)",
   "originalText": "SPSC rings (72 MiB)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9259,
   "version": 1,
   "versionNonce": 27778,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR00",
   "x": 100,
   "y": 559,
   "width": 218.4,
   "height": 17.5,
   "text": "lane→BBO ×49 · 4096 × 64 B",
   "originalText": "lane→BBO ×49 · 4096 × 64 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9266,
   "version": 1,
   "versionNonce": 27799,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR01",
   "x": 440,
   "y": 559,
   "width": 378.0,
   "height": 17.5,
   "text": "256 KiB each (op + in-packet dependency list)",
   "originalText": "256 KiB each (op + in-packet dependency list)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9273,
   "version": 1,
   "versionNonce": 27820,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR10",
   "x": 100,
   "y": 580,
   "width": 268.8,
   "height": 17.5,
   "text": "BBO→lane fill ×49 · 16384 × 64 B",
   "originalText": "BBO→lane fill ×49 · 16384 × 64 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9280,
   "version": 1,
   "versionNonce": 27841,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR11",
   "x": 440,
   "y": 580,
   "width": 319.2,
   "height": 17.5,
   "text": "1 MiB each (fill, STP and Shed events)",
   "originalText": "1 MiB each (fill, STP and Shed events)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9287,
   "version": 1,
   "versionNonce": 27862,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR20",
   "x": 100,
   "y": 601,
   "width": 168.0,
   "height": 17.5,
   "text": "BBO→TX ×3, R_step ×2",
   "originalText": "BBO→TX ×3, R_step ×2",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9294,
   "version": 1,
   "versionNonce": 27883,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR21",
   "x": 440,
   "y": 601,
   "width": 193.2,
   "height": 17.5,
   "text": "64 KiB each, 1 MiB each",
   "originalText": "64 KiB each, 1 MiB each",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9301,
   "version": 1,
   "versionNonce": 27904,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR30",
   "x": 100,
   "y": 622,
   "width": 252.0,
   "height": 17.5,
   "text": "R_pkt, R_hash ×49 (lane→c4/c7)",
   "originalText": "R_pkt, R_hash ×49 (lane→c4/c7)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9308,
   "version": 1,
   "versionNonce": 27925,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR31",
   "x": 440,
   "y": 622,
   "width": 361.2,
   "height": 17.5,
   "text": "4 MiB each, pre-encoded in pass 1 (07 §4.1)",
   "originalText": "4 MiB each, pre-encoded in pass 1 (07 §4.1)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9315,
   "version": 1,
   "versionNonce": 27946,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR40",
   "x": 100,
   "y": 643,
   "width": 134.4,
   "height": 17.5,
   "text": "control→lane ×49",
   "originalText": "control→lane ×49",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9322,
   "version": 1,
   "versionNonce": 27967,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cR41",
   "x": 440,
   "y": 643,
   "width": 378.0,
   "height": 17.5,
   "text": "64 KiB each · pool: token table 64 B × 28,672",
   "originalText": "64 KiB each · pool: token table 64 B × 28,672",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9329,
   "version": 1,
   "versionNonce": 27988,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rB",
   "x": 40,
   "y": 678,
   "width": 1100,
   "height": 119,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9336,
   "version": 1,
   "versionNonce": 28009,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bB_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bB",
   "x": 52,
   "y": 687,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9343,
   "version": 1,
   "versionNonce": 28030,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bB_t",
   "x": 62.6,
   "y": 691.8,
   "width": 10.8,
   "height": 22.5,
   "text": "B",
   "originalText": "B",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bB",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9350,
   "version": 1,
   "versionNonce": 28051,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nB",
   "x": 100,
   "y": 690,
   "width": 194.4,
   "height": 25.0,
   "text": "BBO core (3.7 GiB)",
   "originalText": "BBO core (3.7 GiB)",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9357,
   "version": 1,
   "versionNonce": 28072,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB00",
   "x": 100,
   "y": 728,
   "width": 142.8,
   "height": 17.5,
   "text": "level index + BBO",
   "originalText": "level index + BBO",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9364,
   "version": 1,
   "versionNonce": 28093,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB01",
   "x": 440,
   "y": 728,
   "width": 50.4,
   "height": 17.5,
   "text": "64 MiB",
   "originalText": "64 MiB",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9371,
   "version": 1,
   "versionNonce": 28114,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB10",
   "x": 100,
   "y": 749,
   "width": 226.8,
   "height": 17.5,
   "text": "filled-qty, 49 × 2^24 × u32",
   "originalText": "filled-qty, 49 × 2^24 × u32",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9378,
   "version": 1,
   "versionNonce": 28135,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB11",
   "x": 440,
   "y": 749,
   "width": 277.2,
   "height": 17.5,
   "text": "3.06 GiB  (one u32 per lane slot)",
   "originalText": "3.06 GiB  (one u32 per lane slot)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9385,
   "version": 1,
   "versionNonce": 28156,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB20",
   "x": 100,
   "y": 770,
   "width": 226.8,
   "height": 17.5,
   "text": "step-log ring, 2^20 × 512 B",
   "originalText": "step-log ring, 2^20 × 512 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9392,
   "version": 1,
   "versionNonce": 28177,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cB21",
   "x": 440,
   "y": 770,
   "width": 361.2,
   "height": 17.5,
   "text": "512 MiB  (StepRecord with its 49-entry cut)",
   "originalText": "512 MiB  (StepRecord with its 49-entry cut)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9399,
   "version": 1,
   "versionNonce": 28198,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rK",
   "x": 40,
   "y": 805,
   "width": 1100,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9406,
   "version": 1,
   "versionNonce": 28219,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bK_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bK",
   "x": 52,
   "y": 814,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9413,
   "version": 1,
   "versionNonce": 28240,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bK_t",
   "x": 62.6,
   "y": 818.8,
   "width": 10.8,
   "height": 22.5,
   "text": "K",
   "originalText": "K",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bK",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9420,
   "version": 1,
   "versionNonce": 28261,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nK",
   "x": 100,
   "y": 821,
   "width": 693.0,
   "height": 18.8,
   "text": "session-key table: 49 × 4096 × 16 B (K_out) · 3.06 MiB · writer: lane at open",
   "originalText": "session-key table: 49 × 4096 × 16 B (K_out) · 3.06 MiB · writer: lane at open",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9427,
   "version": 1,
   "versionNonce": 28282,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rL",
   "x": 40,
   "y": 863,
   "width": 1100,
   "height": 203,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9434,
   "version": 1,
   "versionNonce": 28303,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bL_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bL",
   "x": 52,
   "y": 872,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9441,
   "version": 1,
   "versionNonce": 28324,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bL_t",
   "x": 62.6,
   "y": 876.8,
   "width": 10.8,
   "height": 22.5,
   "text": "L",
   "originalText": "L",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bL",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9448,
   "version": 1,
   "versionNonce": 28345,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nL",
   "x": 100,
   "y": 875,
   "width": 388.8,
   "height": 25.0,
   "text": "lane arenas, 49 × 5.07 GiB ≈ 248 GiB",
   "originalText": "lane arenas, 49 × 5.07 GiB ≈ 248 GiB",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9455,
   "version": 1,
   "versionNonce": 28366,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL00",
   "x": 100,
   "y": 913,
   "width": 201.6,
   "height": 17.5,
   "text": "order slots, 2^24 × 32 B",
   "originalText": "order slots, 2^24 × 32 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9462,
   "version": 1,
   "versionNonce": 28387,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL01",
   "x": 440,
   "y": 913,
   "width": 58.8,
   "height": 17.5,
   "text": "512 MiB",
   "originalText": "512 MiB",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9469,
   "version": 1,
   "versionNonce": 28408,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL10",
   "x": 100,
   "y": 934,
   "width": 243.6,
   "height": 17.5,
   "text": "level window, 2 × 4096 × 16 B",
   "originalText": "level window, 2 × 4096 × 16 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9476,
   "version": 1,
   "versionNonce": 28429,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL11",
   "x": 440,
   "y": 934,
   "width": 218.4,
   "height": 17.5,
   "text": "128 KiB  (TICK_HOT_WINDOW)",
   "originalText": "128 KiB  (TICK_HOT_WINDOW)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9483,
   "version": 1,
   "versionNonce": 28450,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL20",
   "x": 100,
   "y": 955,
   "width": 126.0,
   "height": 17.5,
   "text": "overflow levels",
   "originalText": "overflow levels",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9490,
   "version": 1,
   "versionNonce": 28471,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL21",
   "x": 440,
   "y": 955,
   "width": 176.4,
   "height": 17.5,
   "text": "32 MiB  (05 sizes it)",
   "originalText": "32 MiB  (05 sizes it)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9497,
   "version": 1,
   "versionNonce": 28492,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL30",
   "x": 100,
   "y": 976,
   "width": 184.8,
   "height": 17.5,
   "text": "sessions, 4096 × 128 B",
   "originalText": "sessions, 4096 × 128 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9504,
   "version": 1,
   "versionNonce": 28513,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL31",
   "x": 440,
   "y": 976,
   "width": 268.8,
   "height": 17.5,
   "text": "512 KiB  (MAX_SESSIONS_PER_LANE)",
   "originalText": "512 KiB  (MAX_SESSIONS_PER_LANE)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9511,
   "version": 1,
   "versionNonce": 28534,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL40",
   "x": 100,
   "y": 997,
   "width": 260.4,
   "height": 17.5,
   "text": "accounts and risk, 4096 × 256 B",
   "originalText": "accounts and risk, 4096 × 256 B",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9518,
   "version": 1,
   "versionNonce": 28555,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL41",
   "x": 440,
   "y": 997,
   "width": 42.0,
   "height": 17.5,
   "text": "1 MiB",
   "originalText": "1 MiB",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9525,
   "version": 1,
   "versionNonce": 28576,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL50",
   "x": 100,
   "y": 1018,
   "width": 252.0,
   "height": 17.5,
   "text": "RX buffers + payload retention",
   "originalText": "RX buffers + payload retention",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9532,
   "version": 1,
   "versionNonce": 28597,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL51",
   "x": 440,
   "y": 1018,
   "width": 277.2,
   "height": 17.5,
   "text": "512 MiB  (~1 s at peak lane rate)",
   "originalText": "512 MiB  (~1 s at peak lane rate)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9539,
   "version": 1,
   "versionNonce": 28618,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL60",
   "x": 100,
   "y": 1039,
   "width": 142.8,
   "height": 17.5,
   "text": "response hot ring",
   "originalText": "response hot ring",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9546,
   "version": 1,
   "versionNonce": 28639,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "cL61",
   "x": 440,
   "y": 1039,
   "width": 319.2,
   "height": 17.5,
   "text": "4 GiB  (RESP_HOT_RING_BYTES, 01 §14.6)",
   "originalText": "4 GiB  (RESP_HOT_RING_BYTES, 01 §14.6)",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9553,
   "version": 1,
   "versionNonce": 28660,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rT",
   "x": 40,
   "y": 1074,
   "width": 1100,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9560,
   "version": 1,
   "versionNonce": 28681,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bT_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bT",
   "x": 52,
   "y": 1083,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9567,
   "version": 1,
   "versionNonce": 28702,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bT_t",
   "x": 62.6,
   "y": 1087.8,
   "width": 10.8,
   "height": 22.5,
   "text": "T",
   "originalText": "T",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bT",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9574,
   "version": 1,
   "versionNonce": 28723,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nT",
   "x": 100,
   "y": 1090,
   "width": 621.0,
   "height": 18.8,
   "text": "order stream (c4, c7): frame rings 2 × 64 MiB · block assembly 64 MiB",
   "originalText": "order stream (c4, c7): frame rings 2 × 64 MiB · block assembly 64 MiB",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9581,
   "version": 1,
   "versionNonce": 28744,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "rC",
   "x": 40,
   "y": 1132,
   "width": 1100,
   "height": 50,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9588,
   "version": 1,
   "versionNonce": 28765,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "bC_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "rectangle",
   "id": "bC",
   "x": 52,
   "y": 1141,
   "width": 32,
   "height": 32,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roundness": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9595,
   "version": 1,
   "versionNonce": 28786,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "bC_t",
   "x": 62.6,
   "y": 1145.8,
   "width": 10.8,
   "height": 22.5,
   "text": "C",
   "originalText": "C",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": "bC",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9602,
   "version": 1,
   "versionNonce": 28807,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "nC",
   "x": 100,
   "y": 1148,
   "width": 144.0,
   "height": 18.8,
   "text": "control: 256 MiB",
   "originalText": "control: 256 MiB",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9609,
   "version": 1,
   "versionNonce": 28828,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_seal",
   "x": 880,
   "y": 130,
   "width": 243.0,
   "height": 45.0,
   "text": "INV-NOALLOC: nothing\nis allocated after seal()",
   "originalText": "INV-NOALLOC: nothing\nis allocated after seal()",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9616,
   "version": 1,
   "versionNonce": 28849,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_seal",
   "x": 876,
   "y": 160,
   "width": 26,
   "height": 44,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -26,
     20
    ],
    [
     -14,
     44
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9623,
   "version": 1,
   "versionNonce": 28870,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 0,
   "type": "text",
   "id": "n_run",
   "x": 860,
   "y": 919,
   "width": 223.6,
   "height": 67.5,
   "text": "grouped by type: the 49\norder-slot arenas are\none 24.5 GiB run",
   "originalText": "grouped by type: the 49\norder-slot arenas are\none 24.5 GiB run",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "angle": 0,
   "opacity": 100,
   "seed": 9630,
   "version": 1,
   "versionNonce": 28891,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "frameId": null,
   "updated": 1,
   "roughness": 1,
   "type": "arrow",
   "id": "na_run",
   "x": 856,
   "y": 933,
   "width": 344,
   "height": 18,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "points": [
    [
     0,
     0
    ],
    [
     -166,
     -18
    ],
    [
     -344,
     -10
    ]
   ],
   "roundness": {
    "type": 2
   },
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}