From ae0853cee4aceac44a8426f0e299dafc932a7035 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Tue, 22 Apr 2025 20:55:34 +0800 Subject: [PATCH] =?UTF-8?q?optimal=20=CE=BB?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- main.pdf | Bin 261163 -> 262335 bytes main.tex | 2 ++ 2 files changed, 2 insertions(+) diff --git a/main.pdf b/main.pdf index e68912ded08f32951a60a022de21db8f5213b79f..86aeacd8281fd15b608782346f977f720d9abaa3 100644 GIT binary patch delta 9222 zcmai&MNpm%u&i-+cXtRD+=9EiySsciI|PEe6N0-1_YZe>C!GJDI{Ulms%O!g zu9}*f>8fY+o?wjnQE6y?e*TP|7ib3HzyRz)+=dA(o46&65MmBJjVP{X3AD`9p3ka7~`Zu~5^LWlDZq_Qvl`illZ`XIOPx!;kKQ##=!@|L4_Eve;F;*hUY!{v0~r zN3SDT#7&WuovK=m9KRk{l_=p_JTLY$@Svi8LRNsxMW;(uClt`BiR{6X0U@7b?z4Z z8vYnY$iyB@;l_nVyS328gE@dBDv$B6k?XOOFKktaZ4Z&xS&;xao#8?iHz&H#B|mqF zY7tbKTh9_(Q}?wXAGtFDo?hKF-Nu3rw)B~o9F&qos{0}i7hNeDlV6Lj3)Rq_sA*HX z?edNsPGJpO;?jks{aIo2H7H!=Ti9QnSO>N@I%T6ac7(^J4c^G#vDiSUovJzMsdhiP z>hs9y_AI(BAK%r%Uo-SboYmfGdn~0WU+m=JLRb#QsMg|acZG707}Ug}NIY&auQq#s zM->5mwzS7TZ<%?`2-_i=cnwJpG@PBDc+R|wk%y(ju#gVUnbH{MPkI#+qOMOQx{Bn8gZLjHWz~A~4y7VfoEj%Pa{uIe)5tFNu^8ahO1VOVPf0$cq!*Sy z4mUx)>fe_7nXj=_VQ85HkMQz`gz!xM;^SR8$zUns&)E*52fmw_;F0q;1gSXJ|5Dg( zMsw^)6C8@uh)k1pmFhM3QEI!6Fjqvmw$9fTccu8jCgov|XmKwR1^72F0ZO9%9FCi2 z_fEAI0bphJQ^0$NaNv^-+oj^)EL=ZfRmR1myPNQp`RT~B`)}vHvYf;BJ!go)qs306 z2(}<$rV{Swkr5VoH zF*KIo^-gFY!Tuy%&>+gwAQjC&|4n5&*-w_e(4QC)0zfJ(dZQ|QBZ4j)F~;veWCU|% z+I6_mEL6W<)(6wjGu!j4_JxiCXf&KjH>CV(WdA>|vmPPPWy$R_h<;m;Nu=p|6v@hQ`n6(vPwQcC z?3=lJk|Q7{s|+)l7@s`dX}sT&2nve8I@H?2q-UAK%<7wvx&8+F)|(Ewh#V4)bopGC zccoNKTJB?6;Movz@xbkBQdl?tPV;L~4N|64qyTXUQ)D*jHtCwa94t07c>Tpk*$zIU zC&6ASgMvFdU2%HJj<4K1<3fP^W6$tHYX_t9)eIQPp~Tc;6H3ou|Og%m64=w?t{a7X_aiOrb6a<492z_V#Qx&CEr zc!)K6A1;hQc*fh!p7`tTcf)neZoRf1kTEXSMRX;v+-64tIz!|$TFK9|MK5ynIuTNs z`6j?95#{6)S_~<5+}|(ce%K!W9;RV^;lliTG_pVpPN-ji&@t3%VgM64UuyCqubE#^KgB*Rws**e z)8IngR@kT98v1X6KoM6ncgV%UkGD@(AydG|qZ{>zNsF-GhqeFlC^lM}q%?pO?j!C< zT(!`1mS<-c>EcG>IpE0Y>+uTulfa?c2pDh7l8I7r8tO~^tZJv-^wUA5>UA){j)M;||+vLj|HR#4@K; zQXnghRM!PwQDGMj=HHrhL0nF7ir=H1BYLhvF$Lq~rCHPl25kr|meoe>FIqAIJj0M> zOim+8l1P&sb;kTJTAS9hrJV5Vivz%7j+5^9)eW|E9RO5p5!chcsn2rV(Ig09N(-m3l{m;63Me&gJ)X!@IPD&>rBo^!QGh)$J1+bC z;hSjwN`gj$C<1%ffaSj5r!GUn@_L4jr~0Jj6)dGbx=;YBC$I@qsAgc~t5J)!@#PU> zdJ{m?z8cP!o6Ha+nZx{YacPP;%zgn95e@?z@%SK;U>{?aPv?fmIfw!-dQ9Xb$N@c! zh9oD0nsb7*UWSlkCI3{(yIFit;4{b4Lks};MD83hN9G1+%dO7jm>jYWyYP&HvO{gf zkO1&SLTU3jNfF31b?&5zA<$J~GA3T%)fM`7EZ^^3x9XEv)K_ZIvu?UK)TCm#E3y)h#f@_CPIshYQe6MU(#QRHIh zvxwJi+TDhVKD|47`0lQQrtRsEnSXf(yP7+NL{*{Kc6-`4Sjfae@n~IFW zwLUu`&~ODfFuCFh=xH&Y+>g@xbK(0WKpnp;`x#CJ9beoyXKbpM3WeFoGW5TN*AXq!;cNbDuhurGUx{3Py zLf7u488jDMu?BVo?7f#LaBQCh`sL!% z)I*nMVZ>C|l+LKaXpFphFQ!lh=q}t989&>$T1!k z4AF3GFQuJwmjy`PkYb4`n(-ky1))YDDVyHbhz$sQs1EZ-ZYlg>M+aV8pZxnL%to#f zeqTVr4_gQZ!%(h7W)IH^?u{5p+7OY`JP(aLCBH>x6s-_Sb1lD-y-!{dY%A3*esg-> z){8FW2N>DB^_9YDc<7X=-tM9SaUWE0h#2cPXO}ItBKNSTo~gp33T@X`k3qeX= z&$WC6huoUWfyhf8C)<-%D`p&57fQeI|Zh##`1B!0PRF94Xh7Iv3O7sIt(J~>CX3$0c=l! z&3#C|bOI!Lh}}B38+bxH7|6jp6LGS-nhXwKXzUax6&#qa93205-!JN~yRS=Q1upAc zQ=*%uMdiKGwq&TMT3X0>rE>F*rSHOLhtZ}=szZ*AjxS%GWI@V_LeQ?eG5IDzOxBdW zfu2qX8~YA|Q2zxE&V8~C%K&fL$h_M^Px`Ta&lkP7h6>#ElLv|?eLg(xqn8o=mP4*I z)dOE`RxKOiUCxTef%KaOrb7v{8#=?sv(2Cr_fe}>-I^-74&Azlx{<#P3~kNjjp<8W z1ah@acJ^4svn6_uU+1g+b5(VJd1TIT#V!A+US)vQ55L5W=r{-0jvY#SNGXNLG031v zQ!N`yfgLkkY}F3QJ{~&{29m<+%LXtj7#K=&akb`lwdNMrfg+66+rtPD368H0E33u) z>dQ>ldAq`H5`IS;oOy@gb^GS3>mcF8^x41K1_=kw*`GX&O#ld;s&r~X%6{&Nf` zP0}c8liNo@=e>@E-1bZ`v@SoJq8-ez^C=kouL<{{TzR zR46hE*sC%RzmH!Dsuxj@TS=v!lQc`7sPz)Tpi6=EfHRRZ)k$)j4J=T>LdlR$Py4=W)A_O& zTxKQsh1)jt_%p-lQ(h60dVlv~r6`75B`|RUB02@JZ@DrREZNL*z6N-UeBT;$S=`%* zd{SQ9)0umPR!xZyWRe@&OMWy{qiA5S%Ry3l^dU^VMe|8rb2$+ft{d&wQGi+@4Wx7z zko%y6(APOsL6)!UWzIf(cMb zHbw{?TtwX=efA`-;ob`p%QiPqg@s?vzaKX(G#(71GCKu335#$qcN}y149ENT*S|RGrp^e~fBLBTS~f7?L){TGf^VOhSl_?39Hrl>%H4{wE8Spb}aka3@IS`>a=qx*M8|38G9*K=q#6nyk{Pe!EIU@ zM&v^L!cSjyH*SKJDf9O$@K87fFgmmjD>m)EZ3?bOl0?AsdH~_n@zS?Gs)8SPh>On9 zoNr$H@$w|=T!%=C2(p!1qu%c5cxtZG7a+fM09L z&%h?4_CVmDitwx(URsATDV5ZqVekw#pUbk_YNse#9@$P9Lbh_{uX}jH+6NUI8K(N; zbmwsz;J=>a%JIpBWj7tTjChcP%Np)5de*}8EK;P^l#CBWvTk}-#cdKz$8Yi(+bgbI z+#$}bfu>&N|CI)q<7`&|Dq85182l@`W z$wsxdErGGd$hs6?e(5cSAB82}Krto_EciY!qY0%!sVA>^YV?XaKpqf$w{S;VuYs04 z?%B2X^IZ-oo+qtQ)OqpT*dFHwXE(AoggwQoUJABsny;qvUBm z(#pkc#}V?htrNuAnJl3S4CPFm$z@rSQI9Cu>E!@mV@%W%$U3@3%LVI%mUr<3@v;CM zYG>Stlxp>t<|^)f^fItgxtCNb*loNpVD*ui9HyD4SD zYKrT4WPN`xje!#fDhuE7S3<}dTOgz6{fkwrI|7W2g3^N{ceEbqk<^$gnsA3zl2s~#X=!$BNm%fG z4I`nXyz1>h%N z#m!T(;W^r5MdkbXYt!tBHP`__|4XuVzB(4W^2y(!QT@Oq?<%BLz0zr6Ci2#3SY&Ec z#`!n|lWIrig-F#XVCpo&S;6p*gj8BU{hPT_AVZ(b#j2jN^||EbwEM@m!L?vjDjT}I zM<|ABXodwgC|c52!_i1lF(_O6R6qksQT8QiqqeIfnv6fe@|HN6J>hRz&h~^3cISLr z6lm*0{`U$s3~RY3)=R!@9QhY5HP&R`GJ{6uD9dbFPOIzh3Yn0uF&_%Yr=82?7{&AP zJo3#(g%cH7Fjoq;YmM6}MUAT`u>&G3V}*)vRrUvCDF1?*N@97d-+wmu3W{vJau`l5l^?|$whg_`;$QR z@qzu3JR;Yh{X?27Lx@9gEFTXq1g#PX;V#`V1-nN<_WEPi^m%sdLlm$>Z#34ujBC@40N!Bg?6^}&>eq`nO?q*_?QdzRE$H6S| zpk5O%*cW}#w#TU>^2EI>yE~!luzKF5PsK5PbmE=b$`b~5F0i@dwF>bz)*nCk~? z;pHd%@VHcLO0d2RBu7TDFEk@Cq`&S=%>Ta+g%ch6g!PRw1p-fol64RvMbusW*Z7^Z zv{q`#bS`&h*ZLJ;O9RYPx>Up6O7$%h(_m@ofUzjW-(LSTv%>iw(F`93ktg%AweM8>s;LI1EHDF@i7sP%9!9PJDQt`$-{D zx(c$QHPaaDX;GV?y?@A!$KTa8=Frx(>A$ zx{*p;y?ChQ0#Uo*{XIz>m%+ch2Zcn+!^!#4_-uaP0M5QWwg7ec4|@E%j!X|Vw;Oa; z){aa!wZq*q!+;Q^j_(DfbRF#ht+?UFGB*Nk#7D(sj)^xY>r}kNuLUOilsrlgOatd0 z90$7-w?fXhrm>6(9uuzv8S!SklTO)!B!_75FK*d4K-^N{0>r=Z3H8>TjEUQnF8wDL zJkq~w0vqL12k99v>y9rEg-+y8b@(ZjoRyv6qj%3eDldk)YUaisIQRUKf4Q)=>y?!} zXWo#PocIS3X)avg;Kf=Ca7h~O8*z)y{u^gkRd|~7mJG4xJ!PALtyOZ1`_`Kr8K`@v zcbY#NP(-2DNwZsbKn~JyXQA4V=d92m_nUBHs(r zi+#3wnEZ#%#@d-i7Ewbmkso8w52h?dh*NnH9CF)w@SF#m12%L#)k6~dUfG{$f|U5C)p}r zU)pw_9qN3zvjSOdxaB>y-__ssyF^M~gUh(f3x9+;?O~qc$i=cp+eX_AU}{T4H)NQ5 zMwc~>4V8Cw8-U@9MHLOilTsH7u@TkOwacQs#&Qimy9BfJ~#*bEyWr?aJIR$=WVx_u+GiW}m zKD|X3VQ5h^8@-h2W{g+Z?T<(4?Wl!;aA&AiluQbr9#C$AEd?^SsMSV8>(@qtti&$c zF#cz}scsrGe8O08NrCtmZFsxhmzD_Q#Ischd}yz!#ALy2a})ie?ki(^r@)t$L;pMN#+sUD9R1Iak%C++IDE^&*My^=v#UG+$DlF| zUjqIOBZY04GRM^Pyl1qYBu!{Zl|o#yqHKl0U?R1AionpeGVQLbf?`lY99>h29iSQ$ z!4zbzsl`tm8zGAG*;%uhr}mp`$YUMwHScmK#7I~+YaSJ_Xn?{~^KlcHh zdg1w9l-21L`e@!8{n~r;0Nob2^01L@ypqGCWPY5=%v8Pk&O?}+$}Tv$J7u62z~WM+ z#ndD|P;63aHY*Yr(P14?n`K~o9U(1P1W7_v-k_%FNHq9Mj4OfKm{|nNV2g?oeOwOO zaxEk(m#8XD(A#wVZ{D?+pETbPU-18OCO<_f~sc3)` z34!zVXCYY9lRM|QH08tXiyAOyM;nDiOqv)9Q;OOiqt}^%i$rnxxd7tADie~8&0i?SUTmAtA`maioT?7f5D!Q@QO<1rvse~9kjB~N3X@66sR0?8Lxo;a=M_J_n0eazZ`@&AWG-ajPn+?| z=b@oJ?dj68Pf7-c!R0htoCJfbeiOqqN##K?)GY~uyO*XSWCH+7&wbrr`gtU2et|L^ z@J=gA(8^$jrfhW$gcZ#>u|$zWPpZjL)6R?SII$!tXUF0w;nhz4n$Yh|Wg)PAKbicS z(}opCj4XI1{YOTCSert6Tj^2PFeuusbI-6W(@T?_0~CD{HMm8xfZts4aQoAz3okHF^(q#9&tN0URP6`dE&4`$Xy}Ie86S0ZpJNMMuMkJm2#Ha zgy|^bIiWV!WhJoV7ABNl;n)&CXLDYVd*)a=ZM&W$eba45E8HX8y>Be7$!@~hRm z<#*MGn98JBE!QLdT&Si8s}Ec?bs6H)$dCAjcZW@rP6a?1C2pH`D|3MSuBMS&HW|l} za4ZGcix(wubdS25SN5R@v`@}b5(eT~T*a#J;UZZIdH#x~4D&pKLelySkAze|H*1Pv zn6lh0f>^5((Km^`937hRk9esME%Z@P#bNBGL;Rx(J$%x3z*qOTh7nt;PPc|KeVEZY zxZp9-!ymXGp|3lHpF3>*x_gyPEqt9RdZjVI%E`o$j5OJtXkjF zl;Zf)`F>QWqP|D~AK3TV?V|=bN!n+foS%y49ulqMxs1CEh`sE9t6l{@xG12)n>Ifo zoi=kO{)ob24}U)eLtj-g5akK4wNp@%Tk#3iJ-#iXS; z`8hbmdB1Y-O0)Az@bK|U@^kTWa`CWBh)@Xqe=SBxY>HOSHXvIHZg%dB?H6bkKq1u( zXXM7?@TO&Qg3nlb{yg78-}lU1BV8}ssO*>eZ@=|syR%v)c*Ew)Z&7$(Lh6kcm=GBm zV4|TY!+Jy3T9N&`ZSHn>Z8q<^?u7mlVkSML%5oxVu%i}pCgIOLMtP>-sJmwB<1>mP z<`yo=$rs{Gs|$**K@gjTt$kM~1RO&=79Nwvi=doU&nUFSapTk-=u3-;I8~urRN)^I z!{KbhreS6Uw*`AB}apm5Awe|CC9-?1S%$oU|;-80UUt<>!1PFhc^UkDSyY`QS zZ4L^q$v*Y+9t%EE-!$Dy+|NH)Tm@6l{7Sxj+FC}2-@(|3_?Z}K!Hy8f1bji>bR&87 zJO4sJKXXPonmjh z{7uU@Z)9s-W3KlXg{e$#i={Z`ufvlBUoG0>b~vTS+qEoevm2&RP<2U z=!Lm$eeU`-enx~RwPy`Ie?ubQk`nnA!y+8dVnb!JDcxNwrQJ!rwe*|w5 z-pA#<)$Y94`Qwb|^Nj;@3Er^lfcrf^;m_yh1OS_6nTllPZ0P}Vx1uz2`hVzRZja;v aGIIy{xLa8xaq@6*^Kv24(n_gFBmEBpr1H4{ delta 8039 zcmV-tADH03fe@?s53tBa12Hu-lW|`tf9+aJbK^D=zWZ132v(U`ydQ@gcD81w@;D?L zRc)$fa^T3ctXL06qGKn&ej5)`1O-Z3&ttbXxr`|gXf(PT{e9gWQY;EmyuBi$zprLj ze|tlTDyYC*C|1mF3(X2mG!{Y^vzy`_Vpxu_}mt*lnMe>$+{i`}J~D%^%zFquG>+rS;Uz4$XtmhxmhIg- z3@z6WE0_lh<8F1F+aJ!x!%2TQf2UqNod2;cnL)SVnT0>MCF5wjbBBjB9!{z`CR~P- zMtzOnW_RN?n2!~PO?KN4CDUkCQi7T_4l*^C(iRnXOb8WR^k%u+M~U+wV86U+c3~tM z(4ZS9>#?j13Qh~7TQ_$9_w|yO#?i!c`y4BD1v37A`2n~Xbb-oqwe-AkPzBn5C z)&-7R_xjhM!?8p-V756R|>wAapyns@&tDpVhP7j#4$1ur?JtZ z7|ePP7b~|fSWZ#&p?js$e^(OLF_~LeNsXBWO*p}l^03K1XH_o-=l50wwfQyRG@P?L zQ{ZwQ>~2oj-ML3ayXzxE9p*vGfqTt!BAjVZlXaHzPoK(J1`CLx#92&CI7=Gz)X8AO zSFlJAuWxE#!-FeNd$YI&J?`6y!!bA-g2+hQ>5I-kTSwn0g;yw!0=iJ=F92egfe0cGs-K4`2^0vWHKF zsw|7D{Xpb@Lxv`$j|0i#_4-Fy=_vA-X5K#Tn!xiIrejf*4MkB*Xvcx5G#+Gy6__d; zh|mn^1xJCPNVI)umupW_)^XrP6hj^xg9T&ABVz=zmqo-*e{l{dW@V~3kj^aZ!GVdV z8%)JWde4N)T^~rH5Ret*vJUtLfH6peqqLGFNCBS7W>xE)pIsvfO(zxPh17fZ-MR;K@&2JKU#2!sDv=@#=?IUL-1T!7zsv z!V=88{QW9_e+)rJgeW<^9OmNWjO2vT;N=Ad7-t|jmxhGJv8z>_#=rFGHwk!<;>mqB z%W`^f*eHX6!>;p-sFE+j9ASs&OeCH-r^}`61OjqmdKQ{QzJcT^%qa2?z&4o`gmSSZ z(%W?%?&{NBv&%DpxES&{r1jC&e06qD=`J+zlVsU)e;+n=)zYYR6WU-VVv#!c*`%ws zhQ-r56iMcQK1D?li<@B>*UAK^BB)Xy4THL(3`()}7#{p5MhMxI3p3kRZTmh)B-S zob#P<*N&!#cg7kV*|;DefiJpWkuSm^4Fjhci?b|&y{#Ctl{DE0YL%@aUR37Dmy|hl zf122z!o)9BUZX|Uo##n3WK{u`B|pcY)4Oxoh0NrCpi}=rW6clV)vi|>vva*UG$b=k zU3fF-d#1R@vZm0OQ7NJ+xWGn5=ESqjfDZ`Ov8*p~WC#naVNE z%67#S(pKTCMt}??Vc8xg z^Z?l_vFj^9NYX~-gPlqabXlg&&hJWhF!cRIPfj5^5$M3}zM3wfCyE*+FwyFK4;8W* zv)&_}p84EKu>|*lIMY?zpY1M>mI1wc&S}mp){u#Zt)i^zl?GF|AOON-zFaTWe`2ob zCB0O_McPYk@^uxH!$#1kJe*DR+^ked&+W4|!Y=fif=8Y8Tav|L8lZ35;*--YzWa%$ z8x(01O*c67EOwJXJ7!}0OniPz<*PS2UA<)uDI7gfA8E)FJ-Lw~Aw!+-ULN15>wIEn znqniI_O2J9x|DKAx|0pOEHDhdf1#y#kSXK-_dUx9$8yxC%`;SvEzBEC1Ln+qi>aqB zxsQsWVY%|3D7_({E`hbmLJ6*wzbC9CNoQe=O~D$UhBY<`YX&=&&Sljhs?l?>Mn4kP zojdLuN_zTwl+pxwh5$AC2=u4mkLN6}(5Lf|wf3?6^Z_0IuYwFw-sg&$vDh+EE++ZX3Y+cObr{!u>%~R>vcAljp>o_}E zJkX@;RA^ShCY-ISt5jNcmkQ3BEtYrNO_d4327v3tGeqy?VYR*3K-Uz$q5nf zIakjLXY));+ui)CB%=^0pwSAL(U6NNHP+kJ3UDFVdbg%{@;2JIOc~uh@b?%-fcmZv zSVq~ldkfnc)!eeb4)3XRHSBKMWjUy|?QhpZVGcY@$fPw(K7UZhgoqUpjOhI5e_PS0 zJhR;OA=dX)ky((#TAewV944KnqsFn<)wHa^h{{Jly`#<~4sYtBT5OsGq|^{pIUL~- zs&D~7RXE~eNTIOS7MhNLryi+kf4>9Z6Cl@`)lRjpmxwvL9nR6xpyTjES2ON+daC|R zPdx~5h0LZ0-F-Sbm`x4OoG{&GN1K z|B2q&wGKd91UJk7FWs!ir#jgKrtwaE|Jxx~$@f0iflS+uBA1!Mh}<^j8mJH;VFLM7 zx;?SPHkA?U?Yw-FFF>3((sy?qytT_XH-ky7b7>c7SDVY zNbZh{#3~IGB$mw|E6n3d$m4MRVpA<<5LUR1A&84!(8;j0HoHPIOszKbKhA`SQ&Q$8 zP9Tm5dj&?1;9PC!*rq}blb#`kBF}QAyV5^NaleEeX{9nPdb+8ifBb>k65rX~zg*Cj z?&%pJhTlAIgW!7a$4JyfL zlITs^E!!nl$9BtNe3bx?PCU6yn%0j;uuV|)?y(I%e4zDLL6!}50I~~YAIsREm9arVP_b&h zs>2Hgv5I-Qh!YyO#z~-zs&0vVH(S;aq2?I^<@GNx!r8xQe|);6d*E6+x2HSfz?4ch z9#w~^oJV~_V}apiJHIMx>IdPjsokqkvH-Y|0#LrA@+Qn`M8Hj}rd3lkyQOZU_=h;! zsC;)sNX_L0BAkWjif@sc#mR7TSvSG46#@S~_+pnsNK!yJ6u7V?ubl7SKyvVLkKr7q zj&ex9;N>nee>(c_gv^*j^|sr)#k|<@p~}a!tJV&SQ}z&zgGHx9q!LR`s8nSRkdHU` zdR!7PcsjhsOGKk+mvmon=h;y3f$%G>X%~X`U-~ZjN7GXXZ+aloAALVQ`t@j+H-M1j z+9pP;KmaH6qstFGnZh6@Fq`}2K1`h_&SehB1yAmhe|JYe#V7f$61dKEj!z3Sj%!fJ2WgE2tCyy`dj< z>d`sXYS5&CG5#!7;m=IiJHLp#1`+OvM$}n@cGv?^9hIWB*p+zWvZNbq0s zi{G8g2#h|ndY&Yzm(6r2|fWdAOo*hOaqQMhfaCBtr5M7JN6@r9+(G?{e)@+ zr@$wadOMAC2xMVtv82|&x5(u2r=bhtfAQq}u?+fD?6R|@`h@Q{86&#uvZNkieR3NM zC;T-}3Vg_E9%Ov)UK}z%m=-;7STn}hcE;F+moXD6>|{ws7Rs`hG3 zaUzl|8r}0S&%UeHP_k}fA^W-j(ligZ1S+zA!rD1!N@D<)7))P4e%EMqp^Q4-f63rN zZ1GX^^+O+j5N&}AKt9>wk4ruP6r9%uih2wbNC6#;^P#ye#YU4Ss4c?Mgf#xA!3R;#IN;xX=H)0y{Ex% zAL?6Fl~RJ0(<)Rj_4;@ao^btsWR~7!w!s`qJfnKcv5R^Msc}B1T5swHLIw5Q604S>7NntGF1)@Iujrtj{n&2JbI%Q_~O#kA*3lINNB z81<9~R7K)$JClIG{}(i&GG+>8Ze(+Ga%Ev{3T19&Z(?c+H6Sn`lRjTD0y8m_abGHb z-*4ME5`Onz!MEFeIEusH1d8Ie?X`EnEl@OlxZO0!Ij)i#b!@LA7by<+zuz}fLR+?M zWfRwVh-gVe^5e{K<{K(jC=rEGA_+29kQU_87@_fuywKhW3c}bVv=Sy-p-K1Q$j}(qZ2xb6s#~9MJcofEo6;<7epA-1WaIg7_>nPgGsGd0*}ZgJFtYg@Y14x z3`SVMP|6F-vpOv-X3#MS3tSe1+90&^xCfj-PB2JD!+=r>1LuSxfN>se0B#_|a1MyH zl&~JOc*)323IYfWPvf`^Zh!@vKqMUGc(sg3VfX+fguy}pVugEutiWQe z0mvK%#S}I`myv)J*dqF+i17@DLjM>rR5H*YrsDgA7X1h-vA96#&SGr|Q+j|)fDnK$ zVPy$m(A6ub50AWtZc;=Gd}M_;FbQmdA0A3qShQ8J0#JI(q7bnx3bpv4SQee5V#6i; zux3C&;3KdS-Xsl^pl|YMJv66(*whX`*oMTqgH{M`6bxXn(Su_*0G8kx0?ZVmvKSWK z6MF#sDyjes@T|!12{S~3Ul3-C@BsGDSUZkI8+oQ6B5Vl>sMQ%_zY@_~H=x=T;d}{w zB0PuiJK`69V6?=33!hEw<#67_ehL-BzXUX^;bI1j%Ivc8U+JlSf=)7-Ou z@ug?ljDM zqqcwCKVB`W%BbpopYz*JBlalLY%6lO1#+3^{+tD_+p4O%^}7OhnJ;CBSX`_WJGq|22C_O8)?bnT~=s;=`q-?lvS zBEP%c@}><3tlA3N(BbxuKSknI;)5vOj;k|<_u|E%`1pNZisJq7svH!rXVa>jRyRmS zEI24WlsB{GVpQI6hOD3bT7Di6U(IgCslo%#X&~vd0R~v0rwDf)f0<5a80VA;08eRE z(@@jsrZG)po5nSNjc=OJG!0_gjN+P6&IT>)^<0DEWO-55_x~DCzYdC5v&H9fQKM96 z#XpLF7OzjKzTst!Drh5N+jyipMbaWoB3t6#aE6u9KY2x`}b}=ch@2vYs6i7U4 zD3X#IbOLE#I?nV-DkLx$Nh;TgVKlBv`R)5vIX%CeSHqisbBzv9!PC}?Hc^JeJS9r+ zK(~^S0jbnEBng-Hszo0T256cDYq9}3A~6{QD3Ge?r6=>_K(uY6t(8n*tWy%6t(}pM zDWA7eoAeyk0eOO7Fd2rsC??YmkTk4BGCJD{2}-#hN|OK8|2v>+f|3SISvw~aXfJ#i zEp+6Qw2_{FLpK3i22>BcUplTwG?0ZFpfc`Q+ZilVCKN9kX%4YPb1X^NMaE(`>E}?3 z)j=9?eyyPw)Ot1`#DHBhq~wmK7{i(X9j6G7MMY7HHm9?ZT z9}rp@0v*jbAbbk()kGsb9}Gi1d=6-kj40Y;S;rA*1=EQ;7*3-_EZGO+;Pz=lBEzwN zgHMuC+VMfSRVeLnkKGgYl?|gW!%4ZgzM0Lwo)70x*6sLuSdFJw3{YM=BK7R)8`R z_Kl&?w_nPy%fhi%+-F^VYN*q4o${DE$t zEN@HCb&cs0<8sHjUNP;cK4Rz-(-DQgIcO|sQ|tBZ-{R@5Sg_j5n_IpW3|e7-rbYCF z66s07fK=Fw2K)i-PlSV&k{RbiyrnIt`Li9Y5qjldScyumSI$PT9n~*KN%NNJg~u84 zSgx|u2X;Hr$_H>$e~qMV$9b%KP}*`23XjVcoFEwre}!#Yd)KS166FZqi(;xYg4fi)O<-1_+KLu%Gp#`OR(tCa99iC&p5acKsx_QMnvRaN+g+v2k;O?W$LYvc1P?eNg)L%sg+0pHb5V>Bcud2!UbxF zNt=IQGhC$BLD~Xa;S#k&q$;R}o7CD#HBbw;s2wDwp$_UH16gQ*MreW@G{ZL74m+R) z@^Aor(V~i^ebYN(7jN^2_mJqYR@e&#*bja}beON_U+e?g5*|+Yn9!SeM;qxL_y&FF zek6WYeu#d$e(cBK6ttF8fN)>NA2j^jk-XduPuE15Oz%>|$%PK?j-a87{VGM4-B;1DymC93pZVDc;ylD76 zP0g4!W7do-GsesqGh?`n;W9?bxK(4WjA=5a$*NQy=Y5rG)!{i$HJU0s_f)GP)8~IF zt)a)S+v+qtS@Be_;l+%njE0wkp0XNVmpwITc=ORyqlR}`PfZ%$FL}yo_>l9|tYKk3 zZf5aW \min_{c(F)\leq b} \frac{w(C\setminus F)}{b-c(F)}$. We have $\min w(C\setminus F)-\lambda^*(b-c(F))