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  -$T$ ]% AutoFocus-Stream:threads=4elapsed=39.360cpu=110.048gc=1.388factor=2.807zXZִF! P ]ŗXf[&,X՘$i4XϤʌIe*t& ֊jzSPhqnJA\L7gC!bR0|X\EvP|ٴ5beUOgMruXEة/EKygTEN#s֐*3HL56,V+a6]X8d n 3ZWgg ձe\tϾxUadNNJhJ̊E#{nkpZyx tn5# \lP7iu:0rmhqZhNU_aQij s&\* U A0 (yhR~kD2my½cM0Vԑfnz65<6 ~,T&" ^&cvhe=]k,o}MzLp< HsJtLyX (A1(@Bsdhsbv4%iGjFeP@m'_.[z4I":?[eD`_!hf?oq;@]#^}ԌM"+lR0=lHl.ÕG%;#5h+?7 w0S=iŸm] ܈E[ c "U7ikmJ$V$I#kG0GHJ]p/йFs@o ]͏ךG4ZJ*V::v j2fӒ ⌿s2+J_*bC}vdw - AutoFocus-Stream  ոS{[50n߹ƩR&QUqѶ~sI|=V}Q6 %d,e MMڂ-6n{j"&ZǑt<|ˆY'T^=39Zi>hYرuzn>G$_\J&zp(hcb^u1ͣygYZ7zXZִF! K]ŗXi%B& S!]X~|ƤrD~<ۘ V kl31pâ];a}`PQ%֡0rU{jUr=C?XI6X uP"㲼X-(|][dhs,v[HJӵ`܈e#v,Š+% (93- ]N HPL#ekRȗib[ez0]x &V`Xa̖ l-F3}}~ITM΄v(ri=)S#|055 N"FS ;GL` ` \26 v#P;\Y]r[XބiA,KQdv?7Ygj3L4GbB ֜PÕtCg.('41 Mff5e6{ZqO x@hXiDR^vK.KvՉ'pCjvzQtbt.UnxGnevrKCDAcِ 6++}j{`@CZә2m7/t%~mBEISk+0- D7"|N?db:Z- a%+ԹI%.1u>D`g\ &jFuUZn N4fT<> y&;0VO_3-E]u eqϞ;km,`7#\6.[;::[f=m(l%Ed$p$h5ݕDӆD:FF+>@öTW wǣ`W!xJP"|7,BuK?ic)*T=ނT"69YSy`q?wDJ `$Egq| sbUK/i{BC>bXz}$ECѥ"g w2 u{;&>RԪ>{667&gچ578Th}($ZmȊ;ϮHda~kMGh@} 0Ђ`\{{5(MxeAz ׌Б17Wa—vۛG{ݩ; : oȵ~ 'm,=7V+ѧǫjnB s7SZ/sD,A ooDŽEubx%s8RBԟR;Y> uKߴ d܂' iiґq;F@Al.1hqO x@5h5E $3=Eވ 'umI޵33]yy(nJ,dbUxI3] 5̟,hNg3 Նۤbٍ!NѣKWϦ _(S.!;+ox_=BnF>x\ [o-Oq/_ fE). ͺpquZv=nËeF !|S ,Uwe/792d&N fӆwP@ӰgO)4e|;9ea7 ʯFt4 24:U_m`/DC+->J~\1d)`e6S|γ0_2YJ  I6Q ;IkF;kb:-ԓu#6DB=r~3xVvtas }b`z'-zg .4ȧM`rsq/L<%}ȓ^ņ"}Y%fT1P;5F>Q+%#S CqGqӨ{ȏ~fL |}:;'礶dDmOdzVc}9k4cWYTMPI*_]s7{2Gt1ih`ᚘRG`- n=cj4-F@vA;$VuJ{t_x)