From 7df19aa50e22640275110f0b2dbca8fc8bdecf64 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Sun, 20 Apr 2025 16:52:30 +0800 Subject: [PATCH] the first segment --- main.pdf | Bin 260023 -> 260717 bytes main.tex | 3 +++ 2 files changed, 3 insertions(+) diff --git a/main.pdf b/main.pdf index 03256798bf2409cca28157bb96397aae95f010c9..d9b2de39cca6a8f3c8b8bd0ffbf63e7c19f0eb2a 100644 GIT binary patch delta 17914 zcmZshQ*b3*6lRm$q+{FZj-8He+vwP~(@Ab@>&CWi+qP|^<7ED+!OP6Usag-;emkdX zpH*MW4f53^GAg;Es5t#^1`as#*~Ot%I5yTgRC;7^_IOnE24!StByjeIVM1>-91apD z5_=;nI9^^jMp;uka~BH|Hg+~9l0-uzO5hcrbu1}|)6R(o%=^)wQF-DWWXSGAn@c+e zrt5tVaNz1opjolI_*%T#=Df$%$D8WioSgDhih6?{k098_f)U49xl!GA;n=>L5SBfI z%Z-M`NOwD~{zSm~)LFl`=x8$4DzyDm~dvKeL_h0UJpIzZR1 z@6TG3cF&ufnm4V|;z0&L0Z=GzVh3M`(j!v{*dmm*+B@?QiV)I&VD zq)O+K98^;A&_6?RERbrm@YoPJI*@+yWQ-vq*1$B%Pr?s;IlLKxn`%IN>TLh&2e&so z)m`z1!d%pFOjP4|eW$UsT>WfS0?fc)543c8QQD>_67YI&v;qWn2JHe-{vpizxV@?I zZ>~eEooin?W*JexzSCtQgRe1O7bN&1P3ECL(k@6NUVj5W9vchW+pg^(s)0RkJzG;% zqyZLgTfRtQ)h-iNQ=z^-7{98;XidPCIyw(CL+EWBNc-(Beb;6f12@QDu)3Y#FvgS^ZTmR!E=lAHmJA>I?!~xSe8tBS4ll^5oo@!zhXayF-$iVVt zYU2fh&+TUoNB72EsA}Yfb^tbYr5$OE8CW-%|5OW>C|e#iveD^?`sxUMFZsj+t&O$W zdURpjZUAdzq@u@d*RM*uXV5>qf0o1BFc9f5H{(noy9K@@ya z7G_M~8C2@Bd&$Z77!nDGjrdFUZ&Gbk*H2@j`ZI9)W7IZa4`q;`O)$?z$RTITeOqL5 zm@t9s9*Djs=X@FVmFEc=6y=I1Gi*F{?QaLn?p4<;YbBxMaX~B(j~>mT2Czs_`Sf;e4ujqvFlCQ0W{tZkIRmn1BzcHs6r8;V_Ad9kK6Bh#2{I=ED;oP zmo`G2Ql>n<0C(D;OLKz4jCxY>Aw;Y+25$S1qj_q0L?B(kjJNHU>-tMvWT zVfw>zKZDe8E5FnPmeUe@O>s2ku&o*I**-lXE^SUM?!w1H7|_kmX%1omVs<<(sZ{nt zA%@#lBB*7dzIR^T(!al#U_1Z=lIgv1L3O~L1@fvSe%7iOfA_1r-un$*Q9!4V#otrc z5Uyb16)6S8XYXkU$$UHQ-!?7o?9)#IX`}U^HY7pvw#IJJ>>nIG+*`sTzvYIQFY4FQ zr(|24KZqMq2z)j3EDM}y*52WiK-MIY6k5-Par@Pjjil>5) zW@qk9$rav&B)(a;7}nbn(+6y-F{XA+Lhtot>{kj62N0V2Wv}I)FcF-X86*ShMlyi> zA%q3HMUII8G&*+k772SR{LSK#PwrEnowzmcT_q?E;O<}hv7IS;!W9B_@gz}?>bgXO zk-lk;BuwiT6ZX^P_Y8uGUY}DO2nLpE8SRBugT?`0lj#XYaMQC3AXGX|RURGvKliwO%zP?OGx`6`@=6d7z_9rs z)STXd$x-WSwSSTO6uxeXU&i|sOq)76QY5PEI`yx8JHNJlP@R92%I}S&uSyVW2Hs@A z-t7Xgk!o2h)mYzp6lB(da$Oy0w;pym%IEASfonlp%Anxg)LXp7!{4kBZjz`X=qlM{ zn%-DZ(y(S}+_%{9p)6X3la4+T3eKvLs0&jrcjs3_3fLltAxyoHRB&cg3y~L7Lmk9p z`#-kxvT~zzyG5&_Kzcwk^amU2+=>r}<-M=@C({R#1ATdJs0~=-=DhQ3O8(f*0-xcpm9&07v@7v21G9poYHLA3|KM41uQ1Jc`9=(cEHb*d^7(s z3V<;Q8of4|zK>aA|LC7~3_zp#8hX@OIUhK0@SH8my=tRysnGaJgE0_>RA@#EsF!r- zY{+Fr+B=AeF7$As3A0$Ag3}NOA!;ajyy?aeJ#9pSN0eD}Q}2YoQ=2YV{u{m=dAqP6 z8>NYg3;E+pL*moxc;Nj^6~_Y%|MeV=Q-w5d6pt?GMIe3mv%Fr_ny@*~u@C0ktmBfPYRdvE^> zYfDB^>5l`&(b25rE-yp}nR-Az$R-dFp|q3%AZ;)r8Gyuy+Gef!@WQ}C|I*ufaEWXd z3=|3vwrs1*L18IHa6cUlfY|WuHV6>C4#Z5s@P?&7$%iF4Bu94!&Os8$I&YE)s@`>a z^jE;mJ>Fo-zd)V{tkL59GEP52__!w#4Y3q(z|xj_HC$(;zPt3*(!IF>J_-D*3t?05 zKimU=!GHLqf{d%Myu>D3!*dlXEDYS301vr<{U3H0#yxIotSc8IKVi)+8!mjk?uXc} zO;5B#%LzSvb)MdVPjMv!vqAR6$$THJzU%MMCE)hF)s`j3Zd}U_MjnySmY?nfd*BbY z#B&txj$$?Tdus|lgat9OGZ?oqurv_(B1a7$KiJYd;kF4h^$J$Ur|K<>0@e@(KhdLY zDAMg|vV-egXZ9yW{nVZ90?N@R*V5StdhJ@vcLk5n`KSzmCtk)9wKd9q?BBLDN1MLp zs@Bc46@!Mxm~ z8|pIR>08&9=-rOTyOZ)uB>ho(Fma9jkg)H?a0Wpr@Da9i6CfBB4H=mIzLMjbE?1SadwU zG+p9js8Nh{lf{-VHjIx0lB?pyC?#aKypfk1A{{$`>q_*{9AiUsof2jF*0A;jGJ1{8ddzDWT|K2<$T%eQ+Z%scjZcTa1aal{Xt?tMQJB06#LEL$l z3ll|)j=>ol@M@T(WlQ-&&oiZ)d3BesB+Dw8{F$itTqQFiH4cmat!I`EU;4R3@xoMR zveiNvFT{5iAs7pgAkC({Js(}c>h1Unqzwdy5r{am&mYL#w^}?jM>~JVQ0=@7> zG_?Lic}DPL!j?n$Tj_2`yk1C0B@c!??SDhDuqk3oJG@1P0Cy7>ZQ82xGcyfXtMJP> zayR2Bhvg+?*621~W_8M&;omUED!voLKk+PSHiHseMLr>HAYXJa2}>Tc;Mb(z5m#P) z5-t_iPwH%E(R^4N~S*Q48KV?$Ow`&Wrf?6z>?L%(jy3 z8i*H;kVDKpm7Y$BIOH)aO=*$c7k%?cQ)h+HA5Ur`#19Nl-me>lNfw@~snarenC=zA`+odueULc3%hWW9xqQ&kOqjblY?~rb|$I-^OGpuo<5Mh2(qg z9&gj1IG^19D*H>KOgO2C@MvFhIW-)S-uXAfs7#_juy5Sq7Y6w|o+$zfcm2oNy_wjS zo9`#D;K1!`Ub>f?VFBq*Xc>Q+9(^5{U?Dj%(IU*A(2$Oyp?B1@0bB!Z(6roIJJY-pO6pG{=2EC(ByqU)*e(E z2A-d5B58b1Z|nr#U`VVH@6)NK*WZ)3>W(jznz*YGYsamAcaA>aw><_u#*81-B39GD zLv5xSt!mT$uBw-jH6IHJU)=^BImZB=FS#b5yhY8wA9q(xy+^q}ek8ZLe$$WeVSL*- zrr}`gJ)S&mS@?pXNY84nPf^NrXw;FsqXA$xGSo($;wY*f-Jnp=X5`#`K+ql)sEBgf z!K%q%!6^@+i@ZmI_u48xf+TvF{$oT z^*;a@8ThV>@Vkdw5cBJ$X~BqePi!^8HP}y`7%NfaOnHri2xO6HT6}ArBJE<}ZhAX( z55?{7W7G^0e@HQBA$~!JZc!VJzZ;FR9|Jml zP(JA>vC8fH?XI+ue*>We$^Mv@*!N$OQNvRZ^M)0=QMyPGg8KARhoWS|gVxOYQLYwrOn7&g(xVTlD(gq-<;$Gil#H|eFWIKK z4G1TVkP&L({buU~-EbHKl$j5-X5MVi{x@3V6_=-1K=8bML8vH+-VYV$?CwRPY+SW= zUW?%(OM>u3L{prW`Fo;Ei(OlWo2YX3W^VB*?H#k!} z6K5AEQ$ySTN&izZ|NhPS|H@`&R#vY6Et~&nJ8!h3`aaj}l5(Qwwd$L#hZZNAc%@rz z5luC+ND-N2G`ku}@wXH3d_HYKkwoMQO5GjF+B33?K|~H+8}-vM2SNKFy80W+#E z;*}4z`OvZxGaMd>%>7;VXr{|nxFyXOc~AyuV&HM1;kopp&1+|g4V%>t%~YJF(wAty zbavQ1eum?S)jdxP9k{S-aooMya1-m=E#FD7)IgDDXfXb1&PbobYeIyoxA%UoMcOR^Lw6&L+^w}K>685hOw%3;uu+Be0hP1j?a z@Swzv@A%&C-`leWO>BL{r(pLPjH{J*0uKJj%=OtGXDK~si~M^8+SQpzfMG?njF@KLJ1@#SDh>;YiJ}z z*2c|$hoLz8iCp1^|C)JfFeM|MXUIxwCmEY1*<6x`lX^(zso``E1C&oxH=vdjBC6Xb zYf1lRXwgg2h2;0>Hh*y5;#=gq;X2S8IWk}n;gT6!I$xNi{fpa>LCV@RuaTu>KQ0v| z12h;A9;X{=>nf=nWrs8fzRg!om%eHKT9UP?(gUxDKM$@J9~QJzn0tH1qsugS0H1Sb zR(NTzMty3zjk^7o0TTXV+x!Eb>Bwxo+_LaGg{9I{9C~4zSba?i(%%60n~5}Ki4^eT z3mYWTgHsbjRolQ1|8~VqU;c^IDEsv-!dEYKs4#Wp)nM~$20iIn%yABLi26VqX|M^N zq@pu__q{i8xR-$}{6jQx=+lcEp1?H4jyK%!)JHqa0=~;U5;*!4;n%vP4H4#%MjYbu80K>e7^^ek*u^JGy z-I#WIx%F~+(%|+Tp<+D?#%}ZI^1-I})t1K%7r=q65cj)jpzld^LrS|l_UJyQMCfiC898jezxiC$tE^)Uf*%5zv~ zW6jg&DRK>(?5^eQc{sC&1A?cLVDV!gRtEV>Joh^}qoV7=C5!N;2gm2dTEsH{;?C%C z=7}aAJ&$?m39%c41HTEO3|c*T`qKHY9GG`7r-P3Hyl0CiZ6MJ(3`Jtcss!r7{An_I z>PWd*V2^+7uVIOSkJfGPkos;i&lM%Zc({tBTe2guHA#pda;`EzHU_NNJ0tCl8W8&G zcloG?cofYjBk8q&0cDME>N16t>~RJe5t@is`!=FQ2TT>(L`s=AZ%r2U2~9OQnOhe2 z5wZ0q4i|ALA>tmO5@&w)CZuc|>;n%fYKfo*_yq0}j7+q4t|iZ^cP@~Anl<6)INE}fo#P6}V#OX62><=d6Mqhk3=%_fjYQ}dd^429CJUHcd|>5h|7(w!%yV~y;cJ$pL# zP$VJz{>sLb74AxVMo-TtB!6P6W{FxB%vJ@pC#CPy)po;IJsOOLsuUt%b|GcFwl=7d|lS*|G&3bOgYmHSisjggjX-2mBi64AfLpyO3=eEw>)JG%TEvA5Az%I~cB{ zsl3(T7+O-kW7~BE^IUh6ad>?qq*@iLhMt`s^Zt$cH~*ysdpE3rKGR%z>e3nqzKBe{ z4em2V)1q!)kI@tGr|b!pGB>AWQRE0^6gvNd@4Rth+yRJi zo3A6z;51ew1P2>(Rbzb&>>x1x{$sQ+C;l(JOK23Jks5GUN9qDODBb0t(?b;Yp*Z@Zv)B6j1`HDrY_r^vvR6%y|4vy3AD`90k!53SJ9k#Gw~70QPN6d6W0= zjyB7_iSkTJCX$7+${Z zpOK+yvREMH6uNt?0%Hld+(Mi-TF@@Em6yAC4cB9lFJUD3sJ{xuI9;B{i#BC09MO+N@9-{k{2YFber_+qH!Qvuh(XEL&jUu@d799T;L^CW~QA@HreZ(W<3ch^CjqB*uW$nWZWmafh1rb99F-o^2q`%=)vf7 zuxx0iozpELXA{RnA%EA*FF=F~amgbM!sMd&0`t`YUTL9^RJ2eMbSmZ zgw=ERTG0YUl&v7;!e-ec%>UvVB(+95;l7T1e&X@+Sk!@W53n13|MTZ#6cCdDUrRi_ zXr(gHFtITYEB`mpucAfu*I&;?yXZVV*&@iH7CXbPkFLdzyR{y$swuFg|IbRt%>Msb z>3(yv{jZg-OH<1IfE}&-UE?+m@RA+gCmrXL>KT(Dd)de%UrG0{>61(TXFpMjI%(1F zWJLiJt`JK_p0Yv5Cax3$zRCOPKk*kS`Z&Xa`UT|Tf8XFxHjPi>ZBZ9H2$j6$<*23o zh0BG>74K+h!&+Uy!_H__v^t_$R2d}@RU@cnt;!CZ&Z|c7@|-Seh);|$FQeGX$R*J| z^sp+rgG=a;l?Y$dF}GyR4lr=9NBbM#9$qhtNazUC>>KXL;Een17<{;Cz_ z-|jrJ2*^z*{E>z6Q^Sb*XDTvfK-t2lMYdZ}3fIcp>HJAw@B>Xsh}`j`CP=Ko_iR&Y zZr13J{Ca}UXL*jCS)1$@@bF{-yI$BKZ+-x{kW)V8jVsgFjL%DwKr(L#kyII{lrCa; z#1#$<`fG0UibLt}X{5r|z&R&em+v_oY?4S`{HI~NQEbV^BNNAP&7(V-UOUmEDeqed z4YK5LQVwNxQii)C%=9|ZxhZePD_FjCwews$?M^mBwInEumE{^&Xl%eRwMA2O z$o6{ipAOk+ zWWaU%$cJl55cC-~kO-bpZi#`qzUJ>m+2CZBBm{WUno4TRvoG&K?z|G5&~s#g|KQcG zTiNn_DKUnlqTS4Ielwo_4GfYMrsvNzaGW()nB`Q&LyVWs0*_vZA8)<3yX`qhhzl$* z%+fJrA18EvRdLTo^hfTkk*+c?jk)x}8*Kh2<(q0_0Z0P>J-uAEG;{;)!G4a(;(@O} z5D2rB&0O<`S-@qi_RiDAW_MZ;a*Yti!K3ntx0nkA`5(-}_B$kkBae}Tgcl^RDGhX_ zZ3auc!8?G_SnD%|!M*Z^g-Y{Y=7t(~#ep^cdWlB@!{W8~KT~FBH<+0&pTJeSFIgQR zc>4wqV_Or6k@8$)jShi=QuD0!;(##IEt4Yu`WCeZ9mNTpDOmCY0-Ms6i6aPDt75~z zxNa%&2l@ooWa@ucSalT^W_qKwHM3@Z=A4Ed=Sny+J}b7Xew+^d2SUeU|{I!)^e1r}3n=yXHL93gwj4-Ir#_@xzJ+L+xm`DuE z3^-$YjsAM|;-*bRb@lVPWvH97hBy1UE<*V@h~s?j_E*4~FJ5For&e9l2Kx+Z%Dy3j=-(R*JB$1Cwe^ak}b+WFTUu0y@_*;0__{BM#7g#?m zh&SOIvp_JtN)#V+z0X9K8s{c`bh1duFxQN_ecYb`QIn)-6{i+#NG%$i@QtGXj-#Y%@zc3x=>NIGbs7?!ByD95^F)RVnS5Sz$&nM~zld+H|l=)oo$l{LT zn@q&1C}@^UxH&Qx8w?uY5Na&~4RQ3xtWb!YLw8py?uVZfOW(FcJPnF zAFc$>T1T=S>4JN(+P>yO@3LxsP-McI?=*qhsh^Nu3<8cSRPn;>#8sB zZS={XV$9iqYL~Vi8@D_<0lE3`r)E2R8XEwYm)~|WKR)O7apkmQwi;zDqFm*&=Gz!h zs(ZRko_sLTGQ07GH@dAFbqpk44AtIRY|xsjoAZT{KMHEa}$- zD#`}qv_&(q@DtE$Fm~^<^yj)jmdunvc)!-EcEd!fWwQ;rq85dvV|U2GdPLizG$Nej zgn&0Tt^hrx$m^2pM?sj?_a5+HHD%t3a_T(DEdRIg$jrk0zYC8;e|GFQIMIAp^!r*i zd^jTpb|546o3EPOd+8NfeOk9zN4csK@LX+bNU^Dro_lsUl!djwifs0|kx@k~C4Dn- zr@cwn;K=itq{)Pa;pPK)@km*(3^Jmo|nSMdCs z)&;~!Y3|miF8;{Nk|1_~;OZm6MFdDwV@$(}fF1CzgKY|ioDrZ{PHYI`C&LJuP#FqX z+{MMGVL+nb=nXsK>-Zz43z88WdbC7I8oq&%1&s-V83hCR-3;nhz)X-5jbQO}CnN>o zY)}uB2fcr&7_&+ClKwTkwEUstZG5vAUwgH575`- zWnj!f5Nqur%0g)G5+fJU+N{%Pf>U*wDuroc1^@9@q>JoRs@p^Rsw*ZTxkc54RY(Yt zVq*7fBuWRW*jR-ES3?||~Bw#cHp1q;_e|pNo2UGsTc)@fV_^vGv z^MT}6WT@2^PhNe`<#Edv4_D-<+ejPD5BZE;%@KWMz|>@W8^rI+?IjAC5~YJBnPpNB zhOckfCyvLknSl!qLEsRC(~yUpA$2ozQtkBkIgSog>dx@ZjJS_}IV;9nE;tjNpV>c} z*e_9_@c0N;kS_Z^oUrbudr^Kks_||+oXBKU>;53u=NAgz?4D6x@NWC?q=f4V-*+YA z7z3Hr84k0YM{L@p0UhH(tIbOl2+qAAT>b9K>jMhL=FNMuSQ{emGcC7?Z8Oh)rEG`P zjs{?qc_(-g_^kxH%o3qq)wn`K)AbD-m-8iomr!BZr!~>Qw8@ z>zO*~KdN~f8mC%tr}&kxOsMLP^757oci3xY{c`#gd$z5>B|D?7;$*gOe0TbLAI$Bg zc^UVd0(zRaxDom$=BYnzIiF;V?V45wH$=dx=7&brC0D(ZjSzFaL-Q8=?Z#t2R}CR+ z?oHmi63I?!ZIrj2pE+KLbaeGG-;&4|jL;E^Pg=}HmwcahELKqd z`L|6{xvdH(q@X=vr(0hw@nJ%Xuayh9f^&<(t6OD(ZYnvck}ui}HO0*A$HW~H55#4`W;=t12oF?)cUMB^5o zV!#2LLaYxwAtYH++`L6NK)D(^;Sl)rjZ~VRTL`YQJUs@v4o@r&Pxwk^TX+JTmFtZM zCx^TNO|v2>7teyJ4ijE*7DU9u4n>Nmi`dK&$n>f;)p5$baV;9T#{J0Dw?2hx%0`6w zy}OG*-Bv(7Tuad^A9ky$>N1QoR)pd>_%P#?`r^@Ygh=9WR)TWg>LuA>WX~_%?3|>o ze9;4Z&#IW*4T!4!Hu+7IbA<*JxfV5jbV1F5NDx28Tp-}p%}Es#XDEs_Rq`>S z5VKUS!Rap(CAtoSy^X(f@nyzGpq*2OnvH6&K1QEI3%kE*dFn{?Qq;&N#}a$R!YKZ| zq0Qi-+e*r-Q`4TrLsg)5oqJmJj+AuedYzlX-Zt>`s0)2J-SGi-;FAqR5c|hB_6xu; zR~?R+d~>p}Ck53qz_8tkc{Fm~tXINp%}V#?iidS|V3BI=e!AWjjAd`pg#M>DFBngI zXwXg223quib-xLV)bWwt>R)aqt6(vG7*45SE{uRL*0KoF8NB1hz$+%S%r6i3!xo}> zt?z??L+)2)&iq?>V*Ghv5h@*<%`T}$T+2v+VOH`W>H$)S3ThN5FU&AF7s*fOwp0h0 zc;443%*H=h0PxUv*ReI7Q^6s*4w*c zqp?2LdCnyT=Mxb1J^e-RcM>(X-)ho6bXImv@s_O|NQe*&G}Y&-7D- zrNk6%2>)+FrI(Dr;Q)pvJ-#o(?Co%7mz=4djN>r&AIuahje-=Fiw88Xg~m7Ib>LnJs!ak#ix`WI$w zNFWM)=kbob19-1MuAk>_>9TXWJFuV5TbP=cZnkpV@#oIRq;MX_+C4-$PnjL-Ve(CK zL-vH;Imj3}tV|y%&5j<2D5=;jaAw-3kuvb=uuKN{<73sKfTNZAn|I%FPntRmzl=+eKO>5Jv+^*ur{eF8U)R1o&!M)q8023Sk z>`!;fshGbvRLgHVYDoi(V zD}H^FoFAfJ4(gfW)?_vld`!gjuONAKZcQHP!GmvrNUF~x=#m(Mx`EvY_82sc48Ukn zkp!<=0p)Q0hZrOfZ8sntGXPf00WzS28boXlz-(#Y0+iE%7To>|IGO=!U_hh5|B%%l zkOK{pjs6c$+yJ{Up#04LvYSAFJt9b}>_0S!28bYoN}B!)v}6Jb5J19R0JIjHG5`+( zsB7>)Y-<99L4yLv{|l&f0m=X%xT*gTtq)KR05#A2hqHr#3IJ$#?mvtj1w4U+XqN!! zEue9L3j|1b^*7n1*`{_ir%!o|$_zwFtTwzcyH zJJ#p5eqZdA3mJ;Nftk6v5#<_dhDIW%>-w3ANk&~$Jh@uJgN6C`dp01BxlDuZrkU97 zPXHN=&gS21^x9vpT1ml+U$2 zcnThh!Oi2uk_GUDMuM^QQR+bN+u*zOKx0E0=yG+eWiS5I{vVTZ%UJR$|BWvc^^4GD z9??<4V@rFIWHIpW6gC96AboJ_zZkrrL@J8Qu6WFb7@hs{%Yk?lrmJ(HGr}E*n2-oI z6(YqmMehCENc348MkMT~eCPpbSBQH=>I^Lh~631?4!~0 z=bb+(b`+s-`PQzJ0yCl<(uyDic34$-IR zY{b4%{s(iyy4k3|@xrgiw z^zk!`SkeHzEzM}<$VHMBHBANwy>>T9sJRPKDtbeWgT$^Ebp#4|_O113k3DaBNAXKd z29-e!1t$Ax&ydK$`EkuAR(^bmF!!b5bP%mLfdN_&7T`g`KTHEcgNwN)9VgH6K8wjx zqr4tz2S|YM>nN-N#qd%F)nh#1BqUNVE@cd0tyC~jcGYAq&P&3KP%Ru_bV9oye_oF7 z8358;w*9>&k@YP{Ct|PE_C9kryRdlfglyhFTTHWN>!YumcZWkJc)rc0LCdo44haPb zuGD6p_bMZ0i_2++TglMLSvs3z6I_{v-ct?*xOBj`vc}u6fKm+{cp5<2UATzUGKlC|NMNZ zi~DK<8nV-fCl(LQwNo3~B-dD%7`thrH@7Jz2@)CRKRqqyN^=tQGRepHM$1tuCo!qC zzMtyz+4V&@>NwVDZ^O>kay&HD2UT!Msnr5ag4AUfJy z^a~5`FQZ=&xYl}-@@LLRV+(LqxQpRwG!4P`j7nAmB!u;MZjsXjEUIkcxvBF(=)^kH^)`n(;Up6xwT zN`L~_^3$J?C<~mui4hr&gU0~K$dvjK`d*FG*>h*LP;ClQLAZ`UU-fA0!T;VDvh-*;%vEo)nL zIJ_e@LytUTMIBBAFg(_XtQt6|DLZJQ6JC~zWVXbKDyxvT*_e(f zSl&)GA#WoeV^w^n@PRFRkXpAnNqBQZdd{{;az{;CVO*R(uK=^DJQ)bR|C99r`7Y1{ z;*%GhG56>BiS0ZJrlTvH1;+2o{vAI7qW{`?Kk#b9PmRJ4PNE85y3*y^9ol_%y`Ohq zjyfbb9J-)>W*O6+*sUfjJ$yX5^F z5}qfMqO0kn$6;}#VZ~@s`&G@u`;=&bZMIOl6%+T~=R*!kC4X$6eEcIGW(bXx@a503rLnom~Ny;3IVXp_th;J+k$# zB50j7YIg|KxeaC!>(LJ#W)z(ggkeQS#o+J{xH-MIQS{>Dp8fY;#>NVWdw?DvZ)tQK z@Wd#HsG6kTUeXU6A6WkP4`|aYe=@4L$aTf_#7)n+^5PmoUhGUE6uTbyP|R)5&_nKG7s6g6?TsTx z(LkQ{=*Hsa8|^n{;>@3^AQ4!@K^S>HkssKwK`Y(u>wbTIdxe#$5A5R3igLpt`tBX= zk+~4)P#M$?NuZu9?;X2k#4mF>M5|Ck8z)$bsYqB z*7HoPzsL+aYB3Lch?1hOt)%Z-2~CV*cKaVe_TV zmmy%P4jI<)(sZbrvQ(t_Yw83|5b<5(?av$92!p|lU!346ft=L& zGw2U`tEd>#%YPGvgFCri6)gte4fAxn z!l_+s>aHPCkq!5@|;%u)|78odP0g%nbG))0vB3#w)S;u@N9&-DKYR|Tm0^&OJcUFzmlu6IW?)3R^1?s{QE)_OU(sOBh`C)YfVI1v9F zo`0ik%zlgAR=UM}<8P+ZUHW`iseh#udU3rNp^%%`OcphEiy_`5il~yz% z_`<)^!;aYMu=kkEvWbhQ!>i$9WyNOLud7_04Hs4a>~b)wW>@pcQhTY<%%vl?v>{n!S2(_3?T(d_S7&6}Fm`g1q|GPSW&prBkz0tqHZpOlQU#^UIHh zURXFSzFb*Q;3Nbk}m(cVBB7Zeq3NKS>dSxInIW-C|S0Gz4 zATuB_T?#K!Z*O!UF*!0IFd$M2FG+4@Zy+%_GaxV^QVK6gL?Bx{H#IOpF*P_iMmIM# zL_{-1Lq;?;K{PlsI5R>-IWa;-J|H|dH84RjH8?m%H#apzL^DN0Ml>}+G&nOjGeSf; zF+xQ?T?`5@Ol59obZ8(oFf^AT%>yZa9n;H8RZ$ej@wM*mR6g(ZdCRo4myfb6dw4BV z^O3#P(y}zo0&&!&2pScOAP~fVpb(k~O&jGPC`clRAP6D{4Xpp5iD3J?CLez6v)4Xn z@4b$Q$VN&enS?303!*YMDWuwnwU882aDuVJqyU@X3}c5#32cUQj5U+Cz*ZQ4VC*0% z5AxwWV+TkDPzcuKnN}v?Vpd2co60)!jwnG){fNH1#U(a7uuOeyR z^iJ5t+q|NVM49b{-QZ*Uz~`})`J(=G4{&q|DWNQ3aCl z2mRFY^~oi;3|HVPjKW2g{?}eM2tzOo*Wf1Hfg37=&wbt)Ov62v7Y%>j@WALb4VW!Gc zM#F<&o=P-4Uhq_^;i-SAm1&sI^Hi?k<&>ui4NF;1l^WjO_mtJJyb<^D{$1qblgLUg z^0_YFoTRLz&SrM-f`afYik42+9yX+0Y@BSM!&v|=@XBDyC;Re#{<&$qr)Fi9wx%V|{qx&Z8m@{-l|xBUDJ-{dAUmLP&zR@ly6wMaJT;a9kf_Ewivd?yAkPL zZ}DjE^GoMWHsu@`MQJF2B~p4DHM!`u5#{v*eNC9xPAj;2bne@b0zs6#ro9Iueo#q9 zm|~K`4l_>1k6h_VLmNu18vo{*flZ*I8C!l1IG0rk)fBiT^@LsS^LDF_e(Dv((*U%~xVyZcEWHp+KtJR9so|i3!pco>CFV2eqk^ z6CFZOP2AcYeqSQQ4%`IBPsz)OgznYtntv>kd&EGF8nBPr$$Q9;+qsAT_7JJ)?sljL zLNpkE?w{D5QHyD8Tk(vNYj>Zll^YHS$)c^33b2<{<`=jtk05h*qL^}U8+$EJA8^Bc zNd+R_l@N-E4#%y99g9~wC@~>1AYHmmRudsdD@88_ZGiT-bv)+_WIvqYJavye~S7B z*hv!xb64=0Dg{Tr9R`X}TF^20{&XF~;9}cci)iBgm*PVm&>J;dwIar!N z3@F2gff2y|WjQAmF2PnC!A(nRk?U?nn`Q2)HK&@HQgtON8<9$Aj~ZuaDV3h>mQJxcSyv_ zYaY+fuGldDTV#=Vh$ci>JgLbLt1VJMVw+DeM!dmwu7QR_6T=IIN0a+G5LZAQU(6VP zj%&+U<^K@O)lmh3BJ6SkrT~DBteyk!FPNr>tP3?htN%F;R7FZKr>B}pX(or94+Gt5 z;Y(5ki8YgEqniCM^cc3NW9{e z`k8_&qIhKlj868S6t?(Do|CN(E4TV3OlIMqoZl<`lR)ZDuLciBR`#>?`dEguuFA?b zMAFLHa){D=Ls9-{_`!+gijP~}7hUetDo#MwTOIyMb5uSss9G4)Lte@Vn^W*$87KTp z@$q74f;GAAfV^yPd{FNJ0+JVoc`Cffz(qQuvgmyi2sV`g9?eog1QiF%o{jwQ8`U@W zLhpBboPO|6a=3q0@RYx0RL1`f1c&Ii$IiNOiD=Jl4n>m9yE!ckjhH-2{#B%ff9Ec7 zC6eJ!UBLU>#p}k6PY9^9+2o0f$J3q4G)sD-lpM-rCWlX=i*pIhuW0NGJI4y(lX!{* zgZG2~2~-{XQFctK92AVeDt2E{2x+IQ6qh9j{^cEso)NE5*20XBgfqA9UDee#(3Ck- z%f?`j@FT@35mx_CGYs)_PH4W6jZLU14KacQ3Rv2{aZjtjLeG}6wdm0B?}YewpFJjN zJ~~G>T+` zRr=iHYX??eo>Ks(Zl}rO6X=waD)mW+*~%G2-sR$R#3zk~sG4lr3@^1Ap`7GsE;jq1 z%V^;_V@CU!FgZpKF!!8=Q;qPtz$}Ikc59g@~^w(0jcV z2T0tB===H)md5k7&f*dWM(zZ9eYA9TN%8Tojn>MP)ocPfWU%a9W$SS}!Xfl^02>C$ zNl`46%!CbR!89!+7z?ayGPNSWKDjPu{jd2k8L4?2awEb8uy%+%Q~;#Yh@IKB(fzB6 zYy8g#+#@@N=i3P>;n=nTO+0aZ&aB0fF>tV_b4it;!wfm(bJcnYh1@VA*n=#^NM*QA zvT&Qbv5d~)?1XBE!muBonjFKz+qp5z`~eaFSCqtb^{hU(-O4&349V0m;Qcf-`xr0L5tjrin6QFhW z(Hz(Ti34{ag8CCB0e`*_27J@Dc_oH5zntU0@$sUF=%VpLSuXf(X~OtK6~x@kP|o0_0v7Z zy7t-ApT;^z#N1y_#!Y~A?^v&nbKtT&Zp!U53xYy#3B!RQ&O~S(V_E zlZ%1INd1`>AyQOtGAU>4!!4A6O(?>w{K{P-boEAjwXzcbP`??@SEnb`^}<#)UT!BP z)&}re5p+Ec)jnn)jH!&iXbg2QJtaPvYC%(E^9&!bUKiDaU`0(om0{(_K_Ie=aW1&t z=Q1XJ*XJBjXM2mJo`dR_#$INM&vXrE-78=b^ZY(0HS?&?xD;H zkpWB_w{+xZEFZCmbg3dqL; z^*a!8`pDHNwShxUc?}UCDzKms|B_5W<~2cTH()aSpzZKzW>2WI8Ggz2>cKBJ)D}=J_rzduz|Jm0#vG0Fqkxvr-N)2!k^4!InNB<(Nqv zVK-9P^_7mijBKj!BzJl^BC9oNDx`HhvQpC)0XTUDJ8E-QTiy_K0XMR|DKt-i3@^WS zk?uk6MPzT4MnN-JACco*m&yF9@xC9lW>us~BeGN;ERhm z-Sg8`*|l02dKIm$!I*`fLLb#@_9-+6BjRa}F#TPHD}O9w{R35fb;sqdQtJO*FF7hG zQEO&(6=owt8OyT}qh)o=d8;o;LB<%d$z6XfGLT^xPO4&37&9%2LlP&0F7nBGVKBMG zxj5+ZkUIYg#DrNXL56MJaA)bpfZT(9HG}Y33v>&=Y0UYG05*i<%W>N5)wUHX*`}*| zwS`z>&k=MDY$8!4WCC#Bmbm$Ihmipg@(y*hN(2MKl*MVL>}sWTYcid~>*(5T3)}0!>BojvA^6 z+ak*-neOe9FGhskiZ2H3<~8Z@-kbz)m~_p@eRr{7V1sbvZ08xHNMg0s!P}GBcI$wr zFw2c3KI<1&_qmf+rTGQn7qdZ^Y=(3%AQKT#vTIL9a&M2 zlKkAUz)sz-Tr{3iY(Rp+uoJWb7n-X%d|^axOsA^#kN=)3Lj~d(MWgr@vI)r`#7+@5 zMPKyU>?< z?rp=C&O4C^b%*xh9p!C0C~r{&r?-^nDhD=2AYy2+%zL?S(uO1te85=7yfxuyjfoJ$BExe{S zFfLYnRkP~^p8E@qOZyYw1U0fL?#05an4RHc)8`#OU6-$@Df!JB>|El9_ZI^c?D>l1 zu62WO6(np?DzgzL)T%UU%t3p+9@IZ@RC5TLlcegR>=o&p(wy~37#So`n;)Oi>r@LK z?zaZmj@lVwuF3$)vn8;l_Lh=y7G&o!M{TOkcC70jLuaL2`OXkVho?u z)x#4|yZycz`7?UQ27Zp=r%YWwe``Y6;Ml!TE3=T7cV*^3I{0=g1Q0!fE&WXfL?-qb zX2C+WT52vDX9rQi<2Xf7W>!Ar8&CJMS$l%OqmP=Zp{GJs1 zW}?rgZCBRyJvRyzZ7lI&1T}+`UTyvNbf)^re!mvOV7SU0KJ@v`XLLIOCRDc1=eI?g z@T^8v= ztp21vzi1Py9a}NiEG~g8yGpYwL*)K?E(Ey>J_i$7v`3NFGn^cBG0=JWZ@~cD3VLiT zAxFGlRnxaWvsL6+7i!gC<3t6|3Y`%pQ9tRh+^jINY;{FbUdT8N-%^r(hz$_cOk6fE zTN>EJP~dNazyFESMHznr(l2;aLCh9#{#14AlNcwY?<0}aUFUYz zyEB(ar9Ny;>F4-##I9e)F;BmfS+Q8lt3(E{NcKZ~W4PhkzJf><7fv_vvifqm%&Ivc zmaQoj(f6Ldle5G256@|y&0Q`bk)w^tL*~GEW@KM*jE(E9&qPIlNJ1t)U|;Lc|I~SY z-Eg|$?({8+hYsv8iF}P8LkJi;2{FAmU$IaHKFJ5u4P@oPg&$~u3la^)-i*XwY;KMR zXMLiX=&Q|w=Yvu4IR!hJdmLJ=lM}EI&}Sbr?C*dBwGP~4F1j%GFe#00w5fm7k%B&pq+PE z8Q6TKayLGxJ6fg5pRO+l@%3e9wl!rU6zj~~J>^-#?&cm!id%2nnTP5sD;5h~-W$B& zkxJ!)A3Y6C|JL-i?4QLl8*ohfB05t%z!6xHfae%&(pJBLA*u-rbwA2H_kDH@y$cjS zqF6VOP6pa_<_ZoGB)%B^bB}KVfH^h0rT=&|-dbtCY;xwGYrNPgp@fxY zRX)hQ1{x@%0^0l57?sx^SW>Hw^!T(wZG;9I=rv0a9HtyJuX|e8}qj%nCnl_bF!oFn-s9mjrE^^yGzJm9@WL zy5Au?lzu~TSxytACQD=DaQ(mHB0D!H_y35C$9nqCN1a%K^9>6nkiQJ}SVZ*;)n^bJ ziCWLn(Lz2!?RHPfm$(|~L{-cu&f<%sg9z5Cs1_5A5={(Z%b zeLIg?@AsL{V8@}^Dzf!6ccO+VXxY$2hkYOEy6V3G|R`lj!f23 zT+KG|Z_#SmKW~ns?6r)ph|eC9LwpU6PvXh%6PCJ47-8Cq;4Ig~WYkT($PAOov4HTM>MS^{*E$93cso~B231i$q&$;M`5t4| z?rUI%e>Ml!;nsh;+;tcEJmImny}{f~1wW?%Cxh++m*>nC_W%9CduPKNecu-`dlPORw?m)2SB;*XNm@|7Y5lHD1#*`QXk` zXf)%@bFca0YUpaT=cK|Z8=MBzfdPtoV&1mC7!dBfUEp1lQ1^cx_v3H6sj)CviHTEB zdFrH$kBSS2&nEwY{u_7RK1Zrfdjlgcnfh6VpVj$i{@ylVV91eI%Wb$@fo;zy25kx# z-cWQ-V~s`^>YJ{3e5wZ#x8K00t@7@v-l(45Y3g0GH&~>8Knw3&1y2x2D?vmHaGG+< znvD_|g0f(%Q0vm3_T;`Ail`cC9dC=;8!MX&M-ipv{R7+R5SdgLwiq&mTuTW?H^i>1 z;c4@6NjN&?z4;tBh=9+?|5HHt{kT>&$l{mHLXedtuD+tSHHgHPEi`gJ^f%YW!4Qg} z>7KRP(6Q3LqfHU7KXpvNkfdDL%%U_(1F5?w>H#DA zaC36H1|a;Ua~yws&Z@(~E|oq_vGvJ|Gzrj|;qiq>r2!-X>b=c?_p^)M^l>(%w3D1* z;NNON<^{N3p-7_GFN_kbzg*Q(Xtpzv$;DsoA)!P$I0wG_44%7!>Gz*~5`zrbb?5!4 z?YbJkyD{hz^>6X03=Di(^8&Kh$5~0h_Ak{fL=GxmeDP_mOVbmOEf~FEm)Z>!=?`LD zBU2xhM;||ytwIohJB(siY8l4EsXx9>c8k(|w6IjD*{DkB!zi_6?C83iSw&0lU>a3r zAH~>2)}BRFi`*C#$V;8l5aV!f*=iMayd3{P5U%c@VBaRxY>&IJA$4!9<-lD6bEt$V zag>j~ zNSBuu)u7h_%(LM^0#R=$5ngs44;S(owMsvFdW$PPcU4G3$}g%@4402Ly?~!}D%JF@ zuW01kR|eK6Yf|2-p1&hRf-jWF`c_T^qc@kx22~!7KAB49od#zSNY_f9CG&3+m0pT< zbnMMgM+7Zp`6rPPeZOZMYlv>r-IXgn&_;#2)|r+9A?_%*S1fySXL*REG0!h@2v(Z3 z|BTStI{pb_#lJcVYr$B?zfrI+7ODHU*J=eP?@?Q@HD@=Tg8$P>P5lQzhA(Mlg-#BM z6I}6Yo0^NPP#IM5(DE#&^nIPOmD=?3r<9s7eY|-~Y+DaJ4@BcpCo^c6cVEZi;4ZlB zm!;(m{GlB&oXe6c}LP5_OpJ4iG*p_7*u&2Y~it*x~GF5!|Rte>M@A6R8FT&ajhbCMf+G z^+z}(YApJN4JO4M&NVOq(9P3zAUHs|By;%#RHl{44EiOiqwPdf<5RO54y{~-#Pr?! zg$`|~jc7*4NuHrCJ0zIA!Q}eWJ#iLsnUf<#Hh=Ii2nC06M_=04L};~zI6*H`dL{4~ z+CbAjqyn?^9|{g3rN$uFSnRuedZ?oVHL0&_D&y^Q?7#K$fQkJdjDKN@<#BlqY=)QC zfhlPupw@W|zEZ4njpBKm_yJ!YUr1}rDXtyjh7Oy(aAz5z10sv^R9+_tBkqL@Ol62F zS)+BF)8RbPLVf+@6*T4LHqZsBCM+r{XGHi@B!|z@;4a5pH81MY2JbEu#2+k|9hXA@ z_*W$Ip2YF(RJt*}_81Kkk+R|nZ=0(NkRf2+a&3z$;PC5hvG(m>B@CMkqp+hwViEu$ z=+sSh?t(1wz{jmhlK-1cM);PoAxV;prci?r3z;4nPRgtKWmOQDidX9S*BpVH5CYEj zdyl|A*)F#`b!boW6l#&h+i=CPm#3N24WXDq^|Z(XVY%q=YzKKEyecXEfX~$JfIFOy|Lfq%twbu1#giy0xTr1*E>BQ>=(NpEY8RS^~Xd95&HSA4}G{c zt`EdHJ2Ux=RC|!wFP)EHkna;e>I?s-@^)Sy9;hgW>OrQ>obaqGKt6liwHg(Jl`qQ- zrxTMOPW5ub-MG61mzE!OzdNkt0Ohf$BC0&LIupZdo?zrBDMp^|p57j{2E8k@Hs z39O;#V5{B3H~ME5X@Th8t) zhey$)`K9r{3}$IAu8Q0$4r@2lTV6dd?AyeI6l!3XPjvmR_mhfONCGKqL>TR9=?hz7 zjq^QHdWsIzR#0uthd%6ifv%B)$lC=g{eXmh6iC?OT@0%bsWv;incFHcqOb8}Ru}9v z-Er_>@?pLFg%bC@GMG=(1vKRe#wPLdB@}jpBV}tD^q%h8k{rvleU9xx@9fX{byEeD z)%xh*@+L2o0cF(glKMSoMp_eY1e~1L8TI2w#@y?TLK{ARkL55Hn^OJ@op&sjozqvA zfX8e;zH@t`vwXdFN2qJgWO}yIYeXc>Yla`r>7K1qYrr%(oFa6TP#tR(jyk!ja)C`RjoN>qeVYW}r6~46w_qlck;4~o{k>whl#mKwT4a}@K2}R3I$ih1 zK{&VE%rl^bh&8-C+J=$jjFo&C7Y+N?J{od%E}J5!^L46=8PiVwBTio!BP*>tS2s&R z!_FKRKj!H%G`7CVuAIhE8)Z4>=8}q(J8B~ou($#`K8w4QrW{? z*jiZKDA1$2`NB!RA>nEI9~yVX^*?Vav(4cO?m(0^F_Km~y5 z&jGa_EjO387`&zSG1Tlf+oV=K6nc%uqO~IO#-k}3EbXyWY*vA7d*i8mOh3m(Ank7M z9bj7R@EE3 z>$6?3gN}Tz!+y2Mjis}y{_d2jJeY(VWdoX*#Jh~EGa#`WG@1@vwRd1tF?KQ_By5&A-T~qb z289qV>N6Ae;-P#IJ=m7APjjS7+tT}F_t>bRF!#sW!2e2xZEqIrewMkI;Jem_RqpUOxG`N+6y}=>sV>f=P5u zIL6D6grcjRE;d!Q9q&vuVX$P2Jx#LLRBW~H^#3+1H{ zzkkt37W0MXwNthUEU44Ta)(FKNxI~Z!_kf=I2BQSR-P9Fm>YTzeA_E})pww7=2Ll= zb+h6sp&Ybt&|B5ELbPo83 z8L&q>Vl&l88HF8V_?Ctho`(5AxaszGUl5g-dVA+ zYG!YKYv+z|>STO&gDQX7t3%v$f+9W{Bb*I2@hT2yFC%aZL`5Q-R&4e^!a*c%wJ)l*+bzyS6HVCc(k>mAattAF7T5oR z3ACG1z-Ea9SQ{?4sDSQwfGtlwF3qdRdVHeH7My#WNt;z6yl+Bu4zJ6XziD#?CfrP@ zP&L^4xrpl6syv}Ob4J?Ja{69Wb;<~t*>=uUGvw3O#d&b$NZ2OfqYqRM-l3|Xt@A@Y zm{SD>V!?gk%OjL(M~foeKlUGRRLEdZ^H&g3BGB-yK}3n!ion5A!lXN_<@)ZfqPSYy zeE&#%w>RQCe`aGGE(aT0j{+wFT3q`E+iLxTwGe4xsbm>>eJv%}8w;Tu`dkk6Y>u}1 zz{pJSgM&fD!tQZJ!`6G6Px$o zKe!q>Q=)>pk3c~EjH#Iqb6E>2oja-8&$4yg%=@>w=gtB#?&}8*9iXI$*0N^+6bi80 zK)G@EWfTp0H-$-}0`G|>4Yjc^KSY0ENuAhRBr9uzHj~1ym&nvJsAfMup3F~0l1yOU z_5wa!oa{Chz+`nVy6_@8s6PG^B`hCmn}9R=$YoP*6UcaWfsjICWl5?M4?$Z%Y8JD$ z-f+xgsTthZNAtTT(kr2UNw3*W@0CWehmbgoCUd|zD_%qJf-Mq%{_oK7hHg*Ln$G$P zL*518aP34v%UBEiz{45Vu^=$v4$X@UCs2)RFOXg+@l2q=t{>p1yHuKhPZY-uHRdgi zA~>FgsR-*^_TVDY#5%zr$)ixcepRvO!8>x6Dh_V_<5f1EPG2TR*LR+O(0bDx0NcpZsrV?n;N+ zW?jq3`bx9nVc=-2n{sq?CJ_)LX2?d-lH5L^PfX?%)`Ae^q& z#5FORNyWFAz7r-Yh=2qPMMcoW3Jk80WwBC}v<#88WyoWwBvDGLA~&m8hicxf)Sv?pkD~DFzy}sK&1J_>4xqF%bU4 z!X|_|=$uI!tx3M%(-|Jn2G`TFz9GeTz^O?`DnW!L&X=AZx!Mc7;@ZnzymC0mj;$%c(w`^ zRF;_J1_UdE%G3-JTCCC`#6~M2SeSe|U#@vmWK10xeuL8)02R%%y<}oY$rbsf$}YRZoL+jeYTW&ot#

S6vIX zDhPO*WRkAiNqOp8+bgUMnSr$sLS37$SKVEvo8JGOWm?Pf(BJbZ)N8RuE26;r?l1S* z-}v8o9T)yRZQCT<*89#^3tQ#P-4J@IhmH*Vk`HX>z&!kZVM9W+y%y`x!*>!K3@(2G z{w%}@7VG6vi|$U1p(Gbpf1a*f!`bmv1?i%<>3y04Wf>N${Z%qKa(`3$Cz~L+6WppL zw*%+pGsJsB_6aw+UmIIx<^Te7DxGiQSd9E90u~2cwGukt(^xDOx=u?i~ z{_oh=%cIRd{#`xKlEEHkP*QCFDZOEt9-@~FQUt$3lcaJQ(MDc8*cSH#a}~?S3s|sA zrp;r)QHGY&;l=xvVS~T}5M^6pmf>t=VO@HQfR~uDyCjIGA=2fC7$3~&g^DWJ(F!Z7 zJM)0WU4n}~X2q_M#c199(gKuP+>nMz+2WCl64FgJrJx^VIgqJrq6bniClA;YYEU)?K8)_|8>Eyy zz%{+um4zh`DN*a(NcN?A)aZ68(K(_$8O{on@X#nJICUvHu@Y-SiV1x|QB$pB?lN+E z*22*!4I6cKN0qMtX<>w@8VbvZ!Oxrk3Ss#VMtsoop0{!YD zZfN##E~;kq@H4Lb@H1vVmss~*{u1n|h4OGM$srxAh$_XKsBw@o!K6h}8QBY?m*1$0 z(qOb6>7yq~BAywiAPNPh)XG2%hp$&6n+9(6EdnLS(3OX(iRtw33wsaW<2qnn~ zVm-{b+uvTnKDmN4q{l7METEM3e3t!QWjSI;_oQ1qUS&{T0&Kn_4TNC61Z&DAiM@9S zX`KmwQy3bfU;pJUxcSZdayVr|Ki~{f&7xlv%UNaXka#WCD;?>GrKDvN`0?S!{q85& z9n{!gke`TMv5W!HY7ZxqAwWe)#BPN#p%D9!48@jxI;s;TiKvNe+f;NQ@ zkDUmw3P?Y=dxt~iG@@#!G4+|iyJa!I00Y&!X7Z$%NyMKw?a5bWhsao|LS=-dGyDZLf zY=yC6W04!rh#^&K+){k^W$_75gJCP@^hEdAV{+3DToGsnx~c*9ZNfqN@aE|pp}Xp_ z`qlgHA%Uf{>DV*%hBq`J=Zx}=b@GnXnslt;Cm^uA8zgYR(-hDTyp!~3eUwN|*btHF z6KARHw`ei@5jcQf=WpD-85r2!6HDxUHrNo1;Z_D>zMUnRN)+ZVuuZQ5DJLxhT+#?rPHz=pVwY{a3+DD6f2F!Z+%;-ENbBgS>|u zwJ#WUqH25h=lj(Fgb3g7^%Q?~P!Ma-U1xQDxmhel8BDpvXizwHQ6bFZ42g4M#S z$%<BDvn4NduK zlgY4gX4g4X&wmpHhR)LqIZCo!Wn4Y}oi#LY%&v0^+ii`zwUp?o#-~l;gFh3w zdP+IKYWx?p-t)mnj?*g5MSM4Wy9?K%KZVW|G?N;AlNr+I5_t{TOe>J(e-wx$3@7XH zDH0`C$Vb-kUc5r!H)c>BxI}x**X_rjUz#04;WT|WvYCLhPCT5Cz;1p_&Z}d`J|ANB zxI@%@i>69^hp?(!Nz-zc;yQNgaGEe@Z~q$L?+NM^rrQ;Ap*U@9&GOSpEopdSGf4xJ ztK-s@J?p9m?=Id5oYT&Je`sox=!6__1OMnm)@UUy!B;#4A?o?QJ4|IE5%|S5j#Rgo!-5Sm#6W;?K_tZlL^S<8nn5+OSlq~Yp8HEcxJ>_BNL&gx@PknxPd)gLR!AW_Z$O{2;8-0+sDNHNP(LXIR)-rupqddB zj|#x*V6z6)!-9q9e+%VFz$5tonG)&Hng)14fcl62v+m9UvLHbIqyJ&_0ssdBBry3Owk!d7 z03eC!|L}7a00{t1&Hjg&n*dJ;kmtgG8|Q8RZ)?HQf7rGMm<52&R{z6{-~WZM5WIXK zhZ8^$0~;SZ2PYppF9Rzt4J#`R9XyMYvxTIohb1YkBtJVVI~ObG|L+3AIR&)gal*4m z+q$`XkaBW!{omw_3qpat<-gQ@UjbG%{X%@&bqham5_T_D3cTko~@2qle~!$A{^VSm_IlY1}F$MDuxy!fB2AD zEu_BC(_&DaHekzbHITnKzd}SJMTh#pu@;xk$~=W84j5JvB^d@YTf}Nh_wcr; z!$+>aiN=VfPmWL)oFDTWjj@6&K_Nbrn|qBEj}v9xv{#rrN})=oeyonG;uQ833VWqu zaA?Da(k?z;)#EBrkACJ%H8u$zJ*fanN~rDeqK7bC5t0oVB79VceqU-9`z&Kh1ZsrD zlz^w10MtHS3v{ti0q%6l!eS(cr#(>P!1a=5auT97;KIqcjc+{+S>rn$ND3AsiW#k} z42^N-pw_ zXZce0hbD*AWGFkS+>lGfGz3`sp*gIP*xDso6NH$NfKoh!1RGV7Z!b5*ZRMy4<5mfz z4K+s;OAPdZkok1xqzNmM)=C`7WH)z3To105Ow)bAM zX44iD1OG|}QMiUsRsu9aDS7e5(BLj?@Vx`$#mG1g>RFX1jp^v|3Z+uUC3DytU77#N zQ2e5juhbKRfm3Wmhgy>Vjp$6uNT|u?0>K@y)bHyZwza@ws|eg7Hm8*UO9Msi!Cv zWi2Tg5-w}8fC($NWb{@gkAWe79)@p8DT(3fwvs^R_qU}Pdy6`JN6I<|EgJ|*JS{3o z0Jf2${GNnBRZxX*h?aW|V?<;q+>D#dLG;C{4VqgZy(ZL!zZ=gqH{kurpx=zIi{`$l zN!8e0h6uqQF*vT5k~P<{7Lw9GeqXsZW6D$(T1K1B2u{gR8MVaLmHE#eF<5jXl|d!Z z{@g>N3XX_`3YubKcH!gW?ILL4lkEqd2ynuB^{7>lrP((f2LSxG^N**wF%sMdHa*{Z zeA^jl*s|?RSK#;v6aA1cANkeS_Yo05nBtAh#dX*ZlMZ1UAwoaDtSgm?`10lR#W_o@ zjg{p;7)>HXAdiRi(qbn#J4Z50y_|OV)G6Pv9}Ihvw-$@4R0z(NupIL_O!6-v5IAUj ztNoEg^3VJ$Bk>hagkkK|c*!o?NNf5cMC;x?F#pFr-oOFfz#q`deE%W6F{b};!^>*o zt0w;u-gheSP(5(gTJZFh@z`CM1m|o9<3T%kN06!cBLsMCjN_Ybl&ka^cC3`CewzZ? zL~8Ky)GVcI=s)!z8u&->75e>13N-Of5;HEM<4%Ac`1GPl&F%f^_Hp^JMhV_cTr$WL zp{K@>U_o0NgD*|ClOwIFR1($cm{x?U(9)TqX|Yb9_==%(V*G&zM1Jr6(_l*0JTKr( z#{TQ^(Z@Eb7U>)PLl^o|8(SwtDN2ihZ~%t#)z~(<<1npf@b&QDokdTonwdN$NT%*uuPW^`LR*IWz!=l?!-Dc+{c-^!ofF-YI@3+_<7 zV}qzZa9%z5nN6VPb1Pb6U44(uDUQDWE4V36(-Hvj!gV5kDU5NXa=%X1^T~}(ZjO~Z4~2#8V1D)>XyT=i__6%L>zlC|XfbPxfC4VkD%woM(ycgGa z+uukQ>v`ZRjB$=^e`Eu5nWwn%{W|^%`G1X*2-ygBRW0d8uWUz7qAsAM$Jpf9{;e|| zId3PLo9(u$YUn}XrLzTQC`n!@w_iJS-v8ZEHr$gBx#R>f+81YN z)L3?*=TZNdanl$6947gEU_qIbVYVzdWB0*5d5^MhvXSy~j+-lVw?A9SDsLd5?q928 zN*?>uztocDPpu2sho2q?L{>IMOEH?Natg~GH0AUo)!Oq`2BIJF+U5(idWOG zj349c);Q)Uw0ik)@PS-Ltu9Rhn!yz`^C-r`dumX_HZEH-eVr!ye5C;;g)^k&o3cp! zu1o`5*8}o7GS=4CA1M53E|uht7yat4K7rl9<~9g!&wb#MVF^u-buW8qFI zx(Y&AEpj$BNr5j2*gcI6Cd&66GrGvhL?V`QginqSF#?ip2k~&M(+A4LR#N(0vzAi#w1w(W@As=x6z+hbwX_V`@GL~PI7i1wea*fFh8o&s z-{foahFiNpnsb@G6Pgyp&_72)$KE-WeGQ`B!`1bT@(=JA*W?bpJ&ge@xZTa!SA$Dh zrgSyE7>!Qex;;4s32|1lFO;kDW93owdN{P3hJ|@v?1r}Mwfmg?wu8277V#y!mVMh1 zr3}D7*_)miOOjlq=@(`(KR0|L^Tf3`e3UlIW4B6!s|<0pu9+|Mwy)|-<+PWmtHn8m zG#eDEy+EzcN@_fF>ue6ev^m9_PPsKm_0>1v7eaa`3B+D~sGK9y+-fy(>*3tbt~>oW z8irBpanA4d8vZy@H>xGq%K_eGMhYem370@E6nZNLp_T5HXIic2vz#6^=XslM-Er=) zy@+a0-uzN3{1bn%1`6np=Sv7j^CES9qsMHb+nrQYHL13Y7KKCOTk zS{cVmNtU$y505eZHp@6lcazYQ#mDk!&bqn^pY(mfA$ECjjSTE|6nFz}sbFT|=FL!9 zos$Du+}g!Zu~pdeM5%Rgg*@)??Cs~Yj%0@>1A=q&k>gm+vjA)(rDo%NQx+a{6df~y zXY^;+BcsDTuIop@TakhJ;DRV2VJdK7qQ0ei#EI`pUAy$YR$k^*`^Z+$0Ob31eD5R7 za+edg=QvAUU`a_9SL3^yy37(w{w|oeyd1?VGdmuO_r#f6^Y8K0-za$Qp+%MuQZZ$$ z)>(x5?DGD&7at@E1s^^KNW9-HIP-0zT}sCNbo@rTwz`TY{A9Y7gk4{KRR+G*rs|EC zaY^`DwLv_%#cau>V)7}JdZdDnW<_sqGBOZo%BbPKa_)P>JgiBZIfWMO@bYm{6h2l|_*TL^N< zL8vB>O}541XV_rEmV}CEeKfGcVkfhWIu~fImP)1N+3%c)A<FjmCM@8m|nm4c$#3CU4gA8{eZcU)}i}9 z`7a+U$mbbA{@?gGJd3)m-~U>wf}y1$mwvcHw4s8r0!T0@Kfgr5(82<^CL@ST-!m^Q zAIP(W@>~?6ZA{F~T%FAvjZNJgT@8#3EnJ)}O-w9JosCV+9L+2Y-Ru+yD~aWS_Y+Nk zE($!!tXVI6d8dD6;{CR4{9!@)CyI50sMIJvnpQwR^Ts;94N?OESA&Ep;JBo14u?XRn zBBvBui&ivvt!T=+!DyW*e&s;k4d&{D-#?s{4psTee}{eRn`fz(LR+`V|5-l&AY;O& zjq`q<`l`~-Dx@X!OqI7_0{aA?M){Wc6XfU4e`#pJr@lb+)tO?oq0IA1g}z6i@aTb--_oY5MJ<`1T zq2^-n&bH~z^R!I%R6Sl9ba*$Xf2h>6=Qg3)KW6m5|MN0F<)L%R%g86MyH6CEeX6zF zv`OseMWLT3pTx&2t$sc6>-l|N$`{z(;-a`jG_k0pq9`?u%gEHy$Q*b)hN`Q-8y5gM#Ii5| diff --git a/main.tex b/main.tex index 0148001..72d1b31 100644 --- a/main.tex +++ b/main.tex @@ -227,6 +227,9 @@ We have $-\lambda(b-B)\leq w(C\setminus F)-\lambda(b-c(F))$ for any cut $C$ and \note{It remains to show that the optimal solution at $\e$ guarantees $c(F)\leq b$? or maybe we don't need this for normalized mincut. I think normalized min-cut should not require $c(F)\leq b$. Further checks are needed. What we can guarantee is that $c(F)\leq B$.} +\subsection{a fundamental difference} +Consider $L(\lambda)$ for cut problem. One can see that the optimal $\lambda$ is clearly 0 since $L(\lambda)$ is pwl concave and the slope is negative at $\lambda=0$. What we are really interested in is the first segment on $L$. At the left end, $L(0)$ is exactly the weight of minimum cut. (the complementary slackness condition is satisfied.) At the right end, as we have shown in the previous paragraph, $\lambda$ equals to the value of the strength (which is the optimum of the linear relaxation of the cut IP). However, for cut interdiction problems $L(0)$ is not the optimum. Need to understand this better... + \subsection{integrality gap} I guess the 2-approximate min-cut enumeration algorithm implies an integrality gap of 2 for cut interdiction problem.