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 oo L T ]]]ZF:threads=6elapsed=13.319cpu=50.232gc=7.196factor=3.777zXZִF! ._]ŗXf1-) enȈA XR„&r*aeDS3 JmDX{ypS R.`$]x5Qxf ui:>˛uyjǫ| ucS }11}* hM?Љ`y9P :T>2'׉1ȭsih j=NhͨU#k) x4Rt8MpNS Sφ=|Y΁T"P}.f(>k#T5Pd]W8PXM >r\#Gxe 4Զ6H왶H:ͱ Wj}x2{L7D+|̪w `m݇ai$|AbkoO뽅4P-,ٞ U g9oN;p ,-v]Ce퐉0JgYZ7zXZִF! ?]ŗXiɟ 1FE`空Zg(NhBe+1"=&&G5$q{@ϱoX m `]h܅uu.G[+-oC L}߲є}4֝ Nɡϙ 'cs>p&mSNkؘ  -Añ<>MΒMY9ysl)(ӦkǯN-hׇnsm z1HPy\:QTl~y嬰fZ|CAƽkTFŰi3&w6 uM8~?0.?׽No~TY(1u-I G{aRE;}wL'K!~GRIpG; 2A::I>:E.а%|qR)-)P`O_ OɷpY8˱DO_#*(&COA`SڳvC3n.-''֡h.&W}mQ9{3隚2-HDL sVL內n չ. &*{.gYZ7zXZִF! Fc]ŗXi%G6>@ǗE[7E_y>t%Ъ G.bZA0+Kqp3&`9I![bk& EQغ1d*0+$PRB.|w$SKGtkOtSB@b9*{XQ>_"@nyUIO+S^>Jy)OF@lfq&1aB) 8& %Q f5}ʎU D,'ݵ.Bkau͈XmRd8'`65qyv-'6cd7@Tn-]5aJL&ٷңNo'“"5,U_NǮs79*XNC٩ 'Qc!\(1JWaݪ-Lu\G$k5I:,@Rzcw}# )f|BODĜk2`yވڒJ{?@i9O7L pL)ϤTOT6GgaKKX} X^!oyp7tD~ ?s Xp^FujSRŲ(# _EMFL:qR[\(>?x2m +.ͲUۮ`htL kD,= %ovśGXsv$ܜ晫 lL4.  nJj.1bsz ϯ$J&‘w&3RHJ95x|@"gL$VUABJ']'˻?ܓ> }y(TfS~ %&ӒMz"?L(XH%A֍dz\԰G&[` )wΏ| dUZޅ >:({P vk6]qZx,ݸM%e)lX2` W8Ǥv<}-p6%=p;#QFfBݯD/UḚS@cZrԱNNz`eslg 2J*kǁQmROS4`]p7h~vZGjMul =[<ysT%L1uv]8TNb $*څ4N^P&`^Os=MSE(6gWD+WFJ>)r 8?WX+CsɅ.'BWZ#pj㽻z(.2jk/5"Xk >DFFdR?_=X9' B> $Z"2h9/tCCX :bc-Ć\St,(lNmϹ]Hw%Fuvn;EC ,7SYKbu _H:[l-V`y ܓm #P˙gYZ82a675f1b66dbcc910a6b242d65202521f2811bf685a311797845e45d1e0e94079c226b99532de8d4ee1b6072f0da1f95f9d96bde927e6b8b9ef585b  ZF