# Excalidraw Data ## Text Elements 4-way symmetry-augmented inference ^elem0001 Scramble σ ^elem0003 g₁·σ ^elem0005 m05 + beam ^elem0007 g₁⁻¹ ^elem0009 g₂·σ ^elem0013 m05 + beam ^elem0015 g₂⁻¹ ^elem0017 g₃·σ ^elem0021 m05 + beam ^elem0023 g₃⁻¹ ^elem0025 g₄·σ ^elem0029 m05 + beam ^elem0031 g₄⁻¹ ^elem0033 min-merge ^elem0037 shortest path ^elem0039 Same single m05 V-heuristic shared across all four branches ^elem0049 %% ## Drawing ```json { "type": "excalidraw", "version": 2, "source": "https://github.com/zsviczian/obsidian-excalidraw-plugin", "elements": [ { "id": "elem0001", "type": "text", "x": 380, "y": 25, "width": 411, "height": 27, "strokeColor": "#1e1e1e", "fontSize": 22, "fontFamily": 5, "text": "4-way symmetry-augmented inference", "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "4-way symmetry-augmented inference", "lineHeight": 1.25, "baseline": 19, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000001, "version": 1, "versionNonce": 2000001, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0002", "type": "ellipse", "x": 80, "y": 240, "width": 140, "height": 70, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000002, "version": 1, "versionNonce": 2000002, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0003" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#e7f5ff" }, { "id": "elem0003", "type": "text", "x": 100.5, "y": 266.0, "width": 99, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "Scramble \u03c3", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0002", "originalText": "Scramble \u03c3", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000003, "version": 1, "versionNonce": 2000003, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0004", "type": "rectangle", "x": 290, "y": 105, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000004, "version": 1, "versionNonce": 2000004, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0005" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0005", "type": "text", "x": 317.4, "y": 122.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2081\u00b7\u03c3", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0004", "originalText": "g\u2081\u00b7\u03c3", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000005, "version": 1, "versionNonce": 2000005, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0006", "type": "rectangle", "x": 410, "y": 105, "width": 160, "height": 50, "strokeColor": "#7048e8", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000006, "version": 1, "versionNonce": 2000006, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0007" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#d0bfff" }, { "id": "elem0007", "type": "text", "x": 446.0, "y": 122.0, "width": 88, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "m05 + beam", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0006", "originalText": "m05 + beam", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000007, "version": 1, "versionNonce": 2000007, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0008", "type": "rectangle", "x": 600, "y": 105, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000008, "version": 1, "versionNonce": 2000008, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0009" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0009", "type": "text", "x": 627.4, "y": 122.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2081\u207b\u00b9", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0008", "originalText": "g\u2081\u207b\u00b9", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000009, "version": 1, "versionNonce": 2000009, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0010", "type": "arrow", "x": 380, "y": 130, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000010, "version": 1, "versionNonce": 2000010, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0011", "type": "arrow", "x": 570, "y": 130, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000011, "version": 1, "versionNonce": 2000011, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0012", "type": "rectangle", "x": 290, "y": 195, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000012, "version": 1, "versionNonce": 2000012, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0013" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0013", "type": "text", "x": 317.4, "y": 212.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2082\u00b7\u03c3", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0012", "originalText": "g\u2082\u00b7\u03c3", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000013, "version": 1, "versionNonce": 2000013, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0014", "type": "rectangle", "x": 410, "y": 195, "width": 160, "height": 50, "strokeColor": "#7048e8", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000014, "version": 1, "versionNonce": 2000014, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0015" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#d0bfff" }, { "id": "elem0015", "type": "text", "x": 446.0, "y": 212.0, "width": 88, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "m05 + beam", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0014", "originalText": "m05 + beam", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000015, "version": 1, "versionNonce": 2000015, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0016", "type": "rectangle", "x": 600, "y": 195, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000016, "version": 1, "versionNonce": 2000016, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0017" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0017", "type": "text", "x": 627.4, "y": 212.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2082\u207b\u00b9", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0016", "originalText": "g\u2082\u207b\u00b9", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000017, "version": 1, "versionNonce": 2000017, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0018", "type": "arrow", "x": 380, "y": 220, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000018, "version": 1, "versionNonce": 2000018, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0019", "type": "arrow", "x": 570, "y": 220, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000019, "version": 1, "versionNonce": 2000019, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0020", "type": "rectangle", "x": 290, "y": 285, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000020, "version": 1, "versionNonce": 2000020, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0021" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0021", "type": "text", "x": 317.4, "y": 302.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2083\u00b7\u03c3", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0020", "originalText": "g\u2083\u00b7\u03c3", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000021, "version": 1, "versionNonce": 2000021, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0022", "type": "rectangle", "x": 410, "y": 285, "width": 160, "height": 50, "strokeColor": "#7048e8", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000022, "version": 1, "versionNonce": 2000022, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0023" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#d0bfff" }, { "id": "elem0023", "type": "text", "x": 446.0, "y": 302.0, "width": 88, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "m05 + beam", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0022", "originalText": "m05 + beam", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000023, "version": 1, "versionNonce": 2000023, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0024", "type": "rectangle", "x": 600, "y": 285, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000024, "version": 1, "versionNonce": 2000024, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0025" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0025", "type": "text", "x": 627.4, "y": 302.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2083\u207b\u00b9", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0024", "originalText": "g\u2083\u207b\u00b9", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000025, "version": 1, "versionNonce": 2000025, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0026", "type": "arrow", "x": 380, "y": 310, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000026, "version": 1, "versionNonce": 2000026, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0027", "type": "arrow", "x": 570, "y": 310, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000027, "version": 1, "versionNonce": 2000027, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0028", "type": "rectangle", "x": 290, "y": 375, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000028, "version": 1, "versionNonce": 2000028, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0029" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0029", "type": "text", "x": 317.4, "y": 392.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2084\u00b7\u03c3", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0028", "originalText": "g\u2084\u00b7\u03c3", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000029, "version": 1, "versionNonce": 2000029, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0030", "type": "rectangle", "x": 410, "y": 375, "width": 160, "height": 50, "strokeColor": "#7048e8", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000030, "version": 1, "versionNonce": 2000030, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0031" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#d0bfff" }, { "id": "elem0031", "type": "text", "x": 446.0, "y": 392.0, "width": 88, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "m05 + beam", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0030", "originalText": "m05 + beam", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000031, "version": 1, "versionNonce": 2000031, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0032", "type": "rectangle", "x": 600, "y": 375, "width": 90, "height": 50, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000032, "version": 1, "versionNonce": 2000032, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0033" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0033", "type": "text", "x": 627.4, "y": 392.0, "width": 35, "height": 20, "strokeColor": "#1e1e1e", "fontSize": 16, "fontFamily": 5, "text": "g\u2084\u207b\u00b9", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0032", "originalText": "g\u2084\u207b\u00b9", "lineHeight": 1.25, "baseline": 14, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000033, "version": 1, "versionNonce": 2000033, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0034", "type": "arrow", "x": 380, "y": 400, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000034, "version": 1, "versionNonce": 2000034, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0035", "type": "arrow", "x": 570, "y": 400, "width": 30, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 30, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000035, "version": 1, "versionNonce": 2000035, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0036", "type": "rectangle", "x": 730, "y": 215, "width": 160, "height": 140, "strokeColor": "#c92a2a", "angle": 0, "strokeWidth": 3, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000036, "version": 1, "versionNonce": 2000036, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0037" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffa8a8" }, { "id": "elem0037", "type": "text", "x": 765.45, "y": 276.0, "width": 89, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "min-merge", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0036", "originalText": "min-merge", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000037, "version": 1, "versionNonce": 2000037, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0038", "type": "ellipse", "x": 930, "y": 250, "width": 170, "height": 70, "strokeColor": "#2f9e44", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000038, "version": 1, "versionNonce": 2000038, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0039" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#b2f2bb" }, { "id": "elem0039", "type": "text", "x": 950.65, "y": 276.0, "width": 128, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "shortest path", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0038", "originalText": "shortest path", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000039, "version": 1, "versionNonce": 2000039, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0040", "type": "arrow", "x": 220, "y": 130, "width": 70, "height": 145.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 145.0 ], [ 35, 145.0 ], [ 35, 0 ], [ 70, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000040, "version": 1, "versionNonce": 2000040, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0041", "type": "arrow", "x": 220, "y": 220, "width": 70, "height": 55.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 55.0 ], [ 35, 55.0 ], [ 35, 0 ], [ 70, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000041, "version": 1, "versionNonce": 2000041, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0042", "type": "arrow", "x": 220, "y": 275.0, "width": 70, "height": 35.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 0.0 ], [ 35, 0.0 ], [ 35, 35.0 ], [ 70, 35.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000042, "version": 1, "versionNonce": 2000042, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0043", "type": "arrow", "x": 220, "y": 275.0, "width": 70, "height": 125.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 0.0 ], [ 35, 0.0 ], [ 35, 125.0 ], [ 70, 125.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000043, "version": 1, "versionNonce": 2000043, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0044", "type": "arrow", "x": 690, "y": 130, "width": 40, "height": 155.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 20, 0 ], [ 20, 155.0 ], [ 40, 155.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000044, "version": 1, "versionNonce": 2000044, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0045", "type": "arrow", "x": 690, "y": 220, "width": 40, "height": 65.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 0 ], [ 20, 0 ], [ 20, 65.0 ], [ 40, 65.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000045, "version": 1, "versionNonce": 2000045, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0046", "type": "arrow", "x": 690, "y": 285.0, "width": 40, "height": 25.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 25.0 ], [ 20, 25.0 ], [ 20, 0.0 ], [ 40, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000046, "version": 1, "versionNonce": 2000046, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0047", "type": "arrow", "x": 690, "y": 285.0, "width": 40, "height": 115.0, "strokeColor": "#1e1e1e", "points": [ [ 0, 115.0 ], [ 20, 115.0 ], [ 20, 0.0 ], [ 40, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 0, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000047, "version": 1, "versionNonce": 2000047, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent", "elbowed": true }, { "id": "elem0048", "type": "arrow", "x": 890, "y": 285.0, "width": 40, "height": 1, "strokeColor": "#1e1e1e", "points": [ [ 0, 0.0 ], [ 40, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000048, "version": 1, "versionNonce": 2000048, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0049", "type": "text", "x": 280, "y": 460, "width": 486, "height": 18, "strokeColor": "#555555", "fontSize": 15, "fontFamily": 5, "text": "Same single m05 V-heuristic shared across all four branches", "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Same single m05 V-heuristic shared across all four branches", "lineHeight": 1.25, "baseline": 13, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000049, "version": 1, "versionNonce": 2000049, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" } ], "appState": { "viewBackgroundColor": "#ffffff", "currentItemFontFamily": 5, "gridSize": null }, "files": {} } ``` %%