{ "category": "Demo Category", "number": 1, "description": "Tree Stage", "scene": "RiverWorld", "use_install_folder": true, "solution": { "ValidationSet": [ { "MasterIDs": [ "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact3" ], "SolutionIndex": [], "RelationIndex": [], "ComparerString": "LineFactHightDirectionComparer" } ], "ExposedSolutionFacts": [], "ScrollOverwrites": {}, "ImmutableFacts": [], "WorkflowGadgetDict": { "-1": null }, "MetaInf": { "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1": { "workflow_id": 0, "active": true, "isImmutable": false }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact2": { "workflow_id": 1, "active": true, "isImmutable": false }, "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact3": { "workflow_id": 2, "active": true, "isImmutable": false } }, "Workflow": [ { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1", "samestep": false, "steplink": 3, "creation": true, "gadget_rank": -1, "scroll_label": null, "GadgetFlow": [], "GadgetTime": 0.0 }, { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact2", "samestep": true, "steplink": 0, "creation": true, "gadget_rank": -1, "scroll_label": null, "GadgetFlow": [], "GadgetTime": 0.0 }, { "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact3", "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?fact1": { "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?fact2": { "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?fact3": { "s_type": "LineFact", "Pid1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact1", "Pid2": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact2", "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": null, "AllowedGadgets": null, "name": "TechDemo A", "path": null }