From 4b837931d98d956cf521d1d78a4830f6c5e4c97f Mon Sep 17 00:00:00 2001 From: dbischof90 Date: Wed, 12 Jul 2017 17:17:55 +0200 Subject: [PATCH] Readme update --- README.md | 2 +- examples/simulate_cir.py | 12 ++++++------ misc/cirpaths.png | Bin 0 -> 58291 bytes 3 files changed, 7 insertions(+), 7 deletions(-) create mode 100644 misc/cirpaths.png diff --git a/README.md b/README.md index 3d6d699..fb2882e 100644 --- a/README.md +++ b/README.md @@ -2,5 +2,5 @@ ###### A library to estimate and simulate Stochastic Differential Equations. This library is a collection of statistical methods to simulate and estimate non-deterministic differential equations. Inference of SDEs is a topic I personally find very interesting but while the tools for their deterministic counterparts are well-developed (and especially well-implemented), stochastic differential equations lack a common tool set in Python. - +![Alt text](misc/cirpaths.png?raw=true) Currently implemented are strong schemes with different properties and besides the Euler scheme they all have first-order convergence. diff --git a/examples/simulate_cir.py b/examples/simulate_cir.py index 5ccf809..3ded3c4 100644 --- a/examples/simulate_cir.py +++ b/examples/simulate_cir.py @@ -15,16 +15,16 @@ def cir_diffusion(x, c): return np.sqrt(x) * c -cir_process = SDE(cir_drift, cir_diffusion, timerange=[0,10]) +cir_process = SDE(cir_drift, cir_diffusion, timerange=[0,2]) -euler_path = np.zeros([100, 2001]) -platen_path = np.zeros([100, 2001]) +euler_path = np.zeros([10, 2001]) +platen_path = np.zeros([10, 2001]) print("Run time estimation between Euler and Platen discretization of an CIR process.") -parameter = {'a': 2, 'b': 0.5, 'c' : 0.2} +parameter = {'a': 2, 'b': 2.5, 'c' : 0.2} t = time() -for i in range(100): +for i in range(10): tmp = [] for path in Euler(cir_process, parameter, steps = 2000): tmp.append(path) @@ -32,7 +32,7 @@ def cir_diffusion(x, c): print("Euler: " + str(time() - t)) t = time() -for i in range(100): +for i in range(10): tmp = [] for path in Platen(cir_process, parameter, steps = 2000): tmp.append(path) diff --git a/misc/cirpaths.png b/misc/cirpaths.png new file mode 100644 index 0000000000000000000000000000000000000000..671b824425d3f47ce9bed1ad5e319b8f34205aa6 GIT binary patch literal 58291 zcmeFZWmHvP^ftQbE~PsZly0P35kZjd?(R-0X%LW-l9Ddz?(S4N1f`Mgcb(t=eaF4y zez~9Sx9b=V4~Kou-fONI&-2W=3|D;r1`C}O9fBaNw=z;n5Ck6pL2zrR$lx8G$)zpu z52CZgTNPCB#|PEq6Zjd;K}ORVf^ZCBf8oB17Ft3OHS|_WT*c$-{<6Dn zKHIsc+y49x9uW!e$~Ti?Ji+_0k&l66AePJTO$V_tbug|3Dot&uxGG-&>{W1!CO-58 z_F{(f|9|oSY6PW-a^2={nl)ys%b1YZ`}f#=Q6vZq3=F7<@N((AWyR@Ij6Z+YnA6~* zI$Z2)mNT=n<5E&ms?O0%$c&1?Q5U(@+5ChL6zdR&XgRR>i;K|v;8NvFjF&w9SRx5~I5JTA7fvU2OuQzD`;Bn-li?rsDY?Yhz) z!uHJRLWNx2X1A;DbbH48TEE)^z9=$2?3kFCtE{Qu5hjAO2zB#mK`?xu&%DIR9sI{X;g#Z#guH35D~Lo z_vWAg4&%O#u`z5W_41w^$uM@Ko==Q+y1nmYWhD~mrf|A?(^bEbGew6L)?aCiN zq{PIa!4|-ybLvAy}= z)`-Z+PW_FIjVb)j^n5By-#^gZ0cS9XI{8HhuCtt`UukW-Jro4aN-pRoS5arFq=3}m z^7o0^ND3SZ3Q9_9>iYfV>Ki8~&WduSqMp0!)AfxFc;F5$dvjQqN2_6BVJJtfkl5?j z$Y4o*tywqcd&YmK@)a4AbSOq?{;HO!bq)_>7*!F2i&3&y-PeJ^LD~z*&woBLIy#yA z21lpWt9B_%($n>Di3B>{8hl#jT&R%sdS@)d(98_k+S(eEm>t5y!)p=v`SWKAuPv#N zkPuilSo}nZI@?m4Z+gk;pGi7QQf}1u@81K~_%A;(4kF_9Z1Pjh2ZC1HvUB2%(V-?UI9yB1b9 zHk`uu84}5?x{4seIYpiOh{2_?T;^kIHRB?Z!(Uh&H+s-U(s(ecs;aKQJ>b57+(SUY zHUMe#&uj_N($W$xAz>)UJO5pO1VYWH?6X{^5DADKSl+>X`ZNgG)o?2B?Lw^F&rd{2%X$G6da2!FIJ>ZD0_SkQm>HAp1qyR+ROO5(G!VrNU#bB+6B8hmeg>yJ&A8XOnu?WySH(}KZY zY91Z}A~roKDJjGi&m9VUeEbgJE}W^D2@DFM2?FD%S; zKUyIcaCz}Mia1c%`@-Pv>I64jN(*lGn{*`glknr!#|I+t1+?*~pnUw9$U*q`?;pGA z5dOl?pN4yLWq(%NMK2B(!$2CLg0dA~Ow`-!e-&^=?+(N12N^m(BO`ik%^)}|tQ*8D zgo}?K43hj>f`UjV@EcqTifDbmYb5u>rOy0!$p$7S!FhSluCA{;J3HZO%*R7(Yk5Ga zaaiksD=!1@5px(JdY%0V1lPhtw6wGif2W=UzdKKQ6h`wjjf%4}JKY||gfP(13bwRW&>YCaPVLFSD>xvV+lvDoO>uEJ>(w@4Ekj?H)kyq=OzW;qMRM{IzbUK8B zLpg#759fV%#i33}MKx|?YpYqI*P0?nZ~S;Y?ymv7Nz=^CEVbe(1;r>-`Fl9o*>v|v z9F*czrJ}7Nkj}<}C1{2R1`MJ&zQo0KU}9nY>em?T%#%r=x{PTLLg)?5JCsW9?E2+1)mjeR>V=n(4 zQTaabWK2lVc^gxm*Xzt;`|wb2_nv35!JrfV%h#_XPo6wk2*DuINawXBhU(mp^z`n( zuxN9JOLZwJD>qidmW_abz-u-0qI_g%C_?`0tE!&)R_C3VvD-b#`_nq3Ui5M~`UFQ? zrWY>^q6mChfw`t{$`#Uiqu~sQSasHhs%vUe3kw-ekB`?L6c&D1K1JwIE7vKS#Xi6M z+ZBQVcB;x4<>>BYv)}VKFsBK$5KYD>>tnB6_}=u(moIXx$;mr(GuBUKjgl zp!zg4HX2?Xue0;<^>+rLzzQf7puxPojqnm5J+GjkYiWr*nv`b)OFgM~Y3VCpnC!DB zIkt;+pCTeQhDyuIPBwZmK-A^x9Ib;)>EPtFF{;VU$=L<`IW8d~$a!ZhY0u9JRE4F} zkrBDPyu1#OA3l8ekdNJ66gJ_4b^m3?FGumyOXY&&A&^zj`iLK{cc{uo1_#mFA8wdF z1_ezvI-3WFh8lqa0H6T#xb`$B$R41W9yWk)SA2o*adY+(S_9z~H~c$=-4On$X)uAo zdf6JJu|G?VTsAf~ai2eT3B%SKA`y7HGk&^@L&_~v!cbRw^id+G16AKsO~Pz|v2 z;OK8B2ZuGagD)2=vz;1lZgqMUr)Pha8yXrckfNT~`U8jiGhK*NuHPOrF8W9=>~*%5 zq456wYY7SX%Ynhcmo-?uVa2nO>AU_^u4KFO72_r5*48CFm^T1}kc;|}gR0o_21GvG z_ibyde`jYiRtlP{AzND}Tfcwje8_#RHSgu^Em@?p0g|3+oBil*(nV@Cg&-lY$SbEU z)B=U97*LGMxJ7oyzvuDh=jBlYb3v6hKRIE!d2|#Dcz7?UFrNOHo?c!?piEvJ)UO)Y z+v9+0cXzW_;q^Gu*wD~1G7_ae2lxauk#gqH#w6+(L^dmkB3{dj;B4`fS7QP#Agx z2ulQ@8n9lSScTxYA#p%t>VDPPMrI0oe*+$Nd~q>{{tbpKM^ZQtbemi{LFs`NdPEeI zT+8W#7PNa)JoFHO;nY4_6tF)+9>);CV-f%=RQf;q0Z;oIooDm%5cvO}$y^jAC8bKI z-?DcAilSm;_nrNnhRdG0)NA+iB_<`MWo9l_`t>C(Edqcpctw`dmn&a*ZGUzA{F&mv!xEKTt9M2)$^*})KON%Y#AIZ9Eq%+&6ae7`f%1b?86O|Nbp1~Nco*15Y$}nF zJql$U^`t&PK$e@``$43f++90^Y@4LD3O+|eLo+ZowtWu&W#$3I6Rn^i*}E^yoghRj zt!5d)h6V|?1BS7+v*X;KCYe_uyByjdOLgiM1!_sHnv<8OCk+Eb*xre^YQ8TKIXSt3 zl~n{t`4+lFBqV4E2tk~p?()CyN4Cc@B0&u>0_jNyC-H`hu}B`|k`_IFb8~aK6m~cO zBgH`3gTW)8+k^V0Z!e(ZlaoMzXaP_Q8%}0}fh&!AI|@QJJsqptjg5`C^z>oxR!~6U z1M~#58=9MwuSB?4OOlg`07Vb&>XHBu?r%#n_*p_iVxr3UP3y-|w}W3fFa`^Zce0b^ zzmXd&(gm(&Hya^_ir4r3?r(DR+x-BYfu--c3jNrM_6Mz!u(Y_L*TMmLeNWIsv|7ag zKa{qyVXlz7kEExg+f34D;^9ehXMPes0k|1^pX}GCh!DWjupDCFTdc#{zdKuEXlIA5 zufOV4FTG4xaJ|CC#Ra47t>upZ({>Pd1F&7{jCwIwrmd4k>iTgVpsx`19q?|j81)(w zB5;gu;DRS0B8&k_AQtg?1+3D4?}QQ%Lm~Lhd^~e0mlnPQ#CHd9FD9(_C%g#7D`mjJ z*8ncp+TrBnq)r|l_Gztd!;r|q_4D(40L&i}w( z1qQ;|%lvre)JVQJU$GN|fsS73ckcyKc{adirh2PD0nlmp%cx&`YiGyGYqJ31;NY+( zZ-e{;%Hp?E@9c-4BmnW^qazWrXyw&p?2a=E3+wJZlDaB+o_n)Cw6e3aivc9*>5A%^ z0Ao=afcNwQxN!nFc(!C1HYx^2H?YSKKXKrdoxgsO0w5d|5`qM%;W5xtcE9SYJP{QY zeZ|k81Dwgh#RUe){jPr#fh;*&ukC^zAcD-FEP(EOW2dEYn39UrN`1X-a zg)}c-pz`zcFElvPJ$r(-vAH?i(gyB*1!x?HVHYB|-BL>Z(*d9XIbIzbmJ<~Me}ZWO zF#k_UA^u@82@kCJpR8f~i<>p+HE{aASgKgNcl4k_JdHK()d_4Us6LanaS$(W!L#s|211R#sr-O+r$#3cP&cy~{nCDNH8leh8CS z3glAZfna5`+(a-rIl0j8FM26V#$$zFXS*0m!ezDwHV6i$oSdEUo;>*os+0k!TA+?e z10?f>Sre9DVN7LU05z6UxC?-Y6TrL;kJmb3Zai1283dz5dU|>w>Ggrf2l zixLN7Pm}u*wz|5yknatCiF(CrKvx^D!-HEssMg-4#Hr`MfBc{|gw&^EX<#OtjO5d}4MRgiTN2s9TLQ{n_zJx+bHl*9nYnp? zj}gb|zkfzGW}{O~y>E?-Xm7U?6jEASg`b8?jr8}wF_%sImlw$IbH#4G(!$Th%WDQi zL>nNq==_QV!c^;_Bfx7HfXj1&5HvF}=>gDE11xs|BoNQPt^l3?1TNj^g+{dN)9W3H@Zy8f96yaxi44(Su!gAdb}%?`I0w%bQX<3Q_4 zEh>5m!jG)k=h`XtD8I$hz@;{xqYoYdAyx6kR{ky;AcGWwZYBVbk4#N{2C_%&a=U+) zAX~!VLaAnr2GGM`&kGWzG2luDKr>w5m6DdO0<|>J)6zF~$fo9I z=K$oyQjiix78X(f=c@rpRC;GeNvSv$L|i4{6kI@FGPAK60nlYQhElj#m5q%pb~HmU z89*yeIy$=Tt*stpK>ps1cM}_v@!A-GU^0R|U{}}2>#M6uwzjK}FdEjU^7w`Bb(8_n zDop`bef#Xm9H7^3r`z&}lptb^L4K8^jb{hUZFjD0_~XZq8bAO_&BCBb67N`G8cC!N zjUf^29V`d2WwQC zyxqzF-mmw*w6pnHjRcBJD1hCpdM%%Ta?v$Djsq-Oy1R`hF+lbPj+!Q~59U6wPzQL@ z#MIOgLvl#=EztUT2u9(a!5RTYrWV-LG~ksCizN8K|KmlZm>z%>Qb3so3M-?Hs3xpU zpu*Zm3>*vygG!doxUB~-ARjD8N5|j4eq_M<3HGr&<5}Iav$e(PAD+X0x9cmMCF-wN zKDvkozF*0;y1II8d;3E6wrn2Ifi~px$_gO4AO*ng&7+)NXg@m^Xb-zloK_UP*#Eo; z{r~s{fkfuls65q@IL|+dKrhBsLhdfMgTN!Ct$)~IT{>;it~XpiLdi+ukxSz#>r%s$ zaLIwgUKx*5n(Y5XfR1CLzDLmGNyv&zc7WyRVHjinU93;`X{$WOstd*a zhJy|P8?=1c-|UZX*t&f(&XhmJw?HcKN#q3tw&S0cQ-vGhfuRC$CsEI+9vb zUZKUyr_tK(&GAjWmyr4S-z}8r>67WaI>e-KNWRUc7mf@gKr&|jXbADBkO7y?_c>wN zbOsqz&zk>z@z3tCIAJfupZBOQl$1SpX5g{|i(XbNo$Pu3_KGfDGZ4BseX}x}UNNsB zA(Q&QKl8UcY{}Wvi4ziwPYQ|hy;Z!r3Xc$B^ek=2^yF<8q79Gv6m$Kn>)b2W%lnL?wwD|j3 zyg1UxOwqs_rJr5sJ_~Cg_a=FH{Ze%~ku>~2tK>7v$w}>oVl7n(aiFo$%fFtR%+*N^ zOeN_#-?P@Wo-89fdd2W8@6UAz#(;ny{Ln}E9!#pv5(Wj?;_urDR=aDtL8$0xUE9Z_ z|JQduH;P)XvRBvBe8>@DpXuY!-N0dqGc1?HWkXMN7^5z7`cAbFr84+ zs;f6JYY$QEthPq(ConV`|4d-enpcEmHk>!$AUi@k)uqpAMOugf0H%uriO0au5DxGP zpcQQd#8 z?&mD$EjiIxd~et{*TkQVunj#;aX$R2=1U4sPg0Eu1w=0tL})8+|0m?WIR>PM}YE1R>6K&>!sr;tGPWEz;B zK5^OV_qZ4=jFWzIIy4P%^hGKcE-}%;Kf}xG9f70GI!6R%o`(k3aL4HaDBvsZ!?ELq zXn*4lFO@H1K>KdWj7SuR$q*+TG-tHOXeU2vqA`m#(GQcE`auUKP>Qy*OuK#pRN0LA zg*0Iq%D-a6k-CC2;{W5-`vDd3^aRTMR5S(r}a?YDh6H} zj!;(@5lQ(#z}Qv}&cO6Lp>RO2saf#@;|t2Iq-}sV`j6MU4b_+xW?`*C(8&Oe8CYYl zsQ1ZNtIvZb14Ba_!XUj1OkqBNu!)DumkYf@!uat~6skPF49f{Zs3;vPR&_|>l|P!t z|Mi6u`sH_qH=_UWVH_Quy473VTv$y}%oEb6!WTDwQd3h~ z>K=`zFL)whg)HqQFjZ$G-8ZHyFpgns*?H8h`hmG_=LZ)HN=F>pqM|yi+_j{E^bvalo=ND1{U>Q;#90**-V_ zm-PrKo}cxOW(M6=vX^Jl(jip8iTyxKgrX@Y*SILQ;>V%MvEU}$8f23g`O}FP&R=lf@{L&Jb{c=mD2PLjb>JRPV~{@ zJkvDm6yLG$&UuscEb1{bbW|9hmP0aQp#Tm@fUA^wZnA#dESvD79W@w}0aDqn72F>t*o z4p>teQ1BkWYSyovzEz7{94=#|%7w<$z4@Yf2{djQdHIlz2^6+qfa!od z9TyiD0CcbNvF{&p*@22tW)0de?wI7SaNT-8CjuO10FZiv*Eu7s&9FQ364n$15HYO1 z-9Nvb0pJ#NPd>YUF+4j(fYebzxbunEC!8d_FBDWi2?9sw5h8T*CUAaH6u=jN*@ZQ4ZfD!R^v1%_;B6dMnDVlCj zWg@$dLIXCW;b@J7FT336$kbg^Y7Pb5%$-{jrO3X90n{1VA#zpw)WE)Snb$EfOU}*7 zr^O{{1GU(sIHAe(>8E-??9ChSxI3?X;<>IpCbgyde z%4fepQTTA-9qy{>M|s)8PV-^!?ljv`X0eIDa?xEy2caa@d+_qd(B0B~MCQ?@q?KQ> z8bz%&nzZnzP02pV!Ni6vw=5=WvsFw8H~DE8sB~iGiKpe`amAqS^cHVzH3GG(_v~*= zYxdjT|IoQrWeSaCT$M8sr(02||7ep-=xt0I-WD;xV7I0-(<@2CaMvVHX*h$S;ZY=) zK@ra<3O5(O;XA*c?%)X;)8q5=Ki5-M78>;Urds!XlXm4~NSn!3FI_#QU$BkX8;_-~ zw&OUryRmxzqs_=GL4=3f`;*z;3Wq-&{_8Pbs0&&)SOtn}Kh2Hf?#CTX9;7jR7!gdz zo&j2uHx@x)FP)YgVRZi>h8m3g>2~8CzKH(^BjHhq{c(X($|OQr@_kPK3MCZKJm_A#o3~X+O;f+`ndJWY@HnR8 zxlVU>Xi&qZN>Q=brtEP#yMsoUIh?i=KW&UduD6nBT*4io1o* z69uB?VEL8WyF8WQu50DT=yh;_#J`ENvr7k(2Ea#B60V+X~20pRUe+deQVz!ttx4eBWsz<%qw?mb7t|3MLTq$ zU^K4r5jxTt3&AjueV%xIJ<#k_J2F4e>Hrr}S{h+}rfufk<92vW|0qv9Yl820_`s!p zA)U?!eOJ4&5&)5s+PPXT((Lj@Ke|0a;k{26Md4Nnyob88x=eQ$9E8ksjPs=)=^PBi z$)M%oP|@x!a4eu8IkrmMV-%=t{O!+GBqqb~RN~b6;#Z;i=H{rq#dt7TzpZGy^#k&D zF;w}((~H0NA~H6ElK>>3(rmG#`N3viGD6+vHrc1Ej6}w48y;tlK0hzsX?$Y-v3=yJ z>20V+_Tb>I8`-o}i`Izdz^Q!RMA+`8lJEf+qxaKbgt(eGp_;31$Wqtm`rYPa9~@xu z1=2;@W@<9XfTmh(D2)eF@!tYX8DWrpzXj1UVNBkmP`fUB3GGi*6{qJu7kq^nQdI>7 zly3IB&V9%$s`Gv7>GjRggLq#A%}06EJ9nm4ikS^Zu6#Gz2z_}mS@YsxSeT9S&XWG? z-1CRM3jM-V`{)yzO~*fjGZzph=$`6p$0-H&{br{E3p69OvN_o0im@&UTUNx0h(rTM84n zj^7Q#4GAtNsYt0%z&7@%p_Pf&MlBWZL!39O@<80nVX25jD#%O2>rczv_$1NeVo~rV zPS}T(#9;Y{^ogaMMm6Cb739SdoQBP`wtr2G|E;R`5Bf%;=FfaR_mSA)S&af<4o$zQ(Fe+t7yjv;TeVNFBb2ci$}n?Md^I-ifYi z%cq%dZi7iqQ8(uJ8%`>x`=wH9`FeX+>*zVzFXoLT?BJFDslcrf*|v3bVPi~=mZgtb zn=iYqXEIH38L)Epf9j*VN+Rx7Aj6l@Eg#~sn9Jv~AC^$6f=Lu{MlLM$6Scl61^Wi7 zIEI~14@{Z}irDoo-E_fl(9%Vbh+l&=@$4R3BWu*p!PI?wC2Uj_* zIz(t8h7zkDYY&J4Y`bQC!@nIg@a;#$({vpufuUlbo9#WxE^>FBOsIXz?rhNHne zEl>ur2Ag87`s`LoG2jO#h}g-P0mv_qbAhamaJQnsy2Vm9C&|76UVrP~ZCtIB4V_ ziHN}PW8;S%_h(5#Fi`aJwJ@U1i};RGUqMLh@EYUOp(r%Sq)zL$tFlF~C@)dWu|>q^ z?Ur9Ff6?$gY*OzH{AN_^tw;ZbGQGN%_6j|G{3q|sHgBRtHupKPPGY1x$aoFhPw#Itz-3c`e zX`qh7({Y;AvZ2-#D#Dmx`*wukadj-b_R<9J2Y5!wfoa?y%aerGN9DcWN+KPE9|QuX z5X1zZHmiHF5E;KQIa~@!#3IWX7}**kF$P69MQISJ*VT{t*E@}j^r}F41R2h&?sl=C zmYxH9|G}<^_=gfL6T_`-bTFd(eBS#QSL{P<9KGjfD|c*9F9FKiYsYZgTv6gY)p~BZ z9I=&y#kj)!z`@@yJaW8Pa>|PPd(F1`b(V<|YQ1l5tlpAh<*N({^Eo+hhMt75B}lci z4zIKt{%YcZsE>vSwshJ`YcjnK^E(DmvAGJmFS>CILFP>S`BTdq7a?GOl5T)f^^Vth zdi?zkg?&TeuQ^u90xgmU+d}&ft4$&m@85-e@mg-q#SmpP3-d;j(fL6P^F7l80jN0V z5a37E)^BfO9N?P3q;(}p(aq*tQa6R!Iz6)Es#;N~W1y8)>b%w9R~?Jg`EH;JB}}o+ zBlavVu9whhhXX@oyA;CTYV^(m;09XVC_>ouEHZ{~Ztb^Lo5T8bo5kZt6p}t-Q^Z%>32XR?Aolg)dU`-m@SJqF+dm@=Dbld86GHYGleD86P&iClbzBS; z!5ju;CvCNB-%jWDFL7$o*cK~L3<7aHU1$5Qj7<24QP9~2KMmZPRu>O*Lp5Z1U3}!G zU0A18;&6TdcUFC|L2)Upc6L7ofImd7@II7Vh#aUOxR<7riKv0`cv0y*NFXAXL%VvO zEu=4Wp9dD}@^**juEf(htk%Iq#)^wLby(vdPi+_nOL`m6FQAa$2Nl}5Id7y9>wi3P z5AxtJgjeFTnQ5{gs%WP*`@_CsrNd)slDBd&EacPhC$s&#T6P2(PjFxrN5Ho;hThrb zy4u$a{;XquQ&PmT&$NCMq`uA*x}3Um$NR!@S?PhEHBXR4l3(Mq+U*<1#gB;FG1h~9 z-+FU8miz@lF`-0ya-vifJIJuS&;8Ey_@(zn#Hlc;_@c-|n96npl+kh48q9lC&#!oie-4qP0 znjZ%US!kl8f;UW`80rd(02taQpZ;%HPF0uz0DH@WftE|29CW?@+g8^G>_I!-P``$0tiW)$%)@g{9N#HN%lc zMzDrT1*Od!-_pG&9{VduHLSW2bmF}8aqxG3-4Vd#asJBQlMrNQj?S|fPjwQ5@y!JX zZjKj-4bSav)jkA+sq8f3OBU^j_ZB1FTrUhM3mg;Zmk8aOKF78f&)lg%#j~}}tFtS& z3)8#j^~gWCs=6b}nW%kmv7ky+4+V2!$K2NrDIyu^)!An2^Y2Q^RomMtmRY}v{?D@; z`bea@M)B04Pn%Fb=`{VRbf}T}UACNwn=2^3hD&bo$7E9<5T`yZEjJolZXuKj1X!tl zr)@s7-9e<~XcsOhV0U3eM~}QjouhXX7iUkDS##ZZ)$*P^EKoz|LfZ6&%6FwY88a*Y za@Kbdb)HO?WBHn4*h|jZ(R!?s=H?n_isvnZPZNe_3rasSOPRmk6G~=OMGDZ}bqSPt z(Pj2H+H%?#+SkO&RR6J1p;2reh<6!+V>5zhMEgN~R!JC`m>wlQ!Z?)Q<9PAz|HqrQ z-kLsk5q#lHw3=;iS4;JZNm)c*9`t4La$yrtw77%{?yniX-JHLf34qhunJMBzq^D;; zDsNpaHqBZAlFWGRj=rjT(RES7@y5roq_QTN0tLx?XLA}S_prbszerNq)6;{jNk4OM zAsO!utaXHd>APzSk5l9kLH9Y&jBVV?cq#bg-@^uctf-&=POnvOpm;pE;sQ}8^nDBj zc^XYpJ>v|)6z>$j`g@`9yw3Vhe9oUob^jidK8p3;n;lLQ2F=qHGoAl7@S;mc?km9%h{=GW5_siHGmEJsN z=Wg=DdM%*VEFhNxh5eldFrEKy#K0g-L4YX;ej=Xu3nQs z4Lxhy%T2pq7tMuzh!JV=_8H{2lC;4<```~tTw;>WVg)MV_7OJAt?%d%hW-V_=b?Dj%;VPEle+dnvJMHkxJ6Z_* z%4Mzs7#Sae^l6FgyFDWVvjXSuWdad$kv)NLP%62c7}VXkcVFDhdDl4i{QE8aS99k2 zROsR`kdvXXCxrL?st-axTiZnQ<>bVNWrP$|OOt2c!m#=`n~*vTX5Ih#?fSYn9&|Nt zzwW|1^gNz6fI8Obg7A0+FvUKAwA|v?O^VZ9*+-Dz3~Ol}Hl7cgY^DhZbQ#?;>>16K zQ<&i4EzvUmGyBikdA^~v;Xod|RzHfxUIceFKDCy;JaMD6VI)cXBLrX<5`%ARc+sN&Gl3&H}@}_#M>IExB1>8XN?(CSspOdV8 zY<>GX_dy-(oaxpd)c7!z-7Gw88VLZ- zu!E7UHJ;0=viEk+clEBnCME|vkJp~wsTOQbf__?4sIh)>d=DH18WoKu1JJ})s@2#g zp#EC(&vq;eHQ@rxHOHxy2O17m_M`M|?N_To4}4fqZQPyP`%-tdD*rj=!H}OV&>G3< z6*fXU2h*kh0}6^;TUJRVP2Zwpj6L7k!-kaqDLd@`eR;T`RqCCbGM~?X00&_*t2ooxA|R}@ zJ0tJjyDH9`Zm~#$zI~jQcxLJSur?P9M)vL`7bDH3{@c=X+a;kA(BmauDybxLll2%v6&_49>K?z09e;k@D3{x0PWXEkuZHw#?^2=5x z0ced_KsH-O{&y0Os?0Ht5^i!g4)j}=-;RE1#xrZ{&ZK;l@(U#{X`*oSy6Ow(Yk#?- z_6p>_zRJhDQ&~@WrITW5oVCx--%S+AlWAyZh|$IytaSu>9E-VQv($p~8{fB$EQF#W zM;C!M?f-a71tydXjf_5mDcz09Tt3lppw3^r9K1J}`X){ABbdtLmqJR1p!)L1_OeGi z>1K)p2ik4K3L)LJF(iMe@@CA6HD!=>;I#>@np)|#u1+iIu#wZ0I2hIq zW*8mMcU58IYn7F->BWIjmiw?@Q&UgCX`ZFczse6f5nxVn9n8e_fq@{0gI_%0C|f5u zVxv^_gA??<^Uw#L{&*^y&OP56kXudCh=0zBURKtKcIvh{wDRW4w&vfQEdC3O%Htsk z6B#b{wF>+4qt6Hi+5Zj@pLdmz% zTV`M&kRj!wU7O^c+d1->x#hO9s=HG)t-XD0!JVyV@RLM zlNiHJJi*3j;Si9sJx{k6z%d#yKzlr|@2`5HO&i=I9uoc*rb0sj1KmMP^XA{YOktn| z!eVA#t1`#Y@w#Y~|`6b+Uw}J(d#-|@rKWMnSQ#fJNK8h)fDfDHccsGPl zW@TRCYa(eXz99HhRd2!e%T)Kv`c`&A1Lp>Mz3tB*?gfrJmqJUq`kS<|@YT%J+Y*i5 za5d=F4F)Au8I0!o;c#o`(PHA*4*TuDy|8!|J0_P-TQgMnF*WTdA?h_k$(lmUDJE$Q zDIFz}-Ci!A#lPCY(b(N1bKry;o@H_47toAox%XpI5|_h-I)KPb+}NNpWF5zs3w#MQ z<;~zBn_&&J%!C94cXxN#krOaIcm-PYjm}`&P)0^Z3=H!(axyV7wcH*yH#q%{7`q)b zfelZcPzJ}<>o1L@E;%QBDGtAfkC&-XAxIK;X4B6J;g>3RHJGhesC~D_tUTb+Z+%$4 zo@qYB>8h8@&x{Gh7sYF}hQMXQIqTbJh+K}`<5K&Vsb%UZi@vI1DI**YlK-rJEe4b%`y6;mC~RIB9AADu zXFc;B4-C!+gV|L>Fti3{o?)lR^jbXNAQ=ySa?tU)Zp_W4b1!dr{_YDnmKNdN(7M!< zj{DCo!E)rl6|{-5SoI|UtUDh%S0~{nN+V85&S1Z^O=6X2JJGRldI4pJNMeB2pt4b` ziY4Qe>GRb$W#y*28sVzWzqy}sCo@XYDa!eluJS+*=7Ljhu@JOCxYaqSk#u$q`0Cfi zEsP~m9TjyN6g?d_fw3vQ+LBm&Q$lLo>^0M+g2cBR!-e19EaXABjKpqiENPGGS90eM zQ+G_=$k4>vG5(c7612XgI}svt>A!yG3c^d{H%WNBObpf2`{n7sY!7~`iQ^j{So3INjxhB1K)?EA)b8Bx zOfurgcSYB3$_(Ulzw6m&c@4`6%dd8V{AEioUu|;qeP#AOGC~N1d+^h*HGXHLXY^N` z+PLGuwj+1#8>i*#)QV1iZoKg*mH3n(9k}pH3%K>z2*kB4w#Z$PlmG*S|1%5FI?&85 z!cYEGg5H52k)WDQq z)x~uD1KACua`X{&V`I<>#Z6Hv8W)@+BZB5$@_%QTm8_LT;If>029CbqgUP+Hk`n92 zavpGQ%Kzb%O31JDCeX>rtFf4g18SHNdQS^+Y8uIow z`-HJ~F<++)ZJ_CDTb!^T=E<pPE-hwX z?rDaX8PL^?T+N>gH_u8-(#(ZhP8`bjL2-^GXk+@Z+Xnh<>34idH)*?DBbUlY z$vQ7J`+eG5RMw72I;y?IUcb!c!zTI&2LRW~jg*a-o8-E1Mp^GgKv)A}VTrH@MDEB^0g7Z-uhgvjUh zJ>9#Nmaf7N5JZPSSGw1TotqxDT^DVPgamb*`<1*jWR0d&!Q>$nkh z?!mm6!$wc|LYuE3IPb0i;0iSj4IG&I9T;aLg(n6B-Pov~|INHt*M&z0GT8P0RkJlO+#IK`Ck-)$+7!x^;Zhs>o(;Kn7obGO8 zVXrSC|F0NKCz|0T7KohRWH(AWAM!&#Tr9#T<= zG(C|vZ|gXnDATZ{m-?4a^{(y0k$nrIY+dpjf1Lwme(ekOI3N!Y4SD#;WmceJVjhI* z_;>LSbJsgrbij(R|3_f9n1EHkEs9<~LhZBfNiWgB=x8rE zsRs`K1isG@Sid^i)I!Sz<45n>`Xc;!h665(v!5ru8BD|#Q(SLNQ)0j0##z23Z>{gY6J#Zy1|b!}f@ zvUWjPZ58~OT*pNw+1lnznzp>~D<-m!XVrXk4hLT&g45^Xb}-^^&WTNymCGc?gxx9Y zvi#8d+04WZtkAy{%054B2rDM4JK26Y(CR}1#WmWCVvdYtj|_(Bu341b7Z|r+!T)?D zf3w>cZQ-#g5W!XXgSjSS>ww;1pJyt0-U*xquB@(>Ff*fP{u>q;SO0qC7;gYawM?Rx z^bBra^zm!*V?|TKOOva$36$d>|9aSj{fZ{MA4zYR=9X1iSW(F+)U1{piFP)Q6S`9_ z#<NgQ+Jc1=<#99p6=#eS3WcVDAq!t*A1_T zrQGOqYa5OJ0Ili$6BZiw3k9$?N9==Q&ShJIOPKdz%`6I-BYHlkS^;0jQ`h^culUDH z7V@*jz^@f&JJTmh+s1)Cz6LCe0 ze8&69-#}1ijx8Zv6eK#|CDAab`cjV^xh`lgjR*Hrufv@e<$gcmL51~EHhN<3oYO%% zoT7=Tczlj`Z%z3c4uo%Mc_r$-LqREB+qdqn?R6B0_(b-Pd>pN=*PE9gzoC99F_Oj; zbifne{~bY#PD`z3gO8N=_NY}7HSlbOPy3L{+}+&#-4kl+wU+S&bMrBNF2UxvZf*BN zM}k}y>}vjTjV(I7S$7RWY#e8ze0u$)NapwmisIty1(HOpb}l?-?bkT^gR`9?4mC`+ z^Qyk(M122?r?X&as|&U^l(rNvZpGax?oiyVxLa{|hZc8t2=4Cg?oJ57o#O8BrSHA> z`w7W8d(PT3Yo66PGH{EI`}%BtS8$r!q7#UDaFX4>kB|XPa?3($_%ZwLCGq|CL0_!6 z-jJy64yd{Yb#r}DKMGhz5I&b(8_g^btT~U*So9#3==8}owJN^G8G}!2F(iFWxi#|& zFB})|6$}3+{I{-CeeSa57rorrYDfT6O8Vz^y6zg-cX0c>!9An!Su3pn!$BJwm>t0` z>Y~n)Pxl^1&1&LM;Ttw@N{Lh2ZRy1e9>Sh@_aZT(*R}&5A-C)Rs{$`Ux&2Nqjz2s+ zJSV}>hb>&?=Z(x<0;>|tO~LZ&Do#_MD^Im-?aAB0aiua<*kf2z?WJGj0lJGo_mh<2te3L-_pAH3Z+1M(G$QB4 zA_y9OzWh+vDANbt@~GwW$aPDk?;jMk$?P!vm(ZWOK!$bGq>5)`wb3e>v2G|l@xN_#7NbCx2?=nI?E zE*>x@E|K>a|I(h@TiBc980pGXBu)fQQPfb#R)(#_Fe>)f;j@Od%yB^pOC{P; zv3TJt5(ShqYI;)j%Kbk--0SvJDA2#rRBL7VN?O9l>T5~9Gpz?)pnqk=EN-~)fITGj zbF75DFZmNHGoB+NMbl-1Az zPWe;4`k+B~ODwSycE$*5WklfghVVfwW$dm~F2tXixqPM=8%DrA$bwlSQ7O54P(zE| zE(c`Y(ifd9Yp(8I3;IUtMamdQibNdg z%%|rzBZU=0s63y1kFv#|NfoXN)hnHcs_j4uBC}hlDUe_Y_w&KXKK!EP)uJW9YULAr zV6pRKt6*<-nlCSK#SY7P04ZAJbX&xZ=*ZZ#`Tf$=P&K{xh%xQkXxnn=9)^u$m z6N7%#rX8(;`_HV1bkw^Neu9KkqdW51isqix56~L7AF_*!uI2m%vti+4EFMmOZWf0b z35@q{(m5yRI5f1n_ORc+O2CDu@ampYJRdF4{iPP=>IxsHI0+(B-K_eE4}HSX2-Ephai zWGOWrdjlKu_ta(Xn}9japtr*0X>t|#bu4oHwuh}@&sZ$#tS~#^m=&s`L+jH+KUOi^7>y<>-ooGHS z-b>*j+y>Mnfu7owj%^5xTjdcvtJ=8BGuQy;A%*PU?? z5vu^t+$oQL_I-gNo79lv-$ERJwZFF*g3%=^n`DvIU6(#b_;#o?cK2Ui7;fH{pV<*> z&H1!MdiaZk>QT4(Yu$I)qHMAGgHA;U;^zqX0oJ5@aK!`T~^vMk;2uNnM&H8>3q(c}zMAWk@moQ2< zp1+_t)+wWdSo0hr z`=-Q*kp<9yonw-JkPy!Ao!a??wX-US_s7U)hzQEqH<0SC=h|#`{q19J6oR6~#K652 zc2eJ~X+%u}0*vD6soaDF5vudBqW4Opi|5L6Yc_Wj4diM6PxT4_Sr3_5_!YK|UcKKH zp66fBO*Osp{C3HNr@p#F^Gw z+s;thzP!=DatL4^_!CJ9R;-6#X^6653(ma_M%zU72U+iLRlA`pAv-)drY9zS=T?n( z45ML^aI^f#Ak52?Ma9sKk#K~^Hq~}2b%}#R7qv$bG3;-Ca7&9Bxb*3q_)93|_8u-9 z4&aY^4YX&+=Tmx?AB>1XUL9y?7pKcgyOU*$A8*cM7-_>(-+dxiHnLj^H(I*%d{8UW zK3~K3G#lq|J+tUF^a=h(`=F+%*kZw)lKe*s=QE!E0f#1#cQE>j$kn^$UPL-d8D}m% zc7wVARia)@o3VHb2f5|y?{6Ii6nm>>kkw0+C0AMBf#YZ^1L-$hweG9NvzkDW?@UtuV}*hQB}H-9IDqkryKk%gSJv2q`47UR zrlLPc<|n^_ zR84+L@v^zbc&m0y8JOz29Y8We{Xx>?nHJ?^N3y6l6CZS)hFs4rswC*C>aBxL;Dnk z6xhI5Fck=c$OsP)dAAeFb&0Ir)9F8*>9B@-pXe_Jp`5qKf_ z&6%9N`$&XxG12_&VI0JaEXa)5e~1dP@iK8A2A-wR9;W3PH-7mG~u~v!LUF6zZscz2a`HFVim2aCg4#7D*F2QZQ2#`HbYAqYHSd zvzF85&3mEkOL)b~6M`PkQKWbRZj$ui4arqwiYn@hLca3vCA5|IL#$>;Ce!-YqLrHXJzAf_{Wh-L|^rryW4FQK*|Bkc)vO@!xH0 zJOt9*1N5Vyn2t-NkhiWCJ#5iT_Ef@Kn90kB}rSmOmrzy>k8YY52bS4SQQM zK7cVhA6nzb85vZBM9=f&<|ayA`0_nRW(otZS(O%NV*mWp=H9`~lJ%~7i3+V{2-iV0 zvK@g;v8Q3vD+0G_wNO`8&HaS#veU1Fr)S+%xAx^bq>#~rg4X=*z7zLUtdGa*{=Z^q z4Y!WJ4nnCwN|Y&1-JUMJba~Eq)1_l6-)*Tm({9zRw)gludwjz^P;9sZJ25Ds z*U)6TB?2y$Fxhu=N!xXRvPSaUzX<|Fp6l<-=b%s!b=$06o50hU`!<(kFcE$9f@4#=X_sAN*;W5gn><77ZF65s(=z6@7;U$Q68VQLh37>{`@X9hjl37+Ma>`QbU6|2 z?>5M~>QNg?j^iv?ws&LJL)azX{hv6k!W&xE z32(9{vDuf6X19ziRV0th7$-*=1Le9IaHOqf{mGk*|85|O%^7#qz&5crC&y*?=%}oZ z9`to3w47SrJBd4!LU{X)78b^JazQ!<=^8m-Pq9-PXj7d7S>aJkXNnZG=Xm?ejsNZB z{WBV8*lFlcA2t3(bcuUsza|D)y6%U{c=TMiu!Xn6lK^+fXQel`NVLac8yciruWK(ig(%UdM#ij32qlUjhH`tQ4aCG5pM_;>1X=zpKJMagfh!3CEnv9F85 zAorflA9X$=!Sx(zAZyCk&U>46LI0~n4C$EcO%;)0_<#^*{3spoJ8m#uRJI>` zceoWq12y6L3k)K2F8f53J0la(GH$j|?q<3Ox{dox8B3f9XEgGJ4r>zy9>@#TZ`mp& z9grZtCTGEJvENA;PCz>iHJDn5tW4m}<27mxie&9TyVv?*vfcRiGFaMMiVJ>jEZJf+ zV~1+aoZ3#fEvDvdd*60kn{!Tezj5>R*`Fl(T0xtWVJavG8& z7;r7?@CuJarxQay*f@{aM)gug>8stViuu`M`Cs7^ZZzgdqvrO;c`co1JjgFr7;gSa z1@0o@pR|wzjV74*P}+$ly-cuX60i(3Wpf#Q9MXX`E{&&MI!@BHXtxI2FtxPA5$f&p z?F(h?z9v<*Rt~9F#k!KQO)wbu&IdX88Wp-PJPO^X6gVVFH!%NfpHktmExmF{v+Ml;A7Q*=YJey#_YA|fMv^n;JD@@2T|j*x#gjk z1C}c72jDyOaM$sed2A`LS66&fHZSs4a$iA->0FBzZ1tFv@8c!32J5H&6-ffP0L);&c|6Q7RO+nI>sQ^Cx5IWl z9USGTdbHIeKzfIBo57rrOwof&Fd+7P<36Hct)}~H9^r-UAn>Qby`P@$Qy{#m@PAjz zvaFl?btm592uwUj+D5#0JyNQPSXvLLNpUhUUe{O-r(~OoeF>sAe*GiERv@v-OUroM z{$Ep@IW5YHECZ|arl(a)Ek^6na8^26zN*HdIrs|Dh>Ta?9G@jlKSSQsk(oP&Q|(*lQ&R6@P=+#)0(9}B3 zQyhfv<4ooOOw+_8z=Qhl9%Oq}fi_I2^`MFQV}PmgmG}w+s$TU0r$EfCwaHb{C?n9T zBuMg{EvYb+q6(eQ*ld*phggvMHmBu>_Mj`niYJrl0W&w4kzUU?N;E>D+R27|z$N)S zLw9$Qy%n;Ww(y&w&|x5nF;{a+J2I7S*Z766(fx=m#cMD{HmAAX&0}WRkJW7lccr6i ze`o{_u@M6vS9&2q1K`LgO5^$k zHwCk=wX!Nky~XIi_Gs>k5~OF9SShy;?X1*?A9sD~mf7z2?P(W5-op=YJAgFaEaC-D z-8ki+`3xsgZE~&$_2PBgSN>zMVN>VwrmZ-w#`VJn1ffzlZODe}VRLQ8roXJiVatsB zoCtPsX!rEkMT9@lkyam8al6KL zT!OiqslxefuE2ip|6Y%)s|K6rhJ*v3(o;Tv!p0!ru!^G4Ws^eE zJ{PuYcs9;#zPjyPQo|)aWq{rD@T^i^Xm_WBj1-^fR@j5OlSHT5p>48=3)+-6iA0>; zEb_PZ+wLZt^A9pytH5oz$VQy5wBaDaZ#}acy9)M3Nr|cY?fJ}QmQAS7K-%iE84{wZ zO9S)gSf}@u9-LHfEOCa`f_XD+?)xZ0;P*2$rmL|TOY$9y!Gx@={dwD1EC+q}s3h0q z(P!b}L(5Cy)-3yb#?pGkpi<@+nU;GqoOg-EY{kl8iDs29+cm_|o#uD#WdkXg(#7@H z@9-&6Mo^HpnhI}`_ZD1frwLqRx0cYZjIv8HrR3F$d$YOHmItKv{lKQ_2&6?p*~VhZ zdu!{S2@c#u#i!HOcD%Ua*F73^+$mH%&+GNUd@$LdVjO;#e}NH6OLW#Zx^zB_@;uX~ zNdYVFX|7~w($R@*7mlJu6b~gWgfGhMpwkjossaQf(G5GwqZVgw-~t5fgm!pWt8d{k zFuPKOJ}$HV4i*TL$NCV!qC2y3K|0(euad#_dB_h&6pD zdDiNj&RCS{H0%WJs3UJP!|_)!*XnjI&E1+)nT_G~n`Dv`;Q#jmG+m<1vkU~=1yZL& z8B%MaAJvOCqbnn~bbqxn>h`&M4brUws!^%I)C`x;82+h0IEQzj=sGF0J6|MU-AGVX za5J61UV~0$DG9TFo9>@-6bIs)u^>QWMj%~vKf*i;?0yw8m!yt(pAU-~GOc^GA-jv6 zb)lqqqB}V%kIRGUaR1@_=jfuvd(r_`uE+9CTlp*Xc^Rai-WVrfh4o0MwsKebS+A!D z;;T86TUaQqyQPi#tScJ{zCOy!Uz@Ucc@29Pi_Z%6-U@_WI#&}V+QJ5=h1JT*or(;w5qx>F7K%UEh>j((j14#>l@yw3R`DXg*r5V;eNv++S-HhLr%W)6ny@N#rj8=^K5xS2Yi*x8 zoWcuLutmZXbBH>3T+CT4KW(3SyH+1kI(CNmUrUdT(tq_cw!;@6Ihfd%(Nf9b{N5|z z{vf44wN6hom>`&4xKq*XZe1H7uvzH%ex8TsF$24KMCFK9sb{6W+ITnyQ0QflX8PBe zw9L1E{S4|_(GEOZAS4{{e)v6ZyzTb_ZTthe*h|``@8$XC2lh|&YH8sCJtQ=9=aa)< z`qiV>q{R!|KYUiya(SD#PvF;2lp8aJ%1J*wivn;zpeT08Xvc*v$hY|QYltm3vX{c$XZlz$zvBfI;{Nc58Lq(7e(vqiteZR0Y1I)WjsJG zDC6H3^wqq8-arbkhmEyno%O+iCQMzu69+S>V9r4C0G(+Xo$ukW|3+-#-!o)QydOx0 z_-KYDwEH{nrwHW?hzXJPdS+mU(77$*e=;ro9Wdee{`X$#Mt^C8W2v>s$*8+GsUZvj zeq3xlr&=CfrcBk+@)79R>Z|`Gz@iW)`s5oV=8d~9=S|GnJL9d6U$D!F?l=q&NIaDHBOe!7}GTH+|AH?GpB%B8)65^MZ~k+WlF9ecqi9 zjdSAk`o&j!&oKN(d@PF6HFI)*CWvqDS_YTj4c~!@{-B&8?0xw*Ym$CD#RvO)hM`~G zjbOT6Vqa~sEPE;LuFY}EH+0IvuQ+jDS}8=5y^2}!oC3DWKgMKqV(3&5{#_F66O19( zXb&5B&1>uy0B6Q`{A&7YD!)Bx7Qr-Qa17v*$034|!TIO4j}+eu>(`n?ONv2ujCdBn|=R9n8V`hgeX`KY0kNJ7(7r@1k#|1mR9sFJuRiQ^p%WI+cQM!+!tax z`&j7~Zp|T4u^is_QVvaGFM`xyF46#SvP5%%``>|TABsp%C=4N|&tba52Jz+4j!>s1 zqS8#%_ApT&<(&+etg10|dTwpc4U}e(LO5k+-xaPhvA1vrR3X78fd+qFOP& zSY=sHb(<+Tvu9>Zs*4J3bg^;OWPkQ@&A+>9D==mXQRRDn9-0Q$Ug(#mcr$|%9mm9o+)n%eBdwBn_{KHfsPle%o0XLI8H=Aj3^!tHoo@H;BjVwQu9D=Bo(@&V8q1Ye)eU5jYk}8cU7u;ha%Y-=HA=Jd?5+zF`atN%#)jo8fum~C{J&9 zEBrPsARk){*@Zi*lKbfK$&eYhgg`OF>G8ni8ZsX@Gs*~~=Wj|RDCNDFaj&71lPtIH zs!5x~<^V4>eX)b4BR4$Y3i#bUO_6`Z7B^vP{J^3V%0+Z{lcP~7Zp?wc?nPOVN{;-c z`8djQP*rg8IfXZ-wXfSqAzB9U*F}3F8fYHHvt!@a=893W;pOdA*mbE2Co1nHjlYB2 z)Zq0Jkx=VUFTSW@b!5E&(&Hx({ZWcxL{H7W%(LEVIqaH$F{@AYXsgaLj#5-}J4l#B zqzJ8VBek2~UGViRj4dv}lSNlWn^#S)xeRk)o!ny>g$!>gO$&6lfoBWs9ioF8dZUfz zck3zaT|WBuY}=|5HQxGpqqB^~CT8?B!+nJ1dY~`H(?H8qjMaUpw_w%JMZJb*k*dsI7h6D7 z-G|f-g_R9;so`ic!3c?W^Dhas-YB{lfT1FGm|4q(LpDoK_UPRUHYpSL#axVJqFAlv zsI=y+*=)NVzhn6XO=>tnGpsPHyUUs7aEvO>Hu6AqE`3|J>ovwWN<}624q6k;34Ei2(-5+5DxvHe;mR`E$ZmVgz!~=s_d>TBL74E{!2E1`0xLLRw2O~H)m@Z z2-u7xOSh-sl*B{~@HFR!w^O5j^q)TV!Pq^$oMi%RO6j1_PpnhARAZ-aF^Hwg(K;8Y z-%F~LzT7)5Conp0N+VJd29#4n#G-}RmfHOAS zd#?l3M@mGf&DdgQD6&rBAIH!;>dI`^sB*<`Qtg~eb=wB;M~{UCyPCp_{Ka~GbS?%D z-WI%IF>F*iQ`U({)Vc3!f7P~2$Lh?{Ts`DDydVCUK&|ZTj;TG;JaHkZmG# z+z%*tQG(fPR5^y0;=RtcVYaQo;A!dZa;k2SOfl&A@NUUdNvZrgxEML~I#OqZV)jNp z7w(HN`V4^>BQ4+-b9DhhdFuhbmVj95(FFUb)%?MxJ-rCn|}`^!9D1yeA;1D zJhxZ*aHlDp5bUzp$~BuZA#fH0PTFoh*;$Id@i z{V;w)JL88@TIB)mvMYamqspzAoQ$E;CoeSBEjAc|_OA}J@HMtA)s;L;gu}H)opIK@ z)oRK8=WhXxq?0|f%pHKkHLiF&BHQVB*q~e@)Xl-RgSOhE$1{%nalk!LMK1ZkS)9Zw zMw($i`HaslVaUPcu4Z4}xYTyn_2d~3=D}UXS_j2OHK7V_EAYY7{^i#9kZnqQGrAsR zEs!K-saHA?ppC1*ur_`LLo=bF_h^ra^wR-Emd4%t$egFp+%P->Vxu1qW! zN+9Vf@o2sfAGKzSJqaXoU~iIh!=yhL>E;-Sl8-OfP*=xtb$$Iy5FQ?wUhsV0Y;!zK zq2^JEiB78wQ)t=!l)^n<5yC>C3vN@e$39o5bn2)?lwT z&{*MY=TXDVUK$H!K{vft)#?UC%61KoYvf}hy2I+pC#lYgKaYN@GbSqllpoaVdI{~@ z$vboVN(C-q#snRm0e3T<2zg(zPu`b2_})KYtVr!X$W&W3QzX)r(>C_cLdj0h8*MF# z-UD4=AT&pFb*e<6c13&dRHj-Ifj~V|t`<={lZQ+O@4B}Jo0Gw8WMzYtXU9nY`-anEZkZG# zjS32|T5t^sg5=+v$rbsR!=Nf)3IX!b>$XAI7{Hxh#Y`NQi7KY+6`HK+oObg60&yTm zgx{0vpmQRVJHf)05Ct-`jw%(kCElgi`{Q?i*5qUCD_|C~{#&Y=$}yggif(@=hMJLc z)>ed@9iBB6J59bn3|;Ygj33%kUq8}y+L)1Hu;q@d;gduzh&ghrIZu!Z@ly(F^*_^3`wk-@hvii_*~8GB+qHwL5Ek=vVxE?DvUo4t$iDLV(x{^O=s0|l8c zl|4pK;%vd%L=`s_qL0#mdMC}Z>-2~*M0KnWxAi#2K^A8~la(Nfo%TM>2>*+^kf0&` zlgc^o_yDtI_4pa?Y_d1szro{TwUr;;$MuKnH_qK!r{dH`ui zk0_Gp|I%!=x^+-msfgItusTrJiH)_{Q~* zt_k6BlNJ5>e0A6HdIyGta775dza;EWX07eqK>+X}H8so->-e7I+aR_+ITO?LozvTk zN6Il|QinBU-3nWNc-~F3P8RkIXt$%^!)7vqtjKKdVq5P3;NTwaPo%`JU7>Vt5Du;b z*I9O$wz-ua3@0!=3|3008&J206yL`EzMty-@tu;)xK}tm2w^1slVj+H_TGPgn8!33 zp@>U02M_XWi%&%KLP^wpQ2rVJ11H|0gy)uuwm$BK50xbw;1LIVeN}2ml|J6aIbf_; z$NVOAv%w%sw!oYCOC-6r;2o{VEpsY;%jyDrLnwFeD>1x{b{1|PB5q@mqH54e>34rF z;p8WEtWcgDNm71TTh3vYZO3D572&G6jMxLu=f9*QJq?9ZDU*r8>K zZHlxJ^3;0g-56P^g&kvyw42m;dfak^>y?FWbT6>Xo9?%qHKFU&dMSOa&gO?sp z>->u&m8{}F)>b$W9Qx7){u>nc^(aO@-xN|O7h+-&&nek;B)@2WxtaamA{I6NWK{dm z>w05>HY$-X_IEg|(vqjLG~7^MhcTvwpe;vqsR|P!1k5=yJYFt`H6ej#ey_LKmzRuz z%DT*u{1Qlx3^ zn#^i{CYq;s8xuA0j?~5IPKiwb7nSC(Cb4p4-`du+#ew>VZ zOx3U;fuwjuwCumg(E@;J^ zmKv(ezvR5|0ogVULOH9$Jv%GhSH5|2MvGSdc|!H|=2pAn>SFI`{V8@CC0x+Go0c)t zS!MGKvGLTrcN9!=-i;GLswbQ7y4G-5!v{j$lP;(6!=_qitId;Ed=D%7aw^wfYfftq zx0lh3oqra8L@W~vv^OIKXe}53>G(ao2KK^|^he?(*p;sbyC5^%bF^?>48|<{KB!Dc z*aAee8I8tMJUl-qq^C<;TGCRu8kRxU3uCbLy=R;LMSxuWEw8@XOVLNe#x~-GD!Rf>KZ5bH%oIDBSa|W5>5XrvypA zd;SzBsFkmViWn=nK3361way_b7+Yr8(w`%s%^z73Qx55GEF~SPN;;LLnyHZ8EoBCKUXHE zW+ofFRI&OsZa@RwooIVx2qNv zViV;r&x+SrcMi5#gXuFp!~C3KrUQGtNO5A>PVBP|eOBK=uqA zdq~`hnxv$7`&Sy5hv~xkA_r4j_@tZvlRi@75I=pl+XnL?zb>BO6P@>Ftn^QHTQ)ZU zLs*2wrP(0gaz+vA5B2Um<{i*9`k^=`VW z6U^Ww&9d^IVBQIPI_9+D$O`cU^wgtFv^nR5zXES~U&0*Uh+FQx89n-9Z4Xf5#+o}T ztT(H97P{OJ`{XN!&DQ21?&~85BhO)B626@G3sCAVE2a6#F>fNbX2??G+>QAUS;5%B z&5JVf1|`bnN~i@w*PPtOrMRw=OixJL!q(=3Ktou0TPAQ)7$OYoL)0@9Y^QrmJ0Fih zwl@}zJ{#E(i_--EspaJ}dR8b3`r}|Uf6l3t&!;RIbj|0tqhnq`7tiFDI4 zVk=L5QvdAc*OfKR0dPon8$3dc11JyYI&w_>5IIxvBzb?8V~nde@j|nE_xO|h4yMPS zrl;QlzGBbfuj1qi@_!uuwzAULrY^Y*C8ard<7r36RN<7{?e<*G?2DOg$Jc+~F8X5? zuKmtf;jZM|I}!$HrQK}xyF3q0y~4YU^-Yh*o4=87L38)$&eq!p?@z8TV4@`-SI+7) z8b1A;__ywgl)arOt&YI^`nv$c(fAP}hKKlC4~EJXu`l~f zifYNR@h39%-Sk6C--vT$Vdw!Nmqgi< zy{;LNABPv3xXXMiYPkF@Vn|B@;3TZ?zrA_(vG71Hs21qheRnCI%x1F3R=%An;q348 zNnaahO_CeSU|KnL`w`qgv^ngSm|XxojIwNedB`+rYa{qA@`AY3$LG7I^D!x#7V{^A9*q}n2&?Mjz8)>g z`5EhCVWAeGz!cB<499U|M^Avc((e|FenN3j4Dbk9Y4U;g{Yw$4L$q6nn|P)2wNSBp zSIsWIjeskml@MbVv1ujG(9UJd+}+7HAh2Vcl!qXh7=qh>#qA>e>sU%Bg)M<)n*>ky zjo)972dO@!Imb6pkX7y5C*qN_%q2!#wWh35;Y#IM4uQaYn(fZUSHd%`j~mgyc?AM~ zy`vgawo8wt5YGv zo%LU-zfrKHAJr_AT8h+RImCk`dGxjBlArl~jcRLQO&6^B;(oZ7$91S+O=Fx2^H_cJ z%q-Hn!VI9#QnVZaZ%%$ktg~sK*BED2$kxO`X)(_0x1TR5i22sg{>BXPL00$P9xgo`}5r5qAt3K~#GU`OtKZKez7l8LQEW z`^1h}Kbid%d-%ze_q3N-1sNU*jhoHXaOZt8v}kQTIWGJ^FF@Qi_f<*XPIH9w?{@H_ z(WooUTA|3A;^0Gj_`k)NpySAjPY5Fq7i1HrtV1u}b8mEI%$<0g;^-LUtZzc@&;(K4 zc`Pt??=&8hMQ^U6l&sq&#ikp^i%*l@TT4!{bOMq2*@O{xDN~|dH!OU$5=AJ@w(m6C z`p!#KA5s5sw3U95XQJMNj5wM1Mv!_GP9v%40A-GUUuN)SDXAU5h9F~d#?0de73`-N zv1zYIJoyL}8rj6}GMs4C=btE+3!QU2VaSbjnFRkBqkD0%gD;-=-lSM1W2q(Vu>OPD zkczK0ChdFnRg)n(QvN^`KX-B9s*y*k&oIc^HmxgN-48W*Z=-m?t4gWdTz}X_NpwE_ zH@&A&86g3yU3)@c@Ci5Co=1Wi%eSkC4gx^&tFiF&bl<0t)kq>}4-( z!KCL;S@Xt^Q8;>+y{>#Ow~WQ#tsrois@eM(=bFh$y*+y3N~Q7~NgPVONi8L-GaYYm zBPPl8B^}KyoK0_U1^jO&mVK&veVf!Fs#k485U+%E)f zlP2_nCaXd$OG$L2Nl#u8@#9bT-Y7ybZlbCe#IK05l|y|wDAeqUbq^)vHmt84yi(}I z6Y5tgX^QCh+b2G(ZI7vJ7M+hA`N=8v=S|~C+z==|}XL2;6f_J_8l7h#s z**3p+14CE~b~4yDG&|Zt*Kp6e_({3F@ntR?!5Z*lT5T;z1O5?Brmm+Us^F0^j?miY zbPeiE0od&?AFFR|gfxC3r>G8u?TQzO3BQRqYcBMgkuO4POWcyqTA_9T_=7bN|(5{72 zoY~BFk4Qtcsvs*EeAZSw5zsPR{Y@9scS$2qK)9aaRSc|+M<7&!U!pUn7e{!*t>Kz8 zOTu9COmcfSib7@j84@k9J%gh~s?bWuaI(Bk$uz|ackM&N)qS5@Dp2Dfdcydnlnb#w|^e{ z67idZDTgu{^|=j)wc30Z$L{y_CSBJPoWc;%P-gSpP+Ed_@LNPjyB7SbIIJi4sN9Q> z^4zdjO9aGl@cc&Unl-*fwifd3x+DAh{)Q4RgLpu-6Q+5sCJrJbKHA1O4jS;$-9nT3 zOzlHwp>R<4y)HR>waVQpRBf58N+|CDTH{wzwQ|*xe=6alqLn03L#R%DN#yJ4xlgJS zS|K_cfq3ouCb{1SMIF6~--uG$H3~XJROebHS%$0!0PRB%*Bn+`-Bqn2^#)GcwbwXz zhbfLkcU{`etzMsDJu{yl_?-UB>3Qj(Ncn!R{M_^N*z~qrn$n@xh=+XyUfr0Y+p5d) zp38teT5J`ChrfqLRjGz4^U4zN%hi5>62lt6Z5HMdDVJS_(dnW)0Y7dyd|qwV4#FGK_861TKE*8tRG5CYXv$Shb5}Kk%kumj%82Hw zGr>TzM&HMJZ>hE;LZge`2YORhK$blfY5t7r{&$y%3DR->HGvKOWeiQb#m{G0HX5QG z=x}IWA}S$PKevqKA6l?i(p6i2y=boK$0tJR&sSyq%`+e1Dzm$Wl^(=xg}1Viv(0ct z=R}$U{n@jk8izLMl&3*O;Wd-GX0i5 zQ&zeG5dpz*P_1d64hG+h_OQ$={#>aq4tg6fUm{;pg?6!93#{-%UaU1I#;sc2uq~i( zQQ}cSRk4H;p3{c(_0-M!`GCm#Fg~)!$@sk9=Gbzq(>40JirQ_~p${w~(x5B2)V9^d zx6}!+_SG;JbPn~dv%kum`dxk9d=r3um8$Z_45gJ6#_@MYK6g~P(+L=7?F4X!k-)%NPYb!lw)Ss>UJX=aOjl#;r!etcfGor5e}|2tbkyOyWfa~UD+3zb*wbT7~L2XIxG+x_*Om{}u! zc>kSq$~n^x5-`(BUC`>eAC&02I_PLVb$ncx0N($*2z<b)?0?{KE$w0@8jZ z#AR)&GWC#^Apec-@}!R6-crctnYa`1G1$;J#kxUc&rX?909ITvldluB`OIJbmMDiJ zTz^VHjqFS9NL3FP926zJ!dpyTK4R~6jV>gtMlV1M76)je3HmMt`Cs@8`L5|WPtyjSuLTFS&MsUeG700Zs+c{8TZfA%@SC$XMj(fGNx z=+=hxnk#qs0imVyg8vA!=fXMOZDLeuOI+xZjlS%nvk0QCxFDer3Kf=Xd|PhUWX&_1 z97xTO8R@)Nds_W}e7$v4)KT|0I)I3@2-1y;(%mU3Ac%B>lyr9r3P_4bm$XWEcXxLT z-NVo|#Cv$2-+R}+>)!YN!CI^}-}%lt`|PvN-k<&1`|L&K^`DkQlBNixv%nVl89W#L zQ)k!ua|-_CpR-9Kcir;v?uurCRKeb-A$Fc$6p9CSX)p@4h(5XeD@|>9`1Ls zlR+gm(b^o+9|=wp{;HUjW#?^>S1X^R#(V{z=?1r?Vk+fjrF2$<)N#m5C5J2Vqa>N? z!p^|dR0AuuqX|pvC1JM(QX++X?bXJ{A3ATvE%@*B5AM%j-Ik6HMjk`qLt3-d#D0LqQRdd;5@% zi;iCX?(~ENZNVNDI%#kHMaqGfu0sbw@T3s}!pprh3SmouV$06r#r3*{|6x6PiUzs+mObz=GmoA%WkabNkcSfdev7ukI;l`Aw zF2>v~!J6CyVYPhhG0%0J)cvRorcgC5AOn{M5bdio3u-IOEx5~>h_5-W-B7$=`o^Hq zAbJ^NS7M0?D`t1Ki&skH5!wgQkE2E^H5_fX!aGx9H}_3~WiR28&ITW{?QQ<+vb0$9 z%)ij7;Lc>%CD5mokbX>L;2~ATYV^*$zjSXAb9r)tf582(_pO-VG(Ji9%6Q~5 z5$Z5SFz23bF=ix+d?n1t$)*9;7M!yot(f~=h(~4b=&;+Cz4VrI=Q8I)?5}DmWE#|8l^g2;G=NsHC^V0Bgw~R<+G-jg&nOi zJAc*2xicKKNFQn}@n3>)IfInV>|Jc?5!5fr+}LR37d?H}aNkc?IH^Wt4GX&l51X1kwc9^hUadIO!KCy7Cc3$wT zCzlmm!!>N`);XP=@pwalAwQ%gt#(x^1&$ zRFn_LmWO zS_MHwr7kGd8FQC>i`h9|{lyW8&YC(FBrm>V_Me6b|Gpd((3BNKgiDf<$_)fl=}&pw z)H(m<5*^v8jd-PF0Ck{PbN5qaya)?}IbSM#+~#6!YUUF8gfwyRqUe7Mw zU%;eMw&h~C{ld1cJ&7TmQ*}K`HdGT^HQ0&d`)lf+xY9iI{m0HU`a916n>X{> z{VXwUv!qa!IA+f335-|el3&^Ad}#B%^(Mch=f&|j(A-?R(|c-A>m!_pA5p^fqj04w zoqulCCN<17M-Q$g>_`XO4_%M5bU(CpP<$x2cvvk=+~2QMou@~n_{orx*m~`c;M4In z@Mb6NwVADIhIIn;QnOeLeUg!yRUX|$dR-heoFtk$%L)$&=te+Kc7umUw*(;Z_%TO( zkc;oet&g$k=Bje8HC&&LcW%6XMMqO0!qpt68WE(GLG!1g(_Q*D0P`i8;znATP4#zc ziP6OGzqYv1#MV+nx&)(J9v7c`pH-o-L4Mt5L}QkeAp?plCT zBRTRDb9_VkgH0F|EVp-4ya8>j-#*P4S3c1jee=TP#(f|sr%Fi78LU&EN;Df(&Mqjw#A-m9FK6*ggRCuX0K8K!3hTwtaWXNLjSETK~Dk`f_1)8eCwZz}= zd5|0P3CCbdzXND#fvrn^3_1%O7SmO0!X0m9MpXxhZQ?0)8nO6pWJ9^B{(U4O$|!})#UZ{J7EXoS`quVo)hFUt{tEIk?l?(eqd$Z--W+bzI|a%5=qpUY_4-oLIr5Q!fw z;eQK<0dmM(ozjg9Q|i}ok`81+I?@us?jA2I#lsD=QKBld65j5QnC_sl1F+yqzUA=` zn3CZMsp4>|UbZ=)n4DTZ>kYg8$71wp((dH1LfKkDj$WeOqlp7*-+w*h!uYZwr{>4F zXzsT-Xo1Q(0cdwOqFxsiRBEvo4mX@Tjc*w;H1OWaSYu*fGG)$4sXDtX2E?MdMO?qO zGER5V7>$jsWUdSK$954X5KrRT`5o{}>@6w!k0s8N8;AB(EKYQ!u~%132E`tO!dq!x z@Y-hsQ7SZ|6tucbM#iPY;#(F%Ohxy%{H8kukYmQ<#1T_u$nE?EeapOv70<%(%;Ktv zR8o5-F0O9^x*q)mqH*qL!U$)v;0$}&j@hd)*^`fu*ET~36%7KzQN9k?ytwa{?`^m3 zHd8U~mQM@2my;y+AeV14IU(sbO1#6j#yRYpwk_lRgAHeBQG$>Bd6FX-<==&1W<=6b$uiLhl&0x#sf@iU=mqwOACgyR+$<0_}WtynZJTIQb zA^}7$Iod$Gm1=3;Y{;b1)=((jTFFVvbtO)f6H-t+IkS@)wvQKSruDx+rI_76 z>W4I&=eQ;wAH0lxnf;vf9!Bq+D&}carvlN`R+F0bs?!eY!V7VBnxQ-dY*i!wihZ=MSWa+FiIjIN)z&R@o)3v{ zjtsdl`RbbN{}4CyGFH&%Os;n-@~|$|d~%Mynf0A&QoBjRoi(pPg);!jcH2XuUA+YR za*?&}Xmt>U;O2XU@`IdS^D}?OI6R_d=!n98r*R0c4|0TW=uv#iDlMO8v$?C%hV$mc z`;3}3XGrXL&K<~6?p8{5n%jdcVlHiE1HYxJLQUSg0Lme5~X>yPg;nqP9EgL+*eaC z4i96SvVNyl-z9f1PkXJX^Mc#8*Mv)ZLdMSxjmKg)9lR4nrKo17OT&_{2z=JayK}Jj ziM#F?xvUP#qn2OuoCw-Go`t{TjXUP;Ale8nc^!( zLlfTqk;d-)SiVT7?FRj1uwhR7F`^RQO|RkC7E4j=?4d6yX$i)pEu1{q1z&R7FG_XM z6OA_&{EAkyFXyusNzgyAPX479gJ6ElPi4FoKTucK|=c~l}qjMJaCW(~zbPLPQ=bf8J5yE!P zTDeM+RCPhFIp*$4o?kEQwWK8_hfM2#W<=7fe z)zxBQ@pP>%3N+9~S*I%9w+q5HtoEUZ%?X-K2T6Y)b-VPLr%j1>n1r`eP3QW+Q}OY; z5aEo}33glW6B)(1D(XT!|3%8|PvjQ%Lg)}nP-xw}Ww<|lE#qQBuL^y?kDV|(5+lTs zKbfdyygeqW=q}`&26KT+qZl3@zuUEFeucoB?l69JLxb}dXOgAuS7gI%EVza{DDf*s z<;Qu2CnP_d{Ksbf(3TVP5o0f*4hv~Yc|)5={$JSyz9QCkj8-y>qH#9rWKc(Qy7*ez zi6l9ynD?3I;dw2+SBi5x~+asOY zWWWsEQTntg#KSlVN0_fS$$}m4zJI?wD}&$f!FF1SF7)K|-+k*B{?=|~oiQcM5Q2Vd zoH!ynm7!q$hl;2p=+HQbUE(qju0jGGE>)0D!&~kGS?HC&-_mbWh?Hyrp{i8Y^;;z} zl@e9(&225>J5I>v)%#(T5t{9RFEt?{TsV~wx%^|5ARnz*H(v7GKLtNwZ=@l71@e!k zvH$svj3UmOXYeP(1kDGNHa_IGFHENtVd9=TkN^k4!;|fzs&&CtS*Ghe!a=L+Q)!9& z+)Jzj6Kl7su1?7xS+!kQE0-nO=MBQqSlzxHkxJ@HzDI&5X&qZubDfvXWeP?OeL z;J0SvjWFmRjR9+nv%;dyX~W~b7vDAKr*Xqt;N8_@w+<=EF8f+(VHLq(xK`co*AJGI zjmeDo{%!>dNnt9l?n-N_4+dhRsQ!$U!fizex{JT$<4gGS=k=@iNgYi-h#~jIU@Bi( z_)_E1$w`($vo9c(POLNxnyvNHr@!FgA@uX}d#EG0yG4-gac84@d(KVS<^?qWD5EX9 zX-4DYvlWse(V!7*PsHqRihBMnT?y51WE*L@cPs{Hhe79gy_4(7R9bb(TnbSo zC8>#M7PnC8<2O5*SaE@44P6xLos}>`VBs+s;cgB?@bq*AFuZ=_*^Vn zLz_~;72)iFvvs~dYaDmAXK>%gSlrMC_$RX!7WiMjd!p0ren-f0kXS_yrwnwTFZC$&os?>T*$XNE;AvLAIrSVp?XjTXgKY>*61 zwE`zBr1~&y?~h#%bUdhl8#PFhe08{m%m2&m&(g*A(*ksATH3*0X5^Of4Ym8@$dEri z@NsN19yZU@&%q6)#@%H`?T;Zp0qt>M!1*;kDQVx~O8X$k*s<_+udT>zTvx@_{7kYI zL@cid@=4-$Ho^I2)crr)K!G53nudjyx=<#>7{l|O9r7ASuHd3X6W3dHN>10ICy9K~ z2l-8%eusv^d&0k_L8*8dab!vHW^kS|nFjS2$D_B3C)jSx)9rNtjL9GkkA0 zkBb`ov|iIBPYL{b=e14KheMIcz#EUEq5HkCCZR7Ji-9AY`-EXE!VbRuy21F<_RXDF z#O13>#{81wlxdyQW4_%V_nE`Gxxbjd#$UIsxI_}A&RtaJ<|)3NxO!hFJ0!muoI)kr ztMs>gVREr3*RQ^Anv9%)d%IzmmX>y_8;0CsF`ip$K1@l-q&c!aoCdagMn=XaJq=Ap z?;f=)Jx0IYrc5wjQG`Z~XQfKw@w&+v)%(?%FjoFeDiLHctuqtq^rFQ9Cw8TKl7@!u z!(sj{HF&wQMd3Qfu&@i!^?_;kY47;C(7Et^FO}L9Ly^8WcQsQjDw#`EI@TGs=|MuR z5Z|_VTJ1VXyeV?Sa06l1e*b*l?5x)0(~xdgtiS27Q>3@fqP_ls z=Zv>G!*G%zl-I6^#SZ=tt9j>@r_JKq!{?D}m}KK)VM9Xmsh4E6}a|$)Z=6a+HKeCtdQX6C=1`qd%VW)7K-+zw+@c9hra2d;T{UpreED zSMTt!Ij~k{iQ`w-*Uz3kTRn{4RQa$g0I{ap=hMnu{ll)va_yH6`m*rFPhY;At7nS3 z8xl#L1m01wBV`jdZ%mblC%l4HTF?5#R4Xmc6FC}U`Z;*=V?znD@|W^dWS9ssY4ClerpkwtOy9mz zXrZV1vfWKZzgN3O+PuoWk=xS5YScn-h|O`_7iM(#eq@8_14X#QxSytTYiEfiGx^`9 z^Qx$o#=VRNNP(LDsTabhU65?=t`i%0_?9eV3-@|iFHd2mb|-gAaFoNDx^5r<%+M?e zdooA6-~qt;1;T;IyOO@P#+b#m>au+>d$ z;iy2*cpmfjiA4wW?DDg{;$2(raCENSH6!-B(X*Bow1f$tXB2^g0UjKiFbqKegBw1z4*Q62V;`VfZca;;*C7N+f`U>RjI< z<_Fdcp>rq+YjzFjVv`nvel@Ek1d{tF!}y#|uY4Pm3^P{Sj3amW+cPo=`mC%S-2Y)- zszQh-$qwc*n)QscWfr!)p~^#gRZ0b30aBu@t3|~Jjy=Q7{W)Wso*dX>Z%g)aA}tk9 zff8S=5$d(ja;G*yoCjfJiW;hoDe^ww^xRyJ$Kopq;BTLhmrScS{m zXwY4Tx-DcpvY)+0_~f#SuoVxmKOJHja%IpNcZwJ37OlDu#4Dw{e18uuv4_8B=16Mt~ z_UFy6Hc^*39`i!g+63HFtK# zx@&(ikTGT0=RVg-Uy{P*;xu3hKYX}m%Zizh;^}+!QuZ|azOgstj68MeRAjc!L(z0i!bnCI*z%nlNVP;rT zw(VKjvDS1ebVsP6Mccw)Cmo$XwHB0SHCwG5|*ALY&G0B?F*Z;?01hWWJygv}synd2Bvp1l| zO48q8or)GO>Zl*ZRLrm?x$|A1e_yzCT1e3v+Ebn`C7C^IL0D3gia&{DSWit=W;VDw z((zsOIbqV4`~{2-9-|b_aRHTSTbNGDNn?rSk2H8;OWmRSq?*Nf0DcUvaK>!*L<$%x zCaW?FGqBMozgqPWmXMTO2tyWgU<3}{uxmETQ^Mu;?`}&u*7rz`L_VM6-ux+TcIufa z#o4>(t{>CwK0Vy^3BG;1ym5Arhu#83K{g06=7|B%CBP>A<4 zUDi(v1(qyFj+65C*Fz*U4(Bi^X-j-?bM_xklEfvvMvtq|c#?4oEa5gUt{F~A$&TCC z5Q1u>$~kwpb|Z){30!`3t`cYKLhdXaUb*;Yr12J39DAmP` zHlm37cJ7R>gZ?X#OjFMT?mF}j_ zw1p)lvrR3g*6OzR79=oN+eg&b-|2O2PYAD)y^`uY&DE1I)w-VX zJd)y_GuFSnL(OZDy(cWg$qWgpc!B}xw0U&t=^(YsW4m~P9rwwYBSgcQK<(R5;TL_F z&N88y&c4^~Ds1|7lq{oy@!isu;?P@;^CEoy~3<7Zh`8Du%yzuGL`%#P<8GhC57j( zSEx9BdA>WTIw^<=ZcV{z%5R11s;hNzhZP%H9Djtcgg5*ExKs!#X0iT}WuT}MQ0L?% z)a*{Lvw4&Uv=<^kXu_XzVmXZy7EjdZHzUzIq_;lc6Y*P~wY^$Ce)Eqd%n=8|Q{vvn znr?A84=(;*{n5mC_vxVN(Dv0un!;~4!~c0Jz>FY~;JiK^-3x`d=q5TmN ztY}!Oh5m*W>34r{*rDZgQKFSAA;!OWKlJZbzvk0lm!kP|1`RB?xf1d8IRQOz86gJ0 z?)dNG{uUZdQL4&ny-)INEJaPgYgUv5x{^wIGX>(!<*ZvOB(|axzTETFx#i)fc+pc* z%>HAmsTdGJgf>#iCBpdV$YO{gl_DA2Rh4z{*?99onfc#7?M|4%l5H;C4K3;E9q@Jq z{-S=+ZrDergM^omE;grSWDIJhmRD~X|6$^eL?LtaNNT?drWnJ30E;9tf&7{olz!0V zjm!ws75w}4Y@q;g5#wbv{nksMWTlH)U6V24boNEC5bTnMmi83)vski+g_8tO6jOO%lPB}1T2vQB*}n7>0pCW3*;N6YfN?@v-f`wtWFd;|GK_@+2JfQ0Ix13HiIe=gp% zS$n8sYf)r5Ih-+Bbb`jczrT>KbcfaQ99`qEz5|MfPb`sOpcyFgu#4$Y{l{p1D$ZW_ z`&GcNM=O1(DO+1LF)^MbvSpB1spE>WI;BEwR0BoK5T!7P?##j4Ysqtq5w9>{{&KZi z#%L)RU%SW}OtKPMDdRyXzc9PIg{|WMsGH>%JyJhBwJqu1=c@{Q{)Q1k{FM85>j5Jz ztxX`9Y_uZtt)rZb6^&*@FEz6OM971v%}4LUTUSO;kvPp z+yc#Cc@+nci22`yVipbs>d6uicc&v?L~Q^v6QR75DsVUYK5pJ~rB}4=zSKG%kAN@F zJoXu?egoxLZ=~_QIq8P{QX^%~j>7WD7EcE**?$J_Fm@vMnxz<-+QQrJ;MzCZW2joG zKXJe0d|NxHN%WUivbn>Bh8vmQgnTX;J(+#$)fh20S_Z5??84%*)LXHKlINl z<^UY!1rU4Ztij^-G^aoa^e&T3pQd%Q_LAs+>GQD9r$zjQ%g%_D*TTxh$9|eeXeWGy zY}lbr`}Fe{o0>=LuBLDSxaVTkDNpbzSv{03D$plDiIoLFo6@#;kRq+}pzrwfpr$Xl z^OF&1)Zh}=d@>|hs>!674v?@UQ?sFz9p@%D_)^3z!$(}Se3TYS{Irj>L zXJMhCvI+_&pp@;5;r_UvH6}XR$oHd)3OEjzyU6UEUr$%t83a3m0%EK1-F~gPbkj%v zi&+7(0CwPnGXA^OTFg6cnSSv&{@BC*N8-ikXe`$CF!d{MfiJ_jzP6k9Tiy43y7iZa zi}yYD8*7g{Td^}0t`13_A=-#h7?!7>*V;@@%40(UVFs+Pba5_lJIXjACb1_So||d z#jj=+?=IP`yi&JB1uqjl8ZJ8YgPoM@+>?M1^D6~sEXxHpeB7<^Z|j^*z79KtGKLP` zXjCStAHZkS2auqUfnDPnVU|o(u1cOF z&K2SUP7gxSBE5PJ(>{WaA3yFkDE(icji%q#7-dMO*RSMmbh{>xsf%lt#ie6H1LYm( zrGRgs>mSZ0<%?>j=?&q{gOoiEKRs<&Vdpo^#73JciKV|b^SfoVrl?UxKEHU~nk^y` zUQX4wjnx2aw5roH&NW6h9&%R#ttm9LeIN;GX+r?f>lMCOSoP~-pLfb9N z%LH7w@0o-@Z88fc4e5|X8t?Sw_tm=W6e?U>KfBtHX1kAKBqy@I+qqOyyclNcGXapb zndjawW<^tx8N?R}&n4WGAx$`{7g0ht|4V+wtwx~+a&2)RVV~5#5MXj;@^K+hk1dL} zwl=^||0!_?t}LrP>LS~LHj5f}N1E=8<$$=i?DJ@*_Q4|n5Ug)(B&JVHOmr3bCKG-% zsp#|QOwp5{jt`D=g!Ul@P7Ci+k%-lIYwBfPkJvwAlHX&oMl}C=Uv2woD7MRe{4~=! z4*?e}9Tvhl#%VLZpJq~emtU@kP&z0+5#m!i*L0m}%CjFUc_AjA4p5|U5QENH^DOxy zY;2ovUA?`%cbUit38jbAg!%24#R^Tqt&!j|JBLfz_BVxpIHFh&2){GalR=8l&(d#< z%4gl3^?ph$Wlj4azmxW_qGk>hr4U6Io3m)uOAiqN`A58E3Nfgxao1((sxdjE$mWNl z&6*Z=7+P!Fd`Qv1wpf*N=Zn+@4J)_fH)(`Q!KZZjurML$7=jS;$~F1PAA|O*hB=5L44a@}ESlfhrFXw}29jwv%qnNf%0@F{{ zujvOt$8x)Yn@UK`3C4B^ugbLo&5U5ePGBCV+o>)S@nV&e>wtr$LqTtQ`pD7e2)gbAXg2_~`}hf}X|=UU;Z2C5 zc9)0k)gFwy)rQIHT(=cY!kNJ5K$|MyLMtqsnwRE@p`@hrN-1q&8%{SA`TW;$=MWY| zK>CqkspjiNE9c6oYShC$Is-w4BzIxDFuYL-7;2p^POnu7WY~P`P}9YbzjRMBt$E)g z*lUv9s#?@dwA#<3e*7fYQwslcxe~eOe#g5Sm`=!cTUI+I_X!on`Rj6?VdU_mK=jt4 z?#MXxIAr_x)mG$Yuj#9lfN5;@@r$1h11cS_QvtCB1_~?)hyCx-R34ve=f^nYJuyn8 z%hd+zNW0z6O>o7p&ld^Z0v7Y3VYDHR-u@DYvYYW_+m)XJ2RZ z_B5SVc_=ZbDVhsL-c1i4M)NHpq#2Xt&vc`DZUI-6*ROca%nB^utMJB_GrK@H2xJWd z)?X36$1%kBS_COrUE=H~Gjz#Bs5!f=W8)-1@AmAwz5bu;DUoUpuC6DNO6d#H8gbpz z!Ogh^{|2ln_VIUW8v1vTfJ@YKrBuh6^ZF_ywa0797pKSL|zYh1R%*1 z+fn4#h2x_!MJT6VQ&f*dI9+$1)B^_H!OVtC+{syVu~uT;PgWeC*6k>1PUA@|LYPxZ zqj23H;OTl7Le6747R0s1Y3bY+gXfheWO8Y__10&{IT2BF+hR{#nxlY~IGK z4aso`Onhn@)K2N1_hZ+0o>q6g0CLM14^R|Wl<%CYAxvmr@gB8VwJ_Cwb@*!FahL8_@` z)%lfs8h;4^a4d;{W2r^XZ>s=7XJ+g`vB-b&F=u2B4^* z99|xF*ZM8rZu$h+ocr&bg)<>=PuUPJLbcBt34KorM|a(Bb-JFhAmQ1=nt#tfw}Pt56rnc3UhB17HTknEn|aUUcs7chqA{j`9qU%dM{Ifrbe$ zKP$?u2#T(KcpCMX=+8UYJ|-3JcgnW&Q*5(3Jt_X-l!1+!yu8u_=o|6TvwYbb>X7?9 zWBpa;E;QYc5H(MNJ|Ri7BIc;4(nkJl?din7o)W6 zATr_tA!s?DmMV@|M=w+SR^I~?(!{V9 zs<+?eqhaP-bof7vcvC{%gB6a;`YJ>vL^r7k_n(H^oAW=WLDueDL4Q~-AGNp}E1NmV z^}?G2_kBioR)ai(KyZQ&FoE~4&Lr8Jy)7aVDV_JtPiCGy6}!5WPaJc~$(Kh885Dt_ zYPqlHjra2Ypj%qPVssEru4+XV(+DsQj{?q2^4N=~794vxda8rqU$|Oh*q0K4v!A;*oV!I7|wjVCdO!$}iQsyhxLl8A@BOE3N!^eWpJ6-jgY~ z(6?zQMwoK=Yok213#ab!?`R_J{<~%{kWXNTynjVEJTq%7SuOk61#2shyUSe+e(4_U ziXzBh*Cyz?&QOwFQ?AZ&Ol$|~my z;~2hj-fqcQkbu0XQd*z8G-#RfsDv^#U^-JRCQLpDMtc$rJ4>gGF%Tg-W1Ac3-N@%X zK4>;qFM;N|MQpWpW;Kn=;X1?W%AH)zRb2Xy0jSuk*N|V*m8|9d7AMvG>mCJ~W|YP`IP2be-QZR(WQLn!(u4m< z6Jq*O_PjWGXQUqfh`M;;^CadG`j>^ZuHF*GuBC?R2D|L~$gkpV#2!F4jza*6h+t^0 z7!z7T>`@94#-U6myA{;8w1KQxhgtc5?Elv^g>Sb8WT@VOsdj&s0a&!&0I&|y_r8C9 z@~er0AIEr~apP=FpI4ULj`;0pnhuBQpYy4z8sweb02z{g1E<93zFei!6mfL=zO#sM z+h>fMt?2tCk3|N{ecTkj+9L*fAc7!(KS(R9Yjpw&2$H{IG?IM>KV(3p@Qap$3}VMf1D| z2f}NSInN2clG&Qy(uZy}Zp7Vhjjn~$6sI3uIFQqYbgrrb%9G?!IMwYmjVn%nmAnYvgCgJC8!w827{!7BSj5)byT(GurK;Lt#|1p; zYKiW6){Yz8`&tes>_5HK+no! zS7|~KH&%L(+AFmL;-=*WV*%b-@bc`r;%r*eIkQLsx9`|9hQejCPr1R0Niv@h9nysW z*9@5ft35RQ-NfDWw~DLjcQiHA^BjE<3Zp2N?!!+90M{pHBCobPj3_o~a!TS5a!=*>jqgWipSNM2J_RTA_ta@ri=&)++T&C5tj z2VH#+4dobS)~)#guKPZjP*EzindfuXWlgGwFTy5X({eoQ|ISvrGPQ-FTGhj>$-0b00i&)Isn#s5;e5D@V#Cg)+-#-i5oB|Ah=R`kKq2~x*#C> zk74R0kgl#S4z~kck-JOdhd+?DC+2s2F<)haLQPK}{O=z_W>ywOQCMW8D=EF^c!5^= z6Krg5Q4oDbTvIZuoAR$ypi)myH!YS7?F{^HF2KAUE4)tvDkAyL6rG(uTnHF$Chbiy zpKK}6HGH{zGGBw$^K92Nm$m8g6AqJ+g$B)m(^OShU0qewu^NE5M z?o11PNJXe2WDfP}_>i@p?erGgU2SgLXJQ-qd~Y#7k_>opvQD34k$y9RmW;-r9U!E_ zY8nSbX=P<)s*G^-frxRI72OtYQB%^cL z6t$u82)0 zRv-T?*IdYnK=TmEr|SQ%gx7gC2Jz2no;be1=j*c$y7Xc#9WMgCFX88UF*TTZ$(W6Hr&3=AOSAgi~ zwcvd+Xku=DvL2)KGcmE(9|=XX$~tkp<0=0jFJ}b&H*v_mwDy5|%Qo_o%PKKNnN7ug z$F}9g6RgjM`*o4^Az_+G~K7{2CPW6LheWm6dhU$UCACeR5B1LJmE&t2q=X z@^zu8kKBBqa(dVf4=QLS44R6PihiWnY?40gi5}E20M?smZUJsbG&cZ_Ovpn%vS}Lm zhwB(nfD6_($Nd_Tn{QCx`T$_(qX~iKolrU^?XKv2`_AKecUT{iyD#GQ1tmv-C{({O zL~+a(9Nx6dvB+Zl5%YR6LzJVhE@NjCN;;oFd<0yq<18O$eOuGXWN0D%9JF}k zfQVew1fYq8uNV3=9r&7KLSS-^wZ|iFzhY;$o_Tb4);7cfBT|6{vPhNb%>jeO?O*I5 zC7!5<_8FzptACeqm#0OUj3!25IPspD6jt3=A zzRDqyF9LSyx-+(|2HgK>r#yE5RqK1lyn?||Uj7Ze#Inve#kVLIymGM*huX>?)DI~> zyz?|#iG1I@cxQFagl;~f?{fryl}M%Nn|&L2goR@pN(v^_PLs*>YhU<~u887gBO!y1aueCU+Jvtfa7wLP)pmb*Yj+o}(Wf{a!`p z;iatLrOLZzYxR1#oQ#akSpEj5*26>lsgM_xRn>PeVgd}Yj$*iF=7YxdT#dYV>fpSs zvj&=ML!bx3()#aEA@xeW-G1k{nAVYc&C`wL7{!?%LCl*}@$X?EwqPK7L%w_tParxM zj9OPQKHa#*%c(+@J17uZs{#Dp`*l$QBUwkYzbSr5tSilpMX zSry?L{zf8!d=wgCdWqU>-G=d?1ri{M>nhWX*5W$qvvASM!a3j0iy0=9lZaEabTQ4T ztM?E?9LOU5CT8fT_M(EI8F%rg?9P~$O9WG_yalsE-k)h_aDEKRhl2-Q>AB(qTSJGcAb8+H(2_PBH+g zNsr>eShoT-F+4MXT-I5#!PO$z%k64Aq6Fh^Q)NUeo>7&Ou>`kG<|Bmw&eUOKq-EUh ze-=R*GBdR?-;F3NJ@0O($4u|x{*_KX1g&PK-h6~5@HsHBm)vj9hJlk4DI`UpveuI6 zL9XwR40Wn@3=TJ_kp5I?UGlyD+ENn_ImDUoi?rVUXvFHf|BWcz2_1dz45Y0(BHlo( z`%osXv5ytL`8_<%Eoc&R{U9vAZ01z9lWI_Q~v?O(P#^kwwB?&%w&A&j3!xWcDq z{euJlw4&T}Tknr8|m!zb+;{#7_pWjXrZcPD|Tk;{T4gk{``$GV!V&72P zU^&U}n>*Qm>1X=M);!NiTtoj|ypm`uCsX)xsqqnPHY?id;iQRpr`KXL5G?Aq%^`Yv zx%Q%~Gx~ZfFLmhZ#f#)E+)jDQM1=s-6c;ptI z7x`@CLTO1FEu-yz*@n>Z1<_SYPN=r(Be5GsR+JIjIW9moO0LTM&z!g(mqcimxFHSO zc;fgMZ9GqD@MI4rBtW)zsFp2X_)91Tr4-&SzsSoi{sRQdB>+x6-EuQ*e0s$fEG#&H zWwqKFw#Rf2h}LXo1H^OHc1p6cPw1q>0l}up@iiytwEs{ck@t|0x*{FSYv{qcgRFYD zT`~z0`ioPvmuQBc-C6S_lR!KlJ?8Ndeo)YN{}2D}uf`R()zrhw<5=|irV4dPxGf35 z&zm65VK^HP2kV3Dr&VpMXRO*htHvbnDC>r?(^ExY%(PsIvNq_g^A24zf*T@?49o&B z%<8tI|Kr_J8NiRhsp~2WTGpO;pU;|mA9WI8k@JlVTpS+*MrUs8?(9d3C1EN7VrF0E z*jU~9TkWRXTrB?~*!~y&9b8e!G6`XjjKANwhANPK(pLc0rm^Nv%88330WPJ%4Vx8ATAXjFR9I0O^o7R z1Sr2PAkowgxcoiaqgi|ZujI&sqql9zQ{(67mhd5*nsvS(-~V7^LznM}TVEE2`uEMH z#;@bvpY(h;wI^pwrT=|*x%xcvCE$VDgY+KgutddX)b^D#jum)r%dLSORRPO+H4ULe z4H3-HNDoq^<)cuX8w&%a%>wo={z!#+<-IfgUE~JD|K#nl)%oNB zhpwNsc>s{bdk46>s;&?Sz#YeE`9J0xPFZJKj*m~Sa<nMa$1y)>r*50+_2~}y?+1Ol_cQ`dkp@h&>!M@L6nFVsYXXo(lr&s`GU@T_jjhHYG?A%eI$lXhWX z??6p`@9aywUXW6rVuXe`&|wQ#5UKDvuFG2U=oD^k4JL2>(66+dB!Sl&wg#LOsP$KD z9KO5uAkQolxYe?M3Yq$d2pFz*pSyU3Q?pI`Dc$F>l{gY$!9OzaFjY|p2`0&;FFKF> zKl)kh?3`lWC4FJ1pg3m4^jcZlXq{IH9=lCeRYV3y72ZX>mKjO2h)+^Y)q|NL2d0-p zh9i!R{#D-_zuTSK`m4wW)#Zu#^&N8c~|{Q%_9A z23#pHk$mtWZU1>Tf3{%UqhoXU9`S^6s6-P9MEcEtJ`Y>?L|8I0j3zjRylhulb~on7 z?zTmZY;eiD^X?ta1_-6WFsi^2^>T_*ufOWw7KB($^X+*!(d(OY9SBB~u2~%DL;oL@ zo8v?EFYKUFziAa}@@(+-b5fPD) z6eM0nK;Q_{iid9L4(UUOq<}$49Z*0(;#ELGQcAi(y5o?N5(O5VBs#yjpeZvD9Y zkb!&ewf0(jt~H-I=QG#jMBouukREDEN2``Mp=nTrDZs{rV~*!P(B?Qy4Q#uZ6m+21u6=n{eyA&2If@WS@D`a?d{(UiZF;)L94H;kabcq$3Gm#tX|) zOwMf#-5OWnL1$`OqGiimEjlWapN8HHnv_&QH@0u}N*(NtdP-r?559qbHZ%N%a=QvK z&3qi!iO+?`=XHG~mtC5zn@b-mUD?CohTJPa5uW~=+ob%%u?{oJh^Dh9W?}r5%VyaM z?mjfIDx>z4PAEy8_zsx@EviK`WvSwmzJq<7FnrIDeKpjww2{FPKWfw`pWq5xVe79t z5eLWryr^s^a8iHAIpf%6J@on8K1;j(vd!tRLY*7k210*EkVrhoE{=Z~Q-wQ@po7ES zZ;C&b4-32&*s4>1mpamBX&mWB1iE2=$1~n;T6e3O;-X?ki)2BXz?=%r7hw;^zUo*& zQsm`txlIITRjy?lr5tea(Fa%^savFwgeqC*+agWS-G?SF9=hsKeBRhf3f|d4)I;&# zs6Nt5ahe0QHv+|KYq@)|gm7y}5>RX%J{K4teabLpDx97n3mDz&0tk)$O${9hDI^jP zG*ZUIZP`p;5|22K{_&P7e{Se>{c?KxQg%E%|BVIs45}hbl-z`8I zzI7siOGjDmd}_u)+qF8oCQH=#;nMWG{1XDe3mT#4q@34-!=FI zm~?LBQZL!j=(UXsoNw0ytemsD7UD_PI|D6_sc`t+#Et4yeprh%{IwVx@0G&*rdy2* znPAud$#G>>Z8@Byd5#u++Su5*(qp3siC%VeCGZFLB#X>{`O*gaJ-*t@_3F^khFC-ac01%F5uR0P4gLdy(8|IOVM|L(m4bhEHv&aN0=pQV;IR`lQ$l9RAI z=}Kn&XggNda<(y0F;yIiPlwu1ltshQ!*Guf=->x6t-5%BGYJ#}=k;ZMqw~zp=3+l` zy~Nj#kDj!&WtMfqQpDI=6hS@brTk_*$PbeFp_quy9^v!f8%)*tV1CAD=PU0Ihl)ii z7gtx^vaWa?ULbe`ooDDklC=VcZP}QaAMbC}r9yp@5+irW0^vZTW2&n~B_$<$=JS%o zj&}Q5{gQin?{UU|Xb&6E*sll(<9<6>?Jv0e19~41Z9O>r#toY5yPf@5;bX`{5Lt+T zd^O0jLa7=V^#GP*=P#VJLD_n2+lp~# z#rfl;r&g*aTvo`0^yF%mp#I+$D@MC0#7oex?8U5YC{?~_OyS!?8L_1Z za$qB(XMv)jptz@{6?e}_ON)w`nHdgSAIvut5fu|NjC=n4dG>bgzo8$!&J=R5ZY*cW@dU{)^!<9o6tGu#e-0%RPSX%d$w|Kz$79?BUMAG{%}vwqpBv6wtVQxuJa4xlDKZNgKuwzbU_p{59l9*YW7)mm|gao=o3y0d@mLH0X zy|&spAdAktK7incep#1|8GO?aS?v77HB=d^o{TIkio@ky4^9Rm#Fk|#h0q!N8fg8a zxXEoE{K4%ZCA@$1CT5)GL;!M|eK;W`B13RN`j5#cO9#wtWP&2p{>$UliB*K_Uxx%b zz+=^Ifb4wP1?qL>Du;}YVV6)T!B3tLqCgT7E7+k`mohk!1bm_P>$Yf;usp8dx-adv zr7u!al%1SzQiWyQ-2nMgfiu{%v$LN)dxl=F(I>1)-N%00$l7)F&pTw;_WROfSq!Jn z+%YhqXJoW@MJMT@dY=XdpJEVpvmUa7he|r?#xj==CylZGGXFd)B4}T_xDiu!c?XgB z64QUi+MB>{)nm6VAA*I_OX2iF7kLUs@ahHs^tE14T9-Dh(i6-67@5=(-alCN|C+OU zc0Q{fdSQ?C@YGZ$;KNvf*U&xg_eiUU=Eu+B&zf z(F=ea4_?FvwUWs_ONY~*^Q7EWU-=rFn$D1sS^Zq@S6SF zog)-0G*LGiv0^u~`BFvPv@4#s#BnAiD(ZqXEGUriMODkCt^{TOpcFX{fG`9B){%$4aX`gFzi9S$$ zTQ#~%R_D7UtCYJB9;99878NxZZc6prvk@Msznq5Ca6dfS-+)c>vh%rdg=1SR77Uoj@KNTQpHtA#(n|XJ zitg?2w^ifPl1UgM`%1#X!((7uTCBv|#UT|+Af+#B6J{b->9s)i$WQN@>YZ^cgrSRc zntOXy#D9GzTHHxVVRZKJcm**9n=BLGkr9vbFFi1vau<7<-fGB zk7#LWnfvxlY-z_*pN!<}S#zK)4UCRv=Hm6qf(fERLqnY(Ona|!!Gh4vW8>gZkd%Dl za_GlY3`G=aWr}@&yR>(AYvzAhSoqWt%bCendW|=F&(_wKH~^`J^q_SNOU5x+2f5(R z&d$*@e)~$g#iK{hL)<((NKn~%c?|rm{XKz^LA@yDVkk*SO-f1{5*DUD0g36jH_>QfCMKrg%6{wS z#y}EsDypDl5sx{LYW2i@j8a)^ZLK)*$&+S4E|!&-hdZcaCSb%s=Z$*tf)D~Q!<98Z z`}B5&PiD^X77J2^ov5j)xff__G`F-c-@K_>>QHdF|0UHQWzu}~kV8h8TA1a0z~EP~WubU*kaDJa-kMt_ zd4bgB5j_84+0LDmW_yJ?XMd*C1*sOTf# zbbKGB1QDAClbiL{=$vWR=oc^E`qn{aE-17stgOV+Y2#&Xv`C;sWfWu^#FB3UA zL5&fvzWz?kt5@?-9HvYvhk^obqg2|(O?l3pBpMhTR5LOXpBuIJ7_=<~HSHe47|G7Zcfb8n z*-upr@~I*1S~9IaoDNHN*xA+93}i!9*!yG{z04c7ZfG!3z7=@?mn?Pu2(2d{vSohMq5L;#&dsf_bF;CrLE%OzukB%NDeysBS!ITVz+`l+ zPgTYKs;m@F5b?+d;M@tiot1+_W^!^eJv&?Od3$Fk1soaxz9XRM*U8?${{q@?hcEuE zwid8{zcm_3c$b%v33gfe_KlJ}dV1QZy{9J*b{gIUMHe`a0jVBk0ZG;flmBvoBj2s1 zrKJusiGwTl_VxpPeODkY87U!I;WYc?;`}Eu`W=YO%elC0g}D2ynL0WapalfvK`Ef3 z;2Bj~I=aQx;rA>oA3&MQDJf~r6&O^oFfuZ3K}Dkuc=zw`=d7uEV-u}9>qGtB++c=wanwlc}%c0?6IRk?vkU4n|kMgNeZB^APkp7)) zQ0uFkn3%W_Avhfcm3TgZF%e7Sv-+lVn{=Y~Q59^NYUMU6hZ7a9nVvpAVg1$`-yDgE zh~(kydJ+cGQ}vet)TVxV!KQ#o>z6e*Pfrqmq*uYk&Mpn7acFG9V!lXAd!05y8W7SV zV5gi3E~>C<$kcc{xY9f|WjIn`%)`aS#jnjGnF$N?;L!aI>n65?k1 zJ0nfAIO2+ZJ_B`7Ud_$T;U9Ye4Iyvos}O7HO`gXW`g4cy_-x-}sOb;r%6Z<_+Dm*fAaV-K}=kn z8Ke<-es4In3De$WC%`Fzb#l6Z$K!QMtjPg?y%}9IMbp}A2$A>KbeFmlVlX@ACMGB* z{{vpw!n}QaHYZ(sXYp34fm-idz)o^n?4T5d2!sxVRlt`|fJ#V6_~^OG0yh&95~`}H zJq9I*zIDqK)|fzkNQgD-`2Y;Y0}xOnIONGMUL-_~frSQyixAj}J-xh4e{U^@L_|m_ zDIx9kPftfe(b1Cfazs0$qLPy%fc^o3Fb}As+(HP0Nt;8-V%$!FKh@$F5h__Z7?xR% z5l`0OO5fBJDazW`7Syq{wRM)Q$kV4!J(u4ETe91*uy8uVC#-z>`t|G8%CNA`EG!@a zRNv_6DQ#_SG#Xt$JgiCCCYW#`y5>*&Oj-p-q{aB~^>qi(o+BeG7s!=P&zw-ixG@0> z9HHs}DT64Oj47zyyb(;&B99FtdNJ>zkri_C2;@`uKf2D%-3n;35If2ZlpIsATz)~# z<|5$X=x0h}(AWJgpb?Ak8^#B$8}r*Jps