diff --git a/next/imgs/segment-tree-add-lazytag.excalidraw b/next/imgs/segment-tree-add-lazytag.excalidraw
new file mode 100644
index 00000000..3cfe53ae
--- /dev/null
+++ b/next/imgs/segment-tree-add-lazytag.excalidraw
@@ -0,0 +1,3670 @@
+{
+ "type": "excalidraw",
+ "version": 2,
+ "source": "https://excalidraw.com",
+ "elements": [
+ {
+ "type": "rectangle",
+ "version": 474,
+ "versionNonce": 476902662,
+ "index": "b27V",
+ "isDeleted": false,
+ "id": "PiONZwcQAxMH4pSwT5IE8",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1290.007480867303,
+ "y": 75.34124417061494,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1805093352,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "ikD2O9Cn9DsHJ6P-Vt_7i"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 377,
+ "versionNonce": 1691174490,
+ "index": "b28",
+ "isDeleted": false,
+ "id": "ikD2O9Cn9DsHJ6P-Vt_7i",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1305.253753367967,
+ "y": 80.34124417061494,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 99.31642150878906,
+ "height": 35,
+ "seed": 1591610600,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-7(32)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "PiONZwcQAxMH4pSwT5IE8",
+ "originalText": "1-7(32)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 539,
+ "versionNonce": 240411718,
+ "index": "b29",
+ "isDeleted": false,
+ "id": "RxJB5Cs0Mao50aPkEjzSb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1182.4968031684896,
+ "y": 162.36451175587126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1281109992,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "D84HATB5_-8r8S8ti4l8q"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 436,
+ "versionNonce": 2059889434,
+ "index": "b2A",
+ "isDeleted": false,
+ "id": "D84HATB5_-8r8S8ti4l8q",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1207.0951111916143,
+ "y": 167.36451175587126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.61235046386719,
+ "height": 35,
+ "seed": 1277031144,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-3(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "RxJB5Cs0Mao50aPkEjzSb",
+ "originalText": "1-3(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 852,
+ "versionNonce": 134998918,
+ "index": "b2B",
+ "isDeleted": false,
+ "id": "B_PX8Cw486qYzNZhabGer",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1405.0064250586686,
+ "y": 158.58267498861096,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 347035112,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "RRY4NSFwuCubQUyKQq4Ep"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 759,
+ "versionNonce": 1067382746,
+ "index": "b2C",
+ "isDeleted": false,
+ "id": "RRY4NSFwuCubQUyKQq4Ep",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1417.592693897223,
+ "y": 163.58267498861096,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 104.63642883300781,
+ "height": 35,
+ "seed": 723278056,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-7(26)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "B_PX8Cw486qYzNZhabGer",
+ "originalText": "4-7(26)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 631,
+ "versionNonce": 1204849350,
+ "index": "b2D",
+ "isDeleted": false,
+ "id": "JvwNTrxNjnstheLcfm_4z",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1210.1324579613943,
+ "y": 245.67382874141964,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 317783016,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "ZlW7Hl4d5tkyI98hsotOO",
+ "type": "text"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 535,
+ "versionNonce": 1130818714,
+ "index": "b2E",
+ "isDeleted": false,
+ "id": "ZlW7Hl4d5tkyI98hsotOO",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1230.516753838523,
+ "y": 250.67382874141964,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 89.04037475585938,
+ "height": 35,
+ "seed": 2117680872,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "2-3(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "JvwNTrxNjnstheLcfm_4z",
+ "originalText": "2-3(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 601,
+ "versionNonce": 1010778630,
+ "index": "b2F",
+ "isDeleted": false,
+ "id": "Bsv8Yu2W6XU4PaSF6C0On",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1356.0586818838308,
+ "y": 245.38293865403824,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 2105614824,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "zulkRv0HWgHbecz1cGFZe"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 513,
+ "versionNonce": 466766170,
+ "index": "b2G",
+ "isDeleted": false,
+ "id": "zulkRv0HWgHbecz1cGFZe",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1374.6089704977758,
+ "y": 250.38293865403824,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 92.70838928222656,
+ "height": 35,
+ "seed": 802465000,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-5(11)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "Bsv8Yu2W6XU4PaSF6C0On",
+ "originalText": "4-5(11)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 670,
+ "versionNonce": 2018840902,
+ "index": "b2H",
+ "isDeleted": false,
+ "id": "qHkt6XxzimBwKqaWmomMQ",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1491.0032659459796,
+ "y": 247.45580023877352,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1925171176,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "6ab7osRmkblsZZ6q1TWp0"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 592,
+ "versionNonce": 808717850,
+ "index": "b2I",
+ "isDeleted": false,
+ "id": "6ab7osRmkblsZZ6q1TWp0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1506.94954302428,
+ "y": 252.45580023877352,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 97.91641235351562,
+ "height": 35,
+ "seed": 307137256,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "6-7(15)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "qHkt6XxzimBwKqaWmomMQ",
+ "originalText": "6-7(15)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 710,
+ "versionNonce": 661584006,
+ "index": "b2J",
+ "isDeleted": false,
+ "id": "xC22On2d-sIwWgjhL5D5V",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1196.4586124913058,
+ "y": 321.89221183777175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 2030890472,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "H60uYO8NCL1SIDfhn00H3"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 625,
+ "versionNonce": 92224218,
+ "index": "b2K",
+ "isDeleted": false,
+ "id": "H60uYO8NCL1SIDfhn00H3",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1204.3876637839176,
+ "y": 331.89221183777175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.859954833984375,
+ "height": 25,
+ "seed": 1611067624,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "2(2)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "xC22On2d-sIwWgjhL5D5V",
+ "originalText": "2(2)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 821,
+ "versionNonce": 21624774,
+ "index": "b2L",
+ "isDeleted": false,
+ "id": "pa2pjkvBr52XTrg_Ye_O0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1281.5502689196005,
+ "y": 324.4737657283706,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 2127074280,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "2KVWfm3NqsCqU6h2NzI_c"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 740,
+ "versionNonce": 172412826,
+ "index": "b2M",
+ "isDeleted": false,
+ "id": "2KVWfm3NqsCqU6h2NzI_c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1291.319316550103,
+ "y": 334.4737657283706,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.179962158203125,
+ "height": 25,
+ "seed": 996005608,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "3(3)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "pa2pjkvBr52XTrg_Ye_O0",
+ "originalText": "3(3)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 695,
+ "versionNonce": 1040387846,
+ "index": "b2N",
+ "isDeleted": false,
+ "id": "0CpFyYooortuv7Dke7QVb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1355.3843290142167,
+ "y": 325.7471087306785,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1515370984,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "49BMvGvDFOADtZX1BBmyp"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 616,
+ "versionNonce": 494840774,
+ "index": "b2O",
+ "isDeleted": false,
+ "id": "49BMvGvDFOADtZX1BBmyp",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1365.6133833585864,
+ "y": 335.7471087306785,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.25994873046875,
+ "height": 25,
+ "seed": 783498472,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216603,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "4(4)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "0CpFyYooortuv7Dke7QVb",
+ "originalText": "4(4)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 736,
+ "versionNonce": 169295430,
+ "index": "b2P",
+ "isDeleted": false,
+ "id": "90e8cBx3TtPs6gjKPh-bB",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1426.676115599915,
+ "y": 325.52883140531287,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1242259432,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "8m4-KyLuQCPQgm45Hnftd"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 655,
+ "versionNonce": 2145868698,
+ "index": "b2Q",
+ "isDeleted": false,
+ "id": "8m4-KyLuQCPQgm45Hnftd",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1436.245166282175,
+ "y": 335.52883140531287,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.5799560546875,
+ "height": 25,
+ "seed": 744956648,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216603,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "5(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "90e8cBx3TtPs6gjKPh-bB",
+ "originalText": "5(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 730,
+ "versionNonce": 2053342598,
+ "index": "b2R",
+ "isDeleted": false,
+ "id": "eyAnvo_rHQWmkwTV7rvmy",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1496.421136723489,
+ "y": 324.7286566902713,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1951565288,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "OA31mCIjlVwCerRPn2GlF"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 649,
+ "versionNonce": 1940258266,
+ "index": "b2S",
+ "isDeleted": false,
+ "id": "OA31mCIjlVwCerRPn2GlF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1506.370184659167,
+ "y": 334.7286566902713,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.81996154785156,
+ "height": 25,
+ "seed": 249137384,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "6(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "eyAnvo_rHQWmkwTV7rvmy",
+ "originalText": "6(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 733,
+ "versionNonce": 2417862,
+ "index": "b2T",
+ "isDeleted": false,
+ "id": "0Yw0-ziRNR1K0NC8j9HGu",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1566.166374940359,
+ "y": 322.4374900369175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1736977384,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "s4o1aGXa0dCBPZT8We6-d"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 652,
+ "versionNonce": 1501643526,
+ "index": "b2U",
+ "isDeleted": false,
+ "id": "s4o1aGXa0dCBPZT8We6-d",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1576.9354225708612,
+ "y": 332.4374900369175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 39.179962158203125,
+ "height": 25,
+ "seed": 409628392,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216603,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "7(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "0Yw0-ziRNR1K0NC8j9HGu",
+ "originalText": "7(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "line",
+ "version": 221,
+ "versionNonce": 1559780358,
+ "index": "b2V",
+ "isDeleted": false,
+ "id": "eQ1iYepFtSkz81AOiO-GF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1351.9710533046298,
+ "y": 120.29616655089438,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 104.00378073487445,
+ "height": 41.601537541245136,
+ "seed": 437015016,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -104.00378073487445,
+ 41.601537541245136
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 219,
+ "versionNonce": 1380962138,
+ "index": "b2W",
+ "isDeleted": false,
+ "id": "pqH5udo-b7qdG9QsOoKdM",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1348.1891527265516,
+ "y": 119.82341094485218,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 118.65889794788131,
+ "height": 37.346845289559894,
+ "seed": 1937364200,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 118.65889794788131,
+ 37.346845289559894
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 220,
+ "versionNonce": 383445830,
+ "index": "b2X",
+ "isDeleted": false,
+ "id": "hWFQDVbMqJOCFnHsCDTLa",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1239.930553503515,
+ "y": 207.7539158512875,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 121.02265794431014,
+ "height": 36.40137014504029,
+ "seed": 1782511592,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -121.02265794431014,
+ 36.40137014504029
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 160,
+ "versionNonce": 152097818,
+ "index": "b2Y",
+ "isDeleted": false,
+ "id": "XK0JkQMoXXKvq3kxQ9fxv",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1239.45785199882,
+ "y": 208.69942706337184,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.455858932955834,
+ "height": 34.983121360696146,
+ "seed": 845658856,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.455858932955834,
+ 34.983121360696146
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 166,
+ "versionNonce": 1814663814,
+ "index": "b2Z",
+ "isDeleted": false,
+ "id": "glXMQ3K29bdMZKoWmWkD-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1271.6045118583927,
+ "y": 290.48428942908276,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 45.38352828823554,
+ "height": 30.728411075228507,
+ "seed": 511712744,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -45.38352828823554,
+ 30.728411075228507
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 191,
+ "versionNonce": 1926447322,
+ "index": "b2a",
+ "isDeleted": false,
+ "id": "PgSLVp0KR52r_TPe8DpL0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1269.713489434224,
+ "y": 289.5387782169984,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 42.54703071954691,
+ "height": 33.0921350040922,
+ "seed": 1335107816,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 42.54703071954691,
+ 33.0921350040922
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 166,
+ "versionNonce": 1201754566,
+ "index": "b2b",
+ "isDeleted": false,
+ "id": "2fifawMdeUNVV545LIkw9",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1470.1573218829458,
+ "y": 204.9175084515112,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.91075464841083,
+ "height": 39.7105151170764,
+ "seed": 1697629160,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -44.91075464841083,
+ 39.7105151170764
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 200,
+ "versionNonce": 2066355610,
+ "index": "b2c",
+ "isDeleted": false,
+ "id": "B5NNLoRFEsjvM5z7VqRlS",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1473.466520956329,
+ "y": 203.97201527320925,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.83931508606179,
+ "height": 43.492505864066686,
+ "seed": 761202408,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 80.83931508606179,
+ 43.492505864066686
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 198,
+ "versionNonce": 878651654,
+ "index": "b2d",
+ "isDeleted": false,
+ "id": "Zxyl7erZ2W2eCjjP5T2Ma",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1420.9918208815025,
+ "y": 291.42976457360237,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 38.76505800633913,
+ "height": 31.201148647488253,
+ "seed": 1420683752,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -38.76505800633913,
+ 31.201148647488253
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 145,
+ "versionNonce": 591942234,
+ "index": "b2e",
+ "isDeleted": false,
+ "id": "PfksJS0whRBrAWF5-JdKv",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1420.5191193768076,
+ "y": 291.42976457360237,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.92856043765073,
+ "height": 32.14665985957265,
+ "seed": 371748072,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.92856043765073,
+ 32.14665985957265
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 207,
+ "versionNonce": 1373640774,
+ "index": "b2f",
+ "isDeleted": false,
+ "id": "4tufgYyd4C5VDsLW8NdSi",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1554.7786096822153,
+ "y": 292.37527578568677,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 27.419212001845153,
+ "height": 29.310198358449156,
+ "seed": 1801097192,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -27.419212001845153,
+ 29.310198358449156
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 176,
+ "versionNonce": 1308686106,
+ "index": "b2g",
+ "isDeleted": false,
+ "id": "qkbBn-oA-Eue5lzIwCp-r",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1557.6151072509037,
+ "y": 290.4842894290828,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.65600829537834,
+ "height": 30.72841107522845,
+ "seed": 1011897064,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 40.65600829537834,
+ 30.72841107522845
+ ]
+ ]
+ },
+ {
+ "type": "rectangle",
+ "version": 742,
+ "versionNonce": 1208033158,
+ "index": "b2h",
+ "isDeleted": false,
+ "id": "UJCrzLfoX3EOY8rmAb18c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1082.4921898280868,
+ "y": 244.9180312332732,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 35,
+ "seed": 261469672,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "jTB1aRTSrnHbBxy80uxZ5"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 662,
+ "versionNonce": 197592026,
+ "index": "b2i",
+ "isDeleted": false,
+ "id": "jTB1aRTSrnHbBxy80uxZ5",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1095.8812325757767,
+ "y": 249.9180312332732,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 33.939971923828125,
+ "height": 25,
+ "seed": 976664808,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "1(1)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "UJCrzLfoX3EOY8rmAb18c",
+ "originalText": "1(1)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "ellipse",
+ "version": 871,
+ "versionNonce": 989806278,
+ "index": "b2k",
+ "isDeleted": false,
+ "id": "shKPWkQyUrCe4zJo49PtX",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1578.6685987251753,
+ "y": 192.2011782483666,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 63.36993180210163,
+ "height": 64,
+ "seed": 2022768280,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "dBuSP6r7AQBQxgm_INE_V"
+ },
+ {
+ "id": "zxGHpfjaTNEVtidqcxAJx",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 551,
+ "versionNonce": 1722644634,
+ "index": "b2l",
+ "isDeleted": false,
+ "id": "dBuSP6r7AQBQxgm_INE_V",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1597.190846105909,
+ "y": 206.57376125039707,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 26.516128540039062,
+ "height": 35,
+ "seed": 1935923352,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "+1",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "shKPWkQyUrCe4zJo49PtX",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "ellipse",
+ "version": 959,
+ "versionNonce": 1819072602,
+ "index": "b2lV",
+ "isDeleted": false,
+ "id": "4Hbe5nQqvFr50EtBgOOkV",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1322.360509121903,
+ "y": 192.95606550257747,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 63.36993180210163,
+ "height": 64,
+ "seed": 539395693,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [
+ {
+ "id": "RVFiMX95x8xvk0yEIRmPj",
+ "type": "text"
+ },
+ {
+ "id": "KCSnp_dYnY_d3P5XoVXaN",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 639,
+ "versionNonce": 2142171718,
+ "index": "b2m",
+ "isDeleted": false,
+ "id": "RVFiMX95x8xvk0yEIRmPj",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1340.8827565026368,
+ "y": 207.32864850460794,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 26.516128540039062,
+ "height": 35,
+ "seed": 1204105421,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "+1",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "4Hbe5nQqvFr50EtBgOOkV",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "ellipse",
+ "version": 927,
+ "versionNonce": 1732331226,
+ "index": "b2o",
+ "isDeleted": false,
+ "id": "O21Ic7vHCXD2rPFZdW-iB",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1473.6104551987935,
+ "y": 80.06973445637635,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 63.36993180210163,
+ "height": 64,
+ "seed": 1609849923,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "ri79hZx0Qbjh5CPOp48fY"
+ },
+ {
+ "id": "zxGHpfjaTNEVtidqcxAJx",
+ "type": "arrow"
+ },
+ {
+ "id": "KCSnp_dYnY_d3P5XoVXaN",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216602,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 605,
+ "versionNonce": 778523994,
+ "index": "b2p",
+ "isDeleted": false,
+ "id": "ri79hZx0Qbjh5CPOp48fY",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1492.1327025795272,
+ "y": 94.44231745840683,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 26.516128540039062,
+ "height": 35,
+ "seed": 1917180899,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216601,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "+1",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "O21Ic7vHCXD2rPFZdW-iB",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "arrow",
+ "version": 157,
+ "versionNonce": 1869779098,
+ "index": "b2q",
+ "isDeleted": false,
+ "id": "zxGHpfjaTNEVtidqcxAJx",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1531.8915956019732,
+ "y": 131.25155069801065,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 63.956820487567256,
+ "height": 60.15582538560827,
+ "seed": 1701530339,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216606,
+ "link": null,
+ "locked": false,
+ "startBinding": {
+ "elementId": "O21Ic7vHCXD2rPFZdW-iB",
+ "focus": -0.1334089474175918,
+ "gap": 1,
+ "fixedPoint": null
+ },
+ "endBinding": {
+ "elementId": "shKPWkQyUrCe4zJo49PtX",
+ "focus": 0.43157670288178845,
+ "gap": 3.9106320944711825,
+ "fixedPoint": null
+ },
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 63.956820487567256,
+ 60.15582538560827
+ ]
+ ],
+ "elbowed": false
+ },
+ {
+ "type": "arrow",
+ "version": 187,
+ "versionNonce": 1664081414,
+ "index": "b2r",
+ "isDeleted": false,
+ "id": "KCSnp_dYnY_d3P5XoVXaN",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1476.3852532772376,
+ "y": 127.46495687042852,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 100.91102558590796,
+ "height": 66.3649971069724,
+ "seed": 69986925,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216606,
+ "link": null,
+ "locked": false,
+ "startBinding": {
+ "elementId": "O21Ic7vHCXD2rPFZdW-iB",
+ "focus": 0.09473990131013033,
+ "gap": 1,
+ "fixedPoint": null
+ },
+ "endBinding": {
+ "elementId": "4Hbe5nQqvFr50EtBgOOkV",
+ "focus": -0.4454839041679755,
+ "gap": 5.891398859308033,
+ "fixedPoint": null
+ },
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -100.91102558590796,
+ 66.3649971069724
+ ]
+ ],
+ "elbowed": false
+ },
+ {
+ "type": "rectangle",
+ "version": 551,
+ "versionNonce": 1285864730,
+ "index": "b2s",
+ "isDeleted": false,
+ "id": "oQvgMUpv2hs5YOQvcluvR",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1917.1560751166166,
+ "y": 77.69994487864659,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1902731875,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "RZyU97k9byC6bEg8Lp2cA"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 454,
+ "versionNonce": 1256503686,
+ "index": "b2t",
+ "isDeleted": false,
+ "id": "RZyU97k9byC6bEg8Lp2cA",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1932.4023476172806,
+ "y": 82.69994487864659,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 99.31642150878906,
+ "height": 35,
+ "seed": 930422275,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-7(32)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "oQvgMUpv2hs5YOQvcluvR",
+ "originalText": "1-7(32)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 616,
+ "versionNonce": 1308756442,
+ "index": "b2u",
+ "isDeleted": false,
+ "id": "vOrm2KeKuXE9F_3S2pVjb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1809.6453974178035,
+ "y": 164.7232124639029,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 667444643,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "2V1nYwI4AMecgfrgJsI0f"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 514,
+ "versionNonce": 308254918,
+ "index": "b2v",
+ "isDeleted": false,
+ "id": "2V1nYwI4AMecgfrgJsI0f",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1834.2437054409284,
+ "y": 169.7232124639029,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.61235046386719,
+ "height": 35,
+ "seed": 697416003,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-3(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "vOrm2KeKuXE9F_3S2pVjb",
+ "originalText": "1-3(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 929,
+ "versionNonce": 2006433434,
+ "index": "b2w",
+ "isDeleted": false,
+ "id": "ykRO4AmuCEZV6U632rgVi",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2032.1550193079825,
+ "y": 160.9413756966426,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 976197859,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "8iT3qhwGqgAF0KUfmpQhk"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 837,
+ "versionNonce": 1035767814,
+ "index": "b2x",
+ "isDeleted": false,
+ "id": "8iT3qhwGqgAF0KUfmpQhk",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2044.741288146537,
+ "y": 165.9413756966426,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 104.63642883300781,
+ "height": 35,
+ "seed": 657491075,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-7(26)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "ykRO4AmuCEZV6U632rgVi",
+ "originalText": "4-7(26)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 708,
+ "versionNonce": 1981340506,
+ "index": "b2y",
+ "isDeleted": false,
+ "id": "LsuV10vuRzhNBEGfvuvi5",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1837.281052210708,
+ "y": 248.03252944945132,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 139656227,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "6pFf-68nfCP5POqyW87N0",
+ "type": "text"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 612,
+ "versionNonce": 955817798,
+ "index": "b2z",
+ "isDeleted": false,
+ "id": "6pFf-68nfCP5POqyW87N0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1857.6653480878367,
+ "y": 253.03252944945132,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 89.04037475585938,
+ "height": 35,
+ "seed": 2038792131,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "2-3(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "LsuV10vuRzhNBEGfvuvi5",
+ "originalText": "2-3(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 678,
+ "versionNonce": 1742233626,
+ "index": "b30",
+ "isDeleted": false,
+ "id": "RBSYrDNzFL7SNs79NCpKC",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1983.2072761331442,
+ "y": 247.74163936206992,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 350654307,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "dtAa0iXrcMdvS82rCe3m-"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 590,
+ "versionNonce": 1752221318,
+ "index": "b31",
+ "isDeleted": false,
+ "id": "dtAa0iXrcMdvS82rCe3m-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2001.7575647470894,
+ "y": 252.74163936206992,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 92.70838928222656,
+ "height": 35,
+ "seed": 751086339,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-5(11)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "RBSYrDNzFL7SNs79NCpKC",
+ "originalText": "4-5(11)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 747,
+ "versionNonce": 684281050,
+ "index": "b32",
+ "isDeleted": false,
+ "id": "S_EL7ggZItWaE2IN_qLdG",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2118.1518601952935,
+ "y": 249.8145009468052,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1168003747,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "LJXiGBrEaWNWxyvhP39Fd"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 670,
+ "versionNonce": 484574662,
+ "index": "b33",
+ "isDeleted": false,
+ "id": "LJXiGBrEaWNWxyvhP39Fd",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2134.098137273594,
+ "y": 254.8145009468052,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 97.91641235351562,
+ "height": 35,
+ "seed": 1344407107,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "6-7(15)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "S_EL7ggZItWaE2IN_qLdG",
+ "originalText": "6-7(15)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 787,
+ "versionNonce": 511615386,
+ "index": "b34",
+ "isDeleted": false,
+ "id": "-EOMowhUZH45OQ3KW9n8L",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1823.6072067406194,
+ "y": 324.25091254580343,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 590235107,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "09tOtvbIT7T8zAZtNBJo7"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 702,
+ "versionNonce": 124345606,
+ "index": "b35",
+ "isDeleted": false,
+ "id": "09tOtvbIT7T8zAZtNBJo7",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1831.5362580332312,
+ "y": 334.25091254580343,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.859954833984375,
+ "height": 25,
+ "seed": 902926723,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "2(2)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "-EOMowhUZH45OQ3KW9n8L",
+ "originalText": "2(2)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 898,
+ "versionNonce": 69951066,
+ "index": "b36",
+ "isDeleted": false,
+ "id": "EDo8HyKQAhm3rbL8aQdr6",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1908.6988631689142,
+ "y": 326.8324664364022,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 424306979,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "NVktezFxjR9NfXZfPJplA"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 817,
+ "versionNonce": 763612230,
+ "index": "b37",
+ "isDeleted": false,
+ "id": "NVktezFxjR9NfXZfPJplA",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1918.4679107994166,
+ "y": 336.8324664364022,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.179962158203125,
+ "height": 25,
+ "seed": 856116419,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "3(3)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "EDo8HyKQAhm3rbL8aQdr6",
+ "originalText": "3(3)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 772,
+ "versionNonce": 916620058,
+ "index": "b38",
+ "isDeleted": false,
+ "id": "U-yx7Q465d416JtejGZ-t",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1982.5329232635304,
+ "y": 328.10580943871014,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 916896867,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "gkrnmydVXI8emd4BTPqhk"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 693,
+ "versionNonce": 1561219974,
+ "index": "b39",
+ "isDeleted": false,
+ "id": "gkrnmydVXI8emd4BTPqhk",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1992.7619776079,
+ "y": 338.10580943871014,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.25994873046875,
+ "height": 25,
+ "seed": 1610037251,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "4(4)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "U-yx7Q465d416JtejGZ-t",
+ "originalText": "4(4)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 813,
+ "versionNonce": 5705690,
+ "index": "b3A",
+ "isDeleted": false,
+ "id": "01-R_FrOkZ5F4w1s3tq9U",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2053.824709849229,
+ "y": 327.8875321133445,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1828143011,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "hZr5V-LViAWAaYjC4UjY1"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 731,
+ "versionNonce": 541455046,
+ "index": "b3B",
+ "isDeleted": false,
+ "id": "hZr5V-LViAWAaYjC4UjY1",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2063.393760531489,
+ "y": 337.8875321133445,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.5799560546875,
+ "height": 25,
+ "seed": 1473598275,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "5(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "01-R_FrOkZ5F4w1s3tq9U",
+ "originalText": "5(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 808,
+ "versionNonce": 1700529306,
+ "index": "b3C",
+ "isDeleted": false,
+ "id": "XITLrhEtPy17cZGCVwMzA",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2123.5697309728025,
+ "y": 327.08735739830297,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1357902563,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "EIgujhRNFwTltIyikoH2i"
+ },
+ {
+ "id": "lW_jHrCEpGSFgIK5jS5gb",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 726,
+ "versionNonce": 835168774,
+ "index": "b3D",
+ "isDeleted": false,
+ "id": "EIgujhRNFwTltIyikoH2i",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2133.5187789084807,
+ "y": 337.08735739830297,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.81996154785156,
+ "height": 25,
+ "seed": 2027265667,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "6(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "XITLrhEtPy17cZGCVwMzA",
+ "originalText": "6(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 812,
+ "versionNonce": 1868849498,
+ "index": "b3E",
+ "isDeleted": false,
+ "id": "zCc5aJyZiVDIpi0ak9YNo",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2193.314969189673,
+ "y": 324.7961907449492,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1514460707,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "2hec8Ipc3FAtggsoqDDZx"
+ },
+ {
+ "id": "YMR2Brxr5Div4t7k_zRke",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 731,
+ "versionNonce": 1888516422,
+ "index": "b3F",
+ "isDeleted": false,
+ "id": "2hec8Ipc3FAtggsoqDDZx",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2203.3040180408784,
+ "y": 334.7961907449492,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.739959716796875,
+ "height": 25,
+ "seed": 606869955,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "7(8)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "zCc5aJyZiVDIpi0ak9YNo",
+ "originalText": "7(8)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "line",
+ "version": 298,
+ "versionNonce": 2042832410,
+ "index": "b3G",
+ "isDeleted": false,
+ "id": "4kMzyNr2gRjAUOZmMg7X7",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1979.1196475539432,
+ "y": 122.65486725892603,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 104.00378073487445,
+ "height": 41.601537541245136,
+ "seed": 598337891,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -104.00378073487445,
+ 41.601537541245136
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 296,
+ "versionNonce": 1409114246,
+ "index": "b3H",
+ "isDeleted": false,
+ "id": "OOJhamVNUxa4iEMhmWPGx",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1975.3377469758652,
+ "y": 122.18211165288383,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 118.65889794788131,
+ "height": 37.346845289559894,
+ "seed": 2114766083,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 118.65889794788131,
+ 37.346845289559894
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 297,
+ "versionNonce": 2104185562,
+ "index": "b3I",
+ "isDeleted": false,
+ "id": "u6IL72dP2cbreiHbb03b6",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1867.0791477528287,
+ "y": 210.11261655931915,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 121.02265794431014,
+ "height": 36.40137014504029,
+ "seed": 718482595,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -121.02265794431014,
+ 36.40137014504029
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 237,
+ "versionNonce": 1607163846,
+ "index": "b3J",
+ "isDeleted": false,
+ "id": "llDuLQHXlftqeuAp-yS_c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1866.6064462481336,
+ "y": 211.0581277714035,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.455858932955834,
+ "height": 34.983121360696146,
+ "seed": 766222403,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.455858932955834,
+ 34.983121360696146
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 243,
+ "versionNonce": 1559226266,
+ "index": "b3K",
+ "isDeleted": false,
+ "id": "h8bMBeygnCkZiBdEhOoR4",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1898.7531061077066,
+ "y": 292.8429901371144,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 45.38352828823554,
+ "height": 30.728411075228507,
+ "seed": 276078563,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -45.38352828823554,
+ 30.728411075228507
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 268,
+ "versionNonce": 404190982,
+ "index": "b3L",
+ "isDeleted": false,
+ "id": "x0mblLi8ZCkOr8rq0hRXP",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1896.8620836835375,
+ "y": 291.8974789250301,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 42.54703071954691,
+ "height": 33.0921350040922,
+ "seed": 490515331,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 42.54703071954691,
+ 33.0921350040922
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 243,
+ "versionNonce": 813950042,
+ "index": "b3M",
+ "isDeleted": false,
+ "id": "7R1sZi2zhiKna2dAUJJrF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2097.3059161322594,
+ "y": 207.27620915954284,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.91075464841083,
+ "height": 39.7105151170764,
+ "seed": 1480737571,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -44.91075464841083,
+ 39.7105151170764
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 277,
+ "versionNonce": 1969137222,
+ "index": "b3N",
+ "isDeleted": false,
+ "id": "HSPdGx5I54gyXTKx7VtkM",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2100.6151152056427,
+ "y": 206.3307159812409,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.83931508606179,
+ "height": 43.492505864066686,
+ "seed": 972285635,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 80.83931508606179,
+ 43.492505864066686
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 275,
+ "versionNonce": 301615386,
+ "index": "b3O",
+ "isDeleted": false,
+ "id": "OHowTqazqS74TdE3l5bOj",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2048.140415130816,
+ "y": 293.788465281634,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 38.76505800633913,
+ "height": 31.201148647488253,
+ "seed": 686823011,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -38.76505800633913,
+ 31.201148647488253
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 222,
+ "versionNonce": 1484647814,
+ "index": "b3P",
+ "isDeleted": false,
+ "id": "lEJ8bxvZ-mjaKnRUUWV1G",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2047.667713626121,
+ "y": 293.788465281634,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.92856043765073,
+ "height": 32.14665985957265,
+ "seed": 872763907,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.92856043765073,
+ 32.14665985957265
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 284,
+ "versionNonce": 1757812186,
+ "index": "b3Q",
+ "isDeleted": false,
+ "id": "1y2gdZEtGoJyBpQCXcwjA",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2181.9272039315288,
+ "y": 294.7339764937184,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 27.419212001845153,
+ "height": 29.310198358449156,
+ "seed": 204609955,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -27.419212001845153,
+ 29.310198358449156
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 253,
+ "versionNonce": 2125614278,
+ "index": "b3R",
+ "isDeleted": false,
+ "id": "qLSeBayoQFAeaLkAe7fP0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2184.7637015002174,
+ "y": 292.8429901371145,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.65600829537834,
+ "height": 30.72841107522845,
+ "seed": 1050996035,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 40.65600829537834,
+ 30.72841107522845
+ ]
+ ]
+ },
+ {
+ "type": "rectangle",
+ "version": 819,
+ "versionNonce": 905595546,
+ "index": "b3S",
+ "isDeleted": false,
+ "id": "hhkCbF275m0l9pqBh7aDj",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1709.6407840774004,
+ "y": 247.2767319413049,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 35,
+ "seed": 784092387,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "TXVmrnGnpv2NbUDUzf9IW"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 739,
+ "versionNonce": 1972945926,
+ "index": "b3T",
+ "isDeleted": false,
+ "id": "TXVmrnGnpv2NbUDUzf9IW",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1723.0298268250904,
+ "y": 252.2767319413049,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 33.939971923828125,
+ "height": 25,
+ "seed": 1342617731,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "1(1)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "hhkCbF275m0l9pqBh7aDj",
+ "originalText": "1(1)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "ellipse",
+ "version": 952,
+ "versionNonce": 1615456090,
+ "index": "b3U",
+ "isDeleted": false,
+ "id": "19VQYMtiCR0SC2GUmwhH0",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2205.817192974489,
+ "y": 194.55987895639825,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 63.36993180210163,
+ "height": 64,
+ "seed": 541241379,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "c7oP_Ggh47Ty7rDzprFvB"
+ },
+ {
+ "id": "lW_jHrCEpGSFgIK5jS5gb",
+ "type": "arrow"
+ },
+ {
+ "id": "YMR2Brxr5Div4t7k_zRke",
+ "type": "arrow"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 630,
+ "versionNonce": 254694214,
+ "index": "b3V",
+ "isDeleted": false,
+ "id": "c7oP_Ggh47Ty7rDzprFvB",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2224.339440355223,
+ "y": 208.93246195842872,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 26.516128540039062,
+ "height": 35,
+ "seed": 1633596355,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "+1",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "19VQYMtiCR0SC2GUmwhH0",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "ellipse",
+ "version": 1036,
+ "versionNonce": 519194,
+ "index": "b3W",
+ "isDeleted": false,
+ "id": "oU_LWULDrp5TOG5KRUcBL",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1949.5091033712165,
+ "y": 195.31476621060912,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 63.36993180210163,
+ "height": 64,
+ "seed": 326714211,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [
+ {
+ "id": "tjc5c5ygjbBzQVo6TyfTH",
+ "type": "text"
+ }
+ ],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 716,
+ "versionNonce": 1439693446,
+ "index": "b3X",
+ "isDeleted": false,
+ "id": "tjc5c5ygjbBzQVo6TyfTH",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1968.0313507519502,
+ "y": 209.6873492126396,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "width": 26.516128540039062,
+ "height": 35,
+ "seed": 786489091,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727372216604,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "+1",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "oU_LWULDrp5TOG5KRUcBL",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "arrow",
+ "version": 111,
+ "versionNonce": 389252998,
+ "index": "b3Y",
+ "isDeleted": false,
+ "id": "lW_jHrCEpGSFgIK5jS5gb",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2209.902846077333,
+ "y": 244.23821173099097,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 37.68560687534455,
+ "height": 76.11998041802659,
+ "seed": 413592749,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216605,
+ "link": null,
+ "locked": false,
+ "startBinding": {
+ "elementId": "19VQYMtiCR0SC2GUmwhH0",
+ "focus": 0.532029162591291,
+ "gap": 1,
+ "fixedPoint": null
+ },
+ "endBinding": {
+ "elementId": "XITLrhEtPy17cZGCVwMzA",
+ "focus": 0.09199532364505601,
+ "gap": 6.7291652492854155,
+ "fixedPoint": null
+ },
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -37.68560687534455,
+ 76.11998041802659
+ ]
+ ],
+ "elbowed": false
+ },
+ {
+ "type": "arrow",
+ "version": 92,
+ "versionNonce": 1297030106,
+ "index": "b3Z",
+ "isDeleted": false,
+ "id": "YMR2Brxr5Div4t7k_zRke",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 2241.4682108723073,
+ "y": 259.31603488664905,
+ "strokeColor": "#f08c00",
+ "backgroundColor": "transparent",
+ "width": 0.004158174815074744,
+ "height": 61.80181142221585,
+ "seed": 1951259395,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727372216606,
+ "link": null,
+ "locked": false,
+ "startBinding": {
+ "elementId": "19VQYMtiCR0SC2GUmwhH0",
+ "focus": -0.12530264933789387,
+ "gap": 1,
+ "fixedPoint": null
+ },
+ "endBinding": {
+ "elementId": "zCc5aJyZiVDIpi0ak9YNo",
+ "focus": 0.5862628649320246,
+ "gap": 3.6783444360842736,
+ "fixedPoint": null
+ },
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 0.004158174815074744,
+ 61.80181142221585
+ ]
+ ],
+ "elbowed": false
+ },
+ {
+ "id": "lw5XFbNUZCSX30FC4zUwY",
+ "type": "arrow",
+ "x": 1581.2828265727212,
+ "y": 116.98132186403586,
+ "width": 220,
+ "height": 0.666656494140625,
+ "angle": 0,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b3c",
+ "roundness": {
+ "type": 2
+ },
+ "seed": 10924570,
+ "version": 85,
+ "versionNonce": 400967130,
+ "isDeleted": false,
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "MLFKvkU1GC2CgJMqI8udx"
+ }
+ ],
+ "updated": 1727372229880,
+ "link": null,
+ "locked": false,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 220,
+ -0.666656494140625
+ ]
+ ],
+ "lastCommittedPoint": null,
+ "startBinding": null,
+ "endBinding": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "elbowed": false
+ },
+ {
+ "id": "MLFKvkU1GC2CgJMqI8udx",
+ "type": "text",
+ "x": 1656.4646884501626,
+ "y": 99.14799361696555,
+ "width": 69.63627624511719,
+ "height": 35,
+ "angle": 0,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b3d",
+ "roundness": null,
+ "seed": 1783677638,
+ "version": 6,
+ "versionNonce": 218986054,
+ "isDeleted": false,
+ "boundElements": null,
+ "updated": 1727372229173,
+ "link": null,
+ "locked": false,
+ "text": "Then",
+ "fontSize": 28,
+ "fontFamily": 5,
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "lw5XFbNUZCSX30FC4zUwY",
+ "originalText": "Then",
+ "autoResize": true,
+ "lineHeight": 1.25
+ }
+ ],
+ "appState": {
+ "gridSize": 20,
+ "gridStep": 5,
+ "gridModeEnabled": false,
+ "viewBackgroundColor": "#ffffff"
+ },
+ "files": {}
+}
\ No newline at end of file
diff --git a/next/imgs/segment-tree-add-lazytag.svg b/next/imgs/segment-tree-add-lazytag.svg
new file mode 100644
index 00000000..7e391edd
--- /dev/null
+++ b/next/imgs/segment-tree-add-lazytag.svg
@@ -0,0 +1,13 @@
+
\ No newline at end of file
diff --git a/next/imgs/segment-tree-add.excalidraw b/next/imgs/segment-tree-add.excalidraw
new file mode 100644
index 00000000..06ca010b
--- /dev/null
+++ b/next/imgs/segment-tree-add.excalidraw
@@ -0,0 +1,3054 @@
+{
+ "type": "excalidraw",
+ "version": 2,
+ "source": "https://excalidraw.com",
+ "elements": [
+ {
+ "type": "rectangle",
+ "version": 420,
+ "versionNonce": 1802142872,
+ "index": "b0o",
+ "isDeleted": false,
+ "id": "LvLnFi5Ldemuqz3xjv4a3",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 931.1862482267843,
+ "y": 121.14471149710492,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 508130135,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "6ybFupFbln7tfDBB88YrG",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 320,
+ "versionNonce": 2120885992,
+ "index": "b0p",
+ "isDeleted": false,
+ "id": "6ybFupFbln7tfDBB88YrG",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 946.0405224364325,
+ "y": 126.14471149710492,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 100.10041809082031,
+ "height": 35,
+ "seed": 684556599,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-7(28)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "LvLnFi5Ldemuqz3xjv4a3",
+ "originalText": "1-7(28)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 487,
+ "versionNonce": 2002009752,
+ "index": "b0q",
+ "isDeleted": false,
+ "id": "3WkmC-NpHKPOIXaWWlB0c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 823.6755705279709,
+ "y": 208.16797908236123,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1489962297,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "IReIWWKOdSk_XRpctce6i",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 384,
+ "versionNonce": 299768728,
+ "index": "b0r",
+ "isDeleted": false,
+ "id": "IReIWWKOdSk_XRpctce6i",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 848.2738785510957,
+ "y": 213.16797908236123,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.61235046386719,
+ "height": 35,
+ "seed": 1057748505,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-3(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "3WkmC-NpHKPOIXaWWlB0c",
+ "originalText": "1-3(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 797,
+ "versionNonce": 1268218008,
+ "index": "b0s",
+ "isDeleted": false,
+ "id": "VFoTE1SzWVY9GxGh3B9io",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1046.1851924181499,
+ "y": 204.38614231510093,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1330088087,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "jG2PoHqhDH_rINlaOeihR",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 700,
+ "versionNonce": 880847768,
+ "index": "b0t",
+ "isDeleted": false,
+ "id": "jG2PoHqhDH_rINlaOeihR",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1057.931457289419,
+ "y": 209.38614231510093,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 106.31643676757812,
+ "height": 35,
+ "seed": 2023251383,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-7(22)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "VFoTE1SzWVY9GxGh3B9io",
+ "originalText": "4-7(22)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 579,
+ "versionNonce": 1070871192,
+ "index": "b0u",
+ "isDeleted": false,
+ "id": "ZJz4sYrr3MPTJkbobuioL",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 851.3112253208756,
+ "y": 291.4772960679096,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 319125625,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "6Ly0awWaO9KJ84e0jNG2g",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 483,
+ "versionNonce": 391449064,
+ "index": "b0v",
+ "isDeleted": false,
+ "id": "6Ly0awWaO9KJ84e0jNG2g",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 871.6955211980043,
+ "y": 296.4772960679096,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 89.04037475585938,
+ "height": 35,
+ "seed": 680657241,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "2-3(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "ZJz4sYrr3MPTJkbobuioL",
+ "originalText": "2-3(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 548,
+ "versionNonce": 1135242392,
+ "index": "b0w",
+ "isDeleted": false,
+ "id": "9w49to0dKgRUHpuB_QCFb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 997.2374492433121,
+ "y": 291.1864059805282,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 716204279,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "ZGBBn4FxC5NQtdB4H3h2B",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 456,
+ "versionNonce": 2076633240,
+ "index": "b0x",
+ "isDeleted": false,
+ "id": "ZGBBn4FxC5NQtdB4H3h2B",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1019.3577528108705,
+ "y": 296.1864059805282,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 85.568359375,
+ "height": 35,
+ "seed": 1220948503,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-5(9)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "9w49to0dKgRUHpuB_QCFb",
+ "originalText": "4-5(9)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 617,
+ "versionNonce": 1589257880,
+ "index": "b0y",
+ "isDeleted": false,
+ "id": "a4jCa0nb3UgoS75hGemWC",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1132.182033305461,
+ "y": 293.2592675652635,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1001205463,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "D_cE7Iz4Cf_f9pBN0yH1d",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 533,
+ "versionNonce": 836835736,
+ "index": "b0z",
+ "isDeleted": false,
+ "id": "D_cE7Iz4Cf_f9pBN0yH1d",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1148.2683097734098,
+ "y": 298.2592675652635,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 97.63641357421875,
+ "height": 35,
+ "seed": 233782263,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "6-7(13)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "a4jCa0nb3UgoS75hGemWC",
+ "originalText": "6-7(13)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 658,
+ "versionNonce": 816013464,
+ "index": "b10",
+ "isDeleted": false,
+ "id": "1baNkEz6xWaOWnx5-L_oj",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 837.637379850787,
+ "y": 367.6956791642617,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1473940791,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "uG4dsIY5umDTLhBm1xwo7",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 573,
+ "versionNonce": 921406696,
+ "index": "b11",
+ "isDeleted": false,
+ "id": "uG4dsIY5umDTLhBm1xwo7",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 845.5664311433987,
+ "y": 377.6956791642617,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.859954833984375,
+ "height": 25,
+ "seed": 1302449751,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "2(2)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "1baNkEz6xWaOWnx5-L_oj",
+ "originalText": "2(2)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 769,
+ "versionNonce": 1896225432,
+ "index": "b12",
+ "isDeleted": false,
+ "id": "z29mtqixOXQHIEzzMyPYM",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 922.7290362790818,
+ "y": 370.2772330548606,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1919828185,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "NT6Jrt6BxuVeAGt03kxPe",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 688,
+ "versionNonce": 688788888,
+ "index": "b13",
+ "isDeleted": false,
+ "id": "NT6Jrt6BxuVeAGt03kxPe",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 932.4980839095841,
+ "y": 380.2772330548606,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.179962158203125,
+ "height": 25,
+ "seed": 1149418937,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "3(3)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "z29mtqixOXQHIEzzMyPYM",
+ "originalText": "3(3)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 643,
+ "versionNonce": 1870812312,
+ "index": "b14",
+ "isDeleted": false,
+ "id": "_t_HLx-V_PU8lRZSzjnLE",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 996.563096373698,
+ "y": 371.5505760571685,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 828273367,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "gk9_gT4bucAmcnp3BZ1YP",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 563,
+ "versionNonce": 1186574312,
+ "index": "b15",
+ "isDeleted": false,
+ "id": "gk9_gT4bucAmcnp3BZ1YP",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1006.7921507180675,
+ "y": 381.5505760571685,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.25994873046875,
+ "height": 25,
+ "seed": 1155006455,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "4(4)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "_t_HLx-V_PU8lRZSzjnLE",
+ "originalText": "4(4)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 684,
+ "versionNonce": 330829464,
+ "index": "b16",
+ "isDeleted": false,
+ "id": "EFjI-U-KV-x6XVc2Q95cz",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1067.8548829593963,
+ "y": 371.33229873180284,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 854694521,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "3EQXbaZzGhikFrxUtXjlD",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 601,
+ "versionNonce": 1786511768,
+ "index": "b17",
+ "isDeleted": false,
+ "id": "3EQXbaZzGhikFrxUtXjlD",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1077.4239336416563,
+ "y": 381.33229873180284,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.5799560546875,
+ "height": 25,
+ "seed": 2057954137,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "5(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "EFjI-U-KV-x6XVc2Q95cz",
+ "originalText": "5(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 677,
+ "versionNonce": 1564952728,
+ "index": "b18",
+ "isDeleted": false,
+ "id": "I1i9ZvTIjuNWO50qGBQs4",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1137.5999040829704,
+ "y": 370.53212401676126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1246283575,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "-Kqyk_JHYV36qTzARTdwh",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 592,
+ "versionNonce": 871005080,
+ "index": "b19",
+ "isDeleted": false,
+ "id": "-Kqyk_JHYV36qTzARTdwh",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1147.2289523238242,
+ "y": 380.53212401676126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.4599609375,
+ "height": 25,
+ "seed": 171493463,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "6(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "I1i9ZvTIjuNWO50qGBQs4",
+ "originalText": "6(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 681,
+ "versionNonce": 1674576536,
+ "index": "b1A",
+ "isDeleted": false,
+ "id": "_Z_xikcU0o8EcGQsGvxZk",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1207.3451422998403,
+ "y": 368.24095736340746,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1379153945,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "hL_KG7615jh-iQFcd4qym",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 598,
+ "versionNonce": 998405528,
+ "index": "b1B",
+ "isDeleted": false,
+ "id": "hL_KG7615jh-iQFcd4qym",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1218.1141899303425,
+ "y": 378.24095736340746,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 39.179962158203125,
+ "height": 25,
+ "seed": 2131217657,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "7(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "_Z_xikcU0o8EcGQsGvxZk",
+ "originalText": "7(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "line",
+ "version": 167,
+ "versionNonce": 1930238440,
+ "index": "b1C",
+ "isDeleted": false,
+ "id": "WWAdx_i-MXCnpjqb1ZVZr",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 993.1498206641111,
+ "y": 166.09963387738435,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 104.00378073487445,
+ "height": 41.601537541245136,
+ "seed": 532197335,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -104.00378073487445,
+ 41.601537541245136
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 164,
+ "versionNonce": 1666701464,
+ "index": "b1D",
+ "isDeleted": false,
+ "id": "Jz62_uZSDTKepTrOIct6r",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 989.3679200860329,
+ "y": 165.62687827134215,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 118.65889794788131,
+ "height": 37.346845289559894,
+ "seed": 1173907127,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 118.65889794788131,
+ 37.346845289559894
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 166,
+ "versionNonce": 18980072,
+ "index": "b1E",
+ "isDeleted": false,
+ "id": "tozWxiOuenjBvcl17HibG",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 881.1093208629964,
+ "y": 253.55738317777747,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 121.02265794431014,
+ "height": 36.40137014504029,
+ "seed": 1151033113,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -121.02265794431014,
+ 36.40137014504029
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 106,
+ "versionNonce": 1359021464,
+ "index": "b1F",
+ "isDeleted": false,
+ "id": "ZiGB96jRVrgl8Aa4x-GAu",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 880.6366193583012,
+ "y": 254.5028943898618,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.455858932955834,
+ "height": 34.983121360696146,
+ "seed": 1241733177,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.455858932955834,
+ 34.983121360696146
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 112,
+ "versionNonce": 2142093288,
+ "index": "b1G",
+ "isDeleted": false,
+ "id": "Vn5Is_Tm3f0qWa08bbahV",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 912.783279217874,
+ "y": 336.28775675557273,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 45.38352828823554,
+ "height": 30.728411075228507,
+ "seed": 1663567831,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -45.38352828823554,
+ 30.728411075228507
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 137,
+ "versionNonce": 1794937496,
+ "index": "b1H",
+ "isDeleted": false,
+ "id": "skJJcGJiAqqeETTZugIAU",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 910.8922567937052,
+ "y": 335.3422455434884,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 42.54703071954691,
+ "height": 33.0921350040922,
+ "seed": 729572153,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 42.54703071954691,
+ 33.0921350040922
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 112,
+ "versionNonce": 1052607208,
+ "index": "b1I",
+ "isDeleted": false,
+ "id": "v_k1ekf3b0nB87KNbDzLD",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1111.336089242427,
+ "y": 250.72097577800116,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.91075464841083,
+ "height": 39.7105151170764,
+ "seed": 556941241,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -44.91075464841083,
+ 39.7105151170764
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 146,
+ "versionNonce": 939425688,
+ "index": "b1J",
+ "isDeleted": false,
+ "id": "MpIMtHlUUS3-ymUTShJIG",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1114.6452883158104,
+ "y": 249.77548259969922,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.83931508606179,
+ "height": 43.492505864066686,
+ "seed": 1176074519,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 80.83931508606179,
+ 43.492505864066686
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 144,
+ "versionNonce": 752674280,
+ "index": "b1K",
+ "isDeleted": false,
+ "id": "ekamXGOGDfXyefoB9HaId",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1062.1705882409838,
+ "y": 337.23323190009233,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 38.76505800633913,
+ "height": 31.201148647488253,
+ "seed": 676062777,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -38.76505800633913,
+ 31.201148647488253
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 91,
+ "versionNonce": 1211813016,
+ "index": "b1L",
+ "isDeleted": false,
+ "id": "__7rsbfPTr9_TaTbFlxuF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1061.6978867362889,
+ "y": 337.23323190009233,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.92856043765073,
+ "height": 32.14665985957265,
+ "seed": 958254231,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.92856043765073,
+ 32.14665985957265
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 153,
+ "versionNonce": 119007464,
+ "index": "b1M",
+ "isDeleted": false,
+ "id": "En3C96hL1ygtbBvFfFVzT",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1195.9573770416966,
+ "y": 338.17874311217673,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 27.419212001845153,
+ "height": 29.310198358449156,
+ "seed": 708280855,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -27.419212001845153,
+ 29.310198358449156
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 122,
+ "versionNonce": 90536344,
+ "index": "b1N",
+ "isDeleted": false,
+ "id": "huHWDhDaeHpf8VJsHWF_j",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1198.793874610385,
+ "y": 336.2877567555728,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.65600829537834,
+ "height": 30.72841107522845,
+ "seed": 28734007,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 40.65600829537834,
+ 30.72841107522845
+ ]
+ ]
+ },
+ {
+ "type": "rectangle",
+ "version": 690,
+ "versionNonce": 1458715800,
+ "index": "b1P",
+ "isDeleted": false,
+ "id": "MIaI1xi_AtEnVnhRJ_m06",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 723.6709571875681,
+ "y": 290.7214985597632,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 35,
+ "seed": 1774734585,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "1NB-o3PN6h8X3LNrrIq7T",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 610,
+ "versionNonce": 1592238744,
+ "index": "b1Q",
+ "isDeleted": false,
+ "id": "1NB-o3PN6h8X3LNrrIq7T",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 737.0599999352579,
+ "y": 295.7214985597632,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 33.939971923828125,
+ "height": 25,
+ "seed": 956712409,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "1(1)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "MIaI1xi_AtEnVnhRJ_m06",
+ "originalText": "1(1)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "id": "asgEzK4lL2-m-7NH0mFRR",
+ "type": "arrow",
+ "x": 1204.7977187791953,
+ "y": 249.00310235232087,
+ "width": 286,
+ "height": 2.66668701171875,
+ "angle": 0,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b1T",
+ "roundness": {
+ "type": 2
+ },
+ "seed": 189580696,
+ "version": 151,
+ "versionNonce": 479252200,
+ "isDeleted": false,
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "0VeG_dohKCTVaQGmo8KG1"
+ }
+ ],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 286,
+ 2.66668701171875
+ ]
+ ],
+ "lastCommittedPoint": null,
+ "startBinding": null,
+ "endBinding": null,
+ "startArrowhead": null,
+ "endArrowhead": "arrow",
+ "elbowed": false
+ },
+ {
+ "id": "0VeG_dohKCTVaQGmo8KG1",
+ "type": "text",
+ "x": 1277.2016875902304,
+ "y": 205.33644585818024,
+ "width": 141.1920623779297,
+ "height": 90,
+ "angle": 0,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b1U",
+ "roundness": null,
+ "seed": 764292248,
+ "version": 66,
+ "versionNonce": 516649704,
+ "isDeleted": false,
+ "boundElements": null,
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "text": "Add 1\nto [4,7]",
+ "fontSize": 36,
+ "fontFamily": 5,
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "asgEzK4lL2-m-7NH0mFRR",
+ "originalText": "Add 1\nto [4,7]",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 764,
+ "versionNonce": 2119038616,
+ "index": "b1V",
+ "isDeleted": false,
+ "id": "cpjTRlIACTpbG2jJN-Ok7",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1639.273553011544,
+ "y": 117.40374547027292,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 215974120,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "H7jkBI3lqgw0dLZXB1e1A",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 668,
+ "versionNonce": 732883352,
+ "index": "b1W",
+ "isDeleted": false,
+ "id": "H7jkBI3lqgw0dLZXB1e1A",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1654.5198255122077,
+ "y": 122.40374547027292,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 99.31642150878906,
+ "height": 35,
+ "seed": 571417576,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-7(32)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "cpjTRlIACTpbG2jJN-Ok7",
+ "originalText": "1-7(32)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 830,
+ "versionNonce": 964898968,
+ "index": "b1X",
+ "isDeleted": false,
+ "id": "kJhoLhLxZKkGNfMOVUlF-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1531.7628753127308,
+ "y": 204.42701305552924,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1465018088,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "fsbbhqe2tuyP-i8d_zdVW",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 728,
+ "versionNonce": 595813272,
+ "index": "b1Y",
+ "isDeleted": false,
+ "id": "fsbbhqe2tuyP-i8d_zdVW",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1556.3611833358555,
+ "y": 209.42701305552924,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.61235046386719,
+ "height": 35,
+ "seed": 691358184,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-3(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "kJhoLhLxZKkGNfMOVUlF-",
+ "originalText": "1-3(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1141,
+ "versionNonce": 3271320,
+ "index": "b1Z",
+ "isDeleted": false,
+ "id": "hqI_EWAZD2jKHjnAavsKQ",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1754.2724972029098,
+ "y": 200.64517628826894,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 583257320,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "g31_ah4pk6zZXIMNbC9AM",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 1050,
+ "versionNonce": 2013355416,
+ "index": "b1a",
+ "isDeleted": false,
+ "id": "g31_ah4pk6zZXIMNbC9AM",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1766.8587660414642,
+ "y": 205.64517628826894,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 104.63642883300781,
+ "height": 35,
+ "seed": 227143656,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-7(26)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "hqI_EWAZD2jKHjnAavsKQ",
+ "originalText": "4-7(26)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 922,
+ "versionNonce": 1643783320,
+ "index": "b1b",
+ "isDeleted": false,
+ "id": "xwzPKUy4d3hNQueXfMkhy",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1559.3985301056352,
+ "y": 287.7363300410776,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 563327720,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "A2MjN8I7DblQsdC6THZst",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 826,
+ "versionNonce": 751359896,
+ "index": "b1c",
+ "isDeleted": false,
+ "id": "A2MjN8I7DblQsdC6THZst",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1579.7828259827638,
+ "y": 292.7363300410776,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 89.04037475585938,
+ "height": 35,
+ "seed": 896341480,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "2-3(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "xwzPKUy4d3hNQueXfMkhy",
+ "originalText": "2-3(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 892,
+ "versionNonce": 108781208,
+ "index": "b1d",
+ "isDeleted": false,
+ "id": "m-6qT8HdRzkx-YEYBHeK-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1705.3247540280715,
+ "y": 287.4454399536962,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1847728360,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "KsroXyH73ZnMz5JJe_FIz",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 803,
+ "versionNonce": 1568264600,
+ "index": "b1e",
+ "isDeleted": false,
+ "id": "KsroXyH73ZnMz5JJe_FIz",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1723.8750426420165,
+ "y": 292.4454399536962,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 92.70838928222656,
+ "height": 35,
+ "seed": 1866382312,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-5(11)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "m-6qT8HdRzkx-YEYBHeK-",
+ "originalText": "4-5(11)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 961,
+ "versionNonce": 760682648,
+ "index": "b1f",
+ "isDeleted": false,
+ "id": "26OQnpROreJsSsYwqvF02",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1840.2693380902208,
+ "y": 289.5183015384315,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 181337832,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "qIX3EesNm1yFdKarduIme",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 883,
+ "versionNonce": 1035226008,
+ "index": "b1g",
+ "isDeleted": false,
+ "id": "qIX3EesNm1yFdKarduIme",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1856.2156151685213,
+ "y": 294.5183015384315,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 97.91641235351562,
+ "height": 35,
+ "seed": 1902043624,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "6-7(15)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "26OQnpROreJsSsYwqvF02",
+ "originalText": "6-7(15)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1001,
+ "versionNonce": 774623896,
+ "index": "b1h",
+ "isDeleted": false,
+ "id": "VlCMrWZZkVa8zBvP_AR03",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1545.7246846355467,
+ "y": 363.95471313742974,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1643799784,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "P5s1FezlMe5jl_ZyLzdtK",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 916,
+ "versionNonce": 421021080,
+ "index": "b1i",
+ "isDeleted": false,
+ "id": "P5s1FezlMe5jl_ZyLzdtK",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1553.6537359281583,
+ "y": 373.95471313742974,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.859954833984375,
+ "height": 25,
+ "seed": 1512933352,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "2(2)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "VlCMrWZZkVa8zBvP_AR03",
+ "originalText": "2(2)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1112,
+ "versionNonce": 2023361688,
+ "index": "b1j",
+ "isDeleted": false,
+ "id": "lwOr5RO2U12zTifKJY37e",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1630.8163410638415,
+ "y": 366.53626702802853,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1174686440,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "v5NH-_sm_9GmT6oCWNaUO",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 1031,
+ "versionNonce": 1397079960,
+ "index": "b1k",
+ "isDeleted": false,
+ "id": "v5NH-_sm_9GmT6oCWNaUO",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1640.5853886943437,
+ "y": 376.53626702802853,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.179962158203125,
+ "height": 25,
+ "seed": 806006248,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "3(3)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "lwOr5RO2U12zTifKJY37e",
+ "originalText": "3(3)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 987,
+ "versionNonce": 339855000,
+ "index": "b1l",
+ "isDeleted": false,
+ "id": "-Nlciz04F912qFxPJAcqi",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1704.6504011584577,
+ "y": 367.80961003033644,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1900851432,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "TSo2V1He3IOpc7OjHSVOv",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 909,
+ "versionNonce": 1742518680,
+ "index": "b1m",
+ "isDeleted": false,
+ "id": "TSo2V1He3IOpc7OjHSVOv",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1714.5494536717724,
+ "y": 377.80961003033644,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.919952392578125,
+ "height": 25,
+ "seed": 1633047528,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "4(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "-Nlciz04F912qFxPJAcqi",
+ "originalText": "4(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1028,
+ "versionNonce": 549650584,
+ "index": "b1n",
+ "isDeleted": false,
+ "id": "wQkKd2WpG5UJKrmtoHHL0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1775.9421877441562,
+ "y": 367.5913327049708,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 104044264,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "pjyjWk1pbcNmRkHjFPTng",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 949,
+ "versionNonce": 1786590104,
+ "index": "b1o",
+ "isDeleted": false,
+ "id": "pjyjWk1pbcNmRkHjFPTng",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1785.791237205713,
+ "y": 377.5913327049708,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 41.01995849609375,
+ "height": 25,
+ "seed": 1148221928,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "5(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "wQkKd2WpG5UJKrmtoHHL0",
+ "originalText": "5(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1021,
+ "versionNonce": 1438497432,
+ "index": "b1p",
+ "isDeleted": false,
+ "id": "4WTHXoUqRZdWMvkG5mwxo",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1845.6872088677299,
+ "y": 366.7911579899293,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 253295848,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "01zzlGrOLgUkU50f3EBd9",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 939,
+ "versionNonce": 113716632,
+ "index": "b1q",
+ "isDeleted": false,
+ "id": "01zzlGrOLgUkU50f3EBd9",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1855.6362568034078,
+ "y": 376.7911579899293,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.81996154785156,
+ "height": 25,
+ "seed": 398008296,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "6(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "4WTHXoUqRZdWMvkG5mwxo",
+ "originalText": "6(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 1025,
+ "versionNonce": 47314072,
+ "index": "b1r",
+ "isDeleted": false,
+ "id": "KYeYefQa7KhsHBWZASC13",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1915.4324470846,
+ "y": 364.4999913365755,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 2120016616,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "6trKdIhEgbnX9xlhI-btQ",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 945,
+ "versionNonce": 5941144,
+ "index": "b1s",
+ "isDeleted": false,
+ "id": "6trKdIhEgbnX9xlhI-btQ",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1925.4214959358055,
+ "y": 374.4999913365755,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.739959716796875,
+ "height": 25,
+ "seed": 26232296,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "7(8)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "KYeYefQa7KhsHBWZASC13",
+ "originalText": "7(8)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "line",
+ "version": 510,
+ "versionNonce": 929043944,
+ "index": "b1t",
+ "isDeleted": false,
+ "id": "RjHZmxHAANUpLisZCCtp-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1701.2371254488705,
+ "y": 162.35866785055237,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 104.00378073487445,
+ "height": 41.601537541245136,
+ "seed": 777996520,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -104.00378073487445,
+ 41.601537541245136
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 508,
+ "versionNonce": 2126683288,
+ "index": "b1u",
+ "isDeleted": false,
+ "id": "lNU0sNnOlg3EZ96meq210",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1697.4552248707926,
+ "y": 161.88591224451017,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 118.65889794788131,
+ "height": 37.346845289559894,
+ "seed": 274066408,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 118.65889794788131,
+ 37.346845289559894
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 509,
+ "versionNonce": 968169704,
+ "index": "b1v",
+ "isDeleted": false,
+ "id": "ShKskphWp0H31EFsNwk05",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1589.196625647756,
+ "y": 249.81641715094548,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 121.02265794431014,
+ "height": 36.40137014504029,
+ "seed": 1635790568,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -121.02265794431014,
+ 36.40137014504029
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 449,
+ "versionNonce": 980634008,
+ "index": "b1w",
+ "isDeleted": false,
+ "id": "vogUrLBfOp-ip2WkGBBJ7",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1588.723924143061,
+ "y": 250.76192836302982,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.455858932955834,
+ "height": 34.983121360696146,
+ "seed": 980029928,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.455858932955834,
+ 34.983121360696146
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 455,
+ "versionNonce": 1349630952,
+ "index": "b1x",
+ "isDeleted": false,
+ "id": "8Qw6sDdINkexqbKGNlUVo",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1620.870584002634,
+ "y": 332.5467907287407,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 45.38352828823554,
+ "height": 30.728411075228507,
+ "seed": 1109365992,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -45.38352828823554,
+ 30.728411075228507
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 480,
+ "versionNonce": 1971738264,
+ "index": "b1y",
+ "isDeleted": false,
+ "id": "flgC1VvDpMmKaVhzIwOAG",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1618.9795615784649,
+ "y": 331.6012795166564,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 42.54703071954691,
+ "height": 33.0921350040922,
+ "seed": 1579988968,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 42.54703071954691,
+ 33.0921350040922
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 456,
+ "versionNonce": 1302462184,
+ "index": "b1z",
+ "isDeleted": false,
+ "id": "mLRbus_mV0J-fZ4jk9MxT",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1819.4233940271868,
+ "y": 246.98000975116918,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 44.91075464841083,
+ "height": 39.7105151170764,
+ "seed": 1654487784,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -44.91075464841083,
+ 39.7105151170764
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 490,
+ "versionNonce": 1420805016,
+ "index": "b20",
+ "isDeleted": false,
+ "id": "0KnsELbfPFOwXClF3IN4L",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1822.73259310057,
+ "y": 246.03451657286723,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 80.83931508606179,
+ "height": 43.492505864066686,
+ "seed": 1107156456,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 80.83931508606179,
+ 43.492505864066686
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 488,
+ "versionNonce": 1641144808,
+ "index": "b21",
+ "isDeleted": false,
+ "id": "iuIa5WYsveFUpQ1UM3Gyw",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1770.2578930257434,
+ "y": 333.4922658732603,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 38.76505800633913,
+ "height": 31.201148647488253,
+ "seed": 1029300456,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -38.76505800633913,
+ 31.201148647488253
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 435,
+ "versionNonce": 1176735896,
+ "index": "b22",
+ "isDeleted": false,
+ "id": "gndqkS_Qfa4W96cnL5qLQ",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1769.7851915210483,
+ "y": 333.4922658732603,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 35.92856043765073,
+ "height": 32.14665985957265,
+ "seed": 339575784,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.92856043765073,
+ 32.14665985957265
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 497,
+ "versionNonce": 1275946216,
+ "index": "b23",
+ "isDeleted": false,
+ "id": "85cy6aGbMK-UL7H1o9jee",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1904.0446818264559,
+ "y": 334.4377770853447,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 27.419212001845153,
+ "height": 29.310198358449156,
+ "seed": 884262632,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -27.419212001845153,
+ 29.310198358449156
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 466,
+ "versionNonce": 1368767896,
+ "index": "b24",
+ "isDeleted": false,
+ "id": "IfNGSGdhY6aHgNt_El6TH",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1906.881179395145,
+ "y": 332.5467907287408,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 40.65600829537834,
+ "height": 30.72841107522845,
+ "seed": 1800120808,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727236536441,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 40.65600829537834,
+ 30.72841107522845
+ ]
+ ]
+ },
+ {
+ "type": "rectangle",
+ "version": 1017,
+ "versionNonce": 262123160,
+ "index": "b25",
+ "isDeleted": false,
+ "id": "AryZc2za7jycOQelslThH",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1431.7582619723278,
+ "y": 286.9805325329312,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 35,
+ "seed": 319696104,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "YxwmSLulfxI34-WONog2l",
+ "type": "text"
+ }
+ ],
+ "updated": 1727236536446,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 937,
+ "versionNonce": 470257560,
+ "index": "b26",
+ "isDeleted": false,
+ "id": "YxwmSLulfxI34-WONog2l",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1445.1473047200175,
+ "y": 291.9805325329312,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 33.939971923828125,
+ "height": 25,
+ "seed": 1166561256,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236536447,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "1(1)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "AryZc2za7jycOQelslThH",
+ "originalText": "1(1)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ }
+ ],
+ "appState": {
+ "gridSize": 20,
+ "gridStep": 5,
+ "gridModeEnabled": false,
+ "viewBackgroundColor": "#ffffff"
+ },
+ "files": {}
+}
\ No newline at end of file
diff --git a/next/imgs/segment-tree-add.svg b/next/imgs/segment-tree-add.svg
new file mode 100644
index 00000000..77b9b706
--- /dev/null
+++ b/next/imgs/segment-tree-add.svg
@@ -0,0 +1,13 @@
+
\ No newline at end of file
diff --git a/next/imgs/segment-tree-build.png b/next/imgs/segment-tree-build.png
new file mode 100644
index 00000000..b304d510
Binary files /dev/null and b/next/imgs/segment-tree-build.png differ
diff --git a/next/imgs/segment-tree-lazytag.excalidraw b/next/imgs/segment-tree-lazytag.excalidraw
new file mode 100644
index 00000000..0f9ade40
--- /dev/null
+++ b/next/imgs/segment-tree-lazytag.excalidraw
@@ -0,0 +1,1562 @@
+{
+ "type": "excalidraw",
+ "version": 2,
+ "source": "https://excalidraw.com",
+ "elements": [
+ {
+ "type": "rectangle",
+ "version": 471,
+ "versionNonce": 1833326488,
+ "index": "b27",
+ "isDeleted": false,
+ "id": "PiONZwcQAxMH4pSwT5IE8",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1290.007480867303,
+ "y": 75.34124417061494,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1805093352,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "ikD2O9Cn9DsHJ6P-Vt_7i"
+ }
+ ],
+ "updated": 1727235888294,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 375,
+ "versionNonce": 849251816,
+ "index": "b28",
+ "isDeleted": false,
+ "id": "ikD2O9Cn9DsHJ6P-Vt_7i",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1305.253753367967,
+ "y": 80.34124417061494,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 99.31642150878906,
+ "height": 35,
+ "seed": 1591610600,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235888294,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-7(32)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "PiONZwcQAxMH4pSwT5IE8",
+ "originalText": "1-7(32)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 537,
+ "versionNonce": 291662056,
+ "index": "b29",
+ "isDeleted": false,
+ "id": "RxJB5Cs0Mao50aPkEjzSb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1182.4968031684896,
+ "y": 162.36451175587126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1281109992,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "D84HATB5_-8r8S8ti4l8q"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 434,
+ "versionNonce": 1710558184,
+ "index": "b2A",
+ "isDeleted": false,
+ "id": "D84HATB5_-8r8S8ti4l8q",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1207.0951111916143,
+ "y": 167.36451175587126,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.61235046386719,
+ "height": 35,
+ "seed": 1277031144,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "1-3(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "RxJB5Cs0Mao50aPkEjzSb",
+ "originalText": "1-3(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 850,
+ "versionNonce": 1356285080,
+ "index": "b2B",
+ "isDeleted": false,
+ "id": "B_PX8Cw486qYzNZhabGer",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1405.0064250586686,
+ "y": 158.58267498861096,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 347035112,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "RRY4NSFwuCubQUyKQq4Ep"
+ }
+ ],
+ "updated": 1727236481926,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 757,
+ "versionNonce": 867365272,
+ "index": "b2C",
+ "isDeleted": false,
+ "id": "RRY4NSFwuCubQUyKQq4Ep",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1417.592693897223,
+ "y": 163.58267498861096,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 104.63642883300781,
+ "height": 35,
+ "seed": 723278056,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727236481927,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-7(26)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "B_PX8Cw486qYzNZhabGer",
+ "originalText": "4-7(26)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 629,
+ "versionNonce": 2056434920,
+ "index": "b2D",
+ "isDeleted": false,
+ "id": "JvwNTrxNjnstheLcfm_4z",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1210.1324579613943,
+ "y": 245.67382874141964,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 317783016,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "id": "ZlW7Hl4d5tkyI98hsotOO",
+ "type": "text"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 533,
+ "versionNonce": 1530648552,
+ "index": "b2E",
+ "isDeleted": false,
+ "id": "ZlW7Hl4d5tkyI98hsotOO",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1230.516753838523,
+ "y": 250.67382874141964,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 89.04037475585938,
+ "height": 35,
+ "seed": 2117680872,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "2-3(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "JvwNTrxNjnstheLcfm_4z",
+ "originalText": "2-3(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 598,
+ "versionNonce": 818453224,
+ "index": "b2F",
+ "isDeleted": false,
+ "id": "Bsv8Yu2W6XU4PaSF6C0On",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1356.0586818838308,
+ "y": 245.38293865403824,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 2105614824,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "zulkRv0HWgHbecz1cGFZe"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 506,
+ "versionNonce": 1573191144,
+ "index": "b2G",
+ "isDeleted": false,
+ "id": "zulkRv0HWgHbecz1cGFZe",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1378.1789854513893,
+ "y": 250.38293865403824,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 85.568359375,
+ "height": 35,
+ "seed": 802465000,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "4-5(9)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "Bsv8Yu2W6XU4PaSF6C0On",
+ "originalText": "4-5(9)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 667,
+ "versionNonce": 322765032,
+ "index": "b2H",
+ "isDeleted": false,
+ "id": "qHkt6XxzimBwKqaWmomMQ",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1491.0032659459796,
+ "y": 247.45580023877352,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 129.80896651011676,
+ "height": 45,
+ "seed": 1925171176,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "6ab7osRmkblsZZ6q1TWp0"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 584,
+ "versionNonce": 12362728,
+ "index": "b2I",
+ "isDeleted": false,
+ "id": "6ab7osRmkblsZZ6q1TWp0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1507.0895424139287,
+ "y": 252.45580023877352,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 97.63641357421875,
+ "height": 35,
+ "seed": 307137256,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 28,
+ "fontFamily": 5,
+ "text": "6-7(13)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "qHkt6XxzimBwKqaWmomMQ",
+ "originalText": "6-7(13)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 708,
+ "versionNonce": 72345320,
+ "index": "b2J",
+ "isDeleted": false,
+ "id": "xC22On2d-sIwWgjhL5D5V",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1196.4586124913058,
+ "y": 321.89221183777175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 2030890472,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "H60uYO8NCL1SIDfhn00H3"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 623,
+ "versionNonce": 1518520808,
+ "index": "b2K",
+ "isDeleted": false,
+ "id": "H60uYO8NCL1SIDfhn00H3",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1204.3876637839176,
+ "y": 331.89221183777175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.859954833984375,
+ "height": 25,
+ "seed": 1611067624,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "2(2)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "xC22On2d-sIwWgjhL5D5V",
+ "originalText": "2(2)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 819,
+ "versionNonce": 1314999528,
+ "index": "b2L",
+ "isDeleted": false,
+ "id": "pa2pjkvBr52XTrg_Ye_O0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1281.5502689196005,
+ "y": 324.4737657283706,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 2127074280,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "2KVWfm3NqsCqU6h2NzI_c"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 738,
+ "versionNonce": 1769435112,
+ "index": "b2M",
+ "isDeleted": false,
+ "id": "2KVWfm3NqsCqU6h2NzI_c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1291.319316550103,
+ "y": 334.4737657283706,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.179962158203125,
+ "height": 25,
+ "seed": 996005608,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "3(3)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "pa2pjkvBr52XTrg_Ye_O0",
+ "originalText": "3(3)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 693,
+ "versionNonce": 600912616,
+ "index": "b2N",
+ "isDeleted": false,
+ "id": "0CpFyYooortuv7Dke7QVb",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1355.3843290142167,
+ "y": 325.7471087306785,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1515370984,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "49BMvGvDFOADtZX1BBmyp"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 613,
+ "versionNonce": 335189480,
+ "index": "b2O",
+ "isDeleted": false,
+ "id": "49BMvGvDFOADtZX1BBmyp",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1365.6133833585861,
+ "y": 335.7471087306785,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.25994873046875,
+ "height": 25,
+ "seed": 783498472,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "4(4)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "0CpFyYooortuv7Dke7QVb",
+ "originalText": "4(4)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 734,
+ "versionNonce": 520067304,
+ "index": "b2P",
+ "isDeleted": false,
+ "id": "90e8cBx3TtPs6gjKPh-bB",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1426.676115599915,
+ "y": 325.52883140531287,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1242259432,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "8m4-KyLuQCPQgm45Hnftd"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 652,
+ "versionNonce": 678181864,
+ "index": "b2Q",
+ "isDeleted": false,
+ "id": "8m4-KyLuQCPQgm45Hnftd",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1436.2451662821752,
+ "y": 335.52883140531287,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.5799560546875,
+ "height": 25,
+ "seed": 744956648,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "5(5)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "90e8cBx3TtPs6gjKPh-bB",
+ "originalText": "5(5)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 727,
+ "versionNonce": 1112309480,
+ "index": "b2R",
+ "isDeleted": false,
+ "id": "eyAnvo_rHQWmkwTV7rvmy",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1496.421136723489,
+ "y": 324.7286566902713,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1951565288,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "OA31mCIjlVwCerRPn2GlF"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 643,
+ "versionNonce": 1563189736,
+ "index": "b2S",
+ "isDeleted": false,
+ "id": "OA31mCIjlVwCerRPn2GlF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1506.050184964343,
+ "y": 334.7286566902713,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 41.4599609375,
+ "height": 25,
+ "seed": 249137384,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "6(6)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "eyAnvo_rHQWmkwTV7rvmy",
+ "originalText": "6(6)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "rectangle",
+ "version": 731,
+ "versionNonce": 2014831848,
+ "index": "b2T",
+ "isDeleted": false,
+ "id": "0Yw0-ziRNR1K0NC8j9HGu",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1566.166374940359,
+ "y": 322.4374900369175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 45,
+ "seed": 1736977384,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "s4o1aGXa0dCBPZT8We6-d"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 649,
+ "versionNonce": 1352337384,
+ "index": "b2U",
+ "isDeleted": false,
+ "id": "s4o1aGXa0dCBPZT8We6-d",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1576.9354225708614,
+ "y": 332.4374900369175,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 39.179962158203125,
+ "height": 25,
+ "seed": 409628392,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "7(7)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "0Yw0-ziRNR1K0NC8j9HGu",
+ "originalText": "7(7)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "type": "line",
+ "version": 219,
+ "versionNonce": 314690280,
+ "index": "b2V",
+ "isDeleted": false,
+ "id": "eQ1iYepFtSkz81AOiO-GF",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1351.9710533046298,
+ "y": 120.29616655089438,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 104.00378073487445,
+ "height": 41.601537541245136,
+ "seed": 437015016,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -104.00378073487445,
+ 41.601537541245136
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 217,
+ "versionNonce": 636051096,
+ "index": "b2W",
+ "isDeleted": false,
+ "id": "pqH5udo-b7qdG9QsOoKdM",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1348.1891527265516,
+ "y": 119.82341094485218,
+ "strokeColor": "#e03131",
+ "backgroundColor": "transparent",
+ "width": 118.65889794788131,
+ "height": 37.346845289559894,
+ "seed": 1937364200,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235893145,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 118.65889794788131,
+ 37.346845289559894
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 218,
+ "versionNonce": 1286222056,
+ "index": "b2X",
+ "isDeleted": false,
+ "id": "hWFQDVbMqJOCFnHsCDTLa",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1239.930553503515,
+ "y": 207.7539158512875,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 121.02265794431014,
+ "height": 36.40137014504029,
+ "seed": 1782511592,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -121.02265794431014,
+ 36.40137014504029
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 158,
+ "versionNonce": 1963185128,
+ "index": "b2Y",
+ "isDeleted": false,
+ "id": "XK0JkQMoXXKvq3kxQ9fxv",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1239.45785199882,
+ "y": 208.69942706337184,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.455858932955834,
+ "height": 34.983121360696146,
+ "seed": 845658856,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.455858932955834,
+ 34.983121360696146
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 164,
+ "versionNonce": 1211176680,
+ "index": "b2Z",
+ "isDeleted": false,
+ "id": "glXMQ3K29bdMZKoWmWkD-",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1271.6045118583927,
+ "y": 290.48428942908276,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 45.38352828823554,
+ "height": 30.728411075228507,
+ "seed": 511712744,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -45.38352828823554,
+ 30.728411075228507
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 189,
+ "versionNonce": 1790835176,
+ "index": "b2a",
+ "isDeleted": false,
+ "id": "PgSLVp0KR52r_TPe8DpL0",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1269.713489434224,
+ "y": 289.5387782169984,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 42.54703071954691,
+ "height": 33.0921350040922,
+ "seed": 1335107816,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 42.54703071954691,
+ 33.0921350040922
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 164,
+ "versionNonce": 263617768,
+ "index": "b2b",
+ "isDeleted": false,
+ "id": "2fifawMdeUNVV545LIkw9",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1470.1573218829458,
+ "y": 204.9175084515112,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 44.91075464841083,
+ "height": 39.7105151170764,
+ "seed": 1697629160,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -44.91075464841083,
+ 39.7105151170764
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 198,
+ "versionNonce": 682008552,
+ "index": "b2c",
+ "isDeleted": false,
+ "id": "B5NNLoRFEsjvM5z7VqRlS",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1473.466520956329,
+ "y": 203.97201527320925,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 80.83931508606179,
+ "height": 43.492505864066686,
+ "seed": 761202408,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 80.83931508606179,
+ 43.492505864066686
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 196,
+ "versionNonce": 362439400,
+ "index": "b2d",
+ "isDeleted": false,
+ "id": "Zxyl7erZ2W2eCjjP5T2Ma",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1420.9918208815025,
+ "y": 291.42976457360237,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 38.76505800633913,
+ "height": 31.201148647488253,
+ "seed": 1420683752,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -38.76505800633913,
+ 31.201148647488253
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 143,
+ "versionNonce": 1428014568,
+ "index": "b2e",
+ "isDeleted": false,
+ "id": "PfksJS0whRBrAWF5-JdKv",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1420.5191193768076,
+ "y": 291.42976457360237,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 35.92856043765073,
+ "height": 32.14665985957265,
+ "seed": 371748072,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 35.92856043765073,
+ 32.14665985957265
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 205,
+ "versionNonce": 876398824,
+ "index": "b2f",
+ "isDeleted": false,
+ "id": "4tufgYyd4C5VDsLW8NdSi",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1554.7786096822153,
+ "y": 292.37527578568677,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 27.419212001845153,
+ "height": 29.310198358449156,
+ "seed": 1801097192,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ -27.419212001845153,
+ 29.310198358449156
+ ]
+ ]
+ },
+ {
+ "type": "line",
+ "version": 174,
+ "versionNonce": 2122542056,
+ "index": "b2g",
+ "isDeleted": false,
+ "id": "qkbBn-oA-Eue5lzIwCp-r",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1557.6151072509037,
+ "y": 290.4842894290828,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 40.65600829537834,
+ "height": 30.72841107522845,
+ "seed": 1011897064,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 2
+ },
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "startBinding": null,
+ "endBinding": null,
+ "lastCommittedPoint": null,
+ "startArrowhead": null,
+ "endArrowhead": null,
+ "points": [
+ [
+ 0,
+ 0
+ ],
+ [
+ 40.65600829537834,
+ 30.72841107522845
+ ]
+ ]
+ },
+ {
+ "type": "rectangle",
+ "version": 740,
+ "versionNonce": 771600104,
+ "index": "b2h",
+ "isDeleted": false,
+ "id": "UJCrzLfoX3EOY8rmAb18c",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1082.4921898280868,
+ "y": 244.9180312332732,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 60.71805741920775,
+ "height": 35,
+ "seed": 261469672,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": {
+ "type": 3
+ },
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "jTB1aRTSrnHbBxy80uxZ5"
+ }
+ ],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false
+ },
+ {
+ "type": "text",
+ "version": 660,
+ "versionNonce": 456626664,
+ "index": "b2i",
+ "isDeleted": false,
+ "id": "jTB1aRTSrnHbBxy80uxZ5",
+ "fillStyle": "solid",
+ "strokeWidth": 2,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "angle": 0,
+ "x": 1095.8812325757767,
+ "y": 249.9180312332732,
+ "strokeColor": "#1e1e1e",
+ "backgroundColor": "transparent",
+ "width": 33.939971923828125,
+ "height": 25,
+ "seed": 976664808,
+ "groupIds": [],
+ "frameId": null,
+ "roundness": null,
+ "boundElements": [],
+ "updated": 1727235854302,
+ "link": null,
+ "locked": false,
+ "fontSize": 20,
+ "fontFamily": 5,
+ "text": "1(1)",
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "UJCrzLfoX3EOY8rmAb18c",
+ "originalText": "1(1)",
+ "autoResize": true,
+ "lineHeight": 1.25
+ },
+ {
+ "id": "shKPWkQyUrCe4zJo49PtX",
+ "type": "ellipse",
+ "x": 1504.967461190954,
+ "y": 114.81557803652066,
+ "width": 63.36993180210163,
+ "height": 64,
+ "angle": 0,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b2k",
+ "roundness": {
+ "type": 2
+ },
+ "seed": 2022768280,
+ "version": 658,
+ "versionNonce": 514259688,
+ "isDeleted": false,
+ "boundElements": [
+ {
+ "type": "text",
+ "id": "dBuSP6r7AQBQxgm_INE_V"
+ }
+ ],
+ "updated": 1727236509951,
+ "link": null,
+ "locked": false
+ },
+ {
+ "id": "dBuSP6r7AQBQxgm_INE_V",
+ "type": "text",
+ "x": 1523.4897085716877,
+ "y": 129.18816103855113,
+ "width": 26.516128540039062,
+ "height": 35,
+ "angle": 0,
+ "strokeColor": "#2f9e44",
+ "backgroundColor": "transparent",
+ "fillStyle": "solid",
+ "strokeWidth": 4,
+ "strokeStyle": "solid",
+ "roughness": 1,
+ "opacity": 100,
+ "groupIds": [],
+ "frameId": null,
+ "index": "b2l",
+ "roundness": null,
+ "seed": 1935923352,
+ "version": 339,
+ "versionNonce": 1087856104,
+ "isDeleted": false,
+ "boundElements": null,
+ "updated": 1727236509951,
+ "link": null,
+ "locked": false,
+ "text": "+1",
+ "fontSize": 28,
+ "fontFamily": 5,
+ "textAlign": "center",
+ "verticalAlign": "middle",
+ "containerId": "shKPWkQyUrCe4zJo49PtX",
+ "originalText": "+1",
+ "autoResize": true,
+ "lineHeight": 1.25
+ }
+ ],
+ "appState": {
+ "gridSize": 20,
+ "gridStep": 5,
+ "gridModeEnabled": false,
+ "viewBackgroundColor": "#ffffff"
+ },
+ "files": {}
+}
\ No newline at end of file
diff --git a/next/imgs/segment-tree-lazytag.svg b/next/imgs/segment-tree-lazytag.svg
new file mode 100644
index 00000000..44c729b6
--- /dev/null
+++ b/next/imgs/segment-tree-lazytag.svg
@@ -0,0 +1,13 @@
+
\ No newline at end of file
diff --git a/next/imgs/segment-tree-query.png b/next/imgs/segment-tree-query.png
new file mode 100644
index 00000000..7b381ea0
Binary files /dev/null and b/next/imgs/segment-tree-query.png differ
diff --git a/next/tutorial/example/index.md b/next/tutorial/example/index.md
index 1fc7b435..561e569f 100644
--- a/next/tutorial/example/index.md
+++ b/next/tutorial/example/index.md
@@ -7,4 +7,6 @@ Here are some examples built with MoonBit.
:caption: Contents:
sudoku/index
lambda/index
-gmachine/index
\ No newline at end of file
+gmachine/index
+myers-diff/index
+segment-tree/index
\ No newline at end of file
diff --git a/next/tutorial/example/myers-diff/index.md b/next/tutorial/example/myers-diff/index.md
index fda435d9..ff929a45 100644
--- a/next/tutorial/example/myers-diff/index.md
+++ b/next/tutorial/example/myers-diff/index.md
@@ -1,4 +1,4 @@
-# Myers diff
+# Myers Diff
```{toctree}
:maxdepth: 2
diff --git a/next/tutorial/example/segment-tree/index.md b/next/tutorial/example/segment-tree/index.md
new file mode 100644
index 00000000..91b1aca6
--- /dev/null
+++ b/next/tutorial/example/segment-tree/index.md
@@ -0,0 +1,7 @@
+# Segment Tree
+
+```{toctree}
+:maxdepth: 2
+:caption: Contents:
+segment-tree
+segment-tree2
\ No newline at end of file
diff --git a/next/tutorial/example/segment-tree/segment-tree.md b/next/tutorial/example/segment-tree/segment-tree.md
new file mode 100644
index 00000000..aec57e6d
--- /dev/null
+++ b/next/tutorial/example/segment-tree/segment-tree.md
@@ -0,0 +1,183 @@
+# Segment Trees (Part 1)
+
+## Introduction
+
+The Segment Tree is a common data structure used to solve various range modification and query problems. For instance, consider the following problem:
+
+- Given a known-length array of numbers with initial values, we need to perform multiple range addition operations (adding a value to all elements in a range) and range sum operations (calculating the sum of elements in a range).
+
+Using a standard array, assuming the length og this array is N, each modification and query would take O(N) time. However, after constructing a Segment Tree in O(log N) time, both operations can be performed in O(log N), highlighting the importance of Segment Trees for range queries.
+
+This example illustrates just one simple problem that Segment Trees can address. They can handle much more complex and interesting scenarios. In the upcoming articles, we will explore the concept of Segment Trees and how to implement them in MoonBit, ultimately creating a tree that supports range addition and multiplication, enables range sum queries, and has immutable properties.
+
+In this section, we will learn the basic principles of Segment Trees and how to write a simple Segment Tree in MoonBit that supports point modifications and queries.
+
+## What is a Segment Tree?
+
+This section focuses on concepts and theory. If you're already familiar with Segment Trees and their principles, feel free to skip to the next section.
+
+As mentioned in the introduction, Segment Trees address a class of range problems, but what do they look like, and what is the principle behind their excellent complexity?
+
+Let's consider a linear sequence of numbers as an example. If we want to build a Segment Tree from it, it will look like this:
+
+
+
+We can see that we recursively divide the linear sequence into two equal parts (with one side having an extra element if the length is odd) until we reach segments of length one. During this process, we compute the sum of each segment (shown in parentheses), thereby creating a Segment Tree that supports range sum queries from a linear sequence.
+
+So, how does it work when querying a range sum? Let's take the example of querying the sum from index 1 to 6:
+
+
+
+The highlighted parts in the diagram sum up to the total for the range 1-6, and we didn't have to consider all elements; we simply selected the minimum number of segments needed to obtain our result and combined them. We can traverse the Segment Tree from top to bottom to determine the intersections and containment relationships between segments to select the appropriate ranges.
+
+Specifically:
+
+- First, we check the relationship between the ranges 1-7 and 1-6. The latter is a subset of the former, so the data from 1-7 cannot be used in our calculation, and we proceed to explore its two child nodes.
+- Next, we check the relationship between 1-3 and 1-6. The former is a subset of the latter, contributing to our result.
+- Then, we examine the relationship between 4-7 and 1-6, which overlap, requiring us to explore both child nodes further.
+- We repeat this process...
+
+Based on binary decomposition, we will query at most Log N segments for any range of length N, ensuring guaranteed complexity.
+
+This section only discusses the query operation; we will elaborate on the principles and implementation of modification operations in the next section.
+
+## Implementation
+
+### Basic Definition
+
+We use a classic approach to represent the Segment Tree:
+
+```moonbit
+enum Node {
+ Nil,
+ Node(Int, Node, Node)
+} derive(Show)
+```
+
+Here, `Nil` represents an empty tree, while a `Node` contains the stored data (of type Int) and its left and right children.
+
+Additionally, we derive the Show Trait for easy debugging by outputting the tree structure when needed.
+
+### Building the Tree
+
+Building the tree refers to the process of abstracting a linear sequence into a Segment Tree, commonly referred to as `build`.
+
+To start, we should write an overloaded `op_add` function for the `Node` type to assist with the tree-building process:
+
+```moonbit
+fn op_add(self : Node, v : Node) -> Node {
+ match (self, v) {
+ (Node(left, _, _), Node(right, _, _)) => Node(left + right, self, v)
+ (Node(_), Nil) => self
+ (Nil, Node(_)) => v
+ (Nil, Nil) => Nil
+ }
+}
+```
+
+With this operation defined, we can easily merge two `Node` instances while maintaining the segment sums, laying the foundation for building the tree. In some descriptions of Segment Trees, this process is also called `pushup`.
+
+We can leverage MoonBit's `ArrayView` feature (known as `slice` in some languages) to recursively build the tree from a segment of a linear structure at a low cost, achieving O(Log N) complexity:
+
+```moonbit
+fn build(data : ArrayView[Int]) -> Node {
+ if data.length() == 1 {
+ Node(data[0], Nil, Nil)
+ } else {
+ let mid = (data.length() + 1) >> 1
+ build(data[0:mid]) + build(data[mid:])
+ }
+}
+```
+
+Let’s analyze this code:
+
+- If the current length is 1, the segment does not need further subdivision, so we return a leaf node with empty left and right branches.
+- Otherwise, we split the segment at the midpoint and recursively build the left and right segments, then merge the results.
+
+This code is concise, highly readable, and optimization-friendly, serving as a great learning paradigm for other data structures.
+
+Now, let's build a tree and output it:
+
+```moonbit
+fn main {
+ let tree = build([1, 2, 3, 4, 5][:])
+ println(tree)
+}
+```
+
+The output will be:
+
+```bash
+Node(15, Node(6, Node(3, Node(1, Nil, Nil), Node(2, Nil, Nil)), Node(3, Nil, Nil)), Node(9, Node(4, Nil, Nil), Node(5, Nil, Nil)))
+```
+
+Great! We've successfully built the tree!
+
+### Querying
+
+Next, we need to implement the query function. Since the nodes of our Segment Tree maintain segment sums, we can write a `query` function to retrieve these sums:
+
+```moonbit
+let empty_node : Node = Node(0, Nil, Nil)
+
+fn query(self : Node, l : Int, r : Int, query_l : Int, query_r : Int) -> Node {
+ if query_l > r || l > query_r {
+ empty_node
+ } else if query_l <= l && query_r >= r {
+ self
+ } else {
+ let Node(_, left, right) = self
+ let mid = (l + r) >> 1
+ left.query(l, mid, query_l, query_r) +
+ right.query(mid + 1, r, query_l, query_r)
+ }
+}
+```
+
+Here, `l` and `r` represent the currently queried range, while `query_l` and `query_r` denote the range we need to query. Let's break down this implementation:
+
+- If the queried range does not overlap with the current range, it contributes nothing to the result. We define an `empty_node` to represent a zero-contribution node and return it.
+- If the current range is a subset of the queried range, it fully contributes to the result, so we return it directly.
+- If the current range overlaps with the queried range, we continue searching downwards to find the exact covering ranges, merging the results of the left and right nodes.
+
+### Q&A
+
+- **Q:** Why use `Node` as the return value? Can't I destructure and sum the values directly?
+- **A:** We have defined an addition operation for `Node`. Consider a scenario where we need to maintain not just the sum but also the minimum value of a range. In that case, we can modify the `op_add` logic to maintain the minimum while the `query` function remains unaffected. It ultimately returns a `Node` that can contain all necessary information, so let's stick with using `Node`!
+
+- **Q:** Shouldn't the `empty_node` change in this case?
+- **A:** Yes, the `empty_node` ensures that it doesn’t affect the result when added to any other `Node`. It's a zero-contribution node, akin to how 0 contributes nothing in sum operations. For minimum value maintenance, it can represent a value that won't affect the outcome, making the process flexible!
+
+Now, let's test the query process:
+
+```moonbit
+fn main {
+ let tree = build([1, 2, 3, 4, 5][:])
+ let sum = match tree.query(1, 5, 1, 3) {
+ Node(sum, _, _) => sum
+ _ => panic()
+ }
+ println(sum)
+}
+```
+
+The output will be:
+
+```bash
+6
+```
+
+Fantastic! We've obtained the correct output!
+
+### Code
+
+For the complete code, please check the [GitHub repository](https://github.com/moonbit-community/MoonBit-SegmentTree/blob/main/1/main.mbt).
+
+## Conclusion
+
+Today, we learned how to build and query a simple Segment Tree. In the next lesson, we will explore more complex principles and implementations of Segment Trees. Interested readers can solidify their knowledge and expand on it by implementing the following:
+
+- Try implementing a Segment Tree that maintains multiple pieces of information (e.g., range sum, maximum, and minimum).
+- Understand how to implement point query/modification operations for Segment Trees.
+- Explore range modification operations for Segment Trees and related Lazy Tags.
diff --git a/next/tutorial/example/segment-tree/segment-tree2.md b/next/tutorial/example/segment-tree/segment-tree2.md
new file mode 100644
index 00000000..4121c93b
--- /dev/null
+++ b/next/tutorial/example/segment-tree/segment-tree2.md
@@ -0,0 +1,200 @@
+# Segment Trees (Part 2)
+
+## Introduction
+
+In the previous article, we discussed the basic implementation of a segment tree. That tree only allowed range queries (single-point modifications and queries were also possible), but it couldn't handle range modifications, such as adding a value to all elements in a given range.
+
+In this session, we will deepen the abstraction by introducing the concept of **LazyTag** to handle range modifications, creating a more functional segment tree.
+
+## How to Implement Range Modifications?
+
+First, let's imagine what happens if we add a number to all elements in a range on the segment tree. How would we do this using a straightforward approach?
+
+
+
+Take the segment tree from the last lesson as an example. In the figure below, we add 1 to the range [4, 7]. You'll notice that we need to rebuild and maintain all parts of the tree that cover this range, which is too costly.
+
+Is there a better way? Of course! We can use **LazyTag**.
+
+
+
+Consider that instead of modifying every affected part, we mark the smallest covering range with a "+1" tag. Based on the length of the range, we calculate its value and merge it upward. Following the complexity of querying from the last lesson, this operation would be O(log N).
+
+However, there's a problem. While querying ranges like [1, 7] or [4, 7] works fine, what if we query [4, 6]? The minimal covering ranges are [4, 5] and [6, 6], not [4, 7], so our tag doesn't propagate to lower nodes.
+
+Here’s where the **Lazy** aspect of LazyTag comes into play.
+
+
+
+We define that when querying a node with a tag, the tag is distributed to its child nodes. These child nodes inherit the tag and compute their values based on their length. The following diagram shows the propagation of the tag downward when querying [4, 6].
+
+This "lazy propagation" ensures that each modification is completed in \(O(\log N)\), while ensuring correct query results.
+
+**Note:** Some may wonder about overlapping tags. However, additive tags like these merge seamlessly without affecting the total sum of a node.
+
+Let’s dive into the code!
+
+## Implementation
+
+### Before We Begin
+
+In the last lesson, when using the `let` to destructure `Node`, we could be sure that the enum being destructured wasn’t `Nil`. However, the compiler couldn't guarantee this, so we received a warning for using:
+
+```moonbit
+let Node(x, y) = z
+```
+
+Although it didn’t affect execution, it was somewhat misleading. With MoonBit’s newly introduced `guard` statement, we can now handle this better using:
+
+```moonbit
+guard let Node(x, y) = z
+```
+
+### Basic Definitions
+
+In the previous code, we defined the segment tree using `enum`. However, none of the elements were clearly named, which was manageable when the data size was small. Now, we need to add **Tag** and **Length** attributes, so it makes sense to use labeled arguments in the `enum` definition:
+
+```moonbit
+enum Data {
+ Data(~sum: Int, ~len: Int)
+} derive(Show)
+
+enum LazyTag {
+ Nil
+ Tag(Int)
+} derive(Show)
+
+enum Node {
+ Nil
+ Node(~data: Data, ~tag: LazyTag, ~left: Node, ~right: Node)
+} derive(Show)
+```
+
+This allows for clearer initialization and pattern matching, making the code easier to follow. We've also abstracted the `Data` type, adding a `len` attribute to represent the length of the current range, which is useful for calculating the node's value.
+
+### Tree Construction
+
+Similar to the last lesson, before building the tree, we need to define the addition operations between `Node` types. However, since we’ve abstracted `Data`, we must account for its addition too:
+
+```moonbit
+fn op_add(self: Data, v: Data) -> Data {
+ match (self, v) {
+ (Data(sum=a, len=len_a), Data(sum=b, len=len_b)) =>
+ Data(sum=a + b, len=len_a + len_b)
+ }
+}
+
+fn op_add(self: Node, v: Node) -> Node {
+ match (self, v) {
+ (Node(data=l, ..), Node(data=r, ..)) =>
+ Node(data=l + r, tag=Nil, left=self, right=v)
+ (Node(_), Nil) => self
+ (Nil, Node(_)) => v
+ (Nil, Nil) => Nil
+ }
+}
+```
+
+Here, we’ve ignored merging LazyTags for now and set the resulting tag to `Nil` because once a node is reached, its parent’s LazyTag no longer applies.
+
+Now, we can implement the tree-building function:
+
+```moonbit
+fn build(data: ArrayView[Int]) -> Node {
+ if data.length() == 1 {
+ Node(data=Data(sum=data[0], len=1), tag=Nil, left=Nil, right=Nil)
+ } else {
+ let mid = (data.length() + 1) >> 1
+ build(data[0:mid]) + build(data[mid:])
+ }
+}
+```
+
+### LazyTag and Range Modifications
+
+A node receiving a LazyTag is handled by the `apply` function. The key logic here is how the tag is merged and how the value is computed based on the node’s length:
+
+```moonbit
+fn op_add(self: LazyTag, v: LazyTag) -> LazyTag {
+ match (self, v) {
+ (Tag(a), Tag(b)) => Tag(a + b)
+ (Nil, t) | (t, Nil) => t
+ }
+}
+
+fn apply(self: Node, v: LazyTag) -> Node {
+ match (self, v) {
+ (Node(data=Data(sum=a, len=length), ~tag, ~left, ~right), Tag(v) as new_tag) =>
+ Node(
+ data=Data(sum=a + v * length, len=length),
+ tag=tag + new_tag,
+ ~left,
+ ~right,
+ )
+ (_, Nil) => self
+ (Nil, _) => Nil
+ }
+}
+```
+
+This code allows a node to compute its value based on its range length and the applied LazyTag. It also merges existing tags correctly.
+
+Next, we implement range modifications:
+
+```moonbit
+fn modify(
+ self: Node,
+ l: Int,
+ r: Int,
+ modify_l: Int,
+ modify_r: Int,
+ tag: LazyTag
+) -> Node {
+ if modify_l > r || l > modify_r {
+ self
+ } else if modify_l <= l && modify_r >= r {
+ self.apply(tag)
+ } else {
+ guard let Node(~left, ~right, ..) = self
+ left.apply(tag) + right.apply(tag)
+ }
+}
+```
+
+The logic is similar to the query function from the previous lesson, but now each relevant node applies the necessary LazyTag for the modification.
+
+Interestingly, even with range modifications, this segment tree remains persistent (immutable). The `modify` function returns a new tree without altering the original, reflecting the recursive and functional nature of the code. Since MoonBit uses garbage collection, there’s no need for explicit pointers, unlike in Rust.
+
+### Queries
+
+For queries, we need to remember to push the LazyTag downwards:
+
+```moonbit
+let empty_node: Node = Node(
+ data=Data(sum=0, len=0),
+ tag=Nil,
+ left=Nil,
+ right=Nil,
+)
+
+fn query(self: Node, l: Int, r: Int, query_l: Int, query_r: Int) -> Node {
+ if query_l > r || l > query_r {
+ empty_node
+ } else if query_l <= l && query_r >= r {
+ self
+ } else {
+ guard let Node(~tag, ~left, ~right, ..) = self
+ let mid = (l + r) >> 1
+ left.apply(tag).query(l, mid, query_l, query_r) +
+ right.apply(tag).query(mid + 1, r, query_l, query_r)
+ }
+}
+```
+
+## Conclusion
+
+With this, we have a segment tree that supports range modifications and is much more functional!
+
+In the next lesson, we’ll add multiplication support to the segment tree and explore some use cases for immutable segment trees. Stay tuned!
+
+Full code is available [here](https://github.com/moonbit-community/MoonBit-SegmentTree/blob/main/2/main.mbt).