From 7cc813873730d01e2ba7d14929b46c43e4e956e8 Mon Sep 17 00:00:00 2001 From: Ryan Kim Date: Mon, 17 Jun 2024 14:50:13 +0900 Subject: [PATCH] docs(benchmark): update the result of the poseidon benchmark --- .../poseidon/Poseidon Benchmark MacM3.png | Bin 0 -> 22626 bytes benchmark/poseidon/Poseidon Benchmark.png | Bin 22871 -> 22823 bytes benchmark/poseidon/README.md | 52 +++++++++++++----- 3 files changed, 39 insertions(+), 13 deletions(-) create mode 100644 benchmark/poseidon/Poseidon Benchmark MacM3.png diff --git a/benchmark/poseidon/Poseidon Benchmark MacM3.png b/benchmark/poseidon/Poseidon Benchmark MacM3.png new file mode 100644 index 0000000000000000000000000000000000000000..0f6919ee5180034d4fbc69f5cceb90bcc76e9da5 GIT binary patch literal 22626 zcmeHvXH=9~x^AJZwhGeSW)Nu=lpvxaq9S0%0to_wWDy0)f@CD9Eh-9VNl=uaWQrg; z6v+Sxs7NSs0SYP^L2|s$wtHrJ&dgbNPP#wty=%>CN2IF0`o6v2_et-*rK~8+v4m?0 zg+k$=9zUW&q0IB3P}tgjT!^2DS2lN0D5nLfM-HkvKJH^VomRJ-og1vQr+RLu5~Qz6f_MzX%{kn5;C>CpcN2x zg=?eN(lS>!cSk2BhhMiX&a@5j?a2}Sc&X*f<1ttBsKC%vP4<`Df53-VU$n8Ek3R); ze>i|Y?r)&Xqfj2Ov;E{@V%uFq4c=#$W59}1cyuoLbec(Z)Gq_ETe)^!xGSU{-`Tm_ zQcGF+?(Ae;!M+@hw!}k}A1=y@=;!OKx?MDC?cks>GdZ$y`SS4i_^q;;4s|^>vG-Yn zm+b6LUA*|rlY=`dT-JAAjugfHmu)_ll)}(zKS9+M>(<5JUM<>PE?Q9Y;`-8b`#!C{ zhE&;4<$(^zm3r!u9A3Lwoq8K2E^g7di>l)0mOt9p6g@ufn4q1hxOVN@Ws+``+5JCy zP~?teTC!?#?98ZDcQ+hXOE)DilIL|DzBf5GFmN|SM^~38rB(aWr%#b3yzb4GTlefa zy<^9Y$!>bm@cYA@dt*{lK21-2`|W(&zC8=r!_@YVw_T$}yu86FPfOIvej2M99j6$) z&*su4RosALU*077z-rj=#M{qW7*0^ z4K1yp9EX9#GJj$Eq3cUbTXM5Mzj>${(|@dW5O>M1=ximoRqm4oOIO9%_caRX=jZ0w zc0I*YEZfem5WMdcdA}PsZa9y0NA~ubGh8nZSITx*hToVsZ(hge&r$pAx-WFs#9sF~ zAFUW%lV+kC868c>2a`9#Ep%tKPtlK z9p9#Hl^0ns(`V&8JMqOoARr1$QgG9z!@O?ePx!iC-CEvV6?r>OBPlW2u%xW1Nn2)i zJY0IbZ9ca%X|Q{zxqbv8CO=P$tyel(g&%xL520AoN};n8jdO-;=pF=Lv*r*TV=_pj#di1fB*h5 zZ>~r&<98Q|@2vIm@>0PQOW3@3ucrGeIOg_y$nejn^oN}<4_HgPQz1R|W{=ZQg!ORe$xSJF4A>FKYB57UxymwNgKZj0t`=UcmY@nZXS zDwTS@Skk`tf^Bbo<>*vzLn>a5MQzMoUS2NNU7KKbeCKY<<_l{)4LZJj;g*(`K2{y2 z;JtM9wtCaLcum9OJ3oH>Xl^)v(Xw59YgMC8B=>x2aTyRlbm)-f#o@$Jf!O!aC&P~w zbIMGg(ctFcu^6A4;>MCq;U1_<3jOfu)A`3T?k(HdU)E+@5K z&hCg(4AzQSwtcxG+kAnaaWmue@^a?QpU+Ivmm$xOYzfnvm?!CGb#k<`hK7B$PS`X2 z)X>XAxA+>2n6>em;pKs%tFuE-(bY@K%jG$xhVP=NouB&cx8GvU7I`&hS-0D{=rHUP zre|hGG7Dzj?pDXuaB%N_lW5tLVX@Ep<8L8ulP1{=MpLoNaOV@$^v21V1o!E7Ui*Sf zt5!Xk>8~&CTqY92!hYr7vPBr{G}LV})~F&R0ZTYWJJWI>mIPnvcJ`SsGIJ*@LZr^G z@nkvp-n{w#p_p-+>y$mCZ`u0&_5J%^qs+_G625QNuOD7=?X`(u-HGDU+#1j{>yzg) z77!R1*f;k6y)v~5h0@YNP7?bNYu-MZDYbvU`P}8vUQKi|xxS{%x`}UJ(%t9W7&BSf z*(P7xo?jnze|u-G*sim$e#{$fGz;2p@WQT#BG$HIyT>odXP(c){nX#KZQIbu$f;`! zIXXIQM+P3t%naXu{P?k2rll^!ZhCsUqpvRkUyVwuNj8*~n(Pb@+V7MyJ5k{thb@m% zU1R7gwHalYTJ`+eBD>FT)=rF%uV^T_wR}rrQ@fJPOhk@d&#EO799+8u)HG_c_{7cY zmG#{wB3TbmpHa>%CDc)$4%PALDP3Q(a>e@fmQ#6Vb%~~RiNRW#mI+EbLeTfm|)WKNa<_6{LLFEL4eK_;^pP#=i^(E?cI9Aud1!L z_i{<*+FyRzC@Lyy(UPlK#pKqHpr>BIe%xvk{Q2#pRyBQ3gJv6<%psm64VQ2?d?#{W zot&Lb%lrg!OMRMItaL07TvV|=d*Vc&`G*10;jpbpxgH)XnA3g!{J8{6=Bx1$$`8uj zrp!2gG~sKDIODLhGX{Z3K6P}&s3&OIkGM~i>kkJOOdn0k9r99-Km8;oMu30wX4BVq zH;|7am7L{1H&e9Gqh}=9xMKZUPlMIRIM?k_j_Ge4PiH)I*Pfbklb1Vq@CxeKmM+t0 z32L#lB}iJo_yHrm^8sU%}U*1R!|S};3FCk@H2^ZoPPZheYF+9wmV#PjB6 zr^v%3tr+D~1%1aMMK|ok2d)E@$V8X1ep&rcARO|=rl*Vmk_s+(hb5_`e+YuiCoL%B(%CFXDocLEMBst3OmC=*0%zsW_WJ4b?&~c z_^b7ME*?OeASkBThsTWmNZK_Aog@a8g@b3Gnm4zEy1jiyhE;1K8e05&u@TExrKME7 zLJh@>JPqX_G}$#;H$b{^Ga=1bd{M-b&W#tnwP**2LN* z{Up>~!HpXaVG9lo59eOfoqv8l5cuJ(nkh$6ziWY8Mn2r&EkkQ>FZQkm&an`$yJ~Ru z?9-H#ln#JcY)OF)8=m)bB?1fsHg@XIO$Gu~iLPF~8rZN4_$|}LvSq+uR9}yKxA}Xq ziv8hE-#*7)o){u9f`H|8GYv-L!D|c2&w}v1fiS|CtQ6|R=hm7f<*9f2G{|&+33abs zuC#wcSGV0=e_;*v5+5FM>yJm8*kkx6CMQktV1ss^_aY0NJkU6F`Ji1UPwVgiGDdlR z{`m>+py^OYY0%zFQSs_@puzAbhi|mpO0t&+z>5Qb?40-#TKC)HuT#&(sU)H?`LLaqQy9>tx}f5S1Zdk`%r;hjMr{C;m{azAvZ%3rjL< z`Sj0qv(s6g%LRCFZ`_wW9u;XC|2AK4HQQhA=hrP~LI0dbOmP?5ww2)9%%)u}c2kL) znzDBG)s7ngwbRNlk42FRJaL$Ek>|}{SR`fLnfGA_Cjs-sjo+;UzQzAs=Vr#de0-JmkHf})H?MOGX8Z=~USGU+0 zKptJ9#qnjL8wwY;(>~kIyL?@*?`;CQ3M5?zcYma-S{6t>V-mb87BG}-xfLr`@S*Jx z@M>HUl2?6W@qxv-foU3}un$(v~K($i$DpEWt&?t6-W0Sl#&{hF?m!8T{WJc7zAWae~AOG_uQ+iEhc^ci;fbF(f9 zdU;xAwegjxt;5(CW|PBR{0@bb=94<}f21sH`}B!lLqmhy8aFq$jKR|TTbgF~g2=|k z#ySt=jnzae@lvb6q~oz`^)?;5^Nh)IXmz!3S`YpX8Z1h69${*TJM`;VG^8BWW!N*r z4qhWzUqm}21~ez<@ys>9&NHBY_>7Sj&7l^PCo@4 zsSzpX&qr0-Kls~j^ZGE*%TJ2DLKJ?FwFf9!x3`{tc3{JX4FsX$;lv!hy^1_5T4KIn zJ8miV_@(5g3!s~Qp~7l0zv9_7(QB~>Yrw1Zju3iWSy`!7;Ff3K-y917 zCM+YPUp1%q(0&tYa_SW8Z1QW<^hP({o#$@;vV6JShZhTQ2Tr(7jplulh;6>WOX;_K zJg<1}#L(pYo{;QIu9VFmy1U~*_?iavT}S*IGc4#ROpUuo(QKP$vsEJH(Eh7{hKCF1 zb2g8%1(+cJh3G zS+OD_Ep68f))rudA69lW`iKcD$8NHpF)&;uFKW_Ln_%B_B4`&Cc)A96(GFeFqBURl z+vm58$eDeTl4jU^ToRU#$%~&o+uoFd>WM0Q;^fJbjrp#O4D*JkZ1We!Kv^(l<&5x5 zv{2TO8@FsHsNh~nNjf+Rd1$D>!>>2_##puHFX7-|CKb$@N^lEMf!J!mzD7PjvWmlU znC#J?BN(e?C_g+r+&?rl2{*gRTN^tbkRnbeI|bV`3|GKR)YTT&NSr?0y0VZ}basvB zhtAEjy--t#9)qv)y1Kf$vQLLM+T-Lx-CW0$H#m7ou>k7hVJSWwELyD}bLq>wea^!% zV4o;(?mh<=3klu0$nh)X!Rtu*K--}Xssio`m_feq3to?^62UW+?f0cb6Lt$tguT$O!i#}hCjq?P!QM{Esb@DGaREoreg&lxMhF=_?4}FQU%+Jp+0-8!G zBny-qCc3uL^UQNqM6|d|gde1wC@}_hgqOxU?0rN#U&tOci$-HE%L$0Bq|* zY0AWYPXjf`&dG_x7HLc~xu0X-7l#@ei=9P_z@F#^FRj(kca6lYlcW9e%P%X|tchXL zHRuilEwscCXSZ)}C74f--ah1d8E?Y3H9v2?Q^(Ilp6CzC1&i*% zer-%Pydga|eaQ~c8mu_w?GiUA0{~<9`G}SVvWrcgo}draRQ$sG11Pr{JJ4vvty*%G zc}+}Ax><}&plcq+*DX{$crMh<7cXCmyH46R#ad8&WP!XEbvL9&r=+H)I}V4l!454aj~~Ce-m#61N5-w$(upiY>-J-Wk>aMP_zRt? zi8;9`Z>UUoXl#r~+5A+rk}9BH^XK0(UBxY%$30!u=;{gp?F4?HIjai%05Gp#AvN}x zfO^^WPDg-<8LS9&5fI`>5oyD3_%5xs6djI6`$frR4Zn8UxIE;o8qmiU1 z!Mp(t8E>2hjbmh>RbL}frxKiO1$20<$1XIgDzXegJO~w*n3^)lM^*mf;Y*<*K{Yg&hF+J0^Br!BJlw6O?m?h8(Im zZmWZXgKXxtrdOexlx@7qHvA2E{+sgsP=&)|>8h>D(Cg7hR&sI0p~r}fvbU%!NtGt=ctHs5(;V__j7xsZ^Mq0v!wTidk0>z!51 zrM``7u4xVs;fl{Ld^BohC*a}nU&hV+L!3_U-;3#NnJVLQb_ zo%e!DR&;x{g*a*D42LAz{rl-gZ@I|wed)=ODk3T%a2K#Y#C25j`i&c_8_EGYMsQsw zcq(AXb)=$)NV%BegB&_LDdXXeVFw$ELwS{R&OrXuF8A5XR2op~nKNM_ zPM_DJcxEWOqBQyk21aA|))&tX1s22rTzmQY1{$nc^5c*1;btUZWl?GG9`D_xudh!G zA?zO2W5+y!MB=gV8e1YCqTlti7(M7v>IV*Zu%yXteEfJF5bvaCYc#+_cT;8(WLnG9 z<%VbEPHVccvzJVB3WGGEi*G@pKb4?0;$yKovIjx~6Khhfz|9qiMKXt{O(`;F-A5HJ z$#)eM8tCc8-rUCAmuzfQ938XJJ#Oo45f@K?zkG1h#*OA5dLbv4y?K-NDE-^ekjjM% zG58IlphiYT!9Qr~KiUmt6-{8DgEaoQNoRpW2Ay6a~KlzN-OP4NLx#&|Y-#`+e zCAv@-_q!1rLPnOtpQJXgEwt2YrSLANp>qUzU4QXO90GW|o$LWYa3z$pK-38M5IUC! zr)!HuMHSy%qWQM*m3f(Cp*+4dZNqAn|vtA@A`-BEG-kEOIta) zQ!KqxQ@?p%dzBrYSukJk|qI_asWJ>;ZD^`Xaw7M@#2M-&X%oP-z4hM zu(B;iAmc0>eUlfpV#pLO@{SI=$cgC0*`DXf0s#czwbWZZHI z-Y4h+_E<*HYCXq;sHI%H%^wgcHBncRpP#>UMk3mT;1FCKuA>}v*;jfp21UlKP8*bV zq*_U)!L4Ad#f5)nAX^Pzo3y@Nm&Y%1@JctUOAs|rKY#ii4<7^;6=l;3wq0T&^H0C% ze`;LCn#|w(IWjSR{UwS+CS!a~d)?@|18v8k7}zxR%)YjpC}j0*o8@c|Ro9gIe11YS z@cfC`{H1Fkk$eXakZmB59MCL`O|B~0Q4+ca65`*~lYdvy`KxpN?}$KOx1E6;Q}ToN zOh-oDOy$h7-B-`<0MYuZB=pA{)KO+{P2cO;#+R6fciQ@Z?N36|#U*Qi*!z}I1aAM` z&;NBkg`u4P?!Amso8NYI!BV1-pr>B<^dxFtQEd`LR#-m7D25CX z1vRo!M1uXWwY4>=Bj_-IeuQ>1g5dd*1`mpWN(6nUHv7^S^KwzW+!&%NYNi?i%A7oR z?%cgRB7{S{r9FD|hzL2@BCWMMaM2gjRF--Ws$*^*zgh8d4D1>@v;xxVP)ohy=l(|< zBme~yf`io8!ugHam!gmPtc%@n*z*D~7-^6cieCt>F4gEQfnLN#1_C^da!u^(fNi>3 z=Vl)7y+l-0@AXnz1Sz7}Lw^%~8w$07*-!v&%nZ8|J2Nmy!YVPd)lIv^m$wdo|E_2d zWq`&nzXHGnM9`!q*GcZgiJHOo5`HRz0q+6k#cey4;c2aGkiUF6_v*E4;+H<3fJ<|n zFVEnf_%pK=NhYHdAd^QmklkeR+i zL1xwM=xF074Kh@scK~}BPOX!29*!DYK%ppC$?;Qia&mMsRe&(&2pl(tB>>vcc zqlwE`tuoROr2?2{Ot!V1!EI|`LV^?$5qYbQe~SVtK~SN|6d3kgx)y+=bM;JXOd#pN z|J{8BhUO}`{VE{9DWrnqa`K?_098GcDkq?-yD^*${?xXt^obr@aOnme|38H4wgq$^>|MDM-yIR>Db@Ons3{nJ+f zo&^jdotGa!apKO|vuC|@GSJx$8A9Muha{N9kh)#;R8TeQ0{p?cgjkhGV&t7P*GK%r zFu9x`aUDgF-V%-;Y~z0WT+(X(RiEHrEaQK+7XF`j$$x=Q)d6eunL-^{xpE~xWD6%3 z7vX*Tw4mgt(i_sv0vj`}MA3p4EL>;`6Y9G2Ln)UGWX^sCD#FjcQ&TV>t8d5gH1{Y1 z9RZjK?cS}ve2ZcYBo3k^Ad1rom+WY*`^-okQAnPKho>8sEIWGam=K~?a5j^fZyxM8 z3|Zh5s%ceKmD-a-3-GG?1*!0V`&bMO6apbXt+WgG5{!_<;*zxg-m?(xnVD*xtAz_I?lwLC%N}I?DE#!Ad2R8Usk>0ZiA4xt ztd5TbVMu~pxk^(8-iTda<0&Y@>fy({ciD9#vc{DA_N5}w)^5}a6cDk5t6-FoU~xTt znXR>G4C(M=s4AdU*lcO%N`FDij)RJi<`P0=?CEi9s>-25R{@*TZM#&6KMopJ4Ud+N zUfke3fp1_3jj<=WWIai-ku29NF8$)dJ$8!C^j`UH5==w z3JU4;z=)eSf7G5q)AWD%&_tsh$}L<{Z3R=)IHKktdZ(=b!iAKCUqFBnz3csxYY5%- zjb4I^7A)s#rK2vEmX`PI@M%65U#=}go$Exz=skiM--9P-3|Bqc zZBd0}SRBF)s!f?zb&Gf}hrz`;f?^_);)ZrLG&Gdr3T7jpZ3qn9BW$zqEBq;vTl9bM zAO^_^O;3aR03r%P-zVssD2#jevc|XC;OWBgi$@NDLBa^6t!Mj$hUzDe)VUd*KToW@ z#3<0}j6XHGCX48pnQ41o(Y#?=h~vk_9BX$Tq1D7|ia|9usefkR3}JjJ&ov0Sg1dLu zlJB=|0}Q-o@g1p{4LrSAa`Ulr2)lrDkPc^xyZ;rFd5TEA zAY&G9Ow&yvDlA#LRM;jMHUh($DyOKJ!CbUxQF%p0MIxdt8qftZg79z1RR~B)vDEL= zXd4l^AZy|+7OmaH(0RtpF35@4tO0x^k)ZtglD&NZALHU>ZveslQc``=cp4734~cmY z#6wmEHrpzp(ZRt=qKe`ED`Sh3#^keJDsBoUh^M5Nw>Pu!%6zikAR`}3HLg(C(+gS1 zxqd5^h^Qn0g-$`GAqw}zhey&BF&Pp`#0E)6ShJ}e9rrdtdV%_Gn&@e&uo?86yZ9IU z@Ph#A1dT|5WMd+xNa_U1?mc+0hS-OQXwV|aD!ac$iO503E|+o{y#VAfi8PZ*PaYT^ z5OY9(-k2V?W;alyb5~?wO{%ey_D`S`0>Voc6q>R18rk+WjzpP37N_H_gtl!{1d=iZ zxyH6Om(W?a*XEUFKmyvYR`S{Fn@>Cl!`3IPQ!CFoJ!rRuDc$MA_0{IlX94s6LhV>A z-2c0G!*Ho~{mq&Ha?X$eh|||(1NSpQzd#RGo(4EKZg5mq)*goO0!1W%U^Fb>eBwPi zr5bXj#AQb&rcA-z9m|_>G}(cTSNig4LiZs+_7-!l-yZ|~B`6@!8DPH(H1ffN2O9%H zsbk-tMpI_O_Uf^$IGaqGGExC$c4jczpMs>WXwtwk8-b0Z z)>X)kWV|0orb7)%-&qCns*V-h6iH~xSO*Q)^I+RS2UUOyCOr5V>+Rx~l`hL)Bj6CV zjAtKVDnv8q>q0G1hHe4SCl`4Tzt*f-^p1ik$Y~T56^O{TA73pdIhFYf+25mT_N_0$ zMR=ry*RMT5B`O#ShZYz3BPDD_^Vg&K`j-cgZu*N1s18x>h%ks=L(Oqsy*>3Re&M`oGTT?ky`*cb64i^xeQzipD427D+n4w1 z5h!F~u!cEh|HU>B2+PVBnvv%N6ys;2mQ&=EliA)wCqm3qXxA*>g)j{M+7;xV6qDI5 zLaE@|arQSfL4>?*(KnzpU%<+D?v9O?qsx-(J6I&W(5SaQ8LkdVWV{QNNy6=V{r0T_ z+Eo?OB&u3cxB+d;et!yi;~#HxNjazCcOuYYV~LG;I{B>02t*hU$zIP2Ha|Y%DBykq zG}fRxMcuh`ht?0CLE(?6r_{r`CcKGe3p19O*4@?7zJxWAdlXsqD}Jp%{_OlV6c%Q_ zs|&RX!ass$alqaCZA2D|m?q>O-~ESaUc8d@YiqR1Dc~ zqHPcQgOx0Al|K5w8@J;vXCEAj_GopRvT&X1%M3!nUGLJnad5gmQYyZN9xDG?F+=b6Ty0vm0lV?Yg+)e5dbthpPkS76aQh`td zf=w7o_=x5WMJ+#k?C2oLhB&mV$eLyNshn0a=T*EH)P}z%NdBtdJbbjogXE3TXw5lq z?q&}^@`!BTQo-F6ZOZ!%Pl) z#f1`Zpj2R#tI#;a=@@uXEj9rfu<6)_X%s;}1-uSGqo}yJtgbFIZ4y5_uvi%PywA!V z+VCT}*p+yDKhLvCY)CifJCF4zh~|$ULg-2r>7?EO8N}B38~?b&^V^8ZiY{2rV(9`V z(TdI{i=>|3iu4f0V`oe~1z$&$|<^Uoki33r|}>+XlfAtxaPvA(E_AV6~P;6aQ}Xh0!FY(d3*20O6k znZe;~27>@vE##D0HZQj$z_JDDAty&i0caSDIM=7qOW(ayS5xx?!uSMt84D^{(&1gA z5f(P7_1NJn;l&~rzoHu{Wm$Aa5+8&*0ZU=#&f_i$8oa;PG%cl=ae* z4*j{2JPH5I(K)n5@v%V4EIc%IL=H)mAFm*o0xnTws?VoaEAtnn!Fy%KoNN#9!NV?Oh1EYgfClDRV!z9*b}NZ9!j=x;D=I1JA+#H^ zj5t>3p%J1&+$~rl=vDl0w7%ga8e|`Ci z6}BZl99WH5pzkdBX*H>Rkg&iZOpdexsTvMY49Eyhdj7eY#K$E?=o}M1D zu9*?PyEm(5`2_zeWTi4~k-ADuOthcci#7=-ScFP)TPvaQ02Y^nVgML0(YT#ibsun_ zsoB}t_PkiQjH6H17JfH#14RR2CBRX?cUEH-MxUkW7D6(xGM{LakpLtf_0h!p4G(c z2N>>j)K|ohTL^a!aqbobe`@GovL1ASScP<6U?E`dU65D%S_|~a7DH$QKFOx8ZpKYG zF5k%l$)b=<9O6>~zy5jvyPB5xuIdl2z(hYBW@_jQZr*&1c%NAQd|lw#_vv&xQ6d}$ z^hnVl;bqC|Q#GneBqWH09x*qg3CB#zpNvDk(5=K50PX;l(QkMrQFoDJ^e}qe7Nrn1 z9i7KJ#l%SB7*j+-puF9ZYp$6TQQ3{_YNVFs$WbAR@inp~$#s4<7hwIgiP z-?;@80D{29qeK(N{MsG@9$hq_woQCl@q zZe;@UHud=g=ArdGttV{K6|tD2+V3S8?}Fl{4|5%p4(Q00H zb=@2aU0eT2)9;>2TfcILU|Xy70D&a#+m61Y5P({7`~Nwm?%&Tq{}Z87HID7#^Q#M> z@zdb=0LG>R)}8IqNYIKz@}>;^p5(BBYWf1WJ)eL&PE1W9opTsvd7tCgFkJ=YAk-jo0axJ^RnQP3gcl%HHB zuNwS#R9gX!pM-=uI?g3%rXG7FVO9Ig;H7yv)O%*6{Aw69@{qVl)r3ICN5*E9mB`Q_ znX`kI*!p}EfE6+kB9wQSy?_kBMC6K@Wo?MQNk>v%E63L4-k*CWab%zn0V*eaPfutV z&yj&Al0iZ|hs;#A0Foneq(j$83gA0`?wo+2AXPqKE3tkFT0|^g5I#D*p+G(mF#(8h zpn@bAU4vW#86P03g02k0UWo2j!4*D*yGxT)#xm!RSDSYRxD*2A%Ju7K3wR{=k_HG~ zgRT@5WD1|-=bwMhm?S}7F|q2zV$eiHJu-sOOrgS(d4-H11T;Y%5!rgHUj5|oBIs9* zeP5ul5ISUG4l<7v`AJ*bVUB_UG;`$M&Bn0rvb6o=DEt47Jw(*Hy3#jqwr0#WR&X=N z$H(hM9N+>XJJDqVCEZ%I zY@IUVV7;{tuzMaoYO?bIvGFkUFJliwEyu`Un!(G3O%Fg8usv3+TBY8x53Z8^2+i;D zV{9j4 zV=#z!c>>sPrV?(y&%QSXqDUM9n8a2@KQs3=PCmVrOw#GOO`IpGG9VKoP_6jsr!y|c z^sxhonMrUW3_X$shwnmGAf&P5G(sf-O*F9=xx|d_5I_virV~>`(R`&S5H ze}FWP`|xpTB=_(i7pzujf73?Ty`W1AZ^YpE-e}0MJj&OET$5Lk8D9D=RA&Gk!k<8ME5zq;!eQiD+d6B$ozLs0I=E95cXokQ|b_Bfp6dl7Hbn0<1J6S5b`L21O## zZ3^{@j6Z-rp2Acv#w5~SPZHl0bD>0fBQYd$OaU4Z(SA_N+#!zFVzjD;t|5vnuZ~s0 zOa>Wl!rqss?cBMO$YcES0c3<7no>0e!u?=lU?a-Y{>I%%&YyVBBv%L|P+lt!i-}AD zr-PFdEe{z6*yQOXtSohbw4|{A*_LE`FArvd9!Qfqx{8;M8~h!pI*qRQ?EY1ezfhEd z_eDbV1v_i>o|>E#5)(^(Z3pmtJE36o+c9xWhufFy>gcEefHH!fW(+pDPPYKcq6{hv zgz1TagQ2Q6NP|Zmtwo>PGtYso^(iK9h0&zRj5YLw+wp7vlsQQAV}P$^N&lDH5qzGy zTtxqZAPJHYR6MZhoYuNOc$F?NZQJq4o%1^}h(d(KN1GE_M}GcG`?+qJa{RyI&t!N5 zp&ceD27I0+ejT^+yh3d7JRg`X*g_*Xrhx>-m83@e;DPNz7KU1d*@9h`&3m+GZvMQ9 ztR!?B!iF*aM?<%Xf)zo9OjP+tY_5mI;UNx)pDCpL6R+i8=TAf*N(jV&p#rhRki&_? zu=#l-Bl4KvfBOLstn8}F-UVB!u;7@OkXniPCd8}BYK3N)!MzPfJ#5?(J@=^+S7{0# zml&<&Ko6L$CNP9dVP_>=Xf$`HV2sWg z|EPZfS=rWt-oZG}Ll{ky$Xnior2L88#MRfIW+anPLY5@Xc0q*)1+x5(1o3IebI0K= z(N+C1Pm9qh3;JSCPI96OaQX1pmz=^#zwzv|y$e*&aw7xdB%}b4kZ&Mb;P98sz!a() zM&vEFQfuYE%)Ot?Ue(SSKV6dF#M?E)IU+Liq-F2tOa`0JgvdaUp_}%e&zY$^OQtjI z`w9)++TZH4@(rewN|4R_T{OIc>9xLMS65e@M=|?5PfC#nEz6j0JZ=4N8dFZwl!lv)1$ zUm|P9kPrLx$<9t6&GD^KbC$Kem?ww`JPb0g4L|&_GtPk^-~-%B2>F~F!xtsXOj}hN z`tssOMf_PU<^S-Pe%+jX-yFcwP|WL#k+xI+``{i8*@k;PcLY~30_iC)L8nX`9bF28h)7cw>LmaIQ*sY{gv2#MyO0!Q}h>;h_%#TcI za`}h9H09|(nqWk!SNBH-Jf`4R9jbQKZVt@Gn5h80$F|C1GehmK39r%mI8S%iO#n1uzx?5caq)4LO z6Pu+ng1WpN212s7WxAGkpq_K-*O3u%xF>fY?{kAbKckZ)gS-K2xgkyNf(zq~vcipY zL^^!}gT&r2qt`+#hTfD7{1Y*gCH|3ls$29#8b9h)~9ApR;bDsUx z@Tp`o?NniEML}WE0Vwx}%?}|b3c-%OISJel+=Oi3h^)E|)wjR1){7h$g_}twa}PL5 z3=#whh57qW?SVQ$$CM^1y5wI7XU4duZ032>9|~o%QL+9p3b(@fa2bmbXc7U!H($pp z6PX|*`AG8I)T^&{eTp!{tL0-%nL?$JGZ=|2q z^gMXwKzf~CH3>K)r3yW)ll+yO$Ya&AUpCWT)subgQ^ZW z243SmeC?N7=pTmQ`Wda50>9(oK{14mw5+$gmb#N1A|;z?tqme)aC|2jdz8(zArUci z9Io-I(xTZ9w1^8xPYiP=-grP<(6TSu%1i755ex?_^Ra9XAP3D{K&&;qDGUF)#sIch z$uq44AIr$o$QW<`e#%=i9HLh@y}WFcWhDl1CW9yDf|48mu{nQL#ZN9reu6J=QNUc9%ReH-WH^H*hjH=F^TLq<8P` z-81A^sc}S%G#m9l1?-qVz6BCf5@zHu=G9b;yxs3PJ+(#lM%$o}-Qz>{q3C&Vb1p~_ zBv&C((WE!ILl<$kNDzuuFmV1k_T$Q*ehP!GLPp%+a9HE}50j~22!dqV6Bd>&P82X5 z{8;2;*%N>fmY%tpg1P7|p_f(29CP0aI@U4CiseuBOH!*~qSMI~FI<947mX!IOo2rC zU^ZAbzkK=fgIEhV6^U+PaS;Ixt-K2-9|U0140) z)5~L^4u8O`f}@j@|3itET;#~e@n9B7SGEd^d4N5O!{wD~$6Td2T%bEJA=+^y-wwWMlgdn6^f5%RfYD=dK&(itq};%BF~ zdLrp$kbL?MrZ1V57OXV9aX6`{=n!`>^RQ+h_nXfLtaE5=t(6H4dokg?p|l3w8LT$Qyh#&ddT;K(bSuUVB&JoFpKiW5>J#E%eZ?eJqkogB~IE~_nIAtaF*J2qc#2Zcu1-wuLZb<04$l>ghW}1p7RBD=zO{s8Dhvo zydejvag0iC|3eb=vFr<&M$%OshsS^{w{@ypcIJ(>s6r1QrzjzhPCT|Ma$;a+i*tEp z0?W^##YxuFAO@A5jGDt3Ak&U`_PagT?RQkhEP)0-{8LvKMoNFBR-wp|7@A#I)lppP z_tO^%NP}BSi-7L=8nI6};VBkLmaLrfAGJ>3dURkGdxO3iZs_^*=Nr87-%`XA59&UY zMQog$cZS?;9Kt$2mS3W>5X;01p$=B!T+13{hRKk0rNv5uFX7!QL%{F&_;DkWCa#!{ zCQiK$R03t?w$4>nLBNnuL6YDH?9K5%3lD_AWP3xjFrnqqNl6n3%nUaehnnCJDYEWx zXqy(E^(h1jNMMsl*~C5D1#y8?I5O8v4gf&{x*7!mmdh$24ox6r`wRM{A;DB3sV_WB zOn)L3=H$VL7*ZE8`cb!uW(u5q0(#7)bL9@~Y+se${G-i!{&P-Z%4>|azIxRO<5^8k z&I>~%Jgh1U%-o@<(!!er)Nuvr7}Q0qu6h*H$LX+gi0b@(u(Ie8*3({cECD8e9BhS) zaxlWbRH~5-YOCT&tgER^(9SS_h+;tw?m(GUMNUlrLdF{ej*w$H$ioUj%HcKUYRO>) z2mlc!3VBpyB)Wks2=gWfU}1T5k+U(yNymXz3zawm$f4e7E`n}+f<$>q_M#Yex!MJ8 z2jSJS5*{?-8KE!7pG3^6UC*sL|a?4BB3~AYB4UJ+!xXf!_o5yIz&>`E*uHKV$6E;uxc#?g(a@Q!>;=}HYR~M zIQEO_8YnaAQdd7(j==`1!{}w~htHplcA3||KaG16uAM_pIT7Pq3n+OJ6;(t+qHYZw zjqmuBbVZa5@74O3E3?QF)@BHzmhQp`iUl?}7iNWuA;Ne=v;jck+p>ilpSY8NQ-o8v z@hpXGt3ROaaZt$_m`iYU;kb1;o;X4EC-FoLAqaUQWAQUDufA97$I;X5;dk~QgQ3y3 zZIqnaip*fB>*zzQ+TKokucH*A`*D!-05Gsiz#Y!;J1Uy{^(w)A7^hYQd$?rlQY6H^ zS_ZVg`8>%Jqr>+gzNn1#MYFaQby zl8PK8C{P5+NPO$q_s-lmbMKpX-+XUg=&##Gs_L)*KVk2+*IN7BmX*H1xMs&13WdTb zaq+A?g|f_xLSg9qc_n_sU)|b+{|VWhQ?*mDG_Z5LVxv!yx?*Q#W@%?;th>uW-^SM1 z(&Ferp@WBbcNy8)S=kEn@tOb28xC6981fza>EbI~WVO{rHCqa0!xi!$LyUN|F@>V) zFLCyiqSMo%HfK#G`^D1H=@nPymbW(6{p8rX$>(*e)@`Z9c*HGwT$mVctRS+N3%BMb&Lyr zbsK&?&^FE6pu63BH*Vyy_lu*g`c^#e&EydxAt@a zv&LOM#V;6{1zIOV%U&!l%*E>#- zMMb4PSw}}sPOj|Z$8<;6>AdwU!i_t{4Gj%f{PdI2x6aqXE)y~NEz7^H`h0a{C1w7w z)YIc~3=9l8PNOdbEZY;lkAF3-k5g(+GxRG9uad0n;*!&LkIhSb{jyzNxi2mS9yFpaA9=^%LYkhRs6ljP*`x8VRhu4NGws}b z$V+~-FWgU(iU(kq$Z`9gx=$)7LfC%beR1)*#l^)PM-6-rYUNx_Yky_lvU%&)s5qtg zvWf~RJd4Y4_E$5LHEY-M+kW|t-=bADDJf}eYKqpeI3*Y&=H48Ylx0fsT>NhM`>k8? zr+;5FHa1q{!&jghaV!22pH9-VXS=eqvt#ifE?=G)+6^`y4i1WMC}k0G`0exO&vB|L zFYr}SzwSLB^Xyq?lwXUIn3x!qos+X=$x_^5@NuZ?u#mH>YdLQ7F0&x*#W^1{lO*lh zna{V_1|}PHRPOHJ?->|~yT>9j(E0ktxv7AlptvNhTnv|Fob2=KLHwpsYH0>rVsqOK zPq@vzcWY~FUHF9!`uh4! zgWVlVi}v9U=*QV3=@`LJGz=D1VA zbi1pKjZMw_2YZv%md`&py!_{9iu2#zZlFf&SBkrsbA)H6-F2it*>fRY+ohi)GAe36 z7D9i2|LjDq42J}#^i$br=@7+4b$&dWWN2upFm7Ayd(Wm|^Q9q6&swa_W0#94j4Z;6 zx7M@Nv}W68=#{Q_UzlvzuacyhBC3^Tbqa%9_h9dZV|IPA-@ku1?yred&$Q5b&>Y|5 z`R(N*prj)N> z=JbOH56V7#sQ&i(t@$ev{j$wM$B!Gm`{P$(+b_ORQo&Jw{P8oMU)_}Y@ZscF@g=o_ zf`T0aW{=(6-26jBlLB~DOd4Na$(&&7?(Po2M)92QW-BWzt4TMmov2fg>94-PR`1Qo zJWFD`~oH7N&Bg<#b9HDfsSI=`w+5KT= zteo#Ie!t^_A1nXHO`GmwHn&??Sd>(WFPROtX4l@ox^Cz3PX=vR%G;^F_H-JP_m%Bo z9<#B#KQ!VF_@}4qRdkrBzB4mU!J`oo5qr9aS~3NjGc7IM#j&%_P)D(*)k|$`ZSUgk zJE*>s^af^J!r9r`J1{V?IznPo_nY6>(wZ?Yc=hq)?R3>bkA-y-CGT!;GM{zsytc~s z*|TT#o%uYXlKaQjtXp@?V}A5PaP#~37vDBCG#s}d@UL(hY0qceuwg^@{P%HOyJU8f zp4gIQ*H6u`Kxp!2*P9-0Bfsx054?+b60V%6UeaG1ZT?D4Rn@6BZ1mIfGv4gs>KP{I z5q<34Ci<%JSLg9B=RG_M?DJ&8#Jtne(yT|j&e0p|tG;P?&b4&-j`fze)M<%YSX*14 z8$dYJx1-Z4W}h6`>T}q*CSs4h*AuHX+l#b*-LWGMQ6ko$B50s3H*>#oLX3>~f?|EV zN&}V?yF_($wE#VDqUI7c0zZQA$a-1htsJ}R4-YvxB)qTm zb^D1cWAOC1dsi54Si83N$x*{}_c@2)q4nDj6@3wYkFS%YW+Y>4_F)irh`D7|_(rj- z@jlX6^c8iT@<$k-bhom4$=?6OFf>Idk_G!PFYiQf?En@TO*~B0RT*(XzU7s<{o=f{ z`*fS5z#K-j+KXZNox!Cz42e3jjok4#vWTUttQZ{kd9>c%`pV9jn_Ey%dz7?-?CYZg1d zS)**QpyewjTYGz@43m1Z66_bno}hQ8u?Wkj&zwmd5pf(&5HN3!!Snxx^)0v4??WWglojjd@|U;sqOy2R?zx0|k2)F9uQ zP%{$fIZ=IKcB;j4GHhx70zO5vtrCsKs;9SD7Ah6r*`lPX%EiaWS6o`UE%$E6E&rO% zzCNeYOs377*|C+(o6{v~0+@9oc+!j(W+!6{WOcl+wAzUajx!}Ix#oMMrlr+m zV6$^`O}pORj#G%fr>Uitf%TC;R>niqv#Pf=TOdWj*jsEKS??%TiDFZOO?%%SGJDep1mshv#Zu@ZIBsd`*)h^4 zFDv`Z_G_g?&PKD5+!3)Yn>ROp+}eH*3E(0XpRz4|u`c5{ZQAwJIe zy&^_EBTj6#Z*PWi?Rk=WzElMFe*Nmm*|MT+a}on?KF48bzeJFbZB)gKFVj(Wt?XCQ zIX3&hO{XawP*1Xgv{i9s9sJiLGl|6)JjeAX%Ho z>8ScEvsgs5il;(p@2ztK)ZVn%+k1b@oU1G^uf;sOUuua*?k|`hyF@ampXk(M59Cyl z8cx}*B!$=UTefRrdTX&R6QaMrGHZH)L@xsfB%`n62 z^J&bt#+j>gQ$s)IGbJUZIomcG0~%q|Th?E6ZMiz)7FLVC?ZZ+_Y@Lf3ex;5A_kc%_ z_UY*89MH;1fB*JIc>qr|@~%md7lTPhLH_JSzn=R#-@?K|Z47{ji(BPWq41@-!lj3H z9PfrZ3UvVb0)vBt&)?mlpBRjdMN8I6?(Dowt`A5dudMv&m1Rc~U*UY}`=gUdrLSL~ z!Y5P^yXs$@Tg$lp&`G4>+2P!gbjK0xMD6_9dmfc^dP8!<&DEQZxzE~d*}63jcyPxtqfa3-MuL%&0sGanZ6XP(yUQY? z9I#)h=4jQ4a6r@jyu5>tGF#G(72L68*Dx|FVYCDM{q1T4H&FCLieHxIiJ^WO^fsk1 zP$<87Q+}pUE+0WDLZLj|{clPd3T59J%1;!^Atu(JwAKKY+t1Hfw>fsW3v>vg=CjIV z@_wFXSXEY4C9{6L%9q8Ty&^kjM!VzG(xOn{;L{EheRB0Na%VO&yi{z(=cq|LoeFF> zQYijWKuGloYPCTZ*q2?7&2njOXln~0_cGX(8Tj0K6Mpjg@XMdKs8BS0|N8Z1*yb&{ zjICrne?Wq6H^&{k{n=}p^7fGbg9pzC2hChFuWKN=aAW3K$Cp#MHsMvT_|H}4<(H6( zInVm`%;y&=6#dnItp&59Re852s;0al z_xSBriPWy?LrZdDfdh-{W%?ZyCRv2-WPP?CKx+S(TZ{TJi{~-Jk6~W6%R*vlaUsLH z`#gcnTYb*qU-9{GH}>q^yXBW(cHzeOjXs@BGpN{~I*j_HF3VaErNVn44it_8@M|F!QG|X^~(c_l)rs@Cf{|MhA1;Kab+2$GxRLw-GL|krjJgaK8@wL zYXM+&wl`2mG5kCund|aEzJ>z#If8;wrS!esAfBEi=(*^|$aLiFja3_H!)>{fxUX1? zwj6<$P-K1*j)$5vE@|aDD4jifGc`381@T0yZI$t8SFymP&o(~gT!$fo9>^{LBqq4L zqDV?lu_`R|?SXo(7 z$C5g%x4T=9B@ACZS%thODIrmfPsc=ux=2!wIgee<2k;}cLB{awRcz@^4w#YpXc;z% z8fMG9=NJdm@<#^-TC>w;r$>?jjm?`<&utK$xIZ>N9&rEu<&Z6!xekdABkhSmGX!B$ zBc?k%bx1`?OVmi5!v-Zqzg>s>v;;NOeM*gl7$no#5HUpxrPcN^!#frvfDc^&1dXME&>v^n#1kWTOoYuCsM4gN;U%y6UOpU8woTEl8 z&3_d~(4@Ld4RT8$Z>eB8C4QEnf(u|r0Tvk@tx-C^uz+9XjBT+{nP#9Av9U1x;`p1c z?hDj4&w=9;)zZ!bHq`<2fjQvp_tbgfAlh3NkmhWeqN=E>YUD0%)p?R*-@XA<3Z!mv znH;dM?TE0+cgLc?P{MtAzG{?3P-)mqQ~s26Nx!$`C&qNFY9XR+UjTEXh@eYKA zvFYgsWcbPVd;MB%g2_7gea)6*STh_P8~~eAG=0DjLVw(26*UQ2(VA%)MnF!CT)0L% zCxzn4{*lu4=zGJ2(!f1YVYi7aM9N6qjWGbMdcI3W!P25@{#3JRbB=v{g)o+P!$f~A zzw4A40XQw0mJLsZY%NR*@7=pM&{0@;-j6jAALeFff0x61?3kidumD+>B##}?cok#W zQ9v>yX2$-4m>_n&R_w|mR3#reI&{ERtXaRF_UM3yWP%RTEfx_McpZN8W<`LBR5gq3 z-nzQFJ#;z`HuCS@-UCR>0{m)fYIpwl<9=>#?g>%RElfLa; zo``SXzU^^$1JrOCOerN5J5nDHJNsEc$b!k`qpJ>gS-SW3bv`@KvPdc$Zln*H6Qeir zAd$$&3$yfOfwXJXx?~-3pb`bk!i85m1T7N8m%dk>^Dq?LbL5CTK=zJ9m%S>oigl|C zmliAmp(U^_6^x8xz&a%Amp^Kw8Lpso`n>}cCbvTbAm_>K)KEO|(TY{8Ouu}5LJ-E( zNC)6+@}9{KxAD7})9A)V)dfI%<`s1&}GY(O*ES( z8zWJnL=6L4<&Yrd4q(Fz$9Crn-~h;-vATUb#lg;gk&3dFU-#Y58D>rL*#9YbzmMCN zCKUe25YZP{ozH^FAPbVPFR1wkuB~Ft8aAx@@ZkZHKM>4bM@PqC{cU{ObT3Fd%0UXyn%Y{d=Dp@^IrT2HeB9g;*aP(_BzQpu1-oNRb()%*1Sho85k-`f zwet~NZQInBb%xmX*KmZKaFz#JeCX%r*VWy9Nx!h+Z}0c%GN4Wcb@d=p2kEU}zn(w> zNlD2RI(UJ`x=Zq^s*f`kQ6`qXfB!Oe^xHRC6owi5I5^H>6a^YQuuRJU+hSv5Gv}QN z1eh9BQ%cgzZtM*_s3k8geXnAzW63Huw`bT9+^DCpUeg>!kl`gFH&RGGx_r9c*mm5mJ(~JD5jl8kYTFm}s|{m$c2y5>R3%BzK5C zT%Q^3xwHsANEXi!r;=) za2Qe#Hq2U3zIgEuseE=0PEHN_@@30=Q!m1X4~6*a5+egW#3(BkBrPvx8c~{3;-XOnf@C!5BLYbZLfIX(D1# zoOXVWuAUx;#9MDh1%Q8kfJKz1Qb4=SugrsyId=7zjkkMmU`qmf5U-u@LMttr`Tkuk ztasb??J<=hBBr07ox0=WqX1Ur#fukpxsH~>B3{!&Ezw{Ez)SWIHl>kDf?dsU-pY9-vGO z)L-J1303^?obEVs^$+iLOuC5x)nSi#)oi}52Mj&Q&6V+$62w%+kXJr@jj70WU|Mwt z!D1Sj<0Hkn^CR!bmam{JQ#qiPdiL$D4Jx3bwC4K6-JYh}R+^lvamk&!ChxFe>C)_m z_ypGR)Om5?owk~*7`|ycF9}xJovL0mlERGl*K9Jb(Azy7RxD=+|Q>z zWgU>97b*vT`$||50MI@n4|vRcUL{fU`Ry(J6xDRIrX!?sKyoSea2&xbg5~ECU7YDA z2_CyH5)^8A4)%*Cwo+}j?N@dQ@um5+e}Q=+A>jpQbQB`b4=EK$o7y|?lU(I-LRZW4 zLuyqIQ=@cPVpGg{mQepoMPYV5s@0a)F&puOR7HfAq%MM<8hCJlwHhoCC*mgVo}^XB z;Z6w^182+06_la_dnjG6dO{0h`dVRhI2|q$DIQZ#k@UFjhYT1tdy*+g%usZKIv)w^wm&v zbk)`+1@5o|53Xzm>1GhnXL$%=^`f7I6|sF&{8X5*}sc(t|^koN~g2mZAI#n~PS zYpOp=Tkh>)>JXaD-!+Og95FJ^_aP5=Mq-FHb{4KqK;*H@-X-BH~B` zXG~bGA5_*vQ_$U6mtx%vkC)l(+^BTpzF$^Jyx9CKw2kc{d+%2rT8pKx@_5Ol&%|hd zbXXj=w+py8ayj}8;n;0@E)uSbs)!UIV*Q>%c`0H*vDR2W?{wB(dwU|%Z8?BEBo=DY z&FFY64W+C3YquSY0lDbXb(`}TD6C-9F*5e3+Dwq+nzO9K$=E}wQ8ip42=)p;U8Eu% z5zNu~XvtOVYCu`2iEQ+vnhmU}_k=_O71GY1TdoP9HPDn6{pg^U$)?2!o(+6#$E}_r z!|;Q6r^lk|DHA4lmNU(kq|Wb_4tfHMKlbHIS*f67a@yLV8BtJg&e3eGt>u6(l#?`L z@qBSWD>Qwi9h3IFY{LHd`)?MVYSbg52LUo8g-hD2*6(~-NonU2R0-6zoR3k6_l{E> zCsIvaqK06wLLNbPpbrxX3#a2Y`a9}`XwXw+z63KYJMVRlZl?_I!o8JyRFu&c+18s5 zzPvWjm=eBh`Eq;E9n9(t$aYY}ltAmUI`{m_BJR;@;Ec$c;j!RC_%~9#VWVw9^aPyM z0)Y{yvs4z_T2ypWtH4bywq<%gDLJezMtg`pC6|#J4ZItTx@RCZI&{BHpbaAVBxqei zWRN*YcN*q$%wcI~U2v`({#w(P$*G2Gv8ydb)aVwJoX??cpg zb9e6rZ#h5jHphP?^J`)nL-~P&#PbF#RQQYp4-ziQTtnKX5E$<(9oS-$>+vnT5 zwB?{^$6k|HB{QuBRMFNloaC`g$c`m*!Oc zOSdOMRj42{^+MEzM2NCUNuZqZtt@Z~8N)AMqCS0+MU7Y#wU3AA5|}?5N5{bE=xC5J z_QS10^f6Eqaae06&FQh&hMQSgwaxgL1YJ zEG&s&`HT@!$ZkePv;#}8OE3KXg?X~S_5x(g<`lhKZ{EJ$!pfQiwMNyH$d{lUcp%&Z zh7+lodxkd`1X+Qaqlyu!=%?HgP{!$}Q*10c!|EivD^Z@LxQiKOIJ3@M# zzqgZH0=hI6LMp%Gux4>_@rOg}NKvU*dQZuZRg_%C_KSQ^84Us*eHv_ZPAeIr} zB2j~CyDr02C4Z8p0m?+-FQvXj4Iu{x2M71$zbh{0-nHvwZL~}v`-+t-O+d8ILb65r zcq!tM0O!MZzuEam4WffCtC$%syF?yY{uqjFdit?oCIJ8sR4n^BI3gSE<>lq?e0=}= z@4u_jH(&sKeb)u=fQW)>Rl^jo0dN^JdQvy<*s&jR$=SJy*YVFHCXrvTOFh4*r>75m2q0^k zngfb6)Uh9C#W*>?dQaoZR+-k@zG?l!%*=!PpvQw8nzC38co?U+>@o(Yx34b-T1zky zT)xlDY|g#s=O=S}QpHm{`OCE66HUZw{L|1nQZdmrJgj|nO6I?-dGbHIqvmNfN8$B% zN|WDj-rSrk{m<7XZx?iu13QqZAAq5#SWBUFYRj28GF-TDAzr7@1Dhs*@abd$z zp0g^tf#o=yc0mArWIQ)7xAzrn}t z0A?~g$_cU$_emx2|J_1`8c$#HSc}Ab=gu9%DfD)BKI05?lL!2I)t_kEkTeUNmoUQS z)X5;B!g}n0))Vvj`SGeB00H}rI7Eo5!3q+SQWhb<){D9s0}&GwqZDmHuWua+JTnuAq2@@a z{AI{y5T@(kQn@p6gm|W)4nV^v3Jesxb3hlPTm2v{cr9RkYl5+R5gra-)p7HV0xcMm zR6zbn!$xMdAlTs+F6KVV1tL(yVNlk|DGM1W!?23gv;r4D2C@`^o|~UvY0G{^S$sS7*rb#*C1hXaik(>M!z6=6qr2-!pc zufr3?PDnufCcsXA$`ZuL4iSe0qG=$q_Cw5XfTl~*kc2#nPb!r_-dpf z5|2nh_*mp-!pM2AXNhAvYM|;07mwux7$!P)>LUoDJ#nvN?skx;0( zpWzT6pA4*7;MEp7?y>AdK8f@9_t$NZkdR1;4UBmC@{s8QGBGr&D+=A8KR*Y5XeuQs zc?WDSNrQ%Mn9e(1A#J>=Wuu(ka zf!u-`tuc@6=q=KbDG&eId}VF|-t~@I_dqJd#C|*-4F!K)loT^WJpd#62<(6SG7P09 zB_<%*irEN=5$QhI$^7!l+m-pFCCn~!Lz%=@;0{)L7Eue+5ur;5_x3j=+`T_ZI0FjE ztNlnB`UVEgzJ>+{W#Hc$i5EmNp>P%?oC4st06!)fvcTfLhxmRT9-eXok>a7RnR8A< z84VMIX;mihCQ>7ShV}~zst_p&Of6D(%g&*$u07kf1#Y}YRKo@TvUShk3f6y>J6&CUDUG7<;@X2YRQbrY37E#?H?GPM@ zXD4FFKzn{J|Ie_n`frJ}S))oN1vat7?Av!96s<}1i{G(d5(G7O3fa6fc$D}bWWGs7 zGYnmGx^Z|!1bcQ)j=Cwf6iM1pqzQd2BlbPQpeoc{YZw~<5zFZP{oQNUtdYkC*s^Jp z-grV0(o-377$`ttSTPCz1fh@)_NFlS7M5OT5?2O=O9GEfW6JAjd3oi`gOpHF*Eqwf z(1zAfNERrX_^rF%nbH)KG}SPb98-{&kGfCRt2Ag1gUle9yEV(2!-BwF-p+%Uv7G-0 zg7-g@T)OS@uS1^egXy3KE?gz3GsL@k@ZiD7YT^|hzOK8x6Ih3zC|c0VzJ_@|y0V?7 zUs+jc(()>CWJ z6NMFV&KPTTs*ik6X3YC_mjS0I;17$#LOpjUKQC_r9NPeKFTz5JuoMw~!EXQ@GjD(a zwx-qGou7&t8ylImkyR=k)0uFUR(B5VBFDZ@yHWW(dp|=gSTo-~=hh?KQHEb^Tz(mH z=wyXp$7UuODJdoVWkgv9FJ<{iuJc0b_yoaM^Xj~e=j=m=;a2BN7d%ptmZB~tU6ofD zY2?8uD0+Zd z%@V*)CY4w{QC~?$o+58ku4=c2U_h^;5EWg@ zJjetH(EA|Wk?aZegKF1%@Up=QjAL2U#^s$oA084v$?t2o#c5{S&_;ngRiQ2x(kt+e z&Ptxc6ylhHq{efE>;jZJ|2nA8Al^WfSH0?nVkb^3cS_5YnCcy6ZZlYcpC@Xxyn+JQ zU^_T4;9W6=v(*LV*`@dkC!y}|7ZqKwASH}f zZp1sv3@ow6!>!rW2+)gtSWfu6Xe3FxSb7HoR^l>Nh5_3tg67Q;Kg@_?3lj<$JYu*5 zT%}>CF8y`pRu+*30aFJRf)qQk1Mb%;$iv)5Enl_XU-AaI?KIprqJ|=}CMqkqSt20u zN>HW4#15#aG{_snLqTy=zU|1cflW*kg*p+9_635WznjF=a6ump@|%naj<^_1+)>QjBBbZhW#;>s%7UQ&^l1 zYGzrT;faQ>hzMWUEk%ZGn0q6ING5Y5g*tqB->w(TbghLfSCcacvIn$mV7tehd4@$B z)ac0?FzG6Bj96BkQ=5fW%rDN3(4n^`f2js-%0y6+d1x1>Nq zdgY3QdWJGIU}l#QewZKqi^b+|S)AUr(nlwp7k<%duZ510dLK6#T>w;5D#Rk zROsPuKh&&LI6vmY&JD=Omp>sNdyHgXk$9{Q@SE755*P06l!JJd*o~(~yAw$`dhM``+!u*ieJwrmf$BgdvR`hqyc1w66PmZcqN`<8c%T< z5$#!%e>1Bx8iQ0xxN$)R0k$FB5?wE7xs*25N}(lfZA(01p06Vi-UN zym1L&^Y)H{SHf?Tv@Q28_#d7gN9OlS#D+C7)tL9c6~hQ7}ZO9~H!?~#JJ zB%rQ(;LwUEM=wCe6!w_UV&@hU)5eezHj4NbP^;hC)XvJlTi;n*ICPaeQK>M%6K=JS1aw!KaoEhPSr9)aomv^3QC`qcC1 z&*2B+b_jv?5bPoWeKw88hAa$BB)|^`5&RvmXb4pAYikt})iY9QH~&Q+rv;%ZL)dIG z5GMl*Q!j@^nETWd;*+}i{ug42hV#Lt`>vp(tgMwnDG40fvRzt5RKn#UFI*xG89<#C zsfF{se1hr!Nk|VP*pGGu7<5rK^n)05`TYAf|FAIP{oT^P0P8PN5GUQil&6IKiZsWH zEsm;%q)o(ErK?Yhbq`mpBLF%tFORHjBBOJ0UBptT#d=jUqxjyvTMvuk;3sZ;d@{gk z%?#Vp%q_T%V$sty@M=$deE`rg+-2q^L~-x#Ru~jU@6BJ003BCthzl1@Fm;AJpgXnbpQ0#FYv+K%rm||dHfcA@=_r|o~ z-oe2H7&>98q6sUjs>UD-?q_F@Xtc*9m<@1n3kfx;v%yFQ%^^4l7Q`PdA$ZLnyBY+d zX$A5QyiGBrMyo)jfzh%|3tP#!BL+=A)CiK&S8ZTT7h1819a0Vl;g{yu@o)w73=dn3 zBi?4I_;05yp|UkW-gLZr0lQs2%j!A0a73}d>1b|Iv9L(O&e`>2l;Kz~Ph>-K2i7Jw zPhz#-A?}ffoEa4p!zH02eTrl>0s#%f+@soZ9pj;k5Y`k0I!xepL}Gk)>PEVL`Bu`F zLue*+UBCy!Dd7Tci3|sxz+!lKu6 zZzrInSB+v9zZW2(5(p-sEuC0oP_Rl*E5=aCwtu_#_p608AB6k|H{LFd83B~S4EGGX z-2~-5VfcVAoaR2IO)vwQdR zcLn6~1U0=2x_|!{cT~O{G^{@V6&x#zAXqCwp85nknwh~@{8rW>;PC+BN*#pTH$WXl zY!`2TNJ6H7WlGH$k`Bd7Ubc(76KEGPRthYIsk#h!=FsH87#H27hJWO;&NzL!@6=$2? z{Q*z7Hj)6C&@k=nr)}mJiWjW5ZE%C|@grIgzzcHWO}2?_;v+`j!FIT^Gg#jw*>f7x4$V;U>eUG7JBA8rrVR%(%v+RU8X;UD zBAG))C_2edK|rSRuw`RK@?n)TVXy*IaOd7V8mdFmLPRcFTa!|Z>?wSTbfRYL!_Bx(4=dT&q!L*l3)~nRoz@Fj zJ5U$r5%Gj?>KT2OSn}ZTFdzV zMg)A6gTKO*&mvw@&1DM!lX=xd3jXxk;K;t=o{`{Y! zQAv4uxj{C(XG8*5P-qqK$n^s*qU$Wp2BLa!Iuj-cl?JGWM*P8+MxxkhHAU!EvWCfz zbS{wGg<8Vp4BZ!<6o!>gQwm_gbqUPH&djnVtRt{g8N3Nko;(rg#vfy&qudTGY;0j0 z>B);9(Qbj&DkTL!O#**m;Rhmp!(5lzByByHoim7R`U$j1eZH$BeGL6ZfQXx>M>>*0 zu{I`*{K@H=?qtMznA;z~bdq#J!+ivxL`%WDiEVoK?%l;naHZ)g@JRp%(`LQAC=kvX z>mb8%@$=WK{XYmE` zkwRMPnSc+E%T`iv1+hutC=wfVP>K5436a zEleP|xYqt-+g;XwV7qI)nS>@THB?}P&nG@>U~zDkAL{Edo@{K%NSgM8jdC!AxPbX3 zK5DuR*gOodiarQ(J{Uy*9;?lu7n^&1QKmqSJZJ> z;&q_!lGPNlZS>&-^lwx_KAZsT2v8j-?L66^)v+>N86AlZ_Wy|`;s3(y^~1h2(o-5&g3sgg4cKt2bFy1s&51U5eoy;xkRtzq&`r=2}} z)(99xQd*h@Jcq`?eT=Lp8gou?a$X1#wwFh8B^4kPFa_csBTaYw#KnPXJRP2|$cTs- zFk2*fff;nzc5gF+Z<`WQ=l^AOFq*ydzr9&Y_#g0vG3cvMK>?-?dZeLeA#&&}z;~cuAh;JbXq;wts+5#<%gm6N$4G#R_Jgo6od;en=$;SsfA~=E&+^J@+czoF z!HbMN3C#)uXhvfYdJF(;RdqlS^8VHL{ZAMw1o(^1yEEsqNQ+brnubWNflCbrg*l?> zoE#u9iDrOmQyQX~|0_HYhWPB~8Wc5xaFcj&l7c|LKzBVtTGVh$G;Pw@(V*>0@;nt1DNNoFJLP(u zuVV%1UsEt1icv|{7Iq$sK-orG^|l^R=fX3(ye$S#)YJK`@B~_O{*D7Y27^Hh`n%bv zNi%rcKbeb&Y6lK!7VyVp{0T9JLLKhtKSPFBCEzbPij;%@Q`QPXU=_>`#G4)zCngIz zqL)9%Uz`>HQ8(rP=OxYm=Ewgpvs75*0B3upzW6UR?%CSdK-Sy(boYC zuLRpe7IIV_6hI*nk(NP2WMX0W*>qqByEbi)k-yTI3pfRX9R{kr;5B?9g^824yd~xd zZmwZN4lad>1(7WSA$lJ1%$<)rCX$4{WZu;C;Nh|TXldNwaNL-oi+8`IpE;e{oT=#WZ~hWl0J@E5gC7s- z9g2|vq}o?c4)a3O16LQP7`w-(ST`^fb_GT7UgR7h6#WkUpOyXV3nEinT-Am&_UGmY z{=2`l<=W|g89}v<%$#;FK$4OG0&OP?OTd#S#z#Y+JVCp3m~I11YTPM{169O&I6K>1 zhZ^{e`uJS%ZwGY>K<@Ac4{gp2>lp5K$)6AXvlGg!1P&IT!~^EI4gE1b%YXF!f8JS3 zzD~&Z+&D#xW!7lIMUeo-&6EZDM;-LBEgLstogkA6Oj7-yJ~d0+@bl02A&E*!!A%6+ zBat7k5wZ|HU>OFmuM?q@^r;zuh(P;!W|Itdgd!$@c>v-3*>8s>C17{>+|{MatCsq% z5nY9c(LwYU2JH9m-yd4{_7G{j)x-9o&B961Y-M9}gmeq;6%}pU4s}K@NmGa%PeTjh zR*2dT<5daih}3IH(gI^E>WeD#$MHBp;98hBocQMT0Nx!)a!tr{q1ABJ)5lPBzQq!9 zLY}>gYHd4&jPu}h?n1Ep8s(DRfFoT>?q7umsiZxz)gO!Diho;sxk-n&+>b@Ue7gJ(C0&wq-6 zbN(}K;h05h;|#1h=8v{*-MS+=e=6wn(2zNB#daXsW9TciR2YZZeuw+)#9;`)Mp?PJ z%*$7hLBylKy14y7+kJ2~v0#?4iXRs1W`A+y>o7&<+a!7q1|af31W7_HYw%6EX4?NS zydW4RY!GH#y}Ejvj@y-yR~F3xcjzrA?L4lTHd=^%fyKHh&giN6)NbB(9|mS}AdVdP z0OFno8bgg@K4n4A!Oi&Wv_<(2<*zX}Vx}cn1`U`#SqUM*sA8-4CYs8a3Tj<5P*`ek$r_U zp2M7~>yD19ruG9`M3|a{p)DRJ1#-X;>2i_^6Kk9OHt*U5j>P;P49%(Rv2fNn3@2R0 z*Vg061R~))LA`V`2%{0(<@L0zqZiEp=hXt=}MAq%O`uRqZ~HkiZCG;cZ7p#~*%vf}l6`=f}gA zc!&IKY9BMqF9!qn@0)M$u!tNDgzMoVl@N1Zr7biuG^l7`{M0Zg7_)*oYJip)T+uO| z3d`GaqW6IH+5+|wglA)JB%K(TMK6GTQFyYUQ2Rei-6+1FNfcE`}nSoTq{-3=$m zod>m*ptD>}*?^*wsIKpZ)A&l@Ow`$n0^;Y@s}BzsE_v+5K}_w50XSc<*vi`aFj3Xa zIttpHzJ@ri!{q3p31iA)D2i9()kku5l<@{5%1QBPOmc!$v<_+YxR4MN=s72dvx99k z#WNK|oOFYuc&04k z&q5ln$12{;#-?-C`?GcfIXVuL47jEM*DY)vkqGPV7=$T{#IsoD1l|$pPV`&Ra>Cc) z%A|F}HPb<1aWdI67M*M)?K|=`OybD5{gBb&jcYD&&n1#1X~A$o2mWANGou;|PwU>w zqJ50CuAto{9w)5XSiQ7dCxoXUGQi)o7e-(m;vgmyvf*L$a=s-KaE3n;d`Qj_KNOjyc?FHRPl9w*k;#`(Gbnie<0OKn`&iMeeA?=Eg(_Ay1-U5^me+tV9 zr%&yP{=}z&tEMuoUAK;RQ*?4NaokV9&_v9nh_v3mJB8%K&)+4oDN$Mo>+OPrb8v8> zDFWO@5JaR26*{XlnHq!(BA{a^S~8MhP=rhM5_~s`;6ngYIJB})oTOq9aL5-Mx45_t z#+oz-A!3?TJsR1*tds5Wzjvl;7$nj6`(W(RgGYQ)q!|v!l1y3jKfSh-a18}mO91=^a5M%vGXn|bN~SiBrBWG!X^ph@ zK=da)k7(s+sRJ8w2Gp7&loWWn6Vg0u0*>xOB%xtzCFnsR=S{uq8t^cmxu|Um`kk=8 zV{ywaea~-^r2Mm%4qpTQ| zjf+%-1teyJufs{^xC3$y6WRTw34|=_msf7UQe-|tlO$)W#DY5z&?9bjB$PY89j4@1 z6AU0&EOnv=q5kK@)1&2zgpR)AZ90n3tS3vDE&I@^S%Zlth6hw$MeT`g_n{jc(9TmO z$1FTlXqu_IjBGcFLpA7dZ>gXn%D}mp6{yRqM5mwTYvk^RrVERw$){)6;OdJZy{!-h z92P9)aB`Dkq~sP{mmGaXj^H6@XDN`;2MI$bpaNF)3h`ic2PlG_Bj!+eN=dSI>5mM= z<2zJ!D6-!UKKb!7jbhnszd%<^B~0Xx2si|xSJ8*g*A&oQ$Q+l-%A|I|33LR#Z;a4d!lCh>N276q-?OZS z1t<-N(eck3dbdDSw2Df965(dJ^$39>FJ6 zt}XzrF{7L6Fx(ct2t7=ga&lJXuiLh%+zIQVsjdt6J#l^~ku|3fQ%P^tEE0A-4hV3~ zRMCn{@i}_5TJ*>HK{F literal 22871 zcmd_S2UwL?w=KM}k*H{**igU%0-~VOlxhj!2I(CH6a}P%(gZ0n5feLG5Cs8|-g~bG zK@kz9Y8D68wJVQ1#(a^`|5Md^&Ay|taAwS~!c zXVVK8E$nQC1P%!Z@7;dh(b4{*xS*iTKYu{L?t-}>C-*KVyvf)0C-g2-C~MD<|CwTB zqAe&C-DlMAj%vC-8g9FE%HOGdacqj|oCDJ-J-=mBhU@P=&6HbLTM)^X%_~;-P;U1v z;egi6{ff^;wv3C`ZvDmjrNt}ND<>6?$yVJusaX5=2+Ox+%dZYjU6ZMHT;gzbmtpdU zE(Z?RqJ|H7N!7U-muCy_pFOa;^c!5t$Z!c~eH> zH}Gq}FiF)lPD)C$eDnDGox67VKYVC0I?3UBM|vivYV4x3v-XiA-aczNle(VYX~~zO z6t7pFw561c)=u=-ZusV#$CUwsgYn5lH8gI;49|JD;g)Qbp2~o1MU|~$wi%V4qne5O znXK&W`=~D~D{H@B%FMcceK^ZjQC=yjHrwZGOGcTQzB%%<>-(R1>Y|jkQfuCX9oNdV z)T#=W&{>>mD6T8^^2(p+9vZR^m~ZD>yLPSARO?02vrJ4(*KgjeYcTdoe9r0BsvPXU zZhZ9!usH3+z}D7QR@}^v<35dbtgNi(+Y2sPHfO}1GBoVz>4}tCoURskpG;6P zRBNCte2`gG)75>jM>FOzn}}s!WPs70x>6P^dV<>N(~t2+xMLA=nc@!be^jcvHQ1&6 z=ulWn%6_c`UA6jnorb=*;r^kaUeBKouduVTqtfo(8!m29!O!5+UsP5q3J3_0&%Q5c zY^!mxE3ka6^yeeVg_D7n^>N%fIyz4MHL};%atdT5*VSn{jkX*5^Xq6|UAdv|iR`MX zP?=)YwnXW!x8d@psk#$%13Qbc_hoS!(YId)2qq^P<_~-x>pHmlxRBW^RV++*Z*P=Q zp&K7Rf2A4cm**WWzjk_N=4Dx#tkWR9{^k~;mF$)BoF1B0fg&3E`hnt30}-EkDy@F` z@oO=ukkP`akVlUm37fro5JaaGo4=wg;oTrJ_wfg=SX?YEsd{D6RJ;33ZRkQofU&1u zY;5fH+qbpd-14LsKA)x5#A-y>Wm@TIB^w!bmEXD-9UXm}Ln;m%?}b^5*TQ&crb*dK z77j^W!J^MkZf`sMME1r;i-sh_nVG?4t)x@AJKggf`)T<9$=T<(`^z>N`z0qQYbWYQ zc6WCl%M{C6e6i~eueiAW!-o$8WxR@t7G|u5n==(dLPF@xb90xk`uObOVpuTRjDj0)o>CLEO>9+YJa)N9O64ktR{4QEO@7q;Ih zd-CGN33B*1;pDT8?hc9#+dXzUd>SD|F+j-3frKP0_yH8p(`fKIA z=DIjDEoyh)Vwcdy;?sY*x=O@t;(QP#AJ2$vEc_RzoB9NsN#xR}b3NVNeN|!|8BNuK z#dA-1LR^o{&oF8)R!i{+3MTKoGg=d=$OtH&lU=|2tIj*8EnKdenS zo12>}SLnuAO)cMKeEAICqPwSOi-=|2{y-5cvr~DF75e$MZQ{pi2XIS+jV0eNWucZM z?bys*`uy(Nt&)-wgKdR_QVM$}EL(F@$GYywG}p;}_uXb`Y3cHZLgv=xvy4G=S6A1~ z$PL1)OZOLje!pr^6g$TxF$f!CM@3`4OENyzVYpdj*Y@otF^2hB4wFNAK{gv%SzE`< zB`!rTX$ ztt9!y<~y{Sn3$}r$8K%G9=OI3GT6KEEYi@`0gBK&*8Se=zFoKO$v}O4Wp%X*mPVuO z`Ub|>bIy3PszCi>&q6M~J$qi71(TqmP4q{HD$ty?ZLml3+!&U=vwG=fwWO-!Ch&khMy1&OJAcpY53UPUsj zHd;lIwz~8UQlbiDs7b@;OylLrH*Zw2w#pJNBN8qyGyRFx*g2Rms4pW?jwhTG@6edJ&FpEemHTYx7Tc*F+KjlsrS_u zr=dnQtX`cR6DJ8|IRgt06#9c-b%tJ28 z)kZ1Rb}TNqNX_(xuUxgNHoaP!AD>69!A5sP4A;k~g};zi#xtzt@S5r8K_*XD&9P`q zITM!mq?|hzcQ`W;pKM)@nxR$b<`k5Q8nY>H_m~+e6nF1_GdOG8mKS^c+8WE+s9RX) z$io+V`>>l|zJ5(dJZ3uf*X+z5Z>e5*bA0WF0V*vsd24ikkcgFYCC6yD(1LTZ*e{Pm zLydjAirdQ<=4VA5-hao1&*xF?L1Ma*GR7#hGVHSFmh3_}#_cS8v5SE{9*=z#sSc z@eu@}sSl}?>~L~_@=iih}*DuOg2yYhNyjK$<79gw@=D! z7^a)c*{3e@gpQeIW)JX4NEl#8+|SR?k5UOu%5xfgSzoV({ZZGLdN%QSr;l;<#szIW za{u7qM6G!3{%Ws<^d(D{*yek6PW?pr>Tz9tlA*!!<;%q#`|h%d*;=z#zj~$V?3`uU zkYuB=cui*RsMqIG&WUELWIh1_W#rcDckVP0?2v71=&>;U!Lp;sBbBMs%wq_61bg(y zw?8ni-58gDz_ZJ?*SKLJtAj>EieI%!;6xsWHNRF|1S&#M(=YC7cmrxpk;m*vi|A+> zkkmw_U@@STw0g91a6*^Z2v_m?`Z%px@(kCoi^nJi2#{s(9vpO+X<7b~HHm4N>Oh{$ zr~ow(iLUB1Rt8TiOF7ST&&TX^4b)s3*I>B*%tU`UKC$Y-f$%q;D9cepLqjIBhc11J zke>T^e6X?X#->%l>NeOZmUS^<4<2j|l7Du2vdLUQMJ0REfJQQzVUGRLeFj;6jvkXk z56wf~l86NQN>-h}Wwm_tyFq#)foGS-dpC&Nx(F${CfmOHX2GrF(xppov%}e=mhPFB z^)(+ty^?SX{m4BHC>0lsXO_L(X+~l4%R>UU>@4|SKhH6iA>5H=(=yTSKFYUu@5wt- zlMf;Wt1aE}E{r-2l~`ex6aIDA?A}brI1x-?2C!8Zo$I64^#S?cC3RUBb4lhpgHX^wK8)1$a@}OMO^0 z?(J6c^Y@R$UK~J86P!3%XyAal46s_4ZmxnSpny-gk6K(bJ0daMQEa?b)H)|QbX*&W zD;fc8g-75vR<;RXDg%(lePuXMKyCT0tqkmmJ;K786%`d1TwIFp7%nwk%Jhx5;a-ER zlTHJ5ZxKfmc&L>vEd~J24SswY2_j-w&Ro7+a8O97=iR$7JkdR(qV!(2B&_c86)Off z7e8Oyee%I}9v+_Q+1bI|4d zb!*s!PoU;B;KqfWhjg`KRFA4iG5p$HyKWtGdDR}jh@#|%h`=sflZIs&Xw6NJI{DBf zn8}|@5G_wjmJ)J$12A4hc88|{f>8@`$td4y*IHk6{P=MOp62=H42wV^^V=&|uGB<) zVC9B9FK0-o1E?n&WGiFir0rII6ocnQE?Xl&z>t-V&8?xuroAAS6p*Vw{upCk9injJ zL{3*Fvv=BSlg6_~oakemOGUi#*Y4w#WfaQ(ElajjDBcy{{H3*_Q10!ZETK>ytX_LX z06Af~IKpI)R@}L9k8u1lch&yY!7^S(MMXsy>~o~2p8M>8 zkX2mAl%lB_r%A10EUk7?UPAG%0bbiBBO_zQ;ro?$B0O00-|@x-;R0wxTHO?Q^3{D?PW{L zY!;`OJnpQd8wImkW^u2)y!`a^v|i|jYs{f%Hs`sHJwZL;rhXb5%S~jUAEP{I&9rK8 z9D6Sd3{F;h(w5ofMOBp&&2gZP4;82@OPP877!zfGE|Le8mY$v-Eb+80@7va7pm+lY z`asHd>SaTVEzZ%!F667<9^IVR#v8Kegfd;Wa^DWZ_mB9_J@?R$o0Slcf6iVngPMok z?T^&1bC6~J_JO7UXe%kIy{oaoj6J6#5x0Uj%600@!Ignmte5w@mfAAoN(`!!6V|FrA?*l5t8)T78AXpM4 zgJ8MnmT5r%Ol>10B{rKKg?&pfdRq|JUP=Hf-8t z9=zeCfOSt=>+dd~VY%a7|sZbSZ%~q}M>fs82onoXc=A>gGKjl{kD|W*d&~jBc!h^fNLt zLQmEoXE3zxa7blbp1we>DPEknGt9jpTj)M@p9}pCU~e_s0#_{c-tJEm6PoAv?4KFb;TJqaq$P4Bz9NSh=3-FN5FA(CRUVl78PL4hQ7asFk70iRCNqbhgo zNUX!)EP&b`X=x*5pPKy9qIlHs_A#BlHcL+KTN))4RfUlrUpAK+*VQGf9|3h3pXH$% zd(CH(L|?qXNT#P^TR)u{RPf(Z(a~Xyl`h3K#810S@+UtyS73;XUxXzFFR?$sw zZ55-Bbv<`NW*OYu30A`o@3>nju$3V_Du(h&Ir5M&4QSBWrQ9?T1Zn{JnSkInjVVVv zycP@bvk@rPEeS%{+@$qfwQ(=%dlYQTE!~`iB9!g>{v@;UUl~^4k>+LHp`lbpW}3r zlK{`9<|k?g01mEPxk3O<Y%N8e%-QD|yvqNhqNRuoyx z51&`79KYSL1<{t4o}TGE-0a>w)wZ4FnEZj87>165DYqP-h$7`k_|ku@>H-iZPDC)*vxh=D{nfDCb$i);`iKy(uX?4UJ^ zYiw*h)^f;WCS%6M>twi(baVl~4zkW!H$k&7r|FoV?3b_5Y$$78MT>Y9suB}vY|1Y2 zDV&RsN5Wv~iq)z;Fa5QOE?<%wd$yi{XQz2W@zvI9gkJvibD*%rPV_X$vk9u4E!lQD zNM5AUpP&`ZPZ~%~Hl8I}ptY@S!{*H~_^H-_E;&+}O|@-plb$?zl7St}&COl$^ywFj z0XUE#g1D^33j2qIkbM@!xWg%vbemlw&Zx9JaQx0x_t5(%B{CTelXgWkt}Q-c!7b{V z6>Z1!vpjZDo5!je;@%C%Ut2P8g0@?BUQ5Dx=nYTk&M3&UULpoK(=fL z-QpM-)ACz3TkowK=iD`YCg*VEyiCSOI48AcT z52R$vhLIUvP#<%1a~aOV`izk_gBpfLwO#RimVTDCUd)|4G7Gv`t2b$;m37&6#)F@6 z4YSYZBPiUM0^w}Yv zGZtX}I(h>O=r%2UQ@X)fhriTnc zXh$B_13{abn)U~~w5wTK#;I#)a8uD;&;wU)*u$z{4GM9`jve~hw!z>(&!oRVHjdj=n~UAxc-u-QQrM}4 zkwuWBrB`Q{zO0KL;rjLKdBY5LcJ>Whx5ks!O1IcZ{NkS4yaXkCW}EqgdbhD6F%2c+ zSqohvE9Vv)7OCpP-g#~bRxYGZGWKBje+g00%5i$>QErR@Cj*bV7`5Yg?-{@n!jl{3 zJ1e31sh>L+f$b3y>N)eJz-8HWB%xvHnEb%M=GV(xvt|w2WgXDD;Mt-AjNGVT1A5tQ zN9{a4?^Jkql+x=*y%?BAn1dOwhyGu2_ztSY|o)X zx;|&lqr$m3K2HL-f>p|N88t$gszjzJp8Irzlqs+>F)E?bZlL;wZJIMAW-g1(w@#Vz zQz)HN9|VdXb{Q3^Cw|5+-#zCs+T9(ItEkgl=c<{M z(Dppdx_qHA@mi6T(P!55{OD+a8ol##X0!QcfM!HTJuY8%{MdPPa29oAF{-6Nhr|=* z!O7SaC1|cIQR1O_AP8#Eh+R)KMq>&#j0^laYT~KEhU9EL+s!_^RYLZnF$GVF!uPDV zqJ>7f$&VlH(dbqpsR9M(*}uEuG>r~SaAprEku#*isg7`GmO zoe2>6G3Xu$+|?@f^q8ORSS(s(hVu9LM}Gy%tIA3uO;oK80>KA}7!@m)3R zK6dV2}g;@Iau;Cf)P(RXgW_w{)7mmHOV&bJnyHs~)Ewc|Eh& zwtzu5Ae#adk4E<=ew`#DHqoaJA3p3-C`h3wD5|-mZB;$Qv2T=E!wC~|?npWiu;R|-dueov#(ShsA^>lT0d^r-@R4^XEG zXMg_rXLM-yxt1?m_5!R305-h@urVAUx$xsJtLQf8%+1MmM7E|yba$UaUji1V@3wU5 z>}YW^v@u?QdnvaG-Yhyw3q&%P3=axrsLUkw#q;O#SmU=UGV_iqE#gj-HHOK9mn()t zCOrg4BJC=Q3KeP5(I42AZ2gI2q44Uxe*GE^z=Blh3XYk#QTaw<{XO!d79CUXjb`o-wYcYA=&^P09raOP z<&D0xzP~n_2tcOi&cy%_fpJM`f95dMcp!-H0{|=`OF@^{{rL5IzzmN>!+dQBd+GFo zPcQjjR#nx1d{;^sSrD7NJ9ZpJf}{sRkCK&>BRw7ww1lc9!Eibax5z8k3y+ zSV~)PKiY%m;shDx*5(7pcFEmLp|fl|l=7w_2gyYH@S#JEbL?(n%8#mx2c1Tp{&DHE zZM^lPOK#u1S+;pVY2W`~IUcMg_3a<9|3Ann{fl2IuONcEZK>uR_fw0l^Zi{(lOAge zThi@1U2bjxu>U7F^)KG%H>F>cET%@CZ z%OCb2i9mQ{i2xJf*mEy_NJ#$TQbFOQ#H)Yp4GexSJUkqXyG^-}kdU2QTX1%^%del& zn=SV66c97GJF&LW;EDGmBLZS#*~b{DEMWArFX6okM zp+h+@oPg(S2DteS9C)kG`OP=mA>;=I;vR9+`c`<29xLr0XG6BuZB#x722l1ov-_3k&QTarcRf95tHisOZK+|}P0!X|U zmh^;&nZ5oxMrz;_h^Gj?9;d!HNAb%SoSZW0&&td996YFQnCIvVC`WqreYz{q;T`$&3t`* zWd&L?EHuJWL4n4*jJAulg@Dh6@+#snGZ94Bj8&J#rIt-PP4vAr2~ezo*cV5zaM~KQ zCP$wemS8viIi3F73dMh{3jB*)`Y&~m|Mxz{&ysQqBr-%i!f-u)ydBjcv2g}q3)oN& zi?0PA{rgc+)-?c`>w%IIMX=cjK?M=+3EH9g(Zz*i?PQ}w*wXw;e97L`!`=lK7!MF> z@v-wMp>YwznrOZD0iM5@Ase2=wvgFPlEJqKnZ=+S>SvtyjTlV#!h@`R_A`+)1ksTl zLjzJ*agPV|r9M?1MEkmR>oTmH4njsFUIhId`!JB~PM^A|RCQ2RpkxVSFJjY7QcCR& z!J-(XRekrSJg0cHpULK-9@;R63^ZrPLxJ$B+;S56j9KlU1p{qzcd>-Cy(-GOy1M%H zQ#{<1DKiR>3c^TMQ#Du}Cm3?5>iN#Y5Q)uLF3T)@ z4hM=zMoQ>l96*jv*%V#VSn-#7^0#doD5W#$t>8Gc;xtoZzy9hg-i%vYD+#ep?uwA~ z=ts|O_8|>Z@m!CfnAGyiJuf$ak}jK(=HZEcA&wp7-YL-8k^(1I;lj)y5z;f!x_eB# zm7kfYRS|*3XXhX)4g}sa9$-rRFFeQZi0SNM`b)A~3Okeb2d;v{s4Kv%2-9%$a+U3tWS2r(A4Z41_+#-)d0;9AbiyeU`N-abXCkPCP~e{kuN zCEd`VH17S{kXb3=HIUxeyJm@0Wo2zNbzeGXLLFdd*-X}^oH-5?o*s>;m4^>Ca_m86 zrZ(8gP45H440@!c0CDr>aVb)rvgpI+K`=ssuQ^EkWy!lU3|2uSi^Cr(vMj-L!W z?I;BQ8rvcJ#}JysLC63rULySn$OmpJVYShvY+#3p6ehU{;@E+ACI;OAaeW~E6YiL& z>h2|wi>PHNHvHSSAA$5wgCX#jUw+}Df)dmwgoSnEeh?XbP%mH~B}6NH8~ju^7%Q;j zg^A1r-x8r&Aa*80v>K(iyMq})2n@Wt#)*e_cMYd>0;+5* zen41v!`7Af^Q~K?@nuA!^$i1I?2cUfC#D%fE*LgWfs(kB~irmB`dC( zh&kCC{?^OicS zpzs2*4M9{Ahz-GSsb0Cx;tk;i_(xFK6PA*m4<7<_HSh}W;j$GaMC%e4Z{9tGZ}Y=M z3T2FUtQW7^FK(FL-nSM03Kj@qRN#Bf=eOCpsaRq)W#!x8J{2R6;^$h8%U)ANEo#2Q z22z8fOcZ=#Qy{!QakGsdF~d*!vE!!{$UZglg1@D2IldR!dEdA@-?VZgF%iS?MELU^ zR4_jNMX(yJvjZ%lOc|##eGFZki$-E4`-~V|Kr_*jI+njm*p54I(zK>LI(#t-g=6Bi z#AwW^+za%v$>A0v9CEjB!&{6Ln=D0qG1r4%Kh_1l0Yx!I#e-`R$k z3u#HAY_`a678A_K*|Q0al+O*t3tI3$iX-lc_;mQtsnGoi8qsSS2xaZ3R<_~@b>-^S zny`6R>7vI}NZ5h*_e(g|KzSV~f>yvVFVSB^LxTaQX#3Q!%d~QN2{@&`uxlJOkZ*N7 zkm3kpcWQ!!O3V#kRA20^naSaJNZ$UIrR0*ut|~JnpUPG5@SIKDxKBTV6h;u2pc?&d z+_(YakC*BO2rlB-r-~r^DgS$9h?fs`CNo*X6-x|Y^Ie>aZ$hNpQ4D3sQV?%Fc5Wnb zmpF%#k5IW@`1Lc$0>~xmfb9yg?BrfDOgNW;XYuafT(TX1{n-PA)Up<77on!h`HjtH zxt~Q5Cf+m+Ysy?tfH5oN0-`OrPmRpLzQ9cdDepGj6Yz&sClUw9P4axPly>Z+P{NTg z6$%dHvs=B&q?zrBy&&bx54cWKAtS;u;|{o+!NpJ%qd5N7fHLWNsi+mPH zl1l}jD8(86R3NO3qHNv0aFf3oYD#B-0q}Rlzz8L0@w(JOU9OPSHq98mv6<|IiF_!Ge3a8M7bqRG#qUp9F%Hu=Krs1=?vuzvlo11brXdpE8k zt<2-qNYf;@5hfgsD-ZKElj@E5xW_knMeEV0#-iW+QHE>}Uz2-n@GWFQ0GrK9|6dex zz5~uni>-M1Qr*=x2Wodue}C*xKYay5<trJHJ}F4lRzD3 zmvmJH8^)_y>@=v&80|1dhwt{Of(I_0Xbgx9x8`a9=-lHX^8&;W;yzj!?d?rb0u&_5 zkbS2&E{mHAQxe(f#BK!JfF)W4HtEYbzzSSc1S`SjXq(8K4eU0SXyT!D)PdRMHVplm zD5qNCax5N*Vj?7Z!pVHe&8>a%1J=n^m31ox+*Le`3A(flyAJ6f)8e8X-OjIm*MhjI z2M!z{ST_@G0$^2=>O6Ss`a}bod=%D#+SVCYwe=ZNK z8*!Zd^zAN8Ef8y0Kcm68xIa4#rB)W}APTVumlWID<^Ur*Hq)jVxo>gzf8n}%v!erk zWx6)}hWzK?>!0~px|YnK0QFhbL{JI)18A#vZWKEPChU|Vcnhv4AVgBG9gFsc)N7Hb zn|ch^8#g$=Zx~L4!`PEr&cTISic<^sxi4Ty@Hw%WqBV3IuMz`t^E<`>Tc)F_>BsO; zR$j9Mktn%;t~p1&|?@TnPgivt>z(K|jPH}F9m4GIMLqGtubWSV{p z9>XugL=v*Y9~x#qj*Y27pXf%C1Sl6qN%M;{x->G2_5S^Zd*P@cr;P#kh-C}n zg%wB`qNa~lDx*svJ`}VoSFc{B=1Irj_w$Q*@#4kKhOgJG(S}P6ETJj8BIXp(tZ?xG z^5eoFH>Is8`jv+pxVp(G#da5>7oHFlP(Lmh=82e%T1yYqG4{}cK9kwr>5D)DV?a#G zv6&RvO*4^38aSwItAi~%z#u*geUk{>35rQ z9L}PbS0WG#eb5B96hBBTM9V#3M6UiO^H6`NZJ0I6@LKdFNd{VM_Tj6uzpN7E1)B$# zU>yYSWK<5#A-%UGp$qXjNuj?;;}*l;P2}jhSdYkdFobL z1{aETkwXM{i|aRT5DtO(CF_$RT){aiy;PM(iWktPC0vsLPTEMLes}Ml_E_;EfnRxV#S7iY4p$73~ z?S?0z7+(0d>weZP6vg)fr}1ye&DSNDpHfv-ZHD$pdF;n}n20dm9fC`? z=uVi5%Ezk9Y4sco^v64~xLDMP1 zU_s`7(3B^Lq?=chwt&=7^pnI>kNTT;c{(j~x1{8$*{M+-j7HHD4WiLcSRoqdJ--!R zv}=U*FP!cT!mMN*@~(bNG+HA|q&2{bE)U6rxU$Ijx+R@xGGM*hPZ)m`c(s!!zqAFPCbT!O=#xTxA@#1VTNzS%|<8pt{ixL^+o|d{Wb^HPf zl`%J7JxIK3kS}blf??+!#FEe(@DIftMMQJU2TeAKSTr!(*xAWcv``2No}Jz3&W5pn z-)pfqXqYuKbZe#O=XcD+-YMlinIRy^%X`<+Lv#!+HPZ-}nG*YD-($6T`iJI;s{ zX{aix=h5#5f_4~aNKXC@xstkOJ|P015V5GkpiiO-VM&ypKi0K+46L&vzEOq9^cES} zUBG~vA`O_AuwFsc@B91ts8`EL&w1tFwmaApyTjo_b1uiy{=SlZZJ1o}={kzF2>1Fd0yc25KU2z!x;}N~rq$(<{sAJwQXvIS%0{r(q=}N8qeb0_~A? zNqajej8SUr@*`A2D4sia&bJcYJI(V6(3u9>@~4!t!AuH!%s9f$FdroX=2;EMC)I;c z6JH8dZ-aJ%u0u;EHo;o9ktHjBSNi{J^6zhxGygv-KT(=XJKvYx=ouXqgqsh6WYLmk zQ$|n57zpwO4Xccvgm~Xt_KK}Oj%6g{Uu6CtJOXw?QyrRoK4f`-X=2v??zr)2MJVAXV0)0NLCx9)B%Cnnj`^fPLeK_;J4wXhJdu20BcRlMXQOpy_qzk=9tG zWHK*?DZ)Kzo^Z<%Q!jyWRt*Axx5VLxX^eFGt6y6`Rg?o5YPG_SEk~O&Kt_xMVLK$u z0en=%R4Z!No&Z0pLBNOZ?ic_xNS0YOH8m5xL3Wlf3zNCMOfvu+@;PK&5S`Bp3>zaP z>S4}P=sbZi@=HJ%pR0_L(JS_sc673x^ff4WRxj(jc#8r#q0N^aN0$w{&!)Pjo zb;{!Xv!B7H2Y`DEgX?tw1zbPhIgyJGkQmsPXtK}^>cWmQW2!+F3IM58TzrT!^ky&< z=Az|~gSC&0@7E#yCKf^i9!U0@k0-1V7R&-xK@cmdXv-=%gprlksqSIgFDR%&ApO^0 zPmkVa-$qu>&(CjX12p>7*nkLh+E(+>&Ha3R&uDaE)()l6N(oIL5Cph~tyW6E+Wz35 zv`p;BC=WUfo5_oCiw0w?_(eN-F49=Xp{lrCAS?;TSCQ)|)sGI7kxg88(@pnFm-u$= z3V-2*j^=t|@z}Vw2>SXIy%AVcF`0%lBrZ|uw!r?T9CO1{xKIt zQcYyyKV5q^wt+bg>t+8@X*T6m?EH^g8qOs)6)&jj0N?I${h`og*tCceKmK2}o}Qth1OoaHOju?*@!f6MU^?7$ORW7(1oa*fK!I2J zckMd9Wy_YUAv{Fp*?7pGew&b`u%ua`hXE8(1${~SpTc+VG1Yv*{<9s2&3{(2u}-SG z@t;&|axjQQPKZ$Pnz>hHPSQ)1a;Ygi0n_L-CrHl#+USCAuMKfu@}--Tez9svh8-6ZT_Y1^+= zB#a#2aN$>mkdK>NmXMc!TTbGlL);W#l_T?^Uy8~&rmOmZ72;0ie%j|go%l~XIApkc zFfpZaZ8(+dsxtUN_olnXU|D zU)dE-54MQiT%6S1!}Jlye_;Is@LyF9{s7OEzq6qNZBm-_u3e>hbLF}Yf2mB%mMvp# zF27}pYF%V1SPWG?5k21qwyE)P{i3gw2K}3 z%NGhBp^!5QuS-Y650!a+0ybv(brNji8#x16ni z_g24ui1n0!Vd%63juQX_oOl*xH(o1#H>gWfGqdKK=4NIXtImJnMBEc7yYTdBz(y)6 z0x>C#J~z4h-k(d!=QEkD9Z)V7$jxxu)U5 zFE8d#1@UE4&TsZf1*P8w4e}r!<1O%+Y~bW>IqBh@Zo&K5T<3*hY&kGlhSIBt+UV>!`Q<+5M+wJ0s%>k5jDmL(O~%(v`H3wT z-aq@A*aPBlWCnT{G8GJbRN8LSh7ozMu(P)4I!&H^<({pLDa6Y}K!W9$*saln6FSM? zfA&yys7x|QxL7ERDw7}9*Bo8$QfY>`%b2dRau-?{C#L6ks!qgfFq_6;!Fef z>S#}F%YrdukQ{u0{^1O6(|{a3fo*7DOeWq64e}yU+2SzQfDY>sIZ1;3ko^&8^{LX5 zi$}9?wLx9M4<7JR(Q0Q0OYpaEwJQkYR=f`(PL@DR@+Co|?|!*DX*-;?nq6FzbWdxKwh=`26t<=COBS-oh1QQ`Q42 z&}0rF11)-a!r&JUh1>`2@4L}aJ9JrWZ~}-Dh9zK9KKJY^%EE2p2*v;oN+JCK%tN4H zdEwr>9sIBosvFlA+uTK-Y(WrmXymZI`-F@y9l|bS^t~;9#m$gaw$t10+>}Y}|@tk%SkT#sa4opcQM=O%wGC6ye z=;FlLgjTWEz^*V79b+|q{66@%iv6pJMIOy1@wbuFFqoNV%kLt#V!aj@;5E8Ugne*8 zRO0#|ry!7U2k$_0#N-0V5MEF`G%_IyDwRx=(1($il24vm#qY5G#VB$_J!H!mOw$F8 z;g3u1?k%zW<3HihNrWOfVJHT=*`)1ghb=U^?51cJO4KHVAcX`&tgRvYI>b-~$V~X3 zt)meKFBJZh2iK;LU(k|eq{CLTyxs6?q*RdpXc z2(05J$cw=kY9Uj9P~z*sJJg|~(N@`X9qlsdjuP=3k{kcgTNg!Qr_)_P8)@i#{&`TRPN0z~a1tRJck za*a(Bu48qnDnO|d_93xxfG15G?2tu^@Q*QejFk3)pc;oPT6+`W6J-5%OArR`=Ze+L9n-}f0`9=p0D_6<2_YtlAR zSC+B2!WHuWaGQRr&+08EbvQuL-q~3c0c?u{^2!=P!WXvW@tgMSz6+&}4d~wodbnD; znNm1RLUegm$-ag8QLnAglZ8lv#ieb*v&nQ(%(lTD;%rOo5R%x?nQVqyF3jQ9x1+Sa zz8)j3x5pqJvFRk8LWa&Zg%wr~ekuY@OIuo62r3}QK#peJeD>_Sa73sNEO7uDtIlFA zuiA>A!nut*D*6!eVGNZJNefA=IQbDZtl=&Jf!7#x@cDNAdX4L$??-f3hu@TxgA22h zX%clv9)k)qkfZ7&6*swOYwRUra*5#y%-$eUNJ!4(MKTHP2-xR=N<-jKVGF-@Q_g45 zxSdQF5$41sOx*F{A0rS(;8-WWU+c9_$QvLws`Tt>{Pl