{
  "type": "excalidraw",
  "version": 2,
  "source": "opengrind/scripts/build-diagrams.mjs",
  "elements": [
    {
      "id": "el0000",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 654908116,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "text",
      "x": 40,
      "y": 20.5,
      "width": 650.18,
      "height": 23.75,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "transparent",
      "text": "The invariant: if the answer exists, it is inside [lo, hi].",
      "fontSize": 19,
      "fontFamily": 1,
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "The invariant: if the answer exists, it is inside [lo, hi].",
      "lineHeight": 1.25
    },
    {
      "id": "el0001",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 1071376343,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "rectangle",
      "x": 40,
      "y": 80,
      "width": 780,
      "height": 48,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "#a5d8ff"
    },
    {
      "id": "el0002",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 1971116210,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "text",
      "x": 360.98,
      "y": 95.5,
      "width": 138.04,
      "height": 21.25,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "transparent",
      "text": "still possible",
      "fontSize": 17,
      "fontFamily": 1,
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "still possible",
      "lineHeight": 1.25
    },
    {
      "id": "el0003",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 1501506753,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "rectangle",
      "x": 40,
      "y": 150,
      "width": 300,
      "height": 48,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "#e9ecef"
    },
    {
      "id": "el0004",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 227700215,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "text",
      "x": 148.24,
      "y": 166,
      "width": 83.52,
      "height": 20,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "transparent",
      "text": "ruled out",
      "fontSize": 16,
      "fontFamily": 1,
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "ruled out",
      "lineHeight": 1.25
    },
    {
      "id": "el0005",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 2135400444,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "rectangle",
      "x": 340,
      "y": 150,
      "width": 480,
      "height": 48,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "#a5d8ff"
    },
    {
      "id": "el0006",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 1666911701,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "text",
      "x": 510.98,
      "y": 165.5,
      "width": 138.04,
      "height": 21.25,
      "strokeColor": "#1e1e1e",
      "backgroundColor": "transparent",
      "text": "still possible",
      "fontSize": 17,
      "fontFamily": 1,
      "textAlign": "center",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "still possible",
      "lineHeight": 1.25
    },
    {
      "id": "el0007",
      "angle": 0,
      "strokeWidth": 1.5,
      "strokeStyle": "solid",
      "fillStyle": "solid",
      "roughness": 1,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "roundness": null,
      "seed": 910510794,
      "version": 1,
      "versionNonce": 1,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1,
      "link": null,
      "locked": false,
      "type": "text",
      "x": 40,
      "y": 228,
      "width": 723.8399999999999,
      "height": 20,
      "strokeColor": "#868e96",
      "backgroundColor": "transparent",
      "text": "Every correct step only ever shrinks the range, and never discards the answer.",
      "fontSize": 16,
      "fontFamily": 1,
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Every correct step only ever shrinks the range, and never discards the answer.",
      "lineHeight": 1.25
    }
  ],
  "appState": {
    "gridSize": null,
    "viewBackgroundColor": "transparent"
  },
  "files": {}
}