From dd694e9cd8ce228d5e39f85c1d6e2bb7a7066a6b Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Thu, 12 Jun 2025 15:56:01 +0800 Subject: [PATCH] new stoc25 paper on nonuniform scut --- main.pdf | Bin 71786 -> 72221 bytes main.tex | 2 ++ 2 files changed, 2 insertions(+) diff --git a/main.pdf b/main.pdf index 3ebce47b0eb05845d32bc183b0efbefb1101e30a..031619c9e976ca1a18e519712f62db18ba255b44 100644 GIT binary patch delta 23635 zcmYhCLv$tz)2(B>W7|o`wr$(C{l>O!+qP|^W7|&tv(~+XZ&u?PRPB29u8VrGoMy0k zNu2~FasWF6BOf1(vx}3dp)HKZ=8VonEQvJQ&Li3nFa;xG;xRZ1;Q-76_wb-| zH(K8up0R}aX6;3rz>Zo6v2iTUX)d=3o*(aePypa19`B1iZ0@(;9uPX$hwt~ZKeqo0 zXoR#*wW{R(YA3MKs+12SK~EWqyX2P}-M-+=21NIu8cXwTjqm2Xj;=&Gz8u=jOtfor z5$FbHYFOD5Xk32H5dZ>+9yml`qGGT{%l?6?aA{eX%9L!b(zmt`IXdz=p}C(@0KOdG zp6gK|cfMW~E)R@@Bk1XahX4qx9VMle;J&n;%YzV$$$ve7-IHRqe%m}lx` zfKSWf#bsMf9~dq3t2+y2FV5gFyn9pJgEP3BaZ_trSlAggYvDAA)}?kE$Ip8Qhs%ay zA1le;$NT#R%X40=)7o_uzC3end5#HY9;Y?GBi0vV-a|pdoEqN;bhgPB&k`>D3aX#u z1TRSOTOWR9g26;zKiATp9eLaf21tu8U}WUq z3%Okyb`d>WDcSHmx^$LGgKur!R#*Gm#i`sh8Hx&8Cht!=5j@5Ly*mg`H}i|tTq90% zW-Iu~O-$dIvww=G_Wmb@>mL~wK0kxGyXUL&v)Y(#ik(UWdzDVd{WvabZH%(Udk-Df ziJVez{YSWAok9s9*Jf2dDnA=yzyKXvetf~3J0~Z;8cvPXS#c@+l8`g=&!G`dfAE|? zt-=Za-*!ud*iXH~`Vv2H=^-!a%h6N>?I5nGwA#c;F4=y$R{DnS$<^nTdp7daBtpVN zk^0ZrT55j=NkcM0=3~DSV+g}mzlZ`DlXLXL;(TiPQF7iqN0jnl{qbUUfKOR$?(mh- z7Vz{A4_nE`7@v0!On}$){A`Hw7JCBNCQxQ%bz)qmShyy7pn41f76QK8K0HzVE;5MK z6CoJe4GeJpuO%wj&b}^Dep#o(df_B@bAhE0NOg^@Zdlyq3EG+!DRL#LAna#S>_7Td zkwFQu?b7IGrShQ1Au^IcK-%OEl!JwO^;wPqt1aqKSaPd#&IoEA`r;p$-(^&D6#1dA z)f_vUl*i%^m$Hi%)r${S>%^G=pB6|y^SJUuS;S$q8zz3ytr9{y|VwD9i z7hgGY=2`W!UaWn2&sWZ620J6y>m`+|MGc2emqGWX#!)TxaG=VjSWDazUCQFVhlMFO zwzV{^vz`;JfWDxUSP_{WHr+n-5IAc+W*Bar!K;L$U>OC0_X7Tett=g`S-5@E_LqRu z5M+F#(2FP;PhyG=-~|prJ%UyigJjLuW4qD8VX-1;Zx&8K6DtY>btTmi2d5`f%fZ2X z$KKK-#;hMyVys)GZSc$xQNXF~s0?Jotq6nzBug0C<&G{*w`h@@!P{!rT|1 z8+^y`thV=fFc=Sb>jU zAAXfqm1_4ep5kKs`I7cU3)FQg%mUdQLsifq3SiU%==|MO*66VX+C(0-Kedr2T(Arl zO?)#n(mm*lhM!+8EWuk?esNNYg@z9&|E7J9EH<87VltK`hG%w{*qirt*pU}k$`$i! zymnEI+g6AI+jlyJzhT|9E&8de*u_Ib8NRo^V1A>Y(Xr+QttMhwooD6k@Vb|tEC(Qs zy!z$e%Th(%z(C24-=+>rTy}g)w?{5!E*(`A6s!L$pOl|PW zhS=rD(+~L#U?Zxl%&xA=vJ2-cXbCcN@o89Iq;-$W`LG;|#dtn$XbRXH!i7rYEx3uFg#HP=-Ua=4~fS=Kp#PVcZsLhRe@$Ot=RtShj!gtnq z&~gVLW2%sCPLv2T(Wi|a&Lg(df4synKvH42OdExaCRDtaLyZ#R+RA~F=M)`|#8bp# z;yp7e?ieP3D zkEzOOMkzlIE0%aIZXP#-tSOnG^0CuZyx4qOf*qY49OT~iHo>xu%vKUaLX#cZ=4hK&@tN4yM%|`f$he=|l2Ru+OBqD-h zgEsz9$cOoJm_to%!}Hu(5`AI z*De)3By+Cs4(0|ydxY<7R|KU5j7@qN zw!;#jt|Z+z)IAWrqD|Q`@yVdu*%jxqO1LKTX60vO?z>2#O5SH(;q^HCx#7ZWwi*Ov zl8T;lYpGMtdceffQ;)z;YU+#uG|<^UNsBo{ z9W(P~=WthfA339_7fw%tbPlfXayLl4(S?-@#UOi|Y;pVKqHv)?4!x3oVM{I7*4l(aH~kE>Cp$10NXR`FxXxZ5+u>hP|t-N17I?vhEOS10|zogtR7 zXl<{21N-c|XpRf`)!4;Oi(3C^8Cy6I0$I)}w$~#C^gU=5u>2v%42^RKyIYyw+7`j%M~zfk)!YA4%`)(z|)~Xyl>{X>JM-6a;A`+ zdbZ8`z!7^!*J&pKhq^5Ac9QiYaTYL1!^PmS5X*mw&(|-dXR!`(Brd4@YCa2U9S)om zHp(-(syGxO`L0b*3Kg;R%_8f~1(EY62;E-M zep{N;PqS9#aH$9W=`oMT9O1BNSQ#e;%~)J0i=BTTIQPv1>bpGjBr49zFk(?NNZ|S7 z$Dh5)!4O=vDIA_~oMo+AsRvd)mZl(K6%Rngq_H;0;tu&n-b@BpE2@-F2gqH?$Y@G2 z2*Gpt1>su*_6RbX(2?KI+Ut{?&?>$0P92fU zaLMB0#n*;JsmnOy8X1+Ic9n3-L(p^f%zbB#JxRBG(BLXs1TX3rNtZMRhQ;I-B1uh} z5)E- zr)!mj-6b%SwbT;)B`}Mxs=!jpPByJmb0M8zsbqT>M2h!sebUEHJYM_YP8eI_?5OkHcVUnSh%`u@Hx5W;DzrU>hS^~TK9JBDw5+Zq=Ow;5I$TcpNK`KkoBo2 z%p6~sxBSu}KEGBFd+)}ay>(QdLsQ|AXWV2ANtG^!(U+`u!API$)JxGkX87u*XlG`u z+sxIv=5T0>6q$MqPcQrccN-^yL9ekKa)bqeM!1}lxs(*7KbwSarXd>O z`XdnaG{g5{*r3hWs`whsr8c@egCmeDqB3hf?9|h1eYQifepWr+(Pcw|<&iUna=qa? zVAgj$UBY(DW%ejyRB@h$*W_u`%2LsW*EBp2F?N-Dn<6eyg>yQZ@uH4DbfF1(;QIUc+?t;4h3zXesmI`?&lfLW2pz zlcgK8%~2EAwG|gChv|8Br`I`eOA0c?SX{L5! zj7b$(4A~J{*p4`8O?&^)VDI*>-*`do*PeGX+n0nr^qz5ZXU;X1uJ)j?^@$#6ga@p{ zvtT*R96gaoWb4~qbp+0qjC81ye;x9^RmjkGXjQ^YSTmCIpI2esbe>AqBkR-D{r(E( zqUTWD`Y-LlcR`BfuH^z`edL2N402U1$@iB zNOueJd^;al_UOwzk=z##{py{KWidV-%IYXe+Yf#g{68DG%pzQ++Ciq1>=BWXrybbzre^{zw!cK7v zej1}#D5Yi7L4*L36A;zphk|#O86W=L$DPEi^Qn{RpfP{bTxf55|4l4~`L0cgpKcNlYW&j!sN}?7 zyTl1FbY7}AW6h{$*eK=>iQO}fhJNUxor9DIesQ8t*C)i-(U9;u`+B%vKJSh?y#XTioc2@O$-vGd9LCRrF?M(hZjQX##H?o3ZWa3OfCIc|AG5s&6TG8%` zCFw$*`9^yLT{_8EnEx>stZ(?P{w740ZJlUh2F5{+y3(5&RzPc57!^|6Gs3^ZAascl3O(|J?7d zYP-^t0{nDAd+GTGPg@48gKoEu^Z0*WUQP)RO-fxgjWfWD^3(aU=T<`IvS5Esk9mu~ z1f@g3>M(UR`gEXhVzk;|NE*YC>nSo%*>EEsBd4qMF?RVZdVh7^dB=GY4h^pFj=yT2 zG+98!J}%``EZsNwB++9AcMcfgG&w-ruCzxx0B9#%afzOKiJpc_WndF`hV7}+HxGh# zCwKwHt~B*xFbpqlL%aoG8)^DD6UEMfr!Xr^xgOqc6gr|P)w!N{xl-ayo*O1EzFQ7y zI6GvO0y<8KS&QEun{%ChcfR`+ckq#kpk-krkkQsDBy~T9W#)E5b6BsVDEFS3P@~2g zfIg8(+SuE>&l)VxFEaY*rP1V>ZOWJ@pQ28boaD#=%YQRlgF$1?Z-@GgD+dY>jj0f0 zLonS369M(|^W9D%6!x?WLmQ)!T_N`07<6zn96a?j(N*f}BBPvzF6I9*o`HovQ+len z)1@ukzhF`E{%9=wFiAophK(x|dje6Z0HrEBv=&tH9t!yyiJq;l}^9?+(JHO#-i9bkw3WCDI!=$N17->U2XhNyz!L}^ zp?4vu6%E!MSyab|m+=tt^`G}Vhh5Hk#!sJp+4wUev(a?)(G$rkaPwhQQHJRJLvZcCqWp6UpFTG&(VcI0?bnwyh|m#M6bej&AjfQ9l;tR=8Wj3Eivqx&;(Gl*a01%!@#|!y_0U;5~>DVxaIH z79YbXhE|(gOcCQvKn*@$mBM>UdZPChPQEZf;LY6|yu151J>f(W=<#l~&Na*+WS#_Gt)itL-jz@Kz2aA=WD9)Xw%5W zAXcD8+0I$YE+~s9m+Er`NKsUijIzUW7r8>bh9P_|By1(>+r~`EVHEiHp$0*S9GlBC z|H1fDvFC5#PqIF{@;UVogtxGriU`&qT%*BN>oS_@mM=*C%xl3zOo-<1s7v>|_c%)v z#Af79*b2GsV1`^kXUL|uj;^VzT!gB0JJU98{B5A)qRt`@-??}I2*TvCB&_h~Mt}q* zBH6!QYwN7$G~M*oK;gJ<9!@-h+Fsi*Cch)VVz7WSS@v96zIvIbO^-k2$-t;sZGE<0 z1|m^|A;`>G`I3FCKd6;Khulj z37(1@A!j}SH#P(U;5FLuOeH$y-P%BtqisiiR`}qDXsylV@mSYTps&fg^91Zu8#y6% zNFh3%bq6GPx`!mqrl|%pK>mwNC-jp1Lh#tx2v7x95*eVi!H?79m&=emq|*xw7t7y@ zI5DmQkAp`aHRdh?@1SdOF>ha$xS($aVpC?x1~MpJD`O4-!1!ttwaW|Ye^41jq%nk2 z_G1ijAj6lyh;U*5iKzyLyU{RX#GB`pdu5#x&xi=3f)9mDIQO3SWj@Q1^tU%9IcjVi zm2r8*`-^mqwNq^-Esb7OEj4z?nmhf zedm=bZa5bj;P{NUT2{PXWfUlql$j5VHlQdrI%&xaSW(6zj4zM#iHgo4Nn-2I7$RLH zO|ATc`k8_849a~dezVyYemawNuA@MJ4S{>`Z}?yN%xqQJu}~Ds%LSA{AMU?I`5TuL z*D(QWejM%xz898wzUBD%V@I}0hJVud_q0Vc67x*tMa)R<+`m=?}=wNet}2e(5+$ zq4h^#F9EmFQUL(?iW&tYX(4d3YY6Q+W_b1|Kvq3wO;E%2LoEXuWy2&~yZHfX{{+Y7 zZT*u1B2_0f8Q35us~Nb$EXqY?X!;@X=n_;Ev(zCrI z;7n@HZNAM@sS>}sUcoWiD-Z7V`%7L*Qj%ppnXhCZxP^wiF6Q5@!U<8#VH zq)+LD;w}dklkl8g*Gh_Qsrp9#wO-tLHTUaN!9}&HV34#7!PskU zC_{K-D0b>nFEVF)f+TQhIzpHnr4>+g^b_H zdQMwKO4_w`G7znGFuRJPRlkvpW}$^v{vk|!R8SUY)slHpaRJr`<#&aFw9Y^QbM zCEz{Qg*`WFfUY8T6MC8+x($Mxtu$X{`Qb64R6Sg= z05nlyaog)GB}5Q9m`sW)kRr}&R6FHR9f00Zn~cb-mN|XTKZ7})Z^*LDI9p1dNT+Q< zrleG8658->h8sfTGO7M}y&^E+F&FG6(PVn#OpG=)Wy^q+a2j`n67ji1&gn$`E$UihKOQC|M z8$TKvz#-bd9)f2Ex(vG57?dkymtf4$UhSY2(F8YDUtWw3x_j1R&U&qI-44tsAo;_& z*al?;oJ+z|Aa1s>Pq;oP&XoLZP5c*L61{nXx0o!?8+wlpD1p;uA(5%b|MQ6F;5zzT zj3`M(Pj@mArci{?QZ6TEQilv3JAlGxwY^#WvzNy8>r6T@txP zHZ#A5H>)C2CY|GfyCUy(FL>5A%JsmTEgVN?Q>p+u@``&|WV2PvpDJ=Q3H4+cN9i$M zgx+yB^hoCf7|j{?<)Qq`03Dgkt8Ct#Qo%JZNscig!W&2Z?Nf$uihWXgJ)7A9cuNoD z*LYEe>Fdm3P#iN&mfLuN-4{&@cg(>42%qx0iC;=0izDGAWiVo;%U`Z0JE+b4C!&-p zwie2bKHA(v)xM;M1ULhC45V#qoU@X$6Tk=*rY;o&tX+zSVpz3x5zc#8?5qBi3@af{ z2MZkq6O~%^=x_%Td}3~nc?%Vl%K}AJh;^K~*!_^sTt6;X@jn#VUfd=obg8xcN3XmS z>}ThH>|*x~F}U5#V%-u*B==$NgX*KiqBpT(`gSMpeIcn@T~j#wVKUQ&3HVt{W;7v6 zzhaErn@QQFUieR^0?PnVejO>2<-n#`-sdS@ z6i>eg{8S^dxecBDn|g0Q+nBJ#Jh6Bg*k)P)WwO6UEqOWk5+Y}gNHDW02%|J|w7NN2 z#dFuqDy=(t)2wS0O+oH6q;rHc-j8f)LTX>C zu@{!Wn9(ZgDNt8@ts4)3KQ_*Q#?XS8E5bi*y%?^m|G|#$hKDbE8L-K=as5>NHv}&< zm8}D0ZHbUW5=Xb)!u>))*WcfHwY?pHKGA0_3}J<^JMvy3*L)Dz)>rBFZiJhh}IDxo4OwbmWcE;_$rj+C=k`MfJ;N>n~(p%V^H2*0F zru;6?nK0}C*kF&)phE3_`Uy;p87of=$uz_lmMPwo1k_Dr3zEtC?y(VYg){?tTpfx9 zul_0;vs#LND~4$)+A|F*7I|RwxoR@z@k+lYJ_uK6-t^?vT-Zyp9$Xbn1|g~H<`$^@ z{yDi$(ht;r6^&2hf@k5+yv#UO?Mq&l^O3c6uXuury!~2)*-oSR%T{RlXTw2t_k~4! z^V{V4uR&?^!5k+I+pZ;I=9dTTu*~--!4It6ha^qXo*!z`Kmi$mk&}h}f1yB$hHTs+ z8(hz;`VrzV&Baive}5Rr4oDALy7q!Fx!cRK@b7QQ5lP8-t_k^u(c0a5f$w!{FXCTTwr6njJULl@y-q%frcKF21&~Fu3+{`(N*f5-=-SJhi59Z8f8rIh9ky)GlyU6-}(k8!wrZ0~$45YN1;_ z`p%e|LTp*MH~(5^3ZqicX$-VZubi2lV*sK!*s?LWCQZ>zPiaWE3Y|tfMiAHS$oDtY z6`SXE^(T0YKbRZ$X{#BnsbUiQEaG*Mv+`ylS@7Qi>?x6^QM#baztTn83$B* z((U!EX8~m^PHT*w9L}D3k;-;5Hd?Twg(H~*K65`npvmCr&0_=5v>fa*%tWkpp7Et% zR~l+}MWUSsInQyI>%3^PuP!HFP+M0Ta%c#M8}ykDg>q+o(0XbQ@<=&(z)c{2&zK1u z;akC7hXNgPa=gO-yHQ<*MkB;|!~q7;^_i@d;N1bcQwRB{hKw&qi;))t+SN2x9hCmi z);o&w225uUdZuqpVknm~edCk2cZA$v|C(1WN%4bBzKF585v`Kh7|@+CiA&JQV&@r; zg0E^Vq2?2#Po9<(HpqjiH{@19f9aiO{CGIkYB9;kWt_@3%90?&Q130TDgZ8LQxnf* zA5Mnyj)b@T`R$lB2b0zU|E56WcYy-w=<57C{x*X;>vspfm;SUT`-6X6f;z;Jbj{{e z9Bj!KVA6V_ui8iP2e^71!D^`Yd+o*e{Y8~c>q@7C8Btu!`J!B@Q(K|ntRXjtm9oWX zk3w`k{uPigxrl=Dg#5!R8w8kBu3?+?jcJhI>>n9YdI+pO{?_aHV0zQ-IB?K0_Hn$f zQSZ@@0L+Z9=|C9_tb}+>Iggji*R#CZW({VWq2FJiBXqI@5(e6uRco z9vhAu<~xVQ@|-zl@)m$O?btpOHCu%>b7pBY>NDI}IK3~PMid-hss)TDI5nDO^=OpY zO!a>iLK^_urWNs$RC`Iy>1JZt2=R{n?4AbLw7)3=au*tPH2l?qBYrHj)HPgX!5xHQ zzGkZW3xE)vBn%+`REH_OKmpCswk<7#B-tiWK4R5-mS^VbW+J(L6fV zMZqgc_rK9bGN#H~LIV~!WC~OX%eX-n7*SlNpHNTllyA6N=ZFO-z+2C8+@Hsd0h(Is zsXsZ%YEbQg)Zr+K{iXR?3?uQTl}ALB;@RgO6pTo5)mP93L-J3YhMsq>uv7!aR42xNzB&0(?{XjK`!SZ zase0;JdFv7l!~Wl5tx8#Ek(F&{cS%eQE=Fj^ii)mfkWupeX$+YNV&TQ0`a=Dh@DGbskjH&cF<8;w5gLromTXZTT)j{q0_Dac}v2I3MDQ3f%bi~5Z-Yn z1O$5hNa@xbdG%RXgUx-x(+IFzK|?9ZGYz~`C}0np3gpCcC)0(-Y80tKCNf5CHnD1! zN~}qs<1J?mZ}j%$2Uek%dkJ}q$5GS{X0oHMcYu^$sIO=(Koz_g7f_L#9MshspL?TK*f?fSJXadf;h}522U{Y**>^!ajy_ z{1w~b+Sy_U#1<|ONBDvtH`GG)FCNI67B{5PMVd(s!}cY1PjKGJh0W()g*A%Tk?~Ok z@rdJ?Fcyn-0(R2|P}|85e78M;N2`Bu0|%8ppWio#fV5ILhDU)MnU?I4TnzOZ*LwWF z%%-^&kS-HSGQ8MB7I;o`ZhneMyUV=3FG%b$_|v4K5Kds$qyQ-#04pO0+yAcc869nB z9QIVdJpBOi%K?K!1e+42W5>y)E3?K54)5n;728TON1;YmQnanVpIfh={$@>*4XUj| z)XJtEe+3S=5obAp%B#zRAB3rK9Mko+NU_~K{n5-ND+PVdOjF|HfhO}ZbQb6skKw=)V+J@nh zOoImHPzDhBiI4rT!m3h0;6?WhBlF}cgN0F5+4XPBhsIF_LL&VB5`@Evq+#aU7n3k! z^351NruRKdZ(uCkLGu31L-WWnvjsH%UHpC#Z3)y9214BZNZ3WoSP` z3fMBSn3Mh-@tCy!j+BtS;&7sV;&5n!D#HrU0!8BL^Dza5q4iGc4A8`pY^or?g^)V{ z=sb}p>9b51)QJM`D7#gEba9* z!GBWsb3wvVk5x#GwGX^wLBxl=&xxIYss-d zd+s;NuBb)@F*qBrx5l46m1dHMWhyPqjuRGJNz-YbU0~%?fhuzJS;7C*{)#d{x2 zQSiRP{D$@^jwJ%sCt=(Pb=;8I3G?#=68zHKCJ4xx_h==9-0Q$!sK?2GPb8Ww&RI3-=?P@}iI!wU?Amqgi8%?(gn8jrN?AD+ zY#Zcn4!y`^)P0r6-4kxKd~ zQWC2pk;ohVL1KsG^dE6HT%t>%Rv;^OA6)IX5b%>sHE?iHziiFGBC{o-ps>*e!vKA> zUC&J@GYl@lJHe(Dj!mDmhH?&=2B_@(a^}0?_=Ex;nkTkl*u@3%T}3O@D&YG}1R_n! z?$SxJ4>KpmfS7}-I&yvhpwpVXE_KR{+0*;iZ>a3n{6B>auv1r`xzG*iX#OyLxIXHd zu;!uU>mD?>rvO+2>?n4-(`VUYx^1^s%BD^Zb$f=z(-iOl_s?rdd70-Ycs8n9XT^$= zp*-H4ScC)?HPPfh56^1=E;MXFU*6mW!1wv1?s;cy%gc4;Fdq<<$e2~j68onv4K0O? z%W{W`G5y~v!O1gOz~8Lr%xnixIWWnv)52&4E$skc7mVS_++^g}sSVdIEt>_8CAl@# zvwMGnoF3D$DxsP~V{PrTb2=N{(^=H$rpD`cV12Y+KVw zdU?s~>GOMwn=-)ThN|-4*O5ZJvocFHHLuRpGqM;laA-(pFP2*MnWxqbqzDFs(8LWy zcL~fIlM&5}CynW>lZR5xe|4`ThOEth{^5qJq?cC9CjQ{P8T|0q#7tj~l;-NKy1Q5X zm!(&P<6c(&>V@@mD57(+e$i>ylZ*k7@t|%SNiBbHxr)K6fM4x%z&)^mYEr z^3R_ejo-FxJ!C>%9V4p1&OAz&Kz{@3VKb!NOvdSv;7XF1p#EIxUv#OzMtOC}aKlO| zYLUOwk7vhQMber?KRNe{`+=gxaD#OxN<8Hv0#`BQk$^k4Yt21KkRf+*!<*m8MGEE! z>em7;UZ0&>>!4P#CT!}&LHKZ~Rbf^Z_2szhhEbeYX3mBY&b;_2Y zrs>jy)@J#&Nh6Qswb0xwL>M61oY;6qi4`r#I|A0{nw+3vp~ou|co(X8)k(3>rd;Df z1i>(81BPb4FZ{j>^rrD40?pVLG_h}iaPk01xfjlRkG;CJ7|&#-sa>9r3C^$#3*4}B z)Bkv?>iVI6rZBO1mpFbADb-XB(0RDE6F z*ZMLhzhu4p-dZ}o=FD7O0ZaIVYNDFwQ1==Y`_}(S_teGka%lMmLRI`1q|cX5TXw)( zXM)w<_}&a1ky_$05u{^1f=zs%L8|W$6f$w6Lp3?K#vU+a7HVy{jxvWORAc3qw8fQ= zA7&9XC3)Zy)GKgWEf$Fo`7mwh8*PP2aKtb^=;hhk;BEh&qb(*TRY|R&6Bz6s8N;R4 zaL}fB`LVL3x_1BX{gV5aw`14Fb`9XylqsY2bsFnk!{rrVIBCvBYKejJBGzp0-Lr7eSH%o*H1)?^Opg=Ftv$l}^0w4E#^gCLS2< z(7PWZDg0#epo5C7g1XvN4V@#2_)2J1LZlhd+~iqpG$qv&*p9~7WQJiz8I%na3ui*L z3ZG$H*?`3vzyAezguI{NWCSoO)F7$#;UT9MWMqAaz(8phvM1wzP3R^kaqo+muDUZk z^5m>MEjc^r9-?gOu5)(EI32+2l3PM9oq z-ee>$jg&SuU~~r>-)j#I;~}YV{-Bcqudc?iP-*)Zm`^!g^_b;EcFvoU?kC4^kyS|i z^fd*)FS>Bo{A1J}Y=+(1m z{X>s0Ib8$T=O)czc0_oY5Nz$!XY!$~g|*W=Z^C^0{ke&_1i?&dUD%A6fdqiJ=WI;(-_I1ou<)hx2@ljFPnw26dz2@vfg2P3f$uzpyLr$B zg-pK@x_flLZkn?S(O=IFhf&o2a_X`>otB1lI`{)J_;xkvS4ayT5xxGJh4iKl>lGqs zS-3eY5taRp)#Nk5o|6Y?^0df}fD}&(_9ua|q}r1&3|PPCz(0VGtu4_{sx?8#7E77B z*eybCnbw8RCC2x`=79U?-GLI(Uk6tFq*JDmQ&6>sofdr|SAx?(pkis$Qm@dmh zEb18fMWq=}UB?>bseBFDJE7|PzNP?lENLVZ)S+JZG2nj zedZ%#-#ubX zBv7nzX8D5}T#zNnp<}3RUe=3nPp8&x-Ko{JY2||^M(}!x42DKC(@%u*@lxt$$9b!g zqJw+%p_@~9F*S5V(_HI$Qb7SMFN#F3=aD%<1OS`;)dRr7vVIXrittZ1xEp%vC=;T` zV;)ZJpeY2nVDe<X{hjhtrT8jusd(H$NMOBj0h1-}(c_>kD);p3c2qhW#x)_U_l3 zZo7J`=d&cI-@CJ1H8Z03e3&+Y_*}SQeQJmYw7Ip>UnKZ>`vi^%eci{5!9yDC4p|@e zJ`r`xHUpyn>K_)vquI<~+_i^A(mS;a{HMw-P5>}?K?3AlbZ+pDSAD~asQYXTWTgpA z9|v~k9`_SyUN1%%9F@?+_z5%wUKREoe;+8`{xRk<;H=}r!-t;K7Ip`DfGfPeYo>nb z&SK@0Bfpel{dzT>px9@SHgjrob-8f|e)yoFG8b(OE|t4-!EF;2#zVc*=YvaSH;z@{ zLke)k&S8E%$9dOE>0BUr?0dKnjO#fMqEJNOy4oKg@gX6_+cADS``74O80$AjVg>nj z1+G@@aJ5NbCvcoF-s=knkB^93U}Qdegbic+v2k#xu0>%H!4@ zH^%#kfaq|@IE$Q!_!5n`+tnk#H9*1Rycy*8gbFP$Oi8p31SdFkm7j~ElH;9L)B z-`?CJKO`ugOLx5=Ll1LTY_)s&R={Vre8mJby;O;~fR`Mh#{hX$ zM(O>wc_cWA$__T(w0&6kPn_-&4#4KmHAnzIuD-%sWhk-nem=_|R^w&Me_l4=E|oG; z{`-^ndn~W*fDDRBcYFG%|MOHU!n(zFS%hnSV3>6%8#+a_Rca*rt-kG?AO_fsmyTt1 zbeGvJjr4i~6QMtgV|5~s#kFP;6v}Cf@yZjZ%??cv!wACtoQHHUgM9GclAJ;k!`}b) zbSkypJ_ItEP2wHvW9GVTKEsAwPkxq86?Db44MjXE*h3Z?ASQ?#@9>#=93C@Sje)~+ ze8F7YSN{!xUdS9xarJbTEZ0*<6$XA^f!(v z!XRvIlh~doFus<1&vU2*LB_-t46RJfSqJl3lf)1l;!0n+6(?wS45pKL)au4mx zjD?20hBS39n92KnGD0}vUq!qJ@6Mald^PiA={Nt}gh6lK(@+&%IbMgdp zA9%E^HRmA9_d9PHhYcS7I~W7^v_*0f)ieDO58sRfj-u@IoYQHOD#- z3ibnoID*EpTd>g%e%`x*GgdX)V8;60Qd?dLeiqD*k$$UHrhE4N=e5rAuOz`*cN}qU zO=s2BW?fp7uF6p3{s2nfls#H^m}@O6h5El+cfECH);>elgOI{Xy1f3&+rO);#|Ab- z3$uc&;J z&W<^(_CV?hk57DuS>3XUs0$o|%P&=Ko>ek^1*rX=>l07$_t|1L#STaQ+yT1=y@z5 z4|4o0&=3N_CBTC92;S!ta8%FD)#kNA@#TaGD<0Q*JLI%4w_^GwvSNAx<)Q-Wx#H_` zgwbAZYtY#~p(8{1gymA}!wQ*(F7|GTrf%RWnf7tvREf$otbk%NxjYU(>*b3dtLug`5YPpAcIN(H{<3xHOpXKot=dr{a~sK2QP`yl*wj-f*%Vqal|)3-9m%vn zz~#Mydlcfe!^R=Zh5;0B$FJumxXgVhd8I3x(p_l7bfn~kuJgmJLMBSdAH8IjR*Fi~ zrDRU&P!+8to<=G|Em^6WQdMz*Y`=twN@_zf`Jj+eRb(M0NNPhqIWw0MoLf=Kxv&Z~ zr81M!lvz>AxG;H0go+rizA3piwqfa}sVR8`;>rb&`nD_roLN*T8{{@V? zDe`ff3`irlJ}?Arm1=MDM%*YuFp||y7H!mBR&_*-EQ=_GKw;l6@Q-HhMZ^J5O}x3D zaSc7Rt;emmwMOsGJnUT_XkoSXV;-ElqvVmkJZ|4YmJ4n(DG`2I%Dl9xBd=a>ig|?^ zKNW0!dA+^>_#KVgi=T%#8hrb@=eM^9-2YM*JO=lVTSy^h|5Cf!rdV@ZzxQd?szQ*a zsH(ek#@O%U+fIGIoCv(Jw>aFs6?wW*xv@8PLibs7jR0s)4SGv%Fe|L5Y_fmQwxr#2`MrVQfBfH6N^fz z5h@jHcuPel2ZSyM;Eo6JgrioVI;#aZ6~Y|F&neMO7BNY;P^wugO2_ij{a+zh85Py{ zwWYgjC}rr976zoH8>A$qyI}x{k&qS!hK`}TLqL#jkXE|8k#2a=FaP!X^nSZ*pS|{7 z&$ISEaqn}s?Lc*nWC)>(uBJALWV5uzZ`9yH#8LJ1#6NR!(|RtgII!h3K1kBo5j0!M zBKp@JCPg}$M0wEM=RvApsM_Ysev{d$Uw`h`vQ* zgw+}e92@Edo_;_}qs{cF!q_bfQf9WKPVaZ0>IhHwbk5nLPXB`;o%HF^DGFI4NS&t9 zj5+A)$HeEVNO^Ipq(D&guTK!smfipm?ksOK9h2}?S%vr?12URx2Uq+)2k|kheuhyd zecld?uf7Q1tT(WHjj9z_D6^kqF%ItV|C&retv-tfzNc`jvr1ftc#;^_`erV1F5JC4 zIZ@$ja7nLl_@ule(YU;5_)6?$`l|3k?#>+^qKr@3{{-$Z{Y*?4Zyp0oJc9r-6rIb3 zFMZ|vB}s(h+Zx)8Oav{#%T)HQ>}((2w}>jJ#Yp|Y$j7^YCOD}ry*S!|zDFrD_@)?y z^Y9bgc0V)aXqn`{^P@QiZ&?Top7sw5HaA=z3D}uiN@bbbTu$4Sb#t@#9IUyW&#crs zPHQ4R8tpqN_wn~D4z|o_{x;tG@*!v)easNCSo8uL zPg#liZTpHD%ud=FO~P)um7R{ZLQ+n4oM{9De$7?8T@~A8IE9o(Uiu2++8e*_1G>Ju z+V#t+KJ>MD;)f?jS_p1egUaaLptKqk#6&5?@r1L8@dWu8%uIub2~sdsI5vJ_dN?zD zg@GBUL1iA6IIjS+gHuz=LK#Xr-=1A zx>Fh#@t5Tr68{4}t&XIRlq?Za+;ZMCO|K90L@}zE~jxPk! z=1WbjJpBa1f8&Yq`3QuYO*bqVhLk#`gBssY%f?B~zj;sd=rnQxD35TuxNZ@BTU{fT z33(c5)6S^8@_=|RC|~GL3%9mvYJ^WgsJX8;`Gq6`Ji(A=rK2DFF+nr-v_S2)t*NAe zXNC|$yviQ9?B%qJubb7hDs6PVz9SQ`f?Us&e82amN$k5d(dekQ zeaX$NOofwJi|V`C)tUQp5!Ix#bCA){p=A7L^!Omc0{S2NyuprvdcQZ*fqTKO!& z=2-D80g0{z8-CpMK>)k!IBK5wA2nLLVPjZH*89atxwVZabe&{1RR;9sAP~}fQvv)+ zb5>^hUs^lydZGbP30sLV#l!~RnR)l+-7A<0ADSZ{F@1Vwio*$wsgk>O0PU^29?$pd zd~Z+oZ{AeIB{BOPp^o3#mMSB*_8xrQZzNY0O$6HvkC%?qT>wd}j}J&Zp)Za8<^#f; zSOR*;n>YVmTH*)(R&mI&@Ryk9Dh?#WmLnikWZ#5-5LyfsBy^sTqZSXQI=w`?uySUU z!?^Vy{5G?xw>fV*&rhfSK+$CDBn!5m`&5;5B&3;0eNb#8!lApUxt_7pCY03DFz9LV zlq;-XKbNxTbhh1W6XFWdiO#Hax^#bF4V{kh?0QprNYH!Su*BoC?NHrjDC4tK-xpmz z{nD(|=7Sq~D5a15{?W&_;knW5`gfD?nIYL$CJV^n9j8zIVZSe@d_T1;SW9PK(O4VI zJP*5=dOWAMcPL;wvDX*#!>itNE)yLJC|e(xyONH_&(8wH2k}7E5C+4qL*z(lkmm4v zfa(Mqs8_mc#^y=Pq%J6Jx|B4QFRo0$o&nMtqWPn-A?Fs7=Hd}@?`?PrCcMxUiur(B z%7ic+W(LBn&!gSnk!|ovSS2Nhv2t*{2_~b7q_fcD1FX-2ftfH$=!=fXaEV=|iBK}C zfQ_p7_!MH4*aC=`MrWZmjqcuOxelHjbXItAn7P^pPjHP3=4PqJG7C$*wL0;AUiEwW z_yrbDeuqC>;|@{G-iFRCx>p(tw%KzSA*EZ z#ODM(vIh-^18yp>atf!gY8WzxeWw|FNKAZBOY)zb5A=j(@X*Q&OBRMFvp+R@3vDXi zsm8D71oxPYpDn_zCV1jX_PLaZ0#V6^;oeGo<%X8}%NJ*?w+|?jL*m%~W|foztXN74 zm~I{sB$x}oWt(lQF`wO$on0hMjkqJop?JmUvW7{A^?U%e^^YLSF5Xs#8Oo~{1$i1(XoFfFUyf7>Y_qu`!m z7Oiz3+@{*>%78h!uAWorhvM+ZTfl0uBH{+EC(VueA9nvDCfGq+S@9d#NC5!#49^`C>sReT!6yV{MC}+fSZqHrtgw^`mS2Pisdnt9 z!Ct(OfITkTMEE-5*P#|QvU0T4sy?^w0*1tf@&9*FDTrBWC zA{}<`-sf8VK*=2!zC>c#F_|8bA$8>mBE4@DZ9^CV{+VL)4MXeSi5xoMO?HMqKKHK5 ze6M)9+PFO|U*^_bTpffog7MKIgY-YdQ)T?HwPG?E3}|iHe(6_H z^oKcIMB&}C&7@QeZVcKapGzH|h!>d9;o#emjPsO8h8c`|h<3@?DRy2)&euOcd#?EY z1_>!X1o0mw0)N+49=`u*LJXn*K!+SZk_dsL;$k{ffK`mas7-iVV3D`=apV-Upb_Ac ze>CN%R`jM~`Ap3b9Eu>=!lcS#TpxvJ^izK(35`eGq}!Eq1@ zAc)KC+I4n-dv`|%HfDwE+&NKgr8z_HhQ1FNNti&aMk1yA8-A4E@OV?{@8J-mAju&X zFddW5w6ILBPL}uyeNmZw(X7~$+i7Lz1funp`|zRHb+$#`hFC>g&OH#-T$&;$I0r+W zhyLQ&FSp6)5tD4eI|IcNZpk^`vdh*G{gA9TGV*14-Eqyp4lDIfwW!^JLeCirnwphI z-9I`6VTJ=jwK>&@WQhFS&(y#M`{NLJYYhhs@&9c>V9T>$1c7I#x3#fzM1%;>S7qs8 z0|$PH0^I+ML5Dm92)uudbB|Wf`Sv%O?^6Uq5(f$bV-h<80z1OLS2Vy75K@s4L0r$S zN$*h*xDj~&`ZlzoAc!C%@cp&2At2x*cBUXBq(0)fpyvC>N?OmsjUjKP{{>9XT3L)BD?o{dY z@{VjaPOpCB8&BFB8rbkww(f;iHS>o)h0+bp^Fg6XY@)%uGHF9Ji}#vScAJtKz4V)3 zyY7m7JAEig2w2vmOzp-XcoyA&Lajf5!kpT{kKnr1S?ib%^SnS3Iqi1mAqtXSFB!#n z6hP4HT-B=6@$0_9l(3QUoVY;R%`zE*h{5kW@jB5C8VGSUKR-JT#G1-Ql}k8VnX?Gr zB@^@GSGk$R$9Pkh%lQz<#VSL`SWXj9I@wIWqLwn7;=zd-*sXvNEJ`}n2x_63{se5qI}e?=o$qgx}- z08lT{gBd+q4@TSI7N^ zq&OMpQI`78vL>;?VWTOv-7%X~Nvdzp(sVkjt7f6@jk#@i2jMO$Jei#{OS%r ziqjM0R&p^cB%gFC`L)nB2ydI`q@sc>3F5~`e@#K2#XjFIDrjTkxR!z`T!<0p=4=cJ zxD|}0BPYZ)S5)%sn9K|$2lAu5qIY0a^!%NVxfamVnsWz_e^eZvdS zc7~+e0#rS!a$f19l@V1fzj*LYNB)kJdWD<6gFVhpxP+(&6P;(Rq$5QwcZL$fH#HDo@bhn4iyXJ@QWmuv|IJJSL9HpBqM zLPsq`9@&JaB5R0)Zb*;J97Vl@b0)A%j>EQBm|W`>CLE5H=$sK~VOxEUqG%f%ya(Zp z0~kZyQREwSWe5%fX&17yc9bJ?^s|x)x`hJavTac>d#%oql_g@#BybziUFm1TB=p;t zsL1L*E68Bgkk%PUu!Tfve@^Aqo2$2WiA*dM)GN+ncu!XMLPJIonVqJZlg7e{3>s06 zMfe((kS5~7#?dczUZ@Tn>?Sza=>=(g*^y3|O<4bxd==T~9y8EVr`;seu=``!&V*Oe zBK|nQ1d{>TbO&=)FxRBK(TyU+M-n1?1D^G#ofk-Ovrn*&>FxKs72#$%cC2`a_TI;fQK&Ke6cP zZI1j`jJ}hJdep4lWBOOpqeB49;;B6#(6w`VitiMtoq@puB5RKps`kQEfEd{k8qx*K z5(j}?4R8*fabx6)SI5V2+2a%mg_tWd-Y^*&Rxoi!aw8~>99&h^KuF-A zAA8N__{zSxJq!9~0~zt+V~aoK^>9d+u*FdKbD;+`cDhQC{)w7^&ZO}^W@jl?K0~wIppK}Dl<#l-A~jiEBcfY7z-#2LI^#h z5&^~)C@6>&6O=aLF=I8_LDZTv`D>X0f=JK*+w2^4=?^XsWaIqC3H=wXm7Az-{n7!3ib6=IjWR|t&ZSU#J82OFj zL`-x}yb@BOPpxMKCdAooE6_UXXk8ZMmXe%gRW_p&dN=KCYl0#E~3dV_{l;qCY>l7hrT&5I1@d!vq1jbuAE-a zdOsTOYeDD*_ik37@QLwF>WqkT6!My7f3|6fvAl`O_%){6a#WWjie;&>c4uN5(~C|iTi|<@vLKeKC2TMfIu`{ zG=JOA2n%y+dOKTi>S|b6a>`5T3-ef7n3{pOxp;ZrSn`nEWqydV?g?u$lb7&$o}`M`yXUKn&>c`Be!h>A)`0qq<>_j-u7;}dn zL}!lcWutw{A^Vhz<2Oe3F!ldS~hJz zd^7k{N~xERs=E*)IZQq|ipAQGiDc55tH2Buw<8;b9lDPGvpW`qDZ37!id=UVR%vHX z4}-;bgLef6Eg_pzZGz;5E1Ew$Y(Ug*E~q2jA3*x@mTn%eFLuka7?Xe*R3P@h7~$f)|(Q+yZINQN2{na*FD&~slAY#)?TysW#|Sp zoZxD&bCmVS>c$kh2pDxMdXckLBSbpmk*+J=hgF`Cv~~&11UQ`_wQfs&5YQFy@8tNj zuYE5`nh#lc3-Z7{dWY7KALKJ(vJ`shdS+D4&Rf36T`n(BUe5pAhcNR(Q{&i_AE(V@ zJwK1T+dlQ)W4%02aNb_8MoFK|{Z(FGxvW)M+_9)oD8)_Mh^T@;;|`U{hDwHC!hQ8F zmBR)&;~_o{kg*=MP*&Tfp&~6*Nb!As0l})-aYB^4-TJYH7o|zHonA?uwf*|yY4A&( k&j0>a{eAjd4{q)zuI^s07M7R-+`Rlem<$Zksxp}W2d;I^2LJ#7 delta 23216 zcmZs?Q;aSOu&q1Wwr$(CZQGh{^KaX>J=?Zz+qTWKc5;)uPjcSssh&ngRed9s(*$}^ z2U;hk3&fg$LXdCIXLia-(R8SF)PG29dI9)thk2&>)Qs}<;<6>tOm z{*3OY348>>MInsi`EBi;hq=l`|J)ruv=&hf=l=X0&H};&zC7ke*Gtk_-J5nWy}w!6 z%?~f$pZ0zDvD4_jd~*JV%o1T{*^jKxsszKI8fSMJ4uS$wyr3m+uDf|z+b=lNV4lP3 z^8rg`Z=l*dnBBTH-Y~5)F-jblgUErlSs{Mss`Ua>&rQ8iQMG>fL)j!Z$EudkZ!jE| za9=&->ws{cU5A2^oy2+!@5IIY?IsdN4*M^;BA=Ol!w^f(~mP42{bjSG6uM%{&@|Hw=7xK4+XYJc0hpB5xXl z4VuZ4c`=2wn6#^!1PE7*oXFqQtV65j#mW$RYXCQ+uVu{$AUCFV4Us zceZ28KSj!3vy7iNVtu^@COxeER{CF@ zFW|WnIzW7CZZ^b(ha&-$`;T_yRbp+XdAJsPV5N8(ECxc^T_EDxEhLa@2MVzELc$?h<1FNU$pd2`E;p(!t{ZY)DIm%CE57X7*n(@=9tI0~7;q6u6ESM!dnv>* zGvWEByP>o!W0RbQEHcDyRe=>d&M>Ubw=mtmU<~va=9cTvJt!aTs+0ByoOvaGv9b7* zkmeMH?jh}O9@-AmQYHHt$`S-3K627zNvlr38%~nN7*6R@cg(z3MUz||fteIr5Wr!W zY?X2#WEFx=7$qlVd-5KvGp)BM&l9ECc~!wm#C!NWGxWaVki=by2)%rP-`X!5zk(O9 zCd{qHq@iVq`IKywK8=%FDB5TQ=xYGo{Y^7_wXvIx{^52|88`Yd4`j`MSgn#~(wu`C29S{}dxzRsZ z1FVG8r&DGMwm+z|DkSDPHlx;u9}h0jBI+7ZL-5ZUr;=3R85FT?KFTc$8-{GSw+lAZ zS&*Ph_@Yc19aHU`v)sPjY?(zSHks?I#P{R0lp3u~LR8ozTzV4!4%r193f9an>h3u5-=pOJit)^)S>-U@2jsnKj&{k4w5L86&e-> z|4OTLLd0FgR zY_gFM^YyyE0ua6-ma3$(6d;-VH6np5vdCTpi@$ETwE+KdtnfdJJGax4=HT9jTeYHK z4nWA#p7`1}ipg1Vqf@yY{EkvRmS2 zbi}3l(@{Noac76hc8HH=6=32rabuel4h-skeB&X=-oH)ZkGx**`lIXDPi5qn6k zK(p-2w6WM)$AN1cP$?B!32Nw_PhAK3IA#tOOMXo{#)dibw|@9+{ppA)HO9t8%ij-0 zIy<1m1n94XF=TxAE0J!X7myg~)@96^2$HcMF7Y`ESKv3ha@EW=qh^HM%H^qgH~erC zJHgo9k8$jtgLN8HupthEBHydPf-uV{rmNR-fni6!Lr-4}jKNXNFz1eP(2>f$puRa; zGy>badCX`yCPM;AH99d8m2fE^1Rw6b4ndux0QO`NDoo@2e#VJ%X5sw;OS7FA$vM9h z%E&0*`ayzWI=yV8AP%X2v*8%FwWme&Sgx^~r}|%z@u66!G%ydO@%FgbM{pilqv3ID zDQXoe@b<(~pe&&@t^*FG7<`O-`CVb%PqGT#m<3|h_{EIw*VRtKh669ev9(ZC37pIu z0TCm1ZQ00Ts$b-Q(YNe8kucy^I)!|BDJ9^zAG8UU3!qSU!5zawm4+|0cEdNl{@rI( z6C5sBCt50Vw8PM2+FBF*s7_y`C7)o&3`2Q^>;=Aiz9_o++i8kXd~t{_GL6SNg46~^ zLyS({fRN?jH9yqQyh1ams0epMs6(tk0HT3u%NM;eJcs~@^yw9h;5ly#^!*UhdJ<=5 zBD=6%f>^nIjohkt&4R3-CVF;fU7W)eYtm>HwQ*#w(=VyO<~#&q`mmd)FX|yeoblH% z-P`#fQ1yKuKY+&rFlrJ>JkcRrJ3cOe#@jdRlSf8kf*k7K6Mr zh)LrC%^XR`%eDcZ_=Ay}{Jl0E0Rjs%iHl>G=L<}{Osp{^>YZqfI5BSO**LVcz!^Sg zntf+TQ^kG|Go(W?rcDuE&53Fx>p>YNd%E zqGzh51!YkgTc5)yn4NhN?qDbclvhCr|0@5a?KO2NcZmtl*FT@TI9eSJ(niy)G~RE* z`b?DbSa(O^8|EnCXsc2|KB>2;b`>c&WxZf18>BiZHuN_~)RvxdLWC z(gz=8TfnF>m25xCm?lnc=$#>|Ue7}V}}pQyw|;{&22gdNMc4klmOyra6D z;EJB)rGLZ5&SlK=G4u6*3b69glB&HXQKLx&IKcMFR21Fhgg&TL;(P3&6|)mf@|wYd zt$Xv;YXuMe=gUU{8p0|I0a$g*Y>}byJu!)^PFvgvl?~|d0nt`d^M555#q~YmV}@Oy zrK|~!yYiWVi5PL4fkAt=H^srhH6R#YvZI=547@)br940*Uw}7 zhK|B>fnrFSL|VvYV}Z%W7Lr{9{v_Jh@V6TgkMV!x*x#rCW-aYZFK%>Cln&*WyJ{x- zfyw^cx>9CSOU21ZCoFpkW){yb+6+U&Mml6_tLL<#BG;5#LI%aUY=~tws1R1>g33ta zQZKv&R@8@xsHcjcAg#Ggf#C{_5~~Vk`FNc3&V@|El0e~L7eF}#AnMsZ2gCxkkA?7g z%*(BxSK>0h=b4vUBy5Qdn+k5NkdK+m)zh&E3`wG}n74PrsHc1SltK5({Ct?D zj@lW*+Zpw!N_DkVW9c8aHf>QcZ>$!~E5{&o^BfXqVbgYIYvP+M8=4s^2=;$Gk(Ju> zkS5i9SLZqv>X|Z9nW72X@?3_a#WYiI3M`aqa6`H4OOL}LSdSMxg*xJ0i z*2@M_m7D)=rZ5}bE2<|W0+7Nuswp<@K6!i!7auwYiu(kZoo!Jop7)3#e7?t7jrEkK zmszsyK|ThROiDgklw&yetW>-y^`W>2ZiX^I%0aTa^rmP^^>Ai+%T=mb^Jo%cUJiKt z_9F0uD~gn|wsfw4@P!r?W^_-pLRqC9mAVgzwCiz~X*(yrSq*$!5OD~+Vg$*}lw#SFB%Co76T5f(|{v z1=AySW7DpF(;F!!rkL&YaD4RbS5bhmNimd5{jo|J*hbw7= zKg1%7puch2#-ruTK_I}w`Vp9yhh}qI&a@b8>f8?B`g+_^d%}l8i?zqMp6@BXPw&yw zLZ2Gp*m*w9wJF=F)-$?z4!9|H|yA{-4hytb9%?Y$MDGWx-;Uo**J z0s0dfV7ObRt{zF`?uphYmPAeqjT=S6M1W^fPeaEjB2t78pCT6h-Za9xly>>g^L3w9 z@6(3O3L#P?q*a+}gKT=o8KzaUQw?#=wSndy{QfB}qU_m^X+CZ!iT>BSoxpx%D~`i) zn64YD_SA3XDT({m-1}@Z<}U(3;oZ8W%=XWIn8=Hh;6LbE2&{bG`^#*6bN^i8^nKIc ztHBcqs$63Ys$5Q&O}Ts2e>c?Mh&?gS(up{EMzzJRv1M--T=?2wda)4O4-#7_qr<#H zj~C&Thl^a}C}8lB-l<1QMoBiQ&bj07-4W5=xG%%3@l8Jjr#^{;0^S#Zyo=GZ(~I)( zVXtbcwk`{i(ga7+TIsO>CNceV8|XHu@x93?H_BLM3|~2Vsor`+ErYmZhb?Q|!Iir1 zWC2j+mq zhOlz}`l8iH>(}VKDOS;^vhr?vo3Qx6fmjAH-r`*T)p?KktnJzn%<|jWVa#}*GF~vO zw-CWBcHl%+e=Mr3<56R$anok6Vq`Kdm$YGJMm+tt^_s`2v{eUs$nq28yS$eGJ=&6T z9bNj%n%>lFx9deg+^^3Y0>tlo z9P%FE_5RuZ?Xvdnu{Nyt_v`Smb@w~WUB-DD@YOcBtnfwC8b`1S$ky$~I2{0_InVI8 z-=BIo;r~<}d%=U*t-^|Iyypr0yxgY|C=8jm2J2d^Q;zLwU>Ljfv@|L>Tq~d7&e5OF z&V4~?2zo@Sf6wJ&;cQZF&20Pg9J z_JrFy_8v1hgbF(`GXppOV$}kIdpy@TZC56V3(5^K9pOJD9oYOuw{+Y3*lTEFQ`J@; zEwpj?A|=Znrz!l#XfH7s1ZZJS2df<>eIn}s*emp39Cqa5+f&PVn@u8`A)yZm3pig- zGSEPN!(|$IMV|;4sjJJ?FCt(5?yz5X|MgnlySya8 ztH0T1xClh1w5Vb_@4n62rsImcCTjv1!*uzNwrgE$SJnFF%pEBH0)KalR8H*)HSY3 z+(5KUAWSs4Hi)0r%nRy6bKZiCS4)kc&PuX^oM4+pq3Oo{i@vcWNMS(@`Ko>EGl!bD zsyf=Z5u1H$oe{i#L_|1sFn=#~NRUIYJtJASp!fTgTAMHu;rSql%Ca7X5b$7N+ZMn6 znk4%l2#m={_PG(Q>R#_mw|4i@vW_W!{}DCUuli&VEmKlT;q7Z)uv7?B{#CC9tBBz8 zUXbZUxFn`N@9QWz@gbOzl>Wxajz?Nhut$dX{#3(-NF7IkVU)zV`Rm6N4cq6wohgS; z6j)v{*c$+qLciJad}$N}G;iv)x^s5lY`%OVxGS9dlu z%7`~F1X2uRE7J6+x;ihrCT84qIPy_T@-nUwT|$!{CD32-H{5oIkM=fs@HacDy0Ux$ zFSPhzdAbMQ-(f;|QV}a)q}UPCAjW9*D)y)f{~Lg#mqDXXa)zaS-J`rv@X#8*%Py>^ z1oB?Z-(XzzllPP=7EEp8xpSAV7?^{LX^58zP-{cvSCbi)KB(3PAmtHv7DiSpB^@)A zn01hB^eUJ*XL@;tB)6rDI7=v;K78kpk@yMo733uE7xo=>u8gkGc4X!|rU=7a0yf5>ZrS!;|6IBy zeBz5e0iBo^5~L7wT*jfy(4>wd)W6;<$n_Ea%yJhEg)|XWQKBWV2pp?i{ZB|`8M7dv z5&_mzSRIOzTJAz$h6w2bX=)`3>SqSpdH?{gp2WS8?!fcWJR0gkWYAx4Dr*g=dEIlK zJR-e`lBhQJ&&^~3-Mc9X%PkMM_UCe2!fQQQfQ!F3Wuv&C-*Qsv`Knl4(U48+P7Jo!gIoLT%^%)&x!@9K-x1kEyt$3kznr@w$wVi-yZ= zl=L_EUr$-&5Dp!uc0*BpdjK?A2x_I8$u0}Q8bL|7>AugqEE|c?EM_mnoU0&Mz?-}C z=E09d;OF&d?rS8Rg_BexmvH@A+4 zg((V3vkM;z7l-QuBXgqkVjyQH23YMTeE*{gBGE(gs*QakA(N|+nE>*(rqw}G*pPl7 za(5|Dp6E^7PQ$3F9f$NJT`=5-x162Bq%`{m4Q6wZ_9#y={y*ZM31cfjC#<@2?nDi1 zN=oRK<;4k&se(a>5&LF3T$#*`F>5;6ym7aPWQS}8mE4BS?fYoZLgJnWWZ=fzvqrQ% zNGV({!B3c(5w(0YEdX!qhGh5xFR^YMWdIrp^++YRdBOSCP&!!nIh5E2Hx&0<_=Xc9j>r^J4NV!9smw|=Rj6J>B0^lN(E1p z2GG1P+8|FYGb~mn6=)f&N!iC>+c9ltBQbnQsCmugxemsR0RG6o^HcCCPhQQ8@yz(= zMxq!&I?7fAFnulxzcEZWjYg~ARAT1UjyXYFTOk)o&cuw|)%t#p!-pzq#EVn*Xwn4j zoow`Wr`KaDQh>l1Ryh?L1e(-&IyAzM?!*%9@uPZe24i*hc8nM@@$jlgO(!61dCxOz z{x?383{v?V@G%9k05^c!Ykn<}v#8ry1W(&@9eyg^LaA|pXl zMvfDT1;xIbM3l$hp3c$AIE<;(W@1KPXm7lEAx7 zR!o7fV}+s+1dV~!WotCaJ(N{o*7B0$;w~nl7<45|qDgw&D9Wa(nx6@>9G(3KXmx)| zdoi8RX@H7PG^{8LMm-!;0PbSAQS#CNO5ZeCRbxD)oUs`7qy!XOaIol)J#$KUL1b+m3V?;7*LgAVK~1leJ_W(D?yoUTy*w@1 zvdIOJoYb-}sX*aUA7&VmNOxb`J9t~POZSC{wzlzI5<-DIUX|9zndGG3bXs)c`Tmhy zOui%;v@}H4>|N>&j{b`x(W#3Z#i(v=Tizn9?}#Do&kFg4;pAKO;Krvp5? zJRo{pI0j9?nRXW0j%BZLOpY#qUR$wWB=>ntj6nZ30cR^>Z#D@VBq?7Kiq&;w)s-3v zbM{C&qx@9A#K3-K-(?UHak*AL`<{x7fNhjbXVOn>9|f^hb2WoiY16Fg)bj4hJef&q z7*P(cC(JTc{7CjV^K<^n39BBqJAbK_3~*qVc`oXd>ID_btrV!shYys~ zO$I5pZRHNznPv`nA)h%WaMI}c7k7zZ$cHHcM=>Ztc|L5TSjmWf4bFut?F8lD2zV+H z+2+Nx8SZq(Dv;@BxsvC|=w7hOp#U(C|2C3{WEr$y(salkzJ}0KjhSX+&IhK6bRw%q z^p+J!Bul}xu~4N2X*Hae0*^bJrGio3`Y<_SoCI6b=V5bSaR|Vk-G&EU=J(N{ zIuC}{GV!d}I8?>3@*w47e;3<;C#-rEJJLZHESSZW)#=GE4fdBXigqL!(wp7KSM>l< zgoCPsOX?oT->l72B<$7ay8w@s4Ze(2&}R3AtEY0V5WEm|j&?{3E5z*LZF=2S9+zTz z!9Fes0xb5|6iSF}*^WU2~?%{JUkFp5E57Iky(P*sEe0 z-2v;-UEqVL-*X+TA(KtpyptCTVom44b84HMvI6cUd2LmUf2tfZ&*EKR$iQ<_t z95@}qPoX5dHMl1%V}eJSSHl*ycTt<2PXFlNGt@clS3`xsE$>WBg`*%P+o>EcAR{D8=P{IMEBhK&$VAj6*kqur#54Gq$B0 zYZ^%>jh~hY&mC(CAAod@kJRt30F9HOwP!u5)Yo)d$#-*wH}QIP641UftZ*#AZc9JY z#Gw;RVb#b`i0;TFV#5|MPZz`I&2A1|K&1)q_Z1!db3xAO8<b+qT~A`hdZd!OBK9E4hThfVE@Z9Yx+nh5y#k0 z6Re!ESHjTf;J|5#p8xL_BqS2Y8_4*f_vJnEJQvaf?A)t`?6@o>E1d0~XfuxMC+HwX zjnU=nB&n^c_@r|Io(#pNKd@hH!%5LAF)q$Jq8Rg-+2`E&eRPmP@9ncp7`nBh^Gb$B zvfs-p1X8QV5m0TQLbTxYl0Bl;HNf2Sc_emL5Z#l)H8O`_djyK0$hp!+n#a-g-__f2 z_b*Y3W%s~dl~aB%wHn{;DV`J-D|MeGiM{WZh7-STM@>*?CD3arOziB8|C>SNXpYB{aKLt-(tLr`AT`4p5VrpD zg>iD|tUO5;`T0ezp-xGYe>EI&=%h_RecvHDUhJjdeG80N?ImV z*i3o-^eXy(sUDhvG0q0UTOpf0O^5OG1Us$Gdc50d6|rTx5}JVd6%RAUA1o|isY03u zX74TKQp^OjgdD=x%%J}?L`RK7;{#zdw7Mk_&efR)i}b@PihFpsPtTEx;L3M*PmQ#t z;qB{Fqo=UTQdv{25s_VJJDQAevQdAEmXWzPiAN2@vbyEtPDn!+`1g=1POzRzs+eOn zKtD&CQ^Bc)TleW7^`+Vb1mb4WNQAw=@Wp68Dv|>XU~-iV)uWcyD58hC@?j4ns7P0L zmIr{Ud*tvFvC3uU2bVMNn%g?;9(sWMbg*ih`>&wn)4eM>eBqxDGC{mTFNOBh(Hk+L zoFW!QDD*)ywbdxIzVz%mT2fn*YS>O)m+ADt41epP`*LOCl8mqcpL{sl($fs;!}7&z~WvQ zPVV^Bp)*Vgcc#Of9jg50=c9Ar+UwYfR3znOe>9NX#Bk5zt8ihuTAXG9GgA$DBWGfp zke&){vd3gmN|+WMRuU}Kmqy7A!R(XwXD|SeL`g`JEOjPvW5mJ)&Cg)}Kc3VDj|lxU zA!9TsLlDKHa@eZrVXdKL1{zZYHJb57X2Xaw%X}Qj_tNOpCx79(UL>{k{+nO&V?dz;-NjX1ve}F~mL%OZ@=kDu^fw_QRW)NJ$es)lP}+rJHv0f( z<$Yf9B$7P;t$J_P*jX-D3%M1gSP+ST6~cVBN^IMr>vBO{zDvN~8C69hw7y(fUwMRK zvIuj^a_vcs$-oxB62F73H5YEltO^*k=HZp1MWEpI#86})w?rm~g<|z!4F5Uy${)oR zW-LU5DeZzNfA)V`#?lsb@5)@05I@kr?wu{W)0{sR7R~c_ll9cW zUtU!c`V`D^xvp+C@{sIW<$S4?YcM~Ygk!PwxmP*d7IU_y*@{HSRXQU^#c=?p1s$tL z$7m!9cfIt%CPlN7J%Qi{$fa$nTo!mDnR^5LA+hrb7vM~symFqR8Acjqehoic4)8uoEIbPZ#^I)@@DD-KxIW{A6B<;EZD5+(8dSW${vKrTkqUeYp0E&CI(PTmAh<>WqzGR(#b&P&oiR`AiS@2R^Oz zs_!b0zCF)l!qF!ug6IO1zu%x^R7D0|O=-zisGj4eTJjD;BGmUpCB10s=b4R{wKBxA zVZL#H{n_|F#0Zg9fdI5@lSt>yJdEGRK3B&X#Kyjv<6t$6SDVX%h9mLHH(Repid^NMs*>J0h zqmLiYbp`K_d^LX0+=Y^!^$gw+0B&rDeHT|L;&Ip4;xTMz3>$0hbyT9*(2iq z=uHCsL;}UJ=j>or2Teog=dn-3o9oa z>l5oyCdsrbS4f#DuAK81et>Rmci8(k;FMC*$FZ_?)Sy>09||=YOqcQ%*$Aagh9ETt zBCLLu@so?*P#U9jW#K$qCd0bg%MWy7dqn{7j$r57=bE$^$_2!l6d;WQU}Iuo``;64 zSy#syha=T5&mchJvfuC!{%?uyvExM2mAP^Sr}uNQD(iA0C((b76q%Fue*Nhy*w`sm zuht?=-Km!P3Cue4y_XH*KM^TS$&l4G>RuA8JtPj190%czYRq7;PEwv6_H69i<7IAT0h4C-$KV;Fqe zg%+AlN&*`i`N#YZH5Wn`qiPALA|p0|4y>&(8Er?~1XPp)AAbubwdfN_IH)kKl#|Cu zbxoDSm#BBY2Kp{fjDlbz%NwX94=mpN8Eyw~8_XFX(9PZfOkZ$b%M7gT7&rbEa{@#l z&W{Lmzv$1qlD}9Fu#f*8^cVzL*Ne1&!Hy^$a47H}B*tV2mVRP_Dik0QG1!R$WmsZS zAMJes*pmLE@B-LykcfU@%rK`t?;*t__aQ|jQ8Cz*KdfFZVB46~){r#rU`d39mMUa- z3|@19oI5Ge-ryQ3i3HrtJKqOO;BKmLQ$Yqv8T6;pV0uCM0FLpZlmRKE10^(8vH*BB zB@I-5a$pbJH-TN9>EHKykSNt*0fZSE%J52Hj{;PPNdKDT6Yn}js=-%7V|*2>J5j2a z=JpU@yrXK=UtZ2))?R3$OX?eBA|;aos53YK^F4lML3s(bS2#}(2X0F79-6kZ0YoXy zs5`!~vLRDXS*nN#Dl5pZ_jJM|$`vVq7Psl{$q3 z9*HVKm_D~I5_F*N@_{-Q37dn?VD(6ecId<0PGS-n9iO}#;?s_{R-41Ii)rL|9`F+IE?3+Nq?IAx&Vs!34O_-$qCH4q?XMaz1g^Pm#8jrMI|$UeyE;W zKgWH^Q<_3`X+@MzV+ll>9kHWy2-w?3+hk5loN5+6pK>z@tXkUwUp*Ux_Fb_)#X+^_ zafsLfbw-63 zS3#i-az;Mf!M|E^fp0er1^rrp`n21_&Cg(}!tS(2uk6oORqe&|C$x&y^W#z0cxw`e zhoX;1%yvPmc5PVChO%c{iTBYA{u{3F#3Cx#((Wr8n3+%o0}B1ixOcy zADoy4DMu`^0JY&#CYZuY^tlC?ijeeq+pbU1}qigMxHxzw^wwCk-(=EnLGE< zq1q6&=0o!Eqr~(Kc9#BqPWNzDg}NDIgAiwHRmmkL5!?kF@>a*tmQG%~xN&uN>Tu+p zOrE>-bgWB&D?#OxEWj)r6aEQ>mdK($|CfY)HT}Kq20dr)%%KOcznFG&>;0bF8jR7i zU3L9-^lR?Eu6L5+4sD`S7o^AqD&uHf6zkTv%RIqw5ZlD(rzOYk4MGs0$5K@?>&5 zRoBsv2m7-Ym(&V5IteFyZ6%evCWWrcsd?G9vB`aej9neg@2J=7%akF+R0z$-9 z3<3wDLk!Yt+2DalH(~nS7zOc8(?zyNLk2g%WW(63nQ{+cp~^-k@L|fMr|-2<*AToI zJr8@Ye0SyVBoqGLI;iyL!q0H^PZN|qiJpy}3Q+1VO=5;bxiTnquf0uMT&8|TPcCel zy4Q>6B3MS%8pAw4^^Y4up~m(G?Mg)Fe*6om8S;+X9y7S?r7l4oF*Ihy>FllyTZ;8` z?Db*Pk$DTC33L@_R=bV&N08um2Pf@OWYY2B9_9tnkiKJ+g#W;T+u3GB6_1Udbiod2 z2XnsLc(;fWO(>E1CmbgZ>TF12F=#@I9Ach`6aLMcWT6SE!f&eZWIc-(0si5%ZDfQ9 z6zaU^;N07@>yu4?iU1vw->|$GpI#7Wf+8uAWV5(~ni=u#kK%=d4q!-_z5Psjv6* zY+uR@SlnR%R51J&=^JeCvOMWYU#S2FyVlLl>0Vj##uGp;S5cRi!hYLDb2bBdy6q{Bmch1yIZoQa zUzRLg1uL4Q+kgx6hH?uA_x2MR(yWJ@iw+S1W?i#&C1SzC$wO-3E*7VKl|#QxTATI| zYzy6APaeHmK-S;O^DFdX7mf$FPF>tWjKU*eSm3K{IFxO}CC#68i>$T*#W1OJu1CO( z3AM`aA-=P0Bla6YiOb9xZ53%9@IOI4cqv9WYJhd0S1t6YM;pjhI`Nt_&w3Ez~Skv=wF=m~1H|HzFHS;*Btt1}}<3>B+92mL#SI^YoJnpsaxCm?hI^ zc*ZRiLsn<}z89cj@;-u-<`Lm~DQ&=qhrD`_v5g4=CTgRw19_htA`eCJTMx)orQLz{ zM?2LCsf7_go*^kh%FAiln)Va|k&A!7TXFgcmT5F*_Atd^Mztdl(5fnD{uCAv4rk<; zLo3+dHsb)v(<^_r1~~d0zT4HXXkzP1)ol7FQpXU4H%`(SduGd_Y>zFaA6Os%4cF$^yh#}Pd=!TTpNl#;i#$jkV z(l?veD6-y`BHurKC(V)O4i!K*k=umXk+EHK3ixf-Hy{SGX_?;k5eMj23iZRJicfCt zBNM{j*njA?MVAIVOZ#R2GWY(gJyBV&vM2Y+?82vgqb* zejua?4l2hrA4_+44G)(!7!Jy=(}~1A3hrc07`|KDvEFx|R`+Ob^?3*Ut$4`4F;2XL z?QN?cT}Z(}qNX>yJWVQ2!~^6Uy@YM0F!12mol+tkiNdoIVPXwTRbZ(kG>eK|m zTQ8>T=RD$(cb5{PUtYfmc~SnVzv0%WyLK%FPj7SG;A2!fi^7ZlTw)V4Cg1_DCAQVbgWNH zH>Jh;x0xh=_cG!kQ-X)qEjFLV=jKA-p-6Xm?;GQWe(gCdgaIirQzSX#BkC1hNE6N^ zd65=t-qX*Y<}76w&M_St-G6SVZ+N5=!@&Ana&a8PmlLH;GA58}+&?MXgLDO~evd#h z@Ua>pJS*pWU9xXaCg0s2e}-45uZ}yfUAnv1Wd1Wb9|64;?`z(4U_oz~=P99=-E$cH zpml%+y$3A#EdbsSVelGb*Y5Hd@vbhx!h+NEMx?wRK-#w?0GwJK+cy!z!&m^Z*mKHN zXb0=wKPb9g)Vmi^c*CSic{xHj6veP^R39hSwMSI~FW<4JM8=Q5%P}CWz5Ahc=h1Oa zbO3_(M!fZF>({&wF9@H3keg!jd9{S3ShU-LmPVV)$>q^!lKu(VGEY#|U7 zS>8J1A6?9QwxuOP{B*n|Y-{s^uRdc92CD@iRmS4)y$2Qne~RMc#ZW*&P{tC3?(GlO z9Nx#Q0eF8`-QRIRJ^ikuVs2QZ7*=kC>+NbcZ9Z|IF!vgnnC(>0v=Qp|#>bEn@%gqKTs~L$rQ-Z%8x44H)H_E& z{(3Mv1vkwjztkbuD@>nJ@RqF?ID9Q(Bdj+}0u1NFE!bZ5`)>}Jlwey-yV^udSw#QN zjX39eANISJ4zzut5t1(p0Bd^{(z{EdszBAJi?d!g`^uk;-Mw#aWA;!K`_7W|;6;-5 zy~a6kQ$5Aay`zp221jAw1W$%6ehLnN%|f^j4#D6f&%|Ax3=)s(@!m~xd?WI1d?GH@ z0Q5jMzQb;;ARBH6Hr5>!o%LXe{^%4Qj3%8-fC~S2sJh<}OsM1(fs{KlCdaCLRoa zzXiU=!LNZI80$L>X#IW`Kamx$Hmc$l0CBAMsN?tKgWSJ06_ie|XdEcT3GBrdCURRZ z^UW2+hq3-+DHrwPc8C!sG2q2nHAJ^v8-PBR!Sr>Kvj->EuUBH)bL?^@nUEY zE;sdmphs9}NP@Trox5y{Zc3EYPc-*LPWV<}4Mq-YNdATkWs*42=RM?KF=aG^0Fsbi zAh%?#6UXr}S}W4?;~-;jP!k0vit_&&S>h6ZBmI=Zoh{zGukbPNXj1dw+^B)HNLj1YSz?xs&^ngmW_KO#j&8F~f#jc!ZW{nfOqAW%U-E5(VpQRa5U8n7`E{i{Y~raKRv#>ON#XS*cC9`}=?}dqk{F573-xjr#a^ z`SF46$=V1R){FInnrr(RO_N!P=+Jxl3Z(I9-RtFvI8-Ogp||?a_J=K@h|qRG(G@5q ztebuhxIYs;WT~eXq2ILti?BPVmSgh^gxs{xeX)NKhtxyoUioxo{TGW(?We{WD7m)c=5jNC@8fYv;_+Ko1DF=zV<8;y<3a*tGfr_Tkqp#T z_RRpQ>4Mh|yx17WmlmJqKs$9!3{ku+QQRz1PUgs=BdZVpzTb%70jhOg^COLdR}cqS z?$>ZBzaTSX^=V$N79nU);-t(v-S{G1_%fslG$~dA_8y)NN4P}uEdEESR>5LN=2i1}x7QqFd`YF9AM-9Vw0~+~(>?Ecd z6kryv1SC=b`~Urot(T$`waJJWvinH$w5FVTW-P-T>~9~)`&TD(`(@pRro!kDlfrWi zU|=zGRbxdMps-+hk{w;_+WyZ?1b}v#x7fZt`j7KTgkyN}oxNG9Ysf^PDj8jGS3l#d zm5=SvT92Ro@bv_BxMS)UHLkZe1mI`=GVS2`h8EYlYVPIX2R#ulx$l6UH7y(G_8W*e0 zdZn)xd@l@=%V6MM3wD|BCr^%ompAP=+Y_bd;Z&N0mwyW`l;Qj35D(1nr$pRhO78d8 zw-Q_%CMArO5yF+Q<^$yE9}41zU15zTpyYb1uM&FH$RK{PbA=y5BR*j{jX#dB$T|p< z7zol~zXRuKTp_=SmkZA2M=*E5J^PdjUGbWYC6C}dCFr?v}m6y#6TqbfH|^ zW}et&>7#fd-nhF948=iM@W#DTe*A#c&Uokj|2b?DPYo0>E93u2l#Pk~e}iqkWSzLI z|B>iBn%`EX_Ao|W45}EhZZYpwi#76dhJO;V?H{fqqhDX6*iK20laIw zgrszLE#0v!taO7?N|!4Q(w&Q>H0+8X<${#33(_SZT>>KA9ZI+KRloDydw%zy`_G&? z@64Q;=bd_H=6&aNh}|$@C#M`mOl#KkW-)W-$E@kv9kT*)J}3oP+5tHhRQWz1(V=-P2>g{#z=jRW%c;>&@I&^sRuT_7$nd+0&IoM(?V8%?m5RJ7sXuV@x6BcaVz9ASHCD8e|kcf-? z=_SN9k`y-N`car7>f&)!I-`NXA#ghBPsh-Rn|w>=+*7w8bJs6;n4&}#aQ!+cTic*O z`6}VyObTZ%KG@#R0utBlwloza8D~8wv1oBsR*?g4cs8d3S00HTO+XD>@3 zjSh@DBdVyupEJtk&aGc`lx9|p+YEAx2OR?$gf{FrHRZ7e ze^X)%+`P1}%1de)WE-a?so~ZR=g`;R%~3oa2scEA^Wb%9q$uV}KU|@A#OuJ%WK1RM zO6rrZwNrbmQ2Zyb#zxDlTUO&#^{LROV6-c}MoGY)@)#*Sq@4&4NmJ^#18#-%T%C5Sg;`&@GXzfG{^*mj7%_%-8n_ zPV7DC3a~=t)}*G_Og83T&egJ;-ByOQh_ORzEUbqb+ooqfw@B6H^kO^D27V#Eoho)Z zG`!T3xGB|+M#nKP4SrZ^eTPQFEK84WFDs-hWqGe}&P_ds=)A&?c6@}N%=??|mT!$_ z*Dd7P@6`5AJDE=Ass-8VIF20*rJG#4&|A;#_vJ1gGx9VK3I}H(eyVN;X(;Z4tIDo> zvSUg?b-$8&%&x}}pM9icV(ptYSAyOcTr1sLnp7omIWJM`DZUMVsY^5flgH-fTBT<* z3Df)@%}o>=mm=EGP4*$xBHy@+^5&&WSO#D|W@ZSRO5-v`R*mjQI-VY$zH+7}LL{w6 zNmsKFPs9zL@k*X2^#OJ;=P*z`qC}SzKi`EQk_AQHx)Fhw1YhZAGT|CMy$qhha8s{!u)n+OjZ4G(8ZmLITGu*nSMnpfLq<;)a_xVJ!hglrjzuEdRjTco$X)E;&45ljzr=;!KhTVkJNP$> z;&V9>eTC$(PGQ29Yd-H?8lVrpZ4Ak_K1Pu@z1B4#30)A~1B&zNTN?3DA|~%cZe4K5 z*rtK;oH1Y zFZP7a$CQ4Y`=T!a;=Ve^KIgcXrt#0jk^wkS2+k{&_6JqmV%A7nklLPUu-Rv~AL>2l zpBoLHDrWXy;}AJu?i!mE`Q9|1l2Omt}0kXU+%roW-Vu-|5TnxFivZ z+wQ{eHiEvZMxixL5`TzUO8kHgkiL%JyzsyAM`fyhk;&2Vxx=TsreCY^kGwUES89F& zP=f~H{6YMCMB3IJzvk<{MKcjI+qnu||1`jNtMsWlBnZ|`>JpZaW=og8q^+;LwqB?R z_mwxaF~L)@NGC+!P0dkQR0zTi?OH^ux2}L5lH#TLEzJ-Ka&*ubG5ll0yz!T|eh9Mx z&)ownb{C%iw}pTZjAh~o*%F$Er;kpKJ%3c2mjnW^R!NhN|7m2Vh#Mh`CV{zjvJkeM zP|Esda;g{ZMY0+6vu%8LHUA}}enIzHPD*uo04thY(>BIIMxo;~{w|6G9-p@DSdl_{%st=d@n#rpkfujLNB)aJW-dh^{Pa}`gV$f(Em47XRt&AD=z zw0M$;2+Z~1G{_m;`{yb{rJ3n~%$JBRqSAn!p-Iz5nSb$qH4=ouZu@?Yaw_fZ7&z#Y zusVcoB_Zu=RuPB8S=(&+HqIG4=1OvG|MWRS1;q@Gy z(wn;nhAl2w|1dI?fe=CER5(5!7oJDwQ`H&eZ~zwGNbcdkRBALQO!7a>9W3;oI!6kV zv}_rD^UyN6DJ8%rt#idDn0xn2e_Md_<0F*Do1^8nir9T7>6EWo0dArvWE2yh;2nyG zjud61id-C$;L?8KNU9)K4GK)^Z?1hyuaKEo-S2<-NwZ)L9qkogh4M$`*#jr;2(Eu> z4&D90eLD&O`|>ruN9=#5rc5%g{k`nT9Q~2BDrTXuB%~;}rgarTSIMp1#=k2Z95^f! zXrZ^FM;7!px^=85)|JtfxX5wU!7=b~mt%I?c_DEb)ePz7w0@`ZrEQU|J~74r9s^zT z?D7PMS}>aAFXq3WXK}zp#s3p^%E;eEqURtKpAn+k|Dj!*^)qKpf8Jci7>@fZpqO}- zN4C;pXcB#3#@B}-ccE1U1x`EfYGT&sX!}Pyks4CjL#rH$$sal2Z6Iq-gQ(o3@CM<( zcz264NZ>^fiJ^@&H56$V_RtsUyXA)YC*3@mtV==2 zf|rroVzzRa_as>;>wJSk`YAhuD`hgi6{=+|a-G%ImUhrKnX^z2Y{oi@N0&kXXs6YKyoL40h~uspoO-*6%x6u)n=)ZntaHSXylc*EpJzBOz5J#ysC#9ER!R}M?Q z%BSd`Hb7~W0O@MdY7A-&3GiS3DK!8G2>%m49AqZ}i2jvn&-ntx|HD9BPtfC%t@ z2nGoJPjs{|Mhf_Qz(~^o*aJjsD*;`Ae@aeIApnr1mtp`I0sm^L$G`++Vy1gz0JzdS z9|DBaa~=W+(wYIn^@2D687#nG`un$x005NUN&uiC6qgiIb@cS|W)TAmBUsT4Fc9cJ zxKPV`muK`+WW7sU&$bs73&C0fwM^yupH`tJ>WXjzj`_viFYbqt4RO`ZAbwZBldYS}HaltEbn&g2- z$&muxaHLPoiv7a6U5tYPP@BAWR*7eked z3YqnIU5U#%+d$id9)Uj~3Kdjh{9vrmyq>K&@G}g^MBWbsYH}uzac`Z-DnRKO)Rde{ zY*8=CW$MJ@(A!ZF{@FOZ?q7W=L`Yc4=mQe*DA328Qm|nC#lVgSSK1HN1B5U$_SkpB zXB5`tAI3c-V~;8ce_BQGX*tIzt^Kp%0aBM&K%5WlXy#-#S6A-R=+aVihOi$AJjnd{ z+tqX8iAZMQxnS!8sHOha`BKbLwR%@Oz#YsqbQoYtOMZN{c;_IV`&5K=Fy!t=!?wgA z>RXe*8)jHDc4LrPq%Q%kIsb>3?K%8beR+@37oOlSLdMxOJFy8{52LI^oTQ6dyd9wN zi7}p`AIIbK2kU0mMF#>&wxG1N7j9#JT4OD;VIoFzPTXU~r`H{kno^P$0Cv2pKC;;| zxX-_=zp@5jqhzhK`U@^==7J!!#QWu${lio32e8h$_F^Hc2{#C?!eqf^{lY?3Aef2q z%zkKiRPKb`U8kT$LdWMuW9NhKpsJf|*63Z@lXB6lmbDesaIq9UapvN+TGO4Px(1;>laZsP#h)2LlNGb>ho=Ph34 zSFoY-2<`QXcn$ic^)|DcTYx;z~Ze<+Q1* zvfID-?viwey$3Of<{AzP(hAVwsKUP*&;8^nJKkqaSq0s*{u)@085>eUG|jdA1#s?_ zYQPk+k)y%~QaX=I*a93!%;RlyjVA8&u_;Z7{KVI2)IP+6hP<2>T&ea?S(dIWglVio zL};=ff}jR)BIP&D;=?~**nhN51?$`Mb&#(rZgMkztE9>aQ*)P=2INF)cQKSC5S@;z zN_Qkap_2OiSQ;$7M*5m{+Jq*o!`*I+I^z4Jhz-1tgZA|hztqoyI>fRHS)4vMBf)!Z zv!CuJwux>KWwJYYLXfw}WRxGE6J~4G7n^6KFhlirg-jtMQD8eTEA`Bj+6G&%T}W5K zP@Gy!Nn3RyD!ljvTPsq#U9{G?DI8d@-f>E+ff7=m4d+ng|M)b%2En(R!6NQuHh{h32vN({QsT{S|zLkjPyRCmfQ z6loB78i0SSF2lM}6Q+o74~yc3*S!$3*Oz4pi{39mAxX89?2$snd`I<40}7h2+j0G? z$nW!Qv$iU2UKEI#YX%Uzv6=oRZ_0CzY)j1q)-EqoZC$)RK6#Md!0jR*C!#JD-ewr^ zWRfKjr>joQ^ilhI%j^rT@j(5lyx&?STkd1;+%Kwl*-|}=ipaluslit6DlawQEO7iO z>KGG_au5a3<}sL!Pw*Qnngg{F+++jDuv*8!<6&xU!>xEs(B{L27fMlLs6i$y97Y)L z?jIg6*r^HtEPvNe>r{Pb5FIFR*-#_t84+MT)QEL76RyUfM z$2z)Wl)y+IycXN=&@xO&pj7gbG8q@r2bG181^}%SWjBR^#Urp zg!Z|g#1NaiZ>Y*^DkK8)jZc*_Xx&zzYH-p|d+K*-pNXGK!`!*OA2o)_%cXQBR_v&_ z_$K66_=R40ymN++v0w5NdmkX>T#m;&ZwDi)iFJ}=5O)DE@r9r%^QDDTF460oIq%6} zDaH`GE&Y=~aL&`#yce36?NWtM4CZ)z-y4(h*UvM8UboCvCtT1FlpKY3_#9A7%p5wwyhFyg7a*-at#s02 z=G`P8c?ZlfCl(Kh3CI=5IZZZf&FYvoZ|%(#@XkBP!rr?-{^GdKIFgRR@X$rq(97KG zR}_M2E2pJ#^g=sOF1fr16P!Oq%eP5)n%8OU6e?(Y(f#|@;myn=-lJ0)fys}@SGP0W z8{PWvBaVia)!gCx9;-u3D_E7aq;Hp-k;@Y_$Ob9yH-oiE7GnBIddJwMJX}^?1J=@EL*{$K5!qYoe|mluY_c{FfZt)1-EuMR~4ei82%sZs>S zY{t7^$>3ixY#!sUp`j)x)fj`E*FG=sYVhOdFy1{{t&i@OjqJXAPiJQvsF5_&F?Qn; z3cK`m6U|`^-Ph42Ikh}XzwHKSkH~)U_c%N~+}#y_EYJ4i0?$}_S`D(*&Q-tOzT7z= z0G*es$zp%`&ZvhB7n8wQlk@@Yq1_LkH0LtSY>d{~pAz+BD?|P^zUf2BpyjVoy4hu9N+P6y*Zrn?=xI_rALbr}B4Lmz@ZxY({QkzFKq z*UT7OoYfDmP+tq(c?FulyZpuPQl)|~>pq=Xp>aRXJttLkz>(G|!QCLhMeKb78p5W4 z`-eG!!Y(KrNm_JPgVB=~4uC`rDyG03gSmxF|m`Za|r_{@(88 ziO)S(^zK)3qb2E&GZ?uC2UTYqI)ub-u-xL#dkkGmO1eMnncN&K@&BEh9t%AWaJLmQ z*0;42(oi;gY$E}-hKg8=fvj!CKw?lyTM=1kl8_ z({iIW^%OP`dbvxL>%#R=TPT~PfM!n*%BN(U-2GZpd?yaO zZzCK1$?7&||F2-R)um)nGHJSNHwMs%EsHAI;BB}%O`+?gU6{_8ozn5q}4(-ptY|Z7` zDHt4Xbja)4%jo~8V(rnFSQUQ)z9ZSm7427FRUg0Ja;MJiCGe-ta+ln1Z~0BJv@EvU zp8lI5=m@*D$7mjS!gw9#cElLk9(vQIX+}|)E!r4lxTsMEhH-z26R{k1iibXJg}Quz zDpf(P^DGZg1)qL6WNP`W+#fE=?<{+u&}E z(#<@VGi6>#xYdkwGhgN8Plo(;zszAK%{!kRh9Vml1ACpqx9DMy2&rChtwp#i*{Jhp z9?8Jowx;ARafbwhfnKY1xxA~-XaDoK^f&g`wa?2N>gnz8X={fsDJ&%h!UqCXbX4*G E3sb0!NB{r; diff --git a/main.tex b/main.tex index 528bb80..34c145f 100644 --- a/main.tex +++ b/main.tex @@ -201,6 +201,8 @@ Another possible approach for \nonuscut{} would be making the number of demand v 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. +Recently the $O(\sqrt{\log n}\log \log n)$ gap has been improved to $\Theta(\sqrt{\log n})$\footnote{STOC '25 \url{https://web.math.princeton.edu/~naor/homepage files/local-growth-STOC.pdf}}. + \section{What problem can I work on?} \subsection{Nealy uniform \scut{}}