{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas",
   "x": 0,
   "y": 0,
   "width": 1180,
   "height": 680,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 0,
   "opacity": 100,
   "angle": 0,
   "seed": 128587139,
   "version": 1,
   "versionNonce": 77029140,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 36,
   "width": 928.48,
   "height": 32.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 63364635,
   "version": 1,
   "versionNonce": 90218323,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "Send times are fixed in advance; only the content is chosen at send time",
   "originalText": "Send times are fixed in advance; only the content is chosen at send time",
   "fontSize": 26,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "seed",
   "x": 40,
   "y": 124,
   "width": 100,
   "height": 56,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 153555924,
   "version": 1,
   "versionNonce": 38487373,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "seed_t",
     "type": "text"
    },
    {
     "id": "a_seed",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "seed_t",
   "x": 67.905,
   "y": 140.75,
   "width": 44.19,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 65221472,
   "version": 1,
   "versionNonce": 135716200,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "seed",
   "originalText": "seed",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "seed",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "prng",
   "x": 200,
   "y": 120,
   "width": 240,
   "height": 64,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 104798742,
   "version": 1,
   "versionNonce": 59864220,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "prng_t",
     "type": "text"
    },
    {
     "id": "a_seed",
     "type": "arrow"
    },
    {
     "id": "a_prng",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "prng_t",
   "x": 255.515,
   "y": 129.5,
   "width": 128.97,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 9595819,
   "version": 1,
   "versionNonce": 39143561,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "per-session\nPRNG streams",
   "originalText": "per-session\nPRNG streams",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "prng",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "sched",
   "x": 500,
   "y": 116,
   "width": 320,
   "height": 72,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 52439942,
   "version": 1,
   "versionNonce": 147081324,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "sched_t",
     "type": "text"
    },
    {
     "id": "a_prng",
     "type": "arrow"
    },
    {
     "id": "a_sched",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "sched_t",
   "x": 584.735,
   "y": 139.5,
   "width": 150.53,
   "height": 25.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 139306489,
   "version": 1,
   "versionNonce": 236442501,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "arrival schedule",
   "originalText": "arrival schedule",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "sched",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "text",
   "id": "sched_n",
   "x": 836,
   "y": 140,
   "width": 224.81,
   "height": 20.0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 167222041,
   "version": 1,
   "versionNonce": 99284536,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "(open loop, fixed in advance)",
   "originalText": "(open loop, fixed in advance)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_seed",
   "x": 142,
   "y": 152,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 117853570,
   "version": 1,
   "versionNonce": 107429370,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "seed",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "prng",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a_prng",
   "x": 442,
   "y": 152,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 156820926,
   "version": 1,
   "versionNonce": 147809752,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "prng",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "sched",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "rectangle",
   "id": "md",
   "x": 40,
   "y": 280,
   "width": 160,
   "height": 64,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 37799135,
   "version": 1,
   "versionNonce": 87777503,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "md_t",
     "type": "text"
    },
    {
     "id": "a_md",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "md_t",
   "x": 62.75,
   "y": 302.0,
   "width": 114.5,
   "height": 20.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 52998883,
   "version": 1,
   "versionNonce": 11169288,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "vyrn-md feed",
   "originalText": "vyrn-md feed",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "md",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "book",
   "x": 260,
   "y": 272,
   "width": 240,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 243165516,
   "version": 1,
   "versionNonce": 36583978,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "book_t",
     "type": "text"
    },
    {
     "id": "a_md",
     "type": "arrow"
    },
    {
     "id": "a_book",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "book_t",
   "x": 313.47,
   "y": 289.5,
   "width": 133.06,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 213521614,
   "version": 1,
   "versionNonce": 57976073,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "model book\n(BBO + depth)",
   "originalText": "model book\n(BBO + depth)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "book",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "choose",
   "x": 560,
   "y": 272,
   "width": 400,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 3,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 155680732,
   "version": 1,
   "versionNonce": 70573941,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "choose_t",
     "type": "text"
    },
    {
     "id": "a_book",
     "type": "arrow"
    },
    {
     "id": "a_sched",
     "type": "arrow"
    },
    {
     "id": "a_choose",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "choose_t",
   "x": 640.475,
   "y": 289.5,
   "width": 239.05,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 223853516,
   "version": 1,
   "versionNonce": 99288852,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "choose type, side,\nprice, qty, TIF (§6.4–§6.7)",
   "originalText": "choose type, side,\nprice, qty, TIF (§6.4–§6.7)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "choose",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_md",
   "x": 202,
   "y": 312,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 130549722,
   "version": 1,
   "versionNonce": 208906521,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "md",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "book",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a_book",
   "x": 502,
   "y": 312,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 58758696,
   "version": 1,
   "versionNonce": 156824657,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "book",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "choose",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a_sched",
   "x": 660,
   "y": 190,
   "width": 0,
   "height": 80,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21318251,
   "version": 1,
   "versionNonce": 65157137,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     80
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "sched",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "choose",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "text",
   "id": "a_sched_t",
   "x": 676,
   "y": 212,
   "width": 163.73,
   "height": 22.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 155927548,
   "version": 1,
   "versionNonce": 249301531,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "at each send time:",
   "originalText": "at each send time:",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "pkt",
   "x": 300,
   "y": 422,
   "width": 220,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 147840406,
   "version": 1,
   "versionNonce": 103253001,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "pkt_t",
     "type": "text"
    },
    {
     "id": "a_choose",
     "type": "arrow"
    },
    {
     "id": "a_pkt",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "pkt_t",
   "x": 338.025,
   "y": 440.75,
   "width": 143.95,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 13737646,
   "version": 1,
   "versionNonce": 84757260,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "packetize (§6.8)",
   "originalText": "packetize (§6.8)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "pkt",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "mac",
   "x": 580,
   "y": 422,
   "width": 220,
   "height": 60,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 55044822,
   "version": 1,
   "versionNonce": 169835116,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "mac_t",
     "type": "text"
    },
    {
     "id": "a_pkt",
     "type": "arrow"
    },
    {
     "id": "a_mac",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "mac_t",
   "x": 615.0550000000001,
   "y": 440.75,
   "width": 149.89,
   "height": 22.5,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 214313004,
   "version": 1,
   "versionNonce": 239068566,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "MAC (both tags)",
   "originalText": "MAC (both tags)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "mac",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "ellipse",
   "id": "send",
   "x": 860,
   "y": 412,
   "width": 240,
   "height": 80,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 58643769,
   "version": 1,
   "versionNonce": 161818223,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "send_t",
     "type": "text"
    },
    {
     "id": "a_mac",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "send_t",
   "x": 932.72,
   "y": 429.5,
   "width": 94.56,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 175730032,
   "version": 1,
   "versionNonce": 127223693,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "send twice\n(04 §2.4)",
   "originalText": "send twice\n(04 §2.4)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "send",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_choose",
   "x": 640,
   "y": 354,
   "width": 230,
   "height": 66,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 105144833,
   "version": 1,
   "versionNonce": 148004076,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     36
    ],
    [
     -230,
     36
    ],
    [
     -230,
     66
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "choose",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "pkt",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a_pkt",
   "x": 522,
   "y": 452,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 49291467,
   "version": 1,
   "versionNonce": 54791965,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "pkt",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "mac",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "arrow",
   "id": "a_mac",
   "x": 802,
   "y": 452,
   "width": 56,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 3139703,
   "version": 1,
   "versionNonce": 257561332,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     56,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "mac",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "send",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "line",
   "id": "div",
   "x": 40,
   "y": 530,
   "width": 1100,
   "height": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 39854577,
   "version": 1,
   "versionNonce": 141535460,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     1100,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "rectangle",
   "id": "ctr_in",
   "x": 40,
   "y": 566,
   "width": 300,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 237383385,
   "version": 1,
   "versionNonce": 256143003,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "ctr_in_t",
     "type": "text"
    },
    {
     "id": "a_ctr",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "ctr_in_t",
   "x": 104.655,
   "y": 578.5,
   "width": 170.69,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 253907077,
   "version": 1,
   "versionNonce": 216213117,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "sequencer per-class\ncounters (1 s)",
   "originalText": "sequencer per-class\ncounters (1 s)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "ctr_in",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "rectangle",
   "id": "ctr",
   "x": 420,
   "y": 566,
   "width": 400,
   "height": 70,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 44830995,
   "version": 1,
   "versionNonce": 233661890,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": [
    {
     "id": "ctr_t",
     "type": "text"
    },
    {
     "id": "a_ctr",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "ctr_t",
   "x": 512.26,
   "y": 578.5,
   "width": 215.48,
   "height": 45.0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 210482150,
   "version": 1,
   "versionNonce": 8405363,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "controller: corrects type\nprobabilities (§6.10)",
   "originalText": "controller: corrects type\nprobabilities (§6.10)",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "containerId": "ctr",
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "a_ctr",
   "x": 342,
   "y": 601,
   "width": 76,
   "height": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 183075519,
   "version": 1,
   "versionNonce": 157185148,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     76,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": {
    "elementId": "ctr_in",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "ctr",
    "focus": 0,
    "gap": 4
   }
  },
  {
   "type": "text",
   "id": "n_stale",
   "x": 40,
   "y": 400,
   "width": 210.8,
   "height": 67.5,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 195335278,
   "version": 1,
   "versionNonce": 150653378,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "a few µs stale, so some\nintended joins arrive\nas crosses",
   "originalText": "a few µs stale, so some\nintended joins arrive\nas crosses",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_stale_a",
   "x": 150,
   "y": 396,
   "width": 150,
   "height": 42,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 255078924,
   "version": 1,
   "versionNonce": 198997067,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     70,
     -16
    ],
    [
     150,
     -42
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  },
  {
   "type": "text",
   "id": "n_gain",
   "x": 872,
   "y": 566,
   "width": 226.98,
   "height": 45.0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 21632519,
   "version": 1,
   "versionNonce": 39620922,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": null,
   "text": "once per second, gain 0.5,\ntoward the target mix",
   "originalText": "once per second, gain 0.5,\ntoward the target mix",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "lineHeight": 1.25,
   "autoResize": true
  },
  {
   "type": "arrow",
   "id": "n_gain_a",
   "x": 868,
   "y": 590,
   "width": 44,
   "height": 12,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "angle": 0,
   "seed": 232332268,
   "version": 1,
   "versionNonce": 99937658,
   "isDeleted": false,
   "groupIds": [],
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     -22,
     10
    ],
    [
     -44,
     12
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "elbowed": false,
   "startBinding": null,
   "endBinding": null
  }
 ],
 "appState": {
  "viewBackgroundColor": "#ffffff",
  "gridSize": 20
 },
 "files": {}
}