SQLite format 3@ .;  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 ytdlL ]]]ZF:threads=6elapsed=12.617cpu=47.176gc=2.8327zXZִF! k]ŗXiɟ{&FL+~),|Lͦcd$^@6y\ bbO h!DY?@O1$ K͗181W$62I\^QAb}D _Z1ٔQR qo6~`{~dnyy_nz޶V+޵-(CCipHgA0\V֔k %PkwG7g%H*)2ߵUQ6Y;ǎnLUOJ]kk{ dƹVw72;Q@aj{0N] HH^g ll mL =Tݽؙ%z9c60Ait U=TmI؎"E(þ/grHױgYZ7zXZִF! .]ŗXiɟ 1FE`u$3}Xjʚ D2Oi93#z n[ D={ d\uLUh[l0KֵS˕Ew8[#FR3ԤÝB'!/Zʣ=~yEo0g.M?}=6 [b*ibFtOP ؈:xWB1uRC&4Qpv NIԲI-~>-HW4|GT01DM,< ?8qJZ׃JCرr|^"D }]`3Xק"m °vcpjQi!ov+#FM6Y&g~/+d)]R\yʚ/8A 5([e$׿cߏ9YWgF#2pAc,C|1?d:{0U%"t!R-yϝ fwhI BV׾.{Wן?9Oۡ)gYZ7zXZִF! E ]ŗXi%L(gxr9 |i{>/a ]eDZ4Ӭ-`q՘-s/vZLl[y4X664?\/PY$ABEfbW< R&g.x[ٻE:crfێWA+~7te.|y۝ZJYyi: cІa Qq7YP`2oCAG]q_O tmmaj4܀򜦳gqēi$F juh>S [&&T~0OXjVpԆMdS+TZLM)!Uj8?ksUZ?^v]Ж@j-[k+tE]+?˰]_)H\0-$#Qj=<, Ym;nT$Ğ{Nob@(1q^8wEsN<"s)Qħ4An;tppw<7H:NdI=zrGnm/.;K7 $T=sBഇVSege?IW>k3@~Z̰7H49ODf•C`R~$Im,dUdkF 12}ȜZeT_fd<ҸޚQqm~zڟ hsgq-h|Smƹ2[6ȭA4V]_~pkpZe<\UCqjv 0 o#dyS2HF+JF/jJg x`jnSC 2=G/P/M{bPS#HaEm. `A3Ka!8x+!C7M럺p`|$<=@f4Rr;"G]-:rfvb,,;̰ެf-ˉ%{ز  |7 |Lm9x*݆ M A"ϸ1ߟwl~]wь&Ӎ Ο ڷF3Tt|itzqBc+_@ҖGZ=AcڗifƲ8.G0bi+B M==@BTk<؞!5mu.53tߴ d#O}W9"]`]ȫ2d3`h={"0PV)ҤMҖ2:tJ}MV(HHD7 =WS*·A''fi@TȰCZA2/7N>.=(!dN|LLe҅5zز5r'QhIe-KV=Ew7k#ZM!+ U:{^wz˴Gi%F 9⠗+",ˁ\!MVT_$B;=^[ok)0.JU'A ,Ad2=g~PV0=ZAftdLfto3~ikLJ-,(xrgkke]f:C\b+ Uu^vġE fLAs6]t .47{*G,.Row[1/H(CזxRiݠ+fG>s%(¬P` 6ggYZ66fbfb8c8de5cbddc4d9c5b8079fd49ca0931aefcf53733eb6be06340924da21f0a2a30c8408f1154915c12a36e796064fa1081df68b6b0d88dbe935  ZF