{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "angle": 0, "opacity": 100, "seed": 4007, "version": 1, "versionNonce": 12022, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "rectangle", "id": "canvas", "x": 0, "y": 0, "width": 1180, "height": 950, "strokeColor": "transparent", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roundness": null }, { "angle": 0, "opacity": 100, "seed": 4014, "version": 1, "versionNonce": 12043, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "title", "x": 40, "y": 40, "width": 619.9, "height": 70.0, "text": "At the boundary T the roles change homes;\nno box changes binary", "originalText": "At the boundary T the roles change homes;\nno box changes binary", "fontSize": 28, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4021, "version": 1, "versionNonce": 12064, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "sub", "x": 40, "y": 120, "width": 556.8, "height": 20.0, "text": "03 §2.2 · BASE, one unit, TYO (epoch e) to LDN (epoch e+1)", "originalText": "03 §2.2 · BASE, one unit, TYO (epoch e) to LDN (epoch e+1)", "fontSize": 16, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4028, "version": 1, "versionNonce": 12085, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "h_bt", "x": 80, "y": 176, "width": 216.0, "height": 25.0, "text": "TYO (active until T)", "originalText": "TYO (active until T)", "fontSize": 20, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4035, "version": 1, "versionNonce": 12106, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "h_bl", "x": 680, "y": 176, "width": 237.6, "height": 25.0, "text": "LDN (follower until T)", "originalText": "LDN (follower until T)", "fontSize": 20, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4042, "version": 1, "versionNonce": 12127, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_f0", "x": 40, "y": 222, "width": 21.6, "height": 22.5, "text": "F1", "originalText": "F1", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4049, "version": 1, "versionNonce": 12148, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_0_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_0_0", "x": 80, "y": 214, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4056, "version": 1, "versionNonce": 12169, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_0_0_t", "x": 92.0, "y": 223.0, "width": 76.8, "height": 20.0, "text": "SEQ live", "originalText": "SEQ live", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_0_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4063, "version": 1, "versionNonce": 12190, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_0_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_0_1", "x": 188.8, "y": 214, "width": 91.2, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4070, "version": 1, "versionNonce": 12211, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_0_1_t", "x": 200.8, "y": 223.0, "width": 67.2, "height": 20.0, "text": "R1 vote", "originalText": "R1 vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_0_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4077, "version": 1, "versionNonce": 12232, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_0_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_0_2", "x": 288.0, "y": 214, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4084, "version": 1, "versionNonce": 12253, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_0_2_t", "x": 300.0, "y": 223.0, "width": 76.8, "height": 20.0, "text": "OBS md-A", "originalText": "OBS md-A", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_0_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4091, "version": 1, "versionNonce": 12274, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_0_3_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_0_3", "x": 396.8, "y": 214, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4098, "version": 1, "versionNonce": 12295, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_0_3_t", "x": 408.8, "y": 223.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_0_3", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4105, "version": 1, "versionNonce": 12316, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_f1", "x": 40, "y": 270, "width": 21.6, "height": 22.5, "text": "F2", "originalText": "F2", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4112, "version": 1, "versionNonce": 12337, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_1_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_1_0", "x": 80, "y": 262, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4119, "version": 1, "versionNonce": 12358, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_1_0_t", "x": 92.0, "y": 271.0, "width": 76.8, "height": 20.0, "text": "SBY warm", "originalText": "SBY warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_1_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4126, "version": 1, "versionNonce": 12379, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_1_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_1_1", "x": 188.8, "y": 262, "width": 91.2, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4133, "version": 1, "versionNonce": 12400, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_1_1_t", "x": 200.8, "y": 271.0, "width": 67.2, "height": 20.0, "text": "R2 vote", "originalText": "R2 vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_1_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4140, "version": 1, "versionNonce": 12421, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_1_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_1_2", "x": 288.0, "y": 262, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4147, "version": 1, "versionNonce": 12442, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_1_2_t", "x": 300.0, "y": 271.0, "width": 76.8, "height": 20.0, "text": "OBS md-B", "originalText": "OBS md-B", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_1_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4154, "version": 1, "versionNonce": 12463, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_1_3_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_1_3", "x": 396.8, "y": 262, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4161, "version": 1, "versionNonce": 12484, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_1_3_t", "x": 408.8, "y": 271.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_1_3", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4168, "version": 1, "versionNonce": 12505, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_f2", "x": 40, "y": 318, "width": 21.6, "height": 22.5, "text": "F3", "originalText": "F3", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4175, "version": 1, "versionNonce": 12526, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_2_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_2_0", "x": 80, "y": 310, "width": 120.0, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4182, "version": 1, "versionNonce": 12547, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_2_0_t", "x": 92.0, "y": 319.0, "width": 96.0, "height": 20.0, "text": "R3 Vx vote", "originalText": "R3 Vx vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_2_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4189, "version": 1, "versionNonce": 12568, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_2_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_2_1", "x": 208.0, "y": 310, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4196, "version": 1, "versionNonce": 12589, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_2_1_t", "x": 220.0, "y": 319.0, "width": 28.8, "height": 20.0, "text": "OBS", "originalText": "OBS", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_2_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4203, "version": 1, "versionNonce": 12610, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_2_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_2_2", "x": 268.8, "y": 310, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4210, "version": 1, "versionNonce": 12631, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_2_2_t", "x": 280.8, "y": 319.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_2_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4217, "version": 1, "versionNonce": 12652, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_f3", "x": 40, "y": 366, "width": 21.6, "height": 22.5, "text": "F4", "originalText": "F4", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4224, "version": 1, "versionNonce": 12673, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_3_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_3_0", "x": 80, "y": 358, "width": 120.0, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4231, "version": 1, "versionNonce": 12694, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_3_0_t", "x": 92.0, "y": 367.0, "width": 96.0, "height": 20.0, "text": "R4 Vx vote", "originalText": "R4 Vx vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_3_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4238, "version": 1, "versionNonce": 12715, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_3_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_3_1", "x": 208.0, "y": 358, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4245, "version": 1, "versionNonce": 12736, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_3_1_t", "x": 220.0, "y": 367.0, "width": 28.8, "height": 20.0, "text": "OBS", "originalText": "OBS", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_3_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4252, "version": 1, "versionNonce": 12757, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bt_3_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bt_3_2", "x": 268.8, "y": 358, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4259, "version": 1, "versionNonce": 12778, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bt_3_2_t", "x": 280.8, "y": 367.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bt_3_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4266, "version": 1, "versionNonce": 12799, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_f0", "x": 640, "y": 222, "width": 21.6, "height": 22.5, "text": "F1", "originalText": "F1", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4273, "version": 1, "versionNonce": 12820, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_0_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_0_0", "x": 680, "y": 214, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4280, "version": 1, "versionNonce": 12841, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_0_0_t", "x": 692.0, "y": 223.0, "width": 76.8, "height": 20.0, "text": "SEQ warm", "originalText": "SEQ warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_0_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4287, "version": 1, "versionNonce": 12862, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_0_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_0_1", "x": 788.8, "y": 214, "width": 120.0, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4294, "version": 1, "versionNonce": 12883, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_0_1_t", "x": 800.8, "y": 223.0, "width": 96.0, "height": 20.0, "text": "R1 follows", "originalText": "R1 follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_0_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4301, "version": 1, "versionNonce": 12904, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_0_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_0_2", "x": 916.8, "y": 214, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4308, "version": 1, "versionNonce": 12925, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_0_2_t", "x": 928.8, "y": 223.0, "width": 76.8, "height": 20.0, "text": "DAT idle", "originalText": "DAT idle", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_0_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4315, "version": 1, "versionNonce": 12946, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_f1", "x": 640, "y": 270, "width": 21.6, "height": 22.5, "text": "F2", "originalText": "F2", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4322, "version": 1, "versionNonce": 12967, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_1_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_1_0", "x": 680, "y": 262, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4329, "version": 1, "versionNonce": 12988, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_1_0_t", "x": 692.0, "y": 271.0, "width": 76.8, "height": 20.0, "text": "SBY warm", "originalText": "SBY warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_1_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4336, "version": 1, "versionNonce": 13009, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_1_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_1_1", "x": 788.8, "y": 262, "width": 120.0, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4343, "version": 1, "versionNonce": 13030, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_1_1_t", "x": 800.8, "y": 271.0, "width": 96.0, "height": 20.0, "text": "R2 follows", "originalText": "R2 follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_1_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4350, "version": 1, "versionNonce": 13051, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_1_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_1_2", "x": 916.8, "y": 262, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4357, "version": 1, "versionNonce": 13072, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_1_2_t", "x": 928.8, "y": 271.0, "width": 76.8, "height": 20.0, "text": "DAT idle", "originalText": "DAT idle", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_1_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4364, "version": 1, "versionNonce": 13093, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_f2", "x": 640, "y": 318, "width": 21.6, "height": 22.5, "text": "F3", "originalText": "F3", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4371, "version": 1, "versionNonce": 13114, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_2_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_2_0", "x": 680, "y": 310, "width": 148.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4378, "version": 1, "versionNonce": 13135, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_2_0_t", "x": 692.0, "y": 319.0, "width": 124.8, "height": 20.0, "text": "R3 Vx follows", "originalText": "R3 Vx follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_2_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4385, "version": 1, "versionNonce": 13156, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_f3", "x": 640, "y": 366, "width": 21.6, "height": 22.5, "text": "F4", "originalText": "F4", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4392, "version": 1, "versionNonce": 13177, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "bl_3_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "bl_3_0", "x": 680, "y": 358, "width": 148.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4399, "version": 1, "versionNonce": 13198, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "bl_3_0_t", "x": 692.0, "y": 367.0, "width": 124.8, "height": 20.0, "text": "R4 Vx follows", "originalText": "R4 Vx follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "bl_3_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4406, "version": 1, "versionNonce": 13219, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "arrow", "id": "log1", "x": 459.6, "y": 233, "width": 170.4, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "points": [ [ 0.0, 0 ], [ 170.4, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null }, { "angle": 0, "opacity": 100, "seed": 4413, "version": 1, "versionNonce": 13240, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "l_log1", "x": 526.8, "y": 206, "width": 25.9, "height": 20.0, "text": "log", "originalText": "log", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4420, "version": 1, "versionNonce": 13261, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "stamp_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "stamp", "x": 260, "y": 440, "width": 560, "height": 56, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4427, "version": 1, "versionNonce": 13282, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "stamp_t", "x": 285.6, "y": 458.0, "width": 508.8, "height": 20.0, "text": "T: the sequencer stops at S, cert(HandoffRecord e, S)", "originalText": "T: the sequencer stops at S, cert(HandoffRecord e, S)", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "stamp", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4434, "version": 1, "versionNonce": 13303, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "arrow", "id": "a_t", "x": 540, "y": 498, "width": 0, "height": 50, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "points": [ [ 0, 0 ], [ 0, 50 ] ], "roundness": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null }, { "angle": 0, "opacity": 100, "seed": 4441, "version": 1, "versionNonce": 13324, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "h_at", "x": 80, "y": 560, "width": 226.8, "height": 25.0, "text": "TYO (follower from T)", "originalText": "TYO (follower from T)", "fontSize": 20, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4448, "version": 1, "versionNonce": 13345, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "h_al", "x": 680, "y": 560, "width": 248.4, "height": 25.0, "text": "LDN (active from S + 1)", "originalText": "LDN (active from S + 1)", "fontSize": 20, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4455, "version": 1, "versionNonce": 13366, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_f0", "x": 40, "y": 606, "width": 21.6, "height": 22.5, "text": "F1", "originalText": "F1", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4462, "version": 1, "versionNonce": 13387, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_0_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_0_0", "x": 80, "y": 598, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4469, "version": 1, "versionNonce": 13408, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_0_0_t", "x": 92.0, "y": 607.0, "width": 76.8, "height": 20.0, "text": "SEQ warm", "originalText": "SEQ warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_0_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4476, "version": 1, "versionNonce": 13429, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_0_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_0_1", "x": 188.8, "y": 598, "width": 120.0, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4483, "version": 1, "versionNonce": 13450, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_0_1_t", "x": 200.8, "y": 607.0, "width": 96.0, "height": 20.0, "text": "R1 follows", "originalText": "R1 follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_0_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4490, "version": 1, "versionNonce": 13471, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_0_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_0_2", "x": 316.8, "y": 598, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4497, "version": 1, "versionNonce": 13492, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_0_2_t", "x": 328.8, "y": 607.0, "width": 76.8, "height": 20.0, "text": "DAT idle", "originalText": "DAT idle", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_0_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4504, "version": 1, "versionNonce": 13513, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_f1", "x": 40, "y": 654, "width": 21.6, "height": 22.5, "text": "F2", "originalText": "F2", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4511, "version": 1, "versionNonce": 13534, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_1_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_1_0", "x": 80, "y": 646, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4518, "version": 1, "versionNonce": 13555, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_1_0_t", "x": 92.0, "y": 655.0, "width": 76.8, "height": 20.0, "text": "SBY warm", "originalText": "SBY warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_1_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4525, "version": 1, "versionNonce": 13576, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_1_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_1_1", "x": 188.8, "y": 646, "width": 120.0, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4532, "version": 1, "versionNonce": 13597, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_1_1_t", "x": 200.8, "y": 655.0, "width": 96.0, "height": 20.0, "text": "R2 follows", "originalText": "R2 follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_1_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4539, "version": 1, "versionNonce": 13618, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_1_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_1_2", "x": 316.8, "y": 646, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4546, "version": 1, "versionNonce": 13639, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_1_2_t", "x": 328.8, "y": 655.0, "width": 76.8, "height": 20.0, "text": "DAT idle", "originalText": "DAT idle", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_1_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4553, "version": 1, "versionNonce": 13660, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_f2", "x": 40, "y": 702, "width": 21.6, "height": 22.5, "text": "F3", "originalText": "F3", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4560, "version": 1, "versionNonce": 13681, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_2_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_2_0", "x": 80, "y": 694, "width": 148.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4567, "version": 1, "versionNonce": 13702, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_2_0_t", "x": 92.0, "y": 703.0, "width": 124.8, "height": 20.0, "text": "R3 Vx follows", "originalText": "R3 Vx follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_2_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4574, "version": 1, "versionNonce": 13723, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_f3", "x": 40, "y": 750, "width": 21.6, "height": 22.5, "text": "F4", "originalText": "F4", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4581, "version": 1, "versionNonce": 13744, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "at_3_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "at_3_0", "x": 80, "y": 742, "width": 148.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4588, "version": 1, "versionNonce": 13765, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "at_3_0_t", "x": 92.0, "y": 751.0, "width": 124.8, "height": 20.0, "text": "R4 Vx follows", "originalText": "R4 Vx follows", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "at_3_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4595, "version": 1, "versionNonce": 13786, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_f0", "x": 640, "y": 606, "width": 21.6, "height": 22.5, "text": "F1", "originalText": "F1", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4602, "version": 1, "versionNonce": 13807, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_0_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_0_0", "x": 680, "y": 598, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4609, "version": 1, "versionNonce": 13828, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_0_0_t", "x": 692.0, "y": 607.0, "width": 76.8, "height": 20.0, "text": "SEQ live", "originalText": "SEQ live", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_0_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4616, "version": 1, "versionNonce": 13849, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_0_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_0_1", "x": 788.8, "y": 598, "width": 91.2, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4623, "version": 1, "versionNonce": 13870, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_0_1_t", "x": 800.8, "y": 607.0, "width": 67.2, "height": 20.0, "text": "R1 vote", "originalText": "R1 vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_0_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4630, "version": 1, "versionNonce": 13891, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_0_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_0_2", "x": 888.0, "y": 598, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4637, "version": 1, "versionNonce": 13912, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_0_2_t", "x": 900.0, "y": 607.0, "width": 76.8, "height": 20.0, "text": "OBS md-A", "originalText": "OBS md-A", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_0_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4644, "version": 1, "versionNonce": 13933, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_0_3_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_0_3", "x": 996.8, "y": 598, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4651, "version": 1, "versionNonce": 13954, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_0_3_t", "x": 1008.8, "y": 607.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_0_3", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4658, "version": 1, "versionNonce": 13975, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_f1", "x": 640, "y": 654, "width": 21.6, "height": 22.5, "text": "F2", "originalText": "F2", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4665, "version": 1, "versionNonce": 13996, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_1_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_1_0", "x": 680, "y": 646, "width": 100.8, "height": 38, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4672, "version": 1, "versionNonce": 14017, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_1_0_t", "x": 692.0, "y": 655.0, "width": 76.8, "height": 20.0, "text": "SBY warm", "originalText": "SBY warm", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_1_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4679, "version": 1, "versionNonce": 14038, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_1_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_1_1", "x": 788.8, "y": 646, "width": 91.2, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4686, "version": 1, "versionNonce": 14059, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_1_1_t", "x": 800.8, "y": 655.0, "width": 67.2, "height": 20.0, "text": "R2 vote", "originalText": "R2 vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_1_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4693, "version": 1, "versionNonce": 14080, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_1_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_1_2", "x": 888.0, "y": 646, "width": 100.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4700, "version": 1, "versionNonce": 14101, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_1_2_t", "x": 900.0, "y": 655.0, "width": 76.8, "height": 20.0, "text": "OBS md-B", "originalText": "OBS md-B", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_1_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4707, "version": 1, "versionNonce": 14122, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_1_3_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_1_3", "x": 996.8, "y": 646, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4714, "version": 1, "versionNonce": 14143, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_1_3_t", "x": 1008.8, "y": 655.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_1_3", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4721, "version": 1, "versionNonce": 14164, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_f2", "x": 640, "y": 702, "width": 21.6, "height": 22.5, "text": "F3", "originalText": "F3", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4728, "version": 1, "versionNonce": 14185, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_2_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_2_0", "x": 680, "y": 694, "width": 120.0, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4735, "version": 1, "versionNonce": 14206, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_2_0_t", "x": 692.0, "y": 703.0, "width": 96.0, "height": 20.0, "text": "R3 Vx vote", "originalText": "R3 Vx vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_2_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4742, "version": 1, "versionNonce": 14227, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_2_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_2_1", "x": 808.0, "y": 694, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4749, "version": 1, "versionNonce": 14248, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_2_1_t", "x": 820.0, "y": 703.0, "width": 28.8, "height": 20.0, "text": "OBS", "originalText": "OBS", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_2_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4756, "version": 1, "versionNonce": 14269, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_2_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_2_2", "x": 868.8, "y": 694, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4763, "version": 1, "versionNonce": 14290, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_2_2_t", "x": 880.8, "y": 703.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_2_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4770, "version": 1, "versionNonce": 14311, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_f3", "x": 640, "y": 750, "width": 21.6, "height": 22.5, "text": "F4", "originalText": "F4", "fontSize": 18, "fontFamily": 3, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4777, "version": 1, "versionNonce": 14332, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_3_0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_3_0", "x": 680, "y": 742, "width": 120.0, "height": 38, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4784, "version": 1, "versionNonce": 14353, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_3_0_t", "x": 692.0, "y": 751.0, "width": 96.0, "height": 20.0, "text": "R4 Vx vote", "originalText": "R4 Vx vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_3_0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4791, "version": 1, "versionNonce": 14374, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_3_1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_3_1", "x": 808.0, "y": 742, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4798, "version": 1, "versionNonce": 14395, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_3_1_t", "x": 820.0, "y": 751.0, "width": 28.8, "height": 20.0, "text": "OBS", "originalText": "OBS", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_3_1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4805, "version": 1, "versionNonce": 14416, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "al_3_2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "al_3_2", "x": 868.8, "y": 742, "width": 52.8, "height": 38, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4812, "version": 1, "versionNonce": 14437, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "al_3_2_t", "x": 880.8, "y": 751.0, "width": 28.8, "height": 20.0, "text": "DAT", "originalText": "DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "al_3_2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4819, "version": 1, "versionNonce": 14458, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "arrow", "id": "log2", "x": 630, "y": 617, "width": 202.4, "height": 0, "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "points": [ [ 0, 0 ], [ -202.4, 0 ] ], "roundness": null, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null }, { "angle": 0, "opacity": 100, "seed": 4826, "version": 1, "versionNonce": 14479, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "l_log2", "x": 510.8, "y": 590, "width": 25.9, "height": 20.0, "text": "log", "originalText": "log", "fontSize": 16, "fontFamily": 5, "textAlign": "center", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4833, "version": 1, "versionNonce": 14500, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "foot", "x": 40, "y": 800, "width": 894.2, "height": 22.5, "text": "SEQ and SBY never vote. NYC follows the whole time, and becomes active at the next boundary.", "originalText": "SEQ and SBY never vote. NYC follows the whole time, and becomes active at the next boundary.", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4840, "version": 1, "versionNonce": 14521, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "lg0_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "lg0", "x": 40, "y": 870, "width": 100.8, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F2D447", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4847, "version": 1, "versionNonce": 14542, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lg0_t", "x": 52.0, "y": 878.0, "width": 76.8, "height": 20.0, "text": "SEQ live", "originalText": "SEQ live", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "lg0", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4854, "version": 1, "versionNonce": 14563, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lgt0", "x": 148.8, "y": 878, "width": 112.3, "height": 20.0, "text": "takes traffic", "originalText": "takes traffic", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4861, "version": 1, "versionNonce": 14584, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "lg1_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "lg1", "x": 277.9, "y": 870, "width": 81.6, "height": 36, "strokeColor": "#5A2D91", "backgroundColor": "#EDE5F6", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4868, "version": 1, "versionNonce": 14605, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lg1_t", "x": 289.9, "y": 878.0, "width": 57.6, "height": 20.0, "text": "R vote", "originalText": "R vote", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "lg1", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4875, "version": 1, "versionNonce": 14626, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lgt1", "x": 367.5, "y": 878, "width": 103.7, "height": 20.0, "text": "votes, Q = 3", "originalText": "votes, Q = 3", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4882, "version": 1, "versionNonce": 14647, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "lg2_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "lg2", "x": 487.9, "y": 870, "width": 110.39999999999999, "height": 36, "strokeColor": "#191B26", "backgroundColor": "#F4B7C2", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4889, "version": 1, "versionNonce": 14668, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lg2_t", "x": 499.9, "y": 878.0, "width": 86.4, "height": 20.0, "text": "OBS / DAT", "originalText": "OBS / DAT", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#191B26", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "lg2", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4896, "version": 1, "versionNonce": 14689, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lgt2", "x": 606.3, "y": 878, "width": 129.6, "height": 20.0, "text": "fed by the copy", "originalText": "fed by the copy", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4903, "version": 1, "versionNonce": 14710, "isDeleted": false, "groupIds": [], "boundElements": [ { "id": "lg3_t", "type": "text" } ], "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "rectangle", "id": "lg3", "x": 752.8, "y": 870, "width": 225.6, "height": 36, "strokeColor": "#565A6B", "backgroundColor": "#FFFFFF", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roundness": { "type": 3 } }, { "angle": 0, "opacity": 100, "seed": 4910, "version": 1, "versionNonce": 14731, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lg3_t", "x": 764.8, "y": 878.0, "width": 201.6, "height": 20.0, "text": "warm / follows / idle", "originalText": "warm / follows / idle", "fontSize": 16, "fontFamily": 3, "textAlign": "center", "verticalAlign": "middle", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": "lg3", "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4917, "version": 1, "versionNonce": 14752, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "lgt3", "x": 986.4, "y": 878, "width": 129.6, "height": 20.0, "text": "not on the path", "originalText": "not on the path", "fontSize": 16, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#565A6B", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4924, "version": 1, "versionNonce": 14773, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "n_bin", "x": 860, "y": 420, "width": 233.3, "height": 67.5, "text": "no box changes binary;\nthe epoch config already\nholds every role", "originalText": "no box changes binary;\nthe epoch config already\nholds every role", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4931, "version": 1, "versionNonce": 14794, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "arrow", "id": "na_bin", "x": 856, "y": 470, "width": 32, "height": 16, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "points": [ [ 0, 0 ], [ -16, 16 ], [ -32, 6 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null }, { "angle": 0, "opacity": 100, "seed": 4938, "version": 1, "versionNonce": 14815, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 0, "type": "text", "id": "n_q", "x": 380, "y": 318, "width": 145.8, "height": 67.5, "text": "2 Rust + 2 Vx:\nneither client\nreaches Q alone", "originalText": "2 Rust + 2 Vx:\nneither client\nreaches Q alone", "fontSize": 18, "fontFamily": 5, "textAlign": "left", "verticalAlign": "top", "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "containerId": null, "lineHeight": 1.25, "autoResize": true }, { "angle": 0, "opacity": 100, "seed": 4945, "version": 1, "versionNonce": 14836, "isDeleted": false, "groupIds": [], "boundElements": null, "link": null, "locked": false, "frameId": null, "updated": 1, "roughness": 1, "type": "arrow", "id": "na_q", "x": 376, "y": 372, "width": 226, "height": 58, "strokeColor": "#5A2D91", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "points": [ [ 0, 0 ], [ -106, 58 ], [ -226, 34 ] ], "roundness": { "type": 2 }, "lastCommittedPoint": null, "startArrowhead": null, "endArrowhead": "arrow", "startBinding": null, "endBinding": null } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": 20 }, "files": {} }