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  0# T ]% VectorSpace:threads=4elapsed=31.297cpu=85.116gc=7.488factor=2.727zXZִF! -I]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:^! ; DoZ T=Uh`~R{ep# ҭ")[T޵<cpޮѲx(o̰Yy̼S X{u2dS0Ɋ*QE[SF#ӕ Cqo^"x ҼfX}sᑡ4ԪR<Y#K{ekGI}7}oB48guhkLWPЋۋėj RxQj̭uԫ{HBptaG_N2/FF)VpjY rnz8R] Kj3ʫ)DԞ(΍Mt +apȼia2[d$8. >˸tj&$'bcd:#hF$kD gK](BHTg@;uJyOHFca=tt0jsGI[ >l{7pd 1_띈u:=H*&wy^IuHɁ1_J~J'HRt8o5vpí|&8PI;| ,? pH.4 # VectorSpace  7o]͏ +n"g_沜E4)R<Ǒ  mf`c2LEOe?E3t` N$>YT|]D/!Nho&{XTd;\0.bpɨuw% ^a<e- Ҩ71Jo.|SdP[pPE{ȳj<.eW?it2qx aOĈv^s* O}"yOOϚlC+~%96ct7kG+h:(z$j -$z-DLs3ihU |鏦qףE \&z<"y oz_)gYZ7zXZִF! T ]ŗXi%L >,]ށ&j2\=EӷĜ+}UlE2T|繲N Eq=:єnBQ¹ǻ7˞w,KXe)rUƚQPXy%8Zw7~X =3{&=ni!e[4e- hASQ%sɵj-ȴ|iZ\mx}>w`Ɓ a )A #{tgwu4Jԉu`'/L~UE Mv4pm),g)dZ ޸c\p8]}rz" Ym v0̗mdJC>ӥ쳷M9!àx8\^/g?2BHB=if)p5jd Q4Zk/@S=̀|a7݄ٞ_bƳ'cHmθ91#m}K`{š7,omk|v;zs(h1FqMgWYki{f5 ^YitFzWKcR;UPD NmTl*#nueY΍5~OƒRV.ߩذ<~]g(KsX*ݺM̂ O!W{(dôtA?0<îC\f_7x]@!UGQLؑpIPR$TP[+=J|1 rzn*z>!.K@Uj5!Tx|Bw'c]bEC WN=+(1#؄ 3O b A/yCqΕV(b)Q KH!EMX7*|Q ڴK$r2IwSVcRRfޢ=` nKta gvkԖL7οlqQ -_H2tl2c:fhM*Dx5c5@䔚;RΛ`Ź &6u4f>uZ{*]?A1ڬW]h.QP6c~͛H}vJ^ZY4"7 .U4U1wPw# u&~'(BupO; ̉+ERz+3 'F 3|RO.22%tGgۋ5=_n0D3IA"/xwZTgg#7#|k"0SeqW@-F?}@|Zsob*$#2zGW ˈT!>4kܖ37uO4n@(lis ǧM6Gŕɕ^+bYwmзd/nx!i+Apj͇7Mct-pC9|醺PRa"8N/l]x)?SݙY19&AF!גY>v)of5\=Z3#׊\%\mĎAPDE`7$[,6|RD.5= +-^%PG C9 i२8d%+K߾T&Xc~m'AWGl]D X_F3XX(=Y̋4N֐gN߯DIi&e7*8|9Y84W\;48R?'͉T"n9 )y!GSV(DDj%uaD6%lR÷,=л&T7#dAKVw WR<1W.<;})~rt$QWtSi3XnO8<|CaF^car/={Fˤ,c9?:IcKIׂo%>m>9uLMbNG1&