From 951cc64d7bbdefe78be8af1eb38e231f18afde04 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Sat, 19 Apr 2025 14:20:32 +0800 Subject: [PATCH] typo --- main.pdf | Bin 257376 -> 257272 bytes main.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/main.pdf b/main.pdf index ae8106693a18587183712f70d85941e80b4dbd00..10bb5bd87c5735bf8269e2bed2b91ee55775cb99 100644 GIT binary patch delta 20851 zcmV(!K;^&S+7I~I50E7SFgBA>Fes5v3k|+e6AQ&RKu?mH+O^Y>XEuMneDwPljOrOP zgfk^)FW=4#pBXBNR(AICdiJVf^VcuG?Rv~!Ef}S=`hjx#?EbKLyK5SFX7dHFS@rkb zc01>$dYkkKBp9ic;z)wd7Mv4mjHdv--e9l0Iippx_Ctjcf1rxa7s6I=94Y_u-DbXE ztXj^Qt={jKSMQ(|>ysN~JRwPHYvB`}u^AVNSSn}Qa-uAoywxNp39oWO>H|r|GAfR=<;}0UH8eoRh`@Ab**AQQ%$^Zj|R< zoZ>z(!nh#@WR-B@wL@E{w(!U8s{893(B2W5uv!rypN#aTz@0J`Ka)GINzKpXj&nenQTgO~UQlIa5`$oO4?3=d4;qnBp7kTRB)3)9v=Dpv3Z?NM95L zp%I!mFKry&i3vm=$$!EU1)`Ru1=r`NBq203W-Oi5W8lZ&1cW)NyUjsQEr?Vi?Y&-Y za&u!fEKr@S)AvW_kL|z!037p9l7`fVGWVsE7EC7Y03h`^NAlG|(OAL>5vmgj5BfdN z>9o*`U%9U@vZQc^s#=Bd?&k`H zzp&oRxV!t{-+ym#J+=q`qxt#$-D=Kcb+tOQ4Q>KFfi2#U6K)U@7L6Vy6gN=O72>fg z#8vejlHBgrer7B1g=qC(oN9A@v3~@nl(*oE{t5^1Wt^~9k6P4K9(BPs9&Q`|uwSmj z(`xhn-Z@I53NY+x0Jt6|p}(6AUj5}!u()0TI)4%XyzIN64gjs10D#g8!l+1j zDFEQY5NZ|vQDCorBLIkqXB6x-K?G+5$cwu4HheNYImYRxFas8&#Bk<8~5zw15&;v#>^;^eu zfEuPdi#1b*5oUt>{$~UiBdb?VcbIEK0WjJp#EDAw;o!CJQ9c@T@aX$9TU#o^K$dSKdd%~<_4_mSYT-_;gsj)!Sp~LUr&%nku!xx)26gS=ofiI zGo=6>dFxBL^a1RyTZrN<@Eo>UvkG3rx;fl#ul@4_Hrejp?TH@~i~>N+f=MD}Fb;og zf`2m*hJEv)z-)~hQ^Xv!UUTYZycu#5;$>| z6q6re9?Q<#fmaWmNJ4_43{4M55gY+gK-gnVorL$1KoZrqgbF^38a|o3(DHd1o<_p$ zf97Q#8{=aaKrBIOHd}y6r7ig^Ll(M}xPM9Zup$t@&60-2ume1+0t_gR&yLv^MTCgj zpnL@e^2F-k1N^}Ags>&d9bO12FOQH;Of|3RtTuJEdV5-XKKe}hI}!x>rPr%?M8JeD6>Ym6 z3hdc>Tou00d6snz?xBg2MBn9rQoEez;@IkOo(i)^&o9mQZ~|_4hD^f5fK1V^^>*h? z)0x$|Q(9-yyd&nn?6-IKhZVl?*&6oHehwk+CpB{lYzPqbq4}<-Hq9pNr&S@rlLH4N z25fzX_uZkBEe9b14wFv@A_3EratBQTvy;FFGY3agW3D3})sy-M9XSFOZyOlKxT(Ns zF}o}bi;_wyu)>616hXIy{6(QMCBO?5pTL9tzK~)Nb~MG{&Qes#S4*6_2(h!rtOj;h1k3p_ZLbyH2sq30ungHa={-P7MWcHG}!^+(3 zX%fO3@LS{Amk#BGF1WtRoi1M}CKnlheo+dMcwP%Y!)m84)AT@1(*s%d?S(_0OZ5OV z1OP~qyU0t0I#V}z4=v!f8+)foC^1sE#^Eb%sdsG#?Q$DpQ5vshhzqBy~%q4HXk6i?QWXGzU*$3LfVr`3RaO*QHma@N~1F{UqnL`;bH@S zw%p~%O>{J1u&jp0+4C-Ot*fgo1Y`G`gLnCL^?sAl2^0a>ljaF2f1->dtL50a0n4u= zcsC1wz7OI5&%j`N3UMO6lJP3*qBDtwlDZdtjht4W<4$62qlx{$&*o01$F^f9q4rF7 z5(_72txkoLGAZX^gBIcYYUBT&c@#RW6t*q(0GEqtJL6orx+$l?V>!)M=>c*HXT6To zTzH!LDK$(k&MtPif0d}IBzS6ZRI5qGs0(Od2alvnV7*;Rh4x=nev5qRk4^ z{QayIXOtXIcPF9bAO`&OD9H@QE$Q**M+&;Ju;o_)$xCBye`iYHVm`Y~h3!GWtXelG zR?o$mUzhV91$u2Rdb=y<+s=7)vCkd$K%kz>gHbX;v(YQKyqW1M?jLQE+>~RzRfFok?KHWZmj69!jwI zPy#Xa%M{`FX`}=j% z&S$(DSW@ubtVtLhNAsMfm82-a$&r|-jz&i`$C-6SvQAoA;67eQkwj~e3{!M^WAcU* zgo&uz0O@o(oImC;^||&TpTisy%Aeo&jYC?Q%W3Tj zq?rU)R`RjRT!r$>ROUt!hDVDKD||WE#brj%a@&YI7!U+Unqq{bmKPaeS)#=U0ZP&^ zZ-ddLe}yO5w8!-BF}t2XBnMYtV?~@D-`6LE_*oOEQFNW=_G{3g3$?YNu@-_yJw;)) zf=G$?6*d+%z>r(HL}90iTlamWU(FLrbss>|%95HTn-wn*s7TG84rL8?gHXz+2wQ+X z7j{h8-C(J(Kc(CfgMuXmA`#8wqPJmM_kj@we|;DLf`EL)@NUo>1B9i2(Gfm0?W>m3J#nV7p6s$8G&~r034F>{gEw7Efhz- z36r}HDpXN!WWh$VBkcb>J)S>9g#8NqxqCR$3)r2kuA*z(-G%ex`Mbq}faH4C;GVaC z9hEqz>8-d-JUUgkl}wA>Ab^KRmZ8|d-?!QS2nbBr{{UaaOHqS54~IGr0f#yd0=GI3 z13VW4Gcq=pky8T{1u-!*Gc%XK`~oO{v}IVEZLlp2Ew06#26uONcTdp<2oNMdaEIbn z+_gY~7I$~oBE_XZDNv-vz2&5Rw|x8E-}!TrE4l9Ho|&~~X3abdG}?L`GS<$PU`1!B zI|mOZHwFWP91IL{hd4v!LGEBtfFcY6&~)|$@B(;5M7jAy1^D3y5x5^f7UJ%I<_`CD z0_gj=fB`&!KNtXQn6oVm40PJn?M zm>rH}?cw4GvHIIefHMqW4RNz_bawNAqrz);w*v!|oISxXs1v+^Kd^3p9+viCI0HO! zc#-Zfh}EA+H#iWyb8cXFfQ>T@&If`1jfEqFp>ALR$QA|$|AqL|0Ju?6Mi(H!%gM_t z#K9v1V76ibF!REH8XzBbxDLWXEPqn-vI9c_AeX=SSvtb|4A1Wm>VIGTQ>ELV3;@nH ze~t25@_*6YJm6k`IpIiuy#K)^#LdI^rvz)rKT!Z?5S*1q0RATf*TnHJxiHHgqW|qB z!~#e9AAX#F#C3;(tlXVpTuvaU2V4Yqc}Z?rAM%^eJbiwP&Q20MY^6A3T(Uz5Yb16L1!E{!GJ9g4yAXUkiU2u59DV*TG5>Zp0{^XoS<@Nj1akbh z^&bKms4aY;c;M}SfPelmK-?4|-e7BOh`W^?zy{<9pX9&y22g7-%nMw*xI}*|;L?^iGBT87`;YWx^*R2@=^r<35CrP} z_wB{~-*Nx(Hv6w<4G?@8y#XfN@cen;j_~h)p3MG5s{plsa<+y*ZQ)}GUq=wk`oAvz z3r$wm*&E=;!OJTM;NayGgttYAA0Q&k9q>P)tUO>axT1gO3trxTKHEUxodkou!B!Y6 zi_TW8%J>h}(YNmtm_4asbx%W<+M&q`Z3)cQc`K;T(-#+NrcmGH?<>!Z@6&Un@RS{6cg%~ zrJ3iwrUnMT3VlVfBFKR1DAEjiF?_JtF<7k6RWnb55$p6&8BR@weZDV1W!niPd}sqr zuDn2dH}$g~+abcevVJ{=GAVY*EUxqY09SCSxISKg4*hB~7kYNm7Q%WY6B zvUg(3W{{_SmF*WUQVM>K=&8cj-1!o~5PySzcp8^|_S_6gz0d<2TcI)l$51VWW8iBc zn~>TvFk1MJR?F^~*Pe*|Y&_-dgMc++{HG^v&sS;}u@s>)JzffwDY~?-a%6KX`6` zVW?0y7PAI19~(ctIqwL^^-nCVH3r-Ha;&3?1ULvCh_VX|Z7&qtY;Jf2Sj*lUJt^b} z)XN+Jr-Cvk+_hEPiktJ_^VCXt`+r(a3#ulv_Y(4EbCDU{>EgPKcV%eK{TAFKR~ zH278U=)$dFG~X{$l(vj!!xrR4fp*YzFJKl2Gza0dri+9Oqi*yozI(3Df4Rhe{QUqx zKwO_mU9T9Nr7x9<&VaXod+I=Z=Td0Q^wbc)H1YiIm+~hc6y4z;D+DACD-K&!Gf{{U z0Z8+o3oLkQ3srCT%U0+@j6Q25G+XuAnhigsy|Hz(S7iSRDHidxYk2O_`-Ll+_7nxh zF|%Hni~JEMjQEYF!k#{PrP#=SRO?3wX``im?z(F>*PHPuYG^p zj|KHy&GOlK7>1+CQ|1DxSy>Ks(|81nYC^`Zs7*A8`PV4u_e<#=fag3mRcog8h;7IV zQHCFK4tHLcf1;@jI4>6(G2|~AwWnb!f#$Uyr(ZRv8scGQ$9ArUyW+@yf3Tr<=rt%I zrc{}}$;#{<>=;Wn$(&5`J{y+*%#K$NMHXjLeTN?VgJwgR#g^xYKh)G8hpW2|40YPl z397XpJ&A{DPu;4S z30}oo#*V)^8tqz`0p&}7Kkx4mGh`v~td)-_dEOXz90M>E-hl-mg#rhHQTrz7o zQzR?rjHsowEOpOVs)?^DYWceNb)MsW4Zq;j z(nO@EuiTHZrXcV1QT7)y%)DjJu4F`p=Uqy$~Xz=J)rV%5=+dTMH4}H;Il&-TTZ|^!ph%2$_l|AIBF(TkRi7Ct7!$~Oc?VcH|aBTnU1OEUH|W7)>vvrI;XIxY0bfL zX+67mvnRZDo2Z`EZ9?o=Je3nb%1poNya*{CJt-pOqSBmiA3JlueY-0t_=h{r&(_3K zdQ%$>J2|bETo=2#DoArwi5*v%1%~yt+^b_^Kz_u34>_Z3L=MtlzAzKni7)bbxD;Av z1-l4^o!a^;av8}m6W6*_oxm`Zw<_K$wUS7KriLCZIDNxF%cQz^8q(6Wjg|S|-eK`gt)@FzTQJMy&5O023yU}aWx80Kot6+bNmcF0By3u<~OnGsEb%EO_A(dIa z$Y<&#o;nrQS7dJtv9_FEdN_PYpQCEAk4bsoiyPZrS<%7Lv*@JEBUt78ygmYR!#eiO z;nUOc1pkz`*@b|FG8@(Y<_q&|0E+=oZyT9^!?~FFwEym$^Cv^oN6nd6VMLRbRb2@& z25tk3DI9j`cPgiYAKZbrhi()dmk0a3EUhBQ`1?ZWzkuQ&im_7{h!wM|J;NivC)CmP zjebmI9K~CMEqgXe*RWbQ`B6ZeqRJFEx1M|g1Z_m@Gbt1QwFx4$i;ApA;ER5)edJ()(yJ@K7Y*axWNfkQ@E6 zOq%n$tfk68#P(oV>KdO*el z<28JN*oiL&d3F}M7*Dtt7RKyOHw(kQw8M&yeub4`XK=7jPiR5?OdP~O3*ki_NR&&y zalDE}*R6|c8o96W5{Go&*y{y#=U7DhrJ2q>rHOqJ;RBe51$0;GNtikSXAx1kQ`RQ! zSyrvy;792p7J15yYV|3-iRh7kb;SUjqt+Shnqc{W4YE`kb60FZ&uZItSe4{Y3I^#F zrzrYG`L7so!dFX#8v@IIp6guQ)In$FIv(+y;#ghInUB4hW{<}8$US(;M^d{H!cw2N ze?MPsv(KN?CpKPJ&&1`=VoG-4RN<}n!tCsU&17`Lv`8aT-276!T8w{xzgw(n_*j$x z747dHDbmOzPc-kPy@w`@C-UOciEE( zAVKalFrFam!1E;7xdP5XY7vsxM?ngEr=hy!<>{}1!HotMU*${tUx|N>RC@M9XV!#J zZ#$gi-U`&t&qu14$^$6EvTKVSWyZ6cQSc#CV}>_V$9_2#qH`Ig%|sr`D7x87OX)e z;S&2O+4+HF0(Q2)16jvlN4-71r(K)9GjDe8eSykSst*!#HPlXjlBGC8oB=STzU-V= zf&^LA1Je6>3mgZY%%TfXX7tkO%yDS1 z%2kRmRcvN#-|e$pHxjU;$;F%BA=7tSp&a*h-|in572ddl&BP+v78w37+> zYpwOXanJkAmTiH7$=Kl3z(zp0f>+kufD)FF?Yo-mr>TgkzIr-b)CA68)Lawlmx89B z+jvo|yJi%BRpxB;hkJZpL{F~>jhdtdzGm+U{L+B#Z$2SxC70TT@^K*S1n+01f3|+K z2+wA=7UDxB3u{hNNxd-Y#Fp;$MIj2BdSSwAiEKU^#4j&iKu>0}3hzG2y{#_aiK|RV zQ<7=soY*u$tueqA4_B`>)TD9;qug8P(4iliOrCNAg7 zt9wk>i#m&YIIc2?cL+w&x>$5_r9Tv`d+JZ5%~>l3d|7MLv(_W&m zJ3JPDHy5r=a2cg zGAA1JlGuCi9`~E&QW{Ej5yxBEHE;|b$&_-CygyO1>%8oPg3fLr*Yk)%-X%ku{3w&k zdt40D1|Q0cVAdPyu3S$b=!16sDqD6vt6PhIg)s}xE>FEavHR!Td?rI|FLt!F!hB{6 zSD=Oqy<}whSFDrX(DuIGT(q`as^>fNzr2+B@7#DlUfGX&~DqzO}?E> z7I6Ij!cN_ENTbO%O9PloXJQ@w?inI>P+fV8`^^=(U-eUmj8E%~3|0VqEXZJklJcC8(OZ<{teK=O}KH$wtiD zq(`Wkyc9VqlbV1+c4RSk2jNZuXRVdTOeQP+G3aY|);_>1wsh0qE9%-#nXBDlT+iQX z8|A@LcIv{sN4*<+GJfl{aLK<&iNtq*JaL}c`jPClWO}@@Ogs29MOLy(&lgK{6xF${ zE_ncNC$8UQVG=2LdcuYX4O{Uj%}bz%uHH|cR?*g9J#ERrU#%jZa>Wg`jsNB?Em!2o z?YjRUL~RwbKiTZq-lzpA!ldP)fJ#rUS2_pTB^0^x){mKOjZ(>=jwV8Xf<+dv zHg=AghexZ18WMeYv6MH8>|ySvGLNq_GKw@4)GloQ(xkjXM0Rm#Ijj@vRQQqQFgCsI zZEoBz;J2XFSy1#D7FDO7_>G;0&-Rd-P3Zfn3j9$Pq2ecMANj49ke?$g19$W|QKc(q z1^$aKN&Jr`b&ix-UW;`N$>E)U8r1Jj?egb@rFXby`IHge56@Xw^54&XzCtC>LRz2C zdhNJzKhct6urjBef+?7ur8T*~#{T%7}+)|Mjt?f`Q=bwIQ6=de2<^Ejj%G5?$RaKL)#p z0A?APBtcig(pA3%YxcQ+9D4ZI|2ooB;HV?rs#bQ%TM$x)x9Cx0q-;_Uo7D;#|&J z9rjYGy@DSsVXyGHn;bL1yx#s5GY7`0sFV@Ho zMBkq;eUxuQVl{vM4s=}VBYZauT^ar1c(#8^1WTQG|!3zC2}m>io$?rwy$YX2fAkL z665@w6Yq{15P>N>Iw7koC~HuB2Bn79G8@;u_9z`|apt&xIVV;UWYdtYcOSl{;0q?- zex*{!WNROIZ!hJvN1-Qu5t77PfHYbYFc?yLc9?w!8-A9|_lvRqbx3W{C$~7QDA`6< zG?51B$zzU9pJ%@$4YytUfk*>k-d`@zE;u851vk4|R|`*u(6iVYkgW;<1$@)H<|^J6 zU+Cio&<=5bCq(v(yq;~{gX#3MG#CS}d0V%u8Qax+V}uEslb?6_f95jmLHERQt9nVA zdB3lL4{96d)LJfn-o7m@9VbC4v@Jf?``uyhwZ~{V*=`r;P7pdyMDCNyNNJ=O?C?w! z%qR}C>Jg_571eZA-7&$dvbJP-7SoCLz(g>(I($NZ_%gf447|59+G824>m=@4rkNgq;yKP+K-8XY{OC0r64+T){H<~}}mTmqz6 z_$Y*bx4ClNnmtX>&o(5>D{tOO-8252vI!@WOo?K=wp}rOCo7+)G2B%A>Rc!M7Jnim(y7=QYuXflC+53IS8+wShLPEk^><>wLx<@?c~8isR^ z`mLXwsu7ZTkbz-j#g{ov zxV)!@Kz90S3PxajH>!LZ)*%O}V#F*Kg}&f=T8nxfUT%Niu`xt_mk^fSvqG31I2zu1 zuS9w*o~P$7nicj_kU`_M7c1v()o2Z;pT;bvN6XKG1?o(-65eFJ!{`LdW-?WO7}|1m zHD@Q2m4vMaOjSFG%%5EJC3Wq{Gghw7#G&S1cjHSonF;6pwaDtpvvfsLR{Q8ILp5LW z1nyx++IAI-^vmOOJr}|KF0ym~SCMHdBdIt;5@ivuQUDGv~T2yao}lQCgp6={$p^ik{3BJk$E_Vb{r<&}INF;1b~ zHXL0ULVm@%Q75K@&s}UbOEpxj8R)^J#J@fd=>)4R&oHEKHX3}*XJ%4GHOgIPpc(AR z)pIgc+u(#=T$9RqW)G`AA^YZZSs`zCp+Oa?JL93-Lau9R+?YyTwv%yxSR~2QcK|7* z2_2o;Uk=!DJBqR0a%4W7=6kFkI@05NV?BDSa-~I5o7yhlHhe=>DCb3bzwltSv$mOZ zJXg}>vXA)|R6oXVV2ai!5fVbzc5;P^m$HK+8KQuQJ8^!&@Y6^C{lOp;=`g1WeN=r* zUQQ`3^=K$(!3o?UWERXF{HRjPK z`zw9zA%JGZhzj~gW+LT)t-Q|%0MPCCvfHbs491mw8nmr1KEWHWrC-+746oF_g!E7j z$aw695`GCn;vajJhivAp@o{Bv&3GxcF7}fuSbCx8HG6Puk;N!~MbgGJR`Itc9Tw}@ z3k#&~BmN`H8OClZLBK4k=84`>`cmj!E(YI)wQA7}_Z?z%KKoLdXpKCY-_)Jaz3x>7So+jvsJ;={LVUbrYVTNs zi`%rQ&@&n0WW@4+8|xotpy~XKczeHl?>LQ^`ZHeK=;cVlq=` z&Jok@RzHs1(QFqHLqN`&eZk~olLe_Chk7`R5`j~HO-M91q7~o*W>G3>O#OWO)~=8< z5sf=z^JzOvSTRf~=DItY;s+?BpEo-ws>zWivJCiL^b?x$9!Oc${4>2kKBBS`yw^_jcPO3#o7Ir(1kqrWh*mA4PH~?)9=zvkUyk#-);7 zROaS?0H_M37ksmW&oqGAqxUiInScjZvn6Ik!8A7ZyFIC1HDqMFW4GB1!+Gw09OFz$ zL!ef5)+Mu#c|*7|x}m5%_gyi33K+j@KtJfv`W@@|Xauwz zJn(MCxn;P@(vosjz@g9U<-mE}&X^v1%E*&{_8AetRK|Srkvt2E)d^Fa0qNSgS7)@# zE#D@k9?wb#SbRQ(l{bGcFhL{Z@a4F2lP-`!=9`>z+p$Qc(;mmWVM^H4-0e3ZqoP7y zf8hA(Hh>U;vJ@iSvRay;%h5-p$t66pOWYTXf{fW^y@l_<%93sG}6NX=6f3y!j>`GcT-Q=g0`kaYDGixJ$N)C?pG%g zk&@FDXh=IN-@9Ci!iwwXWt#6M=8K_~A6;n%a}`q+h57UZ4*4r*RG7VNLxxHI5f#!q`9e?_MY$96&Xcf%CaIxn{K-gjVXcD4EmCkz zyq`iTPCvAjFh-8lE>w3w#%at?;@bxjhhn5LPKE5Ho)GTM4*eBf$ZO5yaFPM)J7QGI z51tZ-S$ilNJ*}bui|{S`Ysb2;bVN0md`f+Rc4)V=6pKlUKm9%4#Dva&g2KbEqhjW! zI}bg`>Ql0M?K0WK1S%b4y2XAf9ay2;OnKUoeqW!^lxlBEN{?Q*gf2FUIF7v1uod1+ z6encC7qVm_9!Sq}Dy8odXi0oGU_R4{2`X!NPJREwh2$^?x8yQYOYam)yFX(8YBq#N zgElat=am&@7)1-{`k;D$WW&*(MQ%EoaRNl_2%}bEm0M#%yo0QgPw852? z^LLwacbh)Uh&bH-vn@m8(EAL&ONyhLrx&VxO_ zX(pqK_*)y`1Mq&-U|pQ>R`*rr^2m9h--Z16xi_5YKcjdPk6jagre11!E#<(Sn^7FJ zjGClbnkjy#MM_YNd*E~?I5$3_vCWsOmqn00`<^tM6OZ_4y=YNswjeH{t#w}5+Lug_ z%)!FJbat@-b*c8!eKYlTlbhPBJU;k&Yy4h2G)&IB9;ITWQ}guWS@cvXC-Ym%pWh>Z zB*|IPtf3W_M>`9Doqaon3CfJC%-=C+NYukA)rl|6*b=1?utF%89mnfK(W(nA_wlIs zYqKfr^gHF_UpV0M_LB*CQxzDAtV~Mn&vVj6)LW9;`Li@S;7mun#+vf@UHkJ@xLuAP z;qNN_P08;gXI@J=*vP#7H8|r%uFr5p2!_XHB8qR-CM-37L=g7AsQcb3!V-GrwlH}+ zYGchugTDD^rtyYJzghI7C=rdq;1_ibr#1_6A^S-(NMO#R#Hw=>QdV%G1kth;+nhZ#=! zXNN!Kg3|ndu1n3oTbR?~e{Pw&Ek8M(DKhP#oLtjQJ?s5mz-RNegN^0g0`~-Zul#1> zJZRx%NtmA49`o3_h<3DZaGsh8eos0?Pxe7I`2E0-eh;a1G_h&`P8wMO3vv7J*M`2R z!6ne?TDNJVS8TulOujZ?Ot0ith7S2hz{2Ur%7mkT&LzkzlX7F(RJoa6O^pmH^PD!C z7|}g@C6P_>!lsEzLfk2N>k1x62Re`3Pq~9y78f|xGKB1yKO%Jrf}=GC^4iZrt(B!3 z#kbE+-@V+$i2sS9caKIO^#t}%C;VbsI7S@T;f#dobo=YX9}?FC?8rivXGf!rSFkIphkAa(h7KtOypgDz!mK>^&M>! zSGV>F@v7F7rLdTRGy^|JW(!B>%RPr^*42K?TD-b}(j!wnYisnsx!nvDF}U>^P969m z{sOhQk(Dw{>E(;|q=KT-mWj_}CSQJkIFhI5(7)<%SCh8GX&xxAB@&&pR=3VF;LUdA z6{zL2ubrq@Mqi%%co31`2Yv5r=wLPB>xwmJT>eGr?wNpln$6?h!;7%$cqK9ZpDUDA z)ikH&7!{%Bp?Nv=)B3!Q9$nbqQc-g#9#UiY=M-AKjTXxA1ozv5gnH7o+oDH*N|8KK zSVoEWIitfrQ1MITvryL$k|n0J8e$^rE*o9)=8ES|H-wYC@%%yM%p~4O+Z{fJ3K8Vu zq8ZMoZ@7W+7MGr}eHuPL+$AyTwq4De^)5wHV$d8Hf4JV9UZ6_zx;Thk7%`^3*t)+y z$8=9YDq{-A&@^3PZ??U*l0r;>#d9N9lYYpTJ^fvC;2SCwW=!*OK?ZNpnTYQ7NO@i$#B~VOrW^CcDd*4wH@A8B6Dri`FiPns}g0H3*@snuNKA? zPpoWnMbcRX7wyv*9W}aR5}}jy0nsWy>sT&x3Ar%^V2T!BVX9w5<)*!V#07tS-SCWd zo2sE@ttZGqcf9SRUrIJAtt3aKeGV{I(iui}`9MS)iKJ9~8^7rovUB3$=iIKb6SY}k zs`G84m8i5Yn&&qGuV}xdt8}Ok1+n!@L^qP9@6>K&EUh>0L{teHiRjmDeiz$iUniFJ zh(|8e?u}j`z7plp$59Y}LcB@v&KdW21~O$ac^?wz&TH=sR$Ua7nM`uA9K2*h*T!-C zHkX0d>;W`07&?AlRu?Hsu{%#>Ro>a-{<4|tN9^Ex{0%?J$&1gVay*X;tP*#g^V_^o zaZa)FI~K~7zCpBg;&F$yLR8qgKT4#zbL(+B`+N_?R>Uwh-~j;)Tj}XQbYWsFYoOq6 zjJT7xL&cz2cVY@vD*5;!=2e#?OE+fRMrR`3AnCJgn@IV#Tyx1ivNA|b3RbJ*KqF=? zxiqKUPp8Z5m^W`%nZ7q^2pc{M&vbfk{d zNj1=|T@!%(PFn_a(ZGlCu?%_hsl^HbNaXo}tR@9?12e2ZtOlMX5D-EMM|wu(%a~Ls zTKcgH)r?1B6Q>kNW>XQlW+}Sw#sn?dxHki@)Kn0Zc)q!R8K|{hYj;SYD|jPjJ(U`L znFLH+`=K6vn>BrV7ieyKX8Y=sYmE)XIya2WSAwv1oyqofMWSlst(S^_&j-Gku4gp&1MR2@T-wz0&n0TYl)beG8(u#I(rKXj=RJyVDd()MTBk35^448avgmt|v46yDwE+wa;VVUd!Rleh^`REKK(;;$upagp_`QXV zY+=dCrtbtvM)9L&i4rVLWZU4&XulgP)qLR|kMGMu(`*7^85b;0GehB?_MPfLeX8Q&H0EZ`2We?3PB zWeb;oexvxDuWxJio4D1EfBQ_i`z|+D?V53UU3WfQqUc80r?Xe;ubTW|14>9HeZ(M( zV>A#;$fQMQ$M<*k8CSWUyO?%j|20MIV}BP<-$dhJa?7|Fj)zCR(b=*35%f~C2fqxs z+xiWo$ZXgpk+9KKr+e`v@?B?2B?96oOA;ocem#qJ=1HXWCH%^#L^7AH~seWPFkxcR|7AG7;Z$f-}6oP zZqa{yJk*cX<140?9aXvC>+bDFA?^XvTnBQ~OlvZo4!Qi$C-me>^4oQD!?cgOezT6P z%)(iJ^vB(#mmP+0cJgR8>FAZ>optlPyC&^d-MjbKeI)xU_{DKerjG%#s~BF z)pLml@a|Pe`o#zXEYK6axitG`Hk)Id=M1=<5{@iawp6ZEzEq)9u~aEnR+g$zY|ALN zjPhbMf1o|jH4=|6UoG?fkCWNkkvNzyUN?(OrFY!oNKi%3kfmyi zP-U&hJ>reFbu?)9O|>rK^Tqttv^i^~`;k;2M)asivet;;h$FQ_nvha05$+IPYw0%9 za6DNy^}7!z&Ftly^X2&BrACKOp=XGSHn9$ge}O;N-Z70ab?`X>sFh1QVbQlohB2;Y z;uGL^k?cegh2$ps+AH(-5iyjFwzf`CNb6*cR7yKjyMSA7Yh;0+LpsPppchCo1Jnh{ zlL`(bAqh>Yj?Qi*380*fYgPY`{@+`KCde8&3NUeXLV^MvMh%R7s%=!C1DgPoLHeYv zf2tkxcn!)zCQur8SLUoCAS9kz>l&FiYWNalkJ?yRll~mASRHDE+*oVi;<*rji$Us2 zl9IbKU<{F9-W#E@T)!Ao8!pG_@%(2oCYra*YYC7LxdMf&V-}va`QFZy?7)VkZ_1pWei$e}JG7_BPXWo^D?=ED&ofLiaXPsZLm<>}h6F ztg%$x*9`8oMjReCJ3=~=MR3H`o|A3z!nK*x-3`{Nrn^Dhva1^a=UjJ#m9Fn@FhFQ; zxCD;f3-nLjU|3s_*kU+hb zJcM|o7pF#-?b>>#xEqwz2Te{#@`*Me^R$eDdnx>>=LF2;-XB zc&;JLzGhrnIJdW%b}BFD_chZIi)^#iR)=Y9-#iC7@xWHEY;D~n2gW*Z1B0X*8E8_U zVyx+!v8KOdtXFWQn~5^5`BRA?yg^25&0Iii26TIx*~AU3y^}I4f8-auea$qNcxhiV z#kE^ZAEOvsCB9u{t|X2dex#CSqndoO8&~q$el$PgeUu~T_rhEB-71(`a_<<1%kO(p z)%?iHO($(`DLo*XH__)|J2)NgSNgrpbmS6U?Qds1)>Zr4DQLcz=2MmMhOTP6ce+Ya zcB|d8q}nj$in3Sp&w~(wI;ict=EV zeu`(?T$U%L^d8A%TRIyyUWJafRGyUO(pz8KwrnZRrDN`}rwkE-Y|98;(rwwFt50X- zDyc28Dq-K9WlTsLZd4Y0`{VaZ7d&asWpYFndVo|Ze=Jcve;-iuJGw?TP$`F)7F0aSpLD>HI*>Ze1C5Fz9>{NyI^fLZ4Y_lnaVATab}~Yk~)5C$-Cb7a%SoPVk?g_`rhiDhEA3$J7owFW zW=8OcXv0NRkH9=ZWboYb z#2WR`)1oZhE5Im?tCXqrBiDZ4q*VNX zJ#<>zSbx3=n}eYTEbj#)myk_l{NK=Z_-qi6H+519@ge4|9Ex0BWj$@~)60hP0;Y(* z=uA%yq6#@c<$SNlgAXBRM|_?fvmFLeor4a<5SX$=mje^#fDdyq|KeFtwo5W+Y>wH5 zQgEKp=NQCOo0839B>fRejw$UbVMRL(UAFH@K7W?P=*buwd`Sc|EAu^M^Nip`#=`48YMr0X8wN(Dt8u9fSHT2@W&^dMS@?99I%Wsig^Gt9?r}Yws^;5 zwvx*-oog?3#)H(cpG&}i=ZHK#jLv*-;Z3{DpUKgQXR5(ZKJ241?K%b?E8z*{iXU&V zIDaT8az;g-^Jix6(eqRRy%!eXHluF?&k#|MBze41f|By}wE=yRPj zj(D>x&tc`7v_KC(-~td&D>Xb|PV1$FA%6v)8mBfnY86)q02p=`DJji04Hw*{&QkW2 zTK-gyv3QysywZax9;2tkP05t3=}F6RZy+y1c!a-9uKCvxMN)JnD*!14Bk7K*VlMY_ z1cBI76`)eaweE(lDW&WfoT8c``MKH-<95yc=HhrUIbY5fW&7sm@fqIy^5cWUAAb+N zdUkj^UM!o%y@UDmHQrChCl{414G;2m+&yaNy>i^$^V4QIw|8;OZ8=~v5{KjS@0-cV z>5?KJ3C_oN_q3KH@xyXFog9BNJDD~WZXYk3vtM{rek7i?onTEE17vVp=L_+TI21?X zNAa_GC?1K&;)xiGSK`%TeEhaqPJf#>%hm4%dy8XnJfF^I;Vj})qycJV%CT3zT=Cekei*xQQ<^l7sGTeEyn9N^`Kg1uG^JVk;)igI) z-IO*9aUm`y@5NFqPZv!imVeI0rFbXaix1*oUl#0+Cg4|T+uzaNCz7WR9)CZ2^xc(6 z3Uph90^PW0`Bw)D&QNJ1dqN@ZeW94XP*fNS<(^V2vBZH?^tx2;i*F&B@5B${0p#MU3odgQl#BZ6NFMaC{63@k?-|dZGot@& zwf-q^{Z%{@zuip#SKz;%Pp9JrWRNEp&FuB~;xt>vMCAWFtYdmHW#j8|+G8or1y9TG zGMRkWv!3Q1rrl&i+od1>iu4b^e{gVk@Kr1PgD1Phue^dNdD2uNAAd}K;NFIo6w<)G z`5Q=I_GSNVmM}e9UuY)~z`!-F%z~i2zYc|we+7z%_kaEMm%|K{F^uP@Fv-$+PT8=s-@g)0nl+;m-}uwfsrKjbV8D;MvhXzxwv+g%)Q7|Zf zwOLzp;wh*pdi=_Navd$x*=}!ljH*De%D+gt>@XP{MHRxe{?97?+{~LClC8 zK`_fDxEGUlN1Jx^tc`mz2Om(+b_6~+h*oIJE|Hd{bv(p_2&rQc$u%9gQVMN<)M5Bw zd!1i?>A>|%q6i$vQGTehNg5=1oOX)wg}=a=uV;hX%ZpFvem+NqU>0@zC*3PGTZVqx z)zUAy9|n^ywQyDF&oUy)<-K0~O#ZM)m*J6kNUh`0?;SYECMwDaYWMx*LY= z^3vczGz*m;4s*4*!87f^ZKW=M^q@cY)1k`A2V5HFJ`947<-W%OuA^LHa9nkM{q;>w z9$)ppj(R(syu7BbcqcG8JPZ^^ihsqsaq3SVRUWE`eD$1aJy1WEeh7)5s;HPOp312t zTxNAPynWah99#^CgB@%fJ?ARQf;ig6Nf(d0%ekd<26F?Wd&7&Y5hD$MX1da5?;}TP z@5jN6)<&`%6?_zv4`CdqYt>@3naq}pg`cBS(;!Pi|79b{)pK5>5|ecgDu;KscfFe( zR1RMj<2ZaJwkX$CieUxw7~inyNT)`l!*)g(rEg%-Pt*8k899EIBWKwoIzNXoMq3v8 znSM$)>>A7h3KqC6s6~>0zho-U@>FFR%u?l}p)y1RBr(m@MAHc&PM6|E5G^x^e?}^W z1kJ@$?Eo&CLXrjx1*v)n)pNESqg_}=dNuxkLR)@VKN7yzksMv!-i~%0Nmb1LcU|jp zUD#+<*!bS5PdDLhn+N084kk?IK1_@HrjjfOsltCyVVdvB-jc=vXh#EX}@c=dbC{#R~9N5Hg)2x6>D0#e8z*WDQW zglBkxzrMc-I+gHaiOx^QVNs1%gQ6f|KL;wBV$H(V3LYMR0{kN!>wQ4DglQb&fnu*# zE~+leEjK7x@dNXhWUite96>%$6*?I&Q{3T6VIDq1rk-#?adHp^s93ScaZ{D)B8ZU> z2bxnjEGdN(_yVW!JDkCJNh^GXD;UBxjNk^o!7bcj6KeJX#N)MgU`;$sOWI)$0sOh4 z91{3ZQVvUhcv?}eyF&?Dpbt z+G(ViE&@eJ!f}vhxmLx#v;$}UYQXU7`W8&{d8WJdQg?OkMSosMuH#V@pit>fetTZO z26c2gyt?{r1GP-JEnuA{SWb6>Wp4q?_6K`+I2zo49dE#1#S1^$g4KJSSjXC6rQ$7E z`Tkf3qtn~tub+-a!}FpfHZbzm;cHZDj5UaM8<5x^&|WVqO|-4kHxJ)7uv%@b_WoGk z_Ri4&DXb<)VN&XG1Ey@llJzfTyU|9>S8KTlPz|uBYXMeD7Znv9AMH8vXDy3$m zx^1L??*2&oC#SuB?^BiKz3W|h&S{Io8i~w+#;jJJdu_1ZJ7|4J%iLsGwzA7iFKLuk z%37eM^^U+j{PyjpZ!o;8>~r3PCU@Ua^bHitcid6$>Ass3yG=h_X8NHovo*&~8}&Ob ztM~NH4b=AQ6-^lNZEc}?%dIu=XDY*nIbI@vM6BDt2UBbt%S6JywfJz$53l^7RuP?z z4(M{3huFVm6*f}U2n|htUsnvuP563YfXx|M-OUGtRZ&0Co#lE}UD;kMvzoI0j<6i3 z>WP?VtG_igptvTKE^U~nEAy+uRhf4U<5aeBts(>$irot<$QSB4C(PPng|Dqx+pH9S z3%6~*rck~@iZFLKOZXaC$&giJsBv0r{^|Ce3hT8BuiqIlqCOnPlkPCb^74_CuU_QC z7kqj9Oh4kgpD|`Q=Ej)gSQumRQNJx20$U4M8Io`oEP}kT-Ae6y6VfEe)#u6F4^_Iz z;`s62Pm(l#4)m8<(d?dC48gb+m`YiHJucJWK1}qih0vrqyNvK1W;XX1_i>V=ned)^ zF5>fSL+j~frlR|YB=<9I1pSe2H62HPs!6^~)o1$oZ}|^yUNI9Ye7({_io!CDO=sWa zNX!HLS7tyy=kyG z`qhqUJPylvvT0p}IApb~`esdQ@wx<+oF=x_u7*+z*=h=%V=I&TJBMn4-igvJa@>#F zTjXemdM!EEcFI>S@*$tAIMuFx{@d0;LYue^Obz8V{Ibr|>QHHQj{298^0TV-(t9nj zcG$)n3sv<`DXr_K?_*yP&pPERy+dSGH&?fZQAi4U^{+5hotdd~yu@IXsm)b$nW*TX zaFy`&X8#37yVTl~;X)Ian(6~yP%||~F*8FqLNq})H8wOsMMgzLMME(|G(kc(IYKu% zGd>_ZGc`srGeb8*G(k5tHZ(y+MnyzLLoq`%K|(e;LN_@xK3xhgOl59obZ8(nHJ7l% z11f(V(o0BHQ544Uz0ST`nR+XGS!qviW%s7#tB3E>9$J=KR`+U|QiBKto!O{KuxHYs zX-M;e1`QlUMhFoEK@jAippnDIg6{t}`SG1~&fa^SbCz??ttHMS&U}8+k*XsB5`zR9 zsa26Yq~JWYeWW5NhKtnpk~Y9b=%KcUv(PudQ8*s&3_dh+?2RC65hG3W#`n9*xXWGr z{d!$M-#yu1m++x2SIaC0~zyw3US#=&aDIbQ&bz5H|+x- O3NvSRaBFTU$~%w8@SrL_8ya{BcCuz0g;8hB>&1+Q84 z_uY0o=cam-^a&&wsg>eLg3cD46Kag70KHygue&*;RkQX(g%N+Giq03pR<9i?|MKl- zzF@3c&Y7*=?Uz??p%v?s8)Q5oNos516P>Xc7m8RaXWDY2EStSp!z7;0lQ#h;3k?wR z zne1^6bAdHY=0pGpfT3?zb6x$6tTh|tQ?%^9nKM;2%Q=S)yJ`^y_Ni~QZ>3;aOtjmj zf)dV=cq(#O^)a%eU;@G%b=~H0 zrxviTz2589CO0=$!{XG*8vSr&{@4!CUvwG(f;6Nyl!Y&yykI(U7j9wF8KN&2ipDZd z$WWcgc+l@zPNjt=OsQGK#luk}qeb#&CBI8m%z6ApP*!aUotQj-GLldVjCk`jw$`$i zr0yyF{(jDMb#?32`*6EFOu;rKh^|v;>&;2g5dp}0A}jq}0eTNBCi9~TYCB9xWdJ=T zZ0#_njXy0Y0sRH(68w$J`Nz8lG`e8<>+1cyuJ$MzTkXIKuU|W(4Zn_pO1Jt;_w{*} z6wXjpt1#aET%quP7uNe2cX#jo`wgzg_TYaszr4F!&0*!QR)@C1O~59w#2a$L2_nLx z$)kkg4k|iAJa&XYJHJPg+uhpFYz3YWt^SKsZLTl&j=+%e7J1QI;d-VS2lNPf)IzTE zkZVyH8~?ChuEW!6^X}fcNeIZCR{KDc5?iCDOZW$b{&qHhc=eY@!QOfS=tuzYvhRR8 z1hi8SP+CAhDpFnw2)F=yY8C!bV5}}ez#{(D9}E8w@Qi|;CWzo{fOt`t-iA-6C&xJ5 z6lTC;lo-xDXxy_GkA8a8E{9_1sNr&e!(;XAYW?WtD>}P|kKchJXwZoV*L00O1LxT9 zZuYN7{|Iq^N-_lnJaaVI)Dod;&-;@+9}@A7me^M@O!lN)mRh`YWdRI!+Coa^=Dh$R z0NDF^$3Sn3Ko1zj)bAbB0cx1;EY?gJMwkiC`=6aZC##oEcbIEK0WjJp#EDAw;oz0; zfm`@)06EaY;eRt4)KOr6$;fp6Px3NGGGCn*VZRq(_~&^S zlUZG{lhPFsRRK06GjuLAt-f{4?t;L48)`nkfb7$Xj2^B@bYC-9ij+f#NJc;h%_kidzvq?q~$^H_G?4!nBkL=w^qWoUXhir@%{0^%NP>Lj?21d^z> zB~;i~?CC~w1fJvn-`7A>gx|Fy{_OK!lz|E3| zBT+|FfC1(4*)iLqh!9a5l&`=ro>(1xfFF6D5VnN5!wVthr2&#WHPyVPv)a_v>dk5G z`QS6@??@2jmtL>pm7_g~#UUsw#e3``JA8VX%P0{70NB)S6Z#M&Z157Z3+h6`1pt_T z5NfEcbYNCK0?(J~3#OU3fQ`F{)jj}ICxcr|^YH5D_jx&#qpk(hj2NR_R0&4Q%jB=9 z4$yzS49RD5B49$7iniSj1@>$`Ezgj6mURv8p^36Y-{*i*yNu`J*y?ef3bRMgFHQJx z0&aMQOv1!~Owq6PcIS1|nbo;dT4&KGyd&nn?6-IKhZVl?x%SY04k7JFHFFAV2oUw5 z`L3rn%_i)pRUyBV_68&dXnlrv-I0?Z2O$9plR^g~0ke~32TcLfld}gi2M1GQt|K1Q zlkEo`IUE&l8yLp8slcc#CYKG1l1eGC!i1g|LAQkbMWHe!zzY-~!GrywkYW&aG{xW! zQ&h=UOPsVJ%_oyX2rV7c*yRo&k^wjtl9&QCS$?1#W`bsbGzOEJ-MF7JlZ^-$e~Zy& zXAmo5k{nfsx5>v7A`w$XBF+#=>eKmbw}fzel2g|;yEFlar@@y*ZQ0pNJb%s4o+crz z0lzh#ed$b2=z{C3h|&5|F}cX_^HPY!^I8BJRy%c>rUz=89>}t9FC6k*st1@M06>!5 zMUGO0&GFSFj2;i9`+L}hoFj_X#zDzfo8NuXJqhc zgYpumN(L|V5>A8a2t2#7L3PwQsxw52C;5noSqZ^A5BO`_kjN#k<8H#hn({{$Wa%EFa zfyZ*1t|C@MMri6D_nf&2 zF=|RowY9=IT6xGiwmcEdPs_EX0%M89bWfJY4fufqIL(S>G3s>EXJEb~APR0T*b0br zx-$tZnXFsgy>n&b(V+x>azKs`f6Lv?y+1L+U#)+O&;AO@4*M@a^OktbgzuUEvvNev zJ#KLxFOKGpKKA$Prk&4tHL#@My;+kmI*#T!O)E)Jf|DaLQ5}trXpS@Mie#O%vcP@3 zj3SBFA{nOW^v2{3CkPW!w*k`ktO-P6#K>?;@*xd?0bfY`PViq%#D6(8f0u8EXTTpG z|9PR$mcMJ zg!1S2edCZ;=5kuQ0%<0}m6d#~GFPGeGL^ZJgyGR5#0p=|b#a-|)7&=V4h96lk){~o zsO3dQSe9tYNN;?{j1={NI)Qr!oTw6dgT$!5h11S(Rq zCqr3--5`|mDZ&+?#vvL{>p4d_)} zaW6EzT5j6ecJp6`>&?gV%&fNtRzlP)mBXa?jh_^;6vkaSPsYyPn(1aE!NG+^L7OW? zdXahh-Iv6WD=gJffBt|M1_k7&N(}6HbXr2F#){!%v(3rNA_w6<4N3k{N+_ zBLEzd@%@o4N-Y#ez7CVE4k}euZY2J11qRs>_Wzw8&z~W}eg*#AJsjx;>`qo!(Y5XF z!uj$1-C{vNay@Hs&)dI_N}SX5R$L|?ovPbPrp0a$z(XX1Saf%)MHA@ zgDVe*D-QvOD-QyAnLSjr3v6a>gXKmZj-R{$q~LqL$7OOS^f z_8+WU{C|Mt!4|B{07)|ka|p=N8psS#7H5SaiQC%){vtU8AV6mz z#1&}C`j-G~1+oN!p&&DR7`7$A3F7Dk0Rf?A5Dx&<@qb^qumEjVO;&)cs*bdVin6qd z7C=K6_8^PDtpqqi0G1$U3wuXr7Z@t6W~dDiAnWJ~gn%7j z1^j_^c7HLq1;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}^^_LTd#DDo8Tzu>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}c7MP={}@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%!TYorO zg22|WF@&w78N~9x4*m;GLc-A<;Kjnp$qQiN7L0PQ?<+pt6hzazl0&MWd(G8?5EMm-S60{A^6M1#&x;y$ zLk9-oWCuowDn)G!zH#QW?5=Ls4}Zd)#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_uzLPk-tn7~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^`+qZq(;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`$&a_Z?nhmZk|? zrpfA>gNL!GK=)ZXji*NZNN?0Hc^Imu(3Dr7S-?>x>h3+hkmy%|XY0o2&IA>|-jYY_ zo&Gk3oQbE6LDoE}UEJfe{PO4nkweFT`pX56wH|}U@Lksq?SFecP^_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#}8OiC4W}bb{*RJ_@we<*D1*zJ>Li843kG<-B0_ZW|(nmz%Sp?DdeC=98;|FGgxyR zaR(WBW3jbW1HlgK>V8$W1HVGS*R{fmi1uA_NtG&|BgVU3ESDj40$CO#QQw>GUuIUS zH<2!f7qctg*Cec0PWUfjEMR`VJ{oA9oiNK3Lx1RM7t&$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 zM1Q0*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|2vMadKGt7JqQIdIQFMSxG{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+56BETmVeYug=Zmr z^n@5n46jLLydqIO&Dw^`Zc)>cmrRO-7=EZuQ1=Z+ijsGiuM$D*G175q!0PPNGmowQ zOhH(uEyYV@XupATF-Vbb(Q~-mvp613&7JtV){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!;P02$ba0WoTSKbZ&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-v8-HDo>;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>qNPoM;2Qaf?aKc*?1Pd6-luKl0MJG1!&dzq-++n2s1In^bm!WGK6sZ^JRrBSxmFCrgP?mR##YaBEvr#GmCqfN!>BiCS_h~|q?As+ zR_OL5ofd*b_+FGdm7k+3JR8{M+B&EZYk$7XiQTI!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^hyViiv=6^Q^ 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@0ynlwtt_*$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`$f9o_{)=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+iqEA$A3vB|G@CT^y&SN z@$ZN_r`<6vFKeA&u0Lr1a=Uh+H4qsyM$Bsxz&BzcH1$;wbmdC3lo9c0!W(6|QM&vB z*^K@EYMDO7)YcUtC9x?avg4g<Q-ISmWj>@5I$?tXWB?Q<;6r7Q~u&`#-2`y1MpPEdsLe^nV!>Q!JO1?uLUG$g$S9 zMX?lHP>DO}_N$S1C!dZNWxr(RP=dHXrX2qoMK{cYE@Li%pl^YSvWLRJB!fpFngopmfv)nbzEfqC% z`q5d#XgPb7cYj%iAoD7ppwE4p=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*kxn16Apy$_!XNZ5{d))H>;rk~P#MCbo7Bx|=nkHM1XNTdxHV3Z)>ye}Il9w)7? zS{EWRMwuJ&NnLJ7Go)f#IN{!ee2+eM_=^_#|*%SNGz4 z0eS1Vu7!+~77#@cNWJ~kOLD2y1UL>;rWfZ-+kZ^Q3gvHlXY{2YE7(vbS6ZlPD>mcMv-lh zQ?ugb2ft#QJTdycP3cjL&}92@@S7Qu#eb1xTR@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>XSZNUEAb%zw 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=Xpb$`;)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+Z-2UIjJG>@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)@7=K0pctUJYC$j7Jb|Kv>o3oXbZg~wlW0akR!R=Z=ZrIa63*EID zHTt&e0>){{NE}ge9luZvg#@#xYK}8FAf+Qv~7v_f8cR=d+BF+j0pqGxq!#TiVM-0@_({eMu4_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$xsecY-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-CN`GSd+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;-42g33QJu&VP`m(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-i-G82{ 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_f3vH6wPGMjxzkAEjcNwDTe$}02Qn~6$>U9GqB?+^^qM)SZpsA-@> z0+2LCIr0k^L2CG!tYWv+^m8HA?m`+SfzoK&YBfpejl)HN)#jh!5ag2k+dWZ0)uPmw(A$I-nXF zB~E17ofe)Sac}xxuR@*1YcYQ;Mrz*_gs#yr zQuE^XrzIWe_eom%4Ls$OgpNq`2y1%H>It4P z1MfTTwJo`t)i?~P34blxArF>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{=@qfd<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?NUsi1Kmw#oNBtEr#{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~&{~i+^0< 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_gq4H0e3+JB?-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!daDSs_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`*4cuex8QLM1MLk(pqFS;#h)?aiqkUQyb74V(8+#b&JcN)5M5*8$N_8 z$({(m-P3r5W;0Ka1ava~%Aa~M;(3%1+)`wJv9Evq0%sQzzg(RemXqEAHQCG{QiR9quLK)h<^e%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$ApwkYvEukADIj=^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!w0E(0{==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}! z$$#IUM0>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;;+||mhTl3V%cUBXpJr_&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`tNhrkRYWenrq&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{^Q-6h1>|#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(uEPr{|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&LewYbuz%z!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!Z2iGTG>kUcJg9F*3@ zuV3S*x||2Ykcej?&1wQyiNyzAJELjmSf zD_l(4WoBoaT2Gz^pN3=02*E9GHwRuxq&|o9N4g?n89ZX&SMD!|Byeq32L`CV7s>t~ z^Zqg-3T19&b98cLVVA0F0}HnSQv>%10y7|&vHSujmmypO8wBGe<2<)OTm#_&e*o3! z>#r;ExDwyZpUf+9zxv{$IbKfYvs!&w{o@~_FMc<{;|jk^DgUc04q05XShBds;th)h zi>537tt)<)R4zM^*0kx_i4(hhRRvvAfQ{c$(xWryLLojjUNI(nseXWcySu1Wh<_wM~Qe+jJ#bvXoR z4a4hJ^c;>wR*x!iG+DkNd0&4$5>GyyHAIRh@Igd@w9EtM;kFI6a2 zELF;tm8B{a+cJtRqr4ame`wEhjl|>2SId0=<7D=BBo5|_*UchRDPM^1#Sh}}xymv#z?5>(MMWU1OBR9WkBk9ebP9Sxd&Q>}~md@+ADZO&Thek2u$5j`rBtTiGy;z;d~ zCZtqLggb=STDpxi98Z=_{qDm_Gkf{wd^x^&snOw6=ozA-O{_y=f8dX`cT8hU9ehpz zYUR>SSoH0YVT`Mp_yqV}Bs-BrA-RdZ_R9QyL=0u4t*sLj(mGiqmD0}CF5uSN8d>1y zkPfmC=mnC@0Chp~q=ExUNJ5jUqq7@H0w`zWTGjuf|MwQ539?3x0!&<;kf1<^Q3E5N zY8%z(z$UGA#{c=4m zSxc!xT2HA$fB3kR$`%f7;msF%LqR7Lf5K4#OKP`z`^LH>~%bg18YJ>bm zTO?JM8#56)`B^d;VCsGpT#%+t36DSSGrz6ZT zBBk;6uE?;?){55OlHp`Tb{lR)#x3S^3Q@?#RCxwMf0=R^p!@eW)>_?JLMJ`4ZP!u3 zXsygHBJL(#%DHaC|zRHjA^1`TXt6@j1YH zKRFvOemxM&Lo59fa0?G#*Ca zPY$~ATF{Lj8FXV|Di(I)?Z(h3Yikof1r+m(sn+~BVX)+mJ7VbZMR$AZ4?=8;NQ|-IwG~o1W%w;6?9=_`f9>UB@^X4kWtX?P=+s!tt;iv4p6+5V zJ^NvTJ;a+CVO%pC&ozYE*NjUG=k_+!PUYqNzGgaNk!`lx>M)J%o97@W9@y%Yt*x8n zz*q-vV31TJ15N5vj5S>|*7TQ*^$M7>mqr3XawCi*;V2dBgRO24<6j$ERv{q2m$x@vzr1Re9h`x#F*0o30dFjs@ZNePebx2S@e4mL zYruG08WU;*?}!M_Pw{M<%krd@-Xoc8OJ~EztI*Mw%9FBOdh2W3mMz7(bj%(0lp#Wp zZ5g3Ux-I*2_34aUCAB41CG5Mij0tJOjmm;=fBb&w0ksiI?t&-HxlE3zLJyEC<&Pzb z=YIogen;2H1}fzc6T|L1iAV)&wnl77lkTj7p%>u?ICYGQ@Ld^&TQ0FQpayC zS^BGY#!{cWmgLdp((-VRfkxjV|wIrHshWzRVN(0+S z&YB`suZ-YyHa)#V-nn8jq1w_(m(_-)-14u;xwOf@>Ez(KyUXf)ImvS^l3n=06n}|# zr9F%UNqCI(LbTGv%m^M4ZMaAPv!t>3IlX;e<>LX9HNB45`87+(+t==n}qogW}>HWHF(GQW3J&@%Ur4S z^E~5&$OR$8i~4-=G!SXdr-BF%nSUaaJjmqu-H?OulMAAzVY0004r~XY<7b!%_iOn) zAGWIa5tt{444zw_Sfd_#T9l=G#n^_qWyModWSDcZCIAE^GoLR#1R(g#2pL{ond#Nl zGTkxmt^nvjVE>l+)fIdJlzh63LC6<*@AJ=#{FC4IqTRs~kS0Ah38_j|N`KjgvZABA zHF%}N@}vJ*>GPbq1|`KGIiI~%AU&;z%4Hiv`j1K@If%l8h+N!Bj?{EL+-_tPRz`-J zXX~;TY&q_G>cV-Og7o}yfAIW$vBhoBW=lEr7p;%Tk+5)#H7bAS(rS9cEo{AL(l!_m)hfZr7%YQdvb1?LP<-K6!60(Vm{~NjvpA7=?rcO#BKE%A0Ly@bi ztf$R=df8B3z!cFJo$0ATR3QhbobUB`@FC>vh|iN_w!OSz<<24sFmo{${`iEmNbrl11C~)n zF%MwI!R&rUUbM2+hc#t~wa|sym9FeDo(V6cpylI#DGdVi(Of~q)hkaD0 zUB|#A@#75^2Y&@c&Zx+9{>;ohdY&qv_re0)X7p{~86xVDB#$>rP*T4B)&zy? z)H}v|n4sJl#^3Gv@{8Ov+0K@Jg zC8fEh;exx=S<0SL%b&_I7EhCdS9%b|WAv1`DVdTrJ!v`a4dg`#kMNhtHUAo-NQ$mx z1t6thB;7Gp%;i3gAP{@10#wSl*4@xGrIa0mQ&ck~KUdpf+^)IbTpTYZ=gaw`Y~TDm zKEs<|e|&KGZT~g#D!TI>^p4M_CeprsDljCn@C)1|F?c-&0_A8IdkHoXK6RZhi zfDCTyd?CIOhvG>5D1H_X#Ut@pJP~8@O1xT(kKZ=SX@B!(x%$0eZ*eS+=hOL2ycUgk zBi`WuF2u#;y;zFn>7r@G^3S=r6z{})@j?9S%Yxm}1pF#(`#akE zMDp~(<9|nwzPl1hfo_XXpd0rr|LQ=&87ggLPbkE_FBH=kiV8!a+*4{LmN<}#UYE*! z@hv3to%lgKfP8)u{{ab6KEGxOQ4nWm|13C)e>IEw z5KRA9!2Iq0(}%wuU4i*%em0(M!4fX}9$lxR6MtS)aBGHG$^n*Xi-HsKD&UvM)a3f>z@MG{}j)}Z#UEb75J~`)9H8t8RW@DGkZP0IL($Z5&8cP>zH0l z+4#Dg_E<`D!PD})OeWv;tfzU0X*b!>cIn5zBK^bf9~>MWeANp7;K?rWE3Y6*o-|d+ z2Y-_vxVNDtg*0$){sz*Qec6ATB}|Xj7upE~FmO#Pvmhw%uR~$vUxDJuufH7q@T3RD zF1G@nR#*h?UG4HJYL~0u>{JF|&oya<&#%zsIddkg z^2!t!D2MV92%*r<8OBLO;^Npow!?vT-v9otY$wQeLJ6H-fUVVP_3We7YUNPw z5Q|V@5ym`xG9osUvMdsYjS)p)N`pvnatHX1ly&Gr}BO z5E~Ud<`CO|CEP-z9wnTiVcQ{GP)Q^s9QBE96YkiO;1KRHlv5(KzRihXuGPUVA+VEL zD3BZ#93oum5Gn<}xHyfAs1Yg?8a+i^2*yR|Xp{;B&4|qqri%~9>L3K}=w2J= z&vwuisnH5;*(K7lw2p^(r1se&lG_wtD3L-Nbr`;XNYVM}rw&}dB#OXM9OVZpo1{UK z$7!c%pZg2!xjY@*UYvh9^Yb|>1hc5yKkiW@Iag5@ z#L+fRy13L`&Mm!XFzP&Eth%fbBMoM{(qoF#%CkIw zRapkJRQYJA4AB5dOfxmnbV7*TrFaoU%M9WlkxC&!bMaI=fP-+AlP*YLK@g>h>O6DD&X zrbT{JNfv~0L|5EG=r6`ozaSLQjfD??xxcLQV(-Gs@#ti5cJM}`FQsMB?r-JAaY)zZ zc-rXAPc3Hbe&M;bxV7DXl^L(b<1zfM|793ZsjB<#?Be^$ZGZIUA!qvD+v+=>y zv%p^}jUkQ{6cjwb4Bu=B@V^6(fO{Vzh%q?{NFjq{P{{bB=EhY9G38Zw4z*>h!7T; z{#$#;U_>s*dC}BDJWzUmrgRU1o70p2Y46Le4o;-9+l#|#r?Jm;CMe<(j)FAHwJH{; z9XRz@4Tk5}Z^1O5XS!rBbyw?N6zPTJIvzy<3Y9MBH*fB@ppH(4S69EhLM?aQ2Cz;O zET>z+viE>xyMw(u7!B@!j$XlD#S1^$fYp1OSiCW;u~P9KtbBK@gVD+D(dC!J(eSLu ziw%stwfGv<8e23D($)!rTJ`z{_0kiu$$6egt}H(<&( zO!zm7?uh#~{ z+tNPgO=xoa8AabgvHZXp^^p?1NwM4X!)2x)`Y>B_?6gsT;IR5g@!UXdzn#&95#QDZ zsyCck1AnG6teWG0B|^l!{cAAAva#GqSiBYww|sczgIYy&HY%WtWgcSvmQ~nDl_NAX z{n4&yl#}rFzyOOgvO1gh39F)hpexJusJgPfR%SJ2{h_dIr|OBAYpXvU8cFm24sTpZ;vF>Dg2GN+7YoXl` z3N5VsPcV(>r4+8w*6dkETQ8;6#9o_trPqR2$cv?aHw_j`znU?P$6*;yHm!>ghpdKG zpVzb&uS-zLX<}Q=YACgkt-8=Twlb+dJX8bpOq6br<9yWKAV)jYYstB`Q(n2qr+lvB zRJ*$Ox2=POHgOx68p><av&!|-duwBDv5hAds_NfUTE|V_$GRe( zb;@%phsY{#u1*glkredmpJJ*!GgD`Hh`}gRuSd;AqN4r6Rl?Vk{U2gF)$y01YXcLP zF6skbQ!zC(L^ni5HAFQyFgG(oLN-M-GC4s;MMgqJMKd%wG(I3aF*P(qH$+7>L^U`t zH#0&)HbpctIYCB6MnXkJGc-6fK3xhgOl59obZ8(nH8mh0m$Cc;Cx0E%%~MZN9LMqR z_nwOM@beHtCDgA6Q6b7xL`kAjHX6#zDX~x!^ot0^6rayq4g&AgOCdQ(fvS3|THp{I zhE`~U4#>OZ2Gw6X9D$=S2q&Nux}Y15yHzi1#YxW9S33=7;D0P!gR9UF=iJ)5wBkJU zzy;RoOAf#=Tz2dEqvx)`2waCz7-NNg?G3mI<8TXZb60==4%~$axaT%BqfPI-cRW*? z^sMxi(v)X^pC~=>kRMih=wWnP>5+%WwWOHl^k-ROW<{6oVQxt&^YBy;$Kc`lJEZ~- z3$sdv9$tP>DoFD1dNOVBrYiCFTjKqEV(~>{sWI_sHSu{pvD}|n;o&d85??K`_Cvcc xa8Z+^iC_*Qa}b$>s5z*Iyoc`})3V?5_8%AIR7;o7>;oSPHa0a1B_%~qMhXT13)TPt diff --git a/main.tex b/main.tex index 372c943..eaf0de5 100644 --- a/main.tex +++ b/main.tex @@ -13,7 +13,7 @@ \section{``Cut-free'' Proof} \begin{problem}[b-free knapsack]\label{bfreeknap} Consider a set of elements $E$ and two weights $w:E\to \Z_+$ and - $c:E\to Z_+$ and a budget $b\in \Z_+$. Given a feasible set $\mathcal + $c:E\to \Z_+$ and a budget $b\in \Z_+$. Given a feasible set $\mathcal F\subset 2^E$, find $\min_{X \in \mathcal F, F\subset E} w(X\setminus F)$ such that $c(F)\leq b$. \end{problem}