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 G L,L ] pGCL:threads=4elapsed=20.837cpu=78.960gc=1.368factor=3.797zXZִF! "`]ŗXf[&.Ir?.kL|{yց14q8$d$;y@VYB.+TW0&hb? aFn4?]j֫ymdi{%EvaHޖ~؍EH(v"vQa7DVs9o~(Huv6o[D*1E-Ѓw j$jle=)zHv|y(7z^ T#w`б=ZX6,okQ5IbDڪ.E]&fB0B:C9RɹZ;FoΛR {K5)H8DeK_d5Z!Š9U]~[@^/BH<N8!,_SS\yN abxMfTԽO38_o{A+S7oTHNN+܋Dpt&sO#TmD,j]#In0PP-0*{uzΔ͹P^([˙" f H<`3liq~M G(>iд)3PE?{EyK˱gYZ7zXZִF! L]ŗXiɟ: e=o݆$01L.?^H8u%r)mc`sRt\B҃>=٭Ȕ{ɷGkPkvϦJo_"z5а$gymAx.v7m, iTeг;@)k R G ;g}L-s؉C$a3@fd!0~EtΌꄢ<|d@[F5+E;`K-[|C*`ïMy9֍zILQy`sIƙ-?`+F5[. e'N;X846*ppfM5lU CYqlOo:%l eˍ%|b]-mbT&̎ QݜKB%‡mIMB,|J~Ҧ̕$ucHI/x?OHS@4)q"BF:aE{ uvVwȰBlT_eG x;N6PBC!-bcfV@'8o>K%ߕ YE<^VyQ6Q&mSk,4|]T>`Ӳ~o~8(sni좞`o OG7@NC o1> 5^S{ѳ}P]lxr+dɰ o= xLq9me{튱B) G3 y$1']5 -]ޖ W~,;LGr@*R cnC1ݗ+s$('\9l\ރԊXY6D;f봫Ѷvx|DKnLzz{\CF q蘨<* 1 Jm/M#l Gpݖ!79d97ZZ\m tǿ#I*tkܔCS ܶ $(_@ 2/(wpxa! K؁'C.T:A bZS#} |TmfЇ#O>CSWH̀ak'bujFshFsj&> lô}s~zڎMAmO[0_m6cm & DA[O 6×#5  ^V_cVIÏ9(WmLJ9|(~v4xBV %X _ޚEaѰVIMS sĹ9 U&۩XJbrN(cQG0z:g d" $琄06We3Zs%3ïd.?gdζ8޷N{TwlJ2=dZD xXAW3X%mc"v6]xT +GA'yD c!(Nem[[GVEY%X6FUy7.vKE?SQ)'^L9LÁ O:O8f*#k4fڕ |!!A6Hhb~`Efo.f(u_LCFr