# Excalidraw Data ## Text Elements Three SA operators acting on a beam-search path ^elem0001 commuting_swap ^elem0002 before: ^elem0003 R ^elem0005 U ^elem0007 F ^elem0009 L ^elem0011 D ^elem0013 B ^elem0015 R' ^elem0017 U' ^elem0019 after: ^elem0020 R ^elem0022 F ^elem0024 U ^elem0026 L ^elem0028 D ^elem0030 B ^elem0032 R' ^elem0034 U' ^elem0036 swap two adjacent commuting moves ^elem0037 tail_resolve ^elem0038 before: ^elem0039 R ^elem0041 U ^elem0043 F ^elem0045 L ^elem0047 D ^elem0049 B ^elem0051 R' ^elem0053 U' ^elem0055 after: ^elem0056 R ^elem0058 U ^elem0060 F ^elem0062 L ^elem0064 B' ^elem0066 F ^elem0068 re-search last K=4 moves at wider beam ^elem0069 macro_insert ^elem0070 before: ^elem0071 R ^elem0073 U ^elem0075 F ^elem0077 L ^elem0079 D ^elem0081 B ^elem0083 R' ^elem0085 U' ^elem0087 after: ^elem0088 R ^elem0090 U ^elem0092 F ^elem0094 M₁ ^elem0096 M₂ ^elem0098 R' ^elem0100 U' ^elem0102 insert known short macro; may shorten the path ^elem0103 Yellow: segments the operator targets. Orange: new moves introduced by the operator. ^elem0104 %% ## Drawing ```json { "type": "excalidraw", "version": 2, "source": "https://github.com/zsviczian/obsidian-excalidraw-plugin", "elements": [ { "id": "elem0001", "type": "text", "x": 220, "y": 25, "width": 568, "height": 27, "strokeColor": "#1e1e1e", "fontSize": 22, "fontFamily": 5, "text": "Three SA operators acting on a beam-search path", "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Three SA operators acting on a beam-search path", "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": "text", "x": 80, "y": 90, "width": 138, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "commuting_swap", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "commuting_swap", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000002, "version": 1, "versionNonce": 2000002, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0003", "type": "text", "x": 80, "y": 128, "width": 53, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "before:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "before:", "lineHeight": 1.25, "baseline": 12, "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": 240, "y": 120, "width": 38, "height": 38, "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": 255.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0004", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "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": 282, "y": 120, "width": 38, "height": 38, "strokeColor": "#1971c2", "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": "#a5d8ff" }, { "id": "elem0007", "type": "text", "x": 297.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0006", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "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": 324, "y": 120, "width": 38, "height": 38, "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": 339.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0008", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "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": "rectangle", "x": 366, "y": 120, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000010, "version": 1, "versionNonce": 2000010, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0011" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0011", "type": "text", "x": 381.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "L", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0010", "originalText": "L", "lineHeight": 1.25, "baseline": 12, "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": 408, "y": 120, "width": 38, "height": 38, "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": 423.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "D", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0012", "originalText": "D", "lineHeight": 1.25, "baseline": 12, "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": 450, "y": 120, "width": 38, "height": 38, "strokeColor": "#1971c2", "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": "#a5d8ff" }, { "id": "elem0015", "type": "text", "x": 465.15, "y": 132.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "B", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0014", "originalText": "B", "lineHeight": 1.25, "baseline": 12, "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": 492, "y": 120, "width": 38, "height": 38, "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": 503.3, "y": 132.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0016", "originalText": "R'", "lineHeight": 1.25, "baseline": 12, "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": "rectangle", "x": 534, "y": 120, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000018, "version": 1, "versionNonce": 2000018, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0019" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0019", "type": "text", "x": 545.3, "y": 132.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0018", "originalText": "U'", "lineHeight": 1.25, "baseline": 12, "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": "text", "x": 80, "y": 200, "width": 46, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "after:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "after:", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000020, "version": 1, "versionNonce": 2000020, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0021", "type": "rectangle", "x": 240, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000021, "version": 1, "versionNonce": 2000021, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0022" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0022", "type": "text", "x": 255.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0021", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000022, "version": 1, "versionNonce": 2000022, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0023", "type": "rectangle", "x": 282, "y": 190, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000023, "version": 1, "versionNonce": 2000023, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0024" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0024", "type": "text", "x": 297.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0023", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000024, "version": 1, "versionNonce": 2000024, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0025", "type": "rectangle", "x": 324, "y": 190, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000025, "version": 1, "versionNonce": 2000025, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0026" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0026", "type": "text", "x": 339.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0025", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "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": "rectangle", "x": 366, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000027, "version": 1, "versionNonce": 2000027, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0028" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0028", "type": "text", "x": 381.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "L", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0027", "originalText": "L", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000028, "version": 1, "versionNonce": 2000028, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0029", "type": "rectangle", "x": 408, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000029, "version": 1, "versionNonce": 2000029, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0030" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0030", "type": "text", "x": 423.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "D", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0029", "originalText": "D", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000030, "version": 1, "versionNonce": 2000030, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0031", "type": "rectangle", "x": 450, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000031, "version": 1, "versionNonce": 2000031, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0032" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0032", "type": "text", "x": 465.15, "y": 202.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "B", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0031", "originalText": "B", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000032, "version": 1, "versionNonce": 2000032, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0033", "type": "rectangle", "x": 492, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000033, "version": 1, "versionNonce": 2000033, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0034" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0034", "type": "text", "x": 503.3, "y": 202.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0033", "originalText": "R'", "lineHeight": 1.25, "baseline": 12, "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": "rectangle", "x": 534, "y": 190, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000035, "version": 1, "versionNonce": 2000035, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0036" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0036", "type": "text", "x": 545.3, "y": 202.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0035", "originalText": "U'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000036, "version": 1, "versionNonce": 2000036, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0037", "type": "text", "x": 606, "y": 160, "width": 235, "height": 16, "strokeColor": "#555555", "fontSize": 13, "fontFamily": 5, "text": "swap two adjacent commuting moves", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "swap two adjacent commuting moves", "lineHeight": 1.25, "baseline": 11, "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": "text", "x": 80, "y": 250, "width": 118, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "tail_resolve", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "tail_resolve", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000038, "version": 1, "versionNonce": 2000038, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0039", "type": "text", "x": 80, "y": 288, "width": 53, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "before:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "before:", "lineHeight": 1.25, "baseline": 12, "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": "rectangle", "x": 240, "y": 280, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000040, "version": 1, "versionNonce": 2000040, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0041" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0041", "type": "text", "x": 255.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0040", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "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" }, { "id": "elem0042", "type": "rectangle", "x": 282, "y": 280, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000042, "version": 1, "versionNonce": 2000042, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0043" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0043", "type": "text", "x": 297.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0042", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "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" }, { "id": "elem0044", "type": "rectangle", "x": 324, "y": 280, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000044, "version": 1, "versionNonce": 2000044, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0045" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0045", "type": "text", "x": 339.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0044", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "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" }, { "id": "elem0046", "type": "rectangle", "x": 366, "y": 280, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000046, "version": 1, "versionNonce": 2000046, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0047" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0047", "type": "text", "x": 381.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "L", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0046", "originalText": "L", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "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" }, { "id": "elem0048", "type": "rectangle", "x": 408, "y": 280, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000048, "version": 1, "versionNonce": 2000048, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0049" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0049", "type": "text", "x": 423.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "D", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0048", "originalText": "D", "lineHeight": 1.25, "baseline": 12, "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" }, { "id": "elem0050", "type": "rectangle", "x": 450, "y": 280, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000050, "version": 1, "versionNonce": 2000050, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0051" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0051", "type": "text", "x": 465.15, "y": 292.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "B", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0050", "originalText": "B", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000051, "version": 1, "versionNonce": 2000051, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0052", "type": "rectangle", "x": 492, "y": 280, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000052, "version": 1, "versionNonce": 2000052, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0053" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0053", "type": "text", "x": 503.3, "y": 292.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0052", "originalText": "R'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000053, "version": 1, "versionNonce": 2000053, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0054", "type": "rectangle", "x": 534, "y": 280, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000054, "version": 1, "versionNonce": 2000054, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0055" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0055", "type": "text", "x": 545.3, "y": 292.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0054", "originalText": "U'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000055, "version": 1, "versionNonce": 2000055, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0056", "type": "text", "x": 80, "y": 360, "width": 46, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "after:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "after:", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000056, "version": 1, "versionNonce": 2000056, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0057", "type": "rectangle", "x": 240, "y": 350, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000057, "version": 1, "versionNonce": 2000057, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0058" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0058", "type": "text", "x": 255.15, "y": 362.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0057", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000058, "version": 1, "versionNonce": 2000058, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0059", "type": "rectangle", "x": 282, "y": 350, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000059, "version": 1, "versionNonce": 2000059, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0060" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0060", "type": "text", "x": 297.15, "y": 362.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0059", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000060, "version": 1, "versionNonce": 2000060, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0061", "type": "rectangle", "x": 324, "y": 350, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000061, "version": 1, "versionNonce": 2000061, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0062" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0062", "type": "text", "x": 339.15, "y": 362.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0061", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000062, "version": 1, "versionNonce": 2000062, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0063", "type": "rectangle", "x": 366, "y": 350, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000063, "version": 1, "versionNonce": 2000063, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0064" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0064", "type": "text", "x": 381.15, "y": 362.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "L", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0063", "originalText": "L", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000064, "version": 1, "versionNonce": 2000064, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0065", "type": "rectangle", "x": 408, "y": 350, "width": 38, "height": 38, "strokeColor": "#e8590c", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000065, "version": 1, "versionNonce": 2000065, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0066" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffd8a8" }, { "id": "elem0066", "type": "text", "x": 419.3, "y": 362.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "B'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0065", "originalText": "B'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000066, "version": 1, "versionNonce": 2000066, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0067", "type": "rectangle", "x": 450, "y": 350, "width": 38, "height": 38, "strokeColor": "#e8590c", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000067, "version": 1, "versionNonce": 2000067, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0068" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffd8a8" }, { "id": "elem0068", "type": "text", "x": 465.15, "y": 362.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0067", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000068, "version": 1, "versionNonce": 2000068, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0069", "type": "text", "x": 606, "y": 320, "width": 271, "height": 16, "strokeColor": "#555555", "fontSize": 13, "fontFamily": 5, "text": "re-search last K=4 moves at wider beam", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "re-search last K=4 moves at wider beam", "lineHeight": 1.25, "baseline": 11, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000069, "version": 1, "versionNonce": 2000069, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0070", "type": "text", "x": 80, "y": 410, "width": 118, "height": 22, "strokeColor": "#1e1e1e", "fontSize": 18, "fontFamily": 5, "text": "macro_insert", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "macro_insert", "lineHeight": 1.25, "baseline": 16, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000070, "version": 1, "versionNonce": 2000070, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0071", "type": "text", "x": 80, "y": 448, "width": 53, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "before:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "before:", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000071, "version": 1, "versionNonce": 2000071, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0072", "type": "rectangle", "x": 240, "y": 440, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000072, "version": 1, "versionNonce": 2000072, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0073" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0073", "type": "text", "x": 255.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0072", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000073, "version": 1, "versionNonce": 2000073, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0074", "type": "rectangle", "x": 282, "y": 440, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000074, "version": 1, "versionNonce": 2000074, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0075" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0075", "type": "text", "x": 297.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0074", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000075, "version": 1, "versionNonce": 2000075, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0076", "type": "rectangle", "x": 324, "y": 440, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000076, "version": 1, "versionNonce": 2000076, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0077" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0077", "type": "text", "x": 339.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0076", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000077, "version": 1, "versionNonce": 2000077, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0078", "type": "rectangle", "x": 366, "y": 440, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000078, "version": 1, "versionNonce": 2000078, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0079" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0079", "type": "text", "x": 381.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "L", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0078", "originalText": "L", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000079, "version": 1, "versionNonce": 2000079, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0080", "type": "rectangle", "x": 408, "y": 440, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000080, "version": 1, "versionNonce": 2000080, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0081" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0081", "type": "text", "x": 423.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "D", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0080", "originalText": "D", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000081, "version": 1, "versionNonce": 2000081, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0082", "type": "rectangle", "x": 450, "y": 440, "width": 38, "height": 38, "strokeColor": "#f08c00", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000082, "version": 1, "versionNonce": 2000082, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0083" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffec99" }, { "id": "elem0083", "type": "text", "x": 465.15, "y": 452.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "B", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0082", "originalText": "B", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000083, "version": 1, "versionNonce": 2000083, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0084", "type": "rectangle", "x": 492, "y": 440, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000084, "version": 1, "versionNonce": 2000084, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0085" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0085", "type": "text", "x": 503.3, "y": 452.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0084", "originalText": "R'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000085, "version": 1, "versionNonce": 2000085, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0086", "type": "rectangle", "x": 534, "y": 440, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000086, "version": 1, "versionNonce": 2000086, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0087" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0087", "type": "text", "x": 545.3, "y": 452.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0086", "originalText": "U'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000087, "version": 1, "versionNonce": 2000087, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0088", "type": "text", "x": 80, "y": 520, "width": 46, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "after:", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "after:", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000088, "version": 1, "versionNonce": 2000088, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0089", "type": "rectangle", "x": 240, "y": 510, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000089, "version": 1, "versionNonce": 2000089, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0090" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0090", "type": "text", "x": 255.15, "y": 522.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0089", "originalText": "R", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000090, "version": 1, "versionNonce": 2000090, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0091", "type": "rectangle", "x": 282, "y": 510, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000091, "version": 1, "versionNonce": 2000091, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0092" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0092", "type": "text", "x": 297.15, "y": 522.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0091", "originalText": "U", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000092, "version": 1, "versionNonce": 2000092, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0093", "type": "rectangle", "x": 324, "y": 510, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000093, "version": 1, "versionNonce": 2000093, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0094" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0094", "type": "text", "x": 339.15, "y": 522.0, "width": 7, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "F", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0093", "originalText": "F", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000094, "version": 1, "versionNonce": 2000094, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0095", "type": "rectangle", "x": 366, "y": 510, "width": 38, "height": 38, "strokeColor": "#e8590c", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000095, "version": 1, "versionNonce": 2000095, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0096" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffd8a8" }, { "id": "elem0096", "type": "text", "x": 377.3, "y": 522.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "M\u2081", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0095", "originalText": "M\u2081", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000096, "version": 1, "versionNonce": 2000096, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0097", "type": "rectangle", "x": 408, "y": 510, "width": 38, "height": 38, "strokeColor": "#e8590c", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000097, "version": 1, "versionNonce": 2000097, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0098" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#ffd8a8" }, { "id": "elem0098", "type": "text", "x": 419.3, "y": 522.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "M\u2082", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0097", "originalText": "M\u2082", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000098, "version": 1, "versionNonce": 2000098, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0099", "type": "rectangle", "x": 450, "y": 510, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000099, "version": 1, "versionNonce": 2000099, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0100" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0100", "type": "text", "x": 461.3, "y": 522.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "R'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0099", "originalText": "R'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000100, "version": 1, "versionNonce": 2000100, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0101", "type": "rectangle", "x": 492, "y": 510, "width": 38, "height": 38, "strokeColor": "#1971c2", "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000101, "version": 1, "versionNonce": 2000101, "isDeleted": false, "boundElements": [ { "type": "text", "id": "elem0102" } ], "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "#a5d8ff" }, { "id": "elem0102", "type": "text", "x": 503.3, "y": 522.0, "width": 15, "height": 17, "strokeColor": "#1e1e1e", "fontSize": 14, "fontFamily": 5, "text": "U'", "textAlign": "center", "verticalAlign": "middle", "containerId": "elem0101", "originalText": "U'", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000102, "version": 1, "versionNonce": 2000102, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0103", "type": "text", "x": 606, "y": 480, "width": 328, "height": 16, "strokeColor": "#555555", "fontSize": 13, "fontFamily": 5, "text": "insert known short macro; may shorten the path", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "insert known short macro; may shorten the path", "lineHeight": 1.25, "baseline": 11, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000103, "version": 1, "versionNonce": 2000103, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" }, { "id": "elem0104", "type": "text", "x": 80, "y": 605, "width": 646, "height": 17, "strokeColor": "#555555", "fontSize": 14, "fontFamily": 5, "text": "Yellow: segments the operator targets. Orange: new moves introduced by the operator.", "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Yellow: segments the operator targets. Orange: new moves introduced by the operator.", "lineHeight": 1.25, "baseline": 12, "angle": 0, "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1000104, "version": 1, "versionNonce": 2000104, "isDeleted": false, "boundElements": null, "updated": 1714838400000, "link": null, "locked": false, "fillStyle": "solid", "backgroundColor": "transparent" } ], "appState": { "viewBackgroundColor": "#ffffff", "currentItemFontFamily": 5, "gridSize": null }, "files": {} } ``` %%