From 39655a0b6d1d553f38d596e69364fc7e6632df3f Mon Sep 17 00:00:00 2001 From: halw Date: Sun, 9 Aug 2009 21:23:04 +0000 Subject: [PATCH] Author:halw Date:2009-08-09T21:23:04.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@282 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../current/method/_images/OOSC2_small.png | Bin 0 -> 31077 bytes .../method/_images/OOSC2_small.png.data | 3 ++ .../index.wiki | 2 +- ...ted-software-construction-2nd-edition.wiki | 29 ++++++++++++++++++ 4 files changed, 33 insertions(+), 1 deletion(-) create mode 100644 documentation/current/method/_images/OOSC2_small.png create mode 100644 documentation/current/method/_images/OOSC2_small.png.data create mode 100644 documentation/current/method/books-about-eiffel-method-and-language/object-oriented-software-construction-2nd-edition.wiki diff --git a/documentation/current/method/_images/OOSC2_small.png b/documentation/current/method/_images/OOSC2_small.png new file mode 100644 index 0000000000000000000000000000000000000000..9da6e0b423b0c264af26c9563b1e9d9e8af8e049 GIT binary patch literal 31077 zcmV(&K;gfMP)4Tx0C)kdSO-)SOSqohgciDT5d|Sgl_t`A3%!P36e%Ip&_d{0sx?!M6iYjF@%6jQ~i2)gb@4@d;tJh!{0v;vCr0t@S=nuGNQ}2 zj9@|Pz92o)Tx|hRR7LC@|Az}U1fYlr0JirZPDmMmUC{tM==g`5v)bA#h_fTaQ&win z9K@sp0L|d$=A1BM^CAH2shgXt*_)f|IRKzO0#HjLgp$LyWRV+z+5q_9#@qM&TLXmz zhZ^96ARp3!hT%u3JLp#09dsECmW&6O)mTaFwH!R0aa^<9x_dA1J>_o_C=*H$Q4xJ5 zrZ4_XQc@~gn(N?MnKe0Y`EEsJr5qKss;gS929IX2)+-%OoTqM?KH9*qf7C?uS`70s-s3W{Iw$l_ zYR9R?D<#OEl0GeQMkG-ni8q<+EXO(4^OzLc3-E=F)L$3pE=^zleq}6eQVROi9)!DyI7{gp!86g zYq`@C+X|aXe3ePH!Bg!T)n^LNWoo5fh}Q|d#MX1a+SRc0HA^F76MZw>yxOwR`m=4a z{d>o7=f|$L?iW49Z?fN>>kWJ7@?QVL{yt3KkN)TaGVJT>Gy2y?-)nie>8V52YVX({|ItKYf1A%ur^QXCr4<<|5~o z=0oS_7Dx+U7hMpE|yZZ#{#MH_6adq*J6RwAeN=aJf)feea8Sk!*USGPwcvIk(#_hvdG1*x;O?T$*@#Nz2Ebp5= zFv>T4sQXCkv3h|@p<7pjH8t0_G`2RiHMKW)yy@)g`qVw%GyfL!GQZ<_FZn^c&!*qyqr-sK z;J#1Lr%#`&hth}1UyMiiN0vuhzux>7IHozyGTt|l`<*CoC_lz^AxFaYX5{GDSs6 zWl^;oT=cmi5Tc;PO&#m8R5NarB*lUzxY-zH`YRSW_{h3T zkt@-S+pXI@k)TCb@+csBdGdL_^GfkH^xp6(@%8oNMb1xxzoP$GKt`ZZ;7ZV=U{^9H zxh*7~qE1-~EeQ(_mkytaD2WV(tcg`ZJk{;YoJM3TL^_uAUn>|1u@-LTW1I;^9lU%OY1WSEkasu2!a(XB1w0d_6bw z?v0$AS+{Q8zLs?}`&Q1aJGbvXxL254miPRA^Ml^}FArxQqY8EviWR9BTb1~go+`^J zuX{3D$yTLO?e#Rhrt>*{E$&5p-K%=cD||!7>wzZG=8%@kHrjTxj?10>-6B2VZyI~~ z-i5z^+o#oEIv_h(_E~@E^Op;wX5To+RwgDVm!^4V+~+D6WtO{EuWcw(SMKZ*j_CJI1TG2l=BU<0B+6W9V@5DPAY zJWvffz%W>V=pk-M3etvbATKByN`Z2q3aAYlhL&MgSOnID9bhti4t@YP!rxE~C~*`X z6^^=%YD2A~rOIGqGtAYB>VI=umXD*ZxaxO%?qS+f%I(6#%u};BgjbYzfG-V;=V#_`*_SL}EXX3*C3I2P zUSzMxu;{)00b&Yb>*B8@&Pm!zVWlPyluMsE=p|z!D%eS_#^TI?1>Tx|j7b_3s%J8$LJcFzz?`Zn|uavS7t?TMAjpTC3aW+2ZXS z>|Gs5j^R%6hf)q_I_Dp$c4>3{T{L8pT|L-tTS zLW{%E5w?+eQ7cESV(uT?h&^ zkMtUU=oxSwVjOujc52e`r@-8grH8A2Tkj7}AOp;R7ZUxe;4ydw`oJ`VhPWUJB=)wD zFLVsL1m!``pf}J248dIRLD&Q)!YAMxa1A^FZ=m>5hNxiF4O9mjjaElTpv%$oG_o`y zG^I3)w5qfxXkXK@(>c-Ip_`@GroTWx#30X*#4v?Cw@@Y#3gHB<6Z zcU+9SG=9YTWYuOWHaT2-1%@%BRA_l!-G=~MIQ|pWEc6A$d_)G zzpp5(y7V;WnSZTo-JyDy20|mbIi~eWdtPTl_t@LA_ZRyE2Tg|*M+ClMCQy@W)AO^- z3-ikxYdf~$zaQWM8C(Q~pbg0)FvJ5XK<3CZe;i7OilJ8MD-6SYum(RR~G(IwJN(3{g2GwfzaV3@%WFmD(Q8J{sJ zGZix*WG-W|Wm#i=z~;)%#ooUoduI@b;a@_W^vJV3#MQIAc~3oeElDjSHc-1Vj^dw-H#3&vpU{#!t7*cyj?=y{~=c7{N6`O zk24B>6*&}_l`@pMl$TY|SK3!)S5MU_KZ||-@&%^O?B&J!w+)=HT^h5RzO;z8lG{q# zH#&{G(z?IAk$Ow%t$YuC(CJI)Zy10F6+d}?zBu$`xc|$>=q zo>KlHJk314@Uv&8a5jFm_Rb02o{#DUggc#p!Mh|Nk!jq)?5&4n6)0# zvmxaWo2QSy(Ql0PaMLwGFb~2@M|tDS5zK^OQ%|x!lH;g$AO~MJV?2Uc5bR3~u(kfp zM+A|!YFw&JQV>OlD$j-BOk#-MADPl9ZyWpHx((z|E2IuYzN!KA#xKx>Do^#b>_OE1 zy*3yfKr%N)cx25mhY!Vwx_%A>ivfM$hCEANfCwakDe_&W`}>MTcq}pwL}rN~1d$ur zlKUfNw>9?pZ(5STbIV@XmX06zis<;e_?#powzjP|0RqCgfq*}ZbiVYs^xB`%mPgW- z*FPF2$mqW^+m^Ohw>{$nJP@frJmHT9)w6%GXIOe*q>7z4S{N;ZmPhL#?|cokGQgra z(R+X-S`Mv*)<$chRgpR6_Q@xcf3IbGZ`}XBM-yZnL=d{QBLRQ2|HCWrLH@(os@;)Y z2DHf8$UHjA(821Sy6yu2w`ZRDQ|q6F3`fFLD-m64WK2LAza z;BqA@|J`$HW;D{wNE#iMWm`V+fx$Ky<8YIZ69^#? z2mwM8US>K+@B4Yn?b6dvJyl)(>!+T2s=BJjapY^OC-Rj>ufs45e|;UX4nD&$4TIQs z^HW67M+Y;us~BCH8kEHD4rFvD&U})inkQ`-T1J=9(Gm6;W;IcGWFx@Qgr+%5B+P7f zTH)#fK9yZa{`U+@QFcZOSB2@Q_9B){Pr@{^Mn{L0LrPJylrk7MeSSk~S1oW_ekC@j zE*I_awNx|eg0!Tjhs?BdbhHGf09uQwu9S|+aCGT9$(bJ3cu`9wV+&4Uie!-ge#xP^ z{fQy<0EA-)&8dw^(wNp3UKJowuEl>+-F`5!P6rbSK(~vnCE&`DH9I2u_9f94QqYenPH#XSqfPtXD4$orveYIdR3igDyd4vV+HPq z8~eWms)9y$yAi40j63Tal={`)1t+>1T8jlGB_oYM7oz?Up`lYy=%htq6ikbWCW=0a zj4fu>0*OHr(Dgr^LFcjrxDmgvIE`hc$RCZVzr*P8NrNz@sYrm(hkeSeIrYhm*e+TV zb`iB=gHn5LyIo}D8v3XenW8BHb#N=4)m)`kRvxW`wfSj}h*dG2N`X>=!Yo46!|*jo zbE)E(l_Z@Cve<{tW}iZIg{KT3jj{T?MNsa!T4Vjd?5m=lH5w|C_Nh)H z4hmBaol99jt3WNRb7=w1(RuZyb!=s>UYJvri*w|VWGmEnf34=q?rTUpIxX)8D( zDnZ!+`%LqMZBf3KmRXv#5z&NwN-DI?l#G#TW_qL{p-I(uNUUgVs_?Z1wDW2)9ZT}` zKwdg4`w2@Tm#qn^aO+%`X(y7TX`8REVpWVJ%#m&i>fy~SMCYnvBB>PT^j89wVD-NG+BcTjn(VuX}58F(Qc2!s;C`T0~x~8rzvF>MeE_$SCw=VLgvWzO-DoaEl z^_h;VcQTb54oMOJRNa++iGUVXv6ZT=wyuMnsxJ{#MMA5;5-WlVh@H__S7qud5euOU zv2IuWapot=I9T*oc9*3Kk{lBJ)jaxCVljMKgPteUJzI0_>s5u+<8a5kD5u>epJwf+n3bH6DR~*6)h3TCMHz{O<4D#S;UeEPpVz?Myn^BPgPFer_N#X zYwuYn5&Nt6qdD0@%Lv#45W2?1n$WkQi?s_!Ow;(4I_OScWtTgst&%#`g=r^OQgyL* zCAB=`C0$x=T&)kqTAHQvs$!**98(UK&Y5v%G(o1YuK_o!wnRlsEhTT&SyGp=n~$XG zJJeOw^;21-_9~~CX04Ta9Hmnwt{Mj=rXzh9l1R`el&_1eEnKCV;cB%oHM(nsUvt~y zFi1gm$jTT&pHZ4FnNxj}*|^&lwCkbnPP37>ZVICI5Li9wkqJjg3kHe-^6MfJW(uZV zoEA_Fi|1>!p2`$nRU!V`H)GRN9A)6NtY%tCY6hT|Z|AKgG;Nori5Yc}2d1&9-nlOJ z7;#*BFdI|5SS0BHr%E|S&Y3J5I;UCokl0vBY7t!%VvU@B0<~jPbs1#=O(TC~P(Q3{ z{jDdapPa6!F4nH}%!LT*NZnqP~;%)+h0rafSC%~V*G4aZKG zuZz_H%;*5Czt+;p9mPdk5aTc)kPW&N3_tEm1#bHM$h47W^$JW3`l3s@ORh9S;DLJ| zJm*Zo!oC@uN!8dWnxnKZ4U~QJBH))9CdyM4wNR)np?XUqYx8xPI!V#iZPv~Jkt&r` zk48&&gu{bb%c@Fos>y3YNeW3px_Ve@T_wdMMe3$gt&8cL)p*Jz2g?*ZB?G2zm$&Ga zVo_lRlRAr>`^=TAmU{z{*@3wSN4J&_`@IdWEjwS;m6mi>hpDnuPJOEHP0eVCCGo5N zgN*uC#c#9joIG{`mX%N}eLoWGEIO~gv{iws;kL@Ou0HMY!6OxGz>JU8f2sk_ppobf zTWUxKI}et+UHDQZnALlk!riW`x|-qcFElkbyUM{fFin?J_)I>B)0`;V-I12FiZ`a zCb8*5nbkb8trS)PwMgkI!LiU(NC^`+gP8|wvWiPv&#YF`W}>r+a6$|cXvGbGO*aA$ zcg^ZVnf+6E+Cb}5U58p)bKI@2a>V08Q;lLO=x#6?&{!{++Nz2LAW<~lF#h}2+phWU zt*Q!gS}xXOoB{FSUp}(!#tol(-)Gl7F#FUiuaYz+R0V^_tm~tTG2QsQFl0WM`4LI8 zYK8{;d|99APcR!y8B%~smDmm%T>Cz&rz)KhoN8Cuh?J|q(6z8GO?jMGA(o_e!#C7JD5p~A}LXUso;$>+cR@9$iBsk&jVXWnz)9VD*wbq5!Ao_zMZsMzCo z|9;TD?_-zT{>1$c>Wp-Q7k%I&syDcA*S(M3KfiIsS?8bi!dtJ=4I)sQE1lYcxy_WX z<#jA5`^=v0yPkdV;q@y{JO1o*x!$%N8xHi2X@L`0oh`;FG5F@rzjw5B<+3gN;>n;x z>brVbOK;g2*gd-b%#$f45!~+!s%RLUY+OADQi#LvE>zLU0~PZ z`H4fjHGTZ4?^4L?vtz^p>uAAfQb}PCEzp^#BXfaQt$s-I`epC?@}1vQf>!kB`!-#A zLx%@_#WxxV7U@?z7j*Gq0;>DFQ>tZdTe~= zKKR3@e(}imgNa*z{--&MgQw5>z=JP7 zoT-cjo#hM9dT*ez@DDHjqI^&EZ@+(R!;bO0?!EKW)yp<**-2^05F>Wmfyyl}{wH%< z>9Uj4FW-3Q9Y6mmNfLhc(~Hhtef_n!>$4d#z&Y!jR&SW_MGarki&d?7rFB<>?FQsi zrKL+(RN2M{&-m;wUfA~G^S)$rG_m!KEj9;SpuhA_H$tQwV|sR@5)b97Q=`BB=ez&* z`-dhxd5!7iXWsZPmweX~^8Vzu2e}RI5KQ5GrVK^?e{UcxoX+^fTJ0WKJTnGE0?dOfe*j- zT+iF@KqTJTo9OSMm~U$klsPm6H%zg~OGkN-IrEAU`AJ#QTr zz<^F9n8G+lpe4DLwnkA^JXX^P*bacUs$_zz4SXgt`Or^(bNiRRuS@#H{ofXI&4r1p zA?GeG>S)%Cgc{)k-}2RqXFv^e+%D;?-&dBQ;N8tRO$j%Je5`a${9 zR2{f=*K^A+|CJ<4)Axqbaavy&TN3KtU~EBbC@GhvoE-=EB16l)=$wmo5ANgHz$fq& zrNDUT>DPC23VrVCGhcn{B^pYmVvWM<=t%=*YzP8AH6H@9L9>iSs`EIsf;){79;e}m z_3zplKD9cvBUhLT?o4Bpk(11vIvcP6`9^1ruPSoN$C0P@-5=cbxofXiC|32e`nOu1 z`JPW*!&9)m6z+kfTduz9s)OH1CyfLBW5S6fX`5h5($BwnhqtlaFjG`Cg zp8Abn-hS6Nr9%@S5;5HwU-!YA?9m-btzI!x*}U<;TmJZmm+oej1AQGTiQ1mKZsmr9 z-t?jVZ3i|qc%w8}OeOZg5qaUl6W{x>ORfutBM;pB2!*ezKOR%gW2V(p8t*XOK_?{y z!&XlY%>(Ht{0 z%Rln|kACJeCv}~K6`LkzotVqIx_|Pm@7YN_4;^m#`2!eMn@|74-Es=VAN|@@m*4y$ zCU!AuoZj|}yJ@6-d(+%cSgkLh_Np8o-olmFU11+axI^rqVSMAkUrAA6?`bDXp9WYR z#YI2(!kr-X^FQ8`zvsYGX|k*IarN zV^dpe9)I z|L8NxtHtbV)e-zfV+uch!nM&=U8p1i%uZlTD5^g;;Hr;lBY@eZeL%xMIPng8 z&6B{wc6D^pH$qFvKGPNQfF0MBGxa>FFouP^>6B$gNJ8L-71v3YV+84090%ThdRED4 zwnXu+#L;u)eRXYWLX@*(PX$oaqfb3bw=l8wP~(a7=s;JkTvTge5de2ItM;N8=nFo3 z1(<@=k8b-Z_oHov{n)fH%$b~N*1NVyi>@uF>gP|1*_D#lrcAQphjN?okRtgda*XbLt#(lrXz>*;b} zLLgeprXH7n=o9o0=bp6^OcAh4*17(#xV8{mM%P0p)s}Pg-P)WgVco*CT-AHDYGsM2 zs|n42bw^b+t3}z>nMpWy-@MA-)W&=(Gue99RhiVOd%4HEmd4c@-@{Y@x!Xh5HDS`S zbpH#}d#H$j&sdHOeA-v7w%U(`p;SkgOnMzN*kby@*mrL8Yjf2yYiV0XGl}8YML{1e zd^G1+VpW~BFYtd80;^uyRx6{PkQi*N-o%yndKqAcT&e72gWs9W`u%!x3L1r!yn3Pt9;0 z9Qc~hsSRpnNy;qGAarV_wZSoxB2M=ugL6XAscg(}G(&3vIPq{WtQJzL!JtFS>r@@L zI6dFE?edOA$LP4+ydCfdoBZnSz>HU|Uve z(Cbs;ygQ#Y9bgJ!GvP$sawi(oe5mYA3b>qVWHleWyorpYO4lBU7n4$sIyLE`36(K3 z+)NBK`ZT4luTB9MrVTMPXc9M!qyRnDmn^n78sT6hk&fpp5(8*!gORTwCQn7ZT^A+; zav5*SqE*6ZxzIaO=~$%CtXM0)v*Jo-$A>i!966vhp;0dSEGKSS?&&ATY||(vQXl!; zht61cJQ#V4-fRB(BEh2QJ>%mSt^N37BiMH4rxvZes`a#W3)WrrL1Y^I;&>5eow&#h zrM)ZXLC?9Ud*Rt(GS2H>LQ(A}cKUr4_`YNifio^xuhE1+02CPhQ4Yt#a~5#A^t=XQ zN`T+o-h_q{b4m#i#Av8{Xo92d)J7nKdE8Pbnz+#CB@1XG)4sr=(bO@iFbP>lLKAkZ zt<5nO3u$CEQWmYulbv%0aZF5`d@dBKZf<__D|_~jzwMcu_`_>=Z+`aiCtv<80Nwhz z4{yEy5Y2Yiv#FaubNj1Xi)0TYd>z7}7;ro94@SW)9 z9bfy(t>3zcOT72wNU_KLxle!0$n2plfAx;*Pb|7X_Pam*B4W!<6l9-#{I*#Q%RY35 zHR(Z7T;jX;egzyKy7#Nd|MtIbhx5pP-3r9l-|}v9p}EeWsLs(r{8qiHMW=z0K9rrG zYRKB~TQbv8MpAch$k>MrMT|hM*UL@*=y&(r{-tl<{e@p1+3WoAb$3w+E#S*P`z$!- zhQ^AFu?CFG*Ixd}KYsQ2-GBbcxBm5O_li-*8-M!w7q0rjrMyb`!8fn{?fuWWjRd8A z{G#=`8sGiSO`p5z`-cvV{^jS-cP)ziefMDqrW8p1mn*M$^4VWPeD#(`{`B|{F2C(N zh$TmpV-rzujQE?GHRe$%$CUe(Znj(qJ^$J}PyT7seltIGpmJoQ!t-MR@VY?5^`E=r znb+f6UVVM_iOc)r#ee>%uXqEz^I8t#bt$WP=_=W=*jC#IfNKGyz-4)hhL~H_e4PzF zKUzaYV7eHnVMfpT;Oe4L{QBqr?Wd32^|h|Zu3fPWS8u1dAAbIqSP6eiYh%HSSwPb1 zN&ffUPdu|}_d=iVk>?(|c>Trj(Q(5}+<43P;F$aOp7_CKrm^y#-#^CHK7IaIo__87 z8N>U>`=7k=qgOw<;kS6a7oYc)&wTYgsf7EoOD_J+A0N5w6Ym-|i$-!x3`I4>WARUa z?x#Pv>la1S)x+0hX@FNE&FFd)Wc5u;4sg&Sb^QF2O> z4vuE&XH?MLln`qT8QmzGgMXMtMwa1wO%`YF61?!5E@frAk%2V#0}6u zPl<)fpu;Jc5_2FgSwdx;0m0GHOconcZ_){})~WUZbgcS)4Vhr7Kq0mRNnoczrv&;j zumd$fgb$z^Q}_@7$^qh<2|+oP#=XQ5m*o}MC2PW3evwjWfCxAWlpM;tVp8X*1}~^q zp~Nt07^etbZrLnpBS5bWC>lP?ovL?(tcDLAM4p&a;LDDcIN z{#D2OlqIE@EG6OHt1ghmgV1UT;Z%`~j#;e9^oImh90r_)Rup7!o?wwQiHIp7Bj_{I zic~KmC5d;+%!e^GMfb?5o0%%zKbSt5PNf1?Jt$Sm(AJGAyNy)QXy9@QLmIU1VQhZS z-u}esOxr5g^OU%zG&QD(HTm*og_nL_Di&c) zNP%2mW{A^yGvf<4786CEa*#F3ZZqvR+-$|+j)4H$Evei!n9AdjHe>=*5vKwnN^Vg% zEwd!Dl|WrVDxh%^84`-7$Ri-x3EV#%fTdnMPh!m{leKiOLAXYuU9MqOo^!-F?F>5- zqpFW3rSs@x5;fY zBiFk<_U`jEzjfc+ql?7fBBah=H~*$@lQet7#=~cbi$<>C7r$1z@r&*I_6;qvhDz>h zFXR$jF}U%C(e-CjF(!89rmeeIWpSde#Yxyb)Bb3brgd4Cs#g0etBj-m0I0@PJxNKP zK~M`kK79dF<#u&sX@f8nQxXV{^puCd(hu&+^^3a}y|@jVtLgSX{tpC_#6y={rZPzc zG{6MYnGm;OM!>$q0UCKEPi)qyEWZL`IE!9(%4bt!ncsH&2&k<0Dwu2$E52t|oNRHr$}2ORL7!=d0vY zIhNUhQ3>X`FhjfsX8c8D-{3%e{J@NL zAzIAMtl&tlY(Hzg1XHSoDe$pvgw9jW2rR*-4tN-j&XJ zj95xg*U?4IkdT|N_D3@zpH{S0RkBMKV(WJ7Ql+byQFyh$qxdy)NBu( zgHt6;307XAsw}%42$-T_*3+DsQhRRGGs-!3Zd=+Sjv;jn*34XTUagv3R-vKZy!ym% zm4GMk|LwQd!ld#`K?KbQDf_5pDiKS@%Ai?Q9IFBr7a3d3BB~Xy=9~Jf1Z?ps{{K&k zocfporzYqBec2izMXEx?Be@p|6V4NfPT^>JpM&pH>MwUHBZj5_ZL`>rMZoN>I^J z{A!Y=PjvzMY&}J2 z4kcjUh!A#xwX_z7qf4-F;wZk9aLiE6D38Go&^2|o^a&1p4$;=A_0DZ7n{8xquq?G! z<>|8Q8@6x5=G0utuD~<`0WD+4iX(_f?MYPCQg<>fqkg(ISJZbUJAZT_i!MqLYJZ?A zO{L1Z5V_&%L_4P}C9jrgIasy==>qLoGTJAK;FPOab*@RZt0!I7l!K+_taw6!iAcean}N`@=4*}?(;4kp3+N;*MiIrH#|PfnSDq)cS<#cPi9h~m_P7pD za#!^98`1|hj7*lHorf|AcpNRr1UuS>28Rn38IVU>I@4b18-mS|#M^%{9E&G=4>w=% zAs?w`FhAJqif0NeG++6_iNQCD&;27C33skLd2I9R;RQ?G^ZCd|tlSdyb@_%~d7{+Q zH|aSv zTrO%3QmPs5W-RA5$MU}BvLn9d@Bc$ae_=F|%ETK29%tFzv4V%;>h=ekmn9zki9gyj z&^OUuYWB8A`(nExhFoKH1I3n8h2J@+(UqM=34!Zwl?teOGXup?jYXe9_Du(6aUkO+ zr|Fv9@bgMbXVdztZP(KV2NCG0QP#B1syfP&3*7vOotabN=sz`&2*6hq5Vtqx`4<03ZNK zL_t(+J0E9X#CQPPiMQrC5_II^LYgyFACo3ge}{Z#OLPriVwky-ZT3P8_9Z z#U+H19I@dZFT3iGRO)7zqmkB_G18V>wyR^Dd+UsvV7a&8^LCwFVQ~nv4fTd&a)eoC z*79)bO}Dwa3ur5JlfO8&rfcq4DA&HMoI4`(*es##nw|BOBa6;iTufw|!pV)VcO189 z|6lK#yJk*hO2L$P0m>U37Um$234;DUCMgHO!9o%tb;wk+3Zp%2kXX-*3mb2r^54%#7iWh zs-@AA(X($wIGP#S`KEh(X|X95+kGf?FxuoCd24fY4N}Jl+?wl?Cp7sZfx4XBHg?3# zOs`vBL+Ri)obI(36_2H}2wZyZI-~c%{OCyBc~+>c@sPi@GnhQIv#;v}ndRikaLAOr z8qC$u!eIuQxc|^|#?VM1miD;nnMXs9%s_o56LaM&_?_O>is>onT~%VpAQMv%K=p8(AP2W!L;YOTwoL!eu0El^ubqi)nQ@{f${H--}Z zt|s2GfB1^iNp+68zVof08OENct9yuG)@W?C1CmRqr>J_ELBA0m9m#kcb5@+czkf4X z(gknOlMlwtL5JB;X*9#xV#4b-GUa%(Q19>r8pjTdN2)9A0NSKAI+O*iRx#z6cyi}) zt?T9wr27o7;ZM#TjO{u6;{L8^`Q{J4iv>-&#KAhFgQ>|#A@1}<(d+zZ((4|pLsdZ~ zF_KSk8ghq?`oWROj@Cn|Sm3yhzTLYk%^gb%OY)9N%S9h?o7+v_@zrZi`zwBHtWI`l z>tXA(j%%8vbilj|0TJe2h=&jK8tu|+-}LQYE^BUEHg8$Er6g}yBk%O=(Q$wXAx}^KUWtHWN|G4)J4v`DWlZbmF-g)g{ z3aw)ZN3j_r;|@zdNsotF2i(lWQ02Ieut%yi*t^?3*x$eX73gCIHG@_2E(`BU-?Oc= zwrz#D?1Im+4yCSLx?n=f+>2V~8m~V1@`I+ynh7}XK55N@dXF(HsYj$vHE{hgxK#K{{StP}m=pD>YCZk6}la&&4(MR0lbLOlt zqFu$e9#XB*hN@aoJ%feQs=I?Jg`Jucm=e{4kXvs5{OoAQm;UWXcYfpMR3)=-=i979 zx$^qUFbEUPmEpaImM@<7WZ#Nq`< z3r2&YCML4cKtta^Z*S6j{F(CV!I93h7_L?I6T9mC$>;vQ?qq55gvP?yiT;kaUw?V! zImva^v%Phv1-4HHYibl$0ArF=2pcIdqF zM(8GIiF<&cuOP-1B}Qwo17HWH05`d4X|Wh`1y|AJ^-<>u7Ft_45C+qxq7N}>Qi&Vq zM%c{+L16tqabu(KN1Wof28McZxgfMD5cfa@JPHoH3u5P?5io5@Sa*T-M+9rY)*&GV z-e#Qke~owL?Z6?U)UHd_I;|#KWj4SdKOb|FmaEfQ?S-DoLPnqOz*~nnSi(oroxh`} zVhk$ni&dY*V9Ek9VS8X@4KX4~h?nX^>8{a}i=riWW~8w4rP3_9}V za4RMc`SRT5nf>A$c?z_0t74oE#fLGz5Cod@(ls5s{@#Pa#?mR-=@A(;;wB0U2V^tt zbJsN#@87!ave}zAzkU$4eQ>hrlWU@WZ&cKCbVSAlAu~`4m4i|sm<9?JwyWT)G-o0W znc&F2fzEZaYzrwuH9>#~0fsl2RDTwl7W(ZOsmGQVpJVzY!lS z^h);yomPu;4sQ#x__8Wu-MucVwm_=I=tbrNRKV@WNGA4-NO$2L#k_jw&7swUsh}*C z#pD^$`cO6>i$`V!4NQfBLSZW!TW#II+~(gqFWNtQ_{h#Nt)y8;NpuxI%v}r_t`i!( zJS0|IZk$-$7kc9F`@7kEYtGLGCP$hKA0PszqZBH{$7mBY8ZafVYq%fxmVwrs4|WZ2 zd#My!gSH+MS*fY|mWaaC=bvz98|g$WOe3UfxFH}P+4d_%s1ub#bX5gu4(hS!%hX;^ z9+joDmWC>w6>-9eCw_3>)Bl~8(Pulhwc?h6sf1!nw9S~rI8>sHtnhU}wsCI9MDL)C zNBvRYP9GZbE_4qS8c}CP0p76+F+(+SpOA{(ecc*}H~Vt?`UgVc(E00KOV=*eMx1Uc zu*i|^d)TPIM6Sg~Y40I1))60i>cQjn1R=l_9Ggn{e7ejSSDvBNve}pNCAW_pC_l3J z!)Gbp%t&Cx!IH%rN=X~5N@@$*z}Xy4)G8eu>!DSpXFNlNqomakR(S(`PczCM9`l5< zBNLuxPs8$Jds>S#iI{RYTSlD#JXePBfcsL%M)oSFx z(TJys@#y(dAPS3717B!L5N2=~f~lG4hreT~l65Onf853T3NKxh!He@Y+nZ6{s3VlA ztIRVBxsY47J5)oB-c?!0`l}UO3zKd?0F7ximYlx9w?rV}anEu@yH1%*9jq8JIxf_+ zklG>lUy6>8cY9s0hL(2#ZpFO=c`zk-CU?_X^@sH!BHlUlJikt~wD=bpO5;bzF~MSv zhX*U452vsUs1WLm8R5$eg1f)-kGKDzvEjIAbWdnx8X*IalFBC!OF8Lu9)ti zAY6kRVUh(cCWb#bOFDx{t5|aeNW=^Qu6t+jYp=@NqtWa>eLxd(rMhsd?*VW0`>|#Y z<`Y8keW>$rDTyPsV7|jN_MN}Xg}(D_!b4>&HJugkIqIeFB^2}Ox^T;$NJ|s5DCxc( zW843zQ;&|pN3>O5x+LWzO@w<#i&wvE?nVFZ^+sYp_|)Q;_oQT4S`GKycLzI4*(wTy z9a-Q1#_gZJ^m}*(Eho(__U?Y8-vOOpJm;1#ea1#m>n8FVeH~ZJGnmB06ZB;V#HzNr z7|8^hj04+VtaebMt!QY)<)R;>`IC|PE!r~XHJS6|S;?)C-JU`d$L6kG)Z(9K7Y@PT zbuw2jB=e3Pd-v^4#4@SAd7d9%INzCyVTgG!=bqE}n}-g~jkMNv1`?&DKNTHy<5c-Z z!lTVD-N_j)woLIQMy0S5o?>I6RbHyfhHwC!rbhOq-DoRaBS9~9KOr))b6@42PdYPo z3x<>9$IWk2eUT_3We~vh)b(e_OO^8~%@|M?@IUd)-`*J5QS5jB>_=an$YdJ>ERCOX zq-p{v8yxWYIPhMigwP*>=>+9q5y}Jn9c79d83mNaTRge>)OgA zNmR0hF>ZW>9rWIR-!3z)v*yn_cg^YcRy;WG3~eXw3@#cl`e^j8>>m!fU3gc;p<<+x z%Z~Z|#7XEf}`6rS5GyQZrTF3cAR zl)SB*>Ujvt7F$(BVXdp=>%8#a5|94A`~7Ff#{2fhhrtvRi3=rex!TB$FI7y@>RTX^ zNooF!9fng$^pp@Yol6%4Y3Y1MV6$V4k6~Z|;IC*uUhi;(UOs=Z=PEBcyYJE03~zHO zn@t%xGtjubxox}C(;wUS>k)d8x=)nL!F(*z8Htu-rNK&}!_k}%j3qKICZa>^70NV+ z1MavnVvaYgIDW!0BzG~>B1)CO)pgVR+I^ue*JPs3$Q4z%Xn}iyV_u*B9yn z<#gKn*kAS^+&n$8}rF zb7xB4x)2Y=6`D7%V2;+WzCz!7ZOo0knHbE(Wk#PMi`vR!O=M#+Xvn?O;|fQk&_6hE z!*_3e>!lsx6BgY6Uw=CNzf zGimlCQ0~vLm4s2**VKoy;As73+j20tqWAS(oG*R<+L299)59-ZxM2VO1I#Tk-yDhW zVt7iAMB7xkjMS)1V2o9~bUwZDk@{tA{=q^bCDS6i-W;rp6><2NzPmdij1xYbP~VGO)j|JTc05Q7&7&wAFKbpRs$~ zdtyVVA-(WmaQ{2FR#`_f>8)>SF65fp`v!J*DO+ciT>S%9RMhqLvjImrxW;DX18%0V z>y?FOwk6{&)>ZV}i^RS&E-tEBpHM^NeYbw=!Z8r{)QYH~7}$)$RdDDOTd@{@VKmX@nj7`Bq# z@Vb0C9D9#D+)$Y;rt+o19iuy+-O=-AKl+}G<=tf`-P-cg7kVO|VqhM=N6O(foSA%6 ztHX3Ta;0*m9Tg7GTAOt^+ZVrEt(w;@Q{9ukG29j2yc(g72Htt7AS$6o1Zqwog|<$6 zMaa@BrMmi=Agj)la#v})9Gx^Hjq;UckgOO1UL(`*;|B0zgSVk@8FW|bTZy4Z1;$d@uK)HLu-R`Bvs}+A$+T4bjLt) zY_hdn2U3()33>sSv23`Z)!E^3w#vPhv6OqI(<5l5M&<_}pLgu7iR*mV1Q3pX5cd>)+i{U>s6REU%zI7o*#m&ZcFPI8BE`30qD>oWKbCi)|v9jYWneCSpXOtrbk0ntE{Z z7>O|ag9)a@ZEed&1I*})6*xMeH_nQqO)qUjK;~Oz1qQoYu&PE~GF43Ty`ib6fkV1$ zUrZMi>FW5)FCOn|==$4(kKwCsdgjINUw7Awk8IgD)`P(48@=mJpAE!`n4is-)gsXK zseuX1hIwZp%qYOK7$7mX#3>G@zfl?%Gmu~xZ1bV2 zk)}zGiOF&B1=*t8j|@qCu|%sR@&F3HopT!6&R)$&C*e#C$q*lb4yPcc!No44&dede zVRQ$k#Lxs8p_HQYTTWABlNj0xV)>rUI(0_uc2tJVoNPF@x-3CfZznR)R-{8ylQh0( zU;M{;XT9r{7dD)>?hFRJr(AJ*c*UHvK66nvJ8GOfcaCHB!ZW%@?mh%w*WUZ}V(%F4 z*Kr?Q`G=>T=4%-+sfX56)i&fo^J6<%kL-8ujqOfOwzr0d3??+`EAz2vy$qiS+&!4W zAvP<0M!p_Q>4?(v2mOscvnc4)`PhUyR!6%oPIBsVd*RbBp^xZb%V`TBqFp}3fF zWqZdC;cp$;(|bba2aL0gp{)bE;!mN-K##m*UlP}k0I6bgYB-=cq^K3x@^b^l`V#)nlq-cPyx^=glydDCE=KuT zGjWc5_|`ae?b52bb zW^i~TtK5dz-px%+0OdS~T&=u~D8-p*Z)YMnC*mwjs+%}0&RL>hbvDA4+mpbJPMJ=; zD~y2cW|0i0(s9)ofuY{X-EV9;?%ZX!e&Me7o_ZYXo7u~bYxTY>E_`FpR`$5FQ#?D! z?y{clMN6^2XMEtj47y(2uocTd>aXtqw*3G=mP(`?EXj0{K``i3s#?< zi14|crp}0qB`=1UV4N*a({cZ}_czcoJFkC@$Gu**(TD3YdU{6EjLrooarf4BJzJCY zC(@&qeEoZeec{kpOJ;6*>@Z^Jnc1_=;KRVv1NY@*P5>q&S1_%1SyW37Ff9e757hw} zdUE5uUe!Mw(6X%Sgm-m;DXAUv7w{P>CIrGp3*Qx)?-y&;+B%Oh=5PPw`>Y2)X~~Im zRxZ}%0I0^aIIzJ#xNX6SXR~lB7$4-NCJMW^sCsSp7z2O%MJ#hMxq-N=qsS-7|Ojan-SrsbsXva7Hw$YDYuXVIGQ&n4i{-jT7EAy=~ z8JMK)^9nYV^YDo}JNQ;DUSx0>hI|Q6g_ZZ7K^?&<+|{MNiEHxJAZ>?u=SnH|he?;7 zDLpAc_gWD8XA9DU@05~9(w)nWytBK>Rq{pJbBEq?hdY~GL*)S(O6b7Uk)8LSR)n*a{gmve*GQ#BhKT0waJa zKw;tMGjZ)#K}(36s48(T>K-oc?2m8PY+}IOwsVq6!d7=3s+!A~%)*o=hSDB`TD8^> zc}KVTQn6hBKymm8@?y)T2N+JA4cozz9a+^NZkC|n1}4oT|AJNX@KW=M30|y<+F`R} zerzbG;Cthx|N5;ve}`BCV5{X=c?I5Sfpd4~85KurR_8pv%+XjHq3Z6&BgEVW$E>EY z`mr(`R-85a2CU5PQJ24iE(<4#?kJz*O`bF-aO6OFiSe{F#3*m6k>9y+S#6)^p&%9m z67iv`c7>RAJuO%#Kvx4^$B`rBG~%S!5%Rag_TNAh$m3x zXne!r4$P&XcAb?_iyEx2-D~xXnqQl0TL8PvoF@`YnxoBZ{ErS5x0U)wU1|))h#={e zCWe7a8jcW4)NrHol`$6h)daK^r0U&ulf^_m1Zxb6cv?OHbytRchBrPDfu<|N2;k~7 zrOjMSy4s_lw(18KS|-Nb8c<{?KI*NoDs=w*mSlDaWJ8%jToD4#*lY;_Yo*Mkj7k#2 z&BR=-3Mn}nBCini7e#pI$~P1Ack#pmNUw#$N?aT4GHkqbDyI;tiun&c>F*#hq#hvuEx&vOr5a)&=f3z`Pamzyh zO1{S;PUN^R<(Sli8LVn!hr`okISIYWAq%<$T<%)i0f`M``$2hB8c+yA$HHKDF$|{i zBEX;IiE5p#n9apGWwTGJI+-gmXX$oF*WYn5sJ zwN=js(I)K6XpW63IpJug&{eAq9S9|h6SKz4jr|c%V_-e&eqEtiolAoY3)y_X2TVqqP zX>q4cA?6J!R|Heq6Rm{!$ar&eTiH`x`+#kAx6LZ54>H)fY=ZCDnY_zl6i^#>8;(QR z=#bmZHzjI@1IXCzw^n`z4RAndgR4{RQ;jm^P_n&u32kL9wJgPGY-j65f2W&4?W`8& zN9KYrd^%#5TyxZ3i&v^xRV*wZ1{&(Is-!}5;JpHLCN+r>;JcvFK(#wk0|DEY5T`2Q z!($sZ{GE6j)c|U_vh-10ml?i3XFG4OdBzaJ9N9@fUr82n(BfvSoz=*~%$b9D0w^!q zYRe0)dMeG4VTBqRFjd&eM`4C6RXlCQJkTuEwW6dv)S_B1!!{3|F$=P>QDkQcd$4sG zKNjR{5ua~H5N(Au;f$+<2rsekyDa*}zxeL`)5y)ojlU`@52pg2)8_x(N!JHnOa><8 zqbMeRRj}QvdM%EcCf3Spw|!fN3#UWACTG#%ZTGY-$+xVGs<|bu2eQHVL8d!VTTWS^ z*%BY%u54|k3xbbV;3$rPDXp7%0A>ZXYXt{<(OG1)^6FVDXzi}LlR+?*0c+e8XP`9R zd3gAX*ROm0EAyZF>M2;8x_SdZdESHxmrSs-6gOXYko`xPCf*JxZE&(X$>>-nLeql) z&u1EVo2{Hy4X&}c(bKgHm~|ywyW0SKZ$~~0bAPxCjF#9`K*laZS~Y*l2j9Bq}b6Nm>C=;jGqGv-}HL`lLMk7nB$Cxf%z3{;EZ$-|0 zZ&dw?6~>)1vz|1VVvAbqmW{afvdark#8(>gb+kGcb+^ZP?ZVqYW=W^Lg%wyQOm~Bs z!gE1E0rz1UyJJH=Pkof%A(=8v z-wB&9* zc!A-p46Y(B!Blwy^j#E1tFMfe-}>L(-798?T|=xpU`epwb4Vi#rr4rZ<%86XlWH^u zPT1b}78YXQmFJ`9Unw_bcR1>jasvcBfvUnvXG(*?4Zz=W2d73^IAD79l{Yc>`ki~ex^3rcs!R)0Xhc;kY`x!- zUpb$nmgUp@VY1iFKY9cMrvs`KstnML&}GR;pWP$;R#9GN0Kks7r#MoWSB9$SCRw04 zX#VIaF>{N028&KC%ccVWjhosT0AEdvXWgqVSjIXRF3Qvo4xhd>ohSB`m{a1Ivgw8V z9!ZVGaa#1pWzab-uVY92-%c&GcI#1=W>sgfSji*0T)g@*I|F@HDLvR6T$(m}TKIUj zLWiH14Eus(>7LGD_oxwTF`|2hck%Ifkc04s_*E+XQ&X0euuG#NvDfbgR$m$CzO85H zOJGX#2h)@v1+)UDfZl^!)$wzOiogEz#^QKe>luyA_%V%*93T?oQB`NPvtW(;1(U~s zKXBmn30?)RIDb8}t|G5S2M{_i^nzeS0L0ziz~|o8v1Z;Wqpb;Q!h9fT(uMNW`wFgE z<9)aUEpt|k_Px_R?_Fa>SNNp!$*cNhsfiA*8_$Ur`Os?4wBKX9b7k>ZbLDcLW71fA zbyXM?8Rmdy(d%wtvz9i@ZnxME_*Bhn$X2~@FbYQ#4g4e)U+|JsgJrng9NijM4Ed zAIK_Kn*9DkxtPl(8p4e^m$%i86IRN(+}^y`tn;Ltxu#;ypBhVM$5PEFN000r@p>Kk zk!+YgE}6ta8-Dk=nO(K0B^~!qPE6#%_JruH1$9_}!HFC*we>Ma#*@$I#y#Z>C4zM& zHc;}rCX#)Tc}oJ3PCihk-}zI29r%STpM(BA=V#cedMz;m%m>Q&RRSwt?O<;H--9FD zww`hNN#PZXdHu(XD((Rv!+!j)Kj91HEX81oi&qAVmakg7cpg70w0Gy^EnoVCMo^cc z4XZK&;`Nroo|g37RQV8(5P^zXn}@=(5tyT1ZEX;jpyZ$<#sfpfAL5N+i$5}YS;H_k z;l^h%pdFDWgPw{>0IX_Wo}DZdY+`bz&d*OYaC(IQOtLUNj|Hd?aF%dSNPnd)te$BV z-{7z~3G6J$p0rw=kTwJj=B=p%%>`OEf0m^sxyrL}4GlJj>(!X*J4d#Kwf)wtjj5C* zI>iU5CDx}pKI>icFSy|&|NYZHaT;RML2--eEZ=Rv@iQOg?9v-P!X)9``Lp;@p|h8t z0no^3G25@wMd`T3W8kBBoi1?zStQ_XM;`$cWI5o-M(g4c46EKgtYi299gVcHYuN7< z*NRR_Px?VH=(1Pr`C>;S4`8hi&Gk*Q{?v2~Y8rZBYnn-BjFK zreHe*S&=li552QH;y9FRI++!tKxuWpvfV-gr)Ubp0chSA;EH!N4kaC(cnAy)(AID6 ziqk2v_5uMs0SG-+$SHFI8f%d4Kafnl*gOAyUF_2kwN>w6kYQXPYRjCC;(+*vBJPFf zEIae0)i4R@tkza&n!mfPGhvP~jp>|yVq>%;Q*88hpCurOHz0M;K{SHl0F0Vx0T~p4 zX;D5ksZD_hvvHXG34ZI>XE1fWZ{MJ44oQLp^NvqlzJ1Fskb;(_7^c}jctH2~u#N&$ zI!-PcJM_-*@XmOpzR@j%0zlNB00iowAtpORMz-yMsk}9qWOMQ0U44$fjxD%9wirxt zs(_NCt;0b~^Vf6R^jcbTDS_21ya>nyy!fpag1BghGcFof_`GUDErr zL`r#j^tO5=Ln=x^tXn;6URbV;w&Gx-o_9UAo0aT(HLJ}3mm(;phEm5GT(T2L(jzXg zYieYjfHhgeJb-qsP*{{yAILDJtuvye0E!QwKZ&6&KGQ3V49lKYZ`)Frx4G?vIWt@< zomcKA)GAF3yfLqOwk7RpVC@CSY9Sp1hnr4*FBm0u zX&{iAA^PdQ?bqF^Aoy7=5aR%H$ zyr|mXTePS{BXaF^SLjwu^4aUxgC2ZZ`jSPVCEsQLhoM(y$iq@?O2-ImF-1tp@!=u= ztY-I-?at=eoN@y=18RJQ4LV{@%J6)!P-=1|#>+7TL}BTa0;5JmR6*tejQV<3%^E&d zQtH4|A&vl;VgV#eoj=!FHx&2bx6U>e!ckoooxZpP(0sWLX1Lhc<&`qgR(8HNWMlN7 zD5h>S@Oj1s!->6uE`*&Pz63imJRaNS?mSO{274+9tPEbGMzK1Fjaw=X7QMx!tD(MH zSD1E_)`n7_YM2zn7J{VKCaH|1Pw6bQ4zv$ItQ&83w9Sfbe+K4}FN`jcKgN)yS$MO{A#!S zvb>FrRF5EjtC196Ll0i-8ssImCy>PsXiRCUI-9}{X{nhV>{FFGO*cuhbrX5})Mirh zlfT)`x+YSOTiMCY>`Uc&kHl%Xt}c<&jr#2xn*BcxO*=EK zTUh#W`GFI}`7fWm_5%L9c~_x67LAF&tq@Er*e(`DN_2rfFa z9RpcaW=dyuD#EsW4YF2Ne@H;|cX{f&*MlQf7vSix6sFJ|V6COCB=inFj9TVPXoV~U z$ZE-2nl6h2D0%a0r_La>!isUIcM|vQ%K>N=Q%hD?hEM5aT35cjX%8P!34G|v*Pi%& zY0L9qI$hZe84l280jPfM`qs!~S7+d_m#lo`qz-n6zf_t4CmR<$r*tCG^VUAiNgR}g zUOj_}A>1yuipDZ{n+jsN^Mrh-S_s06|GN_b4vnm4vKegIS(icwMsjn*4QM5_RthZu zt&iH%llQ&N&9feuIceUcl0}#8U<(^NwuNWe37pX z6LelG&^u(^1swKu4;*-7b^DlqZYF=A^3rpEA1(6hxKj}6T$XM1HMTV1<@=1^4-9{$ ztNEL+E`RHd#~%CQ!e`!$pCY;`<@Sy2KkMSvtYBr#%FA(pG(7>{5nS`{*F5p?^QWD1 z!tnkHzK5~tw|`;VHtVrIe8ZK0_|uPApTQ~X;2urx;rpDFQ}f}5$clHLwe!V?DV{zT z4b{kMZv@FiPDYtWhf9Kv*uqfnrdVn=8<4~&VLO12wZ1fBmy9f>n^Ma%&|gJM8N3a& zrwVn$$H?Nh;=M|;nzCVt)kEJolz7F}#47{Xy^>~tEXqq9^}de7x@D*tSnJG#sPJP? z|NOeOrz?o28nNsmJgh|hveuk=!{Pq z{(?qNa~;|zgAom=Mp;(#9V?vV&7REyqK)s^iEll*8O1aQ;$YetoCBsbe>-(k{u(jk{3c{+LsvtTDCoLOj1)4B{JoIjy|e-ayVbANr(OtKjQ9w&mUa zdigjCuL$-2%-My;^WWv?Eg=$L`Q*}^Cnqga1)$Q3rXLD34C;3>eM{fFTx`pARs*+A zRTh?GUik&N4Z}@s%cspQLqD#7PyvK4l(QyC;&2XK7OMvEQ#}u+4 zVx=m+N+#+{;EkeX;CpDgci?`o1K7Br?t zStxH4Kj?Q@Cd&_~UwegEpnmaD$D9(d11#3uy?Y-j%%WE~=5%L3Y^(bIjqG_PFd{gi ztN75Rb2!#yCTkrm41r$SHq<*N7Qm#r0o9N+;e=U^jl&mCLYg5PwDcwdcOqSm$=VS? zGckDgt+(+9h~;95LI3HOWLoQ5)*Qzfs_GAgt9C%Em4K@`N|7VrTlEm6076fbmrn*s zCq9(mCc$FGr7PfTBXDFg8}Esa_4bU%#!yM-UI+S8+5(`bVn*Y#2pNtXis0oV3y1XA zebg0>iqwaH;QsATzX4o(p?0m@RDY_uRqvIy!_Yv+1-9$J&j_;AlF{ldU;5~cSN$t1 zuGk>Jt^ua0uDSL4w}(e^{qarTeG#*;^vv*`KYAE@T8^Fg!&`rP!%x5d?A^Z~JG|?f z@BR=|d*8i}ut65$vM*oM|36<0jO6*KS7u>Jn*w!Fjp-D!x^BvCV6$n$ACehfLN@6@ zPq(`#8Z)#|-}49S-0cZH;X*2UI{fC^`$5avbA3Z zpC8?0S>P?-z4fNszrF6Xw-4(a2J$K!2e|Y=SGrz-6h7D}% zks+*M-2H{`F%P@uVjKz5khO_~wu;bPEn$r##O5mb>K}cg z;@AHDpZ4}_mJQP3`G;S93G4#-#2CLQsX8tt5~2C~W_$VeRqxnXQ;UZuQ5z!z-1|~8 zrlbQ2U490eE=Kb`y|3+Kw5q=^#6}BtTiN)s-v!~OZm|{V;Q@gaObH5BRt*)0+~*t@ zd~RQi&tb4&h!hRzNpmpzSfK!mv|xVd)3*}K9;lPAsbT^{g3{Kke6mf=vk1$^RQ6*i ze1*#sP8cn|(N~__#$F-CFiw5%S#<8(-rm6*0T#J0JvGWcc=l-rqJigMdYP@8OY5DB zmYu*3qZ@wuS#Qb+c9t)qmg`X>j z-M!oT6Dht?RC`k-$tyzs&|k^&3-x4xRqH9SAZt%!`^<-b{AZ>Ful@Hgw(!!=G&VoE z@qx$w#-;$^qmT=3_&AEmwvG0=&A@tKPann?2kS@Q{O7HMLoaRGa{HG)ff&Jd1_u84 zqo<#L01mtMUjOT(Ov}Gf3E~?mDT(+XKyv>aeqiaQj;B#rz8)4&nrzeJlX!fujcM+CcpMV6vblw1ynNjfN6 zYE$uya2N!kRVOK4$AWN%rb8C}6vbpIgRVI%&OT%C;Lw?0yieT@o)I0m)o3kPk**-Ir^`%s?VDG`B&aQ#`uS)hpbWN7k>{qEHI_mRu2jxxPnCL1?ArY5ecxlFMR>tk zw>`OysgN_~u0@is0kCtOn7I;=-TCsKudk3>s?X>6f)Jm+16Do@;BKuij!ecK;y=Bz zNwjbIvU)&wc)O6{R0DwzhZ!*s=ZUoqA&FD%(kb&Tz8zLut3Rnc5+J5DI~PoXdL$y* z?#{2d_&XTZGp@Ye=w3>ajVZJn2TL{*vL%BrEL62MXYCqbUskI2A!xj$c!eEfS;k$$ zly@-rP>@!DB2|sYjG^8E^jANIgxUkA%X#s^Ehl$pvY&PMKBsmcty`BruIpEIG&GgytR`e*Hg1ZaSJ@?>)8}#K^Gsv= z-RnQ5-`0W!L)Fbsyxb9Ld~W-uMT=G~To(ECRo}btqOV%rPqJ+*R3zVNeP38`%gIj_~$ln=xiG?B5ch# z(01IrUq0|=r7nQ>@%huNS%~dVNKaxG&HQ9by=(b#US6V>3%T@>gfAK~9W24l<{SYB zZ(C{GQG>6Hw#;obG8XQ$n#2C6tBIkj&n>^r=PGfC=@?GB%z`K2&Q3ZSgM~yk*zAvw znYnB!5OCE6+`c+*`B0+dYpkayj08M!r+ZPTRPV|d^}Z1Jp--KSyyq@woO@n=b~qM0 zZu#1BM>h&8a8`rsJ0I+x`^b)-LLPt1709q^s&%Aq zFkprXG`n)?-1fS5Ux81&Iy?nO!69F6tuF?6rRw03B;kW8m29c6lx4*W->>ujzt+wM zMyl&Nz;Awb=Izez&g?I{?834v;NXD4*!(!gaUsEKYGZ|@ZDb=mvT0SJIF{O=z$~NGM`HijX|k~wmWjR zZPnc+vspp~MeOyh`pz}@PFr8QGJGZf>c6LY4SjlTX#;@MppUtqn&E#%X}Xua-@Fe` zUpO$Cf7|-|zWvigJk1ecN~TZe`cGWc={aKEydZhkN>PV$ri{zMK{NRS#`_&&1)qt< z@#sp=aIrt9F7X)0&`q*H()lvb(J#}7;KCFnU4#y3kN@44Z@sdOHv$iRs)JDu^Miq2 z?7SROmJU}muREGroa?&o zMCNp7q)_F$RYixNj&)6Lp=SO(9{eu$yDwT9866ER?rdJP7DcFV$ZXyYn56*DW5_uO z6U21oym?Y=STtm zame-D=>A35C)!)*VSmVg<_8O*t(?Zhb?}mPOR8I2ds^a+Be}tmK`hxpP9)tP`nT67 zp1Zdltt<>@jtyk1M;U(yE^r4&$J)$Y0-ocPqAiiR=}GJW)m$!wt`ns;YZOvzK9z`N zFL5|dn=r~AITP3_du}+xeq$LeSxD*@TNA&;@9y{ov$frh^Yu?NF_8r}-qJKSCq~bd z>(pc}JDeq4@Y%a38$6dkhTl{qw^}Bzf%6!MQs27}*A~WX4}fg8zp%TvO z4Ztj*y#b|ja@FBOdw$Ex0Qaq?CA{W~D`1N=m*pJ`je7wrNv&8Ob1&dyq^A+FaCBt<@nY`)Ms)*EA^^e zd|ICUSR7e+qVZLgQthh~dtUr4fO^eD#Kxop;RTF=K_|tHBrO)3LBofM$tO2HR6M&M zXBhao)2G=lB>%;36>HT$M{M#M*eS$}pv-v?i;IG=g- z{asJ+o$k7!Km6=G9RhBLO>u`Wsh@xEZ2P>np?qKWoW=A3!A?MFgfp}FLq}1A&~o{l zg~i)}s2uA@E1O#wsbuhp;1AcigviiMBuG|1T}X80^J&p3EYqqC4kuc;6KE*(+$Web zQi)_u;5l%@GQ_cx(h{rr!H*BCKv_CaKwiqqf`om%NQg}30a6x5zI9#IG$`M(>ZS+p zkY(g)K~B2lCRo#%+AJg;t20r^$~sG^H0I5gj1<}yEMn!qefGTV|FwI~ooo+auU@L5 z*oFIMj=7ViKWt}Y+SZk57nwpOHS2^`64KR5pl?MA{QCCoV^0nkhG~_^>?%=tB-mOV z$IUpF6Ul*4LHgNjks?qcQ-~Sj$wC=be8`j}H2jbSS`0w0b_HlO#(aHE4RL#G?AGOT z5GeF2Qvi7>Yfc$+sL(sIWjYPA2vXeitxVxYd*2`U(F?9CUCQ(zD_AYAo*oi6gT~UD zP_e^Y<;qG*+?0IQiNv~u>v4j=z&eI zGJ<4394#DQy?`u6En))wti0V~c4xM0KRiFqBvrFysC1mqeSXW~U+!RO;+98tm`}iJ zW@T(vu*4OvnFx3?tJb9!)HXUPI%WF-@~z-3Cq?RGZXb4Y4@4`2cfu9{IP%>sbC%xm zfkEA{WO1=BRqXF$@R`-@au9R4CEQw$57orQKV`Fvo(}M#cNq%C5iw4Nkts=;jN)1* zjn{DpqpIY)=ZT@MhO_9tk!d{HUMi%y2N{zznGOo;ynCG0maf}ofjKc5D^;BvKNDSA z6TSHp3A1Vyr=WBu`Ady4u^)6l7JA^O_|o{4WRxMXictF2x-3(AhBGlHH0Y9`XzS%p zMFJY?b(a?77xlE*;g z7DlC@&XJ`T3lRCo^~`5k<&5&7kI5!k5a5~M?Ldexebh!vF(k3-}st2YDV%22`P`qU4!s5xJW9N>}>S|nY+Z1Noufr{Dg0`uO2X)p)LI zF4xpXx_Xi|i2=^J){UR}0K|?$L4d8=fmR%V~MJP0|(2=dDVkw@~QgH zrn%Wd?sO({!>0QZ)uGs;dqWLw+p<3y$|iE>kMb1`r>z)i?d+c0UhS22N%^PRWS)D3OL{f_yJ8S1|Sl_(3J=N5C>z5xLIXT?jRGSS=CYqCTSKrpt zaDAejYW(CXxkmq>JQqmdI`w*G@+yn1(g~oj1a#JWV}bVzc4S7jzF|56Pd%Yfr8C5r zMM1oUEnrE(0IP@tU9S*I*I`z}Bv*i`r;IWIV#CaJ_{Q_#p}mbuZcp$0e$#zlbBBBP zz54h~o1Sy3N7>64?O25kG<5Fw>_}|wS{I(v&D&)s$L>7m)Sf51ufM(CO>zRLW5b`l zx9>GPhH0%OYehB6UVe&~5t2C9oQcOORYx*B}46y;)wJaaR11QR|_#tkM z1!Zx7_yY`DU3DzwX?zw_6k8iLtXa*<_@;Hpe&KaMgO^;;>n$rMNq5soNTg z963<6{7*dUtv?ES7hqTja%v*u!9fCBQIHHFg4bAygSocI z)d331V;;?CYof9^;0Ngq%3;Zp;I{=4sEjP2`O}dQm~u1IYbjz1T2@-bB5kd>hWy>Z z3+yW(>z*xt>&|bq#s9wmgvfgexbZGS0fmXJs#@Ucm71%Nn<;i{o+TmE519FtgU3cw zxQ;1SBzxJ0Y?Z={3K&FML0hT8FbHdsc*as7{afk0vG4r;@4fZ%?iaS)`ITKeAH@|I z{s8$F$4lRNa?8fYOgo*sHqPF)^BnNnH9fz2=fjfhaC5f5|DT&~cmUwrFFnCL`&&=` z$F@B$-@ExSzMP_tuO55!bM`}Y|Mcv0?nv!7nv+jI`7*_4FJB0Kn58h@T5p{Flby%c z+<)hRz1#VY9T)=1cfPk+wawR@XgE;R0m%seir}uJc&=6v* z*tAvu!&jftTLKM8s{8WR&usnYujNw>+}a<0|9O}^uyrHfU?Laz!LQ!~Ln&{AFW|7< zdtpo~tg9Ta1(B>SwaAed(?h9Th^GrEC_DHoL4|Zkf+yGFE#Nmv2+U9Jwhg#~!mlFE z>hj6b$&>x8IdDA(-h78Wpt{@mII@2c6E(C|MPbn1{1;OxGeD}pYcw?D2ubJYqQk9B>L6ISV z_{E2xuS;GGwidhwu>@FZ(d`$pdZ*6cB%`Ai^Mb+yKR2Y(QC5h?XX5=Qcbc#yOYt-2 zPDg?oK^$7`)ZZno%}eMA%{$zJ8kVCj73+G(Fr>V%W6j2MCz$Jsx zDn-k@af~KZwACx^iWe`=ZRtuY%Q=M-dZ5G%T;AHCFf!87_6B7UtlrAhBB8g$o;dvG zDyv|Tz%|I#PRT+pgtWFw7)nwi4k|6ndM^Q#b<=`UEoB7=Y-^r)s9APsW!N8Yx@De`fGUc05V46h(fX(RzM5vv#j z{vs{jdvz8|C!o^-Lnoxl)UsCDDHmcJlt2XptYiSTprs4~Gjg*?rJV6%{46V|t55|i z{CKeci2PA%TfI_-6VVbf6&E<{z>rgfga-32OH>sD%X>6Th82@Zd6B(%6`YkL*}zts zLA*r<`PkwWxi)E<&V8EFT$^S2Xs(jzrD`c92$uCJRmCLbQ=0##z{k8r6oAtFyt3g; zG0b$pFd0%a%V?{}7lmaH7QxU;Ct%1fi}b=Ywge~4e?DUBzY&XMYSo6!t5-UKaIr=^5#MzqW>z(N zYBpq3l}DziAbgye zBbLKXgVB6o1~Pi zjZM_&3d15ex>v@jDXny)I1C2QyZ~cB1H6Jtu1LMY3IUO&Qn0blL2ivjDqyon0tbbn zSvFPzTU;rFRa=59^2xa+y~v=xiD54Rl~c5vO3@V4`GM?4L1em#JmRK_DS3BEP~m!j z5sl%~3YqJ)i}>gS>T%ef6MKN})y)lEN;asYQH(9&ae1f^v6To^3LA3tl%TNy2C4r% zq{_%#k(XP+%E~Ul)-d%X5Ug$r53x`0u?vUF%?jd`UTd)oHF?dkKb%~1 zLBD`#E4?bg_kO{6ML=O&RAKeGLGFm$T#RJ