From d4c6df7b9896b4620b865e13821e5520d310191a Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Wed, 22 Mar 2023 03:25:38 +0000 Subject: [PATCH] =?UTF-8?q?=E5=90=8C=E6=AD=A5=E4=BB=A3=E7=A0=81?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- atpg | Bin 1295168 -> 1295160 bytes check.log | 25 +++++++++++++++++++++++++ ls.cpp | 2 -- run_exp.py | 2 ++ show_exp.ipynb | 38 ++++++++++++++++++++++++++++++++++++++ 5 files changed, 65 insertions(+), 2 deletions(-) create mode 100644 check.log create mode 100644 show_exp.ipynb diff --git a/atpg b/atpg index e4d03012e1c835357db6d49e524a3d580269dc88..e54fdb226461d6fe39db7134e71dc0c52017a7bc 100755 GIT binary patch delta 99816 zcmZ^s2bdJa)`q)!XLe^c%(8)H6R^9$l5i?eFo@TGtf1c;7Ip3*ss;axItE;-Zs`pK5wqsJW*@esp zJKihOG$j6T}C zT9G}_gpLa=I*{p`$u_-A#1P>6C~*8hM#{HiLX3&fSAjYM2_Vb?QQHIIAE)~dzRYfb zt^xc!xkzG|U7%2-Br4V3%&V%P-h;_bpo&AjLij>R8srATHQ;%H41(Ta+FS34S5SwT zhVi#J^oOKE5`j|P1MhsChw$jf$)#UD>Nc98tqT%HEDAAJJIAm#1#x$dP=)rnjaP{t z0YbL~avsc#UiN|8*a&?G7@u1y&Wg1-s0p`YR5+^wd1ob zFyhlpe|gG1LJBgF^GE9O5fcAcGLU+F4dEvtQjbGjqzPihUe{xvR6p$PvgZ6xt&kRb?zgv3E6B8&qO z4FgM#B&Teh?=e}rJV}A&M-$pqm?C6Az;`TERa)jEkee=kzgO4q552-|KIpC>I@p{=M;@ri? z8x~ST^+(-|_$EMghIB?~FXTDM2!x?Ro`K9lm;qwN**$U^`7edO0erP7{#Mz_QXyr` z!4TDh;9a8L2C6mWQ-lLTnn5lgoCC4qnZ)eVFpnu*Bcg|uQL?yMV#7jvXY576G;6$xzZInh|4L&8^DMdJT=64+s@B0eqc{}<3rq=B)3jP zeTvZmF$_Hx81Q*!+_f20TKH99UV*rN3cU4sM%-T$sK4kQi2feLH8ODF^9=u-k?c^8 zN*FMwKqSwpB)r4U(`Ec7d4`7+X%UOb8KTUS5*#B?I|&kTO^^e-8B!3T0Prjr_aqIs zP9waW%4eQMZGI`i2?AAoH(^!mD}z|c$^9*w=CB69eJvY_SQ&WxWOB*}9KYejy$sab zkjV(I0nf<5cPA54W)BH57C`4o{1V7ogw?>D9LRAhNj(e{IhE-Pr;ct%xfQrh1UjC| z$Z?PZ@(J`~Kxzd8vri=y8AS%>FbM_`s7?f55&s2HEg-iMZURq6;3VdQs48YZ33?K! zwi0lt{uJ|PAt{g~5MC>gmWwb1QmBmxI|J6Ua1BU z-%q@yV2r?gQ~-G77lLlX+PuDO(EMKjW*?L(0~gU?Fz%fNBKUjIcpS zZOCDSgTOr)@-4yz;H?pO>Z`;mFG;Dp65K*}4XBooFq)napc+H+BBTKKXh=nbvLJD4 zVD?w>ji#Y$25ki5?$Mm>rucH@nUH{Yfl(nwPhz?OGZCU92qwV%K$(y?5G>$*9JuvW zqCf9YPOex9yaf8n)5P9vSJt8a|E@fz$h@O%N)^(-@Ofbc)lWpcM-H1L%WokE5cWxy z$APQephcZGsl`SEu2+6?Hf=gF04Ywg_=*!AH)aL6FOe0YK z5rn0%F9Bl3%Dos(eOPtiek&V^XvHxICK+m6kz&0QRy;k4toso)42PjWb%IPnmO8y5?9sr&btGH6y zyTvqqmHeBjNF|q}FNr?|u(}W^aW0`qDav3Ll^~Nq#S{EM{3W2mAb%k|2A*qy0hm{z z0A_g!N)f1h1kv0eivTJaQW&8i;Bxftx&OW#eS0pWM)u3m%LAU2(yK=oA)8$07PRIX z304p&i=YbWRREqGfg0zzBK9S+AA#yb(29r_z-%F!h6H0_BLSBu|M`Dhp5_ELolmZH zVtRKxA}8@E=qo^< z#4`}4N&Km6Rb`!W26H^xXOp{_)!mIQk-d|x~pL;gaz z4PwRC-4ji1+M1{2dNCBz6`{3|@sOFhxc4v_7PpXI{4Pn{46k%ru8;4c*h0)Ypw>XH zBAf@FBGjl1yF_%m#A%l*sVbr_m&hgnRTDB4p&y79lgK7$+-(UKqgnvmJvCwUD=h9h z{h}W*^j;1tw?ztI_N6;W%)3C{BlZfyS>Soz|D*s)JLwaB80zvg5k-O71)}-{N`2SB zztrw*_~~*yuS$ieXU)-icgAd*6=FPRZ%MFm4i5=W`&;tgO=Lfk>I00Nv)Ee?Dc;t+ zl>Bwb7}T!-_Y%lLgt;J2t`|{^n#04x3(vrm%S4+H<3pl$0A1~lARH1R)$Sa^S>Th7 zfH=yyMGsURAE`T6G5HDDb;oOPV{Bj#E2fr;s~Uy;khtFg{yzm6h}+ww>m$nW+~KL} zHzGVV?4iKhh>cs;!z$fG#T6fboP;tbP+cIU5K0JX4XJ@p9eDe{7GkXGVGY8i#%$!~ zC>x8_1V~SW9zsS!h9L|E?xopcBHxC16G!Vr?ojaJRgs-UNM{$F}l<(q*G>QyBG(CU&&Cp0*kL?M!UEa?j)lRfDxK2 z@cETYpXiRmj{(<(K*;wQalf+lm!aPQ^D4x3B~a=6jI;-A>TPs4MSlz8c5^fHZ`hx} z^-f?UMklCZz7$R(p!P%ZAfy6wE5x-su={%+0dS5MM^{vgzJOFms47NB0uR40(l2|T zyX4#JxqT>xOVkI5EfAj(x(_l5VKi_bhkS&vL&!PEErjod`~)dZ%Ul4se}nW#XbB?K z+uR>K5P1EEWdGSWJ%;+6AQz8sastm-ZbA*4Db6WTz-H~Boy`v9tL^cLW{+Jo| z;SSDS*TF#hA2UKvA#*o#;*S~OayL_c5z7Lbe@ymorLc`iw?0tsK)N7w0-i~Wxh-jD zVHy)CkiH+a9`!)t2Z+NG$asV?LIMyAVLs5k{Gd0TTiI^u<=3X*Yl&Yi4&^`c_>B*c z-UnteqWI@nbZj^fR6_T^ehQ|?DiKz)Jub3hG)Ttm1jq&MU- z!UG|lAudo@-n0hLMh<76iEL$qfiL<)}MyflKA`N_B=uhAvYl15V`=@ zwLssWGyH#&+fe9Wi4T9>V@yC854_#>dW^5^Eu|-}f1VIuaW#pEd05O9mscRG5LOE5 z2YDaiJ&@yP+jlKjHT`ovoa-?*JNr&cfyk>lQlcr=$GGg5G(sV#5xxK}f1u*kj6!cx z#vh^IOZ^(PqdKo+-3urshP#VsEstcdN>V3;&wElp1)Qi!`b z$77^Rew)Mczh4sD+GJr?m!J}X$|QJ58sAGgNf6(ZnOPpD%ZxF@f{q#VDuG!| zG-U}Kulbv4GsG(?%&XpkEWxhAYy$Nr>}P~8K+Hy(<=_qocE&tu=2JzAk*sdNV-5$d zUQZ3vjdsj~K;(^7zk3TUHg}Ec10$mIT947h-iOL)L8c_&ds+6GMUzb#a-Yc$ zIfk%T$S_D8mzTdGvErC(37U{OoBfd^czl(zaH+@WE$X{Dqf21F3;t4mp8591NxchO zieL#@3E7RX9r$|Mex9#Y4mAyO9_<-189LkAfLnSEKr35uG=Mh zk3`k*AO4=)rq^6Tgqlt87~@CcFc}iTy;!e(KbCT@q;V*3dvm8i|Gb;RLfxgX-%4aM zwu$0%BCzCkV&e|9oNdF);Q{vdSM=bmv9i4vu{M*LH660#U!_s+hfBXyh5S zkejG%sQfx*{n4{oRG#c-5Y?5e+k%L{0_}cHt{5>d#F!3!O;j?P3c8v`Tg5f}pf~MC zX!`doB7;oE?k3i%x2I7nO$dBZM4@Dk}>f%02oFMv=Z5OFs% zT1GxMpx1!hjj4GzAw~MxkKvDil74ms8|wx1w+G$LC?x&uWN0E#(%&wOP!Q;TcO`@h zfPVKbjHTaQA6ggaes?flNx%CAv@OMWcfkEyMq%lHzXDhA>pf5y)!@6F}Iy z0@mfeDxrtrk&)V0_GT($r0lQKp;_a!1z64n9vP6FzC%4N4)h@2N@m4 z(^2*TC8NV~2xWwv4ph9KR=Al(8QV+#^dPeSsN0t-W6+tX4p_DX5t9Ss?k88AHh z&~c(F$6c$St7+VmV@2JLt$=GSqE=zE5*VQ>aO!?$^<3z-z&8WsgM5sz7bNC~th39& za|-=)7eINQ*snq8@IblWGovSRgX<3T7BF1T1$zIUks=R#j3T^ShEB-?pJ+%Fa7_)Y z{XL_QJm<*+O$ADx^AtxY3iP9%Y6w+;>we%i#`0jN5ws!D4|am_N*?UAL)%7-uLi0- z$VidrIennL#8{r^j6@hARrUYFA4nzas}aAAr~Q!5blGBl5A?#Ys1; z8YDl0^vPQDvLBBV@7bC108ZQvsv;^3tIAlE6_-cYv_W`5$Q?)@gcm`q*t_GgeGN7N zM5aSRp9(B{n3>X%eLD}`T%cM))*!3`RQB&4rst5#z7zTZkjfs&@hG8?)a_F!jsab_ z?;zX~B6ZuKm-83Ib12aCQG&kFk%%f5=&D=^p@NXp0so^kbtJIjQF7gLhuuaOlx;v> zsoi}jb;OGisv7c4l&^uf$sCF?viYS#BcrR4gw*U0hz&kZ?`Hw_hnVop4%)xkFnS(Lj`+@YwiMld3 z!?%efCQm7Y@wzexJ-t^0T^=Xu%Ip|RWp<432j)F4-Y#2Z_6=lL&6a&9Ewj|=F67Vw z_@qv+mzZEpeiiLV$zN*ndW1DXq$cl2*aKop22%e_^-HBSrLyv#9#w9yBoeHdmoPgg zeo`|HI#hoNk(wC;i2|{oW3OvwFk074pR}mo5#_X_r7$i6bX^PDQrF6I3k`Ks;FE^* z7EVs{*$Zt~agyfKaXKCN<{CV_~+PPehbKI+Q&TegHswzdWd ztRU(GY~B;QDS`HXB}dQS;x2t6M7`LE3AbEq<)X~1yZ3grGfBgMVmZIp(W1nTiRw^0+}Dd3tEX#00Y zp(V?B1r^#v;scP52xImjUsM&hZ$@Xel%v^2M#rp^MHvOy;kuelMSTp9L%>s)tqa%{*cDYt{f(ey?G)dEr!p&*Dj#-<0oLyYHnTCCg7r)pw&nYelw)e*0= zkd_F~0mCy6=C%t)hek4$3c3n)9}K#S#{$SSgegL1Lf$~IK&;riH>24O+X^E0Ktg-2 zAW^H8QW+_e5kDc~W1z-DzCt(+qDoi+rPBRxTW;eQ_|JgyNZk&W$7OJOXVvnq94nLV zKhkOm7=3qp*!2(yIvAUhB?3rT_egm4~244=be9_NVB<`|LtmG5$G zvYkj&!E#(6fH@PQ785)VYYJk;*8LWm*{~TPrubs3bcjkRU1c#*F<%k3v{UBkkN$=B z3M+n4(*BLeb@;3W=Firc5S5{7St~+Ra(r*esXf7N;ywgM=w9nYh~hxK+w_Sl_V8))EkV?;m|h2}0AvFLly$(jm^Zb~ zVj4P9rJI`}<|+c8JTels+=embL6LqyWcEP{tI)}?R=HHXzcBeuw=?8jP|5IwN*z^) zJbDxLDd``OfzS(5ScHp0o`Kv&xC1=fC`vE|Q>P%eVAO5YF8Ydw^cTN}0{%!ADUo?6y;w@UEOU^92aw*uvd zTtc`2%)t=VgCM*j40yigeePBEhVtl=4UO*aN>@qjjWWa+0V)#G3ZVrs|HeW6N-z#K z0>p|_WF|K8v3i&Y-DD+&s@!UmRgpjcIm)=q*_pZ6xX5!VV@*AhmaSV&A}fI2y4?sn zgvi#NMmQ-%w(>f{&%jfQ@&}VM4M{Hafl5}g)h@Y9CcQz~>Qsb8kg8;}%ORDLDB1kR z2n~SeYwK1hdrUUBJG`?P$mWhl7$HP9cOJrQA+p&U5Y~ZM$=EHM{V8l82>Z_7#{Kp^ zl`#~CpQi_@8Wl@5?xa@3Rao%M@boj42Haj&=KgVD)(%6!>BFW zJ3+y{Hl6t)Ip;FoitGQ6U6>Es-E2BDr1IS0BR zbOQPuSZd!oP)1iu?wkVyi60;iat@3~7$Zc^frSVQ0GqjvtTzX5J!F$CuUAF;wh{Xl zhHC(gN2XV0)RD$xJA5m!8;_#f>=fqL(zjAWR;iY}=Jx{Io79*f-*qa)@dnrz=1n^z zPqH<`%RZ>U==l_>d;(M*NRFy(5r}AI?Z=>2HwMI&;1xvw8!snyeo+cdI!19XKKERO zR5(|w`oz}->Q8K1BeVh}lVYWYlTT@q>5HbPm=uCcL3kCop0S<{r#y#broJ;~al8E?@vWXAGil$85mgANpCQc=8UrIPH}!3>81D@!6W567vM7S-sv?j9 z*!2OiVis8wjW3frD2#jC`BgQD<4_VZ1>=dp^Sm`ELM6mWJG}wE4%iR$t;G?lqJJWt z)7d>`hf?yaKO^oyNYt3dB)yZ!Pw_Yi)CS1c2ww_W4!MPJ19*!J{NFU9`tj<2Zz3H3 z_7KOv8RRc~{f{Mq!TtUvffy!Hy+?$Tz-ow-fCZ5RwEqU)`uyicM1`A0)HNa;|8F6V z|0xLm{;UKh_WG9uZqYg1OoWrbDu|Q70!Xj`?mdv`r>K-5Y=yl$vzoD%+#1gMd1azc zFfu+%XElvdp?;b4QwrA-Ku`LqiSQIKWzvtH=i`-mKL2p0Q(#XtbDU+OS!;+ICyLwV>z};j;UiShg91J z52Ir%hf&Gl3);qtU8EetuoAtpj!X7q7p7G)wJcw>O7#z8b0@Kt<7C@=%eJ>C*b3VM zycc=Bxs;tqT2@*{RNIg+mC9B-e$lcYOajO6kG}unmnVdIgzN#wuXsPsW0i)=aqPrK z|4)W0q^w#-gyT3z_RmBD$FDk@`#*jU%mS)65sqJbh-yX<^z%m!gXO4`Z9nO)jN3(J zv!s$73n~0=Gb+g`6d$uo_5*bo@&&?4VEDxLZL$4~$LwPFJ?hIryI&D*iyc=m7Y+J< z?CXLO$$Be?O7O*?4yi%9z_r*qmV=Ry^iX5rIYci#)qDu)V(`4>iNQd6sAb@##6TLv zrx9ui>0;H5QTbJ2t51wd?j;xJuBbaplw6z#A-p6+F3#f-{6JrvA38<*kj-%}&a;W1 zB@S|NUXHL-h+LdEA#4OR6}znK2fARXo+%>c3DV`#O8 zwADg_Ld0bPBlL`QHIAXxmG?bHH563u$9l_yvyFoP-CHN zB}1#I=gGGZQJpbu4OACMrMlci2fmy>DAF)1*SILFEJQ(aonk|9)o&CQD;XNV0Kx9JrZxGKN%a>Cnv@XV@ z*t+N{0+koC93dbi0dfW5E07=$nvdEWMLnaWJkZupoD0^c&H??vc|5|)Ahe-1I;YBv zZbcd&!gl~8w5;_WN?$dUM^GFBQO&I%bEL|jJU6O4*3)OM_?X@ zL{+sKCaCmW&o1NfEy~{{q5(vHp%1L_31lfxt=$bMA7FP{+fk-D&l=;=#sdAUF&{!Y zh}vg8CS9GOl8nlrEF}?Dtx~yEdV*xgeGi`YqO1WV>7G{4Tq?7aOnfvV4$}~vouVVS zMSFq$!_)ENf3+efdA8aDpQhp$vC-O-OC?9kGxxqIdW$mju=O93@{8pd6r)7xkq7QS zOvy@;3Da3g`kp*&Uy9XCpdYs9Z^(85{jhx^!U$1_)4x1yPfXMg+wZi-ULLl8g6*z` z#+XQ`330KAPx}fQRzdUr8#plzu9YViw4HDvz*SEPPUH24|&` z+YCN~x1LE>1)}94{AP^a6~ok;*4Si~@^tp+?eFoB-rfh{n8+{Jm6+UZ$wZ#QAH?qf zP=z695Wdt29kwozP}cMQu)Wi)Q%PpLpEohsb@G5oeh~>YOgZhH7h=3h`Q+}xo=zlI zkEowX=!&FV84|&$z%3(#VvrIDg@ojVJd4l>_;xeLRuYkW3T7Bb+`2 zN?xwmg0NXzq*@WVv5@1tAH`m=kmGv_;d8N|d1;bcCD)ba5+QpTbv3IkonY6w-d#ThGK z9xUY4X@a7WSjef<0im6?IBNC4BKm967=WUmRz9#6i&9!|KZ-G;j2LNso`(iRTJKpX zW&r)h$Z~|GLgbB+cM&!KTJe~?Dm_Im8++ip#6Vi}69}J)K~<{>26?14zX(4s2GXkE zM7Rzl%Z=8IymtHiC#pY09a`PmmX`~cOxgF*lZ^zf!`9WjDx;Mg!o2X@KpHV=7wlba z8rNl4uQGEfY1GPKQ3B{j?HPmyLZne^hwuUj8)18Hvbv;k11`ZD&7WURx*u6 zCLoL#A}8HEgxNymq}zz_4$vpvV{-q0PdYj0#Nhus=RPKtT_Ee z#Zl|1BrGS~KokQ+8S%jSJD*CfC@0)_6n?F&UM$SGVINs#)MUqdR+_m!=th!K`DbG^ z3wRD&&GV~-7P9MB!k3FPrz<8uI^NC2dpQ#cyW=gV@D{8#1APjAjIdvboWfrqoCKW0 zJM!D7@MZXSVj!pRuL!rrpsMv72K9A^jGp}8Vj!n*EF=ezV#v#mzdF^kvlL^snXpuf zA?;#1W_iWbRmN&xKxLGYld}SfQb3=aZ4h1%A}41bgcm_rY_P{+y<0%#_xIl5G0NI1 zWeg-2xd(l<2X3;O#jCiClQd*Ci^T{Fg~)0a>k-}po+MVQsNy>my4jRUf&|<&g)CK>$^9yzQs)pu8W7PZxQ+&n+ntbYhtF#S5*q$ zv7p{n1Z$<>4^_;kFXAr+*9FeRK0|z@z%>x60#}lCB~xXjNda}iTB3YTtfXMw5xR<1 z7b|~3dhb#Wo&OM&gT!ip)ux~->c5KdKqvq0lK(xG8qymJ4^7w{OkWrCKd@VYunc%+ zlUmS88RBH-GNaWd)SHOkC=P2OA0g}pdV!Xp125U*5V9>w7HEkujuU?jMD(?Mg&1(l z;w%^7=KxK8g+g{ye+_;W(A4)Sq%w5({1N;Cph&Vj%P40%z9I)_c@{5&y)YT@$?_~o z2)Te~a{ea{+`15l{0uy0y_Q16XNrTY*HR6kiV#_^r4d3y5YfFTt#xv)x7JFKIHRoRT}?<8w+7J}Iout7w(yjYy6<29?CfXFXet5-lL3j_|gC zpQjhTrR+R-1yS;t9GY9nG>c)F3r+C zQXNNNKU5NsiaG~jCU8sL+=#GVh}6-e2nRsK0qcBmP9&K@brb#z&@-uAtvRB=GuFyc zf(Lvub1El12Iv`7MG*>v(2Z8D6881I3cM09LJwNQQ2Jy7R6`W?0S(97B~*r9*QqtU zl^7ZxnSeFI-n?)lgPkc8u=M1so>=q%N+w^8L3l;TQ7ft>w+EI{;(+a^j57Fz&kQY+ z{t^~4x#~SkH;TDTt~!M93DA?Pf=;GUSDa+AADLYB74fIVK_*xIgz&u(nOyZJ!XH3S zt_pgW2+{7&?5fB%qy_YhmD~tPAUIKi0u(`lf%&JvNCG?gVQfuHVfu13?2VtiWnIZKJ!YLs#L+WpY zhak3>BqlSYG8h@>0g1yT6?-?r_0KI6rYgZIfQa1IzEUc=d=t)q`tZ6yPmXGh&`O9* zj_QffLx@a{8ip_wL~ORAOVi7f*-=yAlf*z~M=e6IfZ^(8)h(^Erbn$qu~sZ(delyY z4}{2hdl=zU;JReJF4l6Mo`ati136ExAzT$Ar|Bbv2f%gB`UYz~K`OExM+fNBG6f+C z=+p8Cd)s5}ZFf$~VptRr7db7fB2*S4r)49Ah9Jj%+xNdGNbR(>91M}Hk!4iY45@bb z$TE|9hEzXS_-HYZDN-{LrVEiNQp*sQ0M~2QEwPq4Qk&uLih<0L z+KaFU1Z$k$8m<+U%i7n96GVO{2KKdL01b5-&)V<4o9O(SzQ<0;+4 zUR;WjYV_na09i|{a{>L*pMD!vd#NRI=T;eX3x1k=3T<{hVCRQzvQgHtbWlhA{>`3kf2MEYyaXRJ)^VPJc`Kbc22rU zcETw;Bh?img6VquT6fB+#7ZL=GX!-pGJptr>I*T>p4=+-_)yCJ43X_9cN-9M*s4`t zrA8mhrZc=9tbXNHqNfjCD>iSaH3OD14K@ImK0u9!yoN9VcqdzXF(~vldvGy)o)|2J z>_+%d$ZUvX-O&0QYkyz%pkv($;#jwW1g&$7wfAebSJMpNp1dr{r^s2B{`nH}Ik_B> zoQ^_nAY22nV&cAp#@&H23L2kGMA44N>V#z$7y(nNFJVCp(t+v-3Htj^#AR7ahrYmV zh*CcgHpK90F+OjdtDuUtX-m~glTO=U7s@4DMicIZ4#K8~*d2!KLRc^43?#WDCoxc0 zAk7i#fyl>@NbgFX^+?B0#T2(XRixhK5;6~R9N`G?$_&Z^U9##>@J40$nXoidrcjzPb<*qSeE%PlpK-N)-7#IsZtm-%Bx0Kz>8`Rmdk0H@7fDfDv~Uwp2Ez zuP5r)Q8WdSi`ekL(WVkFZ(XVTkmd;WK-}HgJhBjbmWP-t_6c*a_Yyev2E;!Lg55E}+H33G>+U$<}*8FhQ$ZVnlVFcic|J*kA5EC7)QQzg~o4Pq7n zeF=FRVV#f}v#L<_k#+*T)IbB-aK}k%(NRne1G_ePeb&V)DzU0`z|WyR3vhkC zNSN_qXAvoI)?e1z4{JC;SF!mCcnh)7`#Wc?{qQpLJ0GFE4^%HmOjqud0o4hThL8t% zN73Ye+F7stQ03ZWk5L+Bak2Uq(g2~JkTZ}M5LyEFgKRO8Zf1^p6RkZ}X$fDRl+C{v z#PM$jc@f|4zRC(PQ zZ7s)wMIXjV!y{eL#TYCUBk6*!M|cbPWPZOk4R$&F5X`}>0rGb>U(fX1UvyomUd->nBnGb1LtP za(BxscetV<6A)ezk_y>{@E(Y)0Ev8>pn$y5MgvLd-r=aqPpY)>S)Shjv8N&2KOXyyDAWo9$KHY*#&#cw6c;fH8p2PB z`Uu2I)RT7bI;x+07;Uo}LYrl+it`7C(hv@j?4%*|a39P7x*;ruPz30PP)wbMuqWCs zAo%Lsof@h^u;G*WY$fa?=hC~Ga?yod0V0WXeu4Y>EJ{Oxby*YgWT2bI+=y ztPJ#wo#zo+2$2~(-4MC}uT0Px+cm4(EkMIptTqjwOlEYfWj2muecI|&TS>z=t~L#yEOxU8 zzg>W*F>lwV;hVxH$coF-@NMFZQL@nPMGVf1ku0=(9pM+?lZAG*X>fVnKhQoDGg)5O z@sZ_q9Up1<#78%La>6=3a>Oq7q~Vi{%(>Q!PyeIgOOv;RE_z9R$?uHA)Cy=?FZ$m= zt%oc{m<%FMLfjV#!noTfcU~iZfkggJpyUmsyr@!uk~fX&BRmaqy3)gpyIwi~6FCy$ zkU_mYJPs!+riYbON2Rv^CN<1h0G|iEQ<#yI13`YyX)wslp$->#Vujt8``yM0+b*kB zV(0Gm6j!g3+8QEONop0XIdvFpOi#$BJI-{Re|mafROu=rBh1)|*9Ug8F_v|i^7*%? z@b=V30wZq4TW-TcyBfaVlW!jzWKKn`#u0pm)2F~UWvN>)%&c#itjrl^TtoX4Fy}$k zbOLuDb`r>1%!uUlVY^r>8t#=!z?6jio zEzqk>HjH5}V$nuiszDt8vXG#E%t2~O&|haMxw4YjaoN_UIkMd1b-s0BK|i_b&Ztkx zq&Aq@YJpvZxB|(XL9*Wtd7@`dVOO<9p;{93p+LQ)Pz@nt5k`Z&Z^viZd#C19Um^!1 z%ugYC-E6X?<~^OJ${{I^G~P(sLakah?yh17#gLKrQiI^-jS z%^-F)1&ADpCUPHIAZ|GqjZ8_LE@02;WIdB(KA9LlP!l2B5Y_|T z1*{~d!7iX*4~Fj%cLT&q+><_F%1bSjk7PdZVr0UTLjBL#4SFV14*r!3T1(QzTT**bQfH!cx28^6PvjaMj za{U<;?<(Xk)Q^DsJ|uY{I}OB1J0|PhOD8Zdrb-Tabz-Ul-F`Jjct%Lsm?~jL2c&jD zUz@~HcLJpXI8M?k^~0nOu&+_x zY4UcfT{D$hc@@o4ZxZeajF|1P3HCNQUHDU;uq&^VwU~~tg4W5M&9o}S{Vc%>9G6LgrMa^FkDn}lzJn|ICM-4r^$x_zZ&^Y` zGMvcu=AVxG1&21=33VKsKpe+9*4XB%h;uVQ9v12^c3A8_wPeKtLitF?F>>4ka>++J z!b8TL%sSZ1^>;er2XiEW{!T|jgz6wtzSE(<&rwD``H{^hPKE;;7VVNJz zM4Vm)dOQ$7m;>~9V4u{K;CSF2wClx8#seQB><}X3fg=cqfIfM}#~BYeJ~AE%`UKa# zmCrT!jl6xcwkX(}mWA1K&mm>`Uc+Tl{Z6ux?={>;xCyd8&haJrbPKTU@^OxE9(#lW zUv=!hml6a&$&rpWFVLUlD1}f$h)PoD+XL@Aq2PnqzVKLq`!LSInMq6y-TFa7bjoIh+{9xBIZNq zv*Z5d+ZfX*#1turd>i9UgcZOi-^LKnfBPbad=Mk(6)Q%5{Y8x3_-zIHix@!?w~{@Q zDMg^0`s_Tik&k11kJ)9QKaO!1;STW0g5_eWFW0h6xnm})lt;WwBEXys30rI*3hAzf zc>o&uG*`r~`Z%93t_O-mLjAU(;~BZt!ilv@x5g%ZAP8v`7aK>x6OaMN=d^tm+o$qBV zLTyQkvV4+HzL%lBgI~#TqV-oYBr2DDB|~-a$@ej|Y4D>M>quoS(96v@ezJCwPdt-v}t$FsBoYG{*R6Bgtk_(Fn_dySk%XU!qD~NJ`PiRsL z9-(sIhLnU91O@aYtC-x@$`@2>noP&-h_*e@({TqP^aFY(t~b-V_yS!GnS<+C$sF8C zSWE=o=dB#ARid7QyBNL@1aBl(ZLRY8zhes6ASvivGj8HSBCn%RCb_;6Lw!WFHWO|&zgSC9#kX+l@!?3z0dla}Zt!Pv*LwvpX>H!K{LFU7bW^uB(%X%ynHs0?UA& z>-rD>^sLt<M=Y7al z;%>dc!T1C66WWWw9kwEbk1_J(6-4HML?#hL%VhkO_WpAjM{tez<{Y({bY&ubeT?gl zFt{T<*@|wb5^~B+{MIO20edEX_+G0@J5@lh`q3M8PvDwt^>3##8jATy_=qRw(O%Ns zYUgMg-$;(JsUJ~Zy(Ym-ET;k`s}-zASOsDVTW8y;)Iu@`@@x1RF_1Zs|3Uach|Gb! zhj15ow^^y}srs@ghhr^s9v$m*R4c?*q0 zAxOxa*<;eh5)wR*Fk0IT{R6p1q651I;(C6%w^Xu zN4+%5d<5otft0QAElNcig8lN}4 z?lRJsz3?=awf>o6s5T3I#ZIv$@z2%FmZa36=63E(bde;}i>53mNm%>8oeRm4y&n2~UR#azIuxo{dJfm|;`i_(|e~N01_6}Az#PVrK1W)tBfal}D z6MNGTdv_jQar_2#Vd4t_brSM4LJbgF*jmt8W$F{76TE{M$Yu>d=qE%rYYf6D;M!*W z&{<{ZEt&a?VQc!inLrnsreHs^_F=dr;59^d*qS4{Gkgr71-v;3 zwXFSJRc7IhG|=7PU4Z_=>QIEi!1V)HvW3##@^cvrt?{p@_(Jj>;n#?rAm*|<%L0UX zLS%K8w-D9<*E*|lH}c4KPyF6-THDj{7aTi-%`Rib20 zx{pV+ks#|A{<`&JH!9dWi)ez-<^fUXtiaIF8$Rsbxe6bSxruLh?<4XG!VMYTHc*EM?aR$fUf~juUKD_M~BIjd?)+^ zz)_flNiap;Kk<=LJ~K|uLwy{JBOu}#T)Nx2av;UVZRVaUxwarsmW?6J-A`e z+8WwJm26aJB_Bnz-Atn(Zt+Qli@t?d3t~KDDJMu6lFf{zuP}?48K%agO(r@~%<5Y= zd$2hz-{k2ayol&#Ss5>)n~3fycs0PQdaYhm896Gj8=J$M0<;gUDWVNS+Z9b`tqr|r zeJK9d$Y&^;!N7IYx{0OlEN99j_(ah)vGVjp*N&>c5WWCJeQGuBsnTOl&ti!I_&OlJ zh!fWMp3L-;Zv1X^ABx^p$9kItTC_uX0>x)QwSZhfxFi-lx0aUWva_q6kzJJ>U3wjs z(z-mt>Q`}-)}<(e!Ggf^v6ZJ6?-WaG(ga=?=+dx)RD=nDUwCnA zKyS{JWDe1XsCIy;QP#@doGHD?{xkSd5b>9FvNw}1WOd_j;TJ&YChI|Ol^HE78Q+HA z1V-p+t9T!ksh2V~dDFlEdMV==glM3bGB&tPD!&|Ae}-F@GA=-DItVqa*(9OYGOh}* z3=G!=>ytjT5VDx@GbkDWy_j(ugcpG8ie>iYjnfA_MeYmlEe5ih@koRbK(A&z17R9) zy<;^NYgx|t4frCUmop9;=;e&xLAze8cUudv*54D^1K%aqvYzpAgkwUESYP&4#XDzT zCsWokUd>^0RxrMa;dS7X6^yq^OmN*|g9p-oNiy=OnP^CqJfW6#i-SJ;Q!~%MWSx3d z#Z{3{&E&x%Rjg!j;^GKJg~;N>)ex!xy)JPu#{SfdwXvW5)ZOuyr|v;3{nWiFzKsF5 zUTh2K5eD-S83{yRjWT$Xe+HmSNuAIs1erC{#2nJvt3qRMEI+~2t8t*Md|wr<$M$Yz*R4D0Np{k>aB&Z2KH4i^pf@T0L!-o-p~1LpD;(RUKH9AeHTP*bz14OgP|h-7^7sq$a3yA5K7SVdl9%(H-! zgiMf~4dh$pu?RVY$hXSV5%L24t@2mxnq44RvsYtLf!I<&f2;f;N8b5Xc}uj<0(~Xz zhtNmN)XmG2I+Yo%)GDl=7TWmVLbwK->Ruuxtj(Na@YyspxXiG3!U^Jr@)&WTb- zyP)nQQQ7LK_4{B|u*AX@Szix5b(kT_B8VPhy@@aq`+*?x9Z2L>0)|+Phj2p5_~RHc zM*u@C{}6kKbqW40crwJ=F6J`0xQF^~mibl8^$;ukH7+f{HqY2Y7CECS#zzQxh;>K{ z46(jMs6~{ulji3%BptupAm?|G*2Jg}aJ;1L8Dd>Ss7!Q45cwM<@=pRi#OlnQej_hX z#!&p?E9Q^g3Xvg0Bdi+&u9oYE>fzR@q4sd=Wz<7}9&X7KANkSIAO&Z*HJSL=K=$EQ z(9~@#kj%HKwGIBh7|0eKL^vQs`bJ+OoC1urS`N2IT0g+Ah=FX;U4%PA z&RKJZ>yg&J;cStNwBjbS-$2xS>+W#QYZ*@Ehi3qWQyC*vMs7JL%frix?jGml?SWaf z!i8kb8O-HWt~2$Bt^@viboGaAtBjMfd&*{wt~y}X1~B97-4QHeB_pR%@Zo^b)E8u{ zbryWS=nh-vE9hi2wGO@(Fq$g!iporp(bP`(2S8r~jv^cet{!*~x#f<7E6)VHf{0 ze)<8MOMvlHj#0F+GJg6K{s&$0AT#oX*8Q7 z{A5g{dx=hd5%L{ZzrDr0yuhY}$C+X6Ws_x0CDY||02x!Ij8z$VWK5MGMF!Ags!9kI z#6reYR=cq(DMbcQ%~3TF8)-DgBa8tIpk5zq51>}T-w*?7Bu*oo1Pq||jaA8QWB_#= zep3vjkuax|KG2Os3_>)}YqcG<3$Kj96kfkiBm=4p;?u-I8jW%YWrUow%KG(ys*B$q zP_;(g0_XwNWjig78EFLvRO5*r1@wR_XyVc)&VcG|;#UJbp!yEs8^DhN)pvgG1WD&4 z#|-*%AWFU<^Oe)o2Bp5*fqlT&31qC5foU3GtW|5AJ=Q7*F9R5B^&UqzMaEk7;B|nE zwU(jOW3ARGS^+)Q>WR<;=&{x%J7YFb|MXaE6tTkrV=XnFbfahk=D=SEGS;dv-X3eM zK(P$yvDPMpjexP%5DfHKYd?Ii7|2-bB*F=x$68kqE&;|`d&FACT6f^LfF5fF4fI$` z&E!=pvEFTky=srO;?TtaJ=V&HkS^qiRp(Xp-`^yVvDOAQ&>3sh!LT;aW3Am16C7)` zLi@ZVBV(-|2;GFpSS#q`?QebdDsQ;RFl#80gT+9GSrZV(3z1>gT!h&`53_#UcX;W{@NW;xcUtvM5v470XOpiPzz?GEg=13I)n zPOv+)N8pD59oqPbc8B&H{49_TZ9|m0LwgOyRX~S!%tX6G`xyQRJn7JG6?3_G#?0c} z1DO9DG|zyifuQ+lEAMOeFsmYJ`SMftE-a}8)iTWL`+szu37k*W|Nrm3vzi$*%$OO& zFt)KXmh4-LvS!IHTgcL4t0cupB1M*Pl3kJ_Th=y`Ek%eD5hZ2Gl59!+pRe<|pO2~U z?|&a&AMf}3yx-@X`@ZL%?VdU3Md~UIvl^p!A7Gd@>qUQ<)d{`>u*0l=5PigGnDsQo zQ@{?hdTR9pSBb!XPK1V869^p(>@e#~9(rh)wG`>wz&5d4AT~=)!z`;77-rp1Zv^o^ z>8Yg+8L6cW8EKd$qtGxbWTRnL$Y!m1VXRxy4y?xddHtV()k#wNQK@NQbp_(G7!9n# zCy@XM4y-OPNV5a0kckFXArlR(l2K0r46L%o`2(wvwgy%q?cS#6IDcSOwp74>uJb*& zl&^k-w}Tw0?kYo6r9jatzDkaP)u-bqb1H{5QP6e)l*5aXX<*d^z7e1tX1wH=!_M#> zfy!Z9gti<$il9HBV7>H`Uk;yx9}a>A>$uq@b(O;@h$jWqF9+2Z!q3m4{+ua0-XBV> zN4!=+IfqjH#=BWn?Rj6p8`p>Ct2-GZuvY<7*HI1qyUqCly6{M|Ydl*IOpFV6ek986 zAYum0kjZ=-1u<`!f5y9+=__NyogMJofcrMgw-5(`H12%a&3sTArxE-T)VKk0O&ZDX z65-W6815qW6)?G{@GwD21;z|po(w!F&&ib+<$FuHlZmP%!Nq`0U^5BWEZmQz8L(OC z3h|&+3T-s*D{lU(pAhw61djt7^{r6U8F`7iSs>~O1djza>gKQbd0&TQ4X{yfhuA8W z=iNU2~pO>mR*$mv_)Ka#0pKS}I1H? zo zYKSG^KW@>&1YOoGX451$Ht3bTll~8{T-JTXCO@gX$SaqK@dB`3QDDd`Vbf6oIlU5= zc-t${vH_Y&#P+c>KT z?d;$Au~RTX#W1UAr(jxs!ofE)@E`E*gQ3H#;uBPjaGLsY{;W9n5NCc=Q^3EXjI?^z zdy29w;idg3`CQ^eYYyg^pHJ86tT_9+rR@aF-RRW@b^_)}h{r(QG8EHMz5!z#wV*GR*KOi#-|XQfc*+S>c!h%!9yk*l!QzUo90v9^6huw&H?0W z_}94oD;Vqc?;#En*FF&UGfdoheyodDjS1w6h0D5~A#O(P{p3I{x{UTEz^aoyQ(1K) zmqZxaHQ;-hvu18gbqmYvEt%8I>E)0Fa1-;sBr zRts214uKc|tRsK-4RSiN3-@UqIT@{2WhO^1gqSY|N9J)>L9GDRlfRF-?a7dhJQ=b% zY~rTj$?JG%DH$tv5KrEMv7U_C!I4VD^(lx;f{9D##}?p0tk%%wI-lx(UT};5sm#eG zKcRgB;K^5~xheJJk}L3+LC*3Tj3V6G=SOk>0iw{uhqP!!|b^0s(ZMy(96UhN6d4KP1gZ@ND}I0}BG6y(3D5R=8IATEHI2bdpxe!4$D z7}A#KLfVJTn(6!@Vo5x5oy33qhU}Gtv7W05v7TsFfw;S1;+pbf%U}UkVCbSfOCry& zxy2XabbH$;(Eb6~*EFaXVf8|<>1Dz%0pATCh4P^p6iVXBO&07Eh?q&a1r*BZGu&d< zeW~!tAgB8p`B`zD!pe&A-Is-0DPY~#1ELGSeYa-#?i&gJoD}4~$q=uKk^AOB%mKLX zF5|l|q%HS_v=5snZF**bA@>X1h!?*lj-*Wy&MNFzfZWT>K|`PTqjeF^=kPl~_*E1B zx?Aj#uFI)f;eP;bE0`M)*8o@S1xm|-(5+R|tu1sDe)$g7zX;0v2IDahtuqXRdY&V_ z*wipq6(BA{cqtHhhnf63eQ^Et@?G!^fD`GOZ3yjwoShJK0QM}yeh__tJ&^PGaGM*4 z7Rp}sK+e&Gjs%fUo6<9hcg$!$*u&2NY*uKx&Sc=OBRStj@D^~jrgR;|8W29-yn%u} z#&8e(mr~HG(xVVZfIY_W3dCiAuTDx^hjNC`;>iQMur#P(&oRu0G!cZKHWl9>ajh&Z z4_{W=T3K2bqPCc;=FvC)eb^jRmCU*{e>QM~p3_*aUgXA}KaBbbT-_hLhh%#Q<_(A$ zz|MmQjTpmXWaq&b@SJxMzC{MF!`y_p24dB)w0ky?ib^Gjq9I_pK#N&Sp1rY#!}#F4Na1CeK@bDPJa4jRaZefC#v^_Lp7VrmW3ij` z_z^TzB4?pG9oQMKpdR04m2;L5sDOS)@Ylf3cm-9$t%{xTQh`mK!)pX=fo%uT5^yE= zZcF7bk=RO~pc3f>6E~;7($xOoOlSpEs(j03h&2}plRYzf)uO9AvCG~gR^oFQ=s(7hzkI!~fYN^8YYl=wq zSAr&PhzdN7fcZR`tLmr1$(rL9%bn9a#&ny*8@|#_3qR^-Y8@F`6UfxmIc}xCDn%*J z1!8oaAC#$8ZfY@Z+m@mqP(31bm7*IESAZ==K_kx^g-TK8T!!7imZAm_bpT&e%FN|! zii%Eu_`Xt5(HRCYRE&zwIEWVkUsIl*%j=+`GY@`_6jXGULo5^Xyje5Xy^D2gSLbqj zZ@UG;en9#uSv*Ma*MP4oW#>_WJx}@g4gM_Pt4gPN%-(#tp6b*{-dOWgSV$Kl>3u^K2>1$L!cP|ve^cBR@QB;Jeg?tpJA z@$*Ss-&-cazarUAQ(rQDTX_rqO~AL60rTC!x0R3KKLmE-=K#chz_*nZ7};+t=itvs zK{GzLAa07$j8DG#R4ssSD>u-#-&V@Qmj(9QNw@ zqQ;l%dN<+apU_ata9}>S2Y3q-7V=$6Ex|eXGk}($>O#LI2w#9XP)pDcp=}A$5flKn zB`60`2H2Khke}keT7r8Cy$jG1e4%*N5jFYw+f*tVNfNcnZ3brBm7U@B0pEmoHxEg{B@V`l0 z4Z%MUx5QjE@r&FFy>cwoVeX8&=wAF8cZ#}d8jS4*Er2Mwkg+I;dlx3|eST~Q@?hwF ze^8HMqnjRclDJii)Iqxz;4#cy?OzWnTMzrNfD|CMA{%w=S@zB~>8 z3;1_^`ICR!u5(eh{kdV3K0|E8rp(TEOIUar-u=VA9h`E6JGVL9|zT5!6P710oKZn>MM)l=!h+}~I zvKQL6zPt{9RSKFL&$XBdRzQ6@{~fnPch#2-$5?ms6Pui)zO0K{b*ZYpdQA#~!AK{Yhh~FU=qA?%D-Gqq? z-{}u-;k)xZvJf_f2FFEqH>PWV=kqw7(Hzqks->4vBP zABcaX;#aM42)l0peUQkd{z&``{I9p;E0&vl_99~u@euKEGsj3^L_wJ4F!Mn~X_!AC zPJ!4ICW@Mcl7B(BbjmHh>l{f|B&g~V{_X&{nJ_IOnt?>A#np^K6n76lDJf>vQa8D; z4EhrOaL`~F#84SbRE}yA{4(5F5FxvT5c5H?7BKUr(h_1dl9f{F4D%_(CJ@&PChjqQ zSh-YT8Q-`x&3J&2{Q!sbSjOi8O&p$rKMDLPvX~{tNL}-4*AZV0sP77@$GpSy0=|0w zr;Pian=gJSDHTRs0K|+j#ou!?-PcT$_uK~A@>u_n$5zQ>zqrNMo%cQVAQl~f_1JKT zCqd#~>oMI!z+q4qpAS4_&pAwBaz>7lZ4TcU_)bb# zVrDIO(;k#h2O@sdsxyKK#v0>zDbyMIQxlm_CH&Rf=J}r@Us}$pt9#%-Cqf>7AEi|Q zk0-3K9YXuY6i67gSe=YQQf|Q?%lXAw* zY;l2G)%)}pmVW|@&o?V5KI+rQFC{h*d_R|%+$*WfG219Jz2-#-E(|ccYo!~Qd#D0m z>9(1jy4e!SMM*NBa^9_Er*4{}b~mtd56?n84Yagtr9byD6W&Nca}P@)-Vvj@hYuh& z04?oW>CZicv^Dn-(q?JbDz|*aUU;M)iTC*(&-I3}o*NADCDH5xal>KaUf_pmmf@?o z)xX`$l9xzO9{K@|qkvmozRE4uL>{^Xe*uI%L~*+Bg@A+I5XBR=m!g}Z=;XPuWe|Yq z(pLMPONLJZestDzuY{s&CC_3yDbjCuKeoLSz>U+J>1a+u&l0hLcs$<~-qi;;D?PA}bQ1uwM)eF@w33VV-cT-U0N;-dyAN$UcMrR0`^m?T6Sa=6Q2`joZKZ$hj=T8XLGL`l7n0`EI%W zSJ6068M}e%HIVXN4n5cEX|YtH&zZYg&fFDT(Tm&BAmP6 z8vqtd-CE1Cs2j{;bb{{yklrv^>yYk3IvB}7D~-%D53R#~9C40EG7f~#HPg|IpM~ZE z_<53jW41|Fn<4B*`1K%nGjnB~TeQv}Ompmm{|e}`i=`@uZuu2%S&OBn>XsMmk8n<- z_ltB{EY*5Fi=}EJbXV|f5xQA0$uLQPD{_*VvYuiy&n-OpI>7@rM>v%UDhF6xw{1Or z$EC=ggdYG{T=xfYR!`qRpA~);u#4*!_!$a!W|1K+t{bBG%CC%YuA=h?h|Dm}H{guq zkE!)mQWF3c*NxiX7R?j8mQf9S2|%G6YgTP=Q)+y%IKruqq%N?F>2`*0`$MI|V!8%O zG0}fl*V1|C+mau<Os^1_P9Q&hmPy(hP1uZbX;G^MhEZ(ZSwAz z@eylhbdcQ`6h}*0C*-{bF$Dx7{X>y1bfa9I>bDs2eCa9D&mp#nQKTmzj)Hg{h!vHJ z&D(r|)=4`zkzSFS&h`u0=%gKM)0?2E5-$aO;UDhjAO7$}KxmKYD?pT-()ZS1M5L3C z(pS?B1NP*j@(^V~lKfj%iO0Ex?nE_k#vVI6{G&V7*=Kc7t0lWgm}U@7086RJ&LRK7 z1RE(G^>_Q2zs~4&lrD$!VH)G-IH;U@BKMa{@INQ^<@ME~u`_Rc?8e3G7^wlo^B8c; zm^B|W)Ue;8i##!xQ!dkx&h8)U(tg0sLFpAKE{3@UaS22$gK79av(q4ABg|BYm&9y` z`5NMLF<-;vSwo&c+;JH1b$*gc8#ezgKz)=Doe<`cQ1@&kJy7Zl-1}jkhj>;@Lzwvx zvqAhj9O`8a?{JH|+hDdL-7K|lVS*7PN+sebl3xir3?k0tV3PW=J$OY_w57+WzcC&; zHJjb9*HV`QcQC=VAZmd46t;VouHBxXJWNQfCQM^g?gL(Nn5Y4-=-JRC9U7=NqHDq= z6=$#JyObK6bZl|C*JJ`NCWK;?U zqkv6en4nEYZ+2;xjZPt(039-U0VZe?uT#r zzKPxQbPN}J=NH)Qrbp@cE$x|KZ!>%5Po*+K?YilzARX()87*cMOtuc+idn~N0PNvg zX%MMmbof?jh?2m`tAae)_gk>25dr(F7~s=#^f= z<0==r+qI~@FFW1sc8IOAvo+egx`E)qe%~SfT6(I{{)D(HMm1Vu+4YW-2Sk;fh$&Z~ zMr-F~J7I3ya8^e|2IRRGnCG{+`6Jh`4?UYB&V#Pp^%LC*SE1i{QMdS6tr3tpe}}nF z#P0+YC;kkO_lWs*i<@5k*BR95@O3~gZNeV33_j8rZNjPz*n?WwzGrHGhPyt%wmEi9 zWvkPQ_Ws8~x!$nn73I*1=ZJ;>(b6WY+CRMq@pJ=RxpaWhAwRmp{!PT>i_Wk|7!5?} z@%3tHbr#AfxRJn~g)#+V63C@9jQ$%z=oF(s1eoY_l#snnM+w>M5TpOvhmJ9_CUS^9 zFeMn9Juu}*Kht^qOzXfDZ!C}39+Wa4o4K-k%uLzp=F1;Eut-n1wdc<-IeBZCkGHz% zca`9jh0oCb806BaAUFKTiv>MW)2(Gs0l9?61;wlLLBcjb0FDGHu#M-WBS8}3^8imr zg4m-#f^jALaoHo%bQDNPRY!r?BS8ME8ax6dsA-P?`L9y&1dzmBe$pHP^2s*VD(MK2 zpk*$di}v?_T~^qQcXf_OaV(1hdyYp{h{_;dC!>9=SE>YkK%M4sAJV&}rqetgg6J+r zr+I{InsC>$Vfk#KR9A<3gp72kN64tX8M56iovo8Qw1i$)?!bSyPw^N`>;r+PQ#|a! z9YIMh9o+FhcG{;%XLyXlW~6eaqdbBpo{sX!r6W9Y*k#%z?NVQz=Mgg0u^u7ABc}ci zw|MpzHqYP9oyDX@muVD5Wu&93CX>voO6n_^1rYN<{79+@sph&Gp6Keps*u_%Fd;Ra zI3=~vIa4b!UJg8+Gv)5$XDi$m5Ot?HzQfJ5`}-eNCJICsKd4M-fB$b#*bnUf{^uah z0K32cMX3h&_rHnshSapbf5=Ar`-f~^%y@x;$D)PODlF&nuxkgE-O3~CMZA9753bf&9gsM63#1@;)K(hw!Z=oqR75H-Z; z7^;ULy6cbZ?GaRi;0AzP<;i_8>c@gnR|>1*>QJg|G)4e>DAlVF6U69Hsy89#h|!@` zn;|{{_B^VuA$9|M9+m#iLRa^|e@;ZU4y3wB@Oh9_h-xgXARcA|yL-56S4UI*L&z;) zkEY7=0S^M$qp30=3W?FtRFxnqg1jrK{vPqu@mn2wU6E<^bGeSE1FJk8R28VFUpMY9 z_T13nat*Mpr^r+>w}NOPMu${A1koMjI&SLiVp+KksS0VU8V+fz8V+fnH6ze2sI%h+ zVLd?6#n2^u9wJ-O^)f3_$W{$I6@Ic5bR^XRh|CT~WQrQz{hWXM2 z-=TJQJ)Jo7DK?uFiB6u`53v{66KMWpl15Vm&c5_&5XBy1tkC~MKc5WePo6E_hOQE@iEpgcHXXDob=;Q~QTX=pqvpf=(M^IKm zCp^Qvk2F4=rmH@Zx`2s|pLV-Nv+L4OwSsS9HJxbf8+Rk*gqlj}OO9vOmT-Mg=>hC! zauXrOfkdf9Xh*pZ;MRZ$Z7lZ_#1S#tST4^exCkT_;)~ZKigK)1p=&&uui6aBT?Eww zc6Yh15S>7x^z0UM@g?~TX06(JC0uPZ7c$UBb0biG21K_td-k{~cB8ok@N+fbFmgwFK?DlfeZL^7?j9+XWDf;`&rSW(EXpI4Oqq*G>pULbYv*#;+qq&N{VZMMp zh1@GMk(BMKh<{MNC2PBb&t{wiw9#Diy>yne(OeM(g@OGGnaU7ZV)Pd>cSGC>Zf`XA zTYJY|1q1&%Zg8WyP$c@BnNTG9o0+ym@BpwI&Hcx|sJbYrt~QzrMW8>U2}RJ`MDKIk zxZO;beSCxJ#pbvDh^h|=pJ*oSqmWKT_B8xcl4Y4qlD$-!&B@`%fS3$(0o!yH=IQXS zf!xnf5Q49Gg!87kwA)R}qoTct(1ie|Z^07iO8BE%l(RZiF~7r0LWOHmDd=8x`tGQe1}Vj1f@-cK zHBF6IMp~EP+8{E)wD^XZ+X(KX1$=YK>YLG$-GQtJd^ZsOrdjt5)#Iv4QO*$fK>+EK z=2uBaBOQZew3SA_WeR+Y{VdX%fn*v8zt^<*7C*E>a|!%n$*!1@l7(@1AHZ(_x!*L) zzs29HsMo)Q-vx9qwpIiskJgX*G#o_1D1eXMC1vUSWTi{-0p*DO?;KVkh zNe|lPaegOyP1)a>pZJxn<|s7p@YmZ_ze6??*%Uba9Y@7@ZSUedi%k{Zqa-RC2=JDc@Ve~x|zv`-L&>9=iXLiAbR57h|oPJIT0CT zKHiIRRsZB8JW)DXTW{;+3+U8jK3MNTNy1BjghS>Z;!aTMt_fcqIJq-SsUv)vP{q&` zL1Vzn(H>cCRSaF=J4;bl!clH^vtJRroWE(`gL@0({9S|$Lhmt#(>Ms0%tk@4mwqHqhE72mrR0kJs`S)@Mld|v}@0$C-fxzASq0N znE>&!n3rH?LCgdZOJUxFSPJ4cz(jU28;`O?=Q#$tA0hkzxKF_Bf%p>Su4w)|N_BNd z{wU{1_~U?N^P6(V$fWk#zmDV&;A*e^Jlh#}09SkMXFwDJ;XBMzXxG+W`_ z-w)AD%$G1-AUcCQZ8`+p7&>V)e5l!necoPFGlS3=0JvDC5&i?U>v3wD(TGNY$j?lT zAE-SZqohrPpDNYJLgq1qWjY~Tj9?LPo5O5?SSO|d%;yk0fWz9V4}ajj$xjJBgy0(x z`LH=l6s2dPcn1Dg;7)+K1#wf%3ovmz$Q58+Q?28;rwGNkFnl_2lVB=CWQmD{xf7y3 zU|rJ-Xcz3wbjAblt)$Qq=3$6lVp^Kb$K7;#XGhVC|EvZrJ>oHdmnioMYSC8Y^>z3e zKo`Eb^Mvo4cabdt_~wZdzHdH+-zZ&tvjm~_&6fyv0qdKi5J$wwH@`ug1@g_c6TWZ$ zLhvWRH>G~`eUp19r5ae@6oDu#M!v~{r~vTIQ$PB?xf8y=6y%#W5Us_?H$5SG0DQ9v zZR?vS;0H@Vz8MQKModfd*N@gWX+QbCS&VoQz&A~P@_n-&el5_2Z=UKf?t94%}t0KV&og`{F@8NH&svizA1npKfpJ=PWrwn2VVwQ z-_(bwD@MM#AEFt+H>-%jmYZ(yU8Er242BpeM!p#ZF%saLn`m3#Oo5*y1^H$X#6mGG zP0gRJZ`%Fr`(`WREdbxV__ObugYaJiUAdQ-4an^~bqd)@fNy^J+4s#A_{-A8H|eK* z--Pd?5eC*bNf3F($T!6yiURrO(Nn%}svxKY@Xaiuu*E=-?evlO8n-?Ko5F_7AgP01!_1E+Z{EEbN7MLl=-F((lZxXsd>hjb&h&5tb znnAxZvK99o_(gv5VA^9kHGFn2+e1Buc~?T3VAH_xU%86ciX z9c78*!(%3xiN8{MXL26(O!N&1?`Ssv%2esY=BHoz_*TP2opv(|c0%JLLO%fR{V;nV zz7*5YG&;?}7-=6xJG1@VdCn2i%_vp)y)xvkBq3p6q6wlKM$y4UoI3$#=#rTBE}vKEA>? z0W|9Sav1X2oqR^VlH?vk+7*QdtrA^?w&t-jZd&7q_Df8@kx9A-&llr#^4gz;1%r6i>OM?OI1fI&LMVNb; z<~pfU>XzQB9$ za03;Qln3r*^V9{mqWhIu6bx#IxJ@AFTY{SF9q$+NM4qB}qGGYTDsek{$Dc!UII!<{ zP>n66Q477}uM$2%I-LG{(M?IvJ3SwMF5sOuLod1|>|4AV!AiheyyT+)7H@^$0{pi) zm;^%uCE>rt-=J{7D&hYXGcK{`-exlQ2clEJ{Sv12Uj8TmB-X_+^$?P~A@4UHs{yX5e0Vlkxc^1XI`mFyQf^Q|X zy32#QXAzy2IC6*i31PbGi(3e80$Xq7-H(HT6M4{NUUo~iR;5%5K_;-3Qgw(sKiDT62$_P#MBpxlSq-rq#C~qN{z2uCi;V4q|4Iti zaPKLIAH|%3aldAb98B~jGw%;KrDJ*4Y2`zf2;2;qG7yVi`katWB3n&rxu2m=rmPUcf~7Bl4LN% zK%mC6*>$&A5iNVOv5!JJQfi8Q3dAH3Ud2pA>rO3nv&%u|Bb+NOEeBZzu>wS`@zeL$ zw}lUV>6u8a7I;pXq0e}yxp3VrnEju{V{iCYu>mb7^~b!g%3E4(vzcf=Q95N{_Cb6F z9J^GmyBvEhAy+L__5L3xCsXuvJ5@Z@431tA+v)DS)P;m)Uv4&2)>I^Eccq_dQeiPl~e^``kx(L+MaSwE5F5 zmZ&1t5kY%vNLl>Ej6*s8i}(3riL4)BHTZ|<#?N_|Rt$bP@TQrwf4XJMj;7k!=VvdU zpS_Gc`RmrGv1U zy8m&2h`Hj|41VaFg*0#U=Mr#`UR6wJ3MaFt|i{TdmHCknF`Hj{F1nVTU zx?OMiy1NkVl$b_qDni?6eUIQUu>QCRao%biGzZYIjaK9#Vh8qdB|{_u+h~=lXwz^w zvqMhcNld8cKZ#Q4WXecSqB_JKK#f+jzjHQPjgj7`5X$2-f7?cD_TPS^RmYFrb-vJJ z$y?};hD5GL>q#sg1Gdpx2C)dxXvO{GH(Ec!e=h|!TKT>sZ@@NMtst68aLKgz$8WTr zgC8mdHCoFd7K%}$bq3-ju#Hyx(B1w*eu9lw%3-F_fNiuIL(~N{S|9y`*VSl^f*%Rg zXk9{R8?C7bCWG9qre}JAHfs^=LJ+=rdRs5hWUYf;1NUGiXy6?=X9 zr(OZuU>!z&2sp9tO+SN7Z~bZbUnHXuOLDy&jo3}3H-K%#VvgV!KqJ=4^>U2I(h#O9 zppKbH!0kq?G{TZVQTH`li8?Ucp@d$7u_d$y;nk#ru%zde%vP~&f}oLv(OMJ!sPEYb zr)Y6RMZ9>swA;37-O=gzO?sGDptM@2C1@@VYOjY_ zD@NMeA-00(DyCbQmy)ek>LC2rQqbbXlMp|OQEPP>;u46uH%q>y>0+S)s}@<)7HX^P zLg^7z1K|Y%|Jl~mwxr%sB*4Db$q)$=_{~!9;@P%cS}fP7My^F*4QZ=gY6@{5NK(`D zw4A|<{i0M=#r7nmhg9`q4~7^BoOrci}f3IT5 zrV%__(QEMOJ1sb*M@K*ti+SmxMd;v9TZHYgJVaT*>fnDOymVW{SqF>S2mUSRY_4W8fU>@IPF2cjyk(XgUcR*R=J^fa{!Ac>c7- z_u~LH5jTz{GkZz|wvEXAflxpj@j;YVAX@{QmhjDhZ6gLkJSs*5n~4zPLG-1!SUVL; zBBBH(gtH=D4Rqck{2dvn&Dag`xfrz>XCZz8w#^7ydycGwZANPBao%lU8;x=hr2vh_ zBhgfvYBU%^8k?)!H5~|sXJi&bdhnC}9P%}S*6bYkyn4+=N zq@nRod8FFC#5qPQKNQ!lRbrWprPXvBp0OA?Au% z0P_*V24EWsncW`$96-EZdTJ>`MymURMt1!3vR|G;#h&rcgGyNApP#Y+NpYy}{|ChH zK;xeRabAw`PuP#B2#P%sA`f8v(*>=h(D`Ruzoe(%U|<6 zNd{$k>+uCWXdHTkh1|qOEwI+i(grNo$$Fs|`9b`nxZxp{iGu7_CIod$U}G?8Ulb~?ik@m({bW8ek@4No@F1btH<#k#=yrX|Gv!20GT-{yaO z(+iF6GLdhxAx4OiZ$kER&42AfuIZH$j6l8#MKI4C%i|T{4Kp#77+Ej|CDRn-d;Pm zGF`r0VRPrpKo|4U#}&QirN77EFkoIfDbdrs^xcVmP}oVt0#numJvxmnPOKb=f#3n$r7=7#;vCDM{ zjIuM&2XEjMIwyfm=_*9jANg6a*#{Y)bQY-gY*L=`}1;6##FppQBOJ>k1a zK?BAy5F^E?Gw>F~0$@7>`$Cz>ok@if>3S%KgfyBG<$N$k+=pgasMI<9I4DMag}))L1KU@S zS#Hng@*-RbEP^r>arqooLn%YPW>AUyQW7L39Dp`cvOqp~5*p zi3R`Y_i@4>m4QZ?&p`|qqfzE75aU5qjNjP)yN56W$Fbqh4l^-7?U=eJZ=n3Ttkpev z2jXqOWjhh0a3J5gQ0wCuI#4K8M%_Y-eJ!vPWm4DXRbNOe9yaF**@}|3aOK z0?rA{e^7ktP5cgV9%x``>Zf^`)zztpIZebM@OQ!I{HVhHs2EosR*E@$8fIpiSJ3_; zaAEAy0YkuvOF$h(RDw#|Di!VAmQo$?A-e>ew;pjFyq=*!d7|Sfgp?d;u@5 zucFRnEwNUqrjHp3lP77 z$Q$Nctn4y^zv2Iqf{JDQS-$oFEh9)P>=jE1eVr?Ww4g$8PdC%LFz(rf%gQ4v3s~hm z2L1T!$m+w_l`PAwk*pBTZw221#Bi3eYz?2$d&2hsEaXhh@QUVniErjl!VdvR51GbD z6Z@k%7ReYZwW&Xw;ivvOvKfHXmuL8?zYD)avMh50f>z8qbCviCdN}(S!o$G5!6%p-5LW=@sd{lTag2w{Z$-WP9Lj`>e(-ERQh`w(Lf7a(e3l3Z>Nl858HFlpx+@J8iG8h2!EW|Tn9)@`p z;$;x6@3leeaHqViQ~7gw^<)+izEB1WS4Q9AtcQ9Z*e{qTL+Ra%g}z|U=|#P!F8^+H zz5uKkGF?h|1#Z9O$B^26uJpI@7h%o=Uh)|wa=zsMAiSl3I%XFEw`Zf{&ucA$ysqw) zo9TC_3Lz>eG2N-^2yJ(&B7*XO?$jf}8Tbb9^#I+enVEifsug?-5bRFvLD_yaeh6WA z1q8cO%%wz@BuRChh7d3asIsYp(4Q55&-9aq<~E)uG}~(IG;fV%)@55!gwo6NJh7OLF);oR6eyu$PQ;M@iTMP0x^sBBu7qHwTurW6IW zCk46};)g))D`t5q3ckj=L*NI2$Vbi5Qn*G#x#!`tC97xhmPV!l++_GyCEIE4MP|EP z^Wf(IeR>*Rnh}oHODspQOhWw`!!o4V8rXh}16moi=< zH_Hq!!|OB$7qmm%2ITH*-Yr8tp|9}0;d=sIF;AJJWqcPtfo!mJub4b#eHXq6{{o18 z)HEpT6|gQe@Y4Y<>|54%;XCkeOSaR@LS|j~A^b)l7w#>Kv*g0v2)>ZeiPmhvH~#RJ zu9rL%91s71#!+BhdJ*D0ur3W6xXzNCE)Bm#jKI3I2t;8qa%mPs1rXcB3@+yts3rH^ z1K&Uj@?Lj{u43lF41jnHIC)O_IrA5fQ&Da$=R0*23L^nd{iB>$l&XrIwjQdkf!zC9 z*mAkf2C|n?tL%At9JZIV2!n;d_Au5!tOoRw%zNdj-_#}Aj$o@a)OYz2;(M#1Xut5I zy!Bq_(6cK;@cIxV#)esJ_dd?@TS4=j5e5K6}*(BJ+y{1 z5KmLkHW+N8Dtg7L$;Q_WzNRe;WwqD6{kU+ zuz*f*#c9H29x~ACw4zyFV0Bti1Q`lwYT9IZMO$l)X;t{jfU&UFmKJCyZipTImsNIMWS&1}o^GHtJP5&S}6AMRR+_kku#A}jIE>PhZE zuuU45O|42^#cX{y=IcaJwRLmb_3&eiTB)~9VpKg$H%Yh=- zp5hT`=Ab+}C4rqeXbI6ojAjmoKs*NQ%t0^)x2KIFG<7f+h1X@F?+Bkld?-d!2PYwp z0s9>xXzp3-;CF;PSGZMRXA-JHQ~)%6jVn{Xv?q=S;9CJTeIpRsrtcvH-2qMCs>=RM z!XWqofTr(wWxwgmh93cfOs#s7%3Zg=Z65eI_4q)4MH;m-y!@KC^>CzV?xQD zP;y1Q`Wy}$*yiR})J{p2Cb?DBV3QoX(~PLfFkAhSYlL2rMy$R`2cu#yxY9PN_|JIc zx4%p0yNb7fok7rMa-+p)2H_aQA&@9Te+FU6Gq+b;6_ogL@~9`tnPw0ot~u?To3hpv zLi=lUIDnl(cmZMruu}-K3w@VfjC8)#^tB;mqd9?~4KoOj-r>(6Y(w+2p!NZX{bHp3 z6T}H%XAqW#+*d_u1!oX`C;XxeG=tz?r#2O%8H7AA@gS;2D?I}z_?qB*dW2@RD~ zCKC?h&f8mrbtU*g;Mnz3oBaEVu<@cFTt77!m4Uzx-bO);luh7c^-kZ&d{@mYV5b)* z5jar_cH6P?{w?R2UU)<$d4(N*9rUsB-A(EYj|l5 z2GUR^+~Cy#Zcmsjh)fWzS%TfI1Ib1>edNX-@hP_P8$|d38C*8&Yj_oGvmI3Roaa!@ zXqf)s)0AIL4D3VmD`~5JJq~dUXezuwO{!o`h5wG=B48@~{+j+&c=(^(1t4obo9vqO z5#BcoYI^w!{{JSworH5{Z%uAVgQQAWmIro_)EJ^6h~7cVS?7VkEmd&l>6S9Xl3fj& zdJ^7E1_w;(T3%^)f@xig+-cfkD&on2X^SzEY1-mV_<4Y7i}kf`Ph0#{E9bODTy1~a z;zKky0!>>~tDSS&Vh_??z}9cSLYxHDZ_n1wS-&|qS(>hZI%Wj{w?{O22}l5ny01A! z)c#1KuSu#y9j|GNVuTlw4$~Hm>-f_al@VkC`@Y--(Eu=Q@gi1s+M*SF3n^&Yq6b7b zpkd|?qPRV6F%aqF3c)?y%s+K-k4Ebw5j_VOFITBc(bRZ(GW@HOWtpCmY2siZ{CvQ8 zd1_s3HEpp5el=jcysfT3THg-86(Buit|GOg^+QO$u~M6QnRdPAVsULvfFIkrPUNWVA3jQP@^|(9z)UU%|1*G2KPCxaSTf8K| zralO1wq|M4krc2}0+PSw72d?l6!8L;%psU61eFI7Kf-i_Xa(ZV!o>Z-Pr@hkgnRn$ zVYqWp^~D3}{YFt=sE@o1<#$2!IK7v?8b_9(#*Wmfd0cgXKStq0;CF;$4w_PTaT`Bk z{}tlhfO@g>U0$*7Qa=uV?6!LHEwb@55gr&#NBD1;uqjKPNvMwXOMZf`b5r?hQ{wsO z$yakiE@6KGxc9&~fAbF}ytp|+B1LMENFuU4z^w#R6e0t}-3Jrb#uU2SE9NGeJMSi! zrHP;lVU?tuVV<~~fw*htC`i>|8^o;v)!|;O>>r=>gzo`(Vm}-29xpRRUj_#w83>~4 zv{4Yd3z&NMcI}YDyV(Ao`C#9{4rRxw^ft^?i+IZF`G_jQH zA94-s#8N?sG%=c3st8dQ*omc}by%iTkR(GhON~&tR~F1HIh`Te1Llij?#(%0^aR4e z($aj^fRKx0ac=8zh*LF0XZ z36K{X`x77?;M)P_kk&NDU7ADc1K(S+dgfQjG>7yQ{1cMxH0e#qt?p+G{Ai#Fkk(E7 zIi%MROp#D?NG~8Qs5zvCNah1O;qgAiD!?ZAo11tkrL`1dEBt0DXwK+3#4$0N;J5(s z8(@Ot?s;z12ziJ(kwFkUvzcjU<>QkEeLD`5$1cI70vq8gxL5mSD3Ir_;1RV|r z?MD1XASicpYgMaQuTftU(aAr zf5d$QLDLoFnym^_H8vUXtAJ|k+Wmetwh(?ku+>!U{)6?AHf;TafH7h1C`DH>0Ax564)8dpmmrdYt3km*Ij5z zZaX?#Kww7mN2ud~8O_?Q?2Kl|R({zGi$Dx0n=iGplW*^~@&;v(q1InRq#0u)UVM#; zXfS-zhx~knF!HDu)p81UOAwU7I1|M8XQt*yg$`ir(Frh(klq8_Y?uKMkBAux6S7HT zvge9yUT~A#x-er<86Dxaa@;Jq*WqT!s2I%K5O0B856xzhrAokYG`{w->u_Emz>k1^ z&tO9K1I+2xUWo@%Njst}$sP6*yyh@o1N~ItC;mL&q!i{o5SHM@k)G%9lTn>$B#zn| z>$Qb;8}suS*;o%!8kp`6c*&hwPvbV=FG!{$c&DE|&nYBZlVXctN~G)L0k#MRRl=M~ zsHg~5$I-S3Rzs&Upa|}Mz%PRL!#4xGKyDk#l`6z8@SOqXn*43yC+awND#qaC@8f9n z2e$N$g%}NN=?faTPAeG%OW#7mXUjmPZ!5$WF)DorA@+gTCe@fw51M<{Tu-2+?m)%w z5=v)fr3y1C%60MrO5e9_yh3%d*xas%pI2Utz}=_1swwNDRvV=B&7tE3bT-Gk2i9k` z^`hM>>AdoTuq*dEoyJi=@P5lMv5zcOh zBh@2p3;zJ{JCL?dnou=RvN&UplrqMr^_k8ss88Al&ECNFNrP&UR?VK0q8Nt}KJ<2s z$qmVcA)Y@CjrYAU_KP`vOjEDDms(I=%9l}p3D_>>Ob7$$QVwkIcPW>`zas^8DL;VN z0D@i0Rqa`3mT303=Qh=){G6~IQqC|D9lTO*E>occ3!F0E;D|WHzbYsNCXQVtqX8#x zJk-HUuh5@GcctM=0(LY@3B#ya>llGQVVG5o3)t5xA%+?h*w<=owLr;nof9hC!Plxd;TgcbRt+HPiP3A- z0-`yvm3q+Hv(|d6&dx+nZ&gopx`9BYJ`(CVz-u+Tv#r!W=tVYLx$aOC16`1C3oK14_@lhTQ^?OQJ-|y!Up9A>)zOJ@0?bp?->ozcN zb@d)=K6*}=vpG~Y+K|WeT*l4Rly|F zwHw8KDZ74dM`JVKM3Kqe=w<(k>aj<}4$439!e=L{<+JxiIG) zqSgj*AEL5@;LiZZ$n@z!J}1o!bB@CwlWeDXL$Xhh{SJQ-uvgcf9+aZ$_#!->dL593 z8#5k47=y4Wi325}~AeKX8?8QB2IqZ^uvJ-w7>4 z52KvpL}i<#xzychgr@>;It-P-CUc@EW#~)H%OWlfXcP1G;!C8|>%iB#t)38Ln)Tvi zW)XbS9C1_NrkWwWymD>@Gq;zQ`FL$&8iaTNaB@EgH`~t%{fSVXbe}BMX_VsjLt`|$ zqonU7pW>dhk;C-2$mdxY_StzR;tIrk6sCc=zhUB{C=g`6Qg1)=2MPHakojJ{{mh?) z{}BZ5b%}XH>T=a(#FqlDDO#RD&PGHy~&r`oRDNR^8)uC zn5qz2z@Ft4wDBC-*t49zMn;^1~|BB{lkoKFVe=kp^{P8dYuLn)>K3>tza_|+zmjUA? zof@6DhP+QN*D0gBYL%3<7_;((qa;h;W0Yp8(m7JHyR14#EtLT;`!n7fvC5VYO=lbw4l1cPY`2K*SG&A~A zc`YQB5%A9fwx(*)mpAUWX<^PJ_=%FSVI{Kqacl^?0Dd0u!eDeI=;+}r{{~&BwQjI= z@$E~<+~0((MRyg59%+vC^-}Dq!Uy5^0Zz{J`jM7S8omsFNwS@$iex%DGa{esgaJ;@ z?Agx?oHU#YpA78DnWZ600(QfC6C-=laBcXSQqakn%^;eH(aD)zAUXqf3i}OhdvfLg z_{XH6lQXj+Mu=H!%JyeM=0nr6zn9Wv-`Fr`G2;0O(jL0oAU*^3Dpn9LKf_(8rbF1b zrxe7ugdYTPm0;p(@x$A*yubhUoF?QKz}s`8zyJ2!guel9zdiXM@!y`@$<*%v^=6Ow zZ%+n%ArO3fbkJIM=rK&uV`!5vaV1$+y62W>n@Hn9hAcy4Oj zw+WvogK(H1Aif2OQi&*#jVPJ#PzfNS6wKWab;aBP(+8p(h`S3Wt_43yFTKoW&zRcz?}~BCd2{|Kl}MGXD_ODyZlWsYmvS$wbd{In{2pu;6g?(QlZPp z?w7v=CS)`VCYX>n6^1MMLGpA8^*i1p%Uxi$68{zuU5~6x4mt6vqKpbF>pqV7AmRIz zj~*{)bLKJBS#fO$%A3mL0d7;6N)Y8iqO9YFBZi6ZGlP%J&!`hI5$SG%w}B*Q7%i<*V>|qg%ZRcP zf(wM41zvF&H-(?r{M0RFa;-|BJlR==L>$^jr=@KPM%V3R>F*j7zg5Kj0#xBaM+V~ z2*&$bKYRFbKjJ57m8j?&MI1x)CU&zx#MvB7(gNI4OIhH&r}AXMU5{WlYF_~NU6^20 z(ZkLB0bWYM$xnniM+rP4h1oE_L7WBNIJ0j6i?T{#)I?EosM8+Z)w2k^q52uDpYHm3 zfS>qc_*9x&`Qi@Vug#>7uxHrpLY6b&QJV}{(Da&QpiZUP(i6 z`VzgA`NATOt>A{cBgi7s3Lw7C=s;+U4vFaxa}Uz&yZG^Xz{QWJpj+!tqYAn6U=(hH zbtrnGg6xUtL2>-mp}v7mG|{=}Z83NN*mKc?YTiGn#h)G&(6v)yIu+g5%|jbaP)PZz zd3uo7iL)*D4f6YSy@{}=B26{d2YKcCs2h|}GjPX@HStTn_NilN&uus8Wi-c1Tiu`~ z5Q~8A1_f>S{Etnj8?>G9EizCy=p@8(z+vL!2YV%L56CItI)6(+J)lIGJizvVibC*r zh3Wx)JJ|05RfVrC1@(aLg}6t|VUur&?E&30gn_SmKz$JR23#?H%~M0XOt-C>HN?ws zcbE_1;@2z;b0(nhGRQs5oX0T!VFn3v;b()$)uzxBbmuqG5m^bp95|7mn+Fiae}ixf zg3W;5$=D}oL)AMu0KXsjy_3k}=3}X=Gjj^@$$VmZZ%jpOIV0oZI&3wHz89T)fJV_Po@NXyVFv{5B-C4R0;wIo_eatf zFnrHDj46n5rs^=Sg1g>4G|bDN`4PUDMCdCZVkgWph(#c7A57d~e&`&|9p-lqj}Y=5 zptrYgnBO@(2Y&|K?i@xx<97~kA-)+olv8Q zLDWZ4P(;NNDGCG;0qIIPf=W@b&=nzIp{Xccii-4JM5HJpV0piD_wFV>KL0nL&u?>P z&di*1=FBO#5A};bhPZu*I1ze$xww6ZI5pUg>QpeUZPvBwq*i+_;9s$H1N& z13HE#I>EW|0Qq}GLFUHmBz^<-A!5&_D)Kq!5HW%Gs>jK@)n$ULPNJ$1a){WJL}NfG z-1(d{L3V`hAObQ$-b1375c|}$=j;jcbFA8jh$CPR2hJhl;(-6OTclO}e9NU(a)>w$ zp;v%?h!_y#!m~8QIYfMi?6(1jh_?(i5?ae4;wtEsz&=FWOyX<6Us@Dhw%#dC?xmE! zv+Ib=I5G|(v=4B&`07wPMh+K$g8mV3xVU8~bCnz}{ssL9;BfK!Q0H(lx-yF}U|Om< z%*g636LJ=G2KeXU;+9|+c9F(DlKs>gDk_JIjgYMmLWfgGK+MoY%(_*N(B)9E2l=-F z4j-3Lj(zx80{xWmc&1-?a`-qJdKBRBF><(b`1mUH3}7EVzE9#^z~N)p;m+aXC(x@! zKn@?blGrSS96lZ-u^({wI1_36@bLolc@dDqM=gVeREQPoyWvKa#-DJgSeoy5u%)ey}D_Tgk(60L##7k*gPD>ZW3{7HBf!|WkammvC)cu1tO(&(pwSW8SN zVUNoiB%UL02=La2@ZQXid}F@UIaM{0obkXuRb@Gqvb52d37)E&L;f2eFgDk!^VGy1 z${)a93K+^6Bb=f9IrRDp;=RkSgufIV0P@`f!R9IO$UOxeI5td&Wm0ei6C9CY%{`Rc|9BhlX1)FV4jq_U=jm`*rx_PZ`7^d7H_^o-D_@On6!hKL*`6ib%R(> z;xpjw3E}O{53~6X&pWO=M9u+#>%1c!*Ij@<4+5TkPqiB9%z|1LLF5-7hSH@#wkGK`n~AX_B!79ix36QJMu-x?8Sn)3qF0#}9B1>}1m+g;@U z{BQZ_w*vA}xhiUmkzC^oK5g;{vJV3->LiCq0VS7q5O<|k@~qoP1b0zIV~n^;|Gb?e zJXk#DN(1Iz#?<7Xxs;pzMY=SThg(upJaxaa&8`2pIbYCR_*`{i457K0+I@_vRls#v zWsPO`^ivH!#sa-rijb>e-N$k@O#E~R&H)foyRr!ijYMgNqZI7QCgokzOnveamsdJA;QKeo7J`IFAp$z4RzMqa#)Rn4!o8R5 zyMeofvc?gGUHB}|6VQ(fZ;WaxykYQ0LXQBhC)H!)@M9@$p9cL3U>Dj_%@J-lxbMJu z+vd7|Ry#%i1m&!Pvl6&`${Np%l8NMI=&yyhOf?kV8v5n{^ga-=OZ6Gg^_3$zA==N- zKLPpU`pT>08FBI*ph`K+Qo`p`MB6aXRlfQ270ji;{^rlns=9U`;4gkHw-t1vK0MobT4|!JNHtWl;0h zRWOmu{C{x?c0P=^MB)lW8Hp7jbg6n`A}_c2 zlKVwAL4PFzpF->>@dJn*Myb{=IOn0x0qt)^*UMl zd4B#z`cI%Af$&wwvq1kIB8Nma2#NQbP}U@lzZE6aNTP(s+g? zwPyA0iF~H=G&%baSqJn(5T!MBtq+J5sYK6q%YR7y+~#r%mi7>N36aTrN_U|(j;yn2 z92YIgv8KX_s6`L}x6G)4vO|I?uiYA~Wa`-+zQIbyMoY^@z828Z=3?R3&VCs#ZQ6e? zAZE=cqctK0AS7DVdD#dl?chwNoF+*7fc!dL{0daX{`*W6SCa7$bR0h_H;mP8uTmWYOY>t0cxeF>CdAwpRBh4`=Hs5pT!vsX%%OWoRM-)HdMe5P%wBu^r@^2~m-t`vulu!b2 zom6wCvtVCdWw9aRyaaHMRXe7$Fi-!`(yBvO1sb2bbIst6_Xn3*T0V>>z~}|xYOb1+ zQP|@>OX~o$on&-|kiYPJ${Oc*z!gl{dHf_?jT`kHHEM@cF?v0KYrC3{y~zF4=n?3L zh1Xeq8z_7z^s^vPc(`Kmk-{gy948rp!V|JFyVNOM*QUt4b~R3~3-@*8W`WSgtII_U zZ7w2V+qm(yHSA^NFAY2tq*zy2tME8ENr1GP`|GV|spWXN@$q1J77>*Q?y6BYowq%OM94cfIhc(^u&*QbE97tH>x8cjdyYB^d#CMQvSYX&anc zS=te))t@o#f1p;skW+wcKG07?6qD!ytiK^1C-Dg2n6bf3BQs+m_0#9@^9syyK%WY+ zlEg0H%U$;&vX!x`$Dmi&!m?76(z)seG!x4cdkM6q8Iwb0lsCRuzcH zNpuI^TnKL?e%x!-yVy+#)qS_2VpscTBz^)^d;e=jRtK5E{)YY&1X?Q&3zW&nWSr82 zGZ^MR6LaFc=mwmm1DI?3y5ogR=*pnn3&UP#c|y(hLVdF80_Lz5RI;UGzPi)6hYrx5 zHe|F#rZw<(llJtKpWghq<({NIjuLCWlXA4Rgb3Z&6BBk(cc6Z|6cv5vEzS+7w!_mN z#n2;;X23wlgB1KE8U4_B2)J`q=QpT$jGnwfEXp=!2>d}}(LKxK(q0T!BajMKBUZ2E z!k})UG#-VQfc^&_dy~Xmu@L$u!5Prw8`Tn*u|&#h*eenEP&AfpwbYMq7#Y=uQL*=& z;+(ZryL5;e4=3X&qKAR|8C7pK9iE`q;G2+|K9aA8UWEU%&!u9bwFG)mxfX}1iR`btQGxev&`YTho5@}Stm+VX4LPy` z)=dx_Nqj0q3kXjmZe4gSPl&osD}U8W{mr%Rf;)%onZW7` zv6jSVAWHV>4IO!&Xcy1bX~1VOH9MxaBeE4};S$qLgWe0I{N_cc;TNJKA$ESS z(SgjElXOH~h)BZj08*;m)>$F znCZ|{fir3Fwb1Hs+giIsOQxlF$bH+d)$45|tBXuAWzZ|iwUX|jz*pPYjnKOJ|7lha zm|r8b5m>z;ejxEJ@b-uBmheL*w@7hsR(a-xQ^~6cTme+_FN(8w^z!wd5D=^+!zWOj zE0_wdhi_InEY_s*DQG1FtUWy6X>u-ft#WJZ=;zF5Re7_Dy+k!9ry1ZczLYBV!smC; z8`cPjo@5jOYaGNV5+i_jDunlSe(WoyEnE8?z%X%Af%j7+EKXcR@7aAZ55+maHHHfS zBB%=9F;eWk&WEsOLr-ia@v!~S!4#!~s#Zc;6d%V;@whFz`xli=cl6UYefc`E0s)5D3&RKkt z&X6oY<|)8y$DVwTMie#t=nN)g?S29F^MJMc?e|!_yGn+%ZaU1VfH>Rxo)c&9LeB?| zPh1bEsP~<H*Y4Z$&PdU+bZ^4WS3paU{mXJk z$IymL^Y2Wzw=et2{{gUaZ=ooAU@^@&y`g;MF1nyNy3+cUkGe(|6@=?C+-XE!c zfHyaET*%?gYw(6aKPS9A^_=jU(f-NM6G3=owQ!-4;p-{};@M}+gED&w5Y?!oG{R35lbKd<(p{LU;@L zVfYPL#PIu1O7c&XD#NdO0muBn9)9Mn{zh_T_}22_mrr&RP(J*Az)1XmQeF@v5}=*P zEwqg&?_y{8-3xtpxmH3L(`p09J{Ne!&%JYWdARKpSm;_>KFdY;)@_|7r zZ{})BJ9WAFei>3rL`^QyZXmHv2)RVtY&WT$z<%cKzm3@M=92sIg9hZPZP36z_2XhT z%ekuZ5+nVVK9#3Rc{0LJV(>Wd&jfv)s_}(VX-dDFKMBZPMdpggh0jvYVWVZgX1|hW z$VSROCJ1XrJOTesWxQjELwqsRKd#l!6et^r6l9VC8;Jc&*g$lr2SYiq$-Tf_(i5T? znT>(f2jVUg#lZVGgm(}>QF3Ir$}#WKl2A<;kiAjNOQ$`CaDQN590`b7wwQf!L}rXq z@`nNGdf6UFtW~3z8tE|uvhCn`nXJixiD|`BBkOiic?)`;qax9i_B>TN>ePY*dHe6? zi`04~8LN?84y;KK-;vk@yb8iQmmdPQ<}zaK>Fhl;+Ai}f0;d6G-m}ceYAt2nfW8Kt z2#t`22Z}5&JP<_*PiNZ>h`5DW2w>@REES5S%Ft=Rv7|-C?&MrqaC)dNJ{;WY3f0$J zky8)RJfJs%XhWhEaQ~+AJ}@#HzAaKF89ia%3AE6+m;eIST-wc8tLk#qFb={tzTw9; zL%sNck(ECdEu)kl{-S=bpu{Oge-&0}g}P7YEE%$I@YPE&`-sq>iR+(yoPxNiZy4MZ7<6+$$D_?pB=NLqYp%Bp!ks$Ph znzP(UxaY!0mX-yb0rX=K`6QYM@hwCL677ITzH8n+*tN4LPwv0HPs+>3JH3$UDN1!9 zo+k065IHLLBO_ZstQvj9guazYej4mo0ADxn`w=hLvFNUMpx*}aXKx(-a<&`18b|uC zZ!`T@jLEdJ3bBVw{W>m`_NkXv7`3XuNAI5R8E8;tncjwlMR43=N7hqVd;$$QlK6B#_98SxIEgl^ltz8E~foJF?y*@s1D@S*uBu0g0^pR?;&PSzp802t0k% zl$Az&{{_DxEupjz=3Zcj(s>f+gpg4BgT!?ZdV-s_LY&)7cq5)T>jh3}NoYmhDr+hV z5?YxgDhnZ@RhL8^z+GO^W!xJiVbl`3g$PI(-9h4ZA#zmbG9#5RdIUK;j0VCk0ff=4 zGVTJk)Td=eQfoQtiw;Z~QBSig4TO^a+*Sz(eyyG03LJRPxJUjXkR4Dx*fDmk}G}7zvzq-0?fJ@(eQ8Ah-&6-xP}r<>w=Qn3@-0 zHllfUYa|WXOE8gsyUNIFA`@wFvq0PhOuH(i{85q6JbSii%X)-%-fAN&qJlO@Pxr1i z(z`X!wvV3nQ;Qz}i^>{mFx9DXHNPz_<~lWAOU5tAoCnqxi0GCCF7WPw@E+ucns3Ew ze5>q%*YJVVJO_bnKpp<34)#$;K6DchY>8_0v8{DPw4}ye$?fdd>i4mu^&oWbaxGdg z7p-=!{4E$l&LF^OmxX1m(*jO-+{EB$-)aj@uosqz2#p8!!ZMG<9Kgb2eZs=>tVqei zvI6FE;9pn*)?8W^*8a7y^!kLI*}oQ+fKrIo&|ifK1W)JUZE8GO3OiNvLA%zsmY&mON3l$xd440;L;ps<0_7_q4gK#(N#x=a&f$XoTyeT z83^hPAO=G`3=)QHDA(cPMs#wPhUin^9wmDx(8oX&w&q|GxRWR{P=>1VnUN4T=?`Rb zV9zK2Eugs#)#WoIv*o>ilH(z#4DJdLar^Re?U0}yCw{d`y<6#bBe4n5uYjwX`rtDT z>TX$JY5Spn07gTIh)wDg1tcDs%LEJaoMe0tA%E^cDt(QSnbhh<4T+_;nH4-q|GFjnzGCjm*r$BG&~& zJ(0N+=xreSljtW(+zc~kEj@pNi$@b-3=@g(A>3`b;w!{p{= zZw^gP;fen6e5-CT&(!KGU>NP#eUqy%f@lbl3qor?ZfcJO8`4;mKGE}x#;{BE7Ltin z9}p{f-p+8WyZD(3i)Y0&>!AvS?VjO@(U6-8q+p{z&)^_77wA{W-9=(62<^^u zPl1AYIT1?6H+rf*5Vos57m?fPnVNAwlrB$51#HAkaO&EApr&Q0J?o6T(l=N=_{fxA zS3WDs;=y11U$~&O~5zhp61^eZNT9o(%mZ(vsWR&K?96E85m%Qg6ba4XoEI5WcVHSlUa7$g^vA zNdbpotU_!hFm^(O{;qbc=b5!g#ljAABhV{B>?QG?NLe#B@W|Q%%)Ty`cphw;So#FU z8S+m7``Iu%muJK5a17*VT4ZlZStOb~?54j7aTSd#K%W8;-ht5%j29pxm(TFa+B>03 z5CPdz{U}sWcrS$g=R5I%#aVw`*v?8AXHc)}FsfiM3+R_18jz?5B3o1A9U}S$*G7sU zf;sOac1&_+=;_8<2xBEbkv?QD3%in8TF+<%Wz>+L41OYCWIP%?86TEq#Tzf~f<0J% z2JmD5#mFV^%TDZ=ex4TI(aK&SwUjHeZKzZ$pxL5V9Z`3=XuBf;(eBdn+e9|0s+#*b zpCznD9NF;`OC7>HTS=3NJ3D?JK2dJ=a*y7ztdX)uxT?IbNU5kp=WL5ts@wpTt|hdLN>U#0uc5r+i-_ z-JM?C2>k`n+d%{b^n8f#;O-IWQR*I~Q{JId&Oo0M=~)oJllV=Dm({GVjNI}Wn$Q}G z>s}OJ-eslrkZsFLFp@iRUJrz|p|MMy=EV~M@)y2IPuCwNBNvGpK<@?7hD0kNZi5Kw zkD%$FIQn6JbuC^Ty z(yh8Lw>QoT8o2`^Xrw*FWDHCMVPBQlD)n0GzLazv5>$zW2&#mst6v+1rHeQ%F&&RQ z9?M#_7-BId=1E=3Ag+-(3cTweyqow5ugO-TsdG4N1XCeSa}&nKtq#MljgcDKiCc?+ zs}D{NsPI&lqin0Fb(@UP$fppPgyaN3M1Qx5i0&w6B%9#!~uV=%+*=3}PXP`64h$Ek&U8?Pcs2-{)s9%v~b&8ic0{eFS2q zFl!~8CQ$W-`#D4}5_bsk4a9H~gMshNyDaSz|8>H$_Iaq?Uoc)HXC~0EKrAJ(7{rR0 z<)N{)zl2;1l9HgtI*p8TI^0Tzd79j#AZ(j@VyltVL1qo3D_thwFGi-wIgVzcqZxiv zSjq%1b&ypy2FWO(%W9iNA_Ii^)K1J*m*w^*==vfc%WhCwmfxWCiz;Rt?>vwNI4CU( zaU0ZHfxv3?j-ki;G2sFeiZ*S4NJKxg1W7QF@T)MfW8=FIEkSk za_k$H_NR!Z^CpCa5L4hz>Z)_~em2w`s5gK<9byTIMZn%Eh?4y#45_H2r0G)8fKH&I zk!>k3nwK?%7ldW$10mL7WQ|zu2eE_1HX-hYI7#BD5T&<6-5_-h#EQ1{0-T6$9Abi` zDG;^V`}=^J*nif`Fw@Dc1Y!!QaXm*O+>wyCRooDVJWJ+HNYw}WV-Rgfv=ZVzi0<9= zCfaR6-3j$DiM~J!lm0JsOa^DhX(83hmrMHk&~|$7pIa;Y#Ss6k_afFH@ zW*U?66AC{9yKMofz|JT`)IH zkWddAkR9iL8xXhX5>r8aiK#pc<$^#=`Nv{S=c;M2zENSB9ir*p6d8=ok#8mykimF6 zi6TG;P5Qc)jdh%o2*hu0FP;TQp zs6Bw_lx@vvr=NoXpBz?MmyOLCWKIElV{?_n6%aOBt=Wk)WMdN)kc~}1z~0yda>DAV zzeHL#Het7MX$sgIn}C45u?eV#jZ(MlGLr0#O;B1kHbLo^)swq;Qgyd_Z5LOH#>VMK zSXPoTnh3c0bMr11HM#jS7rK`4wyEpzVr5>w6}mZ)zwl0~&TiJmNzuDm{_PV$-N@=9 zDtYSu-Q3$MCxCiG-)F1XPqIyP1~Q*Kz~Ko~JSjeu|AhjJt^i~V@7@3W_vKcrAeFWG$?tlfCHc?`!uG`x~4sT?~ z{VOt;0s9mETlOad@9a=5)DDpOmccVHH~&0 zV#x-)1G()08}OM@LS#I4q|1t7_5hmeg4+HqdtQmlhhX#pc3ci5Q3BX-d%klv++(3f zi-5$XA~7A-Zz>dqW;cgV^QECp-c3kd*-Ye1)mp_s? zBgD(3@g^;av zPiK1ERWYqo2n> zDX_QEs06psK^56X2UWsU!@WjEV&pfLcCOgpn{rbc5&EjG-%yY4<$6`pYrLw^>2X8* zjLg(p^<%5jyH&|~m%`?QSjn*R;Cun~5wLECNWX(DV6}tjPokF)w?k|qv08}#K-B2L z@CR0Zh$$pS2r&raw|r8EK>S3gpDCnQHfz`io6rRz6c)h zLX?)m6G*{F+pm&;rQAmRhZJ55ftpg$MEY}l`ZkitS|-muT*1-=^p=sag|YVn(- zRO<6p3ia6x@iA&20qa|c10=o!-a`=H)BM;sl0DMVug^oet5Lk|(;DPe^Xn`N=-dq5w1Unkbs8OaFVUH*A`TeI z$xoA(Czgg$gDXy*Je&9ex@vxa6STS-bAVE6r=lV5yc=tGNhx2ej}JKRdy_)+>)X#xV;JN_THNrc^|}M1MxbES-|@+g!f5)>>FX~IMri+CM_sU-zlYu50)al7}#?_K+J86 z`R9N*ieHbwS`cvLTJ`b~s(f<>M#TBM$=eBV68d<#PShJT`ZlK;Z2zPh zBU&yM3oFREisTibFMuSJJDieo4Z2xsa zt`OkAH;=MS693%;-3!nWC+W74jun@--L8l4Zc&yFeH@`jLCE`#$Ui%@XkMU0xwe^l zj2qP+rum~$7-d^$^VInmk1*^B*qa6WRk63lvDcucJt-%K!dIwbH?Cq=$*DaMbG-W*^Vt@I?rXcoT z??-4dKj0u_*C3nnXcfn`1$T255rkAO^2_9_YbSVK_@t_R(#XjBBp}xvncGCJt|Rxq zEAkvl?x-BQzVlB0t0HHDLywB=KsMz$Tb4c^f$`x|z=&W)!cQ4>smRTzu=%au=KZH^ zM-Dt?^twr6CNOmx+6iJNwRY5S*(Jzp5kAD$5)k)Vh1vBUWt}!Ecm8MitO$D24#R-F zq5UQ%bEAF@m^_5JePVK11(Vy=lc$X;mH%n-8^;R<1f2x<3y)L@XK3&1Jan!5RKXdZa6hT;hLv|tSkkmx5G?>9SG)WB zEZ7&_=lU78orPkjUUl2f&ND_et0C)4C-vtUqf(_luvyv6@ZV`p;7!~IX7cSvRqw3f ztFa2vIQ{0g)tZuy;lwtS;zoqFsnUwoW~#9qIIT+@qtq}VSa{EHR%9_M7Q z@I!$tt|H&20zadiAJWme-9_XbSuJ_SakrMNKg7*LDN~rSeUAX_ekZ@0cF@HU zhZ8ON)q9glwk3N!jI~+%T3&Jjf=z04FH}C^GRG%ksV(m|v|=J7HD5))Ks{k3&yzmf$nYEni=ufOfy8;{#8VIrK=gbCMnr zEq&4~em?#fWvBB?q!FVtww@r6$*LUPKPpf^ZRN=W6PeH;+|&e)5loT+-26Zka~Uf zo5nQ09#Yo$dg!##`hqcAM}(Da9TBb<>s`vW?+y1H(ifKPTj^<2P2Z?84tZY7`OqqG zC0K3E?az+1(q6DKp0*;~&-kn=+;JJJ4y0xA+#g*+gcdNe-d8!##+$!U| zC(RY(Hb<*UM?5vuQ-?jtId57e*lJ@QdbY5lt?UZ6c9z>Zu67*uR5wnR+nOP^x@N2% zuDf*eY^ZK-8>G8+Oj;(NVRMHzb9t!Fuj-{E9u;^rWT#Ik3c~Th+}M!o(#h=AQ!#k?Lue zGNV-0JmpDiP#`Tt^~ON47Gf?yBhKwBc12oY=0RQ+lVHV|zvIg=_d~YxK6VNc;d z*2g@xy1wHYiByug@3{h8>~GWC0W%3!gt`AY-HJh7?7!vD7|FjH<_9jZpJFZ?RALKA z^M6unj(KWSxk2l6%WWPGEnMWU;k-e*m8!cxwmj}gy9pnu5f?oPG1GP3LNGcs!)KRp zSln4v6(9H99e!!RBD>NH%PakoI(Xc(C}(S^m`yc58YDidVQ#g3D0I1xj!RGE^7-5Y zCp-^XpN8t88S3Eop6cp}lb){LO_b~L`+J04lgLeaF>VU&XxDC%-3MtO*!HWNJ3{?^ z@IeLp$5f3|o~pH$(aGYPE9U=j{o?0Ju=%jvicwB0QrzY;HS?6Gn!Z}CKjn!}{K6E^ zcXY+$hgC!UAr@h7R_9N7GL7qodbyFelHI->x4Bx?KTX6>a-uZeZJsY1dfHQ<>;6_m zOS^RQd+lp6=Qe*k8)3ax%4Pe{|;=J!t9BvLAw-w&05m}9s4U4Kr+fT(1?JGeX`E)G*`k9n%7r9XP2 zIAgK)M^8uNl%X!1@npIaELyZpH8|&~pg(++EZ%$)d4@$FXH-PG%?*~sX_mQ0sq>x;6s=zWiC;Wm+z`xpnx70;=UU_k`*a zh!Jk{lqlCwX+L|aHk}?Kp%7;oCDc4@id4J0d1SD^C38bcitE6sB|bK1(imJ!+Mp}d z(4RenA|{rWxWfHB^OqSHJjoH`8BRfts(QgwoHDW0Z|<}^G{axO1*d?Q)yxZ?&1tvG z2#hn&hjQ2bY?1J|%~^p7$&UE$j6K`AM;#lr%@K}oM^MRPQL1fDaab2|w{W-yOuc8} za^0MwhkjRVrJFwwFD!5+N~C;T_Txp*J5gb;JvY+jWmN25G1J>GE8~6!xrFyC1__@% z96q*mtG?TZ#j56)Dl6MtW=wUdo!dM~tzu6;%#fMo9nLSHn%vUzwBCl#+t9D@_Wj#$^h`C3{1Esn-z+aa*w+PvFVZKEl z%Wkt_u`Ar%YxqT|->*aM4D)NI<#2PEp_>O;7ZQjRv*`j-;npqY_j;WYDZy>_)6I9V zDFW!ePH!if_Xx!zmnoHXC0Vzcz12%O-a54p@u-83Wi7L?#Gd&-bc+iso7;yJS~dGx zb*1KeZLc2>dS<86t9p~FedBm0mRZU1j5&3<`17*(GtSmJ;Mb~RnR|!GT0*D9`a7kM z-6@;O-CL$gt9o;8QK$w$+y=oj0it5q{Nnb$E~{NdaHOm=E)&U zXf)>q^?fy-*mug@!0w1{BMw_qiTW}(HZvy&P9>94=;A5GwVF7TV|Y< z=pP$qEu*;(JJGyDX3c1GxvP#%ZhNjIg9gU95tRPVp^jmB_Ml%P(`j&MCY#sU;aKj0 zadu`68Htv8Jxr#75c80!yUTvf^&ZgmKh(}V@0V%&LUp4?tZiB*RC{k4<3#WVaak&R zuFHc*s{8BVy>oTFRU)`E-mObaRB@X-Rcbxnd%D<`G-J#$>Ob|o%~EGo5IHqicN1=I za}-mL+k926s^?8hI>V^svzk^!fmNx5+$FYm=lesZVT3uEj-(#a5hYfdY$=|$2j?rH z{-MZz`DZq;5<>o=IM1(I5MfRoeBytqGS+M_qk1`@YBjR=&pio%5c6Y+hbEqQ^U834 zM69SbE#t2_aV&ja&HPKXYv64Z z_9APQ%+RaU=my?aO{fWy@N{-m)ovGiRH)FIEc;yfD}6o_koC5x%2D{>ca*U!NOL zwlT$*r0WOO;Z$FiUa8DT^PRPHz3itfU!<5Em^NYtl*Pnhp@x4US>PRDByZ=vii^l)o?75A7@9LAw+Bfkv(Dlh`Xj9)PNIl>8 zg&zODlqsFw&ACIybkBXiY~Rhk+YSBCvO2f;Tp=}{;X;osv);J?5$>Lw%QXm_7q}=9 z;hy`N>ea^AIesYDlj(ge^viDi=Z`olP@lE&wbBce-qv?kzq9OITi^5+Y_y*r2XLvO&!!{WFc}iUx=S$?v zikHUlZ;8qr@5|FS`>CJ({~D|3$NLhKTUX`DKP^>D+8I=~6CKnCWb60%|Bbi*CBKbu zhEZ9&htt;;|5mA(2?&4T7e3?vcg_DVLOm&Y)$MIC0JeUQqW=o_S8 zE}J>gH#ny(bGh%T9`)$cbsl))i8_57_33?o)4F}8W`?DgHC*9a=+Sqnqw9Q)>8#}S zzUEO9&SA~6D}`F{Xzb{s**SOnj6>Ks=GG$Zqb{lnUMM_^@IHDtdc+X GRr`PDYeA3z delta 99702 zcmZ^s3A{~J`^Wd%_nv#tx%1?@6YjmZrpz)ADMShlMCLJ5B0{D^D1>mZ5g}AchLjQt zji{tSWvHayk~x(O>Hq!hd(Ls+-u~zF`K|N(p7lIyt-bf!Yp=EUUTeSpSlgYCwVhMm zwzh7n*d`+F$}7p+rgUG@H2cgA6Yl+d|IH((<-NRlX2g-nX7%O)kKa?zj0n8Bvto?_ zm2IopaLX#0xgf&2sk7z&?kxPX%+lBh%Q6*-N<$R~qDBO=b`|)YCnKyn&>Ml70cnBI zOk@(|UWB_r#%f5XV4@{Z=;v93au~uO;9c}sgw-QxQJ90-Zl{^`sOJzr6PPuS=MdJ& z;m5~u@CQANTPD-SE@r&bBCIVKydsY)80|rLSL6)jJA`k5ckP7h`Pr_wea;j&`%s@H z{xmReL2P4L*F?5JG9kr5^sr#QfyTR2Ozps(yVGlQVrwcAR{+fIkXsO%h};6{g3uA9 z5nXquvUkU;ms7p(<9bY*y*tz zC3-Z7+8ikMPC?@G*F4rs&=-LfwKs6vI|T__&~1mm0V4khOn4{1Smg~KYaetEu**O& zJ{EWttg7#3M@rj`EN$80p#^VFI?-txP6XUCBFDu3mu^%EZ1B$3Eud02h?6FpR z?Zn8)rX~t?Ds|rnl1BvQyqn`z`Nq(OIwe%)??7lRqAK47;XdG2`CY-CQI_QNbF2J= z#0~%ns`CBOhAaAPv@?KP(bpiXl9?*HYgSmh$?X-?FUwBVJM5(D9d=UnmQ%P=hkaD3 z!#-OAqu(p=*QVT~Rgj^aKdQ%jNc?SOpn7}~;U^K*v4jrpX(i}bft+e z0o+R09HFU*DqS~(E+9dbPCjn&vQ^hcq8=(c)wM+k^F{gw>b{>_Vd|@1E2#_S{2ng+ zqe&VPgTX?gwqm&fMBN>j^nQWA$2za|1N3`f#b&@t27N7S8mg#6cH#sdzIPCH5u@|K z+yqIZh9v=06H*bOJn)`fbv*^+reNO{k!a#qd#wh<*O7yP+=cBfK&}~n8`6^Gd?a=aoMIIyRLsTMf9C%wzlY}ZMYCqR1t8qrqs zV6klLu!^-a!F++qWupHC!Jl_Km7z`0(pV=^M;*1J&05rn(d<;<9T@1jH@*BU4sZi# zO<*QMrXfre83lO-VIA;h1(xqk@6?Ec`wjFf#aDx5dM&FMFr^{25UK%hFAnM5;oS3R zH{IGj1@)c8x0b_b$V`N3A`b=<_LcN+>}gvgs#{j+lcl4r$Eefxp9ogwsou7g`{&#U zt0h}#mTpKT^vsK}KE(A+xhFs}smHOvlMU&I&{3p3WCOw)ksBdDAbcfqGo%uElmKyU zA+hGAz`A`|*>BVCOhc&xm^UB}!U7PvFK}#Meu-mKBCKbjs}=thtfc&QiazD)S zFURQ}6uV`y5b_1W0pMLWiJn03;6bt`u{kj%BdVL7s814qLJpfDml6IHc>&^!<$wY2 zV>E&xZ{vFVGCetFE$R&7(}7vKD#CA-Ln;gGfSOH?P#3muKDl*GV9UEg>JnQEcpFo^ z{=pI%Yc)2$=!lAD2Ba9Gf4VjHF6Qs!5Gj;~~FM~b>5^kaR zuV^c)Mbxl|Lrgz{^+de@Oee^D2)jkvL5?6C0x5FxOhj`Ub^>I~f;hLGG~rT+`Wk1$^8 z?;RFs`f=)jEDrbSVeB<@GiCH0B<%4eB;=9&5<7QNFmp}=_vg#^6uW_gXjDtXZmOjr zH_NALGOf2W_g0gdsk&iPC&E>sFqzncft>wWb&u0QTuvdL0#@ws=@Hfo!Tc=i2lk{d zEyA-wx%D9GJ&bnCFzUm=ko^Uzr)E-V;U|E791{6+;JN+zseezV{-XO+`ad9%V*^L_ z=lkc4VTW>5qJcdfqC97i@aw@mBdy<*XG}!JyHYSYNR)j*!G{Fq4T20@({*4sLCPVN z1zu<3^)x(g8Zos@Y5Qx`_U8)r6PU_72peEu52Pq3&$npW!CC^(sUjrynZOI5WM#k3 z@f$_l!@#@BC+~E<{Lg;+OFM~Xbuo~FY0!arl&E-JF0|g1O)X^;{ zUjdQ(1KkefC%wx7c^CRNAhq&=IS0}!jw1tml!Au{Ob>#C#D5CR-H>w#XMneK;1kRr zqN>;rDCkdMIxFB%{U!6eAlZ;i5OZ@N>C>{YohY8&jv(?%;HFRW<5N_3eQw=NuM~Lj z(_$t1KY*sQf(``c4g%G*^1ypJu=3ONik$~4lEAbgXh}pfU^kSeCc%TSK_D_SaO~6k zga!lLW2{Z2as`q<%krxpO~>MK;JxS32&-Cw8*SOv?NsrYx~85PhV)cR~zEFh2Xv<8YbXr2bqa58pL&l#IBhY zVI}n`+;PSlr)}~?RDL+EBq?trE-jfF4$RAt(g=BgtJhzj=ijWWmwVN!fvy_h*i6E# zLNGnsnyK`nBC7g|X}1z(W)n2Uvd@!T_P?fqj!C7=Cf$0E=rs;_Q<_<_Hglym$ z52=Gt6J*Q?%sH6W`UzBRp{+scA2es%DZZ{elhg4o7#m^TPfTxMXF^OI!DN^pm9=iIhL0Ba+E%4^od1g!CyRWlqy-)t{ zpxh0-`&V(L4DJ@&`c?V2HE~9lqtA#x0I)h5sB$R1Vs*-3-=Lrzfhk7t1M%Mh=SX;CEC%ft2!$KH`p`i911%TqO{5 zB&Ssac4u80&)UF>{e&ynk>EZz?(iq(A#aJla>(HVQLQj)u9o&c5Ob8EH>^8|{50_3 zk^F3(#ABh40QV%Gi7-R)9|qPP$uF-H_9^IM#p{H95n-)}PT1`TZ-A&Zfj^EEWb5j% z54uP3Ix~+T90FV&>KrW`+nj`+P`t)AR}d}%EFKGtJeprdr)~@_oL8-!n(!=y3=kS? zSh4wm?MJix%_p-xbqQ(_SzgvvA;S^+g4mlLp*z=C2@_*2W&3&6UI-mU9)-**&b^1nVX2Gh#cxyMc1+#Rb$#4` z;$>o<2j*GG353JITZtN#A1o2wE;(&8RZU&gwKCWQV46ZkAPfd6GKp)0#?zT#395y_ z)88eGe#KHx(=Yk~L*KFJS}&^r5rgOs60;tdKZyMv;Va;6@4sFE<2tz~`Y6;l(nM4O zb}xt-6sY!XOaIfs&W4{Z$33Q6gt^lm=kCtrjk6=HyMtR2YMf&tVsigh{yT^qOi}}Z zRqRRj)+LJfN-0V{2QnV@Bfzr^vIt=wNY(Wso>6m5OiYEDm~xru6k)wV)a$^lc6$)s z7g4o4gzyzeP)9(H8n?Iu)v%B1&IwF@0>QfDGu#*(+Sf^LYEl~{AYUTxBEbLW00Z&h zHo5f?WlV{f9P>L7UK;i&;JclTd%CYv{SK2_`9b7Nl*NGQ1*wKmMWhp?2|^>_8!|P* zTGiJXhD(#V$n8+xE~_b!`w{wzjD?Iu7y&#_7m0~`5#q}n=O%KVf>&;c98RPvB%DY- zWGV?v2EGrt%9C&Pn@wu=FUVn+Zy;fpF9J^=%QZ29w~iGgaMxnG+W&?_oygNoie+~#W*nP`+SoTSn_>A zqK8Z2Rx)}GSWy{){ofZPNcRzZABa2}h&Y~~dV#G!2K^S;zd$072kIWr&%MN^o-8aOrr(!A1MrRbO1o?L!$ZHLoMyg?O9jF34jD}N=x(NdvC9J+f6Vf~N?}`*?ybPA zgY-n`4!n;q;kINj3)`AZf!zC1FQ6Vu{17=TgG@pgFEStEAS?i0o!lXBI=9+x_403_ z;Lj4jS`M|}^!lyWkTwImGEw}BC9*pgVjo|D9i0UEh}eC=dk@8%8{U`CDox#wnu7WW z@rQsJ1v!auLS!K1D#D*4Js}zfC4m$>pB|MD(FfOTQcCa-Vbh# zWxc2T7$Gz$PhxF|(gk57FijzEBkU5X1^E==6Ol@gV+h}Z*iC_zKV{{-Kig~l3O%Rz zHy{yek%1LCAn@f+`Q>Lm<+W1aNz(fvr4jN(MnY;JR0EO60(n2@myhJ$`Yq6=ioZy1 z_aNLQat6{Hp(ltu6&Un$zW*AzjetI+_}C}C)?|c9z}M$3uXQlErS!zzpEn|*vU!|{ z`B==8%NWQigq0!>KsF<60!cpyeV^m1=Kdlt&+}Rv!~4#a0&ypjvXdy*+qmpf8qtu? z5k3Wx69aWl8eMz(_7lIpgF&G80Cn*?5kn$hZ*vFBcAaXMB%r8Px2as=!!v? zmLt`OwYR->Ng?&@T(6a<{5D3H*<2OdTgbw0te_r&DMxULG>$8sEJ(uiS%n^Uq@8Sk z1+hO<@G*heMQ};^yXLRMO6{LfXs*#i>=PJXLt$ScFy{zDX(wFe5rhhok{I2@?lK*l zdkM^K1l{uKRRX(_G_?rAUJEzUX2>fu+Go~5mSR_X4uM$(`x)U=ki4E|IkW>poiT5& z-MHcnB-K-}pZf7Hvg*xWU`6XI1oxq_?jlnXNO)NL zY!OjrCcy((_SAi*iI9B=Z;6b8q;h%r8*xP%-!gZdxXbV*^8HXtpQSBD3(|S z`|a=t%ka#108VBDY#D+h@(g4lQ>{JkY?pS_F-Gne2h#+T(V4HC<}SYPmdEaiTN#^J`G zH+Kr$pKn8Sl&2c@uM(MsZH9dI2bP}8xV;;#XGn#6hm2_J)pCVy@geuuqRTFj`?0xR zs{*d&fcYF!51|gQ--r12&pV%y{SfDH*rp#OY|}MR^Zae5ZeYUsEK@eH__z$`wZ9ccYL|0tK+J%)brRp3#`cTfpx#;HwvKJ3V#)t8Ib)5AAyV&kf(xW z2wfsQD^Y$!>=6)U0DlUMUxi-=M*ZwqHr5B|Zx6eWUtay~ zENBKW>Tg#-CST{h)nh ztp4{%gb^ZpAyW}1gXrhWI>!c?^uCr?BejFU%{0~+?XT)lh2yk^Sk41pjnhIlw);{~ z%pOzHXvp>&@f(0UWcvo;kcftCe<1t{Vz&nN{g#!ppS_SwPbv|Z_aM0lC4uD~5-`7~ zyQ8@q;Zxa+_r0As}cStu0<_GSOF6z-hhu;gbpJ7+dK{p$i#gLT< z%RzkAfb)BvzY#AWy$an7$XMgR!@+Hjv_2$d-?``tMnl4nuy`LB4GB*poD|WJ@G8P( z;MI^YND1&LF+!F3*b7Fdz@1O{Bp&(;GU zt0M1~p)-2mlL(0ikuw6%Ud%7A=R75$Il$;SPi2HkzQ#d-bVapCG->IdxUR9zJXju_yfdNV@pHc98-Dk zGTAfe8<`eF6{8E5s%}^#NErn6$vX0~ACD7%4`#{(IJv!JDjF|V^{}WZmn+zGLbzAt zSI9twejr8mo?_Teg-r%=`H-k4fu}DOWOrxZ&PO*7m=2IN2&({<{o6}3RR%@2Rzv3jEH1WKuP52Vzw{bEfcZ`!!-Vf#e$l ze_zf?R3-i#`YEuI?LfsVIoYbj$Kl6-TZw-|I0rJy26|petEXBUSD7M%1XTXtje5^RW7i6_XO5o$#5%kb$C_aR_2=!8Ux>qz_BYCZe9vXp)#OLfj#2)q$!ihTh^Qv-Lf8S4s|9lY%JHkx+N!L) zr$?20ONoSP=69GKlAmg(MThE|h-zjsBp#&f$KI`(p=h^eCa6XImZ)$$S`Fihz^!W` zTk2X(ZlR%W0}|Abp2aELeD+7%OHOJ&!%klWe)%iU^bW*b%c?zMx5t`|#bY3L{#K8* zB6!q|^|!W!O7?6M5?D#pYuId(-Sj}0Ygvg4U-np^Lq7#p)TqGJYXyyFZSq*h;m3fP z0{IQ$9LQJ#c|DkRxTSmwWgOi)FNpd$@bk5T#KWlap}D|{JQpbOcYb!%T8~v7UKNb%yV~vB30j4D+ z6mJ?pW}=-ThD?C|@RhAv@ zRP5ST?F~15lqL{s*Pp1(HhBn+VL^kV**UK^+;%Y=ON3;@*Tr^rwt`egs0!TPLde_Wdb`!V6bGjj@wdn!6*2(f zevueIY&6nHP$n(7BlMR z5~7m7By1l{nWsPQFRFiZ<#&|!??gV2&$GZj;f#+k`Q~P4MTE&p8>pPR5^N{#4PZs> zbUuzSyoim{Cn!D!k<%PI(&YP>voYVoj{ic|tJfC~Ld6>0NWfrCZ3iDp9{; zdJ32V$T|in&x3@gcvI^uOryq_JbM$wUQLjoM@CZXHjJ$YMeYM4dk|7|?e3PdD$=C+ zE0XUM!3=p9R2hD3a>h0zkAXzJNBX-p5bCJHA{-TI4Y`1D9(cD+r*i7KP z*_q@q>Hb-4=63iiz)XaEhj0Yg!y%?0K};PO@P5Vn+^d2c%A-p*H1UDRJd?%Vs6l*1 zVB#Si5bgrD1u+-!ng|;WQsfj@4s}|JJ4}RbbTXq%3A53u!=L{!WqdlkGmEovafeL) znieFjty@hZD}cLo+Yw$D(bj#A@QH}F@)W|)zwFh&(z7))WjB1M z4D=HJmk6JUY;lskrc6}r8jKiXoCaQ#m0g_E@)~iM6`u>qrt4M=#8z~MV&K;~P!C>5 zT{@iuw;{9;(K*l)p*wKTfn~v42gd3}$;0QsP~wNkLFd3Egz+Le2NoeL1Z?J7vfdcF z^-x4|d_I$yu!Y#?FkAy@JPLd!znL13E$~-Bu<@w$YA}TbP2F3m5vxplUi0h7_GaEe zQ2I0#;-i+>SL97Qo~Jo8ee8oejGhmW%Dcccha@#%i$LtX&Mpj^_F+I=7hYTX-+4Ky zM?V!>r$}WVKEFqnH?dr;ZY91sFxRl@h|mF$OpcQiLq0V~W)PbDWl{k$4dGD`+1j}? zhW4;0ZmZ$X$Y2QMRfNqV9U<=_yaPOAAwMI0E;0@B0R8)}z_UPR2)jYCXCQ4TUh6xE zSq1q4?Gc%6grqg%u>wd{Q{Mx#)b0L=v<|nCncDXoh$;`v2}nDH+kur@lKS?LjNgi= zk=mN*S|~#4no5u%*bM|JGK*`9CZQa4P>g%qWlSST*r6I^8pczAx4kng)}*JZon8lj z9t0ogJ4<3s9sg81r*rPt4yELUe^%=5i1_ihlk^)zzK6#j1YG}@cX8v3HyHv!QWq)z|{W#lE7Iyhnt89C$Jh4PQZbL3gCGYlGvC^38Gg7 zcV}TU)}C9#g+HGr`h+6W3UyAKcoXH&+QuNqGyQ<`yorFY_;~&N5KE_r~ z)V2@Qws$3X1@WO0d;oza;I42!gQR)j|K_S2BWmgzSN^ zUzNd}$0iR|*s%v2{XZF+h?-_O5n;!9+CNhX!hVg}-2d_W(=KZU5)t<63Nh^nLVo_Z zQLvq0)zK9Cz+fqqBMe#PfWEU`dAfF<90;~ktz98EVdCV@mY9npkzLF7};z9dFM>Y=8Kr?wlgG1a1DCXtv8_kCT>SD)=ACjkW@J zlHh9y_B#Yt=~rk8o{?@Zf>mJychz=6Gdp&OwlXh1K+vcYK?wpYxBdpNRlhh1F4apM zrUUdh(*H(zbcfu36ZdCiGYxhH;iAX_NG8LSWZ-!QatlHe zkqwYh2m?g6Lq0`#1H`_vhL~wq@YjywXdrdY$pW+Vsf1pgs57SIm`4}Dy_9o5t!2HSn-+{16j8c@*0mT^(R@AqJ&L)%zjZp4E@ji&Z)A_NO$xFD8t^Epq5Jc{B($YX$r+{0aUeus?>xH*{L1o4n$8JW+ zXN_rSQ-J%du{1&+h~MR0C0#c|ql{{xtfq*DPPO7DFI^dO--D;UD4PH!-QT&txGAWn ziH}z79vXtLrnwQ^qCLX?;puqgYaPf*&sOikr;Yq#*E>6ko2*1Vb036afRs^tod1xN zUzX!hjFr->2kt*iD@>9J(}hVUTz}ZU469kdeb`>6725^ehwW1kMoS^5e|gxRk%9U` zvGX0V*TeRAvEA0ny0h?MdvQ9a@#>)JVf*a}Er9#5U4G$*?IX|*mYE*5hkf+?JmeGG z-#L;&h1ApbrC2TsS#LpjSwz;KAbbeCHJy@~j2!j2{S^FX8R&6)6dhn&onSp~&qc@q z(MM+#?wR1@_Q<&_{89h?zBi zxQ|Tq6#gCjb^}up@&&?YZbEyUBP3M#yg&M_8P0)BJI&9V80iQP)n&m{D{Qmzk)WmMqN$e=Q$3PO32T*#dWtwF*L=GZC`-BYl=9C7;! z8vBfbV+08eyVIP>LN`k67u3KlQ!t0XOeUB>GDAR$j6AQQIRg6}c&j-dXH#j0Jc&I6 zuxsc{Pe=|V9hiF{O%NJ@g!gy>XR$IWADLyMW_qnoXz!NUZ^Vp47!B;7APKMYo{enX zYxo67*!Dk=uzTx}DN_H`uYKyWp+Lc>$xdz^$CIbmx6Q?ddu)bKBD_6dA6vsdG#vP#G(sr~uqD zHbkiJS{!srm&8J+&K)RP%R;A4SA@>4#XhGm7KvYx#t;;PUF9WbiIi%+{V2vu89Ub5 zUy=qyt@mscGlBcY$Z~{bB6?$FJ;FLbE1q1+-zM25QYeM)*($4V^nMD5=)` zDEzPt)T*CBI0cmDdS_;-VEgE> zMojHOa97*bDedZ2c5$Odtp*lVfZM3uhR{+(jap}fdqMQ*pyx)XXD&D3iaX=@^XsG= zPV_L@>!h2EFiAuw-F$>OB0A|_LU<9lC*4(Y|9?+9opUny|IWF$No5;Ix$4KtJ?TzD ze*)fWoKr`FMP;{Ul1ej9D4m3n?br*zJqb%9WQgb_Y>LnbxF@0O6FLbyqiruUorDt* z#(?W5VJ8`f&%&^=&cd*>3>C|`#R{E-VJDr0Atz44(|J@m9l`nJI1lI~%+C*2 z@HHq_0k?v`g7C6yQNrmX3!Q{-qu3=2orIqu9B?hxJI`X_UgN(<@tu^hmz~4;Cd++C z>vt6AfqTNm(`SzbI^mK_2Ty?<6j`pasnY_bd%{&lQ3<%^X^ha&wK(WZlZ8&WwkYn9 zg-*Ec2wh!^ea>DbtP^f1iXl?QUUL2}ZL;dHI&s724g0)9^x2#mK zJ_x;J)ypYUj^4Y<;pRUa?^$ZZ--P<7QrR-OQWiJva{bIRvZZHK$ZXlT|i$6{jw#Jg-dBAip4d2jcP|aa9PSzH_=& zGzC?z@n(N9o&}@=t6BqMiYa(2hr9lRxr#J|R3t7RL>+Qo#wXz?eC~p`lWvytA9RVe zxj6NNcL!Ev1t+@_6{-n_Ls1L?c5O)HN~awWjb97UXFxe#5$hrRV&BFf@kxo~Ywf25 zF^@%6XfcRw_=Ko=*vH=?o_2BrgV3JHhoY}d~Bkx4YAo{HnBV^CK{iO!ujP$Gwn zy20-Q{JaD3trpCKR}huQ<54Ayrdf={G!vsALLU&_yj0LxQ!(_q{y6t_>XE^uBCk19 zDx3TpRUJoTKSBwpqRvH_1w5*oFCnZIQ61fjup7j_?HsPmiKH1+XW+j8cP3S2M~*1) z`kkaIJmAyJsbcVC;Lf0`girxQt#_JM30~jp!|MVo>Ro3f$^=b-YK7ufK*RAu6;rsb zQ%86Q8CqUVz#1LgycjE=ov8^}?&PccvFHnoCSQ$5ctm8M6JM3v1IsCKAn0eT8u-P` zimI6RAQqZjwF%RgWUk3o?<2em+{slTC);W+CoT4)$yEo5|6C55T=f&eaS=_f`U~L- za3@!VysJdG?%~;0ah*sDxHDEtAY_8jjFs4XobRfdtXnl@swVpCGSrl*n-Ojj(Uhrs z5!#Aq%G6kdQ6Qxwh18TOYd&lq@K$!3Rx{}XG(&0)d?j#aNbNw_Dxw)uUn3k4(G01- z5iWt0{z^&7;m0k^`N19x&%M}!U{ znjCdMLSGS0jv9$D0>o}|606h8)9k2e@W*7J*-?uT9Kh@-r+IZ#I6dll6wk^+)1$T` zye6Xa_5+0XK;$v!Nm=VWJp}(s20BkqBAgJ>X?hvqPY`*^`5J3?f>c~*jt+27%WQ;9 z;GUL01h+jUxb5N7@&+s_%0;JT1B7}aIxSlxv;s+g1bzQ|g4EWamV+V58B@a)&XDSi zkCvHqXGjf37ziRKI%{gMO`0M#0X|L!nj$p|;Rz8$%-&SVh*SJhSoK5gmQ-Wcc z1V3!y&Hp}sM_TE_slK_k$I9$Zz>fSFo8sdhjbRbO9-p|`TE*-6nK2O2Gf3mo+wzp| za(^yGnK#|fYXDkHtVdb*r9by=RM*Qa)ty^o=ob7&aZUlFwZ@8f;juDEKI=59#RH}U zZueJ)R{+L9Zbi@vY`$eoZ|Fm^`ehaV750m^6A^aV3<KT1q#G|5Cw+pA6 z8B92PYn(YwL?~U~VCQ@-lTr5(#tb1{vIY<#PxnHMv$upv`Dg@XZ%t%p%H0Vh?{S*m zXmS!iD5A4`-JHQUnhftCx>ju7!_G`t_7kunxC{j5QOHz;$-p(_!q&Gre`D<*%pMF|_ke`0?}db{lO_cBYmryetb{j9u_T`%XD$8nIb=V% z>`_kpAg2*df)tr}j-l~%WsHI*K@(A2$9>JB3(7tMGiEShISlfE=?)3`C+trxv{r|{ z?0JYWKN7aW@D>>#aSqisH+1Su)yh?;?V(7NOJ5#GxDz@Io4&H!1KEbKR^%Wgs~aaV zFvlV75L$q^zaVijD|yzVj-N@c;&iV=y-VjT^AkT7@TT)3nl$p!!VzOek;IEA78A7q zn5Q9|5jKb{fP93o2lzCDvTV=7IuyE58S_PSuB|DQwx&+{CUU<2k4aW4Q^wUs*lHVW zwF$n*ocOvXBTa3Atu`Qh?k8_`>eZ#lN67g{ay_nM?1%h@@T6q3v8J- zW{@}j*ReDO@r&7TtpJfjyxzJp7cpsv&;q3XHit(RvS)dSd9p7)7yB53u)Tr!XJb4C zq{!HlgX$gFZs4f^IfC%1NNq?|4@v@3H_oIzSK=%W(eDwJ6-5PN@_^X^xf`K1NYL^S zf60_ZA#5!Q;VuU8I8lC(;#b`D)gWF%w-&goL4=6A7(}9nBg0}4&6J%MgV=-FF5oT( zaUS6$aNq2cX?O{U@*K!~5PV~VN2Vdiv|czkpVl*V&C^b7eUs^*RW8~ZiBdm`<^Hq) z#9Za69)4RAx&v6nZee$nA)gjwC~PxG57b?N=T68Ngb^TB^`tIlS^%OXrbgA{DPk4_ z_Y(2~!t)}tX4j|cBW(rlQUfiu$(4dL!^2LhMSC&%00e83FVQ(#-()mU2mBD~uK=!d zDn?sx^pHq_3;zn&et4DxbOM{7fUg1@y{kvz+7Ba{-+3A3AHWQNB=_P@88AH{xdAL^fa+-p@wSy@)!LRuoU5IG3B7ok1yTq+V17sbp`U#7F80WIOk$BOt5 zfQ0?KK>Fd^2lzg4{=z!jDr)`P)FRd=ooWqDu8DE(Y-n;4uI%6-;5QnWU!AcH&5dqn zw4;s%i#|+L!=o>EmtDWIV1~dgmA1 z{sXMkw28bTpdCfKc}CH7P(=123YdzJT!bu$qBbm`WovOqTZ=l{TFjAlb5dijd_@-7posdV_9M%HN=HMO$L_JGqcGzL zdQymcRjT1KL3jeBJ~5INS7c8^xN8#j>rt4M1Y!F{kPook2~uS1*^K5=ANJDks60Di znSD7EfafDfGla$<^*!Ey`O-t;G=vM-r{)NX{>1bE<}=7Vgc-nX2v2x0{jY}bJ)+(O zDT=z@4xU2wb6@Me!iF%&3RlIsf}tA1;mS@8p_lt$7H}KFY6um9+Yrh$+z{T6wkHU^ zI(NQ_X&GwxG@q?X@W@5FyP0y*@a$Cw6WjI_}1DTH4@f)?6!O+(A;UO{_FW?Ei1?4#v% z!#-;G3;+B0%RG& z;~?$;#Pbb7Gj|vXmCt!BFHLF8E^q0bY=b=mwV6clAx`gsgz3vX?pn<5J(6dNMO!D){sim=5Hpj& zGm!lP3fC_pIrm6?Q@4oi0f_wpfvyb2GTBqrvAgydyDbZngLjrv$R+Eh#KgSgtz>sn zVQwd=OjHG6nn0Q(G!>~0>5R|`q{zwB56wVWe~^$v$?ilO(;(soyS>WVl3?sWnw(L@ zn+C7|!jmF3AZrnx11a+I^g{CnYzxSE5VC`6qF=SbKg%-|<>$nH3{uynL|Z*$$ZbP( zPClDuenfGenA5=i3S#yV#1CR+K%ee{?uL~`$OFEH&g>R6GyOTdc4q~55%^wR;IVcF za}8A&-FPtPU?D$UXlLF^$y6Kc zBDEk`gw%p8P8#jE_q~a;rm?F!qc9x^22!B@D%5R|2?*mrsTb1ji$NKYODT?wmKnjr56Ts852ua<;{JJUfW~G(WkCSsIdte)8x@~R8 zK@u)8RZAxBRWFfgW1(o14cUj?9@$1gqHA-K=%-s6G2E~LhH7h4GdUdlh*uwP=X5+9qKJ5avA>e3s)Gf|1f~FT6GB7a zdw~XQ+Q7mx_4KAx(!tt#zS<^M5J7f)5$_Nxxts=I{?ZvP`K)mi(0D`V;)3UO5B zrPp_17CUw}3NwkI2gT|D%xK6$gc%@pi86@Ao?c&ImJSOFvoSf^f8F6ZREII%4^m|8 z*^MS+2+JA)&wfZh;yZtSWGOeZ3Jn0k_vD z({QhE3)*!cJp6UuZEaf6?~A*g0k1B2SAwTOs0CBMZ=Q0|Mej7OCxKP$1UsNRDc?Gi z;{5`-hWaw_T!dr|Wv78uwPRZ1Uj4pOm>M1QM#MA#Zu@mR!fhh8lIurXU6DEi_u3>! zx8J7<5Oz|lG#HbCAb5@Pee8U5yUD1nOXxV%V*sw2LE9u)q0-%|NkO#OVaE#5))UxF z2fh~04R_H08q4M_g)ahT2xK$DCXv37-3U8@Z;~?@>-tY}75ogoUj~mtenI$IslVJIYKwim;D*7GWQENjn`qEo7&o7xvN7YdFkXn34T~Q@5?j zH?KLJ+nStut7(=7knsJ$N`4JCIk-*XUi$%W^!HDawM@rjHWv8KIUC#3E}v)r&V@e- z?4Px>A7`TPKa+58d^Rsp#IzyAa~Hu19G_N#HMp|;kDt~%-^xXN0~Rj8`?o4QBDu&1ZdOqlWq{CtNnWZZh66(7g`^a$zD6a2v z#6(Q|r0`%bcR$UM_7F!BxS!@|h0qAZ>C+tUCpl{9D<4ICQZ)j2Nr#8^$$y+f4$J*$ zrr`7_aEAZ^gt@>S0_;>x2@L^WM7vgI8Unn5@VbbG0DBPL2kyx$pYRYM?4uz-$S1Va zt-jFUw@M8v+@eqiT5GYFm`lp~M8h#s{Z`rN6AkAO&Va)2aePKTy#s8!zQ+;6la45m zpzm=UR|!I2;mAW<3b~qCW%f zXE-9_$c>c_AD>5(`U=M%#QX}be}yB3#}Wy8G@-9>R75BMzAFs3n+MYmwFkZzqiWgz z@?j3wPWguo|DP{&aKolUFwI1jnV-8px^Cy(MXv2s4Bgi0jnGrY(5U}^Ttc7j7>mUt za?xF$;^72zyC;-D@=MOvyG>4xszBI4RUl-b{_6R=Irsnf#*kaS)EV6EN@Xu<-SQC& z*m3{zIgA+;Vwwt~&tW`+umU9La~Sgcw~t`x8yF$46dCzF`Uu8${9XYbeFP&!QlDXu z6sQPvQ}3KlHu@gMamCZ1iF6fBAC8 z4fvM_?w2!KAT$FBr8z|MQg7D&mk(%!z4QT%kXNZn4>0ddZdyq2-@cL&%q!vYfWqY6 zg#`cmV;McL=>o2QEF+Ycd$>7m^!1e%+9JNWa<>{!eJf)sE|WomUmwd*bodh)i%~mD zQ7a}T=o1;Pcj&_y;b`~67>X*c4`Z0F3Hl_4Ya03v#`C1|EO1wt3Hxb9i3EKIL$-D) zeGyR0C54T(!c5rsqI0H$>D{jAdri5TB-I&Tv-HSf!d=kal~g3G8p z=OI-g|?UR82QXXU*nCs#9YyP@p@+!?q-5e5Ty@~y9&bM#)i8k%++w$ilQ$FP_J zeC?g2j@-Y{EVCu>MIdzVut7&t+W#H1zJ{rw^X$|qi-YnWA_lAfxb@qFN0ziA+Hd3 z_9+g=Rme|hj{=W(MTC_;nuo0*E*TP+MUbfZ_bY?@FVfnBYnrdv*d?T^x%anX+Ilka18I`uo7vhG4315n=&n2q*8XOrJb=40TaubU^vknStN z9Bu1s<(QK5Cgn9+hF}(!(}B?f1#1yjf#izLSDj5xc};u#68?n@H0|*}2tSBu+T-sC z7l3bzlhcK&uXQ-W)|%!Rwm$5%?P4mMD$e*WCa;lJK8fKGpck+U%dlI{QK}v<(>PRs zM9iHt!BYdF3pj*bK9GI*y$^~# z2x(2soE10@b?p~T@Qgt?PV_MlHyIK)lOXY9hgCips9H{DHMY{1T)3n!s-$JI%^hgZV|7}V%^fyrcLLY# zZAIHhiWGv_;Dho)S6i9QaY`{&0?=>lRPTdJcXD*pU$Z(tl<5Wrugw+uBtnQ_SCJ zqj{Jc0la=P2$|UKSHe6^O}v?jx-9W|Aky#j>_xuPHH9~kZjUopx`V9$e;2$Rh+5?A z>SYQltfztQ4etrukE)J9cnC!5qpFM4-tvpI7CDn1F=^%X>ENlvPL{bAWLbzXUqlPC zJcqCbM6Pvi@6CSJf-JAYx5z*Xvg|>4Uu26jy|*c2wma*4oAf-*uRe?VgrYPJJ%OjP zaiH)QGspR{Hx+E%VwxbdB|-dQC!>$aOE`h9CH!U(SOALD#R9$lwV@~!aK07v0* zOhPI0%1Ht#m9|sO0@NR2u?NJq#-&d%R}Q3XJa&nB%C!?w|H0-5rKSZ?`f|gdlQW{P zsoJ{vO1^^@bhE8;xTR%QsPr6OcN62CKsiDBh$3dJc7<8&tZ4Hn+AN|oWY*F-)0fTZ z@C*+G;T5HO(#h|KZYsLQ@P>f5^E&i1`AK!yjqTuV0NTsWG-#O%z+GKXevINnVD5%|kMNx=cvP*H7Ta!ncb#FatVBq4Ah#eLwG?% zt;sfot-!m*nXBZ~ntTY~D+9GA-yj?jIqdB2PivCvoa=8g`&OnX_Cy{76P5lFWiUhB zP2mFaFva&AE^gjHTM3i0zv&Lk4iB zWOIn#K=nF^ALpzbz?m|D>_3F>1+jlSpA2B0g%&ja27UxYZFK$|UbyIU7DDS6--e_|14crBcXCll1k?Wk> zWvvyApMoz2?h3{s19t`E7tyYj^$uqt*6t@ncEGpET1yyzgs@L!uk+a;Q@Kacr7^X9 z@oElJc+uiB7@h(NTD15T#e|kBws;18P08r%GKr9QJ(Si`#UUT}>oWH|=p1;|q}JEh zWlCa^BdaNp$_SN2v>tIog!;f;iZ~P#{JM|Vd>Dw@?5ui#!@83y zGzI=Bu%h-lU!hF+66FFE0l-x+ZV25$UG<)YuLi-ZUeqz?mLZtyBDoFq)Fap+q`t$^480yCqC+KS9{E|W}xzE1utcIQCy2&dwMjCmYN5;2+m zE9mp&DF{g-`aF3aLMh;Wp8U~Z%`O|N*=w+8ybexCdtj(qs@H3jvm&@v^JD=d?-K4$~dDtP8@qy%cSJ|n3EATJ|m zQaI0q8u)?JZWuLCweoumz5~=szjUgV7vSdswQ~KiV6BXt!rlX_mB&%KwXztBR6wmP z{!p-17QoAZ>$S4YL#7}{wXy-~dagNVZ>Uf{E5k9j`l>| zT~S5qsB`flQ?AP56@?!RJ@5fTlqC>%h_wn~4E94o+&W0ys{{BZ@~2-))tv-aPd3p3x(zcaV<6nAdPT=GrsFI)zY==sFscjPyVA^8Nm9eDx3Js> z+~L;O2wwn(TWcQ<4%jckf0u!J5>bzF^nlxwD29*<7_gsyI5=PrTdOA#wm$6Sj&w&_ ztw(ZfwcEgx>sG98k)`@VJrTMBccc}vw=LO+M_PX3 z$I3w?t;Gln03)sFQNfYctMJV-&=$ReuvrUlW>z<-aft^{q3^@(;*&BD=DSL`|gCYh}t&AL?@IgN#n0*t0U zC0keLz!ylj$FUzlr_t2&@Mi&|sTz-%f^3bZw!&Wn?loX9!UrJoM`t)r?)d32{A(Gg z@jr#|i-;QkzYwkf#!ox2cE?W%(>R%cJANvKP(oyjbNLZ>{8Va8aQxI9brVHt{L}}b z7byHOe(ErWoviWG7_=h*h0M5%gjs0(G?eHefbmoJacqvpPmjVUO82A_kWS;L`S5vw@zeX`g5#%W;j01K z%g!ZfHGX;>%@$Y7_^Hx({55{si{=Bs_^JDNDwD=fN8pE~YvVjAoyJdR;HLoNr?7Z=ff|X=5k3J7pmt6$S)DY1 zItM=^12q!%6QmE^Mj{y@5xC2!cRrU*D>R^*MD$qT4yZyVk*-O2K=lIgtARV9`WE49z>fjdw|?#f zsdJJvlfE2?*GFRxhMU@uG{|*eAMil}jkWSI%>|6LnobOkwQ9j@0LEGaCI-h^E#S?7 z##&FKbjMm9QFH+ASnGa-zQ7%8eHYA_4Rn7VjkU%SI|?w?GLwR1t-0_gfyP?3C()W{ zthEBg)4&~TZ9sSlFxDE5fjidP1%FEh8f$%m@G)@5THhml2N-MZkhR8I=iz68JJt#r zxMM9di&w2=y~Bxql+5+Hm{fGhz#VIqM#vM{>oj}R{P$-FG}ckcRJ|qJTvnC@<645Yg9>N^p4zofr zp$unY=+L%8>2_#OqBsHQ(2k!H?9g6?Uk2AZw6Dlq z7tiF`oO=NCpF`&P@LUiwAMcc!8XRWTL9LHH745>3N=U6?*8kDqnq{lHZw@ShW*Vb-gJjstd>^$ia_G|XCr^nGBP*v$|drKVw)RSOKW z?x8n=c(?S_(uR!G(uRyQ%#u-Pm=&_oFe_xU%DgbnEo%o>Y8d#;Eo(vdRRT=LOtU}rvScSA7Fn!1S1FNiZ z0spzqkK9thh7sPE=k#@(iptji=119M(obI|NV;&q=0%RSWoLfO1&; zCBGbYh3^bh4%;KNU>AXu=Dn+;M|Ih=y{wSfACp!!_++&t=| zOx6T{D76~##|p|jlo~j}ty0|{@fEyreQ3V?6=MXpCt&J2s)>KMc|SlG%Q4$0u-m|- zxNzquqTC8149xJ!d>aKZGt9pe+{_}&W5b;<;lBXx0+<63`+zhWzwBmqlg94|ehq3| zgSaA%ltn~%IX{NmiG3MN{1hH0NUhA6Ve{jG2jw}OZSABqE$2=lsng|XWUoZLe)1A^`i(L0XFKJp{R=&AnI0us9z;`9I#Qhe#OuGDkLj` zje0A@7OA9cBhD%XCV zg@8>U3!*%5ihgh6UnTE{iMkB+mmI z_3IE*q*C-UaUS-gsV5t*%x}1lD+Iic$~=%-*=%^#P025(Z-)O=ri%RpvD=KFMsf<+ z*#CyOE)_H~C%Tz6m43qOywAXD6oV)NoRnWlW(1i(sWeZ+R6|@Dkml%#Zi+j_OrPks z%qjLDlYTqn!<}3{{OkHX@So$(d}$}K9wg{#%!YxqKVft@W9H8gPRdn&-yw~sQH;0- zvlyihKty;#xbr#0S`Zfx6PLB0q%z| zH6W^kBxyu!M$!cC&NoctYi`{fz03i(Oy-llu3K*T{afEHgD~g?{?{$8b<06wJ%pll z%M6s>0@f`nAQpiCxJ3&SbXm8U4X?SeL9gt3?f>DG3%ak^l*g49dF4DYo(0w`3JiHA zY#J&cuUEp7Zh0kzuw?1TD`g-`fh1{IuT+PtI?X&dIp~!V9k+7q4Z*B>xX$kbu>DbL z1Kc4ndmwg!lvywpP+YegAI*hP(TP|Jah%|zAZ`sz+$MfvRWu%DazdBq)Ws}yfLna( zE+Reo1;-Pio%0tzb_yn_7-kji6inOCIO}FQ{sUe!7&^QvK0(z8r==g~FN*V9;w*$} zD)^r$BdwnGo}$bmyu2SJpG){7A>usZ=hJn%D$c=fc{>4fCwg^(oq%~9;$cuAi()$3 zH(<)GT-NP8;TEsEhaAX77tlTr zSaq^ zLn)8+9eD?8b%1r`aEKwmI`S{yAg?34bD!3clhK+aGdXfDM6MVdncrCswG>!S{x$ZN zCqp*!WXR@_iF*T2Uc*C+$XKa;c=8_@>&e(JIYo)MHi5W;FmXlsu?2V-t2K1F&L-W@ zIJfk5Wlk>n8SUc$PfmKnO>H2TT!Oy<@|M?N6yeTpKZ<+y5``W{)SJAMfGCa=#odY` z9X<{CQCP3O70ShNMe(v*(H76Ds8s;gt9>DQ0_F!BO!MalN5elS1^I6(#AGoli0?qm z0n86RKh2*X3~9@AA?-tExK{kwGMK>% z3|+Km$>e#uTY4@|x3_&9?W4fHra`?3s~37rFA#nn_-^nhlzpaCD2XSYEZ8Ry@fPJ4 zP$;KOcS~9KrNO6wyzXn}XT^1jDJyUL?yG`YIbhw_8=^bFeK)83?t2dYSt-bUlOZOF zk^AOA%mTRY4&%Eoq%HS_v=5objnXsk7;-<~jd<|@aTMGT;Vj2~DTx2j>@)O<*RP6j zw!wc1!mpU{H{DW$doH1Bg+B`1b}-iBnJ*T-`{k|J}<{;`n;p#!y z^^xrlFmFRl2X-DjXv7#6BRda1m*>2l@Xa!K3+4vI6%eb2rNc9UR7~0oH?e%$rx8x( zOvfn=+z6Oj5H-YH{e(m3AesP{3$&TR!QTNp;}uj1w<>nVO9eJ<7OxSo z1-1jky?`sFe+MduiNsd^IF(3On6N1ea#9|E$VFP~2+{#o%4y+`LBu_)pBMRwjpf6{ zWk2h#vsPJO!S;qflFVeB{u)V4RGQ<>Yct*KlIkdY;j4!`-%9;Mw@4GzJypC^xW{I? zsdZH0`ZYzQ`YS;bH$(-VM!wASsOXG`JwV zNW356y#U`<5^_mg-&-cazarT-(@-*fTX`3L9^l)`kX$$LZDl?DC%{hp?1k6^__neX zBl~UTH2f(kXvXIz#0@c;@hO-~)dKjoat&?!ZKWc77O>w|8bH(&v&z(b$1T%M3#S3r2ma4wBOoMnG*ehCZzzW|%o|B1H>SFejRO$Z^rA2_!|M5F+ z)e7g3Y1y4FYJ91#a}!_w84a}zdvm!xz*~?wm+w+)2~NYG0<;9x=lU%{_&b;bwFCnZ z+LoXQf(&3=g4-Y}0NWA_^HcnvmY^x2cK}*~uNALaf^P6#04>4vd45AM7=9qI4Z%o= zrvME>0~BmSFa`cKDX1aHg_sR&L$C&76`&y)FKsmhU&4O@Y(o%KunoZhr2C|O%IsF+ zY6#B4|0!)X1ph+Z6m!KS%y%pG%d=F+NtsMt)D(Zlousas24lNHb0NykWh@Hf7Qw`= z@~O^9p2R!l)7&l*J(*NR%TZx!Y-Hv(+U)C}S-K+W{-yME2|DEv?< zsAd`iF=>CYejf7U>mikARYr;DQO4s1Gj;$}SZD^{v6-@#%IpuT+LeZRh33%?prUw;0+UtjKq|5mcg z<^nQXU;YmNEBN2~@@N0HUFV!``>2~xpIHrCUxvNQR}u_teHqmAtX`8fO0^dopZDxUFsxKdf9}1{1zhB_jmlNQ}16yC_Ld*u#m+1@r`f?5YDk-SG+y?Qb z7}b}@AdUd)%YJCv`tmCLWhrQGJl}hc69uR*a~Ha0da1r_GS<4ApV*W<^<{n3YD!i0 zWgm!Mz+Se;@VDol zqLB;Y{)UN*_{tyLB;*7V33u*Syg$2zlTQ(qUdfecuK;#%6V!{adZEG1R>HS{JYA1! z{KZuuPB%ma_(1&6DSp)&-($BQ&WCI5nM>36sE_R}O;g`nyS_`3t(mW8<&q7_JzT3nqNL~%{{ zNli1$7r7}9%HTo59|#(ZfOt{{6P2Sn1iuV74n)XqE<`RUbuUb=RN6wUK(b6K-C#CB zYyffnVd5U)hm}i}7W0iu(~Nrw*#mG$@5Ou`(8S?M_!GdNB8ypQjMO!+b`|mEfco~J zddxze7x2{!J!#wz-GT{Eky0_l86f6GQ~EXBaaOVd2G2ncFHZi>WuHP zZdh~z)?-gYJPwj}S&!)+0uF;Z_k7?Xd(J@uQ;J7ghyRcH3`~v8rD6TIYT+Qt7$WPy z0}#7`b)eOe1Fs;tBo#R@`UBhpZaFYfz1?8qk0iAz;{yOLNjBDo8C=69g6rNtIh}}7;B8uFYd7DEVLHQtvYX=k8l^@%ee?9bg zf|Q?%llrHd+2$;_s`u${EUyEK&;F$pANA=I77-f=zMl(C{4y$Y%+|_GuXzcAivi5; zSmp-i9;(4--!ijPH=9GbC`;y3&%4=n>ZT=XcLF>2@C?LLKuf!p`Ew6%!5b-P?qLzc zLNS_qSO>8NXld6nf9@fqt+|JgHcPvfyA><<$0H3$e869L?g1F_B;v7Lr2j#47k-L%iU5fJ|M`u0vN+`Ov@?3-$@LVO-GJ*A6XNdLy&pp4w{~M&o;fG5> zo*M@-R*XD14dQiR=L~1OaBI#mWFq&4Ob(f=E8L1T)bGyq3#uEU;)AzV*~|PI$J#b! zA(6kU)W(}GAMvDP&C4I*%qm`?>j>d#qjI7Ib`sq%yy|gy;C2ZF# z>_eJyscTGF6ebp9*U&d@770_Q*;%!HyLt zqW6jn)gzk;@wOQC$QD5?1oX(}t@L|jpTlpGf_h|oAa;ovV~(wK2erbFH2hOBLJ3+|?51u0Z4%Gwox(>;8qT0(?2iwwY~` zmE0cT+yUPRuvqHm$1IDw&MZb3_)Y-nbyH;((yx&|ie#vjMrNBntFV8GI42+(55nh| zX=ohp0+S55A}5Anix z_9se(#dM97%ITRAPDgaw%bLY>|EzIKxu;i`T;>X zO1Ix$?##+J$4d(J zjn3Q)+7$R|I-}1Von1E;#W7OWp?I%DOaXyNFDlZxZj`Ho{N6*HD?LTJ4dM$iiu5?d zVUVCRu%gnid7m%PI$Y-l(o0g)aeg5i9j;?-`V$mY=B0oy{PX<$^Bx`x2<^#y8AQp! zeDD5EL^|xK$O^h)z#eu~5h4pD%fDGlJkBlJ7}dbBdhG1*ukKXGoz+9Fj_jgfT0yh` zETtkl-}?_H*huMgzgs8!bw#hUbUBX?(-=R;LFKgL@!u%H{~Xd+z*mdL&b+}NuEI5aTxC{ev&H~_WRDDK1z&E4D(2+cMg)?D0KyH8<^)I zo)Oa&CKqBRNcezrysY8vZfSQb%od~@rS?5cFoGnhL>xi#8$ky_#2uu;KN`)aAe(PH-KFS|A~f9iF9YwXjA+FHfENM4j!8b9WogU6EsQCL1q2WDxBp74hh_tN^GA3rm=bF zA@+j;4b9aJ?4GBSx7aQ}W20LnN@ox`Y?I$$BirP^PGyAJHPb^uI?2l^@QfJ^lcV#t zVpj1Q0DIn6Iz*ZnowrpUqAYL>~yzVA-2fQ)@UE-27+h#{ebv8>8VD$4sltGYP6)R)hvPr zQCSl)WIjIJl|aN{ARaMviiV=}2(Sm9jD~nlj1D}R0`VHir-O?AYacqQC}giAP^^89BG4Hqp$K$T(SIWd z9aa=dGnNV|7@Iv6#9hsc0@HzVHK|Y-Xa?MYxRM0=Q-8%NSTs*b<5}Iv<|JI*A*Z5 z@7Bp3j}rS(;OXQJdss(Ml239a0ridle?6rcAB8=@?&*IT;uNrZ`k#|(a8LgmNUupvd-{iLw5NZ_W*mPFA{)D}ozCzG*=SGy z{cGrSE1}?_9!1?bG@$)$zxD!sQ-{-ibQ9+I(jM{jWl47 zo+=MfR*a6GY6MYBjE_JqM zAYK)tgQ(^~%o3x6s5U};2J9JB-$CpE_6#chp@ptqf&ZL{934V+j^HyOxfqpNSYbTO z4t95O*RGDE`j?QKz#d1He;p43*yE^*LlhOGG;hK-LA;=hWT8_ z(;-!!4yOv#+HV?nJDYCkK)FWPHc(_bn5r#A8!@V<`#|&p`Hq_g+gVqxgQ-H=s+B|9 zs+2?8r_Cs|3+ueNVOS4QbgF`%hsaTM{mn8Ia#Z0?g`X@19YggF#2hiIc$Y&g1^L(d zw-h>t%APVa!j~rc4z=6s>6DpG*lbWFI&EeT#4cb@o%xSR4n?1BI(4kbaa4}VMyJn& zBG4%`p$Jr-pY_v>_0!Y|Bi{c#pN7!n+B5^ndZ1;Zqe`fIuXf=aNt^*u3(BEmwtnrl z|DWxrise*`a@v*;#D1e{;D2{!O_r{@lL?CXgck<5GhtdlR0k0YV75Xm25Bo{!lvvR znKr-!G+md==vgCjL~G-?Yau7pR!ZM+ zB(wH}8-Pl0V0V+72r(WcNhLyC%B_Q22_m$!+|Lk)#As)^{GZ_>kX(#UUV|0oIImKV z1TuenDfn`ewbNY4Ks(KiLU|;J?qGKAbW`n4 zbML^<0>Pc;uI%K`IFFek-*T#SXn(m)D69o`f4NH#e}bf^i;-#VFIRE{GmOCQFZUKw z?Jrj`k@_RFznql@_m{gD-KN0qFBjb*hZrjO#nzFcztLPef9Q|aSYUUW+X3;p%=((0 z-}*bvRrU=F2J9W}G&hly?Xrk}QNAf_yM@n2oCLJfTJP7_C#?%%`aIA?BSlV&8#t(5qB znQ?pkylh6c5s;U)d;Gk72ftggZ1cNh%F7A(p8$DD{|;N_C%TJEjbkdgLbT zfK7cAQk!}jk`ybosV`Fu@^!AE`}!6q0AG)TVw=F(~!P$X*4c9>32|eF^*rl4Y9)lIh;Rf&U7S z`Xl@N)PI9N2}nJ6pP%}5_^ZICz8h(Gc|Kt?mOxkHr5aJricrP8ke7rC*Q8O3PavyErTT9l+jFGGcvfl7LLHK;LYCqNE zitH$7IQ%ex^a=Buq%R;Hi)4(IM!sh<4q!i%bfzPD1BBmg+8n?S?a^ES|DI%*&2y54 zb9d|D*MRu>X2}8ky@GoE8~E)&SLC>C#%er2mQN-crSR&R)&vWk4d{QEr~dWh(UBNztw z^X=+CAbT6xSokr3FA@*_fPd@JVoryD10cO_-jXy9=>jD01*DhF*GLoUW4{i`8o-}# z-;nHZWxNT$U9vXjwu8tbXkm}Q{|NZ=?QRF%k_GdZ#gXu5K;TO3WhNhV(>to1ds~o! z=t;XGLie2PL=-3U30{<|`lle_Nz%#Qa!aRRK&Lhn!g>$N5?%%*{$Tzk?nIUD+VC}j z6JNrVJH)pMRSYc=GzYvK9g)>l#n2tTs}yx59^qy;`W3P3R3#_82ThCN{I3ZahTg*< z^@>@3$W5tv0*Ac@{|bnGpZgD*vUxM6G1-xE6^mfIlAtB%d?3Av=I=x70QNQo@@x2Q zz=`Z?GJj+#+c1Pj5gY>UgD{sME`UO#V7B=gD`4|V5p#Z z1b=;)HwxX@$>xtA`HSpXWFr&R(twhXe3(Tst%;%zd=20>f@ueFub7%Jy&-yn@MldA zwCm2HC-gY{Feyxhc@^SiF%w{BK)eMa7Q=i9u?WPig^BE8)*fb!&L{@DpCVib+{a;d zLVN?_tC;JDsjg}iigJE}KL$uP-Q0GBOlq_Jt4J;aSDWqU-|9FCz}05^#UYA<@UP4h zXxG(d`!(RJNp34%6pSe3H~0zeh@jp{6Q4u-$wBi{BOXW2y+wShM2K1abJ=vz`~|F$8b+cig7Xc zB7or&XZ=7_5fcT|7@{FyVbcp}7k+^0jQil*N}&tP0}%bhv^5)#xkc!m9Y!xAazFXLiT{dH4XkfUKok=r-&BF91n|uhKl#3C4Bt=+ z^3DAa?Zn78eIa@Se6s;<>zl{mAC-c9GY(>`n6~EcpR8}vfA)Rz9^&}`-?aGI_swef zkAW_H^X$*QZ@xmd72untKl{G<0seq=@y!W@);FgR{06LVZa`cUBj0H2-+Vy6seZ!u zO$LHO0N?aG;rr$`_zJ-KrXfUqG4jnl5Ul{dSxyYL-1LO+E(Q7KQHY^pSdZ&iN50ip?^CH9xV&t1QAf|$F{W<+RensLs@0cma z+=A9q^9X%M>hjboh?Qd6nqj|MPfh&Q_taj*djOtV|EpUvS#Q|S@W+9@5>J}*zq;wE z_tuGW{z7;TL^aO}1lBVpesc?TXtIu}abLtPB{V%nl8fFyiIbc>fO_F)BbSB{XdZ_otM z&GV>*SvA`U=zutd@MP)45PdMJ@PLjw0cnWK5w1Ucj&VM`rNf$$EOYL6R+GmgtwV4v z5Z}raJmr?G)plO^&nK!)escWnsFI8J5)0pkOZ5qBD{5PS{Vcs7 zVlRljZXWrAbK&(#>o@q5QqZTZs}Prg+Ru4^u+~i9;_Wy1m>on6aKyjn;2&<;$T&(z zd@~by+ASH~ULX6M$ZMv`Y2I3W`b$SQP5O}oO@D+@`}maTgby@RPO~KR337HDp%rY5 ziDf^Ic8-NgMavSDimbGjmAHjYgxrNvJ>a&4c?RM!5PNY^v~$6?VW^5tbce)hm1N}d zn3kinNJcR*|3F*?$-Cx7JEKZCu}-PYZqc_YqWhC+@F%;TX0MNSULy|VmE5~w>hGiz z4%`MXogvx-23$FR^0G={82k{cV3z*rb}64o=1Sbg4Ri7Km$3J6L)j@p$ZKd$1gVEj z_8EGMr^x;L@b7}emEIV?)18xq? zuModTg8}SBp30^Yjx+KN*GZddU*KIMW2&27XLvnZ=ox&=4ob3Y43i%w0kD=j|5YMyXVH8b*mpdr#-7rsh2HT=guf~sPW(ORrY7p0&V`>1c&E*i=iD;(Enb0O z8Q?8maL#{=x4>@({#zVOf}w$u@ZaM7DD1UL_A#t5j+^g=9n|*>FvMD`)1%@2jLA(>R%LMeaHV8{v*JOwY&e~&DHb&68;O| zg!eShpjbfP^?yKcKtij#B&hobqTeNs{L1`{u!!o5n+R?ITW=KDgM)z+x!+`7aLcw+ zrBn_~%uw`M2viCw05AZtUS|I7t;%b9C;Okt(WA5FG$LKQr@!n^7=S zQ4K=+ph76q+b_^UjWK^-aO>508_!m#gxp?{rFa5~MLX3c@@0ff!D1qC--lTNu>{0! zH$5&=ImD2$-SFQ^;VSMu3GtJdKVaPNSR@A%{g;_@(M|1KiG^APktG4Q1WW~pOfhLN zO(52k|oXFeFod^>e zAbbmf0rBn3lb7gDb)6OMEP`JM!Z(?BFS(^`%d#H+6X2Vf7eQD@thB33J>n)v?V4`K07bP2E0Yc+XbDy0>%$&y`cAJgUv6UcAk1G`AB z3DWw&uAiF(F-DA5)@_FP3?$VjHoJz7tw*1>i|Fj?wtFSMkdj@SG_<{6$6^E9RJPI)ssPSxd)h$&*>)veaqme!*HN`#!;x!On-AqKQu~xd-^&q(j zXG=@#L6$=-1yL*g^!){H;ZMFaGE%Dro>gY(Gu~m&UUduS{Acyp+rCw7K+8${slX(8 zOUrFG676S7Cktjb#J9k)Yvp>$u~!oF)j?J7|1m<2NLA}=&O`hOlI516@+B*2_7W>g z-5T*p&@QLRr^;copL)2Tx~d0THRRjR9RXW4WI&_>nu`ABt81*!FKy0TbE~*ZOtI?} zXRY?RoA4&mp^~`&x?3tqMXED`j@FQ}xWSA^IpLd+_+p7{AYeK8C+H^3{(x2t{%PP% zGk;unv$9^G+Su)9ub`j3;`s~Jug4uvCTtSAuY!F0O`{upS(F!Y;b#Nug`h$KmHS{! zQGQHXJ-DB$D!6(O=1-#HaS@7s8GL+dL&4;1LOGo__JO;X1MjHBTV}HBUi}}tu+W%NoaL@-1K#~Bl=2W8m*}aZKL%gf`h>N;~c~ptFhngMZ-2)k>3+L zu#YPRA{p35t6XK9hQpy9asp4{)dv2PD2Gm_jPxXGLfj72Xtnw$Z==;5>D>yUJdXUw zHd-_P@f)pre(bLEwH`}>q8FPGxf-p>8qxCHOlTuKlwFF|W7&Tg_AWi_=Xmt$T?XTn~*l495WEu_FMyokQ zeL$o2>A!egjn-)R=YSfm^9XIDH5I{R5Z`WErWa_l=EKef;hUzl_X17UD%h34Z?dLM z@B%H?SID+X9&E8&v+~yVVVN!n~4P6YQ)MTEDIF%K(mFY1H&Ck=y@1hLTeFTLplh{dS2Na z726gFnn@U~Md1(mo{exymPS;* zBHz;2XQ2Vh7Fp94YOCx@=~2}K;TeJdY-?&;QtvPlU|;JLh(rneW~qPa9NR9vC)cP( zu0vogX{%jo32`?_R@3v8oWYCzqEuDI_9djZRP|y%3NaKo32MW}OEx5MKSAgt zAX&3AUlOXhm_h{SnTsJf2L$F~ASMCskzCL6N3lsZ1&ohD zn&@$u^e8XhE&$#_@Mh`j4);Rr0f9SQ;HQzNt3UMT&&dvJi7h-*hum^~!|+eTy_B^1y`tc&t8ax}2H7rqs+ZNyNB zhs0=LGZA6}i2mzc)=q_zh$uq|;jl&M|f+bvjXWdU<=A7hz)>7 z;uP`TnzY-4aF+t=n_@9}8;PG09tT`B5*=dlG!kQAY$I`z@V|f)xx}oNP|a54aqbH^ zv>c~{nuQRgN*LY8l#Hb&4UK;)BGvXawxwtf(N>IFiXjk#K~e?};s4Q6RFU{X%FR|3 z9<>xNqx+JKHU60kF1{#i73cMTozE#y=TxUY_w!*iWbkiaiM;KVbaR9j)Zh_@^Yo;?k;bro?## zbN(M~h~FOEq5Hp*IIuO@P~FxDs|LXS8Gs$0w9~Cpwbw(%{v}SH(a9YDj>5^RuF&YD z4NPt_iOhth(`lz_m~8~c7FqYs??{Mx(QyEU0yxhpKhVnuvhU6H|}1d@6X)e zd+5#wtgxPx;1#NUmL!9+0uA|s9yAU;!lG_cvo=_3W@!zUt7N^+9KqT)1wk27t{fR~w2m-**h1hWAno2~`Cz!dWe_+?UbVosV@(X6uaGuD42 z*$kro@}F`&+uQ5lR;A0AFKl+M40JIseN547UiwE24g%(-laoBnOW&E~2ZfzLEHGtF z&_mP6;>4?Lu_k2R7O- zAT|J^#b~{6#5UJuFv`h16TE?w=$rsHrOOae7x|%sU_K->h1DB~`-MgX*v>$0h-!e& z!0}`+V}LpXec^jbK?BCI5YLHGXW(6kcYy5-><(ojK9dS1*cteO@J+yW27ZM&E=HY! z=#vxxkUHJ;Dd?pXUQAl$;mZKq__u^;0%-iF6!aVaLGTX(HU3)>+Q$DG1S0{B|Mh}? z<3ABzyXnyQS4i<2|2gopK(O)enc|gftXaq92$w1#*!ag@{A5VD?GQ97n&+9fPSLvNOhojD>Y9CVk?a8K$IZ7m~`kX+z1M*A;^}H zzCw0d-oC=!Nbdx;uP_*5fEe`^#zBk*Nq6Fp|3_b;lf)NN!aL(7^%WMPJ5R>yD;$E@ zCq{jRe;}>`+gFfTbj9FYY02Mcd4cUKgpAah2aOn2o=>Bvs!?TQG#duB?}fNWjI?_~ zbO+J;Ti=_Z!Z}2V1^?>z5yBsmfkv6nLOd--qs&(zCV;3Izp?$_9>ORb$BsW=nTdsH z$J9M}8|61;t?tP}i1z`Po$DMe$6QIwkz>?}SVPz(4dM%6I}?+YJvtLDQT=ac zBBh#*(TNEB7wSx8IL9$Rs`%8K_zU6;pib;>8m4=hHPxwz`JISC;17dO`%#7aQ8BJO zs1)<|G|XG+USa!}z{RjD0vIxGPWP(OskoHxcPbhp*6vMoDk^07or<>bZ2+B$E*V~y ztz$E852VCa6x?C)Va=|0!569w`=Z$!*eYr`#4r%3V}nMVuxpK4ROyP5>e#X9jFFM* z*j$LWtCjNdmNpkGE%fRA+E?M zCE*jMr%_$|5Z_M|Vf2ZB3VldnFTIEoD|QM80h?H5h>E~riNw6Zv^%q~XpEpCi0NSV zOQzKU?cnbLd_2!r#0z~quTjJcemsx8W_lL!C$9#f`5;j3G9L9?V~}T&jsUiHnGP`( zP`m6PqFZB-B?uQQfQ17^^Nv9_AY2a=^*~d*Xs8MqXdZw`)OYz^gzuD2_et~4!=7?lU{ZsgL zfYcL8_^I!N{|1oy9VNVyMU?t6_#;56vsK9}ei=+R=Zbj+lU-%yFM`im6`PfJ6`dRr zewud)kd^OC_*qGXFDO~Ii7x49r96CDKvrs(^s`bIzBV8$50&&C(Hg!bu#T9C)HcO!11puI4iAv%KSW()YUKL1&8AWvCJ;wi7W`z+!? zgg+>Qp)k)tj1)5fW)j59AX?vRgVy0rMOmlu_wwq=%qM)V4CXD1zTH_3^%1aNFi(Wi zYl?-wV9x4Cy{0bz4s^Z-tQa!g%Xk^LUh*SI?M7GnR zoq$`j(FtdG`v4c+DL2#aP8CH|SYoS zfSU|INwRIGDKgvTngc%z=+o2FbF)T)!qk-*uB%c5~c-sl_4T#pj zHnE0u32{cKoCJrpM+rY90}b77KwJ}}p(Zcs>nzCY((v=d2&_v>Kok=rmsWwO z1Y%p7M{n~o>d1X}!8ekEyw?k&hnQTLArKD(C;v%5Xa3@GD#|Ul`A!{;!gBzpUcAjK zNmZ3v(d$!F1G$f?=+=nLSwr@U*U36VkHhwo=3_7y*dE48h!ucdlKHSA^_#jxTM=xL zhWai)LHuYn6z$i3w0!-t(KhV-uph1a7wc4Hq+U`1m_!ihd=QnHAc%qDyQfYKb z0-I7Jh^RW&>N(T8l9!(F3Q_e&&=c^<{IN`7K{4K5Fbi{8cXe$ghQI)+?HDu%K26Fkce`_poFDH+6{_YV!m+xUaA28DI zS=p;zVm9**Rnh4_nNHk1y9jRb(`idAkvlRm!z{1trFYV5v_G)=9oW@qk=f*n%X1#Y zIJ6q=CgC@vqZOw?ov?sTaK&lj1s*cc>a>zoyuj+Tk_d_`pq075idV9o)|gg@uL>9o zYmI3zx+v#qCF!qDYl^~MR*4?zI$qrX1^JnL+i9OwH7MoBH045 z+nEFy;p@{4Qf@g>BLvMoYaRTKkpB|53hYcmb%;uUrmuNb>X%N$aUXnJpr&sW zLfiE9LC_1(^ewOI&m;_k9|CClj#c%Wz8v^bAlUS!RP&p@NeEw6K%S=Wo@!p%7Haxt z5ikP;)&q|UIeIsa)AYi?;S9k-i>MZ(`2n!q`cEL%0$Th}N$Xa(emlai6j0xsBcM@e zX5a^e2Y`~(?lvZr+;JsW!fVLsuz`JUenah~RB4jiRu4AGvD?h3>I}2hFS$bKC27R! zn{+TLHiIi~qe}RkM}F(ObivDb3)mS1?It%yjAjsyKzt99Wa!TzEEsufwN+t>FQklq zoSbO}A>xYD!MP!8O(Ar=LWcv`DTEgwMgcp8AiL0a>GzQ4N=;uILN=Nc2-+}%@X+o4 z48j*^eje1`3$aIxw10*;4(trVqLBNlDXriP!e4}+lYwRs+^f{4Vl;!0A0`1rwP~wo z-~_)@hd((vu&U}grykP4re6124X0q>zgwTGixWXnV8=<>5S0N}5taP}84Yn1|gvfa!(%YI;@N zZDveOFR=XTbHtkzEf;Ocs+xXVvIp5NK)Y}XUAz411pH5cX@`tjURL34REzELK!Fj| zkvn0o5_l0LHZr|xdFhRY(NHB`2RKc1G{|mu6z*P7> zwf(8^@ax>#N*L=zDG6)k7I z`vSLA$(f^D$_z_!HE8NfcuyJZGv(`e<=u&)e{Q__Xs!jCwy04z@3h5Eq}ze5-+qHQ0jS@eshhWcb8a}!KMJUC zmJ)DlL{or(M4+e#nv+EBk0b_~0rlZcSSZMf!+Ba8EDuZ#~?j(fV_Uo&}7TtJSAyYP>ud zev)L_rmtk0IG78c3m7j?t&gpyEmp#>0F0NvsPB)~x594$NPjSwk=oJv_el0zsZG5? z13&ds$bJK)-o1gJ`rq)^CCfIiN~Y8k{$@M~Nc~gUD)kcZ#Q>?FZQ!R~4L%##)Jrt< zQ*VOgPAj#k-`~(ry(6;rfYiq|^iv-QKR~icz*HlsB8d1IrYA&O z5O*3T?h-$V8|Vr5_20vAXP@ee`-%)4O?{z0@?w-f0MRe$z4X;MvjjD^q)yB4ssp?p zg-?Lr5suk!%H6?j{EYp#h<5<$#jbaFrFu#I82pi2>M8$_jbDgx?-)A5|H6b#SuirO z7S=EM3A)Y=`n&ao|&Z}RfqQ@ZU?9icVT7!_@pmNA6-)X)Ae+dLT&CjB2=Zok$Iguc5 zr+MYwUfJ5}G^Z1g1_ELmB|zU$TbgH_0@I^aT84l5I0Z zT98}a&sg{|KocPCTKIEFuOpZuq2`cYKw4OHNOO_o0z2XH5yW!9F8CW;c&X*J6k-ef zMk#2{=orKiF`D2w3-Kplg5#eS{sf1^hO2)|K@%KBU^0N6;J6K<0&wzwAUI#}m8|J%nKJvShwuk)lC)y7NjqN27FgY6(yi%^bq3aEI_XjKzyKI@~vu;~EquIHwUpB)c5Ch8QOKt7s+XrpE zVL2~S>#roz;^QJ-e4UDDIDGP_{CtZr@~{_m?-cA7BB+3ICP)~}OwCUU9m3wD6JeSm zy$iUbVTM2q7V{KL$R>lyo=dWM!A*7>z>Gy@OoZFkakJsxgqtp-(lGBsybJR6oyjCi zwSePjeC=h|;fy7~kAQv8U_$mo&F}5JGWQiC?T9RrJLn~P_rQ3K^;4angtL5;QkZvN zSfUqCdY;Qq@mfS9anzPruLHE(f}hXH#%hq-*z~&3OX+go8{7u`S;`O<5nc zx*&C69vv^BvoXQlx4KGuFWRkElvjQjcDKDrC$kt#Z)`e)h%A`75Mx1Hb(pyN{LmvD z)Pb5vJ;FPqslNa{!kHa#qXQyYvp=wX z(x6(TRkO#WD8>yd%rZlFgou+@`ve+X(wo$|X!hC$F3vV=8rGfm4aM zIU^47Zwg9-iDOsEXu#1MeL8tXDh+1QU3vJjz#hF(7oxTp9lg;4q8YG9Z#-Q6*3law z6CJ$~GC5?v@5Gu*&xCdM+kvhacLo&Wnw|Z2U=aL+fDY41Gq5wgE_G)|AbAo*o%A0> zJu|1Xmri$fEh@GIi)1@nQA_gxqvQ4(Jp=$V-@^L$r_q=lBtXF75rAo zwwV`^*)GOG`0s%#^>tnRO8qo~Qxd9DKaJE@>i;158`#$>F@_ox*w<=YjX=q9o#QIo z!PlxZ;l+V{tr|fz5TnyV^>9 zU01(SpM!W7pi)28)hk&*pQ)C^F9lqT8j5uDM-87N+61Cbwh!dGp6S%hD^^~$Sgp>% z8#%96;0<@}Op=q24`cBI;5*i=Zp?V8;k*HVMKZ1G44Q^H#c#t0tnZvK16%n$E!O3P zbo92FKe4rbuK-^T$nUA$eZSX3P)9=fy*X0r_j{1E0@m+6A-V(W_t*UFdd^)+GwAo> zgb$H{s-JJeoyV;`~3{! z(*VEU-NQDf1ABP&-NxqK9^S*PUzioxGkk4o?+ zVx1Srt6SRR6k^0f(Rc{NwlcZBc(7ftdEZN<2TQ5evUCilTOljtrBE7xzsuO32 zIg1Hi0PHz3ku?KFF3ed-)Y<^`*mTUvEzu?aS z_UhW%n^IH@UxX)6uLH7heR>~+(Fju!6tqH)k*U@P^Rk$iM^YAWjLZNu6F%g~pt|t2 zB|Bhbo$w2XY_^7P2{=Y(YajaaT{&*KCwzCHi>>mm5oh8T^TM2$kqwbNx~Zw$*Gp~H z9buP5dPcy#ABJ7tos%$JDeHK^-*Dqi=JD7!*r&a0WW?7HU!wI1h}#PjcbFee?s~1S zmtJQTwRm&^90BZUbsc;kMmfib$~H-JsJqh%PXpd`7%G8{=6GMq&<@PA5SItEi3R)d zB~t43;OpE{PmDFK`tdQdBtB`4xFv84nc@As+uX`#c0Vukk$S{54Dk@)#CM0A>F0$0 zL?}jH$dFKFmcfo2r{4D z-_QI$LcRlJzF&Vo^C#ec0>OJ-Xx^5(Ty+8Q`GEQk)N^#NUJ^L~zIvigbGj1Bdor0S zcu!(~^5xz`ND7(-fZGJ7Iz$y<4|59Ic#drBVNM4*ytW@>FCUeg02$=I6AZMKre9Aa2k9Hut#T>hbRlee=+kgvPTWqg|96I9i7<oU0)1q5B2I z=fGa2is0pu+;v(}2>bSwhd4m^J`h(GCax|&ygf?>`ESqfg!~G4dyWtC-<})r*TAi} zr_f;k?TJsJeg~+x8tlJ4#o>#B;M=2<)^b9RVTvBZ{RNYjk!4jLwa}~rs62QXARYwK zS1H9o8_$tV>|Pw6KyCXz;d5jV0do}M07#NbMByAnDXFx~Afi0Xoe=fK)PNZP(G$eo z2@`iOKgknbX0vBZ^F@YLIsE~V&OtB{oe9954l@tp9gr~V`7mb}s&>2ljW8c0{YYvb z!31n_;68v08EJoU8QJ~v7s7;$X2Jv$@?MAGO6g9XPNIJMhh(`2%ogI`45Ay7mB}F| zURIP*VOj1F#QO-}t$g%(Ifp}!q5crpo}dD0JRab-g2{%c2$EzS_Y9JRyU1%~CGLqG z@x8}j+yVTwMX9x{y1)#FcvwtZm?;nwL6VFjMk84c_aP`W5$3JnBl9!rL`*`ugWxYf zvO9v7R;jTae&@wRSrx%qLjC|=85lQ>pV&gwJitwWsQ{4)^4)lp_QQ`iDp0_+4Llr-*AqNiXw zLbO+++e!5Qm}qMo{2G^YSBJk&>U|?2yJfm|zM{K9!J9 zYMCj`+~gb;5KjdoSRewqOn!Mnm{S(V<%gQX2-1Ynft&$XdvxuXJ=3zGjM4ZmUB+tbyb(94Te5yzm z+%*Vxp!PLz7r_LhihjoA4)Ib8PkAiNIZWUoDa?ZT6XFlxy<~O|VNq6jj9Ms4PIcO; zyLuLZ_mqBy>!-JV?&l|=G(MH4R=#+{VZ2B5Gf+R>^m89S#cz8gpv4LoZy>bSO+Ov= za}PfW*9Qf{lMU~~&lN4l+L=TD+t~}`*=tL78jNTrD`+z+dJ*eh6a^9(70bM&K zreo24-TbuCa3SR@=BZ&`7Y?`FJ(m47L z41Nckk#Y7(FQu!-(Kq350DDG8(3BxJruK{sjjI#cuR0#sGctlY;m!}z;f##2ieF>x zlIRqd-gwjVDKDdzM$FaWt4h}DISRa=HQt!Y*m6e3xmDO|6x|e^yMRW~OP^v4D`6)D z9VFCSaU7`~z7In3AYk}jU<6YTFPZ8iyh`pG(`STND04l&c#Y6kK*Tnf#SrsB+#Z;? zL;TP=oIS$t93CR%2S9Ic_XxjpcpCl`xYap~9_e=uZz8@CP_H-A?;Iu+C34`a+hJj= z&_f7Pfrr8a=^Ypr7RRC}po{bic`AfMYJ9@5@Dz;BMTxiwQ3r*pAnqniTqI+|7#)Y* z){osYKaQkg)A+Xc|JT=ffJaqrfBTdR}Fb>+u|PUr<<&+@WqgM#3KMsP{$PK17@XJ-JZbK16&YRFAS0Fuqrehceo8<2*Fq z0ruRup2Rv}&y7JFLlc|O+;|N6Au*7-@g|Auz&=FmR!2n-a}N;{d9QlByjxu+$g(6# z3n7Pybx70#bcF|oxf5g?=vJa26XZiA9u(rJ${%J=kYD1}K13V^dn9lV5tjwyr!|mT z^$x6(TFD_|K1#0x`w%gx#)W68h{Oh9l9r6YjD#hJrt7&%=08Tv=S;o`T$nXBY*@iz3|fWyU`!`;Kh z*pe*5fN81x2qWupnUJ%fGr&I&7rzZP;k{DXXR-&Zr=W7USQFi9AUuyuf@+2)YF1-C zN|!^$F39f#96l~5AN%leAoKv?@l3z)C$UWkIea`$;wa$o@h!CN!^dBsFNuO2K57{(q(ZDw2S*yEYJJ9` zVqUHjU|wBL6$1BgtzHf%%b=PG?8C`>NHhcXC-Ri4nrGxRzfJe*3bTu7U4`gP;wjO} zN~fI$;jMT{685+(PhuFdmw^9n2!B1klsVd7Yl%y$@)KvYDyoW=G`7F8=xA z_F%n;{5-G+>t7^p0DG_o^$lA;G+3iDnX-XBSWA*f1NLC88wzsWT=mx|qqx1VsfxI= z=*zHeN}{n4GHg4MxDPOFb4R+@qWyRpd0Aq%FZ;a7|9n?ipmwiMQ>E6-F1pfc<1FMUw&h4D{2Wa3ArLsLMWLIP9U0ddYFF`fJdy7EvFex{P!85%XZr z5mC{7ME*D60TY{Iks}=6Y=&t~YFR>2@su| zch!uS-O3$=+z+I3HDKD6y8z=HpmM!mc1wE``cF_;xp|^4mGfsa=>gRD2i4P|Q$bLD zgz}AdD^~?}B@q>^T&wY1@;j%VA8+K8m-nDIL7@={`_=8B-#KrMh%n9h!D)f3LK}nn zUC`|$`nUdDKXyS-Kc|fqQcL(YZl(vfR~;u9 z@g@FwJ4a+Fd)(y(-A%{U)R4QBx=xlJ&E(;h)D&NpZ)|s){_QRhau+#Y{W5{Bxt!9i z!_`{gIi<2DvU|Ezjz438-X>Yd)v!(zxf&*MIsxYx2rk=>NFF{mj#?H+XZw&M(;2EI$zCs*FQTKf4*8#iGrfRNm zJHmYr&O)2({YC8&`ya?>Eu1yL6R)hv%qUrCZiC(;yp^hk@HWsk$DogZsC}yEWUjBA z&I!{lL;noq!}XP!lNoXHKR_jNn5BfzUlHxVL3{bnpKoA(1nmF(8D3h~9tC_7Hga1* zTWUUF7c=H&h(H<67q*;6DW6Kg|~lSA$nsxW-oGA5D=|1@^*q+6}%}dkA;- z!j(zMn;~xk=rVH7irIJCt8~Iyn0JPKKVbI#@>L`20a5P-{bZqf%w_&TL=ho1>yUY=P#q`Ne~IOHVvf+pC_@` z4(j?BBKhahrDWP`8-$Az+9j)7=J zq6LtT9g~u7#=Jd4Vp6)&Me?;{@(^kdik-xyFNr=vNKA&47z&69_0J7?kVgtrOY=w_ zdJ?9|c_>X1D~Z!=5^sa>6;wKC#A#oQa+c^Ry2R}xoWMka~D3FPEsTrcX7pN=lT{%IVztib$eV znM6e(pU56+?^I4~R8@aYHEQSmMAzL%Ru7cnU2;D|Jb_+kU|om!fW$%&vuB5;wR8hx zYH2*fl3Kp(uHyVnDnWJsU!S#HV_@wTfA3H*ZKpa1q3tDV%6|< zBVEjX60=>HjYT}#F?%6smJj`Up_!+LT7p>~X8IUR79m;y*ayvV<1E3bL9IA@B>$2f zzpMzqT@n6gMfg37@V_m>A5nyVqzFIn%_4$JMFh)S{s=NIQ>1miF676~?cxNjJq2YX zy!x%B-Rrgrhih)?kfWm|#s!8PAwCPx`jm&sO_Y-0qY}(Vn*B>x=k4Z zzdKD^3P~2AJiIVt?K``^gQn>xd&0N=}$-H(mUat!G9rR{_ z@Y&|h?_h9}1SlU78{eZRXK8o;ZC@LGJV0Tig9dg^|0!rsV_&GulRI@Zu z%W2L(;YwTGME)o6O;X)wa+i*@mA?vy96-V~cBb1_=`d13FkEX9*x{-Ovw{eM;qvX+ zXlY-#rLweBQYx0`R);CpHAMAL&IS4fh^{2M0867P{YX3mqF$n8J6#W2DCM)m#A^gk zBp6H4&{O8|{W=D(06iaK4T(?0Ln-ybTO4*u8*PK$0z9?VyKm7Uq)kph9~0hAwHMyA z(gxR{uK@d#P=fw`g`z*h{9vU(#8l;qAh1e9G$T5&s65CpOG-M|M~> zN&#FmX6@^kWnpH|+R2ED1D-+%HhOcJ3?px;nr|EF_a(&dJ&AWeL%bqt6+l`7L}|D1 zsZJeu;WgQmK+q74y1>eT=trUx@K=KH*W$~&QN4%XM4ukG9}~OSm(lncQ0yabyT!f( zeG3F@yI2)_$1z(kW)h^>yE#(_Fl+vfYnBOJ5){^UIA(d|X4keFqAGxitTBaY;#PtO zwCvB*$0+wb2<}0r8SroGMqwHl~fGZ4GJHN#Y%O4wvkn4B-wx9 zs=CXlcJ&11%0qA(#go80NL86bJ0$Dn1|ieO@<*Xp;9nNmV)f)4BQsD;1kyl8b&3FJ zpqX>r28xG{1HlG*Qtd(%82UL~3U(SJlumBm^bh5VS<$9zY1DkXhao4F3-KuOg~RdbU0bb}!VP z1im8_&TQy3IVVQY@z(Ps^p-(#9?=kV27&PYs|)oENAEc^R-XX-7333vF%p7_^Goa` zTUBWuPjT;tdI#w&;OVa(m`B0HYB}`MLMx6)lh{gkpa6^iqLtDhwjo{*ta1>QYj6++ ztQruTNqiRbq$s~}}9ioa`%WGPmQ(fypxN{M|1+1qa zHjwxn#K@MshO5uR>k_%jcaJ+oP^9PXL}feBBH#9Tv^t^a1yi8`RJq32Vj~^;6#6HC zbm%-yucd2uY!6S-b$f<91XC+q7m3x%^r15PNVEdj6a)H;5ZNR$f%OW+-6X0CF$1C* zi6$VXDMZj8Hx5c2PN#N1je}Ml5#5hYM-V3xt2>;>p&kXSt=|-}<<&D{d)B{LY)>G0 z0j1}Gen2&R*C_LZG|QrlxjKOwar8 zmMTj|AEC4ikkM8$%9D)FgfcoO+7~O@ne0I8TM#EqJCkEjM*yGLU{l&NmX>glroMq* z%|GNi8iX9cS=UM2#^7(@H+C^cM)MVuz#(6)M&d@hS0m0mt&w zyC7O2jQfFxs0xt_SNY}DEG~#m}Am1&pHv{Vl zh{Gff0ROX6tQVbPZIcWZl^XQDTdY4&_#IHJTV!Bw*X6Hy!a%54449eC?I>|hB$x_q z*B6yKCEldCDOe=~ygjwZEpA2V3WeU-uFqLyq&Htw%3gXJBB>AfB#fen4-(}r#NQeX z(G5XIU`>V?M`9H4=R^2s^F@^P_o&W_;>&0kJIeD>m6Z^P^es!~6lIv%p#fagD@P;QtK5|21C} zGWvZAxvtbY$xgb0H*rUgu8ozKk20J2#!+m$XDkYGq@o{V( z6}z+&yLfefpC*oJZ~?A-ksy?0SPevH0N^cQ{Xd}UoocMUfD2iF$HE>BSbrCM!1~)k z1X8;2_N zJ6FCaS_-%2 z0ltCeAHZIKH;2^bpe76OVgh9^z`nZdyn(#{2lWii)(bAcX~a)a1w^!fF zh$;eBU$w-@YA&m9W9Wv3CeFo*Z$rgcE~R~_csD8S{=F;~sCEQlkxiWjt*dS?;SByG zs`!Vr-eVbKe?qe_f5qMht=_=%nri(a2ORIf8v#8`c)UJNcnzrkROl%nGD9u-(8vgM z5C@6u73Ra73%G0J_=iSjte?`Zf?f%@UFWchUdpSC&hvW6ui<=YbD0>*)2TL5>PIgz zr&orsZ~Co6;xsA;fWHZZzYSlEw|+}0_TwofekNBLZ)NLohz{sm^Ow4PD;K&pC>(Ex z9IJ6+B|Wk&($e)*6C zxvCm+a8zAf#tyfVN?&fIH+Z^azT_uE`Uf1I1RcK~$>pY~9a-dViqvyXZx} zt%l;G$+Pu;M`p@pe3s-J>RGGNs|vYb`FGffuG zF-N6em^`{e)JIqgSiK;+ljsWk&q4Ty@D(FRqibFF9xVye!~xmghn3D^Icb> zpEiafo^~B@jBS7FU7ZqJR9fCRHF%skk;5(j15fr)CsbOiA91)f@qr;^ZV!1biX1om)_ zD>P4(mDmnzdY$6y&5%?@wKC9aK{O}P6nOtol~x*=H5Q4M2SGQO4*)HEAu~bHn@6jQ zx6&R@IpYLuV-H^*rN*r^vT`S3WsKsBPt1)XMw}XSics(?h0LOP^<-&dy!QdVU)8CV zMuKmONE4_}_{td{8;RcSOe#?=RqDr_CVBcpd_Te$AI|~R=3^tP?ipfDM_$ZXs5Wk8 z`PUmal_8pZ5=TWG`Hd>gKx;IaI0m{m%NIg7n9T*FsB2}o34%{snky-_aj*Z zcLC7vfhZucT8KIjTS#mMawE@OtBkA;JIUcY7zco_7kAJFi{jM=Qhj;Me6W<{4U8|M za~|m9A@qhEX9zI@A{HVVg#V!CtTGZGy7GyoWkF{E{VYT-iP}OOglI*g1@Ot=ly?fX z_$>01+i4$@{OS_52hr&!MwKC6Ao08qrB$&{jBNdss__XE{tgy_eAusps0`Kf6W*8O zr4`?UUI^r4Z!B)R+Y#P$BhA{ozHtp_G7GImZH=hL$T64E!nR>Q{<*E!u$Jh_OtTH0 zEx?{}ej;(vHj-I5DP*+cZjJ#Hd*@siE18P#p!Anm$#cNTjo8kEfK0_FCB96*hecJU z-&#m&0DJmvNurq$GW|YE;$aZIhIv)&LNjj2MrK^c#)HvOHF333p{(?>OWlGMDk-z! zsEBBeP3)dE0FV6vJ?rRdde(ivBaogo4(1pjJu7w%J!`&5q-V{5n-A=s^#O_Zgpi)~ zDTx9gJ?oJ*w2btuEig6%UoSOvjge6C!|P~ES2_ao5U{(_B@#agAzkTj5;p-|Y0nzo zBO+ZXx-l~qu)9(wiIPG{SE@py65uASm;!F?k#5rjx{)YIx9Lpcej!S$wgpBi-KIBs zcDES>dmy0Oyj5UiJ|x{{BJ_A5pV;7nB)ikt;9L^(0+L{7a?Vq|$l+Zxw|fN-uiyTQ zA`eC2AJ13hH>&trCf9oLYb5xx6wM-+nSiCJ^;)A`&DT*I>^cdaD%|}i)3rjd9>ul5 zzd$@Lm9N!&F=sEvZB(P|=4cwS+hB&>zt+gAEi-IrcR|k!y7m-FIsGEBQTAN1mIVy! zN}n28QAMmdVtVLPBfSGRw#c=sqm<$>V71vm3Epr^T*mRG#oeUD8xj15&Lv=Nhlp)L z*9HCq5dITJJUR9o(73SzbLff!A5LyJ_^&P z!#$0756~wtLgGhK0CzQr z>ZC>^h<<1lhiTB?08d%9;&ToI8!lliKpzH1O^B#%>IamIpPt8*3-c!t9DEARYm6KjPlH3THRe77&<6l~Z_RKQh;<(v62^^))bz7Hr><>dPQ%KvV?b75bT4 z-%v$riP3-b%0_M259^IZh*nP!Co=!NaI6RUdIJ^@gK5^&MTo#9o=CbEy@=Cc)$2>f zW*;81L2Vw;uOr<{Vmk=$tfp@?67L$!^G%+XTos0AJPx7v;VWno|EgQGmV-1cQ|;Sm zRL+~j;=!Lr=~d)!LRmZbB;29)J<0cb4|k4e#IigtO93kiq63MRLX?0QNTMGI)FBLm zq`u9q_^Uc)eH_MABvXLV8KPv5#g0nE{tW#U(jskVi-$nPiM2J2)VuKK0Bd#;BCvI? zrA?Ax@GRPclEFzBYf)PRjJ*)yH`LBeJcAaaSlMB226_s_Arc2g%d75e;u*9L@%xUr z;sLKW#noppE}(D@*bjTzQXclQyI)YEY0*!R%~G-C={0=;#2;Av4)o~|k*yfgz!(P+ z{mBeR*WL?Vg$U~A>1Uuq%7-EBPvD1@7U%YfVGAp9vO&52f>8>GSwO!EaW{#oAi6mv z-X*HDxdL(@L`bp(wKF1_p{E-gA&dgPqT|uID(n(wUR9$Olu=&3GWm*@#}N%4b&trh z5{&VCVZS6_{rR###pD|HRk!n)4o{10V`Z~rgW{-CYedsdIPQL!0uX}8>;13tbx+C7Qmbj?5?$n#7fcf zA_muWeTV?b{I1Wf}%aU@^+ft+|(%ZhqW)rY`n=K9Ywx9$9>1`!km-Y!|xx5+b zdPgxo4D7D=Gl?I8-Sr|qQN_OIX;|rWAuZ{1A+1oKiVbC3 z`?TE!=yRg|HpHJKt_$(Hdg~jbVujEwPJbIggkP4Bcem0WknPGVFp}GFau7t^qkjFy zNGjW#>Q{s=2lO5g%}F#B;(myb_Gndgi;>iDAyw~!@IFyc5dBCzE5vIMBS;Jb*2*Fh z|9XgsQekdSO`IIR zE`o^FMr(LmZWIEZUW6}b!ZTK`v2CI@Y&F88UqInCG+zaD=>uEo(rv|!bm@68=K#%P zsmN_?mQsoD$1qj^BLKl2Pz@0jmz$6_!Q3E%;9WJ5@oLC64n!u$PmaW6CI#D#d?)a< zS07>*-Gl7UK%WwxrH%$Oxdtu&fEvss_FE<}$;8tRrXZL}%v*97j$1LVI}*^uDapr* zk>N*3lF*F<`g;&nXk*wmIax*tJwR!OARizGkq{q}SR@8hS6G@_`K=Mi zTSQ7O`c} zh@xx-FrGuw7wF3&Mv@o~q9@I^v|FN@&f5)^LQI4ET6>+#^mC!+Ld^#H42b09}KY(C+o%QGZ4E->=5E1h#yFt79y_` z)L*1-fH<+X#=(i|z|kZ~nhsH+rPE-P#Qs>X!%Rn70u*aQiL1IAk*v$y#*jJ#Og<4aRHg55|)9LFK<)znaV zVA?o#|05bgUC(#kuWiH=Ny}sKB*kiCK%qK)k#$d=qiWxE)uXgNq$6!cX z$}|YGfgo6>KotEWSK22!B5Au6qdtuBXpEB#szAI+;tes$hR{p!wFqhf2p8im+fOSiLXGRkAqPA0i9AdF6Z4=4E6Kmh?4f!=&@|#@Re!IMWbao( z+Ol5>X}_-e@8zM>{c6@;BfZ$OeMN-|E118&vax|bDAZq=*^T|sy|)eU%YG6Oe; zZV2QP*-lm5$HF*0c0X&seLklHqI<=pih6XPk=0Pn=R6MmsBL0Dls3g3znbZ;ULoA%jHY8@e)@Hc(^ZOs|`jrdmoe0uH50=qzb*;(9i?G0_9 zWHH0HHkid)+^>-=y0vmF>Z*tKlSPagw4a*1tt)xz;%~MoyV2SSqMlHT_ZyitJFx7Z zfj$N7-F47|N1GxYr;6AAKq9uXxxR+ZRp6a8;{Y3x!SV2ABjUZE$NL-5^n;#4=yJ0K48z>NwlR8u7zF$>^>M& zu>0T^xSK`$WiN&J?Wxw1KVKY&X{qmzE9u`9O%g>SM3+(-J zP~z^F)h5YJw#p%U*(wLMblED8#+HXQ!)%IKDF>-yiS&mpcxCBMyk1>JTww9gTyR;U&zO`DcM@;>=20&ya+s=)aQ>Jwnq zgGld;2v{v4`jB`~h)xh&Nqj2AqY&k~Fu;NJEW|Vtql6d&aXpvR36Ss_)MYa1kCYbiVx6rUexnv4f|E8saazX$g9@t|6atrmJJ{SV~77kW%sMNul?r-Bsw z6NtF33=I%tZGh@bsvY3ZZOR^@w7Vp)7zD#%4h5WCeeehmOdh1PQ=lgU`r$b>1@*k_ z5~%;dsyPStJ0PreYj^Ij&)Wt6@%`EP?g-Tqwn?rOXiEwO`W9jxW}g7-AjB~e2Z8@2 zg#Q9x_Ukg9Y2(=Qz_pw52qPK9Z%thbT%(0za%&Yw{Cju!PlRI%g#dIb69PylJEhR1Pz zF6ep&F7h4M1CG0{--lilbiEMul-x9NO-rqXy#|E6;XbNVSDif0EFY=_B^XlyzjrFFFKocKkB z)=?+i)+q)r1{Ai=PO%v(Hqzy@kYxaD^pi%`L(-ymLsu=du~)UrZeZM}J7xdp>iG0Rhs)~tvKn>Lh>!nKEc2s0S`Vzc0~s72oTOCkOCpih>;tzq zpf!(DsyrDS!=ZJV|3;26O_y_Q15Bo}P@z{b% z4f4|WN^TN^k5FC)>|q~N^V(|8u#YGEO(<*t!9em*?h%Iw$LVK4wb&oEe1P0DaNQKE5ySZB!8g!JJ6Rwgg=NY5GPvJ7jQD5QbGJvt_K+n zvsByDyx+%A{Z3Pu1ma=GuPu750r8uE+Q{lE@p}mRLEvsv#<*TQ+D^M1frrFc8nhou z&w{YUuF5|fwB!6>gK~i~gmhAn0!v?3v>4Ti0Lp^7hcy zd8+^}-oSr&`ZWIIx_ z9u>+u;+#>1taH!d^PuDN(Q|enUp!|#h-42`UY=|W2zumU5+7Ba@^WIgt zq7-4S4hAjkqt1mo|3mI z@EzI5-r|n}9f6U@{TaJEIo>|SE?#$o(+J{SM@g@$#jkq6(UHHB*`%Jm$R9JliN;~q z4cz!=x;iSt|FsC;=bp(Hegu$pRP>t{;b#`|!`iqnKM{RbS4&oBy;`#I6gLH}i4N0} zbNgEjwdCrPIa({vS9T=xYG3q=XOf8E-9&DDvgLVlaa8;oi3l@xw<9R7?JQ{aqv6x_ zH4{4gWE6Dx$^7;u{mFvVo}S~q_2m<8?(`Jg+-aq)t@fbabS*djtfT!}z0MT(0_U`D z@pA2s59*~R_vWn4^IFGu_4H<&xyPey8vF&S)dX*f*^7TZ_;rFeGwM6ctMwnyQ|tJm z%ko*D23h0PrU~AP`V9HWPVOiCr?ies^cZnnx!Q9t4%9j>bIdYSn~7e(`56aj_$^tj za@sS;$ZmrkRg6BAwlc}1b=>F>8m7285p>hLpVslL?h$$BR~TzRRc{WPI#0TDpa`%i77QRz{dMqT&D!Ce((>1kvYkGu7?M-f*6Bva6n1 zs>kO}9`QvzBs;a`B1=mgTvPYH>MdUSTBF4@SndG+uPj1pnA@9x-iciI7$x0-m)sY$ zj=wuz)zVkJ;rdOr`c-df)8iIL-G0^U&AVKAJ*SyLs0-Au%o^D7O8AneaN6ZI8J@f! z`RJlLE$nV`GE$u2id;W)0R9D!2ykt)9f-$895Zg@LRZO!J26&Fpkrt#bWK^U-}Q zfdI}Szq zPUs&O9A4vVUWUJEEqTKCcFspuJx`)_kGW^)7%Oe8mGOcV<$W<=mEwlVC~tR<*9tRF zn5uCFf4Y89-9F(fV_fyBl9zmGo?>2el1e`1V_7@tOU{{V4a8A%^YqZxMIB`qakSHQ z#3FyvSJpUF=;$qR)IMX)NZq5G7sGXP$6(#7wYNwlKO6T@_? z80O-Co+B8;PdRg?NBpOl%Lfm%6{PwX)#qn?XdNdVBJd9z3VKW zH`=bkN|krTmso73u3IR^hGzuq9F9p$$3$LxZmC_~4+_issycSow=`#KxOhx83+(We zGq>8|6S^=wr=$@o^8UV~-}|1jJ`LByGt{x~d}Y;hKls{5Z6`~g6Y5(d)Tk@Igy`*h zS3(rt#xB`pJN{{(xbfc}?!^C-A{m@iWzYFaS6D>@OIWU&|0C=xh7H8$({?pRyVXeX znyb{zbG|Z^ZR0s#Lh)}*iFzAP0x?)U-05Rc<_`7qIbWvnhanw3QN2^aAMVNVnxCnv z=jrg1-F}+jHLny5JMXKf8*V*frE0qQowh|Bdd;8Ii3`4WV>g*yyOPWFU@q$P1z)_1 z{@GVTt-t8=Ms70ouE-M14Ql5_-;-UxqdHBw6`7zU%TH^o_n7acqF!^qTT|&XCCnqk zrEAQ!W3bSX6zv)%%q2q#yT+vvYW*2sDYg7ZUkuxb^*{RB7-tQ2`GPOgn`lwJ-KyG8 zzH%Hw^!SPQ1CCQ8fATe~f8AQzmAtB$w_nl;Wr8`zJFx3OhxMb&njtKdikoL%l4+vb zzbdL?&oM%xz2*i>`fQfDNzJ(A%P@X%+ohz}{90ZAnRXeg(l3$wpQ_O%U%QB%uKLH0 z`fW!&1NAjSb&qLzyyn)C-`AsHgeF{_I>4$r)z?p*dIN4>__DrDvS z;_I3+Ezj}yy*E6=$>FM-!)t2hFTQPQU1T`Mn?HtggZ&)Q@OjPI!P&_ki1iqVc6?8` zKJGHdy5YS=c)NyohGaB-J{&sKY`@ZS7_f{Ryt@5MyS88*h_XH@K7J=5Pi zE8}qnxODG)gG9g{4*dI@Rm~f~L1}Y~%FOl`=+o5c9Di~XnF=j)A#-+ww{pPB_7)q+ z^e~$FEX=%RIpZVXHOCIsyi$yxG9`|ALnaGfa!iVQ za`3fH<(Kl;%X=%2uv8+iHdZF{dxTZPJfaPh@m|t=4_WD6)?KYzlhF&v!puFoZqCZn z&F37i@m^7~3&K2$J)XU0wXU8>^N``FP`E#a+XC}zrsGI+g`u0rSq~EF6=t1fq#~^b z=6=1>K*_;t_SS8mqJZsO8aB!7E)>gKDJiTc$!csqq9*3}D^)nH=~jRREwlANd&d9B zEAcC7?s=)TRlb*1MM{3ij`%4jEc<7a_9vCz;YKBn*~pEGIenxA@|pxP-nKYwTVx%5 zNfr;9BF<@wo_14gE{y9sHL|onr}3sj&IZ?KqV4CKP+O;%Ylp6@XIXQ^p)K3)8ZlMf zRNt5Om)BRRm@@wKl#7gG8pT$c9M0REy$S9*@|$W|#@{x;f9X+Edhz*}2HIK+yz1VH z{!%`ldEq7IE$T8_9W29R)=O1PS$|6Wz9Frx(v?uHW-bepF;~Ofry7*?C+W-717-ai zQnrj_b*e|MQC4v>H+^$h`x2(%XqT#5&R^dA(wd|6y8dJ}uY%v>Deh(Y&nxGzTV)a> zysS51HEAuuk2SB`L$9p)O4vZFnslWoSOdLg%rv{8%hV>_pRJGJ;cdrl70trXqcT4wJgTlY6NVo~N4qP*QIM;zD_dCgzwhD|6% zHJJ$Oo6}wzXq9uSdqr(8?=QgsJ73=4EMZevFBD3c8;D1gx2^5;s%lihUsC@hhC1xx=6y0j#+s`qfaa+mTF^_WrY& z+iN#SfKtt3=I?4x6@UGxrD2S9Y5P(v0xG2{uOM9#RCz@`T-9GcRTWXWI7Ii-x4h;U zCK#_dOBGc0rxicP_~Rcgt*CldiGfI$+d*7tca56Tho;eBlt2PL&`OhC!wdFMoF4AX zG}-h4HmTB8oPjsbwrwD``9r?{pSDv9ZGQ{eS~cw*ayME!%=}auzP2yHygt%t`i*we zr)-j@rzxgQlLkufYE=pL!>cOxZhwi?Da=4soc{NlSB6_dI;=Eq8S^i7&)xo-5ffQ{ zWF}s%UcTGkwD#Nq1JRR7b_z3OJDFpx8s316A0|pR;@)X8BUmLVU4#VaMcX=mMs@$y z)LYLxzUBs7*oyTAWFT1PL=|1bpPARV9-Rk9Gp|`+xB7)=*qx=Rv|2y2{!o)b*}l5;JT{;0y* z3PJwG3a{Q3OwYXQQYgK;;^vC*3no<#{GumMx+A_Xl^Tr?Cw(I4tfUL3R}H*t>KhBH z*9c73lc$9fch5(@-+bPAPWqkV9~3984%G~_`2UD&*ZTj8XVwb5uTLvzR6B6DZsJ(Q z)DDzT)9M7ChI^w<;43|0iDWHJ-od@+#q`cwQn0sf;C@5DT~N9~z!O$(5Z85VolWlb zhDh(cN?dZVdBJNCQQmp)sQa4-+UXy)As^hCL)105$_K%wRYG9N;L?urN z4Ay@um_8*iBq!$C7b-o`zkj9b)$3GwtXHkt1>vg#f9h{!MWhu}Tpjq(r|(mTH}Zy_ zX{y+!K*I>mg4kI9eGzEDUt&&&)HkX<^3z!r J`!Z1G{{bMXTX6sY diff --git a/check.log b/check.log new file mode 100644 index 0000000..6165192 --- /dev/null +++ b/check.log @@ -0,0 +1,25 @@ +[1/26] 任务 ./benchmark/b17.bench +[2/26] 任务 ./benchmark/b21.bench +[3/26] 任务 ./benchmark/b07.bench +[4/26] 任务 ./benchmark/c17.bench +[5/26] 任务 ./benchmark/b03.bench +[6/26] 任务 ./benchmark/b11.bench +[7/26] 任务 ./benchmark/c5315.bench +[8/26] 任务 ./benchmark/c880.bench +[9/26] 任务 ./benchmark/b06.bench +[10/26] 任务 ./benchmark/b01.bench +[11/26] 任务 ./benchmark/b10.bench +[12/26] 任务 ./benchmark/b04.bench +[13/26] 任务 ./benchmark/b22.bench +[14/26] 任务 ./benchmark/b09.bench +[15/26] 任务 ./benchmark/b08.bench +[16/26] 任务 ./benchmark/c499.bench +[17/26] 任务 ./benchmark/c1908.bench +[18/26] 任务 ./benchmark/c3540.bench +[19/26] 任务 ./benchmark/c2670.bench +[20/26] 任务 ./benchmark/b12.bench +[21/26] 任务 ./benchmark/c7552.bench +[22/26] 任务 ./benchmark/b20.bench +[23/26] 任务 ./benchmark/c6288.bench +[24/26] 任务 ./benchmark/c432.bench +[25/26] 任务 ./benchmark/b13.bench diff --git a/ls.cpp b/ls.cpp index 46ab20b..4eeab07 100644 --- a/ls.cpp +++ b/ls.cpp @@ -76,8 +76,6 @@ bool Circuit::local_search(std::unordered_set &faults) { } else { ls_update_weight(); - - if(stem_total_cnt == stems.size()) { while(!flip_update_queue.empty()) { Gate* g = flip_update_queue.back(); diff --git a/run_exp.py b/run_exp.py index 8114a78..9dfbd32 100644 --- a/run_exp.py +++ b/run_exp.py @@ -34,6 +34,8 @@ def run_shell_command(command, output_file, timeout): # if(res != 0): # exit_status = ExitStatus.runtime_error + os.system("echo \"time: %.4f\" >> %s " % ( exec_time, output_file )) + return (exit_status, exec_time) class AtalantaSolver: diff --git a/show_exp.ipynb b/show_exp.ipynb new file mode 100644 index 0000000..e946599 --- /dev/null +++ b/show_exp.ipynb @@ -0,0 +1,38 @@ +{ + "cells": [ + { + "cell_type": "code", + "execution_count": 1, + "metadata": {}, + "outputs": [], + "source": [] + } + ], + "metadata": { + "kernelspec": { + "display_name": "Python 3", + "language": "python", + "name": "python3" + }, + "language_info": { + "codemirror_mode": { + "name": "ipython", + "version": 3 + }, + "file_extension": ".py", + "mimetype": "text/x-python", + "name": "python", + "nbconvert_exporter": "python", + "pygments_lexer": "ipython3", + "version": "3.10.7" + }, + "orig_nbformat": 4, + "vscode": { + "interpreter": { + "hash": "e7370f93d1d0cde622a1f8e1c04877d8463912d04d973331ad4851f04de6915a" + } + } + }, + "nbformat": 4, + "nbformat_minor": 2 +}