{
  "refl.xyz": {
    "/doc/html/tstp2agda/Data-TSTP.html": {
      "date": "2026-02-07T13:33:03Z",
      "httpProtocol": "h2, tls/1.3",
      "httpStatus": 200,
      "ipAddress": "185.199.109.153",
      "ipASN": "Fastly, Inc.",
      "ipCountry": "United States",
      "httpHeaderHash": "4NZP26UESJL2ONHNO4O44MVFKVSSAASX",
      "httpHeaderTechnologies": [
        "Fastly",
        "Varnish",
        "GitHub Pages"
      ],
      "httpHeaderUrls": [
        "a600:1FC75B:AD5BD3:BB362D:69873F0F"
      ],
      "httpHeaderByteSize": 770,
      "httpBodyHash": "U4OYXPHAMEDD5BFPTX33AMOTX2L6CFB5",
      "httpBodyTechnologies": [
        "Haddock:2.16.0"
      ],
      "httpBodyUrls": [
        "#v:Noc",
        "#v:AssumptionR",
        "#v:AxiomOfChoice",
        "Data-TSTP.html#v:name",
        "Data-TSTP.html#t:InfixPred",
        "#v:Parent",
        "#v:source",
        "#t:IntroType",
        "#v::-60--61-:",
        "#v:NegatedConjecture",
        "Data-TSTP.html#t:Status",
        "#t:Role",
        "#v:Lemma",
        "#v:Status",
        "#v:ColonSep",
        "#v:Definition",
        "#v:Refutation",
        "#v::-60--61--62-:",
        "#g:4",
        "#v:Unp",
        "#v::-126--38-:",
        "#v:Csa",
        "#g:2",
        "#v:F",
        "Data-TSTP.html#t:Role",
        "#v:Esa",
        "#v:Fun",
        "#v:Unc",
        "#v:Uns",
        "#v:Wca",
        "#v:role",
        "#t:Source",
        "#v::-38-:",
        "#g:3",
        "#v:Ect",
        "#v:Quant",
        "#v:Exists",
        "#v:bottom",
        "#t:Formula",
        "#v::-61--62-:",
        "#v:UnknownType",
        "#v:Fsa",
        "#v:Suc",
        "#v:FiDomain",
        "#v:Cup",
        "#v:Eqv",
        "#v:Tca",
        "#v:GList",
        "#v:IQuote",
        "#v:freeVarsT",
        "#v:DistinctObjectTerm",
        "http://www.haskell.org/haddock/",
        "#v:AC",
        "#v:Creator",
        "#v:PredApp",
        "#v:Equality",
        "#v:Assumption",
        "#v:GApp",
        "#t:F",
        "#v:Cax",
        "#v:Thm",
        "#v:Uca",
        "#v:Wcc",
        "#v:FunApp",
        "#v::-126-:",
        "#v:Type",
        "#v:Conjecture",
        "#v:Assumption_",
        "haddock-util.js",
        "#v::-60--126--62-:",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Maybe.html#t:Maybe",
        "#t:Status",
        "#t:AtomicWord",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Ord.html#t:Ord",
        "#v:Ecs",
        "#v:Sat",
        "#v:Tac",
        "#v:GVar",
        "#v:Name",
        "#v:name",
        "#t:GData",
        "#v:Inference",
        "#v:GWord",
        "#t:Theory",
        "#v:Negate",
        "#v:Tautology",
        "#v::-33--61-:",
        "#v:Definition_",
        "#v:Description",
        "doc-index.html",
        "#v:Theory",
        "#v:Canonicalize",
        "#v:GDistinctObject",
        "Data-TSTP.html#v:isBottom",
        "Data-TSTP.html#v:getFreeVars",
        "https://hackage.haskell.org/package/containers-0.5.6.2/docs/Data-Set.html#t:Set",
        "#t:V",
        "#v:Function",
        "#v:NumberLitTerm",
        "Data-TSTP.html#t:Rule",
        "Data-TSTP.html#v:source",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-String.html#t:String",
        "#v:Csp",
        "#v:Wct",
        "#v:File",
        "Data-TSTP.html#t:GTerm",
        "#v:Eth",
        "#v:Unk",
        "#t:Term",
        "#v:Plain",
        "#v:Source",
        "#v:isBottom",
        "Data-TSTP.html#t:GData",
        "Data-TSTP.html#v:bottom",
        "#v:NewRule",
        "Data-TSTP.html#t:Formula",
        "#v:All",
        "#v:Wec",
        "#v:Strip",
        "#v:Theorem",
        "#v:Unknown",
        "Data-TSTP.html#t:BinOp",
        "Data-TSTP.html#t:Theory",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Bool.html#t:Bool",
        "#v::-124-:",
        "#v:NoSource",
        "#v:Introduced",
        "#v:FiPredicates",
        "Data-TSTP.html#t:Source",
        "#v:V",
        "#v:Var",
        "#v:Axiom",
        "#v:Hypothesis",
        "#g:1",
        "#t:Parent",
        "#v:Simplify",
        "#t:InfixPred",
        "#v:getFreeVars",
        "#v::-126--124-:",
        "#v:GFormulaTerm",
        "Data-TSTP.html#t:V",
        "#t:Quant",
        "#v:formula",
        "#v:GFormulaData",
        "Data-TSTP.html#t:Term",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Eq.html#t:Eq",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Text-Read.html#t:Read",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Prelude.html#t:Rational",
        "#v:Sca",
        "#v:InfixPred",
        "#v:Wtc",
        "#v:Wth",
        "#v:Wuc",
        "Data-TSTP.html#v:role",
        "https://hackage.haskell.org/package/base-4.8.0.0/docs/Text-Show.html#t:Show",
        "#g:5",
        "#t:Info",
        "#t:BinOp",
        "#v:FiFunctors",
        "Data-TSTP.html#v:formula",
        "Data-TSTP.html#v:freeVarsF",
        "Data-TSTP.html#v:freeVarsT",
        "http://www.cs.miami.edu/~tptp/",
        "#v:Ceq",
        "#v:Scc",
        "#v::-61-:",
        "ocean.css",
        "Data-TSTP.html#t:Parent",
        "Data-TSTP.html#t:IntroType",
        "Data-TSTP.html#t:AtomicWord",
        "#v:Cth",
        "#v:Tau",
        "#t:Rule",
        "#v:GNumber",
        "#v:AtomicWord",
        "#v:InferenceInfo",
        "Data-TSTP.html#t:Quant",
        "http://www.cs.miami.edu/~tptp/TPTP/TPTPTParty/2007/PositionStatements/GeoffSutcliffe_SZS.html",
        "#v:BinOp",
        "#v:freeVarsF",
        "#v:Sap",
        "#t:GTerm",
        "#v:GTerm",
        "index.html",
        "Data-TSTP.html#t:F",
        "Data-TSTP.html#t:Info"
      ],
      "httpBodyMetaTags": {},
      "httpBodyByteSize": 57671,
      "httpBodyPageTitle": "Data.TSTP"
    },
    "/slides/src/POP/cost.html": {
      "date": "2026-02-07T12:48:38Z",
      "httpProtocol": "h2, tls/1.3",
      "httpStatus": 200,
      "ipAddress": "185.199.110.153",
      "ipASN": "Fastly, Inc.",
      "ipCountry": "United States",
      "httpHeaderHash": "LVYV6YWCBVYVOHNJBABBIZOOSH5ZEEB2",
      "httpHeaderTechnologies": [
        "Varnish",
        "GitHub Pages",
        "Fastly"
      ],
      "httpHeaderUrls": [],
      "httpHeaderByteSize": 769,
      "httpBodyHash": "X54IMZDEXUVQ43W7WJWKT72GD2IG5UTP",
      "httpBodyTechnologies": [],
      "httpBodyUrls": [
        "Lic/CakeML.svg"
      ],
      "httpBodyMetaTags": {},
      "httpBodyByteSize": 6758,
      "httpBodyPageTitle": null
    },
    "/slides/src/PhD/intro.html": {
      "date": "2026-02-07T13:33:57Z",
      "httpProtocol": "h2, tls/1.3",
      "httpStatus": 200,
      "ipAddress": "185.199.109.153",
      "ipASN": "Fastly, Inc.",
      "ipCountry": "United States",
      "httpHeaderHash": "ABS5CXNSKBHNZVNSA6IUL4LJGNIY2GJY",
      "httpHeaderTechnologies": [
        "Fastly",
        "Varnish",
        "GitHub Pages"
      ],
      "httpHeaderUrls": [],
      "httpHeaderByteSize": 769,
      "httpBodyHash": "ZT4VMB6BZX4S3ZULJ6H7HMBMTF4IRAQC",
      "httpBodyTechnologies": [],
      "httpBodyUrls": [
        "PhD/cost1.png",
        "PhD/cost2.png",
        "PhD/kalas1.png"
      ],
      "httpBodyMetaTags": {},
      "httpBodyByteSize": 7156,
      "httpBodyPageTitle": null
    }
  }
}