{
 "type": "excalidraw",
 "version": 2,
 "source": "gen.py",
 "elements": [
  {
   "id": "el6307590",
   "type": "text",
   "x": 20,
   "y": 0,
   "width": 1056.0,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 675887,
   "version": 1,
   "versionNonce": 880187,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "CPython dict after d = {'cat': 1, 'dog': 2, 'emu': 3}: sparse index array plus dense entry array",
   "fontSize": 20,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "CPython dict after d = {'cat': 1, 'dog': 2, 'emu': 3}: sparse index array plus dense entry array",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5066085",
   "type": "text",
   "x": 40,
   "y": 41.25,
   "width": 700.7,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 498393,
   "version": 1,
   "versionNonce": 551843,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "dk_indices: the actual hash table, 8 slots of int8 while the table is small; -1 means empty",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "dk_indices: the actual hash table, 8 slots of int8 while the table is small; -1 means empty",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4938755",
   "type": "rectangle",
   "x": 40,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 573574,
   "version": 1,
   "versionNonce": 259060,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1491251",
   "type": "text",
   "x": 64.3,
   "y": 84.25,
   "width": 15.400000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 431815,
   "version": 1,
   "versionNonce": 738883,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6157279",
   "type": "text",
   "x": 53.849999999999994,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 57996,
   "version": 1,
   "versionNonce": 22846,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 0",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 0",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4256713",
   "type": "rectangle",
   "x": 104,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "#a5d8ff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 522517,
   "version": 1,
   "versionNonce": 927831,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8046697",
   "type": "text",
   "x": 132.15,
   "y": 84.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 85032,
   "version": 1,
   "versionNonce": 269753,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "0",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "0",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4822529",
   "type": "text",
   "x": 117.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 699773,
   "version": 1,
   "versionNonce": 444935,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 1",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7211227",
   "type": "text",
   "x": 109.6,
   "y": 115.5,
   "width": 52.800000000000004,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 237803,
   "version": 1,
   "versionNonce": 516889,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-> row 0",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-> row 0",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1572059",
   "type": "rectangle",
   "x": 168,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 729624,
   "version": 1,
   "versionNonce": 354473,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8055773",
   "type": "text",
   "x": 192.3,
   "y": 84.25,
   "width": 15.400000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 379920,
   "version": 1,
   "versionNonce": 715724,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7649787",
   "type": "text",
   "x": 181.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 207702,
   "version": 1,
   "versionNonce": 7082,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 2",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5900812",
   "type": "rectangle",
   "x": 232,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "#a5d8ff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 775034,
   "version": 1,
   "versionNonce": 886204,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9470453",
   "type": "text",
   "x": 260.15,
   "y": 84.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 70709,
   "version": 1,
   "versionNonce": 215188,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9316392",
   "type": "text",
   "x": 245.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 210150,
   "version": 1,
   "versionNonce": 326858,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 3",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4253660",
   "type": "text",
   "x": 237.6,
   "y": 115.5,
   "width": 52.800000000000004,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 242021,
   "version": 1,
   "versionNonce": 487708,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-> row 2",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-> row 2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4715193",
   "type": "rectangle",
   "x": 296,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 277896,
   "version": 1,
   "versionNonce": 797412,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5948152",
   "type": "text",
   "x": 320.3,
   "y": 84.25,
   "width": 15.400000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 114304,
   "version": 1,
   "versionNonce": 998168,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9317551",
   "type": "text",
   "x": 309.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 639735,
   "version": 1,
   "versionNonce": 196413,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 4",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 4",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4746757",
   "type": "rectangle",
   "x": 360,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "#a5d8ff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 508615,
   "version": 1,
   "versionNonce": 437287,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el1946521",
   "type": "text",
   "x": 388.15,
   "y": 84.25,
   "width": 7.700000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 994849,
   "version": 1,
   "versionNonce": 623696,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3455900",
   "type": "text",
   "x": 373.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 966707,
   "version": 1,
   "versionNonce": 412573,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 5",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 5",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1911982",
   "type": "text",
   "x": 365.6,
   "y": 115.5,
   "width": 52.800000000000004,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1971c2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 223294,
   "version": 1,
   "versionNonce": 24777,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-> row 1",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-> row 1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3380872",
   "type": "rectangle",
   "x": 424,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 435563,
   "version": 1,
   "versionNonce": 54359,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2008902",
   "type": "text",
   "x": 448.3,
   "y": 84.25,
   "width": 15.400000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 193048,
   "version": 1,
   "versionNonce": 412428,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8543740",
   "type": "text",
   "x": 437.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 941797,
   "version": 1,
   "versionNonce": 746623,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 6",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 6",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6271400",
   "type": "rectangle",
   "x": 488,
   "y": 75,
   "width": 64,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 768317,
   "version": 1,
   "versionNonce": 118705,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2331459",
   "type": "text",
   "x": 512.3,
   "y": 84.25,
   "width": 15.400000000000002,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 976849,
   "version": 1,
   "versionNonce": 173680,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "-1",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "-1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6523776",
   "type": "text",
   "x": 501.85,
   "y": 59.125,
   "width": 36.300000000000004,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 199947,
   "version": 1,
   "versionNonce": 194524,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot 7",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot 7",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9804642",
   "type": "text",
   "x": 40,
   "y": 132.5,
   "width": 838.2,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 782562,
   "version": 1,
   "versionNonce": 490331,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "slot = hash(key) & 7; on a collision the probe sequence is perturbed by the high bits of the hash (slots here are illustrative)",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "slot = hash(key) & 7; on a collision the probe sequence is perturbed by the high bits of the hash (slots here are illustrative)",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1535087",
   "type": "text",
   "x": 40,
   "y": 171.25,
   "width": 970.2,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 326975,
   "version": 1,
   "versionNonce": 696706,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "dk_entries: dense and append only, one row per key; iterating the dict walks this array, which is why order is insertion order",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "dk_entries: dense and append only, one row per key; iterating the dict walks this array, which is why order is insertion order",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7352179",
   "type": "rectangle",
   "x": 40,
   "y": 200,
   "width": 150,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 879889,
   "version": 1,
   "versionNonce": 392046,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6564960",
   "type": "text",
   "x": 89.975,
   "y": 209.875,
   "width": 50.050000000000004,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 463927,
   "version": 1,
   "versionNonce": 177483,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "me_hash",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "me_hash",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2828005",
   "type": "rectangle",
   "x": 190,
   "y": 200,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 3011,
   "version": 1,
   "versionNonce": 82043,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5694372",
   "type": "text",
   "x": 218.55,
   "y": 209.875,
   "width": 42.900000000000006,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 84687,
   "version": 1,
   "versionNonce": 368540,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "me_key",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "me_key",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8049503",
   "type": "rectangle",
   "x": 290,
   "y": 200,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "#e9ecef",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 928171,
   "version": 1,
   "versionNonce": 129718,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el4479635",
   "type": "text",
   "x": 311.4,
   "y": 209.875,
   "width": 57.2,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 398595,
   "version": 1,
   "versionNonce": 373953,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "me_value",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "me_value",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6179113",
   "type": "text",
   "x": -1.5,
   "y": 246.5,
   "width": 33.0,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 861938,
   "version": 1,
   "versionNonce": 842989,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "row 0",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "row 0",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8255295",
   "type": "rectangle",
   "x": 40,
   "y": 236,
   "width": 150,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 92024,
   "version": 1,
   "versionNonce": 51651,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8943408",
   "type": "text",
   "x": 75.675,
   "y": 245.875,
   "width": 78.65,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 205223,
   "version": 1,
   "versionNonce": 390820,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "hash('cat')",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "hash('cat')",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8488468",
   "type": "rectangle",
   "x": 190,
   "y": 236,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 202403,
   "version": 1,
   "versionNonce": 339015,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el7111081",
   "type": "text",
   "x": 222.125,
   "y": 245.875,
   "width": 35.75,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 773136,
   "version": 1,
   "versionNonce": 940566,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "'cat'",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "'cat'",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8961365",
   "type": "rectangle",
   "x": 290,
   "y": 236,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 31754,
   "version": 1,
   "versionNonce": 662346,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el7892111",
   "type": "text",
   "x": 336.425,
   "y": 245.875,
   "width": 7.15,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 260061,
   "version": 1,
   "versionNonce": 851260,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "1",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7790957",
   "type": "text",
   "x": -1.5,
   "y": 282.5,
   "width": 33.0,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 42625,
   "version": 1,
   "versionNonce": 393812,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "row 1",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "row 1",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el1584759",
   "type": "rectangle",
   "x": 40,
   "y": 272,
   "width": 150,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 486593,
   "version": 1,
   "versionNonce": 65620,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2040252",
   "type": "text",
   "x": 75.675,
   "y": 281.875,
   "width": 78.65,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 269501,
   "version": 1,
   "versionNonce": 204411,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "hash('dog')",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "hash('dog')",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2054477",
   "type": "rectangle",
   "x": 190,
   "y": 272,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 942200,
   "version": 1,
   "versionNonce": 635035,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el6688642",
   "type": "text",
   "x": 222.125,
   "y": 281.875,
   "width": 35.75,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 380607,
   "version": 1,
   "versionNonce": 285543,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "'dog'",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "'dog'",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6619879",
   "type": "rectangle",
   "x": 290,
   "y": 272,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 646949,
   "version": 1,
   "versionNonce": 45703,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el5398524",
   "type": "text",
   "x": 336.425,
   "y": 281.875,
   "width": 7.15,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 782697,
   "version": 1,
   "versionNonce": 751448,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "2",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6309714",
   "type": "text",
   "x": -1.5,
   "y": 318.5,
   "width": 33.0,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 969124,
   "version": 1,
   "versionNonce": 289020,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "row 2",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "row 2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5989642",
   "type": "rectangle",
   "x": 40,
   "y": 308,
   "width": 150,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 3955,
   "version": 1,
   "versionNonce": 756624,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el2096090",
   "type": "text",
   "x": 75.675,
   "y": 317.875,
   "width": 78.65,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 25435,
   "version": 1,
   "versionNonce": 866143,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "hash('emu')",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "hash('emu')",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el4923624",
   "type": "rectangle",
   "x": 190,
   "y": 308,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 112472,
   "version": 1,
   "versionNonce": 498272,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el8813886",
   "type": "text",
   "x": 222.125,
   "y": 317.875,
   "width": 35.75,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 814069,
   "version": 1,
   "versionNonce": 405291,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "'emu'",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "'emu'",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el5211866",
   "type": "rectangle",
   "x": 290,
   "y": 308,
   "width": 100,
   "height": 36,
   "angle": 0,
   "strokeColor": "#2f9e44",
   "backgroundColor": "#b2f2bb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 957921,
   "version": 1,
   "versionNonce": 450823,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "el9279117",
   "type": "text",
   "x": 336.425,
   "y": 317.875,
   "width": 7.15,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 139154,
   "version": 1,
   "versionNonce": 973183,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "3",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "3",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el9330569",
   "type": "text",
   "x": 440,
   "y": 209.875,
   "width": 357.50000000000006,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 191826,
   "version": 1,
   "versionNonce": 9129,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "lookup 'dog': slot 5 holds 1, so check entries[1]:",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "lookup 'dog': slot 5 holds 1, so check entries[1]:",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6088777",
   "type": "text",
   "x": 440,
   "y": 233.875,
   "width": 328.90000000000003,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 862722,
   "version": 1,
   "versionNonce": 725730,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "hash matches, key matches, return me_value = 2",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "hash matches, key matches, return me_value = 2",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el3538648",
   "type": "text",
   "x": 440,
   "y": 257.875,
   "width": 0.0,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 636753,
   "version": 1,
   "versionNonce": 247614,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el6499568",
   "type": "text",
   "x": 440,
   "y": 281.875,
   "width": 421.85,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 903079,
   "version": 1,
   "versionNonce": 335072,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "8 int8 slots cost 8 bytes; a pointer per slot would cost 64",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "8 int8 slots cost 8 bytes; a pointer per slot would cost 64",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el8730625",
   "type": "text",
   "x": 440,
   "y": 305.875,
   "width": 486.20000000000005,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 379437,
   "version": 1,
   "versionNonce": 821909,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "at most 2/3 of slots are ever used, then the table grows to 3 x used",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "at most 2/3 of slots are ever used, then the table grows to 3 x used",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el2325649",
   "type": "text",
   "x": 440,
   "y": 329.875,
   "width": 457.6,
   "height": 16.25,
   "angle": 0,
   "strokeColor": "#1e1e1e",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 536751,
   "version": 1,
   "versionNonce": 206897,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "a delete leaves DKIX_DUMMY (-2) in the slot and a NULL entry row",
   "fontSize": 13,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "a delete leaves DKIX_DUMMY (-2) in the slot and a NULL entry row",
   "autoResize": true,
   "lineHeight": 1.25
  },
  {
   "id": "el7571390",
   "type": "text",
   "x": 40,
   "y": 362.5,
   "width": 462.00000000000006,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#868e96",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "index": null,
   "roundness": null,
   "seed": 789458,
   "version": 1,
   "versionNonce": 167707,
   "isDeleted": false,
   "boundElements": null,
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Constants from Objects/dictobject.c on CPython main, as of 2026-09-17.",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "middle",
   "containerId": null,
   "originalText": "Constants from Objects/dictobject.c on CPython main, as of 2026-09-17.",
   "autoResize": true,
   "lineHeight": 1.25
  }
 ],
 "appState": {
  "gridSize": 20,
  "gridStep": 5,
  "gridModeEnabled": false,
  "viewBackgroundColor": "#fdf8f6"
 },
 "files": {}
}