537 lines
11 KiB
JSON
Generated
537 lines
11 KiB
JSON
Generated
{
|
|
"name": "",
|
|
"type": "",
|
|
"fontFamily": "SourceSansPro",
|
|
"shapes": [
|
|
{
|
|
"id": "a",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 33,
|
|
"y": 168
|
|
},
|
|
"width": 10,
|
|
"height": 9,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "#0A0F25",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "a",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 10,
|
|
"labelHeight": 9,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "b",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 103,
|
|
"y": 166
|
|
},
|
|
"width": 8,
|
|
"height": 13,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "#0A0F25",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "b",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 8,
|
|
"labelHeight": 13,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "z",
|
|
"type": "text",
|
|
"pos": {
|
|
"x": 68,
|
|
"y": 0
|
|
},
|
|
"width": 9,
|
|
"height": 9,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "transparent",
|
|
"stroke": "#0A0F25",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "z",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "latex",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 9,
|
|
"labelHeight": 9,
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "c",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 0,
|
|
"y": 335
|
|
},
|
|
"width": 214,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "mixed together",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 114,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "sugar",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 171,
|
|
"y": 109
|
|
},
|
|
"width": 146,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "sugar",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 46,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
},
|
|
{
|
|
"id": "solution",
|
|
"type": "rectangle",
|
|
"pos": {
|
|
"x": 25,
|
|
"y": 582
|
|
},
|
|
"width": 164,
|
|
"height": 126,
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"borderRadius": 0,
|
|
"fill": "#F7F8FE",
|
|
"stroke": "#0D32B2",
|
|
"shadow": false,
|
|
"3d": false,
|
|
"multiple": false,
|
|
"tooltip": "",
|
|
"link": "",
|
|
"icon": null,
|
|
"iconPosition": "",
|
|
"blend": false,
|
|
"fields": null,
|
|
"methods": null,
|
|
"columns": null,
|
|
"label": "solution",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#0A0F25",
|
|
"italic": false,
|
|
"bold": true,
|
|
"underline": false,
|
|
"labelWidth": 64,
|
|
"labelHeight": 26,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"zIndex": 0,
|
|
"level": 1
|
|
}
|
|
],
|
|
"connections": [
|
|
{
|
|
"id": "(z -> a)[0]",
|
|
"src": "z",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "a",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 69.65137614678899,
|
|
"y": 9
|
|
},
|
|
{
|
|
"x": 44.330275229357795,
|
|
"y": 49
|
|
},
|
|
{
|
|
"x": 38,
|
|
"y": 80.7
|
|
},
|
|
{
|
|
"x": 38,
|
|
"y": 167.5
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(z -> b)[0]",
|
|
"src": "z",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "b",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 75.34862385321101,
|
|
"y": 9
|
|
},
|
|
{
|
|
"x": 100.6697247706422,
|
|
"y": 49
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 80.3
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 165.5
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(a -> c)[0]",
|
|
"src": "a",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 38,
|
|
"y": 177.5
|
|
},
|
|
{
|
|
"x": 38,
|
|
"y": 263.5
|
|
},
|
|
{
|
|
"x": 44.2,
|
|
"y": 295
|
|
},
|
|
{
|
|
"x": 69,
|
|
"y": 335
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(b -> c)[0]",
|
|
"src": "b",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 107,
|
|
"y": 179.5
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 263.9
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 295
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 335
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(sugar -> c)[0]",
|
|
"src": "sugar",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "c",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 0,
|
|
"labelHeight": 0,
|
|
"labelPosition": "",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 244,
|
|
"y": 235
|
|
},
|
|
{
|
|
"x": 244,
|
|
"y": 275
|
|
},
|
|
{
|
|
"x": 231.8,
|
|
"y": 295
|
|
},
|
|
{
|
|
"x": 183,
|
|
"y": 335
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
},
|
|
{
|
|
"id": "(c -> solution)[0]",
|
|
"src": "c",
|
|
"srcArrow": "none",
|
|
"srcLabel": "",
|
|
"dst": "solution",
|
|
"dstArrow": "triangle",
|
|
"dstLabel": "",
|
|
"opacity": 1,
|
|
"strokeDash": 0,
|
|
"strokeWidth": 2,
|
|
"stroke": "#0D32B2",
|
|
"label": "we get",
|
|
"fontSize": 16,
|
|
"fontFamily": "DEFAULT",
|
|
"language": "",
|
|
"color": "#676C7E",
|
|
"italic": true,
|
|
"bold": false,
|
|
"underline": false,
|
|
"labelWidth": 44,
|
|
"labelHeight": 21,
|
|
"labelPosition": "INSIDE_MIDDLE_CENTER",
|
|
"labelPercentage": 0,
|
|
"route": [
|
|
{
|
|
"x": 107,
|
|
"y": 461
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 509.4
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 533.7
|
|
},
|
|
{
|
|
"x": 107,
|
|
"y": 582.5
|
|
}
|
|
],
|
|
"isCurve": true,
|
|
"animated": false,
|
|
"tooltip": "",
|
|
"icon": null,
|
|
"zIndex": 0
|
|
}
|
|
],
|
|
"layers": null,
|
|
"scenarios": null,
|
|
"steps": null
|
|
}
|