From de5c3a64004ff6f22847042de934d6dad1a958fa Mon Sep 17 00:00:00 2001 From: James Cherry Date: Thu, 3 Jan 2019 22:31:59 -0800 Subject: [PATCH] write_path_spice write multiple paths --- doc/OpenSTA.odt | Bin 74250 -> 74208 bytes doc/OpenSTA.pdf | Bin 153463 -> 153570 bytes search/WritePathSpice.cc | 6 ++--- tcl/Cmds.tcl | 48 ++++++++++++++++++++------------------- 4 files changed, 28 insertions(+), 26 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 43d96c59605232ce9c43d11e83d3ec1722593ab8..337075e08618edc8b0623c22508af96926d32051 100644 GIT binary patch delta 43583 zcmZ^~WmF)s(l&^@`=Emj?(XjH?(RCkV2#V*4uiY9Gq}49?(Xgm%YE;AzTI~B{B&`xscg%8ylrUbz1%oT(dkW*qGEfx6;tYVwVDjjNOV(v<79z zBh7!YV{?2pt=Y?BczWg!`HHiskr0WSmhGYFF?z&|WDbR*j(U_T2ZAR3w+cdEb4ko( zu%k03oM615YLKD{og>$8#sK0|UfgCyg8&`AE-X1!-yKt5s63Zh7{-Q3%d{%lJbQ#9 z9X9Hk5l&Au;P~f|H~GW{Aua_y6^NC*&l1Z?)(0EI`lXUbda2x4P&3ap3>@XSoDYWD zl<>O#A;h}y2;;j`&Ybvu?E7PW2%+eWqyg7)Vin323WkMiX~D%~RHYu@_(_;<;EAHN z968v#n+VIrvxWuqwi=}qm7Ba<3O0tFl33-hunr`k*@afiNR?M^oG?J7C<6@x8fxps z2?_$j1r7r8-)4q^f%#7}ClISx13VGg?{5zPz`e90vGbgK>isMX_`C{}MjzYL9e#{q z1KyA8_a_6NA19wLm48>YemonW{wW4`3b2{|3HH*3`@VABWvI~Q?R1mDpxf8{#(=*o z_{IQs3;!sYaaGO`?*RC_)Ec~P%~ZW}b!NPAf6oqRBkKEG>Jat!g=KdP7^!Z~x>kHN z@kk-GzPZiRdE8a#^yzRpE+vW+Q|9&S;%{)$LsdlDRLGj3d42VuZN$rH4{hu>moC`Gmm$8 zFN18)FqXK){P;lzH$8hHe9`(3&4nVLheW;}HWwp3VFpcQ2Axd+z5rv!lPNEV@Ui?M z2O(FRJ_^Bj6@OpB^dC{1RcPqH8Ee~CPbVGC>sX!ADJ&hi1q!g2FZp7G9~!@jvW7zM z5jzw2IxPgIi@!mvX!Ro3^8*Jp5^Y zqHZt4`SZ##gUsVeZl-sMkf7@jZuM&Lo?M%8WD)g_c=~iRfJ`yFg1e&AcYTkIYnD*1 zMhHrtFseoddXR9bMgq4rK*W~up1-XXmVl@J9ny_#qtrh^P#qH(B@c#3@E~&ny^QSe zqU82F@*f|eVt52ySz+)lF>W7jUxc=A&#hjDgogvFclOS|iHY#fc)q~gMsTX})mZ`% zOr(@uh663ZpGVMp)88}>)H%0j6I%|la!5)ece@4iJ#G{cQO86VP@t3=Pb@5^I88ql3e9mybg@e8 zlU)GBIuxHBJ!p3ixNteO^Q-&xUOr{Wb$)`3arNbxX9D1M^Ldb>nxcIE552A{RoAIE zRsG`azV(J7)j(|5!&>M#_YuRhnD_TR$sSLI0KQZ;w~%x6Ao~MS+uA81X>mUQJkxBf}o-iC!pM4F}J(CWKe;55Nc-JVz8hLvAM z<$cf#)VKckoKM}_#QZr5&{HsXrQ8{QRbt=N1%bspMh1|QDF1KW{PWvTeH<~TaLYqK zgAw-H{$V-$ko|C8D&}4@e1h`QBaY~(iXG9{STV1T>9?##-n6c!F>PAJtXn;m#=E$W z)4aIfzk+ovMFFM9BXj(;lc z2p;1Sp26}=tuD@%@;By<;yK#^JbfIjvKY+&MIt+^thljdYKf_3YGn6kPCU3UIdaen zeOT?&cU5O$*-)Ya9yLly_cF!U3)SQA>&KD-uE+c`sX`+2#xI^t)Aw1b@P6^!?Y2*- z>MFs)6-96ZnsP}rOP6_c&bm z*FW^a+X4#Gk%X)g)g4!6Z<-xZ;{Sye&5kLVdVjdGdjEE@nJk9%SSn>=GLsTFoe6V% z0}vUmZ1t_V&jQ*t=Hv=oGm;qr6f2)mLa;l^pL|O^X&W|S+v2w@#wbP_Wg-=`61R#e zbG&R^xO5uH>}roo;Bh7Q+J7R+UhpfBIQ|nzc>nFQsm4_5L>neG%0=Tc*Qx$=OgOL%Y77WYHEtM3?)dLOH|lh@@Ln;>J(Zj{X)a$dnUT+vXKhuieg#bd_Nnyg zz>DOau^v^2#}lf%N-)Vq5uDhXTvBvPdNkRNeVKCqy6cnteW@`27wGRx{}J9FOX8oX zB)uKaHhtXfJF5laUG;T_1nSAHI>J2!Y!cVUp4cBM@EIFeY)or3p8^IE)oO4orJAR< zZ5gz<6>4VYENJfUs^sqPwom5aX~O@Df9B!KlH+JBN#khs+t|{XRH~FeixhL`(*6Z2 zTaZ#Ea;uaop0xiQiA}2F68J1B9Wt&){f(K(cOG$W-81d)&e~bJdiR?QT4a#GSD#d?O zy2l0C&yw-J2h?nuxe>p5D|ZhPPIYi0*5tV86JT{&F~^|bgG~d2h3k5Rt(Fa$(3TBz z<82d^bt~jt0!xM049ieBQmH2pi%7SjRFYbHoS#4iWP-tbli?uWXp@khw4%wjEJ~HT zr<|YadX%GW84ZpRTm12t4eS0){izT$vuFI$Sej^?AfrbO*V~%0mA~xyPmnbM(4znX z@EVZBRI~9U;lylRiN@f>G8oeTMP8c8W#aqWz-a}zfmOp5s%LyH?n2g2E5$cqwdfCo%V<`Pv zHYBIOaPpy7OXmM(03=n~&?IG3h#1s?P4Q|_m9QL&+-Od0 z@sj;X(s5zs+Y%&I7{5hzsW8G@l>ZN7Vo#$l=BrQ@!-<>*t@i(xnZFABRCf;e#Qk=? z-~YkJyhB6q(u^y0v?*Ok9aO#@`cb(T^ue|R=}hv8dkt0y{t2j)!oKMs3M|-@Q!G@W zK99gQ+KBo}ORQ9iqggduuWPFK+$5l{Erh-8^*6DR2o#E}eo5HrAPfAlr7Nw`ODKtI ztmt(^B$-&09!jW`KvQT^r^>QjZ>!0CSrb&|)grb3UVdbUZlB}IyX;AJZEBOWGqTX< zP~NIenPpq42>7-Ni*A5q^Tfy;D9QTL;V5P3*EmY^xb zVtOuyQBV?ih5F$^E8zHovb9Mhl_=(-S=ZnIg{6*ULJloT!S)B+DN6ZXs^Jurs*;FU z`K$^!QutZEJa2-$|E;dbs~P!El{4OucdbO25^ zP5hsyDpJxS|5uA4p}i_`7USFWe-wEH2>1M|!72RJE7^PNm=By>LHIy?u$4XX9{bWP%>I(~uij%y<`FlEX5K8C#VMi& z2IjyNLMR4ZODM(@y*~xxP7-v+l1W-+TQh)=LK>1!UL56)GY;dfrQJ?ABtC#}aqP#x zwiTh6gjxtb`9wI+jL7dtP9zjZPV5G(Gh6!*e88luof}D;r-lO->f>`9nsnAaw18@Sr42uAQ_kvZ?2iB5@B>Q_GQk9*ix|5wH89MbF@lfVXOvYBAW3J?&83fF z?J^^2d@8vaV)spS8TzRd<0ES0Ci5CXo!HT!cV)>xcWj^7)Xd|h%UJUSwJ_EGXd))k zmoVc=@g=26@2i^kRTnWQsLB?ia>T016n@QRZIyktWb?}A)M}(@$O3joRf_owt-=6% zf9pT?{%1+sFqcBxFgqD^KG47Z6{DhZXHfBQ=xp&SiB&SJcv4z3nn zv?=HKJaZcqjF`}}1Nf~f%V~(-zlH}AY_D-*_-Eh%rECxkXK)G1jhKq6rK?0RoZje5 z!O!Puif(jOY9j79HU0)v1x0OHiEeZOyYiIKpd4jL3aK$U-j}+$qWYSV+`L9ruG9=* z_84Co)#r^>)M40W>XHA#dJMMNBo5s^DIUFuG#0&xc`s=BbhU7!8wg@gBBqelXIP9d zk5EdZkR2kSkd;u>1gP_Cd`+kml{CAUFw68b0q*$Tmx!h+x`iELiJ-+JqKqPSym-~{!R`+d;0QTw>sBkUk$M~yz#?@jKc3yjZprmhJ;qH|+9|qbt8k6NgIMD%aeR^@{u+NuxseUA zgQ_L2`Y>Sj_^O<5S2lXm=MvJvE_%G+!YRscPB)%~4E-u>KO4&hPE4piOB6y4c>OPw z$iM98&t<}-))N2)@l?Tc8MAT^rY+lW2D&p)le&tF`XGXb4(Iug#p8X94I5RH)$PpG?FR=Hb{g*x$z5&I>9 zlNv>4C`cqEf}kfY5jm(zIb^W(RsMh-T}TzO(S|ypk|Qkj(QE$yWPA$-_yeF&+7gja zqDmFXf!r0n?{~Eg{?j_m`W|qql=+YUF=@v8KR&Gc2ocG=Li#|^A-huXA>*p#O6z+y z{v|vzvGU4krl)wrC{a`v9z1hf0lD5c)vfrEszKU`^R*Dra$%m^B=Lb#C+;;mhzG~F zKTMP;+Eu^9oFu(x0IQobSCL**oELr2chEZ!i%&yruP5#o4@@gQcS3}`P5ZH@eEvRq zc%bV|+u(Mc3yUndOP|>;S&8=Qtuzzi6BE;zRBOUf5h!20^^gCKYV67vx=+LCI^J0 zLsy$J=rY4UhoLy+{k<|hhg03(5fAe0$?X&kz0PRcRt)8ZO6z;7kLl)kye46tehSs5 zt=YRJA41T_mG+15e zftz#=xN_k(1GX}k?z8d#kwOQOWVdqUIZ?ExL{k9Szr?n@abdw)Z$~cZdL}u2+bE_; zvgqp?#G3)W>3MR9@V_=>g0AlFuoVsHQn{C2id{9fj!d9}4rHK|f3M$MW`mP_t({q; zOhXByiz0I^1>!@omy54K$u`i8`J%`oBZx%2-i{CM09+})_bh!K;WXCxKQD*G(We9m zfAOKEvn3?@Hc>eL$Y{%tk{dU`{OW&l^pS9@k}%YIB+(w)gO%2S)1^ufH(ukR$#Lz? zCOYC$>;T;&FY}#aa_L&YjtKG{E&AHmLitrvN9}kefXA-Jg|D&qS@kO(w)MWp!A>W`21v?Y>D@f!|(i&=XGI(p#o$toQ)lP*|=s@5B0r7<#?B zNQQfq$HGgm`s(>0%3BUALu`#_aRbhdG-{z0n5vhIVt}!&yEdD{BDe`@5ns%~FniG3 zh+Z&uvMx!zyuoUw_HIHv{1AoAWH316U4!})!1uE6-W4WG>wTY*smX0JvD$_UY5>D- ztReH9xNZ`)#O7jdmXfk}BaT(u@s_njBxRTuG7Nf9Nmy5VOve<6uk&~ulZ+>^chz+Z zs3cSd6I13!FunOf9zR9mGUHkFN)~jjN?uAt(AfIKD4+8%-uls5lUhc@Nf~B zzmB@<+-Xq=8fz|~3IrMgKif3fH|F-ga%2yi$6n(zNdGL#|KNau(%dG(UXq|OS zmirhV?7J12>w2bM+nLbd6n>&epDZ}!DP#;;w|v5x4EL@Js0Y6$-y3Q}9D>^{VZ+}P zzjoBoa9I<~C$ek&Z2g5;Q-T8z)U0kEit7vn67Y@Xo(1GV0gr;-*>w^1q`<%NKK3qg zNB@MF5FchRFoz5R6KDrp5am|?WJlM;%5*Z%!!yMm!s!0R*lk~aoNU(7=OqJNAX#+9 z8Xwa7c{YpFgFexN>Xd_5`bV*eq#(aBzqksc#~JUVU-fJ$AEKe<%<3cHFpSW+M?ba8 z0c{iCUy&(}8ekkv^i;j8_X%UW5eD;O`NY3$je;ILR>HP=Upyy!fvREitPL}8ZgY-I z!Ba!oGswe%nB(@Fp})ZmD|0Syxbppe@84to{d9yMGt2pf(k<)~EO8Y!mYbo>-AGTK zM&2n|^WA%N^zFqdQJxTRwRYsZQ+l=Q>9tz;IOvzQ2WVIs7WIUwu*8!ez$)zUj4|21 zUQ^dgN(=P!cm{oFz+cBAN8~@RRmmFgW`RYK6q;!S91#o%nqrOciL$(etBDmqR?*LW z-p2q~iefPDR~0^pso3v3O5jh+?6o4s|G==Pd6^!Ge70MUr>%f9lR#xbRQ?$80pihY z-2`W{#d4=ckY#1)kKTcjip9`ilU9IlnBKfGlLRHLem+7!7t1=j!GM^wZ8kb2i~?Ob&2=Iz76 zk0(*u(3` zs8;xhJcHd{T3$r|&JPokjLeQtoEASK;mdYJq?2D;8oMJbb&-maG)!0 z2s&kyrS?U#`a<%6YZ_A}kM-iHlV4k0Tl_g1jgg|eT>UPVyF9@}DY)H}mk_zvS7BAm zz7s6>q?#fEt`lMoDn-h_N=^#f45X>cO;xw%1Q7&S*@Ut-76WJZmP!%_CFWckp7@_~05|yKrZ+VeE9#;%-DTsxu22eMG zvwj0SnR^4&dz8f8+08U4ri|)%F_%k0ge|6*pk)^}@rYo}L{x(GF2MQVqJnL-uA>Y8&E%C69wst_BxV!==k2O*N|qQGG+UtWewGywoV zd@V0aTyO{a^O6pXr5w~l)AD$F*dr6|pxTeS>umg2r3lNI4$-Eq#@q@NZ%f$%^9xkN zVk)7Rk=|6)3^)X?(7Kk%+nAQ1^wX3oUoZFOAu`B5AwE6LI-}@ov~!&B?#u`iRUT9pC{o+-r=D#j z_Z6e+0T!+IfYX$KY>+?3>R;VQP2Oidr!eSTgf%LyyMNUeftwj!?mrkh15zoU%123H z0vmA@e-D$&f_G?dPZG}E3}_IOBtvnziP9l*5U4r*f>&yGg^)%>aoYhl-h;c>Gxq8L zE+u|h-k6OboLzdEL7yEEhHd&X((c9X3AQk}e|c;szVbMc`1aHwpp>XN2=S<*f1O%E zp4ZAP<|u`u?#ymj8A%e`>=j?+mZng+kd%_4(1(XWAFvI?Qa)55GkSb+V7noXS?L=1 z5V;|9>cR+$xNdoQ5F`PSMlQ_g3}hOgx-E;Fde81032%$qvW}3-<%y|kod{1>Y zrPH@Kusm|-jUg4DILLz?R<=F|k5H-Kvf7E%OHLQ$*OYk#-V+@7G#&`I18Zmr8;`0D zpO$tC7}$yX)cI_hdXhb&amFSbnrzbc z&YeB*FT?u&FuD#JVxEENhU?&`KO)vOHc&u4Q@LSZ01tQ}KB;#(i+&Spve2?4hoJ=@ zjErrOlyc5GLE#?robyAw*<`d($V<}vshGK2n-Z!@8`sCpHg%)5T|%H~1a>MY4$c;4 zy;3%Ex1o5?zNE9(gp=&Pbxh~<-1(0)BG1c-)p0`CuC8I%J{%RZt3dQily ztZg4oz5u9WuIGdgi6qk=Hrr42zRCBl449i|Dfj6?9Lek!&?{izws~s(UB|Dj@5rpY z-7?~=hzm?YM@sXbGj8FK7!WP z;4(GXYwZ4Psap#k#d3aA9N#{pbv>LP42g{z83JT;a(k$mnuAY+*9JONzz{leJ-d#r zY=#|*H)DL%ahwGeppJ&D{3YAaQu1JNQS44TfOIt&!k7$ zFuZ}e>Jnrgg1BEuNXmhRp*zqgM@%~K?IUCH6)ZJ2)Nv|AVrb~;KJhO(x^7PkoDO$) z!X&J7a3TEZ;`+F503_B1XRU4|p6yM`DD_G|kHdUA{y2N?_IOfO?;thxvIxue?I^r#awpoW zATY5S4k-i8WWWyr9`veT*&aE3S`wdP`;eRIk3{NsZcWZ9_<@lz@KZf3fYMSQVGRZXwp_DB7a0UU zQ?zLzu~7|-P4UMHWV&t&RRG@wVzy=bBsiHA8Qc;tX;`XwK3oXncn0a@j6`GPKmVfse;;=H|$m1vX1ElJCTLq?bsf?NOjPJ<^d2jE=r z5Qg>brZOI!e%&JpbB1Pd;;pEWpuFnAzH;W2VC9Wq35sn9e2pXHMs~?Bm5bS6A}Wt6 zK13GE0kF)EB<)ay67MXFuF8D5WbP&kyP{s;g;4|hV0#5idqw%v9!84ED7Fzsn^4^c z>2r``uX5?~B|bcbW66ifK^38zS*!Z}&B#~4!KDk?DYx+HBe_p4ZN*up-<5dU+L2fq zhB_(qnFD=s$@2>o~s)$82Xpz}$)c zJ*-`DBf=%I6G^11p`Ra2S<>r~Fv=a4SOZs_3QUJ48$x_BhX^${q}6;@`*D#b!Tx%U zX!O*IsVC+%{Z_N>CgfW0edZO-wB)_q{dt-JHdv#PA&McG)^mO_B?e}H$N&|+SaBea z3iO3N$hhyL<5_DfIt7aX7{(rP*k^AqUDZuF+4TUKCCkL`yh0V&VX)Tj78e1MfEppm zOss|}&>KXsJs``EEi7itGf3psexZX$xR#S0zq5>LZOsC_o{iQe>l9VVfmNaF`B9Y> zWx%-|#BfR-M6xTtg^mkDXHgxnKz-x{Y=t&2B0GC_o33evL3K@lekN}gL^q0F(YgkO z`(V}nkFy7AbdTy{F&L~I0}5jQ1T{hlj|lfOa*G=Ai8mnvK(^9joKR4 zuK5odQ}Ex}&fyeG#QON`g&15?hgKkg*LK?B zDrq**kp&4Wr?QF94KBeSjgk@yaq_l9l*4~19f->#?qlbJ(}z!t^-O=(ve$V|`IvI$ zdApu>w@~2y&Jll1W`6c63u~CZ-?@vB&zH=_O`c(f&3DEgSm)7OTopD`9$Aezq+;-; zcSw1p=v%eF00|TrS*J)po;7;}o|c9P$7G1z8zjn3TBw;ICbwp6Ej zyltOOH=OvgjHiB|<3$?@yd)dEF3?<}Rz|ReF9iP;J&lmBLmX(!Jm!0hIXFM#pw;Pm z^-}zB({HFaQLDM-PG~Bfoe!F{FQYWmlBbeklGcJ#8C90$*Zm#Wf5S`$pthB?QT$HE z^ECJ=gHfrgY?2REV|xZ~u;;cwh-8Oj47$(Ec7OBo4eha+L^rPou7cq&Ah^!5lz*PbDc5vbVK)9IE++D}9c|Fps*@;>cDBE=q>agp13y_@Yrt+1eoS##t; z*sPl>`|-0D=Pss>nQea8=$1hjJ$M7knp&$O`SoW>oh?Ww73BR9YJx4SdZ)2iV-AiR zPHPCwu0;Z-4-wD|-(-9}%yv6xI6~m2evgn0YY0H=B|L?&uAz98**X`Zg1^wziUrc4 z>z4g$zY9|^3V+S@sv*i{KsQ2M^f+dO>wY71??+}Y+D=G^Uflic7t*ybxv1QQ;=b5H zcn((VxIQrSrq+uDeA(DAC!~(&xlr4v`Yk8 zD;@O%jhIkA2Ky4XWfOr}Av(~I6HjVLyE#!}AjE+EVe|n;@`zPO?8Ap{FC9k`MSy4q zK1L16GY)!3>?s_x=D^9x@@^``LQp&KIJELm6NQ)|bOK#gk-KC)U5&wEvMl1K#eDE; z{fY6r*3Vk~7|$sJ?QlDMpSpDq3JdVK$aRA)z6Prf)Olmv+*bxN&R<9}O)zWUt%n3- zfM|*<@g@{YBf3c-k zFOJ@SR!W;)DeIF?NR=~{zk4IbjpAtqiVV9%^uXss1$G=}T|6d{-aP)n4_%|WQe2T& z@@B=Pvo+#vp7C!{+qLcmuQ#z|b#!902c%o@4yf~j-qJocp%$V){aQyg&m|vK$iBsCZi zr)=lr^Q(1afVY7OB3THdik8|?0MLKe+*vRxGvbPs2A>GVmSG?S@WaXv4Q8MpTAd_# zfHA6O=VF21q~#a&l<-RMfe%_F<8DSO_*EK{`Qm0g=?I`%XRqi^#=8CDG)(M2b{rZ_ z&s~om@Fn&rSqkWRfWc*DK?FzHFOr)l275ykLbKmK1~+wp=@~;b1lRL<}a*X|4A`Py=s;t^2g1qz_?6yB!+Q+RnE(+cTuRmJ$}#UkzBmrkjunpp$)Z3^?1B} zq)o1fzAmg;TPf|^=lY3Wo6#2TD8DXBTWn8~tj~7LRgB~Zb$ZNyQx%#i=&`XulC_=Y zHO6|@+Y-~^AZ?3;OqG$~8bAg3SvWc<)|{58Kp)$6gaPL-)!<@3CM`1xE%-?YzA zzo$%C6R%Qlrm1;B>WQ`Z4MAt095X{P4VTKDHr`3Kd)+mT!&0d?Pop}1l>P}R6=~cs z!m&_5zh_Lm%~s@rFER*_drWy*6!=IpE?AQ`#6{ACz3^awYS^36FrjiOC{dwI(#LWC z-Ropjl(Jp;^xH`7VNfOCz&sZT7+eA8XI#_Ib47nzR@_2&C|84+UXfGy==bqxWS1TZ zEln+r`k1NZw|e4FzMZ|Wd!!G-SVd>YHJ-3TYk*g2PJ3Km6c7Yd3KHxJszzN{E~F;1 zq+G>|m@FJ9_sE~M(t6Nr-js6CLfMMP7|XC&E^T-D>5EhMt9fhpoMcoF4fW>>47E3g?Wq^Ou=c<7E5G7G%9C@Nxh**?W&1aQ zn~l{&5i^XtRzcLq5>^Y04TMcT<;WCRAlkO~aXqw$LT!ly)=wo|=c8Vt*}oP)Mq z+hMw!MfOO|@})g#!D0ubpedWG9;*t{&xNhgMP+Z;N*uFgu6#)`Qd2KZ%)(#La<{MG zq@1yw;EfoCt#5o)aQSWmBIPr>%RR}{|7YYu@YDC2;3Q}GzL3-r#dw%yKasLsP90@H z9CBQ&47>n71GbRT6T8oInQp>*3(~3hDpCg1I((Z&8tI$vFpSi84JV0%^ZONiTzPMyT8xVy9T zIi}hUyzhSYsam~&YdmaW<1Zgp_A3%0w6ftuHz&t9>>wLe8O!gmEK%n0PWO~T!Gf#& zc8}jo_ccesjQnHd*p<`ub;m6lsckul`IdXv;+*k1+~T}q+y5mT3S*vp_Ou+gO=_O` zAMGW=ZC~KFomMj|L-JE<4$*>o#9l&e2oZ4dYu$j7u35SItmZPSJ@3Pi;Lly&AEGI! z4thk-ouHX&p=yZQHj*fQIZwkuE{9nY2g@cKTLzPVD)@L9jK@FySW=jddm^zLj`@C$ zpNthPg8H)69V^{=K>08o&Blk`Y%y>gkI<(V5f)%FAC35(%`zQPg?{V!c1I8MD1!^! zy+C>#LUly?*A@_^>(sJS+x`UCYOh_kW2RHkN&Q_&CmTGARb*@huTo37 zYxQZ)vD%iP<}UhSukWf!x5Jxza;QvqihgkgmmkUEBr4T*fs&Gq@SbuQZXWM7-y338 z&A!Jnw@KKK*o+n)9^Q-d{WX}4DYXF*cA)q=Jkkn*9Y$@zeJdCK5J*u=;Dy$D78~6T zYM-k^iZxU$H5>Kstp3WQ5FZ>89}i&=(er9Skb5J_=x=oYePSS=`>TqkotxqF1DUS% zU49g-AXT5+i+aF}81n?_w@3o1Q&VjRFEn&AshV0`-A7bG+P0iyA>SEY+dM$G{EZ@= z3(bbWb#G}IWAZAa?J=WG1LU?@)p+geiU6~Z12auC?|45gGKqP%W z(Xtr=njzlFhi80O8urx6o66k5KzQCJ&i7w0I=7W!rw$shs9>gq828x$)W!Io!z%mS z-JwFI&R@PTs8xZB4wpMK4FK>Z&Ky@sz0!K>>ZQ4}OcH6dnbC+wzR$+;`(l>3({Y~3 zw3_LA=T`N)5L$PP#yLr%{GSzrQHoJK<#|aOnrUHbnrSfqOT+fP<>(cSg5z6){)&Bw z59-Xw;}>UDRICV1Zs(Y)?F(+ERIGrK?3v9cGUgZTX=$9u0_yeUSR4uO5Lv-h7P;lg z(~XqaZCJ*_i^7^m+F`JI@J#frM+Qd$M&p_#|w}^e{}xbeR98Vf!`;^orl*EuA!zPh$nUY6`!z4H&L=MnJ_b@{C}27Ng5ji-{)tbvjT52E=4$A=GPK>b)L4; zF*B{9gZ7>5t%AgNaC5f6_57EeR*4h9&HT2Gk`79@uoH?)x2r4=Z;i zg8LFR1tLvvExYCToeMhcC7JUanSuZ=O@WbAIdi6r%9^7pvph!PaeuOCmUD8lvM`ru zFz&ngZUzN1F^xUc=d;!BwaeOkb*jqySWxHFI~mF<`zT0GxZ4?e#hs)&XwG!Gk1~=T zYVpR$d%b+XNh3}gF;_OpFcNAaFaW4Wva+S9;hUYxq7y@73sV}O=9+*hiLqzd;H9bW zlHTG2FDy3h;FTU(*Ey(32Dp&MR7=}(5P}KYpTbH@D^^rla$@M8lCm}yQl~_vBn4i3 ziSNC75od^31suVlQ`V?NeVX;5 z`--(cnCi0+0FLo3)1`C*H6{*!iyYh?Zah!CIbiWg^`*+FX1N z(!<`H`!mBg20inc|GJ&N8#tC*;pzViss~yX3Gaqv1A$W|DdRK&;h^mXmxPT?o z#&R^{-Y@h^s2r;tH4QP%WVO{fy=XCS-~P6%-Z#j1eIV}KCn_pz!%fE+FD5;f=N~Yc8P5e;p8S zwQFI9UQal6&w&5Z6e4jCzud@G)=Pk!Wue5x`q@ni@F`8I1kHcT@|w)z)Jh5cs2C6i z7J739Y-+!*k)%qPuXmBhonCZPka3#tIlz$m)zsT8s*B<@(t(^%C~ zi+^WBcq!u_h&K#B1UyRZ`Q~@LuXl>pVhJSK4jR^v@uD^i*b~nCP8jO)5VO7`e2Y=V z41l#+3(H+nd5eKy94Hm2O0hS8(%v26rz{mrg$e_qT^{PvohREj+`REshi1wG$18+n zA4RUBRtbkQuK0)G=TovBx+2rZ@~)x1rC;00m`Je}x8;u#3S8g1Rv?KbBoK&ZN+NDr z*h$(jv<)vpxGdmy7lYf<5k)6ncG9+-W*GB#(5a0dlcKVDdD4`n&N6TxVM)-#J;v?WNJUGcXZ(JY!+3TV@$-V^j8!>ByuA|HM`@;K&cj|Y9VSO22?Gm~_S(t*p z=YuR6uP0_ZIzUn&bGZmXB`66KO{mDG$dE~%K*26kARpw8&rb=+kF4&4!pQLqb!PFZ ztx4TYlqFyH-C8*ge1+c?%YOCxx(l+7G-+rS5gk}XBwu?oo)VTVzEW+0o>#J`QO^-V z-!$JPe|AVR6M}dg9K+u}`;p^2K6rM%5qFKS>a_iyAObXaM}n-0(C9SyL~;aK6=7jU z`a-qw@6O20|J?gLRFw^FuwBTo+hd%>#A%Vra^wY&c7`hlP0co#kjhtDHY-=!<%qD-YKv6L~}Un6u&{nbj&uXZ1u%NHWua{;c`Qgf$Rf~XfBqf(@h1FPxX z(B4qBPY3kFB2Y8V$d1afqBEgSh%Sk;p#ILxsfNE!m2v?elwHFRxvxa-I@fKptqpzI zM$3F1HpZYwdBk5G4aTU0%^kU?Xl^X_W>vH#MahuZ5Q%NQbt7!T@ zgLt!B#-PR3gr!u`;!)?a^S$sz&U9%?^At?Wyq*Gj^uc43lr>EkJ#;;Ik};IGKQBTW zi_0J9{3jc@Q#OLsTH%zq$FIT?#V(}jG-km7HNXA{5ZDC}vLciGH`P%xJ~ zq*bAr5l%x-XIC?^93P%3(}cLfm9~G}(^$^gh|hG)e)`bhU8P#l|C=XzwVl(>xf2 z^XuYcPjiOOmwY0bqHg!-EEzLq1DjA)HL&~;t2|2nkT(0XIm}jF>GCC9z?O>CF%yo z=v6|}YE3-eZw5k69`6ZrL<69!L|@Vh5lwV4g_Clb8TL5oVe{89CBJ-IP0D75PpF*3 z*E^>)otaDSLrjkKzhpk!JjTaG%8ncSG;MOGx&?x*JPfZlX31CbF-hg zT_9^b1hq)Ww1pR=pC3VPE$-)b*m$%~oBbXx2Z}h#KC57*leF!FS2ZVOXXz7Yw_dg{e7Os}L9Ju?8bUv6e+!XVC(0$5^ zTp{-Baov2(XV;d#PkQgWW1CJV_FCyIVRv@9>$XH01PFzd%_o*?xi^WKMeUB{_abxl z61-j~(bfa80kPaN%?bEK>IgZDBUDq@m+qP}nwv&lHaWcuo?AW&LWMWKgP0WdHI}?Ao-{<<)>RPpb_K)s! z*4ewN4orNsQ`w78Fw%g(IfGjTNaEGN5KhaxwoDLns|f(C2FYuh-HzS%5oP%dxfU|F zrd!eb6>YELg~2_+h|;a4$o-}Rx!*coZE_UFGb%m{pe2XG1v%+^5c-!X9TDeYJnnY< zZAvuhZ&SvyF(-NQV)Q^GY%OeBkJKi)}QI)$gjz1;3(ew-sWFV54Y9?QO^@0*Tt>)77on4tiR~2}lfIRU$*4Uvw5V6OFXPJ}PDO z{9wyJ;8>G8s@Q{}H~#Q4U&8UOiIrsoRp{UHQ@N`}+QQ zw|CeN35a7R*rQcxM--C||%38eZ&ob5DwPx($uK)RWM3D8oM>q_4Q%Msig2VE}* z(j;@;+V-B>LN6w}hh;^&hGoHhaScB$IO)>Y2H-r;lU(#>|E_ffXAcp`8Q$hz1@_fc zJDt?Ta@s#8#quYrz;LlDD0-VffF&sjo_i-;2`CmdW+2~wENtEKA?yPDMc>T=^o%Mk z_*q&YmC18%u}8n`!{=Yt4-6aPN{=fqRz&WBjG}=ewMW(rW3W#@^H44$a*as=Q4EIi zBJXjk1kTX2ero84G2QWe({(5&_i^3?#FSj8*oDl~rHQ$5q|0m&7J6oOR&@F=F#X5$ z+$?8p6A&XnnZc1jL0L?A@Vu024bBL%7JQaZH#;}-p=D(M;U=F$T{@u^6{SfILrQDa zzy3yfp(Jz$`>BUErUC=-;^Sak^A`SN{14oZv=9GJJ*-=V9hF^T+`K_yKHkAHKI|2T z77eF0wCOAIdyVd<6@Sr+18muZW({cBtgfJJ@$_E+MCR`TJGgJhOQxyG{kw*Bu(81VO-p!M@S$e&5@&}`GpYk5D77=+#>w~{L1ngGmf9=jn z@JiCxOO9b!H>`LN6rWeB-6=^Y^2G}8fFOw@CTkpB7}s-XTkMu#!1WVcdW zeK7Sv$8LqO+*6{KA%xarLyi=Yb|loq^O)G}jwf7}2MJGVXFko48xCf)_d@@#Va(|w zr{2*%Wr`ir52VN`R^>U&?rEdhk06iKi_J!59jF%|phv1F;8Uro4vXKpL%QT|eJGT7 zsz=s)d^8h;InIg3q(jm~!p5;U1_7q)*&E!|_U8-B(VGfBRji#btc~onXU1 z6^2|_2fPmvCMnnI3P#VLT#nF=1yA8QXiv-YQBf7&2i`tLYJulRK<>W49tNV1N>X?h5dhiH#fkVM>z;gsN7Hy?ar{>YZ>r;_Ru#OS zyDRHi4byP(J-oKNaD#1`x6tCW1(PW{I`o;yWiA#!?Qd_M(+VP1T@lhY$60TfSaZaX zeuEn%(TI){#L!6-AC(tEmp||EbitN4b%YBhXkGDaiV;M?yD;>t-JL@Ga5!_3EC7A7 zOw{GYDz-Jvo07v1SDABO)oA}L>PTww7>3Tcy5G};$rBIg9DrjqKkO!u~Ud*-y`htW54LA1$xDNlUS> zg39Y|mRZ6<=%pPdD)`~v`;O2aD1Qu|bv1AvBjQpwm?w=cF?Zc{<{3iWz)U9+M$1R~V4Wx|o9F7c+}~2y$YmROWK~?Is2*7?7G$8M6dmC`Ru1=h6!OW~DK# zr+k0FS|>^;^9?4#)59bD0N3o>ZT7W&a`vMMRwnXKnm=eVjLbRn0g*=E0Gd3*0)ay> zz1=Q2e5ugJw?91XA3xrHQ$WNb@_EN+B+n6~MAkv(UR^0Q+k#CU9kjmbpQq-*Z{0fA z>-jNBUEOW|@H`eF`c6}CxW9q!nq|MS6stQ-*Bw$%t@7S-9U!fcR*4r!iHyu-U?-ag zD`gjgOk8a*ThL3Mvb(Wc0{9#K`4l0NBkpHzKHFM6ykxOy!!Mjd2!V&nMcvbUroRt~ z{L6wrl<$tLG3_w#_l;=G@G-LV&)heJr-RK2My|*ZhHIvXBvPj#JT?LyRbFNEogl|#|7`!Z@s`Idc4bW~E&;kqKcaKN}8jMN9s_pcOm5k@H; zY*`Y!mrO}?RwZb}7U1iry&5eJ4=zoLnM(~XqCW8JU?6x@!v1NKt=ZAC`!R8myHMCc zKTO~HCJ!LbrPpt*%eB2cYK8#T^?S|Ktc8(t!i=sEuO!(FBfk;NyrI7jc?WyLHFDvE zZ2Q2fnDZM)>RwH=-oI2$FUD4}yYA$yI)c7YA&LL0OGTGp1NMADa3XzqS!MXTy95z- zV*F@M-m-gJ!Hmp3f4sJ7f5GuT))wCMyz07OPYzkh*|;0zTC2R4?4GYz0#h(L=U_M) zfJjm2N^KPV!|X%u$bCr*V^l6nwmd^8oXL_S)It2}A{?n+0an@h_B-EAu-Vy0U~1@g z!7uB{v7JIv2Z0MOGU6&+B!*oc zk0F!`N2RiocZ4iJE_P+H>PF)G(?S<0JoS7 zgi`MZe;aPzuhygLRvJbQI+=_XVJ+PsD-uA6g?zU8ah^hJI$R_7zsz z!0F7-tX^dqy&I1({&H&sHNpMVhIZ6ktjDlNO=bGaE`ta0>;HYDU_7klN za9gf!&+zH}dfRN@Al+y5&ShVuvz({1V>AtI^ zZ6>N>ge(^8;}CPKJN-1?iN)a71e*tn^^G&bVHMC#0<7mG;i>o{QHB(l$fZq^9iE<) z#y42Cs;xMkJWVE7ZDp^%2jOpBR3oJBa01CK z>d6wm8gWNld?>9p`idULZU`|@OiC$bX(+AJB2lpA9f-CgK(GEml?i&-_u{0C0(5{O z4!@~X6AZ33s8;JT`^!9HE83i*OD!lY%T#k?|&k62Fzpn5AH6_*Ye&4 z4aO`TG^%4duTO@X4DQ5t^YCwh2&E3j2=}iftIgai!J*UjKHHSFW!)zg{+3hoW!sb@ zUM8sm`?n%{%)--aMDSg)Z}^;)-chaCnRqp!--r~JF2(d8Yj^Pszpb+=4Ebj8`ShTC ziOv3>(nA!0)?-V+c9^|e>8K=ng>md@LFZzmmYcm_1&htX9cZCnl?TexZ{>bMo$R|Z zeTuMZ7f5{EgM>m+w!6Rt!yFuudBnB6go#lvUVDO|q#p_D(&Y-zfwzDT0x1m^{xSNl-~l?rX5|bMNHx;I z##;Mugdh_nZ>$HMnoy2E%)&PWf2w%iEAO&~*Bhy9n&I+_Cw<;JT#thvKwoM{OlNZQ zeW^Rl;W^ioI&s_z_G09I8B|)bDXZVa{m)5Os2+SkZzPOumT%Y&U^`(oK zft)i$LTjw1%ozd2U*5`!a4U87*I>73XPjx+q=XR37EFc{#><6-k2X4}wa>TbUTjbR zXvX?12ta%l>nRnEXf}l%WC*LikUDOFnmkT z$Z#lsLwm|rHonkPa~3NvYACu@rh`nL40qKrwwiB@RTV{8b0aR#*EG9!sc|!*T1xrH z^F2ep`Z(m;>Y0ILvg;L|Rh>f*{U2}-=!~y64l5bQ38YYRoAoR{=EvdlQ zdZEffOxV3mKhv3{sO{@IZ5*HyaV@ITpdJVG8o3*IG!b(2avNLuh?*$l44*(dE<4Qx z!C4Y+Wz!~+l=!1_xQy|z{LGC?OekW3OJwDg%J>TW5&B*y#TE(|ACoB?{9F*v{s+x~ zwKC+Ly>BrTELbI39R{YHmlT1)5`hH<(jr8}_+MOX+mrr?;Ir;;p|RA`O=Ut(R99qx zFpayKecILoj__0PEGv?WxN>~P$(!}N5gNqCN;7{Lh#?rbz-NHW-QUKi2=d;CPKxM#;{%MIyS^_T#hLD8EVb*mY|$LLLQvFLWBR1viIE2kL}zq zb4n4kyO#i6k?G>3M>iUfe*6+K>?i{uB}6r9W!dHhb=$b)K`6+_#KnDK9xd>(9`~3q zWzlKS_trTZCg<6`xIE>%BJ)$B0MbuVEa*0r*dYCNw^;=%Qmpm*-(RtWOB{BM&hF}K zlM5%590#5xBQ7E5QU;c#>0PRp6tFSkG=izmjRzfRd39IXc(|2&6iW}L6lr2Wo&DQ@ zQe{N}g-)@u3KJW_&a(%<;HE>!ed>KnnRnD;sfavb@_pBZ$Si%pRY79p$;rg{hb1?|=;6rBtq^-8zXf>sg z-GX8L$C?{)Z3*f2XYQuC>?|wL6&DYxgl(#G%cSqnr475H_=zG-%*Ed%zL{q0Nn^?E zV4t+CfN&OPoqi9Z1;fA)8Q~xAlMgjK;umXiHzun$;MTjT`|#V|W4F}h$3TEV`I!FM zqQOYwVy;m<$AM)kp>)RwoUGzsxZkM0UyiS}b4z>9ABJdu!Eyd@NaFkurAnpYw}Sg& zq1M{QI_|Gmc52;4cq%lFle?46tLN#YwvvHXp76a2KCCdxKlP}&qnvzARezIY*2FM_ znX{aH{w=t-KIhFMtZRB_rlHkH9RX2tS+)2b)3Qad~Kq3JjPgpnQ`t7X>L4R#R zEl?9QT*eYLT))Ryw^g%ZCUKVbHwUTH4D*%7C4Kt?lJ-+b+sIy zeQ@ReyX!{QT$1FG$^sk=y+!`@>fa}uek>oKtFqlsP)mdBj;_SXz*N+c^CAB)Od3a7_#$mR;?EpQ%tH?c<8+|Jz|7@xH0SAz+2HhfR- zk$Z>i_qj8M%1xcelkleWa0CQ$ z%@gScmCo`|de>(_eH~I1O{91tlw|Niv=f_-=<{~t?sbzsL2hKkfVzp32OSlX@{pDD zY9kKsw-2{>n{R;qD?%hVb=j9d2>pO)2bT?&`e8{j`vc_SupgEuAkDX z4ykx=M*Ov5Pe5nt(u|x+0|Y46Re{gE-{CHVN*rD|fPd2X1a0#BT_45Xu<#D`U0*`3 zx5Rw!hI)$Jk1vX^U)qZ?*kG{t7NO+(SJxoBUFA}~Zwk?G@@Nx?R0{)OPQ4-uYo)SV zKRaGe@(I&=&Ge=v^IK_aL?sR1WbqliK=c;M%>Cy1>da{`dzDTMvao#2s7_`xq2|_% z1-cRP$ffTKPt0=*Rk*(lmpNs3*Hvp*gOq~^Pb%ro^~z!Bgh|0wkugde$k@m9;y~r6 zr0d+y?z3DoV)L%;uxGibxI`r-wye1bfbXqsw zR}ayv)3qt+<3o(1wGPdL_zw!)cgKD8W)0IUx5DsiuYxWoV*Vb8wz}+9c+MHL#kC6@ z&-ijw2VIV;FPw-vE6-9A%%95g`94Rkim@C7;6S<3>=Al}Dta%EHoi5vP_Z`J(G

uRwcMyxnfYb>*ylroN0%kO{p;nEVOMW ze{6b@lq%>x4Iasgm}iGDQb+77A4u7pN4OY=)b?HteBj@#Ph(&Uo1w9*v$Lc<1MF#m z@EF52rgC+K;b-<<3zS1nbz4<6ClUAcMfWKq?TcRT8@`mAoCWmt$-R5Adlbe`80$Hq zle?UC?c{6p^!S7iyv-Zl;}Z`7@3TW_^VP8k-)~*IJa$YvwvP1#+Wr;Q4s1Db5Nn}5 zBm-Yfqd7!Z!F4L%?75kh220%B0UMA`frbvO^ zX>LUFjo-T2%h!Kl=RdCJ(jCuTYbLc2*_{dPPyHaPs8m8;10$!`azRmiEdPx}?IBY} z?!x1MZlH(81Gh-sZp0c*XWh3Odfw&Q!|Y?+fgCc#-ywwfbO|sIBK+}&T;zv;W(()3 zvQo!k4qLpC?TnGR=PYGLgXR??H&6XRHU4|{%G#1vtzbY3izB`9a!Gx@8p;R4Z^VG&* zy->C2F|o`UkXkC2m4ds66_T(2L<;cSKH)M@4(|ZI#hsRoAy*)!uh|+}y%*pAyc`2)C?yA+3Hd2Ztkhei2(^ z(T2!;5dgmdM%@jh2GrkWRJTWMM{XuE%50Vc&X2KmTd2XbkDa(ro%xusWLKV*0M{n| zBYdI4J#y|PDprQ}zja{g2VPp&I2TNB>HW)F9muh6(${Li>eNDyjQPMoPrtI!;_^jn zUNrayxue`a;qjF@`4EvBZ#BW7?o3{C*@Z&7CxC(uT;rDJlYLLtRk615=lq$%#62H6 zSJ%|<6HMd=C$32ah0=6`39=}~wDvT{%pc(imWpN!Z!=xr(LWZuRMB(L92MQzfYqfT3mOx-c&wZRH+MLW zd5|0FC>_!i&v4|t4h5Z?fSWAuvvd@5K&sX~eLq=5g32QBY;6@SJOm7P&WX`#W+-QI z+UiAfXNcWPfRnWeB_Y8qA9WCCR1ASs4iHDc=8rNhw6%TkT|5y`SHxVTD5*nLl}F1; zlD?jZ>lmok_5p6gU5k*mQyW03RYgzD@*rE@XC$H**0OkoZA)kx#(zXWvYwF|MSLST zj|p~(D2N_pd75xZNARg;E^Lrml+BeI;Ui%VdfHuDp53m7v|}uO{xV@i%$HtN!DRcy zi|*c{>nCkBV*;Gh%-^|!FwjPlRWyqZVmFOmFUQ!$y;XUU`G~cNAF-;2#uACOB=0zl zRIK-nTAvTATcj@8Rf+BHUKO&zyd0(e+Ai>g`B{eh{k&>P^$x8HnP+~P4-9sWU^LRo z??Vs0sP?JEe|Yxl3C7PjH3# zqK)n96Ln%qs&=uUf4*!$GRX11&#?^Uj-x#yq)bI>G=a+rvQk#iY5P^?LxvrTSd}!2 zVWkDaF?+ERluyiebkS&cD}_6toV!fT!4^b$ zWA1TMUtFau|b)VB3fyIGSWqG{ok0vj&WHm zad~QnPEN8G;^#I!kPb;ikE?{gB~Hz_)8vx(vBBOu#BLL9t<>z->h%bpY1T7#M6IYt z;JlEFyict#*mh@&R6S6ptu#L22q_%=o886Bx_iRnvk=Ww>>NLz`I+zNqzW*4V72-) zgDebVpnZpBP=`~2l+NLy?ajFj>4zegUstfQX$i`7$11S#8-q8`!{uU0qG-BIUPEE$baQMD?roCNjBx!uXA%f&WTQsf%5QV`tGzV6f21XkfZw-p3+1HqnOO)mQAnkitw)alB}8sEMy8ySaCRU%6^SG*>j@kz8OyljOfZ($%=|hDlOu}eI0MaA zuecug|4eH=hx?jeAIxRQr$ZzTYRFr{c9O{T=p;99;4K?t2EQc*OIz- zzZF@(e`>%vm!9FDYUai*)p12mT67&k20FBYOrGp@c2Uv#Hhqd%*+__(W^Gtxy+2DY zJ;vAC(<;YI9tw0A?eJvk=mnios{HfQ6NCmfN+}=L;bpD<|?40SYo4Dqw#An zxiY0rtr-nIQa1v1;#6&QevCB&8z&WAMh4TajlPo7^KyqB?jHY9*=4pMq5QPHe{=2o z3P47uaeMcqnP)`3g{0r@_7B>bsa+G?DnPIOw1p6+j^?}dYY3Edl0>fCkroQvo2Bfx z3?ATn3o7AHtL5Bc-Suj2R{U=Sf-z{uQJmp$5TRNh+ti7QeIG? zn_+al`KN9SsB>ap#?$v<(;itBBnUZ@ECdi4ZTL<^7stWj&Fl|v1t@9U zel0ZXXSa)9_4pruz3(QVw367o;`qMba=`%6Z%N-6HkOU5N&I7nm2e2u^yh^)Wdk_P z4IB`^#-HL#{Y&x9>73?_QaEQHzes0r#kKy9q^_A*#Ct&@OYJt>L4#Q&XBNTXS=z+n z{Z1KB9a1sh%ZVMm;3JIH9#>FLAJM80=5s5lWYy+QA_{~W)RD4fSA-L~uf?icb8ljuLS*NWQV0C0vQt4-Ir{aEsfU# zmRjqJWlQ&+5HyBe5Oj~M57|L$QOOPQ#l zDAS7PsK{RuiJeE}7RGuYs>P!&Z@0vfy-GKf*obuvzpF$n=G^_&Poh`ef z*3rL4MwDl1W~=8y7rCW+4zhz5FiVfI)sCE@HYl(ZC+#TG4NF+1gU?MPal=&^u7q84 zcdDhR7tbX4#O9exOm6X=ppI%7vR^7H%Wcdweq+dET%YMI?X9=3UQIxnMxt;fQ$)WM z>$&}AFXeJa*{dMEpzhK~Hd9i0CpLhH$)iQ#(b|PUA-rTIG-vjDnif3)}cWf?G zn>defGF39gy*r5N~Q*dtqv<>v5hr(Z?mIWd49!HBJX#< zQ%BnpH`SgzukBJH1okD*tqGJ9L9p{a^U_C{34erYw5l_71~^AZK&>5F5erc50N2Xm zM$F?<9Dzql9aH%vc?sI-z)Sir9FGrJaoD?@0J3vJyFf4nx<1%KSV-sk$N!fU2)# zWkM91i6$H@#Bi9s!cje@7=$N!z~8Fpb}!qYW~CeRWfF;>?4D%)cc^F}=%ZE>raX9m z9Z^RlgxZ*>G`K%C28rRIELFSJ!f&myQ&4yDt>HFE1_`N4gmD<fwU6=z4OfQ_n= zLl}jCG|vgvgi!gg{6!ZE77%;tC=&+4+|0@VGhsw=B}=(2vYSe-BZ9Ek+t@!cG}Y1D zNz;~~Z02pEHOyGv=MR8Mo`Q*kV|7)fOQj9dDGSsZb25I@D>bzl*U+}lh^$~#XN}G^ zl(H`X?2HXIY?&Fk?>{mtTYop5E<3%JmiTR7E#t1jAtPeodV*mv>D)h(NG!kl+0RVmS?_z z?XnlQCdf0yelx@wq%HFtJ(%X%_tg*CpCFF&1A*TBwNWx82Zxbyoj#os7hgI1gb;RF zO`o_k(_vj=DdJ+Gn*b9=G)d>1=l9J5Gox%PPqt)h?Wz3Fj{5LVI5I?!^t3C1GA{l5 znF3siTZ0$#d>13}7k0-02?!G<>no~@ zuT6d%Qqb?8e7_1&;14P+<6Z4d9J({hzMC+yNn_z;c5u;8|C#*5&f0jZuv{&G&Q3o) zIODO@qm%IyG|z4u>~gbw{U?76TzWXZ=h;!K`9+k0#$W}&S!yhpt!oxKr&SV>+C^RG zNlV^%%Jbz(NQXw+?V6&Lrv>^+Y|ql zHe(eJ>&^mzIU^tCrl!oJz_9Jri1%v;xI$!2~_ztRIrjCrvyW3h~ehvb6nOWxS*fzT+P)0C>aqIKk;qGPw zf=Liqkm`q|^oN0UwlgI>E%L=n>cZeG4Wh-}Ut$+x{U2v#^FL6N3%)^vpi-{f>I!T4 zRUihV0gCv`$t%!e*C0W12}*RxSOMsVp1P$bjYe7GAqe45?Vp1Q7H7iQz3L2!rYEt*} zvG`O_Fc$P-zaIAltKv)c`q&)NK)hY3TahB%}Rsa>=S$F!u9! zP&%&nUK@X8*#;`CG|qH9fye;D^r*IPi=J3+2>*CyRvNds3*|U z$zVAy&)U+7Vevm=So(vvG|#O!d^n0v_klKY-cA1lnLqN>)M`DTw!WAl=D^sxLNJ1j z(<0U0h)S*7x)>u?7Bqa0?q{Gn2?Kme>wsZI^ME1je;nZ|rDu>&$OVpdu&vQ{)(x$J z%nw%RygoVW90#?4`#V-!)0WyJl_6zz4`ol{yK>gI}C(1Josr7qU0cP)Q(K|>S*{S2$z{I7Ba_@Du7VOoF1*CxuLoz^$7Ur!D78*CER zDjPYZ+V$3n4wYrPAc)7RG3j+&^kc=eUxuw&(A|YZcnZZQ#IPx_A@hNPtKySx&{@qn zmoP_|Mwg^(oIlp?$!x0!)_2kO0Xc4E8_;^h?xAhkeq@y2Eb#lgZ}?MNF@&E4%&@U| zph1CpCUZkg(U_qPL9iWS(e(SNWO#(>zQ3d$w?4ZL8|pYPkZH$sbiMyxbF^9nKw9^p zB0gwY>sF}oJ|(=Zzm8ihFff|=-Ck<3J4o5g!`2c$AEHdWX;Dm@^`bM#Jw)XD?cYGhFx;vw;-niLcZ^ z#$L>f<3^@*6c?-LW0e1_oVwNUP$wl+mwlYrPPgxqpnaN9WS`!QCk*=t^ZLJtf(F1U zje*14VJ4ZbZJ4Z$*9VmUIIuqZ$=x)Ksiz0M?3Iv&;0c&t>36&v_0n>ryFU!wJ);#B zoXi0;{F(Iw_3urC#tb;a4t$hfR8!9aw$Go1-daQ3I%q1x!8Q@s)LcX3*;O>?2kLqx z4PMABPzYvR}G03JfF_ko0^vwn%2fyn6 zntq}G3+*az!@AWEXD?uawT(ml9ce)DG&PB8=wV5(EhDB!i1D%jDzs%(in%_5 zQiR!b zV`f^nB9S5Db`$NP(m})9 zPS8O@Ls?3$=blwMmhG?X*WbQySppE6gZnF@prYqjI6%IESwVd7QxloDNIgBV?p?%w->8%#!nX7VI=YdC-RJ4RBU^pGGfYu{qO6NKT*COYLsz0Xl4ANh+NRXdq0HwXqsy0IUl#VoOI|Gj&uJgt2XESp_ z83=He$%{Ss#cRImZ2-{Orw#YEqWGEM2od_KtTfd+_AQz^1wv!uM2wI7)DHdesSWv$ z|5xiJ59M-lLT%|CTG+b%K+!4~bpKn@c@SXmvr~Suh)-R&TyMe(75z?}jjZ&qAG6Bq zva!8i+l)UU0!D%GVV+Z zH8MPTU7Z?3ED~dAznDhs<6~BBb501NhK>$Mp`eEr3QAdvPJL%spKkRRe*ec`_17k$ zLj9!|gt54sKd&4o>cl-3!@tM;9p`5Lz7Lp>-#bVnO?`Xmzqz%aoVM%fxbc9$yPu?@`rWQj24c9J^6hx&pW#3U^~~CPZeW~8kUvsV3|WLa zVfvdG5>xVDSEA-1)O7FPnIb;>5J7MK{z++dlE?Ouy zdpx*ennX>`VV~(8D3}j(9X)>oWrHTU*qa2U>_It|U6XTgQzlqZ6Z)ZK1Z4LxHCAAz z*QmKVtFFWHl!j{R?;#dPR!U39c)F5eLUf9PrYP=`FDK@RW-#NQIJL?Z#SbKzcQSB9 zVbZ#Sl?Sb4s;?=TPS7}-*a@B%d(d(`` zb{3>Z#m;hsO436Fc8wVH3pxoH1kgK%gW>!8sZF`_v}LvR=O`V7fGk7EVZj6{LAmv% z{E`v1-%W``|@Pdo&7x4`KroR+z znNOyXJ-LGKo(3OTK)1qxDX;b4ASXv5& z%}a=R(0aew1h~OZ!28?U8dqZRCtLz@6vWYTsRaMyO-n$b^#Ma9VEe_G~^vexe=EU_|=fV`%=tLB5cX1AU0((h<< z&|{ZY+`h!-h$nXCarEO}_ElIVr2_E084OEZE=+0KK4J$)7@5+w7{R9E?-Z!xup@GnCtjv7*yqjYWhUNthRFt`Y)yeAe{HAj72 z8#P!wWp{^z}y}8^S@MqtH3tqAwCRhXq!6y3`bRs!C zZdam0@x@362pHNFa3I!&&{TMS{G}pb>#-$Hl zzQecirT)Hq6vvfbZ*!QVkLJHhxcAzfa-HiA`|S*QPb|9d%Yy12#l0pOxqWZSHOa_& z{do@wM`yhaEHs+&QoqBYnD0^_RQXZh63}mqR>yU(@%Qv#XST(U*l6OGZglHLD(@Z#iOYw^d!Rj< zkgnUD69%UwAZtiO>#4*)Hc8r$*hINfXAt^XdAxwHpcz%Q%W%y-v&ze7$gn{UzPs>D zLEQ(kwW(z{CisU!)Xr#3)bK4mG`PJXgYT=0m`n)qpdMu#I&QGHf|%Zo+b-4i=kNgd zi-M$vvtyx70_8A;MFi`Kj;VraDu9!eZqrXdCa5rt!VXjXL5n$(?tLoh#BjhZPXAAF7n zgdp3I<-u*OC})@Cc|^|fzLN;2Ymqc=VP5a+ea)Jcx1-!DtH22>%Dlih0X~t2A|@W9 z_D_nbsj&0r@J=J+0(@fTArCG4230XGJ`M7NrId60cS#kXNi13kuDCEYF`5JGF?}+f~ZZZcT z?+1?r>|({`3Gweoe?n%Y0sjZ9HjRJ0FjsB4pLMtch*5tL@)^#I!O21(llGB=?66du z+Oby{Okc^_!Gu+{Z}RPuY6^xmb4)k?We|p55|{}kCBW373P>*Kn2(mk<7-ej+3*TX zk)y<}>yne`@4e!cm+|`D}Jwh>(; z#^pVjFzD7SV*HbB(tvc3+B@EeY}$AP9>;9W(KzFoOnas!AV_mx@V-@uJBp$zATl)@ z0N8xhocGop1($xkI{0EJ7tY6SOu8IN$&wvXq>?5OK~<-UFPot_*Q-K>ZfRZDQb16u zS`A9UzTuGn(xr_G>#w{RL!7Q-d#7quFZOk!(WgOE+}oER$gft!n2PCL04d75*s+z$aSyPyW=VR;aKjd~I;@M|3mJW>AM8!HzII(wd-h985O?p)y_YAC&H8 zMYz1)*FU^)0)=RWNpCLH*05jA9B4$$5&d)^(o|6uoS@J`W4GIPNjv!22F#G zRlR#acS&Dh_7}G~0(slJe!@W4@Ov@VR?v^d_OI(20N;}tF}HECLw>uK>KkTk!OaIE?PIMi0VZ;;b&a=_AvUCZ&hgJ6tS$?cLejp6F9~TkCr2k-(7) zT`Bv$&|Wy@7U~8iibZs`6_BKPl*Z4eQjt@O5V3fN>FQAnXaNO7M_NHXEsC9Zom2v( zJ_F4bpjs@DTJsVqX4}#;#KbBxXv@<&?1s+Vx{wrsOX3(Y_MT)E>CC4nFedL`M__Js zC=uM22F(Du#lKZa4HBF=r$7vh(6DL`5_*SWx#~c19Sr;+GmPpkuw-hP2?PKfLBKd~ z1BQ_3mSO;Ybu~VLZT^U4xr|G(_(hR6a!u$DuvTgcg+*7Romfy~Z(FMJOu+_vb3^XZ zllpJ%biGEe3Y)Ml)M~=NFsvm_l)&d&5KD5>R_JncCqoCz_Fdf`g^mS9q^z70 zfQdTMXy*5LloFV&E>gOpP!=KX+3u+Wm07C8`%IQ-CJ)FzOs-=$jO!0f$0DYO@>_Pk znnT4%=MkIDUbF4LAj)j|#9Y!mqPg#_xJ&XE8@og_~MvpZtZ;_uA|Ni>_t21N>?1ZO3HW6x0!HHyJ#NvFvWwT`tOs# zE+L}df>>@=XQ|=Nzg?bI?_Qopd$_ww^>px&ZyKQ5DrLQ6M{l)th`H`BJwE$oMr>CT z-J=QKtsd*7;L$Q9-)2?sX4QgahW9MSM$?-FVp6&bP}-Q)x(hNc)oJClCl)dTKb6+H z+34J|Z#jvodLJS1LySEh@Y$b@ahA%&iw5*>kq`}HqdVQSi@&^M+1wGBM~YrUp8sE4UjdU>)3nWv z75AdWp-|l2-L1vFrMPR+gS*>ZoZ{}q-QA(MySvLrpXdF*ykGL4WOHqSR%JT9AJ0yzE)TK`HHK42+BjAoQ^iFJMIb8rD`uhMhZzlmaDh zZMnPY;7GW}$b@pGR4*W?lGc9P;ov)B)YV#n6ctM87s3-Q8Y?Vm@0%t2ji}_82TJv6 zoTx6FFCg94F)^_usjMuvOo6S;xi3CFf+Ge}q;oe$QKI*}FGO9=>JnoxAC4J_JDs8v zZ94Haj$UAaV_5A)(UF^82@k!kTE?lp{dD&AvFsysd>z&5P@THFFe!RJbCV<=@15Ks z&tS9mWYPlESWWX= zdVpEdjN)7Bw!)Q)Ppk-B$s7%*3^XNqh*>j^!ga|E!D>@56XuQMHtZowk*w&n3x3bj zb~09-7)gX~;&u*gg6{-HUD*uRF@uxo5qD`L#vchoRBmzOU~588MfHxo!0UQWzO5TH z_AT=Y^tB!J49Irk*B(}Lc9Vj^1~wlG&w=>UeG~q}Jom9LnAti;Xu*BMm3PogdfB*cGm^ARS zFaPRTACe}UzF){Q<3qLo_M7XOT2Oi@d-~lW(2I%@QF=*Gbf0EDOjT3FO;bDF|sh z9_1d_Z{YUJXI^}!ZurV*w=g2O@tk0!rGQE{33ulbD&f7)F6G&U6Uw9La~}V)Eg2fP zR?>+Usy2b`eJ3@6miTtj(?c16_0Fi-Zv`B3BZkdA_4JM`C1Aeh7wg3)(4wnTXl}%} zARAe&q`cc){PWuKd~^N!FsbF}U?@ux;f;tlq1EGWU7Z>&BWUf<%SMBq`}DZnzU{%YS^90T~T<~Oyi zUan@~Jhl3+A}*Y--wpxh1+D{>n%U=!zdRkP7CYz#xMIE`2tD|T56cz*abd?AOtZHuE=7D4Fr=tHcJ zy`=o=5@);o9+-FF`G~k1^AjPsq2>O@FIj7Bl0HT!nx8)e25fqmq8g6+J=7M?(e1TM zc60VxBl$2D?-0!(#Ou<*Ma%9)A!PR?-s>+gRL-#?naw%;Ib2_xVf`eth5lN7m705F zOfqjgXN*a!xyJC&U3g=|B3E(VJupt5WFzabWKy@DPG3OPf|HWXhTnq*m=GBYA?h++<<2Q|*W|--q zmLu?aHa3q=A=}A*9KJICW4I$1BIj2k{dDWKv6D`N-$#Z?2T3d05nNgpq4=%&=IQmB z@6JW|7NSD8H+?k72~9+5CGr~NGrRC7hP4A`rTSvFey?ABA?zfZ7=`+dEj`9JZkiCT z+xtE&z^+319^OT@o+cU^GX3rcn&^~{M$4k$2zKh-SmQ5weAxvBVmn|9+X;O{w1JeuE1R{3-s>F2n=~qD zl7C)jcqy|hF|xa!s`dMni5qS_j&8=~uVvYjj!G&;GpcSYxL7V4J)r%fV9B(onNtNk z2HHi$;vp?yNS7?tbAGpvPmLw}uAc-`No9c>NJwcmq^5_2DuP|!`7&u3`Q|{EGmFcW z(!%>Lu|tSE>UnM_P?uv8erkB$?W)VAnH;X0$Mv;qD9)m9F&t7Bp!wz1MN+D!br{)M z{RzN)H)J`D`}Ay3!Q{V3zr)*sATkQn-!$q$kc<2h#j9N#8oWJ_p|^%bUu0d&J}jRL zFCLzgw3f5(N*rdXQl*`E&%>r1kY_P229r$9cU3e-OI$+I7dbb4V|7Yu|5!oFzDi{n zb3>9!udAvW!=%N&*=@#yl zcB|B%&i@h6ZSJZEIo^MWIQ0-#=TAvsrFA=t!$`1(wSd(Uu*UY zhHO`=`G>|l_%f8Zjx`+dOBMA6>e&tUSJ2HUvP55T(uI2xE-6d*(syj@2F!^3jf^Lf zucUfHYwxF7N5H7`*i(+Gw&sxudn!#Ln(~-KJ0^;Y)i=pRg{J#E1AuH`-Fxh9i#M2XoCk zBlI7atx z)go2*x^7XSOTg)Vqc-O|A+)GeD5h>vV-S(+w>9DAeT}RjP`Ni17pf*1`{jX;E&Oy8 zlmUj^W<|Y&8r!b0<`o9=lponefzmnQ{O2_{qUBPTUp6_G7B;++smIq~z3+9`k<(X8 zbNnjlZX;RW^{V?r{*)AkB3gwd@^?(8hRc^=QyXe)82~Mtvxi)y>kMW)xab?%F;PBi z)@E}w6CqO-Gh78$k=o$+5Lzqc2LP*fu0O3>H5egRefiCUPw_dm@(Ou%UNJ7)>h^h| zRESp)LmU|<J`jrIXxc*cA3Z41d~eh%?y2!bV2D`R597X3%B|)iGvb7ZYd&kq zd1$zl-o8%5PNDR}<|=+N_qHiPSYT~s|G!{ri)evXGqMzsd6{(RU`1}^&>(ig#3tVo zlFj>yJtIG<_cW2@iTgs9yN0)^5GeML1(>Ti#=jDJNJ)}Jcb5-Kk}`9QsaU6|;%l2& z)fpyr>%Ey8f)af3f|$U0*XW36jcsWPIxQ6VuvC%GtnbkkrW4hPJ5T8M36x)it{>Yr zbEp+)Z7FH(q1a7}VA6B*vjbX(d77kIuJ+#&V@CC=M0SkJ4nB#vQy5u@?A$IG0RA47 zMQX+~iQ##^oVt=Kl0N8bzyF-F_-($$3d_g*VJ6oo^USRL1zwH%gDFJSqV_0$xXtn; zKfW5S)vWup2EfJmhj`TNp^IA+;8M3obyir^-W4r)U)H8$*D5^y(=9D)Gkn3|o0*vp z?@~_uZ+2QdEnOVk*D^*zp|Boq3;^p}P)ue9YEf>81wJp5?uxh1j5lpXc)jFK-*a*DcEY5(>Av9SXB8D8Ao}`UDFC3&?L`KNOO8u@1!arvJ+9UMoE7a0du1O}~lO z=YV^APs8jtZ(&C6JcT*D^v6?o8BHH|deGFYD?;7b9C#J>Cx(xei>B0frG}SK$nmn1 zijzr&teucl9KAp@ykzb5BSKEe;@Nq-(_prI=X?3W z!*RsP=5McSdrQk%8_vMfm}@}W7%q3mhO@e^#MQp)zOky+WLr7bq=tHc)job}KHi8V zV*=vZ#Lr(;~Ax2(#8NbNVzO{SH9uhtDqSVF;4-#cS+K9E+Xa&r9``pJ_5+1iujxt>gFRmFObn{b1?Hr7jtLJ&{yHdi9k zVEQ+D1<)9p8+K4VjR^oj^Og4J!7$z3j`POfUxAhDt`CO$Ejw2AUOvU9q659QfnoMs zT`D9gwmka1FN;|l+f(5!j#bc@i$mqT00pCO(>#?l$(mV7`c z|HGVy@1zmW)vVhwBN+m_6qPg+dW~-lCfFSo%KDu(|1)pNz}2Ij-+My=5|_fB)Lx{* zFFfB1SQB*d4APbwj=Fb0kU_rjc+{B=@*^>8{@vq37*-8 zMdQnc*QJU+|TJPwwYhH5n=y%1ze z-5y-qirb^0M%aOV;q$%9t+hLZabB9MYNM+Iju_1npDE|7+Hy2+z-*6aDyPY?sw^F2 z-5p19gpEu{*Lf}Ju2z}a9v>yFv8Q2aqUg)^UR?I!#g0G8t4y4Fze<+B%zRz9=(#zE znH-`ygR7PY2 zSw)jPJ%Lm!`Xxg=@5Zr%m%zmko#>$mlht0j_;l31mfgTD7Tafyt>`YDA1Ri0f9_^W zTQ0uBc~+wMN?NfIR4t7Uel1-2suW8bugym;cHG~-OE1h^To7QqAX9o@T5(AMD5!BQ z89Z*zqIS9ysApj0vCT@4DhxScyoBc%q^8BbRYH85{l}5aHru6wlvJ%}Y(B_;Hrqq2 zhhFZ37s;?{kaD{ekn33SeKDr=EesO4r;~MTR6I!?d)gYZ%N@-RV`>`A_DWuQ25Xl< z{4wu;3Q(jAUutJ;TOlv(6v6-^l5GfnQR4}jt1h6P!WTFT}(0Ahd=d0k_ zyp*<(A9(3I2Gdf?eId=EKkd3U*uS+_+G?5xjc#FACpb9cF~PsgoTA_Ia)r| zgnm8adhXDJop7Pr0K88y0K%bHLdaXJMNvZ6I?kKu8$#Hi8EOp*xp%;#H^^tv4$uA` zmSLWVA9|s%bmjAuY5~0Bh!)0cQ1PKUEU|9*T(l@z({ypK)Rn$|i~H*iI0H56gxtQi zfJ@NLu{J!`FG{jrCJ47^FYufD=wLPJ#Yg3Zu;y>&3GRL27FYFcWvyP!W8A-1pRNv` z-yA^nw;2$*d&uS>s(1inht zDP7+YbXZ!Tby3Q-T%v>OIkm#-#{3Y|Icp){yI#DNw_dGd-4e2)?JK3U_7%+J&76HK z+}CZ%0Ip7xmXGiggJ%Oda*;^=NM+hBLClo>8IGnwBIg+MJahy4Ul%o=csIJSM@2(R9%U z>~6@SP5YG#F%ZgOcw0ju1$1G3o~S%0Ejp}{;}uhSisc4QtRnXOgtIrCW2vp5qDcN= zbra{heXyyEsq+q7cg0YPsQ#4IU3s27mNY*KY2r~Mijj%!NTsM;Cb&`+eIFUUe+C_A zH%}^>)r-_Z|C^$?;;D8?_I|xyxt4(9iMaWW*X1Rs>8@$hG-UJrxAy{Qb-j%+GFI$y z1mUJ(srfE|%U)HzCEmmViw4;QN3V@@xMZ)}x;?Bl%J{=4Dk_Kg{N}S=PhZ1LvvlH` zpHVs1Jf$Cx7&v~$K-A*Q$n&$Vq+<1;wKz`p^=jAD8p6PZ(3S;P;#6Yl3Vj?HQeS2&K(4!jW{Z1lG zLzDqu?df~+{P)qFpU_pfazzpH^Vxu{_#a_R$B^~eP2``&dg#8&^42trtCssYCdb+D zO@vVatNQn-fz@kMPG8m7R*4`iKk6qxqCeWo`1*f?I8&$&RJ+ z)H>^APeN_2rqf3Dr5wi7F*YkCe*S#lX=JiGD+L?JASai_#2nJuJxwE5Z~EGAl4QHKzlnl?}9i8X8wN1*u~YF1&tYb_C5`e`LL?CSb4 z&OwVT&cUAO4e{R!cHAY3rl6KiYStuwTxv?kLM3V2>vCG3@$;7ER9sGO!_N*eazL~g z&36MHMztPg`Q%5&mk+0y8|MPQ zi2ngnqEpP$K3<&PtgiAuExRVsqRS*bz)9DYw>pBxF7Io7^OozN1~-~)@E{RnGpmpI zIAjMZInC;>2N4zCj>!ecz^Q<*qN#RN;=+fZ9M?l`AL6E$&=E+Wx3dCAR9BI{v}K}% zU~#w;QPLhhZxs^XhIg#{BaRf-yG~bn3dS7`$rDLfbw|JVU|G^1j5zQWs0s$!clGM6 z@9bnpjFsv-wTcG(KCSH3@D(%jWrtwe>wUZP|L9|y6k#XD;}cdPG?@cTu~L^&UKrn! z1Y8YU+T@JC&ris7(lSs|nL~Pj_3>q-biH?=m@|A41}XPv zDuxGGF08FCI@1JNsCrR*$2JKp+ykDF+i?oI?*x{})=R!q4opU@a>hMccrLa_#k(#3 zfGPZ8^`pi++=LUYj5;4k_$B`S9md=5!rXcshMBa3;$_0(RhY-Fc;tbbtGgbl%~;6A zO)A5`Ky5P?6knIr!~0DDso-5hu}PpixywX(a(^AU&lAKHqARI$6X_3hD``RUPqiTv zGItwkQh^yfbeE7AD?=QJ$r`vnNLXJTdd#-%!y;YfAo%Zq=#9Yl&OE`d60{8BHRHMH zv(0Finq?w%UZm8ii7%rnKcx7pvaH+VH8>4q$_bb#XOVwm#Pun%|3MZKCD#dLZTGq& z>AsT7Z$N_*H?DPjX1og$BJE4rn_H(K$htY2lQ>j4`u(MQ9)1aV6BNFNiOBD6#uuUS z*^g_zYOa+V7$0I~kZsT%{5AgZU4jlD>+!o9x6ickX4POeCdkN$=z0DH zvW=)`$8kNPCQ2n1%Yf!v<8Yj*W*-C zJGGWrc$RqIztBysloaEw}aPr4Rlt%GjPBKyQbMwTaOb{4ElmjLTXJgGeUJ^oDP zXfMBvxMahms^Abg^BwmeC_GBiIQUB}kU|{MB_Z(L>RMoXXwLidtJnpl-Gc*%Fg)p(v(RbGvsU2w^A~xv1*fOG7n{6&o4@?GQwR8_ z#ygt>>${sd{b`H=TO$giL=qkfC!g#BA+^(A`2~;{#^|Ir*o6NA`h_tvge#CDc(z-{ zdg*JxE!wZhxIM})Z)GE920s`2(a^%RZvL<|K8@Uaf2F>a-ie8^-hmLxZDZE1aEGhONzhx4I5I1|N!)$)v(l zFb*^>G9x1T#e=#QvfuBih6U^W-uoAV_f#z)u4q1HCv9)QoL|%iwLAsu92*34tbcCe zWeAsy*IW}f&SG-xc-bhOcj$km_Ptw=vCa7BfW4^$CTN`9fJ zfxFl$yJ%6;u+j*oYWRF*$h~mgcNY{!Uc$kF& z7oYlvAy(6SK0e%nPghzWZ?1{^dTI3+GR_cB+2iW2nE@w4j@1#=A}Kck5ec&g{1f_7 z%8QdC1KN34V1$^00W)r^htbT3TE5ZASqmh) znh7mt?E9f&I{%tD4DH%aRI_=*we_(pp8Nbj^cHCOsZ&4gi`6as7To*mt?+^K{qwE< zJ5&MZOQ8Q}YBG4E$x=8T+;Ktbc#2(lKJ5y7s`CNQ=6L*uuPm_{)q0bi>LBL4*Cly) z2%4r-`U9-XuZZ0QKCHW(S`1;HBH>y`)zNytjlb z=+$QeGM!p4SC{WL6^Bhc{CgMQ3;rV9lw`nqh69EK>DR%gmD0Z-@!b^j44VUg`!r6+ zbm)k&4=%X(vh54i20pZZw$?cZIp|vAA%^F?8vJl>zAvLx=5WZMa>~c)ax?-2pGOyN`As5pbn5R$Oun0??&y%7KQ7JyP z#DHLXvzOcT$#%y5qdMSmxtVg<);_J**6?ya^LX2PsK0`z-n&@r^2bKc>+bv@?fj;z zsjjUVNSLr(VO5iS&^98J$m^>;6h|Joz-h%L6Y#KMxN48)9uA29kYaPPEsB}$4pN`U zF>Cr|C!iHyoF)nD|5e!fK>Pz^Ho(uVsaXD}&*kNS3+_~bZ$it_cfP!uO2atl0vLqC z^;&*93`C3?Y1{GfGud;1liq%PeR%~b$-aY2e8*{Bl>-4WrV0Gp^X^}c;hy~;&iJ0=9UL6oKYdy6zWl>6+>?Tbi9kq* z|1J29jAMJi`rDvd_JI%dPbKs*6Z3BcOpgj81va>lyxR09*3(o>%Vm=i(}cjfwKYsa zbq!&P7*vUTc zp?TeX*QHN?Wc5>ktW>@8e8_nC64gr+SYT+L4G5{Di@;m0bEd>DkGuMVy?R30ud;g;Dl{CVfRR>TT)) z!P?@^qULg0CC+wss?x73B^(uO#3u!M)-EMc*P}_l-#nNaBD#|6EaE1Kzgv^ktng_I z)&@1u#tiln1oh00<(7E9u3m=Cx+Bct0@;&05t`yx5}Bz9$un-p52wXpi-WD1n*p~5 z<}A6p@sFKQtYcU@#VgZ{m+-G34~{X8Caq#!{j`ssY<)dwkc0B3V@at#D-%q@SnWoI zW?zu<_xA=9I|BkGk=CNGK4CtXo^MBse`kQw5UDsVIbxH&LCcvw-~zk&5q|!y3@q_1 z8ap0eDG?2~9Du_PKiCUG$UV!pxD^?UP(g`59Cy@y(Bg9AV@8t%If* z53j>8V_pcDKg3lmcc)~tG}IUNso|z@gmT3<-7(0xA)fzc@;-gc?eg%WS-dg77CUTm zgNF2g5|*6s!;~BQahGn2(xT^}4%|Q%CHDRKb0u8z^OyN^lE`9Y0vYXTk|AbZ$IA!9 zlBbpcXO0uWRoN@s}dJ<2=7#B&;<=xO_^Vv@|Y6ep~id;p`uKt zFu?O32H!j-a;h4x zfFSyeoB6XiJ|+Y7g2+x==#MM(m*RJwh$@pOiuv7c3|aU6!_DH;rtaSq&ys2|HO~d~ zT~^~c0;>Y0)IoWskfh<{YGEuYI0yjQ=?r6hSbSe2GIf%W;P0z)jnQ3slax5^P| zDRmICkH$dOD653o;A}qE(VF2)f0ut^3fu*`-vk7E-3JvudGsRvjBLO=sf5{UDtOoS zEwd4UfUf4nIOEbVaZ-4a=_iA7h6|+J9Z&%?-3a3OSA7+&xJ#Y0EFG0Q&pTv>+cnE6O;V^RYeYdGQrf;Uh_m;GRN8|5OH_qi8Ibda!f z!ZuK3Sk8micJI3L+${mf4X@|rIbn@PR_W`!t^^M3Y%`OI1ThOtC2N*n!~~0Y*QPmG zueNAD&V^RG4-UUub)SXoZrDuh(PUS(D|@QKhyTwW4H5Gjv-wZ{@3yV#J1cD@7Dx9?%VI$na(UalhWZse4}t- z#aC4!?3r3f4p?k`SdLCHI{aU57#?YZUhJ~&iT^I|+2Wt;1YsZ`+(;q*@A9sYx3E`G zSA+%ffP`Y>V+5n&fUv;)I3Ry`)-Nn9JS^Ni?BGEh&?gucc6nCr{5u>F2#<@5#Ok}F zA&-lVy%GI48z*Z=ellieE>>1BIv$7snuU{$5zLGaBCb=!14TjpUCry(2|!N&Ebw4W zLeM|90~|#N5=DM{rvM7Fbmsy=KyZUs2|@IHf2serMu-sq{h)n@fcR!(?fBi=k>Q7x zrIIWN5)0ygjTKmq1VjM&cndZo0nz+pMresa1R!=Wh!}(kW+wstV{O3ykQV=vTEzcN z{`yN&{nOL#Z_hvfHp(OhVgExm{3TJrGsGYoivJing}>@S{zpfu|JD^k?jHP|2=tFx z1pgHWnSBp#Bmzw!m@(r35~Z# z`z6uSOcYm&;9R%NLKs}>2XS@FP9{6;2^ST>&b;g-p-~=p8s7nTZjJ*`}8o5Nk0AB&+0S&-Oq?H z_)W~v>ku~x-TOxT`h>}W`96e5aJiPZKR#LqdPiCQ&iE(mZK=JApScH+{o!?vjp)iB z>Q1SUly|++NeH;RJkOCX@Z-P`7(&~lY=8f+w@8a`d?;t&PX(!RMoxuu77^wWd?O_x3 z`9lvJ)4~2{tvP_cY?d3axg>t=lJ)Uq0QQcOU2XRzK)46^x)GLv-72`!xv_&$DK*Ep zwomHL`Pg#Zw5YfNHdfHNI(Tw(8~Bp@^Xc&P2ssTCp60R1^WJH>Vg}~;tN_OHmg^_H z-A+arAVbm*De&@}P{wX$|HKra&Gi8I+6`+v%EgO*F|B$#v>pfCf(}Fw?E|AoxpVd2 z{+oRagktD=14%NnMyatS#Jg~E3oF~Ldfsx=excHxdI)XgGyQWOhvE66PwDBAOR&WL zqNMbe`zerT24!K6%zaRGVu}ECcPhaH`((Ewz_kpS7nqTl%UY!OWxDr}`R9d- zrxGjUoqZOO+sg!A_Zluq$3DXHUH>yRA}K)?0~kH2T$KRWG-*VY6nHo3LX{ZiW{8kA z`?F|QQz8jV?H9n6bgM!TsV42g+Xz4!V2T3{E5(=89-IfCb@n?1F3E$`5%@Z~+nWMJ z;6dQ%Kqd9v-}VxdPlZv}Wa~VLZEI%vA`m>JS6%Y%DX_30+k)3uoB*a+~J|5>4 z)kUdH@OnK=nSZb7)-mizT!ZqR6+nuw6nC^=WnSs>g8t>|TRcX03le1){`p~GyUWz! z(XB;ejv@LwRq`x-z2#JE+gRityZ#Ut;63r_b_@ZmQ+s1>_K(5lJlATHL8P6gy;F1Q zll4UCAp+ozzd?kCl2y63d(Ix>U5x4S?&83tZOVV-J^?t!&HIyEt!CZnFkA9bdtWl4 zH=S1H8B~I1{I%vx$aJ3Hdw_Wx5Kkg{&I|oyptg$LDv#8a0U7#f!1K08L9Ll1X~PXm z_NMIQ>jE!sJU$UZG`iVApjyId%T+6!*z2|Q*#p=y7i+4sx3^DAEqblBwQc!!h5eS7 z@4-l9^rLH?T;1`sFGaYXT-fc-82iJH3wb>WIqmK2>S15|!&N=%e&z76XY|<8E+6oQ z{oxicUDJy7d)IBtklHlOYN-XKfl|93^hx1!)+=cuR1XtDs=ZN1 z&>p-=$Q;zmyB7bwfq&{0!tmB5O6sm{p420ZnAIcfS=3YiXH!RQ(zcw!wsB65Cq6|<0B2rwpIKSrtlaOa zoHetqhLuYdrVZIJ!WA}EihA2h1%q{!)4tYI36S*@KIvdVSsFYF>c2s}hT7>pxwI~u zkuZjmBZ*v%HZO|M$|3zIr7%OkWl|7i(ql=P3@cSE`fui6$zV$EWznRLvnX<=*s&$K z2rrt_A?bfOMX=-p7e z(CzUu%c>kwXk7{;x-63tTbmI}+G$p)8ZjajKm1aXR1n^>FB< zDvaY`pbu)GKF^jI*uCRUK~vnh{;C|evYf&Guz2~lyl0(4EJL-#l?9+9kAkpP)m(`l z)a6$l)#b2bw8 zeL5v~K=-@c+6>1qoc|3{+ziJgjs{bzP6ku|KPKd#6X;TJ8Pv%S%<5dH=6s38c^y)d zXeUOI*D$iy9os#*a*vi5cxlp1NxyV(z~*E*DUYH|Y>HMn{Ysa8}3SS(6w`tIrIh|Q8YHG>wxgM1>tAXpdmuYX^le2Stk%uVZ?Oe zD3MS<7Ztk&eq?zMOFUZSiUfN+dgO`-y8;)QBj^7yHAP%ZgGd}BU`vE({5d8-NTu=W z@C`MF#b7D?ww&oCxdhne#5QB5KqOkl)jUGrQB*x?BxME8wTz^aRPeT{R6MOzx>6M0 zb^eu-quBdU+pwumM2+CcVb_Z6Z!};{6c|jA3J9-i4G5>fleg6TMJ;LAjdUy^DG4Kc zMMGTzimXloEuvF_7T%8I_iIn8;74C5ApCy`0O9Rc_~AcED3rskNvUBslg$a7N(?Sa z5F@Koi4xa_5=OKuQJ^@MD3I<+{T~5ql0H2Df0&AcDb*5#|I20o@k@IY`pep6Fb(y6 z`CoXQ%gMGCX#s#br4s4K*;`v8>f5pe#=nRUYf{)`gb#pr4C#$M>xV{HO14Iq*abQH zLM`$;CB9`Fj%4v>rK_>*v_N1&#Fn@n#2?bR2R0%76;7Tnw%#LCe^4$l4~RO)*NXS zcr>;M0c=^9rACr!#8G~X{b)N{got#kL%1|+QxJBw;z)z7c|Xc4T7(pptwRb+m!!mH ze>7QJ)F`d2{@(=^e(PQ@|8a5FR)b!--KxeFZq1wctF}c-Q0IIX(y<2J>UUSFYHv*h zivm})H7_8M;YaqkzBCX=sV!Z(y(EG2@8>9jLxHdQla0zxHgC4)yJ77$zZdPTN#W7{ z%jZ8^-qc_0DQ9h`Z3BoMMcyjn1bs%y$WZlIA-_S0?cj)k*(>8^u>5xLH;bg01l3M- zNiyb^6Niqtwc*rP4EwX4*QpEp`szC5x zQ48vM{@Y7{XS-sEN&k)T{g0zWXc+M0zedTa&?L~)12KR~64VFemvxtv58FFd<^_Uly2^ZNnWU&;Vt{LjPr@6NPeP|ukA&`T{o>mH4}DwTgq!_b2E94`x-zH)zk?x-k7Spk-+Myv z9W|-At}m`~Kgpq(!>Dov3{lkVMHeqY+o=#`Fnm~%yTnnAf`y#r{4CK=))gLsxT@l0 zGGYpMCWT6X(WD5e-|}QuX*?OxB?qG-6^Z0Y$iW732f+qYspG1kY{{sBoVwd`xU^!H z84RgN6QfXp1mul@1dn9F^pqzF#D%j)KWo?k#w(W$%@_m^2E_|JsAEsIB#v5 zY_n@i5COR{v{yC-`U3~H;LN^=+|0gBkA+iE8tMapW8Ss<$3rUg|4pMLe5(hNygx(e zkjuQW(v{8NZ^qmZmpMtrBByed$}!Z~vm9C?WIdMY)!6?o53w@oarr*i0G$F6J&kBC zCc|16Dtcl&v>!s{b?X$$q+caeCcV2y_YA&vTp63m@Xo74k3~CrjLDD-BZC275c#qq zns_ayLqQDra#*L_4f*m^BGQ6>Ewe$B^BE6SuZZ3t({Io{Vw%hgm(7&^g|UaQ+5m7F zFE1E;bCo^MRK1fNrrriXs_f768tjqlWz?-vd#f8-rV1Nsz_CBoB99vKSu&`Bk@g>w zkU4pCc^RVlxx=_ZO_Q4}eBh{cr$La}5$N#zfH;1tjSd9~*dInrDtyq`a9l`C1pWo3 zG^OJhr(GS)IJcz|G_R~bdZ)0r%{01~Quc2eQr)NXyW~>yyp@2#5GJJ(T<3zhj=Au5 zM~B@T)a29uR7Y&V>7U##^N%aE1gB9t9KeWVm9dFr|C6tTvN4?scd;c`YJBM`6bOV_ zA_xSIS2epd!1^l`6a0kAzY_Lafw%mPeHC zbnSJ`J}DgvqPfohGo*sYpCxc9arLDsS$afHW?wE@V7H$Lq4K<3taYf3D;ezA>U23# z-Vu_7#%@}-1no~ta%{*n(2D`Q{8#ljP-(7{egJD%NL=p0#+15SW8W8Q>3%Y$8uG`0L5I|)m<))TWylv2<^S2!(U-eQ?g2qhJp9dN@YwpVyPXfE%OxORb~_=ZkZZ%Xjp z!ehAG9PfD-^bOQ8(E4LP)Ay0v{T+*z@$Hv9P3s|2?VAoRuxQ|J5khgDxzO?IG^c`V z)0nO$e)^mAc*w#7RG%DMe3V#uQ-D1`c9`+rLi-JYQ;$x{Qy*u>S7t$X4sPwqIHsCF zoDlPx*u%lv4ebCRB6k^5@@i`id%QUAbNT*(Xxh|@BGq9%wW);pmT+}vn9`w68F5un z2@upFBP@xFwn7jjs*XFMyLD!BW9_B#K$q)GWvZ)UL)Mm+bNDLA%ekr3{h~Sjdw)T5 zf4$G4HMFfpXY1>>ojevfm}3Oa8<#%+)eRAQbykVgrlfN*z47%hNL46V|z)w-7yR zG0S3@M|xoZ-ZD3q8z+1+U!1_eHWHAm@n+Syx4ayqa8$5(G~%+m$*~t$sw;irhaAqS z^>wvBG0#Ky%#ac<92th{@fjAQ{&|$B(6;$}HiA18c;yG|zm%V*N~J?AHAvo3XqM8A z&m|Y(Daxo?oiJ_)Zf)0_oJ+eNjlA*VI@z?BHl+nXWpSMjfG0~=J??5GJK=t1YeHRK zB^PPo{R&aInZdX=t4H2tT|A-V=H3W?+x3S(x>h#*9~jxhd&!h6h4=ew^5K>G{O;}z zUEap3LHF)7BI$!dZrTC(yT^`5F3RI$Tf%f~RZ|S}xotntSIBObI|GZRL#o5IjyH9442$M5-!uwq&#(H?;V?yQ zr+?a?xcEUzH0jrO!=D&Y$^*48boOm^h34xHSMtNWpB~4%Y%}nOv-G|1q9#VWMaLI| zbKurnKATXlLhZ=hT4QAwxmJU*85?7M@)vOc(s~(T3#EppLRh$i$s}1u2gjI4TE?Jk zjpx(2RNN7=yWV?mVr^LCh5nn+8&Hhe6K1=?f1+2(OZudKUF_`vtPN`$GOIBg?LU3a zMyRMD!H5t+|DF-TjgIw^6GVX!i0{|EgCy(iP4J0>h$YLs_x0X4+MeB{-rR8G#B*8z zqiyerINRLPU0my}$7L?aABD98l7>?;z4{Tj+U@nHQAD1H$$>8|_)x{5OL1TvTke1C zxwi(K&*6CUz1`EjpWa3S{v;ydCq7>jjSramzLx|D z4|jE+0)VA0kLNN_N02^m7uaD<_xp~8`=A@4o_VWgJ&N61pl$zmg9cG!3`L`p-{t3H?#c-N{P(8>PaX>H z$GqdIf*R2Gh9&nn8Nh6x=p+8Yz6Ykw;~qU0>1(u7WB9dYov zqMd{Lj(n2G=H5E^2KR2ZUS3RKC#K2xVkZXPfQo$vML>KSHc8|<8=q60UOY3VN< zl`91hHZ1?`?wQ-esg*=ycF7`zl#VDhXR(Q01t;y=QK9cha_3R+ActLw#Q_O$F2WtyHA#Z8cyO;5V zrnSZq#&>2ACY@cnHjc^Ua%B*J+KT zOph^3k6|;d2M<7wGEcFi&xnY{U3^io_?Jm;e1ZRM;Q+{MhUl>W#b=*9XzW-psb>=? zXC~lK%KLrN9Y;!4o19hU}THX*ajdG|I-?^-=M9Cn<`^+`-);;%QV# zn_4i5t-vw@!{2u%2f-Dhh^WcRb1}Sb8XJ!M6JGN zj4t{cbP(z|PWU_or^;^Jo{mTL>5Fr7K;U?|^gVz=E~X^a-y^58ZmZokBIasa9~5=&vkBU_8!U=D|O)Go#}nO~FYRgh6?Fn_5%F zCjbJ*&zf&|F~7(WjmCsN>&eU~q&bc02Ccl#ky*EWS1!X zO~LK!>8BXNu#{<}GK`1@(O?xzHJ})Wgu*E?KAFM0A+_RjW_h)nHzvIO4AENIcFl1; zh+4`(+7`TZdi7sStigtlEI5bcSMf^X-~r#WjN^pNY7~H2_lOvIJcc$O8mIE^Ub1!X z#sdF8z2pR|U#~R7cl{z5k8%gf_C$rO*bD1s%=W~qBjs4?8SQc32P<(}gWeav8^P<~ z(L;8Gjj33jiG!#dcQ}|RJ41nPBw{JSTsSUC8~_6# ztQtGN`tS+iD*LlWi~a)f@L8#Xx623O&Xa|*g1VW}2O)!_yKdy0{(KwY#qo?Dn^ z+JYVV{VFrp8drllsjok`Fl->Bgn1NG3qcW&Wib}s#ea+mii_Y5MI{=#=h3zzfYdteYD9K8UPGtgAxqUniJpjf7q-YCZgs&49(Zp#lV> zKrDdGLK5z_?*%;8p*~%#D1vi3aA2t*QtrB$|CCjqN92fCNCRIQ9|sD!r0N6|35LG2)Ux!(@qv*rMdrRZnz+AU_yu1#S>bTtqj8!f%0HjCC=3C9n=?ceirZ?| z^_*IbaSy2|P}hab{~Z9c7J14Z{|uw1XAIl1F41Vgi=YFL94T6}s4Ub6N5aV5 z^<1E0A25c&C`A0y40A`#@~#=wT&HmF5Sl1OwEAi!9H4v95D{SUCpybbQh=xdTYO0P z_qR+wiKiE=0G=w$MVza99Nq52Wx`Dmpx{=0KKv~=1;ky)IpC)o@Xm*Fyxp}k`-+esV zqhQ@@Nqq0dr__u|CXa3o z^DmBH?Ot_UDrR=H3Wr@IUh;6>J#bN?JU1Li=)YxgH#sf2^ye#2g&|Sn8E%{h=eYb| zu~7>fv(G1hwLV63umHoWRSk^`I>H!gh#8J~I>eNNh^a_%0$Q5(a0`|Xu#+9tgbes! zh{Xs!4a7cuy9e{M)&P=R+#IEs@vVB)OtErYtLsD;bJ5+&2|-|nN%$*rH*p&fks#*3 zbuS_4!A*_ozDAu2775+dt;gXLaJXaAykd5w6z!2TeX__TCD>ot%kLoB@nH_rq2ePW zFOSJxzfpDm7Q<+B?IcY(g_OXaFKpe?o+kQu99dBMbo1IH!UD z|6(&V{jK~<+mv`|HCjTOPp$7jOcJ8Wt4tCOC_%%eJTLXD+6|3MMVERuf=k%iX7u$s z1;F;|U5KJn`=Kq{Wb2tgs9QZ2N2hZnp66=RieB|y^sECEZp?(5HPhWs0nnz$$rPlf zu|>@&owg=0n0-yu1XXotIUu)fiFjW2vCy*?E)8MkRDNb#C!xNX=e>CCgYu!Q+CpyZ zW*#iiw?FN=+=S$`9?`&QELirR!bA{$2h=WqW_Ad@t{5y@8Xbdb4xU4$m+d$j^JTW0 z^vd(dKlioNmpNOu;PiTPC7giv7kqZNB>hrySkd!U-;7F)62W1e>4Df^v*<}vS{5VY zQ%TiSbu9j!OpTuKM8;H_?>gcjFun_AB8@0}{vj8Agj^bqfH6HUPlcgZ3+W##N33mqwnkNe!-0AkC>uMDHbC$kD$k;K44g=c0&bHFEpj1N1QWtA zIvL`w<-l$NCdP!^ZKDi^niNmisi|COftAcMxrIO-xF#7Js_YtCFJ0l4A@naE*Cl%0ZHDcN(@_7X`5kxxQhitj6WRyFnPPI zsh;pbk5jfwRJ?QfAV^Ey?*}$8&t#X;h1=jawx2138_RCExGR1q0rSj`jUOkjp=nCo z6OoEH#LRp`g<(=bsPhHKc5^E7N)!w=-?$xJYUI>b#DWVVgBXYyNc0$#0-$9lM`yw$ z3gd6kLX*6_)FX|XXytkaa^QTMTonxhVmu#s2vtk6Mf>aU&s9*21Aa4PnBGZ6;k7cT zuOWK*Gif6Y_>O=&df=fB`+R;3ASzxNki~|fKS81My@2Q;9EXRRJBA`9x;gMCiX0o- zv9wU0;NLf_d3X^(fwV9P1H`R@pbCq{nMKtf$2AM>={{{2^pPU5@Z^vnr08W1k}UIl z#+*3QER{B2S}k#ceLv#4b{Ma z6ggq+O!5!N^?2r4T)Pq$F0_?k0$(awdqC-;exaa2dkyyny7F|m4?k!Y+>XAPfr|mB z?j0NCz5i#%&qoBu-&R;ffshG`D~CzSK0eZOj1@GQ27lL!fW{Eo4T7QwWE$Gq6&3}y zHbn@RU8^~nLmYs72}rvdBWGJ^&Od{R`l2YlA*Nq>eFW&+3i6wOOWc@gp@~YD;lzV` z1vno2iGUae#dFbGnwBhhkRqp7RhA^|%IO16* zDcrKi^}D~Wu=pi)=mFH1TLTpCCvK_jMA2GX^EE|$<+u{q1K7-XhlpDj(+GxXAN~qA zelf$jkP`_v@yy%8R6>4lTCbAX>CROn((w1o2?m=|^TgSu-O`*=keY@<)EidisR(Cm zt>3BWPX+p8Y-;IO^{Gw}L`2jmny%lI?*B=L-o|l?r+iOSs5cGEz=T7EEclyIE2@I6 z=2FIQ{A{)c=*o*P&1R-aouzSOpV{P*37gXci#uolK6XLBXOiBz|hEo*aAr! zx@&J%#9T<{U*HHH4RBgL8$Deh>DtmH()pKeXaNS~VNO%w3*XH#h&_*nVF^+DCmm$B zzHg_yP)kio;&$!$q4ulhs!5$1aBt$88JTCd^{<$<5k~f)tSK~V^I(;f{k=qw9ft5Tf6T-oS1Do;lzx0rWn%^ zoRM#H>k6@NQ`@huhSULcX1`~K>{8!EgL9&nSa@wpLiNK`lGziC<&ebROi?q}g#eXt zIi;kex|hnxu{yJme5h>GX4uRag)7Y!6)!p|QPU~uFFMfwh0v@^%G+$z=xO+9^{tZF zGu{JSiq0VH@{+te*=)2E2hm2Hak-@?)Glx5*ZliC>xPO4xj~h;Qd3?RN$Sgn;1}s& zpP2C%P%O%8%amrsWYLUYOpO6`HgVy>a!sli+si^d5eZ^E801 z2{6ONzHK}pidobBR=i@tk?)*Vc>aR51g&*zKHeQwcWSt+>9+G$(JkevVxB*iKW`MI ztPIbRugADMu_2AFd;)I?XD#8*YRix~eTRVkym60W1mKEXVo{uU97O>J#$Sw80mAF6 zwTfLadxhD>m`0@CNMxrWSd#RE5?-^+lGikEpi#IS?$K!agP90h0z}wU)vB%vETk3W9q0S)(Ub()ZAEkJKrzM4}?bg^QR}` zL%?-tX(KVGx!L)hmEbmz`ZXJzKP`-9r@%}S@j6%;N2luETqx97G|Mc9=tL-6mtANP z8kMQ*_0U(~9WC9>C}OznT5dDZFRWNeM=fWW_O?yl#Vz0X9|N|{Sa&x2GW<3n^nV3Fu=Qqq7pR}r3O14OW=+DZdL;LBxu zp@I#6Loor1fk2c+TtZklQ$q)H8v zBaTu}ep#CSxjewE#H%>9rR{yhR1IiXu z(I1;GgWCga4PynN)P_^VeMzb!3}U^5Kk}+&nOnT+Zy9@e7JndxPKwnZRs2o3OM~+D z0WHXwjiQ-L=oUdXyVS^wZik{%VT^^@rJCghW@eunRu+Z+MGzOuy!X#&rNjFfGa50( zd5xX-97>a^Zpdo4~{c^0afSE6F(Y&;ecyb=vPMcPMd@u?H#-gcYI$%}sHezzuup~(| zkP;AXv6%n)`KT|CK^dFt`+e6yG5{!$xQI&5_dPm&oJz{O{&zBbQa?TkLB#HkuDP{Q?QKNH39mrGf z*1Tw@L#Vd|hQ<|%7sfI+ zoc7^wdX8OFtKzu^i4nyBw|UX6d{O8qy>2Nzx4-UvSAB48;p%Vu=znaA$JtD_2P6P1 zE`SQa=YAfg;8+b<>8^juPVBRhfHZ+G>k^Z=6jzAWX^3SR1sgj*^qGnchT>HkSBNJz)^R z`bD7>F_1ZL3Z@#B;oj;lO2O=cW-RdxtxRW{^*@PBA;I}=EsZe~1a&Ins~r80;Rdrm?tv?vdNY(&$b zxL8EWCTmpF4d?&>RwJ?xLXXxb!ke%XBdTt(I?*3|{R|$qZV8v=1`gE=J(JJArB;_f~>lBrLalhSM#l*(xYnnBElC^c&6cz?T*cx zna~(uWV=hMyN^rkUdRV&rC+Ke#87y`ghDdJ<`>bTV>T_IA|GUzcoBFGd@@)IjW^1$ z`y$zl^(L@g*<-i_re*L3+cXT0)+D*uK?5&=oz;BM6l`UKnEj5~P!&bZhl5gHuUY`V zke96=V_8Q=X@vPGiZO4IJ9&gZ?m>*$U{Pmx4pJs}Wz3>p_mYKP5h4%5ZdXa2B)iZg z&d~s3I!Fr8wt~%OYErE%+WDR|;=Nlt5PxxYr z==V3lcS{QHI;fx-V&Hb^?pF4LXhL13uyxILMt;=7+v<6wP|xMr?!dw+T}TG z*b;spU707{Qa#;1Kpo9AHHiHCwNqHjkLg1{mpoJQN;L|nw0kXn+5zB=#=ap{OhyJ{ z?0<#1G-$8}fZ@&I8Spm2Cd(J!vAU^)`TW*VlSM&jyo*XMg7&O1#Yg&^uQZ-4?5qDD zT8L&^cqxvPPsgJXO6mnC_0OLG_gj4_oogjYix97;44&qLCvHmEcoeVGi;Cpr5S4On z3Iy5M!PViXJ3Io7SQS;#u{ZKWvrzKCDNprnCu)E;6Z34FBZ+G8lYb3Ol-awSuGgHd zbwJ1V6~pbUe{4RF_$`r;cF1EcWw_~PPW2Y4)XIRjj zYRb#NkgDT9s6!hH+?m#S28-8H-e{h4( zo^YI&-* z!Xiou9x=eXNu*^%iduRhDZ)!FmggX&kc+~NnL;_)sk}}hMTIEv=Wz*!nl>on@2nRW zVQ;HSgq=*rbAE+ZOmD64_xcLxsm7g3SQbi@_FO@&E7VdvWuif{*Lsk-mlrnxHDe9h z+8Dh*ItVi}`)}I8E>#&6f!+&&ePhRE8}jzoBvt@$Px?;%lMhqynt^5!8}xpimL z>W^CLuAi+RwFuK9wObFqv+GT{#kI}n3erYa?+zVm6 z1h51U*P+Jzd%*dFkXIqrqC=?wu zn03_eO>DFWd`ShpnaUw65i{Z46}Q@r($fZuj`ff0YQh42cSjR%ePfcsvdz?$;eE1$ ze;>rJ&Ql2`)12bD?*w_vDMe!SfLG?v>9(oXNo2w&nW;KzpGHHDIu8VLD_{Uf)DYsL z{GWW2wHM9R!Ris`PtdTQ8lrMPqAs?4s*QqOPYhMzdqkd}_Ff8)s7g*k$MHo(lB?&* zv=+^SIW68>69(+3W|XJN(x*1c>n8p|FxW`+2fQH|lAGJ*S|n6as%d^J97^C3pDsPS z!*5!(A*kX|LH$Jq8t7Dy*fhY|k}@qFCcWJl{7`_3vD|u2&+N&oDf1>@^%pVq+79$y z{HTN~V|x8?3|18H(6@wua`xN4*Qr@(9c%7IP$o>Ur9VtxqVLDJs;m;iGwrmwE7U$` zy`q*u(Z^0@BekMnw5k?RJtFIeg14nd>9-W@2K5qV=vXi}3J=mAgC`(2cCo<3sWGS= zwPN?Z8s73!6!SIHU`h-0#l^qo5LDvzYCN!ON_V2HtpwBgP2wPvw;R1XeV(4{1YJ@b zIU&4$Lht%K*PF|(Z(^}y#kwoyJova=$EF@04VNcL+Y9h1Q2qY-${>gp-<|r=eA8;- zr3Uocf;;VSRh1TDuL?jIt446OgGY+c(VR6Mg-!We+YPmGk^w~BA8BtyvvelDydrea0Cn`$(&pY7amrc!=aT! zP!SP9`;-p}8qzb)SKF_2RR(rjucg^+Q2gN+GmBx^45x~HA+ti}lb?@`;bA?0hMJzCe(oX;7WweY-!h*9+72q;(I<|&%I2i zeNo`oE^^H0yfXJ{t(2n~sWYQAbcDOkq_N^z^9Vf5uF|LRT$0lh0i-B_cVYZli#$N(h77&h$MNe4tef&M&0-LtWc|; zuIclTdfRG4^)JMrrZAgVY-+bbn7sNN55l3?&7Yq`HiK>hY=nSkK0DS28oZy7avJdj z(OSSG?BWU4egBO$w1g`S4JGBE`X`^UCm8Y@*T9-&Oy=TItoBD%Q0YzW}qf`TvYIyE|m^Y9V zw3`DEaVt_e5e&=3r&cJxt8M+C^}5$o^DW~(ud*Vf65H)7bk=dU*p#}eO750F8pq#w z`a)8%j`%kFDRf*faYqV2#u|{ioN0pT@nIR8ay624H01My;BBaJb7i)=-DaJbuPLc` z!hSA>pc|vQ!>ND$6g5GIXy0}|R276h4F!OeU#cK(gVa=VWK{BfW~zm&t~GCwsQSjE zT+~9s-fxzj1fALZZw+QJPRA!5D&+SqZX&8B3|8r4b&3sUxfHt^b|%DlP=!QSFY(o> zMF^p%jbnem7XW8GeH8$GaWe#T;<+?lvQ0+lgVg)=A2+n1B)W@3cJpn+ z`K+I9s1i7LWoogn;IbbN_?o?y->Bhz-Pi5B8HDHB?n|Sf-&a}bc2hth$ct^X;b#;5))ODslV$)ndBN|8 zj~JlVJRDlDRKlZJw}#&SFhCu3OE09P%ptE~VUpBk(Kyvm(@ofUxf4&)fCF1_e}|vw z_spvPxxZ9Si-tF!XPIo6ixB)916fKQs)wIIBM<6xY({0(IS-qWu-B8e@%Yn7UQyX!Gca9t`s= zv}hdH_pF-od9J1T0KKyZN;DE74L70G|TDA?FFJxH5vU`!rI! zW*~v;MbWcsc_kfYO$Joy|8om_CWCv z5^p#5^F=CEQ$i3RlXJK(DThEEI^z=8@)Ew>Z!9@reEP_Vj$_lHvbaz`fwK6VG!WdX zCF9D)A9;KFe=+rr!IgDww03OUwr$(CZQDDxosMnWw$rhlbks3AI(g1{zpAflk3Hu4 zyZ+2o^S;KIA5@RtamsWWoZUA3bfLw5BYtko;NXOQY$Lg}sZ@mwGQ9Vn{!8t6p0bc( zF$B@bz+|S|fBXeVB8-h#G`iJ2gWRJ=S>e?nBHwX!^01gCcj8?HnJgx$z{v!9e?#iMQ{N&X+w39& zPW;HM>>{S$iD&%W+Y+ac;Msr}^voFGFvZtBuewBo{0qi2+*=4;&qbNNUnW?jmA)03 zjY4OE3nan;-b8&~l{H(R!7(K^az+c&%N*2(2TscYUtg!XJ?26j{GUgbKK9G6t;)O| zkMU3hWU&Xq4fHp5z7$a=$y6OG)pB@y`!3!jM(IK#UkOY19f1wOmRFdjgz)4tN7;Y$ zBoSj{=@{d`z9ENQff^wX-__)O(qG8W!EH09*8O1t!k{%w+GI!V5V^2CSmmy^wL-pc zzmvEe<=~QVGdj!asq$`OS+GkC$O6mz&KlPxQ(^xN>fd5LkDQ)|9cHu(0z6CoMZaMW z|6I@S1&ou1*u2a3hwwSK$ctE?H|)NA?$wa;pv9@~FC7dR2|XRAp!R1vxdqGuz$gV$ z;Vi}h+_X%y$VQ+K`{a`SpZ(0k@YN{VFX^W1zZ^f~mJRN7L71fWlDrEKUs3d|I+hd! z`gKfuvO%=-c~+|y1mR}1@T zy6F4CQ~+VAlYMZq#AYiuw6lUcLH@K2i7upoT)1a%BDJ^(EFMlHNWXPx7^)RSp;5)@ zq<=xy;4cAMbp6^o!RFOe!0G?aRG5ZiDwPY8NVt%cM55k#F>TZbC4^cs(eQ&jgVTAj z%m#XJ*dgfPli#1t{t^=~diP6sV{DNz8*Q`%{SLx`v777v`e>E_kP=8CZGkIeulhFt za<+jsr&0O03e7NkqEVGuyw#a*04AQHR^$PCO1Xzqf;X9RA?vA|PE-(A?J7j?v+a)k z-++K^zn5V}z>A6?boGaORc59SP_Nz&O?BH;8aHC@!T@0 z7UbAMC>0gf-5xt43Jh{JPKRa8>XRd2GUJuM$786eWxjs*u(e26cKhQZRta*oN>9f>CePC)O^RdRcxztS!EePx4FTMGz=_EC^UYg z_dnNgFj{rZf>r=1cF&oMDB>bRm&X<9F~<|uU~s(oSvnBR%%_IV_PTEyG4pn0rG~mU zsqNMs!p<|i$tg6naIc+pg?hv#l0dP}*m*8+ez1Npegc2D(;Z_E6^;n92t)zgTp|_! z>X~(KEX8c4dj${{mfyF|LV(E7_e(|Bmhwn#Ug1CD4cP(67e?USRk=jkF`7%zFgPQ8 zUC_XwStniM`K?JRsHxEl0`q^f6EmgkC`v#hfcCCIEA&wHe7Cfp??kTg!i;!mXN#0TSJ2g{&hRxH+3Er+zFc)_7Cs%+J$CE327n?6CG*&&3HGH zgv8MdH5v)POPdE%>Q--kqHbi4xMh7DRBASmlTSxRm{(pA1sQBQ2`i&w7oj}ZAxXb& zqj$%L0~w2lM*@v_=c(it@10zC>;Dz~OgPeP_mby7#j@}X`@#MX{=>5gZ8@P<~;=y3X5Ccp>$35oG!V%z?(Hb~5 zy9mF^pNmAn+1%fsNM=JMtGQ%S(AGeF$wwCD>J zZw4PWq<@DX9M${>K77{LPw5}N+tgLQDlu4e{X*eG^P@C zWq?LS5=QP;E8>#UTkiJmMdG?^5gIV1BAQ}2XVWd;(4l~*lEvJ*gX;J_XwMmlF-LMLSoGSndc`7z^&ppcGF)|X^NOtTXTalrPj`U#glgd8t_(z z0E>dO0=?+)N{VF@GRNWAwDZ(hN5(O&A&fOu_HSxDYDHBzhi`(Eq0Ns`TnJ?Z%*Z-$;DI*jg?E-HoCc@zf*Pg|K=5jBmd zCJ&9mcyK;)hLnX*FAt4nSe#RwN@0nu_OkL2`ze$%+(Pexb?bByyUIfm0F!@El#l#N zlB()R5hlCi&{FMGdGbb45hlZKa(-fll(pwhfZ9!@gpBSVcA@s#nYU~(NXJLW-6T&A z0#378lf$0dq}5)mZNbOSxIhksOOzsJgL)7#Q|&ybaY?&?rpk>km1IiyyC& zT1A$pFn7+J#^O*FP8RSCcr&(Uji-mh3sdvTqXUwMZ%;==EkbJD@ts~C%6;3E)!2*t z>Tt$)DIEoT#d*~^?F{+Ub>^?3d^o!TCrFom^0^TN^m6uKPI^%rcndu!K4Shwp8JXL z8sP;$kSir!2U6Sg3Q{gy)(dFz*3B)4S=tPP-==WEwGQbhAWg;s&VZGuo=--I{=7au zGlg>gD=c|%4c>+EOFHSjJ~R2z(Er@zCtTJ0(l+meVd3e)h`ME0J%stDFwO(b zJvxA1I-u{34Ec{#UEnS|K_erz8M*M{sHNZO?S@#(VP_IgN-8C&0W^qgVk3~7-U}e$jYbp*8nT=qeGc}#1f@tnR+5rNw)P?VF!S8ULx+UeuE5qWbRc15rNUFW9^DD9}N^?P8-}o8jAzO#Ff&`)i$qXw} zh4p=8B$UxKQe2Gv7M#W>gTi=Kw$-TRQmkFVtVzn4}}X{5=6knCQPY;{c!zjT?j%vHj~VQx*0`7rE%)zf6a)U0x=387NiBLZ_^;I|udx zPDW~snujx!2=U?(n+;8?< zr|j)&eJk*F!LgrpPORbqG0IlB-&VR|B|Lt^fgMXLr@xZP2 zvBq2I*W_w)-sIdNZudMHfC8*KB~pM7lxPTwJ`b2ksLw+rcf3BJJdXmy_|LqRUucO( zDf2`(sxi~lA1Xtas(895a!cm1F63M;?*xm>-Nx!3G5(Mp%OsrqSVf_l;AXlIg^yZ7 z_}2L?y*VBqZ$6{$1gfdrr#)DbaxQh<1eV8Lcp9B!3CXvmEt4Rxxa4sHXMLcMdX{nz{wl9OT~tHZyd=F^l=BJ#Ew0C zO<#UYB1qz=y#0?sFc?EDV zfGBg~8rtPQ`z!(Ciw|olCyihd!I*kx&Bn%{B7CW05rkL-wg*zk#mvn}U)Ua?iU4y* z?ab{_9-bSxs`3Xfv#!8{gP5>mKI|HOajNcUr1Ngdc{8~%LF`?A=**a3xvrw4I%rbt zPLHEAZ~V5h(*!CMy_Am{80dxt8Lh>@{s!%Le0<)l|03rhCh;_AAkC~KNg=NIv4^m* zuDml#q8B7rzycF~O#gW`=g&P`DG!cPBf36eVxHDn^2Tcj`s~fJvDAT-VmB?@3f5ii4h4y9j?g*yIT$nw zx~u+Zg>ShoYo|k%acRJY95AdQmnXT^hJFkj~7` z&#BjbXm&gXFYT3xP0rkdMg`DZWg)AGzJzfxNw)=2i&>Gc%5075Q^h=NbQ~hL3R=Iz z?WvyU-i0#FqYrJFTQ@T0Rx=`Yb;0td)C(~*2JsH0x}nZMmU+j;@NYF9kR7D7ZO!rr zx^qn%Gy56m8Ub#uRk;`DoKEID7iAdY2rF0~FV5Z4{HFfFd=h4^-CqFoFN0650A{R$ z-vN%VoA|^C=e}yD>#G=+?I(v<8ge;1Ffq-#%+4OP60hx;XqM#sojOel)A)DKyZO_; z-mJk@Gb*FYSuGXSNJ(##$@%#i4YpMf$IZC3DJ3x|Bqva2&RuHNOG=1w^}1Kw$`Qyu zV?no<#ed!VrQ|(oG+<1Z`Ps^Dke9R%+?AC=2$I~;TNX^0!Q3;_Tb>K%w3n8ID`#;C z*;I&7$$xi9LUvsLaOMRA=6EvJFj1w36WNozHHPjkoK>=&3~NYhCOC&WTB3R}){(Z% z{|pT4@|GYdlATg+%Lo89HX61@-xy_Q^sX`wl8Tx!8#G4dcQ^$ z-7tblztkTNn;sXwAY@ctjg0<~jG+LU&;n_k*^@A|+fdoi{fxMW-I384o@fCw>Jl&A zx}iOjzmGlPw?b_TVuOBeufg>~4+T(;3DKhkmi3B_(_NX8}0{-9_v7RfrWSA zVf@CKC4@i?M+K1RM)>(T)G0(KDfQ*pfEEd!aG1=vU(%s(g^8?FDEiD*VV|tTE8)SR zN@=Q4&|a=0cv^EE(Mx@f}GnK=3m-=`zn8y3uWs@W9ZJ4KxLk0NMwq zpuD!?N-$rlJP6v~PUfJJz`v-~Lj+(eu-W!kQeTmdc%7p58jG9pw|V8U8~kd&TLSa6 zDX*`UfWkOs!Wb~RX<&;nnj2RhNec#LF8#w_ht6**%E`g5O<5OstE!J8-;d9@ka-^d zN-5J$|1!7{_r^OGp+j&X#)Ita09+SkEr`%{m^x?OPSpN1L!RA~wPjcSmZhpW0mx}i zI4rw|t4q|gCWnp@rxH$oY~1fmE3SLe#lf#QqYOuii!p>5Z@ot3s;P=fcS+?}JGRUC$lg{}m%J3IovH;&<%Uir_q9PL58{i6S)gHNT`(L7ZKi!X+j5TnJapAF)X-mwFce73o6_=7|GzXl}&hPZwmatnYjYMg;A#_v zXZiN)b1F#kD<{>0Hh%ny38$1o2E8%71kuK3q90;f$YcG7v>?< zAPiJO@t)}+5peu-o}qSs2gFRe9oi0!KR*Y?Esb<|(crL<{u>ED>Ij`rcqPd^Xh|V= zX0J)F?OOH62tRc*I$q}Coyccnn*37ho!b&3-opM6lxmev|p?+_k*d~U7@M}}nNQ5Ci2`xdFC7LIW z-!A?#D)^+3vq>)haTcXd=o=gD5*pCQU;0DkUN^@qi24<{SrU@k^JMbMiwm6JF8Zc4 zWwvr*?s1iwb8*2(0$Ig0W;hz9{R#Lb3QBRCSsFBjcpvd z9ZRD4+;J=*X>pG}GL%>1NC6>fS2vkENplK4`^>G;G9)oXTV#-a%#0Z&uFTRrnCbt| zif`Y<$*9%QyUTCWb*){EeF3?i0&YjlbvU6S_iq^Mu{V-Fuy&0PkN%;_c{3V!{H85i z09iv`B2)hbGI6r$ZBZ$$L3q6S5bEsOk$10ziYyAV9FPj?P7IDfcU1B7G8tv>wb_Jgc%vY0bsW;Weh(491 zH2p-yhMJ-@edzz030q4~Y^n<(U@3@cXQ5zZR!IH#%Ual6HwtMjEo-lzEc0Lk$X?XM%%knb~#YaOGULh!Iz~cbNymnm`(=xzDs8+J&X)aYS?& z1PnYjm&Ufte^|mYA-T{}fE#B)WG+BVLMjY@(R;#BaRi#~^<|KWKZE@jYg^BY&9%(k z33I+{W9EFP)6AJ3-Ki@B#shc1+>9lOZf}9L0;S)Uhvk`kU+!A29Gex5Pw80iU+(V; z;OlDD@`h0phM#{)BhMUw3VVtDsgSRpn?`#wK;g^|Oisk_N9A!QHVaFvPkS;vEX@_0dfJZ{dapgqVtG z(PRkn(B)WX7H#3T{pO3?7CrpD=*nSLV|Oo_G6cm@FW1dx9yn?ks&K^Qd^_wk_qvpc zT0B5Wr)Wykp#xCr-kb)zRUaToJtIRh5vEeXhEZrt%aV3=X!&b1eD#I{0iC&P6H+#{ ze}H0r5%~D)4bEDWN@V0nR965^#bCsHO6BY;wtVkp-iQ9IXPCR zklw~$fP(L*wLx~P&ZFka406Ea%dQ+D847^84HzDra-pCn1lp^4NGS@0=q$l2Fjl4~ ziaX+T?|O_1)J`gMc76i^G&VfRWkne)eH0e|;?_su(@z1v=5b18ngnDna0*mH`XBw~ zDqyUk#V`a?8_2hyq_;LAkFNPae$*G~CH3X(;|8!Giq`2B!Ik=Bu8POi@K1sUu(|#Y z(hR)4`;I@Au*a+F&q3+H{ww~hf*RNa4nKq-;_A2u>oi&sk}l}$W?KX9Pjsq zHIM&W^ri{ZNe~uXuyLUGX zjzwbM<-3* z{2X85K>MWV7j4Bg7^N>Fgpl*5+DOTwzgg2`VnScgPOi47h}->s!A_R7sEC@|xg1QbTp zuksoiiT@Rq|8b*3s{z2$Fv?T@T#C;8w&REkdYv2GvfQ}Y3%=%N;(2OHLegKs{$-cN z)!zu<);PjeO)473r_V^>wSL3-4}%yJ@aX=^8-F@1b4bvFf5X&VX7snS{Jpo$ov=Wh zkr@Gi!#Ci=r-XmDKQ#Gye_SBl@yvt7gqz4PDXwQt#$>osThUDCxYmYd`y+?{xovUl zRi{3#3IrK~J(a^B#^kDt#|C<)CKGYUMYDwHBd1^?9{j>#=j`*%M}5 z3{JDZweS81pj-Y_bh{huY}?)a03=qbzvya+829c-&dQ5rOa}2)Tg_g$Y3H_bhGYmb zeq$4KdvfW{#fDav+$zLI#ZWkKHQi6kEso$(C4MP^%-g5KdR8~R#9Qwb{{pjwW`!0O za~UOBctpPE2JV0%n`mB*Y$zjG#EKe_(6ox4QR>vKB4dk;)}<8~4WEyy0YOF~Hp0=Q zA$3l89Y`G0skZ5uqvm#T!fO9Ckyp2|kW-VSCQ#zLcVn{dy0;g_qc!%bK z!99;iltDr(Ywi?J4Oof#9uWZ_^S>PUj%$V|5o(HeI=63=@CZ8_Ii!sjJHycj=+>Hp z$E`dM#?i+AW8+$QgCj_Ua$ncm1Ha(EVFdlvP22YZSP!BvbHrQC1b4@&$W9T^a zFAUnP`iRH!*y9>+MPJh8Uo~GOY@n<=&4~-!xu#oxji5d=~$|Z+{v)B{%tT zC&C73o5cs)5&xG3(-1yF}&6JlaJLyA(oGBHYQfYD5T{=q>-Y!#@S9*J{z&eFEPKUo4iu|{@{$=dP6)rT06AfGoN7^On}Y;uif zO`-gzrOhPh*NG~M^3n$Abb{&&!KQ9RJxkieF|x*Cn7vpC8fAZW4AAHeDb+Zk=9}^I zy}Zhrlid^vH)X=&+C()3>{`mT7A1&_z+XNlU|Pxh{s6Q+N7g1Ns|X~>kyr=Af+QoK z8z>Q)?Z4qcQN0_;)kT=;>}2713CVQI2gHhgyWO0s7i@$>`VW?#$*|h(tq5=-`B=Pi zGeoaFr9110SR17gcP244+FOKz0)dZ&gjx{fPkJU)xgWZ>wA`&FyHjs4A&o(lT${qM zeLO{33Z)3QV**pBXtz@X77{Oj8MdPdJI3WR#}&EjJ37dki9K5PK-#4deXkMpf67s_ zZOLV(V1vH&iG3&8*(%$v*K6Zl(B@{4kTxe9gLj9|^LVhsg1sKi&_E8eVlM~_LrUNq zo*mAYUtW-0nuBVR;co;1r{)HuRH=uYgECsK3p3Ss1@masB5a$HHXuEI-$he3-zNK{$it z>BU7{{UP1({0~vX32C6GIF1~?-9p$H^)|2dfRE;L2_36x4W~D?elcS4t+HZt!4jlIhus8EEQ^U+E}C37 zD3N!{=s1~)jQL!=EOAD6!QgjOMgOz^wM-ga2CmyrRn&KSKqbCo2?6AoW@m7Xl-8+?Y=aWo{(8 zAO{v8GGqE%j`cxgTwm9JqMJQXXqcmTteJ4}tf94JOZV5Ch2=zhbuXt`@HG_X9|Z1G z$M#47tar);t**v?Eny)1xLhW#l8!P!PYQ_bMAtS>6Gn4*O;|0lEwk-}PAu~eJ1knj z8eUVEK;J$*L-Yhk5IbtSfdDo`#V(1?Hn)t&?nE0=j47HF=gC9Te(A<#LeDC1OrSf8 zaJkah(@C0F;4=N-yu6ckV3vBKLJD7JRkxlj%G|<^SZHH+z=ML@rPbsfF zp)&^LO+V=|(MISp<5w7CLGYC5o|O#894Wjm@N~aF#-7>~4+xH>56GB!FyZ!My@vo-hbVMa*x@a1Y6rcRF(`Amf&!(|! zwW{f#HK3IcrvBCqsojrsd$4oEQUD~kGx#CdR<0toXs(jhhnRnL#cs^zW=Oxeo3z_((;F}$Xm?^+QCh*)$7A0_5eGnpi6Vu zKw9pjukjjzpJV&YXKU?!{2bH-WvDF)Rv|gx3a`~XY^dL#h8 zGh$Ko4YeSG(1==jg2n*v2o|K?i=c=BRO|p(&t{J)W|tj-2by;+;{rJ;SQRk|;xiquJdjtvj!aiIqd)1#)4`^~MlyGlwdqWPhvLcBdDwQ7n;k3Z00% zu{A8=eBceF5YtnMs>D=W+#vt^94er~H~>wLGqLiGSx}z&EIv&sKEM_ZUT#tSJa=df&?`Lzm|2;^#_k9(+A`n3Ci%=Y?DM4lKb#)1XZKo_=bKJ^h ztGZQMf2P%b6DEU@NeQTlYq$EYUaK*QN<1kaIH4L%?lk}1Zf5PM!`(*KvzQ*e9h~q!-0e1uN)-C z0~^?wYGGyeN#&);><5j|OEyJfK@2ocjgRi@8yTc-Pn0+IGF2a8EE@>{!bsc$3xQ+u z)UPBm%4ih%>W$dx``hG3>*!SvY^T+(Hd)Y%&;OX$(LW}@*Hpi6$xg%f_Lr^c>gl*& zars+=0yKPJM0rJ4B0qYk?#xmbrrmlgnS3AaQ_^V78TxQS!WcE;BmHtK=9_?x)Obw} zKIIR?$(VqFT2H~C!TYTN_HhD?6^Bhlvwt#9GM;01+X~s@6%$|s7~nvDW{fW0SP@ML zhQyt>k_(7H`#YQZIyEKxB&fk}dT&sbod5Ff7INLiSqOYMYae4H=j3Qn?iPx*OC8TW z%{7vsKfmN?KJ)q{)dLm5r>P?y28Q|k$~$d`#e)!LiA2_VBKqC{eAglK96)meeln|? zoMNe77V@%xCHsGhX9gMOh&Oy1dEr3zbx@iKh1bdmFoZYh48c#m+Xr0(8DsN8o0TcTjOqc zGe^8uGK$BCndt6raYwknZR6m|9JfqnN&F7O+fEP*k?RNnAZPjp`s!%*4fP{Z@;1y! z{#N+3^4l!1Pye>&zEZTRlJ?pJGw6T_?6)>J=;3?5S2t?rE|7;Es)`B%G1vSrTkqJI zN*ocX%Z3)#TTQdxUFQFWQEDP9*2e-fU(RBOiF$J@bR3oY;R97~db-X3`5swFLzj?H z{&#hb<|_(t#?Cou!O#;Gf$c}^!RMm5N3fk`EoclRLR>KuhJdPUgFx} z%;g@ecPl;HZUUIBx$|N2XRge@-}J7C@(qXFZaT`1OuNT8qShQzf#2RMsVpJJ%(e@( z8thXBw!*u@PAFsY7an$=r2I9sQk#cFV$m^%Y8sGC!@{s=>Hb-URa^{GRQW9M%RV;O zzXCpx_hcSyW4NMyYq_W~tL=I2ul{t&Rq!CM1|7(fTf@WmouAD;q&GBg&>3PggtyvB z)3el_N}($SC{M3K3O8bAU_e(3?C_V-uxTUYzMdmz64)ML>CW!2KPuaEtL#G*c;{RZ zRU_F?&J_rjmsh&~@c3L^Uycsz->D-}IRMP*X_v+xG}LKXC0rlrgauCq9BsN1RPa^ZtRS=;@=NkhYOn>sf>p?iIxayafBNngvx*PtmLS4y{$}V# zY=iKW=+FuvA=k9P9qRkTyV{Nx;cL(UOPdn{7|_DxsjsRSJG>zXx=kRG^Rdi;g_|E- zBksQUJ9N;ef(s3iy`iDme|^u@XyX%VKZ1z*qGoQ|pv3tW^R?y{xMPBXsu!wnh>?c{(}vu&O87&yTf;oSwPc$dTj*zeb9+m z#Ikzf&#eu4U+5qUw89>RPk=JLhTM=)v9Bhn8(vw@T&sYF_+!FDEzLE z4+WtYULvlW@3Q8wgVUs^8X%g-dwCrOY(E8uc`_@EXeyaERsVELejBxVKur+w@B?0!jj>3i zRqy?&L1g5;VjhmdoM*^ggAuVIl%=F;IPaYT!j;^rLcd`agii zX+$_JA;?96y)^UY5P;|SbB94++1$6OfuDOSy#H(+AFKcs>`Z8o%_}S;s7|d(^Os*} zXoo~gH%u_7y5i}P~X_X=0o{~R?1v$0#UysviO5YeZ;e%(xOJqJ(;0AHX^qwv~ z#P@&QQjA&SZ)Ed$yNSao&to(IC8|po?XTOxd#R1zGV?voY;rNJ8gu^J0%7t5K{O`! zR|SDY&z`Z1fyCuXGPK4QsheI^j{BaL$ElDXsm`uS3x8*7s1aX3-Fq(aU-h%N$U*ws z!#({$1wEH&LZaLK%<1OHf>4=wH$1w~C{|qYBM7FQ3ux3BhM3Tmz^Y6EcPNwrh{)dj zq}trut3r~%9D%sf>#fvLUufPv$0uR<@5;Z@dMrQ0yRH(EBK^3HM&x5krcRhMxDSZ1 z7;WxzN5&=_OVB0%V#EKz-8xZ5dXFyXbM61Bm=!3l`6O>L*VotoN z=qTOIa_@V+utWn^()0d-ZppBX2Vs#Z%10(dq%!tlHzh{luO%@uGzBTxTxFsqkSxO7 zXv~;UD=+du#4*xCtWYwe)B(6ABzFuWjmZ^Pq|Ws4aQX29 z6?U7N9s4$|T*M(Tu_GtueQQ7X|Ju<1{J%B*l*#-roRGituFdS-oKV$DhuxPdyY~wW z+`FX|6?3T=7wIfIBO@P)v5|jT_h6R=IJB}2>)4DSL1`$3?I6@TKleKj)$YLa4mWBV zy}lPu0QQLcUb1F;1#od=6KqZuv?xCfJN2Vez4c)~j+y&9J0cTW&!_~R7bUYseSgz- z4E5Hntf>)A8X(uybmFmso-QY);&7p#HYG#lJB}jihg>>yv@-KGC8ArZ11`M=y@*!~W<0tr?XF32}~9$gp>Q`xBPlRj>D$ zS+ax`a!oNZz~PEkmh10Q9l=r^rU$ctZayCy8-rnJM2{{Ojw)$IPA&d~yjt6u8-i$P zVTD?Lu8#ycT;`xne__&!d1BIn{h$B0HY|t$CIYmL%x%F#J}wRksfd-!SyL-uV`ikE zO_t~;TOZuk(y~FuR&tQ-tVy_D@XM7IV1C2~_ACHb?4@%e1zD0n;`kdr!i6e|AqaaJ zhK4vvXK+EBu)$jQ=2Bo|rhOS)RqHO}^mPnNuDA3KGZ#zT;KyToK-J?k*4+8LotDPt z*a5P3uO|lIWDL0s`fA^@{)?qL3h(axgSutJ(uW~r?d&l|-}CaWAM-cRsR(;DRxQ^h zMXr+IP|7Y9BX<3v%1E2@ydn5Sit8Su{D`y%qd!CXn)Qe(3luFt;X!|5)zZa4A4gV; z9exzBUq#<`<~W+@(BP1{Dqd1U`IzA00HNK%z&&-0`{MmTbbgTNR19~dd;U6x-_(Ja z9w+EN%zbOOH_(qB{pIJRyG#usUCJfSRUs*c6N6#*U30}AOdzg^lB_k!1i#h%BU%j( z_99a7wN8tz%LCvT`#%(?jR7{tDbijAT)z|`f`$})A>D#|JfoU?I@s82jZWOl0HmKx z`Xq_S%3gz|jCg6ECfCy-ho>>ve{Rg%vGEHIGs#N?2{Oy@2@&Atz#&AHgq^MOOt; z!sp$}i#F$_` z!oVx?CP;QapJhWCac+uH2Nk_F+ne=(S;6mGsvKkbwuLV+jf(y z6;7^<4EzX7lU37$p`+WV%t7s%SaOCxBoJqk|KiOZ;?>x^QQ+oL+DAnu0R#o}@+Lcf zs|A8umRiIWCqwGs7{%kzZ61`o7iGOD#*l{084pmI2~cSLqGY?k5U+ngH+MtCwuDbL zSFAm~IUWC`#4rgmXJ<_>YJWF5+6yo`K6$<;I-JVSP8=Zs@0(!1dKFZ@NcMG^D%Zww! z8ydwDBE*PzL2ZjfBt<7V`mh%-@w>tBCU8eE!_Y;4MLs(9Rl}@V+V;bkDPHPXR^8KG z{Yh2b!*1Gz5(^;`@D`JtHyS2!X+ovbAzqpq)J9cNGN?5XefrJ5rTPhvMo*b~ zB{5HR){bJ`#iG!1iH8hZ;xZwJr4qDUK1dVoQnQ3dqm7aZU``HhXW(ANi9nwNX7G}+>80%#(K0Qsa_8PC}kMZt+LjgN<{IJ{lhXnbLK=N z-~R8HKpjVLA^EmT{E<2T4Vxo3ZXWY&<(Id@h2RCSse=+RF2gU~n z_avb10~iKtMNa!U2n28kjX9s(x1y8lNPsPiUZAp*sxu z7pu(B6Zt6zK0J*^@zbY|2p1vgxDFQe`Y*45FylNjPG8+AG!6E}TJ3kl+2Oz-pO zAubt0JgiOLj)EKFrzouT;&n#91soj!`vLi3>7KLvUT!syanWLQL<4P7k$Ye+3?Qj#YlRArE>#?8>!(By_-!o^>V}- zSAR-sk{@CqSl96CpbB@W*x!{Z#O2z3&LH67t|sWL46YwOT6JR;=66x0CuAe#Y)vsF zcX=>|Y%vyYgfs!G0ZNVT@9H%%oot1K0!=j`a1g0zF-dU3ZB+x zPryAiVqWV|v`_GF#%(saqa_-f%=Trv0I<(oLkEM`r{fYlUQ$F91DAdZB$hB_pa^)D z==Y>pEf(1^Pe$kfZ_m%#`B{=ln}QztfO(A3tbp-$vX9wM}^P8Fh~@%c2dPsutfVH9{kgZA@fDD{e*n;{26!{Bpl zin-0fE6L*JcJu~VJk|s3fLJU};wuza_#l2>&U6nyL*PCJaI*$lOqIN@t5;hg>-pYn zF$_&rMApcKF-5OWrZsZ!%*d4RDUkV4uzHW)s6V;e6;Cn89k3r`dZ+Akb?ow??`^Hl zOC?kZBfbt`qE36lFJd;G{p)0i7Wa$WPm32Oh)?$L%~Dz>Xvotaqdw$Tv^nGYO|K?( zwerhDVAupymT&VRL)qV&p8ok*>$XFGy25@NN$X(pS!^|`#7Bez*T@COLvK9VUCk#{WYqe_I%Rjyzf>%jD^o6yk1`nJeU}tQcBp^Ya$x5>CmEP zgl0WMypfqpVsH~y$UAss=9Y6{0Q7k>ZsCAfk)@}g79N|L)&Duz-{!Yi)m~~*$8|`L zJ&gsxsPHhF9Q$Ik%>pJ(kpvZqP*CK>HmbjN?z*ehXA#&oatw~j$I2IbWRQ2yRC&4Q z^e8@ON8zhO8aE}yqx(#6B0cZA!TZQ8jocG6^&*hFUS|@lP1?pWq4zvcVFqQOWVmYz z(_0bP;J<3&|sEwlrYtA~j|(kSG`W(`N_fv^GtFRQ5F1x$`oB zd#a6rX3Gd~F0RLeoTmBLB?vbXuoObFkv=mqqSNVY7j+u*?B6;CnwvU>NKZ}5$L?y> z!yWX-)0Pdu;A?I-t(s(=eg5C_EU38)Va7$)`nWvx%A_F?>i$WZzBihJs8`+Vi4GJB zEoGN+)gq2(pS9m6@U|fM!i!EoOj7IayX;ht7d^|<{Y=doAHn27kQRht7r3Q=D}+9dRmMC4H|bM z?(XhTio3hJo>HtpaXDC_Sb;(h?pmDU?(Xhh z=%c;&fA9V;YqEBd$(KDdnUy_~na>LAV9i0lPK8%11-Bjq4YnN|(H}@Z54^Yymtwkz z$+NI9lUvuvI7AAY->fM6C{xPWy(^x~wDfR}Z3K6Z^a)x78!{IEj_y3@Jlm9Op^}Zc zyTE+VG#_<4!E!t#`^)}hI-CQ2ZujxhwmM#{>7Ikw>wQ{ zl6NlJpiiodW#NZjRP0|9V=db<=Q@lD=Ot76vZ9h}j4}bo6+t~o-f8rqWw!&Eb7wtC z9FxJ#LHNil?nzY0VmzcK0U;z}3wUq$#s>2gK4+f>C>$E8nAy79++?d#yEvgL1_|)& z-*>=%lyPnj^;9q|+_?3n`DxLP2+M0V#Kcnb2pT+crJH&6dMOK(o1(p2(F>pPl&#Gi z-PfKXn6MY5(pRy0{7##=nFacZgvHgK+ zVxR*(zP3B%n`qe8dtXH89p*YQk;>YLA}c(ht*ugda?OwKLF>*4J{$Dyc*8RZQx~gT zTw1xOuyPN!vHc55C3J%<)6k(qmTupGYe=XTWN5-potoSRr)X+5y-1%7gjx@3KK9QG zEEi|2;qdaQz11^XQY8-S+uG{3_?X0w77u#5l8O6l_Pn7lI9gb#t&wDp>>pwJ)mtm( z5w0mkur1mg+KRBwh|OjoKNW8XuR{8KeQ78rP+fD&wWz}6rD@CBmh^LX$7;O|hcT0+ zt)lBuUlp=a*M}>i(&Gyrjw!zCJ}F(DhzXZ$rLctyCoPk5O7Fj1HQ%A< zk@|`#r;pG3tu&OM{ggRpa_YN}w88>C&`)xv5(k=qDKv=)xdm9~;2*e>{P_fE9m0NL zCCLt~(R~-ePjZfR-DwF*pAS;qnaqA)zdx_EUm-stj#8s zF2p!L!;S?^IV3zruwi@UKy5KR55;4n{Ll-h!2X`k0=P)br(h1{DZI}|28e;|rheN$AozuT22P6))~ z%&&_^__667KVQj`CD#cjZ2FBK{RHC~Y4j^lkDN=9w%8E|OY{^23sH4%BO_s-KufuC zo{IL^mcF}2d|yusS+~Jddtj{(OkT(ZP6nThrZ;tm zEoavtc!1+?#cV0=tg+De99K1JZLN0jg;4Hqb7n``H3ft;^<1O`ta_u zC{f?H0Z-Q6^~K&&}-7l>0R{>5;Yw$_lZ}GRsmaxAeO5 z{mm_5z?AjLv2xA~Z)MHvK!K`_DKF#BOZ(>=W9-r|E*IB@WDN=H`XQPG2U9WIr=MJE ztYB%NQ3+oc3XXslDtw{-Xv<^z`I`b^mCg4x4EOI#CIx-{E-shwR=+996q_?SIgyt; z>BIjzVQJP7d)Bf7*&HXo2$4Uv<#k}_#XVvOanB*23$sw6uX(!x*4}Ol~AT1lg=FDT}Ti#WL61Luf0%3e%nS zlPn+LpD>ywhzY%`JblWA!`C0ygXslkFt;L-TQ%ypV0=LmvXM{DJLSC@QTgSxr8~HJ zSnLF+Db9gE0{TKV=?Y&rA1y*AneZ;VVm-LtB$7ON?$_se)A|~Dt2>-6LK-goTAC!? zCO4O#+w=l7GCzZ?aC>sf&G5Zb3Rw*NIE3N#S`nX=A_XL!c@y+4)*Ww8iFMyV?+D*o zWD$8U$kQov*&I!vt)0h_qaW?Ro+!xHL{CL;?%PHvfFQOtd1f@&mDuIoDD{Tg$*ncf@pHZkWtssB67vkWne{ zz;M>2z8!=j<2h{G;QL&1sAwXI&U1=Yt)<>x^)`d0x(qQkLh0Sd&`-&SmLA?CEZN+? zja8Zj^>bg{>nRoRIOOm|WOOp~kmS~GopbRWD}G; zZo-P~-^~3*Zcbq=zK%1EH3CLs!JYCP@8$m99H-urwy4To>`o3YfKEPNPXhV>#$KMy zt?Im1{)IqOWK%cl_%ZMU*ji}E`9=Fqk4Lbf-u7zhc*%{t9~HDdu=NE3q(W7cYfGKY zF!avy2&!WatcGv(TPvK<8EfvnbqE?&LDJU0GvdmzB+ImGs(U1(Um!(5x-@g;{Fya5 z%#aK)y~tVWEl+R^PF^jbyaNR^pU#c|(R--&0LX5+dhg{{@qN{O1k?7-I+@lHMy1l^ zM_QZd454l;(9&V1=GjiOu}A#WaYf|1Ju5y6GrkLyyTxwIk@Gn++9zUIT3i~%unBlB z(phk7qv8?a^Nvp`Hm3^xWijjcLOM_3<3@@fPfv|%&cG|uo+)h^|xzeu+;Cy{;^ zwk>FZQ>~|OSmE?=h*@UQ&emk=zaNXRRux$6%g=LS=KKc;m%9jIoVa|b_5*hx4VT~- z3|SM2kX1BYHupz6WW17V@j#x|XOSK948DDhi4=+LC7?`fl5G$i*(4C2`hw|7L;ll9 zP0EsWYTvBFl9MiN6`0~_|4o@JhJB%#H>stCn6@7#LQI-e7iDomr7Zz9v;K8?kpM_K z*a`th{rTmLpCNh*(Qq(&SsW$PKE&qWz&4MqX4E+eIjFfJezqWkzTb48#ws{Z1ihMv z;wr$29VFR~uEkViuOzGaBMSmuTF?o9zIfC&yzYC=cYgqHOqdLL3sT0``hbH7NBI8u zF|+2)mO+DOd<2ec)(t7oESc)iO{8Y#i>u;mGIcrh^W^R90lIzo5t~l73p&qN9g&&p zG_ig8d*;Iz)S-DUvS{?!ryh7Mg$SHWib1Qao&I)p0}Vm5)akT^th-N(nnhqiqro;B zL&FRSrZ=M3(ebmb?R?+*2M*eq<_DYSj9ot+-^0zId-WJ6QF&SV(h5w@b78083*(6T zf?PsToE+i7*OT-2LE6s0L<P%xH7MP5jd?06LtMW(RPcscJ5~oNpBKS^m;rb zj>=dvqqgAo;JK3cOgqg*R-4t7Nsu=@tknvmwb-y{Egw)vM(8%$XWm(ME?<7Q54#_%UhO!dX z5wLZcdexM`El1tKC!ZBrVSHGS8yXRh3_B=uh)4HnUNUAAltTK!o7C8VDy5KT0qVH_ z^*(G~lKFGi;L)T`BH7BeHtx&UoW(5muR#>`oE>@o=1OW5xQ(!7RwnY0VZ(Q7mp$^! zOqpsvJV_e|?OA))MDWYJJ0tu8>R(V|qY(5ql{6P^JeB+lYti}?y=NRi#1ekRBe6@E z@b5u3%ZpVt0KMgTxUO)%xnFr>j-V~L5u!#TzpA5U0pkYkW3`sxbZF+bxmJ`pHdh=c z`UU(^S8Y@q{(>I_qXVuHT!h&hpLXFzhstHhN~wQejn1Q`lu76xsGno7nUeMzv;W03=XFm|!ZIdhW=t*&#a_I- z-jtiF3N)n;`Cwg^4cTs@Xl-J*9Yx1ybb(e`d3F%|q6eN0-1S_OwvC_>j$?PEc6 z$cG_;J$aLj8^N!d1*k*x&p3ubDYl)@>3ZLFD>l5F+(wb9^_enb?S7)9^$RUS)1Okm zm!QO>q=OL}@I8hDy=cz)G=}&5O7AF!Oq-51tXZ`P@jUhrwaAMkT9CqXJMkQ}zPc&z2+8@jEbmcw-ddaq4$W3N>^2oFTsn(#4 z-9YTrX|R4N6Az0n<{@>fyDT1M%)M#uwK3nemT>xVIlmcw3IgYdPv=Zh<2<9@gRT!v zSa9359m!0{+sZHF&{gm88Z{lM7GiuST!sP}%*$pa_>t(c%d4|VCr$h}6Kgs?5*Fw} zkAap4Lb7d#=y2~CU&a9HAQA3D+ zCs!tvvNr2FR_3Vkk~Kf|_eYt1cWC-dA(8zdlH$vkQnD|MWWBde9DN?AtBr1TLIj;I zn{~&?Q54bPn1_ouuT$JN811T}1@la+Q*;^#1wXEU&Y-)|%$-yDSM5=K5Nr$ImrJaL z)po1}|6T^vUwc{~?sR)PY@iMSrh~K_be2`OKNva-KM7jrT?g`?vhY!ZLyr0>BZ+sr zmMmjhdKw@nsd!TRF?D#t_5}+GI}zHrN;kNnNrrjLn*n#(IJ`D)B8in~=rx)p& zyJ={=PTJ4a)<7mLb~&~}4+@}uf!k-jn9KXMChDqIB{H4pbJs^Y+1|ZgNeCMgc3?^b zVkdVMVwGZD>!evKh!hv9n+dRQM&#Kj)l=F8f!rRt)(c`Vh^o~r!TvM&Q7=a^d@d%> zmsc+nLDHkRID2yOqiGuM=Ns@k2k25bE3SW@fbmMNQY!`|`WzRzpQXD+k=}u4=Gb-_ z=&s9hja!3)FScTqttg6hVTi=FAv56l{>VBX^ojku|6;NhZ-`OhZ)sw8-2s;FtUc>zc1$J7iukS65Xa`3aVLj zxWu**?5@+9+uogN=GD;|jchb4$ntT}-+8i>we!0Qo-TY?dXJQE&EjJG-Od9;IOx=1ODhQ~3o z+KWZ!+BDp9UKr54#P?jM-KhVDKXxbvfEN+BHeS&9rGtjgV9(-23mC;f($U)eVDdf` zlaT4R>0Hpz!YCL-(E@X*u|66qxkb3BZ=#qpwv6ZCrSW+P$>gFge*A`aSCJ4lwvRdY zCh{9=bj_i&dt(}=fx!@_rj`I4@!^v^>=~}OBHEl*lJ?7~>=J9Lv$T}462cA^Dv)4Y zB6M;aQfuLXVfGqEqx(Vv+MNo`QP5Nh`oob0Yl#$Kw_wB9_iE zc-&mn96QTyrnH;=(!2-?VcfSw;32#!{~!=8c5eS$$Y&bM&z+2>aOOyjfrPQ{mLFFt zJ)~#9mSL`)C@zk)4??ajyN8<064}54jwhEVs1Pb4<*-}~*s=r=h_XAll3J-|f_Rlv zNI%@*jf%Tiq``-Uzzy+gqJxD2hBnMN~jD1*?9)+^^ty8Qe`$1O^H6m6ry|VK6uCSO}G()1_ zoz^-zCxPiku(|1vz6;JZhf>+ZAl}I3g$@?oy0jVE40Q@Nkdnk{V1MQa*6Z)2ppeuZ ze~V9ZUOQDT(dZ0z1V7-RcCClrKklr(<$*(?8G&J<%+(Yt|8c{thyBJxo6>ohmvXmO zxM-AtrC^jnAnz4(U*qRdyU1%U&1P4Lq5xU}zR)@gsl2ExqWFuPlrNx0_TS`atw^H;&f-znJ)73V^>l?Bm^4PP9hgK(l~3c^8-kuKTS0H#TGc-G zKZOPV1HP?lwWMc;)1%uY9@QvH7KzQI7e>~z{i`0&=_~K%5i`BlPz4jt+O6PS#erD0 zSL6~j{i}s5vrH9%Z^mq&J{mqDi{?3r=*NMAh?91|@4*BgKQi$m{USi>Hb(Xmky$y7 zwO*OG#x>?oQeuC`T^?FOP~%mw%jef6qzp%qH&(ulUyetH?7v}R1xubAvtouZWOvrP zrd0%@LG5Rbd~pu1dzTES**aq9=kMezi$%8$v-En&05$Q}aVx=-($*}baN+f7(vAv< z+VxBV@gQTNEm4w&JPAov^2di-z&CZMlx8SZg={q%*v_&>XY);(AzHg&S>o1a-erEj zn`k$WkUZC9%@1cub{BWJm?`mqAn%|NVpc>h4I-<;6fZc__H#16cl`Z&3Y?&=XKQy* znG4bU^}bN4uTy%}`{@83bUvp3+zd|;PAL{d%w&F}0MkyvL+vVc={hEGPbTir-!DL) z!bL6W@-~I_AE0+pi%eZ&^Wa{aD|V zo%k-Ow^AVRLiU}NJV~0L0{od(7OV<0vM_oa$iz**X*u756bl|nw6GCmR$7ee-aZkn zlt=Ap7uKuO6PQ+pURDW@Sj@9ugH8H2zMS5ag9f)UeG*AmISQ8fYY*ca%@J7U@o{+Y z2C^xc2t0?#lpSl2xJ3qw(QmF73fJBXTIB%#!3bXgq56qt>;M)VH-=&4P=!zHR7fHL zcEWMGnxXs~)${EF<3m^=R;4DRpF$s<&Ca3)y#b$dYiOiUQ2Hv3*+qNULvAVP5f8^m zB^ER+qz20Ao&0gMtB{G5k{N?}AKDj>f^PR)LSH|CxgJPjf8SirKym~hQLL4(!jxD( zNa;dn$|Px2+@n6nATsTxi0t(l6Qe_OBo9(qT@%^x5sqo`V>C4cbgKM(C*kxih(yhr z5w>_p5aa1oiT;w!{Vv4u4jEj8tFp=SHpomSL>fiu?U{WQQ`S3tJ3~ zcwCZy0OP{ePIZYvWaa7_a|-n{X>Y;nm#b_S^xqG+LOq#&en)CWS9cTxF!{z2#$4RX zMUArgpB#Z-CEjQP&Jz78OrY+bPAv>>A~xasTRJE_s^4tlZJbU<@5U9gRH|2tPG!rL z1hb#*v`n#CC}k(|E&c+fIW~)kZTs?VB+ zC1$Ns&fgyI_e03aH|eUI&vCxM3Cuwg&``Jy>47k+oMhgwLI8Vcbu?y1c$9S6F2;o0@+z?1HeqWPzHA+5?W+ z?4vCC*)chl&`FY-J2l>sm!0Jmmq1-wV^Fx@l3ZHrDIT`#N>gX^05F|{`*T}Hhmk() zAk#H!RT?CQ1-5iCupr<1k| zkOaR1&TSaIwps+Bl>=ZcNLtg~{(R~G)u%(+!DfiND&%B;)aQOpbhA034ATZ`P^tRV zd$_BM+^Vzk))v-(hB9A=MerY>^q(OFv_%ivS~vMhw6>mr%-F=pb%aV3RPLuwuHY5qL5c9x2b-%^n4Bq%2%m8&W+pff3oT2i7c}0de5Z_rO3Ee7m=k3L`9#_2z zzmJ`sP0k{mbp64kG58seKU;YZWEO|QbAeeHY{_4b_Lgze$*<~!3v%G=BWX(`A|5|@ zpY#}>EPjK>3MZ!flwgmM21mC_vCHOexN}zYF4b|?Ory!5PFqnFK=-l z+8soD&tqf3eoCr-1i#g$In2}g8=-8)xpf;RtR$SFGUl+_WK4s42D;t8Gd4(}kBR>f z8MU7{U&px)UFy6>*Z(KE6$K;SIo#CDz;k!fh3#*&5VSP$!>V%;#lj) zpIgXVA=(_F@2yn(sS=|}Ihn7>$f+{aS*;PC)Xlr5Tal<6W=i2xTIdau;dB^s0dDyQ5?&zL2Zg2ke z(7V*oH)OJkkJtBlKLW1E>3F)>jJtCb*uaE)}k^WQ$ zzytnPu6&>X+mQj0|5qXL125eFRDj%5BwO5L{%ryNp6}n5DZp9e{~G;ETSNXR4E(dU z#^mV>7U(sh3iwYzeocE=d3xG8+jy}0Iyu(qYj`a3qX&1GBwhqak~h_}BalcbDoH^> z7iJt~RpO1y%=%Lcbar&4q9~&(D^}j5^rZO|t(-l1&y9}ESy7J~OW4I-&XyS)`rD90 zBR6HQ_^WM=KH!}>TvZTdtAhLhvFM@HPW_lb`YW@nJ+}N zwx-DLSGrp#hq8yvE!EhD?aTfi7Mrp~)w;~AxH@KWk8HXbu-Z!PHYc)SJ8Swab`>-GggB3H;o{L>Zr)6#KH9qLRrj)Uc=@&3WzTm> zBt6q`D>r5#Xg4ooj}Wq8gva#)eeamlabo}d_CWfmK!7y@9g{mx#K!%Ne}6ZO1|ZpZ zssu*$Y9f^-90>&tzY9chq)B@{u{%bEo9jW)h1vCNx>LX$6oFr)-5=gcbn2)@)az8q z^2MRJ_>%ngTiqBK)-@=Btxo^>@l5l?UKB%J)aY%EGk#7cDQRIejd@$b2`*u%#>;4h zJ^1F(ZWcr(Yf)Vn(=5Qa#e)PW=+{n9=Z&ULYT0HT@<+NT;s$x2^%r$Rg))N9W)7oT z&JHo);gQ2gWbjny{YQHn7(MoH^&2no)Qg1M>#gxHdy%ycn%r;yg<4V%i>63%828y}4k4tETp<*AVOZTQe*H$)t z0!6Zr-OZeb3bLDWl*Dz}!q6_TTw3*Xp>a)|sudUdvsOQJ4!6oo+7elqoM+Td={|6n zG_1l9NtIA&G)B%q@D_WEk8r`t-{S@W90O{0i$#J`2p}0A)98_M=6%Sq+X+;*8sUHj z%s07Wf?noISGOM_+^VywOc5bJVNc+aD>Y4*@MRn;3W>+Q)vs4o*okXSBZOR9iHAdV z*~lnq$(6t5Z2a_Z>Difxc`J}T*KJf)&-T@<|-CqA0GM;XP=5O&q$4g+e&VAcj-tZ&Hs zXXV}`@qTQ5vi`-C`irkmdD0DVW5-xScHSMT`vpvsr3EZ#I|sO^DcK)uI?tNSjs9Q z#`PKyjjdpP_;C2Uugt`oo1~q+0|}{YLMfjpqG6wnMKKQG{oyUMI=b+=(i-jRpC}Cr z)`9dRk^RqIg$*{BR`R7_w))hnUoKo2)Ll5Oa>qFBNZFO&^A~Qr9|lB;?+lynaeJ+A zPN$6vE&Hl;F{o2cvWEIS`|T@o@rU8J3+u>1+%4F5PFIpnq%{6hv_j?7V!rar4Q)wT zV6yrkg&X&k?t5#?bocXMb0POhc3e%As@yQ8-->1kznPwvm%&aUi-WETbR4X1*~z#% z=hdBr>MRigh?y3OkDiIa{w2pj`xV5G#ZkMUKT>c@sopFK3jlai0REK%0Mb9hyXwAf zsB*)5Y+xW1kPG~b3(Q2|e8o5zy=Jzz=34 z0sd7QuoVeV3gwRiILpMl3j+ZF5pW#|kcI3|(SLOd=|2Ji0APcGq(EG_fAs`BMg}B; zqP+(nlL7zg7}$~gwIJvoEI|&W|HBN1kOGN-bzpQdAl?7VAAx_8{+s`6K=A<9Ap_F? z<^C@n*?%(tJ#Y>gknw*+?{CXcX%ER7_rxebC~Uz0)k`qxD<{q>YkB&b00lk0>Y}Hgqt#zkR9E_k z?cZad`rn@Y-|dj20soht{*UFqvi-N?ap3@fKk@Zk_)kd31_J(c@E;XcXZ-&Nsl_A{ exn4Is4+a3h`H#`-bq2Va0!aTxk>qtP;Qs*Y+SPXe diff --git a/doc/OpenSTA.pdf b/doc/OpenSTA.pdf index a17ffb94c7af5ccf3297c8c75a049b27843262ed..9d33f2603a35d53156c1cbe9bd77d57e96743b85 100644 GIT binary patch delta 10247 zcmai&bySsIyRYf)Mp6(#a&=JBsdRTrcStW9kp^KQl9GamgtQYPI&-aXR_=k&Y%=z5Edp>i{@eEGikgnB`hBx4T@}IgyZ+O=G(;)YSv%9O93HFY`5m2Z*C?%~G&spQ zDB~+wG-~2lsQh zG>&El`swpfp&j&@)vCSvec3gSKSX+H?axC`3trSHJ2yE0==^<~K;GPQu$oH zOBiWRubMW$0Gf?>M$c4A36t%OSW&lYaodS8Oa?c;KuPTrhok{aL*&nh{!FJez+X(_ zCk?VbN^&Gjuza!z%vl~Se4@loxM8h47{z;M-9UOn#bStSBb6cQV2gYbpfkua^o;tw zVK@tJAEzvnuuxPz#ij4o9eImZP7AiAoT_mObit1=`x#}P7L|KkKFt~dd^bgpsrga` zx^Tv|?ND!bz`ez`B;FAQV6A211*M5ab{NtE%que@ol z4N|KLyQ`o4(byGPjOoU!gLKR{OYa& ze}|Gc9i37Jj+D`A?$ip>Op!7q?nD(4XOiLl$b6qIuTEpmRWBq)gnc({de+a~_thFa za1Pb(*0$uB?>d_1d%IIxpVq3f!VIj-qY`sxEyn8{sln$YwA5{*?;Qi% z_Zu}W@Y=Ge=B7m3=wSwr1p1=y#Fe&a%96srXE@!3h=y2&6pnewN+mwv-Tv;sREg1ow8`F2Cj zzTxdS+KGXD#R89vp^BoKua;5I~K}(*Y zTH<{YX!;XtFBELug}QG_v#N7HcR8B6Michi?KX%NE&FJVllr^Pj0)2>x{B1h@>@Ik zCzi0D4zf=gQRgva4n^t^9=a&6{(g6KY^Dmn3NfnJlR zrVAIzg}-y@*ylkm_L;SIbld~jKEV>#ar#qdpN{`%LFSc@*P=1>7rSAwBK<wUjMi6uQQJqGA*9tB$wD)@61FT&C`wV^74Pqpg3;wj3LI&`b=>7R461p z`RBQ-WM2GR>9Ov<=O2&ABMnB~Y9t2?PMMb9B!?c=e}l zBz_IAdaxd`wv@PoyQIGY9l^JPzt12eC;c23sItN)tlS%SUMkJz=j;^v;1O#(jd{>! z%bAVn8-&>iov3ypEV!qnW-`)K@&e#Vkc#hQI)oz>bRTPLG@Ck1mPTG{YvQ z#BKsEh7Zb68?(RTq!%h*j{Q`uB5NL*)f%y^nEDy!E)2_ z_IK1ovXPsZQVt+EY?pAJjfQwylDm4yVHN0k>x zC~+Yms%_;s527KvdAmenaXj?9!J`A|N`%ZH^B!+I! zKCCoK<4uA;n-bsZ@`HZ7l)z8)T(xR5dS8_@guB(D;c~SR=S7kxDb+vPO@xapaPlLk ztkv#ool4fwgjSw_S&{xrpktU^Hl5|MXc>VVvQCHChj6b>PPNxtzjcL`W%|=KU5O%! zJcMCS2}c&*SLkacz;bUWk==K@M4y;38U0hlK5tauZcgbDo5`37ryGZ|dS^WO95g(I zF6sewpNwqe2`}}ulpYoLvbN-{L|Sx-E=^A6n_@-pLXsy761DMKd>rrIF!etAf;epU zSL`cRMnJ^|0Uy)%L{Thj%(ICBF+{wm&BvzFI$=`qpOW_#b-QVt{5k3C0!s!M;MS6r z5oT*Yt+}b|1K9>St~X>1?#gr7j@4Rb-SN$L?~c4nA4{LMmnvGf4a~ZCz7(7I2|$Se zp=AHiL<#OIfPxX!)`?M%9R`i{lk3@nU$+S&Y~lShg?fHuE=EX~TP5SkBq!OZWr8ni zi0BeqfQ_;W6~X(cyp|f%@8(aFjRUKm^YHwBsN|@EjF+k<#9fUqIs}LP(w_Y$kT^u; z%)#}oL+voM>;45&JA^mV$vQ5IRDi_~@uxLPsc>0OhC^rcu`I6RXR z;6fj`yuTyA_lkQ~%{;_B6Q@<8`^8#g7AGF?yz2g2)pZU7h4&RoKL~M3zT}-~#?J6Z zWxtkAnetr<;!|DJc8%>XdW;e<5Ac;+Ahw$^&NKB5(t)Mxe|?mh((pK5&5`IQTYV^~T4?<@X`zitxD%`N)#;0{-JV^^QMIe~w(%)FRjB9XPbueDi%I6f^@iEBie{e4 zSg3pYoBw|N&!@_mck%_*@gWt$MIdLeBBp})p6$w&$C*ZB7<3Dt?^!8;#)KjJG-xVp zT1L?`4u9F6MDg|81zqFh0PB&XExX#B=tzyj%9pyFNn3i#mNNVIp$ZbKa`2Fn~Ia>LtPg=4er_xW?M2?Cxv*5N3e@pR?Y1HGIbhk%SrTJF932Eq7 z*TO#O?ELC8Q^$OCQq*+_kMW+9Csae9r}b{!6%OqUAEoIRW_oqgHA|X(u$4T2=sZtt z$Wbc1|7hZeyYpV-GD>8DF*0`2$a18N4p+_A%__?}p?Tk1rIpxzsN+=onNxAhpIjZ?0)^&<12F&o6%27;2h7&B?^fSwHi%$-A0LweVi) zEC_Q?25;EaHqYzuzNL8()>5--Hb1Cc?8}_43E*H&|KcD%d(V5X^#rQ8>&KGCl;uAQ z5cV7YVkNFL!h%9R-|nsY==;mjPTcR9u&fx(SKdeWOpogx6=(prvZd=w3_r(;H9~Yn z`m5v`B_9PaQ1`6c*hjdM_$dF1J=R9e@FlR+gvJya(*=7b!DcLEdcu+ z%CMzjS;A9UDY~>YSR<+PG(P6xzOkDdE}eQ7KeZfJv>vKIS$a6LV?o_mG+^PTHHNPw zR{zpwfpy(ehbixB#&gnaantjuAvE`wBSpFRA2kH)N8h+r1xUtne(o3GOux%zDfOG< zp4r&c%aFrDrab=8wtKhjo`KEeuk74aDDHPnTK~L8n=XDF$sS3WF7zN~P4gBtBrz1rAt$sv9_Vr8044n{i5=4l{gmo!zuas@sR=I5B^0!dFvUL1u? zW&5CcXJWlxF*blLuCu<~m{f3oibc=HbuX~WlNh4>v+AfBk3fhv;K6LI+f zj!@k0%zAkxNIiVy^7fmj1*JNH-Na+D>g3}1Tt~P6?8pqFa0h3u7x}AfzI3`MW(PP7 zCq?5i&AXZL+$~KsFy}D;NkVY$R2fC96U-0Y?>U~!(G-dE-!eCbG@kO?wB(X)bcy(r zHe{fDg?P?pPlgtwioJX7s9QVET+jpwMHBvKe#VlbbOQyYY}1O@{v}N+ihR%6gZl0* zjka|h9Uca68dh?Ge}^$rWr+kSiOjE{q9??GbT(T51nJWRYaP>5wNAxn24!bAAe+XiCf1$&zO!n6~mz zI2M(E&8c*Wf16lhc=f18^L{A!l2L77_2@uztVYwoMptOVn6jpm;>*emcmL{1Q-K(F zRz@q1@KoQzR%W)YbQt*F5XX03!>o^9S|f`Tm`zX*l~#qWZx z-J1Y;XaegV&)U2DIioSR*0an+GG8?BK&JPe>Z9D$9ypB5l{vXFLs6nNC`ho1`EQao zF9+J-5Ee5ooZTduDm(nJ!Xt!WLjqTaP{-Pq0TqCa{c5UECeQ8c_vX)a`kQMf0FFbC zvr~upUE&OJ%?3{r@}`f@G~eBog>di7h7(5E_b;uZ3J*~Y0MCN4v(5;%#tb8yAYwxI zyD&>>lVJUqQwdD3peU0E_Co#>qXv_dV4rt_2vtbphQz5W`Ny{K_PYu1Z2c+nB>7rK zq}aI6qfZD|n4a6FS7{|I5ca67n7bD>T|Aqx>8WFU?0T?0^n}0ZlirTmrsv#lUyO4k_|s4a)Xxe?Qod&85)=4Txmd*P@9TGOXl(p>wSov!wevB(_{tfZOm*eQVltZSG+$fFcA)(vx4cdnU6hn(K3vQ$WztaEJ8{jnzNN*6 z5TD`v>Ijx+V1_D3)lHuBU7tpFlykimW4jj&|FfNNWPgm>V|D-iQ4JE*{sBY?9)+({ zG>PQH`rkm8nKU2cn9bpc8kKSvi#S!=uJV;?zT>SH$Q$W7JmPEdSI|+4dCsxiKI}wg zyUZFygD|7-&xj))$YIK4P#2HQm!6q5x0T+!Rq|XGK+<2lQ&?p1Er6ABv#+XnugP{n zK%;DJ2*H5jDL5I>3kFWC-6J9uGk*6W%mmi#Vmt+EOQE>$npP!FwK{}TsK+o%nd9Nh z7w#yw7bzqKs_udp1v*78}3si@?C34vFZcaXFOYDlW!P9N3Lth!s zRooP$AowaZj(aj=kG(Q|zQL@P%=|K1q}n_duR8l4YuH;ig7<|FCK^>c@38Z$2q#K7 zv8CA?erYcH9LQ_6GeA0OlpgZ(q&oM`V4g`yyRMRr+CaVa?o>dm>usrp9}B;GgCA$6 zn$%z@mzwy!h;_V08RCjBzI0MkDa zuAQRln`*HEGT~Qyo?Q70@@tEV=U48TsgO{vxy z$S{E0wVqJB(5W5S-2ynJ11Nt_HsKJ%T-~TC<-JeDZg@V~f7cXI zTK10eH=m=|c#P=q=79P^jHE~q+`DB0hvXM3ouiJ(FRM`*w`$n@g%F%Ak9WMEcj-3A zF#hj`Yy*uebIYZr_~$_takaUuv^LLiCGX(774A*&;g^~X7u$uO_3Md*4%^YV#8Y_h zG#R6ha#>%rWn+}XDW@rqvg?}l3K#7ax4yDR z`A+DPPL{gO`%>#($Zgjtt4nu4Tk>=LH1JYgC3=$DI5k*jge;T2r2;*5hCMu2vq2j= z(V;c*F@*2aM`XPN)(CX-e($6ern)U2c#C{D?^2>Tdm%=4Xov@;U?d{o+c`9>#v{Ss z_1haD%pGqi$PZ;BwNEMjU9aj@Y@zCf!ZW;f9n`4+xg-dy8VTzA9S`N?i!=3ZuFlFw zJ+-3{@|s&KaZMRT;eDrbZD1@_ElaBP z&i57jZ`O1^UTqKWD18CN_nGk2ngxgVmc;mol^N^KQr>&m`Mlz@*+smX;Kiud2&D zBa>OJWnG4vPVekYYA$r7&dMN;Gf}~W%|yeCkMBKv;1TGSYNIgq;Mw<1pc?tRh)JD& zTs8V5hWUUKQx#2n&&Qhf1`Eh%?PqjPr&j*_`0!|1)4jWWstupb@g%rLKKRFbu5fX< z!+fxk+_NjL4kH0;3F70kxz5Q(=Ea+n8lAi$gq+W_*C^&lEB5;6{eie2WBjf5P6FEP zj5YMyY?`#D*2|ClQ}91;ueL>xCx5)Dw#`Xq%e2Ui{hJF865doSf>o_;a!SZGQvWv6I=6{bL{fV{zWM z@?a(G;(X`Qt_JYH!H1B!=G1fM>iB&BV(M!D_*HtzAGuUMS(KqiJK?uSZ^NP`1Oj4c zDOSE%#m=9eX$DhLDO+&2ua-C6Z`^Pxzg78C!-4Tl4`aXTdiqr0(u5wqnU%WXRMV^y zxa;>qQv=MR>w{z$qeVH`!tac2`gTtQnW2a3P<`iQ+c3-Z`7_%1fAV9L z-W8;zPnhQ}b;S+D*NUF)#3tn@(M#@4F0k`gzJs0hpEIDm(wEGcrBj$G7 zh}-?Z9q2g?&1;EcIP>D};DO~z+6?$q%XQjtPyuy~#lC2Y6WfX$pmw?`-r^?7XVt}K z=rQ-dhi*KB2})A*@}{xW~HW6N9K{*7SL3N|L_Te&}2z?OUZoRep`&l zW;#XcPHINY@D_J_iChwyQHoYii?qUN>_vlT4^qGZlGby6__9Dbd4*RF;N2?`!R`dP zO`L*~j$n6>Cfsq^Ac<$2;9ZM709Nll;bsEjjqGtOv1oUn*fYa>#Z%T}eXeyJ(jIGv z-gZ>9mVSi3)gRkU{U@Ju+I~r=!HGxe%vd#$Jon$Cbm9h$@|A6cM%#H7DMWpgUId5HcmcNo zb{hml2)4hg;346if9fk}*Kci}!JzWOTenxAUTf*xN+r_~OjY6N-{*P2 zUrN7{@M)&3L?lkX>oA}I`G#(a#*49dJ9Yxn2zV)GHJ<)wTZ42ktVKSX+hb5gVXXxFu3hSYW zDg_%Fy$cm2*PR@lh4pQ`gbBuk`mE!XOOhD_5HwNBPAOl1r1rK2xnS(u2o$d~I0(|-g9xLfa=im0nK(Y}$R z`SmfrT3i2hnjkCw%Zn1x!SRh1jpHOc%D1ad_WP5+W9yV>f5tXKKUS@nzoiR50EaPL{aoXdSf%n66UTVbomyu=?rOFlO z4@TX}5X7V2=dY(8pkL{G3kP|Tn#)$nOdGo8b0SnFb#mg)2E@}<8?$7ccQz`WUz zyG!kZqS0ec+KqtEt+N|jD(oW+NMUVIUNDVPgZRsJPx4*|^)Et9KYmu$L!0*Q!S0}k z$rw5CCf1BIIf}bF8|no}nNx0lhBfHUn>V@t>YGcu(xkGECFRLj^7&)hst*d4M3wUv z09*>bPCi=4F->xyjg34f8~r7k^M0=G`~YHVD~WK5SZ|$g*=H51bnE}j9+K{CS}lgJ z>()A~7tG36nWtP(xM1+Abi>jwSiT0`#v(oLMge`@>&ZT#cgYepE%95NVU!h+ya+LS zeT<+~ZoC1Sv)!)PTWAPsabC)fLM3#L311Z06My-%pbo(kS@r>z_f?wSodAbsi1C4^hHFe|G0?N}V$L)gw(pBqax?>#I6RlcHhrpSP+#P-(n!0oU0pt&!u6G&HRos0@6| z(a)~&m*j~*EaEb5BN$i!KyCoHhmA8C5CK4v*}L0enG6KT0D|e8US{FeGBo+G;0}qQ zcNTET(P~t9lxVy~+@viq-bS2JP|Y< z9UctrK#wPe_NBuU#&{rl8UyG;Iy_?Z4lSMl8c6@opCssy^mwA^OnN*hx`GZ*2z^G6 z$F2#%G^8V@1m*^TVE-TlgYbV4ib2Fb2*V)qAB1BN`VS(wLBRhSKqjVy#AtAnEd$;k zK>{dP6x3vW9}h)948~Xh0FK_2$3x;n;6OC50tR3}INA~ma2Oc<0t-k050E5x%SU@6xXf72D06|E!DHcF*I2w%w2ndRv z!U7ZyMpLU|01g78)viv~ zS&s!crpE&;ATd1(sbgXT0hlHo)G-Q#X|fm#U`&%=umC|K(QFSefNk3l3vi6dzycCu z#vWkig8&#s{t%-;7^RE_Fvdh-0g5r5Sb$;71r`t(1J}R+5@UR@0K}LYEPya(7Yh)K z;n&0f6k}|$0LPdDEFdsuQ4>=Y0>CI{EsO$Ulr9#qsZ+3kO+AbSY-(a{3}92sV*#5Q zrHz>n#inkMAT?Q*Y|v@u7g&4T$~WcIPI;{suxYAu;|FuU_V9TI^A{ig$BUJvA7bCF2k-!%Z3eUCXW004SG7mpH!S*X7rgc$(G z9G(AJ5D0((VVGOvKO6*xS=+xHW*p+b9{ztDz{~|9{|*6xVLHXmMg7M>Fc5Qm|Dy;1 z3W59`1_Fmb{vYGufWPM=FsJa}4tp8=cMVK^01$v#&A*EPkpFv`{%1fW1oHO-K|nb8 z?~XAJ`ag?cYk+`A=-)LkmkJ8@cWTTP2Ksxc!4Sm1#$nvQmKu!NiQxay9kwtS3W5C{ z1`LG*|JgsN|K4brfe7H=VZcx%@LyqI0KnfJgE4o)-zx)#0g?Y62SWZw4b1uj!7vE$ z?|~2)=9vD~38oLg-v;$Ol=0sZ1OlPU4e(@8@=!294j>Pd zL(0l2LF8qj5Fk(yhJZsMV6c)B5-v?9`TrflZB8bp;9)E8Xm9J{!E#6#5D1Y2$tu8Q0djH>c@UYjG?|aDwYP5ot+)LnGR)b>ycRM(K1EF>vi}9# Ck;g6o delta 10140 zcmai)by!qw_wQj8q+6t=TbO1B1Zn9GNofS>2GOBWT56<`P^3Y+yQMotI-~?q5I8gM zbAIQ%&-0w?I{S~A&wTe<_r2D-WAAJ4`Bp}FUP>5Hg*)VlQjJ`br)a*^-)1VG$eN;} zlj%tY)H_=AnfE>D?}#V068?SZtGi@hU7QSEW-BLQF?ujnq@T6KfK%M+n)2ZR4)W2)lvWQFEB2~>ZvxstTxnD3=SbyV7#zwar#BmsI)=z12 zkVSTNb+n2bK!OXmPl6ZFT{)WO3XFQobemiLIG?q-p84KUP2Yyt*l0dd^#pwy|bS~I6W+S{K_9`S6w2P9>r@~XPeE(V>?v!)fb5npsO@4Ne?9Z6rG?XxJc zY6jtE=k}q@rb2PPxd>?Y7)E|P79;@y%jFg{_r1vOn{@BT_?hK7`&9DW3D#FpUTiXP zvHYEAC@v?#Co~GM@+OY=duwZD8$^Gkx$jfI`}^~Ey*2gC9XFLKo;f~ZCSy*k;5!Bh zIgcn5$!JUfJsPiFsZY!k*HtRCj8aR#4M?T0_TYR+A+-1KirOA_J&+9i5p|LemqsA{ z_f^(y*DaS~_KcsGgT!sDb_LU7jFdWDwb|NWzc{m>C@h+G5e(KV3Rzq7Ux??ts=zH4 zsc`(J%*n%M4ka87zB`Qkp3$j0+2;KuE9CQvz1FZ`QS&%o?M|vvw{v-@rFi^&!!W6k zu7A=wD!JAX&G;qZ3o>44T|oCPZcoGj48k3xqrh%Tht68liLdE+AgFhDCTDUg#$fWL zXD+W*>w9_gtIC&G!qFY}40q=~EeanD(Nci50fe7+pEUfNx~h{QJz>Fs6b-dhvIRm(cFMwwk_$!) zK59rc-6#ZT6J^4~;BG{DJyJdCW`URMSV2ikms_&d65=%?CB^fkLRSp(xM0rEW=^SN ze4S1aa_|XNbj z6_MEC4;w6EWFyD+3|YO6t^t_`5+LccIMjLmEYJ#?Y@0$mwRwht6+xmmaWtbiU*xbm06Smw2yMzJB2F zm-yza_ISR?HOT+5?>$~TsqCXTzPxpWQOkwIA?{iRUUYNuzz$5!98V`opr4hOB_RdT z^Ki56XaCc|%wJRO-&ufeV~*j)Cl}}98S28Ow=J8hPm-g<-y>Gf{Qo3V>X{O%mKBbR z)zur>hQGbRsW;+kMYDzB-X#IE0$H6c?1?}SI1KIn0#^>DT()0Bx}5bCvgS=-yi+t4;I!m}6t7SnbC5^4zWi zm3`Vja&dYY>wNQTaHrP8TlDJs$3pK`+6-b+ebqrd>qhj-)0GF7A%SXWW2PMP{A`A2QbY_O1!W%+w|BTy$=E8>P+yolEeZiofT*b+BWYzGT=h_XvM&&Y$AL zK`3?UWbhBa87pg37+p55(=!4*go%1V{SWGh#<9vV6dh4?_<28YOra$uaIZ1=ggT}z z>6RWd1*J0dl?U^rWZ0)y=r|>$?mW)RYjt`%FtWS8Wdt${G!EX#R zR2VZnM(GoV1uF4}1gcqS=nS;E;oW|{Cw3!;cem(wb|ZWz;#PC(E^!!+MCuNDW3GwL zIbJZ-ef-&EWcTP3Jz*juPJ|(DWfUW6O4(ti&2b5W;@3`xbM|>M+Dg+-qV*fgT^Tk_ zcVTGOHom$t1hDg4!MUS#cr0S*b4kT~?%mJ_cqr+-E7m*h0l?s;a;a*nh9$`>X~W8L z4odA51q$@U3uG(F9Ls*P>2<%tcB#(vPVIec8`Bi(mzU$BXC zS@-^0R%`>~9Ok+uI2AriCyYlLw(~PW8(vArml%8Czw!JwsrP`->{I7Aj0yKX40HgU zMDL&$Uf%#osHn)Ns-5-og}=yC4CIlcKv3uNQEbN zUVWCU@jMKdrTe?lyHPwYqJ2qMCTQmiuPjkqk5HzQe&|b~H3Hap8&uZEh2A!2uV+=H z0FN+pdFFtgsXx&^Z;L#nxbG)TsSi#qI zDp}*Cr59?WOEvVTC3$MYQ-n_A_@P%N?ge#_bu_<6d9K+A=*%Ckl`&9Z)bJ?8U}YF3 zJScU44rg?lklr?-s6AO=*)m|`t8yc^rS}4!oseaFarmd#4}5hetQot!n`gBec4zi- z$xfHIi9CNl9*sNmd3Y?t*tf46{YZ;fEh7rX(Pwrc_+n3Oyzfm9p8V)#17~j34&Q5v zuLK(Gw-G7f`wlJbBzkdr9=tGx@2>YwKxNzthEJnFlF;lN%_V z3C{Ys*`bn)B>t({`P*C+O4Xw}5jj?joi1_KPmSM|b>|DJxhXd84bG=`5``QPh)1MR z`>FVxO%5L_i*b;Q$Gv9Qa3$3`CbehGJ6;$XrkK!a=unyxpbE8?+gxWge{!y0$~qVG zhD9?2pBXh$?iCjGMJ)T^|E+P5_6J{nPog4rS2^kXQ$^PzE^kWfZ3xL(3T(hF-2!&6Xe2VZtSFW ztoOv^s}x^x$H#bcx8zz}dUQnutP_5kyZ4~_>8JalRJlyq^80kwC9o1sUeo3oRA(i= zUQ+uQOLClfYpABn)U7WO$_)VA%3E*O*iP%KL}7P65(GxQ)?llbU6j`<#iv;8mHUE9VCek^G@>Rd}A7Y??8nftm#>NYABZ&8kUDq ztn+kY8pqYkR(27;#(iVw(y#jlkoXJXR+LGVoTc63ZwJ_I++p>rJz!nHM68xx>&Mi^ z@HsuT1m&ZgzQSgnxaZ{7B-1r7y_>@?N?U*em4YcBb`??__N6QgRPzP$XtniU=^Ig2 zuI6~GUd3JX%6uj<^60=_I6x@`>h-1SgqapJ^2hD@HC)peMsxYld=T~lb^z8q#4JgQ zs9oP#mMcj*M|I%5X|o^K#n;o$q$lf@P0tAMLpelF+eRte(FJZ2pRv6Ruj>gO!6-K4t>;l!kLkU-snAs z&gA*s{r6#B4=k;h%qcQ;kn~j`y4(7GoXm|%)@7gx9qk8m2C~!jk4#JrjQghBM>5^$Ty{3VJ)q$PHkAJ+8*%Uo4bj$by zb<4Oo#hDp<&Cfius;-No34gbCG`VPX7(^|2XG^7*r!oC;)BD?OADoCxXZO72&L$fM ztC(N&8N4w~C^cbQZBh>PHrOQQDG_fuR@~E}ddDj=O-i#p{HP{&BR?UH^C)vQClOvv zT3yAZAZTd%FwBoigC2Roq;F^)?q;0*nW!R^D?7~dkHb8DrKltA#6y2QuyyQHbJN!-^# zTHS|)pV(KapLR~&W|oLmq+oU-_^&UIEhrp>mJY+*x(ybt!zq?l z%8o=wnZ=dCP*ata14%DMAuGzt!CTVYadYeE+J0!Oe#i60KuNl~i5f0te%%cBLMyM$ ziATaHb&?z0dkHDsr#my~`>mbEiKS)bDkp z6YAPL-=JzkYXXH=3HRc#A9RD|Uj@QhbTA%G)c7hv0Q=Ct>pm!SgJu@hl0 z-W{I&e0=yle#Atqi+-eTw@Qzr)BkF6t)!g9nYPJNIKDT_uHM|U1!cM4VNBfgz~s^E znXi|DuJ|X9-UN;Y9c0vk9ex$rtaKS<3@59UrCfKUtOyv0P`MIYFQx%Yyp~ULB}IZro9`vMMOLSF*7>7Z!zZQ+{u~ z`Owf+%LrQS$v8W8jb|O8dKX9wGcFmbo#DV81 zhJ~K!qr;9*chzRZ*G9^F^ShIuenlAQw1>=_h%agvS3Ou6WESD5c&jl?f1y0?(qOZ>UmBKdlUav0J85?O z=t|m@>sf*yTR=Xh$BEy0lJOBKc3g>~NHO$MoJb}un9;)fT|-%;pq5sh8?7hMyzx!? z55h_va1Gt%Q2B&6YX+dXy&0cPjMCEQ%M3K;`E=9e`hx!>YB{L9F%6%>Po9;7c9v@< zv-eg$vO{;|o3FPc;cR=J>-KeCxK9a5*^8>qN(u(PP4>q>zcVx3lP242>3ym8zG=s` z4rf7yb5E&&9oQK(1K{!r#>wG*tl|2ILP`s#dubX}7ye#b5=9?I`&s)>mxFKbV;XiF zqjNfN744AgZoO2E#mZLZpYkUm9sEIRw-N6kgqHSB46pSN!UmX}eljyV{ zX{aemAO3CYIobD+ybvN{u?AQ41k;Kq&o*V-YAQ%V)(1r**w|P6q>^6#LWh1)-eQY3 z?~M!vfxI^9s7C+AOFYu8?xI|(T0vo&I|=<@vQX(EKge0-OnfZ9vew{!jXJR}SiKWd-7*iiS-j^PDTD7^FzfvuGQ+}N2hl4cXFIZr^|$2p|LK+FVj54Z2}t)G)#86>Bb zANDWC8YzF~z~v6fh`2d?ak>YZKR2w(`9v=<7Gj>(2x#5Pu@g`jZ_q!Fir6Uj8zVAVanA2J@f+_iv`B;!KF1$id_R*` zN`BUWvT_4HN#a+sZh&nRA$uC}8;edrKFfXDnNsVu^|4 z57s!vJsbgCgF1f6x@1mD)d|M0vo+=i0pEvgxMyZVPQlBqG=8BQ3qI%?I-QR786>|Sh zYY3}x>T=`VvZXn@czBy=##Wbe1NnThH9JIYwMTI2tFCmy?TO+D4-)F?szMd$N5=9* z6jDa5PBSg$7bTv3ZC$i#O}SD;HF-?_GwW@oth<+Ejps@q^qR$Vm)3D`e^%a)$9HV@ zlD$>*#iUWdlTp`gY}j>?O;H^%{1}cDb zX&f~<3Hb^K0woM4Cfb6x5tA=ElzqLzlIr%3<4k_5CusJwXo|cU$xZn5P23e?PsL~j z`xw5Zos}`gd&(qL`|CI`kH#|=gnDDX$w8Lz?sD;i6>POI?uj3RLh(a!X^TaYr$ zrSUsDBb2)I&mU>JeioX1C6&Y8`JJAEt=ey95c%Ho>&p)+LfA% z&rtbDVAhqas7d4NBO4jXbd9_cC-@Vn6Pz}AbT%`gzCwb^kRZKAs+?GKzGFC6XE+6X zV-JxJyx&sf)O!8Otw8b3>R`6iQ{!JZTSsf37GKf};uI=#Kxd}${rH=P(I^p}$W2j@ z>Cn;7!K3ehV4BVaXZ?>ExOVq|PC;S{KB0ur=_XebHAiQ40UP#Wk_&2`UPaQdYUo;g1GfA*TK!T9DdLc{O-b>wW%YS z$kZ36+SR=?W)cfV5#Y&Ms3}=US(N%}Nv(TcyO~}w|D}AE7z<hdjHA#*^HdMM|GEX_&xj(EZ#ql{InbRo+Xs$1w|^6+^2lMDeVqSb9r-lqSBFSPLMD zLDL^C3F^xF>os0XR-x`yj;}JzDJeV2)wH__SWS{b>~~i~p4b_MyGzvUdUz!XIGNmk z@kG%8)Ms1yo@j5Yzo4Q83iY3Sz}M4Ym}8_B#VpS8qB4&zgp@s(Xf^ntATRM!M{8i4 znyVYJz>(X>l*p48tF2c0{kX%td^VwHW2zPzJl(Uu|$ zTu_HV-qiigUb--<=Gom0TsD6TeXIRSm%$5#KhV+FRTnf9v0)9i({I9BM0Se@&jh6p zImir{3HZZLM>u^~B1PP?A09;e#0{uw-WOPK(fKUUu0y1pdcoVUzBaZo?W@GdvKAyQ zmaOmulBTudQB7Vyp41!@UlUhM_vF+<$wa<9pwWRiWg>orn?5B7Oh{uZ^|@&Iwnkf4=<|6) zy@pl71XQq#x?65DvWWw>`=cyCoa%CNM1IHvnOX9(wAFw4VD9GjDp!?0{aNPPifD1p zUZ(_eS4d_J=q))insgtQW559ZIfxi+Ecj{qW3yG;(V9E2c<5Fy&$H(XRE&isZ+p@{ zeyZ`(-e2~ySM?6H|EQTWZ+%Kw80|8-w;WRHd|-=EN7aI+jvj`sA-Fqx>GPJ~@3Cpx zbUi$naDh*(L5+*ZFU$sMrmoUV_4UC^wbbeg+S5o;LMiskS!e8YmOr)q#0$d@nc zgF&X*JADHjEgh>D6|c`a%|i?)cC&}YCNDGSe>$pso>1fu%Tu5oZhKAeG3|26mnt;q zFp7Zrz38X(8rAfh{&At`t=rWX?|jJeZAV_gQcS`|w<~K~M=04IqEyf(K{pb;4r135 zcS@6=)yQ7sZ9mFbPhdmPkOD#f^V$gk1JxcT|1|SB2f#`WM02JM~fE$I* zBL{HT`Yqz3aM2Ga0YEh0GHx0Ak`kbe2GRiTpna(Uyyy@r037{<3LuEy!G2&)K+tm3 zfCuPuDgYsx1#9x28gl~k6N$b}gK2t-8X$zWqyaFg!!W^X3ClxR!C;ZU5Q;(QUkJk> z@-KvA5dIg6U=Z;aA}|QSB9X8>k`)X>)DF`CF8FT);X=sTp+^AJ?K@!10RuwNTCxD- zEeITnj==&91Vj&D0S<$s@#Qdp0D{rdasb3_I1&a#zrsiWAQJsn4nU0_k^}JE0z={G zpIAc(5{d@PW7~j&(M}iuz>(-cd5m3?JjMEPzCSXn-OHARq)<0t-+$9PNh% zI0%Za!GZ`Jj6P8Wh~PnxNK9%%N*E0YL!j-k00zR*AFu#{LDAo^0K+89qKpAJCRal& zV4_7QD`Ub2A~A`MVR+k(Xit z8~Ls##vh7}oLdVcVI#M|0ygqYEI={JJQlD~(`sV?8?}};fC~i_!Myjy9;{BRMA&Z- z6o$#2Y zXiyOd~GExs0iqv9b>eAl^+5{LjTz@1XIDk z%>_*TK@b@HugUOVa{;3vF&pOJJBEoM|K|K3Uj*`>)q-Fu{m=44;6TK`eBmGj>feSC z;6F=^*|7eV9TYC|ud+hnh`&uPO!Sy>!)#>#NCYYZ2LA8)#{NIc31f(a{c{pR5g^P} zkV+pQi2^~TW^F?R Rf+8^EOvJ?{r!G(QzW_Zc%2WUV diff --git a/search/WritePathSpice.cc b/search/WritePathSpice.cc index 66684400..f046a659 100644 --- a/search/WritePathSpice.cc +++ b/search/WritePathSpice.cc @@ -682,7 +682,7 @@ ParasiticNodeNameLess::operator()(const ParasiticNode *node1, } typedef Set ParasiticDeviceSet; -// Use node names rather than pointers for less for stable results. +// Less uses names rather than pointers for stable results. typedef Set ParasiticNodeSet; void @@ -723,8 +723,8 @@ WritePathSpice::writeStageParasitics(Stage stage) initNodeMap(net_name); streamPrint(spice_stream_, "* Net %s\n", net_name); auto node = parasitics_->findNode(parasitic, drvr_pin); - ParasiticNodeNameLess name_less(parasitics_); - ParasiticNodeSet nodes(name_less); + ParasiticNodeNameLess node_name_less(parasitics_); + ParasiticNodeSet nodes(node_name_less); ParasiticDeviceSet devices; findParasiticDevicesNodes(node, parasitics_, nodes, devices); ParasiticDeviceSet::Iterator device_iter(devices); diff --git a/tcl/Cmds.tcl b/tcl/Cmds.tcl index bfa885e3..f89727c5 100644 --- a/tcl/Cmds.tcl +++ b/tcl/Cmds.tcl @@ -1863,8 +1863,7 @@ proc object_name_cmp { obj1 obj2 } { ################################################################ define_cmd_args "write_path_spice" { -path_args path_args\ - -spice_file spice_file\ - -subckt_file subckt_file\ + -spice_directory spice_directory\ -lib_subckt_file lib_subckts_file\ -model_file model_file\ -power power\ @@ -1872,26 +1871,23 @@ define_cmd_args "write_path_spice" { -path_args path_args\ proc write_path_spice { args } { parse_key_args "write_spice" args \ - keys {-spice_file -subckt_file -lib_subckt_file \ - -model_file -power -ground -path_args} \ + keys {-spice_directory -lib_subckt_file -model_file \ + -power -ground -path_args} \ flags {} - if { [info exists keys(-spice_file)] } { - set spice_file $keys(-spice_file) - if { [file exists $spice_file] && ![file writable $spice_file] } { - sta_error "-spice_file $spice_file is not writable.\n" + if { [info exists keys(-spice_directory)] } { + set spice_dir $keys(-spice_directory) + if { ![file exists $spice_dir] } { + sta_error "Directory $spice_dir not found.\n" + } + if { ![file isdirectory $spice_dir] } { + sta_error "$spice_dir is not a directory.\n" + } + if { ![file writable $spice_dir] } { + sta_error "Cannot write in $spice_dir.\n" } } else { - sta_error "No -spice_file specified.\n" - } - - if { [info exists keys(-subckt_file)] } { - set subckt_file $keys(-subckt_file) - if { [file exists $subckt_file] && ![file writable $subckt_file] } { - sta_error "-subckt_file $subckt_file is not writable.\n" - } - } else { - sta_error "No -subckt_file specified.\n" + sta_error "No -spice_directory specified.\n" } if { [info exists keys(-lib_subckt_file)] } { @@ -1937,12 +1933,18 @@ proc write_path_spice { args } { set path_ends [eval [concat get_timing_paths $path_args]] if { $path_ends == {} } { sta_error "No paths found for -path_args $path_args.\n" + } else { + set path_index 1 + foreach path_end $path_ends { + set path [$path_end path] + set path_name "path_$path_index" + set spice_file [file join $spice_dir "$path_name.sp"] + set subckt_file [file join $spice_dir "$path_name.subckt"] + write_path_spice_cmd $path $spice_file $subckt_file \ + $lib_subckt_file $model_file $power $ground + incr path_index + } } - set path_end [lindex $path_ends 0] - set path [$path_end path] - - write_path_spice_cmd $path $spice_file $subckt_file \ - $lib_subckt_file $model_file $power $ground } # sta namespace end.