From a4a83beae823c197d9e36a39e4bf0179131eaafc Mon Sep 17 00:00:00 2001 From: CDaut Date: Sat, 26 Nov 2022 18:17:22 +0100 Subject: [PATCH] last section --- Socksorting/main.pdf | Bin 475714 -> 477146 bytes Socksorting/mydefs.tex | 1 + Socksorting/project.tex | 54 ++++++++++++++++++++++++++-------------- 3 files changed, 37 insertions(+), 18 deletions(-) diff --git a/Socksorting/main.pdf b/Socksorting/main.pdf index a5cd99cda3a374ed8d818bd5af1ca3593d2b9560..320213da63384626c2704bd26d4dd595ce634b0f 100644 GIT binary patch delta 25775 zcmX@qB73V}c7g+=(MCrT#`-P$H1r)JlP#nzRD1fw`Q0>@OGz^XF?~>|;NaAgT`cQy z?30KQG2xeU16&i<0v0WhZ>%>X+&Ea4`B$oo?jxibFibOR;&cg>0d*;>te$ z`?ZayKkpB)PI-C%<{r}@1-%RQ?!B$C=Sufp{xwNW4Gl*^9Wz`ql;35iZ8#Di(ReBkBxrc!Wk=R<`@`SA+`8C z+sXPFkuQ4Y`pn*cDf+(O?UZ8%j{~Pwtz(#(=6ib8o>#rs?r%5TxG_|YWB$A;JHI)n z{51ON(0B7b)8A`L*1X>s`Du}L2J=~mXO)$ECSN>u(!eZs#`6iX8~#Wvap$U%THms* zY@6NuE#TwS2N3we&!_)Uf zhFd;4YxJzaJUnLET8>)+Q$POrR<|v;?9mMK@O!F!uId-|9New)zRcCz3c1LW8RWBnm$t3&jwV9tUt=SHdyMx z^l$rg=gxdH^~UO+8+jKuHLz`07hKc)#m$_%Fnjj7Gq+lNuO^3Hj(B))*ZSL$pDvol z?>rja_qcKPqFrZBDVv1OI^7|jwp{7(rr1wgO%Ay!#aJy*46`@!zs4uHp#H8)Lv>qk z$Aj5dmt2)n%qno}TK}?5x_ye@!3R#yXFbZyD+~3!ocMJ41>4X|Qis zan(c*#%Cw?96zRAGxjRg>g|6xeepSvmX8`{xg9j!%5r z_3a+F_Q~jFdrrLVV397H#%%pOe(r%f$60%~TwJqsdiTv|5_iQ4z8!wP-rwx1sCx9o z=b!)73p#T@(to~uLg}}horQr9^#1eDRNC~BZEq-hb0dfV zrFr7qlHZM`&aUQxRFw7Hv1cE4O}^V=rt zJMZz-!ctjgNuz|+!gZ^*MV{)Cmks#zrbFK7sc*kc)>03dLg#}9>>I3}|F}{X9C-Xg zPHSRm<0?yEPv+}i>tF4Bwcda6O-`AT!_oh*-dK~zB$4f^cA&O$S-|z4#e0Pn9=Awb zIxii&z$|YQm-nOa+yzSF#iH*f^l?3QusXHMSz^_@&X?iO%N6d(?!0wOVd0ZE@{YU8 za-Io!RlgPME;!V(u{-Q(Ugq{&n`~0}?_5*)93FY;iGbmgyB}SouG>wjHx9S$unt=O zqJw+siPnW34&{FnwI??RpY1;z_j{Sw*E16yWr&ok&Y3keOS0HM?*75Maq4fkK3wA> zDf^B~@K(|n-<|8Xy`9(dKJd=9uaWJm?{sFqbNXm1b~E)3Tbr!-lX}I)FVDF}C0>8Y z;U=;8nP-9h^m~spGfW)ZW?o!+aItoMgk;aBD{D%5XUe&*S+amzy4B_B*Sp78hzU$< z3;pzV*4JluH%z>ENw=Gmc7kzAyv>>%(SXAtQcLfoPdrIYF`AmMs@VKSBZnY(!smGBSCtp==ikt3y-h}l< z$o}P_4|Z;>nfvx|QCXUdMB4t}#(9r6#7S=9P>f*+I=SG?&(nny6(8}ef9A`ll(=So z#bTR_ZGM-Ih0N67f6nE4+pD%?bDmz3X86W(z)|#}z}EU+gHzm(nHF9P^{L#ccYHxr zx54>KYdbbGb89Zzdh>vln)0W3msu-9gaW=#G~}{oNSwF5ZAZGrjN%2RM>jr`s6CZv z^8PDRy@&YcciZpFJPuqqx5Kgba($lb*B$eO*BVsWJly?X=CC7wV1(twpDj_DYp%cR zeZsWCH7uOv_U*aTEbAL&75@H};9ekX+{(-SYqGPX=9JqX7ED#Y&~tL<6w`Cx9TesB zQjV-TBzb>|erc2B`_^FLJMs6#ZRfK6`90n0Q~!Oj#)ye5PyN*PvU$z8YjSm+h2w{v z+r7vOZRMO)@fBYst#O`fHq_qJ3wN zl{A%HvR#-W^hMJ4iSXf^P=)LJg3eDX-J3MgS>;3U#8e%{zN5Dl%ad;Hx>_=aBO=SO z$+YNO#8HMeNol4o>Thd{OYCg#q;X-e%+m326CvCnWIe&p$k-_3Eq3mntC%x#oyfU!xsFa=Q!$PLi=k*hV z7u>j?w|cp0epOEML5}5?2aLJbT!>R-Eackd7s{!=SIz$ludlPXgw~3DKN%L2u!C#L z>$fl4;}k5adx>l5;olYNPp6h1QnRSJHdC&ItM{bOsx=C8=F7xSo3ikcfndJmk>Ju5 zy-{fq;d34bto|Lhym{Kf!?u>M;$}ogFSYlR-ZiQ3bBy8z{cm}vjINhjs-^6ZTQ>c- z(~{WZu4WH({f}IGyI#1V)6%A7V^EE!R?R!@m>%i+y;5P0*P4Xw98)JntyjNc;}yQN z?6CD&-qi)6R~I(fm>QK{h}PxwP@i(?@yT;MOD;LF?mw96{q47fDocpOs!#jUJHIU8 z{9gVt_1(ePcSXnfD!OkmaOQ6`l07cQQ@c4r2E&6TtD!WV{g!|RzZuSON-~T zU3pileCnsE{B)u0bB`ipoqn$8fAQi*!Y7Vz_y2G)wi=nn)~@WgulepeRocux$EW^% za`T514qMc;O*r}HNanM!G71=GgdDnk&*SZHS8LC;btm71mz`P?vvzs2$IHu^mNT-q zZr!wH&kK*UPMbgn*8umwAov1V3c1lst26Vpin7Ju9!Bz7coE^r}_KanV(e zy$z~Q=&P+Pu3y>4EUWE`I;SP>}c7#)~&4{eMpCyEuFE%u`=Y zudQ+YEcz&v!}9zsf%kne90o_QjK`^>!`Weaw1NX3qtWkbOs1u5%1`sqfou7iy|ksb4jx zcwJUdm(H;{Y29068$!%Lsdxscshm+QX9$?6j#uOkhEKR4a^(H+E> z85>k=xu&b!HAmrU*hL*y&c&j0PGxI9IeW_b|CB?^*R?K}oAzwWg73;P`#;6yz1`GZ zDkN4{UgknwH$>`opeT!S#~6 zI|KOjO1DhoD4+XIX`8mhyr)vnZ!efVY3Z^)>{X^s5^Q*YUa0~yHnXO&CfNw9Qf^x z+_7m~UlnH;&HeY_(2N5!Bf~21?^(2W|Fr=1zkwl*d8jt)E+9pyggKaMP&z*so6wFk?H*>Sk5v2+8%e3#f+)`=!6ch zBfgA{FXiOw|NAy_CQC?~sp_`>DR+*Gac-%>lXGk*B zG@ft2>gX$z56U-G|Gs)+zWmM_lQZ&FQS&0w_})0J=WCnUo*c<*y!7g`6q^}oXH~2% zL#5oN`+BeBF47Q=UG+IwJN3>Qd%u90^{<<`;|}$HEuF^Sd(y3|Z_iAwdtE(>d8TV( zb_TC5Z;LV9@G>{SqJSYYkMG8g%~emuw{6kXX5a3)KwkD?q4o3i9AWJ9B<(T}pVU4W zxYX3{_aPOB$zq(#=KL)%SS~wpqL1FKRSBC!PNfM=|95rXi8-b-cJ5p5b7+ZDg|Z*R zq}IFjCXa02Z;8rJS(arG8)dWnv}COA4j;$uolE!mUEfq;WbklnLf?XoK>H0oLNwq+Wu_6P8rLu!xHBA zF8Vx=;C#|!n>lOYmDwEbfz`)Xeps;OyK^F2d(x&;RT?)KIt^Dn&t6qJc{~>vnF?&KU$T5z=tsfM_V#WRHZh=N+JDZWC`tJonAHUY`VpA(J96E>mAABie^h`0i-lp8&G{Kk8#eO331?uOyt+kSUYtFclT~fnyNMccAMY>O!kSrm{|Set%TF{oo4^Ay&&JGV{NCFq)cqL@eNW(fK=F z`o&U)iocUue)WDk|NGUh8L5noC;u8>?vNEL>6!hhzIw|N35#vVI76my7B1W{@zWKd z!j%~hcJzeS?{>b#x%h}#>I{R@65r%bZm`1W^}>$3R8bCT=>HU^9*>2O3tEIQZa+XY)Rxw-ZrJnBND4(@z<=v)lF3Ejw zS!;RYuj*Ad;lnD=4_!TBQ@CEY;&RaCfN-xnt2ZC1WnW^q`LMSU&mZv#iH*KbI;_nC zt>lvbPIHX!xOw1NQ?Koms3YwMa<(*d-Hfr~yE>KOyk^U6w&eI@GD7tgf6liiGlcLg zP_&w}A;vmj%hBpPiYc!mPF#uOn0af0vBc5{hpmnJ23u_>?O|B_c17mB`WeEPPZ^(# z{rl*`{6l9}aQuv~*K_`JJ3pi3YE%EMUbDbs3F_A6GoqHXEJ)`(5%5uFbx3xV@1#i$ ztcw?Y7CaELKzNzWjaG+sz0wsSJoTT#xuefCe&<@o)BN*jlGJ+hh|?+aI_JJ<-z}v5 zp4VgPR(plyiDi=m4_8_U^tu)wTk0U+z9vX@bC!zSi`LG%sk^SPe|~ClxKvl_1%5IA zaQ?KFeiAP2eM{x)LS9X@uUmiTmR5e$tDAC%_ng)4E!cEG|Imfas}?ercRXsSHx|33 ztk`MHr}stt2m6YGiSy>|qU5`6dt^t&7k872?(J(YvIH`+^jH=KO=r5y zva0?$Q?%6AA9GbU=0wG;>8f&F`%3DZofgMt?#~L|PvCx|QjSgMBg?O9 zZvEaYaV1&l@pMbRTjd=O1a%g_S+ljLH#7N$P_*T*E4;_vY_!eERu%61?fp>k^0(kQ zt$$YQE3Nu1rBol${OHo|ji09HP`Ixh+es3lK6YgFsV~IZ?6@uT{^)l zWS;1(v~{Wy67!~r%-VdW^!vwFyJqc~^99VZb#lF>=2lHualTrdzn<&)rzNv=7xABc z^4;@BcXGePKK}DAE2}U4xm>FCY~y9m;@wLuRq9_)sPW7wU%E75p8w1AqDPY>|69Ga zWl@#CyYPp-WJ%sMH*M5kF>f93h<`S7 zZk@blM&`}yhrT{I!}XSu4feuW{vmco6gV+8G(DCIJy8 zJG3UYirsfSxioJ^_bu+ODOD%`ZjBIq`DY77?C*)6 zP;Y-(TQm1xD{Ji6kNW?gy4P0!K7P1-Nzn?w4GUaXL+xGQ@+c+J`8Z!f$$={q^lDf7XulFF5L&%N|h_w^J# z=zVI+W4_$8|Evoq<}Ni;X4?E|eOEGtEIc}r1f8y)pOW3ANM}p79o1QnTI{`*{{t1_GYIu zIj8AaJaTJJSG@W^b$g8Rx}NBQU&eona=)f@gdUy~_Q2i!bmBE#2Px&!TVE1ZJ8|bG zni+^o-01o{NBRDmUfZO)eSMaT4;G8b-V&27W{dHAyz8(2CUrJ5ebxIXv_4Gtyv`EH zXg7WKb(Zk@7wKXxH`jd3>6p6Z3fniuA6vwu_Fb68tuSfV)w)ejSHHd6)T{9~vwcp~ zo4NcKQ>VSE4X?fy=d=B}iG1(e~bG2eB=IO z<=>iMr~3!@B~6a#)>fS{>*HqKyx!KI25;r`i#r~#5nH0Pp)u)oV0nb1zfWH0O+IEQUw{9S zO__ax*R0>VeR(sgcdG{mNa_4iIIPplT(XphJ+kvK;|VXRL)*{!g_%ukd*E`C;R(}z zU$)&j^VUpUJjIwT>#ne+)o!(|z1^x#)$f+4aL&t6x}Orf&HrV!PhYE9goHoWzpCzg{>IE<@zp$mP;~fx0iOBOmWp*_jKdar#4zFySc+Q-CfHR8CKsQsA z$>OPRK5VG(xRdx?S#5Kh^sKA^_H3?~ah#e_34!aGtVMa6HyOqSFJ8cHE4Rb?1Mi&0 z8!H~!)v#Brcr0;0So-|ZBeJnE_qEm?c6D48Ik_&VT+6*Ps4(#5ruAcvFpw zwW!$I0|(xla5MJ&{kPWNeGQ$TG{?CaX+++i z{&@G(gt{y8>m8*No2TzIIWz5YawpFn{wqtE!(3VYG;i?C7AU+F#kcPAe+I!ECQjq+ z?{2eb9c4DMG??fhTE8{gJ6~ld@4nyRUkr;kge`KhZE|CNyHPeJ-?8TQ8%@WelPWiY z|J7-9R!!R#v#r|DU{|#2#vjkz!+LH0zE<(Cud1l3{_#@uj;E)f%3tffe?L236s-(W zPY#f{qAniLaQO1={>%F5ng=~Hb^h8ux1X}-+nLw;e|~yhKl4;DVBY6?uB5-LmHTV< z{`vLo^WoFC59fc~_M*kbyFAoMtMu3J{`UB~rQH7)?4R!+^x}d4fA8q}IX%kfUfkaA zUtjyPc|_-Hl6B)=u}@q%kK{-F^P0)>Vrq zq`K6842-!X_^a?_o@%(1D}(=$MK9{p!b@(gXPtFm({~pc!Jj<6wuVzL9%A1=aq`=Y zns3ZkzWkNa^_?Hct{<&=Fk<1_z2@x=3R?_~+hp0QE zT>D+b@vHl*YkZY_9I>z5vpc;mNZcvp&vq&JVfy`tMX&QaLoX@Si87y7tL>BezwgeG z1$@60%(p*h$PF{7pJx2&3&%mu_c8ONGZIhUo3QTN{mZVaSu2)acKTmGSMT4K=km|K z{E6T7xXdoloj1gT0DJ3ta?5dlU+xdbTvX9=~Sp8Gw*J8iDIj{WYO;VbqC;r4H zQ=riK+?FM6t9*2JJt=#;%3)`8i_goX{U=NQZp+;2s9k%n>`|rZ+sfR_3%QQ3tDJNs zJ(Vf#Y0o|zt&^uK-xy5jc3w7J@oc@gZIIiAQ{m#fEDxTrak;yw_tL8()laY+_`RPJ{KMydUZQRIBPwR${rO>`V#{M!E~|U=(PxpwXOUw`-w z-3>3V{;0YvbGY-<9xhT`;4fhm*y?_>@ZzfC=cl% zq5<*@dg-6-U*!Mn;LXnAXPPS2|L5cFcd;vE9gJlI-4YqPrD_Wto9n-+B^kuNd-p`@ zk(Ua~O82OGWsB|SO*B+lrzrBm$diov)r;C4Q7ME3W*R@$4)1S1-Y+-k4-@d8# zQdu(;c&>igdG*4hPs~@I7%Y#n78P9V{eq{DD`xud4@d6oG3G5>9xc+pWKGRBcF&q` zQ4{Za)$lrPZ4Xkl7jX$S{>S^Re&?g&Wsj@o8M`=~o3nM>_NL>~{WjfaIMR+V{tTQg zIO|Utho-*~qva|=ud7ZA-xTb~DZ5g?`|Pv26(L>8ADhF1^mgAny(%=0`)xG$xzxiN z_tiID-yw8tR_ydVgXCpC)638QP`sZ}peEX96})W4Bvme@)yyxhPs=IR-}p(#b#6iZ z?Ac)_p0lqwtkD_H9TULIs<`)waR=g3qc*Wu{aI3+BDcr_{T7vz~RHa>r%*)K%Hf+QY3kuT1a~ z++U`VyyU?vS+159i#NQH(R#V~?gEu>by;a_VWqESXSQx+np&&s*R8KB%Ivs;;jqGj z(@PDWTzbv1v-f69?c2+xrSIQWu{UR3&9*vlLFnU|6;6&n7Vf)w;o^3qoUYFip_9*@ z&bL;by$+pLOiV|4f&^Z&Fi@Ze}l3(o!E@0_}TutaKU2Z`d1Tz ze9kWSZKzqg{=uG0pN}1{{xjKp=dy*4y@iJZrNv*#e%mj*{hsiaoVOBrU6sw*Pjlx? zdllh7FFhztFO=t%*vHe=r`PDduhy?Kmb%j&uNJ~qb!`6fy5~Q`>Z8itS}sIwlhbHh z*TGu7&Mvz+|8V!^Ye{ByjNM0BlMA)ZyydH}&WoJvKeb56EAKsb@+tnGUKf|hz7OGE zu+sXY*qUu#63OD9IesP8K7aO-?cb%Vzok~qmCnqp6bo{?HNEzo&6oct-&`xLwPKuj zZqv_qR|CEDe%_m-^R)W4c*m;xg1F3GhI6<6{(V?>e__+E4d12z{bW6A`^9W&<%`Mx z-yTo5Rna|sKR&~~w&4f%L^oCPDwyPzF+VYX z!6k9ZL#g=v=_ji<&UzkoxqH#t(p`7gwK?oL7T&KD+LGntYZtYpJ%at@LgPopdoR^r zWp>$n;6&wo&c_V9+q(SV(WR?im*>iSKA=#stA3^X;@@F2JwIn;b=&oX z_!jM0zOLqVp~Cd?D~Vk%C!YE7WY^>(o86Ny&5Seu{LI+qfquuf7n@&9W6slD`(?_T z!*(jSZHliXtUPIFxs>J9TWvRug?2?t%3>xL%U0H3l3sc2du-agI5%~_r#j5Pk7edQ z-PLtg%H#axJ?H&i%1I$F+1|h1Tz7rZ z^ow0bPX5^wG_Q5H;r>}6$s2geRrHz+-bb3v|G4O<%NxU!$DVzgXu48~PiRd)f8C*V z|0i@a9#H(hQtDg1R}14Y-Fw0pT^uznjyVf7yqdv(d6D1xZ6!7Z%(rSvMFZn1x{u#j z_~C=QbC;D~s#@8$#q%eMYds8;d+f?BJ*(78Y6Z*B1BR6{xrN7{C~j)`t0sK-?RVQP zUzwKtou%U!X#S%AWRud1Wc_U}n*=p;b2oqXTk_2>;MK2LHjZ4+`RZS_T(}c>`^bMc zCX1VGjaM!>mRNda*TvgHuT-uw_d9&y4d42#Sqj$`>Sw7Ry{+yU{l~6tyu&F$6!!_6mrl0w)1nD+P0l8w{i z*6v#Hyj|qh%@BL{3_DxNTPqF+)NfcM_bg#$Id>_Wn6zT$iu=B|cdTD^*R1@)1oCDXqhZ}X7PHqFYi`nM;*_5e(V49b<)aD z>!z7*7ZPv?Sh#qVVrs_!l}R_eEua0r^HPQhG#P_BEn{w^V4$#FZ#ir6OMWv2eV^34 z^pXrC1w#W9lj({jY+Ch(hNfo53U+o1V88{{U2&^-J8OXSEit{G-6G{2@7}$8w~m#G z#e);i@(KC5^w>yu*`jy8|Ge3Cv@cE;M4-Y4#)SECIp5st|P@>08!Mxl+ zMCn^R+owDQg*TkR42R~uFVQZIxr%I>!z(KY095@Nd836jmjMb(oP4~$ti@k?)RCe&{J=~UN69-aN_V`Wt~&}3_F<|?rrP4v;QS;O^idm zMrHkBe@T`fI~`&fzWIALFdg`|V7WYxefa`)4u;~-46Hx?Zhv%Nh)rMr0ACI_^Nj|X z0|GtuH|8fy_&fho@aMY+?lBb4TYmE~>xV!8{?u0eGl?q;=$L%o{#pH(>Cth4X9HaO z{+{ot|9|b|Nyoj6b#s_(82s!UObuRWEFm_fAFt6P&A33 zwd3E+!@(c_O>Tc4pM3Ds^-~*|{=IeN{$+Anf#J0M;{1ckCz5}EIr{tm9)|jupZ{n7 zzOVCt`^EqF8>ZOIne#7T^Ph$P|F38~m!Lj>KhHe3o6O&~)Qio!u>5JmpY9DMoSsOj$11NRiHWev_;`*>dRm%sSD7jq8?OyIjB`{(yY z#sWLjH}xg{-08nRy>u+Be|1$}>%wKbzqgkv9TCg=Uj6Y0ODltex%mSAW5KWIt2j2u zzrWmet8veNiChMAaTc!X`dv&FUiu6P{H2F~+zqT_*v@w0<}tn>(*KwRnF?Mv%g*`F z=u*je$1Km`_VfkI(=W??<3IP`{9pRy|BD4g7z=JY&7BwYOS)2t_3vr77o8$cUVXgs zet+(~7jF*wM}IXx@SVlM_Rc@X7REahmaqE5%hAEKW8r_@&kQ?a=gC=~*#AhR{=r}F zzvWYy{Qt$wvAOeqp*Tyy?q(au|DxLt2!Gl#r~b6RkAb`Sh5DmEo(Mi;{pjAQb@xsORTSp+dGs0QN$pR2`ek-$ z_V*nJ9evZ+p5=`#+daWo{zcWc4eL&P@=oike|9f_{ZdBLRi>feFR%SSH+0jz8_(2x zW(Gdm_kL;hrmuTLUQC(8W)%JJ`?`N_iu!`l5B9Gx6x&tR@!*Asa7^V_jq2;)!_M)$ z`sKdLyUMjP`CjP12R-IJn>i}24@RU+Huv;uXL`KEDfzJdw_|gElp6NMfA~AmO?RfO za)SN5{b$bC=d|iSth!YGaW3QhYIaHHnUb2KkM#d6G*q+SIhV(DQs(|on_Bltz8C8> zn#GjUcZT&`dW?0A<<^9~5gx(ibDv*$lYX!FP>F+uv8((+x2#xK;e}JB=b8n+RbL&! z6e0WHTj1)s^y-~Qw{b7_`z=0mO7SB5SMrR)H-8P9l)hOGi73Gz3tzPs$L)ILQ)lcl=R;oPw9-93qw|E85m7JoAqtg|0x}x=GWRS4!Gv~%`T$t$JO=A687=Gy%nxg5V7;Tn6O0g z_Gf}G*WO~E)#E33;;F_L-gR9sYr`MxT3*ky{&Jmkboz(lRog1GFI?sk5brtdRN|Gk zXl@+;IlJg-DV^Pw8~QWjjJ{0Dow0b$>6tI;nRVaS%Q{V3?4JAlx#AS5o8gR8!VI44 zWlq^BZ0EQ1+5U*nXD9Dm=$SKZP2u(*8(e;PD=qT6wCJ$Nyu?UHt6K%)wI#3pH1Xb`+qNw{$nGALK5u?+`Mx-@BVN+!@`*xSX}g=nyVXaW<=)1I~S$yuKgs4T=JL^oE>)$4GgoG!hRI3OJ z7oV~Eu-HY;RNueVKI+=yBg^NXbLaKFZoJc*x$n4l>%-IaSM8fGN=e_}e}1Bz!scmq z!sl)%AKN0O*`IpdP(NNvUdl6PyTOqJ3x+4 za*pqv1x%~|8JNixJaqQ5{VI^*eKup`n<|lEF3^48nLRJLbmgt6KmS(j`_{K2 z|Fqe(Iq5T3y$T6_8@0Lqz?A2A0~Rfxf59m8)|8{6<_rhd9w=3q-8bLolaQhA`3LPQ zt*$p&y?n=ztL$h`SU4#XENh`YNu-&Kl{AwreNXHs~dg?ZuVom%YEm8 z>7%~iTI!m?<#ojlrzc;^jAHq^H_c*)T>aiR{Aq7i{xdRjc(QfZmQ&wlqHgZxS+Q}~ z^sv%DZLc>5t30n+(c+|Z?L>F8+2q9bu#Z>WUl?sk&f|1g+7c`0w~A5liv8E5RS)h+ z*T>IZ|E4-rZIr#$*C zsC~Qi(~h!RrW1}e?Oi{i{@#SBnf)^)Tpv&TGJo!Cv1>`vFKqsO;?dr7jDfdk$qt({ z6We#PS}wb1vb;)QzDn!y$j#P2CoYa{D$!p)X-&!-&z2u2L#LHC%uC*v(stM->^*lI z=kGJCDpuaqGXM4XW45sA&EL5(P0C0AifOlBa9&mVv$MRX=SX_jt+vI-3paeM&)%|g z%jfU|GPz1hp}|)Yf8U)b$j3TKY?8K7iI=wdE3a@iSF`QwC)-Q6s#t8au)I?8?Ci}y zEBfM>hX&bBRc||TfRjsra;aDLQTWqS8U1uG_=25u4rZV77-t-B~2S570 zb8%j)cT-Pv_M$5%zN=QxYbcL-*(Mnr7E>?zY~|7qmSMq>5mOvPng1M^qGkQqVIxGc&0ZaBiek38G8eqZEpQ+`U>C@^{bJTN1hDN~3h>qc?~2 z#Fob0OZl-Z`;^4A?xrr&!`#*@U4Beq4dd38Jk>jW^>O>=$Q7v@=gi_b##gyk+{I?c zIhz~&*VA9-om+CG-?FKOUFw*G;ez>D)4BHw?*Fu>jQ{BD`d?mc`Da!?`TMsZNxfL| z!G{NPWbVJnee!vAAz!{u|2xaQ`3jlOqQ%c&_IqQq>co>Z-81hM>6u$z4Cir~kQV$i ztMcA#xrn86dH$yE_5c}QHY1!TN6JJyZPuX|RTfi@%^ToZ7ZXt^TEd`_FE?OOWk-qV<*KY@Y z<%xN(I)WramhVl^<)eYq;hJ}|YVRzm>ifCpenk0b zug&?t`uC6Z|F)<}Ns9b7SQF!|_4p`Q$EbsFWSHH+sdBHYn}V$JT_nOeZMFmX>|;Pw7~o$?<2Ap_1>)U zGFf}rOZlrL@2jm*S6hX%FW&gNY1y~4cTW|)+c)dqD^&}FQdZV2SI-6{O+6ZSZid^- zJ9CnIG!9B@iM^k1dqlQ>b$hALqg6)?>+3V7G?`zXDtRz;Zfv9Bv>cnXCuK9HZ|3@L zP`gjNM5ggc;?;?NO;YF0U@xmRd104mR>(ao;@qRQ2**o;S53M)3@=6)r5M=dh}TJ< zJ+>n6%A!xf;aM^B?6=j-Ox}Ej^(L>1-G*x`bSwMJ_;pNmn(|+M-Q9icdyMs^h`5Zq zT4Emcw$E$N3b;IYrt`bv#XP?oSIf(|45QsrPXAJgEVO*_@3q7%=M3e?)881kcDiZn z`wPEzPwGCFDwFc9@P9{DcRNed&ZNge4m}?{x?NWA0_YC)UN!FFJ29D|9t~(LU4WzyMNi@ zUA_+*RktXmOkR3ULh^Iq627?2TUJP9gddvi^q(Kl!Ic%;8Me#gBj@VcNxSW{OP;&g^!$8r zpeXL4?~>Dv%#)4QM+!^&g_ga~}pxRd+{ap{O)_J3T~PBziD3Z>~_?Wr)v*a9$G9B($wOAbw{sAz2npEcl5oK z!>ZD|Gnl8Xxy<)nWJZr>^Zu|rpO>??7%W(!v;Xcf*`}4#!nQADubum3mg!QPi8C7o zLU*RxY__`JuG3PoFtPsHzUcOoS&GG33C>1I#!Dxzoz|hdR_U26N3az0=g!|kM<1_U zdB0z7%Ieduy0YAjRd!{17p|z8CwtT{eQQyBvDC9qWxW=kRQlVFKQqejMwFeB)$d#7 zf2=3<<|pqQ=C&na-<{H?U)a6M&Szq)du2e)lBpSS*F_Z$E8ZS?8@};xcPgVH@UQLx1Jzn(y-vX zd412x_@&bpTAEADdv~PB=-!D2x4T?Y7w$eOE4wHZBHm`ckNxP6&1L7$>o6vV7_ACF z6Ll<`)#ec|^S&?Na?0mVUo0TSbSz_k>WpRY-ye#->~~=GBHtN#)B43HtTcXiW18kQ zv-iRGpLv`*%eT^QImb2khkIEr%IG=OSt!U9MiF z%=I#G(Wy;<$ljy z6|q;v{M_POHJu*`*6-APD!}=Kvr$-)<76<`(k&6@t5!dGZ_6BZ`qHl-Th?~Z?b$5+ z?DnN;74pjIEw^f}*UYHedMa1`!2UTCH-CTY``>DAktn=}2B_o$|QIAZd+`(a(w)bs8eZ)x>sFdybL3A-+ze6)O#UC$i0de!wSO{>Ko z)^JqrbLc;4&>hujeO~9ihOE*IRl#-sRsLUJKDhn+obb#mS(j|SGkxVo zrp)#~OM;Ak{dr*3<)riVTypx-_TWgJs;^6qo9oysxgR~#WO(tzf#PM%eNxp|%I{7p zc{;m3W)FYzhG_?*KD*a>UXq%;SM;S>y3^Jv+DYdM|9$Y*`tWN@*BPgvj=$eG{GNWc zDyG_U|2x~6&A;dF{4lfq>-F6tcD!e;e%`q_for*tc=F7DvnH)y|E~1k&5WNL!)`iX z@Umq8x~g#6_p`csJ=S?lpA%K$Wm!d$UK$Ufg|)*q5;eE5Bx%6k80AK$$F{{GAnx4v!F`=)<;_NmS?w}fjJ zYiYoj!_n0-Clx0AR^EGix#Fy-j(eFW-ff;EyvX9ox$ly@x3bBJKivPbOSV2a&RXd6 znP11BD<1tbNl*Wi-;-JeQ`WGF@5O$EFiZF~$$v=t@b_E8nOx5^X%6`l%->y`_|ZM( z${JsfDb&)ZHg_Hr*jCUN=tr065crP-PdrOuYg z(@WhxK72Ht@w?Z{u=Dxzf9dGHi`%$Vpx*cHYrb{UvTxpS-*A3=Z5-G6_Dc(opWkQd zlK)xOy7)$^1Y4epN~MX0XkV&liSUd&KXlB(_es0%NX&Nr@v7jXhC=S4?|Za87sRMm z@32V!WpaB{@s&_!mcJ8z-}>-CN8t4)9o5v3h^+Zr*MHIRW}P&p|3XxpuC~wj%l?W% z{!O#%`ODVdyj@@ScHd96AK#X)Saq_ptJc%?oy4PCkH7zpE^E4JuGaNC-*{f_(_67i z-%7k)mK;3$y7;k|GmMw6b6tGL(XPs{-}mU3tT`Dk8Ra^g z$7!DYmy^6cALA~bpL{JN#g40IkL{gl=Nf;XtJzq8vsSi#iAz%Yk~M}$5AO4Q(?-~GB(@~idzf>y2>JYxSMC%6~8xxHdt-Li4< z*S56iEmt0wd_0i+Kr7?v0T0LAOZJ<$US%;)c(Zm-^qKHUcFpTI#g`kr^?WZFH+{*H zmnPlZ&{^R{CMiHGVr;VXD zYAtf5)$iToji0~#RKHd5`?7q$1rO~PUz8VGU6a^cZgBnvPq4S!(`iyVm+EZJEG;sQ z;(Dp{x$fUS)}_8(rEga(*!;0_L-0M*MG9X&8-ISgC{Xodx=fVM(=#j&y6Ppmt#t4D zT@9Yv`S5e#EWS+Ujm$G8mnu)nUF+@>Qakya>pZK@@-_2i!h4nnINf4>6Fo&_mW=T8 zooTOl1tN66PCRb0QduF6@w?27i)m43yIdB3`tW?~^cl-$e5^XL!0rCJ&hF%Y+vLS0 ztd2jB=#E!O~_5U`WQPb@G8~E^)(T=v@^DQBUx*3}eZ5P*D z^6m&*&zd|zwk2x!J2tKS#3Imd9(Cd8S%HPJAEnRz{5F@TB1hxtEoHv5)7<`Ciqw-& z3H9j`JIK4&Sm*TKk4bAS%M?0(x;?Q{+?MpcY2TWqWsMrQ1g~zD->kF!tZdiWn@W?L z7WS>E*O{}!FZ}I#YpK=^p_Q9C4XnSGe(&et)p&VvM$QHG4ozY1ZR_WhZ%&w%F5Yg{Yj5)_)A`8vlEq7xEQ#s4US4mx>mlzmZf~KsxoSyMJQfyz zzO?O)c#n4J3-+k_Vo$!Xx+xD&up$q zNM<-vxp2?!TZyV&o!+ti8&s|=Dqa1~?5pl%jqVhs!qXztw+2sLzTsIPALoGwHH;17 zpSJ#ZR?=l%B0qVxUcJLPGnqx_Jk9oI#4OvtQrJ31IeO(8nQP8>HWxSt+5bxR_}G!3 z7UJr@WAc(|zYdffu4wq&9F#uo=&C)xe7E&~_-b@#)4s)S8iRlYZ@xIC*om9_rqVYLNnf4L0<>wjl{el?$^ zCfP4dKBL8CN1~D4@wYBZKbg7iP9wR3-D-~D`%eP5cj=VJIFRZpIMFVim{ zW6zy`bCS91q+K84{_C_>UtA(+OceGk)^vU34vb7VqrW z?Bf1?^*Lz|qT`hmE9O?7DT%N=|8-)0DigQG?|1(~wxruPMSPpu7Z7u&ig`_-wqRDAz&{GNcD zn@;ze+uy&K?ckg0wI{?ecm?~@s+g#Io(;PcP0vNm;vMZj|$}G&ZaKKuGeMy-jEQH)Uv$ybjz!An)NBUf#Q7!r9Rs=*|z&<=BgGwb=d#bucDSY*B2SX^FEXK zbpq8-`d24@j{g=_pBHGv$MssNQe(E$``D6o=6AEF#nw&H^*r#j{O*p3Bm1oO#i&ZH z+Q{22eQ~mBuE(P_`;Mlyx$1q;;GZD$Df2+T>z@2GYkjTTe!jk@)%t1jljTnnEBg{( zr|BGBDk#&tSmU|2taMnf{bBD(S?FVv3@ ztmm0_=;___^4?2plI5Q6_3)mtKj^*HShr73d`;miZ#+pjZBu3c*yeX@^qRP0-^n|~{{8$X_wo9#BO9HAPrOby zs>+o35*vJP5O|=^~Fkm)6Gws^8O6J zv^=ky&$;^d+c8Jk`gZfTu|a1{MPz4wU%6HAy3Q(h?Rz`K5ACe(J|pTLx%y4z$tmgD z_mxBIGGR2$a5j_?xS)%F^FNZ<0=7 znD|fr>24dmwphnaD}34Tef?Skl^vg2CdYF=l>4ABHYfPr$=(Zrim89=Yw|mdR8kUu z&dPg!d&B)p?Xo$O-InP-)skPhZ;b=f$wr+mf7W>+Ylo(-r0}%kHjoVZCu+ z*;U7|ZU4BIJ3FtMqJKMc+YP>~y}K;xpM06b(RyR+uCqs2Qa=kF8yeRAF& z=RULiF0|^T;4yv+kZr* zF|C)5_xb4C&OPsS_}S$}_8KKoT@GDG8+VxJUEay4)$1y2~16HRr3AIaD4s+v_5d$yvo3v2V+XJ5O|!nGR*DZ~ORMP~~B@P4g7B`yI?YPF-xL z1tXj4y0(e0csMywpkDIGn#wnM9r=aA97&u)litnT+qJeLFR5masj)_#vUKIVb*iBY zBv$?}45({SyZKJ|UDZMHBg|qBRovSi>CNR8`+hsqb`?YEOSurWWkHR_{ke7WTG5kz;-}Xd%z9IE=V;`mJ!jutcH&;&KV!QF*U|Ztcg^jV z)t46D68$&$S%kS`=&O^NV!L$oKKHDwZ}Z~q3_c$aKKEsLRPMt`S;s}~E=De#TW#(4 z^^8QhtNfYP{TsJ;8Nb!BQ@nnSbCsM^Tfw7fKa8A5hVj z6p~20zAS%1*vf-1`$E_M{&sL#x`F|#!t3vXQ#DB1mMX8jS^9mO+u_-B-X3b+ z<9$Nx;oa$T-sV?NSeP-@Fn;>AAJ1GncD`AEbeFPlA=<8fH*Wu~rciiiXt3S!EIvl=x-^GghZ4W0qKY6OrD;l75ceTE8 z&y}r9O5_jSed;B5QRmL?y4#v!k}o7nPKi_txIN-#z07g$lB=-Pj*D9vnw~vae51-_ z6_fN&u4ywaelk1BuTgteYxOBBt#>m{>Ye`ES)&vjCb{AK1QGKyLTc&iN>3(x*u7IY zu$TSz=W@qRYZKEL8ISr&Qd-7$Y?J(cUc9(4@`#F(;6oPWr1D$Mj^CmvEob%B*oYcJH$HVzxK84Y?2R z({Hc8WxwI|Su2~%H%(XZ=lFAXKj%4r`Fz64--%Hr|H4Ff-wiqCwm$5ySbfaHtnE$K z-pjA)tmln7qb^3hp8~>`{ z2D^n#)mec;=l{%6i*eK~{xOs3oAj)6hO108?=I1AyTJaj_tU-Emfp61Yt@){XzEI- z+fKPX;SqP(O7W{X#gEs0IdlE^v5gv48Bg8>RC7*ezI7_wx;b}6m-b%%k_kK1(hMhO zC1uu^OlA8oBjFz|S-jv!SL~9&1CzfmNc|eOi#31YdZYJY*Jr4T{Cmt3YxwZU_F#YI z>pDyNryiW~#=A-Q)*PRoSIW*`*|jGwkv~qv!SrmCkExch+0nlZj2|w!OmgM?d|iQK zjn4A_zUsnE7CMd}B+vKit5@x7NGw0C`|})6Ras4tSN+_>pYC2f@4nve==0n?90mIK zQxb1go&RdDoXx*&N#((LY#kjeYo~D=l`q-*PH9&3AJgl{Zr$ImaAQ~2*2Kfyb0_wm zIdhoFJ|j8lLx|Cwwz|ddF$A_LYAcyhMApiM6^Nmw9_)LtjR8iR{E(uV;!MF1@kf zbwTlImkAQR(;j}FDL5s4*X1VG4#wTj)GOGJ{H)>Meko9M_MN|#+{uxOR#Vu&olQ{u z`0Cmti_Oi7p83x>jr@OTG+H|SbrrGljJaI)85pStl$Gq>fhPVg+3T@v%&MKAi; zm9yHQ(PpLMd()K*772K;-748UO@kx6z5b4Ys=)t&1S)(M_?QGN9AE30)qN{7UK%@i3oTHgOzU~Kb% z$F)7W%IyoI-`-5w_ae8;?#iy!8DDERv|YW&s26m%-S_I7cnx2+N{&-UT+SP8 zU*&wQ{<8Slci&#S%qmsQdGmWp!M50yX4_70y&fkX62SkMfpg#5b%9DNi)Zha`L`qc zRXB^C@uT>RV|kWuSK6N_JYnXgC30}iE!A)4+4rOi?3)x~PkG4of>ZTo6=-AW8w@GK%ch)c9y{IKc;;oIUxa;3$8jg|_d8ch?e2X3<(JmKAeJ@$4*TxsOtwq)C`e=ec0NzYTzZm9 z^4D#NzaD*gsc@;OFyVUg?3ep?Fy`LS%CuSZ$vrM*N!r;T3lbA*x3WvQUAR*>Ey8)7 z0K4vVQR(KiJMElHztyk*EcdNqO7l! zT!DXOE@}9$Yrika=~40a|IC1mcki<5d^@%;&DA62N#3)$S5CY$tG#9PE%wf>q@y={ zy<5#wL)FT2H>EQ^PK@)t5D~fevG<(CT`vDmmAOo9RZ^FlJXz^VbI;yW_1d%b@)nw( zwQl{Ay}|rmjoND&!Az#Y*`fBARBxMldav5~B1rXupyAs$p7OcVqBm%t@!iChvSESg z`@2EO-?qJ!tJj*M`>pdGm&5l3_EFo`yz7k9-}Xf(KybNtuIL2!oBIw4S419Nm+t<3 zq2rIcg_l1sUC94sO{b}A{JSOg6JK7dSN&D>En-oe>>($e%;m@9+J0?+vg43d%jDa4 za&|G~+?d)nqrZf|xkGq|)g}8G!n@}m>_w9h`JdKKt|B>dGsnPZxc8a-}dnVe>yD zna_tl%5zF-J(5}THS1?nkFtyCj@sYxd?Tsx#! z?73`mM!Knr^DV027dk~%`Ag>Y^%xe;v+GV(uTNcUpW~Um<~rl`>V~7asw{P< z<(BQYc&g1)5xveServtIjFj~IqMX#U1fy#!rxY`bt?Y>r|NCvz9~Ys8uYFHS>Pj>% z6|8LvpJ=)Af1$-6*N~Gp3ia+QtT=K0(eqU|KR=$~<6>{3TrIMtb?1zLkke}qI;niJ zeNu69)zeqe3)NKXEd$f?ZEx883W$aUzTuvH&-?iAiY&E?A`?D=N(r_boK-ACTQ zy1Q4?mxzAg{@P^}v-5J;@!#2Nd|ydzy4(JJv1v(Ys?@T}T8;0vkW&v$~$*zdZMDoowd$lt<66ExE^%aR0uqcY5kP=>>Y( zl9~BS*;da~J{{$iT#$ZyhbqsV)cu=RM$CCwJf~FL;9Z%?+2cobPRs5(`&*~5Z|%dp zbQxew`AZf!`9=cz8~=7d>QAk zq&`0FLZ9o>X&L|gJP%?Wxm?t?j_%)Q|%OdkFA#caq4%9%%cOZn)w567%?fu`Aod7%T?y| zNHyf_FZ+8DrH8kF+{@-z#AIPS(NUy+YgBab<6}Z~&%@6=&dXKId}kcGGNkb2yF-y; zOgFuqDh%8j{BllDe3SD1&#%v4J*K7pZ1VL8oaPp^T0g$r|9j5^oy1uuTO^MOAGCRV zDd~vIB7+pChf8K`sK}Z5#KLl!&^eZLuUWQ=Grl!(p5IZ2bR~@`?P>MNu&Nd(Qp5H7_E=*lwbwhc<%+|Y1 zN(pNx%a%eI;#WjPec zf0G+UKjNcjGPv`7|MWn*!DBn)qPE$VN(UvF=U7^*@6fN1?O;~e!^0SGq+V)L%ZCkp z2iObzI4n5Um3PhI<&d>7+EB#ziqZ8sBV(Ig$8`tBidifg50)`XaamZ!NOLrb@0nV4 zUSXX~hsB};)e=1izRL9lr&KF7TDV#q*PfK{FhRjdz-dQ-qSV7sr7(szCfmTa_kTYy zcdw85qxWAm{i9)Z=(4|_)B2VE&8q+VANlByf~RZj zE-bvRV3^gwX;HiU@cV{&=eF}^O1hXG^PAU{)q3Z%+b!p0&uta?YTLK3xbf!Of=aW@ zdK1mrrzJx-{?N&d(~^247rrw7^**Q1i(UD@NpE}XR4+h)E)Le$dpJe_7P@%4Xs zmuh*fh*7oLw8Cfc%LIe=+|C*h?_ zDZ4R9k72LqMiUQJ?QP0#-ZGUXH)eOHzf4?vtEqIdk6x#Zd34a?#{M;5te3}Guf6s1 zn%~BnTvYdynP5;e3eqd9#$mS$=@z`WR$;dPQ*Uv3-V!yC zOErlqr`KDu*ZeSzJLt7jDs1`-t2F-wFLN?djE_9Al0NkEbNK4$EiC);juo@LeK{$? z%I|dD#9sBvz}WgXydR%jpYN}~|KFEqhi}$L+MTN0R6olLf)`s`^L?CNCRS+L&HTa^`9I-{fd^w? zjj3n*e9898kJo>xvhH(ybUSB4l3+~w^@}GBcOH0McHo?EwkXps&TIC)zkbG=RW+Qk zK5<^{e*O3Ri|xLg+OjAx_R|&HSVU_Dw(VCZ%M4yT{Spk(QeKHixs9|IGb0>*(_khLi8Yjd#aS_IvzM zL3Wb-q+MmP){R}_N?-5)=C0LZ-Tz7Lk~Bx}h0|k zb*=JLp;?bry_EjuWi(6IUv*vBxp?WqMVd3)qYhs^b)Wa`pGUkQr=@RQSoUw$HOVcu% z(l~t5GyJEQr9G6r;q+IGWp>N9shy3yOSa7RnSJg`*+k{eGp$}8Y1+4PpLcNA-}8qMouZ`1d+A@1z2c9uTF>j9*lTcC!f$gEPvyy8h2NRGSpyt7ZUcyc(g|L9AWcERrB8!Y!H z7oL3NIq_>pqT~Ag^W23JN>zgljHFmzT{i2D`&JMo=viup=5XJ z%X*QXQ*We`o^JGTwEt-xeJmJ<9b`WW8e3k-#;(@(7M&}*V(wc9_%w$WDba0n-}R;W~a?8(C|9vu*psBu0QXs z95M?111FthR$E&;_uA#yIdz9wJcSjHo)#$9bxN?1_1X0CfpwEw?Td@|iY;GE?cbc) z65`V>a{1(r6NTC}My#uq_R250pBA24Z+7O;w?ic@8ak)$B?xA3=DrqRXZP>N?cEJu zZz(v%Rr&sBXwEwj^zteJAJ?xHTpOkFq{&p?$tgx>mh!f&zKY$lFQ@&?Q@&L5UH25H z=kjZ^#^2vC^#=S=-96i8+C%%EGO_!bTVh}C)0XZ19kXk@?!%(;hjW{52!=gc>Je#xROxF_yp+Sf(hE|=|3hraGVaNR^d?ZuUh z`>THK=}|2-U1i^N@&B#*(CemJ9Ck!>KeThQ&*>n zPhI`3(mjmXBAz8?tIEz)*-B=Ec$OPm?>*k!@y9;&rsg8Ve$eT^_p)(LKV-w+!fIh? zZfG>!+m>Ap!rY!`%f6e*&Dhw<$iUdd%*ff))Wp!j+1bg^$kEWq(%8++#m&IY)K0;M zu#(uxg_3g9dmY%N>w|;?1&)1ur&8=Dtl#M3dqhHHLbte&Pr#KGDsDTqxLR0xr|(E| z51g`8}=^>CE(`XF}hVC4>m$f+?W?f$IlTA~}<5?R5OyAZQD^}M#Ia=vF*P5(#jT<|XY_@za={@PEQcIEG#?O&YkuJ2kpUCPZ| zS2ufxe`M9thcC7*HJ7@!Z^Eve*y(Fuvq^;S$D0i=i*VA?e*qjW|HV^ z3!|bH`3rR7GcOqk_goOui)&(7?CD^3r^H@e?AnS3)!Si@Yg05mi&WyR`095qnX}$W zxmNn%e3O~4JZ?>&!l?LQ4#x`L7>6{L>jp&y?@V@UD5x&ldaC#wa{*K2ElB}KwnsLX zw|ZYQ*ko57m%$jUXi@!9>6ePBj6+baM!>m>g+4dmTYuf>b1~6Yl}q@zb?7nYs4w10DD_J@a3j@8xM11naFSIb8nWnpCOT-|h`t_-=_wV3QpQI$b zYMHB*yOzzKPco)IJ6GNRHQ`_A{HT=cOFln4tec~x<=nq}+dWR&-(nig7lReJ6I{N$wM)iwflwwlFn+fRH- zebp$lc|Yr~wVsjplQ%zcEx*7vtMSa|PZjEmdnYI6>@qm7Xr1uW(4$}Ei%A@3?%SMN zJ5l91CWXIF+zy{(`1#h6ExqwF9Ua#;1=?>&-t(pRcKz+xGwG&W3^`X1F@B$^QKHby zTt2~Z_kj}ub#smS%RUBFi?3O9{Ue*;iUl({3N$wJUsL#D{voaPgQ!Pm`G>UFxgXPF zpH478J%jmPOySIJN*T@}#~$DQeRJE*&g6SBmD4Rm<~n?4dp~K<@xKa(7R?IxIqUrK z-pTLzeqsOqmT0hW)!$wFw(Hk{?U&SKDtW4 z-}=3+ByCf8(t4w$-L9vZr0&df*}!*6`mWBAwYgTt*}`U_{h_|et<|sh<)xo=zh3iH zEZ?$^J+JGPk#_%ukW4-0xEXW1cutp{yncy8y0hTroVLin7i=P}T^j1kgc;vSnkhBq zhfNO4Zdq|qQgh!j={%VrE7oT2x!GOIcis$D^=+Rz-|2gZXLifY@7t}9=%-x!cJkoX zwy*5#$SVa=iW z=C- zbv8kQRWD|zprq<-!*2^`UodF6*E5mDqy5~s-mP2u)u$YeELTh4q`35=$YDVN&#JY2 z%I}TOoQaxVx$?lQqr98LZeHAesx!g%*seuuq%$^Q1`Rj=x*Q*-Y|l%2ZtX4&>nZ$7WM zYc4bW=+#o5loJh8kM3M`D@{|ouEgQwX63pQQ_O8Yt(dA*c!Zbru*`v1a~=oZ_H~s# zyjisED(k9eCaSzK*Xvh5U$x(^H%-0Z0&o7`@Z`0&Sd!hbf#0Rao;z;h92Q0 z5BvO*##=j1YUy;wZ*A;~ITO0W*-ER2`K88czQh%~)R)E2z28_+{v=Dfxn_dl{&e51ZPiBm+zX?xr^~J@QeU={`{?zEl<9@i5@j(H{7TD1ygzjt&+=QF`z4&dd`t8B)bhbpQE}s! z9uX7ssINu4-hM68vXj~z(0Oc6tm-U9_JF#N8#aYH@CIj2DVp!A=Y4v<=0eNH{fC%m z)yv+0%l9)Yt%G6tEQ4GlgVw#5WU>u?XEFB(>-}2$%;JiIV6xik=O?RT`D`zXEC~KP zFRbzTu}`Jj;?JM!VLtq(y#AQ4%r)(1F~t^c2QA4dmi3l;MlN$6UfpxjQKjdraQ+na zTNgZU&CvS%^!m&fw*u~7n6Wvgiuu4i28$I+GK;p=3%XS%#wc9b6?UWdbrH|1?Hr$V z?si#NZp zKlPrQaIE^_6_)SQzq|S`XZ-(fY2Tm6+g%mHR2+9s_FUg6lxFU`RohRX=3Uclm8{rZ z%q6Ug7de_4Nc-FFrpgG3A74@Xu;b0f=^_=I5~pqsZdF(lBz>Ul z=&k-2KZ_5!eR>}E^7@?g{Q6qmiSFuU%VXD*W$wk4v&bVm7w<`&P_xxcM{wiHOFx?YCcL zo}DdsJHg;kCf|oMOxjz*JsjpVtqTr4dy@A}IHsV@rr`*w*xyB7Ac|8m>9C68^wIlgr7oxSNyX>1>-KW-ht*n$xWRQs~ONAN-0B zYsG|?u2Asr^^yG&=FN18bLp3gO~%YCw*(x_FSs@7ubm$!qiEZzJ?|rxY%>o1jjftl zT`+z3osG=*7MVF5iq^ezH%-AIkS*uZOwkp6Pg{D-(@aGcxa)t-3v-rFHC=YHAZp&N zd;5NvEUh=_6ISq2N^Y(zW>Q(HZhPk0!W(^OJtYO?pGOu5eNU`dx%g)5R=(ds*->A9 zo@TEPpD`~sX=(Zto|j@zoqd_LwL-V+cvN2Bq!3zijw3>RPwDYhA?4AX?tYyoVI;4@^mt*~xO9>4=f()>%aZR^#1H+hKk$8mv+_Cn>b@3HGrrx+ z`~KS|n3+zwop>tWZ@~?PMR80wKQF!W%H`9Ush<=Myp-fm=j-N|`1!iC>B)!f)+T?K zM}B#1njG?i+vT=()UIo0H>WjsvpT8IM^Hg)BU{dJp zKzVlAy*X!le;#nZYa>{1oBH_JwL5bJ9KR>OxaDZ~;Z*z@p_l7U%-~hD+mLw9q54aB zuXv;C!F>Ovs}F9Jx_p7h)HF)g+`-i8XJ^;iJ^oDj6_;a99|;#|434q-p6T%Rp829V z@t+GdH$KyucU5)D|6dJ#eY|S@3IETo7YNV@zI=81uOElY<3n~Pem;Eci(S1LM?a5C z_9myv4-U-y=oTQrAlU4ty60{0m3{GBCSQ3q{Y+iza-UOItE@Vv*v*~RyfZ9X+xv8P z-<6JM_Z;r$wyS)Yx#xbutG|^`;&XQoE$H`a@}94q90UssR zd+R6iuM@s}W7#COW+xHva_*A;27m9f31)pEr$0UQ-5Pi7Thh9f*A`l@3y_U(y6IeJ z=sDNB-c)A6=hH@Eh8|THG>`YV*@_we@{<$3m>?rPckah2`Y$E+TFzb>6Q6uG$|PPf zu64raHM}3+t#GVe*m;htyKskSGfVfhb*iuD$}CIGopbqccwX+dx-T1a!`DspIhAqE z^yL3yp?y);dp;Yh?|i-}dsp_J#o0ZAQk|!!TU<4L(RHG}@cQyq$5h|D_7|TE_4S%~ zbjIbJjoY{g+yv?Rz*CBAy|eV% zLqD$T;9YV{Yt~YQ#4Sz1mAS2ZA}gQI5BhOs>xV0cFU=AAQrGf2{NCxcv1J?m4jp>0 z=dZbGDW~DyOK(qJklt4R>crY-3mO(w3+49C3b9FvOLnwiJ*;`}@533@y}^fije~xy zIG4QqN_>8>SpJd7PuG0(${OT$A6T(+YpJ$iQP$QhXI{=d>vMCib6x)@t{u_glIz;_ zod4B_I|XI(@zWBmzi}TscjNlK86FQOF7mcdRsQ28W^g^|X!5`O9UiG#$@S)fuMRHl zyC(E--R0OLWvquc$2_i)E(zXrC1i$5-qy>!5f5s$W#8>^;!dnO;hb%pa@thLW>?fj zUh_9nt|z>v_idOKv-1D!^)Uwp3)!3VwdLMt1V{g2?1*)Aoya+D{__|=-nLx^K9>58 z(j{{jOELca%p%aWwXlkTDyM>f$sS+Xvv^*r?GaWLzw^5NFPE*pw|CCXhMwOg z-#IVLco-pZ@y>@;8t=DJc~e)YaKPlRIhmyA~i6LuW5V>pr%lx9~S z(tS1af%^vUUsq4&`|XU(oMHcEi_OL}GB;Y|WO*p+}H@eO)zNba{^=ln@smZ+}vX#c7dqgFj?_@>nELtA+ zo@ZxL!sXis3LY?Ax+AlpF#YQ({hZ9;FuuIWQJV$jwio~FN+^9W^WkK(IeUa;LZcpU z*7spD$()#Q>Lx#X@hw5glTQ|{aT8TtJp3tJzBhL&c&-ur$tI;N4$DnqU*g}*=Ao|v6e%lXw#F)OTvGH;}njl>9p?lbL9&USPUNq;s9Ep56|`&sZB z%S`W3-O1*z?lE4WvgVJI_jgH!J}lIG_B!I#F#+8uX2aj^RasG@@)IrCN`L&ly>fZ9 zq|}$Dj$aR6?hE|8XT44KdATdndC4&Xbwl)6cQb;J8`r+y0M+sUB4;;Becx1GOTntt|dtg$*1^nLNq9Om}IZe`1+NLf!&vxjF>av#?pZuJu3 z$duud@;bj+p|Q}xYoVQ}N`|1shf}-}E>q5JsNoi3RVb7`+b#3#Pz{T2;g1@P7{TUJ-`% z@sk4fU;I}YA1l6DN5NoceVWw9!%cmK^}%)h(?pn$U$ba@RaB05;=F8HESCp zex^_Qz3Sn2z5bvg^=-BBYfpU1o>F`!|48)TZplrRJ=bH4wtjJ++mT$>uej}D7Rw5q z{eSDfZq%=vvGihG?j`qWJ9hcqZt9(KNhm*9`R>xxnC_KVpX6<9i@o)D-Ud_l-TRl^ z%1D~=BxZ-yO!aqLS@WZ^q+WS-R+moO@xI|odRc{MTjPHwBb^PMGKI(0ypAWYxo`A> z+fe#O%!ZBaLES$DX7q{$7|!PI>6y4o=z(Qx!R3TEr|V}pGxh)9S-{iK#c1NvE<7!p zy=z-Vzjcd`EceV?+={`{MQn>jxL25cU|qJ&eUf;>7FpA?zxj)kqAJyPu8x=a6+A;y zRPq1o^Qj&6zj=GtMSTd|eNpX{#G91oe8JsQ1it7nN@~qZo|@&m-ZMyOLqbT29n%c1 zl0#G2cMF`@TF6}A-{tr(E3w=1L)^hBi3a;4d>(&g%a%NEyjl2fL3q;By^Jfjd}B}1 zxs+#=Wx>zBXk*5?9U?CtPY7L=64rZ!d9T66^+Df%eT}L7;^n-N=hwkUFJB$hxysr6 z;=;x&hx@&3KOKKRH9GpKuea^(`Ow0@Y z5BvcSm27Q`<&UwSZHxGA@Zw!H-)4c2FZweCo@`%xktL9k#mAyBW;)YlmR0rbJRZ~B zZ0poLb!Ll+uU-@vxO!LH=6B8W#Foi42jh z_f@g<3ArKXe>~*>!N7G}*kc!c&7049Ng~L3mAo>)^yPKcb6XZ&W$P=ConXXq-N!6U z%YRQ*(DYfHbD6GvbiKsz@5;vqKbu=C>jfM?v0u)8lEE=IntMf6%PTfd#Z^76(>PaD zpIlxSc;u}?ujq>vr={}voBX5Mnm)zHt(bCb8FT(`+daH1`Eq2N-V|SpE%kc)SAp&8 zj1xan`+AQaR}R$5t3`40iipXs^GaEGv^=0_ zrS!8!-n&A9ms6$$NbS&zjmz3zyz8=OaFFYVNk&h1I7e^( z?-!F2z4C0wfi-_tE8RB@r^&+0i3A{vZ!8?&=n z=F0p2xt}%VGE+-8)5D~gPk#0nwU!@z^YPLq#jvAa6%ISj*jab$fB)H{sHUadeLF5b zi1hece^d8*hxTK!Isbh2$3)voCS5gHF8br*#iALd+!Ky@%r&#UvFd_T^bFp%lmzW> z#VU21&AxT~{Au;9hwXf1Nk(+Z8OZ|6-q+vupO`0c!=}wx;*65WbdT#Sfs9tuXI*Cr zueT7?U7%@}Z6lqes=KwZmc#CC>ool>&zL%v|C#7HE+a+yL#Wd+?Px)&BDN<+?Ug{&LuFouBXZ z!um#dj!<^tQkG!jx@||-ZZwczcK2~AU*VjqO(8610Xep>__S3P&*s@A;$oIOB|G6vijK#CZ@1tiOf5-0U zS-k(~Mc(54?E-3OBlBoc}vT=b*6fli4|^zG>F_KgxQ4r~ZttK)DFhj5(c> zF>ce3zuGN&`S};VmQOcZ*EEYpNIbZ4E|Dc zU`A=xajh#cea*U`ti>+x{$z1Av_2^*uJ-)LId|DIw#>TE_JVCYqg3qr@SH^F&E?zL z0%jdf*=;hhZIi~)tv1{C%yDl`C_m`6ZFlH`(_C+Mzeo_fB>CQ`Gh()LVwmZ2(a(Gw z;(xC?gr9nxV9Lze&AqX2>iHSJmK!{O$|F@KvZ07CCoA#p(IU3Bsh4tivH~5t)3!{i zmz5KnX#J+EHG$KvkS(ML;nXn2@rU-EzD_f#WLOHV8I+g8~*&u*1POzY2BerS=X z#E-el-sWBVC->$`n*Lv7{p6KxMyu~n+P8a=!}oe#q0%Lvy{CV6KlyQD`?b$yv$rj& zonQ6-okQ)nTlciT#mP=G;nie&A=&A^Iey=(A9Js){~PPKmM!^G-j$<#(YL$KP3?I( zZ&G%sLq@iB?j_M?r-?h>Zs76Io|<>~-M+AN@w&@)|4yEL7u9cj@#K1&^(WK587c4mW^TVQ_kP_R$u%op zaHVRTpUAu;yyvZ|-;xE3{%MKtbU(DYy?WYaS%uxNf9|e*zE3l)qvpbC4>r};zl&4X^tPKtRXP(Je>cu5Ik0NQ0ZrD~iNZ>LQKt`<{*q_8_?+|0_Sd&r zw2m?xni@`@_<&8ceru$6{~a@)edpJI*l5|K6tqO{XhMT$+4hV)*YDGwU0JlZB>Ksf z{qe6dZzfxR<`QGB{<^?!lDwzqwZrkva&@{LjOWgSl1U4#} zHFK}I@bSYhvl_dM-X*4yKW(4NzrOS>yw{IS zymXUWrgL-hdJdmp%@mKEKD$N2Q*Zdseq$M6;1*Wyb85oNYwwT3_BIF}J2nO1jeCb^8h9sQL##W8761ui@-x>kye@>z=_P82+ljZTicQ&SX0| zM*fKrpZ@LflWXK|O5xT!6><8?i_M~3Q_Wnu-bipV_4-TtbaQO?61mj%Zpq25O4~|S zsmy%oGE?Rx>$-yaR}*i|ZQfDk)_#X8NkqV&$>Vlrb721!*0sTMhhroKQV*orSS8he z<~)CAwVO)Q-ixay#6}(&Lf+R_d5A8KGN%5G=1Uh*zXZLUZkwrTD+&=m5h6L zAG5mf-QGUo8n?%D`*z2jQ0<%j^6P{NN8Vh||MhL7)WWS@lNPFJG4}f~i`VXb5uZDS zy?%CmF2|{p@1E-Yzo+m-=>NGdyL1fnOCB^UE}mMi8&>i_r1<>-kp+u|r@ty>IqK8D z?)WwKr|BQ#bHmN@*7R4GYY2Xdsf$obFAYw&)n5P8?^BHa6Q)mRO6pSbZY;T)JawgI z{VHFtpF2WVuibn~p@x6Db%;jD-t$jEK6z@qbp0vu*?zS;F(oRy4dy()ni;)uo-|8K z!S{zd4=ysQ&$IdSLx^{oSl>s65aqUtsWL@=hQH1^-{W=CQ#>AWenq?9#eF5a^48Vs zNR%uH@OypVE!h9%=j99L2sSfJJX`;vb^=A8faou<8&lIzoN<-MM= zzUWlU+;6d^eU|SWr$4KiY9J_{UpY^G<(^xC8jovF3%%YhB!;7mXQ*Gg z{NqgSv^OW3ZYE!p*|t)u)50sJ=jCOOSvI@c(o`bm-Ts;E>CW)9#9OZ9Z{7u=@`<|& zO(WcvRbLEvy6xxDi%<9a-7k4Bz1C;jb=}ie{7YG74J%mh_{qHvoL0=z)c2|9?XLM; zhxjiq_|l>s=bMrBpiqW0eA!K<-#af)xNf9aRUc&LmisZOeCNHxPbVC@Iz2^Hde+lb z|5q&8z5L{~?Jo~1imVe)EVQ}8Vq9G`P4xHYj8$TbUY(SYjm*;JPSrW*?fj2ng7%`@ zXF>~&7h2wa%w98ndBpxbx1EnNT-LPTcRR+_Z;Q`n%{K>F-%hY)J-lh6=oz-ySZkg4 z2b^q#FNR#ouMhgMU2(C@Qr)x5{(fHfR#fb{hce5YGnOfbxbG`l`cB`Wd82iX&qDsM zLN(qcQ`GxQe_pA5wNd$@`s_(UPo}&oj(0k7<-p7fBHpF%nkRn_Tz5hvC2Deo=b=-@ z(H_OKqr;m%NsI^ey}d1=S2 zw@jbfr~T+W_DE&Ho);=>9BQi{a^{?YsM_&q z{~5P2eBuF(4;I5l3b*&HVXb{BV6LF=lbV-al3}D^XkcPsG<_m7yJo$ip{bFff}NcL z7;r%~Rov>`!WuH?rjTwAYk9ju?{4o658l1I=D^%r;(U3B^}(jr2YwqA6a^F(|?>2~W0@c*pdM`&fz*%R!q10UbB$El(VDaQLCD#@}N9E7L)dA=F=- zVLn5He?-swnG*W?4fCgmf3fcim?7aH_kwjBb4CGk$U=b$>}r!`uACKTD=TQRU-t97 zdc)Oeya&{^e)W9rFKFn|=3v{#>ck-ButWL8SHs1+7g!gtZ)L4-ez5QVqJ*ghEr;(O zsi@eqckj-|b#iwCW;Clvs~?c&DQ9`nWaD6Ch;bcl{#v07T-Q9XB?1;d+zdI}BG7Fn6!VL!*o;Pj@>nkm+1LH|bweT5sW z8J}N#aDVF1u&9TR;fKZt{YtrQ1{CeEzKC(P0fYPCCZMItuJyfA;>@ zlY<5m-ag*?`_rGBk?9;)q#ymieo&5Q zz@QixcQ1Vr6T<{+h9}9dPkf#ocmF!?m-dP8&Ht=WxNx8M72Ae-5k@YS+s$(S6Mt1R z>~&zUI3q0b;{W}&`uPSwe=w9KL|YtSd&1C`@bBrlUL6Wa;CH!pwf4->WcP-vT?z^7LquYAK<@D1~( z%WQ{pW&h7v_`l@g#CxnfjG4~12lmTLGh9zT{O|a;9R=IY_49WfPhS7epi%Do%ln$5 z3fls9-|s%IufoG{D8V8A%<*gX^I91G)$~hev48rRyoJ%`j(|q}A48T88u|hW{H=-q z-mN(B*nlxM_f5n8hxP)A4E=I94t|w)n8JS`nVI>PRkPfD-|8RsI}Y6cG2i!JzoQ4s zfn@H|$|+yWKY4Kdn%@6GS@Xo*&l~U8|F*ewvsr%otNe!lf(=!N{xQyDtWfCR{>fZH zgX=-#zwa}}4?O<%Ppsef31>_*igx!^*Ee?|ZLEgv9*16wO%vjDYp&m1B^q{k*V;J`ybLB<&BAg&ANbCl>o4@I-|oUHwc-S}cd8sye$B35_enj@_qXo;tIxl`Sdg&9Ky|sB zowAHn`nTzKJ;POJf7REI{blt0vQnVe?Eb?)t2(*oSGU{m7F#3Dp82Zoxv9zj&iu^} zL=~Ezz7$_{_DZ>^?~yQrD&0x9!d6=-{jg?C7x;Qkz53?UZN-QEs+V66;a(*CUY;S? zLalGN;@P?X%qNn{C9JoY^1LzQaLZx#v7hw|UNzs;JIzqe)j^^hl?=8pufHU>BzSbyZet7FP% z{Z|LGY}UKiBKDB~;h|alX7l6aWv2#MaA`z5ciAYGrd_g6Uo>=Ounz~-xw0$y7Kq$oU;yVDrc;}JT=4cdt>5O$LvV~8~N@&i<7zj z!7n*ue@;b8|BIb>&;6#$sR|B_}_q=gc5U|NAlG@FOH1MwhrexiDLJs`=$x8N zbJy4olb79_mkIp)RkqeUjOC5YpQkR%=B#y1VO#yJQSEU2_bHqFzkbp0miQAUxGP<~ z&HTl_zI=mUyF+GA=lo{Ee5Cb}@x<6kGhe2eJ8kj{o45Jc@q4$Ao7EeCn3fr_plZ5p z{a4m4o37ipD4lM&rgy+w$8yth9*va=Cx0%BJLUMtVDhZzTi#9AuJ!%B>1Sncd*xsA zN5-8eRy}_vtJcw@{VB+h&ED|Xw!GH(r~W@QL|-}lS~V~2Xi!d5_RO?PpI)RLH@x~& z@Wj2DPg4cwww{`>X)KL3|`FVS5P;30lc^;=&< zYr@w$AGUDO_0xWztnuGF=M_hj)*hk8owxr>W=;BF?b8-;c;mZ`eRp3C)y8Tx+nT-RWfh=Rqfsy;d|Si z_4od14L@-??Tr3zMvo0O-y3zR7`vW}pUB+#OIR)Ij(64*d-fYvmM5pMUH#K&ShQ@D zSLNFoCRg@#ui3FNODFK|pQt^P+tz2dgl>_PjLoZy*`NE&OEuc`wZi?mOuYO@V!s70 z3SPl`*66db<&v9Me!0f4;0sJCs;YNtHo5od`-I=MpM6g1bj%YkI?PCGOhQ|>la67{ha7*w`W%5swCyYEziHOHLcqJ`tH14SC2&`EYH-t zJ}1^_(}GevW3AY%Bk!GeD?jpEo@XAo`J>1#=`APIPYB=F{~hz|?#r)sviV-iJr%FK z@2W5SpY>*ue#^?`zdrw9==^?byJ;PFM(TI21;<|bc^&hs+taD*08i?6h+6cz3?JW+RbGbtGI&0gDT&g-&GuYYvvZwAKXVXcv5eCNx53NO-0L-zokR#>8F&g zaJ{0~BiVoUmnCd8s+nV4#}w$|yU@Mg`GiAxJ3KSI;-IKn#suS|Z|fS3WW?UgsJc7nmFF*QO{IIY4j-K_ z^p|N#vEk$t)m(oy9fy^B7V&C zc-^VrS;V2dCCa^_GkwGoqb`kdt#N$oR`jf?w&Z&qacLy za96#q?kb+|m!|v|S-$X#&y+w{*_!inw2YsBDB*pi^rl;4ZP&-3z||ikoOmDqUiYn_ zGi*^0&(8(nAz2@`b52)!_V$?fytNSg$n4}V(J z+kE9xr^_t!i0_}@Q}nWAAA`~|{qGwi8~soJGMeLmtbX$@Bk|k5X;W_dY>3G3yMN5O z_plhldJW49EP<1(gHG~a)ldF4xdI%}IX_U#JGD*wOjb(*~4QmOxCt@V3#!ycWUeJEUd zuZy6|)Dv>D`7WwbQ{x_;(2Q`G`lnG8lPmusQR$+mY@kkS*7omf`h{EAjlOtp#*H|0$c`5~7dyg4Y=v+jt=Wv}nQY}L;Hx-=_eY2e$#8;f;T_D)lt z`IB`or*_Pr4cjD^|LEoGe6@Faz4HDynVq+6MCzAcubS*{Vv%#@>^hH(jb}a|yS3dY z?zybn8HZUr&#hj!yz9+W?}XY*@toGvW;GOBuTJ89{b7=Zt=ix3v*fSN+q=f~`GvD{ zZW=dFO}qbX_MERmZ)fjlX1aavY+&N_W3gvux@5=CPwLZ9lF|@)JNM3UdEZs7yK}~V(z6h>y=0UgOz92ADY=^E`O=m>ddK|^S&C?@6s)hX?&8jfANpRLq=OU-uzl{ z|8MtE2{D_klTI>kY}(@#7OJmu)G6I}`mr_l^?q1QYmL0S!t?F=WjA(gsz`Y`C-?JO z?oY-YCHJHDZo9!$D;SX!&~f9^>w0PD7hCIA?A!FEuzt0N!PhDJ&4x2Lo@sq9c<`}n z$LrH44Ud$t&a~b9weslE1;=j+n#{i8cFX=|IUDy}KfgY+bMw!L&AqL0^ZlM^ zXMewFeZei$)m4%E>t`K&@n=PFo#y(LW+fp@=BwwXZ@zfJn`;DqA8h=(D)r;xmD0Qrx#jm3YiE0|)#fhwx##ugd#e(z zsf4eI^H{t_EH(9Y!o(j2V!aw0w@THo|Cm|ulea(E^GVkG8pYTL=C8Lj$5y5(ubS}h z)LBW{$6{_FPp59m-J`g}%d=G4t>C}O_dT3f^OK4GCA=4SnZ_n38a$fH{d)aL zH@A{m{RXshO@+%?G|wK2%hFRjTz zN?cP{WYVTRM(4abD`!sD>7067_MVBt`Zpr6E&CrjGAVO@j`TWy=h3@KF%q*^uGN(( zt&83K;F9vWIdP{IHtwAeTF&E@v|0Xs$d}XG@?K?6(z+F}(RISL;Iw+b=@k{1rWG|X zeQHwZ5NLg-)fPB2Ut-^Ckr%d%VW%(r{IxB&+HE)067R{(+<>uW7ZhtZyNwVbm%97tDt{w}geuKRQyrsQ$HkU-RVap|kgL6~1=XohD%*`TU~RN3qB!GE1FW zjZ~GsoOr(?`uqNCrT-@RtyMdJ^aRtsT#koI=caIO>+SvZkjd03=R$&QT_=}whE{UK zmU*(xGk#d>Msc(3P^b*N9#NkXSg5&!JFeFK``(A!KI8=L&Mr7_zm_9(q1odPKRcxB z3yuqEmz*mMKP`FFYWqut>cek8N$rk0a=E-yux!r0nop;MFWX(Xws*Gkip%C5@A7UY zS$+TYGWEFJI>vOBYs?U}xTzJs)GdH4s()zloz8_M#E?$Yx|EKU_&Yoix z<)N$2PK_{qI%!IFkiw%TsXd0Pb@omX$+DNKdwyrl>AkaS%bp(kUNf8|s9^CW#?u{RkP zO1vjdXIyDi!1N||-6<8nq-|gO51g9R*x&bh@uIZg)Oq|bs%}47lvS@OBFJLoDZ#6PHTl)%8ULo+)mNcpNHsyL%gL7TJ7x z!q=lkjz3;9`p+Sv4M85UV+4uFxa>dp?kM#0Sol~!Nn6>;yYhCn% z~v@9z8w{8!hgGG60->JxkIr7QdC`Rq1YOYN#^bN?n~*8Og( zw{1;%=9gZuHs-zAh}D&KV{8K|6>2=>Ee=l)rubv%cb_#E)SQxf4}99MfWO+ z`O9vIhd=32UT@!X?{0y>+5LuLH?+NvzkmL3r`vVIYrf~#?OO4jXM6I&mStjdv!0(^ zcv*?h^z)HDXZp0v+^>e6c|I+y_i=@(Y&H%Fn*Z?04YjWdm8(nQH)Wl?9P{wrg-=_*Q~MyKPE@~I%&4`vu9iV#FW2HYB5K< zvp?sa+Rc4>Wk^bvSBlO@pPs&k`MVe@KhHCeNj(Upyc6h%N z-6Zfuc;C&khcgyg*ezEpw&WJvQLl9E&)j8x%TI0mbmhZKiQM)n`)=&}GUt)v&27(^ z#b(Vbd~WpKx^sKZ+P>9p#w!-SZThC$^~twSUwr5Dd#{x@M!vF@e7>l&rGoulVbakV zS!UW3dQK|NyB3!)GePx*9i!>5Qs24qoLhWnB-hPoet-Y|>@}Q``&EK@Hl6zR(uc#{ zto{UdN3x+`=9})mfJw)UXB-p{J7~20Y|o82tLb}0r46?1a+I1dr%w6Qxg9F0sj)^(?fU6`UpD-xo)@fge#YMI*|WU&hMqNy zuk!Z__AT|v+P&RDuBf_Iyy2JVzmuK$f4sMyF?(Y-ZOO9aJG`HQ@*yiEY>@0 zeP3BE?|HW;4GBbk{uXOkAIuUjL97o4@x7zBRhuwsv=kF5C^jzb~ zzWSZnNA0N^y-8}#d&Q=244zn>byiqds^jES76*}U#{XXx^_Z84&#qsr=5f+aX4NrQ z!`(R{tG>rt=k0J?7SyS_r+rKM%UN&!-Z(PhkmCP4Gd6wO?6)auR_$cp#f)4o0J{`FLSN_d|+v9|1D3iCplan zPsFYLm2i4P^lq+_iYJL{`pvkc64$uds9*lSYP#!mfjzZJ-Zw>D-yJLex|rqQN>A;) zob!55V~ji^;>*4)*AL$I@RY98p9MTwu4}*RSo3{nG0!h^xbu2}k-bo&%Ujnq;U9|b z)vtCw?GjdS?d{!-8Rz3vR-WOm?A&3}7wfg-|HSzcYJRr&v#+$wFRwnO@#b`0Oq`v5_ln_-2bLjPp90y>FL*os zby4;&6~=qKD~qmPnx}k%P2kLovpTs^?IwLE*G&Iizleo<@rC(Mvu{USebRUI*xvW& zQlE0jeKdM>bIQEC|2J8msWW+-^{-B@Slxf0&$QCs$=6!0df2qD%AEIq-;@o%eOAx9 zJagC1@GooyB55YA-g-_Q|2}ex^9_X}*)s0xf1_)pE6I7ozjdT>7n9-}$7@>dCc>!mm!edAL}x zcy7JUlQ^>)sSU?|JaQM$GW+4Y(0R6pLRK$pRAEnfSDPzyNKIwohfen|=|#s+Z;t-X zraLW*ecr26;WPBLHZ`1k`{RYP>1-|`;p7F*OHJJ0@B5h8CArG{;Kv(M_cgj>e>}OQ zqtBMKGoPFLWXF>e%j#VZ?3yhs_F@05?-gYQen-;^>w71KUETWNnU}n+uSa*?jzIGr z)(cp!9NZPatWov#+Rdjs!iB4+exA-7_}QhbOIE6pNm4`WI(r=d=8jF)6ZDd!lKmfd zmauStvTi88>lk=y$JelpCXcr4`zP?&y!~^9-u7Ly3n%$I=2|Zay(C=Sosu24CPAsg zm1T%KIWPau>-}y5BvfB@aw{y+DTSSUGC}+Q! zv0#0&hmu+R%WlJb|JPXp9-N0Qc3X8kbltX3My1m*2V)Qa|_W!Nv9$7!zGy zA5whKAUV_WdY9=o#{apM{JpyicLzf0hq^ zV!Z#2)Y-c~czjZ2dzAa7mcIHU6@2!->FX^!&eZko)cWG0Q28+UYVIEwN3En2Mf#I3 z)o8{Uyi#k9zHndU(Bkg*GLPlzD>s)5=Uw0B;@Bv3)asVQE%^iNv(Nu6_ObFPX!#^vA+JB z?{343cIP#|d@Hgm7LhpRD1Clix9OSuc`KI8+d19jMe44{xo;20iT?9@*CM{$aQ1{* zJ{RLkxLIP3YCqTPt*@W|Ma7=Q-(b6D&!tf3g^Y2)=>{rnjQ%$&TI5yFoh7N7tv8CNZ-5a|>eDk*aD5`^5ZThnXW+pU#?W-lW_Y?w=NR;rDEryD#$eugb3MKm9<~Vq4+5t*@3X zire#L@6^==MO;Rw4z;~nvr8u0ZqU4^Q~dop))5sOCpgRynpgOVhpAmYuC{ zm;73}@}_?Odzs2A|K1(U-?r`7cK`9!U@vF-kx%iL?pb}7GE-B$eO1RK@^a_TnLobW zjhPttJ9^!wYjgJ+{QtA)(7bS_C9XGZ^7)SKDQef6aeLCy>r=AkWPMJDh*;6$f z*&4#n>%Kn-aqtuEQPl7G+_UTHIkPP_43!UBh2RKnUBZ36tAAcKJA25 z(DaW&3lE8Jc&a77+M{fz3|pT{?;6ILb*6i+{I0yyxYMp>=DTYbFNYL&vvOLpoZk6w zz0pbgEoYfFU#a)>v7hF*|IZ3P=4Z7r=sfPQ=dNzEkP$%h?`pR=R}6f6Cid z)>?Yn|B3{E@|z|Z#bA~k-QSz|OF#R0t$&(#d}UTgz?t)}&e(5_u0LnBw|Z`Z|JvZ{ zH|NYVFL`Gx{P=j`_~+SX`x6-|@7lecJvr`CsL(Z)&`0SXy;gHCc8vS-Y5m4SezLx+ z*W8WLXk5~1FQW9xtm|Ub6LsIB+MX=2s+TenX`10XO6U5%WG;;>KlS#k&w`m=a>b9d zUHx5WzMmn-_gCk9sd4_J;_Nl`N7PpAHw})^>z{rnZL{da=eIsv3O)M$w6$x6t`_UQ zdm(41JXojpHo__8>goG#t}B~oCncD*KJA*5#L2yY^$BCpiWeMC`K_5IJ{h5}{il}~ ze%;44Cx!JhtU-)BEKVbT%EpIUEm zTWNQWXzMsjX#s@P8`3vwLNxQ z!~Kf7_0u$yTFO{`?9DP>XiT_1Vck#0xyILi{e_ z$e#`CH@k9*PExnGTRnNc)vmqQb&7tr2!A=U>784A+cU3EXP^J#SbL_^{QTs5LhYDcS9Z#z-nKiF^7We9GhS0w!-uv{`*Qa?4RAuXGd+eD$ z!FclCI}gO}Ox4id|-Am`uW`XlDR*>^#3aR(`O#C+`Z%U+Wu#2%I05I zzb0!(TmE?5^XJd!?hTL59bWKgxvJPMiTtz9Teq@{cFgF!aZM$_+T~8uMOKrg7thM4 z9I>CF+wx|yu?)X`EyK38XOv`Z)zSa zdDUt~=l)B_Uh0H68O(Vy^VeUKrUGuwP6xl>&iNOj`Y-4*EtB6Lza!{ikGEjhnXV$sX_)BSn zk&@3c|LAqD*+$L%^IxVOSu$x}dwrIb$-DZc@^^R4lHVh0^{I;0RAzmQdN9Rp5G`c5mb}x@>1?k-1hnE1GgI27vA+(+c)0h zh`hwVZ|y;I*2Ii=b@thY$9qzjoM4~HDY4|BLRrlb=Ixe3V&~dCe)mk$Z&_FtzC`+7 zCs+6OIWIb9a^Ks~y!MK6MvnQ-fV*r32E zeB5RybnB;`h;eP_h08@ki%*}Md-ZP6VF4Bvg%#0LrwW8EpR+qPyh_xd`qDO|+5dA}&f(npuxBBM+}>QjCghvB@YB1$w@xrG6>x|~Xl z5&dbn*Gn>TX*~OZNm)`qi+0NGTj0mw;vGSEEd?b)oQZ;7r$eb>y9OgGX?r7*vxMHX?swo z{8y%3g*!XXlt}K}`lvkhsMks|{-2NZy!|h_Tj*w3uVc!hb=6r?_bkHupUpVnlP>!x zCY4*??Zj!THzAK$;vRgjU1YW)Hmpdq;yY*Bs(m%HelJW`O#68EtjNOO7q1#yX-+9W zbSp?D;Qs2}(|#(*w(M)0^R04m>Pra~Un{LZ)BnrA@7v)&^&7*zlv|7IdD5;YO+BPo zEB|Vy)G4V+i^Mo=YG(w+$DDc*7Of^TCGn}y{$kCCW-kowew|x&MlZ-MFKqd4lk?Jh zUzVNwb88p?FOir~2*(6TAt~OIz%`oF#NAsGV9dD{c zyz{2K5KRm)emFsCXU6R!-RV1~+<0F9v5Wn=`lH7>$L6F-%HNL(x)OAFbLX^YZ_cdI zI?Ma3ad(eR;--zOJZ_v??sDLO$ho&MwH$T79VCO_RxTB+wda%ZOe)JtkGYx4T^Fit zt7Uz2FXykW<8HT<3eEPcUml+&k1xgtTv{E?F_vEoilVe7XPko(DQ_$tuqH*2H<1r|pnIvg6yCy|#v1{R}l{GILLlFk=^Bl%1Yw#;&Pb zX0aoxvHC&U$5jU}9F$^Cp0my8c+YQ%Cl{tJvAUtWU}o!GCZ&Y66Xta=G(54MzTb>p zv);Ndu2o1#p>Tbp%4DabXC8(!D)Bdnd|=rm^huIuI#*Tm)GGnE8v2j=@*m#YQ*Oh^ z`MW~Kcn^CH!^WUl?DMs_tu4-k&U>KrCFzjqH3@+Y8xy0VVjgy~Mf3g7*0w2lQlP)^ zB&$P=G+%EtVAy1&cD$Z3(OK>=_cg&E4Cgo**$;m8o47e~ zF0*@DL75a2PqEyOgcr>f3ltmFT`D_gv#ro@cv6s?wBwpV{?dDf4#y|jbuhhWEeNnU zT-YGG!9&4M@Z85Po*xa39F80homw+m!aE}vCAhvsNbdW5m|tgC!o}Thp7*%6zX_e_ zbIN3P|BvkYZ;$(}*Vj$I_8`5!|M8CwzGAB>B`01^xcG1uAGejytmT=XOa4_oUpVFH zb+-#vf$b$8FA6Rj%r;-VkHJcWImoK%TIa5eA1qJ*-{|PCIPrW2-($AUN@kw}FRf+k z*uRwgyEQ?~F(o4UWs&hK`ta&Nz> zoO9LT&2ruglaEbWWcelOKj;5><+j^1uE@3RxaODtY)fYNQT3qx&vMxq=9*|4=KuI} z)x%Tjb>8gLk;b#^)2^zD-maf9ck_$fs7>0F{6y^Q_xnebnC(0IQDOGU4Y~5qt}gM2=RK&!R`GU(}X}$i{psaGd4q^+I8eME%i) zXHHLa^%OYgD6jRsOy$Cy7}x5audyHgsh#%X@LBaGQt4vbi_`1(FAV8T(hA=w7a6kb zXOdOy!EX&W*pgD8blk3Qitw@v(l{?I$o@WP(U8M8liS8{{o3%+oq0)crJx$&IH}6}p@BNDO6~{Eb7r6L7UYWk) zc;Bz?te$&Zwl1d2<{j0MjC_^xN~2}g^7#MGiY`?$XBBpb{m*DScgj2^z0z!_hsLEv zn-6d2xc(&C)5T+Y^RJpOE_#u7&#P+x57V>UcS==ye~g}`?WGqJmrPKWy|rl~T|Hu>YukqGp?;gHC&xRdzf4?vtD$tVkDgp*p4k#NX8TQ-^5<8r-STQlwD!?kFL$0= zmG^4vJ@P*G$Q7eDg$X>cV>GJzW7&ytytq6H2yR zy4N$~xbnhn(bJuO)O^hK3iz z3pKnbVT`s!LJY#3b_j!^2 zSMM$U0xJ7_mvde_P+BA_BRh$EPu}s@r?!O2E|{J0cl}S5-G0xvPpIVmnfbH!d%f+c z!#g~*emQQ|Ze4%;g2G~z-Amqf2Gks|{+&9nDZlCHugP5wsk?$-Z*F`tufIn2!2Hbn zOBf$kGoI;tW**rQvS+qf>c6>rZ|y#}Pi=iUhH(g z1rJ(1{yzWbG~4Uo`aO~_-8p(Ml-}a``?4aSqu!NqZU5@sVgHNMW=a?b7B3C3bbfbx zn$ouA=XUM4JNs!@{ruw}-J)78SG3N!HluRY<7e9L6Ps2D@#fMxC@$tW)XX-3$;+$YrvSQk| zyNW&Aj6b?KZ|KYnpDA&}!E5%(EzjSuK9ybkH|wpFs>){3+--~N-%r}|(tFN?Z+(-K z>_kFen(MV3|1E#7?%xNt*ByUNW-t4E^i4_q0K=OC0Tzi{L5aB#I}8PljFa3t@&lS+ee={U+UMThOjG_+&QC6 z6_)8%L^qzBX4lbSaUpZvOy{hKB^yFTE+}r*Xf&yP5TNi`BzM-P!`WP=Z(q3>D)KpZ zX&!Ip=~Cfs&G2_s`Y9R|y0}|REiXui?|$=z=eH*qB<>TLkcwlhU%$0S&-Lsqk*B|IYVMMI z9oJTLF-7CK{``frj~w~;@}IuF>>f)COUwF4A013Qx>#lRb?>|&vo7i2mn6p4R8j6Z za@&#<#p~kSnqRDq=6iR{vgSY6nn;tK-i0U9HXC+N5^A^XewSEWc6L#dYwEnd&P2cU z`{P`N5=vg%ZoBt`KmEO3Oby4e-Hf+eSLH7E{IfKtym?!H_GW9h&I;+pec$W;<-TWf zo6B!iFCrZDHb7+I{^XF!caHJTDzTYYySFV?{H5;B&)IhK{!E;5`N^^zy(amSpEB9p z!($db+28$fimUm{`3A4lq7R&?v^s9F_^@s6p%9-#8`28xV-@VWo}6dtIknq{G4p5m zu|@w?E3dJJ<}kmyxqS2C@9HeC0v04Btux&E@pM8LlW|LZW<$aOy{)~m@A>@q&zX04 zU3WbDV%E@t>+SFVY$;DHJ#Dnp#~8 za(s)WR{ge_s~UTF+bp;JF*W;slze&iB!g!7G5)T&$%M|vCRI``pkqkdiVCUf}MLm#JRrV6yKvCvn}=Xv^VJw?&-?ZUfiTVtLmkj zS!#`Pbguqx`<>sHzTWp`$J?Sc0b!SZeyhJ!eK|IMN3D;=!GP1>>Z&jPs@vtV{pnEd2?ws5=r7B-n(=tmuRT4cg{G_Qn=byp6?(n$ zlls|Hxp}p#!+(AXeJNKNdTq9-{7dGELHs{GZhr{u|0tMim;EI&=>5iBT5FyMZx0le z&y@QV$#zk0_3j2$`HgOs7ayq09bK;*yk$|#Ro0zFS3fN(x~lj7WER8o*aM;7ld4xJ z=QBKuZHRqsyRYZOf94o@&41Gw<=I81M?0}MYnYpw8<}bw7^)i>sB0?d`{t*(B$lKq zXt-Dz85kKE8XB1yf|YD%b7tSoX5wOK zY-*=qLs&`d^o7psX7#d{PWuN33LO79^HO!*#GtM#?h}>1`m(NeohPdVCl{QxI@^`*GbKc)Ms=nW{`1upHa+f7#GQypm zZAa~$UVU^ioYb^bCOvGMgG`m>=1vBgn3jG4C#H3Wt+pJ}e9>;2(X3K0@_>1ZGgscB z>K6?rcbdvCa4t{e2wTW)R3IMqfM-r?@r2NmQ{NocU+Hly$o$M9<%lNMsb40Q>K{bWxz#C;&8kBmw<}52yxzWvW4h_S@U5Su?ldq;v`ED?Chk~!@LGKJ zPrfN8H_mp{zdAmTt>f=OL5WsFiTZHy8lm(1)PG*q+rgeXqeXMYf!YcN{=}%*SG(n3 zdsK39&aUP0PjI_?U|Bwon(gQKwZBE?t&GlyvRwY|v%UBEtET2Udjq!LO