From d163ccbf8e4c76e7240522e5cb51f033f9a10673 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Wed, 4 Jan 2023 07:53:15 -0700 Subject: [PATCH] write_timing_model ignore set_input_delay, set_input_delay, set_load Signed-off-by: James Cherry --- dcalc/GraphDelayCalc1.cc | 2 +- doc/OpenSTA.odt | Bin 93119 -> 93195 bytes include/sta/Sdc.hh | 5 +++++ sdc/Sdc.cc | 42 ++++++++++++++++++++++++++++++++++++++ search/MakeTimingModel.cc | 33 +++++++++++++++++++++++------- search/MakeTimingModel.hh | 4 ++++ 6 files changed, 78 insertions(+), 8 deletions(-) diff --git a/dcalc/GraphDelayCalc1.cc b/dcalc/GraphDelayCalc1.cc index 341d31ae..4ec2aacd 100644 --- a/dcalc/GraphDelayCalc1.cc +++ b/dcalc/GraphDelayCalc1.cc @@ -1140,7 +1140,7 @@ GraphDelayCalc1::netCaps(const Pin *drvr_pin, float &fanout, bool &has_set_load) const { - MultiDrvrNet *multi_drvr = 0; + MultiDrvrNet *multi_drvr = nullptr; if (graph_) { Vertex *drvr_vertex = graph_->pinDrvrVertex(drvr_pin); multi_drvr = multiDrvrNet(drvr_vertex); diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 4e0d14336998409b8344f5d4f962771816ece35f..5c899c42b0c531bb420e6dca7a0aca9ccbba5d54 100644 GIT binary patch delta 60124 zcmbTdWmFx(7BvV2cMIQ+~EukNlTn22Qvo9s8Z1XIcgICM{L*F&^sO& zp&Qi0=1pb%E6F4kpnt4F*J$6WP47vX%77St42*0gYwf~9w&wC$9CWzXS=0-7^1&aH zIQ1p!wE4y8!cnP4j#-}htasiiJyf_gD4C4V?*V4+A!gm+*!pW!R`wE20Tmk^?9S2C zS8lg4alf5{L?S6w$id0VL9%pF7>RRc1pu4%0|i@Dnw z3r#Cgg{XM`4w$=TPe)E}w=U#`u!n#9Mmv+!jW!+VjjrS4SsG0?#xd`CNaYc?#cXh@ ztKa|VHG4VCTy*ZzfWs*6*cauylVnZ-?QYMr=4ci!6}ewIjjVMCMA?Zalna#LM$dP; zs*)LMSq@l?VZ5a##@8s*^rRcuF+w8aJyMsg$8G(n5nI7)6|iOum`4 zS<}jMqt8ti4lO7W-(`falYJf!1ao=Qr}QVM zE?BB?Y8;`Sl&tPPmwZQuW=9vt0@T(5G^LgOK?Cv3cv540VXhEuTr5LeS+}rnPbZeG z?7YFs#Z82@SlfyV(nh>An#}>Jq>|j}SLP~hETF^1XXq9k;H0=LgY5Aek$`Ss{zVB_ z`h+5mtV?SXmE|}2Nv4q<`keZ@FXt_OMKtrrfMGvW%q( z=}G=9M-SO=3e?A(>CU#&as4B_sO@a=@GRWFr9iPQQvM9=Z{&nqdj-PVY%3sXx6Ea) zdy(<36SUQBuAQni;MBMzwg+4=bD3V>O8h$WQF#6qIF-N;$m$4oICEJG@eyb`D%97$ z`lKKO2amhgUB3YZ0f7ex0rB6N01prUpP2vw`t^wzsOY%Lhwjs*Kl4YBI+jZ|g^QT1 za6b(i)|_*R*MK!gJn3sZQEyk5?utFX{~C6kyiMpzqS}_v*7<15>tjL*Z_Lk3u4mE8 ztNZ4ASSMq{(nC_qEt-z}o7JK6E|v*v8cOp4no-Q@_hG+>$577z{iUkU_=2Fvpz-4* z47t`MAPz!vQj8W2Ovk&{$#BN7^KOpN@=(^PtKpZsrKjheCQ>Ya}%5l5vqts#SsxAHMV)+b?!Sy7Q1 zcV#cYq|m(mNTmeAnC!e|Tj#^ah1byG8cu&du%O}2?v-I+i!T4Lq5R656f?(vKI_xGK=w0%$fmx1#j-py>@a{Lb{htB1W%fXcacO&7G-5||qGVzMq#M{?1+I?y6)*cK0?o}Mia9=m0`K#&j7jy%NvO>$(VxZKL|U?J*z17m&DK=x*aTg zz&AIm(n)Qp9vXl;->A|pH^GJ6{a3MC?JSOqG}@QqNRToN5k3|&=e~QjAcJhO>CMK| zFX}bo-43bIowv@Fbu2RBNGTd~YeEksBkwcI3vSBe{!!yjE0v_9Gi25Z^=>`e4x{nD z9;H_k9S@4@!K8{ex2fgZ4LocylAWvpAR1oM`)4v@1Xh%Qv&Lxq4|MtM5j2H5vr)3H z@gMcij+k3le;h}dUYvV++ep9d1HCI_fw7w5iSM91gV6TVFVbRYg8AO1KB}RPmuygF z;Xk!;P))lk8?Fp)zQmUhe1d+-u9U>(Fr0pnAHm+i+p+pHpu*SenJN|Jwy0mH2Ha&Q z_Z+mnIq9L0b>P8fDwL~^(YB{Q_p^G_rxMpzo~<*;tOs$530|onP-C$>Q!1pe#At}! z#szXou!WB{cT*J|sJnfygnz7?i=OYT(hIR$7s}i~$49~uAE;)wgwt#RtpS336zR7z zxd{%3Jd6Unop`=@Ka-Tp`Tj0-LiZ& z4|9LcVnUzQhg%eknjR7r4v@LPP{6rrdcD=tXtzpgR=bp*{AR_{Y(cp&(-FpXcU%kf zce-eck~an`S6Wo9M;=al+x=2ZOtb}PGr-|AgS=W{oF?)$A#RE(hK-T3y||#AQ;Lio zm38ZO-ro)0c9CP`4=sd8yTcyfPV!5Q6`}0`@y<IJs&JiSR!`^Tq|l%~?TSnxkE7U%#bC%EWWMYSgoQEWjs zfXNbO68yT2;Go6FoxKA0Us`|Wf8lP|;bvZuqQbY9;JB5Y7!Z`HP&kd4%rlM$O=8Wt zoXWOVS>kp3TTZ)dzyPzf#IXDg*}Uzp6eG$A2<)Pbn|WLZjW}ZAF@Qhy+Wd+zqbYBy z51uN z*lK+T`q|Z*gYZoF$Iv}UTD}C3I72fqD(?HWyM9S zh(!1FdvskXEj{qZUneVen~-eOi*h``TaQ9nJnJ|{wN}X%l{7W!R*wfh!hlyM+jmnI z%eU8s@NWw?68mttRu3CdDZNDy2AR=-irDb7Yqsk{3fSt?`B?p*)&-F{0&$8-BAF++UWbU{ z|J|oVgSD8S9o5K9yYsccsV!5|qbiQ*{NF3%g7D*#6nkgezkeN&9qc{GLJFq5i&mVe?a|PWoeDa`gp)AEF#DMR@wjUH$fOkWXZ(lkjTjY zcA@`UdqKfS%KzDhf@G1&K>5g+|2yIMZ$S!)8~*>s!1X^j8Ho3PbvKZB{%idgz{>Lf z5uol0`3vNK{cNa)kiK;wR91K(p(Dk7i3TgHqfuuIbg5SAdxd$!dOI1%>gToy2YW4E zom0o|8do<&wp_x3!{!g-XTJ__?%^3oogoBwHLE~QDcPq#V_1YX4H>GPY<0T4u0LL2 zqZFJI$vXokf|wR@6_}$C3!9`^S8<)y7#7x+E-IdKb5vicrWcCZ^YZzChF*MR*AMa6 zgijMXGMFSo2sOWSW{BtR)M6oNfFzx!D!picWfAhF8L4MsQgP#NJYg=@=SD z94A&b91qJ5wF{${)t58d_=c2AtqvY_7O%A(%;Xd|$)%adv{(7`RAS_Cm->rp*PUq} z&52!Rm<@Yi1w|WVH(lX@EylBw-JLz{xy#jx-iJVT4d%tU`n~PD(6t{6l3Gz;pj<}G z-Oc|Dpw>HBoVtwV4C4DA>yfQE%C_e$7M)afY;zRn>i${(O!cKSjB$Qdx}${=umnOZ zmpMc9>6vucL2PJDvO7n-S@0;-&CO$!Y)r>eFKO8Fa#Yv&O(Sy#MEtD#z4k4uS)}sq zfv~ODjZLp=X!SEgtN$LK2)OYi<@);PqOm8DHW38%M?<*vyHuJf-LFCEzO1j(ylfBK zlJ_2EXSCy!IEa6JM7$I@%fu%ELx_fj4~oO2KkxkHX>&$0TuVm@l{YePbyUs1s;RS+ z#IJMX$FvJ?9AyB2bMIPXR-^Gcbp*JE*Al&&g!|gb{wFSnD^~jAb#j9B42s)Y`MUVJm(}Pv(B~IBvh~p_35xgDaVWT$3 zN%P!Ic*c~g1*2-GTlx_AWh#SRsqglgZ~WRrkfN`x19d3C*`m!x4UT4hjpTaK1+NE_LNEg4>IoZ`>6I58(vPL?ISxbOB8(yasT=zYQjl?1{j6}ZS3E^fQ4trvd(A3(+dU^U8J80CNOfAkahieh zo<&)>!4R07DE<8s(FMFCdz!~1OV{kDL}+4hk<_alis-;NxIg}a_E}G17+6A!W>2{F zx5WuWMnDbp{H%P222ltjm7XLiNs#PaX@3_%6F--CnkPkhacJRPq^rgUrFLH>wLd1# z+l3ZS#=w6&f^M_7&tDlry~|+cy#-ki-!N%F*u7?W69o@#SwP(U~|fg zbxYhC_9y>%@dQzoYYuj>={M*YthGJ+be!PTjNt|r1Lzhg(OL6bWznr}VeZ5rfM}#= z__jffza}yfQP1FklRxfQ1QG28&{UG9Q8pBj07Wt6T7}riK5HlH?d?9|Lp1v1@5x_t z6!LRyl9zfy_t451qP6(Y3~R<^2|Gdz88HT>`J*lnJK4i$`Z9c(QE%~Zb>P+Ojl92? z6v2e%DzA@Nbb#FS^WQtk#NQ}G#~g3#QKe&cEX2{C*W`C)%vD!O**CYVv>6|9AHgH( z)6dx-Tte1f=w94AnsdAlSsm0{NfiQv*on?AWjkfP1T2+*cL-R2KS62J)kINf)7NE+ zXfrfa8fr5(b@*#DwM^t`GXvW;dbL?P&UUm}yWS85N^&C@1WNPMr3K0g%Pj@Ui`&8l zDoW*47sBGXl<}(yn(t8q%C8}}fXleGyXeyN`_&Ty$Y;kT)Gob*fA27eQJc|phjtpg z;m=R^Dr6>qn+Rj13z85bsBnM!yF}Wq>*ibANsMrRt%Tn<(sI7M{+VuuWyU8Cx85)t z$*$G-Aa4EIYFJ?Q)BI9K+@N6n*Pbz?rF}Q*&(eCJIwB4jT*91BBcNjCR zU#ap2bfNPm5<#Sx#voC#MgvE5vaon?i$^PTX5X<|-e@08KT`YOIcwg`beDk)O&_t%M0=R3y&7e0khnK1IiFc&1H(bLP*4F9|9ovtmjujw%&4-fphY9Yz{_t5>Gw;i9 zs(bygv##UbcbS&AWH4nz|GQPq+Y*?Py6NM%^Hdl|3&>Ra){F!k`@Nr}zm>WVhq;E< zzewt2_;FQ2c1y592!(|Jg~bj9V#FAxxvDNG9&^+=WBp^Wei+mYm489DVY8<*JC9kX z!nP_H)Ru{VmSs3U8R;VLXJRJaR%~9)nZKb7zmz(2PJezpZvKGH z+`Tq|)};Ls5Bm^^w)X*bwu_ z!`8>=?=qxwA{u_dEpQ~BuWEmo-KdN4HtU+orMFGO>H$3?MQ%u0#FrREm+|^uf?tk$ z3o*WWg*JGxd#PP39GfHe7Wp?muwh4*p~B>w2K$>*^gs9lV^g+4J<5JtR{ZGRxXUWU z7DLn$t8#gp4}J=&z5)ZqY~4Pjk183!LEeV;p)7Z^0qv9Jq;$Uu%6DfOY}7yr`GDIU^im)s zmldLmjG`e;kdOqSS?=bKz%^jZ?gjKNn_qu-59E5v5fHHp_R_Gp{&WAEZec#4h=l7d zr!+(xoD>{b=6nEH=J9v1%)1=0Ob-RHOu_%iBw0-JXfB>s1EH0H)xgOLl|=kM!vOzZ zak|Yd?*Fh*&`x|Y-~9e75c^y(&2_px0G!3_Ptj`_m)S;z$D-e-S{LANfH{Fz!>m`Rz2y7$#ug&ydj&=XkV83kVK|BYC0oN-# zkOaRuol+wN|Ap8Bp4wp`4%@L~0yfcnaq*_Q5o%N=X8QQ@r|`GoUD!Y&7UpeV0us!~ zISV9_%gy0+Wr}i`)$CK6E0L5@#1^K-0){b^A%^{!f|@1T=j!@FAy(b8VXteP{<0Ms2_}at z%~;UQj1W`ddr+)_88HZqq&u){G+sFr%e#5mWXR~Yx!GdPjCTEp-(qpyx=|magFVd&fREx+JapX? z0-hPc9qXborJMvzMfoOWN>WsSJ+h0Mk0^eMk1#5Vt#p7IlEE|VW2s^_FN>Sq9!!V* zO&VgjNlGJ&LvB6v*V|m>S=`B>k`<&`<~8A+Ef~!D9~h6#-|L=~Dk?7gDT7(Bwo%>;%mGz&@L9LHH?3!qAOq(;ShxJ83fL z#%6{ZWXR;ZjG<2O5*d!=dv`I7w%pt;j?XXIHhZ~Sia%5|TI@z&>T@(V43usx)k zA}x+obQ5vC@5bM-$8q(!&KcmL|H@7__K9{D?Pxd~*=}95^AL0hL?it9UUQ=$Nn`cG z$l^jMfVxy<4ofI4kwf3@cRP_%&jKaUarcYA`UknOgm1p)C7cn}Z} zb>ozf+W)!psGITe`9Jp{%D!ws1oo4^gmpJNnU|-wo^37jU~|SN-*^uJ-ozjw9Fak8U5AA)an7g!wU7Z?f0-M$LM5W1EYnoNw<}K4<-tXK-j8 zuQ9g~G4fZAe{suf)*kjO?k)FJkt;Vpy1L%}bi4#+Wol2w7!JA4{3&;SQ(qZNC-aJC z*jzgQyL-Fue5u3F;j@ba^zL3u=^$>&ZR-2dg7(G=MSGpc>UD_!L%;tVw+Hp#UM z_=4nMev6yZ`giHl_I=Ha)~9TFci_$LO7wcj4k)?x@G!-Q&6A0O${nuXbY$K_vRVbg zxTHmhpD~yoB1RO%>sj%^fbKbS42)qGH>iH0c(}uWrgKTFg4>(`0^3m7!f8lDV(|0q z{5xWjqr>u@G@W`{Fs?;si{1XNRFU`s;<`JFKjgZ?G8b^TgZ$bvvS+* zl@a|5ZEFwX57R+Oou?bEQLgsXM`>Da-`u*uB+G7!&*d7cnLZFfa9kAiwe~NhcVuHz zI>cDVA@SxkR_iCV=Nf#{Pg$fDyu}r#fw&T+B!otjAw%J+z!?)R39nl7Ywzoa46U54 zc3Ec#2Ist&(-4$J7+c=x2-~IM4RO1VI10!6I*|_)5YYYRv-mKxk`LiyPn7>sR_Fbx zjXwB~=4pm2)-~E83T#%44i0p+BaMrB_?&;_SS_9lyd9m4&}ACq*_5d7Z27IJaKyhB zUs%wkE>F|}bW>E}xqyQMB3aj(9_xGl!VVdBS9=c>k#N6woOy~Weg5{!;(hk@H=6=A zEn2@t2n^^?3LtzIO6d{BFjg;4TgqP@5y z2g(&y0LAg|8@Sh+UKlobpEg#8+=Rx>Y)AM~l>qNwVPS$*>Ym~k=B!+vKR+#

E+S z;CbSaJ>Nt$!Gb1UZP~Lu-Gq62aHr%RkDi)-Rli)Dy1cG2gc`Al$7PrP?OySS(dgL9 zlg(g(IG1=#^FgwP7Dlk!{p`ov^eUin-pLRI3*1s_d@=igrh7KRXxw{%7DM@+>ioIu z-0QP=?MwwDz3|2wn;X9->^pTAte1;0d3|5;Q|JzDbp!tz?jg6KaBTSJX7e_|4TRUZ z5dxRVw6p-_KrI;ZB=#m>9{tTnznJT;;LTm-ktuA-3)2G@wY;Avm5Cqh0UydYtc7&a zLO|0`vv?RV_(}?~HeVPZQyB+@`gRy8n*i%lS5%zN>spPW*4po`9O+Vs>U_*rl#0fk?29TLIqNE<35mK%dI#vXN^?b^B zgZdX8l{)Ad`m;igC;sH0PDu5yV6pAzdgNE?*%7$VFKkVyOnmi;Kjrh`nw#g*@#{o) zE=7e`eFqhjuWpib<*t^Meta4-3_@T-Rpy>#UQ9Uwy$72DIY@=WCI(_tgzA{@RgBrG zOw({Av~IVlc(UQcq^OksOphu5K9idtTCl?0IOYzs zy<6RG^02{d@{ldk?%;t8=m6k&rULH!)=rBJ>XSz-e>cg|fU-87$>~kKZmS|jId^kh zy)VT$y)naprg)=>4u|U3%nPRqBO#8lp_Chmo;Z(9V<{6AEKOFg{OGM>QebGJKW{4n zo~is(oKg)_R2-qInp3UT|4(R!K{H`*&j*Yx@5KD zXh~jJc|;)TqYKMYc14ulEtm4Fhz#%Jq0Xi=p7!NqQ{oIGEkdR}{p#LHOTn53T zEtnh^3qU#~hptjn-1k^`V-~Pr6qfHU?Wu-wxvNsh>JjUJ)M;}^%9SjxcViyssKfsY zIB=O3{jcTPqA5I;Hb7h@3=9Uk!2WFgEuhdvE*kLvjiJxEmr9Sl&1 zS}^yfjSVef=Q0epEianHm|_wC;GMviz>8*ogz+Vsd>l#lrAPBl-|f0F!rO1T?K3QB zx$83wF7j|B06!-i6}uaJv|1s=T&U%xDl@S|)*IVQ5o7igEz-I-J!xMFV&Lyc$1I#k z%d0g-xz}#vcbl!?56jS0E=tgJeEpmW2xAaP#Z-0TfctG?CzodoqF3%IxKDNqi*z!y zJvj}eI?kFT?}O_ql;4eKSs>o9*1Z>@NyAav_RowJ11>af=lt!F(M|!;*%*wftoB-O zD9eG}bAr)~g&Wv&f|DGkr#^y?m*>9@s9J|oIhlw-CI z)BqG{kJIb;#_0Xmljvtej#JBHssO`oE<@OzLgKJj396m2O0mH=mBL!G$)SSFseOgV z!)v=K zT?DxJDCcVF^1YQj$s?6KcDmO8l2lR$MuS@|BdcooD*eJt$57tZb@6wbmedEH5wceVo3esdSa zn#n|ikriuZbqNM0IdCcoKt8pYvR6+XlF_&qH@CR$u$mT_(O3{aXT+hP>9AbP z{iaFsof}#;veY z<({tFE6K4#D9e#Y^L1wy1wB(qA8B(WPU}a~w_B4_wV&GNmYoJ6;TRf@n-=xxH35IJ zyTz^;VtzM8O7$Pdu?ZN*DPwLy*AJD7o5$g4%WFr+0-CO-_0%Qh{`JO$G)GE>n#M6g z{H8sO;oBHX3t_|V2C-`R|I>l_8yEQh#TCK+6p!oh7>|1mM!-uvF6fe))%cp4br5@~ zC6+SUkzAhW(D0IPa)4@w57!7WQ)d`Mpe2^p$${PNXwMKc7ZlMLC#w_}N5l?5`pypc zYRu&ZKWB(Z4!BRr3$|ug6g@WVAt^PA2qXBEri}wyi)IAYB9Bl)+K^v~xDq5I<6?0c zYaxNmm__GasPckO7ySgTK`F79#B!KeSbcpGh5>L_%OLojnjvgnqcIFHuy~EoNO+Cp zDQpLm=xql{l-DDfCBTqhj}&wRBdi%;yQo+8KE>b7njZ{zf49?~0Jl>q=&NN8n5$)Q zKkU@(gBkY`c52|zc4}xb`i;g^A}2_c#p0MHz>pV<6LbS3ER;gK$k6&er8nK09}M^2 z^wXZc^izvK-Vv2tsmv()WkgX*7}Y)jV{$8vvFS4pGZ1_O#ZPIm6(hvP-f2mZmFqz5 z9xd2naB!W{I`%|iun{OCbB+DYzX4fJ1_W;ku1!Tfqymi~N{L`HrVNX)$iZhKPZ2B) zW)B6kBQTF(iNjdoXC%>JNdD+fkd%(5Pxxmy8N&knv)9sM$bs#lwL{nnLAh~(wfhLA z|HxNB@MZr;O8I}KK&$;n3Q#Ig4FkNLvUXOp>Zbgp;2WJ1_^+{K%)!fS#lrNj;*sOVs6Ia~A#Z9tGELFW*cZ_IEklPZ-ob3J*}6C>BADbgn;4RXRNCFAPU68*gdAhB zaysiFHhCGLJ)-AY6Oo0*e43}iw%AobMw2W1UFxIlMZl672aRGDa3r==05sFe2YS6_DKf+&?TDaX?w7a- zaHRsfZ^L59Qc~=pjNgY2!*xxTeKaQ1xP}lIF>3Qg(~)OIyh?=hp|aWd`gMdNTo2)rOd z&KHYU!krNe(WWGB_eSN?RS4-#kO-^w5ZnqOfHg}L z{&GNzm5H)NBAqD?q*JvzW1k)?Z{PWn#r?bU!=g;(LAV{w(EOK>Fz`d$oB?=}iMYr> z^Eg{Or4PZpu&sGIT~Hz0M?cg0XO=n?kQ$E?Sg*5#liEj17}@!EwhhYZ3#}80sM$k; zP`5Cda3}RgbD{p5fJT>TwHYb))z6csqk9BMl_t4JKNkuLN!7KVh~YqWHkiBSQRGy; z_Q$`A5~M~h)*kB9Z|M-1XA;0e_hcj2PkjoZOx93+ODQxS63PC{N3Kojto1o%sD4W@ zG*Zpdp&8k>>gHI1@JV;Wy()@gX0=|Ch|owV%ZF)29E!+#Pj)lLGovTNq-DY5PS zFug~?)A;_!e|EZlB0R{XREJ@_TOlpFZg!DL0rmI0{kIkubxxZ5vBEDXDEoscb(#Cr zWlA?st4g?Fe}&A|cZ8`W6$Ye) zPvt+n6fD#6#YJH0SQUW}HRD0M90sS<$3lx~i7z^N=SJk}4Vt&hc@Z}hIbxGuePGH~ z`K4rzdz5CehT&Ddv>vfqN=~YkL2$V+ctOsjRL5&>a zcQe>-SHGGif-FRDPu<=tU-pb0t%8zWUXK3WCffMoI^E*v)t#K?vD)!W@)#Pn>Im!= zW(2Y8udEJa`~cR>YJ=*Ic;o`TLAtJgn3!UdbTQ`FO1 zXEgyigTo1niH(csSaYpnZRB4PK3NrIlHQ19l82al5-+N+I$g<#%GAx1no+I92bB&q zi^-p8HSnO03Dzz1++ya;BQO2@qj}JcaZE%;5on#HfCF?KzH|{n=Y5WpieYN3OC}a8 zXeCS!Ba$c*t*neXu69eAh{JzhY^-t6B;r4yCU{?rw&ED@PN$s9UFP+b2`M`?(cL>r z!94;DWLx_?{m|cZtEszNM~*xlsl;-R&K5M2tc_EZ$3$(epeaM_CKQ`=Y38qOHR9(n zt4cdwKLEV)$tDkbe&rHYYArEc!uVAwTh87)nMX`9B~-E z<03N7emWYCO?Ozqb(^y^)@qa8EuRCWyPvXvX`po`FF>1!U~gSTjvd=cL$o5Bhx~SNxxnVBG`} z8aR-EV%7_ff+lX!!Xkv8*EwwUY|K|}PJB_@-X&#CT=1V*QcIMS}D-D7q{88b^H1gT}u7*tVR>Wu1(O@um@VS z5}R^{2Fa;?v7_xq$;9r5+<2<>JvTL|3tVOimK*r%0au?`S;}Pb!jp`twG4@IWZ_8f z_K9@zatSeArUvA=MlcU?=4{oHAhgnS?<7iSzpTfrtLCjjhwF=hmYx(@@rv5P_Dexi zwtmCGzko{dV~w#qu4(Pe<|y{W#}nA%WY^MMNg6mc+30b>kZqQp+}=}dQ@dI^b*gn( zG8d({wa{Q}LJlf@JgBg%Y+sWJ62MA;Td3&!^~?ylb+a@~`)EPZ%E7r;Eyvj3V>7%#yNK==(f|A?x+i!ynbI1>Q$gHhxqres{a%8st(rRO zSLzi7f%ms3Bh|dFYD7EdqME5gHVHq3fB}b~bM%HdCo;DT;GCk`xpUQS*v*Dw)lf>V zpuB`!RL-Pt@rdfOR%?osv~ys|%e|hu*z90teGkl5`@H<61>NCiH_X8ycBzrj96(Y` zC_O@I%U~s4ZjVE{MqIR4x>#uS~j#kU!RE$R;rb!4pQxEEi9dxPMoiE zr`r4dZe(sk0@}2pOHS2(8}YQrqGS)^=dIeRF8)aG}~ zPPJ6J?B6uU5YuhxL7G^UaqWFj-kz#aVI$-l4tOj}XfX4ED=AjGY|F}|h)4D=;yp0K zq=-Y5Ke-1E*HvLi5L;QNJj#{RJOT@H5M7}WCM=Gz;{CPOP^hF3HM3)}fhzO1WKz4L zo?ySN3p4`C$v;2lDhidwv~o-=b~%jGCq#+T*2SFa5m`kC%8x-LRsULbwVot$m-}1| z>u+pgY<6pD#%Kc$pZY3Wm0vNb4%=+apA;%Yrzb?(&a)pCn1rTT2WoMe-RW?UjzYDM z3AKOQt*y}0`4{|JiUO{Yg!4b@GS{!sSfUMl^~wq=5>}p3)F&&~Iwo3jH}uWN;%7jN zX0gagdDx;Z_>tg96zUXjjrLe@muh4a;p1hPJQ)9V;^0VQ62TA`_z{P2!-%MSOKUYnyY(6Y1-N3jb%Eh z1UV{K&G)KKU{+$P8;n1NWKnVHu($tg7{H9zBpl*LY<*L8#nvsOdN>TC0F;Tr@lm9i zA~d+qywlKEY5yHFMSuL~Jid2@mTrInme|jbdEL27+NY-MyF?C|vhH2P&w*OF4d0y< z8m))1p6~^XRw$Fg7D37sGK-6GT~*;Z8f9qUf2bVA|50`93Y@4;<-o_^m#22vzi=yK zpO8Aij1KZVtLlWCUn&}xW#>PJDuzr6I@j=dIs3urQ>PGis|0l9gPo!Nqe zTqwrmH`1x@6HU5ebTfjcvYuBi8>t7Kp$x0Q(2$o$Mp72V*h4cHvTP&{)*MU1GJfAzbct!d!N%`)E zg;_vm<1PBS?+W~xnxeUw4b0SVBa*0D??pd3OQ1;E7r+%;Sm=8WOw{E5>F?~jH(`hY zO^#lZodvIvI`HbQ!RTi=j9`pastU*qQpHvN;4ePa3B{hfc2}nn_|cXkvUMTdRuB%8 z4s8iTI3-cx_%tpkzF^`s^OQLBgkIR;bQyGip*YIE!pwZIZSSF?A=(^n=2;jP+k)33OJ z8zR-$EHiY~)YQb&+qepv8Npa*l+VJBE1^^|KPX-)rUA@GG>}SaZ)wL8DqGOX_vK6~ z{FFJUO@)|%Z!wn%HZ5p%pXE%Ll$1FN4{S{V)|oZ&fRTh}%br;>Z26U>7xO`{I)iws zNN!E(qJD>d}ucW(;Wo0*%0^!IjE_XCo}m$OW#eH ze#{PZ_|>FHjwCdmP|#TPY24=5s&RmI@MBj_^>6@9cwJ13=-Yn5B@xIwVWnDMy6#Sa z`ui(5aO!@pu02@~%wqoq(@4w={NhN8I)aua0UZg6G_huNq3YR=oVWGxz+WZ*A(6?m z@$Gt|@D(CwC$YVE4chk0ATP+z->Gp9hw0_w+AzcnilioH@TO)`Zrop%!ly{0Upr0+ zO9lp-j5Z1sMyo|nh!5L1kM?hla+s_URvMHutVJcU2X!Gu&>EF_o3ugxYY;KGIuHIX z)tBA5Bk-l<1Vu*1`KyWcxzXf|h*_&1N0C2g!kT5SKO2p6a{u%y-axCKiZ-fR>hqGR zqK&)GENcKb*jL+V{NW5KJ$4!vbsQz2QEDx7j0|E{4PYf{h&pIQqsV$}_uxR>Ih8Gm9kQ{u5pOKPhJSgToI34awd{kcMlH_Lsz`(!>Y$SOpd$9aB#{x9l!^+iA&!5tCr~zkKabR26lRT6 zou##=qrvjlY3aZI*UQWkJyO8TY1*K=SO8YZ{g7*tqgiA<;f?Na@UIWr%8f^(^6>$L zV<{V|N(oabzn6KE*lobpfmMf8Y>dIz@_2f6LaPB|3L^lhtiomZKS7OD-3DR7(LvZE z#;LVH=7*Z7sHz$pYp`Wr5^Mn*&JqQUIM&!r_Yx9IHQI2n9t_6Y=u>AkCYWg=O~$KA zD=Pj&wM$l?!ij-kR0Pl*;czbGES-#eVlz>WS2O=N$U;&EJm4{N$X?LV{sQ1-9UM=J zr^iK~ALarF4{)E#kiwY3QwDyMF4CzqC5UJ(WH&WT0Q{ZQ1yL6$8UaG-(r2^mG>(*v z#%1VI9gM7bnBv8Z0BCgO9L*ZzE7Qfy55LUd+3_W~2Y)`r)2mty7JN33yt)MUzT`%= z0XUuAN#Y4(12+Pr1Wz~8 z?%&vY$3KUII!eeP-$7d?Ou$oq!#vR9)zz@m226xrX+w03+2rh!*3eLXLnY@xmwDyx zZYt+_L-^z4%dy=iB`-^ccp&f=N?6+AAHQOBh<%3gpCj_FGi{VsZVAPfjNrnHN74RMnLf=nVa#<7G z`ZDQD%#q7yio;^MFagh(n7t_YH|H2H+>NTZwy05`0?Nt`^Co9Ky8v$hyibHs4m0dt zuu##<^P5Xs%+56Vi`$k%HQe&-d*v|N!RyD0#?`3i6l#okCEE>^d^0{sj28LHJ@%_M*X0e z7qh(~MUKb07Vzge-fkk{>0W4k406wc;!F- z4kKedir%?gHx|2g%`H@caSzt3To#pNQ>C;OQ1ZnH`IhFUhxUH{6Xo!e094#- zClbax$Qq*XDSx4lXwtUnPN#MEQrt=U^=rCQ@he6hB_4^IlM8&LQ6TMM6CVsY>TtZ= zl6$eQuQf0bzw7mNi~h^FJo+ho`(HUR#88CSf$~~M5wo@*YY7p(1Z)mUzIes`ls;e6 zlA;Ttg`|VktA)a0zHJ*Okp>oXw20lgNr=EPs6>nXWGp?t+C=HlrOfP`w|qqSz8~Vd zQ=DI+xF?7?kCY&0LlN8a-Fa+yxS#FB;iR(q`h67G=l7S+y`IAU^_xULR|{h1WnwI$ zDNa{kc2}<5SND{9kp~3IO`MxL`-?%(NYc@4wmX{uiRYl}odJ1~?;qcat8ycPeZiHX-=?Gwh!>IcTZ|8Ui4c-|m;SrQ!TMsQiMq zEdjF6_lm9YSh3jw+^b4Yhj4*SKQ#JV`8BZ~*VM1~C&4cXQ%Q{WsMD|!$8N=lQ*6bl z{%KmO9=660Wc^S?N2|sZ=|=YK3)5Fa_%v(-4~%O;4eiDYv_S7v+%BRAW}dlkvgI|&JG%Q5&gdadq9N0LOg*FmIn{+pb0e)B?QmvM0vd< zf_)>qd%(&@TbFE%Tc!y#UoGg8K4>unOYw%J;t9wIOZE&04p(aUSBQ22D64?qvGWtw zd2>n_sH-V|VG)%qesYK=1xwB$eG@1n6fZ$zB8#k2dIHSwLvM`|=CX12+n9pYWFt(h z3SjM<>HO3FWqv%U6eX)u zmk|tse=T0-@`5jW|L#Na#hmEDd$+3?2~*r*6d=EU!fP)6pBOFOZQ%Z-kfkf`7XJ;a zXkM^Z)S2=h_}?o0sKFol--=_v>3aTdA1^8G-O|xu9Q?WGtC(+UCEwAVUeX`5&bvgLm@(`u8m&_eH2pK|DX4_>g?|njN|uUNLeE=u;MS65xve}c5EoVe~T#_ z%Tl^1(PgiBrZ=5I=P0v7NlqD_6 zSs{G2bwaGh%-!YgIlGzuMmc&->E9Pof$>o@k8TIhlghAL+#F< zBdj@>KGg3_BR?!2OTW|puDCvbjF&6VCzw;RM9A(}?<}Kog?JHK<-_@%y{KHFaW|hI zuh5*|ElO7STgMH9a-^Ky&1UF-&dMhc_poG<@0@jUiMCWr>>jrX9haYsaknrl@j}1T zs~_5Two!>Ri#u&bzEo%BK$i0m)5f@8$`6bg#<{|idAf-WB-}zBKr_dGQnjGOi7^9M z_?rJuAYh1Ai)GbwVr&L&0qfP77Jpt8Yj}RJ2%fs*9gZ=Qc^83ff0|HfJRK2V6)y+!B76f>%-4{ERH)i zQfq1sB|vwKS6El&vR1=?P?>guhdTHTsmmcmAG~0nq3&JDEIew2m+s_kpilsm42}ZD ze)zCUo;F3t3Tw{8@u|Fo9{yMTosuBXpT7P^`Rq^5c8`>=pBx|SE#Ek?^Z60BHV=n5 zzGk@Vj;^ZR3{#IWFHaucKfryW>ZX3TaxZK5xKA!lN4FI3|O!KR67$t{Cq1-ZsF!ZFWw< zT^PLgHskc(hA&E-_cmj3=H6!6y!STEI=Q!*cgFSJHkNyvsh>e>wHl+&-rKA@OXaz@ zEy`|Z5`ORDM*%Dqjg6S{C+wG5J{ZS2p zm{=qEbYxw>T|2R}gy<;tPwDFTzICEk-zDEx-_*~J_RG)zl^>8&BpI-DcgS^T86h8{ z3_qaKchLF~E%AXqe?CIe!(Yx~PLb7#A|j0!@r=e)bU?VXJFnvrQ%vS}&{Sf0*`Te- zmUs7RSWqglzJ78-NX1Bn1Kk}0&YkjmNW99J5`9K9RBdk=u#2T z1Z)AOB>7pMcjEnloJ>ysrw59)=7{FejqT7fkuZjXqvp}%f5-r`qfp?n9N9q>kM7JU zOC95(<#eF29a@Cqdv}YRaFhp^Q#MC;a>>(kd&mc~=r)7sa7$=&a&lRrORX_y>}pxCM^VA1^#+n(iM=5SFHNg*{GJs1iNH1o82f|@ z+B)$?lQ=^-e_uDI^({U)A&E|Xab6=@I3>B?{*<_~$?I+$9r4JBdWnN5@$8dQ9f!-E zLy~OL%V5M%%IN62ME5HxW0Y=JIcRu$62ezL%heP3ynbrZi}~&Ci7}j|7WDhh(c_B=U2&$$X8O z13?$9#*0d;@q)=}ykNB&FPN;x3noFa=+$aWLNc&M5bt-5`EEau{0K!aSD3|=S}ON` zR;&fBv)GVw%jYxZ1Rlht5SlA}#ShLu%w?~a8&`v1S3db8@<~SiI`Peyz4Z5w@vmwE z=x^Rae`q}XtIiA#gS8k?h^oX)0fH104vQ~dc#4SiA?odjg%ju`>Z*-O_8v+D;<+&$ zLBvmmp2WWr+r?3}sxuji7mP&o$}*-Cb&s;O zw!x$4Dg?-}o!se_ax8~PXfXpW;pIu^0K(D>0qRhewY^{$V>O2S(+cZKW&_@#5M%Ch zf22f?4@HiW1exI2w);K4m3{EmdyLh|3rW&#@;S=ojVET?tQ;~`uhU;?gOsc^K1l$e zBa(t+>2OV>HtkCLo6Tf@vsvwLHk19$W+G0zU;A6&`}nR6hS<&}t#C-{`*ZlHq!A6o z3AYHJYY?ONN#O7|Z_Ce0pmbqI;69a0e;-w(wws3syRbf=L$^4k62V;RcFp3*V)p@b+$Zmf4yJ* zIai*%bIBwg7JQpe3aK+{sV8!ojKQhso;bVlEA19@NN8bRP^ky~1>gGNUfOO|B!CWr zP`X(Z)(y*kZ+D8G&$~k5LZ5>RaHnm}2PU1aSjTV*2kEU#T_FU#9<)L!5kwd>8wZMz z?MW*f^yDa$5>G^mn9E0%LvklTf2f3BL>snlzA2LY=byyNIO}jvrmt8rt+MBo3N!SS%6}xWJ)p<3wF)+b@@WOcSf1LEO`btTD zPR7aF({4z<5G1p_QVquQ)A~(e2vrOfx@kKHe;$(NuINyNakVF1Eg{~+iDSooqGOS^ z*u}h>ru$eCaG3aDvyuqKJ<6+KvFB$$x08M6KTBJ!rWiyX%#Lx$%)g$5HNY9bQXs0DC*5&E68se?Kyk2WeZAEbRvRMQQF887!uv8W|HIpH$kU{ z*<{eV@%XdGd1TP=fANTI3pmZg?d(4miuSi$6Usv8$%e-F>UxzbTfs_|xniZtRvu$%<8_hE{Z5o7qYmJ{C@}>(na?^2tcNnR)w*=E@R|F-l}MqOOs{3jNIP~E{RL#*}sE8ul)`Td%ZN% zkx>{63CteWFkBj#-Ip;ai$Ck0Azow4FPYZ*e~K+1*eP=+w!9Y-#CUs9l?2hC^zrd$ zqRg_e%`|Qr^T+h{EQFINl6azwnI!?2SxD`j@_n2i;W=2NH26Fj4FYdnFLd`1^cn5l zr>p>(LT$leL@vU+CkJb}NkfFA8gz}~QJYD*%=(<)ilz+&az?$QoowDgfT*X(-zJ=Z ze`@g0dkEg&zTypcxBCbajetF<0wal|F2@HjUEq7kCPaVTBj0_^BS_94ncPVp4)&08 z4<*b(&w^S8S=nZ}kuM(<+|iKP-2#eOB<*rMKSqxzB;oCj0(LEhn!XB|3a3z?$s9mQVyDeWGtLupmIbMqW|=t#mLL`hSee-g0GJ<;WPjNAqCyr6>|m&2@E;xz%OcCX%<3otDw0~7UJ ziJ$?+3PJCx6txb?H}F|Qt>p1E1x6vQqY9n9~2;Sru=L11XDz$i*UcZ z(X^ZUW1qX$`AM0l2X$wboRr?xL6Hj|h;1)i(|Np2{8Uu*sECyFAnE!re=X{Y`M1sw zL~BGk>JjN2uG}RVZf13co5_~pW-@2EnMsBl*$!@JgUM#I&MXS&Y{}ki9i?GCeagIj7-H>dNh_mtFYbgxbJMasX9?g< zCT&xklZTw{>j=WCCJ2j-AS`Bru-FK~Vj~D^5Q0bxL3d9Q?cn*be@+yXEnH9oSdNoy zQ#Jksvi8Ry$c^4pD31s>Qq4u!mW zBi)h7nlK71p*)^Pn-blo7osH~N#l5=hXqDj66}%tU>716tr01PNb4*@e~YvVECD6i zG*TlCj~n>gSH;=wkQ3s+yCkyP$smLd^JKq5L>;H8I3xWUe?xRj-ASbG8r|GxM%5g4 zd6fqt-b(O_={FK-d4Lloh|C-7hxwy)4f7SR^gNi|7);>Af; zD2kV^6QTQ;AWZ&B1_}J7`{eDGADqx5GZYtsud(;f&d18dMCVu2^xkVM&Qv*Duqpb+ zg1ye!g0avUe_IPpvZP*R^%jZiGtv(*483uFymhwQzjT*$anz_(XoM^W8ub|?%eWD} zz|krj=nx&7#3W#G5u)edL#wLrLJS|Kdd4eOz?vE-m&)!JQ`tBoexJ<+rVhaoAq+%N z)OSAs9cYsx^6KB9(N_ZpS#kXBh3(6Z4E=Ce0PF+|tfAe9VvY~^-fTeKDiZlK_M)w}OcaPDz z$LN&l*|q0IZs7aKjm1=y7Y7X#v;o{A5Aq@1#K+z^6aWkypPIi;tLU^D9*il1BndmF zwXxYA2)jLw3>Wi*c@QwR))HLev#Gv>-P{z6zibc5_=3 zf24a3Up%W{)^HFd7mjD1e?>Dn(agN5m!#55pl=Rh2Wqlpq9-YY5%+#WI4p?Pxxs7} z8s&IN#S5ad-zfkIRLgOrlr(78dfMQYR4XFag>_?v-mX^YZ8nA8W>)BJHih11Lvp)U zg&u94U4+)laPKc6alU(%UN}5A_r2iye;-i14}DtFCl2DQ*E-(0q^y#kG~*_{xgBM* z4V<_sLeHxadd`N>b7q8|+g(&4n6u&eyk9)uc=!jJ7Q2KP;qKk2Edl!Rmaxpa+hlnN zS>aNve7c1i8Ox5xgc=(y#w^W9kDtO||M*lpV)9;-g`W4^SXg8FbacfgTh;wKf9jW^ z9Iu0HZ`*a0Z*ovSUci7?aZop$(sVouG}m~gpzeLlgE7fDP$;bQ4WR!e%_zY9;1m9D z2|$s*z-p>7iZ0Fl@wFgJQA+Of% z4f5B!!1LpVBWJHOOtJU9zwQy`f3f&jm+2T4bwx;~N8SDAC}FI6>S*h@Kf#vP0tRPA z-flW(O%*gUCO*!FV`4pdxq78B1|nU1}E7KZ!#A@{wv%K@&EK-1`kn9tS@Ji zd&eSwY&4VQc`Eg~a*fO&lLNiP_%apZPPaqk1tL$);N-$c>7%$56UUBy z&1II!qv&3dJ3;R5vAM?lYmnm-(MJdO%TCMe`sbCF2c+dx)x8q){=0_n&BcPy!K90bm3f;I)uW7>bNd#HrJ-DdThL|T(P4}~>V7vZYai0(-iN zPCjfCU#!cG2qX}2O4vYaQzwxDNub}ACn#AU>C{jm^Y>nHA;Sfytj*gP(7^eaph1Lx z*mWWx#&Y6g76j$Tew753xG-W#a0VByqM%eQ7_~Scom!4@g8bIm1wuMBXy*4l%I3*| zUr4LDWIQ0{QTER(6oT0&vn};y%nD0?@T%pc6tS_kOS;k!q$VdhMHD{G9Lw!Mb(Yu_ zo#jJkkj(_2(_DwY{v&igpfEzp+S`y0 zWl6cJ7cYJa_OTK@1uvkZoeTw!bDzLn<{s2J7|)MrFST)D&7zS5F3ncWLEd41D?=%e zDv93@Lec^*Y4O)VH$(Z3d|unP6OKHWQk(<+G<|q92Tv%UK-Q0-!>Y#?BbWg9Bj$h2 z%PzKnp(>fYo2e&Ea?PV1RH!}QJk$ZtaZJo7dHYvl<|pRI5IOOQi0o$WKIyrvki(Up zi}Vbk4o9^tMnFODp@to$pVe!BLOmh=Cq`<5g8kAHknm~w;7+DK7&H0;MSzeW7d17L zj`_+kIq2z8)>;+BR6VmDcZ@O_zx2t4J!rMB8L-5^q!^U@7o zXsvh~%)7lv33jA&IO(n)E71AJU9yQ_ZgPonAbHP25ll~N zy5=JT>k40L)opwnG)5jLUqxU^p%qAAApE&Zg7oDZfuy@KNppj z^q$C}p4II#rmfIh?c;WxA(bz`{Pdq+cCSO!zMj#Ak2t-_xrq zaanAF{pch^cS>}Xb*yVk+0ZD~zSk>$52O#Nf}2!2dz1IHKqzgPI+?I;#HSZ|U0pHX zz#0$BgSu?(mj|PC#7vb39^DbM^h&E7zxtTC0$s-kKC(h!SxAJ=FMmJ(7xN+yG<6j` z%#_&N`Z6#}>7+;OX(dIRpa^F<#qgMxeUj2{~E1;{yMg@0&H0uj_rrmV+@#x7>9 z+QqD~xtKL(7qiCZV%FHGQtRKvOzJsxPnNy(cjt0bqC-Fq|-Y9?HF`P7l4BDS9b#- zA5hKz$@zfrRU328HQGQ4$)@_dZdU5=y2+%!>n5xIj=x~h-|_1#6b0+)S%2R+zJQ9A zEdgoLpE~mVpBi+O{_%FRbt>Wlv2><)*z&f#u@lC$R?!k(Eq{F}37o21EP1VA$K;*o zFB=XEuQnSr4jmUQozTU^M}o*dAs-HE{RxvLbJJfk7jF<3#*M-)y9Sl|lrkL$QWh$8 z_YnxjzD`3cRQ&F2rR9{`6`L7OaQ~1q{AXA zb?ALSVbVgyCmzqpAfWuECi@=rKMrXn3uTgsWy0!(25YqeSvBl7lgiGWe?`-bx4iM8 zRklo-W#Wp_ESuFzP469*7yZeQyfLfBEsNi#<}R7gulhqc)Juokl))?)L+T5P(uHH05F z*bC5>+d*<$i<`t18|*{ORYf{uv$io;S1gy9WygQPcTH9wDn-Q3e_WCk7~2)eU4~N< zd@`k8N%}z92F`kTr(}Pqd#O&zHq?4`N?x6kBPYPVoRWj`eJ-aY#{Vk<)g#cc@+mzM zReKf-%@@ah(pO)iWVk7r=Vdg$MCtB#m*GnsA4XrkFR@n{B8M+=xC@-*zC`jNccMYR zOi>aSV=G)5rHfH!ljhK10nw93(IEkPlWEav6LoH#YXT}n{`bg0)EcWyGwE-sljhM! zf7toW+vIx^)%MHJ|681kmCSbE{Z`da`peJ%r|)8rJ#weci-WdV%(XbE9Qe>>anQDl z;YWyTaZow1sl(!+!y%I-#X1)J-cn|NA zzlkx+wy8B*YFj%~ZZr>mC%p!aZNd+yfBL_R$6Mh&4$%(z>qE$GVf!h!kDI~X;FhJh z=^f<_mNg!RaGleP8|`lvZoVv?p|LI5sJ0~=Y_?>B*_Ldu*^&)5Ze|Q(OD;46>V(S( zhvnvKi0#@C+o~@F`H;KkHan$odlE-suj1c;KJ8U+a)PNBbA| zbh{eD#%u`dk?nPE2y3&Lt07DdeCW~;)^;&hL)fKbQ-_AI;gCrZLs)-jCs&u84iwv> zb?TrGGFYeX;VX&lRHyg$24*T6s@=JnDj9_i;eL5z+}slp+>z-CYnfS*be_QV$jk$M_#@0JXW2+CV_1`-PpSA!tBOH$DcK&4R zyrZ=$RoL~Nrp;omcbcj_ErfUr#fL8MG;J4iz0-7$O$8^9P;Bb(PBR=bNphz#?+V(F zp#75TPSZg#`Qn}CNa>aGhSKzQlJD19e=Q+(FiVcAv2s4IR?g>a%K4mGe>tDCDd%%G z<$T_|atL`I0!C3e4syM7)SWPpgqg3;REfN z`89mt8a~h~+v_}hpv__?7d{{e--ukH8_|83TRfI#2Kndtd&_3>=YfV=esMpYsYv_l>B1f*!j}D~9SNR~Y z0aAY};**(TIT-2{K`cjRDI{TUB7-_A6+L|cJC6xP&OW3GwG=tdLK|o zPGm#aAq3ZWe^F9bYP$_yayPv56WNC?Qu1ohk4X^Bc~`4W*nA;c;x9_-^7-ZG|GV}= zJR-25FTYfReZ1Spzx@3FHT92Hx8Bv*I`3-CjdwM+zPlP*_f@S$n_6D~C=}u9p34Xa zW2=RX)3L`+;iBw_4WpP0e77y5oKCfUf31YFL@=2_T#R2S$^PZ6t+@)0 zMY=f{<~rYHOjDt^+Q(&)iOpxhV))a4e#x%;*R8J1{nO#CI={y+Pbg%*Umf$7^1b9< zBWPdvt87#y+V4Qz()(!4a~sS@uywS^MDOk6%GD#Q?A-q&kZ(`c|I;@BjG``%kwIrHKX#5ZpNlNExmqPekyAVFtrJI#P=KR zkn3$cte83=s^PV28&7NWBh%OL2G$7y?LO^1{}a}bKY>#5iPY!*)b+|Sr6;KzpVIzI ze`M=|vVIwSn_Uw|7^WCa zM2qsv&;P}|fmKQh_o6`Xh3Kz)FT{xNe>D%|<;##4CFqIsuu@`=UtsijMd($0e5GU+ zNb-j(+~$+a>Y<2)2d=%%29X@-)PxOyP^*9R6ukH}TRO|QJR2}*9&##9V=~Epe)j&G zua%Vhe%@q6Rjp%bD!%NjoCwi4!-CSe@wTYq$v)|*S$vczd*@YH@@WGQW;WJd3PH>@ zg13e!FuaSCrrB`~7{7oB^K&#OM!gm}O_Ln4&T+olrDA@#+Jm?&evBV^ z{s(+?s3ZuOZI)Dcv>c`_1`@Xt0|sKo!;XM8*2)LMGF)fpxE^6o=kYL024LPVJPS#C zScWL_qKc_b-)NlI_Mpu$pqUVA`c;l!)|1cL8yF0b&u}q_Ja}B`s)U_pTuqhXAJ*& z{u=rCGK_Dt{(2W+UQt|p`lO0(kDpgu6t_;l8Shi6q2lZTD3>xUcZ*;lQa zdK&n+=J+y#^}7#VTw_|PVXt_mXp3IhWF(os+(^JVHKVATw~3d?PhDy3$R5`V9_n`~ z(WI(X@H1rEP)K1+;-PZ_di~X~$@XDlf}^XTvm<1xwmCJO=yWs=3sZjCmF(eoqDt)G zTK0c2GS%}6eCce&EYwOvaRYhP{o zB@dIHi<`!mipt=3o2{~j&0JZ-W~;1Wvn78a*u6(gC-ENO_7aebARHc2U?U8kyN{Mm z{bO8VFz0JQeG#WKCk3=spQvO&*4yv&eE+B^#c&5pxNejAg{$< z&sfegu1oc%?SxL_1bqTK*GAMNxLbN|hX=01?U&wb?iV?0IQz=d@f~ z<`H|NB*onNfYh|1k{!)6qDv8wyGaYy^#u+%6iHd^wG%s)AqFF1AqKPlb5^K8T|>Cn zHNX8D)OsK%hkBI(A_MwJ=qbD)_fXdq= zvqm&R_~w$?*>1jB6>U&blAQ%EVz!30W*@x`xgI%$|vX5!8kMs_4t&9MEX{m)!#++`6h6%) zXCAE>(0imy25sSO`culxNhnw3K;_>TLtxTJwmw2#Kw&(-eD$l`s zzeV?Cts3xknkYdDPI>ZB=!EXmD+n&2MDYR`!-v`CvlHRe0e|!Ad(WKh;xlKy`OMj_ zK65tJX5K5$18dGQ>Dkr2`qB=TAMrtiK004o4tN`VEx-KIl0?s*U;exEvGjL8Sdt_Z ztQl-jSn>+H52&m;t{8oq9qV{`uC?ga{coiQdgSFjI^*_e$qQ^v?D2VS{Ku%5@}R0^ zft!%8eA4-OGk-%bxTC|sMNy=b99Fj)I`o??l6Vgr35ctZ{^1H1Qtlpe126FV&P3~v zk}=N(CVBZpmPb>dP$>>CO~+;yWOwR5*Bmpd(6t2VFrKm;>O%;Xlt`V}^j%)KRW{Mg~P|dS&@s`H$jt<h5z{LPyFz^!bY}60`ZQ_n^GOL-*x&-cp$G|AJ z-!0R~(WWc^+XX@R6l~XB0$B49u;<$r*mGuu4S#0-7rvQ;ecV6de#3CAmxgpShlBJs z5QcMqYs#L#2bPN&JEA-iv*%q9d9jB%H3^ZrjgX)Io75G-@1|V1u?+Zg8r#DxPL*GN z{_kUJ(vfW1Y@Np}Kspf!L{LCWCd$`+7cW%#euE(+?EcA#nlHt}aw6O~ZrXD}ISmmy zNPovSc+R6GWU|Vmu*2*PcPyuydnR0uK*a@l-`M~|rkD!taM5WdJD1%JUR9Jp>MUfhSBLAJB*%g!*=(c?R2cIM=+ z+V=(h4{!m_ts*H=*U8bai)1#tz==f2HZqEXUH-NXe}AP>zE~T>f_x9U2MGKpFuA0` z;|{gJ?ENix5E?Bbik+p457P7ZXc_oRGRM)Hng%AT?KV!hE@M;&^cZXbJqB|?kAKlg zdnvOh^B#2mL@Aaj+xY4DBKOLYxI|2ql|eoZ5!m}E za-AK%Sg*Yg-Wr8bo$`4ZiYNyG%hI`}b#o$ysVZU>hNQ5r_}D<&`B6v#asSbjd+1K> z#C=4fUo`6Dm6z}&X^};{dHZKjo_~n#jQ*3T~6+Uf6agKMu|L#CnpK06e0{c-U)ymD}UHnkA$R0 zM{%D>8y+v8pz0+yP}hm_ag-CH4PkfI!5HFc`!+x#a&sEW$(-C_zoWdl-r;_nI!asI z`2Fv`{=>Jw z{q}bcr}y$h3vq`w7vFkL{lOK-{pttCyZbwHL8)jHK;ag!J;2#UfJ4AE4t^Gvn1D)G z{JY=(;h}f|`2KhAAHMqC*Wcn(*{)qDTt~Sn&RGJWh-+nHfx#B&j(^{0&h9bTLfzqg zrc4iGfM9n_W!>NWdxC`N>dzYPP825iqrA0s$Jd;aYfR^R(9vD|VL|ruCxmuOtSmY% zaU?I@01F6wv=!S$A1<-j*pnE9<;HR2pn071!-CYogKwA?TGAo9t36%J%dH^&*k(Q(XqAC*33Jm)MJedOny#;A|+oS9i$ zMS+X~kG<91`#1Rn)uueZRe(CCoRy&VU0JCDqUGf;(&VO?1%Kfk5PWPHt#z+v>!tU3 zM)jZ$D`uRfcAFRc6Yo$Mj)?0iu8Ow@K393knmWJ7Nt3N;jC{!Jq3@OSY`o3C{QO^4 z7pMzIv46&3DJd*U0w09Gc>V#Wpu)jR5dIV?A!fk%A{{^BncTqtfJll9SRJ3!;>i9Q z>Ir58jg1rACVxSP$}4j5_H}d(zEnK*8Kg)S;!ZwAu2kS=rLPl-+)IMM2+)XF)5nT9G$Lt76G})~YyAH&PUr)MJmX6q zzLt$ncNc>vk@I1!{N+7~SbI7$FF;fKl@pM_^dj za9D8~*MF6_Jq;P&#h4Uy5=v316hdH0icjW1^nB(0yKlcs3W(gDkD5{ql@RAK;z#U{2skFmua#(Ki^_8v;8 z7hm`uDlz44tda8BQN8w~M_ITr_)IZEm47YfUz89kg)7^@!PmtAv*D7L{yG0rVwi~P zckZ34V|Mv{67Wsrq({PyeSAIjBPcwDH#SbUEzSyVW%k*9GZv30!b0+0k;p##2B!VI z$ms+BxNI}=R@Y0z;~?+@d#53XDZe5lNJ5|~ofKTw@FSV=PAOS*61n~4J%W3MHh;#- zdQ{;fjbaa~ngFFgBI1IY3Ypeb3Uo@p|M>YD7Ky5_u##9bJM z=`LWlhU8k)w<-W<)SuKeGXRB7fsZ&rjZ83M?q$AKX?t>|g=1Jj{+e0>sS->KYP!vLnkk{sIJ&4+i&A+ZAfi77 zTWh9Y7wpy`bw2wOxlVsgGwr|GKkq)L2c9G`rv(ENv2z{=A@%pfh)e`fBD*4Dpg1g) z3a5Sis<^K%*m%Ljif{EKq<;{0Pruj%9t)aM(`g&@GK6mlO7yQb!`GVv) zUwcYru2!Wo<)`A;naUTa{b#3spjg#8&+iA8K}r>|AL=Namu&#ii;_4&yi%Dak;}1! zJ__9X5gb<30GL9R7y|Ew#TCagLl23SP zW5a$;EAqy+`c(XAvzZFfZhL%ez{K$)-7Q>EsMoSqDp3&gOG%_b{ikT1{|xV~pVi;? zj+!2{aTg?@#la3*96$+o&sX2zKeRWByZuQef6~9}Z;JMoLK$*Z#R4NK29N*e^I!Gq zY&|DPO`}qf;zulE(SI~p1u6c5MUdjxS$Hn2r&mF`+d{E(;tlGW?TUw`K4U92QqYd2 z1)NXd2l+EVb9WBh7_^snVLwHh)7n7WD&XkQ2sQraaOg1gUWY#jwE_~E@6eb>G_N{zC2w@g8u_WPt-7|_7P^q(Kz9{0Lh2~kM zm2#lzROy2dxqkt^T)kF2d=BtxEBY-{(kp%V;;kzxQ|<6gC@5dbv-5Eo{e)gBAHpx} zPMkWC0i#ws^P9|2x?o@>2gIs=1;0@98j0$1ut0;Rb!8>AyB7QGBs-|sw@6X~puSjX z-vZ8-IhsT^9Rj-utTa-&kCc^*#0Ow_6F~<6^@`^-d8g1~ykhqL%VZ?O|W2ny^KBhF$(YP^^TPC))A zfICX8(3?fJ)`c>rXhFq^IR;*skN@71tl4@U|EWtd4XcQD~j`Jk)m=kgDG z?_ZDmaNI{;i}9Rvq6wv$MarS(h(g*Y)97!2Sy_7#ER{&WZSd&1O1dYJ@)@)EiBP;G zqbvg-y-^PT{C5-v-AJNV^^2OOMa(o2VFNmYFMqdom(n1Iub-UoCLghy^vqVGJ^m$p z1yzUi9;3ugOUE1#g2o;&AM`ni*nH82N+m2R7nhcEvVcUZNy`$XE#Z<3e>YcJCs(l` zY*uIIfN3Qm6V;jhjEVj1dHvm_^)n{%waFCkB4mR07VMnCx5GVqO--#+anP=5$sDlA44iK z&59z>UomhH49u%&(?URe{YrA_Mu>k<5r4KlhUh)}Y=%OStIy_Qd^Ym2aN$0ip{Qb5 zpN*^sE!bx>=wT1&vyt$)1^a9U)`zY>n^RPk&u2q4Rj#UR$L@z(pADTT@2r8k>R3G{ ziVu&jQGK&*ylQT*P34`Y`P8YuhWcg#vJ`S-g<>AGJ`3GSzVXlB%fKG*oN2Px9DfY( zAJIccYwCdG)*G)bI9?Z=RqcYa*j#WHvkT5*tBqo@NnvXUUz?cHDD6NY4i_JhP6y?# zun#C)1yNakaGkFytMEa3)E7U`ZN-m&{}})3d`&&AysTH*nqjaO1B%fT*)deEc40X@ z5o=3n0eKhd<#87TuOH(;ugH;-^eAN?*PppcL06(N_c|138wH83LTcQRb{5GrR8o^} zIeDA{|JAtAYCf~^^P&NNv8AUb6CQJao0;d(>zQ^frfosGUqDv4m#~cJ&7pwr8|pr3 z-p#lTq$X*P{RqK4AzccWPwo5?z+TZGIQYi7bz=94vJ z)K6xNY#85MHk&-Ri7P=3NKk!GY8eDYKnoZG-Yfr*oqw?F_E-KfG5(QWBd!dDm4T2C zdyG|S6Z+L5Ux5UFUcpyIm7E@U-jlVn@8}@L~_gEL3sU{v3x`lf} zWK)iX&)}rU1CnI1Sm!I4rTDeRp(YgJvteT#Q^cPW+OfDP%C_Mt;3JduO-TWZ1fCly z#Q6+oT8L?X!TdZ@GB7`LGQb(jns0((V|>gPK{49TH$f>ajQA#~poQ~QP^cD+`Z|Ep z_amAtU1M-&O}CA0+qP}nn%K7eBoo`VZJQI@#>BQW$<3|ztLjy2cb%&9qwAo1W9|M~ z?|L*>Ze$yf^{I&TiU+yCJlb|XGoFBBXz8e}wTs~_ccmO;URNTkJ+Jy$lLXBHgy?Y> zvKZSM`*)z|`_8SqMCdI%DN5v9lQI-n@-M*M2OtGqEe`0Q&pyKD^7Ms6j|v^M3{w=0 zoChh0zv0pcchs8GidRgrAv;U^wf*dT4F(nEdHvesk!5%7 zPcS?$&=ma(^;+Riugv~WipT};SZW|4pSM5Ky*(FS8H7No2X!N?-|w$)r_Nt#>_tBc zMWD`A|m}9~ui{NnN#|Vb~0&dtOxLJ2iXvk|7{`Ay)aXwAi zjlUmQb$9%=c?v-efc_#&SQ1=L(69mO{TFzf>(k^P=mkwgnw!$O>`z%mM7F&0^{PmQ z3n8Q|M523sulFjF5>3m2?|KlvM}W3XDqcTbTknX{3&e z_qU^J0Ih~sowwgLOzSl6OY(JhOU=Lo((`^Fs5k_w<5Vk=>3z9FUax_66GF( zZVH^={95o_*t;|k1&7Js5EusVjEzo!I7}`O%ki7?xmWTR!B+-dUNeI+;$2#QJNT(r zo}3kyjw6Y<@fxKEpIAsinaTtXBZgPr0rFqu6iN$q$&$FGyf8x+O z>igoYZD!ZV>meT20v~c^5ANX6)SV*VVu=g#kxZoz+y!4m&gXeoB zJ9W;a)c1i3VBg#(ByQ^qS{AB~Ah)n~wgD)#^DQ=IzBLm+hy{cwJWbW6JSNwrY)!4D zWMk<*am?7j-<%PBE+7;lG77HenuO*u@^W$H-V6@z7~=aDgbMF75_bTJi{7=h>fF^R z(#2gDUQXsn8ZqR;1S{asM4VDrH)!O4Stv;c{g+Jw|;UCxApu@ zqs+-H6^N zJUv3MLig5{euuJf=GWvuYGZW$LP4r@cT$48LAplNiV${)BOsO3HWPCFwL-NgTiH9Z zdgl4sL2y3PI6m-R@cW>i_tKL>Sr??3{Lk;f5%M%|C}lt$UfNQUaSGYIF%sXxTXX9S zHaSCDq?c(i83rzy-(oZhKQ(o5D4nMUY;L>BNEHb&1?hnkS~}QA67hn29ySRnF96Mx zEr@b;<30BRKR+{3xU@ky(0-`^(>yv|v|l2sy*tVljZ03Puv`X|_pjz*Q$Ohzagivg ze)NHa@u8M60r<5La!F+*?i!Z)r03;GbYC3lAR*8LA5$9qd^Bj_oEWMh3sUJxkR)7D z3}gt@Ow+)Q=d~a%jAmZoCtuHx_cqx{AvhV-OSgFjl~{EhwMX^Pl|3`b@Lw}PuwG9* z2DTsooi-m1Ln&ZGi*dqxkXH%=KjwP2E#ngt_uinLc^vf5>pZ`!15xeMFb+fHxY~f+ zpQB=>+v2ZS+F;t%j-FUA2A8HRU)+2IR(6W>8<>coYQ8>ey;OU*X4CV~k;$*q%hM{3 zVCzd>JO#HG)A(76&)`bXo_O zNo$eY@Ms#azBJ^R_LAOY;_@L%e@hRgoH>kIL^tUJIFQ#D<-b0ZnEIs6tr>)wkcz+p z@AMcF1wlwhPf7bYY3R`^mPVzu8@8+Vmx*Y_D3`ZV#^chiS#X(7%YQ8cW%@|~uYNFI%Hz1JN8G1x$aaI~b*J zEQCAhN_Pa(LQY4hUwG0U>tBC1CcyjIGY6LMtI?)$3SEN+&t2I>u@DqDp;^?evSL*5 zaST~>V><^3_{K4SU!9=GYKOzdWTSGnz3nx2KNn+xYq);r=!Np~!$yyS95wv~?>H+C zjogbq+5&R#$M#kC2PUx@ zv4e!sW0{R+nVPkjkfI_zrz?zQxg99I>S9BgDjb)t?!p^7~*babxh_p9T&fZe7Q&TqzVhzBE-99>*M9) z3n&nAaDkZtF!09^Pj?hzlSN5)1aXg=EnokQXb$osIWf!~yZcv+3E70-Kgnq$SF83@ z=LQrB(^MtwBzLBKbYEGRXI|}!I++^($y}A19vFt4O?g;!njw3@JJw30^}AxSd%0u0 zvCY^&n4ho@1mB3SD$6dKa(3ZQJC%t;1c#^r(AEtOfFa~+!82qAT!(}e~Vaesw0`|<(V(+Mn_u}1k8 z6;5DzK#>r{e%_hVh>>wO%U5FdiNV*C_TzDS>MovYN0teVpNrg)JwitWc0J)gPD!!x z^P6b*Jt4F?w}_Bhm2rhTxBUhvbB;RVZ%>{9$4_8BFB*Ie2;)eFPWZ|vb^(eM-rwgu zkm=jBw-vIkhsXeBXYVF8_J8Na_mJ6_Rp00$y?o(zo(PsQ^uHyn2ri9Id!Ns1_C zcoriYdDnD}RXp348nw97hpt5#&Gu|bi!tWTY}^;3oX(eB?3XhC)EDr%w2CAQV%T+O z_1hB4SaLe$f0r>pRSSmEy)qfjWC&x2PbgYfF4kBpcKpLAtKCNK_B&GuCloMqSCg$^ z2KeI~&84m)G9FHZVJ<8WMU{JEac*<{CD!!mJS{0qKkq&7C^Lh1f?ZU%d$-yqdAyzB zaAcJMlyW%2j;Uj-BwNlStQc`ymB6-8I2feAqvNew{brM+43~Axr{TXD7Bb;FP+dJ- zm$khj=#Eg>SOrvT9+(7LP33s*yngDk~eVdW^&IHf5E{WuveDq3+;< z9YK>uBw4#+ipu$EBd5!s64~>77cLP=k+ICBv1>Rt)eL<~Qs|0-!PrR2fPImyN)JVe zdv5e&9GRM3xqgVho8B+ST{ki5Z!y7d#4pA-@$v0sNCa|yTFJal7|sgWApT90~J>dfpOX$n~dCNyh&|u&M&}niT~A)-=zI3jzX6 zNXZazbK|Kg0!Ln$w19n?Fh^#ZedD^!I7WhQ@Sk1d92~_>gNv+DVNQ#%&8_h!$IS&& zRwJwKJmkgqKPbx6{Ffsu;YJ^~uEr+kEUem0jR!27h$w&wrfU4p!p0!d936d_OAiBQLm{0c>}&VLAI;Vo$UOc zeTHT|wMQr+U3~)uq@9aNTyL|%Pnz`RLq01J@OTKrzf$34%}(;81GrA5Y~Li-%kC8W zsn(~6I-oN|Ozp@`5$z$^AZIIqAoxyefQK7e`sXiBCX~XcM1G5Z7g6K)f0j7~9d#%g zQg_8UAeNlX$r_p~K`2X=}AWs#X zrQRO9bnYZ!ti$xmzngpu_V?0xJ$iI*EjD0~&F%hGoYwPh&fb ryXAZ_$Z_$JkOR zE6?D7iGGuja^vXbrP}gux!ZO9=%~=J4j?Yu8c$cpSXVa=5Hv8rtX>Ln|;89Us zG_yD_pPmbE+K|GNTSkr>7S`(Al+vY5v}9L*z>DB@(hlQkx~y3c6o=u2!rO7WSNlVZ zXUunp;fJ|5WH@9LCz%6Z0I0}r(vx5}75F|-h@CSB;1F`&ItlPZv4<(Xk-t?Nq6m0@ zNx}(04JIy~6I|$^H~lTbB$wAZz^c!`WA32735DDp$3lI4xexL@!udOJb40QKw19H6 z=dSEm0iB+XQfGQo+3IptsaH!&Lv?4EVe`NxPakWw%wX&cl#!QQa9K`jm6e<33p)B{ zg1s;X;3Y5|X=Qeb>TR6rv0ATg^lJR>-NO`sw$*><@#%e@59zuKerJ=deAay`IAu%;z*xp@6Y(h;mTqJQUfh@e&jO|%Jl<9W9O zhgqv=DKBG~|8%(oo(gYg16^8-8``iftAvMAX z$-^^IbWpnt&`mp8v8vp>-FoM#uY4!RL+DvKiHXQ3FwQGU^tkiMrbbTHNcTkjh-bFyX<=(s&x2t<||NOfzU z00dXLpLpCix?&7FjsX?>qRAUTtopNOi&#mtN?kzDe=MV8HUwV=NYG`-sX5{Et zu7Wqy5z*r*i7ib%svmb)Z;L<8T;wF@v)d#E)PxDdhS4DNq%?}h!LP5%_b{ORWa#{KCodTocWo`s++UaiA7Fe4TB6V4^;Xug^em;jP!ICAKf_85! znYT`vLG%d%3tY%xagI|DEAsDII=A3$ln6`GJ{pt;XpixX)99nN&tghptt7xTt)$V- zD%z>03V(Q8X}b9>MMBGP>;KPY@12rym@r+BCr-S+$7nJeg$01`xq#bT2M4Ih(-@uv zaf2aN_xPQ#@eM+gEKXy-1@zO>Yq^VqNl%L@W@*NQxLcls?Y3PL3)T6F)gw2n*voru z8cBCA`Yck}y!i2i62Ua&kovq{XH#VAiIPHsa8qYfo$^szn$NVfQJ2vahx=>Mqb^y^lq7(8jQTdjeb2)b?3xgzb2q?&MHBD*F}-1*-)%n{KPoe{&t@dA@iN|s zNJ%erjHsc64&4-MZ6Oz-5Lu5h4PhaYZ03xp>}UEbu|ftCJCrDDLHK<}ZYf4g9GVzZ zm_!i@`@qf>K?gRh=Ay$gwjM0oLw9rj5IY@c<<%Y3oRbK-Ew09?cY5(E8)YRL0L5Vvu(Dl+_?W~sra!_lrZ4#)AKmAs@^cK!+z%`nK-p1VvLU)^R(guxS%D)TPNXRS z&Kh_RnZMCelx^k|*r>?w#kixTMu{dgJ&Q$c-iytnE27-tKunaIO{%F>w`X0Ky@rdX zg=(_YaRq3*CcbD&5&2k}=CX3biAT^;&(V$&VE zV`Tqgzo*y>!h%nQ!;Hihbw0ig)`DxBj4cUFF7L&JL5VEY8ii45z@U1@B^RonjnSjE}qyC*Au zGPm?5;sMGuJLH>*K5QaxiJqn#mq<+fSMrH3>-SDek+Gl1gr8~~Lu!jv?TJ5UU@}a` zhIcd2sasI;t`=AXYzl3^W#$V0D=u2c z-4+EefZ|w}y{9Sf$Sd`f2>XYVT!6u;AdQaIT&~e)qSaCaKN;rJ`aINn3p?sV_pbY9 z<>~P)T|LO$z+y4qqd>$+wGln2krCE+D3@4ph_~5{NsNCcv@CH1u(6#K*6ohKO0RAR zL_i#rUKCSk$Db@=RssXzmiVoNOK9Jau(Bg)x>1Ez*k6ItlJu9^q|qxJmq45PGZwMz zoMbHMj}@A_zkn1t`Nd)_*g*NfG!>xzo`jwLUBDAO6_T(<(B4Tu5_xP=9$%UyGB5)`Q_#=n3H6`g9WBUD z5DH?b&fnkXX>ryeX?KY-qfBCw+&YZzIq{+f&P$rW_lTGXi9m%Qn-ZOTU|<7>qWJ6k zDeYU5DT=VeT+%G9$0IrFH;~nJ1nr0IehC*k zbO3A5S>Jx$>3kgkJpbQyQ%4cg@7tj7_3O|b4pY=8!XtBf^ii)}-R8|tPN$oN#JYPz zRxi@?o4mA-j}zywua4$Ez|6mYp7AkNb0^N7Bi(gO0Y962{8PN?eWNXEERX=irH{pZ z#;00WxQ&6FdWt;y6C|ZOjn}S!&(uio1=xHYD=RO$H%MrJ@BV^&vJ0>Gq zPo&T+$?YybeEzB)84XjSU_u7mF(dn5QEV z$&!RrlM$=fI`^psNxqbt7i_rjJSf8xmORazj0swaDCYh7CDcYorlNlOB-=O;*pv9u|#i3mdnE&*D9=v>yw3+#>ZiS2giq4XUw%wmP%yL#dipeg! zm)KDCB2CNiC8cDx_jZ;R(Mz;(n}e;w7b4V$*coUe(bVloud3C3BVu}^$4EVcyjXC_ zawum5q-fgJp|1$gyrkQ%b-l$eVe@33GjP!I^AD9zh5F8zi%PWykM=vson`d zw8ehLqf*4DHYE-3g0Xf}={I-Vz&O{hQ}Moe=wXg+-7#tLY)q?j%$0lgaT;F@bQ{p-g?(dzY+1PSsjl>ux8e^8n5JVG-A z2-=3t3Tgm`t?Y_;Wu@Sy1NPx(!(P`UcFjpd$~*8XhNWViDuJZ?gG@R7tOA|!Mm7-K zt!z8YvGNr<)u`Mrr)2@A3JzSc@vn2OL1pPKTJwA||M2v-J}u6kPi(QJ7QlO<>gORp zFIaCLkV~v#KZ?_i1kOsb6}_pilJqA4Z^dcODAwyqik*|OTUUnG3xx$cb+iX^3OVxE zT?_Gf=UEE5v7!5@mJJCSn(A(ur&m!9JIE9~%NF-b6ho!j3s(NTKs(KGGP3!&9cCj# z%ICUl7O^}oYN zCiwPZ7l8m&bu|N*I5lNKCwv8~nnHyQYWlMVEWXw_zlE~B;99E$gS{|;!eg1ZN5Ncc z{)NKWl}%^Ki<<1BCykAHZ`u>fo|J>m&0M@1$W;=5%MJTAVGu{&e1Y!Z*bRfZw>ERY z?~FF{q=l;M5o$t1ozz9z13P(u;8(%*ot%u}>0QqdVf({el}YX^dA>8O1<@+YJMG#It)}8IrQ%b;-h?;#Am!oDkuzoSE8RXqAZ1JWU#q z)gi|!H{Hv6;n|sb%Oe2U_dqdz`sDWF=#w-dOkf7!r!)slV07T=v=B^SVu;l>_HI<2 zv>HrcKLGXae2+{mqZ8I8x}-!$=1>%3?YMMAFJ<2w0+5juAsH6lf$~seKUD`j530)G zKE8D8$3W>j zYzZcCpVlAq6jy-QU(5n}JJ%KFA`b>sN-PQWDFDrrW6EM8&B!3*1Pf>JE|;8FY0$fZ zswG9LjBw|6A>Xz=ahiQwyh5AKSji^+Vf9JKmuuH{Xk+kp2=q2c`li`cjR$OoXKDv0 zeOAhBl#TM7!ps)w+F!&0*eKQ=DMLv3R-ruA7VxR9RBvv+g7d39K1w!1GR}TNl@`d0 zJ%9LvY7-S zD@LBI-@t{al4!*oI9f|UOxNrk~?mJ_C6->i~v4Xc$?r=LEiM!k`Mj z6{5M#>s(A27tEbIzZJn}$0&ABSR7+`1HcAXnXly--2x%ZQV@Z%_mC2fT{A>gp0)kV z&u(B1aS=!mbB11J3Ffi>D*^xK(t2HP+TQd7IL8}pT7i^d`k)Aw3Z$|}rcH?!vm(>5& zlocyl&*M3!r~E{S|lnM)&;&i1q(!+YL1lTW_LEPTiqBU@pad_3h`Z z=q3QKGtRyNlKDngsa%IKU&U?8yJXfCuHGE=0qNnnzdic{y9 zm5K^U1;yD2iW;q$Ef{EkVUxD5A-NG{g-n8RQibJUb4KC>bvUXzfRcgA^N}Tm*^T1% z%B=$0*N5H=WLJMOv;Pqq8#Vn)H&oeBuv6ZUH-NLwF6}%=U|mdfc)Gs*!i^VW0o3r} zZ{r9`190J}lIbc0LW;OMMA51zilSq}KfGaBjfe)th^RzyMQ;5jF0oMMs(&C&=Gock zTc2k{KK9+=lTlIcfLKHxz)Xe7F(E}6J>5R#5sJX5`SQIt3H?5$Gm1aS=xfpr8DE#r za#VmjlAkB_jvFe87Kpzja$iBeid)rbm(HPdbpy59;zZ8`ZW__G%DOkMcjF%RFm4fkI204kZRSjxS&r%wcPs$06C zDy-asN>{g4rv&6_fZgS^BkVlL&27C|la$v8_=R8W8GQWAUXbX3U*YVw2_A89Doj^# zl=qgWpQ5f3vQSG9BiEe;E00<_Hi(gLt_slB@D?bx;q;QPJWyQTSm;q_`5Fm7I_3m) z&|}wWg!u;+px$M|wnRbHu_rnf*@1sCwfFF+4juQN%@nV+FpN&Fg3(3UlnA#$GOn=Q zw$ujc=^>nIladIA9)lqw0jAtyNV6vZt3Cqul@c8u-M(G0# z0#_LU#=q?AM*z%sdL6zX*#u>SFJe#6e!SwaG|tp8;4mT#lromo`6dxn!&fBiZ221v zWYwK=P)wT)yxcYXh81Whx@q#3U`A>ve95@7)8{uClNMSC5nq3(c>2f+g)6$vhbfq; zB4Zkpxb^M9DZS9wE79fSf@e^cD4NI(HsYnpD+W`7kKfjFG2_ZmEl)eUXFt;ov1UC| zqlT3u0Nm0;i)QbT#xdt)vE4KvJXAd zFL_wmQyLYV7qvdtp*BHu_+jgc+BVSQ`NLyR5tntb6Xzb1Z{0*wt@v-R!}D_aq=o&3 zc*^s9l4ea)R+NL1Vj8v)M^_`0BJe4*~EJsB7_;xe7SO|HHKN1pX(~0 z2Z%ZkUeS3D){^zN?F|Aie{K4osK=NBymaKm*248+yJuzx@+j{TJ3TSI^vA{f8jD&y zGR@zk0v_6w-Zuf7u>!y@64_FHxD~lTmZCw$ndtVW)kyFk#|%GZi12>)LzTMpZ1J$6 zfSSdLkzXUH+R8DN$q_kgLx1rBp(GQo>Ki^AUxp>`D( zA?~-no@Z+w?M?5Elv3DhL ze9P}kI=00=9tM!tNYP*y&QxnyCmM)@ zrz1%(Z$2ecu6XM`5Gy(Mq?2~C{;k1(rXc={1^ky{q;vN15x0U%2VPl+DTtNB=_8_9G@))M|jc#FXE*aI9HBP>s@PECyQ~| zpAy)YlD28*P_LS9rCJKa*X`mi^z!^!GTuTN9gpcTbn3rlObJu_fdg(KjSlkE z`Pcu3FR&@V4bqIB!}T=I8z3$A>*Ux%j#ygq02w8m2XXF!9O>F>aD>_PK}bT1;(Uu} zHcgJiV>11WOu0cqh~8m*=0gn5(!7;b)Fx~40mTiOOyU^)6!!w(ugs4Bm%_2=!vhZK z-e+Fxp zG=g)DZVS>A&sT2uQJ?(pouTnt48Lx~GDn}eJg=Yy3Oi|7{3PYHUMN)oulzouuN2S? z2^=RhGf9KS=jU)qQ9yTz`DMbpg}~VcYZ}DpEN_ z_0i?zR>AyTkmXdpbZH1Vf&WtBe5+iTAC2F+FQy$ruO;+)Q(O$90M!hqAhKY8r0)oW zG_5}W*!YLNk8xDdNJ?Y-opu2^dj8452Ug*hT-%b^DTWxh17M=)H>b1m0Pb1&UW~5V zt%L$@`x!CKsdt#;mFKaLl!1T*2#iQ9;nM}Qd%V4v!j1JT<=^OfDvRI{ zJW{%1Y$M`PC|GU@ElZ2wcFsGVYx(M2;^u%9UGDpMHqM|UVcTmkCmM!_TAuTsV5^g>G$63e#%4~!;!3AC^K%uTh zZ5>!0PFPEWKd)u_xQ(+`}PE6F^& z90%7v4D8n}jH>pobh_FI3}E|URM_qOq9Qpx5Siu!z1dszaQu_>chwmIS4H=CKciv; zVOAD=Q4++W1GXRf2NSiDnZF$14?`}*7FW3MGzackg8WUXQ8%_iDXF%-&&Qq!Y6 zT;yFW5>-E2@wg=gf!VKYi@y=!lrrbO5KBdsW;#`VuIs3ks^<}<7sVBp!EA-)kW;KB z$eZ}wF?2R`FsV7C=%;9VR%UNvb+s=)^;Y;}?B`a(ZA~C9qSH2`;<=mv)>I0fEM$vqgbG+cqZaxj&|S6vTgL3-}?x^6t1sDAi^7sLEn4 zaP-ce|8VZ&)LNux71Hsb!=RFqxVJ(G>KxE+!iUFoB%hMJ^N?_3{IpWUCJapJ*!C`~ ze=9UWd7z33$wB=krst&%SXg9D6nSqax3`vz$AR8YY*Nvj#c#;#@Nl;zcQml$NCu+% zdw{z#bgy>5jv!JUWR!P7b+;HUd>YIFa(Sdi`aqC)$9BGBp+g+0y#$>(Q*sw|5g#B=|L@=h@Qt!Da~Ctj@z;o0 z@G>avD}GwM04&aqGVc<9apIU$EjxQS@ZV3WwZ-5lIWE5dQ>VFkocM^|BPf-{pqLqN zO}nG|)50r3dE`mje3}@zffHQG9#c6E#83pQgsDbpsBb%67@WbkdPM_}+Q17c0K-R` zMe$bC9OEl#$Yn(Rf|P)ga1IRcnq!+nJw~W+&pE@ z7(;kHP;GMSe9`l|74pI`)~#HNxEna!V5%Y4WUxPux5y@kakQ68c2kUpO&&&}AFFjm zYe*EHM!A9&YUPfY|A-P@!8^D{Fe`k?UQ#F~AJY?uZ`DM1(%as3@X9sR|VVCwl?PLRS8xbRo>CE z1`KAggGc8;GYO3UxV)%L#4K~en>oTNLZh4l{!Ui`2&ROI%akE1OiSvfl%W#`ZS94@ zyMKLZcU+<3TG2DCW^~P4a;&5w6wybz4>fu|$i z;uD5r>ZuXA>< zEhgCtXdbPU@|shNq-pUVRX^<_WGga$Y0>O*ms=pDR=W$fp1dDhfQOFoBA`~mN!J6y zfRRVX6=GQEX5A{*#|mj~!CbG>tY1{H6hUcU;j?do&oN+b1A_^2mnhuOs&Rq%o& z;{}9$SEp2LLNojRih}5!NXvd|GpY~k7qb3BO9aoJWhI7`5+0wNH$oNjBawk2DHmhI z`7}3zzQ8s=}vp< z;3ABFHj43A4`XsByva|#mt5X{$(^3-bwwVSmK3&po-w~O-C_d*!c1&oS5& z__6?AZSwun!WLv%c|w^;3QcX|Q;eG0!wWbjU13j{-{!X;cd}*z#|klQZF0}BEPXK> z#J$_Z^b~?tXkV=VKy*BWwq(K|r}Y%y@|pe|6}?#JzH$&T!hm;!h`gb9pFDzp5U}n1 z`HO9JA$FY4gB}jOANt40?<(;C*?u66jC#e0yWdEDZ*XfVTR(XGAOG0uQ3Vz3>$yh_ zuaKMC4s=ginlIywyMAO>~|r=m%s=3*wB}(}JZB866PIv$k@mFG$o*TqIdL zmW~4HXz`cihcrkf=`VENQl9efN`p$Pnwgl~fawPgZ!tTVZALJ5tYg3K8 zBxdn+EeL9)k88}*%Z%8Ji{*f_>h9CTJzJ3Jb_Kb^4W>Y=PsGcEU0j^zz0yUKAmC#E z0%sv+M)^E1*-@j<8 z-~RTz%z5*YXSS}iaD`85xER)kHq@K&_X>WY|G*_oBp|ATK>bB)obtQ2eB^k~Pa zH>4@yEUo)TGAL-*5AdJ62+z~e z%g`gT&zpgp@TLEZ5+aEfjAe+8eLS4=?AVjq0#LLc{cTt9<1W(6Y6ZTB^iOsvL1Tc# z)uPo$eXjMM9y71gN%&R(c~#IDAw4xcs`uUku00tKsI%vXXde8BY-r#pfbKsX%zhC_ zD9>)G^vFnwgJZ)SLv}=T{=Rux{4w~YbG#UQFOzEFdGl7{t$84SN?qD@RzFPW*N&6e zL*262(Rlx*!J9#+kr~kqinFh%kDm6|L+VK?`+Of8w}Y|P2Em1+430RhoB>!ECQzqy z?k^6gK0qk#kpY+(pwsx^sJn-{oFi&OTeN8YIjTmC07Wnv5-1@4uCVFdm^~GiP?Ye! z=nnfCJ1wttzfRIkf~dD=LMqs@*yB^${Zavq0JU^`Kzf9#$vip9DGU!2w;$P5aT<4H zy9x%vj-M+zl8rFJOVW@Myv*VQ9JN|p2S>MSuAWeRJMTjV5K*sPXBiP0eF*vFF{{;? z-`Ff#zK>N73PZ_COUIy>*^&ps%*GCBucj~1B;4^Jgod;y!D5l37 z{k}@?WYhNj_1vjFzDJpeFRkZcqnZfKtp_r03OojfI?@Y`ToLAb$`KnFLv-SzxekJe z_T+O=r5*kSILmuA`F>Qi;_Bt_?S#1_{(V|HB3HKJAFTi{NGp-)+1=nvLFr40$(Niv z0UbAHdewh(WKZxfh+ElGV19RP#ar=6DPgzcihKoMjqWP*nx_cauiOVLGt`unGpKuV zVorrkTsJ*v;v}`-!}*ekzXOaw8Kof&*XlR#Rbaz4Kz^0CoDj1ZINQ7Rpnl(@=VXAL zB)k{3TBbsjxde_9_L^+Im=v*AR%kQ>D$OEy$9ZqU0(`*3d9~=VnaER2fifivGg#+* z|J?P|OoTmX#&zL3AE!k@J2F*+$LfuZ;8h_Ozxd>?pVS$TY!wEnZ3z@I@WjOLKkba&K{q`PO7{Eak*~^~QSS|d=bzzfe)AOC_6=(qbNa!=T-ajguwRxCOA)f7# zs>cs`G|mk9c1LCdobhjTe%;8v+#|)9{;qP|h;8!lmKP*uT=WCVatdtvxF_OnBOqYV zu1P)7Le9h_l!CB5O8jGu+(q%pKCMp5&C#+1fQ>~F9VNH6a{DY+_<#=fF$t|$8%Xr8 zr(1=1RRqbOk&=wZptjgiRKLv>-FeuZ4z5m(8pNavTuRF_wa~Ex zCzH7RK;T5)n$Ru?%IwypwSQsmiZuw^jNK5Kk#X?-euM~ajG1(2e7|ilXB0pU2V8$> ziAF<$44`oprA~f;x@q1O6F{0WwBqT_9V4h%CAEiHgX5O$bvpZz#R|DiA z*2U?PE}ZJnE-XveqSv=Qa8xQEAq%Nr7}#N&`Avfzvz|Q`C?T554N)IHroevfpnOb} zk^Q^@nk|pnV4h;v?r9h4aX*hO!2PB&N{`oaM(^^!F|ksmE-LfBcH|q3(sP$dQAe%m zfD^tP_!FD%MfIbps^~gNaHJa?g;LWhK@=Bw)cbV+kz>JI8QfxTVtMeG` z_g2f{sIav5;zas=)^xNTu_&EJe*+p6{4hDeD7keHqPOH1bg>1hmA|%KRpkdS_5}G-12U%PgeYX zhF;5cmRj?5mQ?F?)>zwr{QvgjTxVS5 z&#^uLRBQsi;dPb2b3#<-C7TtN&X%B%wBwlPGI zIm|ZpK+dX|N53 zGbjBqL#KXvWr%bX+o9^uUrdO4C`a-;<^>zj&6?`@R~TL-(V2)r{YYML78bIrl=P78Sel3R zJ|C53IB#s&yfiH&m2L6SmVTmR89NS)PBdORV$Y+dSiH6DCJTa4x?wBYQ+cOVWzSn+ zRw7U*>%B4pppJ(taHLPAQmb0w-uOg|iQApbC!oz9@+KwwC-My7g!)5!Xi1M!D$saa zV}*(^@vkst^W?Z{4Kbmed)og66i4wr`#X8fmb9)OV5k)2X&g z#0Z>8q@PqA+F3fYcBL z1)RUaAv};W^KmvxB#4u}6Rv>S9H6;PEcZG%)SoFe1EMD{tH!m)xKWPO8HAg=WGL{ zp1W8ez4nX`+`T@u49-!P_i!?&#lN}N^Ey+1XJ|_ob7d7g;y%pQYDCDqafQ#gSVn zw5ukye2!I{_PpN*c4-}V6p5UKv*Ryx?^pv=V0}?qgx;{qJzSX0yQ5mnvHwRfYs&du&%@5r|+6~Z}ErmR8#4WH%mmI4A ze0~}H(x0|MrJQNI`Q_|P=K_1kqQUW7aTGoV%hqyy<{atFs=l^{NqeEGI!MuhhAB(V zyUZu7-wTKRh4L|vBWz7&rLQ-=2Pu!%lg8G7WPb$om{~zmv|93j?ve=S9cP(Fa&QJ{ zpOqu9x7v!17#A>@UdTOGoxCI(!R|bf2J*>36Bw6oYMlE8_Q7*%6ov51IQr4gSGP>= zw;6}Agp^a0XLP$7brprDi@9g(DFr@mM=(JpMS=x!$D*5sNFLW&z$TMC4|wN9x-_M; z1o4?AW9OU{Z<{Le#`vpm9NEOLkMZ6rCI}6$;YsNejTrzdxej%Pg+Im@ceVZ$QpVnJ z2C+7iSlh~7z0TD#xX~hOTKzP3PnXs=aBf6Q?&ODgl6<@Dgz@QOj}Nq(u{5&ubv?z2XAP;&O0 z>ekhQGNW$`kqs9HxECWN1lr1y`Uj%u$g9lVbFB2EPW3KiUA+BiiZ&yQZY0j7Lb}_s;(P62M%rs5Q zI$!~wB+s;>2b2v$fKe@7F(Nt}!h5o$%4;BvU0bcgtL0#J^yK+)l=@>&~yK9T#30y|f{1Kalx|DB_u=dRLPY;mM2QnBHyQd;dl3 z6_XyZIsRW)Um27~)2z*n2X_tb?j*t8A-KD{gb)``;j+Mr{*iK%Dn{Tt;FyK*Vw*G?L|&3an+{)8|r2go((!82%N)ci*c(&%J?IU54C?u<%Q|RjqX># zb=cuNV@51Bel%5y`3!1Q6|+yLLRdR6fwYK!xJY~BCs-2Q!g5(=n1gYtY67~^+r3DhC zIfOh0>_}P}f1zxt5HDY*+FG}c#ez%zLBjRrG*ojuAaV+s`3UY--2onMpT}Hktm!_? zVhrZK(y^K~Yle^n*Z#U}XQ0j7g>L~IhTU;~&tYqr=IP(bUVAZ*r0yx&RlaM8;0vG9 zfMICvN9Vu&o&%hu8YlmDf_I zh%Eyi$jUl!!AA9~#Ans;PHWw|n?(Z+t0m;@8z!I({?)KyEPXWiF)65nz^>E39=MaEJs8@Eks>vA~K&OpGnwKP^6 zOagp8Pvm5xQhHE@wnt}zao8&V7WI)AmEG)=WPZ8!qbFU5ACpz1HA!fvy&+{^*^HZ? zy@8jBcFxO?y-i{t%Skql-bA(9O+&+T_587>yQ zq~e?O2q$nCUzYu9>PZ^Fum%W{Q~CyL2N#jO5!BuJ93RdP_)Y^W;(-L5U z317E}IqnX(q$SnOdwGDbj^lU9xWrb#W$^_qldI^)M$lBOQP{>)`ey99+OCt_UV`g3 zzZo{eG!51)rfz61pUlTPLG+NR(e1g021jPr=wxLkxtOqTlKjcmBadTSmoMRHe9rE! zEh4HT9W5i7gV%%H+!(X4tlcY)Sh%+sbbTh`C1K%Vs(nGGrCWfAfSMCoN@-IJQZVxk zoXghEgNqiG_;PhIPBsR{u5+5p?-s&rjUpKuPYi8{l!EP9B{I=Hh31nTeR~yV^*+i= zH5)tmJJ9fJo<4*CS$S7L<-`$p?iH$>_IfI42BDgV4NovUYpNCRS2xk|hM_nje?0H> z<2}Z8?aNQ>)+ca8^^ttCtD*w zs+VBWgX5=7HADORdIF3s;!Q_41HKaRE-|-%R941gyd8P`s%P3>=bI-ycOL>yz-OYJ zDx1sE_v!_}!A*|sUo$b41LrFT0I*(_zF=E3EUD#UU3~?!!%q2qf0G5Q7^kcu9k$QfaW_d|4!tJjWt@5z##vKlB@eIp-$G?Rbe|U1 zpHJKUvSBYbs=W4-P{?>^)#*n@n$^Kyg+LS_cCfP$hy!HSSR@1jK%k*U8W9jX2ow(1 z76tu;jB5t(h=K$`agCH>AQTYLm`$s_w^nES1J0DR*emHM@J2XL=b6mSC`UQ9B{=`z zT0HAa>5h+?ino7rsj=$`H{OfypeFj_C?WsGl=4?c{ZZyMw2Q=U2PnP=teuz1s>Gv@3s?1yCALKx$hyqFf}1e&#!-qAB>YDpnH`)BJBc=eiiolYbuAjFl# z_y*A=HS|cJ>bAVv6yxM&f&@Y6b~?L3hKGxTP&p=m-d)io1y$VLSLC#rE98v_!Ave+ z42xUU9~7QW&IKXI>Rkk9t9OOgh-lU zb&mN6L`quTcYJyQvr2%z0_)HIhN7&ou2gwNwjzyB$}L=%$gqq()>c!Urm`s@K*W^9 zVKNCVcchab{`}QFw$WRlXTSD&pZD=$#D4G0(5xar#NXB_4i3cKx- z&QHe9K6k@ER}le@smi2iK?hf=fkdf(^1IFa9`EGVU)ElJnC^F*VpHCqW7{NYmR3XF z_XXynEbQlam-W_#D|>jV-~I@<38OlO>gXec2`GDrMG1^ej~!tZO(P@?jeRN3c`M-? zk)zTwrypXU7SQTn2EKRGY750#-R_)rqRoHfEB)>LVGxQ>VwgtfhiN<~X#|dv5JD}F zE%*AstW}n=7}tKDt#`tJmn()v$t?yyM*m^iw2vddpw;Op=G8e0nU8enO*NTe1i^WS zx82Gz%4Q^T*GG>VGOAhZPDcxDTzh*>`LWY4@$V0DxMy;4K!gRqL6ZX9r%IgUe1z$P z^#a`TlVc>l2ChmvV=e~ho!$}JZhd@CuWtK0J*7zkhPWndR24ZHFSO~)phNs*p463q@sXn* zj4<12By{Z&5L{1Zm`AY(+HLvV*jjs~aavSmO>7!cl*N#XH*(0({21cfo+ZQA%D-nd z!4R>q!a7V4{+-$3_jsb})gQB+1E;k-J3_P&jH1)#W4LwR6JAnfrpb)RUNRk}UwtX1 z5aMxX15i%fAJxJKo$$y{A!513%<-uwjeZ{Vm5Yex1FI6hN*%q*{u)Ib^!u`#&B9!a^neo!CQ9=kX%8t^F*3AoF^F&rnz67ksjksvvlZ&8Nkgw|xOfO-NSdfgh zmo**N(Mx490=l%zbyA3a6iT3=E9qvZ(^qDX?w~gq!D`-h(R*$nW(C4^wxX2uiWd3~ z5zt`9iwQ!`4BX6~H9t`wby|}i zlhy7>XWg8@cp~OJvT3Al8MRG=yh^|s^63RL-p8>Iqz7gtPCPdy=hi|# z18F4CumKr&y8B+1?}ZxD4rE&=}T1-j%)ix)TaL0$Ajoko+uLX2u zH}bgsY8C_H3`Uh_IikRa! z`@65z&FO-+%%`YnBM-fM-#X&lSzcMi#=7f^uPm1Ai`STKKFo!HH%edqulwdtz9!Rl zRJs_7I$=J)pD%24qqAx;10z@8O=NE8id^blptRhw4=OvL_3W_RK@=5*% zt=sZjOyB-FAhcNXeMpsg>vI7W)LW!>b6!t+B}o1T1O^N7t4Ke32#OIC$gi?06*BbK z+nrcQbE7(KU^%TTx#@5~3c;g(1XcH;n?N|Ul4WO~88iOrf>86t2n+xw2IXJAf0Tmk zGlBjL$tn??u7*C@zIDK*oxjbq3o`3${H@^E>F#KBCXywEZ$rW>UT$&~ZZa?5PR`|k z^CLXrPAzSuUM)@5RV{5oRjhjd+bQ~<2X6(Nu^)clu`Z1(SNc2(@g6n0^H0`IvK^fm z$6EMG`olJK-TF$HH>@#02EQw@a_~g}K?CdC_Qx@F(M7e!AjnRYPq^iLt&M*tOvfAe zTN|1#47$As_XIAG9M)XoOYQ}lX#@`Kt&8`11*wlgANjdiBbmw=W>yy$RqWPQ-V2i9 zJkwtv7#jR_PM~jk$6)&%vf0w8@0~u@^6;wn(NRc8pTuY^K9$S^Dn163d<4zou(*$r znhB|PbPK8Ghd2ylHGU?~>;5y zpz3ql+~|@%dTT$J#G+P)1VJZM;>B~#EHsQZXjN& zBwerRtod9y9c~gZblm<`U~x^j7){zIVznpPne|UV}?fuq14_%9ori8n~Uye4xCIj@AX1Nyw7uu zk{0dL(Q%0id(rC;S^S1J7SHKE}HMYaUwrBc*vHwo& zI<<@*2JZxEU+OBWVdBY|)$mK?6L1@nF~bnKQ=aIKIGe?Fhq{%oU9BPUZEN^M?3RXD zE5wB7>hlAi3&$;R_MpH$K-VdswuFQU1(P}%6B8rgWiQq$wiZl$u;?ku|6{gJFy^YY zxyeWeU(pqw8!Vu;JG9%c(k>;JzL!F7R3Qs~7Sz z(**_<4PAP-qfTbGBLnzdGP)hh^6h3T(k*TpP~RfYl_p17OIK9S$?QOhmN{RY*X#L$ zVO8p8yjZZObUWdJ5&FQLqlA?Fl3cw-jBRmu#Lyt!clrKbt!v;XPQpZ~>5bD4=M_f0 z%U(bvl^YaY0Su_4h3WwkQR*W zu;wbs$g5@;C|< z;CB(_T1B4H^^vj`297hDqf1%o=*I#u2@)1VNd)lQ_OsTMyU}S;3q0n8IN@6QfL^Af zyif(XzjuxEv%wm+4%^X=Xb@{t%pcf(0ufY0w)xPEXu1TQ&@NSsDky(O>S>a^4JaNB zr;D5P#KQ<*dPf*xE(0~A^N#2G)*R*OgFh*4Am`9UwBoO;B!^nrp>Kt+#CBP2e#HL~ zPMznuCHx_|-0Be;m5Y)YP2n_FP16Sq8kUx1e1&)VJ#J zG9^7!OzGm}MeG+L?OIq^zbdXK+B7tcG|u5sB?i*y2BoFmsH5xb9cN{>ccK>O$n{^Y zg(fHbY5E@*P>Gh?oh$rOpj6jWUCm05#gIP(N`7r{e#r*Hxr(O{+|alunQQ9V;G886 z|6W*u!NCaO^vA}`O^=!%644~JtwLXxd@BQcxk4|`mgn=jMdQ7otp1d%rCz3Eo_sc` zjlgWnyo}d05HryZ-`|?=0ZS5179$%9W}Ahp?mqBxl-D8!#geCMc{=N%zjY=>ycvuD z18-GS+i&x6_T9(&b=^-Wy58EP=wrQU0X|ml9kNjvSgo=z0k$-5S%vdT@QC%RkuO7Q zip5nOx;Q=)4l!JP@j;4g4O(Yjn;U-uc>D=@$L<;FC?J8 z6kg{#422C->LVtv-)D+*Sp>+^-TZ(7Y7{250+m>dDV%2BLIY67#3}fd%$Mb9F{Yv4%qx_WR`{Yca7A8?OL-|!xg-g6AQ2U6sWxg90-uD zK9`Ks%wVv2-v@ptY489mE+0p{?;t%a0#8RTuF{NlVnyS($7Gog>m8m?XCYYt!D~@WJFIw-|J$gB`YjQsF3|RcPY(DhZ>QPlxkGs#D{PRQ$qdb16UUPVo7*)wRmt zc>rq z%1=F!x;BAnIPK6$@-L0ZA5D$>{NslZK7it`Sy%H^;AGNj({v5yyV=_jVM(eFwA!4zznrx=H!V3@l)p(c8-R85~U32ZsX4k2lK9_>1!EALp!mv7(W-8>D zl$F8+i8Hzg`{x5lEF4O3f1{kA@SC!$AF`AU)1C_5rRx`Fk9IYEZY6q@5b>UH4~$^2 z0Rq~$R3ELZ9R4c9JcOQZBNlwz)pGOUL-SH9^4Ta$ASuG~?_#xTnAZVEhn3MfS2{K< zg7G`Ji_6$EwYBo87cxRk!0qCcX%Wv2aAklugTrY^aJPni#f=%4xEo1$|&_vZO0X9=f2 zk$5?G1_55@vlw`V+g!th)|bkBj#0mPd(Z$PH+;U_36$Z=tzQlbu~rS8wslT_A2p&V zx_1}frrDw%y&ZwzYeuX%m{YSWeD|&Jy)MXJq-Y^Fs z{VYvHt%^_WER2b+kQM&alM~YoEb!7NxQ_^>%c1RK5p7ddYIcM(gJ>HPdgkiT8-!>( z{dkVu9P{_DGItoWV5Ass6XlI=_236K3KDZ$d5u#H5q`IH)^I`f7HF4-ntUrgQyj7( zF=jvcYn~V*b$B>kM_Y|fO`1qEzWEDa;$Fv26Xl)h>MCp$SmZ5CoJpqsX}EjwJ+W87 zV>EwK5QZCPU`cp$m>0voJ#ya-^=p4W1*ku;5vxxj;?|TNir0Lik;E2PhHK;H_j(O5 zDcbOmvKg$oKm%o?8pELYdzgx3CF4SHc~$Y}5NzK#QCrLzoMQM5S}gsQmM=6g{M$X| z&h?j-^#$g~+rB$+RJw;(jt885_m$OAHF?_wwfNyU9618TXQnj_%U6GQPgOb>zQ^Z0 zd1<;eGuRa=r`;9%7T+;mg`J2lAJZhrK9oS3PjHB=7TPlstW0Sa(mfXlqzebL+2&|A z$B-Fa(TaoB=XUg*3sEtwC7(NiP8uH{;G)Q|S#TS-ax+doDHsjVC}FcJN6Cn*J0vt{ zCa&6)IBX>IgbXx^t?Kp;#kWi6@CxUL*D!zP^-!ObrPs+)ty_y%eBh>vT`G*3$ENC; zk9(J^|LQn3m3i+3c)<7}>In1ml2C0Ap8m$e>^CZs8uXu^fLRzcEoA8g$X4KH9`&q{ zn)zmvicq~S7_;Qu@WbxY{fJY4Ap!cUZz?5|Q9s?Jevuipop0gFYm|LVydLDJpSj9K1PdRVQm%}1lO!ryBh4Pu{us(z1?DkLaRz-(y|ZGN47!qE zx{u!KmnN654dZw@T5iT(6|-#J3lhBZVed^TIi7jG<+rX|$d*q_I)_o^Jk7(G=~h9D z%TUz#au5-t?ikhB+aYULXzmM{DV>9naBq0ki1+FWq!~mq)cJlZb=aDp=@FfU-$s9X z^k?r`cPn~4uv_NQF;Q3Y6^LgP${NDWo}fgWw1{)>uf;K2#&p-AsI1q4Gj(`W)F{x; zvxbU)G*qrX{-v07-(Jk7Xhgwcn?R6b!cu;e)`uurle&a> znyow%C%dF5#qv#IOSm<=nAOZBoc96@z!4L6^*2f98?fTx`&lIS;9|;fEod$qhZMDB zBYIgXOPV9pS%u8Wo|0-jvh86X=wLtBPBXVLu!VPE7doI8D0|`4nZ*%?_Y6ErnskDfiYlzd( zj;wYGrce(A!FQqeQO%z^5PlZlhgIul7x>7#pwo*VAo>$kGhZ)@6w1cU2;W^aQGE~h zNgxR@A@|}X)wna~n+mg#3fK0-o}pnBEuEyj@^T>{!=}MCOX!Xw^Zu53%ttk#;i^#F zVU%hl3sx1Iip)Q369FRAWJ{f#-MQ?UOZvyCW}BMVl1iWBR?ELo&&N>BW>^)&wM;AR zPjN5aijOKBMsP(Ov=HYr*vFtoR{4yoznc2|9XNl3Q!ekG78Nj|V0avy$5)AQZkae? zLk%)*^N6Dk8!6=QuOWjog}vE8OVub=be6`pX08$$qf#qw&Ib^<&LxA6#$obdvZpt% z9Z&@dYnRTjIqmp{XC)jM>mAE0+AXffVkcy=%QGIZN>pv90E=Nw|3qbbfB+xW=f>=7|so)_Dg z#W9UH5N8*qW&%?Ag@Fxy9E%)bBa-u;-^qB1i~WdabwptB_+#NFU)ClKuCh8{R{OuR zCQDFlA2&LzDG#|>dBFvuRt0@M(D{dJxhrnLiX%~kg>H{^$dJ5ZIuRRBb>#O|gV;qz zx^KL_9CY;HkXUoB8KDM#I$<~_LGC;k zNd~*bwhvyFRTGvk<~FpKRp9R@XC zN5CtDJ_F~XpSGSLUplmiKq_81&yF)eNuDyU`fq~wEX;fiiJP{i(~yBOe=v{~LdJF4 zlJc>lm?TYlE_!U|c)(og1<$_iG9oI)6y-tAK@0x^yKFPqhUZ5#S*#1GZau^&l+D!L zY-$X3$kv{xNjk3LQUX^T^XYK!^;c;8d^*(zJMI;I3xk>!G*t`tSO$XK8>&B|pTnvw zi)(Lk;v6%M*8ZS1xcz(t-x!1JVg8!<(@}ygOhDwEP+j$hpXH|C$^FF<4U2kxst&X+ zeYBM1;nMVS=g_&pJx=MYediY+)+(e!24%NHJP%Zc!L24B3P^Py@P-KpA5w-N{A2=R z!r$`u%*JQ-r%1uk*rP;-Z7$n}Vz$o5sP#rl2q67W4_(cBIE*{vx&; zIh%3>L9@xti`l9$OHZsw3538RdJY)M3}gZ9^xs@Pe*5NZ)VB20|J}t%u8M}?uVD+- zxsAiy&NAxqSFc~Ls7WnEQ_+tD_==1?t z&AHrj++Rq#q}V0?)aBIUc~80U>%`#x;qKxuJkqx3;7nij?;v5@^2jaBl}N1{$PNN^ zY%jCmY9kMjVdrzzANj*%qbuEBQE9_y$qw6gexs6)Kg=_GU%H#Sxc53=FJ9My*WLEZ zqoOxfAMe}0r)61dZv$CudA)h-{*hyVNNQ_)KnZc-d7Aw_wByTdYh%@0#_Q{>fzSPA z$lV(#+xxBeDXYWtZv6grzpKU#8B!CB}SE$NC&8=FJ8Z17f1U=j4Bw$`kDH*PSGmprER4i`z8jtzv zP8j^OVNh8~OhUp!veH|yFR1&)Hg@CaE9zzz#|ys-lJwiqF1uIi^Kn#I`HlhMgvjC} z2AosV=BGD7MOirb06c&6yFCa94FO~bMOhFe76cXq1Uv*p(ho{?u(Sn;9r>R-+?}qv zRY(X3Jn&Bo5FN=sCK}U`UT!!D2n2Qr2qcLA*$lyx79c|C|BP^M0U`iRf)Ol1RPgWZ z-(g2B-;MC#eM=Dczi-u8fe0WC5aVN!K7v`SK?wiDnurJ}R^6TD z6buLgA^__DhIIhWwgwSu{u9=D`KgToHUxx{6$k?1e})c0g8~8J{N3Hw%$eEE&i4N< zD1u^^+qyOc#6N=fzxs7h#1B&tfSGJSNdNl9Z}aZyv`_rH4=&j8-TI$3|DPWV@qhJK Q1E<-5h+%^)-d%_Ie;gX*&;S4c delta 60141 zcmbTdQ+Q=T*DaiMY}>YNcRF?lJGO1@bZqU|?$~C>wr#UJR_9N@@Av)Bxj0wnVmvk1 zoNJC6RjX=O)q2*BT7l|WhC)`BgMh>Y1A_$vv#7|{NI;f>{7(tM2d>-ibEEoQYr?K| z%NEg&w*Oip|E3H%xK;ar?FX1S_+~B#qL&&R-A-*EB7j`cuXUK4;Bz@DnSHq2*Y-v+ z(%d$9PYu;bvySn=0^OY6l>9 zZPV?OBeb3;4Rnge2M&}K_XY)w69CN-53;ujG_2Pms@3lh^{lkZ0LoF4&(Tc7jU^sc z_vKu_ehy%FK`LA$WHexHJbaC1okIPFOUaKJf~Hd&r&=mvP(eW-`6XtHD?;TUH-+`l zp3&I9+uHL&Q_dqyr-I3%80)+EeFQ!|mEYY%7=c5COx3>KED(Mz771NeOU&#SqH=}8 z{ds(>htC(2oaPga5lP6a%5u0B4A6{*Q{vPOPAuFe{;v5oG(1+X3Z^0Y&Rswu`(_gE z^aR7q06v!95(63xFT&o5XaTy#^nint1c~_Zq-jbBEm(gTY%Kn$Y=9LoG+QoxDx#)%MqtdDm>{Lih=nD7d?CAAJg)?^K*SfOVVzc`NQ~JIon~RNJRH zTR`1@?I@Op1E24zw>O%L5lJ6R=dQq;{_01_?qy|H1B};h#z(S4v{SM<@s%*&mLllR z*biiMcXy^V?`51KXS&%_w|7ki)y^~}@pYxHWE~(!9a+CldGRiYgXccmTY3CdSpUoI zN92!{fV%G{QjNC_=lpY(Sj!>UF9YP0S0DCExM>O?r%+|^9@hF8>kuk8vzb$B9ngdR zUfKkC2CT0syV%*b=_Kd_TA{p5Ro$b6_gJX+Rn1<;g<&;UXx z%fY~2oB>+5zkq?^z<`1McP_xf!v32J;2I!%2x8#28aW@Te@{=}-sYe|g?Jetpnkjx z9;$We5|Cy^YD1ka%TE6B?iTjrHhxtj)L%7J-ed0cZ}*jA>(iga(k_cyMSMSPzBgCp zRS2SVt+P?HL!*@~ks9B&m-D{pVfH|8+X6=L%SR&5IEfA7?rJ?Dc5lYtAroiqXo~Ia z*l@ts_P8@@s4m~CzuvAwv;aXb6;%1*w7?Igjwo1xtfLjKOYqt4b0NC{(dmb6KYncxN9+goRJ%h?@f2##mCz{{24B~ zs1H=D7LiMm^b|Q0lcDp)jbXoB7ed1MWyKluI z$xm7FsxbQ9wQ#4fzu~sfxv%F(mOPKr>rJD(e{1$#@500jYGJOJ4gDSDMn-4?8+>rJ zu2*KSJ3oKB)#OBPc0~TS7cJUH``@n--yVx&ccJ!LhSn}jcZpm*1%SDu0>9VPvs)5@ z(F%WcjTsR9u5a$%ih?%^9Qg!z`T4fKSAr;@I^t4DQ>eOw4*ZSslyU9xXxlDIes57` zGWj`c32ZAqDVZdaMe2C8mDP1)(r-q#jrxw4GR~eSWXo-@5zCz_nB=%)uQ^=KVJGl3 z8(zTx)=KuF^GN@owlE1BroDIsG_rI8IT7m#`1|f91cPz5rE-WFf?CURx59K<4*CE?mSA^>!Eh?N<}PIZ0EY z-o!n~=T^wnJ^a?A4~2pzE-0bQ8Vncbj8Z0jS+7y$Xk8M_&~XlGR3b>SNuy{%iYY&I ziCclrAKzV{=0PP3eN)@V+pWH99mM3=@-dM{*$eLME;P#t@b~0u{(pUa9UYs^jPJQ_ ziEaCPCRg3XEq(`vbnLVBiNM4IVSdLpel+3UHOEgEPstzIyGCDV zAxfM1iU&rH(h$#SJ@sMMA_|rG`wPK)qqg_5Jp(8d7PCy1!cVVfaKa^lP|)Xop@>9z z$yAmyH2h(KV)W$1Otd-Zy24Q4DgBD?DGy@=kp$jA#Ia0Xw-=m{1R)+ zj;beOreC7J+638!9gnibCwOBj_>2xO&PgI7&m zUC>`RYUsX1VXLxT@~2t>uQm$noW?0nvllSqqjIcWw!ViXyTG{xP3VA5l}kj(xlz#b z;T67%D`Cj($jnHJO4I@E1{u|75jQGLGsHJQ3Db-yYz!2gKl3_yWWd;vnNYk<#RQ?a zGv9lS$%KsEOobDrs{|4y1b;=F5=QM)1e!Nh;bKJmy`9 z2*pm9Pfw-ps>aJsSUU|o$-iL;Ael@NHWtk|khJO1+ILXTi1x$}Ba8%YsP)Xb5T^od zXB?~Ou5=`c0z27&@0L!bQs0q6c%)f%Gkx~iaKnRPMOdr#G}YjT(Y(@beKpJ}7u@`9 zV@Dz62D?__xCxP_{DS|k45@)58QL49jlI637x_^c{xa*2zsU0D zg_j*CTK=k0Cq13CX13LLl9B3$3iSz;9(8Eri=EEavBI%^m{gUpw;d@nXsk&+LAD1G zvI+c~iSh)%-T5oG!>{iIb!b^u(5tJhH^w3?i(J_e`mO^%=rJ{Ew8Eog|*kL+mB@1yjzRa9Wx#1Y3BV9 zko(i98{Pa1^Bl}wkHdm?#Lr}$*n=rG7{fH|7-LV1stR$!xj7H|c?PEd%~W4`3wJ`A zTH?~hGzZ(HH^A+^esiU<(-!6?cx1rlT+nEYGf=x_j;1(v3bWfj{lH1t zbb4a)BI5tK8wIT* zaDA@E|5=VTK-dUs|Jj>@f)Tm@YbYYJ|F1!sDsKf251K@P{r^3n7zFhHUUVaJ{>Nx| zKokJ~uZs)W7#y`B4VeWN$a5rFs#2$~e>CLl0;k%<{;oZ1-R31`+Q{IJbGXxJ-@0-f zU~+wfX(-O~ZQAKW;10s))jGZqqBR!dPvsJV(YB>em{ zdI?{cOa$#pmOLGNELjJTek03SrFwZw&9?TfgjmIsOkRb8mz1;2A%f$qMmjX}N~Sv`*7d#+(U!MD<$N<&;pt)JShImw%nJ-axCB`#LUx zz~Y{lEN9}-f@qyZR(b`MD6~9)U~SjFwT8g#g1?3}r6*Po%4ij@s#?hG=yMe+t8HJX z-od$Gq^VZ6v3WkKW;LkNT*IPo4>axIa|+RUo#gQdxwo!g09Gr{Vo|PNM=&g`0ek8g zqG9$Ay({(d3mCq|QczYap9}U)>KV0Xu{1IyIfk&f|LPK+KWK~k>4hxNtnyA6{u!cD_~sOnGyRrX!^@<+1CMCn4MKO~XZ zLA{^w_>&+T1hiT+u<=sRPPF;HACmT#;JEbld8v5Et>gBh$>1xQG(B@J1gWYf5rpN_ zB9=FWZy1kl% zjNUDFkga5<`fB9+D*~xR^4Js4JV|wfh{ZXtVR#Kd5V%fich)?Z*gM(V-ihK~TfO?l z2JxiBJM6e+=DjT;73APC^sOgzaQ}rP8~C#gG!-IaGg#9_s*d z-raB6OK>J{Fd>w83h^INUy5;J>u@H%)?YRdW)6}pX4c3dX1ZmO&6SvVl!n@yaGnYn z(0`r9(gx;%J}x)lDLQ21f_=I=wXndPe`m=;*v=Co*PSdqw0gv|A5oHb$+uf0v|IiV zJ`Fv4h9x>aT3CJ`-0ty?_q9fhpJd!i2nOH?P_nG<4{pJ__}mMiU@_Akh%A6$T4S#7 zbiJ2L3mKYPGZ@UT?TN^Qxwv%Y*?ZCXwmZ0a;94ECqK>yiHrl)W#Kz>cA zI{K^yZADFys@8;b>diMB?i?-~+r}8__ zH%I!*k?a)|E+W`RvAv>6Z?j>0f9JhID(%e5-nB$elTxSJi{&l?!YE@dx~ZLZjVg~Q z_U`;fN9yc*Ty97}@y@-loSJ$uoUfatuOw{)>-6(x<>%&zgstDfN{ZxxDWF%l-Ax;0?1`MbRjREw5#rc{fLJFp|9Mb~?M zutneh70Xpw0!PDDRhlQ+Rb5VV(e=BM2bP5_EsNycKRLILAUArcHS}DKh-b$Q zn3e>6{mXq zw=8{t6={z(g{vw%dD6T)NU(!r*VE& zx|;mU5%F$e{5suU`=M_CaoV+N@Ibt)Yy07a^N>4wDbm67%0l^I5PsQn()ZV;?fv-C z{G)i_uUy@Gs@@8atmR{G>!K%d1xVHWQI7D+a`<4dmHEDm{#rBmVBlf&k-YJ@;845f(ii6M7$3d2F}>HI>5?P!paZ8%2!L0W)Acx5~EF_ z+4ls8IpyN)!AA?5yR;;@$f(IpsPOI$?`GJ~M(s8vhN()MpmJk1c7^2|s=LwRa&cgCVvu#i z1P?&wBIdxq>5u;ao^<>wIr}ES%s1zbe&3A}T>fQ&PB;Yo;q}+gy*G|4&%bohN81qM zdzVO7MKe^~Aw|9a65cpYKO?5JTQK4p;Afa53Zb1;?55?T@zB$uV|xIF5KDSVH8Ohg zqB7Kwx>@z`Kd@Hxl6JnFSOwhT8SpB&1PURvaq%VM>Okp}No6t)g^*H=9c%W3tI#hB zp{23$)DoCOUqNJJ6h)(`O}}SN!`EP~*d>i@Iq?bv#WN69i1K+PLMOQJ3dEm^tl~Qe zAUTl=_{B4z|1k&sV-{N&lAb5ErYN%dCxG*x0DMWe;4MU?`Wen}emPf#(2Y&yyirgG z2_4YPgv8eq6of3##MDq)hQ6wyeCjTP`P97-^r`zy>{IuB-luMF z<$t<`D!J|*mGY~oNz|o32{U|w$~XiH!k?-?s~D07p?sy54}?0cSsm*03RIhfRhzD zbi{e^?vIsia?JQ`W6HEn5-=9loF5p*6|n_jPG565exY3$QlrezxO+g;O^cg zc7AyGW}OVm*6m;iD;lEu7?Jo&8KKfR#d-d;h@e4P4#-4*Zn1#O)T*N$pK5TTfpydb z%fT9j(ud_E!T2sbfYhw;Bq~)qEF~g_OS3E;)vOBS4M^RKwu^H>) z_e3V5&D|;ST89wZm6r8gsVkzjA&_)>Xb39dm5k*kfarz@>2ZehCML&DIUv*RffvcA zEsR*rf>TRgdR)CY@mt!6*p|r$fs5o{3>nF8p7cuWzB{BFwL(J&-J7iu1n=D=E-cJ( zRy(}|aVt2_6N#TiELjLD4LC)BX5c^%0;OdX`HfSM`E9Y5_BNC>qQOB=0#H=&3>W4m z(T*w8hkU`^2vsz$c;G6{^nRD^E8CJWr;hXA(DeWx)EsGU)DEIa(U6k!WKmdKCk z?Zj#gJBAtzJZ`+VI8VFlegc|^robo`k<28B;BB>r`A*YJlW_lfGda$WmtT6&)V<(# zC9GDMMdVJ36;Eet#bwx3*_0r5t(D zZvmtj=&Gb)KU)Bz<~b9$DaZFDAIrnXRe!)k5^$ajwn{x32%w(rYaiZ*Ssea8-E3a& z9Ra)Efq&UnYz1-r>X0|yIsWVecy3JIdf@*8*W$Vz3%|wnbb3YZZ{j>Yvaqmtu)OG@ z3U7(L?Goo~4xO0z0zsYcxYf(+^({@S@;$A#i1*Io&h4~qA_eYH2;mk{gq2O+PF zE_^R6iHgUMYX_j`wQ#=0@zQPK%5Oc_Cu_YAjfX$fu(^eik4-)=ynbFpf|{|>+pSVS zk{fPw2Wk70%NxZjiI1pX5uGOp+g@L1aq3>BY9;*J-wh77{{|A`zeAPSzi@SCemty3 zb*G`!v~Hrb=q!`5@O4}Ock zqto|pu7Dv`qpZC??U{ElwrG-4Fd}6+ws6hOs%3kKPrWq&?VhE`>5s(=xa#9mfcfKa zB)(O-nre5-rfIJ;e2Ob*|~1Cl|%lf0>q~oR;uk{qsvVM4y{c# zo425}n5r#Z39XSo(YI?}FGT0JPc0q((to;$DnyHIW`y0~_-V4y&*LS@8^w2aLA*7p zb+U8|EH^*7;cSU*80Re^d3zXNT{aL$xs8YDvGo=uDZIR-{^fk_6~=QHd=-%FZ#y&` za13)kNyi|tJ2)FQJd}33TW72Rbj6!Q%Vo^)&3zO4iG9N3phgrRn|&huY82%5V?AcS zV4cgkWp*7{G?MjRIRorJFxc`9L355u+J^RbEZk}OStI1LzWh1RwpO8LYn-oVNbHje z$#yr_r4RP~25DaiD^*TNy6SI@amMRo9?_~Cu57R|y{DQ@=}xZ~F{D|5`k2X+uf4t7 zUotDxUzYU=2g#gsl11`oRJH{CUHwhUg;9It3f<+(3!fLuqMWs>&ZNyZiV)akFwve zJag?dyu#%Z2~SF6iu|aWTo~rSgXjNDx01PCF7G7>H;^JA#`L z7)_@f&qof=UYtj&h7ZpkRzm6mk7*hc9>_>XJCYb0SeZ{Zk^u>|=~oN~mT1Eig{E>V z4#~AW$(Ws8gk${8yM&21g`HJ_r9^ZdA;NNv7)@ba^_wLCAI=U%Ve$d9bTuVBL&Hz< zpz=(0hC@FT$Osve%HDXWp8G`xBI(b}T^eFrIjY=MwmBnjsZ6xcvg$GPv`%Qrg-n_& zxU3hgk36)w1~NheeO!b#(Z*1vV&6z*?C4nKn34JS!#a+NAcBlV8Lf;(F918aw^FP* zttUrBxDE5rnZUe)dt(kl0qf?G_V^4XcP?~r=0+FbB@k>nD5=-hS>F{?f@TAbzJ1FrXDVYvY6Q~y_yLM zZ=f+8leqs1=-T4EP%ZDtEX(kEqg-`*vn(mIYyIL!cBV>%TK-0(B+=L<BXOQtXQeCX?O(K#mhq;>9gD9sgu2Po0Y98V6* zH1B^Zk_ZLy5s7$;mnrBiYY1s;)0ijy-ag}su)oicZ1J|c0d#Rk0J^B>tMoGidiANJ zy5y-}ckLeLS=Yu*o0b7IAQ`3W_IOMVVee(B!*r*a4q?xNbm0g|AP1ruRNF1Xv&-Uz z@@SY#d^p8svJduC%Xr%4k)HkXlMAV9MB*pvN$+|K)9z#-*-qI9S<8+fb+b$4yA{=_ zEq?NKw#;XRcFZS@ZkIJNM^XvR+K9`VIq8T?E{^Zj1taRS%4JISG6vN5eXxObwJ@hq ziF8HL6%I;Y7pwuvZ)RS1%o-bIl4j>j=?jZvw*QpLm_9F1*85t&r6|3WS{mz2ba0MX zfmoxh-$G}RAGOItU55z}=QiDw7{vUl^Rk#8TLPENb`Nk6#3KitBB4~U_B{vscBuA0 zNu&FfWv@`@P0w-*@b`Ptjd2fmWomJ)($E>rEpHpxB7p03;A;5g%R|?uOO(#+Ht2lm zO}*I@Ym`|N8S;wec5lMw3gkEq)CpnQ1RK4T3Vl75qX+umE%s?V5ercxHMu}S>nPY1 zfd|K-V=Za)-8Nz647vZ>3hOYDt;xsuE^)N0H%!USEs%NBoT z1oWdgUw{Jo<1=Er4RkXCqI4)-aUz21skHwEiJ+i*uB2xvvzo{vTzrS*0yA12isCtl z)GdNmkEn;bMz(0Q0^RD**-l0$Kb(SovMh)MIFQS%@?Qvh4&(|)gp25vc=C5uA^8g% zaOORlRygEOPKrD9Bk()86e4hK0BMxQ+czdI@ND*R_2P|y_9w?n)>@%P&XsPK?(A^= zJp1@*fw0&aWjd9?0_!T8n&n8Uugr$zv542^YE*#A<@yeLchw-+AS{d z?X3=;e3bC*!}ha5_khLs6*OwAsV`Ob`rGipC}nWbByiY_ zC9&JY_7s5VRHSIs3L+JccA73GWs+>!&FIq>{-U!aBq&bUWoO4rZqD8I(x`Qx(R$6 z$06(|;MzD~P}(?X(3~w~v7DE;yjjpxDvS~D3G{p%=;R=B7dWsKoVX_)?U$RXQ_(z`9tnom_Sv~MZ$@I8zC z_?pxi*ytYPir)&v?fERdZ^8jK=x8lVX<0TYsK@vMSCPLfoDybt?73{v?YZQrTQU~g zSF+?enTo0jfdXU^<#fYh^Fhl=4b&>?Q;B8eSzOe&%~WA->xsjyc1ZT?&CJt{lTu&N zXB*eLWillttKiRuOVTsO>`$>4;wM$T(1*gVM@ke6sWRy`l(=o=;iyvxKOqQ5y|nWQ zN_2U~baeSjwusN27)~8kT-XY}t||b8x{xC83|u1wF^poW^@XtXN=A!Bu=JWbh9&aB zg(cFd!Qr^6x0#fu9k9i+(t8o=p4~*4oN=-bFFf4G7Zp&E702=3XsWML5bNM~UL^3x zv`d$(hs52no%Xa7=Bu|0=BvN#WYh@5O=_mf+-Aqo9e6QIkKF3!#2-KJkWJsp1Pe}^ z0pY!J;$#%3598-uybkVs9r=WEgR^qvsD2Kc=4Ff<A*_SWR(I zH#RG>O^^@kw%3LJ2sBcbHlC!$MgmmxJ<^SRnrIXJoqpT9&v6V2pUxV`%;htPjwr!# zp1Bhz&d^6xoR5=$%nH%i+C+f+V@3O|WrGRBh#xEufspL2H@l2H$$tBnxr z?l_SCWFErs^T(w~I0F5}C0+J}We8Kh85LdMy+v8$p$`gyjm?~69%xttsKpf=v1N-O zZ3vMUGmmN(Ge=lV(G6!ADEelNkg2DlA08pXVK=$+xrW{eM}Rek$b(x(u|efA9l(kL zMlb@JaRtHb*!~{_z=-AlE7xF}?Dqhy{EaoC>|aZDojbw|*K+u~_r zUD!MckB!ltvZB~R6qyfTvvo%>_}g#=U7gt?W=5sfN2tq2zQy8}gyi8;6SLzB23xU3 zpi=wDt4K7bm6EyD8OANtK@UnIY2WgJPGcE>83c*aU)IF;LasQO@tCPCN3vMtbD9tp zu0i4W^#GW&5hY{sJ`Y|Qd3i(>k_aT?0TU(i@L^)Ljc6w6Pbh6f3weGbq7@HN(u(IJ z@5Iqe_z6KLj)$F3Q0|%Aro;2Bn!xYX9m0MBZm$joWv`9~ZNOw4bHD@`M;AVvLh%Wj zPgcS3;T%cSI3_hVZXbCxsb<1Y2%V}W zhSdMUN>Bjdm`2sW;Fj2VnH0#=A_C|Vk_gq%C=p{QlbDq7D7D6Sl7u2~=|9;?=|7!~ zluEc*m1d4Q8Iq(};A-S_d?m{N{GT_o{_~IJNb>&kj}fbhVugN1A4{Prg8w8pQz9?@ zA1RgpBSq^!Qh+pQI#R!q!s-`Qyxi4g1O>_^bBNqLr(^k%reo>Vn7hhj$EJ&9_bgPY z{&1A_zosu(J*BIcy~&@IzR8!TxxS|t-^RC)TFlD>9GT1=UvffQWRlCSLqF3Vi)Hs- zKhyj^)4D&?y4A~k4bDn^4azCISv1JEQ~5iu<$&3t*K)~Yk7m(y`EU{xC3BVLQ>!v# zsGwy|9`lQ;V+mwa)GLcXD)+%bqq3gw7MRc@g}P|98LoiPIa zjh^;%#)&+L8X9fb9K4H46h0CldLId!>@Fv8bs!7n&!A<0YU;Y6d4FzS^Dyq131o%x ziC8+_bF%`k^l$#2k-5;la+24V*`_WM&fck`($o`D&8%Ka?5tf%{bJC{-vlwZBCZV)`ITWA`T-{tA zYGD2}0sHCgR{#vry{e4Db>N#z^O%@P;D(Ffqlby(bru`kaTXcKVG6g$W(u`%I+MfQ zZ40$<>YRF6HMHbG#_~2)ea#n;x*^_V_S0R3m@l*ITO`>C*|1v!?goj4d>@g;$UzK; zPO4F&K|4a(Dri{`}b@|TA+gOov^1g zxd}SeXLO7#eIMl~50v(~XQxw%t6PgJ>ZzY7pY-8WQj z8MpHxnk{0EBUC=wqVhN3m?@&bj!|WnTk!r6x@8&ws-3RTIZw2olWsJ^JtSiX(I-_( zuIe5-%AAtB`dr%E1AL?KGS2R;P99z$@lj65@lhP-)5C`#He9)V_rd+}V_@#!lBgD? zD8-EVIW!)ANohsH@&ih-LHNlhK&{XRlnWayiNc4~ChMiXCB7woSCZU_jklp~0hoT; zgrWs0*XiA*Z!iwI637J=D>KekqoRvbH5hOZBD^u56`R$6{Fms zjKn#NirAlO_8>3S;9ac3NC~cZ3%C1;gDqBJnB--L!>TTFrv>h9W66sNRkKT!;IR0& z-_H)G5oK;+xqeWC`M%Bqy|xZlHh-~Vk|SjPy5TB`*qSXS<$l?`JVIb9EtlAF`yqo~ zjZS|2a~*39k}S|nsGc=hTv6)!HMiC*`sBGLXmZF!1r@Tbw|@k%?_g2h(5x2&J`xxv zL!Ed9{#X3hh*^J4`uS>~aY9x|bST0vXFIz|q97<)W+)>=+WTi+;AR@5vNIj-A99XY zXvE4qM=>kQHS@u~dUa+jb3)~8>XsEM^maT(o+g?doQoh7q|-^u>bb3GwE!FNeRZ z(MXck%tI66!N=qlfPP0ueNO4D59n^W&l$Dp($&@tCv{Rd$5NsZgf{)3DeX$j zsq7C(t&&Za-AK3>krBUlNtk_0|%rn2G zO(q|)|8`-%yzsktvZ2xSXoOIz>7Y3fsKa?`0azgYAhoZ3ltCT6T=ID^?%ve0Wa!r= zQTTyF66T|x#w|G=d%WGQq{!X!-P5WiE=SQ|71~ow+F_TgV~Y9ZkNLhW1$D`Iv4sAZ zHty2c67vxwFfw^7BTK5qiTon-q8-74%>w)uohjf#Id+1rJ;TnnWZjC*X8%j9S8*9b z_8_Enw7iv`l?@UbTa{cRLA?ZDt@+wB8_NQovlh3ZsqFb!j<)T^1-e3HHGeK!x=ys* zU1Rm)^N>-S1@?NV{+FbTU3^BtaYA14YzWEV_(}9JpfNJu))dU%*Ic&KghBU*`k-)i z4-<}r{SnvFd*4ESMq+ap)6kwKyGmVb=~%CbPjf#*-f8=2#Fh2|X=g6~%u5@GkN*gY zU+p(dCaK0cg^%;OWX`_DG+v^u=^`i?g1I81{L2k=LIaU~Y~__!>|~v~ zTGIuPnMeA212^RTRyPf4TM;B&R zT9rsYf`mVvbFTAeiA0mqMS?WUL&!W9l4HQzG1jH#)x)FcZ(jPl=k4>S|FNcRIff+! zRkXP^n2mlaYqNU+AB3tY}bjEv#93vt<{GQgkXj%Tj1pR=Y%7gV*#>9%W08;EQ*WT1WYKF zM1Koyp*0%J@xYQ7m$d761_^BESobiOhwA|@t?j}vcnG850a%0xj~Yv zLEzfi*QAv<-@1v?r7j0*t_{^~rtP|R9&v9S*e}^;lnlx%aCz=@v9A_iu10TPBM?lzyt~I!R&Inq_ zpqa`+SKWldSl>Or?5#?$%;-pG8

FCVWF!(2U|*M|QW|Gt?dcgA!a{t`3H=iQ{>85%WA0SuS9&R+GpP-TLT$k*Q z2pe~8S%BJq@^+T~s^_7WmjyStvP?T?oRtjG5Z_hJfcJIVNc%;!+4P8ej^5z@ znmhbg-Ovx);oD@B=`>0vEsdkqb3nzb0hHGIV@n&uOz%?3zNAd2@+wQ5NYqK1=O{)bF=B*&o^5jA|Wa zX%nvg1Sb6@hpuX^X=P+fwso~>!EZD7K^?tyMQBWMje2riB49Gd0Z0a1N+Q>)F&Na%Z3 zqv&@|j%A3L#4CGtxDcn$H-UPhR~72&p86$vjKfmv84HY z3V!0MGwB^aC}qgbF%kp+t|L)e`C5L4T~|NDDr*12a-ZQCx-+yy|#xg!8 zcN?9o{lT_pKL6K;G5Qtu;1XfXC?wcW*dsdt=ptXs-mq1}Bhn!7z;_vmi6qhuwq4tD z`5l8KauDXFSZnDE56Yl1IFXZ_pUL^Xoqzz8R6OTZyVJS^8%$3{i2J(aWqw-Nbi>S@ z1wH>6f~kgF_CCK7qN6Lhv=p#+mI?{;_HRdUW4LoH#1F~DOYq!AVV6p~**K+%dgha? zjG=CG;Rrw+n^m=C&&*B4A@mF*_ekAqXsD7oPe5o%+yf#~?n-r7$-vqI1gCF(7dR)! zK_#}3gc>8q3>v3QlHv4Bqbdac(!HscB7^p3_XKSRR>vY&D?Z*CBLk3J)XMGlvS;92 zqOL%c$0v75?-C>FyN4;YHX~uu_m*R8eG5Ll;+%=EExMY}QnW)w#Oa<+d3h zfE8<{=20kH#@g28xsv;>#>9||o=Q5W77w4DYo|wOlF|m6dS{%j)6iy*xVo#Az$!z^ zyz-^oXZjz?)^UqV1M?W=iL!q)MuJJjH!9sSy+VGLH7=#$|G8$Te1$C58u_f?2*G2s zCefhMV+M_OL|yZpT&wP{7*8H=NyO5-bFJ}@;A&BAEBk3!>ThcTDHUfHYo`BUtZ|w8 z50i(kMb{Y~rr4Z6R|AfHk9nl=X-Ku`>dIGOPo!L(s21(^ueA z);jzH#YZ0BeU;FX@*3kUJY7CVz5BTi=Q-KzMHcFiI-&aaGk%bN?K#7Sr{!2u0dw0 zxid>f@_lqNU}P8QO-x^V6zi!D1}X&B_mfLmKL#pX!3)*dhleO!aKn_kBwO@Sa|#$( zrNaLTRM5@&QTz>yqo_t(M^2b=p zb;Out?LoaHYb-+K*RLw{(t9QEoU9(CVmEJUN%h;%gW6jbyI;%x{L?R<#28xlWhQ7d zvEu{UP9$%|g@{_xZnV?|G?tKR-g2;{0G3E;HEBX4kMr4gvpgvTm3!7`VQGf zPG$(M;=Dk+tVfKtk_n26rV{wAA*e^ zHsvHI`hE7dce@&8yRyilHUm+ipHq%@2jm_-PbDc!6~76_IaTV|r0ycFb*gY_G*ulv zC{DY?6vLTH&Dtf?NtRn%jlH#~A$`t$85@Jauu@Ci%FQgjp6OBLw@QY*#i*84 zY5fZIcv4jxN=22tS!JghJC(UGBa+`ul3g20!={`WquFQ8NA~9Ow%K*)3ZqFc*1dDT z|A?6};(Ypz?6~Cyanq0>_-WiRj%t?s*S0U3=zbI~3eRgtV27{;?CDV{ZiV2vDoUwnB|sA3cR`{Va)JhmV_ptYwi7!-ru!$aTVQ(6)jF-$pHyt?tWE=Og-6VKon8YW`K=AfVQi#GYrla{=z*^L-Y9&CYTTr8hzomt1pq!K>mkLNOK0; za3KjMjEcc(JQ605=1AjCVGF4!Ld-F$TKSJ@IyUHi#ZE^a-KI^YR?U5j1&WAf8!fNz zCjD%CTU^Zj93H`^p`_{^Z#LGvG0e@~KGa2#+3QC~Fj1*7la?k}eO3x{OB|(uW+V?zm+st@Va0fsGL#mf!d`6CMlJWPa3~E` zg}d0!PU}R~WI~QM-Py#Jn=w(+1SpR}TXEi^rNwws$oBO#RUrZuU-+HTxWcYIbJJM<^p*ESF35pf%$vK&l!)3kcGq8IP(Ro1q)#-)U_ zh?h-?qYM3?4^3W-syE)=Mv>`RCT6 z+yTe;+$+Pun9U~;YsRAXCnoJR+YT+Sw8%vDagR(eJ^@1ZBC>(-RnX7WuKI!>b@#m6 zUU9GSd+zr~*C#j!0ifDe4?`8d*H@xH+akWnz8!MF^#1P7JBom1Cr%cz03xr_*L z4{kSapD$hxVcr`4Xgsw7zxoqW1&L$>#wXXqXo^}#A6YB+indK8QIbtT?y&}Mg6R)O zc9;UE%sV*Sdt|IJ!cZ*T_2TP0hgXmjiOHWY*nWIN0K@ou%bNLM(m2K1;qU(^=>mZ) z=C$Q??s|JmIRBFQorY*=@D&=!gRNC8P7LvOQizjFbOO;=$#fHCGC5Z_$Agb_41=r6 z!c1aMMC*^r@Ko6JC->3AjdiaM%%<>XpJi0PVaLoZ+vneJaynn53t$^S4HTcBe}#S{ zBfOb!xK-(`4F4-9lau{U+??s;OXMJmYeqyU_|Ed?Bm;pGfi%WeItk&e3gcups!QejmBQErd0z;( zJ}wn!BV3S0;0vyg1k}ltOY>F_2Kdikdzru6gE4O}rq*e3C2VYn`pMZC{Oe3> zCAyeP0STZl1H4qkzxQVwT^XrvRMlL z;kk2E|^sarH;z0W}?KfoL-_Y*g2S#)7n>5j$fQjk8E`n<|e_CMQLJJb{Db83F zjtCsoJ4AN1&I#ifO6-c0r4}D4ye9ey*zmQ@1 z1_v2?ZEHXg7YQGoc;$Z{puQq~Dyt~!kGy0lcbH3px`l0oc79~4u;XAbnkq0oERlFY z24j%^>;D6LK!m?^Kz=_OiF`*^h2LJoBC}->zWhf)Jitl_0W<6kCw^Ha3?R25MCLjm z0%H)SLHI_2o0cdz)@{IlNW{pRB1sMpR<8*ND8!g@azH_NB%zzAe{%yf{e*Y|A1n_Z z+(8p+AW8_H)rs6kf7!s+u^N)FYdb@jD-3tpdZF-;|VpJ|Pz~TF@Yw z>dP%;g1N_Ws?6;)^-agZFM%F%qV@!ze(0h1XpCKQUUm z+ra%vAxl@>E&dySR?)m*t*A5QKk&a*_)&vD^uHCyfYbH--9BDY+PkHr!8rJH&sQz z?v|PNG|@V~%8%+Fb|b<0i0Ho=9|{plb#44g=%bL*{{Osxzg1^{r(hhv2Sdslfq@l& z!Hnp22D4*B@%>v&*%$|w=~`Y~C4Sv0E4KoLQ{uU$AHe&W!J{cbosIz$X5Zp}Fnqcy zn||X&v1ob*BBLy6NzMx4tF04aHD-2aH+uX0eH1h_5T{4XS-n#w<`{TNCw@vsz@RSS z;#v2}0Rx(U$P|4bj)N7xV)_a98H(<4He(O5Z+-p9z$pM z1poLh@MEmYt-TO|y7_vJL7w+PXypb0jK=SR7Yy%L$*rM@?_q9ceh{oJMS&9ScT@?8 zV(^P8J2GT;5jk9ao2hsN1IZYrYM$~g3|7v{0Tl#)PZr_f@#PzCK49PSh?5XhH1Om( zk3{Fq^fW?6N}{m@n2lrY^ckEdrK5m4NGxQaDC4_NBh3oZ3yzs#^wX=V&z{!HxCz^P zbg?3md{M{x@Vk|&jC(v1D9shGV)8k87j96cT!@^?GT9=`i0FRaW)z>} zFkdI}CLY;}$^8H<@&y-BrtWQ4xH`WgrU9hTEcm`o~ z4?*l~tKCQ0yBfSqd1%=%{7*jnvlGYB=fx%5w*0^1i0_FD9Na3!eT4um{Z3WU?aU|w zj~^O$Iy^K>A8L2Dg|Oya`cS_!jr_29Ed5UVyW;vVUamZ!U{1*rA@5zin;VrY#EZ~> zDj!;R_M&oy#+_vyuh6va79}hEt>cD4Ia1E}KRxLcT&c%k3v)er4E+o(jE#ho@IU#hcmAj^4(X=B_kb;wXth{YJtxM0X3!R}UY%+2HKG_RZeS5Sb;mtoiRUQKV9cR_Zmc*Eel(D0^!-2UEm!hNKqT4Dkt9y0-rm@>g;y{Ceo z{D;?vpZQoEcWk8A@+bkiW4yw;DwnkyhRU=PJk-H&NL>yg`rrlo40Z2HX5mqPBfNAc zZv%w_pk#0qDE7mLUGlUkI#yV79*$4tCG_yW>hF{Uf&TRMH_B&!a<+SMHkT~!&Rk_79p%jRuWIV>Z=3)RzY$TF+$w23sH13Mw zUhi!K+}md76x@Zudv7yN?``;^#CdNs7H95lbDQ_xrp-_8ZRVYEy|<0!-e&4&&|0m= zsI&LB`Q2RQxwkFKZfE4)rk364nC@-*laI693H|Jg4{%FM(jAj@v?&56qLZJruYY1y zQi{byDHbcGSWJ{+F;R-uJEer^5uXtXyQh^Fus{&&k4ea1L!i=B@|(Bhvn9N61k+!N zx7#1d`lA{Gff&C}N7nV*wG%r_h>l|al&+5NTPJ$;UGi=9P5ta>zx@1P`2i_Kk^xJ1 zhg^4-5%M9*@B=D+2dy8`5+CT}BYz}4{N*g>6j_}pBGPyf&uC0V2ZTGj^Ew_e#bka5 zO(lkx4ceM)d3Udd1*H<}>nA6KRE$(O(A^>6+$q0@#H)-c(PuPc1&avC<)^m~ny3Y0 z29-L3E)@Yyz!qRilAq;yC*B{($>ijJdZ1Wqj%Xg;*bXfd31c`oY939F41XXy3I!g^ zksUp+zXZcelt1M|p5LWpi{Vmt1Yfcx)$kfH52$0qHgaN!dEF z`!qg{!&7Nir?Oz7*iT8 z_VkvJZ(^^oKhDTb0q<`x2NU%6`NVY0Q zB0qPV%-5JX5OmRMyr{GqFPN;x3s$S~g2`&UU=kFIUaiI?Bm-*%@qX8s@Ad=9k5Ke- zg;`9grE>3Q#ahrhiw!Bad_H4N;6Yppp}Epm{NVhdfFUSc?ILs7lNfAV@Lcu=wJIr-)b|qTY^JIDt;0uG*+% z@1Zmxo*UB0YE) zk;yTwo41*AGriMy=nvC7byk*ftm2NHWzf1fq!tP>UnE89N&G9ZT^v=bI+LMz!AL}} zEMq!R_b6Ly8$5chLVz6G$(>#)$8v~-7Bk=yUY>LgAS}HQpblkO+Y5FvR%6INt+1|S zHsBo!G3Gu;N`K_|P~<2{kO_`$yWitm*#~dE$5@@bkR;tEpQBvfcw)BA${|zrI{lS4 zNXbg$lLP=dA}KhQ4%akl)2_6?*-Z8~o7MhiGuhv4CgQaFwZ8?vkMG)Gi0xd`3Wub= zKZlP>8qq+UaEtJ{1~Gb{1P*`mw*0IFN*87X?o+w+QGZ2BUOUVkP8fX!^`XIc;jGt6 zLZ8GZ5(hnK5>lUa1?67!VUwziBu$r`G%1VNkYltcexg?qPRmKhgrQJtsV1w-i2rl!Y_hDY({#v4v3AWnlm&XuE13Mh(#4vb>=K`oh^-A zXUikk`+wD+bLGi9mrUYe!MFLOkUFE5dLoy}7@UgkiL)EO(rz(_gcjxnm3q)$@U0*2 zrR`Ql0_Y$JrJF@z-LUNUcBkn1yekwg^f|ZyciNUUFzIx~I)+m?NN-*03L)V2pcP7q zAi|j0I8cOaPg>!iCr6o-cp_57Tt2ECk~;xHC4clH+OTy4_T$)luBvH!p=i@sbHh5o z*iL%ArX|{_@JLF5C0V-Aeq8*eRjbg02EVypDxx;fF-L&78H*y0!gc6c0=-oAerTrYA~Lk)^7?!sA8zlP1`y6^N=)mMTa7ct3Byz3Gp6I z96Rn49gDQZF6PxV-N%Z6!^8)hl|(4+QCAP$&XGrI4L(;k@4HXC=3uTuaZ}t{OrR4dcldF$jQkXHPc}65F4gBdR z!Gx5}&=tcm;=$h>I)wA65NWa#Mo8!zK+17GL8Vk^6^2(w*6NX0NK3F4BH`K}P=5%O z_+!)@VIRs$d@7U`McFozLv@m)2Q*b@^u%cUS=wqf#US!vc8o)2{`DlR0nPxH0udfR zscp)N9``0ZbR>jv``-wRO;6tAQ??aAQEv`gL4MO{&)K6bTTq&!6A_e((ng-Zkmy!5 zlOzYY2|6{*CWF?E$DcLMBZG#IM}KTvz-b8*HZ;Ch*Q-?73RbGj z6)RP?l9ei3%}TZ3qLs;soy4PcuUZO+>W0(sU4NH3Yd>mbgT757<2qmRvjYLu#4T2s zv=tCP-X=qrRM2A8Kx0WQTK>)&f3@#7&3J9y~cmKuzQ$}Z!SM1p;$+vlkQD&<4U41POtjPx8xU88u^W>PM*KIgZhX#;_rQSWFc zn|BZ(>gn;f2`7J`8vOGfg7>$tc*EW8KEgyJU=OOmNaCo=@c~R1_+GLJ(O>t-cVF`e zlJiFawpniE%LfH_G-P(SfFc%2yByDt(IW~;c)O#3T}z>+ zuR^B6Db!~&2a@gj2PJ1py9et~T9xkHJVzcnl5hx7(iDHE1Z;Cpba@^lx4{b=LUQ6o ziSwimDGu2Z$;UM3V@FmD1o09Sk1as}{ARZ6e1}%D;5R1;CP@lObjZVSqQZ*aWCTH7*UJ?k@JF$5(wROE3uASJT8A)J_eX!}2u6`0lqiv>Em!-u1cPJiV8X?h9#Z@Q z{`KewVN%_M_6u`-XZsp?QDaePRf|H4O%z(pqR?VX_GarS4eRMs=Iz4}YfnpB8Krx1 zCmfoamgPB10Bf9BZ&DR1d$ek?w%yt!SjD( zohT?p}J z>7C%MIAG|t23CD+Ypwg{NBWWWm%FoG3yicR*dzDBE<`R`BT@{J z)>(x97HJh&0!p%Jq(&MZH}JQwinH4xC&YhuNo2Q^K?oh@$$o{1I!;q@M*4p>hUk{M zlSth)y1C7asyXcV4!XQ1JD`vq0594Wy-|<@{b1>$!QKj9-Xcuk4w=`QKws8OlV z2w4s^>N7@`aU*(xqg6K0Av!jRNxJ;#?|uL}&?ZIX)xSZbuO3(x&-wPrs>B^C_eIOj^P7LcM;%VR)JZ9Z_uIpb_96?hp_>8sNU^I6d?DlSh(co<`+DVPREmnl*i!b=w z3s{rThdB^x6#8%rI6BgYPlCQA){M1E9;q>LNR5?0YE0ZwV?t$Z2+k_ zgPTJ!A8Mc6N#t=3!kvH43Od!q3eopGGVc7OX`|#!g&ZW;)JO445JIG}7w21jGz#K4 zL*5Bb2dnL&Cv=wcQtTsiR$V<~p$@hX1?7zi7bAZO5~nV#nfb6!+0a2^ zz*4wn#Tow|qkE6tyT|C&?Ar4pH}HMr#$qbUi-QIV+5m2m2lZJO~(aMh3Lb4X~v?Y8v%-Vo-b^C}Zd& z>!wizkT^cJ^vr+oU%R=j3DP}>FP_yeYdDCK3&%6hzoMC(XlCBjOH%12&^HIM12tJP z(UTOyhw92P|D++a2fjdHxC;sw#!?-YOps^z#*N*Xk4J#BDHsuhvz!n(0SZ&xey zHk(3kGb{8qn?i51A-UbFLXWo2E<)>Nxc8TkIN!ZWFC2fKoBLjH{SPSKhdwRo69;kD zYaQ=gQdY@NnsJlf+>Wx@22R`*p{;6!w%8EbVn%4o?xG5T#fIlrzj(g!@DDUCb_p@U z-Mdj+0`%i8VVQNe$?_1g!lhREbPF{ymK~1?H8xs|S(=d^KZU{m@u_yi>fJ@2`h zmb|Pb{*xL9Mq2&FyK`j)D5RJ9ghOdHC`#Gdmr;)OmYqs z3M+jB=zmEw3NSzTg#TLtP~*b@pSm3@-hwh zYtwBs$B3yHTp9-k|IfV~%HF>?bM(e664EMh&$a5kr#+O zHG`82Bc+exQcN5>_BEGTCXb?fMeYQ-yT|4l^RG^hOH8M@dZ@3oEPp#Kv+JK%S{{&= zQ&sm$%$HBhvrdUwha83DP_ScP)`(5d>Z$S=3}SdrqLQw7+OYz8#q5b`j%p@su7oT# zAv0=^S3;he+IXd8Avc^E1eza(AdP^668bm-iz;;EI=!X|&nFRNjrZW9P8(vLNHyKh zo`UWAbH#l^n2=i?IDh%DO?OwP4iZfOKj(#tHIU zXBPJkEUrcbR)o=U_ZPqP^6{g*A&t z4!AU1H3xZzt$z%qK&m8uKL|++xTM8j2i*+iJ94YGZzmjiE~PjJ{Av2|XbzrGK7p(s zL8slk-C_h2;C{sXuX)+U7BEyLlXo-qgh{S>w1Wz@=bMK*;5m+o`6O@uO3eJk{1_r9 zJ`s`K%-ttFmlblj(sPlXA=Kfhmc16Si1i{lrlyH%c+|b)W?}j_&j}ani`L&ZjqIiif|2q`MuSfH4_P$Ft z5zI|4F%Bf}c_@PENln*$WMEz4ORc(%kH*%pZabr6&qbClld#H^s9qJSi>9Qnlw|(^ zM0|6DYg}?;!_5A9c1p7BFNz5qFg ztnd%bNg#r{$&~f@(AdSSRlArqHW#zT>|)l~T+A99Rcigam`OdS?#WU(Bsb0cnkA1C zPh+kwt{_1W3C*;FHtv_M1WN!LP=HdLG$WT8wFu}oOK&|s}L zAgg9gRgv?P>&~5j8sl`XJaNwW&?;M|%rbGsXqL@trKb0e%8UMFNZy!LXomoh zQ*UTmftlKv)+q8GePt5{&+HM9rB?O4EjlwruN?QM7bjdt%3&!v6JFZ5JF{gp_QTGr z{jhU3KkS^@4?Ab`!_L`s?fDRX*kCU}TW$x*Z7psRS8T8kF;^AojLq7{TwSqTVwN5M z1>ZGUeW({?mk|!j&D9XwwIQ}uUkLIcch7BhO5ye-j>2BWzX5&PtKQ@U zQ!nNW3-aXG#4lVjYbPsz=-KFYHH3}X5Y{8x>)a65W-(Vom>l@fr6H{CVy=d;OUI@T z4PnC}lO%?){?1OWE;$`2wngjIK_6tWPTj*-65FXx@9hoDR5Vn(b2C*k3LV1z^2WHi zCnC5b(-YP>(<{c&4dd7uo}Da-aVL4`*{Orh-UXyhO;pvrgEY2(-a#63?;wq>caX+b zA6DzXcMv{p0c=J%9MkRm$<}#CYgMYS>pM-G#a!<+ReM?p@fL~?UEXQhF6Mft=^mR3 zP9CAy)Zv|GIAoIKPGjB`v>!qHCD)y%gJSZFp%nue1JILh4|a993iG z+^Sa2EjH!cVph(7EjH!cVpGno-j#Dm`R$%wgu_96$4NMX=Q`VKmXE-z2Qxt3rHGX! zm~d`s$4;&})?$8aaqJC5SEuM|Sg1Fi#bZKL4yO^tu_0pM6hc?#XkVz67Yky~_)zkz%=*c3l^OvtI zKjbP$IcW*2LrtrLos^W$OM5aXtL9aojtsMfbPw)@la?<|q0B`GYb=&GYM}rVvo#0T z&foPr(xQWZT?}f5>-fMbR!G@LsD)fP(A8D86#0`}KA=Ha%)xu)qqy92#B=82y-272 zg)?3xr~^y;Pqhzk<8myiMs;Q)JY#Vb;rE#flp1WwiSRyCol2ws^h9{tIVtu4NX->= zsLG@~Cq8WJlzs}6wt(}%YmYn0#{KaEw1DVB>AUCDUsCU@Vm&LZRfz<;M&#UgqFdQ;T5+~5#*^MYpU{J02I8LA!r3H&oA5|OQxu>m)aOe>z0bL2&$31kd=?Vk& z8v1b!{g7DX$QAn0fzTgASGE*!EL%kx1<;X0BBiOb%g?D&veseiP(^{&R&c~@g@ysNSG z-PPE-uWBvY)bjdAp$J#^Tt+w`H&+*8|1QKITPX^5b?Jow%yhC z=SzN^Rhx+68H>dizt5cfIAgOC!~0CBaI*pI#AUb6E~u&pU`P>1B3PF&aQ9|^j@;m_ z%rL?$J=Ui%HlL!W+!D+Qs!>m%l;a{w?x-ZK3$0WGr8I}!;5VbeeO>kuY5kcd7Gqid`kO&FOjL!f4~x20YWpamrm%8jCEa7YJCehyQq8OCmgw- z$U;nvmG{!_={}2=d!wYWBlK@@wM~A5I|2PGEwcYcC@{S9lgHU{4R}w12=j9^Cq}&%ISrFV+DKzDIAhdj z$2rIOYL|-n;c5@!uJ|#2zcV76IO;n8xKwirml?84o)G)>tba$Q!P+ zb6k(Gr}KE2B?B<;7oLTrJuE{Mc~Qkwr*AaQYkSaUc&9QU)by*|_SBQ`+8Y>jkk4>2 zh&*>mG>#Gmbo>HQS=gXp+(^BXBikf@S}Tc@6L@D|x9S9jW}njpIyZ>HbOOv_=dBc2 z+4<}TDy6fsQGvgGEfc>Du&vhD!mBPF7#;^w`1z2?Ga7_?{x*Alkrofqf=z@(l{_h* zy~BTg>#rN!eiFM4oH6|8`D^6k%P_vp`s-bQc|~#Y>60qDJ$_zsQQSIZpJFk87seIS z9-dWAOddAAt{-lsXJ4JyUq(!P8NvG92QRKMt(+gn#*2!!=!H#2lIhEh1e{YdiaN8Q zGFUrxrLiM>TrYU2-=##8s#d|zkZD69g)xbX&H?oLt6`Jv!^8wfS3ze-$W(1}YC6&B zXgn6C+_Ed#!|_Cw*uk~zV`Qp-=N0(U*@#(am4@O528}BZk%EWt@rp(Ul+1$B0$Oc0 zt704HW^cd03{0keIcL}q$FkVxu3%a`ThfeyHCR?Pixa;kWt7pFIbyYo>YRT-n`Rbw zP?^FInj4g;ab+8tI=rh?$-|`Q;->MXqB8j1W~;1WGgsEI*(z(;Y)J@zcJC3>NxTQR zy#(YU2#1Fh*a(B??xUqs{}@*o%=sD|&<3RIe%2s%Bc6exXwh=cx1Z9MQ*yTTqt=GLoq``G> zQBE7J_L0?jxpuGLaB< zvz*-o0e_YuoAybwY`U+PwrFy2Z5LhX!>t=HV8B>>lw>=#&wx{w4KmtoPXe{vVO^@TVr3r8}v^g6-C(zD{c9h z`iM}DsLjR^V9!fyJE!H^GLP6BB`N0C2c+f#D%sIIBf1m;xtp|LU0>jULy?rlUOTZ< z8DcOJ7Gf~#KWBvs#(Q$FYkvDRsP#Zj4)sno1oj8Y*i+x>&T39OxPP1DQ*f8S=a(9v z@qeBPU|d&*b!AvGF)U&@x-zUw(x-?=93R`2QC%68tcQ4$j(04 z75gjum=^m;?+{o1arykC&f&$zKOidSB!9*5IB;Y@9$;EyD14ep&OBN%#y#yN);JqWug=EO*|M>8=4>pzlWZ)VO;+l?W@BN7 z_tO$%q4!wPT&j&|6AsD^bA7k^$bEq5eBgeQS;}g@tSal4mY^oX0SnF$t&zWpt9z;V)SWttmEam^F_Dr|9N_#M_%5eGj5NT zyujAP9-rsNe~fx5530^Ba1-*CPdYzuW`F1fcXSxID2kMl!|GN;hvJt-67OLn0dW=5 zKU~2=%H3mb;01o)nP~k{GUmC!Brl)H@@R?yYIcSfes0dkk)50KaRTQiUWJhU;8~h5 zw3Uj9rb`@^0>mS6Ajbjmk@kMistAH<>?EtY3go!e=Kwa{f}^FMnB3 z_Ivzez|IOF;4`2U~PDMRv)J2F=%n;C;I?9#L$e?IVuPmP{|53cI z9C`rYg?;wT*>~vl?w2?EO|Dn8@&#V|ZXYYZYWQWcH=i||%e;XWxEKHo23{hbjr!rg zP2BNKW;L@}m%zR77#QXDyJZ?V+H~cAyC4Xkg6+CX0Bars_I%p{d(Nz|!GFyE!Z&lU zkNZd5Zy1jC(vXhkaFE^x!f@_yP1*DJz;ZETN0dim_Ph%sFZM8}CLvO{5%SZ2le!}K z-INPAmH~fGV|$pzsq)Lu|9xytI+9JBt@D@#NGAe;2nuM)MESb!;)N>TZ!lzp-9I@| z^QCxLPJ|oBO?xgVry)WI>3{eJ&v~?jOjdamc9^~4j^%Wd?;tP?q&w+WlQx)o{C96h zCUN$0fK>@F1#e%mYH)b5u|c@H=ef?-^IT`{d9JhdJlEO!P3isiJSS)yt=;bL7rpd4 zNA6QlW~pssoa)hP%Z?hN;~>b63PFZJE}QT0=rMIbrPrDj!WS8&Ab(he1J@13i~F!M z$adC!*%^j9dVI&s&Yav;`@W$60WQF~RU{?qIyoA4k<4ZnIFSh1Mn-Y4%iq@F@2@n< z7i(i!knchF0D=DmCYLmL+@Thjy}tzyLZf9wv9omXL3;ikEdzf^<~UkY)4*i4-Np&m zWsK^89)m5Q$6yZVF@HK~Z)LDWd>H-4`6LKkRtT~kYwHJ&rg3d*-hOK6aDQQNaL;9v>34p|hL!af|raw@(6~<+-LK7&`<>Ws2*Zdc6l*og4a*}{b zA;OU3odDRef`5(mNJx5g6!(d=;qmebs$OCPb)6_5M>!$d5O!xBj3J)3Zv!MEH>aVT z%*h@0JIb5u9qz}eqqN0M&QlD*IW(o>Bh3^(BKmm0+a_k{w01};2$CFaA|Ez2-G?6* zrDBt=03RcXKt4OW_vi;>yT5~K@+2l9fWj?c zdw{cz0Ed8S9Q-USF#(mX_;po*-em`m=_+6NL%>C~s}u@inL98q@h6 zbaWSgSdjhv38CE*D~pax9LY;JzybmvZN+xchf6Fr_9O;jxpCY$XdWm1upo8t;2Wle zmUM{jYEKtdxfP^88w}Y^Xa=q9yd~N`W2yWJ|9@>4U}lU3nz!B~t@J#ws(@m&BqdDf znV{15{<`;2JPsQU7dLJbf?T5w&Trlxg3CK*z5JzwYLZuK((6)fbcdfoe2E(!$DH?3 z=~KpY&VtcLe$Hu(`WVldnYC3E$Qbb0Tiv~XlTT1>%JW+VsAI}m32NV!l`0@wUj8CY zZhwkd5Z(d7$A-~b_iDCYdY@-h59+Xjx8p_gf`8&23d0d`J;hb=_Q2;VFIiLP_c&>? z6^)S(c|G*KlAeu)?=L_9SJegT!cpv>F<43pi;}p2O!UrnK=WIv~0_F%i9hKrF(+&>U7 zG1A12x5a!cCssl2RNj4m|1E(ZTmd8y7mB|m`GI3&b;42U)c7SYQfaM3K%9PhNQ$?DlcZWVprb~NE3JRDRQL(H!FReNaS7;1V(^H#F{=<#Gw&M zJDN~J%39<9e{n(|Fyt9u^6<56bh^73Jc*nSW92XJNyOUIk$C}{+OM1lomABKV&${n z?~wnMOH2fTzkU7uia!Fwx`xAw(|@?GyzObo@Gi!rpp#IFLZuJ_OHzC?2cqXI@85m< zT~a{g?tIjg3OO%O9H>yy?EF_MF)}p&Kwo5yrLv_i6DzqF_zW|H#Wvjue2}C~6)`FL zwD^e=XF*4)6~5}E&mCJIQD5&7?8UKhGzo#tmR=u!r$P#L7A^<95puxhLw^8iPq2NI z7{uyEHCgHks!$k|F5(Squ{uDd|2}nIH~H-Bifp`~!gerEaeLxy#YayWXY)Q9Nep&F z(m&ijkEdBH;7Ms}mJjNDx7~iVxqxsDurb4IW%0jk-Y!p*J zm0X-8uxJ+_L>%Jjj{{-rN30By{D*J8egFMG{cic)55NDj@)gNA=o|9%bRi;4{StRe!dae^ElH6s~Lo z2VWNh%!W%|`se&hiD4qD-??|HjwQ(VNx(OelO72-_VM-9kD%}r-q<+Zwm2)emDy+a z%~(91NV|Fau1I8`eFM{eUgY$Fe_Xbic&qEB;c*c7fxXj^!<1hU5+oteluimRYxt4O zc&C&sI*HtV@*csxLVp`$Wj(6!kw&oxRZW1>9}#iEU^z^`pb!B-wCnxmFjeD5JkaR1 zQqMFQLv>B|P+imNB5@anVY&;LE#h8Pwee-(IE0r`Mjj1NgRRER+gIk^R)Ups;2k;ImFaPZm{Dk#K=)b7&9W6uAkWeK7WyMq~|B^F9jB~>JM%! z9d@t)SsrG`9f4S5FA#vwopB9*m@#rZ@LNf+5dPEG-zbzxBvSdf@gvCv{TPRshbocx zoKy)W2DUrpfu?qCsX7rOl4a$)NmeM_SCT;>;3A|i9QVCa-jk_`GC>u?D7g?PcWsV) z&v?jeq;T5945;G@{i6>0TM31T?L6Y4_|Sj0Kb|%tm<5r6!oKUsEk+r#e#u zv}Q^uG>$H6)uL2h2#DxU!3NkG=+_0iHAtP${zR_RU(-zcZ}!i-&*_0DNz7@%fJE%n zgi_fzZ%>TKL;xkSD}Cx}-n(&U$6*L{5lKIh4u6*NOxN( zc22xOU9(;Bu+(R4rA7+cv9y5m3H%^`259cifg6MN@-FPBNOM{nXj=sw9U8%=z>>h} z=*8I;%KBfCBaa-NP?Pld0a{oNQqX`}vl8K0jij~pqKqtnXq-c{cUm?q zzkgTcC888QrNN#NXx2m>BV_lPzkgmq+!3tl4N*0NaE-#xm86YFI{4o^yCC`%^fAGo zr4bF}_8*^2iisCWhV4nL=w`odtYw(hT87D{WthxbhS`OW8jr%nL(IOF4+tU5VkVX( z{I7dP(E=)U*31`09JJ6ptF%%MG@UAa5Pu>!z?ZAniighuUTsCcWlDOb4_~}>MP;fT zz6k~8OL=xaE~B5&OXWlOh24o$Co*8vYG;0v8A=xntmJ@L)vw?eYF;BzT@Ds#(6p|s zgm%|rpPgg}75j6NlmMtNR@%3Kvt^DZkxhrdE&?l!RPG~Xu5nq2JN_LsBy>QGiQ9!RPh51 zQ%V_T(#su8xKlppYWlhS!`}PX<31esk=J58C!J_QX=agfs5zpL_Q^E*8(>z}UIa@e z5^x(ldajc0Nu+$nEPf&sFUcs&z(;SC!$1EWg+Vuxs8#)cJC%nl=tR_9Pm1vKD3130gA-%^avD4Bq2ZW%p2h0b3P9ip6bfHoSi^|2N<(w=a z(Q4AN1ZhjSB*Wj$mDb5sEC`#`**RcZNytQXWfTqa@g=ba*S3_>joq3R$06sK_dNYxi@J*x(B;_bLxEcz%pR-yt=Iu1IkfDO&OP z^9Iq`{O0YE2%QM_rJau<6`5v55$LZNI0y#jRkUd#AijPjxpX7MKYyrN+8#sno_#h$ zp~%%|b1^;}`B=DcpUqHIF|5x<)`J%8vl;ZT2lUxUc-(@0HUsNJSD(!(s>z zRkmaIL#@w-PLy}nKwWjL9uvifN7tyn**0D^x7VifPSbqq)L%n=GXYr&xv@eq4_cpv zZYAIN=kH~U+09$$On;NT=3s#Th#opxQwJQk-gtGv@w(vV)h@U>n+tBv?1G!K)kc}K zN#XerzBVzXQQCn*94rK zd0DTrHN#*n1{9+wvSX-R?ZR?+BG#7D0`e}@%i}HxUO&cxUM!I#CF#pPu0L~?g04hk z?sX{6HVP75h19qs?JSaMsH7&{a`HF@{;P4Jl{K>u^r8WOF$B9)lL?Qxzs<~W*G#$= z)3zYpFCZ)2OISwq=1{=*4RxP1?`GTvQj@gDeuQA2kS>MGr*?h`V6W&89DL*4I+n@MZHsvc^~{q0L|1hsN{|Nw>d^d$_aa< z6E9jnLKhH!0i5f~v926TCXPjJ*H?~pQ5qF#Z;sFH%BilLN>)x)mm5qtRc6Y}fnH*^ z94kXHC15D&5s18{(%l&UJz!pal#8@0EYZ z&Og|7`z!yL82?DG5myGn%0S46J;tiE3H|DjuRsESFa!(a8AKonZ=jW@M#me}gR&kB z;!Od1=_}OsVhMvoVZV~n5TrCEHC@f5?3Hs!%{drV^(*I?3g;M1LBFyNA>=WG44BiOq?viEZ1q@#Wt4epS6{?ep_=b#?9DSbIY0Lu>yxO61LI9aAjT-Zb>3#s;eC z`VHz$!suH`k-r$obPVdAPbdrBV50%R51$GvJ&y}(C)#w9qpyyM|0wDY=H+qLpJa4# z9~70D{#R;B6&P_}Ji*g&_9KJx}p1M~aqhNOMMM+RE^~%ug$lou3&z`Yg z6%zip`YnTOZV%pB^vRI{^HD^B$avv>xf)MhF~&_5go zUK#cm@7{k5mpwsthsI+^&`$W$rwIn91si^SL%Ww6=@&c5jAlIInT+=$;PVMUd2-<9 zDuWWtcc89@@C$u^b8c3RXDaps8i3nW7nBG^q%-J2eZ^O-ylz^c-#3JV<$N2%A}sX! z_g=N6>48wEZ5J+oq>G-r%@csy!-0i#ewwq`Ag_QjPeK>KLvq@iIt1a7Gw2N{ncRUu zpUTG(S68C*GHLb5>y$sWlzIuC&A3d#k11L^KO0>{!H0kcNup0LazG6CiTw)MqE_mC!_{CkQ|n#N7)b%^TS5>gI-pe;)F_Jq!|DLEBslj zqBG~A$li@7A@so{1NMlSoQ24EB@i&BdjceB#2%v=){L^FFh^oVJbvh8P7=Y4+N4UICYE|59w{+Wss*C5YiUCFS+0V$`x}J4_?Hy7tS@P z+?98HQ_mOk2A{e1aK1r(kbU$&$G$%rSvGwUs1b&F8@GsPp}Epj)}0y$zOfSF5-N}= zXbw7*DtKg_G1zkE9lOQe3eOm1Rin%(f4k_M?X}obO?{zp?_U17Ju?E$x&<-J2=0z| zoqB~8P)=n?E2$s@9d6$6Q5*v z{7CNilTO!xlol3vc|znVQ-Zcct@*7(dW>?exBc9>Dbln`Y(If08{mZe_6_NX0*yFx z-~IXF92|b1Mcs$ru;79E+S_5nhK|8OF~^o(FvoE#z^ugsdi@+2Du;n&?Wpp4V$SJE z_;8jC@Od1%l?@5-eQI*`1?$N_`e4{H_yw!M7tTCq>8X7(3Z@#kN>U^qVxjPnWZk+; zQ-#ffv3N*u>EOZ)U)iUl+QS&zpC#RC@XD!i30;VKfhW!OC zO$4;rjOste@C=D45%)yCk@_9_(yadBbckYcb2b12=t4Z-ClDfGU<+j#cKoW=PQ330>%MB6-6)9hOrSLo5l12+SO^)BpgR0MX)Pdb6ipS@f0$p4l4Jm27G1ky5iv12jsuA^yE)L(-gfQ+RZ(UhVP&VBiQ#_ek4AEaTCqS% zb5Do?2`fJVRkbvb_=xmD_Xy@Oaj_VTa@>&AiPo7Y?8T!jP*HUR#Tl@{irY-TeRdRm z0X4{lJZd1ybR2(tY*iSY{?kjL`Mz<$uJ!A znp7T`5jifEza#aDrw*lFAI~8$(#2)!`o4zi#JxkPIw|WQc*|NsOkJds0vo!dVQPE;N_*YR}62g;#Ptip| zmLhI+T}<(s-Hv(Z_CKyD(9314S_-KH6%6z%VMpd4>byfR_>CMc82wg=$^Oap45?v~ zWo!@64Vj3%#D%~5u1!Tr?8+HTp?+q_00`FbR45ul&P8$`e3M_cMnjgNs%?+L zj{21SQMJ;`E7{kZa5_lA%fWbf;~cC*hnBz`;Ty6yO2-e* zO!pgv+3Cql_m%Yij}jwNKSzgD1Qm)^Y#?XD(lDXF?;09)A{0|PRbRAo0G*RPw4WYL zt>WuaQyoyXtdVD#+{o8(l+K(XLMRsSnbLcwC6r}oGtv#ZM6_^s%Ff*3c4r>tv% zlmo1}jz%^_s8IWXnkpZvnKPx*sDFHlJ3^?Gz!cIb?=Z6S8FyA03Y>wbFKEe^7==5& z@|k2S$Q0 zTxmB2X_zxZ%y=?wg0|4(VQD8^HH8E=+zrz|3el{#;y zmB3eRltle4d#!5zzF!4E%d=HUSHDBDs>RgygXaFYTOCZSW%G{U_Q4Q?yB;y0By3p| z-@HNP<|@cuDL$aDm3v}SeaT*u;GVBQtc(^ME%61Ukplzs1Ge{C>xE9eH<@2-U%|tx zuv+jaT}F9X#ux?is7Ugo%l?LQkM%-kHDAw3GP)kqmmB!sZQ4f2*gus-{=(q#rY#1i z)=H!_y%%-L{m02gy5bcVP!Ap`ZV-@U6y|JWzC-Cgk{GpuaCLZn`x_p(O@MR5($C$) z14txf>j*Vl7vP00lIbkQB8i^l1nC?*Ua|QP#S-#fbgGXxVgFr<0p5(qKh1tAU8nq~ zvke#(%}hOLFMY0X>`+xqU{d3hJe7{<)mV*=2^4{ZQ(;76mL+YdCEixG4oo@Cv(h=q z)c)TGlsCU0ICsB?8pk@OLT+)CqvFsOvTbNLQ0q3E4&c{%@hx@^O#DsC7NNHO$pK+; zsz9@ugGnsie21>jVv!zIhgLlI^4#S1?U4#Oe5`dn@ZYn?;q>s_kr4$^xI58PyL@Dr zMz}w9JnLeLQnkh2!tCzx&6gfq-AtG_4*#G_NS&ZXZrKBSm2U*rH-87E&7?3b#hYeX z6<>LYu>oR0uz~?4B3NM&w`(slPPu^BW$W22V=X^t*+aY7@`p*Lln$-~a!DTY^c4;!6f6F1m#ObS@p&$FFU<0?1HwWb|8d%{}+^6hiOUp0mDpyby z=eP!LwY{bEvkAjRX}^=%i3vc?luUlT;T-KLy8vQg9CzAAq?eP#w|mwHOQoNdnq~Q= zvYoQAtO4zRM{0g_)HU1eSd->s%;wr>W#u_CM`sVJ5H?5Zub1j*9@VAXcMM{%ec6^A z_`Em8bH`lH*r9XV3G2Ra8+Hc#xy&I<38@9j%jH`t_zs_NvfJGxZk~#Hi2PoXR~6}s zhX5~@$s*c%0-f#h8r&X;bA(Lrv+(|MiuWB$GNF&gLJa$O{b-%EhdpBZbtbcE`rl8OalJQ`t#MJeuYyFWFNVfZp16dB0z}i%)!r_kYBD*Skwf>L5cQl<3or<#57qQA`Q1Mf{DwFJm}J zju#`?%G^6ENX3?QkN5Xk6FJ`c8&?GF+ob5UZ>%mxETZJ3J><(1ftPyT3d4owPE@^1 zfAFKivq9H=Qk=EE&*%oVgr%)feJ(jEvJn~DLup*DzWpH8O zVdEOw^UB6YVPT@cAT0(QSO9>dXE2{q3%^myhONwZy3f9UmLnnvLIPB{y~jN3B6m#n zr>utsw1J5iV{E0&MUWumxD*#%W6Ch(i2^5+9;bO+iNkiAdxc0BOWMP4r<~O0GN*+| zKEB!%5QoN>%zf(35WO=CUk<**FBs;1Pl6`hnNA^^_z%vk1juJV92ihvJNHi*7+)A-+kOB8giTG;uL>-FLDG*Vv!tmMuKHxfipE}vh!#t zkvtHsYj~TZuk$0zPQR0z{CG<89YS(_qw2BKR>=0K1a|?d*)>wJk%+;_De7x47O2)f zy|>h)##wFx?%eeo6I{ohfuca_}JcPlXWO%8Iquel)>9U*jHA8`#tvRw? zx!+eE+YT&9P!?lWxOO^Lyd5s(3_{o^$9MOf(lr1Sg{Yl!)p@C>JDpZvr|T_On>nKT zgTBGS31Q;o8UWZ4pSpGDc<6XGcsRhzXxo5jUr`|y-M z6*o(pNAvXT8Uc;bpQ3meU+-rqP5Vps>7;pgFiG5Xu~@nI;PfSM_wJo^D&)|)5J}J0 z)~Tz~X|C2iaCj)U_@sV6XPTB471;HKcDW+l(AnMDO%C|>@zrhBa@R+kD{Q3IfUPK zYCq`uBLu~S^5MI%2VWICO}Sw$#=m~Vy>kjD0W5tsdWT?=vd(yIkmSsdbgVx0^ zi^&a)q&pM4D%a$jD&5+)l!~DcQrp<$k{0&T)h>z2A>&`Au*PEF5}HpvMmZd^`BI5u z0G<25g*w6FA82(hd&t zT9|H=sr}Kf<-lw9TWbU!!w8nzcur@j2$r<8|D$Bidwx>*F7QAHJkFBGdeF9cJW1Z# zcBk$wOq5O@4k+wd+m2Jz(FIncjrUIp)c_l%16^ZfYJue=?|%! zo{7+ln^gMamP_{7=yKt35^HC(U z-n_OwPiL_$8y|jIMTqwdilI@IlPXTzH~F&VA#seu`Q^ulz1e8Nx-N-8K_D?C2*@z% zf4kXPD^c#r3CT_ukCO1?OS8Bv*h7uad{JPGp1^{}OgL~HBbRJb01C@9it09afy7dY z>FqjpuKxr*P^Y$Vc&5YJ6kLR+$t2^Tm$-13*F$}~hwb-DmV5W6D3V!C)PJY*B% z_ymX#Zu5UD(oYHgw(#?Fqg27>v_P~R+4ScIQMr5XjKF4cX;|LtU9eq@Q47Sr~^NwZ51)16AXIj-M5-IF_}Cp2#OlvSNuRp*7;lwB2JL zGOO78D+0N&!THXIBv9tYM%;t;P?EA>$p;v)&Cnd-y35u!ap+Q=c|AzDYf@{c4Ph>~ zuL*6yF3M)uTPj&%Mk@e zyygxURW3`wlE$Jf;Wp27r$3wv@$maIx%0n#`8X_`EoF?UmHINvhYqt3s&RNM2#`h7 za9CvRF(skU0J_UlLhM;rr&Gde$-QiNr?XSSOtOp$mv}>{21>l5>j}|KNtI+oW<=7v z;CQAj@#DHChZQfs%r=70+u!6azGhj+ci`NuJ64TgW+zft2XodI zF(;8Xl^f&z%WO%19*Ke`U^}KbMwdZ|;XQwl4WnTwV@#{}^Hj{mdM?-`)OyfI<&52J zv&YmSH`}_NPNF5Hnjf_PkLj;1SB*ugNC{*=LuTCiFpN7gpBB7JVTMpi=VRUITE~UunQGg zQw!9<-kHRBCH1a|Nxe)YIxtqI2&kfRUQCdo!^qMkctMCpibW(yMx3Tb!4}GB>zEL0 z9yZ1o7D=hPWnk`x77s_BW9W<7fLYwhp2WXa5OG$n{3bDajYj+3-D;#VQ$y;#P5SpP zNb7uVxp?253o&Z_?H`%rE6(nRdPE?JbTOhF`mU1DJ_7xVB^)Z(F;D z);66IZ+>2ZJfPiB!2tU#%~xBNqz+rNxt2-UtLBW+`Zw8cTTs_yYp<_|q*yb17X-9m z;uRBy(aJwZewlk%cu&^9L$x+I$y5zy3ba0B4HskCX$h`Y*ARX@0^IBR6X(Oy-OW#m z`d`C?W7%TQ+yR|`ELeVNo8o^ZvPgv{I@`?a1-lf1s^X;B*8%7t9dF5v3>t1d*T)FrkHQeOmvCYk7aiTh=OtgOo}y$VU!Gj~)@(c~}(R@bG6>L=hsO zmny2fz7nD(SItXM{}tk_Aasu-y99O^Qa5-k5MiA{Hu1u1ipeRh9S&2fz>h;OL~S+? z`)$df)3)hU00u~Cy^O~XjKX|;P)LQmV2RtR6X95dPwF3;G#ikE{6(avwW_A?;3%Xo zb9E(y4_1pQP%R5@2d=`P=L@iJ)tivp@iK<~$L_TyeKiF++`)opBI(@YZW9hW8>7r@ zG=byTaH$Q6$qLIaIdKw7r;mLjZ#1v)ang^*J=GXGD$jtxavOrrXJ=*U;SHtD6ut_K z4w41JPz==XP0|(6^L>U!i72ENv~%2xNEVw!z?Wu*1WXTD7VvX^B>5D$r2z@u5``G3 z^?Q3g8_x5S_fyU@$;GBiE5mD8k*R56J|OeFNeS~8^pNy)$W=)OgS56zkAM4K*8d{t zqxCz;#7ohA+ES$d1ya;Tan-1hr0DZ(nCH5Fe|bX{O7E3k!2S~ksBx6I*$Y;t0G@g% z`3~(Vkmv!R`#-HuAI0`V^&@y}ZbgbF|| zt3aegT%;zfi|F?mG#j1)%59v1e;It5>Fnw<)WOD;w?y9nX+{SZF>xW6BUW zF@VeITPm2tDfUl6?@;K<3?V796*QoAcS*LqHC;(o)_NSbDQyVH@ey;Yb$UdxeGvYT z;$w;ektqZ7hR3A!nh9XnZF2uqUv7+(s9Q|=g!rNUv1j@eyI z_F(JjC>gY?RL!CgLzNqluLqU~U!L@HX9>=2V-ptHfA5$Z+;<}K>4I8Q z^2h*`iJJnC*}EF5kv_A+i-T=fT|(#K0fSQu4)s;R!oANe|6N%%^JddE{P!U6(>RfP zq{6^06Y)0k)Mlw+uT>R8c^5!bOr!jS4D@ol?8%Ssq5JEh_qRso%ZBm0Z&#V>l4cpt z#INReTUi`I#M5TcZ26(#p|Lfj7@+0Ov{_0=xMIsw7984Uv9Y1_M-b26W*kIaWu^-Jr}R8dEkWf{QK4QvHPI|wuIz2s(jtBp_S~M_ z*r5u4er``))kVvK76!d85?Pmu>4S2)P`Rd}`42asPD_H6R6!1>@#wI^g*J;RT-T#A zT8T#>r-i{f$g;eQo!>`5HuZ6@Dp5Os{^W*)k^hmHVy)mUH!lHju}nG}U^_@1`v6f? zly&domlyc$ac9qIiRCmZYt0!mdDsxV7b)~X>&_GR^dk6*PNv|W0(cj_ip21$TMlEF zw7DeCs~Za+)uv{>Xog)|__(wXYQ#Qf8aL~Lz;@gOeLbM@ntJ}++fROhvDieu8K}c z9-^xZusLjlOTGoGXOZSY*EBSuVyd|B$z)5$Y0c(Wf(_K*gyLvS&q*yFgl;q=SA9i^Abm>ET0li&>+tGJtzg0TCtTbCG|P!%kZc&UDtG1t}fGxFo205 z)uVb>+15?c#xa0>0p)*+y;F4b_ZU}bVxyhd!Y~MQl9G^p75wh;fcoS4B^fz~3PVi; z6rFHf$cuspcoJ>Wl9Y$WXJmXadrRlH*IfL$)NIhCR_MVicKB=TSL8gdh1O+Jb8lae z@-PpsA+ydHlJ&qojL@=F=RT1l^n;rlXEleTx7uVohZrl20BYr7mD#B(Oz3`!scl4` zLxy84cnj{C!YuVFzveE{4^Q1-+FUw9T-rB<={N0&%=s7|O4l#hlgTdVWlzw1H|VYH zyU0xTG>^6#ZPfS~YQ%(ixSZn*q6EMgXs0|#0`OQ@Kz!vF(HWh!&kk>bD_Q_|*)u-z z8$bZbMf|EDK-^^TVYokEkrjgXb;64iPp^bZ7l1?|bOAR!*Qzn%`_4M7TVzV*Hwgfg)&cD@XOreOrzo`_N|6Ers(nIH247yUmB3k``%2 z;;t0{Tk@nCBxv8^tw%Yb>oNSS`Mokgx3oiN5zgiVu-wnS%P0CP384Iq;3Z1+TqlZC z-FH@+nRWm4kLGEBwRbwiISRE2gs%!f7Z){7mNjOHiiU#vDS0h$Ts=I?Cj}6dvgMFX3t+dBunmYwJ{pA zpIHe4QzuX>G}QoKri`xEv6Tt}z}i)`Xe>cwBC?h4ai!DptMrs>ccNQP?SalQO&bot zrFhe|n@PkuM`1wCDW=)qj6ce1p;GL@3St%Bb(P)-?Q+jg#OmYXQdS_$D9-KCH*L$O zJzCdnKfly(UAXB&BG=l~xc6-7=cz7&9vbVS?>S{#!Au_#nHY6GV-01KJJ8BJWtTws zj?IFhn8Bh+Y|3pITOq-z!i1H?=C%Mhk{MCJtS&n+3M36rprNHO@Cebgc<(YUBy)Ic zRn-|@GNO3E_Uu~q$MP3bwKT&XW~!u-R&pGZoZII7kYPwYFny1LJ2yewgcki+r z7WM+N(bHMdAZ8bQz>K_D>&i8<-`4XEGgw;ppk8xP1!{I-cfoo%k3yXbd6yDAMUaUa8X3Qz#<)5S8y&IKTwV zWd)nN*Loq%z!xAe{Ohn229xQ%rrhH|)u^yT^L3BnjbLLBvC?W&_uN;KSj#QI2CegP zWV@T6=9!qH*mk?0!Dbns{=_>lQB+o?tiUQxCb|%G=vyRQ;ryOPqsaqc#1u51dVu(8 zPhT5^f=n~FM($!&NUOW!VPMUEEDvqLwjk2oz$0k0MXCivokmt-fG!ERn6Y&2@3 zBI)Lo9rLppC3~WBEt&ywz&xcBYGdKY8NpqCSAEY_12V!yYH`Gd-8# zKMI$0y-x)q2U~Yy*&;C|f9bFne$bss&JNh?-DuWmNxG7X4hl(-ATdR#eoz~YU`rcY zVfFfE1#!Wr2PbIdA_#%lEs%pagnoI3n3h&9QKE<3+g|=qdtj8dl6Tly1!dkF^GH($g<`(-j%>Olf;!HG{4Q0jo*NJtymZOyi@Hzl__hc zlqW6Owq=ln#m2he8scI{g-0G1pLgY1!K&0VFCIZ`IlEX2)-*X6`emBCX)>u$@Yg(v zn%Ff~Dm;2PPhlKU^LKWf3|cFT?zM@Cp&cT~I`~ECB{o1K(n2(|>E|$H5VOC<0;Mur zRKp~HyLB#)=H?)#>h<6swRdxG_mxw}e;b{W+n8ekSVWdInQ|Lu1ovuoeR`JK7>XF= zpN&4}88nciDLeJkIZF{+JUc0c3ccA#6m!?&6%;^gGlb=4A#KrU1%}%jhY3&J`O~%< zDU~4*PJMv7MaK0^uujXJmn{O}Bhsn-Apo~#2L9;pd_za!3A=%gi^DYnW z6M>~Vy2q*+_*?`AymxqaHT@@1Kw~IiiQG=~Yos0R_1bFLdM7Eum%*qz(^oDU){REV zd1#IT3_Z$Eql1{)+3M{s^D&`H6Ccnc&m}{u=MPw_UV(`X(`37GAAS8PaPiT)``OzX zv6%KgWHDrXISe}7TVrpoxs_bYLv7FLPioA9VxEP3ayZ03S)&rcY3bp51NAUq2t3YT zSE=(%-46++T6tbkF)r6v=e>A=2?o0G;5hpmXZe`57pgeE79_$Q?k_ozszzA1Q;KC{eXn?U6aRof*q3s(nzD#=g<5pkrf=z%1LT(A`*ughJ#|clRfjh zf)4Dr&jh!y+Rh~VP85_1i3uB>>E72muK}$&YEkdY#*3oalSz@+jt-6K+RdadiQM5j ze-1@G(Mw4O9UA=DZGst|dFuZ(Q1LI8Zo0e|ysQ8YMW9#;D51Bb!(!!09) ziFQ}AM8PJCfuW?>aZ9OKbzgHTmUH3DC}n5Yl`HTdf{6^$`y*w++j)Vb=mt<%!jG82Q=-m?dR_OT83@m zS9@GKf~nt@0@@xOtK#s)powCmNd(g0^y(z)X#Ygo@z{CX=2n6~__xW}PSCOv5qRD$ z-lzFHM6j!-b(=?Fht^b~#vnO-DXg1*vyPZY)zNcT^o#5qVq#pb@Y%VhL}sq%Pd z^bxbba)#4u<__pxX|5MzT*4*%@o=N;QbARg#t7uoEZAI(?Qve9$I8^MzX)D`_ zaZ$Mur>FKHDTUj3Ktyxt5@~hgbtdtVfrrEmK!puvARqw-CmN1>dj#W=*=@*VgLZ6GSi#HAq!6l(>WD(xT^1yp0SDQxE>Xoj+^_0xa>brwl;!3L2&VEX~ zd@_>}`1_~LW#KRfR0_}_jayZ`4HmiPsCC#e7!yEkYQ~Wr-BIvH-LmUJ;eeVhb$w&u zHn6E|wi9?c_k8IKV*l^x`Dlodiwdml>VnElct+#o*6Gu70G_9#eFp8}{~TbWZ>hY$ zb-4PeFd?F4|L0El#xVG?V{F!%jb2i;K3jfcR0Cd&mt5 zr7`um`}1lycwR+oYsGzzy8`uWgr5OFNZ7v~Cq zS1w)Fs<45G;+GHmj&!UD1y?^T>`-_5!Q2m)sl|(`4j}ky9~2(UOts6@sLaPwcU)K~ z$=}10CqrkYf=*kayCZ$mQOlSC0wqQm3ZQnlqTOa$F)pk3cC)7HjPuX7zpRwNB7Dm< z-^d~Uc}PH^8eq?vu%g5@&`z=3iVmWXx$=XaDK0itFY>ovKrd1~iq5;vsjv!TD=vT@ zWz2#UqCRw`_0Bsw^?v}11VW7+|H%an$!E2=L+I=t8E!M{&Z$K0ZQ zjr!9xA!~$RTwmu*992dGP>}KR5?7KWXc?5dgi<0Q(s5EdJ8L6(VtJl|uLiq1pA1C? z67%sH@Y2YY=3f^IcV)bA#v}8?W`fF@5%=%PwldigVa^rbe5a*eu)aaGsu;@>P&ATz z+}S59qL_)QCB4a>!VO2UtA9A6x?WY7CJx~inr~zEbHqcgD=!8BKECvY*SWeKSHyW~ z55jzJ<_H?vD3f>UFAtKsjI~xjLL-xsIO_!bzOQ9pT1^UvA;p&`F6u{Gqx^slWz)-S zO3^TCD)g|ofmLrmnBNl1c4%VrQE?$u2MjnJhr%bu7UB`o4&!&vd#Ksa{i$F4_NI*( zq>iA!#wPmpSulSC;AGG?B5n9O`U<*qv3vSwL;Fo_xTeuW4!ex`4@Nr;WD=Aq^`lc) zFN$wJ`O;ls_3XMZ@;Yv|z%w|;9(Q@-Ia4PhEuUz3GmJAsM+fRptCnOr3>*Y~-?yGm4&p`dD7l1|S6|0-KFFd`~!+VZSl}oMA<%5#zHdkTt z;2LVLXQt?auHz}sIA3?L#F4N?;r2c^5!dILg(O@WFi_s|jfDz;8{ zXk7pWve?6?a-mV-cm4je+2C5YT z7bporE;hL=gfBivorUjLPShuNKgi6#>_)Z^jVaWfelYg~XR;WUgZ7!9d#muGXxB!D z)5T>13f`TFRn){6=Y$CLtKx24Vx0nDy1jHHp6NZ`P~Tz$(t&=G$7@D`1(7AT|Wn*=Sn@*fP^%cPz0#HY?WjcG73M< zKvbCeKC!R|oKYT9B9i{1HuWn?PVVUR7nh~D`IF1m*NrGF1u zW4IpEb+fr{-;?AS+zmiIKxXt;CBINM>Le7^=LdBo%gg@Ujqk+j)`Ns*}X2s)PSoPMi!cQ#d<*OgrSqD?$6lN2YzBlqW3VxWv@BwjgwE$Vk zXs{ly^5>-Ub&T3Fq6AOwrdx+|@364y`h0gNF)k)|2p^){FD?F94>FD)@cowo|NSTi z;4%$73WQ&mo4dgM4G;4I9@+oI(goTS;>m>p;%vCa+0meeJ^4jR5Z9H6^8@_<@sB+x zfbVVYr>7j9d4{DsU~<7-uLh!#)}W8S>pT866jlT|QrRcE6sb}Cho+*Q>t&@oWzl`t z#^jC6{u#P&2jITl$#i8K1~$8aX2kpEhKa1M0hWrus6PtFs4w+D{*Qf1U;ytyH-4Zb z{EdB-=B}c(SX`7`8r4l^%9c<@mX3~vS%B=^8Ez#q1M06l7ayPt&r4M-Jow}iBwtf2 zQ~Ucx{z$y2C#_3#7YUpQLPI>1%dwPCrxsv(nY3PSply+vtg>8U>;DlzaHvBSGTsNV z6uBJSRjJ3)uzId`(31qzos@D5#jVLzh41cv?#aAUsT~Jg?EnBruJ3>V)R|=W-7(^D!G%Nkp@% z&67hzb8X+0GhbnE59#{yb4MMeY zWDgruuSX&cfdQBZ@bezoZSAF~;0aq&6EB^7i7OYzMdVF|0ric1$Z38w;mSZDks$dl zy+nV(%gXw5@K?-348Og1SlrL5)caZ1^I91N7qM)2SYnK##waz-J`fufe*n!~d6r;% zwFVl@ikmksnhP)5UDSvMy3+Is1ie;DA4{WqvVvH1xA0jK5L}`2*EBjL_88{XbxfzF zps7Wo@(`~O0)dR3fr(Blxit%jo|EO5qo%fSEq~{=q{oWBP|~T#FFWoVZ~@>AlZbXV z%*R^oy(PQv&r8>)#6AU5p2YU6r4mvUr*^Q!QIL2n@@QWaVkLyv8CzUX9HFV>ng(!u z%CqMo^(Mqmz`Vfi@YiYHoP&?;iwoMG2-vJ#Oon{*CuR<|pIS8Qt%vceto(~Sy$2;< z3JQM0=vu(`_$Kcgq;tWHPeD(8^<(Z>K5>upx=a;MnZ_F1rmHx~+wW&6R=81dI|$FT zl>B0g$W}(klxezv>w^^`FDGc;0#YLejyW**HBjSCKvs?WZvlEqP|io2VZ(uIujwFb zQAA$~jTEIYBWWyo^bM&3DG7X?H2+u@B>HLIuEXAx>0g1@2Q?C>mO?k-+49sJ3{Wi# z1B<6KGYu?SUG+NjHsu2nWNmZO?v%=vz-}f01KlmCPqeG_3mYa=rIk{QyNOH4ye$Z zw`Z|%O$gzKp1h>XmPf5dIc0Wtl_ajk3E9go8KQwFKY!FpvLBuH88KdIEgg^K6o4{P z0kq$i`r)`G&_cd$11^I-Z%`RjXmSNU@wC(@1T@1SkxM*PvGGhMfq--i<;zz*T*0UY zFpYU%u9Sc5@2qEhKar4Ik>v?587HkJ9^tB5VqF}`jYzF{w1%k4sEx)U)Z-}~s9t=$ z`tnbL1$l~evy`LcI(0LFgB)JWPSQZ&VJDhuRNix%87A&x$7QE*#nVaj;HQX1R^Ryq z_In306?_;X2Fe}F#MAd&rD2<(=i9vv5R*IcD(U%qaBBbkec>dQGc3jKi#X}G22kzf z8bv?LMcPfWL%(UCcY-+mSS&_p`^9tYq5kE*OlKNewA`Zf2Tb*X_*|0b^@7oMPfXntU zwh=EPR7o#U6YsxLlw&HGcg*qi^8t4!c#%_x_n#vcr&v?YZ70Bo;El*Tht8??5x}wfc z2Hc(0QBizM+Dqcp(xEf#v+>ja)Z(qKd$A_ud}ZYR-=*HHSB(R>{ zwn}2rGAXho)g6>5onLz^hcm}z_0EoP;dWzC>X`1@>z_3N-Sti15x|$m1t+P3XZJDk z+L@vg1)1;1Zb}G@Qa$(Kp(9`1`$x0hw1}fpI@enp{!bd`<#xo}7PQCtoPT$5s`~wB zwOeg+lv`|aB-s4G{(t;qpXR#~pryToN>)mE&x`dbKQjvLxLOOKVrVO^Y9R_+WxOT; zkZ=JcJiQz0p9e;4L|ru~R){j2zcm=Bm=$y6io}3CAefT^8vlsk5Rm5P(6|4Cg_uNb zXGuK|F(F3gk&CwmwSt_4RzOnLLdNno-sVh5!1k5U)k>#O@8FZECN$*Ayp@AqraiFJ zn$UIWVpN4mLbn_#?YtoKR|@5c`@*?q@h}I_-VRn`lcUiEQY8N1?gv&{U<#z#G4fs( zNZGDDZoRFS25&dW)wjZjxU?>0bV?^O!t)3)J^AFvT=#d`o*4q+=1HEb^b*MU#!3)& zkhkm=bS`BON-c8!FyP7DhFlLWQk}H0Fj@7kNsJMYV>;ei1-tFg5LeYKU1fy;jE9A| zG@S)g9PZbw~4UWf?e~`fikDHvWq^_!-AeF z2`|lIpK_!m+^Yu6+9k5Zww>2Z$Y@PD5)w+hN!PMUZ&GJq)|hW(8-`?fc|ZLE<%XEQ z`W`d}9L`+k4B-ZTm+iMjB+=giR^I;|a>acHk01<6*AsjeSt2INZ4O+;zSPU^VzWUc zOu{w)j!qKry?YLVi*a9TwzNfc{hqydFBymd+L-=NNuxTa7dXM7Y z4BAWXQCIq~bD4V`FXI{9m)>UI_S&qyEU%aIWVeR~zxEzX-={b}OV1=3$!Om?+9@42 zk#B{TLX+~*#5S!~A^~zfV)xFUkt*N`Yx`OcH!t>LZdBdm@3wA}v8Wjk7i%6BAil~( zs+GpAdTU|d$aR%`sWjrURvz!bqXSJK!4=h6v1)^Q$B0o*XM?wI7{Zsjal7CeLwusruiJNk zsV7^hTsG%+xB2L3{RCb7xW+0JKOP6GQC&V6Po+pvXw~jf?(5b88 zSVaFO_n7vSimNhrCNp+d3$k2n4v@XdGDUMk4&;|}pndm>KH3LOOUj(xP&SYb9LHVOT3xu_<>0`mtBpc{FpS0Ek7kFt~bh8^EN~f!6Nz zpI&Bbz$|oPDD0uRxSIDz0S zcFFsFf8F=~bx&1K?@Z73={d7oHK*t4=L{Hw3x87xZfY-!BENw@FsdB{If@6P_8{?~ z3|{$aR%cn9 zS7`tB?xh~H5X6WXlQq5Krqzi=jCW%5!pdcY!Ak{IBoFaB-Tj|o!LkGkO+z}<8LC`X zg*+CljN62IGmQelLq`6St-1t{yyDzC-ww);!L31fmbA?%!~;wj#%zCxel0@Od^@jP zzJp$JP=)B@TLDPq54m7F`~p^&v#RSlT!#ARu1lFrgf(g@|(OCVeR zU_dlVj8N8(DI_V4=0ZeF<>5XVTzSb^jZbEL>sg(u=+gi9Nv1EC^ZmhB!C|2|6BET^ zK5eUcdGgzk&bOu>dD-}~ig;*5dvUmxmYyV|0xi7lh(4QserKInIeH$O zWIr1{MPsRdqp{=@t^;R;ZRH!ZV|<9)#m?@!ckM!5Coj#aYql3?Z}cS8DdeqFPaBD- zYGppPS4YndJM|QtB>n0kQJ4b3A>V`Ag}WHo5jZZBHElW5u>q}kY=HjTlVto?7wxXv zjE2dJKCXDMu9oXZ4dW06a+*ZwbenXyR4-j`Kz#vG*9AtaBQVpcFz5*|)f-6=_M6NW zQEc26Pq$x(>6-&v(<^d>fwKI~rPHR#ebJZ6P)ks!t8GW}6_3%(hPqI|gCH9zCDG%s zt~E-rX=V-zsx^w{4+$tI8If-7&m-FS$9PH7B%<2O!C2%y!{#-EpzI;!ivEiS&uRsJ ze<;8i5!?_&kfl?A-^>$PQ>m?d4AWGpYLQ=(Nvp^$dkg>gSz8(4?iHwHJkmL$|1*mn zo$Hq#q1jLE5x3Q3NlKut+Im0$wM@PHz(cBZHfL%p_Ib1{)~-(x zx`4--3X_-pQ-y2$G=_EVhOA0ps6&|Ji#<=n(O=po&0&MKOe&sUu}I+>`nX*^ni4!V zl;jT(uk73~^>1uRaDRp#H>QL>nS@CpE#LK`L}Uiu=wzz>)aenA50d-83RL5dwcY}Q z$g!fa%#g75J(Sjnwe;(6lCkvkx)(!dF=D@bBu7|OE3!4)Ux3E&^+Kv-)H3?PB3s98 zYDcBQi(pm^T@4fQpwW4p=(79DHr{K^*9n*KQ@L`-O3|?gda!H|_>j z(h{?T>*Bil{3pJ}M-6UJ2Ar)-9*e?uizkaEZmQU5o9$_l;%{P~jR;=*7 z94j^+!oF+({G4eDB}J~;SDW&r2j0{r4W04`4CQIT>?FYSV18Jv1o#!$v7t)>41mGo z4N_8I9xylr_D&l75na41U(wYXDqeTk{e4`A;IBJEyej1693)m;&kfZlIW{L!0zb90lUcXHdWo3O|DCh&u=0^|Ecj&P)ju{$=a|iQz-l!NwrFT82}u8j|Hvj=)mjtmncElt(SHuc+r@c$g@@%AJ=rCx!|d_jmbtA zjZ85t5NSLUBqVBfvrG0({Bsb~S24Yi@O~@rU4Ez@IdL%$xw3gAAI2|E7`GhQ9;gVE ztfc)q(2_8&#hi}I|G~WdU&x!5 z$-|a;5W=m8>AiN~y{Ny~x9yI`e(p%Qt|_{cI{UcMZ6`I2HN_9rn1ZiI>N;oqJYs~U zs#wB$B4`LU0Ri%1=k+HD9RJTJ2ps>8S4GTR+lc`Ek=@Ppq^GVMG{S80bkz8y9_wUqwq2Gfhl zXZE8%Z|}%$Q%Q(@2vFY;rSVYd29eq1LfbC4_f$ZHr7i6F^mMqLB>8^!Yfm+IU2hD+(`4oB+KP1b!hiD)sUx_ZDGxU^)<9ye;YJ z4R4~0tV(T9C;`ysZmW7~7R}QyTf07vVCR%pDeRoe9YPfusSV{~sdhvc>cOrot_$fc zfhTRK2+Q-YDXNJX4N{9R)EV{yMewY!Ks#>K^Y|+1#)Nh~vxRP7ZYmbke0R; z(=E;`(6)wD3sODg{H=53A63s;O9d^Nt)72nOyUAUIx?^}Zq*B9p+AHrjwrOD)D1ys z8GCABgC}k-lmtk@DQF{nYvZ1{7OHiY{_<98^=nFr)#fEL8SGQmibwiJK3}HN7%jtf zM!vnftsM?3Rh{)nM`*#^)Hu_#R03}7M~#mib#+VReJBoEsh(4R#0jb8uXLZiR#83RivkbT8gAImJ zE#>RKQ{>JVQwVIFdiyN7N&ZLz_OqJQHTzV#&$)jSNDru3+Y%yGxRa3jFb@H3S(Gct zAvuCzq&ALsnb^SutCP4v?!PM^46z4}z0X3vn^c~qAEe^ORLqI*amx5d3!04W*^m4Q zL#gFGNc>`@jgMBBJ4N(UKk(xWv^sjR<7DM*y~KgI>N^XYEP+Tn{F>9+ z@86(0YbrvlF8nZ_X)Cw!wr?xIR0l8PhxWa$#{I)a8^+;jQOJeVhd+5n`ir0&!&`e{ z5hh9#l8+1PLo;Tv#dsBih-C~87k;v#hpkK0{IIj|k-U3TcR^qd`cs$ZxR*MtP_U6i z`$1(9dwS85v-2rq1D!T@X}?asMH+6-&W zQ2>c($}pPoIawx#da%n0@T{pQBNkCH(>od@59%9;t6@WE)}?5ZjPigMh-4l2iucZMSo8s<(6BE4MrQ7KwHVEf?*AIv4QC zalFX!PCM8t4?A1v>|SCp!@*|~`QVR9;6&1?&6p+-TryL)*6(@_Xa=zx#@_}Im9uR1 z2`1BrRhKwnA_o>Yaq0PZIv-^WraJn0I=ZfRgx$uC1gt$S5i9I^kp1DP}R^f0*z>Nx@x zYO&&i8NPxkSAM;UH>{~b^uAi~EGk}4#4d1>JO=HXC(V+uY0Nk#1!2A5gW+ zLWr|z?KD&5`W0{tG+-u4;Uj)LpAIS|J9No@*!nHWXZLPXR!e=CF1Q)<9TXlHLJ2(d zDdH;gi~*ZY-~j3v8p4OUw;Ia+1ZNAGA^iqr z+XGL4)q0uh*PPXS$h!l|E}W4?PrS5|MI6~?5l5WvR>!J%+T;e`@ys{q`()S)BL;2W z>Q*bo(jf$A^<%i=5Q@TTU*ZjkoavI|N@9aH$4@N+CA!=`CH20-!k6oB+uq{y^OiJF zwyO>7bJhfz)ik6v8PvCWVBR#Nw+Z~3juUVLo;DLt@`|C&J%AT7n#ZDet?q5p%Q*b=n7Tg^P5b z59+g@kra#D|EBIytTU;I-s(x3kJwiesmAH|*m6Df*|*w%Tslj0h}8;A;jeqfgo44F zMN3N?aJ}@=Golq+bgbqo%=fU^7NGg%htXPISkELAQl6v%sG%CR{GSm-OrB^#*H zsUOH!b27h~LYj(Jq!$p_#-%d0+wFa@u=8z-Zj9J+n*#A4UX|b_lxSHceu2z=dS##8C&8X5{Hd#mB*|F z1Mnv6rt$XinMZb?@&}I*h554#yIE0qz{q}VKm!hr*Gzw0Lao+FTcz*mEr_~MKXAtp z_()&xb~>5NceO&#M`-tnG*G)u^MU|!+UkGO7Se*R-MCgK*GZoSO^fla+e>qAv2pR! zp_+DNMfK>KEHk@(Es=mK+##U^8#I;4`J7xR)+w{`MoXb~!;g&^@c;!7;_S}BoYCS37d^Wgblv=^HzRVnh7+y4SeM!z z#y3r(g%Zm>U6sih(0>(G)#3BTMhtI=^s8s+rC=MGSk3bU-kEq8mgDH8!w6BN9&J`ut6>}?n)ax{$);vQ3GrVVja>Bd< zx*kmhG02oeFL*NOEd-LoeF5lw%;KBQ$1CVNnx9eA)`gpT0JOczS0Z#UWm?krot(B;*C^yAAtI5UasJ*- zRn&)-+e)eJ-o1feRsd7Mm2UCF4Litew+sQBm8YzD+)U|v$u)ayt|6wLX{Hz+_bH5l z9LLX>l{s(`mYY<_@NL{RbhF_wZI8@vG@lgpQo7&s7;0~_4VrG)HvG0Pq=EPbfY2OE z(roL-u|R}_use}k3L1!aEekKB*DBxR^6;4B6+FaPHyV|ujc@iJa;eAiXR@!msG7Cj zZjacUj4`ZAyydk|vJ%-r68<^Iv58b+eaA3EI{tNLqv^Wt*2Tceia^|9myoa+#^ z9$bgf`?BXKe_GM`NKnM)L|VrsV)t5i4XU$wB4!b`8``ZkM&{QvG1?3zfl@*b64R-u zIR%OfU?Wr7eOzJm8V_$X_QR(SjeRpr?Ry4`%p}S3%sk!{u4^O}omMN0%9|D8G#{46 z#J~A*U!M`*;zBN}I=F5Cx!~3*!n-;JSE8s zRcF>*`^Q^ei5HM@zmR@fcn#n|_{6pk(6=9XaznhnKA|PF)I_b7jc~UaqzVJ~|R8 zlaCj<-}`>FerRw80BC=xmtScdXv*3j5gF`WUy#$100i85|23uEE7ag z6uGOcUU78Sl`f8&y|>4Y@S_%i3gDVQC6+)vfJ6%EyJ=Kk^?IQE+&w%sL0RNYKFvXD^m> zv{02&YEq!avt88)nADZK`fVA*dafi}ur56?3qUNb%jrWRcyT~8AdJYq9DcUByz^5t z9I@e*&-82T0PSu!HWq^<6I%?13B6KYH#Jj_O?lGHN}49#c2f*2IIJ1dLE^3b%M7K6 zjvub$2W6+#5t^>AIS7oV5?{35X$Hkjp8tSj9r+-WYvbYI_zgDhTJdSU5zykqFY=VB zu>fRhM#J(nx1=-vsAArhua~}1$7|U~F2!G*Tza=mO;Xqck3G(FWl$eJ3=sad>^bek z;GFAWS*e12l+@T0Dd>kYHrW$xNy}YsmXsZzS&P$-%ZI)+q&96mU#An8i-57(F2HT{ zixL#DWSDf-`FQ~vFVEDD7e_onRlgP1*bR)=yE^`pNtX;^a9rK%OvL z>Gbh8O!>tU?jp4EFBRFF5}BZrC`ji?=o62@_z}B5B$G`#TyY&W^FnbDy6^jf_F?I0 zMk$H78GOiU8{@n zobgloqefq2R{zWQiPl*CUtD)j%PpDTpJPGYK>o67!&POa)HQ+9r=LBi==D=0S#!Rs$YSgeB{!&tljD+{LxGi=W}f^J7}p&!Z^LwN0pEsl+FjES68*G&gW~VCKj5EJTP@ z)d;BeQeiKWRB8N}q&%sObG!R8QRb zEwkb6{7b*~dy|&9A>3o;huHfNs_KzZEPcF%2_uqLHBPr309dSrZ ze%2P^*kZt}HzzjGW&2d(RE*}FKK_7U!2tpaAaLg`Hr0BJV7 zc5tSGsO*XXvLdWMEr8ux&O+Pvh2u%M|Eo)jn||kfI4ArOu0_4(jEK$RN^OLaZp^9s zw4(icZyCd&h-oqz)`VMm;C{`?ZUcqdsM?g@{&hSYCtQ6crh~%zFdKgzw=m)-ft3lu z(Ys`;6%-p_=;(MC#U}+t>4mCY9$W_ zugWP;N&i_v*I_uMk=|rbmIlzr%tJ+}Ik@rU9-|$wzFey?C5FG8?jQLK!>r@AOLpd% zT#ZJtR}x)wjL#oLUTOWL`=0Bw^F}W~Brt<-TMPkG(REgTm+Uf0E%I^SA#T@OhP~37 zExI}Io3g2rOyTET#VoX0kbmVFTtLGhoKeM|K zGv!pmhfZneKo_v)W-#ui`7^9<4(3LxOs`*XYhiwc*&Bgh0&%s$#e}SG z_m&gP(l8lYU^!twJ^EDgQ6D{4IfX?1P5Q@AC_Q!hjm>)9A&nHRi!?2wb({~^_m68# zSj`bnB^Hm37a-RUGUMxcIjzb?lAID$nw``Q@nVTq1Uvas8%qjGspLKp?)0p#P7I7c zV{~v?dr#p%t*|L(xu{(!fzl#2H353DAv2S;wAfwAXNa#PdW)TR11E)B*TCGotaQB9 z3Uj*k%BmkKZcbK&O-@##5eWY%x^Nlci`NG~7K;*~6nI`;A*efK1vk^LY*je!a3D z;Z}5*`YfVgAW7s-Y)Ul~{WO9?mO0{_#L1X=23Aj?gwNtBPFyhfMsl$b2REdml;e0! zD6WkiMUpa<4i41fg9js)i3vRKOj8nrgFGrZZl6M>rzvh*$Wy&*ARaj{|o7Q z9)`1;ryqhi6b^&PJ;lHruU>~aLYynQ`0vr=<2 zJFt_7G4so@v_iY8(1?riuGSpdhbO{rmFiw#eg^RzGD#RQ^?9t`o5@ek^=8-i z6PHClBHvgJ{F^#hPHhY9(a~@YyDJb6aWWSoQ^`sAGcxK7iO9PKN8HI=?A3Y0&AVJ)(u;~Y+kH7ZLYl5pp-AHfsz*qsW(GnBjZ4%8i4nh>XF~3G!+u` zhRgO8)?%V1YM!`kNs%t}Y;}RoBG4TYEw$w^Wo=c{se|dE5U5Q5rIkH=nD8r1wK`#^ zdHzQVdZ}#a_qPfdrJ=3=QMupW+5n__iUF(gVri|?NpCQ{%|E}zp2+Rd!p4kYsVIY>kig#GI z3QxFyenTnNbtLgxHy>q7f82l&UisS~@^F_CH+4dE_VXNz4yQ+OvD`Qgv>t~ z%t{QaFbC7|NEg@by;hn0oqZ^aX;RP~Sh1)7Cs1EQ6*a{%YX+YW*5#V|qWAb@P=mce zdGpq9*L)C$YyqaHEDYckV|a0|)4^|V*Yk5hB`&CMmeK-pa<3~eAp(=N0CN%_NDOWv zb%#p$Dg7>f<69au7p2LT4U4h>+ag>K!7eSpf^_U`pEDh44rGF*9M-bdhY3Qbzc$Us zLy#A4UvMOl1M~O^FbzwvH89-h{J6DLY&Q>I7`)bU!I0O^m?D-%+akf zL&mcpfnGs6XCH&vN5j+CF7FBbK>>Dph6uH}pM7e957J<34=DKDE=(Ivrp%R7mt zer%VeLn<-!dX8Jtzz51!QH1Vm9G-VCIb2Qg$nA5kKRBC{v;|d!X(JndqjmUd1e)W1 zwD-{J>iKxx6c(QFy*=XXhEtoUX%U5|6T}n;QhmW$K&}Azs-wJkEVBU_)doL z+A|KIcuE71>=0)}S`#`xETm0%?fWBt#C{ZDkT@u!Z# zo3KMWFuCsELAbzFDTNS&Ku_FgAdLSfTsj;O$lb%o!P1?}+tJ~F4?l)_hWF}Q5a_Rv z{XgF;hZ)&}nQ8tyR~ArB7YBnt@kk)hQy>3o-GPb6fuyijdob2N!~5?$jrp(hKpinput_delays_ = from->input_delays_; + from->input_delays_.clear(); + to->input_delay_pin_map_ = from->input_delay_pin_map_; + from->input_delay_pin_map_.clear(); + to->input_delay_index_ = from->input_delay_index_; + from->input_delay_index_ = 0; + to->input_delay_ref_pin_map_ = from->input_delay_ref_pin_map_; + from->input_delay_ref_pin_map_.clear(); + to->input_delay_leaf_pin_map_ = from->input_delay_leaf_pin_map_; + from->input_delay_leaf_pin_map_.clear(); + to->input_delay_internal_pin_map_ = from->input_delay_internal_pin_map_; + from->input_delay_internal_pin_map_.clear(); + + to->output_delays_ = from->output_delays_; + from->output_delays_.clear(); + to->output_delay_pin_map_ = from->output_delay_pin_map_; + from->output_delay_pin_map_.clear(); + to->output_delay_ref_pin_map_ = from->output_delay_ref_pin_map_; + from->output_delay_ref_pin_map_.clear(); + to->output_delay_leaf_pin_map_ = from->output_delay_leaf_pin_map_; + from->output_delay_leaf_pin_map_.clear(); +} + //////////////////////////////////////////////////////////////// void @@ -3382,6 +3409,21 @@ Sdc::ensurePortExtPinCap(Port *port) return port_cap; } +void +Sdc::movePortExtCaps(Sdc *from, + Sdc *to) +{ + if (from->port_cap_map_) { + to->port_cap_map_ = from->port_cap_map_; + from->port_cap_map_ = nullptr; + } + + if (from->net_wire_cap_map_) { + to->net_wire_cap_map_ = from->net_wire_cap_map_; + from->net_wire_cap_map_ = nullptr; + } +} + //////////////////////////////////////////////////////////////// void diff --git a/search/MakeTimingModel.cc b/search/MakeTimingModel.cc index 7c625d74..1d196e20 100644 --- a/search/MakeTimingModel.cc +++ b/search/MakeTimingModel.cc @@ -52,7 +52,8 @@ MakeTimingModel::MakeTimingModel(const Corner *corner, corner_(corner), min_max_(MinMax::max()), lib_builder_(new LibertyBuilder), - tbl_template_index_(1) + tbl_template_index_(1), + sdc_backup_(nullptr) { } @@ -66,16 +67,13 @@ MakeTimingModel::makeTimingModel(const char *lib_name, const char *cell_name, const char *filename) { + saveSdc(); + tbl_template_index_ = 1; makeLibrary(lib_name, filename); makeCell(cell_name, filename); makePorts(); - for (Clock *clk : *sdc_->clocks()) { - sta_->setPropagatedClock(clk); - checkClock(clk); - } - sta_->searchPreamble(); graph_ = sta_->graph(); @@ -83,9 +81,30 @@ MakeTimingModel::makeTimingModel(const char *lib_name, findClkedOutputPaths(); cell_->finish(false, report_, debug_); + saveSdc(); + return library_; } +// Move set_input_delay/set_output_delay/set_load's to the side. +void +MakeTimingModel::saveSdc() +{ + sdc_backup_ = new Sdc(this); + Sdc::movePortDelays(sdc_, sdc_backup_); + Sdc::movePortExtCaps(sdc_, sdc_backup_); + sta_->delaysInvalid(); +} + +void +MakeTimingModel::restoreSdc() +{ + Sdc::movePortDelays(sdc_backup_, sdc_); + Sdc::movePortExtCaps(sdc_backup_, sdc_); + sta_->delaysInvalid(); + delete sdc_backup_; +} + void MakeTimingModel::makeLibrary(const char *lib_name, const char *filename) @@ -277,7 +296,7 @@ MakeTimingModel::findTimingFromInputs() sta_->setInputDelay(input_pin, input_rf1, sdc_->defaultArrivalClock(), sdc_->defaultArrivalClockEdge()->transition(), - nullptr, false, false, MinMaxAll::all(), false, 0.0); + nullptr, false, false, MinMaxAll::all(), true, 0.0); PinSet *from_pins = new PinSet; from_pins->insert(input_pin); diff --git a/search/MakeTimingModel.hh b/search/MakeTimingModel.hh index 4468e5c4..e22b60d6 100644 --- a/search/MakeTimingModel.hh +++ b/search/MakeTimingModel.hh @@ -80,6 +80,9 @@ private: TableAxisPtr loadCapacitanceAxis(const TableModel *table); LibertyPort *modelPort(const Pin *pin); + void saveSdc(); + void restoreSdc(); + Sta *sta_; LibertyLibrary *library_; LibertyCell *cell_; @@ -87,6 +90,7 @@ private: MinMax *min_max_; LibertyBuilder *lib_builder_; int tbl_template_index_; + Sdc *sdc_backup_; }; } // namespace