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  ,,< ]/ MiniML:threads=4elapsed=8.908cpu=19.072gc=0.524factor=2.147zXZִF! 2]ŗXf[&M_4.F$ܙ:(a āšB~e }!;=)7eJꓩ&Х J\)bHI$3U\ Sڹ> dhK>t*QiEEt`ca"hT[vw4llQr<N6|qD&x;Su>JTbVz\>Kv*h%U5l G] &Á п#&W\Qw3^]~&&0G 8NѱgYZ7zXZִF! ]ŗXiɟ"xS2}YNd Cxl/5v8w>0815(ߖބoޔSI91<ζ[j[U̘Xع}u7hdP %ѷs#FL gYZ7zXZִF! Eo]ŗXi%Eb⬗yd|v!59S'V_r$1X`XJ}l$m9Jagۂ<](}H0Ќ|=#VK,f|pZl$ ;(cI1jjtUUo,JۺiΎ-.4. KZ8k SQ?OBEa@[X5`RMp8)L-k߾ 0Nӵ-"q6DMwBtDE_3B/1a TKm8$bm<{w9M~~Qu"ܦs$R4G Y}n Kmi uۄYU귞ڌPv5iJlnDjܛ^13#/)nO@4/͘,vܕyri ЄjˆK闌rjmXVBmgGsnie50UvNy|xԱMW EioM.%א#J3"1k5'."~ X,+\ u =x1s9Y MYUJWzhbiA՝8*)ap__!SgOt\ybEKw{IV85+`0 ${fRֹWFۖH'暲A{ܢ,# xWE-64AY>qZ5#N䷵ G!Tn"7ʪ5F ~l+Q'#QƉ*I!q pcCR@."񄈂D6F? rpc{U1h;>X$p+[a}͖Ldk\ !HMQhP Uj|Ce2vK] I;ObpC;Hd9-wM$Yez[m"+v,`S}C8gg PV:yUU'^P_lKM=UA3aPyiJj#t̰~% jMsڋExED ivEs* `Z0  gYZed894ecb242eff0b395b6f14b361cd6becbd996187d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591   MiniML