SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 -DD I% AutoFocus-Stream:threads=2elapsed=69.860cpu=119.524gc=1.716factor=1.717zXZִF! Z[]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPXĚWRQT,lt4)AU&x qUe^ o"s~Brc@=**7[LmZ~Z1b/Uf|gS}e?ylf@}Z9M7+P!6{`=;)^|t.$^R!^ %JP 9ܫc r1<{¡ B'BcbGJ Tksyq5>ei\[y5+F75K; )K_i挏}";ai-G# Iq_q*(+Q2dW ASw>!YnmMZ^e=yEbwUHI^A^VV%ob,8ӓ'T!rFd*wHH)WH@*y(29o  ?> m=?XɄm҃Mvuӊq7>3ú#9U%1zG=>&\,_"><ыZ'JG4ge8mwoC9uYF@]\M'^3;l1vAYE C;^o^~C%{yW5kÖ ;@]gx7P4τնB".GbRRx-cX+PTG{/'sKþP'J"N) RNᙓ6mtR^+O _k_6$Ё߽Giw0! Yda*gL#dwǁ`&Jf#0i#^NRSH|pBnv2GQa=sQ! )Ge t4J4 '\ko9`C8$\38N=^)ϹzGFͩmzti|VNrn.c@{{]HЃtWU.+!ۤh?U5h`]8| QH{J`Ij/$@ _'u^+.w~:EIҕ C{0BZ~V7[\)Ooy}y~9*e r B4ny4J9/RlА^Z%`ګ2!bcudgl=|z7Kéݳb 3bq3D=rR;m8D!g2rk fn |ٕcu4vڢ\)ܲOܪϖTNZ"ifNv@epԆ?WeNB!(;65/- ŵ/gYZ7zXZ - AutoFocus-StreamF! X ]ŗXi%6y2zޏY,+lmgۊׅ R`x#jp$-G [ZU!0?يnz.@)~",򡺇""T垥vFz$%MUVV 8^kwos| .]2Hanil)sjYzq$8SspTT !\Ǡos-U ʹc3 H_?6ŕ?0io[sRgm)Qmҥ% EI^#W Nzb]5 _{?%;5%sx}Bۨ)5MȽjAXi"%gO]U{>){Z0W2y{*&hq2t T JÎ/j.A_V(\幹jD\n_rM HN"> v)M{_ I&@ #@3-K#g͝BȨLo] (1J'8ҞErOL#< De\Q@:}2vQY=GSLf {`LABOV!P3I?K@7Q(Pq]mI71 IuN<g6aQװc0ؽ? F&穲XY)?C>t;z>.Oe5YJ& ў=#W =JZ>J.x+Mo- \ 3 ? `Qn/PsXи\wmPE`3Œ[Kff-X]]jj64gɱ}6T2<~JC%OL8{~IB]ߋ60wi&"- ] (߈sL$\H䄭iHnyOd[v7N1d09᯿`HņTH&2P SoͿ@:Faݬ?TI"*݁MJ~y4\%gTKY[ UN˓qI?E@s·oD!nx 5tpZmVUiA1.7{z>@O|:'Lbm$\wR#^^cM[δ6*#U ~R#2es'F,EvL. (B8 K<9 =WkK P;n!7I ֒4R~rC0-u`E˚zn=T _oSD6[rP5-#na_.O}z_u8y=DÓUNXjr~j970s(Ek3eae8 𝇂Ib_X^X]t|H^X\rŏ[IW%0ؙ͓Z%2j^ ^ F,A'(-Q$\>¥Zg4b㿨$$Q.}՜϶c< I5:mGe%X-g Yy[sp0\X]u] RADᗆgp|~^ ɢlNLa0Z5E/5n^dXʪ@ٹڅA&Z]4ZRms l5z!lzWߪ.8BV Tsv*<{͋IRh/lݿhS{x^Dʏjŝ<4Зb£=E`$#]AzqЀ@vB"˔ǗB+'faqDYWt$AZ[Wށ摙 ~cRhJ|Rܓ(5|$_0lO)+/+[8n}R>bN8`1 O!nVZP1_[5 l¢OG&zZ8ZFmt=fA $?h3@N +fjO:֜h !b ^I[d_"x(fE׈+ ̦Aoz3)HDLAHkH͏~1܈ 2zx0b}9^o aF7SӹL&ujӭ:nS :I3AOsx5K:uH@+W Uu@ZbzRƇ|Any@;e%Q$sQC;EZ!N;X6Jyc%pfiٱN/cw8,E]@G=s XGj79 5[+N1;®磥wzg5ĩu=(ꖳB"~Aυ@<zV_BfvUrs8ICL Tmu|2,3ƀ霭sB4з0HUZ{AuJ,] >V0R?\;$ʬ-D+ㇻ`1bi` %^B́JHdF8.;A뻀*fn8"89 _*zyoԫ 崭.貜_r t~?p{ uJfERuJ^jz*hj+*B*%L6?5IbZX9(4LnXF!!lWAʣF=#[x119_a:-q^V}UT1c3|Aو C\2U<ߊxƠEA8(S@Dp{R~,jWZ,* zAQ~&ٓ;it6;]POc숕kmsnU>16 bx *DMBBPKGo[ߙdX@- 0IG,c:5Zki.Rn/g[NϟR2TzY (8V>hE9X~+ 蘔lܩm:&H)jT{~CYG0ե{A|-ҝ|ܡP=TC7:庮@2~= 'pnmIhlko#y h,x"Ck7Fo t!ڍpߠ}z# E<`Nl"ɔlkK4ONҍ%w7?\(t芄ѼW l(y(! 4I@ؗUގd~Mnj/[ 2ư.sI9Srdv}Mo S(XRۣK sXϿ;E[ .U9:r/Oy|AGVv~2^ñn)LgYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a fb65fbc7cb3dc685e260cf82594e4453b1f42435 36dda85f3b0522cd856f7a72e4f90df21df9cc4b