From cb42b52ba02452ad4927e30aff88aee41c00cea5 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Mon, 19 May 2025 20:05:15 +0800 Subject: [PATCH] proof of the log n flow cut gap. --- main.pdf | Bin 107251 -> 109062 bytes main.tex | 16 ++++++++++++++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/main.pdf b/main.pdf index 4c0bd2f636ec0ff0bbd3ca5e623c65ae104b5567..2e135d538eb408d877296bb6e3297fe5eabe1720 100644 GIT binary patch delta 39672 zcmZsiQ*ho7)UDsxwr$(C8Z>qq+r}?y(AY*}+qTshjjhJk`G50WojK=b&6?Sl`)WOV z?Ym*GszE~hkEMH!Q*8q zZ@=tI1cj0RbO8 z&#UGny*l{PIyV@H0DVs@xj)Nqgm!KA6Z!GEC9(ioUm|CX_4UFWlT zEqn{Id=hEQ7>Y0Dm2NV8u#l_NU$_(43e1tljDB9*Q%jU2KCs?i6rsU9$OL;?dv7(C zC*QOW(cqF+kg1gsJ;(pzWINekx0|CibYvN<p(0sOw&hIcp!gqNJj+o8h=?h zaT>RvQ+>CE1JGWTuv2;KQ6qX#R}l@-5^%`Bsq z=8P55YTUSWxp?vGEZ~%xDV(>Vu6g9sp$5>Ct*k|Ek`Mb*ONo&$BcRWc>T1*N*XihY zQ0_=*Ar`H0{-Q#^QOV}`2(*##UfGKL;} zNv_gB?np=~x9pW2e1!q8o*_O;@7h?Wgo5XeptPrIN#S~LyVB0N^|g&Wxau5Sd+Y- z*l@8DfGje3Q1sv#qTGr-m#yP{rdc5#32ISR29otEuE=!;gbA?`hm)tw8o^co4kA=b zpJicDk zo2Mf-!m<2Aq2pxe@jr;~5-~%Of#fD>((n7eGmhR8Tas_KbL*JT*RCsX`pfambLkPj zZ(pkYBM_&mt$ae_!^7a`X!z!i?0w| z0%m?|P=6X1{vXWrWgMqmOmet|y6zd2hodIp)D0U?{wfL+!NpO5S`_y9;Vr8i4t9f2~$wbUycX_ zl@I$7k-X3k4hO^yRb0)ko=Wf|!DhqJa}St3gF*RDgR?8p;b7IzjAIKXM{tI1>1&5d zQ^?a*aU+MlrGJ;TOJ}f()PH*zR!V=}Yd4va{`%7;ek`r;8vvIUaNG4-KrHqS_#wtU z{@IVj6XdS^e3a;$c_`Ok8AZ`j94iQ?#Q%fw0lxP=U*=mOOpiykESMe=A`TT4E^C6R zpD-03uICWgy-t*6$t0qviik;-pJ1GW&ie!GNeklz<@3*&doukXx4Yi(icCz`{3`y} zq46=k6fn9U;^tnT{yBSb1ZL)pK;GW(t(uBJvRcL+se!Pa8jXvK>zw_yTod-FD#%0KDvSz{mYc zzq&X5t z|K^FEXp9e9O~%e%xy3tbT3W@rNm|84q1dF2WG`^$e89^v38NSLmmY5MRlPc1BH8h9 zx%WJ90>GM4kXk19FFZ8L+Eft5+9xk)g$}jAQXy@WM)%tPJ$$}!0-}Lx{YqPA$?V?H zb8p^(p`w=N%P(atl^ZKzvXmK3OD3z1@-j}GM~CyuPc8;M`0^OO!rt6_UQ$06@EPm) z6VsjuccdEA#2BKL9UeQC+UN&od%z(O5sw<`7mPW!71@-3XM0*&%n9{2*(H!EUN>6o zH-C@C&=0~D{5R?23lKKV>T%}>BEcS%M9bp5W%4XvnvZmJPie2D;hn#-n|}N#NQ@l_ zAX?kAv|x{8My;K0#Vk%J2z!vTX0m4OsO9eTJb^$}hq5IQDiBi*p@}q)X?3hza`;X} zjT1|tqA5y~JcHV||MUFF1$oPer`qkz3=gg@@I{ao<@MY`6p$cB?MZ{f@hp)wCp$K& zO$saj{Bq(iUT@^g^(?&)>!@Q-03(-sNXHlM*wVN;^zcN4Z0}%bZB2kp;FW&i>qS&BiZDW3Os#K!iptd(7N;hjG2Dn*~!Oz%lqj=48)+Mn5b19sWd6fV*##ubERaF4M+W~)fv zZ=P*z9OO_;&ti zS#iT0Bvmd%Ydgcb36Ml^VoHZBN%-hr^9DbZSYBDti#1%dgjJtfkAM&(#0Vx z3j8XKrcV3)193ydOk`c+XIBIJE{BMfEcE9)-$b;Cc+wVQa2*m$3b@Fl2qI$ZUI8M7 zE8f9QpR5NKI#Ssu(d=+K^h#RcJfJNWpp z);*KYHmDuf3Q_63Nxa?8^n4Ud+Y67?pxGEgQ&(4;|9BFMpZC@_K5cgUb>8n#5*m(naTh=4IF=|% z9%NfE1SUOR)08W*Mp4ARWX`R%hoPqTGc3nT=0BwmnJ#ZXXBze{4!{S_Ul|!d20ObA zH$dlJhcMwJs^-uEG)Ze@Bor>T3}H1OLd{k?-9SWj_eX==^a$Oao13T*@T6HUGlvSXL9oNvXZb<(-JDnYT;JG>#`?L{Ix z^I``*%1xs8peSdUSVzOCCfRK{?fJvM-8sgqo?Glfl8HAZnrPP{23#clGG%lCMOf>p zZ5o#cs>G)AeLj!&(3H~b`}#RbarG7SHSqmKa+NTq7V;ny{*~9 zQ&xC^wrRQv{=Oli6H>kVs~$iI8J}oM!gw~Go-Z~mp{xGR`&S(J=Nd+Y+G>h`Wu&8@ z?~!%R0PXbBHVjVf^CQghE5#$w!4yD@WGN}5KPf)9L~}0=t5BfyS>av}W_Op3P=y9{ zY`9W?L1KBF-HuZg;;ylWu@vlx)kUb14>b3#?m`5F|tu%#Fj(( zqr+BrG3(8ph+K{+JN6Yg$Zgui9aJL1WmMlOnjUF$CMf!Gk~3-IXMvX_PAl$K3$xo~ zF!~3%{=+&3Q@1!o?mX#i-oxGxwS3r-j%bhwUntB(b?)oBFAV}$-Qn^XH8S-}7Sjs&*e7q(`pGoD~(>gk#9fbGm4;TjUw7(mh9VXzMnxiHqbKD23FyQmrD*Fj5ZxV{bOgS3V7yf| zzVUHbG~AS!gv z7B-Bi_{x?ae6Xe;n;LXn|5STpEI%n1ntt8J%+;P<7G*~-d@m~BK)uWGs<3x333#9Jx8j`$n=?aZ3qJ#MS`m`g8l97kq5h^bL15! z{qT&I2WL$)F+?-U=4LtJW*`}p$HcsvJ6!MgbetH^m;T-AfN*?pu%VXEj_7Bq;Bl(= zU>Klpk3N}&AHBi64)4IP!A-xJqneeJ*+hGXTa0%4FWqaB1Z)nw6)wUBwhzUQIANF2 zN<%c4GyDR~Lr47$92^OHW%T0JT5^l$+It5L4O_N;^+4=TVOm%o5Khxf{T551t{c~c z$K9k9$>zi2$3dO@Qv_`Fvp@{;73HKLqw3Peq3_od!V;Si)aj^sh z_JRu!_Zl^?ba@GBM#+2M9RG>^vTd>NzU)frfGrQ8rgVH}sQ;_gO0%=D%Y6}VP4E+A z*w^-LTE8buOo0&JB#a^^#?Lv|6A_HLJ4!Zi*~_R#Tq+^%JOngw@P&pAg(Ms{i;wV{ zG#&(G95;^J@xtnvm~9QxhPxPYy`q-*xUS2LfX6*8i6}p8H8Oi)`9pt`w4M41zal4~ zCjgvDLyx5kK{vS06E`|k`S6V+gG32^6HdjafQ^)=&)YT+C@a9#|@+Jr*gr4tY;T-!?#U*1TXyPU`1L>rTa#!JiQXR zUfn72xuyU8YEc>iH~*lvB1dio6T;;vQ5lULJ$)Za!5bl`qJ|t?cVq!MV*e z5ahRX-^@R_cc}8C?|N<5#Z_LX-@ETT!{1zh>lVH(?^bHV=OOv$p6I9kMsCbqdpz_L zG1=-9USs;TKP){yAA5N$9d<4XlqU-M!E`VO_3K?;cN_-#g9?i#oKr{rKu3QeUEuG& zL!Xg`r_)e6t`V?>Ogs^chR*NiHwt!N_iI*SS!ENPTOxZ#s|k>m}Uy;(>ej|}d2MBj77aCl{9Kt=?~=86g+%pGTjo zAyp~LVIFl?%4kN@71EBphFdA;S%IRnppN(BNJc`zF*sf}{`+F*8P6Ove@ zljYnWLupIP-q=#FI#wxE>}{j~v!ormnofdJ$z!k-khvZMSt z+tgH=qegi`QPG(cmCA=XD`d-o5lEA{)S3?`pdLb#rJ(YirzPO^7$%ezr7wXc{Jvt4 zHz4Dg`r+@PSrf6N1I+zCpP?X7CO1wBt)zz4iowyneH&pp^<)_hjw}hkJ8>*DJbj`%($l)5|-V`oslBR-QHhqi^1!d&TW|e?@G^-c&o4w z4p^AC+cw6@dz-&l9TxUb>xS{?2+$5AaU|b`n(%$!G`$>*Zj^pgi$XlRIucAD=v(<{ zpP?~MH-J*d%<=)Ylg;Xp>g|J?psx|mS5aFYv!6if~- z;3KQ1kBEd^TTE=Sf?^|RN-YM12)|2nKcs^Ec`J~afjvHIRs=?&Q5s=tjO~#Hg6jr8 zL2!|3ZpX^=^T(wg{_N#Z3BrTk+Ux8>JKUfYp)2ZHJ~hPI;=^8?R92(W-3_-kZHL5B zEVdS!%#NkE%~y!!;ujkgIBD(6?wbgi*_Pcu_U?!{=FiqBn}Kl_$eTN~NM+OE@6N&t z62|SK!19>ZMkTesWU>x%?#idU z>2q+RITE8R_bt^p@cv_4Gjq>J**x_i^i01?AYTafh=|$vD(pM{mpX1Yf4GwWwNQG6=x&HsL#MZJGFR*S z6tloFJ_GA~&4v`t%?_`Ai+x+%`GhGrgP_i3i|{&QR>e23jK?|loLz%3Jq+bbIWVsp zKxw3IPTs;G{3R4)&I!BI9^%-h)jJBRm#NqXKBS`a+C~B;UMrFkb{0 zraWb85*9RU>Q|*FEhJ$WP>>A9=$a%!G#EDTcEMLNG*HO?9%??4VK?|D3Yu>!yGx@x z+bKM`2-aeA+wqMSn&ywH|0J1g<1n@aG6EroB@XN@yg|g!q>_$BrSwf!KWN>d;j+Sp z#&;IRj|B7F%2>z5)>gYllZgaps(3DsMZ_1V>9kMMI}s@)PBpX%qG2uz@h}&B42^== zFF&Fe!==SbVr`2s1(^nw^NqdsIiPmL0$Q+<4tMbxMtPn}RsLe)zgY&2)#pV6W4l4e zD9_V$9)#_pZPw|54i^^iBgS~=A$1SdB24EAEcCg`ukGnQDB^|U$sWWR9xNh}s=FvZ zWH}dqXBx4-z_fFh^o4lS_?y2#ZfJgnPMO~t-23~t#yCWT-%1$H0Gp`~E8V}CuM9}& zEN*)uZ{+!3Zf2yv*NqAgv}X$fio{mua~iN=-^17pS99#0w2F(Zt_9U&ng}>NHSc~7 zHd4-RI#oqw28YEYiMXnJ3Ufq#DM~X{Jz7?K3X9>=M2D7mw%I^tN*x>B7n(Rfs-dpE zALn)M-+W$|&eUA>_<#3%)X5xJ6sm1G`2AVkQ(JSMc=6auQ5{ZTIw`{iJns=#%|AVq z2x|7)O*|>oaoW4}em0c1?h-GbrIqks>oe03k4Av)?>7=dxL9cqp-!ScbQIsGf4N%C zR9nsD2drKKQ3S^tysMs0N_*1JxI?vp&O{Xu?Zbl$nT21Ln? zm4j!hF%I%ue3dM=!RD0=;WEwIT9tJ*N?{V669=EK)Ox$0SKjEb-+MTXPvgQoPE+L` zPrtyjW+zh9Zk)g{k}mi;!TH$!_js|Sr{_x0iWP8N+h_W2jQXT7nuIruM{`PPKk`k$ z-W0`Bsak4;Qj09D{(XLX>uRuucDzM)&G7qabn{MPUw?Q=i0jX0l>vlGNmO0ygr6<% zl+lmRw9yj#pkeRYpZ{ zsUB1GD^8jvu&Y!_17aNtw-F~>zD_i3%Bq&9FFz7;)j)OlfxSW(%~eSBe2K(m zFygRvOqu6lFcM8;qQJsdt@Iek8(FKuW%B%KTr4?JDYSZ4MGA6hekW30m1}3r94A#g zv~H*I5JC`LGz@92Kel#HD?DINEz=~sW2+)ZiL`920v^SVo0SbqKcsp~j(a~U9t_oO zCh0^6|BgTglK{qKk_euV74*3#kno4a5&;>4T{}T&y+|4tz273C4im{CAq35jb_1WH zMH<5&ey3xg!R6?YcZXsd3zXS60|t8|pp($0L@~`3I<^bSx}MXQDglf^dYan#%g}A4 zr1*%F#w^01a)k>-6WFkAknR0D^{?m~ikR*tc~!>e&UvsT%-{8^G}Bip`+>;DC89py zg?*TGP=tPaP4YOq5tnnzZR^;5067oU8rtO4<5r5H84&^q2 zqa#T7*1Za8+nzC_U;$T2MDP2P1Y8k}{i{qPe6~+bzvlAN%Pt+c4^h95hm*=)iOKFw(Svag7>COcNEO}#OOo0~VeH2xyBd&P3Fu-thVB%{J+8OB})m^fBs72?S@<7n9F~nR-7mP3xk02r5B3% zqM|2o{`c2JJ<2D5+cs;-tlgmL&bm>byY%ky5|Y@E7}YRZ4I}nOt)G)1cW958*ZR`X z>*1iv(4Ggvu>cBa=mv*mB4ZNzDG^xGDAjCNc?uNqix~0X+?g-UXjw`WhHTCAUCi-a zIM8?cf;QJ4yQ%|+9cC&YO17F7?B5#J#CN`JxEu6lW->Nr`|WY>u`0!rxfgDxq^`TaH?&PbGk#Y${Aie{7@>(H zP66;nXoiz;MF_t3Pf_0AY?fP&vwEXPzvDVNeao$8u(Rt9ofgrs=d!D2COt0oZCfz*ZRfFzs@EV~fpxoR)*E6Z}0h9+_J@CB#oa@v6lk@Y-n7zA$N zj+u>6B|Ds6z}fYTIywm*m*c)f%WKae}^K!==26zz29|Y2v^qI zMxgchlaKVWHh7JW2hezpT|uGH`RiVz@?X?T5D9eEOW+HP3?bWGkcX_^PN3r*H$13-a#e07UghII5~LD znq$G0AEO9{5i;!99&(W??oQMhYHHvD$x= zLS1&6S>{|p*Uc;^$XqUM5QiFfTev4&06Bz>|D*#q`X``^Smt7)Y|iLk@JVs$Ep{*^p36zUKk?$ z9Y|iBzIIR-FXT^P3&1^ms?97JHgnG_Cz7sbkgU9>Bot?kYqTVNoPbQtD{6NXKq^}SEqR+!nZb% zQfH(zQL_E;XaSIz+)inE`zb-%7pKPqQmOBd6G*10( z782TASopu?G{k=sr`yfw-@LyypzyTBxVcjAW;8b6LUQFpSTnl&>ii*m9`Idz{bXI? z)qf+ZFUlmD0V5IH5@kY0cXXX6JA5ioaokuqyR{tH)?AUFAKVee?AOB;AS@;?y$Tyd z3?HnZy-4ZEK*wzd+Tg%?XtC_mV+e&Hf^ z7#m69@vq#p2JzG77ZsvY9p_6#R$_X&ggR6WZCloLhIiJCG^@;EArV&PkMR{flsDwo zC7aMLRJ3zvvuL5*?k70v%(@Vl(J(0uei~LR=J1#knRi4v%zrJdxu*TYDw&W@Q}2=}72tax!u=(|YJXB(%f5 zu;%l*LGs|kZkwvKkv&@qSrXPAe~1Q!k82ktn!$rgCR;Ue=#Tf0!eAgjYq;}oU3Qni zmHZU;MD@7wp#S*>>X`zm`V=^P)dEtw@MHyS*TK_@Tfgv&4elNbPQdp_&6h5>i zil(j(h$>**w=p=FoS5mMyWnVu;~d{?Xz=<@9R;}YaQu$$Uv%LNDlM9aH{WF1*R=9v zC<_LzQdif1J>rE>vFE`|&^Z}11fdrKnmnDtoy(M8mGsGrC~d6xhRUp1e>2jb1DU~rMO@>t6WSfJu^`h) z(HXj`P-hkW%%P`x|9a9Oarh&{b#g{`4MzL5K)CZ?^X^?ScWu#XZ|H|L+Y+i^8=A+2!&L_dYK$XwUWw@PmS%9AF~Sp%=6*$`8a0qrn?;IFF~LWaxvcM+20@~)Ts zsVKIzttPa=e1=rzDL}6WACu6h5v+gl&CjdqK32?`^=Xh^PH!}r-;SvKM`0kGk%DJt z{?SyncD^SKw7KgKuyx~9?JU@AjGxEc%1-+J!YX&*{;Z|TIl`;1uX8^D6_Tlw5Tf~T zkzA+YZlhl?eb#&>$plz*M?3J7hG{=To0Ie%o&=D2DWeGY-&6RQ&M-77f?m;A zWXf408s$J*=%ce3@aun#r1l>y*%dD>~Ds^!$ZJC?2|(uAY-@WQ~i`7+#VDLB=(dh3!-D~UnpY;W8SG= zIVKFMi}_U2WwJ(jTMrv)V?MeM>YW`>VbneMxV@fg(-6kU)aQtnB_4CjB|%Pss_HK# zbQ^Il%qhyGCh;Hw@>PuF!8z!|_#oB}n8VIB0_z9eyn(L4C|_O@l|XnT-dFg181_(W zlq)B}u-hFV!62IJd0_Ho{Cy(#;^Hm^saz-&mdSsjJ!cM@Us4c(s>nT=uLv;BzS!J` zoWf2OuzuJC)`g57B$eheuau@t!^nkp3RVL$B-s7X5w>ZKBG3aF54zUi9QO3cThp!Qsx z{3>%3y_rIr@7UIfC6U$^%gs*Y-OAQxZ&O$MT@}9wwd-JuJu`V`-udN{rVB6sWj7M3 zmFfdl(jC1j<^JfraVph?4Zj$YlETuni8s{hw*viKOD4>&RILdL8lrDEcthUT-J5$* z;p076_NZQc1rTu=?2uQ@FZk7?G`ju3Wl(;8JKj2XHI$p%RvQ%DNIxQsh5 zPO=7+AI6ChE~M4fdVn)Z!*|YakKn_(G_m2ZlHHYTFise(LCHdQljf{#5zzLZo4Wx- zhj7Fq&pQieg;V3q4Psy=}V5zdKWVsV_5gJSo)`X-ol$3Tr~qOFG~r=(R1 z&Ra*5$m7?Y^3@!ea&Famr+AHExvamb2WT&MlGi|Ls8>=m$Dr0tA{ueRZuhDsM5(y@IY^<_Y2|CDEoB}>WxpIWqJ}+cN27m zRL-)~2&HsbwOtMsfy-4TJVRpRSdZJ)6fg4b z)GH+=`Q*KC@*Dl}Hd0FYhi}B^CUV7kjgXracx-fCz+V{^)*@D-=O8tpGafu^$PsB4 zES{pfO+2?>Y}PTt$(<|XKl;cvM7h6cmF-2c53}*(L*M&&#P8i+QOBxS4F{@jBb+H9 znymm9t%vDbkO?!orL*=Qm9ga+$T?|N=P^q{|Gyc@2#8Twb3!TzhXcMrIr)7!!(pwC zEX=gNTofi?MJBLUA3R6W$9|0Kz07XKBssGulF>;1S`nva@RjBW z^|#ILrVuvCSQiY-mVbL}>wl@*+ozTzNH!o;6GpZ%2%<9}D%ltkScr6^cgsGRAg$8T8~`-n!x@idHixj4iF_IAZ8=c`nRCT5L6d7?Wo2SRb-kRbng= zRpRty<&#oL==8e?=YtMrM*r24PWAY1kRk1^)O99akNfA(?l6+DcxZ3#LRqey9FV@s z3&L1tUx-VzR3&eoV%nq?+ytyFh>r*V%01YKp_p{*g@+h&&EO&vDZg&(m#$rW!*9y_ z*@39Z!^akom1+qvC4+x4LESC;>qD>HWShQBvj>&AlD!B0mT_`2;T4XoO9^ijWgMM| zy5-U-EG7)xm`l+ohy3EE_*0y8z_`d?8uOeLe@a?nE$8iH_!Hrf+g^3Ys`#w>r7!1a z7;h&<4Xm*~dnkM$kV@n-;mgh)|L>gN1i`~kj5g^cGOPh;C7T>#p!R6wC;)it7e0n! zp%;&LXQt4f_J6I}yd76~T~I-EPO5qF>4_~y>x-i}pb~1orsL=&Nof19S_}JaOP^QJ zIANts3f5Hot3^-UF~XVF@+0hx6IXKzCi5K6f-rQCpbEIog8avdmV9K4M||O&1C=7D zOG0xnP%8^ST3T8Pl=O7&4YDA}w*n70t=-_@d7v1Fud|Rbt*F!yycL|oe?^v+CuGA` zv}L!&?62GE zWx2P7a>E_kar>G&YNHHpswyTO!kQE`9K;Y*0=*DzX%Cm1exElqJb_liWT56Pl%O(j z+7JOUNa6dsHq0Di8ZDVGD9$xqhyPE4;br}Q6AU|B5~%<^P^~TJ`CoqNIo3LX?XKsA z6bqDeh&2_sna{Co7jQJ3htZalRHPLj99H;xrOOw!PrZyD#et*66a_u_H6u zB!d?gktoT5AAZTwoJqW2B)-Q{w5e{KYjXM)og%Zy{6X^!0v89>ZO0(FClO_9o_%<50LJ#Zq3l-Xa zDJGr+&Z&vgOVyd~Bg;(k_Ay`KON2dtQ=%T>#)$F_(SbN`#oh3p((NQkN@rZY@9wpk z;bKg3g$5UPA+`eka{^?6wC+=zx1a4Nc zO-6M8Q40UKlYTJZ3y<<#nUPhwYjciaiLucDtc=RN%N^VeIN|e?MsAqhvgh5Ph`!td zXTI|)?TSn~_l{&mCoO;qAunuz{ELvwb8(ziuqY08Q528<9g4ic0|nCJfg^REX8t~I z;`U`RTX?(6Km?QfE;ausr8O^qM}d7e5kDRDddWS!Yk?GoOv$FmRS@_n`~}!5#m7qJ$#179^L?K?1&+(-)A+Ox!-k$NA6SF zjh}CK&)sev;v2J6as(!l@2*p-nhO^2sXPKcw}!bYfrAher)R^)cUqa(VcjhynGGSB zQ_P_Lip=xls%|qS=JJ?oMvb=8-P1BFPuW|nbt|C)t8EJZIA@KRltdHe>>`9=Hi@>7 zP#NlX*&?!cBhFNAucaElZK*T9q`J#ZYKwq-dhe(F+WF@0KUFD0RlIa>?I#7`P`ncL zpvlN%i$gSBz%%diqq?1J2b{IG!Pcb>ki=J^%6S_cdlyJ|-iG6_4~YsY>S(seaG7JhNcg9+ju#va-gYG43O{ z`EP5$xNaWvi1)Xik=jx{MvrL#>UT;*U#qpw+D~`i*>M_MvQM?JBT&C1NKeD`ZD3Ja z14d6PA!(3JffT0yzuUzR4i;$gj{Du`0JsTb0TIU@c)k}Or2H`JV7vCJsj1Fo4-q1g zKZqk<#Eg%>Yw0&L;uDP(lN>(c3qfJV53F5Bls+C#X&x4CPuGGH-;dCNblwL%#R);3 zcG-aw6Ok(+S|QB6ub8%XDBAnIhwPM2L!Rk7T4cPbhxC$pHimIJKKQRZA4_pKZ_d6A zMbch8hP-yCxgutr=!{;+)K`@; zNkOw)|LTxTOcpf9K4f)3u6zgWI0!=7;Q2pxb5MIswB3C(?O0QuVy~tUzi&a+5}z(O zA^XV{X4dP7_*jEkMDvI(PcX}KT?y-P?XoT&9QWde-4<_;s)DFsQ3R!giDXk^`vl#b zO!H~1eTDe>XDV3BE1_Fk&5lxo<3VtP)^kL;>jvYbEtu?3VmJ^Od16C{ujh$QF!p+R zy?!3MhEqpqCv2m3{o#L^k%(Y_WPTiieJ@T1>PPxl$5iiMTy<;`EBLp-L>~JrfW3&P z$MFmfT4HRezjsag?Yg=Bb;t4dS}Q)m4#(4amJ2PO#BiA&M{WJ1sA=uODXA{h)bW2! z*2M2x+QL`XKO4LME6&Z{POS-Bh7^8GZ=DTKqiXei-ZB|n4&OH~?d86w%0)cMkxt{O z12t}GgsxhrqWP+UYfQ4pwo4urT-;XQluYnDoBYjpZD^eE4%AotJ2|Fd_-S-pwm!TpJqk1Yl;2Rk(}coGIYFAFEf z@9%c09!pT7itUwp`)Z^NFXVhOP*q~#yJF%>a=1EN&A_kTZ5_$nH1_*3>G6caR7Q~# zs$I}TUIzj0)n|R2c*9U#bws}8w<6c>^ec<3CF$q+>z0N|=WjBI`aY>YB|)~MINp#8 z0pl^jS3cDwQ15?aB!94B{@OKnI;7aFgm{&GN{5j$`soPw)0%7mam)H)tZ%%!+6U1q zn~}_SW!nDQCYv`;4N|aO>iQ_>2NafZW8=KDNM%0os>u*PwyB?`3Z`M~Me3FfndP;< zP#TnTaKl|^;ImJ`foRN*fOP$O8utyNK>@QY(7JT9M)e|$wQq>|n)z+U*KRR-rDku9 z5HXD%Vbt6@2ree%wXPG8!1Wx2PbQb<3IM(E@ zwZ4}jn3=%hfPCGF1jnj>MAWi|x{GmpJbZt5ATG4p<2zF`J^|5hcAYB#{jD%M3XM0J zHg)%OE{mtIG7YYMpGlf?l48U!S?MFj+xHrQsd)d~^9#yxlm9mLzc1593mq!PG!k+! ztfc&(s1O`{JZXPq!La``oN220U^GDXlc}5eW~&f93>E>Fsn#$zLkmNTMH8;n1=4eZCG1&EKp62uW08I_fgkQI4&7k0jYLTYw&vh#du3qYxOG(v%; zgT9PG2bcDW7eShN9wr2OJiZ(l-$wx+P#`iWpQ~?teR;fZeyShS4AQB-z7>Sq_VERh z(6K!fbRVrKhp8)x!vK0;oBv`+?waDW`N ziu+}Y`9gQg(gB1ll&3PcmI)_(W|4e|OuIM1;PbDqa%h89=Ll!*JnQhk0rU?fJ})%z)ZBsT8QmciqNfWW zmvJ;J7l)jkstwn5D3CJ}6u+;0zK&ze`d`&M?C*;7MaO#r? zo1a>`=Bv*CTk-FoTx0!UeKYs9aQEepUlE^;3|}KNq-E5UjMcJtz2G=%CEuG~lIH;L zafseM< zFHqFC@T>6}mWHI`VVS}9c9@yUG6j9=Vm+$kN}MX18NIPtk&=Muro&t7+Xq$VNZoHc+oYJx%rF%J zKQr*w%x(3?g!aIHR<50~ChH~ zdKizY_1cP?zd(mwlV)Fi!lS}XWYWKygI8O@a2nLQg;I(;6s z!_5?OoLbS`8KS4R`*+|@lqgkaDzzyM@QUdV<$p7iF%b!IM2lnBg+A5AfYA5(i@Yig z`?5Xka-yqM_@o!L+WhTK^IK+PLr_cLcaa?dg@rW+QW$EFqi*Ex2p)HQOt9ASx9+be zUI!7wLaiyMxZRJ2O^Dwd#IWHmoHZ?G+Qzfme;r3Ox`{k{8OQ@B_mj7=+4`P7YP7G0=^M9e;qJONS_%8J6=2M*G~8VcySfH0WUz%zbk(hGW(_vOfNg!(2rhL zUXXI_MZ8{5>L`zD73CgyqgbmU-=2rxXdPdw0bfjRo(?WfxGw&vj1L#gq-W^MRK9<& zRNc?13s$3E-nW_|8-^c+Ql zi#!UE%-3!`ezRF1Gxt4J*mMCE)kuFl_?7JSZ)u>qR2TVNjSei5JoH97h|RP+29ZM| zw*Y+^EcWCwxXtF-k)m4ypdHze7R^&Po`l|swuRMN>roDeW)EAq#(#s0hu__sLXtPl z#-!nw{&f>&S^$QrVU-5WcIAX5F?kHTWcHWn789kJW@GYD>fiOhQa!a_F5U0JUY65Z3Tv1pOGGL zadjN!rR+|iRyH16^5$8~TOTjY#6f>_5Ct;i*O?5k`>h_RVaaN4XV5fL;DU-Jpw=+wIkr(@!TCz(IVZZb=jT#a$;W|r4xt}Eu$ zozJY|!n)$biCwjJFYgC2GIZYqQva@D+24W{KW;(SGbRS<(D*!FppELU#z#nTfy=TE!=7u&t{1u{vRM;ZqLcfkpZTE0(YQ*%s>(X2Hf^h~{3)@;=HP zT)W83y|~P{iQk;kY6&8cL)U)qV$c`@KPN%`*#s>ho7HYcyDHUZ*^$Svmfk zqU^&NVt-Lyo6P{^IeJm|osra?ObYgI5OjrY=ZDP*uW0KW2WnzoH&(I6uF^ZM zdk)pnRb9$arT?SpqlZ$lu;ecOg_dfJ*v|s1_pLnXVC&BE! z266C+Khv30y;}BTt4(mJPUp18l|D6xCxn081K@qi)=JO(l~E~Tk+Mcq*SK9zKB`a- zNc-BFe_#r2-bDEONDlC+I)jz^n}37PJ+y{oi=GAejX6pYmSu?Vc36<7YYu$6zSYC?ym0FYG;)3lI7A42>;aLMF=4jczN%!RoE z+O^ZufUj)mzfJu>iKcw%Y+3g}b4fQ_p1iY6y*4h^J=CnW@rjhIzhEdSGY$1DY1{rH zInjT(Dnp?wa88;v-YlYhF8HUpW>rm%sxFXD26@%3yaV`olnb)or&~y$2b+H~+Yjdm z9V_|iR1F@oqX#R@b%%h-B@o}y*M9z~sUBJs>BQwpfc z*SVAv2gSptb2sX=z$VVrOICFX zzCydKkYY9}R)Kx6d2?VP{X8iS>QhN?xa-u0Kn=7^@-+-l->HlD1V4oe4`17rRju=R zau9nXTazc4MLncNuQNB#4rnkpHtuo7y$n&)NGX^C^fmKsXBRjv!~}l|Mb>WTTqwoy zoOub|Xo*00$S-Xyj_+&uxwULixmBX_Y7R2@8UW;g{><~EQT}E{th!h6Y88;wU5sb6 zbrhNqEfBVnix0mxb}!@Wk}n{BoBoX{xV$Q}!1Mo&(!(<}qO?i2^|faSmN4YY{pfw1 z{mvL2Mv^F)7)@kl3<=Y}>7rZk*_Akc4YGGi98~XbrN}6EPT%5a$ znfPB8_QrAMb`?OlI8rx#%H%WgXo7NvhW~mKAP(~Gj zPfGUp-%enQupLbteB-gvAxF@GFNhc{&$$!XrQ>@voi8^;)tLNNE3>811i?$e=IW+j zQCv=_=KDo~((CCwouPQl7xf|IK7_|#)R^4^k?v3iiuQwVi$`?|8;a6|UD#I>KI5n41BtCA|2wv&-BxfR8X3vJ81 zP))QQ6if^Z=puPeuZJB|(VXKL!WX}$)Q)Jmi@M=9TAn{I#=+^w!jOS(z-m zs+D2HrWAi29Y->Q!_aP0FaP+`bkLIMtICJLVVcYLD+_mqhX@*^c9; z&bMS4>7>|S$m!C@7qdwK26I@@t8-E&6O@SHR<(szKi15B`gcFvuLJpq?9&#Dk%&5e zI5k$fUKn+y-{gch^_beGEH*z(ux14_tNqF1HB zci&c=v85jr`Hb3)wDS#Wq07%*xP4530p(p@RnK;|UqGA~KMe*4YcCBO(Jp+s9$Xe*2~tP0-$Rj{DwHf4C=IjdUWekRzm&qEvB{;Nuew8I*oaT9Bah zNAQ137eQ}!)8+im`o13`(I&C;T8V+S6$gEa9~GRL)$sv=_YLcs_!wJwI-IxP2pXvw zp4|#3Tm21<#I+BX-(Y6_iCJDQh!mbl3c;~1+|g-42Df6HU;jR-$!a|ZdpXBZh^_E zB}+th`LZkChRB>QrKh56hw1Ohwm_#bBNjz}bRrVJ?|bFBHRNG(a;skc2%7$@c;Yp4 zJR-!etZey5e-f_30&;MfMJJKV?^=EHxkP~Zh9^$WcvTm=H^p8_|?o|0rw7@%sFIXT%v#&MXM z-8~kKV;>ty8u{s^V*9%S9kOLongcmxMyp4e<>|iPV7FE3&}n6Fnl)S&$Em+Sm7;6@ zxXtui8U*3rl@~-RfAntBI{Aq^a%EKT`w~OKK|7(&9#*J8Pf*nS_;P=SACE>fe&d-+ zHRY;bIXhCk0qFf|yiVjfR(DjwOop8Fdr^uSUe(tJM|bxAgH*(Dt({1j#V@mF(Y z<5e3zJixis->YAM+CmnA!_Zt1gH_@1aKD+ByWtWh$=%Tri&TFz?d7Vg3==<^+t9YF^1U% z3+61NeeX=w=j?xEBz7TS*V!vl{f>HKdohf^xIL$+ED;k|bUD)rz?h^mUld`RoNdE_ zMlTQ|7RsOPzqUF(_3!5~3MxzGi&MtYnUycmtzjEs8>v3eI=>K%#!@o$7J#R7M-@q= zA2}kfIg2(IPcw9rRLtWNL|A&5nY%-1C!|DWN zoW%~{=!0>!gzUMgs6%n~e#Umw4qh+ra(pIB z4c1luIM)+A<-33!nC^-t4y7(2c62#u?dP2;;nVZ3lIsLxk23lu*+$}bWQ1H4?Z2Id zV$E6T1~J20t5Gclkq392JPUS=O z=#GC{Bl?wVAI|BzcfWhU(Gy`s%1*Jj((-hA%tIokRJ+L5_URUryY=qR3eabh{Kaaf zqSeU5GRMoFJjpTVmBRuF@vo!k5<@B$1AcrnBCoXY&sbb9-ohLyYuzB7m&7%jHG|Wz z!4lV_^+78N%3c{}CoWtkq|Dj&Mw>bvf+l}bM>|Pcd5Na&9r<2g9$76uFq!35Z0yM& z!5eGPf|4opEG>;41S7dPco~>zlt5>2Zb03Jz;EviBk5jfVhQUX<@qP!3bJ2cc#BjX z4XV?gBl6BVko^w*E1ud6iJhcJ9#I~wpQ$XZLrEhMZwJ#zoJBreNvpo)W?)=fl68Mm zfGwDxbXPquo%T=6hCU8MbC<+%-|yvEO>p1A4p`RF?0k;JCXqc!_fIa2jE@};C(3ae z=JcFLx;Erm$S!Ji0tcEK`)8I;`#T)*w{G#Gs0m|^cuuc5d0$#yB0>a))kuQCmIH9u zG7lPzd?i(X3F)NZjf+$ZrIh_qkg9*)73i2eDo8@PLPGYmo!tum^E2!a5&70#mb~YA zOzhCRcu$?Iq}zp0J8r==+evB5k@>LEVSzF-9O1W5MkuUaYfAvjPsP;Cg4`T`9;ZDfDPgT2|l z4W!N=X}!p8a;~ePp1*^+!VyW9JeB)z23nkX1!}KrnNi7i_0 zw>leflG@9v(mct~eM)ZCmTZ5ms)0^}XcBwJ5;t^!a@l+WD+t1PB?)(0Xd^mLwVQI5}&5sz4}kz)4-y`UQ-Oane8Y;Fl1J@ItgulpsAzILQlqpIN}nE*+~n z=b>Jkrax2JR~)x`pZ(FAL?%O!h&8Kw67kOzupv ztp~vo(b!eT7!P*{4oSm&5qtIbPi(W=(?p(z+*Ap_RUBVvtCs%ok8d==^8Z+CyvCgu1)HJ*K_G5SodpC2K|asB8#8=vp>Ov?Sk^gP`5-MED_ z4fat1%Fu!62FzZKiNV}IZUfcu7O=`T9At%A&X1KKVCPCytDzQfL@8Az2CISw0#^(1wj;tI9(Tlc>J`@uqZ~FXTX0{=^spJ ztl3*76U7sez1{KguJQmBr0K&H$3QRYHxpN2tt!=8#E z{;?xduo?&OiW?bpr(+k2)QlK&thuwtyDDtX>qmCZK(Dt~%T)Ivs5!j+Ox--1=e2nN zv$@GsK$U;*wx$P%9NU}A-7j8oaHwzPcK0;(1wUI!WqN6qxoDpz?xEl+CBu#p&{7;& zq3jT&GWKzzd%IBM@s)|NPr#J#JR7L8awW}+*uWXoq2D=L7ma;B1$Vi9gg;9;?TM!a zLx5scFy$4*V$Ab$_N{00OEH4!3b&OBgrd%wg1XNMXCzZad3 zFdQ>S)3f7waFz$rNn7l798Kt>DLYpmIEQ$IR?!BG}ryPicN*sS43g$vm z>_T#U5xPEf!0=^y9BEIks08xN3p*MMs6A=JGC9Tjx+VRQp7+*FX%iZOaY&m0SN5X1 zZPJl z2A+(Y9{=!3w@w>@_Z7l}CBVv2MaS^?OCq}OkUhMIVofR~IHbtJRrkjU>W%XZ3~K-P zO*(?~d;86};>LB!93w>j%v=W;faUTtMBz*bbUo0p$bo@8|*?PE1Zo z1qgtR4@8#Je%|?`_$mN4cX337^lmVB zPxHr?P`SuEWqqSjJjsl{PRWP2YC3YXjB6&Y^Th7N$|ZdB zlDL1j3pU0>^g;aVsu&U-Nk0swuARQfF<*?IH-8_VrtoG#3BiAggJLt(dM_!Z75E7W zi)-b1EY7vj_KeL9qSC6QF4AoIhUV|41M<^FQm$k^xC2_@k{4(2*(a_+&=uN5Dq2vw z&eNTpjJ|)-{cdcJP#x6S8r|yT-;81;CItDmW=y8zSudZjt`0%s<{63WydS$ZF&+o= z-)u{_kykJqZSrMi^KG=5nAPnrB%SoM``f8!rH~6sQ{dV`Qw#-oKs-eALiKLdT?*9E!#W{JJb^ClQa^LmC zmHogmo}Y4<^{4Q9&zKBNMlH1@{cH6KDonD15;DgL_BGMPVMZU~_k{vqoN`x$Hl2>o zSihw~SBxfYAu5wplz@bz_o?2$p!qcdI2M1AxzaZo$R#tIw!!FM3X9sQUVZY*^&L$C}VHv10qL8O+q@KAS<6$9Q}CG#W}}5_TekkxG-fCMew^y6nj}0tl4Ud-!ut|3S&= z3xDjf(V^&(ta?$;Zx+gZ2_w_tx(>$D?h%;DQEo6ide5stvSQ8? z5CDO!gV;Hbw5#ADCvDZmiavE(V10+!!yR0q2)aMv+l#5%IQIqXtIW>5YL2~F)Udoec3^4 z^;({V$-naXUBVR8H;@sg=jg-ElK=c(j--juCq;aX(y2d49nL*9MgfN@oVt?)TKg7C z?eFieSSA_*dv9W#2c_sm7@B`|ob>D&ks3uuK{G{3{kB=WQg{OSz1s(XDpOuE4V^zV z@Wc4}eX6cTC*1{P)R)6-7Uf?M>e7)O&w%y1z%c}|a4m4WOpj_vJFxzu;O{9`HiwyY zkMZ#I&X?+)AeyK;uRM+2oLgUh8-%csA<<-5WFJ4YRnJ(L+64U_cCCM?(O_U$60JGF zkCTsmBKp{)~w9n3rH+gFt zP8oT5;E5~mgK_8n;oaHp!^m(G2xZohp29BRUTP>eXWChL+Yr+Axc+w6&ZKKZ;fu|^ z@K#LpngM$icGP7tR4TcNk1aL^hatKQ<7+55I%R_E#&pyTV7BnGRGohbD9=i*gqF zcvO_0ZB*1Fl04%;yy3)L_wnwd?s$bzB)Z_v+ap$VZC7=cpGHNSy*IHNZ;Ny+ zMF`Q%Tgm?;M%16zfTk#1jQPb8Wsvq=lqDYTG`jeS;<)T^z)UZ!g>8S=s43T^!=q-+ zP~%2@H+g?=7aDIUxnSF}e=$h(+`%d4`<2HVDF(L@A#OMGjF1@K5U19Dh|1ACV2|S1 z=>o$%7XePjQi7Awyh|U$6vh>vaHUsVw>|Hed5a!N@cYMLLY{w31!r7D;MSxZTC*N1 z9FJaRLTOSm&dL^)Gy?c;9=i#5)HasN1)5h|voe2_!Qab0bn0Gvy1?d|wRZn`+&fVb zVk3-OIc0$td*Zmp%9hUjSvKe;?PW2zx4j+SIrIGq!RmJiY@Ld`0AaVkSv)P6lZwF6 zaWE@N#GP}i5-BTZB<`bLYf%pOz!jE+5GbA;W)0066P%i0uVO6-xpfCGN8LWoQ0pTJ zJqdsIAk9)CW_Dl_2&D%BMELh5ftzukLkboTcT%Q5A1}F?LFFgS`w=z$WeDBAMlh#x zLy94t+<~EdG)Jl{8z>kLl_-9hMQY+C0h6^>8Y0qZ&&gA8a`OY*)(jLh3**57K;j%M zkK?ALY~AI?cvtxND*^1*kohoAYZL2mpgey$nH2?hDq%5MEd|o1a^QCu6civ z;sOs$i?SjSbCn-vlUPH3jkVH&AZ1Fl`!z@?&u7`Q5i$I z)azA0&(9YL3-2JoBW%t2<`$%*d%TsyemoB}91){%C6Pq(TkC*~CtN1Ud zXa~{{cN^n|>p9+AA=z8hB%GeM<8&wmeRwqVVb`D{?pce~og(YJ_NMpM1Sx+iZwLD5 zJfLC(e{%%)_AzdU$HDe;FW%o=*$(Xy;8$e2mO#yUAfrBB6da}T@KI+8iu+^L?z&tVFNea7iW_!T>l=9+`yW+q;eF5rKq!BXuzBP+l`l!! z1@oeWv+t&FKYW^^Y@MF92s@>@0RnK)U|Y}%XHM8Jaka7mb3fVsN?w1{U@O+_5RNFY z7*;u7?hh`iVVX5(O3xTjuU@MjvqDY1ceGA6h1y8^b1gqUc)1tJW!L+t zjJ{BDoT7P6ZLfdxb;XI0_%mhhq^<=A2O=v~eSI3=WvgLSaO3CD^NL0x?|?=yMf0UQ zq+0`{Sz;@Z@03#F6|l@Lgyq_Z9H5#=2yy;$e+tvjR#85`a1sK?rjA60uq!79$Y!*POq7IJ^1vx3OJv;-}zcNoN1`}AySQ%W+iub2B=FNnU8Js1t!)V<9(Z8XZ zAxkuytVPw<7|wU`m@b*DRlY$b4BZ*`@J?XcyPbkjDN%^VrQ!H=a~~0-02?|P&LXBl z$HA}x^=N;|EnMJdXK*ejqje=TM53Gzuf5g6eyU_~>7qDFMj%+pQ}*)_wc_g4WLXrN zZQ?x7E-u#biItPKj066F$)7XoY*Ele>apg>xwZf>h=6jOEaYW4|I$gWAeO*LT!=(1 zi$*#MJ$7xYFX8(as#@G?JWKo4WR1iWDnO@kc-B`S@WzHL9w5+1BJrSN#FdNr=lzt zY&4CIM{MGT-l(tC@z*}Tg*RFd+)T$iubgSOZs=(hOC(!%hITU%9R`*RhO%()$hSxO zgmr(vPRTpBEB-*@zA0KP2#uX6lHudO9+DJQ((>>rVvw_BR|d}KB+WkkS~ZACbg4f@ zXFlW^M$+#kd}3v}le)KRYyHo<&h6VPexmV3S1K9`7!dE2{TP8&?@kuKlN3d^ z#<5@d7y%1x!RY-(4Yw<*SlE z3gFPSIW*_VzvKAH-&Jj2zBI7W!CsVGAHjvWK>rnYV6X{}58{=eQGDS6aSJCu>Q{ft zzX*szDTF2$s%BuyFe6KZvmVp3siP7+Q`CcOo@_XD3GPnz(BpQY;){x4CZp#?ejoBK z-|Ec%Qhk4(FE%yjj~JXfiHz(FU6Pij(`7fWPGYIvlnWXnOnm?FsXTCC$K&4x z&AKkQi*yA_mFh=KGfS0(U^ZAAL9q?A587wW$obg}E{v_L_ z8NR~Qto1$(H(npJ$wwr|cg)^^ynCMmx6bG^Il&&F5Ip-i3~QU`oZv`-1FO(dw%>_Y zZKSG44|cr0nur>BTW~qs8wsWOOzvIXSR?Vp{iA<*H>VJd zQk5y}9u?Z+xrpj@QI8XoV`LgNK&knCGLYKMg5fKQP`dra38~k(@{1_5-=*b~hY?>L;pxp5L#bB1Q*Bx+)1_Gea}t zlW0P*+}!&^KBm@4cOmu4@^3DbrVMVC%cf!`m zfRS2=>X_{}RX96NsGmuk$Q58oK@}T4rO#{(#D5{|l@>la2QRC`h#6_U$#wPMhkSVZSO0l(Di@G`#IKm8(l2gqE3Aj zU(u4g~u->(g%6EI=JygA+`=9zq3}-1D zD3)cOTi?mhqnYNZ@I>dGqcs@vm7GFhg6iu+Ro+dLf_0W4+c;Z>;_^`^C3Kgkpo`RK ziSm}UEw51by4Zge){jp_v5hH{dd5Q6ZZg_kZe5+|Mtnl%NZk;!W9_*p4iA) zzA|&VWRPr|LHW@Bc9I4Rw$p^@=^n|yO_*CLq_*64%ix;u2+^r)_x$#Lp^yPiA(g^) z%-lAh@P_THh6cf2Ito%?vKP6Bad3DQ^Id(9N0~#Rb9J0>tw&_ak1MAY(TBEk3bW6u zCX)4fzVLrQN!lc$ZsgMGBk4{{bJmn0g~-fp#LXO#T$hy!YlUVI80!NA0 znxU6;`sUe)fdi&g>LQY8!O$bpmSbIPA!4DG7 zWPA>wL^L4{d@#xlQ8`vP{qBZD2-!96A4bHtbK@Jfa9!D2yL0>h%GjG{*NV5~2{nOe zrFK(bORl2$7UNYLp<6-P)jz+)mPjtCMYG~0-7-crO9alyLdkx`!Tx{jGb|`Mf=^C@bB3gahxm=Ev+lsc+c7Z4E~gf0T-^E zc?+y+n|WJY=>aR!7azwcEe0X-#d7ot)T5%yK#J>X!aIG!Ydo+rsr8EtaI$C$$7xN{ zBm!;fee>sRJ}kUZ>ISlR^SFECDmQa(LXv;4&4JlHN5yDV6{nXuDg4wug}741!~@+0 za;8fB76J^s?#mM(8y z|-R|5(~7iGa{i?~lLlmCPR8_qPShKm3)gv0Es zq}$IEtdS@Kkqg%L93RZ$=k3rNQZj$U5y=h}C*WW>j<4-s2IGBs1>PzUl^B*I`EZMg zta*#)p$}zrSYfR%a=d<=eyuxXb){el9T|0v7AC;Q=-5`K&EY@mv+n*KAPJjiJ;
(zpgG$A-y`kloSDy_w$`W8OEL+C|Zq+yAPVIjWcR{UAZ5WN~PjLR{|~2Lim#@?Jxb2e)g1~a z#wr;5qP#+?cqXv?*zC%vL2)cnFk49Q?FYDmRgX9w!bmNYuIlenM%%Oq-%mMk=`epwsS-Y9Gv_qcB!UXQ65O2T@B1TKy*!!aTHsmk`Nz>V zBjXEcoCr@CSie3vKi6|WP-p@@x9!TOF3k1)Z=!)pka~Q+Skc$EPnHXq1 zq1EGFxSHgwHm$PQMGb6_a8cSM`3r<=uZvYfkz`uywIart)z2F|yS| zk8&HI#{K|Ty_V-D+8vK9v8wl(@{*ZedvcnmTv-4MA$B5LWPk%i}) zH7&6}*qbQU+(+!FN~M2CC!&)kOd^5)o91_g>o7}MdO@jB%~muM0aY-NG9&ZI%!0WRI&JosmOmukco$KD6?f=l%UtJ zJLJx8`>5wzdvPw)2B)Fwc!ynChtjmf*?%0Bd;s6Kno)Z+ZK`~jK)rK`SRHTi6t&Wn zJtk2O~JMJ8L8|WB$2GIcTvBQN`~~5cuRoq|i6U zmlkn%)J+018Cw@~786r1Y9=B(v@kL{_CI>o$i59k=Uo4LUus%!w)b2_BFs3DSqEwMy2o1W6}yav-D`86_{VkN(m)3-->ek=459 zJAb|-a@RUZf2nrQYsf_)do8lIl7&GZ|}8D?Z}7eIA9 zZcu{!7Kd3*_vBcmv1gtlyrr5}I7kr1PNb;CfinDrn6BK47ZreC_aX+#9;4%28AEsbAtTj96Zj57=nBqj@jGTU0}8#~5B-Rw{nQXftFxQ?IzV0~)|v3mqp&>7+eMh!Tt%i-C@JTdRL6 zPNdW~*ZUEVD1t)!#^NVAZGCj7q1t~qv$jrs!`JfhqgxDRuR*~(=TPuEpIFeS*?vUA zT$n6O>Fd%Mp9Gef>8K0Cwvy8A`Q*cw#Ivv2UF3@J(juoaA4x1lT+Ly|l$CuOT1g!- zga)&zkA28)+DgG1#3W$MvW(hRU5@Y%b>Y%hpsorMTpWSzQ}^MRcQZLK`@es|jq!f` zdLCPB)Mh2ALYd7?{CX6y^48&BQFTZnQw%YG{XYS(22lC?MioMYD4*?k2iRxueD+Cv zQG1�d;fA+TN7>HBk|Be~7NRP6c{aE&eqnz#ADrDsUK#X8_;-x>_xywe&JS8vyKr_NNZ$d4lI75QN z`>klD@Qtw*Y=`e=C7v_CI{Cc7wCnN}rM?I%YRk6XVc>ydAz}@h1uTE&8YllAI5nD? z#5gXiADANCpN*Vtd~^h@>|!Gt8CV&`McL-@J$!3Y?Bf{A&@mo>VT49G%85H(0$@#1 zv9WrHZVrYcA6vgY`JE>X5b!4pXK69E$C9T8cwDiM)Z`+#YH<;w*z~S5rg25PZIP)|(}*zeMRTkJf4K8IWl z2%f6_Vj28y%a>|LaXcKE5GV~3yelFtmRLXdJ8gzf;hTjY>{qBsj^S9Na^o*i{Sa^d zQYhI$-{bl_WBZ3#o^&CC&~^8tY6z~=(9;J(yg*DSGRl@6qW*sZLv;WMtjVo{N80|y z?iH$0x^pn9iwDDcqfullJ{-7okBmKs6SVWJCi5z5Xqud&3zTBwC|>=cUIQ&C)5%FI zI;^E&&%x5cU+U);CW@V|%WliMqFv%gTB`C5wTuR@N0BlWCaTT|5+j6nnqK%u3QqOq zf?M0dJG&pDFNuGV9umGbc{VMAi@*0-fTJ613^ zYYny4q}`Sy%PppPI@pqqtBsVF@y&{OsM;twxmN+40Z$qe{>N@#V!ufAXwq(_4_2|w zyfT8{eY+>Zx0(tuq40UHQUk(4+2+*sb9B?H$tR8{HuIRYID1>BB&Uk7c(|xaHX+av z&B!J_5>J1^<-1uKNS|LS`Bz;bEhOr78b(5S?T9{mQ)uHt^39~3|Arx-^AOm!NS88i z&F^sdlS-(ihzMXp_FxyqHF=#>TJl~4Xf{uczH8D0&7(rOedG(k-uHhHEWrPBB>&+Y zMgnV#K18u0FZA^UUlmiTViSxm_xHRd8i&FI#twf{=w(F@$Tm3a^-)W&&?lH09E}qt z7^-C)nbUu~3U)dAHHUBa!e~CY%<=v1_6rAONS88A|Cx1@5-*Z$04vMTOg%z=ME<^nfjm4AE}iy9T(n$2Csg<{uGsg`HJU9p9G5b8sgRT!I~f za}Mq=Sx{wP&SjJLi^DwV)#i;lU#i3vz2c2Gz-TCzsF*nFDmZDtgC_br6g>VW zcqX0WRe0`Xr|AOljwK?Bpp3Zo2?E^ccrWTD#*|%XNJP=FOgD$uV*)y7LQ)6Ghp9#Y(A`KM!2PIAf+dh#!WEV zGSnY;2z(Z-Y^EXFH3Tfv{@?`Z^dnYYh8*>6`Jxm3CG=+L2x353Ayu=@Eb1L8C#5{8 z3)qxaR*y{D7!GWlNFk~9kI~#ZF)Iz@d|uPFu&u<{YCGH?mP==`6t9x7+u3tfi+Hu& zD#}97;xm}`tw!!q)cB`sd(qa$ywpZPUEW)Tu69F`@x(O4++ARH2bZxE{|RL^mLIx~ zpLQ`bNkq(~bL}q4Pp10*(pIv+be#}$uSGPU4VM9VNG%BIt8o;Vb2;|;Z!Mo~RdrW$ zoR+3hy2t#6Gx4u<12|Ow`Y#l_=!+(U0_b<;nlltpQm>J)cIs8MyqZ=+RVF5toFAT7 z@B5f=jcS!L==RJ{Q;DM`CG0G0>z}bvynvYc6O;KuY^#guW(M^@B9tQ&VI)kqF-|i# zWX5p&6$lDh2ecS&9s4_zLuVkFaTIQOz;*TH)hty)^!#zf05wP`)>vX=7w#tXSw8E_ zEiX4gyS_y>Morqk5K=G$Mi71tFiar`t78Wd)Yqbd{83=10xwbl7u1UaD}I?xR8LO| zx>vhI*ox(gL=*(&W55s`USyjLs0|s$ zJ8mNvhXjt)C*J&568g{ zJGKES*OvgG-hZAt`h!CM$@hUE!j~@C>OZ@D7YZ7JhiBvFd0}YLVe>-KAPOe7X3pl6 zoIE_-{|(gY(X+Cf=be7a`1~X44Tj-2LRBzSJ4-fIKR?}c-Z?+r7Ki?4iu=BHk@a+mUW$-4`G`@hzR+X>&;tbb|dDB^(azNUrq zQQ@M9HneR1;S;P}`LHTiE{jr*h|&pXE11_Av5r8QK=#K!_*KwUL)BMgC_7;b$l-_r zzk!N54A4jH0nIX)fXKTvg4QBdFjwHKrjwW6D6Iz{G?I1wM6ineXtDyQ#-{e#2FaE) zc+^aW$r87K(|cp}AJ2AJ>>TE^wNSYHVah8ZdwPy;cl4;_^3begg2NNy|nStCCzjV%sYv8(DZ&quaLExe-r=eGDM%p;WanTNf}KB7ayEocvJc{l(q<+63@CSMZ^PM z>3oo)J~G+5V`?>Itz2yW*#; z1&Dy*JK4gNU~s=>MrVg^MU3Y$?DN$`NWT~8L(PU}Y@5%uS+*nJ*vgzXo61+=PYUlS zuAZ*y>wY0B=xo4;+B1E!t?~1Zu*n-d?AV(BJvo43KJPX$Ynb)JqyR~&*(*ku&t7O? z-IHJ0_m);Riponj;Mhsw`m0o}$cockt%xzOWv(n=?az(xOHV()h(&1utcD~`r&`~m z9FA?pj=U3Hj>JqnPo+cAWWnx8$>6*^ap6*4qTB87UIz=6wGGFSax1le)^bivvrxI{FTswzw(qpyy@IYFL%JHhGiN7=a8wCp!hJ6>RdlzyB1*y4=-Z zTcK`>P$KZ8JoIuZD}nm<^D%+f$}g zIyr>$eGP&LPAx+MH_MBDm)bhoO>gR+kGPYBXwEXd3)0qPriHM;m z+ez=t9C3R0jWmJl5V56rnsK1M&#Z{XxMHjXO-uOwFNvwsFUPI@g{RN6VhHa@4HiA3 z$b409ZX%~pRD;Nc2(1~E;rbi4R6n0hT#ZBFRXI(^+T$|SO#E1W8WH~$XOKrkHcY6cl( z{me1W7Vz+h!|BZGa*<2RbII}Co(B-veYxe(W}|R|7oDZ?%l>}ej?AAO*``|XIpwHb z^k0BB5>>wC=~8aXXXys`n>QEkLPbKBoFR6Ocr@STNn+fJp+OTH3w`0~PC##yRkii& zL{K5)dCQL>1JyM3@`2Ph+MQ^5>BkbjrDxLFyxFEMYwtzbj2LpEaB?13u^APKtuBNX zvVS>h3nah)a6Bgj8i)Nlb4oBfZV!GTAg5&EA} zQKw3HVFIO+^<3NTJ6LbnG_Pd^c`SW{Um#}9Hst4eGqPD(zoi&t>s8mL>-Dgsyq5|T z+Ug>{t}fA3`?K|-P>fT*RZzXr?r?=o)`xYyXCq?$qcSFDa}+`Pa${W^K+YqcXdL>T zm(~Ujl&<7hip&F6%dxvtX???_P}KKKWRS>%w^)-ePcFZr+l_ovL~;AF+hpQA%om&P zIHC9HnGAweWiqknZ-CL&;fS{kHyF-PGmYUNv3#grrsd$r;ymAFnekYCin;bL}{xp1$n&}1BQnk+qO+uS{Ns>BAcBdY|HrUiykkVvc;@MVaN zs51v*o=M?r#JI~5;v{=T`V!|q$`D{qlv4-5o9|XAs7H5np*Sr=+&cD&M948GjmFg6 zhgy&S`%7f>Pc{i+CaVXm??T4|~)a)C**_@UA(jH7JQN*fK1 zsTEmL#^Jz;W05LBi_OEp*}diW`TP_osD_GRt&=;in))}AAORskTh5*ctt0QXVx7p@ zdvaf_^h-`nu#zY|pIbPUjkbc=Qlp~06;7pifbWW)I(*@yiE064(pb3LR9#VswbtBCP zrt?KV1IW^!`<0#=217hgtp=~T7V5E>yhxZ2!+q4P+G^BuF@%BeL59tpG5^yNB-}{t z+by_$jw=kU51TjqG;!c?QLz5W(pdn8{usW@V7F-!A;NuwdtL7*>Vy#IMb603@_F+_ zZU9gtxx<(-_+@nD+fDHIw-rte)1X?EYkBLnqg{E{uyHM_ZLHoX%l5{URY2;RRG42z z#;wo2UeKv1KcRD%jkRrD9JVt4g4EBcfHP$H(BnF?-hr=Stt?y?rN>EL7=P}+muL5r z^TA!Glq6(pHeY><6^k3ddpZ$nknK{up}qk)=3Vk7?9^-DM+eN@qy(ho;k%=UV(E%{ zkI5wxjERH}>LHX-^0(l-V>^m%TVXww`Ma(>^76M}O1>XSs;l)oI;EN${qp6hG6ggB z^s>cP{Ku1?M-N>{RHl&U-TAo5>`=+p$;C=#Mz|=H0b=?MD?Y^6Yx^tkhaUxy>r4Sw z!q>R>touH_4a{%7C~Wavt5;6WKFCXp8pSf;^V*&C;3LMSP=LJCj6KY&*q)j?<}7Z# zu$f0KlkB{EF1Qf$j2Bj*$osuJd7*PB=o9ml*ruR7p|!hz!RZs1xa+~M@ZKW9S3yK+ zBJ6^_^}*LiM{&~Ojv+l)YnQWZ(o+}6o7v@Z%YHZY+oQpXSI_ek*Scps_bzjK!Fh#C zlT3U5@)dmdZ=l)0Ctkt3OHFW})}4)Hc|lk;(Iv` zQyMj=7;6=9jhTF9`8kfRvI*g*&+<}J-lc?!S|ZQZT+W(Uq!`};qaD<_CSup-CEF3cf61Z#ZqG25uE-Z7iDZ(KhQXnT7l3FYWFCsP{wp(av+TBz%0nzZe6MEFT zt0*pN=3a5F@{22YA5uUUg9#vfD&v8pcd|fuU}_kqrg>d%guuN|BsR?jM`c?ox-^KE z$m&w^ysQ_Z%jjM-CKJbG+2T@jSiENu>Z#+oXu9eoG$(cwQUE+X9>!%-w0b;>8}Ccm z#=+Z)@E;K}dNCbG4&o=bB)IgIWVS?YSs#Lj2urS@fui4E`{|UG~|1uR{F}Qmm zB~*6&oyG%7nfOYEjryKJGK6LpliCqp{q+rtmbR2pc}AC^l0W{KfF5u+r>@$TnIMHp~)Ln9PBS+=@tEAF)aw0A{qUCMC0svP z_;dN!;gEdf_sUrMnuI`@>?~O&7bX8+gM4D`snSE8*)YrxDK_=v?uug%4uh+MC41Ql z%8(L|*-fVc`|G3rRf>uXo0ap;qJ{vmE%t>Z`tYX;sJ4%Od>rN%i|QnoBm#k;t9IZt1{*hg8AR z%r%UDyhRKPr-sN6y~Bo#srgSN3hOOozA1`HU1=~y&!zb80llbpbg+3tm%^@;dV=;J z|MUo|LemeJKEeQdk!j7CH&+I0^pJP@2gNxJ3c9KK*){JE!!ce4vNoohxlHrv+1oGk zkx25JyJPI1_ZVuP!qPUaQN!9B^X5d+Ab!$&G51HW{ zm;wY7{US`D#qZ7?Ex^0EE&LP-yI^RY5>|81Vn}-{uQ1SP%GrI5-*ExQ5h3CmXr*|Y(dl(4-sNY^1|}a8 ziw5$3_pMG8RIXik7}i{XtN4W;?JL+=(B4!=3~{TnDk;yf5EXXMw=^jFNa&-#_33Rw z`qY=C;|>IB@N7)94d{G$XA==i)uv+JgS`t%QYG{SBVkf$a+NF9Uej5 zWK)291FdY)a7`5A{y*jZF3kb0Zqsw`Esvy0NGr6(imNF^Ju}HFqa1sBv>%o_oEc-y zs=li|h-xg>a?C}k&wd(-3VIit*%)%p)F?1bA!uQ5qu@5B(L-!CeOyDY;AlH-S`jGm+O1f} zIr|kY0Txs2KN}3(ly5&|ifPT=-ZT^z%jdBgr!6BwWz|7if=0CL@@CvqXZg5@=roz% zqa9Yy$g2CuO1ep%3(Yfr7rLCwXg?K_OD@|jvh_4g&seZ(PUpnxlt=K($*V$+#PS4~ z8#j0IIU4j4W0zN6a1~BtI`z1uot5NxhJ4(Ew1uYyA(tmBmt;#-nLAnCnHk=t`?q-C zo<$Gns9>R_v?Pk{s)zU3i=Jhk%fQu^US>A#+Sdo&kyPnB@0UY$4Q1{ZzHqp6Z9HzT zZYCd9PL;w;s~S_4XghAtYPNyiKLPUm%PZ|xUq34pZ&`kr$sBo&1odb02^^f|xzH9P z?X!%RM8=lRadf^~qhM5jj_&>FQ#|5ZkutuPZENPl3g`5ZC#Pn;XX8zAqNiuDMx=X0 zq)Z0$n6==x$DappL2_7J&Gw~pU}VL>`DyJF`&<39dkmBxkJGeciHeKyW>Y}@e(WZW zz43-_smh<4(P3}3&kADH)sNs%eu5#^@Fli0Pf#K{bMRzMz96Jvot8o>@T?_cqYZKdmvKDLw}{>!r?oCy+TLQz!Vd2%BxX=e6N*@9%3#2-A^(#$kCwb1 zZ+S>f>0jkUwji-lbJ<*PY!t)>}i$k4eyjgiWdbdnWw2AN`5owZFz&B4#EKs&nE zIGD#`JB6LdV)$H8lsOYvzHnxsN~zw);T3bL2E~?RZ>Txq)EQ2x!B{{^o#Mn8xq$I^S*xALz#HGYJp-?Vi2<89Z^YWp8 zdxqTXuud-!BS1d+URgtxsQ2_-pIIAco}SwPuhifN#tV4k`^5VyRZd$lSo#e$8WnwF zI9u@RL1dLo+Rq)>D=7)Ki;ZrZNTbh-4`*p!knJUpQ3;eUjzvcRfFcj5PJzVxoWQ|sID8;V>` zG6W#CJpdMlt;KhLD$_;NPgVF;ju+$o3O!lCx; z1W&mydpYZHJ)|*Lyd@BfudbZ>RO?L-xcg}!V_Cly0 z(X~j-fKdOY|3oP;wos` zxuO-z#;ya)jv=AR@$-Y*H-9m0Blq^2cyG z{pycp;{ATnu(k8Fdh@LNduZy;cR{l6f^8JZX^{%}k{K*groK{J6EU}&efuIY4>^6! zEyoksX|=o-4ijs+J+fhO1axIMSp+2TSQ=zI?F~~i6fuzV7`x1F;N5e!^Z(%>!Dh2T S*yy}$yqsvXv{K5_X#WLn)h?s} delta 37933 zcmZsCQ;aSQ6x`aj?%K9(+qUo8`qs8>8+UEnwrzX2f19*P)4rU{(|MXqGIQpHE&&Yen%5$Wij6F2VJDzN15b1$w<+ z)-_}s!HYyww`leC=&(*jnR+NILI9l}uI(Orww14#_WIxO{4MjNb!lWpfaQ{&4M&MkBVS>y+nSU8VYOjfy~x7-xKZHua`)R6=H>EO$57Bgs~8Xp(sqz0 z1`Y$R5wq~Hd^Yk$JSnH50GJ*upJ$)y6jWFLwXOPjFOxvweegxFkv;woMsW=Ax`McD zs55KnWFbAW0x||w8>jAG6fe<`2X<|gm&-#25#HD&=alq&#QSgdwQK{9O*GX&O00I3gbwI3 z?f&?;=9U`pM+}O&e*+kqcBTTaDHrj>(zA$8VZbNp7&?m{ml*gL<7)tQ0Pb{PT5v#@ zN7bUOgqd_|AL|D`pd$x4$|sH)O3#e|pCP_rCx!*BYag53bU3Z3_ylc?JfR>M;SeXs zL<%dejPpiHw~9;`PReKfIgR2(fr~np1^6E$H;sr;l(or7F6H3tKW7d#3$nD5P#dgl zqGNmOBQi~o`5FY5kXw)nPnrLiAJ}5@JG^&Z5Z0|oDr2fKn z5tR};>fhE1#7^_$y3N1lV}TO~qx0Mu{wMvBzzQ;x3NSKm%5y(Bbi6o&eZf}`rN07u;54-t z*1KJLt3UTWdIX4aozJ%j*K1IkmJvFjiP`_2=KoD00A&5EQ}W}BPI5&gxM*&yclXuM zLt72hF7K+f>qeJlHR_rfqlFO}5y=aKoTG?0|DP{UOb;k<~u~HI^^tZn}J$ z9OH@>0o)bKK$?b_p_=H?{q98{DTxaK=7QsY>?Yn-R0mB#Ox7vtvHgGLibVw?zbvS+ zkCc+DJzQ117r5NI;a0n$4)n?t6pSx!{7()$LQ)iJbo9M_d*HV_YY_`%!g^kp$#t9U z0TmjMbId<4dd>VRr1Oho{DC~D@|A*!egtgafcZn|Yd*L8N4!7NL7S*7E?4H?*N_T1 zlP1k}2n6)$@nXWHIAf@Lac^ix35!Pob${(u`iwwt#iSSq34!Dv1oD{SqjiikB4v1) z48;F{!BrNAZ#o~P4s$>fwi@Xt?h$~U2lawHp8UMJ@>!h%HE4e%1SL4919KUJu<&;4 z0uawfWmL^*@eg{|YpoTC!Z7ZP^F#M)CEU#sXe43C%aavk2fzGDJ%TeSK&@NSM%DhT z<>TNg)_Lb_^I%WUJOvoF2!CvpLPj&u!m{&HKR_!H5SoJT7%XLr_;$RJ=X3pAMqp5? z>$unQ_O@hS#<4#e?8`$I6?yEPe*;4o1yr;(TX)<0YJ5hxdfeizF7#Cd5CW`PKTjHW z#C8$O_@kzr)hU;)Mn6Nr)GF3&?O!LbE`_0=iuN zC0yerF+a21+{<4ff8Sa_D6ebff9k2tJ>>l1)f`y_W?bc=>N{D_w~*1^o9!EWx)AvE zRyS?pZXfNSPK#-u`7*xoyZFz_(eS#K=GR?caHKrCJ|dXU(b*STo__^5I%7AMjns9~ zK`^yZNS=!DDzMN4q(L;DmG5;a0L=jYZ6d;oJu_X>$qb)l77A`sFmc+Vi6-EhB;7Po z;z>A}>(QXHr=6V{d(?|ah&ooL(;$nCGaBZsmAwGAfNtG0AO>zN2vw|H-Rq5*-pa4t zS_nuu-jmA5MZxsC(&RG5m0{MR9lq}7s|X@#0^694%P>5MHV_t%HMQv%0OLjetF>SN z4pP2c26+j5nr=mEqorSy4$LomwlmQx!61Gf+9*Esa_nQU_BBWYrKcUuog4-@Aoe)+eJ=|XoTH> zGh}q#?8rFfNOYp_EyX0+gflMpM;afqcb-0!#W?h`a#dDNy^MKEq8p{qQi|l})!r+bR)E z`x#9fA)%^=5YaUvz$8E#F&HXPne@)SN8xw|KBJf9aTQ75fv;0_fx!N zE{Z7Z<))5CrwtOXgQSBH97%-#HPD7$;1$H~EX1!BQVSvuy2#wm54D#6SoI1umt85> zn~Q4ZuEv~+={ec*krE*WB@n8X@$!zEbBG|TcArH#sweOdptn~r`u?V~ zY5BZCv@_8&72gR}BihnIvjnI&{k~5wKMMFF|1kiN_B>J`(zT_S_WJr7;Ke_gIm_q95SNa5rm9nt91J8A?wXt|c3))l|zV z9x&0S%D0K35xm({x<(30^VXqCPPbfhQ5;dLto8a1P)=-Db5P4%vz8~T?JrUDnexb` z3;3Z|Uey&4Zy4L3>*n8NpFCODBIa_B za0`S7z^H19nPP%^&EsF#)jJDWngjWeANQvJov%3yV2_M+MdQb|lo+H5qp$+Gj?Kba z1!t9>e@E|H8-*rUOD}iTyB;KSjtw}&3)-K;_Yyp6R9d-wvD=lqt#!jMvY7~xr^t3L zt}@!oOUpBrdc(VMM5VHWkzV%aTgl;6$~7SZupD*&%W(D1QNh>7*u3W^DWeU+Krmq5 z*rC%H4U$M(UB1?>L?|Nc_tjQX1wOeE1fMVN{kl=>v2kHV58xB(FwKR_*lKumjFfQw z8Fvm3_0@RMCF^lJ&Ny_1sd3Q&5ae_nY~I$$>Bv^n?U-t?3KQ095RCx6EhAiPB1C@y z<{;Pe-5)z(zmUNZ+*F5GA3J1NfRxR2Z4qa#@im^l0&~xkBd90xR}}&McYyYG9)kYext?5?A*Q2~_2OZ&-B6Xa0ma&|*d%xKqAeoe`PmK$ zoTn)PkzFp4f2P(?dXv?T7UIUvf<}-C2P6Hp3bqDzv~Ta2u)<8jdaJNmw>eAB`yBdo zix3R==fiCkgnRpqIQQ;uDG7rf&q^-`dlLE<-;itFFbt?|X`HY}nOmy%&&g!6Xnq+l z?LF`21L4Ss9v%<%>uM3k;)pk3t&u%g33>I-oLZ}Z_Ge>f`BpbugL70lrA+khN*x4r zk2_=4z!{`WR(~&ao)SE_O7?@kBgI~95gQU8i&g_Mtw2#v83}~0Nbu!*m~eZVJ3LV) z7LTY;AI{sO*H$_*Rb|B2c|2&OgrYrruzT04v7$9xb8CR_GO&b%H)a>WA6V9|(;4T@ z9ESpFvJa(hSXzX$bL8eAL;;z9S22>GG0HGV|5e}7@bpu}h(U+gL zekr$hyd;F_12yscLe6W~iKpDV0w3q_r^H%V+;)49+YSwGl&=lr5w!zvB1=#2)iKsU zTejBGJ>3%%P8tz9P;Udkw*1oZc)oO z10w@9psEa7?#JIr4NW-(6e|s5&U>NamPsmJ*|uboeNEYnCRogmI{-$wGIylc?Y)Wr zeU(h_K2e5rsF!x;yv5!YyLt+g!dD-}-7iEXmo_sSbxR*i{o?{?Sn7Ji_XGEd>@|2< z?ea)Dw4aFTHKq9(wOu#&j_f-hu&7VrC+gRWIIivC52Sx-)fX;BW~YdxaQ=MOMG%hY zAwvU^Dc4F1oNHq&IF^*bd_e-*x2sCor951zBr8i_%nd+L+(V{@Q3*wNA-ukEY0cizW6PK{kW_8k~}3_`pKaBy_~T|FlN^&tc+r)u(} zomm+4c)iS8l;K&4ka~#jg#a0*L@l4JUvjuOLNg!_SYl1*e7Xdc(fjiUOgSNlfKc@gdcu_EBgGo4O^n12fJKY01^y5gn zv++k^dqD~48Oc9(jMTCdyxhxo6)vJtV(8%H259hbTHfte)>4Q1IEco&6i7xiM1W}@VvGdXvEtY z^A7>{Z;|Ca-UFjcT&3ju$#61IVqh?*^-@e&!mTQV7Crs#sU!RjULhm?qRfhEyEZ~M zaRK_<)u9gb`a7zZGzx-cK=M@Gs1aly;>ec9RuM`qi~Py4r-8{H*~peaMaD$YqVQ;> z&0YRaRfO2rzQIhO3Kf$ZcW0KKpB8`*(9RBfv_Ic?8@jh_v+ z&~o#pXF?a*>_vT|m>8NIa8GTB@(oTp#(^kpLL~eFvAG3W?U|e~ODuyM=vel|fP8#UL zWT8?c8ln&*X?%yX(Ahr90ZA4hX`>Wy(J``P0=E~=H}VM4Cs&R>b+@ChSWuKPky%HN zHqTr#;kc$rN(N>ftuZfOAoC*b&iT}{4 ziwxHkj9Fda6izt`C;If$^fGtdu4pBb^%d=9c<(md(@2a@Dr#jt>xACYM-WIJOjDAT?7`JUbe~$J`!kff2?QV3iWE~Jx4!D-r5gYe$UDe_d@pEI z?{fbi<&L^H;*SR)QTU`BCA2L1ye))6o)u49c3&hx$r(Xx(XNWj#nTn1kY^aIc4x)U z(C(bN3*Lfb&&=HgOn)`2_4(NBm)g{%P{82fhLgk)Q~}r&6c9qQ28Oooe}P4N)2L&I z5VrYEFtT3tcGUzYPz%@~8HpHUvm<-mjJFiZeC}9pna*8G8`X_zr!;QZps`W^TponM z&_EX`2>8SpklpzPovglGM$riR#LDOeEfKe4s5`I?`oW`C<=GAXD)-u6y1gJRu-5xC zaB*PR0COryRp^>dvKN?zA#&NDzyDkMoF!xCsAqqfvui;k3u6z(O;P^?dR+dZv>^tbIm}Vam%g2KS;vkqg)6w zQ%8J<<2xFS zj$%_E;Oxk1zRErK#~qhC&2Kd#0<&Ga-4X;7D!PLp@&6ZwNqiBTMvQ;!;SA;p1?UIe ze9iiO4xPmDJKo-u@=({;EOw*w4ZiqpfS2{#qT?0x)ZH4|g z<|52e7;Fa@^4qnoTui8*cT2mm&3`Mu1m<_%biMd?^j#bERw7OekY~ht<)gshsqxB4 z%s25BuU0Vx>Xxd+AhW|x3~C#t#JJ*AS!4!-b$6987^vLzV|dP2%BY1?EUIk_V;&Z0qPGEsml4z1E#cc;qj?%0zBd zYL#nA_J@KbN)O1k2h)vc+m6#rPTnQ%=HC7@orPm;0p4FPj#Sc7zI<9OQ^>O+$uLZ{ z>c>kGZX7EvHIS8x%9F)r4Ydjh%eA7&fSa<6c%9$3(OkbG#@ZXt|7)&;s&nFT_ zF6K=FNK2H0P%iL6G>9+cFYN21DxpefGhyGiudsF)7>>5d{2vh78H-JIQNf(Si9*dPiG?75LPv?xP$fN&UUPccKs z3>=k6zrjJn3$+;L2U7y2!*wS^Nc8d&751|sry+q_fe9fSC*KqkO+c#&8$-p6g2+fx zDH?_*9_dOI!a1f&BcDciPRymNBQ=r&+JfO=ha`nd9u}hU`AyepQoogZYqeg|w{_5y zTB>R2Z=3S`aJG3CclKxVpowx9N(yCU(n9Ik^h#Z{7R?%cb?kQ4Uj+zEzukCd(!`~U zVLPVI6YVQ7Huqb6#g;`-e?EOVITuaWd|?$Ix;b$=exXnE*1opEmW z2bEqv4jT>EqrM8U%;GL8=_=iZ2}jR3C-gC@ytZW{(JShnjy##@9`i0`UP3!KZ3PLI z-=V;8e8vgyDmJCmmh&G&RaxKx6}GEwwfB0c9pnk*&Dl8XY?U_LLmfqhJk%|KHRQ!V zOxwsj1l#Ev156Y8HM=e6KU!Md1ZD!O)Bh|N;D$V3NWC-p2H+w1%cvBz9jHBS#vso6 z`1)*0+Cdc0JQ3Jp{3xy#!E=)T_FK4a``}@wO?C|+nSg^Qq`G0L?l@rq5Ft`V3uKxV zb^X)owYRK1dCGTJ9+`hH$BRziADmJ-7Wa{?P(6o;$ICgVjKX#Mkf;jUqdwdOleB(} za^s+7)T-5o$a(N6?LC5lQ~7~(8gY5g*O54BC$Gy_)ZT0DFmP4No=wTV{JR?a#6GsQ zZj5Hbb)+Uycj|+5JXJUV?``_uJO3U(3PD{ z_67TMonTijqNKgAc$x^7yC@mV|LVnHUV7@tUkn%Kre2RS@pf?%^4@wr7$hHq%p?@% zNEVjDuX<5*8T%-yUM}}VmG={H3hD^Xq39;PHXzQKvd?1v<;Ok+Oq!_}q(*hoRYeud z3)xFK-FUe`RN*dM+z7ch=(ljypDi=ns}EP^RByIE={GU{qe(95 z`MfCIG$D`AFH2$ypcqdY(>DVE-jjcBrZ?Q$KV(wn4Ey@I{N|4|*9!NKee~5`+Yg3a za^%$6L&vQXyCHWEmw*+mty*A zhva}P4Kg8|Io>R&ya3{Dgv8}Ul96>-=%Yy=em`{$6~=3`AB?CU39by^(3{Mn&so5C z7Klw;3?8FsbMEY{{UwBgdW5eYUQ3BcaZ6cNGizB}T^4gB&!xQ^PY7x*r-QUm@p{`; zz0XwoG<+aH`H-DM5p%@eevZ!8zW%_`ndo%5N@w0LzYYy-*jRd(}9|BwzCPot137-lqNgh-Ro-*+T$=X4JX z`|^;H5=fbfM{~f+$FPm}zM6{zAvJVG;R97U-@o+;bC%|qM-jNHgXimNx z7B3D#pR4M0LbSiMZXO#|ES~gql*&YFTZ&f_-IMQwk?7~kFo$d?69yj+?_6_rK)Zjw zPZMP{+9&m>EtlR$(k)`^7ZSTNTrTobS49NKmoEBn`}viI@T<(w?O+}P(578{l>i*F z8Fnq%K?tr6AkmI{*`WHifkOf|z0nWjogH>en)4RcVMF{d4*;V`uOJ92a+_>sK% z*>ji?;yYPzXmTG`G*&0VtSzezszL%J^9rjI*0wPdjR-TC1qHjg%V~l&`*!&#RlC@@ zyD+wVQC_aY5$wToR|jR@+G#Itq0vhs@)n9AQbv9dT?R|Gc zd#>B$%}#2s&&P9ful}zgPjEHab4K>*ly)Vf(^zLd-V;j(_!LfE`hG1PHS)qM{jD{y zSZ9DqVefDgIpv`-;z*$;BW^C5f~+RWhLXiJmJh(n7QR20*1Z4Z?p2S(hkz`EQx!PO;g`qHYQ~9(I8#~Hn;a6#fSkhP$DPgt`j-RA;gheC!c*fcHIZbv-Z0cH zDQPKPDw(p<4c{r_!Uo;tsmx$m|MbA|d;UVqRB|6Qf=SO2rNabzw{c@_QzaqDc~Hc) zX#KmRl0!_Hi6L>0lUxm{?W?`MpX!EJG&+F^E1DC)4;6venP?^dGah0d2lc|lKfKkq zADf2gGHW~ijFA#?=wvQ7Yj z;tsO&EIu5jx|WdWs37m8&?yd+<)B`}mV{*m$O&Fmssf4h5lY4&f7GJJPV^@f7q39* z4|P96>nrj+6jY5@Qvp7UEJyyMdh2szHWDk-6%}pNcP$>R8Fxqtk+8!p-s{T@O(pqS z@^or4E}KK^nPe7Wawsn9t-glw?tF!0x;H$7s@0Gj@FtxoulA11L$T%L;qFmVMt5nIdXMQnAdY_v_jY`^gXbwl zDlSox62rs*uz<^mLygm3+iDrZkgr#?Y52BDM%MG!+kbQKcALZ2y_ARuEmIP)G6T+J zz*~t{WZ23+QRKIQ{>NrY1kh)U0$0_zP*&@cdXAl}it<$oI2%~KFg}4X+2+j{NMUd_ z7Z&JEx9{HR&2&btyv77P{6TqH@M$+B(wKK^trPtK)EJVke^Mid5C`Z(cPUe?+E}@t z+d4hWj&I0U#*?C4k$x@gunM$)XFZwEdCZd-ffeyIY@@o zAhTVmcA?Ygu&ZR2X`*eOo>GFPV17%svS9IJ6w^x+TO$b9gdl+34*aB_UN{-g&?wah zn8{st_|VXVsXG*zx)<`oP(4R0GPtT`b)0WH=hbGaXi%rYN88V;f@^7G>9s@Xsdc1h zZK2gv912s?(y*|x9C@$))yAmjgwN>~;?qlChY`;jR7MgZh)P33Tp_l@xF*j1%bshG z*2xA33j{5j0*mj%%fmB>0z0Dc-dMc|P`klFN_+F(!DOb?7@lGlxwf6OubmHAQN6L^ zmD@I+12gjav05VVw}{?FdTxXy`sXPcSdyEy5i_I}*mt6v!%u=E<&7*QER5QUBTg9o z19qHf(t0T9mo#QD$O)aqxwGz$Em06`z_Zx<0S#0#7t;ba8Msfq8p7}iHQpx;NHBah zYygYn_>jk>$`y#e8^!bgGVD73gD-PE0cA)zCuq?_LhQ5=tDKUmvtgtkjGV5oalDj{ zt*L_^I2l;Kwhrj`LJ8+j7@&jg_jg&Oji!lSy!96?gX3MY4ae4lXD3|?*vy0|82tQ~ zt6q9f0^j7RRWeOnhuC!Rw&-mN*ek$2lq2@#6P`#hEk;sO7Ax}>NlTWZ40oaV;Kly{ zwgfTS=`8~D;K~^inMM+H#D7x1F^QXRP z#FYUX2Ix|~P6S5=;#D9Ax_p>ZY1aIqP_pl@jtuSL3yne)uqe`RelKE=a34KE&M1iC z#Kh5O|Afa__iGJsnL8Sudh^ZW?cL*evaPLuSm;^%>7!0y??DmO5QTAuS_i{H5l$mcIfO}2!jbWqc+3}bVDqOs3V zQ|&btYkC$lhaic{s^tR@%cde@B}zMs3363DRXcbfXSxOsTe2EvhqdyMFb%T<=Hnu$}4! z32>%fHOyfcv1o8DCs+oTT=%Hau(pJoI=P^GM7SXHKHJeqiH}1%z2IYiiz0m>$rl(T z?}WlmcV|!O)pE8dz(KNvI8QYuD{4y_U58C&&4^fF!i)v12s&{PAMVdwgPr+DrmVQh0+|KZpCrw zh8pY0b%~;)ia3O1lFyuHL%*Po%x%!O4uKD5fj`U{-2#_R2giu4k=gGkRhD z$F+Dx2^ig;D$aI?BJtE1;>cM+PypL=*|TAS{hg2pM4xj&=?+J0+Vwf48v;?H&s-`_ zgkL)N71bZs?gveo!cZ}`!O|$Q-+_IRWi2{fG~T1=ai;`FUJM3B*Y{W{c^7xr7C7YD zuG}i95ne(V;D-@VVP544Jy+OQT#i4V4DUuvwc-9Ss8_cq9ZY;*k#Z~zjGeT6Lirnv zB&34wvw&Pg1bqM{0fMpq@^=snj-X#Qw?GNqgMVDE!hM=O z#-U+7z0a9nB>1$?M&UpU^Qqe!QXCz$&efXIFY%U$$kcsp*Ml65jSWZTe5l`)@mby?o7&NokJOsG#%Lx(@f#KH+GNU z0^)u>E_vdE5uyCAv9=*6ITxsEU%17<8onjV40Yu1tC0P6Q?Qa~Rj;>^k@8>!)zK9; zO8WQkGb$cBXm1tth~f4jQ4sYyUu5F5y>V+JT{`aQFv+AZw%DT6@`W%v*n1qiCZ=uo z4PM(N^IY6Mh>y5NcI*HCQre0Id=D*|y2HzT!gedrAutFP8S_c(9bz_Z*cE{^e0N?s# zpc&cInB3eBiO=ztE*7=J+*Zx(hrX=$OJ?Xssnv}%`zN0Q0$HXiMNmz*%}@lK7!GLY zp6-~VSx4zZ(qw2ofCp}V?)RS2(4KA%dwhJEr&c7Q!vU{lfkg$hKx$hHjf3=cqzP!n zWCcwp8Rm#iOutUn(y4ttaE9ACAYo{+R&M{Y+Yos#{aNGY>X_nu;cp`%Za)qh5N>LE8#z5eUgheEWH1niVZ!ZvEE&=#nBA~wvh63 z!{1t<4>V4pOp|+NB+C*!+cPNl^M-mfBfK=w({Z(Z zSHS1$UMIIrbyQ!ueNqV<&`pl+Cpe|>Q~b4h?%-b07YcoRJvz9oY+@NxxHo9Mu4(Si z=pIq0$Hj-fK7@ChNAMg9Q^f8ZaPs;=^gJx^84YH&m`IM#DOf1to8Y2^8uOPkaM#r< z1~KO@B97jtXWJVw4N39nTAE$om$K$zH-cklv{eB%TxR{(6HXM5hxz=sjj+XbhMeLT zl(y|y;{W3xI2iw5|G>n;!I)H_Mg`E=blPM`@}1SVL(Xi_)P;(l$~xeV;d9DtSTg69 z$45d=ol6W3#oYY(q^D1|-AHB0?ON+I21fFJ$=2Jq{Ih=+=kD?JJNU3|PXIkj5_m{j zqV=yULK&xoGtN=C&s?DOWlo}!V|f}+H|HRVEL*|N0%KjMjIh#~=?Et)_W#Il2%)AC^mEdsl(HaaKs)D=Mn4Z(YHZ4?ccKeHZ zcn$Oz#X5oj#y^9PcPY_z=jypHSA93%nL_49O+4@qIgY2gjis%oB0R{@z4~`j!8vD$ zM2q@LSZ7rBL0hxqNhN@=r=hsve+8Z~2D1w%d#;{b%ql0)a1KDL&;ZMooh;LUoo8I~ zwXJTT^=6)<*&1u!dcVmOIgDlM^=ftrVuak_wQv?phg4GbJ=s0fUu;a@nm`@;HJW|= zM947;&U7)tei`Jv**d2mw}X4fF@hb>J@t=x9grM0@1_b^mAp5p{3yX+S<%oB@z3>? zuL2wADh*r-&VW?@O#rwyjY>uB`ulY*+&L&jHK!-LKPuw-NNfe#6U&GUX_^z?Vq^C7zbE>*FBYVpf}ciBPM_QZKt^agE2NBegMmA zBSl{lsrh@Zjc2H=SrWUDbIEGf%#z;;a6mtZ@tWP&n>5boAYkh84jCR*b^No!!XW+9 ztK*^u#B7T?&q{SUR-OP1Gt{^03rO@)tBWbNiS*e(zg)e}Mz8MGlH){Q1L4*Xhxvf= z3)2y4a&c1QpStE<2&llcGOXVSM8&tQo!YZWIc+@9JA<4*c)z{*kEV@h=5RFlfx(z` zGlpVpEnYo4EFhVKGrZbNeX=E~hP~gp0CqdQ=3EA}AV-*Sj-c{pbDmw}qWW0S&!(li zWu-owFpX$tcB22&f`Ho#QYI-pid3G(OO>?@tm0FC85QK+SRhJR`^&OZytcyx*cSrS zgAx-jXO-a?WqK}cq&k_JkV*%T=1ns_pkoB&Lvkj+4A{2&P~vFe)VZv#_11aaetUB2 z;LOweSU1-AD_8Y7p%6n6TJnsgCT~2E9yfB^p~qI)WDDY%d+q5!+Yh}l(L4>_8FDlg zflHqHhj`na#O`^7)z3j6bIy=;hTO>+4wKh*iu|S8CDTw>N zV8_wLW@1N!H?{?ym1z2}B3o>ADH>7U6%qf#N<(t9tvE%_bCoit^i2{ef%_&N5IX5= zo-G%2I_E}G8fupLo1^jO&q#{7=G`?doZw4R7C>Ie+`daFG`nTznkeczv5s*~edq5k z*YHd38zH(x7Gqw;tf@kx8506{pwU$a3vHmdfwh*Ez*qi}^yudHKnocUSQHt3U`2q;{C*P{u$sz>BcF2hWjb9+!zT)*@y2w0X7 zuf$v6nlmz4c8C57-$H*@ViKP`Nke!zjjN(5>RU?2@zh~I0ap&)?l&U#$Y|RCN02!= z{*NH1adQI0G}-8r(E@WOB}9_qF>`SJ?~sRuknw**LMBdT4$h?cNGgD{i|KbOAIxY= z&PBONr^%+UEbOEeZJktAIH%@Y?UKBdCe=?u+G;?SzlR! z%sKfDIRz2vIW?$%Q29vkxZ3N3py$R1X4JvXOb6hRoa=$c*4u&7fn{~KqNBHDX$>%S z4g7$JU@0WZ7z}XzBRc`z(EiYOh!BGP{WDX*mXBtbEluw3^^7d;9~?kHE?_`^foED? zW0nW?6vIzPbGqItmyE$aOw+3vD3n-cnFQ)n$FQ-?r*V>Jl12}xM zJ)LuH!w3Biu^Ld+R8TUGIjC`9AjZw5iS>R=M&1%j z4wRn}6fxe5^vk+8Nl9J~W@u7sVSbWtasZ-;qXbNu(c9A~=)O_M<=~|Fos?PC9zh3W z`D^bNx?^y~d(pvL`^1l%|CWKa~|HP(9;I|DG#|8?>sV)|vEM;Ku+@<}nY zy*E$-lHS9lLET)9+gp{b{v|st{s=n*csVNi5`A+Bd;mf(kAPU68l4U6fj77T@crji zt_Z&_7XnWY3K+7sKuoZZ5)}RqY5haz0<2($rsl?GrN8!>-vhvYY#UPp^W#JNHt7bY zBjoIT3;;2|luv>QBjbaa#WfXw{4aZBdm+AipIfUv46EF zDj8t@V_Z!$Pv6=QTCC8_%(;yN(8Odz+r+%H8@dQ)>V-rPyl51Fpt+^P+nEKW_GwM@!2F72;QS{K=9-Cv{64QUb@9aISkp#O3l@+5}lUx^n3 zm3Izz2sR}%Gdj7<-;}m^n4HAzwBVmfng4qDmru8kk@vr$-*u;}zwK$@el>Zxf>{Z< z34nz2$@|O4-a41xAho5Hv6;1jl`9z!16U{*#vcL5Ur0I0u^IS1snMqtu0JfWJpK_8 zQQ&>UGY8+h1<~1m@OsSO>I!=*KX+eCF%0NfnH*V|0(JBnSqf7Hy=xEv)R84FL{8J}l(xy-?Q~XZh=2ZoBL7z)AFA2sShY5$FXq|UvcU&^$8`@y8-nmU z3Z~dWytRC$xzDQqrmw|fw^&$A6)xW;0af;9c~OecwEd0*Iu5*C>f7TVh^%79mW@KuBgZ#PQ$azc)B8idWC<-cLabU~{1njx~Ms&cpk1 zE82dmv&129{M=0kQctP6`Siz%Hvzj)fn(gg+CPEcth}Tdef>{rIv(5ZhRLKttkc8? z1_=#{JMq(*@h(F7X8u?x4oFPuI}txegzdEGpD+t6Ca%i=_|t;-C3rf-VHhV{8*M*+ z*5w)qaoM2-(k$VEnMFx_#fT}Waq|x({&mFo4o)!gxllZPnTV|(JZd^&4g+!xmKJf? z6CMMYvNQ&FW!OHlzM1}-!vr|(MO0u*K>OR3W9)8>`VTJkwhV!hzez{mr}wYT!a~5) zdQbh0t};a6J?$V66`&Xx%hOjEig&se>k=}!pv<#Ie@F1BQ7x;OONiSw%~C9d)(|$z zK%kayqyH%nM8q8^wm%wGZ2;8ivh-CzDpx7Z_hu5|#uCJ+BU%^)sT-*&UbE!yP0Bo9Y9G9Plp)l9a}b3u^B?_ezEg>u zm6kR9)Pr+r8QsWws3R*xq@O&*Tfov}HVC^OdNwbZ;+3kbebfFZ*u0yAVL+!m$AIC3mKIHK-S@jVv#1= zn0Pm5o#eU{_z4%CILbXLw&hWlEA}9-zq{279$%tew%iJ8%=D{IvGF;b4LXF`eK_6R z4#F7Sx|3_Ve=|vQ`b&{|UYgL9%ja)l1&5R3QB+2!AWS#D7YOienLVpI$tR1%aCW-) zH60>~A>koEO=luHuhvo-d23n}q@VY=r074smu>PdLtRL!-RIsDO_tKk8QCmH8<@XWz1P8Jm{PR@vh3YSUl$6*BpYus^2afVa2!8;YB@>#elZ=b7yUO zeO#iyYxWW6;Q>%RX2+(`F4lq2EKnlG;kPG5%RNnrY9rX>3hA6!2fR(Z9Q-g24s^N# z;~sGi<`z&(U17^7JG&q@UXN|>8`~{v?IE%!gk3h(;Z2=s{a8(|J%!|vFH434ciJ}3 z&lYCC37~ZDd4-$Xsm_Pp>dK^#8Va~$?cN}DAf?vx~nAUv1<@U$#6Kh{~1lHOzA(L8KXHp+FS?azzV#h#;L}wNW)1b z6v{=vxt4(d zcC5jyHUNz%QyfXkH~U(n=EJ+c#2aD1*+|rhm#qqC)n&M`**=Ndj@?>*=?&hok*wM5 zZB|VguL7hVTIi+Ffz>zKX&kVY^ns0g0!U@0ldnr|M&Bv@>5@>09UX~%t)s1H#NGJ@ z_I0!q&;qu`)+`^IiDJ-DY`lc}Y#=nCC!y%(MF4;g+=kE_zin)VRMUc0S0ghV_0fS? zqIb`a=)*q|4Q)L?mm8oYtb6GUY$JC5=MG%CZC4+x3ls%h!vif) zc1QWc$0LURIy_P0;|}P@y<xzEL9o(N$nS1ZC!?4nh-Lopb0owIpofO+wy1v{o zbh@U0w`DzVM7@F$zx4bR16VqCYX#c_WB3flf!YazQEXwIGmylf;t{wa(3;9*l{Nkc z_4|Fn@h!89_YDOr7`2)#*RRu_)T|u$r^x$o(onNt)*C;GGhtB(+sEU$mniYc?UPW! z??1@*t(9z@CC9_*yy?Q{k8gcFNn~j_g!w#wQ4l{;zVH85&|xz)@ftg?Ct)P>AeVx9 z3x=w+@A|YGVi}CNeyHB7Re-g~uYZM2Kyr0RO?$dS{Uu}j>b^b$pT;*GPctXg3 zJqX&bVypbjUlpAq7A0#;b%opgtr5Wg!F*K)?Ap4qobmlOFq-obJk$kk$ra^XWAQs!zeEN5co z6#iNO8JygDo{8*UUW}vTFVm31&ZUEY(%2_<@MpU-T3vmNh`1}4-ap%kvt@Tgh9oQ< zFmjZ@f)*TLRd$Gy%M;9<5qGm%dQ<|_c6G2`tG<*v85#3DYv`DUD5tkZ)3op~u%n*S zrpzHux)tOau#5_;ZORwU)4IqEeE+B(T0S=|-&Y`$QZ&{Wz#_15QCfLxWvfts(}D_1 z0U)UvrD-FDJ%k2);*!e&9XSqmn2YiRbn0ei0GMoOx90vPiROIiY}t1}OG$Top8T^+ z{dO+aJ(TSBiOH1gHxT5M*~SKzwCwT|@C zAzlp|pFn;dmBO5lnO3srq2|ngj>CC^$DB{Q5TiTPI=RR*bDp{MK_?@MbpE0vjz&O?%yNFGAHd zQwpa6{VjakIfc%Pu|YzAQFYt7=gRRsXWl~B+9F_{3QHTmC-yb{-CH-P+^bM{wT77c z3;}Y$0Op0U=m3jiR=vvv^-6H+ZpJg(`tMp`tzh<&zaO$Tb}tg@lh46!&EH}RFD}ci z@B(g;dwGUOl{d+^FngC^2ty(6#_r-BcE;(@lSDzpXzKDa%V$S_Kex600=g2vNiQA} z--7I0|72?PD|6|6^hVBbxV3k}v=$4hX*BO!PyB$2j$LUT(GQAjhh;Z36(vI~ut&-% z{9t?>_#F?UjgB2*6cB(QX@*U6{>MYiEa0l@rTYOVIvu03gpXLm!D|>-fzcU;x(>|4 zx6Ovt)E?cSSqjO2yx|}!TYU(OGP)RaN^)S}W)fS3?P&7g8;_kX1-vd?VdPLn?q88z zI=)Bqg$g4S&8cs7GFzI>V7%Yi+}sT+ODYJ}{U8)6y`TQ1Gn9<`p*&>Vh4KW5nzDN$ z&>hM^(th%7@u*E>BT(uh%dYk3TRwNI58t#z^BC^jph$Cn**!q|OSeh{ZIYHKsgGpO zGuMxQ#3&ZP#1h*S^ilu07*MiHV+SKb*GfA4Mj#~vRbxRU7G_S$hp5}E==As$(wOrt zaZO${Qk%wVRZ=z6ek$rEud;-3v3;2rvYEE?I}-x~nn=F$>tW|~4Ce&8@Ojqsn&>0m zWWA>@D#jjvw^td+@Q6CHc#i3O-IzT>CT5p62~j4BqCTjQrK_0z}g%8*Z) zo4P2UrHofXHCQ85Dqw859rt&7LM_80FERe{X~oW=X~MRusZ_~Q%jfk5P}ITFJ?OX*4q=9Q8W&;@*#@la|y#O(7f> z!%|^DMYt;>RM0T3Amhe&fBuRVg9V4|GgiN&5On=VZwjMT$HS$uC`h47J%qmwTH{vL7nZF0u1kg^s!v4|R$k z9g>;d`3Z*i4eN^d7+ZKIf_K0e3b6%_-3BM){m#eSlwy7=8AEE!n;>~dk1?RMB9mL9 zh~qF-{GEjNR8@zm>59K`bLZJF{B0<+ML#Ewi)pA4 zobrNAey#vvj988m0r%7Xq#>x`JAbl$d~0Xb+DukwQpp|aHbe0wJj;{!b;BGAg0_*! zz04(lM+Y-1c3cVjc^4F%_#PWjHu}YX^Ja1?VE}P#R7&=+`V=N;JO3p$>-#F{CA5EV zJDKlL_*7zZ(7xqel#bSxRkYd`h@5(|L{zsQyV6al%;{2kDwwAOAh>s3-$|`BW@0tiaCfARD7EM!J zJBQQU)fCNU21k?gAds}N6huREFF!_)cd|E?ew{jzjcmAF;%qF@ZLss{!UbJJW{(EC zEey58ro~s?b%M?s^jr_&Pm_M~fhFJ8C3@R@DF1d6FQ1iamg4~HT9n@XV?d;PZ}|>b z7BOiRK?1ESxiEE6An{h!T-!K*jC0xc=E|CVQhxAkpcD;kV{;=w6XrX##XB&-(a#y} zLg{y%*9m(x0bl_vxb68;g@PkP%D4`TcvPK|4EC9KBK^qELR}pGNPmLd_=cpG_c@?D z2W?F^o+_oI*b@Un2YYIyC)1Nqd;XXpFHV_+=)%#!vJFyqx|1_3gkK_m!wFCt6!}QF z2?RDg1#OT&CCQ#JK-MmEaXqxdu$?Y;-{C28|V&l%#lfH3F43$s~KZf zpd-1)Zm-g%)6UtnXuK$i*LZ;}L(}?klj*-SWP<;Ij@_X$Mh%@|u1XQAlYp+zQX*YwaxzUmhKp&>*I+53S{ZT11Ia1Q?Zz*ax zH9ub*y}7$jG7+PVC!f8EQ{?r>td^>#%XWNvmR-U1i7SK*S4vQ>ebMiQcAm_Oz2VSv z;5t^%Jfan2MMuZOpVF}vS^ z^2*&b4)CAFiMIWxg_kGWbKq6oJ1snM6Ln z6`9Kmp5L@f9nljzDBopFg_;ppb!C7=1|u`|ePSf+H7r7IA&J1EYb}bwsB(CET+hf| za|x5??dXa{shjtIan)Ca3kv0W7QiCMKY!jx#M1g-DgaXFR5KMcsj8}mo|r>aaG6E_ z{&aImFR`B{ho`LrYAQ5pS;imgHb+Q{D|+3{s8`BT6YCX6q2Oe_QO_bf!P%h(ucX|- z$lLHAP$T_vGTj#M^laaHCqIoG$LNLuagouvbD`>YaW)ozI~Vxb)hAN(fpTJhK7#*y zdtOOJA~wGGVzvu_K1F5uTZCP&-f8LpY3y{XLrAN^WxgqOmV^W$!;yN`iO?D|+WNk{K6wPEv2)e#`i;AXoWJ_N;WuPh5Fll@jcaHBp6&Xw2-RX^t< z{@&Wo5DJWj;6;zu9&h^}CArKw_cJWAdv8oSWc0@qPW%<6$C~R>6(ZB=ekQXW?o^t) zo3+J%dkTqc?$a972`of}h0~9}n3&C0hjCLl&hr9IArX)R(Oa>`q0|G!jV&jw$^TU& ze0tthcAI4ERYBV%-$*1ug3m+NdFwI~Ysp44j2+Qly=-@zsy*0pgJs70l@SW66}O02 zo+uD98xzMW1dmjo-r%SahW3!}Tru2$=A=D;YEZTI>5{JZ_qG=lEfGef{1kgDEnm0S zGBk2pt($yppYC^ZkN(|RA=+G0fLQHxj5>z#rd? zDXOdjGJda@Y+;O+w{4IuNa9+|S-@)AVTtS0`l1#G=d6sd6Bn%$Qs!>^piZ9-LlJ3z zpq?bHyu{GtcsrR!2%~V8v8knEL{^P{75RWnqf&m z4p`PvfBGJaO(A)a?Vp?*n;ttIPFCPF&g;93c5leFlAqV<1`W0}4a_c`4s<%@tj_9^1igbM1~5CsFMbREC=GSWgavd`$?*03F)TbO^DP8rIg<*O4aOt3Up2# z6(%8HA|iR&&uvBA%ZDE#Al-P#QuIELiyiuu>}imf_PFxt#4noXI4f^CF&{QLE>cEC zz~B02gu&>ywFa`tE2U-@=H&*Mp0^@%sci?XDTRg}_U2}lmFicirGoTbDiqQU*o|p$ zLqr5V_(_g@zgRYdMJ(U8lbr~E@nQQmn7VMJ{UW!?xvq}#=L5tImPoSnsUl!A$m+~H zNM~K!g8D9F6m)<(DY;EYvaPy*7Ag&_S?mK# z+{h8qb@K_NFc|%nG{SkMX-z$}EJjcb6oR)sNiy(pYR>jlkx<}(le)MK0)&fkDj@S9 zO9)wbF-9m_ke(%i^aZZpB5-z>j#Y#6P`_O(fTK9uS5x`%m61kih^veAt#2T^ zqgb&IZErHoKVInNoW%yc2?{o31Gy?l3H(rsZ$!)mwRNi@MW9p2oaX z3IA0bKPa2lfr!rvo$gL&vt0B~_&>3yYhiAu{22JE(j(vgN}E-G;LB@1`%YG`gg3woVVBtI(70lW=6I%_&Ef%x^9e=_e~2Yso=#q zjvXd3%u?*62XHWdGrese`sL`sVlYA8nZh{ZVajFsZrbV3SOgK*&m&Fedm@In1q5i4O0Q%J0q4r53LJ z(SAia=S0&nqji=dH>I^42jvxLR%FB2-!=~*0UyAIl7e}E?TN5)pwVC@@K)myKGzj! zQFmv*%uq$+aRE`DC9t@Fx4~ZX(1j~uoOT7O6f8XX`Os`=DduNMoW2HVkXd0EJ5=6c z4M!{1#5f|+W&bF5r8Rc^i@JT9s|U4A>g^H@m`8w)&a-&*WbS;P=E&!>5&I>?<-OAM zxKvEpso1}NwP}Y|x+(LhtIgiCi(BdJ3qJ{|IMDBYeqty4xeK-qv%||W!4@P5JPH$< z89)+hXB+KjLct-@QA$4z2ls(F6+^iHNv>!!0pJxkHtb2qE)uC7HRV|IU{7#U+*~k- z>Y9aG@2HWf>4#T$e34JxJX+wjdjPS!&QwHE=&_}L2L&JBo6p-XS#fl1Xyf+qGWP>L zTS;YlX_Gncm?7@{&Q(T^9V?)%G`K?9DMn@L>rD54uFm5p6Y1~^L!s+zu-e9rEI)Ds zXGoWR=V)Ct?)end_2v=oEakK}fffWFl2y^1R}hOa-`mBnfz3a~7`i*cUM2{VI-|C* zz&vSx0F*0UdYsr2gbGb#3OA43g3WRA(F|1ckL6oamV!N4eawrC zVt`W@-a&T?zO)2naqQHUVR^HmgkVg#jAC_v2RFB*+*zqQ|0B-y_1>8n(X-0B&NzJ} zVu?;NF>dMQP!so7Rw?uKbwMtjc&5aX8`dnTXJDI#;tE{0?K3+^tNFRxbFEhXqq$j% zT2_2aoEcj!X=s}2skq?9aBkK;W(2V6Td(+0kZo^-%b5<~*HK>1&yC01_(WW!>0PgX z*1xr%WYk*p-U|qx+#3}JRW3*8l|5Z)2ZqorofoLA;j-7gXV$dYzgj$y1Ttjxunmy- zVoHd)t!(I(rY*sND4hj4gYl-9FuyGqoru#e^z%|dlQUcMgrw(bbMx{1S@i8gn$0FB z!SQKp1Su4V+n|XU8Nun8Om&sXgrkRlexLPuK*!dZ2#GxK2b#rMdx=S0p^q7^5fK%# zQqGm%vf0_PtD3-rlVZadG8tXaHM6&~fLQ%mF4GtBL=P6dN-~=D#A8hIPQM={0uC^D$(VBO7hDWBdKsEXXmA;{W;pj+} zYZUlX^onJLfDT)7!${OAz}B~PR1G}^EgA`Ab_o5#TK!!LW&rnbnG-^b!y`LFsfjyCN|g{&}92d{dd3Ca?GoE+%sijV5y z)jcI5oM`KuSBvyoVb8-_(jDV`Wgd#?6cAK$mxO(uTvP!jJFB|y)R;|l&VAKKQTgMe z$#JUsqkqyWlPrST`bewsP{)Sw%m~+P$w*E2uLQSJnBc)#(c*kSn-8)6+t8AR@Vw7F z`7N*$IfUw2Ptvv!t&dB8Oib-U$v6W~#$BI(0F5}i2bKzD<<{aZ zdzS~OUmV{-buXlRK)Q`7#Nou?lvLEJLwvpN{GsgigRkS{ll~5W4jT0(sb*^JaJPP} zWBWj4IZgg=0J5JVU~?BoL`eS{WB0URdut9K!PYU!ZR^JP|3oDQC-CN@B<7bE|9)d5zo10Q-OcebHq=ruVZ;pi${QQNx zh&07_D@rg{EZkauECrEm@qyOe${s*9LsuWRjSt?+Zj053fH1b%r!619dta&|kW0#jf@NImzUHw!?28Al} zh{R|FwYlmPywPL!VUyxn5+Mky#yXa?iC3xpIBn4bg+xq4qDdvZ3)3pI27M z8V}v!2(0d==9}Dgub%V3P)5mAOwrF@5$~!pZH=c8uCPRol1J~YY5-D-Nm zA^x_c2=LJhyuMkQZ@b(+ufB_tC;KOY!0+uix9g67V9v5+>;t{W?`(YEhM|A`fIgH# z$`B!S9jw0%IwUC6^&j|Ac%yP1a#0Z~{mGQbh7x{b){??-o?wcYrdviOgVjBUO7PPp zESE+tMEjbb*5)&k4?}dqw};?}X+&HCA<7xzchT?V5=DIqN9930g=i$^s{zoci$=$5 zDVWoLQfu>b;|Nedb^H{(7yPxxpScVIn%3Vj*X^3}Ui3$UI%9uk@+ODeX0aRbe*Gf( zoJGe(|4!j@Fdx23%Z2N#BhmPX%0WHgEX(;_>Q2GXD(m*R(H|8#M{-)awf#aPYqSlU z8d~WN&1IPmTw6k_diWWm5X%=wn$BT*Z#M;hr1H~eqDv__UBXutmaqdOAZ=9nMFFi~ zB2qXASF5=Sy@F@v+^7sR+`YG@96Pe}u)t%jG~uL@C_}AIeZ;=F)L_1KmKsY1dU*e? z^@5-{Q7Xi3MGz2PXBWKx}kw^D75Kf?ya_G`-QTM8U zEy6j=T)w~7APm6nD3oh?@m&eUKiq1PF2 zFeMM$a8l@i8*L+&(r_7#J#Ei+TdnwiY=PJB)qHW*d7j1HoDGY(&3@8YC~GqZT;(qqf^<2R#A}l;mbP4lLX&j5hhhBE^=RC2(RUjzlo;{Q8|@=_kPpO01D{#v@3|RU3HbgTGojkHe^4{!4WqVPlG$=ES5+Nh5Vsil}jgP5z zIRO?Mz1ky(ja2GoSh0XNJdUv?L@+cA-y%q_{ZrLE%z?CIvCzD;S&vgxoGR)3%`3Of zWY}1#aiwpO33zD`MNt7F>+e*5Ut0f|SrCBX@IbjxVDrdsu8h8@xfYRI<`9RgA_{}4 zFG!|WL0YZUs(vklg^*kLp_sDy8Fwvmnt3bY?+*q>lfo6L=^wy4FC#rTH|Dj`hbEpd zFzeYud!uykf?lUvc;*1AwW7W`R`6S+J)sB}${URcP~@PAy+D(lG$5daY z=DoRJU6e$4!LN0I@9<8|T8foxmReP1XOpOBOH)j0CzQqN ze!E6}Gr4GB$NeBX{1&(XC-|Dy;6Y94ODC*h+@m8+ar^1sDZRqalUwq zDbY(dDJGfXraSGEx-AoZGpaZU8irQ`qBy)}m^;BOHq7<-S?~^HG=JAJc?GsOoAc)H z>T9NbHT6T%o8P+bI_pZ13N||l;<=c8%}~i0kXSFFjwlX01RY#|8KDZZQ!Vy`l*ChA zqVfJiwmTYhEWHpE*SGEG`M3S zflLwZp))K=g=bhE`Nd>kj)>e@htrd)bAi#zj^rO})aTz{fQCuI}=!yunir zqu`PAoJ6j?YKB$ACO4g^t5Bk3MC{CB4}(E&^G6KtvdQ6}OBKdo(O-pve@y19z+9wB zS45=2gZGzvS{_rs@t%?4_lzQTUmqfb=#JfJ!XUdBlcLjqC4|I}RJ!xa*!SMdC0LO) zNs#p}Ho->?>;UH2Z2Ojet&d($AXn~yZKQl>!Tza+tg1mFzVZIYGo+zNkVMfz>1ld_ zM|ceE9IDnCqPfn?!ksh#wkS;@8CpjE;jGs~VV_~5Z^*&2B7O->wUT+S(58Pj4QdOv zDQj@}e4O8Z_a-4psZ^s?y5GG0Qg>1V8e6B>aOV1L7T34UmSsqiL5ODzyz z90ea>oGbkdtMfjbT+CKmJm0AsuEfuB-NU$Yt~eJ&O2yz{(T`+G^9nP2LEP@#crp4&(Q~-RKp*n=^1BT*h>qw zVDwjPnP_B%SG|oVkuY?K>{(%oQ#=P&u8f(i$2~T!9H>5RY#G+{nMS0{D{#fjZ}}Fy zH2J>H*(|4}!M?1xnrmar{dnG=$qqixXTd;!Q3Ch5wTt;aZgc$y3v|1IuTjsSv=C?A zuWghe*M4Tif;Hy^GJhP+vUzb(b_L(O|KNqwQ zPZU1cI3p@5peC2+_EKk+-p9)LO?7CaN+6W_6Ukjj@mY6L%GLO667VL&R0OHY1<)@? z=!>B!q>=E9X-%=+Wi?i7o1Kk zXVvWA&L&=|B=H}y7Gml>sn~Tuv$*(iFniER){3=M%6gak{Ow#s;(2i@z7r8k$jXKL zbe>d>Vsd0U|AJ>x7=)7gBrr%IM!$|4)}lqCM&$SNvi5ox0U{jL=Co6EAGwKtY@?^2 z$yS^6w(Au#XM8YT6G4}*ED;)70Xu76GZ?-0cEtyaIlSfsygjiPIiumul!s70(rug$ zl4LD$eTZ2epMYaiajxUz5wnm}Q6&`i7Vacl3YO=%Vzl^!z|6wrNppNBRvk6B#FK^; zGaS<^Ke!Z}#%q%OShGa*k!>b__l|P-sAjuKHCBIcNY1Lv-pzurgd{;DuInFGvq&S7 z)K-XvQu(;m+~_IOu*Ex)Pql@4YyQ+0>YWJ4`0vI>qMvp}3#`X+0JO;O8&~FN)Ufd` z(vleJ&GP|cOshs~9n{%co-3P}MRy^=$@bU}f%)JVkCW-LMft@`tw}_G1ZN3IWQ|WQ znFh%!c2r$w_EzMlMD zB1h`h-(-8q$Hg#wb_WNhg#N&9F)6r7?xiywS%2(;c!M$#L-vrE90}v^3}W&RvF?{D z^3f*>?}I#=MU}o$F4b*+Md`;JUt6&SmX0iPkG~gPc_rsjf^N`@y9ujVNbhV(R&$O$ z*+XPm^SuuPPrOj=sTJ^rJ}PL=lrUCUQwEl`3((fn2{nTJyn;fYT1LKA!HJI0#MRE) z>m()xMGi$s#T`57lIu-;D>)1?Cu;wuv(0e;9bhC{xmbXvgy{Ky=+A|DgO(6u*8;Dj zX5bgazg!t{5V*>M$sgg5M3j2j#~? zF&Nm2Edi9Yf)Hm4eQGwtRxf<}aiEvsKyzwNc@Z36YR=H8qR>}bdc}A&v)mt4*ma)F zq7x6VM4=s;MI0ly#ya$XdP#622YRUO>`CX4?r<>|9ImI_&9nY zwftCr-SUIMfQp;qa8uJT>n71))gHmyn$ruTc#k=p@N+E`E7p_@bf|A!Zi}ty>+=#! z79cLsvaglpQF83j<^aj`TiE3kJPjJtwbqm(rDM|`1oo#iy z^i#0uBi&20qDPZEZS$5(Oy@I#W)9)A(qXE9d*R8$RF~e3Z2hGM$4!ZtXp>v;3Rk`( zW8Skby?BCApyQPvfkh(Cdszc=(uwSwuaaMV5lC=T3zhZq_22Xyu|^II272r704p-b z9ir>nkZ>#1AphUgqceOHvbUeO`2EMP!>~I;je2}pE$Xh&@zV>JRf|L!WD4Bjfrkcv z1*$Y?A62IX20KYb_=1&F^CTiJ6~D9*p}_kh*uq`q&c=TM@nCY!U+l}Au!^x@4!M_H zL&QZ(M zSVM#NkdWVd{wgF`vxPwHQJ$_5^Aa_GG6R{}vX3-T4%@*2Ya&+;y=%htqc$N>qHcOC zF0ruaq6=(kc{ypL%I55-_J3>q`ArTZtsKL=6ysWA1OD0fo44g!0a50YV~go_?aU)- z__UR$N{V6qd*nhsLNOZ$E8LD4Ry~n*IJOf`-zklfGH7~dg#{6jX*Wx%6^w{~XnL7- z%%GH>sAUiBN+KD zpEQ;CMTA4Pk&GvA*^aj%h}hi+n)I9EAJIpQ0$2ky`a;z62Fw@Zk-+lw?^>nVfwFP= z<7`A_X|7U>Qs6mmCe`2f649c6eyzU1h~oRfK#bg~Qh}y?w8<-NSsdJoITmRC0e;^N zZmGC}5^l_2wP>9ci<034b6iRduz=n_4~qcev8@LLBdtrVyf&CRw2br zwNg}f*0?75Zu)cCld4!~2S>V7f?Xg_BpZ(MdScxbno$)zu`MB18u8zW z$|3j!rnY~?9%+~m9)?PpH&u?&6j^_mmuiS)D2LRKwpjS(%l6d#AdpwH?=azHI~)z9 zXoGbV2x&Hea{SaahZzN>!H#DQ2C15)u8XitFwd_jN0?PcLMW_Vy~d*pHcbta2}w&l z;54Q;aBiHz3W2YGS3TOYibnCc;C++jdT@v&nY^C-32hwFT0NT??j3ac%Je(lri~cF zfJqv|hE97o@3)3_Ub_sal!|dS7)ZW*8W?7}2#H#l>go4pHqpGw67_OeCM$SlfkY~r zgccECjkJtB2L>$e9G8CYI}JryGHoQ~Q#OpIBHcTp-J~#o-@?15zPZcYT9C8B<3z3e z*zF59N3!u6yHxFj`78fj8{xHfVwkk~Z@AVB#$q~oj5%8F?jln%t>5iQuj{+a>`L>x z(7v(tiBrBEQkO!!wu#vB5xiOL1nAVUvp7(T^6pW3XVgpO&wMOw>#WHaYJ#V@H%F44 z{aqOD=R%)3gD834qkQ!lbBnI`wyUr;spW&!+jmJD;JRN6xK@_I;OEAG#ul1b>~ zX#Mzq(LRpPPm%TxO-ZGWL(amKtCk5B&8QB_pf?urCPjOaAK2uB%M@1a$R2USu-onD zpWE+UxOS+}Yb0A0ThKIb;glQx-i2>UgGoo4>bzcEnzv5Tf=lZ6Kg@JFUGCc}N|eAuM@LfVw zG4xL!`+NR|I{8EC^R+OCRSb0QkJ=Q+i(Rq2;(HL$22mC1oRrk5q-&+52QKO-Os)QZ z9!B&!wvm$n3?&LIxe`!SZxCo1C4#UqbV+mRvQ9RbWP!anI+GL2P%n~dk18FS(09hZ z5OvvF8eE4~HEHVg+U;9r+_^H+WIoraNs?LfTpnBq2|qsyNZH>zItg+1HaY_+D71N@_(C{vI(a z-}IhZ@uh7CnfsA#SetrXdWfS~<*EXjHBv5F9z7@DUxSYyZv3Y?Q)XcQJ(y#ETAqd2 z&!suxlDCuN+3svCRcO=_A6ed$Y`KM8dDM)nbi2aYGcO)v>o3L%9Yc4?^dguQTIdld5d`sqpb)INpnEB6fhjIyeoP1@=|}NX5{34$aW84$ z0q~G;=o6$@Nlkrm%yU@5(;ViYsoI2tl_E%mZG!JTPMk&elc55GH4AvLLY4$7`|V@g zWZI1TMExE;HJ?LS`IGMDIZ`WB@Lezb>}xWR=)Ne};-2dW9Ur%1hj#s2c(9x62M zEho6c@$Wn0uDdbx<+q6T2CIKO^;KSA&YSm1C=#YXGDvP4*5qQ%wLTDhN&A6Sm(*2Q zRo#N8kD2Wr1AqO5v2&tYky%D3L2e$h;?tBTHw5s@CvKTh2JG3f=)F)&;f!yk>M*vM z09GAxVBpXySyW=)Sj94bSE(UT9fnIEPu9!04qq!w*{F|9^&xsh1^HLmA#loWty9?VioGV`?X=;l8hNx> z_4`Q%Jz}lZJ_o#iU_-HQI%u6+7h_z?xK1Lo>Vo+Av($?e=;!s`L|v%;u5vE9I$CE> z)pUQlqbE^pL@JlmIzm-t~ZRx`w7sCc8>@P zNvLw)bB3kEvlKWtu=*K3UsU$Mwm$49nW|i@@`?>5HAzpYm>vZDOrDPuZEO-QhUXmh z5%7@tkWkpca4nfmWoM2ww1ak zq#UI!t?6AFQ!1Ca zD-OO#*KR#!L)1?vD)u0IF{?)7w9+sf17~Kx`O*mlD5IBktxXMSr@jW=CcI~;?5+l5 z_n6p!#|Vm)sY)9KClb1HH6=eI3O39&HN`y6SgP8GWifsOYjElE2 zatGRkHA)z8@S&Zqrrw@?0>*_%o9F}G2j$hp<6XI5 zYb=AC*^q}h@s+gpLu@5*TFztK}nYK&IVFZYwdVD8Oc9=K#d!Cq~-3b+c zBGSbxo(EeNFt2?6qQ3A&-xW}f{VEfZh8 zf{j@4ia z>r^*Pegy#8W6kEYpQUOx3<5A}_YJatiZtV5yF3j);n%R=rEZqdD`1{8!j0uiCR#v@ z3-kB!`ZFOb{*uE8vRn}tPhZ82OSfl#J4MVh zE2Rj7uU?D2c*Z7=fdI-+s51FtR_|r6s06eo)8)*tNyR)C{AsY8t;-qbvHHx1=TzGJ z!Qi|c0QxIajH3qh`${q?Q+ZLW)zD7xNDH>{!*wk$-y}+mttbdQJ<%5N9A=6iW1f(& z<=Squ;!J>1LR$TOuO*zfSRToLyLVUb;>A9$>3nF;d${Vj`OD<{$oz;%LtU2E{}Vq3 z!1=EP;L=pfZ^sP=e1(EJh^wmNlaOrf#>Ni^MPGnB4tG${zre{JgqNa6)IX#qw8i}> zF}8ScFUx#zk-m39$9bsQqoMMn<_msWUyWM5`FVbPHcvfDo;0YXBLPQ$l67eoA7b`m zNrVsO<#qRBU+c`Nnr66Tkh%tl!&^iYkgK1mVZY~#kdR0? zc>gOpvQkP+aKGJWDI(61GZJ418ls7>G=(rU)nHEd_iqXtaQ$ zlcm5r06KC16Ydp!Gw$tw2$?x9quf8!wnw`qn1GB(r?8ndP!_}&JOJYOnZPQfF`(Am zF8wX(V^oCiWoyC*UucxSN**1pS$A1)(Am%LmQ6L466qz+R$D6VoDNkRckY8~uF3CH zeW$`Ofn-kE7kDZ#c(C9%?l_S++1z1oKZw{=)}J(2UYjKVgt*6lK4i*2fQRv2H|k(Z zSz<*jNT7r|j)o+SQ_Ezh@&iAgwNZ34-wIGCEctUtu)H%`$Aq)6oQzqj7Rkw3m|%DE z5F6Wvvac_2esD;EW8wMQEKi&cLtL9Yf33{zvPb*Ey?2UKk3HngS!V+~W7_v?_xLiR zt|RY6VnT&YRe0=wScdu19^Af1OPL*XzUtcw)YAW@;5i+{*pg}Jkf(z;0}2lUzzMa9 zALSTc($$WRU_}R#MFUvb?82;?1ZM%xibUwr^3n~}>(g`^6N9@~|ErynTI71uw8D%4 zB9%H_C2|OPxpY);UR1#x3VDWHrcQi$(a0jre>agxkiav4DN!5^+P_?7KbJnEMMzo; z!6~K&dXK<)(2=$qP+4>vj4OK^$$^z#5I{{v7yixqRMR}RN5%?yN`vR7Sn5ZvUWG8k zWF<&ce?<|EUoIx+FEbGcsxEbNoN!j4bzm5O&_R8uvm0t}XxD7{F-*B7&*DD~)Pmy^ z9aM*~PVK?USaUHIF%Yf=`ATn$2JkBuYR6#B`^IsG<*N(eU!PN4qrMb~ zr~BJgtm|*DR|BPpO~#cl!oy*u=fF?4CBly$k+ltf6#BN_P80%1sSfa0=T*|{kF_{> z-1BfZ8~!AIo||Q$wU@md+y`||4#z1`9l^UwnDRlZ3 zs`i7gViLob$vqlGnLO-U9tdFFQ2mN=q_F;Z-Y~KeT+jCiAk*C_?qgYm9uJMs9=1^I zQ49EgsI;3tg`9KQs3&))=p!*0A@HhJJ91cf`ZQa=cRqpoZOB$V)Uvx2Wzg@^PUA@2 zYtQ>?Y)rc6=7%zY^cbrdZ?`w7cRgEMO*Oe(7(srv}l!GwhfPjg)i zJ+?|k1VT1sdhd@>^&eZ%LL=}{^ogZ!ES*DcJ7dK8BpL9?h}^NZbd9Tbe-U*laoGod zuT9YonN57zvIo!Q{H|#5LU8n|rCTha{ESFeF3kAEoD)A*WIQfdIDxWFoi{_~M4Z>f z;%yR_AG4CaFN3_A)}{c#zRI1-j5%ywhNo$CEG{LnnhW%Mlye|#ngVmP$oySlq%rZ` zsOS}PIDx*t%sPcybu0=%B_WwSHQ5@`3USf+1EUUS2hV> zf6F5L+lGA2XqzLwM=mukzLKtDWgbNQ=sTk@*AH?klvV{V38&=Uk^J=)er=jBqgQF>^+N_d(|z-T4$@;-2yFdT8%!nLNF>?{Nlibo6)YZABz4FgO7ew=E9=f(QaJ zIk&MF0on+YRbCdip&$YF29uA97PqY@0W1iUeG$ya$(0QN^#sxqNPqunrN#Bpfp@1 z#wJFqB*QJk6HlzflS{0{ElV7ipiX}rrp2%>lL z5GLUkb4!6)QJ0vVQ;`_l0H^{VMi5w+P*=^}fTx~Ca0NV=fhvwhM#V}R5Kq9ztplOO z%o(SOp$feMT^8OaBF(5JON1r3=pebk7>=VNF}xFrv^0fNiF5?P=|l;Vt22LzGX9kV zcn;zWTx1G!fkC4bO$ebmVFx^eE>aqqgeSnF02fvPi%12;nF2zppf5;Uq$Y8~S0Ge_ z_W}$!r!*=e0XLZ4q9RoW%reOoL=NF+E(N!wuS}C5trtGyP{VHP&Htu zE=7wY#Xtb0CC+s^P(TYApcj9};tE_6N3fGDQ2+pmKVqznua8VpmzrH6@m;SlO_?83_$@{6Q}IJ0t9J7YDG1SC9S2m zlFS4n2$&>SoW_IwqUN#zra?_WdxFeDN$?;f85CY8G$v{?8~pOifIUh+fIIkq&8vjH zd;cfY14Fk%%rTu$CLafX``acm?bI;M9zbX0(7^w8(J7^d4o1C;4w4$egtyZ-GV51$~DHD3&Z`LFTO`JV=Npx#A?a50pKnLFvY8JcV-8P{^Ch22eu*r57G5PMW? z=u30%`&#T?9lz=Lnxf^)*ni6*Y`W?Y?nfOWd!R#P9hq4nhC16xW}JZv%x*e^xXX8w z2|LV`-btr3K6Gw3nQ%jY%k54&WwRkqFE={+TPoPQjApp4>wSO|ehhX!{m)1jrrXlRgXsv&XYhQRLI4R=GNk`{gm z({P~i?dYddgoq^F@Xx}Gvd%UA!G9`+K_+1~U&q|YC4i*88UdVt+pikw36;2?lop(6 zyodT#MzsDKTEdlNq}!`jc5MlgYp)1%w!IoVD*XhcC$l0+o0bZF= zxCz%TLgkPSQP2{Z4?@AEgyRe63RqU^54mE;!+VT(qFCHvCAzJ-#zS|Qh^e}7;<>p@ zDcr8>+HLEY-?~n;lf+F*L2e`Y(zja=k9^+eAilMYfT8XYIZiRia39ek9*ng<7En9( z&J?Gtk76)?T&Tg4gF5Yv8*@0&IA4R(4AEt&k4u_-37cF5JLBybS%^!C%sImEun1vF zwFt?e!_c(LcOJeP(!#50ViUq$Sh|*suDM3C!$#IyUH=*{4zXpD)dj&Agn`8LvM1RLM(Q>|Cg0&7*WYEOgibQ=z^N zyLV5|Gk;gak56EB7wSWW##j{P5TO-CFwh{EgH#}8jH&4OBBP8EOC#+qXqQd#53j9?#aR1(Is@K};%7#N=`kqmiwHB_gEWXk#5&YTQxx}riVj97 zxA)wCaW6|jqj0p_c1a_yXhu3{A%vJoB4wA7PFFC7CgiwVI<+B-NGZaLg+`4Ki};o5 zhiWRLb%5reP(czSJBNoO8x@+)x12BcnsSghJc90u4hh`Dil0NJJx$pp<8-VD2N!gz z=O}4OXa}juS~#rGpda{FqyY^ckRm(M61b*+lvlfO_Zl`Xq`7HGaWiO~jsgv*!#L8m z^q7@Tv%RJ?B~*TGghbn!p(&|?mgq#0WGQeb4bUFb(TQHFeIHE{AWe`Bz?LM16p}Zz zWHV@2a_>P4KZ|`S{g3&Q_2s|nOEL?7Bq?~(L9g+CK_|hMun9Ujrc+_EeBdy~TdI|R zG{5tAquROdPmmFUMJq37eA(bjDW%S^HyXicuR|%g_bUyrBv}eNv*xr0BOcRfBy55D zcr9Xf>F9KV>|A;8rSmXLHj|P~U`*pYw=^f+y*B9l(zY1L(^E>U(xt+vAe{?35ztLW zvT-I*1$Pnc?m_xO0mS!O4C6$=MZFz=Y0@~~QF{!e_Z3}5lV`*cxL34VNwVs!eIrHC zq%_tS--FI0obs08Y3TGfRiU@BZ3%Ml8edaLvt$L{0-{0|5ErtNg$48r;qn$iRuC0$ z1>S?Qpz}4w`ZH`3{5UG!2BM-VW-V->TRuhyB(xWQR5YWyyq#5b*qi^J-_V)2m65qyzSPR@}TLqZ+VxZ6~x63flkw#E#er zd&C~IQ}&Gg%AT_q?05E(ov~Mc>@_=QZ&=PQ*@%rtf1E_L)uC z4V$uxRnvmqvRgXZnG~O9p;psu?6#=OYRqcZuo;_utJs`JC$MN>8qe-X(2%&eG>^X8gV zQsV#Df>iUVn%7iJv|jb} zSEE+-^an+kMylsoNA)i4s6Oqgp7VR%iwEg`;YdrZzir)Uq1J^OBmJ!?Z|PjS6|_b# z3t!tJ{EY7-{NwXK|Nidj&yU}{e!03`>dLL$gd-wY3v(tNKw}we1!0m!VDRhTd)$tX}Rm3a( zIdsE$drYzRw}c@r~D$?hIZKYMoa^z{7(rXSyb&5CJ*wP+LThfwOFlqu!& zNYpbG>DP4E`#9zsE%ukeJ@=R86^|s~AM1Qvj`E4GH*-XNT0zHUb34huFB@jX-K;CC zy~5d>Ur(PL9dD4;>+d(0)nto}a7o{K2t~W5I4?4`n-^^k*U`$jSxk9dSKoqZT;`+C z&4dz{%e-cPmvufWy!H56AVI?oW@1-$kz-K{c2+`AbyJLd7BVTCCN$ra(>YR@Z_}b? zb@6FZ+%@ydrkEl3z>-=w`J^k`y`txv$LDWO-focX|J3(LTAz#Az2s02vh$+tvbhkik!!KVGavx7e z$or>Pn5q2q39dDzKi7XySx7jLEQX|mauDQS>=Zd1dj>0J&l8ujv&1QO{_#O$I&4S4 zHZt3PL}qb%x^BV1?z_#4+tfGYwcycbtZUGPjF~nbA=M4JwBOtK-BV)Z{iX%7-L*4A zTHoKC!FZz$Op@8oHki`%<>o46=wI3mZj^8*T&L|ujs7SYc1QG$WVGd@ZwTA%8GUuu zZt@bL%yN_Van){N6Z6ZNf22l);p4n1{C5C7q`{_~8}vTkN%LJ94Dp6AiS zALV#<-T2QNJ?VM%W?DkgWLO*4r)_|?CEa~+rVoy?&-LJ1J{BhEzgk>@tM-SxDQ)gU zb$zI|BS#fMl@Ecc_lLUaNT~` zKayDX1k6|1po55|fFm|+whH2!`vR;ESdGwk?s%qK@v_Y<3@o-({Gdq{&z#Z^%-_L)Rk)) zHHZWMvmPRMQKdX>;Iz6160G zI!Ci1FeZ(fpO@1zpIkhzrekz`m0yT5Z=263hjlJGTk%=dz)hjd?m5s2@T*HxWg z6nD2dZE?U(N+RG9s6bIQU+USUx|)K7rw2&~cRt5*Grg$u%Y0fcz}kr5vYIwG`31Ii zx0B+ooPDQJ$O2qMG`h~eP4WxGmodD%AuJe2cS*3lpXH;A{Pwo4?n*j2n_ev-slIqN zbGUoB_2Rmk-_CNpmkl<5tqr!7*rHulv^^ZpuqFLQG4UWVI>LNiRrUAI{4j@(4gNKs zl=-hmCol5bJL3L;e(Sb;Jt>Ndt71BD7JSOiOWN>4-8b{etfaj&))L4UO2`iACv6ca zwD%;xJ@U%R+(8mf+E)bjFdo;Bxn62@UR^-{lSvDUr?K@kqwBhV{Oc=Zb6wq3v+A}S z5nX!Ve|Wc~n@`J6ReiItkJD<@q!zMj9gEHZX_xQAjp((Jt*Ks{j|F_K2>O8IPAe?l zzf&||JM%4;J3^v(^h_w?XOAF_8fb(?{P7KN0Q%u#4`V#zf^G#CEc$X1La1u(u{}1W zCfRMFu-YQ?=cX-x9Z}kqW)Z^jnsyo{>!Xc;^r=@s&#sHAruaSlKmPv*{x_w)(RviU z=lcQM^g;ym^s~Qk55_`2`3ra6-o>^hr7z+|?jqaHY8%Vj0ZQGDVYUI-Fa|O5^(3NKS>dSxIoG%^Y=S0Gz4ATuB_T?#K!Z*O!UGBY_K zFd$M2FG+4@Zy+)>Fd#4>QVK6gL?Bx{Lo-1^Ff}tmGekK=UVH0eIGS~v;kb$kR4YtD$sDNFt z8!Dm3LMZdw?}5D>c^*!(tR@Y>X*dfPpdZe_Io{hzIt3SjGsK0&g~Y|hCx|KE40H2$XY1>=wF_LE)Mqx z-OvMn$JwLUqRyhuqRFujyh40*q&SgkL@E@$Bor}HrbzuFRf`lSUIOo`x7+7nFoZDc z)09u?*=piByzsrDlwPu&_vLU(uRIk}THwKJSoFP-l-{xozPtw4;RZ~>O&EnS7>8Rh z0k>h2PxZmV%o)jjEkWbqbJ5p)n*@Z{xUMf%HJO!u^3-gW`G3h4v&xL8R?Nl)!&Enht4%zA!%>M$Ev@ziOSpYzmK zWj0>ysoU)S*I@SGd*acL#PqMklcL1arNm4wF*}u*TS?51CKeti-uz9xEB9YvXfy=F zP=FDjzoNgQzoNCGwW776wW76}Fnj+e{oe9&_y>|YlGB&nsR14fHZwUn3MC~)Peux7 C3@mQ| diff --git a/main.tex b/main.tex index 4f0612a..fc91a4e 100644 --- a/main.tex +++ b/main.tex @@ -132,14 +132,26 @@ Note that $D$ is routable iff the optimum of the LPs is at least 1. Then the the The flow-cut gap is $\opt(\ip{})/\opt(\lp{})$ \cite{leighton_multicommodity_1999}. Suppose that $G$ satisfies the cut condition, that is, $c(\delta(S))$ is at least the demand separated by $\delta(S)$ for all $S\subset V$. This implies $\opt(\ip{})\geq 1$ and in this case the largest integrality gap is $1/\opt(\lp{})$. - For 1 and 2-commodity flow problem the gap is 1 \cite{Ford_Fulkerson_1956,Hu_1963}. However, for $k\geq 3$ the gap becomes larger\footnote{\url{https://en.wikipedia.org/wiki/Approximate_max-flow_min-cut_theorem}}. It is mentioned in \cite{leighton_multicommodity_1999} that \cite{schrijver_homotopic_1990} proved if the demand graph does not contain either three disjoint edges or a triangle and a disjoint edge, then the gap is 1. For the $\Omega(\log n)$ lowerbound consider an uniform \scut{} instance on some 3-regular graph $G$ with unit capacity. In \cite{leighton_multicommodity_1999} they further required that for any $S\subset V$ and small constant $c$, $|\delta(S)|\geq c \min(|S|,|\bar S|)$. Then the value of the sparsest cut is at least $\frac{c}{n-1}$. Observe that for any fixed vertex $v$, there are at most $n/2$ vertices within distance $\log n-3$ of $v$. Thus at least half of the $\binom{n}{2}$ demand pairs are connected with shortest path of length at least $\log n-2$. To sustain a flow $f$ we need at least $\frac{1}{2}\binom{n}{2}(\log n -2)f\leq 3n/2$. Any feasible flow satisfies $f\leq \frac{3n}{\binom{n}{2}(\log n -2)}$ and the gap is therefore $\Omega(\log n)$. + 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 theorem, see \url{https://courses.grainger.illinois.edu/cs598csc/fa2024/Notes/lec-sparsest-cut.pdf}. (I believe the later method is more general and works for \nonuscut{}, while the former method is limited to uniform \scut{}. However, the proof in \cite{leighton_multicommodity_1999} may have connections with the proof of Bourgain's thm? why does the method in \cite{leighton_multicommodity_1999} fail to work on \nonuscut{}?) +\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{})$. +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; +\item $\ell_1$ metric in $\R^d$ is the sum of those line metrics; +\item Every line metric on $n$ points can be represented as some conic combination of $n-1$ cut metrics. +\end{enumerate} + +\begin{remark} +I believe the later method is more general and works for \nonuscut{}, while the former method is limited to uniform \scut{}. However, the proof in \cite{leighton_multicommodity_1999} may have connections with the proof of Bourgain's thm? why does the method in \cite{leighton_multicommodity_1999} fail to work on \nonuscut{}? +\end{remark} \subsection{SDP $O(\sqrt{\log n})$} SDP approximation follows from metric embedding results.