{
  "type": "excalidraw",
  "version": 2,
  "source": "https://marketplace.visualstudio.com/items?itemName=pomdtr.excalidraw-editor",
  "elements": [
    {
      "id": "text-1",
      "type": "text",
      "x": 55,
      "y": 28,
      "width": 699.67,
      "height": 40.300000000000004,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a001",
      "roundness": null,
      "seed": 11097,
      "version": 1,
      "versionNonce": 15131,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 31,
      "fontFamily": 3,
      "text": "Fragment-aware scalar index execution",
      "rawText": "Fragment-aware scalar index execution",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Fragment-aware scalar index execution",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-2",
      "type": "text",
      "x": 55,
      "y": 70,
      "width": 362.34,
      "height": 23.400000000000002,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a002",
      "roundness": null,
      "seed": 11194,
      "version": 1,
      "versionNonce": 15262,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "Query: 10:00 ≤ event_time < 11:00",
      "rawText": "Query: 10:00 ≤ event_time < 11:00",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Query: 10:00 ≤ event_time < 11:00",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-3",
      "type": "rectangle",
      "x": 65,
      "y": 135,
      "width": 300,
      "height": 105,
      "angle": 0,
      "strokeColor": "#7c3aed",
      "backgroundColor": "#ede9fe",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a003",
      "roundness": {
        "type": 3
      },
      "seed": 11291,
      "version": 1,
      "versionNonce": 15393,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-4",
      "type": "text",
      "x": 104,
      "y": 156,
      "width": 201.29999999999998,
      "height": 28.6,
      "angle": 0,
      "strokeColor": "#6d28d9",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a004",
      "roundness": null,
      "seed": 11388,
      "version": 1,
      "versionNonce": 15524,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 22,
      "fontFamily": 3,
      "text": "ScalarIndexExpr",
      "rawText": "ScalarIndexExpr",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "ScalarIndexExpr",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-5",
      "type": "text",
      "x": 104,
      "y": 197,
      "width": 283.04,
      "height": 20.8,
      "angle": 0,
      "strokeColor": "#5b21b6",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a005",
      "roundness": null,
      "seed": 11485,
      "version": 1,
      "versionNonce": 15655,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "event_time_idx [10:00, 11:00)",
      "rawText": "event_time_idx [10:00, 11:00)",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "event_time_idx [10:00, 11:00)",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-6",
      "type": "rectangle",
      "x": 500,
      "y": 120,
      "width": 370,
      "height": 135,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#dbeafe",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a006",
      "roundness": {
        "type": 3
      },
      "seed": 11582,
      "version": 1,
      "versionNonce": 15786,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-7",
      "type": "text",
      "x": 590,
      "y": 141,
      "width": 201.29999999999998,
      "height": 28.6,
      "angle": 0,
      "strokeColor": "#1d4ed8",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a007",
      "roundness": null,
      "seed": 11679,
      "version": 1,
      "versionNonce": 15917,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 22,
      "fontFamily": 3,
      "text": "ScalarIndexExec",
      "rawText": "ScalarIndexExec",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "ScalarIndexExec",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-8",
      "type": "text",
      "x": 545,
      "y": 183,
      "width": 283.04,
      "height": 41.6,
      "angle": 0,
      "strokeColor": "#1e3a8a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a008",
      "roundness": null,
      "seed": 11776,
      "version": 1,
      "versionNonce": 16048,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "Exact = {F0:r1, F1:r0, F2:r0}\ncoverage = {F0, F1, F2}",
      "rawText": "Exact = {F0:r1, F1:r0, F2:r0}\ncoverage = {F0, F1, F2}",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Exact = {F0:r1, F1:r0, F2:r0}\ncoverage = {F0, F1, F2}",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "arrow-9",
      "type": "arrow",
      "x": 365,
      "y": 187,
      "width": 135,
      "height": 0,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a009",
      "roundness": null,
      "seed": 11873,
      "version": 1,
      "versionNonce": 16179,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          135,
          0
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "rectangle-10",
      "type": "rectangle",
      "x": 60,
      "y": 330,
      "width": 1320,
      "height": 440,
      "angle": 0,
      "strokeColor": "#64748b",
      "backgroundColor": "#f8fafc",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a010",
      "roundness": {
        "type": 3
      },
      "seed": 11970,
      "version": 1,
      "versionNonce": 16310,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-11",
      "type": "text",
      "x": 90,
      "y": 352,
      "width": 244,
      "height": 32.5,
      "angle": 0,
      "strokeColor": "#0f172a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a011",
      "roundness": null,
      "seed": 12067,
      "version": 1,
      "versionNonce": 16441,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 25,
      "fontFamily": 3,
      "text": "FilteredReadExec",
      "rawText": "FilteredReadExec",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "FilteredReadExec",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-12",
      "type": "text",
      "x": 325,
      "y": 358,
      "width": 497.76,
      "height": 22.1,
      "angle": 0,
      "strokeColor": "#475569",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a012",
      "roundness": null,
      "seed": 12164,
      "version": 1,
      "versionNonce": 16572,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 17,
      "fontFamily": 3,
      "text": "index mask + deletion vector + current fragments",
      "rawText": "index mask + deletion vector + current fragments",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "index mask + deletion vector + current fragments",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "arrow-13",
      "type": "arrow",
      "x": 685,
      "y": 255,
      "width": 0,
      "height": 75,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a013",
      "roundness": null,
      "seed": 12261,
      "version": 1,
      "versionNonce": 16703,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          75
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "rectangle-14",
      "type": "rectangle",
      "x": 90,
      "y": 430,
      "width": 280,
      "height": 265,
      "angle": 0,
      "strokeColor": "#2563eb",
      "backgroundColor": "#eff6ff",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a014",
      "roundness": {
        "type": 3
      },
      "seed": 12358,
      "version": 1,
      "versionNonce": 16834,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-15",
      "type": "text",
      "x": 116,
      "y": 452,
      "width": 153.72,
      "height": 27.3,
      "angle": 0,
      "strokeColor": "#1d4ed8",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a015",
      "roundness": null,
      "seed": 12455,
      "version": 1,
      "versionNonce": 16965,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 21,
      "fontFamily": 3,
      "text": "F0 · covered",
      "rawText": "F0 · covered",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "F0 · covered",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-16",
      "type": "text",
      "x": 116,
      "y": 496,
      "width": 164.7,
      "height": 70.2,
      "angle": 0,
      "strokeColor": "#1e3a8a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a016",
      "roundness": null,
      "seed": 12552,
      "version": 1,
      "versionNonce": 17096,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "index -> r1\nread r1\nresult -> 10:15",
      "rawText": "index -> r1\nread r1\nresult -> 10:15",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "index -> r1\nread r1\nresult -> 10:15",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-17",
      "type": "rectangle",
      "x": 405,
      "y": 430,
      "width": 280,
      "height": 265,
      "angle": 0,
      "strokeColor": "#e11d48",
      "backgroundColor": "#fff1f2",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a017",
      "roundness": {
        "type": 3
      },
      "seed": 12649,
      "version": 1,
      "versionNonce": 17227,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-18",
      "type": "text",
      "x": 431,
      "y": 452,
      "width": 153.72,
      "height": 27.3,
      "angle": 0,
      "strokeColor": "#be123c",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a018",
      "roundness": null,
      "seed": 12746,
      "version": 1,
      "versionNonce": 17358,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 21,
      "fontFamily": 3,
      "text": "F1 · covered",
      "rawText": "F1 · covered",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "F1 · covered",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-19",
      "type": "text",
      "x": 431,
      "y": 496,
      "width": 252.54,
      "height": 70.2,
      "angle": 0,
      "strokeColor": "#9f1239",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a019",
      "roundness": null,
      "seed": 12843,
      "version": 1,
      "versionNonce": 17489,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "index -> r0\ndeletion vector -> drop\nresult -> ∅",
      "rawText": "index -> r0\ndeletion vector -> drop\nresult -> ∅",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "index -> r0\ndeletion vector -> drop\nresult -> ∅",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-20",
      "type": "rectangle",
      "x": 720,
      "y": 430,
      "width": 280,
      "height": 265,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "#ecfdf5",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a020",
      "roundness": {
        "type": 3
      },
      "seed": 12940,
      "version": 1,
      "versionNonce": 17620,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-21",
      "type": "text",
      "x": 746,
      "y": 452,
      "width": 153.72,
      "height": 27.3,
      "angle": 0,
      "strokeColor": "#15803d",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a021",
      "roundness": null,
      "seed": 13037,
      "version": 1,
      "versionNonce": 17751,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 21,
      "fontFamily": 3,
      "text": "F2 · covered",
      "rawText": "F2 · covered",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "F2 · covered",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-22",
      "type": "text",
      "x": 746,
      "y": 496,
      "width": 164.7,
      "height": 70.2,
      "angle": 0,
      "strokeColor": "#14532d",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a022",
      "roundness": null,
      "seed": 13134,
      "version": 1,
      "versionNonce": 17882,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "index -> r0\nread r0\nresult -> 10:55",
      "rawText": "index -> r0\nread r0\nresult -> 10:55",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "index -> r0\nread r0\nresult -> 10:55",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-23",
      "type": "rectangle",
      "x": 1035,
      "y": 430,
      "width": 280,
      "height": 265,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a023",
      "roundness": {
        "type": 3
      },
      "seed": 13231,
      "version": 1,
      "versionNonce": 18013,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-24",
      "type": "text",
      "x": 1061,
      "y": 452,
      "width": 204.96,
      "height": 27.3,
      "angle": 0,
      "strokeColor": "#c2410c",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a024",
      "roundness": null,
      "seed": 13328,
      "version": 1,
      "versionNonce": 18144,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 21,
      "fontFamily": 3,
      "text": "F3 · not covered",
      "rawText": "F3 · not covered",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "F3 · not covered",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-25",
      "type": "text",
      "x": 1061,
      "y": 496,
      "width": 230.57999999999998,
      "height": 70.2,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a025",
      "roundness": null,
      "seed": 13425,
      "version": 1,
      "versionNonce": 18275,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 18,
      "fontFamily": 3,
      "text": "read full live ranges\nfull_filter\nresult -> 10:20",
      "rawText": "read full live ranges\nfull_filter\nresult -> 10:20",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "read full live ranges\nfull_filter\nresult -> 10:20",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "rectangle-26",
      "type": "rectangle",
      "x": 390,
      "y": 825,
      "width": 660,
      "height": 72,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "#dcfce7",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a026",
      "roundness": {
        "type": 3
      },
      "seed": 13522,
      "version": 1,
      "versionNonce": 18406,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-27",
      "type": "text",
      "x": 473,
      "y": 845,
      "width": 483.12,
      "height": 28.6,
      "angle": 0,
      "strokeColor": "#166534",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a027",
      "roundness": null,
      "seed": 13619,
      "version": 1,
      "versionNonce": 18537,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 22,
      "fontFamily": 3,
      "text": "Final result = {10:15, 10:55, 10:20}",
      "rawText": "Final result = {10:15, 10:55, 10:20}",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "Final result = {10:15, 10:55, 10:20}",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "arrow-28",
      "type": "arrow",
      "x": 230,
      "y": 695,
      "width": 310,
      "height": 130,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a028",
      "roundness": null,
      "seed": 13716,
      "version": 1,
      "versionNonce": 18668,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          310,
          130
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "arrow-29",
      "type": "arrow",
      "x": 545,
      "y": 695,
      "width": 95,
      "height": 130,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a029",
      "roundness": null,
      "seed": 13813,
      "version": 1,
      "versionNonce": 18799,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          95,
          130
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "arrow-30",
      "type": "arrow",
      "x": 860,
      "y": 695,
      "width": -60,
      "height": 130,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a030",
      "roundness": null,
      "seed": 13910,
      "version": 1,
      "versionNonce": 18930,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          -60,
          130
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "arrow-31",
      "type": "arrow",
      "x": 1175,
      "y": 695,
      "width": -275,
      "height": 130,
      "angle": 0,
      "strokeColor": "#16a34a",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a031",
      "roundness": null,
      "seed": 14007,
      "version": 1,
      "versionNonce": 19061,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "points": [
        [
          0,
          0
        ],
        [
          -275,
          130
        ]
      ],
      "lastCommittedPoint": null,
      "startBinding": null,
      "endBinding": null,
      "startArrowhead": null,
      "endArrowhead": "arrow",
      "elbowed": false
    },
    {
      "id": "rectangle-32",
      "type": "rectangle",
      "x": 960,
      "y": 135,
      "width": 380,
      "height": 105,
      "angle": 0,
      "strokeColor": "#ea580c",
      "backgroundColor": "#fff7ed",
      "fillStyle": "solid",
      "strokeWidth": 2,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a032",
      "roundness": {
        "type": 3
      },
      "seed": 14104,
      "version": 1,
      "versionNonce": 19192,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false
    },
    {
      "id": "text-33",
      "type": "text",
      "x": 990,
      "y": 154,
      "width": 73.2,
      "height": 26,
      "angle": 0,
      "strokeColor": "#c2410c",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a033",
      "roundness": null,
      "seed": 14201,
      "version": 1,
      "versionNonce": 19323,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 20,
      "fontFamily": 3,
      "text": "AtMost",
      "rawText": "AtMost",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "AtMost",
      "autoResize": true,
      "lineHeight": 1.3
    },
    {
      "id": "text-34",
      "type": "text",
      "x": 990,
      "y": 192,
      "width": 341.59999999999997,
      "height": 20.8,
      "angle": 0,
      "strokeColor": "#9a3412",
      "backgroundColor": "transparent",
      "fillStyle": "solid",
      "strokeWidth": 1,
      "strokeStyle": "solid",
      "roughness": 0,
      "opacity": 100,
      "groupIds": [],
      "frameId": null,
      "index": "a034",
      "roundness": null,
      "seed": 14298,
      "version": 1,
      "versionNonce": 19454,
      "isDeleted": false,
      "boundElements": null,
      "updated": 1785230400000,
      "link": null,
      "locked": false,
      "fontSize": 16,
      "fontFamily": 3,
      "text": "读取 upper candidates 后执行 full_filter",
      "rawText": "读取 upper candidates 后执行 full_filter",
      "textAlign": "left",
      "verticalAlign": "top",
      "containerId": null,
      "originalText": "读取 upper candidates 后执行 full_filter",
      "autoResize": true,
      "lineHeight": 1.3
    }
  ],
  "appState": {
    "gridSize": null,
    "viewBackgroundColor": "#ffffff"
  },
  "files": {}
}