SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  NdDL ]S HOL-UNITY:threads=6elapsed=20.561cpu=100.156gc=5.252factor=4.877zXZִF! 4*]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yxn%_\wȾxAr!P#ދ9nv0E5@u0 ^2NLv#:i( uV̫bg]ZAFπPb *bW[i.Po->c5WڜB[|jt s4y\uszܭl+*@ 5'U^*ɨL {{Lr㢣f?rgV5\;V   HOL-UNITY  w6[ہ L |9 ޕVNBIDMđj}6+#'{39tp$gS!-,į^gw=A0k9DåL͕A '؈SO9+mػ aFw rvyN5wAM E.78AA\Qo|jpסą$=I&?it:~͸Mn-7-q!YYX8"{tt}]֞2S7&K{i4#U*g7/}HHCͳ\ ע0Ah= ?0߿T(x`Qvk7P0kY se .[!v_;r󆦈JJH!yJ-K*ga6v*52Ǟt S!y-j&a|t 9,f U2 Y<+S?&0aCc8%Oӆ6)F&/DRdgvw;[4CD5%>*Axi"FEۨAPCwcyZ8݂ YGI$K37lq*Y޿[uZDzE3jAGho[ #l7zLE ͏qN[DɔR`gJY W`ԸIS61h+ }@\)M3 U#at7b+uݡe./õ%bPTFGc~'1w=~٠.yO0j0D~u"ZoK(b]+MKfyi3 f$j/3FjQ[HDLTs_]RC9W,n+vp~~Z:Agµ+> LZ+t] {b=l$-RT& -{ȠfE>Y_ߠ@{v'}hHTznˠ9m030F8|4g@QOlu$>s|[.fܧ?QYO`Ӑyy@P/xm e 5<-2B]6Sj*I&CfPOB[<BS$3޺3h=4A_!&`OKJU#gYZ7zXZִF! a]ŗXi%>mI1t/5K,FbO~uL͔ PtJᄍGt/aQfXzP/'cVñV+\[SYl؊ơ &kU)õg0{Y !Z,#@8~;'XsEm͸*0K_m%1ks1K6'\ TyDpаn⭊[nUENR^R^=hAT ˆI|P 0%N엸%-9鍖Q jOG?wˆ|jSAfkJ>=.R @rT5RP yŭQV}BTfD tv`s2!t# mfW)q׫%Pxna7F҂o>zfá +.QS5#cpHԝ!]hf}itm4Ʒ/$D7:txs3-H˴QgfkeF  $?L*:|mM|?ò z<?&Pe;lI]k&Ɬ7yrs_r;d;[/vkګp^4=}Xp j!L}-"b=ܺWi6,”=n%ؤb!-bK ) h%H74Ęiz &ekT]?ZTY(D]{pwt.osW?;k拔W"}["c!F>Lɤjv91۵o:gv"H^﷠?\yxŠ~U8z?_n /"9hͼw MJ+Dk>,דgP\ u1;phH D˚WI]򡼱ЫϬ,^ I! a滅q2=f4,gE7 ֢sqٌ5u@%$ck3E+R>z ;:kL_r%}b HHx %FzfBW:׬YzOڑ(crp 0[U3hq/u*h6>{WG \k'-ss `)bzHҿ:Er'hp^aʚ[f_A13''%!> /7K3%< Z,`ǯw0b%kLC;: ,fq.6eۊk(c]^fpk{%Rj(TO³n&h|j? ) ~,e.Gcl/bmQ[ْa7@N>pf, pAJv' <Av 8g b u.U>|+3uip#Gg~ %_skhDU=l r`j\Nu8)_ aTQt2S=71 D(L͒ ;uKz?D|`g +Or VyT9%