From 1b051848047593d683b393ae3af4e5e01e458503 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Mon, 21 Apr 2025 15:46:15 +0800 Subject: [PATCH] weight truncation! --- main.pdf | Bin 260739 -> 261223 bytes main.tex | 8 ++++++++ 2 files changed, 8 insertions(+) diff --git a/main.pdf b/main.pdf index 64880ba061092771c677adf7522ea9085922dbcb..0146cc33016f1e0f63ad04bdfa276d1c0eb62ca0 100644 GIT binary patch delta 12637 zcmajlV{oNG7box}H@0otHYS|dn%L&Vx#1)e`^Lt^wkNi2Yhruz*1lW2Rl8OD<*DD( zb*lPX_o@Hs;Cqy#CzP62DI9h-QdUw&6B~FzL3kE2HV$dQA)~gmok8_GSMFkI{tEwKG+C)hUmbO2h&Pg8(s76l(`J7n1oh zxq%l_kB{yWlzQfrK7L}<-G+?JAJ-A+$tr=Z%8Ys)Q=DU*Gup6OOjUI};l}ZwO;5(D ziJf$`WRR6S_Kh~9nfPw?4!~P+*gH0s)FP{e&JOo_QGO1*qGh=iS(;^hR0;M|Y*lD% zc22$dn(0SYJ%om~F*@l5hoeusYKF%iG=`4lHH+7psJChmj55*N6ytE)PijQNqwq_A|){V^Ggy;-*)#Na=Yse_29t zq{5ytDT7dq8IKBTGff8Vr0_H;36BhY()j1JW$D*>e`A@FqWPB_%?srkL_n;M=znJgpC zjMqEO#Rhza5(uRYuNvpB?VO;u(0s6HzACvLeB{F&bLOn9)M1(QEXWMwN+&NXQ>B}2 zVIVw`x<^P>d&o@?-6l`NHhPX0ig%2O?kL@_mLcOuQ>&_g4ZN( z5t@*ClY0$xt#JyN@CoZWpx(C45SYK*S?T@E@$yh@2Wklfa73Jzbs9Ko3KjdqlB^ZO zD>Wb7^s$0nd9A58egc*O2>*7}^60}jv^3!`!HZyYcIYL zj5X%Rl3dZo90++J440b=tf;}?bWsYy7G>eRft1WYw{Nc!NKg&Ku~b3yvO+wJCPRtZ z88JXd1HMMPin1~6`2kMk{}R*6^SAY?*KFuftJC|EhW-s?Bn92~@IXYV;Aa*l(~7}g z$+MU19=+`o%FdMU^Y@%A#6>b2Ff)I&;3AUJF3MRXpdy|!pGER?$Nz)xdI$TdwH@^8 zV0Lbl0}mI=v%-S&3AZ5G0AR*FWR=i{l}ER`1Cm#Ul41yB(y%7;kRxB0dGXFAYqVWGc1KyZuM0luvaf4*#O60c#1-5cHQ=&@w z*1)qY!+EUliK9rTYNYRe2a8mRUCa1OijCD-Qbil{9YRBvTf8&&{=7_RZ5L4VXF+KyGm_H+6aKGaIkWG;+%fM zZuRiP+ph`HZu$y}&U*kjbdnqB9s(?OZ;7jYxU@aONmoFnsm~#Q$^DuLQf3boO zd%lNzBknJQ4-d>ss-mml{1jE}%GhJF3!!8S{uMMKvv-`RakLvO2p}1ryABj1Y`al# zf~957hCu~`?^$N=Wo+uS?UM2hr$FtHgggf$C+&AKAu7Rp)a%0S6NvI4rD1#;Uj{Nm zK(aZFi#xm?Ie2IZ=)UY%Qkf3fBhoxA3RB$~`#;ZPonu7J(Cit#LHq)Z#r@Je(}(&H zR>(dpFB@+!8kGI$B4{`G(Hsmdd?roM%NC+svA$9R5jlOLe^<`v$5E>vgZ~FZzjXA# z-7`pCIF?Rh_6QuG8{?exM|`jgqycc2%(4U{rM4ghOATgfE)nWPhpS$&#G+Wb>>K}7 zZ9m=yzL#S2uY8SFg;*SOUoggZT%&85MQi6|QmnrTG@Q2WprxX-?l5h7o>yv*-Ta<` ztu7ETiFXQT*kIHsGf^U9I5;LnpzX~*)WDQzk+0AN((QMj#}ucugpTfa(k`Gql{iI! zX?oH*{Lf;Qb+7=gO?#3ziLEfl4D`D#s!jvcVOV8I)t${L+rgf}K0Ap>^n~R`;HU#G|Gb z0-CX-zBqnO`pK^UK)VlLTSZN-ZJNePm$Q{HX_u`$Pl^kff7BO+=f*mj%-VJ zNgo{)ZYsboxkNVVp@{+6F=Mv5p+;3nzxAnA{j4X2$tQ*00>u|5xdT?jVfA(Hlw12f z6pmaTU1c&0JUw|DL65_wSJ1G2d zRX`{G;{gqLd2RC*ttV=u!Y7m5p@}`LZJ_9D(%!u;|EV@~1x4>q>xYrrQ0D^Uyj&6$ z(7a?LOT0sy?d4?LV@Z#$F<#TEp@7bJr4X)%@iL)bT)`VD#A9Wq>IGZ$6@hfQ*dKK@ zgM8R>ZzPK`efT1D1i)L%9{lESg1>BGn#WW{M}>A=TEQM{>^;;*8ojz6(RpS$CfML_ z5;T}GF1piu4s_=}RjB)Dg&wvTuI>pFm8qd4Nz9H-A91A}hNWSgyzLGc2?*N#*}v2J z{4)@W;|29YoqeE%J=WgGLBmjYVcPBv9^YEewS;G1(X6;*5uuuzliRUYwHtmNV$eB9 zqO*xRCK$LJtpAUOg@=bTaYl+3IHB|1bxrC&J|b8)~TrL-+Nwzjk1Hc`w7vGqwZ-jNk?{xF`Smb$I|hYgsx1( zLUK#n({;?!q<^OLNVeGPMih^BKgRb;4s6sW)J~RvW*1SM@e1e&P8Xi3TWS8K&a5mi zSJ(Xsf}c!hO7U1zNQQ^8L>R!1mf;_Uz?fu#^efL7tjXc4A(_-IBpIw;ZT4WVH83Ca zX?uPSg+z<4&keS>*-ozkg3Z$ey)?Lr`8d}qv)9kMdwBY=#n=|wRkoU4w(d+gR0*-W zq-T{-^zyai@*`7gQzJXH5$t4fje6lGTX;$*-&RwV`WnniXeUWou4hz<7YJ=a7WzU6 z((j?gacg6(+BRHGpo9O6HFW7QLOa3&YY5EX#8x-3T>Lrp+F-a1WVa0&gyK#drJ;bE z%M}T=K5zxitXn2La#v$h;&{P@g=vhGfkX!4At7o`*6O zB=f`=HWPD)>tO@{f>o6qc&S3smRf1@L0H3ESg-3w zzASa+`sc7}&iAMB+;K_57+Fw$xRC3+Fi?3YBpeGZ>iF#ls5kRRuzvlXZ1GV&UMH?k zH;XTokUFclV6b*+p`oHTd{kPbvtW`E+3_@A*Df8ha2{2ik8lUI%n4jngLl_NCa-4k zfF2Jnxpe)3Tw9N)eO zVItT7<;P@+7@BDAD_j%d&OT^_NV?*72!kTeFZ>PdbE^VQP1^BfE@C44>5(ugQzl3l z#`nGt?>W7js4-cfYPLj?g-04pkJL19w~KSgS90HpOosecQ$3_sB#nXffs%^d*0(=i zE*3{l%q9yZpK>W`pB0gH?hYZcE@Ef$ZY#|Pz6GwLZ>?-}>rW?NoZylD+7fgOH4Mn8 zXA41haZ&DdlZ$T4gl_6c#g0Vs6NfsLX0%xjBwIN!a6{o!hdSLMj}yUa2>80G7DGjN z2p^w+B`}KA6bLELG%=BNPBfgPQDEo(xl;~+9%IZmUo@9Rq93tNI96C?TBFh&`Z;C- zr0AfABC*R0%8(zC=@y8UpV5)Lj34vNKIq}wqtN=gm8oAkbvK}t81{w^brn@kd?^1a z3brbwFUCsOC@9}w)FKJ{=H6?Gr69S3)ghRXj4kIR*NTZL*V=TI^&vplMtHS`W8gOr z%H~FuIsEqJ(OX2#JH&%HxMyMgyV7k1^ldBj+1BN6E)m%4Ns{9x)(HEPDeWg=8n|OF z&`oc93bRvHx>2rN2i6h~q1;t)Lp^Tutw*7}SVN7oy~v^9DU5gZkFUo!nTZ2P^32fV z2*>#Jfe|Mc9iHA=Ebvd^Clio_jH)OvW=joab>`)ksLPde><(dZjEhY7_5m{okpJZ} zWIR>kzGvhUdE%r{9jb8THfV2!ginrz%;YZ#4OvhpZzXC7^ucbsvT0kdO#?jbxh?JSE_36CBn(3&0eFN|rh z%7hIek@FSV{MQwtfSp!5E#g|2HMD#bZ~a<+gg`9Wn8KCzkS31|q;qe3KC_hH$MSm5 zOPpaJ67AulG2dueLu~V^C>XkDJ4Crwc>UU%1`(gD!U98VY>3akX?Llpk+)IuRAKq8ir;Sa`VXC8_B=?ve3&2(WP+Xth@ z&XoMJKzDdMG}=YD)Vxmc&y~T|0~xrH$*F1aT+=7lUxL6oDG8fCpub{em{60@?2NvC zFqNOLW8y4{nm4b+j^Z^xjTrV5WouG!1HI;VK4xIvIzk|d%$4EI-ur0985qS=&`@wl z+F@;achXcloG>^iDWFlTwZ037u zK*%l~+`Y75@@Wy{e!$bb6{Xmm5&ZDDomOgUNmFh8!Qe(y_FyCLOrF4qzj4bt)m6Tz zT<2gy_SyzE%ZbtqNnhvxca_gl&J-*KSKd(6f62-{FN%K?II=Bncdc@JFF^uCwGTuP z6<*ni{VoiKnYjcN;f;tX15Ol8A6Y?0et_fFetHoj=%VO$1CzvB@NmNYbfXX`az-ES z=J+^3GyxlkFt3Zcml%KBC-Xxy(rR-g=0dJ8Eyb!Be)AHQ11z)dUBJ!HXZjCme=ZS` zY=eMNPbro<@S{s?E(Rv2aJ6=BN$IslJlF-R!lpsG0H0xZyWGCdF%)L-ijTPxhH)XX zv!^MKb17Qs5d+`TlqOH?6X~=z{bHBF>gjyJJLs9(O_BPpPgS04NFfj%Y4JP#)5-UQ z(Y-qwmn_;|j?L|J$N~W2`;7_WVlXNE=5vhjkG2@gth|3X;G(I*eb=y zKbX=P8^uRscMr44e{d&E2M>l;3Ovb>%p`)pzxv+C+AOf9v!vIN2kD+v(lkEM?QIsh3bru)uq)Hqsle)LFPh|3u#uwz<8_=(e05B6Bjj*nWK~UPSXL zSm?D9=#^yCi6!*=B(`@!92(IF&Yp;hf14X>)kEq&%T(1Vq$BCHTS3fg7hR^>+#aWxetOC!KYe!lu!4iyE5>VJPS?~uMFrLMGDJlD&|IWdRMb%=qc+cq=m(r>+(@kys@{xR zBp0YfsYHp5S&;$9#L$f8V^VuYSgi^)qGW%t!jr^LIc&qa?tBmXpsRBUFqT(Vw7A#g z8#hwZL~bF3c306MxkBWP??8_Wk^(y*gxO@E4!8!lhjbwAb0Q9}NHot?kdh=d8P!J7 z^`#r;m4W+|a8<9U-xIC& zF*Qv?kF+AxFIgjmbx7I`qnXJbcu~B}aPj`%wDaisXgY3+QiveuJx@_lRP-A3t`Tf% zu`R-BXsbzJc&U&>|F5e!t30eA0?DwGf#Vqf{|=c6@46_jPO$Nekk54#ERuO^AcoFh z8=J%~=_EuEr{|9S$jI=nBl8&2-ANu}i}j5On+#+fF3(;u+JFLtVhg@H{2uDyBxJBf zi$JdpB*{d|{x4?$>r4R_qto&DZu4|oWH1iP{M9!g5-__nqjX2D$2&`#@EZ0cI*i>-fQqmmkrRdEG)nNs;C4z)`lfM}@rsbY>Fx z(1A11;7Z>?%o^-Xb6nNEUF+fnO^f-%&X{gFS4X_Ns=~a#~ilS-FMPa_dt1Q@d-y4Mnp#+8w0H{dQSr8()2P z#jI)2CKB`W&$0bU^XzDa)q%rZBKwI;QJ@cSX}EpYx~Qz2ede zwUj`Wq2ymGtRN*a=`imTj1p8BWTym!YZRD0j8M6ZGIxTw*MWmhs>VOZJ;wvzEk{jHaX3Hw5<6n_+1e7l}gzh7;j8t047qeCj0}_1rJ)H`1 zq1074BiWmUD2TRk6cVXYu~TR3)Kw@V){@K@|2~Rb85%o1U2Kc}7O39#i=4n-j4tk_ z5oDLsD8_&HyWv`ZEsDmy2>9u(qA&%VJi0%A8PD%iyK-wZ;X6qUEvFU}l*BDsgBt=!w%UUU!-nVID&N32C{xh8VmC(kS+Xniw8QWW| z^N73&x5gzf>3s&XFCXs8NA5~n-F>{Gh>(2c`fojCVu**{E?7_!5L)j?%B;!Ork?nS zySOz|>oO_t&zLT5$LFDF$(%4FWq&m_rR zYGa9Fkk5Lu(_~qZ>&8i1J}_2)5}W3BrbU%W18m~YnGKr;Qy}igeeuV0A@M@8&F=xD zCw$Cewl!NiZ@&&ILDl*fePU&~jGKVJpbO&Me@0_~Q)^}vRkbZ)qizIXmv7)l9^x?}%(}tU4@6>yf`9&agX<$QcmY?$3XRYmB{{#(!<@PWZiut#f8}q z2pK<6lR_o;8a=^kAfuybDP$swhD-gy=Y9!qSQ|*n2()4E@IF6P8I`(2&^Y zWU0KmgExb5$v`leBMn;EJ@w{(b>U8z(BVleR}o4xfE8^Q<4pjf?i`21Wq`3v%+nl> zSdHc>jT@^rlRd2Kv?pc=oOlWad(=N9Vz_V0%|FNg=5LN1J$Jb=zI9;N-Q;AwvBRjN zv&E#(-K9OB6Y}x^c4R8<{K}EmvaI()D(Mg`$b8!ohZfaO!O@_t$bvAZ>_<}j7YRBY zb7A9a&-@;cDuLaM&9z5FsG=9gRE(q4osKH;Y#i9mECpAT@x%_p#By?xm|TOXy5y9T znk2CK7@?yyfhLiYszCepoa-Y7(ya~yhLw0c1Zglj{_?d1ava-n5ap9Zk1DMq4);%N zh#KU-ldSd1jRf72ZO$gw-<%>ZhIhKKR!C7TF&v>U$DDu)?5NDVcVvGFrj-A?4}4c_ zxB(Z;B`43fAM&d3(Oz{y8I2voP9TMf==g1~=dt#(#=YKj-J}2`BnGom7tWJ}(7I!^ zOlPD;N1!hQ6yO;>Z9cF%-#9fk>d!r3@>UauKERbs40H?*dlot{3p7UY%A~wR+kb@D zf#JIy!#l8d7*yIDgnI9MX8 zQQa5n_vL;^X=BDoZc-Ae+N@DPUBhH#4AXMK_C`qsI_9I>ZGkh7hNDXT(^Y3l`xBih zbjkHoI?AqWQIL_RVr*pP`|TNS@Tv1qnz4s+DP%5hj?V$%s4@IH!w{U}@yn2D&NdSY zu2QC8o1<2c8^)MHu``Omie7L z-1?oUJXOsb^szB`9FJm)%Hu!Y#LWcLk^>r9KNkh#PgFii*uy6zFQpRNiV8 zANp%yLyf-YfoH=(irL~`UShgdzu(=xBx#j9wqGG6CTN}%0;?Y06!s95hYG-IrjZ4& zSOU55fAN?UqU{pIX8FZtR6qwE=*|&<*&N0XC}RYbczjXP5>N#T$_V%>fOP_7!+=O) zzS!;o*ntIkWPKIX1OS|nK+I)d3 ze#3yY$G%9{1t*D70+hY>wMF(c02>0-wE4y1SpYWx1ls)~`XT@TfZ*k5##sS`Lx6KO=dJ;80N`BB zEt`OC062GZ+AiP#0AOcj1qB`g0-@R1xH!4EK(I#uqW@)vBS0D#`~MN!s(U$^ld>q8 z*r>VL!?P%oa&y76NLjnMx{-46eDS|yXiip+uQ4hd6;A$8DHkuZRU}%rbdb- ze|_3KKLRX8DhquD%5P4`zc54?w%wsn8udv4lJtujDZ8}x{2x@3q z-gb%&$ULWL@{5k0NRXSAj6-S{yd95)Z8-?>=XYCML~`}p)Gv@p=m8Y3w_A7vp#=Ue zr{@cYTU~LWnyZhMq}r1aaR(JwgrKKV>7uWY%KZp_DmzQNmb6o#(*330f+bI06{IVg`<2BC#*vT}VxcXpV&)?Y)*+ffu$ zRT8~vYZv*xA%u(@^y((2I5@F%cL2R?@3>A zB>8aHKMV%art|tUPeGFVhmeaKGC8Him%hd5ny9hC|}CXs}yojcSI^v_)*WftgX zEEf$c2$S5OUEdlKc(Yw)DDeO z8`w5Eg;`50`P_sCN2k#`a1){iEb!L$Fr(ZFPWi@~0$Q?T*e3&Mu%Gj`h;xpdlIy%A z)`zW{u>{U^a{Lp?!Hu{35lHRfJmm>PHNv2Suz*P4i1 zed3VX#)i$Y6ohj}{qi?`uc=!xbLqFtm_Rd*R)hiL&LUoY-uX);a8+Tx(ME7#M<8Enc41V%0 z#tN-Nx##qahN}03c!6;cUm)6(V$%-lH0TuUZXD3>ikfTF{ww`a=?}Jp#~c1O=jYh_hS+S88olbn1}W5jMHkV^BtAl(u2H{5{Cq+ zXvqwK)U_oInEkR?rEH`w?&cj{^Msg!^LOfRkC&df3!%`%kJT)4d zJDD14;%jY2Al%tbV_XW%>D7;pp{TyC^9Y|*Us>H;n1_9^@PcGNON2(UvhWU3siQ%DohvzTa?(-R_X&Ev)>A6=ReICEm+q?%+w1)^ ze)UpJ53JraMvD?CrRhztfgbi$(_BH>&Ev&X>UX_XCH%d#8|}&Pva6ms`C^$fW}|MP zK5-jWKaj?o5k+n4%q-_j#(d@Y1f`UCmWCVt-TB$xTPJ2f`AyFko5GoD(1e_NPgQ=P zL4;w*x%Vk4B_pMNXJ7w~*}pqm{owh87TL;R7MPlr8u@%BrJmoGnOyXzOR>N4iQJ)| z=Q;-luAN5WiXl48zGE{IMrR9WKU}W_n;tkLC5$P~ECcb}>K_1OCM>`0dE_O4n_)=C0YG^J0T@LL%(<)5-J7 zl<6(Fd98n{?=yRMg)_D)_>8xuiU})kZ+o4nFsIr4lUFWPxRR*>9CF%O5pG2X^1uQK z(*lP!hWP#Eti2B#bBz$;^Ov%z%GI4shGG0#=DTA$9^SgGu>Y-udz3K zE7$kJu|7qzUC@y;nkQl(47N@r#KX8m&UJENNgz1C2H!yk;%2$mn{7u@_iH;-o@ zR>2vBKc?EP{%lk{9I^acLwD4ops?ueGPmN!w3j#DsV)}&3-wGoqL*k{bXoQZNYr}DXGFAdb#RR59b zag*S^0z6!BVBXr(44E<;=q>~y1p(pG~ojoeAmt(d%#He z@6o&;7op+Q!2VfF=0e_YL?hsAYwF}Lt)kRqoPrw*f4>O#f&0|@8UJ40cNHy40k3~N zv4%OBgpR1P=OzldK&Ne{PY8?81gCgLlc@2> z$0{OBTk)Q~>y>?9USgx6odKu{TVKt|dX&LJN;ZxvZsC9EYJXGd$tA`slvd0R30=#^ zLz6Un-@}h|cGP~vdr<&4EjHoe{td`tN2oVnhYL{Yzh(W#z472{9$;5WRD&P<*CN{| zy!qShq)8nzEy3MBfi5Q^F;c#73x(tSl$?4l?+0%MLbXn?lGv=YlMM_8(iGxS zSXpybMh_dz`~3XC!%KrIbFn6jP{w1$sv58^=472;?o%|ykqIq84b&Os)0cmHWwoMs z)k@`0ql*0r!5M1Yt*dyYor|yf>MH5(UkB;mo#lA9`v&d@rsSCWd#_-v4+$0o;r0atA!8d zhPDmsAI$zK*7|5b;Zoh{Wiqx3boGCV(~8OC=#37NFZMfY*p(K^n%x4G9t<)mzxC1D zttIf?zDwL{u=fd>bx0J|$XEOzYpTp=ZeVR>=zsC`FuBZhU{TX$R9lrw?#Av6)u>dZ z_b74Olbx+Ysx(;!S80^x82jmPM_+qNT(e1GZXo5!h1xIy9Bb4s|5^U+?3MPS7*J*& zt`&00Jw)q+6Ml(SaFOW8a;;Lq%bFd(anozmv@KDk>KAL|p3~u#c6v@c(Gc8^|7Yo2 zWx+>oCWUdf{w=SG(wnVkOamKKFQfDCI;Ksti`gFs_d;bSs`PiKZTMvI8B5WX$T?B;Q9@kGekA!1pm_epzY>1Yyul~y4CV)fdx<%-||XC1k*F`H`SeVQR>_< zv)->boH1E*B2x)Kq@aH$}lDYmGTp49(=5r z1Jx(14iiU?l-^I=xLfgVlI#SZ3SFRF#1#yLTHbtx2>kICp1Ek~ir=5TqfV`yR=Qs} z(=@d$fp@adN)WCa_zwqbxrD&B)UTrj1TIZiI(Rhlv~{54F2wM7@Ii9%No*!u;j8ir zl<|$14PBGp`kl8>q#1Y;rR>bn9)nCIvVeYohWlMij_avN7+!OMG)hiA&n(Uk^I4Uq z`MX1R-zvOp79Im5qi{mMIMccDvW^-@s4dk9aItAq%t7_+g~$eX^-=}lojpEFAtR8X zaKN8FRJ9Uo10Yr3X3EV+M0H!!wFdQ9UqQz2ZCIsh4WrU3t;J$(@ekH)x{{IBlFM%z zj{6X+Y6}Gso;%x@TE#xI5|S$}-MP~xeZy)i_sBm7GYp98paV0h{fEz*hHNY}CM0cd zpkW1Qw_N^q?{f;{vXNu^b1dEJvLGfQns%}RYylRQZ_!muYf@no<-Kd z!ttx*Kd;38^Y@KZPmq&`mz9T=o0XN5hn0t&O^Qd7n@y6FLxPJ(T!N2Hj9ZxW|677A z{I$`4a|tdsE>PYyfDTABH}YLm1$XHB=-O?p&iCGZk+WWmfH8xq(T=^omzsdl-esrB z92N4~E-2T0Iv<#89%+N6(hyD>L>dl(Bi`bumchTZb=Y^A=`+>(n0?f0Vev^n9h$Z7`#H#XW@KG4fmyxB;qYf1I%ClLxIGP44Q>oub94hFy)iJURd`la8+s^hO|C5H zz$vYjsSryUNh|e?DmfS0CJ)hF83kz?R$&^EX&TD-R!*Eg{V1%WlrmHYp z1GCu2Z)9HqzVTNF>qnu3_E=nbC^`dt<;J%*IJpe5oTAGGvEvXoH~u-H={-&S+1HbQ z8c9D`k$j9v5PN`R#~!x8YOG+^{ywknT`+pV?^Zkdj+c%G+ua$iUqc;5H%pUTW3ezOKddB1tE$|h zpcHs~I;+CmGBFe=p|8$dy?sL7wmacHYDobYX7HtB704@gk$dBRCBO$U$OgDcm{X zOFZHGob|jK|ID57JUJo4z~P#e=C#D^CaZigeJL&dO+@)A_eyLhST2md(l9}8sHVga i!K++^;{l3f&(lI2r27IOLgZ%Up4sAIDkIoI%=iAV2}2&0CoFSwDDT9~ zDFGEdbZOe-1U6q(7^*D-Bee>0-=&`_U*?szTHr$;ppQi& zfJ5Rj{ApD;LuS&VabT(DCX=y9|4)CL)B8&#zC``w_|U#Prw-T6vpp}Ff#cGR6niZU zMW#+;R#hptZ&1V0%@_H{gGT&wasT`-?3CvmD*#&W^OsuB2`NyWW2k-Zp76^1xfDGc1oJPP^F|; z_th4fRBcQguPc{HOJ>gkyDr0!W89mDU?$;Pa&x&)OSwY9W)IolY+yDU!cbw}x358KM#4=&DPm&@NQv zE)9eTQt7v|P>rKzgx@Tzst(lQja)=fy5?DIBHavZY%} z^YPOTD1EeCPvI4lK$^yM(juhwdz7siA55)=sRq!3-rZJrZkqxN0#`iyhQAMunZ$VH zMi)=#C%%0rXw0MlHqU8gt2m9x#K?h+2Smphez$j(R*i5%8;4#OsAkAswftL@x34yY zY(P2ZrkZXuXcP{*WX23gXz%h0Jncvs-GNf1bou z>nRC8vq-ABqyZbPLk3PqTd+q91qwtAk{TjvNMLBJ6GeV_5M(TUL2Z)%_aP?GAakHJ zdFb0{|8*KG`BB1U7H5cVUk`P#8Hv2IvtZ}7H)Ob%i8As{JZb3NmluiHBGr*U(&Uf7 zUW7GLmsRx011Ku6ZBY*@!Y8{NCAksax6S}}B#eb_MF`14HXII<_QyUv+bZr~Uguev z;I5*?Vkwvax+C?t8s@3ltWM?{K+INC`k(X7r}N`R&yOfIyBP>h`+HZZ+J1Qh!=gEw$91`{#QGCCN`WRO!a=`LxN4oWzhO96ZTnszWrTCW<(=n1AsFm zoaVeIH^5jASD%>DOcfTRf8(n!8O@#<|+&SriIn4-I7O?WVsaCfYd` zRyj8WD6u^?*fQvf+>L%2>5ZfUr3Bi7rAghhWot0x#d)1!{7>$YC~A0ePVRWCl-7cG zT2O|&6-YtLMW!mrS0b|^HdsM*78i50W$H9lp;4RDqoN}pf97C7_>VM1!swf=ae)fo z?RM^n_?l?x0+Pl4(P@bencUy_6Gr?w((!wrBYs8_yr$5Q4-y#THXpve48aR$wr!lL z&?5l<$-;3vSbP>+narg+k*=sCZ z@=#(`8tMlXPkA5*6K>p%sor`m7;ELDV#HfAhJJ*Z;xed^rZymLiCRYfD3g*DQ_Qzx z3&r{ud^P5HYPlbOZ8qI8eGL_*XExp;ncW6H4_O%r$}XS^e{SX~tb7aNjSwbgk+}8& z6679=M!I^cqX<+!4}2BQa&tv1G-@e2QwTA?*Phe&woMt6%_umfKq~1a4=lV0=*rku zvw5cD5K5x2ea>WqLGRG3yN{Ug&f~maGjHCl#I>h+nd~iQd|?C_;}471VlNI9|5*;& zLw_0+c7e|%Ev%fXQs?Mi>d$|xYAdSIzxk69AVQ3rP< zXKdHkbt6^Z8;^vm89N*VG3#PYMefiPWZ;W(@Wj}fqAwCl{EVeqWGcHcD;v&@1lhjW ztg4U*bNC}x1knYKQdH<%fjIP&Fe}_Wvb5Y?Cf~@G4T+bFtWNRkE}E-2SbS4>mu>^^ zB!!K-&>Wa;Ht)K$tliM=&ACT@Fg`e`6CwWfZ=b?6J{d+em(^ZQ51v?*5)J-XiK z{~ZZx`A!4zYElVzqP_gkr8D*<2AX^s+++Fq4P)zal#y64byuW}ttB;^I#(pK$n7tT z50+~8LV}B6=L>AU@_xmFXt#qV#7#Ugd3sfTD zgkML&@Q*2%9HZ04p~tDdrta-OAPV>qb*Q3w z!y%kf{>&84BeC|Dtqs&Z0G**^dz_3D_*%0^`Os@CJ-L%UM3q9TD_9Nucx3lBV?KJM zSmLP&je%+nhpdA!M z;(?O+&k!+z;~wagXKfh9o(LYxf}TAN(DQXfx%)tD2stVGFIPz zt2o0e)+!e6V0urX!z>?tj=#-xPs;9c=0KmFOJ!?xagM^&Gy5g)h@i7eu*@pOxYrum z>9P0Ieeo~sTY%%ptFG?b2p~2Qsg7)F!B%acaeRFa;d_W&U}dZN*Y7?Hjz9ASlyj`y97(g1w4g3+8Lxd# z%v+IZPGp~KynmWcY@+;m6Q5!g!`+5|9+mE1k_=t)g5&YB5)NV!u9_lEqrQE7 z85B~p-$RNxFk1Y6njPaGh)3{solDgsA(_8bQ(`|{`kJ4s?%P)a9vq$o7ZZD6O(7pA zvuW|lZ|&l$7@?S2VI4blPS8|-4YIG#RB>ZMQmj=u^=4)sxxsbbu~!4;_h7Hc26+?`7qE8U@ULtEJJp;qX}3&E_uC>qoeLSC_s9OIe2Se$ORJfD zLVRdjSM5oizcwSfFq}GgR8e}@w|)K=9bQlo2sjrq@9#f+IL)G`x*%%O>aJ@q5+*_q$9 zOzFO)q0t1F&%ayecowJfEWiAjJMIg;qfZS}IJ(ycOEdoSmy?|V&IV9~I4-%Xzj6X0Z zs*!+C^*x}~nG|vXhFyp->T%EOOx{3MBJyN58UUVrX_NK1O%?Gv=X}BH%s2PE6N9dR z=D_AX9VRp(wlr-zElc#KUaQ)`rSJI@pw=Hkc(G{b{kNJ7d@g%6;4a!kK}>q3_Ijz^ zl|k6VX}WdWpC^rte|oHr9DSjxLhAyP0~DdLV1WhQ(IEN7S#t3*{f%3% zB~Y2;w|M(M7*FWe$iJm>9dM^}UUB}VjMI4+KcZ{}=&ky;>#WfYTORyZ=Nh>#gOrw)0ct~)`*!a zy>kq4Ii1!dJikfekuU@#TdjnC1ntit^gAa(qK#64MdzjPXpHq`?FUQ!Ab){=;;u~> zh4w0%6sgSlTA66wl!Vj<873VH4NKPDeo38~S!ZK8e}Gi)J_kBO@%IfL#I+@nq2_zU znI3?IW#)hll7I+{P4nWQhE|O`edTfdNd&5WV*9e?@k1yC+Y*zI_-+}=JH|v{3fu(4f!vJ}DxpcgXAY^Kbbf2PQ3jVe>orNZPLTZ~ z60Wep=wXFsqwmLwTs25$= zY9B(RvwP2{2I;A``imMHwP1gZhtsrV|IMU16E6s3W`mgm{~=4%%0pL`9TfC!i3`ivGc@JE2Igr zmwPM>Y4M)2hsO&fOtUQ*TSxtwP_@a*w(%OFCUjyCTx(qky%>ydT6=z_qiAx&j^^(b$9d9LTA_sjndVBeSj$!sjR5kE&IFmr9SkWorLO_E5HrJ2pcN_`o%|> z+E`n`Azzir^4k!vH{BK_XZ-a{s~{Vp1ZA&Ql))cxv1zzPLLVv!>Z;C82_?O;*~=qsosB`YVj`}5R|o4SY3PI1L?;% z8|b!uCCQg~T?b>x7;#nJ`(#oIVyvVV_nJ#G2&H7FN-X!k;FBj9Au=D2S5wk19rtu$ zD={84#wXEP02${M^{EI~iLyN~JbmSi{aItgZ1VF4dkt>pA*WD!x^yXzb4Qi_SY-1)WP!W#S z!v{#>PQS95C!rq}XOQwVk6jZmd~vKpzzJVKo>I$V7PU06{L(c9!-Fv*;|4$~oP zH#%l>cntRR7fj1>em64)EiJulXT818?hz>H#cnpqS;u%NWY4uTq1W_un?LyDU}kj_ ziLR&Q7W)2ZRYvOZ5|X)iSG~7Y1l<=Oz2*wZ5vDy)+jP;hbhBq%604~ik9{kijzb!U zTZMOgm1jIP0I_GK4k87%O?H?h(Joo8D-^dXEgpG64>q7U6sMEorz8fyaPR~hqDEhq zUfv7Cue|m^eyuI{OUl>fLuLQJ@)J87%YW4?L%Q2e>)e;BwP1KZG1do35u zUcHRUK>xN);0RAmBB6(UEd?GO>SNC~m#V1Vzhe76UNj6b8|i>7f+;_WRYa-+7FkM> zVZ^y$enJZ1WdhzBpNI&4<`2z&@ozu`vVs{+Xtq$#ue?<5*sQ$yNz#3YAv(#Tb~B=& zC2x@*JPN%~sih)BO)T0AzEsZ9`VFB}RiWXy`(`ZtP+_Wu+J=iZCiTIwGTJ*0X$!FV z*-~WAP&|F)1SkMmI_xO~F^GNsHHZ!2uoGf*oAGsFq7-;xb6OK2>znw5bZlsJe8XWE zBK;tg3}H&*1Mk)tX_FTS${(Ym5T>CZK~LlQWe9WBBvS;Uym4t^M0<>V)j>a4H4{JN zGZ+e{zTFpOmgTQxfLBKeB=kj(*efX{7mdwC^DU06nQAU z9Wu1yZ}w~S+K{we7Ag_ixS_g!$_&wcD)qaV|LRM~$*(cA5tI_cWLP+Tnn*K1YWB9_ zpp`J^GU?P~Lr&x@>J}G$Z;732W{x3fANTD=;v7c}}2R`a5BK)Cwm6_`FBvV#i z^Y}b-BqNo%>etgp3c}vwR&vGfnQ*i@UIvN!@_I?bCdC;L$Y)qILy;O9_s9~k?WYk# z!;raz5w#Sdrzt!wUDZ3izl>plRJt<*vZ8K(KAn^hE)|}L&rRrIB)Pop;M z(?Ko?;FXreN@TZQFo98b)#W}lbIZmpWt=^!--(Xr_?D$lze>hl8-W**x zrHEYor9nm0i1IAIr7eXs+j0c;Q(v^@xYfGP3&v)0~3>&$_dNOxIpWH(W>E zrWkRpt?oXIKU$3LGI%%bn)c+~dWb^qd{T;j+U6_$%hX9ww#6-3Q}wI|^qO5cu@f9q z_hHUTntOo>61x<)xOd0Mg-VqCgELReZ;+cNA<0(u_A*E-qpsp_N-bfdT8rObE>3zG zfpDF0;~v09g#2w*6=o);qvi-}7Bk}Zs`cSllCQE>0Tr&qGcI-s>$)D3w?P{PzkY2; zG9PWB#%120;#bt<3y;gZRL=H+hkFCKo2g%K5c~c)AY_TZ0;696OtUqSC@ELR^Sd%I ztpiM3oj8ZTPg@L2+3bJ}FCK)r7yH&}c3ywhxjTd?aB^S0y$)JQ=X5^ygAaJ0Rk;hU z70HO^K*bmg9QHdD*72>sgH5ti1~K+g!_+WhxcT9SA$iEZxV5J_!zb`RPvSK7(G9HA za*+Ilrbi3AWJ8>~Hvb#MjXLd;=hxv=j$7377CbYC{>OS4a@THaM}k722S3c0_-l>` zTY+_)1&LH1jy%n!G51g0dULXvko8ieNaWwB0idLqxmcqgdZBZu{#iM7wf6V{1TmG* z50maM4}L5m4USUFA-=$N(?H*!&f<^c{j(TmoREeYWl9qXiOGJsX+s5`3g_*Oo-|xu zb2qlISC$tvG^b4oW%CqR9=2R5YZpZWN1J7oAPbg}#>s@AG6l+zI8rubj|ZE(rffk( z0U!eXTqP@xELT58x{d)70*LxZA=Ui47O3O|XGi4F?mJa~g9)kQeF8FckC8piLd(wZ z0oyxbQ{S8WN(3uff%Bc3C>8OO;colR12p$n^Ji_}8aw%1d@$eCLzIow)zb#f8yNQ^yw~wgL)mV z8A9uQg!x*iVJT$?zK8bE>niWA$w0DnL+`9FafkGL{>H6XjQ$YWBilfmc^A?%Qf#h` zkhlE?7#iuYej}6hrLE@6Jf|^{3g8sZSnz@~qd4?R+&JKDe<@J=y&k{HPfP$g2DC#3 zqLU)lBtKZn<5s;k!B${ed1tx*VnlTF7`)IK6Z<9>nyfrrQX=~mCoU`m9jWtZThSS^ zS12#gXQyn*EyD}c&)_FY$ImcRHRkeV`)xurAA9u{s)DcF5qOYtmC~3qZg>hdLyIUk zLQQvM#3xNI@eG-svTvdZxi~171HrznI2UrY(S7jmx$H`kCC90arCy;>d*+|L3fk zC22=#KQ6#R#`p|Y)a2FXlO5du0Enge-~TWA4-nXBVorPn1>{UJF~@05mW8ZXPBJpb z{S=a*+ONO?vXI!VUoZh(bYP*cP}r@ve1HlDFbXCBr?uW1Pz?{>PIH>0nmnH!2P+-A< zPc)bYq(OmShdNKfjh=Nk$nNc2>|y`e4_s{0002XOn+kX8o(0@{CD;#rIzp-%Bu&~h3Au=mCnTwma zTaeR=^Rlt9aj*c{{*Mbd^$#E&k`>Hy0wBWY;6`MYv~hKFC+A>e{hvyeod^7-4L}dt z)U$J2=fr)#H0q0+bf-jjGPbm`GNoAsW@;sId#s(9n`hQHCs1i5-dS6HyygJn*~+yT zu3E@Eb%QD4^*6p>V%2^1&`AzmsEAP6cSJ0=9}HnMhsQ+wR8($4=~I4-(I#s?IgW`A zMX*ZZ5-NEshqjE7Nf#oKm8)Q~4b$V18t#zUY(!{Yb$q2@}fh+YPp`3n+5U5XH>YJ+jEEyO`w=BxL|+Y_9UAd z6#wFr-%d@6uxyEImVb{j?YMLn3C=fkWhAOw9p+hBol_h1*)Y*c&HMA^E28uE`*7tY zXPde>wATthda{UsIn@OiupQGMPXa{ho_tPij;GHLJ9u!_?1{xUs}f0e^Xk=);%J;R ze)D0Phw3si4z?KW1|Xe8Nf{Zx^mA%j-tziLLsz{t1pU!LV0a6ryQ`!^6t#COUArwZ zuvfmX;vmpAd}&?*CU(4<(SeP$RjM{HO$ zs}I{J$R=h(5Ad_G{H8!9mZGd}J~-&RvrbOOTZCTO8*cVP;&MS>sEBXR&hXoj&o%!D zQJMLmDwwIzd@ubG8ZERSzQx=&P#_8Zwk(nXstrFRSO>})@`os_MR0g%3D1Pf#3|u> z31wQ0@BOy{auCuQIxx5dNyfNlln;`eT;|EWoC%_h79Pg2hSJ?_QIr{`l?#GFWamxy z>FAaTAj{*>-&-2p(0X_*@l5CBKYO)r?RWXYQhL#53S3II{>JDyPgarNq;nww1L&o^={h2~ObZ{$E^_^bS1u=a zeYRbJ_z>$&aDR!QvG`&*npd*OFO8~2^Ny!kl9kXABU;)5bqAt3k0-WDV7o-(f=VlR zi8H~8!ZO@l>cA;DLH7@J9pVa0^ZK&PcqVneHDmdg>cp`_g$p$;;p&WtBkfATb@_4R z;CnieVo*gbRmh#-qV#!ODhHZcxvWfhvj7sbMd!Y_SPYJJ^cM{B*6ld{B*+LjBb z4iXA$k7iI_s&!crsrJ!_oa*y98zM{N7xU+p0gy)95Ws@D-YKODpncFs}>gVj0aSjLN`A$6sDulQ2-hmjZu`5Z_`xH>`5I=yOPWg0vAw#=1;uAPhpi9 zr6jI$cjz#fUI<-3ZrfKj1#T~V$Qa1~OQ;)P1IEyZxuUX_e~bs6=7G{1%R2Dq@?yc0 z;s&17UV=A$PBeHg#hY;}B8VHOw6SmXw=HXhAVbD6fmJlS3nziX@SeWxl@})}N}7We`*vY<{Bbj;P&x{7&#oN^ImCN_3DG9O&bS z@9r6yqN93Z{(1rSisW?B9Y@X}ok2^o=*GJ2tV6N%wuY?Im?UF>^ma8J{j;t=h0U^cbramj8cP{;Rxd^kz z2=ioizl2~Lgd(wSEXy-oo-pqhxF4r9;-Milw z{aB%q__CLIz=^aa%{3V883aXwRUN3qabE0}4Y(*UTENT61xN)c${+}ajYHcz z$M7QRo2ypcHnAqJ@eE1>)`9c1vTLF!g4l=zBGEoCx8D}JVM6?4(C*XdXdzh-$ouUj zoq-F93>^hSo8kkaaNy?wNxT25tm`^k7PH=^lbPPBlmWqCSqvdTf1lgE=f`Q-XgOqj z!;y_*L>07vva(_mhLq;!(H@+G@JDha%DYO=USN@3$xN%*z~%NX2(u@P=is#EDWkUIXZ^gx86whsxbCjI&nO z4_|@0kt+M%lif4mXW*#0n_!lbR7fosN%ZM>K}h5JH`(q0uiMM(3*0OtP#14@j3++n zNAF0F+%0)twqVv(N!-O}S~0hZ@uy8v=Qiq~98Hwo#i9RG&FaT?I~9~TH45Go)y&&R z9FID+?Res?#Rc6BRb@;M4OI~aDz|KZ5zd;dY)qbzddm7$8@7Mep5{lY)yT`C0wK?f zH@|vaf!TOEQ1-&sBM4*QB5-8ilq+n0G5^Thgjh3)(5mJqhQlmHxhX7Je=EswMith8k19vs_?(fqu z=L)POz_>bbuD$BH^tCjA1H5}j$mJFhQK-XWH`lI>LMOFKOH22xINk6Us!qqcwOqYj zUEMp`0WB6n8}xjCuLTZ?{Ww?d#Uh2M49w&33vb^YhR`^R0>k$kN1vVjf^fpg1bcrC zTP=1z4S~}1DRGAvr@}Q3foBXeZCJvi0Dr zNxnf>B%Qmx6ESD;azS6|>X`j-*_L^cztS3{%NZzv>x)ljatj|vly7@s(BV~&!M6f? zJVc3wY+Vxszb=g<&Z_T%tOkyedPD`HFAZC{?;V#6EW>B>622BRuA{rghBxC&g*ma& z#YU{NltYEP_T4+m+9yHYyw--^=6Cbgel9%BPxGa~mf7zwII5>U>^!7svpNZzlL1}P zi`5`0^2&)94a??@v8oP~Mpuw!D+x>0Euj}+yjpailCyPJ<6`>k^vEhy>Q{-MYx6<< zK!Jgk^wso?Az!+N<8srsW_Q=F#*l~MN3n*ngN!u=qPa4?_zn-w3ljIv--;%o zIyB2^4w+@qjF#gbmYe@3wmLQp57ld3*Cat2V=cvD9*Xb(vK$3ubTyuM!${CIqB+!R zo}XdWP`m;kP^s?d`_CftE(~jMbenapc(;a}TS=6wMLSFUS_Py=^@NEp;|niU{cA-# zaeKWbJt^RlRx!1Mb0x~KTWqknMP4%n`bS4y1~RT2 zFJp2VXI`qxRZSkHu*H#l+fl^!eAx^c)wz0r5;-$WP~wih3g}I(W4^jU>#0T^LR~$b zIajVm9f(~yt$R$HXo!q19jM$jwHUHosjbw{M#0ngICo{Ku++L6J=lNka|iKe`VrhF z+xy)ZrXZdVW_0;FKiv3o`Uz#++R13jzurCI|0;|g?^}Ewb%*3Fd}M=V(>`6QQ~G?B zZ(h;nhl~~3;%V_%pZEzrDtYzvrz^V8KX(85*TTD8M4x_qxsk9Oa6t0^7PKT&4VWj$ zpEGSn^`07fC)L0kkR@v_wFPxb;P25Xn%m|tCdf0^u&wCS5ws0!o_ax->6mizkXVq_<*&mG>kCu} znjO$CU&z$VT?9k;PGV(*>J=`f$^B;LSUpH?*6@01H(r^E(;zzga}NRt9xlCboSbF+ z+iS>}h!FWelQToBoTz1MVKbwXo(g}1W2HM>BuMzcr`|qOPs5Y`K(>_XTxo!1;}08a z%g5v;%tOu8CqCdeSkNoANOTw)f#&`gRUi>%uCS7R+4DBsG(W(bxAhZ3F!*CJ^^CT` zvDW&;p7k%Vc}upU=tM;B>(@q zpbCC&^xwVI94s8**)aeeh-98eUPADEmw!{UafA~CqQb7CSE#{Wv6563rn+^#0FzI|;- z#FTODb7%t;u>Dh(e!#G!pex!zH>)m!u*=J=7bt>8+yR>XlCjH22TidoiR!{h%uKH^ zsj?>bQVn}1%H|_W60D2JiorH0qvFJe$d(1$YNHVuQ`iR+mcbZJ8!Z%lwb^zju|IM! ztPd4WcL;&KuD{s1(;o9v0d?STcl=0JPG#Y-IS|1*fqg1@2fn4fy}cQ~4?gw_awAXD zpD=xNzdJ*q_G|nJ1SxVu{mwTi{@bWU9Li*P`TZ=&YzAq0mk_xZA*DrynGc~fFHW~x zkOwY=1$ux5)=J}L>-#EvRydL~Moq6mTNT^w+VRf;=nV^>*}CgUILTT9ElXh5tfgco z!K4Kc>{2OdMBs1Xo`h2_&+rU2RPnB(M3qr7{hfX>-e