From 876df0ec0fc53c471ab031666b5cd796625a2c08 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Wed, 16 Apr 2025 12:41:57 +0800 Subject: [PATCH] more on strength --- main.pdf | Bin 247540 -> 249555 bytes main.tex | 10 +++++++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/main.pdf b/main.pdf index f086b5e3c584f2d3dc6b8d04b37a5c08faf1a573..beadeee0a14f5f124d6d2cd2d86f7b3f041f2e50 100644 GIT binary patch delta 18651 zcmZsBQ*fXSv}A1CwylY6PMl0^+xcSKwmlQu$;6u2w(b45?%ub3>rberr2?@mgEk87luIHK zF}f$9bGusHEM(#+M%%w0b4lAf528Bh->-s-@+q8Nagf5X|J+KF-ee zkn3?;*+(MOqGsys&6iM1Hzt+kDtis7cEpS;Bmo`{b*B@D4+czu zt0Bq$;%Fcwqr|v2$-BG2@*=ZKT{R!k=)RtMIMF@0(A8l7Yooq{19Nt%-Jd2C5;W(Q z9TGGZvK>QXCDNq4AT-I%7^k92M1k)`yAhPyj3NIl=_^A~i4v1S1ASnPLw+b^0NF<3 z2aoDCdz1rJnQQp$7?xLSbK7sKRVZ5GkMVNWcb^BfX+!CS5!kB60%j>|Ed z(<7BJxk78A;Y-~-rVR$jAu${rj%0zwkf^E z6OY7E6$5$yVCl~Ti^d^+#mUN4>hb2r7b;ww1#|enz}g->9(aIBp#+*Su~j#Ix%H8C zvHKnL7PHQqlY$^6o(9iYWyVpgrjgmimu@47hg5CE0I4Bx?5;LUajE;Dt5lY5w6 zb54$9%XMc>y%mI{iLk@d5+k|`lJhU9LZ2QYgz7j-6qLh)XaV_(A}E?mmoCw5b_@zs z{4*^Fgk{KfmJ%S$4Wh$;1ya&qJ;*Bm2O*wVbpH*fmTL{?+wia)(cKrhg|`W8=MNf( z|4U#@)tSjH-pD45O*iLs%l)OchxGG>aW#YzBb8W?ja|ghCHP?%KAf+9IIHp=2+s^(hRijPd7j&UE9nUH8jkePLa>@Yq;bRF=NO*&YLckO+fq!IG zihUG*FoDsc&ySL}St!Iz8%|Ga5{N;phs8dUK$@(3qf&u}Ec62Yr~~fj%k$R(agW`G z9(&(tEL8x%3$ClB_5Bdb@kLZ~;zV1|2R~p-!O9?K2Kg3*DEA%2xdpefEQAP3FWBS)`zvfd-{Jgp zU=kHRnMw`$v=$QlhabD8nPBnN-U#9uQ=vgwXT~CV2R*-E;FW4{NAz#hWvu)jan1h0 z%FRXu=0oW{=NChRlF_hQWSEfLEii%pKojpteqA75WiMw!B+eD%0S38ZXOtI&x_&~> ztyMhc4W6!c#ko(qUmph3R!pr=BofJ$_8%cAB|(lc<=tX$R!OE!0E^Dy;8J4RF+{SS zTepodxsjgj*0Ryd=je@3BR>&7Co)1IY1E!^+XQ~lI!ZX%G?yu!V6r5rk3sE!+j+rKr0Of2Ehg_YgYw*<|k<$ETaNHyZ$byA>a6r^(P8eWbk=D zu^$C1|HGHmgg6G)6pZI*pgr=NgYl3{yAV*ffMbTS+NAVw1L|Pd8s53m(S2o<{40FW z$-u!O-ea(EkxLe#tK9LI zu~wvZL$W$=yh$F6Q2o3#eK?L@#pb-hK!{;rSk9{)p#BBm_Rhze_miM|yfOvJ2dn6X z#rOF=l(kD4H{_o=MdR6~4nK~Xf&q?PFF3D!)u6)G5|5)sx*vl9sLN$<`u7pJBpZN- zt?W%LDHtCkT;jAyoRdj}6WR6{<&8KOABg9_&Y(;z`$5Qt4mGy?6Glv95Q|DD>38o* z0{QVkmMoryWb=IQpiRAH;j~-mU#&@rI&1S!B@mDE#|zl&TW!JQXxjrNNI)FYjd`L( zK_%Vr3c+pzzFf$U+ZP|uw~db@CbWe^qsfv%c>qU!*ho8JXD_=tI-eQui5^OJWjD~e zC^n~-3){iJsL{qV0!KEu%3#hdLF|wFTNf1Oi#$*46C@Z{@W(=UO5`J(Kq}v=WxEd;f z=X@0gEGWPUqxv-F)hto-d|Ux`dr88=Kir?l$!D+;XjQG*MemE1=Ae3NuMy9bagWH{ zes}&!EVIy2r);f3dl2@4Nlu2px4kqAOp?Fja$-Ka>A^Pld6xG70Jd#0X}0oGv=SMA zK8ux@t?cc6(wneD3im}aV4-B_VZbrjrwf8-Y$2vINQ74rcM8TS6ZyjO1r9_mEvr0u zRPWBle6k`u+hG1a2PneQ>GbdH)DbW2 zv7(P*v9s@A|FT%I5fh*unIAGZ(Z|Doy4a*yOc=7s5I+2a08(sMc6w~nW3O@@-jvNx z-c6sa#2YL~!(Z>v`0jQ#PH&OV^Pa{XL3>N4hrihLGN`*e10JtM#YfJ6S@t0Qa*u6Y zfJDxL@-wr-F6~%lcA@UKi5sy9N9qjU=SzXJ8QgJ9OYy*YJ;{_t+y2${|0esznXKni)5RmLk0 z(hqPvbl5rCy8{Wgtxu#9f_O1?pA6}xrM9ib{WVNS8>Q3yZg#ZGdmWBSP&*1Z(2=4 zr*x++fuBOdCW{WZSPmwZBR`Z48zL|xMUS*xfg~GaTUkz4%XNdAIt^P}~Xc#G0RSolSYhe=t8Q-Izo z10YdjYz8Cl3a`UE!Lq_Eu!N%(5}yCaHlWLHkF8s`gWUrLynU+sKn# zbpYfA$zax=i30J=7@Nq8VXMf%lIP-zSfy+Y{!rJ69(rarzOXR0yT#lh#tQ9*Y^l~9 z1JHy+F#aqV+t`qC2Z5l_d7x4n5S9q)OTq7>Jw`2I4|<^xNkgZaINleao@}da1zJr= zJ2d$E=RM=yk~op9=~M_u`fd=S^aXJp3!U7BU$S9 zLv=LZb>BNlKqe^_3i~!878aO*mJV5etw5$R*jH?J@Ye#XGn>C<=S8-A-NvM=b3P3v zNMJWpg6Q()W-JsopRW!7_pHzY4k()zV6IF@ZTv;t_79#FrEOMh$q6IeM zLz9{;>S1Yq4Dx;~jFm+c*(buFbV*(2+NWI2Td%)EUMIDpR7koD07v=|NBS%oa)1f* zq*pr3h$ctD zns2&V8-vnj4lQ$!>FVL)Id?ILJgbfi>dp_^0As9>P()A~L8t;jN_?0q1^iU~QKc!U zr)|c^mg|LI2$O1|fLGSf81VSalRYdzn-=9r7NFy(zI!FOQ&52&bwOk6; zs>cCvL=ZwC7_&3+BDn2TDv>ZGJYXH~KB1;%_#2#kktPd0K+Ja5veN$FP}7PBJ9ZIt zhsZJIg%RBgZ6}P{NYI^(%X{_JU%F$_PAL}weB9zOJ>gMi<-=|T=;cRUFVa4G^Hyzw z-FBuueyBa7=)q;S|FGwep5)E!(e(wJZ7|IGeL8z`MA#bcM>_*FQ<%$qSVv~ve&YQ4nH#o2-BI@z8 zeXBUedQxHNZLx}jZ8>igxNAaMO|-!l^~W?d);w5kX*mMCuzvzV%&=td%7`hrJ?n&r zKLB{`bg}sYaxXzgwvAtGu7gdm2`u8Or)Xb8wl__?06BcS9I^BBlVhxe=WOd0n_NK zw)Nx2fQ))r?@0-84YAvoE2y!K^9<>J|3M@PJ-xF*PuGV0FXZ8nU11oUks%?fejEk zRya%sIE}hj?qUY1C`}Bj34U{lW^DBMxwzdLB(KJU!kO8dy0|)<8QJ|`3wyT^2~x0K{Gha+2daOYPJ}< zRxeq^j_CaRDyDO`Qan374}#o!>_R8C*SU4Gm-cF-#%%9MRz>z{o(|be$#=eoFhVgO z)U@i&T|j5rGL2^9cgWz2*yMemR`3~RjD@8p2mic2kr}}>uS3VrdO5Tm#^hr8E(9Cw zMQiMq)l@=_c72mU7qya~1+QOqNZSN9qSY~tnui^FsaBG(Z%SFX91=BXCtZc%0#q7F zbIA{J{ZIl)ibTrA=P9gBm0*dED4)s#3R;=n?J%FcPYVy+)eSwoBEoN|7ax9Vaxi9}Fq8i#0PQ>lstmm8aEtvOsO zMSqG|egRD&MrE2|NfhLC$9xENo*l8q5s(FWBWU*G?pKVw;X#Zl@D{Z%%U#$PQXb_* z{NR>)LB7h5HbjjL!V1rD!8xupF`*A=EVSgJQf%?>IfO4Vf^ zA7B|sny!cw!dIn1>>$+LXJbzzXBUJ=x?D{&1*sz4Fog!itdZ&%pw zzIcro8xeGCyK-4%^Kq9}eroM607kJ2VVuE)GD=>H_CJf2LOI_OjTCyO1)|7}6rkqr zi;WPqKt*4=jAC6FQatfATnDq>0Il}}qgY+CyeJ#7RWsFq2}qV2P=rSEfeDaq9ScD? zmY7%1Q^cb_hbE$Yaii|@-)gLZwN7NqZ@|yJ9Y=jTqch9dcf2&^ow3IhAXr0+EL-IW z_l^6X4lnFTM-uTQ+PHgaja2b2Vwj7d9?Psg*f@UkyAeMZ%WbU}3iH{cMYlkcW+sv{PpfOjMyj+-CFBCG;T(5sf+nk{L&Ni=aJqU+!$>s4bqCTF? zjO4nYtQ|xUM_eUWAd?|VatDoUhJWRbW>0;?e5nZH$bW=dp%<=lj6E4lF*|=Kn7Xgh z$at#_ySwu6{QhP9q?%ALY;*sOT`)0f{fZ}hXhXW``dCHJkEFN(fPNE66$|&=gZWkj z7hK_ghCEHfI^z~tqgedoIC071fAO?u?%_(3tRSnA+G8o)pxG?2CboYZ^r4Mt_WjA zVQ-jk>is_Syv)i06x-|`C13x&t1Nloj8cHdtWpbBp`I{<6RQ(1z)8C`;1YcqAvDlP z4-3y~S+9$O4dj;~sZuIH|LLYH;z<8Jw-`+#XAl=YV&A*z9p7eid>}PLo-&k#G=1L^ zVW{N{+RN#lFPfMmMkb`Z2{RP;g2x1# z5qzPPtq|w|M85ERiY|bECS%~?$v1Rjzj(=DzVRKd8H5M=L3N#8Shp$_I`j}U{!x3O zF;laMDO`zCWT1j#FB{-ul-H#%-&agIwc54;bW7j!uU;xVuU}wLVV`=>L;F)6g z`Gos=J8RSGToPt<#qX?{(T#7kPRqFtlI`C4S;Z3v;LxN^K4}sPG>?S*ohw-S@lagg zelVNAAmpk&Rymx5jO2%>-Nx`K@y7O{hxzLLoY77y6*5wkp~=eoW8A_Bq@Mm$#Wznd zfnsPo>p`QJ`LhvXkBEmK=_-qdfAn`8$WA%P3~9{Z>HV7KG;bs>GxcD$)rGUuDpj_> zrFQr?;6#C-2k~pkDIh$;zBYk7*xr7fT|>jV$Ip!0?JZNuS_ zHQw~kv#NIDhavs=U**R2j$ih-`hV>Pe5#~_bep^c)HVClH@WIV zu!XEosbhi|5k%oJ)|uQpqFLcbg%TL*q;3|K8JX>W^iK3DFTVmHofJh;Z|a}kRb&a3 z1QqOcd~>;R`+jmqa5R8@%-=q4o6$TF>e)aWX$ez|3lO@-8`~vow6n>o*9jevn&vR> z(`!a=oX<=hEfuN_7Lt3uxw*Fh8}FltVTD3hx!2>%-2Mr|fFnn+PZ;LY`XC~NTk6Ry zY4K=#`_x3+9YWE@hF$fX`>A0;_6<}0oh=MeHaZJ-rYDccO?ztomF3~Uh}z;#K*bOJ zD^<;##`kqQOi&k0RZX-#+GBq2-Kz1x6gK%6&2fgdN&FX8OjPYKOMH7EsEULP=Niqj zcrINRMj9Dpkw1d)XBqw;ZJ!gG$zQvt#l5n>e2cXsUf4{NF0iJ&4#kfP)n1}ZL66X#eRagazKa6i*S0_#H=o$5cRkX<+ktpo>~Pe z#jtSQ&T=URof`!$n zv)x+t)elk^I+r54kl(AmnVXG1kC8yujG_mdHVhZVqX!Rw zif%kq<`o>Q%;wW+hH;Sf|6u+jP3wf>tugUIi{%VY5#9wlCGRGvv{%=w>T_S>0P-OBu;+ z^PkLh-nqPw0bxq^4$M9C1m~|m&!@Q8rrBJSP0QnUbp{_QV^&EA!gGs7j~4gWzPkB8rP+6hWD?`2N|87slCwNze5f zFK_U0b-zMY?UbM@7efE6y@ja)7!NIT9@oKhOX@G+rHvd#$K$0lu@kD8{-m~4d^nXr zUk!8R*ZJfSLJq#PjJ_gXT8rK>uZ(!h7^(&f`ED`4alkFZpJbZ)SaLKl$FwSXZtmK2 zrVJPpTC08zr&%0NS zh4)CsMQ5PIp#m&03#7@U8z>}9h7Yn&rIJyW?j-ddcGwF^=4ev)o{$;VZm{Og*~9Ki z<=b<yFRA%k_cA{4WCn?MLg=0$s5%}Vp)U;bG%zdVJ zs?uJBfhK{R9#vnYLz9`--ZhzI9J z-qYt0!7)JD8jrZ)4#8MCTJH!ziI+jSTG1Xr!EQi#(uH}!F6?yBI?@L=r!LqcWcV*6h)U?XAU=3-Ar zwFSon=VWF3pJX1Y=Ea|Ki5DlHMuVwxrx7v9ViGN~G$I~MvsS@+KRu9PgauU@Q6l|E zVhn2x4XrXHGKtcZkXVH*m1=l-h1Vf>df9pU+T+V7@4V;wyd&?uhj@`OZrTwZY!h63 z!HR)L6+RHGfd^|9&s0^KqYV@43Lf`2dgzBP=BcO6I zek{a_ozNcw1N!IyhX*pGRIpG13Ia+YYq`FljlmC7QN7Pe0vbZJ6JeqTDg~DpV=TCifLgJeO7x#)37=5f)s%POnkEydJb zfsto-;ora@%D8DD0^Gs`zVj_|T!?A2fTJff73Sy%q$G}SFm5jhA4*@}t_Yp9=_lCv z7Z3oXFNA9q$~z=Hp)ZJlt(7>~z_SS(aK*i`gHWm!Dt^U@7I24-n13CFoSlAg++eE( zv>;Q+QwvW##irgUK{#KFnXv=Zv+N^_kg&NPge9vsquqiY3ATCrqwsY#eW%_^5m~OX}xzN)5wz6>*<{6^?`B5xNc_Gz#-3! zE;#u$0ezm!uRF=zES$eFx8sJdibl$|%({LnV>L_F*N7J`F8SPa2Cl7MHOpdw?XJR3 z$f4_NEQL3gT2zj6?ZG}7*vc)HmlET6ykio)Mo1>DwoWIi@;>seRoNLTHcmEP7n&a; zUk$i4__rcvQ-9H;WK4F){nF=f0X0d>xg%scWWCR7%yw1EhLUX3O@jPEIQXHpIiGRS zBf&Comwue)HK{!vIaDe5U%fNYFsZ3==G}zPvJSSqlsQtDBp^vUO>ct~(f!e*vvFw9! zDx~bg;!7w>=88KGyKc8o+EL|=<%Iz(}Hyk zo|aj=mR!bt>r4J#BZd6nNTY(r95LD^#IC>Pj3QZU^wA41O$<91faE&=&)5tlsWkZ% zGCM)N7@hHJKds!i*Ae#E*AAtX^y@~?nWdcX4e>?oj4`@fMF)kZdKbmX>RcrL3~FRG zns4VKaXF?2i3V?ZY3qK;SfAGp8mH^-$@E17YiU%X4c5-c2FMVZ5^tyRLAWV~nipK; zrNrbh&HWi-=8Mc{K;Mg5U(c1dG>X8h*^}nwULig6_}r`=z9e2%mm#`1X-QKMCw+;U zHY1VJ4PH%?Zj)E9&!9%mgVt7~`Uau-V}%;WHsRjjwzTF)b&rkz8VBc*wz?=DFUK(l zy*BQn8}_T(h)AqP+$}Zn_@!;((I(>+?sK{K=TG=Equr8Gpc3@+!-|o5DIz#}>_g(v zgB|mT(dr^wZ*3(_r4aG?y++EaHl9z`=!!Q}W0#CasXr@=$liSxJA`l2xc2uNSdGdb zjxA@K*gvNJahr2P0*|js%igP~2KWHo#_?tK`_5_1`9=z0QlS z$+Z3l=o|ZOpk-z#mNFyW>zKQXC8~<4)ZkL%x|ip@s#2a@_qIxZV2$8CmGo|L-DXII zIti(@Ih1S52Sq?Q?OLnl)$Z}*oRN{vH)wary0KLY6Z&ZfYA}LO^8&i<&0ZIM#)S^4 zCvJE6cgSe!9Jsb@hy4ahk5`nj?KX?r{Eo&jrOJ6F@X~S^OdenMrZ_%0DGUUT4I=h35ajdyp+-@TmW z(VRa-fIHC-)VnXmJ95{VO`X0u^>=yr$(d1o5=_M=p*kOP-RI%l68cXuBrf5HH>SHy z^>KjPkz67q1QAP6GKZySJ2;l9nw#I7U2Nbfic$2bWfn$^U*w4fDqPvd=nvA3H{|K)T#8)t@jaDcZG;k3W&1ARN^PXv` z^O%WrX#<|~1y|2$+@J1tE>%c>+c+So@MdAC$H4bBbM9ge4O@jj;;p9tn(#FSs>~!5 z3_J@t6PVWu++BuN6ea6?BN4JNMVoaa6Ga9o12 zvEy~`WpXzw#`ttLbc8&UJIba8@S$E_-^xNyeC#BU|2+wD+^U)Az?GUFKi0e?xHsed z=CfA(AO=%tYOwnPfXsX$>P7YM-zP0g85A;tEb0_=NQ`i>YKaD;JTJsncB4! z{Qhq#tNy1VxTz!Bez`W#fawJOzFo^SMMRFbtu}s{mXz&bl_4?&tFCtvl-9KId;r<=E^Iz5{`6RzxYO5HZ?u5NGOSGeNn)%Ct~{^f1+)O3Bdc#)G^;f3cnLZUA^qt9OU?I{{^kOpDX%fabe z4A+zFLBsvJ^(&s~S_O8syz^2mf;5)2uKSR;8s%Ks_!&Pvt$Za7Hr3)x_s7rI`;HUZ z0bkXT<{4d8xbxBwz)ZPRSEK76(@OGOVbE_IwyFfS)&47(+I+k$W{zaRBoZrJU;qB; z6N!+l9M&ZI?(ItqDbv_DS>eiPMyVc}8l8TwSsfO(P;xg*C zn=`rXex-S;#x|z>6u=LYwXMi*nYRFTE-tl6(>>F zafU4NikH{D=>;>)bfnzjmPvy~Mjm5G5RH*-PnbY%ApxT=7_8&S|0)t29+&5o^L|8m z;9~68)f4)CeMDAs+D>{tMp~HsCN0O#=N#lK*1hA-t)2eCnCqywTe|C99YAy*_VL;h z62oPpp&z@G0BDm@+MO+qw!@1KR3rxRmyWHd5UowN(C|)jjS-~`V#^8_@6PP$nblF@+qzsM7of^S5zldI-4pgRyBu}kVPeDHmU0*QvdQo}! zjy4(!1Sgtsoy>XW8L+)gQOn@@Nq4;dWq&HX$!Wj1QE6$Q?Tw2+EFAKDJpK6{>rr>H zbIl8l9h)LCz;mQHXTLjLn@!u0;IbRz$bm`PucaYbKb)6_-K|KmSZ z`(>2_c4WZ#aYvIp$Bmv|69JCi`eg%Nf{;#|@E>gU1pk4Mu9f;91P=wT0#8?{`VaO+ zfLDU2Z>EFOAhWUjZ%QQL;N;}_fB*QpHV*3}EuVD;{SK`XM$_+*7|;>9ZB~j4W$yFI zREW-I*)4A5a)ST$umWx0pLLvKVD8 zrY5D1Fq+X_>X+J@F%X4}L*y8n5fW95kMPWP+>IA{9NJYh)fV-qRwpUp=mNCEyrQK| zv8izxtW~lmXyMs<{U)5nES0L@#q_BRb*$o4krMQ^tk@PDBAQq~d2#8YX>%SiJ9yQ+7fP1YU+Vq-fFJ*6J8~|dH*6z^lvNM2pso(Uq*!9fkePrvYG8x%k#HwPiIvjY z!sowp7M3;ngGpgrDwFzLKmi0eDVwrviLqeq%g~U>zV7)!2ev zf~LsDAc7JI=a6bl@9+f~Zv?Yh%9;4`E&IwT&P^x>KZh+|ApiR&ymo+Go zP!~`JvBk=urE%@>?)E@B%mt%Y(#aqGCV|?I5rM^f97j^^!xb<2>jKoE@s4=IaX=6w z`Uk9t4<@mlv za0yL8W0dt}1&Ih#H3*jK_l&?0lE~}rOZOvVAWl~dl}Bn^uF~PZ6zQ=AS3=l`Gn@ z*)>^RE4xv7D!mgQS+C4U8ghE0XJb*5q}eW9<@$n0)x%8Mc|eWi5p?SR3kAB#GZ>!hQ`MZVtpD@N=eS^_@X-F}`D9ey$hns6C4M7}iv z%Pel%m+HnIO`c+RJ)iC*c>s?C-L0+XJi^el>mN(1Xs^(nkT~$)%ai5Ujf3XX8R^&j zc5#w}m#6P%&A- z4oP3h4OLDs+OCCtJQ2lpK0H?+WqtMAS6gou`)Qp^e}D`#f`pJRsfLrh1-V(QM!GUB z0e4=NakH6&AP!66^F2J-{O;++mo=w%5$A^Y;i0rhp+?LYF0whC&yCGZ_(+tlGF1+L zxac|_fnuJIZTA%K$%rgc6ePAs(*Er{;^bUXSC{%fA^szYwlw`uUU6w%C;P#}5?UM4 z9W_$Q8aVn@!kGZEk@S-=w>ymj=FnEF`c3E!xK`m1S&~GRYUe{u3XN!_bgZ)b3545% z=|R1S=&GZ~k>oB1kWeV&J(q51i-`n)^ciuoCYdvU#?6ilWIt?^VpWSNxK?r=h@Rl0 z7=uJgt2!IVvxFs)3`8|(?a-RY+p!r!^L{xv0aP8W5KxdsHD;!W!OH2Z+Z`*N&Xnse zrHa;mujkcp!dz|2QYU~jD^aiZGGe>hgwM&In(#afxBCJ@-c^}BNPV+NQBP&ItedEj zhZuLVvE6*^CW@lX!LEO+eqUlukiG_}M(d75WlTvrwltc(TOiyxGcySfz6N#;mnQZB z@TXh&!rA!|#7n7`N=&~QLVoC@t_F5*sB!hdu{RJFlviM*cIf`-bB~Up9jr2_1Fq8d zjYHZDF1+mK2)?^VdK5dzk8}~c|Anou6@2eFu!8;;$v(yytGS^X(X^aV81wABfXw#J zL4;+T6q6Ln2j`FJjv8EA)SK2Cp8B@|fPGU3MhojP!RZL4j2Ea>Odu(vXXDU|fxEPt zrT&qGKutbt*M^Dv9C56yx{M^zX+f4kTMilqIGEHfVuQQRgWGjtVoolN+mh`~7-B)c zlz|(_h3M#_K&T;#_^}>>bje_YG%8#cPt5j_?%`5kVP2-s$EgLtgg`OkD(=SsT7M#A ze3q5+Da>$wfFOc+sNkxP%cfYhg*}HTQ1DF93%jf9r>|g8T>jOnuFo)Q zpm#CGUbr?riChs%V~MKz#Tc8WUsIjYt0$K)IZsU2tdi0g9ll1}s^aG@a~nZL*=CUC z5v}(_o{Ju25imA><;e7%SM!4v0^99PpVdtBE_r#nPr^(LTy-6RJ1^QmUdn;GQdItn zBum))10m)PJHwkmmE6>furP1xQ;pF-fzaa&dkc(HS#_#&jE&gMfSHos-}oYSAq);? z#^<$F#MR4^yLsx547Y4|Ko#j~by&)SKEkQ0=&3uUM@M^J&-^fS1;rLmGIz&Qo5zp( z-qMXU!C%euuIt*lEO(EhYMH&eRR@~ zCy?O51JPGgMrUP<#_azh3lwlP#2-}A&OeMJC|WEp;6LOl`BoRMEy<)$h1Kfa*PpaM zjP>FklvHYjFTOf{%ra4i-{9v$1n&cqVXLnvy)~&36Ui_NSo5Z2~RZm>pwWeiaYw z_8s*SvR=$C&{qd>@^VDn9*cw5k~wGcyDF<2;(s#>vKSBONrhIq$2SHTuuTMHabddki z0{w}UXXwZ^)`u-izy4Fh*0m9m*-p#TRFt~)b{?6h* z{*k(V8}<4++nrm zkk!(;M<}+9f1hNE1v3k?Oq33uaN0?^Z+z|60al%}?fB%bdU){L(@Yj)9)_9U21(=C z6Eq39+!tnFp5fKfS197hsoN|@W@JQl2sQ-_WWDT0kk$9Aa=C{hXFN!y=oe&1sfN>; z*PLBe>96d(KScHtN~YiCewOKv_T?h%AU=yRVMk%K8~dN9^xEDvvj~~8dl%NVXuoke z0_$*>5uqEGAhP4525`z0Zl7j{o6s}{@&~WWcMY_}`aGE=w6H*!6a|7f3HcG^@j(xX zl1V#EFkk6N1cbwQXBaDGSNN!`F6*s=ouI`Ks)NS?XH8cTR2gx=_XDdq};L7h2`K$<{vTJN+m6SUmT#$Yr}fD=X!CnT-*!W>qs z@VZ`zaMozD zxUb7yLniUG4|CW=VEB=JN)0>Sn5x=-~aaUZIC5&59Wixl|HoEKflg96>SyW45bY9EI^ zvCSTb6~5=lm!~+CXgTzoXXJYhxPIa6&WJ>JqEi&g$>&06Mf)b-iu}!kj?Rj?AVWSq z%xe&M2zy`8w&}%=uMj`f%Ul+HbYhr8%*-qspP3Q;deW^GF??EMHMAFB*@n^^{k%6* zAHCr&wUf$R&R4%=uR0n{{qEzltzT6fVHYcEh^?z}jJT5KQ)?zgn&PDikd{@WV7|ev zs#;ejtt>?JR3(P*p*G#+zWm}3w9kvmFCaWSO0OZL+r6-D`#Dg-{8qX{P5#%9@{`O` z*5!B7E^)#h^lkY|W2VCUK$8dRQS~Oal81j6#?jV;Esr+2T*x_Nn8Gl~2KQAS#bGJI zvNorgAFb#j_O82BM0_I-@SO?yYJzn*Q(M^^ApA}FE6RWy|Fa*G;eP%peLyHHZgddW zHNgsH>cEmm$gUeqcI=y*XVg>B{5xK~c}!)8a4P4$(cvNU$fL$B_qb-cqc?iVgGgv~ zYxS#4{q5;q!CLcIKVe&;3Me?$HoTP|GF&D0{0CzSb7vKhf;mY8EU7QSmTbXG$$1ng zZyAtBd19;Zf1jQvYxcT||EA3eC@*CI+t##;qOw-=>=n#-2oYhX5mW}_2mdQ~OBaq3 zh6ELjhNe?|0xL4n3A4Kz{ol0#Uq^G%pXIW@X1v8A#92bWB0rZs{S)5Iw~_zszcaac zZC&0wmNzv#e@+(z;l2L%u5COL;d5iAHpjP1zg(O_g|_!LMJJc=peUP6wUz(m{Cvh- zl~3=qC>Hebfcw|!^Fye2<=5br(##@MPeg+jMEIZ0v#nPhe4lK<0AbX|c<;q{D}5vv zY^4!e=;~TXmpoSL8hgq#j;B+RN>}+VjWr39^82XY{o(Q*u-{0WOrs8Z$JpgK_%d`Y z^49FpGxItKAKgE7Z8^)TXCj_vo_-1S4TpN|<2e3?8cQR~q|iu~Y{N8W z$!-{iiAE#KpzJ2XiL}WW5is#HtbT67;_A3lD8JWm_)Cay}+Uj&_$9ZYRb2 zfn%yFIH*Rl9YL4A^?fjS-~xVAo+lj+UGrFo6tw8V$E(PJd_LpeZ8Pbw*|dBr4niqS=D<(ZQSy~2c_O@joK_w2 zP#r0)Y3&+=9LQ|_b&yON%lt1nA~XRKtnD~pcU?@HN*8p;L=Q4mWA(j}MUpP|+WC^hj*YgYFj{&HVph4Z?Du4j+-Gq>8Kn@T@*TvTW zi9&*yI!QJF1q88mYW2V*z;_lz8v(i~N*{sLMM9AC0)Iv!!66}=118OeYBzQ<0 zjQfLKTU+aEbN+Vz=X%}=(d@lTUtU1P_C3TXNSgjSoUm8aTdGfO(y>LSB^Ymn5AIW` zbx>HA4v|hd)*8v+6%8m0BwJ%tnu1{{^`;{R!6`8x4TTM3=Da~Z^b}=UX}qb}RjkW- znAvVn(zMqUrByB68{H(=g~@2%HS;n^Alb}A)DR}{-P|OsMcesrOkAhwq^=3Oa%DN! z%ia?moAri}b71z;Ryx#)D$M;7e>YX9HHwob8C!od;f(ylKWz+)d==aA1538P-;kr9 z2+WfaqztLiB4l?leDwfrw&Y1AJJTzgk@w9H-&9x}YMQ6sN8*@?rDqZlw^Wee;VvyA zZ(;{tQ6Z=mBwN9&bs=q`%Fg8`AIljxai_if?9c%`iLmS%O>}Hh^uir~2sF=|740$K zSy*g?^{{sB)tR;r8)u$ONX5=MbF$SABT(v&I zQxD4`Q6eZ#!vV~~+T_k?9|oM){&7mG=a-%Cw6^Uu_sL6<@@0pPF}sDuiXZb84JpkZ zNh2$Ze;;vG6!z;Eak2uPSf8g~=Q^lM@b`etd4K z?++Rq5mR2dDbh-5SPHRQSfI;Dp^V5KEch@~puT>6tix0$-tGlZPo_kb+{QoZn%#ji zXex6P#L$H6<>=K@RGsy&GhU3EwV8qT3;f4y`=!NUZkRHHE1sr<@D|$MXB_aU4^i&( zLl<17$z0Bg@m+Z=KO3E0Rp^4(d~1`Db@*PCsfH$PW?%3d{VwO&VY_e!96B?kN3`NB z{uNfq!$s6)_i{!_T=F(7uP`mj?p@Jv#@=G!@z-GJ_}RGi2${yn3*!QhV7%6D&-gTO zsV3ywO(rj2GKFjz3K@?NqTjp}nbBkTQDIL9_6XeVJSyeuL;|AS#x9Lh=Q%5&G_qMGd~cfR*M>;$8qaBBYA7K6>kcHg~i*o zn7OxYi-r&gY6JyO+21h8ZpICQ$ODcGjx>!?|8q&6ThyfZ+yWaiBcW^~f0$(1*wUeT zrR5b!DCk~ltTPEABf_K3w~e}gPh{S~JE1!n1}fgxr6;PFhI$>6h4bIJdcp6sxxSPk zXb#ky{^{;fcShCDZLeSsZnahPv2@=sZ4ZBbhk<0(chC!$N8L5D1)= zB?^r}BG7sUSaU4G3W+d4BT*J;D+C6EGBAPt|B3|vqkm*gBm%*rCjm!js)JaE40D-; z73@Vb-*2%(u|m@zzX{Snx7sVsSBLUrs^vAo7J=GJDWKgF18&k{IGe;cGYbp41ZV|! zqRIM6%w@^f@SPsc(Yc<64(yz+O0QMU#;tJc7tnrUnwju|OE>JYO-w+A6@d{3xVh9@ z*~Vt~cex!qBJT*39c-eZzQlR>8B}bXV*{?K64)>(vp`sh8BPi^g07yCTIQ-VPdZa= zsE+eymt$8^HP1E=k2+l?3d*zq8s6M1(V&z`{d5cYbR39mAv=sCx<~Y%CF3N9Ee;?p zq>bqQfe`1gv+8+{tkdpGRi9(+F9|Mvb$4H?yrz&4@)-i<(Vo_@^!6C{i(TvABc>-% zhH%-q_Ee=6(nQCnTr)lfuYMbpI7l-f1YHY=;xb>*~kOJb!nC^}Q*SBOY-E-1PLR9h`HHUStm z&`rzf4L_UIn;V;^h?9Z0%F`d6ykRG=>&H%?a{PUGElV>}vdOBv}ald1v8?Aunp?U(x)aNEYGS8R$V2ZpBr%(No!0`Ti@(#fA8l3JX8X! zuAW_9yA5hIJQlHFvu+0CD{_dVYriJVrA=G5YED!@SgP{{YQOn%&MNia;V+iWTRB<3 zN5AZSxJo7%)avFR7ylUSV%9_L>%QlFA9m^gm2g`dkT!bL^J6PnqBk$&4DMm0>AH89 z#=QLV^brmo`!ZVjK0puVN<6Uuh@deWe>55?F7FL4O%86AQx_~4FexTt^7MIdeK;nAy6rcJbS$uPG{l15Vvd!U9i) z!Ue`a@n%MUGQ~u)B@ZT!Xt{Zt{bq!g5^BGqKq`YEM-9i>|5)x284?W!{Q8*7eDgQB ze^BZYAce)rh#`@tP%3*i-m?+47zKI5$uG>}#52*s{bCt17Y-yHABPPeS}%Fw;_k9i z^tXx-3T!mlrB=G8r$ht~KfV@@*#sBDl(fAOmd;Q{SZlgDahGsm@lF4wt7m$nKm?2- zhshZ0we)p20B_6;idT{g5bg1&`~`gmM#e|oZJcQUMFI2IUa2lFJ#sLHNj)KuRmPe+ zXQz-5Zy>Z#77B@kw|t~UzUnBjdG-s`)p9uZS608eAT4USQb=_1EJ^bOO@O>*QyVbs zsMa%cY;o#vTEkdWe!ofLBmqUo5RK{5HXlO;s9q1{CioHc<)}6>z@iO)@}e`s?WVTB zcS^NRW-8z;yijQU9IG;({oN`!E+dO*$W!+90R#(bR))=W;h1V)yiC5fwvkw4&&8(O zN$9fD1_)6(4Qv+s53QXLoU$MaqXtYsFp!T0+;(S>Al#Zf1n%PI6wb#8XmG>o$F6{< zrRmN(MLrG?9lQq+U?G3G_bzG5@1f_X-8yi&m3@SbcC&dq_NJfxqYkK@6*A@qped~8 zmV`Fsh+W#!G&1hA%`Y8#*iY{+eY<9i+(o4OmA;x7oe0GYOMh8uY1_9Y_;7BfpNK`d zEN2u?+|yn1NT?ZW1<9!fyLy_Gpc14>S*Gq)NdG*xIRJt^H)pJ|lO+qmIybamuf8rW5DK&P`)7_{Wj zqha*t*_&er2tIGz8lN|+qzQPX>+V_}-I^w*xt=5gXLq6EipHAD%_nuM97#Ge ziSa?or{2onkNEzGbc+O!yJ&Kr^@J%tl8$=lX!6AmI8Yi8CPMfTn>bL4`&
  • U?Qx%j)VPfY1W0IN06oW#1!;z# z4(*0Y`$0SkY@yUJA!9Y1<$Ec6E|o7YN^kSslxK*~@3T}2^eUe|Nle`zZ^s1Dozu^_ z*zi=XVo_r5F1pMDBhCGJb8tjES&%qC6FeyWhc12PUIsf$=1e*&q ztmRJq>uJA4e_yIgQfNgH-kU5HpMqc_a9?x;XL~%_zFUobli{cl=7g`ycHG!5 zKug0(*fPJZPcQ5hK1A)R!PhJ{>(RC|mt=mhk;D7i6?ybyTy7>wm@29gT=NhF((Trw z2>d?&x-i3uMH~e0j)fdW{*5r}Z%dUP>Qf*#`q>)o1|)Lp1r^Uwh$zk%1O>kfX%)z! zUEXCQljT+7U*~a7VBo2x#CjG=f<>8X001@4{tGw^z1mY)YXt7V2H?pwvcE-*7aVU@GQllf#JZfE2%>G;tBc z=H%09Z&WpX~p(Z7Mm=+VKJF5{8&pH$1yzQ7|$6m}vw5 z$L%kL)HzF}BGsu2Fvh6MHSq0EiJ0z4pHbMX7wm%h|l=Ahxtl4T|Slu=SEWH}E|a{()xA{J!>4OFA+{bF7^pj zq6QK&E6~+(1!(7+!KPozoIpLAI^U!w7WBD@=KEkuK&T$mrPNU2s3;2)0zeE+9G@EE zOP}2di-Qnh@eu~H2@zLek>;2Vz}CCEL(8J?VUs0+au{Qfj({_Hrc9QLD(SBz<*Oi1 zEVRc&GDdrRE)su3#Ofli6bgJC4_ZH;{buL1y3ImNTS)8Km{46l`D&T{fXRE|;JaX1 z-l3AIXM&+doH=$rrH6Is1GqcFnj`0XY)Rardt8@lOr}DFii^e%RtQK0Z}~oOrT>a4 zG7i9%K_o^*5Bl|uaH*b&KWrGbKzn`Ri~o1j+>$HplbT~j8|##Y7^62OK z&WX#(7;o0eYeryYdj0x5Sy`5ZIkAh8Mzxyf&Bxn5 z3nhXa09`Sq#~(w96|OPg@8+)YT9;LEhw+iT5MP~73zhM>&_y${}KSlE^!tk_PnJ`SEf z8?5#QL5@ca7juy{6o+vS(!wfygErSUx7h)}7ZlSdlwb26tXu>7P1hz|jYQtPNZy4A zs#~HaD-5-nLKEQ@!ooX4AJHnse)slDGN8;c5^fdUE>f^cL*If3E9nYK?JS zNvQPG6*We+0y|L>35T)a$gSY=h=k0O(>mQ_e*Yy}&7*X$y#rW?RPR80Yzb&&z}e2m8`p@@ac`kJW{ z`s`8#t42E5C?`I~3Q5HC$6}nrq<@OvW9@Y%EVXIR@2t!w6fsIU2o)aDhRNYc*X6*b z^4xh~oY)~Q`&31V`n<_yRnN(c*1@Urk5UqkFTlIq=3Q03G8h=4dc_I-9I5)n?j^qn(ZS(>+Pr`c@7q=-_R_QPE zsABC5G*zV@-o(A2j%z0BO8ch&9fQygNZCwI=~#|yC=w)9HgF<~9k^TONQCWm{W?Q^ zJHUO}pS$82=0_j+l`6}cC@^4%F0s*9=Qr5sdx;_yz0Z?iTq9E4{cF;Kk>a}MxJC6d zg=GKJpO7Jiio&;NPY)@2+k%_8kya4j;kSkOBD8pUWyT zpHcJq&H0oU3__xoXaAAg@o}rjkMa$CbQBMCX=t=Tg{#V|m;S zV5$Dco0`shfvm3;owl}2m@Mn6c4Bhcp2v?35GWE-BGS_0dOVqdOs+LdM8zW#N+IAf z6t*fAV*-&TB{C_>H`Wy-ZLFG!WZW*ZjUP%Y6Enw3+5zISWJ;bf?z$`I;u{tfX_mg4 zIa103ZaiDcVw_+h*+E-5_9tqribI78kaST+v)^EGXxE_?Qc!lHl15%8f;!7Q&YTrU zJ6a5N!k04xb~5h8x8r7SxhNW2FIRC$FccMTb>WNx>C`i1c#f$=sx@K9`BO&pT_QUP zYl>akME}D5A~ac?*yJkGYtBZ?zFK`&Z$MS5g7!syVx{lEb*G^|;C33Cbi8TUWTyOT zzcr7nh_0qEo9K*7(|3S-A2;^|B=q|`gxZs_P2xsut_ze5F9(s<@(b@PL(v|ZXbhc( z)rdDpgCS}SZl^r>>qY)PpWDN@;^wPf>cPo2|)KZ;rZa_3}~ z{7NuCzXoUKcQ!h?T#IqqGhQ;vgCFtsRQtsl!a`1O0+|@>e(e`Z++u#t#xoOfz*b%jVvE0~ zSMBajK`BCdRz{)MUudZY6eh9efI%*1gZUm1#mP^|r9VCDdPjq?^{gpOJFcPLQ6^vw zo2>HPyuE$;DS^xYC=`*4viK2ow^t_-3YL5+i!T({H8#aPq4hV|}LQ z*@b_F(tfE$&{o&L4JHU#Iv_%ovBB|!9#oL{bbpUnsL%+ic3_gn{uTe1jK31;QDaczD%J{|8SnT#4ZstuscdSD z$jVY13#QwX#7Qa*P=6Ht=nNn14v%To22-+6Eoj)<+4Kx+w_7=ss4G$#iaymlStJHY z*me;I0A^V=AT{RLJA@DoGY+kIuqQnTmJ)~<>qG`${e@X4n5r6kBmY>cN*KeCfMAJp z7LQQNcINrgq=hfp*1+7{1?{<5xBCfbKKmLYhOOU^9 zPqY1c06uftvEgt=jddp8Ks#=I^qL$5ZLC(am;td|w|}|V=hR1>8msQQ*sY;E*n}Nv zo+-Kc(@c`~P4Xp@l_G5_Td`fDKmx-c4N`7uwWNmucr*9O>mU*lHPNE2OwYtSYH}C6 zsQ9Afk24r^gg;4i_voYZ7^4Nsd+7?;wdX=QN_S_P{$|T}8FtbY*m>*h*k{^P(|yc_ zFH+rP?I_LDz8?JHL_tXl$mrr65D{IcDV|oG$s(t^)pAaMgqMXXJ4?P+7Jzp8h5Pps z@3j060Q*WwDUQRec!y-;w@2m&MwVkq`pUAGA`Q}lI_SbEDfJ3^f8Y@_Yo+noz`Z$^ zeu%DN3;*}wA|_*C&ZOu|{7#2(F~9)jJDj7ep-_c8aj}(*s43ZM5k*2Jv4TZWql`xN z50x=j8T}8GLED+Ubt+rHGWm34CvGw%!=_{mpn1^r_Z5=AN2IcwUbzP9!>_&-Hziut zFxTHZ92^?k3z4r4Uh1ku4}3`e6#O08OEnG(^)VK157`k2b%WjpX6rY?kknm7k4|_W zRmAM~nuwIE9LsDqQ02yYw)?@QuV|GJX3NBH)^2(OA~jf46HNq6gGoQ3cSmkWG6qi_ z0KaXj8D&z|`NGP=7ua^9mqvrW+8szfCkKc;l?)BepVn96Vh(?GIS@PTl^SZ#rpdV) zEP%%i83#U+bR>*tJL-0dbsBd>l9RL2@=U`K@DH12vx}n?^ly=YU=z64+gPZOHlPH@ zlgE)gM1P~BR4lwJkA^sfX^XHPow2Gf05SKo`MiV^HC~XDrYrkv|1r?P5?DrVrNiwR zGvDd%-`h;tMD|E`=@)zteK;YybO6DHIMM$#Tg8=BUdJS@esf zw7OT*2q9=gD&EDKyv|(BDWLY~{{7%{3bx4^IITj4S<1J+0YdYj0Ksa9o zIG$S86SeqNs(7)eHqzneC&M}ywV>Ys4avxXr}o~zcmV$NujgA@!Gecl4PAHwaANU) z@cFzu@|;qwqhnH}pR)^!KT#jG^6B~gJ#n`}1ry5OpM|Gu?IVw!GsCxuVm8G=-9J&j zmo#!OyJ6`2_!fw$91#yf_K^cnHQ61_GmCV9?piHpPY(sL5QyQGGW&koP-tbHDBq9?$8qSf#lki?X2PX_v=Uw4ao(~Sp&bYLYew~w{k*A8Vmi?ftrPL3awXF zOf;2fB{VFb8Vc%xD#)GP%QeXH5nXUPXieX!lRVdA>JC$g-ok)R<4-j}ZM#y>Lr6#; zD_*P@--+=v8w~r&_{Uq#3)9D?0WR-%zJ*m{nEdC9o+nwQxq?V(s5xf3%5>jjobo9j zUtE_raxF-BdFBqsSZnEgoS*6aBa;*q??~Qg@I8hOaxwcj!XoPs{s;bHI7S-QBX0~D zBvsQQA}&6PlZ9)JL@qkOH&J&&ND%h~zWv^RYhBZ5a^C;L1yBnkm8i zt=zjPSsZd{O%|kPo2nnjDN)wGsZrb$xpAmNymbJN{gJx{Rg@1R-C{7pB{crI@X6im zzm5`HrcwRydq3!Gl=ReYd)OSS5ygMaRDN9#P3#n0&p>yiIbspOkN}qAbnYy>(v>FU ztbDQ4@%%|iXB{OJkX|e_bbykIKWP(9U2ULPEok~@D5YtEU+YV&Z^DO! zp=akw*b+T|U%~;1&cp8)Q_)Y%ib!XaKV6pnwWRSG5b+h=PdW=&l=Ac4+9FAnlS&1F z;X+*Nf=Vv^@k%b>n;0z>LIZK7>*N-*u^aWo0nSGy)~@0JVYZ6!AcbePPBf?s3AxVH zWc+y5*%xTf*Hf89LLaakKsSge?2vBU*0aR0t;hqc!|4XNNFH47rD72_Rm95 z-yivjj{I*?;;?fUz~%y ze~EDfhmYO?>M6j{O3R->;dW{wIT3kLQQv-@$>@9Cw0vn{XCy6bhYm1YSIQWtC=*kq zmdxr`UY+GT@4x%?(YlT_Y9EB}tBtkTI_v9^FxIZ#g{8Hk2iw&$BtBg*S9)-AM7FZ? z<5V{kzq}u|brLRDqTnr`8uS#ry`H=vbGHyp0slQzBHd9NyRsz)rwB`yUM=6Dun;gRGgog{vhqAu~HynvoPJ8W;;JEAxLzCq%`IcggOBUaA#! zVa<;dk1a&--yzsKm zp{K`T^249M@8|l1`$TuuEziYX%Sy+`3>5b-C@Wdg=>#QOF}q<%i4RT?D@bm!t!ZgA z@Et61YNai~>4^|IfVwFDcV#4Xq>lPZIJEH@81p!$3}g#1qyq%5;xY&w{4E$TIJknCBv1wXnlYAWf9md8jG16YJa_| za4&-Jx3J%+WhoeWcoW$iUk@+?Z34tMjKK2~ohZn!X0k;ngDzM~8>?@0=UZ~m_e4Q# zxH-iibP%a_z)p?G*0(vXk%^UgtdsKlkNHQSra@UnDFk6YwKLF@4p07CpCMGqybyK3@daeZ zD?)6bDH6V>f&n&?%*QWr{7+~V0EjBl@5m>xhQ94QXs9W1TxxS>PGLWe*1M!o%m{=#}658w%v5qv^f&s%OYpaEq2csU%e zFAuiY7ADGaV9-OY`(67ci@F|GEf}o=^1AoD-~J$Q(4y00w+ie?t~&QzSBbJL0yY`W zfaaO8WFGLP@Rd9Cfx2zJ)zMnA} zePj0Tx>_Z&ag^LSpdLfjGKl+MRT(ynfGr;oDwI=Rl}V=Ds7BDpyO7>ZuJhl?Rw~E? zI=9RCWQsdMVGXqH#_zwQ+WQDW%m^rti&XRNiuk?HZxggNO1QGV66X2W(XBLM+opTj z|4FeRYDsR3q6{?j0%bkXJVXSc&q7$o3nW|%nUNz8^L=sn30S4G2 zi4hjlrk6c#&dw{McNW{mT!(WoX?6EGotWBV8(T^xbqby(wDe(klZ{cuaLB@#xvLpN z-bmcOv?fd4SG%%jHrls4`=(OfEXIWWZX8YhDuhDxOXJJv+aJHCJiZLafgH02M^$>^F@iG)R7?2eoucV@>;v&zzocZ5jD!_QZ|B%ZYCyVBk+fkm40y zj`k~ey4$MLQAoVt7KDGS#(Mqjf?C1EJ%TT`CsH#rH*O;=3Ew6`9}7+tfkim28d|^xicq{8Gj03xn`wG6x$;QJ#6E|S;mw4@i8L$sw_7Y#Y@FFk^{I zEdJCtz_`5M6OZ8sC}xQkMm>RegeN2~CWz&>QtW-!zfT7hC3SCV+@oxL$)oC@&26Rs z+P$Squ?1kOG9-8p1Vi{3pcU&SZSHz1uWcAa=!uuiLhtN6b^vm2?SbXiR;KDF$1b%! zps$k33C5VLqaILSw5It^Y{N4-@6x(dB1$AGvi?@x<~#cVYFAzMoMzd>Fx-jLJ~@8c z1<@t*#-ZG%y}jjTvB#$2a-FBTx#{$tGO*{G4%SY#t8J6eG@GYu{W_^4HT?gxt zejMsQl=+&pDS#QlPFTVS{!3#Y%zp5K2j;#;#!{zKFG7_`CExqGzT%*D#{pt~pvO)pY!} zBn?IqXWkkOiHyTa1^tT&avI$urLmISPYY^0K=pv14M}vr z3)p}ppQ)AjPqMZ=)@+H>&dxS6V*&lOr*a=a2oB^4oOj9yM)^~rTSRGmiWq-%G+xVt zZ2Y1^_#vWOxw_nxVD!zq@UI+YNy9$hySq!P4)o^`lM3!Kesu*L93Vn!)Q!Qb%jQ8#O0&x;<<(8j_g>I_$V%F7{i8Tj`ym&I0dd8YdmIVgknj z61tcb2~AbUv@9ODsT@DJERPX)VwVZDFe4|(a%sC0T@w`cW2-YSWcMJ{!2)ZEGqz>p zA>>=C+H#Ut=mMF#Q;D{DSd88Fn1#7ir%4>1vz1EMmPpQ~hmu;lkT@Tq<=wyf%AYGF zkmx)mG{5!3=I)bIKZqArw7c>q6%Q)`A0*DAIHz(WS!YD{58c@%Jqh)@gMMpc*Ja`W zzj4=FMgC6l>#9onY^c%YCDwryE1g^7MUNUd#)O8yC%QE$DzkPr_Es{*560F8J-$c8 zE$7Qd8FSep{(N5CvX0fcYT}yR*(6hjHn^9&FSOygd`i!ZRlGmxn*_%jV8y_IGR%+? z3rJ7pu7y>~y=r;41eQ))AjJ1ZAiYv9NAkm1u`SG;Kl?h4nR z_!Uk%O0LfoYc72{aM|`or*m5XxGMCxKt~$gtu|MIt`jC!8h*CvDuPbCjFjaEd2O*% zzl2N3P2;$lL8ahBe!MUad|s2ve`}{O(AN-$=xx8PL2^=tWl8PI`5TELmR8@LDxH2mB&$blwK6LHfb#b-mZ@ zyzsFPYUHBE-}d8Y(Ljgfot{2qTMBYd1eiDq8(i2IWB*pY?}~yCpi%7>?)qZ8i+yxz zSI+V|Tmt0SNTp~__M07my{)qC%NLfJGWH;N71m7WY+fn-ionwwIc zmYhu}9Qvc-@^`t>e(eQI@bxkm{Iw`w$==obh#V75qz*Hmmt$C~>3l+$7KPk3AI1~etXq*YkUM{9G-d-F zR|ERuzr#aue26WbyP&G2Sw9@lDQtY~AM_oss-3=~Hns(?O0g!%M!tcVJKR?5I9bw?Y4kJl`8 zI>a)M`gd&%6NfGz{mo)pXUHWYBSZ>{qR0~DL@jCCe4_@eSD=g*RlWxRLF)|U+QmT@ z7k7|0Mnq6eVLcUFv{Rg3j7I(%QHA6uWTT_in)g{&xuwVTtyEOQlFVoPt&C(sLs-^) z?~8oK;Ye4aguxC0g(@g9iA*PZE<~}~Qk}*(^@8d*IYAv0YXEVrAp`{@3A5b-A7787 z!-War#|7T!T7CeFCgK42jl-S~&TB2M>Q3~&{j!5$T!$zSZ4e7{SN>|QO)v#n4watszIPX5tG-JqS(n$omw;5243Qeuew(Lx1C(s=ndl(XrhO6=682pgmr z`^?)nQ!W@n!gxV!Q7@u><=rrZYL=Ye2~Y7yv7l4f@s&mm(5nIP>9k8BDK3_oH6%9m zU{gD}bjuyr@!cKfKi)tdiek<))Xw!Ld^<5u4)(Ww>%aaqMLk~yk-2tBK4L&%(&6i} z_3KQ5YF(lmTQK@a-1YwSQt110SHavB0(4)7pFLTtB$})OxS}KZ8gvv!Pm+SXC&JUN zd8-g0zrqfp_G%)7NPWF{=4 z#^iq3z4m1L5?II}Ej|BFSKYX6f}H91#TRV2UeR27>h)n}LPMTxzNrct6^KK+6GjWY z79?~(4`afZ)Pytnv|9ueD%3>d#}bX>8 z=i4Yrc4YwfAtoBGD2PpkDprmj6|x}LRa)g|+;<;OF!>mA1xk8*BQX&Sl7-B=>Uw!E z1Us+_#HEmqTHqI9l1O7bSn|l$sw>17wGe#2vvky2A(o7wPjf@M+`CP`u^Z($T?+&~ zX)Z7k#9z@nZ8+(jz#;n%u# zB{hxWwM}IPb!us6EB2sO1n*`|D=2rOZ2b`1?`1eIBBM5UrvTDDbPU2ne}CXzTTNZZ znhrpFe(JQC?5FQHVPfwr&rqeMd^##dfR`*3g}&?vqz{`e)YRF$JdyqiMw6L#qi98- zcByLbJFm1^V<`E>aZ@*c(Lqx`f7Ce(BR|KjT+pi-sWsKM5w;0cR7yP!T>X%76|1Hm zB-&n*LC64Qm})TQ<=$9gfC7~#wR+D&swUv!#}C*cLsCkXqdM777EGGt)~XuF53J;Jym-PryvR6c7v|iuvOhW z3Grn}3->e&-WLH$+751~GnuH|hXsBt%N3Y)BbmQb6b_d-SIAgteml)A8$^td%@Q!| zh;1>PC}+Ic;nzt_HM9n74b&Nxf@A1 zQi{X(*e5zZ1$vJ@sSK1v1u9USi5#HO54M9`oK^)9P~n`6TC0^I=WhVu%!A!Vm_0pp{ySfl#pS*1CRg2t_IZ?P zjm5uew{R)uT{GPbz z!sMU5D(aH~XbdDLGOX7lAMw1E3rYbos-LcJD$&N=iPNuCK=d6~;Q{pM@H*0!R@GVX z!5;s;bk2lC$1b=HC`=B=DHnKm%;^s9ZEdxIR67uJHo>KBD)i zQPx@dD4A7CbyA~|=i4<_I%9aU;1tqcXxkN9L#$&pO2p-Ir$dHo%B&aS-#!>TY1!%C z-w9)~_l?mCjwMbw=Q=oc<}$kax8S}RW~H>^%E-Y#S%K~0P&O%3{`~crOAGKlrTLz; zn#kR$O3dv=^*5{-9w0;>2W&C&*i8SFMoxDsdy zv}kpH2KOvaLEo;X!hM#wQJ-w{ZN_uLeZ~=lyZ^9X&y5#ruvB7-;?KW8n8ED_JIZ^U z=By5U;&@iXcW(H%Kkh)W+i{F(o~d)rtW zahTY3Ep6Z2BIYOaEJw)ZWWOv>kdpwg+2Yig=gby}B>6l`D>m=JD^m`V)`O;+eHa&{ zUk8yOapb$}ny95JH-%?8YRaKM%xE3uWiUg20(Q)?AuOajFrf$OEx1&3H-QR{Ke9_G z4t={vkRkJS3BV2kw(b-sQvEcEhk_F7{8knSN>Z60uMX{u*tCj1u5Dl{x| z;!(DkezECgVIP|3JbF&V)QGY)fn2hQ_es4+9K zOSl)HdR)FH2gTDBnYLh30fLiEBzY*R%fo6PCS@bz)Og$2oDB0K3|gSOHeTJt5bXPW=kL2kqJ zxhMzW96Sq{>hxML_qQ(SKzG?Cx0!-RG}@TziesyfbC4c11r8kp10QKlE$Lq~dz@gK-nLbfXC79C3Knu{~%(#nx zbgd7dKpM(u`b(m12H`|h)JpnyQMX_ZPwxFN3?_Ih%OH~m{@U`6Gg#%mDBK-B%>-Ha zDD?UC_$}m3osX{!-Q6P2hJ77a8M*ukJ9FDW?{S&DM+rP0QO)sSl0$f1hf9AP2DtxR zO7U^>XUre+4cxuj%Gmrx5tw-&8W;$gzpJNr?BJ+U036A$05o96Sv!%>ydE>UrTZUU&zz4N`ci)T@#ijweGEN% z`X|`P4y(#SVi=Q~QzUhwHwldH>-wT%?AJN4*zH2T0tZwtA8K zhq_s286>$`1}`ptZ$bspKf3HnfbRAR3V_P7TEM{mfJNpF8|>G4GhYX4Z9z^nG0@x*p4IBCfW0zzO_jX;&%Vli>5tsVmkd57Q9edZ1Yq2Uc zbYD`j$Ln>USt4Lssmy3vIhWoVIp0vo<=^yw)iZevW8lcp^9niZ?{SC5t-sHSU&#?F zI1gq8fF4Y?o)J)hvP8DTxWO**>{;^TK~4ODrkt|N_k4S3Ds%9+0|+%xWeb*Zp$FVl zv5TR!P<7YAljAXR!rbGI0p|iAwsy;s17hSJh)7 zU8~MV402z`%lqc1%kmJkv^x7msN=GuW|!m9$-PNUclq7^^*VpE!*?+&uW01RyT0z< z*rG#_XOio1XOC`f1BeMkR&Uf*bmpqKrf$q=b!ULkd$LC>_i%3mcs)7BcnkEY;ye-$ z?Gtkz<_LP!uCA}?{Cso^=%S#6oh-s*zpDdZ{s}tq@nKlWzk4-Sk1Gvtx?ubpn9v6M z<2!0;KiWp;^Ks2;Pt#*U5*ck_LadJ~s;gIMjr~SnADr5%q4%EoiLn!uY2i&yEAS7W=Kb`32yI{0Vw0_Nm;6Sv#VOWlf~$xe7?HA zxrySSEp;rD+FJG#3kL9VV-moNk7Bwxx`GMdI9-hB*syF2G5FQRU5NG=q;2x+)D>|Q$gr@>(M{I zva_l{1IWv`YCJti-cs)1mV1r-`U1c(wArG&=a?SuiUtWu;h|xZDtwHNCZ?3960%jE zmo3@5x$i!PAIDo+Zf0l#MK5r=rvp2N4D9;^si>D{62#27t(=W=%;m<8#66JwLt8{j zy=&M63j%Fdh;C}->sChawnd};*78=Y4#qoQ09gP0^lx|$JCt=S*-{pDI#j4Hg|9d8 z9hpyd&g>l7MT48tP8X901&hU)v;&PI;Opg2#CmQ-+eFtZWq_1AS(+J}bxrj(MC19! zWT!n@4{hZ(EX`jh5^FSj!io+BDLDyM{b{k~$->I2!u5@)&Td96^t;G7)!>K;^;9n_V1QSU$8tAe=y<4UE`#s4#s>Kj1QLDDitLE+le znnCeF(oQS>O~YD2*+J9bYyP=Ua~+^yplRrJ{~`=$-Jq@@X*mu5rjC7};Gk(z&Hu{q zLC_h{e?bL}5zqigRwg!PW>(I$oe@yn|7}1-c-loMW((;_lb`xx7 z$$A~I!-P0UR*|X@>Jn=p;NK9_0Yk2d8*T^c@tX;F6Jiq8kf|OV*gl}X0ZCBSJm3hV zU>G>iNtj7Nj&N;~ki9j~2+<`LsJe|3yhip8ODuw}eFhldL{*tj%%*qQua~bnsYR|x z?kbUd1ka`jOrUGt?Pmjf%n%Vg@WH7(V%X}Z`c?&xY{K}+T)~o_7t7BO>R`{;(vh6e z7wcVgv8`I$7LfKl;<7+enh<5^p7I_MsUlixIf#1TpII?KA`@V;Oi|}6^n0M^rhsL+vbWdO9!+r63 z@Dz6Tg|zZl<`ok%Oz4W;a!aMKD>;9d6i?YcSDw4G7b`Z@p}9Bl%yBzwqyWQhTyk|V zG^{yxByzn9s^il#25CKntZZnewiE#&ilo(FQGXXu=gqCfkMFA4d?F-ihtIyn0A4jI zt6-5E=it!mUxB6DkLTF_aAnuE$5_KP^)qVZ&VBW?Z|>~lHN5B7tT~7QiDz!^gCDqZ zGVo7so|frRL9wlEK4OUKkbso7CGkTQ3HH#Zyt~NJ8>!ls-K*sc z+o%2Alu~C3Xt@K)2-U*<(e{=~9GUe$r2^<4%2+FV!^bXDruMZ~^uZ$Mu+0jwHf~T3 z#^NyOjzkD&7)t3H8KKpwefeumTE3Ae>6ePVa;=$X#1`c_m$X(~CVdlpFu>159kIP0 zhV@#@73uu+@SO>U7L+A{{i#lDfmX(A))6WVlBXGSQ$!sA^N`5Pk21f~!x7u4jseVj zxZ#cP&diZ2FN$bv=J;a^6e{zR+Jri)MxhtL#`OO*)EZBRi`yh!jZ~w#wYyW%l9ago zeQr3VJ?z;?vz4Ru9DN(*=qpEG qIr_@cSB}1Naj}~rzhb*;{sZ|;Kunja&I29`HaIsl3MC~)PeuwiYVGs@ diff --git a/main.tex b/main.tex index aa8c8cf..01e2103 100644 --- a/main.tex +++ b/main.tex @@ -182,10 +182,14 @@ We have shown that the budget $B$ in normalized min-cut does not really matter a Assume that the graph $G$ is connected (otherwise add dummy edges). Given a graph $G=(V,E)$ and a cost function $c:V\to \Z_+$, the strength $\sigma(G)$ is defined as $\sigma(G)=\min_{\Pi}\frac{c(\delta(\Pi))}{|\Pi|-1}$, where $\Pi$ is any partition of $V$, $|\Pi|$ is the number of parts in the partition and $\delta(\Pi)$ is the set of edges between parts. Note that an alternative formulation of strength (using graphic matroid rank) is $\sigma(G)=\min_{F\subset E} \frac{|E-F|}{r(E)-r(F)}$, which in general is the fractional optimum of matroid base packing. -The principal sequence of partitions of $G$ is a piecewise linear concave curve $L(\lambda)=\min_\Pi c(\delta(\Pi))-\lambda |\Pi|$. Cunningham used principal partition to computed graph strength\cite{cunningham_optimal_1985}. There is a list of good properties mentioned in \cite[Section 6]{chekuri_lp_2020}. +The principal sequence of partitions of $G$ is a piecewise linear concave curve $L(\lambda)=\min_\Pi c(\delta(\Pi))-\lambda |\Pi|$. Cunningham used principal partition to computed graph strength\cite{cunningham_optimal_1985}. There is a list of good properties mentioned in \cite[Section 6]{chekuri_lp_2020}(implicated stated in \cite{cunningham_optimal_1985}). \begin{itemize} - \item $L(\lambda)$ is piecewise linear concave since it is the lower envelope of some line arrangement. - \item Consider two adjacent breakpoints on $L$... +\item $L(\lambda)$ is piecewise linear concave since it is the lower envelope of some line arrangement. +\item For each line segment on $L(\lambda)$ there is a corresponding partition $\Pi$. If $\lambda^*$ is a breakpoint on $L(\lambda)$, then there are two optimal solution (say partitions $P_1$ and $P_2$, assuming $|P_1|\leq|P_2|$) to $\min_\Pi c(\delta(\Pi))-\lambda^* |\Pi|$. Then $P_2$ is a refinement of $P_1$. + \begin{proof}[sketch] + Suppose that $P_2$ is not a refinement of $P_1$. We claim that the meet of $P_1$ and $P_2$ achieves a smaller objective value than $P_1$ or $P_2$ does. For simplicity we assume $G$ is connected. The correspondence between graphic matroid rank function and partitions of $V$ gives us a reformulation $L(\lambda^*)=\min_{F\subset E}c(E-F)-\lambda^*(r(E)-r(F)+1)$. Then the claim is equivalent to the fact that for two optimal solutions $F_1,F_2$ to $L(\lambda^*)$, $F_1\subset F_2$, which can be seen by submodularity of matroid rank functions. + \end{proof} +\item Let $\lambda^*$ be a breakpoint on $L(\lambda)$ induced by edge set $F$. The next breakpoint is induced by the edge set $F'$ such that $F'$ contains $F$ and $F'-F$ is the solution to strength problem on the smallest strength component of $G\setminus F$. \end{itemize} (there is a $\pm1$ difference between principal partition and graph strength... but we dont care those $c\lambda$ terms since the difficult part is minimize $L(\lambda)$ for fixed $\lambda$)