fact-abstract2.json

{
  "nodes" : [ {
    "label" : "ev((letrec ((fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))) (fact 5)))",
    "control" : {
      "type" : "ev",
      "exp" : "(letrec ((fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))) (fact 5))",
      "env" : { }
    },
    "store" : { },
    "kstore" : { },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((fact 5))",
    "control" : {
      "type" : "ev",
      "exp" : "(fact 5)",
      "env" : {
        "fact" : "@fact-Time()"
      }
    },
    "store" : {
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : { },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))",
    "control" : {
      "type" : "ev",
      "exp" : "(if (= n 0) 1 (* n (fact (- n 1))))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : { },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((= n 0))",
    "control" : {
      "type" : "ev",
      "exp" : "(= n 0)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ko(Bool)",
    "control" : {
      "type" : "kont",
      "value" : "Bool"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ev(1)",
    "control" : {
      "type" : "ev",
      "exp" : "1",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((* n (fact (- n 1))))",
    "control" : {
      "type" : "ev",
      "exp" : "(* n (fact (- n 1)))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((fact (- n 1)))",
    "control" : {
      "type" : "ev",
      "exp" : "(fact (- n 1))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((- n 1))",
    "control" : {
      "type" : "ev",
      "exp" : "(- n 1)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))",
    "control" : {
      "type" : "ev",
      "exp" : "(if (= n 0) 1 (* n (fact (- n 1))))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((= n 0))",
    "control" : {
      "type" : "ev",
      "exp" : "(= n 0)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ko(Bool)",
    "control" : {
      "type" : "kont",
      "value" : "Bool"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ev(1)",
    "control" : {
      "type" : "ev",
      "exp" : "1",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((* n (fact (- n 1))))",
    "control" : {
      "type" : "ev",
      "exp" : "(* n (fact (- n 1)))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev(1)",
    "control" : {
      "type" : "ev",
      "exp" : "1",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((* n (fact (- n 1))))",
    "control" : {
      "type" : "ev",
      "exp" : "(* n (fact (- n 1)))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((fact (- n 1)))",
    "control" : {
      "type" : "ev",
      "exp" : "(fact (- n 1))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((fact (- n 1)))",
    "control" : {
      "type" : "ev",
      "exp" : "(fact (- n 1))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((- n 1))",
    "control" : {
      "type" : "ev",
      "exp" : "(- n 1)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ev((- n 1))",
    "control" : {
      "type" : "ev",
      "exp" : "(- n 1)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((- n 1))",
    "time" : "Time()"
  }, {
    "label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))",
    "control" : {
      "type" : "ev",
      "exp" : "(if (= n 0) 1 (* n (fact (- n 1))))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((if (= n 0) 1 (* n (fact (- n 1)))))",
    "control" : {
      "type" : "ev",
      "exp" : "(if (= n 0) 1 (* n (fact (- n 1))))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((= n 0))",
    "control" : {
      "type" : "ev",
      "exp" : "(= n 0)",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ko(Bool)",
    "control" : {
      "type" : "kont",
      "value" : "Bool"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((= n 0))",
    "time" : "Time()"
  }, {
    "label" : "ev(1)",
    "control" : {
      "type" : "ev",
      "exp" : "1",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev((* n (fact (- n 1))))",
    "control" : {
      "type" : "ev",
      "exp" : "(* n (fact (- n 1)))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ev(1)",
    "control" : {
      "type" : "ev",
      "exp" : "1",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ev((* n (fact (- n 1))))",
    "control" : {
      "type" : "ev",
      "exp" : "(* n (fact (- n 1)))",
      "env" : {
        "fact" : "@fact-Time()",
        "n" : "@n-Time()"
      }
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "HaltKontAddress",
    "time" : "Time()"
  }, {
    "label" : "ko(Int)",
    "control" : {
      "type" : "kont",
      "value" : "Int"
    },
    "store" : {
      "@n-Time()" : "Int",
      "@fact-Time()" : "#<clo>"
    },
    "kstore" : {
      "NormalKontAddress((- n 1))" : [ "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((fact (- n 1)))" : [ "Kont(FrameFuncallOperands,HaltKontAddress)", "Kont(FrameFuncallOperands,NormalKontAddress((fact (- n 1))))" ],
      "NormalKontAddress((= n 0))" : [ "Kont(FrameIf,HaltKontAddress)", "Kont(FrameIf,NormalKontAddress((fact (- n 1))))" ]
    },
    "kont" : "NormalKontAddress((fact (- n 1)))",
    "time" : "Time()"
  } ],
  "edges" : [ [ [ 1, {
    "label" : ""
  } ] ], [ [ 2, {
    "label" : ""
  } ] ], [ [ 3, {
    "label" : ""
  } ] ], [ [ 4, {
    "label" : ""
  } ] ], [ [ 5, {
    "label" : ""
  } ], [ 6, {
    "label" : ""
  } ] ], [ [ 7, {
    "label" : ""
  } ] ], [ [ 8, {
    "label" : ""
  } ] ], [ [ 9, {
    "label" : ""
  } ] ], [ [ 10, {
    "label" : ""
  } ] ], [ [ 11, {
    "label" : ""
  } ] ], [ [ 12, {
    "label" : ""
  } ] ], [ [ 13, {
    "label" : ""
  } ] ], [ [ 14, {
    "label" : ""
  } ], [ 15, {
    "label" : ""
  } ], [ 16, {
    "label" : ""
  } ], [ 17, {
    "label" : ""
  } ] ], [ [ 18, {
    "label" : ""
  } ] ], [ [ 19, {
    "label" : ""
  } ] ], [ [ 20, {
    "label" : ""
  } ] ], [ [ 21, {
    "label" : ""
  } ] ], [ [ 22, {
    "label" : ""
  } ] ], [ [ 18, {
    "label" : ""
  } ] ], [ [ 23, {
    "label" : ""
  } ] ], [ [ 24, {
    "label" : ""
  } ] ], [ [ 25, {
    "label" : ""
  } ] ], [ [ 26, {
    "label" : ""
  } ] ], [ [ 27, {
    "label" : ""
  } ] ], [ [ 12, {
    "label" : ""
  } ] ], [ [ 28, {
    "label" : ""
  } ] ], [ [ 29, {
    "label" : ""
  } ] ], [ [ 30, {
    "label" : ""
  } ], [ 31, {
    "label" : ""
  } ], [ 32, {
    "label" : ""
  } ], [ 33, {
    "label" : ""
  } ] ], [ [ 34, {
    "label" : ""
  } ] ], [ [ 21, {
    "label" : ""
  } ] ], [ [ 35, {
    "label" : ""
  } ] ], [ [ 21, {
    "label" : ""
  } ] ], [ [ 34, {
    "label" : ""
  } ], [ 35, {
    "label" : ""
  } ] ] ]
}