SQLite format 3@  . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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%l< ]/]HOL-Analysis:threads=6elapsed=269.239cpu=1200.764gc=79.588factor=4.467zXZִF! 3<]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ] +C).~Is_|3h\FX ԴHP hL,4Ag/6,:?Q15.?'vs_687 \}ISJNjBĻB~̗%p5KUn @iҶN$d:̠+ORw˱ dkRެQ! F`Eshp^oU,a o+ R`;IhE2gDd`Eʮ9g9fg];pS*C'[Kw_Xe3\$$TZۛJY #p/}["q%,4^%kkPc9+E_Wi'd2[Á~%}|jKKO7@{GRݭ?,'aˤysRWuͭbt}R%m;z> ` ak@lVKN߁pX P)&D0_*)_Z֍꺑,-ӗjkkOz&uKʫcȥMBuVY~V' swKt0] [cXZ E֛T8(MʔSK,NRai/_$ ]B59 Eʾz0jc- S,s:J[8PLhO"Ċi J ĎQ^h%&E"oGM{zPS]b:XĽ4"M۫H_ #mG55q$I(S6E`2pm#!)orR. )GH8r,@(O8QJ  tEu2%QL>Vq|,kH'z{&Ì,M?*T2^ 5 Vz+v.)fTn&Rt،mDg-dCq|!3˰C=k 'rk_T8 G  36ՠ#Nj΀a^Q`8t VwgJh AzLC\ݵF iZe1c'P<~>f{!iBmtobg~T MAI +BV"^V=̐ǩ$kjob(.)iؚ-=*݉=cǧ\n:|dH9MKY߅u#KZsʢ~ȝHg@lПMHk#!]X^G, NP *<t$iG_YkQRpXGJT 5~2&Hj<~ r 6e[|¯.JMgWi\>TY2΀C '(K %O--DE*%uvmx|64|Bd5˼w^?Mݓp &~KFEU:_iV܎KޜfkN3=W/.ȁP xJk {0Q2n hqH4

e;PG ^cX\AQ ]Li`d)*PU#9-ĥ:r~B.^&>^ 308MMԦ3"q:yl]XjsMZQhͨ]In HT=M2|%0,ԇkb.G,{{ab/w~8RuO!+tIB`kOg:}vvoJl:ŤZcͶFݜ֡Ca~ثEQ!{G={uG#2 n& $,ɪҰR*[߿t=)@+s,@<~ KzP4]8Q!{_EݐVs5d {pW\ưx"MY(T̈́i4\jt'bozqy~Q}y1sAYmAlK ft" L|8Ͽ $ ([^5m!)dx@pm֦ ݍ=];ʉaS(5"-X:iQvX#1_bNvY`5QW"V*ȆݼO ᑹ:75C=o`|F6F]lx1 D=< Whv>LákMSC\E `>F|)ތh#=O1қә}PX:{A,usz: 2Kg̋~q&5HeL3ȡ5177sXM\|\J=R}/wjA({@2zjb&_T)"PZ` K 0L2&?U*%H+vߝM"2#joVk$ijrQK.5cGW,^7D Jd6E$9т?YٻoalH.;d+¤xnC`ұ!Vȃ$QMhlgSiqcHh\roG HܙKZZ+m jzWf{=r6U4@g9Oeדl5GJ׈X.aCG}ZMY=8L֙lv3$._zNazDxVS-jS_ӞFSGk=?VtHO #m7=,]lqLO{ɪUY)T6^hm{mzWJ̈ƣw _R:jrU?Ɂ{4mMCK>Bw)#{>%brá-ȧuYnr͗\d%.aVR[Di9( AĻ!U y7NHrAB6a67Rp(`Ok[%y=@J/0`ϔf[Tv!HW+Yr?bĕKyQc~&Ǻs}sQFBQ.YҔ!sLn UkOѭw_RT[a‚m[v ]- #;ֳjA}ݮSJzpJ5)ip: ުpcz*BdYh؜.=XEқsGKcc|l=;JaxCwÑP ^f>{Ie{JG:d@G&eL=K3cFJT_)jр%s7S HVh9–=NIEzE/-@*X0NO^BB=3}uiOI]' ?ks|\c =v@  " j@4eZͰGF_My?0N탶?2?_ cdBb)v K^A0kΝ] o ]p8F;GjѪaE󿀹ښfR;yOARk."E6R<+K2"Mŭ)wg CHp~ve;|*o:ITυ}P?rir]mfal 4{ 5첡8T`ߏ&ZIƎ[HRhy9qq-8fl09K(tA[zd C<1腱BS#>4hkĵtU`;x8)s E3ko_u,gP˾iMeC yašz 9 M:~o!HdznJ8X{|5aj͵ACIn<Ku}.c[ .Y_.ʔHmt i0(4.&Lnv .;HReqxly]A]"D'S^.sX3>'X$tH+LќJ-D+y9x'm (LsjV `\ӒZ})qIO2"=/x!`x ͼ=uʹLaVlT}q-rY~,JAA1[R'Q>흥t ldC@/Scyzq/oG[m&F(63r 8G)xSw [fdP4ވ&uzоx -ݯj˪sh.̍;y@;Lo K7t}Nf&NWnuM=u!-Z/XuB3We]S#ńL rn-B .=xiHN~}1jx`x&"eߊlK7}%oƜh5SW&boEGAZTS2ރ׾;w&`!$i&F]HGrG&A:h,mJژn3zxx[XƃZc.De!lTҧPL>9CZBҽ9 1cˆАH~I$bGr~YL$x>PX롓#+->|!zϓ2<wf[:|VQ*1 Yb\&s`p0]D=H__qa~TJg6k SVEY0{}|+- pw Ɩ9)Z0r]3V߶}v/E '<,5 2䚿9@f_E|R{0گfx 0SkWUofӼc3IƧ {Mfby#h^~媣-{p9102MQJ]Q}zy5uGp% "tTȮnlG ;eRHP RuZ RhϲaxO1O\zN2Am!37ɟ9YO >.^{'=: X:/ñBڠ떖qgO/w(HF^,|.*9c'.^|fRM/GF5 b ВsMݘ HdbF>Fd]DhW$ND!LlAy C@jeOh'3PpVI_;3KIi(% g(f:ր!jbk4pj"뤒h+̓вB?A'z,Aôq` FZ1?q( T$%ۚR.}5K0_1l?`Լ]S&z5xuc &<{8*=ʢdR]ғQp&ptq5q2>]詣m03r}L4t}#?BJ# @͙%_"; qM \f}_tM uC+!ZA>u貃T)4(2dBNPϮ"q3 R y'`ӂ@apX͑\ Cڇ7VSwOZF1L2ꑶɋa/IG@UrPM.6{,r2VC(p&V UCSj={6 m9 P 9r̲ >?[Ƕ0L.- uDD:j/|݈271(=* Ʋ:.ƺ3k.$>' |7~G/QdNد}h@Jhm:y ,M$0̈́` z #p<V PjE!"+Pye67Ac|/blQU'9qI4BypTyg%ѓZbT=fYiB~ap~o,7^Yh& ĆPqZVnѓAt Ya7TB}@@A`G+ϲ;>&'}n {Pvh9j6(v@w Ė¸wįcr cݠq,JoG)b~Ol/ul22{ȹ<K*gJ!-JzD'IٰkES;w_J_+LOwN{z"\>UI-ܣKNv_k`rjFIPk<(ezTے!%Ay#Ybl7 ht~<|G*d 5MI T?cTxz]cG CbbIFJIjz\PfCE}V F4^`[& $9}1t:ڦ\=Tk/͌}?3vbxU|@@}:Jg/!f|pK1Z=!w#G€燌ud,SڞakIwt eݡu"-֫@~&c&7XHU gbY`Sr[v pF"xX[z]ܲ_T/SO(Aj@zN*LJXB[=,c5Q1eD/aF_(N3Ʉ ?u ycמ9D/:b/6'd DX7[mAKt廚'46+[Uc=\tZ`_~Y.;ERC^-ɽB[}$ȮJ-KL/bE M}ɲkc;swT]H9LwDNQRWy N(6GJ ',_(R0dbyi0? H(,; >86 8rb3vjN~56 . P5-̏sIyw\Ԩ2 \9ѳ2_a06FakL98P]A7l>/߶2́lIfdVAڍj8>8j+=C9e/fT`-b^<`>$([›WG([QP莧i{ɞZ|MFUJ5O9♄s}T oˀAXP'fHhק [DW_ .2Z^nuHɵ8Pq8Ԁ}е*DZES3m"&C.r&]r"d$@U Yeu03;>ZbcL͓7Ú)>SRhTOn(ha?KqH.W\pSiB~9myU6m-R`d!p&ΈX5΀,WwSʬGzK ^O#5]2aE]5ےΥ;Y瞩>p*ᤝ͍^j*[TPYF+77#5$\X)IT,5OMQ@qf`ږ?,:3JqgԂ_oHa^|񍿬sxg4/p^Ҥ?"mtLSo@WӀáS_cx:D_&J(p焞 ͹|.oWfӅ]SާԊ^^7}vE"d iDE&Y<@`D\⴪G|^:a6/Gy<\:n_% m95=ŊkLWWR?`ګǨJҘjR{Wh&CjRҀ۟dL .;|ݎqB8) ,CH+ WN.\!LlQW#W{e1 !L:Ut7%.bLY(뀎[\ `YW% t{xՄOKqjR̦?%8Ig=VI R n4%6ZAM 5r{|K%}0Z0&]9-t=ɿ9wn.!a͹穪 : 9>@,m+s4\ReD29AkUcx~k"J$p nťP0-؞us tvF+HWz%z,l=#@ӹ\u^2$HqHTfTn Ԗs~`啎Uoo|px, 3[e7# ONB6Qkdc}`7 ڽx9ʠ|t$1{|#uswbRX4tǐ. w6N"d~AS+r6 tq4,#͌aHXED6\`[ 'H7j}PPBytUN1&ǤF M ϫ99D @)}i؁Os;Lw>BPO&;<ݓ]"LnRekV(R4sOfw[JF*>e{UDHy(ތ\ 5o*O(Lڳ螊{e'eUS~の%-Wm!k_1ꮰRxuQ{D}` glVIHƻ z~c`‚u- 7]s=klc],1,<}쿻Y7a y h"1UD4k](_q HMkIIhq nt􄱲؜tlW?8ے2Af8Kc c*pLR`Md̞];Q/# VuJk}Kk.$ Io m6mI< +gʬDpuёuֵVVv-Wyuu|Ap96ovޮ#}RrpV,rj NHoZ Go01VPӉfLFY >bѤ3i D#*D%o.Přmo_ۡ(Xs92)Lf_ψ#Gqi`0GU}J?iUv8+7By16 WgL ͨ x?Scepo/kUsDŽu5 Qeq )PSO@͏<ޅ}"e4hÜ֘Z'И z9%%YP3o9a`hW.&vmgGf0 ޺klۜ~[! 3=zEe9;inЮwvL -9F3LyWq< kŁ ;mEgG2X]vAkoYo1vSpPԖa6*Qp D,ra||9BCM0\n=_dCpr\jw{e1a4|MDEߎbN-_qF?v#t]PS&}e3,\DjL7eֲy- ׍3s6vD[Df4!FCӧul܋D&³:NfDÊW Պ U;(|_O̷cĥsV 8G l eK)B]Vx6o22D0^Pu[}êY"=5i{Z9O|`T4PMn;Um%㧢&&[#sA8=M7V#T9~F 4$(mdv&>%}-߫|]{vjqx\z>GQa-$^ED8O%'߹,,ָ_Z# }hO}tXzXJ*G]O/#b}/cd9=؆n)ar|Մa -'BuX mPB 1~(_p,,m(8W%)]'H8|c,œc^#}(VOˤ' bh[GZ/rVl"b< Zm0aki 68Dhg@(ENWDjkmZOjk!vBǪt'6]&8|w*(\rtpNfdEo O'5rxEkt*>9@S:ս0%U6*9;;wyFHءg̪rk6"@5NrP;B5786LnqLmjAX1QV&(g kv<=w85Ip-TSrp e?v QY'%Z ttK잵ݜ2/$= q4HwݒNNU0'|I1'1*jWq/ A(&Qj=Au#.;!=P6#c0( sޡ3_0  T?L4-_: º FxlP~sTn4:c 5 fAIh&ieL{:V8sPZy̚HׇTuoz]o쏁ق;I nڅ"o{:( f#h3ŵb< ^gl3߬i; +9x!#|@LMlfg||[ԉ86:-n_ Uu~ ]MRVd;i Q?u//Ѕn~dr t2ѓO3e 8j$=GMuGE3լ|?FU/F(O_žF87O"Q%eEQ/Ą@p:^ʀR+t<˚sj C v\?ݑܕ}}K E{x-Ǻs?wp\#~{:r/PI}{9[\O@#Ak+2Ifm>Pzz>:v/."~*NT >oN!'=!z`ӆXwheOYsLpY8p1A"۞K8qk2-3h<%:+5#64?V- \ۡIo =%R0OUQ)|C'k2ửw*$|Y]Hb|GNÕ,6aA{ևVwnl8{P,mTg(C˴D*YS3GQgM4p ]HDMwuP+>68_y񚆏*ԊA~2{/ȝrۼfw f^l%&m747!X\E/#!}SV-)OlsDX/1r4귎[ cL$Lk,3iqzGycls~cQ*f Uf"0Kfлӡilx/6I6>ԳpngG _M.eq%Y [h@}Z;Rz}vFVhfu5 rT#|{G myN`o@m>*x8Xը$٣vP /eLUxmfr XZcMur}NqկԳ;7Ò V'5 sqt, ).\|yPBt/eȡM"gwU^Cn _/|T7x% lHN֡l {}+pGF\3g6\re82}_Հ3*|!hm G踈|w3i2.ϛjf)knx]nՅ$d͔7V5sBʗw>%`P8W0d?UdXo^@-Xˠ20UN.t,ѭF=ZL8}9]NR(b)p@WR0Q9H~Sy gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd41`#U_j!F^9BN}}&C5pGR0a4 ׾` AT}J)Gun|tC keST?/Il<ҩi%+ שQ j9ry_y%;óud`&uliLR⮊:`ꁠpZC^ o-*JmD%{ +>ڳWn 3]4 -D5U[17g棒nc&#M 1Qt B1א^Y@a;ub0)Jf,caxO鑌?QHS [ n{Crw,z@̱9h\>8 ST}mPÙš+ wa}K[R,fv\ B_P9.ZnM_Av*=w8\p |D4&к@Lhk  FfSOgl3<ꍥ h07xuē9' KIi!"v>:>{? 5#ל4a~a #(w9DHg72JeYpa{jૢ7W#-tx PPهp'x7 AUlG$ \S15hͫ,|7%=d)]}8Ar{gH6 X.t)q c$=Tpg-58ôTGJƺK$@F4s*h^ WưʭzL2|_ӲrR'Fdp() iIzU jp~\@Phc3Dq^ū>R=a'5eB(⦼zֳV Z+1+z&3&n{o3F~jxd =ۛS}6JVuM$bKiweVK*~$/n`7=cS[EܶhPAwDe4Yݰ_I{IPt|$SXWJGޟO vOz2}:G2-1>hr/-ubPY0SCA>Kq9w<0ATf7F7-!̘ NLp{%IYaZMR-9t`@pn߱gYZ7zXZִF! ҲQ]ŗXi%ՃUes S[+vWT %:@f՝j(W#ne~m{Ǣ(J-V-bG?>0Ox X]@;BQ!s$ItE{ ҷ7/^,.ʏeL>GN- SCz6M>ILi=4]qg1}wK=×ޝ ĩ06ldxWyWJCͨQ wԙ>P1=CDƚn`ю[߭z J |) !%%LY.Tbv 聊g9rP[3HLm,pm $1'Ex2HaUu[aKΰMhj8D< d+Xu1GT pg0GCQ\0NgUtE{MA`bo5,<@ Ӣ(կ̼ό],CjrtL%̚Bbd ǚq2%j'ߦateQJW/ '6m_)}v~ag.~h. DkQVuEo$frƛ,zuSFF"KjiŖ 2#o1E@7(P}(.ѝL]52XI)Nۗ(KgEu#qz"4~uڊƀ󂼇UzwCzx{Nuʭ`v0ag4fw)˃^Xu6Qkξ댶0ZC1>FZF{m/^KN ]Ie]aao4QY̸lZc}/d~qw`W;poQSKɤO'eM5@{䏌J7$)1Ťm/9xlv+4&Y[$l9Dx:־o!VM{rg:iS ?>޳;#pBOfY͉0ߗ4eq\$usu$82zHk8q z8mby-f]_ȉڝ期αjcr6|љ%# )QaMv\]ПHj_j'#$ԩGMncIDEeT)/EWEUR@é!AC2|_Hu=Ro-Q_+T` V B2x~seAD\ᶃ8ƦRd9{Esgo)zF+NР??i պWFP FѲevI>8I@Zd=Nw'̮i0/=@3Qrh~FR]{u^k'$3}'i6@+ ABbNz,0`j,30suYX0` V;-Md==sf|>g܀lJs.ߥ\6Jz8(GIG :JN`㊩dӳi!6ÿI±FXY/o)oc=t!xxh_,rc]%"H1mẓ2ȥ\$3Xt ېZ_Aqɗ1Dt:i u7L^z։qekm ˜ؑ}r4ƙng:TgzQ ~ fã͈nΎc]԰?y#\kC6Syy> nu,y!? )!5/WjgAڔxcR:y3%NJKoOpo-iE RCO7.3tx$*`.{@LYA7Sܾ"̲ 2~8T3gB5 YOfEyحY!M2-+{!LPٸC3*|nt7 _RS% Rp}%d֩Ҭc獪 ];:[rNf@Dͺ;rCQzφS|n_LsN1GckxwQM52!0r\@]0VU#T{\mOO^;z3#3BtQWb>ѐOZV{6]>;WT"dĂ^Rq]Yfk ̗p=+FE5^WD~*Scm"J^ɢ ῘhհRk^.5;#U7ÁWɻÂj-0Op)?D&0[0Mr,-UJYoPʕُZo Ǡj$]ܐmhE9yY@xo (~ 3GU-bPbtʒ- οKX:R\F^dn>~KD1[y뇂\x*h?YT\87?} $f=xcA({|NKzk=r^8{c[k7̿ca`r&!e"bk\k/<ST ̪?3¡?%ӉYxחx*H hgr.#CB9h1}5Na@ 4]x: KUD1ELstx؞! /V. ]ՒgJf(C,Ea \a߲F{2>;rmv2,%tY׶9ij<[XkԧCE\"Bc+ECƒ8Ry_ʐ:~9&աOV⯈D=R\FͷvQм0GU*eyt/T|m[ U.ˡ2Rim!E c"nKs((j{] ]~q_Fd\>kY/\`A8G*j$Mif,TO΃W  8Iᄉ?v>{qJ%Θę@GUw7Qz9P=օN3ՅD pi35_,F?l8zEP'찺~Q](.DOǒΤ\=]̸j qfx_1),gqfQj+MBi? MK %{G0.ĭ? p^@yw^ l_8fO|al/RU 5هMj6r0¡/5O64ޟ2VF5=][ج/%Ƣ L6t$I}mNgNN T+}8cN\; .J?ڨS81RfNǙ6J*U\F&]VCJy HG3㭅_+aC< g.LmR7D $MR dP+?Z^^u 4q0'՞4іt}s4úp'm .U|Lhd4OTBsqQ&;}{3ybIũqۏDNEI8˨ɰ=5G`yN:mk:9e{%Z3ZkjvTF* G|ǷIPpDk L[g:B7h~`tT~h}6HUhhU2zY(|,AS5FwYBWQүΫpQP{𲭗_F 4bzF@gpg_kn?`@=NdCW G-N*m6OR Q#u&KUlJ٩Gʐ2SwCύx!ָOQ#X&1``;<`y'o{FnL #}mwmJv:hM7&*-U4J"61iuk)ӫɰxƧJ׺RQFdn]ޖZyf8_ZB$j*c[T |+Vȩ%Qܗ>P%e!f;zgEDqMnf*T!h崟#:i*MƝ{Q1"}Ӓ\&·h%).a;ET3v/>vYtPd3!X)#PvyNF!pa=Bcz=n$:wƁ͙Uwqs+YڬSП0y9CڑF{NZ=(I\ƅ{fEռ3|\K0MFA džR[DӻjN%ԚY"4g^g&ɁNV␟V MÓ-/9tڥ Awh^҂ЛzT1iB@tӵG0޻nF+ʣ|6bݥמh2B[;׋h#U&lBw>[i4;bk`9Z]? sp?F6%eT^1*en5%8A=}7؄I|#? A@-T^z"" w}} nJDNkeqSô_>pbH.u4FAdqQF(NX1:j{G>rzXG(12$#urqV 1,=)bLNT- {^:nx`ݩ_+w}h+>^aQ70TN5;~(U>qz,.^ k?L"Fc߱ &έ7 a:Wkv uvB'V?^`M>ǂlH.ˬEQr o]#:oxY2zB.Zf(ȳ:J~B` Q"2Z0-VҘW86ܤDPze_Lq43F/" &WVrw:®!d%D )\bgw$_ ku4TN$zwnS}`j~J]zN1O[9#ƽeqNtފH5qKNt, EGFkQË**V6=4_ , : y3wx? W6 =δR== i W~cgK {ž_>ſG".$ ff5M- >cr-W 9aE a#XV(Ϫ_ߌj"u'),s]dfp:}dX-_<6DJ=d\ҁPu.Y!`[RwUg/ya3ğs@L^jހWu' m#PTh#{Gخ7:*TRtt5 \w]0=0tq * m a rۀ~ColDŽ"0ZDPˡ_. z[@?ѹ`lu6ԈEn_6PX} S쀖ig g`F/ΦܲVJьo}Y*ome1y|씭'`0W.&#U^; ]XBGLj1<@wnb#9AH D"X#r>F'F=ںH[4&w)Ө3a%΃B26b,VQ|Є():ewv j껸*vv cv cxS1M[q6B Vc. G…I$}CoۻF7J5ƸTYWůY#tGLyJ YY s7bsE,LXM lULu 71g H: { 8{0PZӒH &cC𫖧^h&^.=3)s^U5~#-n` <-e!j]@:`pt"И>(dI @mL| p%a;r#}a'QhNJx#czi9F,aoCTwu`)խˢ*p/ޓʑer SlɏIh}0 r e;[y/'w/ISbςds.~+& ' V+ۺ8BN'˼AUlΞ\@! &0i Z/ohY> ^xkˊMEԨQ*lcUǴp,Lh=nOk~iOՊ$-] 3PFu8)fAK)ffJ$]b1F\dm4S8-^năMrZ~NWk{L-+ %>+":0dCfHA0Zfpi\w#Vr%uS FS݂ ^ݣܦ >o)5 hN ;m؇C- J)k-x-ԕ/̢ '.-E_[mń_h>N`>׻Kj[qUs2:PxӤ]PZyE<8s8Li@R2*Ն8BsRI2bEؖY+grHhY~p)n>;B)2Xf*AY):Cl_2|f@\%`b"pd.^7Eý5$>`ȇnAտ/F 86-gȜߤvJhl)J#m~}1έ G~uӁP&/U&z"O%#JOmK1Kst;Fs/={qsF#R^tk -vUߏWF°T*$_9 T, |Qc?6TEw0Uڏ>~c!yf㮎Nuս3'kVE~},4Ъ +ms"EF(`!l_PJ6bU#}f2d4S9ǟ[Oѳ p$:b9?(JcH{"ZLR#`p7_d-A}n  p[E^)r|lޖD;$ 8ِqdC-X)Sq39F &u(m#8dǓ>Q\k~8 9R[VΓ>hS"ȊLn hJ)`wAAiQR!ƺfm0n( mLIvJsӂ^8޸ t%f|ďL'5Vatx̉v(z#p**bdg)DvbҀ;E&A|y{ym|' =#W3Qap<4|?vF(asX嘆!H ɄpI%¾,sF/@cj떞^L\*fz݄0jmjf0N(&Ϙ⧵~Ք`\.h-<8bp8W"|,8%NnZ>Ωd<ʑʻZ&Dmϯ4N/w\8M&x]z>pPɹ˿ga:ajNڜN:i2DOJOݎ㍍:C6-Eמ!X|k%ZMuB0ӿ#t\4obhvpPhR{Y7NkH(9aswoNOuA?$ۡk7{HݡfZm)5ᇳUE>>_G~)RgG =2R༧r4W:): DVM !n_C0LlM l5P+C]o=֩<"2F_ ?}<AeX3* ׳[ #BNpx->f 2d`<9*;@R8/qLw(`Tw<شLfFcx"XebWY+f#{1H zq_ҔsͰnz-0AV˷.M%-tA.4=`/H$d댢|A= aє ==tW\HQ8bSnt8Fr})pՇ80_J a`2C夦 !%T$%iaJ+vM&phZIS ϶hA{3@䔘$,UL!}^%WU8:**leлY7Uy"KaŻ‹门o YBZ9xV0:eUob{tR]p=c%`2 6%QX6zGg[vḍDқg-hqծ)L5STց2mm=6BTL,! ګ\{ɖS눫gAN/#scϋO<ɾbiVƠoi΃oX^xZUbr<+Xi:88 jتPWB]X)!W+BS( qi@u&6,I<ʰZx8GL@.rtD9 m\bC;$ ;hNTG6&?C-h&S', ;&KUBhIuPF.ʄcݮ3Tη+LEI;|,%(~Gb'} &9nM ]V_02QB{O YWZd Ewq[;<›7q%­r-r13KXF1_*sy=UG&m0ֵ&htժjSuD@-ɶ"bT}7%X%Ay4q&7 !OlQ9`! %V_Xk7Q7`VtRϧ9#*DoفnWF3m~j EGlg5P>hVJ%m.6M^(F#ڪlL˸fLs!6M_iK.D/̡MGObDc)ŲiK1cH3ג[U~٥Nk8{a3P%s_ >bao.s/7=Fc7Je'M VL~_39Yo9vPck@ś.*n79A؃;N*y^~>5e$՗5}}+4X\f '+=p!UOiq7;ab 1tA Vrsׇ#ϤbE( 8۟w̿4sŕT1/% lI)K䤲pSmCԮYS&%q| ۡY (^<>UM ><}SS|&ԥHVX|a|]踮ny3yMvo`aːDªγ7P eRVLοiz0̿P_ cQ7`jW]kMk;-SŎ5;6*Zeڊ! 6`j%Aj:1\"Nmb \xPCer}2b|K$ :}=PM-<&fbg޺8Ei_F0?s\e"6lZڹBs T"43ҵUV4ŒϿIК&(Pd\ğ,Ӌ0ښixԜUsmω2YX7NLv83Ԅfcni0Ɲ9R7fqRpx~/2kE4*_AH뱚u2aZA_s(R[ɾ>X n\7xv%|FZVgA-^͍$"iFQKS T R1-RGLXD]\E2ÍYT1̇u Di= 7ƷW)icID`hlE\U(g5'XZYiWrTȅ`3%(2>mIBJKTƼ-tw$9AدވG 1叁ɛǹ;dMtm@"űț;Pz8m]Ve j\=ݦMkϳoRݏCo:R6:oG3UAKqט/1$[/Qxl7t}FΑv ["Py(1Jg8 >Vp k"[CqQ[vѳw e40_n(M'"D2;ݰ*Gpj?|獞,xH j+|k i^m/{P{DSH)Nfhvl@(0]l'mͼQ{& e%:q7wP{#~v (ZamW}|,uR =\: )b,VR]!.mM7}.~*]y~F}`$ϻY6+'>$uDX/ SW_e-I#З'XRdnn_Sc\ʼn}ۼ ;TyԖ7_tm.!M&2"L[9/W/ |V$~<6DJMū0'CL'Sm;Ǵ\*qIY٫^~?Mʫ?q)juKߗeEʑx[gwEɘNЏ } =./*jZ 5OP<$#LRw,o`OI[7ffr?0S5fDP_kzҘ GV$lJooMQ*:I2XM}tmlFCŰ;&^%/T!EƅPqjEw:^/3G(㍏Ħrtƈ, 'o~>Cuތy̼ !_$\ѐ{z切\}y;Ew` S;5AH2'r Y`~7!w=גQٔ Y l#UG2 SZĪ+pjb1oӛF+ei70\tb6y". E3x3s6텡t/F? }*o eCYhHΗrI_`0~7JJ# mF C~G g 1k+4ӡ.R ò  XZVCG3W1Z\;i7*>̲@OWzË[wi$T j(v]1?)H7wƎ ~NQ57qZt οPLK$wz[ULKg|zģ7GH#vMnkk2X`(Njɰø=MtrCQ>e"F;"qAᤇg5rIh,4F16Qj{ȕCOY7;[=4@ÚTAvmmŁ{v8c/tyGlWT8PowRCBdv茶i@pŏ3#$;#G`9%2Rjr^Rli1lxLLT yWG"֞sBfƉ XirK~X Ԡ;qwz$2be? "G麼,/LQvE%Q @^4gg{q#EC!ݾ#֪bRP+hd#iJOwDfw ܼV^If2Jkwz %o+9%jRbyCa>zV4DW_D}OgWAH~FV'RXczQ ob]b0,SV=ƂT|ӴQu;i*7̴l6C/9آOu o+&!Oy!zA $ z#}{i6133yh1$!L*'D:/ %S~0%>zK:!3dhSeѴH!d /BӬv_xp^ @u╫?_,kLGc~p y\8Y'C*iyE^5¤w P׀7h$^t@Uv~ʝl'`H(d]pix 1֢'ŶqJ7{FE3D3>bSKBnbR 麰ƇХkTHVCg$$$#{0E~8-Ӭ?ڗp<%yKBFԺ gn$aLD#5!@ձo\UA=9+'"h.d^ueVH gϊ6SX6&!.Y97" Rj&'ߌW4,~VJVēJ 񘼁VD^u V ڌ.H?cC?da9)1Yl|݉/(V cM.Iv"0p9[_u<8O,SeZAK[b󤹵aОڵ'/K쭹y4(2pU܄A|0/]iBc~X =FtgR܍=}!^t fd5=K E*&viIWrFB+l LΆMƾFù%_k#;첪mȐ63/s/\.0Aݨm)@EEQR$@ ј!rj`:F4-Je*W<'3Xi_8ߎ*)$`Iۈஹ/-Y=sza_}{bJw5Yە+ˑ&y_WzIՉ]%]*q"㝟iS&Y+H2>PLiƽf_NЁ|D^[8xuJ#3K:62fGCW{~YlZCs0MNԓD y><vΐLea(Q;I5xM-ke}ЀmcQcє(t4)eq:`vK$0 8zHS(ORG嘒kJ \ 3 !)@ >FPs"zdПUR+)ZWX6sn]?3cf2x6JxƌӇErmN41&?֩` ˾Sc3ҥP\[@TO\b%R&jn}rEz2,_ )KC<0PeB J_͸\/+>W:xi4h 4Q2EΎ0Pr)ݬH5'=vcQ舆;!ٕBiZٳǎ5xd+#lЪ5{e[*]nPnqC?MvR,şwA%g7<**kٞ]JŧD"|rVV4Nc-2X~`@v|5JM*Pmz22,`X7=уʀ4{5QnX**V j[r+1( 4,/j+WTTFhhV)CkGnbzLː@/Q`w zw3YT5{([*{iw2xcIn0z6`F`'ÑIPAj / D~,0?SS$ =OX]>Zmtx Q4?/&wduXM ɉ|X3do[Nƹ<ߑ&Z9RQ0ćTJDKjO3&qqx+S@l,ex&r0NTS$FQ XմVXH}Q->1,|BR\-O^yzV}V }C~+wc1<тYʀ/wGA M:Ync#sт(jQc[PS(yp 7IBY^eBHd @#bꈇg HfX|JQAi\ZL!i#Mu!Mkv%({l4ˬ8̢a|@V6(@Rp|{HH׻[bWE %3 fL[QdsjuG",SZBoK-ُ;\~B}}b2cDc*rlllv6_AF~@gYZf4c9528ed34d830da331afe466617bdeb19818742bfc9fa8902db3916d36ec4512397ceb264483eb 477271fb1badc091331ba1e4626476e1d6c56cde9a115b34ad53f464887ebaa28badca739c0eb47d