From a23d5e5390184dc8feb10917026b8dbf7c4fb146 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Mon, 8 Nov 2021 16:49:43 -0700 Subject: [PATCH] write_sdf -include_typ Signed-off-by: James Cherry --- doc/OpenSTA.odt | Bin 77117 -> 77246 bytes doc/OpenSTA.pdf | Bin 142760 -> 142891 bytes include/sta/Sta.hh | 3 ++- sdf/Sdf.i | 7 +++--- sdf/Sdf.tcl | 14 +++++------ sdf/SdfWriter.cc | 59 ++++++++++++++++++++++++++------------------- sdf/SdfWriter.hh | 3 ++- search/Sta.cc | 9 ++++--- 8 files changed, 53 insertions(+), 42 deletions(-) diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt index 2953e6b667e8410a241916c6bc29cbc56e538c88..5bbf1e1155bdb622f8db2aca5b4aa7a0e2a6c2bf 100644 GIT binary patch delta 46712 zcmZ^~b98K7&^{R3w(T3+wr$&1$F^Bzvs^3X;ephC3;30GN?8`~haL=XSL=2{QA zpUIq_&eakLd($CMqNHfTMs|Cpv~Gk#W6)ei+tHGxNb0vI+hkK)9)ury21vFpBCkE5 zL%{v3haAd+1V;eyI@*J8Q;kJwHW)KD-z@WM_>?@Y4^@|aT4SUyK9hT&4R?3}y+*@f z7>V!GC)B|;cM~s!U7c`;g!hCg+VO*whdahI#q9~m{IabNzd;+;R!4~>pm1yt7afV; zyyRx(7V4-L(GUPH&sC4BW|bu8mfc_4m?rw>3_k2FU|G`!T1R!n?J@4CiM(G40I4-^ zwS?q>YmB?wNU=;DR-1E1CZth^o!nyF%bEk9MoGWPxI|ebkXg52CodX4z*Llhgp$H9 zGT;XW0#X450{YL^P*6}mwoXn~C6!I2`uO&Nsfnwtv1qqXcup*fZ~f=oW+%bYyHvZ< zxWtnto|u?wo16gBR3)>ey~J|@|43%gAt5LX0u2m?4eoYf*+v@(74L|M*#DlS76Ooy z^Y44A^8es+tXn1c^LRN6cS%ac&(rpPnjI~Nb=B9`>E-L&{nL#dDysgTungq6trMMXNG0>^Hco ziMv!Ui~Hh?(_5_O_7JB&>CkT8K@Av~{P>6XK>T%#C_rF2xT~HEyCY|pdbHI&_1n~e zvj3Tv5dxjx5E5;W&E8?0vj(39e3~L-@$mVS-tFK?lhZ3TLukhHvc3 zz8fF^p5pp4B^W;zq=0-KY}m8&YneU1U~uPGKQX;)4 zPFkP{d0KF*GEDL@MM|ImzZly0*zG`!Aezd{dwBt^ulnzc94(D5_~^}#;l5=hgDO7w zU{gBGQd=`ejV+C*)#={OpKjbhedwL|3vCD>*IrFP73bv@t?KkV%E?H=Rj zyaY~fV8>4kD}rAw3_V!2DaukGd=%q2a)=F)e*f7Hcjfoit#i!LtQz?yxFo|@jz2z} zXHnvQgZb{-R5D6`DU`z;@%L}hD3Fz}KVI5cFQYQ>QSE=YwgWs*5!+O`Y?lGxdiDOb z^Dx2*bq?ic5)Zpx_|UKoBOz-RbZuOHqC<&1L;}!v_8G`9)Y^v5IXZ1hV7i)jyCh`H z1k5$20mrZ$b+NC$Lco~dN6)pv%zb&&|B`VE{+fJEJrl(574(}1zKBl56+PyK;4)R$ z$WanS{3(Vky9ZeEgC9`Q2F#Mgx%9|Al#}_Qh2?e{{~L<vI ze9uz6alW;+m3e6$c)U(~3HUSgy_8%pW*U_144ZSJ;90q&Bt(5-no1pC926?v*p>O!7E@2EGJ>ulvx|SJz!iWX^Yt{Z0 zeT@m*dRo)=wN&=)bI``^^X4zYflOgY$Fh0g9BMxx3lXjWn91Q!3kaB7kWkIQ#T-MT z7(sIWg827qv2q*La7-YkDMwHsaU=hL2wV_}fzV_{ZES#|o99qRwXI0Flj2)q5$&>j@r7>h$;nPGKHE7K0E&yNgb&4Pfb&3!Pb*?Z8{0VpkR^Nzws)eAOY9~PQ zsr&&;gLs0WbtW*febogtQpprLDoC>+=87t)bwm;J?!bj_X8AB- zvmCh4DNbzZbSGvA<*`Y{O3+~btN!4WIwgF6paH63Bp|F%E)WuXC^}%wDkO!I{?~vy zCGxz21YqC*r7TLgkq|%ttXdc)*5@-j4vZHrd}vQ>*y4`33DJ(Y2(^RB_Ywzu=;D7U zUE+uhEOEe*E_K*>%EzB)s~ScG!ZO1G0V-ya5FCLIB;ONG-G>(cW|4*uW&RJPEYh)o zrYSfyW+`#@K6CKm?PrdlFwxB00YgPh96&YjfdJeA?v;IrPY#KlRF;y^N3xV;Z**AFyqKWW0gz#P6%GNaya@5Z_W{TkX5 z%ya4U(Ko>dV?FBLj_<@*(om9n2^g_|@hNfBgz#j{fD&cXuZl`YJN9giJqX|CdP9@r zVgN->(WAN?X(a;t7i+!B(uaD7%93OfXdT$hcyoMWdSbyh!BVJq!7ndKMAwC zBr-N_NkmMly670FlIR!>HOX7YcNUahG4}^hfKnJS5EG0GnCLc=Cdki9%VW9%XgxLx zo2`t)q^c3p>Z$wjCN!Oyq)t^S;8;M-0o+DA2Sp3P_9JUP_Cl2)F+w{BO^G%JQB#wG zDL)yR*p(^<)6V(SXC*;gPATvb(@dakH7^_*E}>pvE*>${c4)GvKiQ>lci zrc?^kOsQI-n{fk>(9NonqL?oMg3qdj0aum6z<*RqLA%O9p-=Ljb}_ltCjJjLF}d+0 z7+tH97+p8Nvm8}IqlV;Kii2>A~a|R~M`e zsYq@={~Z%mDU6M-63R?dCT*cA3z?+!OO3i1V7v*K+fgMR|3Uwbs#W{XCaT|CDJ|bC z^*!@~8an+SN@re@12b+ZX;#b@vMDvG4KlQrM(l)jH15`~@LB#F8FN?LOGaUyc~l>t)n`Huo< z9%YJDSF(kQ+nI}n9nFCu2eYa$qq&a;>=~1Z@Dwh+5F81lxLEg-9SC$ZF2R8l5Gs8D8S%JLCN6BT1}ku8yc2?F$Sk7aM5V+XI$_( zRhXX!{g*?s#O*_}g>3*>meO39=D-&;!(4E3*tr3C97^blIe0R1=;f|>GjeEIb2me! zOk6lJDZ?`5q=6bI&4#yaL1j%xdV3;Tx();mMQ%Dz_JoGLOzEE)yuLdJb&2hnG$L@P zQ~yES2Ra6KN^ci9ffW99Dg+zKtN|P1b_Xp*g|YyZBFd>u;T7bx+3YZM=h4W;m9*Av zn77#;Z^FS`-iMIpV904dKF77?G^wv|z|UiQ>ds37&jmhzk%1 zOiDsK(`5Q54M{Q!i4wu7L5<|J^DQ{iDI6H#5(t@t z_ySyk?X7Y7i%#wLfg^urvmx5~f)6PvJ8D;NlTo+S&tItVH`xg#Ew_rk7ffNLLNCum z?dVL=+o}^iniRS7Y=0$qHiZJDZ%w1eLNAw(A(9Rzt(`!%#2n5YK}!!OF+d|Jbt=#l z+D-t&=b^&4rm&$n`iv=Ylsa%^dA1AR+Rm_{!W|eej~V(@_(QE&l2B_!-%2X5p+#jF zFk*7_DREiaaAeljh04pz|38Y)HZj1r$j=xnmReM*#b$-BNNdJKLb|Z2K^+*MhzHtK z%YXfdtFuh-?F(G7epE(3swysqH$s)R1l5^F42}e~na2NFLsdVYrlKiSdIb;j6VXXW zvT9d78kb77->%R#Vau3G$ew1!Vaeg0&{<-w0zm-CFvSQ8C}s!`7#Y9;miFVrA}AjO zZsPvOxe?Jm)L|$naz7y;bHL@ze}h=N#?s^phe}rfGfC$U1%mbN3!`^sz8i?g{;w}o zBxVB=x5{Hm;N<;m`wsN{ueIJ~9TDU&h=GU@H-=E5mYKqD09 z)uR5xN}R%cI7)s2EqZxE}?fuen^pqeh5oYJA{~;-q>B|7)x3@T66kL^4z*y3`;~Rnkhv(nh7ES z!)QV(8cU(fjn$LO3fV+&%?9{?z7lEekU~}MkY52UP$H%O2bV2SCRA3)Vais>B21JO zBgm@8P}cXsg$v~PJN_g!jY0?xENVLeEcg*$Cgn+QrmOxkrnD03W$I?;v{LHjiY8`tZ51p;Q5CG} z66%=jF1*ZLIV*djYNTxaLok}Q%7jg^t7p-ZXeD)w23-T^xxZ~uQ`xFids|T5tdx6O@N`V!FmPEOr&=}J za`C$*G*Y;Bn-XRNiBftCfJ6z}NGzYyM9fYv_W*YR(L{r~(ugZbBdaPSuhhk`;7Mc_ zIYy&Kp7pd_%%n#3WJyE&R3ZOIxYQ43>BphC7CTi69u30mU%i0)C#@a3o}o z5S8^FtH`@>#nL?TMeVd@&LC?KI&A4-l-9RYxB=s`YE$MVwWdtYQ)}FrheFL6*V1Y8 zu3rIny zRB@3+RB=$M8i6Dw&Hg9ql>fb|b~k)kQiVQBfKtVAB_(!`{?n64|9#BbsFnG_*H5DX!*BaJ=|Sdzz1$MGTyXQ*-(!^$eB8h5C5yWV2> zqK6a*&by%atD7|Sabw?j9S99H zgsvu3_Gx3WF?quPw`yhKh!l14)_R>*RAGqu=@UJ3Kb|FyYd@FvNP>C72weSrLXC^+ zU7zZ5&&OLxtq0CFnL2i`RX4LR*A4T4^oBkxSaOD*-&hr!fy^W+5k_@J z+7a0$>Y*+a=ue571yE)?^<_vZ!aA#t1$PdtC($hQbZ5@#-nZ}eK;Co@hn8%hnWZnY z&R=zwsCQb2j&JL3Il$a6r;Cz-N@^up^`ecu=_5-3E1!HzLpD-0Qw%+7@@g`yXNES~ zy2VN|EoTIu7KWYT^p#aQ4}^bIBoq*$j~y%p5+(FZVXY$_EdB)jvn|fettQ9Kb2$cE zRhJ2}*-A@Wpj?n}17fzAzuM_Km0QyP|k-uT&YbsvLqONbW^W{;W_}FLs zeZnt-ld^&OeJ!}nExYpq(rM0fijtwS^}y=#5jQ0FRam4~fAO1|v~Gr%i50$xv`vNT zdTu3f@|*HKSb%oP>6((pSkuwIy(WtGZ7rn(>}Q<`xnSk~Os%9R(vzs0VN>qeK`F3n zNJ8*(F)m~1@SC#ufm0P0WsnanHG@}fLYB`2r?{cG!Zy4haCD831jI=_&$_4!|CU5` z|95ZFG=>R=LG8}bCWUC+zKwjW;Pmmt*j&@u4fh;(x^rErDUk|p4lXE=rO^MekC_+= z2))iuM*VFeGK3io=c&W@G^CL{A2mxPZ+oT@S?Bt5=!+~=F$%+Rd+jLF1_Pt+lzeYA2?QS#4XWHb|TsHXbA-#G>ba*M} z`Ff&wf9gj;UBn!CFS&n>A6R762b|lrmvt}tmk8K6e7t|Abr=mm?&bi6`o9~AutozA zhpo*Y_{bFv4zpWW{#+dUZbq*Gge=9g1r2=V!V4^H4*9w^@tu0c&x_6e2`XP$R&(}0 z-CB#}{HcHV=0_4J7=ie9<>OAl|C$mX)DsEn_rj;Y_{Zjt`8i3^cv2TfWo`tI!yopC zIREnIub}V2g=YJL<^pbN*x|r2V*4HI8Z6t}g7kZSw#|Uxq^97~AO*`N;Dc#>wq0+E zj7sR{C-@FUmCVWI+yRUQ0{^<1Ui+$53>WrUdTT-1A8t3X>*s4+C*p1Met~8wMN=(` zU9SJe)a7Ysr}4ARBrFd+QcN1;XCYxGQ1!;pJBP_Jm>~{Se6JZQwA-2zdk{2|p+L!{9F4|@ak{2N}5Ey6yqnr-YOZ)ikrPsQ_FU(zvaGH_a#8TSl(>hV*)}R@^&soV31M)IIXnoI58pu?RvQcoTSG* zZ3{AOgXrw8U`;rqpazNNnE~)LC6~9d>3C(}ITRmE9g)vuEji2kHIn8JtPL+PGde1n z$%UAfltq*U-9#WrlbOww1GtLlIXYo|Hka_usTavIm!BR2ma1T($(V{ycBNr8a2H0y zFO^VqyE~zPhk?ddU*V!;af4eunxcK>N>nL!8m4lm zM%Z$1mR9>q^4-la6I|Sq8W*6R0vIe+1a*hM42NEH-ogjUJ-n9cXNXe#+V%&2UA2go zAbAI8_T88K(PsqPS*>>q#Rkb;gyZl9gZV_Mi)m88K#;6;=iEG^OokI!@DC%JwG1O- z0Vhc2bs_?g9rY)cOUxONyIOe8RVHFoXF2%3j$0I57<%@u&?3n9=o$m8hErK_>I)NrnfmHbn?EA z9-O31CDW<#3#R6Ckyoo-+L$qnsdzTu8Bk9v|H^~^;tn3;HzfHUEAigNFO+6UW>JQG zUgiQ|Vde!l&U0Z!|3|R7!A_)im2OCi5SHIWtU8nTyigmpbX-s`z)`mz?8!{5Wvh$F zj@4Q|gvP6+2T=JsJBZ}TzK{Q`41Q4_j!)lGT*M*!PGV z$W8@yb4vz~w(Ree8KswXxIEqJmtQnh+!4?@OSQe&ID&lS%e}KlyGa&(@N$ zelw$LE!#|#@92u!Fjurs8t;ts#4G(0_Nx87;8xJ~{kzWMSPb9=h6ID8NG{1d2k)?y z_V;hAFgun7@A(Mo&g#e_F;(24hmu<>(mWdu8^4e#lna;P-?0Z$1O@VG{1g5zxbkUk zTfu?r-(jTo=O!S8BTYoMf2ZttGjwG{OgKjg9b5PH1pbv!DgwriN7x-*q>Rhl($3qt zvdqjrlpP$KU6&S1tii@-WESx`q?L()_jX%90B$Tmgb4Y9P3j2JpbFG# zCn+u{YJnpT3}j6g;a_CJo6&c92?{@@)4)ko*XDoF$LaeAL_;@-5PW*(2%J|Q;_qh& zgW=E-@;O4Fps$kjy!+nF^j$Lm<&B#Z z{wBasnqmcFLf>d|1{CwI&$>sgPzl`e3bTq(GNmsv&qf;6UYKyfUt@-hosl(iCREng zMJah*cY=%^^I+rNUe5T0v<%axWB0SpE?IcE)G*=|{|LMDsi4)*R`#od;KshS|Zg4{rleiHF*~m6VzCJdoJU7(cx-%H%-)AzbDL*@uhlt z0y3BlOEGGj#212_ttNN7Vs!L80_ittb#`uAR&<<0s3VEPi5RNsXc?m$Y(bz{3)ikHJDwMMV$paP`2~@?Q zGw@w!y}l%AJnLfmLSqlkaDcNg`Xe^^JDJRNvRy>Md=Yi!_i_dhPzOPvefV{MTcfHfb3f795?O&5s z(F*wX1TjY9x;~sto&aGfOwYnz?inV-2Eh!4akpLFLe59oWS<9FY8@`8LYM7K5*Gss$Lx-K8t%Wn3iX!1+Rj()Og_&Q+t&u49=?<&0*toh}7#Kwr;M|a>l^?gnmr4 z^dfj(EYRJP^ShpS;}1U$9=kI(Dgsa($=xH7sfRK=7bWo_F2~}=lP;u<7oAGuAQ~i}9d2!FgT@tSV=SfMqd31% zVX}+Csm~^|#SIc+Ux*dEkZ(G#dL*h`gQCbhz_GkQ`R|`F1<4D0c8`>kF54P$PMO`| z`&Mdm)Llukn`_FPfiXHv{#k)3Cjr(=xx?g}2-q4zJ~*W3Q%(dF@zu&bFJ6DSNmc-J zvh5;hQa7<_UI_chKm@Zzc<5A4KJ3&KL}bs@&MMI(<}LqCMf3P|cRf0|_jqDWi-C+b z;Npw5aNBTq33+fw*XGTuS|+bkvp3R3?UK=OvaVSaI$|b2`A#&u_K_!U%a_V1Ju|{u`#)qw(Va=mn`I21>dN@SOxjCExQy>3F~magxD38{Deu1 z`BM3zi8=`9L0ph67NQXnD9-6#x@Hb@4IaSXm0CRTI_1ut-;1bcj0u3D2!4X3p1oog z3R3O?W&%bS@qMyoBw3~MFTBTF4d;+cs3$f;HMy8zLbcxvYpdHGZ5K%eiN8Z`X`bwr z`#Bs00SL_z60n%PJRzN4z=M_-?9{yrB`t^h?vLsKo>TFASbfg{f)+1pvx$pG#g>Gu zlBlW`Dkt1dt(Eq$!5)yP3RW?n{#E0Q0&yKAAzcLn@wzW4~?rQS{UpJ@+9_hTBP&AhfK75q-*FRZLFDB9dz+!D_cBNjWDc zXgUkEc$bXDs#wgo=RoBCjGB2SV={A-WBN*Svh3+6hweLNwITy|#ztJtqvHEq9oVP; z$1e$#XG}Gb9Q{oP5-$vax8E$FME6((I)+q0ZW6iyi zGiPl)WQ7oBvpgBin+RYaQ}}&A#jBZisp?ch9zu(r_(Z{;TR=bVDm1kZWm+KdsL3DO4Ei_}?_oOot5tm^kyV-Wp{v7a~9*(Oqeorjh`am3s|- z9^u?>AxTd2{&a%3#v&V;!R{qw6|?o-YvUuNJ&0vcz3*i|A=Ph9sM&bt9&2cH%Rd=` z&bp%?H=IkqoS}QWNcTy}xR{?a{C#MvnS!I%s5vI7ymnnhCIx-lQ)pLDlCyP_`qLGv}h^8-F!dkCuDL*NVR_`9(J zUwxDu<$6!dlM;uUAaxW;xMO40hbZ!Cd0X^sKGwaq+*#%Hv=tVOKX$u}?I1Mi>o*#@ zTD@LWUdKbb)3-#0QR5$xh;q={1bPd?c~A-?#Hh5v;G4TSkcoR$Y2Ej~b3US42aaS& zQ#WOPoK(<&*NRXrECy*ceqcmL=AxQX;*G%o{hZC&L${_vzBfLHSbOV&CaY<$9B3Cl z{l~}#l|H@i8uFY4jsj+}Rz>-l<(5kOGIXZhb^6E+7K}G0JZO~0dJfNgW(_g~!>rwr0+q?pu;@QM_XG(H>qI5eh>#OE_r-bFPOK>{<1@A3ikZ;V2x;9-7VgAhq?>QZfh` ztF5mFTAaKH*-QPOlC*mZD;=1LJvEI22#M|{@amL9JaO^7=+`Ry4~JX7iz__&=+PTa zUTHQ!K3L7HMvg>-ym+axNxD=wj1D6CFL+^VsD7z?`j#8MC{h^Q_lI72d#E;zYiWB{-Wc{tksyjd4q(g$}EcK_{ zdap^Ub+tH^ZCnKP*{fI*5u3Ll13bbB$OwYS{cBXR>~Lw$7ER{&{h#8p=-T<5krgI4 z@PRS1=9Zb3i{bc4##n=TKz%)~u0zvA0ra6HT|GT7yAl4RDNnKlt!A0YB|bq+;GR25 z{oOcBAGmG1k}tFIt$^KOumh;3(Z#{~Yo1t8fPdGYz(?EbWL*33eVMxX!ZsSF6EHJ2 z)2Z=c1Uo3y(H)dCyp5WyPqmUJI^ce4aJOUB=o%>XV&l-df-hGzfI(QoE#JTv#;|gFPkP}_@x?Kuo=jPfS?U+9}zqz z7y?bWuJuR=g(jS3gIN$Ln@l=CG!=srpDX+hlcLirE1@9<(=IJlT16s11_@F(IY=rC+T;>4xc1zG`1NJeVTg5UWYZI3Z^m%VA`JQM;_P6s6!qr92oU+-|E zy*yFuA)RLS8z^;i6XJl5sg?@Q_Jvl}=*NcpJJ&<%^$XmE_8HwSih7qleLayf1?CZ6 z8?9g;51@gxLI6Nn-!E*CxA?)h>C&-^Q+6)Ym{9X#mL%sm`? zeR<7MN_zKvW*fdu?WmF^pV-evUW6HQyt0W@Z>uZkY1jte3Nfqqu~Yhynn!^;b@CF94Kf?1^o;%7Lj`U)JC-Gj}8K#r7G#zUIpPrsO}xJo;pB z<>kXcS5E-*dr(8>Ijo~P*P`2KH1Ti^yzGA?G$D-&QLARG;zDtJ5Js?nb5dprIm;fQ zpIUpOxW%yg^xUSCU<5fSMy*DFRZ{f;dVGu>Fq5fKgil*yboZ`__!`kdtH$VeMqV6! z$yxgYx2i#Z2VpRn9OHgco^S$dIGchmxy1zL{FWdmBjX^1ZGSu2KAGI{sj~O^w%YCJ z^~_D9Oc4TIVr@lp%t&7jwyW1i;-{aKT3F2@g^ATC;x*h{uZ}&g>07LUFASFe5Y#d6 zw@2;6nEg8rXG){AGMSl?Y{I{ZG=Z7B|B3s51&K$Av(!_hb7Pfc;SC!K*7xN4&Q@|a zEg$E+V)+>5TCvj1aVr$uhI$ax4Ok2aG^&f?U`5&$Od-*>YZqNJs zjBf%L{2OyNK(bM_9i%~z_|7&*;G96>DD|BYjFbi>*6lK>Mmp`iMO(7w8$c*A)M9ihRoei|Hi3{fLF zcQ4TvgQ8|v@N7Y)IWmVe44K1P0Y4(cwNj&6N(5o9m7g5-9)CO-m@6R(*tb=4^gZHQ z@(yYy&ChG%-16o}9@5HdZi3_tCYnz1QN#YJc`=03CLpfzeWOI@LNd9)OnKH+I`5kV zXh}T2Cf=DWFR|>{=&LYdeATsbAPM3MSnx@#vqVw)%yjh=c#8=&*LN7CpzsO(3OzIR z)yauGx+fC9pT9&?Cs1Pm1fFv>`1(Me>a1xW9mG9{NPqIH3c@Y%U9I}8MQuuCV(7nq z@MWWWj8N^7uBjWxJ1;&(t7ySDs;Y}{rmi5#n6Zs0?Ot)$=UbL{O`>XAT<5pO2@P<=8{bX)0(Q-E=Pih-KawmIfN+d!Q6N zPV(V%J|~_F4bB?q2#PxE8Z`*$e|kA2e`vBf^u}l!k}}=H6s`PO6c12Lla3rm4;2k~ z!z|BAov4f@o|QksjY;N}gdwzR3V8+-EXK40J3?LgB#1yI^KQKL2aiNSRfSm3BKD<} zVo*a&tab52Z}`3hgn?KM;tPi|UI3q2;W-zPpFRcnP~d7rgvP$eK!)zD6sLuG)WEdd ziXR?;3rd$dBQ12YBIKeeh&`s)<|>Cd>|QP%;k7vQz1|7zs*+b<)TV+RAn6Q5o|CJ0Xj1u-TAwCP_UGMaunMthbD=nwr4 ze{N8my7j>_jEM#Nx^3?-$0BbB(JX^i58&C!MuT^KSP4eks2x^w6P`jBpOcmH`ZdS2 zRDHtm5w);>E9RjtGFMpbmUreqGyzJ$sH=}RH`8NHbsWi&J11g!v@-xWAn2BcEiI3- zN~;Y0T4)sj*u3z&_s(D8Uo#A$>7YIxn)4OZvt=|+x)Sz%B5Q|TtVE9~V-6Bn0ZUV9L9 zDR)$(g7Ew1Pnkb;<-SYmG~RBYTXZQ9-&kuE^*C2tOM}=1BE>b$rlfZ>=XA>69E{cr z?QLct&d)_fLDzt9oQc`u1gyKlG@6-BNhAw5TC*afREwi3HAeXplc+DOiFFVSEVXL3 zvg<(uIz!|%luIil47>AbRCixI#Uh&rCdDFCtzuurV1<_uwMM>C^k@7cyAh`XM%QRC zQr9=GnhqLntXqXdc3UPEA8G@hEfK=(J(? zgtqYi6&Q$%0Sy!a8!=AX!c%7VP2xxn9sXVhTyIX5*X$mvfo)eP>Z4r^(*-1r4CBNo z;fJpU-BIpQD}Q3!B}kJIFVJG`nWeK7;U0`rcYz|&#p@O-R>9{ls5pwk$^u1+4+q+E z2&tGy^y;vH_RXtM^WoQ#992ePngF#B#*}-7(k(6D2EF=D6Utyu9p;alkRlVMDa8i^ zMDjGJ3>);W-WZTR^C0boLaUKJ6&uDxF>%srQ?7{qI81Rea~?^Z%@JI8RvWiA`h?wt zfRw_mD&oEW@4qdWbK^d7n{zh=I^)Ix<60mT5X^E+2iu02`WwJ~F#@6+p^5VrP4Pl@ zhQUg;iSg3$ec2!DFmd9FgNE4PN3ei5gfyJv1!QDj6(D+aQ0kAdaZ%lsaU)rkaUniGto?&c{Wxy> zlBrlv)j6AQbE}RN>!WN?hijEtnx!O6jVsT_!&a+tQ~|6%o3}7f)wRWdg;H|FY0l0v z-X}p9UKck4nY;thf&lV*aOKnGBuLcUg_P%Q=qg$jeOObq-zgH4hv1K|6$-zxr;7X6 zlPJ5FGrcp^C*mkUo9D*k%JIxx&Bu92cjm0d&oTCEw{EqQuJkWFoi9DP*puvK?OvrT z8XDn4?lxE1O;mFtnNWTMM6sYPNMc5qk;RPzhl{Uj?c)3>t7RiTR&-l5xAz}}@N=az zYWyAFHO5UdI*Fw7&M~ZBH*&rYK4yz`^;#>8mMc$RMot~#4zgq-k48oDVUa$HP%vb* z3)_<&-W2Gp!2UvoKz!3Efyt9kkv$8kPbE0B5;N-5fRmi4wPiR1Dz0gM-UxHv+@G8f z%KL(OHl;{C;9!*X1bW;WNLP4N_B82oy^C6FIltDH+?Qt%lu4Fm(EjE5BXnfmM0#~* z$T(*!AQM7UjjQ!ZvRHEh(y>gy!LGL-^%Gqm-VRHB;&8v9bFuK08p5?l+3}%)uagC+ zWkp!TMAyQY{Hg{FX|7i>*%yoO;ESE?VCRpo1G(ov)f2o%cX}=?=NFeT_)~SkpC^`Q zuNXvi*t=&YpbF**{rcjnu$oE?=Vhw}_dZF@D#JVLR$kI33aQC*=ez~6-h}rpZ5VQ= zt5%&~%RsGh^NWoi3Tx==#QG^=I(u#}2`0B0r||OG{EGoF!RQUgk|R%?>p!vfTUn7m zGa3a~f@=(-3Ud@f6R9DJB2H^D%PAy+;TuO`KzfD6wom19%JOalv4WKf?nRMI74g&f zc^#5~E~$bNopfNPw!o}qRHs`eyLt^stkEZ{9{!b$A)~JHYtovAPD^f-thy45HpiV& zODM+VJqMupCH%IlB}3e)i&<-x+6t6 zexWi>l|li&+~cg-5rIZkLIdFupUurW5WyLjM=Ym6-lJS3?fLdM7VDZ* ze7QeT0xzioEZPIb#=49f=v-rv=8p?qk@7m-d;l2VTP^)7j*s4AA7nwsMes9Nz5vaS zSohoWLw<@Na?{VZoh!!FK2Fr5D;G_Va~a-Lt{^A*>Jekjx>Uvdsp!Z)K{GP)rc-%m zCiZbMia9zLY2%&CJO8ULw|p5nGQ9K!&*yMl-+EmMBl-*}3vLF_L3I6PQiW-&cCI>j zQ3`0b`nC4bdJ@DxGafy>w4aHkf`OnIt}yb_q3MVpwA=}9fB<_vdai03MKDPz9^`KL!S|??@46*t1CHtibb{xCd@m zL~GLEH#|}_AQ7q*26JF#AfotSi^LnO@pP%M(!#irwHj)_elprjzMJ7N_&Uz68eG)c zCxf0k40|CT<%Jz=2<)}GWuafc-os+@V5{LT9dqW`7mU=<1`>gN$VM;(!gLh^0)W0b z$D5#N7Dpcw4is<#Pr@2nhJsQU>#8CeB1!s(0flM)#B_H7k){>Qe`Lr+Le@dWj@K2B zN774x`aA{PjE%U{u3?@gTGjGX(|7zaZFTGJ-MhNIU_VZs@ zsC;`()zBepa{cu%0YF<1s*8pG3>ywM7iC{ zo-%`{-kJpVisB;n;$J&&XbUxYzj+1qoy1 z3Pyjj$FytOQ6^gjOCMei@2XT(jq88w^UnJxvBN|d@SC>mBPF8YG2EE6bxaPLH^~Nw z22y+VQDfj^V*WKCQBXnR@?9^ODTSr0ouBY43Vc8 zeVfcD#WSnlIa6Cyvx`1DfQe|m!{{RjIKh)w6IcO2U~yJ{Q(pG|{GU1g@u;~k{I@+c zL#Lx#Tw_~8dI+^}upSInLEJ_=f^*ajhh`#4)J*HDMPx#ffsO0|53?m$R*{W&7hMqZ z5z}G3&8NDVVoN>?PwE@HT5DH$81NpIUJi@I&2txqUJAMghf7hvNvhvrbQGs+B24({ zi<<#C;E@8y7M(X-0>8`q#*fvw8nEs4dyBtccl6j2K_a?0z1nci_oMRYu(eWn!@D^l z$6sTjqnP|PnJ)LW7Dir}D*V+J+S#_N3?{lJ)sO1tAN(fZXZRyhl8fXju?$+M;uy6f zMltC_4x=%QZ^dALwa*p#B$IQX0Er~*eI^3>iQrg*C@5>QX^obP&{o3|B@>wcuy+(v zLTjQA=U9uUrCu8giH^xAs&`*GI`w(FXFH7`l;HSg)jhk;qX~_R-D&d6rUsDEgSaso$hxc&FEJkRCyMkol60nAs9&ft1Ge zq8gXX;g58I4**G@(Uk_zJNKwCsg(kQa1Tr&7*f6#MITJcSDqGc3A5$$qbPMrv=>=( ze+rArmDflARHT-xu>E;{>L%B0*R}xI$fY}{IXId_0YrMAvcUp=mWiSnzezW$vjnlTSg|%*eS6WbpzX;^vY3 zrMd#WUu4fiH=>2Gbw5SjIyLVufxXR7Veid?$!%|LAAP^%{9TsM9~9TwJN`n`sm>%= zx?f;{auo$iOG?`Fqum$yF#d|JJ@0*1{qxjjWzcj>q5+7R!BE0LMaR39OCbTt1Mz2C zRLzR=YiVHzBY}4@?_S+WjxqrRVh2gLsEW=8^o^O$qC;1NwMS3WslGfCQ1=W8i`1dG zQuE6v;smDY-7Yid7H9_{u?&}>3%BYQhOq$x>!)a5ARt?I(?UFU)S8aeDRopUumaE;fNgGuMHweqHpFI`C+dO;UdT z*;E8l8Gmg zeFrOWi2OGcB^H8Pc_ATRqHoB?-&E^8?i-;@%`6op(Zkk0_r;C2Kk~`bsR*3Z1R=J| zDuh?(=t|1#d$WZ@(K=OO@M3$S2T=~bLjAo-7cjnBGlJqL<%O_UNChLUXTM*znHSIe zW@b-?bN_cnH@AQG5jQ@b5Qj=$5Qc+)S2u5hP%{xeqA{-#qzL?!CB((~vmF;{_DoE& zp~jxR-pFxIeGOo4S}0)Dyv5x6R}ZbRojwjpQPK`Pmnu%^FTsaAhta55b}2iD1tHM!x_5Ke<& zRPXuUMI!cZA~7AGZ9Wr+_!PlXyEGWt0Nx5=GNLB~u^*LWss2&ieEFHU4lV1#mS6u1 zTEZQ<;@~AM*we*A0oZ6M*_OLrJPYWgr#MfcLEWO8H8dF?NT|XpIjok&Y5c(cf2;xV zUAkYdEGgSt?x|`SgaJZMYGl)S#C9@m){9Jm@CrX`AX5}80*Zc|g$Pi+n`y*7MR5zX zL=+`qOvW-|h`UL*1ipnWm4gGf)BRIEIkSSs*VH(xFK8t@fooB8x{}1vw1=)wp-dXX zGMs@KxJ6&K2eI-G5p=z@a!+du-`1>Dr2+U*AUuUNjn3ej+kmPHOdKg)X58r%cs-%$ znBE~;tIpkXb||a;bQmy*a8;KY;6;0}gCD`wI&2g@+i>}Z)heM z%DkdnCDzpcbZCW#%F|%4hUO!EQ2fI+9>;b}&T8%kZ#&P8Pl%EDM|OE1-~gNP85X-4 zKL!Xb4(jeII-HdW-Rm-7SnVgPx4vj;Vy~L1*h1M20DdI6#UT;|B(>}gQR-h`Pn`5z z2~hq-XHy1N=OVsgKbNNpGSjybo-7q2b(|Id1O}RfrR~9ykv{(fGi~NDRx{CLD^kR3 za!iy$)N{JpjS=Q!`$n}<_9hE{8EbxOpaTX>i{Yi;4`VWn&h(vFjH;&#Q~r< z7L+eiGby%+Z`sy)(avUJCJ8Y9P0athE|<+5D(36)JP=t%$x#$-7i5)S^7fk=*}MBM~ooIRE>5_CdFY zZqWeLbF-WAOBfFFC}7R}jjvsigR0ldbZ&IQ4|j2)LF96AnrE-OPI2*3=eP`WuUV^m zko^)x!ktg1Jx5S-KdzTQ0XOvK-Uu_yR4Hr!v*Q}D!xfN(r#n4F@|@jcG!JNJLgeM7 z{HKKBd{AL}*!v8;+)$pkO8|I(e=5BKx7G~O~yC8VSte_9^W}GAHA{P^MCPTNf{g;fUF^=EZ0T!c`OhqyTSBt>}(`{i6 z4~hj!$WOs3_^hm)i&_9^TooXpU5mt5)FO;2W!a#3&*~H?w}G%hnb)2P&A?=j5J61* z@T``KKyI-^_;q~U4fuZg{%HKz9nSeK?8>JM@54md2P8c*e%yP}*^d~<-XHMT9Ihj_ zJ}aWozV~U5K+Bh3{C%QU1<*cHBCG-hP?DAM8hq*A=iMY7xs#(mlmY5fAeaA<>FuxH+u?|?>y&G>0v8I-N5L1^!0s>Dsnw^HRI4IjEJp+kvN#T%&e-X4YUp6X zVk{5(mp`zyE)i%r>%2RtZqgpn&i3zFT!!$jn~-ts(Ngd&nyzM|#v_|w3;p!mnJiGf ztv_5|!|8my-I5d#h6WrAtKcDKh@$-Dx08(psAIn}R8Zh&s=jY9m06X@rr7-}f~h@|0#6R;v+q{Bzh(wBb?ZFBo;v-vR8* z2qC|#SBC$jnP*~0S{G=K6QaLOzwvd=u9swmJF4d+0#nd)zX8V;+iIO(GIRJZ3le zGfppB8BY<@HINKix6Jig1oR;Zrxf)N!xML#LsI8JEj2fqU`((Ot&>FEES{qV3J!qY zSjapGrc4a95rB9own`+=HrXt81K%5Zutd%TA5joO>@Nu7D2>~{BIXscvEmfUM31lV z7k#lPtNdPo@m1$eOD~Zp_%MW(t~)CgpJl93t;G48r+(YPsL5~dHiZHD=dhbYe&mh~ z3Zr4~xz|GkA7tYK>hsu@FHPI}%JngD#abv$TW=b)YrvSDi#%=28IA%tVhcWabFKzG zk8v9!!KJED_WeEcizq%UK_5d>e<=-%%daL*q53hnHXzVx&KcEPnunnH z+7Ft#^f?f$+7;C z!4o1qO9Ed{&y7hSQR%ZaRQ;l89qfd}ob@}U!GJviO%uVu9MSdA-d#$uGU>fP*UbS` znYp%O1@Ta_SRAVTc>hoWD6un0kd1rt%IRsG0;{ytT!B!D?OZy&*5~q*z}G7L0%blN zPTLNC^L)Hw?s@e=qc8G0USpta*s}n~NR@r^-eLK6FnvatRH88$Rf2oHMSO!TV=jFe zK>{F;Wpe#n?vW7~1bVkBK(oReYnWZG;I&bKd>JGR)s&>zF*qOs!{mY)J9h0;-cxtc zzZGX1>4nU==tuVMR8i~BR8e>Let7K%1NlPuhV@Dv)paS3}CU|fFvkTxy!er1JmhXz*D^UR+)bmACod5VD zDZ)QCV&gVFg`P%xyenNTdiTU87&PG2K0adWNNH z6oQf3-EUI_N&56??tvw8wr#Wto-;RZRE>oy#Iec9YxOFqs^^TiZnObbumND%c%O$do3qQhBN7RBXV6)E|Np&(WG+j0XzhIIn-b-)$a_p`yiY@Rj#!2p*Gk~2Ue}KFr7ciUTmdi z4Yt!!cr@>7&5WGZA6>p49RncuwmpROqGi&2IOKr`-&R(qQN3<&Ii7dzWYP~0D3*_V z;r?SYkG3X}FR)yEkeLb7fv@i!Lqt(x#zLkBbHOv8p=&M>DF*?m-O-5GVx5QP^-VLj zK@C-##l;yS&~bI^ zyt)b|*F)$lM{gM1eEd{v|9|caC8P-@{%mzCkN(J+#-6eMMdqv^d#|7R8f%sST2S}gWXGZC~a%9cuaOumnc@2=N1jCp*nS4WT}~w zqoo|Q9AsNfud)Fv>w_lYfr{L8B$zKelv$}sj!Tq!-IdSL_hc)IlHK+s#-@8g3Mt9^ znmH)nI`PxaYpT6<+Uol3`nJ(j>93|nZ!&tOSQ4euz`%o}0BXb~Gh&9R z{QdvRK1+WHjw@|;&k*R4G_#WNl6nzZ*o*xVzKhTS0B`E|g?XcHG}Ugh3ER3R{nlAM zp}!e5q{qNG%UILtMyhE_I=6H~(ki7^1i=Ws7wDb+GBq z*lh7HVVX--BKa+og}|7hk|j#~Q1cj?wfknOAN>XH#k{@(OM>ESDT;EfXeq1CD2D)X z1>jF6FJi#0{cD&>@f9op1BuOI-&83)Zpa)meG72`%?n#)7}=gz^mk(*e|{*A#2p{c z7~z@1%xHAWI0>XEFiV7iSb$_LNpe?n0Rq>s9@E%p4gwy(VJzL@5sg@9*g6aXk}qiKH+Yz#iDo-s1>26`mfEwt9Yt835N z&Et?K%k=$GR*ti;YuzkKwnebhlDMDk*VJ<@1q0~2*83-aq{8!GQQ7fle?PJ8BL2`f ziARWlhRS0Vv5(!^A^AEes&h>3ak356OgxX`q`_4T&(iQ6+UdhB&`hBL8)`{GEXDtr zKrXJr3dTwRC^?3apZ<5$<6tr)HPZwP4W0H8_auiBS3NuzY){itq2)hkjbSNXg>BjN zE_o?RUOwvNBu_ssPNk3&OjE|^@xS08ItjZaXn@sS{o<1^+V?VU@Xh%B;?(TD4@qoDJ>c5VHAyt_Co ziJM2<3he9XDc=H#r)))Cy6QV2RnBn!mwQIuY2s*sy#zu0xGZUbvvu7t;QaDgP;5n* zFhIUJ)J|R7SUyluazNo+z-A7?AW@FZd>j(->K3zGv8l1nR!R?1jD9W3Dhgb*J|XAb z_?mOq=V`;6PO|`dt55eO0m1sW$3|P2+(BBd`KtDaqv*S%@Vaz6u>G7Qt2d($&JMRp z@6B@Z3`(}8HinA7A?o7}tz0eeZ{lt}Xh5a!vBPIFNFi6Y*K~xR5~(L71;|&iS+ym( z5R>vsMw&${g^`$FYjx9e;U2GIwz=G3y2@{+45;zXp3r2w>pg#(=zYH5uVqGkhk2BO zwqx5xFPvgjj+O1>U zQe__>2qD^Ys=^P1#oe(g>bh-<|D?Rj`?w?98m?xi*liZHd!KKb+6l(yo9~=GkY1|1 zZ^q%(Wkw$js6-VF)Eye|VE;{m8YsMukdM%%wAmvL>nxpjzPSYWZF^p4=mFs1v*A?! zb4~OIk8mETKDz+uGQRwhA7t@5NJ*#t26W!4x_zT2!vTYwAl{jIJ=M(gk6dBO9 z)zUL^bKID38N52xW_o_8s`YwPo8a@IamBZt-p>~AqIX(sIT4F*twwD3Mdoq{82j|9 z&874G{R*2(v7BYuk=&qO|oTcSAwE&nb}0~)m8YC8d?I;XoSAPh_#vE(5LCm8j> z^d82oez|O?e=VZ1ej^7Xz?mvIT$$L&jd+snq7;Z$QH&cB#a9*(rCQBgqb6+yB3`0{ zSJx-zDUb&lLGYr+VV}I``$KpW6aVRXC!T;2;?Af9F5??Ow1K|0kHUPaqm>P#1ODQN zX^MA*UKFOZMy2EI=)^#plimY&LbMYT>YN{DnOsX~y&>RvX4h4NqK&_%c z&7|-Kv#DqVu@(>+}Q&`+*(P!TK@fm%(FlCa^_k$amam9UU#A~Nt2>3?D;TM zNKd26R%|XRDlqP{)hnIVYjAAVz+lrZ|Er9YuGqA#ni%|O^oP?aQDMBfy_U7o>CZ29 zT@K`gXyO5n3N@-(epy+Q4yTTaoMp;_H-a3XC*fGV_w zjUv2{upX+9Q*Z)he_Jlh>x!Yi9mHaH`J!ryd=7=oQkx-^AUgdq>!3^I^lc_7@m zMVv%6L~(vZ#TGnh-pzGKqJyWNNY&Siz(Mz?!4#6^w>o_Q4-E#Tdp` zjM}CaWM=w`Qv64SopU8}zrTh)?l9-%*I*UKpFeiXsLmk5$mas&(_b^Y+0)UQ=^!`> zWVKWPwx}s$S}xr+N&}Rm1h;sQZH(Zc|P=rkF0Ep z{ERXGOJ(=@Usn*=tHTwQ1bKKlcB_QW6#5H*PETh6MYfvWv3VFsGCq~Z_9}=~ru=o) zr}Rs{WJm=R>3R?NbA$BRP9=ERGz+q`UA%m=WCI_V++snz%DUy>ti6BgKA6!H^o#rM z##Ll})52$G9%%1md;=9kU=mx=S|iJzb*Q(Vnk@=_=vDirDT8Ftk5lCU zgTE(=`>@QE>%bbyGz32$cu!4vu9@)8<`Ceeb>J8#kVk2ZsC4%9>+WztoHCEH(A6-? zf?ha+;P**j6`z$KgGqk^J24S*H-~w_Pl9+ zAb}AW#56Z}_q42oPD4w9QF))mn{QJIZ-R!>3tw!s*x9B!LiLvUi~QSNjS|G;HpHm& z*+~9ObZ@RS@{lf%F2?HN@5G?%b(NmOTSZvzM1U_}PIjuf3f%66rz6bAV5|Mg>LV-U zk^o`EG}-w2`MUNULrY6r!Kha%=mC#Y61YPiT4)t27yg0wfFepZ=G^mxrx_Z`$cYw* z{LE(NY>RKkzaek(`qnP?FRFWsa25V>0OP-7luGjS>Hd0n^sKXK$>u^8N02OQ$dp%+ztS7oc^kxK#k@%^Fe4oYmWo}2 zb~WO*bwyGGKV>MRCf+rUVYTI0uKzoijKfPqJU|5*r3%7;&mag*wGx`jq!~F*_D-26 z24}u@dR8xqweIG3I;r==hl0j|1}D_n3!qs*^&nNjc|>QL=2idC`uIomTOsE;LUtHb z|AWu%Ub0b`+fBCyTlIb6*5#&giz<#zZpGq&sFxG=ReR>Hk0b^2r)niv82a~~#INU8 zDJ?4)bQT$~jOUU6oT(dXnSGu`rf~S7t?}K80e9@{nd#xLnYjlN6Oh$YT>SJ76fw z1DlT&6+Vwlwz<^t*bDKMLTyppCW<;u5_Xp_hqoGuoEWF%N+Wg}qeBzW@oJ|HP8W?T zjTJ5ziaoZqeYRN1Z(*5Bfbm*(kr>CJ2<+cmRIkP=);$DaST_=V5Fbi35Fc@=nuZH? zzy$d?6F@ieYO+GMx`d||QdQ`d3^`YOY&75Bhhr4U&w?K%3=%#UVtYd6pxG3TLNO6K zns9G=nU!B_wBbd>3xlR6MOP{`Y?gVYYF0>AO3({q`Q~1*A!EHZfT{p=G`@b~)K}P% z&vEFv;IWvBN0hI)cL*3Jk2~*#B+`K3|X79lA$hQt~wT@%0+i$Z4R0FXy7oT z>q=#sLf_VE%=A3_CKR@x0!Sdt`)9D7RegY77dddaE$a>0Av^b(@JdEj_Hh`RxjE?# zW(A0&ir@3A-Akbuz)LhE5zpm$Kq=q9NMxOF! z!7%7;uE|H9CH46B{&tP~HZo)N%Tsvm@2e09@(U(!V@N4Z+2ri-KYpTKg(QNL9`kR` z=pqSS%?yAuAmZKTDP10|c)#QFxOtf5x5Km6A(M5+Zq72jOcfW5ua8WXyG%)=i^}F1 zoq+!FXCh#*-<%%W!8HYXj$+K(42sFEblH#~q{+7zp6A+5>rHLXx~-S(TPI5!t~R#L z6t*4JZtZjozcX;~JmTJ(X6d*hwKgrT7|-U#X$}B5mf_`z!-lylafk4py>d<)BP_S9 z&iG7L)}&F*{m8XY+BgRlwX?hdGrtQw*d}4?SA<~QnbHLW3OpRzhh=Fujma~wnC63i z%b6P?46kzCb0f%KKE0an*ULWI^p`-jtrV{NFFqbjKx}%4@S6Se4}Z3gaWhy(Es+zW zMZW|<{^Ec->7lapn&uu7@)C!Gt{a{!ux#JDT!OM zYC`OMG#SB!e{68p*p6i)rTy#dQi{FG!L6cs4}N-QP{aE8r)Hn_Z z2Kp-U$>xE=&JZ+85kGI=YS4^9by;}^)%1{W?)9{Hv;K*4S(PDK>2{DAr9(r!4|81d z!U!u2?`#%}9z$|Q^EcRxK50_fsez`!l}XSz*sAZSs>u%drJGDF2+jsQcwCy|RGv?$ zp^6kxL`EXV({qB(4Sr0_Mp>gZXp=SFG^qdCfLZzyy_CSsucCm1wB04wy65Y>f$ ziDmr#gQ@}oJbE;m1VoViuU4eyL^Rk;^TESjLH|-XdPF)yhIu||w8pedmETTXU=`>o zB&X%EyCwI1e@{gw5p9jRyrGJrx<#mzpTksjJAFHrbQs8eYu#|MBLl^rr@Hnx(-5)= zoLZc6y=Z~(pGm?HvVTI`07`!E1$T@iQufcm82SoJO#|p#NlHRypQHwbExJN&1*UPF@df`K&i`57X9??- zM_MFf(5vYr31$O$lG4#A*-?5jAF?aQ){N*#m>5V;mnH+*E^yTvYx)o`acFk+FW0GNDL^&=QvBLe{JD{|&t02GRHYC3SiEgZL(e*PIqR+u z;nBN%^s~?L_aA53E_`-g&#Ae;TLF#-c4X7*LSOU@xup$w%v|_)0l0mVu-Q6@SxAaw zqnRJT$e@jHCp{oPWMLW0Ue8 ztY3QXa^=I~e%Ht-i1;TKH5&^bDhB*a2uhR;#hMN*)PLdRy35BRve z=G0y@8AF71lmcV#m8Ov(k`ISBL1hA669VJTE~3P)KG|3O zQ4neB;n1Bj=aEm9N~)y2XjwqSw)`QS53gdK6#ZSr!cP4>34z&0V1BUoG>Q{nfZ;3AWt6r~O$I_q{;#=z!vX>3&8IWg7T*+RbzOq2C4HD~W^gvA3axYprAV^TOO zHl99yx}s1{nT?EzJGi2?Ytk68NaV#t$B}rxnDh(wU?DmBrS;t`n`cwv z2H~l(J5Pqg>#{J3EX%IUu%WUzPY$?`UFZbUrt?d$snB7w&Xe&9^4K=(u`tGdX$g^4kbpN7)c?^f zD5Vp-ucSO{eliH5Oh2UktPFiij%e@@+wiR2c6pE&f-WHu#jD6FFNR7^M4p)CiV3|g ze0ohO`F+_?{+o?Kt^CMHdQk_UQI;M-rRr1%$|8{RTkKJ*+%rRkAsI<%#$L5D;{X%w zB;_K9uzFWOW*@jVModXj&}JL3dR!J=nm2410w6rdQ)l;3@NuDg-9g;ZXqC$2qM@a1RN3 zJt6=3b+W-e#{_f3uL2Bd+G6}S7UOiQ(gd>jkwR$|mG-ao94M*bpBOzu^Z1sdhWt=X zanGhv%eLK&Jc?oX8u!IhW$L@UJJuSlfhmtW`XbnO1|GOPbU&Qeyo#kgsUDpJK!pWc z8iux9v5{IrS?!_;wHX^AEj+8@6swYa9i0qHduZ3P7TZ|GRba9w()lo>wqXZ_$}TP?ugIoU zxO}2(a&*sv!+h%GP|>&KnOz4#<4R_oPr=|&()UdLI+hJ^#@ySHFoEtyr#yB6|7Yi_ zC1e!fAKePz4HR>XsgXV$z6zE}Uz^5Mg&o3*c=oT9 zQl=>@LW#_7$!nV3Ub;_!n2w?%OWHTXDpQcOo<1+0dlb4W$jkQxT`uzR&q10PC&pA0@WFP-G zC|*aA+3pLG&~Ba;D_KWET)K_MAtd6V6}6bn@&szsGD49qLD#-y*#L7r_UT8nB1ut< z=)*YRwW?HH`X3VXXI@PNF0@~X)8agW!CBGe@4P9B3KjLLB}5qsno0szjg0q2K^KO6 ziVRv(96pbYbh=jAZv^i>l$BA3f2>7&v_aJEOI(2xWtA7_JEfYW=eDP9Vm8!MmN+9OY4=| zJ1_^rD(k4I>I5cF3)orbo9Cf*IExiAO!ue za0xtGb~5yLOK{xFP=yM54#|qk(YNs0boo}+J1@msZ=arV)D-VZS6PFAaku$TO0Sdw z`66Q{xEj-}Tt2V9+xwH^n(pvI)$~-b6Yg?u5ql@br{ZUCE-JUq- zGcrEET2p)t}L``($3LCg94z#|WZY#UVZWeYM zAOEDsn{>OFdIr8&0pB0Pr$zyXC=qF`F{+b0OzMbi3|~sQdZ*3ziJ_?$7(D;X1e>VS zVRfZaj|#%tDd_-W&O=6zOS0Shqj_C_+^fzG?$SFu?9F6GId`*Cr7?~XcQeudh};s} ze5TF^D@#42x=`(Qa{~}9JDT4~>=KLc*JRb)ejvr3&pB5xLOB*&%p_gVKbnX->z)}_ zGJo`gnBMeQC82I}Q%^%e2@SnUHQ^Kp-NV%MEij__tZhsbJn4gDBaJAi^h6H1cc=yg)MZRP#1hvB)T&+L}-^IR1Dmmy3P>dkh7X( zx>PdNS=(S^re*E}wi*W+q803*eeoWQQs#LNKD=;m`KuKjk7Bg91K{nJH|Buiahu53 zj+B$Uiq4+#_Vf6(BTRUmZ7oiJAy;8(k?!RIL`Y2F(8u=rj>!!pX*&&?%9KhEa@{h9yK+yF3-xZzNbn z$@|hHFuliOE&Wz{4`gyVC?Sp%^Ph(uTVtnP4mqj}HZ_EG%-&=gj@^h~b=R?G$B#$@ zL=E?u?K|KEnV(P!i}GDePlnqpG?%d!8<=KD z8;c98m6;}YQPjFqku-2~FpF0wJCOb-dV@-Nr3}vxB7u+4QAqF1_A8s%MFiUqMSoYI zV+wW2%mZYTbhcYE-F55MwMC7;@N*NupV)dbZq`x)+}ypY^C)tUs$uwEe|TADUuEY} z*zssPjp!E7%<~Pq>WL^CaM1j-YB(#;jg{VE0K1>NkG4W`!rSaer)UE0_q^+BjtYD| zltR4VV+G_(hAH^ey)naj^f~8fgRMC|+mDgsqWnKbj&)k05wg7}c(La#Wq`~2da=*z zQ<1lfX!8*CbT%^{V#C>u@WE<^4qxChlfqT@S64q2dUEA3iz5vM%=d(H(m5&RvE`mp zw_YG#&c-}PC}6*bFF_PTY<^ZmEg9UQL{*_WY7&`>vApDUusCGlIcH?P;JC)$*^9F&N76{D!`eAVBa)agmch@siTnOixWdnm z+z_J>c)6dTcCn9Ix9;hP@ZNfU*?#6%3MV zY^AC&gTpk%qJpGD%u1Wa5A6TP8Vy;mSe^qzkFd!OpZ-rVq8#Vk8{&I1Wi=V01+DWS zagKFsh2O8ieWpT0VWs)7kV%DutS|XEgGYRZ>dmTfSRnn_CMABnX!?b}DVK-#5JYBT z$*bXwO0)rFhfPv_d+bNjEL

5ruf0^NhAJfxlA+4-koa#Zh|B&<2 znDwzRk@KSdk9hJLuF`6|h>IHv^BI0>uuq8PALxTYbgWki%Nm|ZL-l3UZe&xYh7)sZ zos9+FRuV+`33~{vf}jw!h(TmI9=CZJ5dggQwwoXRp_ROhobwqaUpcnUCmdFnT4GM; z>XwaHeARhbMQ$AY#$%@e$J(ViWSXl8cFgl1{IGr~9#h>A+&v4cpz#RzFR?WN(>qME zM@t!#1tZDpd#=B)k~YUk^x@h+ z-M%p$tWbn@X;Sg?u_Nf4N0IY)&-%MF0=@ZfFzqQ{u{#m-S2@i~Q>P}Qz~2QA+$6Q$ z5hS`Q5~uHMQw7+!I&y?uW3;S3+r^-`@uFIjPD88bZxHR`3RZRc^|SLXZ%)gh7Bru2 zV!WcS%~IYErY!(%=`U-i77tsGX;-f$GpnAVb)Ny93&J=Zng$7jlKyC^Lc+ADQdh<_c}mHptKv2jX$Me_{nEa=1}aX=)9 znhYx zN*d|m=GS1=niKFEQI2VPVMZs{tcBfC}41@r!ZJ#NgjYcGY@ps>ss|GRY{~Gu4`7R!*k@5 zJmMr6?!02{>;IN8 zm1ZUDEDWxsiDY&l7^RNaqq^=GC$vwgfKSJM@FIdZTWR%Dd&Ah1Xz2$(oYxZfR*M8U z?`h{0IX~T(-nxWEi^@Oivkf$i1%cgu5Cmkr5iJ|Ji$M98dW zUnALC!u$%0Fk|!rB2^;R-K-W014Qm8Ex=y+sfQPu#>k6;V4l(%to9+sB!P!?}!y^V@`rWZ1r8y!n=9ziMUKUVxgz-;NHbk zaCbSpWw`7FRg&Lv~GBAl=WhNPu~?&CKAx#2w~{TOt}W*cZ$sVhWkE7xdkk) z$Js)IjfJ&@an`4#G`2^gZ5Cuysxn9`)#x! z7hZ^Kl?TD6DdDZdqJq3B60)ro%+<`ihflVgPy;eN_Qz#)kGeKw6YvRnr6ceP{uAn8 zs_7EA=N(Y~m@9=p09UwZJUE zQ_p3rqsv$d0Z64d@bg$%@dx>3ZTA+F`Dy2muMBkBeg;X$*oL?V^d#~?K3|3-Z$Ll0-%WUNzR;iGGg+w=?!?=gphGb#ea?*pq~)39f-nwQBHXW>ri!MUPzHMsdtsiVh=Ws?Srt3$Xoah_vfsy}A)yeutB+}Z=mBO}mi3|-x#DeH9kj;u zz&padiDdXOXx6^7pZ$t$rvgXeNl(3nAL1C3R;(xnTwgD=-MyYx>o}QXZLm+i(-HR+ z@Y^Rj9s=>}XCL)7W3GKvqdf^&#AlGnp2DoN#(0`)DrqU@Oh<4dZ0O_ZQIYfjFgP;M zk}1ZPgO;Ws@9td^7jAYnoF zMmLSoQyn2DuHnj`?5q5_v~kjV66aY6OW>c|bmAFH=yyuL61SS}t56+{uTd&@ z?G8n)>{P3(M-iqi$c-FTU0(vtREyE?2gu-!RDE}@Tc?crv6M=C+bfZ2k?)!VAozba zmE{{)yj6r*htigrsxy@p`|KN>YRXrjc_XM0{TFo3%oI}92L=6~P!?x^)qAg+kE#yp z4Qmb~^u}K)&)C*Ld2J(mfZO4hVyF5LYSInosR=QC9!Fse72~e`J|aefqAnU{_G~qi zqo&SFpzHlC%>G_{aO*3tFZv2iv7F}u)RK}+Op@~{8J}88R?vTE<%Rw4tTXWcnH9_| zd{7R_QG+#;5b!C;M!;g2h7$p{YN!oIpQbYCM!7}B*HKhB`KRXw!j%Bg`coDS6NN`7 zBkYUm_hMw{YD~3&$}4Y_*=18F5bQ@2#=E-BtKIFA>=`6F9`qCU%3CN|+kM-QDDhZj z0!^BllO$at^ zfyvSqjO3l4J4yy8!t?k>bC;-p`RwG2?z=g>?Wbk)1Y-MO}PNRw&C0tJr8#5y<0Q<~DdM$RU5tTB1j;@>3MekTIq zl}eB&U0zakk_TpSMjk_%wK5OeN}K9e3xdW}257)k6pZF7)ACu5agqWmJVDcOqmSf^ zVOBcFb{iK7&tlao`gy5YHv}Pj*2Kt>jQi*JLn%li?I*)ZNzv7}8ft;g#Wx;vE16_! zy)dFa{gF?xKPqD4G|a%{7K6Zt&-AN~5(2n1D`4MyS=JWC=`SI3W^6^Y!Z>v1kXrJp z0Rz|BJG^AR0{ON3&z%&hT)_{shEe+ zmq$j(KfhcR0x7#Z2T1BUHWoT{xUt3=R6<4#Y z%i!+r?jD>32<{p*xD(u+jl0_9VvT~+<{ti5}6 z?cGxKsZBQw3q%S7i$;pF{rBYeL#;Pjg1pzQR(743#rM{a5M{OJU$msv^tN{Rtac8i zRRL86%JxBF=8&{Twf?ADuTAf+QX$bMlWSocK7tD7>IIA~v+|AIwxvOi<{!`@YilZn0o_U8D{* zB_?MgRI~S*hNrPgJSDy#j>h__#HJj>k^)$Lu2WA8?xBk~VQ2O2cC9PEkA44&i9Z`{ z2|h{~cUlCFb-qltJ4vD;{DfLR*)Gh&9SXHK#7S68zBmi{!K3*l^vqo-z_@aE~IADQKll#agj{{9CggC~9F*{&XS{Ss+ zC%=85Nf7qn0@)m&vpUNTsVc%3*`c>y#ZD8J3^}Q9$5tIGMo5bJ8?ezEG!3pIp;8RV z4s;lUc?`2b;bs2A5w5)iqb*Hu1AH%7#+%I!&pXk1|2>%)MSK?L>?2B0cFFC+&V;SJ z5adT*qcOLmMMCEgKgTv1q?9}L@7AFtaMcKJ@QgH9!x)=iE>Tkhdx)0Heau~;$&#Pr za}D2(q=QOkLgllsHhHDP9@REhPv%_sX3)O~^;>gevD$aVJABm=WT0&b^j<8U@s1ns zKa<`gu{zu1-nktZw;FiLCwXHn8wC;ex#I%AhWgjI#3KhKP5AfOVvxFnZ*QrV4br57 z{~RQ9vo2FAwXc|`oD5)};SS7F2f6V5@~zdbj+x7>A`R*Fi|9?s_zlIhM&V)Ir5JJq zaSQ&L=mO2PkpZJUNKbzbSoFg<48$%*)FFvJ*fVWc;exnIFqJO%i4|R9T zI?P|;Gx9myT4Fz|PdF2M?{91o^a&**&>dQ_@K51yqNZ{Q*H8C}?XqFSjT>S1DdtGq zZ}6?e8#I#BuVh5PtqgiAw-eR0CEyA4Nsj|U=|a}$Bn_*fI4!Nf`sA+lnJe>*fQwyn zvY4V1I%cS0S1Mm<5SM2PUUR6h;JIcZN8%v;78kT%w3Tw^`^z`QoRC8gR=KPxLk4yU zCovMvFyAyE0|wlnF%|*mb`q^9nY>zIa9vzBV}y9z7YeiXC5=l%menJ z*_TH|;X@@tHNisgpJ;1NH4{GC`ja2Xlle@G{pq&lWr!vQ;my4_S5!J?po-JeDSU8{ zJ-3dy#2@e7X;HTk(LF(%YAbdE@T2Md{<+aMqj;}YqF)Cf%?Od)epKUu7o5G)X2S+H zE_Pv^a6c!&eOTX^)4%39Y=#uf7^?1_x;-&U{XtPRk$4h8i6Qe8s9Vy$lh|vnuv~yK zQ=p8mTlNF{Vfx+qG17RUlvE^j3x`tT_UFbjS+IKec|qT5HO2G$^DAnLvC%HHhgGVr`Gmgm~2j)m!{jQs1OWZaSioM=$hx6aEg|qiY8AD?*>xEmgcP zn+c6hSG7%~{3bq(m4VnKt-~m>FO)pKp}{Kr3Hc?h7@LhrsZ`2eXY3uduRSU+x!5e` z+4r_zd7y}J+?i!mc-^>W2Jfh+AbQrMEK@3~8o0FqlRG!IWiu9z?=X6Bwr8`CeRo>e zb@tUBo%(ljT;_cSi1MfBUPw#*H6-;mda8-j>AwuQ%d`%KhL2w)QuR6`mO<4!RrZmY z*o9`tvyY^1YWOzCDI|0>OjJ_^DwsLQ6j>x!Ol=+ucrL!$@6KIOHP1hKYw!6M)p0!h ziIof!$}98_?DrzJ6?{N5e}5;5rnD7=XKkv zQ6PMCU3XdRk?h;ii5^FC)6(Nc^A7Zhac7GEgm5QHWLtS$Z{j^Z-{W9n`*(7?*!k}U z;6d$@T7OR`fLHSY28x*G<{k=Hv=~;Vzd*zfZ|u$zzGy~r3Mw@(raRd-kDeqoysE~t z4t^v%VP|S7gSq=sNt%)w$gX`dl-ZM5BtgQf?{QViS9*G!`$A@=F73;FBXu{4QO*98UJ*l`J+ zEV1ZgZWghE#Vc^oL(gNrMq6$MnI3wGzK45&aP!DmBezN!D8Hg1&u=rh`rZG_Q|8)Q zfBGd2EZ(t4Gezym@2^51L#9m(+~464(2a?tT*Uo_)vwTI@LT-U_8V#~#z~7YG+Km{ zi3w|^jHmoHr>S`+$+fY)<^`u$nJ!?C!h}*ZGL8*0JMo?&+PA5O3Vs-)l9fI!w8P1c zs4$jo+=E}y&Sw7#3Hd{pfg#CYrk=2QF4nzJ@9GBoR7pr%qWUp*c|9XG0Qnh=g#i9O zqysBx={9=ox^;&UWVp}M_+h!`sf^GKkTAW|bom$QRlKgE-adZS4|^(sBmYIX)8?!k zV^(q?R`#Vu{BLQmwVxMBxSVZt7~a`#F&oL5(7Can0aq;DI#cWdem3LPxJiBg7A(5y z0+-6^TIA4dv*9mAG=Pwj=OkUo==q6Atc&Lq@GOj)-aFulFsnmIdqIy@05Dy5UVbg$ z#-bOhhxUe)G(Z+Ot}=~C&WC$fj*<|a{<>{?oouCPDmzy@dZ@r#yjU0r{JRyx$5onS z{Ynh@J0`qCQ6=2)Q_)Rs_=C!49t|gYPW z2X|PCY}eQ8xf|L|LfHOHTkWmoDH9rQyJE*Bm8{>P!+JE3A0aXJ-nSd75ZkD>D5^KW zX{X8Iw019>5ds>nJB(=Csy^zmN$Kd2XGzOF_# zrfx6lRWG4Qk6OwS!=}GuNR%S6S`lQXs>|ShVq{h* z4xQ?n;)iHVK%z?a0bzlj(7*G#hHM0+E}M4(3n`F8DIbx8;+IWQ5;@-Sc4J_+Z1<$Y zP>)y^{5%i zD=1QK_fRHYzGJqrY)w`Cga4wER3Nw z?xd^LVp!e{mE$}iLVsz(%hL-F{aKPl?rQb9>v)psDB=7N1{y~ry?F#ny6hQVD2l0t z!$-7$>r+3hN~RY-c?D|6h{~__j!RFg(fs=G64U|1k4^aG8XK|GrHOa2kAhQYaGKvf z?OOnk)?)#Taalk0`Fn`S6pV5+3U0x4i9GSOj7=s!TsUKpa!gr5Dh+|nPhM-55!N{} zclmVYj6$CfBQNK4CawtR4Col>l%OlO`bwam>FJ}LKTg%cD5%(ae&oVItUTzqt~hZh ztWF&|U?^7`JIj>Ka{16!m&pfTv2RgqVR#RuWn@i3B{`;^HdUAu=eMuUXT_VgM{r3T zP}_510L_^#e+bXYo^XFsgQN2_BHU?IcTZL(BAey3~@o<3xQNlifB1n1$Z=37L(Fja*6zJ+N- zJRq6~|L|1M1}DeKf+6}l1oosEjedWoh(3!c9+$-1M6j|E77=3BcleI`4K>&91w~$y z5xjRwF${Tc5sB-sw?wbj0~ficShkH`1YW1t35c%F!!Yp4w}i=4r8M(X$x#9NjtkC& z+q4qh87=6Cr1Wsh4Ql>&>$m&~+uw(a76XMHx2Bbh=8RN#hL5x|SJSVg=}v z=KXv zi@o98WAYom?fEbn6>@dlLS1t~@!JZE^Yv{WRrbK{n7#Wa!i8vXWnKK|X4q$Dy^IoT zc7Ac=)Ix9X5jfeE{02#Jqq#iURNIr|$uR!h0!erzz50=8St+;q5iu@czs)Jn#gXC+ zc738{=Ue?~jXm(Ws%z~#H)2DspTn+Qy(26VEXES|18<+Q8+C_eP3+x1xB{7EqWxtm zt@TA192PlaaqsJO|CILjnzwVu@~qDpi`FsG!eo9Z%F8~v^XyRY)yF}lQg#mO@B4!# z+pSlR3JH3~av>Zyz?ToS818@NjaDl|sjk$SX3Si`agm=qX#_yzoNkdR7mF(KM{u6$y&yV3?VO+|D*Y09xM96|QbTWq5=YAF z3?jfoj}%nNaxwSuRlV+LI^r$J21(%6aeUmfJm11|`BLji^inP4#=VpNOgko2km_6G zhvt8it@(76l1<6c_ptIP&wY%@^+YI7Q^+1l0$Y}K4BtqL8TlN=(2PSorpa)w2B@Y0 zNiR{+dC8&>F+))z4*9Pk%hD4m*oB+d8YH4r9Ewn8gc0V1^pmoZvOz-b+Xssomqe$o zhm|7O;Uc}oM3c!*%UGD(!&aJS4lz0@?$~0r9KC&Z+m$Msc-+kwFe<$5IY<3?;%oPT zjaO{QNBvzqvnpg=5X3o_9Q&;FO5h(I} ze}~+_+J3m)gcHIrO>TR>UrPrs#DXgzYdVt+JIn+$=t^!xHe{4gT)@M{9bFw{%($WP z#eF_>i=wB*V10LYk#OZf_&g%eeW614>rRRCdG-Mi@_A-4VGDvU8^)4w9yI9@e$YbA^q9>#=EpfLp3E$zzGW5G7s~;`+_Xlc?d;jO;%*D%m^4 zHDV_iZ_sk6L6s%nsoiZmFrq&)@dYJpOz5D`^l0C9#KK}OwVGgzlZWbSzd6^)Vzl{( zA1EdSV#_wZVRHWUM+1N7YT6y%gUXs8tykaOi#}sD$FLE`EX6-S18gj)Y2+_$?`}E{ zR{Q<_uwB{@1n3GrLur!2DL`pCDmVRYgIwQzV~UV zY4MFP_cp_=5kAbF=!;hl!MSs(Xzj%{|S>Z;NB5h9FjdYO5oiA3Yu&l@6Yd~ zIEhj?IO|CtX^Qp-wr*Ite|*Wj_f3ze>0nXQbkoe2=^3r4pq;~6GOrD^`QY@ao}hww zC0c{l$h;9heGzwZ(Zf-BRc~zS2qB&wT>Bv!{&s4(UxdA(mKaE}?6uFXVfgDATNEH!IV8#@;cRe3^=nbX4t5I^E`3h?+9g5;R=d(T>s5ejD98d zKDATy>*=S_@!8oC#|G(9M$z9nx#V@2%O-Jqd!DSQHKAC4h)CB>QaKQXV^eS?@z3eK zhUbJ0?M$9B$T6U?Bo1i=uaD`QGPMENF-{S;cIqJ@iE7xjf!Ib*%w+^-|4U}|tG%3W zk-)OKWK{i+gnV1`TFZ0-mQ`aO>DsaB7{kkuBWEirQ@JJyjqhni`h6UFK-4$d!|~UH zULjQPgy{_eYZ^65-zjbe0ftvpo&qdG=`GDYsw8%E?Qg)4Ez&@_#!~ZNFXS@5TUygQ zyDHn1TuB}CGl_a0Ep@zv?^EBTM+a%B&1(@cKj_>Zk2<`BZ;fM8<~&}lW6?)WA<7R$ zj*75^{zae2JN%YwU-QR2k=XC?EN;B4=?iI)5pGIf%x&=CcsO%bT^IU;hD*h06bru$ z%qKlMRmlJVCuij-seI%9^6Y#@&f^fnv#ZoT?ssLQDC+07__aSykw(i$S< zR5Og20daVBiBOzriW0N*;(=2b&_nzES!zEf=jy1Lq*nP3GhW8!#P zJ3dUA?05*99-A&5(bG%vJO^2ZbLORPNq<7fVv6OuMTEgYREk0QGZHBB)w&g@rgq-x zS83fUz?7EiE%BbW)H%gDS=B|!-GyDz%1>LtDxl-mq|z)t8&CMz^htwLl6!%jWL8Er z?a)wnj9VVw>|3RP0KJN{T+C%YO(5fmCItraw+`6q3XP|esMD@mgPy0ab+=_GXWMgr zW2!bb%l5*7!jvZsvKX>+>we$t=gxPGuM}PYZ?@7I3O38bc)T5#K_nf49T=9JSL1jW zX-k6!Lj&Ua00*a=%|hSYzsWRGnq?~kRVP;zI9A|_erj61dcqIwNI@rmEBQARTcsfM zM+PZj)CLAm0#Om(*Pi3z-M#p-aDU`NnGnhR`5ISPkZU6R^c)zxDr%FNUUrmMHWX(C zxG>29YH=sbF^5|56{B`PNtdQo!%^%$Tl3>4GpXUt<$qMcj6>Yl48t5c_Yf|3t|5b8 zt=k#nV^F3ujXws2AKDriLOk93>!28d-me=RdL;7~xk2G!M@?4x=(S`)!r z{L#G(UyD?tybZGUM?Xgp{SF z(!afIyiaI$XqZ_*e*F<8>i*frJD!J7XWZP{@meO1mn+Q?@<7X0jQ-?(a>UWv%2A(% zW!!3dD}(u+bp3J$(ndLWTZ#id(Fkc*`uyz}- z!AO(vQEk3O?rLn-sl&Y7n$CIjKVE&1{ zVG70(NA#s(lTv);w23xGYki>DhO?SemATCv*>5w_7)-ST23_Uqd#kFYtbMG3r{nZ> z=;x_FKj`|AzW9BROL48W2p-$Nj7K^(@ zanJI@?Z-0*@A>y2G^L9EsUOxR`r_JX3n#AJ!%u(H#Qy|4v2dH>tCw@9_A+-d5e)hF ze*aA7{i^NsqgYN5H(HZ@!ARv5cA%ed3PY-Xx7vG88*utD5cm)@Vxg5`U~$l&5`pej zK1HHkTzTfPQb^ytrbxKhp&l1v^C0J^75PHwQQcPIsvXQ>U)+p}mEgCiM_vy!iwSGx|44Y9tL~Efh zZay1jIyGKr6zjdx`Di#r-`FM(&HEac!;amEt;!!8x3c5k z!@*CaPy2^AxM=pl+;_sryxutsJ)1ZOx+)~byq6`7`%Z?4!Em&Qgj4+6sLvu_41Jl( ziz17Sf{IoM(XNz~53t*}-Z=70CvhEz9Z_2r$jr7a4Hd=z>dhHN3h#0|4!{HDs zQG_BBzZyC}PA#QE`hIJZVj*(#H>@3Or_7Kb7HP2M6?4QzyT0hh=e$^>NS{!&JuFJC z1^mx3!2CA*PUcWL9VE0F3z31ggTe`JYUN3jcHG6*=29zF;rI0QCa_1J6~l^2DV3R# zJ$oE;o4)K+>vOKbdHVYIQNhQ80Y9M)(HCk1pd92z$lqqA+gL{KbapNi>r^jiw3)o(h zxp}N`xhyEc!ZTjQiQMzp3UaU=P{^~j&a1_hU>*Oa``tnuZ;xOt#8cA6C=26+(4r@t zvVkxf$6Un9Di8FwM5nkmY2p1@V|fc)gkBB0Vqw&Z59J4qB9@%|(Q}$Kc=gkH)YZR4 zQq0vUnZVvd?Hd5a*FP42jg66{0Dg2hOmq*TJa;VgOfG{yax*@=ZGM%scf+AmB1k`i zdU#@Y(8AVE@}!Wu?gv4X5Y1zE+`U@4vaaj)|+@`SA^A8)CeXiZ2NU}YdCWC zX1<0)1{Mx!Nx0q)o+>Ol!ZY90*vJ}7Z6*5!&YpoZ`K<5BH5Hsq!bA`gDt}4DuI&^9q(&NqZZjC>l!jQTEzPY0`1s9R2p4t5y*4Biy&+&=mCZF zhA6EyoS;|)rzZ5VwE6JvhADAx$bKy%0OR-jle<-8CbpKSNeJJ;7b*-4(%<1n0s!TC3e#t!s#O72_}O|a zSPTn=^nyIKYxF*wHQH7ZsIOO)k(|zqZOV_U4qEjc#&>zO@MwD@4|cII%iz zZ5tBhI|Rq3z4`Q8JgL);(bcSRmk`aQi6k;`#GA^ZQUAb%k|`2j>8w?{hS6J*_O*x# zw>?H*rT%MHst>R;xN}~KT`lkP&XT|_L}(MV3K-)wiuma8&%rO+>flux$!T3`V%uDe ztH(Q^%n}?4)Pvg{Aa%FJae>~3C|vTxXKU@8>W!8Y>}a0M+4K0I?d48%S{G7IipzL} zgfRK&OZ4%ne+-31edERZiqIDAefR7_^C4UcDy!2i@MJm&^|C@zHgQRzIn-2|V`g@Z zFI=5;3q$8`vOIWNr@!-j0BRR0!N<`J4n&-ygT;jtWXV z2tD8@haWP$<4!6)+N|LjyMg1{tY4DBp+=U-``zU+$!dV(b|iFP2%B}O6cX$3)m$xG z8YjSWPl|UG5Lt8bk`E`zmLnjlKMm-xVJy|d4CT5$!8=%<(%G5MJ>~JC%lz#YjLGDQ zf5Z@8QLMUYN`==Rc8{>f9_6ZcNU`%p%ky9PJXzZ#fJoO*FmYWfIow1k%dhFeupjwT zcxoA8J5fIBgJL5BUVP%O&t4o*ir%qM)ksk>M{luj=-jzm%*Zx;39wYc$BTfZxql2< z0lmM3li3AE`M5dE9rN{Z%*{t*+Xqe2T}+M}Yu0Fo_aFk{^A2tyo4DNzV4I%%w}%6| zr8SQBUiJw0?m(Q$vNM`m%NkB`NmZV_3Txo5&YaTK)aJ^!O(yNEGpRI_VlsX}7oy@w z^_qJVVV9RVe`)g8q|_ zad4@#v?Sw|MSTaY1D{<rI{nvK|ykx9$d)@U^${4(I-GM-~NH@oy$n>u)qhEd;P_>$6tVzgM zG2HWU;P}efRo3MvA?BXFT|5;tit%4=xq+>kdKjQJ^jdj)T zsb-BJJ^~WQ|3woAt69gK%XPOEw2=(*l`UY~sZ76;7#He?HhQPJa5wZ16f zn~T6s(B$O8hB1!kKZCT_j_2$n@qa6KlOWV_DhoGF3AsTuR1g7vj#4 zgr$RLnr5vklr~13nTc4zc8QCLB8AwcaLHx^1J}7O@uW#SMOD81RQ$>f1Q3;sj8XQQx5*2Zv6z@X+#!Fj1!JJE-|{8Lg~>t?FyU?Zy8+)PD1hSumHI7bF#0o zl;9|-QIotlQUjR`XQ6M#dlfus$Xq9Rq)yD$-k=F{qUJ81WhItjs(Byy;1iqjBZh*b*5v&Hdh^5NDu-)>d*MM{Umy)6whCPKRuN0DWD ztS;X+;<|BM?;oUI$r(_=FWm;8e&q|#u0N^QqE?M7O(@dg(aj$zSY}Qrm0#5i>H7R& z>v^JG{1|-tm$g1i&|q5-pquv=to=0cYV3<_w@ot86LB-{u2YK>hNKXD7S_dB%i-~c zn>Hlwl=D_a8pu+B=Aa!m!sR2pZj*b#IK5$pE=px@`Dp_1kL0FA3AmbdO)hYI-7PjK z?_kfqz|lEt;LSSH5?GT6N10mB3P%m@ z3&6_**!t*338?Y&e%b6f%C3C7MG3WserEVN)9u^z#{+-CC@lA601aXx&R)3nfeCoK z$zFdsKYg@^SiS?!Dgm#ji~O6H39|Bq`KJZ4%JsH~-LM6+^1BWnkGHFVhT?gt{xo*K zC~UDA8=DsWSxh2e+nao=>^8MqU^v8ZPgJMWmfuIPo}v!#+=Nj~lXEtYzYlE-3n?+K z<8sUXbjt(lWncu{vUcjSYp)dKa5Ie+B+k~M)7KZP(Zq)}^p;GF?>F|^ygAD7WKF;~ zC~n|C7W#I#@&=+nJ6uAB`6X`$9YN&S&cW4myKav<|5HBn|Jp4NXSO*HE{txe6f#*Mz608gJFU1BY z7|XE2+}~G(y}9vh{?*yK|&S$I7+X=o0ORM zqUP`HI2(qgg)1st^pZ6mX_-E~^KG%-Kiw9<)U?mxlJY#86Vmn8B!@z7(p~kQn9<*z ze_DJ!Lfv;J6=CWnj}S?Vgf+2@XwMrcv@>fsYZD*B;?#*zO06h0a0mtKqQymid7-p%6VLq8llZ`1ry%$_aB z4BJPp5#5z!@S_69wt+ue>Vx1f?zFK-vw1o>-53gL4^j7_9mwl|FoHY?+O~QX1l_%S zHbF#9LQ;-kwfTMdgPJi-N?grGWFwSK$EwSOR3Wi))$}XTKWG42eQC@V&m!(DjH)N5 zU){26zGu@~QihfOg56P!9E!CN)bPRb1_}otgBXD`@hqe|86^=B zL-J#WW{0kMXI7wnAx*8J;WDMe|J&Y!I!{YHz4=e`H<_jrTG=U9vhPM8in?Ai4D$l1 zuFZxuU)uUGSh!58UZ9BoS`e^HpSUMbMscd(*D=7=qH|_zlz5Ka}#qKo#R^<|Ar|dyZp4M}iGV97yNJ%6!pXQesLUxxZU{ zJk&yYQ-+gdhMiNxSLmb;Gi#65x;LU-?s>@gG9kf3_CwoEn$Xt!7^ywpjg?7wZv{5P z&;*{F8gbpw`5?sYLMgw8MlIc$Qv~@^E$y~sTv=2l=DRTx6H+r9oNf!mehsV>b^zg| z6)gu6v#u`SKpvCix*KVfX)YePG>g=Fc_a=S-BGw~k!%&|Y^Pm5 zf9Q`4^V>9k7&Pq`mjZda27E|P3(G00;$bU@5|gPa+Gv`TXezpfJBPyd(@A2knM~ot zWMCGXLCA4|IKJ`4t63c5@S$)>$qH$%WlaKwU!sYv1<~x+%PVl4@VAibBIE8vU82fz zUZev%cpf7~a5k`8Mo+hkpLHIQWNwNEQg~AHwJoN=)Yc!A?c&+xqfeq?xl|(o{&3}% z>w1=#5S{h*S4q!XZVRX6!A|O9O=Df38XlzEd{7~!HgwGXQk`e=fnNG?Rie)(h2#3Itew8!;w?Zk zH)4ynogQH{-1QXkGAPrdCC}aKN6h-d6hiZScieNO><06Vu7@VGx3SkzQAf9H1kzf( z4nLLNGM3?RM&j`>*Xw$y!|U%l-Lf#~pYff=FO*9H1_HvL0^)y-@0Mz7T+zh@a1apx zr1v2o!q&{isNpXe$OaOM_ahrvgc5`ewxtAx!SM)i@e8o?gP$ltwD6oCq&Yt*aPTxR zP=O#pJRc~@|EVY7ZtrBuVq))V=kke?gOiJ!^FMqOOCu*E6Bje5{}S?X@v?I_7*T_& zApaTtvFJc<|Cj-A6g}u)rlpG>B#uDSZmA|il4l?UMr8nTko{BqpLPoA{onrgCmgKL z0K$d+x7h;wF@cC7$DqJnj36xVFD4M)Kj38bpK)g2aaSFEjUV(WiG2 z`~P3${4RQg`hROpFo1|bCE!j*5W_$CNB`h&zH4T^Tg(68|HlY=y=y{|!hpcmP#}6# zWx4;=_&+d^t}x&e1`z!}IRBKPD&CdlU_d1Q8wZ{Fy~SNH3p0r5A5Gc!B0n`82*TOL z)5gr1)x*~2zp($^u%+7nyz|KaeYxIq!{F?981;WH>;Kyc{##Fm9Q3a)@&ALS78XtT e0D^$Xg@%B@`R^+4xo|KV3y2=}mHu4{@qYky^_=Jc delta 46491 zcmZ^~Wl$bL(>97jaCg@mcXxN!V8MfXa9G^kg1cLAcemgKg1ZHG=kUDGTVI{8>YN|f z&epU|_l|T;^>(j9b*(@ls>nk^VS<6dfq}{7CLqc~$mG_2?Nj?~k_gpF0bzMaQPiRD zF2F*;tBf2dkBg1JGWn^yexSUF@8aG^LCNKm2}k0qImK*Ec>!?^YWGLb zyd11PyBaP_S`RUtJUHeufY959eOZ{MGN=H$7l;x$Q*ZjVKpc8maaEQvRC-GhK`hN; zk0$=kARf+=e~B%x9XfUvY$@sPn%*mJh*8Fs9XK!EDv4Winahi?`j1RNM`uEediD+R z-0f$?qiTnGn3Oae_m3ldUPrzfXP@GLq@#u)zn) zv?1XeGZza4ZCQ1Q_8Vwt>-{TpFv*297*Z2k^!hnTNfuqp07O;)Vz zD5>PoUCn4_NxU32iu6ZCO;5>~OWP22D5H6LC3J^_BkcvJ5g=RA5=;SqJkx(&n@)n% z38fF@IU?;Zzn?z7z-qL)9s1aSWld(Y8Ue0ZliSX>7wx4FJu*Ghg{s+?q-t` zSi>QVX<~gFZw+8B?c>+gguSp#d3Cc1%>*FQCLP{INOpkt%Uy7sSG&cwt@Q=fuiagh zor?Ev*WS}NJH`F5(IQT5!)IrYp>Nq9FIRj2;<|~@g|FIwT>qGGt$G~nvfId?eYhof z9>($nBa=n=R^hW5r)pl}%O&l~{FITX(<(?nDIeXL++W)`7`yP49kuVI$K%@0(?EpTvco z-QjU&)Mgq#^P}Ak)%`$7Dn7UIvQ2L)+};hROb9mx07~>c%!gKjW&w~NU>OxBa-)P{;v#J39D~E6(Bn7D3XsA{45;NFr)l4-4p{rWH=PF}k zb@kyzpg)3SG%NcmTmVjUi~%5pmm4i<~ zIv297;0@y|t`LDUf?j|TU)+H@DRO<_;@3f^*tm%IWPK8Yfhm1f7vo@O_Z($&tJut% z!^FK`-M&3zPwCsIcV}m3lWtADE~hE?J@(rl$74(69K+K?&AjJ=XEBTUU3Gko+*;}P z!vlF;vKLkk1;}TL3;A6U}PcM$B4k>595lFa6eu2zUKlxjhHxvGRFvgd z?2yV~f_D)vKW;;nzC9k|N2T;@9XyW>#Y*3-T4fJaOu7w2swz1aj@M?thTO`cvM!*B zBmM|R6*o6DLJY#dg}(y#1;dY!gO8AV4qrJLRcS;kPEG({X3%8&T47eFv1-JN>0PXL zF#dk{!FU8u1$GQ?4t6Y83U&-R2A*-B3s(B+yT+&Qbc+7-eV@KBu^K3JSLV^lC4uzR zQKum+RMeYr4dP1MHxjJDRg$9gSb&$w(mof*pm%L0Hq44FGmr-Fm`b~IB5VA(Y^YpH zQuMo?AYw=raj2LUinvu}7%OUJSbpMq?-77UBc9Ku6e?z(g;+eng9k~wYgV=pAWHJE zDJu6+hAiwq1R6j!Vug2sf?7k>fw0#g%lZ7g;Om8Q0-|J)5DZdQIV`9cz$XDO$LMx* z)e^L4$ANjxg)iq#5EI}*fK=QW^QOGXfhqT2Br9!lz$A8Cfl|6XR{=MX|4$qLQ6*fs zpaS||@D(oL%1D*xt4SRnH9xEwxmF@`=h>)+63jG#CXv9b#eprDTIC4GK#@oCUv-9*8jVL(8{H$hN>Wpl(bAK3Y+Oj)m*E=gO!c{_GRSMg@)gMr^19 zeG*h1eMKK3;-3=8=^zarvjW%c_)m#21r0hvwqxLAS|WcTH$tpj7^7GnpoWxvOE1#^ zEaRCD@VGOwZ+iy&B=XT=F+$`B6_R7~G7u>Ptqatk7K=X6G%!NQ%c$WcRTTdZK?7|3mnx$D*6>um=L&$WDHu%hNlxB1C3b14-G949?lLTWNfB(#*JamlIk(vS)B z(g5Aqal?Dq&J-s6P&O@QB)>WzraM=>%38Wyerv<~1PnWGeVCWMp0X48{Vfh5XDkAN__sCOp>u!W2tr|~ zWuB|fr7fv(AA3swCxb%=i~49ai+UMw)~{ey+HXrL1ik!SbgZAvi!t| z;K^9fO*%6o07^wb|aJ7d^%z)%t+K2EcGE`dxWP2~`h8CF;I08(-+ zjUFOpj%~i0z~6!oq+dAjpKO@c9$hMYIkv3v9`%wRHe-yK@Y}ke1yiqlSGXk;QZoHd zLyC-;kr}!mOwJ}1K5J{%__Fd4IaT%lAHv-#_8WlmsY9dCJYOXyHDpdyKPmvqiBSW7 zNB34Z+$LWo=^>=bI`&6vz?|_XDfp9AanO1MDEt*u;~ddl6Vc)v`A_SBG&jW4}4b>44H~P}5 z8sZ`L0eNvmthw{0UhKm93aZ%j0@ZO~>&qK+p43AbIu@OV7!r0N2Np8r5fXRB%A!=eSc`ZUF+jEh2fhr(TftULpY znwwXN`M)5_%|oFQ64j;?5+xDw39M23FE%)Y!2Q-xrR1OQOoD0Vka}?CP9fHl!pum4 zX`hH4hJMA5zn@vd{~h%IiMcr?)aL+t#F+aIffhlcEaF|%g*64+DkY6Pk`hSLs|VB;l#Cc zgAHM?sEQ>46_Ewq=s69ZynMmSS2E40v}#_+#(L~O~)*mY@(34a!qqF6!`v5i3~ z*v5#YjQ#OR*sM7U|12+^=g5cKYnDFc1&l$Ta%xs+!(emdh$;Vzrg`${{31zQxnfDg zzN|cSX_W}Fvfn77{m7U*Fu&LR8tQg{H4&;`xg4dNK5E|?;a!6ATVIWGpN2a>_efP! zjKJ$Pqau}rhlHwjc+S>78LO8*OVWd&1i3#!P9K~hb(D(vO6e(e42tXpf|J)dI$)KV}6h!~;Jw{hg1`bQFUO z!X8dzxzj4*TB1yC8r_Of-a0;Sg-AYhu2!Pjj|#Fj?U*io(ly1_f~S2&irp8a#cn{` zkZzBd=kqH+J{l}aHH-#VPW}sAtLP<^I3uqy*uFOnJk@o-$-?%R&&0@M8a%T@LET2IY-Nr$ z%0q?o#;kJc+ak_OuD)RCC6_u0;C)V;s&qkDU?}t{O?zrNNk1kaB;?QMRg!mIc zVa38a;>1#|hcuNrG8{5hNr#v=F02L$C6^j)rp-43$ z~gqq4#jsu0@T8&kC5VyQ$7Pj=^XRA-b|vnq*$1l%%SFdCp@aW%U;6)HN74(UXpWNO)V zvXk1;cmjhBTiq&3{B|`t^7UE{Mko8D0xvuU>C_CK`H>%~g=}B(#jlJw&e3iOnWR&k z8H-%MRQU2%WZSU%145z~Y%ilL@E@%v-`+O#1cy4}ghvBM>I|Hl z$ZCJlvlp#$L3YaC4e5YrwhV@|7N+PZBs?1jey7L_h3%wWGf}L&d-zw|l430Cm_u#? zTrC|?xk5L@Y%Sq(-dhTR?_R;)Hq5%S+&FGB%p~+1Qm=dC0HW=DOs=+YVsvNadjjSC zRO(H2%Y)qx!YN-;%^ZGV*%m{j-;nR$^T;Vkn!u4h819FB_Y|+mnyM3m$=0?C+e~*x7qIDehKW$b~`mHBB-WflbGEH^NV=lz!4btB$Ts<>O*F#$^EWI%u%0MCx zRuiio9wXm)f%`wm%JpGKE_~)k7wHP|gmW}{N#warth-Jzlky$DwY*-ETRzsZu<17m zB8Og#5qbD~6>|ZdzZVl}r`p>xmcHJ%?e{_7whf1rE}@$x^KmZSw3Mj(ScgpSs_#0$ zWv!%3(gdV5lh3*`h8{OjCTdMTC=mRjDhG93Y4K_@0<&d7g;q{+QjD_|-j}%n`}j>o z7506At1^)wuWe3G{+k5xj|7S`s_yJNxQvDvH>H|XTaT$EjAcE>FEw_0x>C6k6qU-8 z%G&N`XHQV6KbQ*|2o%j2WN{Kxmn)Sn%CP zel`|()bdc)b+o znz>zwP7K*V`Kyw9uRULod{3q~D{}6&+6p0TW-$C+&o#4l6sBxpS?l(OA|flI)FB}2 zOz4`P?T4bqrc|?$Mv7gQj>Ev6*^QW470n?Kvhr{gW~)^SMy=8L0PW$`{HXFWVU-kL zul3I!hrzEuhN;d{bfnDtke5E+t_Y3)=808z7Xcy@vx8uD5VlV5Jp87V$M5Cm*FW#N zFy14s7Y`a$g>&@k^0Rfj^UT1bq?yU~%fa5@_22l*A#&5M>cpy0~U;c z90uCQ5L0PCo?hv{s)Sz${ZlB5RdwgKdRDL;O%4TGo$e3_c85D^0ZZnJMkabs|Gmmn zAQOo)a4MzN6lWdH$d%w)$a2g$R+B_8rVL;&B`VpQ0F_2evF|@!L||Dk)%w3%dWXR| zy}P@~o0*%+xSD;75i%0p1;@~50sOK?D35U>HqRC9Hx#P4*ypdL>^tvPn$sfOZPYT% zX+$=6QO-LT)n8#n#DYG2x==aRiHs7^P!~_Ie#a)FyX6tXGmNvastB-3MNsgyi z2tNFJsO)hs`?zUR#d_Xq$ufp|!i+iDpL58|eqD*Lq}$)S2%Qc6BjqR*&tvW`5m#AR z@rbK&lP0{ldbZ5urKi1r1vIk0y?8W{O`U5$10>-jDrP}IJ2BBXGGJb~RZiBw*%`~_ zc7xv&^=_7=bE_eZSzil_L^5z3Kkeq>Oe*B$R<&wbbrd5va5Z#@(sIqQguwYcEBBI{ zY2z<4rt^6pM9seP%CbDwVlYk#61#M7p@ah^@$fpg25>^*UpFxWdN&PHc!)3ZyVFX3 zC?oN}^W&g?*zKQtJSaoq-40{38iuF<7%7dWbre1vZ(B#F6z9oVy{p@Pg-LK6 zTPwFwG)MvqvEo_b<$d@d>pG+_O0v?gSsAG@#hy&t12!5*g|EvEAlUm?cpQ)l92G*R zw_Sk=G+ncb5FxvTVfQ_h?dURu>#Y9v51t*0uNcq%5zh5azLjlUh!?C0 z->GpznHtZp;0;kVWEN4>0-n-sl}77mmcKm7%n28;-0Vpxm7e}a8Y@AOE|8kf@$>6 zq5sPHXA6`9N@{)!<+=5t>Q$pbgUlRiASd%>Pv^U2e@&4zC#zccNKTQ^J{39qX18C^ zAF2QV#SeH5P#&7c4AETLd()g; zFlDWrROGlX>sby3 z$j8}1JV)Wh>~nUIv_a@OsV96~?Qr@v2ji%Dk6#V@4&Eh^xL^YmAv=d<@(hqWfp5nF zd)?w%4`#9`*Y7!xW_SN&!_Ctp7*09&OdXi=IPsQO&Db4GHb!c3wLPofPWhB|6`W7; zT2*uWAp;?kWalRDAoMw?goX8H*!a}JnR>R$scTB$a5dZz#O9ko$ zY&bj-f6XbKVfsN@e$(+-aYkwz7N4umvSw#(kUy>0iS=JxXU%yGt)RagBdy~2@!FPh#%vF3K?*_ZSQ z<#CcqS?~2H?Qzhc{9o*IU?^}UmTGqXr&y^10*+)CmBV^i_?ln`e)-PL~7Y=8{?+^tO7qT3|i$9d1LMC2yp)czfD_pc3Yw)3Io2oep zHYh6{*pdq~++l1fDp65OXymEVTHJ-H8JV#*wOwH> zx_l7DFyWL}=kHOyidlR0A5En`X^%o(V62`Zsd>+n;D)^h8q)p_0hu+@TU;n|xUyYm@awi;hAI>&oO3_NZhFIIPTEEDxs3_L_rl#UBQ^)XUWWcX ze(uFJ{_KBIAi>i}vr9sn4@FDCG_ZpQZq0I7!&xoLC`-w68WIYov0oMZv`}zw!!KMF9vSA3s*+7 zBd`oOUfEVp{&G{*Bn^ZFb-Fc*)%1K;G zYQjTLfJQtxpot`}i@9QiEyk4=QifzfW)}1nZg#Q2lpy-BT|*VpM*p97(ra}x4Rr@4 z4J3)!HazqGaKj1a+P6I392(v!X2YJS^cZ+jaBY*Hs0rj*5%ejJ zrCHq-^NBS6FCGw7#ykQ z;`F|I6WNAV*bAuZs#Kw|=hyP;#uvl_omRJ4Z3x0pa@@K;HT)L|blG|2W9#5j8~)Rs zZ%8V#pbPi5G_wx7Q>pf7gCK_=^rcv;W-h6V8ce+q?vnyBQOT5U<;eL-RnkZxvX2;a z4ytDq4cJ9mVsAegB6Mq`>dR6zmwgB{fiW?l|jDucfdv<}OFR9I!} zYq`h{+^2^fqb)DjCafqp_+DOWDOZ6ipO=7Efv9R?l$7#$YLsd^yNZ^v865n7j`Q9WT;_O_AXf_n>X%Q zR94C!R0D)BQvP?C2#g?YNeeD;dQ{rS;p<*7cQuigs<)6wLm%F4W`cQHINSu8@V-UX z_P(TiUPv$c113R)W_Flr4{KV6D1D8F(@CyRG_9f!p{`iTRTPoEMAY9> zMQtxuRDHywMIX1gV#Jexy?<*Y@GSnt{``+g8%0uD?NICamxR%)Z=x!;E6Wd=k0Ad7 zCKTy_9=s|?%ahTA=#piLa5Yg48#Epi{t9dDVdG8mayXTI=C`l=lu%{=v`HTuVSWd- z9rPS#TrEjd_bCMQMM^F2)GM~@tWz7bIwlco+V`85|BIL#qT@RTh<>{6#0$VHT79ES z?x~K-Xr4lM$sn8W_M|H2;Wc2hQHu6UnkMc7;D zlD1T{LG#y_uj}bMrQht1|1GZ5@Y;-|(bX4;0sj!f@*$@kfZzJDJ{5H*9Q8K=wmU7Z zX)l*nR)Sw+%?_uGQFHE5mfXsDvX(}I7fIk(Mv}O^NP$iH{Er=wfKKX}hEpC@Fg;el zJvCQ$9^;6s==e66nS9*op+1&WB^-u?H^Sl98XiwSBVQgEczg_TW*E_a7;M@lK`?3h zx+yGkyA%X1$@+}|}ETfnH z+sg&)C>wU*O%UQQT`_1~Zi_rZEmmQHDc5Lyv0vvhk8rZFlY%9i8{>47c{@MG71`uA zVjY~U@aRs#T`j&2Ec}gq$rh?!V;A{dIEgzk6$i8ni^`1n!Ftlp(b?0FDHTbeH?xj8q?!1HbhejY{v?72q4!t7l2@36cJ0j!=-l6=$#bin(nz2Vr%cTDBl#2(Ol;1n0q6Z*vCFg8|pX8tq1X_-&S1hmCw)?=AZ<7wQL*P~as`ik+@>ZOe{zneH2qJJ1Bd z8pq(T=v{__UT@jpTm(W)|Avtm4}h;>Pq+=p0jrmqlKFe@JU+Su=(p+igo{!)cbS0l z(5cFv)B&=0vv}_vr=-;w_MWk36Bxh zG4(4UEG6OYE`i9%rFk{*sGMJkjJ@TwQ4~zl=##s$W2m#m?VhSHZbFCwPEj~ysBspBrIF7 zsG|%LG3Qc90j*2=Eon^OXsZZmUEd?$U}~5BY?*lJI{uaF?%$WYf1dRF_Nmj`=fos# z=&nL;gx!zWYrnERD zix@3j5K`q>n;EIsBX`(OY*$|NH&3#zmgcuX4x>K5kxC$D^AKT0K-~rFM-+*EA5tkX zJ^9WRS-k&rt~x)Y<*2k{pVkgBF-+Oe_`C6RATEMA=G(7dNk#xPFq8LXSH|`iBM+A` z(U=*3k~F;adg1M8KvQV9F`BlvVCD1o5_{1-ENQrM@398`7#%?2J3t6gzrTr$&Bn{p=(=zi2jrOE^ z(4FJ*S50;uYX3LL#^xP@IY;rWJm=A3DFw^GA#9{(1;;##t2r9*5UTUA^FGhOgRj9q zhIaQmL0}C@YYC+Kx)vh##DcjW7_e7s#Z7hY@<+bW>}EJ(2zSGo)lY4XtbNCeNp}9Y zKx>ixFV(QoO2~~_d#H*fpp%X0aEbc9GRy4hWJfwEd>%i1!FR>yB~Yg@COT=hL@P^k zq#sUm2I@A#uiqdU+#}*a8pj>?IFOjaV8*;CHzZrsC%6dgDAvt2k3O`!D$WVkrvy2e zf1mxjcLo0Ec6?%r#|*7U8BdCozz}jeaLg)lg@yho{dGZg2L?Bn1uhPnvES4w=~8Eg zS^%4aGM2vuVH=6G$HRpC1wYtQ53=}~Y=vuCCX$30nwOS(4?hHP3f06R6y(Cb;)qBf zHfog>vMTEm@S`CcviOTb5!VtLj7=$_G_^>kBjLkL4|8f4-^3qR*~gV9a_q zWd}@21^#=AQJ#P;^HkR8Jp&KzRQAjv^rEMeouNuPjt13K;rPT+#cH1x9hBLDy+TPA z74pSRD!h%OjDfB5q&Ge6bTF1PKv<>D6M2$`h{Ax;A-`mvO5?*DSVQQf9GgcWJ@dNJ zL@Rp!AD-@xV@<}P$XSH*=4x~ z`+7ZqNOV0gjq1wmsum;Rq83i;BLKbTkOUs55Y?@^i`^HaLPke4ScoATU_ZeR)f7;9 z*V9a$!5%_i5mOM;gOj&JVEtl87Md4jPsOp5*5O~3`o3WxCTI1+mhp;YuohlX(p39~ zgMRM&6RQKRi{)HXHZB&2(8)7S+}6|5+Gd1(paLYwD0N(pE2kWy>eX&JKrVY({yVa-m&7@OrS-`>t|pT*=6(Lsf_zlWMm*^in+IJirOqPC42lDV5*zD zr9V+wrtZJJsyV_?4i;>xmZn9R6xlz~L38iMnn6yUtTZtL{f<0`A+K6yy|$wmjWVJw zc07Az zOIDs@cq}Z6>hg@pH;G=3r;7;vrBuAME4nTs`LhVYunGj;O;=fq+8Iq`$sT)sbQpe> zxK%0^etux4o{3z4)}kp_!PN=XJ#uI;jgOg)ii|jJtewjNNYRQhRydg3@zt@ztO`hZ z->GzzI-Ec0FooAuH&D3WJPxK{C7pJVi9};|v}4bH9>SswBb~Ll zR}q0(+cP{s=SvM?SE&V{ivKf20ol5Z7gX^{_@9x<6fg<^{*E_N-Cc%wwGuuIHJ2FR zFnnrPL)TJ3R`-+0D;R!vRh<@c+<Hd^blif)P!leW+mb_XhlN8wCI{m8V-}I%m?sWoFPtUBMsUq>uX8 zlN-qWk+Rb7K7Tq(3>jVxY#d1ax%{TQVr#!+D&1%N00eI%11-Ke^?<0n0!`o-#~zz` zFeVN~qYv^|X-@?z^dXj9jGpe1=UQr-#)pV5zN9?+mignBc&}AI)L=Emu`zaDKY4S} zpN9jgz0x(+gLwNzXE>$x_$K95p^kKwWU1rU;l*6|M5Xl*Ge&}E(qeA47;rz=mIt|g zZA|q_k_gNjzErtxCs@;HG_{Yx!2@E#%`EHw%8uiKQ`k1E0odmKK`AhPz8kVS)yn6` zy=`&&DDZCYD-fiKyYS2}yNkIGTw`&XH-CVMaA+=F3q#SycIg#MvgBg5Jts+Ra{sp| z_1|)P3&W`2ORtfJWr-<6;<*0ydqc<<;@CBg(^R|&qSDCRn(V&8qf=3rA=Yw=KPn~a zR}hox9X`{Ee5@iF6hXVgVRhHSmX%(mU@%6sz%H}@Z53m%9sI@zx~(B@=IAul?2Q4q z@o|`qiZ$q9(X!=tXJoH5G=RSwv=)!|>p})oqAv%T%pW(3nvLTdx?{xxCJ{GY6SZ|& zO0TCg{*WCC#-_tT)EHKZkmf-Jiv}GlGVL$mMe+4{TN6cE2;JZ%r)Uto zT{}XL36Go4Z1&=e%aL_*1CN8^7OU@^a_(W9_9|ti7)M4)f_l zI{3)81|G_7Eq<-G#Wi9P0zI1C~L7%w?Y3DJlp68(kGyp4PWu0 zYGR(i-m1#ddUfNg4F^lW!xc-x^t4KRIA}2|r7+0qtU1uIDvxl;O|X0of)VnLq1J$!tv-VhuT0WCSJ$~!2Y-0wT9z_3|Ts1{X zQn@vERPiu$>e|iBa5L6(_|k86?e?JJkTyL-tb_QPrd0Mu%Y>;~7s_qp<8l;pALJiOU@T~^%USD2N%P;;~~8s z)PjLLb6#=}IC>B;LZH(RISLCDq;8+7wJmmqJ@zvlPUxdmRs(>0$LV#f%9wR_e;Q1X zd0yzwvcqIH&THzi>*;3N+2s4!4}o|7DRdUrc&k9PLzs@sapX($SF&-Y=wP8FUqow2 zf@td)9}T%@`)gBr9(+;gAal%Q<|BDp1mD6Srlk=5uJOl_gP-C$vvo+Ed^4o8eZ`%* z)<2NA%Tc^fG+mmLI6rpx-3)@XmGCN>A-x%070jJNP1Sb8Wjq+hl&KLc=u;B75$5F4gAifT>w2q%FG^bJs81bjmUXQIR$@fia%ojc zt#3f3DchtzD%Ekjq`n{5?YFE=&*aKVY_4cN&d=hp_XEK4v=Oz9K9y z{-=_U!9*#M*xtphZ&Z=JYREKu=21=lP+jBL>d3bS|9OXl^&?Jr57;RT zp^;CQ_+@N7PT+y_Q5@{`bDVx6r9rtU6`*R_l;Z;;kBuWWBHP5e=ZQ4zsrh$mkngW2 zuNoxE>e~|*naO`gGWpA&IhoEA)r_vJ@lV?69Q&A#OtHC#{-o^Orrz!?k z7;aszV8L#niw>!V-{sZ3@C8Gt)mIR6+0;HZdzsi%fsd|VrcU4TSRl*Bb zodsZg*PHGN(HvkbTj`hM6>&S@v~Eoii<>Qv)u2{JDs?|;aKxt#Bf56IeYUwMjjbU( z;2a#I(4eCzzi{7n zCiVR3E~P^iBw@iy=3Mjde2FVJtktYmhi>>eRRRp@?=BS}JadpRBP)k}H&OV?BSIvE zw!3T6_oKCFit*7|#{(zf$h!U#pM?Yl!GU(`IwU0bXUNjQhLn@9k$9C*Etx*aGHNA? zZ8#PS+ms54juJ$|Ys~HDjoh7I?JKvgaM=?4V}MHz=qNqqMEz|UOf>W#1omO>^g8sK zBLYy-?wP=# zuOB$s4g%fcH=SVC+bo~Hpqrs&?&Tv<2sh7Y9!u8OZuU_n3QDb5swvk0bQ8!K`p{(Kky@w?a|XZ_S8|UTy$e z0wqf~=_#HAK!78he@?zxd-ZwdeIusfyYk)f)byW^YH{yx?2c35lK zD*xL%2|3-@0(QcC2c0BWYYqGBx;9UsiG?KLjTPQ3;Or**%3HeMf0&i3>>D>->1@Ql z*6AhvansddO%9Ff-gINjJy}EVRc~ggdQEt~Lx_9G&P3P$Xx!Hr_FWQVcOdUsQ*!gq zWtkt@KWgce4)OU1GH#9+QZ=PW0Y<}MM9M?H!vP!)7eb^Xa>4f%O>dAHm!y(z)H z!q&*9mAMh(=0jEd15nZ85p`Bn9J@Qo_Kh|#ffX%SR>MHLVrb2AlvBF7WapiZIYfVL zuYQy!?Ggv*Z&vy4V_xiPIgZl((qj6<2MJUvr_20gQqOCmReE5Ec|}udd~l2-{Lt!} z_@sG|Ri|J|i4N_coYUkCp>{@%`C|&SVsBUaijsL|i3Qi^cDRwCJJ*VmmkqxbsDE1j z0Nd(gts3;25|id$u6PG{Mf>C3MT)u$?ov}EW08B^>v?^u+3Pb@Hm9H6#~VMHF*fOl zlJN*CKnSS&U-=06=yi!Ph(L^Sc=jOFiwS~^s|P49W^=QH{X|yhuWkG#7I3ybU02H` zHnB94sa1VnrJw>iY~`<_T-50hBHZ4*ed=brC_2lDq!Xp*+MYzk+sshNpWl zfri_VC+A*tJmUCgz`2R*j&gC0d>8I zqExzcdxeCA>Qf!5`DBrELNIph6q<*)GTJ;Uk}Ac1 zDQPX9l&LD5lxfZXY;!+RIa((Al2X?S9a`}<*Kes^<*y_Hp6aGcn-`QGUp0|tI@RV zoIrpc#?;wLd{2PT@%~&jQ$eVIRj_<+s5Wr-R4(jCO=ArEP{x zH?PAUxkIlNLWH!zlx9z}pzqmWLT;!qRH68D93D^XV%8jQ7SQ9wGSl+WSb=(hY%MGGy+=Vuld1mum$FY`&3He+qQ)!!fM zulg#sKF1=AVszkD5xLsG6_RuP-^zPQmzziFV||)<{|Wp*Tzyk?ra`xK>|`>rZEIrN zwr$&QY}>YN+qUgw;$*@<-*?Wr`Pb@N)favFJiS&|)!zFT-1J@Pjpqn@?KcL_km4Q} z*KVUYqWN@Og|hY%1HLYx(0h7AX{x?^?RFJeT!`e3Rf9nc7je-97603b&+(x#LCn_o z<}!Zr^a{8Civ2!G@0BtZN;t`nWiGuS2ZaZT)fSm%aU=G_O}v?Da7i%z6aq2=Fv>J# zUdyJY$uD>UwBG4DHfVB_)AX|I;{`e#@=tl{YZ~rjZmG_*S#J~2ob?$&W58%JE0Dz^ zlA3_N<$mE@Rut8PxivB3P4I|vX79`wT0}A?8i5=)5H07fM!_tOW->@*Ls89dA@DY3 zfUDC>rx#}aL^QOn#*VJR$Z<}6-P_2tK*$zT^RnzlzH3m~(9@2gLoz{Zp|?nT{ha^2 z8KHMi?4@E;GY$?w;daQQ`bC1fxSr;8?R8^R$#hAQlZ@*AfyLm^J6OS4msCOheaXDB zKjNfnV_SDbs6YDxUw1kLLp}BJ_sR76+2AGYJsU_p7klBKE8?-MhXr1KeCdq z9L8mlw%2Jr$UTkzJ{29s>?^|-{BNh49UpqfHMNdBMK)@{N{L)W-T9hynF9WB(!CeR z-(TXUX5QP)d2e4@=F|RHzJo$cR6EIpcdI3+$0e4dzTbnz9ulY0w1hna)-7&PA7z$= zRCHW_kf?v~e>}N|@1pGr6HlqGQY%?KC)yVzTot|A1@XB~!+tPE*h`3oQ;y_-tG2=RtF_j}6A%GGc^$QJ zxB*MKN|`>2s%#BynGNYoafj2H5lp{mM9|8Vg06j^#>MK2$Er*TW|~mUBwsEbfYJ$5 zpc9O`W;D#i&_K!r+4X%BS|-4lF-d7zhdc7~hSh9Z78()aMi3|c5dO*W5zqu<+SA?r z`4WErb+8%ZHrt~wTKOH+$NLHKWo51a15x>jYNnmHp3NiGHSMdP0}-*JPdKC_JSpLQ zn>$WV*W4GvFDPAaz*WFiO5UHT&-YH^M}w@?$g0j6jyJatWo?@q@Enwogu84Zl+myl zH;mhP41~_z@)LLRu)9{{pCYYvXpp z_tZkZ%;S(#hUe;XulAYzhQC6@K-fObaSDdAlDC4TM4x-y1Pmk~tDp4swCZ>|`hTJ; zt{-Vj71zXQLa{>S2P%U@A9=`@Nb9+8>239mQN_r)qJ=u#VFAfj-MBT|yym`H-ChR0l2K<(R_3@ILEKEfV_UhMY2$eEkU$e8a(acxtCLMqTz2G}w6NLR# z+409N^zQCuE(GoT&I>x2(M2+oqW_|Q)Z>bEwDgqQsN`XE>=!8hjg&xY8o?YFxApSX z)heN7?xe_2t&7#|n;?R#>+^gO!yzpMLvAM##ujTBW%6XC0zgbjXQjAK<+Ft;2TV`1 z4{I@$*OFAKZOvuBk_FkRH%v6SAp8{Hm4PYmh*k9WAuM>(infP7Zl79 z`y0^famImBqRIuLY5J+UCZc=^@FkUm`2msgZZEF~o`_9(fyA%7nL#L!q_*a2v0oeW7qq(5A-UEfe0KQVT+Gfgw;v-&QW$G2mdxi0J<5n>uUgz2$Ww$$p(QL(OQhi zx`7AH+c&<xsgJAt~ggmYkBt9Jf!9 zlHrqQ6n9h6fx=Pb)v^_N3bdO7==dbJ59V#G57P1<9<&PjW_8g#wL@GnG&rL)o!I)oVNU>h z`B>UL+}}wZ1u?(3b-x29n6;eAj|{*SD`RG(mqIeMeB%UeV-NlUn(kQMs7I7zBnerQk8`$?hL~7(I&^Gev=1 z0F{@=6uhDO6ZCKNNG%Is<2GgRHk{$>;l}=866TPlq~p z(HVB!w`y3($Vos&@^wL^AfgPA9mf#KV*le=v zElS7C8QL%4UywbV6o%gsD)n_bxL8P-sTs%K3wOO&yM>ci+Zht(t1h1Lw+$eVfN$@o z&4|@qV{P|OnGwOC4UOmLJiTxY-_JWHH|WXP>+>3C%#xmBb~8%FwJ!aBE^#{8_TS0N(Yo{25&NfS3bR^k8Bh7l(kAI_-=mdc-a7hQ(G%PD29LX!glx)ygwg} z-9+s)=HJ!$U~cODepBD@f>8hfBb?FrQoby+7?UIxQcv*C0y%vYG)_PvkDtin_@-4E zqEmSN5h<8yR`2(BWtoEv%jt^;vxu22(PA^+LvUh9BH!Q)OX=4 z$6P4A8|3;)A0p9{#2I?Gvq%hV6^+oLXN&gn7F%j`{(d6k_Pc8NE&z4!GDkgkg&j94 z_m-z~J@~LAX7n+ycas`;{RtPi zK~-kZlKQH%FbQ>g=m36GU`!plS(vo>0zIG%NO=^f987M9Y5KjX0Oo}K98~T?kzODc zSox&RTvQf^VfwtOfCNg(S(p^-ar(X~5N1W2TvT?#5;(L^kU1l=@U28sGzLzT zVp;`B*0U{F+yL}N2{#pVUy_5;pS3$`#;}5V4n#%>oQjJECb6{&6B9@V!h6;Kgl}m# zH1fJ(#M_4OQ*)%~ng??MggxY0@(R<$FSdmJ@NCGpX-ONi#JT&e*o(d5Ba(MSBbs%k zy{~fiJ_gtH08w^!JrI{xsEf6&jmKJ)1mFH}mWJ9U51`~DtNOi@vdj~t8uG1iYG znzG^CIN~#R9pJ-ctdP#pjDl-u_gE6Cc3To@cm42>nvtT;a^B^*{9C{Py!%n<55B;% zQ+_ZtIP z2G$;6IcfeLMM%2NxjBLQYM9Mql5J9rmyu~ERo!S^P^5uYVJEK2rjpCqFhw?plpyb|tNE(~FJK8Fy?}-|4YvyS#nXTmR<~;Nw9a-mqI#2=@$y-E zt%C=-(ROy|CVE|?YSS^n4EqK=I*ZO~C&v!p>r3#Jjed08mbC76h$3GVoBhe{fQAon z!vAV1(vbCa^x4TUsDl8Vh_@MXP_EAKh31a06kuKZCqN`gMl2YdS91v05$q~lLlL=HGYQ3(r83h2IQ^i16<$=B;lw)$<+b4 zy^j(iz2by#ea)MXNd$#`Veh0&EQ~Vbm_SS{gfsXbVq9RDAr>>Buzi1#9o%M6^KBmk z#?mPv6BP~NXgYdzJl+J>n85Ou;cyJ>e;`I9#bLX)dK! z|HJ$m?JfC6e9w?oTM|RqaJ@<~*P#X{wT0B9<-tCvam|4jQK5>)>7`>B-f8~sG7Avr z@9&5jVP8l5yTlo>X?2Q#$zJjVJ=5&$mPQR?r-qv-8CCq>7zMIzI^h3{QAm=T7H9o| zNu|H+KJs0suhxZY}>v#LJxB>B*B zVLoe~o7aTyn@#GUuCZEQNOOt+U zY65x^5Xa&v{u{{3}zx%JmbJ-T_w9;bl0*Mw@B|8~2!5^xHtrTe_169+! z%O~*e;`H~3HsUFM4-bNNg(U)_JFIJ?~4N>r{b2^Tc7s zJEW^_h7~o@ID@S3y`LRQeT#WJYplkMAp22`t*A9>>hTsQc zidKyZPt+fy{=5;xd4%INOhFFdbbbvIXi3Vfy?Vl8=yS>OqpKg_PHwi{YgrtFvD_2e z^=nV)9jIpM;v*7)Kr^2V@khtwG4C27GH#>BkUBta8o9pmYu>+%elpEDo#x`Z__#7G z6e}`^a9R=d!~2?fsUxS?dImH5Oh!2{a0B9;%dNPauxG zGNH#vrnvXxJ`e+)gfbLB{K6YJW*C_w63dU9ZBQg_KGhHm5EUe#@Rip6g$zT0e0|>a z35pE+=E>UE5k=^NIY@i^+%s$r4Pg58s_@wFX}eijbr1E{ANlRg6IwCSS=hKsF}{Ob zQ8}!_TLvT64++2vIn@}t6Z1wIBW_SS7xU?)X5?4?x6^VP_#Y2}ltoIQS3^4~n= z`ns$C%pJ|nTocZL_DtyxrV(qRCvU1Q!UiIb79NCLY&FmcrNQ{xK++sgvY8B!WUwy4 zn_B?GCLleyO!fm@xZ$nZod>XtI{o$d%>X0(cTc!)cWFvxnuNj>#)}yl{zbS7ieR<* zIY&7Qa^j(?Ts={e$`sk49UtRI&ehSjA9m;xqvBJMZsSG)ACvjliGp8BArhma_8X5j z)3(IJ?OUV@MMf3u1|M|g{I!Ty$qXE^&mu143E9K*@k0eLa5@%g42;nyZ-14~ZAQCw+q+w0N{EK9sUKxtk+C0k8;!A0h=dQ_h z(X>Qb2|fXUH`vgo<$TdRurfbIt+G^$xs6Ybck|pg7>O-%$Td7&pf%e#h>c$CuU+=S zH!quISEf`5iG_kw#u{4KG^wLmwkbufe<_2K>a3=Xv+&U^)WmKhn$xyTIE8Mbc3}Yl ziRdF8O;7RD7oyE=v}M`$JZ4v(%5TqJqU4BO64nbq5$H|QVsg~XkqhivkbpjtS9B2P-K_T&8-y@n0|f-+xkL;@KH3Y2f&GG`76fW) zZ@ihc=hX8(uk!gmJJ+*;u`3{SN95OQ%q(~16s7aWOVuV~2T3`M(CG2106+jJOH~1C zk8}<&_z)|N_)};W#`!4f0*XyLM;Tn>CiX4SUN{yivNnf)Q z)k$s_rnA&;cx$oM@X_82?}g>UCB3pogg#-&$7k*-ax5HM`DQl|+~zKELa&dz{YH87 zKT@LpJ4s5~wg{+&!<1zbT^4uc$=KYji4QAl?_JxEaCx5FpPqBdhDOX&Ie`-?=wWR zmI`HE&YfbhO##Lj7+)KeGZ~I2oyqNWMWD zL<@{3^DME=R{o^g>RQLrUNsW91s#w~&GVtSM|uLWa5M+ZBgooEY6pjo*hI#IIL#5l*ms5o)s>F z_%W~ZfOEsdv2J^y8V5+TWmf!_@D4&-g529iu;10uN`_j10QkY0674~jz!WXvXj$93 zus{~1cOdPMbX8x=yU_GD6Cf6Ji&ZgHlm&4|{lMSB zWQ$z^4OU&Uv9}iW^FCCj&bcty+ogu0FXd_Lww`!}?-Kwf+{&lPmUGjJrWTw#>v^4y zT(N4hFyg7ZDyD=WI+rBl2*vIrGlM7I;R*=M3Sz8FaB;d|eQa$DyDepA8wo+7)VwTw zhoIC$nxN0 z5b>3m6tQ%Tq?&GOjQ&dybp-UfUb%-XSu%y06vUmU$lKf6U~vExEI? zGRop{vH*Z+^Ty={_Vr6B^4lj{tIA)f!q*svp&KZn{}2tCVeptfk69ZW(UJ8xmU$aK zgKQgJJ;Sp~U6^e80G>_8^7n*qj&lj$({2$#OzA}$O4<9a8!86c2}!gZ7Y*60}`Y4+!Bq?Bde z%j7ovDBdC`=9iJVU|W-yFRyVcddeX^2(R z;1lHH-E9y!ljtb}cs$+u=2_|nW|yKOM0l26xM;yQ81c7OUj50yxs{pKK{w_a-4K`L-AN zh`|qGR8PDdaMS}?pzp-L^$Y;0q(g}FnrHJ6mrX$OXwnIi9FfEoe@ItGq)S`nk?_I^ zG&uPSqglL7+d{EL@N*z8?{OGH@k{LO6od-@p}7#$EouG;x<2wssaNx_Tt7nu(jX9; zzaS$qg=8LnS>v@n3FgpMccM<}uj%mJzc74p+DwQhIL01Oao*u8fU5!5#GSvjWev19 zzkx5p?ZbV{e4PCKE9^Mp@jG;SV#9bI`ons@iA%o^&5+-&KyL%9ZsR;w{ZcVWPvMo` zC0s8mL%!*`4&Kv5OlBAJU@>*DVI5t#rfsqCV_e?sbKd9L@TSiOHTqK%EgaV}S78r5 zKjhY*d@^C$xbZ9nLKgtFr;ErBQ4wnFojF;WUxwQ3S67}HjVpWvk+UL`o0pqf_w=o; z?S0<}a z8?U8Pg_MT>XukVDG{4DRINm82$BWoojfqmUn10XDrZ*-0Fkq54J&U}RL_veMG}exq zQ*<#q+f}J`2Zd=Khx2bTjOcl4)hSk6t!!dHMC6asl;;_`?dbDrDpsBKBp~27e&N0g z<*1?rfyzCr5iyvH`dJteXZ{E15}3NE%uq(0urWH!I3ah#V=FDhC+4}LC_FfIfn>k% z6fi(EIv^lF3TXW-CmQuG5IXVH9siab)je@rA|KXpyOkEkDES+S-ijjC75Fk-;gC)K zWcwGdvwC9>MCY1JbR%=|vSt!iycEEi^WIQhI2-*M+wLjR$S`7^O~{iN%DkApA`?kThj6Y$K72C=$(#BDsH>GM*WWmf6F z@!3)UQY|+^?%t;!2N^Z&@m~V>=zFE%_H(@Ti-?dn)deAsYa_p@;nTRTjCBB2@n6bI zF@~SASt1M^sNnIo8l{glRya^E3KdrK9h77>r4ZLFo}I~GRGhC_$rnO*4McUF%v+M% zYXazoG-J9aG3zeH-OG;S7aD?oiBI|QA+heoYBKJ{4o$%n#=yTKZtFt;xiuKVI9`HC zh-q0?%X|HEMz7WQ_f4@9*&VMeTHfI#o?a zTU6CjqGhotEy}W`&9J62NOQy4`p!tcqdh?DT_0Rzwhr3#3&i=`5u`c){?M{J2yoQn zFDRYEy=zQ9PT5idppOGr(z+;js1=vJio&q^v$M7`z0hRDU$Dk?xdc;=Uvn93N}*jX zEHk%{nm^#tyFZ$7m8VuK;a30&?=8_D7}J6Hd{T7kK{ULM3H>o#;fI5|=ko>0YXO+Y zn|6zc^hVYq{cMaHcJ-E}u&=V8wY$@)+hO*|%&Tg^OKgsIhVU}^ z$$l@*!{99mJPMD3X{HP#Ld~2t8ZSyw6+cF0p~5elW69)pru=et$InfH2`I~$xPN(l zq26%=i=yu7CaOw$&-aJ+g4FW_1Dop;h@;nNYJmblqM4~PKz?Vxp9 zgKHzv=d?U#0j~Aw=%Q`ZaQ&x;y<9g-*@gA%BTM-{OWg3Ps%1_)aB%X4upg$#{=NlH zPptbW!nj4(kH$fZ`xlTn&EfjfeCtVz)x%Y%{ici0Ty^{P2KSllma9&#vzBfV>o3lG zqNmF|Ek}%I&$%swrP4svF#y{ViZW&FAb&pbB=#dn=1E<=*@49wx8cf~IF?N)vHtHC z);TqULJx?%V$lc740PlAK(t#!7J#ql!+~>bx_ZZ`H2bzu32br3%n(jYqtl5CPS(ct z!|aGj`o(659HC>qL@RjZ<#;;0=PQE8lrK2y-+jEleKq7UnGxz#8-QO7wup27N=wf< zE^vX*Q5Z;uvBhG`&ORH}m`o%=gLnwom&%XFLz@le;!ytA$KkM6`0khEar9UhX6JQ1 zghJx#AmqISHRpofSx@C=MMo*C=8Y+i0H4d!E z)IX@P|KT500_<2X+qy6jBTOKSEjmgbP}Y#D%5YQJso{a!KMMf=VDGx=QP6w!O_`K9 z83g{pqWd~6jkbV@)ukkz(sM1*3_H|qV%OY+JJ%OJ%A{Ja=IO z3>MJWsUvQpT;`j3m?y*k`HxbJw&zp*d1R2;ElrFBs0+sD?N6NViT*mGwa)uJLG0{Z zy>?Z6;S1wgP}L>I$w#_HYZdFL^JIvLsz*ayA8A73T^}_>mlBVm5IbXE&mS<80OI#W zR4y$8xe4M#POVKg_AFIH1p3ROS1SNzZO@f5Y%0hR;kp(>G`UINA@P2sXZMKLzH4;r z?b9X~5aRZtH#AWVOYMku{}v0=s{|nkkqHAnRwR2-dk(mT}DKxqzOR-xqh#pF>3e zMH@&-F!X<@s^i8GM@;HJ&L_Px=@1JKU`6=Ex4trR)owN8a(L|5bBs`6eBIejyIU96qQD!Y8y959=)l0CFUjxy^`7QX zz`>wcw3&gd;iBHhSwlq%cnV@{5D3wt8pr$6ropP_79&^R)-+j5YMht;&e_cI!){l| zB%And&j$`hUd7-M`Pum~yBvFh(e6)Jyok`}r|KuTCL64$N?hDKf?&#O&_mnLx8%q$ zZIkrH5G2a;VbP6^Z~l8osV=7%ItAJe@cA)0Eywrm=w7;&>I5WkkbxGwvoA{tveUoq ze2-|4jAw|KMQ(!Mzq4UZHst)ZAN$=}&YRAd`f~1dg_tEZE?eSa<)m3W^mXuNl1a>Avs9@O?kUJFY z0)uA)F#Ra0h;MG=8ker(7?*Bi`{6%75dW+?93g=&8t%Efo&>Cq< zC7}vE(P+7e^j*XNe}Hrp7-VBN5uySZQ^Do>oK5O`h+f@;%Z(4S`(qOW|1XC);v7so z#8~hP0VrWo6l+?rFuL;j7n9I?K^l{xgrs%|VG;>zSv-HDE%cuh`LaCHEJDG1qZsr4 zN&P(#TOvGr_=E!b`&9k77^^PH#mv<0C|U%!*IUFI;ukKUK65Z)FgiVshS57NZ6#zK zvbNc-QmUBYkZySY3{mUI`c`)WxzE}=z2_$>AZL+g@0q5^9v%5RYP?kWE}Pif2z~{N-2r~%vP7#F+of5 zy~sHVpEd-aRehXYD9%J6l!xQvKrRN*+k62(E!&&Hov;LbMWAx-A6P># zZ&5ig*q%2~DewqM)%a-pW6aqhGhqo&uG{i^cXeqTx10htBt;xpK~-5J8Vl#9HGgMv z!1!2eYsUB8UvnXuA2BC`9!mO)%>(k~!k*g*=^Bl{!HFR~5J{3*8H=n$q{(B}s}wy5 z=hXllg&N1=HS;1lg-hC&CCKg@DWpQb#F0LuBcs@G-2>*5WTs~s z;de>v?Ql9wlMt+1%Go%xjz;le!Bh_H>1Kdnvd@?;wF9VWHl*Xq5BVL;w~jXK*nJ;faTI-h{{ARuJ~R3AUGAkS~3=euE6 z30FZVwifrxpZZsK18~zEwYJM*g3aJy1_B`2IXPU(6nUO7Fl1Vy zqJP@+p=$O%j73*g5ghwJ7ydPOKR{&00{p~8%s_wMkvnX=6y?so$@($H;I}2978q&ulJG~Zs zjc&U3TCJV|#?W!wAO~SSIrxa-R(W6uJEoiD;yAlxr;y;fVWj*}Z(spg*iYW_X-ovd z2?EeKc(Qs#50R@^-A6JDzw(Zu2+bfhNu-m3u4Qt=$cdw}abcwMXaN5GM!EWN};xhG4 z(2XI^)>usQFi@gL)E&#+PCL485xK%10VAjXhD4NHl1mCwKVpl;w9(<5FX3(T29lQ5 z%zD?n-r<<9>B>P=tgoc0r+rQgovk);q)d*_u4O~uaM$j~s{iT>c7&^rG!(iNoSN%E zWNo5r%ST1m;Ziapbd9I&Xzdkz2iCxS!Lkhvu2g}QHp0u0WYh)Ow?!30g)69Jw>(Qm zK=%~HwsR521FRl|B@dj(T-8=5Gf`m&{)s>9E25ZT!U|n1-doH%$!s&-)&Gr-vLt=- zE#)empMb7v2S`*KDcxM;D}hIy!DDud3BIhpYs!@q9}UE&|Lt=C}p6_ZEa98g6Nz z6Ki~W1Gdt2vaXTs25G}FAp7kW6WXf>I$C+It^u2iW-r=i2TS%YsFNq^71-sJgoy zxjyOJJ+xr&k8JMRsSAu3nl3uS@4Y??h`Hn<0lK+Ya(a1|rotwzufkwoG?oPDE~0$w z2Nv%(<4ma`LArpi3?s}f8^*mU`pCoT$v;F$XDsI&1VoE%;0UaaUH3Ma`E#e+3 zZ7~QoV^rSc5NJa|h>$_y*DdguwA4f60){uZEr8e4doao5Y1dQn=J5H99mJ~Uu>%m1 z*6PDKxWUDZOGa~~mZ^7Iqjy0I^a7MXfk) zkr08#GiKZ?QcWlVin#-vVqutcVsf5QnB-~K6i9(NQ*W5mI>)lHwOcFtiUJC_h}E(& zCyt(Nlt^r`kl*T`8+0&J^l?}PX!bZEK$sE# z<6&QHaa3crTgw$I0~I1tmj?Iu zIEMn37j&q?jbrdjD)g|pJ_!3#1Tx9c=MfkYr&X$FIeV?SBRbxql#`&{#sT_hX)9PS zf~UiT1)k#*YxV|Hg-^K%Tu zYD`U%fqZ}vvD9kmZc4n!$+?@E{`vFscDdtgQvKDS`rY;EG1p`nycv)4*)kT#fzRWR znFGFdGod_0iFiXw+3&oeM3bc;3DH$fE=ru2BhA9Z+(@A*UgMBv#@RLt!PO5_qb>JMcH)%%Vw&T{^bgbC1!&86}BZJ1fw&($7XB5IBJU2U;5^h2Q zsW!LGR#LVt*=j|SgO=?JXqr*eVOGmcWh|w-2AN_;V#3NLrpX=TwXURijcja8Vzo(j zq%~i!Luizj@)lkYl3zn~<*+*NA*JHmaS&4BwYRxCr_ff7-2S!+=6WPDTz_BNw5ahH zzAOOvlG=~Qb(@PoT71?uZ~6bAtLl6>?w^(0R${pqwmscWLb)W;6TgG4yCDk%95+|s zs^PP|G*x?sdRx7I+-veliBEH1-2#b}Z;Q?=xe5r4AaaSkw`I`R=?0L~fBC64qb^xT z8m-K!8Hi)QT~+?mYr`gm;0Vd#J*42LfDYh!Wpmi${jS(UN~CodWG0s$6RP3jPI!MM zQ-e2fnMUp=_q}5f1S7R_h}oWu91J)qpKw7+a{6;ep+_GO^V4bpd#Kl8FGm6-GT{7- zka{wpZn1)Vb>t*$iK(LW-*8Fj(o62xV&Q3RfU_m7AjAEB-@j4lrY`kgs9KyH??ix4 zK2G1Cu9FMmq>TsrV&fStCY)Dl`%0&k=8m@>LSZ>RG>rEd1^?-p;a9Y69mUiEEW4ua zK-R!6X@D9Wy$VGGjSgS?I01BAa$oXGnr)Pqm$D^RZs_U|+2H-P2=)C{_^Kr*YmoQG z^WFa3{e%ko#?{vQ-#cYFF9e#=Rvti|z$QCyBLgG|m&7W0PHO8x!Ucx%<~JAmDbXur-g52EI%p_Jeycd|OOaYI z!uOns)_cgUCEK9Z!l4gh8JD7YQ1plw%hyB?H7xBlU&EK19BVk2!l5Z2?A zH47UK`^=vh{$St-u#8B^R#OaoLZB=VRe=gcK2(Xll;vt#M1^QVp1HrkPe7Y-iL_B# z1JuKs1Jt4Zm&2YQ)wA+Z!6vsw2>}%@Z&n@n9LICUPxXgJw6LjYt@6||e`k*&9v>vn zzx-QY&T+J7ihx>vEbF7tnfuI!jmZt5bC(ePe`sPI?Gk$8K+T=t55LG@Hs1ny~cs1myf44!1JnaPLcLu_cn>QXOkAKNq~>_6N`tf z`<(3Os_7NK=-BtL_B8>bc2(2ZzM8vtf)GmI8;ub~kE9jKErg7K$N5NST1UvUft7zULt zP$P8!H%i-{2SEf{2Sr`L>65h4YM;`IdSX>JTsdTkQ}yS(i#Q^bGvJitq|_R-Y7wD| zs3(Zdi9?IV_09M+O|>{gI-tArKf&)(xOH$?9$q?gv}A3g9BrI#ziX?0(V2I;da2~y z+0~6-eqvkIGUVYzV@8GQGX`_8n3lz*M}Jusp*<+AdziDnRPsL{*!x$JztN~&%IRN| z%Kdu{z4R3a39U*e01Jz-Q(BwN&*b$X@|Z5^{*KpaFB&AX8j3}OriGhIk=-k0amSwC zz1nxXVZ=%vtLbpYhbFs7y)zS_O5UY_}uw`Pk} zoAj+Tj_k=M0(JZtgB7slrt zuBDJ}&fhd*j}!_57=5HH65!)3mA9S`6>}0J%*~nW5GZ#1Zr!C619)LIY zQD@z}@f#>0mCA4ZF7>o3LBBX|4ZVv0MNOu1XWzzuuCjL~)F>e5%OMy$K zA^j*;1G*R72+1ZC3a)M7Zb671{FL%5R*j!hx!8|W*p^!J)xA8`T5Lc zYbPl|AQGy=)_uvq1wE53bTgh9fcW z)se^edI|)wyE4vs-k))Ey#2&`TKO7zFbRRd9_$7l1u4Aa9@IiI1&2GlaxYix|2L`5E$o#l&)k3-L&WOUr4Fykx;m^Yj*R_*r0VJ>aD+H`aXZCSTH|#CYQ0 zV%)Z>99mx*b)IOaq!d*ELn(GLdmeRu{LE5d+;9N*3%6Ns;*|z;6m1fa3s{e6JA58N za@8yiq$doQuE_ac$pfWo)TBX(n7x&m*UzZ}sS?-DT8v#fG2Opqg>>d@V<*fh}Nun<4r0q;lzEQW)d&$><#IULMJLqwQ@R%3`^W`_I6QiRNBS zn(aD1_1xOq?nnTPa!FGkvoxl3wQfb;AA>E2o;l#_ePl(ga~BaePg#bZ{{e+v2dsV@ z8{~aOW%ya)S3Z_Fea(_|d(pYEpXjMKb~uY-IIltH30JmEay#5oC>dYTO=H#Sc;D}+u-%1%L2hOlaf z|II6Sv`s|7&7vUL*Xn&a=vG_Jh5p_Lg92`PEyxy=zN-nR`eKu|_{KUl?t^{O)C2FN zxf}8i$Oqf69(Bg?4|$*PCWK6S9cMAAj~N^t?PY8D2JIp-(T=J)9%Jd7wS^KaPo4ap z39&SC+3z?2sE%La!$k?@E$*@4VQ=Y<|1H!pQqZoFETXJMn3cTTZqm-=xnlVO2FvJ7 zzX|TmWM(#r%o%D-I%|mQR(_OGarL);dJT8*BLJLA7D zE)PcbzWqwdZ_RO&u>O(c2J@V)UGp_)t_jJ96sZ>g=42L+TeDp+#GdZC6Sv~qZ-KdJ@($v1DEC5O4Mw_8a};LpacbvR+=qKP}ev*TfGGBhdMM%imzX|FJM zNYY6mA%H=1f|?Kbb*5&yL6pO(|GHJN*o52LGqQ2>GKRpxp46N1M09gMLIC?6^^^)W z_HYZ3H<4tSb+|w7)q(&Ny#}aTalP6ajD~MKYGqT~HK-wfeet{;u6fvV5B`OGsP=XK zb|4q&zp6T+jd{t+fo^_8crCncRPKd|~8wQD4YMJ1t zkV{#@)c*N@kGP;=(}fAb@0dhSB2n6LneQcLzKoWL<+Zh(wO}9Hs1Bz#m?Brt%Kv#J z_ZH(qG`^K{4{{ALzs+SYCY+hezJ>&7J(abQtt@&E933ENF9aTuI&UBaj&@SNgdTJ= zVI7=2ysGHerm&D#e&(pLcfr9sbb zsk4kBY#Q267g6;J-N~M>(~{cAg2u4jzPs;Tnt^DGU)kHxy^W5kFu$4d^?b>rKCoyu zuik^ujIC;3=(Q&I4r?*@|Du9Gx^k&|ikEaebs}vxzSLs7t$qb%*)Gb~c#E>3yI=e8u1;;pG5=y_|@i z-_n*fhZ+$Zc<#3n@wT_0CuWt6BC@mW@|7>Od!#W1pK)F2zuy%{o*NN(1pJE(9>V8C zIl6r&<6uFUc@YvmUjAT!qpZY=^;REtH8B1O*?y1Hg|!C~WcAfHEj-1GqIIh3v${eJhs{^?ahHmqJg7c=|GR3iYI&quGJ$(JLODph7U_5YU|v!iO;7|Vl#`nLk=9kAMpk5 z+6>6dDe%-LAQyj5jMp}~f1HCwRY__C3yr9f+G?{Y>X6p>k;isPZq-F8Y5eRxFq~7X zGe$K@bx#1&FC+C z5Y@QcG?LUTZ*V~)LHM4!JE>-+jux7S4p*2bTwaOt3iI~*)dqt+JFR)I=Y@(L&a7H94|G%={0;rDQ*%#*E8XSVVy9Rf6cX#*TaBz1B z2X{$u*Wm8%?gV!W^2odY`|hpp+uEt$^iFrz>`v`;ZTHM}eFRYPMsX~k@=wYLX{GX$ zfvtKj<2ALmIk|qprOccgoWr+sbr?8B5Gq>&9&+V@CP{F;pX1}(8XOz>EAi$jP0lbe zpD8O2rYTZ0-~*2d+0&A?VD$)B!KPc6QtT=fj^MYsOMa1=r3hqL8e-rdl{+SDE;oMc z`)jC-+F~Atv?icTl+%-}32%&S*G|)_s{hdENka0@{!H-3%CgNuVzKRS6`wUD3UNa0 z;RE$mN#qwgNJa&0)()7J<-}}_@aJnOm(+VL8a_dlq=e)5KjJ5U7?PtxOw}#jqn*pj z$LLiQ@5ytIVMpTHwmpyE3tM=JZe~z$42|;fj7ZG)D1b3t6)j=$Va|H$L^Nw=4g=_G zGECS5&p5O#k1e-sF?C9QgeCCMUvfh>=^bnHO$)oCr&tZ_3B}e0c!+T1po-UjcN) z1Or=Dj@oH;qBekIre;vYPC`j|$XQntqZ+HoYFuJoucC0vA^e*tXSgob<=6d+vmkm3 z3{JVA2O!iFx^ja)!fWL6dw)f@BD?BuRJc3@q^e_f=h&?g<738J7q;|(VUi$6mT>yI z{V&wx6iM2ap}v`=cAS_ic9p?A94-Cmq>R@gak6~rWpF1bJ5f{+-Iy?XP0K7F=wPm? z5m72wI_Gp>eJaib@9tcUl>2#}NaXIrn3;`?am$`wE??I>QnFE%*ZY*2Xe5E5D zNar;@F}u9cA5|km8|-2-!xEO4U z)#NX;JHH=lKRsm{9=+aRk#A^`bljLQ8f~Iii$U4&OMo+`z$7NA3^)&B9i_CuCP#R^TH~D$SQ{JPM~_X(SO+6#8YfA*TdNrdye% zD@&Mn8CnT60`bq?MDewVWy$Xz^cAay>sN^7D%$W=;u(lTy`ij;>;$UusfuVdhYUAJkeJ#SgL7guh29(uS1#b%1)q z`2BXk^lq?62Ck-LgtYh}3M9`DRNewTN^?_&o%Wc?Jj3Q{=%3bu93-538Pl20@)kDu zL;X$s$pCLRs5Q^}*zftw5BkcW-~Rq$<$QSy8~nJpE?1hdgv!c~2HcGa8?_0~Uv%wo z^#+SsaNfE2mbnlTSyEHBn9v{tW`SET^qWvSrS5`FAlX_~p1xZGzA)ksyx*(QGnD$8 zM&WGSseG%Q{Nt?OARn~r_yK5%4NSwr_Y@#J zq?18D*|_lSDq39)lAdHN*CC0k(}G@R_JN+u-?e?7cy$=qu+fk##n6`C7(ladznou2 zdsOfFc~s^3L%rWHN3SAqI$c>tkk3xJq+ij)!p|g${~8R+R0Nr>V5Il3z%O#{)LVS3PyD1CEhpBsNH zng*NOkUaiTdDYC}W%}sO^a3tYbx! z$EAQ6h233Y>6(r9@atIw8G-(sI6+U<6OFY^Vc;cSB5@br)vLwQ^8rZ=wZA^u)*^b0 zJe?+EHsts@$C=OZHu^(=H*a~v*tE&zT%W10_%o%e74RIr2&E=s)M~yp2p3H^j7DyG zKiDI?z$?&}2<6Ec_xDQEQ%$}oKxhJAI}NXe!iSjf6u(3mC1eg^qd9FMF^K$%mjRooEkWhBLR~f;eUrh z$X5+EGX+oB8o1%d4f}Jae5WNlBWXPPO?m!{tlIL*Z=KMCt;D;Tm8^>18%Zfz`VW5V z$DWk&@)}+&M!WE}GKUJ1($VP*sgu)D1c&pREGjwOpYIkVMl^`l4NRfFKP9p?6f$Rj z6voePCvD7{I3)w=6ykz=)R(e^lIaW`VykcsEL{dHCb}4JfP5B!tD{hoLp{O28nEUa z5>kfXR1*wIecoY1P^XMv9pb3A+0D@GZ#l%|uksR)u{A)|Ptt_o3Y~pT z91!+3Omqd#j+e1MD{pj{H&PG4w1YI=x7(HBWQ!9Le~gbBnfMs@ohW9M^YUwlpZcsB z3V->Yq(#6=$y)UEM0!m#lH0ou^5G3C!bd#;pJsnekzJ!k@^$VRvv#rN%{4H}fb$2x z75a1b!h(?9{YY{I9UiH`aQ36Zq?CBIj2RZvP+=d~)}L8nUK4CFG;ToUOvD1~?hwpd z*wNBeh5EQ8<_wg_{s)R@V#unjj2D8Zu!8qm!(-5Xm*8@yaF~9_KWsFm^wm8l6ssY; ze#Jgt?Rq>ff#M!NT~7Xn>~T~;P5f#WLG{J#A-mXZ=mfK+yMlE`I)f5UNFP7%X_Q)P z;MSe=-qzMv_$KF%F}m!OCZT3&+H!{JGf5-6m*h0EOaG2qrx0p!95n0_14ya822G9F zio}QYG+xeC!%Nw>d~;bB&7H!Z>t3NH*du?r zdj*Dm^$dPs4anR~XBX*$Ul%_d(fOH=0qv=65*}DF%r&94sdtLtdvlO0>@S1LK|dsB z7G#s;-R_fY(5|Vdu~0v_2Z)27)0)Cb4<(^Cv_|ro8|3N}f$O0pj(;+XwrZtKJvo-X)gUyQIL_3qFGN&~jQ=|AiOq zY2h4fG+w9RUn@AJ{W6_82x4-ni5+FVSnOd1XpZXpL{y~w>_*f4Q%an=LUPZY>=au7 z0sHyJw&Dk3XNu?8SUw4uzF@-1)d=zOw zm`UJRaFy2AQDWx38}%ml^#w?WE>vCIfX|k31x@XaIv^4yQp+2f2LDv(z)#Q&pE_vK z+%kMFU_VmU9aIZ9WzNw-RHAc|wB{J`VS3@6xrDK_;Xkr`v7Lwn(#GffGHC6_BT_Uj z$SQsSQKfR$G?cZN`to5;fXkvP=Cmgh7yX@KV^hy1gpz!=t2}y+O0G^$ zN~VI=9NATa@W;R(^x(U0fKr^X^Wx*fgswUsw5>dMDn=bMyTf0!{>)ZDq1cwbxuSp{ zvUqzt=j!AuuQ2ro7&-EkdeK;EdQ{lCx|l;ZVuEfRIW4^!g0+bcX9vqUc!Bbxv!)I# z%&x{K4UV7=Ht@?;cr$7L_0A#Yini~z8}W19W2G*tnvkS>jr*P!PljXg6QQlH(U~6h ztx}F8T<+G?hgQ(Q)85ap-J0~x=tqSp1G8X zYsE3j8+9`?AWi5#ohqjsS=8%*SEIym7uhcl>?5<-1VNEm*yl@WALJ4<9kLJ;1f<39 zxy5>NnRT93!n$r}pU&`ITx$Bf3+2x0XV;dK#i{O7nfuvwez9~gpxg{(4ISRW!c{j0`l6%uchqYA z%f9Gnh@N~Q5%-)4HI3;5F{A$P2C1GYm*7)-yht4`hAWxGFNX@RlAsLp3~V1(H^|?^ z`p`%fuop{112J#9=8)^%nYDq)GtSQW`z{0tsG32@k*U+&QBy+$QD_XNo*LvQDiCxA z1lV+6fEZOfI3x{&(41#&wfU;YHKY;iJO#^Nxysns>H6aCc@Aa$M<3?cn4>~3SCFMG z_Czh_D9v6!DhY&+9nP40E8wn!VMT38f?bfFw8FUNrj1-8`gKz;HVBBQ?c+ByP(rm4 zQs~!KSMrfBA*EtbDBJ8bael;|Re-|HCM6Fbfo{(E7tp|5ft1+cWE(r!po0=M{z8LitiLAJ-?HWbBtP}Nm2Sh?+K}Bl zf#1itnpc@m+bF7MA9Z?5cW#0Ev6&N(8a5ZzhT6YwcQolPL!R$$-`aw-($(l)=@e|% zqhOlVgX5h}QRdZL4u0=U_( z`tpgNuq%=C#qTopd)>JY{y2S`#=cNc_(*OU$YI?haQ_6)=S1=QwEJ1K;3CWKqz z4%_*t)e0R*b?#k*s~aF==*Qswf}BU3*Hh!ZVz;-;*t{_my6M28G%08R4CDOETAd zVQxrsB}&0Qs=ML@g0Xuwx|0<#;;)m~mw0o{YnDG{E;jxwo;&4BM~mvQgU(J2l>OPK zJnst!*yP*l@s2Y@-jDWB@-t>xYgIIVWZ1){sQ(&6F+IMnmC4F2qadAlqm>S&PRW}V z#^Bu(-AnjHYIe;zAD+S^;?R_!W4di8;Qoa^IMRjiZ|(UDFf@swAFpBJIQ;TCI@(gm<$%wW38fK8lkY#~QlX%88rYkhgL};Qg9#W66x55$AOD=8IL20I66NGZNGDv2qB~}_lR?Xx`(z5FZQ_@b0?HFtL zVFl#H5!8kP&(}6Z_fKj_7|CT%$PQ8C0hoS$0x+Uj2GLhMTPI~9ty zprWov7(ta>uN6HFfC~!sJP_Oq(?i(WfTN@Zm5WjX8U2EGk*d>Ey=ck^3URB0ug}}C z@V%A)$lwha{N5qzUTGaT@#K(wCniB5m95Y>sUJ(W;>QNwL`Q^v4d_OhUkVFGCg7ZN zo1S2=M3DTsA*+wg!)wRnAA}2ILzov7L#H<5q?l5U6xt!@h_i7LYp)(={as=^B^8B> z;s`xoVk(qgo#*|T>Wkn#NWnt2aeg1ejeGP zbI$?W=k&6~niYtS5W6>@wb2#rMoT-1+n9;roLZa-HqOFlIg38e!Gv$RTRXUU=P$M1 zw-uLd0-a#Z_e9G+z9jE(8-v)flXgFSgNPWu05gc+Ht)3j+#O5>FR`BuhXS*BUm+|B zVdNpSoRzpw`2!qXB;6ee05#uk!3a)h?ayMjSp4|9X5@>yVQ|M&(?$i5MW z3H1JY1@9Sjny}&OD#(w<82I80DHmjpkL|%Yw#Y{vZBS_JttLjOuHmcrkkXPvBs_DbiiH_p6An_Gy+p8d8VZVX1IjEHW1GF}mJn77>8%Yt%?~4`ita~K_j6hmL ztm>b_k-n;w{5)RM64)>ban#KlF1Du`1-eySrH3*1UAn7m3oD##I!zNXS@vv&=4<0t zf3WI>>+DkoY`N@*%A&@>FxQll{#t;UT-97U5Fv^VYNt-7u!^b56ov61m0gBZiDgIO(vSL zJfy+BJm=|Vz|JijAKw7z&!B;N$zu_gVxaZ~W}^86R+~dnZHYY=77@(h8W90}#~deTiXaU{-{}k@drzQc+0gJGf9mCtwk2h!n6oFC z1(fe%4BJxtI5`lKxV$35p*^a5!H;$1(~DS+1G+l8txF3U7aS9#9hAV&Iy>EChPy*m zc#TW2eZ|c9d210Bn`WU}>E&c%S}VT=s|4H9XXmU%GMEzx~c#W&^WFU)1lOrH&mgOO*H{9?HX`Ac2 zZa79HfLxP0+4Pp9kSF-Na)eDjk7aVYj$ajBMJZS^Qd#jT59DvGXDu-$X=3fl_coDL zB;jmW72@V2RAmE9ub;3+Y-TIZ|dEKdmO?DS_^jnCzkvsQQL+8 zVysYe4>b78qSw{0o}yg$ou_Z?#4QZe@LBdh%dBoN!ZCiWm-KCXCw_kz2X}>xUMCNu4ZtS=`Fc7o`i6Qs?Cb zT7Pz`?eLD49CVdFruj+RvC5)PaZwcN@|*0CuD^7X5ZIU9GaapHzv=zRhO;wg47dnd ze#o<9Z^)Wh+}%$`b+lsNgPg8i4O3hF=NnmE-Tkejn>E)kz^(lWNrp%4*`^NeK*eCs z&qNCAFRymtjB=tK238jO+B{%}k?LAd-ve~|5*_P4RL#kgwo>jLmUwnPbh(ZBM>+lW z@FuW#@WjR#FVnFgfq_vDx+B{C+ldU(=L5?2G6=N#PIY7Ow4nmSV~O=$F}Q`x5Y@op zec>n_+Lcb%XCKFO%(`Mcm$f7YAdCIk4A0i;mcZYOZ?*4MmvR`9*!y1+Z|(}D<^5+u z(u~;iEx*b~&`6*cQ2Chfj96i})m~XJ7R2hV_OzDzZ`g`wxidMrxVMx&Y75bg-GRcf zy#>topsL(R9$Zia*yGwC|Ax)*Kf0sZJ7z1gY|Rbp8M0*?H4C$ki^ z|LTf<){;LhW$>i_Ce%J!urJ8m@8`xEU6~s>S3&rB;`YI3|k8SIdoMP^xv8v0|^ki&l{AwgEBvfA3lgr_jGo-=Jyza@8gpQ>r&ycb`i47NEd5Y3Vr!!cU02ZTgK$=2x-L#nQr z|1vYxXdLIWMEqhj`?DpRA`0(AQt2za2>dU?p&@(t?wvF}M5g3pys8rRCkwx+rE$9> zLQP*6A+$U!&J5IMtHpIH`=S8uO!wi0pDee=d+bRSgLk}*H5}r`SPm&f1b^OsU<3CU zyL1M&vLx`bO415KDS=sQMhoD94`DRp!ZG6R^}asL-y>Oc#LEX?p!3u%?yyud-5(i` zbln{}nYddM3PppMRxHyv4R!~lqwl3oO2%yZ4qQZW;Ea5f`(|%%8DJF=n~I|a8aMNQ zAn^*p>R=e6c8cQ*HQRp^b;d$IyB@@6yV}Sd z_avpvm>6-}76SOClCk|K$dF3W>w9~Cc;}P8(X%jZZwq7}J!}H8EDH5p=x#CRsojUC^N?$2OJ1_HANbpUXVS?gnt=?xphX0ImdG(_|g9?9g*J z*vWoKzRcdXq(MWRamrRC?WiB+keffmO99b12mKBAsP8AK2W}RoMe6LVIK*{*d{%q@ z)I(B5!vT{#i7CWp^G_6E+)cQ#is@B>cG=FmdO-!-Mjq7^ZZ%{W;?a{_ht{~YpOCji zz81#&(C@&@ds{1l?QC3ihxTEL!f(w{$;EOp_u9|x%uZSu+A4Q>n1sce9ZkdG#_yCj z=AIeB8>Hq0R5zR^iww~oG0%$~V^@n@I9QubrNbVKNKp7nw1f?ZU4(v zBKHbY7T4dUZ~%-8^of$s$@z`fK4SW6)I-1lgr9^x?QSv>LD60g(W?;VER|T>;%Z#@ zYxFY8x)Z!2y$gIiIg~%#;UFj?2*6Vr!zE+#_q%=XTgwHW^u#63`iVJUVKzrfd>fX!ubyOvW@deC-FS=6BYfw^czf{c_QV>|mapgAN%*&cV{0?yEWVx!cQ(1mXaf7# zg{M#_x)zVRU%XdHk7?J>5@@o$&Zimpd|9;`m(O|!Mh&sHRCb3^e{vz@Nx8;ClK1a2 zt-X}VXz*B6D}k~F3+R92bX#9EDlEAI1zxN)iJlP63&Q)0W%et^ab}7`z8)}MnOxGx z1;08Pt9+^F{0k=zo-r}C?1JG-ou~uB8gLm!RD?@H?y#DwYi3;a)o5qzk4TP5)O&E3 z#L+rj%Z}Zv*zrT!eWPnfv1#~N;m&H#GEu7a*4T*KgYKyU6yr?Tm)n4Y_)n_|&*j5Do4lh{>#vjF?U>$r;G|;F z;ZDQ57`+3WWZ5ZROVR1Y&UuP)5HpXXi;`4x>9Wtz2C zB+`S#Mm__P{{<=ZK#)ate%3^^uI79igD+e(0Yl5=q~#ppqlw+Aj~*+ukmy>dz?1JS z8y_k~TCcm*@-ei)5@JrfKr>Wls%KZT(`fRc6j)BY#q4Zs!o=qm3*6+?xnVyNdps8G zB@ji%uP6xgq_wJeHSSAtbxID-sSvAMxns_$eLX0AZbVTuASZf#3Cb`o)m1A}r+IX@ zVGZ-VG2*?>0%}y+qI=}eLVBw&m3R;_x!^jcFjR01dGbtER69bOB_0r9Li&@CAQp4VhrJn)L5lvI%Ceg z@+|=-wn#Fu!1RL#5LZHb&2q~-(Gzmu1G=TPQJ*zW+OzQxCp<*R9S9e^H&;dru79I0 zXo~*sEcTwy#Qs3D_WGp|0K1H_ABaGDHb- zI`kYd!%-WDgzOjV%wc2KUmb)*9?mAO&P|F5k8SA%;3SIKuqtCfi5bmv#&L)Z0XX^H zoiv4RTQXPn!cPyj0`G5y<)0wyBQd{c5mvsr&(W?YrNMYMJ!8d&tFu|Ce0(#w`Yi38 zQ*;Mu5Rq0zB;gtWN!aMT*F^uZhn+7rV!LMsgAIO}RGx>6{X&b-aPJgm5g6Lqt!lP)&K(QU z=eme+OR>114BkVp+IoeY+?{`+bG4(U4vq(EeBE-fBccUwap^G+I$ zA~*mo*c5)v&WLN+1$@kj9#lO=vh($1@a^5gJtMV+6YY&bYjR6)O|xVsvHfm7Gid?L z*P0`?lCeW!Fa8FbfrbYuABhxH5{3sEsH7)wb*XQ;1Jz>@D8T#v1Nx7Zg>}3HPZJNB zh-R6IiVN)&@${fN4VBhbTPK4$E|XSk927Ff#zDX{a{wRinzhZ zypmdk@X>GN-{!(&7#?8n^*kchR*M_^R`NJ2DOwVo#h^s_NOLn)linxbyb}&i7I8nW zzEOQdKW0hkP~EQuf=~>GoF9w@Dcu{3x6Cv|Eh-s{@9S@WpnO)>wu*P&_NDp70NRKu?bJl^IRH5{)vo5||Z z%+d&2)KIx4aSBg)DKJRV$|{i`k@XD%*}gD$8E$QAJ7m4?raJS68@K(^gFAt6;b2VT zQBE!HzPNY_by#T?`Jh$lc>atr5C)s~e(1>&o6h!+l#pSW_>C{#`P?pdhgojHtE}N5 zPt&%CHo$X#%;`t~`Mj%v^3?}4wM#cCo3>suXN`OmoJN_r7ma#+re0IkN|x*qs%&(= z?7QraK5`0m4VwF*cOnP|Vm=}a4C~UaG-w{*!y3U|m`2K_B!cChn6HE|-j`C7hYwCr zZ_|zw1})K!g5onmyvk!K(dFCI!n0(~>b0gU@Y;GfSF5>zqv(si@T(OPQ4zVE|iJl?DVX0KM~Krp>SH^c z6yy8T6U@6f_!p30FVI_g2-v;#SH0m&4Wq)8A{7WowOB51r9ZA%5q&$N$Cnii4{ZaB*9W87^ob_o z9nqp_P3R4v>eMMa?DA-hpi4Ya&P>a9kaGI_43R-k@bbNom zW%{;Qp8Ib6_Hgp{S5t7~bq{a+1oo-fNFf?{b>O{c+!js{)@;0%y)b)CG(s6$Qdc5?1zdD?M>DEFYxJ)oT z&WN>Niq=utBl1NS^IhCj@sw;u8`q)pqJ*aEe;p8m|?(F z*vI4A2eOhZ3~bcA(^gy+7}%d(I4~ty2uKVtSXfvvsay~(6hIyP69b_Doc|CA31I&Z zl7eg@0ciheBn2%&0x;NkJU{;aY(JaQ#2-HK_l~-FyuN;0JtO zZDxi66rulXUc?0u1NB{3c~Jbix=8mPLlUZKT`wWc0!Tn}yq8|{0&ly1_OGtd z$#BSdgeD1M#1p@uO|2pY@`sA6ESoQXi;eKGPJGv|gLT`01b&YZt|BV$GSpYhHrK=o z8e8IZw2;%QRy(|XUU|JiTxd|KT(J3Zcj0Xv;L=+f-ZrYy z(Bt|??z8x*9}vneq_(-!G?iromAcemugzV*UykPM|h5jkG)=R zEhTj<+GG$2mOFXlVbD>wz!+aIkhS9rMv{-N!$w(}*UT4#3dQ_~BSvPMi-=%Fjce&D zg5<1Tz*vOH?w#G_ng&EdPrQz#Auv5_8KGw5r8UgE16St{ z+`JGNUC%Py(j(|FoEQSnVy0|73p@Jtr^ld4PtU+`9)884faU8!c)PbjhrsNMW51PH zQ&ZqKQS;vt06Vu8H1s){ReZ`}mHrx?TecTU1lh3HZ@5R_NwfSf_ zxsHLUGBFzqj7_HdOD2JKI{K8*O}|YQ_sByX1)S~_AxQq&QkRRx3A%QyADFAc^;dy; zp@&}3_=?m+z9!xoqxED=x!N%jqBbSYNtB+>A&qPAc=nlS+?|q6@UZ+M)5sK-gB%{Y zX8l2=y`|O0Wn}&)0TCtmHKl~0j4ee;&97v6el+M}m~n}*`?(?zUp%kPEyH*m903~} zA1JkFrr&Dv^{3vnKP#LrR8y#Ozq`!nPK6B|;ol4kcJXW!YC~u>YGPmI2DQckR*GN* z-1R;546JDRf^CCZFUQy13u!u`FIfjL45c(B>;(Gc?Zdr*8kFK?V;yY(9@wuW^K8eM z*^tFja+^K>H|l~Ajm(G}(O_pHj%HkyPM{oWxnb^JLi%qO|BVQ2*ySlPJOOQ;>uIL- zal&-DG%H%8YDT9pm0Of~SggZPw^}N=MGQXdHfrpYcQF6pUPpu^bF4NM3DQt=D;_|~ zmw?#LYE!Is?l30E$+>zZ(4q+|nDV>vPoJ87y&u0&OZY7jLZW+ue3dtar77Q&UV-4% z%Wj}p;q~fGd|oM8OWI$X4Xv|-F6^iDJV|Euh@(ho-jTK0${-1uYbF>}8_=dkahKBR z+6;1vrJ*b3-$+EcUIDbd-ONVq8X`n$%oW`<{!4mGcD5|qX==3gd~kuxpb}HvVLd7H z(O$shXU?A(MD6D~(Gl1Jt?A1HbYNm!9*j`aGhPg{X=J8FJ5?_xJYnGMZ{RwUoVO39 zVOWayvyCp!*asH6FsWXT&+z7UdpFA(b%woQR{UA8^3soJM`gQIB878t84LVq3Sp6z z&Q@Q!=E{ec$etJ>1sw#DdRgZ!cBc75<$@*qx;~kk;P8IGHM&->XX7=H8jwkoKgKaE zj0WbCij#~A$&_UQ<*#weT{TAPRaag7B>xK9&um1H8`>V)5Vy566ca*)z=BCyejay8 zks|h=((uvAqxaEHV7ApO;NSFa9HWVZXe-sytqgb^7%;GZ<#Wyk zvp07$X7p^fCkEJnL$LEPfqF;*7@!MMKsXF5565Tho)hFt2B3sx;g(`!m1kvZE+Yeg z1Grd7iT_FRcsRP4F_=1jcW~n;WnpD!W&Y1~Q!8T^V^cSCm;Y|$V&`CCCuIT!QUHjW zAt(Ux;Qx$33KhWppEUp>()^d15upKy!Aa#>sp_Lg>F|T%X#gxl|H%JsuMj@F{Xa)I zXp07b1^plMRY3>92UmdjOxq6N_@@^@|4A1^fQaY;)c@!i+E01|0(40Wp!{zdfDZae z3!wUMc7Qa9oen_rk2L($1_%WC(gA4y+rs@*0O$mn{72v~&8NOQNDvM!fcC!?Krli9 zK%-Cq0z?2f2H5|ztcjmp0a$>l=mB{DILAIo?qX;Fn5&zYow+Ncr@ft$?Ee<9QvKhf zi1Dz zalY60T-TX@=AN7Vto3`=+IwbS?4m`2(j|g`TCBb>WciEXiX{<}NRU3|!J*q?FeP*`i3gEokl#M!HMfV&#iH z+B+E*MzMAr+(tUyoD4gn$Q;r6Q>*^Q1nd%-6B?qV073jm_l`)h;TgTanJZn{&}6iOxu)hyLelOOdNd zr_Mbj0T&N(Ssc5t*65y?Iq#@BuGW1E?5enI{)B^?UTgiHtiAq9OMCr;v>K_{ynNB@ z=P>xkl>MWk6Y{>&rnkA7_UXY%k@DPX84TkxwG2p!yaAnGpS`|DOBde=6q7TE#>qb8 z$GITz^orKK4I>iJam{HEIS9vTWBs;l%K#X6On&tdxFYwQXt!sgh%O?#x-5f$h)b{a zPDCU=>HWUa!sow~?qVa;z42bal3j>fU?*gYw$ zhiNt=ouvI&?snt#y|K0n{Fa?uwGdRa(dy3HM7Z29QuBx)>Y+TI|Lpn;8n;WTfNqiu zpINm@_}%mn^3@TQAD49_(AQenQhF@(oUJq~7FOq#ttzI+*s0~mtzD<#G?Alz5x^h# zO8oR}v`F8t31e@jmiRZ0KLPZ|k)hbew0+FD5f8YABIy|(o=$~y6JE#R z-DXmF5O8cd_-qI07=D=-(s9(1zzSG7v^vCRiOd8f^qY{-dJs?(a(AR}XwfmJMVh~7 zBE2tX67(W$D0?`xJE?KJE`^eBI1Z&_EyUd-pUr1VpET;oa1Ywn@oqAg-!E?|iV)W% z94WousSePHv&M4MQyjkY5d5+X_P~?gIh0H7(|5V2FJdRSO?%AKWj&pfLBy?I$cV|a z<`!I}PdXnX;qo&GLnJvJ&KsF=kqdJ&5-z4zgrZPtak28f5rw3VsB(nLJ0*(%9;8I zy$Vg1%C_CgkM~dLl@GGI!j@D z->c~Qyk!CRDn`lmwB@)R?y}ED5k)sf0TWegM8m+!`e0H@t0!*FpX~!Hxm#mn>5&8! zQdM`qP`q9qcO&BolD0l1job&i&8i?8PP5Od}>f1>Y0E4-JX;ZLmhSvFTYAN(mG?DSZwmwL;*xK!5Qy{!kx<>N>(V`AUdCVq1BysxM#j1jjz zqa~zIt|n&22?xtpEy~kPfP?{<#{cz}YE%HnVd#*;;mYRdJ~(0G@z;nkexV#B@5RYi zwrat0w?I{W08Z{Kf3dn{{ZT5o^~PW2gl*^e$zAr-##NtE0^oee!JekmZ%(CWe8M|7 z%6`M-zPjYL`3{mVwYi#k3t+t}50{mDf^<7J6Ns4WL$5akzbX@E^(;TT%Jcrd#if%W zaW!0P*CwF2XlNHqH2y&_-OFtRS2Udm=8d$G7XTXHg&@5$_y<@oZ|s!q(F zYNgmNN$|;T^b22h$=?&do%k~!dEUFzyIWba*CLuVs*$?c7T7kM)|E56p)~0z$R()f z%nA@w0TlYb%Uvt@UU<5Ep_lr-Wl|xUx4h8`!e#7T&c(&?Y{Y>wboPMv8Y%Gc`9qDQ z{B_@HgSxI`uJ6Hz_h{youH72Ee(dyJDBEwQ7Oj2UpuJ#Iu~sT*B!N|&i=}UCl=@i9 ziJ6tl{}HCmNE<5SjBRhGnn)9$+o3Wz3Q@D_)?`?CTG@J+fC1b5&IEl4g*NYU)gTc| zs?P=Zy~4@)QQ787bDd8v4L4HO5|<%A>!W_IZA^1-xW&=?&BSH>r>$gK&s6H#vH8+b z73>F3gDuqNDJJassi-%r%(Fj{C%PfoMmbR*Z=yeU4^sqOpM5-;k*HeyDF$O*+z zwQdLFP3uO9J?^M`5sF`qdrqOtL$U@(`Zu*s8v?!jAp>#uCGN6D*99XbwaZb6XBDp{ zss+y1FE1T@ikPoCR3ksOFuDi}z0C_ZRwdO}a2v1G657P(>C1N+)U41S)-Bfmc}Scz ztcTQSSOX|b{wf)zCo*?qDNOz(ny|w=N9TIp=~It&Bg&-9Xg1<+pXZNr1y#3|xCzM^ zd*MYOZLg=i{x0Ry6oSDxQQM_R4RN0yTlXi7p;+dW z?%{ugrVmn#_*g}nox^CXo;lHSr>Sl=H>iz`Q%T5+9e;~NzE3)vl0(KU+l0{6H8oIn zSNpP+7VubfINTT`+67dC9sQ8lLCNj05(Tc8zK-8 z2tcjIVaXytKYtp*1tV!6tK4%n7PWYqJUk9Dzorn)b(owKVcqmVa$;;QjkkJc}Q)gJk~{{Y9_3mNN>Xls@99@hK~ zU^zd#zF0qO5ldM=yFLty#r7s*kw`N_BAeSJ{Zbwx>!kX#=1gDQoNvWGcJavi;OWNw zbo8ZvGu3$^<%nAFKyK@!M^ zb-A=!@WaI5ZFF%a2ErVf?r-x*&stX`C!AaDY6b@l2X7qpx~ukUe~Nm%fAuY}Q6{bX z&qw;(yGXn18M0@7XPrZ)8Zr5}&1d1v++D0Fo0Ywj6PDZvd7+xzN?#jcZWD2mINBIX zOFRySkO4Jod~eR1-nXsp-<6ce)~&>p5_%#~dySfE3OZiw+ndpSNBX;EI3!;EFYgUO zmm9=S`qts2U->g>PHp9e3KndBE2(m0acA1}B_fSOf5y@1_RV-xs=|O_tM3yvgab z$e}y4Sj}gmpsyo$GFPx4^~1(8Sbx2K5zl|47+IC}a=DTyd8{=^uj@-Ca(g3o6qo*t&%jg<(L zjD{8PrkXUjv+zFYbk*ryf1dvGoPhDluGHO9R?&?!w`?Kr4jZR+=YvfuwyZAV@6&F5 zs@xFhhuz_(YbMa#p1yk!ziC#bRroQm>S+P8rL0%(Ngo_E$$!6hR^vVW$+kK@zGyu| zttO#u{Q=)0t{}9(2S626_9XQydrw}CyU9o(q;!XM@CX8|aJDgfpFs(0PIe7aWk5(W z^+4!jNhxP7A3Hm(+fVFm0`9mropz*)*YLJV0J1K;k)i~(Q9t)%K9Q+i|D1XQjQoSF zZ?K*UvErEQOu3(~yq#k6j^7=zGm-w$uatq!Bu?w?O|Kz>n)B%UYz^(9ZRKK1)68<7 zI>68n-Wh*eZ74dM-tVl&Q}NQ6Q!%vNSW#wHsP!$^L^GrcY)um}g`FK&raVUk$GAs3HUA z2@kbn#9Mb0=k>|oT()dJN{cB-NQo-zl%en)R8d7VC|}nPGBlcGXU`VN*(W2BYC?`L zb_Vs-KWv{$LHWdm+CXu=%#KtQOkGl zNnQ(gGCp#vEhhQ4viEq$CG5UNK~$6ewN`}5V9Wz2$m*AGhNWe>k7}yXl;*btE z8q+$L-$4b68!5+P-Lsm*H z-Fd(s1|AC*tIIc~3_Uk2R8O8c)zHn9(OVVQxq+V!Us@@<5PY@Q#&@JBh!6K)=eW;=2q#8zghCaqlhcF5{@RoURUti^S} zvFqY3RNDRdK(UgKt@DNG{Ph0Vsigk0nBd$;KYUi?>80(oyY&84?i#YOwYzY zoN3K9wI*-wsdt|diJ||{vvMVV|M$w7HN$}5+>#h9t6sXqx@}>JcKcmfDO}rz{ODV2 z0baJ2c*r}l;*ETdVNNe3gW&jBe4X0olS?UOqa=#D#KiT(=%L<4amQ&A0ff5jfXYal z4KszycL+a|6oKNJRSqw~xsri#XzcyKw!r#+;jq}S#6g>1;p29NBaEnX>bQ5;hv&6h zyALzM>$xAh>1@={q$~i4)J+%np6i|9QcT|AniN<#Ei1>50W-8Ch4?)9d2+qo>*Kg& zs}d@Wi^4Cc15Qft>!F`wBy#ZU{ZT0-hU*d-KUG>JDFVgAX*L$aGc{C)Lbwi5)MqjHy&zVBCBXBt!NaVvnTwjPH@YhQ2lu7<=1;sn@Q-Dx!aW*? z9t9F2B8WP`7^qMMem0wbyc%IjTsW_6SMJ0np$1*qdKnsY5Ln_Z+I4q6GF#p5bVlSr zDu~8+Opq-UW}uTym1vyb&;pJ~GKqh57(^^*_H=vQYP(t+Nz?8zrOg;PG+tg`#yt;< zGiQn4HOJ}|(<=4bQ2mtyoIY~;0al5~nuuJI<)m2B2j$Y_*sv{33q=LjT zH;V_4<_?hP4QNuFV0&#j+01k>KO`8xY-IpmsQ0;FX7hA$1-p7aq9@8k!lvAubwBzd z=Bo$=ti$gOvazk9chfG6@mXGASE*W0(gzpAAwZ8ppfL3NH=r$h|?xsO8QA~hKeZb(fmXRdR%(fZBm-u}d09y^_x zca)s8pVP7nSeW{1@H~}&4;GWvCU!in95Nx8mOnIol;RT<`@wVaLhH_*(+($5_iT<; z@=+x_rzu~0gSpFmyll6w=g8u*x2bnNNn(9Sm`S7Ti$0pW2(Bd*7G4m+T}k1pl2?`9 z-J(5`a>zu!O#^-^7azDD741Gyh&^Q!bZnj|(QQ=m#Z}hXC8oFk!&0)mz}xmjxvaZ# z(2;hIKv=-&|j_ffJj_bMt7Vs)d$j+MU5u z1>B6(rE?q2U%oW1gLrSA6StH_dy5b@b2-rRyK?N+Q}P}3aOy0S&m_B1eK_(VZR=f2 zYhaXTE!vb|P<8Zazze&3N6roZL2g2k&&Q^hjY?nO_hwU!xp$%yIwI|xTx_1GX1fR0 z=@6~{#X!FPx@z{@>nB56bUYl|nRF@P`Gb6w5nUcC_K7`@il0Qs|FFK*(*5Ft{`1HMZGvF$XqAD^cCd~oF$}C#fY>1yA_c(OGld2CwFk zLSOrZ#0I!q*Wu3}=jgwZK;h8Xf3D=xWkHhKy5^}>vmp#L5fr=%KeD>}!g@$J%LSu@ z68ays_LF?7cNj2|rGhf{ZNU3F->5KOr3t^(vzY1k^9d%b>y@hyU%#t5BAuGe_cj#1 zJy%k1H+qMOuq^8B(^y;NZPdsI=NJ`Zq`hhO`b_6S**5*18Ldg?IlZApYQ2j^I&9mI zBQaQwReb^1R61EcL!>Nc1mUC2+hhx@TCZiOPiAy_Nc!K}Z@%!;u)w1wI*Yo#_miWN z9&e)jrG80pe+3b}uqJeij17v~$Tg-Wi8VfNdSyadvcJox%=eTt|5#{v&%xK( zq)2{}GxPPxuote<#FEZhZEKFvb#FVF@{#`Zso$<^kcgG9On4O8&FXoW=4Fz1X?8lN zyg;o)L0I#>*s;F$9^N7Fhqb!3c;pWru%iD3cFf+4s#;%gC^lKDR_q!Nlu&BihsOq|qLM;Jpc*JD$wT3+{dgdv?FZp{dHj z;+v-@i@0V#zUiCKLO;d7clVqwE+FRSQ*?C%_YXd~@dijr8WVrq$>ogljnpY#UeoWn z#Tsya2F%ypUB-!ZN-Tx!5i87R$jHcA`6@Tr7#Q&g*as54o@7qY_WrOJzS=IMx1ff@ zD*7Ww2GPp8JiaEYS$E}Ev*FES{_XhE2v{9v^PfAt_B<>i94G*c8qP!C=naN*!N}X@ zbhqZ!x2I|2vx;TsOwa6(?y`<7wFaEii_`sSm-SWP-v$wjkjn3J@N>0!opU5!yi@s; zcAH`O3#X6Q{^#ZS+?3j?GP1Yj;`01z>Tprf^|dzGpJHlJc&b4SSncg|bG%EJU-=bp zc2NF_ z8piwi{vOO>6tsUrsrjko0MVh-w*K;>)alWy&;%SLV~f~fZ=NP6q=yu#I1=Z4wZ!NI z6+XMnZ5p+8?R>t;@^Iu_C*EWIIRi|e-L&())Q42_QSgHCMy;6mf&6ug?PKntlw02K4eq^Rm!>3MWn!e zNb8KZ)T0sMnPB_&srN*Nbp8PDK}++n#VAH*>GCb7KW0k;>RXw#SvXY5w99 zhh$V=SLEXgO?nJolPx7-~$@hne&u!-}Q}xv< zhZ?pBINsgB?@*}rs*4Tf94^KxzCD*Icq|qeb1)E`i;9+hIh0X zDVFy5n?R;VipbJ%6KjxdP-(1_3LS#e{DIH`?bEHTa<;CCC&*!_3o*;5ZM+5gU2AAr z*6RJSIq1mJ-JzgHfXs;aGgZn7;YQ`Pv@ka{mcJz7L`~A>{#qY+w;+WY z*sfIA3Rg4O%0a4;$q8Ao<1LH0H09liBMjjn-*-gfY7FsbEo5>z=qGkiOgs#v-5QG! zX?_KNOg1P$MLEVZoBbWs}1fVf!%Pfx8Q`7sb&YeJr!~Y$cj?oqb zfDNscwzHC~%auA4SPutcXwCRp`pMovpYX=((a+JtkJpfV*o4&e>14{wrbn+Mo2;D1 ze{+yg*V;r9191RJyVq*mQuB}~=h~-|jarmS$<9%C6yDOs9vn0~Xmdufn2T)N|#H}A1ZO!4X%So>9jT$qMv}`#X zA3T}kQgK1Lb=7xUjGX2A1jyJ9=0Av5Z_1J~(0kD^sXhbN$Y~in%VI5Rc~o3or$?eO zO*^w7|0y*xo}Q8pWTO&lDOb($?1fw}?@X-%MQ(Z2bT}ex$yaQ%mdE1cGpp2r?q}^h+Dktw8=BShYPkhj8?O_ERWNq)Tu3 zTM8A>`_1<^9daMfxO!?Xx1_idz-o;vG=t3qmG5?J%sDrYW9%x5f91Tp_v?|%&BKHv zCDr#Ike10J&&V{mpQA#=dKQMO0;TSj#3=sumM$&`gTInKHjIMXFDNKIn2>*c7&T-Q zqq=e2yVi6sqwb=8<1U1O4#&I%znoEIDIO|M$ySg|&iGj~_VTSI|CkIyrHDsMzKVgz zh%)|wO=c!VLHp8jDTAwsF4IzoQ$RUtEiBQAbQi#p-+oeQmQ_FK3wN&QZl zjMnPq8<%C6N14<+dXmR#`g??m<`3Ac#k%A3zHgY#Wl6hE{($u z99K$0m1WwT#h$w7X(s4bo(pqWdHa0NEM!5F=yOQhE#`?v4!TDGXPk8pL=`+L9Famt zd!y-9!KG53+oI#?>}sA<=^2gVVTHbK4PWCTa3f@TY??IGT}9tS#?nI4PfdNflAz&c zvx1Kf_Bpqo1yDE{5rH93jkYMa$-y>XG>EJPSk+$m1eO#TMAMg=c3L(WW4Ta>U8*8i z5QC!qrgTYP+x6=HxCZMd{q)HM6L11=<3A5qKo;yxcAI<0lTt*F6sW+e-+5-pE5dCQ z)ZW_gsgV`ky;~opk`$=>^8wvDC-c-2jqZ6Eyoh>0;U)>2>H;hOY(Dcr?0P+78d)(8 zcKWkRwAI3unpVnmVP(nuG}`4PY1mrHlb65RMAPfQX0)ss{sbAS9Uu{f-a;p~P9x<#5ciGB1n*LE)%c z3_t)Ps51;ep%9cHD;i(`5XuSza3}zkhXDk-p*0KuAtERyHZ*_`5R@JUAP^8L5d%tsp#T1w<<+3}9lHVE_|*4+EIkT)b$& z#5TqNCUzPxx*mdw{RN{iv8nmcfQhY+0Zi;j3}9jpU;q;vmmdw7*i!uHdMGCLYmCCg zZsf=2Mk2sqHUQ?u=DV-f%Y21Q?R|8QU^dXfKf=;Ppj2Lu8T!2cZ&JwLi*5g6tI z{l|dl1Hpe!0z@F7e|Lg*u)k|T03ht|)dB&apuYox05Bxx`{ExHgTM%pzb8RE_`fEB zpfC8pYa!?z{+ELR{xu#1hWPI)Aph^)fgo_izXwFO{P%!R^wRvx{XfD$LGb_V@&9Zw z2nzn^c(_c}w<5bz9DQknv%Moi!UAaQv z7^{GSu%N5c%A-$#O~v}^{NR;){# z(3d&osD;ixw2yn%^{Pw4P^(%bMaaRbs@=J-ZWkNt<8Of7u+Z%=@`7 zYV%`pY5mLAZa_!22;!z{WCQLh%FSgyoEBXIMVa2MeRDp_X+AJsF~D7J`+BgKkgtgB zBag+ZY{#$w@oVLeamNdSBIL@f-|3;0C%;CA-Sh~xEi@-`5!oB5j)7INcNmxhS8WJP zJ~y9I$#rmlN;S9T9Go)s|N3}+IJ02rg!9b-6+>Tx=91;6WwhWf9lTI?+l1Q3pWA3L zK?tSY%qholYdzvurvXLR+FL7IA0oZpAWvBs?F(IBx)1=fYXspBQ?-!l!k5Q52M-?2 z)_2tRPV7=e2R?k$U1nX=67^gIhcT11E0&d@l}zkPcz~|KQoerHlHv!KHP^B9=d9cn zpSxVQYtIkGjkDOwg7pcDsy)5$)C-oT+HHuVN|bQ{r0cj5kwOvZ7llsKZMu{sJUixA zCz`<~w95UK=lwYEnjbx~;QsPDm=I@WR&O={l*O*c`@9EV)Q(CJPoqPsuUwoNAtdA) z4|kv<=c$S^Ve)0t%Swd>iHginKp=q2wc%|c$%oMS$oJ6D+;4V?V>UmuDH0MjrUi=I{|K&cDVbPP+Z({mA z-?m78OfAZr67M9nPb9}Q?+_hCJXqVedETcTkMl0(Epd3oQ|Hf&B=eqjE!{H_NbY=B zy^70TiBt`Lven>v(Tbe1ezZ$2@oQ5YhGKbuZd^7#eYlbT zI)2-I_?xY>cPyU8pJ)eJy-8dIa=OxnNP6hQ4q`>)cZbrD-cFV5|``n+cK1%IV&$Ug>b&i#nDxLE40DldRLJ8od z;&9;+HR8B-&0d9}3zc;8ee#J;e;NhvP=RTpzZw&U=O)8$ybpQ!2ZIKtZ&&4VJ4soP%5y}S-}it5`C*QgC}iN6Sgmhd0h5^_QOwZu-7c zc(UK3=A^~@UM%_>*#QrbeaC=Nzq^3=EHJ7*?#cV}h3-SWBpLe$whhFm1U{(Pgq@+b z_oBR+)fqbDaV!sPsvI@A(^JH9w#bg>JcrnNn;(yGrqd3zzazOry8Tx8G0B^iV!Egk zg~uPKn|y0ya!o}1x~dGRcaG@3q(k2MLaD%3r=9#FzH{CC31%Dlc=B=YjV?>fLNusE zTtBTt*pjR=N)89%G4zE2dXlH89Y$x(x}P2P*NWc>KhOGNt{%)$& z1PSboA(h@-*RFs5LRE9K6BZ~`Bj-=?B=eJQPbsCJeBLHN;30upHBw2vx<5nlL#>Hz zSA2-tgmVP)y9lckyh*M$;PS$SnbLUOFZoq!iJocrbJ6$qyKxA ziaJQB`Ldx@b7ZF#(DHurZw-z&nem>^(w~-KR5VDEr@plzy z)duiqv${XUtLlai*dov8(_;5FT42V$wH&f3B$wmkR>7ODPm;MiNdSqfthIY3EPAG0 z+CH9P59sHm1^ZntKUdF4p~?}ABs}8{BupcQtrxuJA5Hr6nRMotUE>Di>H7>8jd5O` zPP)c^*NooO>Z6))6QZG87j#VNB1->t!^!wuTYSs4Qssp`wTSU9Vj;@igXOe(fq>f< zot{}ik;ihQqOs(^EBJyeChy0~QghSkzARJOlp5F)}^|?ax~OIJiu>>ykVj+@F&_ zW>jogLCwpf}792?H8^o6;{{!Z_dex5O#V<6sZyqZLr?2T$r_Z7IY+_{%SD_9dy zr*1|zZZ~XLV)>@n&+}MtoYb3e7qa&vEJ}TFruTz(y)d9a`)z#7AD)O;RevOiGACWG z(IY`-_7Kx*z@+gOr~ml z;XPl+J5nH94mun?DnNe-p#2@wf23IVzUD*6uk+EP8j$2+$IZ>z#SM+9Hu?Rf_siE3 z?>%cg9+oa&d)^M|C$;(w<@{-L%cfhzD(M)7YP0xaEi3lar1P;^%GtLrWZOcV3ca~(qz1u0SdS*W#^6QP8iE7RydBLyTz_6THt$Yg7By>Lf4DKfyJpm=B3nInZQophM2EOHCytw zrzE^*jQjE%xXh~To4B)tC(8TdC*WmXR1oQT?n)bBFwuxJciQDTBNr0gXifX^gClXO z%>~LT>IyEw(_XYQHLYCTHkm3Rq)A%;JDb_1vj;dnQ=+F9(#KuykuYQaaKYSny?XSc z`7F2lBjzXmls^&qZMkDw-@YFrgz&5qguk%Ov=}~5_Nr+#eF#hUmDRsjp)LF)2&ES5 z%kPGFd#pK)rF=IrPjkn`|I@4wIiJJWe9ImYpPfzB>t6q7As^-(#rO$9PJYv%it4US z^F!jjt9wMZ2^*OoZqs~ro6&<2nH(ey+4d97Cm9?m4Wow}qplbRtNi~YKOE_8>#s}< zYPDE8Fl*%r93MP&9w==Y+T3vBevfJ@9dJ7f%YLH2MY%G{K1A7d6bkTNu=Xc&tCjxU za(${IhnlC3NGbSfK7Ur^cHmXKa$r{#GkvBxI(Wrkx%VD0zAKJ^1R+6$r0LmaO7hO zy-9K=O3##KknhV9FJehkamYVJF|PPZleSErdXVZ}lz7Opz!p>R;PG>5;|Km8QD^S= zp~H{i%r1#8(+pR}UO}^F4f_X32k$t&n_{M<7FyGdqxXwvdDn;*<9%1&*1n%xt7Bi) z40Vi%i_5vCdMsACZq-jJMqdkd<^aeWoPV7!45`|Bcazp8_os?RI@mR%90wAUvsL3w zn=(`Q)(a#D$m4yif-e|S`0CB`PNX!OhZ%Szou`%-1bT248G|$@)C)4+2R!wNXt$K= zdEb0sQ|s;ZpaJ0jKfbPW!+;5 zPZF=GE(4NhR&KlR?n7IYQHB&oLT@#q>_c`-M(^0KI+eC6T(D1{)dry(omA4a+zgZa zx%+&kC>1Nb%!T0{_nEp3eo?WI-y3D_tBdo!84ec?BW!p;H$%Lg>anhFS>1vrpy_3K zy?ezSy%$%`I625E&}$Lu_O^@^oRC#^U*J{iOqLYcRX)B@qtV@O&rs=&2afBT@9}3E?dZ`ViC!5) zJI!zVs2hGbq|?Q*x<+Mj=$vXqUrXdF8c{-Ao$@ENo{XN;S-#ivdNIW@L@#z@t;uuu zp1n}4>xpK;mw81m6Pm*ONcYba=VXG+8<}PVFNMv+_3VLA!-C-JuamlhEHhuK{ihLA zOATVmjk}yeITo#j%w&{X8g{L|Qw)HT?1Z_)J@;PI5%QdeZZA-EAAg!J^Q=N^1RlBx#Os9F?X|8JQ-ra>-LJY#sh!vvHb%||)iss==xohg?G`tB#A;)x6e z+ntR{1Xrdz`AYglXipUTG)eFDHF29*Im$Ap*>5TXc8+lbHh16E;Ft^AbAN#pad7%P ztLlq43h#}+tS^4)b5We*iFgxnN8w6r`p)Z);2$3uwW9-2_AKq)lVxnJjs)QY)^0}f z8AC0!rNS8pWCnMNkHUqinjS6ek`t>6;)stLli_CIvg8vQM8=5|-Vz?CIOBb?P#{ux z(WHx0aay|-@fkffT2BUuljGgOBlL#vaa)#u^kA)JD+CHnxr@)Kseme3zFXg$QW+!e|^4; zZ@FwGMR+d78R6!J*{Neh4@(=q>arEN6s=UcS6)zw=At|d{j!$y-!yN|6keEl@<4Kp z`i&)>uOFJNgjiR&QR1s-kGZQ1YNH>ReADU8|IF=xqU*|Ml)bU0u6uzfHAtAsN4S-3 z>ToAa_)zO67JgbImWuQQ7FQ&{>NcMVw8*q@r7n`_1np-c`ZwFzV>t|2M=l1W@$dXB zPrtOmc@x&3|JxdGPL5XM+NF}dJ5jIEdSrFrq(o^|yqMbBoH#ECbbW`g0s9nhD94U zrO=@j-HeV3-gm*R)&mI9j~D0?{oV31SzfO+^q;n0*W6z}sr#KKwEnvIJtFs^<=4-% z&4^FS+@7$G`?%u6nr@sPicU@^mmgqFAAbK>D-z%n|6tKj-{kxI+a`yE?9R`v$Tnq-RmggYWuAZK^^<*qu8g^@pBFRP??e4o!)9v6)@o=j zk7fTf&J0X`x7|yZx1eGvbr3-HXqqG+p4v8x5OE$K%{*2X`q)7?NwVXhNw!&)Ha16( z57POhY^u1}afjeRWOv&N^v1$cAUE>rOATol+nP(isz}Foyf2@LSGPIl>a>X1dn#0A zq<%5T-90>U-gCNln^ROKK5;EZnB-mQwaD;&xpMoxrTSM%WXFUdZ`&W;px#iCocOj_ z|E>)A+FtFmHtH~=dIL+^E3ZdHh3>8$N3?H>J8RJ-x8HiVhs2}FJj8o2zIqan&7k;l zwDDOnd0H5d*e`+x24#RBvM#jbvBiq)) z%J4cTeuB~W1ErxEszCt^Q2bESHidRVNN*rfsWc);Hp{E)+3ETBC2 ze*gX;zn0FR{VS(X&7s!Pv6v|2mI6~YcbWFp19b^_agDQ4fWM;9Co!!?C)T#p>nK|W zC5s$<^0)%ih1|Q$w=IU!!~^)hc4~3adf1+C^cof&4iANNpn61k2)CD(1zT6SCpl29 zu(mG^9tkw$ILQZ$6!W)xqpxefzisBRK)R7dxhdDN`V6q)JbzRPu$-PYC}n-&O#aej zJkta<1vI#pIc6l2By2p_oeHw|TeRCFc}ASYk?%{eQ{n4NKr#>)FhoE8*o)x&;;9Hu zs>H-+oxPCc6I77r!0wkPX=HijOlb^n*L)&9y;P*cb!uhkPebSGV(1QrMk!30o^v@1 zh3f-pjO%lNwsCn2(9O#5*t^r)1f^~+(v$mZZ!PaHYHSuv^ET;UIWrhO{AD#&WLEU? zzHQ}sVR@|h0r*Hf=qfFtd9_bwM$43|(EDC$FuHRywgUBn0%^l|HyrKKz(HygK9d~$@7h*dgAawF0!6(yUs8Du5dW{{=IRE5nc{i#u|^e%9FNiiTRBx4Ml+Q z-k*N!0vhsOBkTs}AjPQL$mJ90!DQ%=YrdS&O$(gCtIQ;kz)Af>iRH^7@v~_3mqEU& zV#EuzVgvW~Rw%?t&9!y1t&09C7uG zSF_XwtSFDhzino-mmjFO2pL6-Rn_gSOUm>pGXhhp?R;CxJ5a}*khqn|6Xd;AHtAghgp5Uk?d=iVRM9J%YP;=C>q;Yb`+!^fZ%5?V1KYy(* zQS6~K^JNdH4Sw0_9IVpwgVf#l?vd8?$-r3uQ-kC=kPxBV#kN;Gb+azO#i>Kh{i&z9 zR+^vVCvZFoiM$CT-!k>f^rkqyokL>PaECTGZi;7XJPdACi>fDf>9jS}rH>xhd5rW+ zj-kXf0vu`UQs;5WYUhtAvlv_~Chn?)-ybp{`gPq%*u1}&S-N^(t<1hQgf;fI^kT@d zeQ<3{w)JUStJHx(S`1y|zr?o}^vW*SC@zcP zI9*COVYp0*Kc1hnt>Et%(RRySU*fH1dOYW=>)e=Cyz5k0`Dav=%Ojg86tX}OxZt2P z9@M}Vx@foGyk*=Rs7em(`hF;DS+9`F#HEvTeC)B=R;PdKPRuM~*{FEXpIy1}M+avA zeI45k8*Ok&tIZ5RmRI$H++_qBJ_?&2o)g!q+ei0Aw4F@dxig<~XYEbNARslM-n~cn zvNwG>*x;4uHp79XYTwA7MW`rCZM#s|#RHyzJob|FuLSd2^O>Oy0v_fQ#q2hEBhzL6 z?Rm0iQY&c59pySUt=z%g$K_A9kS-5(+4mxZBv_ak^9Jj3FF5ss{Mo_FDR+cC(>RKn z9!keGOnuAJl-^A!`(&>gw@WYG<3O1vYFSJ3A;!~Jb}Yr`)qOocn*Ew{hs6!)rn0XT z_Bx6j0RQh}9s~(Pi(bYsm}0%Fn3P| z&SFEE=%Hcx=k8+fb}DDsYwUikpIrmiIEavQ>J$a2w$RJI6Z23>40g1&SyuIy8x2-6 ze+gsk2z{;atY=YoMUF*k|KX!=X~Bf+sN-{yfq5BodUjJ8IaJ(_LF;awv8x{!-#2gk zug34uPI7Un>fHAJm6cvGS`}Qz9ZmU0OBMO!n+DoT zYckR~^Hbq(e&0Bs`f1^#ow6S@mv^6qdH#U7@h-C(4-i9Uy`kFm@jfZmv8`t%-T0MT zWkN(xE$Ep^th!M>&S7;8QVk3K8FPbynQu<))v3@IZ3B7QU%1EsL+cchJGX__%hRHH zJb8l*sI^lr1DSuAE8QmXZcDz=Q>Bp6=mso$Al(CY7v-XsgH@2dak^;Y@6WI%6ehE@?h6-5 zCtb%>QbV!}j^0F0dRG`LOD8)x_r-*NeiB~!{m7*9An~`+te3$~(TA&w*1q4>tes5w zCuIuZ#WOcYsM*y;(hq+ij89x3_oO#|bxo?~`^8pG#YF-rrMhpW5O0OIttdQs%3`&f zBpk~(a49le-}EMrkbiu1u|FTeo=bKk&fTgq-hFkOEdF5qMGdk4u3p|Rw=>BlIj%a( z#!o4x#2@XdavcB<7<|m85=mu9>>9yvR8hCi_hCK2R1l@Ju2p z^^^$~-2X%M?y9qMs1e?aLY#yUSAbJA9{EZ1ANrfJl{;F@u*BK})Dk24oXW@PZkCr# z?WyNf94LbC`FVse)hNuI9P#_vdZZ^;a_JFKQmKAHdV>38Mq=rc}2X^me=K=!lS9!Hd8Zh4~72EM|k`@+nP zlY;gKhKxdd>ZkS+`>r)b}ckK27b!!{ixj3rCFo3lC+Yqt_TQNu6nx$ePqbAj%(Z!#ecJ&jm`-`UPVi0X7ilM9i#c4Te~PDz=U9%nAPi!# z7)^<%I~z&)aw}BIEQ3Z;zcltUZ+Pole3facHy#sK-j2l5kFp6x-&1Q7`w)yRdMMx5 zpB6#2Qfv2I1(phgrwI4eKQdl3WhOtZdX^via6yN7Ic9BMcx>O-2iyS+9$3%$?7n+3 zo6Q!;_WN2)Y9X-|Br%%5(3hM1Fs)p9_^rFPXZ0|NI_QKInP%Zt`6f=%*YwAiXOix_ zg9{=PTEASHKrOXJNfxAQ6N^ei1<#>~!XY0N@NQ}TILv;TXMR`%uXDN>KAxgqi}!R^ z==qv&w#{fRy^;%6dpd8MJx;0WQ%_C6(lpysVWHQCpIp)TV3+~LEFN+U4^4}-rkI$n?|(?E4V>nqS%)U{gz>7bBD}c? zdE(NgMeW`yS1J}LH8)J^oDNl@xb3WVf3XgWd}?^iIJ2H&!u0OrLThcaF;UWtDrtd_ z#uhu{y?#SsH9ubEcGEjmk}y`af+;RPued z*4<}^Y+2tJ`{w25E}7m@ld|_>SYq`n?Xi61yD8f&IiN}@B_$e?{N3f2Oi| z&&s_2**l0_w$(r+Jg3mb9*vGSy!x=nX(DgYN8TP+)Al|%{!lEx`TAm7qj4NqvJ_KJ zCN#VREJ@3A+Jy95`3KG?2bWcsqH3)s;JnZd9`nv#$%mxAmUU48nz|^6H@A86f`5I~ zM9#efovWp#LR@v1lC@aL7hC|10WdyNGJW6r8WNtec$s%I^%P3@9F%0D1! zr7&<&oagPgXz*o3f|3p{ZIxBk5H>$j?6}xP2Xwd!jzH(tj9yYUIxgMkHTnD~Lc zxB&FyZCogNX$MyTy^1BoF0Ke#c?TDcuHVL$K$q>{ilPC#xVO=U+n6D@c5%hfUOSj^ z_Pe+&NH75NI@Xs^1#^Nxuzw>2gUEj)6ob%zBMgJsS2t!X9D|6ard?d1C;=D(5l1#1 z(&J^|6M&!yFbEyPjEB4h1_9AMSb)Ib=s#G10l{b~77W0lNOS-T9s(bV1Yj&;B>)tP zKE?v}tCR>U2Eb4t`XLq|NF@3t7GMxKdIbw`BoxiUhKYwEAz-vI8%6>kf#@_WfWS!f zCoF&wa5O192B2UlS`7;@1Q;EO1q2v~{=kljha=%g^fgujg5YR42L?cJDB1@L5D*w$ zg9RuYh~CEn9Ed~`N@bFbbFl18|Ju$%C;CKw_jy ztOUSF+gJc$6dqm-fH8_S7N8g<2MaKaGK&QSMxo`y#AA{n(YkyX35byruz>M|9>4+w zquk=h02HIhVF8X&LijOZAOuEg!b$*)^bHGG+Y$m8z}j}j0@ijJ7O=M0v4FMBA&7|w zV{MxYVkE3>G#0S7r?7yvO(}!{tZhv!U~R`>0c*QQ2osNaG!p#>D`9O*3FGmh5HQT# z#Qr!vI7zU7fnX@6l)p3p2!TNStwDjnf5u{}|K~XHKVsoHlb${FsViP$XvE{*Q>&fB*#cl>MI? z5&;7LQ-k~+3jzQje|HA6DiMDh1OcEZkDU}hZbA4#A9=s%J`fzW@%LP48GD-T&|ohJz6Zw7D3bJW3G> zMJgyO0#y`XN|=eP0)Z$(lwqn!6|f3K1p)`jl1Tr*LpUu-B$Pevm7E;yU48uAIVBJZ zU<3>VLqGsZaAjpBhyqYq5e7vlDFNUR1!V|;L{^r>$Jf@|H;~%f@c{`C42MI3Bz$}- Ix~e4q1writeSdf(filename, corner, sdf_divider, digits, gzip, + sta->writeSdf(filename, corner, divider, include_typ, digits, gzip, no_timestamp, no_version); } diff --git a/sdf/Sdf.tcl b/sdf/Sdf.tcl index 1cd1c89c..3d3422b4 100644 --- a/sdf/Sdf.tcl +++ b/sdf/Sdf.tcl @@ -140,13 +140,13 @@ proc_redirect report_annotated_check { } define_cmd_args "write_sdf" \ - {[-corner corner_name] [-divider /|.] [-digits digits]\ - [-gzip] [-no_timestamp] [-no_version] filename} + {[-corner corner_name] [-divider /|.] [-include_typ]\ + [-digits digits] [-gzip] [-no_timestamp] [-no_version] filename} proc_redirect write_sdf { parse_key_args "write_sdf" args \ keys {-corner -divider -digits -significant_digits} \ - flags {-gzip -no_timestamp -no_version} + flags {-include_typ -gzip -no_timestamp -no_version} check_argc_eq1 "write_sdf" $args set corner [parse_corner keys] set filename [file nativename [lindex $args 0]] @@ -160,16 +160,14 @@ proc_redirect write_sdf { set digits 3 if [info exists keys(-digits)] { set digits $keys(-digits) + check_positive_integer "-digits" $digits } - if [info exists keys(-significant_digits)] { - set digits $keys(-significant_digits) - } - check_positive_integer "-digits" $digits + set include_typ [info exists flags(-include_typ)] set no_timestamp [info exists flags(-no_timestamp)] set no_version [info exists flags(-no_version)] set gzip [info exists flags(-gzip)] - write_sdf_cmd $filename $corner $divider $digits $gzip \ + write_sdf_cmd $filename $corner $divider $include_typ $digits $gzip \ $no_timestamp $no_version } diff --git a/sdf/SdfWriter.cc b/sdf/SdfWriter.cc index 98e28cdd..f38aa334 100644 --- a/sdf/SdfWriter.cc +++ b/sdf/SdfWriter.cc @@ -47,7 +47,8 @@ public: void write(const char *filename, Corner *corner, char sdf_divider, - int digits, + bool include_typ, + int digits, bool gzip, bool no_timestamp, bool no_version); @@ -94,10 +95,10 @@ protected: float min_period); const char *sdfEdge(const Transition *tr); void writeArcDelays(Edge *edge); - void writeSdfTuple(RiseFallMinMax &delays, - RiseFall *rf); - void writeSdfTuple(float min_delay, - float max_delay); + void writeSdfTriple(RiseFallMinMax &delays, + RiseFall *rf); + void writeSdfTriple(float min, + float max); void writeSdfDelay(double delay); char *sdfPortName(const Pin *pin); char *sdfPathName(const Pin *pin); @@ -108,6 +109,7 @@ private: DISALLOW_COPY_AND_ASSIGN(SdfWriter); char sdf_divider_; + bool include_typ_; float timescale_; char sdf_escape_; @@ -124,6 +126,7 @@ void writeSdf(const char *filename, Corner *corner, char sdf_divider, + bool include_typ, int digits, bool gzip, bool no_timestamp, @@ -131,7 +134,7 @@ writeSdf(const char *filename, StaState *sta) { SdfWriter writer(sta); - writer.write(filename, corner, sdf_divider, digits, gzip, + writer.write(filename, corner, sdf_divider, include_typ, digits, gzip, no_timestamp, no_version); } @@ -152,12 +155,14 @@ void SdfWriter::write(const char *filename, Corner *corner, char sdf_divider, + bool include_typ, int digits, bool gzip, bool no_timestamp, bool no_version) { sdf_divider_ = sdf_divider; + include_typ_ = include_typ; if (delay_format_ == nullptr) delay_format_ = new char[10]; sprintf(delay_format_, "%%.%df", digits); @@ -428,45 +433,49 @@ SdfWriter::writeArcDelays(Edge *edge) if (delays.hasValue(RiseFall::rise(), MinMax::min()) && delays.hasValue(RiseFall::fall(), MinMax::min())) { // Rise and fall. - writeSdfTuple(delays, RiseFall::rise()); + writeSdfTriple(delays, RiseFall::rise()); // Merge rise/fall values if they are the same. if (!(fuzzyEqual(delays.value(RiseFall::rise(), MinMax::min()), delays.value(RiseFall::fall(), MinMax::min())) && fuzzyEqual(delays.value(RiseFall::rise(), MinMax::max()), delays.value(RiseFall::fall(),MinMax::max())))) { gzprintf(stream_, " "); - writeSdfTuple(delays, RiseFall::fall()); + writeSdfTriple(delays, RiseFall::fall()); } } else if (delays.hasValue(RiseFall::rise(), MinMax::min())) // Rise only. - writeSdfTuple(delays, RiseFall::rise()); + writeSdfTriple(delays, RiseFall::rise()); else if (delays.hasValue(RiseFall::fall(), MinMax::min())) { // Fall only. gzprintf(stream_, "() "); - writeSdfTuple(delays, RiseFall::fall()); + writeSdfTriple(delays, RiseFall::fall()); } } void -SdfWriter::writeSdfTuple(RiseFallMinMax &delays, - RiseFall *rf) +SdfWriter::writeSdfTriple(RiseFallMinMax &delays, + RiseFall *rf) { - gzprintf(stream_, "("); - writeSdfDelay(delays.value(rf, MinMax::min())); - gzprintf(stream_, "::"); - writeSdfDelay(delays.value(rf, MinMax::max())); - gzprintf(stream_, ")"); + float min = delays.value(rf, MinMax::min()); + float max = delays.value(rf, MinMax::max()); + writeSdfTriple(min, max); } void -SdfWriter::writeSdfTuple(float min_delay, - float max_delay) +SdfWriter::writeSdfTriple(float min, + float max) { gzprintf(stream_, "("); - writeSdfDelay(min_delay); - gzprintf(stream_, "::"); - writeSdfDelay(max_delay); + writeSdfDelay(min); + if (include_typ_) { + gzprintf(stream_, ":"); + writeSdfDelay((min + max) / 2.0); + gzprintf(stream_, ":"); + } + else + gzprintf(stream_, "::"); + writeSdfDelay(max); gzprintf(stream_, ")"); } @@ -677,7 +686,7 @@ SdfWriter::writeCheck(Edge *edge, ArcDelay min_delay = graph_->arcDelay(edge, arc, arc_delay_min_index_); ArcDelay max_delay = graph_->arcDelay(edge, arc, arc_delay_max_index_); - writeSdfTuple(delayAsFloat(min_delay), delayAsFloat(max_delay)); + writeSdfTriple(delayAsFloat(min_delay), delayAsFloat(max_delay)); gzprintf(stream_, ")\n"); } @@ -691,7 +700,7 @@ SdfWriter::writeWidthCheck(const Pin *pin, gzprintf(stream_, " (WIDTH (%s %s) ", sdfEdge(hi_low->asTransition()), sdfPortName(pin)); - writeSdfTuple(min_width, max_width); + writeSdfTriple(min_width, max_width); gzprintf(stream_, ")\n"); } @@ -701,7 +710,7 @@ SdfWriter::writePeriodCheck(const Pin *pin, { gzprintf(stream_, " (PERIOD %s ", sdfPortName(pin)); - writeSdfTuple(min_period, min_period); + writeSdfTriple(min_period, min_period); gzprintf(stream_, ")\n"); } diff --git a/sdf/SdfWriter.hh b/sdf/SdfWriter.hh index 098da8b9..fde76878 100644 --- a/sdf/SdfWriter.hh +++ b/sdf/SdfWriter.hh @@ -24,7 +24,8 @@ class Corner; void writeSdf(const char *filename, Corner *corner, - char sdf_divider, + char divider, + bool include_typ, int digits, bool gzip, bool no_timestamp, diff --git a/search/Sta.cc b/search/Sta.cc index 717afd46..61ffb7c4 100644 --- a/search/Sta.cc +++ b/search/Sta.cc @@ -3524,15 +3524,16 @@ Sta::setAnnotatedSlew(Vertex *vertex, void Sta::writeSdf(const char *filename, Corner *corner, - char sdf_divider, - int digits, + char divider, + bool include_typ, + int digits, bool gzip, bool no_timestamp, bool no_version) { findDelays(); - sta::writeSdf(filename, corner, sdf_divider, digits, gzip, no_timestamp, - no_version, this); + sta::writeSdf(filename, corner, divider, include_typ, digits, gzip, + no_timestamp, no_version, this); } void