From e0dad2ea19df56d80c8ac01fe44329bd2063e116 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 29 Apr 2019 17:49:49 -0700 Subject: [PATCH] set_power_activity -input applies to floating inputs --- doc/OpenSTA.odt | Bin 75262 -> 75400 bytes search/Power.cc | 27 +++++++++++---------------- 2 files changed, 11 insertions(+), 16 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 7bc4566af346ab1d70b0b513428bc31d2f0472d4..363af13f859ee0dc28f21634e7d8ff403a3998b4 100644 GIT binary patch delta 38898 zcmZUaQ*@qPw6{(SVwsK_qqQfS^PhQ9+jWz3n?%lpC=KZv9!khYjEBo7gv7Aef(vOz6n*g+P zD-vBMat4mO0mv3HhZP!xqCJkGsp;a4q*4=Hua<Wsmu1!%VpT@dRdv|wXY^6{boAr+FVs_Zprm_U zpFKTH?aWQ*%&;6W{mFJMA^Y#yQZ=Mxe&9xJT`*Z2%T#l7EbK@*blHHlXlp8v_+U3Lk55vdk4DprWc`|zU+^~pSd=xu znbE11qUI*E1m@2{A@&HzeKA3tqnDn&v*5W=BlH!+nts;UmJiy%a(CG0kv0P}ouWJ8GaKj_jR~XRT;jekaBz%H#eUec}_@ysV ztF|GOP@~yoNVOe|!yR4N3)f2s5UuQF%y^b8T;q#nzo9m9aIImbpt=`Zu19k)*RmBJ z2@P~a_KCi){4!YgQ~9~qe4UXqx|Ogz_$+*6Jn|<6oz;n3q!gL)Oq3B|GeYI=ga4Xw zx&O-b`Sxd7cxY>v?ppoK6682xZ=JK545pvFu3sve0Yjj`1eeO>=>@j6T6@5&m;oEJ z|9jxAX7&k)gFD@?=hY$8XMP(#XXfNZSeua<>)v|`uO{z^@ERd&sPr^9ew*$4q=dbv z)RLAa!UGjN;VQz2OgaNUFqLD`eF7(!NAe&J=$<33u`o@Y>sk4_`z48Ie7mWRxN{A6 z*T9nZ-6B1u2}}p#uw|9Bh<g+IAQBW_6IJ zS)Lw&W8d@4b}+7z0q8Qu+-B@o%pX#%p^%K;o`Y%{wA<%c$Yk){#GrU^xJ#SSJQ4==GY|FufgRG!TBz z@tG7MZ}Z@LUu&=uk3D2R{6(`!KI>kzcJHm(hQTcMCU@QU0i+;B>o7t-2*Y=X+E~@R zvml*#-Y;*z=&!yH+F4{9bBrjWjbTlrnU#u=7`^IUK0c|d`wW;?S62$b7fwI=CLK0Y z&<*r{qgWChVk2+!^?LQ8@-eDD*oczPp(?u^iV5D#lxNixWOa>0CA1mt~2KPRA` zLb--xlXq3|sB?>j()f1691Z(Ke?||$0=#daBNM=KXFc!zT-}wQQ zhwy!W7cK-Zt&tB5?h7Zgfh)ZB)eJ<~&7sq3jolCt{JNUO#m^8*#ZQ-PJ&X$1vQ!i$ z!>94$_~O`sMAy^?w87Q+8PBk9vs9kUk=OW0*Fk8{JWJ9et4Pbg!m^VnHcZ`E>5D^> zFo=OzwG*Ra30O)he!NAoJlW7dc9GjqB}bas6tqTZ?_ji0cktY;Rk2joP@T!Vq65<- z@p`M`(A45sXL9q{G+NVYS$tEf2|Nbnk#_%yZOs;(U*&CSM=}I_mfpeKL%7nB;&HUp zVG?Z06wy)i%JQj^CWR7MDGyNtmXF*}$;7tnS#g*sETLw5Tpvdmr&#HY$URCDq*pKOKXseg(`QoU+qw_f&Jz@P8dvlshv*SY_Ak<$4=v;qsWMyMnO5e7w`Te z_ubHhm2TS|OFCIjD~8=_J81P+7ALHemnb(hL->_t%xMWTM9)E?-;P(D%{8wlkVX+Q ze#YxnT4(;8D;ON8-3>d3mS0pYGY3q^)W0Wa;hXe1X_P`n1iUdg1+DDR41xy?z-5Cm zVh7q2rlX_HXND_-fn}M~iq#0|^q!wXK-y47@{(1w1|;_K`uW4xwnGUcg#MgFG|NUB zdxh5r1?y5Q5krJM6{hCrL^DOlGXS=4USA3b>V_JsYjQ9H3fS)p#-bJs(*ga*0-&I8|%DMv0RGlwj~s2ehq zW$a3AFn-egyUGgsF4f8)`47FBAbYNF@z|@BcVHt`_wET&E|WC7W)LZhZ$aegp8c9> zWBEEptFm)4=|6lQFDx&S1?>N<7j*n7{QT9Gjm(1TJ=UA${ZQ!b&$WQL(>1|B&vu=v zln`F^NTAL>jyZwVV!g**ekpDprNmT0qEto6Zt30xrz3f6dIG2doI<9%OPHfQDn;*M zR$wL~^YRuEjdH;qzH*jm8+s#*AHolLVDj=<- zZk{2fBQq%6_h%=^1hkE)?|#(>M|=LD7T>N`>fbC=V9%pm6E}iNw~bI#rv8z^z3e|r z^^)*lGn%B-OIGxJa5TOzXB~yv5m!qC-F>W?#6Wz+ZNgiHhfXpyn1(Eug}Y{SD9in$ zqY~Mo)+{8GVScgOoG|vNQ%`wPYmb0j`rVh$85fnspo@{_4?v`f^^}flL{RPamFK)u zT`E}vnuJ#Zc}zJ&voEMwgY{mAVXRL|UJBFY*t(O_I^+aP2NO)oEGA>V{1;9_g({rT zlO=w#0(EdwyVD|e*t5*V&)%AY$^MTsiZ)5VNE|eY)l*CxY@EO>VU-Tl=>iv_-%3p6 zHs$H)Tz1bG-+|&(ZUqk}yYQGj_E+_J=ju|N7(Rr$^_#Z$poq}ELeHJo?PZ;qS@(HC z7fFaAgB}5pRdmsS!U6JC7tf_<&kr|QH-@&K1OvI;y^FOVC5fbaZ4G^8a5;DQ6iQ~5 z6cK4+F==g7WLomixa14Ywa|)?zjz5>g^M2wd8!w#&H<5BU!4$a>Sj_c$9xzzd4??c zOXOu!aoTBe-n{BrGEDVu%rrij=SLIAZ6BwW6P1vkR8qe;G@%;Rqq_Brrys#4Cc5i?H|UG z1L=E1EkM;09sv?twc@T%^B-EnKaT}3(c~!hw%4=%;cuRXf`{>aqZv?}JPb%R2U4+N zRDTt$q;4p1-HF?{aU>;yuc$SDt+ml&Y z*mUulR*3#GHmi$iu1_uw7(niK!X#E4z+fH9#5`QvBJf$+H5(O~>X)JO&+|JUHXF9Oyz-@E&g#V4cj_@{r2 zXJ+wCIY{E?9?lw|#75MaFWQc1c&5LcWaz&5xIc={uCXbEGqulcJq;KigKmEs0!^uu zdGyu%ac3@MKcA6_51IXR81vHOEskaaat~3LJvw-aaF$ZxvqmxF;z@}3S5|D18KEQW z7eyBZZLN8;zx}*h#Q&7M@474WY#NwJ}dl z9j}H$4DFmTo2FxT|2gRX0*%&69zg2BgMug2D%SG^BZ>>HOHXZ~3nHM!oDNd2oy6*Q z;L!jfX_tfFkYI$F8=y&iFDeKo4|bJ1%(2+Oh8NA3k7cRC8aPv?jr6Oa)A)@npG9O7 zaTIaOQx11T)XrMGnPc^wSa<0GsfN$>{5F>yHC2@6gc#OR6DU1&YQMcEE~wb8!av=@#yZy!j>R$}OGqRzDpodmDOI#<21t%EE^%c+3nF8p@dKeeqL8-Lh8%}v!E8Hn7=vKTV87`)ojnSD&9IxNCksR0gv| zy%aOS5noMw-RJ89%%$mJG!%I0^Y?By=8hGo23^lh=^;cmIEIDgdn%tEzq^-N$okbW zXGsQgD?;YZ@X;SFs2kyRvIta<5jzVo>DaSwTC_Y_j+<|~^cE46JnWu!9wZR8b$qh6 zC_lL4R<|U01yO*X3n{N642koLUN}kJc9FslNgkAt9%TapC^ES*j}=ZY^XCVmYTcRX z2oiUGnRehZ-?fR7Y7Qhx6lKFBnbk$*+2^I_n%MjJpqavMHz$SnboYdt&|=Y)8BLxS zhmD+^Q!s4fME4R2NFo0EWJ6XMs|Jec<2u+Az61;kKJWt@W(R`K;=iDZwMff`3)nt% z_rUN|DTp~F`F(B06+9%I1vFG^NUJI~5*O7@$80KF%(!$f#_7=yijG2;zUn$bwPdwf zo@^~ddBH7ADJENSE@9FuX>+MkDO^zWVU`{}Gtk0Udi%b5M_0w4t{=S5+-SxKfVLHV z9_cJz+%|!)LM;uWy97hX=gLPoF8jlSGXf>v+NKWl)JOAHrnc9mRu+-U;LKU1V!AQpYXGMOGt(rb2bDMEUmeU&~vm~C)YCRV*O zWlmG4D#a{$%4p4XgWQvSx) z;-=0lu`ewX^2>X2xjJ>%`=({uo6An{+n6ZooC|uCznU`B&T`x;tmJ^vGahLKbkK@X zcT)yn^g`PeD9PhDJms}s_qTzcv3fY$`8$pW2Ldnk(5I_2mOQ^uDBJW3Ppwvm^D)(a zC-QwI@%S^q<$TPPKa<4tx6DwIeiCB)r;1XWkZvRPpp9DL95z;d{O+Wa`3+LN2XfxJ zYYxrennM9<8!XHEws15KQXH7`s}QEp_^}7jPeLoyg^^289YHx$ncdG0es-C!pR|z} zLb8v5*T z{`NrF8Esadk>|k!{N2tu{7kHU)9cpApI%Si$&bq%ds^97b_Pl}{K*3g1B!nVEMeAP=*QsYJo z=GkgAg>ZDV5QoQ+Tt>xKD0mg?kW$ewK}m%;d^Y-YA`Yc}E*b)_e<2O40+s)4+j4Oy z@7ltmIG7MQD2;8w$Zpu@PprepX4~fjpx!Iix)LGQf7e-&jk+T8C``{Lxt1e7KB^&6eJoyEv5s~IZWe`b zbLq}oL@Xx^9>fPWZZ*z4wbQCd8t&<`UVbzAM~4eZzRIs#2no!sacdq0khQ(K$!*Mz ze+}ZUjxwzr?1&ezQ`ETMQC&x+CRn~umMK1fus@Y;a=fmmdG4{A^*xi$nxzIgb$aP5 zz^)ykHp~xO^E=v-Z=Dr@ug0+f#$&0C^=UCcUnE%r#Jth+)9MY=H#U73Wle*mQ*zzt zF(Sk6cR9}{o|yI3pEmDj-w(ncN_C`tRcnx2S6vi+54F|UP70$>9LBnin1iYTN0vQ}C3g2vP3Vb>^e z-!3g50Ukkp38dDLx?DlRe^Zv+^KdHZctgz}CP!<)DqFu0pBC;s9(08VUQ7v^kB`d- zs3DznTTc;J^#E+JZ8F}w5DhGT+*rp&es1F;cW8asDmv21MJEVgzVb}W)lxPcV5!R5 zW6-;BSKAu=S@L6*Ij3d3=*cmnxJCX__qsee2-tpN^@YDWK^kEY*;7Bmi8tOfLuur`Og@2_uW%fM;6R?%WvRBoeSz(z)g+)?a{kjoV z2`Vp)$`^n_%}`|3#ug1(>Tv)oTq%?%rT}fBeVNC}6&3-Ci7B@X6k!LNNJ`dNwPhg%+s?a~iA4_e+dQPR$P%?5x3I18 zve@4PA8E>U$*ko;khI9MP-D?3*oYcvp`b6Pu7zG7-%wGq1#7XaszUb|W;2)2e-J<2 zjSZaj-(~_BQ#aXZ#DVw{+NB#+W?+vVsBFi6f%!Mjd3yUIkx_<9o0u(3UDTiE#EVC; z6R67FE`Cdm%?gZf`h<>TV%!1D6pF(fC^WuIS)g-WDUsQPc6+F(C8Hm7uAIG03hmeC z&4n!q`{6mhp1=sJetT|6iK8RA+|e4X{@zKha|N&!A@U#r zM$owXG6^?txxeghOg0J?bam(=C+_LEnjoYy&lGn7xd_t6f@0SkZPIfwFLRBXQ^jRJW zgL!RPZZN;Vq9d!q4H=VP^9;@=yB0x+!=Xu7}W;39`zuKaW1*$3=sQe^TL=#;t+$p5go8DKw|uASK&RX0*d1a z$6_%m(bIw**GD*+vpmtN|E%b7ow_>j(&x|Idiq;6`}wY}-8`|WGhQNS0{+`(vcBQ3 z?3dC$fn6tSV{@yDP|$|dY5Gq1aKu_5oSg}vJ2a!l4akfg zd}IaTO(K2XUVeUKleH$&(qYDfy)ZjsZ(hIFd{i-0WTV#nE66di56v?uUsou1i5Mgw z!9x&7a@E2Af=-F*)$QaPHK4t%E*_-N^JqsRBG(4@hI-P#(4wp$Bo-!bf2UacJ`Q?p zcxrLJ^zuY69?Gp}Dzk$2wg<(!1Es!?_o#DxZbw=bF>IEF$PBBBsfu6jwgzqC_@q79 zjnjr+mWe{Au>WK#;(iro+gWS4c*Gt-#n0f4{uSOq*@BH7!%(TIsm54Wt`$;u01@-; zkI!Gf)_*D8#Ud|T`WMwvui2FXr-a$tM#v7qXu zGxK#!E9!a}+p_!rtM|YCSdv_B0|MUOOtsBeuRzCI}1TOHW7sc{52_O&Q zRN9H_k7!EEpcEj6vPy~i))qfBoisY~6S_O=HQ9|cTZge%qj3oerQ^&8;l8Po>eH4M*uR2|b@h#X;sJIRI3KoWXe@0>sx${0jOQV<#>Z#pQI3Txfrx9=ed=gJp#)J1sf5KCP7NTB;H5ODjcDQLWce=7C zJRFBuFsx_}^i4O#FCW}Bo*V8=Y{|g?oLgx`r2zOji=~c;zI3{0*RmKIOnC+nXY;z} z(~?7tiA5)r?wq`3(;Cq(eZ8{1VH?epUiGp-j~WkXyx&;J&DL#@Mc-?86a-m`W_5B# z0S9R!c(|2w0+BS0a}U;ed}PmA;(|5y4X!|qG$c==uLdG{s4vYTq9kv_9s+-`r;bIl z5*HO<&GHf!V)Lke8d`<0j`jmmMb1nssWfx{KgP8+Y=U^qN^i!~2EiSVIy@QS zTfuL?+(X*m?2h~X6%b@Q={Vd-x?EVK1s^YDwe4wI{PI{uU`Z^M;^f8H0RqqIpIy4RrhL}v-O>Qi1TIKQu zB<;IZs+m2%j%!Ih4wPKCH$0RxRIDbuJ~v5ncg`b?npQILtK&rYdt;GQR zQo9MYG`curUnib(Kbp-gPq7^pB8b}CcWoa>9H%D&PoN}ewvX0aUmci;r`H=+{|;mG zPZR&=Ht^aZ9BN!UZq+*w^L^$Lkp12t`7xMY58$zC~x4 zOHP{Iw=b}pH^Ko_%nG=9M6!oS?cA;^Z5-X+j(+E&e#A&jKR)V_o<6K;lO)^dlF zB7*qE?e4GbWof(u${mxtg$)?0OBaV^cD`&(slUSG&LkeObdxfsGt@83eQU6g%`aW9 z$~;#@Ho-JHP?43iEX0`xu>#-!t@M?h<*2<%O{#Z*%c?ccZA@%P)b6?g5@(s34C3|i z@6&qjTu-Y62U@dlaps1 z8V-vRX}RA71uwSRrv;vE_jGF^u5ZCr`zvbk6FonL7Ux>3@hgoUQkwADmY-UVgN0^B zWA^5NolF8%jd+O&#otfuI!?sQ74E7%BsiN=U--Y{7=RzX8|@%N>-E-O-8NoLZ1^ha zJ$UA8{L?>2OM4$y*PPMSs50T?73VVg>Mi-g^UHtsbj<@qu4Mb3?~Zu|c_c`FoVoZ{ z)!z_O)Mpz)!!mXD544^uqMAPF->xSM5okZuu;~cQ`@T!YcQ5va)R^|uV7Xif7 z3WK2>k?7#5-?*ZP`m2eW>a4x#w=?%b9kV!TYHO)gxnpD2I&?OKa=FuK% zw<8g*{6rV#2>ydJCemJI{7A>8(FyMx-Mt2ZM*!M#1A}bOM})we%kafZAzRZC1U|uF zcHxRy0t?VlendJKkbv?N-;ltO8bsPyT0Swxl`J|lzJGWZ{}pvoB`-~ptl=mrEM88%KW+#J|HO3G#-hWzOMW08==<6idvRxc z3ue+?v(?qrb&F1PNK$P@^rYmb2c;}E6Yy0{L&R?BuAXuY*7uHWA`_ysJJes3=%a&a zsg!)1!uF*w?8oWleeV$j@bMr%W<50h)MHgUXO}3x)4HCJPzU9zdGXTJG$f{--(v34 zgBsGzNX9Xio_>!B;Yj^DyIf-5(4H}w#vYM8)-AX2x(IH1zq!=OL)f}M4@@KGxpmlV z_XBGP{I3Ud$<@t^7e3nBlaTIJ6l6hk3NUX)xrV^>;6R%eEeHUDew(|KRZg+^QFs*IUzjhtB5vS@C>Hf)B`Nmer zI_je%QJkS4=f^Blch&Kw$8>A&w$bl50#9AQ;pg*`{$j^uX4jfeE1|_Q_E&AV?OZPu z9vhV6n`b0kiMM*dXzjhJFzVXa`gm_0hGdb&PXDOf#nb9pXy3wu^y!R6V8-NT?lG`~ zgo6m>aQOPGYs*t^hl}5AcM{QfN7lOeW-pcU-wO~8rUK$&+S0T?tRANZ3TCM5A%DvaiL)8HoLTM&&{d;j2*I&maJ@%md zM?#+*dKN7_SXw2_Xn zEE|o|{(=lBX9R;$YR&XlCWDh#w+ReHt#5?nmFYMs1l5?@yj-;^eLqT2OTE~ssmz+` zQ;Is@sjG4l)KaW^X}>&gMXYz=npyhma6rGqN^gN^0tp=uIh4L>_?7)Nz*TSw6$Y!0 zN_ct^CZm^FjQVV#ZR2%ea;QxKg}xfWycq(nOpp&Cdch$e!F(r1PQZ8IMY~kw!AiNL zvon|+8=xyO-B&$03>7M_mkpK5}@cY2xzl*RiN&+7D^ zZXtEn%@fJ+3bGj@}tYo26;W~R`Y)R}; zBxbJqu79tn7?O@T2p7dOp0QgV(baHatXFUn&5)bPEU9D5bQy-IeX^%KMa+omk?u7x z*QU_q=~N>v`_?5AQukt|z4~WtEd=u^)ie{JySQUlv;C)w+kgI_9@whqu}gxD!)*;o z1Gd_$SEVd*)wgb~Yv5bm^sMPQkj-4k6aa1>z z;%>qxQhC&hx(f&nkk?zHaKH-j5q|e&;3CA*UBRNr>|wiB3!p}S8i*x3;{oiCh*&I8 zkzu#0&$Uxu(FYNn_Wgqex~booU0Ngb0|PWg*qQmXY@ODgA?`(brP$CMF2{Z%Y9EMl z4y{3KAs0?pJm4TywT7tq+cy0AC39ELz7glh_$-w_!tT2gt~lcO(Re$s^(RQscEdYw zC~rU@PS5$W8)cp)%$rxv;tbI1RVJ)di}WNVPa`&XwtD7f@4IH-o_n{Q0A`CZs{ zDB9Kv7X-!KIlb)nE6QpOyJt}oQ6azoV$K^AV){e6We(*M)1L16$IM~5ObVGXySR0n zIkRLbAz-US*5&3Mf=<>6Hc^syLQn5jX<6#fuqT$U_*4d@8-f#jz)6Q+zDBD<&N$(A z5k$MR)+a3pj;4L*z5wzUg*v&Yozx@W1cCv z9@LevGh{Ia4op-ZQ2!C8)p568G*PM6mH(X@6V>R!rmV_BZL>RCtX~R4of0MwEKUa{@UY|&q#&~u>?%bGBB1-D1xxm$yT|T zUMeXK&1d+hA;taQDmqExg#d(yWV)-InoH+QM%KUNi*!Nrpee7Arj~Au~qD}rU)rw!pjs0!FFuo+{3HLd|TSOF8s33jokSA+}G7DY8 zdMXx4W)0Rg>IAq068prN)3Hl&==B76mEHt!B&0%mTi79R5KzZwTEy{rT_4T5-w#g- z%V8MHFkoDEzyoVT4koYHE`F`ntU%zTcrXoVt1J1i(7ar)oH#w>=kT_vF$ zSW1@9bx-UWI8J$U)vU#Y1G0O0qmY_3Mx@>9(I<$s~;p8GUY$f)C#Ah&i_B$@#WLcorAo+)dG#j2!K|z%sbFb%i-pL5r3TGfh3QuGa;` zQ8`wcB@XdM!_NS~pSNXI$YBaL8@2Kr+6kcOEge`-bJt7a)Fj8{M z@^<2sO=(&3>g4x@y^dgGC1B2H$BM3YYO1wUwqxdT$H3aN@+~|Fr;d8irW6Ha6lB04 z0~B7%=fiLUF<}^xbqbinO3beesA#XNkKRcMe^$jNCx%`^jlxk>Ev!5Cat!=gG8WxO zzzqFS%tuG(2E{oa_MF`h83aawFNDaLdQ>mBRPb#X8%%a53<8X>Z;HV*^u7W{su>IZ zwVFjcvAL0gb#>B%_5}y=GL9BFW{7s}zs2IN5p;{lf6OULT`?vCy_iYp{;|{=*$X@u z&mC*ICLZcV;F+iDrOw0qobg+~z8JSO zUNhwd3~q_3O3io>YLOopu1><)GfHD!KW~(JT9L}?Bhb=z{I|)Y;L*sKTsKj{lLve~>kYD(rXL?mo`n0d{SMHKZ_{1gf_LAZF z`E;Iei87u2+Blw0TMkrfbW)H!PNPP1@8`in%-N#Ko&-|if`|eKz*agQPb!B$Vy()hGGJ-ttsTVQQZULpEdId3*;ZpDv(^MDC$*&-QC3q3q3 zx;S&Uc%@IH$*i{h)_-$C)mob$!mcEOc?UuR>qH+ZubkY>Q9!zW-0EX>jmEmog+V*m zHszqznA7u2HYB4EYpcGK@~Dmp*_6qN^K*8QWDvZ*pdMM#Xl=5sExylzE=&*M52ao3 zUS*x*x)&5b*0DB=HVawYHflAJ%{9cJ)4b=tR+6L3H;)!g0q!yA(P%zKGepLE3Xx>R zFTm<5BdYzTApouC;4p}0(7X8UUVfNfus19aDYT5F)j<5_?PK#EH2j7DMTU0L9_o3t zvXj#A=UJB}@Xc!3`$bF>*CiRmKSRxKmq#FrNXc*) zdp535&p7EoL63=S8Yg=0OWV8xg=OU zP0qNmZW7@$ShSQwvH9q^tlyqsmKkh&NOr#s0nob`)ydyib`T-3$idcRtwQw1baa!{ zgTj=bKY?aHT%&*RKd5sV$7Tr}E@V1}GjOYr!#5?lUK1y83SmW*%Upod;Jw-W;vbe) zs?M>xO`zjm<2LxbUfgpCwqZ$knV-1ovRyHO6#}}SOty@&ch1>6pWOmcoQN7 zQ15kNetth4VP`k1dppdkiPa~&uXZtdI@>*gt-&*Q!uii~btPJAm!;sS*)JP?1I%y6e0x zN~dn482TOTRLeyqR4C7Yx)4!VDkm~(E8zBg{qi%96nE?WY5~Bj+c>nvMkdkHRhs;N(@(P-8VKbeb!q>rogXz;Kk~mAqqsXP&`` zm$L9ZZ9VX9S)sVz z6qxDV;{MotXF=#WH3b6BvB+E1ac^P8|3{C zY@i2T33-_Rn3nx5S?sttV9y8U8I)V6JiZ@G^0jlO&%k1SGJJgPX7o@5V(>Ez^?y+J zv6&ImeFz)A)$V`gA;I2s-AnrQ?@+Pn`i7Y18{bzufM)#leA87Ib^@=Uevwnr&X}VN zQjtQlz1$_YU&b5ENdSvDc;vJZ!Xx`@GL3&ee_W7ztH8v$dTiECQOh(#_o8Pzw-`KA zkcOIC+%h7D7?soCi%|^VcC{!%m~T8{AvtYK4Z-BgNInnjncE{6X<|Gg4HM z6^U{1sQt7q-|c}VDujXzT7U14=x0NTuZTtcfT?}Ywr9VP0`w?Mm!20Z9Ss*Vq;W_q znbxK3aywx{49jD~+JTTp@5bo&V)-lO)N)|sB?pzM!L+Ki-{XP!m)F<)p1mIbSX1(%C2=seA` zJr&H6ypxM9SR~m8#)+tu+LedR={(GmKNYM(D?5vjZZggSnu6d^vCqTiB`-(9d54%2 zmp*b%0SDLmn13-7J|jUg9>-#;d`_P4?Lb|5`S-w+T2+Aj8jcq(^B<8W%RZq{usB3E zWFMjuFcMcXckrjgu_`}gF%$&a9usA?*($(gHvL7hJedl@<~Qf0L^V=Fsr?uP0^yUQ z_&0lcI16*2M;K_&VuhInGxP~wg+C|!6#0q@v!ySNI$(GKv$wc+F33K={w zu{GT^z`xGFW1BkMYxLq*W+duQYt`CR{|6ew54a#KXuI+-z7vzd@U}c$+E6K7zU*?;?_M_sj@>Vl%VkKoGy;j){Rtj(!B4i|?he z)9#g1TuXmrMfNkoh(iE9EdDe=G>lq_oGwKWSALs5NS?w=G;}Gh^5f6z-K_q5KGlBdQ{z5~TOUjXF~&DZsd`>5fr}AJAFpn_ zo>}9&TpYrlG8?JOipF{0N{hSP%0Gk)O#oic{r>Nz4a7Ae{ctL)o0?ywnZOZrM-6g3 z+pd`fEza0K4wX0Nv9ALa@D%I_NX*mAYqR(d$oDZLbSElNKV=D`@!=XH5ZIEF7$=e} zNBj3=?QyHoxm0+qs~OWJ5C>f#6gStjh9GDDB(g;6A|m=w?Lf4yqXb&GjGe;)Aeu#R zGWxf?Vno^1`LH%KB6?#@Yc3ktIFD?icC&-DcMS&xc=-^MAnSZ;R^(LZQc=pN2}rJJ z{A}s?0i}(@%bct(bdrw+3Ro+*Oci{5e2cA=z1uWLSi1t-D=y35Trjh!W-I?cr-EQ2 zsE}}^4)CL0{%#My0qx?^BWHJcm(w6p(J+1329Uw%ss1v!HR{SMXhJ(f`2??`GpN(j zQIq(48*&f-p%^gzS@6(uY?az2alGE3pYMMDh1OZ%>F;=x@dbjeY#I??fWC2bj_s#8 z&3;N?h&y_mG8)ES*Vz*jA_>*?T4Ah)2R8504FK6%z~3S;g&p({QW=LHPce1*kxqo^ zkl96Z?ZK8sL6M!Uk&pOBoSm)p+l8A~PpHl_{+4g$D$OrlYUI}#VjgpPeA`>%(^0Vh z?m{iXn1elsC3Y&U18iN+#>hl(MCWXof>gJM3+M7+d9!4_`BqUoj3 z1*!v!L0OmtyHTRW@bBG1=FHjmmC4tEh20Ju>~3-q$!YaCO{E`)h||wqA*Zp@v3S)= z=sp2p;&P;h{7|_Pe`OQs6s#I%F{A5&J6u*FeAuu0W1>o}^Zh^a|Fp6n4SDNuO0*%1 zzaVjuCbAH5Axqs5-NWG-YW@AN@Po1AS}l zxK4B>h;bJ35BLvJJ(~$j1sK4|@e!@dH~Bx{WeOJ!voF7!2BWC+AMa9xI)j=@S}be} zEUlPRlmExN5Yb!<+T79n3PK|Ep;!x=ij8Uv``;bFPr66RFK~SM<^HU2_+#&lmO=Hk z-%=ro-`MBvR|Aa7mnq!c5ed+g#4(6Ot)2_zs9|Htt3{v6th@nY2ePP{k>C9D46gRh z6?)-ex87Z_)aZ|Qc7g8r;(yu0b+^yoO7f}R#&0gQX?MXo_kCx?nBp}~d7qG0;q~4| ztZ#Fj7a3};`neiwpx<3IUw6z$?B0^Hp;WBT)L;~rnZ=O8{kWgz8k#c5%dr$mq0xE$ zQpNe5E*3&W)|&ugoaMaOhsd(T5*qX9p26s%adfyR$N+MMLqB5K{-%#8>7=BIY2_K(eF4G^1|Ee9dsrN6S|EBpaFS4?483feC9Y)A&nZV9O#lOQ>fj^S7GtvpLn6>f0KiWL~0< z)9LhFdNF`5HCl2LLx)-k?nr*#_zeZKwRffF2V=cKC-!wU@1SRC`i_9=%vDZBn#8|- z*W9YNinsDABv-_9L5^-#JvCu%N8MwY-HQpV3}n@kJehm>QUi%4k0vQW+*o1xGYLVQ z%w~u*nxHFXVKmE2#LjGkX?D#8ewKR3*G~+~zyRPW4ja!iwu9_Y)IiMI!$Ws!#$j<~ zwT4}wOWoA6%_b7?mGaP-+pnfR`Mr^37yHrCj@T(up7PxLBQ({*okq*dqjCRelJ;kHxMLMV9XUU#?)qQ;V7ZK`-1({D|rFCLNQqe$xD}oX> zv)OlwHTl2w{S`mERFLPq8$x+CQ_zkkFm}6>k~Lhpn)CANiWecMf8|3gZ~S^?D2KS4 ze;{JG^IIe+a8|}tE+2NyDVv>|&JZClMVA5CJ}b^iy#I%$Z;H+=+M11Rc5K_WZCf4N z{9@a7I<{@wwr!`=H|PB4jfRedbZIN-?j zqgfaW+pW$$7R|0`h-MRSjlG`5anbtXRrp z)CEDY8|sm|Z~%FmwuV2_xJ|IXe4UwVAOUv*;gKk)qK?s7sLbFF2 zW{AgVw+N9Ffp_(eV*noH25IlW{d^H1%>nF}HxPL&#pQl3+NhxXk})C01XDa}^RKZ8 zZLrZJUZ(iUA5AyTE7kJ0Y{rSKNXAvYoJLE{(ujFD6}Fl9!kl?Xl2(Gdc5h?bW9}Y| zspKfCP3F5~O^D$oX8>SZHBC~ESUf8~8{Z)~?a=ngBMZIV8lQnHp%WdM$@y_~fCw!R zE*jnt<_4*d?l65+HBCSI#NW~F*FQ&FpE!zo*fp=yG0o}D?Z13bi8{N7o1T*DM3Dl= ziHGkGgkoeB6!eYwC;YkG3rR(r{XH{@-5BU+b%|Q+i^|4GfPkV}f!M8T4ryfeZa+`8W*HnP!K3cjn*$Zn$X` zJ%3l54-rXGgJPX1P>XnS7!6o)P(?PN!5bUQTX;XFS}dLI0QkZCuEB$#<5pk-0xfBF0yH1X#w-B0nw4JLQ*HNw=A|3ygqPHGm1s9 zji7d`hj^*EqKs>l*^HS*MFIJ_X4I6OqzY|WKzTZs=Juh+r-)9%`@V!>%=$QuEkNOZ z^{!2w0t(MY^tBr@nOz*i&5GHhp*TuSqmAmLnN*XQLMNC<6y^4DD~uNJXa|B#cIgbY zrW^HRKKq5aeeCvk&N>S8c(2zrMO1`BIv_G%6izUJ}Na=XpvRC}M{2H|Z;iKMUJ8Pf>&(T1zH{i$P zM&O_&D{d3ghT7Mw3e0qflaNV@Pew8T($bvImh~9?D=YHX!DC(TRXWbb-7Tc`xp!ee zR&yerY^7LHZY=sVS+uC$_Du9^`S zTqjVV$2J&+tSAGdCqGchLiKP#mr1kYPQ4T5ttMTvdlkk655EGXePN%VymyiKoBMVS z9>+fpeN@(Y7Mj}>6ac$_noR>tn?h-mY0Pl;&owG++X3F+OF~Y*fdq|wnDa|(Uf=>JL>WiYzEBl-ct%OuxG~Z+F;B`_Gf&bd_Cr{CC zU#A7U1!_a)P~&LSRzk|r}Sv~70w=xUqDy*iu^#D7Ix?9k$>(>b(A1VQ> zwxlv8Q`6CQ5VDeFRh$h`49?zSOj5C;xY4(>HBvAprSgf?j5t#V?N|iV0pJhZh%fHZ zX4oTWx4*jtP(lH0e<3ER@M?Z{2NLu)fNAdQ&*KJRFs(Rs)t6_L*xlBMo{}l;!E`Or zV_H-xa@7ZtpWQ{~JM7pW)khv_@%RVTuGB}J34t0AyU*2?$>%(=Dim|_kOcIK4h#rY z$DacB8sMlxlH`rp4U*vhsyZZ>nTl{I?0$&eK2<9uMK{m^<~vAEqhT0AoWFls-afWD zf6E@R#2N*?+W^!hy!A4tU3;> z^e}74EiwTB{LiCXcYVwSfre%NiamcsEgo1MsWkuK*y?C;ll)6vr8%>9F*Pc=6pC>@ zqmFB5V<8poOTAfFy>59{BW(OmuJ(Rd?D?RuqT&AZv~b~6SlPrpMeGCySHBlhN@l!> zTSkD@8xO6UK5?BJxM9flo);*;9!_XeVmE!UW*pFHKWMr7BE)ghWc`q@w1>iCG-tk8x+r3h)zuJTQ$b*KQb9=uglyh~H=+WJ%vPs#AAaen^fiBlfsI%r?N~5IM2a zm})eajVvN^RR5Bm*`mLy*NrUd|1jXEsBjg`YT2?xWCCRdVBofVVah$*Yp-Ew zD%ZaRTD6Qs=-By(HEjy3TyQ7UgA3&;QWUsU9QFW%jJ zPo)|;W|cab7Z@}tnxnhIY?#$`@JFmBxb%#CiJTCRVg}QqjJRY_Z}44f5faE0l=CjSkSvZO9NHdm4|+s{3Z>bgi($sZ3qFnikg9MWf|b>u zNIE+_{{G!?=>GNIpWMIzfs3)t^BU`J&Lt_Z;&v%m3a{z$BNHIz-88t#pLiEaLP$?q z|H2gLsG1;4CmSLu(VTozqvwBaX)vPRt>^69nkH{ai}yC%Ih#p&-0cdT1aL_1_B`N% zmbR7h|5FK)GB{iMJSlj&a$*w~Jxx=#aG3$^!Dm zngrcO4f1K8#MZ_G@@kXh)J6hGK5JU}iEE;w5P9blhFC&TfAO03`7XFxv#8>=QA8c0->DN*x4i z{@La%nrwT9VeOs!wdb7Ai=OEP(NU2&7ySlVVF*arMT`o~hPES|p?n4KT8eNSqA8Co zqkM9KoIqO7FdF6|I0JEejguASR#~EW z^rNgkB9=u)h#S2g&!J&u4_&Uva7Sl$1KB{ny_u)(Y+1Sx`QT}e z?Kfp67Brz}rLW|b?dENgq<;&|X=UG{h8|o)KzU8pVx7Wsa7_V8cHExlgE_P+(?AQU zk{)YNoWO4yDnem+Tz^jr;hVGljG~Ps zVteZcke=mxvw0JjpsxtkM1=!uXcR3gJcioyiDBhjAgPm{?0&lVwW!S4qLb@(eLh`X zVoGhNfQ{lp&PxC=4bJeo^4af_@M+u-es=n5&AO*+9*kdCsA-^w#KDmBfP&fd`!=JR zI@5pXB#>rEq-pF-#n!{L6tU~HDoaH3bzDVS$C5SkV!1_2y4b0x9wU&Lg~L^ZBD^Cy zLK@Iof~v;JsXasFA!P8eB&PhuXp;_7?HbAHsI^7gvOR!Q+JBUx0sbt4M?gvO`?U(p zkX$f4w6WQ{LXFohta>Fbds(eo0`!?0Bp7fO{hjutp zkV&x@&XEIX3c0&~lUZ%<@XRH252#_|1=l-Y*FE30oyLkI18(@R#USqk#gFY*LICZ6glR$Y3`3lI77&DNSkC`Fg2}2wTS`ZddHhU7DS;Zggw~W1~{D_5W}9Z zaMGSkK8QQi4}%o+0!m>T(p}7>+!7G#wLEYC$r@8Yrpv3Jg8X?DqMJ>&E3v)aHAn4y zaZ%-Z9Jt7ta|(z}9%{Nw6!1-5ZecN3xuPZ$)i1hCC_k_3Z4Ib_Nl2{zD31}i?ISdX z9RP+fs+96U3S?YzGK!nb zK?H92f-`FEx1%A^pVYo69Zvly&n)q)uqn^0(7GtK;+TKZP4&v@4zjYVkY*cMG|Hi_ zFOC=-=T$*_sF-BENEapTsvMCv^`AEalzg#-dN#v_oD6g|2^Ty&)TZ{&X|`$bQDz_L zg8R}S824yfB`&asXGZ?zrU~D;W?doEkA(>S`+ROHsHt^rsb0l5z0_2i(eT2Ww1JwdaNHJ>fsHpkQ=)ne*dlur znRF9@Z}($!A5Njz^?r+X`WF5|?Y6Uk=5~!TV!14Q;zOUNet-W|$ul6^Mc`|9dkee6 z^eTm56s~nxcD?*(!ZtQ=0*M|=9>M!OLq{?6sv*ab&26@lK*?;OnOAJ3+r}~bL5nDP zcuY!_E^k#ON_`DY?5@`( z1Cu7qasiUm4DM8!!#cfwuOdW&NRr26t`2VZ+8dWjC)x3ONRRBY7ohrth2mD&De*A@ zv+t0F2iN3AvbB-`rf`qpumc-p z)*;ZQNXaDBSbLIj*`DMPM$rXQVmP=9n>JZFjj322i1#`@n z*awUERPs(PbDbJbnZ{q?{8U)Mp>MHWf5ymMC5 zhJTy6sw(}lz>ytqaj7!?r}wwRq6b7}$$pl5!O`Ae@pYa@wF`A~%&NF?Q#dABKzW|Q zytM+G>YuO}$#HFEJXlq!Ys?aY;YG-`lNO?~WYYB#HbrWxo8~qIKrQ1_4ak)u+R>Fg zk!=L;iiCOh;vw?!rBtZ)0eDg5VWW zHxSGc*0k684p?6r7*yRKq5ri( z?rFOAZV|pqRBDdXRqE))7TJDsgnEBubK72Yd@jiCzz2TL9tOpe?v-l3+U)ur@e}Ea z)5?2Nx2>%ZKS1gB(RbIG-w)N;`rK~89w;VwBxA#-ft`E>P>o5^fWmYnM~jSYAMnT~ zIWw%ly6m8j?`}m^T2mc_;c~w)$tuKP!<{osWWqt|J$8(fGPsgxNXiNtohApAkVuBVt7OJSrljJnrP?&b30@KI#U%-M2#d^+t`B zTNt?8hr8!g087l9Hc|@X5uSgmaHf>_uU{ma+o(<3Awmfp1CYeP!_4gLhefm;3gUe& zsrDhza6{t1oG|iXe!Q-V1H0DmVsVy?S@f~Sjn;MW-7cz16U0c@tANZ{KE;)KNGt9aLAfQ| zY@yK?*QTxN&Lrt(TqhkzGHc$l;^n)`B@7?NPdG^*;8t;1m?mzB`7x=oMidt~#{xa^ zYvM?3fVaQsfV;d?;I*Cm1UHP5B5P{)90=t@16l`I)Sn87Gca(|XweX0#VgF~AFWbA zsI;|3n15C7JROuQeIh0?G-sW!NxX=l%V8g4Npxe5d+fQQvvbZwOP`1ldubJjG(tHn zT(#;~4N8R$cIDSXIY^^Xy*9I|icIK))wrS@fDWsI=;4mn3i_W3@THYLPkDR6tA?)c za7hjV!w^bD(k0n*_*X7`Lmk$M&?Lk!-LN^YvL|0ty z8|_U{B|F$e-;~rmEC)!kR|A|}x~Xa%pfPE{=y;Wl`@MvdbV_{AyFBn@gDiYLAuo~; z16rPe(0Zdz*OzT}vM$>^cB-C%!&D9*T_;JxYUL=Qfz7k{w;X=C(QTQpH8aJxKiyuS z?M|w$Gf#?iLfNL+G>Bs>yrCN(2Vc zj3ugOaSy!5qnr0#9XMU&aW7`2R+sNP1?Hf3=^dwXuNvAO$oK0werfCFKRMas~T z5sw$mObf~FxD)oa8m-(cS>Z8?4yF87psrM6)&TrGS|`}>XfWV0?$OGu9-qFY$>~Mx zcfi?O0C0&UNy=el7y+5}hRh^#FLhpru2@dcEROK=l}QBCHW<(KZ`9;@1cwIpXqJRw zA(%>Pn=WlbsWuB!U`=33K&y-W?Rwi9KfiioTwKcap$XgPo94APe%>JejaR3`zQ+nR z^y=>#x4)lUO26S~N7{s%1vjXLn$gL?&s=+J)duXXXBl=+{Mf0;Ln5%LWRsyO8@;wtR%nd%RC46a?Q;=MdTD75-8B{Nyrq}OW0dxh%qN?*^^eH9B zOmBsF@F#Sr?vD)~W^KRbHOZRCd{e~e?WCJ!QlA9vS{Xo4mVbA6OQWkc=<)Bam^0E~ zwAQPKk_G(AZ)!L;#}4ePcNV7lu3FnT0F+2DxB|XLHoW?8?S}rLiTdE04=fs!^QxH) zsF?kitgcIp_yD#nMmCyVd(8CCY16Gkwnh?;;IJYeNAL;yX5lu}B+V3R804}Q&(@q5 z9M)(9OjI`x+F}rOuqkAD2N=sN%|AHCSZ>U~o-cQ$$;v6fYzD$OUDZvo?h#UfYcI_WH{g1T){_j}YLgC4F$<^4Uy&a$PDhP5K z-aK3@g$|aE=FLf3|Jt|w0s0j%f_v9K{9$MUT>fb@cEb-OR>$DlH)ht&DB;S0f~O9_ zIv)|zT~!&azvyQP;=CF;DY&K>+CBDXpacs$oqNqj)o1h2r(^+BQ-)ib~SZ4Y1dcZmINv_@)Z9o#^S z<;J>Hg<{Osd?EVrjgm|0lVPI){r#&%3J)GIcIzrW(#@%=ZS2Sn47 z`09o!LcfMQ%sPP|nT{aU@)_!eAFar6BMZxc+SnXC@qn!ol%>Ec#4aZT(Tk)_<^s_` zSE`2;kkhlktmqo;H|t_;LD2kR>Ha87Uqx~wBqJezSIQy69zEydFm^Wo4taca@TeqLXxPc8XirD}QluOf`u6qEMpt}Q=I z)hWjF!08F3r4}5g9dOl2dZX=WYk;#0j4x%+kw+Ry7-wt771n=iS(cKEGPx*Ak&NDO zJmc`85n_zD7p$xBrBiiT(i5-p2jW}!N(c(|vnq#KMuCCR-gb2aP{tNKVKEPqY(3gB zOYAw5NW9FBvz@Db)!c8!u$uIl@}c^I!e<*sq!GFxJe#j)_FHVQ(5AIoo`VWq zX8~rDbrw_3>$sG}v&X=a9Zq|4Tnsq84(DB0I{^yHt9TJ6vkjRV0fYFxXML6$4UcDy z_e()&@5FybMYmNTa(&RISe}!YjUzkXW|lkNW>Wsg%O5?{vvb3ko2d+eG4SMv;CW$} zb+6b5n$PyvqV%nnh2l+zlqrp!fQI>F3UVy{u23wDIyT?NK6O7j+;2F~Q)U#re<-2E zQxnN#=A533B|A2%l$ZGv|BIXpjd=p)dkB zCLI>jXgCD`R$SkkyW;pl7DRqUfduxQb9M~H>l+=s<{QoA3xg zz4Q=Mj>>Z4zs-FkWyLUlPs3=%_oNdUvQfW}x+h-%+}%w*F>3+h6Jgq8IF}?md&mv` zhEC+sB*Acy?XhaQ$#b44`yR)j0*Ley%YFSKJK2$FXi8-}^rQ{BQ$pmkcN=f)+^<74 zNJSF|)G@?G=9XNOIYDd~1wv8Nm=xagk>X*>q8Je(mb*spC{F@Tq7z%l{=`3R8YJ&_ z$R2FKP@EAv#Aqrm)pZ7aaxtvQsx?##V{~?`0OvY8gL{9e*bW$Ay#5JebuYJac`ujd zfBc_%wMO3`q-NrKP)vrbL=NNSgdw+=10OkU1J0xkY0ZXRx757CHJZOD*X_9}0VzB|#+O)~X zQN!Ttr&d3h_#ay>cbuA2j?w=rIz8bswI=TP-p&qSu>$qU(=?pEUN{a2e08*182=Y( zT`;?BRWO_KKmJcWs|c%i*W1gyYmGm>Nf|7k0$c$Q=}~~IJ8>hSF@!L4g!{Ht62 zgZBUNPyGcKa$ZnL8y2(7o7$?B^o^#3c_mA6sRH@Fu4QnnVr7}eVM_brxs<2^+NXK# zL#s|$$Xox#>GBXkE!aNtm2Q%i2djgPL0Z%I2&qy5{Lc=$DT~_KTaeb{SmBx8KH(b-= zX}j{sV<(z3hl9&<6T7pQ4p7p$Q6a%#<6_w9N=-=eoyfxD;?>WA9i4nZ5oq{v$0ot| zW$6%ret@IO-k9{)U>0&_RZXk4-$uGw)}z!GCp4;^uAOUp_a?TM z(2z9xl-SiAiCrmDIJt5;yrNjA3F&*kHQ|0up%wdu`OlnAgj0?12(V>Qycf?4&~n2Z zu;p?7!e39i1qFv|`%b0FnFAhsZR-d^`P*<&L7N%{+>r{H%}@K_gCuz50mdW387?Hl zOaB_c=PmQS{Qh^%cWt*RnOG})G)lbgY@?EhetKdDWKZ6RW5^#kl+jPD35B-Y60Z0Y zWnTD34>`qimB(Xv3phTJs;TUdNT_^1) z=gft-;uQ+0Ww$$8Lu|=<|2afF&Wok^W?jR~8V9mx&B+FXPEkMA5boMkz30*0V5~MA z7RyI{XVe)}uqo6`I%b%~L*%j0sd-8-;`FrZG7m1fYH|5Z2Z)!qzNZr5aS)a5g7SWC ztx}H^VGrk9ZF3O+G4=A*W_i?eY!p1;xYOC?8pd-_K4PrNj7P#}yd)Y`l0o1aH}?1k z3Q8H>GEfN%_$bnqFj?MCx=c zldMDf!xHk00Why-4sg}s9A>3@*>lx}pGE~HX20J?S#f8h{o@AmzbjMdm-4W^aZKO= zlN8#%l}?V}4j$qx$Vt}zgA{11)LjalEMAnLvAT}|y@zX!Z04dukiU-*`cdYMbSyBF zv|mRn6bJ`dtn+Y=Y}G~6x>g{XXB8d)N_mL$ARWOZ1MVVFX5p$?$!eP7id@Y-zr}rr z)$#6B33#Em0;D?9974o(3f(z8_P-UoG(u6U9I{;&kZb0!7fd2GIJe%qL#WX(Z9>eO zHe+-f(D@6XQ<^TS+KTz@_|pu)zkc7!mR%uLC1Fs*o-at3(bo9F%vwMO>i$LJFUTR% zM#j)p1`wD-Rbe)^6F6vca|&&Ps`*X@_uEmTm16TgTh3+DpKwqK^X@w6Pj!JFx?!ONx7Nsj78L z4R*17<2djwcDEcV=ltqjrE1W4+?(Ne6l%|7I94#U!w=%dC)$h_{Ur)poTlfN+gt`n z0Ln8G@>DxR1B$1R2@F!#X0QG2oD$uh-hVHz2baG!E^BjFdBESYI#u6$ND~7XzG)BD zX99kLW6{ga@)YmYY+Jo&y4rweBIjUT@m8%@kpI7YtLL%gV2?(K0!g_~F}o4*6Oi=!0#YzAn;a=O49P7lwEwdi9FX~JdW>dRSgf{?_ph!kfeM9eo8fld8()D}F{`LFsqQ|avNlya@K3bnC_Y_P!PU3JSp~fV|xmzwMj^Hqu zU|bk-Ez&p2^av|kO(L&BeZ?z|py~SulxWI^S`ftQSmH95LtcaPS9)=XK%uX1VF(?` z)WY&$!;ECv@&Lxd>B#aR(-V+A!RiP;BvRXH^NV+h^`5s#>gSHwsST|6qhSA8Adp)o zJ07>5hrgwE+N7p%ILWul3c7Qo-$e( zyC#;AVvBeq{%1+0I-KLyRi;AWL!-GYA%ja+-Xtp16v7&jx_7ap?-kGJZ#j?9F0YgY zFeB!<TR43Bn@=KY5E8U>hB=e0p@{Ty-5+CG| z#}?_0f%}lJ!RdlMTbni^xnkdKt0O=hDPF9VBqI5ft`T5T&`RaByEK{La{g09j)ho7 z9c=BmBYu8M6%rc=+%R*Aa;vJ0qE(K2=FBYv-*Egh62bccXy*+NA0!%$JCOF3^cE=w z1c1lJL8qp;v-D^=@Z?P~9iV&(j+2Yf>D#135mjzLFV-B=;~TTQ1DUe{;hGw zk3r4zYG=a$1m622C*Kh}*`~Cb%#a!zp4}4)>x>SZ3>4Fd;W%iN(uf=QnFe2t$I(jEs{s z)7OeI$=M@9BIJyXj2puShWO2i)rbBCM{>c^MkbyDL~JL4bp+kuWAP>%x5DP2&F@lx z#c|Vob2b~R|1Q7&)@{?D<<|)a3h;gJmzm+M3xx5FuqXP~Pl@TY3I|I_8F8ACq{a-6 zxO|pq>QRk@nx3b!&R!PF^=X}FoG0s z5V`XL1m?i_5WJ*OCc1#I?q!2(jS*7bQH+q;Zo;f*)IWp1+moDl6IxvPupnJ-eWjBK zg%}1A&6f{o0M_409AYO3ubCm#cxNrIa)P4Fkv=8Kvq?+YPDM>9dD5r4#w0NiLwZH` zxWc5+*aDoodTi}M{PqJyZ5+vO?1f*2-tD#k*D*~lRN@W){*J#%h1|BCu+y#`Ux&^Z zcvqTaBo{ajwB0#o+aR%kfwl}$;gUXzX`fyEyXrG=w34JP3SZpwM*btjmiSLTMD?@p zS)q<}@Jx;{Tnbspu{(x4F+ zpgO8lQJxDc(aZ*zLa2e*(!s;>KrMB^1xsvdIK*E#`Xvn*&H+Bih^Hs*-6MO^|CvBW z`slHETNBo!WsoI&`?(QVy2CMJ$WE8M8z)WbYQzi$=P8}ffgY9Hj89-+}>KuY$e0&+`UX`Bi(5Fx!#R(Q%2LJzg+0-*T8U^`kYnRde?r|m$`$EiGI8Eu)EjWB?xCS55UJUV>@kcZ!2 ztm>QN80o+1Y6-MJtt+NSB8N79^ol zEH2_4P@u$bxb?qsz@nOmaoHSo&AS&x!~z?(C$vEQWf^(JPYzedARq3A2?RP@nE?KQ>Uu-~x-fMln>(MKw4sAFp{obx8R$s z^%*tQnPy@OW;|}RYsy0_9kkwl&v*5w@08;Y`Y;)d$b6R)3Lzp<4f=f+fS(4$R2HaV z%?t#uX7BvQEaNp}Y2?UTgr4f1E`grKV2p|dQ~=eG6LzFDj;O5r;|lvR)!pt32CAm_ z8KKx6OXX1e)$^0jT&Z3(=K>)kOqq84g3OjA1SmD`YooH(J3i^4*ccjY%2a$Rd&uYL z%HG}ro0>>|JO>=AVz;Le(6^VZW&5{KMU4DBns^QyFgz&1-LCT(V?=)F#>ZRJDhN29n}n z*Ggl=2)&rnVG}LfC#S<6`^u>L!GTKL!1St451qpX`hiZrQ1FElPy=h*RQ|Eia=d|q zIT*vU=pCCk6A^SMc}8n{ALlaj#|Q?3Q}W^-lGa}yJ~7&n?2DZGW*n(X#zYiWvta~E zPdvQJC7onIULPZ>?h8u_Kc|cIr$9}Fn%t$h=GRR0Lw1`C%rJ8BK5-1-3pe2eAt6=!45Dtmg#cD%`VX z5rX|^5xQRgxfc2#L98~=lV?o?=OV=}%%81llm(1_N6e_VI{iJz{w@ao%2RJ<-qy(j z(GHH3wztrbf1C{HX`v66sic`CFinZUc@xQ$%(NYpMWccMEajeJ>|JAN1^w=j`3gUz%xo` zGR}5B6n6Zyz3!fVC3LJubE@$;m-Q3`5h%2TB>On-zvc%Z*Gmqe%V&Lo*7omjAfzgI zZ@3LWm@hg3Jf&neGgR~2TqT`6rK0Yq$rk0=FNQSI2NJ&_zkS8nW%v}Y-y|GC8IJ#) zL4d7HNSBw*fsB*Z;@eab*KJFTrr;&%g3eB^Ar8F)xI{G*wOgb{RUMb8nO@RRdTnTXiZe8KvEw`RXxh&sh zRTc4H;CeHpy2j)t`}PHuOpWUGyAp7LbQ^n4WwWaW$#>6~qCMY%Gphzj@7(pMe6&(L z2LHA~KFh%gSJ4Bvp}z0c2`M?bGR6I>0HZlmHT zb|+&28d%}fk254K1Jn>mavE$(7u$j3OFP~SGl<*->epH9_aC1)BK_=k08g^0i>di) z)JZE;)=i>cS>HomqnieH@VG>>6VMT`jhis>8;-TKIPD@^&ehjT4g%Y!AHI*NZ#4r7 zF{SP`_F}X0;LGc<_4cZxt8Y?;ABv=BINO$hfIsLHIOX2p2n9n(FI>`3oZqdI>WSv} zwChxw237=cmNYsxAPGTDm~E7u%wwX^JP9~2HipmMn7V0{GOMCy=b1IMdZ;NS)`bl& z)dpH9Ih?->88soTRAk~am-3C(_fF8IKHhMvV1`SI9!Mms#;7Z{RW)PJNr+1>m{J1) zHmXz5macDlkzU8}7~<{XaWkraAVv*2^)aDv`tg>lH%sW|b|WVI+LRBe1QutxQ&r<~ z%k20Eaq#7g3bKn=(j*eqrd8~WPYr{k9B^67PlC4_Y0^|)hm(<9zo(9n)6 z*>eBr$3kPWhgyBT*HRRC%;}5LP z0^0a)ghQ)f{;&@nh(!UEmpf@EDwm;|%pjkZE&fPH%>$DlN_eJqtBJt21KrN z6wUVJ`n~SxC=EKKzd6=022s3tJ8Q9u2oL-uuIVpE_L`QD!kShkJ;w3!p^De3Y}pYZi6=xi5iO5t!6cQ;|Bb9WMi(P9}@(H zXfP;r2>=C(t1=pB69UZQEU@x6fJd?Jf!Ch695;vM?YpPc_7z_AqzV*bJE$cdw5J8c zrj*(MYTg8mQSvM_ujI7G%{&>Alcz01d0PWODAI*=i&66{D=SJL;hbYwQJu24tTDEA zQ9JS~$sWKuwfc{lFL_L$|MqZjSL5sTl&jZ%?={MaL25w)&lquF8ru#=7(H&j?1&cch+iEy8u>46 zOt`tFD6dSB{%m6J*#X#jKzUCZ)59vjAj7VZX2!A(lOkmD?ed*`Agmz=x0t{C-%X0+X&bF& z*l4sZ5OUOWC2{Ns+3QWZ$8GHS|4{^v=hka?mPUWqwc{Kp8X0E9zs5U2ZpqAV!j0dY zzjf#`AVx<|9lx5H4UhbD=sVkDgc>tg4?0|c=G>Adq0{sNg(>=YT4|0;r8c++Vc?v53 zOGI|vQh60NW4b+vc)MBKkl(+z`~8+ccZ!%fHJc+cdrD#Cx8}Ojaq!W_hQIDbmts@n z0uiOjZ2`w~uaM zL<7P_R9!(2!eScxA$u)57PWMQ3-!!xFYxH+TNYxCp%y|c*5#I1FD@!X&3cF{rZikq z-XqJH4UpZxQ+}tc?}F(S4_o_#J~8}e`1=(si!tR(NnE3z6Fe6ZR9P~kj2QMY==&sh ztvkMT%%(4k02nc3>#mUua$DJ>bn}50%5dxn>g4jHOO)Mta3>DZdSTw*b{+wj`_1@E zW~s%gaK>~>NLjie*@O(^DA&daE7jtK=)q`DsIO3NPA^~zSh*2m6&u8CvB#MZi#B<2 zEsD10wuB|8?jyTIg5PJ9B2cs{>UFofqpf*+o4W4#XUxgfs_cRlX)`_)Zzn%zLa)4e zOn)x{90pi?_b~6~uHXb#ntrPcp(vp#@*u{DH?OBZ~WV*=LcSk-tr zSE5#MixW|YXefE)oC|a&r66iXnEt(1a#&M!{Pcm}9-ag8v>o}{CyPLOHJ*aTupoCz z^A6I_n2SQtLfL?d{pXaO6eTii@L@=r{q@4Lig*i7iIAr;N;{PnLwDUlsl+gA95!n6 z>Pd5%NEc*lmw6c%WEvOb#tYZg(?lN(miPR(dh<$mV@v)@kjBOL%ffQsm*H+7|{=8{T7GO#G*X>P^dRME@PREtIvJF<&9IXjzgPDzR zW3-$FdygcIq%XcJQsrfiv9LlM^ zT3!m|&rZ+LFV~Of;do=8pzUF-7P~L}3oxK|o8n5&ad4u#TjiWb>+3$xX7%LSX6NvQ zZ2(xz&RO|hf-7AM`>lI({VgHOju;RAJ;#GxQp)N&IpkP>cIs9~O{%j+;ip>cCvju9 zjRqvn>j2Y-qL2aRaSR^-q1I{=fD6$Cl1Yf$U}<%+j9P#aPCy|@3Ut_1=9~iQ45%gb z3W+?IBJxyJx~Ka|IY_|IUgcS3S9WQ7jUjpY{+7{Qm#Zd0XIW*BLrc@onxn3j8w*(_ zZ|bl{)y@cxIH|BU))5rg9N4*_o7I%@57sNr1sA=G&>jH`)GIkD6SbC`RwC(j;;a!@ z2GZazWPPHT+{pO#V?vy$+DJ3O7$HpOWKib&!Hn-y_iachbs<~Cuj!e8^dIN- zQlqTMEoZ)y$j`KZp_2U1rU4di_!i`G9Y4o5<4KtFYtj6Jq`?&%gD~evX>D?ghpKhe zWfOJMHj{-j6rtDU%BAu;F1JjW66$l2{s=iE64pDrJQ1dQ9s;IUrU_T1l;Z4PK||q% zCKSU7+9gC^%i6QSjB(P?%H7I`6(pRbM^%RJ{yi6TG*unGc_VZg%=l z1z#UoWg^$DWRh_k_F=j?Jv@+we_J#o)UVysT@)#xU1cG!t!jP?Q>r*G&kL1iR^lYV zUPuBCTqMB?%EL}0F%$vIGO464%~|yf>^dTx?H_jwEsAW?xkZ)B&n9ax>q(I|Q`#md z&P>)ZSahHO=iVxWHq={W|65bjgpBp!vFAVp=)FpuxcFEvPJN0(QP2_g_^wtA87bjW zzn8aeXsWO^B@VUKl1g%cj`?cZzjAyn?v?=A(m)%tpGNaoYO3&+H|)ezdA@E2Mmhd* z{f&n*XCA&Z>EFY@bu-g`gbs^|9D~Jzv8=45#Kj2=Y&LQ8=vM&;I|S4lYPWxlNRQ<% zXo(dFOa#{KI+dyz!cH<+Y`Qf7aHD|9 zdctc)EuQTC4$kcTOpF-^IRx{zKOro-i&sUf-I~@Q0NZUHrRr*I)!{?Qx}wI?G{j6L%joGZ%A&%> zwvMR;4j+`})O1D_S?_CBB9F@?PY!^?T`e~-Tg$BGDas)-*QBhX14BU%@%5%JUoRFd zZC=7I1#8v{9%6^?J+yP`IDJS?bf;PiM~@#Jx@)Gln?rx-&^$SB3+h-c< z^f#GSBS32L%3xt>B+cuURT7Zys3~{!pMELmq+;#HWq>v2{4fy{v!Wv8&jh5luTO&z z4kXt<#gbyJu;2D-##-h$2G(N)yM#Gc52*<`cbJ-5v?TmdXJ@UZ-Dr-gmBc*Gz_IRH z;s}e%mv^40Q&4LI(CK*f;4l*sKc2^Oz|a0x8tiL- zCu59wRspZ@gW0*>0(jN}gi))_U%`TzzVF z&Mfe@Uy4$|`avzwfnli(2!lz8NvqhysRIV(AO2(q9=$w3au z8I&MF(36~VR&o#!kSK@<67Jsd_xr#4Ue(*Gt)8Cl>Disx>fg?8*K`~9H4^Nw{eASa zcGUKA?>-X5bKz#}Tg~mGEJ^IMS?Iu`#pO3sfmnpM2z&N*_KDHE8@%Dd<0wR6;c(J|Pm zTNcjKpq5-QWM>!-C~yqWnjjspC1onLvx{PC9PJ$y8q|G2Sv2h4{TYC$E`FbYbwMP| z&&iVEg*@Kz2(hFAfv*n_#G!F)^tnpN(Mj`z(y53Hl~n@;y#vhD0KFG4mkqkpnJzrx z2W`-aW}!g7YLUZ2`0Yn6jYiqLjr_PzkX!L~kQyZoMSa`xae+j%tk zLz-m$-fcv$;m#B3@G(NY;~ds44NwN`x$iQ!-?tZK|#g zvmi%o(I-?GX(UD}LZ!l#^s!b`L50#hIh}>&i~P882EH3~xaz(B?Wmg!HZt!CT>2WH zHt9UHg6#pq4`VKWcz9Sd2m4d1KhLI`FG&+qEynyjU%HS`!1z5yuqDN-^)yTr#5*R@ z1UI8-GujOFB;1A?B&zYY#cIFhIzuk3Q2ZnvQDH+xxbLJwRxZ!ZuPUWUCQKYM*+sP1~iAQvsteUbp2L#L2jtzFuMKMqq4WSTk8$pm9y z`$Ja2Q5ov=)qm1@U6ayP6F*UH#1bK+;l^`^2KS=p9#!tna*^H)}bQ7~TxNBlh+kldi%o zM1GA3F4nN~GH;F&>sgf>nAF2t$7^n|PHXF|t?hc!pUkfl5oxjc#s>ZMV4HsHgN)z$ zpsJUeWp}@VLv7$(YJ5R#53BSu4&f?;0x5 zJb_RxDMUSDt2e5~ZcrIcp|UtL9B^<4!NSMH^*+{Ac^z{oqM{^j$X;{g?fM!|vdyv^ zKurGB4~24?1yK2jKAg?D=Yd_+d{vHkB*{#0(TWF!m8w0| zzfIYaQ160tlM6Vp+XKh==AA9x?r6{u zDX*gbJBcn?_?Q6rd=U{lFS-Zna9OuKmD~SL&^yqB@{^2icuN`0@iafd#27@ia?=O1 zWIMXFo1$t!-EAwrAe~JRHtC56R}ohRs1NlWV0Zzj@(-EEwDq03NhKOFa zgM?&hA8A62_Y3>NF`Gr$Y=TFGPAAL>`tV^`k6F#rm||L;!L9@=*+0K~gM{|D2xbyY zS(|U-zIz?)%Bo=w^rQ=Yd&jp3#8!Zv+_=0Y6Wmb)5a;&EQ3o-uV3}RUPJToG``nP> z@O_%{=d`lje5+7`zJ}+}3_n&os=#QiZ_rX>)=sH&?rMf$yLy!CT%MCJ268_yaF*AlIgt9a8OzT7NxLF=bS{xg}`!V4t(nfQ@H{$2%3OX!S z=!`uCvyUNZ&plj(iHWI^Jt~Z0uxL)PlsMcFx9D~2HLJcWIYgUWZ!sbDA3`ZL^va6+ zHutgH0pW(%=0IK1YFuDV=6UX$f{rH^viOf1zCdEW?vCt~XbKn}@W6`JgDiv*I|vJU z1Z;?JbTzGSggajnfbTd#xK)L*!5)qoV#wsDAh$Su{^>QuWMfLSWX&zq{=C<#A$5x$ zzKKAc!cqH4f7aCU;|$fDzRwlMp!>DY1bwh;!avJ#cuMr<`n=_ONyyK}is4!>9IUlk zBce;M!Y?f+!i9cDgc(SpY8k}tDSUHY_$|R|LeN3;KJG;k(2jN`l3DBZg@TJ&agAgu z3up?hvv1!{m4c-YuuKg(B*Zuh_jMOW+mAR3dt2k~+Td@FlNHm;ef_*8NzqIg|E6tC zA$(nKz9;OIdomw0_>#{7zcBFw1zwGKvfrf*VcaU<6y{nLUk0rhYO}ku75!%HqfqA@ zVcso^jyYOK;0UVrsAD<~lNVKD)u`QzWazFI_oGvk$%1^hv)iL!ygL`&Sbeo*k`Y^lJfoT#~o^82Lu+=iJCkjr_BYfe~}xup`)i$h*`^oxK|An9}- z``zw^uRM92+#aMf|42XAF-1`pn3!Ps^+O!g&_O=kGkBiD0uNbaRn{GHQi;rJrJAP)kd~FV|OFL>8GHkAtykH{+m8tbmRDEILsLiL660gbnEXeaI z_~&I6L4j-yqvYFVr8hPS$w5iz<)0E86~L@whtGs}ui1LV6VDazX@o~}WIXv)r(m!# zz{~_;pxSlQt`q(0%Rq0FQu0amgOk{OzBkKqFykMrQx#7V-x<9xh_rQSzUOP``Sn#S z0eZ34x%$UDXF?lpIVRDt08yR#=?O~q2b9TcT~EOY;sUmF=*I_$^fW&U%yKR1*)70T zAj*dS$kVoEUQ4y}VK2&t$Mt7dU#)-3H2biKVFMc@ip#EYEzFCuvj$)M=O;H#^@WNO zT0)Lh=vbjo@sLxhguTNQmAW{WaNX^kWZjs_rL_Lq(sL=}x2dm&Rdx)fr*5ne)m7ow z-fQTh=x@rOxWn|b9LDmd@xiN{9i6+t=xJe4dQz$qO^?UYqt*M1;IlD1@{&>`iS;6` z?G1aor++eXt>j^)$ix^FkNwE@hSzf;CPd_Rc5Osu)^z%(d>JBvOgUa%)7xR68fFSo z6}$>W-w?6mOgnn=wBozgCNVW3IB`@Byey+T<;v5KwI)eReAdqfG#!&wca#9Y3dc=L zdgLgk4!e)=ED@Y9K$$!?hoZ}lySrvKCKog*N5@hd>gw9W(`mR|i8FA=aXG#nt4t*O?aPV~v9?F8qC9y+Y5A8J<}sak?X8LLiVXQj z)GVpx#{1}6D{RwZgURh++qiKUXTNKzb zc-(<11u819hw4!u6w=Ht-E12ts{B#_O?Ae)bo(`x_!K|R8 ze(icEiU`p?(W;;f=cXEy;s{X*h#d7s{Rv}$)SZ|cjFjt&>c1qDDB%E^gKFFj#)gCSLdS6k(G4MNaq z^9%}Cex0Y~4In9clFR;K;!mTcfqV_)qYAHfsb3n2@&+Hep*_isD2v~cbVsduZ*wwM zKJUwSxUT_tKramu_AnDp12Iul?KeYf9$Gz|lybyW?(*?LnUGv?^1|>YHs6MM$^|h zp*vUF{!C@DEia;J6)(^u`}*%z+9X;re{#I-n_B{(Tx@=cV)IyL^i*gLx;Va=+3F4I zeJd0aMWYhy?jYr1O3e&x1l{^pfsNmF83ZD1HWeG+I?e{mOhX%XkL~Ypmiv;WCUxzY8msckb`Y9DQW zCN4a&Wiz;nx%!O(8)y>{dJGolB~JipUFgFmY<@CE;H!YyyhVRPiebd=McBYX_?=dR@bQDfw5< zjzn>SNm7N-*ZTF+XgTmT4a8vAm2{yU%1r*>Uami_Z8DD3ANE z12b?ORA41K#9z)k-O7wuV2ixuHQcb}o*5tAR_u`PgQ>eG2M5(Di%WbbhI(heOii|T zPOB-rcl+g&JYe3&O&>pEw@&diW;V?v&nvg`$TMZzwG?tK>4o`Zg^C@_JiH5}p~A-1 zkKLZlv2GTq3ha8a&@D(J>vAtJB5f`$Kv`(K&>i=K3?tPixPy=07`C)Fw>Fh8oBSrd z>DdgSPJML6p0{MenqgMDYJPI?TR89NM|)ZQp1X-_Ll$)vx${Q`Ma9|h>9~R0-*1xJ ztAcgXnbdo{G7}Tr?pU}WIzeP+c|rw=;?`tl4>pBExp1*d{z$W*B!+jZ5+H%xv%uV2 z@s|rW4^?OM^f#3DmaMEd6#H#kEi7jQ4)nw-|ClNs`DqPH7b5I}ypnj+W4Ox%YnN2* zg=A^=7j{NsHUW-E4&lbwCdNCd+L@o+B5EHMM5~~*e-u_qP;NyW1t|!)Z!$la3wmd) zzxYgpTqzVAT*Ujyt8-dJpmpZ8$_HR(@>NUd%Z;NAu@(wmr*c!EbhOc~#08l+Tmzr7 z0m$ISXx8(4Un(w_?DFU`!Lz;KfQEWP2F~9PHIvm=^EJ6PFWiWAH^<6|?E?=fq;e4V z3bm-xl`?{Zb@qV!e3{-WMsaRpHQqjsK)0s7B_kVE2Hs`+krF{5<-AEb2S7z@@;h~K zQyA^u7`$xKrN5(?rE#uga~S?HA%cq+ClYiQj65Xw2Iv0pDi%DXMzP?s-LH`D;}YIV7# z0WBBEabke4boSs8q)3{X0M!imcc|az>2&Iax!W?-wWRpSR+vB6$StMRHRQ$}OqHi4 zCbXjE$Ht-E?f?25Kk+QCw1=IV7xBPtf*Dg5G)bIv!+B0=$mQj2U2ggTfjS!ypW^M` z8O9IV@fF`Xm~Al@i58qlku4xh6@Ky*e1R2Sj@x|J7^%YM5We5N^9RtT5lR*7@nkw; z0bfwMc5(CavYx-nnxjsIQ|scn9pE_gh>3(e3api1pFhK3$dIx%|Xw z<`l;3$a&8+5=O1K3Yy)yfH@^+*&~#{vP(hyAMwMUQS`7yej?Bw^?%J|JL%h~_>qAR zo0{Nen!}plz}Qiw?h{~+p?m$jq4vdlztWT)-7H>rK8>l-LJqCz-u%T|1@z1djQ)>` zX)rz%VFBCjmgl|=tv9byf9^dRbx=rejhWN1%LeMjA-`S0CG5{2zF%K$#5qOQ;l#5y zG7qlS-*%C1j2Mo10OMo%y2c$En+)Z*4&Y%_VjwziL9kC!{sIC0;=l{aQa=n^JP7?PtaI`7JztN6)N7^sTtzmS_{rsr#|AJ1f`IDVR(p=SraB;)j-$ zEF@dwGp%1fOI-*TCzlML!w@?epGhG)L(*F72ngn`EfI$IYHcxRs{RN51tUMkF6bJ?Vft0k6khG`>vW*!GBM{bv3+W2O%l4STU`Y}7Tkej2w$e{L zeH{4hJ^elWg`=@eQfRh9DV*Pl!S}HMc4(A9XG*jA5?CF6LGM<{ljNA zaKN>*N9sVq*O-8O4h5@{UPBET0k^&?7zENnPC>!^Y}Zx)#wExa+qu8`a8fBFCDXJ4g~ zU9pmYacDp^puZ!8%)>SWe?~TQfbaYRWq)l^qEp>2S&(g5(7U!L!;ZDDfkv9KgYW!r z|6yok*+2bHV6O*^LLP8}nXknVE-;JK83qLM^$T=!^c6t3yBTQz?f1X9`|mj;`9F7_ zi?rbaGaFwI&-L`t5nurpdt!0+Uk4o{7<4^b|DS121?6NB>^K+Tf(K N0(0Z{L$PAe{{Yy`z$O3y delta 38853 zcmZUaRZyNyu&qCw;1D#pySuvtcXxLU1b=aNcPBt_hv4oO+}+(BcK&l}U+s&YwW{W> ztEQ`G`kAl^$d55d1VtGLNOTYg76cmcjz^FIAMvi$GFJH~i5)6LK!*&3Fv@_%lOj?LreQxs#AvCN_$Gw+wgVvcx1$5M6;CXZO|g>4797K`es5hl zgF+P`z7T-N16*55fUcWB(wP>l8-IwQYA@3-Hl{cA7#)~q)eqh_?9TNS&M*jF|%pNQ+tF_hF-a|D&0N}1mszE5GC}Q00MTD&PJHQ zsekfWBh;z`yp6V9&$b-&X|jUq0h*TGZ79TQnlBezPf&_7 zFt8v~jC)})5J(9E1p5E!hJ}Uwm+pFAHDN4ZzGS=E7RQ{4ZcA`wL!e3ZBRf02(l&}Y zs#m1|S**p1D2+@aXEYD|mgIW1gB%epeBRugXKgsTS$|aqmH5{1`WD0R;Bo}!=f(;3 z2L#f%-=}vg{F2&MrKpjx@T>{ZF1h|E!6xjIf!nxVT{(shkMKsUaZxh9E&l28=xQ)v z8SlI#d2ki28#c6~+x0U`59I}02kf<+9b3X@fe?zR?1E_XX`%3ZgLF7T!H!k{6|$w- zzvIJdY_0inV_2d2=3MUK95BL!EDeZWNV+AY8*6ueZ+yHmY^B|W`KZ4h?AqjK;zZcn z$|RN9-t1guGNJAYHA19)$ssLu7#0OqwCx{UxX%Ypi5dz-w-`GQL>*UF++(YphVU-0 zUko$3X{k9RQ?oYRfkvar2aS&|!gNAM(?H-40pTdpcCL+y9q*Y2GeHhv!NYZzP@{rKmcf9`FK6} zX6R&0*L`7_h-248XnVTKV1b3lzSo9K2g}vQ#dAYx@?0}oh1y%PBssRMMI6W(6H^<) zi3utj7gFKknVe6h^F2IL+=h-JV~X4M^{o-W$+`{iLU^VNZzyp>FWnd97$0!i?jO_Y z+IL}Dwj%|HL%C%}Q|LB1_X3cgcyd=bK_MJi6dw`e(^3~VT)r|j6yL}7aq)<`4j_#j zC&ZB_*DKRvn$=NilEI7`xV*}~R|ynTTs5^w@iLKYRaQj{USv%l{P?qZ^%tDv(6Tq> zVdWrk1+OH!>x}Qix1C_}lN*`!A}7kv-;MxH#n1@ZI2_EY=2`Bj)f=GPtbRVc?EE19 zz*GpYHWq~NRk4>jy-R^SN?5yKLHxru?Px8WXWQBb@igg1KjiU;Pm`WMb^;t9=u`?LlCp(q*pY$3Bio1!CypDt^xVzYZ)l6qabzW;?Yw`n zzuH$Q2K4U4b>7l{elfDb`JD7#y}m$9z4l5{p?N#0uY_s9TS4~A97ELcg+)0}s$zB= z>ms=O_S%%;O)-N!7QzL5V-D=dvXGO;(XBaN_6)^k+2$|q$Wqv zGJlKe6KvK?EPNq4guN74pax5a5QIT*i)N12DCh~kUA)^CBvkWKb2 zMVwV0u@~9W9k5}r`f>$+A@&66j>Re_X0bg3BXKM2%qQx1x#C_Atsn2>Y}NjLz#9m! zFXRE%#h6k?EW_vq7@{KUzdWSW=Ln4-vSKQI0|tJ!as^~QcR5szuYOuN(zN)~x(tvt zt5XDvgxe1+;1OcZ6vfJrdar!@IR^eC2KHFm8+1AJ6Y$pB;lYETi0ax0sJuN>Ip0^{ zMAjP+At_sC!To!qXw9D|6P>*HHQZO*Iliz$3KV15@4Xad-$EZbZqWws2zWat*!h0LKeocc`2ST8&MRN@S^c>cjQED zQ7wFf3kYBa5pYR8`&RP$ZV=iLEBGD`z&L9K7UL21Pd2vF_i)}y0C^}n1twy*8egJuK8kLc6dRy=hBY!|TOR6m&|@jhv92fi+#vyKug7^S%< zyr}+C#p?8Vhqj}EBYfMwg2;``4tB6e>BBo528^FNi;m&vu-pcgApjb-_()O&W7W|E z5K-K8i~9t*X%8%RUybld3_$X-Nt4K#SpMuCR!TuK!lm#evUkiApUKDG3ASNX?8@V<)9!)ucWiU92 zS-l{tmc}e9naZR>3}^R&I?!NVTdHtFJ%`e2FKhqH3W@<9F%o-08amp5SU45MZ!u;i zl8A6LCD|29xZL$sl&N(-t+};vud?nGU`=(;waq;`mwqdFF2|Wq;nL|{_#!bGLp!qa z{6G-H1zn&ifbyr-n`WHIwaXkiCYVdl#~t&O#luHL<;8LU;odv{?efWDA<7ubSG^_P z>DZ1|KaL-U4%rj!;U2l&#=85B*NLZmILssA7Pe3^IFn#KycA?s+i+kE840<$0KFwt zwvyi%qx_tM6 z;M*dwny{GE6tYvIi8a{yjm^T|fnKe2B)pgF>TW3G&|CzVr!S=r{bh=l zNqv2$)keX5hk6^yzGeq(Hhj-NP-m)niMfr^^_rg4a~4DNf%mqrmEqm&ydx@<3NB%M z#8~A0U_!M@aOk~hxBJ+81jYya(vt634?6BLU$1@+T_*Jm*uXvpbjjm98`gY-u#VSB zvdUBITbT*W&~J}HVGb4fR-6)%83W(i9?YaI0A2zeMs|JiF}_71@4PH{$wg@1ImIXx zCA&yoD&XRW<%o3xd&TbP0s-z5>+aTy7*HU%p#o76P!t$M-JX@Do`G*lmu4t zXoQ6q$z)vdySzA`1*v#0{ZsIpEHd_6*rlyf$+|PbP+M~+TvRbU`q^&@LFY`el(%pC<;gM-dW-!d?rcG>XYH%D4)0-|}9 zn8t029aGM!vpBs;v`rA+{pEhY9$&lrd0o~I7g?n(9eqEm8sP8!TEnS2&UbAL_bn85 zB1t{{cj&*`J##jdM4#W7apZ>cOO9iT5Pzvy%7F~y>GdTFrFHmz$rC?q<(f(Hq{B+= z^r~r~A5gYByfmdS!o1c;u3=siYYU;6RVz@PYk;gjr1k~aLPwt!MH_=k^R*@BYW8K= z;+0ppmK$qu7=W0uGY#>f+6-;F1FClWvCRh<0<@2ajo`~b0~>mQMe*BVj4vo&_ZOf- z>KHiQWX|r(jrPrZTTensNxG2TCU(zyQsCvx2E11(z8!rF1N0_ILKK zfGC3(_DH1eoa@?(COT@q1yuOgKn*qXCJ-$O_1@r3H|VEwceCwV^0U4-_ckN$*mqd$ zc&RY3dgedNPTqBnlHKX%(8y?QCP)yvJ?UE-Z@mCgq1He-n2x6+hEjWZ(;;>n9gMXJ z|3D{6X>denX0LDz>y3wMOH^MFzl2wlw}5~|Mxe_+k)y~JO06-7l<*A=9w~(}+{2Mt zqGufMwn^Z1*fd(TqW4RAU*k$a3uTf|y9xH=ef)E5Cw@o;pLyq4xv(j0&e#5-Frh}W zBQQX2LI-CM;8R43D@!@kmhckm9e_9nn50u4UmYq&YgH@slJ2?b9M3q##7+t#5A#ca~T~#bdi?4~)xB>^6 zJDAtXx%jp?j{QcjB*>t`R#k-B)Pf#crVd07sWJ?jNX)xmY5w-Cl5M2nHy<lXzCt$Z`E4jYLmte8gr#VPU<&)P`Z^ zo+0SP%|y_dqE?Ngv#xbgVqkxKI=>FXZ!^S&)3hZ5?81lULrgjNPAJEC|E@V?MVs;vtN}9vuP~0y{~c{xic#gACH2g}Jjr8Mabq-0fJ9@9L$%4wH#c3f%XSjZfPE}g7!XwE=CD756jF`Kn3FG@xn8ZCD>6h4+-9$YD)}{g~ zXlOZvl(txj1XNll*}sj~K52Nsc8^Xim8?Pxbi9nrs=)=3HN_G=rxRQkF`h@AjOic> zYEq0X4Qyri-{f8*537D(?KIl+4{yH!EtFgz%3TN3IW!6P_qRS|C-A(m71U&Il4~UW zpq~Z#yGr5+#6g+-?u1$eP&I7vJa2jH`?FRm$JZUS==D)+zc6-!6F$ZObj;*x$?%+( zyJjZ^!BUy4nm`l!Y5s?}e;)V8`j>3XKNY&iqc&c2Zuo-L6E!Wor&z4hCqmr8z zUmLQl8O}Tw@q7B1i9|lYC;kT*u^V^^8=i~I4-Y(2{7WT7V%i^@#<+F8!8xvHf z_5lnCVLnf-n(vTX4ud87h?d;&oqS>PDc3_iIRiSv=HjVN4Rw6lEd(g7XQ0eTlcEM) z4#ykP%puV2R~VEbUIHS=+o60g|N1OFlIl{=#36*8_ZvN^asL1SP4^E<&$m{~tiuML z&W}q4-1gXXS~SSC1J3Ket$W6O1NQ44gs6=DL>00Ii>XKVH#4V#$ld0oLl~7w`F1Tw z-v~?=1RQZYX{eLd2tyQbHP!iMjq=wlJ3Ve4%F^&-)`r(=mpx!xIuEESxeZs?%z>}l zS6sI83KtNSLJ}Ilu9nzM9r4GK^ z=x9-EZ`jgPC#0efIWRa^y_QD1qgTY+rBlbmr~=bCbjz7@ZmMb%X*Nz2O?66S4NDa*x@VspM~Kic-7&RK8d6axyBJH)cA zg5L{fG!;sP%;sg2xmqLN7#|-E%K!JkC>m_N&vmTF6 zbAtqtHYl7xgJibOa6A?=?`6_~S@d#SPh%aYs>?mJOVM_<*W#^NQ(LLCLu<+{`jYUm zPIb#>UD<-;vg$>Pt^But)*Iqv=)bE6qPD0<#5^S zSp`W}%*C?vRA#?rsa4pY9e+!p&ECd|?I~I3P+8jpNAG1iBo6x-JaB4$W@fSXZ1wdo zj-|T-)fmV5fiURxAaVx#D1&rwUoP$#mcMRdH=ni$i%Z1O^kl$824ZWe5a)K%&B(Ol^#%$i^k zX0v`^2Ur<|*@Uj?TN) z&u{kQk!&i>^~ETogZFcg7G8g`9Z^RpR|*%=Q1s)8VC+jCVeMXF_qLyM%|Wnf3l>-- zXtxdgq|#<$1Mfe7m3<;BT!r$=dpeVLx2^#QVz|nkp~oO=x&qzAokgMTVewRv+St;d zqNDo@dQ!e1&C%(<&~4T9zhCilDNLh;hs#^kWnsY>x+U;p21OQQ)MQFdrGEAc^Zl${ zTUv#>s~^CrgWvYtod~=yb7bzho=;L^lN_*<-A+&7;#0OagUh7~pC)a@WN#^Qt5yO+ zkINx8{@RafR0Dt+_hhx}xCVFY&VF(1H?R_ntJ3$1=Y#zkZCo7kK)F;WTi$|5!!pDuEn6%^p8=k^Rsef?@Dk9*TCxeC8>yNe6E&orxsyi z0GGE(E1KHGG%gA3` zrgUmI&D5$q`xib4P{foW9r9e% z@N3P7D%c68S?ab)lE^&CnU)B;@31ou$j(1$S@hx)&`z5eSj@v7P zz3W4vO*sdHh*d^=)fqnC0g`}zII%#zU5l}1qJbYcVtO9pRiU=jBre|94~***8+7&- z4!`f~Ig@c$GOh8?RRu|Q{t5wV^s}P~&SrGE~t65S`Y5tuUB2Y|8UwF52AQB_SG|r$hP@38-je@Gt?6^K`&Y{qDv7uIv#n37}ECjbK%#MO@=_& zWZ*pr7Xfimgj$U-3%j&=p*dg`Qj_$KSV8^i-W2vU7LWb{bX8c#R6DjVD)}HgM7&_R zxTx&}>AX5$2L6$?>B~@EP9ctSp;Q7Fxw)#X$c+7U9+TA}dB4;a`x>|!xoE{4h=3jR z%c=-7RA~&K>)~eKcosYdle|hGkLiWL6b^v~XuQsv#~O6**(T$E74fhNiZfM-5{fRWLAR!@q_wDXoV*Rdze_m8~TXYLDC$b~Tzg6NZHOSd_ziT@ zShss=0(zf@0UB*IHwLd1|kI z+O_+`EXv+vbZdL4A#2_sO^kF#&; zh*iRYG^dOUGg=lMDDh9Nwd?~^RB*vkYH|)B$aI#zh$-3I9_V~Hn=sN-az2@VrJF6L z9?e!9xxtDv#AP~KK>M|NOC_(R_~>cJJKZhjQImLWnA`MC{j}ao!101~G0<7Rivs|K z?X`@K`2zQ;*%LRSOYQe0J5h}()G$_iQa1EKF4{4CRVUKuHGpSDQfrPU+{u}0R}a@n zV8hi6kBNRO)E5wW3W1>Dh03?1BWM) zRL4-qbOhcYj}TpM)&%#q&<>Pz86ap_;;lHCrRJ`t_yAu9jB^89x!o_>*$AKPCv}l% zZm~(vN6Et^b6@kN+p($dZh5u9=c9(%42_o!dFo9Vlwvu3-{5cB>v|uLi&Eqt%01yp zWjS>{d`2PQ7r$&sMJ)tT(Y@1E-FnQ3ei(x31krw8qv<#OHDf{A>;sw5u>x;XU7w@_ zRK-q)R;`A3Es5D<)AmCK>oW2D18KTtx8qcaSZfHZ9T5y2jF2q&8EN{G#&oyEb9-F5LeG_T&K ztOAU^MljZe^o#XHL7~IxY`~i$c6y7Xe;H9E8k{rDuv4|y}R>g3e?0w6UZAH>qg+7}4! zE_eNIxF@uk0=WPp!7ECQPiwBCR zjH7r&E=<$8+^}zR zp&Gs`4-q*I@4>Py5LQsp*XR(4Wqa_F3KX3dGidLglEkNmE|+1GG?HwKT0-o7RAJ!rB7P6=6~a(&%Pk@kHER@Ei63lI7Anv ziO3fAr2q{#KZhM;B?%+4Bdr}1MU1C3UBaMiuKc!>cv+zMFZhL4j9DI1 zWT-IKsmOx9`J1T8m_XRkblkUWm$;(^!0At?w+B0Cnfjpies<&AmE|+-4Dr(D7$9;M zdonTb*H8=QxTdA`K(Vs8~8q1o~ojaJ1z|kx?l*bj;>iG{1ra~Ai5p`btI3EFZUgxx#jQNWw zN5PW$Dm_0=`$ik7Kc~g>@|hkCLw7SVQ1k}-s!jR+u=>kk9N3r^I0*A~2qB|d(4viW zf%)2sS2aGQ877;@zwh$_P5=v0-I7bb^q{t4=q6~j!B%Ux^rX0V2Noj(!4xc)> zJ9xmWTie*^5_DNJ_dK|fEq;N(xDWS|Y514|A5J@FkS$w>8x;|aNXl-~C$+r9q|C|@ zHOG)P;}L~u_-OSJ1I%=#M`Fpnb6cOBh|Soe#0soeyr|E)){g}Vfdb%1Pc77Db7(z} zW{19YhsqzD{8t|Y{?!N5`&#}1+9MOrD-5HFGevdk{IoBWn!6F{c;X1PZzsn6P@<(1 zn{jo?bfC<=bE`xh1g$#)>^P->8aocvf99W-lA9tmJvZq6N8oPfd5+_#-wgcc`?-z+g^v$LHSOsj*&KmrG%%f8o5mDXjW{ zrJ={|pj8<$vxPA4cfW^myeaj_Uv0Ar7AjPEAGjdbjhuBGlxLw{u5j;z2zl%eubHhR z@Ds~%f?m-TED^%ghG8p1r)(eGmm?eq+?y87MQ-s&i_5*G`{i_}QGK>du$9O@m~_lu2pgkzzjkG@u~OVw=U*&_UvD9M(;T z2x7Y`WW8ig^O)j{`oM!k;Zj`LI4RaLz2N@ zPf(!94J#y5Klpm*+=mRAX!@}}2@Xm31vAf32oG&j{^Xo(DXSUoi7dUG*{?wo3k#+c zk>r2_t)h=?-S(xg1}ywY{z&vW13mVbZFFZy!a8~hq?(p^o(lW#D>vIOz!pMgW3 zf%nI2Wa{OCy-h4ZA0p{6pw?NgjLu*l z`l^Zjy}nCl%+Z27l3fEEE8ihMW4jf8@?osY#)rmxu^B?$ZEd{GWA_HE9~}JO9cwxR7+EwG4T{ya)zyBJSneMYy-*v_nIU>3Vao{=b$d!gQ^f*4h z<8?54&3`N5Om=8(pX%|NB39N0kvqNRGt)&J_2Iuk8m)tBG*^KBHv>#0Ze;DwSyW-x zm|B8R4dIE$Cjtr;m9bWN;!olH^UktdD=P1_^>|s^EGGcnwSY&wD(U*wH5i>w6dR7< zJ4V148{OFaCFQtSXr^PRrOvQ z@>ibhb~djvbpM&>(kX9CE)VJ}O`{J(M1LYi)A0oEhtFOot~CX*728wZ*fel;U)*5R zYv4DXFBKTSZt`%K*3cx)z!7EL>^UCkSh~yJ{bU39%v-jF+6C7YWjjl1Jm^W`OOj&Z z6_PW*z6A9?Wa28={@HQYHXVV>x<9Kk4bVAGqOv(-=gbA!>|F8ocHi6lMLg%GwW5H*FTmLc+IvLjJPXp1u;0x4y)0c*hnPl_V0i9{u&%9WNv?f%Wviz1xjM=Z2*)he+nK4D6b?Tp)_!rAVH4++0a3MHVK0Z%AyLINc z*?OuzQzeZQOMjh;%f{(EkSr=?@1jj~NQT?zUO+qWlZI!n1%LC0s2wzAJw(|@acNXG z6r*oKtdlrx7b&zsVdhkdpZfY#OuxDbxyYh5#%nM5s6M>Dd>=F#USm{jM={<}SRKO8K|FsO5Nhclbzm?}hM7UJf%oPN z<0x6tp{iIxQogSokd~pG=^J(A?5y3x_5U_@W`rw%)Ac+y2@m{)xv6kE^g#pQF4>$1 zI&OKyy3h}{>C$Umo+a!`m5DcefFM;j_x-~C)#10%Tb0^^0sMYHh9?rFH5>24;z77~ zy^~?po6}5P7`PIc0DaX#Dq=xN*9s$R6T4;kJje;2MYTZ_Eo&xLpKqt{CxPqEBTFP7I=$wh9(m+H#B@HE#a=C(7sGaN`;ms?&%>?6I1$}s(FTWEx@dS}*DqszS# z^0#;z95dr-4ELLj7+V{^fuWbVnYmD37fu>BmeL>TDZ4EW+y**YA2jkcyc5Y?DWesZ zbs#v}`jpHcpLv$^#cGk?YwekpR2V2mR|dr7I?_tR2@~DYzop4yvY@tm92XpzZ@4Hv zG4R?yK^>6mkFCYGqG}>HWq!8Zm*rhN_WIZP>B4HV3Rc&o(FlU60IL3`iw#HRG2Y4C zr)rx4w=<;mxijAKuSQc?jlYur0~XYHDP6fc)=~hsC}g{ zyYnH8IxBW|9ZDSCPvdF?;)8c@q9WYSmOv1GGyW&$ooGFEvqc5MLHXVKu4v$aoi#%(lkY6R#gKs~z&b)nrLy z4+q15{`{LX581TISTq~MYs#)PqFAU2A9rLO4Vjem?OXiV*iz?MkQ`L-M;>~tpVAKa zQOqSuz4j#AWLFnpddyBY5W*6LTov8zC^k0FsK8iM(*#R$2+-msRR*Qq1z#Izp<3mV z4`Dr=WENhA9j6-TA+#ppr}DCN?%8Z!i0u9(?@F?`{k^8U3s2?K%h}xww%*>Eq~GjN z+*~cW?jqZc>dp~y{Ih3U*?ku;h{TT&DZ9_!EAjGap3;bLDnXGc0usP@FPmwGyS4Bo-`my-GjzcXO-3ZVoTEuSm zu+^IvzM3JY5A$uTr=! zgLr{sqcGf5wYB2rz)T$L1zVx9SQ1M5{JTqC7=+^D6x5&vZa3S1-9}cSvTBaj z562<<7o}RjtLR{pfcmvrvRN)E1Fx)AP?El_gFK@W*8+pyuE?9Z<545UhFifOA65>c z0U^|DRo6T5r%t@Kb#3muVpQRIcnWR?*@{IpBsn)Z7{U|xc_AQy zr45qDu3)na{)3*9(&Lq!*I%FW2-w{uv6V(kO4+|zxEEj<@X55(`=a>6>qdYC z$u3B=<#z%H54rHRycbZ5Hh0 zWplY0qtGeHtJ6M?a9`sTqykpr00LN{YJRF>h!kCr3kVLv@NlD~91T##ez?6==xQI+ z=IH#qK5yd`^nIrft*qD9{-9Ytvy5fsrj{<;arAZnWt^~oNozqJO(B=&WQ1MJmNLUF z@*YTUvyrg6psp(0`rGJZ+~dkSOa_bStw+Z)WiYy-5cZtD-qWE#`=pRMUCS6r&c9iUZb7yZT5)ShuVU^!? z!h6+2w3)G^nOW5H zHFy9Rj;*bTqVCV?0O>p{M)}nfCO8X9j^~mm;>hi**CGVgEiH`QaQa zp2F+Y=*Ol*C6Wl*=(-uenTbGXm4;;#m0;+B0D0WKA^UH;Xq$90Ez$8mlJ=?6)*SJP z6-TXOBvnQNFei}MFfh_19!3w@(`8Q{f>*p_8$1d)up}n!UTEfa=a?-u}THY+QhA{I<=hN=@vnj0(DcI@i6Q+SS zmh+8&5f2>_A2J{ubBo&pMa;+iOK4OOz!w>1a>$zoTw|IAf!FK`RHc>cS6jY02OL|D zO58DEIIiO+)24~V&3~?b)PFk{_#EmJp1Oa*oZJpR`>nkGmiyb2v_6cS9C}e=*(Iq* zkbH{7Ac@gH?lox|s}a3xTqO+*Y=Ba!_*K;C^)Ia3Ps33-JF#g^gg`_ACWdy=8FWT; ztUpsNkUNos!ositJ{jyu)p7}iw|&ON(pI#<1JMqw#?iYBKBje%dJIa$kUvbZY8gK& z2Uvy42pH;%w`Y17!yC3M35D=br*I@}e`mQFxq+e`3^NXN|rv?_JDaI|bPk*q9KzNe-Eye=rMjxgH07o4d_>~tfhhS|Z!!UZyNz4yLvh%zcB7p_^M$$i4v-1E6u2`!a1NPEk zt>s5-_U}~n!#}BGejno1V#_S6?D<&xTYoiq2xZ@@pB}I3miXz-b$wlpGTsJ(IM<@5 zPw(rtgvT{^RrjfAN$G#4$aCtNQT2lR;}4u@(0zl~lpQ{mNl>r)EMIN#L>3ZXxbAkr zs0TFVK3Mm;;t$ww)njl=P7hK!cm5}A&Is{yiO`rkbc44{xj_XfO=0C1^pS_cptC{^~!~ThkNF{-BXk`*Mbm)xDsI4L94fG z&&SZYHe{Xps`>0p$QjSlBdJvI;dJ^_prJpe@^=BZ+bx;Cg-$bh`U>z$ODBq7Wsd+g-1Teh_wIE1A$%_rc+)5&`I)qN3qxI+prB!Jy)x z^ia-FR{Ug=Hlq2?b-uPCN@F%q1Wo4g2&J^v7=$U|C5j8BrG%DoRe1)Y5TiJ8e|-2G z=7xz~oma#9(Q>8hW_9-YMtjS@9~I$D(3*SrZOzdHYH|3xsK*}bo2SV$)<_=Ja$_&7 z+Z)#BmkVmTb83JJ@=(T4gu_}DiA=C}XpE8P>y*Cv$y#~C4)`7v-hhe`5u+*o7CR^` z{G60I)(EhAP20ivRGcp6@;B#Z7~bi%Gim%|XR=@SPX*3Q8qo`!P6w8eVBu&1&MCN4 z+tZ+GCCt}=OuD?mT4Zz!)^*>g zKln+%j8N?&A)YGd<)={DP^;J&nBL#RddQ-3Zk;wOF5^WxDY_uBEG&2PEv?|)9oK|E zzlRI`Z3zM<&cx7ps$QWmGK7MQWN&nt{L3L(!ndGMwK-Q7Adc%D6}QagapssZCGd1a%bPv95{30Pym zaf2orW5>y;`KriF_1j#04~KtBT;|SLg4gu>w<0$wA`G0K9mDe$+}NY-YvVhC&>1gn z+q<0KI2|RU5|?EeGhV;l9Au}A?-mkObX*uMf!7~6DS0E!(tznlHr8Gf2iIU&VtT$N z(LWA#hi>EZK;UitdhbQp*V$(y!{{H7e-dvu=ai&g*#((%G*4u6=FNyo?t-2#62}qW zs8=H~C$(KvTc?Rek1+Oy&%?$96`AX&XeW_9J>5}q5d4xoFDPS#xS14`s|w>+dIcl^ z3{+;4SQ`mWr9pbd^I3RoD^AW^3CS7{I<4H~Oo$Oszx*@0*%UF;prgrXkmsn(9SOMM zM4d9bep+8hxIZaG;^oblNt>CPruituOlfrD*92GfEM_S!V)F^c8U0^Qg(~cti$6!> zSg2iP_uD8$Bw$j?=6G?CpF@|F)$mmP?2qjz_uXqE@Z2|KQly6W4W{Ckdxx==5^C8L z@&e_P;4}MY=*nV2q0$9fzQd54|3YJ8UjO-4IptJHE3GZHn)BY1YcRE2)q84ooB}w~ zf;gLmuvFA#-EK3Tds4qmB#ZX4+Lq=R@>0mj+y#@yKmLP(mja7SA!fu#+gY~7>>{Us zb-*$r%+XofpW*7KqqDKn*z%U+bNdGOg!jxVTR(VwKZW zNi5*Yssk4yx=0L<80`$jBWbjdJdJN|#BrobivIyG!hJ9{tg~1aGdIg#s<9ofErKl_ z?%9}VBYwge7%GvGe@q1)O&BlX6(SF{Rj)!o80;GC`ocyTjBJOONL8!^%*Hh$;z!S5 z2=qSQ$0+V-WwiXixbg=C6sUUt8gxII;@$lq24IAjC16Yf+*U`kz8+f5psaHs9J9`O z3w1iqv0;z6%#j*;8XTx(<;a1>}~6P zWS}z~*5p6pWom!=n*Yq3R(%}|R<3B>bHPG9+1^cco{$xD3DyL#V^?2hzu`>?l zt)LCNEllmd^3WoL`K2=Mf0{Ua-{i{!_!Ou2Hr7*7qImOQ<@cs?XpBUuv*Q>g(D`f(OrTht|Zu78;} zBR}+qW4B>AFZydYAf|Z@Eus7Jz){7$!?i(*RW5yicX7MpQoq44KSVu>_7zGZNpj3w z7iVKVcbP@}H@W|7iO?NLz`BdgLK6a{3sI&eSW_Z7WkAmNvrb;sUk6NP$8oQUQ^)f+ zY_TE@riYAWx)4B|#VQ_p%`3a~V%%(8*X?<%-e13iu$itMaw*H*_w$!J+P`_1h{fUe zeQ`77IlO~VH+!qz4BM82&W+r<<4Alm#0qUz|G9kaAEA=Fzh= z_2}&N-^3s1ILlhXiS-#pDlU?B%rA#K3`gMk@&~WRXv!J$*@p4UBMG^Lhczw?(5AOy z3KT_$#VIF7!zb?F%YUoD)A!k&aVu^AYZSn4Z3<1?+l1sEUMO7W=o{|ruZt*Q#!o9G z5uL^U5-I|sG5H>Iaw`)jgsy}3DKV^-3%mshpmZt)%6Cp7yPtI4kYE?xHc5kV{Ev~A ztYv-BCH5E6>_UeFXgj)cB3ZODVYd>}+7t8BzP_Ca>hNh&fpEGmGMCkPaMO~jE)~H*UFdJ>5(`FxC;t8S z7skwTbzqxYr9B3v&eq*%V|ZqFT0Fi1QnZVvfjAU%`Bqz42L z({o=VdYY$YS$G1}={_KC^uim4?T8%8gpX4$>t>Doa$g$Ny%GfR0zoIrKxJJ;s^tZV z;0++$7uu_S*8DX|Hco8>$?u4OhlM>WJ}~Y$2gb|9K03h{A}U}}KRO5oK0a#4Q<$tM z1&ZELg*8O-m9cBB4=h5~gbV^=tpEkOaR~}XGLeo1RlPf*Z|^hv=oWxnqu5kZ@u(`9 z5_DB?aM$U2tgRk9ce@j{(qwtRCj(2^h7M4D;ufCE*6(tJ+9jVGxL3p_g2ESo;(HG% zN$IEsCfWlkb$YNgySgeUgEvo}Avh}-n1s{QMkTV`z%w9Zu`DfyKtr}zv`WnPL>3zU zJ;oRq`kD7Q(-YAR%*%xH2RAINSa2KG5 zwvYde5Hjw2(c(1*?uKWX^Z_#_8TX|>h-`ELoX(Y79pPI$+ZJR%^(>Sd4>^>B`(hwW|GffB^rUb>p z#NkifE*jn%ZAzf3@5P)6I=W{3G1hX+pF7N8be=ML0` z_GBsuEu}oS{f}4ryT_T7Vyr#nJCE#>j#~bZjQN_JY=m$+l9~<;MRG$6VBv%rr6*S$q#UHKq*p%1i(pp4zh)$p~IuW}Erz-gi(r2@u^TjPK5g?NZOpiJOX2g5=a9| zzD`g$fme&e{DvHpYLwB{DINgED5x9mTO3QT&Q|wP?!C;zuM^MpcW`890tx1viA~WJ zc%|VVA~CXWf;~M#zHla$9z7Pk&@vEQSCf7>=gUa9xveWC2i({_LKI@^4up@-A(*VB zJ+S=1_u5q?>`Qc9G>vkmEy;_8OL>k}H}hA$V1b~ItL_sE)s+Rm@;TsV`w6Uy^B%=& zV#g2pKCACDlQ^Aum#!?Q8%E7!n}?`JKl4;pi{zv3@YiOOunV_1sml+j@skG8$XBow zA9T>q)R(2n3=0~G)94vMUY5-|3o~^g9E*q#r*phO6ooWU=s6$O2zB`GCx~T99d5o& zSo5L^alNf3tS9FHBgCl*>r5n@*@?`dBP^pz@}pQZQ&^(xAWp4LcEKv2mN_+TWH`efJ;C}&UEyJ<-?qQLr{Xve6({+QreE_y}@H-ccD^< z3Gm(zl`YXIkZAifs;jh69+)WbXdD!qn*A5-aD;h)kR&JVdQZ5zjual8wfCxO!UF8P z>k8o)>E3eB<(u9zYlE1aGIWGkuky2h3ry=FmQ6bPJ))y5xzf>6E4g9$HF)T_k3Go| z8byO!B$gD=1d>2(;9iCyO)G_W@{!;v5t;cc${1=C)`62^@L?1d$ZB_@p4KM$qc#0C zT_N27e}yQp7c;Z55T5;I>%X|dMbt}Hxt{9vDAvXXizdhH>ZS&&X8#2{US@8Xr)S(h zr8IK~r33SPihu7_QjyA4vXx)xc^8@~)Um8fi|>&SgN=mn_b$VWyk~S9es!j)wwr_8t1>jW}OrFZ!E;W+r9ZcINP5J!!`>=GE!1~|vS4$<3HH1zV8m34X0>u~$Vo_qTVlyhsl zk+p=JL|o66)AcBmtW50y&bVQL*z%X6 zhx2*HsQVJYF5f<2EyR1CEe8F9PCL7Qm65*InFuJ#JnBEZ!Sfu$Udz=V!pd!#0X4JZ%b2{L`g<9*s40!*oU=}xuoh?Bn7mS4TiUMj+i12MKt9(OSD~vFv6Hz>KM8Ux za0gb2AN0_m`0uk4jA~&;^ z)Ho)lc;1`~q_mDBpf@)#8%xl5c>2J5XN{pEE*>CKHjd z7I`K>RqZLa1up0~8ViRcu4Qbg*>^n#n}rQ*h+@4f>?tVeuvs31!CSTEM@J0aivgLV z6)TEX>rTApRQ}Zja@&4R1|xk-|jz|;BC@}1GAMN zV8r@Zgyc5Qn_UsV7U%gZT`znOI9MZ`32{9fIz2z-RPfEmFA;b zyKwCI*QVY2qdv<@z~W$Qe_~_{rdkub!ln}_U-1?O4&L90XnLr(U>@Y@IxLChW+PXd z$I;%MLji~Gu}z&U`Mgl~XNy+2C|!sYUf9pV5T2@X)j5Ws_uth z-XOB0(GB_&D8{5jx=Fx&b^Yds0aEh75ulfF&a5++N!a<1GCBKS;07IO?!;>tY(JhO zymSFH)P&=#&oHB-c*^9)Lc+D>k@M@nq30vxh^5KC%)9lc+a2!Ryi>w&4XwIk=33*P zhP+%Pd_RWT{K<}LqwYZrVy(_qGmh_(IEE@GXmjXWDe4s#-;^lDo*LWU33oaKCV+cW z#3lJ5K{{ur^U()q-QFGiLR%dlByjm1(<}1XHSdh-60-LWw0DnlgOw$Up$6SA0ZF7i zq(nXjAxsS?=E0&QZ)RYLp4Z!~EW%g7J~asNHvd#`o8Q~f@mQYUTA%Z}d^4o*ex^pq z_Ll-R$o6)U>jRPlDuD?>Hl+pO0G)jYGaVG>=Rw|=yR;yl%Jk3-^kvN=7cCUhNp3MR zM})+!ddNtp?QGjnnMV>?J1dA3Ym#<54Tv{$Qb;>5NSsyDU^^*5?-?IiX>vlzFD@Rq zCHOzNg**UN*EcpTB5tx+1)qeE#OM|STPnsl_h>G<(_Sd}O$Q}gED+YWlj-len7nyA zd@~~Q8^!R1-L6(mxWE)42^W4`9#iSIdsw&LnV#QXak;Y5pQ3ol;T9p@!>G*uNcze! z;J8r?`?8gfpA`U6PvTV7;l$()FEKJ{TLl7O z&^4_Xx3LqJcwwEet|g_T!sFO&L-6exLy6P^lUQfIRetL|^~m4kf_&(an!dsz#@^HB z!BIMx8MA8qCCk4VU12N-%=Bt`&#=}biQoS9OjuuGGoVQKonphHevvfz=2B5|Vr>T7YGzUgnKnjAK%M zLEov(8A~ekby$khmlv6 zhj<@8>TieI6Mir}Wi|h)nWd#$1B{FdV}nhU$iw~9VV;UG<(NWqm147+mV4myC!K%^dF(NnoXCqEuOx8zK! zBcB2YMj8|C!Xa_@ll^)*Px>PqJBT2Q+etAJS{spBU{h#&npuwBNny=r=ENYX*}o|i zw9}UJne1-W)3@%WlwU$rI%$TKq>Yx*;v5Lk)4{a~q99tO%IQukd}@cOY|mfT{ZSb^ z$hNxV=j=mBf6>D2P?20-O5m^pUsMC&EZ+%8^`BmqTA^~Z9p~q{>&v(^P zq&%GG9Vam_+?}udn$?oj4&1s0p7-`eP-u%0kI~rwX;C*Aq{%!;_AOrzor?FcyZo8Y zh*dGTiU8i|$K2lL^XynbDc9>QA!2b60E4>(@A53;)4{AzAWaEPkGch(ij$BUuB-`o zy3>plVam}}fp60J3y)^|LbcqR}i%I-t@7OTV62~^lJS^d*V z<*O*(B;)t>wREC6(I%=`i~mLZ5wcwY96d*?=eqUwtp(p$|0*0(Bu%2&<2(g@`>DPN zU#5`ZN)`!+vqD*cgLyUGBrpZK;K3~oQ<{WBn;_#I7?r(fyTAgL$(jYQ3=%r0NJ<*?ALFPwyL}h#lpxD_-8qq$k~i^TyHvrPqQe@ z^L+)ulBuAo%w+l!id7Q89Tb{>q0$Nr&MG~jj2^>CE(zb0G~_s^Z-7?KY{jyZ{%A@&)OSc##td`o&naJ-5muKuN;2V;; z&i^U8p6~EP!a~1ADv8&NKW@YkzH|WugrnhVLkErk07uReF_i}t`b^<}>Ii%tyR1?u z2rdSlzmmRk`M&2o#_t?4qu01Kxix5OJP4_bH(pw2aTlmG> zG8$1*g0ImgtbPpeLl@eDHr30C`4!_B#{U{P^>E!!$qS>-LPR%<_<* z!(|BikQFFqFy$-bVx#T-H6#GW8@s;Eg2_-@E@`y%?z8ip9k&y_s?(YEfGb2=;8@C$ zRUH%IdOiY(s1}3sM3oI5)!p@hPjtRTm1oaR8_Us|tgt!H2iNa@V3D7L%~G&%9AAZ> zByf6_IC5Yw!7%Jq_B<^Sh)(=tmNyC2Xvap&X+!c^R66eFNPR7oG0XNO}u#`GQ{Y(+cTJ* zyRp(?%uRrlP(yUg^b6J0bP{rX&5^D#2xtRxXf}8`h+r_h82%ShBNAf7*7+Va5EW~W z4mSb-9xZ}A!qMs`z_^C^jLh9ac*t^y(%A3i*EU#fQ~O4ZV8y)Lu`~Ex^^=|30O#+? zv(+FIeDC~HQ^aJ~i-62nekD|PNQ=1!UwnG^^Q&SN`mjw6y$Kvd8Y}h>o)&PzKLVgA zhW$13fgm-p!fZ|`XVqZ%qI#BT%3a}wqXa~NgqxhCY@@D?oW@uYG_)9U%4VR*Zn_YL zfx?PPU>;#$Y*J-oAhdV!_wZVw{DK9Xbz-6_3l~_Bq^QFXDG&tP9jrqnq%E!+QR)NR zlN?i?rA@uEM*172^l9oU|3uL<5K&t6zN+A})KQu~m&$%yt?E>`<)y@eMjaM4RoPI0 zbvPeioX+64R)1&aUj=LX(@%6wLr1H!p@COf*q8g_d&Wl8Y#ilYcPBplksAb^g={9P zDUk$9O`2{ua)>AcK5mjk=fZ_a5QKx~-{{+hWNbts(7Q^q3i0vhRjEUks=(?e=&lSs zqFxn>r>&T5I&6*2zHjo_+Ag_%-Vmv7zjx?UhEAf* zFh}1UI2m`OC9=5A3q-F&$C0m#C@78awb<|fwsb9!a#A2lXY7i1F*KyRhB+{uRd`;s8p zse3Zx15i)kel=VTdQQNOzkf0cnS#&u)(P$%?jv+luw=|jRXCG82P}ffH{L03paVn@ zg=qPR9ju>R}Spf|0!HTKcshe?#!**oIJzxjJjVV(mF zVyst(-H(HA9qsC{DEgXg-vn(U9zP=?>IJEz_WeD{iOi=3r{TKEG6qfMlimAJCH{9U z6FJTSg|0O)vu4ojYWM@WUykvEl`yz<7+NR{INCrOK$G-afDLaBhSs>a<%cUDOd88vvh}sUU+c;{GOpxe_`@|CflIK< zJig8xKKiod04!v6mjqceD^IvyOUWS5so|||IsIdb zf3cQ~t6UZE6x+1fwnywgkt251DaO)75L7j`uNk344j0)PKbkCByYAx0`P^1*+f~p_@i9Sk2=I3ZA&FwthXl3 zEl$Ph{YPHeHIFiX&n*qc`k(6k{^?Ou1CH*)-$qfuPlz%Vpd(7Au?b{Xy7HqRasYl8 z!hXorFb`e8`ObsEJxe4UM<{-mHg9`Gi0Q)p^A!lrKwL7nbT-(8F{xeo(f@IU(8w=T z1Bs*r*Q{#vU)`18L$c`N^0q>33zeSEruOBp6#xV0ZeCg?2$BbH-YoHmBEoJ-lWxOD zxQ=H)s`r{s4OpQXRS$pxiEamJf^%6#0|4$-j6ADuK@OP_l6t-2!66>e}_6Wq(;RfJ3p2U|MsQZM*BQgNq z2?LG==;Me?h1_-PVVXbsg=l*lK`h8@ux8)y1NSP7ehO=Q+pPl~R%l5BWDl=rAnC7D ztfmrRJ^$8dG*Z5R)l4+v?@D{C3U*8ppfh!`!BK6R1q8k;5@m(vWU_r>ECKoc3vzW$ z=_~frKw+ytq!bW=p!AQ7WgH1e=a>QgQ#2X87{R|JG8hc2(g3rGK5!GWJ>HW@3|1da zYv5j|B4T5Y+Ga>PRV{Q0bgF~n>n9lrh1PkGcc0fxIK1){#x0D&gDeT5VP# zARkHJ^Y!`+D27`DhvnyEI3-TeGtF(s>+!#|8IWLjX8=TWX&7w$ly3V=E^JIwMv#n~ z>T1sz-+1F#my`|Pu`NQIh1hnmW`C&{XhCuj|3&@AIQObxJWQ?#=tJ^G8XOj|Df_dq z2>VBOqve*+8oq!JMI~Dv+?(zEGUG>L8+{xWL{T2nx-8))$7$km0L5 z%qr968|5uGyX+-5oAN&{>(tE5&Y8Z|C%WG!ie54-cKY^}k^LFo`_*gLfZ_@Mi)6p4 zx*-v?PT0V%%ekFi7ed@Q)$TLja?5#*1we;$ug3uyIqvKUlvs=Bp*k}KfvCsB*yX;P zwB#zezuHuNtiD@6#>nHao^rwWX3O_TB;FhTk6HOSIe?N7{9caVtR;P)q1Us1c;jEtQ); zZ<&xy@@>D>jxRS@BicIO(WUPEKIJA3D>hh2OX^1Q6CY%()f3RH`qBT9Hl0II^vH>x zT>H!(P#oiuY~+q9vJ8yu*{@ho4sLckB)MTBuBhm>TvOB1EZ%kSXY6rt_JNoRImrU_ z@uU8Ap8yU^9EQ9erBtEjGH+er<2X9|4MEUs^J3{Ar}@f~`^)8Hj?L#y7K@`b-^a@O zOpEVJMph~u)%Ijcgi#`xT>r%(*T2aWy?j@FfFJ#}sbawc(rBSSkpoXGgX2LPlKfwm z_=$m5FfONj;HB}xR2k`;vblql>Zfxa#r5h#`XRcu2U`6djY?C0C5g;I)4?XiAyg;U=E5j09X9 zt+EX^qMFhVbEMSUx1b%zOS_I zuGI_n8Hbm^;trM{egsA^Y;YA&2XSi(NRJt4AeWT!E`=rkH@NzU6G#t7T6Tb_&^kS( ze`A%vIbi5S*E7Q2eq#Nj$^Y>`F}t;fCdb3}#?*-QT6aU5$meD0xos38t@qPXgRpbB z>;x*G3Q@Usa0N2Ny(kM*>2fTsQr&8z{P}0OY$x~yYP;3=(HbJ4_Icb)pNKsp$@=4T z0s-7%j6BgQzGyTr5(C!k)x=TwsYB;SPXD7$%hfA3Oe5^*X@@7mT4s1HfYV|(dL3wo z5<|y|Km?AC~E9=N;73_${u%Qw^S@Bz68#@IPtb5?B}+k`I@Y= zeguylaQwXC}`yWGCOiPTur1*>gD}gUBT!!wtkk%%j zQSHi)ekcIYG!3%W2RXJlMFH}suV3X51-4^@oyQz`v0@5;?f8+77sp28~c+iiR=XlbLnoJ+s0PV-JcMe7!p2$ss;f|6r+S#y>hNMoTLy3S>8D{e zbWz6dTUs{zuiWwVd32T4uX)bYhN8#QByQduHJK z?7-NEf{^66M1!R?Bt>66B%<|Br{ZW3Is>Nz`w-15`}C2E);amtXT7tC_iM9@ilBr} z?Z=|qNZvQVTd`|{Bk`~b>9s-X32!6$*GLDT1GhhG;sPQ)j>yrx9ts0QyoH_wt%9_I zs&@+b9^w52Vb#0CGx5CAUZr@rjwDN7=A5wWApDoRrnE>IjZ6H@b89%NXC5JCr`^W!9xSL^IHRrKKt{uM zyg3a{m!5eSDeDm&4NL~cxokS?W|ASR!%bzhPF6!d{bQw@p%3p_m4vCQ_$+r{mm=|< zrM9{glt^_4Pjz#@hG0SfNDpXDxYr2aj&V|N;_t2S)^gj7QYiSP?DsS#Si0w74(5Xf z@n~4%Qt-93x`Ac$qAM_erkfH)>p#Sr8Ii6BiYHLeuCeF4o-;3s?Qoch_<=u`TfYnqAw)M=v>}^+i7eQ{JCzzIP9i^vh0QNa-zlSB;DCD3xDb^umC7wXF zdvI^`nqIA--H4X2Xv_XEvE~L^zPwo7VubwB@xJ4OW|!03Lc}c0D5qITTPjUM#LV$h z)kA_8>F})V2Ko|iKC*r{@r?^0YSfcH{pmlnFaUiwN0K>_<}IP zTVh5TSL_J0deDz|7zpbhG015W=5F30C{cNqz_~I17)Fv;w$j~}iD?wtmum7|$?!eB zo#|+oRSg)>dBsI+AafVMRB>+Yb%a$M5foa8(X}Jr(Hb3$q+4?ULwyI-x6ft5cIVnFrN53nZurU^NR==qaKB2E zJ_Zf7i&Ho7s=D6kO)(N{Kl}#>jwQ?E&!i9Ti|xAL=qq-faT$#O#9+rEs7NdR3uLZe za46%-l(%nLe%X=Flp|%korswmW9q^Mhb&iVVPL${-7F zp_6bUupz!orpJ8=9I3n>=NWowgnPIbztujE~eEf^e~ydJP{XeveR&!C(fidugP$y|!sjIj!U9IB=e-$UnA=zyp^>MUy}T4_X? zF|{lzKo03=F*@|~AICiBa@waJ#$*k5J0|^vDEFiCCfn_6lG|JsMd$Di4K+>Ujm+$S z6Cm>Y<$7GM?hnwp7pEKATU?y*6~H{uu=qTd;>y}4j?Xte!+)Kb$F*qlKIlnDLD$QG z0u)06*e+!z@hD<885)z-lENA9@=`_AH?78^cw7hD0@Zz+hm{j$WShlwrIIY6YZWd_ zAfZ9iF)riJ(OO z6AKwA8p@-j8P7~&!$BAtz=GE#A5*J+0Tn@u%P8e>v&u2k=mx?q>WLvklo8cLlfHu~ zjbmJ~KTA~XV{zEA8MecJ7Az|uD&H?A8lzAFw0C22z#mTrze^1TBp&SjU_Y3=f;BDH zEgJNMkY;dx*URKZ1Jj_GV27n#N=vCL+I~LP)ipupf6W0DDiCaQ1kdSKa*Z2tOn$tDjh%qirx%;Luu8wrM z0G}#2@H?WyqCD8+UWWC*d~QBf-Z%A73xQmJ3bOGwAvk|Dq}Y8s4QC9p!*~^-^{E>0 z6*s9tQIID>Tu2mb;!MdX)jdjppq3-|w{cr2cT_8!iAL)eg9;jloZc1enM&}UIr*82 z*b1fjiveB6evA~=h>~%E!v5Mz4j$MH2rB0RcsLe`M`VFn0kOM~Ieh_~#MJNxA4Eq5 zlvCB^5;e7)Eeb4Z*2Ca1MFUfVG@YF7lT!NXiQI7Hi(rAt3`kVr;j0p0!>J!5UO&im z?2hi4*kusg$IKsj%*^oQ$<_w&*n^E(`?qOUW7o*Y(C;RZ6|p*B#Bg6Xyie2YpcaQj z_*Y3oHf!P}xbeQ%CvpwrGO38O%OsA4YXap?P1EF?X{39TsT-Ls8&{p(l14+!a!x%) z%CJE2{+0Y{K*9x5cdikj3}h$llRT0v2MC_aLKuSu3g#oiQF^0Q#Le9HQ|QZX*as0T zCg(SVNlq4_GgEfX1!`pX$3F92*t8M|12G(Yl$JEq6k;TFz>a3c7pXyZ8B63z@V zDFYLGV!z-f4T|rCDWZ@ZwlU#f!HK?lTf4nRIZSqU%gVW`k#6DFPhmnC{tAXY%d1E zR!T94eX7LE0uG<3)l$DEve7D7PM>(KDHI5ba3}&u2)TdL>0GUr#fC#|sZH#?4E@}O zosz0IgF!qxXepfk-1{f1Dun*R*6o*$ua?5WGsyHvDPhu=Kz4Q{&POWxGy?+F8!}pr zy*3jdIAJsT97{xb<+I{k0m;3*firRcwDnK4*Q02_O_RPJHACrg%ov8?H%HuR|B!Fq z7SmVPwS`qqYWMTQh@#6Mx#Xt-b-1aKi7J;^oxpzM2~_Ka zK*2}dUs(LO3^(2RG3-8fReREEMno=>M_peK1cqq7ZMuh=>`Q8|Iw35as2rQ^x>7Fx zAgwA-IEg2Ow*!PL)eL=bO~k)uh7q=km9X?Sn5h>^-W8HCvSkrt(HwD1Gs((=93)c~ zDv|aaSvyn#qAzT;Ob;=R^}Ka8MC)L56|lk5fmpmjwEWP`LjpSyMnjTc#6^@*1!W?f z=z}-@(7moqnTTlrsA6wWBf~CuiFoxSWST*?o*cI<_~u0+gl}=7*1;q)NxI^oK`)|E z3-QGa98R-qe*_Qr$SD?+4 z80mYJ)eYWVn3s*ASbzNOgHyfjeQxwHLLYS*3F`lTqQrFVGh$P?dz^#YUg~h@F4eM0 z|65ICE=8|)Av9b0BDudh(!veUa$4nFLx@^1ao5DKI9==9b;_N8cHe%+3jmGP4;p8A97H2J5077S}9@b;f6ly#jz z*J$@q4sIVv;Q8+!(0}@)OYJMZ+kUg!YIMqFoubDDXtIr7(i>95{zs&JPiN-@hs9hK zS|Grz8OW@Z%!J(U8@QRFGU2LD7QlgLZP#>604@s+-M&+`1Zkd=Xwy2+a!GcJ{c6(w z$5QG;!pALTa`+>86H(8kZKZ88j%3b=&#Y+zoXH|8M+?sntZA`aHAt2af_66+l?pa! z+>%x9l2!ps_*+yD@yH2;@B_*{i>B6Dr7NqO~bVpJbEp1>@T6paK}ldbQOsE^KqK)+H3LOFR2p_xyRilZNLF7cT_Yq%|a{_0NUpD%1-NNV+*sfUw?VLtURBQvhgJ8AfqF&NCkSK z@FPj%naY1zg&?hv_(&`>E!riY=OBlbf3yju=)b}`gxe-hHptQR(nr`mtYW3 zb8%Pgv_=#Lyh=ohFhj56ZAL6D&)ZS=L8*c2@1^oYA77(N^)VZU z1`~xm_eAHzjq88L+@MD70Xzk4tlghSEB(lW#R_rlOkMOf<@nE&3qHKVJqI~>S7q;d zeZRL+cGO=gZXaeIYfjfH@_D?8pJL8la0I2*2qVFKi+JhhnngTKT@_(QBL+vm=@)zt z3wUK)!89z_4eR8Rv~58WMw&3+DBp3$)j)ZXk@lO@!9kO73f{h50TCK5@=KAm|8(YC zmLicFrkxGyA|@AF{LG}A+tVW=b@9vP>4mLTHY2nHvNU~951i|1(Ek3KM4YZCsVb*Z zG0rK93s0^b(=u&PP9ZB^-gBouOL1qwI>O=SQO&@?3)*XEB_aTIS8Mx> z#FTx=37%`I@Ou?@0$$;Md$5IsI3?;B5=iR^FOYD~+*s0_T^>`w3#zpFcRHXGf;+M| z_i=fdQ0y-%D<#*hcx1Y9^GEqA#DOvFk3{^O6VXPw39NL2O3PdE5ak#7@nTZYH{I6; zT~5)iRHlF9$Dm_^^)+3LBSx2{ounzn4f6F}%&>5~1iE6502WXZHx;HG2i(%R`E1sk zI^N?`MT#^HsL8dXzvhmy>m3dx?nXMo@q7T@LFBsDe}i5>+xiH#Fwg!9?-^cKHE2On z4hx|Hj>HnG-&vlEj*M*tedK}KiR#{&aKam}e60jp?5S2r>hsKDp@a?MI_Qv=g(19o zPegN$-Hlwf0UnP}3Sj*4ngUCIgfmEnRtDb^gvqViD3~u-ip#b#hnsbiu$pb3;@zec zt4Y(mrc`Ibt-)FHOfsv&m*?@Fpt{etY6=?dE3P3T}m*4&q_nuw-u7d!6*>G0=t z?36LGTRWzlPj&OpY4hnF2Ns%j4+Jlz$#;}=geFe;Av)EvCYSP)RCehBZK4qV3yK9P zH7yeL=KwaEa`S}FJSp1U9cmrmR1WfKctfg8zKHm;Ka7GZ&0yZBU~{)wt-!;Qk*WUZ zv6iq%;t4o%J3SbS!4~YjjCF_zMIfz<8Vu6+De+TjbR3J@ueDRqVHov0fcLzvpKYhM z7-LIq)l>>JUnH_66&WyKSgQ~Y_ulOZ^i|xr!VUkU z4GFh?XG;v}V+X!krq)ZuvjGW*(z$2xucKY7Zos$#5mj)LOWW!S12v= zCeNIVKFN4ieQ?>FO7ecV@l&Gz*e8cbey4cz{&Mq-{{87WbB+7LZ-IyC2hb+)F|aAH z!5YWIk97${ti3CFbK=?ZfOt2lS+QS0QlAcmOZ!@3J&s1LLZ~rVDpqHyBWBZx`%Xx0 z`n!W0LDSaBi~^Xx!z8US1-yB7&wAm#V8&5v-h18eWrEuH5xo2h4@qtX zVXw8%0Jac?cA=)N%ZXMFK0X9vhP0p(2&?}ZquxQ;vZP6SWl1^W&}qzIXQ%Y%+B|s@ z<8U1uY64WLuNI+C?D2QZCoq;E^w@q@psCw2DHhMjoyP^y_+wDFJV{>C#CPyOsk-vX z>&CU3WmTH_5(vf-IB2tZEKPjvdM8t~XQMzt*+ zLBmU2*@)WtU+k}BJycAF{yBP|yX{%?-Tl3Se<8`g%TE&&q@Gp&&%1JW7=A0NV^3LG z?GK@%*rg>jwDu*I1wsHqizurddL=%+W+J+Gl5Pv)vM4Wnas>hYqEOKrvkL(rZ5AU` zSmKCtQ~s(}2rZmzcnnu5&1oG4<#N(0y6e-wFm!tl#g6upDwIe+JatP#c72J~KevVck>Mp(&y)olR`%3iGr9j8pjdfrtYbm4FuXEQYvdh}aM}O|hhe<8vc;*8z?~ zBA?zyxiYtnzJRVuag=5+F?`rF62lYzitnzET|khg#IE}R%pD^ zI@btoDfUkVM<4Bq< zHxh7%8wP&rFNC?oIz1Bxk!7`cZjO`ILArERQtEI13%1zFBeW1a5{t+NPGnT-M&D8K zFbY1S2d*c-O`-Xx_)nd61s!{I1UbM|M`$-450R@h1T@yFx3}TgsQ*DD9ApX>-$;H^ zF%6==axI)I!)uM(4)o65zUUH3k!SbMUh9xq-K#}q@X(cj<;bt8lbR_D$`Ois=xHzx z;;eoO85l1)OO7OI!Bl3lwWNk)On{;#3x5@xx#%%!Hyf{I#C==k>|~G|?FN^iVjupi z)8!3hE#F-g1QSW0!?L$o&O}T*_cG`CCZ+6-zDo>_FMcg9Uf<~79X5-y7D4tQ>Zbzi zH1Do&+o`suaKm zo}&4}%a>Y2VZb&16i{KdnVDXXV&!1_W6(&@{ao~CdPf7Bv=IgcyoMo}pwtjlr{mshR@h#L2gu6)<=L+E?tmnn3zv`5=9{u|2 zB>=f<$hRt#)X&dnh@TaAxA{qOUN|^{fGJf!v}(Z+0UG>E@yfeOe}>pa>}uz%SAtBp zSLhmJkJ(?`FNA$mT}&_2Uj4pLmm!5+-`yO#ojB^$g=sBK=z6_#DLlgZ)=-_MMi|VP z3v{43B+7=Shq4ff8ccsc32t%_N%uMS(1U_r6|qn7mXlYldp%{C5@%0h>+?>kKh*~Q zl?3x|8sK8Kv?2%TDjbEsNX+PRn+#P@IbJWqGu&dk_%L^2HYX1zt{$q6B8=f`FCM&S z>|ME3v52wd%{P{S-b|7&T6R01`TVRvg3Yy!_{y(M#tR*p0RK(ITzI-F?O2=&ridh3QMx_eF80^lk^e zQ1rAxtXXzF6JXg#ufZaAsmY4JBrSr!DBSf_m4P(bZ0PEuRQQR2mXvrV1sJ7?l+vFE zIji%UNDQuZV|^Miw}GP6Bs5sZsFav+c4_JKgWC}BR!NA_wvjVoFt1@QGTZ%qm9`A* zzRwSGlM_wH!rFz^VK7Gw?BjZXyr7IYb}p7|*}n>ri162hTKaT#mY|Q5_y~#jtn{qY zW%*E&vopnPq+;xeA?BZ2JfP-}eL2C}f=amWZ{ZAX^kmvalI0@46?{dQlSR>pVn8?H zO2--^n7z)Oc{8=p}P!AivV)yQp~AS&v|JakrK4Q7aKxzc-VH#xKSI z%)cBl4#(5vfOJ;=7wu1A4O~vA3&;&S&dA53IX>smn&-2)Jr8b-VgNpcO&F^l=8qN! zv1=#x;Qlr{gxX~KK6GN*$nVzGc+*CzaxQO3Z}_XT&X#pRXDJj89MZ8H%0h3f%vSA0 zbQA03HttfJd8cKX^3gMpFqfbwq$fs6$yte$l{R;REE+^gg*VgB+<__(9?6xE%ek@= z>e^ZMdIb~MfACHLV)N(gHppr zp6Sud3&Ernx``f*o1j7R5i#BS$u6W7r-X#jrGw)lo>mwr%mdFP!P1``;74%;P}-!t zee{bQ1B_PBV+Q6agHrP~(=WZFkSa5EMsv<}mF=d#%o@zU6HC|n$ZVb%tujAlGuK~K zu5%%vSrMuL5g%(7v<^ntXX@Vk4wodITx1duFlRs|e=*Vk-&Hpdg)_-$6{l_k-!(FH z=e7qn@UI8B#Yy_xERCpN;2IcH;j<(>Z}i%X;&{uI<1>2x2l}ZAqMcPbd=7Uf#->Q# zyUU2Ye(`9zslRr3e73n+L0TO^%q49D0`KN|WX^T~0`Ijbz<_plipKGK)v)s3KYDaJ z{j8Zlau^J|sF{D{c+K0%YVO2$9l)vdR`JKD=!IWjHt&^_5lL-Q2oE|Ou5!vZC*cNu z@3*i852KCfA-JBj!x6Xx)H&D1YYL4P(ly&~b?UdSeTMEyYg1OQ%z+so)KvWc=G%#! z?OgW(yv=~Lc{*7i7mPdG9N)=-CIzyVv(F>46Q+VJw#4b;QxP|`9mSn4c@4;{$BpUv z4loF}wQ)HE#nLCF<4YriM9ndEsA)@d=FC-bOu^Cu@ytRvj)e?9B}p~L>djG-_8erHH6 z9>rv5F7psx)^2U>VzPCJ{H=^lUygNs$mH|1UzfgzpgApKRQrAws9+_y*GfM14JrQ^ z|7S^Ctw)tmx(%)Cl&<(cXFD3r7@1NJYyj3M*xXUjHr9nN7~^-&2l{q972kW#L&Xte zR_A~b&!iwN@32x}6#0d*@D)%A5EmK|QuQ>@Cml^gKm zDwcRU)0HU;yGZ#;X#DDoD08Jsr)G+D=!obTXrh2L;^Vu;{s8QLGWI~apwUs5j)Ez$ z%lYA5*T_ndE{)^|Dj(8oV&aait=fYx*EjO?DEIJds^2t8%G6bprA9oLYQ#HY7}|`1 zHvj0WXK&@roI7%}T@Y-H<~S4e3`}2?=-vu=m^9d&Of-b=O@iVD3Y%VmPVYn*jk zkv8zBz5kL4!QAZ!AulBKifQ_4p!oP4R?`#kRP&g{YCJR+skX4hGgcJ(8NNp~@vTcD z&rp5_3Zm|x_p!*On=?5hYG%!AF>{v*L?n+y1_(ZBtJjaAk%}N zR=tL_@R@xnwP^`&`~g2Sfk^tFQApQBmwrq}%h6%j=HxGyvHr2{7FloLaV*oSD;6kM4?R>L8cSdEb zW5$2YF78+M=MhWL^T@k}QU280&R9xCaoWdV9=scDjhSZQN3(ZxWs^R_R&AH(&R%w7 zgo5L#@>uc-sz4Ki+o_}p0YWw}g;7#+o#T&;JE%&jRcp0)hO{2a*(wgc>mr^g-fb$0L{)QDc*n;<;u!GJ4o&`O zQsW!lZVIYINml=b2}GDpu0^hPY@}%!(=*5`!mXzcAohcKj?)E}^|@9NO#%sJX2;r! z?m#O33u7wr$6Uu!z)LkpLmMPKs7%^gOmL3CEQni=>T&o0Sw5^huCB1FY4HK2Wy8E8 z6}sD{sFZXh>Zh9A`WFf&Vf}sFDIZqy^6qQVo?o734l&Hg9&$vySEPN=+#-rm3c`C% z)(4H){boGC?Pf<`Q%`4_3o1iuJnAfx+xga;=Hbyo*lp$Qxf{3EIjg*%J=nPJRdizF zMy!e(>S}FbvVrv()5NZP%FJo;ye71(WBj12vGyg$9F38bUrmS3C%tC^rk$!78dh&l z3qi&R%?%FTlvtD+tKE||j@&}nazZDcWX^}o3m3`LcF~ip*xmfC2)IR<#4ovz?ILE) zi&I5H+9JZF-SI!;CALjGyQ-tRC9LTpvG-B4Hf0hf{4m(%E?W~(7iLhjBG?%La^S_^7vG~J6oB&F73(=XNg_UJl7pTg;-kSx;( zimoLO6yy)lNlH;}95Q~?2 zt~nW~(<(zLN;iAT**{yAwKr@^$XGRxbN+IFV1Z7Th|8Lh zC_3#1+<@yuHLL*&Tk-Ov(osf3AS65OnXoD@cR2{W=Q*vyF;`C3cl1dZ@JfF49gk9xC?opu4j;*yQC<%5b zR7f^d$V!xixhIm9C^CfR?e1$XIA~_5$DWWH^wOOyUDxI0oSBTh@2o;w@m4{kl!4=| ztY9*09AZ5m)(Ct<9#$n{JdIq9J6QQaCDX-;&R`DSEWeu~EB7rL#yLF{6c;T(?PFIg zEAMzdyAmoQ?!VY%FQk(C9!!a_hFG02ymI|;z~^Y5EJL98Fco2T2h1~uILf$77Ca(&R-5kp&t}C?7 zu16rK3KHUIuU^l1)_D=5f0+36*A^A6oS!0~9fW2+(gZNq`1a_NCw$bz9@jS_3d#p5 z+4`qX9>GON)uzH8uV%(oClGesCF*ASG_YNh!U(O*G-gkXij{*8rHJI{eoai#)n@#h zJ}~gwS6z}vE8qcVfA-dfX{ny^ZOT$rv-^}Gd;<+kJz7%~s_c6a>SfLYh1s4(Ukr`> z--_RqUVwjxnW^YqGobz8R}y{Si*PZomsLx*%)RfP_Bgt~=lD=ezBNQg=N22-$Dl8J z0=-0FduN|)LfW3xOsYcIPdR|b;!dz}c9kKXpKGNmA8b*@#SpAUP>%kpA3{ED$06Z= zpg|CqzxbXiI#^$LBdzF$)>_{|TFMY-{A47qh2T>v%r|=l?7+ukTMf1|-HBqQm*t4* z)r-3l<$*=PLJ&LP%(TCOo0powOo3Z=zC2TAxp=y;Vu;Q?IrAx|a}rxYu~X`bP+$86 z)O6`{=ZWp^qQ)P)qc6M=_f)Miz4Gf>?5=)On{MAB88QlRimmqXcT;&d%89!rdR~G} z9dpSPxqv?>Je>IhXJkK*ncmHxQh$@Ov1CS24uan(45^+x|Tm zSLmJV&R^8zS558mKyur~U$Y*4S%Q2}NQ+-f{$KJ}fb86Ea$wGXBf7aiZ5x2X8UKLdHL;Uh~;*eFi zTzkV!@mMVp|N7X9l6ns$nOY1+@pzI~@72xNVMrs1c~U(TAYDg9wSRpMIaxf`VeW&z z@ELSwQM&q82kcmeYovanJ{*;u`iK;4R}oFzI^7jz>T0V}UN5>?FpalrA-c~cF8EC* zXT5q-MfURHyZijcW99puwLceF-*RdgU5}&eT^ZNBZ3=p>Jop+hr*c*Z+t+6a!@X3D zgLm(SEmb0hzEPG&w8v$t^nJq~&b7#hyH7t83kq~h6d6V?qkRLhCb)AB&+o{TgUPU% zz1-^_6&>D|+wg;z=wx$5toTZj)6AP=B8Kd^ElTXKjxH4LL%6b-g4oA)CQ9738j_~+ zZU?5eyp0>*YLo6XQDr2<3YhpWfdbQUI|L&SOl)%xes1I`Fv1*JR|M~TbzgsHe?xKK zXF2*4*<nLVqE=yupqiIieX^MzpekBgky zJgat?N66)o>`LF$;G^$9hRY}w=UT+ShFwi}yK!1Mnsl0IWQ(P^8ACri;5}ExD~TIA zRT?na6^R;4C+);MgSi=@tA6^It3H|8=zpkQx1$d?rXPJiLN=fo^S&6(|0wn{$g6tZ zeRQvNxS4Ivy2&niA5XCGwVCOb+96Dff~@^JPGSS&a#|Vf!37Sbc+HGk@VI2t*Cr%7 zA;D%=zXkwY6Nmx&+V}*t000pHFc|Ve5AgSrW`h&N8w^Qf!QJ^oIMdQEX#QfY{;)|n zP9!Tgkc{N-M$#59q^=PW5nZ*HR)ID8ZSY%5i|gN7NjS-?L$$p)dEgbTCjb_KuPE{@ z7|0GY2>2pH7S`VWD)ux}MOG354Zvf$At=n8zug=x9uKf)7VP&Y!TuT~_6*|iP4Br6 z1)Hbxgyt1BNm(NcAi7iM}wdES$YvcXl=uPNm;H1K(;d#*MD7hZ*T&#L{7<0s( z4W`5bp7X>8?RgFBg-ko18v}P{$OlzElCQv|MDdzGPe1+eK80U9PY8rOnjOcW-WZ77 zqKCtKr$BFAnhh&w(1WwXhHPt5_n#YOybCKMp>9mriJ3&HnVlRSzR$(Ann7(`zRnvo zfBA08ww)wiR{SApLz3dd2eX`X9Ax8~%Jy*WiG46?mZsFL#oN^F!eZ#l>7{(Tb887K zJV{gl`W0oQ=0PyzviZ)i{q5A&NzP$g{z`O!t=;Wn>-Dr>UHIZ?T8oOwc8fJI4*$$I z6Y5|5sNw~GD5Sd=fH$P;JdDbX_&O%4PTTQ#bL0)9-o#jnZZs+RbH)yiO)&5A*z%|< z{R^M#9W)W4P7WnzHL>i)#{JDL;2jj~ZPN1eXUW2{lGsC=@1bqjbk!Z%r$4c!k7SLi z*6o44-8|IWM9c9zoyz5=+%I=F)cnCoo%`XNGuB)6;Q7NFV$3O3^DQ|Ax0~OTqKz4I z=o296ANEDGg1}x@jBTeEVy83WgGoF{&^qS4#l32>6Wwmo(sEI<&RLA*X29}x& z;l~rAF(|aihoBS~$SDYomf?gMdhsZhx`|vYIHF5JC9&+3$7Td?D@2(i;sekj)NT6_ z>2<+r#MLk1&I-51U1=n~On(B02<$2uw~WpVOBE*-lyew94WD{PU-Qa;el@jpN{pJF zAdpx`_MsDh{+n~1>e6D+e2V2eOYV)@YlgHDTjMS<)JM?wO&vVk$E|dXj6Enyh4FX^*|5FcRKUq zzRS&*bp)$QW(^a!v+YPG2JhCug%|;(`U&zybZb>WDnYZ!z&?K6&*!wUP&o`+AnKzx zSUJpDbgOVZQ#GOFrpgHxCQX7G%wCpCdP)&{kyyW!mcc`L(KWo2GKh+QjVBq9;>0gO zsgz{nVim^_oI0MJyAi>#mfE$~?V*1L)vUwdnP4>XtB7=Y!@IyX=)D_xcij<7#LwWX zLX*YysAFYX7~>YJ5M;*TNtEX3XS^l5Dt1fS0R7bXb^^tI2FZDtgFV&h_GlkP*LarJ zTPf(fx@tyUSvZ3G(Tzy&G~(7zpGMwja}}QeR`lkD`43t6AA&bagOX<<>?+M)jG8*iwI& zQ4r;4!4L+Bqq%zRZtPJ?sOZ*v!vo<&%+`FV{Qbd1&gxg``VAf;3MI3d!L6TcNZ9!* zKn}Iq-V2hqCf5z}rJyz4T8EK@QK7Sf%|Fj z-vGWKgvf|PWW*pyO=ci3p_s-UDP0N45`ShO@VXc$`)?ze01xlS!uB41?!NMzVq((b z;>hPLKqiowlqBaZWF;$*t#OzI_#E%5yf<301O0#3d*n0+@Hea=$vA;(use?S!P|JC^ZrS5c*){4D}B)h`G-+}zcQQHL)!Ug32ul(ZzDaP|hHs=8{ z!$fdbV`J;?;^^SxE8_jw@voEp%bVuQNO5=YRe$IJ0VMzO2E7CTe0&4l9DM%SNq^b> zGc(BkWd{ZW0X`1CzAo-gJ|f5;JU~jw?_T)dg!$VhkrDXc^!ayqNO@i$GyVV@5b41V Zq^H-{23`AYMsu~kB>(^vIIcz<@PFQIY03Zq diff --git a/search/Power.cc b/search/Power.cc index b56b7fba..a5a05964 100644 --- a/search/Power.cc +++ b/search/Power.cc @@ -354,24 +354,19 @@ Power::ensureActivities() void Power::seedActivities(BfsFwdIterator &bfs) { - Instance *top_inst = network_->topInstance(); - InstancePinIterator *pin_iter = network_->pinIterator(top_inst); - while (pin_iter->hasNext()) { - const Pin *pin = pin_iter->next(); - if (network_->direction(pin)->isAnyInput()) { - // Clock activities are baked in. - if (!sdc_->isClock(pin)) { - PwrActivity &activity = pinActivity(pin); - PwrActivityOrigin origin = activity.origin(); - // Default inputs without explicit activities to the input default. - if (origin != PwrActivityOrigin::user) - setPinActivity(pin, input_activity_); - Vertex *vertex = graph_->pinDrvrVertex(pin); - bfs.enqueueAdjacentVertices(vertex); - } + for (auto vertex : levelize_->roots()) { + const Pin *pin = vertex->pin(); + // Clock activities are baked in. + if (!sdc_->isVertexPinClock(pin)) { + PwrActivity &activity = pinActivity(pin); + PwrActivityOrigin origin = activity.origin(); + // Default inputs without explicit activities to the input default. + if (origin != PwrActivityOrigin::user) + setPinActivity(pin, input_activity_); + Vertex *vertex = graph_->pinDrvrVertex(pin); + bfs.enqueueAdjacentVertices(vertex); } } - delete pin_iter; } void