{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_margin",
   "x": 10,
   "y": 10,
   "width": 1176,
   "height": 576,
   "angle": 0,
   "strokeColor": "transparent",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1367397668,
   "version": 1,
   "versionNonce": 1367397675,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "title",
   "x": 40,
   "y": 40,
   "width": 714.8399999999999,
   "height": 70.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 724990059,
   "version": 1,
   "versionNonce": 724990066,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "New-home replicas vote on window blocks first,\non steps only after the certificate",
   "originalText": "New-home replicas vote on window blocks first,\non steps only after the certificate",
   "fontSize": 28,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 25
  },
  {
   "type": "text",
   "id": "sub",
   "x": 40,
   "y": 120,
   "width": 786.24,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1476559580,
   "version": 1,
   "versionNonce": 1476559587,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Each member of R_{e+1} runs this machine. Its state lags the old home by one WAN one-way.",
   "originalText": "Each member of R_{e+1} runs this machine. Its state lags the old home by one WAN one-way.",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "rectangle",
   "id": "follower",
   "x": 40,
   "y": 240,
   "width": 170,
   "height": 60,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 1117812038,
   "version": 1,
   "versionNonce": 1117812045,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "follower_t",
     "type": "text"
    },
    {
     "id": "a1",
     "type": "arrow"
    },
    {
     "id": "a5",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "follower_t",
   "x": 66.986,
   "y": 258.75,
   "width": 116.02799999999999,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 100788144,
   "version": 1,
   "versionNonce": 100788151,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Follower(e)",
   "originalText": "Follower(e)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "follower",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "prep",
   "x": 300,
   "y": 240,
   "width": 170,
   "height": 60,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1434529120,
   "version": 1,
   "versionNonce": 1434529127,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "prep_t",
     "type": "text"
    },
    {
     "id": "a1",
     "type": "arrow"
    },
    {
     "id": "a2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "prep_t",
   "x": 337.534,
   "y": 258.75,
   "width": 94.932,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 196117522,
   "version": 1,
   "versionNonce": 196117529,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Preparing",
   "originalText": "Preparing",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "prep",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "collect",
   "x": 560,
   "y": 240,
   "width": 180,
   "height": 60,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F4B7C2",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 751881972,
   "version": 1,
   "versionNonce": 751881979,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "collect_t",
     "type": "text"
    },
    {
     "id": "a2",
     "type": "arrow"
    },
    {
     "id": "a3",
     "type": "arrow"
    },
    {
     "id": "a4",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "collect_t",
   "x": 597.26,
   "y": 258.75,
   "width": 105.47999999999999,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 177421962,
   "version": 1,
   "versionNonce": 177421969,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Collecting",
   "originalText": "Collecting",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "collect",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "voting",
   "x": 960,
   "y": 240,
   "width": 190,
   "height": 60,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 230535765,
   "version": 1,
   "versionNonce": 230535772,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "voting_t",
     "type": "text"
    },
    {
     "id": "a3",
     "type": "arrow"
    },
    {
     "id": "a6",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "voting_t",
   "x": 996.986,
   "y": 258.75,
   "width": 116.02799999999999,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 321057970,
   "version": 1,
   "versionNonce": 321057977,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Voting(e+1)",
   "originalText": "Voting(e+1)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "voting",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a1",
   "x": 214,
   "y": 270,
   "width": 82,
   "height": 0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1826703395,
   "version": 1,
   "versionNonce": 1826703402,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     82,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "follower",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "prep",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l1",
   "x": 226.872,
   "y": 242,
   "width": 56.256,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1645847150,
   "version": 1,
   "versionNonce": 1645847157,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T−60 s",
   "originalText": "T−60 s",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "a2",
   "x": 474,
   "y": 270,
   "width": 82,
   "height": 0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 125628825,
   "version": 1,
   "versionNonce": 125628832,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     82,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "prep",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "collect",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l2",
   "x": 510.312,
   "y": 242,
   "width": 9.376,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1078355924,
   "version": 1,
   "versionNonce": 1078355931,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T",
   "originalText": "T",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "a3",
   "x": 744,
   "y": 270,
   "width": 212,
   "height": 0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 196711695,
   "version": 1,
   "versionNonce": 196711702,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     212,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "collect",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "voting",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l3",
   "x": 760.928,
   "y": 218,
   "width": 178.14399999999998,
   "height": 40.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 927029058,
   "version": 1,
   "versionNonce": 927029065,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "cert(e,S) verified,\nroot equal",
   "originalText": "cert(e,S) verified,\nroot equal",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "prep_sub",
   "x": 319.368,
   "y": 310,
   "width": 131.26399999999998,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 658748903,
   "version": 1,
   "versionNonce": 658748910,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "sends EpoReady",
   "originalText": "sends EpoReady",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "col_sub",
   "x": 553.2,
   "y": 310,
   "width": 193.6,
   "height": 40.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1061836543,
   "version": 1,
   "versionNonce": 1061836550,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "votes on window\nblocks only (no steps)",
   "originalText": "votes on window\nblocks only (no steps)",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "rectangle",
   "id": "faulty",
   "x": 540,
   "y": 480,
   "width": 280,
   "height": 66,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1030058137,
   "version": 1,
   "versionNonce": 1030058144,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "faulty_t",
     "type": "text"
    },
    {
     "id": "a4",
     "type": "arrow"
    },
    {
     "id": "a5",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "faulty_t",
   "x": 534.56,
   "y": 490.5,
   "width": 290.88,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 356979600,
   "version": 1,
   "versionNonce": 356979607,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "Faulty\nstop voting, alarm, re-replay",
   "originalText": "Faulty\nstop voting, alarm, re-replay",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "faulty",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a4",
   "x": 744,
   "y": 292,
   "width": 56,
   "height": 184,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 478919852,
   "version": 1,
   "versionNonce": 478919859,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     56,
     68
    ],
    [
     36,
     184
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "collect",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "faulty",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l4",
   "x": 812,
   "y": 390,
   "width": 107.83999999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 837824225,
   "version": 1,
   "versionNonce": 837824232,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "root differs",
   "originalText": "root differs",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "a5",
   "x": 536,
   "y": 513,
   "width": 411,
   "height": 209,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1804373050,
   "version": 1,
   "versionNonce": 1804373057,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -411,
     0
    ],
    [
     -411,
     -209
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "faulty",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "follower",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l5",
   "x": 160,
   "y": 522,
   "width": 202.88,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1726832247,
   "version": 1,
   "versionNonce": 1726832254,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "re-sync from a snapshot",
   "originalText": "re-sync from a snapshot",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "activated",
   "x": 930,
   "y": 470,
   "width": 226,
   "height": 86,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 806155165,
   "version": 1,
   "versionNonce": 806155172,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "activated_t",
     "type": "text"
    },
    {
     "id": "a6",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "activated_t",
   "x": 979.712,
   "y": 490.5,
   "width": 126.576,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1418980796,
   "version": 1,
   "versionNonce": 1418980803,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "EpoActivated\nsent",
   "originalText": "EpoActivated\nsent",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "activated",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a6",
   "x": 1055,
   "y": 304,
   "width": 0,
   "height": 166,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 68859264,
   "version": 1,
   "versionNonce": 68859271,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     166
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "voting",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "activated",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "l6",
   "x": 1070,
   "y": 370,
   "width": 64.96,
   "height": 60.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1194042317,
   "version": 1,
   "versionNonce": 1194042324,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "opening\nblock\nfinal",
   "originalText": "opening\nblock\nfinal",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "n_win",
   "x": 230,
   "y": 400,
   "width": 403.91999999999996,
   "height": 45.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1019593633,
   "version": 1,
   "versionNonce": 1019593640,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "a window block holds only PacketRecords:\nit fixes order, not outcome",
   "originalText": "a window block holds only PacketRecords:\nit fixes order, not outcome",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_win",
   "x": 560,
   "y": 396,
   "width": 40,
   "height": 36,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1197457520,
   "version": 1,
   "versionNonce": 1197457527,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     30,
     -26
    ],
    [
     40,
     -36
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n_arm",
   "x": 700,
   "y": 166,
   "width": 435.59999999999997,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 340887107,
   "version": 1,
   "versionNonce": 340887114,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "on entry: persist armed(e+1), send EpoArmed",
   "originalText": "on entry: persist armed(e+1), send EpoArmed",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_arm",
   "x": 1000,
   "y": 192,
   "width": 30,
   "height": 44,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 516652434,
   "version": 1,
   "versionNonce": 516652441,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     20,
     22
    ],
    [
     30,
     44
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#FFFFFF",
  "gridSize": 20
 },
 "files": {}
}