TechDemo A.JSON

{
  "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
}