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 J%|4 ]Echelon_Form:threads=2elapsed=397.633cpu=686.832gc=48.460factor=1.737zXZִF! 7A]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\b5LBufY%:-fNMܰC#K>ɷBك Ó]>."{%Y^&UaKrWܴ"9Xufۿ%KT ToHdC98ޤHF'7|,Ric]䧍±q @0^ʖ|j).r/#x).zl?V"+2=`3R`[h h樂9ͰKsAvYd.& ̔P!ՙcmj*HNB%RZJK bWU ,XR ʨױvfZ[}HP _Ve>X@CNTH8Rt>]gEYn]3G?s5<ܖf .3ߋ1X|-Xkt3yVfKsߋɾz- 58J Hbpy17[c{i]/ݺW *d _nBhӶDnn3B汳pqt#ء{j9XxDVCqhB,UEI |-iC(YIJA禴\Ƽb~ADc(amuCrٱAn,:< 'wkBx?g)u&mx.4bpu&q]~jLǔ<lH(ª Š?Aq;G_U,mqI:NU+8UEKt5jiwW2@[2[TVՓH+_*O ) -nez>wfhꞐX +<ǁ7m7M|/#m4Ij>_R_# `l=ʼb3!f?1͈% K`x Dʹ+-c`kO%ڽ^=(MRƩ֪۶P#L$z qS$E#-*5c&!C|G$m#OuC]T5`- Ys kL\ |.^n[f/^oc}-9AΌߎzh3clM<5GR/՘ɗx:aPc;f>¶ r=w7Izw  Μ.uwch;~=[oF`]cT^T?pQMHxkj-=ufT|E !C\ R6pcL6~Z(Zvl_M&Wwe*7|A+ p;s3tp Y <фŕ܏xD> ޑ@GEx4Ed+b˞3觡^{Z`@~ݣDUܟwt"1xytm#Z ~s%f79X7s' ;j(_~SUy1g(^21,PLx8_&wRpl7V#?fq"[%QS*Kqg DYkN /w? %MLjSqqi:#Br*,wEnf5:֒y`x&0~ei䣬x HtzsrE?$1 E.\t-{`F-jjnO0,ﭥLaA۟RCسp1x[UUu߰.N)TFb6$C6-{m C-E+s&OJХ䚄@eqH#r-=KK!YFi B_IN h6g l7I2wP{9+Xs Us oʻ]D5ybuį Gmq_Ɨ:%#Cj.)8a?W/w ,OK?\wd.uՍUasML$3#%*f!Ń53} dQs mC_5 i}F}$U[zӥSpnҔ!:&fø]#;*s􈊈0 ǣs̶Qd6Q@𡺬9IXWgJ}bŦԅ{?ߌFУahfH~KA~¥C7Fpgv ni.Wի}%0~f- &(cŚ` lS>:Zro_ӱ/v`VrAEnFw{.eq(A}|naB_OW.!"H)vĶ_͵G ~ n)R*11 6oesoB Yh`U1+ ɻC,6}Eh{Wɫ$?Rjh "OL4z[N"w¬jUƫz"I]zSt{庢H_G7X'.-djdvUd&VF?Zzb2u30$ 0=}8Lڂz=~=vg@#e?s "͸v'6 Vm؋ V1=(L".{XH|"*{ ={b-WTD.rC|fG5:W1!|=DZ0.T_̾atuIv#@aΌ3!b̰G+LvX^xqg;KֹE;o+H,Ua) ^y@{VtMK@䟷;G&ޤJNbӼͲ&)H2&@a chEpb46mRO|NȎ=^Oh`ruVPL92=A:.tZ*mҸ:M, *^%MEj ~cbA dKks+j#/j2h>O W|'g³ N~MS{5 H*|9FU#=H|(Hf26)a\7 \-k#FD&B]PXb 9QP/(0YnړX184l6@--_v"d췏 G&-ȞϦr''K{%}4)eF.[}~.",p.zU{Y_0| Tڏi\|qK&0,kN 񲰧'wX7Iv4Z@V?a]~#&'͠$:NƆȈ[fmgr65wdQ8{Z{Ё$j5`[ܧ3My(>D>slSR+M ݜcUiO$ɂ/N~2r@oa>]|/ ua Li7BԼQ~@34pQ69q ~Dl }YTh.oRMe$E.^Ĉ-YHRK!(e^ ŝf~C: tBu`B'\PfD` "dyya67.M6R*ޘJJ'e|0Fv{X3SwP<~sLyh/ \VD^CJ!6*k]-GX ƗzK'3j;Nm@LlU>ڮuv gĩ/waCk5؋7t8>n΍/bDIDbu)we!_Rgq0xs/#?i&Ƈ6}x: K o`@=8Q"2eϞIT!MЗ(EoI@pƞ~jF8Mx=%^mqvm_ihL7=n8`P8*Go2 1U'zł1& vDMjxħ~Y@hQ GLs>}*<@Ҹ_6O#w 4w._Ǎ Amk @rhv=܋봠D1\2PAͰZ%Z:lׂo1#\8[uy%<~⽩#H)ÒԬ0- aE#ۿĆlfM qycN1j(+T>$xQ++ 6(K,it̡Nk cCH Bvx*7B{d HG7~0BAgF:lRʿ "-$-[RBI}/"Ѳ) T!86'{h-)qL,%+2A8*+F P4itZ8暜z'̠a0G\܁_9]f 8~qd·˷{<ͬ+iܺD?@⦧^_(q>D3-Q\}ňQ эJ\9Qc39h#"y4oEP6WDҤ<3f~,9=i- y4I*>, oxFYV`CQgu$ooھ^Y.ߩ1й0@H+}*5Z{o彤E*X6EzӍi@aD؏n9̰C}O 44a3LF&gyMte -FE+°GK>/P]Om e{[/z88ڬ!s f$^@ĀTHr'?l տn`ߋX>8-#ab펅s0TWl!y֤T:`cl󤙮Z)SK"}vpSҶZp i< Uߙy-#q&W"%q193Z@E$Pѕvgcx1zʜ,\d D=CPk-<4ڟ^rIxָ,h3W:0Jᕁm*<} &ɔə앳 @2t8'"¥ : \Na)G C+TE7Bsnn2bs#29_lſ]'V9QT9eEϱH($;/#sIϚR}`̓)jG0dߟRs$A{yϣg9Z';Fe8*z[0ǠK4BPvʄPa5@EmC`'zj"c0Q@ TA8lD_+5ثHKk%|ıL+}Xi}K̀/sR=lI\v~2"U5^*"Vdx]w;r B3D 1pzj[i WOQ 0\!VSMJ?sqD|If jMU B>UX*`*RƳ=qzFc#vPy/B(qv A˾a[1]QDd>|~כZNƔg 7̱kn@t"Tn7!O1Ӷ4_ ڀ83)_6 "?9)@G]ܦjM;ۖETML󺶼 \ށ%K~HJ|6 ٴ_#8vV<=Dcr|jSI`\|cJʼ ɳct4gvS}[Ū z߄U42Nt]J=[[;~ ySu~gy02B83)r/-Ԃ[Y$ 0&ct?bߟ]=N4 OB4k1=<#,*`/cOK_ P$}F%3@0;c6e5緓̑hUO"R`L/(/ee8|AtZʨe*ޏ3!W`ۚUCr)Y ƣAŢ"8GMc}q, Y]m"Wi;%a q(œr'ܣFCiHlyoOqt`B<#[[(E֥+H)QH}u]۵Ij>y%d![ހ4l3j(&,[.[)mFC؅z"ttc_ZA+`:Hn<7!bK/$.I] х(mjEsrsrP"5U2ЅY1V1}K tufΖz ;:{/Eɨ&ت(`.UZzsz'G>"Bl^UE&7שJ{%0ӼKhbQRW(d}O=:v(kFn\-Vtu9k7{O;vdWzeA"T{ջtb&Q_~{Jۼ<MR8c@=+,_L0:tL{Cb8IMZgwãNZz2&i+x0R7%H虅w=> A*9m1pUHsRS&ŸD?X=]4{n힇{ DW\ʔ`#XbJEԂjmPߑl;ߣŶꌜL aoϦ™"w3BLo4*Fi')uX`,ɉ=NeF ) LF&|@#!Vi2E[OVT φe[&7% Q//(Hqzh"csq0rF'7Tg i6w!K%U{,X*lՕ3Uk><7j>OxiV<EFv׶/z0 5C )\tW3C{1G]s ˏ"eW\EDn6xi+c(!-E|cj/2&ihzrDKҜsY=O=(7"|cYHЉԭY |D^Aӊ_7k9A-l_T %e$G(FR`a`Ͻ ?7c`hvX;ͧ֏ K'Ys nL($k6Ѓrkҏy506-ȷq^ `5W\pr\x7EW1H~+2>׿ޘ42~#%Tg6N7HV'>uk_RKn_H+_lhJ>6Sқ6 [.P^3F-()2,N"Z{)^;(:lruR{ eL;{*We<ŎSEKC/U?4x |ED^IB~ES4alT#ъB x]:G4b]CRcU ɣۜJrەGG1'Au?A@ugAwlInDfe_q #5K$P+ŕc[-qF dPICnu>x]}{ 2ČKwnɬ$xVh "@RW$+(gaoeO_=Z1r1&ȁ|B m01V9R nI4Pȕ ~ucc77T'q0-"aPEYҨS)ۅ iAB L~ݓ7hium'%O$ȚJ_U7mP1?>іf;f[H{L SiM;^KZw3V]6^H`"ǚaFfaՄ0O>woH&)dieo{rWR2<4n,7G1Wl!KEU)~j(Vz}ŔUAlǤmG>4\NemjxKt[E[LE1hzL"fnt^ CK >q̷CX6t:G XSzסI1c;M8$Xa v|*3ڀ`])Xy,G?YY;u3 J/p9`S-KjY}&^# xjtx[c-+̬v^6x_Xu=t Ҽ&yMa^}Q Pгݖ,:rG iT0WYc'etb2vbЯ|j,w ( hψb$ >OijJ,~L,C.^|μOhB;xOirQntwua8#p.@\凒oilZ%(qgAØcQDÀ B GY O{QcgM~>:j yM5LjGnQu3`8Ǧ+)2j"t(5v tldP!RJb}|Ypzo Asy?dO)6Yehvud@fڰ|WU+vP?[ .ϝy]:Rvjʣ٭2Tw7ɻ~TA`L~`Ku*;m:DS`}8pe霌# 6=h>Ն999fJ-BeCi+bB2)v ٖEYD=!,Wy&/C:r5j(Mc#Ox,%8-C+VSU1f;!؝CȬ@!ΒRdV2|{cqaoEV*R)bAægQo>ŧir*s1~Y>cO3бnU^3R(Mihw92ͱ0 T' ݽ3[K$fvf?Q6߻HqttKM,A+! 6O*EKQC pE@ 3?3i>sMvЬ PYc֧҆|V M}3|`îm5}LY륗TTi'gbzy ,AcF=6y yK6Y!G;d/9*>~2xMQ{=N`SN4KWqJPl?K ,A~퐼]Qж0Yij5"0x~)3 8mOc8 Šn/}sS«rhz_|BL^>\ Lj,yoNVkݕ&{W u+́1IrK?xV/QAF-go"H)-OJ =&ۂs/7vbBHv x'3b[M%O6`ZR^/ٲ JM~r2b۰' %eܘr=Ϫj,KdYZLbK'' E7/H/VqzL>vtD&GAUvL}#kқUH2G-e{pud›]0Ĩq * Jkߣ&!i[)Ux]qCaa ƙamsЁ?{xezk!hQX b`h/oڙ$i3 T qPnP>r0zgLʱ5Rfs{4ZZLN̉Z;DТf2;yu?+"cEROmU43>'EtWE;Cm-~l7Xi" 71I7C-ۿqA@ M+@e"BAڂqV"dw Λ٨b;@ӿ*e!롕 =g}CFY8!_&ArT „,``>uȩlI0)F,> 64CE J~ȄNNQ_#5`8Y5zODr0; \<\JsJ93EANXgR"]x@vmФV]8wIU`#Dr<8ŕp C[رQgnV]S&Zޟ@߄lrmD4jཆ#\}G(@̔U/؍Ğ /V( B?I?^7b6Ӓ6DMF'[gI گ.L wf?XVȗ}D4:wifO'[oĀTNkDߢ-KQ OLG6ɑٱ#c|~y,)9 臠KI_ukVQ$*cLy>6S~ﲟOa!/m\J$~oeTx6J I $ÃSFؚRwb]aooH;Axŝ!FB cMA&qARg0o라@̠aw:5i=oT[p4S˃p]+}Zp~`b[Xޗ 㥨\f Ʃ0`T\$@~7fCefFN#,G5BhNIKӖ;ѮKT9GGu6] -0}MAO]^0BVW_J<#R(P%*y޵%l!!5<>9I=~8 6P>cĽx4.ANH+yc'hZ7 |bAn5XFaMs v+pw|sCf`1Z ،f]`ul$HPƟe% bYyA^OB?Y5HLo>n1N6<[#|>"xKNijiz $3Hn"<(3%_m-w $]CՃ+cH~vSĝDm >.;N.l*hc.3Dp#XLӒI5P^0SCmI"ME}վG@Z9vA-,El4䤁&䀲ʘ_<ӽBLwgϥ}OhPȗs0ʛ}r觜 riԣ- n3֎itx@j2b=Ci4bQM{8 8}DBD(ea6Ts1HXkŃ)-=ò?Sպ2:jC8#4W[uD"Ќq~ʗJ/=g-#pbvpQug?FQ1πڪ RgByi;Hyb4oVu*[K)I%) Ɨ?c 7mfs߆l rVѧ\ <8ռ{l>ÿ*ǎK)RXBjtFӟ@8+ѱkGq=V\9<`, }\}t^Y53(,VnPtS^Tc~W f A! UhWzl+D~׸1 ]b(:dX3Y1KdT.>)%@z,F YG6At kw@Pԃs`ͩgYZ7zXZִF! =M]ŗXi%DQ l ` :{MMxK(Dd7xv jlT7wC/ vU8+ ;|B!8=YaN LP0샢yZA3AQ+2N{p(L d`PEo=1@ hU %Ns}@Vn܂-t;g gY(*-bpj@Z)8KSOp*ь*E5Fk5݈ \'K9&xdZcSrc( ]x+f&Pr<E;5 rKbPTMFX~Bx ʽRA"sK0wÓO+(Q {i cشLü X Ò-G|? fW:(Peeh%{+Z@(g$ 戱懨Ѽ E4ufqa/ĉv[9C[^̾oXd1Yv7U|?汒qV`F|$@s")LsC+9s/ӡ\Eǿmy<& 4<*H$]@@ M&n[ X \Hk?<dgA䪫l=4?U¥t6 7(*)'Fv_)m\Tь̟djj֬7.?kYU8=-]i$?OvwU'ac5o91Ee<nhpFi'P-ci$ܫ2mplZe$i|QLfm5z.<(ٱ{ldo)Eu}H3 AL N?Sf̓MI{EjO!C:2O/RB$\~W |Pҍ;w"[>Yt@8 CiF7%e @_4)VQ݄@T!I\lw';,5g +FE+kc/*6p횖M'ܡ|zvoe!Hi+gT ,ZZL5^4H6x$\'(8LP+i5q@֌c*Rz]}7qBgu=%ЖHF#ԣ3ꇻj`Befgczr2)p_缐zG#\2p}Rڠ{[{[e4osK[7.M `@>Yd0k߂|E#o3߳C V0%cXsٜ8~5h/6iz~"xڷ/3fS֗&*c}ऋ 0x4ްj7M(%;@Rm?oTy`wcDQ$Mp%njMht$) ~N8|>?d/"ŬɳQubl#£ #yd_EUM!x[^ $OXZu|/*OucֻHj %=/^bYyŚ7+p??KB$2Q*sT^}A:*eSlq\buGf%;ZlbP~ =zeOW-kD#vޣP {Y\pP? 1rY"WBOɍxԧ:h@E4't>!0 ^ü3B09uՎlzLjLsHS1?@+A5%_KO6<jSa=WJcI07-vL$Bx$08732. "SQJgMFUz.[èp'zؑ$'=arv#(LScֱ(HP6bSЬsvTJ2H#쭂O&HzڗZj7$uf dŃ|HCQ}0Б ]=pElȇYcZ5ȃIEm"^+y@'.͒YkRUh!V+| >gH~hԧ`3 w}vdK!濦`G#jp^[hSK1F$1#SũH}4T-nՆצzO+7Б#n᳼c.Bm7 םXh3$0 #a0 ;ўr4w$T5Mp R-;xX^\;Y @>+Q3Ν~ NVhsR!<\mun}߰UoL.6J pl|?"*1 &V-aI |&U?h*Vྫ6r}jsJ2`4=\UE3U$5. eaIU}UՅJɮlYze`94A :_ظbAn!{t6ȓa5t"tkhCm.yPˎ4 ic#s'홹@'>qĸ~&낦=FeրrB!|Jj{e-]f `ӘM!pi 6C,hz@1 a<â+Vahj(my+Wϔbn;>OL,gN=C!f4ML…ہZt-ϫF>&I~AXZ7@| 2R|ՌbgY44[ roMDZ{~HYvW83CH1NLr0@Sעwye=k \vy }RCCpTDXF|xM='PvAKFj~n55q7P0l׆}.20+T/(w򰻝; I6G!5aԶѤULt*uJ5Bb<-gLە9bc/<\b2ߖQTAdk^:˙^pwsKv9GXOD&O/k{}VK:X:ڸ9|VE.A^luO*ގ/y"?~ yxH-v)xj0PY:1-qCzAQbt_.+1µga oZ="!vAl0J/׀)22]QF~:W?|M >|4g|-[5'c}=w4AmN[sNZQŮ|r le|S/j¯4q!d䘽",U;l[¥ohF GJŒV*Şz[Mgkl9d yrÇs8 6^ 0CDK<yf|~"tE!gʚm᝔N_  }|5$EiORV 4NhүjCr@GM@wRbFh&{@xլ-ݰ=` m{ }sѯIؗ-(yW=}/գ ܸge#ۿ, G9䁘B Ԯtx0U6+h?Z?c .S[iU4JT 鶪s4 W\u G좩^[z|~Ȫn}O(6we-y(Ӥnr1%# _TU"ĭҬB%"@T{iYdT 8 bEe$.iE F@/^9NF뾯~yg,T{58 N~6dP2~.oC[_xх@Yvx `~iD@Y2yft~Jr ^]'<5" 5y+R2 %K]^O!C.-0\|MQ?nPsOFEȈwS@#* &h~QC2PnUV αaKnWc<%{)g{lp+ӗZ F}|V/8R+/iyB/"l66es2Ԋ-ձ9Ơ ;6aSہ2\ N7q)mtD6xԓ3>:Xfk3B%+[NנNڂC~{:37qEUAMa'31Y Ju? zYFC{Ƿy AE' #z ä˼iB;T`v) zth0W,d#w rC|)[p)#gTz47b:1@l|RbGky)ўTWl*N ̕c(JnY^;VۯܶQa!/Áݖ-roRc_N;lqa1A7WnSbK>}7횠8g1yZCT/e0S8 F [ܚK`B7:JZ 8KmP _Dπ{.Hr)VFê5Ow(&!+pk^6*H$q D|ARqaXQ;$b2Oɻa$oOk pFbý6HN| kQo;nm@D%UPet΂MInAZZyyc[8S&xU&W|S vE8иkYo,/ T~y"GjVҗsL:oaOƚhk>I'Eb@p}[0v v0h`aV%Ts5Bo6eu.t04џqT L pdK\hTFxgLG *YôAʩAkyH~^w{@$*M)||ayǥ`UoIf> Nrr-iF7U>uH7{ps5މP"-! gVΝ!y >9EYt-#'>YTgG1TFozk˻+TWyZrGM2*%8-4[x.!`; GBu,2ّpaZ噢"$ӁYӰw.Mf];˼9n833|} ([^X)Ox[A c3kCZE6~eۘ*&w!%|lAt] t5Yzd(g~m5dA+SN8D"-(y%O2A&^W,bU?9>>u.tQO|3 ^w73b5RX+Yv2iAM㬶S9s~֐M Cχ0{2n%3TkIsn]i;qpx #ALx8`NvvGRVk4dʃ"Od@B+"($NB["-7L[TpWE,x/|>/ْ;ca0ε%4wnS .ܺkCKE.9v~ T<`- trȑU(PݞuFe09OK : VgWԉM>>3g$>e!~`^}R/PUΠhk"zƈ"M5Ic .DKH$6." یEgzme(,D'Jm^e#OofIp

