{ "category": "Demo Category", "number": 2, "description": "River Stage", "scene": "RiverWorld", "use_install_folder": true, "solution": { "ValidationSet": [ { "MasterIDs": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact6" ], "SolutionIndex": [], "RelationIndex": [], "ComparerString": "LineFactHightDirectionComparer" }, { "MasterIDs": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact6" ], "SolutionIndex": [], "RelationIndex": [], "ComparerString": "LineSpanningOverRiverWorldComparer" }, { "MasterIDs": [], "SolutionIndex": [ 1 ], "RelationIndex": [ 0 ], "ComparerString": "LineFactHightComparer" } ], "ExposedSolutionFacts": [], "ScrollOverwrites": {}, "ImmutableFacts": [], "WorkflowGadgetDict": { "-1": null }, "MetaInf": { "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact4": { "workflow_id": 0, "active": true, "isImmutable": false }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact5": { "workflow_id": 1, "active": true, "isImmutable": false }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact6": { "workflow_id": 2, "active": true, "isImmutable": false } }, "Workflow": [ { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact4", "samestep": false, "steplink": 3, "creation": true, "gadget_rank": -1, "scroll_label": null, "GadgetFlow": [], "GadgetTime": 0.0 }, { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact5", "samestep": true, "steplink": 0, "creation": true, "gadget_rank": -1, "scroll_label": null, "GadgetFlow": [], "GadgetTime": 0.0 }, { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact6", "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": [], "JsonFactSpace": { "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact4": { "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 }, "s_type": "PointFact", "_CustomLabel": null, "hasCustomLabel": false, "LabelId": 1 }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact5": { "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 }, "s_type": "PointFact", "_CustomLabel": null, "hasCustomLabel": false, "LabelId": 2 }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact6": { "s_type": "LineFact", "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact4", "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact5", "Dir": { "x": 0.0, "y": -1.0, "z": 0.0, "magnitude": 1.0, "sqrMagnitude": 1.0 }, "_CustomLabel": null, "hasCustomLabel": false, "LabelId": 0 } }, "name": null, "path": null }, "record_index": null, "solution_approches": [], "AllowedScrolls": [ "http://mathhub.info/FrameIT/frameworld?OppositeLen" ], "AllowedGadgets": [ { "s_type": "Pointer", "Rank": 1, "UiName": "Pointer", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 1, "MaterialIndx": 0, "LayerHitMask": { "value": 1581105 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] }, { "s_type": "Tape", "Rank": 2, "UiName": "Tape", "MaxRange": 2.5, "MaxHeight": 2.5, "ButtonIndx": 2, "MaterialIndx": 0, "LayerHitMask": { "value": 1024 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] }, { "s_type": "AngleTool", "Rank": 3, "UiName": "Angle Tool", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 3, "MaterialIndx": 1, "LayerHitMask": { "value": 1024 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] }, { "s_type": "LineTool", "Rank": 4, "UiName": "Line Tool", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 4, "MaterialIndx": 0, "LayerHitMask": { "value": 1024 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] }, { "s_type": "LotTool", "Rank": 5, "UiName": "Lot Tool", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 5, "MaterialIndx": 0, "LayerHitMask": { "value": 535569 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] }, { "s_type": "Pendulum", "Rank": 6, "UiName": "Pendulum", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 6, "MaterialIndx": 0, "LayerHitMask": { "value": 1024 }, "SecondaryLayerMask": { "value": 1 }, "Workflow": [] }, { "s_type": "Remover", "Rank": 8, "UiName": "Delete Fact", "MaxRange": "Infinity", "MaxHeight": "Infinity", "ButtonIndx": 8, "MaterialIndx": 0, "LayerHitMask": { "value": 64512 }, "SecondaryLayerMask": { "value": 0 }, "Workflow": [] } ], "name": "TechDemo B", "path": null }