Skip to content
Snippets Groups Projects
Normal view Permalink
CanonBall 2D.JSON 478 KiB
Newer Older
  • Learn to ignore specific revisions
    • MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    1 2 3 4 5 6 7 8 9 
    {
  "category": "CanonBall",
  "number": 1,
  "description": "CanonBall 2D Test",
  "scene": "RiverWorld",
  "use_install_folder": true,
  "solution": {
    "ValidationSet": [],
    "ExposedSolutionFacts": [
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    10 11 12 13 14 15 16 17 18 19 20 21 22 23 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact13",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact16",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact19",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact22",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact25",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact28",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact31",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact34",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact37",
      "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact40",
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(-1E-05, 0.2337258), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.71507, 18.63876), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.3575, -24.0345), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(-1E-05)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.2337158, 0.4320768), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 16.16695, 13.02121), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 18.38171, -6.944755), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.2337158)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.4320667, 0.9467315), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 19.61987, 11.64365), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -13.14871, -5.555804), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.4320667)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.9467215, 1.613118), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.5536, 8.784481), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -3.188384, 14.88368), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.9467215)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(1.613108, 4.627315), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.250884, 18.70275), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.18734, -1.015321), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(1.613108)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(4.627305, 5.634649), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.450568, 15.64226), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.268845, -11.15014), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(4.627305)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(5.634639, 6.117978), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.780749, 4.41036), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.589557, 1.108319), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(5.634639)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(6.117968, 8.45536), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.0001146476, 4.946052), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.46481, 0.8866553), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(6.117968)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(8.455351, 10.32528), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.362611E-05, 7.018511), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.171925, 0.7093243), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(8.455351)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(10.32527, 11.82124), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337572E-05, 8.344899), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337621, 0.5674595), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(10.32527)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(11.82123, 13.01803), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.774759E-05, 9.193799), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.870175, 0.4539676), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(11.82123)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(13.01802, 13.97547), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696168E-05, 9.737103), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696218, 0.3631741), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.01802)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(13.97546, 14.74144), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.70932E-05, 10.08483), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.757053, 0.2905392), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.97546)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(14.74144, 15.35424), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.053354E-05, 10.30737), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.00572, 0.2324314), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(14.74144)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(15.35423, 15.8445), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404606E-05, 10.44981), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404655, 0.1859451), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.35423)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(15.84449, 16.23672), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923753E-05, 10.54097), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923803, 0.1487561), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.84449)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.23671, 16.55051), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.533111E-05, 10.59932), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.539121, 0.1190049), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.23671)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.5505, 16.80157), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231325E-05, 10.63666), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231375, 0.09520391), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.5505)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.80156, 17.00243), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.851289E-06, 10.66056), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.985178, 0.07616313), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.80156)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.00242, 17.16314), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.881718E-06, 10.67586), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.7882209, 0.0609305), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.00242)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.16313, 17.29172), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.320961E-06, 10.68566), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.6306551, 0.0487444), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.16313)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.29171, 17.39461), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.045537E-06, 10.69192), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.5046028, 0.03899552), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.29171)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.3946, 17.47693), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.03339E-06, 10.69594), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.4037606, 0.03119642), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.3946)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.47692, 17.54281), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.230379E-06, 10.6985), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.3230869, 0.02495714), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.47692)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.5428, 17.59553), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.584989E-06, 10.70015), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.258548, 0.01996571), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.5428)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.59552, 17.63773), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.068678E-06, 10.7012), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.2069168, 0.01597257), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.59552)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.63772, 17.6715), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.655629E-06, 10.70187), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1656119, 0.01277805), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.63772)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.67149, 17.69854), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.324724E-06, 10.70231), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.132568, 0.01022244), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.67149)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.69853, 17.72019), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.060837E-06, 10.70258), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1061328, 0.008177955), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.69853)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.72018, 17.73752), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 8.49123E-07, 10.70276), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.08498463, 0.006542364), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.72018)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.73751, 17.75141), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.800538E-07, 10.70287), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.06806608, 0.005233891), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.73751)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
      "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.7514, 17.76254), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.448217E-07, 10.70295), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.05453122, 0.004187113), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.7514)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})"
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    56 
        ],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 
        "ScrollOverwrites": {
      "http://mathhub.info/FrameIT/frameworld?WBouncingScroll": [
        {
          "Item1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7",
          "Item2": 0,
          "Item3": true
        },
        {
          "Item1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8",
          "Item2": 1,
          "Item3": true
        },
        {
          "Item1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9",
          "Item2": 2,
          "Item3": true
        },
        {
          "Item1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10",
          "Item2": 3,
          "Item3": true
        },
        {
          "Item1": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact41",
          "Item2": 4,
          "Item3": true
        }
      ]
    },
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    86 87 88 89 90 
        "ImmutableFacts": [],
    "WorkflowGadgetDict": {
      "-1": null
    },
    "MetaInf": {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    91 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    92 93 94 95 
            "workflow_id": 0,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    96 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    97 98 99 100 
            "workflow_id": 1,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    101 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    102 103 104 105 
            "workflow_id": 2,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    106 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    107 108 109 110 
            "workflow_id": 3,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    111 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    112 113 114 115 
            "workflow_id": 4,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    116 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    117 118 119 120 
            "workflow_id": 5,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    121 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact13": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    122 123 124 125 
            "workflow_id": 6,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    126 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact14": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    127 128 129 130 
            "workflow_id": 7,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    131 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact15": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    132 133 134 135 
            "workflow_id": 8,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    136 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact16": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    137 138 139 140 
            "workflow_id": 9,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    141 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact17": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    142 143 144 145 
            "workflow_id": 10,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    146 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact18": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    147 148 149 150 
            "workflow_id": 11,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    151 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact19": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    152 153 154 155 
            "workflow_id": 12,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    156 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact20": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    157 158 159 160 
            "workflow_id": 13,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    161 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact21": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    162 163 164 165 
            "workflow_id": 14,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    166 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact22": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    167 168 169 170 
            "workflow_id": 15,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    171 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact23": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    172 173 174 175 
            "workflow_id": 16,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    176 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact24": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    177 178 179 180 
            "workflow_id": 17,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    181 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact25": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    182 183 184 185 
            "workflow_id": 18,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    186 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact26": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    187 188 189 190 
            "workflow_id": 19,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    191 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact27": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    192 193 194 195 
            "workflow_id": 20,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    196 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact28": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    197 198 199 200 
            "workflow_id": 21,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    201 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact29": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    202 203 204 205 
            "workflow_id": 22,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    206 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact30": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    207 208 209 210 
            "workflow_id": 23,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    211 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact31": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    212 213 214 215 
            "workflow_id": 24,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    216 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact32": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    217 218 219 220 
            "workflow_id": 25,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    221 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact33": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    222 223 224 225 
            "workflow_id": 26,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    226 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact34": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    227 228 229 230 
            "workflow_id": 27,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    231 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact35": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    232 233 234 235 
            "workflow_id": 28,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    236 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact36": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    237 238 239 240 
            "workflow_id": 29,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    241 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact37": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    242 243 244 245 
            "workflow_id": 30,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    246 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact38": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    247 248 249 250 
            "workflow_id": 31,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    251 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact39": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    252 253 254 255 
            "workflow_id": 32,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    256 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact40": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    257 258 259 260 
            "workflow_id": 33,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    261 
          "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact41": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    262 263 264 265 266 267 268 269 270 
            "workflow_id": 34,
        "active": true,
        "isImmutable": false
      },
      "[Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))}": {
        "workflow_id": 35,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    271 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.71507, 18.63876), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.3575, -24.0345), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(-1E-05)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    272 273 274 275 
            "workflow_id": 36,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    276 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(-1E-05, 0.2337258), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.71507, 18.63876), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.3575, -24.0345), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(-1E-05)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    277 278 279 280 
            "workflow_id": 37,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    281 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 16.16695, 13.02121), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 18.38171, -6.944755), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.2337158)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    282 283 284 285 
            "workflow_id": 38,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    286 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.2337158, 0.4320768), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 16.16695, 13.02121), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 18.38171, -6.944755), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.2337158)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    287 288 289 290 
            "workflow_id": 39,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    291 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 19.61987, 11.64365), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -13.14871, -5.555804), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.4320667)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    292 293 294 295 
            "workflow_id": 40,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    296 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.4320667, 0.9467315), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 19.61987, 11.64365), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -13.14871, -5.555804), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.4320667)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    297 298 299 300 
            "workflow_id": 41,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    301 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.5536, 8.784481), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -3.188384, 14.88368), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.9467215)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    302 303 304 305 
            "workflow_id": 42,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    306 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.9467215, 1.613118), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.5536, 8.784481), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -3.188384, 14.88368), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.9467215)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    307 308 309 310 
            "workflow_id": 43,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    311 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.250884, 18.70275), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.18734, -1.015321), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(1.613108)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    312 313 314 315 
            "workflow_id": 44,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    316 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(1.613108, 4.627315), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.250884, 18.70275), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.18734, -1.015321), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(1.613108)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    317 318 319 320 
            "workflow_id": 45,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    321 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.450568, 15.64226), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.268845, -11.15014), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(4.627305)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    322 323 324 325 
            "workflow_id": 46,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    326 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(4.627305, 5.634649), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.450568, 15.64226), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.268845, -11.15014), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(4.627305)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    327 328 329 330 
            "workflow_id": 47,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    331 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.780749, 4.41036), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.589557, 1.108319), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(5.634639)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    332 333 334 335 
            "workflow_id": 48,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    336 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(5.634639, 6.117978), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.780749, 4.41036), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.589557, 1.108319), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(5.634639)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    337 338 339 340 
            "workflow_id": 49,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    341 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.0001146476, 4.946052), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.46481, 0.8866553), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(6.117968)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    342 343 344 345 
            "workflow_id": 50,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    346 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(6.117968, 8.45536), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.0001146476, 4.946052), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 11.46481, 0.8866553), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(6.117968)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    347 348 349 350 
            "workflow_id": 51,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    351 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.362611E-05, 7.018511), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.171925, 0.7093243), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(8.455351)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    352 353 354 355 
            "workflow_id": 52,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    356 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(8.455351, 10.32528), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.362611E-05, 7.018511), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.171925, 0.7093243), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(8.455351)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    357 358 359 360 
            "workflow_id": 53,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    361 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337572E-05, 8.344899), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337621, 0.5674595), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(10.32527)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    362 363 364 365 
            "workflow_id": 54,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    366 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(10.32527, 11.82124), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337572E-05, 8.344899), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.337621, 0.5674595), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(10.32527)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    367 368 369 370 
            "workflow_id": 55,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    371 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.774759E-05, 9.193799), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.870175, 0.4539676), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(11.82123)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    372 373 374 375 
            "workflow_id": 56,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    376 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(11.82123, 13.01803), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.774759E-05, 9.193799), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.870175, 0.4539676), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(11.82123)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    377 378 379 380 
            "workflow_id": 57,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    381 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696168E-05, 9.737103), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696218, 0.3631741), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.01802)))}": {
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    382 383 384 
            "workflow_id": 58,
        "active": true,
        "isImmutable": false
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    385 
          },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    386 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(13.01802, 13.97547), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696168E-05, 9.737103), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.696218, 0.3631741), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.01802)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    387 388 389 390 
            "workflow_id": 59,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    391 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.70932E-05, 10.08483), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.757053, 0.2905392), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.97546)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    392 393 394 395 
            "workflow_id": 60,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    396 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(13.97546, 14.74144), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.70932E-05, 10.08483), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.757053, 0.2905392), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(13.97546)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    397 398 399 400 401 402 403 404 405 
            "workflow_id": 61,
        "active": true,
        "isImmutable": false
      },
      "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.053354E-05, 10.30737), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.00572, 0.2324314), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(14.74144)))}": {
        "workflow_id": 62,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    406 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(14.74144, 15.35424), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.053354E-05, 10.30737), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.00572, 0.2324314), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(14.74144)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    407 408 409 410 
            "workflow_id": 63,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    411 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404606E-05, 10.44981), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404655, 0.1859451), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.35423)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    412 413 414 415 
            "workflow_id": 64,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    416 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(15.35423, 15.8445), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404606E-05, 10.44981), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.404655, 0.1859451), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.35423)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    417 418 419 420 
            "workflow_id": 65,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    421 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923753E-05, 10.54097), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923803, 0.1487561), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.84449)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    422 423 424 425 
            "workflow_id": 66,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    426 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(15.84449, 16.23672), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923753E-05, 10.54097), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.923803, 0.1487561), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(15.84449)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    427 428 429 430 
            "workflow_id": 67,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    431 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.533111E-05, 10.59932), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.539121, 0.1190049), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.23671)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    432 433 434 435 
            "workflow_id": 68,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    436 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.23671, 16.55051), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.533111E-05, 10.59932), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.539121, 0.1190049), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.23671)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    437 438 439 440 
            "workflow_id": 69,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    441 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231325E-05, 10.63666), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231375, 0.09520391), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.5505)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    442 443 444 445 
            "workflow_id": 70,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    446 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.5505, 16.80157), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231325E-05, 10.63666), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.231375, 0.09520391), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.5505)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    447 448 449 450 
            "workflow_id": 71,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    451 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.851289E-06, 10.66056), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.985178, 0.07616313), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.80156)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    452 453 454 455 
            "workflow_id": 72,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    456 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(16.80156, 17.00243), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 9.851289E-06, 10.66056), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.985178, 0.07616313), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(16.80156)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    457 458 459 460 
            "workflow_id": 73,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    461 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.881718E-06, 10.67586), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.7882209, 0.0609305), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.00242)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    462 463 464 465 
            "workflow_id": 74,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    466 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.00242, 17.16314), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.881718E-06, 10.67586), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.7882209, 0.0609305), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.00242)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    467 468 469 470 
            "workflow_id": 75,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    471 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.320961E-06, 10.68566), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.6306551, 0.0487444), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.16313)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    472 473 474 475 
            "workflow_id": 76,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    476 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.16313, 17.29172), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.320961E-06, 10.68566), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.6306551, 0.0487444), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.16313)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    477 478 479 480 
            "workflow_id": 77,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    481 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.045537E-06, 10.69192), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.5046028, 0.03899552), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.29171)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    482 483 484 485 
            "workflow_id": 78,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    486 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.29171, 17.39461), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.045537E-06, 10.69192), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.5046028, 0.03899552), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.29171)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    487 488 489 490 
            "workflow_id": 79,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    491 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.03339E-06, 10.69594), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.4037606, 0.03119642), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.3946)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    492 493 494 495 
            "workflow_id": 80,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    496 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.3946, 17.47693), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 4.03339E-06, 10.69594), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.4037606, 0.03119642), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.3946)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    497 498 499 500 
            "workflow_id": 81,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    501 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.230379E-06, 10.6985), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.3230869, 0.02495714), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.47692)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    502 503 504 505 
            "workflow_id": 82,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    506 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.47692, 17.54281), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 3.230379E-06, 10.6985), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.3230869, 0.02495714), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.47692)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    507 508 509 510 
            "workflow_id": 83,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    511 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.584989E-06, 10.70015), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.258548, 0.01996571), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.5428)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    512 513 514 515 
            "workflow_id": 84,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    516 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.5428, 17.59553), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.584989E-06, 10.70015), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.258548, 0.01996571), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.5428)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    517 518 519 520 
            "workflow_id": 85,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    521 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.068678E-06, 10.7012), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.2069168, 0.01597257), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.59552)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    522 523 524 525 
            "workflow_id": 86,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    526 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.59552, 17.63773), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 2.068678E-06, 10.7012), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.2069168, 0.01597257), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.59552)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    527 528 529 530 
            "workflow_id": 87,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    531 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.655629E-06, 10.70187), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1656119, 0.01277805), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.63772)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    532 533 534 535 
            "workflow_id": 88,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    536 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.63772, 17.6715), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.655629E-06, 10.70187), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1656119, 0.01277805), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.63772)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    537 538 539 540 
            "workflow_id": 89,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    541 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.324724E-06, 10.70231), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.132568, 0.01022244), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.67149)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    542 543 544 545 
            "workflow_id": 90,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    546 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.67149, 17.69854), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.324724E-06, 10.70231), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.132568, 0.01022244), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.67149)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    547 548 549 550 
            "workflow_id": 91,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    551 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.060837E-06, 10.70258), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1061328, 0.008177955), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.69853)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    552 553 554 555 
            "workflow_id": 92,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    556 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.69853, 17.72019), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 1.060837E-06, 10.70258), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.1061328, 0.008177955), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.69853)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    557 558 559 560 
            "workflow_id": 93,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    561 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 8.49123E-07, 10.70276), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.08498463, 0.006542364), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.72018)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    562 563 564 565 
            "workflow_id": 94,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    566 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.72018, 17.73752), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 8.49123E-07, 10.70276), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.08498463, 0.006542364), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.72018)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    567 568 569 570 
            "workflow_id": 95,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    571 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.800538E-07, 10.70287), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.06806608, 0.005233891), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.73751)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    572 573 574 575 
            "workflow_id": 96,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    576 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.73751, 17.75141), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 6.800538E-07, 10.70287), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.06806608, 0.005233891), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.73751)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    577 578 579 580 
            "workflow_id": 97,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    581 
          "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.448217E-07, 10.70295), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.05453122, 0.004187113), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.7514)))}": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    582 583 584 585 
            "workflow_id": 98,
        "active": true,
        "isImmutable": false
      },
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    586 
          "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(17.7514, 17.76254), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 5.448217E-07, 10.70295), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 0.05453122, 0.004187113), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(17.7514)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})": {
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    587 588 589 
            "workflow_id": 99,
        "active": true,
        "isImmutable": false
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    590 591 592 593 
          }
    },
    "Workflow": [
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    594 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact7",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    595 596 597 598 599 600 
            "samestep": false,
        "steplink": 1,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    601 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    602 603 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    604 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact8",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    605 606 607 608 609 610 
            "samestep": false,
        "steplink": 2,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    611 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    612 613 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    614 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact9",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    615 616 617 618 619 620 
            "samestep": false,
        "steplink": 3,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    621 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    622 623 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    624 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact10",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    625 626 627 628 629 630 
            "samestep": false,
        "steplink": 4,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    631 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    632 633 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    634 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact11",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    635 636 637 638 639 640 
            "samestep": false,
        "steplink": 7,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    641 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    642 643 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    644 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact12",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    645 646 647 648 649 650 
            "samestep": true,
        "steplink": 4,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    651 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    652 653 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    654 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact13",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    655 656 657 658 659 660 
            "samestep": true,
        "steplink": 4,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    661 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    662 663 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    664 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact14",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    665 666 667 668 669 670 
            "samestep": false,
        "steplink": 10,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    671 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    672 673 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    674 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact15",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    675 676 677 678 679 680 
            "samestep": true,
        "steplink": 7,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    681 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    682 683 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    684 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact16",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    685 686 687 688 689 690 
            "samestep": true,
        "steplink": 7,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    691 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    692 693 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    694 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact17",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    695 696 697 698 699 700 
            "samestep": false,
        "steplink": 13,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    701 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    702 703 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    704 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact18",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    705 706 707 708 709 710 
            "samestep": true,
        "steplink": 10,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    711 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    712 713 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    714 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact19",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    715 716 717 718 719 720 
            "samestep": true,
        "steplink": 10,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    721 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    722 723 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    724 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact20",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    725 726 727 728 729 730 
            "samestep": false,
        "steplink": 16,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    731 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    732 733 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    734 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact21",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    735 736 737 738 739 740 
            "samestep": true,
        "steplink": 13,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    741 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    742 743 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    744 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact22",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    745 746 747 748 749 750 
            "samestep": true,
        "steplink": 13,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    751 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    752 753 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    754 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact23",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    755 756 757 758 759 760 
            "samestep": false,
        "steplink": 19,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    761 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    762 763 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    764 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact24",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    765 766 767 768 769 770 
            "samestep": true,
        "steplink": 16,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    771 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    772 773 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    774 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact25",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    775 776 777 778 779 780 
            "samestep": true,
        "steplink": 16,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    781 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    782 783 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    784 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact26",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    785 786 787 788 789 790 
            "samestep": false,
        "steplink": 22,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    791 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    792 793 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    794 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact27",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    795 796 797 798 799 800 
            "samestep": true,
        "steplink": 19,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    801 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    802 803 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    804 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact28",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    805 806 807 808 809 810 
            "samestep": true,
        "steplink": 19,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    811 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    812 813 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    814 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact29",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    815 816 817 818 819 820 
            "samestep": false,
        "steplink": 25,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    821 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    822 823 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    824 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact30",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    825 826 827 828 829 830 
            "samestep": true,
        "steplink": 22,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    831 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    832 833 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    834 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact31",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    835 836 837 838 839 840 
            "samestep": true,
        "steplink": 22,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    841 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    842 843 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    844 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact32",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    845 846 847 848 849 850 
            "samestep": false,
        "steplink": 28,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    851 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    852 853 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    854 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact33",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    855 856 857 858 859 860 
            "samestep": true,
        "steplink": 25,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    861 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    862 863 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    864 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact34",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    865 866 867 868 869 870 
            "samestep": true,
        "steplink": 25,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    871 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    872 873 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    874 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact35",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    875 876 877 878 879 880 
            "samestep": false,
        "steplink": 31,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    881 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    882 883 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    884 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact36",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    885 886 887 888 889 890 
            "samestep": true,
        "steplink": 28,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    891 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    892 893 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    894 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact37",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    895 896 897 898 899 900 
            "samestep": true,
        "steplink": 28,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    901 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    902 903 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    904 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact38",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    905 906 907 908 909 910 
            "samestep": false,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    911 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    912 913 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    914 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact39",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    915 916 917 918 919 920 
            "samestep": true,
        "steplink": 31,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    921 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    922 923 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    924 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact40",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    925 926 927 928 929 930 
            "samestep": true,
        "steplink": 31,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    931 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    932 933 
          },
      {
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    934 
            "Id": "http://mathhub.info/FrameIT/frameworld?DefaultSituationSpace/SituationTheory1?fact41",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    935 936 937 938 939 940 
            "samestep": true,
        "steplink": 31,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    941 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    942 943 944 945 
          },
      {
        "Id": "[Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))}",
        "samestep": false,
    MaZiFAU's avatar
    Regenerated Demofiles; Reworked Function(Call)Fact; Facts; DynamicFacts; Misc;  
    MaZiFAU committed
    946 
            "steplink": 100,
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    947 948 949 950 
            "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    951 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    952 953 
          },
      {
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    954 
            "Id": "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.71507, 18.63876), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.3575, -24.0345), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(-1E-05)))}",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    955 956 957 958 959 960 
            "samestep": true,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    961 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    962 963 
          },
      {
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    964 
            "Id": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(-1E-05, 0.2337258), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 14.71507, 18.63876), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 7.3575, -24.0345), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(-1E-05)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    965 966 967 968 969 970 
            "samestep": true,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    971 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    972 973 
          },
      {
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    974 
            "Id": "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 16.16695, 13.02121), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 18.38171, -6.944755), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.2337158)))}",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    975 976 977 978 979 980 
            "samestep": true,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    981 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    982 983 
          },
      {
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    984 
            "Id": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0.2337158, 0.4320768), [t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 16.16695, 13.02121), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 18.38171, -6.944755), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.2337158)))}, [Pos(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Vel(http://mathhub.info/MitM/core/geometry?3DGeometry?point), Acc(http://mathhub.info/MitM/core/geometry?3DGeometry?point), t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(Pos), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Vel), Variable_(t)), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(0.5, http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(Acc), http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit(Variable_(t), Variable_(t))))))})",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    985 986 987 988 989 990 
            "samestep": true,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    MaZiFAU's avatar
    BugFixes; Added SlingShotStage; RenderedScrollFact.cs; ScrollDetails.cs;  
    MaZiFAU committed
    991 
            "GadgetTime": 0.0
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    992 993 
          },
      {
    MaZiFAU's avatar
    TriangleFact; FactRecorder;  
    MaZiFAU committed
    994 
            "Id": "[t(http://mathhub.info/MitM/Foundation?RealLiterals?real_lit)] => {MakeObjectArray(http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, 19.61987, 11.64365), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -13.14871, -5.555804), http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple(0, -9.809999, 0), http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit(Variable_(t), http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit(0.4320667)))}",
    MaZiFAU's avatar
    (Regenerated) DemoFiles; Facts; ScrollDetail; ShapeGenerator; Endpoints; LambdaExpressions;
    MaZiFAU committed
    995 996 997 998 999 1000 
            "samestep": true,
        "steplink": 35,
        "creation": true,
        "gadget_rank": -1,
        "scroll_label": null,
        "GadgetFlow": [],
    Show full blame