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  } }p#lD ' Native_Word:threads=2elapsed=188.807cpu=182.876gc=6.560factor=0.977zXZִF! n]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]VFS>PqҋlVXt{ĢRbf[A0vg8t7NLmh1ƪy_%8Eõƃ1=A16Hk7U(Y#}sE9:~9D40WZ-YP1ǿ$*1ahxx8H `#_%^ D- ^M nlNx2z]A-8#%"4)Rus5,7] &0^>Aȃ 㥷,*!XdrjD6yjlTkoA&_zif /(kLse{ӡ@Oo+z-z8W9g0]_8 =stdϛ'SX:< @%g9: wm #]԰0"*:RѨ jQTrˬO\hWjEޭݡ=~  #oL++L-)6l^Rv]qH,ѨUhmCc{I^M[{jx$ӿ٘ w_" 5ܸ݃h8x@ΐ38:Vބ1U\`_Jvee&囿mb9q |^d57GeW?%Z ~ζu 8nC`Nߓ#4#bK3L\Թn>E*C_oJLD B7L0Y9rem)̍V2`X5XسPu^]Ծ0 gsXT-ylQ:uSC9  b@\fϊᢗ*{uFU?V~4gz<@:O98xVIпz&_ǖ # Native_Word5%ɇUYD}҈v=&i4a(rM}!ɠ+nǿonyYhH[m TҘ+xX:g;/6l`; ژ+3$mŨ[J eTka::?CB Gw]yZrj 7(cFiC@o'QXс " \RM7%1j!SFD=Ay^Sr^ 9nQc3 DhܘGh!K]k%KB9Z\iT2V2n݆5@9zՁ@ף\ȿ0 =8lkt>MZӶrFY 굾O $yιDxH6 .at Vd?,q䕑A:"wD`}I$elm$~pᒯ׌}ߨ 1{Z70%UJ,'&/ $u bALQ0jd'/bf2Yg]"32xWy Y\Bԅ|;# iEα_ t\oX;],%pFP,|cAw}SDׄڭ]"C.#4Bq9+TDZ^YCBj`u|g5zkk!Pdf% 9-ʦh^Z.UOzc/E ]صI{͍T h ؘhvJ_ Œ֥!)/m߅ tvi:.`Ϫf( 9CA+\vNۙ\>ĵo~SZ'b dmWcsMc2%&.T)k ?wGXuFdpH5\y̷AUaF% CZ4ԏJB6klt/{cssqǾ=1{O90LVD<ܔN'숁 U;& MF^~{h4#HR? mf>:K;HJ%"G"~;P汌g@XIGD oxf<ƃ{2r=IfQȂZ5( d{ ɐ{^ <˯Z@4UQ3;[:vw]Gu5-C^rLT=תJV9h sGd"wfcgpa&%SQ:e"ǑJ hTpAGl#mʺΫ,eWv6,3$ m~,TXrG^-tgx:R8#"uoCx J"@,beрDI&-*-dI\a/Q9ZDHb#5?KUR 3|v/)80h2mU: /ia1Υ׷OIv.@ս>C@rc:JwFS.gQ&Vנ9axQhԟA PV9@DU=f!4L7ulת6lr8k 9N2@p+Y_n5-{g^Zup#yMa'Yglh^V7d;͓WlCS'a"[6:; =0zTNS|6?ڰ.8Xng0SE0}?) w"n.1(㎛#G捵O @H_a&z'>˦{<`v3E2hX7&\|+]u9hP|,3S60 sRRm4  i<1 11v{ōw=hO{*ٷKnJM^S8exaQQ+ cLhxi#^öԾ!:(}&2*DEiDcBzM(kЮ֞~[?/sZT켟ꩴsXa-J&.;В(]LfoBUL~T`hvJ@IskS< J놱nA'1w& cb71Ҕ;]"1/RYŴ4ے 4y`Z&+0k{3&>8BO!ւT>^ʭP IO t=ƷZG`i{ьU ,\1V|H^+wxz;냑^U'b փ* 45sXJVtz}d":i=s[Ng)Ԣװ *a2#gYZ7zXZִF! {]ŗXi%s'TC?H1rB(z-K)'yT#:vɗAïc$u-ALw[q]XO gnr8+n>hɓQ s, Y}Uoh0@y\柴bv;%$^ՅñXk)00ƃm,@A. ߒy:#[5n?CZi9IsX si#/"ǤX3VB"쇝 Xus]FWnBOGP\k*e7NAkav8<ʧ&U/O1tUjcANu-립n?`3'y %r4UoPcsRꭍt6&^(DP?=zJDջe>wpN.A}v*mWΞ2t=a";W@e-W6H7Vl(V?~u`3ZMukD *|RYc1q5uupҼI,4"uQQAg/-e>)ҫu"Oj*?:^A}gQqҭvsnǏb MLgMEu7T|O>1tj҃قf'A8^$*jdVuPCZ ĝ՗lj @nAIX,{.eg5oHu<`m)' }Z/#͐ C%LX>xC%&e.C*yr$ZlR`ц1nf>%%eރ\'ŭ\QM.#rbcJ$'28^&1h+bE3mtA0땗D#{)[ (IJ@A$gV~ze*^C!ķT#c_vb4&X \.F)^]Dn}|!GxWtR6E@Q=] _&AdyA6[+\ >79.9Yt] P9CѨ\_rS=dZRt!o+-  ; c+,R`~'!$T0Wxkq0ee0n޻xP1YT8i"},ĭ/<9%ΌVU-Vuc圢uc^L{8l̥w%Ssɫ@TʍE8[Z#/{~9:η݋bu#qό[щnT]^:T쬔?6!PQ!d^ NV3 `Ф0ϊ1^>ާC%>fCa,?7w.V_0fS?q~d $itNt,?^r+)`6y|#"XВ8 :vҕzVtȞ6cr Z#T6L?Bn:g9 pqJId22g OlKSVX`"a0-Օ/d82;%1._ۜ{"Z0qCgK"oP:jx9U$3Φ)~|`fmޤaʺ;/JYkԗp ,׈x.CuvbO3|{!x)-@s! =dZi#*k H'&ј93B T8a7|c= `!4#-ZtpG ݵs0XPm4أ+#f)ql[!":S;hICjK1ή,6%jLNIZΞ9Q;f̽i4~Z-d8ޮB쎃֨#t' _DONoᶲwĻgz4칹D}r@2bhVg?S^AUNMg .' C"ؚ.=SHTal/E5ÅݝT;o?q*k㭻[MЛcyBҠ.-4d6ۡTt"4zigTܚ|"9NIk*{@un»DS!h2[g~iZ~Hd~Q*&n$u5/\|. 'ThKLl-Ϙp݅N_u}eo̞)5RݑzAn,W`][XVzo9Gn_cTxynU7G_IһZT^PB齖neeA!^oG5v.tG럧sB3G tOiΕAt=q_vx.:e4ěU23r8[۔~T'FNGz[w1w\= HvV :.{JG/|#֪bz+ JԷ}$3AJ9ZΎR-{}VYf" cq<m16qau1^A#M>O"zq ^zV2ߐ4{ ]zt\]@Dȼ3=MHD&ld>;T󏍭;6yM+M%h>Yl_lGslӞv(4>tګoZR1/?߭{/Wq~V!T*> _hN@$nVVZU1@(?j~*<"WްhCO~yEw2jqehзy㠗s_-$  ŵ>p^RuS7pw#T`nKGN՛k\*NV.P%i&lCb0g ň'ńڌSpA_sH17HξBvV z %kJR<[ rc'Gc}XD!ѩ6p">JA_K\ J֘inta8~.7L3J?Í$%@Ǩb[ ;-\턴ϭH'_ Y'RD JǢ`ҧgZ hB HHt0s^i1A>[1䞯^\9(Lu!'k¸->:b CP\Q(7ptG~|`Vb|`s_ ?T"mx' XFw)/{$sim1|/y2{E@3WH`˓Qd V.IJY}gNS|#s(,H9llĎdĨk055x)+|fjd^{F!0vC=r'[WѝPLriŰ9>h+P73T)QɝEԥ|HKɄ02L?LHHǵr%{ͣUgsl{(sLzN86c__FX#($%b /M󚮋.x:8$V qu+$erz/xT Fp u>>]iT4eyJ<󘲝,CmYM!Ip@ȶpxF;r&Gvv~* 8%t`aW2;\ڷ͐676%Yw1՗]2sYdlGtqU?7۲OʊXAd4݄ڐ*R;'_-.xp|RrFo>]f黤T|ޭ,Fcl> uN΢L7.<WYe79YXYи_ZQ=7!4+:"r4b  ku(CsI HVԳMc!G@)$d/ٖ`EUUHE^i;/N~%ЄENc }ԌQ<\O/mJ %)H5MsR ZF,"%ltR{]KZ;L!jf|IHVyZ*,^08o}E8- OK"\ &1? _4ssmlhz4b+$WGWEw0p!zMMU @(2y0ѷY/I|2f.M9D9dkɉ8>œH2@AWQ@& |Fn RW9*b(gUFmTl$i GTB(SɃ퀆-E-34a3t!? agy$3?[[6b?P0Ĥ^V'ۚ‡q$^0pq`k-^\^*Vm ӤyAeh}`Kי@LN+EKTY*`}((.8CΓ* *ݠ~>T7Lڞf$%ћ fu d P+faACťm;=xTHɽ&U ADޒ(K)!5ƷÎD:b/Y;gm4VHCB=^V/Uagԧ G8D5.+){_`m>o%MUKY`)US{7#e[<ɑB}H|-vxt*r) c۰"6iƮKFmK % 5e>!>o\~8 hOJ|"Թ3)T#<&?b91o0KHDrNlu@#p0ʇƜU9B Fuh;QBI8-jY#pfmC4 N8h7_; >D6|x)w7Y1Ǣ( H4ˆ$`#c+V);?)F >␑xE#^s=u_p6}jV,v}> D B|d+)(_s);xۖ=wdN=VOCFpho9:.l^;@g\|'LnԬґX| `D2V8S x3sU%+rd&^dfak.oЯ_G\PW":͊yE:CfBZ\MGЯDŊz"-L`4ԃP;9`ߎ[PwbGTM]N Ý`E4:)C>zg_9<1%̮' 1~Yk-<\˝]өls#'mS[