From 74148119c4eab3cb701943974e740e25f9ab0c7a Mon Sep 17 00:00:00 2001 From: couchot Date: Thu, 12 Dec 2013 15:38:32 +0100 Subject: [PATCH 1/1] totot --- IWCMC14/convex.png | Bin 35518 -> 32224 bytes IWCMC14/convexity.tex | 7 +++++-- IWCMC14/main.tex | 4 ++-- 3 files changed, 7 insertions(+), 4 deletions(-) diff --git a/IWCMC14/convex.png b/IWCMC14/convex.png index 2279c17670fb802200b0393b0de5256f8a779b21..87e488c152a48227bd791ff39e072026c9199f03 100644 GIT binary patch literal 32224 zcmeFZ1ys~+yElq0f}%81(%k~mBGTOr3Je|64JsgALyokxlynZG^w8a*ba%&aZl3o$ z`@DO<&)MHz=j`>Z^__KG%V9C|m-%zw*Y&IG9)pz>Bp*L|{s;{X?Xk4fTNO04JI~P2 zZa;r`8$8orsVM=zpns6kc0@ya(hUAK-I{fR(V(GuL#5w}s<|a^&OGpvKe=w-i>c9; zxX<|JjnZAwP3>}1;~njmRMD{XWAjb8kAy{L)!=xNhFTG&MjURXq)Eq9UT%lhc3tBq1#rPbE2P|e7Kg+zs5ERlrnaPYns z;R?Zm0vQH@ANvppTqWLxGd_9CDnc#mO8x6UzYGMn&uT<=cXSHWC9Bg(x3+xtY!Vy7 z`K0C1&|VY`h$nxo7tCt?D*f1Tie6>{WrY=gy>R|*`B|z}1CziceMHLTmmU^j-<6p! zwp~1L-OlNZjgyLd{b|wAqS{us(**Ip7I^3DU%6KGNX)J`;*?0FA+R2?>qoMtt`_Y z^`bUrDo(b9-ganZTT9oh*-)nRhdENXq)AE7Nh>S>F7KghRld4tUBRh1=n?P;&)~xQ z)~#Eqsj1}FZa2#SRobKQO=0!i^CDU>Y`DBAG38ImmS@#G@XWQ7U~uPRl-X>?(9BHn ztT$!TqE;>AsnhcA*uH~?=Jk|6uJBalU`tLf+7ZfF^PHX)DRtf&%|`Zo zv`!m~FmLNTRx|Y-ZY%z!K?WHb1PgNdAz1cNsTPi|#R21`5+M!R8ND`7@2C@zGz;5= z>A$MsF&oA$G&FN6uK#t9vh^?v6WOIxTW@0Iy8`QaNYE^(%b|D|E*vzpkAI?I;Jb?G z|Ia;2n}*cBnuT{H&Ry5js1{uLvUHu>R97`x`MoL9x56@L@X#Y|carfstrbU3{k3ze zu{CtLC$lVq$GIO_Yq1TSWD+Q@_~ula{opRs2ll?d=PES{B5XwkCa13Er`X+z9id+V zr08U-rW#JVPjqt*(f4H&q>d+Sv%mkdYu&{Q8q!nKr9zoR;Ouddt{1Ae{_#vajpIMH zsF5w1(AoI>(D&xX)P#%oKRc>ezF$w!h~=qjY7!r?)2{o-u&@SX$zm}kwVs0Ug(&?zXrfyb!kwsj)?ZvXJ`@+lRDUeR=a z_2U$UlTRKPXlN>{%?*!Yq)t9KmhY>E*qm9&aWIJoV_`jcRLP>pzCF8^q%1QV7J_}T z+caXnGFv=>fsc$W3}@9KFS`KsNbcX8(XygIAaTlS*N|g1Tfgz(vEcdIkEX=rI9VBgQumQ! zDJ9ho)?XB3c3hfKm#hvSD_lEVXT2MD39Sc|^`a;`DAVyfuf@rcv~=}k+@1mX;#Hs7 zS2|Csn=NkcdIRoivP16g9tj7#`bF$o1?ng5cTy_8bl*km|FArHC6qh6Kk}$jc8Osx zf8iQMM(!^3ZkZ4PnTog<*rv-LXUqT7?)dlf2#K#2Mmyx%FMT=(u2sDSuUqR)bRj(f?hu>V9k!+ilBT!O%wPGemHg?#YOI~%fkU9(xZcj6 z%<@I6i4}F-oaBQGIef_s)@P0m`p8HHgetux%CRP9G!15_25U`*$Pe86cGHe)FX)!B z`gXL~vwTO|*w{9=VD0m8)bj3yqA^Kj+Jhl6@HT|6r<=(ioRKlXPuF?%^{{7SJ7-Nh z@i*vft|ISACb)XmS$S38Dz7$tJj55j#*PvhVzepRKO4|FGIrUl-G9+C4WEKO_QCV9 zIJYoN(AOl0S7a*^($eI;?iiH(OiM5(B+L&t+bQAIe>lLWzR7R16jtTF&6=-o9n{*8 zPMYE#au87@D=|ePT7QUrP=NieD;gk72(>T(7ij+&f4#mzn%V6&I z=Q{!Z^rS(bhVr*wOa`^9{ie{EovR`ZwXvJ_YL0oDEz>x)!Del1ezJJfOYnok^QvwsYl8zqfkuFUi4z1DAyVfBoGJorj4(>+4;IElGO=%Qnx_a4;~1@plQjmT1) zZ#$%?42r)?eB&!o#s-!1aN6od{tU$}`jR-aoVb!$ifvRX4PtTgWp0%EW=~wvx*`X8 z^@UHG(Li9E*FYgE?{dY|NuSTtc;J)ws5%Ksx1Pv;HZVu6@>+5=sG-JX%Fn1#KO{%7 zOgSNQZ}?sb*<1L)*=i`4Zp3;1-ZpXI_g8O|laJk(ZsAOFYnkV^Oi#E@TAc(06q}wj zTJ)bE(J^-xHn@4?BKj`gFOZEXL?lxJ*!VlKNIn0VzRVPI$WguM&!Xo%3gf~O zF0?RNBuHwIKVPmdtFW|Icc|Kx;A@lSJ6w8=6kZZ8Rf*-Ny0W~^Jt!;3iPzYyFzWsC zO`nmBy^nkUG|{01adI+05Kgy7a_}n8QEzoSr*^{@UD_?V_AK?corpU;G(PQk)_#`G zv$2~^Z2J-~{?`EQWp8;xNXlipNeS7=!HOI~8hj_>K*-Sdjj4Dku(@kEF!MQsVQ(9Yw*Yb>m^4<;*oy~ zPmz^Sm`3a&Yxu<&*=p_H(16V&gnLnC@2?3~p55~ytyYDc+ORa1SMEz237rRqf$AI2 zjyO?iec_Rjn%(oM_j`|?*Y2;9VkA(Kol&N>FKHME^>jDQax4`1&U1+Af`JG;f4dAO=>#$Av)TY}v4t!>19}LD^WH9Z6nNr4 zSwnDpUZ+i|b&{x<%%4)ssp$-I_>TXQo<*^(d#ekZ&j;`lm%8i>_f|FiE;Y?g7<2T% z`{Bg;xGsT&@0XeTQno>>Q$oCJ;pp}3csdoS?YWDVsmT7~ch<3n=_zM}sA~kN9hBXJhTsmiL@1ew?#0*-wPAo1!g8a!z&}%&{N%aW#9p^baad%F9$3U;a=mK(kX2>904jG}zfbZ9N;Q&h|25Tqsi zt#$+bU#RQ?+jAZ1ceRbvKH_HP zxJ2j9umps4%chysr933+vVX^*%J>%UlHNo;k_r_ z3A6Jo#OQLgpKjPzXIs#7%a&CHxegxD zh3DIOE)2~2ry|U2h!MWg=kTM!)vToCgy|5}#e4o-4G}?`qtV%{E|p%ZbJLPFJ5&p^ z@m`}<@3H>D90JSzNHQ=d=K3ToRk#Gj?7^~$u<_nMTNLw!pZQlueB1seI}nPRy)<2! zHI&T)@rpg(|0>!#vW^iVd7*xza#&n#=>vV; zx?Ca|rBVBor%CwP4GOVGDWz88+0%6oa;tlfw)7lUS~Df-;;XqYE~NQa@DDBv@a36?p++_;6h>to5-!ihj`aPAg^SRj>sd`hoWt`$hQPzYzncZ8eH#T9l zQqgO>Xun{%nAs&)P5xy|fV9w8fFrGO81W44HK%y;g^!_0Kz7f8)}>vN`{?sKlYHu0 z^(!SlBXNlW7Yd$Rjs339Yv;aS89GC)Fp{e0epempX_a>qELWkt%>CO%h`sE0ek!`( z_Pr`EJR(2%j<>^Id$cmd)ond-lG|2qNAi9CslCJGO56iE^RaiLZCC;dm!aNHppD;s zp3fwk4(Ukb_4FwBwXW)pzs4!=;Z196^w2BQj9foUBXyMamBk)7dMw*VKw6#c{3&c% z<_yJk&cf_^SV>zXbF{58*{i4Q@DHN(34?6S3iP`6rLrA#MG5!@Kt5EUBMvsR-{UK^!-jEN6Nn3m1uXfm11FvK4*SH zpsop1V$c3jcPy(|Jmz}jkal8wdn=Qvz2cn}7xI5kMe`y*$IeU+T%D}VS)x@49}gvDQb+pjo%Kq&`qv;2UjA6~lc z+`gr_$-<0reKpjQOLMtEY3v&*<#u?3MDi%Z0wHgMt2NgvZOit1SvL&v?k<~cv8^Ff z$I5P%Piqg`g`zgOhUxof+mPVM=YPGv)+M(~K3VIj9w_=}jpPw8VT}cZOVV-6_dX%k z%>|fiWf~Xj?FEKJ^~A5s{=1@rD>klHq4CjDsZia}9a39Uavxjezwzf~ydX==;=b;Y zW81M^A3|O$%i+0`kgZOAaQiV9;VHb0by+`ZIWoXvF6mis2(9O!%LhSU7PqBo2)r_< zy^L`N2{Zdv~?4wYe+kukG$thOhSZR zlfRuQt^V~%n!VEodt~m0#OVyZK!(o~-3KMK_(w72(HK8(p}n5WEbm*hED;V1Mq0j~+;wdL*+LyP`KE9O5P1Kz-tBk1SEDCGyk5T4H^Y*S#kt$Kjt&AdD=J;uxRt|va(C>$2Aa?C_<3@!}ZVcbHibCLy9X|tDB^Z?w^vfn96?*$}+`P z*cwom!|3kE%t^E1Ep2Vv9%gp8(0(FXd_{Q8QhW8JSJWI=TXf0=@4SgKdOra5HVDY5 zS^YtX;hA(;HEKG5oG^!^W*t4kV{ACSpk{aX@Mz2wtDaY6da$!9!tN;`u$0;uzUoxx zdU7ll>QUSf#PM2yXbYE%>rTZTw2ylY7wUw5LqgMo4VNuOA|%B6!!pYA##EWzT)3yh zoBwH&cFn_e!F0h(n4V%&9gA6Y-~0jEN8iUOevY`S5ls}-0`ZDd!5a+L$2!1qbJ^!MGj-D z3kX-E9zA8dL*366zGh3aNnHH?!CB~#YY!3G&f>SoUpCH?9P*N%>LdJQ5hbyn=Sk~_1~Sb z3;W+OyG|}UPDE{aop3fO-$?7%ozXC1e^14xlawc;h!m-6t*aZ*%)b#d|4*@k7RIo= zj73$CsZ(>^=GfXO#WmL|>&2+8uQgm$v@@BmWHmPFM^Hkh+0K!IP42@A`v*+Vgl@>{ zRvqTD0uGDQDXfPrZ zK@Pd>`&Vrr4|?gu(Y0Cp(edv8_*8ZlUes1C`?I199$SJ5S4N+#LUGTBq*V z^RJnEO!a?^+`S|NZClecp3DyTzB_ht=@jxN9$0hQ*|y;f$iY%^nHxlqK6vn;743SC z-g#qGopbzoI)z`2tIF93TF-EywkmSj`r{WgG}`%@k|x6B?GX$)Nr^GLiust*2MUKw z5Ub+1xIhH_E4swg545g}xsZcFpI<)^ONH4h4VcC*y%x}|3B&4CWR4)|bKRF@!V9aT z@5vO$!guSHUEW-gR6Q|}XI`f>qayeSFs(xJWGZ>@qWKM8n#`FOYIbq_V1-MU7IXD) z#%efqG**9Q@R>|P7cQ5Zyw#d|H`zSPvJ0dkruwh!{(mC~$r=p!9e9UeX9$r}8y|_W zHV0R*L)RrLA^CDmH8#mbf8zdsj4|E|&`a2a|mf0$GUv5p_`iK?U zefNdCK@0tR3IIXJ0k@um=OREFf|efsfB)F<0I{v=b3TB!RY8)z*ll%#S{@+h-1${` zAoG*=zIm>O73a`}Glh~i`!u+SC`--41YG3R0(=*$wMi_l!0d6qLI>5Im$!c}{3k*T zwX*D|l$L#QWM}5@Fei2cP~a|-v`Zh71bTv%ac$p_~^>BtE(fb!|gBiQt}UoN)u7s zZp*8|5(4}G@npNFuLmakh%@v_X#C~@BWA03V5`>n)Hth_&GU<`OU$@cK! zLpRC5UPHI5vwWQWO>G`Had3F}%u(+w?GTKK;+&TrR7Je?>L{kee14nh0cOA41SceJ z-x;$%N|dBp$%p+lmv{h$Wx#vAj&Fs$ueoe(1Ez&jMQ0wW;2*KS7O=U`NZyy8UhRr_ zWc|a*i%PdTTUN^;nv~U82!t$@3 zbMwr*SMR@^*0HAq7{&ZT+akmTEr&)JA-ylXBhL(2=udkev|yfu&s4tqJs|WjU!POFB&Qs zfGT;Yr7#Kr*pYRXYwGH~`)iLs`rZsw{!{e&FTEPYc_djZ;7=ro>mkaAU5eJp|mP zTcoYXBe)Om+dhfyr1s}oTyBBnk%qdCFQl$r{u*FkTmJoi|DF0iH_JKQbquYmJklq| zwcOJ2+?^j;Sbvqn^|~D>Ct*qtvz*=6b6@`Th{Ost_l;u{pX(1r&8z<^728LKmLCH2vI<9l0X?yDDz-04L0yjHZH-ey)?Qy?SGPrWC87-XfYbp$>w-3Dud9t!J zOBwzV@^oGzM4n(`dR?CGSzXhQ z9(?b4LY)5W&g1n|DDO|c67YoN9dLV}?&E#0xm#1SIv3%vy8aLrgh;Vc zMw8X`>)SE8xw$@w!_4M%xqE(`c$l4P?DVS9v=6eW7t{%x2Tz{wV$$3k=pg@(BJv*x zvk2ik+)??^xp?#$es@!H;_qGBBc4596>4h~0cc5C9rp3wNW-xQ?!@VAH}%70fOBJk zjx)Gazc$q{v|i?Wdwb=kJ?j(YX6J_% z>jlXKEIPwgHo5`=0>-W_QSoesvp?Q9D+-^rjFWO?g%k67xVd?qujRIF2T^Rz!t3At z`dnOGeDfXL>x@&Me>*xXQtCNUE|N?LIxlQJ&VKV#zGY_8DW(c~9IjTVaZ|HP>r7VL z85U?14XT)aePusC-x_K)R-6*gIW%4CNGF%5RIFE95euVccix%=>b}T=flKx)h_QlN?OI&+vL)KpUH2P=BKJ)>J?t!;d= z1ec|PNk<4;S#7u4x6F!_P#nAOX9KN z_da(5i^Qs5N3AZ*&tK-OIWi$fJ~c7twj6dl-kjK+ zC@(QY%+}a1(8_-$thdT{J>Jw_yZ(F+W3tkU03W}~dV*6MGLo;FtDGs(w*9qHP*Cs@ z0jt;6WaUeoq{Za(?fMrwif`0)fyBse;RB7Gzr4U0i2N zz!nu7z`ug~h53O^XDZD%MEJCAN8jooisLYrK+36qS6ds(jf@pnjg(iJrj!5bL?;UO zI9eYoA%Ff{2P{XW)!5f<>{`>FuPQy)mj{YS-;wX?F=tv(+ojI91XlgYY*_;16V|w_ zYZ#YVqxXeN1PPzXmR61&k*==pgyBMai)ZhPM_B^fo(sK zygpJ;Z8@?&Wrvt4gUALxAq|@;8IGx=qtPc5^hN0%C-~>)DyGTUBs42(bhK^juS*xl z#n1~28#JANy7M3ekI8hC3@&Lw%_Zb@s-*D~k4Xdb;lrrT;-NM0yF)e=)@0Yy!)P>% z^&D_zxMPF0H9&+HYmn6#NyL?-TWuQ=5mEL+!*LL_mM7TIbkRFF`jV!7sos+n7MyqU zaffmhccyF0tuL38?6PoqK*w5*7Pf7_vwZdHRd*7v;wV{~FUtKIbv2SaoFh*x4d*29 zGBMqJlG7b2f--;qo&w|h_2r6)%INj!0@eh#<8pU2xpYxNjO=}yiJ9>kxyPWe!990i zU(dol#Y1qT-%${Qb9$^3`uAzp`o~G-go2+rIJCC3NZpE!3oZ;Z~uVkLL{5 zEaSDAJVaex?7ss$sB)F1m(1rVG5_vQQ^3-zmoB`jJ0%E|i9ee`LsW?U?r%{( z-0+$Flh&3ejc?0PgnSN*pzxX0zf*JTGo}}cn|Q`Cs{5S&32X}|?&6q)d%7CCazQAm zs3gM(ORdIO`F@+UL66|EZWF8+M)}Wg>ZguvsJyfu##vfgibE?mUTzjyxc`7Is&yVf zCXS&N)SAP2U2VeX%}zjjYb!Ehyw15`cu&;tzVq53r1{HZfC1Ar_L=AY;LI>GT_H`F z#kr+MUtU<7mQ@cJvbnjD5$B&DZzWDWq zEP>6i(RF9m(D%w&Nh#`Fl_>h|FDl81L=97@D2smG@aU+yW{tjy()U4}UTVGFlKkXq^7Q+iSrO2F0$HNYnhmekLYgJGw=V0u5~!Oj2bRgFv>Bld+! z6#%d_=7PqHZ2_VHs8TnLh`6L=K?zTGc4Q7MC$ifKh@ghBHeJ)8R6zNg2fyYKBeq;kut6 z<|iuyB92xMV#ePXDHsEL2R@E~)Vb+R5Zom=?}B>=yr7=``j)XPPwo8td=~3;gF6>! zYx%D)qwTqECe^MMbHX$keOg2CuCA^i@_Kbn7U0@@)V-azXaiv+o@KPrXKSEFe0+TN zSL&QM7&VKTSJceS^U&cAwC~@zM1{%Tj(Hm*9*U2=%dGxpKE2zdE1o50(06m3BN!o@ zz{>4nruw^}r12c^@=fa=#1DrsX%rL;&yd>TqUzjBtTQm69* z+P~G%h_|!f+ti8rfn{_9gthNlyXw1iu}@?!ac+GkvN;dE=^A(tJB3rb>+i zl`j%G9m*4tmRU&0 zY_vV{ZNcns$QVw@oftl@8}qf9tTDx9fLEbbBOzwCwyaF=GmrO# zKygzuiECeUa+U(3T8}R^ZtpbeYHv3Ku-Uey`yJ4RTpNvVC%Oxeromff2C+x*yEy=( zlKQ*YrIBjX>UN7A(ZL&T4ERuci1#IsHXTN-H8ZlL`47Rgm{Wv?%$jqjH;K2ztS^<< zcDly%q}aYb!4gz5k&s8lqR0`IU~4ErLiUf?rj4-@5GWJZyXI3rNM+{oIN4@liUNW{ zMxLDC$vj^r8;HzYP@6>ct_)OGj7L4^AT<(y`?ljw{-?73G(mT8TM3}0G(nFi@!EX} z2!M_1h6kG{m8CCdMpYqxDDG%l(^{p4NZaUJt_waZK_Cd!ro%282K z;mk>}QyguKCFpRx`-yhM&BZqkP?>fC>OsE%WXG&P3{q}jU;sPp3Ar#cQ!8MZ9vGM8 zqd?|dP#21ce2zJxp`pW}S$257i&-x*NnU+8+h2O}iOag0BM1gvN zhC>cAPoAEuwY|MBRY-R*wU7V~hcDSrltCaR$cAiTQJ&7;N0^wgpUtO>bAp&3j1_9f zfJy++43dBN+hFVkz@c2GVdtvaaDK@(+Lix>MQL+uO_eTH1%0*H(?-mx6+V_rcMdc?B{T|v;Q7f88(xD65(=f32!BpP7gs1g9K#5N z(%N8lXm~ici=yhgmY`=R+cPmVL4|ya4Nz3qx+M@z!FJK~=m~dWqb%i;5hU)1tI9-^ z;HFioZS@)EIXSv&sYjHqs54{Tq{&op!e@qXqbyl7qx_wK!l^>9vYlbfjQLET{Wc{G zQtWZIpAF#d_MG=g%3>B+f=;i^r6u(e19(po@7Q;BS(OrNHA5Sy5JYDs)@^@Ly4rTe zP^lz@DpmkvM`7vvkYhHQ-Zw%)fZ>Hw_?2Kc&bLWmeupAVF zK=%?UJ2_QQhiMe)AQfUoXk;1CUFBbboqOHc0$7TA?7JVdj1V6`$H%NS7>ADEb(>jR zCcaB${$^XWYCik{+H+XAtHwl$^V8Nuc`hK%T!oZ%z%d^_{MhUS{)@0amw^hVh<~Uu zv^1@3cuf4#JnE9+PILtYQtVMsw^rM>X{QvVD~2vI_IAFT^o}nV(1wia-+@TerRCy# z5k7^)jW#X;E`t-NYXMk}E7ZkKnU#rmqMNHE!w!^DZbO%0WT#?#va$gB!F?0}1w_f# z))su63;|d`QRIr6K_(;vb5!ki%=nM@VgR*FTsw?m?htPp?hk-tp-!@~^c?Q{Ca@-x zd~2O*St;(J4!N?Y(fstPB_2zeYGQmPCViyBUO=@0s|7>|i`I{y<3jR8d^XfgvI+^8 ztgV#5X{gNK$Ytw^GO$jarQ?8vzg2N5 z5GCv($UO$XuK?KOEL0vr6k*fVPr9NlO(@^ zulgMv8A6&cbN>Ln3KT53zfAula-Y-pzkhz>WC9H{St0y_lI99nSeYg!6QJA9fYN~M zNM%GxMW6oRgawCBw8qBd%fvUzG_Cfg3Na1nF{a|WOh|&w))e_h?b*L*dqyw&_UKbw zT-+vubRDUH%OzmlrM#G15)u-}YeVgewn2&fIUIJxvfTHou%~j^bVGLvV}YN;y@Jx@&`trfePb$ z)~At~8U6XqLhW+uU$U+AdNm&qK3CA$_3jF(6-b8X-h69R)Kj7^fIo5mM?V(d5jPqWNK8vQe1AK%M8$uF2h4RAOXDgWZiirJ=Z4m36h_`0sAS!j&t7#)B+ zyUw_QsM6+mLdgDeob)nXc((g+e@S+NrYzpU-X5e>FkZXVO=@i^K*|cyMLNT>A$)-N!r#t?$Fb1aI-(+_jZ;A z=Atv6r5=bqkR=gU+vVT*UOrriGmRB9H%8}x7Qkm%q;rfUy)B_|gAnz$O6$Nri zdJ70|t|BavuIFM3*&sa9S0LxR#AfSG$YR~_LEk7#lG~mNFg7v*^^7oTeWa+U=p2e$ z2W&PIdUajY5(?ni8!@qw0%^H`Vg3oxU%!48=~l;EoDOEo-gGgr9cJB$8TVabe)4;$ z0c;fYy7WL-0$ZA#H28#@!)uvaYIYh77z?0dI#smcMw5#`0~rtJDVKGb=&fT^@TVvo z$9A{w=azb&WOz5gq!p+cK9|WxkO?t%y@gf8Gi!hI!Iub^$H&J9EzVmc8%)5g^EN~k(1wY8}bFb z(xO-(i(t?m{RPlPRb-#VPo_aJm;tI^4(W;q$W~!JF*rA82)C)Q&=;npmgpd=aN9G| z)YO!gEi1fn-}4CtvUg*>!N|VcW~wT`z(kdTL8CVvG_u|Jj|`x1WSWwi%4F0;$m#xw zHP!hyfiPl1tvIX}q&FZu%Dz_V1F9t@B?WBJS1z+&P~86h{&{^MeUY9QI+hDc7642Y zUDjXkY9}e#4it+lrQ9WbA5g!Wo155(;a|9C=jR4+4|U6c^AQ7?rjuKVql;Gbtx0icu-KL(eF5b zbOy*h0?r@++jX?`GA3UZJC3@wWyk2^RQgfuqtnSN0}MPy>J8)kH9CdlRlp>hl6-S= zt74~v?tI1AEBfjn%F-y-WAI}%Y-~`w1iq}x3G$}e_F}J{JiDx*T2oJzNU|45CEOm2g(5Z?>yoNcAs7f?>z&IgUdL6~leoEe-3nfhIpgQk|ZF9b0W&lJ1 z1RZ6M)Yka%?pJdl)?9EJKZy8cr4SzyR$t}F4+lB)+{Sb<^e&^+7Lu0M#bn2jhJ-J zM+JP9vfa2B=ElaVg<7QpnUV?2+WR1m1o)Z2pdBHu{q}2T0jJ6{TE*1M39~es8Ttbt z>6}4@isq9K^hHy(1ALKRYSgx5_t+A!1Q9gNumt!}cV3*|2T(bHy>HxMegkC<*e*~@ z-awj2^LE;g7wPiyWki643TX_A8ki>#x3L#(WQvK2;UI3a>DM^{xhUd`YUtJi%prZ* z#Ek>@{NCMy-M@5bF*j3=FU20=|idN{EZwOxGwM$ExjskNIn(bxjWgaaSb+UOeM>iBOGv+(&HCN-*<|3Gcv%lm@ROvRM8ETd!GjsE8} z1})k7RZ0G@xX_xzWpf-T)6Pc64p=Ag8w*hjF*^Jf#qqqQMPg=_#+ zG*`c?%x+U1_pb_n>!udh3u$c%z<`X57ih9+E4#b7NsY)htQ9figP4}J{Tn*mIh(qH z{ABl!Sfy82nZXsRiQjoWPg^NI%)r2)-gU=z;9J0rP{$575vMncJ)g}xPgPjyP07ZU zA=RsQDMFtKdlij9AY#$A-{cz>uqs;s^HJssbfwtNWM!9{fx3((h|h|2Ds>P(a1U}? zn0I!K>)PNF@Typ3f>ENd`6LY>J)u$5aYA;p4eQ|(CV!M0z1$}#SE36Ftbpx+*nI`b z;7?#>)etQu8P2Y*bD-FvA8cYCqNCTk?xb4iZ&U4=1CfZh+?NGvtx@I$G01orvc;~( zKc%ImVNO&ON5*@wV&npZsIRG!YAez%&nYBk)2m6R?l$62VWp&;2Wa}&d__@}mXlNE z(dR-!$XEyJyGnKlwKKybPZ(L%n%XV_>14HH&AuFBEy zx2Je`*#-sF7=_H*WgY!tGrxwTy6J*7_zmk_Y-s+Za$s|B&mrcD^#zEAds76$!Ru~Z z?9#*Xa>V$!)`Y5|*Iw)BU55tbx-w<#rYMmykX4IW^&rE;6`N4a zIr^5qi97KO8zmFZ%-{6Dg?C$|Qlzk8cGa^tWi%(yP&Vye(v12sAuHfemJd@_BzNfX?Ucomr9e8k_z2uo^>ij`%^4H zqm(n=+=DeyGk?{1r-EIqWjRw<=|2fdnr=3zcWw>=Sb+0d=JWMhZrY+#3|<*CRrri{ z<{4O3pfuTJOjWRFOQD<;fiteab%W#_C|$du9Qm8sPPmFp*vwFDG_nQ=mzxxcN-=i` z`MKuxr`urG8T%ErQG(zX5FqDscxxF5VC}ZUJz|hd>lUfxxi@S9Pb0`k5%LlO~#+QCLWS ze?Kn}rkW!c-M)SznD`WZBiNND{_V#6JoGffR{DUGp61W8jdY0=kRE~{hD|=aPB8R= z347O(*deY_^>3TO7!V|s9D9!WAh6}N6;XY=?_ZdYea)D04CYo2azHMs;8TO*i;~vq z6bBi7_&72aio>|Z%ig(ua=NzweVEPInHD@p&rCEXMLHasmSzYn3@GJ&Ky}|ms{mhM zKL*2K#sXYeO7?!z=!pv9G=Ksy0lvP8Um}#}KE|}ppC4_2*m(rd+>!nV92$42d2v8w zAhR0>89mJ(lnUVC!@WHYfZzc7xq+@=RQ~2)TU%S`2SGCZk}7*QKV}6EbgPKW7;pB{ zCS(brm))3~c1}%@rptzRqzIgVcyah*K>FSDS0B;~6XjRu3ALXHyYIjKUMolj;=uFe z{6aBscnoK(5!(e2qc`BS%;T5bCif^0inAOmUAp{Q1m>g^ET?Nql|2(=RLH%&y&=WW zGp*%Zpp+QU3qXghM3M@Oj>Bb%h~C_E!z(aGT^-8p0|SUg0JIbGC={w}2TZ_)=D^*6 zJ_6aoaGpwbC(t4gqPY@75r!vajZkx4U{Y_UYB@(PzjXOty^@lS<>*X>Di!$LXXoVP z-1|;=loW*O0dzH7pjq;mn5V*gU>?MuYN0o?F&ZhG$qJrjp2-@jWz;OwxJOI#$6!1@J|4;;`Hewm&`GaTWo-c_^?c20wj=RU-;ni;i|=B_f!U>*pwH02{&JTA_GO8gtCsC$tcCOwKE7k>_ta#jWy;cSW8=VO;Ud%& zj)QQ8g5^~xNk~b-xQ3A!@)3BQgv9NYm6eSRt2b==Qp+(5TVTh)q;wX@K#)+-49NT@ zwv%)VhSEua?qKM!w)PoFJ852|c0`a{oO__npT%gSkDe_^il?oH-f-&zJV z}jDsS>I1LWf99iK# zrU=1QHnofi>OV|Hm|e|YtZvlL`8}ALne_BVeVCrTa-A}T&0&(e~~#211yz-W88zrTNMOfs{gvQoJXIL1$U2r!HRd|C!F3#I3X_|h0_RB8J`X~ z3*L*ZtFGq7zTGkhT;tZ}W)wNdaJ+VAg#hMAO#v-GFMLvW8!ug9WO(@JVhm~4J68Z^ zm`qD6D-Y@kpFO)Zmz|sY;8T}tR+!-}tgj5bykpJHcb?zAkFg*pD~q9W6)H5j^6>Pi z^y(G8RH8D-Qx+?Yp8aCvlH;oJT0f5L?dW)&!^Ft=CNt_$b5oPl=nGw^C}uV~y0LHK z7(wqE{jN01%F8J(z(RnNLHmHM?%uzT?Hbe_(H&&q*A=MH^dif=l>hvpP{8NAb!RYt&3-a=ACLa6zq|3N%WM3#J?j}<{<}{0Y@j<^g zt+aeQA`JhJ&c6Gf>i&;AvRC#V=UAa^CCScAWi^l$>1awSTlP%n;Hs06Ee(<+R74V$ zIz~i9r8=n)E+fkQJlFSr+<(A*{nVqn_&A@}`}KOR*E_kl=i&m^S|@jCQ)u$%&Yc5o zp3HV|@mf?@S>LGVylYnmh0=XV-JRUly_G|uLwQCZ^cSwoix__V}P_|fBdt0DzyY3a7MHaw8wnTb9JQ&X{G#|lqdTifyVzG{do zNes$)p%%)xEhrnWT1I2?Tdes_09E(Pd^ zF4?z{+J57PT21vGh__2iOTt~M?Ym>xyW$0<5K8j$+Fci|wRv+@Wo3f*K4)i(B6GI3 zxg9n(g`Zj9z*QzRz;s-ocl$yMpqi8N0ca8v*)k17PjY$|H12#1$?bmBpD-aIA%T|G zn@~wl=h$v1L!R-*J!$D=LjAK29`-)9!FMn^~2CQFO0 zLKp>9_xZ7DSUVcB2fVD{P0t@cUc)zzKY^jWckkZo*RR8>SM;qt@8-35HtV|J^CWsS79n(x{**%HSN zh-&`+LF95>QWCq{v*XSwKlZt~*-^Jsnt>;QxnMz(SjUYaSSu~TTX}Y;cC_40j35&3- zj*JGM>^3^ML)6NmMG_wfsiLxSkh`yi>WpLw&6Edwx4*xCV`F3MptY4%X8O9k z{QMeNq*)7Y`vleRuyP%8t_LBSu;GePW{UTv}=>ygsg_j8n<;nQ^Mu z$G|EBo5ek-#t6!&*gM3dJmQKnDU=q%kN(Pca9wEfcKTI*D;)UP7DMdS>FE$Y#igXO za=Aq}5=>M82aCZvwfvfmtEWnQpJjjue*CLwC?_c);qwvEn@=4S1(g6a!SbVNssb%1 zoT?Z7l1vrbqT4h1vsHq*c(iX#gVX?5EdTuzZsT5RIkAiIwYs*}W#2yQXrIzI{rv~W zQc_a73QR^@TjkZ&FHF&!*y#h$pFan;q2#AJNF_#|pO)6(yrp!$2 z#@4C#j|}fe8dw9P(YKzLzQUwD4zHLjhGR_K`TqTT@fdzv4E^}2*4oyN;8UkQ7&;Lj zYgzaV-SM>sEY@njq~XD}?_we$+|SQ%{PX9Zqs?;4p|D;fte=lDMfG?2OvAx?`|>5j z)*bI?2OFECcgHO=FEF1eVU^%l-RGZm#g-9T*sks=zGRShV2B8uT<;Kl+Dk>`b zYy3Fd+K?}bjEro^pL_n|MZ=r4dd5M5oiZ&}9{5~CH|NU5o*(Q-a`@E}qLl$@MKAXpR|g;(&;$_imi#XG-sPMopp>bQDZ zoV%Y1$&!p(6VT*{|37cS#0$%CeQFrrNo<^r4|GWn{FhfB5sY-qHSz zFYiNXB)ss=X(@4-`!4chSuT17k(JV0w_qfTh>LT0#R^)!;$@xQBdk77%+AgxTst{b z%Q@kLOaQG0Y1DBA8~2&0^ycPOz#OT`*5M9@m{w|=H75KlUE&j+&S4bOV~Ch9qqSYj zy6oiGNDoV$Uz$Da;W2`|kJ_+^(CNt4c4(xxK#$2%P`zGw;|5oXypE3GrL`v%_4Hg^=2ovAc&R#*`Wl41=#zrH ze8<%C1vwsddljmuO&Mrd*8R_c1+$LuvhpCUqKk&`I&V30^r&_ud2~$sWmgyFGoSR9 z!m_fb>ShTI=3O7>DLyMlKb)2e6ut|1Zqd*jI@>-nl5eP8NSXcp?@=M4ESw@xyb|Q zi-_ZSd3lXTQhoLH^;10;T&ulfFnVjutgI66-P>d@T*{XI3{9)U)0G@2o)lbJMsVkZ z00jH$COrps0i8~o%TG4d<(1H38H#L;=LF@b!&E>|Dv7ayI>^b}>k%1g zWZcu;{XyHtC+6R-*RPWciR;Ns)k>*4|@LGjGRKqzRhD)%T#2|tQlzCm@qCSeADD0XL8>NFJ7!GXOw$O@Em=NtZnbrH zmkJ65VIc`W7pWzbi%42V{ac~uH0vW zz$S1=dV2b$OQLhXG1O@Bpp6#HQNQOnV*_B9mY0_Y|B1bLH8nYzzHtosbh3bW5ay(a zhzQvsCnx91l`F-?#lb&^x$iWE&icDDiJwVKOst-x*>}X?S>uW==g;RASGj3NZM{H$ zXyA6fBsOg9y|9Ey)Ha=xs;U!kTzz~#z|{Capg2oP3abJAngrAN8%`jV>)|1@kZrzm zCvRn9YvE+66?FtIfI!Rp=ct+O|HNK36@(E>yk+8XyF7MbYV`iGK|y6;k!Kx0Xtv|F z>q|4UvV_z`t(4WdcQvnRl{YfVzhyugZTf>_q5XDcWhLnJX@IiXnVDn9j#a$-%4kgB z)ymfl898|L^l3L_hMSt20BAf@(-e^RhE<1sy0y&Ac6N4>Rb`|VOLXGdw-nQJ~B?W&ZTbzJYOdfcg#Pn zT*f5o0MKYBiyC=KE8!C=%qF;FEiJ;qhK-GFTuC>0r=MSGW@ZoiyQmsXG*WAv> zO%}Vih0ou@-UHeL%=1J}D~T_4^PaUN%H6xV3(Wi?E_?Ty|0G7byScT}6wDrbP-YK! zJqlA&RZUspXo(L>$g@fFHgD+Z>(kr3d9$7#@|miw%FEVi95aLknQXt*OJ0<_XEy2S z$(ls*uwN`6X^xijT!pa*GzcMHaa2G+Sc}0<9OAmVx?blQ#1*st`TF^D!ch#wkgy&u zR@MYmn^%2cOtDAcjhi=r{`^Vw%-wW!Gtw-0?4r5iDVm-mTlZ#QpyXQN07CFLDl0Ek5t+qg1!Lp#UOzckZC;Io6ynjLoDNzLEF^8?=H>>| z#FFJ=FF5|?yu4f2t~~=6vtsGB_hL6-#Mh~et&7yOv^WJ|hnR<^{UHmJGCCaFfRiG+?()9!<8fh(p)8Jd2?n7a$Q)3GZ1EfBwc{MZxfSb&8jNCUOV*bDVv1H@7^urG@_fVlQTY0 z?ak!k7!tC@P2Z=LrRKGIQ`~NCj-?D2j+H-uv{QhnXs%jG5acpaQ-gwo6>lq%Bb~AN zvd6_`5r2u?KcCCLc(*g{`yyWt!IIrVJBrs{H&P}fEaYI& zSYlO`hQY#`y*frlG8wDzTrqOd^}&#avv|}#eQ7?RMUVl1z9s~U0 z!-tUBVT;GSOmKVN*%>3HEY(S4_8Wy!`t<43A`;lm@ngrv>;r||xOn6LefALfEg^sD zQ3@ARLtWBD`|6_3RY_A0d}5IUya>mUN#R^GmS?Rz(Cgs_v@Q6{YmR6}|;ye9ci z*KgdA6c_hyA9)mhIb14}i{`AXtUNv~L?uHe^UO4{a&>iu=lIdk$?8*V zK>6)n_$mXpz2Jst{rEfr!~k2ESA<+p5RE8-%DQYnx2v^Jb`YHlKej5rDll2a?#D2r zD~NF@BhOIUjQy9v!NH>7Us9FTrmy6?-f%pA3b)hm&>=+T(l;09(ubVSqwlW$NBr06 zDzOo34LH~K-+mu9FlgxObE)|&+%?BUaF4S_%=J}yJQ%YlY?+yv(b3f< zo~DQ+2B)N?#HcC6+S08~MZ;H{0Cs9`Z||7Jz(R&GVH)cx+#ccXT2V}lYEe~H<>uzj z?CQ)?%&r<6^Twl7eVv`1o7M{Rv8*glH7_qMwQK?ea&vcIn0S*W6oJU?bOz0ymQcHG zGbZ2$@&kmg#D#_9&6VW0ydf$nC6KsDE#P+wQciPCPXSj%)!l+2Wg18RmfjXpU08VD zdEH|2;-}WuR#oTnLYu5d&EF2T#ImAYqIs@w{#JOVdJ*SAWgn1*3>LgbnYfs&ypJDO zuVpy4M4xVrkGHi}IwZ2`)-#Pfi~`bY1IH<3*5*TCjp+~9Wfl1l2`@RW`v0a1E!i2ks@;k#aCe161RFjsDk}1HDDfj!PS!O;_RcZ8nIU87Eegq?w5$xL+VZ8gThewQw%zE&6%|f6VrUd+Fn7D{?Cllh zPObCp=zbWiu3|A@nqyI3l8fywOy!1)b~|>Im6c76JU}a8*m}Jx)HN*ec(l5@%?3Ps zwpa6tmy0VBEZvvA7Yz&zL8YW}INP6$j>>(pv$p<<524gCGcyyrV}S(WOjmbo zS5@r-nD~1HD>QgrXq5msLITI~*FB(KxzZ`KYRyVl4i;^+_wpQ27&Vj=@w+m;lbLb<&yBY^erJuJWo zC|D7`;XjJ5C(TPfcBef3_s9f-SRHE-o;8;}zplHludQHw=h-bjGl>$Cme<$%tmpv2 zWCG8>y$%&iev{sC%Pnl?P|x5j`3X%we7Ma{y{V>V1`pzxN!h5Vs7U4ypQE2znmHtX zySiEn-EOklNA3I#)16@}i+A$!q_<9@6YBcEtOsO9yMwGQA}Gk{=k>Ng`%MZW8EAK? zDpeH~(hM!MiRw)1gPe>Rt}Xd(sD1|1fW#Wmho1|) z+Q$I&RqH8|hozX+w&zejFJIc@abnS~APLS?hvK)uF|_sdlg2Fv3fZ++ywmU2)X<8+ z#7TWPGjfH$&23G!P`}t45&o9@gJ%b0Ip)TBK%1eVA^G();uGh3F`>uJl$6TG$NlK$ zSP?3&jJozVJK<{K6=r5;de|$LXzmzKFR#}!O9$NDxz#xq(q74bC6bg?7UFYp3cj3j0m-X8IHWpHRn z^0=89;sDvVZ)+ZT14{y=nyn>Xv*PAWg>J8hA=o0I6u$ z3Gr7U@I4Un9H;aku7OXd)16#<-X$aNYF1WUc9LY?)vHlR@4^fC0ei^c4+G_(v1#-b z<>W{*n6-)vrXf@{7_4;7Vl`~^6)|^;c}w6u+4O64#{&NO3Gw{F4ur6X$f?8lT7bI; zN=#3k(%zaT-@=0STXdjP<1MX*7J)Utz@Q*`lYNH{AGT=e4WA2u?gVETaQK65hpG`> z27J6GB+ChVv}-JMpsXAST=whLsp7-Y0Dr-3g9n;_0hA`EqMsoTsY~MC629{8VdyN< z7T6YRd-{}erd7p_cT^`}Jp1xx>+Rdgy+@!8_(T+ObeoPhF|7RW{k+U#q7tG7RdTzF zmXNmqz|wB?P9~00Mjh`1iH-fZckdn}Ug7S(W7nNB4wMmAb0_x~fw&(ug)+L|d5xkA zMw+tNpzb9r`<*+BhM*mC{o2l@)x+wc8M&%YdWH8${tY7e7aO0$F`Pw5KYxox|DvL` z&UHgb0OY5v+hJ!%AIi#aF=W)e%C0yzUc8`>XFXbFgzqBRu+gJY58|e}I&Xi$C6PLQ zQM~g4<4F0WMpKKzy;w@Qz5kB9vT|bh9=sjs0$+J(0%T#F);Dk7RR8OcM2;g3;dB#@ zp9v0D2{XwdsH%b!&Y~{|3$YbJxxIMtHHs49?eCM58F$zdV&+p*oi-o-VA`=<=jiC@ zx4_QI%9=a^j8$xT_Uu`zD`27vNtt619eh9EjF47RR#q02F|0bn=O^-Vb8+?b_AYTb z?f1T-;nj4jyxi*QiJ(FQQXgIs8u$S4Bj~ZW-i%0Twdsc_Q&ZHR#$@j+>rw~LGp$|Zo88bi zFkrZ43y++!G$(T>-yu$afqSB>2=azO{-#CXEq*byFJdrZL{f@Y9Zvl_H}`w~XWCvr zfB)h{qmbz}PHXik{7ZbZhT3|12=^X6e!Ma@^*NFUfrp`~*K4S&C%AkxY@A~E5S5kX z<4g_^5fzmRrke0Wi%G;FIXO9%R`fu~ zI_+(3WFt!-31Gnd%a;%P`L&&^9_1>ng!X{OMccV3R>pm=e{fJjfgHh3OKZ$)uTF+M4TU1fFp1TPcX$Fnm6ucWbjQ+%k)!@8a2W1lcV!C%UlTVGgM82Ia><%SI#D&8@I*T)7k-&N&v z6=pdEr%>tGz<d(Vjd8uORHY5*IJ=az+B|6Flt}S z%DiIW94HPKh6kYPU?C5=M7FIK9v+df)3sVqK&Fi*r#`Z9={ma924dezc)g$L{`VN) z#6Kx%X}j~bbmN*NFR#(JZ?~wbayDdYTy8%6T2?W*PYq3dWhvdH1a zfM2Y!U2`|lP*ph2x-76Fq6?j}+B7Q)h0-Ac zYZpohP@=XVp-uib9znvz+$-1)E<;)dRh;x zbV7Vd;2iXUEzq)ZA)Y`%zZYMeW`1U2(nC+(*jRReUm78JtF_l>GcYzGg{kbqu%Kr{ zRt^XVNWKOfl6^QdG;~;TUEW{qV6n&Ngw1<#Vo?GL3MEijEVNQM+Q%_B3I~Y8+RcPq z`fpxtc!*qft;56H)~`?6W`1;}aZ~)$WC4ZYkr7lNUoX<%Ek@7Fn8%NUIOAdf&@ggB zlnu9oO?8?>E!Ej34qitT0I)}Rkd7oLO5ehCtLYK)qr&(B8TQrM}KS(A_fGpwT z$7-bCS5q{D#lN_pVpazBQ`5=OCK*c-%5&If6Q+lPSg9kx%nEDAq6s4>a^L{a(tGHX z@I`>*i#CIlIwp3Ck+wzFz=Q$8imwERSjWvB=iLYrgiYdxN-AkEt%^wXA`*#OMEZ4@ z9awwk66EKMcmLPiw?zB`OZk=-UeGCmB z(CJV{tg{RqqR`$fCvV=mrKn+|uYb9?EE+SK^WHpsQ}_+&E742&K)5~kBA1#|k>>&H z138o(V*XOv*eDqr_v5OmCUR^sx~I;ZkjzGc2q*?%6Yft7UrH!0n3i;K}_$1jnhiZXTa0 zP7ZJ?FyDEbntS&Wijw5x^%yQI@^W8Z<>RX#ce#D**2bndk=XcnmXJ{_gbz;c_BTYT!jNSWZwG-jl&-tPuPhxK&JtNAb3CyYJb`=nwqZEXg2CT4jzGWPn$ z6V!)dE_pz~#9zj>F=6vRY+q!!rd#p#+6Tw|`10)=ILBTrFK$tT;fLcg9*j}REv7Nn zTTxMg4{`na_0Drqwe|Ij;A?wFHlE>D6Fn!oasSwd4`w52t~_jU zzck|ml+|4C9r*`&bim|6DJ?B6e$Q0H^kSe4s5HVde3qsbfL>yPg0W{)IO;T=935S2 zNdgNA5FC$>Hsv?3X=V@Z!aA56_PHD#PhrdHfRwm+$Mfew7ysZM2i2hmc`e>rf4j80 zw#y-3fRmu9stPx2d&8NapwyI<2HXHsQ=_wx4{g(NK}|d7G{nGK6?u8)Ok^H3Hf`Et zYn!rcZf3?b=tvgD2MKuul=L1jT76?9uD@7>h=;Zcz+-D?m!lUT*mN2=0Oz_%;gFU% zPy2vRPKq&{$g#08(~KU)n*^Qu)hZs_1kJ36Xv*kB0Z6v&d%$?*}cvz>)Ohe$^>*4t@n}Ne1k^hTVT7cjs zrWUFeEeo0&<7T(aEW)8UiR=bMlod2Kcu#Ih3WOa*^;py?{#~aT&`|%4+1B z{D;-A@e}j7dFQ0?)twy85aiy&(iIGfiY}YA3{*O<`V>kb!_Ci>78PwjTH308d`J(I zhNM7BhTV~sivzNKv#XmMLagT-OQh`W?b#r2N=O)BQ~!ki{PX8_90ycdfBz1{T!ZZW zb$r}mK#wi1Wl{f$o)BxEQTS#8VGNB5stO>I@{T(l*3o~L4r67JKrJjTET}My*y-vj zAxJ}V0WFkw!FjT$>_q~%7$FzYQY<5cq)!`~mY~Q8KEVF3Dldj(PzqO8RM5duXthvf zl&RwQY(X`P*UWe`dU$<*e?JV$FEH>B6EqB&9)o!a&+t<($h?JH_q}Hd4o*(^$siTy z0EUBV5)^VaAGb4}7`nH?ZTq}TAva06;t>cNoYnZGq%@8?#l)&Vj0NmNFF@I|u3ptx zzy8@dD!y+EKVSJ3$xR4Bp`D@q4WqkfD(!%}6c-owYkhDJQqW-0==>)~8WT>IV=Aqu znj){MwqXOxzyu5urpP`Q7v!rf#4>l|%ypd%8Qp~=mY&XIV7oTw8;~rCapwi1q|j86 z-{lD4h>?Bs<`ZSob)VZ;GM82cNTIE#0o(E*c9 zfXcuMmsC+x!#UVMBz}M)>hIr=Yt5QI{dcez9_u+PD6L;_y<-Q&F3*Z*WIJs8@e8Q% zU|i0yfU<3aIu=Tf@DC+ z!ioxxp1pQ#`2!)9x{D^PGq*+D)N)ATe|FT!{pYCBoMcpZxZRR1ICNPF*eb`}y5 zJEE$rT>injv$GSj*SNW(BjuLIHHLxw4lTI6+}x?JuP-_EZ}S}tmWA<7Azxo#jUxOUEC_ti5~pE;xxhx?`@E53^n`6eDaVECZ`!CR050*?A?ib91?4-tK)2 zD{zVL5~JIhaP`_>;Im=J{IXFJXnEI$CkLzw3kzH9MGC{p3j7~}!e-b)c&bl$3_6|y zp%=W6h=_>5z-h1|DA0FtS*dP3^e9|k z*awxem_hmPyYu2`$ly>Y#@cSLwt{N<4dtzr!5$*j)Eytr87 z`;5<~40QQKu3c#85?YR!h)8Eg$F$VDi?dh~2nh>=VV6UtPRnpJzDAU>z3!&7$a4Tu z-UT{SA5ZIqYI^Q$bNOE~n`Ww$KlLJm;3+SB2`wBAUsd%wdJ9ZDn;kn=7tZ0zT(ED(eN$d?vj2VLC#e1(g>1OE zxzmtZMp5(+3_xjT-1ZS2s`wLZCn_?;q!o2aOoZZw!2M@BeevlvSS2_y4_W3TaSNdt zXhxAZ3!rIzel(7eTI3_NZH0x?>+alpGA!EE31%Yzz6nIF#g&oV|AXkyr z#(!WjKs`nzNM2q(YWb(W=l^ifC~L2M1hWs*H?1RmDl=apA~yWH7f1#(tn1~=VO*T& z=_xzdm8^j>#U~FD6Jjh}&5@B2qE2aPDMlD5L@*?ZojZ3n`L67>%8>5#_)ez-U*g}i zz_n}n!)7Kp;vaV%IWmFWypYuY&SkVF%I75#Z1vyqOz2{tKBA3)5}-8z65Xq*DW-?o zTR<~L!JzLDm9dTb;m40*c+CjYjVa(6Ca&h4Lg4ZswocLNl}!wT7J!pSOKpW@*Z%iP zM;War8Eg^*$y^KTJZ;aOWgXrT-C&%?Rd@w(%K?WSm-N33ZLF<*w~j=H9XY2ga){u>b%7 literal 35518 zcmeFZ2T+^a)+LDZwE=St7>r3aAacfl$vBXc5m6*zKwz@TQD7T~3nn9S&N&;fNOB;H zWOByjEOHVE=5XJ8UDe%h{=d6ts;g$IUFA|4>C<<YfJ&+KXC=9|}>Kk^(*QIroqs2(v7o@8$txf5ch z7d|zm!1|DNyK%-O2Ifvc${coKQ;a{k#KpUu^~At-v$9yOfg3AYE#h(Dl}P%Jd3Ese z>g~i$@WK-=afyg1?V2+i_{SGn+*Kl?H&kuO;2*u0(G=jt;DHBNzAW+ox#-^o!s6=$ z4Mn|q(Mfo-0!|LWIbgO|;Fh`OXA!fv*g@XYohf?l1584cq1Khq#CqFOd6o7e+Ws`$ z9`eQq)z;?<2F8un-TAu0Qo8Fh%sdihh24+6bKDlIEnWAKG z&JYPU>CG9UXoAM+Jr@ z*VD|yv-$Sx^E1!4z~1)Okwi<(F{Wbvj48D(E43Z1%6)3DTtid&+7f~tKDqppPC{&) zMW#v8Y9)h8sQbE%fD*!7G5C`fYeUE%AR91PeYDW2ljr;>hl(w?f!~PeOm69BkPoI_;p)>a5z!#8w3Jg^GOvTe@Jx9ao zkzgsE9-o}lef|1MQW3<1M5Rv?Z!h_5K^<$fa0{Uxq;f>a2}Gmg^YdZVX4w_*O-KTD zZ&~W1j&k3MnkC^EJrwQDO}H9vU!;El2uHM?+x2Q?JDJ%v2MGmjHA%w$$Yznj25)NS zyAvy_E`=^>w2#GcY+~!tRPk!RWQ}q4fXGfd6S#Ho1M>y-sCBhix;Ww9N;RC526<)d zrlk4iaH^%SK>k8qe`|jiB-SI&E2Y-N&(GmFYdqiaqQcG)U-T^_vwb&(m%K}lRWhxI zI86-S)uYbK?|?<&V}Jc!j=>cF^A&iiaP#FMj!jI=YC$FT5kb{DKNo`^mrU%Mzt)e;HecwuaokOBF#W`zSpIa5LWNb$u#w>Tdyc)C zNg*G-!FDr-2Fk=#bL_7db5uHj_OkT99-We|4WGC)$l7(@T1-uRa>jG`eUsUKc#7Vj zUXY^MXG5;9q`O>a-?kDuTIfy+f{fxf$}Mr#f&nM?C1R^fypQjgC+pjJ01PWD#xHqrZ3XY59=!;bN@V#>sgv{@bK^s>SEWGL=^USEdz;pju1;(E`s5ne^78`Nh}ztgZ96R;k8u?w=!_|z7f86#>!K`%awaZvJ`tTnm z(rwbbL(DW@((_s1L`lsI{+#|{Pj5FR>6@Hp5iP-autKnokhD}n<8K%db~ee{&U)T9 zaYCTg_^C7aR^C?Q6P;qEt*cX?FA5-Pq1CJM`808eB6LdWjT7I~6az~ir_JbSt?%m? znL9QsFZSk+cEhGv*n{FX6sm31g)8~hlvSZ9ZXIub%OT7C4|>O?d>DiJ!`=CF@`kjcUqXbLGQgtKz>m4 z-AVR|SMRaJ*(L}tb|%N(RF0{c;aU7um1`+RUm5qI(L?C&#Q6Bvk_oMymi-E(QSy{S zyL4%T8~WvNH`!}HA1;B}@5#ACUK`O_!)y&V)_aDlzX#lG82XCa)cMAw6}^({$8hJ+ zU5ILwc%gCdG&6fQ)_7f@%EpqSUp4eYkT|DuQzrLf5Q`RtmP^#p@<`MCG|f3)Q@{Qc z^SjE}+m2_&!)q-tq$k z>RYO+w2e5S@YY>#QFpRbsVtoj>zbmsc^RZ%dz8G*6(8(4D;Stp`Z+vga3B}4m8n%P z(j+{tKdFx1o7&Kibzd{nGtaA0TF~jDn_kr3t>^L4p<5HO)7esSy(Qn|YB zzO$aL=jI>#{)0(jTk_^-z0I$>rN|hST~?e|{0j}GU_TlL$9SGk4cST){aVB=j($|e zJiOb(q4&$}c9DgRQsti+I^Vu9Zt{?uUA%owkip-bIykuCj-{I$M+MolI zPodWqj8ZEXBfgJX|An;9{CVXTW?V_ARm9fsEFbr18p3SUD(x9%5mWpsdFbb<-l3yO zTMNrd<+aKKH%6VIDJd1m;je&>8-yZ#s%<0w9n(YkQ7VH)cKyup-%6=Q2JYKWRA*46 zXP<6R`b@LiDZAUvjTHE-Sn@fZJz8cYoL9VH{e1X{T>S0%dr-HGK|{iyJI+BP%Ykuy zOero(-Wmo~aXKY4#E%h+Yf_Hd&)7c**<3Ofy=J+$e)h`jh6wpX_ zaDYKLd^j&h({1{H^SROI+Flh0!HAw$o^R4qzWIAy{~P%Kk!ewKhA(D8YD21plXMK@ zB60BjtypG#>^h!<^vSDx$?OKad znKr)>K6TN=WaNxSkC56S3--kNr=ym5C&CkBI$JyOqwzNy(IcOx;jS`&ejORz+pg*I zotmQeuyq)4SPO&3jo?c1MKq#rzXt(wB z`KO^9IEE7z!=~eSQd_c}l|E-pOP(9IWXUdWPO0=u1E*lY8^;yZ4o~25p=y6w!90&R z9Z%)@XOAksvw9*mhqE*GtLkh@rvGdyqEkQyirlFx%745-C%aLK%PRWQQla6r)81%n zc}&R3b)${w!WRec^~n5*Yuw7bcDLN#J;hxOrUz6d{6`aKU4WX!^6oNA^Fi`5&Eb0Y zE{hMF4@~GEy`o`P!z^{m`{f2o^mD>f9%m}7_3`0^wdF}fv3E`U2WzNVq*>(A&fcks z`EZi&tB4xy0r(&e;q}uS8k<|2}m6}VL^rkv=#IQ(v+Q%{&s^E<$57CuXN=@wy-D(Wv z5^u?5<*~_*rS+Ptg^B(XoqaP~Kh^f_r;T8yYdPFtdK@6*th6c|)%rVTh>T8oL4cVJumVkxsCTeOjDb5u_ zfPar~yOdC6mvv#inADh?cA1ata#^2-i07l#ExGNqHzly1tZD(Wb_$|Mq?p`_*o@T1 zkjUml8T;?Xxg|*#HdUIb-V+D?jH+ko7GtVZ+UbUjhCuS&#$p31+AqlchHk=VgoC4I znNq8PSTQqCm+I7E8_Hj^$>n=nz$7ig@Kt=KX^2Ar8`9Z&wE2d>wLU=+qU#U93fpW? z{DjLp1-lVmzll#eCVi<+d>zQ092SQDh$S_tqPL^GAvztgi{+U(Y^(CLp_TA@d`I%q zZyv71nsb%rxgBA8wC>qqk3@%R<9=(EG>?k<*E`!H%`H;(_lzti%6sK>$wip`R}BZw zKQzd7G$;?r_<5des(4KYE1u=g447lo2rfV2w|!3F(-NiUHE%ERlhAN^w0umGJfFyT zJsHtYJ@3CNQ|(fBeH%~$Zz=xH@~BF2orEQB;{mgl(cf&W`F13M+plM9n~B2xW}gmu z*i$}QKT5f@pz1%#Z?EDR-JBigaj9ORr6V~8(h4VKw6sZFv9Gz#Yxo88X6ZC_f>RCx z8;5}oVD~R^49~6*5MQ8w_VD3Dy%MA2amT&GLyhy7m)>Zq6!l{UKftOgNCQQ>l4@)U zX9z_-*Z6BLALRx|OWbX4>N^PI9A)|J(!L(CWD@6VV^2=OzBV*8i-$tRNN~)q`_#ijIYj+ zvS#Ge)f)|+CY=5y|M$un8Ft}tDPPAX=ZtbbawVY?^477H340e-O+w>a@%nu9uJgRh zd1uCP-YA<#827pJ?!DY`k)qN6Er^NN?{zV zb74MIK`GllT2BZ5WlH7byHR0B%G%lnMC94d$~VHp!@2ZIPB*CWCnvd^f1Pnk^P0>} zgXau?Vv#pNL%>epDmPeDon5LGPxr&*wUi=R1!e>y8K0qW~By>0d}^qDA4Fph=0^$AKN7r9pak@p5p;?n<84PysT%= zuJr64ZQ^7HcT|8&Bi&FC6zh>2mYb-;yUD*R>DF+1IEfBcI*4nhcBh+a$yq(6aUZqQvd(7lb-?*REofqFiw~ctfoGl6Iv);60rZ^ znEPW$xi67RMN%ScijvZDW5RQ}Z=WLZaU6mApJ9%cFu$BzbGGBTOYadXa(1NjEqrW4 zoU+8-QntG?(^%nJ-HrFRxd;{k3YoXzlw`M-6ZTbYXm`UU0fO!E0o$<h#euLXlHn{W~O((p!z?q zM=ETmi}3!af9q0dNDi#f)BffT9{$fM0?);0=G)_l|Id$bY&cb*!F}SGZjnPL2E;;` z_&DGMvffM{HXYB;_)ep{MXaJ=R*B$g6|Mds45A)pE_9EC8=L#whWQ>jWSPMWx|XxC z9|zCc9<6jmLsF6z9Bas|Bb&@y<4Qc zcu`D+x+=~|DIX3`lPd#v34sv)>(n!IQ25D@neWb9riFRaFa#g-} z*uR>gUcOzh`l)&1zep(G&f(#(>0^%BxmmZbRe5=NKWo?gw{~9{+bh?5ZbRoVJRq5W z3!36ogX$a4uvAxi{AzbvfullbVHJoUVzShz+#HL6k-afewCXo>(8nlQn6Y)p0P45?rb(glJo!w<2 zbv5z7xDCspu%~<99oy1z8|n&ZIq(<-N1qMKcu*xXd!|1CE+XMUPX1$jw72q zj_P6V^mo@8{uD3Tiy~zR5%<-UWKXjl63Vyle6|C2_-|d2*-ctJuxz^jOS+1!6yLxx zyVFs8hnKeAMq-5hwnHQHQmoqgqY^*j14kaj+GZ!Ys^x2 zliu)^e@tMf1$$t%dCkF<-!)XBqxZ89e&p?8HlMpn(J*vbW9z5lF>0izAydg-r zqPkK<$ML`JytKFe)p=7f7=JwJV(Pys>GvN#ti86?V2}|jtcx(IJyX_8B(HIp+&T2m z{7JgnTWpvvJ~5W961&c{x%xT)#9R%m`P_n2sgH$KQhsM{TsHn51%vHNNAsvLd9HpL z5ftBOU1H3I-rU(Vj`P>i3lON`*K>`<+1c4a2hRu4-iP@WGdU&ImR7NHUKxcU9Afm& ztFNdIdrS4`tgCd?(0DR;E?OuK$LmMaV}`T8-@+93mp3(W;e(#BRIf z{zsEtBpE0-qM(QK>dn>v=>+#1k#lZjcFd+aqlRd#(bUUDuT}5kWAs9lLvG`pHxc75 zc*|w%AIA2@_Q__Wl_MAA;teIuqnJ@)0&Xys(UiZ-pxIU>d>GCciI*pmcUT-s_4~s& z4U`>w#3xYrD-Qz}FOFN>qxpNJ`~T_*3u`FftGd24&>fd%ie2v)RTf_&3Xk|7Inbea z_tS6UpmVWg`x2XHkld*5>gz=OS3%+ALzj0vlzX2f+dFjpZL_`tV%d~mzF54VPz`37 z;Nwx4Sy+5Y)&|_=o9WR7iX?W}*aB=z695nRz&tQS!*lDAk)B~?^`jnwrlqkxsjR`p zl4!8|Cwv_TCi#DJDpzN9(f{(+e{lRHtMnx{tZ3@IvZT7&_jP5pThN+~Z7(^{A7@N1 zy=2ON1$K+*6@D;tNCyx9kwcIbw~z>$6^{t-6TQTDEnx9m)S-sC9AqVHb}l}+DByft z;IOPrb@FM|@bHOiRaJ@_wrf=fu4j0q@5+U)A^a7h(mPYw6CvPKJ4P9$0rA z?aM6zH>>^F=U5BkiT^zsLU{#t4?$;81%c80Zq_g1V3m^M0LAGX2W9*8Z3%R)H^}j!xP=;$FdrJmB z%Y~KfplnMoEJj>x4pH!vE+2*Hp$6A#vXFXNwPg|mv6e!o;u;; zn2IS$C&e6UOHX{1s+!gscTD-qUxEG;^yK6~Nkn4^wEq6* z{*$L=zdR2nuyo=c8w zAg{Qv7!qg5y6TXnQ^5vsM=vVK=sc^qq?+oSMO?{)nO%vDwOEc(z8y~5~m;mgT{|Lx0p$?U(0xF1hu5qFDO zSUz~5&G*4iZRxUzoavSj4vz!`moBHua&!2rY*S06{ePMSw%Tw$aHh+&ESSTCv-;n2 zn&THhvdhYwYNNH<|Bc|M872bVgd`@SS@54O*-9NP*ux_UW&rWYNn$Rmb;S2yX2~yJ zp~?B77;=YMSdg)e|E_!iGovf6$Uw(xII->bz5Iw{*^l}BQ1d3mkj@)|svja&+ioQP ztw;V_!0U}4E`?ilCFo2y^j>BbmS*f$yd)demb|jI(w{q8X(cKobXGWgelYI1zdD#G zWTlRc;n|;z-E*7y@xihyAz9q5Krw;|k5j>qRof@V#tw(jiV7k+vNjvDN;$N0=)_%@ zN6O9dI7NJ||9N9TKtOhOcB4cj&dkiL8_-HoM-wY6E94;r+1|v(T&$hnH{Ez`>`2mc z>o!6_wzROau#Ak1EY~rw{528ZC?9hFEpUF6 zkK-Q$;?mQv>P^YgoM1-D@vA?%`Q>Ies3~!kBMz% ztjZQ*2(R~a>P>qBWxu}`$$7Fj?ueO0yI93=!}dUYp5j#D(0H{}X(<5#%}^F|DGdf` zUww=pVP^r0t$$!1931R>upX~THEpwu;waTfm39_lVPRon%JAHtWo2c>;}SxZvIj8! z{_!Uk_0GHCjzdF3*KSevdSF~NIG>4$LR^&}MudlNVfirgZ4u1Ct;XZ@YLAvP!xno| z`Bp4W4mMiuOPQOQflJv=v^i(G5=9SJ2eJAtOUV)**U1>TAJ)A{f9kT-9c?xOe&{ic zWV=?Dlt|v(oh&i@#ab&q!hL<@B}%2BQ|1#HqeEX-dn58Bct2TYzI$(fZ$(Q~w5Gx5 z@BlaI(;RfSh5AJknat^*badQYHJz8GrKPoU)k8urW*+{Jcbs*#RgT81$*=DQSm}nG5Jq8Me>zH^370AWVvScNudb`B`}`Rj&84TRrnW!%BpFs_`d0fk$hydQV^;6{ddKNTp5r1o z#&2!7bQpxQWn#j&D?!+8Z77|b!B#yfJfie;bXm3G;>yazY;0^uj~7-Qv3z{jW@@JW z48Z}xa`RS@Pt!v~x*a$3KOqzh4Gq`o0>qhpUIb->L#%H5Un(l@i#jCD+r@uwJenm& z9;&y3@IX|oN=+KF)*XLke9)BFaLx^FZfWVLjRt#fGg#2x1<*xhg9$qx!K@I>?XA2e z?twG<{_YwvC3~6Os9+!mn|jhnrIkjua`gPv#&`|Zjy)<3ANl1;o&WjS2V&|1-QolZ z4+k&{eKR^fu9Bs@wrO1F-X6?nUaD7`(&&?*`{c3Y;&II8?yiHxXyoPz4li+PJ$h>TMdHKzoHzULib#bVkQ53K7SX@SK=X!;t z3XS*fq8jX*MHV)e&%?t5r1V!jk&uv3ARmTskmz?3?`}I>q61GSCLvk>mHA24Yiepr zusFAV!p_Qy4Ld&98n!>)^Cc>)%3)G`G?!dT0Wywu$&HTI=_u#S{-F97KsDjz2^vPm z=^QoM(Zn4WZS8>~SY=Bv4fCjhvr>ood@u57EBy?gN9%kbY&Y^kw`i#+H8CNf;|ue) zL4yh>M9Er^-VHY~`bWkRXhz1y#-AxUnAU1o%0QJAYyhCp@ef~7T)lNHv0NHfTkbR` zA0L`U6cgchvQgvEo@EmGXHH74AfHY?RIVcbBL0WC$tWV8suJ#eC_(v;sC~J<0|iDT zi&N#RUm4&Iv62Ow4mr^SB!ay8Gxzr3n4YusI>QX&(0s5gEX@6!#K@-w7A2;Y0(GzQEicp;3KzB9p)mAQ$>Dh z9ck^)S<0cT8Sme}Z;xUFcq}{A;N!7x!V!$f#k#V%pq^+bJiYaFv^W)cFbY5tf3U%Y z_?aT*GoS^X%oTjNIgNpz{ej0>C$wn`fi}+Qf2!GGnjf2WJ?0@-dv@u3YR4hMsauo>wq&p`TP3>*x%K<) zhYuf4C(@tY;0VCrSGo30+J|iRlK5Y~TX!P3>wIcUuHD=1k--|3vS2PDK&A;wxULRZ z50@ANq|{=3QJ|dwN&qVB!Qeh_k&ifaC?0BW%#(DGHqiP(x5HNg8P& z&m*&3S846MzpBGg1##`@0oW6BskXLOdEaZk?M~pN;4f?wTjdO3W_0xQ`xpBFfNZcp z=i;*!rdUNpMHIw{KIb`Zo-%%*>*G$0J;}+Pw8P(nF}& zLOk-C+~t5%?zu>7U7MR?kcRsDfg2+Lgm+@J3x*w5<6iPTqzOqPF|4-JoF3(9Jl(W0WE1>=H^R=8l`lH>v*F*XO)3R#j|Rb2j^#Z=NLnk#!#+D%9Ni zY1g#^SS9uVd#O0dG7V1@Y{sgx38it{_2;O44h)PSa9#W8UHXIzR*^N(|MKO_RkoLq z%(gGQO0EFfpM4~02Zb9L*dBD3izWZ>cuLsrE_MkP7xpA*mzqpYPh&JQ<(AAF$km zwP6kW?fv~|3N0Hyj-71drx&G3O1OLTVRNxIx`M*q-X72xlZ@wq%F&$1$Hz)gF|VC0 zy4q4WCgw`r(+{`sxcu9SaxA&?U!CT%dhJ1{3|4QDf7`Tn>B@EB>;4!YmssEzF%sOy zja8{E>hI@hpFp2}0Z9b-FUOM~Y16}dCiC52B4KCX#=x`{#DvjHRJ(7CIeRNs6;Dan z46vj1ZuM`^wXW5qin9d%Ud&8dbu^VU!f zK2e%HVrpK+M;tHG-UKgzR!lCQU9J+#3z$NzmX2k*S#yw5H2c!uh%eap?b|nTx79YI z`PEg$k z>%J^NbXRMlRz6L{vyw4N+YRJJR8{Tw=W1lHo7B4I)5(%+Sv0D6Rci!k#&hqDYb4VG z1rtcYX0fgiN~g)k1|H)8G=`29i{;Yd^R8jIKM!*xOyib=uy+i*=2KShct*g(i#MlM zg1JqB=!pCV)>iX+=IMUI3s4#{Z97NX=Fj}8zt>r?DObms>oBQw2w4b1mCW%Q`eSkm z3fMF6;~j*o?3>8b&R#&HSUz@4siHH!T2KdOd2i(0PLl8_0R#qcpVR$e_(E@V#_;5% z@zeJ20XGKMtlN@`OeR%Z3OBoR+QB2&*VkKc1NjgY2L)wNWvolHe}k4b@xHJPuqIbP zpA~SPZv$xvU`YkR9#z~~3nHhtd0)gX4h4;Tez-oG=_fM$8p6WjikmnF@q|@aTriN! z`rQgN2@~tn7z{oRa73EJVYMiU{^#8{;+Gp58Wv0w1kB|@jp`NY3xIA$#beMW$g1@c z3XRmx07U$khlZQ#qIdkC3#a+Ub=CO62N4kw09u6iK6{)-6&Dw)z9ZLK9V+JX$_5$= zP^Sp!;2$Q2=d}A(Zut-fNzXFx{nap;vm+o#y>=Ic8y%mOXyta77}v4b0_LuDOAdz4 z_Vqs8UH_=4E*oeDTI|W;CXj}e+CRvHVx(CLYB>0HjR|L zrOYC3L3s%Y2{FSk1}U3m#&~hxqphh1pKSH;V_n@rP-5pB$DhF#sqCT7L7ugzm7=&? zmjF9(n5;!OH~=|zVA9~Nq{coM&1eCOVAfU60jevT@}7JkNYuA)->zoU&78+<{D06d`PfC5&sw^oV~dFLU129Vkj^w>(zZL|2R5Qh#$M5@Dhb=MIu zj~_Tx1(*m9#CmFH;}8rxL+w8sb}$$n3$OM@$0nr>t}=$ zY&b$sw@6=;u%7uO>fICLI38~9Ea&jZd{Fct9}5kt3P_Cll%79-pH#Wp+CVz|^Aj0F zwJ_bKFG~sfRB;bgU=6xFkPi0*%$|b@x8K>Z)y?FOXHPN!3n>SvxoY@_MbAYh0CYRv zS%`YL)E4m!8BEs>tN_vF-h3ASBmIWBl2h)$N+6BZ5+0S;)Wr4;1I#-p3fAMibxaI8 z$%O^M>O6*}Ox@`w0IiJmW&5>zQLm2E(tx;RXCnZG*&lD;19!Qe-_v-(_FTaG9)OP- zp`D|-VbEzppA_up>FH@Gy##C24}kv`-=n_RtCmU>4p?DRq>-GJn8LzB)EpUuWOxz} zMMh&?jyXt@0yw5|z3GBIboT-pgXQM)k|QYQ&qRJj1K0=FMWNmgvOoSfnvc=|J_qM$ z;p>?ng3MrNm2#M21Ehr6@5(#ED;BeA=s)V8ceaKxdaMnpeH^W_9R_gP=9<;GKatkX z&SI(5%#}I*#X9P}kc33t!)G5K*$gNiSORMU$Zr8aaE@*N(NR@~C^>cj^|kDb`*qA}KVXiIdbDu=zWkQJW18W5uib$jm3&bE3d}B=4c_|}G&(Y(x((iLw6wIy!$Z;HTqyNDdPMQ3vpNAo*<#&{P_{j{{WkY6Q)bq4f#03wD+ONYl+^U|#4lyQNs*ahVQ^ zMW{;vjCDUQZfrClura;8F9L^GD~Ufut<;6pKIGa1PRiy4npw>5BBl7+dw~U#Zc?DN zh(vnutEI^JgB|v5X9N+=2hj26(iMYhJC0w^2}jjMR-m{|Y8;F~;*%04rJV%}HVt+7 ztd?hInXdVFbTa1_7fnajBeFoShioKL;)lId*`06hRG;BNb58+jd~QX_Y0OAdSR> zjLR~8VOXG3$SR?i!^&|#n`p@K@XHh2>87Ob(F@C3z*ChqGa6f8t@LF(vmk&pUMLJS zsBz#a{OWg-Z|JPsc6A#xi0Q9R&!|NB`1sJ)%ftsVpk_N7xj?T~#YYMQ5eC$uA?%6; zuHR$WRW;@{tldH?YDI(d7Du>6J^8bc&3E*`RCFBsvNDjbg~*Tjsb4XCIPDM5QoJMV zdcPLi3i+uFxovrU1YZqqA!U6WVxQ&7#!{ za0ihE1~)Wokcn_Pq_D?%g6tnt=n9hx^$0IM$Bt?%iyR^lC~-NLRJ}_Ui7oP%omSP1mG;P(PX_1Me$Ln}b502DB&$T_{^eTbu{rS$4herX0BW$VB0EC`23LLE0Yy*N=y-6aI<*IeCP*_ghxt2nqmbX$rwvEQ_eO^;27Sj zVNgpJF&A|2xj;OrkX1J~Alwcpp?Of&V6(xm^9^}`5;`ydzDp$nn=|FRw;Z8*iClaf zc%5jApC3shr6Dmi-`xg)JQ@aTMe#Mfc-9UG8~7S-l`)|E5airIIiwFy09z0+u1%9E zjZl;LUWikNBG7J(=>Y#L3`q$);+$eSgH|UOmKN6`z})EhwO_#?%>dr+42LHI0SB+J z2uzVk5CIxQa68B7wd}1xFrDq7JLwXgwj2ARRKQB({PgL&=jFV{waYby)|3nkyhvQqOKV_DF28de|p_^8BUy! z$FG$_EU-+;99pc9<3xT)4xN;@b^+`DEp9QF#YcN&L7eS_X{rl=zo{Mb&H<;QaGD#! zLk{#+#C_b#u_&;N#XPstwCkNGI(Tsd`BAlg*n5bj4szV@-=@os?%I(uf)M6gfBf-+ zkAa+)mdk440w!!~L3#kj>@Zay56b1)`Poazu`P$ij+pCmcoFk>wSCm6{=3CI&CCmv zCO?@~J&D~-`|agxS&|^5&OHD&@xmK@0UrY1Rq~F`>+0%i!6^_jGFlNkK!M1yEbp+7 z5WT6kt}ZThz(-MiQjwxu4d`Q~cd>2s)inw>b;T!;eas!-l5LC`iLH&d56DqKsIeQwe38}eQV+b`>_ZX|KQ?2e_aD7l9mp3<=W2IkiR4HFYq+rI zAzkC+hL&$ZyH^?EZ{e-^`-}8X{e}R0RvJZ@Z5C=zv-RD9=l#))x!Y0zBk$RC6amQ#}BjiNJz!W zKKG2BVS;5_b|)Qg%{&u>WD9cZ7LDw!^zY8MGm9>m zz|fF4$~+G}vW>W=WR)O%LSeu|8|{c+URgOlJ$4xlb5>T4i-GB7jhHGpG&H7{<8CguIk_xiJ7!k_sR~e4OFGeVnZ+*K*Hke`eP0=Jp(ICmcI)sH zajO2;3G(kK!BP#szD`d~O`R_TW`WWkosgw!j%vI`@(FM*r18tl9BjdJL0NzX9vmLV zRv5ZxQ))WzbqKOblmpHUV8+?galCqC(qKY%65|iI^csx@Y!#gL0VYCKRaJB%Xd>G1 zx*}k0PiXT|y!s1}Elpr2(-?#Fx|p2Vg=g0SXR6``1qH>RRZ%v--~MX!g{cXOD7vx_ z=yXfdz(nwg=*vo%4?zVZ23B`Rfi@F;7dEU&Nh@ffctMX<;~uyap$N`@U05HXCi|D1 zS+EVOiR>f^_r(zfnx!I~m4)lGK(6A(Yc!D8^@7-M4uQ-Pd>7^>%MuQ?<#uR?jZsJjf~w!aw&jQ2=!SxIB7*uusea@bW)>ijSLgh&ieO*H}(g4(Oxfe6Tj>IbGkxdC}s8WN(( zzf<4F%Myg#X=f9*83;G#xE8 zjw(%H3XlYh{HAY!_3!MkJghIka zkMU~Bb_hKKTNqKEYm_%CtF*vx)t$7p^?KApkR#9WjaKCJGKUW=Be%$+LIX(Zix#xm zeYVNs2r@@yRuS}ytQdB9V}0;IQ`7V7T)!&)2>6Nu@Qi91xyFLX!$W_zPs<=B0Ce%} z_W_(`F{I|wRUJc+YGHP@kddlNjU7de5`|Yp9jCP6S{HO0R3Av_3-c2ZNmm2#J6b^b zK@<}h6X^gO*`QtVLb=Mcz2(d|2<-!zq(m8oFbp*bG;^i`|J}qryu!Z!@j@)PXJKiB zxR{vIgQx(JhYw$#9&HOwcVw}6$#omWS3w(#CS=>wSS+J?3=crl7QCiJpT`1!{}Sj* zP^9r(nw=99M#^SCkz%vP&`uvOFSqp(%|(;=Pto&BPJl(Qofxn#0V1a8mcA*yN{Zfv zD-Kp%OmdC}9Enkv_v$tq3&H4#(jJ;64O~r}eZ_`(yo&A_f+Kt5t|f3a;SCwtof22P)!1LWdfTrtehVmkN3F zJ`A|P7seo1hmd7w_!yx6Dmx0{%m<+9f*v1>`S`?tnMDq04weY*LfvBj^RpXd3`IJH zF<@SnR0a-uK{1fN(b3UAcpn;NJin=A`u+QN!6cBU*gY<5!w&Pn0cu{Odtjca`op>V z{u9czf&6|z)^Cv9d+_skuU{jZA!gSDc!3ofh$Cl3tYXL_gf+TI81!0)-n6#^-&Pg$ z5N|FNdZ#wyB6f|VE&2TE{4!sK=Fj4|M3LlMJ%Q%=CO1TS%%+AhUC%w-?;SJV5zX*yMK~Qf`R(9T-050TG zcQOJmv^>F4iGE)Orm5KP9Cw?6^MWvlWgK9;96i76wYRJZ2Ha(3`~i)oxlPJ6z=s|N zb6J&WPKedQG{Xb*a|UJ(BP2qXFIly&txb_5{^`@F7F97(+EnXcNHjV!lE){G-L7|D zP(D5`ENzU`Q3F0ah1e^IDj%%kc}F^!e0KC&c*W2tHN1;_F5u|63HW-o%^>GO5Yu(e z2M=UfO}MzYILIw{p>VeqAgDmA>+0+@`0~mL)t=n3McHE8$6O1T$&c-k$B}LeF$OzCA)k_!P>GeeU3(5zuak_i=@}&E%d(*X) z{K7I--2qfJ?NFa=gaGDCueH=$Hx^8wVv~L6?!482w~ZizaiR2JCVVm<|NvTNm~?V> z4hjhwbd>22TZfNg1?SVBeNtZ0&xb<%{r%^@iogwgm*+G>fG$_*up2H(9!RUS>WR@Y z$~i-A?g+jT{PX6}s+DpA06C1m|IGxT2Xr?lDGrf;Y_6BEAUPQnf+?CVgW$v>ToIFcNNw{ z@X#t^$R!{jma34^dIyQh|SD+r*4yi6?1D-DS3=-CX6A88b zc*@4g%1Ve_sbi-31HG%Eks=u{jjUB&3%M`6+Lw*3OBIevI03y*@CtCTM8TOEs%no^ z>PL@31W`0bg4uZ3)hYonT>wd+EMVRO_`zTd$av#MUs%J(q_>gQ#=1BFC>@HRf2ZsW zJoWVS>=^%Tp*J=%a=NQya3vCjVu7(dc#vlL{T+~piI1$IfCVQ!vS#9{NhmV}cmn44 zAVl}Qai}feZ!6OL#cd81HvanhX*;vrus!bGw6oF2Emai+pCN$(8$lvAjiV5sHtPY*#gCb$Oi6X zJ22`O6jG6YT9C+(~b?uhWBg zDCd`&oHl`86*Pl#)B}c7a&B&J5nn}I$9B?=lCJNAwq#7yk6PVg185M~eQR(g0ob~c zZ96zER>76c(MkmdDr#!0-lf1I3qe(}jqHLm%t5y#L*d5eiQewYqe6A1-J(EB$g@}c zI?wNZ>>Kb9F^kjnh3=aNE*rQplxl`o+_2KoU4OIYEaO2$K}!5jQtC*UWAk>IZ`> ze)7)kuC05|J!-#x{e2}qKE6nvll{-G7pB1MdBFm-Ku1T%yS*m0xLb?!vXn%3j{K~E zRFW8e>H;uM2S z_Z5|u%^b{#qTH5xt-|@5o16KAUgf;ocqQ6aU1p&7S+8Bru< zx8c=lssN@ZT`{q-t^2@l`1#|M#9J5AbCi?-6#xGL?mjFL8z zw6|z)X(BCGiH3xbij<-yokA*wwzf2=H16m1z3>0xK0lquad2Iq&-?XyJ=g2qS|!d1 z!e~YJ?wO!?dh{vCOqwPimXv6UPESs1CSTcHzp?!2?p>kv?$*{xmG!r zLSRB_D4FxH_sCl!k%&n-Gd)eXtLbtqPlfHQgq$3+Q;gcbF);-Nh4}5s?z;=MV9+rv z`C#fuM$ypH!qng6ADM%>k1Cd|FB}(4wcojOXXhb%6$@=4-D#<|)?<3JGZxXjs7GsjP$Fz6qG= zIHaT_GQzU5vH361O6l_D%kl1g9{TdnI(vKfvGMdXUOKO85uxc>c&}sMjM#SoU&k$) zgn&P@{cqpC#S0fSu6Yk$jr!N+rO>+lhNqw>HJ>rh?83`{Il{J~zW&?hW}hox}EMR9pK-M6^l#0~9E zK7m)4|6VVjvUwRGIW696Z*`A~tS4`KCkJEuBF5ra&RJH^K1&J;ijyaMH~;;8-`d)d ztIYD8o+ElrKP(l!mgxHCY~ek;?w`N+r0Vu}wzaMOnd9;)eE!_u%8Jz@%)lUlDpx;x zvAnR5?184;$Wel)b#3Zo!O4Y_mAbUW97jUr%T{1e#WL_r!~Gf`kEw{xCuR1YJ@Y$y zboancnq(x@l9H0*;^LajT`ykDpg$`sOk(>sHZ;kRZlYw`FVH7av&25KH)K7X{DO?p zsQQF>w7;b#%XDpQ?Ct?ans(q6nG>>xIXO9L4yf;8e{kBz_-$QXT^$|9C3~%{tv4u@ zBvrcYA>VX$xxR-*0Ns^zv~N)d?r=g$rF z1V02$UCy6Bl=M<;n@}>pv8UDB>pSWe8%Cmg+K5(AzxWl?xE+sS#?B25H3Vd7w4zvh zK7VFqW22|1zpYrfa4|Ggt@M-Fu(9x{-+1hI6-2jyJ0&G0g@lA|Z;AulA*p9t@taSR zIoe`)S+ER7TTFDczP|qK*XIYNrBeoR_kidR{b|%{^1b5XL!S4%GHYv9s0@Anq!$;9 z-XDhIC144MLQ8$e!I%?wR0BKP+YMb#s1U-4XJln%Q}a<8Et5QmgoF%scQb7!xq#Hj zRyiYxvA76ZXJJ)(1MQa(J3TWaZCh<-YRYiLl=p^KXi~!t5z3y$RY?k&H4w8{zH>J> z9o&7d(9`XTod5G-_;A-TxU~G3*CGIqpZq#g9+XxMYjQi9pQ`fypXsIGYkFLGb$mXspnv| zH$on4Y;5Q@3v^;VI!Q#Ij6jn=OKlw;V}6$*7vyJTJcY>*nb^(E?R%|%(x7JzT?Nod z?)M#cb|}WbxeaePH@CdF_@sqJWaQlZ{B>0s)3HPKza14#cWULonG`<#W@+^um*l(X zm@F7>A^!d=@GHB#jK^YQW5L^=ay>M|KjDA1?IJazB~-nJ8qg>l_c`A7%9xvsK8iHz zvuDp_{F1L-1J&@tA@G7;4IN%^Q|^eAoWmqAI7`%FNlBA4XO1W-u{SBGsMuIrD~pMV zsjB8An$n;yDcVmH2#ug)m;|#E6EGV50nDILd4+tS*IBy8aR}Xh7a1A9yrqRjDg%Fw z*?$Wxy{%+kg{c<>A8Sz??vo#f!RB?z-TfME&^#b$AtgF{modl$7>~AJ)nMUmU!oe= z>>E>}M?o_3XD-&FD$4^eJh5A7XlRJu6JasDuAK>8oOSPBFxL`N_DN0-B~&t)m9xsG zQ6IWic=v9`ojdj?PQ(Vc2Rznb&=KXdu(U*EPO#E65Xv25F0n>$Wf%|>?0K*+_#3$? zdLhLK#?J2DyUqHTnVHQ5#>RE8IiAv4>>+=3#D$|bWo-QS9=kYEox4P7AwfY{p)v-t zzTPaBY->Mpz+CuFR0*-MJ|inV2cRUgp|6F9d}qy}kq~89;}at>Zu`Q6$L-*f8`Jm? zIy}kbA6NfLs;P0`7-(ssR3=MIp5YpOeraIuLoq3-qx1l!T%SeN#G>~tI@sBL2lFE8 zs0PlHMv1AXgTX4SXMBZLg=zU$3d%N&!mm(?NZmy)XDa6sMU%otTV>4ok&e*%p{Kl1kUyC{dXQgV58W9rvU$*jw|ToW&KAZg z%T#>bju>qOR59Ld$;%A<{N$hA%E++9{uWABM|8~?`8HjL{}^3OI@C+fvwpynZz5k@ zO;Jm`Fud?@c}lypLB|<#jxO=MI3Z%XQ$zd9j~!LJm^gWPc{|)T(fAtEzx4LbOim)m zb=UnVPab2*g9k$PPo+*hZuszlekx^uHL6u$rXafI-8-#N*v9m8>nj2MI{1awD>SXr<5@?+H0$d~nqJMw&gOj3O${A0 z10Cw;#Dr5Q!MeGnMOz!DaFhAu^z?2@%De8`SI~vM&iIi5<3VOJ(AUSbI&|bnUcU!f zB;6A0=F2Pp0;)vL{5=88jy`MU*`T0ovxOf}~{fOpdmBG;L2_AvH7i*aYgu zyjDU&qOq|tGcyy9y|wV@>MZoy_-4TaVi(4$A>#v8g~8$P`eJsc>z0c@xrd69l8&yf zR>p8xJ#AGHWCJdZ7Ef^k$XIW@!0EKl#Q|eiBKB=Zx zxq$Prw@o@J#dUOa;8$>_VC18O;94OPz4vO?96QAb58q;pT>qT?@#AcPNG}cx${3`j zbrr0NLQ9Jy6)=V`WB-Q_AF7e&I8wW3o%y3LoRJb$vp$!J!sW+2;^V!M)22*gc(C9Y zgn%f)hzIIdH@`1qdf?qV3UMko34Z<|aBN7K zF;_g$WwxZvuF(}xU}z|>RVXU(*+pFit^mv-}r0#Qgw zZDDEwxn(@cYMZ~IjnC_*hp^t=^jheG?PsmZtzQ%!>+?e!RXyyRtUiMCmsJe~5I>|5y30wlXcX zKAG$5>)F}aP|%t*SXo(#!>-+E&D`AFU=Y|AiM5Mu(KM<#s1h9djarw?dTMs|n!VmN zcJHBvo$>AyyBNO|dUGr9->1W_d^th?KRjee8R$_YhH^O z6gawZe^lU;q#t|#ix17e`rn_^Mh+C+Djg;p0CqD_T@jg;$-2EqGbORX#-&|@vL{cl z6@u^24>@s-N540_0{pnRj3GRM-6ijcYbj2edwCOfLk_J8+g5jffmADERcSMT9^7D3 z*Da>=gbz9*IvvZAotI~#vhQzGQxkRv!0dO1GD#d!KF#iY9K7%g*=}~8y!7-) z0s2Q&H?W%15>Q0Yw6I{#kX2CVLGw$FY}fhOsD&0aH9b8sF##}^J!AjMY|C6nFLdL* zxRg|L$M(W-6!shP@_6VJi+-Xe+aeYjr2y&etFU&GMB95Yz{V!~#f!g~WJG=F0nuO8 zJO-j+mekFt-8t*!0*C{6K94K4p-F*7?mh6i<^M3~xIL~=?>y`x9fgBQuGRF#!)b05_^ z%m!Ypm5`DGn@H~x?DbE0zu0ZTPFg>NFw9-eRK)iPqq1?ma+8>HXx-_Fi< zqEl2*cw-gcoMxn}tIPfZI?l(B9~td{#ee>8IS@U8vO$vg84`&47RKKJ6A~Ic@}eQv z7LL%d%k22bBE0)ba?S1hd=Doli!*0T>K%(WGzw}hSv5_2dwXA0RW+{wod7}eYp1Q6 zH4!_A{|%|574PzF4=9Qp0g0WSHvGfa*4oOh;KrI52w@T6FP=$=|1(w}W`6w&`#XQe zG|7~Ad+26lB-v+o9OUYFQuofi`vigtPBd2DTu1SV@WK18Tk#VM3LYLjaKNnMzG)r~ z{D~7Mb`OL*Ub`6YdE`hP8a&22+V~xkny~y0Y#DSYf+42!XpG1|L9Hu={)|#)&VT@8 z-l4q|ntS<#<|Iy6U8@%AYaAJIf~eM)0O?jqxPs5kFx-S-1g#`-K58;o)_M2r+bmgU zG{>%bkY4D}*AfyU_6v93dC9+>nx_PBp({cEAv&twR>YvrArQjw?H%hR$JxryVoTBN zn>Y=UPxs5p5^Me}E&bd4`@{TI8i&BU$fzhFct3xCMfbi2kKD+m-=lgH@xjj^KrscH zwF(&0(bKoRuV390-|#6DQ7gfx+V|B)NtsdCeKOHrt;L?= zEu`rt<5+b`fnebcJK>_|@T19K`j~`jTfIz};*%|)5t#XTp*wc5?-c}Ww$^&1%lN9c zb{&lhGC9MqeSCa(Qd7GS#)Td=JL}%@2_}#UfY4zjMa5g63YXAn8S~ihA-?NH3uwjY zh#7<=jTyY_J8Hr32L2(zM3OCHV=IA3Lbo8{hZz z+~C%VW}Y7#iv~bRqcJ>l<{RJy4k|`g!0Ljd{0UGe$+M<5gl*)qSl=0IYe#)Ei)n<3 zi)}5#3W0;SBv0>tPyYOjg+-&gO=)u+VCatQbFQvb_K+dRP)EOh?MWt+r7x&)dIya( z2^#UjYALl!4ry`-(lyd@u#;l7Z@Z40nKj77c11UShZlvXqv}6B24(CYNu1@=xElTV zocz6t3aJT^Q0Zn#=Fbr7+Fpxw4VK3m46|DW`mh!4%ED-b%Ij);m30y45YmxQcZLM6 z0#Wpd9VTsQ3*ndt8qO1G{tN@?l|NiV)6^ zE;yl+El~Wdjvr66ObOojC96ABG>RA?ILtwH^({niQtc-VxmioDi(a>{t7U zW~6)Jkb3)n(bu^uK7Rfj%^E(2J{~z8+`1XybzVT$Pl6U0H>61>Jg|}Vil%iW93COt0 z9ucq(+9=LJpasR^=IS~WVkGO)eMA3MXJ;o&0|aAjDqRfB%ou%nr8_jrKci5B5lU3rUL8%rHZJa9AoV-8;`{f}0V;VUVlvFWwH+rK@teV&#;eAe zj-3rBybjyGIu?)kX~8+|a%^PALY5{wOUKL-Nf*l{zJ~o5$(uA32$JqUc59e@PFnemY2C0ri8u#qVL)80#n3yJ; z;^D(bGj3#NCMG5#jGCREE(eeWg?MC_JLSJ9tCJ`H%aYwCw0D$cn%t7vhQ(h+TG|s? z0e~(Xjh5|*Ihh#kOPA)L;C2@SsEz+tWQ$YExOwxOde`6}U7Rtmv+q9RIwSzJy`3__ ztFR&4(9toAB0|YXYBWof3`wy+gQuilMvC@8HnKQKQc(QRC%`R1j#I*R*HO*3>p9Yv zsn#TBW%U6M;K^s-xIr|SGc?($_E(hy8|csO`vc;Yb)XwbxmvQF4{ z(K`Gm1wVr2*s+#L-3&HX*7S^wZ{NQ4GgwkNOyYQ^ySGiv%y7X#%*nafN~xkMDoS~s ziDq|X&P>XV;83A%{7Ili1-@;T|G{fsT>V8>c*`+&cFpUG{ZqUTXOHwKI`k;4o?Wk4 zURY>&|QC!%Uh9u86-M=z&!#3139k- zxVX91upSf7Hj$P96$%vpfhYkv3;vDa_m@;wn`{S4Nv$Z77X-@X(zHZ~>`V*a(}b>KQ$^6gt|2yiN& zZD;Kh_0d#L%fA}hM`vEr&=a>nbYGTs05CmMMgN84fTT=lxxmRp^; z76CDI%@55h7}<+UO9HYGRSO;~$jbvD#Qg&fG=P<>dP*xHG11W2822sIK_WsgLi-Y^ z?<$65n_9HG2Zl_+TFJP(-ukFRbt5CMY5-lVBc>k-HeFwiPU0_SWcr(xpKltVJtl^M zxc~e|j83pnPP-SSr3oz>x43Jg-LJe;TN#r_8lVNn z$UPv${d@OtIPR5~&khZR|M~thFvWVuT_RC4KLk1~xb^XK zZ|_~(H-ShU%I)7zP9R?j!-XqQG3Gv(vdlLW5uVE&J5obyvkuU%&*JOrYvtkWJc_gg zXn?>wE)I@_q$Hu0A2q%$fP-`TG0mts)D>8G+f@~{t-Gx9f3P_VB^BU>9DYqyHodfq zlM_fE!T|D^Q#kt@)T4VZiGIu=%^`&2%(8|vTdj2@|9V7MUESKKfi4NHPbKdiKgCb% ztxlR4AG76C4IpLt#^g^<>_Qiv`~t}Kbl+XC@EYMq>%%to_V%Ywb6KcLOCK{frsHHa z@qk*X-F%+J4ZE&Pn&=;k?}U2LFfTY`nk^5&LMCasuKcS)VDH5$KZRyc!MTjGb8c>l<$<8=6?`+yoSbg3=rF-CAF8XBAhQK|P{~cy zGy;gCq3b$aU@|0y4A80GjA{r(QRS!w`@H{ktJ}h-`cQGiV6-Jc7LIey&6_6xLTnJh z-HrNPi~tUCW`}N%WsQ7*=6CSnzP|7boBAmH+0(@2!_AK@BXo%@-`f2lHS#$$&3g9W z4gq#T<@6Kb#L%lDu8naQI71eYlm+?IA;cauH8zeO(W(53kA>ycK6(qy{ldcCQZ8rk zs)AxsG{b^QN=hOk6G-8;o^&loerw_v`eq-)O+i7kZ)-_7_Q~9VP$xi*(Dc*(G9%ef z)w76I#zl^zcd$h(>I2hn+;|R)5ZxK9dZ4ebA@oOmn8twvH1%?K#HFSAl)U(Rb)lgT zXp|FteGe&b?^@*Ks2_h40pP%^?6d#kZ))oJPWS{Qseg50=fkCy6%!*P?c>@jl`mez z*$w};Unk8c(2ZmSc=S_wkAxHz7vD{Nk(p1D1-C?gKE;pcN!p9$`di9+ugBedm>$PS zT334sysAh@pziMXGBk65`KE7zby=KA`L3wPF^C^UDWu=JwTF)Gt;xZI4*>8S-V(wq zdH8k73u>4439G7dZKc1OqLU=MoJ>n9f@RWJE!o2<-}?Uj`;Q-)_mPMO2(6!&7j{AA zD*#T09t)JWEioTEc8uydQ1MILJae=^c1v?=@z0;5G2kh*^R5>z6eJGx_YZ5B+1nrM zba7HOjtJiu`8ryB8tNl-cuaEhVz~7I*o(kEEjkSwGv$w0Ofg)Pr(@p$)#_<|7F;XxK zsjMu;zcu>M46Xc4Op+rac4qHl0_dc7Hs)Mu;R|yhy%V|9m%Lc_bE6^RlrKKt#VRVt z%z8LlVNDZ4A8zu%CPRO6hF}@#w2+-a8bWnHRi;#t@?<*RCKo3sAp$&!ikc~su3k{} zF^P8yfV>O$0#;#=&5-=TMvEeXs_6qo6BP9i8n0F`eOkmE4GF>+y4N!KwsWz`Q{r-Lf2V9E+o+!$u1krHQ;U%p*f;rS}=g{J~lSps$<*hD+dQDI4{Ft zKk#T-bnWj2F3UrKBe4j#Sl|dAGBnDr z?>wP>$(EX3-q1?9ka|J>r{lv1S;K^R9lb-+WzPEA54<(5+`1|kQAFqNB z`7or^%aeWR{`AR6U;i=odDGLsR(lKSh=zp1uy@xxAohQgOfRZqzvv*(LI}u^oQCfX zOo%QFLDafR=w7@C#t{L5LyFt;=$DLw_@(8gCGE7MJDpFc6zBEP@aunj~n6}%Lrgwx-+1g5gH*Q9Jy=ITQms+ntF)YHtHi>7e z{E{)FqoY%fTv0ONlUZNZKj^$rS)1RH&fiN~L9?0y5om`FT&+X$GBUtM?lI0T6C$y) zpS}%J)J#IJ>39Sy>0(bA+n{u?Yx4H4uk$lA@BO=}(Vzd5$omDQ7cmE-)-4HZ^b}mV zvX7USA#V;ab%iA%XhU7sC}Dnf;Dxkx+O?a4KfYr#85^(_O0{>jc7rRt+2K2&pklD{kr{kF| zta_%@zI>^jhYJa=e=5vq+4kY^$Lm`Myy-A~Kt6V*M1F&EAq?;7{6T_a#LdGB3R(uB zvsIyaHIWU5TZGHDK8lfQTIMPeJeG! zVN!DcJ>+Z%7U)XaZcXRn8_X-zwi0w)JCVC+^IeA^Nw{ceV4xKTAp^ojB^+xRMMXW) zM*cL#4KVtV(NS!aXTjj&;(8z8$J!l-=^GOn8Htih{q@OFC9NHTW7;eOpSrP~eYmlf zg^Zls$ojudhy|_`!D+31eXGc{A}^AD^JZ+F2<4ri;9#_rgAgX{?D8QNQEU~U)wp&d zO-u^aI5~Y>d^BlUamTJn1`DT%&`H?8wgqGe$yPJLjBzR{D{C|$$ykxF?LH;Rp*0XNZ_MDOhOLfROu`Ubs-2m`L+he&X)!+tyIh zoJAdI(TvPbp42n7bWya?Y6y>hA}Y9;GW@RtZ=};g1Phm9uOdc2J*Vl0sxx3#8Aa$j~>}0t_nB) zKtEJ4fZFH46FycVdIFb+NHK>$oG}ma6GB5TA2&DOS?2>YSlH+$?mG#9+-T;EM(f^k zkh>YL-0gEoYAR!VC+I9PGr>VYGUwCYx3xXt$`4OfAOC$Pn|QFd+&apm=i^7*oQ;L} z_{7A>*;xC?7^T2@?m*r1(E4DgZ=~nsoJOhwiYOR`d8_OZ*hFvwf;L25T={$X0-WSX z*{k~wgM_2n+IN(^oxs;zuOfY6t=m;W2a6z>FMd= zsb4$p^M@-`C{R(*LCJ5D(L%~5u2Yvuz>}#U(}DdC1c3Nid=sB5lNQy8=+)D-{>s|c zU&iay`yle#SB3AhPer|7<7jR(Iq^_&fA;3%|^1B4+vjFSDFuI$1 zx7OFj?>jtftYl!Cj9Gbn{)KqUsZ*z5{AJ(14NsL`E_04OrU}Dib7LcGlal{FdfyD3 zPF0LfIBVddxaB~b4IpFo<2~A!-85vc_|$d<&yVAW)ZD)x%i(tE63^bfvF92^v{KKW zKcB*-czx!<2s}g?owkq4N6AZAHdZi4vB*UNM5#_C?f3|gI!G|A`E_ z)}EY*^Qcv2D?sxS-ZpY&m^mO<5h6|O*Ao&PK|t4_xk7mV2YCR&hmn&QoY$_=WqQ%| zqF?c-hq4#4ROZY+eSe|ri^UtUA2b*;9DGy)#BGJm~%9<(V^Ax&T zs#EG`nZeZ+AY<@m+px1V92V`g?$FzW)9(W#5}9g{u3gYr z0-9I^C(-v#3Np!h(n7z1Qdo}5U5La6C`aEGqT@?T#W!|kx4HYmI#$F|Iqax8xMOq| zx_3yv>w2dttZKxss^wvtB_n|A(y-eEZSkC{W_vxN6&jn^$$jC2IZ@TT z;_CM1UupZ-aI2Jsgmxud1u}<-5Lv2Oq1W8o(*s>u%6D09A9hDnK)FMFk>!KshsCKP z{bShGX>WIfFM`C?sy{Xm#&l(`lf9>8$;!z|qDeNT!~HlJ8CcPzIx4po{^W_Qd^?V= zOe4w0!ZPy(509(x87F0)AwNi!pbsE*`gBgH1H7xpj3{NHMqPPL&kDOb8^onUvbp;c zt!q$b=%1P}QSyilTRci$JE$o;8K+2>hq;Q|%F=11)VJNr%R6Iem`LSLVKU5Z64GH38uUX-5*b!E2>2(B+^HLI=w{PuH83#oiYSMg=GC*}iQWs*9$4dT&QP z?RF0gjgJc-Jjlh!xZ@>l9of%tZ`#riuUg}~-%p7yhb1A62Cz0vjkDR-XzO>d_r*FT zq?m}Qy3jSbL@L{nB7+Q~>M-^2!7dA*XL1uFy>U`8ccGXwpdaFn3Haxiw*RQ*<7*@~ z#9k*?P#>#>cBg{77q4E`2_!R7pVbw084^Z(FLfTw3p~fH%)DFRD4yMIZPpqFnk5uv zmOU!sqO)^GUS9G@vi<2qQ&V5iCkWz5dyR5dP&>2ldR|e%5XogBp`gG_o$t^&I%}`l`FX&AW#D{lh#XQ<>T7Hi#Q1&6Hut=$N@U=OPbL5aq<}xiXvYic zVEWBXPQta=V|^HAo$+y|pfuzlJKwy~O8*ZNqdUbV@F~8bb1d)~_dUwZB#*PI7VY&+ zsFd5>9E??K8yikWM#Q0Z85tRwdgk)-@ukS0wzNEi zI4;~y{x@=Ak;{W%@vq3&mjUQdU4mYM<^WqV>TSwi=av{0bt=HBqqu<+nQ zY!nA4`T*dKwH3ri&Z=q_6qJ__4h|yq+w6X~psWm1&IM1;F!Wc*^-sC-hcu7h<$L<{ zsa`VYIIgpGbi}w+fZ=^}?fe10y-}=Ek0aUdVRpN`uL5=v;&~&24Ivy%Bwe2J@Q>Tm zzqlx%Hw9NvUq2qIC(c(0Qiq6H!&}f;${#+Aij3@fFXm$#R(u&5`1$#HFcyS})@JOxdshz{svc16 z4czZ)fES8_`T|r2yzfJK6a;x1GX(Lg*=7+P+yu?Y#8gmNNIE_fVkfWJiFIO`(`VC9 zK70%FTkyT2z1&ln$$+!soe}=)l^jlcz8%DGtk%3J&nFb{;e&* zFEdP))U==(wZ5~zCt9pqjD#Q%y}Z0U@_Z4Mm^quhKSQz9Mng|8{Ey!!8%?^fuEZ_u zM!u=3X=;)FCXQh9c^uNF6RDA-v$KeW(bbWbuIqd99I$~*@@HGO+MaCQZBT=jL%I#D zs*0o<;x)ycDy^u1|D41uLzkM*{$x@IbFDJ!G_<4Q7whM7vt%_EgwLGeF?a|w52?Dx zjO-nFXBcy!v$zPm(A!qB38PuyzCbl_NZa2jtm&}zjGt!p(DE1kry0_Wux*GS@VRW{ zoY&P{kR;D%AhOi5W0uB&1byr{TMOnNN4fAm)kaH%@25pP}764ev$)UZa1Va@@d3ri?Xl(GY z>q(ksKv;n&Kg4KVgZUmtaUME+_u7H$7-+8$l5ne?%~c{21c#$$^m>WzxY+d=dLm=M6l1uLQz}OazXEu6zaiIp3ZD-xwXedM^B|n7nYiMW) z3!jA;KX}7whXwPI>Ix!o$+k^_FN%ZA~1|UMSfl0GIx{Zxb+V-7k+1WHdk|d&IiRWdtaX{a> zUW}yUs}d|S+rpLuYr)RjWIsO?EkZ?=d%ruC8^1e^rRHVYsyzoV!17tJJ8c317m{z_ zS{@vS#Z~4xOccQ`i{Rkk3C?f0BVrawId2*J2s>9&M-MA>Vwg>EW2+b7M-l_%>wt?xM zh1F1OUf_sA4y_3L>+^d=H~vDU8_Uss`HY(b6=zf{DJ~!*&CQzK5s<~&9)_S#VpsT< zYt6nXC=0FoPKiweD7^FFE?BxjP40bCcM?2%6fV&HG|F7p>_?9tk$k1keSJzA z8us#b4lQ0WRfiQ7>+$rhcakYH@7=rmpOuA$oMU4&^yv7bM%&Wh_kY5^#@|N<*9fK8MK&$H#Rp-jE!-X%3cnR(xReeFjR!}#LTNk zndQ9nVC?|ufK5V0oos>Bif4k7e!{~!PHB$J5D`{qC=dY#TGzYB>&tci?T@hRk{Ol= zjw)qcN&Y-{PIF7^>w=?d;+;eU*aifs_$qs@;}UsfI*^LAvb6k!ZN-ZhFXAs$Myd;t z`|h&i2l2b8DzOQH6H-!I>b-enb2|Yn%O$?#HOpLYt izwrML{(WeB2mdaou~i%O8vMYI9R|9lIu!(m$o~V3S5sU7 diff --git a/IWCMC14/convexity.tex b/IWCMC14/convexity.tex index de0ddbc..d88481c 100644 --- a/IWCMC14/convexity.tex +++ b/IWCMC14/convexity.tex @@ -12,6 +12,10 @@ The function inside the $\arg \min$ is strictly convex if and only if $\lambda_h$ is not null. This asymptotic configuration may arise due to the definition of $\lambda_h$. Worth, in this case, the function is strictly decreasing and the minimal value is obtained when $p$ is the infinity. +Thus, the method follows its iterative calculus +with an arbitrarely large value for $P_{sh}^{(k)}$. This leads to +a convergence which is dramatically slow down. + To prevent this configuration, we replace the objective function given in equation~(\ref{eq:obj2}) by @@ -59,9 +63,8 @@ one which is convex guarantee. The Figure~\ref{Fig:convex} summarizes the average number of convergence iterations for each treshold value. As we can see, even if this new enhanced method introduces new calculus, -it only slows few down the algorithm and guarantee the convexity, +it speeds up the algorithm and guarantees the convexity, and thus the convergence. -Notice that the encoding power has been arbitrarily limited to 10 W. \begin{figure*} \begin{center} \includegraphics[scale=0.5]{convex.png} diff --git a/IWCMC14/main.tex b/IWCMC14/main.tex index bd4e952..4be8723 100644 --- a/IWCMC14/main.tex +++ b/IWCMC14/main.tex @@ -25,7 +25,7 @@ \author{ - Jean-Fran\c{c}cois Couchot, \and + Jean-Fran\c{c}cois COuchot, \and Ahmed Mostefaoui\\ FEMTO-ST Institute, UMR 6174 CNRS\\ DISC Department, University of Franche-Comt\'{e}\\ @@ -107,7 +107,7 @@ %\bibliographystyle{compj} \bibliographystyle{IEEEtran} -\bibliography{abbrev,biblioand} +\bibliography{biblioand,abbrev} -- 2.39.5