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  3E܅w-mh}")٫^]Igk4n[>3[wnsuKq#Xwӎ1:&?O:iy2 F0 ¨H~zYĵ.7sXp Թ: cQ|L[1$]^¤BQ׋>?"GoC zq%<SX<Ǒүtz 8 /6vhA&ɷ<aL*cw]#d"z"C/M&=3V\y.MU9=92!RQHx~5y_`|3ӦL,-O')/9[9AyI,Cճ52̏l(&^ᰫ#w~@ %m?dU[4\3X'Wj,ɓ1DB'Rvmor@C:[6Тf|Ǎpm#M_}GP9͖|9g XAW)+Hxƹ1xuı;%HeO=!]X[ aU~TGZk8ccR7YlS D}pc}1|>Bٯr鉑Ǫ*?0irG,(@)a"UXψ6 , esDZt΁)v]}<S0C)P*#2S Y!}mN#oZ.xA,/z ,o KH#㴬B>jx;ƆUíPo)GPT}t| mpyhۍBMUp[}uS_|˜*g1dv<'v ڀ8a&=͐wuʼo M#bjgZN 6Q B2DT?HY}w¢cu dp^Ba(d1f,ٍ)UdV* [w%6Q$`Ζ*Z&s%3cWeȯ>.X6mQzZXNА(`WrJ]ӎ#l]NG݃5/pZJ$[+"1D:+Oaqf~gxƊ>>ݭA}E;L3[XQEڑ -v|D|K`'#,TePؿׇ^OKi`h]x`%4zcO'? b)So-UU*jE~}l؝-^`@{Y:y?\íQ #6XSxw)bc^٣Œ{n':[|M9w'SVh>ikqDBsr~<} &/)٫v[,Y1Uá^(ڍ(K˸w> Cjz:FpW e2xnuTDKm4*TBxkhoJuƻ5ۗv*Deѧ{FQh86<#fmq[\~.f ֐v獻٧@p=fAuAZڗ$q}PRh&‰~bJ+<`Do SX(!-޳H3Y HJ={=iF'~7s|y_*N`Y2!f6v=]2͒4;ʋ%`8z-&Nw/xđcCΒ̊2~uki&?lik(+vQeO,QU9oLFIޛ_ӧ\$*   ?bX/?UKfED˼7eTu@ VӫeR?X$BkdfO&}ɸU. n@2;fCK"xMyGti[ vҟ"/Kcz=Ql9]Bt/<Ad!xKj_Nh-RUsM疄Td_#4P=#ʚY4r|z6;QtS GYtМHENcNJ})ǫz-*9w(* C>q.ßT}t?cfN#.JPNs[T$ϼYnN͜r?<(]/sxR3܂Jg%=S@sNbqf'Ŕ*e5{ I&w_o%ʢ҃<׈#‡ASDu|+Snr%^7cڦs0wPH.O+NMQp"kcqgSqc@2m6ȗ   jԯwk*n*S vŏFJsÄ4 N Eg '`6hmOݷF&{ laܐ .03.vȬPa4mYy$hgYZ7zXZִF! ㇪!]ŗXi%6.Fwą=84hOhh>82EQy[ M@jn(Bq$uNN"Z$0m ȣ`TLJ9'/7HٲaU<2}~.Hk[6w$`ڶ !rœ =ͫNnG/*e#!5d[0!&I`")k0z֓fp׆_YCs[ANNJ]KS򜒄+NߔM-+'«?WE8p&sDd*5Ep>iiǏ"dG01;(Pk%MlFn隑u-"1`F#ɷjhǰps=qpH]N[py<;HVhc-/Z000OL mEm3 䀥Snȹ]N%uEf*k+g"FC*3;7XB )1jεȬ2ˣf5Dg^+C y{'}\HUgQ];lд7i[!I Ī=Ak(Oo~8.h_EV"69 fs&b^efZ!ñzqQs8H ~s(_Y2Y7fIht/J H}4;݂w8=+Y1fE)?Z{NVp<z][ gʆA҈x9zH'({QUaXZtY>)'MK7z1ז_K3v4JMm]l"@8xrtSZ |I4;J|YI{-Cow:6*yq©+쒍Upڹ] O?Õy%6xq:y}nRs 요{{S3C~pƪd߫2ivWov>~š5I$~7|hA~XO$iLC>Hx\22b?JAS(Tz~!?Mb ~'u\!^W+u~N FQ}_x΅/Lat:gOv.B krLv4SSvv[%rGx'%c~K*ٕ̈C:<٧LkF Ӻmu~OJ*Op% ̽P +ia{l^î5~M.>Gd&>&Sz8t9[SnnͶ%/9"@kIS{")eDAy8\84AW |@XnR;Tsz9F6j%% 1\"d^0³gͿ: o;s#eH^=!#?J=ڥ|r9 ib`_650b|zڨ(GGjy=bTִMȋі J#Xx`QxoV eޜo @V,_&>AŃ7b;ZR<9e@ɰ\S;8<< sՇEz}kiS3 Wf%{0 \񒫶uղ dmeO 0,aJB;,tS~c ]͑ q =Ln"% \h[Wvz41_YbھHdgN>lł|i|`*%=gj _5z1BАۤ(mgcwjFlκc!>`݂׬_l!}ϾڗĢf}(j *: >MXY:<D-hE;؋S>BLucP֞ Ԕ+o&yJ4iEU*%m؏:Uxٰ5|MѬ驿0F|ыS x&⒙ 'կ6`|[ oNWx/g -̿\̬#L\쉔D&1J.L1P%g'ںC RthuuKl } ċҞظu6ik\u>[2YA7QgD<8UoTo}6atC˫+WoLz\‹1Yܺ=2wA芾cIƉ$YOG2 0^UALa-{*9 j6x3=](ۭC(Cg3|a$7kijjapT[hG_vXPj0#} fG9kD:}O(1KjpN^#uB@H|K_⥲S#.8 anZ pu(m0K֎P1!5#xg -}H0i=X%B&dۦ`sIK5IqЅm 1TZ{˼m:\_$Xo?eCYNv_:Ȥi)-lHH,4B <7RѿD',,'K']s~2"-HwȒ#v,&ħBRYaUf^\=@D7[5'{q`JU@./Kt~gCW2}LfRɟE&YԺK\};?m&x]=M\L5ؚ5״VeD#kPxji<㩤xȠl{{}Z{aq_0.˳k›ۮٴ-̜9r"_htNQd :yGpB !usx)|+b "ϖ@_QS\jg0wlxQ>8}MF68(i Z4\Zp::Yli3f-1&uiAEz'yhv8W쥞e~c̵9+DikS&6D[/WĈn h;3cTJrb] ^n7lb;Y:rtHX턾YQhA_~f qeAq̉$sc*OatJZgyOv3`~B9 Ô˵O Mw#U(Q?O%>)೸' GNۤ0m0H!c+]%ݰo=jkh%RA> ΊCJ j-E e򕲌Dj!JoGZL=zwrv%\9ݹ X#EըwK8[q v'HD$i|p܀k9 U:CܧRk0a@ Q]Gvuv7%|_嘆3Gq W2+/ӯd_D්jlpS΂hNKBV~ Qn6c8&9R$!,ŤEVt>u)RhLc})B~﵃cf@ق+3$ rD@(}rD?Ŕ6R1?}26^u g :t?^VB0V/ bJ)A6?,+j+ wWo:b+gf)u:R f N0"Z]<GpDHHt*, T`[iCMl2^)Z1!jHS-ꨂZ>Y[WfΥNZrH%DNM 27_`'7%h)yԑޣ]ňql2~=TQ-T[32$;GHGoD,q`19[ܗgiٳUSDڼ: ֣Jx=, {}J6Ł֛İ2~i ũ/\O˝>[_[G&R*b#nj`ce#>M~ ٬UPtFhãJeטW&X@2ᬡ:$1j}!]YK|FFe(S]l#a$d\awF ZRU[5Œnt7Vq~(*Idn43ùQ8p`ӂ*˟1/*$\#)?mZw 'K7d _wX*uv/74 2[bȃWrc10p5z\2%.h쓣.n-SGC+d55!sPv1Ta>b*DeЄ_wU֫$XGMfG 1o=Ryls}ihF^` )to$OELa Jꭃ+SQ e1)b$P䓯얱S汅6A=Zݮ-Z譔'E!~_ :D{_V7hܓm3Oȭ{k֛3.nk:G`u(ſfFa$_z\"bkk$)?֜:9DVyrMNY4O2m"tȺW7dVh_A% {V_?|;b:klKQ6i3:[:ȰtF;Axy ۡ>]`Z?`9 wVٕG.ZyԠrnI <_Z_s~uiIkCxs.)~m`0حwTPE5&",^/X䢌5M!~Pa W-w7~:$`"#@T2vs/AOpq:Q˵XCkoz_^g1Z]Q-mU`T9 HMw"ܽu*w|= DOOD̟6}Yxid4LE=BgLIM91 Qe:Tj_ DJߦr!tI=PҵU?)Vte+ (DHY^? yKmfh6F//Gr"o p% Ac `D*F/1EYnJfzyH\e\@橤K XqV _e,8u֠ˆjr΃ eE0h]!_PpT4e3λo_}2pA BԺ%%KcoW,Wynu*r&s0z4|5aa3)({M5N^- [?FTXCm3QՆܟ.Q><ޘE" qG]r2VDt%$QW}8vtYNVE- ͤJ 4O&Ǿ-Ob`CZ߆_TDCړҚ\A"FȴdQȂT~pmH $O-[L#z2 >ae;;zƂ:tq-l,$ذ1®(#D-Yu<y4a ʱp94ŶԁQ8<b9 ZQgj]2ƞC+DW1S\)+HaT|Wǽ4*BMSI F=0"y&hۻaDq^f{߅_.۽6]uUO-?[G9Z7Hƪp<Z ~1:.b M6CҎD9 ݙ');K%s紾 *VLK=h*]BAz}Џ/ XYwi ';:YD\f w ~aBm(W5rB O?$$h?V/դk{,&j>!Z.VrvKWKb#8.Ir^sPj b`_B8*FMPވiVnP=r-JF=ybKe31ڀ[;*f T,:y%{jyZfZڞمn!(OYKn<n1dP緸|@ -OZNZ%CxJxC{] ϋòFu=3<9Pj+81zMucc}gE;byx]asۮ7o $ߑ|CJ$'C$4͇ &q.ɓ$~1;"&h4%eAdtEh#˜4,1@{r/ғ9Ѥ<6[ w'D2ZnX,/頁ڍm­dEc^OߴIKs Z4ਾhewSK՘ypC :cx`(,<DyW*RD gYZd52fdd5888db6b8853087df72c7784439a9c05ca0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159