From 2929b9f758bc8ce92bb07b791166d26227a173a9 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Fri, 6 Jun 2025 22:26:41 +0800 Subject: [PATCH] z --- main.pdf | Bin 71096 -> 71786 bytes main.tex | 16 ++++++++++------ 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/main.pdf b/main.pdf index c8287e67f9b659bbbd232d692f8c2c3305967999..3ebce47b0eb05845d32bc183b0efbefb1101e30a 100644 GIT binary patch delta 32733 zcmY(JLv)}Eu&ra;wr$(C)v;~=aXL0SPRHrk>DabyCmmb&th?UezDcbb)v$K$Z&%wN zi1Rv#IzMiJS4arX&E3_)!~xEGeTiT!o?iBLTKfe$=dfF*T8IP`%}uNme}8tXg}0Z0 zXX+YVo+(LF*T`}kLF}gV%9Sap-buIYJ7-dM;Cqr*_oYWD;1g!&3*q~#{rx@Csch$a zEGJe=65H*~lmAzFbW9n$5Zuwj)!j39by0xVm!dv!-K_ZI+Dae6pPqQ#K)CsJ^!oed z30sF|EZjirFT`qiI!lFhwLBruwRP%r4Pw)A$`flwo8A&di8}s8&%^r~28as4pzS$M zRe$5hKX4SHa-a)RhcEmd)H7|PE+&{icC^)mdlNIo@`mLiksU|Q7>fWa-Q@IExpflh z>1+yQ2yH9+FZ_e=-s#@;srqw~9ZJ2o#s9K|@$tB2&69$(4he=S)UEI9{zu;KU6RDd z%|RJe1*8&GM#9AT4Kz_ipogd=VBq#;&}bb8gvzSu{z_~_d~;tl31=_P1;QHPag+tD zK9EWEbvM{52d?`LK>=5O);M&t;Sl2mN1hruk2IQVC{GP2qeMedo??JWgudsJ8SU9s zpD=$QjDX@7xH`BoUwQclx`d15>nQ|Y8Ek^9*(TFX33i^aBhz-XgZ#PBqh)#+<9g)Y zVg#A{2M6@vlwLGNz7KGi;@{7#8eg7*Khn36#$r2t#rX(r#~GG>OAe)5*iWJea2QYV z=0yi(PKo8k2X#y-=cU2^j-`JIxufN}xudLJh8K}p7(R8L+e1$|;nfD~Kui(g!vd{N z(dHuotxfUfBL(u&X@Xqe&JO)G3WKsdM1v`LKD}KF%TMiryX%D=CBTA`Y~>nVa8>+; ze?!TyQ4ilwgzQ3qrOLyG44uFTkZQ?A{84TlMDb5?-nfhtMqR&Jbac}$t}zC0Ixo1n zQ*N6Trhvv+qI|WwA)ijXtrZmEG7_SiqL&t4Hi+=%C$LpGYF9BWBwu0qYx8`mQt?*X zgmh>jO5PbEnzqnn0Du0U4`eczk3e~D-$W4LSV11=I*_|g8Xkb75x!UL;ybcyuGIlm z0WH=Osrwb5o%CTwJS~YCiFLwWcm$#qri|1@evly@Gmap~0sF(T5M-KqG|Lh)^;1QJ z;xab74j|tw^wwr$U*N_c^!-T%ml@mxI*DUBao1bTwW}TU1Nn}~$3NDjP(4R(I#CMs zE`9(bNOHUDR)0FUS!W#N#{j>Sp*47G0|kzUCE|lP5K| zycGeql1RW{EVLylt`LqDQMVPr z`eXMgkH%g$$j>XpsCZj&ar8y+NL-v<4JLB% zPzi1*&n!$PXuUt`APltbKZbzx=7H;oYz=a*Rbt8}^d58pWwfjx9KF0K0wj#3QDIxZ zegNP~>QIXQN|Km~QN+r_WUO+4t8w7_U{2q1Sce$)sET~yJ7x)gRdIF(*1kVVbLg<^ zUU-3^<72?Tw{Dcw!y7W@97EdEn~*TkM3I(V+74`Zo`S$*=TIcdNz^>Zy2uNm(Fnm& zj#AV^&v@}XqOs7wP*c|Dg?LgAN?EFg>p%$vs6u)b^2n6`CS-2WypN^Aj*Z}J1nwrp zO*gcgFT6tTM;31xhhna7Y(vXsI}@E%3cdk!n9~5%iY`n73rLjLujz_R=d{!oEQ^^< zXabr}%W&d5YUHi9mYb zuC%(%DHJ7>PwdpIIpna-M!(vL`B9LKhZ`( zbCo!^Dn;$~ChQlLx}{>RcTXzS4G@vU?S}XdbSQas%WiHUk(NjaX&%BjP!BgqsTl_kwFF1Cf8{Hl1iHS$k+{HB7^B=NG2 z;b>E#jAaU^NxGG8>+gtek*%d8xmqjcV_*y2uE~Rce3$LjWiRsJtcYZIDWEE<@G$VD zS~SpU-5VC)rydGXmbDg~xf@k%0TSjmte{{KV~{L!%fWdXn~mOlYRjf1L6)$v1g;xr z$fd^WB+!QvEilM)r!}rvVv^9W}JRixX@uW#*;+Yl=}Wd!y(edK{i?E+AA2@iUigs5E+3F(?EwB za3J(gC!c~p2c1sbq%tVqaiN5%y;?u)fa_OV5)LYEx6%0lZkkED<#xHw-KA7mD?d^( z=*Uy63n^LYWS!djFF^YcPg}KGt03%~n}Tq-DiEBb8y3xew2g+Ytx3jx&$-BM{g>F# zzmJx?KLaX5CZC)%gdgC>)l*(+xU2AXkqO>38UJA06)J-|Xpda2nKlf}>?ZbC(c2bk z6<;JA#{ z%b!qVy9EN z92>MmO!d^A(F0hMipgR%g78+n^!~`H=6H!ZWcV2cJ(@{E{f=t7Zr(;X&Yp(icOGQj z-8jM%Pww>*P*!P}_zKlN$hWiG&$T0hZ=ad7D6>_x#Ka%dP_A>6*MQ^|W-*_~`bBVs zOMQiVUkQ@;&vu5-p_=!g*x*!O`S&Okp&qt@zg&pwc?$qab+waj@;jsELY%r_(*w*n zS}@9F#1d1qW5IQg946>f$PyEu>C#+_cMpy6BIuYK25*riD+!0YbF?m0UAISef+fY~ zt)()T@!iTmV@Sz`@u+;1@S$Z1w2G2$k+1h|7m0un)mcG+R-ct8NljUw7nrN6i;BVu zpfdTVRSsN9h&G|dWBy&Z;St`iP=v{e;lN{ar4zLC^=b*19dod>o9PN+y9kcFq{&PT zQlOcbty}M_@rAluHZdLBrH>d<_*6j1NTX+0S0*_yk+9Oc+Q!90Zf|ApjpzutH!|h? z{_M>ik93X09hqQ{^DUqVq5|bv> z!*B18RGK)gpN(>)4I0^oKNsserkeI`K>Q+Y!Heae9K(u8)swjbjM@1>f{BIfHbb8`t9ZQ z7Jz9X7~kiH#=Y&&r+vJfA9oqIn*9^Qp!h8W5lF4xI;*QorJH69lBkavmu^Ex z)dsyI9D$lK%byS%%Ect}!LQ>sS~1`*HZ4?BK z!S=<2y!AkX79naOAAeLB=`Mc&6$W(kfNA-%PDyXuB}?}gN}@j3uk1|EHhu=R`$FHm zgk_)R&TB=rV7+B@0fv9rsn3E&_;A^2FSZDT14<^$Zd%#wl*$sdH5hO9#4WjUK%pGg zo_j|4BtN8>GSUWULuYTV;n=eBFJ#kR+W~yV#Q$sxfmDyIwG@9p|FI=-fAkip#HS9K zwQHB_!qIsQD)G-2++X|RF+-d(L%J4-OitAdmurJUv{TbvItoYs!)+*0drk+(W|ZFA zwy3#6PH(9J+owf;Tn)bcpf2(gAXbLLo;z&Q1vOcTPwpJhMse$m<|4K%sYgVrJ?jJP zc>A`attlB!eLmggq%45RHs9Xn#;=Ei3K5=)18*{4*tpG}nN${L!EV+ObG>(-9YGVw zqDxh>PD9&ZOX=6n5`p;hRAsyI6UHN(`Q!1U{#USsjnLYER5~8SX!^J7?pAu8Xe^d3L@1o!J$eAV+xEF(H9EDQsltxGvjGP-S~!Y^Dkwd zi$~Y#y1EIKNoU+LZeVfQm=w9$#g0d_-LF!goJP&NxxVhN0$KP3e5d^mgVus96opoW z1MVe$LnWjzj%PqkGPKFxP?i8AM0*29C!7xZ()9zAHA&2H`h;8V^(Kz20!X7f=HVD< z$ANc>ds$m}j6@)bQQg!o1|Z%5cHJ^sKlpP-pY9JOTU!2hz1GaZTbQsPtmx9UdHOeM zP+{Jh*1|jIeJnc2C;0HFnU#8MY;4eVLEp+YsB8AO{we&rj}czATkbYM4qNDhBD>)J z7d`F()~i~|K<0GdlYP`22BB`To^<#8rvpP0)a(lD#}B~c#zju`iLTezg2X)5vhiW% z@64tSd+2+;J;#VIsU*K~f4lJy4DaIv z>uap0XZ>|`E{&pjMp+I^2mS2c-(!E50zyi*hP`05jHq>dl8uj8`>N=^z8LX(l|k`O zX`n4*9F~D-$EbsS?iaM|c1VA$*vJIcLxH91?*wNGwM%FoFvDQP9M^&`Tg^6cg`jBA zlpBP$9cc87$E^~BdAH0PWs~2=`EfWp%o}CUnIQak8@Gc_!LZ;L;cU;UMvp9FkJTWm z<;AzZK_HTLNWg4u@3A7?z<3ACcbwG?(?$|XT;zb6C_J9lK1J&zhqGMBAEQ&vS(_kL z*jsxm^yiuvgJ%?*XLUQ6KablzmTXG`4E)|$#_bK%edpQyw@yr*s=nTMyeXyMmv)!V zm-Nl-yN=s!{~Yp8EUGe6>kE#vS};gZI!}f+g^5%j-GuRbV5msYjpvmmc-*q^v8O2* zF(Cr_U5X1!MI3mScpDEnnn#wL$Z{;N2l^Wv4ZrRmmni&D&45OVy;K2@>0Cw$NtCiKCnlNK+B(aysAbBz@rm zuKLev+@`vb+90y<*tI(e*t>E)?>2l_+d=>pdUszh;&Klj!Zg&XYlqZsff$i2H{#%c zJ=)In=62~l&H?tW;G$MU)*p}Sh#5^XC8^Ta!&x)@XiO z@z9TcAx(d|_8+&zp6HzLKMTJlY7Tb@l3Kw~%h?4zFb}pbEK1@cieYKH24zC(u%`kV zMVR(E9J`bc(&|DmVkfDlT@)8{7eDbjL0av&YYyfDi=0H5qX(XaK&)t-))CjH;+ED8 z=QG8+6$X+9(`eH5lC{~wR z%|?cQB~8XHzCT2hOr9)j=ZuJbiV$G$%V+_oCn>QX#dy<`j< zAY93}TPV=){g~A4b;=~J#k1>$pMj0AO`?g!6KiEDYU1mGu0T4ZirIF}I6I7>HHhoj z9UXDPZ<@Zjy3g!|oP4dD_^j=DX9j(fBuX)n;|JqqZOoISLIGmyHYPM%<-5slG0G1R z7E704otd)6?5_p2m9^QbwM;F#$X@>`{_;C(=ZM*l8R zuL)auQ+d&tLfMHFRTDIFtgVdY4z9O_&%WW@69w6mf#l$U{Xu8;5A9zC0&wtn7;e(pSp(1NWSa0 z0~`GOG0^BoRz7kx)SH1Q&z(@mpN@!hN|(yXll}td6TPZ3orhvG@Tky2?7F|@>p&9n=suFavNF3t& zuw_!w5zx-~>;6Hw+i@J4>`4v3geNUom^dG>h((5EN-J{!JD8R0I2{7#x z=UWgL#47L5sCmeB8jM00?;hwuelp$__8Ud|;*PA{*{v1sn-TT|zQ0EHGKAkk5o3_Y z2m?2F&mukKW4~?=?pljzhw{F@4rYKz;ScZGk+qUc4zH$d9KTNvF3W@S*M~iSA-oL6 z5C2^I@EKB^Y^UM18TBxv6Vsdy;{gaD%@Y7O|wzvEmu zyq#Q+?U%ezu+>D)!tM0ImB*$Oq86b&A9dfqxEKj z_^L0fB+J%ij`**wKDPG7wufdXq)tBlj~8qrCqXy-RYKvuiy}YzAM5lJC3BL>8F3kx zHA&DO*tyZ)>DdQ1%?p*`Ott_YOMrFFFpw8lJN)7=r0ad$Gwp4CLom}dyeISdloaup zv>ZoH7!OsW(o&Nw7ZOu_q~k74QtRp-;N>41bwrVvGut;i{T5Y&7sN6)AQxgeekHaN zn{| z#?PGu!3UxjeVJUFW%*N=E2L5?0|6Vk>?Q6v;^dqtC%G8Q?$O#@7ZU{J!rjHsi3AhmDo*wskF<4h!lDA9E zKocM2vZ=t0A7dWU5}cpvn>Pi$kMzt7;u}zk_0Z1%fnr-OSZFMMC!s$&&S+m zU999fMPGzQAwo-;C~4L2^TbcF8pSVN?24Q7t!PrLBesy`3NJ2HBT@_o>Y-By%s#QlcOvLbFP4#>S!NwLc3g=_Og%L4jL`I;eAPkpXp>R^a5f+eb)O1YQR+Sd-coAA@>IK zS41U!MyEAT9YKZ^X;#X2AKSH3i&Bb`e;K5T4^>iXcxQP&Vik+9KVc}?= z@svBYTP(55$EWgslmxt;l+t0gNlS=%|CE~`0zpA_tELXqg+2hkOhx1Fidtd}1_NiA zEW%U?Pv2)S5hxAG#qdu=4RC=TP>mZ8 zqLXQnPe!aEG^^$DFu0;ivXQn`$~WQ1LT>&`rUHf=284|nPNaujX9lc=IV|o+J-Q|gI zkUtXHvWOvE8tq&~T@}2t^FWEOeY9KO9kW4AOk+dN?-A0DJ{;r zTPVK?P=5EgX@Zf}34dsz?3ECQO%?wuP2fYUTXSO*YuGv}^0)Etux~l_4(REv;bZMS zM33;b$T=fR6j7muxy;GP^7Jd#)&l&--S1a-r;UE3EgW$E?P`ZCug8<$KLmQm&u0a4 zmq!V%MpyZiQm%L6YsJ2MGgSmM9haA;KqP+5@^P?7bn4jJq;;$)9W>cVO9uE}T>>O8 zD5dJ@?1iY7fsLr(3+xK#VN%cQo-JS?E)_wi31^PFa@>4dh$}YKY{AIcdgC8kCULpT zE<91tcfYH7A324XkC+ru1oMkvdfH0`T+t;0nnGG&Ob(-6FvGe8Mv$oe*H~I4`QUf_vOop zQ1~k~l3j>Hz{-bb_Pc+;;O&zTS>g6&l4$t(YA?VNw#wOA^peb5W*LrsPri-a!8QR( zd!JVIw~dIl;o0O>sJ~0rK(WlngiCy+n^5bU|0c-axKdL*0?dNF2-MSk8XUlAIgImR$@+z5HwY-pc(XVh*=l!FI)YEKvBixJ>icc6XE>?|Tb}!!3+AgUu zpt6mwETkp8YWraayU&BLXXwDL0&<0ULg3dJY3>YCU`T0>D+?9RXHpp@^-CXk7<`AX zLk#o*-FFTm^OoL}xFP!$Uh`z%6B-dL$D}sSz8v8$FV`^sJx44OK`nKyas}b8WE!kB ztoBv#fh@DXX^)Txg4c2OZ%;PicugTmliM}TwAy5Y^r=u>x`H~}Lq>9coI?wf+LU>~i8YOec(B0dPDOzuz)uk1JLU&~ku8yF4@&qY+oFt*nfo*jF3$7(oHft6F{b}5KJ)=c7+kN(*MSOSlD#*I4h*oBLsyA&r}br@JtOK>^x<=1-~InQ=Ul<~{`8w$pRu zFl}Ss(Y{@UlSop@3^1F!7|w)s71~@}#(kOomfg})uH&}#eKjYQ^Y1&QCT~9U+01Cm zn_T8|@&NGoRu8Mq&4zBlihJLw%lnMlG=6U>!!kBI)(v=WG+)uw4hf>*&L0On%Q3aK z+3ilrHN@1K#C`~i*TX;+R=KWgA*5Ig9ER@|+JF@V50o#X4$~4eIllX2WxK(^0v0t| z61znk{i5TN*8eOFMs&qoHQ2>&4Ul~`;@v*Y&441Dt`ebHxGmn`nYYY=JB1cVIviCy z@kNs|+4Op`s5rIXn9`$`MNiC{w>uBCQWA;5u~A|!WxV?n&zycSovw&Q4@z?1k)vnw zmIXKkMqh=v1(+$-z7rU+E~VPBlX9CS;>RZ@EtY)PWgmNAvT42FI!gN=uzJ<9%S1|6N^aGwG#L zloaFE-G$Q&r{`_P;gQ3Cw%_37E5E14fxP_tXIp6ywL-dYBiTEwcZEa%Da)C=J z`GB*m3te)~M>O7 zYH3F^->&W2V&Yyntk{;1z!~SbrB5TL94%I*HrUs7eyJlnf%u@Qw&$ZxXa=mzb|}}e z>Lj@(tVp@u@Fh@gH{t_Rf%M7p0f155_;J*r+DdCtgO6!TQ+Y;FgT!1!`K8uwnw3Z` z{>m`r6L#Lfjn*x9vNqEX)YXX>w0_S$lNNbJ4=%)^t2+a#JxUeBY4>J4Oly~o^()9M z+!wz1o4jvrD3UVDH%9Q@S3EfN&WkzaP$mD(_i53rBD=*3DMcK$i#rEHaezfISheC5 z=^f;7_#o$-Rq%+S+y^iBKpzcb*wjUho^qM~;mVrHO}<`Co;toZ|EBe#K|=lCf1WAQ z&ft>v!Gsw6cLMDsr(UlT5w*KNqcinw68!d-gbn{|R49?){fzcnTGP`E<<@{8vw9Yd zpaS|4qE~i0;iT4J!W|!T8IZQ0swKA}kybsFRo-%$ZqYoFf|8#LmAJJ4cISaEtEMNH z7Zi4`ON$fR-K<P4=(3%)M?(%Lu65d)D}t>j^t8Fi>K3!wNQ%b1|55WN$hEN zwd*=;}1~)^GTs z#>EwLo*aygynL$&voxth@M_&xse#!^pWzBfW0&*2k_r^T-ysPohYE#TWfS)`PT6_4 zoH`2!TiM=&3GmZzY$=)-Lr$JK64_pjx#*4iQ|oec2hQcASBhx7JG zsh1CCqhtyd0~|pNIV&-tSv@@?i@10Z5mK6D>}%67$706CAD`zv4#RglP8;NC@$gnP z+I7mQZ8!K5|SrOW|jFH-!;Rpbv`Ei`U{!0km2k!4UGS>~Sk_vOH`G;N-#Hf zqW#hjRZUXt(%tgLUb~`V{Rp0hI1-z_h)?{J2Za63f&BB4)06Y^pF_UYv~8VM;-yJ0 z6t!}r!K{)-nRak(uw%OuF`hK>Y}f&cOtL-o#=1WeQk^$#2?mzyx>AK9)Q)l+n)Hrt z97#GZM_j6+gu{&(`B&oAmN>4^q_DiGo?5F#JNe0r%{86HgSlXBW&ZRQM~_w(FmFr7 zRoG470&`?tXPyoxJ3E;>BeX~18HVzKf|Uy7)018dBTLUP{uP2UMa+@qLiI%}(YDXA z`I8(H4`tlpA^q{pk^;qfLMwCLbJ<(9!#L&FGebCu{AB`=xG&)%*<4`B8bP?U z*+(O$u4CrSzQt&iyzUu8YAl3CZEH36lNl?{xG?3%rZ@Rd!G;Va<@yFp7d1U!|9Y~) z+Fbslb?7OOj?@4v$N&G~r9TmW(T2KpLjMM>H&7-67J&`Q2HF7c>?MlT?ZE$s;qE(o zF}s+eV!)==1>-NOkmFTPL$QKFHaRotq{WV|s>*+Rw zSb5O0HO#qyQNXt`AY5VdY0*AX7&SCTln46m6Y&MJ?uC-OS z#n)JP;EG+}8s@+4>ysRF&-Mjh9=b*5G~kx$a96DD@9zCCZqeTzI9VYZ_PDh`ShvqA zkHhi=Sz);`jtkP8j5BAD#HK-8FINqHe7ffHy_FumV6;rx{S`xBAP)x`I7CSuAnR<+0q@C3Eut(zo#byq zON0IcZL9C3%jnhp#>WSf(69%%p*_t!E9^c6y=7Az+<5tC!(t2h4{zl-=3;ERHx45a5EWrHCx!Jr7uXRW1`OK3(LM&lmgi>+fLt6=qM(Vr9 zCm4f#;2hjrNA%3o&A-ixT*)H191RwmYgxhX>0jNQ;(5=Of=+@`6Dt7T8_LEC{HrF; zQ~tqfrWuhEpmuh81V$Ao-5m58>^)y8`IVOh`}Q^44HbdQmljn_<=?j1+Wo!ctH~Y* z!!}<6(etQl?W|hcn7*OFgAD_?St~Jjz%C<<7&`?7Qa9+h%{#2FmD%SS?6>ImI8&po~^Y* zJ1Qv)bHnTwM5h}2&U;5wV8leUm8$k^Pn~OCs_GaLhVAxj^@j=jP*4!HAcK6hV89O` zcTE&LLtk%~YwaS*#pXhxE6ci-!=b{!2>P_9lYPGEBK#luT490GxVqmW^q%qbdmC=} zo$De{w2RM)qP_RMAMm}V)s~-{GyK{S_7eY`MNNVbq@PgM(Ja-&9g?OvIc1l9*rdB+ z;uX23BSo*Hk1Kew^#~L>PZlPQ=awzvJgkV!$vWTfRMWH6OQ#|!gZIlQYh;yr0|*5z zz)q4tgWg0Ua<~CRhfP8}$Xt)X6a3g1j0@l93>hvEXzYn-uGwMT>K?x=&vvhovcHo; zLBpCJAN8r=y5XLdh$*bSepfMyQiJfrX?=|ofA1L} zAn%!9`_hf)qxD^chtQK}=dSM4v>hIMw&gm*eK8Zmlo;;>zK2MZD8y~RP~(RwLRn(9 zs<>h*g8l(6zCRlMQ-4`I)!i$Jh7GO~x$hwONTco6*oP5l9lxekvE%5G&7Qe`#KG^M zPeDJ8L)aRlJ)2Fd_rkU|fT|69v9oa4sOnpw$E|_qU{%2U146%`|N0(jq1KufYOae&`bcdZcx5(8hth5cf@onE>kK z4#F$OY#HNkhvDhZxFT#zX@ofEx+RBOqcgddpW`1~Nmyh8FyOy&#^jyLjLqt}BZBIE zLp|=1POWz^(J7KKRHR!%ilA`IwLrov%h*InREcpPBJ0pqHS^|se~DAfQ>0g-W4!;u zTnh#W>&d+u8TWneEn{KN#Rq~6C$m@ao7a5isG>5PXh>`0LHAf$t zB|Xpebz}=eUfF6XQPQGu8=hGWf}{YSq%7zVjWMxml}J}FU>6H ziaCD6O&cK?DP5(yE})9{i)SHQJP$tmM<+MnEopnPHRvz|x=A^l`CH2w>WHc`*NX|_ z-S>+?vp|oQ`;fO=SH*L|O_o1`g0L$LZb3B>4}|zds4+L|3$auyD|2Bt=9X#vOI&m_RCp0RUh2u=z z3ZX3^oG_n1cV|Hi5cF(H5mMus`T9Xc{#AYP0kOT>3qpCkcsorsQ-!4RTsP#llRmo_ z`+(8T_o)MxOfrh|P8C;i!x$OH{Ll9yN--8Ot5GJ%GH5Mrfm;y2oPR=+$(B0}A?R3e}tHD6{}z>Cpk zCZI6N>*&DQi2^t}MX(#?*p?kaNusw{ZZ|d$hs3B0OLKnT{azTV4~fo=F^q$m8Sm$C z91r-9B8bNhDrq$K4u?;yz+?ebZA~i!6bRvc{#0JFKK!v81RcgPliSXjDF%=PcQ3iy z2Pqj&4ccs$;_Wd$l0qO-?@6P}pvN2rvtFbPtE#G4*5$=Xjp-txC{cSB`n*|ejd82` zIRXjSD3k}Bg_V59&Fy=baH3K^`;<_oTQepM-Kc52?qLr&Sy8ou^euoNUPCHUp|4~Y zz8Zi@PB&c1XIXf*IoJ*^Iy!QTjz2U^ahChNQO`!T?1yjG>G2!W@YwZ;tic2eKTT2> z`_X%+AgdY^VH8az=_aIMIiq)RbLi0{RxjwVbN?XU#L(8lxX9N^x&7sWLmuSIr?9EW zpn+l;ITjzmA=)O2MBsqL9hz+jp6frCikOQC@9HoK3U^NTFx=94VZy}{=lcm6`?hOI zgCv5cr%w%78T+0UlkL~^$Qn@-FByEB($_07P%fFBlPbzC1yBh8UhKt*L>2GqZF_}k zi*@fh7uVA>y-7hXR3fa>eLIzz2%O4@O+MQ@RE#T-p@frz&YrnR|A%k%q(XY)u1Gy% zP}`QjfDmx(Tq?)cwHP(7iaJDx(%;Lune^_Agrx+;j)}!#3cE4PpgFSdHjXMX1~ciY z^oi#^j!F_6T_@phM(xg|;DM(U$iQ-V46k_5q2kOO%Ka)oF)I1tw7lm&fP%7AtCVv~ zOG(T*!l^$ID7lA@(yFuai$it8qUyx@=D{+RRdxtP5wSbcI$i2e;VA2U?$Q;v9-*sX zv6T|ocg#AIa837xkKE86Yg!ode%-{`_lhG`LOJesM9)d4nhoDASS~cS8Y&JZezR|f z{D)1uXGl~Ep^j|-GkO$P+!$21H8>nzCr2{XI0cbq4Hb^xrHx z2lYQ0v77GI)%OMg%&sRekHn?;d5b;t-d4Fvz2LktHc>GzK_u}Vh~r59rUN)*mHNj>Hp{m}|E#u?t!SxUwy+;Ug| z{{GK;3aJ9K-cyD?<=w|1R=O$cOx#)j6sdl6^|0ZRGPz7Cq#iDYoCt%q+hWL3N0Sm+ z|1Y-S6&X~h+UarCaj(bk&<6ADtZS$sT89PxR`5)#l3wmQXtEsh+;SurFxLL(eW*wV zI9&0myih>~^U1zEO=+=3s^$RbPT4o0WZNgthaRu|js~`dqFlhX1JTFkLUqG|s#f$x za+azhuN{Be%__4whWjjX_9Foq%%{tEzti$I7DE5d*j7G~;|ia)7(ofVeAIrS4Q$+| zN9AuO#Jm-ol$sV3)y0p!MeL$&8RpDpudx+FAckZ>V_;Fs8|{;$S(cou`fLaAUS1dc zl@8JDHGla~&Kph`uEpIBV`YPqQ@q7w(8}*#%p}swYe(R$DBEYJ4rNQw#jxBmGj5x% zv|Qr-vL$KwTYkrqb)w*A$*#MnwQSb2g)siISl*x?uZ1|?U3gQ;Y3?~^V1FcmMFjLT zl72f~HbCAA`d5M>%<%CN3|DQTF8*hwxWnjMtg}Y#_K*{y)}-`|sgPQCO4bokvykKE#gqn^Z>a`sEDI!GtxN#z%R|aX!dwna(@os^VbnH_%)hZ*SjFu)6O|a_1pT-y z;RSYs9Zxdso9#`gm? zz3X{;jXukR@rFF}ZJ|6W3(x+^c}u#H!21=tAE(LU{&AerR#kl5F^@!vZr2ymC%Nvb z;+ve1U>jA8bHwI$IS(bfg-${cUqfCW+mTwE;w_ZcNuXDpta z8=>oj{sX)QwHcn}9EAj(q!lCp-qpFI@;Fue>l>|xE-gdp*?8EwgCPmyb({QXp@*7> z_XE0Y|F(yJ>#I+>=ip*w;`zsp(oXjP?B=3D=)y*X^2`Hm^TNj6%Ft3Z&q}hJT{d~3 zy`mAIpZy*9e(OgVFs2_NVKc~YBwf3w{x z?!bO2Iu8FW6=_N|@Vk7u3Uv;QtEZG#C94GpKR~LP#`y4<^-Lm}tuqf3 z??X_L^7d<=nxzmYQ0nTM9B#`X+%uxXO5;+XwWVDpr99VjF&pOLqZVW`=Qxp3x5RCLdyKZEMb!Lh+iP^#n{F2zLXbr-9r^ks7^icuLiGcH z&r>zlidkHxjveAHKsbn^rC8Zs>IbdvRwPQsEtj7gSjxI-Zu{$a*9{t|k6YW^cL}SM z=~u}efb_VZ1@0ShA-b!D)rbS@8nqx!Z3K~}r%99jVd(g`CA}r3hVwYSWLNyoq~7e; z>`d?of}Q!qCH_WU@b<2qKhc#bi<&kNZPXi*v@%(>fVSv5;tWMl&1;&mVsiWf8xVSQ ze0Q-!$h}`ga}Ap%HA(0XCgqFm>P18sG0mEEV?M<5S3{`$Y-AQnZw)V*mb{!2L>tvp zlHfG4iU7W|#dQXlo@~e;K9$^n@lkG5IHHVE#j*NpBh5~CVUpSq#x-$!3J(q>%fOIl zYq3h1qWn(Mc@GN$@u4fcNA8;rAEiehgf5m)#M8)(Y>lA&p*=}lqmx)(KfnAbMN9{U-`M!X7EvoB`$B%^2epG+x@f=2Xr6<2jCX2|c2bU^VAtG1f zgV7;;(plVAD%AsVLT7l(ASx|vxF|m+^$KHxxc=yx%30ODs%^5yS33Z>bE|6C#Fj_B zM%Gzm7pjX^96=_KN?=`*x))t``U;3ziNDhpHwop|BvmyfVeGSd6^D||(Gq~r@6IOh zKnQ!Uj+UJ%o-Zq_=DC}Rdb+R=->PvVYBt3@56>DU7%ts%!Su>i_%9xk(fInj%UnLI zSqJkR6;iY+{b7^h1Xf^P-{#&W7M0q|Fms?u#iC?aIP4B)af>#O9f?%__6O0RIMkJJb7(IR4w@ROW*0^e)ZabjWH&MP@bpj1pMh*JicQqVR zx?k$4IB64#mqL5+ORdqx9q#q}$O~DaDcuiboS&OMu+q<_>kMF+A-*=1_Vm1F0LyAO zn_@wC&uiPzyt1@;3Wyb)XHjMqnl4}t=lSz;hoCJHX0v}ab1sHUXr;_D)D-jcO@tz$ z*EH#v9>ZxOuTN-F6^garjO~7RnRg=WS8+hzfH#VoR4JWm!4AI>V*B|<)=iv)(cV4X zuk|nvB8_ASMI?Y~x|{Efh(T^8UNavR?B{qTlSKOashzK_8uXHJfoWg;>D5yazSe`fqjZ2ZIj?tjqMkT8F^@m1Wstf! zMX#)bPKu{mQG|-Q1eXpfWwwEa`|N%pe7?_GA-d6jCqD4FW**9lZGIT6GTlXi(a5_P zM)BYU?rDKyx|1%olJ(ooc(aPTSBTJKnGi&&ny7pBT-DHansAWj5XakjGU}EJ`x$>L zgG6xMi*&|8#+5yuJb_$AQUGcPBliPF95qNbMz|cF`(=C7tnC`uOcHWElgwDm{+u@x zhCU_4D+B1}9})ryWYl50#l7zR$l)IR5S2InOV1!%Sb8f#efUe0U?&GH2h6vg8GfC}>or@%=sGmh-@!PhKX-G$gT|xfXqZ!7#2^a=nN(Ndm{XjG;SFJl zn`Y$(;jZ*3{)BOfX$rwQgwI!^tphGWH0~(lQU)n1OjIT;3M_g!;i{qNZA+MM_@ST< zD8r_M#SlSu@Wx>$otP1s6yyjI(IA!}biBx&EE**cDlB-!`UnnUlnj5{#$jWW1%+C0 z=p-J%e?o{c$hvwDSJzZIe@OWCX=Cm1$0>_6vcEvc@FNh;of7;7YlA-x@dTWlA&o@l zbS)s;jtCN;amK-g69P#g_KHAWRf8nE!Tf`6;6|Y-JD=o&3b!Q~!6LvwP+3x;+55hup%U zvxTAef=nU#ZLLmu!|XeodjrTy^n}&ON+%Iy-2~iOgLTpVG#6o(k;i%{4Pz2f3g#Xw zO6!+J-B-orpbSRRRMo~1q5|`FcoE*wpZb2S2anMh5=Ne;r}-t2SL9IZ~uG{wmGpsfE3P%&sg2Z9$NsB8EUiROA0HI2nc1k}jsy{g@ybqe26toHxU_I}hm<1_EEUWJ5>y?l2rL0RDU(*DiF*w=O)X zh6ch*n@L$)jx7NWO~sVk6JU{Av=6v!}4HiV)Ut{CUokJY-j(RgJib4Yx z^06aN9XVUe+QdlUQwq$Td+1PYh??{NqVXcdboI9vD?g@tIIBY3jIcq7vox!ICnOTw z`XBICN7I%}Ub(n&b$4oW@YEPWaGiFs@~j$>I?2*Jqub+0FUY z$2fw1Z}z7OU|p_9SI+*NFv46i?g?Vi@g#sdGuw(lgl<~>ddzD?FPjX29l61 zo94$vAcDZPFhHBeMOt3%h3}$tK8?yh@rsWJb0Lc93hrW8a*^pDyf|dcSZ;JIEEy>) zV<_$4OuY(oPX}?mdLjZs#8m_W2ck_3(rVG*fk-!D^3@m#@kY}{wo5|>H^5}g*sPI! z$3g|jLMHHG%B838wN_IXJRdy^eXDqL@P`V zhD5p4FLAHENnKc?enL+wXqvjyjpHI%Le(6@JUj7=9YUeT_6F@rK<9q2fz$|o!)=cq zT=G(rpbj4zv*dJkSAs3UdOY%aH|)r`p$P!EiZiR;#Q7me@VkSP_9!rE`*08Qf~ZU1 zvPr_fW5I22F`|mc#7(+j`?rHR->$!zM~cQ5%Tx--ii0{EkeCk|(;^3(CE$d8@g|yU zKq~W_$Uj=mqJ@LMJ8c;nA_9dt?>ad5_U!m%(VrlI2rbCFq>S+NjZlm)e!{-`Sf~Lq zj~Fl?&cCB7dPe+EH?)Q^@2{T|}n*mVH@KdO#zqP{(5vHoB#x2aN)(~S7r!_KR zF8bRe0<8SLE_9V+<#*%oO0x=x1h_rG4yrz(YJxK?kWDD?6Rh#_K_Uzhi6)AiM`ITV z;-7z1=rChIN+j;7sXb_f9zB$)BEX24GunZmN{&g~#1ZsPy=_dIPEDP_-@czw+CaJ>->1~=+*)W{d&U%0CDA&a#czuL#91GpDpwq;)O6Yl38GRF(INozS(aN=SoyvZmc~@E^0=7SV275{$)k1}w1y_fT$$Sw34@Gx z`99Z)=+vK>54?bJFkO@+6;stTYnPLQM%5@;p0Ty7qBltg~1+HVkZOQjT z$F1Mft^cW1%YhgmZKpAfkf7ZKjoc#r_tqZg@0T~r9DkW^b778S`lNPn4)p6C zt1TjiQ1^oyQbs2|jU^g~fyGGQY;L2-T3fPQ|MaaiN2)uNKix!56J|&HR?P|Er&&** z7|6P1ddo*#rvf0<50fH3xv_^#2zzb+uG;{PP=oAtxoTUmRoyjEpT?vv4lPy0$+ znyaVBkP(|Y`4$0narE3`xBPTZND~xThHEyK=I$C6CaXUjm{q48fqNL#$r?X=ySQz& z=RU3G(cJ3u2Cyl=&$~8CxP|R)s~`QFjDti?Z+dZ}4+A(rHG^$~md6hMowjG-q=OB! z7p2^`jL26YgpqytEE0_v@?j7jx_mO_iCE-GU+?EI`sD%n_tZpZ=p#@5dIo$+KFx2K z_8QZ_ll`PjSnu9xFN(@fQB`iQ-D@+TjJmdtH zxZ+mFS{m?}r|0|znkX}T**DP@kK>iMAf@j7oe0)@mVol!xncUCT@wgzwUDNl{eVZ_ zdHQvh=3}_t=P~l)V2QLhzJZ!k3p?@0)04n184V&rrGa3^znlh@PtEeOG}^q3m0wDR z?ZkDsS&lByh%NcSce{|m*mVY#MhL6T4y^Lc$p(Ka1C8yETL zAE~j48MjZss2}JsT|5n~hW%iMe+}RKNWh+5?{Glnv;)+FZfQ7i94ns6q`jWA#Jo__i; zV<|m%j_y$J{&h`#%_E%<3fAY6gX0*slpt-KK7mx@{z2Ius3Tzca|n`-kJSj_Sux-1 zl67-D`R4ZUJ-jk~dDMC3(%ro(a}3Dw5di2edtdRU0SkJ=JWUBb@0`Kl2d)9k={;b< zZ{Q6O2Cp!7>@JQFZ|maC%{fi3Mat>{qI$90Sr?JMWse9vx>y`ygnq#DL8o zTi@nActQAdgq&pSkIO|Qg~Fu<36blV--Wpk3QD7qxU>kr&V%v}k0VEir1rrBeO-V?>)7_m|KiaQnKmA!r> zW;>NrErhz=@iC+Xe7;QwmyczBsaW6H#w3s|{Bc*0frcB;I-!hEwayU`8-NF+Q&7`9 z@^c+>z5Mhk1#jtEzQgAtHo{uNq``ccIopd~|MdZrB5aFESDT0li>S@qh;xqjLBDIs zK-(u8A^DO3u$ET=y}Kl;GE{w2XRFAQ9 zZ>Xb$L6I0ZL6gA?AA$p5vj7P9!66uYJPdw-zgG@Nug*MKYp2KiH>~uCMEec3is6 z9L(~Jv6F5Dp#`K=H0Jz-`ZZUL4T1hzD;ph~bLYxd0*bnf?|S786M%dDpD%&WaquhP zd&c?>eOlk|g%4zf%k`?*zp<=$sN;9!gWNwg<&;h@XdEa-@$5zB#=ke8=bOuk4`Ter zlF#eK?GVF_qrrso_KU;>6G(T(0YXL65M| zkOXoMI(OL?UKcB>9RoCWMUMHFVf9B2YDjFtgfd8+=yUJ$E}7DsK@yRkAva~M62|c{ zTFcY&Vj-h(P!j|u3iB$Fs5P`zeS^F=sYCPb_QIq=F(r6MRv~P!<69ob(!3Y>EO3e6 z^Bg7j2S*;$qca31h_}+PEJo3y;>EA6SdBBTQIbSr|6tL!S^{EOv2!$dsEy3G=31V6 z4;@;Rkp|Z50tR;Vwpf zyL1h8RMol$<^ealWYK&U0xlTjQr!p4$IG?xw>I|(vxmf5^cpj*k?)lk@9)^2tc{SN zy;$F8h(>;PYV!1^%(BUcP|+b>$l_BTYw zXgc#SX-Zt8bM9pCKdLn?+xgntTSiXJzExjb^s*{dtEV6rE7UQ$V83PFhqg*vF zTzX^c^A<4+lB>&ZF4yySJ{}h&9zS(8fN23f7Qz8vE+jw};}oYN$v|C2-wdFdE@*Y% zi;Z!75wP$$2imD)Y=Girf#PO?ay&;49Z`K?^L8zMTdn<)7hxE*j5xq@w~9;o37HY2 zNArBS06}{kD`nd0#uwqjmtNH&MuGR@*KSV(?aW6E&4Li+Z-Av*Ed>Hki!A+aRlEBavmsLbH#gS~MyQ?C? z8nB5csKY2L2@2>&Q%&I%Q&>bbM-XkpduZ9i8pa4GtO6)$KnqlE#4?>z&O0cdT=rt> z0sVjIaW;W)WZCBCw^lOMJUR$UqH>k@)F^ege|i>E#HffOmB`SG;c3^QP0J@Elw8q@ z8>pq*Rg(6LEl@6$lu(NuD5ZlHl8o{!thtLtDWt!CCrM{gim}b7cuQZ&B)z9lve7A? zYZO$2CJ!W04wr$rrC={2xuIX3u4!7Si-5SDXR9?o`73cD7aNgE7fU8V$6Hh)RG|9a z#}cJjYg?7AD~XiL;pUY|rysL8s1y&e2>$h{pVEzVR5y6jr;!`TO6`XLLQVXWO$K29 z-@t3#WbMceM#SKq2b#xKrIb@68Rj5A`v6`W?ToGGHEWu3!vjnT&sBiF`OIaFC859k zUyI|cs3O<)N;eSz+C}a{`_^bB=c5S6@Z=kNvtrkfu|QQ4y6%o%`e`d4+kurXKl{PU zG3s!~)DLQGZ*MTb*XnuN!SfX@wspnK%flCXB7z>j?)A(zN|@!Q;%nmwTfTG80X=hC zI_wE|S-)l>^EJW!B=z-)|JnF_e-T0A?x=lpVeFedruGgsv@)*pDy2oatcK71j+xyy zD`O8+9fu3hVuW%$>xLG3-TOu>wmO;rwISQ2Gd)=>yZ8){;|8)+fMOOM2|z9&1uGU+ z3#1J@!HrKOM3@l7imw&qQXFYUCEPA1o$#yyzSH@w;$Z4uCQerlN~8}h*6){R@f;S0 zN~IYn8Eg?DdeQvYbL90-uD3uI~cRB_9XMHhU0BKY?hlNO6gjr>Vj8^ zbSs;ZLS*Fx3&@RWvYr)PcLh(ywOrxSaVpYPpSzCB7dDMqJjce)f)J_>T=$#6T?AJ% z+4-}OuNT$jZBq1sdxZ4EC47yUOeYs56*hMSz`Yve zGT%?06bUb9(s8;gO3%ZoI0-NJ8dM;|_roC`kk?O%xXF~%@2zJkxH?Qq7$YNuD`CZ# zt9KxX8+wT~8jq6Wt+qnwQ6q!+$<7sa0FC&FDu|J2y2S7zibCIrrc8aQ6RyQCv4kJ2vw_G=4+#-K@|W#;A)%6(iOu z;=OFKLVim3OC+}a#dT=-^T#lzQ&H0H)~iCyaND6(k-ay}z0Wp#dPsE224xoQ?$}yd2V?#_O^2 zYRvXKwbeQhBk3P(fTU%hY57R@n)B)#efU#LF3ft${2_I z%?VKv0SIdJ3v;;cP0u&p0V93q=_kzWJdFH**&$It4q#*XpY#&CNz- zs;akSt1JrH z;>{6Zyur4u`(9a_&Do~BA(kMzuxw2DT|2vkNOw=Lblb?yQ~zqM-)pZ=Fu4p+|ETEX zy&5_1uFloVktr8Fh)MhK!O6<&U$kNvuj zez0{%Mqqf$k$7G)^l&#{i6)L=$FZXzs=3B-$EsL=tKez3z>}X9ubMnt6RolC>5>;& z+tcV(%_*I<^ulF0G9#B31f2i~LMbC})1{YC$x1gPZ&P(ckz#R=zdgYN-wETIOVGw|Z! zhhoMAo6RJWgi8NijKQh}CG{F18pgzM;(+@_{Hxdizo`S|T;)l^6Msl_42Aj72z?Ot zVP*Zd1iKQb^5YcL3zR#+hyoV_@=|H--|AY=dKPXd1})$>Ehr^91z6Vhg@)2j=YYi? zkD96uFH=jlm{!aj6)4L1Yk3Gd-fCXksLv~37Uqv&f*FF}K3lRs+MGjt(<)zI5O{d; z4gO0QzrufnVf%mClZ}{v_9W!S6I$O+wK@O+Gme-PUg-CRZKc@@5G1E&5gcKt&fyiz zgSjJi5$GR*1FqEr&7%#Yjb;+{gy^6c9w^}Yee(I0UXDz2`Y-hi_3s*+jO%LtMnv?mg zmaTmAi{{Z)E3M@m32#$*%Y~ciRLu`t9OI4av7GIDJgUw~MxV6AGx1|@DdB6*hRTnT ztk4Sfmh+eq?T>}TI#({faPyAiJ?}8p50NiD&4w5X>m3Y5;iLc~1^9o20i&eY$064A zlb#Eqgb$C1V{RKp&W+bC&=^AdG_v(e1KJE-n+8LddW++i!2X*Gr3j@YnjxLYlsqD$ zAYBZ_WS@{`BS;nh3(SXnhD7II7Sv3tBvEgieS8yIj7H>NyWtFfv_4 zKrX9WL{I{cn22LNs!?&Vav61Ur-l%?7-z9x0zI^qlIJn%pB=6H`eqe&g7wG5seDXD zkqfZ3gc-9Q>%{#C%0KrN#Q^t9Epc~<>e7nM>4p4`PEYP5nGgA-y@H_OKl2Y;Ip%+v z6V4->7lQKo#Tw1=QEbgq*4Q5hyCQsleo2Q4-25NP0JE~hBawnIvoa+*6yN}$O+yh+ zm4HiJaAZD!VycTmM%W{q$985NMG#QN@=jhz`Am~Jp{#*T1P)aKfw+y?_D;!_AnBe* zm~#TzsjF1ImI(PKDV9j#|A-sD(((dk~p_06SlMj#VO-qdt zUElp-hM^(}kUHx0@ZWJ#R|K0VtAh>9%#vtdfDIUw8f}q*w4wU9VJNzIYpXtaac))I z5&rFC*zVL20_yQGr-(u?Jg|=Z*AIEA7VI2OB@_imqVTB$W6F{DoOp1xv}W{Q7CpAV zfC(i3$m17}Pmih$@h-k>dDm}f><^rSCXb*mwMdapSs)2R@Bei8b(Y%!x~cD4w-cU# zSo>KFdwdnh?WE$jB#$>>7|GTzD%lh}bw^G~?%=RkIKfR&%|sJQOg9y_`g>&qRkxNt zLCvh2x$)$k%#nk&qM*BzhYh9LdjTP#ux(SLt9P7-K$YtImp+Lt)&Kp;?1|SEtck}( z7!Xg7a1ZxRe;YxIy?{XXkz(%uZw-!rG)U|$K?3yK4HCk3KcMluWspl2Uj-4XjuRiv z+0jfxApVPEb!NQjKUWx(k0_EiLu+WH676$|hHlBt4U!Gi6z{cZX1DIJ@{%47%&@VSci1-g9 zXB}f$7nCRAjI`wpt7W!^uV2s$(nkIYUZ*?St7ZuJn9TOundux&Ru{_|kdHK+WQ+p_ zRq&jhWRyYp62?-FptdTTjkrsseECaK@A6zkbMIH(-<&(WZu^g)bGjM(P^|FkBc^~S z$WcCf>-rg_(q(vfPKsZT-qxI>|AZN_PW&5WH+by8dJ^0YX%kV}?VtT1c3=|I^bNF? z-9^$>I}nJ204ylyjw1I`TreDygu$-QL>pYkcmwzD!Sh<_BcdrSgOU;af}8%6VZ5 zQV!0FamFBYZz3sF5R56iu^pSd4A9~9b9Zh+(CNFY(sy6l;CyqkrEi#zGwJE?ze)2z zoNhGj>1@JXd*>>%g~Ry?*#Wd9zxs($3fWjLV{`z`ue(kJA%#c{p7!(cDx@K>=`QZ?-L}nO9>8{o^D{hjD8xcFI?>KU%kjmfqm?D20xB#a zR9a5A_TFv2Y%D|O^ARfdZxUQPv{-2Us_uiJLn2dCtVz>Y@?u3!ZK8Q7?07WGFysj5 zumqxVzzxq5!o7Oi?#u;k+XJh2b4Y5-} zS*WzMI8YVPF($|(q1y-*`lu5qWk7{wesmms#RK4w|raK z_R`xewe0`R$){-g$)3BpdHM9rktKi0dDwQ|Y20KH8Mm=9K^1c}JZlF~H7YfvL_yE6 zpBKmfnpefu+0R33W>(A-&DQamE@=e@xEGgpuHzO#OqwhzP@HKUUsilB^ha-Yyz;;% zi?{G}5gAiPxO)6{?rKC}lFa4XK`iGmIVwIui^5`A9`uefw|F0T?0OUq)GL)Amzgg% zW1t`Vt)G@s`hb0K#ufq4`4m4lT7c~+yBu&SWD>(j>1K_TEHO7fQ)+nZ&!EKks29TMvG5I2B_}20;NbZaPEX3??&xMGjh~(&;9NA5m6KYM zX{li}#umRc*wA?IGEWr=%gqrEb|FULnBV9m#GhnSG$o-%xIqcnpy#3d5PD9$EWTuj zC>&9^Ta-Qr`8TPiy$5uN@fG`~Rvu!%QMR}8s^pL`B-qE@q^wN##tXy=s8FH>qDn;w z51WZK?xPHw4%I&sscFQ=%4#!mM(TC)N!y^e>e>Puv9^FZ z?*;m;Yrn15XQt=OOYJLy^`9fetGdBGh*1vQ=$I8eeTTtz%$mjV`SFGF#WOR3Qs3*H z-AK3BC-TKybnSKBzO%~*2BY;1ZXTYuh2i}>fpZmfffazja-{E+jXJl=(YpkPo@4Px z{jQy*;+c7^PM6U}#TJ2Yo8f_(;YE&a=CkFx8|~lGqfC)ys2-d7nI(doPmc||E2-!8 z=L%!}GJ$D69=XXE^x6?X<&>D1*}}Ey(NU+&OESh4JItoUhb$xP9v%K zA*fZI0Qw&F?j2j&+oRe;xw7!Be3PTEm0gvY%OhOcFQDA5wjU|u{sQs68RHJuktUHG z>}xHk)krA=c~^e|6A?dPw@1+m2RD1tQ>-*t6nlUm9IMfoXB0AgUibMK9EkWq)7W8a z(3%nQpy4FHvV4)IlDeRO(Yb`m*O+KK>!&34wi#Z_rs=0TsdtH`wt`gPRs9aVP*?^G zo&WcK>5sfV?&zieH!HqDTPGPK_7eFWWfYODt3OW{g#G>azOvNg?<&(*zOq-3sTNHw zStP)PMV5q`dng^Oeb9;;ua>hW%y>#6D<)=5l0y&dWgl$I^0as#DOgsV!98iD;Tj$I z2(UBENWWwfAb4*8{8JMR?igmOyQC?v{sub`v?j$b2?%byPfKV3DhzX*pa2s#c;PXy zHCeR)&IA6iW5pYo>jUp+jc!iRx7LZ$!AKInV+U|%e! zsrIaEPyR_v5oZXNefv3;UNKV~mSHaje^y;&pYvNbj} zSdZ&#bKMTT{-*n0S_(r&l>Nld<<~j}h;u92jh)g%b(>j;bZ^tW=;-`JrtpE}NLp@k zufm`$6{y=P!z~CU(affSTf1lqJeWWa{5Pt6Mad{bP9~Kg-el%nW!yC#C;)GA#gWXQ)L7|%YgcN;vYiR?$zye zOd*xGxNXJ_pB8l{?w}(G~S{S_L&ReIWI_ecf+48ICYL=GMGh~n%FkoSg z-M@60>*5w3-SYNVFb9H&wq*ri!jeid_uvHOxGmXq^AqJO?s#5n9Hg^^jA#P?yjoYO z=BE}zcVW^O0_2_7b_{2CLTr!)J`Z|HwjzVQjgp~9nN9<5{4v-U5JwCcv+}uY2>W@5 z7L|$5+>p0GCFxbz@V7d?{Q3Z0kT$1J*6M&d>BL^IQD33Y#G?gLg-MwddCYCBk1*7z zt3Rly&sRIaKH1eNI~R^*v_TYRv(iZ1zi-s!S7fDh0Jy2r4cq6Q_Rjl?->lElXi3oW(Dt)`PUIF;M;C3U%rFY+pSu^RbsbQ zb$~Ksr>;HEqEK@Xjwl!#ALzH_E&2FGrC&5MlvVE>)Av=QJ{@unJw2UX*~}ERWQ6>t zJE9jKP$0;eVQ1enrgIRc*T+eGc z)+=Y?K}Z2Ipm2d$@SieaE7W_g1M8uDfVV>vngl{|MrFF3{sM|<{HWYv7PStX$zQhR z1w(y_bRkeKyDDK^BM>|15hHBF85xv0GTD>i=fovH8OFR`|@ubI~xJsh-^4fK- zHQ->@^LVlM-haeiv|FMOueYbNsOSW=n*m$v)YV5IDe~CM_&>&j^>jS&mhDtUC`M9L z`tV83!M5a7C8r1nSg;tK7Flw>06JaPSLRT^;{H$}b%i)BXY`cZ;Um@)HDQ-*A#t1J zM7arNq8Y?al@#9;`gtVOwzMg+09caoPoKZCJ#uO+$k9M*mj7Z(G!t6tC+Id84IN68 z9Vd9G2lro(8IjIhii3fQ030~-xuK0Vg<|@F|FY||k?s;M77cgfHRXZm7#a+w*MiE) zOJ)d5Vk0DpQl0im0DX`J9%~l;DAThL@^;G3Ncp~+pNhS2P^%(G*&BAmn2?EX^dM7zu}hYK0qa|W;W3Is88!m9mky|CKoQ3?F}LM*qq??dzP4nQ}fw^3_mPK9Uq z9WgnPNrlKDiVj4QaG96UkC9cRt18*)>nR%2egE@71070V6OVTOmcocSX^Byhl-Wi#L<(#u|EhOz3jlfKg(HH zD7hfFPb3i$%Gwl&1W4gT?ssGi+G{}tqBE16uBPyOCn8d#aon>sOds2fI%9FNuC)?N z`E)m!KZ{{_^_$%aEh5{U^A}u6r@Ai_#3oF|7eMQoG2pkV?d->Sv7FSyoOVJY+oc={ zD1`9==U;AU?x2u8!e^v#X}RSLgS|ac>VL50JZg-1&RAv$xuU z?<4wsd}!lT4$$)IOeETY8zR{t9qQ6hhOBf#(c|p%o!)Zr+qSy=_YLHx0&#%x?|qij z6JTD^JObD)xNp%xNSv{SiMhPRuyo-U(vI?P56{Gsqr7kzb<6M5Zj``9aZIi8ghZwS zOrOQBJKtNp2HG8iCf3UBGwt%L+++s|ub=vG>cDzvNx+3?iIYS>2*fTnTa9NFNQdH_ z8$iyxFAo)2M$sya8%QqJFz#8v>z3Su#xDhR@JxcU3@e*aI$H5z&XN`WuUqKCte}VN z`5-o1)tw)ZeSn|~#h}@48G2i}1<{=hwky0nbJk--S#Fu50|9M!d7R$2Xgg|BxT>l5 zq%Q-H62r)D0<+s2{oP-Bh0BVaV$lP7?doi!;y~N*Kt9T=zDONB+`h?v#jetKeW|={ z?ElIM8~?Jx;Vl%nLv>sKstsf$^juPAj10Z$IX{1d0pPbe5b z!fRuw?fyJ~-=D$>M3bmijJHC%UAa3ypXRJa!9%M@tDf|*N71%lNUYJ1@dW~I_}}kQ zpTj106+t%MtneZy&YZ*ilLZqM&V3VkKVkkOVl+ZsFe3qTF#bo|F#I%6jQ;*_G04}y zBPVwL-TYIVQ_CQL5EBQ!@qpMHcfXfFfc_)7rmh16F#>ZkCi>NKw~B)R@qz+#GX1Cg zUu8Nnc0xu%dm}4oUS0+jPX|*5c_S-j7h487LRJn2aZ4v>7ebbQkM8B-0GQd?{|AZg zbX#Q{F67aj6Xnw_;bKl1x@Pmzj0JH^I1TR-ZsPiyOdg9EF3?F5jj7*w5c7gKbfnUfF2UkMGy3Dl7 z2!*eOC8GK?IM5>tg4&_a4V4Lz2pPvS8Va@go*cmCqqOZc@atU;T+)*PB<+giGGI;U zKoC3v9GN7zEZ}zoO!;oMdUAiA+D)DUH61HWwWYR|_C`yMZM$uE(^I1Ptk+G(*{hw? zk}Ok3@iTqT7JGN=m-QQqrFi3|oTmdP{`9S<78c6=`}Vg5YtC;bqRBtspHik}s=-qo zbpOt*=>%){)(&!mfz+YRHR{i%)gQ~}t$uOh^n=A)KQLoiGIdnXjE0DLX@{gfoF7&E#+l2K^;_9!R0(qPNzqtp+bne7q;~ z>6v+f2NDPQqHZ>M*H5X7T(?Pad%Mi}?_}8;=FIMcy{ef~E*yl6?GMX`V>>q%+&zcd z4}Ak8>Z+&XK}^b$X>^TM8l0m#fs37}+F%h3pRc0(?OpptAi(e7OGRycA|>k+YEgjA zbj|(D62GcVyIj4~_@a0wwAV^l!Gwe^$Pu(=G5d^)n#?5HXb`)hZ&fshD&$}0Y(Ylo`lXp{1M9{LJYN*a&M@z#9c~eglQZC6c zX(Y)$E_OpgO?+$J2-W8@yq5;4Ib=ak83X#@k!QQ=YT|`h78{+=+j2%owe~@XEN)s|FSvSy4;kt{8HJ5+xo?x}5fz zgQjV;J&!2zw;(LL3)6D2I}l*dRDUcyUtMSoJ!ubFC@q@q)GIUoNejaSOtGIqK}d}i zgGEG6d?`4f^Z`sJNUoo`S)(I>tW|R05lgCyL2^BSRG79f%uxtwPeH+@L~Nd3VG7cS zKxo!bPaNTb#VepB@5ERLz75iewzaWeqi?N>!2&2b3f+ayVl6-o77I}Qi^aT&wb|kg zoo>{*Nl8dX6r<^vlDG^iEup8n;KV#VA(}o0sTM4$5bDjt<_GVKtHoE?ZbMeGBP3r4 z519xVE)FshsN6nu#IZu(QI5!vLHH{2lRUf#s)eMoMSfgp^_YWrpyU7-)NiigxJ$!4 z)u2aD=zB>%qN651VQ7GPFm*zU0fV^`KcQd9by-y&l3a{=9z!Y3U8~51khFh4q(=kF zPl0LXNxg|d5sQwrCxSh()+Nv?oiHBZ@P z!f1%076~o5{=@Ed1Byj2rIq|wnX(gyg%pRE25RDXr;-wsK4*Z$-go_*R03fF^a@6( zCTR^jDwzo{Cov8E6j3#4)sat!2~e8;AutpberGRaEiX*3D>0NWYMGi8G9#lOY^1Y8 z})+!Fn@e*xGei{ z;r+orQF`#=%>LbTb%`)Skh!&;Ii8meE3v{;3ZfD@xYnv`EC;-Ue5U?sy zPu!z}?)U^ilRnMQ7k8OI(m#AGS`l@36toI-BWsR3$%_~FhPu~mb2Yu^A?HtY@L7he zh6-C6-${wz>#@${VO%O{6! z+H=6Ucy16xmrk?L2^0xfEw`Pl%WHL>T&)#RZ(0EO(;axbED!N!Q-N{8Z57m7yW8hqzk31c02QSmoW3%xG2LWoAU?}aF%f_!*}vctHF56Jh}rS zO6dR!niSsJaswc8S=%{@2ok+HxSt)1MVNOGar;*ZsM%6`y~&DG$5Hzod7ySI5rbEL z>wHxK4H()=0pBuQrh#7_S#7FvpXgatsXcU5XGBzH-byigJ)FL-39eihv;04OlcS+v z)b)7@_`%YP9f1+c&MIwz5mTCZ`&2Fp{UiV)Sk+&XFWzOqmYo|C=1SZGG(|QI`WVS= z0n&5Yc@09JEmcW3!0LwiSB9S6@Atc}w?9BKj4&EHA!Mr({m3@w1HyE)OfClTTre8M z8kc>@34OpOywC^LhMEtJz?0-3t_Dy|(2*O!DRBF(A;bJZ!{6!HW~N?JF>3=0pSA$s zH#d9cY&_pOIBV%;=eCY8r-WAJSY7Wt%v=)gA;Uy zn*vRlBt|LfBgl{-xEj((zp!r2{<wJz*UdziST!r$PZ-YvsaE=Rsp zK^S2yN8-KwT%2xw-(8dn^a=>DyypYnE(@nqA2)p_rz&rPg_yK7MnovWhW-{ITY-39 z=`d+(v8`>yRI4oln(8%bF(ao*qFo;+BMVdQ@9nG=oCOBd&ho2o*>i184|kAXqKBK- zG<2U@C-*Qu7`~moG!uqASij@BeBN5hpY*FC3pZ4dge@Sr<;x(CU?3B(%E>3hu(`@mg0%Xi~^bF%3yCJGL2BU-f|6cgAXMX-j^Js;qU83cqG(T^E3m`*57 z?Ik(}ZR-HJ4k*A|F9d-Xb4HMh;4(4yiKRb{7@ULKng`*Vhv}Y&_%o02H6H+kIrdF5 zCWIM9gc)&sHo%BG{S=Q`JTzGFf*Vbcjup&=8B6l|&wp>h?uZ!+l@=z&i7a8r95cei zi9WjLA=?kdiA1qyk`3RVKUo8o*F4`gLQV`s!>Q#tU9SOiSg`oazy)$Oinp2vqJM=ahZggd}_uP z-JQ@N(4iTKQ4cJ?houu~UXLl`AW$<1;(>^;XQ&ff>;Wo&z_jW2rV)Lm5gY43!as!0 z8*Z!N2bgX{U^w9043emaWiaHh8xgJ=;CcOJe}G=quSGiwzZp^OflFXaVK+$c6QF)e zZ8wVN0atqf*A*`20Yh`gzq}`B(wO2- zGorpp_JH@{XMcz1+wc21B(05FoWNi zQ&m*{*CIp4^`M}rc*$ZN+x4KL=qq&I#fRfEYN0zep$0fRlTRvk zIWIwfjk}Yke)$Zy;Ltr|24DKy^#ZrVgizI7zBs9R#xam&2GJzri)_D2M^+YWZ`hT!fhv0cEZ};mB9h-UymbU@H5u3(WxjTfn+cISst){ z`By@a1*{ggYN8o5eFWUBAbS#CoWGy%N_##b`Lja;e(bo@MM3U?LLqUrDTI0#^XvX7 zQro^Qr7%<=OCV$gOk7_eQp7n1aq~TUp1#J6b_gJejdO3_`3EHScV$x1w*y>YY@yz! z*nwJtsb#*meXI(Q23}Al(d3qO!uG$M;e4Zu0kkLiTFYN*<2?(gu;HcVm=L2uUN~fj z2DjyAEbmC7K?FI^PM!@jujimkI7r^^0^k*aMmXwiQau!4=Q9RUZMQp$Ukfv|%=hB$ z&OAD`zo*rs1DqZyg%f4_0lO)@{j{p_d5Ou&Faa~rJ~{4$o)Kdj9b|G6*2nsA%^^n@^89jLBD!=m@s~n2N}Ue zFJlxUY~?1w&f+f?4K8tnPXgPj72?36h7AhKi}t}~L1?3eA${#14+JnOIP4!Z?vslrXiQgj1(Uy4JAiREhYCvAYt~B}qtRqIHU1`iHehIk@Y93DPjZ!@)QCtY2b5 zV%H%!ykQ4|v4mWnSf43R2TEv5(44pHt|DaIZd*dVb1HLdY-%27L|pl^KMw5=1Lyi% z_|ysce#8A<`#-b7`=}fM1Va|vO3Si;8Wv%J+&&a}I6dqJC(ON@o(D<&l>)@rN3`JJ z??k?a64NG=?m>0=HE^wdKV&MDHG*aC&qql?g`wzbU zVMrq_B!PZB6AbDoCZFkxF(~xn48HwrelYhyBgnJk7W7&jbowyc@6Bna(S@I0N-KFd z^89Ll!?&ebD`Y!?B;tUvKTmsY>2aNTE^0h8(PzBXlsim8nIPLQh6)aW<%tHYCrKsc ztWnC#Df}zqN4CyE7Xi0+tGhh#dq1Fv?fwy>kn@gRN6_FXhYHSxYnPZC%P!X`T;va~yDP`H3+P%p>DZg^!Zpzb6b9rlDHL zI>(G_rcL4UReV}DOaVcg=LfcU_YiO!ww91t4Oc_~WEib~Lw5)ORCFxib&0`v^(BEGWHMbGGj#R{pZ*lR8R2 znC&$RHgQyghVIo5QPax2#0u#a{YcVxlD7RW{}mzRYNJApAx)@EPr1S^L<{@4R?av3 zWU*J6A9Ikp=_ub=RDuyo%$%$$R%a8u24drumCdpNG~p5c>w?y@w;lQ zyeMdV@l6N;j?-xo<+cg3sMI+nP}xo{1(Ko|j`f(s7{)?GGY%mE&Lx%SO zh}1oxsaS$by8R9<`kS`o5HO4-{2LJmOB^y4GlBu%-c_DgwQMzeN5kI@yMn8#7pgd@ z7rd(Zt%L>K$LQ+z2lCN8KXIxwh9hUOF4B})rj4!LFMJ;`kN4)YmSNP!QeF0Zc@||0 ztZB{zqnKjr@*iASl`Q4|WKy-Dsxt6dfL|rCD0|;YJE$^~OFY;B5 zD3*T*gE2T7$7o*2(x+OhGCf`hNn{$57W7h)22R6%)V=>5+mG{P^LVdu}7Q^V|#DZn&DY? zh*Pyr@N`#?@hpQ76BBXEeVW$IER-=Z;I~zm_d@IB)>(&l3iuC-_)YXN`WED`ew9|U zTVy4{`&~$*ujPqe{EkwTW|Gvl$}jQ@sYPts887MKytenJTc;YzTg9)x1yxI5BZa9ZJ*v&ipgG&h=kM@LnxQr8sY zW3&ftx9|isi-l-IYY}b+7XAc_ji5B6g`!kBx1v2^%)sDao-3Fko7{qH2C}KbIR@%Q zJaDg1B>9?Q16>j%L?sl8E#w`hTbQWZr);mZyZ{rCd6H((~&2VrvcvsbDgtmF) z=x}_89COQwBK8`b&CJhXP5GivC||+%R@Vq_V*x9a_fMX8BwmieAUpS_fComXu%5jKnGquA-BnpgBy>%o!GF zxDn?ytDH1NrP((*(3pMzbeZ8>7X5#Hx=DcenNQg0qWG2;5H?iN2hX-V>U;m6QdOMC5fWh$n` zTWK!F9S6FGd(aqzdh0VMYrmeA5}alFNzdL?EEK>xK4)kP0~=Eai*#z$r(+Z#`c-BG z$6$?U_+O}pZZseAl5=jj+vE%JB_)%iPM1{z*Kp$@SJW8-ZV<$tE= zjYZZYdnU#Z4Tuy{X>t$j*)q#)*v_#-`OTG4f}apt>d{JuXXIn2$nexw+Cr3CJrkjL zZ2&Q#tY`p0h=9DbMX~c%C8l^}nQKr$9Hz)0QuDw$~2qS3Oc^1Mp$b-iHJ;j2ZvXt~3+O!3Fe0y>dr_}-}UbQXo5o^6b5<1sG zc9y)qj+DlZ<}P;f$;{OAQEP<%W~gbndF>6J%VW(oc0~S;E4d>Pu&qQvVUxf-=dED)7&N8eOZ$iazwmtm`HSeJGv@{M5(=dFvShds3q4wpb_fUI#3^>Ro4B;p?XA> zhr(&s#B#Zs;CPx7c*6{t<|HTNYr6> z#*8d!J=tXMDDpA@jdu7dBCrK&|gvGRVbgO zkl{AARLdLAnQonP^v~NLWJ1u+pjGin)j8)HYG42#n25Wj0f??i;Eh8ZHh_5Rpwk_# zZ^YClm;n6n-w`V3ob#7&NiJ0CXK?($nm#B6ZY7|JW|M?MXedD16JqlwC}QIMT7}_^ zS?)EANx5!D0--APYJos5fZ)xE@9rm)kzu#evB0<@f3%Vxtq?kmRTmYA@F8b-K*oC4 z&|a1h67xCdrkdu_ot;(IJYZ4)HErjJrtPKUZP5?y>{3m^334Is@%n`JRN=PoihAw3 zdIKl+u-ReVJTFkg?}u&1QA5pdh0}BGQqQRYbQ5*`Dg3g%wSGFUW^U1c&}~+~&oVnN zOG&IIJW6B1EI{Qt7SM9S=i|C#LiBap-@Z>1**48&d!x_5#3|# zyr(Oi8#AEE(?0L2?b1%fW&(RI{S@8`AZ$uCcw2QZhbL%`TUT$r3!a?XxBnHT(4brm zFQri>nDI7jnmDMI{}e}((p|BSI7x^bCy{|%LwTo27yFE;%PO``K_vuv%PizoZI>IKgsM+;T^9f@j?&Y8@0B$1}one=% zhwKj`zfqclt(QXeg2>T5h39uqqrGpkfY=Ljm^|^}Udq2qND_ zre6Qg)2W*nqJF?eGv3ObW$zqk9@fyF4^aSX66e_{y7j|qX34o_w>NEiOVnYV!+(8x znHKC*Bp@MWw{`bxQShsaE9h_Z*)dAe;P4;DWIuWO8VjYkkbem>C7!-Ogr{^s>)QF*+6gFK)?=@o<7EE z09Fnf!jh1(412J>qeQWrKfMaUC_h#=IODZ>pLiZt{CtH$F6LygEjcxax6_bm$Qaqan zXV}Yx{i&|ip+*91+9a<;Ay3|@XAAL1^Zl}J7QztGM4)`Tx~JuH*xB%byC=N3qU;=& zB&j!!&Ng|dbBP98jUDmg{4jgSQRcDUs;0IZCyf2OcYQS+gfk99hE}MO&`8<|OSdKf zT8M9r$gmNRLd|=Yv$iLpU5`e30l>2aKae zzpCyiMR3`R%RN&jUcsGWvB&TECULb5<~bp9CCCp?@W{ltdp z@a|`#wkt^o=Rf$L#%6?wSru zr3&;f1pd6ML4n_wB)qRX_&xq1z5fsdzq{T(;slWdzb=tEYz4?XUY!C<9hU8w-~axH zd3NNfpI_sM0D$}RY$RJ?+J300z3?r3*gwg{pOfR*#EWye z&qsPV=dymF5G8uTV7NVzjRni$lbjG->b_;*gb@`@j!nS7!1UGA_3^YI8=npCb};9R znqjXr_o_dmI>Xv&-hs!)qU8{LX5HK5@(r!jR`(0U3cx7Z`_z3K=ru&W&D!WYe~p;J z`h?%GWYp)N8yZKR3`_NhZi7q+=}1Hx0uIi*Q;nJz=0zyk?a~C;EDi((qics>Kb@Lx zCjr0Rl75%X7u+!Vrw<+6W%_Df9Ufam{Cv9XlSoNzn&uR{IgD(D4mUryu9%1?viO|Y z;o0$bAeI49DE-igT%7gDxxhpM@>vHVS+U8ESphEN-n47!0f#bB@#dn4nsQZ)h>oVs zE>kd^>BeWv@wk3Qw^le{=P0S3sI2}v-4c{Or-X#|(4^!C>64T1)M>!ptPymM5{T~M z1YAInJ}t=Az6oUfzgFbjXFV*$4OK6X*ZJc+U_KNgwS{zgZZC9Z;d*J=ya-kqeNQd! zpPr-xR^%~`q_~@vBImlQWzfUlqk*J+-l!jaO3IGrtJD(>PKnqYhgQ4`zxeNTg2!#| z5N_emBUvME{(frY^XfqQ^eoN0SLA3Hb|qtzwn*zt)yewPww%UZ!^vjGTr)L21kd1T z0LE1tyx>g8^-u)*NqnP|UXoFt%{6YD$`uoGAC!~bgu0qIb=R~J29$L zk2-`^bHzX8f(w0{=lzoD6B*cB0l&mZyIalq{J3rX%Q&e{(Y+Xp;~&9*MsuJiaAh1j zl{seDV*qumb62oRcp9*kxyN-BK9g`L)BdIacjB z>ra?B2=wNubftJqNZ7uCe()alEC8(-|6cwFa#*c|b+uKuVVgx(A(;EK+3$VjTAao) zIv@y=F(=-Cm*`kG;*mEVDPC1((~UTV6$}RiuCNMhMgQ3l3ecMvFYjWrtNl}?p9zRyXUZWjxkC_)`#`c)T^gzafx4hL0 zw)SXt?NivClJO?NO}Pb~lWm|RF3Ob&I-UF%*cYm|(_LaSVRJ6k+DuAC>U0zwWh-_> z91Y7vBI{6BayD7is!Q4ZfyQ!iUhlKNL02qbjg{lf20J8KS_k$@EOex(y1q_r4VmZ_Ml!c zuWAxLRnIvk)ggZ1E2~-D>KV7M^Md=5u=UK^`SuCkijG@)q4ZA4111-r<{h1nFfX1{ zoVD%-c8vslhv*2#zq5p44R0afh900R4Xg2Cb{pAmXb;Zp4+8R#F(9`5Zl8b8=$Y(< z`^EoYqW-hp9_g*Ad?w{bIF4vWD?mT+Lp!t67+WIbxzNn>fxPht{&bE2ulsuXGi0Wh zD3n32T6iZVQr41(9iX>ufi;&(T6p_*mI$|Tz9ZS%Q16xEdqqU0HbmSb( zL;W=A`i#pe}bzNkM!cC76x{!$`dt7I5ss$5^V-8C@gBjjg6M|4;WqegZ8-#H4vEH-7*y8 zlnnGa+zs+YDEHs_KE5Zdt8)qB1e7=~ z6H+O9@1cD>m9uO@=b|?!-YILmnfkr>kUJrxf3E5hh*`##IbE z`al#N;5HuE8$hr-7-f~PpZpA~iSwP#^FDYvPNZHL<<&;vM!qnjhX;4BFNdwFq8NNG zbo_*&7yiqEc7>t+TSyf9cfJ%ZLoZBn;-RF{S(YCd4Zy99v!BpCTbQO5k!1AA8l`QZ zi&yiaOKRhvhI#254{oMGN0$S4@uLwR#X2nfctVqJ&NFL-kY5SQt zFE`wnF>s1UleIYi%N*8wvV~8l`MvG6~LZzEz}_C0Qrn@ zMl)N0zNoWCz!jjCcD(8c+$><~nq1XQGc$2o9+@_Gtr=U_(?VD^D7MvO1m?7~AKFvR zr_Z(jD$tTV5V>-|gW{lD{cgJO)FSG$>X2}I1R!AAXxl47vXw2BueNXtEQ1rSa3n97>La)pNr1p z9H2>^Q)|?Io3?&X};FAh@-%_eGU+_1>paOQr5 zgl-Kzh{%Zdb~_f0;#<9jh}G<{k~ms!@B|k2rrD^p9>G2jXX*?5ia;e|@(vqi@WOu? z5+)|G&F&yQY(TwI)?{he_W@PeeM4I`1Q@eum~Xb&g7+5>09%WKhAmj)(#OIrT?!SmSga)_?hfk3$wo7dS{k zC~p=%ubU@Z&@wcp1Ulk_ZQalDRWOJYa*eA&RN|Q>Xc*WD>a$iZneQjPJ|8S@iWorX zMpjO)0>T9KYCNt$rqZI9Xj=^be6C^!m)Z)qTfxuYG(etxw16y8b3g024G=XGDakIx z$JlKbD+*#5$WcnomafAIxp5MMVwy=rg)vC0zeo5~O13?KmrP62(Ki zdNxqu>aBDkQO~p_x;YCRlByNLpi0Y2$N0Q{Vcgw)jEn)40LCn2OIU{cHBbm+`WTjO zR2fQw_;#5B$wGF%INrd20H&F~)t0rpuV)6i$bn}Nb^#Ccix||bZ2PKV+OUxs%#+3N zJA8kSyYO(6WbR*e*Fl?@(U?W)O0A5-$G^ra>+I^(kOgzY<7pjU;G>C=<8RSgH7gz= z+ZzaYg&5o~X?A4DwP?Tg`8iGM)^5aI%4ZrA*7)kR&flF)ITROD0E#D9(-f+8l=Ln5 zo_m;6_k&G3oDsA*BhT_zyfNC+YlvqSOx^1h9n;PwHH!tMP5GP&x-JMAndvb}Soo$@ zyQ^ogDFj~vNza+@pWrBRTLojhPysF+=%t=Z#ks)>zMCJ@!WpGDi*m-k328C5ifvukyd7USv0obE7#F2Srylu0=~(5YdX z=Bzg*i>#@8Sq$@+2TF`+A)QvcPv)A^&6i&1(hb^2!1D#I_-g;-CF*fh)If#K>S>nz zHa7?0J4&uy zPuL7c?W^tFfq%fv;xVkRyGDu+YceRI1T3ejawY9ZI`u=g>ztNr2c!4seogRpda1RE zr$Lk0uZb58=Pf*=7ZmwhLmZt0&VzzbK|zds9740hA>^@SHcx1IV= z36;ey@%xylrFa#~>l>6lVw?jf`UmgdnI~4T-jT>$Q#+0UhGgDXoe{Uqkx@ML-JrM^ z4_>!QKdJmTB@@^%>UzS-3U?(zd3ADSf-?DvYjlbNNWoL?sR+1~9<-BUJEpaQ%@)$= z2uOh-fLM!DUADQZqbp#3KpG7b5@|RgBQB?YH5oIVWX=;g?4ESkH^T%s^5QWh_`)+| z`l}tRc}^#qmvcpxf1P@2+XcRLm77hlIQ5vfOO)@+Z{MnWNAB_GT~Xt={{2WM^V@;E zZdozs-rM2KxIp>Clq<4dXX5o9Nv`}$6D09F;5e$!VOf6Pkq9=9);+wUc3l)e2$r^I z`+fQM*oQjDI2BzHzhg`84!!c4<_o1OhF$g#ey(zD5&MYhXCXea{6CtJAp1A|^9W~V z#n~>N{jpb9g?lmKpnXDeFSWJ9G_za_dw)BU1A4d*Q(P(S?>H9$=9DSqXmhvH}A z7_A!j+|?PIkmlCt+-Nqj$I`NHg$pR65ctmIYl=;?9D$WN&$$oVnNaMqn;Up$VmAe^ zNaouO6pkwhvT_(!6^@BG$fG}F){xTVGR~(oQN@PqJI+1I7wL+M2TCknm0!)}K$UoT zQr-QyX@A?{%gGwuWz^r+T#7wJsAbO24I7N5=`y~qrIG8jBv7{L;iaqw@uY8@$XWLK z!gtDh=57oEgAkxOvTGhH=(o-4CV_qbK_KA zi9AU({E!A3o;E=l7Q~ZYo#}9mI0$<6@!$5U@|+~Xx2g~KBVZZ3_LyaR#eFU8)=V4F{L4a<>*OF<JCD?|9o0iM;A9dGtlgS19(7)3O#x|&)sQr9eam#20At0`SMA3 zo-WtY)*5udKiPZ>J+VFi>X|0IDKaAjh5qYBmVQ#(RnzO84R7L<>c^ljVb=tod*q-6 zn@cEg({@NU1I4*@nWM>vajkATClf-r{Yz}GxKHC0SNYJP_dglK5M#N9mK0&nwnu0- z4{+kdt%V%Y{;Uci$Ai9(>Z=0!6uI6oa0@3{kth4)4qfhfw(SdF;CA4P^H^m`7#rfC zl#X|H&wVh`@KySbu#!9u)_QA5XiD1kaj%?`p;|H(MxOkdkkU4ef70`;ke-6hB1Hsl z759{vzqXaHJgX# zXn{!7*o^#;h9MUDI0MyxP4uvH8`$5{5XH0(F`4|v+~ zrlC0NjCZ(aG9)zdtF?{d=|9ro!GKIWx;Wj}b@}U{UQ(aN`NK(xv|@VYd>f;@V1e8| zxg)(heAbu;ifY$C|7to=+&Xyd0?gm2Sm(A4Pw4Poq)OXj_)mLq?w`r}S{r^iYo(uP zHcZdXp$00H9ysWtXgUbgX;LVGC$@F+2j30RwNoxM%f_Og!y9!c%ZCnis1B12K*z5TYHcm+a>B$0EIL)2j3{ zso>`bAV8I)#1z5%#qvsmw)KdKo_=cV2zP%#xi(4;K@b+l$Lc~#;^362fdp3+vj~AG z$04kXjz*->lwQsvP>S2x0)7@e!U?(D%Dr{`_J{UC@m(vrLAvr`pB_i{>lh znPl4Yh7Dnqn63~^1}q6;gzc*72lj!>B`18*S*C}H`fz}}ZQOHxalm7KS;lCP{EY1j zUF;8W)?p1yKa7EBh6JLXQK6#raB(B&>CqsY-*Fswpi{!ED*5!D`OjTo=JvcdV&;VIynO7;coZ~cLN9xOTp z=sc8j@H2531kC>J+lwA~lxE1_3oo0(P^Oi<*LfySSJRiUpeb$agIow-G!D&RCi)^L zZ+qu2m{SuOUydKqz`j5h2U3xwWnOTkJN`c$3lRnruw_o=ol-Yg?#n)bSpuTY6>jW( z?ef8tV7Nce@mERdp?L4|meJ4sr|$pM^5BZypsMOM!yH*=?j^OnsodZ-@WCM@aM&$E zlr{F!G3WW5AM;a>Q>H^C`0x1Pm*QK?Xug#naS9p*d*ltTO!V^0^&q9y=#JcrV>@2 z3`0U9Z5B_)0(NeCedygh1Hot)h1}uwKtG!0D5@1GB{F(mTq*pD40FDEZ4Na>0WNu1iPB@NrB=Sx6A6&;Ie~x;lSm z5<82k2qf%c^&I0SkhmtLYrv4aK80`Y4v)mIWrl63JkInJ7z5_EQP->u75+l{VUk7> zU>pSu0HeU4#uT9-l!(0$fHkY&lbUfOynATu;T2SwMSr2Z0=x+elF2JrBwjhk6IQfp zgntzKNp*)ygeUZP?_xB9KP!~ZOsLGiU>mW#H}VIDiFz})We2CzwGhg^|L5Sa(-`jU zF9xF;i4>_gS0%RuRRj+G*ka0W0jK@u`Cu|MfQqyK!H8j2__(9TLO2*}rHXck8xzTRQnuvw`=WH{bg@-D~O1^kimar0~R8~*}z~Jx@$mTDT*U?3* z_zTS$B3C{(|3m8tn~hoZT}FCB?mpONRNF;a9I4246q5{wEiEv%a1^t1E$e9q&NQvbz9 zMl3VzY>tIab=}#)&T!qokdXRk5w|>@Vu{MC1#hOkIMkgg?=NvQz3IJ1%!<*JKq+`l zsdpQOjx8vh0?z6B*Nw1jJu3B)@jkjbU@(Pq_=6fjOt(j`-iAhyIFoF0qz*_Nr}kJ;KLZBBf-wz-}i z1=`}rcny{ws>&VL?1%F@}JhtmM4Y{Yd!r&L{|KSiT3>(j%9?5(}?#JL3Q84P1W#4O=x zRip)E@{}RwcJjC2_G$m#JN2Wa&thisJ*M7*td^o86%|V*(F#@@`p)>_NCL&HMfetnY5A ztm<=T`3h>WGF09Fh(C3L2;K;<^P$l=)XNg~En<&;b=ZaaVz!r)&4%$8?UJm@-0MZs z8O!m4z9d!*6pDJO7#RY%=+u5C*RLH4kiVx{+Z8Cz-^%81IL{p$`h!KEY)~xticJfT z%gk-o9H@QWWT}lxPqu&yL+WlKQPg*WvWlUS~gd7zKD z4A=NzlJR*+dRcfDbFgN$roAM-X&gzk9b;RmKWJ4YE_vZb`$x8K>kL?UWJd;-ooZ%k z^rmZ7^@FY-!~GQDIgn}VxhxB{pThSpK{y776_qPy$Yz{0XZiWUPmt1or3ziVhfi6uJl!K@7jLF41QCBI!;H z_bibkHZT8ucU?tR+;tANO0CdR4mtxOZIl&#JD-|D?Rq|r3+OluFkZknNu5;}Z$6;}`Pjzd0 z7xW&sa27!3S0pbK=IEj2fa5Tak)KXn@e5t2zR+gZR-f`Oe+&~lrBuVS5DRtn#h-@U zD_l(>?kg-f>_nlWllH{qWZCg|O|F=sGQoLxcm9s!3(?dl;=gKRi|(GNUu;9tKRK?> z82M}o2<72})&++R;}QNVueZ^xFXM)(a)QfIgRHE+Kj8K^q$=YkYpX z<(8Ro>lB4+L^jskxf>c8oM3HMq{Eddh|WT77qEjoiT`NSohxJ|Zv5(&182oKoSq>zeF ziw{86W!!#;9ZYNb9Cg!`Uhq!>XQJ$luFzwL$1SAhf^CQ3LJ17U9@k&YH`&EL()uPp zJ!&CEemdcKJu4kamsK##C{=vJK0J>x_AlA-A1X}*9!tBdHFoW%vbPWzsIIrFc|(kR zkVivYPgFzu%s1uQwpFA~O{KW^8bD3fGqeNmF@7e2i16%JhNZV;cFz)vR1D^;I!Hw( zvW2q=sp-G1;4*_+853s>{zA-McJ(kO_#6mC-Afu+GyPybi}QDxP-|N}l3EG8jDql?q>yD7~EzjJ89gH zWQastW`|6+pk4)%;W^A5fJ zFHI?5eMd0ybFtgv&&;o|4GS?{Lhg21>)kQkSp$T&vV1(g-=~y?y=?s?dPc?&2F&(w z*WK~AQN-no*DzAoq27?j)eR5k_PqDz_S^Ev(VQ+erM7Y_87JO46ZhjOf+qCnbV+s! z50EbUyGnv-`6jO-tDW4x1H>=E+Ilg4*+uZ04!iYPpKgG6M!-&6CUMuF2Vi67_}?)< zTXQV-fCHubg!U7BxvmY3$ram>LdYKU9rMsoM@51A@SD-AS*e6?i+?M~UKn#oTTA^$ z{p@ikLIDYIr6K&jcKyau>^*otnfh2sT}ZugCFNvaIely}dYV)$&(=@rWvHlN4!3-vXzB+I#OoO(4*F8l;OGVaXnJk#IG zbq8C*?6!j@p2JOHVsDq9x#uzbRd1$SFaBk=T>3_DNhBnW(i}e7wa)}6jxpfNUaw4f zbxfVjhb&d6;iDfG+5auF-BkZR&1h@b?)d1k7^9g2ynR6G;O)73&3Vasi$k`TRW>FC z8sFTn5`Gbu{?K&9#jKP~7IX6co3tOVzZ?$p!5%>$B|h6$~lBNJetjVU`PcIfsT-iVB7oyd)Gytf>G?E8Q;5%90hBkM&t5(z2sTGVG$FSd(G)v)fI}vUlQc)VZ7!!`yGyErzs6(Po zn(7h8gS0%Ts>hC6DcWw0B1GSIQDR4L$W#OcYH20{FV^?FLT6aYh&Rnv+i>Tlf>V;vxX;;n7_K^zC;JeqDQ~T4{mv&rP@zi% zFnOiTy!XX^VhlNy24{t0i%0$NPwbVd@|XD=;2(kJCCK!#?p=VwrM{G*pKJ82TZ5q7e^84% zHTb?Z!m=c0zRC7!S^|?^P5HncI z9-{?l>leCHx9iu99|S>C(8La^zHl#B%(eolJvtfV2|Xb#KyuH7)Q-q8^!ssgfMCZ? z$W-*2oP&ikCX*SDahJqG0lozFca{%PEcKiWI7q8(=^ypPqpxgJv)8tA!sJb$8XjEh zFqT`C?3M2>e*^#cD%0~(Z+2rJfp-Cq13e;qtQ)7 zggh>U9AQdJv;MMpHH@Sp6??_x{Cuq1W%-W9>V_}uj(9Q(Og%IpT9Et7ugJh9Qi9yN z(_^>ubP!ZvJmC=B+m=x353D?ZTrw=c{}PMad_=SAltLD?;tSzbn)N1!Fh3VaD14JL zZSLoCrAx!ViqSfg>MW>4;a22h)-f*TFDgTSb$!H3w436>OZ9=H1 zjbXoS2T6by;(npXgP6*v2$&U=Ur~=l(bK`xv(d-~--ob5wCjqK;5|ozoQ}y6*gmCh zhV8awG)CdZM^<2B_8%S^IoT|g@m{4{5s?hboTNJ|RHuflrJdx~<%>GkW4qf3^tR{!f>G|jN9Fe8T0^25DF)kMw)3`O2&xQYr^t1o7=H+1)ZACgO7K|<|&xt z_J!MJ*hOpd0fK06!6K(=X#40-0=h<&2w%N?u|!Y=;NpoOwGL_fpkZnQe3b@lY9X-C z>zFWLrzGFOVo{}PYduGl5%!>BMdY1GRI|TeyCX@U z=I(f(V_Z1~2j(WvA|0VO*+yKcXBn+x6}Eo*^%QiS9r;35YEb{Bu#eCk_m=2tY^OQp zzXqfbx%VGfkIt;bTw&URY6BDx2&xq4u)FrCg0B#{Wf7m!JJUHs3*(WukCnr7-3H@+ z>NtmKUl5d&)b_K@O2F-!uvmDduBLh%)|7~Q-JF(j=U50jkA=~g40cX355O!=j^2rs zB=Z|DTl7TzGXE8cAENdqMyQInm&~lcd<}?sNm_e|zoYs2iJw9KQ_tZ!^ManXPOcW3 zyHR~%FUqruLE+xEx`&?}(L2sR>JnN_3Y%Upq_&z=>f309zB%P7SB&itYag&Mj*cdt zRA12A8)3qxB;_)tA59diu}-W;_{<9=&j>8}O`h3%!YeypUN9C&VBpLAcGenZeh*l; z+j1rnwcc>}zPq=4n%$qcyDe00Yoy6k=299c_M~?W2krl*b^UOokvyUj>+*=bG-+*GMvPo$qilX6mlpnYpk5GvK&j=iYxAz_=^xZ&QsntxZ4T~j%G0D3}6zm?-hBHhnD))m6x!04VyxBAM8Qy>w73P(Y zV0ClD{6a=yDjOMwY1!r5T$>*I!iTvi*+2k}%<)*A=zt|Tt-{R7i19YtipP|5rvQ4` z(yRiPHL*%R-mgruY?9kRc>da$$%~#5Klw;{C8_G_q#0Vk}~$DA}2Q=jMc!Kbc7dxD!0Zh`PQEv7g+Y^7LC?fkBvY7yc5x< z7n^=tH->cGgLL%vGo1dpXtLST8$iEyxjSf5c*FnX_?T3HLAkX4`=@*RE~E}fz&ndq zuw&N-i3Afjg4J)rLFp~fzQ-!}7t=;B{^yS>?&Q2I0m`!ANJ6AHvjmz zP&cxe4iG+%`%`-(Qp6h^`O1uTlpeBq)eKdmUvLjWzP|(cAD(AKXb?_B2K&;+P?)k9 zh$O<;bUx4bL_g?o3CPZqpmvKmGjyvbfG1K=9%`Y#tX0R$+bzHGN$$np?OSYt9EGdM z8Gm~xjXr|-NxnWg5=EC0OX;J&a-(@2+z{9Y=KH~_i^A_r^IJixDKSi_m*d&-)=>;* zF?TL~(%#^hu|5!8NmzWhwlLbE&jhOpgNxpp(sYsP3syWX9-0WJ2ru3my;bRrfVgDc z)VI=8LA2}LF+`?-A!<5{aHZM|>>XLy9;oqtf2m*(OPK*O=`nM@*uIS*UeAlSM#;i4 zgc1$ocqs@MBXaCPQwFq9izNJrcLDhHx`coO{8jYsH5bXkz#jcaZ5)Y!T{NBzJFWHm zS8rAy0+_6K2}`Rka9dw7&r0S%V7k-2{rkdlhAz?3ALuE@K8Y(v9#)@Qh8|g}rzsp< z!Firy)_x&5kRM5jaTRD?(v!`56gm_WJfV%H^0n))7SI0{|0wvmyf61=PP{4j^gfle zf5cn3HFn#?qf`}|VZzlXE?hT5RhU=%N-cy;*OO=vA)&m!wAgX~-TcPs2$)?TrJ>M| zpC$zJXhU(08M6Eq0zzO=b$B$B2^p>ff)(JjBx-20IU#fwFE}~eg@of&Ffq{ktwLS{ zNqA+`3V6>NLTda%bp4r5tf8N_ zfu}Hl`I7r*_CGdR7bDGg5gC z^{vH=bGl8BL<23cy}i#J`Jjg8Jp~v=hrlQt3&%#8%fA0M6JC2Do~8b$mtn1DuL75X zU^g`Fdu-P>!_ny9P?~m-U=V)GK?!ag&NSe%Q9<9he6aW~$?KRFNVWQ?A10V*g8mSv z&0*(*r-#+YRnBJ$r^tXx73MbbQw}v1*Z_BzM?EhAxuWG70|~kjGzylHa527_!}zI= zxx_{fpDlyxPHICzwiXWG;7z?R`@8F-C7HFsBIBqX^k-m9?1I@n63d2~5r+$I-vjC} zRUfglU1`w@1*2aVKv5-H-|U2pgV8AFNZRL)!cRS}QBG*2>4v^M$E?6g&CBF?ACM@Z zzGj$fV#6vNG6N2^o@kO~nZRn|h?N&(*)jqNp|7?Zz=jQByF)`ZxQSG^8wE+06AivJ z#zpq%&%?+Fj$0>GYvmPA!u}npj$NbX39oI^Oh*`wmynDMNR>%%GL?|WOrPj8VJe*1 zX$uP%Ag_>nVU&lguEzhN-ulu%lX|%1InImfLX0h;!P1^@6O^=Z37W58)Jc%{%fxJL zu$iIwh;nN>^!2p?+gu+hJGGW1ysL$Y6B6_-CNdp8AWr!Q(>8h4(GrZr*__J--g9pY z_JRw1-gVf$G_lIC#NFId*=ueqBtmwkzv zBYW4}AJ%Ycy%a$kR#(Ap!#^J%HjN!pU`zIE;j1ZafO>EcHbZP$>ma2F&PLw9PDfk? z@Si2V!ms8JGaHlEt2LKYzFA#(3{MQF$jlDM7q4f-w&Nl9-Y(lsRTfSum;<8fNbF{l zoqQ4!rL}u1iYv^LNX`RaVjm`+r}oX)ofh<6eA+#4!Y%4v>K?2zo?(U?BNitUu`rnF z4fnUTK&TTOJCuGXb?gAuq$3M2Q*5YXKdrt^1kr4Mw4(ECffUT3U)_-SncR^8%$z{F zwn*E496N-SD;v|E-;AY)W$-Dre4h!HM@*kVx{Ep~vsb%gKSp0UUD>sMbA1LQ;vOYp zo2J|&^bdWB?|nJ58IA2$i=?m$2-CO{>bvbrK+0dy?xTOOROwNxfvH~P+;<{njWtJa z)bRfILFg~>kI@gU`p|?6rL5h2$3F7zv#-ad|01ox_i=l}<)UHox)pYxC-M;{T=4$(Pi>ivFY0Q2TH_3I@%G_gJ#tdvMRQ*}(w?3Or2Chye zU1p}pX+d1;B&N^zuXB3#KykYGgV?K4yPhoO8Nx)uVg=}3c#6CCDsX##zr%1|62r3O zfMno%)V&dDKIZyBy|RMzpS~A$?y(kr%o^S>%)*2?ayAs~qZqaA(H8rUc@7tSdpGUa z^P&*SC5k?57`=ur#24S)w&1qW1m0Ho^Wf;0FIP3FrQSn+krFrJ|FRsUj`xsK*B6gAR}!zlmtu?f{vrG>_U@>?n5a3K9s9AF0C3uI)}YOa*(-P} zXHl|`@o^SkAXTA$z2zB26@n%OMRvGYC%(!$nC2ZaQ5xSvek%E9BY9*A>CBFkQSfXQ4YgFTFcNQih(wWIJw5`GNU^`h1%m?-7eV`6dO(uqX|QI^SH=O76PSu z+(hNffa!b`XkRaaGf7$(PD1GgLVn8_BLqQ*XuR6zk{5}S)PF=Ge#^p$yBET{k%mYeK1H?K*!VrHS^|$hw+Z4#WM^RizQ%K? z{KcaFH%RocE3LmQ1ePBu6WNPw2u`T+#6qA`Rc7WLA+8dag2|ER%)ET5li4qlBYsKX z^!JX&%|M;lqDP~W0Z4sY20oDik3eeb{*^;_q0eU}2f4aBn?@m7;kltAlCqx&(f6ID zK_c7H{9tq6@Y#OVQ(bQUT~|jvs!8&QNRpfqUHIoX$%&Blj4HVZz+DZnD9=4tMau=w4?MO0ZY z5b2x*my_S~HDzW?u?U1t4-iIZ>Xe!1R!;a$l7eI$mu%lYD3XI}q{epA(osespoZtE zq14IRNQ#6d`<#CI6fz339)UW=U2D}Z!ySMOYETK=vK)f8=CxXKp87&Excs)*AUo{0bxJZikMw`ZZ&pprq{x< z{ONT&Z0F(=jgT?hJGhMjz)iRKj9@Cf8Rt%1_4tHWJ^!nl^u&m+%hjySI;8r%8Ar`att(52p2ou;vU_334l%5n$$c~_-ICD+gbO%zQ$uck?KKoo`ozv%3C%?+d8LVUzb;Oy&lyh^bQg)G&u(W+m1Z8^E1x+((rk*t~}Q^wxjUtI{;9nc@G?dT=znptLxvXBTalH(fHTd zM_aU%8SIUz`T2t!=G#d%%ux6!5wH)P@_rz8ub?~@Y_IU<@t6e=vh*GJ4!JiMF}a+e z?Jxl+Y`IL)wCPFff0>$TH{EFeqMjrF>Da6({gWl!D{bVJ^Vf$$+b8y#5bHN$?y|%0 z+iAd@)hY*2s8GIXk+*rNx6qpNu!a_NkuVW>|$VxXs98X@D8FmgDIp>PKN|j z!Ge;|K|wJm6-m+Uq2csZv3@MXIFYQVjAk08FR@jDTPjQ`59J?*daSo~9JR%nQtI3~ zQ}px}mgmh#WuH-`saN8bYt~FDtfq0(ngteNen!75MIB!jMIS@TFFPJE**MWu1ttoS!8kyq23yx-qp{lkwfhz zufaM7sxcgkP`>sj;1fP;rIs{VB@Z2pojVbg0^s7|{QqN$2B~`SYb+?C+s~N(8`R0!(8b9aN#U;RK6{L(>hLjPi>Dtvj|fH{8dlQQdpaWyr*9U{ z_ax6ddkFWRT?v2EeBUcL!3sWl47mIq@z#1g z9yPpi^!qhBdR&%Y{bQdfI&UkChU2znqdSNBrtRX9x?YztL|f5#^O>zDGQ3N$dq}CZ zp4b$Bv_?20{MbaAyz`8uYsB=NS&V7PW=*l6<7i>zR+-zW`c+)N`ru9{S|dZ~O!9pF z^QaNSnECa{L2%BQlQEr51vtY$fhZP*97Dl{myJlmNI}ynR20wIHoH^)WV9OTS$^c`B$QhfdCUl6(8{}F$psQgLWx5iOf8o)QtrC z9|AEK=j!T&f)I49R3LT6UPY%Fw4kBS z1*43ztL30sGur`tkLRDR&3BpaHsI3?Ucb;?BPeU#;A+7a3km65&>#>M19!^EFV@%- z-E;aWrPth$(h01VDVzAsXjC%En>&J_jzyKv^11Tapqm3RS34c})Eg5!rKLLJRfukg z$q(XGR?mkrT-o`dM}Wgd7b7;_GdGv3Ikc2%z7>q;>R^R$mV~xqtYNC!9z_PGh-F1iZWLmTr(i z#~mR34#~kh_TWK6;!Ivbt68v$KMvr_CCLqUZlesqwqYn?@Ps*3q*@Ddr#K>V$`CT= zGKvHn2|hck{$?G%-ns8?5k)6hyV}j$h#?PLTwcCBee58V?P5u81B*jGCI4?E z^ZX~0Ia&Tk9nv6WGpa}gCG^TKswdkVXHIx+Qw#KiDawgqQ8~$o?s~V* z*%H-MergiXD4TFjCXN!{R%cFJo5`R?ja_&Acq52|=7RBJFjiA)e zw`L+>No$l#xX1GOWNWy!O;@0EHWlIP6B9Sy7ryt@rf})~cN%=% zo_vH0u-IKcAU>zH2~U1)*?2wFJMR1#$lban-{jpIy_q*K5N0L1aHpVF)@5(H}30P=R%0!7&Fw$*(cGN@kE(l7ANYXj=GM0#iVloB}&WZ@-=rCCeQDxel zFJ;3wD{=Kp(X?{7>9JoJqAtjAi3ggpu432{aB&=7=`LpxbY#KjVZk#t;zY%W5=3TM zfn&jwJ4*@BIwW}om4JEVL=0qswYUa7QP&yJOqWhb&>&Mux~0PCD0SP6f?{1;SOuBQ zI!rQixS$Dv8gteGC=~w^v2`ZM+sgn7PJicTH zUnuBWm~a0vxm`z8Ft>C%eOX$yYU>z@DiZYYBavw`VE5VkJW`GCr}C>AO@A>-KTSV< z7W~w4t*JTn_hvYLDY7Bj{tjOuVWX7s>W%-4WZGPFvvl=4F!8|=@h*g7a%*WN_~(*} zD9N2?jreSZd0BV)-ty);O;bSCVDx72yRC3E3lBkCPDq=@j|+~aST{GIrC&%tH+Tj6 zw+oEzw!aVYYr}rUvmSpgQ~HT?_C#9MQX+e!h*%NFC!X5%dcgjuLqtDMv{&#=2n4`Yfu%L)r z_Gm^TiI~I(MrDa@#ovlG{#L7mHg;&2S20hA8s@l^I%j?tp zmINcP%~8N7$hU7qreBePk&K^11#tfFe=p^CToDV3OUCyqb^Ttk#<1Y(@9ACjzYy z10&d38492i;YHm>83$7j;*xOsrXG^gFPQd(y-FD+so&4M1QmhX=a;c*V3e4mbmCG> z>X(U+*Po`rHt1#1H?8wo+P!|uc+iYE~orHnEh^h5l6$fi>v3`QUu zid`YsIhCYnF)fgra$SK5lg3A)S{FkT6lF;W&GqIV!Q9Y2JeP z&Qe>rZP?l(0`(O`ykKk`$%!R+0Hqt0c{mCVEiG^HX4XT)PgDAeg8JA!f`5-L8#99t zUn;hOGDv|b=H_ZOd=E(oGh^(Nie?o`SkmH!>n!9P;LhgT*~xJA(0xKoz6@ajTW%wgff_d$RwQ1n$IKrWH#6H z)vIHtrLgl}*@&Vd`*W}X4$VR2&Ma-`aoT=ns`j?-ix-sd2OJlE@TlTqI}WSoPjd*a9Luk%mDs~xKR9e(DWBjg0r!6 zBIwjZKjr?6D4rcXm;Ah^|XouC%`uy`ywAReZHcr_v`FX1@ z!J0W758OIGjT}^h-!Jeo5%}}1=Cf;kQWN6h#27*&kDB$6rp8Atf?23B9gPyF;R}jG z4#n?u6jsn?=DAwR&fi&^UJM=7T)SUVo7kQwCi9-<_UwPCOZs?tSX1dfmJ(A)JGIw) z0?8gim8x%`$q{z?|25XS1U|X7f-ZTg6dO7=#`QK9Zocun)Eg9nB{!b(KP^BxzjBV` zqH1x@OdFTa@$Xi*hsRZA zT3%ZtY^B_tu2E1wAG*_n+yabX+*0BT%*bhzCFQ9Mq-wJzrqE)D@;I?S>c404C>I68 zgXXI3z8%Lh{pA414Htj3vuwvb`|Ca&(DEMh);O0adV;Oks~cKV!&##y`;cH;Nzoy+ z0cOR&Xv%XOB?f-mGCsjytHnjm;MHe%K~ry47g7E*+?cRFf8=FbnO!_Msv3I3 zzY^=VKaA2easM38uARzuz8FD|&})Wv*8g>ifBAo$A_f(EhX8}L*!WqI01BbqnJx2Q zfBYv0`|<}m5JG~|eT(U`QED}$u=YJdrpji(c)j#5G)YWaF_@^p(#3T+e9U+TX-+w%s295T@N85#f3K^Tqno+t zvop2r=0o@&1P(Fww=l=#$FVDE5$vr+;3F_1H{IO&rY0*pccq&F$gr;nc)|7P*)O_g z64hIudof&Klp3k)sjaCg^KG6LEZ_J^jZ-xH)>_DZ-1n{(;7Hw*gBwpr%A9;qUItQW zGo(g+ z`zr|)0uLki<-gZi|KpIS8Ztn)H7LbSZgGytlx?jqD+CAm^~$EOGaQNH+G6YHWEX^_ zTXk_AiZ9Nvb<+&|IHIC87ec|H=r^?CKFCJ=f86*LRH9CWFR^hjqObS!zP(%N12f4< z)}N7szNHr1T;{GIaqqJBOn9VQj&9Y=$;0(Y-9ZfGApKT1uK4%Z-NC1pNNr zSB#&oGkoqE3I~cP9%vB#$`sHI`1Oh9=Z9wJ?sisXn(CK3@cVTjZXj*+D@!`S}gjO4G62f)VhKNLfQ1O=Nx7KE^?4@^Gyn56iAMN$^D34s;O zqm+L8xL;;rQe1H^W4(F%VMJ7QqP5%7X(^mthh|`AmJX?XAi<;;PA$<|UqdHMTP28# z?p&v1k%I7dmdAHY=yEOF!{tEYF4ZFxYd`M7 zJR@-2^1GS`d@D_)WIiPjaBV8Iw^qsWk%HQ5v?1hY?3z{1=>p)tagNl{Ri07Ff;{`F9>v`I!rqi!ZG zF#`u?U;Cw>Xy<2bXNdhveLYG}P+aNn>o%<4=VMR$)o+H!+}qCMk11y*vGMbBGYm;5 zQd*rz03MB9Gai0Yo?DjOzp#p@TBHQsjZGzAqFbNf$Ff!!v%yJwjXUw&pc$KWNU|%V ztGmWWg)@2ll%6_yapGp>vKfM8eP!U<7tbRCbY!xm)Uk+`oS%~4;q57s2z|r{vW!7# zT(LeQ#@p1yy-aEZsV?WV}kZ4AZ}5b^5-3DW?IVKorK@Fqbvln%%sc$ zrAe04BKeb2^GsY?naCGNB2XgJdpU4+mwOd2dWDx6Ou0c@Hql5OolM%Qd(liCdiF-N z#_@%@XVd$mlykFp-+5~_O(Y#b3U+cm;>@;zVvl6)I)ghjY;Sz*1M%^Zi7s=m2EvAS zpaI!jc+5XdF#SDxuN=o3{GO;ek5AN3bhD61jrq{JT~kO=NR)`dka9ZRA)PpB`FC%k zaKdM?GF=$m9wyc>lVsx_`LM?D6AiF_Q8h=S<%)-|)9~v0o9&fPTwu)9>cjT>oJI^vnTU zc!zSYKVDT|p~0n)wAps*f{O-ip`*py#ed3{M5(4$`nwWbw9VJ|*Z*`m*gB|jQp%R% zqvX};>9@SNURNj=rfzBK444lsGn}-tIXyo=n6|@EdRHlHdFlA5SGY6B>X_@d29|}r zue0di;ovWqu$rBA!&1*4yZ!#YKek@2P@W6ww>7G-yBmeF@+}iIX_ERF zolMm&KWb&aiQPU{!za7?ZjUHDDK+y7Z)dywu#*`tD4a`r6SoLlH^>4n>I1C_5D#26 z?_L?*#sY^HB?&Iwa>Uyo?`F=10)$JEq-N_f`biv>Z#NAGQkiey{@68uFxNmyS3B5X1$g%Hm z+dAL>u6yYX$`f(3BjOgwY!;LUhIAKJ8G{m600h6>Afij{ zonMD6hlZL63>wQ>DLS<2sA`Gi7N5$g`;ALPa=aCY?)KlDqYJiHRmTmy(aep z2%>mQZ6HvQz$dYv6PgPS)U0RB?j=?LwYBq*E{;;hDVWC!82K~AO+5u4nhnke3!M;7 zuR|ab`Y<0}dcxwSG4fy;FxYpG%x$dDT>_`eABoGK8P!XU8 zd0#};ZbS1pSWNERva7@!5nG?|*x`jV42>^2EkYo(=7K{|!q$xdP{m1bOgFUB;5-SR z$n<(EVhuU4NfP=2&hX?|okQmbO>X+JwGne)RUCgcqW@#0%BDP1hTm-19k(?EDL@r z*f!sb_t=$IZOV6{iv8Q)rdiIyUad!~3Dti1$edPBni~RulAXSqe@9WvTj>l>n#}Z{ zF@u`J2kijDd-^vJ*$6J~32z^lSvUhKkm?F#;D+xA>Z=3qx<+| z=+vdE=7;f^!5&};lX(N?WgN$;o0H^JyvEQ+*K(u1SnqA8=Z7a#q$Mv`2r=~sY|1hD zK$}xur4JVfibLOU0#O{bQc^||GW(~iZ;l6nc5R#S=C%RLFDY-j?9nv9x%i3kL6jU zChqCQX7!V&>~2(!zdnoznJcT@+Jv25NMQkk6)xDo*#twTIoMIXj1I0va+;oK8|bKX zzQ3q#u7vZl8YxjIy7l#=XOOAWoP=vXEYBfmQrE{vP3ZMrv7>wx=NtL+Dm%CT> zhrbk%j$;a6)btmR>w=Tim~NuCMG*=-F}*%qRI$hfeO^=FS#z|+WC^|w{AEuK#*64* z`)_+kai423%b7kLoLD55K%hlMfaIaVGE+>=u}_f_ZXZk;(^+7*@eu5DVY`X%_m73i zPa2|>j&=Fb`s}+D&MEcbuVe{^8_=H`Ah@Ic#?}KJvgLj+R>aEHGP~k+W48Z%TRH*>w*Ahz zR6c9;3j}YHPiwtePC$q+JP&h!m~&t@lp01F2DGYC9OHXB?gQ zZPR340;rha)6&;2roCg!gcOc<0F8Ff$ct>we6nWY!xmD^SWoQuHSfZAcCf(Mi2GvV zCsq2~;KRJkvf?2yyek{UA8JMHMmXtL<+w@j`nT5%NI8 z203ia(-)f#nr)1)mxuN#T3vuXVKf?o(&#!S^)d^>%J1YNT(m-q#ZRv4)cYu|+G#B5 z6zjHP11vb{4mB%kGgp@v*Xp*K(jyE=+KktSXSwf^peZbGC7r{g!l!dYOdBotb$wU# z;Z7XAep=r@kQ&qQ72!AqAhHrz0x4?a!Q8)5{O}DPRkAmHG6}u*G@k`V4zrqKx}GxH z<|-+2wkh}u-WAuxRT=X<0^epguv%q}ZHGI8F|!)x3Xd8YpR2N5)34^s_QWRMn+Qf^ z-2SO0bZ)eGo$`A^Or0X~dR-k^sWA>8L#{j&_Ch$aq=;1nK8IEaHdNL1J;wW)(uAe^xk6Qg)ZKfn#!k?>DDCW?V&0;=9& zG4emvh}$8i=6g(=^uI80`Z7lYqG7vc{HmS_I&Nw@6o+3wS za{CXmRjHLLw)GGrPE<1g%cLk`o`gure3Fr+yAG7rhB-3?_CKcr2Ck*7aXJjEXZ`1p z=zoBo+o_i5tAIV}Du0+5iyriF2QNRLojC5WOG$LZTm&tBkU`~4a;Sb5JuO-h4w&Mq z>QrUOpb>!B|9vMWxY6}5In*qUU8=;l{Nm4^k0q%&HN`rpS(H)7#b+aGIvMxH1hizz z)QtGyPHO~LX{dBZh6h!}4O2Uj=B%G-h_`UkWf99 z5Ffcuk4P6vE^^GbhG1(bV#g$R4XTTYaXTbBs=Qp}LG;jCt@I=2<>FFH=|6hfb9LI> zerP~<`8__lvM$c+HI}kq;;$duB%T@vm%rxJb7`yvefWgCWjyxrI~b`B+RD=A(E+JJ zkf^2&3L;IJn}ir}qZrOC2}ceD%QnGhk?0Cln^Q^u&IFXI#J1~(26<1-(+w{j&b(8J zw63Zz;jDe|tsTEd>NzyWaObQE;q`-^%3F;e`YeJ@4)cU8TO3D!+6%aK6f5`?Fp&fH z{S8gLL5cMwl7?nam-w+&LF8!+@ezu2ytipP7jo05ZFb(3p%ub{U@wO;TzP(A+qZT) zXQ2)p@uizm9u32W3@De*U<2cHgmdGCaSFP4k4F_H$Lorm&COJt-7;}s)YaYi9CcQC zbrI()^k#lIA|4!W8%Gyzq)SoJs3BJ!9PLnLUhLNm44xfmRXU6ltI@XHouzeyh(b6>jd_hHH zv;Fo>ahk*Xe_;^O$RgvRVF_1Y5_aqbgr7>X*0}YhpKakS+xj!h^7goUE7<|Es z3dZ$c;BD>0^6S<38+|{cK>q`_q|<|fGJQ1ouihCi5C|sF~!NJr!bS7#otLQ!N&#fFSqx}{)m*XAj(S^AIPfzoF&vD@vEw?>=cBdQedjPswBX5DcOShG-_vR zXOcjAMTAUYu!ulYW-s6w4pc-KKsF(I?DQT2Naa@qSD55Q>Iqg55=Q7-u(hi-IG4X# z3srRomab-tp0fPCZwhaFa$_z>weBIhhq`la!#g`%);f=BodmNjYOjL_XC0$nVGmXW zdK-la;!4pG#vXlq7#xNCf?yv7{FusgcJA|$ap$lN@=1TwC9kiAxUIEaHQ!WG;@s;4 zuu?4)0v_ONoFg$x3P|Qn_EKkT-WKzjOcnFLUW2##|LP4_@+9mQ*_#o?oo%^tY~X;?Zj?b>68RW)FBI5N%hIIV3ryCX?#uB_>DO z9#$(bX`0atE3cL(B~>~@X_e4pn++l(UU*RVunW83_T^JsHHyoQpNz>GLVzO z=DWx-YBKo2oV28|>Sj)qlUhPn%mw+1QWH^QyVh0tP8!OKWb!gpgD&zzi>Wq!etj7~ z>Lky_#WYjKt!>A2hdLCnyh$=C;Gc_c82&Ap26fU&*pex(OKvnmbLx+_s3-c3 zLIuzFQB_yAgQA`@Mf&Nk=*Z*_#igu9T|;yx&^Usd#)uB?qh`m2Ns|MGs4P%)MWBKu zdr&Te!8%9`@lY*_p2htr=aUE`#ypMpqSQ^z5Sdx#)|Y{Q5?0z#e@ca5bE;wZS>cQ| z%{c~7Fcj&}&uB}E1Mv83D5|?T{dKF@U8a9El(`_y+d@#O%;7qw%*=99Aa$ftZf-kB zerGjil2V&m8T6x)syPBNh;c1D-w>l%yrfWX;i5|OBW5OG3iD7Ua4;Z#S)*{cK(Kpj zhbK1Tq$du(#SoB>kF_f+gHy%e-OQHF9M@Ct!>Ni;kV6{4tCo^r`bxo->59spLeVah zm|KOZGkmN68-xKe@vS}xlEe~Tgm(fre{Vl%U~-kih3k+08Gb83nucIb$UqjmBdGWd zwKJ52#ep{_-;l~M5Ht=Zl-5?vTp^ARGQA+^TXlGFWK*Gh&=Ns+;_f)EQOeD0OrTR!2(>kvfW`!O0g+%T)-IcPrtXq|QP z6vBq`N4na@A+A&2?Aw_$Nt} zI1@)v_X6U%&IbtkgNia9spVz{-x#ndU=Y5xB|qKL_^K`d1ZU;^_tLIqUlxOY+c%&5egV zo+vD^g#;!MtdV%@=`*4IYv8<$!-Wy|;u*A-JH}PKpr@t%Cuv2SXLAAK1y$4cU~AW-=heN zM$WP~f!rgsgM)~x=fHDC>-+4ncjvABM(t?u?){Ps@$jzEOI>W}<)!^utv>xkcX!v5ieNh) z@}+X`;W8XkcpTI7pJJEHZI!gMqeI-B_i@bMQDJ-=zb_2BG+n3i7okx(qbfVK?sr~F zV^%+b+ZX2-Ly6QRYBKRKr;wVwJs5QBGB^r*J{-h36p5M+6I|j^h!a01VU{$Gj-Fkms=XWX} z8M&^1qGmr`@kV}zpbstSDtFlgqag&FSmu*3X$1udRDY`}p%f7PEeqeG0xMU}(+)~k zW#%vu2~5hYWGBzJT5cjUV`pKIe}JfF>n4z8Vpx8tNU5B$N7)7MRgBYMm4VB;^&$Wh z_CLPe{Bt-=;e4=h+Ph<;b_Z9~l-o{8dCEv>_5_WrxZ(!Qox;ug<5{f%24+)9_ zu;@f5u;^5$lnb!v1T5mB=6gcnh**uw!LBcjAuC0?S5L^Z*+U>jySN^Z}?`4;tkZAzV7fztv<&DL#HN?fx5lH!j#UNmTBnJ}BsO@W} z9S|dK+{Ma3|H0VbFy+sv-K8Hie1>SGL+)>?J!z`FU|3O*7M6aH!6-1^n~+X?JCb~| ztKbk5lz&^=`eT~=`exthaXvg}(Ef2qSd46}3|5r^<=l|oZ!-+bO$xGb35%E-*M+qUxyEG<-YShn{Bw?@K^$`cR349 zdu0~N&CWGA@9N??qkCTQJzYJDcDCq|JWAaT6=lsb91^FGSeet6NCA6WYd2%-wQZPB z`<1o;^wbYD)bFv!y8ZjN^9JnE)V6?ezLVQx60gHK+^%XyeZt*z*MF(kui-RToM%yzKx zZRunm>RO9{?Yuy-KpNIXcP|tr#_6P_ttA7dmGi$4wTQJK= z=m~Hbo13$lSa6$jahtR7nwXdv^O*2haB`cOv+;14vs(!LUt6TRVSGA=x;DXI{R-duU*Ql~!nsmT81dPPe#qiwJ-Y^c={TUC>JI2WT( zp`{ExA6H#q_GdAT!DaX7e!-3rc=VfQu6>?7&VAnUxyco*i>R0CQzzEy@Q4`tsE#_-$>vz$YpQd%mnTa^DPCOZ9rS&-B zHyHtuJP_e~ECg}njudeNvpi6vCTMYkHyJVLj%1}f6!OF48DVNE67DC23c#=u4`P`q zpT!PBc4Q_GyyZSYb`=G!+;n!hAP;e)BPi35WE)QUj;eks1-s$2&Xggi(%KhNksNU& z+n{zoVT)Ilr2o@ib9N;KgLboe?a=SVL!tmlbd#R^S-jkGmv+J;DM zOrB;0Z$GN(8>4iMcG;KXiCep)!7!@d6}Ef>rMb)072d2JUebm?ZGxLS_}T`2%R;No}dR0{1tZb=8xp~3& zN`Epwzp5}EkC796{#-V7Df=;WLSQm&==z}ik6Y)M#piNqRc*YNEywiYIlbOc?x#K4 zj2vwh`)7f~BPvcPE1Rs>al{+6jc5bK|5+x<#nsr^)$^;~B^);k8wW2OC8ea26x{y< D>eje% diff --git a/main.tex b/main.tex index 1a22977..528bb80 100644 --- a/main.tex +++ b/main.tex @@ -136,7 +136,7 @@ For the $\Omega(\log n)$ lowerbound consider an \uscut{} instance on some 3-regu For the upperbound it suffices to show there exists a cut of ratio $O(f\log n)$. \cite{leighton_multicommodity_1999} gave an algorithmic proof based on \metric{}. This can also be proven using metric embedding results. We can solve \metric{} in polynomial time and get a metric on $V$. Then there is an embedding of $V$ into $\R^d$ with $\ell_1$ metric such that the distortion is $O(\log n)$. -Since $\ell_1$ metric is in the cut cone, our metric on $\R^d$ is a conic combination of cut metrics, which implies\footnote{This requires some work. See \url{https://courses.grainger.illinois.edu/cs598csc/fa2024/Notes/lec-sparsest-cut.pdf}} that there is a cut in the conic combination with value at most $O(\log n)\opt(\metric{})$. +Since $\ell_1$ metric is in the cut cone, our metric on $\R^d$ is a conic combination of cut metrics, which implies\footnote{for details see Thm11 in \url{https://courses.grainger.illinois.edu/cs598csc/fa2024/Notes/lec-sparsest-cut.pdf}} that there is a cut in the conic combination with value at most $O(\log n)\opt(\metric{})$. To find such a cut it suffices to compute a conic combination of cut metrics which is exactly our $\ell_1$ metric in $\R^d$. One way to do this is test $(n-1)d$ cuts by observing the followings, \begin{enumerate} \item Every coordinate of $\R^d$ corresponds to a line metric; @@ -150,7 +150,7 @@ The gap can be improved to $\log k$ through a stronger metric embedding theorem I believe the later method is more general and works for \nonuscut{}, while the former method is limited to \uscut{}. However, the proof in \cite{leighton_multicommodity_1999} may have connections with the proof of Bourgain's thm? Why does their method fail to work on \nonuscut{}? \end{remark} -\subsection{SDP \texorpdfstring{$O(\sqrt{\log n})$}{O(√log n)} - \uscut{}} +\subsection{SDP \texorpdfstring{$O(\sqrt{\log n})$}{} - \uscut{}} This $O(\sqrt{\log n})$ approximation via SDP is developed in \cite{arora_expander_2004}. This is also described in \cite[section 15.4]{Williamson_Shmoys_2011}. \begin{equation*} @@ -197,17 +197,21 @@ The Lasserre relaxation of SDP automatically satisfies 1 and 2. But I believe th 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. \end{remark} -\subsection{SDP \texorpdfstring{$O(\sqrt{\log n}\log \log n)$}{O(√log n log log n)}-\nonuscut} +\subsection{SDP \texorpdfstring{$O(\sqrt{\log n}\log \log n)$}{} - \nonuscut} Arora, Lee and Naor \cite{arora_euclidean_2005,arora_frechet_2007} proved that there is an embedding from $\ell_2^2$ to $\ell_1$ with distortion $O(\sqrt{\log n}\log \log n)$. This implies an approximation for \nonuscut{} with the same ratio. -\section{Nealy uniform \scut{}} -What is the best approximation ratio for \uscut{} instances where almost all demands are uniform. +\section{What problem can I work on?} + +\subsection{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. +\cite{chawla_composition_2023} is a recent result on getting approximate $(k,c)$-outlier embeddings. + +This is not a interesting problem since if arbitary demand is allowed on the non-uniform vertices the approximation can be also arbitary. If only constant demand is allowed, then for any constant $k$ we can obtain the same approximation as \uscut{} by ignoring the non-uniform part. This problem does not have much to do with outlier embeddings. \bibliographystyle{alpha} \bibliography{ref}