From 7876642b2488165f8fa0c50e2106cd059bae606e Mon Sep 17 00:00:00 2001 From: 3doc <3docsec@users.noreply.github.com> Date: Thu, 26 Oct 2023 15:35:04 +0200 Subject: [PATCH] Blog post: testing for audits --- README.md | 6 ++- _config.yml | 3 ++ blog/23-10-26-testing-for-audits.md | 67 ++++++++++++++++++++++++++++ blog/img/spoon.jpeg | Bin 0 -> 57674 bytes 4 files changed, 75 insertions(+), 1 deletion(-) create mode 100644 _config.yml create mode 100644 blog/23-10-26-testing-for-audits.md create mode 100644 blog/img/spoon.jpeg diff --git a/README.md b/README.md index 85ca1eb..b22a21b 100644 --- a/README.md +++ b/README.md @@ -1 +1,5 @@ -# 3docsec.github.io +# 3DOↃ Security +Independent security researcher, active on Code4rena and Immunefi + +## Blog posts +- 2023-10-23 [Testing for audits: there is no spoon](blog/23-10-26-testing-for-audits.md) \ No newline at end of file diff --git a/_config.yml b/_config.yml new file mode 100644 index 0000000..2934f0e --- /dev/null +++ b/_config.yml @@ -0,0 +1,3 @@ +remote_theme: pages-themes/hacker@v0.2.0 +plugins: +- jekyll-remote-theme # add this line to the plugins list if you already have one diff --git a/blog/23-10-26-testing-for-audits.md b/blog/23-10-26-testing-for-audits.md new file mode 100644 index 0000000..bb7bb17 --- /dev/null +++ b/blog/23-10-26-testing-for-audits.md @@ -0,0 +1,67 @@ +# Testing for audits: there is no spoon + +2023-10-26 + +## The auditor's thing +All auditors develop over time their habits, and some include DO and DON'T practices. For example, some always look at the docs before diving into the code, some force themselves to never do, and I admit there are very good reasons behind both approaches. + +I don't have a strong opinion in the debate around docs, but I do have one with regard to tests, and in this post, I want to share it with you. + +## The bias +Have you ever looked at the code you were auditing, then glanced at the tests, and thought "wow, these folks did a really good job at testing. This area seems well tested, it will take me ages before I find a low-severity here"? Well, to me it happened a couple of times, enough to realize that looking at tests never worked in favor of my motivation. This quickly killed my appetite for looking at tests, at all. + +My thing quickly became: NOT looking at the existing tests for the project. + +> 💡 _tip #1: forget about the tests that are already in place. While they serve a purpose, it's rarely the auditor's_ + +## The happy path test +However, seeing how some code works "in action" is a powerful tool to understand what it does, how it does it, and why it does it in the first place. So I end up writing my own tests to all the projects I audit. + +My methodology is to focus on one functionality at the time; for it I would: +- figure out all the entry points that deal with it +- figure out and implement the most basic set up that would make it function +- call the functions that relate to it; the aim is to have a working "happy path" + +The most important part in this process are failures. Failures are extremely valuable, because after a failure I start to debug, typically looking for answers to the following questions: +- is my happy path failing because I did not set the project up correctly? +- or maybe the project is not in a correct state to work properly? +- or maybe I am not using the right inputs? +- or maybe the functionality does a different thing than what I expect it to? + +By searching for, and finally resolving the issues that made my happy path work (yay!), I secured a very stable ground to work on. I understand, because I successfully tried out: +- how the project should be set up to make the functionality work +- what is the state to make the functionality work +- what are some correct inputs +- the project's behavior + +> 💡 _tip #2: start by quickly iterating on a few "happy path" tests; then, use tests to experiment with more complex and unusual scenarios_ + +## Reason 1: the spoon +So, actually, by setting up my happy path test, I did not really test much about the code; the happy path itself is something of course every developer of the project focused on already; it's of little value for the audit. + +What I really did was testing myself, my understanding, my ability to set up the project and to have reasonable expectations about its behavior. And during my iterations to have the happy path working I refined all of these. + +> 💡 _tip #3: do not look for shortcuts in your tests: the goal is **not** looking for vulnerabilities in the project, but rather surfacing & filling gaps in your understanding of it_ + +![The testing spoon](img/spoon.jpeg) + +## Reason 2: the blind spots +Another reason for writing your own tests is that very often the people who write tests are the same who wrote the code in the first place. This means that the blind spots, or the situations that are not properly anticipated, are the same for the code (which may misbehave) and the tests (which may not reproduce these given situations). + +We auditors are developers too, so we too have our own blind spots, but since we are not the same people who coded, our blind spots will be different. Our testing will therefore likely not cover the whole functionality tested by the developers, but may cover something they didn't, and that's some precious bug hunting field. + +> 💡 _tip #4: your tests don't need to be perfect to be effective in helping you find bugs. They just need to be authentically yours_ + +## Reason 3: the PoC +Not all of my auditing is around testing. For example, in a one-week audit, I typically spend the first 2-3 days testing, **and ramping up my understanding**, and the remaining time checking the code line-by-line and reporting. + +Once I find something that *could be* a bug, having a testing framework in place helps me figure out if it's a real issue or not in minutes; and if it *is* an issue, I already have all it needs to prepare a runnable PoC to include in my report. + +> 💡 _tip #5: time spent writing your own tests will also pay back with quicker verification and solid proving of your findings_ + +## Reason 4: the tools +For testing, like for auditing, there is no one-size-fits-all technique. + +Projects are very different, some for example benefit greatly from fuzzing and some others don't. However, the more you use your tools, the more you gain confidence using them. You'll also end up better knowing their limitations, writing your own tools or add-ons, and this knowledge will make you more and more efficient with time. + +> 💡 _tip #6: time spent learning and customizing your tools will pay back with making your work more efficient_ \ No newline at end of file diff --git a/blog/img/spoon.jpeg b/blog/img/spoon.jpeg new file mode 100644 index 0000000000000000000000000000000000000000..cc4a8974ffc9fecccd0b0acd110c9c0570ff8fe5 GIT binary patch literal 57674 zcmb5Vbx<9_w=RmiJ8YbdySux)ySuxE;1GP{?(XjH?gZD3OA<6dATPgj-nn&ey}EzA z^;OOEOjoa3J!`eh*WG_N{~khMD9FgmKtMu5KtTQj#NQnVNeF1D|Hyx?(EkJm4(30C z00##PhlqfLgouEMh=hWUf`p8QjEIPeiHe4ffq{vEgo1^Qg@OGqjqx8PkpC$O4TJEn zAOK>x?w{}EV-e-=W)BS0el z%O-+^_?P*=XG1_iL&Ctq{oRH@frf;D!hpv3r(x-C#Kaguh;dmt05GA+7i+b0gEahe zwFrIst`%yH$~iT$f08`oGRK3!`Ki9N=S|k-p;O`7j%4dh6#dEP0nv15{%$6L;4@1vHe*KZk@zYu#2ZssC~OGpk#FJi9G3s{rASGRdO=RwyM3ufsn zI$wfM{r7wqIA(76_S70@9s*?xs~iyk@D<^4)=y{=JXJsRr8u)Gc6d2#xfQP(0=V!C z8d){u7KI=74mf@(nRKQ$R{NK>U&H$J@aZ28gna|h;JarISiOFmrC__)RN-iyHvSkj zZTe|K+9Rl%AD562ZOXg$<;w-BZrk&Et@aJXDT*VWitZ0({;pT5Y5|XgW`_XJ=lCYw zF2~1_(2$27rAy`Sl|vH?Yq@s(nJ%6i=R2#=3`3=!G9&cW6>fA0^i*k1-5$Vc65)?xw{?c?&)XJv4o7^-f?~QnLKY~x-Dcp+xVUWDMe8qrA%F#gK%UF55Sa?FvtuX= zmnJmG1kQchVL{JV!sq^bM=*{!BdbQ(6&S4rHH+O79+14`sx(zFZO!cp`NN9dNMk57 zIjLB1{+)NEugAES=XEPr&j$5y(s+_A-h*r()?2r2VMZJC^xD2emmOkFl^}K|*ANuei zqZK1`R&h%7w{iO{qd`|1o=6OeuY~%$z4*Dmm>rUa1@MGD!wtG|MOswB7ZgfQJye|c zUG*A9y{978lZJb)T5U1ra53%VM)tfp`4q~+T@SW5%xuIHv~0`5i##@@>kWtYQaOrDxwx?d2V+CKzp(~teMtCYh`jelsGtx}A=zUi_t8F4 zw5!7hvLcoo#4U+`)96)EDUzLDMRLRb;&PHp4kxsWtF!6caO?slj<1=_Q zH>o11cqd4H$Fb)i^?75|sd<;1=g8^ErQ>WNHPz9~7BcGnU-L20_7&}UH;V%8^{@uO zI#lAR5b+UD4(L`?UYo4wpPXj}G|k#mmfP2u+930rUOOBsu7l;t{|C3Yb*H^;Eg?neRN0`U5~0(d2)L;c}O1Qj^ddx zE=)W!8J?YW)0JzU@>63O8}mKQPGBnyoX{XCNia*KQ_m`;O<|6Zu3181*m+JW8Z>q{ zDceQk+l;p{@P(;Syz>hd%C(Pm5$+270HH3?XX3-_ZOrUcc=GPpe{?Htn%j1j>vl5> z_)cZk6|b4RPs9W^DHWH`{>S?NzH5{eb#8H6bu}!{)Z3iQ`%u11+^vC1fyrboY8^mb z;$Y7#SoNLlo$BK0SX$J{^l7p&L~zmqUWQJq5si|x12AE)z)MZ zfi1Z|o`0UNJ_nO4{4!0_5S;=s3pH1`TG`p$7vxypf^hOInU;y&S0>Gqg60B;x=qIq zCXYs|1}{38%t{#0{|90L$RF@L>l*Uez))j*9Sk8Q#0F_D%8@Z;UW(rzE_Jv&@SMXi zez56(A%t{nrqHv)?+$mFw_w^&-$yS!xGwq@4P)7`y0wG`ESu-V@aiD)iN?S2**@JQ zL<~P&@Jr2+gY8@5{ZZfbBZnu+3PkI{53@8MBsH&x{VY0zR&|dMAd^B4d8q#zauH&T z`(|trox=GWEcG^cRC@0Yn6z^lGzhQ{=^B`{ec?Al+*0uhVjteQO+J^5;fLkcOVd;w zzPE4etbTx+Zxp;YRK1>MlY^D(Ix?!8SuT}!o(m#lEp0oqg3d`!Z$LrpE=)d71e%5e zINjCj#!1|XgWP>nr+vdx1&#X^*E|9T8sYK*YX7He|Mw@Ab~@HE;@NN~jV!7;O}lqD z;Z|k+i1dc>2EE$0-MrzMRy5vJo1+Uf@vBATjTTE5GSF>AE3e%;-Mf^aFx=8pH{tTQ z1ajlk#!?x-!N6*w5eLkgf4hs;1g>7lT)ZED=%rkC&;Ckf_ojlB8x0YK=(agi&)tURq0gQRriIL^}BfepV3y3Qx;LGkaBz;sSeD= zlH;I2I{7+l95y|bq!e@xH!(5&jaw{uNKd6hMt`1xdZc;ZSKnu9Pr89rlNj~ikRCAkztDn?mfGoQFfd&8hgCl= zh;p`GcuSJxg3UESg9{3tWe+>a<=z$|w#76n(>B2`BhliC4AqU*B6O{2yj|KN)@U2D z&hDGbW2tY)fGX#vm7cuG7f^1TiroE=RUQ+sivfW3w+WuFsSa|Hbc|L+uShFp-x*go z$vO1AC@1FQ20YA@%IrADm0tc_c8|@Va}v~_P-tdqcz*$#eNqk9 zT!fI!`pKP#h*Vus)0^XH@M542nhHgbMj1`q(5H>Ac9fiUeuq3!cA#^YbNR4!SAb2| z?t*TF^eYmo)m*AXt8IszwzNa8wd9zh?xn=4W@?unvuI1I9oz9zqA3<-f z*~;A|$8>f8Iq`5fRRV*|E8s2+x5Emvh>j(g^! z_33ts(rA3{wDm;6S>QnD=B%tsc+oY(v^iLPbL;Ri&j4nDRgnkaO3Nkxb?rEm2fn|B z9k+$9w5-CDRt~^n4qrM`06t?mv$^(fm}i8!5zy)?f9(;@1d9YwAtiBidjyX_>~><6 zvZ8lw^9a^|Sw~6#ku%%0+BaoFTa{c6{9%KmK7eY!QJ@7$oHZ!P!n%TXmEIJZ#D3Ij zK&XUg7*{zzj&AP1A&8R4qMMY+jx33H;cfn;`Sr zA@4((P8`w5&I@1I3r}&rey%r`NjNj|;bUr%NQ>DgvB?8=?<;GHrTglyhd09%0Ss8J zdd`LGr|XYW(75L0N$!~Q6v3+k0u{fIsAFvaNs>zQPQlFOTBi|meoh6<6xem)N2==M z$G#J4jTmmQL(QW|JMiY~;lrGqwNmMqx6oSkWA444{vO}&sh9U~_Y7NwzLccwCXKtY z{o3JE956=jgcJaHR^t#U#C?Xm6{E>vjzZJB1abO}b-*Cay ztO|(nl<00i(1%Rw0fp15X2pJ4}p_rX0mES;3xUrpu%CpocB*TY;z(&c^L3=#KBCn33j&zkRA^ZS7>5pYd6eJ?ea zD>usXD{s6LB$A3xp;i{!a;)gXS*2)wX#kg{;}ec{rXa{Qv=W2u5vos+e4jlNFLIJ+ z5!ih9WF8lYrp`EYIQwsIb?WpLKzGDN!?NpR74MjH>2h3I;iA@$2@; zLcj~Hzur!U3V&p+32f}+{iv1A`u-e9!H}|6ESF$Se|X2jDPOR=Ro(v;W@7@7FgM7? zFO~~u2k2SoICnPRCGOwtQJy#r#BwC`2Nv0KLN zU1|$tnrU999R+RF1$`t*pE(Dv8hyX<6iX#ib+BAEfawbe$emUT0!*c1E;ua|1`WSt z3SZ=_nwj^1u_n5aX$$bPkm8rmh<3PhFk(!=c1DDHJ*#?W{vzeo$?C<*AKZ+i6Z zsPk+jwCHB?t$7+P$9KNAo0rD@XBlFO2G+@Z!BHe=F1Jy|c;~F_SbhHt;+&P#fg^7y zS7|DqH1G^rc4riBBG0*eT4~15FCV$y#}Q0n1-qVwB4v~vcCIlkVu$soGXszh}o{vBjS2br~sr1eK!7U2%)^JoG&*Ohq4PyP-Xndedb+4-I>Kr z7zdS_nbYQznZ*KHMv_}l-YE4~+&y|@K72QBLo>)8Pqjd8%Uy83koZ6w;dkPcKEECw z9d@9fF@Mhn2a4>kIUpxND(<(lp?Yv_GnoLV4YxZ!PsE!(9bN^ze2_)E6{)qTj?;(w zCC#I{$9e6YEcn+h zRo)dv$xmSE0bMG2NzBqMfpWMI`yqTAa;I88{#2U2Gv6(NTI#a;<Ys#(I

