SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  g dD ]S HOLCF-ex:threads=2elapsed=5.163cpu=10.096gc=0.252factor=1.967zXZִF! K]ŗXf1-qNe+A]}q#=P vUΌeppoRDzgr_} l\"<{XPwli=f/ [57B0Z}X>Z*hh}Eaĥ ξ}5C\d~wcK>`M3͏sŝ=}+3ʧbx|ETGxiM9q|.ﰺ Xf/ϱgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4TU@bʨEr9Eg/W&ݛȭ};-d ZTkAqϪ*:B8C;3Hs:'Dxx<؍D@>`;4^_¾J l[۰zܞzة<"46~p9KMMT.uz]ݒrf,-D@Fh)eQ:Q6ʑ*WrgYZ7zXZִF! Q]ŗXi%;&J}+*_~餒E^}ϦQ7ccna/@[ UMBrSy.fj|>I3[FiF|( a+1ߵE؇3vWBVT)UÁ񔯛 )eγNCeILlz =Uj[mѨ1ùyЎB}i'/GE}0"˰HelǞf|10݋hbo9P5*=h<Z#\TWhQjciTR9;`X7 V e74C;(?w/.ocb%$K~ Rm*ϟdM$anpf$= kk7mW'*^Į H'HTA)u@%މ+},`"&(iz$^t63%L mrU2Z=|TM`ot=?o4֨L{z4Pw^in6f47V8a ʄ碙l|v*~94RgYZ6b605656ac8a1d632bdda3a665eb30475e36562cc3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a a40bc7c4fc71005e393bac283e20b965061a7505   HOLCF-ex