From 9a38a023f46d238bc1d347e8dfca2072801f7267 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Mon, 2 Jun 2025 12:10:17 +0800 Subject: [PATCH] reading non uniform scut --- main.pdf | Bin 70597 -> 71096 bytes main.tex | 8 +++++++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index 669eb886949d7aa014cb017ac70766157ec50576..c8287e67f9b659bbbd232d692f8c2c3305967999 100644 GIT binary patch delta 27377 zcmYh>Q*$l=(kN*H*?k1e_(a3r+TCeti1}X z-c1^qBLSHlz{<(S&ky6`>TG6Y2jjW9qAL|=!h^p1MEeM7%!{a8fgu?HRz>L@rdiBV zAE4ij4#@lC*(>j?qIV}nZz-8=^Ysq5m*IPLekWP*ZTv18tfk%B^)}W z1Wn7Pa4)_J85BOt?R!g=t#qG_vdif|@9*19m@o7l^_{;F_>kK zk= z18><2K=js_kI}Uek~X^SJ6%-@-caDG+aQ_s}JU6B4>b`sb3VOsEASjLk&+qj@A zOxQzsEWYHHQ2NI;h*5cvfO@_SykZmf=sO?uOBCHBlBSogvRy^>fmRe@@iAi!P34L0w}(LNez2zF(M(7Zp>4L=K!0 zdLv`6S~NF=AbH8aeW9d2=6kfvnrXk(tsog=GA?m$n^;9h%2H5|+j)oKob!Y#qwX{e z;DCbRyjbHb%NWcPt{<+hB$#nZRDk4O0N>Y#1iZgHn)g}l??Gu28LJOxm5rqxBy`YyO=e{zmvH=ggydMFlU5c9xz_a5KJMed#ODmSZcI~MjRENj`|37TJ?zN6Z4*T=%xvqPMBP3{K|T})#R%>WPIHeY@; z+}KeUCE$#{gV@U>06ugd zS#il0vC6#o@r zA+1#+1o~u4Vkq7&c_)!oVSG*XZ2sK@^u>UiPJ zLctVNJ^SueAr9m;z=~Eksho3p@mCZyW0a&@)NgGF2(zY+yLvF@hW?5vKL9Y5O|A-; z(GQn}t*9=Kz6#%4lT}&B3*x|v6b^F|Obb_^kxB0mAug`43MSs|*~MxPA%>NArtT47 zxoGlBeyoy8##_g4Y<4~j04q-wNHb_vJ@W4F0|`CYCIn|6z_0a>!GhrD81ENdkTej6 z#JKjFn1s??0^1n<(6t%@-sA~k-Lc1m?*eT=7N4lUrqR5&H!-wFjc&g_=OU{johfhJ>H2;VZq0iOJ{xruWlYL1 zip%$mwf-|Zn%477MDXmQ1g44Y3r|K1WV45e>4^w?q9sw2@hZ6RS{;Hw&F2%4$;07VEkT0cD-c(b78(c47 ze`?OgGN7j%)i6A1D_5%6E0SEf!Zg=oxzHa7fH5rat2MG?SS5T`Ik;+3ZO>c>iSL+g zZ~o&bH?f%~YiXS~zYYAiNg1m92o{CTB0%42$TC*y{T*}^aPH4;^6dpPdRswH5npyC zrvwS*y@*i1hLgz1m1S(8a%nYyIHv|T=nYA+da?dv9H-EdhSo+LIvP|!5I_|I9EUKG z8QDRV5_UU+WmmhnZ|TpfabyV{Q-U_5jW8*cgh4!9Ccz>Pi~j6LhNRwqI?+Vh(qZ6S zthQZDR4i`*NNMY$c3_k%>6o`HLk6d$= zpW%EdK}lEFgkot>U|6e?8)^IZv0i5NZrdF~VkhRO<@N6K^PHFR_iuBLuw1L*UIiZR zUq>&wJFLvBrf5N-=-O)EzM?8-%eE)$hg4_u0qsf>Kypw@(IYa947+SO-Izr^m1AcM z_mUzZ>8S{W!iH@di^fi9N)?n8W2jKC z(2~qXA^{eHgS1xDQW38-X$wCH3!bbbtYEk`hNc@wC$!?+9<0Nb&81sN2>8x%ohD99|?Noj>s4CeZ=gPB+x3~>F`IRv4GcA`tB#7@V+n4Y#D zHD-~TY*F|q2y9#`2>T`>jcSsdQd4?4>(=RWW3%p&XS*2lDNiJmn#)shw~e}}x9)^) zdlR%u36YJwCRN3VBMIqbb^(s92q}GWM@fG_Kou;pkNfnldZjq-L+uuVN$%fQRr2GeO2TWV3#uIg$+IS(t zYxoBA7h!hKj-cS_A*hM=3ENNmAa#=WvglptcKm|{P>z~0&ox3o8)?Xu80f`pDk0~h zA4{IBqIc6}_i}tN~QS9VO@GhCy{FoXM zpIHa1=|*4VevM>?GB&h+z{GC>Fy8?WvQbaEwHAY1c}GiB$I%-jN$mLG+R+-{CW0OJ z1xbA%k1^ewgpbBCc-%i69VKU$vSdYnQ{h3s@;Gy8SCCL})l8PQjNq+HiSsc2+d85{MHRK2-4?1oIhqe$Xo`y%Pk z?#&|MsyUUkhc_tAgRmGJL}lmsP(@Or${5k8B|2%Gv~FN#VH-4|;jV6HK&&kD80ZEO z9G%BeUxDC>Ux1G4sbX;k)FrB0yqfx2fi5a$sLp-_H|gE4Gxb7Jd5%v5okIY*Hu2p< zZNyn)>;$6H?O|-_MjjfJ%7A#dS9n6XZakP{F6@}ZD}&ct((K^dO0X=wP#ytPz%) zswy|B_{gqYkWuZ$fXBq|9veMtXZ#A87Xq)N(9oumMD1%Mh{4flv}>piJl9%1e6G#q zWiRCVOkzOSXi5a0iO_`7sv;g)FeSO4YX|Yx2{@zZrWy`G8!2;Q`$3CR(=R_fiEV&n{XNvmL-raN!>oT1(l*<7re>n#;a5FA!?(M;e;F_YrCG#T3WlXZ;48rYaUEEwKQR{lF;-vWRSIci;5#~#&_YC?nS~ z;CbZ08NktPY7YnPE#%kwctfSu;u6*j>Cke$(Sq-s#cUC=?v`VlD`=qHB#9#$Ncs|U zUhiJlD=b%ldxs=yS`%^_?efSsN*|sqEV*5TkMF>L-h2Y(%GdEoWHH zdfOBO);vWV0PhOw`rnEsOSdmLxb(~`>+Vf4o22YwK%;*hlzPUy{a>XcINB^B&AgL; z#5OL`#~SleS^xN46+kZ6gr8pR-m1|* z@x!JMrqyTG_3x1AJ(Yj8YUCOJfrO(_QnA$lY*KD+ZIeWu#+?S|S#|!hNNcJ}iku63 z<10e~cd~U!#Krk!GMo}Fkc#N`JPZ+3E_KSW_d{&z(|Kvi;@O9{t|%cpU_6#KbM|El=PXaL=_J4mepXOMV*88T#}rBN9S>l>Qb9MH5Vakj;!m`1C(Y=gEPP!uIQglb*lft`AC35B9-jPcUSn>UuF~jJ3!7 z%tHH7hia(Rl3VdMIA6iM>kf+ZA2sG+xcScFOj5^UPRJHkLaT1Hmgrg8u;I^^7r5?6 zAtPuBGVpvfS73~*9rf{R1n(RMQeVgdO3=}di)ayqZlgsnq^ce4K=QfX59~+c@01wF z-rrdhn5dz69_ol}FJp#FA#dZ82WjBF?xbn8TPhlgRsPydH~8U~>c-jB zja)C4OXz`B)WSa2^ z-1TefVqM$gqnJup>Rd3Oiv|<`_hnSl+$S)eHLxKHD=-gySiXAwMl#p77%_yj7Vve8xw7mJ__2U*ahYMPy@#M?G0Yf*^PcWOC; ze9^pG)-8hQ!WwXtA2*M*ybgO?J}{32S2vVhqY}go#?d(@PxUU*fHq@*BW|1@MlU(i zBIZZ+%x=?^v479LueyU!=5ff#8dWkXaR))!&J=(a>{mT9Y>cPXey;VjWN5XPSod%MBYOv9DQ<_@LdOly;i@v{v=gk)r-?TOFCZOonpDy@AWQe zy&dW`A#yFq4_5&BdP$uv%W$t2r;nFg^j6+}YRhzV|2s+BmAI4RA1vvlTCU!mn`Img zZoj1o{j{y`AS2*i0Idq`BFRV^6@-QLzkb8P`M-WMquXI`Gl4wwgZ>S?bKwUJ1_8kf zac#MuhK)d$;A*JAlmOUkc^#dSJL*qI7S(gta9Ammr+>ru=UER5{JkdTdEdk9^$+R$ z2Pg2`{qYqifFSU5jmU1xPv-IN6j#qM*vM^7|K>zI(bppBLufvBKOB=Uz}V9F*nV3}n`1T01Q|aNAh49)r$p zdYfE-pqAO{{s374(2Ebgbw39C3{md0xB4&NBW5taVYe(9_1Wo0CK0E@(mbNu!4pC{ zlMqG#N0&WmMlDN=!jx=w>HMq~M*;%Tb))a!PR;kz0Kfgx0hjGJoG|*AFCCm!`WhY` zZd-V~0=k^DNC|D4mQ=e1^c?w4H$S)Tn1~m$_}ux?`N>Z}ECak?#<3B(*q;;ULKAWD zR~@(%g=RZud6>*c)9#fgY|21|yQ^Yq%5_mfI+}L7EP-&QJD(lL(}p?SI-!8QljH`% z@`l?COJMrkQexU;lTu`o7boAD^MHeSBgkAuAl>6Bn1CRCTA-Ul6Y%(dZHRfVdYJHA zDqbG%i>D8O#Za)cR+8C;gV4F9+m%)GVrV6_1J$^HdJ+zpk*C-aVs2In9GfbZK~F;` zgUJOvQONy@N{;61)KiU4Nm%U1Ry<2ud=EOoleQ0V_pq0deeme zQ)fQ6SVk`-=cwH<`8>tsWhxGB`EE%Qq^7;9jVaO9w`P{BA|+{!Q+gI@7$A+o9 z4=LXOD$HheV)Yo6Xm0D6Q!;hBHVzRSvYx!17}co99l~ljMmkK+eEc1ntFO2L!SJpdMeN^R{Ox7*$~Vw<=XSj@-L9k_qhN z5wl)Sti$ZDhjhZdf)>ne30{F%-4z^Y>e)CzezWQb)aC}tbUpWT9=f;i;saan>dOUv zA?8=9MTG9}SKTC)9-WTJ4567jAGRfu3E>M(K+01dvO7xnJL*TZ^Rb#2`Z zS+uR>s4OZE#9a125_|ggIu`1{lYh&POz+JtYFOAZM&Fl0O>Rf~H)T?!31$aqkd9L0EqHz(CFkb4#GsA+Nbagew@N1FdHx#|l5IgD(y7pf|5v;!jk~j=~ zP$@~r5{ehuejqdeE^X|?gr51Lbj^rlqwhaa+6KC~wQss4HvZ`t*S_(fcB>L*>S`<_ z3JXAs`F@AsG))_|4R3=uZ|8-y`!&YF6 z115TBWP6bA-2cdD&xSpK`^Z-(GK$CY!6!*NF2s1aU?z+K=eUH<$qc|x#9w@W=GLrk@O%$2NU(3PqIY`M3BjS>#vujm&v^Mz>3Ive<$0h;Nj>yCiCB@A7Y zoBCO1CJxIJ)0XZHW9tT5Fsnv|_6GF8+}4g`d#c5Zg$}JkO^GAn8wXqncDnW7<||K4 z!hWkxakpmx7*soLM`cKklBFV+9dh)&{GkOC3wSvch|lewo8ed=4|f`I_qWqU!$uRz zD{b_QF>kJzilg2D$A*wfIvIrpCxo(r=%Ui4$RhR;s^lfLdfit6F%XGs!bLe)&>;%$ zRezbXISWq8;ma^omPM7ykSvpXf|c1xb_F+t#~=`Zmw+|mGRcui2sv+qDAH%dA&ub4 zcL^oofRgHlIcWPJ_q<_wlwxE)NkjdPMf#2-?<*v9XXHs(TCA_fv3MNM>ODlXcJB|d zqvaNNU{PPXjdI%w^y_GrKEGB33L%qs*f@h1-rI-}5wUGfC&_Um%8il+OXHyru=4%~ z>arn#F`I_@E-X7$n`7N*=w{P7dGin_9MS5j*ZU;R=b7!^n0$I{jEV396f4RQc@kx! z%{YTjhk}s~(GHae{#v{xR#5&S->qxLs(~x)@Lq!=pX|8kNSOG9O!bX*_DIAzDw#?o zxtV}L8T&RO29$IrQDRj6d=c7z^^2EX20<5alnPhTB6L~5NVcSDXiN#{j1RVTzr<5U zCzQ`Kt^rbxXBMYnV8d_7Ub|*~oc8*DvbZZ|0HPaPJG%)86VR*mxB;3;k6xi|HB9_o z#|SR773#2pUA$`qzxZkeTA}88)o~jnY#~&XS&GN2$9eh5U`lZ{gt2vtbrw1AjmZS8 z4SsPW=$p-?{*AS&pS`wRl9%*DNE%@~OT`JtVyusrghG>;0V;5KYftz)umBv(M`3a^ zt`P?y@+gOxkWattM%cV}Lj?KL&a;D>UXJ(hXWuEyaPM5V`vDQh3G$*PU& zlNp|fv1_%gpe`4EL06)P<9|<#P$IP(XGKn|aBSDW3M^E!lOZVLnVw9yV1Z3sy+#mJ zWqIuwpFbdkvww)5IfxX%n2l%&&G5JZ3}#Fp!_tEyO^F}hAzdg@#Ks%P6Zj8+VWw}j zW9{zinMp2u3NbI!v2K_?YGelWVlny&JJ9PcG}Bn|Y!fpcvn*Am znOXEaWW2V?rbZ23xG*}I-suH8o)kIx5v^If<`J^H1&3RN&h?gVM}}C3s&&Z6VN$1@ibu$&5@cyTpNrP@Tw*n#bRggSRW+NQ%ELya@?ta!(rpe?%v zdu74Uy2OCPVuMpr{fZN z6wXo)lXaxOWK(8FCRG7CkyDR7V>w85Ibh?LRv;hUu;kQsCTe|X zuscAdpEtZ_TwJLvYY)0c3C3ZbD`<$-+F`~^!aKmn+AWh4w=?*@v+JmL`6E~U3rnd)dzxcF!FSJjjJiFeoIrh4D+l3?lfVt&UXkT~rRG&X7 zzy#vZ94bmxv|}06PdTm&ny#IU-s6Y0!Mhn{)+U|?&7xXUZ|crFxJGX-WT_!U;l}w> z%)M`iPTW0Gq-TIP&hmeWOOgzBv-Ax`S3dV$`Y#DpC9Uy?7${}9m8+Xuls=*ygJ=3j zpTAjWR?yy&h@3Nfjsb>b-Zxzl_bri8+zmazI9E?z_ll%c{@W4>tmyT<;bcYo62Lq< zdD1~yyd||d#Q`LssgG3noQhA{$+4ZYn!#pE>2&xcfFJ;oCWo3#OLb>=z~Z13Dh4>h zXhLROZo_&CMh5YMCt}zm$*6Cp2~OnIb4c)&XXflr2T03;PBah4nhM`0^~|mdY}+~) zt3XNGDNnZu?~mW1RnMO6GwDNd)35&HSQhigk(_RM3CF?5@!TYT#nX%{qF-0i?E!I~ z+*>m^(I>!hT%X;t;;}OcWD>P!bWQcPIDh~o{lND3dg#=LI@dT2O#!cSNA>}&>XzmQ zsXK;ECJ`@Bsjir9Oy#=>4^i$P%~+8A2j69cGqb{cH}~PhyQ}=8s8G-$0lAmz#&Nn? zo`t=?9q|!8%$F&Sr1o!|3qNz}3}VWns))FNg#<7YU3C4*WuWg*!7H%smT!ct%@?wc)>YxS6ePd5T3)K&% z$Jo7=u!Q5#GKEO1J7e8|8T92gINo5=O&N1ZzXi$)TDCHhPR#Ft##&ZSXEvPTLXN|R zWA{I|T{X7Sgs}HWW?z}R2=w8;)FH0 z6uGqXIZafF;pU!muhLb9g2Is^i&xc8O9h}>tRlJoanf|4{rK%{gYG(Ns4b7;03KqM z<9o{nePy0UHOqmOr;yry_;lQ}&h-iJ1HK?aec0o(1{ zdT?cH+=a_tcaNpESEF)uj(CIw+y1PqStja)h6UWY^R@hA;u(yO*(Bk0oR&eS@j$B_ z*&jS0u(z=$scw3hsgOXM9Xi57K^8exHzmGReEG+*EH!C__v9ulk2RBckOH&p}U|`@7-4NN> z?HLDx9%Nk3`@agh3XSWR3CkWiSY1IKqzNMu8adoA=W)Nj?}(7UA8{!AfVYPihxeew!0*S{m_y$e;$7-#=I^^xn1aAV-8R3!?yr;ci+(mNzyP6_PvX7ly~*Rgi|xHK z=lA2tfe`TVAgWs_6LUqkv{D6|)&={o?CEXgLw7cBAPu$F)t>UqLBOk@@4iok`z#5z zO>J}l4%67R*DS{??q_MgcGiIAUpA_27d!qk@5B`-sY0a&+V;NgEygUcI}q*R>v?rO zUEJv0V2cAbzynM~@Y&mW;X#}8)H|dr(5dCYmshIme6^0Y&Y&Ci#pYM=h4oddcb4F; z*o*)ea>$D;DZyqq6%b$u|i!_lAw3jBQ%E_aOT9Ni5SxHssbjbuH>kC`xcI1owTy04Z8{(jtfqU`Dbu`xaQ}zkBmNE&_c5g^v zO49xHsFa$iQaTexp7NfM+CGVQ*83`-k&4D5NeF5c_mW?*u~VQluP4Eq$IPHir>No= zZVKuMaB8Tw1f7|+KH6AfU4_Fa>cm^$chq&GOi^<;O-RUx$|kwAEA4;eUv;UW%t@7m zk{>$A_v$oaf$*#~X_yH29B5x0jj86D6IMjZ7&voi1xr%jj{K5>A`s`^00Fo z+wDAvMMdjlwvXfLKhxks z0Zl!-I6c;P`|F@wQ=iBA!$=CZVR+^K8Y8`70^Ps3BYZl1*O~{4Xg9oSH6JPL96fgf z%s;69EbJPd(c!*HmbJ(5o%dotzLNE~H6lA}W}Im>&dx8O1j?5kIp`v3IPlkNP$+^X zwRiCaKa9|Kq`=3s^m>4bBw@6iFxm(u&%6iS1CMcGmJueoFJH#g-|lPx5iqAQ$EdM4 zrRK|fF?zcPw$!fF@;h!?Xx+*m&JxD~a^^iC8@g+zaIO$i4cr@e>A6k~h99rE=JifY zJncQgQ?b!omTLk7(ND$Uq8)2i>=yJVBE4ESgfR&;|6+j0>^Gkzv^@s>x zNY(d*dcGiBn#q4YWeiqz9 z33*&fef50y$M$|vo_pOHv!E~YOolS&+QtUU=4)bEWZH{{jbW4+u3$_CED53n9V!_| z_JOOVXS~tbrpHP8FaSB*xYve~faikp%<&+(Iomh7SY)w3qv{xb=!4M=3531lg2fr( zVn)uh<3Tom2*nbX z`N5Iyc>l01gc(dgRymaR%G{v2uKW4t@d>-uxUdejD~3~pVG>{CZ;~@YaX;lOqhANk z-T$fP!<4u|R5xgZIkL<>N@#jhxxuRAfr5!+vsr{FZWF{!{$U;yi>^cVo}sk3;wZ%0 zyf6JlYF;3~diKbVptno!RX6yNGcT=r6# z_M@NCGPr-3TtRnHz}$KX4jF#aWCkHUdKv_f=ig>tI0MWBHd2;giOm}$cY@J+$93WP z$v7Jj2EoXw4xCSlE-KAMXqU2CqAye!EfCBI-Mb0iRIX3mW1;N-P$DECvDlkaJT) zthSRsP$02ngNNl^S58u32x{9mu#qDDC9OI@CIH#p*K@hyY zh3+1XPsDDeM{TJ*F7y)^0~U5sHmnWhhrsCcVHzJ{iTXZ&}K|j?$FbNtMLfF>`*#0 z!E*n?UHFQ=NMv*qwH7YRP7bGAL8M3j@8MCW37mT^2BTW>RLMA3MYjYMIClNm63SnG zr^A-TU@}wy701An5yQODX=ks6P%!3NHSHc32DyN*(R}+$zO%}QifqK8 zOAT&T;}jUgi)RkLwv`PWEx*llNQ0qEL=;VL`lueWW;DZJ23lL@-Hxtf3k)NVeZKi~CnVE=LVaR< zh^7WGn87|qriN3MlOh3L_EIG)?TjA9u}C@P+aaWa+ju}DH zYSrdmDjru`!TQzQCQs#>Vj&rzU3!n4Jn{vI1HaXvLv7A1e+~yO<^KCYelGYLSDm(Q z$MT8@_(*DTdXjqYeB}mTd>eKHg155bqPCMYECNTt`?wE2(sx>jL=t z87aC+MCprAW+pbN=#XrD6AMS8fOR2)Z294m4-Rg=0s>2k@)UK!TZS}^+)@o#o9aC{ z;Oda(8*8g@Ve6EQn2U2H^HB-6;lzL?g=}z_;i4IHRKW^oO?N*zKPt`ZhC>IXpuzdr ztL)pYq$~JGA27<`3|L8JTk`)r!2?{~CSOW1BdF;|QYNCZ{Z4R7<6@hy)4C_fG7u;g zCI?B-si?5GdqVFf_@C zTSO%sHMpa0>$#K++LgGyd5}G!%rQ!QGv0&(>_zAwG2h@`&rInF9YBv6TI_(AnP6rH=vgmh8N`Y4>xFc^md8O8vEU+O$3M40;LG{0_5Qg~UMP3~dc zIl&#NI}H!#kHpnRjb;C25!ra+zH{9R`*BH)Pfc4!H{=19P&Rjo1BD@m~UtRpEUMP~9- zgEMBNTwoE_ov-usN+d0cXh?Np+1(T6hjm1Xl>O#{k=GWVKn^x&Q()u9wN5MqKXjF| z18r@Im{ZC}za8M+cBQBn(C@O!DJUm3Y-0mqjmJl~+B!FBohsj>;>4H-9Y^2!%#x=S zJ*ZKq^}A3kytU!Z)!4+~1Z}e(U(fRG#Dib>5RfPHx{4eKF^`DZ>!bV6?&x)PW0=I^lY~DxOG{S2D~gR{lai zy-qL=tl04#D^3NTO1W$_bswg&wc;D7Y__R-gN=QWM}yr?)j;|zHs{&4SEkL(q`LPR zKuk9}FwoX{sht#b8`Ep@v`YdIq!k_!l<5;#i*%=98TrsV zz6N3YAk-v}*vZq!XkZ)bmCT6cQyp|)*Q NMWs`Am(l>vnySL#c`!%n<%O`{8yB z-~+H?*_3(aWq%&qUNHPsS*%KRzbj$FV79y1NaB!Fz>;j49kN)1`W!&GY^|wPGQ33= zV|y8RpvmY6u?p%cd!x<@_^HK+dcpFqVg#O{i{GQUGNF2!^U zy4z)M_QdpL4-(kQ@N)b9o>La}u?`UH85x5aFx$i2_Qc;u5mhYTLP_3+dV?F+G(MTz z^E{f{@5&)YbGX=)*~+eEo_Xs`Jx-m?$Q7AatHWi1lVay|F`V_VM;(I12D5Pv;S|~&(WBOJz_`dIivjsU9E3N zWpc$bq!6?R{=_&o)KQk_I{sz!YEdlZ-Qn8_vKPV_(biPEQ@eQHi;zbExY7{(-n#x` zD)b$Fp3Qu%r7fl1xsq_Ot(`wN8of*_ROINV_A%7jk94G(M`E6}GJS;tS{BU@aSz zU%3|1{Z;N}+phj)wO;#1?}#TPjnf>z*mcYWCrvQm$=t5Zcy-QPEQYMqq~oC-7uydN z+it7S66U`^`I|o6ZxXZ!%8)f2aWJZ6 zQbe7+hmsHD^;g58zStrNq|<&ZQ3zwZ2`DP$X|@QC7BKLX723twr;MXLol6?{ANHr- zSTP`#a-{h>rI>-O+%spC7IJdqX%KC`jhK>T#rJmhG}Ft3stzyC2k0|!SMa)?1-R^axs!U4MYYSWepUU6nIY7_n|GF z?kY93^{R#A#xZOUr7e;;TuubL$5fPtF2)3t4GjPJmZ(RdPM+x%!UeZHs&2rFS}Wdd ziy}bVbx~wPYs^vr0M}s~;)$rI%+!v^`3l>zxk2hC*{DqU+|oFEyypH%Wpo3E zQZqu-&_NZiK<7rPqH}FzDw*crAUFVGX@5`|&M-V&XRKd_U!lC#_};0l>( zDJ|AKUt`0Sp9V@vOyj;_=V7?+M4sY9q^h*Drunyk7*3fEkc7b_W#)Y-N{T+>P!^mW ziX|3>?4Q&pS?w=96yP6$>LtMRwdq}m#HqHDsh?-`s#NEA<>+d(j}D9=wDDuOQ1Ntj z-9xTTYGJjo3^rhVW<67|9B1}r6qPsdhk}_xrTVL6W?)#8D=ql3F2b@jX0h4!WmX)6 zUO;JrzbYXYU>9GwGBTvLQ!zp){LvsyDDE`N*?o~ni>t)CF^0t zm1$UOCYP5JH7=_UELL~CVGl&pQ6Ore0nq|nH-5ziE|KEo)?FU^UFXBV{F4dCpx(9w zl8Mj&ImFUYe!jO@oR$-sb*EIapfz7Gud?h9S-8c8Kmwt=)LC;smm6IgzIF7rxin`1 zMGCiK4^-)?ukEdmW)=JueF$-kL)bUd+iG!)y7{0u|H+$iL_4rBILu5NYg^Eyv}HIc zODr&~rBJ>LU~5MxpHagibhX9{jYv5y7AGUXOjU4<2TwCxWnB#0eFsniq#)NDMLyU} z0Y$*PfZUo|B$A#EuAYs04(K766}(+{oH)-V0{Co9F8}U1bqjQlC8IGC7apQK6SM#5 z$k^F-nY8!vopA0J((x)Y0-nTSv?u3YHMbdbt!1E9lt6tH>w8ba*!}izF=>y*A}u2z zgDs1;*bp7o&(TyKQ07W4NBrL7%JFL{N-T=oQfG9Bu{hc;V5xFvC;P^7*&#CC@;Xb* z^&-=#j-`KvQxs}IuyXKqY-Ne!ee5y}DHi#m*(#ffU(CLN7p`OTE3})5JA0ZCe_T}o z0JK#(@5s;VqTzwtF2|vWp>|C1Q+p8O;f3z%HxUkj2(z@L%Ae^@s@k+X6)EP5{(j#8 zF5?dO|1YbPl>dtSC#jkKH>g*1b>eV2QvLG`1|;5sDh_jW!GL)Ycqi;Bpc1cFP+2E0 zFYV>X)Z!Q#o>=<)`r_zPq^;G4+>2)!_TBX~k2?r+T_mNol%P*SSmeuzn#agtbPmi= zW<3jN4}vhXBQy*2qD)if#mgrt3u+X#)r0{&2uL9a!W-c>D3c>(aG}uRutiMPjv#HF zgKwjTg1EsASj^PG`AtsG$Ta9qH8d}MpW<=5^!dMc#?1!{hZ05d!(TxeWan0L^Q_bVEGG2 zD)TV~g`xG2WrirCXm*ug|HKeGQ30KzzG?SXi%Mi+6we9-a`_zK32^7&Rug}BlkcJ9 zRrci`ElV7ggFRKj<)rdO)RxghW<`PO;D672sy?uJy0$al2~d<3k<`HNWh=hH(L||d z-c*&%-U<4j(xoB)&Ap|XD5az{eNzY^gU%#?m=-`OksFJ~giz#zn;!D{C<0_!LO)GS z=0mYg80n0(dtDT9PTpe=m1FrpuyP(2kUuMl^vx>Ac`{QV;#Bu}B&>Z%ptdZ6ME|4ywqa=NQ2I8DaL|MP;iRro3ytAg`}m`-IO+ww zdl%_OhqIY5`Te^?of3u0wGMB*Vp8Kkh7haIF)+sfD3wJ7SY{mIjF-Tmy zR*$gLV|u3rC*6YU$zijbMbuW)iv3$nkay?Y6$-JPq8)=4#?jG4(`rka2V+cFlq8&{ z^y5jQwbn^BaNqfXLKQ7wB%mI(q9kv`vgl%{1zMt-` z-)4_z?ruxfyXxuERe6*K3cVTKqd|v5w60%Hk7=)E?vE=`7q&~|U#)sS?mNDo+&T^ar~B{~o6Va$sZn9L}0P4Genz+5Fre z^y=?CbDrmu@d1?Q7ddCU^wpD1To*fCjG21s_U5i^Kn&Qg*tiZLvY}YM;;2Yn=hO`a zqrqu?)WvPnnzr0q)(aj=b84&RkATl8>34G75--uRpNV})9VK#5hvkBwOd2;6LGXdUSR2Vmc0yQm-i%XeBX{==E zrsdZk3+;MrOJC+9WP<_N(x(&kB7>IXwDNOjW5&CzYaTPsUHoWaEA#T4)Q(YpaNGU+vBt1kfMBvC;vd4&os(>t$5 zDxl3;0)XWzx29d$wk(eu4Et;IChN?%rmUGC0@}1<6Ui+jaMwd{M{hraxvUlAoz}hp z+RfX8A>+aao_EK$!~!(()vc*4_l^T_EuerOCa)mJ?rkDb1`ar@Df}UcUEuz=D) zCNG|ke^newd6|e=6C6>WwO)D*0ERS&*{ZOnF2I*uSGT_HS=L6g9^Gcv#%Y^Px)5Ic zwdtT~R0pQ_I5wL3z%;Q`aQ$46ytL1skT@3qxY!UklITt#ZjYBsdqZOQ2Q1mj^bVw6 zk|pJIWy2bn*T23~fjqAt^MX`x7lK3mspCitnREoAp)6Xz*M~y?Xt41}t`i{+irCV% zs{xbm#K4@C{O8P7XKQ<{Q@BJgB0u)6wtyVDyNG#zdndJiytrxZeiTp9bf(eIF8vbTpy)9^VBLur+)uVpnjs%} z8}UOc-s%!G5vt2poGu>faF=kO-fDeSX@DjXvHDrb(n~&+`-5?KhJay88uKuPx^&Ea zY3N>vi2;A{AP)iQY?(Xg$4(jSl!L{$YtGCZST)w18 z8Lt3q+YVR{DH5F-9N`(RD8Q1idx^|t=tJsNJ8xhJZEB$2WLMH1dwaGECo}Ze&3mmP>^MRZ#E)P<%SVm70f(7*u z_(zO6|A>P^kg)Xyb--k-mp_74P;>#+OqqOe`txUeydL5baT@q|xV^R^&p(tFW3Z`k z%|1!{rD}2a0nFk9-T&EddzxJS=0}T3)?B0%QcTSgg4Bmp`-d0=upiqYK5T*>!ayA7 z0>8p z*>?fznJ63`egDz)YwO(7!qB#f4x@1Lu9X0H12)--TLX!$4d1;0=j<+T-SG`sGK`ZpHz?j%Mi(3rNwJ#>TK%$;I>_Pe-3fJ$& z1xvJS{-6%p3aPqA7feFDhR@DaJswyh45QkmWF|W9xQjC!DqIXg?9R785=FIEjI+(` zxgm5$X^9`exN4xrgxMkczUjjwwgV92rqLB969H5M!Hr8Xto zQ>OI9rVL+MNn)eb{M0*@vcKRpDufNBAOL7{w&vOgC9R!9=NcBYljc;JS*-LovKAiD zZA^wfKi3mj8e(Lo)KG?ZG_mu+L%+mCrs4jGQ@3H?q^USqKmtH!fM>*y-Ax2@K)B^V z5)gq_l6O1m$i6IE%aq%K&l`!K->a3#dy#$>6fiE@9MxF_7wkC^C%XJrNPUvdU`G`)*X73toI1Z_(HCc)j+wt) z;S67s#q7D<#5#@tzP;Huw8_FOIIe^*CxcqFf`bTHV^f>^=_Co)a<1E*iBw>J75Pa# zTi#8rjoU3(pVRwgbP%&Xu%2LYI31onLk1m2LvDS5o4+fpT$1toq_i-2EXLb~0f6F~ z9Szkb4jByBKBJ5gGp`fJ#>;jqmJVUPt`~_WEpIJPE(NbJvNtgQon!gfHXwuKon_4G)+&kWjBro z&en~aeaC;w+S5Atgh9E-?2~6qk5L*>i;Ba$)wvh1r z5b&)hYdXE5)pni=Sp{v92%xpy3R*}$lIlFTMy5}TS`JL{rV;ojS<+B_@WOx^a2tgC z6n`Im*KCMLHdoBmDSYUw>@od(Xnq}O3%g6y9j+9Ol+&rQ{WzA3c25+dqwkbEp`HDv zX-wl&KGKrIm7O>8ppQ~6RK&s#v>T1>E8a=YX+Hd;XT;sEI0ehD-%HtA0{RN;tjSK3 zzYcH2gOIjnVh{Ywv-jk;^@M*9SNMRaJWpu|)NTk09O{S&On^{HiZcckXC791&5jmKM6>G>NS5>K&cCxwpMrhg?##0Mnu%ca3smJ4{6a;{ z`?&t~jm~oGW|O9dvw6&JF9y5b`M&8m5yDJDbYNx+ zOE9Lr0lUxUCSho@$ftY0dK;55Ie*-F0MDr#sG=Qen-K0zs}|!mKG779O0mz#kiKz| zySL%;sxQJo5&3VRdi*B-t!&p%ktK*7S!oid`XKd(r9=M>1CSy1UDp0zLJ zI``SW2+v$ly(g~)?K@ogZ_~zCtkXy#&V2QGyI3YIJ4}TEBVL0A@~`G?JKnV7+2qmt z^~0Bl`6SZYn^pq$Af1;bksK73#q(ut2HDq;Dk_Qwk}B(dhL}Ha71l##<;0Uzw-l$$ z-$W7Sy8VcmvSo<#{Af2QZtueX#r`{JEhKLQ^AOxOl7d{eT(z09Vs`RgN;%aWV|-nu z=cqIoo^J$)vBeRopfR1!Rw*tr_NKeK{Nd2ay-4zG9mKutKuR}M+U7KuzrV&WjrNO+ z>I*!Wy_CYnf4ZZ{9*Qh^o-heEha-6Q>{{|gX1GS4^h38pyOYcMNhp-)K5`IG9BF-V z7vp0$OQ}Y8XPhkz9)gW|MT~de%?`m%isu*3+Hm%hU)3PU&Oeos@ctKQO)s&dRLCQG z)BJvoL_)4W2Fg3I*Xwq zL{bkU#8^rHN*;q~6mfis-(kUgdV;Vcw7glgE%tdZ;WJ|xuDj=1Hdq{*{(c>sFCD4< zUbJF`K49nzA-58Fbel!jk=ZMzM>J33WK!B@urs z9@ZcmVgz_F>-1lgK;J%-*p4*DX!9+o(IX(~;?fnp|FuaPH>5a)eDoa8t8w&+;kuvv zZClQ8Q5+^WQX#S%(-@Xa`+<{GzoNv#Cqh~yE*YOU$CYF8T>odUWR~Iga(NtAsq!fTJ0C z8eRKFV%xoQ?^R6S9%x3K$*jzC>qgW4F8euOQ&93epUz3PO<4SP;ykvZH6+^+VMs%@ab`lG=M=&Aqkib9qV3bu8PV%Ikb~Sz7pqO(y_P@ny{C@u_F;4eMaG_+!g7=oM-igWIG#rSW<`Ic9|F+`gA%HW8s@(efWslnbzHzj<8QL|F*4H7yr$W=$13_&N}j?)$@(LB>VISJ$upV&kbnOlFK#= zq*A7S)ue3yvfbs!M3{VwqLIo7&`-fKV(Vb#j;ODu9PE&QP` zL36Tf>(O-8q-6sr8;{UT#4f_2X>;hF)4k?EPPI>4)-|%)#D~>lQivkWD^(=gqjAq)zQnPoyFj-tj#q7tvwiv zR=V={$2)4qQVkUtH(LnYk%|ra8o$Dc6}tI|AFx(#u&rb!g7X1^1oG5h-n>b*L?r|6X9U}%TxQy^&#+R$Vd17aM<|D*}rOd_^jiqwAPu$an*8m&roN;7NVzWy8g)B6&c=-gX z<@n6LV85c8*LE;BbfYfdQu!=xSh@F4KUzCo93peN`hL)WXUg$>;3PKV%Ey+*tpOo9 zhAWhUAHgC*Rg6f&OU41|qt{br0|BZ*qKvSXfG)Uw0MTMS^c6e2#srWq;*dEXUH4N2 z^IVc5)^(9O9vV^7c5Y@VjL=?#R`hl0 zxF%cFyunUI|@C(;lc%C({XbNATLf{+q%# zd)P@KMvb2| zjcq{)hf?a0T>e~c#Ku7U<#s1wt%k&QIoY;&4e~1rn!PxU<-83|5i1CUf}A1=#`=H(;plbp+$`U2KJ@F}8j5q0MQLh+|-S$)t%o z4pR_9jFe$^TJQ#33KwpU`7j1tMzUQuXb4*Qab7nzeTl6#$3S^QPP_#4mYcq zf2UPW*KVsko43zNhE>mJZW9wK&oY>>jDFdR$^Lq2BnK_%4)aTNSwFtrwx0O;11g_a z{{%cZ7;kJc=jlTxBK&+~;zoPIcOF_)&V7z1VOJe#hWJ5N+pBvNr%d+Y;OC~b=l!pT z?QebA8#grTLL0+ZvtYLjCXl$D+O`?Sq3EafPzwxAfMT#2H8@C<`s)wwd|v2%fPQXL zX)*vAQHm}RkOD)sX~=`UkJ|x92Z*Ga(JJALm@A}a<>f1jP>&8%w31S1+S0Mdda;$( zI+sct*z`S2!TjBqJgQDJ)Q8Nac zD5p*L0Wce@h#ZXCt#BEuiF|_Cu3lC#K?j-3FfZgsM`<~v=M@?_Agd^>*Wy!Kq6CeJ zR$FrQA+WO4pWc!$8VGn^9Lf~zm*9VEs)DR9zMGN`?XwBL!w4?GyMjCOK77sdUp#c9 zPIvE^GzwPZ|DfX76=-#o-C=g5LYg$M~$AFl2ZQ!QcEr1l@Wf65F# zQ!%iz-27{Hvx=@_Y3*|Iw6JX3(l!)TAm-^$sqou~$9L!bKr_CV-oJV{?a3_dB<|Nijy7~kZ;KO?ORA5iO`3_bvTIccf0UcCHm?2R|#RUFIg#@bfw?>Rkr zl84|51!Re1(O~h``sy-OM^w{j_^SV#gG4l^AZbfhNQ;%t8Sg@@yE~|y4m~&9s1w&JL?0!z!2X%#u z2whPUp3!neERegH78YNb=wt^gph-9OcT(V@z$Hff3N>ct?1L9ahG(RPLP&lc+{ac2XSJp|kES~JU zTua}B&zRH$`2bNmX?vg--4{u!ylTmk2jmd69W=Pk^n8Z6ab-Ii8ClKK_NZ!|rsL6`_R^et+qb~IaO}$B{#nnj> zYto^{D9}5Uyga!%ilw8)|IrBjxN|bIL*eHA53zxd@4w_jjgtSw6>wt7-1~*5i4ivj zQ4l6j(~?V#QHxb6+*^6TW%6nwVo^oEyr#DiWg=?^O%xeowi{OXeRXK}Fsrz)tGTx_ z8*Z|f1s>O!e_!g&T$$Jn;`=VP9{C0V@_AMG>7qN$FW1hmKIa%2ys)m;fmXC<7a>l- zwgBB-$f4XQpZz%Y5Jht@r_15@x^5$S;D*O=cGV)eIZJzGr}A!WXQ2v+Q^M+OaVfp- zO!ai1XA@lCjnUsM^vlt#D~)z9j;6iMY232Zjz?#G)XRQT9QkY7or35rpW3E$r7$U^ z#*P-UWboV-fs>Di7woDILSU8@!rsIhh0zM)2e`;`5CBqpmJ0}HAAe`2Lj$`qFI5`D21g)7p^z`CJFwue=Wgk#*|abcGt282ebV+{t` zNPi1icgaV>3*^T7p3OK~;tq>L>BVHOE)4#+4KGJ2#7bvLFC$e5V#-dwEW<}i6{ggz zjbRLmvSy|x!fQp#bIAPsSU%^eh(c$82QOiJiib?+85Oo;#x$U)RHClU>{%Ct7Uir6 zO=pBRS9m?n^ifxs^(O;~l= z>$u1yi+j({fCN26*$Tpg7n+zoZ`?}B9kW#*XWmk|4U=oVSbe%yZ zr%!(l16F@pHle?A*5q#*H#bQlfY0(N5=n?*xp{fOy}1-1LMA4m!u5>1`d{WOWqEb6 zJEYh5z_qD#yBu8348yf8X8!AEcFyYP!wfzH^1H2@EPD$jQ`r!EhdTRw%1EltRMs z^eoyh4$H5`eqU>Om}tNIEUiV+Q~%vtgGJ;e_h6kg7kOJ#H3%)h#ZgEn*Ka~il-3Cw zAtL^u`Diz0b)cf0s=Z+^*^b>OcJ4$wUOm^dFywQJk<&dH=u9CPdjc2O%F{uAC4scy znL-ipLmn}RMq#)~2`L6I81r~&2BYo6+MoZ&+UWJEehi$W;}2`~*)aMtpq3eg=FNU= z=&1;{{>1wn9$Z(s6wJ@;pgm@noNeh&^QsYtw7lQm{Va%o6qMp2j;LuTSxy&Cen;a-eAYEXr(yR)G&R9A|bs9r&q45me{cPl>hu z7)A0$JH@5Y<8vx=Nh;xtEFBsdS0-5@G1gG<7300eip`!a=Muxk zAI@vQ031lB^N!Jg6m3~!N< z|E7X(@JH9Tz?B9^))uxBLL4;lQgId)FeQMG?E6<)v6%zt$y-t19sZFsxBO+3V~o3Y zhFrRoY<N$>9uDnfaxlP!Mvq7pb$!| z&KrE-TCweb%F4G0g$nyV)79c5M9P@dLKrF0hkN{m(>%nm@n82=2PzsjVPA3c9#B+~ zV>pQ`VA&nfQA~SA^)$1kNbuuX<@l7;qMn#v!!xl_0=zGt4z6aRA&@Vdjr*uJq)su8 zH%Nyxhp|hk5j@QWutP|aSDgZeAhV^df5q!RFp;0ph=c2JGoK7B0F@i>J2Ct)blNGa zDa|R#vn^g_obn=6rpY=zD^1ikx7{mwgtE6Zu%?rd3de7B=YjOv^`4$33s`rpj|j^e z#Ez^RlY3ce;HZx6?y zy|mi+HQoUy<6c=&eNSNA z-yzm$FHon9BMH^j9lU{U$@L+o?9VXn|7~o!KX``Vrb-G>uPPNM&Y0+u&OvgoV_cO* zm@I!BaHKnDH;kOVR;p%GE;X62W8VVC!rCdN2P&BA%%v$>_hVUw>1hPIfo_yM{5;^iR1y$3Ki7Yy;hjIfej#ba8Q#4Aa`ZiqG0xrIs7X`H z1(`&3Cj=df|L1&gFvAwJ*_Wne+^*NhX5OaZUaPC~QH4SBSXsNqHqiPB*NPrhsHVmT z>1didzbH!`qf;0qwu%1%5X+A&Eo);MOQ4t_lf&1iuiU6A2&!+9-R9KA-H!5x^G>xC z38ot<2#ilWx2Mzvp?C(W~-iqH+ql04wefhY!^6MkjFtb+;}&9W<_d11n)%3P6OzvMDY-g)vVd8 zQV>WxzPao6opkNC+wYbBZD~dmJeTygw87qhSg@_(WZ*>hnnV%E#7SASmbh)r1lnLn z?QE|Ag+J?xws3nF3s6SI>NjuMY{xkSwszKQ zVEE2%oE;IfXfL$?`?8sCmE=@`*cSX=G zVj-~T<7Xygq8ebKc~ry?jj$hhNJ##Ya_>h6iV;wN9}l+N#*F!*KoZQyL=~%L;X*gA zD{jk?m#Zo}7B#YMSCQ+Ytv*k!tU%unR34a5vG4KkNw=w$IhFpblRRqYFk&#!rt-;$ z@+U3oW8oF+^@4d&J2Sw6TBYR)FcnSvq%!d4@HwCqW`Wjv?BU1bhwSh{#ccATtm}w9 zNO%e7iB_(yeuAN}Z>(pF-D|vLk8f3uA>Li|4q__tQTu&1@wTYnTegz_CZ93tJ0dqx z5aD65&IoTt#2w1WVs9RGi9F*L1-B}*)_}-oINYR_=s%1QJljKGS>6hbeaar`Z?L4V zkUbEWyc~52*Pg)W3~L@E)xV3K85br8qRGeRL|`s}7Ax980QLv#W3a{}G^u(O_F|om zqe+?yHrz@v{BDH%nPF*n9{4w5sTKQ|YzP707d(Gk!ja!I&cS1>1%|UzdNR@=RFV}e z&F!q-+GTAi>zdLec9xzn>NZn84W+F7|d;rda5{3#I)+^oO-WiBcq3HJVoH2JS(Fk3Da8{6rbS9i+b}Iw`MRSZJg71Gx*&K; zYg9?0F{0d^-JrhlWnLivUqc89sF^Ai&613jI(AD;RUW%Nl#G$vfc_JscHX-P{L?(ZhBi9`gO%tR{7|@AF>%Y3tfrqgf3@tb^rM%HgKrq$LG;TbB z>oLmXKjBCOmb!0*CGIan(EV;l7*UAAY!7D;{Y4S=S80;T>PzpLYvu>|PlPhJM_}b8 z7z3QOQja`DSty+}!;0{0%3bhIguyw0IHEaA6KauhN;SU3VeFkB@%*QKq`g4}>Gupu zQ~fWj1hhzK-$4lvH;jIopgB@V>21tbx-KV_X9LjLX7``wqm9(}^qS;;k}}eVUMTr_ zPOKIxQp*Tv!nr(@zLSlXO!Uru02HL>V=XBo?l(5<3wmL3F0bg#QJ29TP)x#BiqGZIfEzJdy}{6t;W?Egbz?;N{4Yl9_SrV#>9B`FQ)OF zBJ%p|A~>-Lwo-LWM7Un+d3s^jjM7BVDQbpz1_P$iG|2tiuyaNGP?Gdg3WNC(x6yVir(s>n=w=gTEo^@eLw%?-23Wgw=>!9odoV~q>i^srI(tq^s z0Y3ju`lo9sJmU~SyBqpWg3JEK#+#dWL!wWorrcHC*=XG{u9n_n>B_^HU!Py64}IEi z9M@`wgST%N6etF_O`d9FL(k70AvK09W1XEH4;o^v#F*#m-TR9u?BQ|jkADk+KQ}c} zAqV?JS+Aq`f1<*K*Z!Otb?CTF)viX6~`=t-fx~Mh&Qh(A z(MY3!4|f`uCt!X#gd1GivIBYfe??su>N+!03khBeUnOqKybCK(c>R1W!6u=UB)E_v z!gThnL4X}*F(V$46w}eZgEEormLJWaAd0@(Y!S#HHYw81Q*hCB(n0zy_Q@GgGOs&6 ze<2l)o%R6IDnGrM9(4XO&4=Rjp8Tmo!~4eP{W7;*{lLU+^&LC&;X)|#Jp^}P!9cyk zJ{Sir*vvYYl3h0_NVHPEx`<9x>W?C7lLoRH-iVP zs*ciTa`HoZa*Gg?lbVG4eSAIp`o_NlL~`-CgVKb%PplgQ{H$$(bPu0cMXfNDprYCI{4Df-#7LWVaIvzyvGvwZ1hDCK z7zPbO&`tDd0?hTs&GqJt%komg()QBXL`S<5(kO0*z{lGvPBB5bH^t31lLD7lyDs;$ z;aUBT_X852sYgnX^#qsTd3Jkc+P9>(t&WpH>UYL76IdG2H0IDDFcu=XQ7hvmvkkHg;4)N^FY@^eT4nYX>^3*H>S+!xQU%eZ2*G z*Ub`~MhH}*jV*RxC^ z4M(8tui7KXI6EgZU`6N;Xvk-t#5LC5$Kyc)4jyp189)yEg?rud&G)E5v44sgJteh5 z)t8*dn*QnT0!KY)SMA!^sQ}|MJQ4r9rP-^?J3*L3f5Xed@h-xpXy@2acz1x`(=035 z8v(o13EKaXB@6PT1!6%He&#i`wB$Ck60qbKu;dgnGcz+4G!wMq6R@!47UZ?$u@V>k ze?5`5iUmyx&71au1x*L~?;f$Y0<-yVPurJ8~k7F{G zL6DjtdWpHP)fQT2s`{!3R)(m$;@yuL5c=vX!Ze_7Q(bGO~YbZ9^*;<31dFB z6%<1SaKx2j{g>M@2jYq(!(Wa%(@V*COzV|HH(oGmJH(=~*3J~?!;M~0m^)OWF_2oQ zcoVAZzS|b)_?_>55qvG!zv{>-wp`XiR6t8Ve6Oe-hZI>q&TIMc)tNRXO`p9*=3c{c)YCO)5nsDbH%rTV^Xt8W4Al?YXSX3PT%u|_t=D?T#CrvhY>G`_EPnD4+2QQ)bh|%kL z{DyqkuX*t|8G9|gJU{aZ#$sPx;SnG4A|-Vs3=k*}3H>e?o4qmgZug6D1j2#u&5v*5 zUc!KHDtBd7^52Vl8<+XJuG0UU7A0|#k#=eUAX(QCDCzXBh~@b_*f2CwJUwZrHsdBp ztyjH=a5N*t5qDeOYcFz=9N?ztcIKb$?aPas*o%M%W{FkS9~#!ByiscesL6_9&3g^) z4nrHAAjk@3qy06dP(VvP(3{id4fai(f9#ah>-cw+Hw9=vlqyNpJZ|)q#40=Mddo1z zEclQDo(;L!ylWwtBR`2KmsA6#N>Z7dTd)nV*YpUK;rWyApbYuhP-_FVi|MWBq};IW1>3jGUNI${kR*VAr8sy~JT1xG3Fb@+6kB!C!KlKS6OXkFzlae< zkn(zMFatB05fv*6@QZ6H114GH%adoXcFYZ~DDGq*kDET{m9G|l7ZGchP$_LDg0zr$ zFbsM>G~QG12lDa?-F(6`rD!5)X(c}-XiiuNJ-`RdZYIy9u<72#_DI&~Z^3Ca8TK$G=o9GlczIVPl;pn5%t2$c0D#$ib)`ya{x0G`k{V!H*gXgQfR63r&n#Gb}>GJmnPSU1op+rKtRhoqU+F z5u{Gm?Y(Mr|KPwt6?$E#YRK8^FLvSR(XN`yZ8#o_3Q{ST%Fg(7C~CF^zbf2QpHrH5HH^dh5kK2r6j2zXtM#j8lY zp$;_Nx$>3P)_v1S)y?mXGHq;JFrJO$CWHwZe}uLnyMMGRyA?kHL1eMQkwZoZiY)zJ zASV6%@a>g?ohMS~>cj)8j}BaT9tZVv(MiT@n3^{ZrbZ4S5_)m>F=J=R7V2wP`d>a2 z8#BIt+EHUq&C%Q-G`S%fC=0a$I3$th2dJUJ0>k3*#FK<$c92n3V^7zU6*-HpQh&oR z`?aRy-LX&}U;H1sC?7#>l5@{tA;zNU3$*(yMbIBg z>wD)d;Zt(crK?&gKDsx9u9)D;*Zo7hgk6UJZpTwfMK{3^Vxh$ZX6Io*8Z#;?GUQZW z=LACMj%nek^ zM!Lp?V?%-+dUc#j+i$lGN()YQ-C?8-68<{gFSef#b*aBZ2_E3w*C;_VHCAD6Z^?2{ zGS8!9ghgU%tNr?ls!*FZyj#5FIwFl2Fi|H4CRAPlm@o=_O7*k@9D2BH$C@ejl+no7 zgaI|qjhZQmHsd2&(fMdln}zl?Lu_@0qz|XZgJ!-|Hd^pE{<aXSyVT(`*P~Z_G+lStGNPi z29qbCnz0Rr$Oa0lCCTMrs{ILTb>ERgqAeI?)s?{4vV??(%6l;j-(<5zBi)5UcbFZ{ zioWhjr3sZlm=fGvl?8Z zMQB)(E-V#m;nZuz02aS9#3y_n^UVG_7dHUJm+Kfe&o~8kZ@rEf*jK`WF?uAkgsmd9 zV-%i7&NIqN@dHMX0y=Um>ER>qWXW*8krFh19p>V&PGF);p;n@NOc|2F>O)!9Hm-Q{ zExc=QX`*+0Q^VJ6*fpO>t~6#_edVShPNkTv>GtAwDTq3`{>XHdAYhXX1Jmo3n}tAT z;}Z8nZF%0QbM%6wTtPypE>*JW$_~>+{THD4@XZS-t8=XhuB zvsqdbkDE#CLSB6wK=4RF>CD1UfYlxorsima-y^2WVUL>zCzi?7+-5~py>|z#5}Z)u zYmH=$IxxO)!pT!>x(XhU(gaekY$Q%(Yy`V%;1cy7uuw+)RK-BswU-X zXWZ1z{ZLF%dXsIXaYfNEAdL|wCW;Z#sZ@EWVsSqxe+zX&Yh_lCPXl|r0-}YRg4vs) z*&j;Fr5ZO*qE+qC%M7%x^$HN&Hph5tUZ_!Uf`rSyfyc}_7Zqy}$2PEzqOQ7str+nk zmg`PS>(EI$&|VA~tZ`t9BRv>e3H-I@gqgvd;wEwV5+cFz#;u>|SWr3~O_q#Rtz@f; zORe^E&e7qQW^ROlK>)Yh19HXrho05@bZcJPDh)?pN#g*FdH9eCy0BE3SY%-zebsNS zJVsjcTx_Ca7kLRNiiVs@0oRZX_?LgTe?=cZER?~vq;lAV-Ff|lv{OSHY6UxfW-y@p zn)|op^wj2iHHminEgX*{jlh}DQ}G?I(KSz^=lopNv@op*Hvu#d71%7L85ZXvZDd(K zcRxqkJC}le^OIT9o7k@{r*V&<{h=c16+ni;dgrd&;Q61uE3^_3lrj?$Q0tc*eRv_5 z_`gc)#}3}+-TB-Z=olQAXpQA@Qg;~YmIOQh8aH5uIzj|(VA7c2kN=^Hg*>}E&HZZY z*pAF!a-7QmQ3Z7C3ap6E%jE)hwnC3&@x_S0!6N;B3B}+5NiY!m@?a37KZ*V~CDvG?W;i+Cwg z{BpVeX>bDOcA&9R!_uu|lY>OjWgCH$^8UsGzrQ3OqT~rK?4>}b!$lYMr8qjFOn}oM z#y2^O5ed{1hM!IE2)fEdSI)m&N za`uHeB~94NFq4^OJs{QWh9X+iHb_45-@+)0cLRF@^wLq#sH?P#GD2P8+{?D}l=)M1 zKkDGqrLV1JN840=%md2S9DetQq2tpcTa{MRd5_SgO_Tdi&nLnM=|!(lnfij~c@H}N zG?$S#?pe3<^v~2HnOM1?72xC>8kA5HP37W#Stz|MTmDV>&H9M=h}50GSR{!&H>(iq-gPN$orp*VuCjRt99!6vmDTj91|^3hc;WZrBFu$G=&z2+-p~!xrYyE=*9P z7~*O=sLat-&p>5ff5h?fo745;DiaF9`CGvsd9S%l^z3*(} zspKzYLmp|-=)w><3b$cHY~C%wd+wy&;R0KC0u2fUGtX_*zvyrHGUrBfDQimFcz$3H z_geH4s_Rog46On>vs4NP~LeM_dY(lMb*d{RJ0YUiEk-{;`_T^~>Mwuu91H1fH!gh-lE z-p+lRFJ~`cO8QewA7|~aHO1LH9G`u}yz|1k{%Gm{4D8<`-71B5p3Z$~vlVH9@oK)z zEEo69`e`;7Jez&brtoa|3Lh<~4g(NYuaLOc3b*}~a2@Z*r)!_%_nLkd#po>N_!FK_iAS$dD5hYUu+@llpeH#>D~qO;$m_t8k$Z z!(_wGy)UH0Pa7L!eeZk!Et%)|>kUUJWgA80rmkVpC%EDmgLd`3bl@2zPjGqs&I4k3 zVA^I$CgGfP3r}d>B`3=eWlbe|l22LG^ucn!UL{W%#K+pD2t@KyHIVZ0Bnrw_2yN;_2Z4N@?artGbN%+)yay=lL*z z^A705Ozw;^i3mDp$Y+V0a6fp}ib5Fyw@D6sUG*z69bea@-3F_k$|u=t?mZg4av zWRJ*@?7EsrUPxW{cx||`I8&r!Kgky3=+8k2RzXFa^V7KrBAk4?8ui=#2%?IirZ2E3 z(!t_L#m>s*_`zTRc3RnnDF`HI7!}^$!b=6lV@t(5timo1v^%cX8`ZsGl*LTubC}}m z(jh_LSF$r~yZaq#YM88py_fhOCMkojt9tViAlJy(!8zhQ2RS}3vYt?k)}~WqKCfiR z{;kosb1u6FTPOAPJ#Y;8K6toZPz4CaUT4OansKZw?oI3jKhGh2TgZtwl7ZYWmp5~0 z%;q9FW<~GoV9O{6>{&U9=VkKw__pwZsZ3dxxIJ404 z32zl?kdhkfNM}DCbgq9>6alu1fJ5F_gKsKaHrWqjX81s?I<)5L4BMU`6TB$MuSRmZgAQ3?pvydsj;o9MvlgnWf8i;jK574tilR1xk$bj4V5YQYgr09gG z!CGx=XG<;>J2fVU!jG^#)-qIsLA`L@EmgK_-f?||@z5O~ox-g>I^$ak7Q@6ruYN({ zwEMDxEdltVM|GB`Bj4;Dw>h^e&*SU^lVGZ!n0c#}C>KfS+vxo=S^e5!7{(N}0^VlT zx-&3xpv^osHL8RIUVtTlR_=<2nz-1bV5|PzW(@kKyPA@Mol%sXWQqoEBhx2mkZ6@+ zVh9e7W5dpv%>M^6J>_7Qp{P%KU|~#J8G96eEz$zcm2Mui+oZjxN21G$98maNFAw+; zNEUg95Rj(h@HYpv7X{Dolv8k*_=UurogZfBxS+v3U_i-d9$*rVU-`H(cwXXM7!dO* zeitN{ddk6Zfx-+NP(!Ve$TF%SfC+5kApSWr_=oG}RaI#AZxd3jiq;BSA~GuorNlh1 zmdZJ8C4u#fTtfl%28;q8UwQV-w$-fJ*mvN`L=b8;ePXRTA$3Jpo70 zLo&&cPfYmlpd1mhJ8YiD>`B^=5s8JK??t5RXQJVW5g_mMMy4dEcoTvT1MTs+j>R>i z@da8JRO&GIg~rokq06z&;dHcT@@F&OxHmYG&OPvC6-Q|*83&V~4!cgNLO<+28Pp0+ z>oVxB7+bJm$B=f=|4v4Q50}_Hm1#Lb$cS9t{s^V*}dBjDcTAHua^nMGGr6O&xXUP3zzv(udE3 znvr1>-Dxd(4~mE9E{KV7rs?2kkCL2IZ2chbX#Hk>YVzEjMN|c3ElSZi|K5n^koWp= zQdf?&mgI>=qzR!td<$TQy;^JZ?Y?qS4+sW!xy7HILZUcnxv0W-70l){uan~JxdVKjDWccJ4Oy@QV_qsi`idz!}aa zEclJrEP18aA7cm!Kgtm5E5dkvpQ(F=ENuiK5$ihGL!?J>&k{~nn($n`#Tb67pO(>~Y8vHRaqbSm{NXpwE?VbZAc z4#5}dpXJ|lqKtHNM6MKMbh+3+0LWY+5yYoI6==5sGS(IDA%vWpwG2|f8ES)G5;(7` zv;sOt4ZxW+!TkIX?h|_h8(^>s?EbuH(kGiw9)=wi*n<@ZZIv&hj?oY`JH+!aaGv}i z_?m!73H5W+qb{x%bzgBN%1hEIX2&foesoHla8j}(z_Iq2ht@5SqI%KE1Mann##e;LDV@CNRum;(kdfNYS5gbds<-6Melcy_Z9S zRNX$d<2u3KPhC~u=EEk}_>5x6CmCi1JB?waM3nycq*Y4@*v81`q!=}*QhaH80=L1% zO9GcH3Lt=0k%6}8*F2%d2108$%DotB>kf7mmepy>Goa2|=OUE4@a6Kv%$&0vuSoU4-|8{?uCrJ>P#5)r=go%Nn*dq>Ntk#)q9yg zIb&-k)?mS`#|U_$gJb?FGpwSk2EH-Xg*AgB!QoKWfmvEsaAG$-PPF;vtz+iUD3LAf zBM*u=Ic~zow75iw!14`$F2w84Q18jJR?X3fL2^{QQRr@zC7yQh3Za?Ah&kri!3mVJ z>6l^cVE@bD7@By&h_2np6|h8T>txMZcB#{d;dPQsfyxxHIV)3h`K@lyLm7!9KS}zP z^RBS%Q3(7HOrGaRdvfTyd+kC2WU~6T>tUCQnYnhmTxoiDz@LvXi^@VSnU^4)BAj!` z{Mn?AAIxWqn@euQ`G^I92@@dmJgUy=H(&(ueJ{aUW8_#`W5;+-IA(=q3Yt%JT~{dt zV{rS~)g#OXZa9j%eg8cM5?G?sJZAp~P+V0`+1HN-<=ERgPp{H#~Tui}$QHNm&d`Ij%FCy7N*QwbmMGob$4=GhR<|^U0}1bo%1w zZT*Qb@ZWJ%(QygYg&EArn$(&S4^2GyErvTVD++6Y+_q&7(HbyM=Y~|u*b#nm6GJq{ zcf$|sA2q`%G-#RC_F^};6A(1Bcnl)QM>px8F)9tOy%6DDUPCr&O>@uIQP{BQX84fs zXKUWu5=mqDrq{~7QS;Ki!rd`+t1ginEBMDRAc!&jW$t|B-vecAO7t8*1XcO9o^JNW z;@8$r$TM63Cn{ryt_?hm4T(r+fp#neeW>qKTj^{-c_o*@63DX-U+C+{*X5 zKulccw07v@d*U z%v37a{B#%#?iHb~`d6LcvQ>p(Dx@tUO0QoUj;R4KJ0rg+WMXIPwdOeo)jp~akQKfd z2SW^A*{-5oSQKVAc}XW;+!SxcgF^NVO1#w94l~U2EL{Q|Ne{@7e3@a%YraQmfIOIN z)Np&sP};H6le6;hVIKw>?VTo)WV4jRM>H2b`9$oI%zb-N)|ZDB z9`h|9oMi>{E)tcXPA*-c^ZC?NJ|*5JCx!=pVKlE;3;ZZ{GESfW3@uw+IN`-(@=3k4 ziV1rA>cjzeIY}w|0p15?yr9URB+E=j(e$A$&lpv$8K+)&7=D$c4Oe;z2~0_)=6Van ziD}y+*R$--dQNJ2moysb-Hkf)!oTm|)Rf71g@7u6hF;=hE=`y7ch8J|Wnh4^&yTcZ zH%g>@;nL1>)D^u^-LZ6G5*nUpmh(AncQT}V{;~7zHfF>}8yNDB*niY~h>PNUn$(3n zS1Ok4NCrt^ z9Zt%s<=~HLSt0K_pUPitd;)Sa8l-)Xum%+x_ox?P`oQ{yE!URE0UZkyoS)gMbnBi6 zsoo9$dYsHtnq>&#QjrGIF}K(AkAH*)?Las+iPX!UN|;c*-(yALnIoY)%0FD3Qe=~W z$0Lr7zMN@s$aLW<*$FD|D8^P^I+nTwDwkuz)rS9zJ?HWKd^%#d89(R(kPn1ki@Q^w;aGD~6AxiS9OniLA`~=sZ@CSv#1D`_pq168f zf!nQ+MvwajNa6mpFw@-d^oski{%}D> zv!qS;=<+OB+H^afq+13d$I^$6FctE&wF3t%#H&wNNb165%UJKU%6)a;~MVOD;xP*ujhI=zt-9a z=Dj7$h-q%| z^H;KbW6%U{`;gpP|6JMpbTo61XO|BT$#y#Nb27^Up3b>yu8w2n;;WK(_H?ZIe!Xx# zFakZ;wJ&PR+*>RBf-$&G_V!2YoYknFw>Y*5?p@lsF|)aMqQXK~iEr48iqO!%^e0U( zxAv&yVVbngoswa2Ix2>2;!s8`nuapp3qtmr*O-1d=nn{&=-B-;wr?MvcK1nX}@&D`u2Hlu~LTJ;2Z9@gZiYY+%q>>OH4q|VJ^lXH4P6Gdo z30lyk+Z2TJQ}MtQ=|8ljlotK8;#{o{abs$;O!u zMH9dY)N<)aEtL46iZK~Bmfw2W&jCR(*t3zPv09ul%?Bw^U#ZWlpgH2a}r1H1Ym>{rz1W^j!216Ou!Zj-W7LpmYdn!`aZTT zUwbPZneCbp-tQU5pzozU22az_1rD_YV)}JwOW}34D+VaI81%`o5?e?y1ORzK%nn*x zwUN2zJ&`98acv@q=T!SsJ4yhwzZOe{2jyYXO9uJ$VE-4w$<>q9e0#A~#2OVw+f^gW zk3xzcp}`*cF3Bt+$t=u!d99az$nUXN+B-GVGRHMi60Jk(C?(MDR5R>)bB^Ms zv&f=t=Vc(NlPzpU5S$72L4cF`%!ibA=cGBj<{>z@D6WcSkg_&W%P%&T2$_@`V;==R zs!J^~)aC)1ZxX9P4wO@3VSJTBDj1dmgJw4dPV3bWN9YUVER4P&daJpA{PE+Z8mB1m z;5kO*XbM(0c$~jk!+0Y(;z^z~NbqO+-bm?uyJ}f(2G&lie?xTEaOZht(yqTvwKJc#+_UnER&iwphe0MKa{2&JqbHtzg zZSKzC)5?lL6$cUdU3(0o$|vX3#CL!od3*bN$OUXjZ%yet=xR}ges4F9xOBpLTFeO*sJaj&Ja;h9-r6%b4&F2D*-H1S|-EgDT65@s2*>F?+l))E36bDIpT zL#d2O@H|!Yhe3FcND@&MSbLoI_9$bvT7q2tcVrsZnEqbQEdzJDG$_IbRE+d30#yhVPhrc%LU_7rl6I+$E>#Xfmeo##ZZ$iXNSiq49*Je?&E?rpsAVO`Q zRRUAP5wf;bPV9Oezgh)V-XzKkZZU=JZ-McGYwNnp_Q z=l7WB`JP^*^KQd?z-)q&p)dA5+M6Y0)LycnSPWB4OwoB4T1hOwwF>g6r5m+~Qa}@v zZiJQb7RfF|mP&5-{4VT(awAoN5Q+KWf)w-hyFC`#8Hs3odvku<6oa$-Z6k~NNx##_8fIsnBo+kk0cqQ!?Y|K7tFgmVp}^vQEQh30bk zls9O<#Y%$8IhazYrfFx@Oxr)Bi9pI`o=+Ut)yRwxf5+SA5?~ynz^I`~1e-0% z+DXnVgc=HrzEc(VqA)>;$YWOKfOrBI-WQ39JVnEcP7h0?v*Vb6j5=D~sYHaB?Z-Sr zDI-G{IiWX-rS5TaFAwYe5}|^#I3){-tECNq4+H{6*E-jQ+YwhjJ(Oue^_BmPVJXZJ zaaT@jbrVObwyfpXfN(69sx!p(LdG1grnEa;$gepzVJvS@tTS$v%COI$4t$pp1iuZ8 z1$H9GVE?vP?%erm#ID&n!+&-T zn|hNBDMvwMs1Xs3hSmo2u-da?cQ}m%wg!AE?dgzTh+d9!kF_XXAp_0Jc(|T@0YvE| zRLO-@s~H|H*Cx*vr8>uAbFc0%${!CpiLw2upU`j-=4%^x%Lqh98^zOGMk6q*Luo#)E%?m(>2PK!ia0??YZ$^g$jO7n;mh%JDL`&tOuKQM z&DO>YT8_?dv@BV0gq@b#s_=GD)Q^;X z^lwL{fFob`j~+w|J6+JBhENkw=}KDM!9kr%k@^iuC~*<}s3e;c!lTuzhkl^6qfQTA zh)49ZtRWnBy-k9QlffAy_F@gr{8yiIU;Xe{f${qZBw^+sLN&PZOWCHpBXWM|)?R(k zFU9dDn)M$K{ZGeQOucAQ#Uiv==$j)b&-Z3qB+*r$)x57d7?43RaR+o#n}niurbgLb zqF#O>VhJUAJP^=7zHMJc5u*W5%>v7J=tuRyY$GZjWj8c|$8v%7iuqFlf_FFVa7Yo& zibT9W(V5fyz2kb{{F)d2Vv^L)0i@^{l19>bFPay0*zkPi@$Q{pBRyEYK+%Z7esJi zN0eerVVntW_wYciMN5p`u2OfAfD>jEO8Q2{l|2?^>bm4TB8d!IbZ$*w(j<&-9Y2{S z-9ZFq#ZQqp6Fiht?+ZYWLPb#L%O#x!7fVVvytc=>_gYpD2d9+X0wWVb48Y$R!g9rV zObufgER@ky{zcW5Nwid!(31c`b+qTh55X%l0AF&2gjnhP_coiNmXKw1uY?ht9EmBq z__8S>BTSA-jUUdU)%KpU8^OYY;$~QO7EmwWb!nxDGplYg)C1OW&Qae8M4xK=OPfQ> zFO`!)K9rZcq|}vQYlt2?5Q7rFesYqdtQ)qKkosUe82hA(#7-EQAxZtEMy{n~zENfr zn36pnE3@ZlM~YFbwPzwB*h_Fvv0orS>oe9k*IkT`&0mt^V_h}>_iH)~8SBHN$DuicOawP~`Pf2B_Uncnp)N^zQmdp=w2~Hb^ zTJ*~E>LgGOn+>Y>RNF0AzkkvjErd|4H_tha)rzE*=F+3*N@mrdYDP8TJ^6q$uAou5 z4VhCK;`LZqK4y`>tSE~p^U*QM4H>j3iLEs`vQtOk905|f{G=8P6mN)7_IHuK2Yaa3 z2TH5bd~m+lT2Fn>R^{i>+0urg>LM#;OO_KH-aE_SidSfb8LS!cn%!Nw5tuVu(4NZd zfjhZUaJY&q5HCi+6Pz5jAki*iIlgl`N}t013m$e6*f+|Rko4h$U3haIst)zzIXiMV zrd;^u01zAPYV^?0^dt2`h4oIM=W?DbF~YHHmQNX%!XY_i%~B^YES4VLrST;{yH8xA z{pP}#az!5t?_kN6X$qy|k!;2xyxVS&$_r$$*Q?qnqr%WH)3KmxUy<#o@L7FKBmYm$ zo;O0>P=!&n&r&h%hd=h1S`$gfRbY2=vrkg7!heC_G~}2-m@`~{Pxo)u-~*UYO_5(< z;|o+TM5=-wdeb1dwWs=K#Ib!M9{h>eV~p-<5oOL8s@%c$Pf`(=#7AZ?=|f!Y)ChZ% z?+U#=C#V51Nurn2frkZE=~;Cg+gjA#jH}rTgAsc{o$awBvR;87lx~Z>=473k3`ZL_ zhrn~o1*S`Zf|$$+xdHPiq+)6a4KI{qNEn-A$Qnfivo-4kM_RV}lNi&9Az}v9mAAe# zk1}g??UD_4)0{I#M^fv2^dmsi}yd*)C#A&aq6EC)WE+ETc}3Q{J+{go@9cLk*>otwVHiHd(M^8 z9(mDn^3*=lC4qS&D`&)M8D$i{`uZm4GgWeT7?$)F_?E?7hc8D(3SqE4=CU$WM(`P{ ze#%o+stnNV2fKG{g`#TRIy$0tE!`3}?S}-&wor$OLbZBwea-q;=+XQc*M$c!|w;j9Ojq){}<}uNkk6Q!06))@^v2ZLRlSqVpdfZy8vhQ_94ykzlINYPxHy?nwGGxq71@_ z*+^%-Dt+LmJs|Xz(aSH$j60#{*SYSV#TD}S&q^+Ca&qo%*J^PlkZ6h=g!j5iz^#2Gq1s&jAN&M z?P4=9sh>^1lpQG(wU#~hvmue|v&J}1SwXcr(hUfI5Usg#&dVX4ae~vi>gs=vYDcL7 z8Oyhe_K~Aj1)B>@INU4PYL}*<_hraGEdNs&+1O#A+u*NpWj8s-!FC35aMpN#a{nKf-|CNS$^!W(;2c;l^kp$Jn!g9T~Xv83giP1U>E2)J*u&)j(z**LmY75Ef1 z{DziL#B}ir`fYh8heGBvexUtUj@2|WTY%X5HRYO6P;P05XM-eyWa3`fD@G|gh3nTn zJKjM&FVk@$2LbsiYcVU6MC0ASp=Aq<9!EJ&G|9%wLO)D*z<2Luo_;N$)LJX{UZ9L% zNNsM@kO;Fbmsc*!T|XOwKdg1%S1hSTo$qpS6G*=e!1Q?7ouQJlc&+*L$z$nXy`v$2 zZETfooRX#6u~qnJ2n+(q5&n`8@J?*M6!-W4u7%{e5HWz6`+p_9w)Aw8@wt)$ z@(hEdo{O%&C}YdAiCs`gm#IO@2Ln3g&CmH|q2x$v@fI zh3aaA(IJ~rvZ8~eVx}q^P#=WCiTd&v)?>mYJB`5W!xA^o$_~Lj>XKK5a*ApQ!rF(; z1C?m&&Vkf!C=-(W$;ynB#?11}x;SAfA?RL9nCti^kh_`HOCXe)@p2f#ISbIR6!eZlCA8wFvBbh6JwOtLBPnE%cD$BSG2`@` zvFRI6uh}~TEi7jtrTGvDRsIoVg0;h20l_|wHxLHGb2{db?MDO&&o~p{Lh&9X5PL-+ zuPT8OyiUJT#(7k5_6@pyM_<>0AGQe zcvontj8q~)<*bmmdeAn8IBPz3F$KJjnkf2@vi__?mC11#)P*8iX<0DB%ED@DH%c&S z&X2q!%_dyFF1;-6I9yc}6b;CkwoR~Ani8Gq-idkww&YQD-Wvv>f!GYkFpc9v$yk{; zJ>*38#6@(zBfCgd(tTvi%$kx12xs`=onVoMdn1C%X3z3E(GWrPG$aar8g@qy&U7QG zubhDqrlU0?eg?9RH{&t199oTBt&ky($zs3)mfd4`*v@qn` ze&N$?F%+Xshb&UigSUM%<|JaIj@)qMD(09fEa@Vy?613e$K;oxCm%R}9tpxwaw3Z9 z0y_G2%mHj}x^Nt2PIijX;i+^xd-iuU$xtH;2T?MsjYyH)dvTno2kh1CiWFP6yz#nU zO__IoF1_d#m1F7RvX~4%0EMC%uLRY+6a2Smt~kh8O@jqNACm$?W1C(HlL;;{J?>I2 zZ;VzpZ;U_8{Ss=H-Afmfi6k(=7VwTiI4EkFe3=H_Dh| zU<9kwjrllqVjPCqf^srJ7Y&ue$dgK8Zp=$T3ihPu@WzAHU+$T<;>AYB`BPTf%t%?7 zQQ^GDEl``|e~nHc%D5vb-kJ0)}>i(BevE-^(r#q-CjJn%;qCjxC$Tt4ZoZi z*}r;oX3hZb*E6Qa!H9Ps_l1M}kffB5{1Rt9&z@@T_&FKid^&32p*KLNt`633t$O7! z6yJ$d+NL;~Rn*W95=!|iGF5<%taWnDzDxIF)@w^~MdS1~5H&5$Vun{{4_47)1EM=d z?PRFPprz`qQ~%qv<#(Isq%E)PyNrx*2&bxq3?kS1M2Z#@MGM=>XwjPDNmEv-0g+;~ zM}D41MI#y@iIRCr(IN?nOY0lJ?x6Mep?3`>irFYUX^q`e8mGo=SmNwMdn)Vrtyafj zC1SytqZl0?52eDW#VC&gn_w3_#NUAM_e!*aKu;|(k>+K@TH*FonrFnAQ3Al` zpkgY=j3Q8#g*baZ>^edOff*=L=;5`F2% zmemSGOZc*Fe0U&oM1m*f$ZI!>9g#%nSr=f%5F{;X3Lx{+TrOd7PP_>4Vy(ljoPnKg zE>(2}g|iQt)|ZXTfgD7M z?t!U+rr`->_^i;9kXh3cKj`a$T4DnS>_?a1Pk1SX%`vz72|Pqg*^LP-^E05t#*pId zSEx6#tT29@5GdiYr_sW*FpA84sxqMpih~(lO(x2gvny3^`aRi%aKY}9q$oRNp!h%> z_cNHZU!jr5%R{g?Xf4KxEegSf7Q41*cpMgssN#Y(_c7L#NW=ZiaTF<9vSye79_mz3 zoE}0vixNhXj6?tPy}X{N7+A1`xKgvt%uy87y33Yn5VuOW+^$obzWvJe`S3*pnbi|~ zPRSio{VnWOMK6Tl_4<*IilM2scLu;k+}_IkyLDxE==3k!D_o3GUrgd0TZ|YE`b86W zASLd2Xk^f1B#%}$x$6LKnbUH@KMmgjEF-+k8C*nR9P-^t zCK@TJaT!E(9CkG#R=9L|s2qE)?9!?6;6uF~_8W*kT&jo&xYZpLL$a)Vhs*$>JUIRk zleT%@j@S@}4vuCrBK=KZkOG{NS1nEU5~R-3B?q~OpwN>FCItGlb?B=Rf&#F-=h56))8*va7{GRNSDo5jtNQfW)ob~++w35iWxBka zKYjc8=umHabSNTsXuR`c#UU!gCN+Xi#J?o)p1!TOwC>)O!eI+pnhc>RHAYA^QVAOW zVIj>!08~q%a7a3%XCpr?pv(00PI{{aQ3wk zHjXStKg_`8eV=741DP5Buu8>BNj*7>>zwbk%yOQ0pY9QQ zNX~S7=34npVr_!;g9mMG4~GM8yj919_|q@H24t0e9bD|OpdWiyAKt{mE>mhNB!`%n zgIcr^2wcZ>5QapA`-$ZZXB|x$O{`YM^4nH1+p3kC2NkO$b)Q;h%7aFb4RMopTrgpF z$yayp?eRtC$g3@>d7KXXS^umPb^^ESw<~=^y*EAz`ogKeUvSYIIl{Vyh(S%><$obp z3~XipfUXAWVn3kS=&jWws3ad zA)F{^9K&>5UGNN-e0k>1e8}6$JjD96~=KuB5&VH8I6svC<=} z-c@K^VB3twBH=gJ-$2hpU68pDKn9_7v3>NF&T0aVv7yerbOv@xA|2v{Sv#9N=!9YW zCXwL_sWILgg_rOJaGR`qxB<(ps7~SA6eWm2#Ft>4NP7P?a&C(1~J5{J9e-CCQMFGWD}W3iXJm8KhdHbG~|F-LgynqAhi1NHJBAS*)s zJPa?ek%HeRKo0v0CNpU)0+fdO*(%m1nZcnd5EIuxWeU;JSm3Pr5!9!E-o{h#A^REn zK!iCJIt#$qp9;Xx;5EV(!(93%$FB-!@V@qI1OpsD2G}5ZZdsR|lYBJXdSyd}a^vLN^~LDD+-yf)7_yUi z=hGd~T!ps~l`J373y{X=rY^mv+e844qk3nnj?pVAsG0I+nlqgX75K;&;YXt4OZW;VcRIlfK7#D!;vfE8ZVmCH>FP<1pQNU=9dyv z=J&y6B$AuP)_ithEGJoP*1ILAT@HdAM+})`_h|(tA|xM84M1x_N9it1MFSTlPPK}B zmqsea_uLvCq}&n@5e*{Wat{-_64yF_^93GXPq%oowh0hJyV{jq3WD=J`gNGM3_<_6*%;(@` z=rnEioDFcgzX74EZucL1SWowI1Vz6JeY)=4X}^*ldq(?3bQ0fI%kIy7oG?ehLv#)~ z^}d-$eAgu60hzf>0)u!50 zLO6z%FJ^bev3KYOA=E^3Y5qAo6qGtiEN%+;LUhrqo`OXdm>2zWCjJ-^$D_pTSi8^2 z`QMj8LAe%pIh6FR97xr{Sn-rSVMVnRa7^H>S6nXe>?@bi<=z=GQpN46@RPZ5&PD_;8xSLM8;?xDKvAQN1vr%womKoq`Y(0K`S)g?~#?x6x)T3)z! z53CZeQ$P&b=*gdImGg>GUP4VP!5AHg@Wt5y5+VE7D2Bb(>)oGonyw46O03Jc0rINJ z7NGi)l9gQ6Bd|SE+xy-mlJ_%l>=B+Dw+0k3rBcq~gPP+$TKn0himEZ*l`qhF<3tB?a&GWcg1`#o-V^|c#0`I%!R@j zNo|QC@&VZ+4;<9ok7d|Ymb2dD-+-Fvr67Lpz~6REJ+{=DE^r@2%dbDn3o#7}yCtfi z^wgD;Lw0JAV_f1!e0PV!b`AM?G`wvP5ryT_HYqz?g&D6~e%qiO4ISg7P`h|BhzT$N`+{H4KmxHh_ zy6o;SRH462tuBYvO;D`nHtU*KijEWZ{M`WeeBWxgV*l0oFs6UEP(=x^%|Jk)nnG$d-qs1 z*#lx-p*?=a{TLe6+-72efNvi!|ww=z2RiWG<39l7c<}zdHuQ;inWY7#0 za8&=glCOx8+Smv@v{ApB1m)94NfVYQom2t^bk*yt^DVSOg$5Ar>g=6|?49A3S8j|v z!OetgoK$q#NAyKgsofvEWz;ny^A-J)Nppaa!s@eb`Gs3jBTR(mzEmEWi zk5k9vf%4?)oc#HP)>5emKyN&C4f^~YDX9^k2v$k8??m~utWxqipos6eScX>{30ZUk z&QV#ff1gRDwOl8KYOz8e?GyyGWRFNmXEI?>^D zL?Xm`oX;%JzodX8$Olfqggjb=x%<~07^u{rfMBLt+zC^A5dnB$aRWNAV;VL{)oF_z zYv9}$g`)kl_Pwf^5RL?jJd2Bs=g;Y}wb}mKM1=@g(#KQ2@r)+*M6t(Z@~MuYB_o2B zuPdIP>YhciGYmVTBo~{_J2IWjaR=;#JzgYiXFMj7BmFZpMOab>G)06LOMod;s-T>x zm#OL4o9Z*Rc+l46txkMA+fy#6(qjQv>-TMVgKiap1WQTn*;lgl z0m-#&7!F%FjZa5MM^TcW^=ZBQ(?+g%!f~DxC1r`HrSI#PQYe7_50#I{`3{+u0Y#CC$n zHviW?*Qp~E_$hZl&^kS$%O3=Izc7O<-+CV0%;{l5wP=~Ho_+jw_%3V(EN+|p7)MEw zEL$ugRbtK}4p|>7R)JT~PcuAYcZV;1ouYU-=TfdDLx;bM7emNHo>o_HE}^}|lMs=p zt~Y=RmQTw++@(k)c@N_GUlFrml3{d)7+%=<3%+Y>5lcE|7BLlk3o+A5W|nJZo*TPTb8fRb+LJEHLTr}6F1Tm zzIETCeD>{N3U0-bW{_9ZYI9|W;)KyI9Q@Sy=V?!Wzx}l@d+my5RbXxCaurOQ$q0I# z&+Z!_o%Ck$Kpi11j7UNlkfQ%f%_bO2DO=dl$a*n4b;d{>j35Q-NTzoZU9DEsqYPfi z3K2Mxg=H$HSY`6kx;9@lu=5DelgEQ{HF~NRDDUUOO8*42sN-iR>N5uIk>gR1R3#mR zutwmK+Fr5lFJNm+AuOXK<}HQ^%YjHDgonA|5)spTtEe#R#Xd@EkKrT}qe}b=E7uYB zT73JWO>L;GPj`V0uI3yj)^ySu{WPcZbU}xgYtLhxj7S|{uAnogquuqxV;uae(Y!0$ zgJof^X;WVl7Jev7t5TW}zif$JQvT->&X4bHrp!{Kc<{;I24iL+=(;)<%g5yLKON83 zrlMuWRGB;M^%vXY-yr-kWBP8d?})|TmH%6<60zt&JY1ar?-;dVl5unaJKn(h3!ZnT zCDE5^9{D`HN_F7a>nYlkJU>y?@{@FW^d<3)5U-##grGIgxP;nrX$5Gag54`XG_(`&H7^DT6Iy&j^dwsa`)Bl)KRdWl{_VoT8 z`%7P6v{N`$BXW?8vx)O;$sexSVO;(dglREJJQIRlM!(&K;oLf;8rl@^0wnTwOeRnSn2EC z#>$w`9Mxkef+5rap>k`N~ zjc>p<0q43SW*xHcis}|E06sc+c?BRcF~k@vq|*8;3cAob16y7y8QO(4ZfVg_OcDQY#mYq$zAu z0gGls()i?+cyp8F0$@Ml?&B1SYn39sQ)h|b-H}!jQo#$PRzt|2z92!~S1-04hN67Bd?GH$Hj07H_shGWB8&(;7MiHst@JB7gw{l=q*zU$aq^>ze4bQv z{su#A7Ihv`i4Bl7MWV9N8AZD&CK}&DEkyGx@Gw7@-jcKA;A!D|d{t5X!*p>f6ni?m zj0J-D$v>bG-93-9dN23B<}N>c0kxhkYr=PtegI$nen(sJ?QBWpXUrMKXI1Uij1ozA zPpI2y>TM1XB8?1v%HMAnnJToT)m}7BqlZUl{UHKPv-#XU-qdxxuYLW5id`p0{2z^k zGw9$rxjDhk`4k`^Be8%Ri7Q;YVAJ>a?^l46R3OnIbP*-W;Ouqqb&~c(YaPAVt+EO- z+B8W8G6Nr2;=q|b<&v~f-Lzu1Lgr9U$FT4%iAG}KwJHD6s|tN28m;*S69Z~E+ts=7 zjP(8q@uAHt#J3`&LAN--+}sCIx)-J%$fcS4&V%7p(AP+>j%`+M5Tn+PIT4G)2Q-B3 z5CF$KHXkS2q^YvKQzY@-LrjO%EJs_c zX?Z$OMO9Y5YXLuIV1Km(TEVnSG4Ab3^WS;>vgp9Y1*9N|{7{o3lG})|!7y*iEgY%7 zJbJ7H>3%}D@ktoDM}nB@x%{_${F>Goz(IU-{QyiS@94ILH5;}dX(QDGc~XjLg+@w& zbBIo?v$2^}ZVtuJw$F<$4?4(4Fh}89w%L zaRtwijjgXnsfn|}`u2MZ$$RaYwbiW5PUE{`3R+p0R$eammNm2-pl3JDS2J#VhQew}H6FZu?6Z(504_%{L^Pyht|k8H2 zD62dX`CMA`5V{o&J_-}J?uH$*nlbf>S=`U=v&OqIVim>5$74`gwzi*iuFxY+HiuPefR51`?d z&-RM_tv?IkCXr!Y)`VC&?47?YI`))=_#wphE+MP<(Q#7ioP%6sNCFe<$4{f4R7PzL zI<$xivl5&K6*iPLaT*_uPu0*09uosE7W*yi-*E24z)TN5OPY2_Pk($vPJrlq1QecE zlMLGapn@O=9u!MQi~nogYnfUF3qS+;*wH$lJ{>G^D0HRtQNlM_1hW5*D=xAg(&3aeCm9mBUT5=|C8w|5 zls_Mtbyb_U{16(tF$7%54ONkIbk+i!B7L}(_zpy1O*2gFUKZm)juQEWC`bt(e(dQj z*rn4q-TD2CPoICAdP8Ss1;_@Gv^~_f%Pz!gzM{SofN=jPB)1vMVQ&sE@BP+btWV4hv znRn0gdprv?KrT*2?hfq4LuKVp)ZagdN^941W9g=3m zq!V7gevAIYE3pMdZJbrvoua_*4@3JmQ?T6sOs#=!swqHyDpc$^3a+|bM=7UAOA23X zEVlW>pPvLA4^02s06+R!$jkqlN4LcsY3BM~5N-ti%AdY0AA*6X%rYi!d)Umf_7yLM z?pJE9H3v2A>6DXCTL&~E3*JQ>x8|0RbT8cbY2_x(FQD&r#DFk5!O2?_YI()aJ5K^c zK}djCQeCtBQ2V4+3~AQ3%aSOu4Op$(Qr~R&iAkC$Tv*9s-g>fJ$c@6lOe-i3S5J+u zF5!Zv&PjW7?pM%ev=)kb)-f3*q}m|q=JYsPW!_z!(%`yz*OI}%_&bQ+w`%HryT;`+ zz-z^Q=|6fLR-!dT)o>94{`xS{g0}|019-pzHG&N_L-ClfJbeFv7K@&+JOclsgiClh z0FHk^wIhE3*S{F@F&8#~=O4`U*$S4I?_Ut^B@zJ3`%gksOA!HB;J#Nf07t{d>n}KP z>??ih3M_#AzZW&jzyU+6p1*AB?u&P z_r|@QFOXgE>ljzYL!7$bQhWt4c!Rkzl;6=F%T?*z)#&@h)D<>z@|I&Ix$6)=>qhem zgpxOKj!Iv5=zNrERC(B$L6H8;tVr--K_h^u4-^99O~oOYX4w%l93Ln=DAyAgGC16pEpVYWkby^W@AG^_i5 z;o(jD6Qm{?_+f3^qJ$GuM%j~-)Zt|TcI^t>~j{Tv!lI2-odj8r*?BI9$ zvfO>__jslKQfJA7Rrlj{X^pkw3DRroIcrb$DkMsc$fs8O7#b&P_X71;KDe$XJ~15I zVX|8hI8r_G{Q)+uIW&mLn0p#=00lrgPyGWU18uYUNCw4t73zBa7%c-4|Js&;JiLOl zn5Obx%TRhZJm+K9i>W<+qH0gq-FD^Y+Ffa1bYYZH%eqG;s}}SA*6PjUX+lw73@E9O z{Iabasw<|5KM=xe>R+kMj^EH2@=(o-eQct44}dB;WI?jEXoQ)sY>OBRQ? zEl&Q^T8UsU1HmzFuLp9@KrlfyuKo|&F5KW=TN7NJpR<8TE~$e8A}98ZEI6`9_R?Mw z26A{s!2*+c5HI+W0>}Za8}*);rCV+Z?<}^XMg4H#?o96tay$!BP*x}ah-Tg7&yM6E zB3_K2t|Mc@W!>pE+X&tONi*Zov63OC8wnk%>Fp||d9ZlYO|L`3T2PMq+5LOQ)xOYX_ET&CKdzxc8H}b znSpIV)Dp}z5ia6brfOK%R#CYbG-)%Ck3pG39WkT});sX>;;j9kp!e+9^K#V$!5o9> z20%GLVhoaLy24{qeixsTv1R`1gjh%Hzo5{8aO1$`7;tM)Tj^X(eetNC?SGfmzth?ZMT%mnHb`p zFB=eHVE6cU&Cei z*|PynnOXf4wEO1EwY(57% z_)lJh#LseaMu~@E|1P@kO{)}NunPGqMqtV7{a2M&fYA$bh!+mH4&H+OWD$8rS)pbs z_X3D-`fCG9W~ugjhe6&9!5uSg7{hf~b8Z-ngxoVE=wcdYLZ{BMKSy_9>Ys>;gIC-H zO1OuzJkO6PR5FLOeoy0L4?v4{b++BU<$UDkzxCJ84@df4_% z09=aaq!HRr3<|=3g_5g9A)LN)#9Zd?Sk-DPc^h1rsJi!xqvOvsenT`Bc#%#PZh;mAzlMZE<0-2V?qd5 zrmNnuW|g2$zLr*pq%+c052ryUu``GRoFQn<9TDOJ)ff}45d9+IpgO1e`DyiVxe&>~ z?qj<1e7D2SyZ)qaBnS>_(qMg;qgHVCepXicjAxus4ZE*&~dgufpv>Buj{j1dX{^jU&^HL)HWz*qY)_JRYm-ZP~1xw#fd~+IsP7p9KB?b~V zsD^*%y_8_2sOTG%l1yMts8xUg`jFl0hr zptD8r)j7dk;85k`ThAE7k^oa(?iMH~RAIg?G-`oMt28ufJiP#irCF_)h6+s^W=*6+ z0^f$O-Or7_=*B5B$^F(Y59bdjQzL-MuHR`iiX+~1bHcQ>rHx81Gt{yh%^=jQmp-}T_Pbc3Zrv?83Vn)B!O&^ zLvY?y&>OfrX@~4LU0$sUeAD^ft73fglm#LQcDob4JOKQ?Z;or8!r3rXRE(fBv}rl? zCYu{rt1;mT&q0X6n2OCImv6KFVG();#Hf^L&XkPOOTfVl`4w&d&)Qpf7r%5$T1oDl z!r>Y^oxPsKrkb*w#}-`IbwQZ@lU0QJXQKRqt^B^wtzQEVku&iVggFjfh1Pre7Dg}1 zM0f?4)a0MVX;Ye*sLn_1_P>uj*N?3IwEtQ73XPQ>8$_AnUI>5j^l`eoa%5Ih6z$VF ztgE`<&2g~2IC@&r?O4-wxZxYybYfd4&CW`ptQ0S->w~amx~r)}rU~4x z7R$&UVEZh5zC`}gj?Bm@MVx!|9Osd-^Nvnk=U8^UifjG+TpTI1BpbOhbPhyjt5J!c zGRoW+H7D~#)F{ZNc*Yb5V9OliGnQMljXmEDS|^9qX}^D8@oDvz(|S^A>-G*uO=3%R zEJqL=J1RxS_hx1G;!gI)7iJG>cwQJW1>;HE_<1=5xJ@}Z1UNV>tT;ak|NkOV2XO$DC>(5`^f@TG zC^-%P?Lc`s|L3=gXMRW%Pn>9Qv*uGOrHknZC8`{bs|1JjKm;<}9w~dCnE^g-R1`9n zx&an8{J21V1UbLgEYmspjxjsl24 z32z5KE)hPNf=C14T(B?(snX&kU5KnUoJj*|T=3!sIrs^N80BqdjJe4{q8sp;5nyLd zmEN+n$T?@h$)0qDSs`n40{_0{v`|-P)=9`i3rs_@#oi%4!Irf_Nc01wEUl7uDDT`r z!d%I!T9HqHTOo3;I-^K8Watu}6{4vd(eBL0IwX=7@8d#I-SgrFgSjPd5Lt1-ZUp(} zw)v$annyQ!$QgZM(_tJ0acvMne8Q2w56Vky$)kpA6EEcMDsRhBVf lv`bp9R<7obsBHvn1z~CeK7bUBSAdU)ABB!iT2%(+{{Y+`xmy4L diff --git a/main.tex b/main.tex index 32e190a..1a22977 100644 --- a/main.tex +++ b/main.tex @@ -185,7 +185,8 @@ This is the framework of the proof in \cite{arora_expander_2004}. I think the intuition behind this SDP relaxation is almost the same as \metric{}. $\ell_1$ metrics are good since they are in the cut cone. However, if we further require that the metric in \metric{} is an $\ell_1$ metric in $\R^d$, then resulting LP is NP-hard, since the integrality gap becomes 1. \cite{leighton_multicommodity_1999} showed that the $\Theta(\log n)$ gap is tight for \metric{}, but add extra constraints to \metric{} (while keeping it to be a relaxation of \scut{} and to be polynomially solvable) may provides better gap. The SDP relaxation is in fact trying to enforce the metric to be $\ell_2^2$ in $\R^n$. -\cite{arora_euclidean_2005} 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. $O(\sqrt{\log n})$ is likely to be the optimal bound for the above SDP. To get better gap one can stay with SDP and add more additional constraints (like Sherali-Adams, Lovász-Schrijver and Lasserre relaxations); or think distance as variables in an LP and add force feasible solution to be certain kind of metrics. \cite{arora_towards_2013} is following the former method and considers Lasserre relaxations. For the later method, getting a cut from the optimal metric is the same as embedding it to $\ell_1$. Thus it still relies on progress in metric embedding theory. Note that both methods need to satisfy +\begin{remark} +$O(\sqrt{\log n})$ is likely to be the optimal bound for the above SDP. To get better gap one can stay with SDP and add more additional constraints (like Sherali-Adams, Lovász-Schrijver and Lasserre relaxations); or think distance as variables in an LP and force feasible solution to be certain kind of metrics. \cite{arora_towards_2013} is following the former method and considers Lasserre relaxations. For the later method, getting a cut from the optimal metric is the same as embedding it to $\ell_1$. Thus it still relies on progress in metric embedding theory. Note that both methods need to satisfy \begin{enumerate} \item the further constrained programs is polynomially solvable, \item it remains a relaxation of \scut{}, @@ -194,6 +195,11 @@ 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. +\end{remark} + +\subsection{SDP \texorpdfstring{$O(\sqrt{\log n}\log \log n)$}{O(√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.