From 5a49af7c9fa5b79d5539398f15e171adfc73c80d Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Thu, 23 Feb 2023 14:56:32 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9C=80=E5=88=9D=E7=89=88=E6=9C=AC=E5=AE=8C?= =?UTF-8?q?=E5=B7=A5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- atpg | Bin 65200 -> 66352 bytes ls.cpp | 30 ++++++++++++++++-------------- 2 files changed, 16 insertions(+), 14 deletions(-) diff --git a/atpg b/atpg index 89417e76218e00e4710421ea9352942531462445..deee0ae4f9725855106a50c21e6338db35b8a8e2 100755 GIT binary patch literal 66352 zcmeEv33OCN_V?>_0%6Mw3K#{o(Wr?=Ojslhq6tZp*V2K=qKsP-I)P*iNldySvS_r^ z!t>D@6=s-G$2g-S<1#YihI_&maE-VzZp4+>MphMYqrcy+s@MI}bgMJ-|IYvW&hc^5 zRduWC)~#Fj-nzBC$8`?Zlmv@KG9IgRzC1)Dxns|%sW`i)y4Krtc2n-TXP-NE zRAb$!(ToJ5i`t;-MblS*kQ$BG`ER+40v^`Ramy?5>#A@NAz6#hovA{b@w~ z`Ubyixcu$G*O49bxgW@miIJnD@mTQl;*@_DgvBbqCk~!F(dk&_ACH5dxDu=UrC?Mn zxHk?xsd36@#)0pSL(kvh(9;rGic@}a9Qx(4!Hq{nQB+?V( zz|W1-?)T`|DKYSD0pCVSY0{dPcxJOG^E&7x_*yYf+XTE7{3Ljqn1>B`KeS8mt)hIh zD8C2gPr=MkR>lG7CVQL$k0RPF5pW6fOrxj5eb!ktx11}Lmd;;LS6kZXDR1zUmP)10 zS;eIll?|2is~bI)4YP_1YU*k$XO+*bspNUFb1t1Wb*5*0X{o!ZDJLgq^xX2sYBz8; zRM*aTx@UTFa@e@`g%B$yB#gdg-*8o^xyJ+~qZu zg*lFe0L=7^&MqzWR5jEsDy^xko$skCt!!whYX}$rcN?^q7MGScHdfECbH+%=Wu4G!dtE_K#5(x0c?18!V8>tX=MirVwg+sg6>(+X5Fi(DOtFH(9HU`(BzEaEzYa1shsPb7qdaoT-R91TA_g%=k{DvUkR4yR@9X) zs;;Q4br8cD{o^<`PJKLlQ5_iTtgZHlK>`DR2}R){9Y4R)0}lt(pkhq1m=VDU8DvbI zRXQuX)G>2>=?pX%XVfvCGsl(A$|-d?_|Vpt6L+cq7&&4*M3R^WK8&w!EUl{t8@QO| z03{c*x#bn5M9^-rSqGbO6w~d8tZDyYpOlhlrGFhTWs)tfhcgYe#sD>+gRy= z060qAHB`wgH=wDQ3r=Y@hMo&n489sNfx5Y+Fe9Gw>Kf>9NkjF5%F>3)s`AFF()zlZ zYWFocV}Y@@va&*e9Sat)(E`$6qEVuu+C@x(poc%B#GDI1Q)n#fTM0;rp%joSjwC$7 zObZIQsrrS(94Q?~h~p{+nJzbU!Bgp&L7Za3*-*)(mecj0U|irOQwH8c@(iRVMQCU! zzXpS3SYNaQ-sF@jG>mhv@l-aJOkEfzrn0sotS2aDHx#6%Zax$*Y`8J~%y(mMpxGx! zDxF=ss2UY#R5p4SRMOn!Hm0R|Odg(jrS7V$q{fEw+6wd;hSz-+K}zRAumFHDuf((^ zQlziwPE)lK2lMQL|zOTu@$JD-{(Kl#Usd zEfvg}lRw#6nloz5s9dSY<(v!vGRBU|iAv^}i`q?zUbRN|DmKoX$K$1=M~w}~aw5^u zqeNj8K=YW%6R>Ve#2@`j!a9w|`XX*cDv5>3?3ePbQa}9lmjH% zQc#!vQ5|}CU5?wrO3=E{A~nO;G5n^I)2|soHPeOTVUdzig6Fp)Yf$dvi=S0EV#XeVA6nynPynIy@e3gLLN5StF@TMsEp9H))3jPNH zUl9erOTb&B;C~kIHBs=t3V2%-`~d+^?&AG0_+X^FUgK~uo9!j=lqBsi!Ot>)2)j-2 z91~nO!AG0m`%LgLCir0!oHWOHQU#qB05T0A!nLAbqyec$;^0a0! z9>d=!__+oUq2bpPJl6y-dzB|h%!nrAsWQQ#IN_(>1Sj1!o+c9~^6P)ak@pPNugAE`;-2^wUL-(2B$C}C?Ho<8>F8l~NBwh{;17Ueg z@L?u+stJCa37%$xr`58aNsNXr0*2pm&uBj^sh&7TyPc1YZxQ$uT|<>tK6@PXhx;WRnG2ZFbT)8zOb z2wopflaqEJcy%~Uj_!eAc{oiD?t$P%;WRn62ZH(GG&!^ff;r(dIkE?WBg1KOU=IWb zhtnx6Z3(AkmfnBF=r1{{=zlm(4l4Q|PLpGb{)f}#kfQ(LG&!Q^e>hDJDEc2xljDj0 zhtuS6qW|GEIhyEyI86>F`X5e{V~PHU)8tU1|KT(_lIVXpO%5dbA5N3wcpzvAr^#VF z5ZwQx(SI9De-uuWgNXiz)8rVU|KT(_gy?@bO^zV?A5N14i2jGuFt zRC;JsdQen4DJuQr-=fApD!n@@{aIA{gQ)adQR!EVwEhyLUY`O}$7TX`v%VN{Mcu3a z6B&v&QNIvoKlX6hITfGM4Y>1=m~B5YZuOkA3t>`BreVnxnN*S~_1 zBeLHkaewXLlj@epnLVl$+l5Ws{UJ6A?eurP+uD~gaWlCoi=?GEl*d} zm5D6g*^-`2^Bf*VrV>bM`im%w`A&ELK<(|-F9SM#Ard;-+u-Z4EsFMRdKc=s?0Z4+ zcT_OYlHLl4Q+;1i3)9mGW136-#1-(Qm*_jtRe~hzud>*)>FcOfbRolwQit>>35>QL z`JVMr--TZ3e+J&3k9xOtGhhs7&m*lmvyX(g1RMt;R}t(lPfL$d!}ieMa?s8GFW z9ClGV1XI9;6(~gy#hWRDhiJ3Oeh8JM_&B+e=S)RwNk2>=?auTa2wj1)WT*XodAY`b zyqx|8>%?CD6zaqzB=q$l%#g+}iAZ!cosl4_JV^;OPi&!w;_G=-(ifX*|6SDHLLr3W zTGrOi;2_AJel-%oVkU(X72n2Wy^H{t0RYKZ)<$AkrD%>dNVJ-m@$PqoYgwxjaI`C( zjP4R2omE^ArgZ@`h1L-TQnyG)A{0 zL53jTMA}dy4Y1;Gsrl#Dphf*7ig)@cP7k7O6ynkU3KUN5+GJ;7N}5wUNnvdM2g-xZ zPW40muZRYR(#SDRkv|)lbUsvBU&`p3G>Ft1POTCcdJIJa<7^0m(@<~TDEZ_T){J~| z9-Hs;FUh|+e|G+?*)!o8$f#M8**AWcuqbp8G&R;vq@=gBqgFAybUC6a-P8c_oNG{BJ3DWxTizlKtGwNpy<+bC~6Rgzx( z<3s>52;kE#h}MVm$j4RG)kHh0cJma`?$l}lJN?}3 zG8Uy$IXuWG3PqH$5^=#X;yt2sP(Yt_kOYTy4dYM&b3YZ%DXGk($vm8ziV!?mgaIX# zIqiBfDgm_L1p4M1;`i)i<*eC6bjNpA6j)*u(BJ0SHe{!Tvn#{dPx9<0(EzH>K%U;l z!6m2#xe`bV!nLla?7+C&3;-yr1<0i>%T=^1vXww#dLGGSDou)v9Tc%~reHRu2%j#A zccuw6k8+&$ot}&5wZ4GvOD^p!-G@%Q)C`w;5PI2}2ksDm3NZ;iRR-2jF}*aZ4DpMX zS&cGeLxI)%kSj25#X?Eyk+EKEdCzm9;={}(c_zEm&x!NfrcFx) zW(m(m5u*GbC==sMLFN%f-KTWyxj^YSY*j2UWz;9)nwhi;yYkfz4CDXBz^Y zMad)t%wFl0V4~FxZ%wzVum;HrrRFvz|>av-jIqjR}mTe%*6_|9-A1FAjrXFT2 zY{Q+}0unCyi7T=TyYOo6<~zOWff7cd9>%DG2ILESR4SB_4?O(LrcE z610vc6}M5SbSAPisXEhrW)>*NW$*S*2|6%8%xhKLUCm36&6d2fzg=F{4rVkjwIX>O zjV`Di2X+W*bqSO@F-R^u45!?Z2n0@TM7mR3T>{Nl+*WPu4gQ0kp#UfV_&|t7aVOrO zSYVHumyDKV|1!Xvmt;$x6BPHcPR+lLmm6qNw8SpOEh(17^yVcwl4p3#{JcaeKu%Kn zrIM7dwrd4hh4yyYe?MrEpO`v!g)4nP%Qo468gWv)y^Z*wJ-C(v`&)9$WHh&>Fugw< z?ROCNlX`}Wam#PM7WB0=Q=fdD=;Du_!eVVaxouDV22I(gWO?7yre@`|1LWTZR;dM9 z`k#!fGHoWZ{M!Mi>c|5I@ALCo=-m*j$h?DXIT$YC60>AFo+Won}Bm19ZEC(h)nivF*6$T+O9e_3lSOowKwk_Z8&jY}FDiY~PG*e<25D%~b zG7ylpRK8^wQ4<*VVNHZr-aVmEz80VwIqmt{YQp2tSb3BTT_sBD#VF@O+nOsqJ*OR> zh7H+i1|oeFvZ*~O=;LiHHnO0!gOTaf0@MkpsFGZa-vZ+{pde<2P6Yb3AZcF2 zxQYE&lYPAY%N>l{rLawPu&!7}!e1RI{MD7|TalZyO|kdLEq5l7xty=`oI`%@mb}r> zK^HAOuP#w0UOh){p;sOhwU6T40!I))GG}Dz6wRt=txTuRYHg$DeBa57o^Ng%EqR|6 zrM&Obl$_?$nm|Y%2!Vle+B@Zz(^;#Y^bDbQPOWcq(->yKuweWR)Xx>DNw0^`wvFr+ zY$YJD-1aua$$V{B8@R3%UX6W@~Fj9f)s#Sz*!$Sqwc z#PpV^AUYK-gSAQ+)+QqDYX>c&CZADU+I{UPi50PTOzu>djubgqP1wI~&Xv4xigXpy26whd7>y`5*v{{GA)Tn=B<|DGomRz%T;>qEc9sQBOW z?jy0l{6*V5Vpk{Up#J+FQVW8C_iPLzqarqH-V{aZX+b%TT3rufXeVI}g@G!P&4tIc zVuy+-*6*eA_74{AW&0HRY9zT`#}<$5zme381XR%!%%l)f)s>#=vVSYL_?ZYoK)GMV zCK1|OvvXdA)j0-q z7W@a>gu!}muRfI0MQpZuHk}abGZ_z7adp!s!!B${CJ+Bz;pVTPO$FLMkTW^Q3Ely~ zMgov{1cv}WZ7?!?);Rb+{yBV`!uTrKWa&w_fnwh4D{0CS_BdEg&0!lOl6`?GTbXDW ztZ%VH68wU2sqfN)@;5NB!4#TCFrLXzCll$1n864q6`#ZN}O z)!0Mg{yS|!IMq;i8|nHlw*sqaCyARgI1d3>200Ukg*IT)6tz=P;qbzk+sL$(p%$|- zRTMEeZ7_twHo*0w1EEkc=Ko@>5eQ=mO$u!4V^}gEMhr_fLKexT2=M0_^PWNgYO#bO z#r7{f;|+V5n9ipWMO)KOh0a>Do&vOxrgVI7)!*$;F7&2kHLckGnfEoPcCu5eOQy}1 zwEX8-%NjS05Pz?&=Sq%OQTwx*22w>6DKjTZOG4fgGd|xCNs+oMg zr2;B6sy*4E{zwxoFG1TUA9`1_E-0{H1eN`h#r%qG*U0?(_@@w8V}8vb!8Mv7LH4H}QxfW#Rdix=r)z3JQ;!UkjHU}U4 z3`Q=z86f=S$exB)m#X-8dxl4f(1>EoK(8Q5{JXtK6~M)th%Iv8#<0(#fA%pEx}*yy zU^+SoRVnCZA$HLQ@{Nq(NT6sHn;H=E7RqP)$;wmcG(ED(bN77-Z+U*QOY7@WyIq;s z{=y!YT6#G8;#@hkLa!^sR ztLlR7(4PjWv;?BL61ug~Y1sm&ra1FUS77O}03;qeHIR4)Gc*3}*PT=B|Ma@K#gN?# zh`rd0^QOwf64T|u4(LX&tqG<_E_DlBJQvv)Jr5m5br)1F`MQ%_YNvh@+U|Lh&BOkK z-U}T$2Xo%*xt`K4^<$U1$E9MAk*aR~h=@cCEqiY4*%;#0_N`adW)ti~EoHaAISp8B_Uw3AHt#o{g z9id%HM+lo_MIoi5yAM2H*ntA<4r9|REDL;xuZxX2ZJWDjnKct*s6!gC;Yj(;%nqmT zTg$@VuzfduXE#aVY>0;gGFkvHHWgJsM`U^ynv)csod*|WGiAce+<{%UJT9Q&jZ#-& zQ3B-QT$omQ`TbzM;@`d=)JTf#*np*3LW0x&ioEvhoR|+abQV(5mnH_}U!bV_bG9qmxr&ybtQ`8r8947v%7vmLgdCx; zIyKd$9;f*1k|%enI&hOy?Lt-WX6^@1blG2nq1QkFc3>e_r$&Z8qHn0va|`Swb_TE- zD`Im*vHDTag-+^se_&YFPW>;4JISo51sVD<^ir5y{X)cP)j1cT*uT9vXM6r^m@c+| z$+nYIT^jZgu1hw#Ku~_#TH6|nMdKY4wC=Fo! zcjyc>2g||6WF@c!^CY#45!g&p_Y}$h7Dp=5OwTgNSnAuUj`}t>kmnjS zVV39j-}_&d=Vw5`e=5(fy&K`-8;FPHc?x=I$n#>s+}jZT|02&@(3zi+=T68o6LFJB zhp1XFk$&aJpA+em;)pa|q+ojbi{!aeFEEWo(Z9Gn??k9S9nRRS?_mV))%#%3P4a9$ zpRdBb4p+2g!C@e+gYvKon>A91)BxYkGuSw4} z{6Bb+795JoEsbbOe&Q_PwJrLyvR*n}9D2)t(Hq`Hnx11Nn}T%Xiefman~Q-bxp-m? zoxN;EZD(K^%qUuMs>@&xL7Ad3ebQ31fO&!Q~sry_O-P4aQrnJ!er!KXINd6HdTN%keg5)6T=F3m?0kya|LDZgO zrj|GxUf&qR607~IkB}&G{~Mf?{b#Vw(|)7aU0nDM=?k`d!)q7We}oG8HdPt(1x}G6 z&y2*^fH2qra&UfzbxUeK^N@13(L}UIS9fq^*}*-m;bs&BuV>+4o;==NdK2#d1{Fg; z0B4@?F1?K4H?TTrXSduk6lHqS**rxX85x)dFtHv__-T5;<^X8MY(xzC0;_WU+P9&u zU^hf?nG}2*s6;(-MLt3&;VFjeA&yBByA0SD(hFHl5)`Vr2Wrpt%RG4P)Q_JYyys9P zJa~&{VhAyCcL5kZaKyK4E^EPstjm0SV(`;01}8gs_YdI?5hGG5!_*-YBfM{!7}29f z9C#%#i}Zwz!#>>84t|ZUGG><(vtcGC?VkaUARP$wNALqcHvx|2@i!^n7jZE?1Rn+w ztr7eL&c7tQ*8@9(g~;_^rjZ^79!n=TTnRkHt`nMkpO*Aw6kunIq^&l6=$q7X(&GZ8G3J(*Q$}=&?okd)SGrqeQzQ3p? z<)9j6C8HQUiq@nnmc4pE*3+aJXgiF>*A6k`6exj~bh>xL_NHJTv82=&61nP!pzP%){@TlUTC)qW=wx)dniQbm^Th0s-R#` z;{{eKeJx{4OL{xV-NFOLAJY3Wz(5pJ2!0jNd<~HH)JoWV6yb|YyEkzkdV)2p+%kS3 zgtU1nwnyZaoxqeYKR+wIz!kWcA0pw}7WSB)XPtr8%+L=OrrMHZ|CekCczeycr+V(j ziQRz`Qi5H29=ZV+ZY4k?1?X%Bl3TnGHkxSYpsSshhZu)uv`UXcOKO-`c2Se<1?t1T zB_`5^ODKGkl6hE}^a4sQx>}jkj8Ja*9n}Mu*HIW4w-C*VQ+tL*cf4*~dHEg`fDc4p zH=@kt2@I;lkEXLQ=oz+g0>mjNkFGV36_ zQPee~qU`@I>*csXRCtUi{9a<5!jpL6&!?ksA70p>NicM|9!<6(LkTq5^k5fj)<4jc zdFw?ivrKUr1`xin8vcd*F^+h=mi zJ2-T3sSmNOHa`D6Lv@%LyNCMpgf)K!guWOP6rX_<%$IX)wAg5(rs`exPdsNu>;Y{j zI5E(vbVqTtJ_sFi`Zn3<5Ct10D9?m%9&@vH>3cwZ@HgD}a(hUHfztbA&+B}@1@i!o zVmIVL97)}>pdvljN7`ei>`HK^XN;IP_`V^gCaOuIrf$*SCNfl7ykQFA1)LB$nns|; z`goAx(gYXK0d_x@&j&QS%%R?v6bI&)kx6SM24O4r_@1jszvyIgqm2%Yo$4a=^8?Q; zW*K(r9q^l&>feg(Q2|?kYk_beo!TNB*%!jKC2y>SPNSU@7iD5)15?TlNCIeiN1SZMM<&^GCciyeq7( z_Ud(%6-b(ct7gpX#5R9P&6E#n$qMSjU!{gInd$!k*HHU5FLDFVrYp=wic)Ve@{*nx zm?1BNo)%cbR@%5(9!NTeP@n-eTbL}gp28aAvxUi3`3?5Su+>VFOfPSx5Mb8R9@+mD z6v8x)hE`qZB5Iq;^xI$IS~Z5|SY~Ac<0ejHncezAkvWWI8g__mml6=?+t{7YeFnOX zJ8OrH0|~NfZ2-}O?W-hqDb#m3QC_|bkYEPrHPjK(f^B?lbT3zsKKeo4gu+#^47Qf5 z;uOTlqc}Viz;lWM&z_^;Jh;@9Lekfp+5j=?z!3UFAcsPxR9~VrcdN({mD2oGBQ6g zn0}JT?D-DnxeGku*19j)t*9HGI>CTo)~6ldS?LOH4J(1kX-em0y7GddTMWs?c3)s} z6+-5m*LO~y!_IL6^?7<0TA*eX7rc&c)acC1pdD33o0Hm^myJaSlx-}tdDK46!+~!r zJ8MxaJ3KgK*ycS8KG6G4gSh^{7_m1{T;HpSdL<|hj>TrQqTb20Sn+)i=lwgH8GPTv z2mFAUeXKWVMx~ap?pOg21~KdzQmq|`Lfgy0*e!`^paevd66^z9-^{Kom|vUN_!3QC zi*jKm^006d=oNljWy)a~pIl^P-LVMEr42E%lY>RzI{Hb{pfPoT!JjaR+7s-0CbR1#11nIWj!z{zQaiir{_PL1j3cTiOJwxgkQA5rGAKA z;3UO@{qYyM($UujBQopsZ8FO&uInw@ssy-oWKzPZ`UsT`DIvGegK3gWN#4&%i9luu z3hQJ7p+oQUj7t^8fx57PCq-yQf0)QH8;x6ppLm@?no`;RqB@MTeqB3t8+a5&Tep_t z6W6Un;8{jWmB$NRjO!#U6J4e0&9j6}XM6R#Xlfvz;s;0$hmk{^rWY~+fagU7k|F>* zYiZ)Tt-vn(myluxC?l|*R?oaz;B&}jt;otlR$Dl$fwGn|b>U3Lyw>^@F4cliW?q84I>=#!<PfrGEOD-eVGV90+& z_+9E_X5nXh2BM!r`a9WG2($EW28j{r|ARrOS^AA(G=`4YoY`vjN9300(JTEL!X?~{ zZlg4FOHMxo*@mNd2}%TyM}o*AU+lLI!Ky1dIjhDS6o6HTO2IDjzXDuljV{yjbqnxu zBR69kNM5e6EqN&qMQOjFX7Zfl0@q0B4ee=o5_p z^JKxFR^SBV2U7+y9!6OT_7(mRiTzTeWdP64*G-G&T<4@Kh8IS`I`uENl=~ac~fHhvOTA z&zRyjN8*fM!R2AV=HOe92V?icBH(oIr6^oxWAJ!W{2IiucxXX?`1!ZGFLK_*_DhWO z+R|i2JBNICx_rmW(?*u?-#w@5uc9-;qxF8~)Uwj)^nS!;@ZIUecAY7=v!|Qchxq5W zPW3J2Y1j*TtdX1bxT>O!H*L*eKY_e2-Ia;=FyO+{1<5-S$btOYslr}-Rg5!Unz0U$ zRt3(30?^^2{jhvvH~Oor$N3^X*U^BWf5_C&AVO7Kq_L)p#Ub)=u7f+$IBqJ|7GO$Y zTOnyK%U-dQ`vcIEFKpw!@V!WKU-%|!7ZS^Na)E~u;RR|2=IO8Gmd9D4A-E{Bk2VzZ zKxKdUdf2?V5ar?X`P#8&+h9XlSL_=-m_?Bhs7C>mLwELjU-?R|Q&Q!@7pC^S67gqn z!Y=!32)lUQAb18k8_9>C4F<7}Vv3=$okF%m-C^9LiEamef*>tI(ms#~ACXAYy{{;l zA2=;v!pwVchu6>{16S0ERPPHhNZlC4LgZmOkGED2Gw`pK}QJ3ru z`K&AH#SwY%jD5W6&9Z+Q`o?^Qh(MR9(@ViRatIVVX!Y#V>j3Nt z3fDMkyy`zZ(b*E3R7M_<&m?nl@7XbsGIGwf8_nZsa=w+ zOq`kOeFJwAaI+X^wba;|=ozf`^Qep)02UzdzJS4nZ0Nlf!+dF0}&}CEntfVz5z&OHGP)$zfcK(R-Oxob=-zCRjO~qu&IAafp5b4j$>UxcaeP zb%a{bAptn`CNr&#al-OtUl2K2+JFZjo{7rwv#E(axC4Rtq({3Iv6Vi*_ z7a*Vfa685osK*K) z88ppoa;f!L--9OF!WzL0`AqbINWnq~45q6AR;G`}2N`f9#I^;OOPp9cp(w1M?tX@h z$ug#so1JvW0w+PZWI;EJX!@diW2Bo4CQkW5Pw#U#{cChsk zP0f{}A=??k@%oE<>Ox zA~ZNbXo6JiQ0Q2dmL@GX5gHX96HZkZIq_@pPGq~;c!OT86-SsZbw6fjI#_k7N8ms^ zJEyRfuRfH#U|)NNc#SL%i}c-|&YqK674>sx;94+7zX2oZRHvX->?y;OQKw)~*>Bci~jLdi%rLdsQ9Zo{YDuvoc?--ky2} zzAM{xKt8j5o_x;M1{@Pig-t2IOtaN9i|sF`HZLA6;og z_&@bvs=j>%;4aJCTFO}(k%1QjZ<&BFB64)8*J!Y-vtZB5mwx&$fvJfsyRZ|o<11T0Q7Z7>@$a5YL zxU@Ss$pf_r$=kfRfAk=ctTAd8%N|1I0YF~agI=NE%}sdu6JP4k)&Z)xLF3r{T8e+$ zwZp918h|Ehcj9+hvYG;yppaV3q4I9Xv5!^J25!~z6aDSi4z>DN1s|)>SItjk{qy01 zxBVU2e{6^(%ES|HpVbtX_D8$|gHvB~`M{y6s?YG;s+v`Dz^|*<* zQwOdaj+<}pVfk8CD?ACXh2<)i+u6aQuLFbdl6OOJ0mB5kiF1z<0+-gtnzKC0N~-&@ zu|y3!?O%ISgS(CLoMSF6rPw`qT42^{NWACV1K{oaQc*yun$A$hq9d7j!265lAqI{haQBH#sfaoc4C_PDPsn`^YQ8 zbd3Wp8n?*&h{XUdscAVbH+ph)@>Ff$i=B!8V3=T{c7h1c1Vy`r#8JToLoJosQ{2aN zCf-VgsF5!s>pN-=CepixK;S$26d^WjkE8rZT!e-)vL;+-&Chmr{9w%w)TCqP-zK-b zNPX&L979a%T+TMaIgr>vPv`Px5kpC0B?qn*G5_vsJGb8I1U)b_ z)PYW4WC(ptBCpdI8A4xp2z_fscJMs#4J7DGsC^Skm9_sLp}Ybp+5BSMCxd^csE647 z4Kxe$qR>?;lPBB4E>Dm%>nGMLfyCBAE!%;m=_%ZOLk9Jbs^Sf6-^0{Vi;~ISmDbCK z6ASPy40}C$HMlyfhoudz9ja_5|1nUXn`(Tt>#!vS&|^7y(Po=*l`S%rV02CMgWVz>=2D$u4soo@u{ z*|i9T-Vq`KD5QoJ-xqK^9%IDNlDpoZl$}wE(0lhqx)q}5$?9_9Q$9z?g#j73EuR%2}jeI(Gp8<0y%6i7q zrx@t%eMP-IUGcyN^WZRiqKEE1yibj)Cpl4+pAaC6@V`t$(@vRq8Lk_l+_HmG*sx{H zrMZOoiY`%a{Nri#@B-gf6w)WJqr@t9bn%mK96(0eQ6ciy0RV(P_%-y+=+wRJX3b-4 zFgqp4CKH=(3IjMTvUhpVe{6qqKJwR*DL427A%TFD&@Hw<;h-+~1%vSG0dzv=#G!fc zE!NhZ>CLD^dkn`J{sezN+4~5v81GMEv4i8|oP+cxx`LNAHlvQDANV^A4sLABVYeSh z1`IJViw|Awa0kCd1wP;DOO6X`w8AtxH(H~QabPWQikLLqsW2I2x4FG&Mhx2OCo#oQ zHav;Tl9wf~-bi2h=pb|J$oW)$Vw*ZW>y*pWkMo>VsO4qlY;#~Sy{ZG>@kq`d zxdla6Z^Tz-J|DS}^bsS{nX5mAYo0U+dGZtQ6{>hoPo0zK((WhSm!BxgQM9|;5Jj!) zvgfIbvT@yL7#sF$tdfNJ)k;WkW0VM1^qL5=OR@)~%1=zskymdRpd`wx+eu(nT#~(_ zD2JqSGxA2aZ1Y?oKe1>`Uduu6*!*1h;a7nfxoAT6mm}8d^lib%PjK`mw+tqk1D(0S zcc46CoYeiO<*~cmvZ6gsQ;bXV(^PVyHuhC`jN0QgLAPv|Ti!reY}xADf(;s0LSTa*@3pWZD$l~lUFJaS_?#dN>3rP0 zq4zCi|0I$~0lkRs;|Mh|gxRDiw2^-;x-5>Ru}nkPjV~Q^V+1%G{NJMU5tr4FYX$FP zQX#yLN!t-%QwhCnmZYEcASEM)W*D~vw6%rrAPl11Xgd=&F}FOxQPsz@F6_ICXk-g3 zC~iQZ+3`dco7&JaGvR?MEVDjXc)amFgjH07zpu%w={GPO+=B^ko5}uTh$Xm71ooSD z9MB1_FU6T#eS3NjX)uF{2hYbBt9)Pd9EpfdCvSi zczOF3_rP0y50m=9J`48_o?Y;agH*D&mCta{HTau>!%&Q$u=4X!Ouu(+ct0k%6++DS zW;%nHJ_PNEs0Z6m*Df}`g``f&3O?|)S$~*+-TPfISo7sHLa27s5*XW`;1U$`mL#koEw9<~Lb0+11@6^2 zW!EOQC{r>wW5=0&FRs@LmGvjM>npnB&HOk{KYJhWNBSHjh@TE`yC@r%W<5h_{gaBz z+L*8AsSSX2ctPhCB`&Q}!Tk%l1s9pQKUhrrVerTF0e=mJ)D0b9oNVdxbz3sKh-|uA z^C3296{@RbZlw3>eLa?@>s;#I5__k&EwZHDh;JV7{cRip zd`5TR5AkI^I}N!0OEw>?k7vL_n^sVctvT(TYzq&Zk@VerX;p`h-tE*A5Y+=P9XNPj znI68+tS`QoK>m8N^r}CXf`Gq@r?L_7apLd6E-8Wkza5KPd|QS2AE>;Y;;ZqbmB_nr;=sShXewdbf{&h}#L`)jPAvc^g8 zuMi2ZDji3x${~FAIPvuh14H%~<6^y*;L?DH%iYMz_l0ugTRvh{I3=2&h+}7InOlh!F1s$@ zNNbI0T6$2){Ep7UcjD~MnRzfDUQL!CpA7jN-w4Zx+0N3R-bWo|DwmH1T^90a@{86! zj9m%wpj{{{RlSZ?R)!md;1K6rA_-YrUIhcYohy_Rn#(aQIA zf{P5`QtzWqvku;TGGdDFImRBjrAARc)Wza#rp*`gm7akk=Boj)=WzUsy2)c)5)8S zE^mAX7~iPFY@~noXG{gT%(Gxaif`{Qglb3d1R#zWT!<2>fJ@y#M_ee8n)Win7Q)A-Rt%=F5D(^|$Cz!{ zVCx-wsPSj!0EY25EX1F%tB&1EcL}y+n<}b;MHK^%((9t%q3EC8b zzGPm}>ay>WTYBL2LZ8ClVPdN8&0veD+gnk!P#bs?{C4k9#qMpBTh3x_h_9A;*SOTf z#BaQs?!=41Pbm|Zg<4S-NO6)i zI>NmAc1Q+UrX9O~MmTIHe#abdr}hL1hEu!I5R9LeCyniU!3;5-4vaf^a`?v2?WF!V zKxjiyqWOr$C54)nhY$x>#dn87SC-<8sg*8jw5%f8Qql3?O^ES*zSY@~A0@D?RWEyv zab!)flR0e7G#G^%8)W7$T*8fUiqSam@BR}!?2rj~Q%2U+YYj81FQCZjI%=^f8$(fbw^bavA znA6*62jWa_huP;vaNf)(Gub2_jwE?6sJ{6!*|t+%9*4R(xWj z*xr>dukI+c4k`z*P#ttBS%U)wOV4m=5^ z)z=TmS9a*OyNE@cx~Tn;*)&vq-E!0i(Er7%fi-bIfPNesXvbF5GUG1dQ=oDOqvbN= z^AlHW)W5%zh-icfn_ALaE#a}?%A0o$bhynkR?!lS+pdc0T@%b=zWH-BWVGosgw2g~ zokaH2<LTiBY1 zbs9?F>%cvzL;IZeH#~id)gky?2fh~4Ur!){eOKY)3YGy}4fy(lk1K%27p!qmh%w$q zJD?_9&k!zl5dohKp)J2-oShEh6+}$#!6#3;dOo91g7oN-(KPPsL<{FH|DH+BA8BYK z-!pmt4@m!Se$V6?5b&SgcY1A2L>S*doLvY~@ja6%=%tV&eKF!BKDQzK|K|G-=*-W2 z{{fR#Diap-H%*REyr#N_e{3x1*Wkm z`aNg)PK5f?;S7BLfzgNWKVZLvJYGcU?xZyqq>9wW19C zj}J}QlE(%SzDwP8zVZEZ>_M;vswQC<*Yv?BIDz86#w|Sm$#$k;@OocGNqh=OmTz1{ zb9LaNWX1BTqTxGs8!FR}Iq{F3(ncy#*%MEk)dWazP;kJ&z_U%v5TvhPM841bOFV+`Th z=iMJ16UGzfFU~7P@5rvj@87~x!+j$_w>z7Cu9Pvdedm@!VJjr+hP z4S_y=b?@mJ^JV`3z_*AlGkuH57G4Mb~a zApGa_*Q~cwsC+NIO@v7PwBDW;LvK}`U8-aMb)K<4{6+fPuKQLQCbKg*73wMYLi&d< zAQ<<9>&W+s^}W5XZ$}T}e{auA*+28Wy?>xgD|ccd_fM#O_J6l1k#DvAJKyhG3Z&-w z?#tW$m*=~eK)`=G-|f6LJVyE_h==F9i_uHslmh4NCSo<_yFVio^W7!*-xbcvCFQ}c zkNA>TK0dLh1kR? z%~@OT^)yZpWX-LstFaYSH@Lmko(U7G8%r0K*Hl-Ox;Z2xQxuafThvfjJO2vXyqfBI zv|Ev7YxGnu;IVn--Wm{5feZ4|WewHyt31D;oC#m4yVeuI8A&m`EXi>bEoS_Yl0-`+ z)w`bUv_|QY8Plf~ot-~(W|4CmT57cQ7od{qA}KmN%3WVC)pxhdB)Q9LYwJ8VH{hO1@UmjUgo?_my_L3_@`m}94K`0zd97_h zc~fa)_2Nnl!`$-5YIkX)r=hxbK11lPt3}G|_SkB@H8nOu#)eLEG&IyT*cMe)*Hqeo zy#f``N zR?e$ysI*m7&a191_f*%_jv}GJ6Td#HRyQ*G%XtqN#-FcOUq`Kmt5!BuH+qb!;BRfr@JTn@RuD7h3fH_`b8+T4&h<^tpR);{=AKh zfKlg^d+O)g&YLr5&ZxPSweG6(`%CrZ4UHslBpNh4qehLAY=w2Tl^D+w=Y)QzQCFaJ zJi-X#(V1jTc+_20>As4PFnP8K&E%*WDjUhxpl?DzCb7q`V78eaNL{0++TCaqIf4f~ z75^6&fjvux{JrR-#Vr?DhFd3ojXl~)#FNFL5Pjum?Xpm)1mSvwRS4HKheBT?{2bxd zBuN@}eJJ!LJ|MFgA$`Pc6+##A-f%-Gv~++Ztw2cMgZ#TM6q<$aWo5O5LMvoRnt?DK zhdot(T)jj2wFuh)U$27y)b344Bh1i3p@Fy>ld&=sszIo=OzLV!g_>j?+%5YMX2L~$qxvda5~NR}=ycB*4`cZ%VXQ5CTLS+~F3;tFiY(dxr*&PCY>X79&g7<_%Zz5ca zD<^s2dm8Qwtzd_3l7#PFvd6M`hGc0#i!h|!&q@MyPtA9Ddk|p2~0mMUiJ@``q@22|Vp|82QdElTZ(#lsMkX@#N}}z@wg}@FX6eEG+?aHL-jo1`V=SP=TpD>LMebR zKx4L&=(sVlFeSs6RFsmP@N)l@3_w5&AB_tKNQJ21O!e;wh3L*?;wMlt)W4bf5wJQ^ zY%3EnhBwlf`}zU+ILC8Kf-|0e6{R#MSc3^Md4$oA$)kUr z8sSlMG>_6yhj?@f=D7-liGPK077y8~AvDK48VX?u*+XSB0Q(fMN`gemIHV!1kO{V9 zz(pn*ccJJG==X@nLZR{0*CMnNCFj$R*7ZHHb=^6D z0qv7qtU~?n^`THBvnfV@V$B0iZlg*PzDIwi#OM#~a11y!ocQ(w+By7GDAZ2vJOb;; z_*N9=TVy_9wvgtVyJBhsMwDd41;I^*&vP99KY>J_fe-yQ&tKrWn7@iry82iv`^3Z; z&jwv%i^xb|>jem@jtza0at{h%|dqinOR13W#I3~!cYh*#2%90A)p}-z9GF9 zk+=kd3Z4WKnEdvh)7D1ye=3)&_ffwMzU0@0k=4a~CgwxNPsl*Ra@3t-l709IfE1V@ z%uWzJ_X1xDd{U;50}Oh8`5gNx)&G~6KXyUr*%<%(b8HsOo(`XUEDTuUMvf=;_!M!y z>`JiiPmVc4nEhkUAAf*+7;|h_^!zadb!bkQLk4R~lAOMq}C{CvFo%N{CM z0oWSA{z8zbF$~M~4NQcg^xQ2WTz8^g>WiTe*v1}QZIIRhHW0AkXqV%P;y=dJYPIy% z2Ncc2AJMT7bq_!X5?_O)F<-G@P@l=SSTDReF_5$pnrvO1G%9t$C@GoX3Ouop~Bf@+d*e4Z2ov^Y`AnE4BTQJ=*eW(7<0H2u8t{T$Kd9@UZ*#&um znPLywhgQJe2h2ixXZ_fcLX5zZjlYMGm-qfJ_j5^R=b+9?)L}AvEZS%MkK)-+_=Rgw z|MGW3p=uiEy_j?{Jn?;=>yGvdVFO6F=`r!mj_+z1@|EZ7b7RuV#DMi?^qFLf`g*4) z6gnMY;_YY?PYM3gX?X%0F@Wa&TkwOv#Fl%pE@`z`*IFU>1xL+D@%*NH@QHVWuGZ+e zpT>vA^K{TQl=v}`(*_XppY*INmZaDXG78T+#%|iTtR%!53_|+?rsyFCpoH z1nH>+UVzmbX&H8(#g4DUSduFSxCS)1gN>%=nI8>9Rb$t=t*6)pk zP>S@}z~caUdtegcfs`b~A4;M4_7s#sy~JZ-K!~=VX&)lG=cn2q-~qnb@jPPZFXl`y~CPkMz$zh=K*|0UdpBOWI}qHks8Ww-%tEqw7S= zkbIP!ne>sxq9!CkDDR4}jS%!Z5!o9Eh9`6f`1p#YR+9deFyVHq<$i0@LssdT-h8}c zt;KS;WrHPY*GTCbOVS@lV!1W;y^+!f2}%FNuQln#k~w-b_({q%4u z`}J_bx^@J`gCkA^eCvq>(NCl{Z#=2Rf{eeOOch#3QX$T@&>e#<{br$WTZz90>_p4Z zF*EN?uzYQSZthD+y1^>_G1A3fFwT=CX>a^-zT-s8F<0$CV_zgBtsQ3RNnD+J=dg$* zGamne==qB!X|2WjktOMK3o+6p?HHFc&xfJ8KJke4^TE<5{XVd~J6PH?U@{VG2GNS` z89C|I!O}g0lK@BQL`N1Mzn_xPp_T#nS;k4yE=D`&295b(OY)$kW2BK`76Ep)<&;TC z|J9O&h0`mRq_6r~UbVi7I){_)vFz$Ay+P_@pg{Q(EyoT3WN6ak7Rx&73l#B$NC75Y z|ARkdRPl73$-{QGsU=CP@8RiHBD`CKe-hyzM0l47|1844itqsuaxB08{=dQjiy$OA zZ04?7SkCSeX-xC{vGIWK1Y#b#ji+g?OONs*4>5nUCsl-)H`y~swvS*Xngn;|S9-4#c!FBRpkEkXouW~TCPxO?CDVqEW zdIUNNuN<%^O&~Jh?ZdzLon z+$Yk7BL7>FHux^k|BnT^FULleZR7Af5tfLsOoa6!Y!+dw2-`%sPK50u>=I$O2=|Fl z8Y!_SRfIMXW{WUSge4*@6Jfmwn?=|v!Zs1E6JfguyF}P6!hIr?P7&>k&?drc5$1`o zM1*A`tQTRk2wO$iCc`5` zvyU1(D*NmlFH7ZIJ34z*_SjK5nH=7`Zgk2DYe4^3RrF((5~SRiaH}*YCOlDE8WWxr z)_ZdsR;f=|-+RORN`_tN4NsN~ed!JFCmDLy8{S_s^tm^DfMn=>Z#b-=%?#mjE6&nw zG2tmv>Z!5H%aSc79M+N+HBpaM8XUH><}9lOW7KAb@VFKK5pC6dvEW0bvioDfhf2v$ z#DWhC+jDcS71q(P7!Nr>I< zP{66(FV5iQjQRF_0pBO!w0}d-Jisl|a4AjTH&(XW8GM9fi-M1Xo)i9InY_Ni=i32~ z#fLjZ`R5)hn!-rm_2{`fDkVAvdTNwOkz1S`AuuTgC3Bqq#`J?qK4UR@E`s4L$B+6T`E0P#P ze`Db}2j%HMs*bh~MI(uyN87i_4FA#kJC)%Xc9b2sT)+)K(CBg54{biiDv!G_G2sgUPlX;C@*~hlo;c+f!l8_Xe_fpNRye}c zukIp_nfCSQ=>a?zo&gwgDqk{%moxYf1f2L*f|WTvbQVd^$@o}^4fIFb=VTbxSokvl zA51xItU6?yKjY(+zakEN3E-!Qy5`{bamqi);IQ*&@zS&>NYA=B<==|~&q;~hF9+a* z6NXFCe%B0E9&)vex5xIO5xp94;&a)24yQ9SdOnspJa0Kq-!0$=QaQZ4io@Fl+zM8b z9BzG)!<%^^O#(a?|L0J7(3vXiGsK=f9#$UoEamCH2>9;+XL?b<0X?GKH$?gRS`KID zK8PM-a8cP5jKp^?2~T|)2Ud!_zEd4e9}eBdSlm#*dr=uCs2hXwxZ zc|1*LnDp$$LJlMy^(0^&NA#pRc$T3TUkG@Yup0(^3kV>3QpGqz&Drw_;A|Yrcp7Gh zJx5r1kuU{mSV+dAry6j=)4hTh{#w*2kE8G2IPkxq-^{*U$Pv)FH$A69PYG@l^O`Ze ztpFa9ALS)pu7n3t2g9E#wf&X@*cl_DAH`|+>p1ZKaA0Ef*TLYh!{a!9y8l5>serfU z@HD&cgXnc}@Z147>7C(k@LI6jamw!ioQ+pLFUjunAbJ5dBpCn8IGpYu(9mDtLM`52Vwv@xj_vIlz#&A#h=1;lC1aD!)(QG0Ih&yPkgRWf+0)S4|aEj(5<(roGJZ+jt>V;6j%Ezoh4)GGW5)H=ggc^ha+b^UKyyat@c#o zZH&d0r3=dI9ScUWEC2Nkb@ijNrT-oU(A87`&!yAG7x1?|a&qeNdV!~uZiP2G7CP*n zYw9aU*Oo7+q~^k~SpHQ&(Sy9#m8|8D;2dcx3~-ZC-k5P7b|v zFxpdhRb_4CjHzJ9_|j5$Q&Ub(&S>+i4o){Q%3W37Q0i$Yul6)L-3~Cx?Ql3|%=Dbg zU$Ah_99v498w<|GpocYFI67zarKOGDxuwq1|BFx7;kM|Lq%mnWd)!fXUVuJ|EImH_l?}R;zS%IND;(kiWKTn7$%m| zeyKZY#k1DB)d||YSaCDqa;aUyBzHk_CG8)OGIg31PGtjbTm?=LB-f z6IsedXK5G*SYCnhl3;l;S&z8E|559_oq83)A}5htOp@L>lOdUQIU z1bvW+&ZCAzBJ&(Ujp!dfVc~_Ts@4<)B|^lQc!*@8CRJZleeAv*iSv_DLtyqgU>w0T z1$sy>y)^}4aC;MBS>N1WKqxaK1%a^#x#kYt9Oc5m$fT_m9j}V>%au$=h zm`3w4mT-c#&V;wTLAX)8h=M$r*xg3ksjmdCnuNkjQ*R|e7wO8nOd&JGWEsaRfRx@8 zhbvbtB9Mf5ets};L25@r0P2I&SHeBkna4-xmN@$5>A|4iLz$E?+zMn^IU~zG#McSU z+Fw3@K6FQ7ba42>rB^5Yk7x?iI19 zC&N4VgQP0r>>(JGlnsxTXu_Xb;(`NjQPEvA<2Zr90Nd$@p-ZBA*e32tTxb|Xh=+8t zyvjDE)LBa)s$0)Bw=+#DsppwuJIhpT(^ZT!yn%ph0z)9Dp_obLI9@>wIyrnP<9Ni zqC1X)WSY-JK%vzzAB-UrUVl?cAwA8@vT&NX=O^Gil_rT=Ff!=q)sX>bvN<%xWD-?P zvKAW;+R9{ZT~TTuFiKKrr8amnYzbv(NQ^wVFM$Ge3!PY^ac>)eLK1J&iDgkefugxu z0wsO8AW+Q0Km<@^JU{4v2!Yhc*9`Z`ta0h>bckj)RNVuq6-yl!sxG17HWl}10YzA0 zc4fjJw-uqVvk&BUMXyO%3gzrobOvKx8WnX01g7+AcuYoto{u_p;mz={UB<)1J2)eB zj{^O)9`dd07G>0v*duj|E=>rj4NgnRVK=2APiw8nn|u;cQD@JYjmE+Mt=m5;o%40~Bn5 z{)a#T2wW_2f$-e?Ht&UGqt1T8M(0x~FSl?}cIZ3^MWAbf#kj1+^4L1~a=Nvo^vzu4 z)caCuNclkndJ4RA*C`wdVwr^GuOz2|8^>poZ7Ne4&TWx5W0qt?Gwl%OI~wbY|$q z8GMVAH4&1+tA)^gjKYn1<)wGp#oCMOfbM&e`et&y;X$DxRjucJ%?IwW;=MYfv=~EW z7lIlsO4{ZvRx~;o6(q;t_%Vbi7?T(cdQc>!-$|Oi1r7t#1`3I#i^(unY)2clEVgPk zajN$|m1O8Cq~bJL%1sX#4{*%K@VphC)-#A&=vfeFYvq!=d5|#D(h=&ic^Q=)6iH6^ z>drwyZ|;-^1zK#ga3|x;_p;o;L9C2q^ZVGVQ1=cg$hKz)Jt?;c$lWM&)feGE>WZQ6*bhg=Ho$Yp*EULG|&|Iw@MmAVshmp-|NE2W| zVItH!@nDz@L=s@jib2UACw;fdQENM0%~QTZC(v-sB;V<)Y?4FWJp)D77$-oT%6#9S zfw$qnfPv$l`E0ZluJt{5T{O3B0PT6xQ@ZX+fWHk^M@~&O*tXmW4Qjlc(lu0aF3C-d zB)AsJ<5Tt{*%HlI%5)(Dl_^ESg&a(2AloT}pk$n(p4yU7=HER8U(IwEM1tkr?siw+ zQ^^z_kHa0ST{ugdeIR0u+!s+e_JyA2Nl_r{Pi`e?B?gMro9vO3(G%l( zKD~U}!>EuWNJuztdL}om_A34mE!?rufE@$eb4VH@1OwD!{NWNj9z{WMXy~>RCu?G< zNae@t!crg99}Tc;&)c2Q^JuekM0@;}c$Hk^fQmTBm4Y!%SFeYCKYg<1A?{ptm#2Gf z$|u_TSR*iPmMR2(NFVW%)|RaA6W@J;Fyl4RShmQ?~`A4%Ns*B6`0_ zZx>9CgX2y{Z_ddPvl-t>>rOtV1RFC_O@zHlBo%;3b0Mgw(M*b<7g4m zJXPt8pJ-PhU0615@C|HOgf?xu!`ZtkWsR3%GUr+{Dy9PICpRSV37-Xj7qhtPKKy9_?gj%+mZj$N&d>uT>sypv<$zqqpEZIHGi0HW%a&vBTX(jC*~pV|LEP*{fNcy3NVN1R#t$N0l}|H4BVp5wkb z{aW)Qu5b4L9~4j*T#e&AkN>0~%=za2IeiD6Bjl}s=Q#2U4bSydYis=H{GR}x#?Sq8 zy!o#*Jlzsh{_T`s@J#>7Hqj2lb6k4&&#L0PdSQtE>Bs%@cYT4pa{qjv$njrfb?Ymm ze}?Cj;;GBO{u^9Drwsp|kxyf# zUpZymRVC`*sT)Sc>K)&euO+8yMj>vex(Cw{`d28?z&&jrRMA4|L|W` MW1k1A0gPAc|LdRZGynhq literal 65200 zcmeFa33yaR)<1kZ3p86g2xweJT8%S_ASNuD1{@QTklWIMjDY4Hmk>iBc?}SgZix#T z?QZ0HX^n~_GddcVnPJpXoKa+46SjaW;)W~exZE}_U`+xr5 z_jq~IRduTB)TvXaPMtbc_i|OSZ)%dmq1jKe_DhYa{2U3%R~hyDR0Ki3mZuHD?{S)2 z>xXoTfXV!P86a0a+mpJ7P6ba!$a)!!^b#H;!I~Y~6f$JJzMhODWsV(c=`ziFsf@b$ zgU2m?X?ywM+*`TDcn!&e0{nzmDgc0IC-_41yS z<@28J9;PdP+M&%)(#XF&#m}Ch8cxj)d)BK_^?HUyvU$x8*#@7PANlA0C+(G~db9o@ z@$?Me;XvWBL%Y3Sp&t42V;?o_+F7c-zQ$p#;=diL=CxDmYA-x>{3&&FPp+$77-%}V zDeu&iPaQv|anYEuf&|j##viMfOrNb`SlS3vY}AsPW!lEayx}UJ#z(T;!{H&Pme>4WduK3@0ydY&Cm#&fWOo5x3&7k1rL8V zcUHrb{U(-nJiqmhW9rv7gndW5zS;LOvU`2b1G2+<$$1lv_XZ!)NBO^iu-?k==mSpx zo$jstoqgb+3L1MWUj#<=2A|glJ&r!gAJqr^Z++17yFTby+XwvdKJe7`0bkw+{OvyI zZ11D|ReiwE=>yLleU!hqkMX*+4?dra3DVoROzQ)GtPgsw?W6qYKFUw(gU+pez>Pk} z>#IKKzq1ech(6$F^dbL?`|4L8@Z0+6@1Z{Er#^Axujezl5B%r$LH}R+fG_ByU+zBm z3^D1Ip3!~4f6)j2dqMy4Jv)W;YVhYcEkj%RoXl)iW$pt#gs)QTuv@{e20?^psCCwc zA5`$os(iC5zXR~&sikk0fc^?TQI*$KyJZTlRaDGhuxMdLqrbAjUs0h|cxRPX%&l&y zo?qMOuWp!CT3EMeVfC!a3+t+7Uhg@-o<41+|FnvVs-~vg+}yDjRyNjF0cS()!uj5+ znf~0|s+!7%3V%aot-sM*RXnp2KgFk2Em}}t*-%|vHmypl`1SOe{!{A~RaMqi7v&aT z0>DiF*qn+Ae@(-p#T9kc3+MZ5DykbA7B$3+|GN!(DoQIV8yjoqFDyQ5+RX9jEgSVn zYHJsPvhR~xJfW(ty0W1dIb$oliyHaouk?c(zn*nAfa6u|dFX9*<$_*O$aeD3LIp}! z7mXF&n_E|Q$pWI8^>3lc9Vc6yS6f$oVPIab4T9!Hjn$$R4$Ooq|E2ZSV0qr$MHP!{ z=Tc5*YYnD2fm1Y4fZ7Fj+tiD)uTCXLVtO3<{>s zs+g5iQ9SdsinGvMAES=(oH?OlR&GUcu^ifkmEKD_yRdR@MP(hN5E&5W%8Cmy5f)ZdRr;%HfDEWkO)Oef+2|(#(ut1Cokp7sNqZ(ScSWFbmw|_BN%0NOd!VmfB zF`z=)3#Cf>k)zsGx({LPQ~0T(svz_J>f*D=DItUn)j~QYUH=Kj1p%ro@E(F@BTW$a z9%3ORCpWi3=P+J)slU3hY}zGpVyYL;wdcd^g^O#EI;*-duz>Ok#aMMwMODp374skv z0Mugv@XsRz325GGtT7^MLG^+Ki!NauPBPHeRO?3qn;I?~T#6P{)-Kc<8!8vhRfXo& zau!@xt)Xt!f_esx)qatxzf?obM*rNZQKPs8I+e-!RY1j5E>l$!UQ$?CF>XwbR#;wM zFvVMuJ7(ONJgvm%odN(d#*fMEk<3jj>giT=tS2F_drr4n6B6@eykhK_@$p!0S9Dxg zbnF;a4`o3Zm+K_#wo>rNf2r7A$yk5HlaWfrKc_Z88z|C*4Z`1GctRLY!(X!I()x=q z6(M5|SPK2bKgJz^u&n&Y6!&os?G4y6ww+e?^GgRYwHq)#4z##g<+mc;^zuWKkpdcbeFOO~(c0bilu z^*!KsDtJ>5_#Fz~+ynkw1z*+!{(A*)=>fl6!B_Tx|53qPd%*8gaOYOp51S8my6q(i z2lIt*K&CWpa{@eZU$!*?ev(}n;r0Z$Vx`F4nE+QqBH&g6d~5=qbVa8Fu&f05D%CFt zq3~bWS(_8!^l8|SZC|sz#|9#_?R~<GlK{uWia+%U zaL!x%X-a@&ixGdC6X0yyewHP`IX3pwk^ontFS1r9!0j<+Mr#5b6DIzwN`McHL$NPP zfJ1@ApS20_!EvajwI#qYq2tfy1bA8;3ZGK~+?4>|o&ZlzfbUFz4^4nu3GiVF@I47| z`qAv?KmvS(4P>a~ki0xR0q#tIE7z^aO;3PlB$UrcfGgLs$aN>ck4h+?l>k3F0iKfp zw|&~o&P#y*ETMdU0{qwnxSjwXnE)?KfV&gm3FYe(;F$^V zrUdwj3Gn6w_|FsI%M#$fNPxE_z_SzJD-+Ox^Mjwp-yge^P9#9^BwuFS;F@ zaMFXCwl{X-Cj;CoT?~UFS zPt!o&8@(}}reVA{dUZTaBW`c>;&_^d@ZM-;JWT_5Z}eC3G!5Uq(SmrI2JhZzZahsx zcW?B#c$x<8-ssSHI!&Y<@w7{%zc^&~mxe6*A5YVOMgQYzZmiJ%c$$VR`X5izfJOh~ zX&SERe>_ct75$H=X{e(A@iYxo^go`aVT%68(=J&68y}!F7imJCk)C~j_jGBGba9XL z={?dDdZbV8kv_3U`e!}TBYLEV^hl@nNPl-k^Zbl`lBA{cYCB?>ydt;M|xwA z^iw_3kM>CarAPV?J<`ALk-nuzI?^K@?vY;7BOU0GUeF_5-6MT|kM!&w>CztQ;vVVK zd!#4yNT1vzePWOF&w8Xs^hgiskxuQA{_f9e{H;z%wKWy0N@#LpqjeeLy0P2Zh78>- zgl3K7kS%s_FU@rl(R6I?g1 z$aGuZVQTBf4r>C6G3PV4o%0Wsb2M^V1O^f@1Q=K|Uk}Ip$LZ!NBFEZC+Kk zmuOG(Qjs3q=(H|Ez0OZq_yB5R)Z@bPE99_G0nIGe^X*LK}eQEeZSLj;w)eE_EdLxk3QgeJJ2Q1Ai zWC7Cd*jAU_G<2MmH~?lfcS70u4Z5M`I0CLKFV#y`JwBE6acjRdnQ*$H#Y) z1Y#%~^W(suOJD|oS#jV{0h|O_dK~s0n*<}mLHK$Pl>?irn3Teb!y7=xlt9my2Vt?w{&B93gcippjiS+{TNBjzEhRN)U>|ZFIy4)$K>2e zddQF`&|d zD4&Z_IFS|>nWX2o1!GCB@J%q`pSkg)6CJwowUvST&xjE`7O}rmcIUZvqd)7}sU5z^ z{Vf1}so(E2E}HX9K2dcP)_^drBiM{zO=~_w?-1haM8Y*RxJm|VWw2QW+Ywk#k`Lz1 zt%&PJkV5^8P+gJXw_y6k^xy{vd=aSr6)5L5QZnc1u7#WRRF;|NbuE0A>9%>Ux-EJn zNG*tVsUb-W@L33uxemj1!eT%o6DlqdWey;Nk8aL(KEuMk$lT0y)ZoyOtyor556H3t z8Os_$Ih?7VAfqGbWIcA(2-YKt3U9~?=^{f^Scxc@)*)zPaYO~D5CvZpL&yno*frFY zoH7-Q%2D0&d`%VwoYWRC%p%$y)<;em{vKNq^y>Ek@QtnJwpjyNJTl=Q384L75yMQU zK57_roA zwgDjQVt{<+`Q`;07~u@CCCBOeSRi=Z8>?Ot$)<*eyF%7}JFnMY8D>m@J;?)OC|T<)hF zoPGm>&UDP9{Lp9q5Nb7I-k!w;%^lWG(wLV4X#N+FuD-fSI#x*iTUUcn;X6lijIa>wo*0&rd^Yo{L zZhG%rJu+e&qS3F>SbYDK`9ib37V>{;wy6pPwcJt}E$kqa*X6wPzpS=T7-T25q7~SdzxE1{Z?3xQ&H>D0h z+HpSW#@lE8=wf6ldY~hXe+q|5M~Ra%B=nm#0{q|%lFAA8b%K7#%CQ7(QObF9loqFB|;EOrWzY2#dL+KSA=(YA1X zuz)tq;5XPktP*FJxz-ep<+u;V5b6{v+(a9bOrp6C3TUgO1iEnc&qZhS6q zd4rpvHOri+wG_2{o-YIMLwLVl7}rf+^w;`tkvBKf=?c#f8h%4Yg21?S{$ktI8zdP8Z%3G3Qx z{-zA7!&}wg9DGf9i+=KOq|FjB$*Ym0?bT*pOjaPEF6&ZDz!wZb>bc7kY@viZT&+uouJBJrEUkM^Z z^}r_8-!8xIGXr4VerpaIEbvSn9eAt2JZE%n8(`sW;8}rDGTJJ%GZ&B|!Al|_KauVA z>-c>(lEkn5iPswQiFv;*` zp*d4OPmCp)5J5X;>r{Ea>{GqcEu`iw8B%(HY)Fb~LF z;d?2MfaCzuBp^2d;`7|oDiUENkelZT<|7^W8RC;Y!DhyXuEno5$y~*Pp?zoyGWoZQ zy4Z8lXR(-RvTSafc{A%5nL(CDx!3<&m9tV<%9lCWoRyhZYV1VbUONx-^W$Bx5LZgv z=Oo~M5pc|QQj9g-yqTTxVIv~3XW1C6KZ3kG(e{uBYc=h0p|B$p?n4=@1`i>yrh-fyjtNImOZq34m0!IMUZZc37M6Fm9V0fC^L zTne^51^_{=BTh#T9b)d*>Ujg1}y%3UM#p=vK_@=jXQj0{)EmC9nr%0auNN!e?z z&?l^Jp071uJ{I}sWtIgtbGL^r?{>Hm_V3ptDX*aj#NlP~0S$v0KB(VPsEE*;DabK_ zK!*f8=O3+`IeK`XE7T6SZcc}Mv;m8;8Hl`|mtEmM6AmlI^IYK7QZozA7+2^P;s|a` zFKAu@LckOD@eT!8eNF8|XBK;|>=6*3Fohu_C8SRhe1Z=Z}3VgAJlrM z^$DBubT)j-IuvSfB<|68mYGnj8Dd!A?t|8Jg*VbQ1Hv%D%J7$uNj3|c1=>S*Op$qPt`~(AQ;_xx#m_U?e`xw*BjAwn9y_6>6GEsdi<{8D;GdTdV&= z)2xINA*NYYuhZ;oTiBInnmEr@z2 zJ-U*R&|uaz#>goqvZ(XCp7;CBwX%<@2o5O3^mDBOQahtkN?0r3WGCg{5ax!=tu`;z-@%!J%Kh1_H6U^DCrk5{ha0~n3?*3cEc zmK?i!0~fz;MiJPIY2l4rSue)JdSL)IZy&;6W%K8m3?PzuzhZ+ONMg8+jjY)8cey^4 zg9J|Y$dj4P$la8m4!j|;0&t?0TT5BhcsC}GJtI!p_v?)XAC9o*LaS~r2R7?m8@ zfwNOhjwoH9lusx?vfXVB9R%8RL0di~dsb#SWoHx)XO*57BuGsy=6C1KtPgd>`CKm= zKw~aw11Hrwiu;Vwuj>(%&<#iDwUlT2_ST{gLitz=KLXw8$!0(}msnLdR;YA~@FEEZ z5`I3w4sC;LsPx*4ZM2vlk*AiSvd=gunONsUC!$bJaXCfTAokX{fymg33~9G?r{m)f ze>@#;fsXZYI`V+g3q7an##`2ItgO+qgvX5DRJf^hN!1z*JNvns{hVa449)ZdzE9JD z{AckpS^U~wi$9G0eDrrh@50UTI6A6DH*`;K1TxEm&d4q6`sl-8upR$vLc9&}7V=Np zZ**>XjaY&iw;kBKS#BI6SZ*9lU!+b>(0afi9Ks+I1yRY)#a zbRdcZ;d`h&6fof$H&$|J4 z=LJe$45-2`b*S?F`MNo%$oQ1oMFaj{xjxa}#4Lj?=h+(A#KDD$@v-$Vq(k6Hz~9C? z&1@{iNVKIuTWS z_#2=N@@OJ$r}5?1_d_p`&F18-u(-U&HeY1Cu)lCdIIUF?g%l3v9^+xl(BYrH#_YNHf66@oRA4C z&;tSsG&`1|?Z|@eKKFckrL;Yk(eHLpGZtYNnt?Lbdq}D!N0&>EE|(mv3ZkPJqH<>k z)*C$RNV%9t*5M?C>y0biDRLlSa*-e-;AW+aIS%P&zi!e6u{bD-Lt=}853Z@KGtJ4T zaYfP{!3B^ONMLvi)>uj3FaJaOE@3@M-xG?y9IxX=I>RWN?{pC%{9|HC)E&_kXgFcr zNT*76Ti?LsiasW?@-Z-CFO6PW?>otpZartW)m%cyz2Jjj0viqYi-9JvFrNk*e!u{% zmN-k3tK}EEG5QTELS*%eehi6}a@f`0#cWUPn9yhr*VjCI;&$~doY`wL35zlYYV^yZ zAuk$ALUDUtUIw~(pa@TOutYoZbBRO(&WQ<+40(hcmd*Fy3Ag$X6wdxJSu~^P?63lJF=@x;{Ga~ zy^!;^7-g66j6b*$tIhC@AXT&K-(fG8Y{lWtcD$;TC6MT5KGSeOr8eTvW6>C3i+&zw8-lc3W|Js&-e03-Sx z<-}FI6;6A{R^8a^x~bil{iz<_f*leIP3kM`dY$K?e6Awrjp3Qrb)w90c)8nk z$NK1*$YVKkGMuEuMGfM#GDRsYcby?A=YJPiP!^6F-Br@AM~)Gr)cGekor2{UuDjlX z%_8_c3w|T`oy{|NsiBmo`MMW7Z0xXVuwZpIW+uo(;yyP93_^c;K@Gi47|Me4#I=JD zkwyLxu)eFhXwSRWrY-LI$1$vsK#Z@hn~Sq>2#}+XDuFBSBaX5+`)i*O)!V;G_6EPj zneDTBa2u{Se9(_0Y@UOoymQjUk(^_z&jW?D29kht4TyJZjdhhxja908Iu)jrp- z7X=)**!MyY3~>zeNfX#XU|y7x`e(U|2m zI)rfV(Os<7Hi*iIxZ>A-VQ^1 z=NsTb$+~d} zWdiSblOhNhoxI8a-74m%G6VU5T`klH_9IHJBfZM?U%MFk zW99pHYixYfy5#%NHYwlxkk=*Ot~Dh&aGj+f%w69yud6ZWI}UH~sw}7L+CkW0nI*6> zhSZdS-l~+Vb;ssk+V>rF^V+p!si~RyqZ14W9CnKJRW~1#`M0)-V*Ri#>BbuWEM7TfDePc5AxPZ;;Q{!3hK z!}SN4&9&S9V!mC|{>@0(h@-Qgt=*RX3r)-3y4Q8m=6SAD+8Y{t<}_^23v;}lcK_MZ zem2vaFB^-yPkPlroCvp|m11-FGVDep>_%~Tn?KWM-ndqhrx#7VKxdYxKK;tZ5-y{Yr|Ut$0^cHLAB4Z zjhOr>=30ISe@DWdl+sq5yY0-X6xH*XdP~m!DP3Fy%nB*fS-Au+`b+mB=G78MeE#X)o zO|KHUU_cWxb=9qP(Z2wbF|gEpSTs>3E@FDk8`%%flaUNqSy&zyf|KTm(x zoz!{KK8M=OV;lRo>!Yp}^d?`+(SYt3`#tQ?bgyv`Td^{nH{mVpZ9eny z08VD`>A1GJ3rJo{;3^e^Blmg(AlxX(0mx_G#x`=>&WsHH1Lr2DcbR~j%S0gb7c>Dm zrJH|Siy+SL;UyhKsTv?!K}QPrWel-4i;!TZ8Gt?k#u70VJWH{Yp3Q;3cWrsZMb0jH z(br<0@EPf=`poCCT-W^ag;;EQWc*)<(cAt}GWU>YZ=r3wA2*BH9jhdsWVfumc#@s6 zvg1j1&N@mY;c5|`v<4xGID1NW_g~Qpm|UF8HhGI!>l{S6#p?zv@(dwoMn>m(gB?!m zrOm8c3}4crzt*2*gwwh;Uhnh3d${qOhr)b1#C0de z0E`cWLt0F*6V_8H|BcLeSI;FtQL+147=i~`-io@GT*sA?mLk(#jGGY0%QIEXdX_*f-X#k@l#hf%&laN1JY8O7nZUEwj1z2?iuYyLC!szPzWZk=mIyKBw1<|~Fl zgJr9HiXM@7TfFcaWw05Z zHO=uw9#E&q>Qp5HZDcIZBzo3pM)NEPpQ$Qf$d{RTS;5Ida14_s9dJq!;aLh!+L$Ko z><{fJ?P?ShqloZLSmo#m6{n{DznBylflBNhu>!Zl<8w$|pufw*8d z-0ftK7w^i5Gd$kN!r>sf8+Ah=*>;#B<{sRd=3yAQ+#&f23<8t9XF?BA{2Yw%s17W8 zM80;1ow=1Cg`aC2fb1{ed%y?w)7c4l+>U-y475BKczPon4T%>563^>1fWD_|?pga> zfN~ODj47>nY%X2K;#I>q4-0}1HY0@zv9yWh?)w%kR1Ly~-PJ5)4u4j!8h#B*trDfO zf76O^QxRrN^d%NGZ_jK4**pa}Qs~KqbGvj>EB*iW>6-nnUtI9*vw*o9WX~u`KJ#8V zfC<7$DP%)@=)tbRc^NKy2mU)ckMlNePf>0*V`!jB{GOhQ17>)e|AZgG23l>lV9yEhJ0Bp!nc94*eHaTpp1%@j4jhhSClu+!v+}h+HwOW?-}E=eZK3KjW}mnK^2Zm?a<=J%+dMB z*JYmLA6Z~79-X@lHx5^H1& zqu+#^h2^erJ~V|bQ#x)@x>+*(Fdaj9y{AUw3oGiCVGM8$UP-Zj(atJenxK#KK#j$E z*9Y-4!SmXP%6{{g*HZdY0w6+obmDIS--W7F9aN)&gBr|G_CzdI(0Gejyf`12{%4M{e(D`^N!Ei}XkLBR)BI@Y*qUvNOxnxjtSR1=q54 z17z6e`VcTTya{u-JW`=pr?I*`KIf287NW$#Bh=lbm~&S*T|u5sX8qU}2d9 zGommDKhtuf8#!R+MfGqRG(m;=uax?OuYy6>lmV@`YBqYJ3=o)WrV~5;skS;=GlxYc zt*Jra3VG0^&%X93vrrp|$Sk>zEX_xh>xf`C zpAA|)NU*yW9fN6WmxFZR2yTTGgbVQH6>-c!5x`MHzAqy6OoBLszYrshV?R`dJoMKM zzOvk(w;Q@nAM(A%JEHxc!5S?56Xw~rN7I-(I{Fr@ z(k}Z$_#0>Ewt0=O#S6va^vsDGKJ!nU7~cKw_(uJy2{B*tpD6soGYUM`O~6xNmWua? zK8IDz(y(Uq{qO3d?q>x(`F>G>{^J6pc(gSKHPlNeVljG4A0^#C$-)ih^L*fS`CgS< zZJcI{14hyp{RJu}?(gE~rQ%M<3@oQOO^0i9IQOr@-!ZRa3RX;94G4g=^UHi@weIu$ z!xefQ>Pq-IO3l%kSgoAapvPgfuWSEwq+@Gvrvt5mQWV8L*DQuuo?oVCujf6$V5g($ zssiI3Z~KSIokQa5D@&bej)xrYMhPznvMz-k75rx`@L}f+(o=sxH*cZ-k~Ua)4x?3R zSV68c2jb*0&-OZmg>J&73bo_>OFl|s#~CJPtrLX({!}?@n-U4!MXg@V3u$H*=kCkh*Lgyh{P~Q{ zJ{+#%?n1ELA?`02FJdSg&w#6EFC50wfW=FAd2k)B#fj{T_=p9u>7GNb&~###Z~f@T zqfG#JK4`BSe-JbnUzcWo(1+Y@xaq5}#2(Ax-TyUD#HX3V zztv4APO!iA(q983>+^kNbh=ykgAUmu~zPV_M9N2(t z+MF?3cqFAq6a7e*E@C6Bqq;h`QMEr7_OT?;CRfl8(PU}bcG(B?>^(5bF$X*JY`kJG zIsy~g*Vf@nWN1&ggR2LAqTzY)Oy{s$?xux7YvT{XAbB{;hUJ4 z<9h;l4@Ht>uI7GBH=AjeuqMo=-pfBq8G>Ep%l_EPc#Qj6vBtobmY+y5p0$1@uAvk+ z+aj);Lc-8}){Ra<19__6N)52X z)&Tb_4IswbI*t?4d_rmfi3S?r4xf1uX5cg(F7;+G#0N7UQz&~gCzIIV{25T`!FiN| z1(C%xzzvaB@Cb9YxW!9(dOAicFIugqI+z{}zi~ zP{C_%Y2y0ZZr+M(V_*4MnKuqXUY1FDiQGbt>X9Wae9Pc7+<(Cv$Sd)RZfo>uXxbw4 zZ$w#)?PIt^YTon4c4^-4{tAmv_)^ttogng8cK*L2vJI6BeqC@bX!2tTNSp#AKx${1 z7=Nx;eaLI~_3DSEwUIBYeNS3jAsJkOf~TKZp=l^kmJ#S@jQAxIy7_zNKrlI8(4NJu z48L?On(4-F1Kxnys{m{x5KiosuIyVV&aUj)tM%Xk96i)=`($9T?!;}W%b8GD0)_s> z0O6Gjaa+pz6BxnkhLK|ETwJ&pB;g7ZR_k(J5OsxaKqK-K6P+xpTrhBxf)L1Vq_hXUS5!1D1j z_BU#+0!MHS(Ptj%#pPr#W)}Pm5&9WkD>a8_`aG|@LOxdJtM$BohVp#(@-;u+8W{fy zE8tks=#Zaly6$20z^3SEN{BBq1$`0=mCwk}-~ffW@L*99-8BQNfUzp|zmmJyudA87{B*rboV=*kK81YTCzNAa( zbyxTnGRfGEvb=pLOc;uoDewsi5i(6#3O|CzC`(5r%91O@EBBNq5@ibzZsvJC>-<&T zj+9J}129EzV0CF^Mc?AS*=UF5FILExqxyh$3P}52S9x3Xb(WOGC`#1Sir&q7N_`mZ z(Z7qGo1joP^z_aaT-iL`Kg_z|L5#wi_=)cqthfKtwOu<0x_GspKo|IU5U<3UE^{kpqB$p7B`x(&eozi?l42+&$9ABeNfx*c)hyX1Y*-Cex3 zPC$35_$QJ3ad*4qAMT45%y_66U^m#RT3{m~Zw*U)(>C{<(SR zW#auhu3BnM!uxB&Rp;%PO68=LMi%16=2Yl!WvBuiS4B8m`yvm)A${1dL;JD@auPGM?PZ zo4mSwX(Qcd{v5_iO8gUNyu};5Dg#cwW^`99JospZ_$&b5<-=D1#7ktY<=G6m0o@_3k!CkYYkTO?qf8R`Wa&cJry4#^-75=Op5{b z6E3%tmH;&IYjVNA?>>&*>l>+CyR^WnuQuTyB`b> zhIlLYBKlDAsUoE4w=2$Yh=n407Bp^Lzt~H@pK91sKJaeqYfvjm zMH`CTuBHMwq$x%>@kR*ROB_~ywd@$YqRU)|_|B4b@Xz+ZZj3JLHrZ%rQ@w$^|LXl4 zv97iNlUP^LIvDc3_iy&BA}4>``!_|vCC>|bdH?1=(w`ro^+f%7A=CeB_me~H>;L?H z`xpKM{aKD5wd`2uAs*MC51~<+vEKTJAYg~}PlR35UFy$n-yg&`LVf09=(2=4s$&vG ziZXLH;ZO5A-lJsmTnfUE!zsuf?6fakp@$KH8pZ)yTz*|^M&&nu=k{NO-vRz={GPt} zcp>L_KjvxH)P`wp{gs`1c#kXm8zlE_$PAp$sR~OO)(GCMc8KG`y_~H$a>(&{4!W+P zyL-yA(I|t0K73~;Ys#jSJgAGgINS)Xci@W%fgm?);b%oXx~8ER`Mr!Z)`6=QA9MWt zkCecogs;50!nzTST*qu7GBb^M*IPj4`YXye9nlzDyoNsa6FC^2rW7Q5QtO}4Zicy z&-2mGv7lLxT#hc{V5*Kn5bxnjs3W=m55!z+inV22)v9Fw#5si+f@l;5p~U;W{v5Kt z08OIzQ8TeWIP}7niZ`CN;+rwi2_g@ah{G_vc)r_OOZXEKjuYel%kb{T9U_^Ja)KY! z*;f-kUjtPPK^#Ql6}dxJzk3xss5PS(qHeq%z6UJo;SdL$M6|ulu*a+eE zZa?IyI0JAow+{n-Pm^f!Iu!{_YHa(qL+2+vrJe$osa5Mt;(f_+>sKVA?$T-XMf^nBrGFJB=D3@SA~i3XLN8ZW|23g1R1 zfYu#om?|h*ja*v*Mqq`&*@K*a1WFmO$NuVFc|4JZ%EcF>9>}B{-G^f@H>abqJ7L)f zWoDruUBr0b*}A!vLY%sx1fXqn+k`|_-Ap~wD>w4_n1bhG-Er z*oc{L@lgH%8s=kv&=;6q(vd_~7K({1v&r%~V%B1IGm^RoZHsn^CD;c0OwkZg7i;7N z4mU>M`Vi!bgOlBs2erl5Hgp5iX1`^yC%D-niMfm|h-2|d5Ndq4={nIE-klZbjfQz@jtFqAR2v>l8`e3IKb# zU1hkk@l6hUyofx`CG+-_bgmxsfW3=bjm?+m!OZ>w^;}QSEYu^n3tXHq#(UObLKZNE z&a(CurMpvIVf+398*I)y!G90DDvyjLB|EG~?%>Sxw*d6$F%oo_0J%b!LIT;D7E}|R zfU5=Mwj#-g?k99bd@rQlzPxAo_mim)sJF~-7nQxnE^qcb-mAZDMYY8NM4AzCiT6l2 z0D=*b2`7Ri@qtUe9LcXqull|HCD!R+yVCEVIR_~npQnfnSvmwSZs3D36egTBVwK&E z3GlRl7&~HHT~BWnFO=dufN%3fCOmU2{6uZQOCMXa=-}mZ0Pi52?Gauh;7fJ_o(rB> zEecK-3a(bC+9TSAhWX$_&CLk-ZF0Ch)z@LbnmlrEHF9VfI8zt_v>Yp1YT&Zy)3`R( zrJwojnet&<3jSCl$YCqgd%jYLNb?=J2Jsk;9pB{_$Z8s;(jHv ztSJhfB;n-#b4LMwl7fHwom~8yNJujY2|a^f!62Ne=wuL9pL||95zGaTz=7|;BQ9Nt zfk$*_@pLf!0V7acf=Bj+Bk<}J^nWfduyx{AzVQyeuL`zf0Mlt%PT{NQ>Ex?(maFLrOrAMfDT9`#8VXSqUqsGs0#0OPO+=H1wOH|%$}*Yi%`ZeGL^lN`A^80-pH zqJ1>o#V_%{YZQ|EuF$i@1zUsl#Q?b2E1dnm#e zVl^Q7-ByOwoniHnzYv1m-Lq6wa*5-c;g2gXG>!H((D|HCjbp2oybD$)AgN(dQ0 z_N6A%a88=90i?i~a-td|;f4M@SI!M~#_y4#q~Z_R$fiBN;D z%v1a`IL(}1e)9$_#3qn)3-B7o@(KVi#~N~m^%?M+spkMsDFiE>8CkRi3$U{sk1zE= zZBc^vupQQ9LgSziAsNgZ&N3J`UDG&APUC4%m2w(?jhL9m|3rkcC5j&)R_r+PFpskY z7-D>{yuTi4nq#GZ&2js|ulhd)`lYOz^?CZF`g|;>(561)=Sq0R#tc?&y%V|Er99a! z*BQ+h3|HTYid>puJ@EvFXCQQ!x!4_iF~yn&R!7BG_vI|W4icHsiTH`n^)rMwpI_s_ z9IxT-3KktWX^j!%q~^KezL?}Wum!Evw{nuBhM3_8zmdJ=D6>mqf`zt`K2w??Vh%lr zN}T%PFmj@Q!;jpD;Y>RCO{#w!7O_@fC}2nVy+hao5F{=VH~vP-SS@m(6LFrgF~8LF zRl_?R)YT|01WXb>8?E4@cS68uF>-&xugc94@>QJS?I@Olg|9U5m1DdQ578=)uapHH z#X`U&wrkNcx6Bv^*%GpI&>;G`T&z`i8y|<^!F6+3zMS4y1F!q@o*3!kJ>?ui@Y$wz zTxA7_8W1wXPuE-jH2_7Z?EXf<1n2T(hHU$OtaCoo?KK~5V?E9he7tcp;;ztPnBq!Q zyoSj4LMN?4o)_;5uxVFls3@a8@Tf9_o3JL}dYLOM+<=j)e6aZ(?A}PuNw@IAlX%57 zd?_lIn$^M}z{RI5a(WNYlC<9Ek|a?0ETZU+*fob=pqqNWd(wz}B~-7lsO24sWy%&31%;_~VW(O=Yki9J~%#G9}i z0^4{&xEwru`v9AHB(sfOhXyX^CE+9#jkYsKiJ#XzTtZwt6|qdx5=}*OB;6?v0pN$| zXXl(m3yPiULMzmWZ1hv0>DEW+5xaxJJ+aT44;FDoVAreq_KqNO!n$-RlfSu%GAX=6 zJWZ^Xxeuw_CYg(Y=k3GLG@09?a(^vzA$cPAWSP4_flhbueuWn7w2l2LxlK zN1AdZeBYyhCy6z-2@BXPTpL$HCVBcg^N*9Xu7*d8^R_{>haHqT6Vq8~L`*y^uoE^N z)+LW`wV>|FUvg01Le|m9vX}N}m~|Ml#5nV{IUAF%_D8maYY7;avD({vAu?&;h`sG! zfTc~wJEHf-8I8RRG2cF%? z;Vq$EuF&-?WZ-{&D23;Ghc`Rwb-dX*lIJR3yv}V7^&00OqXe6t4p`ys?oxcVu$q2u zoXj5(zV2V`(LK)w@R{y)bS?RD?F;@SVd2w}HT?$4qHtsphDx2Q<^CIrNjQ6#O-)zd z43gsskD0V5L~CEULIz0`o7%|P@M~`Abc=i(Pk|4*QGo4L2RMKWHloHG{@Gr$WRD)X z6pLQT0erd$uR{f1_Sy6a9~n#|{s$AN7N_*y>k}#U!B}wnz^kmzR!MJZ_Q$38elGS6 zxCBG*B+L=?OUK6H@2D!gb!0Bsbv{^Him&aiM-+^LKqOe}k5OiWJ^rhNBEZ(}g#O2K zm6Qg$p2$I;O&2_R;#GFrkIorRa}Qodt39X?0MGfuBo_ZwKLVGCAtWi)*fPsoZb&xPAd~}r5&sT z%K@i*lI?MZS${;XRUk;G%;Gat9=HenyRgh-H@3-Pg;AjMU8QQQb6Ar5UxZy-IWf*+ z{)_XdZs+;f8(x($eDTHh7ymrExe%YW`piEA$H|?Cbs>@GrT!yz&qc~#tkVhci8T{M zL%r|7V9*QPZR^DG5Vx}Y@9V+K)3v}Co!jGlzXUg+mT1CHY%Mf7^i{Tp_$zpmeBvvr z@CwKLjb41S)GW>EJSmYLysQUaEu*`b4r09c4F~a8UVIw15dYDK&+|p#ZLc{S+lATb zlw0x-9%5W{g--_!TfY-+0u1UO#@A}26EQY%eVF@p^rXbJ;NO3A9=eU~Bz%ADET(_l zc_=TAM$!@XJ|;Bu+MLWQp@26tuY<|V*DzvAS~ zZvDlj3hTmUJS|y_xd3hA-MhpR8Oy&^Sk zR<{|hiQ_Blb3ro{CvIEXCszE{dZbCLmJ}5FPr)wCH~LQ(&!F$re=7W@fhM1Epp++7 zpoCv{G~U9(nxok#GM{6QnuWGCYc15Q_}{U`hP^nWb5j@7slwBt!b1i(ytozt4KA0F zVu%(g!$!S7$mB*n9S&V*rwIpr=RX9$l~i{QP*U7^gmuxi>X?gL?qgBW`a6E0IdBFS z^A7=r46%<-CQf|kEsqrLLnSI;^244G>kudGErh(LtNvf|p#49Qvui&+KXKqE4*XAY zz@c#)tZ5~c{_2VD6UQ~Wv-}fJ9N*}^Wa5c)-SxHNcM*RZMO4Ic#BVNsv)yj*!uo)} zaiSvX!bOYf+=aCbRe@Un#EG?y6_-@j)y}P`l8~%yRZKf~al@j8^UrtBtE;U?yK_go z8~xP_WNcn#pbkXL<#E`#4Yl)Y{6C^x0=|l>h5jy_T`7TABqeUrl8C>nBx&hNb+6|> zu~9qctQpfwPA-@^v&1_cEj79aDp1)Bl~f%bQ&nHDEeiNg{v}bWLNg0gp+fIjg|of0 z+=Y5^;WYQu0dLyhMO78G3mdB&@SjjtRW4k($nUNK++Ph|&Yd`MZuP~1YIj{_!~E(7x4))xp?g7P zQ$=I#Wz`sl+J%0%81so$m317X0HO0yS&%%hvaYe3{Mr0aESA1H7Mp{=Rro7=I2PN3 zFc0A>=fDs%k*~RPXd6_ski-*|WSerXww$a{-8tVqIO=c#F6iam2?6 ziRj|}4~+y7pF6wk-$om6UNzH2f&iR|w4xe(U35uxL*;zVjWOfr4XCg5`>PukA~kow zh1K&GH85lDfQ5?|Gqh_hTc00j6qUxDQt7Xs@19&V;J`zZ|I5S2i@(E}ZY4 zS6f$2*%>otjOH#{w6J>2K&{L>alnae9)ctzVvuBXCTEC@R@GEjT|^{edbyRfNmLEh zjhsKA2MA9Wk3A#ZGyRqR+D3nERij(wD4J!e?_Wr`crG9QV9EQJh0dU(NPG5olLQbU z)5Gys+|aP7!M(VKeS<8{C5cI2EE}U z<0iT(t7KoGv3jmsj)i+}^}O1J=;5M;=(>3Nu8*pVeb z8Eiqg3Le1UAbb)hQ?FiwIR=OS>%my86|{9C%)o|td^i@%fvdk9VH<7}gb?y_#{)}a zu?;BqBuwq|kluyxE70-|wizL`cOJH(TNz?QoC6zPev6vhEItJl*gp(2KO#cmZB77bm$};r#oprI;PK4hg{0iai>tnIe=>G!<^ASFe z@8n#;^wwBxGwSVnITqvp!@B&HSgaiVKJT?y>_g=5LYRT{=r>}qcfc>-+p$&0B5KjI)7F)*j7qQqZ@b%lhvDm!`Cx39M z-Es8b{!YHeNI33XXnSD2{+tDh`ort1X_@#NkH57|lJ8nt`qZ?HGhKrgJDasLj+%JV zxXj~Oj`h#O-<->#ZwXKj;ePy;1Kx&lvmds_$8lMiPf*hTHd_Bj+w_b^9@{R1o!^Ww zR#T8x zU!2xdoYw3(3*fWU@=&fIEerKfe@a^Vlr*R21IlvX&4jEDgiJ~NMcwfi#qpN_S@M^T zfxY4Kf@&=Xf2)9R)*Z3fwTNrQ>^JZQlZ(*rx#%|_=(l$efRY6|ioJt6t5IiBypJ=w z)6l(-*Yrw3@gOnYSs1HV?~KK&**^HSob4}7E&xkYl8Png(f86p7!FWCHfW?_4(bhV zh0JrT%lhJTk>qoJ(&K&6Fd5Y|fnyKm^91xK&=KLdEhimIQ;O2Ef~h5GIZ5{p zOv?fUq{tDOGDs^z{kg0UJ;3*(Q}$z0q5kzrC21KEj{EWyjN?*{d$3oj0^*ARA5KUPNoTwD+ zzqH@-)JV$p$u}g4{-aDA^q1)WowD73tN*MIz4trz|8iOX-|c@5=z9QoGH!{*?uH&r zDY5(S?Mt>w(pr*|pGrpmA@ktznF$;{b5QanNxgCgbJ&fxGBAIx!J0!)drBJl($bAD z)GgH8%W#Po7i7f4xxXE-6@c+WH(K&hNoh(6as0kQ-dgDUOVAG~0~q1&$w1PBQi|fE zUot3p6J{wTD-N5+@gr*d?-1IDSTmqn#Y5P6fb9efx2@u^dcbx8_OgO;j&QwMdw(qU zXVUt^x`=|guUCG766(;cZ1d7s3;}qRpD02aWvB)j?`&2w)PV)(-<(6MSbs|__FKx( zJ+l7w)CG~`;@;;FW@RGBpid}6dw|FPmsl(fYf#D}iAT*L;Q5{oJ~OQ)Ir*ToR~ec* zDEU50*Y`EClA-e;r`xbzolcr3p)DXwWDLj33Gi2ckHrp0oX>dt9Rry5IP4Szl26bT zO4mS+rLJkVRSi@yv>tKILcJQ)gS3i=E}|O1<^smg7xl_>%#Gw^hmB0FB$}3w;-o`= zA{KiM!j^I?IwSOd;gEhsHzZ%5f-6tU`vv3y=jb=v|vnn@&v~iEjgGp5R19u z!5rWi47qTS2R8%9;C|`gLDKSmk<{x`Zb;5SJA<8?R{z|OUt=gwJl%aBb%ahj2YCNY zc{+glqajc0NY^;jN6)WMD(*fX!JA;eB8dJ?(8)dIN%b!uw2wjmaPdG(ISAo`?Dt!m zx;!P4d_AXC8UE&?%ueW72j+ju4wU)fxmJ|c;z+)Ol2!Py}cGVpMz|9N&gdU zx5d#@w&p?*YCed?&{gqJwweH&3s`^<(9vx@^~KlIse^viwVtvMS*Z5_>Rk-om2#2Y zhaXtiVOw~5*RWIB2jZmtsbdTeCtuF6aYD!SWe&R|eHuh?4psm_;gyKFo_m8{^FH^JWe3!TNz_O5}|_|ADV%aV$0p zxKp-3c+$!e#Z<^a2xaEH6pK})qs&7n(_=h(*u`h2?dg{s?%!)Kgx%^!Tib!N2<@I| z_XCv@8|GRa!lGGzg`|zTEtvFcnvdd%-8RDEJRCB4TB@JAYe^h_q+@Vu>cHelsrlLr zUqhrEXi?uQtDkv+Ug`(0Ch3@(;syp8FftgJV^^DBMMmYA6TR#HT9lh+VTO2 z-aBZ-L&LNO(~bim>`J|LnD(rTnL9=NhM~tIcllu`_=m#?e)X_a0H|7y$L)ExbK8-Q ze@VkGN6Dci?G{DDDNR84h2zG4zZs%E>P)?Ei1zydsffQeAob8-?e2k$KR%G~`vwuh z)~-aAAJ^6wjw#y6}PDNh}tJwM@ zHz!@RCRy+#UGn5)$ML5lcBdmX+F$E%q`uqVu`c-q;EbmJ(eZVEZA<@zCcwj=ISxxr zo#&_o^bd~If!c;Hp%L_*=r}r-g3NnUQ*ZC*xV0amkM~P`x1Y9)(KxL!NB?J2)+Ar& z6ts*)7RKpc^x?K_$8n#r6R#wtK9;QQPfC3-8UH6k>NP3acO0-A*{*B>$OayX)ZNLc zowB<>M~e6#a5(O9Y;dIBmj{PvNlAmWvggsXnsHq-;cr#=dllZT!au6;J{A7o(8r%> z=;DAwMK@y$!pBa((IfqlO2cH4k6Q-V#)@a7&3Slsv*Yu$lQNGPFG^ALgfc{@h=NgH)RK6(8=45+7Af(_fTO?vePo zVQTUjE(1-W)9?<0cn+ux8{Ue0uzYN~%M~I;rtrfuAMf>v$1e9zxFrbyp9Kh)aYVXV zIdO0YOQdZ&_o(zhmH&-O+kBVU|L1=5p6?x3j$6X>RamCNIV!AIVY3QbRM@J*)hcXL z;Z_yyRN)>KYR75fNmrp;g*htBS7Dh7=cuq=h0Q8#QDLhJSF5m1gJU1#qqPjhXQehYo)bFYiFEgXPfC*bv$AA;hr;t) zz(t9G6wY|?b~^i0o?AI|Jd?`~&y z9+{rF>#E#Tch}5RwyV3-T{AnANLUh3!3TkWSr-E%C@TJNAqEl&x`=`#(L@jpW}}t)D*NRDZXi>y_V*fo~Jd9g;J;`5k6NPF1pYeUY5mW7FA9$Cf|hyiaj9WDPpjvH@2BSA}|_!p`g-8H2iHt;j|X}}i^+=1e~ z9QY^i)POw(em~$;&%_B0p!hi@1w$gO-G>0b7X1FbXEa_;XVw!L_ru5ki{4Zp{U&?_074SW~ud$MP?O%+KA5XW(>kGKN8iYsVeDbu0Q(ThL zJ`4@f)h`WQon$Ct(SWDT`vZiJc86Zjh!AU>PBZ?HwXmx1w{&Jb4LH+-;TK-_#j}4J z{O(bW$ZK7={1_A@)59Yg&hc5>eg*T_koBtR zC&VD965xbyJ)-Z$zMjwE$JGq@lNsovfMzr=2lr@P>&rOmqyIQ8@FL5<0K zEO2?sz#lgANb59|j%3WsZ4hl~_20>G$W^09cpV${ECbGTvd-07LT^iOAk*r33~<6< zI2Ff#5{uGl`0q3HaQ6|7kCEbZ72u>tl5+SahVQj*HuAxsTl)a#c{Jl7e7(u_3)Xi2 z^$hsW84ml$^hegxU&_G$2jD{yJ11-b1~<|3DMQaE&4V)F)X$gaHGuX;Q2IzNeSF3< z;C+TeZkT@l26a$+K9^q4D;e;AXTU#xZF)V+fK&gI_Q_WaJZYbN4oVG845UrK)98Wx zw>0=G8SwGz34h2sW1A*+>3oUd1I=2`XTV=K_2ll+WoYf2()F;$r z;5=bV} zt%@EkX*<%lB9O2HT<_klEMk<0*V>(4)9txUK!fVS$N}1qUkggBPJgvpE2>H@7{ffE zRM64)m;`_^3nLxu*T)vzmf|hl{rG5I)V9iIFLrFCFJ=pRuzbgB%QRqc3hEF>A#my~ zP@owZTNx?@jgBeRbOXn0jjL+YZ3kYk86PeXYdDm+o~sQjdrZxCnyTltS6oGdj7`)0 zpjZIG>(dAPu*py5(L&GjT}&^PP~A?;Yi#Q3%G-TZLC^7UF!XS}P&r(;`H$vll(~hD z4yd)Z2c9A>!awd#K~2)xg1Jr;V5e$e^xmq?Fk4Z5CgE+mj@Q#@B}Ju_hfVShjw(>C zx>-W6SLT=0{8B+J&Mes~@AZ35$d~VoD^J128`miHlGvhC2X4<$vTf78`(n^J?za1j zGoahDQjLub+qR1ku3m#g3#hQ#AgS9}b$UWbjS48DfysoV7}e)ds* z=#=iH1tF}N+KAHPi`uSD64Pw+8JelNEgX!o`$3%3Mk1Vs>$%!g7N70h@ zQaO#dOmiEC3Ei7juHS7r4YztnZB$k9HnnjQmKD0=UJY=~Br_Os4si{}vJ5TbuJj;R zS*1Dcpjzk0(_QdXHY>d|?*E5z4~afh_#@11YPr|(6`fY8EX*_v*1^N``zH@8)nBWt zs#3@PXRHXlSPKqAA9)?JFD%$s{a|f*Ip45Ixv${ZiVL>JIky(h9zj#9W=E~GI&~0P z6SBLnoV5*{e**2gf!icWorZz;YkSJ+^_)!web?KxmV2;&RCCSuH&G;Vr!AK#DxbKa zBXUX|Se%@#fJ>*9!rj5SyHw?n0UnxOwAA#c=O$;XQXWD8$(f zGn!2|{3xApP+h9hj#5r#oDbNNU0v}PXMFvhV;~9Uiz=t!8y+lK!+7zoN7ti#sG zrNcVs@>COJL!u@=Hr099k~jvc=$t07LGd8LV71pdfzfO#KE|9V15?ydb*QMeYB)h- zHNvNm^z@L9d6J*6+k&hwf`NV4Z}{Cf2;Lhv3Q1xbZMp50U{$$vP!(!9-dmFTZMgTkxY}-2$!jJ8*RWu8X@NxTOREqrU?iw8D zx`R?MsH%5>MkruaS!dIo3QP4_(H-4@cw0M~b}e)&+7cj(4TI70>g4A+7!V3_gaa~6 zR#VuiGG3WJ(hzxB>93t0WJ2j$P=rAdVRAMP+wKXaxi7}=`Qo^K!*@JJ@(PPKXhwh5 z!Ng`b>QeFj1$Gv-TWumST@rga3BIL(s9(Fj^A08(u>5uwQclCTodpP$)>y z5UhUKKJze2eMI+SG8Hkrb~B_p(!xeOUx?6^S_j;=a+cdx&UV}QQM%iP>UQL| zK|Y3&jr3rGT>_!CT`YF#l@#dNn3T!eV>FftO}ZmWcsmG&6a{tOm`RD4y|REIOtINP zISDl|3@6TzWq~4lW~mc)s)Yz6`H&cW;rty)io(xf`m>Y1?-pWEaS>ryw92Pf>m<~X}X+e!a$1_GL zMDpi}Od`gJFR;;K5d=8QHT>aYUvX3RCQ?<%kr}50i%PK zJeFt?-%@wAPr%kui}-4qkI|Z%!YYB;EwYnHkp2Q+Wig>eBwD(YD*ZK@NOAyY8gbpE zYZalB*o^|2f?(E)8_-&BT8LP$-bm=7>s#o zLQ96W&&h%pbL)nd>Twbth)iFKzON={wc>Z$CUnCFI+*_L=jZES6|rtQ;~raD!h63Z zKQnEeR?|*g>kJUCmG5u**ad_<=;?e_u4t*g*R}Haw4j@Zr;(@CHiR8FBcS@4*J|G8 zH4O-hP`A;RH%6y*2P@y)Y@-RC2R;1+pQ7yJ+lH|lg=amt0)8(>2o2}`b3FZSv>kf-x8+a_ycIx-yPs*>F@{(h_Wh|L(;~|W;`A5sk`8UaPA*Q}amZ$Bq z`2Sxz(!QK`m3+dKe~-zN{dWMTt)Wt0&cjOHeYY-1eWY=g^4Mn1$-^(bvXqzewUWzu zT8%w8{`cYmomG|caz0gZp%Cf6;7R@f%G23bxtH^=lIN(?NYsDor}Up-l)j2T8dE91 zWj5vf5<=V||` zM0q*4Df#crK7Cyq?M;uTpC-!7c^Apeah0%8a{PW_%7@+DGN>kBGW2ht;rz+{uW&)* zC*|dQo#gZl$!JQp{}LWX%NJ-ukR;!d0|Xj8(Ec9*kCuPoag8YXUyM95#hKRSn({aB zha+Xo8+0${5)b{D?gqzO=wI@8p>Z4y3(Lzn$fKsb;BjU6k$cH6LwV}IbW_gf-fha$ zdDv*mMQ?Du7te`zq`aJC9D7FQvSvSoNy^cbD>@R zME@Q-tMdsW4kR4&ux`Ph^k3u`9V3#y<1$QN`nA6N;Y}fkFQi?8?!iS``SNQTV?0qH Haclh-pjW&^ diff --git a/ls.cpp b/ls.cpp index 916f99d..1ee4749 100644 --- a/ls.cpp +++ b/ls.cpp @@ -187,23 +187,25 @@ void Circuit::ls_update_weight() { } } - for(int i=0; i<=1; i++) { - if(!fault_weight[g->id][i]) continue; - for(Gate* suc : g->suc_stems) { - int inc = std::max(1, fault_weight[g->id][i]); + // for(int i=0; i<=1; i++) { + // if(!fault_weight[g->id][i]) continue; + // for(Gate* suc : g->suc_stems) { + // int inc = 0.2 * fault_weight[g->id][i]; - if(fault_weight[suc->id][0] + inc <= FAULT_WEIGHT_MAX) { - fault_weight[suc->id][0] += inc; - if(suc->sa[0]) fault_total_weight += inc; - } + // inc = std::max(inc, 1); - if(fault_weight[suc->id][1] + inc <= FAULT_WEIGHT_MAX) { - fault_weight[suc->id][1] += inc; - if(suc->sa[1]) fault_total_weight += inc; - } + // if(fault_weight[suc->id][0] + inc <= FAULT_WEIGHT_MAX) { + // fault_weight[suc->id][0] += inc; + // if(suc->sa[0]) fault_total_weight += inc; + // } - } - } + // if(fault_weight[suc->id][1] + inc <= FAULT_WEIGHT_MAX) { + // fault_weight[suc->id][1] += inc; + // if(suc->sa[1]) fault_total_weight += inc; + // } + + // } + // } if(!g->sa[0] && fault_weight[g->id][0] > 0 && (fault_weight[g->id][0] + FAULT_INC < FAULT_WEIGHT_MAX)) { fault_weight[g->id][0] += FAULT_INC;