{H]<;}eQ>o}^W-@6>. hɦ'%@)~7/[;>![ %-&LUpsW_y~(*DBú6#ZzwB.—Õ_i[EPclVuT, qUu0_+C 7,_>U bmud6 fT\M8<[ z(e@4SD:]gev҈(YPr|z0MʽP! ew{\ xyjw̭Qdz$QW;r!>5 L$Iȁ;3Bh5){03b 3LKu<20Te %eܔ0n"rRvD>$I?Y!7ix' z#sqX[>I [$[ySnlfE[~{+(>h'Zzs)^}T88a )[U8+Ьa֛B/l6ݯ.{u)sd0x?,ۨG~:vp[dWÖR2C v k:@ΩC8]D?#oy$EMba\!^p=3C.6XldArx :{~V`\'6!Q>16iv~ƽjXBԅS6 ~5k!ϴC4w/u)"u[w$T|}~`x嶱 \Sͮ w" ;]N0TB"^ˆy_y)psh[sEޑxLh{po+Zd/MFW">s}0]|zז_ =~6$lQ˸x`dfHt1@JҜ9ocdm? w廵֧\738:7N1ƃP vy V}$:쾐ؔmʤ3[w@p9fhrYbͲKq^f5Rr7S>TՄz7ci3[z̾Ӿ4>5~z]8П(.Ih!N^lQ6v)7C2V(C ݄%dǸ襁6k?X][L)079H?$(#ɮB> Ԛk0ΰ8Mlrk*GoقF"ML">6Jemgc^hw۾[4tR -o T)%.7]QPNP[%eucSQ#GOnԋgk+Ipup}ciهBq,"ExKy[kD˞XNy3'@8&VYWNjh;ƥUE׀wb0fGɚib:lAId$P>mm6nS yHii>H;z|i7=ET1jG*M\9R -q1솗[8pT?vl8gƯߠsuԦ/Œ;^OW>9z1.DG>)AW-g>_7K0{f\`FxC[sʯ#ߘ]bNk1^Wʜu}*h)7+X?C>,!Mi!Z*gt?w0y=;LcɗX -hXӣ.lތtF(-hȿ2)AH"Vǝ674|)2R4awwN8R翐-Pv2X|:,$`;jCq‹Y1bta=A.^o)YQ(d݊huՀ4b)ъ~ qUep#+ Lr`~2c"='P k'BAKdDU(L>#f$xmlAi3]lZl\t S͕@nc L"{򟞵!m0G=__'G,j6]o[~5 p"ir2X=8p+'!1#]DYL.Zyx;1!=3 =# ~%nf韦GRGSsV2֠_i':ӭR]x3gUm3fDB Y-N{lIzxba`$l@3d.0 #\Dωǯ –b Ch',|A}#+9 | Ag+݂g&~5=Л>x`ܵ}gVcoHh`nq{A v/~F#p1uB-0xq?<z#($w*Xd~cq =9fO ")@%}QvWK=Nkmuī5.,n{8<4]T&e7A`qTccRy;6dLSEݗ6,V"=I7FJ̄P޶fgO0i@Tf|ԼSk.*k [š9'ng+cnR&ؔ9,5f|һ}L:^xN{P JaX+U%>YxpBKOI"w/mv=4Az8˳a"%_m:ʒA@ϗJC2}@ou سxgJλz8S5G~u ivup92i"EU>xRyiqMnK`LZUtw߱da\ 6&MW '¡؏"L][ PCYY|,{C?@;I'ظ1 !дVNs=/ r1=mm%- ߟCBIC1mR)y\x8IO@eJ$k\uQPؾ+{};9?+]1bG҈wsẗ́uѷAq$ -گLk'Qpac=yC[+,C_﷋ɒ?ߪuY񯄊ؖ&ͻ>nEdeۓئx"YW҆rw46Z>$ƒ1fCXsh+i1a6++|"&1' C+bor"u4RuaK^37EʍtZg@Wszў(p|Q1--Al$ x<~ɍBIn}0B_nXrvRv 'ә[|NШ[;tr<Itn-&:wʠ1W:+irc?Y=w΢+hdF:&[{@ȉA-f|Տ[pga!`hGLXgMb4%v[:hc ^4X*lk@:򰱦b\7ϳ3 +MIS ̅HI~Kn+{Ts`.fy.s.n8+ţˑV劉<SS>bQC]2 OQChqMtGFBhsq&3i~ZNMEd`q+o1#,eQ-!FխG˴ŽAtUHǛ崟)F!HqQ ͏HُP[sg:W->U8JYkZhɈ%ՙZn1 uޜtH qnT;xykdm^z^3IlQg>g=[( l 펪Oʓ;"Dx|Wn=h7(;7/3o&%ѠҌY.33֫v1;x_#~gF.kbL)0܆.5PX$j*l6Y=GLs1airC!Ê/"TFBNsU 9ۈAҕ^R~p|][EW8Ѯ3`6DCPppTz|Ҙ*)}+܂le*D=JD`@G?g%EBT T]\+U207 {O%m 9oꈞ QB 0ϒfgs HHMe;6zr5J!c_due^+\{D8R !Qa!A(_ p[z{Յb (sTDh\AYLZ~H(\զjդ7T^laHŹ33hN{g+L}r)qSkSԀ#Zg^*Q,hgUL+`e|R{@{/nGrÝ 0lj ^i{[We8OgG)S^3GBAש$#Cn8b>_WFﶘ iQbl?5p #7$BLgt>lX'ƾ}( Dr8*LZ~#Ko)9H c( _W[:c' n-$1fiϷ=fE,CBtE"-EV7 S3;AΟ*| jXX |T]KP Ӡ.ޛ&~H7s뤤 =s-7x}H3Hz?{ yrj@Mf9ִeϸ".oWOWrXG0{H) R9Iq1zZBcMʨ(eNVqS՚{/Ļ&)b R!F%>k4l1;.wOҒI"J.Srػ!SEaI+VAG _x-B/Ì']#) \ a{ ;Dž:G?\aA80qDu)=D*;ʸQ$tnC9iE*$!:lFg߻8>]Aʜ4Z03~ [gQ.ΈxVWNbqNxJgJϗvaO~iu,tӮ c/)EsG˿1]y/=3:DwFtVh- @[1m9L,' ܒMnxRO}FsY[!W^PRhԢ^ά: IHۃݢ\vg.A=D25&]c )@>.+x]X },)6a>K2@Vď%F4}8v2pdZTsBDWљ'fO$Fjs WxtH-Rx7y?a dȲD!&$/.ߑl1l c4ud@odwlU jEnb4a$R#S&7-B(?Ł4}*"3AN1ol]KNY +{PRTJA=I%f'z}Ԝ} p(e7,jZ6 r0 GJ# $KHe1vuG;=a &/E;3( wU9Q#:R1׍GVͬjSQ)do}6ɔˬZ(KjȦ4Px#4kS*oNӑH1 )SE/)TwZHۥdfIe\ ظڏ%7b"2{i8jM tӬ~àB @7z2vPUY5uLt5R Zkqf_y.nʉhd:+-#RʞY^#pTo_q Z%  99ӎ`ۖS=bQl8I+~:e]AK 41k79Y71 I U0o}h*a@>"˼o3"JjDb>UpntR*-sl|N-HHUW9ϦctyVoc_QuMZv| %) ȮN`ݘIނW^i{%N]=l8;* q%Tꉼ=40@R3 vj #Z$%wXk!ij' cQ*) ÷"l'$-@rcq/r  -MFƾU.*n揃}4ϴPI!pKu } p! `8A N'v.BjgQHK$0 ? H&|v{oZzϻ((@ua`ڵrD:;הoTx&5 XTU?Lbm,P޳uŻ{d;iBdSvM wJHrK7^HX%({O Xi} :(M$efP+Ef7ӕȭjt9̙~ *;mt PV ˖/{LAe]AuoEH\qΠhWWt)d5ZR'{hz &k@r=`Yƥ8>2(h"c( ;ҵ ]`y'U.i\J>ð6C\L+݀@4_n^!d~_'Z]C!'liN[BIO.lJ>t>+e.5uŏ}6״Kv泟ۑauJNa;1JC+B1 b9ާPR F ܲ'M}#0@Cbpsѕ.d-L2ǡ (tK8 9t.;ˠ6#=u^wf>.1 7|&)^B}f5ucU/z[&-bz= _[} ~պ3>F(2 r7?( *ʱgYZ011919cbc39e9c108408c02358f225980d75ab8e 03db9191788ca871f87545107c977ae65775a377 053ce3a014ad6bd07bc0f71b11c11a0d9c6c5147 08f0891cff2f74fd97fe4f8d9775b4b780015337 0d5125aa9bf59ed986fa2447e2d3aee33bde4acb 15531358592c0a474aeea342865321f657fd9571 163c6da12913489b3caeffbe6bb659044e356dd1 19995d8)ea92c07865e6088ade6f9fb5cf5aaa70c 218171e56330376c51dbfeef1a7a4a46a15b7af7 288d92b95fc5592e992976134734031bd29f3188 32a81fa25a5a0689ac405b4a2ed331305365fefe 358204b158ed33c88ae4c36c3a987ec80fc61c50 36b8584ec82c8afdc1589603fca2b91a2eac3bb7 373f78a2aa5816afab1e3ee565c42470fec26c45 40809a8c999f88422b06fef7ece2cfb900f8b8b0 44baec093d30bec4af6ab8a6da185f226cfd552e 4a59048ec11d8e64cac2f4a320357d16378fc5f8 59d01a45f4e9d9c561d2d5daa8da103e8bd4ebf1 5af8cccf18e71274cfc6cdb4b0cae797ed19df02 644b5a9e6dd21b4e441c2e6097e5058dd40f8d54 6729128b9e947d81422cd5943086e33f8a29a7fb 7364e9ccf7ab42c119771af0b30c338443b40c92 78fdfa1d3510f6708f28649e4043efa157ccbec2 7c8676d952f39d885f79b6e02122320813d5dda2 838f958b45d76730a0be92b27d51a00c732b3a44 861e8af102547c97eaa0e759587f9f2471fb2e2c 88bddf642f8d245e56518b669478e3610b2e7f45 8c986ebe53c90f052b917140819839a9fd6e7dfa 8ebd2a5a70614ce4e9229427fb522b89f8c795be 8fd5b31b098b2daf6ba09bfae1a3bba845c8a1d3 9b9e177591d02c11b520dec097a77fabd4864729 9cca4ba902943d5ee31ff8b22ccd0c5cf5a65d33 9f66bbde6856128a0ad0db51298a2d1b332c4c9a a2e4e2ebf2203564b4ba5ab5e3d931f9d4c1089b b98e35939ec48053f876c38ec41cbe7c1e7082b6 b9ebb21b8692701a9655cf53505fee30286835a1 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bf481c6909f478273d1a3cc66509c660dad781e2 c6595eb84f7f5b6ff8cf51591a134ede1855866a c9961572a4d8e210e9af70efcb6e7ffa6969d04f cdbe8d750395cc30524b32744f4499aeb11c4fd3 cf423324593902c0b3d8f095ead8fd59c8a1d3f2 d3fd9412cf2ae9f3783895579f12fdf87dd78cb0 db1d490093e07a191496186dd38b0531eda178dc de5914860915128d818c097ac245a955c1587e4b f1c487823cb15d159b96f5d7dd3ae68e553d21b9 f63eb99316e613c22c4f9223492348f5b2d6a2e9 f83abfa96c2346ecc68d747c8f1846d73e577b2e f999f751647445020771bef2d8c4340ad0579d6c fbd7e90b167b5838523c263af55b11e7284b28fa fe121be47f872aaa5c07fa25d7f90fd2ce53986e fe25fd80dfeb17557b0cdade9b6f5e961c49f210 fed27f8711ba755d19fbcf708a889bc36560d3f17df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 e689e4dd8e5b66d1ce0438e4d78b37235fa465f7ce1c7b6a97544f883e886e65c9ed5b8e0e6548fd