{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_frame",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 820,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 1007,
   "version": 1,
   "versionNonce": 1010,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 1024.92,
   "height": 33.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1014,
   "version": 1,
   "versionNonce": 1017,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "A block is one 4 KiB-aligned record: a 256-byte head, then its four parts",
   "originalText": "A block is one 4 KiB-aligned record: a 256-byte head, then its four parts",
   "fontSize": 27,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 78,
   "width": 432.64,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1021,
   "version": 1,
   "versionNonce": 1024,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "07 §8.2 · REP_BlockRecord, written to drive h mod 12",
   "originalText": "07 §8.2 · REP_BlockRecord, written to drive h mod 12",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "ra_t",
   "x": 40,
   "y": 118,
   "width": 166.4,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1028,
   "version": 1,
   "versionNonce": 1031,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "bytes 0–24, to scale",
   "originalText": "bytes 0–24, to scale",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_magic",
   "x": 60,
   "y": 170,
   "width": 320,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1035,
   "version": 1,
   "versionNonce": 1038,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_magic_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_magic_t",
   "x": 68,
   "y": 181.875,
   "width": 304,
   "height": 56.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1042,
   "version": 1,
   "versionNonce": 1045,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "magic\n\"PBBLK001\"\n8 B",
   "originalText": "magic\n\"PBBLK001\"\n8 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "a_magic",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "a_magic_o",
   "x": 62,
   "y": 148,
   "width": 8.4,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1049,
   "version": 1,
   "versionNonce": 1052,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "0",
   "originalText": "0",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_height",
   "x": 380,
   "y": 170,
   "width": 320,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1056,
   "version": 1,
   "versionNonce": 1059,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_height_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_height_t",
   "x": 388,
   "y": 191.25,
   "width": 304,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1063,
   "version": 1,
   "versionNonce": 1066,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "height\n8 B",
   "originalText": "height\n8 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "a_height",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "a_height_o",
   "x": 382,
   "y": 148,
   "width": 8.4,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1070,
   "version": 1,
   "versionNonce": 1073,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "8",
   "originalText": "8",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_epoch",
   "x": 700,
   "y": 170,
   "width": 160,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1077,
   "version": 1,
   "versionNonce": 1080,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_epoch_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_epoch_t",
   "x": 708,
   "y": 191.25,
   "width": 144,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1084,
   "version": 1,
   "versionNonce": 1087,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "epoch\n4 B",
   "originalText": "epoch\n4 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "a_epoch",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "a_epoch_o",
   "x": 702,
   "y": 148,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1091,
   "version": 1,
   "versionNonce": 1094,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "16",
   "originalText": "16",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_tenure",
   "x": 860,
   "y": 170,
   "width": 40,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1098,
   "version": 1,
   "versionNonce": 1101,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_tenure_o",
   "x": 862,
   "y": 148,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1105,
   "version": 1,
   "versionNonce": 1108,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "20",
   "originalText": "20",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_kind",
   "x": 900,
   "y": 170,
   "width": 40,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1112,
   "version": 1,
   "versionNonce": 1115,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_kind_o",
   "x": 902,
   "y": 148,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1119,
   "version": 1,
   "versionNonce": 1122,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "21",
   "originalText": "21",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "a_res",
   "x": 940,
   "y": 170,
   "width": 80,
   "height": 80,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1126,
   "version": 1,
   "versionNonce": 1129,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "a_res_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "a_res_t",
   "x": 948,
   "y": 191.25,
   "width": 64,
   "height": 37.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1133,
   "version": 1,
   "versionNonce": 1136,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "res.\n2 B",
   "originalText": "res.\n2 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "a_res",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "a_res_o",
   "x": 942,
   "y": 148,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1140,
   "version": 1,
   "versionNonce": 1143,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "22",
   "originalText": "22",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "a_end_o",
   "x": 1022,
   "y": 148,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1147,
   "version": 1,
   "versionNonce": 1150,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "24",
   "originalText": "24",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "ten_l",
   "x": 880,
   "y": 250,
   "width": 8,
   "height": 30,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1154,
   "version": 1,
   "versionNonce": 1157,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     30
    ],
    [
     -8,
     30
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "ten_t",
   "x": 769.0,
   "y": 270,
   "width": 99.0,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1161,
   "version": 1,
   "versionNonce": 1164,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "tenure, 1 B",
   "originalText": "tenure, 1 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "line",
   "id": "kind_l",
   "x": 920,
   "y": 250,
   "width": 8,
   "height": 30,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1168,
   "version": 1,
   "versionNonce": 1171,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     30
    ],
    [
     8,
     30
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "kind_t",
   "x": 932,
   "y": 270,
   "width": 162.0,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1175,
   "version": 1,
   "versionNonce": 1178,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "kind, 1 B\n(0 normal, 1 seal)",
   "originalText": "kind, 1 B\n(0 normal, 1 seal)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "rb_t",
   "x": 40,
   "y": 324,
   "width": 216.32,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1182,
   "version": 1,
   "versionNonce": 1185,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "bytes 24–256, not to scale",
   "originalText": "bytes 24–256, not to scale",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_hdr",
   "x": 60,
   "y": 376,
   "width": 380,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1189,
   "version": 1,
   "versionNonce": 1192,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_hdr_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_hdr_t",
   "x": 68,
   "y": 397.25,
   "width": 364,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1196,
   "version": 1,
   "versionNonce": 1199,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "BlockHeader (§3.10)\n190 B",
   "originalText": "BlockHeader (§3.10)\n190 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_hdr",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_hdr_o",
   "x": 62,
   "y": 354,
   "width": 16.8,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1203,
   "version": 1,
   "versionNonce": 1206,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "24",
   "originalText": "24",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_olen",
   "x": 440,
   "y": 376,
   "width": 110,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1210,
   "version": 1,
   "versionNonce": 1213,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_olen_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_olen_t",
   "x": 448,
   "y": 397.25,
   "width": 94,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1217,
   "version": 1,
   "versionNonce": 1220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "order_len\n4 B",
   "originalText": "order_len\n4 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_olen",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_olen_o",
   "x": 442,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1224,
   "version": 1,
   "versionNonce": 1227,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "214",
   "originalText": "214",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_hlen",
   "x": 550,
   "y": 376,
   "width": 110,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1231,
   "version": 1,
   "versionNonce": 1234,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_hlen_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_hlen_t",
   "x": 558,
   "y": 397.25,
   "width": 94,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1238,
   "version": 1,
   "versionNonce": 1241,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "hash_len\n4 B",
   "originalText": "hash_len\n4 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_hlen",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_hlen_o",
   "x": 552,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1245,
   "version": 1,
   "versionNonce": 1248,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "218",
   "originalText": "218",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_dlen",
   "x": 660,
   "y": 376,
   "width": 110,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1252,
   "version": 1,
   "versionNonce": 1255,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_dlen_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_dlen_t",
   "x": 668,
   "y": 397.25,
   "width": 94,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1259,
   "version": 1,
   "versionNonce": 1262,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "data_len\n4 B",
   "originalText": "data_len\n4 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_dlen",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_dlen_o",
   "x": 662,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1266,
   "version": 1,
   "versionNonce": 1269,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "222",
   "originalText": "222",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_nun",
   "x": 770,
   "y": 376,
   "width": 120,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1273,
   "version": 1,
   "versionNonce": 1276,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_nun_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_nun_t",
   "x": 778,
   "y": 397.25,
   "width": 104,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1280,
   "version": 1,
   "versionNonce": 1283,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "n_unavail\n4 B",
   "originalText": "n_unavail\n4 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_nun",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_nun_o",
   "x": 772,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1287,
   "version": 1,
   "versionNonce": 1290,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "226",
   "originalText": "226",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "b_res",
   "x": 890,
   "y": 376,
   "width": 130,
   "height": 80,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1294,
   "version": 1,
   "versionNonce": 1297,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "b_res_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "b_res_t",
   "x": 898,
   "y": 397.25,
   "width": 114,
   "height": 37.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1301,
   "version": 1,
   "versionNonce": 1304,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "reserved\n26 B",
   "originalText": "reserved\n26 B",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "b_res",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_res_o",
   "x": 892,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1308,
   "version": 1,
   "versionNonce": 1311,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "230",
   "originalText": "230",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "b_end_o",
   "x": 1022,
   "y": 354,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1315,
   "version": 1,
   "versionNonce": 1318,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "256",
   "originalText": "256",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "rc_t",
   "x": 973.6,
   "y": 538,
   "width": 166.4,
   "height": 40.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1322,
   "version": 1,
   "versionNonce": 1325,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "from byte 256:\nthe block's contents",
   "originalText": "from byte 256:\nthe block's contents",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "right",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c_order",
   "x": 60,
   "y": 590,
   "width": 200,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1329,
   "version": 1,
   "versionNonce": 1332,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c_order_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "c_order_t",
   "x": 68,
   "y": 630.625,
   "width": 184,
   "height": 18.75,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1336,
   "version": 1,
   "versionNonce": 1339,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "order bytes",
   "originalText": "order bytes",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c_order",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "c_order_o",
   "x": 62,
   "y": 568,
   "width": 25.2,
   "height": 17.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1343,
   "version": 1,
   "versionNonce": 1346,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "256",
   "originalText": "256",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c_hash",
   "x": 260,
   "y": 590,
   "width": 220,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1350,
   "version": 1,
   "versionNonce": 1353,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c_hash_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "c_hash_t",
   "x": 268,
   "y": 621.25,
   "width": 204,
   "height": 37.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1357,
   "version": 1,
   "versionNonce": 1360,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "pkt_hash list\n(8 B × records)",
   "originalText": "pkt_hash list\n(8 B × records)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c_hash",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c_data",
   "x": 480,
   "y": 590,
   "width": 300,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1364,
   "version": 1,
   "versionNonce": 1367,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c_data_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "c_data_t",
   "x": 488,
   "y": 611.875,
   "width": 284,
   "height": 56.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1371,
   "version": 1,
   "versionNonce": 1374,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "data bytes\n(O-order; self-\ndelimiting by count)",
   "originalText": "data bytes\n(O-order; self-\ndelimiting by count)",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c_data",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c_unav",
   "x": 780,
   "y": 590,
   "width": 220,
   "height": 100,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1378,
   "version": 1,
   "versionNonce": 1381,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c_unav_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "c_unav_t",
   "x": 788,
   "y": 611.875,
   "width": 204,
   "height": 56.25,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1385,
   "version": 1,
   "versionNonce": 1388,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "unavailable\n(session, pkt_seq)\nlist",
   "originalText": "unavailable\n(session, pkt_seq)\nlist",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c_unav",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "c_pad",
   "x": 1000,
   "y": 590,
   "width": 100,
   "height": 100,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1392,
   "version": 1,
   "versionNonce": 1395,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "c_pad_t",
     "type": "text"
    }
   ],
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1
  },
  {
   "type": "text",
   "id": "c_pad_t",
   "x": 1008,
   "y": 621.25,
   "width": 84,
   "height": 37.5,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1399,
   "version": 1,
   "versionNonce": 1402,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "pad to\n4 KiB",
   "originalText": "pad to\n4 KiB",
   "fontSize": 15,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "c_pad",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "len_olen",
   "x": 495.0,
   "y": 458,
   "width": 335.0,
   "height": 130,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1406,
   "version": 1,
   "versionNonce": 1409,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     42
    ],
    [
     -335.0,
     90
    ],
    [
     -335.0,
     130
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "len_hlen",
   "x": 605.0,
   "y": 458,
   "width": 235.0,
   "height": 130,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1413,
   "version": 1,
   "versionNonce": 1416,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     42
    ],
    [
     -235.0,
     90
    ],
    [
     -235.0,
     130
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "len_dlen",
   "x": 715.0,
   "y": 458,
   "width": 85.0,
   "height": 130,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1420,
   "version": 1,
   "versionNonce": 1423,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     42
    ],
    [
     -85.0,
     90
    ],
    [
     -85.0,
     130
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "len_nun",
   "x": 830.0,
   "y": 458,
   "width": 60.0,
   "height": 130,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1427,
   "version": 1,
   "versionNonce": 1430,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0.0,
     0
    ],
    [
     0.0,
     42
    ],
    [
     60.0,
     90
    ],
    [
     60.0,
     130
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n1",
   "x": 60,
   "y": 730,
   "width": 402.48,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1434,
   "version": 1,
   "versionNonce": 1437,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "written once, when its verify passes:\nno rewrite pass, and that is the compaction",
   "originalText": "written once, when its verify passes:\nno rewrite pass, and that is the compaction",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n1_a",
   "x": 300,
   "y": 726,
   "width": 30,
   "height": 34,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1441,
   "version": 1,
   "versionNonce": 1444,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     20,
     -16
    ],
    [
     30,
     -34
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n2",
   "x": 640,
   "y": 730,
   "width": 336.96000000000004,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1448,
   "version": 1,
   "versionNonce": 1451,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": null,
   "frameId": null,
   "updated": 1,
   "text": "at peak a voter writes 19.20 GB/s of\ndata and 2.23 GB/s of order bytes",
   "originalText": "at peak a voter writes 19.20 GB/s of\ndata and 2.23 GB/s of order bytes",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n2_a",
   "x": 760,
   "y": 726,
   "width": 70,
   "height": 34,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1.5,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 1455,
   "version": 1,
   "versionNonce": 1458,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "roundness": {
    "type": 2
   },
   "frameId": null,
   "updated": 1,
   "points": [
    [
     0,
     0
    ],
    [
     -40,
     -14
    ],
    [
     -70,
     -34
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}