TechDemo B.JSON

{
  "category": "Demo Category",
  "number": 2,
  "description": "River Stage",
  "scene": "RiverWorld",
  "use_install_folder": true,
  "solution": {
    "ValidationSet": [
      {
        "MasterIDs": [
          "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0))"
        ],
        "SolutionIndex": [],
        "RelationIndex": [],
        "ComparerString": "LineFactHightDirectionComparer"
      },
      {
        "MasterIDs": [
          "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0))"
        ],
        "SolutionIndex": [],
        "RelationIndex": [],
        "ComparerString": "LineSpanningOverRiverWorldComparer"
      },
      {
        "MasterIDs": [],
        "SolutionIndex": [
          1
        ],
        "RelationIndex": [
          0
        ],
        "ComparerString": "LineFactHightComparer"
      }
    ],
    "ExposedSolutionFacts": [],
    "ImmutableFacts": [],
    "WorkflowGadgetDict": {
      "-1": null
    },
    "MetaInf": {
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0)": {
        "workflow_id": 0,
        "active": true,
        "isImmutable": false
      },
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0)": {
        "workflow_id": 1,
        "active": true,
        "isImmutable": false
      },
      "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0))": {
        "workflow_id": 2,
        "active": true,
        "isImmutable": false
      }
    },
    "Workflow": [
      {
        "Id": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0)",
        "samestep": false,
        "steplink": 3,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.81129899999996269
      },
      {
        "Id": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0)",
        "samestep": true,
        "steplink": 0,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.81129899999996269
      },
      {
        "Id": "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0))",
        "samestep": true,
        "steplink": 0,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
        "GadgetTime": 0.81129899999996269
      }
    ],
    "marker": 3,
    "worksteps": 1,
    "backlog": 0,
    "soft_resetted": false,
    "invoke": true,
    "MaxLabelId": 2,
    "UnusedLabelIds": [],
    "JsonFactSpace": {
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0)": {
        "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",
        "ServerDefinition": {
          "kind": "OMA",
          "applicant": {
            "kind": "OMS",
            "uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"
          },
          "arguments": [
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 0.0
            },
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 0.0
            },
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 0.0
            }
          ]
        },
        "Label": "A",
        "hasCustomLabel": false,
        "LabelId": 1
      },
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0)": {
        "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",
        "ServerDefinition": {
          "kind": "OMA",
          "applicant": {
            "kind": "OMS",
            "uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"
          },
          "arguments": [
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 0.0
            },
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 6.0
            },
            {
              "kind": "OMLIT<Single>",
              "type": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
              "value": 0.0
            }
          ]
        },
        "Label": "B",
        "hasCustomLabel": false,
        "LabelId": 2
      },
      "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0))": {
        "s_type": "LineFact",
        "Pid1": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0)",
        "Pid2": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0)",
        "Dir": {
          "x": 0.0,
          "y": -1.0,
          "z": 0.0,
          "magnitude": 1.0,
          "sqrMagnitude": 1.0
        },
        "ServerDefinition": {
          "kind": "OMA",
          "applicant": {
            "kind": "OMS",
            "uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric"
          },
          "arguments": [
            {
              "kind": "OMS",
              "uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0, 0)"
            },
            {
              "kind": "OMS",
              "uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6, 0)"
            }
          ]
        },
        "Label": "[AB]",
        "hasCustomLabel": false,
        "LabelId": 0
      }
    },
    "name": null,
    "path": 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
}