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 v t,| ] KD_Tree:threads=4elapsed=12.342cpu=39.244gc=0.860factor=3.187zXZִF! $]ŗXf[& صfYÙ +7JD9*rgaѡ+OY8ӟ19oG1 @[U2?=oo@H^ߋ R\jv4`x\0aMΊ0#.%ٔ41i`! 4v0D__l&+Nиo Qr[.z%ԞJe,}[ \0Í2:`1X5,-_Vx䯀Ke!vfļDL({,IdKWs!yn[d-'GB\CɅ;6zGFF<텍^Xz MintaS E2}U]c;?FX#dp,Y}iCZ"Ifj"j09kv;(66Pr2߮Zψk۬O9%>wx pO}?:+<CPjQobԸ6pPӦ)SKԴ;?,,YL i?{ė8s֡qR*C*[ 6}hY uF/ t>wR☶O)Jn#CnkٯH,}q0貺ҳnMi *i˨OV8 9n>d1FB/ZD =xzIQ K?M ӵɧ,2AN_ύ ؊4pME"Ҭign2u)S{D1`v:썔AY>zꖄV{iy12@ [e2((]s:NҩkO|n]@M͕T8?8Ev ZH8Zuem$b wgP>[לPB:c8Շ)7#uN]FyƢzSwn grl>M6+uޑf| >ke0`{Yx]]ݗ!H`#c)AKx]nΛR퇭1h›^h9 Lph1IZI֘ĞA2 rVWP R l$G0 fŀ3[pрixTya1b ~Y![JqbzXK *x]I֥X"/={bf*S:.4iW Z#)wc_4fsR UX:fI__.z3dk2^l8P.`w7U$Q5Rw%FO༙118 4㣱gYZ49ebf41106f17fd19399a8ea023abc8fb79d034e87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 7e53159f95d37edaa894241f94c8924825154d14   KD_Tree