From 6fed53d9a0be574a749572522da26b0a37939157 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Thu, 17 Apr 2025 10:24:18 +0800 Subject: [PATCH] better pf sketch --- main.pdf | Bin 249555 -> 250382 bytes main.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index beadeee0a14f5f124d6d2cd2d86f7b3f041f2e50..1aa3e4a4cf406a858792c9a91fef3ee9016c83c0 100644 GIT binary patch delta 26237 zcmV(vKv}wE5rp!Zz!x z&|$mTEmlv*@Z)j+@P5usSZci`^ItFj2HSu|h?F`|`j^o48b6w+J**U$->b1;$R}wGvgzGIXx024n{pOnn{I$Zm2t8k zN3*6t0Hu|Ij5i-E3tEblvq1LEX0Drm%(-sX@i?C5syPgpANX+}4$hzLW_NSZE^U*g z9Rrb&vjqo{h!Oz@6MG7g^c0jZ>Sl}+O>OA;-~DC`(TYjzr-|eaCR9W^7JvG!OPhv? zm{9m(tqA>oFVDx3KBAl$nN1STXGy2_VBu-PXDDdC9 zBif}8B|iIUNO@^Z;RY4Qz)_OYS#V$qFwLKZ8956^D6kmMLTjCK55%+Y=c(hR8Qv`v zZ7z%FXNZD>W&#AqoppY4Kz~8XX5gc?v!vHowTr^Ki;`~@zEWOZh-M36x1`rEl&i{# z3DL01ZPwg1woIa89m9rKnK7nDWYCOjomR`m+rA7RphFY!%)|spfoowvjT+)K|2&u0 z1SQa2+Tv+|z)4X&jFVf-(!*Glub`r1H&>o_bB9MLIG(+%sRP@5Q-3)NE={BdEs?id zPgghVW2$@i74a3Wd0P_>%10Cpv8ZRbA=cT~F+LS;L7b2&<1Z>~V6uFxp_6s5xo&*! z@6~nj$~E)?jW?}ayXFP}gtoPdheol;TTp`>&;-oYLLj9qSTh*6?I6$*Y^MN;Io>Xh z_)SI#gU9o?1+X1kvW}vX&H_C6HloVAoY+ z`*H&-?y9}jOsD%0J}=znjWV!QClBZDWa5s50S+joNU#{Jod3 zUb_OO0yMsW2Y*_epp+cB4e(3aQWOGCi2*>CO#KRd!Rpe#V6C?T_Vw!;u;R6yOYkz3 z{(M_c7iNxFm^7KXrneRh?DTcj%6vxM#f_`#E}>tiyO`A@x+}E4LU*aE?qY1jwZ+!g z=qhNO+C9tgQjR1p>IeHOJyy3qAP{zX3-kmBj_EP;Vt+kGiE}OoIntr;r2{JX`y7Ci z*JZA`T_Q&P2P&=jzSdh@!X{?(&AYEo;6Uq)Ja5@tf^WIy;ao>3W=0ahvU$D$ zqMX_drxaXLkuiIB)$YJ=g-wWsWr_0k71EG zc>UXxj~|9c?{#zxL=gdD7D@)XJ=DLBan9xbxPM6_lTlF9KGClSl!4tIZ{yS5)c}zU zIvkGs_3q|)TMwvqv0>mmh0}s_mO5}AP>CR%#W)TpEbH%eE~VLuj`b@}_*{k&4WcHw zBuvM{{LA6+v_)sgnbza--~1yTRx-HKn4$q0F#r~_iNBwshBHA7$XPbZ`*T3RDx69P z4u7wXC`b6%i#hE00fWxZn?odgc@^6O{@ZRphM#Ltkp~oWxPTglecuOdcX4F+=ovb) zO~VPdz&`2#xrxCp2LTU@n9DoZqmj;^i#8KrcO?wKtZTljC;>Bmp3JkTP`E%U@|6DQM+BAP^o7f4i z{hyvq391Ek0G$?v_-2)3+!$h<$aiu9Jdv#q03HplV5Wn+AOWoIKpABd{X&JPper>F zWWOIX29t6ij3&+uq}eB&U^iE5Aj|jzUw4v`TG-O|qy+UctEeT1bX!_1)77hH0bEo0 zh`SQUhKHNB+)WY&`am&V=2lRgz%5WR4lMS2?*Q~{^52n@vA=gfpnDw027g?ZEtk=f zjp-<*2vc@=^ywwd&F$cl4ni+iHL`bfP4?=kbnYC91_vOKm6vyY53`(HaKVSn=zlt*S)(cOw;H4 zZOHelkneZB=nK=IsmRc=h<_>&_U3cvKKzbPJ2VC}DbTzAA$W;om?BgSCio{XTX|ZL0&RKr_H8+T9AYxOopFW_^cpV33mWTV$ zLF{A34ZHw9nS)Q15j5#13kG6Kbv|kn7hOi0{E4ks>*x~;-Q0)mtud;CU7|MdNvTu@PJfw$i*HBJem}4ErufAb z5W`s8XGRj^sldqugBj#(O8D*50iR1FmRy2>0KlX&iG2#zeEYQ9!5zI_ZbRhGTl{ql zBvzt(B_xeO!9G5?@;7k%_;hTiN<(9or*H!%eCI6<^Tg8GhgtjWKi&YLVi0O;ekHlq z0rytoCAPklqJPyU`xph>7Xi`O@H-^2vx z=nnXB2Nz+`PxFPtDB4LOrvB9nCD6CoKHdkdzdW{U`VG*ge{dENr)&%XxIx_0xJ=z? zVi?9{C|tw#rgBDyqlS4MtNzHCco#x5-hblOdiB!dc7Loi$u%)PN;NSLH7BVi7M&)> z#>1vFJos~SjGuA(U}r&7-_IFq%Y_k-@55s-TX1Ay!qDY04(LEQF7kj)+W~#y*K&_p z^)<@k)Sl-9A zG@TKY1b@^+0W4+ByawDJ??UY-W*CtrINsSp1?}Rb=F!;k_Hf# z*})2de?c2#ZD7nfen9pqP-Mp;R_tU@!PLsO8GoZGi9-6bA%BoMN-39|7|U}qE<*YS zBnlH9hPSdM450Dw1r6y!(x5*cLX!vQ9UO)Shll$o6t3=e`KP#*gJy_!+{V<}LGRg@+xI-g{Rl$vNUm^=v!6$t{{ZUDHPN0814;*$hfPM9p8k9Vao z1An*K-He6oI_VUeD8}=U-D$Byk#y%v){4BOSt+nlS)u6Nyf4x9F^U(i3)Yh6p$mTI zy5%yl{vC_}1k14$M{7=jl<-ylD?0`1MNUB?+|EaVD*87+ECJUt>G+wviLMCn5*1gu z2t!unOxa$*<=EY{gc_Zm>Hxa$+w2#>jDLtOdKmvQnizWg8A)aRbt3%5I)T1FxKt99 z3Q93}!6x44ANLQPv*Ci4o*T^C0eK(R$JH$g&7aSQWdQ6Hs%geaYgd1IdW^Ny>!22< zs#v%(zA`$UWJOyXmfZm)AIh#d&^0#Lt?y)(O|IepIR3L z$HeqZDDVm4%J?Y0w-B4di<&oWqJImHa5pY=oLK%ko}3|d;eEMm^76Yf9Y$g(GyKb( zkpuydO5~Gc`JlfGCUFL(uNd>e3e~L8J(jBZ7#g1E?VBfvzo;5YB<9;>Rx#*npT-1J zVl|e@hgKuD{fY_{I&{y5wN~b&w8@)19U{}*nAX{Iov+u&qOm!o_1fL8cYlK-v=GIK z0i`UQj;3w7`w(V{Z|{bghebWb`>d@`#UuqojFs!?7&}7;F{_D$qt51?%yy%IU}HMy zroX9vb>6*-%fgk0kMz~#N~&_~E^-Qw2DE;vr+GWt|Q}T+!5^X+f zT53>MUyHl?#+m~VlKTBDM&kB6AGtbZrkFfrt(7wEflMG>v zWus++qdPxg=W9rre${D?O#P}XyU@a3AF0J6A|qUWZ%HlmgIb#_-QMo$xBh@6!rfrt zO@&A5(_XPyaHaYSZceIAU-=eVd}#dHJg1gF0Q;gnw8|444#dhdsGP zgLjr4IzWBLFC?91&ErO$?2!#h4sI$tYkyjqbbq_aifRjkaT}>TBD&BtIMg61x~-`< z!Ko0@ses=hmk*fYx2IrHU7NT^Wb54}96lEz`_|3mGvm;2xjKf4qIY6-`VMyS#tBDk zEL_Tik=(j27#Z_{u73+g+H-=8oa0|X!i6fBsMjF7q)-9C>?M(|?iwR=~=S&&er)aIX@s zpWc8c_Ur#QO8<3OJrqinZGZ{+8o5;GF-z2#RlDvAOaU9HX)IfCBB?`5%P>0I!4DN{x<;w;1!CMM37A@e9<<3lfK$} z%+}%ijLzj#zn!E=7!W5lpePn*g|L%t>y3Utjvqq+iGL#O2mkbpX}_OJ)Chw-?MuXd zw^FsG?W*0j)KlAL7O)%_*=%piVo3pOBw|UY14;sXIG#;?2)nv%$(_h>0HSx6eF@^Q zO2p+%jM2kbnzb3nz=DD#stRe<*f1sqY|fF1_&sK$Fn|6DEEr@L@n1J`?NTw2OtUk# zq%}yR&12{bFIpthIP@-Jb1XK*4t*`5ROySotXXf1Hp=jv zh=Zjshovt8x1}!vo#h2FFf=hZm!Loc6a_IcG%_@oL8b#If1R{tSetFIEewU?P$AnLSjr3v6a>gXKmZj-R{$q~LqL$7OOS^f z_8tuLD5K!wCrB0Q|uKs6ia9A!ZIRyQHI&2Lxno1N|ESFmnc&fdMXH zCl_;jkh2ZY65!?tu>+WU{C|Mt!4|B{07)|ka|p=N8psS#7H5SaiQC%){vtU8AV6mz z#1&}C`j-G~1+oN!p&&DR7`7$A3F7Dk0Rf?A5Dx&6_8^PDtpqqi0G1$U3wuXr7Z@t6W~dDiAnWJ~gn%7j z1^j_^e|9mq1;Q9$iNlJ7LO>ROBAsDCu+BLHp#UpK2#gN|{u>KJ27;Y|05fX{5cn73 zPXk~^8F38&4<{=pCm#!k0D#_t0YJ|Q`zf1wFvE1<=VSPjnwt#}3@~&0o1eKotk1Cg z{-FN%(LYr>|H%O0X!X}9r7HCo-Pr}^^_LTdf5iD8Tzu>tTz^Wi1pN~Qpf`iDa`3?Z z#9^A)|0U;V_(Sx+z4#blNdLo+^^dqvh?xb{5yIwR26lmo0EM*<@~2b(nwLLWaPRf#l6Z$_*FhT#Ri<6c8&pI){D9kJ!!S)^iOQ01Rn~Eb8 zCLDnN|8Y0|e>dTO>;db)8D(7T?N!ViV4VLAC23;@fmIEVhnm6U{$CMh4j_Av|4Yoj zopphKtDskLggBVl|J(WxfjHP2Hc%X}e|Eq={}@2dG9Y)Lr5XroVFR!-vxiOc-*auS zB@ki{0t3|?ok4#$hlPV(;9oY_idxu#fzHkVUXH&eAZ+yiRRc_-zZI})>8Q)dYcc&t z`Vv|!|K#+Ko0=I24E=k1vHy46f81vO^{#9NTSj+)Av-L84wxhC`=3w7|Du%!e_J?O zg22|WF@&w78N~9x4*m;GLc-A<;Kjnp$qQiN7L0PQ?<+pt6hzazl0&MWd(G8?5EMm-S60{A^6M1#&x;y$ zLk9-oWCuowDn)G!zH#QW?5=Lse-FZ)#T;S<^T6*yiDkRco$cZiC?uUWh-3)(6K{T~ zh5BE!VKvti>=wyH*DQ$9PrHqF_iXWPAz9!ifz@RwdfaGA-fwEp)ubz$#6s}Z+sSlB zM}ueXvXGfJec#+SnT;%BqvVYKuEDemftJ;*gp%|F_uzLe^2Tn7~S~MEK;8IGt&&_nbcsYaL8(9NUFG*ZJ-R6Sr2Bk zDwK79`%6hO!S9z~&&3hxnruoop=MmYB(n^^vXZgOTX*%mOw>e@Z1O=k`VhU;1-Y!q zOn{a@`QjSEDL30#?}fyz(1J1Oc~5==+euW~%N{j>|B5|RSTDd^fBQ3q(;jnr5~*g; zzLhm!5rCz)ip1X6l+P-lstAbk@wm~vEj+Fu;Ar4k_M)Oe`^u*yEOnWCR<&I3=(h1e zxLp680I6tG^z%j{4I173ghPi_P~W4iAlu~98%QdpkD|LOGvL(%@a5R`$&i~?95a_Z?nhmZk|? zrpfA>gNL!GK=)ZXji*NZNN?0Hc^Imu(3Dr7S-?>x>h3+hkmy%|XY0o2&IA>|-jYY_ zo&Gk3oQbE6LDoE}UEJfe{PO4nkweFT`pX56wH|}U@Lksqf9-ocP^_5z+(=ONzuoZ|N9viFVKsgc2r8UQWuvm z8+7G*vW(k(@3!Y{U7A(HRxg#Bfu=JMH)_I@kdk6oJ%)ojr^siZPj0A;&%I1Sy;n$W zr+3C-RlaOg1K;#=HcY1^?Qqkyc$}il=d75oUxzz)z?On8ADq$n^UGy@f({OPYDCM@ z#}8OieLi843kG<-B0_ZW|(nmz%Sp?DdeC=98;|FGgxyR zaR(WBW3jbW1HlgK>V8$W1HVGS*R{fmi1uA_NtG&|BgVU3ESDj40$CO#QQw>GUuIUS zH<2!f7qctg*Cec0PWUfjEMR`VJ{oA9oiNK3e?#bM7t&$Cb*+*L$w#P*{230=;opS# zAO`7m`$rbzDyhbA5=fyE>I{DoF5Y4J`ir+Qwv~w|&nnzgYGMg9!|Ue+1&U!;STJT{ zX~*28cE*M^Rr@iCYAOmJ+&W#vSP0SGfa4-ix{vYKoSQ%bp~$Zfc?~h_yjr ze?+7*s`6={s0-L3#PoXzOaLXj@~e176)rlbW7)V5i2FlkQc;!Png<{|`V zQ43|khe5aONd&#@GoMelXls;UmVVf;v+0)4G!!`d%hGGZBElW!|luA5uqhB zE&NGYcJ5f^!jr!a4oiVals=Tp|2vMadKGte-?1IdIQFMSxG{3kKY!}9N&Z=r^n9F7pWVm+;%<1 zF-DNnQaJ>Njj8kuiD}w=Hh#ugu?lNn+IWK*fg}G55I@nSFfBlcLrn+|IxjQf+QUrV zYu;$}^FM}S{cemop*FHowvkkANO!WSE(g_z<=e0YzelsYlGOi+56BETf0ooug=Zmr z^n@5n46jLLydqIO&Dw^`Zc)>cmrRO-7=EZuQ1=Z+ijsGiuM$D*G175q!0PPNGmowQ zOhH(uEyYV@XupATF-Vbb(Q~-mvp613&e-_6){FAQRGuGcU z-%3>`^n>w6%*$J&!?m5e=i*sxzTC>6^prsLZVsJEzF+L`bucsvynMaKhx(}Zt|SjL zVHRH|wZipd=s|QfRp&ry4DG<{`t>C^dcA0pL0q-AU%CFBk6$M;j6}F9AI_@1UpUoO zeIyIKQV8WY!;P02f5_aWoTSKbZ&Urr1D&nlD&`Ka8-MlPz5By-=I~3zTbyjT$~m-W zS6cWoOpr2dZ~)8ugy{$c7JL7opJB|L+UB38-aXQM{N!pNA?gtGy=cBEbuv~%r$Qs{ zf#)4bxzVfi8sga$1)q~JRbK{VV=}Rl;N3lgW;TUM8Nq-ve;Zwo>;5FMz3bs+~|ZeddsOKSxGEcY<4qaKH9$#0T$@5cpvvx#5zOzXcM5$KEM;YF3z zEPda7pDWdH$NO13{Zna?80%G0L%AI>T?xqk-eZUE_{DQyaQq?%q9pj^>DRgXC^h$i z7s0BZg=l>ee}56Rn;CQuRdV@a#$fkwY|ggQ{$ih<9ke<5ksZ9&49Puu3@*Ye$4%jNILHs$tjb2)i|f9oNkH})2kk6tLfL4_WqMsqS4fIqR^TE7r-Rg zr>$I5*vL+A5+0d7etE=}VaX!!b(ki6uB-TfYNu>qe@MH;2Qaf?aKc*?1Pd6-luKl0MJG1!&dzq-++n2s1In^bm!WGK6sZ^JRrBSxmFCrgP?mR##YaBEvr#GmCqfN!>BiCS_h~|q?As+ zR_OL5ofd*b_+FGdm7k+3JR8{M+B&EZe`~(XiQTI!zxo~B#Xd-osisv@h~mK_LBzkP z%3;SRjM85mg;$$kOSIG92>Q(~BMbhly`#c#Zk1EGA6M}H;_R7m{dC8Vue!sDk`RyW zmu!3XqKRiQC!Q{_gbxRY{l*p2sG~jObJG2y&AZYXTPQMm!|)67mN3^hyViivf95v^ z)Swl41a*uU{|`8xm3wV(iRKd9dT(rGCT(iSOUDl6ZZlu}FxT`(e7n&VdDW03yOoUk zV0^TvSi(1_jl%BU#NHS>wmZKhSpoN}kUgS;nf;w&&&K!qDH8qf7#T&Qn!fnUERUdd z2@^_XQdYxRPFG*|s-M1m@0ynlf3}~*$P^}I{Lu?)U$|2zblSR8_hvVt1o`Jbc2>jN zcRN{Q2OSybH4(UvLfuKt^gjJ`v!Sz!vt>EG-$-0&MhZW>(T+XU)O~z-n5H5(U;J`s z*!62oQsmrTSps>1lmv3vJ(67Fd|18gD7?#2gg(UC@~dw(Wn8)3k`$f9f1Wy=lD1Rr zv~a@fRC4{BK-z?vPR!MmaLU~l+TgOlIzLp3O>_rUuvP*6d1H(45aT}c!}(3G24ORI zZU#G^reMSdwwjw^H8y$dlDu zmv@^HYoll|aQVWB0i$wUeW&grAqYFF+iqEAf5%BB|G@CT^y&SN z@$ZN_r`<6vFKeA&u0Lr1a=Uh+H4qsyM$Bsxz&BzcH1$;wbmdC3lo9c0!W(6|QM&vB z*^K@EYMDO7)YcUtC9x?avg4g<xvYqIaj)PMau6U6|d|y`w@VFL4XRCicG5=A{t}x}7#q7`XDd z?K!Tf>Q-ISmWj>@5I$?tXWB?Q<;6r7Q~u&`#-2`y1MpPEdsLefAkp>Q!JO1?uLUG$g$S9 zMX?lHP>DO}_N$S1C!dZNWxr(RP=dHXrX2qoMK{cYE@Li%pl^YSvWLRJB!fpFngopmfv)nbzEfqC% z`q5d#XgPb7e|K4iAoD7ppwE4p=w}HTf2ccG&&2eNutO2N&3c0yoDHUHPfDt9?Q*Pg zXDSuh%lvCv!#DzQMDJ&F@RzBpZ(xU0o!5A^_thbd)c(6pCX38$ePso}RLFlD+7(cfT zrFBYd1HJ|TM~*jJ~OawxlGlNw$EI_SCXk;N*mP^vd9 zL<&O4CZDg5T^TH~?U65E3Fnp??eLP5sD{}*;i5NXST{aS`4N>}_wcyt#hptoKhL#a z8a*kxf0%Kpy$_!XNZ5{d))H>;rk~P#MCbo7Bx|=nkHM1XNTdxHV3Z)>ye}Il9w)7? zS{EWRMwuJ&NnLJ7Go)f#IN{!ee2+eM_=^_#|*%SNGz4 z0eS1Vu7!+~77#@cNWJ~kOLD2y1UL>;rWfZ-f7?vQ3gvHlXY{2YE7(vbS6ZlPD>mcMv-lh zQ?ugb2ft#QJTdycP3cjL&}92@@S7Quf5nkxTR@JYqcEYwAc{G^4W%lD=q}wOKXV5m zm07Vp+IzH%wdO&>(hS{J*Bedvt>ly=u1EwQY+AKzcj>w#J7@Q`c6<}|fQt`}78@5@ zN%OtU-TFCkB?oo(pr>lJE~f{9<~DUdsu}XwcuLOxFAsaKkI=KIZRm>XSZNUEe;_6w zrYxy6N~Endzp2pO$Ccl2ZXG{F{qXyQZX?TwZa8?TQUs0B)F^w#c!O~i9j~h)Tubu> zUE+J+!%*H*H`VY?Yx}iaKK*^2P8!!^|5qzUyFkU1vMYRd^ODd>&5CC$r|*RAZI#Fiol~u8_Uyf4MpQ5`L8d$v z>#01CNvaS-|CDl~QNh?t@i2|Bb2T@lBv1X!gL^diVT%YChxYTR)*EaD92u_r@nAqc zwxTaTj*)Rtcp_3Krf=Xpe|6H)t?ivv?99#=d5)QHSc~<<2{lv1#B|WzfGpttu&uAV zJdg~x1x*!j98zKM(InFZ!QFY#x&MT*i0+Ls^TbzeM6?a9tDy)4kxv8{EWsvoJk!qi zj{;gATHCE9LG$18W!g1t^_FCEQF^#1$`}KW?Z~5;!)mWHPj>l+e{Z^IjJG>@rq~4w zl^f&Jes&Er@&Ed1JBTVRreyeK{>r)Jt)=?a5Zd|Ryq}#1Wxbf+E>KQoKZp6EMvh!e z2}xE|Lle@v$#B|2r)%V2bbV!qYDkwoY^fl~$URBz{jvUJW}0TV5PH4xGNe z+6ivB=fLPaGc7)@e;7spctUJYC$j7Jb|Kv>o3oXbZg~wlW0akR!R=Z=ZrIa63*EID zHTt&e0>){{NE}ge9luZvg#@#xYK}8FAf+Qv~7v_f8cR=d+BF+j0pqGxq!#TiVM-0@_(fBjI4_p*b7FDbVVfUo|2 zs~9U-3{S}9pjUfjc@ZAZgOMuzf*rf=U@zG;Rd~Np%{Vi_(;V<*uCH@RTzC`l3iNFeAg+K_W8&oqyWk;CO$cFnmJW7Uj3JS;0w`Ls+dOGVSn(ydL2irJF$Rl`Q(_Qs90@3P7aK-tq6i>zaS-8IP=^JFK7_pc^Jj3VAsQ&bGUQXyIzZ}hJ( zq~S$xf2j^-edK^c3UrBT0J#(?ymEEHcN53!x~hUN6Fq?}M6=YD=8St`hFS3G#}7-n z>5r%>t%kWqa5Q2C6kk>~fw2(vc+-@+clc9(j_q;fuI+G>y2h%wZGk}c#HZW=6kYS~ zJEwFq2A^{HyTPx2L2C#N6ZTn5yUu~p@bR-Ce@bHd+BmuLyq#Ggts?0XTt1gtwDZXP zwHdjfM&|wuLjuQrtso|U((4K9A)k#R@87h10=nZ;Z;6P$XPBdBIpN$NY8Iq9uom0? zRwge`&Mns}=-hx4*yb){BV31y_95&uqTx3xbUOFbv$XglLrzVSk8;szL0z#N7}Me9ca4u>{u%QA=Wc=(gxV7NXy z>n8hH*sfs^W)k!Fl)Zg%yobGwg!r~)vNN2H%(_HT&nJGi2ukJ!hq=H-QhD)WJ9+V~ zSu+r}r;-42g33QJuf6kDm(iG>P-$^AF-daYjYUQ-0hv$3>4Kp-l z9(Z1`T7K8LBhN-)X6Ukul;b^@sKKDkFd(j|+$N$Rt2(am;Zw^BCbG2!#~Tl_#3{j|3cg9N(8}rwK4J{Jy%C83x6zLQO7^AzxNQNY#ryoVNnV-if8Cy{ zgK*eWi80D7BEKR_O($XGPaP|2B^Sp&Xo<#ktV4HKMB1qacc=WuxiPBqFI??-V;!2K zTONkxwhh*kLQ{wgOTV$pkti=qpk(;Us4-Dah_3R#BQ&K>m1u9P!j`Qe%+WmhK-SA0 z{RIpqMdSm~Ul_f3vH6wPGMjxze~%|cNwDTe$}02Qn~6$>U9GqB?+^^qM)SZpsA-@> z0+2LCIr0k^L2CG!tYWv+^m8HA?m`+SfzoK&YBfpejl)HN)#jh!5ag2k+dWZ0)uPf0xN$I-nXF zB~E17ofe)Sac}xxuR@*1YcYQ;Mrz*_gs#yr zQuE^XrzIWe_eom%4Ls$OgpNq`2y1%H>It4P z1MfTTwJo`t)i?~Pe+ezxArF>rwW@n;}tk2d{BD>>3%U18QXaxE7Q!n*HTnz z?i6O+St2_k*I}&6h&o^HFX(_wEfLz0ph(5?;n`6k9; zn*9QWH^-q&+VzBoolm5?29d$ulw=KdHzZ72tKy9Wf@$am#SgpOmlTum0k|9J1$0fm zKsobRR#S{=fAPb<mck2)j@!`1je?WGwMzbHX|(Eg(|ruh z{=O{xC8eV8b!TiQbFfyJIAoo)c_TS}Lf#~wl+j*|JSF?6p6uKQl!%NSdRpjm3C{|# z;%$m>*f#W-4i$Wx}r+mPyr2VlfXEp@K6-9{<$V z{LIL$*_Ao34@G_C>w28n3{f?vzu_R|3c$1UzRff@qR=eqy+~ zMG}3(nyP$R6H0*T_&)F3rf{ro>5IokfolMD)sK7v6^E4$;laA%wV{Y$DUNT?hsb8- zi}*ooxZ|4)lvlV32mZX&?ZPHZq#V0U#}-ay0=#!$+nPWM@^^A^z-u+cfp8VvPw7Sz`S}2| zasc(xwdzr z8qNF{i-FwbiYZk=RFOEGIDX?NUsi1Kf0t#NBtEr#{Z-=aZKAWZqH_x`A#H=idL!>i zOTIvImxo$?N_>|4K0RjQ$-NtCKfg!0<;8VdPUQ;iU&%$xNS+J8FK={?a&Bi&Vcop^ zuyy`(xrizdu}}0TdJN6c!0oDK>n=wBjR8@;p@~y5wTSqPG}qdoBhzW2g~&{~e~Vn< zpxRC29shPocXc6&gc?OLQ($&>q!dbKq&m6@=lh~j2aSwk;n{lJ{HiSPF)ptqiOu(J z?pjA}fqT;$hfD}pc274dj-FMEb{Fi%L{CRZB-*NTXjxF{_cwNk=j1z1;RG1`+?@n0 z<{>v;UF{@+WmFOP2c_gq4H0e3f7+w-QdMo$6=tJPO>-X9hL2WTqYrwtozY(0W*zh7 zH8JRyFVWtsG6Y+Ytt^~O>%5iTW>Qab+8kbBN0B}6OXr}7*%21x?v>Hyw)OlB2sJkf zPUNZEtf6kg))ZyVNXc|)b@S*`g8#TE#$w)uIVtu-^7v+ARG(J8SKq!de{iE_r;MNz z-BO=bM^b7uOQjQuCUHMD-|H7$4KfIxWG9C`+=BJ!HzsBGMx;8iCI$-9Vs2r1x}ZQ< zORxfObUk6ariOUD?S-9FLR-A`PWNn^!fkO{Hws7U_ic;}met>7rxBlvq$gix{`e(& z)L`*4cuex8QLe?&Sk(pqFS;#h)?aiqkUQyb74V(8+#b&JcN)5M5*8$N_8 z$({(m-P3r5W;0Ka1ava~%Aa~M;(3%1+)`wJv9Evq0%sQzzg(RemXqEAHQCG{QiR9quLK)e~1D%CX3cQY~$BG zp0(FoloUSnxgCnn!$#f`*NKW*CkhOaMp=1LeeEmTw%v7fSUubkZPN$e>5V#nHUyA| z5p)D%)wlcQx`mUU(>HbcxAS7NpY;wSnJ0!r5v&L=DRES$?5zQ=4pI$Qj25>ngeGEDg>X z(7)wbKq!xFJc8sT-=p6m2xzoI2Wjp7)Z@>{QPxgtpBy!~SnJgkt4^v!`nqN}y2r=9 z$|mQ}HnBggd?|@nkcL^N;=^B$?R{Z?oT+r_leZ04f@fbuO|s}QrJ1FJC)+a%!S+wTK-<<$uH@UWX>N#!u(l^ z$jlTz9uXx>LR<`X6|G&*7`yo)ah^YST$ApwkYvEue~$tj=^Iut^vAtA#jg{UgAXIk z&dc8tUP*s?b`NBa>$S|sSxLRyeKWN`)}BzxF_>Dhs2a@wG1@q%+N0jms5q)n5^&bo z!xxTtnK67H#8(wco{aNA?_cjtG^+4&xqk+eG&D%h-3fE=)7^!4cC^Xix$H3<*~y@G zZ!w0Ef6&1=SEgJ4Q$?Ix3}yEaxu}SOE&43_a(FHomhuLF&0C)BgC8~axu&cU6Y)co za0Z+GnIyLmcdOFKdD#iH)vG?!r+f{8y-oZJj0Yw1{SXOBja%gMHP^#RwARbOT~+J> z2}K3+RVwlNmq>ipsg?e`uP=pTJL0061lHWwhU;FpSF1na!eVHG7gd0ssnKU+ncEe)d8%BepTFRm$lJc4jN?H_EdWOl;I%29qh zvtN>=V>YxH628)0N<3~2sCmnt5p@avwRrKt_5j;v;uznzu%GpJS{D1|z4L2(8!V}! zf63pUM0>eOMDojtwk+1X{1tb3((kGlRQvA2D2S>o_mXzhdgE=B)e-|EzTGDiVc+Z` z;#Xk*@|``v_jXe}A(gZbZNvPQ(JbybtZr}f#!$?d4eng!p15<&wlD63?}ycaPMLVr zVMZS>jiX&{oX6;;+||mhTle+onUBXpJr_&CFNyPv~R_VrbTllN^0C4LyS zAhqf&7u%VgGhF?qZIIL|fZY~-O_{7+^F9(E#eO&y_*%{ZHJHTs!aBvLf63p)8ypG9 z+8siNPmMOMfda|2&zxm(%4C}OUuP{xr3&hBl__F>vmS&Pt@F;CMYXY9i`tNhf8;&? zqTk)>rkRYWenrq&Emy6H7LR%~moSdve>M!?3{Z#?Dqf}Ly)SPy4PbG^T&+(t-$`$; z#KIku4X2cU@yr&}^wmk6p_OTH0C*?dVuNqOJfp6l1~s7N{{ltw^(p}@=AYhH%qhDi zK1A^y&Y;%3JDbA%OyXkwTgH{^e^Z51>|#ZbEpI`0_R*7|8lZ8T-W`Qw5haUZw9q&P zn|M*15n=Mz=%RXf=Jc@qFq^2YVuN}-AN&oa$&_5zVG-7|6zz8_@RMZlx}twFg@@(| z;WIOk;>Nu3?0KN3UM%YQ=Dsjt;huNkOT3Thu-0mOil=paXH&j{kwc(ue=K>|l_NZd zzsg8%^L&L!=S%X>^9>?Z`_(wBF7t%E#prHTq~@7V$MF=BNPz_*Kfbe8n((t}`3p6v z)v5D*zW)@>M3sqVfH4Z$rr@PsVs5Ss16*$7RE)<$R|OADzY5oQj<|Z`W53OFkv63D zf6mQSDDdjFPv!P&LewYbf3V~!28t4;Eufwg2kGi7RsvMi<1bxYzVOXs6j|;EFZh!3 z9CffFFCXqQSZw*U4rH&W^)R|^$m9hpgRNU93f0Enz55j0K!&Ao>M&}Y6}d)@QYF-- zR`V7Ia>M=si%mEhx%t>&mj;8c!yjEsKjH^6iFCcmtNT*$+d!Z2e~I->kUcJg9F*3@ zuV3S*x||2Ykcej?&1wQyiNyzAJELjmSf zD_l(4WoBoaT2Gz^pN3=02*E9GHwRuxq&|o9N4g?n89ZX&SMD!|Byeq32L`CV7s>t~ z^Zqg-3T19&b98cLmubQS3%7Yd1KA`HGB7m?FHB`_XLM*XATl{KmyvS=76UghGnZk2 z11NumRCzd*{TfD6hEmjs$Sc{h&Dht^K9SF!rNq}5?<~y1ER1Bynv$*1CLt8b7NW95 zmWU#TWU1_1rLtr@uTH1!oa;LOy}$c;p8LL^Wkyomg?v>|-whBP4#C|uI0TpAPH=aZ z;O-7T+}#Q8?(XjH!Qqb++?{@Hr=96j?`d!59`EL6=XP&IzkerkwPTd|tfVoQom>SD^VA zraI#w4w!4 z5g{{CVQl|rej1Yk!Ci1;BWZO^9&ktqR#sdsNw9qQzj=6KeWCvSg?NfoMKh${{;K}5 zumE`0Pc%}IH50_LXKIv4VG8YhDb&ST0r1~!yWY9+wO- zS3ECF7jPsVsQccR5MPzZi@z^UUSQeV2ls%K{)&)?2(HQwLlLO?%2YSu{_M`p0fb{s zPy`(0rn90e4%lWfNJ9JKT7csGvBl&_MVXO?d@>*7;KM`UVxFH|;3&|>5Z4u0!qY(# zFn}Whji+cV4e=b7-I(WlxR9+U242(7H&qU@WNClShafPKGSXByR!c;8{O87R4B>x- zKbI+*ijjtJ8oss;t~3mTLcMrFz!eh24vvjNsdASPbs%gL%)zY8OX}?;0S`7^z_&J1 zOf)zOhyXB70o1RDn_khHuYJszXc}2kFmM`DHB@adWxO+O87<1|Ct1WG=@7HWi&^lF zldrCNs1tL@Kv`7Ce-|Z&E(82bdfl>2n6lOu9F8^G=?$7*k?z<)3a_ghz^px9(S+rV z)U=kUZ@>d?E?_N)r}wU~*YLq3MX)6zUeXKT(mW?ZZr=VBHTx^yJ5za;{T{X=kmyF7 zRxTX48sr&t@fq?%#Mb*RYp&3!C&~ITyLr^>T}C{ox2*wVrV-}YP+9H;L3DMW2Q*XK zVK;BZWWyx$9O#&Xw*vbD6jGs_6MBlw`Tpr$=0r>B$qNBlW%DVX9%wM=PU=wPCOUUy zp8CpKVCno+XB@HHt^Qd@XhEg+6t3gQfA*aH6Qf-z|9xY2QDVn?%VQmTDgnEhLuu&P z?&8v%B#{!O)bG#aEk6$CgH($=#bJ|6!sQV<38l!%Z(KS3R}AV3Kufq@B#wqJf#J%m z^}BTVUAZwM!r3-Rfp}$BR15JoE9pEThWK>&z|g?_Cr*Zq+b(@j8GpKqf%?h6)jlh&{KO_t=Ve9yg9ZNx-mL)$@Zf(@ZKL0&L(j?OyP(bH-J>yc7R8gJG>m0s;m z#<9F0F8fnkCDZMV?;xz#Dd#Ks89zEvgv^TRDLi~?T-me=K$V)J7mfaM!1Ze2oKK`; z7`ByEvufo%ZKk*4Dqe^pH!@On{2)*!|KZRmhL?uHSL7MpjzSZg>g zc7c9{u+VmrsQ2vDgkmg=-jyAc+F>yWxS5+(e}?|{t6cJ(RV+O1dFeN6+c}CW-pYv4 zqmS|`ca&3;vV5L9M}0MAxnKhJ%onpwH!^q{w}U$Yt@G*+=#-M6Mdf!y{>z1Wm;(PFCY8px@`-bg!}_V;6BeG6!1?Y|-Rg^Er3C)|$;) z;3R0Qx1kU`%9XbYp3;o?7qw{nTt|#&S;|9iD?UhE~WChi@SG7H~WM&m&-MNrY7SG85)gFQ~gmtA}iXIY4jee z1d4du=7%Ojr3yQn@b_zry+8|S_{tREp!I{U>; z4(;ieK6NzGz?*(Sz40OV)^hJzs4`DyfXBkPbZ1GO?0y2GxbDar*PDykr=%JznR;_N ztlI%a=8~r$+tRbOv#BA5FZ+8{>j?h`zvmljg`LW5@GFtK`*{ggbQ z%Si9M);+NDAJ>sEP1%m{wXIFo`mW>XY`DGs+IDq0nJU%uv=|7QUI}DKsX$**Vw%M~ z@lOd|rJV+&mabtas$VwVK^$GqXQVP$)qd*}{#01uO;Op7qj)aDrl&@@J607u^Tge# zxbOHBx1D+6dw35Jg)BZwB40|z?7Rb5-v*?bJieUwm?_(fNwas;`K?!nqhnEI)LnAs z4|@2V$N0>%&`ri8yiiC?&Gm%Z+>bCkb+crNJ3O{KFD@Fd_}TS+u*yS{!Q zA2PJJ7KwdtSSfpNPujVW-p9+7Ep;9Y^gL?$o{8*To|&WdGX|wP+tRt^M@KWDcIcUI zVL;p^e&%a^HTi3`ilFYu)??;Bf{_Y?!=Pptnp6`h+<);+f1dnqlf#p4;B8%_)hLYJTc@8UgKi}+QDq_rAo1VtRG50C zq8|$}>gaj&LDW$_;XsRi|$(-MPcp*VekST(^85kov3D5KIR{!pKP z*^qE?M|wIW3^9%m52pf<6)J5pQ!o=wC=2cyFIvgX^&`cu?3J~<6MHl9VjUuv!d!Q} zY&i(=`HAT|&j_D3Pl|Q`Cj-3|tO4f5u7>A3=iFA-e8@}f@O`@x0Rpt>Z;;>fE&@JdJ3`kW;5=@T7z7X7YogLFh z{e7zvDm~SH#O<}qyz1yaj0v8lr?$6jitEX_w5=v|rymw4*kbCxq&88 zFE6JwYcyiZat8+>^3`KeNYM}dGabNvKqFkao~}j{xiR(%t8R%83Fgi{GPiA*Bo;Y7 z!}EG9dxIviemO`56i-eMuj(uVN(sSx%WM|nm_DYw7F9DH1G?KFbE`eA%Skb1q;(!s z`7hE>Ul#r_CHTZo($e`6w%iK!?T#-U*Y&JeAE*Bdi3KmKxd$0=%fM`)tw8KGSQ$>q+{aGGF51?NP6A^Pe}mlAtw3n~)95;UH#F^h~u@?#kph zo=GCu^9Ykex!pU(72%By=$=fE`*HKXm49#GXNcL#Fdrt0s&H(Qe6d*=Ke z)N+>u^f%K=r;+8Bnr$Z)`iFky>S+$V^z&l&D@lK#WyfMiEJeTVmYO5Cxk+M43nbIj z+{*P}*xq#>bUPJd-Zo02?%4j&^4>xiBJtc}9jUvD{+uc3_4R&_9AcKWW|4|;+va-L zKUecf8)kYRGshn^1Fly=qK*_O0ONdA`bf$`zA(yuO{w#*IgSU_2M1X#V}iqbSbge1 z@<$n9JDB5zg*}vhV7-IJw#Mf^Kd-^vcGM!I@uj#h(!eA(>u_ReGrs2+l zo(U|!tFY1ZLznSGVG4Qciw6fpWE_~dG?@-~IV(pobry*ar<*^hX+JCNbX+uwGjH4ib5m$C4qQG@{fX?GVnFgb%!bj~{&=2l!q&L_7P!k_TJLn3 z4a>?t@{gafTE(KB2C@Ip(!WKu$1^{NQnu!sUS&|Ga>IXTFt!ya$tSZ#&HC<)*9SX* zxEsAK0UUbpp@@7$;YEMypf-1bvHTBL-9bHV-oT$D2E2!7c(Mwuo)JGWX1&V!=$&g=XY$2U?~%1+2s3g1+3B=L7O0^Q;j!g+uA*{ zbnAnQ2bFpWEtl={@Dkkd>iUc>41_v#ex5+d^8FLcrGWk5PiUxqm6tT50Z5Ei8)wKy zQV34&|M^yq9&pB3P5r1bnBSo)Pk!q%P%GDghJj7*gC=m2f*T%l+gKr$=}D9&Rk_2f;J^CY0Nt+a4BtT@0JQI~d%1r%v*e;1RRMOQ4O5A9KDTx(9# z$W|=%ok&wgStBM$8P7{wPYvVA&80xA$%jrD!<+kt*dZ@!DVO^kvX{GJeOl+9_jy)D zw-cVg<6cSzD5vbLjnf%IM{ppTEwBc1S4H>hC+L9{+`vtG2TAB7OIpgdKzvvKqw0ww z4S@?Q4#4d5``6n86LRqk!$xjAsjPX!zCytH{X03FQFBC0do$?+P{C z1`g*4Bj>-}o?H>`91e#6@f%{H;&x#TylB^y)gP4*Y(hvru;M$-A}S5BXV5UqP*4w@ zm&12cEXNDP|BO=F7!;A;U}$#{JyZ_3RU-(0*8v0RyTaLtniRq{()d#lTq#ZOLGFYn zkTBA(bW-9mk#i9=u+o9SPzA{#u#JXK+s39E7Ivz8cLBJu_obnK=GmHHq#%$M)03qR5`Ng~;?|5VNz(Q;_}C{2y7CL_*oEtrq5ZO6wrS)x zZ!~NiJ_?_XmTR>7{Js3nSbgyFQnBi?Oz7L23je{4wNdGqq?Uxkt2xhh=AL1|^7Zm* z6;Y|lub;qe;yiLxG&$QSr^Pc@2p|HdT7StCiURsd0(jO z-DO1;^m5&X7k+VSGB1mL2S4+T2-dhYLt)k&b~;OdX~%P&FgEn5l%(<}`p>QcXy9Kf zq%8B`*hDkrl^m7I)LkfYw#)$W?Rc6BO{u25Ct|jzK)KVxp(+ihDYlB4C-2F8&MJO* z_uYqh&!;E5ry%N6Y2%<-YI(B#F!_z9O|Q~RpbgQFil0=c_@8)wGRqD{b@Fl6T->(* zEaoosUA2bH8&5ymxNVEyLR9;#U4b&mhL!uj0!t1^*EY>iW^gjiE*c9C%-ZY^VG5(u z2V3)N##{ibplNStjsV^I5D!IYyry@!3bhKX7-Mjvc6$>Vwy(PhY5Yn8xWeij3WgNs zfbl(t$fSXUm;vYdI?sQG_aqL8Ot%uZ@Pd^M?aX_3NmwN$FSLxfrC4w(E+9U*i?W=D z$D2|L?9fHC@)fxM+9qQcUirlm=j3WEjs1NlH9{rE|JmIT!;p21q)CnAmL&8JpBC<0 z@`x|J^9m}eGT4DpbBO)?J*A{iQ+*xPhkKu~YgvY#6_Rec7fc&&kr)MSyFE-a8M
    p|!D*Hh57JGJSXAJ>e+B&JC!Kz#_4;fQ$Nv2di=jpngLn#Ny zp?3p$A>l_Lkvh0~>v)vNg3-kpgz!K$qoVN3A+&#^k!!z|v#T)U27vI)NUec_`m|)l zx}-K49Kqd7Zym^WeA@KO4;id4-n?gosh`fstb7xB|Ug!soGuUV|{Va`hAc`hh7_y2~9#g(UfgTltTXibb&kwiisM=sZQ*z$s8_tbZX^|?(62-K&alb*o^BlAadC^7yjvEG=~&YuK4$xJH99p zI$Mtehh%wtH2{gPDY(N%phr!_NwfB10+GUlm(!D(!;ojV?@lM~9wx<0!`e5}M^Zn* zcC9d;u+Y{%!OLa2ojd#MYQ%iW-7`!;q+l*2OjlX#qGf*5zu;eepwdvLmT{K}FEIq0 zwOnbgnp<^oTEV02vB(3Hj^wPHm-^bIBibRTf}lyj4@e=S^jwPv;q;(J?=i|rK&u@8 z*(q#WdWR3DC|$^*jP4-6B3zty`L0JdVUiu#*+Q_uc3OKelEn!zNl^aRtNN_-tXaOT zRE=M*%i-OiLh`ZUJEbpyc!vC8TSgCH$$(;i|t zrtv|N4XBva5exUx+_&0k841QO7;tU_&;0wd^-$iDA91j`Iw)4x73y10YV~b;eiJdL z*#>7`%QxGos-BhACbCzaX4~LAmkqbovjx12v{r^&!`Q9ABf(>yg{cFs-7lTh2s!M> zoZJQQZ^HiLwa4HjLj$#u>nrS1F_BhxDPk@lSU}3eswTTowzEdu&ys7K2WorSDsnD~5sf1G}^G`FxVBSq_uw+bW-Emxu zuS*>dHbXp(8Ku&rEV{%BmP^6!N#1}L8ydDsP30T;^l@x$ln7QM!iw4AWBkunfrFf3 zE}&6KMT%(W()^Su7f;6bRy$E5O{dM8iSju9zXq#fDU&hGSvh=Z=ob+-6yrQ(SxU5M zz`Nx|p+Pz)Z?}q6?Pd*HT)V%A@jS*buqtbDT`+AnqF;TdcVhIt-EnbRP^}z1^Kmc; zNK6!cj*utcTOj^5@IjWKAFe*(i@1p&00_`bN0Vi4cJJ-!o#@2lNDeb#zl`Z%wXs2s z^WLue9F=-M_Kx?n@Ntda)}gU$jX=N;vQnu=e~a~IeNGJN~`Hjig#y@!k!C2!5fk9EQ<)UoCl0Hwt z;pr1+oF2}zb{lW%fz?3-?CTt*NnArK-k!3;kdYj8PYR;kD)?;#xxvaXb7h(sA{3|C z($MpCXa%M5{OEnoO%bTgm_>Z-0D@1?t07J;`Bm*Ua2LAOc*gZHFU1c)@=ir1|Mn0V ze;JvY_eKlW-YfX;H~Rf&@}RqUQDy_v)-A-1nxs1$o_CI5{55s}+bUR`mg zAX2aE5EaJs^cx3L3&{HL_o-m4su^=8*O8zlM?z`p6Y(i};cT`YYmY_7J98%&5Dfoy zQtN*P-Oktm0=zzg%P?I=Ow9K0lV&M`Hn-Kxy}uW|^J`l0d7er7T+~HP^D~c(kcO z#m2AiNutk$v?a_u?$7+qc;I&uxSCOO9qq{gk1pI;3D_s9(fyKv!|ej@kC2TJSdc3( z+)6OF5RAdL5A|h)Z9Tak_Uw>zJ^ka53=8I)F~G^^vGZeOdfxcuDY|etfGa(=6vL4Q z-;pBrKQk3L0LaangEX_klN8LUr^TX&fT$jTH`@!i$CU2(=_@M^Zde6fnsg1bD!e zzf%xLQO8fK+$czfHM~&Dgo$wR6ETJ`pNaND`LRM=(%&P@i8Rezx45ojx`qFuRwQ4vyph*sEzh;lv_xFlhIdoIoI4wdAPp@mG8x>)HXoQ3|~g zWQzx8S(BNx)c|OrFG~F=gP-&tpWN(sB2Q_%B=V#Cdx)%K?BQlkTv@qI>freYUj)&= z`A8bSjtkaJXzF6kW-iuN*Jba(t@TW~{}o@_lRsQYC|ug_eC1=kexzj%)pP}NI|vp^ zzq<<07C$i16y?a={Y33KkNh;kX71M1&>RJXx{qU1kAxHj^ufiukT975&-%M(Q`ktk zODH~u`rRv85S4uaXZurSwiF7Yws3s_X!le|KWe7|A^#uO%%$-{M~FI$mym@g0clRJ z*R9v_Fbayn1;5&@)gyTqDIuMU|H~KtKNMvH`!8X)^POVG9bR8zJ1l%R5_>_P>wf@> zLRb`r3oemDOACqZ1?T8--2=lm!;nq2k)nulsyL;Lw5!JUv`f3Uz*(a^y?J+I=Lcx{ zgX8?;u6Vrm4KhjY)$>(0^6@!$=9FPA{>(|lVBhPU6<+V=JxhXvnzn+28g z^SW!gjqsSxh$ME(`&!V&*v6Awdk`>{YL5Lxxyydw2e?#uY4qrt^4$&=-nj7SxK3-} zpd25UzDx6E6UH8y@9&jH5kwvB7oZ$gXYD58)Ee;l)xk`3E0n%1-oR`rhrXRYzl{}j z&i9A;xoBSD@LW3ZM-Hypyh_Yx?Gg5Pu>&Ya3PS=-)xrC|V)s}bL?+O7S%9&YBcF9B zu9k}v)RNf+O36@L#_Z(9;{1URV+kPpM~lEpk_CpyEQBF$)~s;x*VLav$2*pMYm`*eM>ury?V}!-yy1%O1ZEs~C1|6t`}+4c2?JiU+gS+2y4Wv(6e>V+E@HMvNkr zX%806={29=vg%ZtsGDn-FTf!^U!2uBTCoQ==gF}>#T~dm8^0?>;q-WNYCZYa-Q1QZ zwrPx1c6-HKe2Lp5S6|w|=$E3hxwW%{(_5b*+H5A5`$Vt%H8|dX@4(JIQc+k)ezF-% zfVr)yqfEB6SuJf`ob`MV4Cjejahb@bw$0{T=0i6QS*7@{8={$b4A5!cG(_tApVR1T zNJZ{cU`iVeJhf6b?%Hb&hxgKUmqBT1ChG=8?6U57c$2@T+}INP4SxEGhU!`_m;6hK zrPLCvK=e5*8(^iZt*z=}Jy4aQNPBr-wrG)Zm;ZFe>r?HbI4ss3;|8KywTd6+(l#`h z)Reb&wI~;(a_LW-0BCaS1iui!(1C&j|7?hSW#Ja_iH+Im%EsAu8T?fLuQfzR>b{jy1LW>Y9f zK7dhfZ2+Z9wW3G0Qr0{)k%>x>I`m26vU9-p|LPfNN+9b#)wC{f_0uTN=GA>vYIjL+AY1i;h)%>C<)*nNrp!rs) zUifn9odxA!e8PBFhdyxgU(5mK?{`OL?SxSx%WbdszI?7wcP!lS!%B#NRaHq9IZRa}%((AEbjri++v364q)4ICK; z-wAt6DwF-i5q9jF!VLy2BCu(GBzfS6SYVc=q-6^Dy&Gt1L94GwYwlFn7d*PEZgda= zuFSsa51~J|PTNpYVNXVb#Q;6`xKc zf(DtWZFl&a)~hpb!&|A$QQ8@e#6>F#JherfTs4oK{yMs|XUffvX%m+L+&Z$8P+${$ zgcY)b3;A1<`P98A-cK0fdx4ijjLXkF4seHkYbGJc7khWE&M3s9L0n)yhti3=5nIuxV;m0Vxy7m*<7#0kemK z43qltdR!TorRp0McfA!Lb`D1=-Qg|pJe~l?&O3P_-q1Fo{#~BJ>kc-pvND0Ta3u@H zUtB(s1f7*4`7R|FP5k9DmKy_Ok*)(m(6PQ1vg;S9Sn1%`%T`iuqi>{&ygno0wJ5x1 zqyUw+^PkAy0zT`JC!D$8{ZKAo-(WXsXX*dXv>Vy}htli@AYsxNry%u}e~OE+v$3$S z2y=;ua)@#;i*s{|vv3J>uycsAaQjM|CZ?e9}N^KJ1ZCI|CT;cF0?DCDq)V^ zcppJ9k`~6o1^$3BH_r6b^ET6dMRc6S8^wj=2m(e3%bD|5B_YtteqYdyi^8xsVpE!m zU^g|U%5;F?Zu1H0c4N74nnw_Jv5WHH zN@(Tviph$liXji-C$^SmwyEZ8)=eYxp``Ppk^a4Ks}AtDp`h%N@db`5LO(cY=(_Y- zsfr>kiBR(el+M91%#qf3?8vh#r7_h!(!b{6A`8& z@Sr&qm1}%-X0V`Z7^+={uArxDVcpf1Zf;s-N5j*?u~R@s6rG!={$9#Q|FwM<+4sgGgZ*zkj^E&=Or7K#nS4V~#(@}6?23?8Ft+y4RxL-w;F7~Zt*$o<5U X@o5z^ki-bwoZMXSl$7EMzu^A|sbW|9 delta 25433 zcmV(zK<2-Wqz}`b53uDO0yQv~AwvTxlMo&Sf433;?!Q9)wn8nI??-_aXoB3KZBV3$ zkrchl2c5jOb!SPAB*(e_^_?NPyX13wQ;N^7Zf4dIrQFO=OQ=+{tLxdD>K}6^tKFR2>S?~<##YC>^&x!w_Pg+T ze?Mom+U-8X=EHikzMn5(*m56-%yEi1x(;8qbEd1^ezTl2m|+e5Y4xA^!dCTl=&)ID z7puo(`0=pcy_<6rmZ~>o{?papU>mRqkx~ar{}Q_1;79eihn3>;`}$_iIWC4%JVx4% zYg~CZX98&P{oYbVQ~E?zKjA{aCuWdOf6^Fa)0>6Rs`@oP%2|ldbOjt57$>`NG?QcRfit)13&J=!TGaYZ*MP~rERjbV;~Z8 zw%{NVQ6k`AVoxEGo`Moa-HdUfsSQ2<)osQQt(e4qnn>fxUj*^tlf&){4Y5pwC$XPH#fyHBZpEt9BN%dq}cW{jy388qWsr_plpwlBj6=+HzwGcf^D;93|^qlP%mKhLE#K?$^% zws;yKa8eWx?j%P22)Pb$O8aN9sO{51cf04IakJq>L zG1a~M0r3^CdNm{*l#eJHVo}d>zgIWK zD_7A=G~RUJ+EupzAhaF2cxV)hyahGL0ZqVM4Fpok5Q+wG(?Xyl*iHcwbG%y~@tceg z29NhCGz4gb-Em@fyb62y4AH&bIUIS$9bH>|(0~Pc0@xf@t-pvX&H_C6J+aU^j!t_W1@{ zR$rHIvH+#J9T;R-ci(b;FsjG21MDh=Yr6N8kF#t@!AnpV<@KZ*w;S|0V_VVa|vFC(w}eZ z>B7tr3zH^O59zH113P^)Xk|X5?&8J`>Mo&Qrn{KcBf2X*eSz*$gSv~c5!V)5S z!>Qe~3@_zK;&S+4U!=!|tq%xLLOz(I))bScyw0VN!qVkPp`znY|(Yk)9X<-^vImgfYM zTy?!`Vk2Q(Y~I&l`2EN5d$T+q8#NCMp&^RmVz|p2g4+;>BF;8s8a|Uo0eelLFb*7H zht-5pmXG>se*jh(QT=&90IBP)U!RFBbqoN4);$uveRB!Q<(7xj9if^TNd)W7^aYUR z)Q&i%;F^ja)3?{nF8p@bgn(F<2nY;o0-E7b6VFs3o(U~YJTqP40bn}H#A^Kz7KwxF zpC5fBF+BACN6SPM7R?BF{ef-|`fp;ybGbjR(->tGf7!H8^zZ?1V7G_6*t)&$VUu2m z!*O44Z;yAwq184@47{gsUU1e@2i^ld5%4Pp3pim}f3JNh%~o`*TXDksGK^>tH_5<_ zr6MrpFNee92HhfO8sE!*^G!OeWN@W1l><^@05)V3zn-FoGeHbUS~kjic0j-?oJt52 zuZ}23f7t8=9d^9K@blC95D8yi$L9eFZZ;po&l;5F0RdIA6+2naCis&59=fEmBijb_0h6LT!!2Y?a0J$7BL$rHKx#$x$6;Ii!+;Ujrutp;h@BwZ ze|Kz3@U0;NIxPy3&OwfGV~BAg-^nHLL^e7Ac+|UsnHFxt1+cnPGN0%z6=DEqsc}gA zddwV5%7HMNIMb76pL&AbT-QLB@dsYFl95{4()OeT_0s3l7u(*rgCi2(!lVw44)A7? ze?_3FD#h3w;jkM^ggf#0dja~~{N^qa)8%2zq{B>q7*)k#S&-o3o2!eTFBo@cr!ji+?t`%G9}o4^Y&4CLCZ{8FL)( zr-{uS#P_LNl6#1g@~MO+lB)i#YXD(qf6`Gyeppq3%d6fGes%^mRTe-Nm5p z#H0%~`9ObXBm*6az*f>zXc3-!bbm8$MjfHDH~kNj>IsMvs<)e>`_-vt0bEo0i1#Iq z^$$0F@_v#q&{*5k5lxQv!;e@sUy zMVPYvqfaksZf<**v=@Y-<3X4S21zRj0~IsQpo7nB1kRWsK-mr8pvonYI)OC{KIcPu!f%=YJ-~wzZvsMecd^(!c<-6--gV; z3YmY`iM}x1nTiY@i>Lx&Z$69ee*^K@+M+R-NrB$=jo>ft{YkH{8y+~GFab3?bAbu_ z<@Q6g5|$?A0!3}W6rrj&!T*5S$`gc?2%G2OUzIb-Av(i{v&r9-#-T;f-q=}}EBiAi zi1;&&LiL7?(EI+>nlTp*kOuWH^q4gh%7;{QYnErrU@}P^^wb2DY}nwwe{7eH?wxP? zP-f`+WcO)AuxBBM`SKDv^5ER*@ek{s_R4SpzogE^{xV#cC%kxo_3uJN#_L{az71Y> zjknVU51a;lWoZ|sy4f#tC&6ou#%G5PyNBaClnQOa(9Y*}*)8`E-vRJMKfmwU3#o_# znB(bwSgt;R_6T)Lr|Cu^e;7el_`X-(wH2xtQa}&gH=l$QeCrOK#+x`WGdtxrLzyS=G)&dfKbtkwN*cnTE`=d+c93%C)SD$G1JE>+>^hS^CO;o!d{<6q5%!zwNy$O7Ly62TyPLMVu5eTzhfM`uJN z0r5}(iperxf5vuA`NiOaNHy$TbCe>)3~et%a^c#n0HyW~AlE0XR!I!>W)5kyL2R8}JTe%=-5`k2Hs*9DSkUUJUQT(?{x z*1dfZa9=rg;^>eMAf-Qs|6?COJ4hASGi6T%ynHt;p+IKRt%ub2O|}b=MFbQbe`p?pp3wg zb7xs$h9v?3+J(>};3X#n^~>#9yjL}BVp+t z(=s3BW2~Ad#Yj99Bf%CF*wqk9_8o$kMq4kf_MKPpdC0_h=&eE~4qMYSm&7!ef6yWi zfMYMrWrc6?)!PsrNaN4palCClAgB7*5W{ev84z`neXljL6SEur&D z{Kj{G%G8$-bH-}`-U0c2S%}g5V9yV74uFESk$E4j zHce_$=YR?x1U~>2(9e%S8M!7=i3lJ#0=oNqg=D51+%>?7W7EEj-$umC;S-DPqVqWMrZ@m+;aooTt4WG{WuNL% z6!YmeugYRcRffOlf24o!1mVDvbm~Lc)m=mGM4$>3v9s(;5Qix~moqW?kTIja9yjz@ zV!+e@X@d?o0~Bj>j!Z;gFsg`okWXMiFG`H>P3PKW09Z23&e#$F9;e`8IX5_$!Nmh7f1S2vR9kJdElhDQ6qiDv#odY*cXyWn0fLj@6nCc-cM8Sb zp;&P!PKaVUP%zDK_Ep6~v-$w_%aV1Tlt8-NqQ!7sqhCBVZCyWofU0mQ*Be^3{guRTE1(+LFN z0Q|uKs6rgAAV7PVUBc1H69TrfcKI6s073yk2Y{=CldG8>7-|i&0Ju9sYyoDT{~sVZ z2Xj_tfCSLq3<9>W0x<)W#8_cSVs>_bzerF31Ox>^+&~tre+e8c!4@C~7ckHchHU|G zf;c)sz#tbO#1r7+fA}w4Sb!F*1}i{DMO#W;SxHJ+6QC}op{Xt>p(!N^P?wXD)zpCb zXj+4z0H~v-i#rek0=U4GSpv;Lf1oW~&0PR6Bka-*MhnXy>|*`DF<1dwP!KZ=$->pi z4s8CnlmJHvzyb_4w{wKL!cbwFU93R>8Amq|#K9gW;14X+f7Q$e1Y>|D4io7D0h|Ac zgu;Mem4kv@0G5sr7$4Z-Z!8QMd0>F&YV(I`MPF7A%UKS310KGW_ zfSwcfQv!N2!}`F-%kU>PcWaOX0O<5LKQlX6oniU?LH+Nee^f&MWB_oq{A-j{k^GAe zb%lBT<%A(|fBpv-FFOa<9|;!Vf1&{NKo~0r5A072))TwG*`^;2>5ER~%E-kOI71Yb`T@*FzgbfbC$qbH=REb#YH*glP>@06I ze-6Q&#~)w^^Ssz`A(iRIfZBdaq>^x2Cy^%NOZvT{8s>k)hTYmov{NJ zq!!CI)TO+3DU$qSRG(3F+m{|T|3V>6f830>3yo}O=^xkNmcnQsewHEEcvw80*~Txl z+qCd89hCOA2JHs`pST(i?g6|O2D;2IXPvKK zyODy3>4!en6c31QSjq%Uc<6p5+3bi)Sn=Lxbs`NN@i>npkE-#n7RldCBgIw>f9g%2 zcfc@u1V+n|$1wfCI+q*@6AoRj3QZRS+5}2t1ADRJR9sm1wvtOyiB6Clyyi!wYICXC z1Y7ZRQ-E21gpJ9|aE;X28oi5YpJq>689EC+Btb0UA$H7Rx?azVR=Pf8P)k2PlJ4 zouH?sx5ku5sNK>yLvxkZdbR}PU_2f++}9W4KWSQUq+2X+ICvO~zUVwlW$@IB9qNwy zrG9r&m2b&!%>KerE#mQEd@jkalEB8D*MrGL>}FFAy>Gf<3MHFB3-fjBq*igS(<0KL zGl_lIpc>Mg=W4HhbL5U&f0x$1u2MfY-GX3>5b6tP8-;$-DDkgcc~1xZyS_L4BtY|(^kdPL$U8L1mEgd2Fc!uVZ>e2Bk~<00ddzun zVwcjH?&klTG>2-*!@E4&zh|@oE zOgO4@<$v!M&A$oI`JoioX#UO0sQ*4G&t4Q zeZUST3{;ld(IhPwe;gQXE(H_Uo2fvJdu$UbpIg+#{@V>g!P$C=qfmlD*w6d~2(F&S6=xXjuEA1?gwFc1gy; zhH3FQRk_c3G4Fsj_vb+yD!KxPtmdQStHwlaT#WRnwuKO9e{9JT%eS^&S_OpUa$`4X zsa?HahY}1@M?QL-^-KO>#;tWg5~7pOLyP)Fwamw0#c{|TWcUG_t)m9yV85p3S8X$R z9OiISC#-;I*Dae;rR+6gwA0OU6-vjSV?Gl5wbc$OyGpHvd@-_^UE#hqajj~?e*tq2 zE9T~Ku>I!*e=u7Vp}SL1n*qzsOY5QF-Ck z=%U6#N$v(6=V@~WI1-lce~c}sX==OfN|5TLC+UD$f1CJ6-dDv|J?)WngSrHnPKF(b zTwY)MRla-^DKew&`@kWc_o{!?rd47nWk&E4zYq^=9)dfsi8|-Qpi}5}Nhq*FqcQiI6OrJ$3Gg&LISI`pcl;N20uv>XuFX@#W$r5BU z1{6Lu&2~(fDF`h}t9ZG5Ydgo?_aQj*yY+$o;*b~bXq=Y?s-BrNtQJ`J-73WMDe^?pRCc<+DINXN*+$0q??YxNSNJ%kD z#H3k!kuSb??7tLco6v;L2t+M{=#oH!VyX`GryECz4+?ku;rQ5 z?}V%q&x&{p-ZG!LryToq?Y(xj7mUxGMCC`b<+4T`nv26e#7yIShluyv>Ibc{VA*?- ze*{@JBYxzs%#T0li_{F2Z@Zro7^5g?-`EF-k16*Ki)vWM z7(L@IS%!Bmtm9)v;mREYK23DXPxBMwz9oJEz9={5+QmxUZC!8o^Z(_7ebO9%`qt1= z$y!3CDbvZirUKj;USQ1@Y=UlaEunWre+bA9{UxE3{(^=0(Fm`}WSpf8$eP zikcEMGK`I2DS{*=a$e5tq*fhMf!L0bxCPJ$lcsMcx;2A$7#Na5JWD*kpLyjbxx(NT ziQLr6EUribwK3Q1DP3(#lBZrb*+hQ&()BW`qrB`ZL+6aWEXTVFFNE4qjAe_cz=P-K zqwn0K9!3{D!m>=ScUN$X(*X=xf4Um$NGy)|gs0uN=d33*4W-Hxdcg!EW)b3{v?!6uXGCu+mEYx^KGy+ zo_6q61-Y5T0ts@n`>Uk7W~ChVQwm9?ok%z&q7fhrABFmJj0tf8u?T9?agM zo}|k1=ukQ0ars%vRm>e(KmPKoN00M#_ID)2Tijf@su}cWH`*8FSYRdE-~bkr#OWw` z7CZl-qi|+UEwhLzp+}mK2seFk5&QVBMYApGlONT!E7cPoc!bC*3}0r}lKxDS_c;w$ z@nt|UdM#QKytAv{$|gT4e=QJjZmr{aGmwJP@z8{pBH~V@|K+UP0-$#TiDdt z!V1AZ$0OYPu-CpuqCtYrWSrkOm-J=twBD-`{{D|V@6cp4N=MJ|koD zl&o8T`-%oTWTAks&bR2~TjSQRG^5iw{gDUVPzl4x&&KRInG*ljJ8h5L`nxlg*fyRf7JVvdz1cC-b__p>E}2H zf$ol>Tmp07%9M{p5+T}^uLpQ#f6MN|7iMR+9tNZssRs_N)&(DBJe=kRTJUBzmzkbr!Kqya_A;{LdLq7 z^WwVZ_cICwf5PNfx}6FE$Z)LIbpPiiSNgA}*e=}7eAdNa`&lT2T>`F!+@DKvLnA9H zGQs<)S+lqET|q5kegkO}pZ(Em0u6@hSo&|7>4mwg_E}e%CHu=no)jZ-`hmE+Y*+s zpaCt!(D+er-#eC(a~Ae?(o)acTenuH7IfAm`}kDaIQfH{=T${sQ>-&O4&8;;kPpFC zH4oUme5M`KU_a=diLu@5Lep~8Ryn4N`a9Zhbj^Jf+K_Ay zG=oprrDYsqw6>KQE-dp3_Y%ICT%JEOuAOcB@z!)XQ49C#)0*E1LI$}_lCkYY zz2i)gFh|uZMjvxCLOA_G6_q5*+fWDO*KDS#>F?tmaY!L^#cUsDu`sU1Il4n)XwA1J z@N1p=-~VdVC2Pq-d}@xe-&Wz2(i$~4f9jO-XAlXy=^yBOF-~$R{a|l&lwi04wDckz zV&qQv;-o;^=1aIlWzIaeWY|I;9x22-%KWvW?W?v=b9sXlx*i^`84x49vUiTaWF=yT)mPsy%ws4s}cR&ea zP`xa6Lp~*6*dVc!0H-L{;Cq8nX)ek|#WUa=THC~6A<)S3Sb!tjegn_hEppQ_j(_ay z3+)aIYIpq%<@@>eue-9nr7=iSrLTN;vs$@xft=};a^SK(u_>L|t*YB`A z_^!cj)sgxOh~2KgzrxuP!&%kd?nG;$#ym>P$hCVl)N^qrs`+`y5IwvQjO;Kc)Nduw zRFfWE&W8sjK7&|@;CrICgs92d2b59xY+fLa7*F*_p(fwi*>`<$sgJz0e;-%Q(_2>y zKS`!ZMX~?*>RKvKc)5iumKo0jdGAiMOeYHK@7 zp>QWbEm6&)Po^3Tzt@)o7g0Ao*mCa+Jbx~3N9b-nb~vNR9H>zMjc8`IB1CC@kbnVw zlL_1Iu324)xCo*cwt^_Qe{96R*NDB5WO1S^R?P{tk>X;rUa}OyKeCF*OON6brBjch zg>u%@!uJb@HhiW@{Bc8z%8eg2&lO%8$`5j4`j~NsY|6D@Id`NlwoKT*itY0Bt1%5R zjOqcu6wldc)zOK2;y^`Y;fsG89v`juO2C}Mo97_wk)(JRlj0`8f4QWW#-!eI2YY~k zqP!uL)gbO+^>;%c>Cl-famQPRXFmPzpMi9gnWTg>_Q7#`CeAt!-RWo_gwzWntm-m`&A&>WxoFHswCr=Iy*>CQ@SRMdRqh@eI1&Ay`I+xYGJqGucbJq`1^f#sDH5u}5tF46As)DOw z!-3@pIqpwbe+o5-bhr%q+6N35TDZh6rEf@lc9)>40a^G@@29A3oj3J8^e)&VLdVhh z-Y5Vu{j7`GcH6V14y=XGG~P{k_0-QYG=f_tYonU7vrxc++yuPdR* z1E+{0SnONnu+Zd0}>ed=BX(Dsr=9&QsKRS`?d3mte zNo}gYxiF=|kj!9Gx}0F4O@vVy=0X3b0PGQhZH*a^^Ad_q9bBl2>dpg^p&_a+15`7I4l@^@3PI^f44c)AiUxGeD&*v6?f5e+TK*OS{V4oe#c8XvN>S~&0RwR{35y!iC z9W?Z7DKo5XR+6884u9A+a#dk5I8DnEJBaGgoJA?`4BeSB>A_KWm5}$FhbXf*`NM*` zNy>F9kw3}s2qo-Y7nDBY-$dW!g>sS%p!7yvNv663&Yg4&yt36#Tzf5(3fyw}e>S(@ zyPNRyIzK_Qe_PdA3`0;y)WdkX-;Y@ToI=5GyHiHrdk18&zY^Rr)N{DD<9G?XQkE;Qn!Wbr z>^zF)I(;bF4d>U!K=|0W!CeRy4VzZKW~fkYM0knWAbOr_)o^1hgQ{CETV|gKyc$Gh zt~h9y-VMb-@OY~@G(eX&7msax4sD|i-=um;ic@7AbUdeWg6nmM0ou$of7yx2IuOEY zyXoQl1{6h8{A!P(CQFsyRLK|e^H(`_$TgG zB%B&F6vmYhkN@iM1|=gnLi*^SZ&kkyRGrbD{E(-J_w9-BNtIDNe_K``TT$}ainF0b zUn^wIDtN-G9FG< z-L0vYgpJ~rCN>kte+xv6OZ&AF1JF=b%QuAP)cJj0%)0>#xAJ2i)|eYt`2Wt(P_PMhkZytWn1)BY35ca;A4FX&Q84?8m^ z#Gda}i&vYJsvdnoh)|_l&*WAD_?qa<2*=C()^fqoAKi z(r%%T8NAZ-LDgTg-({%~8!!R(WN=r;hveXRrM5DR}5WjJwv;~bs;IFOle zcgRwlf1pQXS4CgzPv$Tv@bGY*vNY%)`AKMz&WHwA?D;dJHsq^HWxd#1Z9c*G!^rD7 zaYdy(nNRca-^UKQ$~{P(T+E{f%G`btm4AZ*eCuAs7@{4752I=rUlI7d_*CMyHYlybUO?$sUZxyoI#UUqU68uoYBrET*I z&n^e>gJ;+##CHw+1xK>n@I1Yof)U~;r}5P)zFo?$x3SdC4NrPXTEVI^;tnX%DCfrS zf3eDx%eZA?nch58I`Ab_U%l^gnq01l@Ec(>*M4xVQpv>r@s=Z%phu4Kqw2edn-Yn{ z;^?weJVoirCe=L~{gy0}+11J|5qjw$->EM|y0n&5K?vNGO1hraNoCGO*ExX>_aJf- zDx?6;4W8Kvj*RugvCJUzSA#Sd_L9ide;b~Uj!8k1`ve5kR>OYO9j5d7gtKKlWa3U` zZ#`wzY7nD6z-PKHnUdFHmxLeO=py=@r%=UwukJ;OS41_gm5_kF`o(?XZwv7=wHeo& zeX`r-zMxj!J<;_q<1uU5(Ba+YYzn1cBt<5Yjy2WQMOtKYBq*8e(NQot6_~Gof9o>@ zBa{e!Mhsr(d%dzT9gTexaG?V?{5}D*FSX|qakn*oX|s(V$Bb?_??Uw6wJi&he2+@J?vvrZBH{G!PNnG)7Wb7@wtUMf9N%i+ zMc{2^nqIwU7Qf_11L{4^P`UOge^dDsp2O)malqGoIiH_hQL}!Y*WpO&qohr)L%pNH zI9L53mvn-*)or`T%SP3W1o!bpIDeMiuih+%p@599=U0!e(*>r`i1h*_qsRH_Pg50V zWtqByO+N}v%*Oq+Y83_I6rAvcmDW5qp^PTnOepR0w37&~R0p^ut|+c7t~_T#sWg}nDqJ-Rb+)Q+)xX5aZjcPv!r z10gyEZa+saY9h8tX`d5Pe-~fr)lhjVE8h<%I?nt~W+D&ciAWSTN$xfXL?-{BEzQdd zWDCI9xmU6tRd{EEG;oUMGxW-d@AXd}A1KxiQNy@3j{MnhjZMu_eraH7q5+B1uUWvw zc{B5MYjCTE=aVHV9Qti@%u$gCGZ;-ABTkoUIYAyj3KU;4p=zm}e*!OGjlFjj4Y@G9 z`>L=1Za0#ZFOg{=Bae8Br%G z3;DMf&mr}%TFV+s zikbTe0bOCEuCcOT-He%uVjA1~BE!diBzOc|IXz+BzKX%L_2&81gtVSYiBs_~|@z0Ioj3%PwC;MZ*CC8@DGhf}AnJc=n))$2$BBzSvw3vS18wTgi zE-jW%5q;sENUn(?vLufBZNI;wsj!HMq@$Cbf2Qie%d38`-PK#WQ&U~NXA(X>sR*lMcGtizn846i0ZO{ye7@5ixUso?>HKt6> z@%1dH&APY(QEN4wRAdqMg`Ch1qUr@A2Z0hq{2_V^BMClyO--Hoyk9fb>>9$6!qZh6z zOB~;;t*vz9MxSPN8WTPRUd&7}p`4c>nyP+%pq>uhreuT7I&P&xnu_O6VgSp3`{9CJ zRVk|yWJ8y_k1bx&+8Ti=*gtode=5S_##!PRe*qVuwkf$tDewY6gE?(QP?Uu|g!{sx zL!HBvO`y#&&lx{(`pY5avZJ}~o9Wp;)Y=pMI<^^(yH6}5i(hQ4d;`tVb-A2+71fm7NZg$19x+RPzf~f5VH23|W|c zwU%WSB22jBoaA$R)oSF-D>8l2(R?JmM;`1>vh3yw`0Wj#&+J}e^;hd~q`D)F(hAYb zJ5C25mR$mQJV)eSrQ%D=Qq>U?f1`+{JJ6vJ%U{p`wdE@Ze7agbI9(>JOt+arDeXaI z6`DPkZJOnOL>1l4&HMD;e*1_c`_Cjt|R(){{afqjO(s_BKueNI7-HhPLb)mg6Mn)#c7 zEjP4-nU|5Xg*f(#XDb5;`d_8j`sPp9)TK}Zb5IXEg2EcmKFjaze`lp7RUex6e(B~2 zN|56sgL;yMn0=_4B&Qx8j6DhaG$gxB$t_RxLJPCqk~*z}U<`@+!gN-261u z-fLBOq*0*R{D*(|^cR9+O{twzIe7oeYg;D+u9ws-kSsdN{`9u(;TKbvvJb1w4>Xg9 zi*)U8K9oo<7F27kTnGmQkef2VH4Lj9(JBR)A9DZnfA>tuK7pfc@y(BZcn^^u3)Jn~oYN@^2{7*W0+ zKeA@Vjvo@|rQUQ{xRn=(jFbY)gYsC&t^y*lQVd06b#b%5XW=^SX7)9szbd=f@$D+WGbZfr(XPKz=vYw4a(KIk~jn zQK{M?FRCEsP3*T)VDaq15?k6-TqNrGlI|_qf9dkln6@{uiXm|Iyw9w7jN3P}pWY2B zd}vTN4;4Ut+u+;rpqtz$RK1y;`j9YtpjdY`sYnV&ew9z?|1%tp6kBv>$;x%z8}>sj?Qok0^I{d(`hU?QVW3sus9ak8e~#PG`JN8 z?gWz9R2&2D9N_Iir^0`c2tY?m2PvVdYQ+F?EDD`wjbni*U_Y4+19Xf43pNSRK_GPj zW0Y?g+jAKKYkUE=202zM(iwpuJA1XkFvT1lw z>rWmun@Y9Ec|%M;-w9Y@fFJLKeEnAi&YMCF__GG;&7X;`AcaI`0qQ@f{tWM7;UH5M zG!hjAkjNhx6HVcO1V;)BPX>rMDii!Se&E|%s1zFLNM};Mbs2yg8U7L4Pp06#Xdsgb z=<9tCfi%LO)}eoHe>bjeX=ioV*-`WV&GviMZW^9WpwOT}>Kgz!1_Ku$fdG)uO& z4~~RnwLNfnFD4bo`~^lBe1jRk06GxBz~MnENM!v2>;8X$f0xsTSfNaBkoFVPK?2&O zZ)*!OKwmbF`ZE9}Q=v}&jzXX}g~n$7+!{xt9xQ-HP)Bupnj%l3_x@J|GC??YuX ze<#p0girv>OgNa($Nk6JrmDnFrW^7|MAe8{^w4lKz{)QIUru5g?v+Z91Ij}8aIvFU>mEk zH@0otZrC^tHfn6!&c?QF+jg_jM$P@NUhd0%n}>7W&NtsT^Ua)=%or~8yH010bPa~w z$Hui6KJ&r@&@hF#U+=E&d9aJ3%nv0(B>-q3**nmI!pdvYi%m0xwath zG=Oq*`IW>tKF^p0j|sY2i`}nNRe5iD*NV(E72997UYA;LBL8afXb5gaET%@WB4o_= z#(h)g@IY#k)^o=gbQt>Yl{jsxl(j{fWLt!}11Mhx*XO*)MUMqb;9UB?H?2$U>&ktV z`eN8K6N#Lh9Anu<^d#$O$3vNgTL*zq?QCp5%m`6etd}S%n!g%w!2*l7jF9nt)klD`3B6u$i}x#@&{+XidcN}eT919(<=6|xit%O>l~%ld** z&_I9I)^>lQ{h4R)Bks}wUS%h<0=E(g0sZ;g`!xljOz8(;10m*-)& z=;wB&)zq5?&za?{k4^CPwDnWO^a@eN59ty zEayRMr&;+Iwdrk@`nz4+ozZPEn6I+i)^DAi<5)*S6rYFvgq>ao?>`OvtTrqXtr>Gm zO)`FEmw&v)c#Zc|`ukn|%el#3(Fmyg)BBqZBlU7vP~_N~#E}OZ&M~9SWv2f6YKlre z+S4mo%BCuoSJvd3CtY)ooLi|cBZJt%eHIYRJ84=~w+;(dsb}AIwvDbg_lwz@8x(kW zR$BSJ_SJ|0M7MczRr$L6o;mKEWTWEVCwD*5`0Zx2(PY2lvU4(}?;h!|!w#rTb zCT6!+gsI&Qi`x9I<`AXIML7uCd=x|xTk@hmlTDAW38AE|uF?j?jbI+@X+o@zK2fi_ zPwDX7@ZlE}O|#4(XX&g3)BS5}Kj%kN(i*Y%;@Z-lOue8UM;0-fAb$+fvKNmVe*mkQ zydj!2d1Mp8Ih80VM&HQ`x)(y?zr||xFLoS1n1X+I6^-s^t&C*V6NB7|`MyH_DMBb* zXSQ^E=QLjBzf8`I7?9#9HVRdHTk1UxWf#%Ei=lH0-@hxzuCn4A0rq=AHfR-GQZp?1wO+6$m=FE^gKmIhE)LG5D#jAYO$PMHo4Bl zOnONkr@sHHmG-u#G(lF&za5=F2-u{j!;Lm$R_S#U8XjhUx>Q`U^Mh-5yc2&;SC)y3 zdW*LPoI>=<&#!(({e?1BdBkUFesVOhxek}JfNm_1{R3y4fbN!&#<~qJJH-Xl@5iZD zoV{wB0hGBt^_8DDE#9H439}-_7g(@y9g zq~(W`Ok&2$S?m__Wxp@{1Z|o?=_PGm=?;iW+oj#Ko{g&tXE<1yClZLSem%?C^;GU| z77D+vheIvKkuQrx*QnyFIF%-=lna`8Xo?oHI~zGqwA4Aw#Co*;Pq~6?7c}mV zklia4vN~HwR27~KY>lWdy-gf@IDt)mnhOaBu4a5IXA${i73|MJ4Z*nk@~ z8aZsuv~)7l&Vu&Q&EEgFy?D!wJ};}Rk~WB>hGU-R@Xcu%(bk^Fy@$!&q7eJt+1Lr; zT<$oN8bp8yeSRtVbLwp`fwA}~#D1%0ri)T+e)0f@#<@4)*YW;TmCYuZJ5e_ipY5jad zGUEUG47ZO?jp}VVE^az>p7v3`M8(!&f6VI*UHB#Zc;W6V6*MHpW9vTuM@LkchC9TX z?uovx1A0_iMEv8QH3!EJgc63&gp}rT=bM$gf;+B*5gzDl6T~7m#hP> zPik3@@XbjS_#OI4dg*p*>XVLf?W{6GEjQ%a&XyUSg#!q28A*r%6Uca&{AZ3vRO{RB zn{j4dQ0g7Qu_4ud0ht|gDAdB{$SxG8gGT+vlm{CN;0qK(RPM+h+%+7GeDhbGygFZ( zFaG_ueQdnBUb@W6F7v|o9VRspoiSi5`S27CK1_kP?P2HeDMaZ`^q}E--ZqS7x>5PO zR@!l;7Dg6LR^4^PQ;B(@Z2Clyno_!&@;TY+T#rxv`L6wxw%aOV@Z&h>b~Vct2dV8yVT@75(=5Rs0JN+W74X3n$o%K4O2W-qZ^Xc1qec9 z?d{gfO)K}hN=nKGilKpSu={D!ptx=bu&zbbI`%N4FoCj~BY25NytMj7KZs$bJqdzW zBK;{m`~+Kqc#M2!!VF;>9W(;PW*x^^EQ_ywSeaAK;fwIV!#=34A@cqA7GB9=H|hBh zZe>Sfc6JLb9JvRqOahhowMDNCdbjT^~&zDBp zzKHgh#Ru{ikFBZ@uTM79@Jx=F&*l=O=yxqZpxtPJ5bj`230zJa@0avS^yf=YoAo@cA8KpVJ155{*Cf?xR3x<|CnOIuTF_k?6x&%a5C@OL zXPH_M5toe*bI-Oz#`8Un?8_Rf3i^^O6O_K|foO+#M2j1vlVj3YD`d^Sg=XsanQ;`d zl&iuO(kC-ivx-xNOVC%b0<73Yv~bmV@aQ6GvmS8TdE~8RiXq7hMavq{8sB=jlRDtB za~{2MD+PkAMu-)4r9aM(WtKFV3FPBiAfmT~I~iuQl=e0OKg3yB)~p`qhiS1)@>AXq zkpC}bbCzu}7Tg0F+Os|ix!-|9cn7o5hr%qlho}W$JJ_pFNpewWp9qDs$TX*Sc>_&1 z{gHnmDqwcqscL>b!8E{`6QVMr)bKjngwg%`ZGuL*q*jrXI*&3C7%lTHg>#o@uN%Q} zE(oifPX4Hl6!9QR0q!2r;7Nyr$jmedZ_?PN69z?2_J$KoMc8TESw2 z?qOsiQhEIY={^i>wCS?J(s0eIH9Gv8Ap5*iX&E|& zkcp7V$T?zXX_ujKXHnIUr&j4Ul~*_lr%8057>W&#ZBi*!_=eEQw-Am?oOHm z;&!CFwey@u9h`Qpx2B5p`m-Ax16Q{)Sqf+vu$)dyz2UcyksP=>dp&Og4WiYY_PtEO zU`?{rJ74u8C5~a=by^CaBsf+1K#s7-X;ajQ2aI!+DzaR8a3U1ahmv%*QGYj{G$ERP z>>J0|fW9kiqYXZ~x-U)wlOfTb4BY^}8jWsJz0k<>CYg3gAIVKs4p`dGg#&yM#SLD3 zS8rtljoW9t-z*N(x>tT6a-1+yBDw@H2SqbRlNeaKJS7fqUX^jHiJdS8SK<9NG|>|B z2=!sj>RI~!m*@VzxIh6cW{MKt6w2!cbQ3-nr7KUCBN!^UiADV}&kNi;!+$g(4;O`r z?v`|Txd=PGkkr$o{*O%SCBH3CFUl(}Z|G*;dsrjspt*kym--1hHZ0Dgo8D~lHpU#>~MeP{SFy!rI>S!!W=C~IhA#%eYL}xa>J!q@u%&g-V#u$DQ4|kaqynPPLx$w z&?P#o$dhPGKZSrC&8n6FaIW)k_8mAllgs0FAH8c@l)+3ls z830U!!d2nKY%ke9-Va=ytJL`zHGkw_L`FQtgD8-8eR!1jic;3eXfPfscpBrf zNj9w^Pr(Y5y?bX)o0HSW3uhfI11`uH@27UH-xU<4^SWV)13Pg%Pu(bhFvIfaB@T*X zx|AR_u1JZiC5NZ90B^76RNaoX*4zLgzO&)j1PAC~5dn%?el6BDM<_20+aGP~q)*r( zS-T)VpJZfg#IjB@CL%+5Dwgtvy|s91cvXW! z>@D+uQyr0Or&s@_@tJN|C8e?3eN1*##V?xYHUkSXEf7k>TJ8otmpsVBkZpZSG3Yz4 z=LgCJcG?=>E1Bk9a&q(@g_#&QtJ?#1p*o7OUUaz5za0f!;3(L+|-P) zFi-L$*kn=Q&qZGSEf4~# zAX}>pNxC;cJyR7ubEouZZ_DYPA3`eovCW0{=ko@%pt1^X&O`} z=nzj1F^R79-N48CS%xz6717RgXETMb_`wNvr5T;mdF$&BsBZJPS;+ivXqx?o|2|bC zqp@$5qqW$*+s_STiL>Ub>ZM|~Z)q)z{wyO7c4o49=bVhm7r*a3^Z@)e)Ar6ubZB?%MHW zxKh=F0yU8Rl})kqcn50%6t9KmiMf?rpBCB*rhcX>Gdw?q4Gy$OaE!|OuQ72i&#HPt zb4`POeue`RU`7cMCjavupYOG{I^kbU1&S!wT<>lsM2$@*?M#CWv7OD=IByW{$)utJ zg_}=TZc~qsCBxO2tqie&!`JGrq%5(7P|}8>JeB}&-PDr_^e=D$SZhfmv$6$a4x<O&rWZ%Oq8L2 z39=FW=ZF>i(a7Uf!VJfwQ8z&Z0fJ>yQDm8$-JcE*zU%paDcUEF^l=&=ts)b?foXoW zGutNoRT*UF=@fHhLSbD$iJ%^0p;(rNMaX6Gm+?!BeH`c1O{C}a)b~;0Ikske{(~3R z+^;$ly5&(pGXXo&loSy!KC7s=>Vj6cakRiOd&ZdD3hvK45b9+N{ir=qZ#DcW^q8bA z`a6De`pDmoLblD7enucR)d7*fIIz>yfhB{5nyV}h^L{TKHcuFM_dM(S2|gE(Y+!$Dn226vqKe$8+KdE)i^+KFg$9wah7$uS4kgn!5sBMI)GwdXL@Qn`kI?3mV_ri%qJ3$siV z51ew?OSy0U+p7lIbj-F9P`K*jf7zL4vKsR+PX91U7za$y#NlyWTKw}2t(3mT6vs&3 zVKK2FC$2`d&0`?%VKYIfyjzpYJ`y?SMlZ&?BtK3zo=(5v=(I_FX5--#*^eulew9-% zF&OF1M%_hw5@P~HV7Hn2T_p9`L7G^E%-MeDS2ydta5{lDP_DxMY+k|0j*l3jDF1MK zw>a8DqA`*`d|rXn(vlc(r<2lt28BrdKouvYI7T=*>?Tz*YeNp=EglYocO35sVWsR0 z9g)>zy;ZOmv>N>C=yAva?kr%O9dHc63@c6T{|TF}w8+w!*Xo9QKv)%l0}GGZ6SGfmUZ>4!1>kLqAwJzC@iN;VMjAK+q7x)Q_EMZcKr@eK+MMCK61`ipoSueT_W61Y84%!&0wEJ+Y2q z@O-@Pl08Y?2dkkXZ!|gK0(Hzek@?)1NDX^?9hR&PF@T93wiw*deJ9==#ld*%!8-2Y zk2%l{l%p#x9P1aIqEJ>YCl>3s4~p&ZI&Lg1R-6SHis>O9qkyB&cQwE*FE#>&*ufs= zlE~vz<17+pX4%;Ew8-bvF72?PGqBCzer$OwW>4hP{!C5ern}T`GIJ?!&9Z~)NF?>E zxA%@gMPZnIw5TyaPxAzAHO0HiLW(TOOAAC+Qi+N4g0iOivpivSA*{P1K6L+UBP1JY z$RFU46Oo%obbg!)CZgNBv};xGFJpcw-le7(^`(3#x0ZFOOV}fc+ef-Bg*K!sy!JPG zd_At*0w{U-bz&cH-`jEPP{;*eFoq}$!EAC}=lnP-CS1|su<)f7T>|X6ONGTYd=I37y*4=BryqNO-Lg->EA2gz%O1o+Yuju8N;F;`?-YJ&8TJvi=Bs>y zquTjm*+)?QRP*c+OuG*jVWtsOhUJGFmAj=2#SB45jQsXZxA63{$V3P7-df~; z*9Q7`JQw+1Dr-3NTO3}T<4K%o3M?sLDtdIdRb#!seD2fkwOu^;|3b}jg=)va&gbr?EwaOT>4o>9X@ zGR-^<{o~2YgFiJhGJuiFg*){sVU*;7;=l2+>D8o}^hz>~UUGoeT#U-Ka2rdJcx{PD z@{(@itA85Y|DZ}ZZMh&6afEsjwov%Y#{!~5H@2t5AtBAIDcXn!_kyC?80Zx(r!XlZ z6=E`P!U>;(wo4Z^c#=#+Ys4*u=jCTQ- z2TI3l?4x0~Po3nweQP_9vprr2(^5!vM-b4>X1Kc2e^sp)`i9+Fj>jBQz>^yrm$Rf= zWXjLa$Bl2958ISQ3bJAj0r<9U(k2P{-5#zjgc68)wdqCO_35_d;clANjR-YPg37&U z@iR?l1P$K6$gLhuPNar)=>uh!3b{|V`)`F~d-vAtJbe{~2WHwE!F*p0_4HUUA}*G{ z*QrW!<2}Rt&Ff^^EraA>=0nQ!;9Ikx`6zXHhjhBPoe_rqpi3GNS4U}Toy~uS` zGDWCXrRiV~aTmk0wg|Sd$Y2XRz|ldX2iT3U*>ZWqCA=qFiJPj$i>vOZj|V@j^2Y+j zzXsgN*`qEe!xZrPFmE^KCi#qagXIFaH#iSOz1H)}#PJL5+U$}qPdK+6r%N}i*S9IH zLe+7-m%DWVsbeDib)yTAMOf3Ma1?Z}nGT`a7BAW&p3dx)GT+jR&QUw=v6{{_bC+s( z4m6-g(Eb>3^6G2B`oJe*R6KdE$#dB$uD{DAJ>i=vWu~IoEaC!>-DOG}=-nDoE*nrT zmo*KJZ(tIn4E`fgSJ_BGv2ZYVadoyZvHzdQ(X>UU9Ik(PuSoz68~B0CKk0FdgFc-(=z$%Pp~iS6ZPI*&=0wAib62wF zckJtj|5Z_3Rg%B17qU+jGeZcDOKYoJQ%wBAbM7o8dkcykg>tB8R62#fB&Emzqbb-? z7RTx3Z+1SI!QfBywm9IMW^I*M&IenJ36afvTxg~BHjnhgMx%bfkvFRVQF2bqZvhlR zC2uL^8)~OC6+KryjYX@7g65bpKeKS=o8g1Kuap1enD!ZD_Xldb5i75iMmFTmFF@eO zGjLaI-+{{V?ZpeN4iUV?ETV=4g7VW@K+u2^HQIl_YDI1ec=x-;=ESPyR%hcXtaDQ0 z^of>vh}<_x1o-7+M|FwHKs6v0r9Qfwm;ws&sPNj|?9n8oHzJb}OvoT7iplF5%38 zqXiauiO!29r|KIq*XGRW&UKXm^*7R-f&?GAwZg^ZZ^dv`f9(LB zq&I^ThJO-J%IGkCBO`9|&|}rb9Wl56*ak#;x+hQa9S~xS@X#{rI&;Q4&t)?YBulU8 zB>3e1$yCVb6u)2@=@Kl&Ej}4MLbJN{&6I3dl5EyJ8FX1(wkI?jv1rYq%p@EDTkd)j zb}fDvG6az4yf=*v$RpOxfWpl*rexk)(oQziUGrZTp8o`G96bVsBra$i6~vxCmUHf9 z!7KT8@TkM|5!vywg$qESjjNud9)8z+YoFLWg8H25xhl=NrG1p)t4-9O?0jkU@X!iq z-lB?lPyYzz@BUE)Slf)aKrIy@HsX!V+0eTFLs&$jqz2bmI0uC(NUBV^{%T=bDF!}o zO~-^eaY&~dTZV3~L#R#PAX*-;>8KNq!6o4>E{-feqvkD&W`fIOGCnO$a}Ea@5GjCs zi!XyKnND!zq4aC|9J@5DQ z^+ilNELd1nGyo0ZR!q59s@C5NeTw;GvXkv(vTKCrgo$EWA`2SrBGnFA-J4gxFoyBvHI1F$8r{ zoJBEteb?Ea>SAb%q6F-sSo{H&)|gsOKdEz6Q;qbmYEA3~ zS5Ik5Wx)`b{o*@|@r4DZ#so8D7j3eSC90PuD%_U2F>@y(NnINs@GN9(BT5bsOQ9OF zG6Fp*`ixk~-3&dAFe-$TJe%0)zAbXevF)c;dkBRY={4W0yrrfU>)aY?^@mk!A^4>r z{&PU|%SP}kMQE;v-PnQS>k1I64Cs3ARqpHQ-IL$7j;>59R|}EDW3p&X+Ee|XUW3riFrJ2y8M7YZe%gpwr6{{V0LuulL0 diff --git a/main.tex b/main.tex index 01e2103..a00e1ea 100644 --- a/main.tex +++ b/main.tex @@ -187,7 +187,7 @@ The principal sequence of partitions of $G$ is a piecewise linear concave curve \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. + Suppose that $P_2$ is not a refinement of $P_1$. We claim that the meet of $P_1$ and $P_2$ achieves a objective value at least no larger 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)$. Let $g(F)=c(E-F)+\lambda^*r(F)-\lambda^* n$. Then the claim is equivalent to the fact that for two optimal solutions $F_1,F_2$ to $L(\lambda^*)$, $g(F_1\cup F_2)\leq g(F_1)=g(F_2)\leq g(F_1\cap 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}