From 6612a1d920145ebfadf7ae136198be2e28c250ec Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Sun, 27 Apr 2025 12:02:52 +0800 Subject: [PATCH] ... --- main.pdf | Bin 261544 -> 261874 bytes main.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index 7178a3c9633844bdf9968bfc7e5666d71c267a0e..daa8cd3cfa225a65a16349e0eb66e6b71fb3818e 100644 GIT binary patch delta 14520 zcmajGQ*b6gxBZ>ui9NABv2B|Z+qN;8Bu{KkY}HbKdjaepP+3_O4Z3 zebZIHTD`mM4dwO&rEZNQ)p-hl0bpj~O1$Bq1!^a*OaAt|G7Lyd1vkx1YmbAux*RpO z?mA1ut>x>-&%Xg=BGvPdt+Jzl*n9lg&cG^WsOuI@ZJX-9rQp-&RWvj-u=enSsZ`Ud zbhVKM_0&4ld|qduX)Dh<ndPSMn9l!Q~>_^a+{yHvNT#PzlMP`NopLt3;+ z3|#8KJ$P{GGMp$Y=W66>Y!Yk{%B^pE;L_cCWj1a1JF0z(8nE`&G0lbXvGBaVxUz^| zM1lD-{VDho^>DdBbh&M<%rvhkjXpE2CSh$_>~^0xj0djvJJQ28p$^NwB9o!&K#3c1 z#^g*2XT#}vKyBmIHZ6AU%|UGTTbOG zSsE=Y@kF6@VBd=CTr7ZK>a^BGGdpISyB2g7E1&t`$0aFnuUvOO=Ts43x@p?9dp|H4miFb(0bSy1FT-ua|#35V%v(Um2HI`MR` zeC!R^+Tgm8oqDW*>wL{w|DYNTMqcTCzjD~K^8Ko76AN_8g$hXy{9U#_zmh=~6%1CM z9~2{Imd{^Yb=mBI5gPn7|E_O!00etH+h0vlT z;2`|IMlg(TpG3Uh@NE`?8trH872`KMtARly+U>HslFyyaExsN87O$k%)Ly4WB0cg- z>@Y8E?{7`PcvkKpqQ}w)tdxq`GSh(@V^_(&O1>xoG7D#(tg}$r%tTIO4YZKrMEhV% z_S(aVY++EG+r(!CbdppuKhRx35Q(E@**WMZ&TJvN`S?JD7w@bqGUjqgzU)zFZzD^e zkO-Iy%j4NyoG;^NJ=)hw>8%nh@`!V9x3xN{JNXd$WwJWdhnaf5-N5AY>@NX8XAlk+ z%90`6GVxl6OyQsmd6=oMegRmo_c0}YOj#n>cM~1qU3qwR>b0JtabVese=_8Q=M6j9 zkx|-yd9Cc6HNvj7QGxRdeeL>MC@h~IR~Ph06$dR>C-Z~zjxabo12P>LY)9hP;xC-* znY1s6Y5p6<{`fw>KJ+}Aoz0z(Z%8;<-Cw;UM0K;j&^O75ERueEORsL=1&eZ99(M9P zu)S6`&sT=WS4}WPHUJA)IO$)|@|d}M^QM=-(=Sb$X#?vdw^)k0Y9z%63on8E0nkb@fdSM{pdj8g0NNATc-1}LOvvr ztalgg5rbaI0e4zv>lKIQ7FRg^$_dDJO!Z4s7-U>POe?_1;?4=jyJo*h>I?C16)5l_ ze@yIVKtsg#tOgo#jP~em5`6ZPkP+}xY|D}fP*qR^IZ#E;1y!)Uv0vD?t?J=}2IyL9(z2+u;B_sOc2 z0vjr?n2!S7fzNh8RFwZKUCQ2Bdh2X)M*dp)EX};^bwY^mSo57!AMwZA-nrU#FHrTk z??*=D)Nr}V*5nPrgVD@Sh|tVJ;F<&IFn`sne1-NdZbPf-}-79!vNz& zs!3qij*Wj}&(fIEqLWy_oLR44Y=`R!XBYQDEQ%T$pqrR7fxSLxW7CPB(xin>d_l9XN(SZ9DxG(=#{LmMH@aUF^rX zSbkegiuTQId6ZzyPa2upl&q3n1$hsd{GA9Lg%BE2H;|!fuQHqJ7J0crn~gtO43wZP z!4=RbZ)+SQBVt-Pg4y-vJD0nrwVq{yu3WU5VYW~`C}$umR~2kUXThEtZXB7Ehp1sZ zm-oB8ht4SddSP$&URNY}P545CXN!USj)3KU(b%(#&6fu!g{)x}#v-QQ@!fbxCxz~W zsCTDxXpmmq-mSswr1g0c30g6Ou~Nt1we+V%`)Q23E)zHnf}#odO5Nwo!3H4r%?1o6 z7?nlvE95uF>ropGWu??saBm=wqEEbR`r7vBiLdTXygWokuziq@#8Vo2CqjVA>D1=+ ze=OO)m=sMbnP_7^rkR@w@41SMgT#J|02lt={8czZW~X5%J~1MUDLL-(Nj*G))1Vss${eL-G3I9Jx<#k4|R- zRM;B9Ef3CmsOb#e?(&H)2XJygI;93`Jcn<+fK{tXAJmiiLd#pIS+?7gSvDJYa$ML@ zRwK0wAuPc{Ea-$*j$W|I&)UIhBV#;C2&w?@-}HQk;oPI3CtaxiF^2`a!+hPaMkkM&-adtlVtK}1opS^B7Fvw0HP7L4Fx$Z{8hY0VoveNUT zAZH5960_4j{`%T;ol6EDY)nOnK7h?WiO4Zp0QwH8M0TY@7{e~4HC-sG^rybbh{h1U zi8jZ`bqw(zVo>Rng!~yWm;sL9azMHBe zFg*S{hQ3H})H6%2CmJ^EJOSH*%F%xEz>k8c#{hUT%BvP$(*iSRt#d{DUs?C_h=6#S zyUQMB8eQ=IdN|mT2pXwBd_=I6xeb?FKGah|FxrmUQqMOn7yT7LR)}N1T>Q6>MDJ{B z=Hu71?bkPg+-Vvb)Bv13nLyB~s0j+u3N+}{$K`N+Y0G2pVp9kho%W@YowfGb*(L|W zJ>)eree__=>O+aR!ef4S;Afybqgo(5bPx=OC7%~MwlrgwN9|CdiBD9YjdHx~jo8%b zn0giW$qVTy4>|)@PxD2+j^shfqxmtjyc^vDR*dPMKuI}IL+L$8?|y$~2dpky2au97 zz`#P+c)%ffa=T{Fl0l8&cT=!#(9TDnO7IdV`d|K>hj4$>sI_3k7M+BN^Nq6Ou&O%N z5F%ub9#Jdjz{#x&3t6sCx0gIGj9Hn5w?~0DonHvDeAcUSS@V|PC1^&d zOaIWwWHI6I8Y@*&>D~BOeDP;SIm!0lMg6dMj)oz@Q(S)|vHrf3WIad$%Z-iee)2nt zu^5U1{2w&j!+fK@r_&v-@4^K~l z^5vvJfE)saLJo3vF7j;z=9zU8A#%@mPO5%;gqrOElbG%?9d@o;pFeNAgqTKZ8m19dh5}`0jM(`~ zJb}L81!ZD1tGpN)ggg6$$_v*-dC5PB!Oc4K-I+v#UEam$w@m$nHj?SqP)r3Vo8Poc zR(g6-1<3t{6T-857S&6U5QxlW&`p%=Fkz&Q z{4&f(&(JfLT_dMZ(~BjGt;~t;xG90ROZ(cu?qaxY7}6hS=MVW$sr+fLS_GcZjg=#Yi7YwIIfrrEoLP7?r1P;hO zN)C@%NR7d>j|}zdqs2yh8uzI%l5G1I8+{3Y-w)MYi(W|3&1>WyyGF@?HN%nlR&NXt z1S8@LIh^Pdmp*qR4#_qsa{LvnVk32Xx>F~(;V9O{N-Y9fw!com-dXJ@OX#nYekxRI zwtmX_p;90~nK!{cH_HC&tsD&-k{HO`26+U@sT7Wy<=2H=vM&Dpyxx})$x{){djrj^ zNH_EkGW{nb(MnMvHadhiqI#zP7mI3FZ4Ud#vO4OjW1!zJUNXYbtf$>j%MjTgzKC0^ z%r!Zi&PE;2s5u8GFFP1reDIr`a6@@tY*=0?%p~2MU_f=FlSyiSBSi((czqx)<>%Y8 zm&vt9?_^qBrGA&~qlyg6Q}Jv6kny9K#eu7JPul{Lm=uQLLLO-rke)%9Ib_W1iFJxk5ODvF9_Lh?Hd9_Tg2LuSQt%cd@ovd%L?=r(rT9QlXQgaXp1r zwN#}EaUznYTW=A|gihG_q#CF-aOOD7>5d#G1HX-7MN;|vHEr)J19ra3r(5NObDpDo z2wHVXg)9jEwNWty_1NJ2Si&pH*%nH-c<_qdd|*ZxLJt%%`db`Y2!2XjNRqaBwz*DD z&)SuN-~@$K1$)PlM(HyB&JBPDvG_%Ddt)c4%Xe|_MWf!OQgnOYcLUX=6;9_#<#WtMzlH!mia3mu7Z; zB&B5O`~M<%BAAJftsUC}YuR?Mm!$IoQLZ(wXv*$2mfRh?iXqN8Hp0q7>( ze{Tcj!3D}0j|J@##@}3p?DE5MGpM_os=AAUD(dY{hC z^usc=p9;RreDLov2wto1Dx*|&W^h9fyG&@T%6iy+MGktS_JDcT*9t+$gT=9`xy&(s z`r62w(Fk!-mss%a%vJFilSq7MDMeR-3C^*5FAj@28P2%`St!<7C8g|k>!5sF{P*33 z7Iy&lCe|tc^rmD|Kl;XaQ=3TF1!8d=K#y5X$<#y(L}2)Fk69)dJX(*l>x7*9f#VlS zlWmM+Tpzdy1P-#=e-&h$8!GjkJ$(}XAhrs`BHYv9rE5zYBY>OL%255R8vF*&JpJY_ z(i@AY4t&DiivRi9zNrVyP(RSI)KI4i;Coo8*o{8R&c&UA;qTT;5#%&6BgWKzU=la( zWU-*SHt}6%d{@V&yvIddbY#U}H`BPvSk)8Riy=mc0$%H*TGqSO6UNqO@AO{uO9746TMZ8H9q+*f*d{)E$!ADJtGZ}qBNF!PeLGYa0tsgNGD$P zPQQ^Mh*xs*u)^I^(jJ-KH&gOKprr|wqE2P~+l6hSe2Hui_QZ6;7n-^e2^B=HnCdX8>CXg3wu%0*5pN@WFb!y}q~-+yFu++;>kk0vjTkai zsNmd<{Mz^c2sV~~(H=E$NN2+lp9>ARY}f~~B_8`8M&Jh~;-sK*gxm@tk`-o4I6y^b zD;3UAe#`6h;~vh&LBaZlv2V#;!JXoRJZ@CQr6)f$@Bh6WCe??7XMR2^D#=qWY-JXvXl7H#k-E?9pMWa1_Zx-|VKbueeE_wVnrss? zFK|T_l9fO#Ql1>aU5*9edk)1ceZNI?9p*t3{jZR7daFG6bQ`p9C9u-wvvgLq*bm8! zF$SGKhPr8in^Qs)>Nk=fPRfcECq5+?ai<64vna&+h|f{PF)UxUnagu}vZ^w7iR@H! z^u;vmhs5@GvtHyM9Vs@OoK!-a5rIp}oeoEnYb6GDbGzw}GK`$pJ^T)-D@}{@Sch5} zA?&#wZ>?6?9UHe*+1fqNKGO~Ok1bZXin^hR9<5fuo2+V)a`5+ABDvLE1CNuV3+oO3 zHuKK&ai>D|4mPDV&+*GW8ABllqAiCC8|B42!DdG;qFsSNx3j=bbFVqhgV6c*sj`8WkV|HAZ#crc;-3%6V%j>xO z(p~~o8M)}FO9- z6*{RUjHEOYp<8Vpkytd zco~?isQ6(S9`VOQ9>AFRCql3yphcq(FWG~>_sHos)Zx--A(F$&3_;4sd`AXGNPN*d zgB_%#^t1I} zR49wF1`9VJIi;}v`nd2^=c98HY2|>WZyaxI9O#f1Q^3nl#`?4$DFWxfl05@2B8{@d z7auz(X%qqDhs6EMtRi`BNhAuC<*{i)#uK(lc=?u8C07y8oI9EN7Ijmkrtlg8*;+An zAkQIVeKW59;L(GpS#0xrQMo>hpkpaSV5J^@+3lAL8=4QFaKp$2*iUsUn9;Z0NqGHm8kBlANeLFaCZZZ})iseYG@}e+jVXlZA+K{I3H#K}6 z0HCIbv(=uNh>tkFSouucaj>nCqFHZitgUlv4(tFN**6PwYrx zT^)$p#u0L3E7atuv{3_yhSy3iS*8$cOy< zJW=Zdvi@h0GpTIgfCF2vpUu((jb}$f$9!Km@!4VMGZW}9>U_vOc()W-H8*knVVD>3 zixqYFex~t;uItA7S&oNyy{%K){(dFXX>%39Lj3738lYvL#-}sSrO)&_QmoP08B$Re zFZo}u72mO2XLWijKE$;P-Jam`DB<-l5Sy~}SK8?xyL=w)|8Z7ecX|rd?DxSu2V^!(3%6O2^yHx^a`!4oOf3`R>}BET!mrTPv4gYzxDV9_NarC zdR{A1Ovka>d6}2bi^^9js4tk_!aK}6b#|D~42XxVZv;S|ACjh9R2mjvY@Qs^`3!X{d+`-b# zij{A4-c+`NhBRf+x79BI*32DATc{i7lOujhE8Jp3FEJOTQ^5 zeQV+!hi&4Wk}Xnp=SQa4+}K#Lo**MGeOof6#Mt+-Vs+&cxAfoK5oAXrE$iAHz^t$C ztGj!pH!8t?2&btV2iqy&s0}hT# zjAbm%mZ&Ge&m#QO!nuZiAC!eckx&o}7KPjko|Hp}1&8U6aKlW2!UEw+;y>i#L@ksK zpJtbi%4{6#&mcxO3*2G-hW#5%91Pqq95qjc^cxJ>)PeD6uqcWL^Vt0mjgt#_ZgwD( zqH+k(#sX$Qbm*^#o3bl{FKHT+FxVs8+28wG0D-srsbiDPwZ4S$A&I!qkayu5En=cQmcizG1d1egkBk%O>n5Ta(%klPX8)6(Zv z!2aN(k)7kZVbwtv*`IHNU1A4AOUrw4z7|?g;$xAnW0Lk+)0rI3^+NR)iy-O$nta z6NJgk9;FJ`zZeetjzdVLk)4^J+J~}YqyRv9If*1m+!%%_ztpYD4N3?2_oYvjyx6Na z@}Fu=*M5O%2#q!BoyhN0$+2s z!*pK*PeL*>FVKT*M$X+a#)z~QH~CF`tbcI5Cq5A_P8moHRjd-)T}k_mN?Pr-dkD;fFa;U-v^E?m`u zS>u%uwKb5TheQ=@kOE|H__M5p+eBy9`d~}Ub_N{!P94PDre@UNngfY|2<Q* zz!C&E48@RdEWI22 z{uxm^;yp6XyD14m#XsL>Bo~SB1lUqg4h`K0$xB}esfVzAUXvCOS?cAm9Lnk!tp5Zt ziU2{s)Gh}$oRwY_T}SF+)kp88vfM=H(9a$VO~fKqtM2okEmrb$w!ZtLi#6S8mFmdNE!y%Or5asZZj=gM8W!JRFHzk{!` zqb-()@@g-4T+VB>BVJ^*XcK}C4kGsELx4{Q>%9`Gv=`njCzzW^|!x|G8^OATd9R(Za^s56Td0u$YEe3i0Sg9@xY< zuc>fj$Y5|*#_#8?tv`uRh_|((m}jq@)otazI#sZoTVwu;0jjEmk9P4{pZ;DSP0PI>Q{2`Q%S*Xr>yoR9h}8Y?+|*dn04cy)EbMrYG6 zbyr(LciBTk)ev8rBgmOZC7+|D23!T1kKU@0J*-*cjaR;9QJT$xF(1i zW!t6Nc0U7mZSZ84=r*W|OCskFSnO!n(2o|FUG@^ z(A*~%A2Zus1vx<;aJ4PfC0jxbc} zsI{)J2?;;4Q2=dC>P|kuhq*3FDz?u>B}^2?d`0s#DV0#h;0|y4E2gD0iZqBs(fAC1< zH9wyZ+X1ESz}S8?Zx&*ET`V-o0(HcLceYsT%xlUHMN^t_*XG%c{_x@M11yzXx)27I zkJB#-&39}aoaNI0umT1+Gw2@!+{6AK3;YQJI3fKX3n(N2#8ALFK?!+)7R3Jp3EgS{ zHzEYre?g+G4G;#CdOiri1c~EL~mTc+O33RQ_hstevcp%c+y*3G8*l19z1~o)l$dW$T||f znC||YFjMsh=p_b9jPoMN178P^$7lX zqAMIYaFkH1)Ts?dIo%X?zMf|#QJ5hyNtTv=?%YZk#pD=+Q#B9Ci=tP21kL0oQr_zK%O zZr77;{+-{A^A(q)TdvD4+;f@W44pi2neNsT(91EaKXY-ZKimt~zMisK2iw<1JD`9i zz|}NUQsqn!`Lw*5In`Zrx6q-O+_K(%_(5S~iC|>ubw*Rj3gPNC-@%vyN5=kFEoZL5 znuIRKZ(C4{Af%IfD(B96$(Dn0&puB}ADTLjaICpglb>6hA3JN%6Epc1Q;X06>(%@& zFo|qCL6WSaJY>MOhKtk4xY5we_>JN62a_Dm9N#MKy{N>ygPo%j_T zCaNr*$;Q!}BLgWjPeN=xG>L;T0fZ1nAc-$wEh5&j(lgbj^9PS{PDGcN6nITGj)$^` z#S@-?p=N&C&jv${r}pVo!v;%%>=O^jq=VnkYo0;qyI=rAKyB^D>TZKi1uM?tH2E}a*@3`)dE2L33T1tQ$4 zj+Cz~r56b#Q66OL{rxjelQrlw=~ReI|5{H^g9_CZQD2wRN?4n??@l@wIc2{q%M$th zFRv?S(}tJwNO&4b;^0yPs%*7#bSVDds}{D>jHxR3qO(~sFck}`LJwXiQ@lGWjc|@I z0SGH;mybV9Ycx4`sYS(53)Bs!M0N6MeOx892(QAvz!PcK_Osgk+x#}A_=YUmqL+s&BDIb0%xdy5}kV zsq`rjO`w}mVmHJe53Ot_+Td81?m3aqojd5lygP^Hrm)_x2!r_n1h&~@&s^Y$R91cf zn#IMw$M&**Y5pEFOi}j7RV2;`0%+YhS!x05uj7%VbZpf+`3M*y zVA}S0qvq341TP_7V_h8M6;`QpV^`tA0Wu-3x^o0)xTE5=YPng+&wFsC*}Z z4MR97xVB`k+s2-XbvWd();q;h0sjqGIS0}3a>=)L@bIOfljQoTVcZbs3$Gw=MH^mltd?wPGYh8O)!}Mj%QAW3jgZ$O7^8Pa6DG05Q{}qR|~?-91@&R z?m9*>8Lh{WzG(tBtD?2+ z`uKB9a3vK4jQVLYH~8`KN8wR7ZfTY6outGlPDLgd_r}RjBbLsjfeIOVp6cLwx1nI{ z3G!*LBS+;W$4duEa-cD6FG@Lm=cbIdb~6C>Fnb|tTOkjeGj@#j7YR`$z?nKHDs{Kn zi#&Ev_r?Hmu$(&^X{tMEvFu%s;{$g&ip`nxU;eNQ)JxiJe2xYV)E+C;Sni7IMUG$1 zkGs%^?i%h!;Y84}V4<_%rkc=}1ZnfcLYguqWTrIk?CZTV`t{_f9lV@SD_RlFWu>P@ zy5jwk zys@FWmBuDQ13!g~Gk1EB55bQql8Q{pkc7%dYSv;45Rh4^{>K6b9LrnnL- z`@8@dukY_UY~4audF7oa`rDH!jE0t z--s^{!I9pN5@)TLgRpiF3kY&i4pV2jLdibYcZmyM!V@()9sq_kM~kTRcFq~k3%9wq zbS?Tv68O!Iclu4h>;2WwzR&6A+ovrDRUx6JCk!E#yEhl7Y}Dn4Vlp?;td5|^yOv8J zu@q8Ih~&C#hd%^w9}OvARNmjJ0MQGGp);wgtsXurk$Q$Y;Sy+s&y;P@5M~?0-&zzp zLgr)WKX59&mef2E`N5?7WT7$6gaqByaJ5V4kOMc3i35gyem*|;qK9W8PvN1kRdrxF z&<@|PM)mir*+DcTm_Nrq?5*T{SCWl^r5HEs>QaX>$oGDa3-FP2L}{*x{mrkb4_ zfmlilZ+ys!e5wI*N|ZF0AfK1G;xlNjjg(7eo(kyQm+jMg9})wUj)qH&9+WMDcbCo{ zktI#X11wT)|C?w%?z>XhHWsYZ9zzsK{DOmH?@f_`gASgXGs~XOcJP=HE_EJY4mpHl ze-TW~6FU%k0sg^)nc<+LMiVrjX&T^3>?A7-!IMgSB*U|3QGCZ7B?VMp_)5PYViqLR{3t=%DWnf7Y3Z|VN^`Tq9v;yB+}caO4% z-J0qY)Mpm}2;T^lZI=cTu}Ffy|5`?g0Df=#kkK}rx?!r-IOUzl*3=5Vms}MKbky99j@&+L30i2H6|8alg z6d>)NT&ia(CTZty1w%Vd_!e0Q>Bc-WU6Z;I2A@WipUS&aNe$qP-qk$lU=mj$_UgtS z1b#32o*n|f*F;@>n`}xPtT=n&&^~+EF32i0%F(-X9n5(?x+X9;g%2xJ+hZugADeO0 ztmu|v)29tF(AOl#aJkF)_s(X1J1S%vi(<{yrNu3toWc?DWV|#8TBc{gu53?KXVVUu zGW)!7^Ug^&d?}p)d6_GaDRr)JG6}2}*S-gKU(5kh8E$23T}mcQivM=1Ea~;oJ66bJ z+K%oc;cDBFny#BIIgw-M$#$j4>(LBkBqIca!1bESj*(XykUSWS0WBvE&An??TQoN- z^$G1K*f2kKCH1$Ga|057w;J!j|_k(8RcI)z*eRhDm!$xuuInimdUYT$%F2U$oN| zXWFZ&A3}e>b`-RJ7QO=ioiAH=R<8AwJg8Yl$2r zg=kU=vLXfu9qiH>A-Z@A1oRrgI>sf9CLu3Fa$+ttqJn8;e!tCAK{(r(F@sF2bxMUy~- zMrYe4c-NadIR#GM;&M39NL#)kTdaPv4jb}wk}mFYQLXLkqB&3cx1dkrlr{MA2`09d zCKFQWv9N}z;P)@fxsBzg;I=9T4a(9@3?|O=0K~ZR_XpeW0>p?v!W0-ERdS|Iz1G%QLx5eF5akkJ?l7U;hOdoT)9Z05Tw# zK0K4EwYND53(vo23QZDS77{iRmVZqZM@P4RO?DDy5*2tR83zl;e-+1nD{&HCehyYH zb{-xcQDzPfRuL|CF-cYqc5x97Q8qDg2{vX4aY2&*e~Uii|CbhUFta8qYtsM;=Vcrx zm2pOHj@qOYE-o&d_zE}{e&}FetJ@GoW<;ro$=FHLQ*fpz8Txxc+0nm2(09aZv5P_` zgp){%(^F{BW?ebn{kh8ddJ+0!<6oXQH|(pjA*ktdX9m?XNuG`kLjM*6=VV)wl4VAK z#?@7-2wbg;t9LKrVa5){)s+Kgz})TNn06J}lm)m(Kg37=KsdtH6{8g)To41Wi{fVF z;p*gJuH_M8^@?gi63)Oy8N*rm>a=<+>{)!z9#+vBW>qudiJ+~AaMSQ^N2A76`}g5R z^**$Mx!4BNZNSFJF+W#RSgNXV3syIOx%x7HsR53*4ocD(AFL8|?!3ANtLmS-| zGj-heUC<%Nuj!8MxH)e*5E-F{-l{RLE$|Rtht{fmTO-H;zMbYczs$MAS+_Xya-c@- zEQFDPTsCLyDfyHiDV7en_^W-jd|~@!imF&r>FJX;SwP`k#pd>YyGEt4RBB$9A%~JG zNk>57Xa2&W^{K|@?EK|KqhtEXNcvG?dTR1SWn4PfV!9`J`jheNn zW6&9L4d4CK-c(R*xZn1!Y47~g^2>%0+as}Rjm0Fqxr3Rjn~QmB*arX$frW*I6aM>m J2_;GR{|BLi(0Kp= delta 14149 zcmajEQ*b3*w6&dN$F`jgJGO1xwr%a$){Z;2ZQJSCcE=rc^u4F*Kj-$pd&aD>R@J&$ zW7eDxpC}dYC=Ht&;Oxn07yxco*3^3rI^a&~QCl+bSAR%4NZEq|dJl}m-%AJNb(H(F zabE4Ddh=C;!i8f>8eb=^r~B=yo`B@X09i#=WABD~m8T}AG+4Z3@%tJHChaN|?XG_E z;8}G}wNOu)IJUaFK8@yf&(D%7^;v{kozgHGN6pc#6b<|5quF2GfumbIlwoO+M?g!V z;vRiR$23%`RR!Jo&V`9FGVUyftiZ_e&U z8E2{8>wlDHU7(a=UGcm`vx5T5;AN|IW#xn_Z7G6eRTmr?&{vBTT$)2$KcFJPbuS+T z;vBjCnKd|X@K4W9h9CG-Ev|G^vVawNGS=}JDnf8rW#nOH&HfnH#VU#IZZcE-Xfi|2 ztbK4^nS|F70W?X&I&Tu^RjDp`XD5zJ$vV`%d+{nL0hsgxTtt(9(M~|csWVx1;~QZk z7Y|R|LNqFlF2!c56bFoWRyf-$OZ3wbxipxB6qJ1e_z$vGSf4JX4v7R z+&b60W1m|#9CuDk$D}vf&hi2x(#yL?Z7wT91S=E@J1h6;JF|A<(4~JCOgyQSrL;=( zIn=n4o}jk?e!ghVa!ji=y8>rpdwYc?);luf!dQyvhJARaoeIPlYp|B3B{~R={v3R+ z*4kcpkY9SPgX?~6+bI8>2t!^U*nV+5vi5mtFd!4@m=76}6_H7swXs(SmJkhEUKo@V zpN864N>90ibpO4OgH@E$<%x}$z|r603w|i_Wc<_~2!oSww`FF=umk)YWCf?kNWf1- zw?{ro=bS=v-H5UV$Bb@S;{w5QwwRhSV>zoYmwkNsb88>i6Y$G!%M|q6CbT7|$C`B@ z^up?jBDHMlp+qiO!pN;yFEADazz9|4bhGy~sJlmW|_P zsZ_8d#cTO34mDLAl@IJ9{uPnkwdNA)gS%LaK{-7f?ajZahK#jVRwP^AGtkU3C?o>r z%JO{mm>59!)kyfg?)F9v8F|EQyw_5d)Rl6G_VQ2_BB-ZP(RFC~ao(E`zAJ(l3v=ZZ zc7-x)`!A<`YhA)MFw|%2m)aNR{X&*+ zsC=K}yjQZ`&k$;1wV~dlfLLfm#l2s5jWG7^yJ5{y<9MYdgsN?uLCUaKGr8^Mfs$UW zjlNiDstjteMYcedtWBmj^a5t?fr5Du5B=(_dNVwy;6=+;&8^}bBt*6PoAE^rU-x-N z_$m>uV`t&?t(BXd)LrN7#S5`e?#tF}K=UUq8M)u+PAD-$l4=J^7;GRvw@T|4+lao^ z9@7=p<^l3}q#nD~7M{IGb2qX+(Z2|IZc5?&Kc=Npnd`u_x%Vh4?+{o&ag=B1xt|5| zThOyKkK_w~462VdUCtow*#OH%UuK+KrDCyjPR&Ek4+WmLPTs3U9geGa3xqQ~ajGEV zPh>ph7sR0M1aK|>g_5ja9%K^;N{gHd=<)HH9azw`EVTag<_;sbO zHeqJ{8hl{8Z4$7%hsS@2bclri$4#pPjdfU6dBP$xvJE%r|-H`oHQ zI&L86^+iWx+f~a(Js@U0vTR$PIUhb-62#%m=AvW7Z=&OFeC6{-l7)+<48)_CgA}7G zT?p@Y4%g)JrKYkk(ZHWmd*iO2#{SgsAIY)naZiY6TT4k|gs#|eX`^%A@2CB1OcO6* zWv5YjW$BaPyKu!1{;%zgXB|>C0+xI`>K+(5P*|ZAT9meS!=_oI$URcn&@t^Cv-`Qv*OHBV~``JAsJc7Uq?@zjq}}O(80bO zSarJL-a;m&@c^jQOZoklgj*0h@`QQvK+ z8bR(wuyQyC8+@`zA@k)YG=Y>Eez60xqhE2H0zxA1eCii|xJfO1RAfNjic;Aya#f1& z!u98=``P6EfG>h48d#{EzNd@G$Epxw5`>Kq*nQmr`_Ynf2!)_IYhHj)GSHfF(32(G zQ%nR#HP1rO19^04>9?LVHW+`bLMcUu-}aT>)m`a3mEF4Sb)MdtPDR(YJhTFtSA8z2wSBL#CCKUxB|A|S@RyW(Cnl9q8W^v&l3w3Y zJLdEl6HbzKF2JQXu~=|JsM>=Io8}r*8+9rWq~4ZyXhAqxguwi(SZ3J{~r3 z5d4G!`a{=A+6zU}HIk;|6o1ic7_9^kFdGeDqzURpBsb@5^4#$Tn8A4_8*rNC)E8pt zQlFdXNB)3*gJXG0@(=Nt@#e4YZ@Xk9yj-~RcNZM7^+kA)yXhEP4g)LXkDJzyQ?tHt z${Sa#(#O86GB=U`5vVo}lF1YZ+1@zclzG5pV`eA(JvqT7sUEN`?fs`e^D2)o-<)Ri zYXH8X7mgWQjb2=*SGwp2IzJXq6`JEsu8|Garf?3e3f{2j#N2rHe59CLk4Jtg(ofN? zG9nytO{-qsGMT=Iuu)(-wG1XwJM4aNjeD&=>c!h4+gr#vo=@Q4xYe!{L`X3_=Bg(q zgkOvJ(8(Pf17NdX8i!U5%t#c$slr5)8v9GatKtTF^B9?b)m$WExWa1@yCDWb>o(pY za(0AN(Y|+#0<8MoaiLTH4ajHeh6G1~2b)3N1Mi<)wMtS0))IlND8n=FE`11UpQ*HW z;_KxJ3l}JnPu<^!jL!QWSJp%QdEJmGNc0{1q)t;FQINbwSGogL60L%o z;deQuJHEG{6jC69swxRG2C_J16S*RYL*Jm)B1+_1S6v+099TW=UFBueN{FOYR&;;dZ zxOl`R!oiM5PfAVl5yMiEG~e{=)650K=-kvuz23K73{?SH!OqjC<3GPtdKFP|-9KBs zJ`ED)Ptq`>gkcxN2lYJ28evfW^yqmA>O2~NjJ%GnZ+{6&P5>(v6|Ww83`PODqWtIO zkEh&tf*8<$a;uh30(Dgu)QW^hPr~4^P?=kWC;?@#*bp)#(fe$G2 zNd=LfG_(2kKD2Qf@8Si|k=|T?|4>WYeR{DrBOZ*84)I`C$AbBLfUx>zJ=j&-o0RG9 zm{7>u+e_orfa*?!h&#y3jsIAO?AUCZkQxjQA(a3u|1?tGlzB8f%oU`imF1D-QIM56 z_FoYse(vxc!bYihsBiAPD<2W+zgxj};07CXUhPFe*Fsm!l9Ue#a!XdmVdA+`T@CtS ze3Y7SLkbb@2o+l#uLRC9g7J~24=`n*Td`{JKsS$aW9gHmpCLl=G`-NT^&vTI!onHK zxZVU>rzA3|7`YdT2_#a@t#`zo4RUqDMdJiNK`bQR!~ze-*k4U>uOJRFsvdF&JLbcd zWEdlO8zq$%+<8gz5VP~TmYqqz&zby_Z&%^snK*29we}tQ#}Nw!mKwHi&x@i41}z;P z`?7jXTA#Ro>5|U;tdrQh%8{cFq9|Q1NIe09{rrv+mqlXE%*gP?Q+($GmT%P8Q9os? zIvd+WluRxaE-i`V>ogKeZ5-UKl_*9xY=!)MZP3pDLo9ppB5m7$)K{ZmtJU^0XYgLp zh~gq92Ie%Qh0WpEP&&O#)D!5w5rA2cSeGNj&)L`C<8@YgP4_-SszF}?i6oh7)^!O) zK$W@E%r0*d_kMpG+~lipw1Wb##3J z8E^Ah$7~50BzS*}ALIp*D5IDMoc;%p|H@WwZuiE-O)DBhXe%E~wT2}pVozCrcdrwk zXwMu$?T}co(9{jnME}WpyOvGEczFAz@7y6dL%>q1!IFq+0bJ#z{bn{cnUtKX3VxN+ z=(nsvda#V0jesX}sz;V(6#XWmtmeZ~MM^uIePRzS8yK@=j;innY)lG-yc#9Y{AIHQ zSE6u&%#UW_Y&cs*CD7f8x6a{+ET@5Z9hFhLwDCKgQ1yvW8#D@2#M8yEZCH(;PK z)k*O~PJBf3NoD<9;-e|DzN8Jao+Ke>X=e`fGZeW+Z^s+Q=it|D4I1rVyB4E=@;Pnw za1vOXW)G8KN6kNc-t~hYT~U&N`XNpbe$-)!3jMp@(+(lXo(qCl5$RZAhOORc7a1lg zk1>1AXB?O3C1FAMVzX5HLY6V_hbl|o`aaR0Q`PO`6u*Nfc&Ht{)hi%p$M4dS%%(3G zU_4_{zI2F5NE8=4i}&p@j1c|-&0MVD0Ec>jyGnjJC&_z2vu<|C70oAbbRcIKQ}0;U)YU4`}ivb_o#>Cf+J-hhZ4yuq^w%wcHf zA(ib|s@2suW+Je1s-ZAXx9!l^sq<6PQ_N7A_&|Y;^ILXi7ydLug>3fQvGWUqD#LLD z&o2nZn!RsDJMvgTVKa8d7%GP?egW4GpNZv|i(&>Q3{}^<)#3x=QtCq`dQlEa&0yJy z2I?<~!LB}>?LBGfKCv9=2wE$}2yy+Wf0sjaqDV`E5BGCTFTI@uF+(-nxiL$5jI{1z zj`Cx>fEE|f4Ny$Yl)Af}0mMuNMl-SJz2qH_=OE$C7(4jC=XNkbVQ)cqeb%I{zOZg~ zExz(l7DHk9d;-7%5xaO3%fcBeL&E{Q(@!uDa6=e}uh=RCXZkSyJ6!Jir!zf+B$@)L zQK+3;-I9l|<-OL0VWaGc-sT#?a(}tpOZgFELMQSW;Xm&@u5{ql1-Q8t$L0p_DLU`@ z-{#%~e=!OFl{{9*s;w5Vq4tmWic(fE^|J>EoD9Ss71#ioQOLxgxt??Xh1od&c?h|) z)c3V_=Tch;Hwmw>c3e+xpb0puje8=Tul8`O8Vhi}6D$GOs5i0Ly$iVR=G+l;MnNT4_SM;AyUS%4#6fm)a0e@%$y>GQ(0jz{g8>K&}Qj7#(B94 z2_nL)`Z(2FOX~RQ+BOuLuW_x#Xs#+A$n&+=bQzo7okctY5F61q3vr5ybpG4y_xKjY z93v3(gka*VwmhioVlJExst8QoSf^@sHJUwz$9Dp5Yiox&6?4ayBHcJ6-XOv_Vsk!3 zYdMEdaiATvt+E(Oxiw~B^x~v=HX+7>5M6}{t;LH3tivQPd03?>j^=Le zt`?~sGKk=;{|&^N*JY?sQwvcsn$dLO01zxJ|4qkefTOy5PFvjQfiFgb?OOrbF@&zK z0GgPswwzt?cHzap2cAo$XC1P(?2Ww%swLWgz61B9qsccCiXC!~$%<&>BS<3IhMg+B zE!0)#Dr#yTr&5~0fw(<{3%;t1barA9*l}hxuDDBLiR02UKF16ZtmgpnA+f|4H*q8A(T031G^rEt zX)|0BES5Ci0ytqR+|=0^q##HkQ$!OMWHaj!RD_bSKCOgcPGeDUS%_m%PC76$W|*i^ zT=fyVB1YCtVTx_njS2rnQKGng*EaYi82ox}VBzR6W)LB^IrIZ6W-$pQbdqEb2sR2M z9$g$!9`V>7Q27IvWi||tTL%(QLN!oi&C)(%-K>U3N3lB{MplT@9>T&tm6;qK@2VQ? zoQ%iYSUI??pE5e|+b3m(^kYC)TbreUo_B^AH=@xy%S}B?1C}w7o(f$x9-56)ayM88 zXikU_ga$p1f;*_EW1t;5`Vofh&8&&ow5=Ive2A^eq8erxH4+7qp^xIx`6(z~gyU99 znn)NY_Aq<|!;dDIg?lu-8QqxM5QyHg8nw|&G+2KJ$Y{dlrBwM@mt}{?Liq=LWMi4U zA)Q~+Xd9p?*HmUbqJ226ov;{-Q?;%I9Nl`0?4;YRAYq)6;mDhB`Bdrk=lOR~919M- zFJ?IfUZ1q;GoGkUo=|t@PFT=_ntDHqd;QsWrQhq)v)e(bB)8%sS2Tw0x3ima0_!EC zY}c{+_6tCtZRAFqs&a;zMtyA8x9z-f3BL8~G^^{Jr_lKq#BLMESj~eL4Q?A?cP#e& z27Vg;0LgVz+UMGI-A9i>Z4O_13@CuWvBmObHuZU<$q zdt$LJ53yZ3ejBEfh?TC^xd6q(HJAHP=UyGYl}*Jn zgX{O}0#LiZrNtXz| z2Zu>=G}0+n73+4a{G`HL;FrcpO_y@6gtK}N6VoYZTE>S=Pcz_b?P1CN!#1!K8PU<% zQbC22s#;BuP-Gq*UY#}m?|kzH;U%&;0F>NogTKYT%wA{XzvR3WRu&CZSOR;A$98OS zE)FMP*tR~9oIa@F>ctaSw3M2_~y0CDP3?01s0l<08j z@vj^E!v?Y&5B$g-lHSB*d7-lI=51Gyu&3Ydb$kM^!S~<*{N(@&U!n#PC@c32g(;gz z0c!7hfzfzUs->!BqkdpsMssnh1VrwNq(xAD+LBjTbOKqmcp@*FIYE1XKOAe1(xz&ON7O>vSg zjyq-wVO*JVs*VGzlQ?8?Zer^S@V5~kyTU+_=6dV6tj+>I7yuaWk=6n?Z-Qqzg6`eP zqAN{PQHflzTyTJ&`&vn!&Fn8cRRoEWVLNI*3rjOqQhapA94E!h1BoHw&4$iMhkBjd zPRlpq?MpY!P0&hKxrHjff4gjMXgZ=An4y2hp8>go_zXsUEQEmm7vtZmLn3AWw02Vz zUZonM83uWpVgoQu{jfp%?|c(V!S-)eZz^#P_(I%97MaiEWQW5epP4BLowx*Y7V+5% zMA{}rG>c#6`G3_(`6-5FSGI$UF)oeq!HU|^Jft^)z;}a{NqF6c9ejKG=IQ3<;cjs; z2K<9`>^Fz;B5)3D*(>lOGC50vA2D5ooCJ^q!%2fk7#2YLuNg6MS}BHc5r8;DCduGr zR}p;Jn|J<5QGEdu`GVx9{7-5jaD#z_|ut zGE|gEIS+6}=f{ZZ{&`o2(FFi1OOQJpn2B>xCKf6@invm?b)*@lZSu^KeCcAGD8G`F z8eb-L2sR>08k+Z$mD>1;!^3+eRIDgozc?}ZjDUHqDGQ`TENz>|xMU$EKe1pvjoZVu zlmrv!r%v8R{l8AEdxA>q%Fd2#dHJxstNB#mL%oXf&z~gsMbx%YWg;GPdJLAQ;3q2C z;G@rnk4_F8+y0a;2IAjPo*OFOlpJ(7IWX-2tuANnD!GK{pH9ahI|p+}GA*||l} z;DEU06rTPY-Y0(G@37Dfvqnr-Y~E*Q_iu~-DuY_{3HFLTOWaKr-MECRfo7nM@T# zQoRIJRZfJ8_bw&aMA5MPHpM5mIUyZ-6#*Ve43e!qW^e^?3eojt|2$Al?Tdn0-tKGQ>t{WszNv-cSW|QIRAXzz6k(Tf2 zG-vqkAoS`xx`vi&cxsG@FF8S|ljrJ&xSg9(xa0!9eP{yI9RTumEF`LyvmRlspg@+zAn_ZVQa8&bcG z!}LG~a!NO53Rwi=XFT4GEKSnzo$=80thpj(MV{dM<=NTq+R#Shy0#kZJGc^Ns7y}+ z<$fGzo)fdQ*DR;p{mV9=yqA4+;ss_O3(*TR)aW@i8>S7QND__;#zJSv1Q`#E|)@7G;dnzViffk&t-CPjROApS`PHqPnf)(H*WhVWfll=VfO!5|vR_@j;q}&`l|0`HY zSy;JP|5ve*GXF1-g2>zf^uV+?e4!tBF{3a)Jw7&5vnOXVT`D;y0!()$bZ7a`}1} z*gNy-n}2x|6e@Pu4gBGkK?+%ffSM*wsb)P88tj@^Ae|YSL}(!0hblE<1`Cw=S@Cmf ze^4Gh9YTH*Q-gv+iflyK1pIJBm<)e?9t$nFlClBEC5SfM7P`XES{)(#%~3;cAS8k-pYtt(2zXr{=GcJ zm=X)jE+QI=_pm&pSeSNT;(Zb=BGL5iCnR#{Lq*ZATB$6!I(-w^cm>!PdldMOG4Y%vH1L?#AZIjuz&b?X z<&;h3zzE!7VH}n_Rs$H-?w##lzwli|T#*;4@bAkg5<1K<5pZUN6I1$r$41=;Ar>kf z*w{f4_$<*vRT|8OhXUZo!Tnj~zEI=jpa?1SI8Bhbts^o$gZyB=z;fo^8jFM|Sy(~! zH_qcfP$rVuOBgB3i2C&vHgjzsoWlH!u!V05U#((r>+RUi>5U7Z{ZpMg(2{0wq`4;j zlWD?FOwnv3v+gy}&wc2r-kjtktMfZu&&a+Wkz2Q2r>`;0`(kR+ z(ZxIIi@e+9Zv?O~#Gqq#KN1&2gv7!9;Q9d?RT_goGHYF)FZ}i)$_S{xCW%S$PCsTq z(>mdOpnJ!J`ldD++NoEc-wyRS_^I4^x&;EE&AlN-^gg7MI z3$Jxn6|a2_&3}5)wV`N}aBnATZI6s#6ue`#U32FA(?wPD%ae5 zTkj=5+L}UOf50ek!_g1Dcd=x{xOFDMzo~2sB?1f-EK4XbqRaB&*eh9lGxJE1e2H8C zd$Sp}(3OIqya&1Ngvxv>!i=i^b$(}UF@?$1&~f{e z6e!nIqGs@>yAx9EG_ApwYFTODORWB3TgkFzwAocm&c1qJ@%=}+`DXD+&0@#Ls~dZF z%bb#9rA)S?5z43-FQTR0uM>kOILxzgMV#B8!>Dkj^ICas)+<0NF6I{fh`YV1h`85R z=~?2J&zl}oE|;xSP{ zr7Wvl-K@}EOM?lu8Z~J+IXC}dW^h(%rB#DV8&vQ#xuB978zju%z zDeVEZwB-8yBZAvjMAJ{19W)fG4QNV6CWLwaO_MBbExL(6V?w+_-yNlKN&P%a3_y+U z0kxA7#n?fyLu<1s(F?LKW3`OLgr_p6*g$+Yw#(a_?twjaQrwILm!ZBc3YN+raT|BZ zn;BLam+whg2MXah_|U(ok3fzUCEN*&beD7As5#!3O!yZ>+2}v7WhVd4!(GY8`!%~G zBN8bD=I$d4AhC|%F#d!6D?R)&Dhr(Io~mxm$E0=MZ6S1EWS;v=>f}PCtfax((T%*= zmzQ$(m`nM)py9c!otLW@FS9-|A+=B7^^_H8r>wCHM|PZzcE{}59=~il=C7(9=xy~a zgf*M+lE*e(sXROfRX;1vY`K&nL z-M625xij)8MahZlS3b}Hqj33o!)U$~=6Z@zNV$4t>#LxSN1&Z(^s~UfkQA5SVa#C9 z*letu?vu$Cjf-F_TLS5n*aa+q_z29HFyW$ z2?284`48du0Z;(Y%ie!Tegv2UfKZP9^Fo~gmH^=Fpp8pFFbpRvD+f0_3&`XOK=^+m z>ZbaJ1Gb2|MeH7Y&`5Bl|KMRpycM~jnQBtExZl47IN??L?cGO4JQs) z0!Fz6+61SW9fe$#IQ1O%``$|~o+|Mr_H_4kBo0#Ku`}bmTmHLtI`900ylwiyuVvoU z&L;1HQrT!2(4=aS9*(#2pZlyShv-OFwaucf3HdX4Gepfr-5Z%=HV2-uOnK0{C_V@e zc>TK1rp8V0^f)s`D4=PvDkGRV^A7?+7sO+;e#BNT17XQ~^(Wt*&MkkLCl#ydICL6b z&zJwT<_?NDhX0Y(J_g1BH_4VYQGj*knKEklSXH(zDSZmZFH;47LGSR_w8E(~6FhyK ziwS?!R4JrR0+^3KnQE@6rfXzgL+^|L5Idcxd+PVK&jKkW&%=2J{GTNE%F@}EW5BEG zD?O4nRmgAG;1ra6+yij`;?e#P$fFx9)Ke|I4k#AYU@HED>fbz;em%5e%KW=&Y}Rt9 z#s0*{aN-aAu$W4${3;`_eJ|BqT}*>UyG%{wS^>-knSD?beYe1^_Z9ANrs`TK;6zVc zTfkb2E=~Z_1znA`{A6Qcyg;J|#z#E+g@>N?)(f++SxV5J1bTxJbLuaq zks7vkc`sz7t+zI=oERO7Dk#<)TT?=G9n@BWuv{{lwwrzsD^3Q95sPd6W*5d*msDv* zuxs!L{`z*UTk~#_5yaCo5GE=(>=9LSol>`u6P`y9Lkt=jNHqHDch;w## zh<|N?iY>cv$Q};fg}O_W%O8fQB5F)2K=lmRfmYch8_|a1#Z^SRMVS2z=os!F>z(38 z$rx{tAsYsDIpa|RW_w_~Cor>Gc*FpIvtmiL@x@7MJMi*Cbik~^fng8MLlK{XGmY3s z!aONgM@xTJ$;c=>j%;lCj+elPjM#M%SenL-N=w0ei#UZa*>fv? zdK~x2h@;=;GS*@CYLC>iS&D5v;lwAx-ZQ(}Ghh_1<4ZVo1T&Ch(cU>6F25$HpS`!p z_keO&sWNVdEv+t)r}v;JT9V?eup2CG+v_nh))YilbJRq2fl$fQ-P`4pK`FUWm+Mi2 zm-0o>hS+4n;WbPLgIE$1$?HbCr~HVebdW?*g~o@64zTj;0KvEusC-iPaTg2X2hM3i zv8K#>#u3sH`Co3CFC}|olZ~Y|OPX=RzqK)wla2}OPl?Q|4@`M+on>$hmZ;V*RH5FD z9G4(@pU{@OfMbG5axK+i#MY3I30s*!W*LZAzcNO23kx+ z6uDR0F&?HVwLwz*{xGYVg797eDhJdP4Rzv+tn!pI@Us$5R#E4>)!Pdrtsn8>ZrQL5 zQ7c<9Lzpg7V3=H1p56x$Lck+tdwfQXz)`eZarr#iSOHpGmmcowpfw5G7KpSr>Nmmt z@mbdpISDF(@-@aln~<&%w9 z9np3G7Q*eP6GL8Uhd8;0vo&iDzdk9aL0) zhsMkSnn+CbwlV%n&O(7#wCT6ezb*%@y}!Kud8$}@h}Tx0_~=7i%4dIQW2}PVjceoy zpeK$7b7L}%{B-%T8)bH{*@FXcp_;P{eVo@2s1jVcevEq@?d1LyM`h+hMt3jcKh%E! z#Nk(Pv^-SRkFIuFsZOzj(wlE+7)XP~7*HuW-)?Mukt5n=V#rn=fL?DNSiI_fg=q(u1fEY0V#j zht&6k=)SauVv=bK-K1pjhyQ#R;7!-V`=NmRkk1HkEyfs&zQIRpQ6;Zh969a>^q#?w z!>OsoD3M;yeOdY_V+0FfTQ`dVvb=|slw4i0mb)U&+XcsvpU83>qpm_Ck2(XuM-uQw zE%2pZ1hYcmO}C?!ug*dU)(8EWagw2UC8(S@E3c-^{qSupmz;X74jF-+v42tW1@?s2zZ=oMzP20=L5iYj{IzE`t{1$Fb#`(R z8!j$4#J}g&HiVGS0}-OjM7zU)V7zm*JWlQzzj?qr}rhd6?>JCArjiIQ!oh}5(4NTKi7zsIko zGiz+O2S^9nh2S;NH{7>(2FEg)TbM^N{47AdGJO(HpLJUCkB`IizfaXb5+mfxpNP1I z34Sp1zD`xs1lsY%a4e1jQtiCXBIC&2)UvdVmLvsjsX1cA@x^-?BAB_Sxg2tA%y71=@ ze7Q`1hgSIMp3$=(aLA?trFT4LdE)I7vUbDT@)z4-}+k@tI7M?Ytm5L|L z+q9{BcH;B)225Dj^%2jO7WcOdqzraeiE?)o4If^IFCss^2%H7KJOeoK98~!6zI-bY z6Cr-z9mF`kuK(dh2X^8e4%&0R;jh>-Tk+=sp&zvl5vy>;UhqVL-w=Nwb%GP@?0;5W z*?c+}t~~l`&Ym5*Y9ci#FYl2F=gw9?qRvRY5_Z=|9_4gq`V(n2Q?Vz5%XgtJZQOOC zH(xGQbmi^kni#mSo!Yk;HLMyhV@)a&zrSAOEG?xXk=yX^yyO`wEnQ8HU0vjThV(22 z4YO}{G+9=u%)POidc zKJ@h`d#T?GoDc$CjNiDJ-^;^dtZwqSE$uDEW`{}Xa{DkQ6JsuUx(F14B zdLB&OE^0%>O&sFQ9umW4t;f5g3g)(Szt=p~b00n+4<5=Q91#;|*q%d)BR_-=)hZK4 z^@*hEQ$UnPH%9kGkV&*=juT8qsi<6a+e@Lwt>TsIeY5;g%$>|i$QW|8V>)Rwp9r4@ z>-2J+v=COGg7vJHO>6g(Z-0n+v~)YUXR4^~W!Q{qy8H_m-mNk%Jw~-=l!C@`I$Wb| z`noC5%k(zSkx9)qgH}N$opoi|HC?rzuarP3C8O09YZy6-j%;?qf{)8iz11JA21Pmx zgl32YS?SX`(rVi)+A>d4)RBW+kwIpN*0)7iyevTaj1r}SGT8?rGjuWLr|3Qk9kdT_ zG%EcEK6pvy^N7AO>X~SX{;64AcD5#7TRaG~;E)>P?>ulB$$uTcgRn6>#?7+rNWZ5l zO?bJ}vf3578skIvMEFG(0b1`}IZ;ENPedo!dspoff8f|kXE!TV+(n>wB zYAd_{(9nR&36wmVVPW4jgKv8bppB1v>ydL7vrN_{~ zdF2(u?%5KQPV@KgV(O&NZAZk?KeAXWg^l80%IME0C?88szYEus6Bhm`%S4()D)Q3v z$*a5En|ce>fIRIZKilM2-WuxuooR&vRXDoym8gCRA(t&}9D7cvHQk>`rTzCAaQ1`Wp~ludl6`R_@N*puY!ylVMc)TOLO(T~I81J^|{!R#SmiaCh-mUOLr zuh7oopQ1)8=S9Jf;lBc^8)`S*AbcLt`;e}Ki*9oCy7Vee` z&)it3b*BV&dY`$~poC5vnY!}&hsH1v9=A}Fyf#dOS++JdEgZi?)B&av`*NSIRZ$iB zK^X-}IY`nvgq&Rrp(cW(0ef}O*E$@j0gW?wwPw~DWPmNIXjF`}sT0xVo@9L@+cm(@ z2X%hd;?*n75un&>_R~J}y1=2)Nb4H=y!ke`*BML}`(a6UTJSvBumd{485J2g2$sgs z;&~MvxM^1{wNFDBdgL5Zt-GRt8>*%pOokib#%x`9R-K(6!RCz3I3Ur1e8!-j;l4-N zf!KZ!5#HFu7&jbXNKDTdSbjQ_&1N^3%wu*Mm&K+(=gdQKl3T^5HOJ1gbgYAbVpt&; zzad?&T5GZSO|zmyKSOsy|11PlnbPxDSE*{}&eE`Lc>V9g9xR%t;n4M8tzI^F`B$mB zcz6X~Y8l%+pRP;a$5cA&uPyKIpPuQLnfXiF|6k7Q2kX5B<9%)B>)@==9#!BhHTG@= zg4scCpWDAV7ryc9f1liLR^&a10oXvLQmgOTuy3 \min_{c(F)\leq b} \frac{w(C\setminus F)}{b-c(F)}$. We have $\min w(C\setminus F)-\lambda^*(b-c(F))