{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "el0101", "type": "text", "x": 20, "y": 0, "width": 1045.0, "height": 25.0, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 8919, "version": 1, "versionNonce": 106729, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "An e-graph under two rewrites. Dashed boxes are e-classes; solid boxes inside them are e-nodes.", "fontSize": 20, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "An e-graph under two rewrites. Dashed boxes are e-classes; solid boxes inside them are e-nodes.", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0102", "type": "text", "x": 38, "y": 36, "width": 93.50000000000001, "height": 21.25, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 16838, "version": 1, "versionNonce": 211458, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "1. initial", "fontSize": 17, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "1. initial", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0103", "type": "text", "x": 38, "y": 58, "width": 154.0, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 24757, "version": 1, "versionNonce": 316187, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "one e-node per class", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "one e-node per class", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0104", "type": "rectangle", "x": 70, "y": 108, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 32676, "version": 1, "versionNonce": 420916, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0105", "type": "text", "x": 74, "y": 89, "width": 72.60000000000001, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 40595, "version": 1, "versionNonce": 525645, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_r (root)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_r (root)", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0106", "type": "rectangle", "x": 125, "y": 122, "width": 80, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 48514, "version": 1, "versionNonce": 630374, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0107", "type": "text", "x": 152.625, "y": 127.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 56433, "version": 1, "versionNonce": 735103, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Div", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Div", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0108", "type": "rectangle", "x": 70, "y": 218, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 64352, "version": 1, "versionNonce": 839832, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0109", "type": "text", "x": 74, "y": 199, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 72271, "version": 1, "versionNonce": 944561, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_m", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_m", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0110", "type": "rectangle", "x": 125, "y": 232, "width": 80, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 80190, "version": 1, "versionNonce": 1049290, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0111", "type": "text", "x": 152.625, "y": 237.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 88109, "version": 1, "versionNonce": 1154019, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Mul", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Mul", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0112", "type": "rectangle", "x": 70, "y": 328, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 96028, "version": 1, "versionNonce": 1258748, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0113", "type": "text", "x": 74, "y": 309, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 103947, "version": 1, "versionNonce": 1363477, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_a", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_a", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0114", "type": "rectangle", "x": 140, "y": 342, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 111866, "version": 1, "versionNonce": 1468206, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0115", "type": "text", "x": 160.875, "y": 347.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 119785, "version": 1, "versionNonce": 1572935, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "a", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "a", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0116", "type": "rectangle", "x": 315, "y": 108, "width": 90, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 127704, "version": 1, "versionNonce": 1677664, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0117", "type": "text", "x": 319, "y": 89, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 135623, "version": 1, "versionNonce": 1782393, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_2", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0118", "type": "rectangle", "x": 335, "y": 122, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 143542, "version": 1, "versionNonce": 1887122, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0119", "type": "text", "x": 355.875, "y": 127.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 151461, "version": 1, "versionNonce": 1991851, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "2", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0120", "type": "arrow", "x": 165, "y": 152, "width": 0, "height": 66, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 159380, "version": 1, "versionNonce": 2096580, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0121", "type": "arrow", "x": 205, "y": 137, "width": 110, "height": 0, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 167299, "version": 1, "versionNonce": 2201309, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 110, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0122", "type": "arrow", "x": 165, "y": 262, "width": 0, "height": 66, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 175218, "version": 1, "versionNonce": 2306038, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0123", "type": "arrow", "x": 185, "y": 232, "width": 175, "height": 66, "angle": 0, "strokeColor": "#6741d9", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 183137, "version": 1, "versionNonce": 2410767, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -34 ], [ 175, -34 ], [ 175, -66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0124", "type": "text", "x": 38, "y": 408, "width": 161.70000000000002, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 191056, "version": 1, "versionNonce": 2515496, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "represents 1 program:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "represents 1 program:", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0125", "type": "text", "x": 38, "y": 430, "width": 84.7, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 198975, "version": 1, "versionNonce": 2620225, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "(a x 2) / 2", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "(a x 2) / 2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0126", "type": "text", "x": 498, "y": 36, "width": 196.35000000000002, "height": 21.25, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 206894, "version": 1, "versionNonce": 2724954, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "2. after x*2 -> x<<1", "fontSize": 17, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "2. after x*2 -> x<<1", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0127", "type": "text", "x": 498, "y": 58, "width": 138.60000000000002, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 214813, "version": 1, "versionNonce": 2829683, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "union, not replace", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "union, not replace", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0128", "type": "rectangle", "x": 530, "y": 108, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 222732, "version": 1, "versionNonce": 2934412, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0129", "type": "text", "x": 534, "y": 89, "width": 72.60000000000001, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 230651, "version": 1, "versionNonce": 3039141, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_r (root)", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_r (root)", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0130", "type": "rectangle", "x": 585, "y": 122, "width": 80, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 238570, "version": 1, "versionNonce": 3143870, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0131", "type": "text", "x": 612.625, "y": 127.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 246489, "version": 1, "versionNonce": 3248599, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Div", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Div", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0132", "type": "rectangle", "x": 530, "y": 218, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 254408, "version": 1, "versionNonce": 3353328, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0133", "type": "text", "x": 534, "y": 199, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 262327, "version": 1, "versionNonce": 3458057, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_m", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_m", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0134", "type": "rectangle", "x": 542, "y": 232, "width": 76, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 270246, "version": 1, "versionNonce": 3562786, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0135", "type": "text", "x": 567.625, "y": 237.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 278165, "version": 1, "versionNonce": 3667515, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Mul", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Mul", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0136", "type": "rectangle", "x": 630, "y": 232, "width": 76, "height": 30, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "#b2f2bb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 286084, "version": 1, "versionNonce": 3772244, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0137", "type": "text", "x": 655.625, "y": 237.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 294003, "version": 1, "versionNonce": 3876973, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Shl", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Shl", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0138", "type": "rectangle", "x": 530, "y": 328, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 301922, "version": 1, "versionNonce": 3981702, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0139", "type": "text", "x": 534, "y": 309, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 309841, "version": 1, "versionNonce": 4086431, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_a", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_a", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0140", "type": "rectangle", "x": 600, "y": 342, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 317760, "version": 1, "versionNonce": 4191160, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0141", "type": "text", "x": 620.875, "y": 347.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 325679, "version": 1, "versionNonce": 4295889, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "a", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "a", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0142", "type": "rectangle", "x": 775, "y": 108, "width": 90, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 333598, "version": 1, "versionNonce": 4400618, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0143", "type": "text", "x": 779, "y": 89, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 341517, "version": 1, "versionNonce": 4505347, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_2", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0144", "type": "rectangle", "x": 795, "y": 122, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 349436, "version": 1, "versionNonce": 4610076, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0145", "type": "text", "x": 815.875, "y": 127.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 357355, "version": 1, "versionNonce": 4714805, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "2", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0146", "type": "rectangle", "x": 775, "y": 218, "width": 90, "height": 58, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 365274, "version": 1, "versionNonce": 4819534, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0147", "type": "text", "x": 779, "y": 199, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 373193, "version": 1, "versionNonce": 4924263, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_1", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_1", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0148", "type": "rectangle", "x": 795, "y": 232, "width": 50, "height": 30, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "#b2f2bb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 381112, "version": 1, "versionNonce": 5028992, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0149", "type": "text", "x": 815.875, "y": 237.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 389031, "version": 1, "versionNonce": 5133721, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "1", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "1", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0150", "type": "arrow", "x": 625, "y": 152, "width": 0, "height": 66, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 396950, "version": 1, "versionNonce": 5238450, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0151", "type": "arrow", "x": 665, "y": 137, "width": 110, "height": 0, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 404869, "version": 1, "versionNonce": 5343179, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 110, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0152", "type": "arrow", "x": 580, "y": 262, "width": 0, "height": 66, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 412788, "version": 1, "versionNonce": 5447908, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0153", "type": "arrow", "x": 600, "y": 232, "width": 220, "height": 66, "angle": 0, "strokeColor": "#6741d9", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 420707, "version": 1, "versionNonce": 5552637, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -34 ], [ 220, -34 ], [ 220, -66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0154", "type": "arrow", "x": 668, "y": 262, "width": 0, "height": 66, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 428626, "version": 1, "versionNonce": 5657366, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0155", "type": "arrow", "x": 706, "y": 247, "width": 69, "height": 0, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 436545, "version": 1, "versionNonce": 5762095, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 69, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0156", "type": "text", "x": 728, "y": 294, "width": 157.3, "height": 16.25, "angle": 0, "strokeColor": "#e03131", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 444464, "version": 1, "versionNonce": 5866824, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "the Mul is still there", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the Mul is still there", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0157", "type": "text", "x": 498, "y": 408, "width": 169.4, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 452383, "version": 1, "versionNonce": 5971553, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "represents 2 programs:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "represents 2 programs:", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0158", "type": "text", "x": 498, "y": 430, "width": 246.40000000000003, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 460302, "version": 1, "versionNonce": 6076282, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "(a x 2) / 2 and (a << 1) / 2", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "(a x 2) / 2 and (a << 1) / 2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0159", "type": "text", "x": 958, "y": 36, "width": 205.70000000000002, "height": 21.25, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 468221, "version": 1, "versionNonce": 6181011, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "3. after (x*y)/y -> x", "fontSize": 17, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "3. after (x*y)/y -> x", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0160", "type": "text", "x": 958, "y": 58, "width": 277.20000000000005, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 476140, "version": 1, "versionNonce": 6285740, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "saturated: no rule adds anything new", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "saturated: no rule adds anything new", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0161", "type": "rectangle", "x": 990, "y": 108, "width": 190, "height": 58, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 484059, "version": 1, "versionNonce": 6390469, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0162", "type": "text", "x": 994, "y": 89, "width": 171.60000000000002, "height": 15.0, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 491978, "version": 1, "versionNonce": 6495198, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_r and c_a, now one class", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_r and c_a, now one class", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0163", "type": "rectangle", "x": 1002, "y": 122, "width": 76, "height": 30, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "#b2f2bb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 499897, "version": 1, "versionNonce": 6599927, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0164", "type": "text", "x": 1035.875, "y": 127.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#2f9e44", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 507816, "version": 1, "versionNonce": 6704656, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "a", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "a", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0165", "type": "rectangle", "x": 1090, "y": 122, "width": 76, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 515735, "version": 1, "versionNonce": 6809385, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0166", "type": "text", "x": 1115.625, "y": 127.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 523654, "version": 1, "versionNonce": 6914114, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Div", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Div", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0167", "type": "rectangle", "x": 990, "y": 218, "width": 190, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 531573, "version": 1, "versionNonce": 7018843, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0168", "type": "text", "x": 994, "y": 199, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 539492, "version": 1, "versionNonce": 7123572, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_m", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_m", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0169", "type": "rectangle", "x": 1002, "y": 232, "width": 76, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 547411, "version": 1, "versionNonce": 7228301, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0170", "type": "text", "x": 1027.625, "y": 237.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 555330, "version": 1, "versionNonce": 7333030, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Mul", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Mul", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0171", "type": "rectangle", "x": 1090, "y": 232, "width": 76, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 563249, "version": 1, "versionNonce": 7437759, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0172", "type": "text", "x": 1115.625, "y": 237.625, "width": 24.750000000000004, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 571168, "version": 1, "versionNonce": 7542488, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "Shl", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "Shl", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0173", "type": "rectangle", "x": 1235, "y": 108, "width": 90, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 579087, "version": 1, "versionNonce": 7647217, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0174", "type": "text", "x": 1239, "y": 89, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 587006, "version": 1, "versionNonce": 7751946, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_2", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0175", "type": "rectangle", "x": 1255, "y": 122, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 594925, "version": 1, "versionNonce": 7856675, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0176", "type": "text", "x": 1275.875, "y": 127.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 602844, "version": 1, "versionNonce": 7961404, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "2", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "2", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0177", "type": "rectangle", "x": 1235, "y": 218, "width": 90, "height": 58, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 610763, "version": 1, "versionNonce": 8066133, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0178", "type": "text", "x": 1239, "y": 199, "width": 19.8, "height": 15.0, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 618682, "version": 1, "versionNonce": 8170862, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "c_1", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "c_1", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0179", "type": "rectangle", "x": 1255, "y": 232, "width": 50, "height": 30, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "#a5d8ff", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 3 }, "seed": 626601, "version": 1, "versionNonce": 8275591, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false }, { "id": "el0180", "type": "text", "x": 1275.875, "y": 237.625, "width": 8.25, "height": 18.75, "angle": 0, "strokeColor": "#1971c2", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 634520, "version": 1, "versionNonce": 8380320, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "1", "fontSize": 15, "fontFamily": 1, "textAlign": "center", "verticalAlign": "top", "containerId": null, "originalText": "1", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0181", "type": "arrow", "x": 1128, "y": 152, "width": 0, "height": 66, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 642439, "version": 1, "versionNonce": 8485049, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0182", "type": "arrow", "x": 1166, "y": 137, "width": 69, "height": 0, "angle": 0, "strokeColor": "#1e1e1e", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 650358, "version": 1, "versionNonce": 8589778, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 69, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0183", "type": "arrow", "x": 1060, "y": 232, "width": 220, "height": 66, "angle": 0, "strokeColor": "#6741d9", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 658277, "version": 1, "versionNonce": 8694507, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, -34 ], [ 220, -34 ], [ 220, -66 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0184", "type": "arrow", "x": 1166, "y": 247, "width": 69, "height": 0, "angle": 0, "strokeColor": "#6741d9", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 666196, "version": 1, "versionNonce": 8799236, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 69, 0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0185", "type": "arrow", "x": 1040, "y": 276, "width": 64, "height": 167, "angle": 0, "strokeColor": "#e03131", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 674115, "version": 1, "versionNonce": 8903965, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 28 ], [ -64, 28 ], [ -64, -139 ], [ -50, -139 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0186", "type": "arrow", "x": 1128, "y": 276, "width": 166, "height": 200, "angle": 0, "strokeColor": "#e03131", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1.5, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": { "type": 2 }, "seed": 682034, "version": 1, "versionNonce": 9008694, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0, 44 ], [ -166, 44 ], [ -166, -156 ], [ -138, -156 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow", "elbowed": false }, { "id": "el0187", "type": "text", "x": 1146, "y": 313, "width": 171.60000000000002, "height": 16.25, "angle": 0, "strokeColor": "#e03131", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 689953, "version": 1, "versionNonce": 9113423, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "these edges form a cycle", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "these edges form a cycle", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0188", "type": "text", "x": 1146, "y": 332, "width": 207.35000000000002, "height": 16.25, "angle": 0, "strokeColor": "#e03131", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 697872, "version": 1, "versionNonce": 9218152, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "extraction must not follow it", "fontSize": 13, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "extraction must not follow it", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0189", "type": "text", "x": 958, "y": 408, "width": 169.4, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 705791, "version": 1, "versionNonce": 9322881, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "represents 3 programs:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "represents 3 programs:", "autoResize": true, "lineHeight": 1.25 }, { "id": "el0190", "type": "text", "x": 958, "y": 430, "width": 292.6, "height": 17.5, "angle": 0, "strokeColor": "#868e96", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "index": null, "roundness": null, "seed": 713710, "version": 1, "versionNonce": 9427610, "isDeleted": false, "boundElements": null, "updated": 1, "link": null, "locked": false, "text": "(a x 2) / 2, (a << 1) / 2, and a", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "(a x 2) / 2, (a << 1) / 2, and a", "autoResize": true, "lineHeight": 1.25 } ], "appState": { "gridSize": 20, "gridStep": 5, "gridModeEnabled": false, "viewBackgroundColor": "#ffffff" }, "files": {} }