From 28c81852041a1c56399ff7073e4849652148f0ea Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 22 Aug 2022 10:55:11 -0700 Subject: [PATCH] write_timing_model -library_name Signed-off-by: James Cherry --- doc/OpenSTA.odt | Bin 77953 -> 78076 bytes doc/OpenSTA.pdf | Bin 206681 -> 206858 bytes include/sta/Sta.hh | 3 ++- search/MakeTimingModel.cc | 9 +++++---- search/MakeTimingModel.hh | 5 +++-- search/Sta.cc | 6 ++++-- tcl/Search.tcl | 13 ++++++++++--- tcl/StaTcl.i | 5 +++-- 8 files changed, 27 insertions(+), 14 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 1ab951e422cf1e495920be7c09c957a84a6ed3eb..5f73688b0a9a0b3be72512b0f914f3f73833c020 100644 GIT binary patch delta 46060 zcmZ^}V{l+k(C8g(Y&+RtV{2pE$;P&ApV+o-+qSt$Ha0i5bNBz;=T^O6-cK{9&-C=K zPt~06>K^~yZ|}R`5EP`rzoCPGK!bq%j=_vakOKd2(8L4QZPz)FeXi7?&w8YaC?`Am zR8hz%0}5;+)^yIb1QSWqJ6X$>l(XJHlvdgV{cJl=GFhEwvf3@0Jnrlhws_N2&6^(z zk>3a@OWGA4mcJSRJmb&I+a)ozWPJtu=?*kXysSQ@Sw$7C-yu%z53$Sa5JJayoIIoX z>}(|1qh)|tmL~2797pdXg_!)-Yqnx=NwqngsQese3PuMgn>4!oA43T%?-fl3Ot(I{8y_*J7Qf7yG0+hlFqm$U$O1+omPbL@hgoSC5s#e0{!TKcu=f?zk}U*LnOQ7^ z*bm1`TRp4x-Kx3)DN24t;o>5sEnDDlnyK8S3jxp+$jlcMf}tscPXo1VrrLfubzc!@ zJaP!s4T=)knW;GQ<7I}ik%Ug)nZ+mVU>ca-LO_=aD5UHo>l-H&7j2+t%t^z_i)W+k zsKO#aw8tHq&k=!;%MIJ!f8~?;wrAYn7v~ccX{<8j(Wbl4qh~@!#O09BRyxhiGDOW^ zy#QqLwnr}_p{(*&+JHuH;G(DH|GXOR@7rWVPYQ965V{?Onz(cYe7ZYcy?r`$J+R_x zqvrweM)PE~17v~2(Hpd zs9+`BCYu9f;rtoH;meUY@?t(GEFQKt^gx_N12#f6f=!I{32Tmzna#5yIgWKh|vqx6C)dP zUyYR>K?>L~ZvkJ%F(4{ExGX>aUKbmEr>gYpZ)z{{)AEfh0JHX&RE6yttAMB}1rX4A z#7L%l?;3gIdrvj3wcF7A3VG%h`=O1u`5yDf_Gl;Li(g2KgKa_O5&^3fd%W6yZ?F|nliMpKv+aT3(y4&?U@gaVc3zY99>1WTST-)<|LRq(2ogA)@M!64H*|~p=4DG`~ z!!4urRjvx3-iM39h!Kt;FS}xj-{Tu%*C??qlHN)UAr5cKvyiFFCNzbPPUJUjU{l;B zF+jIR72xe4Orp!_qAbs)r}=fY=-JGbIn6g6!-vCNzC1HKTe-V_s9-c@`F&h>iWZ)a zhl8Vrp08FcRQ@Vky=Q{4{{2g>gtJ1M?xIfnb4j!(WjNR8l$dz^{4iE>)dZqc8%SZ) z(x`4Y?f&Y$10VfK8?Q^V)B8@$|o>wYzU-A=+HXtx9ouz&d$z@ z8R>!CXu|RL^$M4pdrxTbm(m1-a6@*{&8yP`+$XoLpL~gKd(Gusc0X`{OrDM*Rm@l2 zi-R`Tj_!>DKSBGl>?OGtjPnDD{>%LzVI~nb-#hiNY0)DNk2YDiGKpzkN{05lIaXJ0c3bMnKX7H=SSMgtQ~{tNQxn zF}V5OXiW1FACw4~NS{?2PSQgr@LfPJ5m(JL9b>piIUq$=5UVeicoXk+KubcTME@JCr3Q=lr;xcasbU#CFjE4a#Hq zpmlb*7>nW7as}|hWfKy^7>_@X)6f%=D1<~p^XqHB{FgjWbAeX!p{C7}F2gfk&X5VE{y?esh=W!!Z$S0TPzRL{AP2*Z z_^_fe%?~r(G5xWKzLyi_ZR!!GfwRjCao8;h7Up2?F-HowM^&b=Ko**_GZ)xC$k4XI z1?6oC=CCXIowg?9T7Ije+dW8-HnfkPw63zVP%rET&^E>0VMh06Aw@(0<LpuhEu#&M?Bl??o>}??y zGgQ+USW<9z`Zn0y{*y4!Un1-pe1FY_t=JwvK9qA7%S22_=eYDZji*j|BQslna9rVf zgRXO+Rcy#7imy;(A*YVb#~wMLeYd-~1~h^8hG_KinbUExyFH|S3_TQb?Lss)uT8l3 zkV=zrxpm5eGv}AsnUIsziA)*!AqB0B$%5JvaH4NHp1!`oE!--T}RY(m*tAyE!PvFaMpum{eXl;`eEa@fvilYb}i( zAmfuqr6Pqj0n+U8pDTYYDJ1WSKPY#=e`MCXa&s5a!ETr&05U!c~QZ-6H*{{x3 zJVaGORKvsk#R(K#-PK$jU%#r%Mv$LidKGJy35md9DS5TK(v3yFRJ!#V{w!C({#+VN z>ujTCzsKl4w8nv9F@CmfCgyg0L3PmvP@7m9{81c0xmzH-Bty0-Dvud@{9 zn8F&32i~!C6cLH_89N91tTeQ3H5g~NdpMuSC-^Aqqe=WutgW9_Juk&V%_l$c)xN;~ z3#?k^jUzPwf+_^_{|l`Dn`0&-z!4`}!Xrcd-$09*7yzgIU(%U~1po7YMt^wX#8)`f z|CuAevHi~|3dauh|MdOgS^nR;R0al6Sh)XB0{h?QsoS)m@c$$HUki;F@I0XZsWj3e z+I|COg0;8($;60dvdWlrd%+ljs9sUjjTi(&g*KFPK_qC7YXmbl zjA-FWmc+lU*g1Jpd-A!GXW)0}Io!HChn=t>J+EV1-;j<4S>wx#gVI07&Qc6(au|d6 zG+mhn6a|RHsSHj}T1hSF!_w9=OU9|l3`hb{QrJ{k8f!u*5uD>s!< zkW_#EWz$0?Tit}NbEO->hoDdl^K=z(7pFO$ZoeLAJgs;8fL^fAQpHf$!>l>fzfE1`OH4o#qiN~V9SV=7i>e=BWZ7wh*$u7 z-ic`W!uXdFB=7=?u-w%Mhz3fF7&>7nbpw89g7e+j6kTGVr%Xe{H^%N$%RE0nQGayPotzi zzWI~FKTE|9AT7{|N?%6vfl8x42N1nGF~1(;a@Oj29uaKHRLi7I^BoP&z5OL(p&KKBERvyZ>%Izn_t36UhQ>4iYQL z8J~TBtpZu0L{T1=mGmshv8+fsOP`U1a6J&oR<7fdPdHRzCrMWLNt)>@DNOyuY0+yx z7zm{soU@3QSbLh9?bdGPrDY=g8KBZTBt!=|~y^Gua0q$Q%^kv<6MVrxM>{RXjhI^I<7hvqiB-55nNzJ?}#eNG&Gwz zCqL*+L-52SMbPt1@OP)pg=`nG+XyPuZsZ|Qb19WxF0BmBtdgg?>W2mnP(GYcxueC& zJQL{X63xU$N4Br@g`#WhSys9j!{!n@(9x1g8hx^V1h)&bVbA zdMw5)N)F{%x|denM-9@uQ+1$;J)5gaPJ_ftj_hs4K z)|Govk43Cj+t-5b5(Z#0v!}~tG4+DYM`i1NsXDXAvi5X;KHcU1Bw+-La<6iEzEB!h zkBN~8!So>&hv(OekT3xzgX#7JbLr{BGF9&aWdjenlnH%ggvdmdbQ_;+od(Zq_nF>NEbo=#~R!eImZf zbPfy~9N6m8IXZ)^IEeT!;_k{QvG_i}4~c12nI&X;WxQ_p)g1+bX4JbjRCuQ5r#9(N`$bK@ z{W?AoJcElk3GnC_4Rp5^ue|`(=g~=~7n0}VPh_}yYXF$C38*WZ=G~@WE`A+%Otn($ zG?vv1d%0$d7uRSUV>GC4r|>#NoFOU_hnb&V_jU0JGxdh#DjfDW$B(Y;nQfAwSkJLI zub%*+aWv%7=;wG-co_(I52>+t{f<2ura#1Mp*H9%#MUe~Q0k;_k^B222~N-#{vee0 zLs-qd>H>Lx+~m7=3ZkF1y!t(KC))$PUjO!Q>HAA$$gsnU@Hqg#5p`nb?FRHPh$BDx09B^mUtr{7@ zuN#LYHW81hON0Cjt-(xmIZRUU+`;5>#u1x`?mbSSFb8tOYiL) z6viHt5(YcEaM@V0DZ`StZsPa{&H@!08Wp{q8afwyCSRjQZ>dLwG4RDv|3ByNaEE$bdNw)5pLsQpp=sWMpBP~TTf3HS- z)M5#QP-oxRmGEnu0sYI8eQ{k(cgBHDFv1`d#^0nxb&HDK%420%{`v5U4ST>8lR)mV_}09d+Q>A*a4(E_75(S`8@bZ z`ZLjs!Dj0Y#8H-Qv{MKA=7{-%TaWU=JcdSI;@9Q?ENQRQ@j$n(Vih7tu)AC-Xp046 zsJin$Kn%ki#ijx;QU38})@w)a^II!O!c{Y9L%Jx>ZRD+QBtW@} zHoOJx=4*Ivt-3ketvsy)B0Jxr+|tL)&<7pTa++xG&@q z`EclNETTj-C5Jk+Z=PXmg)^2L*FdFWDwdACQWlfxN+PaDquSrUjiS+kfhu;COFady zcUmG;1rdb<@bhB2olBmK+%--@?*sxB9JiC-Z4O)vZG^c70r(=Yq6n;FCJ8(bS+6qLJDEzIDjz=fRNjG{&8t#du*y<}KXI^+ugJzYH$7D)QQ|=)UK<0W{K#Y+QR&g5 zrIvxgCnXWcoEBeQC$>NUm>#SAd^F;Dyw5_%oCt!)=3V~%l;$I~11crDgFm@1B!Xkx z6sOgdc4=%2B1-l25)Y&o&1WX~UPy0woP%cMYoRLMhwW)+S-v*YI$nFWKI;aTQ{J9e z2hU_)A{bV=WP6|OU$!H8Rx{^biN5Ois)Uh!niI+?n%w+5iE~|nYVMJwWEaQ0!-@f1 z`s&j?T!z{gFfGdZXc8@|#%v)i>gH-gEt=Nu04>_~=>jdf&dmWW`tFN8Er#9?Sgx}C zNNTR~!b~ZyisDL3uFBHR2(GHrgo?991dS3J7$|Lp(0-K%zboJm)LA036wP7XG#C5@ zy`uDG(9eaxq-$4z15rhBf`Z%6VjaHT^+=$6* zL^qc<9u&FX&P2v?Bac-ULXCv0%O{nG8J#9+cqqTXc+N5cjyB^VfpN|ceF-<~bF+)< zfVV2kXu7Oi*#0ch8PO&ds3L~|AqwX`WWv#R&c&ZHt>z$sVV4fq(+j^S6OiICzMa-k zW0k_JQuwddgcDuSb*xO(VDmim5|n0AkkNT$;by}&8b&hYVkSNhv%$?O-gEFbjp1CD z_CPIjr1y*gp*1jM!+dbye zob#uy16#o#W|nWWm(!nc!5>(TZw&u5v~9j#x>o_9yzWcM_R9q8QLpTxx9#U!E&8M0 z_(kv8z^8QcN9vQwSN-o-qx6eW9d+O0miMz6T7HE;zTaCv^U&U6#ed|loNOVdQ6i^} zp`>Yt3-Cz>{ot0@{*DPmKkfHWlA(|FraHIAJBj|HnNk`we?q@>HEr^WP~>J=7;3i@ZFT;++i&BQuO+bUTKH-FXrPM^P|nmL^^Hw#GgH*aO!vfjYDoyQ1g8pYLW zaaZ#}OmsAgBzthQKl@hvf@7i;O7{;~E*2Azz>{D~D}8V^fRR1;Jw!FtLZg&Jz*~ z2cN{uW#$VJ{u9ajS&hYY;=#h>6mScLz|Ujj35S@+#t{qOkBr6;7}{KN-{cf5spG(KHznd87BwHN^Kiv^s!<#dNdw0}Z^$A@UyxLMShE;sN8KD9|K- zaom|&&cgU*m_q_U5%uAmJkmmHdYdIY5F3mlhU#KM=G>HFI~*ZG%hz8S7X?%iWShe9 znINtQM0}c7=VFzjAorKD3`^OO7=EyTgQk|Y_Ym~)J_O**M<(y}A%u00kvtCYJxA{m19G#dv7j}eKZD=g^hN)QFy)xwwY8y%w9)wW?K&zV3-^x}B_lZm>frGyp`1Is zQ-qNQt)H!_CfFC4#H_wL|1sNCn@8V(F`xJ^aOHR`8btGL3c7WYju6m9&q$BviDANO zTWj}iB0(sEY)G7&w}qPeGXO1OD7MSv`?Ti(1|g(O_PjnH0UdKPHHiT!5`_GR-8ssO zJbAy59ka$v@u?NEsaXFO2UfQtI{e;)6**<9!P@Is=mhHZTxg7i9tTE&DTAcj#vK41h$Un8DLIK0mPSy_boAjLd#V?Zcmkg%wMGarfT3f#m!i#XH zKAVOu-6xYrw#!`P3tC5GYcK)w>brfI>A|Q%Q^56gQ=Z6mQp@K7{=!zOH~bh(U;I5d z*KO%w=C#84%fZV&?jOJw96fP-?IXel88GCW0;wu~@eyQvLf4$UX&ZLR}eK1)wqKz^6T_`dO(4C*J*e-$3c+fxS@3=ohW zOVIyqo&0Zwrg4iDL+*d-EsqYs|1G?@JMCfvoB}FFDixBBBOe2ED2vqQJuEpeRTQiFvQpMJBs;!BwJps_e0S(|Hme#%f5JpMBP_tKPp~Y(S^r!F zWEkxGi@bD_R!74jR&?V2B&)dy%5pJZE}Y_$j43QkQ`co_wwn6X)-uu+-%+gT)IGzj zbPxLLFr`ZK&r#uujJEI!5Gf1lYqyMO~GTDP4sGniA+ zt&C!MQFwfBYC2DNAOLKfMw6LlGaOw6&KCnwZo~pl!x&8L;iO`X2 zXJMCHIR!b5fJ>}KD>X{c(lIYQQG1Cf&s>>1BF}7}Rvss7lZL|o*_eC8@Vy?c@ids- zDkul(fp5Ta*Yv0^vE8@G4 z7?oi^4up~S)q;b60Sj!%$(G4)AO`*4x`9V}0v-ykLVdq;9WH!1XR-e0 z##EtZD>6df&=X9O{oDBdw+`2{xU-n2lT6T~`XI-9s(fw&xsWQL)f}#}bSPZ_aeP_g z@{(YVeze&{uZM~`TKey)zK)i}u~)|G?nnP~;nNVT((&0MkM%%aH|NhVp}93f3zjV1HGkTLAR= zTU_VXKJvBSZUQcS17!7iWwVX_+wY*;*W-3xd+G<4qE*$o52Sb&CU2e9FOG+o;8Aqz z2^0;*ck4o0lJbgIV@}^s4*o-km-aK@!gpZ>!Dt)@Ot-9C})b9tjJF-v_tr z8Ib!7{3yGPw%)r)XWlwn-xmo0uSDOs+;A9(TH*?gV_=b}TB_ImF8b}+oQvi{{I&6M z+3OEKD#i87P9~ak{`QtlnCZ=xf%-IjZ>jsG#e0-%N#bXgyw}YL($qEbNu=Ega+1i; z%f`aZ#OgP1pQh=k`)1Ckn@|n!WYRx?}!iS{aHC* zq|rE^*XJQ^sG&g{CF;37byZjvxo+p59qvZFH9(4$mozH4S|*tnU|GWfCA!&d7LSP7 z9>)t(`1*w4fXqp?U6k5-s)*RU9o#i3UJ@8i9YwjE^A=Y7%lV%5JK6fi8qoh&CU7aq z$R?|0Z(~~53Z03{_0=D!{-|4)xwy24W6V{UIe$gxKp z0Yt)@OQV#Gl84!LG6)r5v;Tzj%2G%3#1DbpJY|cY01huv-}asM@sDgW_3sC~QJiXGdsQN8|V#aM)Jlwzi^u7hNm+%;bQ-+h32{#BLGtJD2voyOPhi z_BOA>k&ynk>vXFjG6>58ijg)F_EKDXKY|JI61bCj5X%9i zkIWMpFssb(GYRHm<^Dg!6)&PEfGqefKW<_^(5;tUFqCXgFR(UHRnSf5YaJ`Q_{ySO zZOg0P58Xl%N`)Nx)z)O}hI>OKsFCu4Rvs@bg#e>FkD#C=F})jn>VjR<&(kBR-Vdl~ zrG5knHX5)BLH1ITAJ4liaR6W%-%~zWz0`yjONu)u4xF7Ajlz0fW z*aSXWyFZL=VJPkB(bzWWOsFVf>mF8i-P0$vz)IdG`*cvvnw`qs*QzwgY@z!{oSyZz zg6K_i76wP0Vc?DAQFCwkY})PgdPVmW`k(-w&%Q!Kv&;4J!?=q_V92nbFQ%5#_~{^` z0qXTPl7M_0$B+Kxh8_@T4p#at1(@_3Iex9)PEK7{8oYEyQXR{)%tAEzPsa>RLlcw; zXT&++V~)~YZ??nh0eT7LD@`uQ5({TP z7qsDB<7XlQlz=Gv_OnFmND)((O&vj%7%5^u?6i^26wkyD9ug9;SIGxHJnYsXVfh!7 zPGc(+@6WK#Qo{rf`czV)d!ufsYZ-cW3%;kp7oMa$xfC)$`I4bmIGwcBRhk>DEyGvI z^4BaB#Z~{?tfQvDg+N4Vo<(i4Ag(+-r;bVlaih|W>{ ztnd<0Vdt$vE`9x?APnT3qbL>|H@j;EQ9LoP2bX@wZk&eHYV9~h-jL+JG-~HU4fzET zC4S1b5s}#RV?mQijV*_NFSu@NXcdbMO)P(e;7)07--gtSkny24+q+LSS@EI$3FDL9 zapeIVFo-5Pf*0A)Ojet?7+HGT|J~Jt`p??;#eY+5TL8&Nad0Z^>-q{Mk1fz0mGSCIDo?3-c>JDx9KGs0EGmc_TF1}Ue&G=Sej9-0Om z%0XT>QftfNgK@_v4|o_!lG<$*4x%-NkU0kkf(M?y_xawCcihcl*pj~)U|*yDSS*@y zB{YT=FqvnUkv#J7$Ce7gbtI|bBtY`4*)dya^sLLH@V0BL**H>N??7rP-c@?DKN|H6 z*Bp&~CZdaX;>-CS4$p|8SDx-W3?~D`ARr6vJ0<-cD`+Jp9BvfXyOSM7)E%&9_-Rr8 z<{xn<|7a=i5ZBvB`uK9}d^Jai+Pf>pk%E2NrriMtn56G2W)P25HK6PYvTCnB7mC)r zm=GKLYJ_FzVQ#z!P-rgkw;~s`h<2*ttT>ciLLRk`)Y6=CQ_V=YN{F5Dej5M|w-%et zmPWDc_$KjkY^m{7hwUr9b)ZS@Gf{E<)WMFHyLGmN8tDEMPcKRBD~CK@_9Z))(;yV% zXZ!+@sbfxQ4rUDCpR`Xt$8Ty3qOh-WLy=bmCEF3SMk7)B)(HE0&~_puC*|_4WB;23 zvlFV-+C7B4F2BJL^Zsnyzmg9?m5#=PIUb1~O4t`OTy-dPEv`^^b=cRI|I{s87`e-X zFu@XBhsi7g)i@oC6w{0Ex)m01u3j>Gy~!ybfH{jlpwsU|c%I1I2F37b@J)@9X;~a{ zErMIb;83d!&?J;yHq&&00I$*?rCn^3kaSGl1K}F?{0)N2yu%3ftKb+AaFEE}tJ?%W zi{k+Q`Vh`tsNqb%k{>O)-o~a$7~MtIzk<* zmj!s$$iWA0QXO6J+={q^8dSx=Rt`3= zRh>{PGjvm6<2(Z*U1qb0U`m86R}B%07E#B~^GqZPvWT7nzdlj~t*`zVs0#-PKJT!H z3nxDR-9Uk5^egrwdM?y01yOD2*~qWJk6Ql}RIpzAgOqtf=~qCHB<|mfQ$=mQH+B?N z@<$|0$yZ$hg#(GZ!clF+V4LI=O2L=mMdNe`oN_Id^a&aeW*G&|f;tFy~pO9_O@eU(XFnvnv*>! zGM!scCvhpF%m|Ndf?o~m_txH=F~54aCbC?5O)@6Cy8Q5ArE`RnBrV8e(LMshJ?*P z1^)>qI0c4zHg}8^BNmV@Ewx51hzpHocNiSi$Pgn`_eNMETMX^3C z>qT{y5D zlO_%YcT_h>XSNb$F#0ri8oz zTl`XmF{tN&_kbl2CM#a-@WqIc;NXq=+!lxJx^K|Ap0CcZY6}~5ehZk;gHTy@ee5?D z9$0@%4WMh@`NqoJ$YB`M3p#pnN0&h z`cBoLYnHHCuf(fmHC2#sfZ0l5nksi#DhUGyy?uZjNAI`&0|PHbSJ96Aeo6n!ATEZo z=}4NpfR3&_=J{}PhQjKa_w1yw)v1kC8A)mUH6R-kwbDV%=GD5ecgd@hjG+{11aFnTNPd{{0*_2~2;AoSCE{!XZvX}PFV z^yN$c(GqW~&A`e*xt74u#F4U8e?bt|!RPxMVN{>)3@L0XLI}ht-bB*orYc%w{bdI6 z4Z!!DZj}M+4C$Eu`7OC+eYz4VXEu(2T6CQL*5%^HS{Do=)_8UKhFsozXYx!SRn zpT{(zx3b2)$dW%0bQn4|$jm#aYN);oF50VNv1=XAkVQ8X)EHc6--3)bgK2ouZmz;X zs^xT?xU{g&EiJ)rqsx=nlN*VrnB0U~1AGYubRX9-WBcQYT+p13-zbqG+IfZPAj{fx zyG-ZN3d!H0cv6SV{W1v334xBLh+|Gp9l9&W&XHdqzH62R^vjKe9H_`0b*B{I}oJpFgOqGCQxWjM5rPkB$d#ugbON;@c1L z7+tJ1!>d2N7cl!d=v9;UQCSCG@IVLVm?Tx!_IAdyILFG~!Wp{$v+F7o94z>58hXi( z(IUg^+t1+c?AVep=-@?WXMf;rJiNF}3FGpb%QSSKCjS#+L)%9kv)UeqbK@j8Z~Ixh zKORG9h4~vZJyEhBGQT(N$yvU9A%)phh3EOl=m$zRC6zoSIAn>LW%#fGA)tg5)9sx8 zT=bnnRIL)}zc%l=pN65H^~S}S^z<6C6!)z_azwidoH8X-E>V}dYEg7Dhj6=V+xR-vcm?&eCtz?e`vO41Qb1bJisDqqgXmVXZ$=2 zF(S!WZ(22lDCIT^zDiZcfQkCu2Cr-VvboQjoChd@~!v zBGfmj2-C*ToBy=I(1)C~;QLhk6#FjWXoNOu)^A~b! z`Mw$>Z$FVGhGpdi_c0L!MFaoz+LTzQ8Ot;0&qBmWpLF=%3@R`*ilO@$TDkqmJ|3gs zv@#h7x~yrcdeK-Ru4zS_l&^H)AfiSR@G(+;^uw`2Kg{XZ>GB>2Qo?|k)%gyufAYK* zyY>Ox(p%2hG7$S;8`}Z+E21BK+P^gONXWJ6FKl)winycF;-Z zK63k6ywrl`m>$nK>QIkFQ`me0QW@1CmZ^JDcLd*Y`_t!`zrVYj%x$uZ>vI_|{4(KM zu|(}y)Bs#q_r2=lMi9*o!Rub9pE~8yN@oVRCWeK8>$yB`Pb@E8Q)smpkx;}1Or~R_ z*xU;4l)70*r=4$5&+c1wdK)bZ`C44U=Fq8#3;|zHMw~+tg;9%ywUwZt#GKxXNJM5X zx=h1-?UEli3 zOeFOx1bgUCD?xcUCK!I{9!b?7lH^COv_cwK8Sx30Qd5)E*&0`>#an=oEK>Dhx@cm{ zIs&2<^CA*OxUwRm)UUx|5~6xo1_5iUoN75Tc3Qg+X)y6kr*%!3Zh;X$jc&yhlk+ib2w;rj_vqPW) z)qKLO;i}W_=s%Srt#xW|l3@61yVP!y0N?Tkijb8J3|55YmB zso~qr$>J|Pqmd9C26SDF9ii#ZWZ@wgZ3SHP^bwt7N<~~u83M@)JOxh-RjHd((6(Wi zr8|#;6+Diyb30A(R6lnCMaghHOq`Q;4C`wVzfUQaT#``D^cRWH1> ztkh%hC7U7sYDUA*eIu0DQH}cPU*CT25*{jW)}&!yvrFx-Cz)I$z{rs0E%C40yIa<< z8T0o=FyR&i$lc_N{mEzHGzn}eZ-D#_+ZmD_dkOocEa^J?c{BxJ4S+3~Ud3so9g zKh2wTp_gZ1`K&)YM3!{6=0!mI9m{4$b(y58+Z|n*7|-rur%9A6i)6_vE*&2JW{})2 z0ZaQAh2Zc>k|4ZUk^si--^ljgya~T~og_K)sw`&Zy<5qS;t-bg?Go53^j0ZBV5pe8 zvFx{62%wO|tk%4Cysn@cFkcLTg3OX3CG^U((Q#UeMv%9`SLhE}0jX%R91INSV%^K; z7HT#bvI425#<`*N>3lYjZ*YI>X)Fs(hmzJyZCu)ogF@ zyJYKpNr zf{?DIIylE%X=I-|TN5s2CC%oG3UHbpp1IyW6{%$u6Kkhq3P&G<|d`Mzx zdp^W&AJJ%$?($KqFcLB^^XXYuQOsQG5=vuoO?WYqgJ}T-3)QhthUVjFS+_P4E2mzQ znE|C^ymqIQbbuvkrfu>Dua|u9fga_GHyK&2q?KA`gk|JKHKaZ**?`vC1Upg#XT)%2 zrVWh-{Et^guSe0<;hu^pzc_|Y7MW)BL40Y7%6530rYjB_sz90`$|pW6>r$O?PRKF{ z*S(bRFN9kg3v+}WK}})qxlX?jS8zS5s!D=MsvpX1N5HeCw#t5C9dT7H!-z6@(8N1J zx!%n}ox@B{Q?qECXe@DvyyU@c=~9!L&$;(QePV~I?=G5f)paPwcL00@`Sq6NVVx7}9w%V+HQPI;t36UtkksMx1IAI^ASM@(s1)@U3wd z>sO`n13;}pFlL>>pdve5R8d~1%yy`RVO#BJ@LrA`nAJjWEm&l9_pbQL_qr`6O{}Qo zE?gU3K2yY$%;Cj#H=_LDnrCT5z0~(7qqb~I&T&(u^i?LE2O>*1%WRiQ3E}4f)$vm5 zmi(bM+gR)Gq;gQ!vGXbPTYu_{bj0?JQ3j*9EFeQRC*CIQMEYHajQ{)8A%J?Yfo7_6d%e>LH`@c21@F0SBM5)Bz5yF(U!VQ zFcS}SSmX=pspP&bi|i;*sHG7;v{Z6WA$4U!>Cv93aUE@BBgvOI)Y-)Y&GvttEDxdi zYmBB}MhPyrD{F4bZ~4dI`=$=*B|l$RfH4xYwEFxdw=4(NVM)uUd(+pYs$HDbddmC z?$X@FE8g{4j=;gE)miyLGfz}Lg(bW_P-eOKiUJ&>Z}dI%63j{MVv67NvUC|B#^3CE zB`GobTzY6(1g8t2HAZFNxuQ!cVkSxd@`x~Gq$)AisYQKp+IZ9BQ;QuJ6UTK2ta-;U zo8H}9xZxW}2)I z0!l4RMT4E-3_(SAr71K#9?>*Bhgv_f(qp#!tY9v47ivv6vC7qU8>l&{y_V?hCsfGi zP&W9!!@jjN53REX$|N#maU`DqY>YX0o_xDGryd9=~HnIdp zKMr%hZeL}oz!*?J^@TUCwWI4TS|Q~g?L&>CWv9YfKu5WgzkewxhsXU4UJm0eYV}u_3Wkm3T{4+grADWBMEiUiK(94 z)kNPOGE8Jn`kPH+4e9|MjRihO8CRWmp=A^2tF(OJB?N{k6anTwg_js9lX11%8#P_Ap5wR$bQa$3_jKP zOx4`cZJ1e0`mvF?la3tf;B)|u&i%L!GT3%SY}60+%21Y>F7smyS|FetkV4p51XXQ8 zq8R^4KvZIV{d~f%hDNjrYq3|Tr6`-_OI#4XxFU*8SXC-3yW#ZI`Qy(G-mxW{nO-}en9cQ)}7#lmC|(-G2tn~ol3*Ky#X3NVJ~ zS!@1|W2DMFJdUe1Eu%b461j6a{2;vmmjrI6^g~7uZo==3qGCi;>FPyToWFx!4@rFh zlt^!8ljwH6Q0^g=9OCnbykH5n*pE!~8I5KI@kzh&I4tD=S$uK@pfx%`#Ly+6Wp+#D z;ZG(x%=lxJOg3|aagfGe<&2@9iY?b3-MN9ACBK!=3yYhHk$IDt)|(%5lJMbZ(Uhl( z9i1#st!NkON%&OWT=NfurG_q9bZYBp{|`^+7@SG8ef`+BGqG*kwv7oVHl9pu+nCt4 zlZkEHoET4%H}`*Uy&v{jpSr56y1J{+UTgnOLOHHMWL#3IUVgQfZ&TA@O|e2h%g|We z_~A1=K}0h=0j$Tja=-(=ml*sds~Rq})^X*nivwc3G!8v06zX$l#^nrSsZxy+)<*O8 zjAGV_R=o}LwXou4Xb>aSPg9{ojY1&>&m!Le{0P)->GWGk(_k(%vM!a%<5>c3b}_(w z>zynB_2WYtwA@dm<+vNZydX`vgAykEo?;veVPNu%##hBM7Z7gw#(h^{ht~C%fYG;Q zq&x0YvyX+AGu`%f*$d%bI8xFCx#oH{3O+-|pL=K>q7>0oK_!pPhK1MKagZQ5X6&e&E3_%E~9~*J9}W z&&#c!)bS9t{D6$yn5tTSE(o2tGIs#y6yHfl*1!ebB87c>^4Df~$ZH`X%rUJ>tXH%Jptp2(|eJQb}799AGkEjW!flxm%)`g>X}SwT%F&=11}FRay2DTC(7s2($ayTqmA z)cky~2f(8R)zlvtmgtLhL&K++u}yn!U@#fqyH`PHI|q4A!&0qqcaE%Opqr3>Y>TGG zqG3u~B`2R{wWT11nkZgU&C1K1MeikPe?KqT-R+xy`;WkR{SF=>raP5&-2AVRz`Eko z&2ee=FV+c$#jFz6{!C9D4qJ%~dCMFE9@aYUbAX2Xdu(H$GO=GpO_=F$-bYYA+@#e> zJJvtHY9dukxOlwf@Hy(n#wQFHJ1$o6C-8X`6(COSKmk(lS;L*u*QC-W@XujHR-U)_ z{@t3l+z&n^;iELa0Uj_C@*l8GC9NaFvFYs_5M<3yWM72y)ssK!m5+z|e;4l57eHlR zPXSVnlLB5vpJEAbU((;PuRdCLHifyq)5&ZhY3`5kWU~w9 z#^9X!-FVgACAkoPS(pi;dc(PLcjSqgqM4IR$Vm79CF?pUJsYvTF=a5s(8v#9_X{0> z|JO@vDE&);MtqvdQMti%el~3#P(o24MhYM>SjFDS^$k;S@bhEo2*-?^>nXI|xdOj> zrszHVc`wo4PKmADXAbXXO_Gp4{g=RI$EjC0Lx*avs><+LE5P}ka5>?3ak9ay(Tr6X zzDK8xa}Xpls83JjZviSzZPQ~wHD_Zd^19Tf17x4~FX@vt|MXEB#FJ0mRDmxL`ZNHm z`+z68#SC9sGnlCeoR*61kH3z4XfW-LuTTmFNj-}S$!((b6UzE33g4f_)&geTWFr_) z72$o}gNs;5zhwUaOPkSaE`Eff!(tp12YX!;(hB#>3!%-}G}q}Nw8GADOP>*|IAi=#-X`E!(6KxiG_?E*J_QGfDV0;{2)h9<0oZ+LDXg1$K1cpJKV^`h%T2gZ^IVP1 zyQOkV6&nk6Z}-cj5&wNfdaq9(^rye9BaY&^95JogaOy*{%Z zTtW89SMdPDE^(2At?;S&1d|_0r(Vu=h|P>d;aa$AN}hK z8w~9c|E0Dd#G0&1Stpqy@Ducj{)zMbce^SKEj`d*zT%QahAgZdsC2<*|P}1>9+=u zo3|eN!4=5l9nI^7fC-*3uMJXk+diF^7}hAzIZkjHw6W#;G5eD>%^Dr$w6V-AuWU48 z?OL14jOKKcZ%BEk07?K?n+&#@ZR_Y{=tSy0KR|U%J9vX&$9!*EyA?7AvXTldUpp?B z?gc8CFKQ~~EFBSPs=7$ZH~9gPcBy}aXkf!eEr^l z+y{2VsWqt#=J_RxT^d3+|3cdjY0U?H3nH9ra8p$4mAqIcjcZ3uT(1wXdyGMq#lOSB znl5@f`1`+w2HgdzQccb24>B$V3A}YSaZV;Z#nJMSH*kZ9<++Fyo7ZP%EZL zGjdE>kA$Ga6w`8wg~Kj^_Q7#Kj%zhxg(T}DOZrAm3Ek{9=B#!R?t*=V-{1u7m zrJYdVMjb=Ev+vz5@`MAB5@keL0`A+1>P~7Pqkt^QG>c4|R})6n49e<1dEio_m!U$ z+CEp{kh}!D^RACd>){Xh+5iXWd6)@M58roU>Ttr2IrT} zRc?VW>^V10sKRQ=?wXu;0nJ;bGLcv`!+lk~e||O&fU_HFmG%xq6hxzS5gV_@uk+!y zdq5hxg#HmnMbi!NwX_YbK#Drb%xBOp%PlmiF(Y%*E|bp0Z6G6pCQ4S8m`R_&=Kd`K zit6b@C;j$d>*@3LZ{ueB>$cZl*Z=Ea=Bvg}LlN0^$a7{d#f<;oB!}jd zpF(?UVj}eq@Iv4FBYp7aW+t?y3ADJvQP?^&)!=d6$zB@((c;v6OO4Etdqt;3^@Y(s zlhf8T6MPi0Cjnf889o^mK?N1Jpt<})5aNIte4)IP=4BdHUkcLH^1WE2n(5$~u&n_% zyB;?D)bg-s*25Fwz7oB7_3LSg=F_~)pBipuACm0lHR({haa1L@e)b?i)rK?hQLidW z?>0KaE1)jGCrV4u5N}M1+8>x+_G*%(tk10VkM>&1Z7DA#I4@9lxwv+nId!S6d#QiB zwbVFBnzlpQ7QT=%H68Y#l3D4Mh}JZ{5;J(Q+pUnmo=*j*XnJZg4V2=n*Z7gfPAZI2 z^l!1Hz0moK(bMxOtKUws>XKUytA``iQiq;tI4&N?tP&}u zTPFYj^u49P$mA^ey#YOj4v9{l$dvs-meR$jLfS2^GWn=E^v-(ejE?ll=W_Da`;7dX zlACk&DzHd~rd-7Fi|Fd$;-lqZN^q=qjmnhkUHru|j~(^p`_HEEQ)UBOkX<=Cx~3|{ z^q$<%OzSV8&{Y7v$~qM{2d=rV0lyf1qPSy3ZhBBEjghl-fU&4+GHm9FmP*rC3KNpc zhbHd0wD>E5|3om@NLETD?f8+|#=plj1D6#WA^R{u>$P?k8_rNHt60W?w2VT#G%1}w z^6H^yxpY?naxu+EVP%y{a&{Ne#qnl0l4H3;BlQsA78?(t>82SF4B0!t0y%PP$wQ|d z8s#7I6N+C2hnvlDKhvlnBhZq%CkK;zP@;E$4N@t&Z3ZsAZC^{ee7=QzAZqlS`D*Dh9`P3q?_TVskrV;O*-l6+;0Snbc zt}RNYyJYAX19o~%oQ1VPV?x3~ZA@=SqDgr-*N7-BC4>&y8=^>bLw8tuj~B(O4j0AS z_80#o1gfFevlqy09F@e5B227u%#hk%R*c?^M&b8AtRW3dI&*(-sy}z;-BU-QSa$$0 zo5h{T1K6@?(>a3hD|$s~gTs}T^%`15+zIZrixbE&608u> z2F#|tlwlqR{*Wgu+?BT)UF>MsiFev4%bg*#9rP81D<6@th{mG&x7^s``RgDvGM>Xh zgQV;A%gaHhYdW?|gP>>2>)t58c60%iwBh7>w)h}w6U(}gpcHGm8>5fUHq`?5)fPEe z=UKM!)y;N=Z5dbZ472E7Qu2747XPB4v#RhLk|3|+1dbxD zmC@s-6IKzr>6-XK8&+=_Xm|d6UB1ppZ}y?IyUL9?nwcJAjMc%mwC6c%d~5*({#6L$ z@Sox26GFY&er!b3jlAqo!J@`$R0I(5MI!h5!1x=@l2Ufci!EoG)Zu}TquLL#s8h5Wq2R-CM0wZ&k}TY0~FYV0kbd!4+BE>6G} zG|<&sdBb^kkrAA;*5Wa5Z5eYv!UoIg)@+MO`7nltESgI)sl|*vZo~0udGOHVL)UnB z5JJHoKQCh&dG_@yuh_ToBpmcCXB@Klx>Ihr03_;!{eH4vea%lJ*r%?)u3Ix^iZs^~q%JP^)YpIK zVw@CPT_S=$p>|$F;$Oj28{QWm${QW<9*L{LtCw-*5O>Y;OQ#{#(-ycdfcI!)hL_#v z0;o_-&K~o_leDH&R0-O~Bw5D$Q=X6ecMCrh1-Uc`G|ycY>;k$Q79cQEewI?@Yv<)X zfk#i)Rq|pSAWn0C+w1P;3!F<=$*&zg+{Py<)Zo9*97Qm;ge9;LEQDwCozf(zL-F#j zY`ukqlWt6v2_^e(QKa{<-e5?7(T};G0jR;t0Abf|T@pk*AaLnAZJO-yFMOtJwtRMw zE|*9}*}$XOVst34KbyW5wJQOj(@&76XmXQkG8a&cd@)t|F#a!yt2D24n>K?!q^jn| zA}w|}o_lK{mbUc2zGKt%l!78`o6}D^7u`MD-wdZz{92#I*R}rRSm`;0dBj6l$4w=N=wW+A_SX$3GD!~j1RnHUyA6hH*BwcDpMO3 zGoP~z9ektIX%;P5BfZi4>mb5_BYHpRc;D3rsPQusfhy4l)jyoRRVM112KKu27w;$I zIkrLi4(Rc?O(zd-+si!kB=y>6KBni@2=lUu1bE7!KGNo#xxT0tgsgV)W&p z^rw+SZ(fI+{2|irX(-J!)ckKs*z5InBM!x$QpvM$Gvg-q%ElXP6E%M=;AD2ebH(Ke zzjzW_^s&Ay99m<+ow5nqkTCQ_XJAgs7j5)M1A2s%Kqm^ziyDWkFun|<;=`I0{_hZ} z16p_-3~eOQ@z({2)l#&CksLzaT@mU3Gv@pg{=wN&O>`rRRc)`tREWg`-`Q>xgRmy-&vi83 zJ~fVsz&9ql!h5P>*e9OI;RQO-MF)eLm3c^Oy%n!ri(YDkt)LqafEt?znErPi>H-Bc4>GMTABpYuov-`RBlQ32(i&s{z(T$s&~8V0R;`ja-`n3G;I zf&IPwD%(@HorZ0prd(D=$s}V3k@uhOFI%hQ$nlGjXu&viWDlR+-Pf4>e>p(Q*_fY8 zdwx+3!jy~ed74zy9E&s)Y=M!?By*OxNtRx6;2Pd%5O&>Q^)^X=r+#3=ld~QBeTMnf z&6GJVhIKNNRH8wlQJW`2^s7jDVg4|FV~Ukn0*q|E z+jGP@yw4uk?_l!ZbMkhz`W#v_C>AULj2V(_rkOxnk}{_=06(Z>`0PLC5xwj58T?h> z;M1uV{A~D^-Frz_i6bnGTIcX}32JSQAVy{?1Q{2*uzBi`TesKpSSW8xQDs8FzkXNK z%6BTdFI&`qJZ4sDcEFl_7*OvFC>H1w?)KmStr2B(hUyLBd?d`-f~lnn#3wb+&87}N z-_;w4y!$d@0JI6dv0P_!?#iJ>syk$w30;7>Q7Ux90uN`&WNf8(@_sgwhZ0KUS%#(i zL1!54M=C@3-wc7d3NJG1_|%Wf%}ceu|>e!KQxS(|1A@>vgmPJx~G)ki%lF91p9zhHV;(Efq-Z;{-KbssWeY#Q$ z3J$fPp6m&7zpKDkG(G}rU5gJrH$&WN(9`qEJ%_KW&4=+O$)C&$2t3(WkDScF$eubD zxmpPXb^#sW{Q?l%HMY|A#bz#9S97S6+}{9{Z3z|^GJ@lpFAbeh*LI;Ehwjz^6x*&p zZG%(47Vkcf%Ww5m;ATcgid9K%U$J`us+=?zfX=j&IrnDGbt-4Q-=sF3Y#t*W4QIFI z-aml@G8N+esPZqEJdvQySi0b!D`W2|R_*+!Po{%iUL@{D>A>Ho^7MK?TFbgDcT+nf zo#SO2U`2I%8Y?256hD<~+U2%NdGj6&8_z^EdBHOQMS52<`vQ^V9Igs z>yrpd%uqi!X+vT>^E6QsRc$lzE%}q6&P}U+boY)Be}H(~y?#f|i04P%soI8{ta*k^ zMQY!sF;iwnMZB`>pO7LmhF^xEbB2wofM)G`c7wRzW+-?{%|gi-A&%r#ayREyzi=si!n{pNZA=G~+BOk%!|#70F5@z8r8{cl6;Sfx5gZPAIfO zZ;a=eOrvT84&QC3zJ+)e@viA^OV$~Qp)BL65w(2L{y}h02iarTk{~C;X-imafEX2s z;;9wV*0;}rl^Qc0`vSK1Qmlvs90WE}Y>Xs$2x=O%0?WcsS`MxJFZErp0W{XO-U_4VM5ZV$H9q=XZNTf@ z19WITU+aI1RzEmi@~*1NR+UZxqh(YS%`|8XHhzJDhzuQmTBO?a}=Fl(e5IfR!gbJ03?A>${!l_l;(E` zm{)}Dx%*ad1VEvUp(4?Xzb*3H`Jf$|5~gbS%b{7MGN#E)GSNfi5eaqVENDsOlBTQd z=c0+L>(6r98u!s!+wRO(35rwMKg7}?hU%*nWOhNQaA7o8IN{g%lVg{tah0c~QZ#u@ z=p>gM>OHRn*x2XS01?<-Og@A$yYTpw&haoFmB*5b^_$@4EFaswe?~v{ z9l)SE7!UHMl(^b1KA=76Mr6AC#LpejD}v4*TKQs5>qa(k0jAPaOH5VA)wN|aoM|9i zm794f2qj>eOAKI`)>wo&{;6&&?ow`xzu5n<-?p|lPdm# zl6)Va%J3TzAe5PU(!f}E9N8+?yS%*@4wHOvd>Z>?2Y}Mh3&0G^wnS5+|9vSO+VwZe zt*!D9V%>5KqSOH~M`CDCHLV15RmuG}k%Sk+PE~B4Q+E3bPE{!uHTF#6RV)~w8z|%)$>+~mFmoLMwy@%MZUAm**_6Z~ ze?)awUTgE&`w)IZRuV6$6h2F6fDiBN#;4$bM;z<+=9v3B+eS2XI;b<9mSpX_n#Bcw z;0;7Rd-O|!`OQycBN8@Wd$NFjAAP6A-I<%M3-~n6=DWP~&a7V+B2k+XpV+wA(7RJ= zZOtee^GUBC^*E;O9tu&Fvm+Qwh;IZHQ}N7=+F7{BNQnATWV^-v+ruSv=gt0!s4-)7 z|7ratY_W*O^p*a-AE^5kmN>m4I#H7zZlNX5J602}p)g}5w-Mf^ z4{$Ln^{bBI;)!nNo%Svcc6#LKYy~^6T;QmkHqE@s3_H-ezFHze$gGJlL2b<69_p3}~^+@$pN{`vEm0POksfFb8Zf^IBro2&ewzK~NTmDEoqur+q$odzrgZ#MF`;%W!V&R%tPVM;x0^k-0 zS?)uxxMe1CP6V&|+y;MMLabS$#G-Q?#p07}CLCOiWk>@}n?5M-9g3^O1_6IBdmss%FSCm~{ zkPUpwl_jBD(8HA6kGZS9B4e?A2S~533(jZ3kP<~?fJ$EB?e(wxdINE9Fg>?B*q7$x zv#I&x`Og>ILA&5>MuqErMv7rsq7WTIGnc|yge_EF2LX>gyGlcssjTp@;XW#NT%bZy zwnEgY>~CsS2nC`Tf z_MJg!$+M`{2J>o(|EIC+c#g{|T`d!IOpKr!slqfQAVrnH7Q+@_iH`HyQ)~ ztTaW9#{txxJS**RG-k$R5eUZettloKcW}ku@+6h6=<{tl;RW0F zw(Oud^s-Fch;yM|eAl%&SEv1e1qZtAE1PYrh(X{diUa=7nyX9cAq$NOJxIL|UpM`u zx_=Tq-lc}!YC-=1ievXg5%o>urY?|_Oj}+M@bLqaSqu(_StA0*ICrtH! z%_pdK(mQL$iW~+FR_=JXj%#f1vh|!+ntf*#yy7zXPiB1dZK*8r0$6YU=Kp&G3Q8cGzg5F~w5zO}?u!YfR+g zy+qS^wyF<+!@ew5bLnu;tApS0m4u#qWAXGhw3cJsJ)q#y+D}$de{3>1bk#K)DNgrq zYsl}cjX;Wh$I!*>PPD}Y`~|eMrliib6dJ2aGK@;>C^d`iDE0q*YteTV+AaSIVa-RM zco>^^oxF;2kgLmS(JQXv-aU9~{Cs5^auHHf2LPjCN9DKr_z!3Fucv15v*6JC3sq`b z?No{}r1~{)S}UOE|Ar<$>vt&xdt)0il1OP0`b8N?IkIKyVcGrG_`O=9eZe^)p=XzG zzXiQv3c9tjuEgl>A;-}N0{^my&X0SQb(`1a0mr`U8G2nr(HWh*rKHFdoANGyQtJ9X z3RrheW&rTu9~se+)!SN-`&LH})nL}U-`C}~)MAeQ)tSF9?Uk;OA_Hg{ADTaoL3sK1 zOPKHCUU|sHgV^db@TjCKHx|5N4wfZi(f^X({+=wHgw}iJXGy+W~pMFd^u0_Irc_7g2+te)%QU{!M(C7~A6iheCCshW{& zvWABHqVt(57YuHiUh|PuhEb>OM2eIU&st4ekmBMM;1{zv?$XlowXBDr>CaUNM~oE! zFG*N~LxTIznwf;}MdXYzf(EYLD~RoldM=^Ily5 zGY=%&kS$}ydgFfF%zLeNJRf6?jci`E%vNDw5j8`@o=rbh31DCgp1Z)gpk;mThj3}M ztJkJmkz;(Mca5x-UL$4w*^gZV1z7&#Z0Sy)1iuf(X3YCKM%?W3zdJuV=>yRqq7)K2 zslIxGlv-c^4^P8N+UTO&tU!n=l!*=vC5{xvWyuliq{xM)2j|#!tSc3yX#4ZwYD(!r zXbz)l*e=>^Ku_q)`F>%hm*9IyZI?h8rSp$Ofk&I_U4X|eOAbH8W^hzG0Qy8`Ev&bd zGZPjx8}N4j#dt;{R^hej0PfRjpN;tv?!vSwj3-reS~5_f({iy^)#z9i5`mom_&txl7L01sVM&2(0Xupx{acp@@o;Lw?z>$rlBk4IBTPgbeMA zgbc@%Z$0=f)HfYKr@fRZca;5j7B+mvO<017OeZaHwkrYc(`H*RA{WK@Q|@kT{n~GQ zgmq`b-VmtDl=&HDX3xLk^qkQxQhSPXeUB!m*_z$+c4Xv2k5FghZJOYg4| z2!TnYGx-Cw*K!I-GYN;DTt-;;LTm5(IFk@KBWzUgHzt|?hW$18bGm$aGtv@4FZLF> zigHPKmpK?26oZ>Y%c39uJ=Tm1Rom<^F87D|fU$r36eVtSdAGZat_3RL!IDR9?>}G{ zZoPTUacf8&az@U-QgTv+igyfV=qwYf;;XEjsEvSVg&}E=`2-6DGzJ1W(e4Ou{5Qv= zPM;Y#2GLjGvFnT1sz4>iN+duV!&}Qwq}{}Oit=Y;A$s|YIN_hAT1F>e+6{H=?N^h! zCp<$p%E#fh+2a#JD@>{3Ll`6r6RKW!6;8lCm43H^Cw$ZOzN{R`8;6DsETAg8mAzw+tH{tss>nw5)o%4YYqWg`QLM2@Lt6w`pV#TRqBj(Q40ke!Uv;Q z0R6(>Ef8r)h3H*fR2TdZtJLxu6x+n?`7+kv^xTLM#o z8vCckp=dg0Bql$fiuSn)X_KzN3V1A3X;E~wXg5Mc&15YEeqcB?W{YY_Wm?Ed%;|bX)Ii~FAS|h~q}n`G zuYePB1?xJRS(zucYA!7HHjGsYQ^QT=?Ks_&eDft`f^r(alFkRwz@X0UBi%xQ(S^Xo z572|xtDm);?H7;Vog0P(=B=nJ{;;tDk){5EZA4n$7gXn#;dU5GikWe8RN1On2H#FMA z(P|b)=c4v#p>RsZWa5vAAW(W%2nJB&Y)LYfV|(bDr{~^}-XTmcXE@qe$8Doe{EjMH zjg=))Po2*6^=$j|NtTqFy*2=v1PNSsAu^m=&VdqakwR<$vS!wTah7VAV-n=F4lIr) zW#Q?DZuRD3Fi-fH7&s4IiS7d?9rz+s_=Wefj62+mLoCJUy^uw5q1?F$6*{(n zD8`MwwIL-?Y3Y1+g=s*@Y?fPrH$eeELwrlZ7|%-PSjb4A?jMDMp9ark$rlQ?uu&+l3^_}naHt8|v8D3xLAezj+|s%(RWx?t9u zUvW+*(Xl&|MXE05PI8yvm>G-{1lj;~OCyKsw^tG5Qbt84s!iD~R<_qeT)hrcRWbzP zY#w^A>}h?J)oE0$egMi3C{y92ji4&m2bkLr8L|+!!Jw@(#g*YaQsN{K=g>d5m0PJL zGPL2tJyN6Z@(awlFTRP$Z{_KY{d67I9rKWG!O@2Q=4kG7+7{t!1>v8=wU6-c% zVjME~78-N{{HzNi{AH4~j_3iyXe7Ih4tTo#(|(k>v%nV#vBuiq1cz@p39xJ&@6bnY zh{sZ6B9ledDe#S;wn4@7??lwFcBX@hwSiui=B~GX85P~tr^I_syUWK;?b=s@MTI>! ziWEV;kMIz;4=BOrlv&;nCtnd)WVo&axPaYfSP0xS^DyPzN3(&A9uNSEQmF%~_gCHX z`t4b>Z`vQosOthOS!qaRpAD)z85!-Zpx+S@kiwqV=qL?;Ca?GEXuV3cy5^3KHL{Ur zm?JU0fqX^Yhhx7<^hFvuOYY<4M}PY3I%e%tKUYOAev{e4VEc|*@AEB?<3_22Dx(_8`9HKXf)YVSD$et(nRgB;?i9u8D&h1Q>k;0+5o#cX|iq;E@k zmt<#y256aqJi2`*x^@joQD&5kNp9eMC8Gbh1}g@DQQ}!w*=~pKH8dfbfcb};PwPxg zCZU0wqKBKfhv&-Zo#$JhzuZW`9_qT|2B8I>U5e%2pnq;;0{s9yV)=@`hw36!_cBp~ z&Hxa#A#AEP?M~7&M+Hal7@bIhH!1z$O}|fn%UGw=@E(X8sJ=8jy>RP6Ux#6j- zHrUI9nJlR*eXXc6P#M>ox3E=>OR95 zaJYtXC9eqTA$-r1d}ACZTXD3*1`5Xpfcq>4>YoF52Y0e_Ej}+Je+v5MivIX4z9r>! zU)>+)ewsshClqba(3hW(>eZatgi~Vc|;am>mMpl=8yleUSvcZ5a<(cdPYG zm=dWr%IgguCz3vqmfICK@GON&@ylR&U`=bUM75!pizkJdeAgK4OMvpqhaZX z39=QYU(O47mp+jtY(;-&O6mnq>LbWIAli{lQAfLwQVoGh`p%(VQO!h_Znr5K);>L~ z{f$li^5ou|@6wq$nW6#XnX+~>*{*Wgj{d3MEJ{Nt5uW%st!y$_B#>K)uedItz6wACj^8$m4LA#N!o`^4#hgKM|>F&N4ru}kEo*@U{avwQs{ zEaYZrYCyeG^Xy6eg`*L@i3)vPU3bG1<~@I~6U?kPATVJt93UwVt6;}z_(7cIT#v3( zuN)4bOoiDBCW#q~n~_jr&!Cx_rm0UZw7n>+b#HnQ7noXj$$Qc%b&}q|w?J-ZFEJ!6 zwJ?j8X;(_pY3n)&Cf0<9Vc8(-1E;r?i3@ZWd1Es|(l zj*bxTR3~rj4G*22sMBCrO7|gDY;o!Tg;8L!K71A(8CsD5-*b~# zv27219iQu~bkW^jiYexgj(&i1SoqiA@f7tN3{yS?7lI1IK*c*Y3|gQ_0_*^E)p&Ke zy`893JttG9l6%QdC>HfWcYj|jVE`~*0>A$A5Jt4jZZD7#S_u@b{H$mI&LDwk`4Z4q z+z*}E9;)0hnX?3!G!F8f8WMTN)zfIOeY27`6i)Wo4nnB;&e^@2)oQ_EM`kq0ImB)! zru{8dd7MgvF6Qc5*H z3s9x#C?YeKbzpcS?Sw8H0zC0&0N(qF9+G6Z8*5h~m>3)+bK3ROSU(b$6iTG>ttzx4 z+1+%Wr0;(hDso_%6!CUAiIP<-jE=5#>3ar6uZJm3dnJwb8+B8Sp2+vHwZ-q zhkpxFssl#$?IqdLj9q;F3j89s)#cOVOjEQv~ zN(Eoq0}Yv4TIW|MgP2Q}P8P#^I}gPaz{c4#>`cT+$-^7WSgIn56BYXeFg4C9_cR2d z2}2a`3t0rL9&K(?G?%K*g+$CuS{$Msqrb_-zhQTk+FzR^(m*c-cjy77>md4hSo8Ne>&stU3Q2jq@4L1V0rgEy( za(C+Iyr~0cYOPli03C2VvTL-_o9Qn4SRyx}dz38`+e>nzo9)2R-2aKJCE#778`*2s z##VcGJ?M)v?iGWXs7pUv!2L z9sO>|LxLe5Fmp;2oiHzmL${`J^I=HzC({vntX};pliDnM^o?c%zODwTRz|0n22t`- z3L(Xr?(-QcNkhCnw`%N4pB7j|uX(LjsBfJ`h3NykAlkCuYrGc$y`q#GmhHo51gDK< zUcS`b#p$MuQ8L#(Tif8)@R%X63BAWki?u=uowSPxm=$6uNU;*o&tMUK=ZzB<^^cbe zL06;xDX~v=lv!iuv#-XwbVMJD(qjWdd!;6zx*rkxgpDOxg=2(HHHhFcejO!17?ne+ zN$U_OVmCHyNj_d_oNQEh%Z{Q~8I%_FnMlyiT;A!Ke?^BVycz+n|O%dj$fjgqY{))<`rK>Q#4aUtn zMn_+1P!nRyMxYjPcS^+VBVA!HCIO_nBL~*7(tw5QUH(;Hihw1tyDYYlql{#f$5;Gr zB=#jc)T!fiFC39%{>)+Le6vmMOM66nNu>PEH1=PyhJKiDgK$rqe8ST2wCK6d|ID^A zQid}!8RPDvkS(WI;aO^bb}9xzXI$Rnj(J13uvtrAam^pZBlxnH*93UioX2fqUX2C*(V_711AM>%yDUEZ&{cufkx1HpW{q^Z-{t&2 z)m;gpyN{WIsAbIydt)o{Q_!t#)<2@RJQvKp*P2q}ka9HKIW|$Wy=SIs^-9mH2tdnQ z$OHpSPI&-OQZ~voX@ru&(~6)W6|@$3d6o;^ZL9~Ime)UJQTvH+)Gvr3H{yH6XmhiB zV_OXx&Vf2!UhePp-TIM!^WfSBm$f!GWJbva>mNj=P8ik(Vw4SPdRAct6VRjQB2UW4 zcIk-Y&fTt!{jM2}CW2+OE}EmEf9g1AV!;6kZ4Hp)@|=uN@tt!A9r5#F&WWCaC3Q0CR zTNcWn(drde0RCSd{eA{)a|X^LMrA;PO7){d=+#mz{)2|$#5U`rVn4g?peu@l4IqU~ zh37e0;v!CS|TArdk4a~Rj^-zEUS#u3O zgA&7Rm_->!F1rrj^m6dEZm>jL5L@gjxT%h&RuJ@tyAb9mO1b2-9U zw$12b$P{^uN%{H%X-_-+f@!CmMRUaTgs7sW=%yM(b(&NOsS>S@kfe};w=2L>;m#Pq zQ=z49Wd2p)L#|B(9(x_uzhlSct#<&L{j2uZPj|rZ0^v>w{kVuSE&uj<+VYtv0Jdw@&{}Zsjza0A^W?QgiYRX( ze&odb@ZYPv%quJ+h5aw0czyWY@jkcoGQNlwE|xyHa102=;EveDN2BddlFIiMj;>!0 zb|aYGQF6%0Oo9uo0wa4T>H)i9-56|)#^coadPl%4T|NQal5PO+Oo`w+Hh*TAxUWTz zyk8U7iqSOtmBuRv$NaXo56@r|lR-n#-VhZJTLN#Q8SG0Ye=Usk7^eQt372!~Pq;eK zbT2SoVIM|=>jtiPm7l32MP~NUztow*r%B~_$&cENRtaY)nrd$ZtX!hAEQ~6Kh|s=n z)rlB)C{tK1zOn%u?b|;(8Lx_SPW~=?H18$iTZ+x8ZwSFR+@cuMXDPr^hD5l3AeE!T zx@=vhOAOoMCaR$`3-uI=K6mg!O&!k|`t=1Nzx?%h!fqiWC1*AMlt^cVp+IuRo4~N2 z^+Cz-*mB|bsFAdZ-L0`=B!`R)UNFXwGZ&-~J+}6=>sA1q=Dx%JDQdv*S4qC+ZaJ|N zfKUq7q-V^_wxg%(z>E6heoF7WvsyKc+PvpEr)0tmS}}?>aTnf6LADCocEYPolI?{u-A)yH6`U>Hi`ncsIU;O`TS4M(D6Y zxDTbu&S@@sfN_yd+Bz*k6fOyT66SlSs`?`oBTE4$b) z>U!&*pJ>fsN5Vw$qL7)&LnVEogL=~10OR<$lUi8Hd|FxW`_ftA0tKQadim1X5;or* z(N3;}N%}i;_Px@IB2`dB6NXljLc4GX%V5B4Sg0DTV}^s@+jWfFg{hG~C})4w`)rKa zu?N=gM?c2nCP8c$=e#JM>Y3r}uY1O<{laixVx80e?WolXd5Zt$BMJo+ z5YT0x5iv>%C|HKplqfYT*&2ei=pPHwdNEb-4GMEP51X0BeJ_;D?i=BE9>L#lfKHS3 z3XAh*G*#F^%El%az0sCu16Oy)D+_neE=L7W7v>@)06p2tx%(a5S_{KRW?UsX8!Om2u#To?X!{UyeIF}1?UTvA{CO; z>wzO&HE|5v_DYg3Dp~w3f-D2-4Gae9@X0|Nz?1~^j=~zT(`IA@^EoLY*(@q}HfJzK0!JD<L+#9T=FQ)&2BNBXo6eG#)QF=V`M!WgNQ~W=dRex$^LjhI{>M1GBRO|l z7g#zdZKq|2s*`HEw}rezGr*ggKOs|9eB1y?!|Ibu44$*u4wd>KV5TBtd8YJl0X|}#|l8KFp?M!Uj znb?p@t$qjuFl)qCyQzto?KaZCuC(+nIe zgG_uPvy_(9eO$%-x?Y4`P)|8ka#?dtbslNea>}F6Id;t5}kz1+s zP4m;>@pD{sUKS7PRd`7Lp5c<^X!A~%WiPZT1JuhT$IP`gn*O1l%&t=Ud+MdIMH{y4 z*o~^h&ghdl+IN(YM{mLtbwY1Xr2X^xee>R3E>vNeel$nt>2(z!xM!N#(oF?ag(1_Z zSp4b$B~7byt$N7hJ>cyKfj^&sRU^fTH}zF9%|AGTCeBWPxC3E<;};oUsg+yX*EeAn z7b2FWzBib8Cw?j1c?dTvT+BFX+vC~Orf;79Ob~Nqzw8;~{j*J!IbW-g51n46m#Mif zb-lcPnu3$zyN`*=0CU)Qi|ea&F^ zjCV7PYl=Iv&V-8Rg2fsY|v$F&BtO-Vv+q0C`6wOi^J(`J)U{V-$L}ajRscx&ia;_)ByJrY=BqP#xY* zn^jp4zRI5>t{ro&CR|19Z{HK!GEJ{?Vm@&33*YcY-37(YGX+OVxZu~Y|Fp{vE}t1i zAie+zW|+d!z&5(E<5RFEzQD4mBNtX$7QNJOZ+9&W4J$jccWZF0`<%9NdBwfD#@=NP zrdBmS)OaP7n!9;F@OEF&&x!uSa8r6O_q z51%CW6|xLR`{Nh7U*n6dq~blIvsn^}fy@s1mVsY5)7(z{gICAGm4|KcSt^9Ps7sZm9{SGav~bn5jkqK`Dm+#-G)lCgIwc_8QPEO7rC zWXVuA#-cn0nW01eH;i1bD~qnD7ntBxKxHW&Ch0ndG$i`a6|s6pLi8Sg{ROiXpsobc zAA1_hjCxjl8gzY3aFV0cw`kwdfZ8J8PweXvf;vI_e$lxPcJ zPY$rj`=zv`D^TSj!(Sx=P0LaevxIKxjAKX9wLri*N0`QHk+dDqxXX!OXdi0IL+o7z!*KKEiy|q6 z$M>O=?p^is?KyOtg%jKg0?;iYx~bFxX7j-vx_ix0{?z)edWWz504Qi}m0d5{b58DT zJkwuc={9Z9buQ&cY5B|pTVyWeeuU94plu4jx!ZQ0gGiJ`Ks+NY_?9^+>SgXk(;q7W zq%J(A zh1uod;L!pMds3Nz1axd3onY%EZTFABqOIy89`b43eiGO>?C(FlEJMPG;R4j!qE-d_ zPS`Sf0g0jg`40IqiZMy(j{b?9O7yJP+~i-4D|COwKkXjM6daLhM3a9x->$)5Kvel% zijOb`SLGjMsFlOPB~aAQA!$U&fO=|2l7OP}X7&KS*0i+%lxHv$AWUQ1dX>Bjx5`M4 zX$-z(;R#w<@A#6JKeZ6NWMM6GS7|S`K9dm<1!rR+8pmxL=C?=PhjNjjeMa+ z@YLJA;b3E{T6;aeAi2ZMilohq zI_`E5Y1ejGIi08iu0IQ#X-#mM$W%*Z4bcRoX`k@5F+C367|uOgb%RqhkGmi!@c zP+;~dd|{<|89c%2CEJrDvV?!d;G`R|<8))0wRtRR22)v+Jc_Ek?reNEbmw67GNETq zhm?Z?+FmZbj67;$xL%fNCRVi(N8?O>7amMuY>Kz#TQwS+%u7gC_kpC+o{)8yHougw zJ9&|#Lmegx^Hs6QrY0~OTHsxhGwODw=9L$sA)8K8V#$jn{z-5P-{CQf6%B;7$f!cH zxZ-=Qt+6BKnw>HeQ~(-;LP}-J?nPifK%yjSUeWaSIe>I+&ajt z(T&S|ak&$ghP#e6S}$9HH#2ZDDcok6z@lVlGZ+TiA=pK@OXNTkk zr>MqqbrZu=*9&8A5w0E#V|sX4pmC)#AmuFLkRM~L_6mYmY_o_ufpFhxT|^K?yG>5x+7IG|0Q4n$-p8_ z5^gu0z3z*#OPsAfTR#V5cd=}64Ek6#2V#S`o}gjvn$5SgpL?0w(98x znETY8V5{d$6hFZc6m#X9ZcstXT8~?~jCD>%@(Zs7N-~oKH{P#v#n|JHE_vOpQlkz4 zpKOy+b}aE+J4KP5tik-Y1G~H$jY)JEh_gGp@6)Q=b8@|UeAgNC)!TOScm*e*d{^Qz zT0p-&-+{Gzt5lsY81(>z5y@h`5>3cj5mrNu->L$qrL=`+x%hk1t8#ooR}pe6m7RkW zOjW*)mY5RKQ&mT8;b>d zewY5hrLH=*Ddx!rl{&mP-|0jZDgu&M6(7kkmXC=zQx8*3_{%{4dq@bq-26;hQ;8qj z961oJNf;5;C}xrap+$3_jqc~rq^I)z2komEI9iW7~G93_w>AyDGGY2d(SI7 zxMYWVI!UY=yt2F?_f5AZ#!lC&-hovFv-uj^Av(L$chuf22uWT@PK~J+dLba}CpG>& z{H>r*zE7p_R*ByKOa2WTJG$D#*b+LmfZ+Cr=C?DwX~RYB)$MZR@NC`M7>xC|uXPay*~gD=kmy781l+MC0($y!$@kI@Qy{>&|0g4~~e z!Y=cGT>^ytFQ6{p6KHB`Y&*G4Lib|Db)fLYSz7URYa;26BA{~<=w} z#nyTkj}BW*b#4zx6Iw_1ESBc!lP=HuO!KqjC5zqjwTofYZOY=wNBhHPLJ+8R{fsG4 zjXe}Lb+|vpdG)+k@isv3=csQB$v*quXkT0X;MGTig+e-+a>xJ#E)=wFZ8X_oQ~6=7 zYDVUZOw0?XI_mYG-i$zIm6!^#K-pmkcCu z=D&VWHZU=L@}J*iVY}a~w~^?01a#<2s2oB61Z0n6JS$$kRlT(Py>4$Yo24CW3e3OPn*Ik zx0pd^UkM2frS6unAw)cUCQh1{frM1%-_{Y(IhSSQB71kq_b(iMFdEprnl6Tq-eOLw z-iXJy{LEP1CpZQfpDEWFa5PgFN-sAwo2rJ$)d5Q!k0ijoBsY5(R}S0eule!dx|L$o?E z_==b9r+CVb-YL?NoCk9PD`qrVo@%xcJ@19mmKP)gat9szWY))I&&HAvOV4v6iFRzfkj*y+h_zX>gC$hcE`Z?X5622V)LXoOmwkE@FY6;v%Mrt zMvm$G6(Uh4OJb2c_Flg)`c9Z80A}i8`bgLfd=d=n17{Q-g+%G@n1-zu8vPw zO;eF{!X4`y?2npy3PvRZNR+UZwVNC_F@E1d{cfK7XdUS1FVz`1wEC7f6*08ER#A&@ zBT4|ohI&Z@m}5C#1fFPXVQzf!hpk?S4mJ&$X`C@D-_P&V8rXEJBCE{SzZ_9jL@=*k z#KCD!^THSFctrCbyhW@yyh0QzeF7W6z^u<{Q~kNgRAtN()uRb+H6GJwnPy^|j6ofj zqM^v@ggjd#zUrn_0$~tLw-NgCM{a0n9ElWYjSxKnJsM!bq%>(P2-53P1coU3gK%Q5 z$$+TIVL3i87ZW3myJq#>i3}8Tmzp~B-{a_Mc#rb~9u%LoIi4Pa26|Bf?+W5waD-B8aKY%|Sz370pWY{_j|E3=7N+t2svHzY&)Mi)uRdNcP z>lZ>-a>Jg_hEy#zk+d;-1wEp)@Yu-o(I-4l8hqI{-hCpAl&>9d0(pc}_=i#1t4SAa{+p-~?Q9#5yO#-2!_`PT z_mi`@_)~6V8K|Otvzd&!o|P&0K6V+*)!_SsUC-veV$b2&K&=f0^>C)5;=IRaJyt8m zl%;kYPKj54S=+Y&x8M4qn;3TWZKF!WP5tsIa~j`(wQkqit%Nj{ukcyM-1|C=WC+yR z=PI&#Z*qUI(rxzsf~Gs)Wi$r73VEVpgEeU2smX7K^=qKMCx4M#HJKP`skCi2H~`G`BpRBuaixn)ha8w|4&&C3RT15~Z-!>V?$)if^8@#}T*$JWo5=}&E| zUSEnNi)QA6d4&IBh5h_}{$Re_vJ|s>J!??g!fQyG2g8u|hYbQ)x$qV$h`{ojRZ~q7 zr|FKEba$zvP!~#kyvW1$JmqOojios4)W!vMdvDLFp1ujxsnt5)>SDE}`Po(&qLS;v zT1c@zJ}k}2sy#Cio$AiKDmgPT6SK7rzj%l%HJs`cR#5{k*D-B^?GklDbPT-xqvea@ zM_SCywji^>|55;CR(4T+!}pPtB#!AX9hZb<=7>|?j%TMj{rSKj;(FtSUdL!xbFLaL zk#)GG<@R7W-zPc#;|P_N#iRc$n{v}qypFXV1$7{Y0z>p3+;AzATA$8=g!TsB6}wy# zDyk$aq;mx7RnF-Sr<31n%DkNKvX_n~3hz83z5`Z^&)S=hY)@x8gQXg@$M!Yafk2u7 z(%gT$%7DUncSLZj5dCR7-6iEgr=Z-V@(<^q7n7!@Y7r5 zRdB~}WG)CIc4dMqu%GhSiB`@YXeN^r5|TRT&PG<2NSLC}uAuc$QzYn*Bq5%2Lgj1#8gbF4tk8clO%R+-OUEv?* zjqs!hG;-y59F#gD_l^!+9-|xewu=f*>SojXGsomj2HlNn^wt|o7b7-NF{{l?l>&a5 z?Ag(T2JipIi&J#dCRB(boEEK!DZH}nmYw0NCGz#N6tN}Y7@RQDX*#l6HA!C?J=y%5 z^!QtY2SuCq7PGvx@ebJ-LWju&DR^geT=E`6A$m}h^tng`Z&`4COp2q8rps5@c5oyB zPVR@S>@d2)%7Q>))&g0vFOz!R?~PY7nyxIDGzcsJJ>Yv9GZsLCqOc65;43+N!c2qv zuf~3?dred1nUx<0SZ!S||1M z=LT-7n|JS}WsE4|W-cl`*7gE4)bS67N?-OV`OMPtBe6NLHi5{hJ@74ta9d<63DL1- z8+v(FocGWw7J0DsG$d?*Ah7E4J(uS;{;j+Mv26qAb8`jfbh_&pZ`1SwW|KtQ?YSF) z>jz`3l}@PQeqfTGx+3eHuwHD|t6D$y0H(*SFC~(4jq=F7cUsqD zs1}J%D+wpZG8+0YVfAX|>v{dD2l|(Aw@I-CFX0Om8U^-Dwmn?AaNvjpx)*4AFFUkO zfP|-(DwH+qLX;EJZd|;lriMiyFQdD&M^u47EN?uTEY+*S%L+P!YhNDMWPeaF zzLk3xnUApUuIYyKEC3DM)S9;%)d$G5t0wg=8k?g{MMFo1b0>&XG@-|rQdQoD8^ z$7*vS7(p7*x$v@WBCpv72nPK_QH>qa6bK?55OvJCcV(p!icDmd=-8`tctt1W$BiBhD% z=XwQLc3Q`^ABzZ3nP_K`aM0Mz1#Gg_6WP-}hAVvX*DnRO8nu%8Gs|As!&r)5@2>V9P-(dY5cyN^ z6nRCz1JIF3W~Z9@lrT?@?u*Vlj28hN!nu zA?L%H5a?y?xx6CWwHsX6f{(%~_ZHK>yYCO$&O9vBUe~|9(SC1L|8)9Ii~A1djPZn| zukr3*(GYOtUyaz@@?uj(g5w3LOuIxVO6I%Dt^xci3{2J;=#0^#PLUqcTm9JxtILpt zVueT2w;w{zCg+zj<+6-PsRa?swX{)aIL=6{^fUm04zA~bUI$a<)2@WWnMTVdq7W|9zk1&dF3^zkllSq zCJfX$Et4D-W-NS48%?94*4FKC(fGl(T?N+Xq!t{ z^Y_lXq|I2`uC&GBK-RJY&-{$60^PqGcL?D03ogo25F=gmTKA{qEiMoAR;k29w1D#1 zUSrkH77e-+1m*_`0)7>pjxtmJCArKzn5_~@{hD0x)CUccRXs*<_TXx`7AIY&#dy<& zF6K(U^CK~7>rvvD+#NxJIEDxJ^TfBjI<)@eq*aCZneqf%2?Axj4$DvSqS{o2Y zqNn@uR}b0II8h3IcRowsVa`CxNSPE;s1VUwe38xj;z0MP`%6J!R*{Xlr5k{r;(D2T?zJ?tqueVzeF(;~`$9;~v=KIcB6%Td5|Uyb;wtejGVtpRRj1(y^!(jIXl^+X$H> z_hO72&#dJuLF07!l*e&ev~PYSydTA&y7BmtBe(j<*#6q=i*?9Z4OYH9j7D9BVZ(nN z+qc4=2S&TWKL0pX1{#;O$&h0fNLl53OZel4G6}Dv7$9E;|9yeDo(fnTpPU%xzM5{LJRE@TkvS@h+=}F9bpvTur94t6D6my-w zyvf$!D|giR2Pu62=?V0yOc!;*vgt6(3=Y2?WOSm)lw6qLkchLi2$ZD)KdF9&@By{R zcdu`{{FHu7(g5^?9pxZ;YTmpkn8aH^zvIJL0v&ES#)Pr{?aa`bI7~ObRv&1xc(R6gI_3A|SRjI|sLj zD))v0nA=_C7r_p-*ECX={LE#6``E5?VQkkKT^$zqO4$nv_EQnO(YgHkQlxiA4yV9(F>`-sW zkHeSmoyH)ss`YO8XP@p_#DSFKi~gjq+dnZ1$iBT2h}q*m!E)Fo+>S{yfO9MUCMq_* zdpmGI14;Eq__)%V?G9T9(?|99hh*=yPKB5APU`SB`~8*OW2u zir6LmK}Gfo=#T|s?GiN5m5gh|JpRd-y@e=Mqn(?#6s2FKsZBjk)*o||fmjRPOfpt1 zeWliZC7p4cgGLLhFb}-gqlU?v(pU~!>YSpq-C$3c&o=#Gd(k&AY5;no0s7KtGtv2z zo;U0I_W}dE_+$+%t78O7#bCg+`Z`M4$6SXCo-IH7si>`E&Crv@P^Ir^>v7O2J&`7V zuA}q7l^7Bh_f<^T4YVC0?OBY^q&ylXBbJ&efh1p?aUOjqZ*e2mpisuZDNP6R1naXe zP`y-54dC9`qk9DpPRes`(eoVp&vS}R!p4HOGl9zPYlP+*7BYG^~yrYifGH0=nml5JLDgTkXqX?`rt$$7=M%vH@Y=KP_{uAkRrkM+U( za=;C@Me{&eyl)hx{W2po9m-BJ70KCXvs)z)C-77*=;W0sT4FXPVTy=(`qQ{|l=tjO ze=Ax%JR`bV6n5wnRVlx&+@5qh6VVD$*|?vk*6fv*T^xK5|Mq4)f*dPkg+CIiLYk>9 z<(ACOK#(Q!^;`^rrB_jaALX&vwn#+~u9Y z`kbk#tSwp<Xwgl;1qU(=+bS=?{U3 z1^e05+LOosArS@pYh_`{&Yq6Da47vDjCl1D@KyD4FqT$k>P)w7Y{+*@XHZ5P)IGo5B(n#KPc(fVU~St5=xnmxnkC^WQnJ* z1O;@*HvTYTQ-Ps>TA@;Jf#If8H~-#+-J_wewd1eNM0Q=eVlCC&0oN6~SGa7-5Jd^3*Te~3~{ zRtDsAQrejl33rP>IgM{ge#SgMp=%YT9*KQ<4k56(lrDED6je{q-=>p-P~r6XabWJH zcj}*Yb?`h2f(Z8&fBO0{92FQs4JkxD-T-E1!Q+)G9?^H;Y+9?2{}=9Oiz<`-hdOJ4 zIeVe?zl6+6z5e}&`U{_^1m>Mb?5F!GN|LVL=a;-eH|30J=`lp2!^!n<^D2)?>w92T z<9qxM?SjondNhk-G)k7WuGZ6YZQUERbZ~jz64O$cuOnMe!KY1v+u`I#pXRY0DXkLZ1JT4lZNj~9gSuoKP<33P9FmTkw8(Vfa@p@tinW)8-546!c7`E6;^;X&A zYf5h<)gLxymX1DvPl+QtT&}P8;ae|TAvxiH`2##QItvi@$CR`(5V_P;lahhx>9MN* zD$uaL8!r=BEX;+gwY-ZOn-d%UC;22j8GjT#yw*{?TvKryl6J9nE1=*vJ}wX~0ti2) zR`L`sgp=lmimnVtD9?AAL&?lt*IkYVzKW@pG9o0ct%5SRMRfU%0j;j1rCxNKm~M=+ ze2@G5@x~AQv_RNU4+U}oQtv-R$xsg)OS6TAdD%*%P{zX4GmN^?t4P{)N{HA#NPqT- zrtn3oXmUm6T1`?}R3A9f@aH75xuOK&Q;R5vjqTLWsUg3@Muv_yYi4Y;q`$6?hFQzU z3RHoB6kn!47`q?gjo_XHMPp^^7)Bx3)pL?`$GJD zv^+I{``We^b^x@=VaHan5HmT6wv)|4jrqk|!0c-NF-HL=0l#`1TvA!sIWXKyICbqk zVM+1BmV%uCT-2a)$Wmm-F_Ven@(OmN5~p{*_WlDC<#UhG4x7^g`ygYqIFE-oZ8uOH z-7Ev<>>+jYFm)Z^UWV!M3(etl(MIm`2a%2;?);uR3?^_1$NmpxTR=2iONBXkujJ)T zE{D`2jZ&-p@rp@4S$jCIYSq$CPwbXLEFbntSj9~)S3Unr; zgCSMlP;%7?f(c}iQKE7}G*ra3(N=)}+hOYL@V*TCEeb7ihp_6TbAN7Ed&g4XS_MLiS^2boOmUtGG0aAg~bWMkG_qj+G7WkMbbi{|}VZeER4{akD8Z=oy{ zuX*X+>ZKmL@CT;_1#io4&2&^|Ommm$5FAt!BZ+>^^o$`*|2jA*VN>(4*3%z9i7`XP zOTUqcM9`Z{B6s$Eo)?Y;=%$Q3WY<%$9ft!{lS=YX{HS+S_J;(o8POD*&(J?+>nT5O zSMPup(=3ZTyaN0`vx&5-IrCjP1nVZ{shqD32@@aXYCK`q=k;v(-SxNZV=Iu|et7?U zpMSwv8+^=0kX-QIJPwTK2Ry_4#SX54vz1-#3Q<2!z(1N=5Umj}dy03A3AI1Wq8F+n zgO?9PA?{gUg?<8auo44+3)M?X7atnKYl*rPkUElNu@*8(5mxy$X^B8853pUv?E17fy*j?A~u)c83-PbwA&A#*bj0nhb%m zQSk>}yGG?<1fd`z!S2?Nhlky)uA9xSkITo+uC5PWy7TqdQ=$#O7t@Z{>%#k$m#dfE z`&Uju-_MuA`|Z*=BEPr0hozT(O}qj71e2rc7~91t9_8IjALL;q(j&b6Z%oelGV>t( zPJ*_Y75FEblw~>`%jv8g=<5W?#$mlpkLxCP$M%R1A15au5ZHdxG$h>2bKOroJ@QXr z1w7v3Lg+@Y7%WtwzRRxJX7ocF3JGpHZ7HZX&fp!W_#GMsD?n0Vu^9{ukpm7)@jCz< z0}KNU3mU>fjAgb2j{U&H^mp2`To102*rkN-aYk^fhnQyM-afb73a z{|p@uybK}jlOBNi)xpTl%!cv5Q}ACmBp3mli2n>8>gL$d^(z=yXIdm9fc9U1K2{xV zcI3do{<*RLk3ZvNN#|s^X_t%ugn!5W@sBTiX}C-Pa-x5f{qLm1{~t;7G(9E&A(R^( I;P2=E2QRvt=>Px# delta 45904 zcmZs>Q*>ZW)S#VoY}>XwHafO#+fGhwv%`)%b~?6g+eycEGW~utv;MjGFKSh-U3&IK zovrh}3m&)&j-V(5296E_0u2Ik(}AAW|ztQ{o=SpRI z-i@EQ%b$R(sS(g2oNq9lV$lW6B5aSsun*HRZenK-xCmPmk-`VvY0MAy)W+UjmY(P7 zE*@{%;|La^80sP~k+`%Je%J1AbPjP+Rr_|p%(pdo1XO8FVY421#R|EXYK7r;fgqN6 zyn9kp@^2pMYEb8iQkF6z1u&lzECqOE8|Rxs`Q%(t-(K7xHr$mx$jGrUb$8tj5!!`-Jvt@VP6S0xc@-UB3^Ovp% zviMtLlaZwAebm>#;kL3u z0$>f)S{et)1m(0OmB!~iceLX!X)c&(n044S^R9jYty@%`O2A9Yn*Uf8#suDZ8X-Bj ztjAbesFVuuJsPbFi!C?ib;ja$V@($zZg6G6)y7-HPoL4kSLkZs@MTHHw@A(*Ac)jr zZeW{ETC{ei1QHCHSRbc zrr3uPw*S5kdKOa~uj2fq>W;iJJmf`JR`xJ%5aDz7T+$7G@sL=K`wTaWq%8yFF}_8O zVfyRu`w@N0G%R!4R{^5$1cj*8vG)EFwwx}GlV3#n4B5D+v`=BtIxz?8TqeLGRMvX= z6v>}1^P*pkn{c;wo4ab&wYp)-V`B&8p-lx;*pKyvYP|#srdDT1L zKtQmdKtTTYQ-Fqs{`V9>F_Im@hyfQ|Zg~IhZqj}qX@5?mB-enDG&&gg1oLVKbBzGJ znobiR(dR1#R=9LB+pO9X8lxNOKlFaT$g{?om?GDFAkT_sHB$Q(pi=o~5+jRqb=3&N zsy^<<($BgXCq3!ON(U*&P-pzN1E07CE_Tn>7D)?-Q4K~at8sRVDy$L%Du9<#bLE-w zW$PM=<)He(WGsq@c{Q`Ye%cl477eSvS8u3Hs22O9qob{#-MJUA8*nA-vDn~(;}H?% z%cG|&W_Ra(sM2a!W$C}ZQmx|XmSuS9(*eJX8nYV<18>O@4xbkjWp}k+n&n)I33c@f zTkor{tM{H8H#lR3Vi`v{#9HcUwrlB}Qo@qO>Y#4B>)Z($eOd+?3SutXNvkZN6@tX_AXwKk*4 ziQb&Ze92c$>L>e~w@AsS;<#Oiz2>2{bMsvSS1(@R*Xa7qnrcpS5)dOtsAo(E=XZ7e z?z=8W-Z}{C;_2<}SXX68B?0SB#3W3w5(BmR(Px;iNY8l{cC$tPV@cr4x9e~Lz)gl% zT4~#ti+w1rEh9Ukypt=e7poceVEm}9ybohh;Dx(xcDITg!P8-WvU_T{fXpMlMQ)}S zF#P%I5zxrg@g2VY4B+W|5akQO+Wyf+NEdvR`EvLxA326ggEifcUEd<5X1~ z{@gz+hB%I-3q?OBB>1g4F-67Vf!~Fl5Uk$poTuw@VouDQALvaw0e@)$Pv66BIr@?- zXkv%p&#FQ5aLz2H(3kcaRgBRkLJu2fqeQU-Cz&*g;bWTeLlwQ_?FdwNeQrn&Tj-nG zKHhHeU27*K#gvVWGRj$SXLX@kPK13hzPx*R-aD`yzdx`!;$LY4vi@9zOzuIzcnq6} z0f_iWduJJ(02}Q*Vezjm62Hd~4EV9jkY5}#+#`X1rR803@rW4ERK%V)90pJ7)sT7t{R6OB9!nCA>4Ai-| zIsy=&sr~XFX%Ay~Q3aF+Lo?tN?7}pNp{MQc>K>A`ie0PlMvGC(aGZq>ytyfkEW|$@?BOUggsB zn-Uo-7rbw;9OmnwYCT#4d%zj`ob_9K8}Dl{u!7C0>JmSm@aE-t+UxUeQ4HK5dVM z1MNQ2BUI)HW=qAmK5o4#scWy)0`EZR7+Sykj$GS>HFh?{YTjk0%0^QJ54e}X>+GIl zG*F2P>kwzy!tyj^!i)@q;%}(iUR{D7M|R76{8Bz4S(^2JkDm;c7Uk1`X3K>Go7--t z(PARDF?_<7NpS(AGY}Xjh%e+l}SC}Z?d!5_@ z2$PQ-Zl+z7-qqLSBluckp$%(+{WI((Tnt`40oA1@DowiyznCHMAKh6`lP#q+RV24 zUMx!0P_90a+@lUvtquci<6&wU zs+y7-o+gOJ9AFk6HV8TtwT5{=zm)BFgMT-JqOO;*+3wAG=i0UqXrcH89%N#Gx}tpi z$L@)sP|!8jCnL^x$jv=PA?;75Ja&=7j430Wpf5mfPnCFZC7`fW*3PvMeS*HabaRUqvmvp;t`;u?+aG~ zKXzhqkOLV+^(M7=8zu#;?D9y76>5#KtfIy(ON6-zUiYzP$El2dnm8qPs#Ii+amBTn zFFp}lh$EBO@pcckIvUIS8c@t^&NAIIY_T!dXE3>(>w9k3z8VEx?Vb%C} zho<{yR3TXZuVMW^K4x+gJPXwS9WTO?BtO8R|L1fj!^3kx{cq!ok&FPR`ad!No+P;& z4)uS=rf{79(=WpQfBXN!isq?TO)&fgqAX~1j?XXH781%PC-Rju~I`PA1HjOiPdUZOjlwgq zTTR^uf?ixZzqW%+$*wmWip@y}UrLC+89h5_gPuSrijO)?w$jR{%YE};L-*&KE4^ym zFZ9>TU&w@&&~`?RWIj+u4!ISYl?gQ&P6{qUJNK!gl1v7KQDkeO{LiwuIc{eO%Y#1h ze=!N6S%`~(T!L7|06+p&Q1)7|tz|!q)q$F*+@3`d`o^49>^lLX&3wjG%Yp(jS6@KQ zJ@q^Brd{K~)(KjzSRm7LuOL++P@Q!`4=i##K2SrqqL}|@^>@FvIq)r%j<922wQC;vO-%l37(l$4Yo6bFs}-)i@5AG#_N>7y5d{=H4*Ezm*I`Y}$+Qxt^ z;5VXav|7)U-~sdJjgYZD{l2iF+}sl^%18&Hb#8ry(2p?(JvVCLe9P+bF3Ejd!<9oS z6d4YO6cl9H9WYir4q|4UZ>t_V(U65%G7r>lQ{MKjB4_AC^MJ(S{XevwNmgmb?n)0$&VPCii4f*F5@hR#>*V z_T~3^9o|XR)9+uC;AUNHl?(Ubw>Z!&1-$f>9`K3->Uw+#-W_SX4`4SW2OLMj+R6`qm^$UX_qwte_PQF2H4%K zp*oP!%a+RYeZlC)__2!KB~#xa=aw#(bljvs^{Bp7vS=c+sAGy=hrcCKvsOj784|wu zo7D<@q9m)zZ>Lk1nBQHgRz0^#eq3}^%E>_!qJa44Ys4Z>_F#278XL6w561;!cLV5( zUqVCng`t&4JC`PcR>@D8t07Vy;hr!k<*~ln|m}pVg4yOGoKpx z;+IE@q!Lh$1QO_6RVY*B?EB%<3bu`l*6J@46YiTEgHH&!`G2iNeW9}8yeg;jv~f}q zM1aJ2(zV1BZRs^Fw6a|40(sZ49%;ZlHM2Hu>mi)T}*iMtNHcPcz(;-+X8OY{ii!mtG=c1VyAFB2ApJq2Jj&!>C=#V0rm6_%AV__CoTDHphN? zK(`vtN%nU2cI2nzo!K_#x>9GCamn^rWm^Hwjg6pez(x*Kl2Wku=9&WLx1O5L^Pe-i2uprur@X@ z%w;fU4RwW2VWY^P%II`mk9Ll#YqjMuhcK+$g7%=r|H5MB^tRN|#X#*3THEU8m(Wqi z6%|!G&Ss=!wfDKQWZ`L)?!X#s0Fo^tiwCP&(>FY*aNTnV=LB2{A6?!)(nwTrp|%P% z+?C@MN^J9yL7JxoNH1iS0?-t^cukyC?YtN5mD8T|HO74CtxTqTQJ=1b4a#zFXFv2+ zQV+aac9d0bv_WhNz2CH*4{yJ}4PqsY)MegT2uCcaNeJV1b%|}a=<;^t037WJRkr&? z_HKnuiDwnb;#bw5$UcPVB}N1niJlWhkZk4@dvZ)Jo~;B|^)e3irQ(fJIaMoP-k_$X zb2wk-ul;V1ShhLf@T2436*wfbywlAGcg(M{x1rW~mu&;tA@B7z_h0!R0sDiX*Ndr) zj5jaRYQg!k-TKz+a2xeGfMF^a`*XImFR&q#YH~7Ycasqt6>8=+qUt69lRqFg@+*;O z$q!E7aO!l4>$l9TT@0n)vCI!by+jC}mu-eh=GzKa#*H(K!M`Ai5y!5$hFM3B5kENX zi8n;YGm<0joln~sPM*K{%^@t_p?GgimessPcLQ+5FDZD$Sy}^RKsWVOb3_uq(s?X% zv&Obp=}nUKji}_0fc0m@xz=_>u_{y85uo_ANS;y6V4VE7^fGylO=V_xQTcB?REl3} zJhK(oJk`;HwJ8`yw%WA$mb#ydbBn)WcD$fp4nLCMHmhaSFEK~Mxuf_C5~oAa+k~7r zRqpGIwYLWAk)liafxneQ2;I1DUb7G6gE%Jc{AG!pK22Q$ItyG}nh#;h7j)K~-9J)D z%eiPLknIkdbgG~l_IaoVwn2-c$hzU@#Pz9`IEvWbhlOZ`$~~2EgBuf>5nl&e3mal@aBu8BWFcx$mosw$w5swpK}>!+O)oBc9>d%c~r z;C^Xd^-Tdf36hqOO{QU2(lJK+fBQ%9Eh|Of>rt)UV0DgAv_viFoOI8}sXj;GEyhq_ zbnQ`=d%ixfOLcvZJ*qrU79^b(l{k67_s$zLfFHi)yW5T}tGGJ5K;pHvYmNWKUpbXh z^PE&Qe;+zC_lb%S))&jUWIL6_kz;)4aW;N31Rx0%RlX;DFGSJPJR&Sf%I z-`r+0)rO+3Q`e`muG2IYE3ec3X>wktYZ**hr*B)VUuWnzoLgt?dbnM$$qUA9D=kRo zX)7x#)NU&;Y4C2VDDBT=EGrjSPcUmsa_oU{!`4+pdj1Ue%M*afZ&XHHuk4?>L~S~d z_ap;41qwb0pYpY7Vca}iKCcgE>J{P;kGf~F1v4ff{$>W=pCR>fY>BFE9|d(5s7^Ur z_i?d!$TiY68XQ4XtsGCth-Y}AW6|T)$K9U4vJcNYAyvs=NA;yUcSONrINYZ!YWncV z$VX9Kbv(C#1$OXw8)ip5h-E}^rO9WcN~8k6@}A(ymeXvxprtgB=yAFcKKMF6hAr4# zvR4m6xIW+WKWF_=kVC-^P!dHQh^-Kl*!=okqam3iP6(m4>G?xRUqG~k6E4f0oiY>r zP=8)zKHqE=_*9)o^{RZWJGFU<%q0z%&6Y9K{dvB%Vu>`+ZMeq&5q~EdoxSV-*T)cu zO+JnGJ;@YOwiOOZmm{)&UP^58H`@lHdfJ#&b9Eyd2BKY52Gg#-cME5C8B%(T%CG5W zm)AT0cvDz-{I!wwL4^JYB&>hs!@VgiKK|Ou`cTtQvv7W!ZmazYUi(CPGXHAr`*dmj zIM!PMO8$JEZ=H85t^g#>Uj=Y)(~H34ukEalbl5kh!$$*mqp#4l&uE{9FKMH%)Q!&y z#`A8~b->Hukw~UWFm2U;BlJ+idc5Xx;ub9Q0?PReiKp(%Qx(-a_7Wj5@>^gee&A>- z^g*(iX8qj&gz?R?r{HC@h)CeOkCX=^TcZFSh3-R{f*iCGOn<{|eYR2p( z4et4bb@QFk;`PPZ3-zuJ3!uOQ~ z{drnM;B@Di`J-;V`q>apU1Ua^j#Wdm(8i!TP!51E~NALc^vKg_?v|1cl&{$YC0{D;Y33IE`z zkY7bYF`_W6R-)$b`j8jq-?^{X_isX0l^D$I~#QHJGbr=EZ*&`C% z4h4#c^Tg;+0v+D#PQdQ|=Qu=?((qbvy06XZM!(YfkP;jix<>pKZYk~$|AP)1NdZn8T*2y0VT$C!Z*({y8w6iUFpmu2 z>3~5R%vH!0tPcD*<`7~rt2X<3mw_Y%o^hUZX?6XG*M>T4viN`4Vlc9MUX_7#(b zLh5zw8yWn5kZiMbwA;ETNcx4-jKZ@YO@}>}mC7eyGDW`o1^QpAJXUisYijq|i_Y~3W$J%(h864wtMl)NbE&!~s2F_`B+$X@~1T%t=g;lcvY%3|22r=wXxV zLDYW&Wsg&2^jRDTvR{{TDC7lfutT;R#U>nL7Db%HVwUmjG5x^HJ&hHqDF#87rkY+C zx%Satd*yVd$RYntxwBgeBPU<&bS50Qanf&3<37d^W!!$Rg}?=&b>%Ja8w0eyzHY}7 z8v@^h=*tZIH?6iO?L0CiOP2sMG35#{FQvRu@$Nnvoltkc} z_YvY77d&d=`_tq!?_Ni@&$!^`O*7|d^H;`C#d}OrJU4-l+4B2n&h3`?_>zV>{~|#f zhtBX1GN*69kh-|*&|fb$!z?ks2*Va9u6?48bBCraEdZX=>6b<1B!a2~8<~WQ)<4CL|5K`ppmNuPe0t$^o|>h2dh+)!rIgbUyZ?tSrvm zA^WWzk6po4a!h`;1WqF)T!FB8l3(XL2SUDk_nOVSn!9+#Vf)e3g!YHlad?*Zg{hAQ zoXa4AK|mcy@rRssqAY?~bE`kzUB99h(tCLBY&l-^YHhbbtRm zKX`J4U;Q1gFySV|w?SF_jUmpgn0bFe#-lKrb7|kY^-nW7i(`{i{nPKGC>O|(p_iW_!z?B zc^GKaG>cwd`$gjsuxs>#Dm;%^0ux6t&k-&#T82mexCydZi>BrC!{Lj-`S&yUCE^oa zZb%L2a*08QC30}rW|G~=f*}HW(@Gfl?;)F7t_z*WW;++JMS2Ocn(TJ_Iu2$4olaoo{}Ki4I$>hTAs*1FQR3R1407V83Ctollb8Br&5(paAS~{;-{C?|tRD97f24+ zns4_L!V(J=zle&3+@G1YllTp8Vd^`K=sk+qG7yMMT%p8uO<MrhR*K$w_$ zE&4^tliagL8PPzVsbp;kgR1IN$Vvsqv?Cv(5a8k8A|z%pl?!4YpeED|@4LLFb3l7a zmA>}o(7jv=4V!YT@@Pj9M&G&84+J`uUo%W^L8R=g_!5$k6whk#g-2PoWB_fga}Hm^ zg{qEV%9Bw6v|`=Jl%cw-?mw2$iPCn9rqeJx&KrH`pmIb-+Kh>M-V%Q*rM1Kj2f!3M zoC<;qbWUgb+r0+bu0aNwY*U1w*m_xftv#ngC04IOb9nH}F zoI$L)_jayj*3j*7&DoOCvu6FnSoL<{{jFgSK>tWo_7rQVox&*8)t6_oOVSA99~2v> zW)@F;!g+bQcdE&zmvH)$PxC7$%zb1&-FN)5jdG~4x$xoSNf^haKZGWEjQd#6MUNj= zM^OB-a}dnX`8Jj{E+*$818BiUeY5>=GcjKmYEeL??B z=PZcI_dC3)a?hla}K`m)1p3;A^~QM}-F=}N|%yEV6IJAd6z>WMu%*j4`4 zg7ZLu2e275MtLd6;z}lvZ-}wcoT?(`9rM#mSN3t~n`7dX6O!qfufWmCKyr6>Nt&j$ zYvL4WCOkj3Q4`NTIT=ovb7AK(b7U^;r7B_}o8>te<&A@E`Qs*9IU5@bnQ-&(5yNa5 zND~rP?C7Lk%?S7*5mV;sVE)t*5Q>1K(Yz(`sbu&$DlH+%XV9_hCyr#Y?s+?>pBU5}cP_tSl`GhcR zDOndOV_Gp(6{Vz~u!#ez5#%LR$srPiwxxlyd`b)J<51PDX&Wjho*kaSzZiBy2hvzK z9EluX{Ew1Taej{HT$l=)xf}>^d|(Za0Ta+9U);1PGQYSCJppghjH`r2Fs(TkUr%B} ztq*ThLo0PsI1hx=mMj!V@#eUbuu*I5UH#0J+Abyg@pJX1FZ|(&Mg~-{b3JQwOs=EkGrIb z_l-DU<*pkUM}QVZzGI66Mre>i5T1>UYz=1wQL+&_ze~0K{b5ghh=>~^0hT)kgY0@{ zVAJWaS|)n^BDb^VvRY$xuq2K5k+l{&EBh=ON9YJ>cG`ZA3(*HGKJo3jQ}@?2w)K9n z-Zw`(QDqSl@5z}>q=Y)+iO9GcQ|~|RPwdoUli&PXGJ)4b-py+_IA41f{R1{2?d&c9 zJK@@7t{dh_w20yPTc8-sDi4YnI-$nn(#ee@>tdJTa6QM<`i@LuS^S}F_GkThTl^tq zevQf#fBbu~rLuj%{RM^~pCjzmIHdaFnj*-Ne)U+O?W$0Z7`L;=v$w9KP4kMnltrC}L^|8u}`D4C^t+yG| ztGb~|Dn6yw&M|^)(yVK*W!6zcEm`u?+AOPj*QxJNi z--+;z$Y(4x@_6LA1_hFJoKvZs0Gfy=-dJa}VNWKe5w8qhU^X@6}`P{Q_yPoe*OguU# zr?nB4a($WBJfcIr!0{RX0_2|%8TPL6?12!I$i%qu;`VEeG#tWW9ODUEJQPB){?u4O z?So7MOp&AX(9##P-bp6U0<{kpI1+1}Mw?V8g7ClghPgKHZAo3pdoiZrrbSz##JZRK zdOqqo@^4yO*RJ=rni&06w{9dcJ$BNTAjU91b)MY4;70!#rgLb}#j4<}wS#HQ6$91Z zQ=Bd3L798UG?y^@pg-yR)#_blrciTVpZ6x)BYu~Hpk5RIfkB}O(t_}FR&^zzD(3lQ zQm{hIy zy=H>yqw_98RR?Ti^Y@YW-}^4b*I{h1JPA{F zXIJtsWM5k)65a^Qp*OGUECDhu%SmG9Dg-<@8;p|vs==w71hx!;m}iEmzji@#fn8xU zY#%F;y%nTvSpgUk=)NXeh5>k^zjc;AMff<|GOyEPTVtiL^0^{F7g5?)mEL*ow0bj2 zAfHUy$#lN81hMtjJckm5G}LSO8Mi9NC3n*OIfibZU_h7hiNudmqy~QC*zR#jI)w=$ z(XA-`OgMI&E|C}>mIc4=AqZV!ChSv(H!KP^Fg_g3bDemZ&B2CjSD9G%I*7df)~88; zp&oA2q&2Hns_(79%z7Q^Ih{)YUc_gf>U=dCo>5pm2af&9=TjQa+#X{yZ( zBu?VU)kPu~zt<*^Iug389#+Tncm0?{%6r$pZJ3LMQfy?BxI_svj|1aE8i7Ka0;bsa zYwBKu$_j!g5E@>ZGF|J8<=PyZDD^6JlNr@(q#T+J(ZW}hBmwC=k^Fl-J=I1ROzb)M zjFL$@8n@xoBqF&8J+X8t>pAVLXUDYLq^5u}q zOSzkUrsn&Hzn_KKO(yghTFM#SH=+GAU1#jw=8WQ9s+w-7>n}naH@G|#e%JMl`ju6- z(^EzTM+(dCr2tppqG| z78-V;P;u>Ohd6wA#(m=Tz8~n2PL>EE=O~QPNu(a ziDl=HV5&3(tv;3?k!N3SJE>K#Phh4rXF^ZJ{aI;>PD_#4)ZuCaNb&P{q8>9?Pvo9q z6XHj>^SBNUW~s)C*BpmS*c42|M2=Q8q~a}`ohrA73FBJ%hU<)|J0 ziqy7fKauWewl|3T+;M!B-DKs4zp-PFDsLAifXqgQk=Lu+@moT1Lz%ad}3`aDpFYY zw5LJ#6rFJTkSyp)K}GAUGlAvUxAjv)49pp{*LKOHBVg8K^kHDq>gFO@GoX_UkseV5 ztSVjsTQWsY@pGkx;BQ2~YH{NsCWlO%+HW*x9QiOCIpfy<5Rts48)(#}+98OPRs|?_ zB3s*>ll8*Ki{xoz0uFb&(-iDpWa%$BB9+s~X1-y_>ue#83nxK`QZ8vt^;uw@Fjs}F zXDE=?S+)|CTxYce$1|%;NnP4Du)7I6s}IB_i->#0BQl|I*?DMFOubxQEBYyViT0L` z%6Yu`Q*hRIdt)7Wj7+7nt_7pxmKAgW6@@Ve+Y^P#9BQ~b@H=$CI$H_P2mfYi>@(w9 z__8(F4OT*%0BtwWz}V%qJo`2TO=2dT?6ME#eg|56OXqQW<@40Olf6uA%Ra9bY6nvw zLSmt0%@ymk`TRa*w8|ma-0? z4cV-FS3|!55Uzj6kla(9Z-0j%Tzuhv_ZQU6S!u#RM|-##${d^>fi!FYZ8TWDsI#9` z(+*ntPqhcNWz6kz)8o{=Y$>zR3(0M*>~w7^w)(Tstb>|1m(Bs41suz+EeU-#!$3$w zD7H7FHpbM*(#DHv)BWQVYLZ+Q)^yR;@t(LUMODZd(4Am-#a#(6z5}WBChhIqfgahv zPH2oJrlRAZ$3`7JGw&Oc8%1)jik<(PL}VYPNcNE8#+Nqic;5ZS*KVFjlXev~=rz+L zV_{<^yh53Mr-4jD8CIHWYBFnDBf+pMg`LZ^d>NaMZIf-q^YYV3g^LuZ8FL!R`G!<{ ziM}cUs1UpMdfFF*IYkdGhCrDQD_ZSLOkNR;>Cv!cC~{D>BjFaGQ@~vor+j97I>5B| z3mUS&oSDfqbal+Fu9eny)s36W*@yV!O2!nxY2xn#3@Gd`iJ(3q zF3M1=QI<07jt;=c;kb~7RAjdiUT!2+ zb;2p2;bsFMh+2o;ZeLO2e=+p_o#v zCSdGju{-7qgq8t93&hoki$NuuxFCgo>3i_L*s3^bmQ8asfIg0KqA9B8I^+iI(e1}n zce5GhY7UaZ$h}vkAxEJ#pL~^J)C118E$4)M*tCs6hs6h|qM6AmBQ!g0y&*Sj2zKVf z)UTfVH1oxP9HZhTKb8ioqE z`0g)P5jkecV5H;vi`~AX^Tqjn>sv(l^O?8LEkL*J^4XK7)LssA{Ry8M$pyr+c!CrQ zqY&#Klo=z?L69Wu+A80?CldZ~ylqj=t3oBLp=Z)oFmykdP{A~hua*cgOgk**1AYo` znDtea!*6U6fj}}OAS)AoP^EGq8=hmKKWTEGbwvVJP;O5`FD&ObI63S!Ias6q|B@BZ znX$PInB?a;p~;=*lZHs0g+Shm#)4pZlWcikOj)v#ozhEt~cC?BLp#NH^IoLC$pAwO!j}o^OC?3Eh8Poj=L=!@H5pbt8w3|JrniE) zu=v~;i7BxLc95Z|OZv`k%E++buYssxy;TEiIHVIR^Un*QjSIG&8gx7<^`wpIwmd^; z;(PP|MZccs_wjK2_1Z?ST+CGYtejgH=GA1jqRB?(?S3*G2*eiG3hxVt!YmfMZ<>!8 z`P8`Hz#(+SoVDyw8nc+soT3 z*TYIs3$t-IRBTyQSVLGeX0%n5A!0cUos6*y&*q1sA8f#?%hR>b!+wRYtz%(zP9@8` zbJTb7V|INa6$ty5>v{G3|r(s=~;{8)RW98%*!CP|Jm5Bn}h0)noc!IG{ zU&%%#%6$_g+fv5mWfoDs!?V8)CF6KZBu9}crxOo~N_cz?r78aD=uZaJb!|mt)O!tq z#JwXb2(;?vqyBuS5teOZ38giBj{@crLo?Z%xt~EzEC9qA^&cGqv`8I!7>yU+R%#2d zG0%Z2)=BN~keb}T9<^NZQk>E|iPFLaZOxa>jNS?@E@&creDSb`k8K&_k~(!as~_e( zOrXrxT65{v2@W!^)*wi6x8o`4t;)8ok|%o)Rl+N4KNV)mqN1QH@mBw;nc@bFxWd-{ z$iWm()&&x+zoVd*iK8hcM){MFD$g$e_(@#(+bq%Ajt8|K(#F0>_6Bj=T_CNr{$@9- zz&uVTx`1{bt05WXSO!FP+| zlg$Z4v0{40u0V~Aa4#5kde;3~Im z>PNDBW47mEcc|2Lbz=-FuL;K#b7@2=AXQ)lQC%7r4c9jmSS;yg{5_C1-&5?$K$EFG z17!o5LB97QSk>#`J;dAgIYzk`g^~G`3LgQgJ_lPq1N4un9Kv&yLg=$=OJvG0t-cFr zk3UeGX}(x4YdlPM&_Dvvn^GeIgnqG-0gB=jh!K2$QuBq{S2lCVo^zlqh5hJIt`i!D zH36Ko%#?GuO`8F(dUmtOQwyZW3B9_x<&Pi_SubTsOX}#4sg2gps|kiLCZxD3fc79O*@A>YAPYKB?w6HTp8kgk3#EhN9A~Uxocc`K?pUVs#c3(P-t$J z1H2v~*5eV&AlhoIdrJ475Plpd$;M%~JJZd(qt%ur_(d4?JEI`yFPhh?qA^SKo&-Ui zGI078*Y+Dh%L$fG*1gF#K<_wne4~l!_>xfQq%Cox#-9e9!uN^bM9rgKNv=CX@-#1I z)MyOCCVPwZwWs>1K*{ZiAHfv(^5cEUDq0DLqkn)!>9CBqd{Q;eh_PdlkC)bLiI-;U z-M&(}QW1$w(F;An+s9dfiW!r)NU6PjJSk<=V41>6*Qg*9+`w&p`UbEt0%m7UoTi zP|No%_TYj_lkiBCLX(c1b5m5$yq;|8uOWp3f#A3|EiIhZC+=Kj!iRzNG+x%F-? zV0DfYl{#eY(|6!ba(jHRBFaCGwv9`w5qFeKfuW)c&8g{}m6AMwIhgdF+tRY!D4Y+W z3e@!^HLL{pV0~@|wmBC=C`tmCXOZ)h5wZ_a;Q*YRr9*?^4EmQt?IpxDok@1P4r&~LZbdWfIL3K zy2j)yGOF44LE=Z$Uqwz8r*upk!;wI=LT9APKGIAP!w~>wW%Qk-ike0{4TEl9?I7xK z)YIxy<6oIlt(+%e^}9iNW|Wkgicy*MSTXH}_F><%3JWB+o!&~2D$K9wR|`w^9? z3Z~9qW3B%_jAb+`V3rB188ioAYHMr+&aLqVL&V$wd)D`|Si##EUIgNqbx#w`Ts%a3 z7gDf`VfA~6>+GPW>8kWmbQ($)JhbyWb$LTz?ay!E`|Hu1$@mS-fR;Bd)e?b0?gbN3 z#J_BuW2!&fn@<$}pR5~>o!FNIe$+GNvvfX~dT(kMOA~&c2ourUDBH>O!@?J<){?)T z-u&;a7uo*u-A}fH`|ya{7J`BZzec5=h147(phmcUlt-ESBDXxZ5s%LN5K{s-$kt~v z%ew0Rpv+eVS$?UX5cwWWYD&Pua`HVlmy0pJ@(#JvQeV2aN1x^Mxbdddu@pNeJ*4%F-ku^;TA`9|HP{_lF1i_{vdA=p*Al>a(Bs zema<2K;m6Qd)#+#b624Dsa^)6Sv0xObd@X<3XF<29o*rUx!9QdNxy_(9mx84rg5?e z&{rVg7p*7%?Xg4Y{wLZ7|Xnb4kF4 z4iIb)mK+OD#>01ILwwC}%NM6*z4l|M4qJJ*PPkJU)zJ?9(U7I078uM9Sof}|aj_Hp=u#>4)2hS*R1ru5H3Ul49=$z|X;ppwjLKpChn zPtVxnF8NEzet!xAA<^cM^;D^StNS{mpW^i8rech@f z`D){|Ro{}HrC%mV(HAHEi){b0h`;A04TT=H-{)odXKv3y#wzIf=e?-)DZA9Ts2iwK zW}%2xeminC-mvpgt`Xo7vaKi*0|MxrMTb`~w)$fu6Fdwi2Yq{kr83aA-K{q(C3JCA zKN2c?G}m5|MCMTClbqt zXP`1%JNx6UZ=(J_3uT`(MLpdIG$X2mrKZV!+!dIAEpeD}ZiA$2Bm2Ss0)LbeBrD}- z9{(p4ohK(*%}p#*5l@R@w#kuBex@A56sUP}sa;RWjPh%2DCpl@gXWcEp4Nzk%lXb3r9WU z-9M15&OMN9*ZyB`9te=tl{gjRPCkh5spFLU{4ci7DLAue>)Nqx+qP|+9oy;H$(y8O zc5K_WZQHi(x2*MeDnqSkstu~Ei|mR>I% zS|g<6jxEw249D&7h~91f*L6!5?&mi_p~ltr*WmY9=RYI?QQ-mzUnMo$4%zNzHhNv@ zJ*w*i4m^H0i4w5T5ciaHQfws+wsblz8;$PqF&G!FW@qh$PnAX>?P+8- znR<)IAs$fH)MWMBm)LT-tx~0WT;tL;iF? zbi`JEe@f{pK8;&&v)3Pibiy%~!kgop*=z5@{_WI|uvh@>!gk>Z8;ptQO3`lwN~$H; z`5<75o}Wazgq1en28`(zC|QaMy#51`kz~F!y5QQhg$S_g#s=Cxl=yVy%DfUC9<*Q+i^J6%KBfFQ{3IKL1787B^fJ zFtg-*S2+PE!F3-ab|!Cnh$6k4c^73Nh`31gKBq>>OAl3jpt`yEFNtn&iJr6;Az*9HKRS^)MH z-wH{0&5~%j2(Zck4l|CK+j6#X%$0Z)npI;L^`}MJ`FAATY9k<;UmNRb*E848y`@zr!BU_9SdFjPXn^E~Q6ajzyt` zt~S8D4+@jP=yn|_0ip9xe%H@)2JR_EUx{(CgZV|M{nF6}_i9YjR?R31MuH28Sh%VS zwYG3fi9+c3^l5QlmF*;@h++VOjhbQ($d8@jFNrN01r!TVm;fy_6F-p`FhZp zMLZ_@*c7Ttdjf7zq`R(ZP9Jzz(mdOx%JxTeTsOm+))1 zPotcaqFt7(@N%8q4{+@m31T>}#s=d*n=prdX-&HF+OHVRFuQMYy;xZgf&_mf=+~V) z9vb`B-}4dAAA@nq0Q~p|h85W+u3Fr~ey8!4&sASidW-Y*NOkfeD%XIZS1i_7!O?Jt zKQ)031yvyPlL=t0)oEm6kHUEIS)789oBz$KH{{Tgv@^#v9s<&KM1&iMp2GguC+h38 zSy~Er2n+!?4^Yt^i^H~fjn0P+0}F@dj5a;2291Zo*m=dON4 zg!27Bf7lzD?1Io~BJ0Iw1$(oHw#@~ZQlN$mY900&`i}+$UVH8s8Q6D1fTZMLjd}BV zODKW8OHfGBqlj3C7c1d4yz(Jk{*8tOjr!dH{cd_Oxr6de?F9Mi$8wFA7 zb?ya%XA5VX&ZrkY(`TxrAJ zvel6tPV2{Ck#>y>F7&uvC$r1zUWLa&BhncB^`~Rj%jyddyaU1EbfL_K zo+C@H^m4EpxOX6=0Zt_BU&;kR1>SSGT*urr7d3Fs36l_56X0<-scBVsJc6-#@m+&7 z#0IM3V-|(p{esoY#Hf}!r~tz(yu#}R1^Nd$#daSns}zu!)#mvOIsxjII3=j;MoqN1 zV$XFdR)xBN4o;;UE-=h@Slbe^Ia}O23yH#f?!JT9gp_$?W_7@31%xDHuJ};ol9F}( z`qZsyQBu|5^oF=;bi>v=2<^K?^KfLG<^i3~%*jAU)>m^yB5YW`Oc0Px(w>_?v>Jy- z;vvgHX*f#$OdRDW=(z}AT`P*2=0U?H@bENTF1GcA6qYk-sJPL z?l+?BV*xySy!@*ht@^9f%3ly zV|v%6Ir4;T590I$lDxw%PL|k>H}czuKHPVFXH-#SJK7F;0rT6aT4pMqM}FUb+;EO1 zLc5hUD1C06#Y;EezW&jIUmlA-4b64%*5~!*K}&WS;fI#lcKy<&K4ZgpIcSKtRGuPh zC?0R+k>d5gR-NuyWM{yAjB|p}m1E5gWv6y_{s7a|BJYr#L36xHl}^G_x7hby@72!n zA~g{D^JN!40`AkQu*-Sql5GN;4fDJrLfT@Y2aWPbtjtGaJn%e}M9}$77z}p7Fu=uj zud0a77HamczD9occ>fIiyj#6}#R~p(JcENPV~Hc-{!BFL>=N$Sd?)jLU@LYnX=Hx| zSs;QB%`<)iQ4c!8Z?1GpsWHm(MUYVT#z-U6*f9T;13Z;DWjER>k~Ye&lbfmm;XQ+{ zyghVue!GrTqcL_-nGU7dyRUzl+O>=+qH6m2j=W35jH)$|R9=?Dof@yijG}lrSq&f(3x5KaN^0@()1k0a z(wn|Y4*+XB1rv|HDKhFMzdojL^_l#?a~J_T39$n%fRte$&VTzTrYiPp!Dr6!pwYBm&qX>RR5?)#DK~J-Y%Jk z;5m%R&5n!9!L&sgzF)9@)gOtkjsjH_R2f7u32b2-np7&lPMAnCz$H8PA~#@8<*KpmT5o(YWW{HnuZ#cT2Fp zVBste0S`>iTI#kqA58=%@$x7C*N}GrKnI4_jv1!!&A4_~-Y@9SgktU8eWb!rYf2i= z14&gYkl$BG8?X^D8wN2%YIs%Xzrdh_nRjXm`q$ru5rz;8Z2OVVcvaN82vyX*K-C0^ zb9wo}`XCBB%?utA)=J|QzR=3L3X&Gm8auEBiw{WFianp!z7seSo(oItE|9ZOoh>5OxbiCd0`YhTz^ zI^K5F2YTknZe_pb-Mo~p)VPVT)-^`NX??Dn?h7pin?JN;-+?YtfHf!|`5rnVLZs!0 zmJVXRg+--0B4i=1&4qBQuSr!ofGFO!(hf+D9@hpPEYZ}&j&xL(P$;~I`Sogs zZnbWU7QwFg9_()JMwi(~xE&V8!`ErGb>0-o{Jf|goaTC3O-E!i%NsE301o`+Xa0@z zPq9w#l^GceYL*KL?p&>Lo-fZ!DuK^y;#XhcKdF}_@Y*&Zeb#VPlJ&?VN=@VUL$_kp z&sruYkO5TL(NO9Eh0v8%f$U@w=m zq7sVCyx_YDR7->!r?Cma02$BOHg{7rLL*J9=pjgWcRWI^&S~;`=n++J-f(w{a|LP_sKdw)diW zk9^zB6r$w>x?;yT)(32rxgNIEP2l_?W*TXNSCUjU>a}d;i;%R zqGC@S?jX1wDdlTIw69v$9>88~9U!OPqX%Uwg+>ER?Dv{`@~1CtG_t|+?NU!Yw(F-= z5X8hpL`n?;ZnHU63-3a}q3Y`n{5><{!|wQ@G|ugCj>nrT={bjT$dek!Th!loFx$IN z;sZox#fO@EW~Ehudu|Z~{apT^qt1pnUnE*8Q@Zu&&!_=Ta^86Y4G`1v;-}g_Oj0dE zgS4-gk8*N2%JO7tw(Lomkw*_rdf#NjHLSU00~SA8JAlmP-1aLo|1_={T za~iB&up9a}_yV^Nf;_0rw+BopkkV2G5c+|-$$Z1Ktl!3jp)5E+|ut<54cf);GO#m^E&dv?hEV}TK0-F;MA(~g!>~}+yaH*?n1%Qj~ z%Spg7fWj@xf+gEbP-L2PJ;}scWAigMAw*>_;cTt8T67&2U@n1Uuhc{m@(Cr;ODOxdZ%NY`$+zL&&VYo{?tW3TiA4)KcB_Qh3Ox z6mKCBxyj`wj8Tuj(WcUK ztB0vjAvcg!Ssah&gK(Mo>4-2=ncqZy=H7|i7j4in-Zvy;8f#C$?o}QIYc1c4MEzj^ z@J#&D@8?5NNxAsXxHaL*eyaCL?4nnU+lCGiv2b=q4QR?vGm6COS#^W^uF*->yjV{) zDL%WOr3cexziD%Lb`m{lB^uk8fRf<)xwr3OL+F6_ttuCHrhMQ7!z@6q^hK~rA=9Q* zHF?B8f{A#}{5HYdQx;U*>kQ1ctIjy#Zi)!=f|T{x_upQF+L=;^#n28W;!5Sr9Z|;w zs%bpshzcVC$DIxmR1WMNbpTbKZdkLiEm`H6nE5Z;!mh8JFVPomoS)PQ7Cs^^`s`Q|L*ekH ztWy@tp73#_I_7l>Y{3C27rW=)E|lC5#*UHkjnxvr{}w0Bk@E=N9>Z4F=etS(n+clD zNaqu3P@6%VAU0ge@t_B5hVtUrqg1xbUDR1w?-<;z+y${^q?7P^ly!p3$wvS9if{3F zfL@Qx4r^uyr74?5&h?^JK&i=umaZhz`gf)$V>|6bQX2&*3~YeQc~CI>o~XCDrt+`U zS;_=mE0FAPD9C@tnGBVY!FLHH|?72*#KOVt8cyka_OZ&&W5}NOz8_80v%xH@;-z6Ja7xo_0BD(-B3_cuhu(dTUk;P%yW`;mMo)UV-*?SFsH@| zR2y3(d_tlJgL(GR^lnD+!9c0GdVa4$T-90|xhDSA6?{^S(iDwsx%Ea@q1CcVe#E%4 zw+CFe7Tmyo!=dY+^}79NRPfR%Xn{Y*Cm+uHq<~u(;Q>(S^s$k+DA~$oEDB#x;8u-i zCt;?kb=?4GGy!76JYSL=LXDSl+6^QQ9$sks%-89Z`M9y_uJffax6OgU-6%00elAPx zvtJLd^EFG;skp0XKGq*+tHis@oYkxMmMmHhA)P#=V~r2mc1|?BS7|@A(0LL_DhEL> zC&g5(cLeCdv@N&JZ1aRauf>yvU=TwK6oZL+@NY}RwrD$69^cVmuFuQRNt|!TMg@Ei z`#zVky-c~;PC#;dX#_V6;f56MD|mw z2+*&d_vhC#P{3RmPm14&p*8!a`ZS3t8a<@gM$0S5l&O(vek&LG!0c5hpC(%f^I9 zZ3STQ06U0CI-hP=H?`E-y0{Hujt(=rI_(l3=g_YS#B@H?owpxJ@(0zDOFo#Kq<6e} zXS-V(d(Pv)GAYUv#yDS&@qj3CDeXrHhY^<@+JhKB8wv?^dT;b?1nIBXh-kbZ{i$`` zI@ljNa)%_$;ac67jVzG>E$jQSwGbcj69Gs{@Ka06mn4mIC#A7)smj1^T&(L{#fBby z9;~#O-Jp{G2rv&`ql&)%pVal6)@DE7Bp}6Q^hlrEK~`eLh|x9o;}WUsgxM= zcM>RXoQKw7F87NZvbjmii<|!U{_m34MTp=K3akKMpuDKz$R(!BL-p>6>Srlu7^ zd<6|rwneaH*(Uak>_2M=rCfV_LR$zAq)E@7YMTDMz@M@h%x}p_&?d3_$|eG9X|p@7 z6XSJc{h_&;kcrmNwyz&^jeIGt0qmNc`0q{62$EvCc$|{%jTQjb(shtZu0ys24`XOk zNR~r({mKD7a>`i_Sqd&+o6Y(#F5UC_Mv#v&1br5<(0*7ckMp_LeWW5N;9j!XR}kC& zb(fmwKG?sLdG&u|hYWjxoEE7OYgxaWB#r-F#7p*~1PfPQQ_HY7&ZVN8;&$9zWCL88IV zUqEk1y6*&-iq3j&;@Cc9T0ZBxNJ1H2TDjbYNv%;>>EwyDYPKPWF=%Vi^k%Ybr|{y3 zqAJm^fMn9v+p+*VgTg)S=Rn%cWtk{*=vC$91onNyW_uP4wxo^G_o z_$a*Tp79tU?VkEm@ECi2%zThU>5l6!Ee{w^H@Yzbw)wIf7B%NzbpOe|vqhKh0MN;A z9iRdh`7sKw>$qHF!OOhqq_z$iN;8~vb0XZ7;PpVFCpJ*r33Dptmm~$9#qSS2=ye(ep9@NET?!I5X<>#dAZd9fkAhEOv6wMi&N|dflo5H^}%WQ-{mM8axT*7R;AoZ9^(S2 zMohyWU7JyI_U9f6!0K6OU?i4mjsId1mC1yz_+ zL34MKs&QSne5xHpZn2F+N`+`poBY z=SvSF=qT+|8Ldt06ZnZHw@V=Ayf6T+KK5WE|E#HW!|X0JJFf6~WFhLQLPD3*iA(4S zRZaF@f@h}Ul=MqW>b2KNi0`JYp06aS=hYsWNbqY0n|$x}IVM!a%)F=tr$yy5=kiZ7 zy6s9e-U?Y1wQfh_jIX&^36eC%_>~29U(g_ZF~Zh8WWD< z?rt%Lxj0jd-rU zT6S!Zs=wC#L_5ER>3UGNjdTOW32{N4!4D0XlbJxWuIz{UX&_Uyu zAM>{gA-$D*Va_9d>-$X68|9kmHeyNTf|E&n zaef|)U>^}z;v@%lI8?6sPNACIGI$)%<*alCQu9#wp;_}+;ACJM5P&y2M@k9MFG~i- z5=Y^D?y#Sl{PIGNmo10fU+8GMp|YLeCfQu(FTi)mKm^5)u)^LrPZftCDo@n#QoFge-&P@ z-GM&tuRymzDZ9Yj!q`pU=eBO2RKM>ZyD{^A(t|YfC8rFyW2GQsbp?I+E9l(DDf-)% zMh+}eqHVigJV^x)T&HWNoInZ}S7zJ!jsy8z&!a5}PtWy{-VMKR%F#lS|eZFP%&2?&&KH&pS~wDEU8;C`EW*8c#zJvRB0Ma4~!yNgTX znl&qD{)!Y}Gojr4d1RXisEQh_PKvv2VnON97+jwk@LKQIAi}kfp2_(pDIY{2`wc;{8K7 zI9_={*Y%@?Nb?ga;7$oQwG6UP9PSOMD7{>@#*}do zuK*#Z2)%Cz9Yw-G0g+wo2AYDT4^W1K>DVaqYxI4qCnOUcA{jCg*5raxg2I)$C!bOf z_N)a&5|RBI!@>N z`yPq8t#+i+Wt<O zRr5^!1j}k^-oV7Ovf1%2e#s~Ht$K+G{?5eeu9Onuiy)d*AJEQ>oi2JcPOTw-_yrQ> z^|8>xDLD5drdo^9z#Iep`|ERJN>T8~$)jX7z!^yRG9Dv%drxKzbh~fFhBf(>fF5rg)qFN0m}w`L6gUq^Do8hpuj8Q-RWP4n@mh9Ra19z_vdEAdkcz*RGT_#Ry|^>2N;(r!YD5b~??ThRvznb!)>4>B(i z|2M`lN}G-sYQhPh-z}bZvR#({<_k@Cx+7Z_&k$YtCap8FkFBPBJzj?NJsAT06eWk* zIe2F};!eC$JKRu9*wJHm5rlQBu!&# zqU6?Ib|R8+6X#DTG^6fUfRUMdNQ9*u(#8z_L=bNGIOv8P%PLv9xScKQ02U#RdtAOw zLl5BwMLpaZt+8mW`=|{9EdqzRT=}4bu<0O~4Zwk|v<`I%x@lbNDi$Fn{&{p`J%@#lL*nXFpvVmp(?B`nuKivO*8CCO2JAETg1jA(!!E8CB5xQ@2UW_ z&ZsyiAODJnu*dQ{+z;r;!1DmKm z_N@1|Mv)H}zy-%bXSbDpq|;(uN(`zLg$cm#8hdOrM4hd~sDKLt;@EEHy}n z&YQ8=piAo~drjl`s3IC(S@*Y=`9s+*6Cr8LEnqg2g&G~IiZ>P%bb22E+lL71ZgAhPk6L;P>H}(xC4gW*;_-$el(TU_gp8cIagL)+ono@)R-J1kyKL_;d-+twG`zazh zvMKshfZCqreyi%uCd*}Tk4*c>;8}gl=3kM4cQp04U*M8#sa+nQa&TUGZ@Ki%S{oNAPhE zUGBr5d>!@VO|)yc>d}j(G)0z8trbt>sg~{f0CdChk%IN-AcM=M?@EH^C?tC!E2gY! z=k%(#Onsd-fJ4;7sotA4C^^}U5RC6NXES;w}MKi}TWQPum@s-&o~{uTMm>wNOwW6#H@_$2p4neplK=cm?p@2WM1H$!qH3Cwo=RvL-(jHbTex z#-rb5qJLf;8)8OH8A}H?RLpzLFj6-97SEq>o91!CT}c$F5VU%C|6!A_NFm&NQGS1s zeE(1%zVUwLH^GDSGeFaFUduVdyG6O!>3eOD%QlQgq)<0}U!H^FRm&^Z6Y{6tk3`k2 z)B(h~v{JMN4AY4te34cgUw5yNkd7bd(6gLF0Wv|pY9*aZ-PDFolF(D zG09vud>#ZZZ;5xix)Ymk=|SnZV;V1S1+PZ8TW+<(W<8j)hu5^=CjU`q*oX)=8*=}f z(MtArK;22LZ?ZPN0K$IHA%M2=PD1if+6(|6qeUZmIoi6R#lD@-to1Q~5tXqISKt<- z1tRby-7Ud&tOHjmYBXnRUQ#(p4WF)923nE45E5v1dxH15|h-kccm`9BtiFI27lf+{lb+z%*4vhg(oY(WB?L z^@wAPo8V>Z9?D_~k~CS3ztCo$sS?7Tz5XU4vPj!x;gh+q4S~m{UIut>qyTi!{m~6k zULdbyyWi0L+5=M5;sqkE!zS$$FYUG&SXNscxo(czgptYNW+>^Z{fTL3p(pPOeUj?5JjVbGm~mI2C|SC(htPU$6gf>-ql2Y;J6#|fOQA+;v|5&)wM&G3k}3d|WIr`#&aZ01RmSeFj-{2}X8p~N6MFih)x z#6aL8Z!qmr(0m8T^h}P#2++tpMAY^hq-vC+#GaUvf8#(R2 z70a&HWAt&P8(M*m5RiXDr!tgpk@bb3?XmKI1*yL!*UpJjUfjqt@eZKA!LJ)sVqpkqPLUq)2#)_{y}7OhL1B% z7O0Mg`Qh33>MP}2VT;}{!p zq9nd*+jM3F<>uK7%mer0K0m?$8TLhN#mV#r;CT@cfaViI`q6o~xNT!gh>rP+(&_-m z4sAr~GxQz5zKeXIb(N(uqzuy3xFjUMQ5h&=ho4cC8u6Qv6_-Q}B6%)`XN&yQ1(~te zR4;DKgwmEz0rtlu3VP0DWnV4w78u!Z(V|CpXz>&!B&Q4JNx+M3wXPVjeUrP09+#7_ z=zQuN#K?}doJ+_nSk;;Mx_hFi1wl}I^O7@nTaSIf?V6CI)o@BmosaMrWPN#Rh@G~B zCFH%tZ#!}^Lo-c@vj`nW-&&_fxdpR7|MgQ1&xts&fH5V#epP{`M9p%D9R{p))?z6L z(Tn6nx4qd^a&Z!@Uyb>VKCklH%BBQ<-WZ8)jN4f>p^9tc0%2&|6b##5-_dS;4uz5~ zFp+{Ep+sbediPfGKsk0mV1K0J8DQ!5Z&4Lfl~F0Ek1CvDxUX5Ja9kXa!_y)sbK|Gi zDZ|Q00cuCWbcx0K!pn`qZSU686S#u|rrKReqk&&|gwGe=-<#j@3+h{) z;VUE^I*r4GZj{M`=I-k5u6j8n-f^dms#{YQl1kg-yDqq`jb0N;e2IN1{dzizDiiCbpYd zzysLz3TR#{53M}+5bDF_tW>t1WC8I%#~7ho=wlqx#%^R9|8G|*IpN;UMHObp^q&KC zfyN$&Sxnj=7vDQdP8U3i3*y;cug}X2wbS&E6aBV{Yx_O(osf=$L!sboUJ8oC@SBKV zL^*T(SfoY1Od9nS+aFzgQtW#O@g`;K0CweJuDB=FW=umpeEo!aKUJKl)fg<4n>-0l;U99AwXY0Dq?jGA0qdQTQ^!Q-Ka{1x2N5C zE|pw?cbToV;_x9 zB@^TcvVXL`o;I{Q{@V>YtB*pM=;_`?sJ%afSAY?6mjq=KgIirgZD<#om19bhqS~y) z&zuWeDe!WijMZPf+Dhi%+6e+Mc{3F-q?XmFvT|fpk=0e%iDWqdntUopX0hY4KlP45 z8IxDZgy`cmkJaVF3S9u>1^F$xJcvR3e`Oxww8#(Ec)piEaX1Y8})74#rNt=l!gzn!b`q0tL6rmIYy&i2eNm(M2NZD=2bkhSfr220zL-BhAYAN&djRP*g2a;7ECvk0Ooh<}&D-a2xwKV{-t5D zBRH_ZtJ)-?@LaD(d66F4%Y?put;HQ(dO`eWGKQ;60@ECvVsm#U52wCuwwV?k;ox%_ zi`vBSu0yB7-mBM6FwA*MmPJ2OlI|_+Y4eE`!`KUPU4XIH?7@keBrHD|NQ}k7E3|Kc z$Ha+Ft}4SIts+$@-3fyY3*g{-Bp}o3bIT`h_sz_N{7a&MBtd2u$cA%Ole6DE_}=+) zdERYmxt)MO@PMLhzzj@|b}KcX8cG}1>(lnE0HP0~=#Nf1Pb{`ZFx@LtsCHide(vy- z-V%ZQCOo3qjywS!wl$pX&FcHwixwI(&fTSqHZ%O38l-vLwwz?rJ%C|JOtksVwnX)Y z+&H89=kxm}@T1*4zvD2lTj`BkqilQ(u~w1ZW7sT`+;L%C_G8rxc0+c!pU(48FB5Cg;XXV_bmh#YNeny40<~GR3%xD+W7+xf4wA`&-u8XU$ zybWKcXWmON3C^-_9H29!pTy}ol!#K%oH?wYdRaHb&M5fzBB@!4eT#Rd>tIgaINAvU ztR78blCVc+{PNlgNFaG)Y7M}?c&1-BYs;)mi}lOp>9cM4**=$$lK;t}4}XI0+*INO z%E6cQjJqoBF>_PSOMsZ%XwvFR_2jri;wI3gVudo~IeHoY24J_qSuQ=bAp^)PDk!bl+4eXK41m4I=v{d3EbuN|(}h`kHc!XmnN-l(E!rh16|SG2eY0EQn>8a!^YrO$-x)-t+98}8z5*Rg)i$S`=o=w(?>y+ASWSi z|U_vCUJ+iQbd`dy`J6A~-O}LJk^to{>5b)SZd(_? zz0jz61Xx*=@;13Tf?Mcz8H)))B|MrGJC}+f-?h2#Bq1W#bnwmD8P(3F?u9WrhCT(l zYIA9u*cOt=(k6(FX~J(+?t|lsq&xeYc;aW|&X+RV-Tjg~#cZGKTZZB-^*NyG+3J&_ zHlFz9Y=7eQ=d!&q#Vs3GXJ;uy);<+pT-EM}4lvp;>R)HeL7s|6vHrwcs6aO9+F*i# zUSlSuAm97>8UeF)agN27A?W=?fGDtwyR&An8WZ++)c+0BXq+gKYt)KPwNdy+*mT=< z=5DhMr;IzWBfsr08WoDdA3MJIw?wG4lD)boUy+whMI!v9qT9%PmytStiwj~8l15|4 zH^8B(iS}HRQu#=}NGTS56wg)o!-7SP-{D88i+C?aT^E%<+eFkGTMVb2?c|>;E)`}B zy$Xqy;xfcpYa^^To^Np*%+7J>m9viaLeYX@2La#bh@7u#zn6;#>>QC7gMrhGzYD(M z(nG+PbBMor{wVKV2z38^)9*ol%lwt9eF9{u)!%qPJKuNo*XSea3X}k+%#8IOIpa9I zWkTo*5c)szUtI_pv`rhImAdE00yXKf^Rx+6U&tezOO-*8kvDx93xUibzC98b$Xf%= zu3>bA73~M(W52S4wWv%^1uv%z3_gs9X)(@he?Y^Bj4JSJw9xkd5*7)N z+{xcl3c!xOI5K7w@3UF(cxJ%*c)eYsYi__Io*ZXA3jcE2oADgFYyvlMQA90+?8#Z^ zy*V+x{oscG^iu%s$;p81!L0nogav>;Q7!`Ae`%3(X59dY#`tZUOj0%-lAr0@-De&= zOx=AkgSo3B`!hGijTA2OnMz!hQ!{Szf$-zFMeY7QDg+wL;i=ZZlqHfeed`N*wJpZd zFq$wIlv5rf1MU&rv>6gsPmGd^EJBE*K;CQC{dCvCxm*?L>j=II)^IJ#35ZGC(FR+7 zX-i#r*PR^mWjJmWz;ynV6WR7AfZ4l}e)}i=>v!%{aPg*5R(yOn<1;;V250y>JS$OO zZp9#13NFQjB-|2Sv#fzWFZixZW^8vFm#m8T{G z>xnH5yFFcCNubITdetfI2T*$0ReB8vx;2U(8_qwD9-F4MVMjXt-#&M)SZ`$1ku@7H zM$_JTr`E^yU~K#G{CH&dHE^Z$-iEjm6GTBNf9&ZRu~1L>lAKyn*@?rH!piMfvHOK+ z(mX56!=X6o{w==Y57AfQz6dt(R|BB)5YAKmkmMeKaK9Ow z1daZ(R{Hw4q(>|^B=PPKF@WjU_z$u|Z(>iG3MV$A==R>F8;*=rq9OEkl=iV(t8pEA zJ-P)UEMg#UDRz<9k%!iOKozLJ^)q2*6F#rI1M2|Y8~s$0OX>ykch|O8-31?){@%b~ ze-fa*`*p$C03SdRi8gEF1cj%zVJrguQ0*KR&DG?{(|gW5q54!CCP2-hY&?8VxYH`o z?9sxHy(ejRzxqB3r8?H^V#J_?VE>>gp>P_}j-cF*yxE{&#xo=mB{S2H?3>B6(P?ux zJ8fw;@$a7nTRl?6)=I~Wbyq1_uS{9IA$omSQejueU_gLs6}-1j3sk>&^#gbNliLe? zn~}L50h=~l_X)3Bk@BnbeI1JA4;En1X$&R*gAtl3(~6OLJMb03`Xt7+swwhHEW;t~ zp1SOo>QhBPeC*em;+tz{t%v{&=&13=47>Gcv~P|QykLd-FZWOnNspxx#3KLm% z!kB5wQUX@=?gD&B7Hb;5d@?f8KdM7%*L#Lr>wdNBh%B~-+*czC)m4X)+p-ZNHSl#e ztL|6VN}a013AwjaYo;XPMyDc#sxcy-8#na)c?19>tnLCmThk~bkDy}td8H6X8SmCd zK0o+dUcC&Cvft{ERr1UAW`8-fWA|Wp=3+pxhcF5LUsYcLR7caa%fVejaCetLa5%WT zJHdmy+ri!4oj`DR2@b*C-QC?T@B97Vz5m^s-JYH5o}Jp-o!Z%c`sutZVq7m&Idc>$ zSTD?o4B}nsDLbF~s^4$1a7=3&DxZi9!wqgpU7?U|Zpy1`kopOW z8_Vr?F|of*zm6GLy@B!=|C-l-uiDvDN3D#S{q!<)_T#bo8Pf)TJ$0_Wi<5HLalETH zJkVaatayZQS}i2ed5*MZI9p84vah~J{Z_-SGk3QaTKi^BzT#8-a}=IE(l_lJSH&Qr z|Ako!3l1ABVcy!#cSxMfY2dlNcZUEHJ)DE90mS@Is_;v(vjxy>-v)S`3heAJp90Tm zHV>;+?;p}pZ5mh6YDIRbr_K-5X%=D&3IQfbhq#}_Cd0Y%nOv#`^b$(h;+3wPSgjE?t|r`i8&T`^mqTpo&&%RMAZ$ z#>+Ks{~lMo4}Sn{LvxmrF$u)kuxHc7G6G=HSqay?cs+2+t(An`*s7j`89DLYg+&~zGya=D2}LM8>X2eX3MDumiP=Phg@EIlIk);k&p zI`43lp*8|A%gAz{Vcku{9#jyqIp=*XIwDuKRT>DZQ9hp+7vmwITj0KQzF*T;;=LW( zap^f>V|wxN`F~356>dnHjOBG-1Occ_ZB2!Box`C-C+w6&?UM#`9Ync94aFhj9#pi6 zO9Qg~^>vl_$T`uUF82c#-T;YJP?)A!37Eu>h|6t9bht%Ts^OSl?# zug}*Z2i3Bds&Dynn9!oPrFqp#5Tv!%Hj>}0^RTo1h-La!?9-)FR&7zY{Vhaihi-rQ2J3{AeOCl)DW!|If*8$>@o4q6H<@`Q6F zeI;H$8q9_z<~3j;!GJ*F0DRzGAi4dd&1pTrlfy;TrWEN*h9jskaS)re3`0dp;1j6( z+98EIK3~n|?GYwsQ8W%8To!ME_a489yz|$#nc_aN^(wJdk+P47(%DEO9*UQ;5K#wW zO^_M7gp056JT?~`p4z!b2_!koKXx)W40jRNNF8nNAFxV9*D;m0oUr;BzOIV+t0k9l zM1l{?*e1@d=y=rOo2-*FoY-+#b|D4<;hZ85KFZPurOix;*RAjXy2c^2hUk(9!w!=r zgj;7^KWpafvEIQf=XC|MF8Ki&B|W zU^*$nhxNaEr?^=L1J;o2u%hhccvsGjc&=IZh=)ac+&JhazGD4`-lLTyd*rLNdd zg|@a7FwpnL(r$0nkc zk)lQFj;(vC7?RKrXxmFe3CRW7g&mP-a(NdsJW%Z@j9*8*mHZzd`5K%aN9<#d|E7diuH_R|RW4`!cSfSOoiMW8grn0{}suCB4;;VjBp0x$^ry1Lu_UnrV z?MRyNHvy`CsjLC4e2}%h>=X4>S2LaTd&9UTN4b8QHl>r%;_XQ1x-w@FZQOFxZ-Eq~ zD0uDZ%5@Epax%|NEHp}k=ID>vjhjhL+p zh*ESz<4wpdu>FY4+8}2;m}2Q{K+ZJ%Ec+{#e)tQlcMaQm6FbrA_`axZIR$iG?r`oI zfj0jOVMP8p0fzLnGgjcYUU!&RhuGZX-AC1r)!dGx?N!u z;7>c%w&79eMFppyKRw!L5Sx)r2H~hp$URu3pjFWN>WqByuxy|Gub8&zXXdsLvw!j@ zCuP$-Q*7WlNFDwBZK3HV)LF}XiBN;+I{bK&fZ>$wZ6B>V!_(*k1@5}xK{2OmIt_BW zFSY1Wm!VZGcC;oclL$X7^;t$yI@Fx&yWoAPgy9Mz!cZnw_{D6vMXrYa)74X$Nugys z(?e4@_gt6D5`Qdc$z?F5)KOGD)82{*Wm1_#CevBRu4!TRZ_K%1Nig9Rx?#*CT!;8; z;3Aoi(CJ^^ZyRKUY+>3f2gPP2QU##zC11solguTeN_TgUHH9TgxdT-Nzg*ciu(o;K zOWEa9YA6?6nj62_0A=16Tf8(i#NUuxA`x z)o~$N@glQJ6TPBmAgHDYJx9g4zB*zGwLuN{LGE?N*n3i+P9FtfS10CU^?(u|@=7q( z4lC>2JI?=hkyd^$;6>87X==%Fv%zp(n2~|43!*$4xJ{1Vr3#gskO-Em(&onVUA2c8a$)-PlE*D%#M1F|RKifg^ngf>;2}kX@-{|m z?y{O!QGZkWN=i-G7bILK8(#i%xi_+miT_?ODB0 zh+U-AGbHp&)vPLjSPyh}(9K2=U(Rrsbyh`8!#$jcjDs#I@8uOYl2|BWkUWw_Aov-# zZ3Upl_4#XJkr>?4?6&v4r6y~F>02Hozn^<9qRU%qklf}=tXM#=$RH*=r&^6N>UUMM zSAQmP2i}kuHc&47MTlbamZ_b@^iLvXus7U9C}Q{#A2%EM%D09SHijE%LBiK65{X>v1EWTr#`Az^RznW%it($_LlE6~1oRy&28#^eo$BPp-A7%=ymQ5cvn*bob&e($v{2t<`% zDY+r=h}DL;M8JBTE5kroasX`ILREHo?VY{OBAlQ2z%?urz^px)vmed`7Y;S(j-A9% zYyhw4ic^vFC4jVNEd8{h80mmEt)gp9eq9g_!^I#8k5Q>7y1aYaHlhxa59+QqwIVFJ*=^Y3X z^OZV8FmQ?MDdQoS4{|ay1(r=&I6|(&&T_Q1a)O=VCA2RxemgyXNkDAE1JCwbae}vV zyLI2s2m!&b$Vtk@EE4pKdE0hij=O$-7(s!5~Jt1y`4)L~Dt$Iei&AR5snI5V_$(4o0o!{y?(8j7yE%-O-cvLy6raTrS z$;bAvV#?-zja=u{70^$Uq97{n`%RIGgIAHR!?Ys*fCuqhpWE{L(xS~nP9)IHZe(NE zy~!<6aDg)gL4nclLx2XH`E%bY?*6%!htXbzU-W8BcFJ$DJ8bN~RF-@b>N)Kaf910u zwW>vmU=OWB<77n?|M=<=LOAR#|Mz@2+fU>{TVAPJl3|mMZ|6ZMjWn-_E;i=N6sy zLKQn;4#eICLap4#{5A02tLg<|#)~pfv*Z`lZ_u}Met|`^iew|McMl)=N{)DC&$r@;w}v!Ux_%?=``r?@(;rc9zC;Y(f<<<|n1FfRlg zO-T}tk;JR%aB7f?Ruw!5JRV=Piid}y%>NZF4}P1)V-WL+xsU*km93mah$0wT+jB?? z(oLavjjaRhZmNc(aVI<@ui96vX{1j5l}pF@;OC}uQnq|FonYQADir@?l1A}PmkSFgvYEPn74UlBEO}FZJvx| zV?Xe`1w6pElG^BAp;jN8cCuT7EyTo52F#ny#$pEX^S#=ucnY^kIu?(iJ!JdP@B^kA zr0YrVCuxZ2H*lLxlZBp;!|G-Q`yb~CXw&J^Ht(2vUR?BgDrU%Jo1*y;4VT+@23Pro zqEWu+LReN?z25vF;9(R>W3XTPY2PxjVI6ST#DfL~!bs^cdkxHp9cavCEi~}4(F!xP z8bu(MibvvuYLH8BtdI{N8u2y3J(P})a2uKK=-7iOA{ggE&u6yui!}L6eRbH&17IWz z3}b9l6)qyXe9v6DAwt0)4cWk7-nT=DOz5VmYmT;1}E0SRknIWez(#iw!^R z%emvoJAVOD8tZl(7a3t%oi|~c{_mY!Y|Squ*!UorjE&R_H-LJFPsAcTq0xxm))pXG zBqr(`ap2%Wd346xfxY3c=`rR{!jsz)YF;^|bHYJ!LFoe5ljz9tjgs@fC_RYh>Xb7Z zRz|P!w$o?vekSJLujf(DCmu3}7{1nyL_$FG2Ql@ZGr^wCvpBhXN?FqvTQpaM*65oyzD(4$Pa|La##{~iGPte>Qv65Y+3o;7z!rasHvXpw1@(D6c5i%FCRku1m+#0l-M@AZ*(Lu-@EmY|K)GUoY65p^rvHXhxoW7 z1?+patv+9fEf{ydC-txD)U(y1>(^j=j08=@fiDV1Hs!Ky_+$lz0`BGQ{^@a^slg1( zjS(yakEF&|?6V;@+(1(oR81p&E1&{0en6N5=1a}lbI>zgAb99cVaniV#arD0NRy2X^x>7li~CHwTb z+yp#^2rEq;AwzQp%D6URqpqNLQdlg!1rDeUiG!NqlROSV8TyjNU9=!I)ac?BBWN?} zMwsImRoZH(S8H-hM>HaC%%twP2IHpHM#+;jo)=E7jb+s#cHiGA7FChNXcDgn%ClRny8wFXJ2r1vxQGu9ut0W(D$W6KxgS;M|0dRO3!$o7nv(V z3Z1DPw~d>(03OjwF-r7&v%kT=krug*P$*Wgd~IauD03|4a8bqjb@v2P)_UGZ%zWc0 zqWF+CpX&I%G~4wm7b*-|2~nHrSDTPRPI*^tKtQu+9Q(UWIJ$6_IwwJiK2na_u#;3V zM^!4=Zi<2!Up;nlMr-`@F1iY5?23(yr_=N&t>G|hdX;e_76{wH>V!v!s$Q30&9)Lr zXTCUPv-BNFJD91DKTq;8f6fo7U-q&<^f%QM|1zPa+_<%M?;8u~6a(61SaH;G?FEp`r01cBNgNEI@EnZY%u5wqV6AUyh6{WiRk69W&#EWvz>~FjN5ie{ zH4<*29PK}$D&;4j`)$e}anepn&)CnhuX-8qD`8eTi5!786*Kx1+%Okb6(l}qfH zk6I*;2ED7vehI8>4LbiBd&gx2PE`p0a*%eD%^L|hO%9UzF(TjFx3M-)M$AW=^ow#9 z?lVc)y^eJg2i`=#4Sr0{d-&KIfE6HW*An;($E;zWwbhIl&$a zwIOA{rDYYUud6birbFjvK?E!nRZ50+OT*pRbj5s;GQ{BX#%Bz`b72M!!;z_&Tx;4? zyp3snd&Ckj-X_@w@|C zZgD#KJSI#_c~5%iX(I5>!eTq%GCZp;PJRDG}B z09+-s)?l(JTY5sN)n$~OUDU7*#$|KrlO7HQu>U0GGz!TZfvK+kZ7Up4nvJSEZdGTc zkWyHZhNSvC9HtLO^-nkaQmnx2{*nP_vwkW}cy55|wE#F9%69i*C?A(H?l6wjIYHQt zlvg?SV=f!s^65Rzcw$^!LI?fn@bV%FbL8ncj4oP|7{j7C#8Xx;5SNEtFbXic>HbhF zlQNG12m+DyH?eK=RWW(+7Gv;bCqxiV6w?ytkDCwQ9K4hS1wuO`+|L={N#LvJNORjM zc1Z0W?mIn1Ht22@=I__er1pi6$Qcc|8dU49H54y|{l^uo2>SgAd87&c7xJj!q(vwn zK{zE`9#wE^{YPe+wF3Ya^WOZ8TlpB-R7Ne(3ee>e1D-ASNfeJ>0}U{UIWLZaFB zhbFSCK`Bfb#{v+l7&iU@MQSN2H9hW@zaIx)P-`cDWUpfgL#(VvQUtI8{Gjov z59ObP@jsH-3>J8HKD2p^_?|hucQQr^ws=HF7>QCzAVGf9Hrm6QeYtTA2xt9@)+4B; zI(D@q@D{r@ib~BrXd2-z29O9!8!$S-#|-dLKE!inKR7uR3cROeRif(-iHG{Q7xhDHYOSS ze%ueSP_oT(PhY5hhLo97LEo0kfHXTNZo+Vx?28a;k^(OCoL93pnj+6zI3mnEcf6vX zlJC>ynIf~_fITo;!9QT6_nq;$Ud%^QGd8m`;3{^5ez3*N(z`!mGpQSV0!UJHF&Nz{ zRIfsl%jy<1&(2!g5A8kKsW8Wm<$RM_`KTLX&d5xvZ#X25YWHxbsP`x>hM2oFEaAfx zeR8tqhvWFJ4dFYEpNxi8v*pedsP)LSAEd82IN3=B#4{I@2RoT3;%9ij{!Ka0ew%*f zCgT{FA)g@wcQqzx>)f$U0S76yWw2Cx{w9Q9xpsZ^;kuXJ?7t7ca`ZD-H_N$+*ot^` zt7+tr#Gw3H)NyARLF9rtfRfzz$^)5vIQ7K>qcpArHuDA4O_OfaiMjInY&C6VP!!De z4tw=}#eJ_CDQH~Ihlxa??|ZoT%w^$el7$(1UXJ9rx`K%VlOTq4Mh=>qeB}4-yA%ckxBDbIN`bMUZ7{>i2*GKSNYb4Zw~# zm33E5Zw*ANC{VS$0|!mgvf4znNI$qT9%#D=HZpOwxEHW=r<@|l;MtyR7xsIQJI|On zZ#gswMnYD9W^_1edBO~&3Z9)7CDOi_N)IL=hGYn@g54lR&RuDc&Et%qXlrAWl;Ks! zyjl8Pu{s-%70a>B60+8&v*_z=8xpqLkgtz-EnW!vdWF(DwhwX}J2k_@gd^&A8Px|; zA6?E0ABP2TS#vTvMThgcZ155OAj%88Fza@9i2OpRs1OC)JK1v^T#({cEGjK79O|R z-S>o0Mm|tsJxqkDsE7U;v7&Z+J5e5BeZh_ju{Z^}&#r!ZFh~6p!!bBQb{C9WxC50@ zqtB0P839|uIjL-#-|>=6S!@B_GCFY$z6-2A+mJvaxO9+~IG+--2Tp&NS|_jI)b?>v zn@|Cqt14>cS@YQ8;b`Kx)b^9PFyd1pwlJ`0FjhY7+pco{;E@y4@@54zQ+!;K)7W0R zzt0h5-h@m1YJE|REQt~HdQ%CS0JqZoqcolBdeKY2?sZYltBcN4N4pqirXbq{!r1E9 zy}z{YgrT7M1>ZkJUIqrc(C_@|3zJ-6{A?Dcw{cpORn8bN@@cVn)t3(jn|3Bk@&0h$ zREnk0W)c3Wdp4wA_wx1%8AZgq-`B-PTMe%Gj5?hUYA2Di+F;P8L{rEgtE#;d=+`hh z{}`Rvu22Uj_Sl}vqI!FhzC*AXZvPm(=7;HNUmXK6!$WsUBM}Pzd@tDrLr%g0+A;uF zp`9co;AA%qS~MD=bT+kWU9CZ51noo7YlrvU;oy}SA3Z_~2x@A(l}*`EY|@+>L+>rl z!q{BKGVL5vdi1Y3+jGw>;D|Qhb2hntuS9KlL$^;V2hg}fsou?gGU(bJSZ0ULl&$B()(iKI=j;ztb++EA2$|^aouAPzb=8Q>Y z4-c&q@8CVY0z!+9)YlXGQl0vd@)}XA$9?Hvn8jG= zVCl!(+9U$i_0z_u9kQ$()a)to?fO%DUeAqu^}ouV6DRB`(RFjKYjy4O{U9Wx z>H6Q6TV!}AW#^5F@tN7dzg0~AE~r{!dT0_in?W`8LGX?|Nzg11dao>K7~|}SB=#y6 z!!6_d zj^956NGh?+9yqe(mAEt8;bD(es%YlfhpaLT!>8=LWHj))T71L;?a>1--eEz+_lAl; zGM{c+D=0@gLPoF4u@V;}bs)QqXbxd)v|oF5Zz5#2yNOS&aG!bul2Vi;lfto;C>NDO zec(l~sz?*Ov3la}mqotbB&6d@d*z>>DD_J+^pB+*bh2Je$}qk({6 zNC#(QC;B(_7EvK_-b1K+mN(r<*U8${@7iqZ!XZKx538lNP;Fe+C8k^yYIT{@Wtwv4 zv7VQn@mSAJL?(1UL_h+1-qZ#|7GOvFGb7Znp9yA{(xy8nC~xH4qa>pT_JKO(uO<;A z`!mvjo=&jvda@fZWQg}`<~6Yn_V-YWo~m3|^i#eHcN<~MG5Hs9prEER^$Ib0xJ3RB z0x-ussZRt{wEuG|%O103o%Sj%uHPe$In4Y)WvFSs@(>Z?_5#DKkdd%@wxEauSWzGZTW z>nY){b25L$HA9$DB733#S+?6Ut(2s1j@! z_U>NO$Y0n0=?%}p;^USbvElJjTnM%Y&< z1YrWPiC9&FeEK6R5UfO(fAC}r9E0)E#r7YQECEsp_AlPT0+;$-db>V-6OCWdt-NiJ zgdF;H<1b_K)Z;$7?)W59`pE%Q^wD|Hd;LQeu;4Jq_L!@iA4ngH3HS{tQPAj!XNzK* z#Mk_Rl)i6`@jB>3^C{RA074K5lO?=15g8cr!ZT2eO-U0E8;;kC#?#WET<9|;zjAB= z$$r{7&Qcf_rJHRV9V4I9!Ckt7;0pSTq8_4?Eq`YkvtDJLoYqp?2ZnxIitv z;6mP*x+QT~u>XW}3Qavn?8(Es2r4;zb7F>rWg z^0<<-cB^QTL5_s{%vq6ZELtb84Df;R75X$!k>hkl)Ap;*_)zSX`Mw*_I$_ z9x)(L)MY*vg@7dLY{X<$Q%;}&yP4jdoZiv!x zvGis@hP<|6%-~0hB@&P?UpnS|ij4a<^u3+0`G(!^Ml@s7&0!m3587jv0XBm75G#`KO4{@#yPs>CFht z#sfH6ZE@#_xFEjlorm-psmWz2DQ?K%Mx_vRV|jG9%zf!$9xs1a%V1k)tBy9PcK)Xb zyn!*CVDn!NG$qJGd(HY&BAPznZ5?|LEher41f@Z`rGYEYi4{jgXGRDjWP%_|9wTtv z9~`j?BnKOaoR5dPFEh~JxGBP?Xmlgx!VI0Hz81{zg-^A6s++Om_Wh270utJ5B@D!I zNKlGvV$#=2c;rGwv`f;Q;{w90)!?U#pbcl z9&1y*W_xM;>l8xFyrGFH!uIcV1A}B6X6~14r_-1VkZ8A|!l`^1Rb+H|b@Z)5TIzj_ ztT0PE2zuFUyS|xdjsoL{T*N>7@MBpGk%yLi$-}Z6(nw>dk*w!jWC=mbCq7n3M5rtp zccI+?8K@qrk{Q*D-4>zu4)gM!=Dr%KXe5}XPN6|KXod!2ff}i4AsW7h z2+)GYrXj5(X4$Bi!J@^qWI|yKrs61_y&q=TtX0hplJ2iad{9(U$D?UhV$Z!;#1+zz&&L!|o?%GXq zSODs3hqo^Z*e|hJA~0sp#IGLjdxJR@UCcRGI9eA?9N8xt{Fg@C;*0Y(5IG{Qq$40K zpLfjlZ2Ddg1e_M^WX{^uh$6+>?h-axJ!0|RW4{9zMD+c5LdBgQxfx%W?`94>zEEg? z#tHOwAh1i091D>JtW;1vo4r1tKUeX;d0BV7UtP>sRq=bdz3tp>boEC@`+^V#>S4_* zIS7AwEE<@-TtSqd*lvK_Zq(mj7Cu04=OL~Oppc>tZ`Ze-2O@qgThOz9N8@_eyWQLQ z*aUz3yMD*VQ}0U-&nV=$67I_i{)5gGfOd29^vD`$oMP3=EzT9!xDnTnflu+Y|1@7fCb_oB{~KGQ%VUF;0w%u z%|2W3Qlc3EUsFOD0hs?PWg#_K)Fc3L_(ciuk`q|JB9+Z{=SJj+nB?0HFQvnDA0ynLbCL#qhrd_HSoSDR4{x zs{hw{X^K1(fDGn;MwQad1mHmW=SqTQ`4=7-U|>rrP|N^2qJNs+SM05}Wx>Gy*|Gn> xi%+G&I>2Z1{{fPRGCKeO diff --git a/doc/OpenSTA.pdf b/doc/OpenSTA.pdf index 72f6f7cbcae3cbc441cbb546dad02d2d9fbf80e0..e9ed33cedec15bd0cfe1b0916f9d47754c790285 100644 GIT binary patch delta 10600 zcmai(Wmr^g*Y}+Pq)WPyZl;57K|l~tLwo_wSVssgD$#YOX@>6(v>e_m>2kJsks#W%P|%2C1ykuk@9;s&_cY4+mn8@3aK-jv&6l3t z$QaOW3%O5+UEFj#1%&8P2xRj}O!JZ@9Gu%Kd(^q-DAx z61|ok!x35ArdRe_4_vd&<0^bgvHq+5dU!qyXZ$JKm45Mg%OI-CT`gB47Sl-E(5I$z zW!-m@C0j(^eYOvn=-lk_I_MQ_?;e(vHM^!SLL~6m?-m!!#qNlQmpp34JGorH#wF0V zP_ro`|435ft}UT99SU`0&&Y}e-BD6}p5wH~$ETK?kgy+DuIbHd>8b4&f5Q(OMKLWf z$=FogqaIEAz|ACR(WrXMGH15v!XtV#_AQE}F)yC2pM9z9P;Qo3;tk9p<@vK%VYD@h z9VK$?WK>~AOT<3HEt#9p^pw=%-33Ia>OX0gKB)G%!)*W*1 zMiINX+mbkL#*3oWfhSgnmS;-I1DQI)Huny8+SaMRifj#sbh^^0zGxK=2S5GF(UJXj zL*zNp4(>GMGTTTzx|H=<=0YY2*~Z~8c0?sa6W->v5x5K@a*^^pjm6f#!pR}aNcYK> z`bWHAOF>0cr{5R3_=gmPef_4jbQ65P$n9`_o{0>xLXxy2uf}p_hYk!m*zL<6i-ptg zXy0>0Sdf3;>51WYwiwa7YY?W2ck|;GDq++Xz*X)&S$w&;`Qq6FiPz#(7icZ1x^#ud zvb&RL-s;DXRoi_?9*p=VJqd&8iaeC`wk>-h;&DfIY2ZU@P5B?ryg)FW>KDU|C2`dEks-WXXoGK04TXId5u zW8!CE=>Ecy3-4VQgIt~Qyht6~M^@L7gK2ClAtnZ^<+NtGRfbAzXtDGP&hq8w$oN6Y zaSCyh(P56y0wrfY-e_%*;sAe)Fw1Gl)`sI`CyEg}M6)JC?lx7h^rVvBQARFd2M9+< z+(bIKgD7D6Sn~daGYSTEo}&XMOSMJ^|jThZI=F+_HbAG(IQse~S+l{oh;{`%bd zZNSEdL2Kf3-p#B_huoT{Jhon>+HMlKJ6)l-LS{CS>+TrUSkOL1TIhe_&}5#96|U~_ z`jfXvJM=8WNWosk&&cZupRo#}N=jiqGH@!AAMf7+jwjJ*)=d8VN zGIR`7zOWK3qZB3DRBznAEob01d}k)qJ8$4pl4G8max$2M-2RX~%pALL*>7uk1?N37 z%v8aP6~6x}`F;J3hqoHdvYm4?U9uzl9E+mC=0+-4`}Pd(b~coLhbf0x?{_lp{t1!f zT#S2+m`D>uY8sp{(%cUbQfhuX|Hfp+tP=JWTO*7bt?D1WU}xql7u76N`GuCN@0FJB zbBP8)LwOFRcFm~4P_$HiU#y$@rYo*f{x&lQYH)v&?-w`_?M^*5H63%*{Ze9C=KFKF z#AN|VvC)DgHj~*CGj(D{{70+rWb9$gQgU6|4PUZ2n@!5!_3J(h+5m^lrGAmhgCU(5 zsR!5-XJ%#}TX%XrAd#uwYwm7Y`tAF`FMi&HYvZuaPd>^)04?IMGsUwSC$NIs$c-&5 z*B0uEc^+U>AMQ0~XJ+w6uTWx@Cywut?h(mY#l1Crh8p#2YAw+LM|#?NzitqedLS7Q z9lBi9Bx&Yh*YWPhcFaMF%>L2koHtmfc)8)}Onv#b=xTMjv)Q|zG^!2BZ??DAnXn@M zh{Y#zfn4SZp^R7H&3vRhmM3T&_f*C+vzVaujezzpiq8GV8jjRF#pxC$A^Nfp4lxn* z^is0}0>!_N1!H=iT$Y>8d|xRf_FSZ?#e_ndven0ODRlqW+cf>P4VN0*{pBWz%wNvg{zG_|X|P$!BU9K90B3lGci^HuamH(bjEUViWeY z<-y}X+S1AX_{_H;Mm%L2h=K@;#^PDiKv!@AXsYI+vI5V$GN~Chtn7c-Mkj=buwj!s zL4xGg(uYS03wTqr(pRr^HCf*^6xK`h?JVhKtlyALI}P~bX^=E7DzC?VmxV~@a^B{U zqGI6L*I!oxh|Uzw{&+nMq+owR!j%6lBd@H?2aIew-N|aK4+;r=;zpcpd%^oc$>0S# z+;-hq%cFq$Muk9A*5U5Wxe_GY_zo#jyohG?$%w6Yx1;J_a(JY#@x#!~E$Vd(kh$6R z#1Gj4*Cgs7$W}1vf?f4)FS+q!#$?inybCW#k7ZqHRBjb?)V}60_POKe^@JQjb(JcwP+b_@+~d7{1S2bYPeNtp zEghZ`-{UekAytPF4i#cMo>gz-{u2H9$Zj`_3O9c8w2Ws&r*lw^+G&mB{_R7lIRRW( zurOwGt#tIHvYW0#^_3a<(GGMsaA8Q*2i`a%)4^;PFdJt4dK64cl&-b+;}~VWh8RWk zk6-0l;rI5lm$tHN9=+;wD8E6v!|;f{Ox0d7CjC>f?>!{B<*8&>mql1tHH8`ymjrL zsX8{pBt7~gSK^f7ayMtFUQ5oSk{?%ad*%g47sGvGH50qOWk@Hw!ZuTr@db; zIM3xbbDaISCisneq@&Kqh?{oBG~FA?8V=0diZA8UcbiBIC1N~ot2l0HgFj;VkW{RR zcGKadTlKCvH@RapsX-NW4(pAcy$tffy03^~_de-7k)EOMx1qnFoN-j-bK~>f4{Fqd zLy!LKajZuFVmsZj3|V2=LtzS}escN|%HXOXKHXLi=g!w7zfucvJtf$h-IxrEwDNHJ ziSmG1HC>sDJ+H5SfVj}wBP7Hguj(BpI3}i1lKzPk71XWnV)-NZ;`KzyO)cEhl}{3w z*B0FaMmDPyXN>O*`Ayqi^{NU_yC1Tc3)D=$-6+6);+y?mT>Hl=9t-P{de=OELNEJ? zx>0_6th~J@BG1Q*<16gQTjpx#kMTArqsEwG54Bw@xX^1>H>Hlfk?Re;TZQY51BQ<4 zw;K~Iiq{SVr)dtm_yr$|`K}1N7px zfMj%%?5YoWh_D2?K&P|Z%v-#Vn6f_GVdWHwIbS9OmLddOYQ{A!o@?}t9Zz|_aqCGRD_gz&zdW8OfBbScp2Ges~_CQXT^9_JA~C! z^O0N`R=BvDs#Q#t40+|mDwz_~@|~zaY9f!4ql7%~ey;R*S$MJe)vP>R;YRYJ^D?oP zgSTM-kBk0{OesJr}rG)DWh!Z<0;fwdAE6buLZx;tnaLX zVd9SOZ+;wT5TSR+j~CYj;-dG31-Tk>l3gRTw5*&Rz9n4};)@_(>MT6bbV%Q%-lTuI zxj{nK=c=bXK2`cXqR7uOXVvWWJa6gD71^HT_=_}=pKHm+B~@CfV)-q0=VB@lckh!1 z4{B(<>a24;yVhkk3R-V-SQNAPV>LfrfAk(LzAVgD z0tYlpHK^-@Qt6r7XNPGg7b93??>`9^}Zt39a8TxxUwx`qL8%Up|Y}v ziSo&`w@4zs`p=80x>SUG3{weTLA&j$(k&}6zGtfr=1Mw@Bdq9)9&tK7P(fx-c6T zF(-u!c%uIMz?=C7mKU4Vq?E-y%$7(|mabLoQp-h0e*Z^IUoP#a82Nb5KsuB@(PWa3 zoW;T_f<>Ey?}$Ap<`3tq3h+m6 zNd~_V1$2tna70<%FQET7EpA}Ef%w$Gu}qy)ViS$ zDEplgNr6X}x2^HSF#PdJvbD*LM8TS)0j0#tCr&lmg^NWuBxxYWyF2^57v1ST(=yLM zWLPILXD7#NeNU&Ua09M0Eki9WFQ?64s=-KiUO%p}cuEiBDH8$Ssj(B;c=y7kH!^}Bsv-sQ+(@)d=fFbWJC_U_t&`mi?-aChG0ph6<@*LOEzi?h3jzn^TC}XO=JJBDz(ti_z z3F=AiF+$rIFCIKG^P(?)Hud6~VoRW3T~pITr!2kJwwuc@z9k{6tTS!y#{4?0B+nJ! z(XmTwG&@>ik<;4mdiQmKIwYoK{F-s(-AeJi6f;pDn3O-&_=te_987;XWDKgJDir5D z1Q&EePDbG@(!J?z*3--!ecdKE0^Z4%J_tDak^?Es(bU9d=~ITMsb=VB6I(TLHJ?cp zUux%jv}+kO%K&yMH|J@k!Zoux(%ROYSRG`>UR(R3JosR|D&K7`gxyFbx+rZ6C+KpI zvEc6IF6sc7NYR0Vi7g4fbP`S}MrI)s=~ejyUNDX;C~D7pxonT%HJt*@9i**GdsA?* zjldr{{j`%P?9@(DVzuwc5=*ppOE7(9^L(5Kd-hgiF4-jgdk;&y(Y1`kwrAkx1XM}O zL9=ALTk@!TxD>sGz;%)9gL5ynUXDrjiso7r_1ks3iK}}|+J_59cBR)E5B0mMn~Q&I zy?x~a?y5={RolX=dqa+KSFCc~P41{(pV4H$2g`>gPHm2#?}M}7hgla( z%*Gz`m+~mybiN?&;m;%*+;e>A#*q7aF=Mh{N&?Lp(Ux!f)95=JzZbT*P4W_dn!8%- zuh~5d!@VPIGl<7F827&V_FGp8$s(n!{(NXqe$l14>OC`}zt+KcB6#t7+uQaZg}@J8 z58sMBHhm#)$gIsu%ip_KE|U7WYKnBe}Oy`)3FqZUFOZ)kD#0-u-V+e4LZeymN97u>#7CUQd!bk?F9!zPMr*WlT_(S2-|pk>svd$(ggabc2W(ZwP4XsJ8Lny z{Z0`KF0&;uOUVqa-hMie!l!-`E|~Yeu7T@I;u!Ct-= zQ8C5RlJJc;S49Hm#4hEA?aR1yqPUJG9;fE4{_bi|Vcgt|MxxpiLzL=&UIfLa7q9;6 z0y*G6k_)@BA6Lz?gS?}^x!{IkW`llKD{|hi#_jN^_(#xHOy~8RLp9Pambb0nfM~Im zb$sxXRH51bclfAk&i&5l#g8zP3gDU^{V9wbEkSqEnvzO9dI zJ8E$cBWcP@a}GjkLzN6AHu`J6*JgJ=nj{bJ5*YN$-*OefNVVBRn?;UKW8xmn(%Zv- zln3thaN6wnZEh=H9b(P8l^>^6ah!G`ylpM{Smj-}rf1jYPyx8t%1}CWw4(Rtl)+ch zKJ@51OVLycgH*IBxP2)^i+Ug6UWvTDee$(hPH3@P)(z`A0+N_MUK@G3&16H zJ-__vd@Nzwc2Ze3a<^#WCbpB4A-*p8sY|CR#Sf8?E?2bl&7!ZER}nXUFSNqH(Z>I& zkHszdFpv5Q%va!@MBZ2gu$vh)Dw2qp{0a)mXzpz1oI2~gHQ?Ak-x z0d|jYG3n7y2F6L0w@ghw9E@i0G=@Sbwg%e7K_~p)kjfS@sS& zMV}WHI%WD-aH?}X<$aH%u(Ot+Yu*9nq%u#U_0MRmzLtA241IG{^bzD{TXnMi-V=2N z7bnZG>3Dyv5?k4)A%57m-;hsi zF<#RkeR>#^LdJa`Ss;(EXwLC#=?j9B>fx$y*Z-`iy4Cb0f*N1fT?x8%@v%zRb6sXD z)tVI*rxRgQGRpq1y?m8q;itcqv0EAvBTGrFySmUfJ9Pm|`Qv@|re)TinZ>r8r57(K zJMa7Dyrtr|e3iBP&cchI_Q2!BWv!**fJzFNms)iQmpipm)gGwVYrb`An`69ax^l&o zC+1rK>sGwKnSY@f+*Bj{xFJZ0{aqpRg(jE6rSGekt-?j_6l4mzA_aq7ERM&|p79#0 z8aSD-U$6V5Sj?juv(-E}UDsefU(Na|JLv`Uqw8NOLlkMwz-n6|IsZKLVE^}_2ZluB zzq|pd;coRlSS}(socdKXZaN{_BO&?g&k9=I zVFyu`qR6T-xD#sg9)5mf2zsj zO55R;oG1HB^O2%umm95K3tS;)IX;6?xS|gFTf8B(h$m!tOx`4030WAB0xR87xfk$I zffJ`Z8mD=*(^C-_6iG}Mr*B^rvDva)>6h%*7XgYG;yh87#b&XeVnj>)2Y($NZFLOV z2R(UrFK5|MIOFaN1*bvUZ1-%&;mKf&@vYI+sgE_N@v8VWgk+ea~$M83(Ew96VXd>_#2*c{&V5%o%ZsWMKU_G&~G{e2ZD zocE$%k{Fw*d*U_d8b#?XstppOdczP4p6i0LZz;z6!VbUdWVHtVZro0e`Chq6UgVK2 zL0X=ev~rEt&q4a4?;{E?9ba%?g~@a+mmPDE?4a7@H@-f`sj+*qRjCw?u8Xy_e&Z(P zUmO^ZNPLku*^7@{%`VPO?;Kv*$TAunE5d1KO*BE4Z@YO6F+O^Nx_OdbEYI|s_>{r{ zL{Dn{UT$r5h$3r2$E7Xx*;2-)NJApElB6A;f4cATf|2Z;qP1~6|BW%^BcIA5kCXL) z`In-~m+f?FGvkC9% zR6a3nYmfD1lSJJju6@ndy?@zdoy0JjpQmK?Zq3Jb+i*wyt?{3(G#OCUNg=clDuw5m?s0z?CBX zl2D15yF!Djc4o~KCEw#kbN%TgugpCX+@tCb#<`T$_E#QOdmY*rT#{~h#cWwjSVaqd`Jn2*k1^5NsaG5F7X3p zjH~&5z&&dc*K-}3N~EO!-7+2j0H%?;7X4vy4JKqQJ15d|gJtwj!1$#SUn}`&4;!;j z(eGEvkCU{jLp?nvQ`hq{w*oj=A|$4C^NqinjygRnXujI=T;I7lw!neV;b!GW?&)&XqlQaFb1R#c-THAfP&-EczEHz+nW(c?!}&e$lM|yLP$XW52@J=pjDr*LmzcrAHAmxM zYY={h1q{JIodiF}Z?J+*YX;K5&Q#QJ%s)2ZPy`yEpbf+YLb-+S3;(1^M2>9z~1Z8c5JivG(A26gw?HA|? z2!G}SHmece12OX8Pm;kDcr7L{HJ&jAEQ-f5fs^okDS$&PGdLfF55xnR=vcv1c=t3Q z(^WPw7Dj`F|F=;X7z}?U7s%GB4UWQ-AhWbZE17ZIl22i0jrQg9pQY1(uRtk=%rX*so(WN3vASQ)DAxH!g zf?uQ~!VqI1XgK~dJrR}&_(cG3MgTYpiGM}_BovDON&plRi>JQ?0I(XbO8_hqiI2Jj z#ABflIKGP@0haI}1_0n#EMA@fNMHi|34p>P@zn&tAmI3I0$_n(A0!!x&?Hz06pqE) zGXfe6gU06)00BqhX9z?^dEwvk$7rm;7vFT zj@Kdp0u9B7695I&)J6a_3XMM@02Y{LEDLY}7zEfFZx%p;0cBPY01lM-lK@DdOi@+< zP(YbB1i%1QW)c7kRQa71h=)TVP&^wOAQ1|`K>!4xBoF`zC<6pQ0}44i02n|~X9vO% z5I_q44?zK~iSQ;IkPZoe02Cw#0KkV1?@jHv}N~UL*j)_hnuH2)@k-K=A#H7YM@;e19cK1mE=&9)MX+e90ZtO!i(31mxAyYip2n>oYNo(1PpkhBfS2*4uS$^?3{+h0M(zi-jN||Iu*&cR?%$=-A&2(ZJ#HuV7&O(dX9z!~IucU>z25J{F2V{VNtns2Gd= z$IbtlfkF|OzY?Qi$n#x*qG1@|Ht=tQXawe8Nq`(sGzN3N(@+c)i95d#hJYc@w-wOP z=UWIvATZ~vgCQ`e|JT<4D+CxhVAK9>5Qc%n|H*;-?|uRz@~Ta04D_#o1GK-UABBNq&nHGtRsX^Mi?lVt{kz{61mOz*&7h7>$DcbwM;1a(?RwN5J`5 zEEX8UbJxRSf%BZ#>fa8rSOoU`z+th#N%L1Q26`?r3<5zx&m{pgG#Y`A5+YKMC%!DqIDo231qnfT^iaC@4^PdRcmS`O$mW*ir!JFcgNR5EN9` H)1detrG3;| delta 10437 zcmai(bzD^K_V%5j8|e;_7MKo7B&DQ7Lb|(=8bCxqx;ChU(jn3y4T=g13IY-;q5`6T zNK5(dIp;a&{2rb^-uY*~pKI1y_qFbrz4uJg8`_ys+URD8S{flu=rLW--lNJb=$C{r z8dr|`xwnay%u=bzn*K=_AB zlrsMuNleTLr41*A`#bNjWJQ4$>x-I>9~mv2=~6cbY{%LoWcH|B7_a7N z*1Ufe(eYTYX{f&clSf4oNjS%wjgznVl+Tfw5i=yVD8{iZ0>x%*uGG!$uI`({av76} z<6mev+4)|0O5o|Mbl&YWrV`(u(tgjFMCbLSJWey(8Wn>=zO@pxA^)wyL|+e6GoExi5aakf2I1(M|`L#YK~c! z9;DcYdAGPc7lHpub*I2Kd$#O2m4S;TIoF&1;+b*rD2n!%3q?_%u8#$z;UAA)4_RlS zzyAD9YJ?FNrvc@Ivc7ipstgCzo3p+Cfd?c}9ui@2OxX{tf7|g@Ru^)Kn^bQuM}O98 z7J6fT9iv{-zDz4!CXjw9Uiq=5E%^si)fawGN)<;6)ZLQ_j~{)%NMp3OJ7DXt(VB=( z5btV9h>0Exp%h>E&hdbhlw4VU+{j?!v63uD^3{vKb073$A{flagSTq9 zl#GI>7Z~(i@O@Il!5mM#YWzuimQ92g^gFy`G^l#i>u=&$=2FIQ-n39jM#vjI!1?9F z7^Sq*+KvDr0&>xlZ$%PIasMPEFwu%l+Hd&NEIR<{-_ozvYM+{HyYo=xMw|tY#tRzy z`|o0;KdgG+9-n4Uc9GND9vaS`QNAr{3n>tFtLKQ-eO{2b08yYlGsY~@ufWK?rdn&e zKMH&~KmEq=8(gFNSDbZLzKPgq?HiN#7VDolii_o73mDvKedmlkRFS-Q{Zc5HC&x zE4=kriZrpFG_e5Js;iolE7Z8RtqsiSUfB*7Xw9D<{PHe~dH5d5U@AbT03RyN;+0sF zd0U&UewVNy>Uh;NQdT0Q^b@w~vCwdWHoU+ZM)Bn^+w5kNuf6%fv_ofQUA@|DzFQTe zN4-P*)QeYzWp?*Aq`C`*3)`$LXEtBl^E^M;!t}vj%djf@sJmabEsHpF`>9r^e1sX}>D1rvf(dw>3u5w6#qbqmGE$QlZ>ZkKQKoaP*1PJR7`#SaST3%*K{iM&R$y7O_D+ftB zFMc)UnYlo3Cle}3sYB_tgpj!or+Ctt^?dQ%V^&MjQC~4oS5zeA|#wMQ|u_cb!Vj7FmUiiU~76kdt`*_~B2< zBMrqr^*1Pl@3iz^yH@?WDeoEL#sWEi_x&}E#*fz&E2%m>4TdWo8##w7naN{Te{5@} z40a3ocKKXyD{eP&KN@awUubfmD!XfVape;kS?PI{(f9>wtw>w#cjNCiy03Sgiz*rY z;!Wv6aHF3SdK4If(|`TRe(l#N!LLF1#(nGW?}I~w?8VFES7aMr@!w+BuD#XT(?9l< z$v!Tn==||LI}ArgambCYIP;ioWa`*8QHt>8ELm~Ki}Cm0+Lu1bqcl6HqMQozqhxM4 zNA?Y`Yc-K}k|;9FU!jfazKOVU!>%B&JT2M6&7U9_GsOO7V``P}SYP8h{L^v_={3)= zqm19e#Y5ZgHa4Jd`wt8Jbq}Wy-!j8Q{Wsy|t7V3~@|{g2zqjS%Zw7g54bqA_MwL zBv?Nc(Pq=@+g$!H<3ygl-)F577|GP^JMw4{_n~~SyI)ps_^cu^^v-Vy#lAWc(5x!y=dtN`d%yfz;OJ3{v7>yn>J5N7!=)D-ukKc{GF(%UmkN* z=&{rOt~)v7lOH}Z1C)~Y@}3&pi(`4au=Doq;tpZui+#Ou@ODu1m68@l_Ju)GWwE?B zN$T8Y_b(+Oqi*c>1zpILo4WFaMYq~@vw|H$!6>85S2%fFf7_BjD(bl2>8VVzWAF4K zWEnk{!)~_0>(iH5D0i@N!7u-Xxb}Lx$_aX`rD8t7f3iDT_ESPY=%=_MrF618)E&%g zx+`vkqYGc+z8Jq0^P}zkOe3>n7m+{G`oKCY^&`m&y+T5fHQ&7TMPY@a?Hk4Vqh8XS zd0*qhGm>~ZThc5l*HTn3o`D3Z<2(b+K zA;!W$_^6l8N(L%BLi`b3dFD#8%L~6uQ-OzNUbb`s=!JKSF@ilC^vYCxPnej_+Q&%o zKN;twvQw5XfWrHdDfjkC6e7asEIMvV^?XbfxniT$&Y+W{t>Y9I?B+D!?y|0axzugR zFOlFXdV!2a$ESGt?-u=1w|@^j9=5HIJne15B^ePm?n z^dpHf9%IHwrxv!`s+Q!p4@9%W7Gcq6qQYz%B<;OfhqYnBjZgOGZ-(6Lx;-DkVY?sa z^CV7q(>E(qFJf;md-hMFdG6Z>)DOu zq86Uc*)N3zoJv|arNo;bY-G`j*FP_|@RJ*C`|>f08<}#_op_gXjJ1MY>)p5Oc`+>Q zKOjv3_h^Q0f7B_hS9pgLcR6XI)AmoQj#-}dO)2&|mt*A6g>KmQQE9&;alty8A6PRU zBILqdw%=^H=p4ikIE+ZnrOvVsWqy#D8U|9ApEn2h^vul{HrPFiIm{{?yB(CT+W(6r1Pcm z8<;5ZC50tV@YYgo>Rt+DRdT0fT zRYq6JY?IlWoiPy{rl!?DxJdbkdAL!4P@w$$OaemYO+k@KW%x|zx~S&j&+->#!PlE# zQQ%V=d+HCSwH>v#mT%wC5l|XEYTXn{d)TuZlCLD@zI>3us#iXdq<=@i%H4Rfq!^_W zu~3+>?y90$XSdq1DI@)(no{yUJhhTcW>#jg#wzK4b%i&}m!R*EWV?y#Plep@MFO=l zbq0#^YVniBH0&F@IF221*|2YDv8EkB`8nTSjoZjEnYJ%Q9!Ksfmsa?d&hJg`jX%BT zTqkQBzAYFu5mxgD-J^eYy`(pvR23-BkuM~#{6HPueHrv>=M1Jm@H$qXV^~!Bu@2h3f zzK+kA(GYqn-BNa@<@sgmUY^7EvPWZ(D1YlTc%gt2sdKT>56J?X5H%9hF7E)sd}ZCI zHDg`@$|z-qz$}xm%HMLpznUbtF=W|C(RvS>5X$A5+U~#ae5Vf*4B`>xq2;RCRts zt?jq{$S&rMoD^SatTD3nFPX0)Az_MDzvO?WmRz{y{EFv(fBgCIx5q((-w1BJEGAQeSkDWgEh6rYyGSha-`F zoB}LsJh=I0&}Tt9$>r(MUr5fRDds;a#biaM)sDIodnn|dIbXKrAF6kXBkC8GT84#V{90-OG1Q^x^34vGYQ0 zin~VFjgB%7){^zmnF?=%lj=$v`;Xdh-do%%yh#5CI%I0p@vplbIymNkcRNU6vKXR4 z5W+I{^xBLq_XQZwawp&KCR@S`-QZF7zG{0Jny-BlrDfPwU79<)2E@>kcd}O*n;f|3 z3_{`w*G~AJ3eYPb^h0^nDQ6sg?<75)z@6y>9}xhT)|BnVj- zS>4Oxt9Xf|&*BnDeO{!h^Q=EN@9h?e+}8ciWoHrei2)=AtQD8@60@ul&7KKmNbCa( z4feEp`6fIIY<28*h!nS|RjARjk@LsPa&Ps%3}km13sAc;i5q{v;K{N`YQG?s6hIL1 zJEsZr3oJf&Y~iGcjMo;={Bnh5DMO?#o28m#>tb(Y=;QA02v4YXZA{L$0NI>4O3qkK zXt7-Ptb?g>mEYB$@xy&rQLUdueB>(q*?(SIYdZ3LB#ZlT88#_5Js2B#rh2%tu8@mitmDzSW&wQ#=J1Hy?Ru?Xjg{aVl8pT@>5d_Uy*eZEdyCu~p=)Ym=Y*}~ zNx%43RTxpLr{g=#`uR|gt3`_M#A)kiEH(LQbh@s-5JBkEWL^kXRK88jg!ki1nNM-1^x| zW2~&4;I2~54IPi!>$(e1$$~2NYfO`&N;ERf z`pOT2IN%H1LUo_x9WL~68mM?xWt&jEHhU4K@4NE-T!XMNUaf?TiUG>mzn1cfAf5<> zE)LR(yk~GEy%@yGV%%ove%^O&vTqsWv%~r-N-Onc`9Erxhude&B?l&r)nRQFZO2hD;H;mScEOAo-a>1 zPQ82}KrcC#`G7{8dLqc^ybS#$Jwff5jLFDx(&^!ch2*D`cdWk*>s0 zSMN0aV64|F{6R~XGS8Z*|78DauD{~L)%nHZJz4L4tg+%9e-&-Rps(WtImihp>sBod z%#=_5arE!jAJF9f*_Jivxd~}X`n-O(jk$Oa(g~?+6t*89+=ZR(QfRs|8vT&aGSA6j zKErUo3wgF-zA*oxeKL&B_J*SgOq25wiBlJwVCtbOzNulatL@R0#RMg=PHQtNz<7~X zy2OWOYEp3B)TQB`W1!?x_D(JJp2=vsME>>5wO+&77c_iKf0T-O4UL=YPHRTmOa`wX z){|Qczch|sWU-fYf-CcEo2`Zr`qX<>tQ1u#%*{qad*{boDTIC(faXJ*e;gL1o9cW{ z4xuKfbof!J-#$@WI7D)--wZF+EqXFF^E03sde3699HV4l8r1j9IU)AST8#Yx9728L zUBCv-7?;8b>wJ*`S>|DRp-h8A)?D{cHG>hi=WdqC&tcA;%tH6CE;`W!tCy?t>t7AE zYD{ZuUNr8Qy=%?{?@zZ7IR7-rKVq3&-NQ?gxW^6t>y-P`f1;ba~^ z3t~&;SzUZeE*<-zEJvqtK3Od<{C5eX^7S-vw@CXGwmRFEiMu8g4?n#B&SpxlO(i0L z6z3mF$Y(h(6FcOCl{TGlC-79nn|x5%c(qMZ+T*$Mn3rsqqj`$&gSCq0@dUHS(}w#A zdvRwB;?FejLepo}&-6WIj{J-})V>h~_uN8@6av?ExGp~HP#ZK{i)9Rz79X)%WndVV zKg;((TcA^nCqdx(+ccqZA^n+5h7gu)X_scho`-K4-PLTWE)80Kmfa)#agKhjJ+*|H z35vd8>D`iMppU^`*T9bJXI>#|<*h3xH<;Pfu~Vz}o}CgT**es3Ey${{M3)O+s7E@APWaaO??e5iY+Tw%Nd%xDmtS@ZZi*> zh#g)mHY(s-jY<7{Zu$YiW=_ns;EuPYZdys z`|j4)KAQSGK+paaR_)gCa&1A8tBj~$ci_m)z&n2J5=S>?*MA8(xhX4uFWmCC2|T9X z&x~sOI$sb|zA$+7FRFm8Br3s^Agd71m7x z^p5NFu(@q^jmofhc*8)p6w6p<`*#MVwsTQs#*NZX^Upa?<|dvM<~}YtfQKf&p+*%9 zgwf4B@JS8!wqR8E@-c^hQ)j5E$7_g~9rHS1w%%{Kd3(0SWNJ!sOkQ{wDwa2GL%$nx zyR6ykSI+}y_|!!EeDcd%2A4I(T)Hk&$4pSD8MyYWsS8H0t_Q2#|Jcu}y^1MevV6px zqX^z%V8>Rj{Ob+_IIMzDlfdC{fU+8*N-%p__Z~z0;kB8owJndK4}^qd%RhQGllG0; zm^Gi$8#Y(W?_+(Rq1L7HOYHrFJJZc#+#+zo@}e!v&x*RFbFve9qvVfH zxDQ3^ihCawF#yl|eGQQ>MEm*pr)$(;q`UjuWUT6aULFSE2I=VkICXwbn`C<3{X6!03WM7D(3QzyYRQU5G7u&jN|KV}{ zo?E!!;{!G6wR^m-r3r5LAHogr)RhFS`d@7K7Jfvi>!~P}*u2i#T>dh$aDwalAcgAF zd_?WFkuO1Ih0gk%$DD6;x%VRkvM^%U9i$r>?>lWl+Ne3_^vvJK*?>mT^4e9c0lRIA zv!8}_8|h+_1#u84#ihGN3*LGh5JqRdp4PVPzo9N|&_&ipPNi?5{LQu~l;O51WiX;+#3ip38naoZ@C@~qgc`-^+k-Pf>tn*nwd{v%&4u1Rol?;upS;3Hy0X59o_EccQpUvSfX2C=k!VI4HId#+-3b2D|_*>S}-l>wh~j`5tpuP z>^cu4eEhClYLBt&rCqKXR`yWdXQCa$eu#^+UKCZAzU|JyhEnzybgcZzXt0EXVX=lw z=laN`;ZbxIK#8M!gGtpWArJsV@Kd!2an0&{v#NJiF-a0xTH;p!a#`3n& zXkDd?^ZI~?G;=65+lMfeTQK~lhUv8Y9dBF8SI*SWcOr#fk#dI#lwWtt)4V49ihb)? zKf6H2b30q#PrI_0Dd_(0TE(wTg4%awudtM&a_L$1$MIdBQ9S8@-SBwANnF>c@l9-+ zmDV;d*^o@!*8VEoYvm(t;;@mw!+qbu0{vA{nq~ZFPCN0(BrgpbtqTGod5uz5sP8)D z3m)U%r`~C}tUNaF(Xjir?;y~?d7GO31FMllz_ni{zbs9^@tuc&r_VlZf`I7z_Ss2J z?Bqd#mHEnTCGV?-DZ}w$?eB+<^aA|{7oU2F>ZLuoQm5}o>D}i`?+e@hIhVK1%N60l zydd$%VbA-*ap+#I`kS3Uijrxr$#aQqA~xl4!SIyslPMmjxf|{b&0{k=V&50gW-{km zRQ}}u4xAAOmfHDdbSV}hq}la4#Xh#0P4d3?{7|W2+&iuBg-@x}~U|HpcMezOVPY`Mz*{tNm3@3}%=uqdteEzfB@ag5EyXX z8u}5q^$lXx)^rVuM*#Xe;6OX+;6N@r;6PFt&_sZH7aZt)1~d!`1nq$X#b-lHAOQV7 zm~=B23Kar)F;FT}93FuMBr#AV@cc3KHn50+inN7xK-C~XBpwO_);gi#09Foa-8R?- zz0XUB!u{1N7LA4jEf!#2`7AUQ2)Bfawpq?WZ$ki0YcP-P1N13ib`5IP_T?MIixyZ- z2ggFfQCQ$09n4AJf!qdKGr+Mf?Ltrxz%(1oDcgg%0pht}PGb|qf{g?HpRv#w9PWQV zg`;Ov~4?|+XdFcd8JbDFb0$jU5yS*cj`|J=5V7CZigJMuXzXenj zC|-nQ0;oCA>eVHPBLrA_Pi%1+atE0G0LAE`iBF@3GU^Bc1P1xTh? znL!DLMFEXOK!96kod`%Q43J;}0S(6i&P2dqFu(&M;NU3WBMS+Z42Q>K5C9h|sKMbd zz?29GG!Dol0t$u!MnM4PSxHy{9yStD5-bb>sI!3s!*FOA5c@B}<8eR_8?gck0~`A{?Lu1N*cm0vznKkO)Yy&sid%z&_bH zLBN1*8WI5uwwcNa<|FV36fjJbh@F#jfq(!NWg;L!C5i}WQ0X8722^&rz%(Qdln~rR z!h@POHwhjJM*uP0B+Nh;H`pNpRF^=N1O*13;~^FSm1{)6g328pFcpOZr75BW10^P2 z5a6J4g$PJcNg@IYRGtw511eBH5QyFt`M`WM(R&zCB6@En0@3>>5s2QU`9UChcP9eT zdpSRth9P?Y{4XMU=Mw-wgoBa=5s1EXi9qx{P6VQFdO;9~zO@9w0$8H&c%nq~JwODa z?-L>reaoIB5fLYzJK{^gTY#GQ4#(rbR!(U!6bc74oFic-;P9tD!sEb(PiZg=4i0`z z5?}u<3j_DwKZgS6=yV(&h5(P)-*VxgtAEE4{#OtW9){D&a4;8pIvI|@osPrfu~_i0 zx4#bpN5a4Z{WlGPg`?5`S0jKE1d7`=6zpWEE{TMt7`42OA z9QyACVQ?%Ajy%0|SR@j2+90Um5rk8&u}JhkrW%XH!%y#YEDF3`IGu~f;ZB>z;__0XQ4vRyc?hb6^A14BjhyP<&<>I1g+JXKc;y1G!lHlM{RkKgb$abU4UNYF zvZ5qP1iUI*9j&T@fFmz~vj9^APd!=%j=`Z+)DbW=4x>md|NjjUu%?z#^>I*fb#m|s z2=Wq;fuRuytg7-Q6iyYZj#pN_q^_=tQCG)f)Ku}{H5^5)s7M_UXy+dode+~`nHuzi OMmakeLibertyLibrary(cell_name, filename); + library_ = network_->makeLibertyLibrary(lib_name, filename); LibertyLibrary *default_lib = network_->defaultLibertyLibrary(); *library_->units()->timeUnit() = *default_lib->units()->timeUnit(); *library_->units()->capacitanceUnit() = *default_lib->units()->capacitanceUnit(); diff --git a/search/MakeTimingModel.hh b/search/MakeTimingModel.hh index 6d0236f5..d9627e6c 100644 --- a/search/MakeTimingModel.hh +++ b/search/MakeTimingModel.hh @@ -49,11 +49,12 @@ public: MakeTimingModel(const Corner *corner, Sta *sta); ~MakeTimingModel(); - LibertyLibrary *makeTimingModel(const char *cell_name, + LibertyLibrary *makeTimingModel(const char *lib_name, + const char *cell_name, const char *filename); private: - void makeLibrary(const char *cell_name, + void makeLibrary(const char *lib_name, const char *filename); void makeCell(const char *cell_name, const char *filename); diff --git a/search/Sta.cc b/search/Sta.cc index 7743a695..f5ffb127 100644 --- a/search/Sta.cc +++ b/search/Sta.cc @@ -5567,12 +5567,14 @@ Sta::equivCells(LibertyCell *cell) //////////////////////////////////////////////////////////////// void -Sta::writeTimingModel(const char *cell_name, +Sta::writeTimingModel(const char *lib_name, + const char *cell_name, const char *filename, const Corner *corner) { MakeTimingModel maker(corner, this); - LibertyLibrary *library = maker.makeTimingModel(cell_name, filename); + LibertyLibrary *library = maker.makeTimingModel(lib_name, cell_name, + filename); writeLiberty(library, filename, this); } diff --git a/tcl/Search.tcl b/tcl/Search.tcl index b90ec6dd..81c7865d 100644 --- a/tcl/Search.tcl +++ b/tcl/Search.tcl @@ -1033,22 +1033,29 @@ proc worst_clock_skew { args } { ################################################################ define_cmd_args "write_timing_model" {[-corner corner] \ + [-library_name lib_name]\ [-cell_name cell_name]\ filename} proc write_timing_model { args } { parse_key_args "write_timing_model" args \ - keys {-cell_name -corner} flags {} + keys {-library_name -cell_name -corner} flags {} check_argc_eq1 "write_timing_model" $args - set filename [lindex $args 0] + set filename [file nativename [lindex $args 0]] if { [info exists keys(-cell_name)] } { set cell_name $keys(-cell_name) } else { set cell_name [get_name [[top_instance] cell]] } + if { [info exists keys(-library_name)] } { + set lib_name $keys(-library_name) + } else { + set lib_name $cell_name + } set corner [parse_corner keys] - write_timing_model_cmd $cell_name [file nativename $filename] $corner + write_timing_model_cmd $lib_name $cell_name $filename $corner + } ################################################################ diff --git a/tcl/StaTcl.i b/tcl/StaTcl.i index bdcc4ecf..b5604b43 100644 --- a/tcl/StaTcl.i +++ b/tcl/StaTcl.i @@ -5044,11 +5044,12 @@ write_path_spice_cmd(PathRef *path, } void -write_timing_model_cmd(const char *cell_name, +write_timing_model_cmd(const char *lib_name, + const char *cell_name, const char *filename, const Corner *corner) { - Sta::sta()->writeTimingModel(cell_name, filename, corner); + Sta::sta()->writeTimingModel(lib_name, cell_name, filename, corner); } ////////////////////////////////////////////////////////////////