p{M?L1}frRHTQ=sRSa!Sa)(t-cjm&x;@g^ZqKP zHV&OQ$eeI>pLUkZNlzbJLoZsSggY1O`E;wj&j($_0H;bp9Z8uBCNAq}d(U`Ze;v-y z^A*tLPrFH@2ULA7;Y>hD&`XEoI^*5j9Bg#x!BXI=TmW0^R4lly!rVluRjyi*W9Gv` z#k?y#M#P4#NP+7WXOwQEA@_`>;N^V$qxvEG;yLfB%K5nO`?k+je($PcFj9Y?SCwaa zE;>)7FKPZx@I`yYSjj4{OYdd@tV@b-8GM##UGjxP!_3(SqanF=$XugXOrK|THDg_! z8QjqdU{J}v`^jZxy=c9m+Hr_yJPumf&ox(263HcFi};3Qcxum65y>4hB3$m74B(^m z0wUPYVGXVKAPYU#fQ9+`YkNz(6`IscpG${ZWHQC?TDi2&IeeE(=XF_lCXh~LE^uQ9 zG&{q%)nFS%C$MIeFE`{t3bqVy{XY0a#^O!3w0KUof}S@h6Apsf6npjB;d%3(+$d<- z1fpEpog|K&6yR?f2FiN*YJ8^)^emvy=itgnTeZ|+dHniP@GhBO;WY{L9;BXcB-*iZ zY$WZEoHUM`D%kZ^`yD8d6{6@;pp4eC-YZ9wCTP;WrKj^8RlZ~3k?_al2s(!>$n&=s zFSgITCKA^c0EX{JTf4~SXyQ#9=O;Bv63KbNoscNzjP9C%Ibfo*rL-`?p>9E)abxN+ zyPm$wo7QK&5r?^V8ZnE-p2*p{2bMN8L6RvK;IjK2QF_foK8fa}(> zX-E`ox56=%ZPYGD+pE}45P&W}aUEyP(cj);kw|4*VE_}C-%?vW=HmXyJ(e48-|X07 zD}!IEmp(g_ zf0_gv+VxT7hE_uIAI*yJk9~!Nh5EJI`SUNtl@0pp z#{+86Y|K2_xUTuYDj?O1mc1M2KY8W*`t?KQP9$rSP zYARkYGMcg4rNWfgdjEhzmYHR?<`j@h8m&%BouU5f8yVeH_57BE3_E7VDF`!W+n#aa zFy>0bv~qBIMgTl+UwV?C7a7&qhmPsal23>@RwwFOjaS%<$A<}vTb!+9`eJM@sa0kF z>y^k@QZY|| zH$~_L$^N6*U*A+Z?Mwb2{x6`%!p)-E4vE0IhGr#>3hzjlHe-kFkOfBasuv?`oq?5G%27SC82 zD_?gssEy_P-0ZKu2D5(TlbGdebiU`M-I^V@V4H^5!3Z#UyR&T%+Iv6 zd9w#IQ!)XBb6Joj7!e)y;1FF!_R*>`e)CY@8q3czyX)ARsLU{h9Q}p(g0SO=E_Zdz zg4>r3zl-U@Lky3hoCuxt1>eU*^_LEi)_H0;3gz(`)vp6CS7D z12k{yb)Iz+-Wx}?`%_}y4T7b$tJV5L^g(IZ%NORAkOA4dmIDG?t$rjm@CH<`UF!s31yiZZA$Vyg$S z2u@F=H#@FEK?SehRCfEQJ`&tMAEbp_3*WiRS)(v){EI@c8fU#x<9S37p~<>!$tyPe zs_!=hy&{9as?PthUUmRbGcd`jY^VDIZ10YFo39I4Ju1UF86>eso^l9wsSr7viOC&vkr}T{B_V=fwx3!kkEn+rP$ZX40!V zWo$&$vlK0nQE_LJMT9ihkN552K5qoyY~Fru5ahS28{3S3XN8hxvB2p)5c@BAN!49Kpo6k0oUws<-2St3kJ6=RYl~0j z&CJ9D$Q#r2dHoJmPs-NaSmm8Zyk?mawvKX2?VDy|rC2`Kq7=ZjCpmjlLg|6XUJw30 z|7UqYIx=rIyPYUATeqE2)6?HsM8h<>W7;ZTY*CA92aL%)NP1p_(oPA8znZXyt*uv? zbAld-^vMFZIr#XLHqPH~+jZzS==&ql z_~wkp8-x~SFih+sXa|{3uFY!m3jH^omz6TO84#GRF=d?{5|H z_=)l%4x=#mQyvFo)fUh0KNa(`|I!>N3J-Wpwj_O1>#WFgjuhI*`XaJO4_H&pRcU%A zy2&m5^mE%%&o>Uh@u3F*f#*-57N)`(r!}S8TxF}PuG0Hn9(CRd!Vw9=w8zs+6{pfa z%?sK1xH@h3^lk5SJq^N4^K-^0_mJ)gM6R$a49%jZ0p=c>&` zDW;OyU}aXAMT-*V(u;HfQBdYV2OR*HNza=9Oo2+|A({ z8S1-hx|E`~zKuso$~rp$PxW^B1uT&Sz43LM=|JqWD1kVI|I5h4g@Nz11E1*f!nxJl zqIhHMqK-!E+@7@-pl6Z?gKE9mG*=$YtEGmW@DI^X&%o-mxUkO}8!-^ANeZ*Fj=Won z#t0-u6uiDcFRu;nDAqc8*5(1o4**LhMBw379t3 z@XXQso(_g8@W^!QYl6gRTkmF1biAImS2rn@ZH(wxe4AQK(doeYu%4v9*)-Q8MaNWI z;&`@R`z_FMvztY|>UZmR62p>_kMcTuYR!vnc`Vn#@D)*;YI*}l3Yw1g#&<7^?Qr>T zc>2|TpYq~*M&@#|GP)Nx{Ls3ytk+iWyCELqlpUM>9J>tLXJwRmY_)AHY zt^GF(X9Xhg>_m0o+56^?=zn>-IPhA*f=0!j+QC5t_Y4_ljW1Tli+o=;-@S(KgqPqh zGZ5>YqIROh!A4azRathmSTc*`K~kGlA;u=$J?PX>L!^u|1cOwpM61L&zq>g^9aZd zr)yhfn{cmDdJ!JGYZgUiopbN=NmAqN)A)f~n@%a%^;vn+QP-b+?8IB8|NS`Q@rQcp z$#TxzFW%f~Z$;9o_-=H?)Cxio_5|_4wRiz*yn=JSc~bU}Dn6~>gE@S36$`)Qx}y}U zx}2kgLv6eAS!iEN!xGeHf9)m~7u;Un-ik1zJqV36(_H{uK-UkfNU+s@>hU2gCZZt# z?y*yD+bX|y586(ir$2#$;|zA5H=rcC(64)I$1U~T*l5}Mm0MA~NtOn&89IjZe-=jI zbW=J$?Uk##`r87TWyfkw=O3I*Uho_CI!L!B0FNIm!K_TN&qjFBAF_YOY{au=HXV#; zm6@asf=Z$SMRUW@~H&FX)t`mdBK$*VHp62;VY5TQG(l+ghr{ZDk+& zn?fK~xRv}o%6*X|T#SNxo5c23ErPqUUstW7qfhqS8)G~L<2AdQd>=uUJSpSbSt>+~ z$4#W+BtNw=F-YpZ6@x9y85dV}(geV*Sh2ZrNeN5{0gg-+KXl!!r$;BG@IutUT-z7l) z;x?dHexES;##YoyUJlJxGzbfi61FSneoS5&9R4u8)^F4Ei7_>Jt#g zv3G*NdBwe3FWU7N0*`C5l-?sdAO1;JzZWq*XN(IjWqW}(+gh-E5?Z9{z+NN@fc%6K z9pQ=dBW)WB@NdG9<<_CzIPebQJ+MSRuvfVK4vaS51sR0_@n3j< z-eDn|Q@It^7b=PlesbuPefCtw>&m$Svin~%+)?u`4 zQCMMLMD6;!%6t*<$B#M;-;1Sw;4rRNeM@?GbYWs0NsjbzV4c|Z&mG(;Vgzf#vR&{Or zULcpEwCmvLMQK>aW-P!HOHC-GVlok@m9z4TNNdh|hQ^Ak3a<&=cYh3+=fwX?w*$8% zkAN27jgze6#GjejY|33soTeU~fweqN_hft7_IdJW4exsMC9!}ZeA69|-9Nt$+Zi=; z?t59ISd#W{s_ziNC?=Ga1I}kTL5u6oo@inU5^q(C=}g{lQjyw|`c)w6LPwDiOTidN zO|+K35Ht4}E&e5P5(v?dV?f5`FJ@c!DA>KO6b&vanz(6f`fNX-MCMU2^;V@927p6BVqgEeOF>gZjuoa z@@F&hLu$gmV>SphYa_PYqmz1Iv42Oamx~n)6|8+I4vmz1b{#ZaBE)MPe9ZotCWW(q zgs?LlJXR<#2>)5CyD&2X8F>>XicT?}pmb@Fts=@%wxsKlAb%qn$f^5?+86C1pBU?9R%ns0%n$>?H$~BbX zcwd7suNEs19W*R(EaQ({XU82kxmwPx9Vud2gpM~m+%1q7sy#!z)hwC9h;CXA@$j&) z3Kpu3w)N|NoKmN`Aj*iNg_#@)`tbyhC;jX9AeouX*_9Zp!ZbF}pLkL=iq=GaNmtu9 ztr|%(!|78jQBfrt@-5mDp>?1lk+)DI*NoDlB#0J^)V*owvGfGGP%4r#YzkgQz)ISW z53C@fODl#ckzEl*ZA%aVBgsLeNbpT^61|+<=|Yc>sYnUeU5OT@$K`jom zG$xUkKff5$E|fIH3=k1qsF1NYu52FYc z%Mf?m&1gYZ)99sgbG&Syn_pve-}C`wMih#rk>M$hgzW!?NQ?8Vui-{Z0cLiGguTu;!}U2FY<>`EaY2V273>S=R8oqqy+Ft%yBu+h^*28W`O5JOe>5`fbA)z_QRT5W1Y6 zfmW;c#1fI@UDOs^*GFG-R9YJ)tUq=v@ws6|eTQq$A02F08N?@PheVM?j z>6B(?kn7rqa;2wTFIpgMZMHmf=GY&n37s&rQHU($*SB&jl^RX?VF&=R zQs8_S7+9C(!eu>+w$ZW~Z#$a_#Xr_go?(_NqAkY`*>FkY_az`xW&}A%(ueVVGDgn1Uf^d8Xp$3mQ-IO;9c4-aj zD(o(KFJ@$282%JciFJ>P1GR^T3fXDWD zEA1?HMU+P9P}p2D73aKK7LbxsM7?XBsk5#TPJ3MXfqIQd>tMzHmI459sV|pkkvy81 zZ8tV3q z*0DZvi3^8iND-Tyjl7pBy%!+(VWxnVco5klBj|v>yFNc-3HC)9l*>CtFtDV=x0sWg zGv4+>@wCd@agx)L6`<0T%lr2|kSRIjxVNbIW(X#0%e+tf+%p6i5uN3Eg2`m(BC^=2 zX_|*6zr~2>uc8%&;Z@9!C0Z4gU~K!?RS%ubxYR^`)0G$og{=k3d4=s`Y0sreCAZ)4 z{!}>w;J7}HHweOA;uC=1B7e6eHw-)elwC`bKW*)WrXn|~+8LH3mU)M%`#00+VkK%c zk?sZUNF_EqolKNmJZR#A+j&583cm0yh?)Q=<|jGrK;csIF)Nt(aPsJ+;ii0s&yWoH z!VC)V3#k;23srH~{TPWIfT~E`IoZ&HII`GU%$mm6^ab(B zT9i4{Hkr>ylR-=&fhNEc@u5Lmkn{=qF$+d^nA@?n5!6>^ zI#Q;pnn^~cF3(KbW+zH!7aL8Wf}BX>yH*7v4%HLhBV#EQe0ft2oa5bzC7_Xysf6## zS20fszJA^sS^RV*=o+cN)~cU2VMEDSZ+xLZ3)6??kO>x{a^DRl0~U;7v?8)4r~cdx zQ!*%=p%A_2WVfpN?(9@M=Jc3Z7Da`S{N8c^F{5as@o%l41c|y|;8<75ja(i8>%xQR zL^dOs2ncubH-{!mwfjKh$BN?5j?XBL>)B#2Xh_E2r8Os#IG!qQSDyEb&ygt9K(9+r z6t^M6f_{gE0lM8bqlQ5cg}!P+Z6G-2w^j{(WN_a}n6i@Hw6b*GWxAYh)@%TZEEAx_GA!H3z;qOgJ_1{BWBz zlyGjEgsyANK7TYAzQlcExk=fcT=F)UBD@{0nSE^&S{8*vv1o&p3~>kYPF|tE5Tx|+ zz*ivYw5Y~d!){%Z2I$bgMK6GIrKI45;UQLE;Oto8eQHkucvq1u8DpS2OoL(DtBBI( z3UG_<=prNSOY2)Z;p{C9^~Ia1-@e>8mT0GmcA2&3%y-@*MbsH)L7lWt!H3)#M&jT= zXj8k)1)B=ia+N^SROE?Nr;Q%D$8mdPbqUAE zrn1Emz<(LNRs4X#D*eekhaaZ`Q-$>o9Dx#tfw{xL03fK7SAxMSeQB}ZPKLU|c3t=h zvzR+hHr>eWNH|bscr#5+=DA#&tG3-d+49$L1QR8htEJoB%caoQsn)8PGIg!zISfdm z#w?UQIW+C#yQT~qCk#18HR4=aw2vdQ>|qe8NE7bsY0ACUUbp0ww7gLnvP#)WY+LY$ z>GiYLaXNHQz8>-=lJ~;Ytq5ywP9>ePcSjJ2C(AL9KuJg_QJEP63;N>-=6!r>V_{=r zIf!M(5NS}MOANh2c~Bu%r1%qtUD&U@CTtWE#_5fqU0{T}#KZ3j#hXsLZM+LnJKSPI z3B>fB*aVXV(FcwwC?@>V>rwn~=ZaEHuGwQaVT;z_lxUh$Q8#3_aF;ujoylXYj<+)Ogws2H1WBw4I4yUgV!LCq$JGpfaZLUY9n!8B=Kc zUnD^w!^q6JhSBW!m9C0)x=yFrZ^?Wql|;?j*1fq*zAy;ST)tG|1gVJVG$*9~sY;oK zJhqK~52G5s2yP=fynrm~Y`8+UOkXs*5o@mz+vq{R)-x03A^97AG%5b9-O0C2U@z?{ zOkhH&4_5>f+yir1)1F*{BR59#nH1l$1$05qvVTmkbIZOuErpr3~6}E&T<2uYk&~5U`NO?D5*<1uud= zOm;%p7MP{^jHdDsJIBylQv;Ad53|S?Q8hx~EzYhZ)LiCv{BJ;zU6Qm!)K6Z+_czL5 zxek+|x0z-{hrQ)Vk)#QGVCTDvq_%O+cxc0*P%FJX$c@W4!q%m7Q4(+lq^96 z5z9I6r-a2p&Ku_Td<)CN6NkkLXu|vqZvF7HcQJ%huj-i;JtWt;G)i0J(n$err?$7!$ z$cf57CY2_(5{-C<3VD_w&7D5!ogEZSskb?Ty=Mm|-lMRwDibI{mET-2cRqhcnFAyF z+RL~y<*+v$iao=GuKbH;CqC48f|%jHx8w{^IVLnR^9YEHWT}jarzw(v`%j~2%f5t; zhUHUM@BotMwY~B3Zh6u3h!dK!xqxLhx|(@9{E7nI-7k{xThKQx9C;~!)`?)H5^=p| zn(8T?h+~7G5wg2j$vOq{y^!`ldiNiF*2bBIH%1JYg*R*Up3EQeNv`kpc zdPpn;>M;Va43PHB9mp5)RxC7a$F`!xF?D}3o5X~(bO}=w{crM;Z29$2z_N^rbk9$Pm=C@+VqsJP zW3>`bQ5X_^zkfnxNc_Q8defcKJrf_jG#gE@5oOhCtIkrqz0+WxO|OqNqJuRcZpThv zsyC}_inZ&(iaO^@JYvO6F`0JA_F|UFp9o!7#+-?Rey)l-oKiX5o&)U+nq~qi=g0T} zFubOLrtIY(KL;* zep!@wVxDC~w|l!pv*e}1l#67RK4ykfB2Ps^AMfpy2k8LG$U8KpfzHfQNBWpTyaFnt z)$7Gv=J;Wj#{z<&o>;vFK`b*8J>K#*CX0mtX-6!sXq=;@&M)f3!-GrgS0*^E31ySF zbm1^(-lsnUj0nkjVcjyPH+TuXo2+#A3K>hiT}bj^?~1Ms6nZr9dW`9WI2(2VkQ~?E$wTNP^MDcVI&8 zFq(gZxV}{?BIQmPex}S8Q8bR5DI++Zh?f{4v<%bF3AamT*y#?K(&AK=5v{L^0#(yU z-fdE7J}tu@VbS_)adwUkui&T*Q5tVi<=3{*w@S7#_nII}#33`~x<9mWD7h-vLG>ud z`LJCc_q7)UH1sBOHvsIs`FUWUFU_C9(U;gHDNBtXZ1Fm{G?3p;zWX&49d|v^up*<5 z)E&)^A5m$nhaM$h(J)_a2PvZUR1b`ouorwnjJ}M!SF{3T*lsigbp^Z=3^-#}aN-y5 zUr;HcjtSP&m|n0Z>D`3_5yov#u2wZy zSKlb~*&BZ9O1=(J|9G3<4T7@q$4pZF(;=*G%da8PK#SS{Bbl_WivaUzLSD%jc@j-< zy4Sj{y$Cz@g?^FMnqdsqe7nxvHC2J&YR*$$sjp%tBQYx-DCJO%Zr8*FR_1qw7D}W}&bxW_{ zxp7A_9>+a4Jm1*7!R}bSC1hAn!`$?t`fQRHIHkOHlb_pzhlwSSpn^qFOc^v{C-kd+ zOg@ z4ti+pVk+}Q=G@xn^h%`1py%xp<6j6GZuA2Ur5*vvKWHVsBab^Akpj&VJN|v6%9bMx z`b;x*D}_Hi4jhgOR@NH(c&G?@J05Gd1WIpFSu(*Kkk$A9HaYmjGMRgP!OcrBE1d6V ze^#js!6N<((GgV`LRMokG1gxL)>{;I=g|)K$vanG-R3!Q<;}D|6;a9~9ne-OixYAr zF$xAg`&7O&Dr?Vj5XuOPePc3i?}rBg=&@iA~Go#MKgC@H(gA~ehkfdD^p&c0RHR{l%c3cKwPqiQ z%~Jeae}Zi=#L~)?%^RS)gRxG!sglXeI2RGOTe5J>fQcjkj_jTT0L{xN+7(+QpiYTH z;XJOu!X%xrserE49pa4Gv8F`OiC_=s$zO;$>JbhwiVLDxn%KlUH2W?dm=py#TEkvu zy1@T@F$f|G|Ixkk_!zkJ7Grqihnf~Bq@u$QW&OU$O;RJt-_rKx$<5ClK~qU^o&VlxzJO~zeaS3MKno8fuIsu6-uhzt&W$UZ`^JnA{ZNJ$nqk$x}%et2F7vs5Xdl)MA=+)FlmN&7qWh7dn#jB7;f8*V zdA0zcO-q~zZ0dmd!`y&#bk0XtsQr^xu!8%z?c>;!h38TjFCeZf8Mk(pnT2BqQFk_5 z@MA)+ZT9v=f~l+AkCVJtN{9QtEUB){#{E_Jl4)<5FAM z4KjrzO@Gq({TukwZ45#w7$(aX3~bJm4TAm4&SzfKmC6}>$IP!fY*D)d!gF@ok%S|S zvI9a3$CYg?tMJ$@3~kaAzR<0yoh~>%4vq&z_Ic%yXdWpVM9a%yEr-dmjGpQX%_N_= z$3);(XWDQmBFkdiO;IBdeJv5pF#vC-tB)iRe8bvHCt~W%ccy7gLg6$>)IiLT<+@S9 zpi-I5n1NnhvAHQlPQFY!aKjCX4##2fh=nduZWFKp2#2Yq%L#{u?+in`Np`WKz5p<|?oa_}Fg%|HU-r$(v_#8AU4C{XMe+A*6v)hgQa1FC z+sQK7G9)bjk#YWJ?!ztS`}UXxhAjyNj1qy9y4vVemL?a-AbY0nCw^-zqYJp~4Jl0z zeb-iFS8FWER%TN5?LGR@mhP*x>Zq`+=SlA6b7~^hxt@w+KAUeJBMcgVItggEC8-Qh zvK%YaCNL}*z(F!GA@+*ad>1XE>4o*8b4>3|rt!s9tv_sW=>0c-(Sar6!KepuFPgdH zjXXG)<}XAI<)-*1PyWn$iBXWS3!t1ttQ5-DECV50D$Ia{gIF+}eN!lmBYxU{Qlu!7 zNZGKSwenPNX2lfq-%d|DOb93_NN5;H*#C8K9uf)@0~(70o19&o4F-pjLtV^W;=i_b z{ySVR3V9o6OV#ShORCl-5Mhevz4_!i-M8-oyy-LHRqxw(<;|c+#ZjMdMaN6HCJJ!Q zi5<%@jc;6SXC!mHleX#An`K(MxBtyu2yJwx_-igick3dSWeTMAiSF0jr*4Guk(j-V zwM{R2*?kI#Sn9w>hd=y+;C)ec?8fk=F#0pec%XTK4pjcjW#BZSBOyaUP`OW^ z;EoDSwZj!;s_YsXO!XXG7yH3Wj4b<2%URk3xfg$O&Xn8 zs}Pc1n=A1wbJ_yj1aF&CYpQxstd9_7ENKGg7JOI3|3lPQ2DA|^;ZmVcDA3|g@gjlZ z4#lCk2B!pfcWX;=D^78j;K75tyF-xR?rweQz4yJBKl!n{XLo1L%$YOueY0PQK=P%^ zXT@)*x~=?whE?zyyct>xjwN;mDYC{69MpDxgoX9yt!68_51{l>TYcPZb!6FXq`y7cQA7zfWVOFp}a03648f-f8fE z%{iD&NBcyNk^-aE+Dc38J|KQ49{{6FOVzIVixilWAPr@;Y@fNs<<7BhMUU}d>=*SW z{z*^6OPL=SR5>KZNyhOLD@IVX16>tYNd>>uj;={v)QL0LES@x`7$fh@G-n9#K2=_g zvAc4OK;gC53J92eH(me)_m%$JQ- zMTsTgn}M-OH>#B}p+rz)W0nI`#EV4Lr57r4c5>qYm3&&;U`TN`=;H!0U|La6FDFpP zEJ(g3!J#j#v6-5du#Ep@phHZ|OUd=x%F4bkn=Y8F>-!8wskV*0P9&KbPXna;G7EzMjzaFuopqtyJ>&h;rWekW^Ze z4r90yKDUhDYfW;3jBY26m{L0B@Z13zVkp8*6$S$ma~oq2=l7=tO=Jp z&U6I|@E)KBcE!xvkyiIAR9~^DpqsKqb8$ssXNQE7i09xwMxmyVNN!hYhmB^&+$cDn zLEgaext}n+L7A`r$mAq}$Uj~bZu)r}Z^k{!+}&=>hc?TmhIg65@o+$9T_Aqhn6Qww zJOF1fYIYCF`Nlb3PpDcH@f>@?X5A*&s)WXoS;Y{jbw`iGY|R+Ijq^mj}Y>yn2mI`JN3Khl*WPvi=N&gMz-TMDu(pCbMu$S94g{dXD}}< zh>lxfWl}Kxxd^6QHQP6>q}Mh3io+>>?+D$P1QVJZx13FC9Fqp(q_Romy9zHfAYLp& z%t2vuMP4i(=DXC_0OVHfq<;t9Xp{mcfCGIUXt$gzaH^P&+IQ2{FIS}TuyPtr>t}77 zhfeRfI2@zjWGEsM;s-@75mSGWX2Ty{+2X5O@_BEVH^ueYnk+gfw3^V0V9{(ubmp0K z(T%>K+2=-$t!VhURZBtKqR-WI$0%0Z*Qwr;oJXz?P60X2ydo1e)uzcB3dHXFdse|V zvQZ?_R4;!4JLD=7!v=4rUa>KKa{TNaN#7WS>D%)I z{T)Wg`NY=LM$XZr;qvW1>NVRnpM4&6onrKJW&pd$KAUj-H@y@?_frJevdKGI?HP4D zB6IDWMw+%YN`uO?j&P@Wc?3IgO0Zty$t%Jt!s`i~LJ{IidHc({3d1|xPUfj|2O14C zzVusf4O}NZ5A}%m`{38~NviC*2s`tvMJ8U)w7ykb)X zC_DP(Xf`ZbBDw+-vefyev{09{VF${m#w)){QYsxWe+}@De7A-a#4T92do)Qmwu{ygE0@bFt@lc5Hf8 zH4|8JB!wMOy1D)9e~<~|%D1)XO4G&{eHktbr|`3lyd$|GME52xA>z)Ycq+l67xRI*39lNH2BJkWVZYoi!>%y%G^b$7zbE<@cG+f#*ov`UQyp4LR|$s9 zZ!>&yV>f}(OKmu0(w&(IE|+$3iD-Anq!P!Z!_rr``bB!{g^SXN`)1PWHdE4-Xg_fMxMj+qTXcDq>`?@Z%Nv7)g)NZnA7=3hyig$klzwkm4}Pk zvA9gtHRuQAPm&~Q`PdRwV>Q9QTa0MNe2dx~l1%**X2&u-9wpgIEgk$2kv?RaNM|qg zEbrGXxlld;7(}lkUl#nTWJ=f)e%hvi?X8i*yaeGC7Wt9+hSg|Yw=Q1ArW)V&*Jl3w zxOc=*EFycr%jW&zmBC-6qLAyobqr>~WP?M?icaOaJgan&S*+o#l(}-1fMMz$Uad;` z5Ph7*{I3{ZI$AL>C;7Gc)as`v!A#@J3)%o0PmrX4z))KN&H&*Qs6VTvw~#u1Y;Jq0 zmhe%W6OZVMW7>O|7?zAj;InFvgzZSV2()CX7&!Xu9ghfP2KE=Emwbw5$EORbL0GMrI-4rF~cMx zYNA#f+sQ>y9(H&~Aw4Pdz6mRbLfx1x;xE$naEvCUJMAopheKjH6A?mazeoDVPkZ?a z75yD5@~cYY)ZEGI3KA*aoJUj9GzSsZ>Ytbf5gOQS5Yq31L3`YXq?sBA7v}u%x)Q?Y{Gd_0ODEhq$b{4nl$Qy`nrMS_ItkEayV6=X1X_(& zrGwii@G2yB;&}B@1Ax>?y(xl~0^|@V)uV}c)wYLshsK)t7iqnXQt}*e!s}Z_@3s<{3H{XC!pg3NM4vE!CUa}ETj>l(G}u1KI=%1vt}1)4 z)=TSntM59Hgp?QEhaf=v*g_sM7SaKnrP%E^_O_)yUcTs(cW)@-Pu7baWEqGZ7JD!L zU>aLHEkBGf924RS?cFFoGn|wroWU>aw((D>qZ?87{vvIm8ea>1Srah*C36xv_o?rO zg^>?1lbDdhzWUw54=?iDO8>65`aTPgp?3|xiAT%R#qc-fozgSY`D+n|)gB{blx$NT zA;<-LTp47^pFu0t(F=b%M3;b-jo*;#`W*T0<-aFt`zU^%`KUog*a6yX4a$+`;3(Cb z>wd9%nfC8U`lFiFL1oBx{1}Hb-{`#HkEJyYjaxe$Qk>r1^OkbABoA`DAdTs@Dq-y+ zc+Bzek)GCDfr|dmkM)0%@R0HGzAkzg$_$|EDEX$Z-`~9q3XA!(Q{)lFeXHm4HWn0r z)NPG=0JSwnX`el^XDMO0<_Yq_Eu{dt2^{(-&r{V4r^O!TUi{!MT=yv1w4*>j=ZfU! z5U4kNX(NBl7yN$0u0_DWj|1%Pq*9GlTwgn+2+KlndKpWQuBD~uj%7@m-f|Cho_f>i_*Iy z6!vd+6z^7oHK#i7x%+h{y$??a?tVh+NzSTvmm>Twh2y$hp|G>nEaK^LcSQ@vErb0* zkq1G<|aqpZgX$2m{C-z13_u!CazMHL$-mCnkR4*PR_t+VKfH^dgS!`^`B|d z=y#D@(zdo+T3guP+U zPGC1psCcC}H+z8QhZiEMF=VrFr-V7QvUDUK^dh2nDkatv|E8tU!y-I;SS4p|)#@WRaKKhPKjQu4^4@oBio9)*tT;Lx|Jeq|n-?ZBP^> z6R+#eXBXDaQMUm^D$eVXc-0sXz$ZVns`D2~tSI&Ed-6RDtnF& z`qv9BrM9QwAZlG+x%)rin_G~t(DfEniRd9nC{Dqe5USJ zt4w(;=N==CT$FMn=PwqV%)Z(4OVHmDzls!9zNa{8RQ29$ZPduPBPi#^lRb&O-_m&4 zG-%Ku|Na-rK$xr5$50C&ztenKkUOy=!6$7u;C$8Fu)ir4D>o>Gd?#{&>YKHF z#WyYUyEgS_@&VK?Nki9JiX({W;EqT14r2=Cp#uk$(nq_g{JNp`p(h9nw@qj3yI*s` z(=qmQ@e{m@_{ml6k_}|I`Q-dxnSBOnxpFB-H}6PLBn`OYQv|Du%M#@oL%IkpTFu>% z6D=-Jqg(Y!vQoEQDopFq3x2+@|E5SElxB>OnD4P+KDc5k{mMqGqS?1Z^4IFK|GbCy z$HHz#MymJRDD|;l=nn0F;TcALOKzo65E6__@igcYXRx-PCGydY)L>zI#m=3dG~~VI z*6s7Hl<9rF4qqnLAi>i#@7L|c(=i%M@|SbEyH&U98I~#@g-LrFD=s2h(|9C;xL^Jv zl?}$N(q0Xg-t@OPwu6;?lI9pIR;jK!i!M>_&rWR(D3$jLc7|bn?PNJ+7wh-!mG(22 ze~~ot@ouQ!`|^ln4iCNi13QQlu2)}&VHd}0Fd zT0)RHhRHAzN^5l;No`$RHYif?aZa3`02&!-CncaB-;E>qucdzi2Gv}#2XWWYi49#3 z#Ig(j1b@DdfPs_K(a%p3I(yXMxY`k%N0ltF11CTBN*HC-8~NiRkJd60o{gqf8Wb#3 zLK2t=@o_`nz5YY!v!#Xy&SuSF5|j`NYJ^1MiF!BPAZfj6!-1bfIFg?GTLy{JBoW#ljitJ4T5c>S9UY&yNo=}uTS3aPJSbe9Yf z%!&z<&W^GqG}(P$B(HA=%c7*cZEY0u1Jlb{@b7|3j+vr#Qc$3W0*QP*9jkn3k+pU) zEj>UoV|KEYksoJPL(4#+m%nS}F-lg2CI_C#kdpGuO7Vpu- zPRPXi4J zdJc+jHhy?_?oTx$gL&OmM0d3ux&r4xE1g~TRJiK}jI-Zgc^Cf)xs?pP1+oZl}p3w z^NVlYn8GfKH>;faKGa?F5C^UPc-vq{5O!|4K~tL+vTU82E~j?-sD`(rCJWkjqP9J> zZ?K&zaj$nCk15}WQMh1zXYz&pMY6>@&z1}Z!HS&u?mRy~CzQ2LOU~jvp)J>At!_p{VUw|C9 zk6FLOuEYILks2Smoy`Vh*lmKb<(^?KywL8;2?Oko)pR)-59mDhyDybmf96&?)DN-K zKs zN?W2_KE?rJ)wX&RqgW(vdmnrqR9tyIAvyY!`|DpMds_(f`bsY!oD%lFU(3Y3zWy67 zZy+tH6mbv=vTT_qNOlOb;uuITLqg~ zH>Vd4SyNrl7(rr=NjS>=xC@onr=ttfp^aNTm1yY~E zo#geJ5g7Ut`Wc~!g;gqA#Wz!lH)Aj64%?96;+Q#qks`SKs8NnE;$vja61emU)L*!~*?pA}_=7x-3CHIEIuQoMdlNcF@mI z{Vl8t35VZBL!F(@`^i=oA3Vhf-SBV>*)09FJD|w+`capeu%P1ZzqqZK?*mkDwMgWTun;6E;^pGU~5FJ`Ht*O!n zRP1mckUzZh!+h9Q)%d0!)B0(3$k8Rc#oDlb@IQ*F=%#$i2HWt(vpHu)#rF{-x2UyANBifvza04?W4Myx(xHVcF`JA| z%uvDk1BgSbMhPjtogQJuxa*T~y2Kw7L|(BBqSrcNBJC1AmNHp#6H(t3ZvsnwDVB!8+5{{7nDP=l6T$)p z1vzT)P?w3Hs+81zE;v5{(!=D;cC^sJZKDb$))ZRM*(3Y*wFm65*bfHT(o&;u@DPk} zXYzNqVB0H~Qcq|VwS4x9(z2$(XSLqECB6A@p&Q7}7CMWNvlJfSvrAOv@PgLKiU_u= zB9Shhyn>t9?y_TQ$HlMv#rq)9*KQ-!Bi|b#oxKF1YBPk(+n`;A z9PaIpv$q;%Ee{1xZg5ouAL!g+k?(C>z0rwwHdtme!5#WY{8Kn+_26ZF@8af^s=yvO~>ocn~w&%B*)^O*asJ#|n2g4Z6a&5k=P7i#2 z+*sy0oZ%p`z$oh4vNx=$>SM6)6;()DuF<#BOk?eRlnQPAruZ}Hj;M<6q9~R3u|f%>o12dd?%~}lK0GQOl-8~(`GY6 z9Ih4a&+|bm5nBQG?}W1qdRo{GOW`4enw0aT?(-M|KY-N-nf_6pU*lHzziEj;i9_>N$$bM|AcRh15& z>n|@-f3d8~F_=?t+ckn;id*ZPDvkaw`uv4ccDDsgA4B}ryi8p>-TdH8tL)ZH{jX@4nlq0fUO^w*x(kSzeqr0#Qt>Pe%mo0)6eqL zK)(O2_v&S0srUzLNXzfUUVnvU&Bskt6q%5df8E-m0 z*#rc69{bRLoEoemc7)g>*+wg=2&3DH%|sYow=cG#a#72(VZQD!1VRI`O$t$+mSp(l zl;6MRBxr~Ay;LIlorqrd7!~F#zrciq==Z7H$g8I3EL9JqfhKMxsF%FYfuehv4O@}^ zM}LvdndQc}uh2S$@WSU|fWw~LxHV(Flj>hJ4zr>(r+)Z!{pbr@WZ}5^#?HcD`NXC7 zOu01-GX5f!M1uSgJ6_&dFXt91##Ld8QuMdJmx2?BY=cNJ1V=-OM(@xpN9Lk#Vcymp z3%keQcs@W_?fZk~dmZ~HOv*Fvq4~qpFE@Qk8r1m?#Gjo;3p=`SofX>SdDbn^am#O% zJNtugBM~4$epzzj+3?2h-IsWrTq^2fM|q*}5fM~_UaRw~oZh_!e}mE4ub^ z-~)jHCtlgO=P1DyeNCL*m?w11%T<_DpCDp3-r-a4#@+`?o}521Ar(081ABlk=Hwo9 zgD32Re;B75vk=9!a7!Nvb;jl19^b4fQM@42uIKu=7-kA0_C;c3d;L>E})NoGn#C zZK?Ni=c^BvZ3)I6y_CSg>@v(P*&)vn^9bk*zw6za4Mgh!*VH==O^UGfv|-)#l}XNYIorw&HQ5M|&=_ZelvI7}jjI!<_irC$4WoH8 zrqQC9iNxv{YJ2mat^i0_PON+aZUuI?j}cpPq@2Tklj{O^MB6U`Yfo3jgy;U#b7I!% z^a_#pGwi1a=U=3+*wqWBR~hU0hL6uXV*5V;*A{S|K2l)#xMa7RV?lFe;=yZX)J9 z5j|qjiloKoNXfC1H4bqX%sFQM=$-I}BpjrNz-lN~&`De9`?VJ@VX~&5&Z&;wHbdVG zPj0L{+nL@uKh>-bw)|eNUjJiR639yV7|MTVTwOEdSP=+P=S=SPEXXjpd6a2J9AR~|9 zF2a9*CHO^&MD(3(j0@(N)?UL+k(tKpwVen-A>)W1CaRFM(rZ;%ckAi`pjE05rq3U; zZoiiIF;RXP(zGKK>VMhp^MzRiv%Ke>^VAfC@88^cFQ}mI(g3h5ie=0&4yHY-cFG)m z0gCF~kK`?WfBsZ_(o((Jg3^g+%1qek65BydERdovYoCJH!`Xc4;7vFNY|0$HJwyJn zPTptLlz(djk+;WLGWHnqUK8OgbBx8xRd@trnLPLI^L3_hYxhK1&=?$5Rn0HKMbFni zj1Qw25Eq&Z`bg}meYnTxPuA5o?Y1Ag_kEySTq*qDn z3E9)u{eB_*7b%A*1y$e86!;CL6g%wh@ej8XgzyT}G9e_1u?U!;X7f;M#Q8YacSuw}a%9j0Zy65X8j zib;M4#6Z?ngL34RBrfv@`!n(BDzw;|x~@TkFxQ8k8P2~*Da;;PfSKEaE)7@ccu9$F zWanI#hhb2&3s7MS<`3LYbs5Iw=QAfMEp+`>{-#90?Gvx#(g}`o+^ks(*;m9BB?*4S zB{i;^B@Fti^>CxkEnX?u;Dv;4mmmKr6mk3QH})=KSg#}<7t_ARcD2lW=)M%2(B}%a zR11y{rcFNwjHEx)np@NW1xmDW*Tj}Nd9S=xKJ(B}*LSASxJ56p?U*wUyOnK#p&wJJ z`m?d(E|M6_KkBIEkii#pBX2EIxBU%_!_G_eJwsEeXUkutH~IAtg8zS zH+OW?k5|#@q}lMjwW{cBFDbb$s%X%BVZn>j(`tUT_R<>bhfT&RTBY_+TNz@q_d1u0 zdhYm&#?e6brl0izK|h@O8x+%XdbE)L4DNSe*XRJypi@C5rglM+uHgDt-JY3qxfk(H zk>MKSP`V*owLNkkDI%%CW!`;a@5$nWrImiX&MHI+Z&@!YpuB8yH9H659E^d#-ya3I z5UG&fpy`YASWDculw$XA5sA;_q72z^x0>nH(y0N?ce16OAE5 zU4F!XnFcJL`wOK=&L77bKc|`SzzbTx%%~Svs@=%bTrv3F3e`WaCvE6uQ0kHAf;qr!(33#fOXMzz*{JTXOM$`Yyv!lB z>8A^(4s(G}cB8l^m6dW6t4G$}y{hh^WwXJMSEV7Tl7nVL28n}5nx0~b)UA)MI+tAH zBhR^6IwijABLrU>v;bn22)87_R3byb7CEDJnOkHzPNrs+!(-hub25numtg>C`82&H%}JGU8fLt47WNCcd$z=NnKB+Ww{kbV82_kT_)O zK%nhRMO>Qa!UKnK`JNbwWf0hpLmJ@LB>-s*v?@(a9j5pjkC)EPBA$>5ES{5DRJqSU zNVQm_PKk*oV>?yMmX3z&+S60l;qu%;jXCWIvt$(^rWZ5L%1q zQ4XET(c$r`SA1mcT6?(R7M;<-z&9W+OGw7sbp5%1m2edAu%K`HiEXgoA}AgGbSg?r z(_*y5)Ev2d8Gle{KzX|6+NvJz1T7ne1~4ArCGN&Ph07Bn%X&!m+MG+^#@KBLf+P z@6j|<`2IRw4EGAFW@M=kQ7^j3|ALJ5wZpm>hLYN47d52PWx5gwnPyrF{5fM)1D_>; zn`UXg&`bD+AI>9srGZ&Zh?5(-RZ}LUdF!#P8@SlW;kt2FGS&3>DbTLR?YOk@_oJL0 zWbV6<+34GK#b?^04R8Y~YnLP#0)_rq^&v-C+XP~(Ge!o*-(A)#yVWasF>bAK`_z*Y z2Npq3fr#|w3r+kfj|hcqqFGson$f& zn2ugxF$Cg?m*16+B;G&VC?#H$KUWDt`vbTRV z@Sae+z>b3eMi( zX|N9zz%F;a+UL@@se?lnZ2JrZi@B^CG=cW0I|*6!wcK7DM|P(y$`ix7rxR9qgWOE6 zuGzcCHB52J?WaKY6uk&{kjr%RD2izkOAdP<=5K`y{AQLKxF3IlLwQ-3sawLFUhnQE z5#R8P!&VMHJUJmDSdn0t-*Sa7ale*$e}~+#0W|KywFfJhn(CEhqP2GZdYaZ}twgz> z;0j)_0Kx{7ES`QBnf2%~Im`tuGdVT_(dHECmD7)mARcOvUW1Os(xX1n`a|(ycm)PO z{;pm|xGUVcY$i=3rS{9hE7Nbh=Np2H0o7uzZgl6e3$4gmx`2lLa*qnJpId7!?l62@#%NeLz~CdnlWj_XOn z1=YY8MjbG9LZ4nyhZ?ym@0P+%Wv%X|E4m_&&goKQ8YCeZpc%GhQ!ZAiQ#$5gEgeYw zj-rBl)cptX;G8p^d!XKBExLG@0e)y;U-yq9B5E;4H_xwALBSGi{3>(d-X8dc1_Z#j z**lBNP#o!%7Og-Jg+$rDPG~u>O{~XuV&+W%)L8BsZC%4`z%{0?G>taG8IT(vZ+}A{ z7$Z#@2G_SL=O+M)?XQ)gL1t{q>`3=RrDOQfRE-MfGtu_l`d~XP;Sihm^{PQ;C?ks+!DO?0v>?9j{P?B>^FIv`lwDGX0 zn1W8|-y;(J7TdD5b1op&q^1i^O>|_)g0{9*-R?4KGRyi8kzl_A)fy&KhuZZcRvO=Z zwtoKM4Nz_}dD)eGadeAE8-~XR>KA&8tf8i9_$7$&Wdkx}k*+QU*Z5lV+ zn&qU3%z5RPo;%!+*Z~5C?DPti8w7T`zAHbFhCu4Y#>{m))4dZv@(pgA`hgy)>P%Ph zR&g0RYiGX!dGS`VM#U3B08^)WWs2j-tCfmQ80QAGLDz9EYVgsXCK44Agdzi9`e{#WR zoiMu)2k6d(4?x?{!Nab+6m2fsx=hm)u@v^v#`7WaZSPjKmq`G;78+2m^6HuF&@pNG z$a6Xv?c^y;W>~QZ9R;JKFx_$``$+k zlI58M3x0kkK*H=7rxw$qaHUZohSfO2%0*em(wgYMp_7B0Bx2gw9%`c z%VKK|I9N)B*7><+qn-?JutAd)&?V`L@LyeaB-E_XxS&U7UWA`5Dboy4#Qf-*l2Tr; zsWSa)<+nN)K%hPlO3cK>u7D+QhOmab83ub6(W) z-mYPLy8Om$cvL#Ztu1(~*%R$przO~H%TfnbuUCJ({LbLOkDm#h0=Dy>$KM+b1b zY~f*53)EryU8j2q=&}of@oW^qv)~!a>-2#M4cgWS%*<+FMIj2h#g?70M!)C&P+@0O z*v+oaBfvMYsIp1JTaT`XuIw}yH>D<51$h-^9Fhb;Th_MH=m4I6Iu@y-kOl5qX@-lH zeucDQ;Hzp3BHrazFVK&KsRVFqRR^~QB$RcxE;dD_w_s=v-t1~?rN_~|ikyj~x13)_ zl%n9;mVK@cHQF)1$?z(2wk6Mj&ZAz1rUPmE<@!s3H!Wq_vO46%01qj^)Ay^i@){k7 zx$G=WICvB<#9;9OK!bkz!;ZRfy5mCt&xd*wi;4K0fek>0?~PpybVNLWLA z_MPH06K?*GM$pd!t@)+H@%5LbB|WFx>R$)@q)2zjNMZ^WDTp*~gD3*oiQwOuJ)CR! zf+N*7{Q7mQ@`^1IKgqR}MF<@|(r;`2MY>!edY~5hnTm5Q^fs?Fus~7Wd~vJZ%wP=f zcl?RT=dZHz%9YNHwB%cvJ*cTar>4p0rYpbhP@MUObRS|SQoP!mr*gQ}DRN*e)>jb+ zs!%ZO$e$&B*YWXF!XCN7WV$hk+jo+3RI`TQ~UAK*|+gRtJc-d{WSLw09%n9l5 zLunEtmN`;y2%-;S_uO>(ld&V9D;SNI(e|#3==EW&V1;%1;t6A6w^4^N+jRGW_MBh0 zVQ2AY8B71m1xs(Rj57(+tKd?U-iXl-BMXa0zU9JEFxZlsO>C#3d+4UD^@qxOrX$sJ z9J-0{{DrZt)HB{sIIj9*nsDu(OhU&4d^6|19@Erg8biQp4+!tiDkh4O>b68b%$^0x zqaRr2&yqpcJ!U+Oi7|QpWv*$%t>}ge=ktBID{X~2$hZZpNzDb zEf#c9R1FK(=BzBdGVtTE(o||>Q*B+=W|00=zdrs*DS4<%WX%YVoJ4U$z;_I$E&-nj z{r=4$?)LRN`)5Y}Lp2OjiEZf**o@x*)zg zf-qUM+L^>AfQN46Y_`4@t|sdV^Hp4PppljUGQIO#s)EMwve-2b4<5A6rLUmR>`FEf zaZXCn-QW@{z-WTJS!R8V|aZ12*^UM`?|L!?k-N2_!OGD-_QWHTruFDur zYYRjh+yV*jG9rN*1~^UPB+wyRORqi%U9mi%kSkm8O^}4!N&! z9KsI+%MSY(gF9w40$#eTmzp?i@`f^#vL>$3RzMiv`#2+2E;e(QGlncHt{IY)b2yp& zMcN3W4Hk##fvx^zn^{Dj*LGvh5dKAKW1TE%-u0^mV@bvx!u5ltEF_fGhtN4B?7yv} zSiQ*CEH>{e`vT$s|TX{5xW37 zZzQ4!w5t9hLB_NN`YY@HBKZW*ky2gqKAF=a8{Q+TOqxAm-b=pUid&-R#`f_fcZRM4l}^U*;TlHvmA01w=JiG3_zx-$cZyi6ZD>r8OrFwO3kDQ%$ol1R}a|Y+lDZh!l*FR$x8RD63F={Kb zM3jMl`6Jp;o|6-19(Yw~gM_vGYD-WqQH8$b6eniz3?bhsIooX;iW|=tmgaQjm8WpW z&TFlqw~8PzCgsddppV^~+fcjy?bFN;&u<}J)CPSKBhCsPZ?D+cYLbK2-7v`g<=yVw z)e+6Owdo68Mm!L0)9+79z;U+Jk!4s(m ze7Zr+ET!d|kIeW(rJC7zVGlz>CMQ&#V>kW2j-4Xn(X&pjk7!L-0ncUOxHon8aAlC{ zI&YjwQ9+n-tdtf3CmBCDeBM@4L&2G`SiW*votH>FH5I&$)KKldIHf_c!?HW!i0MHsYT<^#{aR#PzlpV_bpAx-LR+SU1yK)8-HamtFU1y zqm%!R_(94^sO<7Bw7bXwsyeGmgp@Tt9x?HST|X=O?SM#f@8i%}Q0O~HENr}gM= z*pF4Yu&j%M`?*q{t1^)jhv+MjlMIB$tPmO_|9={539lo{m>m*4jLF)C|F(z2qt$1p zH99TNtU?IqNylMXw~IcEK1vwfOa}}(-W;mxGLxg#?X-3F>id5L%?@L-N6ztnOxJyW zeHp9w>>NP*z<%1Z`$mA8VFR3jU(MuV1_IRokhZ@M{V#~LOhpS32*`HfcVcaynd!A86jP;kGX*_Ir1WOwQX~`zzHTqT&8Oms-&|*ca5yTqA^y z&-5Q}8jgPXPdU_2qaxY^YaV#+2PjXv_zWk;v*?(g1#uM6E%WTH^*ZdI{qQ6YqkwYD zoXkFs-@Wp9$)4FW1<$#8H!PiD8{d$QG;TA*W@pA|+9@VoXWU3soqQ*)Jr#v2Oz+$F zMX-yzc33{lNZcAGdGl(4ZMa`e1)p9EOF_Q~(ZRgWv3| zWyxAI2zxV^d;@|A_8h%7g4jD2sqPDkE8mimsE9MA5iRb*?END$|A;GT8IT}LxB`am zh6UenjoQQDPbldNNq}m@j?DUwP76!){*0WjNoK-(+gtCb*2eUyy;`y(d01}S(f?zm zEur`7D_QWvT;zl`q1#`zAFxIb8U$|C=Y?!y*%{84Ct{Md+pq6%K89$=)Nti?<9|?k zm%SdFBC~4Om%K^84OqJmtt2KGVhUf``7)`u(Ws%^-QFu5GQ(9y_FafSwl#$h?prNQ zZHLw&yak`WY+m#lek|&8)=jd0^kEBly7w<-+~2aR(JjLdmmF|xHm@S=gj8v#;15zr z+Lvy{C#36@c^p@`LKk#k?y6%yf$jp^NFs}i2hnFQp|{r=kqAhlSz#P=WwT75t~o|R zkjV2Q#g_Q{9&l4m)@SKdYTX%fi?bZE#Y}}CApNm-5F))5IkMSG@?8ofrR*NZC|l0X zF>@+5$5SqMvlj;UmU_$wTEU*80tVK3l$O0k-jQyZpS;-fD4*D@^ccR6`cXfrpt*m#JBvX#!|8p8%GVJh3~}e6J4{4p^oh`#Tc6htbz%q6 z@$0w=4K3;kT&l-6na_v0IbCO^{~s#&N)v3g*lZ|x$-?>r7Sbyw8QnM|wCY}CeuH=@ z*^rdrx~fU2F%y6JsKUUM=|IA?tBH4G_JMz1;DD_JuDn|m=fpxEoF?X!4m58oYign$ z690X}iP`-;A$gxqjxVH*Gu-lrzN}(JvU3BSo!>gGFxPM0ESDtiIh&@&p4q!roT}8JaMSgJ z4zyCuY@$w|!}4&aoQZVv6rG(8Qdx2b3%uE|K?QAGuyoPkH$U%Jo^h#Sn^A-n_59`> zjE6p^n}I#hxNv2aFe7Eo3O@ z3l{bI=_D`9%fYzcF~X(+nxUP8IU+9*hV;YA!=}O%vJ^D9_dBM`bdcIaGBJ(X{VC=$ zUV*uh13xZH=%5q~Mn zXiB^QSbF7JQ=U3^jhl(nsIk+qNgAs$`pxsc>wM?Tnl=Ai zd+xpVUe~?(1CrdbMa%x6!J5US`zbi^@Vyhgb$jJ6h-h-w>4f6!(2xCcp{GgC^t`bOW+zH19pD+wMH^-e7Fmwy{F9k2gcbno{R zxuibq^UC!%^ty>P8ZPXn;(BW10B4f;eZnkVv&sGb4&{X|2`8mfnOgLz46f$5TK6pV z84?Nc8W-iSel(ba)PXZ;hHaduj3_IY(u#>rxH8XmnZv!`lvsTQw_kH3!Nl>z!V-1o z?RZu1(jVCnMvi9I zZVAEq`B;1p$^WNp+cqdS=zSgM2IdKOu)?}ODAqb*0wJ%qB7WP4J$k!KAW54CRl^{Z z%sq=miev%=Ml=!laQ%Yg&Dk{cWbwgQCSYcAU2@-!mBHV|2k&zz`Li)B*Q?}*tt4_`yj{@;%xboAU#lP z-S8okA^dB4M#uT(x0bQ*s!6+B`0dg3O>upc#}tSTa>{35$4_WrTRV-R-mIO+11u_AZy_esdsXg??ZP=SdQBN(Q`7!SG8a z`laN8nAT0V~2G(;oM`{MAnIQ0zV8bP)uF0UTYa=t0k8M zb{1PIDTE)h*iAWp_-(N}_nA7uzp>Yl0vs$@j!{s8e-`;!93@oR}Otd zySL&>jp^!aZ1ZqM-ewDt)SIs8+D2YL_a3anT$CL*7Z%dH6! z{$X3*JjrsXu@qZ^VHhCFDpb#p`49ru;<2U2*k?2~A?pBTt;GWNgqayFT8p<=rqke>c zDV;Hi>aHgwJxzk5lgW&ST=r%VnvLf|*D3TZ<<-9X#rBlE~&ERn=8mC-@^ z7tdTmOPFiYC)SVcU`?u!6ySBd(MegUN}yN<(#j`-fiUDATb9vN*5&BsX3ZA40o5aI zS|TSSme(qa?X|lVc~Kr+h2BIP8qBJN#Mx)Y26UVha$?vwr;}}IbHiTvhFz5ELw=~W zC?Y-+Q<^7eAIf^S2)Fh&bB%@I5=$SwMs%tp%Z>Cd-M2vqN4GrWD9yLZAN5GUXB`_~ z)IE6yF3mHMX_PZF@N3|#+Xp;g$Hkm|7!@QZJyx8+f>vvgO*U@Of^jcmWpZv9+KpnL zDh&@O!t)uwcdwE`REBTiAJJ{2Wf z$&PWF_^AL2a$O+5mRuD{bDk*Qq31JTtPh0`zqc@-@~DaUBZeDhTQ;kE{QHp@mTIBB zAR?JK*4NnS{fi6tdsL4_w(su%SqNp4<55jFroAYSw?g?!j@Ajx6MV%Zi|p01n_;fwIBjxXkwJR3#}Lr$)kz#T^X-JKR_G; z;gh8uJE-)EMRf#`q*edwg2Z!6gR60j1;6gdte6+llo`A7PteID=qd#1^9WexLfiQC z_&vR-y6J@HYixr1qG^7=swKjxW=!Q{lCk!rR@C)_Sk^y)dvS5Mo=0b0G1&90=iTis z?$yI)d%t49nVBwZO6Cr7T&8puLy+s#e7?6oh@7Ur(%jrXwPxCB4}wiCo$#i`Ou^vE z;<{g~27mCk76zwN9Fc3**hTgNJV3KL=$UE*x)VQ~nc0HbZ#dZd1|6}N=+svC4iAMa*di)Dg* zujC{)o+9Jiv1IzKKSU|nn_rH#zE6C%`tN@*SGqtY@H8C_L9U9RRBz;4SJ`!vPN`qH zXDU!;_L6~*Ce+@ddOpoOViAZdPJ%u_)(|+}-;Cy@wbHdsT3Rd2^)yfSZ9a0Z=K*mH zz{t!Dj~J~GxJwB5*$W5AuPzMz#&kmFr0sVI+$ZjIAgf`E160{he8UVCiSA6#7}io< zHYhcuLSKoG?Y6n#Bgj+xsRiP;ca4exw^=?Trj@=Z!<`?ZKIdT3p*DfKeHMhjG;B60 zn=qOj4vU;!uvsb#!O>ds97jfhX#Hcq?LK^OE|4wEJ{b1IO|g<$jw@V^n#FN{t!)=- z1C?>#OCJ(h#Ib4ISC$?lFH}Nd%5yjvr%-99#WqRJVc&QE29ZlMvZ9B`-I7Cy)5C^S z2iM{AmhBiXB}u#{$?A}m_#A|03~Q_6$QTuBeJ<$>YkoS2-JgtPV%9XKo=q6m{Izq) zp89Zn6ZW0&bN!%D@=>}Zu6cGHGXxC@fINdV{J96o%xQWF6AGy4-Dv5-uR&Id!>5r_pV%X-7K8w|Y?8%HX&ynsUJyqr7}=NNbDX6JS$>%)$N+ z>$&$6-G|c)LoC7hb-hZa|5hY#oau7ZHTvN8`bsCN!e*w9t%C5g-@@=5Ah0}e&&7(w z+N>vb$-bXq<}=hb&vaFP*BwblQvS*@nNGs|4*)oZop(QlC+i4Qjz+P6Py}t|hXbJXNT=&$(chBW#L^Ki?T_3_}Hm z;qKKEd1?<)&sZl&#{bs&lDlovg5plCUS{@nd^MlpEnvlQB?^7$^~>t#`%%bPZCsBS zdbg3wI$852JN>18LgkcBs8GnQs8p8iK!b^M=3t#F@sE$ZK)=?F0lKdMMD*$m7nO>)=-1K)~#^a&Cb z7b~x+^X8rta)H8{^%j&Ji857oe@;Uk0@0rO=x+W0r<1yS zntM|J0jxWk9wi5f+kX7*zWYt?8WfH6bko2_P*~WS22xKvyxKdSs{I19@|-rg5F`jhZe{R`B1jD_(ul^}q4ZEgXp4eHrhb}$jf7)vMj=P`;)?3HOv z9zM;9*W^q{NW;6`GX`}=D$A_zJ6fW$GXX|Sc{OKQ7^M(t#`$ENrR|ZnAHx^(*9`KU zh;7NZ57u=^^8o2az1{e%Pn`WXiw73WjF<1WA+V4GWEf~i-guYIlObqh5Yse*jeP-M zpDaQynch3ikzgZaVSJ{{K#+L-1W`%#!LYF=YH}bVBQroTX{K)*XwBrsMv$tqC4*xIbWqy=9!y!nw-NsnwPWtTljk=E1AlZ^<1;Zx6bBP~b#nEE}50_1F zjx)$`lTBlod5rcP9k5!={!9YvM4n%dR0_$4MR<7mEEyB*6p%%$;A-CwYt!JLJx(zMUdjHT5gczGDER(pjz z=rRmVssS#Qj@vJZYFYAwf@@x9KLF&}JtbyBx#s4!2=-#Ku<57meYlGTk!0)UO|D1W zotGuJYtE;pE>Nt&wvY{S12DaU`9gySMf4Mt`u5KL!|1`bNbkCbNxGmRc6gH#Rf1t$%=DL^?Q-1;D&mGKMTE9aa;F&~m7EW0pZuI)FDHB$bIFjfW4SXahLoJ1v7 zO(`llx*FuPGyhKuVfApwz#Xz8<=Pw5&8`v%4Dj7tmQW?FrQ_Z*9PdZy7VXOe1{<{M)Op+O|=7O~K4LteL=Zr^22u|NZ z4$$Qb1v4K=eWfPYdc>`_4&PH5C5455K>SrksZtnE*EQY(I$=_1^aA%W zhoM8Do|sKhJbCxR7xaLJTuW4mC9QHir1;_=2q9r|-`i0&k|q_E8F%TeH0zbRFK9Ll zkvUsuk{5NwFf^Hs=Z1oJpT~Di1T*t`K{H%|&OJ5!HpslU`;b-%G?F89vf zrEO%Sn|e@2MjU3>u1tz_8%eU}+$n+yFv-zt#bu%LB4ijg(Ml0aru(QyNwhSyh37L9 zWBG76hb-OTey8}rfjcp|sIfKWo`(PSo(ven88*gC&!}E^zq{(Gl^0fX(YkN3t^FLk z6&d5U3HGIzmN5f^$46Kltta!=Y@grd(2%W}C4$i#iChc9&>oW&UJA0_5=@>(IW0t& z$fKOGJLC?UaTwEkXIeI3$2q7v?Fbd!_MuKeZs39Es?MH^{Vi5B#RsRPo4H{e#EG0+C^q_DJ7_*+5Cdd zg6WE=mH4>JxGXv95yuRVQK1BAXLuE0w(!d-a|qN?V}DaXwLl=B0gf)mOL=exIHP`& zAfDk}Ta@3+q~Avx<>8&^@k0wf=OIY3k}n?%*>r>#LyjKB6icfbi#abP7gto7XfdfL zT+biGaD^~!ckC^|yLU>RFj8(uhr`FC)CS`xc&!$zqY6kgIieZ`+2_U;T#+QS`@qPd z$|VT&ujSm$=KWL4sIuNw5~Rm>rksg~Cge zIJS<`ESSc8%~`h5bLTIjYggMM2sOKMb2dsFbRAm}p~YWkG0QkhoJi3~k^AivUf2;A zg=%2gEwpWrL~(gS#RBaHkTFN8B{E07nl0*!qrp|>Y^uUDsE1jlF~-{xMY5#mel4HJ zN%1^(;(#N0Zp%;3ll!~c8%K(`2CVQ^A{XK!s~#4PpPs_sGZu!RZ_RuV2%ijq+&LUQ z5F`N75k@4!icHPyO0!ki(KD6hOmDk1;z$yh|7aA7f#0nFSLeB`hs(hA2vjtI50PV^ zeE{@IH!ub!R`BvSNssIjb7)(dC6#v=|6Dki(U^=+d|rG#(;qZ8?rMljki|=Qa$;1lM0d>0(`u(}4W1yQQ7g)o~o{X%Tml_}<;X8_db$ zc4Xu}yyJkrhB}Khqx6>dlQL9tK9iPCV+&Y)LhTks=4q`C1kWFi)>MgIi{RJNcue)z zPZ)A$yZ3fST`3Zff|~obYl8X;4K}l*aRlcUu5!S(^$??%ku8lre<0sIBS%{NRHv1W z@^6~;v%4XtAzNph+x476N!2>JbuH;vmOOJDm2J`p4MfhT?sod_0woIDC;jZCywoP| z_`B}*D5nGj9DWKhxwnwLtKM)~7`RP`HO%vwx#yGs|5&0gHjecGJuPX|eT3hq$k&8l zt91KaTyjq-Rd1Ut;mf47ijmM@#3D?8_;?Q-SVxx(DJz$quw#|y)rVrd=_@rpKqBuP z*Pz4yoJ-d|V82YwgfRm08d^kO+L`NX#j4qBlxOwcwf0BVmiz~zhPW4mR5}fl1 z-RqhZH!WU}!;~kJP;uWoY>>zJ`5P@XLS(2WQdxLnJ8ap!t<}YpHMV>?jkb(LPmxv{ zsZ+(tQ1=ynlq=5i&h%YRhWu%c2GHFUL7SsWvqg!nleY|NE!JkzgOfdxgj?yP=v~~v zQ@`-Yh%<5syCw$TIrC|fxRNn!ALktnJYjA8XtY|UgCdks@L`F>SBm?#PZVs+4h^Bm zg{t^-Uowc2;-ii|pZ47lKgWD~IaEc4o?Hiut^>|H&twUmHZB84R)>LV)?(SuM3^Wm z9)35r_|&13yPhhYCDLSk#sdB@>q!ucAfMWJ zz}4=T92IM;8H|{$p?GHM9{vq=qsP%H+m14G{mXFcnsNn^p#_hOHGe{rO17;grhTMC zj!K+`{{XEgbo`nXhiREvV_Kbml;Yo{=Mp3NS}0HG%0g-%-WkGS$?MTsW^_whTczYo zzyRpOMO2^oy(kU__0I~qkt0g>@yY{-)8f7>&zUL5b5xQUdMAbIo;;SR{vWPo?B1iuIPUJjShYKPfX)rZX_ys+D4@cJ!+-=4f3P+B8eJoZ5VntG#coL4?*%`%P4-g2yN=I6HN=_be2=HK}+Sp{r>qRkwr6 zV%ZyVWcEBv{YoZW%p>gINBpuG%r>zi?wJ|CJj5Pmf6IKPC`lcaVTzujD7L~z$L&q| zjO+=#huge~GL&=d&h^9^tnAZe&I^6k*Eaf!`rM6}QX|7!F&nmq=ddg!DY`%1OlgYR zm>y-ktQL0Cu|E_UwGFl605ISW z@wJ(9Cpg-4h$*cpu-eGrFRv= zG5p8Xmn#U2G10NM&_7xZ0iyVLEN#Z$U+=Z9FonbO1{={-&2eM5jR?|H#UZr5`RX_(3TRedo){8fs&bhsa-)O)NjkPY`_Dj(Wz8IsgE zM)^LGL0~y^0tWrwFr?dxUVvzJG52G?9azR2L#i{vQS)(zqmR`e2pLz}nm-{dJslX; z&r}<1!A*hj(<)uDm)-8tBUH@dtCITO`yK%~c}n`kYq5BchplYrOtFiI)CF1~1=Ll3 zm{D|_#Tf#{ud;_xuaO!YDKj!G>lDmd@zR~LnSL0t%j_6WFt5SHR=x&r*dK9b?sH^WI&1`^!gUK&l`%56lkP3^ z;Fl<}?;YUIIuhpR?x%>(c^+~{!O>~P@x`g@QNI7|JusU}WQWtz9<5E%=wcOV>obO# zK$+8gl21aG%%x%+OgIc993_!8p4yprEp4jbX0Rh#rd&L;Hq0S${b4UBHP7JwzT^!V zwrnz56&yPiWo#r-gmcB+NuGmSSlXVBcyt3n(uLzSI=IVl<v(RzmzZ+BTLR9eK8_ToUCYX{r~UC{>bo-LXEV;Ut-6U9R?`dEpe>RXIa@9k zcmbG(7K1;r8GD{C3wc!InTTgo3@Nu z^1vAA^;Sh;^7Fv6PO8lECX3d#a+Q5BSh~wABHLfN*dv~&u0@qL;Ed$^Hu;;w>=-NW zHT8lY4ay~^(zc3*50WB!Yt--*@O6ZZn4ut7-^U%E${}Ks6TJh6y&gX=Lh_cQ>}Iab z2mZ8c8%l+N;-Os+$We~sHalI<4%)ZuaG;U2^35iSYp{;=&K-y#F)!{Wu#8s(4zpMy zW903carrbWqttA`>?@)9ycBjp18-|2AnXT(fAx~X_UV}!I|y_(mEkdUhlyf9)kI=bjDG;ocQvAkAUq`lI zn*rUds0^>~MjM$|@)uT>+h$Wl-Gr_sE`47?(Urk%spWDTr?y(d>aQGyYiD3 zj77FKDPcZ?>9L@$OpFpMQ=VU>rT#mwCnAAx7i_MnOQu&A*1NazAUyK96SY@2kVF{W zJ|Q8qFnwZ%Ss=_{l_?^+if(2*@r*gw$dqdPbFZb~R$wm_DosZn8lwg{TplgOrr^bZ zZCY7D&S-)#+W~=6ik62%aw{F-2`?awNUThn`-x>3R>DJte2FRJaf-~%B2t{qRd&FEzCLY#Wy6TY++3!u`IeW*{rj1uc=hVe;4pCZKelKDXFhc zf5_UpBp&By6CZKNnad=!P&~R3dQE@i3-VBE@Hj)>V)zm&D6S8zzY|yeN zP*@t(2oYaylo+$lh?3t`JWA`LE9Q`*R4~NBEE)N5z2H;}wF-6p{tC+lWBkmu02*00 zZ$i}+4Mw2ICo<%L<w<$ zZAU8^LqX%=bDPOI+4|`Z;spuRvmctj*>#vY_(P=<}Gy16Sk}}jth#F>PEQh%a z5gxZuxt7mP5GWRU@|t=C1tMh+ifJ|k!$zO=IZpT_lQOhCS>LO_Nh$Ne z9uB)IHqe$Uu@&&SPaB0DSX@v`)=}Q$9qyrB}OScNp6kW zRIyHKk4>-6Qbw$y(=ijf^4``6rps zPy^&KLVK_I8!(BVDCGHSu!)SZ#nnaOtPu~P1(vmn4m;a&GccmFje*^G$ZiuQKRBjd zCCXBxCb5HtZ{ZA}#dB{JB_atAXr4GS+aj;9eP9!8>FwMX4=~L`32iA&C@g~Tc&dzg zl+BN3{GXNdJijjUrsbf}(b@Apd>JZRa5`c zlQi{8YwiscS7oU1jjHWV+=dVTE%+pocvQEn=7z3E+!i4`JdN{3>3LMiuwMy+ndpdA z8)$8;HW1GBRH7{AyP|c?RgJdfUaFQ^rM9ZM_cjx6V$5thWFBtdAkgg&^OjTH=gxQJ zLpXU2#Oa#(SeT;M?ZTsKLr)1lHu(qOOeDTKLKt;oe&RU)wA8uW?x4CCv-S9%lKYKC zWQ5@Do|eoY$?jNiULXa${p~y+eN{ZZFmJUjq1S<&W(We`o_u2=A2>2W%PkV44#X9i zv7kV~&y8%Qid5g?&Y%mMh`@OO8Aelm$3sHF`>7b-T&t&uJksC|3mJcCfZ%--350hY z765dOYL=r8T@lgrJ05bIx7IK`Dm!&imEmM`|0%d&m}GqI_cNmrRnC!ZFe-#V;`E(o zMh*V`JUxAjI``N` zk_;dst=xxqQGT&;W{q;Lgx=s(eZ1X zo291(rGUi^GnK+I){MHj9)3!De=IWS;9P+d$(F`Rhko4*625KS<;OcW8F~(M%xr|$ z1}ixkOG>SczXDxL3v?T5B+!q*+Xmt7IjmfOv1y9HzW#;ojAKg#s=oLA0B%0|G7}}q zv>BBPV*WWwTee71TPChjBHqz>fQc7nNs;t-&9G!)^7?>&ehrE%IU#_oqVO@yHCEwMvnA33G)f4(#ZlHPaxxQLLxE?iAz{1hA&0 zl%way3Ok?OC_hty5!X>mEJ5wW8;5;UBnPRiKm`nnywUNz57Y$|nVuI~@%_xfMU3Ox;#XVIH2G40~o!%@2E zwW}^A;!GokF|FfA`0e`s0X%};9`HtEG|B9dair5E4UubVyl?*q*&i2EL9(*j3MQ_aGx7*b33cbUyEY9;OdGOJA_-iYQBr z6b5JP2aGC&9t#@CkY&H!1*4t)y+iHY>SR<^;$>gM0Gp+Ok*kZZNUWB=wk&D&4!%ve z(HNzei?owQa)0T;9ERLk97v7LjcznbO8-F7Ix6@2$!s@ZeVb*5=`LCQpteMDmQwl? zaA7cXBo@IJTFsR(V#6af*unm^;VswiM`V?xMY?Tv?Xj59rpk^=>F9jqxD8FeIa5#< z*9gWNjWnkX-=BzVDA+8&_(og$DaHp!%ykmA*17X9#RVUV@ARGg{2&~Xh8$ZJ$HXZ; z+NkcC$!=Nu7G@=v&PYgHp#uK=UiWu3gX;U!y}4U|$?MwZklm=p_t&?;d!<@S*!Qmw z!VY~534;f{*GG1g6vi`-qZ#|y!GU$f3h)!AS}`w^Vbpp6^z zdEPdwe*j2qaosWiaW%e4;3`J8b_awZyV8)lVv|-Xaj5fx7Qu~|?0y%YSqnqQ{K1SFbcD3dV%h-lM-ssA z9gX8VrqClHMen3Fi2gRvgdlf~@NLUpZbwlx*;1BKn@FzLYRg4B)IsLJHlu-8>`#(c zAeEgwWK2aMOMH5|4y>26L*`#R|I&^z|u6Y}TrgSABZZ?t8N#)JW7-4lE4mjo!tV|&c+9uYy7Q)-?T^pZncqtpF zPuT{UbMKq%zU1_5gThHmu!fQ8L70f8V=)?zoU%O}N%oGoT-A686v?dRH4W{X=0Anv zqk>XTpp;q6Pqh945HcR6{=AJ8h?d8tOl|k7GxE7;#ZdGZ-!1tfE7GeIshb!xI`aVj z2k}&H@8?LkndLa-6*?nXd&sb87Hv+iUuW$MDd0H{%Y)Su^09F3tRUpbkY z>*PUTk=13+y zmxVSrB8jQfym=6AB}8TBCzN}a4YvOM8FVM-nv9ltGbZ<0;ip^n)3D|$*Jj2;@8FOX!omr(#u z`pCGU)L%S}yz(j6f~Kd9D6BEzE2xI@*x9>YbvdLceSC%8h6)2#)rMN*OkgE_RDNy) zHRi#Jg?|j6p(r~f1H)JSI2UkuDeS-htkLkSoE_(KUrZn54R4P`rV2;C%@L)XGJ4-E z8=s{vWa~^Ho_KYmmasy%Okr+|6ds1bKb+6z5tlubVLX!cCA=2CpA!!F%|AAWKkZFF zp&IiYStWR!PUP^=o^*w1?!V~$lwAg-m?wjSo8bQ{3BQ5=ILn#6^~eA4{;Jq~!QRL2RqQuP;Zujo654xEr1i++I2bZa^!Llxs;-cnQg77;6H+IcAgTk$tI?Ld@26`J{&Fk6Q8<4 zb-MG$%?Ohy_ws_>iCWQzS7v|PRqKm4z>WO}Xi)lHA9DYxmGk=cHw)qIJ@=HFrwGQ| z%D>+H>bBq?;0)|ysjNGBu2|&NM)w{8niO>oc?k-L`Tlt|I^e+dfQa`9THW*(xpyV> z*bje>A-net`UeOr&QrU-s}%!V>FUxI2dYm8n?wwxeF$eD78X8%7WFG&$yq0+HV0hAd3%h~`lHvXe*fInc?208~h1-pc}x`w$0 z@PFtU;HVh-@xuWDa~sEY*Kb_AeTKjBHfJTPRhf$=%WjBIV)$$xb^!DlXP zLIY+~IGhrCh-bI(B5DSFyjc@&kmo54A*vd%w=!+LqzFrB3g?V@%N~4t0aFdcM8hIu zmFxxNZtl5C8c3gqxX7(F<7m=?PxMAaMqzr}R(EFFAz1Qy-D#dHH$fBdq%vyB*)-lT zb^aroAG2&>s6DCAe%^&7G@*Y2)u+!zApF>>6egA0Gjm#gtFiPPaa8C+E96pDR}Zu69MipSxiCuWWPc z9p5L>o!jnfVfA0m&zySE^XHkZ-K7w4isYYuyturfeeHYuI0tuW2y+O@Q!&whcaUyD zE@necJD`b`+txa@z6Y+$AYY%)ZnU|qZy{jUt^e}xdgPNThSsm(H00?iWb4brgVY50 z5l>(t6Oh>zs4L_mxcPJU4fOF}S#V&Wvy0YkNzstDg=dA-veuc|o!K2aeK@zw zUnM$g&~KMBOtoe5#f@c+GNUTJ*|)W)hJf;Z?GD{$#50(0m|wAoR4U)MKZ3TfF?O_+ zLKn28d&~ow+_M5}1>GCEQM(=alA*ME_hHioT#=TC&LOj}9A=0s}5XK`c3*^5*? zl6!yc_Z*ql=cBl0&r`)3e_WqK!#9-z=MvTblS}`bO#kH)1=z|~gWUosUfQbuKgsl; znEx3t*f%PXKVi!>56w|wGV*$x!o;e`K zH1?SS-9N#97Y_8~9IbR@dA85Fy<$_ZekP`#pwFe+jiw-Zm(>j4h#Wb>P^Wz$UN1Dj zc8tgNVawp)9j%=ta`4x8Pe`?PgEX(CHY$n867xs*Ju{3-*5sdQPp;%3(YWP(NAd?m zXkZnjceZe90D73rirRc88H03=DEpRw%$el(TO>uRtt`aO=H*6;*UUJynuz6Z=kB<5 zvEQ^ySA(QRta-Jjb4I%6%{UxUawZ0NoAnW=5GhNhbd_9lzjYT^)~Y?tDiJIK;QIYf z)>u1O%h9yT(-+PGR9XIx#wq*f%GnF^Wy&-ELndA`fnz%^q(^(c+$$=(c-m1dS1A_dn1my z>X<$?@R(6VGAxwdU5aI&Syii7}_^=6j*u+R^K$X>f5u`^|)3z+@aR zv*@F7F4AmS6gFXQNZqU^%5h{R_rD~CZste^W!4#)&^O7Kc>9k_WW?;VfQ)Y`wP6+7$LGL zcuBjkH|!jm#mIZ|q;@R!c=ZWxde;NRiP|d%)dXmIJVc{<+7Ikd@EKHBz6)v&_@zua(UPixmkYKAZ0K9YLDbL!U+&}YK1%WU&p z*r%LdOr90I<|ca=sHVh7ea!J)s=SV|j($NKX~$(7`7aL=QMhr_V-61$(UhmiS+ zgwTMl`t#x~lk$Sk`**DR*C|A=PjM)Xl=YZDk%m7^y_xY7{*cR;?yvAeNg|3GGMWmfM3&T9~jL(JrK1{Ih?~DSNrrFN?d?JT5?98UKeR?k zf5Yd^L9!=!L|{Y*&njStYe<;?<8Tdu0RVf%Nr3I)$l1li($q^^hi=RlZvTH$Ao??( z)?2U%g7@xQwJqkxfpKcQ`JMXwX6GaJr143*pa zwl^FtpzP~TpDF<4r@mA+59l|qgo{DP7w#TOIuGq4%t4-cuw^KH+n>^x_T2XPaR@na zeU#JE)x32dPz<_PxHu7actt@I#Znhzl@QdRHIcT~%*_}g&%E>#ZGtJ5u{rS_AoY=) zJ)JHj$;)c_IXERNWN&4T&uM_I)RLT+L^3dU$gMBjARb-HZH^Qi^82?mUarJC2aAtv zcIu)ZWmY)EjCyDy z!bT8dH-%Q^<%c3GZhK?03FCo9s;5V}{K=7?8C zaph$iX3(1U?wk|#R>bcY((bgUv;x&KC4i8RNk{w3yfrR)Tp8^(c`E4O=K^Cs?L%0{ zsIz_+J^*{(j#UqS&r&izv_uE;aat=0UO=6;kf$_9-+E#InM|XHJcdtjz3d%P-XdR; zLopd2kpdxnblTm=^)>41_ZM|@xS@hHcx$ag8>Z7TO?G}oJiG8Q)k~cV%y(;-PB|=2 z>k`<2?&{(>on@8F z_Fd~>vyrFI!56fiqV~>^*2CEEVf5*+Q3HYdU%SFT`*1HnJJ?E(fv5m`>h1my^ZEsf$~NP)CJi5#)E>AM176ACVqG>qU|DEB3bA%C<>vUD%VW(e(;zEp$ZwL~tp; z1(Q%|QLx1Fqzak|D6ZnWXfL)74ToLT;c4c`>1r2>zvQ)ya$DFqTE4A%@$JGQMefOn zgUo{xHKi4@Bh9`HQ+k~YmS=#nNO;SwQW2yUjIO+#b6eAbb(Pv@N3r}uyi zPeRnI?J8nqRKnMn&!2O1FKtc&{ck%vM2U~ z-7^B_upD0%iuVM~Kgypcwr(}%PHtFH&ee2fC;g=#mIdb`$swA`r7|+c(AEtUrm^_^ z#wY=de>UrNhH>DoQ$Js!$4ahv*gRCN09IE?-SqIWaX>%1i=2ljYcCqahF9KCtg=Ad z_jFL&yWO>*x;B$~WG3!cG=7m+(GmdCVb%|T^~?LIn%GsybzU&i?(@W7ydt{ZbC&+M zSNDR2FN)*Pa2e0trHTTYrrF3^zFj0kp*^T!?=k$ztI<&-yvY8L2ad`V${LAFv7&kf zQ}F6Uhjd7`l3h^}S~+}1(8-Y{xU3TWl7NSx__!%C5QWf@wCq}ochHrhIb{;GhK_^$ zD1c%MgDJf(+C#%fQv=d<}XhO zGrkivP^HqLhD!ZPQj55W*w_%-?85d~*eH~gbhK)&WEB9)Ty1&$lAk0&UuA(1KghrM zhGOiLxfk%dPzhPZ!9(y%q&%aABG%p5IRDjBNvB6uHy8>d&EcZ1t4{!*BA83}J8Qtf zuapu=FpesdyZB+iDk&)J4ZfY=<4_FlGPlO-o%GE;PWyylffq@jEF<8_E~DH3uD0*J zNI0`c-{*J|xP_V%!;3hvHK!n;{Aw~4r_h(5G#%Z9>_EXN4ka-RIvSh9tuhyX*7+q% zP8fVTyXzCv(07DO+1uE8YA=mVi1oZDTW<|j-MsY{+P%Ynro&kX-t;}o`PF>ZwBXeP zQ2qesZ7a6#ULtX`HK>8~x53*C2?8t1uTJIolbu_ny& z@CBD8DFHLOg&6`!dFj~RTbjd!Kc(uZBeB0krB$_wKMq3m|E?I8*I9E>f_D;_vB%`l z*u<61ADRYRwIz8Y4UhF4_(J<88>v)Ag%ZwTvKvbL7tfqS^W~9S)NZKjJ7tj_JBlCW z5n0a98jjECD(1(8K~J`22JkCJ6XO&e|Or)X(et-`O!S@_B*PzSit$%>tPfOHZ(-XH5xD~Sv zFl|ZonUv>3VKT+XbG?KnuI-EdOtI-t?^i>B+3%W+jITAhwFneLeJU2no)fEj(pGI3 zBsL;6zYrK0or@N;)0`iuxe(d1VsM3JXNC<|4_S}1Rlxh?Us^M=^cwqOLbst=+m0U5 zTXg9CxrRHsX&aEG-TY0ktPcqB%}m(VY*tFCZMP*?R?Hh3;jH4Ph_s_)$dB4S3v2P;AwyuzY& zXmuql5JUk>>*t2xWFEX0OoaML;=_+BFj(Fi0ax5#Hh7)>uT>aJ3A1=_7fsrmv_?8w z;PfuknP)ttb|Y@SP~lB$-1kxg`u!i09gc{U1;SPDpN6~gCs~A14_~^HyYHeFcV-S^ zO;606OX|dp))j|344I$qEdu_(0Jt1STX~iC%mk$um_;X8~rp7jUC33W4u2Ld{hCT z0072hz7 zp+HpFOh{Lfq#;Xaf+k@kW3k1cqoN}jA`IfyCU{sh| zeTwRi3JQB=PqP&f>;+#256cyW8~|(FbO(-Vumov=`{N#5I|~gIgCnmGF55l7;-ip7 zbb?0=M;AICX(NDcA1mHsjmVwzd&F!?o?1TGT^pPg8c{65MjelfQrHLMfnP9r3QkaG zlZv~ax-G<*EjU+58Z!U@2pkxjhSq%eLNS{ItdO!~Qv;YwYEyRZe!zZPo|jYAlpco@ zPV+8Y-zG69xtr$&AeV-W z`!J3{miYRG7D>%bR$l^eq z_fLU19*U-c1se&LLI`cZkw16{TpK7St{Odz0^$2l{qTTz!6#}TFGfjWk5r+rh1+>Y zdue(m)OF?_FnTS5hq90Z4gt8H{-b z!Ot!9?``V%W^?-N`@U~ysrXa0_!9hQqs;dD2J!L#0M_%BE3MlAHiXf)0L+$tr*iag z-<%18nvfrfd)U7Uv1?~#)dKPZr*ZFciGQ)kJBU36 z$9)O!)NiN2r{Q-TR05;ea?d3DlOEu{ZVgmG18U)pPdQ0hpK7(3X3->qQp(-{i8rYd67q)x+DX9KG64kVD=OC)C9R(i#uvzvIB* z{E8~t09AAbG|q4KIKc?%6Sip9MxIIRKXx5^Hwe=!47Sf4F7R`Uy%}cw)2( zDkq#Nd)xWwJ}MwxJdUXBp4}RYNc3VZ0klQM7d^b(;xS1+?A+%}I=<(xt zGYjYR9^*_Y-JFb2#?0qM5++Mocp0jXm_VBfU%)tdfSO{+RR^bLFw4QEG*RUuF9Oam z)&(80WGf6i#uY`N=u#_5M^0QC!K5#ldjymeq>Ocf&lN~s#tuL&s9Cf~HfoBoST83p z!y*WVPs{}2C@OsdcQL(n(1%Ds+lCOi2|H94fB;m`8_#b{S0yx}k9iXwBE8Iu*(e7p z7|g)yxlQ}l$9${UDb5l&!03X3%uo)~iMOp6AZEC0mxE!?!*)#VKrk&ZlF?#C}6NmXO0?`NRv?}#`u`~olP;9eFm4?Oitkf2op?K4nb%c0-U<72)raZGqkMwZi*r3?vyRIdz= z#uT$V{0h!MHc;$YdNTzPRFW-9EH)B5UdSm9SYAQwtXTjFwiZIDV~7GL+vUf9{{Z!9 zPuB0A_LI~XE?ujS;B)AWbhA^_KMsL`<$db~c=o5o!|?;>CJ&jJjxWYb5#ab)P7-m4 zptz_Up>{>0bOwVM00qtA&Bf$$4x84^10cC}{Y`U1mQaVbJ!yH<6A{49UQA6m=;d8t zqZ~>yHi;nZiWJ(jk=^+r%kIgsaEtwn2%$X~$nob!AgS!ldr2XQgim0>qkZwJV}vjS zA;9>5{M-KkZ^WVdAfKam>tEpVqaXa=;Y(%d@{A*$_v6#$VSl78Zgsz*-<v{<-|`$Me5@xp(*@=^ce{{{RMVBl*AEdaCj}-d%OOzjyx3{8qQW{_^Rp zf2|$O{yT59z8N}i^}Lu4ys=Y_y#E0CeRe%!x3AclWkLo_^YYDenEBg~8#j-~)%Cet z<<$+%v_EC4;pB3zNmf7_0=292X4JTFj-Z$25az6h6 zd~SY?%bdSM=T!dw{rYzNZF$X2@|Ly@qIT*2NBLhfKkZ+?q}OUnL+hWLx5WGPkNN)q z^z_c5_#e0b04Kf|zIOEWck`Xnbnnx9%Bgm?`@ebeUZKT(BmUXG+6(*q>g#vzznTrZ zH>c-s)VkKG-nsn|&A&72{$yFKeBz=Xt;S!!nCH26w~B_-{{S@8P5a>Yx&F0d&pDB9 zt+w0i{`hC(uSdtK{V$l?;O~C?gp;Rjl;!#>mp$FdyEr+fft2=g;pRk|xuH)C_>#pBe_8j^Z zen0-t2M+c!{vFxEZ@A~%Tg~+^i~3{O*?*8PXHCAoQLVGC&ey80{{X)9d!jU z^#1^_pVP+QRQi@%x!B~N{_Aun#~+YyUkUBVJcas36oJ%Z=F2zsTz=8p^5^DV=Z5onyuM|4T4;Rl-95wjH@B94mgRrj{{Yc?voiDF zn(MhsbI&cweRrU0?a1r}i%XZSTK+W{E0$a^L>|ZECyi-UIKAkFM-TzozWCF5geTdVkaXL;iFB0Nzi>{{VU- zanIjBf4p0tk9+H``|7@V%lr8fx|{z1{n<`ghPHDo=y;#esLzD$X!f^mnO)nT^kKeU zV*dckucrR~{<6pE57vGKFm?X`R+RS`{{W5KbbJ2*y7)WH{Wbpp#~DZ8zxT`AdH#Yzw>EF@+09(VI{&a5K z?Cn3=e*2SUoU)U8*Q(zC0LT6E_=#V_y8ZrY&zd|t^bOxb`u_mfew}afdqx}o0NRcH z@j~ut&KaDh@jui2--AtabVhwG-2VWUciQ^Rk>97iWjFladdItu#D6_^x3By0YWQ#R zn1jzZv5sG<=;P%4Ahr0zIj5c)U-~g0_}x4EYX1Q1=Dz&tU%so1-0x$d4!TqS0IIY8 zmKOb1d+p!Wdwu+Na+Z4^8+ZQz{^;Kxjg8n#e0l!>cz2cm0Q24F=FgqoZ$W!9Jr~_q z)_=zIY`op`_@~Z~&w@5__AQ_54-pKp8S9Q{=ZfK z0I%=4kKTVKy|zNw{{Y*Vs+wJR!+6XG#;a~GbN$$W*G3k}`U0%Ace_8U=IPV_06(cA z;_rPt4sKUr4H)dbIp@W6>Nq1U?$47qVXuw5o&NwG9sT|%)CIcV*?ZuUd~5tN_nF~- zyFN?Q{{X*e={KCd1(l|k>Jz(tpDu;Y{*-#z;qTj4`E@^kt%mSf3@^0+hs{a7L-g`OxKV0#D+#h>)_R-$X57zy!ANg&nb+0dv%NLAApT8UW zzqs$$k8S?|t^INLdG_FS+kCJ0`!}<`pKtm{+`FQc{=e;iGu?Xs06mlK@$Vhz{{a60 z+|RxDKl*%9_W{w|n1Ae>pGwsoVO_L+&39W_{A#zM0yDwpkp4*b0Ly0WP1jua;V-SL*WUN9 z{{YGCeVH^*`PSf%vdQ>yAgj=8;eT9R{{YSZ0EpgmRQq&aW3oKnkNfYPx92VNkAMDq zUj{qP{U&!%&%7(Cp8o*Znf(d3%=&&-@1uXD>toNo-~3MXaeE4y{{S)?uan(F^1Ya& zlUmG+!A#Wu0KnOI`*-Zr-bT^#vwH3b?%r>nzX@?ctKWOKs!0C;@0YL5D<4RdfQX?z4(v&W)82l`8W6LByMy2+qyeXY%U#rJv-2|j-YG5 zOm7dXs=w*K=B2WG@`?N0!>4duaJb z0Ia{)-Vo8@*Wms2p8kg$^qIb9)}Dy{`d8Plp9eH#^&6G$ z&r{(`FH`i=k;b|;{h#c>c{Ppnt%nacLbmU}_T|mo6ZN0``n?A4GQa*VT>HQ}$n%}O->UWg{qEt?&nR@!f8#i5ze`^oud_N#7Wp>y zSbw`>o!_LrB9}cgZ~6ZK{{ZOj>*jC7#~b`M;Xm{KdMzjK>eFYxHh$fF`(E|@PJbP* zx?c;r`d9j|%89?c_nuk%)EyV}t=s(n0Mp_3#ecuyUXSsvwM7;r)K{Z(YAb{yy`aZD?@6S0(=dcW3=`{r>=mZFlP6 z(>Ap}mlwCz&+9$&nj5cFMR&#b1K<7X3E(^G{q`Ot)bi$-7uFl!{{YhZO8)>DQ(VjB zkJ~Q)0L{OPJhZ;KQ+db!A0qz%j%`VK%`XrC07d@*-=5e105=AkvC}ocd!x?kcZaR* zev|h52SQss8Y5u55uCp~VJ#>ta`CKGH# zj1`7eoHbR>ICe91bYdz~V`k*78`%Jnt&a!SD6S87u!Tzi z4gfXM;cy1Z{{YSroJs`BDg{;6+;Yt$8UR7oUo8=^dGoF+Iz&kvA1ot5jMcHAYKjYq z^S|@HYNXP6NTqxnHsPEAzg(_=5O6O^jqa#SCcvWr1%YK~)(op)WrhT{bF@vaGml(z z3eYs7g(rn0V&3jmtYIdBL)5&Q?-;*8m72-}vTFv7#iFo)8Ue-STz+xH1JOi56TRdS zj6-2rIIyF;kF=;nA1uk-yE6SL3&gNcLyDo8N@m1#26Bg_ zI$|}T9LIOJsy?{(5X2`KQgBmpW|-U56beod4Fa_GJiva~1?zPNyF4*b3%F4P0yGDA zmBDhL^iDDo#Cg1fihf-@r3^GIt>iIAgOD~Fg2uZ%F-n0d{EhXF-M-rPyOmqOK4+i3 zQ{mVz^3PrEY&G-0MD925ul;|cL@T82KX2m-e0N|d`Tk}!ViB|nFmuqY=&zO@7eP%E z&McK)*NBQ?xq>&M*?1EN2r2wC&DDb{g3Hy)#S@JRy77hPpd{^*!8bM~p#K1fW4kGa zfouU2gfR}krrb)~QmU%1E%`d_x99gdA8=mJ{{R%T=b>9nw?}lzdK_hCsAw-L3)%U}0A7L?JA>Hyz2oyYy%&H#@mAoiwIBGeb{>8V{)rU+n!W`d< z&e6cwH#Pfp@F&jbSBNbu1gC~6?7eGE6+4DXqRS;Y-6-bZ=e99g!u%d}B5OlE zFdGC8`R>p!C^?-q55*VE<;{Ed_Vh5mL?ar}aasbXl965FE{?G%9m)?OqEs!zft=9{ zfXjANBXlqWJcx&jybz!>|R?pun!LOuR=Z~MdYXZ^MR0Kfjrwm)QYDnWc*8*hJ;U*o6d z=P*A#KM>>IFF@D@fH4G#dT+XMHp*IpAOl$}GPf^J8D5j7ig&UCPf;;IK2hWeM^6Cl z(lh$0H)jA7g4?`!s1xzU5(Z>P27B~WzN{O(Uv;$af#xkc{NtjR5Ayu?x{I9OiS2$X zv-@&%{O67CSk%xmP2K$*iGLU|y*;|V;eQwmBbp6W&lpF5u7q}~ za^CnxUZsM&NPa_W3@_kWVOD@ucnp-Mf_sLjOFNkM>S(~HyQ`KP0s#s#vS@%CG&@wEM!pw_EG}-9+B^{$IAe{{a60Q!9SoDmimr(6d2#Ya%tybb<(qXdU3l zl0gbNQ7|Ggm0*Yw?j}Ko7z4xY0%n^o_UOiasEk=~Ma~*iK@L)_qhBW7^k6-71KwS+#NzV*9WeYY007yd%4xL772IG8Y74Ai4t+(Ey9FD^D#u zu1(cqyg^jt6ym;Eo_btmN0%|gvpEn@C_9ExtM^e{!ln>d0j$ud11s(&j6F-=sGNmq zQ0s&~SD6^njDQOOK7D=fo^M&r<#>Fb`u_m^tkXRW`(*iXB%I0NXf**4~^WUyu-hTdIQJbC*2R`?oJA3bNVSHrQXn2b!nEW-%9Zvg^;UeH24J8lAkAbVkkC%cGjL20Ag!SpL}&+ti?O~;&GYeA?T5I zrPiOXKAYC#k>&Vj)>Yht&q==>!u*#t>9jjILG;_kW7GJP&-wfQbX+5@^}77cBZ@Kx wYK)zJNjZml_P-(+){Z&hk