{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "type": "rectangle",
   "id": "canvas_margin",
   "x": 10,
   "y": 10,
   "width": 1060,
   "height": 1302,
   "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": 676.1999999999999,
   "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": "Activation waits for the slower of two paths\nthat cross the WAN side by side",
   "originalText": "Activation waits for the slower of two paths\nthat cross the WAN side by side",
   "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": 828.64,
   "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": "TYO → LDN, typical budgets from the §6.1 table, in ms. The tail path is at normal window load.",
   "originalText": "TYO → LDN, typical budgets from the §6.1 table, in ms. The tail path is at normal window load.",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "ellipse",
   "id": "T",
   "x": 550,
   "y": 180,
   "width": 100,
   "height": 50,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1187964512,
   "version": 1,
   "versionNonce": 1187964519,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "T_t",
     "type": "text"
    },
    {
     "id": "e_seal",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "T_t",
   "x": 594.14,
   "y": 192.5,
   "width": 11.719999999999999,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 273974208,
   "version": 1,
   "versionNonce": 273974215,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "T",
   "originalText": "T",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "T",
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "ellipse",
   "id": "S",
   "x": 562,
   "y": 290,
   "width": 76,
   "height": 48,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 543223747,
   "version": 1,
   "versionNonce": 543223754,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "S_t",
     "type": "text"
    },
    {
     "id": "e_seal",
     "type": "arrow"
    },
    {
     "id": "e_fin",
     "type": "arrow"
    },
    {
     "id": "e_relay",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   }
  },
  {
   "type": "text",
   "id": "S_t",
   "x": 594.14,
   "y": 301.5,
   "width": 11.719999999999999,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 226858309,
   "version": 1,
   "versionNonce": 226858316,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "S",
   "originalText": "S",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "S",
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "arrow",
   "id": "e_seal",
   "x": 600,
   "y": 234,
   "width": 0,
   "height": 52,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1556878972,
   "version": 1,
   "versionNonce": 1556878979,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     52
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "T",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "S",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_seal",
   "x": 616,
   "y": 236,
   "width": 37.12,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1454620403,
   "version": 1,
   "versionNonce": 1454620410,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "seal",
   "originalText": "seal",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_seal",
   "x": 616,
   "y": 258,
   "width": 90.244,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1107339781,
   "version": 1,
   "versionNonce": 1107339788,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_seal 0.01",
   "originalText": "t_seal 0.01",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "text",
   "id": "h_cert",
   "x": 214.0,
   "y": 350,
   "width": 100.0,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1267922937,
   "version": 1,
   "versionNonce": 1267922944,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "cert path",
   "originalText": "cert path",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "right",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "rectangle",
   "id": "final",
   "x": 260,
   "y": 400,
   "width": 140,
   "height": 50,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1973405894,
   "version": 1,
   "versionNonce": 1973405901,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "final_t",
     "type": "text"
    },
    {
     "id": "e_fin",
     "type": "arrow"
    },
    {
     "id": "e_sign",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "final_t",
   "x": 303.9,
   "y": 413.75,
   "width": 52.199999999999996,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1572459395,
   "version": 1,
   "versionNonce": 1572459402,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "final",
   "originalText": "final",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "final",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "cert",
   "x": 260,
   "y": 500,
   "width": 140,
   "height": 50,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 212476011,
   "version": 1,
   "versionNonce": 212476018,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "cert_t",
     "type": "text"
    },
    {
     "id": "e_sign",
     "type": "arrow"
    },
    {
     "id": "e_wan_c",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "cert_t",
   "x": 309.12,
   "y": 513.75,
   "width": 41.76,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 532669519,
   "version": 1,
   "versionNonce": 532669526,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "cert",
   "originalText": "cert",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "cert",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "nh_c",
   "x": 250,
   "y": 740,
   "width": 160,
   "height": 50,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1440855245,
   "version": 1,
   "versionNonce": 1440855252,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "nh_c_t",
     "type": "text"
    },
    {
     "id": "e_wan_c",
     "type": "arrow"
    },
    {
     "id": "e_ver",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "nh_c_t",
   "x": 290.22,
   "y": 753.75,
   "width": 79.56,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 580180278,
   "version": 1,
   "versionNonce": 580180285,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "new home",
   "originalText": "new home",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "nh_c",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "ready",
   "x": 260,
   "y": 940,
   "width": 140,
   "height": 50,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "#EDE5F6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 680887727,
   "version": 1,
   "versionNonce": 680887734,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "ready_t",
     "type": "text"
    },
    {
     "id": "e_ver",
     "type": "arrow"
    },
    {
     "id": "c1",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "ready_t",
   "x": 303.9,
   "y": 953.75,
   "width": 52.199999999999996,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 682198365,
   "version": 1,
   "versionNonce": 682198372,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "ready",
   "originalText": "ready",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "ready",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "e_fin",
   "x": 558,
   "y": 314,
   "width": 228,
   "height": 82,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1458650103,
   "version": 1,
   "versionNonce": 1458650110,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -228,
     0
    ],
    [
     -228,
     82
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "S",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "final",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_fin",
   "x": 380,
   "y": 270,
   "width": 74.24,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 704091001,
   "version": 1,
   "versionNonce": 704091008,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "finality",
   "originalText": "finality",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_fin",
   "x": 380,
   "y": 292,
   "width": 57.42799999999999,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 36813626,
   "version": 1,
   "versionNonce": 36813633,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_fin 2",
   "originalText": "t_fin 2",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "arrow",
   "id": "e_sign",
   "x": 330,
   "y": 454,
   "width": 0,
   "height": 42,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1984730546,
   "version": 1,
   "versionNonce": 1984730553,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     42
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "final",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "cert",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_sign",
   "x": 346,
   "y": 452,
   "width": 83.52,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1892150589,
   "version": 1,
   "versionNonce": 1892150596,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "root+sign",
   "originalText": "root+sign",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_sign",
   "x": 346,
   "y": 474,
   "width": 82.03999999999999,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 142082507,
   "version": 1,
   "versionNonce": 142082514,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_sign 0.3",
   "originalText": "t_sign 0.3",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "arrow",
   "id": "e_wan_c",
   "x": 330,
   "y": 554,
   "width": 0,
   "height": 182,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1666034164,
   "version": 1,
   "versionNonce": 1666034171,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     182
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "cert",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "nh_c",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "e_ver",
   "x": 330,
   "y": 794,
   "width": 0,
   "height": 142,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 66610116,
   "version": 1,
   "versionNonce": 66610123,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     142
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "nh_c",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "ready",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_ver",
   "x": 346,
   "y": 846,
   "width": 55.67999999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 372215626,
   "version": 1,
   "versionNonce": 372215633,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "verify",
   "originalText": "verify",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_ver",
   "x": 346,
   "y": 868,
   "width": 73.836,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1723886345,
   "version": 1,
   "versionNonce": 1723886352,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_ver 0.1",
   "originalText": "t_ver 0.1",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "text",
   "id": "h_tail",
   "x": 886,
   "y": 350,
   "width": 100.0,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 991923151,
   "version": 1,
   "versionNonce": 991923158,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "tail path",
   "originalText": "tail path",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "rectangle",
   "id": "wan_n",
   "x": 800,
   "y": 500,
   "width": 140,
   "height": 50,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1677007946,
   "version": 1,
   "versionNonce": 1677007953,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "wan_n_t",
     "type": "text"
    },
    {
     "id": "e_relay",
     "type": "arrow"
    },
    {
     "id": "e_wan_t",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "wan_n_t",
   "x": 849.75,
   "y": 513.75,
   "width": 40.5,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1932498280,
   "version": 1,
   "versionNonce": 1932498287,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "WAN",
   "originalText": "WAN",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "wan_n",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "nh_t",
   "x": 790,
   "y": 740,
   "width": 160,
   "height": 50,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#FFFFFF",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1593613578,
   "version": 1,
   "versionNonce": 1593613585,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "nh_t_t",
     "type": "text"
    },
    {
     "id": "e_wan_t",
     "type": "arrow"
    },
    {
     "id": "e_tail",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "nh_t_t",
   "x": 830.22,
   "y": 753.75,
   "width": 79.56,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 158221507,
   "version": 1,
   "versionNonce": 158221514,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "new home",
   "originalText": "new home",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "nh_t",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "rectangle",
   "id": "sp",
   "x": 815,
   "y": 840,
   "width": 110,
   "height": 46,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 365840886,
   "version": 1,
   "versionNonce": 365840893,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "sp_t",
     "type": "text"
    },
    {
     "id": "e_tail",
     "type": "arrow"
    },
    {
     "id": "e_apply",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "sp_t",
   "x": 858.28,
   "y": 850.5,
   "width": 23.439999999999998,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1718897792,
   "version": 1,
   "versionNonce": 1718897799,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "S′",
   "originalText": "S′",
   "fontSize": 20,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "sp",
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "rectangle",
   "id": "applied",
   "x": 800,
   "y": 940,
   "width": 140,
   "height": 50,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 654243734,
   "version": 1,
   "versionNonce": 654243741,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "applied_t",
     "type": "text"
    },
    {
     "id": "e_apply",
     "type": "arrow"
    },
    {
     "id": "c2",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "applied_t",
   "x": 833.46,
   "y": 953.75,
   "width": 73.08,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 793807516,
   "version": 1,
   "versionNonce": 793807523,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "applied",
   "originalText": "applied",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "applied",
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "e_relay",
   "x": 642,
   "y": 314,
   "width": 228,
   "height": 182,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 572658618,
   "version": 1,
   "versionNonce": 572658625,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     228,
     0
    ],
    [
     228,
     182
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "S",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "wan_n",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_relay",
   "x": 760,
   "y": 270,
   "width": 46.4,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1596977827,
   "version": 1,
   "versionNonce": 1596977834,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "relay",
   "originalText": "relay",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_relay",
   "x": 760,
   "y": 292,
   "width": 90.244,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 186523658,
   "version": 1,
   "versionNonce": 186523665,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_relay 0.5",
   "originalText": "t_relay 0.5",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "arrow",
   "id": "e_wan_t",
   "x": 870,
   "y": 554,
   "width": 0,
   "height": 182,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 1498462259,
   "version": 1,
   "versionNonce": 1498462266,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     182
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "wan_n",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "nh_t",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "e_tail",
   "x": 870,
   "y": 794,
   "width": 0,
   "height": 42,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 248187921,
   "version": 1,
   "versionNonce": 248187928,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     42
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "nh_t",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "sp",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_tail",
   "x": 886,
   "y": 790,
   "width": 98.55999999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 78947486,
   "version": 1,
   "versionNonce": 78947493,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "replay tail",
   "originalText": "replay tail",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_tail",
   "x": 886,
   "y": 812,
   "width": 82.03999999999999,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1945866344,
   "version": 1,
   "versionNonce": 1945866351,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_tail 0.6",
   "originalText": "t_tail 0.6",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "arrow",
   "id": "e_apply",
   "x": 870,
   "y": 890,
   "width": 0,
   "height": 46,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1258416412,
   "version": 1,
   "versionNonce": 1258416419,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     46
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "sp",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "applied",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "ln_apply",
   "x": 886,
   "y": 888,
   "width": 117.11999999999999,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1208289285,
   "version": 1,
   "versionNonce": 1208289292,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "apply backlog",
   "originalText": "apply backlog",
   "fontSize": 16,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "lv_apply",
   "x": 886,
   "y": 910,
   "width": 98.44800000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1943386796,
   "version": 1,
   "versionNonce": 1943386803,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "t_apply 0.66",
   "originalText": "t_apply 0.66",
   "fontSize": 14,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 13
  },
  {
   "type": "line",
   "id": "band_top",
   "x": 160,
   "y": 590,
   "width": 880,
   "height": 0,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 137113973,
   "version": 1,
   "versionNonce": 137113980,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     880,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "line",
   "id": "band_bot",
   "x": 160,
   "y": 700,
   "width": 880,
   "height": 0,
   "angle": 0,
   "strokeColor": "#565A6B",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "dashed",
   "roughness": 1,
   "opacity": 100,
   "seed": 1914416814,
   "version": 1,
   "versionNonce": 1914416821,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     880,
     0
    ]
   ],
   "lastCommittedPoint": null
  },
  {
   "type": "text",
   "id": "band_l",
   "x": 473.3,
   "y": 626,
   "width": 253.4,
   "height": 25.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1182222891,
   "version": 1,
   "versionNonce": 1182222898,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "WAN one-way: t_wan 110",
   "originalText": "WAN one-way: t_wan 110",
   "fontSize": 20,
   "fontFamily": 5,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 18
  },
  {
   "type": "rectangle",
   "id": "act",
   "x": 400,
   "y": 1070,
   "width": 400,
   "height": 60,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#F2D447",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 951542084,
   "version": 1,
   "versionNonce": 951542091,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "act_t",
     "type": "text"
    },
    {
     "id": "c1",
     "type": "arrow"
    },
    {
     "id": "c2",
     "type": "arrow"
    },
    {
     "id": "e_w",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 3
   }
  },
  {
   "type": "text",
   "id": "act_t",
   "x": 421.856,
   "y": 1090.0,
   "width": 356.28799999999995,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1917895999,
   "version": 1,
   "versionNonce": 1917896006,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "activation = max(cert path, tail path)",
   "originalText": "activation = max(cert path, tail path)",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "middle",
   "lineHeight": 1.25,
   "containerId": "act",
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "c1",
   "x": 330,
   "y": 994,
   "width": 170,
   "height": 72,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1591159457,
   "version": 1,
   "versionNonce": 1591159464,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     170,
     72
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "ready",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "act",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "arrow",
   "id": "c2",
   "x": 870,
   "y": 994,
   "width": 170,
   "height": 72,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1353246491,
   "version": 1,
   "versionNonce": 1353246498,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     -170,
     72
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "applied",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "act",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "tot_c",
   "x": 170,
   "y": 1010,
   "width": 140.64,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 324396978,
   "version": 1,
   "versionNonce": 324396985,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "cert path 112.4",
   "originalText": "cert path 112.4",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "text",
   "id": "tot_t",
   "x": 890,
   "y": 1010,
   "width": 140.64,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 424726133,
   "version": 1,
   "versionNonce": 424726140,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "tail path 111.8",
   "originalText": "tail path 111.8",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "rectangle",
   "id": "wbox",
   "x": 250,
   "y": 1190,
   "width": 700,
   "height": 92,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "#191B26",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 541382161,
   "version": 1,
   "versionNonce": 541382168,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": [
    {
     "id": "e_w",
     "type": "arrow"
    }
   ],
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null
  },
  {
   "type": "text",
   "id": "w1",
   "x": 320.478,
   "y": 1206,
   "width": 559.044,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#F2D447",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1887043060,
   "version": 1,
   "versionNonce": 1887043067,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "W = activation + uncross + catch-up − (last old fill)",
   "originalText": "W = activation + uncross + catch-up − (last old fill)",
   "fontSize": 18,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "text",
   "id": "w2",
   "x": 374.976,
   "y": 1246,
   "width": 450.048,
   "height": 20.0,
   "angle": 0,
   "strokeColor": "#ECEAF2",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1916475470,
   "version": 1,
   "versionNonce": 1916475477,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "TYO → LDN: W typ 112.6 · W max 121.8 · bound 123",
   "originalText": "TYO → LDN: W typ 112.6 · W max 121.8 · bound 123",
   "fontSize": 16,
   "fontFamily": 3,
   "textAlign": "center",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 14
  },
  {
   "type": "arrow",
   "id": "e_w",
   "x": 600,
   "y": 1134,
   "width": 0,
   "height": 52,
   "angle": 0,
   "strokeColor": "#191B26",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1109358045,
   "version": 1,
   "versionNonce": 1109358052,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     52
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": {
    "elementId": "act",
    "focus": 0,
    "gap": 4
   },
   "endBinding": {
    "elementId": "wbox",
    "focus": 0,
    "gap": 4
   },
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n_wan",
   "x": 410,
   "y": 716,
   "width": 193.68,
   "height": 22.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 95494569,
   "version": 1,
   "versionNonce": 95494576,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "≈ 98% of either path",
   "originalText": "≈ 98% of either path",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_wan",
   "x": 470,
   "y": 714,
   "width": 50,
   "height": 46,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1984749176,
   "version": 1,
   "versionNonce": 1984749183,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     30,
     -18
    ],
    [
     50,
     -46
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  },
  {
   "type": "text",
   "id": "n_slow",
   "x": 40,
   "y": 1080,
   "width": 224.27999999999997,
   "height": 67.5,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 758921554,
   "version": 1,
   "versionNonce": 758921561,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": null,
   "text": "at normal load the cert\npath is the slower one,\nby 0.6 ms",
   "originalText": "at normal load the cert\npath is the slower one,\nby 0.6 ms",
   "fontSize": 18,
   "fontFamily": 5,
   "textAlign": "left",
   "verticalAlign": "top",
   "lineHeight": 1.25,
   "containerId": null,
   "autoResize": true,
   "baseline": 16
  },
  {
   "type": "arrow",
   "id": "a_slow",
   "x": 150,
   "y": 1076,
   "width": 60,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5A2D91",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "seed": 1697970055,
   "version": 1,
   "versionNonce": 1697970062,
   "isDeleted": false,
   "groupIds": [],
   "frameId": null,
   "boundElements": null,
   "link": null,
   "locked": false,
   "updated": 1,
   "roundness": {
    "type": 2
   },
   "points": [
    [
     0,
     0
    ],
    [
     30,
     -24
    ],
    [
     60,
     -40
    ]
   ],
   "lastCommittedPoint": null,
   "startArrowhead": null,
   "endArrowhead": "arrow",
   "startBinding": null,
   "endBinding": null,
   "elbowed": false
  }
 ],
 "appState": {
  "viewBackgroundColor": "#FFFFFF",
  "gridSize": 20
 },
 "files": {}
}