diff --git a/Assets/Stages/TechDemo A.JSON b/Assets/Stages/TechDemo A.JSON
index a34bb1fa597e46d17ef8e9de606b24f39f360bc3..43212e6ea63becea22805a3e66a43b5d73bf0d3c 100644
--- a/Assets/Stages/TechDemo A.JSON
+++ b/Assets/Stages/TechDemo A.JSON
@@ -1 +1 @@
-{"category":"Demo Category","number":1,"description":"Tree Stage","scene":"RiverWorld","use_install_folder":true,"solution":{"ValidationSet":[{"MasterIDs":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1320"],"SolutionIndex":[],"RelationIndex":[],"ComparerString":"LineFactHightDirectionComparer"}],"WorkflowGadgetDict":{"-1":null},"FactDict":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1318":{"s_type":"PointFact","Point":{"x":0.0,"y":0.0,"z":0.0,"magnitude":0.0,"sqrMagnitude":0.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1318","Label":"A","hasCustomLabel":false,"LabelId":1},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1319":{"s_type":"PointFact","Point":{"x":0.0,"y":6.0,"z":0.0,"normalized":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"magnitude":6.0,"sqrMagnitude":36.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1319","Label":"B","hasCustomLabel":false,"LabelId":2},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1320":{"s_type":"LineFact","Distance":6.0,"Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1318","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1319","Dir":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1320","Label":"[AB]","hasCustomLabel":false,"LabelId":0}},"MetaInf":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1318":{"workflow_id":0,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1319":{"workflow_id":1,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1320":{"workflow_id":2,"active":true}},"Workflow":[{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1318","samestep":false,"steplink":3,"creation":true,"gadget_rank":-1,"scroll_label":null},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1319","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1320","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null}],"marker":3,"worksteps":1,"backlog":0,"soft_resetted":false,"invoke":true,"MaxLabelId":2,"UnusedLabelIds":[],"name":null,"path":null},"solution_approches":[{"solved":false,"date":-8585394366841814464,"seconds":26.867303499999936,"factState":{"WorkflowGadgetDict":{"-1":null,"0":{"s_type":"Pointer","Rank":1,"UiName":"Pointer","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":1,"MaterialIndx":0,"IgnoreLayerMask":{"value":24066},"SecondaryLayerMask":{"value":0},"Workflow":[]},"2":{"s_type":"Pendulum","Rank":6,"UiName":"Pendulum","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":6,"MaterialIndx":0,"IgnoreLayerMask":{"value":96770},"SecondaryLayerMask":{"value":1},"Workflow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152"]},"3":{"s_type":"AngleTool","Rank":3,"UiName":"Angle Tool","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":3,"MaterialIndx":1,"IgnoreLayerMask":{"value":96770},"SecondaryLayerMask":{"value":0},"Workflow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152"]},"5":{"s_type":"Tape","Rank":2,"UiName":"Tape","MaxRange":2.5,"MaxHeight":2.5,"ButtonIndx":2,"MaterialIndx":0,"IgnoreLayerMask":{"value":96770},"SecondaryLayerMask":{"value":0},"Workflow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154"]}},"FactDict":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152":{"s_type":"PointFact","Point":{"x":5.864498,"y":6.2535,"z":-10.552001,"normalized":{"x":0.431349158,"y":0.459961265,"z":-0.7761273,"magnitude":1.0,"sqrMagnitude":1.0},"magnitude":13.59571,"sqrMagnitude":184.843323},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","Label":"A","hasCustomLabel":false,"LabelId":1},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153":{"s_type":"PointFact","Point":{"x":6.287037,"y":-0.00494432449,"z":-7.031151,"normalized":{"x":0.666559637,"y":-0.0005242035,"z":-0.7454515,"magnitude":1.0,"sqrMagnitude":1.0},"magnitude":9.43207,"sqrMagnitude":88.9639359},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","Label":"B","hasCustomLabel":false,"LabelId":2},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154":{"s_type":"PointFact","Point":{"x":5.864502,"y":-0.00494384766,"z":-10.552002,"normalized":{"x":0.485787123,"y":-0.000409524539,"z":-0.874077,"normalized":{"x":0.485787153,"y":-0.000409524568,"z":-0.8740771,"magnitude":1.0,"sqrMagnitude":1.00000012},"magnitude":0.99999994,"sqrMagnitude":0.99999994},"magnitude":12.0721645,"sqrMagnitude":145.737152},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","Label":"C","hasCustomLabel":false,"LabelId":3},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact155":{"s_type":"AngleFact","Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","Pid3":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","is_right_angle":false,"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact155","Label":"∠ABC","hasCustomLabel":false,"LabelId":0},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact156":{"s_type":"AngleFact","Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","Pid3":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","is_right_angle":true,"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact156","Label":"⊾BCA","hasCustomLabel":false,"LabelId":0},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact157":{"s_type":"LineFact","Distance":3.54611444,"Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","Dir":{"x":-0.119154342,"y":1.344675e-7,"z":-0.992875755,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact157","Label":"[BC]","hasCustomLabel":false,"LabelId":0},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact158":{"s_type":"LineFact","Distance":6.258444,"Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","Dir":{"x":-6.09528058e-7,"y":1.0,"z":1.52382015e-7,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact158","Label":"[CA]","hasCustomLabel":false,"LabelId":0}},"MetaInf":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152":{"workflow_id":0,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153":{"workflow_id":1,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154":{"workflow_id":2,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact155":{"workflow_id":3,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact156":{"workflow_id":4,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact157":{"workflow_id":5,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact158":{"workflow_id":6,"active":true}},"Workflow":[{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","samestep":false,"steplink":1,"creation":true,"gadget_rank":0,"scroll_label":null,"GadgetFlow":[],"GadgetTime":1.6304187000000639},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","samestep":false,"steplink":2,"creation":true,"gadget_rank":0,"scroll_label":null,"GadgetFlow":[],"GadgetTime":2.718663699999979},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","samestep":false,"steplink":3,"creation":true,"gadget_rank":2,"scroll_label":null,"GadgetFlow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152"],"GadgetTime":5.074121399999967},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact155","samestep":false,"steplink":4,"creation":true,"gadget_rank":3,"scroll_label":null,"GadgetFlow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154"],"GadgetTime":8.042263000000049},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact156","samestep":false,"steplink":5,"creation":true,"gadget_rank":3,"scroll_label":null,"GadgetFlow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact152"],"GadgetTime":9.874896099999888},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact157","samestep":false,"steplink":6,"creation":true,"gadget_rank":5,"scroll_label":null,"GadgetFlow":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact153","http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact154"],"GadgetTime":13.846140999999989},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory4?fact158","samestep":false,"steplink":7,"creation":true,"gadget_rank":-1,"scroll_label":"OppositeLen","GadgetFlow":[],"GadgetTime":24.601568399999907}],"marker":7,"worksteps":7,"backlog":0,"soft_resetted":false,"invoke":false,"MaxLabelId":3,"UnusedLabelIds":[],"name":null,"path":null},"name":"TechDemo A_save","path":null}],"AllowedScrolls":null,"AllowedGadgets":null,"name":"TechDemo A","path":null}
\ No newline at end of file
+{"category":"Demo Category","number":1,"description":"Tree Stage","scene":"RiverWorld","use_install_folder":true,"solution":{"ValidationSet":[{"MasterIDs":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9"],"SolutionIndex":[],"RelationIndex":[],"ComparerString":"LineFactHightDirectionComparer"}],"WorkflowGadgetDict":{"-1":null},"FactDict":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7":{"s_type":"PointFact","Point":{"x":0.0,"y":0.0,"z":0.0,"magnitude":0.0,"sqrMagnitude":0.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7","Label":"A","hasCustomLabel":false,"LabelId":1},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8":{"s_type":"PointFact","Point":{"x":0.0,"y":6.0,"z":0.0,"normalized":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"magnitude":6.0,"sqrMagnitude":36.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8","Label":"B","hasCustomLabel":false,"LabelId":2},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9":{"s_type":"LineFact","Distance":6.0,"Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8","Dir":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9","Label":"[AB]","hasCustomLabel":false,"LabelId":0}},"MetaInf":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7":{"workflow_id":0,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8":{"workflow_id":1,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9":{"workflow_id":2,"active":true}},"Workflow":[{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7","samestep":false,"steplink":3,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0}],"marker":3,"worksteps":1,"backlog":0,"soft_resetted":false,"invoke":true,"MaxLabelId":2,"UnusedLabelIds":[],"name":null,"path":null},"solution_approches":[],"AllowedScrolls":null,"AllowedGadgets":null,"name":"TechDemo A","path":null}
\ No newline at end of file
diff --git a/Assets/Stages/TechDemo B.JSON b/Assets/Stages/TechDemo B.JSON
index f92a90ae8e890a8cc06ede63ecdec724ec74b59a..8e88e515956aa47bb993ea71bc76e5a6f3e8284a 100644
--- a/Assets/Stages/TechDemo B.JSON
+++ b/Assets/Stages/TechDemo B.JSON
@@ -1,1883 +1 @@
-{
- "category": "Demo Category",
- "number": 2,
- "description": "River Stage",
- "scene": "RiverWorld",
- "use_install_folder": true,
- "solution": {
- "ValidationSet": [
- {
- "MasterIDs": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323" ],
- "SolutionIndex": [],
- "RelationIndex": [],
- "ComparerString": "LineFactHightDirectionComparer"
- },
- {
- "MasterIDs": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323" ],
- "SolutionIndex": [],
- "RelationIndex": [],
- "ComparerString": "LineSpanningOverRiverWorldComparer"
- },
- {
- "MasterIDs": [],
- "SolutionIndex": [ 1 ],
- "RelationIndex": [ 0 ],
- "ComparerString": "LineFactHightComparer"
- }
- ],
- "WorkflowGadgetDict": { "-1": null },
- "FactDict": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1321": {
- "s_type": "PointFact",
- "Point": {
- "x": 0.0,
- "y": 0.0,
- "z": 0.0,
- "magnitude": 0.0,
- "sqrMagnitude": 0.0
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1321",
- "Label": "A",
- "hasCustomLabel": false,
- "LabelId": 1
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1322": {
- "s_type": "PointFact",
- "Point": {
- "x": 0.0,
- "y": 6.0,
- "z": 0.0,
- "normalized": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 6.0,
- "sqrMagnitude": 36.0
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1322",
- "Label": "B",
- "hasCustomLabel": false,
- "LabelId": 2
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323": {
- "s_type": "LineFact",
- "Distance": 6.0,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1321",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1322",
- "Dir": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323",
- "Label": "[AB]",
- "hasCustomLabel": false,
- "LabelId": 0
- }
- },
- "MetaInf": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1321": {
- "workflow_id": 0,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1322": {
- "workflow_id": 1,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323": {
- "workflow_id": 2,
- "active": true
- }
- },
- "Workflow": [
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1321",
- "samestep": false,
- "steplink": 3,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": null
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1322",
- "samestep": true,
- "steplink": 0,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": null
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1323",
- "samestep": true,
- "steplink": 0,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": null
- }
- ],
- "marker": 3,
- "worksteps": 1,
- "backlog": 0,
- "soft_resetted": false,
- "invoke": true,
- "MaxLabelId": 2,
- "UnusedLabelIds": [],
- "name": null,
- "path": null
- },
- "solution_approches": [
- {
- "solved": true,
- "date": -8585394401831257389,
- "seconds": 85.13498319999985,
- "factState": {
- "WorkflowGadgetDict": {
- "-1": null,
- "0": {
- "s_type": "Pointer",
- "Rank": 1,
- "UiName": "Pointer",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 1,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 24066 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact330" ]
- },
- "2": {
- "s_type": "Pendulum",
- "Rank": 6,
- "UiName": "Pendulum",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 6,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 1 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact323" ]
- },
- "3": {
- "s_type": "Tape",
- "Rank": 2,
- "UiName": "Tape",
- "MaxRange": 2.5,
- "MaxHeight": 2.5,
- "ButtonIndx": 2,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact335", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact325" ]
- },
- "4": {
- "s_type": "AngleTool",
- "Rank": 3,
- "UiName": "Angle Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 3,
- "MaterialIndx": 1,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact335", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact325", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact333" ]
- },
- "7": {
- "s_type": "LineTool",
- "Rank": 4,
- "UiName": "Line Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 4,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": []
- },
- "12": {
- "s_type": "LotTool",
- "Rank": 5,
- "UiName": "Lot Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 5,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 86530 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": []
- }
- },
- "FactDict": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202": {
- "s_type": "PointFact",
- "Point": {
- "x": 5.864498,
- "y": 6.2535,
- "z": -10.552001,
- "normalized": {
- "x": 0.431349158,
- "y": 0.459961265,
- "z": -0.7761273,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 13.59571,
- "sqrMagnitude": 184.843323
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202",
- "Label": "A",
- "hasCustomLabel": false,
- "LabelId": 1
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203": {
- "s_type": "PointFact",
- "Point": {
- "x": 6.46365738,
- "y": -0.00494432449,
- "z": -7.769211,
- "normalized": {
- "x": 0.639560163,
- "y": -0.0004892266,
- "z": -0.7687409,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 10.10641,
- "sqrMagnitude": 102.139526
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Label": "B",
- "hasCustomLabel": false,
- "LabelId": 2
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204": {
- "s_type": "PointFact",
- "Point": {
- "x": 5.864502,
- "y": -0.00494384766,
- "z": -10.552002,
- "normalized": {
- "x": 0.485787123,
- "y": -0.000409524539,
- "z": -0.874077,
- "normalized": {
- "x": 0.485787153,
- "y": -0.000409524568,
- "z": -0.8740771,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "magnitude": 0.99999994,
- "sqrMagnitude": 0.99999994
- },
- "magnitude": 12.0721645,
- "sqrMagnitude": 145.737152
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Label": "C",
- "hasCustomLabel": false,
- "LabelId": 3
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact205": {
- "s_type": "LineFact",
- "Distance": 2.84656167,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Dir": {
- "x": -0.210483909,
- "y": 1.67513377e-7,
- "z": -0.977597356,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact205",
- "Label": "[BC]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact206": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "is_right_angle": false,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact206",
- "Label": "∠ABC",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact207": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact207",
- "Label": "⊾BCA",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact208": {
- "s_type": "LineFact",
- "Distance": 6.258444,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202",
- "Dir": {
- "x": -6.09528058e-7,
- "y": 1.0,
- "z": 1.52382015e-7,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact208",
- "Label": "[CA]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209": {
- "s_type": "RayFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Dir": {
- "x": -0.210483909,
- "y": 1.67513377e-7,
- "z": -0.977597356,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209",
- "Label": "]BC[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact210": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact210",
- "Label": "C∈]BC[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact211": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact211",
- "Label": "B∈]BC[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212": {
- "s_type": "PointFact",
- "Point": {
- "x": 4.68058634,
- "y": -0.00494290562,
- "z": -16.050724,
- "normalized": {
- "x": 0.279951781,
- "y": -0.000295641425,
- "z": -0.960014045,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 16.71926,
- "sqrMagnitude": 279.533661
- },
- "Normal": {
- "x": -1.6751234e-7,
- "y": 1.0,
- "z": 2.07417713e-7,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "Label": "D",
- "hasCustomLabel": false,
- "LabelId": 4
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact213": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact213",
- "Label": "D∈]BC[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214": {
- "s_type": "PointFact",
- "Point": {
- "x": 2.85415626,
- "y": -0.004944274,
- "z": -9.903852,
- "normalized": {
- "x": 0.2769166,
- "y": -0.0004797045,
- "z": -0.960893869,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 10.3069162,
- "sqrMagnitude": 106.232529
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Label": "E",
- "hasCustomLabel": false,
- "LabelId": 5
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215": {
- "s_type": "RayFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Dir": {
- "x": -0.977597356,
- "y": -1.38518971e-7,
- "z": 0.210483864,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215",
- "Label": "]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact216": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact216",
- "Label": "C∈]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact217": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact217",
- "Label": "E∈]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact218": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact218",
- "Label": "⊾BCE",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact219": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "is_right_angle": false,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact219",
- "Label": "∠DEC",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact220": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact220",
- "Label": "⊾ECD",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact221": {
- "s_type": "LineFact",
- "Distance": 3.079331,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Dir": {
- "x": 0.977597356,
- "y": 1.38518971e-7,
- "z": -0.210483864,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact221",
- "Label": "[EC]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact222": {
- "s_type": "LineFact",
- "Distance": 5.624731,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "Dir": {
- "x": -0.210483953,
- "y": 1.67480508e-7,
- "z": -0.977597356,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact222",
- "Label": "[CD]",
- "hasCustomLabel": false,
- "LabelId": 0
- }
- },
- "MetaInf": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202": {
- "workflow_id": 0,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203": {
- "workflow_id": 1,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204": {
- "workflow_id": 2,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact205": {
- "workflow_id": 3,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact206": {
- "workflow_id": 4,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact207": {
- "workflow_id": 5,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact208": {
- "workflow_id": 6,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209": {
- "workflow_id": 7,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact210": {
- "workflow_id": 8,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact211": {
- "workflow_id": 9,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212": {
- "workflow_id": 10,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact213": {
- "workflow_id": 11,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214": {
- "workflow_id": 12,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215": {
- "workflow_id": 13,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact216": {
- "workflow_id": 14,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact217": {
- "workflow_id": 15,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact218": {
- "workflow_id": 16,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact219": {
- "workflow_id": 17,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact220": {
- "workflow_id": 18,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact221": {
- "workflow_id": 19,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact222": {
- "workflow_id": 20,
- "active": true
- }
- },
- "Workflow": [
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202",
- "samestep": false,
- "steplink": 1,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 3.144779900000003
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203",
- "samestep": false,
- "steplink": 2,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 9.367621499999814
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204",
- "samestep": false,
- "steplink": 3,
- "creation": true,
- "gadget_rank": 2,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202" ],
- "GadgetTime": 10.97424860000001
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact205",
- "samestep": false,
- "steplink": 4,
- "creation": true,
- "gadget_rank": 3,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 14.957761799999844
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact206",
- "samestep": false,
- "steplink": 5,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 18.957587499999819
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact207",
- "samestep": false,
- "steplink": 6,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact202" ],
- "GadgetTime": 21.823295199999849
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact208",
- "samestep": false,
- "steplink": 7,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": "OppositeLen",
- "GadgetFlow": [],
- "GadgetTime": 33.09989239999982
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209",
- "samestep": false,
- "steplink": 10,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact203", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 39.04403860000002
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact210",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 39.04403860000002
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact211",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 39.04403860000002
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212",
- "samestep": false,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 44.71679919999997
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact213",
- "samestep": true,
- "steplink": 10,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209" ],
- "GadgetTime": 44.71679919999997
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214",
- "samestep": false,
- "steplink": 17,
- "creation": true,
- "gadget_rank": 12,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact209", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 50.95342979999987
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact215",
- "samestep": true,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 12,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 50.95342979999987
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact216",
- "samestep": true,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 12,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 50.95342979999987
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact217",
- "samestep": true,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 12,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 50.95342979999987
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact218",
- "samestep": true,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 12,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 50.95342979999987
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact219",
- "samestep": false,
- "steplink": 18,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 54.19296939999981
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact220",
- "samestep": false,
- "steplink": 19,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact212" ],
- "GadgetTime": 56.55137949999994
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact221",
- "samestep": false,
- "steplink": 20,
- "creation": true,
- "gadget_rank": 3,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact214", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact204" ],
- "GadgetTime": 59.82344219999982
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory5?fact222",
- "samestep": false,
- "steplink": 21,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": "OppositeLen",
- "GadgetFlow": [],
- "GadgetTime": 83.29748599999994
- }
- ],
- "marker": 21,
- "worksteps": 14,
- "backlog": 0,
- "soft_resetted": false,
- "invoke": false,
- "MaxLabelId": 5,
- "UnusedLabelIds": [ 1, 2, 3, 4, 5 ],
- "name": null,
- "path": null
- },
- "name": "TechDemo B_save_1",
- "path": null
- },
- {
- "solved": true,
- "date": -8585394389166339628,
- "seconds": 101.30750609999996,
- "factState": {
- "WorkflowGadgetDict": {
- "-1": null,
- "0": {
- "s_type": "Pointer",
- "Rank": 1,
- "UiName": "Pointer",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 1,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 24066 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501" ]
- },
- "2": {
- "s_type": "Pendulum",
- "Rank": 6,
- "UiName": "Pendulum",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 6,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 1 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494" ]
- },
- "3": {
- "s_type": "Remover",
- "Rank": 8,
- "UiName": "Delete Fact",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 8,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 115219 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495" ]
- },
- "4": {
- "s_type": "LineTool",
- "Rank": 4,
- "UiName": "Line Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 4,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": []
- },
- "7": {
- "s_type": "LotTool",
- "Rank": 5,
- "UiName": "Lot Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 5,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 86530 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": []
- },
- "19": {
- "s_type": "AngleTool",
- "Rank": 3,
- "UiName": "Angle Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 3,
- "MaterialIndx": 1,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505" ]
- },
- "23": {
- "s_type": "Tape",
- "Rank": 2,
- "UiName": "Tape",
- "MaxRange": 2.5,
- "MaxHeight": 2.5,
- "ButtonIndx": 2,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 },
- "Workflow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ]
- }
- },
- "FactDict": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494": {
- "s_type": "PointFact",
- "Point": {
- "x": 5.864498,
- "y": 6.2535,
- "z": -10.552001,
- "normalized": {
- "x": 0.431349158,
- "y": 0.459961265,
- "z": -0.7761273,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 13.59571,
- "sqrMagnitude": 184.843323
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Label": "A",
- "hasCustomLabel": false,
- "LabelId": 1
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495": {
- "s_type": "PointFact",
- "Point": {
- "x": 8.788986,
- "y": -0.00494432449,
- "z": -4.796604,
- "normalized": {
- "x": 0.877785742,
- "y": -0.0004938064,
- "z": -0.47905305,
- "normalized": {
- "x": 0.8777858,
- "y": -0.000493806438,
- "z": -0.47905308,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 0.99999994,
- "sqrMagnitude": 0.9999999
- },
- "magnitude": 10.0126781,
- "sqrMagnitude": 100.253716
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495",
- "Label": "F",
- "hasCustomLabel": true,
- "LabelId": -2
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496": {
- "s_type": "PointFact",
- "Point": {
- "x": 5.864502,
- "y": -0.00494384766,
- "z": -10.552002,
- "normalized": {
- "x": 0.485787123,
- "y": -0.000409524539,
- "z": -0.874077,
- "normalized": {
- "x": 0.485787153,
- "y": -0.000409524568,
- "z": -0.8740771,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "magnitude": 0.99999994,
- "sqrMagnitude": 0.99999994
- },
- "magnitude": 12.0721645,
- "sqrMagnitude": 145.737152
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Label": "C",
- "hasCustomLabel": false,
- "LabelId": 3
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497": {
- "s_type": "RayFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Dir": {
- "x": -6.09528058e-7,
- "y": 1.0,
- "z": 1.52382015e-7,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497",
- "Label": "]CA[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact498": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact498",
- "Label": "A∈]CA[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact499": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact499",
- "Label": "C∈]CA[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500": {
- "s_type": "PointFact",
- "Point": {
- "x": 6.93117142,
- "y": -0.00494364649,
- "z": -7.60458374,
- "normalized": {
- "x": 0.67362535,
- "y": -0.0004804622,
- "z": -0.739072859,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "magnitude": 10.2893562,
- "sqrMagnitude": 105.870857
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Label": "B",
- "hasCustomLabel": false,
- "LabelId": 2
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501": {
- "s_type": "RayFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Dir": {
- "x": 0.3403003,
- "y": 6.41780247e-8,
- "z": 0.940316856,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501",
- "Label": "]CB[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact502": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact502",
- "Label": "C∈]CB[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact503": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact503",
- "Label": "B∈]CB[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact504": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact504",
- "Label": "⊾ACB",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505": {
- "s_type": "PointFact",
- "Point": {
- "x": 3.96935177,
- "y": -0.00494420528,
- "z": -15.7886763,
- "normalized": {
- "x": 0.243817836,
- "y": -0.000303698325,
- "z": -0.969821036,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "magnitude": 16.27999,
- "sqrMagnitude": 265.0381
- },
- "Normal": {
- "x": -6.417745e-8,
- "y": 1.0,
- "z": -4.50250823e-8,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "Label": "D",
- "hasCustomLabel": false,
- "LabelId": 4
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact506": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact506",
- "Label": "D∈]CB[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507": {
- "s_type": "PointFact",
- "Point": {
- "x": 3.04246736,
- "y": -0.004944342,
- "z": -9.530709,
- "normalized": {
- "x": 0.304108322,
- "y": -0.000494209235,
- "z": -0.9526373,
- "magnitude": 1.0,
- "sqrMagnitude": 0.99999994
- },
- "magnitude": 10.0045519,
- "sqrMagnitude": 100.091049
- },
- "Normal": {
- "x": 0.0,
- "y": 1.0,
- "z": 0.0,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Label": "E",
- "hasCustomLabel": false,
- "LabelId": 5
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508": {
- "s_type": "RayFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Dir": {
- "x": -0.940316856,
- "y": -1.64780772e-7,
- "z": 0.340300143,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508",
- "Label": "]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact509": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact509",
- "Label": "C∈]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact510": {
- "s_type": "OnLineFact",
- "Pid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Rid": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508",
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact510",
- "Label": "E∈]CE[",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact511": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact511",
- "Label": "⊾BCE",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact512": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "is_right_angle": false,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact512",
- "Label": "∠ABC",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact513": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact513",
- "Label": "⊾BCA",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact514": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "is_right_angle": false,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact514",
- "Label": "∠DEC",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact515": {
- "s_type": "AngleFact",
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid3": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "is_right_angle": true,
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact515",
- "Label": "⊾ECD",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact516": {
- "s_type": "LineFact",
- "Distance": 3.13449478,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Dir": {
- "x": -0.3403003,
- "y": -6.41780247e-8,
- "z": -0.940316856,
- "magnitude": 1.0,
- "sqrMagnitude": 1.00000012
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact516",
- "Label": "[BC]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact517": {
- "s_type": "LineFact",
- "Distance": 3.00115275,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Dir": {
- "x": 0.940316856,
- "y": 1.64780772e-7,
- "z": -0.340300143,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact517",
- "Label": "[EC]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact518": {
- "s_type": "LineFact",
- "Distance": 6.258444,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "Dir": {
- "x": -6.09528058e-7,
- "y": 1.0,
- "z": 1.52382015e-7,
- "magnitude": 1.0,
- "sqrMagnitude": 1.0
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact518",
- "Label": "[CA]",
- "hasCustomLabel": false,
- "LabelId": 0
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact519": {
- "s_type": "LineFact",
- "Distance": 5.569053,
- "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "Dir": {
- "x": -0.340300262,
- "y": -6.4217e-8,
- "z": -0.9403168,
- "magnitude": 1.0,
- "sqrMagnitude": 0.99999994
- },
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact519",
- "Label": "[CD]",
- "hasCustomLabel": false,
- "LabelId": 0
- }
- },
- "MetaInf": {
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494": {
- "workflow_id": 0,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495": {
- "workflow_id": 1,
- "active": false
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496": {
- "workflow_id": 2,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497": {
- "workflow_id": 4,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact498": {
- "workflow_id": 5,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact499": {
- "workflow_id": 6,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500": {
- "workflow_id": 7,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501": {
- "workflow_id": 8,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact502": {
- "workflow_id": 9,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact503": {
- "workflow_id": 10,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact504": {
- "workflow_id": 11,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505": {
- "workflow_id": 12,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact506": {
- "workflow_id": 13,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507": {
- "workflow_id": 14,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508": {
- "workflow_id": 15,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact509": {
- "workflow_id": 16,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact510": {
- "workflow_id": 17,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact511": {
- "workflow_id": 18,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact512": {
- "workflow_id": 19,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact513": {
- "workflow_id": 20,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact514": {
- "workflow_id": 21,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact515": {
- "workflow_id": 22,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact516": {
- "workflow_id": 23,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact517": {
- "workflow_id": 24,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact518": {
- "workflow_id": 25,
- "active": true
- },
- "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact519": {
- "workflow_id": 26,
- "active": true
- }
- },
- "Workflow": [
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494",
- "samestep": false,
- "steplink": 1,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 3.008776900000157
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495",
- "samestep": false,
- "steplink": 2,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 5.677035600000181
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496",
- "samestep": false,
- "steplink": 3,
- "creation": true,
- "gadget_rank": 2,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494" ],
- "GadgetTime": 7.0711654000001549
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495",
- "samestep": false,
- "steplink": 4,
- "creation": false,
- "gadget_rank": 3,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact495" ],
- "GadgetTime": 8.808116900000187
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497",
- "samestep": false,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494" ],
- "GadgetTime": 11.177055099999962
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact498",
- "samestep": true,
- "steplink": 4,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 11.177055099999962
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact499",
- "samestep": true,
- "steplink": 4,
- "creation": true,
- "gadget_rank": 4,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 11.177055099999962
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500",
- "samestep": false,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact497", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 23.427122900000087
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 23.427122900000087
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact502",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 23.427122900000087
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact503",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 23.427122900000087
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact504",
- "samestep": true,
- "steplink": 7,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 23.427122900000087
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505",
- "samestep": false,
- "steplink": 14,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 28.380581500000063
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact506",
- "samestep": true,
- "steplink": 12,
- "creation": true,
- "gadget_rank": 0,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501" ],
- "GadgetTime": 28.380581500000063
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507",
- "samestep": false,
- "steplink": 19,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact501", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 32.632836000000228
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact508",
- "samestep": true,
- "steplink": 14,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 32.632836000000228
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact509",
- "samestep": true,
- "steplink": 14,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 32.632836000000228
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact510",
- "samestep": true,
- "steplink": 14,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 32.632836000000228
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact511",
- "samestep": true,
- "steplink": 14,
- "creation": true,
- "gadget_rank": 7,
- "scroll_label": null,
- "GadgetFlow": [],
- "GadgetTime": 32.632836000000228
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact512",
- "samestep": false,
- "steplink": 20,
- "creation": true,
- "gadget_rank": 19,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 35.90645309999991
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact513",
- "samestep": false,
- "steplink": 21,
- "creation": true,
- "gadget_rank": 19,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact494" ],
- "GadgetTime": 37.86789859999999
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact514",
- "samestep": false,
- "steplink": 22,
- "creation": true,
- "gadget_rank": 19,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 40.42473289999998
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact515",
- "samestep": false,
- "steplink": 23,
- "creation": true,
- "gadget_rank": 19,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact505" ],
- "GadgetTime": 42.320842300000098
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact516",
- "samestep": false,
- "steplink": 24,
- "creation": true,
- "gadget_rank": 23,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact500", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 47.03315449999991
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact517",
- "samestep": false,
- "steplink": 25,
- "creation": true,
- "gadget_rank": 23,
- "scroll_label": null,
- "GadgetFlow": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact507", "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact496" ],
- "GadgetTime": 51.29664619999994
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact518",
- "samestep": false,
- "steplink": 26,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": "OppositeLen",
- "GadgetFlow": [],
- "GadgetTime": 72.81315610000002
- },
- {
- "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory9?fact519",
- "samestep": false,
- "steplink": 27,
- "creation": true,
- "gadget_rank": -1,
- "scroll_label": "OppositeLen",
- "GadgetFlow": [],
- "GadgetTime": 96.97216720000006
- }
- ],
- "marker": 27,
- "worksteps": 16,
- "backlog": 0,
- "soft_resetted": false,
- "invoke": false,
- "MaxLabelId": 5,
- "UnusedLabelIds": [],
- "name": null,
- "path": null
- },
- "name": "TechDemo B_save_3",
- "path": null
- }
- ],
- "AllowedScrolls": [ "OppositeLen", "AngleSum", "Pythagoras", "CircleScroll", "CircleAreaScroll", "ConeVolumeScroll", "TruncatedConeVolumeScroll", "CylinderVolumeScroll", "MidPoint", "CircleLineAngleScroll", "CircleLineAngleToAngle", "SupplementaryAngles" ],
- "AllowedGadgets": [
- {
- "s_type": "Pointer",
- "Rank": 1,
- "UiName": "Pointer",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 1,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 24066 },
- "SecondaryLayerMask": { "value": 0 }
- },
- {
- "s_type": "Tape",
- "Rank": 2,
- "UiName": "Tape",
- "MaxRange": 2.5,
- "MaxHeight": 2.5,
- "ButtonIndx": 2,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 }
- },
- {
- "s_type": "AngleTool",
- "Rank": 3,
- "UiName": "Angle Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 3,
- "MaterialIndx": 1,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 }
- },
- {
- "s_type": "LineTool",
- "Rank": 4,
- "UiName": "Line Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 4,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 0 }
- },
- {
- "s_type": "LotTool",
- "Rank": 5,
- "UiName": "Lot Tool",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 5,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 86530 },
- "SecondaryLayerMask": { "value": 0 }
- },
- {
- "s_type": "Pendulum",
- "Rank": 6,
- "UiName": "Pendulum",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 6,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 96770 },
- "SecondaryLayerMask": { "value": 1 }
- },
- {
- "s_type": "Remover",
- "Rank": 8,
- "UiName": "Delete Fact",
- "MaxRange": "Infinity",
- "MaxHeight": "Infinity",
- "ButtonIndx": 8,
- "MaterialIndx": 0,
- "IgnoreLayerMask": { "value": 115219 },
- "SecondaryLayerMask": { "value": 0 }
- }
- ],
- "name": "TechDemo B",
- "path": null
-}
\ No newline at end of file
+{"category":"Demo Category","number":2,"description":"River Stage","scene":"RiverWorld","use_install_folder":true,"solution":{"ValidationSet":[{"MasterIDs":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12"],"SolutionIndex":[],"RelationIndex":[],"ComparerString":"LineFactHightDirectionComparer"},{"MasterIDs":["http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12"],"SolutionIndex":[],"RelationIndex":[],"ComparerString":"LineSpanningOverRiverWorldComparer"},{"MasterIDs":[],"SolutionIndex":[1],"RelationIndex":[0],"ComparerString":"LineFactHightComparer"}],"WorkflowGadgetDict":{"-1":null},"FactDict":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10":{"s_type":"PointFact","Point":{"x":0.0,"y":0.0,"z":0.0,"magnitude":0.0,"sqrMagnitude":0.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10","Label":"A","hasCustomLabel":false,"LabelId":1},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11":{"s_type":"PointFact","Point":{"x":0.0,"y":6.0,"z":0.0,"normalized":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"magnitude":6.0,"sqrMagnitude":36.0},"Normal":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11","Label":"B","hasCustomLabel":false,"LabelId":2},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12":{"s_type":"LineFact","Distance":6.0,"Pid1":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10","Pid2":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11","Dir":{"x":0.0,"y":1.0,"z":0.0,"magnitude":1.0,"sqrMagnitude":1.0},"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12","Label":"[AB]","hasCustomLabel":false,"LabelId":0}},"MetaInf":{"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10":{"workflow_id":0,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11":{"workflow_id":1,"active":true},"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12":{"workflow_id":2,"active":true}},"Workflow":[{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10","samestep":false,"steplink":3,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0},{"Id":"http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12","samestep":true,"steplink":0,"creation":true,"gadget_rank":-1,"scroll_label":null,"GadgetFlow":[],"GadgetTime":0.0}],"marker":3,"worksteps":1,"backlog":0,"soft_resetted":false,"invoke":true,"MaxLabelId":2,"UnusedLabelIds":[],"name":null,"path":null},"solution_approches":[],"AllowedScrolls":["OppositeLen","AngleSum","Pythagoras","CircleScroll","CircleAreaScroll","ConeVolumeScroll","TruncatedConeVolumeScroll","CylinderVolumeScroll","MidPoint","CircleLineAngleScroll","CircleLineAngleToAngle","SupplementaryAngles"],"AllowedGadgets":[{"s_type":"Pointer","Rank":1,"UiName":"Pointer","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":1,"MaterialIndx":0,"IgnoreLayerMask":{"value":7682},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"Tape","Rank":2,"UiName":"Tape","MaxRange":2.5,"MaxHeight":2.5,"ButtonIndx":2,"MaterialIndx":0,"IgnoreLayerMask":{"value":129538},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"AngleTool","Rank":3,"UiName":"Angle Tool","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":3,"MaterialIndx":1,"IgnoreLayerMask":{"value":129538},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"LineTool","Rank":4,"UiName":"Line Tool","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":4,"MaterialIndx":0,"IgnoreLayerMask":{"value":129538},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"LotTool","Rank":5,"UiName":"Lot Tool","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":5,"MaterialIndx":0,"IgnoreLayerMask":{"value":102914},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"Pendulum","Rank":6,"UiName":"Pendulum","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":6,"MaterialIndx":0,"IgnoreLayerMask":{"value":129538},"SecondaryLayerMask":{"value":1},"Workflow":[]},{"s_type":"Remover","Rank":8,"UiName":"Delete Fact","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":8,"MaterialIndx":0,"IgnoreLayerMask":{"value":66067},"SecondaryLayerMask":{"value":0},"Workflow":[]},{"s_type":"EqualCircles","Rank":9,"UiName":"Not Defined","MaxRange":"Infinity","MaxHeight":"Infinity","ButtonIndx":9,"MaterialIndx":0,"IgnoreLayerMask":{"value":0},"SecondaryLayerMask":{"value":0},"Workflow":[]}],"name":"TechDemo B","path":null}
\ No newline at end of file
diff --git a/Assets/Stages/ValidationSets.meta b/Assets/Stages/ValidationSets.meta
deleted file mode 100644
index ad54ce5b72374f0e9fadfc549f9adb0647c3469e..0000000000000000000000000000000000000000
--- a/Assets/Stages/ValidationSets.meta
+++ /dev/null
@@ -1,8 +0,0 @@
-fileFormatVersion: 2
-guid: adcbcdc21be4b2a4a85d96580503e38b
-folderAsset: yes
-DefaultImporter:
- externalObjects: {}
- userData:
- assetBundleName:
- assetBundleVariant:
diff --git a/Assets/Stages/ValidationSets/FactStateMachines.meta b/Assets/Stages/ValidationSets/FactStateMachines.meta
deleted file mode 100644
index 68a821ae6e3583c321ba3eeca2f1db3497cbe36b..0000000000000000000000000000000000000000
--- a/Assets/Stages/ValidationSets/FactStateMachines.meta
+++ /dev/null
@@ -1,8 +0,0 @@
-fileFormatVersion: 2
-guid: a751eddeb4588f44f83b26062e18ef32
-folderAsset: yes
-DefaultImporter:
- externalObjects: {}
- userData:
- assetBundleName:
- assetBundleVariant: