SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info [ $D U Circus:threads=2elapsed=50.754cpu=97.064gc=3.064factor=1.917zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic+ݟ6Ҏ8PV Q}S fi3lSTy4n8+t\L$ӚW{}Y$O|}QBEl+?~dne");Xz.1ؗ.zYIg'!?юsbp=|WǼ ɐ-ﶕFܨI&T $FL36;'|+8Aղ;fd6ҝ'<;Q^Q,d0EXKLpi'lRCrqYঞ?; ( <7ƿיJ!٠]D+TV~Jdz8SfNy_rj0'[;R})v#|; В㶑WCCd_ 7~ ij/2,ҶjxD`{Ёʣ 湨 /.aH>cT~B#PrQ5`C2CyGsK#ifx>dx}a2~sm41Hf[0gLgB]rw?4CX4g67呪4P6uO?8e%zjfL͜dDDMmR=c3'JPIV6񄱼IVN_b⡦^ m2}tA(Jjפ6Ju1]珚>oph~.o9z%qIa*n+@|Qe|Q׸ ~N^RI MA\x&:=.W I*.MEH5|lm` %z!J<&TAx'HgmS MY TL9N]c&g!\W/Яم*lmU[t h<Nj=P݅LG'oڏׄϺ}pii^#)d3\p\*zkN-LCkv:%y SE‚r[M@:rWNxNb Iqk4L#&^R'>:(lX_jles&t]ȿaSzVJArF K) BϹBs6f}Q͜1dQ/ACM5G76DAt-0F<:e64V0ܛD|dc{֗IVO5A\NFI՟4VI1is\Q5MN-EQS 1"9\LNcsN^>6=`ƘsFi9jJ8M=9";!FbI)?{mآG*gm+1[e5ThʷB"!-09f9}@ A uzZa=c9zhvcke=FDrt$>ӸnXND@Wm0,=PUЌrA2VVv!rȟF#Yt'M}`)N'QʄTNʇ[ȕ+NϽ%@?o BN[-(zFJPmji#6Kkշ掴o2U`;fӈђUC<[h`a(w,yس }i,"T!]&{ߵ*Pr%|SW̿4;nTav}: ۖ|Q\n9<"WK˳1pP3ʘ-a1m9n@T98_k(~ׯ6$qn1UK+`؈ܭ5W<YO'o %FTGluQIEierHwELo#-{[{u 2_~!.n)tNf+,uQu+ADMG7k.%1%±|ϓ#$>Jݧ] 1#mautCtRus[::f ļ;%n,d \J E=& rkLMEAuJ"ނ¦ ˠm&M L ; ~TjG)3WWM~ (q|V`2fV A!wɐr q17ȟWآtgOGXݚmN5ҭa0๢* rh1_2%4(Ѡ;O|"ܥ8ƒKLyDEr nF[' 1901!D]ځeuu4oP/q%輦w8 wL 3%ḫR| =k4o8^ebF 3Gא \[Y.$8XP*Hc]qq'*dA`!@} ā8j hoMkp*K^M-r $$By[HRiBZO^LgE=:6uvaͽA4Ìlh TеH. +: ogyCeAT5NO]TnyKBRT5a6+8NKV86]ϯfD@1en{ 6-m[ߜ=.oky9: ix墕;逧fS36:S!.| RuZSU)V_)}N@y͉4G,Gm LjHw~j]5-8/񮜻|6a޵Gؐ\[Jc!DKa3v͋7 n揔?& F-/o|HZtw@~-5^c!=~IphI9`1# OKk"H`6tF! )#gY)39JȄLƗa +$N( i~D/0P+G (I|qJwG`;L[&,1)&~Ta3P6H}2DTt;q DPS4Jljv)&~[^Xփ'~" <ńQ6Y$<3f-XmzR;GwwP=M`罺ƮH:LYόm3{4~+z 4@HTTS^up5Jle,b Lm;[.54T/V4'lDM'Od~Ң9d}]zrwvJ _FDž $I_He#6J#Jp«?v`zN_~a6@z <3Te#qex v, KQ̔IYkMCٖ#DKtoFЕ8<`;/M_Xs 8䵞3+CMGcKJCB &%=gYZ7zXZִF! E= Y]ŗXi% -ڍx]x}jM%X*˕z.-.ְ[ƃ^dV~2{tCr=V(~+  : F\|]X\2ّTNeTAuyd_t~xpV'H͵.%Lyo,S:Wui,EVKL}f/+# t64fI=,tcr>TcK^a(lQ7\x^ɍVM#K+ J(>[>p`=xy^Zaf&T1ZiMNXsG\Y4) C+ o~e졽LR~L(O+wՆ4+YQ *®5ϙ!C{F}?kl@A1T?r>\SlC)Y^sX2IzX~2͸1ieSowXDtfVDfT[{tQsp7SpYQk7 -B~BO[AW4tHZV+hX`f^ձmrDVk5P$s@#%$ІD]D[/r ˖\{ht@ aЄۢ* {_ Fwۺծ %4ZW[tVGq \oR t \ĝ; xNS6h =𞬪wsG76P''_cxKB&Ub^BԱԄh:@e›gk.u:˛ZD@R] :~7%-;<P7+qcHS4Oǚ o>'B#xj^Qf߄G~&N1OR߈IHuv|U`Tٱ ߑs|>hH3EH6ȢՏE83={Ff۵9&2ul3Fr %0٤JSޘ*hcRfjPCAja-RPeS3B ;;}[>E˩eAu_cD4b|Ubv9%8䪬JĮo'kmds¦m8m46ӘZ+reK[y+MGg+@q,q#;v&u=K3M3*;A*t8;wUYʾp XWe?QN5c&"Ƴ]7@Q9&@䒇=051-Әr w.iخx쑂mE"~R wɮ@0υavI4^Oui?y\M_Z%Fϑ Q=6z:KReH?v)M):'Ч룉6N.2`NdW'Œ_{5)8* nL^Pwm^9<.f.Ľ6h=UqK@8@M6jQGV%zr˽+c.bs 5a,t-G,r [j`F k[MҬDi)RbX:!lN Wձ"  0ꞡp>$~?[W`84%ʊj,/Gܿu*!E(-|Lx0{ znxjOR ܐBnӠ:ZX蹛i3?n,^ k[ m/$Eq#+H|>g9m;%ح6c#nć<~\S4)-J@/X?V$%Yjhd6 ^qm~j] *KZEd-؋{y=ތɧel{~m?2xTydZyv*}nK NXnsewDޗ',إgs>B0 ǬÊ^0BvƯQ52W>U<ķH0ajrRJ)K˻e}ȡn>”"l [<*1՛hv1!_ SSnovb1)^|t-`Q $SDCp*Ҝ$J..F(;+f-'1u/^zDRUNj9>~ۼo5,jݛ+W<2"zo>< [h?yㅕb(?Q+,B"t4` 7Fdc*#uw#ad Mq!Ɵgt=))$9BF/f\4C1gF0sǥ(4[ؼԫ!XGz*[uI <.v%x<%u礇Gx*+ϺOXCHS ,Iv~?U>)PXYT1O}Q-y4-cj+\!ozݦ\?acdynKZj{<%ULN/}i'*(Â锼5yt:.^| jШS?J̙Ŏf۞y_Ԧ V/J,"$$-ؔ}ݔޟ*? [ f pAx*&4kpN 8׵wp$EC& Mi΍;f%1sq7*WЩE嚳9B+R5&MrcE6F^MY&H1j$gM cۏZlY?/a'fQqn6 5]}Sh@%l`&*"A=#ya}MQ LXd SsHgr"R=TܬH>Э̠D/gly }eaY D#pCD1~<Mք&Zr^\2И%E'1n9KF~LR_RB9sGKG:"?tLy '0486u.3?m}5.U"y(Z+lWBeK3bz'[OMFx jKѺٌl 3)Rh@\9Wu~]U"IR