From 14c4303f033f27bf1555a4e8bcff21f0c430d256 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Wed, 28 May 2025 18:43:03 +0800 Subject: [PATCH] nearly uniform sparsest cut --- main.pdf | Bin 122161 -> 124182 bytes main.tex | 9 +++++++++ ref.bib | 14 ++++++++++++++ 3 files changed, 23 insertions(+) diff --git a/main.pdf b/main.pdf index 94c3aa0c3ae1ed35d68433843633c9b6e68b5d0a..cfce576b1e9c58787fbc909c6a2805bbf3504a37 100644 GIT binary patch delta 35072 zcmZtMQ*17Pvmo%=wr$((scqY~-F~%g+t#VwQ`@#}>;8A|-R#3|GMUH8JWMkAO{TFE zGHn79iCj@soSvD16NY?lX?P8WE&1LCwUM*~8JHv8sR^CC`S-oTGsR z>*QLO8M7nX5~v$`LpNm8egg!AZynLF!yN11Gw=*Guf#-3v>bC2;zb~mnsTS0wp;TN3>Lo{0CM0iaM3y!6nLfT2olr|7X5D@|j>L z6{LvIQ8b2Tj*fdQYA!P6%m6gAB#thHg83TwjuM3=SfX4RU@V(>qKqO*l%A1IwRovm zJ@O=lCBhbWf zduA^jYn4(05Ho|zq~9mTO<5{_NXjE^83-9~wxIJFZn~{9ph@$a?6r>4>Z*}u$Zx3c z%kzEK_6h&X zA>vUVioDcI_#wsEQ!MgmdfTuxnyWWw#ENGh?#3DeF!3WC&TYKDym1e>Pyzi)MEJ9d zKYH2JZl&ch93{jde>AkY4XbdQ*WDgZwf*VFCFi-jqp|dHb6FoYe>wy@U2toT^>*`q zIuz0-G4ccLS3c9rUl0KJQlsbFi1^&Uh==?%PRK+&`P#4ByFN7hfv=NpNT=)4ZPf_* zSZ|gByiA764K(FHUK%Iy*H5%kZH5gD?GH%3G+9>J@zdhKh@Vd=4EtsRRJI#-!5FyO z(FvEA!9c9LBLn97-IdbNkG{l-Q#)19dBB&J#_E*xin~T!W3O>m+3}6HrRHgYmkL_uJd zSb{Hlv8|S@Xe~%zsAzW}0 z67a-4dbV4*8_vv=SLNngn(aQzHU^7lHan?y7*DT_`7#R5-w+~k4rKyZVxNxylt7CQ zmS6rEvzYHy6{~V;J;5g_*z;4%NSc4HxlH#74$$L^{Y?2N8B2TCN(f179ye&rtzdwj9;?f9Sj!~(b%NN$W zCVTjjRdIYlbXa-+@O|K@agDVAd@mU+Q7Znvw~aE2WhDVJ($BJI&}m>2%uXIbY*Q24 z&?%P7H)P5P0y#v;oI@sKy>YkfPHr1{*g;N~S+%GO2YfLS4ie}(e%Ztb zQU7!YhStk&Iuoqq7Vevz9x+oxHzLd{eDf%rmbM?j6j$~ih0%*hPH`CZ&C%lsto0Kg<8fN$p7Gcl{)(Uz@&-W1yT|K>!$Kv zp||-Mcmd+f^t#f;@}kdX&fKx0%8@#1R`tliPfm)fo8FtN*u8vs?hf=e0#rUp*6^_oX&;{$WGEk#8zCibEo-SjN1Xbky5sBzL-3T|nBLUJ8t zdAH7mHwr5wIQi5CXOjv6cOrZ*efp?}^I_k-+44UlWXgS@@aCc82<`h8 zCrPOrO_e1$zY;vm5nGmOh5JJU^0f!(=Mqu4fAAqim}(btAVxNPc_(9c#oQ77XJCnw zDFAaekNkaIOdD}r->k3qEAXdRyXCswVl>!#IM-UZ znDXr`6zB=@SmU)JmUc}V<-nYQAnu4W{#GqV&8~zP1eUp}9Z@2#p&;%`PKa=<)FfQ| zJqCC!tS0(wE!?qf)guBEl^&RnKr@GBX?*MPf2u&c;|#6KiBM;VYj6W#T9)MlCvbzn zQGDbNBU%WB5xCgC(t>_@I1!>q3mgqa0~f=f+LfyKt&jYaa~Z3M3Z0WC{_v#Eu+>(n zydziq%Yzxj9N16f4kX2WasVxYDS|ZvqUe{N;i3f=hheM(edFYV@b+l&!&-0WxUt=h z8Y!=IOJ9SLdFMFZw~_z|sqWhr?gTh{(nDfF2#Ilf;2^M{nByxFn3~|6M;G9Cps5KC zw1iT!o_vWVK@xzk_Z8wG@Z}Vu#7TdGvf;(RJlHmi4KJKsBS7>L9GH|3D4MLK(|=L- zVzUrzoFi(2fg%i#flkV&C-C)b)$O3W1!E`AcQUt)1d^df;Zp&WVYq)yDtdQ8B5@Nd zv}mxcaxZRDEOfMIOAJ`329_HKiwV4@!Hg25=>uO{haRy%fP({=2{$ZV@&=2Oq9&h2 z;t>dxxTNYJ?}B(0#qG_bz286c#rXA9FRN-fCb5NZo%AFiq7%?Eif~NfD%C~$sFhkm z@8(*ASm{$xXQeGrVf;~%l~j7e9-%VASCnTC>5{kS>q!$Bu|;qh3&jc-Ae2sLFpcT$ z;-&xKUN~x^E8FsNBAkO8XUM`<=3Uqm37%W9-od_P{J~Nq6qT^r)RdHwPHTl;dt#;4 z?&DS>`~_W|ZbnF+*FytlZ6=l-M8;-eVkKfCaxk`r;p6+iBH?Cc{%?`==;*j?wxj#c z)+-uxF2xKVNCREFy64y?O%F@qa9>|>@v3MW+tyJllau@O^!1+Z2`45|al4lzHVUF} z0nHrqViK9UvXd0A&PM$D`Ttxo)>oL4N*fnu5aa@I=QEH%4aOtlTH@dp#G^7Ypm=x; zVi<~|@9R$;@|8YwW9$Lqh0h35PV=P4<5&c&bswhky8xnvB$#OKc9aQGx|W;8H}uil zDQ{*YX|c)9&gl~qOUn5R9z7!&VcKfeR~CmY2kp*XTc^zFQ!lS$g1+VD!Q@pR&f&^9 zZuW2VZ=Yrobjl>-pp6vq7*bMDIPo5&JBPekeU5RJ1G-2eEpI= zX1OI$%t~=o43{%|4bk{|$q7x`opS&5`Z|2rQ?KT#3pM@Jyd>$DTBQau4$+rNU%1UA zkz`l~<4P;Qng&TE?l{yYFZOEVU~KSHgu4CG!o~jNqs6b+$_pyRNzSH!(A>Q3{ndd6 zOV*G?f^H7bGB04$joBEDz)6=mOW-rStx{l7+uEphY`3U$V=_G&T253I;fw?QUtEr& zJwj3feWVeAv}U}jZFu;n7(l4llW#vVZl->~y9QxY+(%oGg1O*Gl$Yh*SnCKIM{6)A zasL+O>fzNlQMd zHMR7x!mkxD8)kVymW42PG+)k~K3_?GJ|=7TX|{PX|4w9t-h;JumR@Yq6G@JCKjqXY zh1sh{>To!OF)9=+^zQSp;oyW1Tzq~f`XqtR$pxHXj1&kIS%SsEHEwKDa!rZyts4Be zwDFgKwH-igbADqG$yGQ$^K+h1A}G+Y`b*L`9_6zNG1l6buEj)5%EM72MOS)%W7A> zN~bl=l&vu*-n^3%S8?33N>q?PJul*Rg7Y=l_CF5d0LYd#U-JB3uh@g}bb$lMzFIAs zx?Ni>X(j&HCzcB}e#2LiDIG)B);&Iqz>AEgrZrFTm&RT?X0Ld8YndXvBZ()^sFPLI z?gC`&MPQCaV9|Si(eh4vnP1@(@^c}wwKk3fclg=W8egy?fn|?(^grsGYxGNv(z5vy zYI{3&#agQ#wNM2M2-Sc`$WEA*@HnM%o;bZfyrtjoi5RT-`MLDWKiCk!ofyPLIMBu1 zPEA;kQ@0x(5|?YS-Hr$3Y%B6X-kkKN+W;x(X!f$j6!{izhdZt<;CVb7LHY`Xr$8BN z%3%%?s2(U=(TGU&_aRAb_Z9 z9vhrhZbl!ttx*s|b+z4iBR``V#AO=TT_Tl+lkI)32aq9G-D9)kqD`W!5&o3SN%j~{ zHP9r@es%> zs&>X|u{?}W3A=z~oqu)7Kf3=I#Q-08rnkz@_04Xr0h!-uR-TwK|M+>qSb~jEhZ`bq zL*%+qIT{D%!co1*Y;g!CP1zbe7$N*M;bu79J+JU7OR>;=!ux|31Otka6Tv>Dz2SJ; zQsAzO;P{@gEF(;ax;JA78Mx1-~!M7n?y`D{g$&gu+NR%54tdQmc>xD_(fK4 zY+GE>aMC&mhV!A{-I%TwVKuURVD5%7D8=$^T{TqxTXAB(xguE5DsQp5X{nri&_pWi z1KctfO&PB4*S&5iSZ^;zOaSP2OZ2BoXt-N4rYlX5;-docrf=w}Av$D}Bne8UhKeq0 zy(xUg+6iDx%=1_gOYALdU%J%-Dt$2Z;=OG=L#P(IcJa?6)5Rn>khh`p7??pgT*+^LO(`fJ5Lx#xQ#y|mw&zbMF4!XtA>0?yRR7D z1-4I2vm540AtMxteiy{1<++ym?$xX>++RT&Hch?bJ}VSBEU5DqcHQ{j&_Vk0)D&AA zM2c;KHeUp998=1|l261k_??ZGdM8*b9pME%lITDy>T?`%AzIJJpzp8ZexEjj^SIC3 zg;NOLC|4W%(Ip$p^?(>g^6yC#-3rEuJz*3>|HJBpO*N!9%Vzi2zrmDu`;!Hk_%zlH zLb7`y1TQmsWli|9dyw6%ek~p&jY!&SC6no9x5A|uYie{=BQDFCOc_!4#Ipg(k+qY@sFCVm6GjkKoR^*; zb(MDJMvmSU5F;)2N#e|G-db2UTWr2KJI2Lsdmem*>#%z=^R1`ycPmy?(B}kA-1Xp( zEf3Zb8LbV^zko%0Y?}MlO;ZqI@^you-SCza>{FA1*+@^Ma}S@zXsJ;8Rz zZWQmXP9?ilERPOqsM)9)UJR9w0e1rq@~+9cgYU}PQo;loy2^Ggr)n%YCDtSb)}DY5h|6cP z`nPM{L-SBWP~$2iN1$>JF+U7f>(pGeIBSwA3iu^Eu>8ww8=Fj4X32s}B2sF<1=Fe0 z$9t;KXcq6$04$sNHf{fwXoqE-3^$2vAcg=QSI0zdp4W@F%xy3?_)hcoEWtCVt$mTj z0EzHk3uPg^Wp;BnNIt@08&p2vEI+C1NDWq$vE!Vlt-XR%Rzizp_yZk6v!QTBvx%5iCnI>&Yfn#E!%K!X7JsV>e3kmLyc0SGP0Mq zZfMw!)O_^<(@4d8YT{V#;#LkJa1?3|1VEE>ds3Q!!r57&PpZ;W*{hj)FK5h})D>Of zhEQ@m3eZ)~hg@h{|9LY0_2#e$>iRe~UC%Yra8UEvml??l;3Nj|RhI-`cxa>Ra*I5+ z(px@{v>6g$i+G>l@0t0sF*ptG6}zd@xgA0CI+|H0k{X+|j%1i)0too0ue7qn0*be1 zALZw-T&tanwYY*HwI^Hb8%COsC7dWdivxw=$mI@dO?p0@_?S~9943HM_x2pIfc1rC z#2xf|eYsn2O9a`5R;;w@oG91wb{NytlIt;V=6RIf{MaEZ0$;(mq{@mzOI5$#inQrg z-5t^f=_Kf}kS-%>bLbYU9f5Y%0ePbN&G^-!^q2v_DJkJ?jqI%W#8e!k+8Mk}eqRR1$unIS-Vi}>v1 z|B3lYlIK&>KjnauEI%#-&}Tv;rV zmf!|dF^XXW&mLlFlNHFz;>q|AlOn8*U;7`vexR`c^lh_#M=S^T+Pt?2XwerdTQ1S? z#q>p&`W1s2kE0jgZUQL$9{uF#EDzgokiFLS|kfD6uG2xqxPoS#Frn_j1NRODb| z6DZBoeDGe#cKd*zjP9&KB?=C61dZ7DX&ZIFncpr6EH?xtPSGF9dcrWueSycrJF@i^ zjBbxCvQ1AAsI3F&mfbQFzLJMFQ-RT+PNlTmCkDL0a?7kG1B4Gig1V=zU45t%eR2Aw zR^n{4qei6%ooT(qY#YNi+raGlZS(U4igXwr_Km##EkaIbA%TRz@-p3|?HEfd3~C+o zJ2t!ibd|;{M_vxwI{iP-RU^O*uyOe!riH&Bu7YLddu(o(4Pg(qIpRDmzTE7eUPn-W zq6gD@Hx8Y?xob)jsA#vtN)uFV$<2Tj#Q_T3NWT`bv#Q@Djyb%Ut4 zhUbOM^7UU>%-|=uVZ=PWQ?r#FckT;*Ct5^xkLNck2OVN6GDV)8ZjY_q1FA|RX2OL?TjN(tzI_`74|{d_q>+OOL7wTFmiO)Cc;#yT6Y0&?+oFw>59T?0%k zpCF{!1hGfJgdev|wwfNgm(tNoGvdpA+}tRMn_n3ax*-j@emL-W5B28J4GW{QDB9Hx z%kT(1ba?&uug?Ky)Uw#ktYRls1u{6lx^3M(ur3;Ro<}>Pl^x>*9Z-+224XFbw($Ya z?1Uq_>t$AY9FF4pJ5Gh3Rt@`*6zB`a2EOdI8ApJLWRYC^!NDWsfQUb_CSx+vmKjRW z?KoLM{WRI031xCXd4kj$Lq%!5z=w4|qA0usEXSy%WPn1+zf7Uw6W!b^86G%Mkssl~ zx;PQhVj^w!f=w{2ea67o-&thQ`d{#|kDBpxW-VY;EM}Jf55t*QIR1y>+EN~yTqwP- z^>g$~xY3{iV3@mjqvK@ul>TW+dEF(54Iz@2F7u9!hhHC+AW>-KGI6}KtdvI70h+y4 zA5}yg+Hq@V(+;+$ug6zyfZh}37_P@5O|s(kHYGZ7W*I+>hk0A(j{`sKUv3{rWg)JV zkAqy@(xlE-%D02>$ZNp21VN0Me-_!?u(x7kCs`w3z8Dl7$2lI~;< z4e(U8M#s?E!wj$M+6mofX}#*fw?nA}h@DMez0|fWviiwZ&851p+M0%b{?z$?=j{wH zP8qe(t}m&4k9nz{ zk##R8?H9wNd{oh2n}Cz##pv;;>v3@C?bFL94!fHwvwetemgnvT_-WT9`pF5l>TUr? z9SOGea19fL1N%74%95AA+6%HQQGGDT<6JyVT?f3F=;T`pL;crhhfg6Cd(>Acy-G8& z_BVRN_?&1v7}0=MdzwYN1wB#*zn+cFw$?Mx7OI$Nl?6qfEu$u7kd}H=^ z_8RB>$Zgb!jM<=)@G3k(b}T{mvjUs|)s!bicn(E)Zn(Ah#+xlrf;X1+pEF3D#4%7A z_&vptm{titv!rYO{2!Hu0mZP*;wEP=K}b)sp6vWOvKYV@Su9~q$Za3Bhpmm`&Mkyt z!M4|NS;o|67|q4!5$$13w+jwz05xsyEhMckzpV1>GJ#X}d+aiW?ZwmRpN4fJV8d6Q z_d46^A`xfKQLD`Q+Ivr3aIqN7fqS?(u?eMhkP%Mn6h6kgQI-dR#=G}9M&W*wvpCnP zsJ@n7a1+4zfTV_5sUcw?(%gK8_wh!(s#NU@M8mmBUDu9+$;{ptAY-C38m&N z%n_g~%R>#2neO*lV66VAvS!3`&4V3S3}xJn-;HUK5JB0ffK6139Us3_@0{9dd&{ZM zSrY~nPFhNh0OQ*Y;YHP$&|ccSCH8jk1uk2`(T3_Kqm&p^ls79u-pvX$ukiN?G@Ll_ zmlFWLkb&-B0NcO=Sm- z+u!pywyKE^eG$d~T;8X3zMl`3{?|ZjI?!>bw5^8gqo`KrykhKHSqp@WACN zHBCAwdUdCRZM_iafEf3A42U{9%Bi4bU&X{apqma!_XYxd;a;P;{aYlqD(0W8HMbU#O8`)V)wvzHzvG z?FF}cDZX(0IA6^JNf1WEAUv9Wa6~{IY&!~e0i*W0v2&AV1vsAgKN1J?)YlEFc60zX z%k6;;lGuA}nLR9(t%u4q?vWiA>c;8Z;&PE*8W25$apV)S*s$qna*=QSD&k)fS(P

nj8f*yq(gneLbvD$JVA**5U}(+6}_$2Y*Vk zGb?cQ8I3)T)aOa+4WS0Zbw8yOKeGKdU}Vt>#^uhPOvlnHu|gZ`n}Y^$tTlkwVkiNZ zKVdi=xqU1i3UR%E3`OtbC)14+1=aO1O!rzb14fnXiXNrtzu7S`h1pq7UH%u+agi&e zKtkYdk$loIry#&pF42P)%oz3<^SkX03tA+j3CvHq>vB1*TYBLiIIk|uGBkinR4eJL#1PmXTLocXG;M=<&hiuW?We;+<~ZY9k$s-p zVc~NEx$rBz^f@l550Q~DA;^Wy1gG1B!&?(5Lvsg(KQp?~dPvd=jHA?$F9Q78GZb_1 zGE!@#Eoh@q=F=3LWT=i4Z59?5b5k7$o|64U>On$GPD}tY!w z_-b_Iw--w5(6xmqgXg)MkF%x8c*#$IJ6*8qq9HU%)) zC7Mv+i#lMo`WK$lad^F6u5WEc*lGFYnXw*Z!1IAQk5m2JOThT;aq3 zAGa+*;SBK_G+Kb;Vc;t9tTsht+1iUrn4hNXn}yx8I90)h3d<4AGm!!aU_*p z89lSIf{DHstur{L)+=&>&Eh4#w2$530{Mj5Q;x^0`9!cmFYnsi3x^lZ zXU;eSH>j8bCTG?BUzO@HpG9>$zjEips*-sWI;y`p#bPU77PjSORI5kc?)XHmm}bn_ zre}a7^)QA9DvmfhDV{wXub{Fl-9u%}PUXz^z%UX+F2azB8F0$^eJ(JuwuM7r7Xfr$ zU7*lVUcI#^&jYz$U~9Tulcw2t6R$@o>py)`Nt@Ww!Cev9Taeer2^^x{_h{x2`?-Fk za$C5SPx^NO8@w7|u_UQC+v3WE{2|6aO%?zLD#)@e%BY3DDB)0o!s9zN*ZfXLATO%J z+}G;g(dcvBklic9AKyH9G9Uvq^nA2yZDLhY)lfGRE7TAmjOW^DcGB#Ye{CJSfA=Gm z(pLg+G%i*Y@8cT{^Q?HpBeOs#ocm!(rL=(tS4amP^1c5}5ViDI!P3XQ_9{6BN-F>a z9QwToWO&p%?VHPX5|Z~EdJMjxmA*1@1 zdM*QL+PKpc9c}KCZlvOm^vpqd7~vF+RJx2_#Gn^_I4?$)GL9m`6ARsy_gX3HS)bHe z&7-7#O&hhiPwt15f@V$5PkKH^^ zdbMl`?(&}S@O*?{qy&lntkghFLEa4MZCTAy$c-(sT{stCv*Xbv^qY_cd;uQ+z%ey6 z5<<(8l=~-T2miD$NF|xhUATjWJ}wTDwnObw!i(hLEQZ^1CdWPj$@*ACz$3_X`^ebH6Tx83(;eVf`SdP&XZIl^&^)W1+VRjPXJgR4Wz#J5 z+i%jTG}G5Xf>xQ_=dM#!-m3NwCbD44(X#4)8G`Ra$U$-i>IJpb?RSf$H6}N#UOBQ# zRa4Vz)jP7vV;9Wu-*89gXF?&;Bf$`bg|^M&Hu=&4u{7I89|PY(ew-N?O(2*4?>G#U zuv|8IC-N+dF67zIxQTZfi0cYd%n198?|3Zt$qNw@OZD=bVmh4mvIEZpOnhDU*^cH8 z%!O=wWZsnM8xiIK$dFD)LU(DS^>y}OfABng&mOK>IoG1v8qo_Et1vHF z7LOCNJ=;ak@|{u&T9xhHlXt3>|5Uv%fG`LH+88!TTM{}G#E;$t1qgNf&kV=Wh) zi{@roTf6k7JDMmFMTF~QF}jv!nH8SoVeEw7=8}h^>h)`s$8tDsA#x7N-BrR1ghGSm zhix%_?BTKl^W6n%c6CZ64T0vv^@tA!MAFv`W7veLm1@)B>fIoxu`*jweqn^AD_D)Z$a;7#%)`7zoQ|Y!Qf?w!1(_lvQwXqyQTPZnq`q9Q4^hL2C zrLel{cgq5PGzAHLm;D%`H){EW)Vbc>rMaYvb7xK{CU$nIJfPKlPCBT%=uo<}OyRbA z@{G=ON>7!|t90M$iHi_V`r}|vy2Qc&lum+T2YiB|J=w&cO}3vKjST9Y>UR4!@r*1M zhe(3UX$7 z3gyfpfRYGpywO0nF$1xN17l6~n>{bY@*@~7{#96&BM9q4VtOP1fxabDM6B@u$U(ww zYIg?G7##D>NC{%Q803v>(@T%l=H0s|twppZz1hKZ!}%iQ>h>)e%i* zLV@>U3n;ZXF2^&gWP`0s@B!=h;tNpyp7B!LdAs7`PX;Rg~7nf4F69p9oHoAKDKMWKbOrw^$=Dp+Tgx^Q$xf`V?G(N!J^n@MgUJ z#8UeQKMudzV)SgB`@nauY({W_?z%oGhP%SMbFS%Qm)DK(URe36rM`G3@(>bSr?45f zLfoDv1&Fy0Y*x>lmRK19B;85#%4U8Asj%Km{(zf}KH!0L1^cN^5QX_&jppcawN8l5 z&p~OQpTOz<+~7BW@GM9mJag#J_Ma_V*F(8Q@*PT8>)J1MSN|y}Za%KywFXTvsjI+O zazE7(&Ws??LWdRwB-t;3-2>i2ODh&I_^FuY)`lxy`|f(v+$HCs2=~2$qT;u4Ho3*P zF{bIF(5R{Cts0CA%NoB_v=7jLO#ws%Hv~)ulmT`1v{3z^Z^6KGA)RZ&^tp!a zT9_IJRR30H4jq8{7w`?w;qF}BpIe+m+BXAjfp!=aAp=rxf5A(xY^TQ&68^e21qs{Q z3S9-PF61zgSxHFr8<2Sbp&cOvc?a5Z{i1LM6LSz*AV!pu!fitA!MHhv3JVgXDFO@v z!YBVY8UcIf@Zng+2IE5Fi6Jv%>~tV!rs7mzhFx;`eBA}@>CUpYfwRkpLia5Y{sMZhCw*n(E2G&B~yVDPL9puu&#t`_# zvFZ60G;R=NjoaLx+>dbmAJYL+AjJT|ZGIpgCeX1%LL3ms$A`N|=bvnIBd)Xt@lD|^ zenG`GCL>c0B1)MI5~JfE5db$IU&Hx;xCyw6$H?ACv5T2S1FYbY!DxffZ#gu_9AJ5P za{SvOSJMzJje}t(t``Uw2`gA;dl;013+VCp)c&hJ`_93q|6M^GTtPy@O@UTFcgejOP!NY?kx&-Rdvx3Dc;^`XH3Xp}YXfPK(8c?o1|5kq_I?w2 zZJ7Y9r%9|y>C5cKpYbhbuG~MSZ;X_3G7-(AyObEO0EzEW)T_Q51D!#PIY`5)>GA1l zP?r$DpT~(O!jgv>zzPEgl7&vjlOe4o^xyaT;9ue7M5lY;HCxrSX_J`O@czwMt>cf{Q<-Is@9GZ5IdOL$2$m(8L<0Eq;fUn z>fxC$OnTWVRwYQ6o>y`PV#cls_3O zE+tyGENU*Tvk^|cr-@)lY3=Dqa8;ICikeTt`$;c12AC;6MzJAfdNa(#*VW>1b2}|o zO9;-B&XZt=8O5_o=%`4+O$VKWFVx;3`Wc>OXZNIbp=`B;@!HYY8Fcd_zrBsfBk`Ti zB{f0<;1pmg9Cps;JqHS(P6My0SAg|1Ys%bUnG%B`)Y1bNisjHa-ny)d&d)W7VzCyC z>_dTV_&Jj%rKOK(cM?>$?=WsGn94hdV!GJOj-;Q;tY{!qv5o&tpWJ|8!Qu%Q!(Ftb;0F$k`Bj~cKII791vd?GVkC&XT5IJ83N=JN4 zc5uOuqJx*A4M=cGPOGatZu^98ajT>0}hZKlj35mxxMi;D8_LA7V;=$^8-1* z|Mn{7ZLiL!bO{HVpAi?ZhB>xkO09NTW}q!GKm{@&DA}tC%R&x4^%Rkd%T~vpCA|CX ze};u0;BSbmu;geEUi+`aALo)AG#?A^6{_8j$NWGre>bTaHFqK^Zs4W?G_YZRlHCju z&vQH}T#8Zd`omVn8GAN9*K6fcRPOGml5kG^l$hn0uKU4!W-ljLnTycMoh9=>@^eE?V>j zs+|7i1e~36N~m-iCwcK)Ume9;{Ns6gquhNv0+@CC|`?}dXpT(N~(=i$46*_W2ngn`f~ zM5h*sB$7EX|1z>C>||q!Na*!J&Wm$nIeHSqf{DL$eAeRA%e{!elHddJzNZtn?K@MA-=3os7AdN{#?2yXgg^5$^_54{_bajnz zr)oiBprCM$<09fnhaY3$FA1K@R@->>pvwGBo? z>NP{<=AeFq^Jt`&{E5`150<5=4e#|b`yo^A)EwJVdgn!Nl+4GQ71Sw2_pjOOm`Y#F z_-CmCK*4TEabG#U6EO9cv5{8Ongz`8jgY7f4O_l#xRKv-tO|s zJ1P7azk%}*Ys-t^YWo9O{vhZBb$gcPJ8t!xd5A6(-e5c{DVZE?{nD=I{3e}BLh)$! zE6ZK_edBFgsI^U%IZ>MzzLY|;XAk2;$L6C9pbQJYWPm++SlzC5QEMQEn~0=S#@a?z zalYg$1Jo|5;B?xz zprFR~kaBK;p2S&|05f2QoH%#gc0Sqv4V|-mc~6>#ho-sIx6}B`rb_m{(bsLjXt^WySu3LZt1eYO4=0yvQ!|u zkYoM0a!jzS0|)!B#iq+>a~vYzTB>4W%v||$;*GaiY%5NIYfYT$0#(d_%qkZjfF2D- zSzzK2sgi24guEZOr##8x1KD2kPd+aQ)&t$ZDDX+dDw51ipr&OSw}M6%T=M7VtIX?U zt!&2m%BDaSn*GJuL5#*g)l5@4r4z2HT8a){vj(BuriT)YGGKLQaXJDre2mJ=7*CC6Xk=icWQ!qyEt17b>;RX&8O=4ore;EU3 z7&4$M(PREGJc;K=m^m)YCw^81CiVk2L!OR{9gEalmnQ|rbm_IDd6yy#kaHD_3Ex`u ztX?riAet89PbO~zVOG)*N&2!!k*m-fAIT`q9NZ)2&vy%D!&u9J%!V};u3eFl05#Ki zQ-wN)XVI5hy|0A**eApeFnmgn@%LaG{4ht2i=ht2EpU*TTQO$4TYG& zd7;4zw?%o(dD#No^r_k+i99OMNL{V-%wl~NFvS ztLXdXrZAKwF2;On=6|L7H&xdvedhGnv_NQ|=Mi>fIx9N{#=N+RnI z%Tr1}0)CC(N2Og|fJox9F)5!ypC{MJ|DSF1=TX^YBEp1myvGmver75Jwvg7&MQG60 zs5Te#f+QkwzVN9JAO&2_sHrLlGY}M~gNEJc%N?U;pj(%s+KLv%NNVe|yG0jO;gEuz z{|z3Ie6owEX&6^{eE^g*(~Ni-QIkM++m>&ZP~Mg?oECsRHplIcXI_wX2A4Js)kQ+K zobPCB-2bZo2Bv2ELS-k9C7 zZ95&?wr%T;olNHcX6ELOwWv$5;z;i{y6KGpIH%7UUOH0w`(W8dk5&;~$N%Gxf8`BvLm4Z{+C)c}b@EX_ndf0CtKbLGfBmgXO75qMn(VoG34=Ice1K?;C zr;w_*r)yBVP&Jz=BhIH$%dy12>ubHdT{6Z?bGmc)X33$0m13WNyiq?{QDX!lRMrsyKIYE9wbiB_t+4Vsy<^PQsk1GFvuxB0$$zTM zCi7!%-z_SlY8_aFs!fBic@=*bS~GdEVLx7zA>b8!8QwyFm6{tydRKjgSr*44|0ZK~ zpe?8v4SPm7OFiJyANeDzJKZQo+bQl9j&3rq4GD0;{~MW6S^zP;$Uzjf$H43{k=A`z zY-b9yt7Nvt&0c{4lC}5jY2>P8;wn*H=qw0V6Lr6u`UM#VR;6|}1EO>;9D4oMe5Q%g z*v+95uRON=JG?l}M==6Ly=aK_oH!t$N>mDh->-X9mgeDT491(;Mzhft&7l}hluyzH zy%?~_%~PL9Kr^t-*Ap?)_>0o28@c$}`G5=8Ux&hvWx1B}-ZFrY1~zB$yegG8gY|NS zkx}jbhWHq4JWN^j8tQa&v93b!cxM}P265pP=J59Be&R&_AnCLKBd~A8mQ7q#?6>3z zxRwZ$F~W6Y?17nnjM9UzC$ju|_Q`33rP0UM*<7 z895GB%y?`&oP8!UI)T=MFrDaG92ZNCD%ChiWon30e5dtj;h$>Mg!X&;KqMgl#W$rv zBp>$UmQQVqT4oGVNBrunkp#|)lVSw5_o82AJL)X8mIp^Hr(R4;t)+Fb<_K!sqLapQ zQ)l=d6HMQFXQZ${MhjBj65Ex3|;;j9(+?$=Z@ESYV0w$ zZUuww>S>N;^XV%EWf=8nNH_Yu2=#29UAOMI2qAHzM`4Si%5!4eO-23PMqiWu6rWBd zl@wQnsltAj^>8_9B5bWphI_IQy~MdfIqjR9RMpXX(2kBQzGfj8=c$3Wu0BAFx}4S% z)iy*R{2<9os&goJcyNOR-(F|NLrqO!K)bkQe5L&L!xea)N|wNn;ESKw^Fnq~Kim`sUwduSMSok`X`1|)&HfUL#uIL^F{6IC z>86~kF4ki7*N~xNkb5-yWFi6b-HiQ|l0%qfoAS+&q&Kl53_+!lr5+}L)WLR|g%p%pd$xs{;gQ7=xK$35R=l!oxXut$|xAlfLvH) zi8X$#erVNI6zh6UO$P-$OXTfBU1;L%ve(UU?I`fI&kqC)7WUmHRD=bR zNZRy_PAPm5NMCbh&Fr(WM0q<2Y)3z~K?z6+p@O%Um*dJYodj&#s zT2Jcw(X1;hL)Dudj5K4L<(>S(i|8lZTaTRT8M5k0oip+lHMTPtW8FrvKiNTanf%6= z=O3#B9jbDd6NPq$u9g6@2keJ^KzU~m!e zlfqwa@wj$Ef79fKI*L6t(H-tp3y@sx9Tq4K39~M(aVbIcDo+3?)+nTVuk-Ep)#3b< z>hf6P6WN^hzqv%`KZr)DkA?ceE4Pn-llI54q6w{8G%Wm8{c9zvHMI_IxSj3-@x}-B z6o|F|=RD_7b=7m|L)zxqO1a&t=8gk0ic5T$!A-r;J_aHyah3g|6GCgESXaJtQslH5 zX}k#mL59ZtR6`H20Y$7N3|z(UcIMk~imOT*)ML>quR#(|v#fS8SFEw1wri29F2X#$ zDswrXf!E#)@cFt_3NJCxsa+%Ikm{u{6kWm++LFNTWPW zz8weW`X~^XfJ1Hii^XqS^Or`1{sJ+rogViMiS|x?x6cekepL>!rzvFO)X2^m;4Hap z@{@GD$vE~xR5tuCawIt0$l-uT^ZRMxJm?nzACkGvcyZ#hN^^c`4VmHZgyCVib<0m`Cx(caqwe?k zJMBv?_GDf0{AqtOYkc}Xsr^+FKYVu?71NMzDM}W=EyJ>Rw}__J4n6MW^vaWIQ({6> z9qeJ3#eU{2cW98N-60%4NFD6ao#e8QI&ph55A%FrhA5t@%};6*9PbZBIK;{Ru9C?J z4rdNnyK5!|aq31&?fkS?OIJDX5{SGkq0&LM$caTfEeunJ7 z4voJ6ul_@`aX*V(=na2Q1i04k-+9?#e%^>J>#r^6kx^>|nqEQPG=FH(O8$*LPvdG zV(84&4}UZo#$*h{$MSW(TT=K5PPN-XX}=Wcc_XP4ner2RP3gs{nQH) zoaEaBi&{GwiwHaaB@j3^$bxqdcTq7G%`HAdl&hdV7gEu?_>2(|n`dj>LJ7RRO-+jq zocB5~k24IWPo@#i-I<=A>$V;tyS_UC_Wa#6??#fQr(eVm&3C-8fDl9+(dPjj32yoCB+rnd$5$K6#J(`BaxM`-oIF?!i;f;ezhcysgaN}Uk^&cu82 zcI}+@5h7npzRSrP+KD6%L)a!rtD9Qz*5CsHG*S-b`nR|F!beKRMWWDU&X(O)C_%jN z9P1`&J~=KdNE5B9nGr`$>W>LpFH?^-p|i7CuRM!Qj{>J7s{#5?{5UQ??8aJTuz|pG z6aG}L0FllQ2){xy`?0VC)pR|8&#H*|LkPS{0|P&$#b1Tl1m~-E&)ErTc`8SnP-1Qg zkF~aEBW(FoLI2Wy0>T8egHGhu2PrTKd9pN@w2{bx;=DSCJ*kVx`$!%AroJtK9Xm^+ zm?j|R5KXL`vmLvWd$#}~?>%_8*KR-=g}XFLfRl5hlM0)&jAoXg&;HrPoTrR zu;_=FJc*v>6e3eI?v`w*h;{6E#cK5gj73__@B4e(o{Kvpl|=-v0$X2-17jx^w2Oz1bz-!x4|8#VB9~}G}4$M`QeC|d26y%BHEhg+$bsrO@g$X!-0{ zz<7-p#i)5HoPf(~-0{xPHKcYiKEHZ`W8*zAr&SKvQMVVeZq3pS|68U<>RpFY3qG*K zq{CHXUu22+nK?$1!Khhj%4n2x2yL!4jfqHXY<0&ER30R;N&91X#1byi1QOy1wLNKua>b#6lg`iNW$QTGg2!z zH3)Wz$<1mkW&~GR&XF?k!db2wYkGhLdASi-%*4s($*LdVJC`GV*nz)QGe3f@;7KYQ zuK=8yI2!n;Y%au$9*G2-I`d4TD8OYFkx@^AOq|DBHvzg?X;V06iS@7I=IfNCa7Xs% zztm-A2i7Zphdo-kCNI2_;vX%`?>@3{HvupdV)9zv(k$bg5!2zmc>Ns{Z?>En5p^bZ zS#0sbu!YJ1K{x%Rwi#leD-#_DuT<@uQAZ=am%10WF(qVE{DuveYJCZ;%%(zWTOaZe zPgbtC=D-jUX;$Ui-Ovc3CRM`zmCqDC!_YCQn%=*ij#N-Ma>3B+%}mFDdc(p&jm=sPA7x|;@OGp%HD zJVVr7w3@KYF*By!a01ni+HK;r=Ft?k!r`n2j^S_NK-LnJCs6BsyjqRJQI#$6qR_!w zde{)t7DW}impHV5(b_^N!2=M1S zo`^BP^g52(5XXnkYz}G{vv|!UOUZqz0v{dusi|KlNmjsc_~kP#>F2mxteo~QOQf>h zc)71WYDq1H32y~^S4M4(eB2KC2(*+vv1jhnhYV@2xCnJjO0=pMTQ=(cBQ3;@ED@5* z0!^$-OIZoz%M)4*42x-F$uhDRnuv_6uw_BO3T^}bK0xn5)t8pNg%qoq*HRyl!QD2O zGgI*Hd?PBQPvt6L%N#$)^MrMH*{m|*GrE9zxFgN9ERffSa)_lE#}2lh>3G9iGS%~Q zDEHPz%r)urm!mOT*es{M&GAy87Ec0DiUb@ws5`WThGQ62qPK=5S?T&V+XqI*R$>EC zP7wf}0AE+gSAfV18Fd3Xs)j0jV(*Ljmo+_6AgNo4>ih&37Dzmg?FC}8+i*AtMIRe= z;LO{uE16^Kl&$Kc+u{o1l3Emy$ZCIcR)leM+LcJI4qZ9IG^Em2>6aCFp|}G6v(l$d zV$N})^l6TDuz$xo!G|3N;Vd4UAyyJ#;@owcc5$5qW6RXp;I<9uAk8-ZA<&Lvp*D7& zs)*Ec&WGRk;bLO*LTX~la_`>$>->Z!|35ZNiMm-MRjuL8UdCyFvR4 z#xb&iRpqk%| zk8Xu{=f&kL=s@<jhjUng#jP>t}gCp1P~3dVuOhbA*{cnIOlEIYt6Di$%u z3ZEeA{$8MF5b_Q?Ul|hR%b}h<$qi@?rYvxitUM}8<94alw)9q5F-{X0NO_~w64u<8 zXT`?FQ>vO{Y3?;#+c{OrFzp1@eh_13Z(5luuH5aw9!u%eN$q1!=>Gv^_Q57wDqL%4 zD!H|i%*{(QaiI2js`vxw9$xM=ASflJWz*ZZ8`wywCm2Hjs`uV;Rq^kKM;{`)1|Df;-}iZKTin!4%j&!{C;F zSJLqN&cBXZOom`p5kVnKi8lHja%L$H7bjo-*nVxD*?>pBb%%LNa81OJbrw|^#>`l& z(yI-5`pl<3-Z+R&-8DxElNZAd+3-XUL)dfM zFr6Z=;%A^b;EN-29QvIj3Xq=d+^6#Mc<<`x1Uk@+3xu4CGD%qKT9>4qLu0QE6Uy7o z4XDr2Koa>;Jq&%Kb?17eycoj*LTHCi=S!D<#xk!`nEsXB)BlMn8g4Trij#@2Cm+Cu z*FBQ8OyCZ%o=OkhT-gyGwIYhJ8S+Z^5qezJHqt^Vu@-{8{CHvv2QE?6_>Z?FZTtD6 zI7QaM2)3aAp1euJW(P~Jj$x)u#5wfHsB>hG@}D0m^vf2ZXq)jbTf`Ht?5Hb#PCNKP zXMYVS3^J8Mo6B(!|5z3%fK`t;=QSCAP{VL56(a|D5`OdCTqYBq&wn36)CjTB=5M1B z(^~wjk)P$-rq(tw!ZS_atG?FJaXSxgTDv0}{mrhs%t^dCy(~^QLziJ=$2y zA0r+h`9+VL%aNFzH6_g~Wqc7seIZflPon2|tfBp3%btc%y3d>C#TXK>p*z@rQte~w z+#>Kr<$aaH~yL@qe4j9l&DZ=~CT!@YB2 zzhUS4!BALLh`vT8tju04V;UD`9rI_Bd->-{{YlQUD~t zta|q{YWRcWX^_%PS-3P&@ltN3AGgnfd1o)N_tsl|*=QqrjEB+k&+~1xVp4XDnmgCg z=TU$J0B(26z`k}U4-VObZ5gOgcO z>$$NTXr6*Lci8fLCAW(bP|(oM?cwqn3~O_O!$c9@_Sm~!a~<75iQjrqP9ZmErl)>A zC0zypaqDXyS(DKQ^|xv=NwZ?%vNWjK9oaTqMb<_zdCOyMt&+-PDKf*e+tdp{sN9*` zM2p6Lh&`&3^QkT?`0w;y_q!Zg+C`(O?!THA_Kt`Qp*FUrC@hiaQeL-!d)Hb*WQy3_ z{@k1w6caC~?F-HGRpqykCxU)3Ofn47Y;?I>nZDj6wHuC{w`kF|s0ol+mS(q=Z)F~*!kYXdiY0J)3J#8VqkB5fLA24KQ?mrUcC z^&=!M0mrqu`n?m~AxuzI<*wvqo7&QU_mFy*UYxAhx{E*Nr<^f6pjkO=Mm3ZefWotBKKqUHY`iGm6LjWBO|3 zhV~xOlp1g>xN@UO6PqR9Krw`VKZ22ZqK1}d#mHpgwS|HI=By+UJbIY_%3l=%BW2wv zH?YHQ@{^R66Tf+eg>>3dD$H}y?<31Z21NMfw*ba67H%$Su*o6d&ye-RbfN_IrhIV& zUGQ&eqUN>K_sP^pE!~mgq=mUJu_)v#0m|G zU)|ta&1u{@*WU`W8$=Opc#WsQAN5z$;BJXx+6)7K2fSqPTlz9WWqN%Az;!9g$&o6^ zPhnK0K^rww_T-cZhey{;sMc)X6> zox%ZNmQaUzbE2YEU*5pY$_#T(8Uc_`Xh~wuCuh|^8pK@!@c1RBajjL8FPyRvFIUPs z;S<-wT3}A>vmp|p9YesE?`%e=15<5A6Q#Ejz?v=c3-qlMuK6Qblb(PpyH)5cpFXU& zsnHxNJnC0}cojNS%=J3{Y~gf^IoZs0j;BYq8L_4g?o=NRl8Oa7^))pw*OFZb?vyaw zCTG%;3r&6je$Dco`3X1AobL|EdY>@2n$w{q$XKd@H9bX2348DdNCq&!A`lZx3l$nj zWTTEtKkiim_>TVi0*>tq^l5*t5~dKGH+N(V{bI%M8`JMjocUO4Qw#sy@&|DyGnW)q zKHv%6z<$tIF@U+~BHhCtt0727X!(xYS%o-09tTE1)6hD3Kevg}}saL}OK|LN?P0HuQgV`pyu9-{KyU~T@b2^#%_ikD<{i;N|i#CJ^2!C*ZoFN(fTrq64$jw5X>$p-?~g9EJ)eR zuF}3a@PBar0)s^gLNI@M#ugE3-mTJzh!I*h*~Gv~KFY)$w%ii%o0LP2rQuEg$BHN&Qp(B zpyw9nhhiqCa25q|LH#O7-^C_|;*v8X1!dRmNtFa!P_S?XsroByZKz-&tm_Z5i{sBJ z5m*{nuD`CK9Ki-cxz_hX<_j>WBkV;i14He1nG4bL4uPA53Xd$5pIgrV7j#!xND-w5 zf>X#6B$|s7(jgdVf{!*8+zwzZgNQ|B8X*?CEdfF2%7}zk^*gLHP@;b15==dP%k(e9 z0NToFECW<_-if7vHSD#V-IUoNB&cbi)P4o8>^74&ibq_!7D%+*FeF?)2%FD5gvbmC#FIHFF&t)PxkwT74r))% zC=7TwTiedEZFvQFxdX-}yze+7R}*A`p_i&X{uXC!ARIX$Oi@eU@D<7b5mN|Q{O(`Y zi%k#)O+$PGEtUAn33xtMOLw5+nnx=18(x_4r#(GSfIKw-L3_&5#wrdiWx|KqYtH<1 zhnx@zxcuNIfchY&Wd(ZU!ZXppj}UQuY=g0ZsM1QTy%Gt=RQwpv&B_ZDoTvaVof9U7 zG=XI41n(s(_Wx_Blt-+w+WaZVxQqflE+1L#FV4iJW#*(T~y8$)t` zMwlVN+=*5a&YPh|hkf=E`WW8r4&(bAhht^VtMf-j&;6q&ehOy6jzF-Y@=%+@dLzR_ zur<7t6Gn8_ef10G6M=XH>?RPrlkGhYPN3P2iZzmaKD#O1kjOW^N!OCZ_)zaqZaBJL z^-@|p!d*!G^ZSaQqxrFPv!mTl zoSEfR?-%3vwyamy3X>+oxamQS;4Q_(nSp4P|CrfCSw~&jMydq!F5RC9?(O^JCg%-H z=JlF!2=s;PS8D;qElO8QX5N#zYi4OF1QtmY*g>xj3ea+e1GHYD!amd(v4(o7A_3DU z6~wuDOMopSIusi^N8V04_@y< zc#Q@+i~>1q!OT>zw+|wg5kA{*IXulJPyEjvVwB0p-jza1gY{y4?N~cKL{!L&1$P(+ zed)b>fZs|h@?!a%0nCF$JX{uDCT0Oz6=Ed|4Ip(k7?$F6aj|w-YL3DZ-x`4=t~!O? zk+f6#r+VLLK)z{LLQ3D+2WK}mWcAFOk&Qj1HC6f$MD$Ew8iAXf*h~L|uRAy9aD2O5 zraSPNEQT!B@#JZcia%&pp7u}011mnlaO3NfyRN= zAYi20vUa?z%v{1bX0h_EcuTM8@U0?+^Bc<*l*^j-s{XgcWzET#wECsP=Jp9GX6sAQ zu)^5MKif6S&D^|ur)g77uGD5j@=rr-&j!!@m~A=Qbv)={`D=%akiMJu-6Jm=eP375 zw%x;!plDd_r&L)rSEePE!&b)br}yn;2B5Cw?rjOIDWwDsXd6Trx7r+~7dE-=tove} zqVd6V+KY7*?_clOwcw0UdBfjh5zr;Vic{43oD``{0Ubmp!u z_2s0`Qp2OBAp6xzK`@(>i5wT1CT4?;Q1)aGZDT|9#H%Res!r9BZ8lC)4piX59Uz;e zKtf(AD9lWtf{S^GK<8npdaO&kjLAycc&nmBZd}$$QWY^>R%zY3T{+A{H`{bWY=aq}SC1F8`o-RPfvc1q6eoXq8B!ts@=@9(v^kde;v z$IsAht9H;qtB#2GlKw{5?P{}W7I05{xaA-1xtDEJfz(>3l+~6(lrm%YM2o1a`|&1L zru2BV-t=RS`*EF&oQQ7Whk;1K1`iLZ_E<&rpIC}^z&huRhpkNYWe>ctxns$0@Fpnq zQE8&wM4t8|*+V+vm&_kiRfFNZS9>Ot1kQ#d-&uw^PiDly8mFmKXMRtCT0o>6apWHN zF4-di!{de^clO)y1I$5ISmCuSATJ3 z)T3q4MySZ|TJOC)(^g_`0_>md>>lnnwTa{r@K2-&k@nX0#eQcHM%tcb;YybJOxIr3 zU8Md&j+f{8hc>2|X&ZCKSZm)|YV_}rAKZz_m+NhF_qKE-%dhm&?$4NzqlYm);GCGwqJ zCK+e3N`X$fDiLuvxfU2Jx3{m<2m@qfdaWNn9X(`w#^ z7_G3LE8`vaq3;}ln>p92VbC$30#T)hYQHc&J}`|v(CJY9Hq>7IMLs&%qzX2^Z;6t@K)98H6`AcXbKT6j>RAR-1lg}dk|bjFPj`85F;60PM!D} zp0L_ydT2#Bda6zV>q(LUDfz|Hu5W!T`iSgoPHnV|WxF05JLl4S`PV!9@sE5cLY(fu zw4DQm(@i8=>YEpPIgzJlS1`0$X)#D;O?wyV__*kAJ49b=et=fn)?zc|aDv3C;n+C~ zs`7yF0{RQcarNX};*Ss~oGn2$!H#9=5+l(KOO9AyQ|C)fy6r+dw-$DOK25g?T`glG zOK>^|UXXG*zYJHf9Ne1D^Vv+j)w~PH5ME^;zy#kVSs+i7j)^nYUlHoE;(WGx$mM5X z^{6a->tQ7d1AuNx3}*h`?^!E!YD5V6%a53i^JFh|jkn-x+BWZG(mIUqXNyk`;|_HR zya?PYjbc&Qb;blENBEBjS(tEaxy!c}HDm3rlx9<}R*rMxK0!IkL7H8sbE*%EfY_-G zkgQGyf_{T^W|1~AWmWB{wUv*&W?02ffy}RtSc(Q`0f5s;1M7(A{rpFlAVVc7OIY>+ zJM2CbG^w)wdQ^0#A?&5|V%+$v5@2e0B82kPZ`1{f;wd?%TVxWQd5%_@+0$=Xs=oX+ z^+0YT^lD`$hmZ)H$24yEzTbVqF&FvH8}^tr(`4Y1-)0%iLtqRSdb8v-JYPU-oo{`q zwm6Ql8-R<7DpB8~Z)107e=XwdbFK1=)G89ja&x0}q<5mg+#-ZcraxbLOwEbrX;HO#0t zx-P#qJUhKc63T!T|kBUt0{bI*3o}zyob?@Z3 zY9k{nh4Fnl@e}vcE5Rbg09_dzzDnbO1)Os=oxYxGzY~$UdKaXm%V&A2Yg}aftiB-C ziFYuyng$#9=v)HFLUv%ams7%Z{fvu0Vsh8?a-1mgaB&PQf<=#044$nwu9~lMY7C4< zpK=M&K~EIGD{{S&z0!Zl=xgotf@ztu+k0@XTPkwYG+Fb=`e4Kee3+)Nq#=O zdB~ouft`=RBBL&j6-n|Z?ky0Nr(b(No73uCgCoy5I;%}1wm=C2eqx8*EujhuJn6jE?s0ggbk<~ zSnKXCIAVt6(hCztnOMFRnj)&HIj25f`JoGK=IUg)W!D{n$ey4ZPn{qrrpA=4hmkU3 z88p`{bO>5Gn&V9)HZT^VNAP}FEY6VHNuGmh=38~_X)$Kv7#wtepgX1_NsZ*P2Eq1M z)d}GM5I@cS{T4SJ!@RHvllt8l$?uJJ6h1zHmct71DrtQDycnjkYM;Dv@>D~Q9vElG3G6rBgxX3?O8-6W3u znt~TQv(VqP62YM6Pnv5X%tjqzLV)g)s6pCE8p-n$7!EWQD`auOmJp;|CMxgaAUZg3uASn-QICd83z>X}1- z0DmY@5|xJ1Il?3i(V!9Pk9#blntPW4^gJdeUC=fIG9(N%L02E&YzsjZI8d^HGE%ujSM#=8yD6RHEMJ@0(980j_NH zcV3=9pQShW`E{3$=RI4?x2DJMHe(uI=igpj>Ug=eJN2_v9_rHpU)O-^oo#gmkcKgO zoxhB?`HR&$!Un=eTUgChhDtf~8RerfDTgkOI`ns^HXOPO^OQBwQv-#L%rfZ_&l-Jm zRUTS3<-aG&N9~-ooHinV9hQg_0lXnL!Q*Fq(>g~6&N=PNRzm1*LB_Q*C(W)odWD}` zl^ueF51|S-VQey|=;4j%3|`eB;q!4qoO_RWP8_*P<^1KMdo|CQ^c`7ssB@Dzq9|i% zZ6I-72n}1nXP_U9k~UitBA{WLV9zCk2$^8Gnm>h`3)+ZWwwP+K5Z;^40hnF}7Hc;~ zU>?Yu9}>|c`W^KyE?BHHidDx)B3RT0TzjMd5cL}$O?gDx6DP{-ZSUBK{xhGXPQ11L zyW5sElsDostxDXMj$qusxdB6R<&=ZD_a{Fl?P~<4<5xW_6j0cI?s~QkXtcCp{?yb6 z62lRRfbBO}FRxzIwQgH-15}-BZ8wT7H{Ex(FU9lnPQ;VgaoBhot}M}EbEINAQ$k|K zFTs>E^>k26OmC8J1j+DKBAvsh-)x$+mEUTz^9yJ$Mm^m%tXlDu9pAlLw7tF)Mw9yG z*aBIbhY&w`Q$~c52b{nK?J_4RjN0ZIVwzU|=(Sd+9KM~s|I;yu06a-RT{QQPVRFQb z6o)50-G_3BSKyCou!{#_T_}$_<$G`W{M`#?+nU1l!szh<3i?M_G4)f!$R@ef82OE|QLe;}S zxkcZ85QKH$29c;ae7!`4F@s?XA?CRezNob-fHp;(20q;$+YdRXuA2oi-esj?*9?*; znqIKa?Y$%(0JUhQF%-ggxf_?y`Yp$_6+C}X_|8VR-9MYXG?`cp>0#+S*gm7ybi*LZ zHR zo>MO&En7FMjOerO)?P5l03546?#uJ5f>wEjLn=K0*zy^~FiP2$_QY@ zTve}5`hkY|DC4lg9>@ORDI6?tSUawUDR96%ZKAv2$`mtL+&{;)8BM}1S=PAX9a>%l zRcj65Vq4H0b@a-kYIWZ~r|%I?YHi-7o3JQ2G&jVOq$16zTn_K@Jx*KU%V4dHv?+37L%(l7`yfWvd~kVT{-BL%5Z{e8U16HS z#EoCPnx@5+uTk9)N%3n$b?W&Is>m+=;m+ILw{8L%wJ#2r5*eoMuE9h6h?z{)FE%s{ zQg-NV!`Y#PeMwPpFQ^tC5Y|{g|7RlV-!kx9yqAMYY(>=U(zzxVwyGqQ1FEO+xKPkh z)b5!sx7AT$yym?<`Ux|`JIA$gxC>C|rT~`w$p!J8nZvo$zS~P?sJtm)X?;85+SoAI zSahhPPA9Kdyw-odR(<7>X+=1C8rL@643d)H-qx)~Gz|hhq(safP3F22_oe1qfpFdm zSRTa4_9*7zaZ;i&*-6%q9ATl3DL5Ce&hAA8m*~1l`L(c{!s<0(7wxtt%Z^Iff3qZ3 zZq}?PvU@~XHG^RN5;};XqI>giLHA2W3wUwV))1#sBd)*w?6(-%Z0e-VD+cPT`Lx(O z)T6jUajQ)7vfC)-6Dw&F2L=Bxmoohfpu;6?e1y`QgBMjLVsHk*0hvC*`MF7}Vr><2 z*tX0kDVNJyHdXfPx(tVNNk7_osnF@vj3;$!a}_RS9xyi+*TwpRwia$2otntx@@o8Z zam{+Pmtpa}hms;9&cu`?Vb6&btPlV15V<}mzZk5cF|Md70;MNNKaOXx{X9GeASwWJ zW~yi2auBIHW08TK2f4aRd#>qbhhC<8TFWVhdMEyY33h`t!c<$RJFMMfXe9${P5R1Vu6Ec`Yj3<- zq-j^_-NC9zRn@NbL>`ML3GRRVq;F#F>v&xX?Zab&fXS7 zFa8M|aH)yoMLyu?Tix|b{hVgrF!;FzsptP=gP|~)yOed}pAPOZDe#aUov1AJ2XuvM zUz+VWg3^h{M{tTa=?7sgV6QQ$l=n&{30Ia|825w0F~qc-yy~AkV22`ADF#M zwT|eidT}aoVi%75&%2&f(6|X#Zoj0kP!(oGrlnOz!sb<}0cj$Jxrr`ukF0!2 zh8g4+qU~XEm!A|Ods`0X{*DKo>_5yi`YhuUjhix!$QZdB=|q)=nv|UCBsvx>Xh6v< zcTX2s{yH9jPzV$FGvKtL-{L9Jk`}^!xR-ARRoPbA%im_KD#wlKTgg*4HJO|UAtYp* z;PDaAhvPjD#gJz|0h-u=!0!_*OxO~uW#8Ut#EaNP8`ZY22`sazr5f!-afxOH%HcmG zH+RnsGG=&;BKWnLV(cWOaTM`})g=|~id#&!yX@r4VotzOKt51z>O1qH$t^g^W-#y< zN?V^!8TAD$Wi#}QN(a=Hx~#(6d)Cp%bM`hXRE?h4d4Jof=AlUzEX@PysBiX8gd|^M zq1uAM4?jaHy`sdGAkOH?lJm@lul~+fk^f~>k|g_i$C|-L)(iA2{i?^1Lq8vo25 z5?_Q#j&OouCDg4Ty@cz~h+I>MvJj{zsTEsE-Ne#e45X!aAYOH%a@0wMs5$tObm)FvRGRhydF#NyZ(XR;j2xerWPYfEbOuoEtitop`LtUud;mdmn*gDAx4XPAvZD}$k6{i=a zQh#z58oWq6nDc^>ql*{ot%?x}6&rVcfGW~Qj~xZ0rtfVNVNg8O31}k@K5WYw+&R?` z6h3E&*dT8W{@XWt*M0X>V?QN4xHe~h&el@`w8*mOG_7zf5^2<=W$VN8&CW-D{Lv@N zknF4+AgV$P|BCoh9rr4Qz2PXY{Q@o)#dbH)%EazL)N<-&~N7Mx6>Im5|ZxiRiMcGvfNM+bCb_k#u@FSo@ zhGTsv)69I*-@=`a^X_PLJ_QM|C3OFBr`l+NT+0#H1($b)`&k3u?^Ge21A5y6j(a*&t`YLTonGyB zBKYt=^L;5y+s$B^#;VbMG6E7y-(C_KLthrmmN(&YGc?s0QXWdwWCaovw$pJ~vycws z4^R4Kd^D01XlYc=8e=_}h6DFJG?T*Js?KD4YfP0JzoLxQ*k#{51avdmNp(T^vwSh( zQb|bGLeAu)tZ0%Khc#WdGJP$|F;KC88ADvG#@;pGHZWcjb!`9|12pcwN|WLvx>YOS zLi4xl*=~#_Zmal!y%i}>dY87ut#@7f(H<$n!{t+G8QKj(y0<+Kp2)9!T;*mJN-8Cj z=%g1_T7YS1Wg4?p`ZM2HZ_A{f`M_eHcz#JN`QlLvNdCOf>wcpawdFRd#8L) z=WoXB1s(bx^8YNp(VK7kL0!PU)9U6!pf%trvq|4Sp&0{(1PA4AW}F1w0SDzuL7oK- zfaYT6Vq; zO<3nb`}}WghaQ$uOsepgL7l%dyR9?3dd3wd6g_K`mZXd8!OGy<_I4g(Sd$6oDAi~I zceW>&D55O47-D`V$(iFX8ZkW(`DL*Q_gG|!X9iLoVi5^{>Ko*|J~2WVzAF;U9`O{C z-zYya4SKjp`@*)XXAydSJcEgP0E+ZLUMB_uL4FbAwg?zOv?4kp-yxp_1PWDK&nQ5* z61qdP`D6X=)dwk`c$CY5r=*E5I<2^LFi&I%^OXrx`0ms#>uJ>e;&B8WJ>h+SDx%_8v-} z1?N*mtkN#(k)PGe-kKa5g)2W($Tkb<^YvU)bNeC-pD5FI zc6JYsYD>#MNFhOPd$XOQmUuxIekaKT+NpFi@zGRfpU zXP*GZ8;q_YeW1Ee5JbNzPl$?07R^d@?Eo779u3q_kI-YTK0%;7{ys#B#y;d{2y5m( zSjscv_CEA`_?K8Pw?>h2+VpPH9%*EW!U?>_SUW52$vqO+ZcL%wfHEy5NP1v>G-Nsc7>s|!c?i{BS2*Fd!)J?kg}CcFh52_uyXWw0~<) z+1^U?pK;?&=_eqNZ&%nvT<8&zqV^0tt9LD}UJs$wLwvX}dAfU>r`NV~Ub#>D>AZBK zjMuG;-T}Vku7~(|A6z@tu1lJJgO_tGJG5PO(p_3QTi|-O8~gZc;WW%RHZw!I8cVdH_(~+Ni)zUs>Bm&z zAa*yRz=D4fte_yRZ*zZzb$_#`!{J2%&Hfe+nyLog9NubOq;UWGgS-VM$hwpoDP5Pk zAgvEcTk099S4%&@<+O5HPpELmJ&Ka3SVPgOeP2gf$xZBf5Ni~xu*4FWh)q+~0%io< z5^y8%ErI_Q7K^Q8YU8y!{eS{vYkL<)(0C6cpa6fikyvF(uJz9`v^C&s6R1CHxW5iZ z)2W<}kNc}4tV0MtMagr<{oV{3 zGhv7WD&9I9&q;HO$9~#s)k5FPY+AA4nz~qFp@cCj9cOYP(`d=2oxnt=c_PQ5P8P9x zh>Az!r|LdoX@zrnAJOwL7v9c<2t+U6K!UF`{?!6x+l=#Qd?y+1v7&hTEu|CI2jb|z?^Ok=% zzn8ZSx%T?#XDhD$!h+RK%D9NkzhN+2L5)DKL2LV~m^P^j*sgrL225SQmy1zVoFXvv z*nOEvJ%*Z$G1P8JOIg)f&YFMF6iB((g*RKo~dKFWZ|n^J>5V~7b+c9i;n1W`2Rny zq!J$rWo~41baG{3Z3<;>WN(*1SpftBIXRbX*#RJbGcYh+3NKS>dSxIpFfa-)S0Gz4 zATuB_T?#K!Z*O!UGC4OOFd$M2FG+4@Zy+)`I3O?}QVK6gL?Bx{G(t2oL^m=*K{P@! zF*!L!GB-sxG)6KrH9|s0GcZ9#J|H|aLNqc&H!?y&G(s^kIXOi#H$^uzMlv%sLPAC} zFhNBPK3xhgOl59obZ8(qGnZkk0V;nT)Hi6=Q547Vd#=Xxrim@>r8g66qNcp)vqTdU zOL}=PO+kl@3J!u2#e#Kp5Os0UhzAD|M92^jhk%1Y1VL~U2N4{N_j{HP=ic{j`~QFU z@0`1`;+^wOTt|bWDhhRS0hNG<68bh%t%B9iO5Y}`Bv=D&^lhX{hLnI7(6@hqW-6r7 zS4H1?n(2@MnUDq9kOR4}7S=%?JODd}=!;~eJ zCG{{PIE=T$a8z%7op1z>LKk$yG3bF_I1VS^B%Fdi=iHoyus>8+R|41Iy7di&>IThQ z)*KAgZL5Ytb%!7B!hP!-4%GvikE}TYqcFzq?Lmw~91<`AlQ0F-{4alG#yz$PW%d8V4g)8#HGcR@**+6^H0YPsjlC~rnPMQ*m(EaYCvy^?z+ z_e$>70!QwZ+$*_Pa<9cu0)>zvuKSlw#f4BVgmNL23!%IejX)_7E-exlx2K_87v;Jr z*F{OE5=_Cp6hWP@$Di^?7j5l|waL_mpv5&^ZBZL@s1nH7#=Kn^iL+4^Q(|Om-s6KLcG))2%5Y&zC}TemU^! zN8t7Ez?+o7+k1g`t%3Jv0t+t#i;2L8^MQ~50!#COPm4BH9^`|4mh8K0UnKk5MxYeR wpd2co66^z74K+{;bx<$z`B_-wdzG~VWQJJq?9dFdX7(1Y zmV_+KjLd0)^1zgU5uL5rEpcSOHH{~euYL191{jk5;Q>;ue-J!cSG9bImJuw*v`6JSlUFemA#iDKkze#X+;zNVA;OtLh- z=Naya6aCc)Z#i5Q6w(d(^Eyq2Xx>LkM;U`6%!MN=n}U&mu=wyj(4^QKrs%l8e^VCn zQ)DB`DX{gD;bn`WVq>j9mE>9Mh(Pjzj(9Sv-ZYC+?`kWT1lp>eT}=ans!8gnt&3jf9wSm^>Ayp*q)K1*)X_=ehTN#9H(Lr2* zsRcDKnDl{Ap*oa6BSWE?MBuKCp?3w@6pJ}_W%C&k1YrfdqEaHklrSL@cCjuHgn*$F zi03Pf5=6nUEoFr}0_$b|AZTj(_D_1FP#|*<0YxPPNF(vb`jxalMjOgOhz85W7gPep zvKWPL;ls(QNg%WxHDyWNWY(imiG^ADh>}Zh$DLVO879m_$Q(`a293~4O8s|}*vRHx zSHMIKXGp7oEzhAu{;(3UKsl(QK#hP+TD1&!GdY-nT|uco?<9HYEEuO-##+uYvm z^`Q%Y38qET)9GP%F1uzdnaQMW+}Ut_Y4g21#$RU{Wyi%Ni(sKRNc8-B_~O>ooOT*- zaA+Vl+7n&@H~603pC_kX;foG^2yIZe$9iHl_5wf7>3;mK>#!fYuqb=a0Df9eAJZFx z1rO}2El}vUW0jUWNfv)_4Z?Mp)SR?yaJkowCaIULPq%?agU2f4M83MJ*78j_T{bsB zwkboTT#ubOcrVfphXC3m^KWUddEFTdB;-j^XS$$ZFa?(W!SZ!=rS-U%*h1uA)m9tb zwYOR*JrtE9v96sEHh^Vj_x-sp~BEonK9L2Z{|2Hx`CWFm+wi zJqrQTIj3MIdQ0~vbZMwu9#7>O(AR!IMal_udNb5EWthLkRqy%qWb1xZr~R%%)TNug zQFsONAQ=fZWJ=8T;5YR_`#fqwM|3JCsE76qF1ZkSq%fqHs%*Y}~K>txY`KT-Gylum@h8=&_ z$)%f$L0VNeT~$@Xf)~v1KL}R{8)$PM+?^Hoos<4Tj?3;1)GYT_yS-%{&tAQHmF=t=1^TUeo+8?H>Sf- zmzd1YciykE{#gU%0F}C3+EkR^PCrll6YlvTVk53|63I?=O1Rm*CWjfS$Lij-JN#ra zsw4eGuB<{m>04q$7Y->vZS>YYUlhfiLlQ?0*FJtIvLH+7aBHvsFkP+7;BMk3JiG9# z9S1d_(ICtFrLn&;aKX=Kws9}~@9vS*Yq`GaYlZ%oXk}R!)rGxtXIAPZ_TJ2t2g}2b zt}h47-oa~5r?13~FU7RSpf3fPtFrL_4sl^O_w#)Coq#bB4&m^l2k|#p*;SHAZJ=dO zmFSX5h#M2${fCE>i&Pf+vlPq(E^S8UxU-u=q7zFbj&i{xaQo|`0%gw%q6Dr}WEB-5 z7vLq2T|9GZglCdGEX?|J(e>=u>`7sC{q;jS7jk@ZTg?3Fv?YQ|Yxrn}2M#l}U$t5E z5C_xTD!~4H@+Bp51Co^EwNa!f=|h*VU#s4+8ro2L@r;v%TMr&FXq5=253gu)pVpfp z4yBm$IC6yF?4@AoxnDF|c3VAuynXw$?>S7-<2TuL$^Na$`YXIoi|Sb;9V2yUz4rVLs$Aso%#M!`D2^S zyaQ_!+2U$A{`ZRDXO&Q=tU5ihA`Wuwmf^B<#8AxOFM)&}s!M;lTfmescftN($RMA- zf(=2ATi^A3%%c*7FI07Q2Xk2NnBQ<-`GR)ZerzvUQP;gAw1X z8Fu!+8|JBcCr{Ak0-)dII_OPhU6FwKrH$6(%lG4?x!m~03hwMwwRtc+jNPwqEV>J| z0iA9PD~Mm6e{zrfHc`H<{a|4Tz6-Uf3OB0Ug}#aiyGn(Od{yJ1$D`pRpXV8lff9z)36{~=VS|3^wI_3f#=f;Dcc=kVyAKmN ziBs3iF%Sf?FD}+pixHnAs8&N|YAR=6KtcsapcN^F4rY6my(@k;AFD4lmpXfGJ-i!J zDm}a_|Ap?}3$o7~o{ig$34eh6i;i>SUUZUQL74m>SG!-IK7UvCd>bF!@1O~PBvXTj z#Bb*b|B~YCmwE=1WR~zalYVB2oS4B^w9x70UPuwFrk7fzSnklj^9Ebk~FAx`d+?OJlSAw8*9e zhlT{`Qau7hu<2ohX>GwqmQC9HfByb}Y%-=^?%OvTee+W@_cM~%fC3`6fj~C}89o0% zvys!W@Q&i3HZvHi@wPB0H&x8?^yj-GUA+%)=I8LA+Z$p+xnmDa$ca#;i)(N}Z!Q%u zr9%vWMDUe3iE<+lLE>Wj%TReZ!}I}ACsm4T&Z)c zHr2`=NE9RZ&_Wo3h5#fkg+-;9dl1|?7b*~jAl3gus*nwf?+&>G07E8*u8^5x8|~~j zrnix!RTXY&>(Daq?8gV^qC%<%rUknJ&YpCTm=Ho@T(69{*3(1W`Ml$!tcw^zWja)q z0YO$U3g*-2QKYZD(2W2QHe63m5i;DASx8GxOtgO!>QRv;3xF*=*lxbzF?Cvk(Uaat>8H!he3Chg^u@|3o@$EJnMC$&AVpveCm3Vm4B!Yipp2I6oTP|NHaez?eJdvVjJhmiKurHu&z z1H}RH}!I{;FDD1{u?CAgv3W<8+ zbMdy(+)Ax|{Gzlvvzj)W6pKLHWcW}KWg+ch*FgqW4*#AKHS#6Qk348SA-X;|$q7w* zn=>0F z=b#DNbgCgA#882{JbHKpTR=7?4Y^LuBdr)oR0bQfZ|wkmpIOy#{-CNK6%EP7WOvWj zEbIvxTGQ46Dk4*aS6dIj;X#S-EAmb8CmC+v=rXwj1KQ+(0BIOw{~%bK;2xHR%Q_p0t&A>8wI)ixe}4x|ut{ zHq7_b$DPjq%V^FdR5X&hp;?vRe4N$n)VNqGl@pz1dTmaVUEk55L%A&H>=4R*C4?8* zrt+~u3ZtQ!qP7W8H?zE~e*yg=P9<{Ex6ns-Qz6q@$e$FojSsaR;y{uma-{HL=h7jq z`dFsEv-A4QkZAs~Va{Qwx{A|jLOQd>0At=Icgs;vNm45DdYJLd#g4n)qa=fu<|x-P zAJO1}1=UcVR{2a_ZXL2yHk)wE)t(EpXT7l%BedPoXBGia6&Im1dwve|G3Xi{Ks)-I zW7GbZccAB|dfNNwyCf-NNllM?&117QvcS~ZbQE3R`YE+trLDdX#k_^uzKQWSA8qU< zXY?lypAT2bmk}~XTLOL%{gNNnm}K^`WqBzt!!0gH68x3AUsbd9Ot}xfZdhg~l_0^C za|5V4&^90)!mU-ZYID_f9>f8!*>E`tldE6u3QIRv6BJ~t{xQ3ie03e|sM>y3&cp}X zeIsp&#mOfK@*A|C44(zExsxK~gE4@mvy{FjbgjApk6=G0x=|5oA@4fO)5HTOx`8pa zu-CQ7G~8!OZpXlS$JA>#H=+b}RBD3)F*1v~#s;v(MdJ<4TMVM8uC)_qXB^K#ekeg&4J=F9sms{vJ zzXr;Huc1V-Ew!xnmCPmSx2^f(KGL<$N$w?cAH$?t>c5W1&3$?M1&^GU(;!r^*dXLK zRCjt(@Fpv7YJ{QTE&cD| zSlqzqXl$(Bele<41I(Z4V2D4FkrF{rpe~@<841N!Yg7F?3W1rL;KDs{wThDLauKdx zH}EPdFg0@_;-jdBh;Di@Ho+j-N2G&j_AwgOcTCVTij5v%{@4>!n**R zfFDbcAs#4LAIiW4<9Xzb1F#dP)bQ+oT_~8E%X%FX80u*d&iNy14=di52SZq_=r}-; zJRrf8!q9P zXs=g=aBH_s4zDt8&%%Xg)k`jOQO0(u3F0o&{nODt>%&!lt`la-zJNKZlT={@7jefK zR9dBu0*$bQX0yCc+_lEZ8(1H1(DNT_r4Z;r!QlXAXpGY`se6gc-9l+iM|D7onzQv( zJ;Hb)Ewttxv)c;1(mcmpHU3^S6*u?PnI_{*q;rg~2uoVT4q3{5Am=83u6yjM?P;kf zQ{GizwVU#a)y~x@-Zs?9EKuH|H~#)#m@6w#Csm@5<+Qa87N06`Wv z5|LxQt2!#qHdJcaD~)5=hB?5@z{%~+mnk*?PsH4st0^T^JSt{xa>d)^#hi4SMRcIQ zA(xmcX@I-qzCzu?2ZYJKqhbRu=^qPdy_BEz(8N-6kSb5h*X#=4P!XpK13_8ulmBk= zTCVoNkBE*ac*qzMcOWc8>Y|B4Fyr?#9N8YEifrx~yle+?0WXlsVjzGDYW8th?9d>o zFY(Zo;yr_W#_yv1A&XQYZV$r=KeSQc{_gwguMk)Vs-y5zlu|HuC&9HbbUY)7Mi-wz3QHFpIiOL0HJ57WkQHf`zge0t#H z$aan&R@fMe+2Kda=o4@kKcEa;3ty9mMFH8y(aqdb^4htr8tODVuCDiCyn{OW zCbSl^(?044qdV7E9*ycvNKNK8Q-|W1y5e`KF)lI-c18jEu>qKpfar<%wSV#3CEXp7 zCN-4ryp-$zZQTW%tV?1_B=W#4|7OfPK<7#0X^C?#_3O2Y&iAB@KDZgax#5Hhb;N)rsC0(6;?Az!2(zx6+Kz^< z1FC|Ug>z)BAOa{++t$W?HXR`F1hdfixdZDAmS=f8lMQh(f2fkDwxm(H-21P3J95!4(Ky>OKSHcAAk^Ln{&-^ zpZAy%@`*SFpH5XvZt0{zno!suI}M=h)A!{aU4sN!0Rxg<5pICy?Czq0ZqP3k?dstb z!rYD-(hAbXxR<%AU4q?ef-zPs=+Atu95#SI`8~?7=NIE-90a?_Ny4=ALzNu+Px2-m&y1?DciQrPJ!ekERqkv%XRD)mdr$T?pTIC(;6>6vHc8!?s0J1lhO zmb^MI908QXzpDoV|1RlE_k7-Xs@Kmb|2C64Cm(J!3PU!F`^)UpYOH0M#ZIHZ--D<% zQ`$|5DRZc0Sa{`Tm`gn0(_i@IuJfxnq8Uv#1}^iXfkWv^-F7Dx=-sA)Sme{}|m ze3c0O3c%YJ^atu@t~>`q`{h5PZcQ0GqI0F|D+4zE7BjCg(cJ0PR=HGDYic-ZMm66N z;JVYJs40RPV&KHPoAB1)%VXAi6!-JsOA1cIbNXLB5!N&>qSjUeJ&7)q$+EbojVguwK=n7m$TVi)|uq?LG|+G2jR8+y`m z%=f-t$D7zCZD1FZ=+?5_Nm}gtaG$>aX#xCI)U}#)SH`{%p1xg@TeK#L>cmAxPNHyQ=WMw!@aa%ZcN%X1^& zn!^JQq#s`UWpB?a*N%#&=()kpqky}=$*933xo&o*^ZTQV{M~D#qpnkOd_)^&GumOIRrnC9jw)oAB_`-lq|Sf9 z74ZH!UEFc7Fr6O4rFq%nm-^zn2NW18D!t8b90Ixf^bGXvVJd})7SO#YGgVtc{hQsXbLBmD zFttRCFYX}DV#K39w%7Rp%<|>sd?7?!PJ*X7sRN^6FtYtWsPDf+6)-z66`)3Y!~Orm zzT3Ka9Tf{&cp(tN1P-x=rj3ZWV^Ru=b4X2L(q<{ep%MGj%Q9#nvPk{0BMcZEA=)KK&yj+%cT{vIMb6T2{SPhOcUisPgB5{!dNtTTOwrG19`o%GB#h zFv|o^vw>x}7z*d6ib;Sg5sn@<2fpAUu(c&x_CtL9G+l=fz*l)PD5{Z7rezo!E>pU~ zrpI=*)*+1L3M{+B-1A&4wtfuSa5k4p=1nrh35-0B;$$zUpGgdB3-G#d{+@%eqT`a- z7~kMpZ?0GVSx_E~kA-nl<1`EqrzO4% z>n^Mi6jT`iz~icZ=Et0)2*NB0z%>z&-19bz7a(rj-4qC*^N1`h(s{Sq1L|b@K3{&64@cRXCZ&Vem0?g+)lxGqrnKvIOvTTP8hVLMJ9VvX1>+t zRv)+}!X%}zvo}U*-!vy$wdza@s0mAHG2P>&(3?Yt4N z_TD@Iv(G8r+x!SIR0_d!qi))hg9|#WJ0h;p!BB_}y?@xT#f0K$0%7wbz$gr2$Fy*> z`||v_Jm}noIKBP3(Mi*DXAn+LQO^FBm?~j+bG+`u=S7fAWhrK2FKI&uQSA}n<9DuV zS@~B;2WB}wFK!R=%nXMwu*z~jWCVI!;!NEFayn*Sz`!#JqRg8%@{mLb1)|?#bg3Ld zLX)$EIV5wmf?g7;D$A!HkQEREz<$cKbP(dc34~mBH=K+C zPsZ0i{K?J@tD%?a4uT=IW;MR2-E_;&*9Na6XE+%I+fiP^!r~b^RZTST?%=JZ&Kf_~ zcG5q8vyMS3?C0=-ocKKAj_C4CfYr!;P6QwL0t4jKbyjPAL-|MeHPJCPCF2>-h;IsA zsg>`P{2OH8Y!?ah5RrL@FUL>OBTkP1$q*^5ExP$euKFXM@PI^KvE7tkf z>}{v|Xq!)u@Br=Qe>Gp)+Aq->HzCmNeErvX#}ub+-S6k;h!D+$pYR-8Lgmz1SNS7)T@~wM)gZ$*cAOPReqe~lepuP zNcrvAs2y*nC_NM|<& z?iDdXx~j`)xPZZga`+4t?w8LnsHtt?9OTEzlkU3SKyVdYP0n;uZ><0}`N;ILlxEzt z^mfMrIrn6-p+c;-UA7GI@*tKvU}_@*%A>uLw!|dkbbVf+bDI+6Mg33$5iiMZZ?3aR z=X$#&VcRku6pM?a#-xTp%;?REtgW)0y6vi3ds9Q*)g0gu)RP1@T zV5tx~<*dkiiea~8Chq|K5+d83BR=Dd2l>gy3cECBs$?$TI9d!5j{JXOanH@a{Es6< zh^F-@Lnla|MiPpYt{fAwVAdw{4Z#-p-oeWo;CY2dU8K>b_6;Z=UzbpRKeCKfRy*mw zqEB}96p_p;5a@g|h+QcaoJI)GPV@E*_Zi(3zNL`&b`ua-M}q)FxJG8Zw^P2>GTo=O zPP$;pr#Z?U^Og74=@<>6ujU)8Gd+u>Qi9&2&1FTpy6qEg809a~XJXgD2OdAy9pZt9 zhV2-_L*XCw_STy*qUFx4p>igCWa0c#AFE;*+b0$MD93BgWw4$Y<07v(UL}6_Tb!{V zJFeIubl{YYWnci#M|Gg!8qVN7yH+R~KBfpY3UY%T_((!#IpXz-J0YdH8NOuma@Cy^ zxgHmZ2^C@t&yA(p%S(@Y=Uxi=CdSwvBtMXz&`I!iB2StckrLUr;-|fb(PzPw_4>@w zVP^c{r9QXgBAb&qa2^HLaRR-rv0f8mWESqU2jw-)wNk*hp=4y^PA3a494qxT6X#`UK!W$P{99oBc*4@pgBN1<3!RUk0f|7EeRlA_&daWQY^2;F>!y)0G)d%q z3HYl}PjT*WrinxM7~Df5c%oo@mt6Y*hb2{)niD%n!vAFf8k{09xx#Kd?(V|M!#W|c zz*_vBUO%t1cga4dRy5;Z+o<*VZyfax!U_A(!;eOY6$h#uxh*??2_ zZVb>Z3W*oqDTN(sb!vFabANQia{r}jH~d#(7jQb;xY%oUzhA$}o`$Ht8%fa@=Y`&! zqS0%C95nSH&7kW#(^Z$YpQNT$K6)(dz6a{@(zdc-r8p$HwhXr<=T|mLObaJa(_0e8OCEP74S^yr)>1=N!fZ2v zop+m8u6#T0IZnvaU;@nC%q3tqi=wX(+oCU8A1xfjx!>pvxCsUm`kZ4~!GOD_3YSd| z;PQ7-a#0dT;}-yD{?!Z+KKH%l&VW(;jSkRi8+v@hEXc*cRnB36u?~&K{E7VJrE;^3 z+GWbU6qplC@A`7^EsXC`@e2+`+j5#YmA-qbtMHMES4m_PJdYqC*nwx?b`eq7w%t1X zp5-?p^frcz_xGr;SP`QCe;5Fm>3_^?U|cMmg#W)mtwv48VT%*7_f+Fd5|k~iICncM ziG2r*2~qUsCH|#fGI}JG6q`6@^w&SEICI!Kn?8uoi8UM2qSry3bW@!4!&lh+^!(&s zoJ(e7ICA#C>Tvc~rP;!4M_FWSyNfgQ9r|7e`T=TreeIpXs>Hxn>NROzP1^B@HD2$eU)z#+jNaQazmF&*gL%0*_y})= z2nRp43f!Wwe5%l}dljTv)+{d7HR$>=>h+@y)Gr3Ez$`sFc4P^2*L@gzQSr57#<89x%fB{;{D%lJiLOFz+P+-6% zhybKj*5tI+6gKwinyC{h^U-4tDF;D0wLb&npn`1K0$W4>;-OuO+E~@S(5+_zMU}?n z*$_?eEJnCa&~yHJeS+{7!s_205E%3xps_3Id6)u&)O8oDwGd;7cCoC%T8(Z5Maq*M z;5^NE$IQDiLuz<9mWxlpPBTu_pe4lDuoFtriqeaexvc{=Z672oo9(`Ok}+~K*#{d{(Z_^&)o-aT=1RB%X71;#G(eeIqy7o2f{x%GTVSSW{KZ;1r|N5-# z*3^&S8}^4$e`yZr$CBh8;u!D(WQti0ILa?67Kd?^5#&04d^Z~MPXdBYZKTdW7czpA zkYEwASDQQ)YdJ!MK!KSd|5S57xe0M8+rjX%`HS}xx+2jVaONC3rplGQO57V!iQx$3 z8h$8Yw_J;m3UuWMlkuHNtVCE*ajo3?qtUYr^P%kE$nYxMj}u_;wdZ%6?Q)v?wCUA97jKULa$dQ@x;{LM zCmo~&@2Y?nxBAMmxjE4=9}4xK;qNXOG%A>7x*+f*JUtLS5JedwMj0UmMSzGP&9z7%Fta3a!kQ6z69;b0jM7ggs}mVbBl*NYcq&Y zUCipmCLxrCK< z<(QPMWEXV#*wmDb&5%D+o$wFPp&_sv8!#xaqNW)-xp}|9{K>4jBGB}oF1Nsi!3Rj8 znjZ=X8bKHk)4xO+JUp90(?6}q`#=!s!Gz|m@Q4MH>so8Ind^968iVLLAmI9DVJ~(z(BPc36C(zLE zsr^@7)}4b-|A&IOm4%Lu843^PDL_O@J0rkI4U`nucIG#%F9L7;W$BmXFmIN-zmJXa z%R$gt5hXo!_?phh*!Xu1fb@qL&KWebDk$Gv9S8agCZ?be_m3YwJSbT#7%|yL`Z9yiUi0SA2{j=D1v&Du zHV?CdH*~bNKPTt2f-E60pdDvi`YNpZVZfCVk5kxMzr5dj9t+KL;tPy8GYXgvshMcL zA!dD3b5dePjoO<4>7dnu_-}ZW5wZx}!{q#d(u+NX??@(Hf4 z*MmHNt=8^$d*yoNOj){3eb}rj`876?kKk%LHeJDsH1BL$=$)_c@B1^ls?%g~cHds< z$W5X+DY=fuTGH7E<{vhX85`H{{D;C{g7n$g5yarSSP$V3w86Rg2rFaDgOq@E?zoNC*{n+DiZ#Rx3g;FFzgDXI^lcbF5q zeonHL>{*#|B;J-KK{Rt8#P@MM~98#BTbm6#y>^8K&^M~=)=E=39H$zmHk*_7Q|bn0s-?@G>(2`4?b z(!ehxHFl3$+Y}o7a13HJmSr@{-Bg_gai0;ofj}u-F5%e+=gNuu3$VsGG+{6Qt~&8(NG zt*iG3CvkGyY$#^4!8|3!LG304H@(@xS}OKWQ@8)^AB54jHw1ne5)aauQ^@})?sN&0Pzc}Qwnh)Ur;yU-G)CD0OB52(NP7cN zFDKWp#;U9uS}Qh+l$QZ4#q>ETv?@|Es7i}MTX^sCuNUq>F%|SJ1^2+kcE&Ap^eXzY zZbM7GfIBt}`8of>8GuU7AqhoPJCDN^m@7Gy1})?mG{`Nv2HIlb(iU{4^0Ig8QSm3M z?f6FQYZm~udDS!MM1=fa3^rHU(j*Q@yps=NLf>J|^5^wtisN5=?C>>y8}Z*Lf42T% z_!zwP?|0r}O55OHSifYW-#P_O^v@3j9*RTe%g3#U^&=`ICQ+fMXjVcW*Jl&*?X;X> zmtbK0>7-BLT+WdENUaL;jB^W+>Km<6>Xg|PR}Y=q?O3E3^Dv6)?VwQ`s&fW(9IN~t zIrV=@G#XItx;Db{ZSHlvI4Yk&iDE-&(RxVg!md=7sEM7-t_X_rcZe_5sh7<2?*K+)ZJPpU{3^Cf_58Mi$Md%`g2i;GE}j_HZQg zKsS7p{~{>kxVg2X%#C@|ce4{>6O3l%BarQvYYGVO3M)f6f@#m-2D?9g_uL?dEc zkR<5>Q?nPVgH-hMZleHp`Ec?2J`B_JiG;KKhKJ5IYK3g9wN_%j@g(dbGEb50>@31B za|%-PBrqoZC)X@v3djAR#j0j_HE9-T7YT&XG{Zug{IXZ+m(B8>e=fHEkd`EQ4ZcYU z*Z3I6Ym>)}iE{W>HX|T1o}kyEe`Tgh$i`|K0&+u9zZv)J?41B&6NS1z=3JQp+k}-o z0U5s8Ce`Pc`))&iYqdksTJtWuh4xuRR(W*TXJmiR3j}Ypxp^O%R4sFKC3^IBPeoWJ z{ys9c)tVx9MVexxdt z{3h)+-$(Dgs1WC_7e=+EZPMF%ce3=b+QA877%`Te>&(8elxtEQ^<#hZn!U2)bVsm& zlGKa)zc~Lobq`>*lTC?eihYW+uhHD4&`EzT)I`_d@mvAZW|ex zrE@g(yY4oM&bZqZ!sPvB9|%uhotkw^kmir7q}V2KOK_pYU!BqNMZKwLoayN*C4e}f zKB!V|)A|c|Sz#Ip?Mz_^-?wtQuX*ev^7TjdjB(9wEssAEAoWST$({pyM&1KJ|L8UI z)rfe42lk!T*7iT&Xo}f!c4f2_3%@q0Lwta0bUG-NPChkKjO-u`V*gD_baA?gA=Bx( zc{+GqI*&d?ikT7Xf2s17_(DpZJHn9gmBMk>xg!VQ(`$S^fSu4nE8V1%WXP@R!4XW2 zS&kLHABD({mFrmhE!T_lxDc)9Q5keT`9gmrqP0P*_1@lN&Z;*q%~!1t-&99;c4sZZ zm8_1w>qkGa;~KgS9+}nD&pu%*{L`n^)y#~=y&N=#*eO^(dF}GNsF-M$AP+Vm+cZ)54HAI|1uMs3)s5dXsuy8D%#d+{74S7PLlDnvQAj&>EuRlVNd~s)QyYy5!?E*;O4#NDlM}jdEei z#NWf-**YTs`)CTucg$`@fq`M?9~utsTs^cJ@u@inMziWVOsQU29l>W)YlyQL5(4gq z%FUS*LlD^2tOhRYb@%-j?arKSU=E1V@bVy;UbkVE6r!d6RHQz893oe`Tq+oH@s|du zN}5xFnuB=?zRgtW#BA>&@z583U1F+&=58nY0*>yYj}=>Db|bq4A0 z#x_}562@{JJe@LMQ~asr|1>s-=TJ!fPtk}UfC`g5voNN`?{W+T(Z!w31dNvM?)v}i zh_G-=4^azn9eeJlZ2v{iT9V%a-tBg1}8tVo2@F`0uQ??mn}8t278JaU&X(0Cbu-z7qD)uM=pW zQ7^`w*9$T5?=t3vug5l54VBaVzxC2&2CW4ZhcjLH^mMva^PaE&H_ugrEKwC8f)e@$ z-r)*6<6v*hfa1=t(b;XFh7Fn8T$gQo-m#igDwn{V{mHi%9+r@p*IDda6_gYc(mg8@ zz1!V513;WS3brYww9c3hnSOK;_N@EevDTb9K4MooI_y2UDOZ}pMG+Kfn<)mD9DdPbYt_7}&stS>u%;M97X zR<8bNDlgXttd=tICPPrz3$a={~JB5xa zJx-6xZ0SB-GT2KZ$O}U!s1qE~P14Ao$Cw|^s$mf%AylF~qiBU(WFr!m8gIn$p)rO0 zJl%if`6tR>>v@4+h3Q2k+*fqTZ<(K5C*69GTzYm0yyopagxmphS(xy8B6h3&($Ujr zKAR_&@AM_sYd^h53}ib^(y0H5%1q?`n=B#n%E2=QyFYI$GSHAD3LtgG+_6rubyuCL zE>OvfOP_a{!=l0%_|SGLIU#b;?~%aph2)MR)d@j~14W*UbDwy9e4 zI>R7gQ@44z0xW>ptcQYa=9C^W)0OWXrtwDd#%Rn$!}tjlMh_SWrK$iC6LtVZPeb9I zKwN1-?sk6h4l|rH*8#FSSLGGVD(3L^1p|ef2^JvP(|Q#3$FM+lFo)%|`Tx?;8nX{}%`jcE`af4(&A zgzrfs#5)Tz05>A1bw2LwZ@Kz_?jB1=@hFg@x@rtAoPb&^qD1zWbV4Rc>By z_3(RHEBnwB=m|osE8?>nJYIj8*f|Nra-r|To4gHWiR7+kJd@j-X_RtsPj=-`(U#!g zmKqz}!p}plYDhSiVz)MbWVQ?{?!v7`Pe3o^5lRhlwg zdkiN}NO9@mE=w|;CpsLsPbfs45^r?(Id&DD0%(1&gERC5wQYp5{dx@5Qlb(AY1T%x zkxJE!Qud;=s|6VJBQC63<6|y-Oo&lJ4QxvgqP_XR1@US2##*>EJc8{(cT24Unl6AV z8Tvk)T*$O7JS%0p!# zvcNnsnN;BvU?1}(j+5rq4*BLlgkSkh6N{XdjL8*p4;hFN_5ApPtu1Q39VVPsG+s(s zypH2$nu_y)i&SVXZgPhd#C6?0%mJ; zf{AV0w(W^++qOF9#I`3B+qTU~GO=wZ^XHuJJNNazbye4@Uj0<7s`lPxnJ&6>ZOc!% zr5Cl5SN#ifVWgKaP_dk}ZAunwBEe--&l*eHAWQeUN|__mMc4emcSvnx)dVt~~uS?so#l>VLX~5+-qU0HAwf#+5>S z`?-Re-I-N;H5VlZbC(=&tff2F45;isHCHV!_8)(nuZhUzwCHoKN{r4X>vws$c6yOp ztPW#mEo|73v{AdDS~nL?I*5gZ7h)JKpFCB-PnGLCFRXf}_3{DRm4Wa(bAC(H!jy`@ zejfXIY>0T(suxvmrF%;RtURMu+t=XYkTHooHfSGe5oQWf?klntRmP+W%!;mA7ZMg9_sLq}>{eWTyH#PmulZ>irG@Txa{4k|be zqY!-&5m&+wdX1hBYZu*@x|vHKL$zO0+EFN$s!?-0CGiX1ZbH2SY!Wcl>RAMV)V^c> zKRFT{$&pD$T?kM~RGMq2^NL^en~oixuo-9%eA)bOjUloE;Npq3IKoT@;QwkT(?;k%zRloE z<9=}LKHd~he$hJs-yhsdI8fX#T)J;II}>2B@{WIKm#VXOk+^<8hlnvhSzR}pf34^i z&;kNF5a}IM&~`@f>`T{oVPBU?^HRx6b_IlAE&S~zoy9c)g{ zYS}dMbaw((rm;VT+qb9vxb}qP;LEwKhF`a_5hOm34DghJ`=R?SlJ0#yRo;4sA#SG^ z5CE#9(;K75M_aiOHqDUJB*EAksgsYbC2z=3DOq}Ynmg^-E2ig-c~MQgN_^~?b6wWw z`Thm64Yd%ZkO&PP=89z~U0(^`&xFjm@t1oHII?z`HFBWBC1*o|`&plLUER|qG9@^o z!6lt;n6D_%A=s%C7YkKgYH)wWGU8wh-qRP{P5(RXJLJ%$`?fc3tsOE~^%xoZ9Te!fca$wc4NOwJ|ra^|G(e zi9`K|{~Xev=N;+?ht|lj?h_zCADcxR=M%t->#p~dM01gN2}#jh%be(-bnMz6+#5;7 zchqTo1)89A#_%!b2hs<|feHh+^EB;}frG_vRa%M_WCYc?@B{fTi=pZdVTwk-A}{q4 z@6$A3>%|pGBhfFAhCq-b;D#PP%3v@GicaEr->CxOPLs#~pRC-`4aq!8dZyH^V4TSs z$tH2pD5h{h=aM+jX}$Wc{^^EH3+V0<%9$gvG5RHT*M8MUs~i@|6}hPhp13oP;viB* z&W3pt>qx<2j%uAl7a8-X;xpTIKKnor*R}>AQAj~i*lM(s+d+HjI&p@4ak!cAri?2# znz+&1-{!18eRQyZjxtyN^4EFrqN9l7uj<`IFvp>eF$W;Ha>RMCq{F&dNJXgSwUoQq z2?d<4ue`W{F$w5JNw7coXY5kabvXYF`$ref0A(vw*|@QyqbMu%^uytn@yQ_zhuI3a z9BXDR#;d>wj&y`oss)oi{7Z8tZ8-5DYZ$&MS_Y>6`%y|=0c7dKpf+YIQq=daguq@k zv3Q%cczAjDFZVbxy`E zQKEPv31K2S$=9hEz;_>|UlvSYDRm_XEFPpc7N$6QD>HpHbh_QzH7hS7(S;yoX1!F6A{AeAz(!keHR5XHzLpE3l9&34_V zF!{@P$%L8AYhm6KyNGfeKvcmvR$!a)!jM|+W0pP?>yB8`y#^&Y-!(;1_^nM}Ar{mZ z+Aat4>A_%=j+!(wTA%M)F%Zn!_E+!?F8bXxnu%;;=ji@Yrs~24)dU^5^rv~|vR^mp zNECCc(%=NHejH7~&Pqks$i&MC{K`=+z|{mx`qfGoQWec=yv(IN;ofefTHd4I&R0>p53h?Ip5czv$|e zIj{K@r`GE=foOP&7D4T3xp8cRP2Oi_F*brPSJyP*ef2ZC>~$;^c{{ zu`YafJN-6;Yid>xpI4{7UpfN8^g+^8jF7?`Mkh_g;V_|OY0+{~N1WY${9+VZ@P3Di z?_VP+Mz%T@;tv@VF@D?55Q@!x*fA z?06%$x9FE;cIqV(T}J>lC2iF#&qsMjZiPV(#X22~DeRPPsHx7wyW|7AWqF(YN$KL8N;hJ< z{+itFWW%eQJ{SAeh295_4Ikd>Jg61a+T;g%xCJcP?_X0Rv~d8-RhA=wPQH~<6`X?c zsiYE{b<#xr=-^1E2d3%=hS3e`$Ibw0bFnac#0kk4?wA#C!l#>Cr&Y~}4tEb~X$!SC zPU4vMo>P*Qs_m7n!6h=pZ6RPH)Xe$YbUVC4L$QfR4?U{uQJq|A10od`BWo)fcW8dz z6v8&~1K0*g4}FU9H+06k@lw=&z0H3i@%hsO{xoOTi>FXbY`i1*00 zOXtXwGHERqO0jsw%I-}_32DwJ)P(Pt2NSyBkyiW){FH1??iepD-&B=jG_;m{$#78% zP)hw#TJDv4osDrhDrUrp4vTe(ZBJjPz9|t~H(LJBb97o|>OxG1zA4e;#r{d7{@%^4 zy!F#?ya>P(=w}YcYng2*-X`hWuG^Wl%%5N}uSzyY+gV?4FrWEuh6yA^9u$O1x_8DC zl)h8nrYW-Oht6VZ2Qz0mgmzrk+z@P*MHm`5*;euyA9FU!oJh%Ax|RHXR-bKI^oR?G zF+oPc4nmWutF=W0>x9Wf4(v3JjLE^6Hzqar`UzOfc>k4X9Cw!WDb+4F#|$pvSChIR z{PDArt6?xtYuBfaEDMqxk7kpXDgT+GCLXkdbSN`}dob%e|DG0K8L$6Rp*A2oA-%bY zAby4DfFfh&tk4G(NXK6M{7917Hz{^a5?tc6LlbAi)0Ns(+jo&>l9*^8*BRu@u%X?- zWdja7S1QWFyds`@BGi!I)E(i<9~Tv_5j!?@d_H^YA0A%)R0d_NIX!&SP0_g*zDche zZLzl6N{cn!VdCy3$DyTb`FZ6^LJF>08Sp3)1BHxuN>c$lI!|JJRA{zdP`jWnL2y?b z%il}=_hnM@J2R;C!53i#dQTF$tE?XzoB({9cLuy<0kChV5qaJE1Uql=S4U$MMjuj`OO#2|t!x(3LwXOPSFiO6roG=p z*k2EV<8*=#^%GHWZssnD^#a%haL^IqvQ~(s*FA}L@l-pZ1Bvja&hACW>CG*A#{n{> z$DazjN+u?Tk>hRXUS~dyV75c3yX3pP0d+@9rezCpLJ2s=<_AHITz!n)-thYlDMY)7^4|F46C^iTb>_zEwi8 zPCj$Xns{1)p|8=PdsU@DI^X&G4Hk%iYcF$MF`KDeKp9zyaT=|uJ#fxOo%)W!Rkr)H zcSsy`bpQ3^+y9S994Y=qWv&A4(F)4fY|_U3dO2lh(jjjCm5!voPAlXuEBHF(kQs&8g; z;U~4w`zB9bj_C0}V`hZ(7Q2fX5?XKew;7iNlU_ABuafkgk|INn-}eRIiN#;!9&V*u zNvp3xDLRaQ)?lS|*Y=!#%CP|$3xoZ(QD{1a#SAO7!54%*YLZqMixzQh^axzHZZZ!j zd5pn3ddD`6cSXD?3TXueO%5x4-gi_luc}#O84?t?MKCe6%ekJ; zU9J;PB&zoGY=6QeP(NJo-7>XM>=tJOZS4~a8&bzjn?x)lHJ^*iA5}im#`+&9U2X%c8wgCKZaGI<0f@62dug)%}@f zS6Ev5>G=zHX(_9u!tcfTgA;cuZH_LFyo+3>_AUGyYooo%%f_O#f1EP{n1bnV~Ly${|65Tj|oz&|_ru!*w7d#JDUPv@5@r2SG!Lmj<)YN+oN)s=avyD^d1 zHMnQ5*-&`tk?4gvZ%GZf`kZT$uNS0})%MCh=+p{F40GOJJskb!!>Mbh;0b+GH$)g} zhsMMhtu{MOFMd*B4h3!wfkc>A57ufLwwrnL9wz-8ugcXUNPx~AYq6;JLSVb|A4C8D3yA%vQ=$V-+FP6;+*@`;MKPe`*`@ zJ{fpU(fM~uicfvK&hE4wFR|9Ar7XS;cD#!by2lV$c<=1me z==B??M!t{2-lO@1gN?XIKY_8YvpUR&d&PXGF_%iU*y!NEI~Tvg>PBvOxZ3#N`#{#b zP#;Zw{$SyOl;CXn#RpMZsUCJ-5agul433Pn$k+hYLmvzmEFZCR7E7Z!@`QNSP;b^h zL1!NxxiC$DlG~OR1qszwCHivc)v$4WFU?gTysp}PcLD?Dr(3NGO6N$IF&t%8OixAW z>TZjqQPVuSgb}a#RCovI3Tu$M-7$iOe(ab*M zdL}O^+(V6o^rOLVhvsA}?RY#zUaM(dHlZ<_?>7xnDGagW63XK;K_N4u3IB!r$k(!WpfP>H z4uvQiD+Lwe9}A)4e;hLknxQs$Lk$I$3XamoNx435)?jS1K`p2aC0~QR5 zL-;aW%>-AI<)5m$?Xju1?SH;*K5*hJrFjcjiFBozy@}puZiI`EPjzhDz{e-_|JwUf zNwaB8l7Sq!X!74keAG%0;-hK>v+a3!fpf(vegi?ZMM-x@D1Q zq^tsyX;<^9_GazZZ{MeRo28&Ds}fOCedY$Sn#S`YM(y0z1h)+5e}(LYD#=0}!xi!z z&Y)+_*i(X&pA5Myc{dh92=!esFIJ;V7I!LHPws zy0a``b0%PoIe;F6M~F!lhE8B;Nj7#6Izh^9tHzDS4^l=9Nw$Ask#qprV?*ZPj+<5f zB3oYf*#9b>U?rQd=)~x7m8sdHzla9xQsP(#vCx+$A7iS~_mpCAzJF5G zwh@qt4|S7Lm^?d+le%*xECsK6l(}#Um_$s+y6>*P>Kz7{V%f?0B`JNnt#xi4b>?E& zy%s*jOoXn5PfT4ZwLDZLu>s|T>ZMEAFv&h^j@FWP;Z!M=)>Z2v%3!?B*usidSw-mh zx3Devm=-b67sc8LD_j-6b>-qV!TmxmXv2?*p@G{dpCj8wY0t~UliRG~&tya67Bhti zFD8oXn@Rdwi-x^HzOI!gb7uZO#9{r;(x!2%`4v6lWnN}v{D&CXDu5Q4Mvp7L@`;`< z!n$OoDKg4T{4u$ggXab1(+&@09SY@ZOlBC8lY|M&lKE@*Xh`nec0!mWkkQSxfVR@S zgvuZCZx|2Lw%EC$sCE3gO;{ovLWD~*OF2sP0uCIh`=zNnwm1wt^0r=dM>J3W6u!wM=aO}8sFsFH21UhP_*RsRQRa| zGfRR5G%EM0Xq*9}P|OOoieGAbDRM`i?eEGLtTSNI`Jd+Mh6C1BWj>|N?}WEq`QR7i z4gDm)OHp#-t&s@-bAn6=D+UGs*Yvjd;;Mb64E>*=2KkMfy*+Tn|>t>>3eOvq|B{~MP|R??qP>ZPBpB_XQ(m1%$LQx>c8#zoxu4vj3?C$ zXY41JPg7Ofby|d#uOKX4&+abNIyv24#ZU`g9V{k7gV{v6z9B_L-^@3O5;&oho@`A% zbi3DDOUx}U3oJfS1*1u+*?=NTP_6b=oT9Euy{j=Vk)Dq^u-*Y-?=r9VYF=t!(I?Qlir{}NLOSj{%>uN zp=@Hr@j=7iVk1hx{E2dvR{;V|bPr+y7YxpYS_cjXHXgEwZHfm-eLn_A>V-`DhLS8d9JJPR zn~zPFNJ;@^{K`yeXa?(>hkAO}L&GF2rhHt(9?#iB;T<5x7l_c?t@44>Tx62}i*D2t z1&SzPiy0?#6x?ZAj3@QmvxyYjwZZd_LqmLo>1>7wslN;MEDOgg`Mv~^G1wSU3*O z$PQ=vD{8F;YVS*ef4?j7m2ve|!>(jl83&sWL-L_A6|Hh3an*e)dm`R~G1n8q_G z@TJcVP6>4kNfxXwOa5Oes4=nd<0n5pXmErn#DyddIFppCF_Y;lfDB#=_e52i=va7g4*J{eNG7L> zzqcrm^$R7VS1E)8G*FBPska4j5b%4yil6z{N-84*g9;`2Oe zB2~CVq}t*0&n)-n+l4}iJpp(Ik-FpWydd^S1gV+H{038J0uODUWk#p-v~}oQ8pdeu zn<6KkShbwb72zX0FM2gwtHXxN+E(5XP1s_G3d3<-7{a!HsFK_9 znclbBg$qip-@+spO|!+40cRYCh{L^QYJxu-30BAB!itXtOS|Oy=+0)nBy_o?g{h1K zrSf;oAZ8?HgKsmoM?-r>l7I=n1;wOLfZ}Up`95Rw(oU@Y399jqLAPObE>mhPAmp$zTMCAm#Nn^t|T}76vWrnG$V}xdx<_4 z#b)I5_qZKn&_f$t_w(*9bKv?_He5K(HuL8^XJ>mFb8JF>$xB-s0kO;u&nA3LK!Ti) zJ)zq{;PgAB@6P<%)3{;y#rYf%(-r0PR?48aN`+l+Gn)CfS2k=tQ8@tBVR(J=_}qq& zc)8{*EUswpQEn1#W9@X8#x!G$-KzUAqJq9QZ=@H!i)X*n^l=(9_Q&@V^6DUt&DS?1 z?!jh%bw;v=_;I*TbLG^U4HggF|EY+OKPSP9{nPVL?K`4`N|7WK6O>3B~zx^Om;Y9apH{Or95raKZRFqC3O%!s`mRu-&RfA z4T00y18lRJSf9us!8%fzziax|LuqQX%LSA%XsGL-Eh1>plm4^zcBAF?SWW#Tq5r%Io{sb?YWdVgCm&jax7z(iG7*7>#w%3xjE?r$Eg zd>R>(IGx|0B~G)c6bIOFKeo52uJcR3rJ)`1AW5v7m<255zVm6fjXRvMP#gT5DA$nY zmS`Ab`%4HMBpXgEVd-_ubiJQg=B~5}XGC*aM{E6*T}V^|aer6mEy7D^AeccVTszmk zMi|vI$cD*Au_xd}fm~oQ$!K*`8C$MeH^opur+x4h|riE-s~3^M81pHo8NE@@<8 zmvuhI;>DBy^0o2rEeFCc8G6dq=Gt=dyC$;1#8HiEG=8%r?Qxv6R}=Ts8QDG6mN-r? z)yAm03Hds^qrm2^iL5P4$?p@@hzt8jJI@??AG$_ZoE^rko3cw}@#$owqwcXBT~AH_ zg!?A}sd5b%8PLun^R|VLUGboHjwTGR9EGAe4T6ltV-OXdARDGGw$nKko`&->b!gmqWIFW$QM2QX18Pf0_;0WxZfOsTrJ*%8~S zOFvsY-;RT%O8a#d3D&*Yw3qOUj+Us5bArx2iB9xe4ICoDF3sjneCR7YygM1%$~;_4 z?Isef7Vi?O3C87|4qZ3I?&=yC)K($nj_`qrhgEaRkx|#ZpB-~5{9P@4FI(af8g2%F z2J#nM&)+N0N?`lg(nL5FEB4V{9Zpq-<|SYIGt0pEVx2#X+N3lw&L*Ym5)nbRxSUXv zhVpz5)Ki^`geI7IXipMDEE75r*<4n$qRDB0ZvVGsWtaEeY&mkAlPVVljf8}YM`DUR ztfUkfaP}QnW7V;G$deZieRjDdUQhw}oix@C1nd`(BGuZ)thLr`KO#n^LOC_HXKI*s zge(%5Iu6@(S>*X*C90e14HTTEwCLkXnubU0N5ka1c%Dx)YC>#=L940Q@T_mfuE8*D z@j05mR2e6$C#E4?H5oRJC~qK)2{eGLNXb>+c>VHX$q0q&TWhLxv3q5sEPAvxO;^?wq`9Y#@gzmd>&-(^`Wh0(R#?W zDvw~Ondi*pYWR6%-nS1&4nOX1P|HUmY30h++A1p1B#NpT3Hl#M(<}dM-1t&@-oGv& z8#y}H!1p&fDS){p?5(E2%xMSmpI)_tvqw&khC~M#P#dn#S>cm9qHWC+F-~=VvQe;L z1P0Md7%PL8ri#%sN*jmpvLTLI$=Ycl-P_8CcI^y0`lgWfi*vYN=$`N!=sfw_>Yzj1 z+m$C$t5wS_w()fmWZ_UwG&%Aup44|pm)Aj4C`GMns|sIglaeP+Xc+>R6jKHE!L}b? z5=bcl{eO&UGiPm2D(@r@5lm&$H&W}*HJn}Ont9!G9_x4Q-HMKjzDo|vT-7BO>2Y*% zcb;BB`Wm45u$_0cr7YT+QrN5)F#S^A=<{o{sY)$9)UGH$ma$s=Ii~it%Wf7vLk%r{ zCc3lZ`Y4I~sdluoLBI!$7$fuX?Hpzk&#vFieMg*_yf@+HZnLZ7yN32=JHU+zE!uTUE?|?HDrTlAu;;U#dO2Sbu(Y<~P@9Q&raJ=Goh`s8E zRnVOIXEG)kIbq`Q(iMn;C8IGgM0oSllF*D|g63kZDpggJ`hybO)72;Nf4Z};vm*a# zx=7tYx*$PVTD};cTCiX&?EmetyfZ-(Awk*y+ous1g4Do(vU4RMqqZDWg4}_mZG90$ zTh6LMUO>T^IoXmJ1St`@SpTo_B4T4@WB$JjB{nV#Qth9)1_f~)?C1|4>g-Kw;808h z{KUPAi^+)*gBEzaCcI$hHG(q>iKx_dq>$-`kdc4AdK%o0c1nv8FI~Yz~fY0WrOQ z$PjLYGF1ys;?w$*jsqM(HY6Okk7!Ebs=2ZMcX1hqBJ>I12{uSZ z5%vwXloG#xYgs}1NdiLJOkk*TL^^KNF&&J1`*KBVoIEDmU5|hZhP4T zyc_009dr2n!#{&*)MrH7^lWkzlSS0HB@v*R$`pqFbTx(uv$XX{-k~qqg=-Ynf)bYD z*le{bJT%?#jTj1tI~jozAlx$muOsb^(l?s%I|l5ohr1b_UEv#HVHeYzcBHG#f9gWN z`$AbnDkw1bZbqv9y<3pu%~JL8ODU!(POJyUER=+j+kwNG-N0b=#)oa|HkQPCV@+qV zh{T0&SGuJ$ZXjTaS`~PWCI1+T5h`LpC3q6@C`}T-xtj@HRYRg%tU%>2P zwP)Y+KX|)*!5~f7L*0$elP{e?v5ag1&CKW?-|r*VjDQe`(Z$7v=BQp_fLgxZJBaSk z#GiZ18htcEn48-^d*a74#^~L|pC2_x?E0#d52>w)iKk=6`m>A7zA~NFM+?z^l=x@# znFPJn3FFFhPSSS4FrQ|D{P=rGI+ZD=X2)uf4$cf&=7sR{{zw?FIbBhon2RPOun!Lx zwF|WtjRk$&*J`8Ol|LvxnBmdyZzqrlJl}+H`!Ou+lu$;d0Z~jadMz!UE1Z`Nyo`t)6w_p2HED81OlCgA zTQX%2w`$qX2a75SJ99#jx>=cGh1?ORSYb^Pj~Oj@D5YOXZ0V<8QGWZ&w1v2(A^fU6 zd36B&0iKU~*u!35>PT8o`4p4D-<-hzN{F42#E_v`)GY$@qviY4_gskLWEzCm+32F1 zndz+3aTj1^SX(7g*g@3hg3E@%8cCu=+bUb6Np zOYs+mXVqU#!WSQbILT}i39no+M3ogP90s+Sn~zZXX?{Q-V&^zygD4#VLKoXST3xF4 zoGClVw=_isQdaM_M)_#J@cbR2@Q7q>0!_2csP zM9a5AniMVc79aBhLx>b>9GGawO86II#6{+`nJLT_jhDnr9PF4`)`=U!`Xg1o!iWpM zx7&!vRk_kKY=@3dCu+d)nwJ6YPQ0#h>zkk%>HNaZ3ku$)+dT(MZM7Wt0DeOX#xRfS z#Iv3{P_igjA&sk*qJG$}MctO6^{~C1wZzVJwXNWW6&Ab|GY;3!&7=S3ciWb8K}g5` zg^@F(x&0WaLfjxju#L^UbiPB-N`w`^599Uw{xr$gsndPS@2p*eCgJk~^q)lxmZz4t zZg7IxD0J1)u-T6&#ouUCE;Yth^_1X;*9P5Qfcz^f=YA$YTzGi;aEtq|YPU=LJMA}8D&FbzZ{v8Iw74>xrT)|wr>vVAV! zjsv?VTAxMLsA_ovZU?lGRY6r5cuXtPt@6$l*Su_9K+$I6zC+GYZyboF9j5Za2U za&8FI^XXdQ{#&aNWRQ_W=#2BG{?}I$Kmm>lZ0cFHXJU?!jdGRBk4+U;`wNFy7pa=n z>J3@gg?3(_6X$jX9PW7!b3g>wiCEG1j|s=C3Ek3~%~&79)97PYvKi_;kyHjcr*)wT ze$23`0SLc%V-s~;LA^v0f56Vq4a#OO2%TanSj#Vl9hJn1&LV?>E1B*BXR+Nb(1)9T z$?x+Zm%HJqY=vU-W8sOpQ7Pr8tkw$yX;Q592{*2;{f5IlEk%)EzYlRa@3zFT_MAuQ zCGuS8Y0pV@)lXA8J@&?bl}9@2@X9be7%wlW0&~A-`y>7Ysc=e&OThv3~{2LB}+P0`9x#%npWekeQgbge`L&e;nrT9aE)a*3&lVu6uY|Bu;C4bX`e&R+}rIX+wSs zZ_Oqb3^aEqHmiWp<0NrtDbMC#dyJgUYspTw1Kd15@(_|)al635!);l40Q2utE&dhC z_IS84R@+{wM5gQG*I8__MtgV@=A_wWQ$B)~CefXwp=-Tb?Hc|&M*`S!*p5YEpEJxG zhIBoPq+k+$dzI4~hxyY?3(j8IGQFI0z->p*G}pBcx6@(M4g_^b4Xx*FKiMn4;Sl5V zkCw% zvwc-cnVK-K7snNSAL{`RW7FTYh3C+nx(q7TCa)&-t;4Ayb*1(;vsfenjqIDhXXQ=- zb6_K-G$xAB3z{bqxT}tI?-(8oX~`feOl6v}%M{9EU73-oN)MS7uz{-%ft7aKtULVY z&@q$zAf5hbb+iF}YCJx6`1LJo847lH(_=n()LdIkfjZ*|zCsm8OagS$XGp%znM@qGmAIEv zyAE~h;XVa)K8(Z{0Nu~t#`Z@&Lr}L91VK;1^x+=eWUSp`$ziGb5EdLTnGD_D%d8a@ zX29*WALVV|@NhdQl0SVdi*TwpA<8ot6z*}W-!++hJ*zexn3}7AJw_W?M@^8qqeEc* zV_)tbUe$!5ogQA!-j&E}(HY0zoKznVpZW*kolu%n{)WRSP~PB4BAyT)=}NG~w}V@R z`vZs2d4iPAg*A(vbl^GwC61lFuG$Wsuzpa3O*&OOo;`ozH^^TJdM)eT2Z_#l2}M{Q zdK=;9{KZjUaoGFi*kIs2$PQ4=r&ZUfS9CQ!Pb6j~&$jcck`Oee8CT zZ%Z$G?`Fx=TbLtT(!yNQ^@^b(D`oxJr?tPGqrwIK4omf{7D}{LsnD-GVoX#4aK; zhJ`W7FJqpvp*F6g=C#((M$1ccUAgR)hPivq$w6JZ!QDGm-H4gpi5}b_56NC-+&_QA zaERkYDz7ZOz|nzCVu2Hb$)64ADNyy&DZRhve{s_xr~iVzPKzi?yjK2 z@gq3^L%cTxKdZ`%qQ&Xg{QcQ*=q2{{cv#;pd2;2!dptD^KW~2LF5S)HDgVa3{u%I_ za%AZ}IT3s3p8-4hy_GlfS@g+2ZQ&d>Nmkh?fHVSDq$As1(-(*mWIW{->#5!Jy$=l%$XRN#Jhlq)?^D45?ut$-F#sj7L5&-On=NmSi;AG`XqpYc z_4;{9SP~s4p=$X%!KsZKacyiezMf)PDXh|?tMH?naG8wREH3rHe0}xecEGM6n8VT1 zek-~s>1l~2FN+@SEbR|_vK|}bqFRRUDdMhKy61ZP^$q{lD?H)=?`QL?jKqo( z^TpV>MvH?c#>ZNJUn-J%`ukH~6iqpVwj9Z#LzO>}rOS3PD5xjdFmKfp(-`n;d3qkZ zB(G~}S0$UUb2M)MTeS2zNkz3@pf&_FGI0IqNnO@cY~LcC+@#j*^!5L@RD>zWUx88j z4J${s`ATrpUoTJhXT=|mJPs_o8YLBIW%>$W`O`Wkb=(O5LIQq*Py?--t3rXM4$x*S z7s&Cr4Y?w`>h$}Vz~M1Cuh4-qZ62tK-oDrpAyS}@S>Y8Qw9!z5cnqu$mpxoB62%e6hZ%lb_A3iqnaS=KfJdXOvAHs`Jmv)3cxhrBNC6}Jp zx-jlwL%_o}_U7Jwb^W@$Yk&99z4~?}+4$VtzVvmi*gQ8sJ)Ar8bc-7#3-eSpnl&v= zmHHkZshsI~PzF?6Xt8I>3339~&YJii%!I59+?D3GBjF}aTotjWm5MLbfrG)UbX4-@ zZlRVdzc-=YGpEjqvb%nsy>xo{a%AdGiVJ9Y3VhQ1%A)oMz7iA!Ow{v_q@aogqt=|BMBomUdKJ+ur| zdt@06moGnM@-_(R-SoP7A$9O^RgXkVFCN_?qi8m%;xboHBgD}%+yB-Xiti{XgLDA8 zo=)Av;L1U1d>`c6YmrHpsYUZnJG_n{XYww(JIU`k6mS6-hbo*9MO&8v@dLrVg!a7> zyD0v&yT$-zzvK>rP}6A_sdL*6lF`p^10cqUt$G z7rFuw*G*%DawlCO`Wqo(+(zSeYo_77rW!zvs&3 z^z~Pj!DPaatzb-yS6AJ@I55BpU;F$%77ujox(wy_knST1-9!MuCbI4QSjDyOEIK@9 z%M_kD!|iS+;!fmp#(GT7ljq)X)0_7XwhEe-IR1@SRuy2g*H~}IaW1vH7^fg2H@cU5 z<;1OQ{C4zKkN;;+Pbjp8KXnLet=X4&Yqj)p*%a3}H za?r1J_m@YZMYIWI7!;I)wFR~nBos6auJCKtQq&HT0SdyAfP~hf)CGbLnl@Vrg4W{Q z1Hu88wp#u5IM@%81(tSD2ZEjk*#yGZQak*WB<;5G>s8bkh&yN+OzT$~)Jc#Wu>V!* zYZ;gU`3{!G-}U8Pp9h%+`ZYiW#|@5mAZp zd|jSpXJTjhZ%CTj3P?H#^VjqT7n}7v>4jc^i% z4#AV(b)RH|#yR zB%o`m1Laa>IFKoW)R!Nk2a60~>O(Ct!s&B`xrtGI_kqmK4Q8@r{nm$Em$3pykBf(l z$;XZNQ*U;!Ikh#y(@;n^mWo(=m)KgR_6VaeI|%%p^*n$!2h7AflH^cRJf){UVqe%s)A-18-C*K3n!WvwMoU>JV2BdzV>N3 zI1c){Frmz?^aS6Cs<2pOj(>bPM-5+w^Is6`0)t$m3)Uha&2-uU1%C5>I$0UDtT z9I9(U2g42VS)R&2Zf@)%FD8+tDaSv4uOuNQ6bzP!2qi*|Zkxu=%q#P{#V1Iu{I9GGbt z@n-E_$GxgHYUFtajzQdM;U{H-rr4x#8(a8~=bk_BuB};*-IivpzZ2-Iz_;o(T;kdX z&FwrNTidFNLe~OCc-phq(yZizMDu>){H@RMF*aB4=iAN$W{T1i)lBEVT94#~L}Y%J7Ipxb>pM`m=I{G(CsR<)>RZqKKe!}G?nb_D(bH1dc$+&D}DlLC<^#MmXL+P*j#Lw55@d?8v%V9irZ^XZ4qSWD;@j?PYx_x#k{|>t!F!muB6TC#`hsR zgZWyh$%ue`IpV*8`(3}10~>7#j{iDQkX|71s*xke2UCsWU|Bag$YqCSTe^%~YlOJL z2gYjRhbkM|fG~r{VknAkTL-QTs*Y5+wS(N?ubQ(8E5MdN`+r00-9a=%DUtrjMvDH{ z%@gRXHD$IzC|_#K!~G^r|B6l#a$K7I(~M=xqP!mHOSN*%PdwQtLIlRi)Na6in&rpY z2M7*`+}ZfeEUZc(Mm5-VpfM^+h4CUBoy&Kr#o93tg)99bKk;n&Cg4byjV38Hf3fW;0EM*RSNIu#o8zF3q zM704JnvWFIg3J@9RZ#Sbv0H9+G}U5*xer_1Y&q}f7sXw zRI??FcPlKB$4iNPmi_OcYi&g*@}fr+Ww)a;L@eZJIqbR%QKG0&KgH-UBE4Zq68ipX zp&Hvy$&#^(%2?|vYF{kWag53Nx0hueM9Tt}d#=QZs=qSwED&cae>rE8D+`?Rq8es$ z&)kwJ5Q?KUvd*JBWKd6~Nat!uL!;DBE!>la7xH7rP7m(>Sb&q3U9(u z-5fLEKF^Jco(OY8Y33$f5RFba$n0*)mKfZ9B!VxvWP2cBG#s95#bWliQ8@J8`OX=b z6=>6i(JrE|tChM_+gjgB?C5&u2nPbpN;<|+Dt4Et>voiJ@Mg)R97jJ4^gIhr;X3TH8gn+LF;$c;R!PXUWIF1# zc;B9C4KM!NwoB)1<}y>$jiv1=_MSg|`L+8uo3zGxfBF~R@^e59s^StL+$_LKF9F&; zyjZCrf5Qj{@E71Nm?@!#FdkiI@C7rb_UX|W48KH&{tO@LCa!;ve3LFazqXv-%qQ2B1=URNok`YFOl?{*%c9KufKe968b-FyiM~z{oQJtZlgWhgjhj(R(=#0u;@%zG7PsrI{dKKx@p z$ST;BV}y=#-I4LkP%iX4$0`D^A?2b7-l-v`qrr?Hf6{AkZ_K;ED&od`gVYR*udME6 zCcy7cS__&(jvt0$Y4)?M5n3~>p2&=Tym%ZY8Qqe%N2(Y3IH1T8E_ML=I3#KIducwd z`~Wr=EdT6Tc87K78SKfL_cjmRnkFE{$<=8U4o3X9o(*f>PJScMhl2xc-VY(|+!0H{ z5bbe{np3L*@6xNU=pIlH zmb_WSM<)m7di?29|sRuvM_b<^{(;uK~L}aLT?3P;L1xNXGLI(O`ykJ;FDKioYNa> z12N=n!8e!!sPimKLaMj5wU)8&I;9BV@2Vo`s?omFFbja-)h8I#dhJ`<#XblDEHg7V ND-1cgxPk=C{{!{mmdyYF diff --git a/main.tex b/main.tex index 4456585..b936a7e 100644 --- a/main.tex +++ b/main.tex @@ -193,6 +193,15 @@ I think the intuition behind this SDP relaxation is almost the same as \metric{} The Lasserre relaxation of SDP automatically satisfies 1 and 2. But I believe there may be some very strange kind of metric that embeds into $\ell_1$ well? Another possible approach for \nonuscut{} would be making the number of demand vertices small and then applying a metric embedding (contraction) to $\ell_1$ with better distortion on those vertices. + +\section{Nealy uniform \scut{}} +What is the best approximation ratio for \uscut{} instances where almost all demands are uniform. +More formally, consider a \nonuscut{} instance where only $k$ vertices are associated with demand pairs with $D_i\neq 1$, +we want to show that we can approximate nearly uniform \scut{} in polynomial time to ratio $O(\sqrt{\log n}f(k))$, where $f(k)=O(\log \log n)$ when $k\to n$. +Let those $k$ non uniform vertices be outliers. +\cite{arora_expander_2004} shows that for non-outlier verteices the optimal solution to SDP (a metric) can be embedded into $\ell_1$ with distortion $\sqrt{\log n}$. +\cite{chawla_composition_2023} is a recent result on getting approximate $(k,c)$-outlier embeddings. + \bibliographystyle{alpha} \bibliography{ref} \end{document} diff --git a/ref.bib b/ref.bib index aba4ac3..ef197a8 100644 --- a/ref.bib +++ b/ref.bib @@ -334,3 +334,17 @@ series = {SODA '95} year = {2013}, pages = {270--279}, } + +@misc{chawla_composition_2023, + title = {Composition of nested embeddings with an application to outlier removal}, + url = {http://arxiv.org/abs/2306.11604}, + doi = {10.48550/arXiv.2306.11604}, + urldate = {2025-05-23}, + publisher = {arXiv}, + author = {Chawla, Shuchi and Sheridan, Kristin}, + month = nov, + year = {2023}, + note = {arXiv:2306.11604 [cs]}, + keywords = {Computer Science - Data Structures and Algorithms}, + annote = {Comment: 28 pages (including 2 appendices), 5 figures}, +}