SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 3 | ]/]HOLCF:threads=6elapsed=11.531cpu=36.560gc=1.872factor=3.177zXZִF! 8]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{M<:T%P5Hٔ )!2HcoRNV᤭.eQ1B̰  OJa* #֎}XЁ Nm9;$ȇR1:iuu%E'K2IJ2D:'"b37gVk3ͷܧJG,A &jA~U^:D p  igNҀ427gե>T٭;qv~ɀHEU E qҹ-岦v \F g2jg.9 jd=E<( i[^H7o@ɲs]tf@M BhD^4hQҰ/5yu7C6ҮCJ{JUw[q} GQ̢KO$XP-,1 n"N,g 51A$*!qZFhy%FӣWFb?tv˫`fB9p}} ~TSSQ\暺8FssDCӇɇ9S2]`pG`,#k֠‹U H+Am 5eqw0ŀ),'"6/tmF3??62OR1jE qĉ?!ߖƋ"D(iZXʊ~O̟Ͼ2$k8| ay8Ne̱Vl ](#.]?y@dRl D}Lyyɋo^ :GqK< >|];,\0j#ƛ58{Y*fN`|mH1J>/SqkjtBS]5#v棗+-Pl%D+v$`Z~6OX};W@P$kEy49n'lM|-72rەOjC\ܫ.9h?f%eu[<|CheUh;h64OwT*T&P*p2 DC|Hvݙ{.Y%{Hd>XfhP U8zi׹XKr6W_@>/s4'W ~ْ' WdPe5-NJ!tQC}1D䟔\H3ա5BN>9 s ȕ,$))$Pp݇Fu}QJ(hG }9fN_ 9*ǂQ,C7S:/L/ffBY.( %xX v ҀAK gYZ71a2bebde1e76abebadac4857a3ea15022e22812a8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab930c432a1447fb752f62d834c1f19013b49ff729e6  HOLCF