From 4fa9e46235fd71df16ff52b2d003f21047f52c96 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Wed, 15 Jul 2020 07:56:34 -0700 Subject: [PATCH] write_verilog -remove_cells --- doc/OpenSTA.odt | Bin 76617 -> 77029 bytes include/sta/VerilogWriter.hh | 3 +++ tcl/Cmds.tcl | 6 +++++ tcl/StaTcl.i | 4 ++++ verilog/Verilog.i | 6 +++-- verilog/Verilog.tcl | 10 ++++++--- verilog/VerilogWriter.cc | 42 +++++++++++++++++++++-------------- 7 files changed, 49 insertions(+), 22 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index a6045afa559e5b349c99f12619a7ff0e4178411d..6c52b0606bd5831e9054d4cedf76361e812338fb 100644 GIT binary patch delta 47442 zcmaI619Tuk^Di3Pwr$(CwZX<4+uDh3Y;4=MvDw%*H_pa*`QG<`=e&3ByLZm{_4G_t zcTIKoRCia`_!7k7Dg>g6JU9df2nY-ah`IY!0-_xF*R5WcP5nRjq&RgVAhB0&NCaiX zLebfy^VtJiepn6y6{3EAV97?}n#UJZbV$q>{00=FUkYB5o_;W6`1DyNyH1tW=WvxKpngy7HSAMKVj1TL%v*8{_jH0Rhcu0ADa-fdz} zFUS#m7Y!Cgj(?2KaADv<0UTTCybYMA!Zel0a+L!wCa@G_&7W$|>=2ddFrmpPmCgYZ z(hxo!h$?b*Wzow^icLSt#EJ3-rgQ(f!lPZW2g4mBD884$R?0K*TyfFPB3aWtk=eaDImfJCJt6dsU**qB&($EFKIQE4-no+CntPOlC;N* z?!^!m^V2OM-e{eqTp?vT3>MoebK9dh?IPx zM6ZfGGzc-?z$tu$t0ye#r_MYZ|m%YrVcA;Ts|MK5cZfu|J_ceBK{--t0R*EOS zrk)4)p_rZ*zUPN!9_&|2nB1(1-2LC$%!uE zV@KA~ewuIerOxjVR#yahG|Bz!Yz|{cHQPGKTFf%`GY) z{^#yvuN$>paH+gD{rv}b-@y++sq5YI_Mh}NQbexjCf{?1IiHsA-WJ!@%!$tnqTha` z07%A2I5IRUhOf~^-RRBl{tCyF&(|>GZ9V)3PGsiwLuSKOdz6gJT{B-0v0Wud!b)$9or0Jt z+porv?`KiLs_ph9Trqnmk^OzQP`5+7Gm-M97P<096=uiR{j#4jjF~^#oP2PxYYQtQ z^SvC=KkG`gmloHW#ug)Wl&)Vqq7R3JZT>pwjB;ZOUo!fbTVE-1&oFaL7!^FWwA|hQ z8FrY=#(v|vL3`a5laGM~uD)-gr(T99idV%Hq&g$+g>+Dc^TTU{uK3XS)Q+?e-Zgm>;3o8gBVTS*f5yHmn59l z6N6*O)!W`(=y0?P54bvm_OxEl;wYGQg4%Cdyr5Bp<9T@x4?#urUPF*m;;^N!+yd|&PHdE> z0t>c(^LV)^sV1p%#EV!S>J$RE+kgCIjtdW*L-vQ%C_f%gC{E+O z1&9p=(TfXfuWKs_G2J7G*IdQ_9!vW`P8{5O3uVXH!QD1X|C9gRa<3(5DB&Bmdl{Ws zH~-mrH-M5%|CWx+rZC!5s>Y6h$_TH)z24mmW*jbbQ#-&92!srkOt^c#Q+dQ`h-Jdi%PR%GQ%Jd6a}FKOXj$awSMq9rTfCFhnipj#2eU zvEl#C+>Q@a^n^%|C0qKA76tlS{~5y`&*-QGAXgJtV{B2A*3Kf<&Ocq+z%i=0>>_)s zz1_2Y@HXiPJiI(Sxc}(X-Qj(Zdo^sm{=7f1LB-oYHd!Zl%y}3&o7vJKT*I$a@Yy$> z*(!Q$;#LiNp!#|%VZN4$5cE*eUD{pF*Tk(E_E17MzvW8OLV^>!q(fCR9UjMzWmJ5`PZPnlLD|xC`~py>brs?XO#i!b8U# zmyaKblu!4kmX85xV|Pvb=6CHi$6Dke=i2EPWq9DA zS@J5YDu1gfTl`<7jWRv~;|&edv}o*hf!!A^ZmLu2x5-^k#BSJWBW4J@NVLR-$n=2H z!JL<&c0OrJsbIn;FeoxZ1=Ri0v=BbOy}^oeH};g2-+)S{L)r zJHRyr&EGYI&EK_H-Tyw|07UUs*s%=dbOv;uW&@Wrb zMd1t{E%kC@X%yhEky4(fkf?o9HJ!H7=Z{ z5*tQEmKlu!?>LUk7hmy&tkh>UQK*;}vN&mFSbo#uAWrz=pvt(t(S2`pQoaf@a%u7N|}=v z4+@G^$f1lA4*NwwP-c0#vg5$G<-&vW!bdFbju{c@iV0QQ8u=)7z=JFPFXX=R;Ii8s z$#UCW7sC8`|GzT+Q&q02HBIvWAY0WMfue9hg|^Vub=}9F1?bQW!=GuU8ALqM#W;cj zX(n|9Un%9=$opg(O%Nmc0@7&0+{ehQ$VN=z2Q_>&h8z|SZ88Ik8s9e~j(D>G(3xDZ zgHn`#w2Hpq`GO%7#@(OZ^)>O|tLTfc&*jdCUqtRr3~0OCJ`V!A~iGMqpTd-jw@4p2kNb^cE{+rkSeR-pOzwdITF_gN3Ht&n^v3pyi6i^jal{n z>?Df)0*Bg~C^ueskbO~Nko^WAX;u|a#-=5Mic4P|9t~X(9<8Y+@%1NhqIO8TJ%KVv z;f8`lsiu*W?1c8AITlV_2RnWKu86~=s}#~It9k)+P8-hl1Clj~D>bzI=6J+CYv`vC zso*GKl+6yInWOn^RMYSkpb`lMRB3rV=RUzq(L>;(6*1^oxKum(R?J8sN2us9aWe0> zJy}%8+`r(;qPphHf*ZbTRFJr7H1|0``c)!K0fUZ!O|`>u%#0*N{Hp{~`n~W!ivktk zY+53JAva>KTsSG9=tDt+jzb3fE*k%j(u?6gvjUabqzExiWh%K;fpmeMGd&+jQifDIf;B-dGru#M#W^L!yE*PWS;^x zn#ZQkhJFpwRilb{TNX`St~4YGuCxk(0$<^kxP@1f#@3}mW#vfYwC>NT$N*RA`=h4< z=Iwux^5Cfey?2vVad4CN(0e_&1ChN6X4lll#bfER!|4x=MU z8g6r(y!h&1R^;*^LC)j0>eJYRJ!IhW2VBVJpJb%YOhk&m_9bd7n^j**E5zEeq@Q!P z1rV(Er74fNEfuhF%H4r|lZA^a=Ya&|T)uU+Rht!yGq6qAu-1$w`wEwsIeZQ9PNbQQEMWsF9G1g=471y>V+N@Nbe1=Z@gT`{P*P5!8BR7|JatfXjM_ z*o_%{NX9x-axAqT0!5DP?5D0Xe27>Z7Tmui0~*4CW*ixq<$_ODb@-5i5-d1LMaJaV z3|#~YYwLWqg@ykO;k`xjQ@jnpf?KrwMx#+^p6`mXY(gTc51$g)hV_oTr%SUi<3(DT zVM_Ql5^%mq#$TigUZxjf^_F;zKlNDL@tS|?k+@a(D!#NS`_g8S0Q();Nl&I?TPq5m zMx)m*-!*>Sghte!ZqZ@h;g#4~`mqd2*ngO25XFcU&IJNu14Rb_v)3TanfdJF?~qRM z46K^z)D;jtUEzn=VDS|DgfE*FtdIzSOHm0Lrcn$5hxHzep>t(_?2X3TER+)v%@?z- z!zuO}5ZSxFU;lvK`!9FMUcX6l$v^laV3%uh2Y! z4&Xmh#f-iFTMgKqVmDa zrJ6yFF#N@{AS=5Jy%V)SnWSvS2#mffzZUvvgi}Xj%Dn{*mrbINfXluQ##9WV--8ZO zpU@5e7uKWHC*l#xGbxeEGtelxd6gLd1$T_HKQVXkY~s&uoZSf5LFQ1jP7!Y1KBk48 zb-EBOg;&ED%LAQX0}g{qo@NX{apL>A!EVM?+uFh%}AD5lBC*HGm!1(C%I&7z38 zvE`~24RucBkcwJYt^Q9Nh9(vnBako-#HV28FN^xhTA^Z~G=FsmCK4sUIG{quIDjLf z8%#>eXyUFHhCo>?$?(Ii$gO#vEIPkP5=X9B5(iu+ishh4GMajx53eh$DZIYs{67^a z%c?WL|t09ZL4^= zRmRV$|D1B?0t?@w1~!ann1oj>dRVUzHjEZlg7XBpacDIT{3t4G#1QRS)Yg8o;DtXM z6(#;N+5i-d8D!PV)PI;W$g7vBnwwWOm9P+nm#}Ebs^f6G@v`-1&TWWjk#coILDDUR zSXDLkItie7?CVfE?6-YRjnoq;8avb1&_o~7z!l0?1I1;N@K6QR(J6E28GN|MFJf-r zNq&#ErA4aeQDB=gW=mQj?|YIUjnvD13_E?&GsIA0>QqPuG@Q{d*5lC_e76#aKa(>} ziKLHtHPo|WC~s0@v?r--Q2WoHyI*=EVoe>RS)s^r3akxCS${Vy~JIr5~2kU)1ZGse=UDtP#xh^Ne`k*%4Tfi;4nLq-3pzaXDs^A zHRy<~$LNT4qo`>ZOUQRH_F!)h?nnOdrBI6jDK9v(Hl`Xu5Q~>49LZEt*8f=8pj3L6 zRl@(XmYq#8{(r2+*Qg}SVZjx7-ii>5=&HkU^Bj;k)%XsvLGqO;zwK@Xk4LxHO#Ckv zf1%rlkx_5ZQBp@kkx)mQjlu4pucv<>4CYECrN&uq9B$e&(Kv!F1oFpV3qdiKh{tKF z3^U=(F_vl-L#(lvh!KnHJ}g0oS*6*~mT54RTyOH2b)pgIvd-0SPF!`O=QMcYH#iN5 z{Us_YDH6`;WQ#i1(8`5yBAPzEbY0`47p$ukL*%e+B>E5o;qV{zy`eN{ici(-V$><= zG&(O50iom``HtBYXts%3bvbRpOsw+}4bs2u1Cf6Jd>sB^FtdJ;L@~r(Bvv8@sQ0jm z!$Gi%^y?c&ha{$Nna5USYf4$ZT83rPr}`od-#i$EX1ja(SKE@H#~PS}Zv$MdokP`5 zM}lS)@+l8}wCNw-!9F(3y0hHa?lQGv^jlJI2NMXk^D(*F!imvZ)gK8I4^zMHs#_oJ zfIaxXd`T9|c!gy<^1-Hz zr61i|+m(Gl@lz^Aco$4kNfduEvr#)}1h{?()FgOWwIXv#*TQ5eGoF&T2%(+m*HWTt z1nFz?#kaQWvJHRZ*1qHWEz~N|<}b9|c74wd&jvRDfpqizaIA;TkIbq+W znNdj@>*~m1cUk|7WM1&eV0t@4iS-FScT{?C8%5=}&A9Sr;O9vWpSSah03iMv0SKIt zNvp_9@SUS_Sm0k|=`*5UW>HhuaZ^@_;r@ZS2o_=$HrPyPK1SDB>JERf;z+0$sSWxx ztzf2ILdGz%ZKi0#a}Pd`@TbgI-A3l@-2o{{Vtgbj8lD_a?ui7mmzmQx-)GW!G_?X zb?0u0KsIUJKs{D=dV64QtQsvuc!)jSx+Xn{X{p&m$m_lBx;(f8zvx4Smb|{#C zwaPv;x0}djYEt~3%84IkcW4-KCnC1a76QWPKAfGQfjCTJBS;G10LR?Axb$_DX^6K=cHQobPufkphd`zJ)A9ngxDUJE7Y z4~k6Z`_Au6P6BM9FOzB0oA8Qm#n~365dI~&JDpe$vs`r>19v)+Vp=hEuW=x>APyFS zA{qF=LkxXJ`y&mC0od`4dGtJ6c0R&1?5VHUE92M`b=lPdTd0rkVcc)?gn&YE+ zY&qc$-Qx3`^zS+5@4&fTYf0za&mv(Phqu@FUv0*H(A!x$aPJR;p_W*mM4^k5Cq9vR zJtN3g79Fe8&rR61K{L@v0XQBmJY0Qj~@q|L>Npml*4@7+T z{_3>O>dfM&gziU86WbqJ)nHrS7p6Q2b1#DgB-VqJ1}Xk%dN!`hcIZr&RSDktI&(l# zp>lFQa0Iu30XPn93|o#YV%TsVQb%&L--u#KKksiM+L2DHFWBj35_Pm-*_FEQja_fn z)@r_dXQbr;=ZcBF!kpUr{ss4JEn~Py?a6{5g)j4=ZQ)tT4s&|T_q1VaS7ck5B=h|W zpi&q%+v|Jh7=(U^Fykd){f5^>b4HwtI{2m46dsMs0G^~mWVR@dzKz3jM!Db9!)RK> zuUN!L=gV|UE=+3op@wCyZw4hEzqZh)`qN-@LMpkR`pX@wavn6mmq_KkxEFS(jr*t0(qA3`C;;W z-;bN2fYxu6Z6Es%KwO);GnhlzYm5@vjK9r1a}I~24L_0-SqYR)UfD1g1rH_Rjf=G| z*RP}YVB}iW{J2}w=>me4J9_;*5z=IaYb?b=lQvddSrw2u{EsQ_cj_TR^;hIb`dE+J z_Fy@TWXB!t+`j@O)iYaQ$<>JULXhEvV%U5VKv;L^w^Ua-x;`OQ|J}WNa}e?w!$w>5 zZD1!Va;x{}SdYx-yHz_`fS)q*#yVy+M%7Z7>Iw1cGQ*27={Mb23%@zX!;HfjV0ON> zJEdgX`cv_9X;&KjgZ;(EJ=#C`K4}(^}h>11IdKeJ39!5BV{_`;5GMA10D3 z0MURK0=}K_BOL^huIM76L_XXKbRn1+iu)!#_*W9yRHUU;dBE^@tF4TQEQBt9epDgQ zEy!6g)NEcKur^RF&`q{$0~?3#N>Z(LypBmG2^}ttog7wGBNfPO?7PI@ptgm~=3iwTbnhE{z(s#=32QTsbbMSMFr)J~ZyIoe`2&5b7>g>DEZy zSI@vk*z<9|71}M=lW;@w!VZJLOF-&ZFsD+78}7WO9H_ zBVrJDklk3ED%`W`{E<*Z3UNLO>;PVW(t{0Tq%<4h5AuD# zJn~%4wv`}er#JXRT2nO{Ty)Zjv~aZ%iEuV5v1HcM z9JUip#t@DSyF;%;si|+jfElRQJqV|8)ZwOhni4SyR!qvsauijCkZ_YVLDi>&tx$rF zhw-lwBjgO(vR6X(xj$_4W(&()^pLzC^BR7R?3`OQIir7R%l%24S$JKKE6}cWV=4tV zJgu6l12qKsIuAbX7glvSo=9}?E_gG3ww#3Wn+^Tjip|*QmcED$z*g5f{$p#XE6$j; z=2rK0)h(wf?O=u7u}}aM8UmUssVMy%vdvQN=g*crbJr3u{h$5niu#JEEMcml5Jn!a+4t}4=pjzXyF+v8tyo9!=63wQerAH#al(4oYvpD zZ#iu^D2;nRN4ipfx)6V~P|V%!aR&SJ8=6ZA;Z*hes~un&ktVb_vNFvL~a zOEGeC6E0)=AR9NiLdYSa$nI^vV+UmNjGKSjC_l3RH-6rrCb#|!qW{vtyZk%LVnMdS zxR*(0q@$LjpCwh(oSMo}4ss+;SYaekR7MZM4qObo^Q4HZi?bWL4s8h>W4+lLwre^H0pH&%UZXYtBH)y<9`{PMtVC?y+8Mq5wgA}-6 z*dcK4woB`%xnyfxGhp-0gQYa+lk%D8TWS#>{ogNW(QdIl*E|P>m=Bm6D@eIMZ(B1yD4{VV-AVG12f_i*}jz%IGEWw%7; z7;y^zEXwV>hC*G=oG*!2bKS#*tAbwlPv~f24- zl}zjekM07^^?Jq6OH|pqa%LTOUtfsOxRV!_o*)sOdMTq8;Apa$ z%&VZ|YRfPyw#PPl;D=&ydU!yat8+1IbL46X`LSvpVe58(%r@a&_wMLGv?%Lcc$53g zLe)!{ORG+7Y``&N(>K#AVCCV3CH{ zjm1AI&Sn0^0)u?3V+l6=aQLTW8Reucmn=aM&tR^!ee*!P8BSL;fW4_7%V)u13f%e6UzKhcgYk zXDX4GL2&P1^1>LjvejJp6p9mc-EW5%Mm4_NE{tIWA`j|uP2DXUQ{@WVA->Ct)A|~e zx6)L9#eJg+B56Pr3kI+QI=eFq34d@E>myK#1Iw1k9EsdD7HgshdnDCR^TZ5a8Yg67 zRF-Q+uB{L=pk4j|)13RY5xPO?U_qEMb;IVFuJs*?9ge$Hf)yLVqiW0O#Zj8BbNo!F zL!@398FM`vG=Ls9r(HJX5r=q*-<_PClXHjJQX9cLRk|#`-QGTcNt~groM1JgFtyNQ z>^>^T)eJoN?x-tO{;2$p-q685tlYacw_Mq&?7S4qs%a)0^09=CBo3Xk{gKg5@T_6F zXk~T`zB=S^%JR57Kj+;*Fg}$%C~!esbD`$MQyT|cDU8t+M~y}($m3d9zl^2>hqPWE zRN=Rzc9fK88j232_IU62mi4BJeGaR7)-kM??}^C6Xw!jRDBALg>cyT0CJ%y+{UTbO zZl{aZLZu3Sz?z!Zce;J+dvQd-;Ghcqju04($e>o^0}`ucl1)FcMi+obgZ?MLt>!mI z|0UNC5svQ*;Lc`flHuP`Boqo&A;ocyk0$y5wArA6iKpWLhFY}2ym=}p&uZ#bWyEP5 zf=fu#$j4VIs8hU-KV-V;Pw^6KuO7fPa5GNhmyN4Bc#5Lw)V@O6 z`Av;-aQ5x~iv{CubPs3>ZAFN)bF-*kv~jpYuf?5k;oygYWv=~! zoX)d6(^hWY?+(8aw@N25VZjvcGCfZiMgyV@d1BQlyP0C6X4%r=X$(%J;_i43iEMd6bS@(9agmmG2fN94K##ZeOU9C3JE*M& zA1agJ^Nw^yS_;kj8@{*H-Jx^!-Js2@mT9S58{1~P(qp4Hm3$)TIQU5Ln;HZsu-q5GjS90v>Z8xRA>$QDknrzK z>dezSug9l_VWOyW&DJLAbiJ_z>~Yo9l8LS=P9N?zEu>KEiY=p9jyJa}Z=q>-3qn+d zW!D@q{xaWl%*Ugp;S87afz9@RfE7J&fQjGXeeA2dp3inE*g~TDOe=squ{|X@2&Tu& zU(05dl=#i<ebe7`Dp@YG69NEb!akK>Ka=!x0w){BrR*9_%O1In! z(BD*xx^eDH1W1Y-$1!ArX4n2ESR^B$!MOf7?@{>*qYKlv81ldGHVaFlfa;yBp-mPy z$X_wCKddsXR>O$V4e@%v8ya%AZJFhZqK_o3eAjcd9pFnGcc+Tes#6$U;}^gIPhFSo znjofs!m8VpVl^My1J*{Mx1s6=SBC5F1fw88-(5Sw&sVpoxi^poTlMqB?G}gg(32PA zX^D~fn|3p3?tiHqkNsHu3)GUOn8RKx(w6b(>X=E^;bGFdLjEf)d}7nb6$Y;|5I=s< zKbB?p;I}-y?ElU66juN#J}a?!S?N&gK2 zZ=p|Wq`h`|8`G;_Gp{%nV@$zkG2D80F1sdy^OfZlma$QKTLbK*PM!=K4_HE|X!)Zi z7txNgo8JqO611Va3O8XiYCk>A`KD?W|7!D&?=23;L7|p%qLjZjJwHI!OX1^E7b;fs zRK|v&R^-8+puY!q(g5JsXjgGemn?ITf>IrMzh#8s`GcNdWI<;LFHS_X5&XUp?;|}a z5W;v&SR4d2V=@hrQqte#sb8!3F~oRA60*&k`tQ+GT*oz(6%HY?2pOXg!RrQ(?osX5 z=P7zJSjrH1*kcdii~PJ9vVY)&nQeiR`zPLHSC@bxECA=MrT~m_!r^9-4s9W*9{p(A z#o-E$pXY&ZO*#TQ|G^I}hrT6aS3{1lq{JJm;Lo+obD0kqGWfXtsyzEO9X$Oe!SUE_0)I!REr9b%K(J6JrSY*W|(xGxst@+KM{NxN_z`K`2ASxZ3 z_uOs69ZQ&X`FlNHfx;eI&I81KH^^+rwuIax9qg_6c3rB)t9xcA&r058ZqIXRsLO-o z{0L@_XDYC{TsV)7{uQK4@)u|G;9yRP?qu#oQ?9t-b1YzGw5(?F{3~zH&BhBdfUSq- zxXys_pc9-wumh4+es6rwn3`uNf>8v^6mVQS41Q%OO?|&~J?I-JQY7a}VYm&-fi}sG5p4 z#;?p28?OKpy*sM6@kV7L5g{|r-Yrqs%I(a;QmjR&rmDAY^qe|tat>VKz3XhKq&HpY z>3l4!pWQsM4$&%_$=jMo7RTo7Xr$=_*9j zz2~@;7nJZ1#YG<>AKPf|VW0ks7`3U4e_oCP&lX)T^zPW-h(9wv#Q)mx5x&z1o2QHU zv^I5hBw zn12Bvj&;9FW`iMY*YN$2g(M+J8fe-})4=$?C0O4YHH(3o@2VThbnOwJqZ28nxsT;w z;>**6ma*M;u^3=33ZGhk7xRJcn&nT=+Yorl7b-G!Scry_7#0_z=jUpFfACjOGtLjB zO}V+ENgy8qC#|Hs7%R+6){p050&;ggG3(3!UCo;}a{@U4UJ}#2<~emn|7Q(FPTZHL?jD;(jU~g2vwb0eWbpt80^IxX;=n~| zF`!uJcrt7S{#+qQ)oaNMESkCN&Jj`w{3D{7Zf<928!w`O$0;l}PwIw#^x^ki5cEC} z`moNwgapFL{p&SQrO*Ukt6U^J->nuJgGoPs~ukg5G z%%5a^BGPm{I$PoM+{EF;B7>=%OB1_Jo^kGN0V4`3CIt4?h50*9d*~>&_I2~ngwu#R z2{}X{dSVe3Tz#+X7z}$HBRinUP|X2=Cv9m)N(Dx6AIG_i+Ra-65dn{vKJAPa4JIsJWyLJlb#w++x-XUt>L@A(_08TpcQ`9RCv-vXf zE!9mUmzYLaN>FgW@rd)E$?lb|4>)MkjmwftuwbEM!*bQ@dA>FV$7|%PB<(DKj-g(r zG}1bpt|NqO!hyW0WPGf8h}M<^{=3y9zQ?Uvlj+h^xoqJ|9CCo zs-9Cl{B^eM4Vp|vqhk0t4gP$fVo^~_Tcz%984DzVK-+Vbxb~x~RrbqE(fVDAp>CG#4z6HPa83$7pCN@Tj=lp8 z^six-wH8?^S11pEiUW(%EeWk}(>T@^x(;5qWuc~!>gH7dk7xll{*^WmPs1u|?q7{N z;E{Ns_77y0Z&@4kW!wIQjIm9;>^ekHL@=f{%Tl&WurFtP1k=Qr{9{fu-{W6h@h)K{ zn0?o5nl&QIQdWa-1fhkg4xEl_5avxlrxz^(%E=;EfuJ2|O@rftv*t2_%&rjO3SO}aJ7 zF)q=bHF&}ttly8itP0H$*FG0md=E~57Wm%Q&6AVqwWup5fPXXh{-uD zZ;fXX%G=KtMVJaqOPu{u-)Ii1*4Jo+IuzJ@NO!-G7)Vw2^HL(HJXoi`Rw&L>osW9t zM>e3{ScC;7?ol>p_t~8CE2>_3`Wwl%%J+6cgBMKixBhmCg^t%E{)tP+Y(^+2x(KSSC;$``Ruq-M+ALdm41-f8=bmCS>DhpeL* zbm4bI*9nh+JVPl-kiL9SW9CU)#AL;7GenBr8}l;{yF>M*t2?@{s1q7yxJP3w5!pRs z#F4VtL3pt7fKr)%7EJ+k3BeMzMmo%$S*RN*!b<&w{zhI0a3N}TPtj`qs7x%NG7)<#e-NGmm5ZNT+ai-k>ApvU_WfkZIl^oJ6ii3q5AH|-26Gx@fG93T#$QEB z5Gh=sKBZrzbK{=@$%`QJN+6sz=}W#*Tm%ybgC6asXvcP%lbPd0(n7A_hKt9rwdo_m z4lJY`ZdpFh1HQ{KWUo0N;VbtK{zkx=Fzz$95kdjMEW>E1y`QP80o)fC2ycKV&!09U z4q5~HpbB-#iBl4LGT&CKY6xS|`_wd0FV@5-AeX@r=sL%DkyUcIco~o#7K=dZ-gdaH}Gqe-Bv$EKs|NbG!#``M_M$4&cg@YhQho{X{{%f;jEXit(RmBfcVlP<%hV}^=! zDH>HJy8Y)_8Uj1EglvaBYHBXxJNB^$(cxJ|2x6g<;wW`lFK@VwJ>@TKbTnJ%L z7ORjgrJhsa`XbbLa!1Z5?FceQfKHXl3#maZG-9cxINFm`2VyficvM~Sm&ld5 zD|<1WHvh7bQu_-8nY_8E%qNQ@ds*wkKh4l{Dt?)S;*u|u@Qw3AJGzEq)eFZJ+by%TvR$U z9)?s!s1KwGbri)AuOf*g{nccil}`d!Yzm7V{uYDKI+4YrB&ZkA6jIdx9kys9poc!7 z2~uJVu81~5Qud~y!ZN*zMVm>T>in@+MvFOdF<`P}IB`)!0cgm8lh;yb9k-?%fh*mV z*FxD}5u#4+P5AIwQj@XA*qV{Atzdtw7(ll1*%?}0a&a(TbcC;HsZ&FW&-RMJvoD@8 zb*&&z8CM@X&3<9XlA16M6CmvVSbHrmq=$Zq&ERYHhi;F_CR0)=?VKn5{rY5%ka6BN zsxFN36{A%O2_SeU+5Ro=2sqXeWw0XeJ1gpPwezljZnCGnO>cDfK-_c+18wp1cD)@5)_t&9@vqf3$_BU=L-UvV?@1jE?an?e1R zjnv1#k%~|d=e=1XEbVXem5OQ9Scb%OnK<3O~;XtsoVv=hX89!lA5xxH0YpLhkO64@4J8JcV83>@DCGCG=l0s2>x2n9g?{@A6~P0a8avxI!s z4EA#;3!sMc{!#p*AXALOKn- zA*MR^{nFJa{minN%Nw zq&_?Yflm;qVN{v#Ama1{EU5bh-XK9Dx9kusLtvZvPapCW;wh)!$#BW~h*g!*RwY2uAKAbICEIpxu39osAxRlkX zwMjT!^{LS6A6gpIda*Z#G<0uy4S}mO6bXL{l>3K`WsD$5ZFs%o%X)~&9N(}KwNC-<>MIV2D*O7Y{e{UbBWnCE1UwDSVXt7*kZ6}q6AlL`>3R0Kl+ z(_cO3>|f~{vqZu-4s@=&Au_;{^sIibN$g2XV|cLW2^93z{16nz!vXu4cGq_O7JLhz zTlK9$_2^7UiIQ=#ghtrDE*`Vk7`^~nshZ+09D87-RQG|Ez4-^gUG3<=_nUK3DmCAs zpyA8E;q9dXEWhbL)i^*GodIp>9(N}eU;Mmd`C+^4v)N|>aX3LV!p_v}8x*=+jv*F)P zmbjR6DPBpg>zM-<2AwWC92><)-LhemLXAO(f=&@}%JlY8RhRSxq5x|nS?qIDv?XsR z#Yfh>^RA21@6w*pV@=*VT>J0cg`dw`2Am0C;hk$c{m|O-{E3o z8o$*UtqnF7MBEswyjK)B*m!F6#=9jIPHg6%zQ*Hc_@U5JONObj_E@SC7&f6qG3&yN zVlxiyMPZrP=Sn_O$piKjAfY7vujGI@&JPGhC0%aqfig+jDn#-G67!CW!_b_f;R>81 z4fckrHw<_(w(o%rYi?mtcf*bA(d6zVi#zkKr4Ah40I$MZ93004oRw!Ni1SM4Zvf#74KZ<;AvMGgu^VF zG8ag92DIF3O0Ny8t6fn$NRHLZfG@8REVQq$VD4x9Ho-qWL5vneCND5}O?HY5LjF*Z zSj)WsZ2OUi1x{AwCr!>@{G)j^;=yF(GEG zMhuVv2D4Ucnjeeybc{mt&=@fj*yRmP*^VP2GzQlte_+wQdB?eS4~U7^pt;ftDJA@0 zG`&-BW?kF09oy)1>~zeIZQHhO=ZbCHw$ZU|+qRv2x&Qb1H;x)}cU7%gtL8b!7!%7c zS^IXjUf^Fc^9LEypJ6b?4FwaDC3zE)4Y?nc{XyAiA@@@P9u`iyf#B6ia%-N$Z7(C|PulHN908hxfN|$4A69D7&U&ir( zdk&#)wBj2zq4jpB0v5Dsy=xu;O74z3y*HM-fitV*Dl>OThFr;ip~TNvo9;z*0)QM2 z#<-6!mSsQ2^SBR;BzcL@MR{CnK&pmjMl&iDf5RwE@~xT*mXvJH&|B@Bo~?RdrGL5q z)!_O1e%%GVC&VARmA!Z63lH=z?Lk`Ay7s2^3TI0nqVdq4^=>WnlWOn`!!=?ao~a~B zqb4V`7xG9%Q`tBkoIE8{G3=$Zy=w6K3;k(?^r+e{K|MzILnKNJ_ExPsz;8hnQsN9T z(?6Y=_r!%QM zi%{m*3TwX27Ly*s%U}M;bFM*HfdNZ;>ldL9p1D5nSK=HUTE2^ z!61$Xb;eWm9r~-An=`)KU)yq5UgrEX0+m42Pi8!rE8@udGEFf z7sucfVU4q~amc@L$LR|?x3tWGq0>N(uGa_=Q`$V|wgAtU@MzdaiVW|pOgDmx{b!3l z*2@l0RP}*_h1`$;`#Cgi2_3urviZDt#y1l?D(ri|8O7ZG*-xDKcmiw+89o?Ro?Y#{ z2?F&*_=v{5Mvx-#Q>GASr_X<0g!zjRNT#~GT1JBhg*A=eQ)6Nw8*Kl!RJXIdLaN5z zjtrdQ$YTnN^!MG%8LR6do5WYHAbQ?5V#n+J ziR%>b$6p#rmfheoQm@?ll?e`)S;H_R4ZcAYt+`zL{dTNE6Kx*Pog@0Xr~VR~m1-G0 zWqrklOnD*zZ#2cRYv>MMg0!q#=Vkx1ciTK>$ohA9#L-eW)!+f$43)%;a@_Y%#FQh_ zET*Qw7np|CErz>-@}Sbziv_XDAO3%(4gf6JuTlsV>nV3qHVI$@qoUNY=-gvHm^SQ$ z5{G;Qo7ojA%;fon-%o{5x|?Z4JB4uq1ezf8k$;cF)uo8JNjLevfG>~*gS1rtT{O|N zg2~ocJE6;ECNn{3oO8Mu3(>d@uSuYYA5PovhZV3*QL+cU*bectR#LI2u|;HMQYv5d zy~7`rOrQ8w>xx^OsG=c)lrA~$Na1%mI_H?eCR(M&)p@cbv-z-Z0Qsyo(aZe{;9?gu zh_hkHAbQ+t2+2BJ;(X4PR}iH{m-~D><|KVgQ43nE;LEWaOXs?DH~S_azp}Q{PC7K? z50j!><>?3?`W?{MpZWfWiqMh&A=I(Q{x6a zQ}TzIa$oaWTa`082pI67;}C~V$oyvxg?;7>0gH=>L^g;&Y6Y7`oe=^&pEyDw3W3xv zyinK5P4ypX4d?6V0*x4Bp#!bF8S7vZPfWwp=NG80n0k-;7bYb|CUshsN%>Aj%zF2q zz0{{`-Eaj-Qz3p5o+Oo!54!vgspT=BRY43(x@FV**!km7^$9dvGa>5~R&)Dj4S=-m z(&708ejoMu=K%49^+p#U7{SP`9yZHXhuZmmp}uGR1PW`Gs{qDEWREfHfP(*FdKV$t zI!N8e=)M|#GIc86v*it3xKIhNVpa(0#0HYl-kS^Sz}s5N!Lk^P^TPH9X_t2& znuAYpidC7QCdFPJ>-~-48Pdh$i0`3^dJf=_UEAXBaI5kj|Aq%VK%?y>EM^y&H^Min z1f$U~e?H~ZE}$eo*IiqW9Z_g}2PwHUsnjcVeV(rCc769h^Ln#2JK~j-W>iMks}V-H zZLspfV8v}?!p&GB!kqh3VD#Yl_5rQ9+nt3EkfH~JcD}!+AgTupujgz5-0tUFwiQ=6 zsKy^uNAW}FPGmJP_X)xB^noBgp+4L{lWrHh!|Ml^CRI;^1Ajwd9F%y{C1rhr(LeFL*VgeNEci7bl&r4$_%&Pl zg+A2=xOm(ALJ)n52%5G8?p>X(+&2u}Aiz*U9F)78>@F{bmrq|)u({*m=Um>T6}D~h zJsgu{j8*_$=2WsK=meecF6h}P6}#Hf9cDLg$}N;g$M2W*ZNmf?ht$N|s|WI<~1l zR7iDM=+cfTm4IKqToPV`lXefx*M4RP4Y+zrx_bch>8Nfked|LVEgFLKU*R(nK-b$R zdyQtoSh}P_>4e0`JHWnN9$zJV_Y_sgIha<|)7}KB{@}l|tbb-!+Wbxb+;Vk%<#`n( zreGWJQ)PswJteQHJ&(DJ2|^=pufo!r_(Y>QNtXU4CZGD~|5`+cmM)j5 zipK$<+X!85u4i1!_XA;Ie(q<55EhjFwa|>Q2-Uk9*s&x(>_uhJt<8s`a!|4;y4~m0 zqNBU@h$KeF2&JlVV9^hugOUpbGNY2mK9E{kt80X*43YT$E;wxmTBm^qx!2JsRYxR% zW1%Yo{=myx%}5OFWIQ!8;foF@U(b6wJH`drZ>#-IQ<*jjusm64nnOIc&3H;Dw#zBH z2;j3Ak1L^6Bmr5Tj>sl$7Iuz)zV7<=TaGThc=2YzJ9`FW$ykbVHyYu8on+QDfA>9C zU+lSw>HhTgT=45`3vzVm^{iZA{Vplrz4>b(6V}_L@`&SpBRkkIf^k@ZF-wd3mM;U? zOL2!`A|QAtp|k@~Tj^T#ej!My=S4wbMd;V|(&Y7VqAA`Axa7SDN)Yf^5~BqYtdyt= zKBkkhbMR6pS0py;i4uj|1#NXN=;w)896{x|;kd~OfUlwIqxNu6!-US1%->5n9SxhI zFx*aWdw+jje!rT(_Q&vki+c+5qk#ix$cDZtEtS8HpEY)3hY5~HUDw81@NX{iSgf9c zTI6uZ%ElnqDwGJ<7Kqg#Re*sa$c0Ng20z-51i_UiZ>7qCMA(_(OlysmHkKmKsngV`uDm4ucw3EX~|bRje3JL z3I51|-;FM2lYI__@xuXhd6|u27yH0a8RYB)aUBlNnv_=B`A8mNb1BC)q2J02<@8t| ztVdI@KG-;WN_JMYY_%*dy);7K@O7@f9JE-FYZ$pZ`{Z*nEnlsFPaXMH1 zqMpjJ5_JXn9Vy*tBjyM^al?HfH4FksVg*{w$yb|$@;qju9U*|Yh&K8*Phawhzv zXho*rlFbJgdH@qY%(CWbm`o%khzK9xle&WY#!)_CwXfa}E8AzyD0N14fW<$fMq50P z=C9k9?vg4rv-3zFX-u;Gl_p@q-Z*ekW~A>CB2c0ilD80e1Q7};WfU1t*PB=gbp~Zn zlVuZ07ZRZ?JPE+7p?#5|^AnrUQoj=`J83{pb^);*kx*lAS>E z%`4g0iPY4x1zyyu9Xc#1HuN538jkDSPOAeTqoA5}XV#MuqQ}blD=7Nhhd+o#j*udO z3qvZG5?GeVjX!WIs(F&{?IN-nhRDyUz?uok)wWUjmq>h6GfhvKVL?@RY`j&Y^&yNG z!&)}uTE3cG1&Zj}mzqVRF)C?QlbmG4UvexU zWA8rRbLI=H&_#^E7_;|6@3Ive@qG8z;DIM()>FmmAv+AS)3i_IIxTh9lg!0-V#?ql zIYDvVj?V1e2|773a&+K@&UEU|@7Yjyg8$lgs`WKHw)I@Z{vs8JDA#(_->p zJix&S+a5=`Vo4W7_P`<*-o+<2G#K8YsPGN)Q?I< zhu!M1SW1sE9Gpz>M*_jg3X+731tSe2??>c+hp&Hi&fBq0^y|_(_===Z0FvV3^bxq( zyR=?i_>$`(bQMK5^=>}+f}^f4uUU(T@1Db{@8x8FNywx>EPwF9wHCK_npn2$<~AT*AbbN?Q0UNUYA6YvjW2z`eGhjRe2U>VTXmn;h>9^_%+DP#xONQj}uJ(c=0V_EN3JSJ^A;gJ$8OavU^*7%!aU zS*eQ-OXONzmCw=lq$@K?Ub`YgV!tvKXucdY)M!5>JbvY*kWQxXu<3P~#|3DQcP&$KppbD-&t!Pnps+S$ z&S#zKQ&7pEBLyYEP0}|!y~3gK%y5gQrLVqTyQSvzl+*IEzPCX| zcs4_(Jt_&>V{B} zM2}!vrWH|EZnUQ^b}tZz1^5jk`fOP5E0W@KC#VbcY{!d_ozK<5t}rM=2*ljK(?v74 z+!tQsDx07HD5-{MA@phdQ((@LJqh*i1r5Bp?4FAe`3mZZ<{1SgFcWvY6TBX{Jq1M` zM`NJpFQB^iKM0gLU*cX63{S9Qp41HGws*QLZ#y4+uW|1U2&PfmCMbQ|O;1DiDANTZ z0BT&ZhP*%dxHl82tkoQs3Eu)Cjqv*KgrUv@#U{ z*cCqL(#vz5(ZI zjtpj!tYFT)&6#er79LY5<@AGyG*NRE)jpzz1X5n!NquLS#|kSKGjl8t9f2|cPBe9N zs>PziS+2ZW0Qa9W4S{p+9Utun=<8plqX^p)xXzGK9h_XJr^wG7=kfsraStGWk&G6& z&RF10Cu2Aa*(60%md=06OZrQp747R_=QeYq@c4td9#Babj`+O`H>N2W1k_iws~k=X z*M+tsp(11S5$)wC38=s_H0ovoYGM~r$l`NBSvTf}DzWH^+LjWp2=4y_T^vig!nWd?Z4HtE^eknZ(E3Je z-N2fCZ4qi{+3;seb_%9WuUGG^!6EE`(ldAEmYO2$Z*j9-2!8m(n0mLuD;D#HKX{tC zIUbabxRJw%L=zK@#ECOZEl}Xxu?H|GV=MVuZ3GaH9S7pbCZ~o2Q(okJ8W=$Zig77I zL6s5^!dbaO(T4`=1@Y+tAY`kXZn>A&AvGF#Mj?u(WO18doe^(p{k!7kHkG(&)NK)AWSN0xGD>H-j%npLrAdM>oY z?qW{3+|u~~Q-4qR=l@UAD3xcVa^RADjeOPF-U5M1d2mI;=Rg6r&S&PnUyQ{gfx_?) z?C>I#xC6(wVtBoJWb?)?3AK$A8JUR{K#e0HJK+ty2{V&V9K3DF8A_-?YWpgAPAi*u4_Q+OHcOfSEQ*#PI9D6I~ht1}g8s z8Bs3G%98!mJmrz`n4MS^iCy3xL?qqAs~t-Ia9nT+J_5xk-i}q?h!W;gNRh2>ZEQ?p zuAm{z__BVK0B{IhPkBYs;>@{THYU>sp@=+GAgaKx#hg4HTx#t5yLecmeN_&2G3()SwFR0^m|C zUwzl+h-Zk-)aAg+tDfLpw=H|z-m`Vz7}-p{LpGXR0L2UMy0$!U&P<#zhj&|>3LS{SsE@A$0VcfddgbYoVQ7p9%2ykZV z@d48MvTeL_KDpAKR{;tBY}w_83VJA(kv~&Nm`RI662@}5)tzw@4B(G56m^CP+-47cAO0;;+z%)1Lj-0atf)FKMIn{Nx$obdb~x2C(kk=Y2+xR~~DWScRgNcp-* z29yK_kv_&DF{xdgF#Y)x>b^k3Z5n;`%LbjW_ue};C!3?K-~Z?dqD`}4Kq2`?`Ra;Q zROROLLNi35{TO-6qvoJF8B%;gj1R6-0nl+%G9Nb-P2mb85wguPUyn`-6XJgiGM$M2 zC&9Z34R#8Yu+1^M@GWyf#P4oNkHn4p_cYjn*#{Bns)*N+~@JuCcH)mT^Gcm6xqZq8%bxuEb`IK^&J%HCQSF z6cd&z6CEZ76P9HElVHJydwRNS2Hdkb1O$lm9>D9t$H8xht*)${34)HhzfRx0btOckuFA(@giLHHNlo1b0()IOrtl{ ze-apCUdv9jO*^v)Wqi9^x)unBkV<&_@|uKKU^jG_dp~dZ@La-5fsv9Lp9`6jhGRC8 zp`yH?6W-l1x4j_tS0^*gw&CZ>1iG!5M^$G(GBWw_r8q$Qau)9V>3}?jVv;ml$a)?W z^Den`X}3BaRXpPlTIR-ZCV0oLL`pIG8luZfA~8qe7H=ODcB0Tefe_RUY2FZq9_p5; z6+RE}pk6=)Io6CROKiauvv1~Tjd%RXYRT;tomz%Jd?(^>ADmWWqA~W7dvu(4_;TQ? zOX7B9Eg67*>-u-EOSc!tQ`X~T5KjS9$DxqViPR$x(bEJZ@!MBS=2uLP^hpC^4`O|v z;E^_{j!9xBtJLM6)v_9_ukMS`Yr|hj+_C|*Mo!k$Ba4@R+s(b$mQMTKuLSo!{uUsb zg6ql@kLug%&_$l#@)|EcTT>$3yOo0DN_1z-%1!{7D0Ox(JRB@uBkX@dEa&D^8sEOu zJQy^#HMX{+-5Xm+(PY>9Q$*Wo6&ENN5;S$rB%%USkZ{7g?u0(FHKrnj{*l$r`(Rs> zm_Fw%ubva8L=o$j`#Fp;#i54{ACUK!pE(PM7bQ}E681LY!_;g>h1gn*h>|rKk;iG$ zGXDTtNaPR6N+NWq#)RgxvYtd+biz1h(;2RlU_?$+9*(eDYh;Y~AtKD%>KUSS+Zh!@ z=*`+xq?w?|O}*ui^y=4USp2mXr3ApI9n%dyOohKoEeSQ?dpvq1&PrEWNTnD&)EB5S&)p7g43LiNfy9y z667>=uTd%Q!DQ{T_dh9VK*D`2rsd;ijzf0Up84~7ILt$-njc;m#SF1NxCcowU(CSO zwfr#5-&W)aphCfV16KKSuG|8erlqb1uYVECm82Ibt$?1Cg7hb%=#(?q>G{XJU3(u4 z1`qZe>V~BWZ6*7~!N;}2Y$d9}om@bvuqD+}zJ_6vq2Ss&TjGhOC4QyDGA2v!ffU~} z-5)t@3F@jP$rsTpY$Y-HK3&bB{sT14`EHC*fvPHurB+oEQ#ql?CM;X4a})D58J1bN z#3a+8-;yci>?Y)yzbeU2Zo=huJGO5Ojf-?IfDpQLP}PMIv0maGAmJk{?B)P$KHBHj zDL|=*;#j7~bT=5|ecY73%ZQQN%}N6e(t#zG^?9TO(I|_A=f|fRIg6a$_xJQNx@syD zsz6GUw1p}rW>27UQsaudrMv??Xkt^`4<~1%>;-t0eeB&o zhZ4MpWFAAqloO_4Rp6VuU*Z5%coG_AnecM?v>b$-xp8|?VHWHptzP4&hZWQT826g^ zA&7&6QEU7&|Bx6w*FZtiWx++pU%b=Zy0`zf^&D?6(e=?)5Wxpl4PS;3;?L>TJ)nYj zQ7_}7fr|8`&*y)NC3K26>Uevd*50puW(eTUiz-{))Nj@86SC6O60!hkcK^3XQ=9fz zAC`7eNKC#c*u=xWG?N6$t`L!-S~*Lp*f)@|uDKl)f7~l9Z@4`^E{s1GLNPRLD%!`w z(dj}Iml&NQljLo-!)3OnK$-FYt{=D{br9I}~>EGTece=XC_EEpWvy4hV(q&Us0OZ`K4GnCjCfd5J-sC(Wu-bedcSknY{^k8|t{2`0I zu|G#8M+6D)M9l_N>Q+1!KhYLQblqc|d_4R$b+R+B;L7!_xm!zgFSQ%rRdgWn`cd4( z9gtJ7psQ-CD|Czp;R{U-e(3w38bo=U;ipE?Xt8F1LHhDS@CeNc)~8RhXTN>!Bb5v5_rD$O-$W`lqpWca zv2^yK4dG;ubWCcSnFAS6eA@;PMD}s}OadkphV|6HH?yA@gejd?M*KY-moEPqrn8oa zDs_oxGMrq=b1=Ei#x8nm0r+|(e2f3=m`&>wW8%c2mK@*s!m6XY(bpy9Fa~DSvZ1Qw zKfxrDH?j=*(Oi&~lqcUmD9h&Z7ZD8l@vE}IsX<}uhm(#s^xf%s^2=#{{s4Nds;RG|M#n)ddhxV9KSo zS1%N8L$Z$ThA)5|Su<921bY133&xYC0ryxos|4PYcaD0#

Emx!NK7T)Se?-p3hV z3BeCdTkXF*qEKGy0Yrqi6#n!fNXPcT|7znS^zpJbBB1HdCS|ubKZL$fWqaSANY%(X z9`ET`c|SkKce5N=XMw@OEH%(PLO6?{+#qF_Mg@DM-9p{%vJ<_3GVcXxNEmM+ykFbl zK5T{Qms`-6S@RrJP)Ntwtxe2fBDcyx&TUrHE$Zzu(9~>}&!H+A-Y6Ky6mE&1X}1~WOAGdO%+Ay%(zvjiio+Y} z;gIT_$HvrTWRcS*MuW+BpzGsG;hU-&^}An;h)ZHCO6_^Ubm`qjW*Xe?+NO$A@)+#8k%5D9;0_U?Fy-9U{`0TmkzNeVs^C2_g)6u>zC<>*dzY${ zh4QZXp(~_?fZenWqs0OJ?ry4cU0&mK(iFuMgZ?lC%#prSU!wc{CPTv2o(}%<*tq=g z&#G~}&gd;D2_p0h4ZyjbxbbzP{)?1PMVY5($uH_89@Rz1nTTOPL7ZGT!Aw9TZs2$a zrPFF_7|1blGL4rLh}|;^x*^4~Lt??NeZe$LhQI0-=fTO;kDozwcX3K(AZX-1po&0+ zz-l4@2pm8XGSI*_!S7h=s-pGji)=@uDiE}a3+nZ>7nP23HmwdM`tKy%zPWKU5f!#x zP|M2SR0V-G6AgQW%mAW3tk%zp=$8!}a>3?k8?}Dy(yj)|nEKz1pIm0o`n!q|2;~u5 zNx)_SnNHG+%3XhbYWo{3W#qIa>thCb(})*FqC#x zk5nszop#(&B&*(#ys<=4B1pjVUs1ZAnRJ*HL=fYYvK+~|Si(gqk>)aig=7I2Rp>t& z%N4@VVs=els@$$a2TL9AR=iACTyRCX#8W7_;kTl43V%{`7{|nM;segIpSrg)rOC>2 z?#YOzlD5>RzZgr|M+R&2T9JByqvN^kQV>aJs|3m(6e1|Bt8nJ>4}Xx)_)pXU<_}YI zE}*AAau}G>%XhkWu0<>6hnKZo{MNe}Dr`R3&OT*U8vH=^;-IDk3mj<__w+2y=%5?b z*$TLy{o)4lpA|9`VF=C)MU4R1=VD{?y!8gI{M3{LrCz7GpJz6grB4Akrc3|CW<5<% z&5=$vjOG}iZqk*2A&gT@{4Rc#9aR3rklz3BucDIsjm&`(=nux|@SDcB95?ufVoG^9 zk65(rX88RXhTnG2I>%B;AnJ>b(6~1ciJVGsrPy2ntm;EeLT-#8YBvc@>ra|*k_~Gx z(ljSa4OWsW>RXN~O=tiZ(TOupF)K;e(SurP0z9xThUmv=b1_rpsU1x|@zq!!4 zdcQ%&o%lkU1U%qtxJL}gs4lO>-=o^@{kN-EzenPc+QA2q-??}RP?q_iaXKcOWn|>iWJpqUSN9xbPzXH_>P5QXDf?EBLAN_KWHjm{-x<^1AR& zO$Jxb3ul=2fp;%|?y;@T%ARmUdIO58Ak;WL!B%82^#uc@6nYB`$ z&yH0KNWmU}kEY!N7@`kNDlvk~DH`NNH75PA;w%Vs9|_vqhN~S;^xx# zSq50V0}{xLovf@^VdqAbD)xh+kv!~?QDG4{lkR{9dza*kf)J(&}l=b<=x#{TAa;uu{9NX@UUBE)-M$LEXH!?KWAYB{ul zs`#d1!m3nmFg$aU%LoN?$8B4&nR zGp^9}M*as{4?>F8Bd_))$qFvkxXuI-DLSOr#WS8+gM`+$O56u$mleAf5;R>N?`JcT z-oKq|j;vvbC!U~hfFf4s4Rb+G)HkI7bOcz`dnjLp1GuZCdkPPgHWpaa(tRKf2+7b= zwmZH|jFMaDPDS4}cjI0cF9qdJDEIv{>*fgV1XF~rG$OKGIBfQnHXg2QyUDU|EetM#aNAl8cgS&9WY99=}o`@Xd~}^4lC- zm&h3@AupUz_CjReq<1*R+dtnLe%l-IVC43DY@1+s-4~ZLTBA|T2d6SxL;atGjwTLa zCYtMtSS}WGmMLqqwxB8k>d&ghJ_`f~)SfV7Ur?$;$kH9EX{3n^%H+9l6&&k96^P4CcaeawuGNp3#W>wr(({g?1c;vxV(caaceY^N_ zi?BxK2z$nHo?$`eBM!LBz;H(L=mr=F-t2dV`-WGiIES6c+gc<5)|xwYkr|5LEE_nw zdS*rWuITe8b83gGv{sz>=$2H(4A#aZl~s`gjY)C8iDIS-s%ChTYpb79m*)xzikiEr$y{}tk#zi`}3Oqx{#f0 zhkp^-zcEESVl1OGU-xI9cY4;FD*md8M}MK<-j~gFD4@Sa@6Ke)3p3(yw3Ir*g)UK3 zqU_G(F&CZB+m5Fb-9NN96gqjnUn#MBjj289SH3jczp~r|oSk5UiLLi4Ykl#m;s9Hs zklx88JptGty?RF^mO)s(vRok|(y2yDwGE0R_7T<0Z(nVR0}~=9YLbqZr~?bg72yQG zMiuD@EZ1wb0L;_lwV9^T6LoYgM$&i~nhC=OO9yqe%sC)oM$#`|>Ro^9 z?c@zR&L#;!Tg=slX2KsubwW7IH?-)zcP-J15!Z@|3tlqtXh>5d}QKS}4lbGK7 zWz-+JjgqxDs8}wfcDrYGb2!Sq@ z&yAH{VF24_88c1UhF1%)f}bmIw;wAKJE(0n+y~1se3`Xb=z~cj0T%? z8fL;+;)`;yz=Pd&YW@+@y_mGvR-*Wf}gNulOc=;>@mT*QX68-at>3@z@! zWd>QmRrXhBKNNa$&h6>zwnkoJAsOFUNOu^qSC^Me65?iG2A;0rK(1I|X1tFEx zu>MLF*^bzn6bj>|*`FAiBnsOAqW?;AVdgMfpjJjgK=s1zE!^SpDJPX6#1k6m7-5Bm z5xppc8Om@}xjx84=9{HLJ}JGg`2jg`X3;I{e3=WN_V+%-Ac*-n*y0iz!3BYOMWD`JwrqKVfPKtLo7xX{fd4Jj z8nRw7JqCszVUz7Y{h!41GrV!Dac`>@mZb;yH_ZLS+T^U~cDw|ajrj?~O7mfLDaFSP zZ-iOHCp~{IgsN~eZvDLk%-J*|m?TVT<6uo~LkgB|`B&x0S|OkaAX?)Ds2x&a{lj^aWzyGRK*oh?*vF**f5HHhCt7CYoj5S_dzLCV162u^Bd5;x+SA`p7Cl$^)0|fuOhX*a$ z>u6Aj6@&O+8~yC$V5kkPh||3zGVbBB(oax>UlEcMB;T393P7dbtC=_S%`ek=Nb zK;;iVN@M}<=UJYyR)=JXUCSmI0+l=$Rj+(*wCcp`P+mA{VLLpm@r#z`s!}EWF$XYC za&nwh4g~ho2HR>2{^Lg?!=Nf1V0>C@6Kpkq*$>zWqoZh6Rb%9Y>*M;yR1?0yxA|4>$%pstg|(@ z8s@W`SFvhu?eQ5fIK_-+$1adpm;pZc2Q-7z+~X@j;8Qw$mGEh*%5sLzE;)R)qQ4Kz zm<~YY0Vlu*#c_wiz`4e>(o4KTYA9#GYGo-F!k~V5Y0V8$a)@%@b9ex0t^vnp zw;dk1((tj?wd4izu(xH+A_*smu{LH8;lDO7P0B_YpYI?)K(BwDvU^hvGQiyd)0O?u ztUNF3+EFZq_zJ)DgGLQ8%BGZ*rK7jCUS7)?coQ;iG=msxGTbta;{uq9$5~`V*~rp7 zX%y6_oZo&rc$0r`P}Ou2or?H~c7gaAibtiAbZ;cE51ErkPqbvr0K>|Zco6lQ7m5F^ z%M;R&onvnH2Zd%o>kh%LPW6@_V50O4i13u68}N{#3;drBXjIWo%^1G5#=E|Q2=CL* z*L!yx`b&ON2HV zL1lShj?z5JEf@wTy)g`a==+}p+1ox-98IpqzKL z=j;el`@!yis`h$0h`F{~bjrE$LL!z}W);_ScwL3!$Ll6zwk26?&oc^u4O%X|*+V&m zt@~jYQiY z=s!TvNQiL#avhDNOFq+24auaD3+RNA|3F$Vks8$B#pW=%LIiQ)+bu1hJBd&Dw13UO;9VP{M&5h|QmADwXO3kLv4tOZNV3fm6bPe1I>}3|!6l<_iR$OK=(& z$JURbADVUNZ+&5rLiT6S<*m{$;HOScYaNIF4@u`$K?8#9aZr;D;WQ=8Y)4L39D=Jk zgbjBaD=$?|Xvcmlat*8g27(B5es+@vdVPfnv*qttj|8M|lVNH~oe3Z{X^F2}bo95) zMXBr2=j)pTK>*DG=R53r9CE#{-j{SJao_+XdyKJ0;!Hb+UB^?;bk=wr49-T$nq^6*7{MB zOso3gCq@6ST6?+xLbEZ~+r%XjJcgf;T_H(KF=IX5HIY&fM!PY8g@Y{O%xz)L0 zy9u?Vq{5;Sh(bG)$BwqoSb=t=iQC<=z-$7 zHGw8_55PEiJe_|wjfc{Mq7mJ9F=_d@aqQgD;qdV_C?4u}mBzD|um6PrJ%o>XX7lma za(DWzgb2s}w^V%HvBNMGR*=|1iFk=xWpxlw$)Z3`f@R*cdDF~sqsGZSutgs1>$B}I zh_jZqFo6?8bYG{b?=&#I>BDGkpg#LK3g8OZdBC)J(CP6(--Dxu{u_H0{im02-@}Ym z^8JuX_qg;zp)JP(I@LVI+X*$k)`N3#e4cW4+klMI(=pYQ(3u;BY;GdjA zkVISWm)#`ieFG+ixQ6LU>ysgddreNLiVVmJ^GVR7gCk%^jeB4AD)$~Q-y`6j6_}W+ zbO5SezN;_UMv;uU_%>#Me9YdyJ=1A3S?Sng|sQ^~NEc;=M z(WNn-C#S*jcVqWTx48)4H{5)hay=S7?bozU^i3UO-a$S#I{w{5%Ay;vjVJv9B0xm) zm3I(2^`0tM${Z6>aBJtnMdD$+yrN!>7R2fDCYhh^QFDst7aoMG9IFKL)a}gyw2o!SY|#ZT)J|muHLp!D`2Aw;)8+ebukiw>{YiZ|77nw}SHn0=3dc zvu>0l?Zfcx-G!l3@CsUxth10o0f3JIDk%i*_ifX;A*A(s0QU_pcn3zT`Hr-`t}PH9bi-k(rm7^0>g`4Q6685`4= z`&E%ew~&MFnIQ+yOJ%CzS>xagZub&>L`1d>6e4P-W2_-8o;gRLbLjbny{ul@MgYU? zmcmRcncLqyBTUA6Eh`Ti=~q5BW`38s^AY( z#M*<~T=A)u*G*p>@JN?U)!N9G^gz-QD4}6+>u7fXkZ)1#^OJH(@uc;TKIohZf{1d)5)?T9$q1SAEdv z6pLGD7p+0uE<^C33GVLh?(Q~t z0>Syb_jdp8{_|&UpQ`SXTeojdSD$GqFOek!xyDWpn5`($j{rqohoY(F#o0KA6=!J7 zr|RbE3~)~;kqQqe#$4;*cY;n&2D<7!P07N7!?xgRfI_7cRQ&Y3x$aNQ_nP)<=~RrS zS%fAtTK=-YCWU_f<2fS=jYU}|>~jV9kT0Qg#srKK$hmM~HsGh5I%`rJyA15xFU1cK zSJ)_$*!tXIBnQjfJpPmLi9*;(6~qXM9njxD&wK_Btx;b2R#;KPn%@?!Kl~?t>#gmv zb;S0iA=>u{=k<_AtCLld<7$KyyLXft43qIu(sqSbU1&kz%<#r=9YR`TKddzl+;9|C z8?3B>#-0$Scr#{fk*w?JRtmKIqt~NHCH_DjB0L_iOuaNWcx1EY`GMJH>yKbZ&{#Kg zD1IJ`On_f7wE4Kq!r7WgmiSZhG(F#C$Ksugf-+rmOxuA-kz$mlO$DnKu6W3$^(bo# z5rL4{9LNTy+F5q+)?#TX>dH zA}u)tMyJefyT_}(ELI-|l|%)DEFW8@?;DDX%;_lHWlPqO|J6TN>GkQ%Vlu+BcTKMC zN-4N@yiE!{l`)+d8mwL0-=<_iq_bNrQ^h8yPkAz79+_F#@s-I1<~Ql5xN;L3>tPJ7 zQMkExj*%)ZIpFg(bPSW6K0tghjoMM4S2dfuGKdycNN&A4M(x`>?t|wJdigSxL2Y=* z{c{{+s;Y=Z?wMWmpUeO1`ASA1@IEx1ROI_nxKhN!4yI|~y?Mm5GYjhyA)1z+mrjb7 z?FBJZG-UYiY(Kp?x&7IO{)R=)(S|pQyn?)K;HFlTc*ni*(Xcc~_^0rXi1oR;+sAQY z-OBw1==7qn_by5kJj*dOLa8L3lw^x@E%R!_KTlQ9fnLPTw`Esxs)B`@q#>n@6`+-o zPuI-fkW5TPWGq!K?x?7Tk!a=9hxL+wS8E6vM(C;3kGT6;YYM4D;a6N)(;KoYN0E#}FfNt=rzm zuXW9Wm%nDv@QsYW6B<)k>`}*bl{bGy{pzBxK}x?y)wrAJPy~uL_5X@+5sQ@@{Og?L zH`|EL?Ug*XKQT#`WyXiooo}`e#&|h4SKx1#h?nHqf{;UvH>a<%xSggR}t77rUtDYl{s!GgQ zQje;#vSBWD$%xWVThAJ+SzIbB|c*R)uSHHZ9q1#9utpfpT8m6SJ!q@m4u9 zw814IJ1k|zk4qJc*&BLyN4aX0DIL0boWjqtilOw{IKi|QPamj9q?TMevjc3utFav5 z(e&!|#lm>Pi)`b?hSO{nzw-T(jo?ap2l|oZ4k5Ii1S2_2$9Kg$$n7u`x1893EcW2U znCO>hZC-;P^wCT7a9H{KGMTD?*25{Oju7P5OvFYdrt-oie@sW6*L933=}2hu@A|YX zYl-F%+KKoI_Z#I0x$T*U3<+Qj=8r)_zDb&WTo&to9^Bm?nwyK%%Rzgm{RTPqq+hv8 z#YzOGL(EMk11y)k?hosJ#AEd+*@V;{@ySG?5@g!d)F?Y-3Wocsl{-@?&#C4yR02_a z$ibv$1nRUem&)1=ZOuFQnnkr(icwtnC}D^e7&cj15l~n)ktp9rWH5o#aC7?f=;wP! zviUQVS}|lnuzXD69)0QzRK+2oP(;;Gd*-P;e4Sj^G)g9&?G(kwka=h`uNX@ZOKg0N z$$sDBhhWgW-)agaT7HZU>h^l!XMZ|(%tcn7E3gwgo8kWc=Qv|LBF@Ydm@@(~(fmcB zeY3xHl=;p;1y^5GG+F~lGJSeM65CAltWhAXzTcsx$ZXEbWZv0_1BL~;*j$B)qM-6j zijfT_{eF^E1?2s15{Yj5blKF5u^h*IEb#=^ZjLz?S!F=z#S#Kg zFL}+w>Q6q@B1VYLw8!*aTt$56Q2vjA=mFvDR=s@ovKv)2*QX`D;l-TuY71~u5;i%a z>{#a)&I(gNTS~pxk)bCm?IOJKh>0LJA(L$QO3f{$eJvYsd#-7(Fv)_-mshqkWoD$# zEN~82Bj^j_$Hi`Wt#D57j2G?VkYZ}ihqOdBSy8!$v0luZ)Ue>(NQ-8S+Znp;A&=9jqjxlQWg!8)h0xKAU67_kCNB(*Vx+DQvaPf`dlFJ^-8`HFHN)`0e>bD!re?7&!ZJJS_j z+m_TvZJ&&w6E#p7+9ik}hNm$6ai9xrE9%eGCG zS57GlQ9I}<$H<5PmSy8_^?t#|HpxU#P`0}-?jzv=meMS#x*J~goiaEsyNzghM?$V) zHsd~8yIC|5uetG%^u{)P6GzRRvI*J?zS4QzC4JDB@56$0PFdeGszwvw{>(!IbJM2X z3D?J#EfPgyNB>AC|3DM9Y7&Vcn5k7({VbRyB9NJ^q5TRk6L!!=doGfmfQYRH4s;x@B;q_p5WZ zU3%JCUo}OqsD-qwTqx!;W%d2{@_|X9C^d25OZ{+CNS?4LCV#e>J`$gM?~!{#qB4<~ zV7Rm`Gf1<5fg54a@Zchml8GT5M|bQ?aC(*c4~4toTb9y&Yd(}Z3CAk&$_xEA5^a2K zUVIgFG?*}0uAxQL-KahRzmlONsXTISw(tP0PxR2{(xMpD+8?ERjn>Jg!%&lo_C8bq zr`q6>x|dc4k~DqB2}~hlSHlHaZF{qE`<;(qgx7sOA$b|138&&h-AAcD51X=fRt;O( zSZaLJ{^__~w2r+I+#^NJl!_&#$-(%(d#DV)JaAfngMCCme{1EH+4u*hvBz+Fkl6J# zOfNk^mi+EuG7chuQp`Y^3t9BQlv@@GXr$l!9vyCN^5_Vjvq#C8gzl?>sO5LedyybJ z=k(*{Uc(UvPlPlLY}nxKu|$24cX9(#sJD2&;w6v5rJT!K>MLSToRSB=JcD;ZPOQ5(v z)K{jJ^4xK>KrNyw^jwBtlV***46s4PcD^bXP1vkzewQ75n_&OtdZ)+kdoSLvUmVuo zZe(eTn5P|*Mr|>8Qd$Qn+Xrd!Mb#o)G?tR{~4;rbop% zBJP#q_<@P4LD1*~OV3d(F{D03IprMJTq-n~0bX#jvQYtn#ZZ$#5|>qmXJ$aIRHi>S zPg~;o2rC5s&}@|?DxDPD-HbZCcUpEeBv5n*9G3lx%#fM7CJqRt=u82E8g5o93?8U? zl(gVzdUmR@Lqy1W+aYl<2YLiLqdZKEdomQfOMYQtz(_ai^& z2xbU2YO89Ql+k*&)#c$$9Q=6|`*Odc>7xb`Qr|o%b;V+c2{{(r@q#~HAk#TFZ&!78 zSdide#7ml#8fV%K_7XA|qKY z+lVK7nFH6?`~t*sC16p967i93+X{ACb<|b@RwoT z6NK(PM)b7$biT&WIzn6Jd7a0Y2nD;Dl8XX(9ir5#A(9vV+}w!R3G;fz^aD9U_}z}0 zP7TxY_g!ZQw|!tRVCAg#N4d8$(W;U5^0YT|fDh$k0gX&zGcrR2yq!Cb$?yO}iOIE4 zNEB`a9={K&q6pGa&9ytalQBU=;c%D=3gI&XJOMcEnH&aOY(J$ZEWVG zFEpLKmMRIE-H^FX0{JY5&=wq3D}uYczWU5g{2uh&C9BWLA<6wBYVYb_idrS) z`SoPX;k+e@i6^lbp15eka%Up(2XfEgGI9Pat|m@*Lbm&##A)*A>S@61m2N1Xh`vEm z_JE%vToS9_QY-c+70A0x+2wx{h}Sc`qXV_`&BW5 zTb%ZH#&=B9iRlkDXk+F<8Q-7#Tg9|((0&LniJ$*i-~TgF;c=-`JtEHyc~Q+gSoHg} zimED42&go8PF^-5>ThUQMN<{L)Tf?8Dp=()_SmTpt)#{?B+8sQtd*EpgoQ+;#v^Zr z{ZKb&8=C->R=u2593dbFh8CjVY$e~3$dA-Z!RufXl!Ha&_yz66uG=9TW@?ri_oD3b zs)Jgk`BU%Rnok#}y1}xyv+KeV-yneUGtkv9K!SsXtDtNMsUCOOgd|h z3Kx_LM&eDNN~Frbn#>f?x0C8}{uk{QEvm=2>cFwmXzz1h(j0|5=y1pnD?U6{92zXN zkd&3bYWqF>F}+E)Y>rc(qB~IXFCF`V?mu;keQGGhrMsioEvCDpwjDjR$Co=aq`HyY zf%t^?Xv8?UvMfsgd>8Wj1nUpT<@c`I<#aO~U#%qbS-7irYbhD88nV9wiuvnH!jY#) zzsvJDTdls!w0(p7;^XgH3?ZmJwnM=)A78g+hylLkr;Z5?# zJin=&3{Tp&C>{E%E2glp>~Cye{vvP5=(yg0if^`u=d~p6ari;1-{Rol9|98+ahCDS zI-u-Hm21rz?`3sVK}4+7`L>eL{%VB#^mWea-oN$jAqx1~zW)o^-;g8jeNfXz2(&zr zSYn&rw+9vyKJT`#r<7XF7dh2b-Puma5TkurErR0)@)fihgY}kT+{%#a4D0tb9u4L0 zx%^+_+g<8jXJjW{7K%~@NCO*g6w{}=)+-nyQX{)Knsy5ZE1JESx$og=-J5npk2SN< zE=MDMnsyhFS9%f84onXoqwOG=flL&Cwg|+~ziNW`&t%5%AlK)<-aT+`FpDSZ=`IMZ zlm)LiLrxxtAI5lFPez0v+E0sPGIv?E@*WBrb~iLQp|^#VEZ3?*w1&GZ zn^^shM7xnJGqZ}1%o1`Ipdma;Oh<@l@w+F1<&NDf5~Sb0I7FheKGey z{<)56NcKwLKGdpm!X>lXT7b6b8X8;ad7D|bg5AXi{q<({?B(A8gZIY$*srNP*kn447)GzIk2XUmaoBb)HZ(eNp!>-|q>3)!IiNVHX>slt#Y#UC&ld@Kk{jS9d z!y!*R%}a9#G;dVi7*K|kIjN0zI`NHuG@wV)tVfcPs<_d4X_;S>#!R}WGI!qr11?LU z$0`(;_W(b|sY`sPqBTvDA#QdO0D0R=1aK5+SP{}w_qd)NN$a3Oa)=x%!1Y8 z0q#c@j=6h6VN2NYfOi1jgQ}fuYK`<5C$NnM0=@ge$H|oLIxyqRxf;t9LI@o&lZBt$st@#C? zSOJ<(!>!=r)MdA+ zdm3?8s&GX2Xy<2qBeYYakshI^S0!PnBO5b+pZ}rPRAk2Ro4Tj8O! zBcp`u4jL`#>gl><#`&61GT=|U{PBWl$*{?*J3{$bIgRN^4I1%BPLO_ZuPa(mP3fLE)Ibrfm&JI8@CLf;WdDW z>g*qv@WSE}XWMpi=(GqC{Jw2+v@Q^?l_JgAN^GaV!e=F22dNPdIm<@hDj zYj;cWL(FIEnkDEHBZc^d0yn}ZAJM5d0hImq9a6queAWcrQ6Zx`mss~SUgk&oTjg?H zEr{(!jYhmHSBO6#-k3OZjDEJcNRt6VRO20a z*0fXWZ5F$z?{^kEH`$;Bk&*Dj8ApYWL$==xc83(N)rg@&83L4?iE9-cFG}Egsg*@h zf@G>=`gSLMRx;o$W*E8TpV087&k62${5hnc(k@3DFyen7=WiCVB$r}#fjM0~n=A-M zFHX5^yxr`oWIQAr@hiyIV)TLW4pNLmJO!yT>G&*zG>tG^Jcei3URrL0zAT@cP^+N(BKYf56Umn}YM3#=v zZ&%%F)`kFVA8VM`%@{sDA7He)=E-Dk-N1=ic`TMAaO@R}FfrufR{i)C>90W}EZ{RO zg$t(`N5?zsY6nJ`Vb;o0a~pizVm|+7TR#!=weefx3=b#4s-;wj-Z<>1HKq-C!%pXb zN{3K;`ley#;^LpYF7ivjt^7yv)@V_II@CV)LM$P(jnS0PM(zqxaZ$M;b;t0~N%tua zbX0?fVhluex@KU>B{Oa6nkDk5UD!-beA_~syBu@7a19UiNc@Vg{W1Dtrcz~O>;)E6 zlSoVPbQetDAxlNygmEQZbc3g~6A6C|C=*{XWmMuk@_^52MrKNYZ?DHfnZNGvko=q7 z)Q6bDqMt5JroB=^nMiti;2(6k>c;Ij`C(uw4Wv~)g7J-)!O2W#-Z!lG$IyXXG}y%t zcXZ$=#@}f5h$|DwR>+4<7eAU`h%dl~|8g{>wYwAzWM!zOj`23nO44WD$fF266ISo-7~b9N86faW2=tdZc$ zA*2OkbB2w;fRsZ(+71f-sHfMC?PTL{(D|d$)o8kW9oL-k56r}9z$Zao*00sBAqwR) zLr(xiRmrEmZtOL=SS7N<0KvkNtSnbO@YXqV&87d;!tTSjOOMwEnXN3 z8$W@U$Ql-Ofn5P3!s)km-oUcPz=oNC_QfilxY&uu^Pwv^^A}Bgv7ZlXQ)d+fIr{dU zKY^D%9s>LP%)~cYStve=a^XTHfYT{Bnefm%55&6#6T6_~vT)Fyfkp`vf2+<0Nnayl zxO$;MBSCVy`-<)OJqr>~lh;I$;I&}yZbJ-{Dw{_Pa2>_{vvz0eHM~#B)1J)?z5sk< z;(o_%x@;8s)4&lf)jp0XcwOHB*FYgqK3PxaG1J%9%0@n1%-$kU{I)+WN6g+CQFH8j zg8sLbA36JxiQdXwUCT?Kzm_}&e#$iHcUoHI+1vjZ$-_lMvmeQ-V3Rw;e3CdTg2%X` zarvT{1B{7MPP);G`j5vQgRRNLVtTGC#&Fc&(gwLfnD3?f3kwakN zN#=>E%pyn03zsKbvS38#R0Kp|<7gP#h3f+pum5d9u6BCI!hL(6-`dy@Q}Lc!{sk-6 zy9dY`s3lf$a39Ez;$6Sbx+yqtlKMGVi}>jauix`FVv0AdI%ab**vM?`C)e4=koilm z)Ib0EO;X2|PWGI$Xg$xR?A)3xt|ESmfqR zu+FyTDW+~(CLz5>%4<%BfQ{6T$U;LR0skbupEB6mDMtHc_A2O60n07jRi@}=yAf%0 zCVnFk8$kBKm#TV|Y_I9l{^sMkg-1gX)Yc3%>&jxVv~_JpvFu(-%;;%EShVvVl;{E@ z6;0Z&{r=$x@2Opdd`TGzsqd{fe_A}a?67=~rRzAHmCmf9LV~%UjD>Ckd^#JH=zlE8 z=2W3FOc0b9{hpUhz;ql651TzblZQz`%;uW~X)_P>fnm^I-i~rDXwM?{w&G+sJ zp41vI5S!`SlH>ka39?yb2s1Ah!3bhkDe2G66NvS8~-_4b+M2nM6 zM>^qabtEVPKLr4~lkTE?ICn5<_bE<6{S5~cGb{(1w!mRFC<(@kDW*O~n316I?e=>J zH(8cn?zWbkA+enKVuvVWky?B_X%F#ys7&zzCOOn4K6KK?mx=^whg$e8E|wIC2y09d zi#1@uO-uSmntC-1Pu4YY6TR09(loO!Si^BiBvD-WJjuT7EnK7iq3F~OMb%?|#`9QQ zz31vWHehFy`SoImaU{<9chwn!$kXnYH?ORG{zJQ(l`5KFzGI9H&DYY)^Ds^}xdRbT zJ-z7pf@nx+#CoI!U$r!C!;g=2IfpuI5?t79)Yla;24deR>5yQ^!_?#V_IQG+o#k1a zKp#{gwbT$&sss1!EF0az8AVnpKPV$+eu)Hg*a7>~csf4$cMx+>*^c`!^Tkq?vA@JI z+f%BihY=n~OZ&bJM0dG?fGx3If^my{3ha`I3VcmHr7)1^NNVXJc+qE;4}ngnwIuG? z6$EZGL7LxYGIRG58#>(hw`vh@OfuNzqub<3qyc?~oPSwMuNpCQ(w z34m!ixlW(FO{-r=sebt>Sqh{RZ5gOhp76iZXR? zAoBuQ+?E#)dSS~01?8!#uwgP2L@8d1wcCp~?Ble?<9JLGuT<=Z-~~R)gqM&^f5F*J zaM8Dh#`CdX6QMIAZVSD%M)!36jY0Aq<^X6D=%1D3(`8cc&IP^i$8s>|Ci<})VoS2@ zhU%us4?KvR1hUiKwR*tDu**v=H6cUVw!_peM``;3GNM)T@o4)V-gz%>{P2mPw;5U- z3;Ht}w5UwbR5+>O&ih%hTx_G^(b=(rOi*mitvW8$L|kq@S7({&VX6vV>#65D;BMf- zEJ>S+u@vT9UPmAApd2aFtcFqxdg9u)TPdsih;pT}8a5`~uq(Aw zh`ydS$lv+&x*u+5G%izpZBgE)A}T9)F_cXyl6+jv7yefYUat`KBe!C>ilieKALBSv zQBgGPu2n9dmw4`ZPt9!Is)DA{d(=tL5iIL%_!MVY|yBV5NK zGw_iD7L@Hd>zzPEry%-UFp|o3mDvMnU$9}ayoUXUTl14;X7arw8lj)7#;t;w;SVCP^2~R+h0ou>i{z;))y8R)ugFyea;VT&SpqgrxR0EqV28E zCm!s+1Ul$veuB2Rs9|dkHP;)>d{L}Q$h3+Gusxjp+)H=2xQceY;U)c7JM_Z--m*xf zIT#(QB_W}x4+F=(!CxN{JJLc78{u_3cm>UE1E_OzqA5%f)9u{uAdP{l*C2 z#o{_zHD12@{lInUucJWHBI^pC&mFD-75L)1G*IZGt*jmt!LLX<{S8I{*F9SoJSN^a zM258U&`(%8Jpw=Lu{WgGp&g(sB+>Luqt$q@znIB)7O-7VdzK_D` ze(b89>y8w>v`M)=YHUBx4Jq>s9bf`6g!tp;KqIeqE zUrrBQJNUuhF~n(^;tH1u$pcTkL(?OOqPW3;f&+|@Ar5{eM%!Igm>p&CkaQu#P?c=Q z(90(KLmAkZZM^5kh|Ym=nPiRMY-5iuw02KI2Dw&|XA|zBt{8)uW21n6M_&W~lwuef zAj{M%Lan)*L%`A-_e7x|j`+E2A#Wa-uA}G|2{m&zuzK6IBP#J7#0Le7Y^6Ys(;er4 z1-qOeUJ9v=riMe%Ei12i6&9A$(U>DuUhyp3te@W@vNsBkOZf~lgD_d?ybhV-F|ru* zmK*PqbWXgdhJ*=?L{lP;I)G`NZDkP}Q|Ks>xpZ-1$1HKWynOiJ3*u_Zh${tpekBvn zaRt<4$&V~a(9UnMS#*{tF|5pH_n(wY#b=`5Hsc%o161NO@h3x)md;$sby}*$r3)sk zt$k3XzK`iylt`cWB+X)albf~%LIibClSqJVF!)%WR!FDkto3;l;Ko*McKJ<7?$z89@QAeIi0n8aHzqcOlGn6Eo6EuR zhx3Je&?#e#_T&K~4rHXUtC^0a(|1^mrz~?=%G%>|a<6m1hVI_v051g)S>YEE-M4LR zZY`{BP^APK1t`U|N=;Q=8I;JT2Q}zvwGG-jnKcMln>~mTN$4Km5A969Z*o?%D2_8SZvtE%4UDNCC*zu4NA2|7AL#>qF8rKSJ3*o zaPd^_T0>e@vNLsBSv}&@Q9EM0#iubWFNoJV0W2Hq#f^Py1=E?7bZxF8S{#MQNJ%vc zV}Dy9Uk$t>nr5!P@l#Mgc5#V#>(2$^P%P%0RF?dd?v2G?Z1kkfsu`9cQIJ1tf6?WJ zbm+^@>HAYBko{<8ksRe&-Fl{e@GL6wFdLDusG(xey&+yoTeJ!EELg5S&x{DgHP)r_xu9+Egu^WFa7iXGFtv6vqT z#-z;U4|+#{yA|oolC=9R^3I7K+$63;(%wv$78cR51DyS*;jRNL=ko3*vSkyCo;Zb2 zO}+6q$Pyq6%E|`e7H+GDrkQ0n`b0Tr>o*T6uDZzx%f%IlAr_?OeA6L&6Th749*@GV z_uv0Y2tN>%rTJx1GwByO!wlW6WCv9ZUzoy(oc|Y)-6LC<(bl@QW7hL-hKpc0`MP=~ z^ev!;09QVnPMp3vlQ8hRo+rypSCo2H*J@eAkny)GQCxtzdwGrIn1=1tFg5 zosmCZ<~;|Y>PIU9n&d}7{jmtR%iF3GV5cCp=T`P?+ofXUhF3{{n!Z}!hF7!|)8zy9 zX$-83tz{UhRMw$G{D=yypQPbu*7|M9ddm4(q--p?#OAU&F5wiv50w=7$O%^_+rf0t zRmil7V+)jr>@%FvQ&f{Mq}(5VX%Z?xDzv4CXUU#LYft%Nw)W7hDlm^?E($?A05vHG zEG6i93gl|=RiY*$RPA|!u=b>Q^U^PHzkfWjMl~kT-S5LNugE^eKAXi^+ow1NNV5yt zYD;U1S$?w!D`fd#WLa4qj@uADngDBjb);6t=Bt0gCM0 z01keI2;S~?P%t2X605JDX4DE^1d^+JrVbj_Y}%2YACza_sjAtTNR>CR6)fqdquVi$ zM>ODALe1+2?IXatm|KRo&RLSkG5NoPW}FrfdLF6YWc4l&Te zPqClHdh0=zq_cgyMtzPha8pJ{-?{ToE z^nRl;pMKUr`c1kRP#ydmPziR<{(5-?M&{CyAjyIz=QlPBsIZ5=JvTS89u;KpMEE7^(nEcb|Y zo|Fhw(R&`hRY+-R*Us9W6+jEBQG|TFgu&j4PkS5 zr?8B8OkpRSM6`X`RvSD5lZ;_6OkHzeVDl%duFcc2i$&b!4nfu}#jEJ_LGlEtFdhJ! zYn%P`!{Al*arOQPhZgffT==6X%BPH4STpNLk%FP3%95r_*_tE|^9*pSIr(wxH4uy! zye^~(Y-`QoldEEa0sU&59Z&yZ_>&3eJ%Ho^f2mE8ubZ2i%!OmxBOR^3Z+V&ft)5my zvxhn9XWnGKG6Q{mjoB{VGGwNSHYIh|CZ+QDTblF+RWr;Mg>Hf-FmsXU==w+N0-wfC zdsH_q3ec?PYQSB8rxg2uYp9?PJmq2Jiy#*;3 zLi_0B)svq>5gn@ow!OBYG$>nr|Rwj#`FKhCwBD;|^D z72c_S#{g_vE(x=QXmkrQxMqTcjeNmTHCN&Lp&I!hk|~z_@at!llhlqe=nly%!L9?p)X7A!|-^y%&fJanbOtIdQ6>bb|bGX z==V^BN<;2yc#f-p{xtNX&uobppeH)N zsFYdr1HS(BHc9Suy|%e2%%3P`-@P|?C0&5)Hj|(=z5;vE$v(x3Bo0y#4BY_9Tol4G z#OG8du#i~_O})r~$$PvCX%g!CRf!Z*f|$o2Eei>|7E#*5KwuoCW$oa-0%Z=Rv8b8D zy}8AJc$YJ$pE-wR{?DKZgKeauL%s1|hs*zQ^6hf-sre=Z#EU_uOMko~1 zEFBecz{wm_5xT)AoOF9Y#wUGN8o!uPhSpTCdTE#eFQc>FvhT1L}psH(SG4ZAPJuJ z_goqn07ich#i`sDHm|xe*iLuAo@gYUl)mfv0UjM_V&f?DD!CJ) z=8Wo(BKvN?r7u*xrs>zQY%EJgTLJTZrKs5{6W8_^-ApFWiV5{Y57chwdFp!mbM?7g zJ_t-Q$O#nhO9}adxt5sxwI;$g;)O~7UJF6)-spt(D98T8yy90mfk>Cgy_ovuFCZAr zTwC^W5}OEIdO|iGvL9rs3O2!R|xfxyKfq0aG{ zi${S6#7hn+1aN}Z$pNAOb`TK-fPjFXmxAmsRRUg4uI9{UP9Bc#!W8Trob2o%<###^ zKL;BHE6AA=K-v^X0f>kEyZa}j26+7K2tesHfPb9LBn?0u`Q1q3z<0^UF-^Z-l{8x#Nq z`G3i_bnj$-&^0{(7xW4VfCUB80}%f9N`F(F{-R)llpp~J|3AT^f5>Wd|9Cf0^wm_oDfb& z%=cQ92S6bF&;2xE0T6EPKK2%F|6R5Jw)4Lm8q)vBJ>!GQ-?j7qrTzbHbpK&=Ck6c9 sCiw5y_V01T+q;oaRWtw)8#Mq2M_CRA_Afb%_irgQ1OzqRd+UJsKRS{HyZ`_I delta 46978 zcmZ^~V|*n+(>{D++uqpb#`ea}#&pXTPGVgc3{R93=J#^ffw`_s)-DYt6z->u{5GCTs`NN zF<%a12!1}y=3{qnWHq%cJ4L%EO!yXFzAaThEuy*;9uzuA4^x!zv=U>AplU(SBlYx* z(x9<^kl8y(8HD#J+J%FvxqAZ&Ba->C&_u$vsSm*&7H> zH_StpK!#0552_&8QbxOb#lU~O%Q8dPZ-0ZXxI&<^8*(d=0p{=kdT_N~>fbNiY?fZ$ux0rDml;VRhA$6JAr;u6!&PxAU*n5{@(a>%Y@ZI_W|H zFJI<(sQ`~5RGLUsdQVd2*MxzN$dNufyfSOJ=#FR43v+yQ#kg6>Hf_}5k|f@zBnJb# z6H|rD3kCuyK!8C1i8U-N?El0%30D0Ju-BeI^Y6nOUNT2ZYS#XDdDm#J;C$}XS}f7* zokH6RwZdg^po9pey=t+%in`v`L+GCYhhysJc(^O7L^2U{%*bjCi!nViIEwfP@vU3; zkJsCoW#aH7-P+rqA%4Ez1!!ZgE2%CYKSxM}{yDa^KmDou==;-=6=RlIw^Hl53ZPN9 zv*}Uie^kxa5q;P^++{@t9r>K&_Z|S}xO}?+QMy5w_inI(Z;sEaO?K4VE{x)jgW2nY z{S~lhLbW&Ct#7_Io9cOZ1`2*X57A?lBtu=Us!4eco0TNM!+BMVoV#xuH~1-R#;o3Fdiy82B7 z7hQQZ&?OU}J#-Q4k*k@(%J%3`NWyhD*}0BO)uDs2_+ao6+mL;1 z5%Y%R=;Ly|H_*Hs`mp8b^Cnt^Naf>Tv8MRv`@hlEu6G9v<^~cbp!rw&)y0y4({bc6 z+7$`opT7350+$39cB|sAL8t8@i&R?`Eax+N7_%}xjcwpbY-KU`8P!vummaLA0IBGl z2a;hE8v!J}d6*lKw`BnjY?fR^)9WPOBq7|~5KIHEzJ{(Mhr@XUz!e=d`y21)p+(hn zPTwGOGiToeh9^TY5If9=1zX4}{ULh>gRWJY0HJh~A&$C*$CV=Ij3U3AAPy45)pbv6 z1Dl7)NK)0mfM{(ocv58AOaq;KhVJ%)7$VF<*3<=aC8JaH@g1$5E{e_}_{N@N3S z5ErG=9{YU+Vg55xaZ^~a7&0kOe~NO7#s1Fw5PDI`h8gS_XnNC~p)=PX2d>V>E#oIo ztlb-P(u=JG&`vtD9npIW8F_f*SW! zM<2LRxZrgy5XiR~GF&*R;qgZ09-}7GhQfDbS#dUY7WsVXvr}|BZ`@Gq9~F4>x-63M zUGXT&3Q6gP6*%aKlX9FhXcYD#GgX}TQVe8FSLX^n#~8kthZyqX$n|kb#uBzb-w@oQ zdQn9egdf_{Vs|l;c6P6oGP6?1iam|rugi7o`}v#!%%9z#pPz3!bNp$kX?f_g-}yM1 zSP^9#ogGR2dh)iGRqpaY^*6gGV$#BaExL*O{8Lov@=*FIs`wP~eu_>%MHMa&=AWXB zPZ3vqllz-Fg;7R}q4r%a3d64*2n4sMeo-^QdR%A{Et+AN)Se>+A2YZv)Idgv6z_SPd!>Zxu1sZSC9q@{;(f&{jx^XuH@!1SX?p6lEdKQIe1?qm|2>4 zB@lK_bn?vu+Izr3H95XmV_K@6@2o=Vtg49H^<_|K1*8G5t9?uzkP{8yv^DYeS5E(+ zf>2g)ESRj%@ezKZ2#@}SCMNk8mXtijbHEZe+prjwWDX`jp}aW0yg07BCKgeGKv@gBxoopRbZ8lE&3XF>5|BL1VBMwxtA!$mn zAxqFZObQ_?o#&TdKSU5mU;Te>!B?wdrGw%G(Uc@fSxp6eq~gzpC6h8m@45n#@Y?@@>}MUK!7Ey= zks$iTVDz&GURi>uS+=BXn$u^G=tb!gWW<-^4`h{2Nw+63P!XaS$Pn`oHoTp*9)SE_ zF3Mls)+t=n)9RFW5w>fd3I_yc)I+%Pca!bLN zIK*Pg{vo8z>HUf?{carblMz3J1?|9gR|**TFE=mnAjm5V1{DW~fAu}=&+RX6uJ@uRx$ zwSP>2n}j4njlxqRM5icV%gfwW_fNEF3^xfl2!m~*V+3naj0n6LxLU8WwEMF*sE?n*% z%$hc9d^xxJ>oU)rOzgJ7oXpWgLPyGah0)st$D-1P1?0|aVM14v6hhaecX~365X^)K z(a3ReD+yCJR0-3&3Jera|Jy%N>TCXmOHMa`X@MA47^+h54SosLYw=TWKReAWB` zHChUfg_}jEW@uaK8qjbe3?KbXosNa;yzknuGXDG%Cx(^H2Zp?;Lj!7*T?5S@A!46B zkTdAicuXr@cj7;LgvqM|bcAf@z~5Q5f?s(Rq7_1_C8|Ivgv?t;rJ7|t_-!=7PlZ>5 zd(%p#`J@U_PQ_B$H2w_1u}Eqthse6`(C(_SQIA63Z7P-8m(>a!Ybq9YbQS}GZN90) zuVg;-Eib4Q=*X#tSTlZ0K|aVurbza#RH1pS{%9PKCtWivjkje1RCT!0k;J*uD<}x2 zUr1WNs?ylHlq#(r%AeH#ToWGTvUq#+n8v*M50W1|rlEJQ(<}C`)9?Fk7Uc^T6xl

k#q-?OOU zuMVSmbf*7>-Dn>2aI}zmQl9}a@Cs1JVRa^r!T+8xDY@Lg7QWbTkafT5{xEWP2^qXN zgb(@sGX=RT3x(p$zE)-RclW2$-(ziA^o}{(0|?g)o6{9Or<9EwH{6y*QP7p0l|~If;w{$3{prf!Y>S1AoZ8H4G0F!sKbM0 zKla7nd@m54bP0i{olRjX<|mORHPf;XK`Uf;3>pO+`0D~812)idVWJH-u;@vorFIAn z0SB8~g^9}VkW^rZ1&2Zb=~$}*yWO4CXNUzH%{FWr)uF7DXaq3U!uP!n5qs|kIb#q3BK*~1q*aUrw;ng zfh?h>&!sgECy~7s83m2-H6eV@ictyk5GpDFl8i|WUi>=;lDO%PhwLr5wha7K#uFTn zoLsCl7TBP~i|WK0FFYI~8xS7#4nxL-`PrBTGrax(p%@Ja|8y@T5{=0ei@bUWDLGdB zJ0b+8VdOwFDC6-zjnIhM=LWLh#YjiT=yYC1n_Gr}E6xNvE;N28H@n}2{ z-knIL8%bh({j>R_LWzG(rQontu4Hc_6(WLK_n|L!Q>6g4wnX&JG)*?lkr4)cu;mQ+ z^-HCoyrM)@Syis2sPwaCrcNa$=l?;W)@Qf&feL)u;M7TlU$WGuBN}cYltx`qDfv=s z_7T*c3eV}PKUsOG6-GcqH2SH+{Zv`UPQ8yMGg7L%RF5E;ewP0;33Q*{RDOEHIcD}D zwwapvw{2+`8h*(^myT$^l~6W5OZI-_ZsR>{bN>I68G+B#h_ws%hSFVRqZUCu4&PHX zf{`5CBQ}f_M19xikFQrGTc%WiZVifFD0BQG;?S-XVt@Faru@InY1E{V{FO7Q5h;)r z`_6$c#Q$ln#1E1@QRRs@Hkw&wePT~e$#eh z{km~i@U-EYQmJ?R0_p}jWw(U%C@=GBTOSokA|DksCtu4@`d`cBZr+zF!lC+URM8Rs z_qUF`mR0?dky(M+j`~HJ^v#qJpng+){q!fCS{_sOAB3UWAzV^G@%xVG(hl4UXcxmZ z<-cgz!?-ILraqP(p+1HPSDaIi{1385sr%z}2WJxfdIHy z)gM7!QgrSf3|G=E1+l18HdI;9Zm3)kbEv#F*~pc{ztECAC9*I^jV_W)rHf|Wl15@) zQWi^s0O^a22?e!`30oesHKEv78T`G2^LFh2iFyHrRWx)wHfv%EcEJj%kBk)>CR&TX z@(U(1K*?xatfn(;39>>X|CHZu@Qx{|=nOmSOX+CxF&c9uH-{&vSfLex6-z|#7fZ;O zHu2(jXE%pO)SiA?_?-U#yMdGiGD*4;iRfPnQMgF|RiIA8(K$h;;0CV$Go(2aCbgg2 zJm=1%nL$#!d697eUKmT=43*Of5JwJRPN%sKa{>sW39?X=kDyILBD>?vmek7!kVa)U zP(~qGNut#oiREAFXyqxa;N2#xNIV-E>lb126Am%Zt=&azAN|~e%-BmLQ#_5Jj zS9k*8-HbA6&K7xM}Ry7&H?jT5=Z3>q9(v;XzJ?iGb6>2fQ4H3{}x=JEKY^`o{`UuHlLW zuHh45+i+EVk!9EJcyS3vcoxZ4?YB0R=YqH1!j+^1FT!U$RQ2=li`nrX~Pfy{|W zflAdjC9Awa+b@DpzQ43IH3eTjZ}RFY z=kgr1AFP}5U$h(qZxoEfwaHGv?SYNMncz7O?!Ww~U12GRF&l>~I(>H5K*0r4JO@2! zoCiHXA@^f!@TV(+A^$0@ah6F?O6uP|KqIVUZ0IY;wAp`mMGQdE(W>op7Q6E&|4B+6 zHl2c?2sKR^vL*FIX}12}&#cplU^eWx)Qhkb`-WeI^-6h(sQ~SWqd@UH zq(xyzd`3^}Qvm$xMW7DqKzPlI$d{uHl2zO(RwxspbyGT_C0sfgDE~pK=1Y^Jbnmn` zzGvYGZzfK>k}Cb5aw(Rd7=_|Si{!B{6Xk!CpQJ$EdYRHmpkR2rQT8C1_)WB#_|30R zkH|c&^F&+7Jx9eN_A?OsZG;l`Tk0%w682hvI;$Mz4I3f6@D+V6Mux9;KBStUWT0{l0y|HL3NOWy28udw2w?pv zy%4rQAwv?u%fL1k6Ud#1MIS+~M@yN&q?MW4j(bw*h38K$_bvN0iFdo)he1m0+K}S{ z?T(O1D#e+x*cGnQ_iJU24XeMP$R*q920^aVCElyulmEML_BQ-SyRpIBmY$GARh-~> z;aDr7a|>mCEj@Yu6qir8%>98l4M4rEH=6wmIhnM8UuWQ9k~9y(N!Bwh;ev0oUjsWn z!n(TA|5Avc%QsLl&l4#_SGxPmm!5^S*v7oMFf{B$au~XO1G^M@hX(;8$x4Jz_>R6`|2dt&2`v%}~ zYow4c>bW`Dxss(DB4&Wz4@1qe_IPo^-Ue(Y6M*S8uHi->81s?`K~)em_Vk= zorFe$-=%W>4hnMrmtuEby-nc_D^#Wmy%jJ4IYBDW$WC*ep-YbMp6qD_T(wEn!Ja8H zo_uK%LZ9i-mm@0=?WjBw2DWysConDazW+RBc-?f}0e|_vH@G;x`Yhu97Y5EEvsqZD$BdN1<+ zdo0uK@gDkl?Db2cH9s}nb(zs}hHHJTLx*hhtGj}sovc;}TP9j20w7@Q)7eQ*utE-6 z?g@YRYE5Pmpbzsgre>g0O+wSZYAs{Qc?P?p3MMC-^&_}isCg1zNDEBB``>eHB9XdP zK(ILH9-V!LjW3s6y22_)*l(f*cD=rSFh7e`HG&`C!C-`!FBGZKmMx*4cEW7O_bc!y z5qd}(Md;7P77LRfNP(;@W}Gdq+I|%6qoXx{dkma4r6~LHGUS1@(f&KHQ>Y#i%9MI?>S5#Y&6*IPK-Cu?lH=Ru2yB9rR|T~Jy+ zVFY@{q{3sx-bd>;1!l!?e7Dc6+ItA#QJ7r>8^tgUx)2#Lhf3@FZbsyz_dvKYX(me>Fk|v855$bG1a#T*w}tq+MiClSD=K9;K%c z!rtmv+k{=4>7PSVrJc06mb!p!ZT&~QY-N#mYHB@Z81$xTEEM0*hE(tytt(#PTV*Im z4#p5ueg5IEWk8;k4t;1}+Uha_&lERJ5oq4z8BO`f`OVST%2LkWTopo6U$2>`r-chP zRYZ3eHSF*R&22-O|8v^4JD$M3sX^X+eFHD~Y&D_i@*2kd;)V7Ff=f5(!^ih(BIVK^ z+&oO|w00IkQvU<_&(%a8$}sE1Qf7K<-Xl4ImEE)V2H?@@i~^>UZg(SW+Zm7WkbZuu zyCL`#5H>(r-zynplx}yc><^!Xe3N6ruQMZ1SnaX$aE398Xd?IbH1BcP^J53;!*%x0 zmieD|O=Dqkmh=HP!4EX8myuJ4-@j)Zm)GO&EY4%xfmJl>tLNJ6pToQc_*yt*;)w&C`U^k&N$HM=OH* zb`d=vDespM*FLhgSBhgLV%h_BwwRlo6i-Ud4>ziG(1={%xD_mEN=HS$s2=Gv*i}zGnejvG_m^M6?f&8?oDPZXw$8NPAj$hOMyGfl+CRl@wL8klZmVJ4 zQ-D-ykaGT+k}bb`Se>f#9S4szc1p!Z;A1@WoSKQOx0p;hy=?DkksRNbRLC)FBGC1ARzz zlKk6ksu4q*dU6poX@@7i*{j_69{}RH z5KYbMMb9BBo$_1|M4y-G<={MgHId=kCi-ns+%Hnsf}o=h&gsrVRTZ#@2r|TgMNPqI zVc=)uH=mCH2&`V~cuXs^vVl5@&glHB>5yO5VsWrC{T@P+imnu z?Wxq_9KvgR)rXjLN2aLG0~u@Hk@dsbrR2|hlBD7Qk~F6cI4|Ox=o1a*WUEbM!CgH( zwJ%4@wpHEl45)oV;$r#-ux^qFJav?nYg`tiJH|J$?ZvL{6YfxwalsA8ZCrO9QWe;q z0mNCq1^c=*aEH^C&OyWg1;7eYR}ehJ4@y&Vjha=ZiYWHS^909`Vsjp8CPVhXtb9P& z@0)PE_B(}2{vFy}bt3Ist6KW8Hw@7Y=Uu?ScCBW3zJX%J=+j9Np=}W7;J2G#Dqrr|sJWLlR3rLS7u`=@GsTL%$VhQ|*c<~l5 z6rp=6O9*4k+=AL1m2 zMtt_+ZATO;(ARfwK5?_(E|0H4k9)I=TO}MY4W=%DtYAkoB$n$bRtC`5(qKfjwxE7Qgfjww> zXfhG9nols9?T@*EBt#`lmrpdW#n~>TeSTgmOwD1(y1GHQu->(XPY^NV7GfbxGOj=& zAZ}m|;UZ#sw(J5EMgpCU{1|%-04iU9t|~cj@%I|3|8~rSviFEFqe$ zjD`38`55V$L?#^Gj!*OlmPqNEq@lgHb496{{iiWdS0pG3N`78Xb80lcDl@m9P26v% zS{?@Z?O1agJb@%W4B}rj8jqkBo&S0(1^JgkcBCQ@h?7cOXr7fAan>0H=!JHp*CIsK z)D?0vAndgdq-Pq4^Eo_p_9do|C`uPsYTOP zmuqwYxfea-MQeZfgt=8FC+ zPYJ1(wkjw7r;<30+wc6jtoj&Ir(k;c zkxQfew_P{a6CurE0Pid;;EViKc4!sHjDiHe1-V2X<4eZB zYGSry>_6JorhP^>t=|1hjUNrrt!;2+Ne0EHD~B)uyF`v?=6q}VB_ z?kmkyPU4a;#ys={XvE?}>PT`r*z1O=qFm`ECFXNP^{NBTZ+fA%zH$oN&?h%Vj&P%+UdoN6wJE9R6Hu=jc3M*Th+YA{4 zn}|TBIlg_G_IX=M+v}_6Bz1m|$Ioo!nr$In#sm>5fQe5VB^8G-x`gu2qD zb%4b=+}+Q3rRX5I1&JSp?%vXN@d5g6lYAW514PB#VX9AIb9KmJ5nZN62c1LL=4={# zqnl`(vJ$$-wPh4o=;u~Yy+iX>Sv}NE%^}LcBLbNjP>>v{pIs-`4Z@Ek(=gr}InRRq z(ISI!zY`^7VU0AhuV9^7nL7$K@ET*}V`annjWAb#$xi9{i?J9InRBMsz$x|1Y*k6> z9H70S7iBauZ<1N~QiAu+&)_WOBuYHQNkB|Q(uCfR=8kDPEj0@du9Cwhw7*offIE9#WG7yX zPk1j}`ocK0I?yoq6dE3QHDH$+S~{`P0SI9_g7W?Oo|3kTB{e!B^}c%`kDmLH({S3= zyxKKmITkYQ)%5?7tah}tp29wpZ-|I5{#UW%tAGE7DjaV3=<2@lta|L$O z`Qg7=8PFy7RYzsE&Y-)jOPBiI%E~%9!?W4QM)@U87sp^q4T~fQu*TW z3`}GA%7Qs@U|Gtu>3U)g-!=caLoL>Uk`qr|99)&qew!jSI*|ZRb6*QrQnwc_kSh8y zqU=%6uu-uqEeESfM|S?rlvhMIcE>+?2yI*#<^1S7mShzyhPZdsk#;SQr=O`Wk0d-k z1_ZaL$RIQ}-HL#)6n(=CmYH3O5)w7W&j7dDsb2xV9gy-YyUStr$0;IFdr-sEC5zxg zSZ01^xMw=8@WV!%l6h&D!BSC?0z!8srCQ2DG*&;ViE>G1{}hmAH| zhpA+6n zW4fO=eHBYk`!1bBxeB?=SR zFOjZluc6>eK$lq!Eq;q8gG(8*(M$-gu~eI7OS}r^6SVg@v#^seLPX5OMWl|E+(n~T zmS1Rj;F6B5cUhr8T-+-X*-y0cJOnE={}oiN51X^x2IcQ9TWI0w(*GKrX& zrn6rb(y?$cON6Nz^mN8Y3;;t#sVsx1zvF}?p8*EzFm)%m5k3#JEx52)Ni)`9RQpyJ z66rz#PVR(t*CL|ZicK{yuXFGaMX@%k7>|PD4>k#jC7ZNDYNj{4Ums}JT4%_pyH;ZK zri+44cm6V~L4{^lU%LM_fo}Ly(7B19Z^4vPc?jWx*}APrj44S;fEE^nA&H7f>TNIu z$>bIe3O?MqDAkRwZUwGpslKC{c_bt?u9&ZJ>_)X?Rf1?gCfiQ)T7ubMpw&w2u_r4$ z6T4;;nZ69i&L;=kT^xVUEtTHz#UvlkbWJcJrX!DB{n;;M4mRW+jEg*6lqEqx4SF$e zKE01mg}6FUc4dnb0v=4T9iH&QnTjmUdRrU?zBp+MautqATOo5f-e5$Hfo>C#!gq<{ zVB6o$J4MQv(32Ztr)w$nD3kGe8VhY)h! zay_JPDS=eWJpbF_A5~VqE*6ZpDyAMSJGB!rl93wf@4RDpQ23#pDvSFbufE>tfUJD;2Y_ z2Doi3-j};Qq-+n`=(NuZ5K-;UXOnV ze|oz$T=aBmz3TVuz4v4*5r5}nxtNGVFQ4xfkbBRZ1Z3%AZj&f%)g*`1A{Ny5 z-M_i%IUpUFP%<;;mbHuabgOTXAUgDPLcqT>xaZiG&K~LQsp8l$)N1}-z&B$emC~n> z(#xc~ZCpP4y{!|0w4~NEKxp-Jy5%I0dp^TUh8t@n^qgw&yi9-bvnGo3XgQ?I<+Mq| z8GPhr5;!4xJm*5mm4YhAn#y@b zNvzL~Og|_NkG`T8NL9Rv%{z*aOxZ{9k5jtkRR&B^E$PH*EEA%9+dPUP6EMB`$wN z;2UkZcU-#Zw|aamdRM6XvY{uo;OI-R<=O(5uGqI?yjOu{XZIa5gnv?`{c{}XX_sh+ zNr(htnFv5oYuJ-#wW_McI>52I+50y{}rQY(8O!y?};%+BI z1#!Ul@wjEN)}I?> zt=2gwj#NdFAdxB9psGAt-JT;D$6&L`NM>a!YY-ujtBGLDmA$~ZD?{&4ZjtD10!GCM zUeT^1X$gMVKcKJC62bHNbd-H+ai1FnM~SX7cyTY1XUD~C=)Z@W$ZG70lpPnmXk}hu zZkU#i^+(jj_Y2J=#-elg?+1%`kXfSThGzv+2XgI1K#$#rl%pQMW;Gvz# znLC17@^rG(SIWRqqns(4oI0-D7*L^uG(BXJFU_Wmy}V6@x2c!WV{jhy2IyaBgRz_e z!hTvp2{#`^lhlacC8umt7`=odnz8NFQgaF9mVTG(F(%JtuQy!$ROo3CC4By!S0Zf2 zT#E@^@?h^O&*#dmo;`Eh`Brkq3%jn%!`(O}r-zUWJTrkU6>%~dDZZdBvZ>7V9rIZg z#>3gxjoE@apD_!=KPnc_Kx+Mhn~f(_0$T^oQN146jox%@zP-qBqDQ00T*NpI#K2#n zxu8=oryXO=!P*x0Pzzx!xJ8tSuo9P0y`lO@m`UJt5`Dc3))rhhCc2&OkD$FF%Svd8rw@5^1RDYh7)5WpZm$zYM0O|{c1wlGc>JWXHV#(oPpNT~TTTIV|^vxw!}U8!~{ zAQVYaR2ICq+5PSem9bB+9V8~}6*S<|#2Zv|M10X!LVol3*EVdE)=@Q6A)$|xvJfZw zXn7sA&G!2@55ra@paptH@83Ydzm!}mh{?TucYz`)?~y>?6Xg%l4+p5KAppcNa>X_` z?Z8y7|IO$RUf#~f)5;x*vBBcWvD7o|6z0Zj$_a6HezzA51B?OVZ-U+G$Jzr(EU8$1 zob=soEkF=;RFGCja|ajd>jQ2uW4wzBZ=VCfA@%CY4c%W%!07465~~~?XeS-B3~Q{o z@apeHM30_)sWfcKBAatS-`m}=3T7pKn+L|;&~?h(KWO_pWCjGC_ULSfyS)6pr|%O9 zSn?~Z(9TRGDe>`}J`9_G3tWn*y)P>}&mr=CE7eO5;LPUwIleJM5gt!)=bE^@~^31L<8Pc_Evq8ZQ6q|pa5I$AF5$+j>)yXk|s z{0*@AefbH6^W#+$CCJbfRAVg1i}Vi6c`lW)4EJ9x1V{C?EbwC{n`SU9eRguLv7Qj0 zsFy3Hi!cBiipbqzBHlp!kvhT+=Gi#nXae4|3oSkn@M}}+;xk1=GHR88vxYAB5NFq~ z(MC1?#RY2(qk&7Cg9v81mF(@&$7>GuVW_;qAcN*raWeEISD5wql8b_5z@}v9lUDM-P-A^XH95mce$-Mv?VSL$rS6{-ZcJ7e+1G9KRhiM>Yg@Qcg$V>K z1f*8kBdKkMI{QX@3iH=Ae=*BOJt&7pXbJ+e#v??m@K56{DXT@<&2PJE%L!U^r_wwr zZWO7Lyy$Xvgl^fB@X`<->v6$nhLosG9WCJ&9*4_pNPOIr=BHUFgXBv;%B|g!STWy$ zU_V=tPO!Y~WT+fQu2dw($zT|Iq<=5nX`mXZiFYbL}$|VR~uC>ELfQ(9Mk!#6;nMXj3Ld#E%wuTvhn7mJC{d$l~R? zxl5qh7^=J??=pR+WF;odT%`dbm#vwtsS zDr&bQLlfzM|GM1GOp5+C;iKI)Q-_Cc3MhVEm0e zH6@0B8DDdQBMW~RUOPuk0N;WPdX!o=-yM>>V(+(HC&e4cvRYWxhJ<<*9PGb z={i7wJ!X!M1&x#GuRL^}ziM3L)YYxA5;kD`mR&=HcT@GSARdk{z*$H}&5r3Jw>E@~ zhfl_fp00QDy?1w{KL++B!jNw|lv1LHRuF6D-c_Km^ER!@8=hUfEDh;AJ?^$y8hatZ z?ig*SFDgUa_X4F#q`Y}mM{xvs5WLh-00Xs%s-%C9E;~f;oGPurh-Si#+DH^DXx(Jb zN}qI!!>!v;kmPm@Pzk+xI=Wt!h733RwYMEloyvx5o7UBfAl`QrpsTb)CoY6p%{m_v zYDQneC;gbk7K^ChnfTH)=6zAAWp|cK%3mN%8^nn@=4W!I_t7R_X7Vv=Yw@61yLbJ^ z2|F($Kpq3}EB9*1N@^VQ9*WTqBbqzBGZQ6(RYNtK{i1~;;F3a!>#Yb)jYTU|e5ooLu=R@=ij1`@-wAz*KxR64Q>(IRmx*Chp}9o7T`bxWfjWXs4jv}a z$d7^?sO+70a^hZU&|+U|aAf{u`cG_3IgQ1rb)d!l^*sN>fRv_EnKHtaN!jQuU`wCt#&?k!-pc=t8;TxaA z1{4#18=u0q34rxVVJs#5+co)FM>X~%CVqPw4)dp$%LuMBGMXgt!1*W%_DY+ipGs*` zEKa3N`yM4lK$szr8)_AU~s*;9G%R-1Txn!jq3scHWn|BI7g9*Wan^3dLL48LM( zLTG!)_4#l21QUxCz9BjEEytv*EmbQ=z|P}zLA-muc(sxRt%*)PxCS1BwQ5lOEHEQ` ztP%vB`*4Z-9M$2WJdsx<%j8GX8S^KhEO^NvvK{?L1}dzuqlo9**JG2(gfM>JYACPc z6v6*-Vqr|@OK`OycAf{A?-_KjiWWOxsyZEw`Siw8r}3ziky!el@ABn_upuviu1ag7 zgmF^0fSqm>OO(ARVpih#kwJ1}FP#}RR_*R2HF?7)cK*u^XVvp~ba`_w3_IWneepY~ zNf>1n7WDD0@kFci0cu}=xl_is3d3p#a8NeT(CTYoF(#GlPnu1d7QEw3{FP{oj9aVL zYRrs~(O@^4u%@EY27V4}?NobDzz5=O90lLtEPP<=z)!>sB6wNJ-t%XwMBJ7gZ6#Ok zpsU%*mJpKhxu9@QreXWS54||DS=V%dz>8QyR zRZuE3P|a@h{l^wM;I`RPK>|rJo4E)M)g#mTSLJu2OEp|72LNrDqNxAE(u3>1&T(;^ zv@0opB|oes_6MisvY(m^n%Ki2Sb$7AN0X56iX~*((-dclRyniCw$7gONGDv#K|9)< zZ)rqS^^wX;NQ<9%s;5_eT>m?+3Eoru$IR^xZ-+WYiiha+RWrHR?8dXrxpyV_{2Q36 zh&BS!c=1R2U*JM#2~nNJ`@~jfnA4B3Ghgxcde`5@gK9K6L~LdUgH@0TTO#a>n|)>4 z&|nwrSIwl5mHuZIEf2Yb6lR8h-3;AakHlD-|A->g{}I7`atIcH_IF*cWP}bYW=08C zO94FLU&!5`+s+1CM_7(Pl4g6TfBjz-G4G~j?<@Rl0pTyRYfzhOoRF_Z8pw^0gNk9FEgoyA(H#+`nF__P znt4^-B^Ljq-skpb+Q)OLb-k+wk4)fAJEgwN(u^nzgQ0`Yo%}6|HxKl56jGIJ8@zi$BBob>1ZXOyA+b z%HB)iPbjx#Aq_$k+MWIUJ_qG>?H7>CMlS~mXdpl9;evF&1mQsVgF}NxA~Z9>@}XXS z;(}uDo<)0r{PyIssJ6jqGCh9PPI(cte_Dpj^P>>%vm4s28u8V+g8JKvzRHWQ6{V+b zBVN4x7|LBIuY=cBZN`ibPBnVv;qju1E<>gTk;e|Q}8ShD^zxSDK9-Ce~#<^Tk>h_T>h8MvOSj$Ry`LwDlk z!p>TCcjw81B#5Gym(!oBv9DQS9qsG@E=Usyv7)aG!ElrB%f7B!m^&>GU9vB-#*O27 z&+yAv>d%ipHiocILQ~qR^{@vx#B240#nVf^*+x2*-<16}LGhddLsa4@*?|@DU1_w=^mY8BFwq-KCce&a4Ly_csNu=4c%sn+7T_-}iL`|W561Pci8*i%{^%^U%lIx!XM_+&j-_3eyM;;S1vs$zgHGKf+wSt|Xnn#I>bUPW)2b zuSFp2WuX+^Jgnuppa)?oZZ4L)=2|;lc+z9pae8)HE#QtE725Tyo%=X`%_6n0lN$N@ z%4)!iccA)b@3xX~6}Gi*YyQLMvN}r|Y*_nJ zZwju_F+@=#nn5;qNH05R&u3IZ0+*R4oy$*ygH`aZ%0T_j4yo-gPNP+$dIvoRKZ=TE z6N>0Tv85{AC=O%PUR0{_wS?TxQ(=jg&%Da?dDGdJ=|l`u+I#@4n^lr$ebR^ z;B5&YmBgzWhR&%bZMa`T%#v1)$)DMX3qU>PS^-h0i9P$?^`tg zI%U2KXtgP8NDr|OlkO!{8nYNR*nmaxc%AQC9>i}bpCv$^jdY0Brd_}jmmn2@AV|r+ z;MF&ie)xEbP44vWwA28|M%|F=vIv#QB&+Jhv z|4uAqTrf}cPjb2ZUrzN9(RUp|THGYK!ZOb#uBbY(?(n6R9R7+hTDpQ~6b7!!{A;wF zzCOC;rHfKzvX4(1YTwEXnw5+qV#x+!!KM{j+-C*OG!5^pb2b1@y-D>!2=!^kRqz|e z;t5LMZZC@Ew+B~PGQ@FxIls&*zRX-K;lPVY_Uu<@mg|}Ykqo55NMx{qypo{;l%fOH z`MQOh^np~e>)!5JJV4R#T1C=)h8d4M4QtF~J*@v`gCLHv^Uy;@d>TLd{*25#PwrK>WMIUc+S03~lCkkD-1|7SIlJoKeC&oraWJKQOj(`^^3P zQyJk`J7O&`ajR4QKst}V_POU5hxp$;fBCh@qrS1T?#ln}`t25bO|v9x-*L6s2luJy zcy_aBB%b)$`CEUhWk&iov$a8jqq>-PEpH`7ngjrDfwIkN;xqoe1BA1j*A<~{C^gJ# zPi`c%-GicHwdk(2f(i-v0ni55^NpgNsVy+nu+(F0s+<1i49kEy!=~RS`+g$GbTeOD z4haEKy-Dz`)~%p1DwMsD>BRXSHq}*!uaZqJmqdrI&BsI+I!dt)lElzQ0x#OlK&=zF zyPF`u$?I-doghH?4@Kp4JGG6@f{Qo1fFINy96(A^*Y`_*kW17*M6QnJASBeJ#lI3l z4nM<}AcuM$Vqo=(x^T;~`w)Ir7z+G5f^`cA6Wg|JJDJ!vC$^n@v2EKE+sVYXZQIVxx%b>3tJc4++Erb(_wIMCrChiS?y0rz@FV!qf-hUjmIqfj$zfGt?W3ks>G zL=@NKXup&C1GYufWI}B5ZPVw^d>;RSp{6bswrJ>Klcu$fnQ{qZ*f0v9OK~t(!)BNI#)}a?{r(QR%dSQF{WVwlzJ3`I7bE#hq z{je7>$aINBKu|hEmY~ZW5sF$8+F&L(tWCLyH5cMi(wgp1>$TF*Z%R^ejhHT@7fx~_ z43R2=Pcl(qY>Z;@Qj`jC+Ipaav-@ML`g`7)L#cxV)({_0rG~<}AS=#*jp)`$IG`!$ zS0qB#E{H2BD&(aB(P8J%t`9$psm$xLHC(6LSqc4m#?gx1^fIt4+D<-c>5$jh>{3We zOu@^T$6bp~pa~p-pfp)Xo2>pf(L(ZLxMrO&6UscLX&?2Vj7%vYEj%2r!8RRxMN*A7 zyVGa3VAqIWNyQzW%jOsO(V*UVnxSKVwQEY^cgJm89{B562y(Cr$O0PwrA zzfi4Byn5D)rPGoJK6b{uyskUt>&I;DpwbSH*EC!Bwbf);g^JDsqpV(`_av{vSl!0R z%`%FN27qOHe_KA$5 zd;~reP782~#ijTckFf!k5VXQk+duz;?K*Cjwe#qvqeMS0LHHQ78~gMQil6w~_Ld-= z5kFc3fCW_GfxA-g*NUUedo4K)5cwrnm}5C5rN_VMQrA#`)YwVpzhdiX2w^vWc=2VF zV``xUrKD6;YreirQ7qqjHJl||5eqPC_&GCntA{riF2VxQ=r~jTT^-}egQA+o@2N2f zhcVpX=S4S)Z9|3hZJj6vWYxsRn$v`*P{DVbL5A0qt_t?$2avP86@^L&$M{q0iMA)c z=Q`DN7wk#E*crbsT$20BpE^9CV(J5cj~LBH`&0WQSPJj2v)69m$1K0vzKL%=JJV-G zXZhA`sJzEEq-?WS!?9AQ8h|ro-o;I=Qi?XZpW1(;(>81>E;h2>qLg%*SW4 zufm}|#W2(^4MwAHMbMcslRCtpjX0uu+qe19ZDInuKA1 zQIMHhZ13kD%o=vWP(nZWEozIEM)Lh5?xzCxJj}J=UBY>Un;;61FvlTl2PNzQvQ2&` zU<>3S0WH<6i>Bt*5jk3GCk%OPS_n>aMDh@u@=b`>K zDrycg&p;e3sI{vBcLYPy*c0gX_SUsYY9RdxQOT#=4}N$fV=ii(;#C^FUFQ38n-7Ub z5YN9S{_!EX+RG2%ZlExU9~b=rKyZ|n%AWJ)7Y3`;{C&P1vxj{jZSgKq^5Zs4WNf~OtL~Bh@DIKlo64p}5RmW7cQAd;T|K`y5wz@A)&~%DjV}nvr*TsW zJp(ds@O`FE{3U==uyaKL=wlu$4d)sQ=P)2`GKC-@+C39i%0ahnz@pBmFz=NNnsJTw z33c_UbjeV)rA+O18Xo#;i7+{(WfqqO0>8TMl8RQK3lWzn=yWWzG_ayUhY-3+me&vv zKgT|Pr@mkV3O*rjY1g~V^clBT0K#8>zM$WD7KSAhe|fRVTnpR)xqQ-{lfDMPa4Hc% z;-uBYzbJ110myq=gS00|X%kbc!m6{bepPOgDBxlwXu?fy7zK;93*Dk?Y`}p}#=rj) zU92l-Kj5+q+`V}3(eQeB#0u@*#M1bl_nm{6``BxGqWk8^ zlIH}**CgOf4;dE(SeXcpD$Uz{LrK#adJvp%6J)`Hv>o@J7@*qgPG?*snmN{LEkb*m@7KMae_86D`J^IjuZTFg4W zn42K<{7Cisis?g)Oa~?=?J9_+#)<|aW(evdvvoX&LyVv;o}l>%B$Sa++mOI-e>>p_ zqVKC#v(x7QtB;V$!Ou$(vu_x0HC@tJTwP*SkN#1PvvuU`P$SSVWsFG&1PKBJvkAHCu*7zDh=T_}fA!V0+5&+IECS-Cb@v_T)Vvk`Trm)MJ~gYBxof2wPi^ z`Qs6P1boQ;+O;K&a8HsmTkErBkuQP=>P6%L8%C7?2r}hvusiwDG@#U40Uwvw@t53O zGGkJ1o~Zlxr;5Vka#*x~=i(`OX~TQm2dpsg|HZQ zE$U3C`nC4HV~xAi9UOYU(;II379a3McrP7uhu9&$Y-}e=KJ)<;P!|Yxlqx~ zfA-0gS|MYqBx_M{QE!B;b+mA77lr_LGrkQ2crgBmC|WGI(k~+Zs}5IOQfLS?)9F?a zMN&N|TacO`c7tT7IrNkvA;Jigs&r&G1Y`K6@EgdSMiJ*wW@)YA1B%vL>ifHJm&H$9$4mLi%Q`F!2|?XMn)=yHfJ&L@DQ{@?}T6}J@a0Vz@W zagcxoe?&DQ=y#D=oA6mz>r?&;2<2fk0YgVNCk^=r;uZvbt-v-2w-S7XMD6ch zsUJt+XOMe@xfq#vaPk2}t4>AtZ%HI+2f7PTJ}Df%FoGoPz++z+L|sR*N8(qQhKl4b zUV2P*JP|uf%DR`^^Zxa@{(V1x7D@p4N_>happ24}iTYMus`!|`X4@u@^_@xtTsJnE z@$GDhAgx@$*yTgZC?!8Psh3AIl#2sFl)MLuCLycfGk#ZlD4eM@=mt^)sX$Exo^K~G zIFQZOL`1gmqC>56*UCu{vF4@0b%C4?f$uhhDc0qVtiaEx%ONa8&V#bt4WAkd=yLKY zU`Qh@4DPKzu>4BqtrZ-664_`6Xijh`y;$Wn5jff=CLe^gWj&~*IylKmh)r}sXg9dGjyJD zVNc{ABG4!saPd54W9ZrDzl!z&t3AW1gI5;pg|Cyr)$=%k>QM#X_ltHkTTb(myL=qk zkeg2P;U|3JJ&0|`C+EblNIR!bIqT~RwUEJ8%^pS&kyHr0P`bO7c^)C;ui(9x_8}!S zY-Rfw@w}&S$riBI^&64^TLz;ASb}IDz3{61{ifu^86-{+S!ELFh!z^%J`xKyf5IRM${`d7+z<37~hZSt>& zF`0TT0l)A>PafoXdhYX4T#Z#t`0CaL_GD9BwByTtI{WGy+JM&-s@b0X#br{@aOA-d z+~~oY^Y}n`JlhZms$7Jq2Xi9sZ22kUIxhgkvB3ztsbg3m$sT-BT3LU!OhR=0{F4Wq zRX?D8@(}$ z@hU=1oM{>&1NjOWqsQ+a-c`n7fqVwc@CFqK-b~ztGxp@ML{2G$c&WX>`uhr*qvun) z3D8&*4=|KX6eLhdO+%-`9$*-o#$#19PeW%Ts(=gj5CR@nWtt=%$iXVJQ%sT%v%Pj_C~REtpFFizE3>{A7+TitaPoPa zG~L%d17N@@n1#B+<6w)9tabMYq&i+n#N&kJ!_~?iV>FL)D_8g);Q`|s>WZpzcT^5? zDpe5ddVvyG!Z#pR9fBKWTF>Nc<8LE5&<6H~>foMsG6eXH=gN~PesN-O`5^RBDVHkhvgJRF(}L4(P<*Uf@uQ&jh?4hFjo-n>f< zgnTH?|2EWTq2a%5aDccS;s@LWM~EMYM1_FUb<^u@L|(RH-1e{egY1Q>0}tx?+AGX= zev=gA9~*Un8B69)Bge-aSYI~ZhJCUT)gdA~=-s6MGsBCCT$VhmP|AUIPeruW9xj*x zAYEZ7nFpdKFpoOr|EfT~Aq~I~KG`r|hb^9-GXG16B*C%9F5>VkrfuRtx@x`-lEclu zRuM)uDz>gx-HTCpNmWP}0oFwAP;?nvET+w_IHv`($Wcbyhpb?gCKpL|JEpMAzK$N@ zyI2Yj*9=u3w1FC%x)I2~OxPp>LNyKvFvYPFwQWES}n9zdQs>K{mz7U!R5S=`j zV4RQDe0`^l6Y1XDZS?`>YGo)?L#o&7x(>Q95!03p@*?R11PSv^F&!+mIvd<#j7n{| zcuF-40jHjY+iG-}>`ujD0y1BwVSpVDB|~E9Z?Pa%a3^sw5H&?2Zb)hS{w&wO$cO-F z8v(}FEm08@3kmmf^lrPO&8;*Bz;)+Gwg20B^@r7-=G(B77C*RNT!n8_-YH?tE+8B# z^yY0@3TZXjx9kILuqk7+zuL>sp-swSJ*j#1$F!Gq@S2=*>=ra5(!l!y&7%rQ^+!jK zf2(KV@BhB7ITaY_HpPo}6bkCbdq>k+mQoBK|EDhf9Kva3O{MB^aN^<*pn{KiJO)ja z_l{UnaL_Dl!SyWzxj)S4f)+3E%%m}`l1a1&}CpY z6B#LWAh@lX3^0c4sQ1&l-YP~8`gC#G4jmD-b#+BoKp(5VJOw&Ipz=V zn|=alw!VZsYjSUY3xh~dSl&!%K8+WKH|%- zP*<4^ur&4peLJk)-}M->en86orDRd50xk#GrWb|{@n(ORY3Mp8Dx<#QhbFFlr3`&A z*gh8bZ#G-ECG}U(;)w1t)WURs8f+Qe$DnO$0twv42>W`kXTp89fAjmjHq@ z`^UV)p%mdePby74D&eGSwwK;V#NJYL^vO$RMtNrXK&MQ$m1$&tJ#?X7UYpe=UpXg2 zQt_$+5=HW#aq>Q94#t90&G)jIFq@88m6VD!b4-f<ixldXm2PDh)`s=hSfRcVA9|M zMrk!+r(aTANmOe=dO8!m7_Z2Qs*5zw1bV2YkMsj`o)~==T`+arlrT)_?VR#o^p@^< z>xc}sj^{}1#{F>1k98Aq(`s>z6;iU_NW+#Wi4Lv~lXbHZKoMtGb;TN^UN?YW{${qn z7tS^389%u0LJ}YOgtRLN?irdPPQ16VyIsY@K#lN8NmNYDS_UsJ)S|LCp&J^snOt3I z#9ms=jLpEZC$aIfLumFkXL?Xu_|1N)W*kJOi(9Cv_YpTFk_iY*8oES0{%I$4v;}D-q*w7v~eSK{{?k5qMlR|m-ZfP#!^1; zW}@y^HI_SWgycX)PD~#xI$%N*T$y5I+{3F+^cPKrR0zVhwJ25{A;k)S<9{Bm1{OV* zRy#*q{qv_vB-i}{r5NQ7d!MT{6<&(Zqzf%ND`M@gPkUc|742u+4;`!aY84E^8re@8 z8w|twY7YSVL;mzl?+cOKZwpmk%SFwM9}y5=7zXKRtQ5uU0v+l-WgdM1j>d@dxC435MKqj9R$}A_{chHS ziA79=I*lp}LM;&nI*tVbFHEFCgo^o<_{WxS*#V&&y^mrwZ{ZbCUFe#BRYKzaxprT< zR5J6l-OycczLwt(jn{$_`N*X>lk?i{0=q*t)BlNJ1NT#p4C8iKbJcP>-&_JH*`Civ zZEVZRYmca`c~Lrn$5}vX;!vKfZEfPRn5U}1QPC!pEQ<>_(ewuJo^{{lr(|bLx^_le z1C1|hMZKsa81e!d1$IXjfPMxD!4yXwcupiJvHPW`;)0&VL!M$zhC8kc;HZ1Ibv9>s zXwwdPHg`0*1e*_Tq_dw51?!$_xT~Bfk=9vI;_Ooc#5iU~hFA^vzuBv0``NXh@z``_ zlKG|oFlyp z`o$%Q#Zt?%2pob^FKt}B*3sHC=1lO)fv2+0Q>JX2<-O2u_Y8qUd&sPx%YH(d)+O=1P$ z(d*Gq-OO+H0w3*DDHQ);1~{xM29lJyG0l#wQxE|^Am>`)6a7!Dvqj*QwA9pJanbq~ z$AnGUfM%m}2^;N-FWpDQKa1Ra8M!OV!aLXQy+QuP1K2bVqrM+iHJ0Rrt3sq_m$JF&<=(p5h7L`ZQ!R21 z{N~9r5Co+6<=A@Xe)6V2uL2SSII}DMC>bDI{iblNf}XTIBxSBpSluybhy?O=39H0B zic#FK>~;6*$jL*AOV)UX^>_+}e+GEFPRyaMya1ZQ#6@STOt3o{nOTj)jEm@_AURB! zhgvm;Fe67X{}^KZp)IkG87#B#MmOwhzET5Hd#_aA^Q`5C&(3V)2%(1!o7XJu6O5w7 zB3)WIgSO;Gb(lX9%A1I_EOhRZn<(Bk#A@R)6)tK(VQ`lcQj{{Domv|0$pOela-FI~ zCCUZ=pAAxad!oxpnf!aA>fBYzFgGTssrLte= z)wKyp{|c&B0t!FId@4Q?&;mxI%zBreEcx&o`@?HV)0+(RNhad`v%xhyk-d_lpzlYw z{N${jP?W5xEyJcnzPt(L4F2`Fg`Bok5@gmL!AaIMxp5K`AGY$97xG~XZRX$}G8MOl zQYfyo@&iIT$ttk6RUL^f?t=mn&oyfOID(u_()=F{z~s3KL{2|Rc<;?UksyeK{TQHF z;r&G23F<^{eo=tq=mgLD;Wzl>x>N)2$@pHz|DNXmL6H1gL$y8$oIW8rN(rYl6PQ-F zzu+hfX>4w}5JSxBvv2thy!3r_zTmmfgz=Fxa|etgcxZ)njJ^4^68^4hy3W4X7tDu7ZiE(| z-)8Y=VR&<8lZAG9bm8jCe^J3~x0G{E?B}OAQ+|3f@i0xdV)ng0KA^sgOYYX*pKHQb z0sw;OxzZ^u%PlPj`nGmX;)&0U5F>6w+%S7eREXLXj=UqUVfmz;lttI8kKQU0g!@)L z&H-2GQQeR0A8bb~@rRd>C%MeArV@wu9}tmNpScT%7o{>3^LrZ!Pqg z7kl3kHaq@moZe)5RS=t&LAU-L!HMxIz2~EpIvs}dSG@i z(9#^y08#JAHzY2(){=^&ANcQ4%a1E!C|i**zWGy@9G2HE5)czWlO7N8wR_f2mqGlk zowmEiTb6DM&$(@ezQ+=>5^`$<%>4$Hluk}8uv9rJ?Js?B)DeuI6a$c{+o$vK-TkT) z-a0R;1LpE@Ty@aB*_l0zu`fHoR;T-Od;jsyR`U+Wjxnu;qGrfOPdJ6&&ykWF)NgP~ zgc%~=D9#O%6u>qiua0EgDbr@-6L8x2y#1Lcgt;WG>2O=WcfUu@<5c&f-T!)B4%mH6 z=0%a5R(&kM)yulEkPOPb8k?)ipj^K?CX%ZOZa*^dY*13wYB7^-;M$=z-@{*BR4huQ#k?S2(?< zGqKAlVAd{vv0$59#a^AFux;!e(OujeE5LOhX4@@`-=HrvsM)&3!}uINUqTEX^|T*T z4B-rL?pnRXVj>;Df3|JWW-*os^NQxcK@onh-?!0ZB^_vgavTnBLg?HwhD3&YY;gYA zienc|+= zt4SNv>qz~$`Ha;>zlh0^@zvnA$gxj`!=Ao7g-1N8)k>AT(k> zcE+K~NcFMeoQjga+m+z-<6-B@9nZ0ynbNDtX;;|S#eU{W8w-9T1dTD86fqSWYNDq4 z@0R9ZcEPdHkNW=WMtI)Gcy1A5V}7K$XoGa0qDo*{@F`&A%9Y)O8L5hnjz_0eSLesI&Y7jDQMKzro2l?Q`GE_g+^5C+Yj>gE3=?t;LWMA=;FJmq*x98^$5q$-pTW|4xn?7=aA-A)o_Rk&^b~m*9e)zisf+ z5am{|?u`m)LvHsO6nmL{5hpWcP=9Z5EmDcb4lfP;pLLjmxt^%?cHNTmC>rw^uJWQI zZo(xidht0`A~X5p6i~O&cA^b$6ab_ee76V{&0DytZl`a@EG`GJFJtk5XkTCf%+Z$X zH7w3_Y~A+y3;-A&DAqC}6k_^r0@PW6(-I%T2|4m>FStdi=~qJ#E-9*2dUwNW=@mZD z^lro|_z^vOU1yLV=zT~kP44#*+eW?bTgKsgFQO_Qg@8~8{JL*ny!H7MOD6@~^zzY8 z+6kM~%y`DHfx=&XxWZY(uP1#{ApN}DZ5SvD3qOP54!~>p7ez+EC_s#IP_AEkZsi|8n zsFhvI6ts6y8-;ChIS_0KU30+q1h#Rc6w-Kk4E#@#txCZbnp=_tqJIIdlB!K z4HN88gsAPGtcKMkUVBwPY|*bzCMIO><)sY4TI7+i7%L$XzAIPTXzrhLdvag2aQ16# zYyj_K1}1V?(dg+cq>-m_zCWU~VmPxl40iz`+grD_GB>x#^h+(NXdN(K0x26siy%_T zM-~({`erU49~6gQVrXld^?;;GOuL3zj4XfS?cV9-1T4Thf25(bCLApOkVrqA2)&t8Xt*K23Gb6G$PupOPQkSlapb!LZYw)xym&9SJDI7lHfRfY3rNn=;=fEp?6gQ67_)db$SW1tIA7Ep-!*XEb0(<*#Iy0QQsi z@i+I8Idz1)3`RTS&=BrJt=WgTu7`}7&hxj@1Xsp6mf&gZ8h!mKqc9f)6CLgs%CJfbMe(WF*C`waSWtN~WRL>ZU9Y#yZLC>p*M zVZX$6^=s$UZo`}mgE2Br5Y$Xh0gE|kblc>{tYIk)xVi4`9t{Qd(}0%bh&}6&N^4Xz z@%+ptVspozt8G#vAeG1@fR+a`^if)i zT0G!e!s4`0>AR+afh>2tOVf`g<5zKZ*k4(|MDJ-qumGPUt`Wl(LlcqZ&XpN93>N3f zU^v}-wFu;?L5;}|ohOELG$Jp1pym-u zXy~%bcZPS~MQb*Du8SLlAYS`%@EMR6#Iq9BV8-Fb+9IXsDoJGd2A^>z+%M`=Y7~KV z+25hCSnL8yaJEaCW?iY`;`=5Ps@DY znNKmyQ{$d}uAJedbDn|0Vl*t^F*q0enTqyn#=944b6!>YVSup|0T9zZH(4UMe+ zfRjnJt0e3`j06=Fuz~_=jE|IoBWPrO4zz-Jm_pCU0n8)+I{Md7%1m_7V5b#eaLq5A zE9(Dx8>wcB@%FX9sFkKvK7!(_0%7oqgt_<8bmhZ8$6{T`)Q$}7^m$twR1lqi9COvYta}*cuAMihTuuwaTI4%^Vf#tIJf7>%vsh#l&3C>@3(E!wd+|?Bfxo-eBb!ys=gp&I-YELJmS*KG z4dxJ2D|IkrsW>g)h05Aow>jaw0kvZ!WpiC0kbmh{Ddz?E)2>;l04rj`kSSiF_h)R0 zD1-)|R>ftrmkx!|$q#PfCXVf}au|>@bQXVFUXsF0j{cV+?rflhYK9fvf1>na;d_+% zqPJ~ui;lVgd$c3%DwUsrp=Oh)-d(!BDZr0IeZgmXf$t(`m}&Rg=>{#a$0sN_o-YLl z5cHqauMr~Z4J#xaeKyWrhhew;lgUDtmh(+7Kfk=8$?+*}e=~pb z+=NRTPz?LbB|#UVRvc&@BjOj=*4KO%lE+v6Ej~wW>KM1RF*19Ny#-f4n(}0Fo5GEo z?^MG$nrg>%TN;e1^yR;rpr3j|uSZ9>X1VU5-n37zKm%15#$?zoY-h(bFf-aic^L zAm%?VEu%`)$>Z4JQQP9t5p8h(gBz%fJ5WrtfClC4=9^K>F8z%V8-0Gcr-h~H5zXhY z!wa$O zM0C8K4N`o;&T}S+?ypC7T{2UiT}*VzSkXSZxUSwGoea|L`F_?b>x1c9bF>K~GWG;n z3!b<-Pf`SOrpYC{Oo0vL00o$1Ay^|TP6v%9yqt1P+ zznbv7J}53aA=i!eZd$Q>5V~e{pvP0#!e4Nr^L0hKwI1SeN7;Vq7awZH=%q{Cw*no) z&o%)?a?EA#DQ_^6HicDOB}xNoh)ZYWJuvyV z=6XPHMmb^f-7HbPWV4I`&Q%Qr!TWkTIL>!Y4q>aIQF$p5YZOuCBm!uLw5VBn3QNs~ZTzfeY_u@i zarYN7TpM z(y51^`q?8^RIrt6gJg@DL@X*6evNOTXmlpUYYO22ut?OU>5w&iz4oD0Zp*<5{7Dc( zb(J#PuwmunL5Sc4!>`VA@!p{#YkB>V6HeqwW#O*fJGB3z%zfDoH_^V;uU?jWR@t#H z-_A_^I$G+s_V8-gI@iXhw&+^Ff00u%Jq8f*Jo}r+4K}lYIKjND<+nJC!dA8#0Bx@=d9nqJEffBu(L^U-TWijsQ#P!m6bCxAoOft;7VI z{aw|4nG02xo!<^}wkwuYOpkYg<>&6q#72SW>?qr~L^idoQw`k1iio`-o1l~+h7dri zvq_kv64V^i{3KJ5d?ehiGLy)Q$_gSs8cUG;VD;fC7wm3~7o^%x9X!$9=GZc|Cnv$v z$N+l?EFySl2`aIQib}(`{tdFLN;g(T0D4eYAH(QJegAc%ODA-*lQ(QtQVmfws5JrP z%}SbX*MU?eeJCVxhf*>C!J$!;TJhkNbpBqsQ>FE7Jx{=3gO? zjdH+Psmeurd(#=#uy5*~ z4^qz%R;n&e^`%=DD=4@wg5oSA8w!^iile}zu=w~53njR;l= z1l;3xW0nj!=WHZN*lbH!{)afkr+@D{LeiGS-%`P{u&^@YwDPSLxF%n=AHd^y^jI={4)8W%rKQw8%q>ITI7t z&-0A#KOWMzKGV#uhW-s0m{uZ3s%VQEcAF%K7f3-+r!sB5n7H0}$i(u;YXG&);GC=- z5M5C)+@4Ky(H-D+JPwHmy72f({@E9bHJb6;@K7RwG7z6&+013DBL(A4(B3Nl9VimC z-D<0#YwTsw_7dt5`T&MV8(8*eM)*EB%r0bs;1xTRWlLhVdZ;o#(G#+0VYz`!-H8*z zTsi`6%)9NnKPyGMF5Q zyG|)G49wws&yu?JT`H?J$tAgvs9*ivOJ64|1J7XX_qYw3;Na(tpbEd;=1u7PBZE|8 zFKqfN7vdyq-Io6op-l4W0Gipq3@}xc#Jn#$xdF4*hbeK|atq&V0(`7>FZlx9?QPj| zOJZu^r_VUD2X4(P(D0E}m3k=lN*mrM?>^K(7xU#o!OK5r7lD*??OmI84cXW-4c)HlRQ=DzfZTO?pcmz1MMnKEYy@w?8S-ol2$)>aA zbaQ#K>o+SumkYOy13o0HmsF8D2iJ+pzao>KEs1qObEmK|Er{ES?ncgRphdaq4TDCV3;n%vM{QFlU? z2$v$YmkL ztW1Z#SV?+5*g3v<4?u7QLMhe@f_y@c`j|oM`(o}o7J7nIwqf{1^Tx+pp{T-ydwy@iEmt>(cd_4x@pk(s>+Lhne_GuJ^)t{ggXZ1u*6E_5IZCGHgStd9Moj zjk(frSTR>@eEyIFZn<%V1-fb5Pw)2U2fK%!Tudwz&rNF5X4)m#)Bo!AboeI8PQvVw z=nli2UbOJ|r$jd)Z6azUD(W1AzNacNNd<_y4;5_&p`zhRDZ(#ggJ)6(AJ^`O%pZzl zkFB|2K{fd`0eEt!uJhMD&Szn0GyNK*zM^76oIZqNu}z^+eLLRRf`bTmcYwHJ-n1f+5Tolr_v8!sv|uJ4Nr)8!*!~9-krK%8Q<8X zr~?oN3BYyQB5c!%+2}bdWQDJk$aPwqP>18`yV}~Su5sbrFVt_T3Ol)jr`auQTq#k7 ztX0U;O)SzoHFs{6UJIuVD5{PsbLm|%)fwf0G;A`CraD*GZa7(sQ@Nge(fxdM2+Tgc zIKo1~c_=nw3dRM@fJyE>D`cLZV!v_Pg7eY|8xZ!~36bSW1kA_5K)CK$=+=|58zIQO z|1CpYd*~QS0~&m>Us^8xsty~^Un*2IJ&Jhhg#G(13p}3x8kksjqzAyVt=u!|vQvnl z3N**{ZHDYem&)S|3^`mb4W$vKE>OC=I6dnA=tTA-Y`xD;h)&NFp>a*qitP{XytBW6 zDbIgn?MY$IDbMsjI0wmjY6kHAx@jIdt{I>q$8(Ype~GW(wT>t6D8M3ZL!ktESZ?f3 zlxW2t6DzN-n9MEBfwirry;)1j269(ajHQpLY4e`Y6J94&Kv8rzD-~S8+*;7iNinO% zjYZc{Tg4`??1~*GT0th~(32=fDw%YEDyw`5ZvIYdzq&JI;MI9B&URYc6X0z{de$$m zGd##x1$vA23hRMms8(71hKpX!Pe91aK8#DI=9~S|a1947 z9O~PK)n+fxKQ}KlKN@hQBarN?e_3?w$p`v0rODigEssiO@f2%(Nu{|Zg7oy4!_C8} zMZw|yjn*U-s0$|sP5pjZa;>XtJ{=L{woE@Bf)GoSsxM}7@^{oq>|w42cxxXFL^itF z4O=F28Yiwe`M{e!I7C!FwFhH(72>T8D8}v|fq{DjGP{Lmr%sH-TWqpePYehOTXSIe zp`h-&lx}9;Bo<|~xhf9XJy&Aae3YC`Z7_uQo+VVAN7|(;T#Z9&vS|u}KjBJm6jb4l zJpt)3NUC)kyOF2X8u_6C%sz+Qwb}}LzEt_2mU~K;ZzpbEDPeE)Cs};~mKVCe**<7< zEgrkZ277mI@FqoNLcl}C&Gk&M3rOY4F>3BWzoTvF*mV$J@!V5+bW$X+*M*$Y7di!0 z`9RQeG+Q*UxAuofU&|tPaHaGH?@};sR(=<04XYr(YA5N9 zQ)H(^W5bhQUm5~HQT8sXO2D$4juQdCYM}j4osN3wM!7{rr|mj`r__53?n?mS{V7AZ z5r(&w9{GjYRw2G^J-nP7VU(kFzGbQBhxMu@^@-tfX!o=fC1_pm|I6vpMz<(o<5fp; za`kNp&YR{7NS5QQ98KU4wloW?i5U{@g$QasoVvR%SAjKv9&4m}?3Re76OJV5CYnCd z(0YewZBPch-d`Lw>GmIEqw+Q%t;`qNwr;5?o>c&;{!03wMHKOx;tLy_2&V`cT0(PW z<{x=WiNLD$_h8lbShQ;k)%LI{cBA1@RX)ow?2TdxxbQB0X>hvM2MeN5Vm=$C<8ufw zpMik|xQlZ@P@TeRdQo*9LqSKR%E)u<_IJliyJYRxnP`_X48SQh;5w28>*ZjY+3+yy z5kwX!Uh4@8O@0x+SGE*mGf zyE_CA?(VL^CD`MfbN_em{nvYY^{ncysj8{z>FICJ^mH|F!J*E<8b}CN?4LrAYRS@d zGf!25$zAl#vCFjm3tQrE_Ql?3IBdsH=OH9+PT&&C+ZDe-Tzfq>pdn1L5lCqxiwwwn zkZ*D4LMn$1jIC9+Uxy|B{ZU2%pfj*`g{DkBu2xd<6*nNK$BiR11t|n3W>Uw9Lx&+F z-qmNxmA~R)zNXli;nB99*K&e$ZGzcw&S-)d#(+4Y74iazi zw&kHs_Y1f)u6)1zzq&MJP#fK|ZA-@B&)@%~+{<4xrQ*w+m zKChz`xVJy51S<+urr#h$4DwTSWNkZS*8l$Dt^<65Rp2X2g(t>}q2CKQ-*#BrRo4=D zb%%ga6R7-7)*3z-GL$J-+J}9yJ5<)kIl_~qx{Z($BJ8%r40114-S!wy{7H9tqxGw_ zkMyMXpX61AN}4nq5)*p6_0iMkAyk7@kbFKQ=1(!|!Ifhjv_nH3Skt3me|@T&=0bU6 zrR=#~j7ir?z?LyjCxjV-4*`M1drrQ%X?Xuc;61qEu~|$*Du2C>WVR zGCFa)DTkU;Eju}cXyl)6=ixtKJ|1UA+}k7GG*C?oA7e_RRJi?vw8#vqQ`c7Gva#>r zdmGSx|Zn#=Rf#iZar_V3Mkn%F+~mJk;;@%DQJ zHHHKwCV^RAYc~l5@dq4KeSTOcv|z_rk96o@9hetyt~(rAKW(P~QDSk)1l~bEUXK1Akk#~Q-GvWqe_N*SwZp6Z=GXw8MaWZe+JN7>x>k(}u= zG+J69tr-3oZ7W>-Q#ZDkPGbt$8z#UhIW#;TSIdSTPrLk-63SI(!I=btU!z+Y1jFM% zbaytdby{wh)waoZZ+6*#V>5a`GGSS3=QC5qlJ_va-BotwppJ}=Sv##cz9+pGSpB2p zHFSUB7(IuZ&onxswJ)Kof_>zVarlPW;Hd#fKlI;d z?F|M+KV1M%(myCN0jSL;!su*pAe84Q2k2EcNLRB{0sYsN&|Q*4Qb}tVr61{}PA0{Z zZY;`tLEg796eNDXi$~X(FctcL^G0>NKh+}{kq-MOJk;-JSd7}k%BK+$T>on z(hp2I?1u}tWk9Jkhp5o8=C3zqI(a1ogRC_+6U8AUy6ar4*1eSqcq^5~l6pcyxnD>o zx6etEJa`|EfIV zyg7A{rjHaX(nf7PqL7Hjz9H+KEmt?Zu~Tg!3}k%$wmysKyP4{5Wf8a zrr@$VmLZ%PLkJpfAg&`vUUN%p-&FFnFApsxoMGT4_FpNr)(nD*(HhMp=rPv}%CQR% z*zhp^vo&wd%7lgk4>FQM9>1X&LU|HU>PaJLq2mru~>xD ztN4&nFs!iP%CR$gUpxtzS%W=HV!UWl1$h|XyE6YVMP^L_>cYw% ztUes_F~A)+X$YWIJ)uRxKS+NaBG$7LT;VC~Pi`Qir0sZQ)2s7OJx>^2%{EzwCQ2oa zl}34@T9H)r92k!xHROI=AJ9oPgwn(hrHYCNdO$gh#_As}wFw%ZNLP=zyYK`Q4ab(CMYgYNZamV? zuqWKVTGo$h(ek0Nhh)B#3asRub=m70nq?%IMU`o6%w(H#DG4(r8VR|#zh@iE5SUQfS4=#$O|ZQY5aqZVBwoTGJ> z?QKGwm%LV$41(h#&EyQIv&U44BcfiT?h;JFf&iqzZL~|?PfBi%ma3&n0S2eC$0WR> zpziUDuT1x|QH5(c?ejWJ-9t0oD_vY1y9dh9X zK2Tp)5=HTWXlWtw3Xkp90-C~s976CJy<_u<F=L3{!#z{3nM1A+zywtblbaABp$nD=El)S4wJWL@wt&*x$ z5G*x^IZ&w@vAL}8C7n!*sE_P@>{{uEa-uQHdJIS#3$QzK*WZH0>bndk7<7Lo=~b&@TZ=E!vh@(Jl<2Rw`hQPXO%VT%I0$_1EGCkFW#ZQ}^(`&u zM_nT5LH;mYdHkhh1E*ca2JQ~j|0pclSL!oE6$Jtr(<~00F;}@OWkR>QC~4aGnejsy z&twk~dEB2w`F(_9{T18H()Q*1teltW+z|0}7NJwo*Qce<+27iYVs6-i-vm0G1lYY@ z>GH?*LVXhWS_kCgXG7?OH+JRdIVvR9$INOomk-2Rk%gZXa$coz$s6UzKpt;VFC8l-O|@8U8{!9&z&bjXBms27Wa z8Msb$cY@{O6+5X@I#1sY(rsNRjn;j%)CsTpWhjLyvhCyC&WEgvY`erQiA^)4bwTnq zkfpJbc)&qUwnR(3D~eqBxoG1nIvJMTNAGIOQ}e^NvQ4v3!;FxC5X9Hxx$sBpmhT2n z5DOr8?DLn|OV=-5f!pV40p~9q_&18{io0u_B6kPzUZfAl#<8%~Am$j!qsSU$k)Xz& z&e{^s>6kwfb6mW`0gc&S-wm+Sn-_fivJEr{cY@4T3v3&|%%~FmU_@rt-!&lIGhMCd zFomj2Y`sI%q*d~xten9p;$^S}PEr?zd*-|X^1|i|S zz|lBZ7?Zj&e>i0tWD=}D`?&k+9C{J@dZ{mpO8FA2FwkOwoFFajjRT{k85S=Rs{<+Q z5a>;Qt!+$R7C_9TV}S*jP)^d#`t!|!UZ^V>v59Phj#2^+*62-UI|+PtmZ*|pO&NdJ z_j;P>&D!c}!d_|$skw#452cFCu)A|xPPFGq_v$1E`vR`XtaF=qNJTi1vk0q-nQ6Nf zxGw>R_W|sjS)eQSm+~F4q&)M|1m=t2LFE)0^ODEgxB_ejM!Iu668SH6-8y|U;^#Q_ zZX1<^3{IRJM}nSa1IIIp_K6eo?rHB!GT|g;2(UFv;0zL6DB9y~Tn^0;2z;sAb9bjh z(wT}{&`5tR6=g{1acY)k?{cB_m>s(ruNRr%&eF@$_Xq7*Ir~b=%M3JeRM`;ok+zlD z*tEn`aG`_YGW%sMw#NLrgAGJaQ4|jmM-UB$VA?`bCj}AF4gnx{dJ!U0+sfhbZO9_X zVQ`1tTKEqLzS@ok;^65i?~|Z=jTH#vqSlnBD*>s8XIDAfU+t*=+{5kcBv%?*n+PTW zumGD-7trrhawVpHPyQmg8|VNz?WXnhEw2G{D^$Rn;@pr#+mBAvb|`jdu|6c?DOOQ& zvC&C%^!G^FkY+SOHH~O$#Bj68CpoSvl~+%N^PU$BizclEK<-7H-szw=@pyH>M1p;r zJjdhCfy;r#74bzYsn}!Ab*q);MsmcarPTgI5y%wtk#4#+G14z@B)CK@j#MAVD)1fM zJh?k5-ZSX&Uxz^Q%U&#$YXoFi+Rg^LO`5;lb&~o6G%k``SQ)i-AXA|eKm97{%kEWO z@HNwcYRPO3p~2jYp-lt0n&!0=kSN@o;}M5kcs@qv;tvtg6I}PRhnszf#i0F-3y7iv zt;>17&RkP^6zP3>6!a_}4s2^GPYYcryx($n{=kDJF*HzzKZ4Mj2#3@>K0+RIm3hG9 zU6iAK&b&W>*x82pb|f`6Jr?l^pAVpy&lG^5=6-)NV>Iwu!3MD19Mk9t*{pAlb!xdA z3QgS<&8JkU-X5{6Ar~Jx%*KvuRp|)_y-WA|{hSl}7&x!d6RgY5#eqPK0~Kc_jzteC zZW?T6xLBhz=-nf~>scZ4STHoZ0ca!r7ENN zV8U+@*Vn4Ih0{sNQvY}s`1m~X()wK^Ol8!GK3Zxu9JWa{D8^pQjXpZmwjccxf%wRc{@gm7k!V7P zX}+vqbwo=1GS9rAl8@3$gmJI z83B$RJ=CbC)9vCzP30GRr$d`g)&)m_$_gLEMT9J)k*~l*9307j%qc37A>4}SOhzh4 zhh67LuJMno*l12~7sRlf4eJG7_(uBeB zf|(NM^I_4?^1yp&+$bP!RBTFSzeezQjQ~DBoa+mPUBcuJ$ofjq*waBZQ~33cAA7yj zN;7|(=8X7*Le({UH$VORI~0)WS!-+ln{Wek=Ig`wfJ=D*u1DrvO{4Dc3dC=_7|rz= z3`94ndix^he@I^i_u0%(xGIx zDb{!kfY7b-_oRmAhbWxjoHahCd6Z2OSn?*6a}jNn`e;xrd;AzBKT3f`D3ABM`Z2b~ z!^2wi9Nad(hAjaR7y951dCVrKT`AV)u*|`yW29C9*&l0zR@nM{h}v(^Xw_JCu=fYf;(hBiC=1)9_z z0|q}cvye>Mgn->dEZV_e48?3qJsdJqhr<>ew2L!$mQT(}@U{?%f3ZO8H&*ug|JbJxaRPeRuQ6)dC*g0zr6%Y) z_PZ&#|Cx6$rFdO?R0C@ z^4mW2^-neU5GUDH(ECb%UJb>wb%x_6_a{Uz|IF>1j@6~H2}`qBSs)l%U?{5!fB<3I zyTJ7q$SSmNb0!Edf2lF9?>#YaZ>xj}$--@&hN;1|dw{ifwXNaP8;ci`fD7zKvjQ)k zUQrOp_h&zo8wtXEV1c@oak|LqF-yB?O{Fs3f@|<9IT9%fIqRQL*!esLsS;}#L`QcX z=G{P62R>rVv+Ag+{KY~$4wo^B0Rf`kegArxk=R}&;#QV}8nUoS!&8t_}t;LcUr&5&Q;(sP-rr- zn7EIhKJ864<11i1lwM)wfIL~hrqJOr@2Z=f6|nM$@Qy@36eQAg`K5rJkPei+DIO6( zCGl43SuVieRGWQ&eN!bWKTiDW$Bx=j3XGhj&$uP&=5G1OfAGgO;c2YnfT4{ls#EO% zIa+_m%Qm@gW;r`;>${Id;okZ=DBt8-Mk5xrBSG=2lyZ|yA|S%SmT-%4$q{={G46>t zsLjO*0Cm~T3s4p?#o0{ah60hOtVKh6;$0xP`=7+FIVlT$LTB>(;{YM!Z<>MQR(UnQ zN*|$@W9X?QMxvtTEq%A!oE1ZPoO!}V%Xj%Ch-n4V9>_T@luHQbUbsuc`dBM#`Q2KX zjbtSeW{|6(heC!kpeD=)7!`#JyLtXCT5kjz-c9n;U?>`CgEtbCn>1)lF-$HaEl(}? zD$hkyvw0f5;7xohv|*LkOLtg7Mpc$<@NIUCSX$_!;{6Zwa-&d{&H1xcGsYKoxYT>b z8s4C^-*x=^b?2=y-wIz}J4qnU&<{Acs+bf&xP1o%9W6^dT&_<%Kp2|FAZ;1w&@LSj zbrcTE8SPiG!}9SoRbi0X>TJ=My|Pp6Ir=!et9_y$X3&%%nydQ{(Gw3hS-YX&KjymZclVrcpNc5Lfn=gC~+5Bg(5eWIMw02tg6Y zRF+JyhogeXpt$K>d}B&!a@{FTTAmSK6v2FUG>L8H{oL5eeN9j)tquEN`RtA+hBASFU!vM4{<%ofxHU}?Xcf?_HdFX^ zJ%oBKIk!So4#94nvvb2_lcp87WVqnjz4*?O4(&wGr1Y=TuU-@;#v*1DT6TfnjIC;g zbIFN?{&AJ;C3&E3B$m@#Npc>&XGFo)@1(?vSmh6QLnq<%H)!>UOKZdjc*z~-B@}z{ zoL1~=ou7&;)JDVS!trG*QsVw0@AKHpQ5$}`a%+!&C?-&@Qm)rgOjy+*V6cynkebqn z@GnvAfH>K>?E!KuWef8F!a*T!Pr-1KWk;LcT|ci;N&zY8z?=m!xX&=If`eJSG|7rC&OuxUF6I>TZ}#N zD}I8JyBF<|o9~eGH#Qj*Dh@9G=n4@%8^1+spP%y)3ky$xQqY}R5~9N95~sbOG3hCH z@s|%sxXw{Owqg~RgZ>`+Y_t*$l6x-~#!LfUhaMD?aHj;lOr zLjvzy5bx%U2qmc1v-Or;RijFG56xU&h#Gx(^K(yY=TrJ}N3@KC?>n1x*VL(3!#2=y zHin0Cq3R;yPAG{nlB;Y5MAnYB+%pf6kfBySAFpf4P|6WM_3zHTHW8sa>Lq-mRx7?OiUN&`>_WV(QA1viM=LN$1;=z1E*aS@rI1i}d57glTTLDfWsT35c_k!|N-aQ*wX`@T(U z2OwGy)p$r=zkhbtAGYJ=ZDWR~>RfuC(5R_4c9p%)WX%@=qx@^un~8E-rwb0md>m}C zHzG2dc&7X9=&~G7+vsa=a!Oncr5T5H7(TMC!8~GPAkE4)x8KBLo(`zEUPpP&e@Klm zZGuD{HM~31GH9}*QIk4KL`#YL(LyKVBix1}7vtNfjzI=SSu|hy6QNRmMfR-B6tH*JT`gI}{B`V9-Sx))*Ne~3d&!QgixLwN1YgXj8T z(7eSl+f6XxNOFe1rO`zxPt%n_?lV7EAU>;9#U5&mCm=E&?0iCO>ZBKz{N!tp)3?E0 zJ~qF(o3JD~i8Xq)Y6`e0D0Db*H`7?D&BoQfb4oK6qJAe@IiQ~zW~Ae{=aveTdC#en z+TN@_goQcl!3%Yj6fO}}eM9B`e4mdR`ni|hXxsgY?ZT&MS~D-+=E^{viw{~(PY*Ch zCg3KSt-!ACOe2CR&A!iFw0??xiWO2@qq_F>BW#`$ZWn!!<{%PIm>O8Um&Bm}JVUKo zAM@+`b+%sf_xVxgYD3AzG^92^@?X#DNa@f|Q18aYlHK)=(dHIXBUBL|q6+~DNr>)& zh3qrY_;QkEzFRA+0EA>U*guXV1>T1s00FhEA|7Wv=Hg*O80yM&%EegPVt zoz0K;dadnt?nVH!K8+{Zw$zToOsH8NxNQ2Kf(%|`$iq?QZ8?AlQ3in>n67sACOJ54 z=9vToSAP z3=?ikSyuV%RlQKB4DK7bpV?e4U*zb!Q;eo8`uG~7!Yd)~#ANI_4ewYWeDlIx+ zbH_8k%n*&@)1L6eH38XeHJgn`InQnO(>q<>40uivomeX2GDp!uHO;niD{(Rih3o>* zyk$YG+x?G$2W> zLqJTxvsty@X_oXOfmUYJVQ;;+V^#qZOnoM?%H(Y-MZpp``ubgO7yIC*BJq1*i>8VW zA#tlF%y7?Oy0#xI61HP68?n_%ih?0#$)U%2HEB{?ul*y7eG4@I!Hv)L^$BWKCCD=q z9>Fmjy85>%?(Q$eO;>GeUH;MN?O)2hVIX53t^>n|594S}IwwWq`pJQ)%wb!-(w+|& z@pyvm6rK&tUhwZLHS1PyRjDw$Xjg>Job$?!->737ir7{Ub}`(?2@EDNi3P4)lhO^Y zJ^Az>dfPGkpHTKRs5`22}`HrfB)OFW^f6}+643)+VM*`Oca^|PjC#H~Aw(K{$OW4}b7 zyw45a;$Q{=h2B;UJJ2E{-P3qelMCVe^CpvJ}Sn2euSzI5&2^Ep%iih3p7Z3yn>l&a+RB;W9HHC(fshSc)ceZ zV1beg{ILPBT1S(n1BAT6uIfiS9E9##o~TNWoF01A^`P!5|K6~ zw|$S;GF1_ZDjUx0Yq|WW&(2=qrE|Fil>DxB!RHa-_;MNjINA^>6Jm$vGIE2D!D(`6 zTSB23c0~P5x1_l!?CG3;ub*+j@AU{)eOU9T?y(G~Mc4?@HJpR+y9*v36^{Heu=Vn4 za9k^Gjb1_b9$i>1Y$`o#ClyrF*2KFJ?^WkHJQYMlgyB8h*1)}LrAr*Bk}kJxb}(((zrRS#iQJH>+ywAq(+c$@`VEy6eV$% zXE$10vl6Rm>jmfZ0(3g)M$CJxg7`-3$M#FM`~%8^YBH-B;d$pTR9@O) z;tVt=Sn8YAo?*%{R9-R|WGWlBlSA7f9y=rS>Zqf1o%vGrPg)g{9{%VXPYdS(hHKY* zT4W>IcDNqjbQ}btr(Z$gjD|zb26=SaR^jS09qYjdRVG;5n!?N-#JmwfDI%`nZ>KYmt0A%?{)wj7-zMVsL`oMD+IX z0yrWR>ptt>457$u7mP^Mnn5A)g_m59%oz@SbUzZXuUS$X&m360;A zvP(>?^Kh_2q_^LaI-D}-(Mgeg8JeA(chg~m`Mz|#CwB2@hOA%${w@%{XyL`QfRwe& z)C8R+DFf=)=Gjw(L;%oyU9q-=9olya5QtJ7v&`=Vuny=m?i;mDhhdcQu#mN!ElVVg zd{r`4F}jWn<(de!{fAgwN8T(8d{AMSK(=uk!O3bf=-ddJoB5_nO(Xq{@Wamn;j5~? z2@$CoUqxSt479+k3#jl9+z?71?;(8~8SOwPj!tMg!uN`eUUxB>|nGNbV5m`);teHm!1tkhx#ePL!YGOM_+1Nz@L>LAa)OgJ7(6AkGF?$2&q zkdj}JP=#&2lyKk`vx#B``5o>tssQ__*Wofh9C)i z!V>{~64Xupi*gHdIJSJ+1K|*Ginpq>$P2PDHe;szRI)9FToI+`YGU!A?9o3Y%yU)6 z$*-;542(GZE9gj@m>?uA*$u>jpu0@hCJ-@^keJnth_2%FiDpt`TbLv3mEs!W%J**Y z_ggPzHsUzR9k$iv!^a7>fgkUo0BZ^Qz2FdMaB0uNVhpQALX5)*sH z=_Bnl3lR(abq+Rje>$gHY24(zt^3@JZ#&8qfo1YSLjVHWtfZhn1xAt4`sdsawBjzc*LNm(mXD1U+6q6job_TF{b`y$q;eqYF( z5g76_jLwrOy`w#~FD*%;9AD9B>=481YoZ2wZeQ9FSfiv-wHBpBv_Nj+kDP)v=TK5< zX7J~A=qR%(g|D2TIEjY2qSLbR{P1>+irPRCBtB}_Q#q^DZIo^hjyMhHSZgW~V+nIM z+Q|s@&7Ujynoe&K2EJ5_O6CyEz@=_PhJ#1}leL?g*@o7H*xaSMX|Y6%W^FGLzCB2F zDPsk+xN4>+(M#TxkphmfesywTDC~uT&*#EV>0K0SDs#YF zK~-0+cpQGp!hX3U%Nk`Pt<%I59R9h4&#lz{qWex(jKf9|Y~ihPrZe@+dFaD@%1c)> zgU-8ks$)4-SdAE6BvTdQ_s8g&o?_X0q)Z)A<~~ON6$FbU**LJ+n482as zq2KT%RgB-~pL*b2b#=F8hl_H#wKd7E5r7w!jdMS77OwnFsFsy?NTPLTm3<8Pq7@q3 zik+tFYV&wO3mIzu^Iug~$zoxX_%ik4HHeC2ho!v(!B)>KUHTiV_^x;_+sO_A!G^6R zI`GGkj+|VJ9K!Jh-RI{ILAEKhhlAuw9k1UiLEI<-ra#}TWj+{BCrcK7#4+-gn!l+! zuJJ>b@5IgL!X)|e=z?g8?f8075Xs|t|C%orDHm$wEP|Vd$vI4jnd_W+L#sQJrJu9s z{K53L{K6vNdYJ-0lX9tg2=OQgrycIjL|3O7^FT@L{J2>LwcjvN9X$#L{;Kofd*E{w zBZxX~tbuBu#n14kIYyy>4Ds-T7NP8ZHdhS+Z_*-eP1e|aQ-@8pzC$8a`Ri!CWte?B zM$k$k(`q4RZf^)pf8i$yR@(?soSELAxSD*Kuq>R6SItnGHq@TLHogcOM|9^t#nIsK zg;ex7O&oo)5~rWwu#nS-ZSYRKKrAaOD#%1;0umqd`tv}aK&(T$Kv-ce2j(i>DcyV{ z{O%;%=MQGpbUg)AAHl|^FI?q z8(7YOR={secztoHM{c^Z*KiG!OoB;-nBmr}?C$oAuXeaLD7&Sj&9E2E&T&Y&n;_Qj z*2gpqfu!MZb6Y#454h+&I#=*-N6nFM#EPhF1ze$Lv+hPF&`jYCh1k#0x_0-A!ZfR!iqnZdsgRzQq5%U?-!;3!PKzwD9%jG|~nH`!c>#jvwMpr@$^ zekc6woJ(7;lf~pqOd)F9?`xmAE+p-jqPSlV4s%B7bQgPW>3585s{lEfUFZ{Z zb+kMVGLzaxo;1C2__q1Jz5Y2H6YAn(H*I16Rvt93ez36$k1m6!dT%P}V8B13u1-1IxwLd+)t}&D9WfPL(mE}GV zJ0g8*%(3Jbmi_je@Z0bE1ZY_kp@>%9KNWedw9xSKOe172dN8JB)Iw4s;v8!MaRRAW z66X8#6U!>pn}b8m%GtR3`Q7TZI&L%`Me}F4*?KtXOo`W`#O@2rs|7|}xnX_j2@$eC zMBZG_T^ny81!-6~*-Hyc#&Q54XAmBsAPotH1%QKt12FjRDgXcguptys0rI^7K7|63 zfi>uXNQi%l0N?|s>mXqtk_}ZW<1(TkzW%Sj0Sx1>C z?gvPumW&Or4eGTK)b+u6Avd1%OF$YKj3m^w&Nr6eSHontfCr*-K>Yw{T#Zpw(y z+_Ip_KD^z#n*Eizu~|)5Q_5!VmV2CmzA-7&7M)IQy$(^%s##k*JNl!wvuVIymr*iI|a<2-T-A16*noVQkOY<%a zIpJ8un5kEaSBwsqJ}-lt!`)TZ(;K^xMF*(ryDZCHquVH7AwR_4sugFYovl?v+pnC= z8Jl}Uv#Y3uvVI1k>q!Pj*@ddo1=4W*H;DI{yBqFjrR&Xn6Mx+OM$iMHmxr%zd|<~J~}&eD$x3@*VgZsdj-U=S#v8H8Q3ov!#=KH(~hVIC4vsrooQ1) z;iRs6t+Ua!`x`tcD43s>xrpZ0pANP`+Nr#*UU@o?h{YONdU|z;VMf8>w;Quda=BP% zSAO_hrUa)GtnZ5)e%7b*OcK&2nigS)SmEjJbWR2a%=*I8*3uBo7SBG%j^&K`gIj)z zk$e&prtVC%m=4@SE5svJe#*vo+$x`x2$h(e=cUM%Tx$1OwqnCuZ;l6hy5 zK0OE1C?rlkl+$hQq8= zr!$C*4bIp+IF)QU_GnFmt!;l0q-91qy*d(P65?`~%uhYPGXt!efOto~GCu#o&O&%u zMQW&DU?4UETsAhNs&0+k@TNZu>I1TDNI#Y0#g9ctmKS-{eC!Xf<5vO6Gg!)L<4o~B zCR=bCp-Mz773JTfzN-w^j&pyt6gg?4INo-6p~($YOAoy=4!A_)Y$8wsb;_WZ>30s2 zv3rO^c{et0=VZ5N3b3ZKOsRG2>1-ku?2{G4myfa^ZGXlnr*&s?R;;9X z0X{T%pUqTt5?tjM3HroMdORTU~LSQ zk2;g!mm1AC*Kf>9Y&#m|@EE`D#`cU`tr`~Ok<6eRr?t@1bi|Xx{UcC_lZE`lU+R4JhK`2jj)wLYjK+2@w$7i(S-E(4 z{wX%ig(f}DX|6=_o;vv4D%D;biDgc17ovpK}tuvFmjkSU_5CRME zUw{aJ_?I;GzqQ_TIzaFx9q@0k0z1$H2_fo$;IH&Rn!l0ChW4Ft0tDmG0jd7YAcFu; z(*BF_w~9IhSceWsL-v=8|7o1`KMQ~u2q2gR3P_Ipk8A$}r+*(~6apMg55)NkQPDp9 zZ!<*yWd;Hg{FxR=_qRKLA6)?QFWr9}Zh1cg0cS`cz{b$l(#+J!naR<_?0;8=WL5yX zE#`ZD$p8Te|7E)l3XH}8!~^~1!GAU=r2mrA!~+7HOr4!AZOxtjv$Fqx4esB{3&ii9 o{nh;bAD4(iNFYWStKXsJ)L;wH) diff --git a/include/sta/VerilogWriter.hh b/include/sta/VerilogWriter.hh index 0c877195..0684655e 100644 --- a/include/sta/VerilogWriter.hh +++ b/include/sta/VerilogWriter.hh @@ -16,6 +16,8 @@ #pragma once +#include "LibertyClass.hh" + namespace sta { class Network; @@ -23,6 +25,7 @@ class Network; void writeVerilog(const char *filename, bool sort, + LibertyCellSeq *remove_cells, Network *network); } // namespace diff --git a/tcl/Cmds.tcl b/tcl/Cmds.tcl index 7a541783..c4beb0b2 100644 --- a/tcl/Cmds.tcl +++ b/tcl/Cmds.tcl @@ -1145,6 +1145,12 @@ proc parse_libcell_libport_inst_port_pin_edge_timing_arc_set_arg { objects \ edges timing_arc_sets } +proc parse_libcell_arg { objects } { + set libcells {} + get_object_args $objects {} libcells {} {} {} {} {} {} {} {} + return $libcells +} + proc parse_libcell_inst_arg { objects libcells_var insts_var } { upvar 1 $libcells_var libcells upvar 1 $insts_var insts diff --git a/tcl/StaTcl.i b/tcl/StaTcl.i index 1a8bb558..e2d61edc 100644 --- a/tcl/StaTcl.i +++ b/tcl/StaTcl.i @@ -429,6 +429,10 @@ using namespace sta; Tcl_SetObjResult(interp, list); } +%typemap(in) LibertyCellSeq* { + $1 = tclListSeqLibertyCell($input, interp); +} + %typemap(out) TmpCellSeq* { Tcl_Obj *list = Tcl_NewListObj(0, nullptr); CellSeq *cells = $1; diff --git a/verilog/Verilog.i b/verilog/Verilog.i index 34f7609a..accbb207 100644 --- a/verilog/Verilog.i +++ b/verilog/Verilog.i @@ -25,6 +25,7 @@ using sta::Sta; using sta::NetworkReader; using sta::readVerilogFile; +using sta::LibertyCellSeq; %} @@ -51,13 +52,14 @@ delete_verilog_reader() void write_verilog_cmd(const char *filename, - bool sort) + bool sort, + LibertyCellSeq *remove_cells) { // This does NOT want the SDC (cmd) network because it wants // to see the sta internal names. Sta *sta = Sta::sta(); Network *network = sta->network(); - writeVerilog(filename, sort, network); + writeVerilog(filename, sort, remove_cells, network); } %} // inline diff --git a/verilog/Verilog.tcl b/verilog/Verilog.tcl index 3f46461a..59c5f0a8 100644 --- a/verilog/Verilog.tcl +++ b/verilog/Verilog.tcl @@ -19,15 +19,19 @@ namespace eval sta { # Defined by SWIG interface Verilog.i. define_cmd_args "read_verilog" {filename} -define_cmd_args "write_verilog" {[-sort] filename} +define_cmd_args "write_verilog" {[-sort] [-remove_cells cells] filename} proc write_verilog { args } { - parse_key_args "write_verilog" args keys {} flags {-sort} + parse_key_args "write_verilog" args keys {-remove_cells} flags {-sort} + set remove_cells {} + if { [info exists keys(-remove_cells)] } { + set remove_cells [sta::parse_libcell_arg $keys(-remove_cells)] + } set sort [info exists flags(-sort)] check_argc_eq1 "write_verilog" $args set filename $args - write_verilog_cmd $filename $sort + write_verilog_cmd $filename $sort $remove_cells } # sta namespace end diff --git a/verilog/VerilogWriter.cc b/verilog/VerilogWriter.cc index ed475971..eecabb7a 100644 --- a/verilog/VerilogWriter.cc +++ b/verilog/VerilogWriter.cc @@ -32,6 +32,7 @@ class VerilogWriter public: VerilogWriter(const char *filename, bool sort, + LibertyCellSeq *remove_cells, FILE *stream, Network *network); void writeModule(Instance *inst); @@ -54,6 +55,7 @@ protected: const char *filename_; bool sort_; + CellSet remove_cells_; FILE *stream_; Network *network_; @@ -65,12 +67,13 @@ protected: void writeVerilog(const char *filename, bool sort, + LibertyCellSeq *remove_cells, Network *network) { if (network->topInstance()) { FILE *stream = fopen(filename, "w"); if (stream) { - VerilogWriter writer(filename, sort, stream, network); + VerilogWriter writer(filename, sort, remove_cells, stream, network); writer.writeModule(network->topInstance()); fclose(stream); } @@ -81,6 +84,7 @@ writeVerilog(const char *filename, VerilogWriter::VerilogWriter(const char *filename, bool sort, + LibertyCellSeq *remove_cells, FILE *stream, Network *network) : filename_(filename), @@ -89,6 +93,8 @@ VerilogWriter::VerilogWriter(const char *filename, network_(network), unconnected_net_index_(1) { + for(LibertyCell *lib_cell : *remove_cells) + remove_cells_.insert(network->cell(lib_cell)); } void @@ -205,23 +211,25 @@ void VerilogWriter::writeChild(Instance *child) { Cell *child_cell = network_->cell(child); - const char *child_name = network_->name(child); - const char *child_vname = instanceVerilogName(child_name, - network_->pathEscape()); - fprintf(stream_, " %s %s (", - network_->name(child_cell), - child_vname); - bool first_port = true; - CellPortIterator *port_iter = network_->portIterator(child_cell); - while (port_iter->hasNext()) { - Port *port = port_iter->next(); - if (network_->hasMembers(port)) - writeInstBusPin(child, port, first_port); - else - writeInstPin(child, port, first_port); + if (!remove_cells_.hasKey(child_cell)) { + const char *child_name = network_->name(child); + const char *child_vname = instanceVerilogName(child_name, + network_->pathEscape()); + fprintf(stream_, " %s %s (", + network_->name(child_cell), + child_vname); + bool first_port = true; + CellPortIterator *port_iter = network_->portIterator(child_cell); + while (port_iter->hasNext()) { + Port *port = port_iter->next(); + if (network_->hasMembers(port)) + writeInstBusPin(child, port, first_port); + else + writeInstPin(child, port, first_port); + } + delete port_iter; + fprintf(stream_, ");\n"); } - delete port_iter; - fprintf(stream_, ");\n"); } void