From 670f75ab5544f36c2e92b06c89bc4fc90b38011f Mon Sep 17 00:00:00 2001 From: Vincent Jacquot <vjacquot@uliege.be> Date: Mon, 8 Apr 2024 11:24:41 +0200 Subject: [PATCH] README: update instructions --- README.md | 22 ++++++++++++++++++++-- pics/failed_tests_screenshot.png | Bin 0 -> 40730 bytes 2 files changed, 20 insertions(+), 2 deletions(-) create mode 100644 pics/failed_tests_screenshot.png diff --git a/README.md b/README.md index ecf9ffa..2418af5 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,20 @@ -# symbolic_execution -A symbolic executor +# Chaussette: A symbolic execution tool for Bitcoin scripts +A symbolic executor for Bitcoin scripts. + +Please refer to the [official paper](https://orbi.uliege.be/handle/2268/305862) for an overview of the tool and results obtained with it. + +## Run the tool on the preconfigures tests +The best way to start playing with the tool is probably to look at the tests located at [tests/language/bitcoin/test_parser.py](tests/language/bitcoin/test_parser.py). + +Once [Docker](https://docs.docker.com/engine/install/) is installed, those tests can easily be run with the following command: +``` +make +``` + +More information on make is available at [gnu.org](https://www.gnu.org/software/make/). + +This prior command will take care of generating a container with all the necessary libraries to run the code. + +Our tool is known to have a very low rate of false positives and negatives (refer to the paper), but still contain some. Some tests which are currently encoded are expected to fail. Currently, I haven't plan to fix those errors. + + \ No newline at end of file diff --git a/pics/failed_tests_screenshot.png b/pics/failed_tests_screenshot.png new file mode 100644 index 0000000000000000000000000000000000000000..05d8d83740bd6ec486a65a9241d64889f0eece26 GIT binary patch literal 40730 zcmc$_cUV)~*YArUpa`OZ^rF%`NUxzNU3%}m7b(&qC{217kP;LD>C$@uX;MRxUPAAo z2S^~~#=ZCNJ^S2q?)%*P$9>Lv9zs?!*UFk>jy2{SpY<Kl8fpqe1XKiASXe|#im$Y= zuyE3`u<n@N!^3=%8mGj7`FGb#R!Qd`W(&G!^AWR8>HXTkTie~v+t<?57R%nv-PM-M z%i7b{*3HYo-TMfqLkiP~<4+?wPg_fGM|ZbpI*zWkSZ^?IctxJcy!CwclJ}*+Gd@1C zmoLTmMV`sM*4Am(8oGmp^$bhtm5h#G&cPDU!PqzN`1(@Hl-4JC=W4N7F;}L@S<;x1 zIp>SDBx$t&*CCTwQ=0&WhS`HPd;Dy+hpr>xnWW_Io-El(Yxb(La(Kl|%uGeS!tEC@ zi}mRI89V%lW-@I?JCQMGzOdnPxWsF#!TZ6C4K)0<m&9|`wgU~L$(!^8+qm!bZufS) zz}si2yravTo7!y<@D}=5_TKaGN0=9vD`ExO&_C}myB||knA893n^dL3e?GsrV57zM zSM%^kKZUY%2>w1c{KuRBL(To4G(+A7TfUE|p4C)%@k+&U8(?F(DmUsYW~2pXT6~UI z)z%*c;{5SL1L0c+T^Q3(e0{S(qlhwwReb}J;OBd7+^%0V{`k=uwJn|~#`rwk?<)#n zd25jE6IqMm69C~qO_eoc5tSU!DfN4{S<yT3`o{Yas0s&EMXP(~{Jt6G8-ep+cgQ<8 zqPrTre!NH=xBZI@`W8QsisejRhrY7eI(?ruQRUJ@S1Nm?RX7f<-x8fp#s|ZftmS*( zwu-WpH=V&>-@!>@@pg|}PQG)qQj+RTa*n9-XFGy#?}!D;@4zN@j=wjNrfNM`7s|B= zV3%oFd?k_ah#UZZWl(}{b>;`G#g|M~5WD<NWYSv~y{mTyRg<c#K{e>4BF4NN!<!(C zjW?maK}^Z9lm)v#TJWkK5hG3lOjzxrF+CIH@7?G|p5)9T0a$?-kp2pwgY3-8YpX9< zQo6X4ovd2}+{@NMQrAs!o2c0M+rh)zy5uWi!#Q)TjVGz9I|Sa|<51dJ{)ZSp7!j{i zDy%(|5U!Lz$;4~+juBut;#ECjitp?(j$=N3lioNuBPi{zgIoKmi}k(zQLfulcjE19 z?1LIeecO#JbMMR17N9ncC3dNjQ2T^mkhs4Z$x%W+mGj1#p{FfL?{1M?>{waEz0o*N zHz#M7Wio1O7saxkJoDF(EY?!u4l-Nm2antM2X}(JQu8Z0=wH(4@I4SK>1D)YH>*gs zxP0_^x~sm?EtO4}GO;-_Z&bS!`8L<erymPyg_@mqkcjG>neq#nFG1@yLO(e%)6b7S zI%WIendo&iOmCowYLxmiQ><Y$sl-*OsWm??*4+c0J}z<R69YD(wyUS5(S$S|w_OC6 zj`Dqx(SD?=*6}%c1?3`|OSIuHLS}{7YTJR;W9En!&O>#s9^&Z>@@%?Y6-ICAvq_dz z<>%oJ&D~i#VgkshuYRmaG##COdzzc;2_bHaJFoZYzd0jbswBF6YJ8sImq8EN94IIA z@Xp%~E7Saq*RjAq5hX0#|MdyWo^uGIEIPYQ`zW-MzvtHy?|ZG7SEbSEBg<Q-0JRig zof*8kV4YCEfAniFzG$jnEFzwSV!w}o_;C1bpp>>Qm`mViyvpOc_q9DK1&jxg8^Ba> zK0yS&NeD^^+3+Kv68Ka4nX<dh=ixr$*@XUIyvWgw+Y^Iw`UR@^?MDU!>O*kgJy>Jm z=K=f-BT8__evVjm373%kVzEW#;wt^}ypZO*{w7c7j~38prUTtDKw_;t(thO%PE6Jl z8THXm)zfQ6L^x}%wj73vjkq1$yZx<vqjyP;2}B9<+Npy=z&J3NLZ*W}@qucAMl;Rk zvIMf>cInHz#}`-}(fv3yq3|iTqDemP2*IzbLZ5_u2=s=G<MCHCg}S9$Yg)tt+{U*@ z_=36bFr1hU&6(c%xF(A{Cnu$2RD`{hhuwqokI}zA`)*O0{AR?<z2?F*KNsf(=9K;^ zW%lC&#CNK~5LSh%qJq7!fc-QomaN#Z{r!CYm1oKGMnxUYNq#-*Q8QtsrA@4sq<Ts` zBX7MLT9|3vh}kW+Uh3l94fSs5l+LFuUci;8p-t4)+w0#$&f7A9gx`4+O_1+1uE6uz zEhzjwkuSU^@4sAFYfJ&@?L*zJiQwkncuH4wpAO3=3@?%nNUqfwEh`5b4MsKao1k|% zb+=_dbaQeN0&by;!}~eerBdRv4mU=>5<d)_E+%Bj@O8P=Bw94eGw#?pmQ3s<I-}&) zQR%Q#q6>%~tvq_{ZHNz{r@WVC<>DMrwjoOXf+xPFuA`QsV+s|4nFtCj1GRQxEx%^p zQcV3yR^v)x51XWZMk+a!NwzW{;UUz|PdAcCKw1+p;(0#IZf8&+_dxoEZCTrt-+`z1 zIsf7|6TtWVTu@%#7FlDJgQ}cmyv^4JI;`W1x9@tCl+=@dWj59GuI@atmSU;O%U<$D zJUpU&L5qbKVP#EHGg95((u~rMpOwyeBwE8EX4st{7b85T<h{Z!gI2%l5+|n5Fyq<c zySH}o?yIPlE>1)~6o=Gcfb{c6`>?h3kuG6P9r84SjdR8`V(JbT-%Dh51K4M+Iu&9{ ze)N*`B0tUZ8-MHu(c6|_hvZtq4Q(4c;#(c%c4XsZh`RYrQe!v!meJ=8PrAuX7Kyiy zE6QE2pSolKKHgf+1o;U-4tfGMhvURwnY%xF=b9{jW+<dW$uX5dXcTS!jy?3froELm zD^+NW`dOD&Avn<*g)@E45xdEC3F-e1{E-4W%$FBuMov7z`eHyF(wOSW7X{9FVa%ew zH|L9<ut6R4Io;qlcVK4Taj^^L^kx1WdV=-gk++uKrF-8!7ItHA&SCe$g70flt1BD_ zu#^8JJxgbR&u7V~afmhAYo|TH9d!8ab~(Mq^{J66(KNW*qb)+zOfoL2^a{$jh2zE4 zRS76AB|Xepujs$jUMkuj42}#7j_W0(T=Ex9s!h%7VwJ+BDa{ClMwMo6Y#s7V{o>MF zrjs@6{FPKLW>d}|2#Z=Ao>numvc9Awxa8Xb{@U1beL1JZOfDDqs<rtPoLHCF-TAt; zgX9fYQVzxT#i-oGr?t6!C-46H3iQ#TZN7W5FAsFXvK^t@4Y&3PuIRI704>?~Q4j>? zkNP^CP40>|4e>Rum7AmW7OLdLA#*=sva;8wyo@sz-bBe??H1k>XJOMDS~#TVtjo}` zTIc*aGm^FZ%t_N;s#>RUzP!&p?M-L&{1#T}+2VTT@A|!JD6paJR@e|$#rdgm5kQ}D z+l2`-+jxY8_VkU1{U@#+!5%-P15T+jNUnd&$X%1i!Y7{%ozVZj#l)ajDs!K8kk%g9 z%F*X0A3hYsH#E2chnWr8BJMjs&#xiz7J1s)!<n@LOg*!2J$WR@bt8F1I+TeuS|QF` z{$~tmX;F<IuL&5rRTs=6pMLS9AZFg}p(9UA*BU<bTj`r{Nda33-zri(5$DeELVkS3 zAORlv#rZ?RBi{FdI@CqP3tX%PA-SCOFLVs)$0~KTX4ue+$@f1A$aSITDs%()ZQf8Y z1XHc<Y(<1Ic@8k8?Do;UsBxCqXM5@8YoKhaXv;Bl>ckg-cO8xVN@)Jl&(E#Y=RMh8 z{{+$~u3t^6--?O=cZ<2miH9gCjcM`&N4HNIunZ<V_ViWnEA?TWs9Y+04=!2vK=_dn zmwPMFp{D(hlg@dQ@qhpFu773qB9OgxC)(wAf%U!&XMe>leeJxtA**`{P|6M!Hg!{; z)2w$7-pl%px#_KYvWrJ<!ekgBQSbeS@w}Ph{Wd<A(bIX?<gFN!i=WW<{AF_IKPC^N z!}`!oe>`4Us3S(3G}mm-VKX-K;(H}$*3>&XK$=@4${c4iJEr)~Lm;5rgT60pT+;V9 zeo;lNfntP~=Mnxnsh41?xTj%^_qvB~ezkR`NzUdXNBU4-j#<1S<QYoNdU20pdlA-t z<SHuZnNfQuq8>k^xlJc9bADBFL>kERd_@1U3#euf4?I)@0TWk0%I+<*uAil|qKct5 z4i2FzxiW`sf`d17))A;RB~@L3KYtZVlc-Usu|CGqao%eDV17!@--%Q3`X`B-K|bEA zXIPPH$Rs-1W^)u^TKXDxTq^zEq*7?67V+dD^P9n6*8SRk(Cc*5i_m;BuKv;4z8P(n z6la#dahm@QPcv4OfSW#VDdd3SH+nk809HlC;a&`sQv1uyCXSW)q+5R0LC#j~$hRpT ziJ(h-Z0}w{=6>ISal8wjhP`4LpEY+MAZFF}74GteJy$IhdmvgVrL~=?i&KIwzaryJ zXT+M;ie^l<`wfn;@X$Lkj>Hh*MlzdvOkgkH6Q}RD=R936+2RJdrU_HAe3yRS48bAY zleC-=V9N@fj3~HpYObi-diO*aVkrXH(7L?GkTpXA-Rzg$hFXh!t!WS$rG|4q_vvp6 z2)_4*&p>IEw``ktFrD5f5=oiR(A|K4)A-KRl65|T&-cq-u+3alV{;MG4_z*AZvGKr zx;)hEF44+nZ!kghmF{U31Se}r;d$V6VlTX&>W_WJJlLhbES`6Np{h1V8M}7GU~BZ1 zXN+#n-)%6ueTKy6fY}1{*6}lGXqlkU{;VG$4c|v`f;9ual)#<!iA-WIWAnF*duYBg zly2B2aXC=x>uuNatxngN^L78%yxwP_{rh320b!AsJc1lceyBggG;+v;$%|+n8mA79 z1P8NayqN0DN)GD6GO6=#mxhz)&=ITU>u}C<y9?5(&=jB4b4aI^(JSneYV6V(=VuFU zg`DH1;=gUR<=n!VRvd-#D|$}*UuJ$?(ZVYDJ;rDR*?3<5CE_Njlr}tkw4-0~x16O% zj<DM_)bTnnV9bOW*@G)jGG$-Ub_@P|YNXg55e-f$Lm2b5@_pYq#;Na^QIrVe8%kf_ zcsNz9J`fWCw|@60+=_yRY}wE56~k&z;+?+T!s^Xgl-s?1rs*iF^=~bZQK)$phVnjh zgx04X*bt+SL}VkEp8vbBWGK}NeIpWz^oT|2GHenz0i|MYyPQJEgc{r(+jXuLCd+f~ zd;bRVFd58t{I;wQ*{h}k@?Sr|_*>LAU>2dpt&b()kgfoQmF3&>h5B@KY`K4)e*a;h z6l~Rs@i0z9pyFQFi`ZCkG*gMh*tiW>`>(YyQskYs?&Zf+&)4R*?+|1!hRBLv!lVFh zot#2Kt?ybFd{D*(BqEK)o}!C`$}rm`qfX=Ni1@H`ZhhFCM3mRM>R<ru`MDiS8kQ7@ zAX8#c@ZwuE#t{C&Tz?EPlkw{*mM%lnOd#U(Z-+l#ldhB$1JO6032}$jhv^N`+n|5w z2Rf!rU0pueJuR@vFK)zJ{3pl>YTbrjZx`&)mv7liwJP5~_H)kIJa%adS=U5ealy>@ zei#AZ1_{uuKS8Z$wMMXHnEA<uszV~tWYrYiW7jiZ59T_!ch|e%=uPZLAHBd{3ph+- z$lV9c`QK`rZhrarmz@}-HwC9=3;W(uv)E##joZ6>o?YlnR&n0>*dt3#+%<a??;gsb zsNNRPzc@wG6{aNAd~;QsFljFWtD?OTK}qJs*W)mG2Ed=6PBQp%kbK0SxybF5d^s2z z6{=_2e>h3LJL!avT^2y6aoq2eIIpn&WpMwI-a-F5?BK;l#Yk8Jzdrj(nm5^`aoD4> zfBc69L~@^>+>Pj1ze6ya3?~@EX6z0e7!QRdN>cVNMiK_G!{5AlxDM`V2D#8i9P~ zW1nK~JO{6t3-jEtMv8l^na!eZZsH@pnES07@0z1*v*NEb^hX=u4NnT6^mxGTr9Pyk z;6%+NbK}#b;L!WN3m(1we)h7Hg*kH!tPlyhFk?#r*#>D@yRa%A&6>*Y5(aD*`qf<v z*7=Y}G(Q+F7D^DR+*eiSe$qzD6tElIwkv>mM|`Um?^75qB|0#1aX)M7RB!zb%`HFS zrGp5T33%{~qm8f9<e=y7^x6Hs;sfXxJ7>fpoz-XT!p(O2vDyLN<8#w(Nv;SpEWt;N z2Y(jNWdVy|VX@AIu3AEB=Zy!6yo1a!d)-Icnpg~yy_<y<G9MbZ#kwC8$29jb2=?{H zR?`C7)TH>jbc#-CgWZx%zLCQYh};~9c3x|=Q{~E#mm#T2^&}^TSq@L~_n$0*ML<D2 zEV-kWncVaBYM73ZrYvSJw+IY5NgVDx%XlG|Mt~dB`y#R=KLB+lL6C`?LPDa8u&xg& zudKo>#W%b>LelQTxaC$wtbN6m?9bybbs7pBLk4TByxbP7Eh{#Pr;v^FAv5soMZ<@u zJ|d$mzQNxnoYQpZSM$jyd1aPPoXLiaE7Z#n7U`Q;?^njI2@wPvr>_T#NE#sut)-#K zc2+@d+r%_gNa$}1plxeVSb{OyA{h92b-CTPZk4y)`iMkvw>+Ix!ic5IhuqFBvT<ua zN6F<a+N!zZ=i2S4)qgU*K7Q_ueGn|@qzsDspgxH=SPMD%8B0}cCKdsKt!1GRRW@Yy zh^t8f^B{O}|7OQ%vEm*xq<y6uxF>$MO$~f2Yri`Rv<@n{hy-H1sqbu9CAe+r`Xvko zs|z%dz&XxfhdQ|zx3}k#-=1EovPeN|AA)K3*O}nXA+6{9QVZ3@jkQ5QDDLe(8@c?c z5MXKlwS^i0NJ4zNcvM7zSWz*%G0Qv#O7%9<09Vd76c(HKAQ=mX>PX}eu&n32e9()I z2i)PL@Gj)dYGcP%20e5G#9RiEK=mJ?XwiWy)W^fZ$1Xj_s3Y7wgzE=&VHUQ;knYoM zro1!oFLMx*8!8INhJ>^a7L&|e{kSq+;|aWy3vesDL6QeuoF%e}i2EI81A9x3f}%QO zp*;vV`Obi&+hS&E0B+=z-|dwGOX=R4AzV~~=jJI4s^w8heRDCR669x{lNh2c`J%=M zpf@w)Bw-;5x}!%wdRF#<Wa<o?$EnzFH;uUQR1htBc7O7Ln0Xp(vtu);GvFFE69r({ z-dTwtM+IGr^Q`F-N?q^Zo!Mo6B=$tVRM?9J%yGLHN^xy>`#``w9921M)aKtZZ+j1C z$c^Gb_TYg=vnw(w=z|;G)<J&r&GFR98}FbLb279}?TxiAn(UfmXw$da7#*~T#Q(9p zJXA)E*o?uMy2gf1gS$&Qh5aw~dB!phPx{0GWybXJhvo<8`g)hXpVk_iI=-*oKXLkv z-wa%}FX6dhWyLILD1jF@XAtzYCjMV=(j#epeqN)lcF|89I~K5oFHF3Sn3cVE;$7p5 zDEosod-$eAJwav375ECYonGgdS^Pj|^e?ix7QJ?`^Xkk+l45{!$3}0Hts0YyvA--K z#T@kqf?8%*=*RqnPs1NQ`-5@*=A>_u{!bHA7$h6vY5X1ZKFJ84RRZw{bkrSG@n_@N zENn~5IMp)ydk0i{s$N#aoL)-yg37fDS-znPGaC5Mm;Y*s{`LuIgqk~p0MJJYwEuJx z1BsOm|78nRb__50%Nn!H|HBjw1K+g%V<Ojoo9_SD<_jSDcUUYRt_f!VA}Z3LmGto* zO$8k3nRML9Fx)NfwmzE%c*piJv8OYqyg!o0ePqiR9VScj=rU_R=&jHXSn87jXMlx7 zeaN#-V_JyECZXvDO687T$SK3J|JBa-?myJL=W&fh$$5u=2K7>2A3-s6Gkr)!4=76` zSKUPclTR6MP8Ixe&|Kdcs&2n_q@a|RDE2w^h;h0&Im^~c7Ppgnm!VShVO>z!x~QsN zgS#mFp;xmy1qFq)%F-)<p_kPkU!r+7l&UPJo~onU5GlhQBtw*_^&(@MEz{U`2A(Q- z=P_JVmf;+a)brBLc7;_f2ObpDBd@=4d2t{fU26oMI-#+T&JvJxSJ+8>b2c4x@}KLj zmMGzrY8$!gcBK~)qeN(Q7i<^?UD9rCvVUh$6QGk7d{;!i`Rx58D;3f7XSU(dee1jc z|KF>BhH>p9&7NfXVV-di?}{AgN}+P|C*i~MN2h^r*_iu2k1oQThuv}r&U}fUBwp<v z2WaR%C1;BJ$-Y}i={9QTgNje6ltEhM-fg4P!6jr+S2MS96O$=22>x6#LSInDBR_W3 zyN*4{n)HSx6D*tv9@=PP_zjT;l8zL7XqFcegtQOboukc&p_RXZ|Gf+jOAgAIDYZij zHABV<*)juCUbTyPc)vVd)qR0@ZAS>G&c`QUE9$f74UD2BL}(0(d9BZ6PLy$!6gVfn z_q*3IQ>zPzc61xve<xSMUX__f7-pr$A}T!MVz<w!<l^%Fx$CvCV5F3p#m))3itnsI zIMc}WtJ#lF5DR{&Q8L8UzUg+{5Szo-FZk<lR;^?>3ih3%d^c7VEdJWg7|~s-&av;@ z7@Vu)GkvKsKNJx8&FlqL^l_2U01Wv?|Bpe{n;85x61$=Ovlhb3o(bjPxRURFC@Pt% z8oqloABlSICo{BuO%)^@{O*U7`wGAE$vHZlzD--)a<9cN<I4~H!Ze0lLq_+|Ntj%0 zj_oth3;tHYq*EVL8yAr{rwzqoGNtscU7|-ZdA6z#-ok#0l;q+ByA$gx<fNUGM#n`P zKOjkX$hYNny4O7Cifc>{lq^;_d`Y9p#+h)|H<A{?RnyvFK|!BnK4)J?aqqE_T1}c+ zF$az1u{_JBNo3*cuu+GkW#Pcg0P8&u4<MSWFCdt;kY;E=G^Qv9K=C5Lhmh-S{7hfj zx^I6U1@(kR+|!9zw$uHGI*s_|&txT1%BdLl`AJk6@8o!25I(vnPj2JyfK8Z&_1sYn z6@q~v7pE1Qh;n%m;8ZL>=y|TmYq;+d!VAycl&&)O5&D2&Au#x2erCWnIGDJ$-Dc8o zSTV`s7co*wo#>3%^HQFMn0aXCHqTdWwmbSy*wTb1tFq%H-)rt+ty0rd*SR?y35@l& zt3oAZ&&@08xEx5ytxDmch|BT<_N4gxG-h#{DY@g+bU~sn7#cNq@&1x<JL;#%ewwRz za54x?Yx#pm#%bHqSGVx(HYSR=o8bjyS8`lZKD^)~GqyQDDQP3?H&>YHZ6%D-^(3zJ zIK1e}Eje+dWlj5K{~(ZDAZ0ORTS$y5q1D<uFh(^ok>5BxDFCF>g=MN{z>afBhqo@3 zruEquVru7D`#Fco-Hg6K{N=CgXo1GY+|Ae?0h98#M?Z}Za*SJ-MoZBU`zJ1L&+T18 zc@xJno^S>J7zQI;7@!ZCK$2$DETbp#R%No#wpMB1XUZMEc_s165^>17Pw44|nE|`M z44CHSPjJ`q5)sN$H1Q{xTXv1N6~6?nEZV@bsty{47EZ<SG+bR>>+0*1joGm2+Lrg; zYjPHS(ZD?O)b(OxPpq+N2;NETz0b;Y-h3BVVPW02vA$kLXh8YCgwc1QL#>#(SMcBn zm0BeN)+>h9JzW>e8{M>rR{BylA_q3MTc_{USnssCky}`hUWgWG{L-HLD&~*F`+ziV z5EN%cNy@T3h{NNdAbXdTm9e;yIStD;ch?`2f2>ZvFYOf<-m+(|kLhIyA>5ThxUl@` zcRVS7?36!}*A>gGZMi$xFK+6laUQHDR<<Ab9afmR{W!GM8eLPQG{>sRPMNlk%Yt!| zk0iT_qdJwl1HnTgZN-#3M@-)k$4yS?LvJ_gbFr3Ve=IqcrOx-BpsG{lw3TE0pgL!^ zbTxdN21sFys8i+ipe@@(eE-sWJQp=CBT95b;Uh6XWdAz0SH$m$F6h`dcC3AhYtzC8 zuo()pC6*1!EV?hEA*8;DXbV*`gG_O5X}S^N5UICjRLqC#*v0z=hQ6n69Q!nB<DF|F zq;m0{CG7wN`E&;RaoU_zb_>kc;l9H@XgNCIve8j^0l)jB1spYRHv9y0R?~XXhRHqB z?GWC2g*$)dlblxyFH1Px^M209i}y|K%Q?h!DSJj5N=9i`#_8mI35hI#h1TdU@Ai~n zMZAp9DfSY(L%_(wtaL~gWB8qxCVijqmul)nU+CZ}*0eD_nv9$-@jbXrRzXA>stBmv ze(2MwXK0O&FWUcBjI{HciTkl3w|>Z^Au4umK)A_7MBSWI@keXMTVEcm!g|}H{{Ad; z$(F#{iy`|VgpUCt$i!d-gB$n1)mDR}7R=HHAsHjE{!f4I+Y?gJ6s64&9Acn4@#mpe zpr%fTugDsns*b9Q2b-RoTI?BKXogLf5h9glQZ^2Iyxez1dNChV?!-;3LtWq97%L|N z83azBXS`@{yR?fGet7&iF47X4JBR(Pv^yzVRd%TCQmT@gy)Cw}J$4lYYU90*;G@mu z`+7oW)x~SiLsWxA!WaUhwn7jtqR@vNpu`8U`_9e5xo>@DF309$OTS{L5pJwj{aF=E z?m8TnEJiI9VB_lPInk?r!ELKIH!y#pkENqWId}0NEkJy}J9=~56Sp&r%yES-zqIov z+(#`uC}c6za4|r_s%#yq#hg)gBk#0kO7>uEIXEwQtSeW4c=JJM>IF`l0vBiqhrq1D z$9CZc_C2(^;gZltFxBGp)LC^KOC77DI7HOz3|zs`Mm6CHrqz>L7)wFcHGw}Z%m}5c zRHqN>;u8HZS}v9U1RX}YIoSq!__cqRW&=J+bogtMe?~K;w8>CF=y%WIuoSXX%rj9u z)ltrs{9R&&Nl4&hgV*gkCfRS4`Y(uKu1zt2W14fn*;%Up={FWL$&dSc(JNhy*(OqT zSNrVtnG_)Fk@H8CRA0(mkJjP`i)$%Zy&Z1D44-MJ78&q$k?b-ww8!M+p7(MPyBLNv zX~Ahb^z4rhc6#>js^VB@3`xb;+;7@-0JInu<_3wU1vPxpg*(~?!|JNu^aed9!3B}c z*5)jo>Iv2aiSGwy!g>o3ntX;M<p<_X1t8<gBQNxAR8Ezs>|Zx{>YgGua4Au$QIUHh z*5?ARvCj7V#dov#(fnB5U?N@TDumkqk}faS|0i8OyPtwE>|+t^i~Mk&u*8%$ny*hV zc{npRZ%Vqw%?q0Mu<QI^@xa1`ShCzlAo>2BQs1_K+c_R(&^4h-!CBxZ_nwwKM%P!- zNI3_ahg+u&Yn-WGkNX0`2$up9HI$1jO0Ry(V6&5^r0Q0YyjQbg(5GZj@L}pVsvd5U z>m?`r;;%|Tyv1I{ULvP%%NIs9ey0CCi`hLhRK{o55~eM0+$#^JRmM0#DYC8x>@z=8 z<jF2Gc<;$B-D-<-R(bV9Qbovc>KuYjoqDsv$p$e!bNO~bMbQ~wo27YCI)arzE#m?C z*8AmRu0Nr%03J8AiQL}$bo>T<xp(O=gTUEUmtwkxAHL3oCOifz6<*D;aH8B2Km5PQ zXcN?Z<2?V{3>1CdbfDjHjSDIwO0x&8N01AuwR;nQ7JB*7XXXQ(qo*guj^Hb&g0@Kr zv?omBvXxC<>MDi2gPi#Wq<+HHPk$wWcr5HTe71>P?K`>-p<i`R9|#ds-x`7ea#x^Y zf%iZG(Mjw2j3JX7zb@6yHT(_*mb%b)IUaliUunak!j0$xNTwN*7K=yz+RqRrIRHYX z+<>Hmcb~SX%LtvE_2X>v08>}=BZMSiu&eqb&%y0gN`@gG0C)fp{Nv1n%Ut8uni>+a zF4`6ne-yG!`kwrjAqXKlu)A<WkKT6oAwus%xlW7~@WJFaZRe*$Z8U^W2*I8D1E5Kl zDS;e_!EhrH*U)yy@tJTHp8p}SV-cVNY*SrR0q!C%NksJSCAhwE-mhJS*Uy2m3?OG^ z=F}3~XJ@Xk)}U>jQ0dMQee~%WGW8V(gkT2u)6C_gh1kZZ8GN&!CuM;*jp%LjOLOS< zhaR+0Xe=N_ee{&qJlpzD7AN9=dw|#mp)U&_%F=kbnwt0nDS#I&H{F|23bgT$)-uPI z+lCAp2Nn~TEj-_$PyZa__mXxfkiD1h%pp23nnw9Y;_Woxf&4v>Cw09$v3|TM+AqKS zNuBdNN6c^8^9T|{Qdfu*+)svQ{G}lD(<2{cKduiV)?%B6I_!J`qSu!7fq#hc+I^Oc zj{hMv;s!qb^ILybC)xksa>xY|(GrQ^O%gJ)<pp?d%pw1bp@G5d#gP=l^Zr#l|I9`E zCh(8Wp9Tlt8T?<?HA!WUKv1XVG!?~_XwluzE=Mfwl6mJ>5q_V4U9H-P@4|sDEa}zN z5wt|s{T<f~v$Ro^S%%Ea%$b>)7HYx|g^roMO${w9E#opt@>9>~xqlp+brjlqpLg{C z{K*p6yNLfp8&Uz|i|&4Fa#ov%I)ycDLM;2Wt3uQ!E`sN2ywQ$R9?m>bZ;&J&TC_b^ zuxAn#*BO;v9E&Z1Aayb_gR2cGUw2cR<2ql^k;w*fi5RhwiYwKOe(viY&*#|(RD4Vi z^g%WP+)YLByA2HO3e8$s_rFc=16la}v&Iccg6nUgGiPj15QD($cFCT4mJQDLX9B_1 zKCGNC+YKc49Kzp>Y;A`ifEJ9<iv|^xL^TScH1jn`s_tU;#RTY{hi6XaN%x(-4*30c zsfdZsYEB;UDH93Pl+3pck?O&*<A@+Q`C>68B{lP!CU3l;XFx*D+N*cIk7BMYr2+*w zeh!qQVF`$D6E?O!IleyGl80Y&X2#F1GXf|40t4>1s_GRLk5}ks`F)_#yHx?h-t2AL zI8I%N?OrqNs)zdp<ka1k{!3i)8Hx-O?@Kq9yL*kdt88YsJ3bAv>Xv&Y!Q9;JoRd9F z6EYSk;t21U<OAslRTiKnL*^I2uv9@i%##;we31qBv;Lj^*vIFACrzCK1U8fRi;hML z0Q2Z;u1&&ma`^jX8=>lJ&E*6Q01ir1Adz5;YVNnhB{PZ5kg=_m^#el3g^ohL^Al{j zL^SZS1-3)=jb~b^b6-ZcllOGv{Pk85iA~H%JgHa<9_7cV<3LG_q$|ZzV|bTwyC`eK zrNRqRfr}R;YG(%M*U9ZOL|pfYZHQAMj@grMUhqeP490LGNVV7bGuyifBZF9NbDK|` zRd+W(+X`xd-mMphYZ@@+W^Qe@E$g(0qHY@7+b@0zw_^Bju;6E6pLIuX1O}Nu1kOA= z`3QPgg|DmIcxvw$nO!UH6Z7AtutjRYJ{RUT&;F60{61i0Lo;!|wmj(vY}nbg+aao4 zpwYGIQM<nAgdr7Ugf&}8*@;V~4?pVc&IM>;-*V^>cJc#h%z;WQyzQ|A>-rNQQzQKY zo8Y%t;PblxWk1TD#Qgd)i}GaCJlpdNtr7i$Iv!sLmlVbE7xf#48Ba?*{D6B1j(xZC z-Qgv0-$BD%`_%226UsQg7_$Iyym>1NVTO5Az}j`!?YTA-x@`QpHBnJkALeZ6yWHXx z#|9=Q<XM*Zeo>A@G<$B(s<INdcPz=(q83Q_OE{T}Gg(WquB_!=1>?5{xzD`ri|qa` zpWyA3tV5ZzjP+&5u&)klhC41*>}PbL@U)zw;J{M$GQ7s3P11zcLu*2t@g=hxm#T<Z zPbOrbY}<~WeA1pdQxRKa_ki-*fgyvxeaOPNb=a%i@c+kT-5K~6mJrV;^z91;$2W5A zjTzeSZp2{ea6d-FdTnFXopU0`S5_fK%)TalW8>->#KY;Y3N>BKD4+bdx%i-7F!t58 zJKyxa9NVUW+Nh?0?oHRD@mgz#_s(rXc{QfO7Ch+eIkUjc?A)8`d2sngSgv0=C)5dL zQ2dzsBgqQ|pVutT6lt0#cw*5HO_+Aj_W^#}mav)M_qMA7Jhu41rIvlaRr}Co#%=o2 z?_IwQuYhNU%41?X85a06g@H{L5kK4!jZiTKMI)MyDZkG!5OEFqt~2a}7inCEN~}PY zL<BADDjli2oVY@S-#W|uT<TuD6fJ}NnuXB|iQELo5&5ihZU5RE%8ZGbsd{|Qp2*^% zcin9_Z_RL0S0lw0PoMXw!tJPn22iGk%gakQwI%<>0gGK~1YadR%>Hj-jn<}xEbDX_ z6!y(z_zO?*uW3WIGFl&CYlhu*qqS6t&b{-vx7E(u+xt7U>$(||8T#6Z`gNpKi~&iO zevr2zta1Fp-4Wv@r3DkN#XP5zjSPerOo~fxhjFP=*CZh|S0AHnLkXj!K}kZ?JIyq? z=RG*Ag|>E20&|4*bqRb&Po~%RhukOMZAx`_N%dL9#xb*3h=G)T82+TBem2Z-UU)ZJ zvhUL&zcpcmq(*VVAGM34n*~+0W0S$^azx{-=!{2e+0l!Tv>@pga|W8|FH1vurplX% z@(%rsxr%x`J&K;!xeGfEB8Lg%Ft(SHQll=9W%q))adEswEgi3&1Pnk;ffRAq8p@8# zlD=7mBUicq<_FocmPRA!qJ|kMgq<kRrH+RKVZj2b;OvkufK^+H)y{<c8gYTW5)$$O zeR)eCb{lm-gI+nQk@83oZpcOWpB-W^y=O%&Bl;CqY3H*E<t2Vxgbukc*`0;A@eBOC z&UhgJD5)ds*!*kooBj-b^(Lw!{<eSmwyrCv?1c23rQtg}LVUaQ5I;74$zE}PU3un7 z2K`Z-%LOqt_J0sfBXLLIzL|sy$}$yJo$Tl0_(RGyp5DRg#)q)3uD#Lk#^pZ>pMDKG zU)!%m0S$CFoABm4INfvo71tg?m9FL#oJo0YeVaI<?7y4jVD6XWE@&SY&~1wnQTY8R z-`fX|T^howJLzLdG?aI|?h_;k&CfU7CcmlC!cHV}Li)xa<>;gqoebuF%hB0gKnQ)y zGd>bHNAJczbR{n&#e~rLe|Uyvt0m5(SVvY;MOD=)GbDmlrDz$RPbMNP)M&Wv-n*7y zn?awVNSPn`5w~$OT8@G2M4Ii5)wX4|Y@YJS{svJer^c+Gbebk-*ji87;ngbM{v_@F z#~S%bIm=XIchcS!ZNF2M2v^6yFhPe+4_`QmK&fnsgAE7qsXrUu%FGZ;hxCVf)P{I+ zyzUH}F}DBe{4I0tq%$?j5$AXf?p7b$xywtZdX8{xFkdxQi?40+xjMmw(YafM$T>*Q z(6J+G8ZD6NE-p!gismXL^%6gI^<a*8|A0%2wxi;9^(2ENC%c?>%)Zf7%C#`$GaZlM zqeQOw>EhfIoQr;U7QHZ7`_%fji&$**hw1k9boE2-fEUzZLj8KT`lBwT;Ycfymn0@v ztI(4{j;iAV&~UX?z&(ueX9sYH7*ab2ZJ6f+Xgk&f!H&29-?#G-|Fh^v^gx4_O45U< zFwM@#4OGC<YXU1YZRUL4a?&I|hGpCzLt}a+5&9+7ZCtKaD@$+<b_dUGQPx;3b^M*@ z9Os;=&sEl|6j=c^d(OKhgN1+ui?}3$zBP%GTytads#|q0)CnKYq`)2g!BL-ii{OA@ zvrfjUZKt)MG~;gR?#aVmJDBmz@I_6EJ5kLfxO^*2w;==i0eR=GpE~~-R7LS@)nn>* zX}7$Vgl)qKS)kQ?_dDxCU*@vUQ`V%RsfTGbh$nS3K`vS8R~3DeI_Mx8q<R@=15|Dw zNHyHZuC4^MQVA(!hE97Kp1vAil(N`2lQu?mM+&xIlrO01?G?|RXfd43T78k?N~F(| zCu+FVO9aK96)=7UJ(?NyM7KYqY?mI`l-VczO6EmsA|<gfsQ)mIl{G?inF88E>;+$C zT&DvZ5#Qa3aaK*BPrT;xwJq+DyxSk7<u4(Ui-mbwoXY4M2um~+xw+3YMh0Wpd;fFM zdup;`k9}tM{+rYk3``Pns-km<n~c`JLttw(MOd5a{<isT9@rqs!k1_D&<so2dFT(p z>}Ua>Jz(_oz^ik!awS%h_@GfvLhd}w^w42v#v)jZmcT-*Qoj)cZLFlWpI>0Vap6%x zO#6u#xSD@D>w3{T<o+79lHdVHKKg9+BPGXD4`S)Un9Bbf^0tmv!-WT|g|;0I*fkM$ z<f_3)RQ*2hf)Zb&9n*U+0uPWN*St@+J)huW2t6T=Fslr&{b%y2D7oez=vKmt-|DsN zh4O3Fh2zNZZc2az(?jbU2~ja+a7QA)CE&}U#pZL>e+ht~?PfxEaOJ9k6JBdVtR8i) z!)1o#Yt=C|4?-6F^cc)kQV<yY#<X3MDyD>Ad{Wv1j`#2{;*^4tH|5qAx|2~`XzvV1 zWXHKJ0vE?A8K{n)lM#AdOgt;Af>!zyqPB=GtG{RWSS7iQ;5N^h9&uHdcOf~e^u?-M z@MCk;*sXWuB+lo0E^5-;<D+m4+|BjQy4c14nCI%h6hFQal#}~M&H;#Yr0=w3ONmIu zNE&IO&#{vrW*sIl380U?on()NUCzP*3leWo(Y6U<h%FuVNx9k^KkVNw=pV}~0fI(= zk%SDY`2HHaeJ|~yeq!}#IZ8lAEu)(`vqvj(y}^L=DetLq#&dE4yp^wYW~HVH%^pc# z%ql-d(p(3!8&`Nb7HEkMw#AxMV)>1|ppAN}CpX_xIkx%!=bAvYe8Oo9D%_{C7?McM z8w=-=d@1byb$0&=49?_<D?N3O?pWK`xAwCVuRlVt$Sag36sm2!rFnX1_sLbuTKHGf ztEVKA)qZbfFtZuL1fxuGs!yNXa<B3ZaE2eXJ1_#cYMa|Rx2fYdAu@GU@~2<M{SLUH zW~hUX;HA95&3q1ydg8S)?B%`?2Vz8hJj(`R-syJha=Q7GTf0ftG@H2lOFZ|H`2Oj2 zj68GcMl|krvQ+Q9apW9OaV~JlLUe-XbULznwvIb|GhH}baY(;6R~C}6?^iO8T>O1{ z(*4|F;Hv9u!Elsf20bp0WP5$^*_^I&Xut7-5Dgth`7PyiD`=sPEsk2y29$7a#b&Zz z)h*HMB)wt$l{H33U1VM+`C)wPXifE(>2`L-)1&)qFW+t1QMb`_|DkA0Ni6{{{CEeL zGxkFYPi?q_X<>o(x-T^SSL9qAl0LJ0BFAq=Xb~sQ?|c#x)Y{ZK1$g&N^)y2iUsy{A zl5YoMvohuOZrlN17GgY$S-U)QCHnmFLLT#|8geZi-;EPsQgTfazfnx<(~z+lR8W0W zJqdQ%lnXnVH3jD)9c`|q{!s_v|D_H(Fu!PV++2N$OIpVttlPXo82_lk7hvljU5~v& zG*MgenT8hCv)^O=$N6S4OTGehUFlPlD?dt|LlWbBT$PU`tM{6|wm;WVJ-0!g*kjDu zX@sKL^DFr`qFbw#3xgvJ%KC}1FxSarwmO&|dmi=h_Q0U5k64dJUaGFyxdSTd7yCZ+ zLsoWKK=DaHKyuujm}wPs0{-c%_1q@j0j`+=d<VpZnA^d*yL#Vdl`B<ox0z6)<+U#E z+tt{fkFE_&axBTEl2pcOOp25;FP0cge7RBur{81mW+5ubKW^Dmf__s_6HJKvWN3(m znfbF(z(R;BmR?&PVxN_Ci?^&w1ScDaQ^fKQ3nObI-xnW=9XYa{V}F1D%o6m#Ytw9M z{kU;b+i*Bv{`^K)v1ovr*&@j_zySWcYwd=WWZpFLr$^tRPs->H_0bz=g~^*Vd-Lra z7)z(m6YAzc3XIfUbUMa%nwA}Gac{(0%a2zdRhsDf(rbwH#gd<ihBC7cm%T~>+%U)1 zll!NEd(s!<qsPj-q^eKNMHHnYWIa7+W}*esKtiX`y^ET3cY#d6r-ckukOL>Ef(Pn` z5~vA=H^25wHmj=@ZYty|AeVtVdE=Ru?>T=r@=~8LoN?#RBJ^aN7)dvVF=~qrs?mS> zm@#2=zkYO$WI(VbFqqJ!BjS@$mj<Q`rk%ncCuqu^qoU7Ul#UwZrE(2nzEI%Wb+5Pp zyy<~{FD?UAW8_kVCfn^RcHoG6*CuIthaUb5MBg#P&p89JOvoU`Egp(^kQy9yMKrzb z!$k|g5|Oz3Q%0aOEAJa(Mp)N*>Z&V6?pM_RUUXF1avTsDc=>5Ovim%tUHw^Mt)AAg zL+;%L)68bd<@pM2r``*(@Y`u_%uPtbSK@uuA|kHS>=O{H{KNO-$`-nEv7|$DkZl=t za(7FE_=|?{9b5|{vPMC%XP~Cx{bq__Nz-ub=U-)TmGR^~(l=C7dJE@=Sd7@Fse5cI z-?~r#9O*$AhDdDN<^yB}zRNli1$%rBOpP|}IA!G<6uf+m_kwEN%yr!dEogThW#emd zQhz?`ywQTU8yj&i{OjGPtWQtNiw^l}_i5+jfBg_R!?G6%RgcYYCgoKjJryHnwrg&m zi9efL_%_`V-AMh7%vTg?lM#U&R?A(Ny?ukXCUcYQ_92rZf-{zXaxn+WaEo_3>2_;8 zXV!2U-*?t;bX@}?j_<V&M)>R(f4Q}P7ej9@B(gwX%s>0agpbctEZR9k>3et3*m?eA zt@Wyt^`EctzRJAt0N6cOa9ZpCR##@?gzwcKuU4k*eoV4Wf%6#9^^u&RDz!~ic><VB zEzX?ovxW(tQ@73OD0}|v0zG)69uib^QA`xjf+WfI#7s5gLvvtP#Dzu7_=5Na57!ZW z`3%H^n&(dZ%(f3Eg~MtRI&>@wx2#(MZ;>U?mpi<Z+DK9I*6lu;dFy%}wu^t?u9#%! zT>?32#`5Ziafq~e_^1Zy8$J$bR`$l}h8B!msNN!wRvxurTMWGZyR4CzPu>HIuH&wR ze>{EMj8vDh%OsigLD+Kv>jZtXYz*8|V;pE~mmGk5AqQF7XotOyqPCsP0z$Ob{Zkre zl%Bymh~0@Bm+3n*LNfHZkN7&D#yb{C8B2sX#Kxa=B}JxWucmux<AZ}de%J)Uj!HU; zPZ?w2;Ti+gA`IdiDDU$;8EsY1XvqZm7)d2C3>IAhYM{{Uz;@oX=KCV?-7jwz_D)t2 z6`T5XYCTHY9-jbjV0Z2lr#TJhoY{5Y3vOWW{4f~Ko-z^Wu)m=y@o{FIg~kz|VZeLs zn1|L+OA&KQrSJ5x8&hs%><*G(E{IY>N;dh?9sT#c*-;%n6>-~2vt}$=zdJ;xAG+S; zKPG76)j#CT6Z@=>yvJb^C@9OEzBaIa|H)DO`j=Ohw#m`a_rDQ8vht1aCRkcfdiI26 zr*!d1%ixWt{SDn2a#c8Qoh<Ru8k>j1I(}|8z%L@Z!l2IK&YW3%5(fCLViXr5Lekyp zqQYmx@rkwGG~DeZ7)VRSbS?h8M_c~iwW0X%zv1ok|E^}#pQh=bs!oGgGGJ~*M1(8) zkpGFNzzu3rU&_*QRT3#~^dwKjqNe>12!7sUDRz-Mm}mTelQZtI7u`EXmW)3t8><hP zZf$w5V{|WMino7QGKMg#Eo&o44Iss{LB3Vc1vwMv8%`!^yVI8iwaiGT2OmiA)fzJX zoHJZR6(d)=X5W5yexs>?>C1x3Usq03gb_@+-ckey^L+^6p(D?ffA1pJb>8lOu28=z z{=cVt?I*%Q4V_61sB9`ZdLG{MEA&hzVw_r4(4V<z+%Le5i+5#+?+htgv`0A20fc^J zgAV+P(vRLC&*Ho3`9R0|Et3k=bwF#!yCKK6KOApvt;{piN4jU94~W^)>@s1<{=B_x z^TEY+eD8|wPw^Q`QL|{3us)x(0y^-ft}%FlC4S0ZVdhzIwHme=aVd6WGD|VfOX1vS z+9vMoMe=7OfGav{58{Ys&E?EtJ+AIRySROO!Rb`MD*igLD;M+>*^s-6RItBazPOs+ zxK-BCp$Yk$`K6!woI*!2xhSxq7ma+C#cv;Y?|MO#&tQ@~E66uym>bUU*9heWL7Ge| zfemM`F__KGBqaUlrcmah*8C(ZZ#@=p%j1A%Qog)w+eqnPM8oy`eO=<Hw_gOsN_42* zru^RS*d792lkCOvoTZ#PhkQb=dCXN2g+YP0l%U`XQDD$2)4ZuO<55tL>>j_=^#SIO zv-iM$BsZq|2?Q;@o}Pi@cbjP^b!H3yAcjPY10{RSD}#msD04%<t?ZzqsiU)>jf)c5 z=s5J{16*iHhMy?aYFgGN`7YqtWrgV{G;$Y&E~+6c26aT^`>XlCKfdgUw}$i6+38&k z!a?`&7=i!}rygr(r6Bkv)as_57nbm1*PMCa=HfAM{PqbCx(cY0A>4n%vp)mz>JkA` zYg`4N+TXlH7n|<eqsn;LD))je=In#ui$hnxtF9zYyh3XGH@@tznR3JN5M>=#DG>hj zoU1SdCr>2$leT%V^4ggg|2m%GKqC)7U>hoiPC&yt+TsFjqkog94}2~t0F}7|=^<#p z&MDtp_XdbZ#a3-09Q6PIJabCgzD=@2PVOmHA}2V!K}bCFZ&F+2W$7?W7IcLhCL61z zMAPTqygR@4>p-H%0BFfRbHDp{!9$l|)3tTleWt$$l<s0wC*a?ltk&V*oNQTa{qcWT zRwkDo&nT=igg{9u)xt}0KaS|p)?=jBhj5gr5)sFVgtFALrK-mXJ!6Nq<Bf0RZ^rMz zGQW`w>_t#0xpjC^(-QSB@wG_4{v#ORl2vSn6k3FGvv9hav;0SPQ;BkIsa&)dne8`l zNgnU%BkWr0wpfhPQa(Fu9^!QEJNoT+hNM_ZmRVN))?Bdw;5RUPlRPUjq)R~bWU09A zdYD4alKA(){rMa3fX}mjLZ_}FK`ATomS4NKmC!r1be{zA<kzl#@$pM3O(|JX54mq5 z=Ldi)3qx+Ver@IIIqUH~dSU;AiM80D{3V6#Nrg;Lnxm>k?qG!G8Tl&?1r@IQ^mB|H zOver(mTUt5(E@xaJrWVlBeI@0G^_Rtt?k7#j48fJdNqh8_=>X$_FVX3yg?66p+NNS z1Z~*}iFCG)YRg!|*b(vgRaCt%S=HM166m=LGvDYW4rkb<l4=|){7eLR{g+DS?!Qzr zk~8T1-al1dPe`=uGxnqgQ%ZbMZea%-)V)l7P}6Vuk(2?gQT*N8(T&+Vsq3m0mBQ^e zdX?^FbEEVOy~9@U$C-cQB%{Eq)W4#npXaQY_U@TK*1d<oPKDM_TD#uTcGfp}gXNFi ziFx0ylg)d6j;l-^vKyf53ZGDu_!ow0_xoQkOzw!f>f~J-R`LGTUYe3z7ILqDini{E zt-$^7q_*XiMW6knkMS)yfByFGN~#uIeVO?I;ZV;l=5;TrzBQa2+_+5;@8|E5xpw{t zE;FcJZ7v|fL>GmfHpnFXI$1yOuTU;g|3B3}U5s(+5J~^vxke}&)P7Cu$}w^#iOv(( zU*mq_Rk0+`PL|a-@5)#tBA198ajsDJfGjYXjnmDNKYsUT(Ss=EtcUmSbGHrXHOLaU zXOTXg5E1Orc{~~4NR>_J^78TU{J}G?>de<xQ8?tW;=kTjw8!_*s%56nu4anY0%sF| z1Ax(LTb6Xl1KIRK1qF!zs280i)GKdWR6s~CD>ui+1LYFiB(f<2*mU$v=j@i}$x3+Y z$@4sUw-18%pxKLH`7;-`(L#|Wjue27_{V*zMDibw4eT{`smup7-(pwKR?o2OnF}vm z=!)U43brMRT-0Ak9(XmsJEU>%7`a|>t1?AB#%#&LpUd(+SuPxP2uNubOZdp?`M~X0 zw)(!2-VGpCiGitBhH~IdIKS#0?_S4{PoB(S1$bHBNsC%JX5GZ;{zZ^|H{G&?wwYMy z1A};dnKxdOcx_dY$8?L4#76kvVG}MBb$2?B#+H71%}cDbfmi1~E6h0>8~B9&-XYSP z0b6W#D%$oh0Qynzfc8Vc!GyCu@D*m;h~IKjvn|xZk)<f%o-uDT8{`W<VzA?oW|bHC zEtcEPzgs<`-Jq5V%0Q5lQa{=qNKw3e1fS1rE<780#jCuw5+eWg?wwZfwaZ7RLIS`0 z)X8$$J0E?XV3o&Dmle4XwZq+(;1WF9Lpn~<ozFr<RP47Jz)U_{no`u;8HuL`?->hx zuSdbb#n-KKi&V%1Ns(x>pHa-yhcgLC;3p)*3(V%3RF+?pGo)Glh2Jan`TFrveS!mV zaP$gz=BxbGaiqjjcyOqzB`x2<nA5y;QswAbJiF;;akFftjf_39Fw)wOnpp+m6(kJ; zr~!R|-~gm{_z$*iee-rb2)RM+^E4{P+Q!V_B|^JKvLr)OLubTOxDzck&*SwV^3#FM z1~R{axP-Ugm9M^1XkK=+E&Xn^*z$7wCMys#8ONjNZ<uLw+KYEP%L|Qr1!)UbxLz=^ zE5Hk1KR*&}%d31|(|6*_zMzSQX#HjHR}Vce6_fWQQYZ093Ow+b!AzQ*mU>*rxVv#w z6uBWz4;l?P56VgB-q;;Tk?62i>CS!^o;$z$v4@1>dG>s41S)ZQwwp7pdL3_<`trH? zH>bJK*Z%&S$EDfDTT+0+2wkTVGuaS_4KIZvuilz_L{b~n1)+vv(wzSndv6sLXVa~V zLa-1lNP;`T3GUKZa0~7(!QG`p2o@|ra7%&*55e7?4sH#NL*s4@^zP*Q|F!noXRR~F zxjGl;yyLy=t{U~0%$oCgo>`^Fvp!%NSPv7ze}5-7g~h^%z8)*_7$MtLV2csOu+jTO zV?>?$Rwxk>t8{%z-lN?322A-`hdIqW&T%Bs+1|6N#1jjIf!=ju-9#7gSo>JM9bwR$ zZ_Cm#qp%ykNu97xjdpEeNv+pyyF?S^j%6OZO=vp0dM{k=np+vtk1+WaVt9;cX3qUV z9&t_c$0URC?meyJ`8hKw6mxbvu&fc+-=fbgZq}?~yU9`;2=hf_b?Rt5E|!P2W`M;5 z``DNAf2S*ruhc7zvE_{orHHOaDuNnRXd^M%OWoj{d*fV0LJ^yCs(x-@C?_esWdYZ{ zX*K!u4@S<SZGVqZX+ciU4Y8*y7D6_kskr8wt7^Nlo23081`~2RgF~1B->N5+>!-d~ zYkOsd&i*(Ls()_l$NWZw>U}@@_9Q!~$TPB*+cU>#MxA85Ke{L&+RAEXn0;*Q?A>Yl zy&zW5!vfLOJ3zE7CpTv&I{P7dO0EJz89a4>=l!G?LoWLGzUj)#Oars}zE55|K#pXT zA?np+Z`<z@9Rp4=tE0geZfZNzmt%HZJOT=%EnP8zT9LY2IT=B62WvW$g8f|AV)+vW z!9MLB`@C~ElY(7ttV&`p`hR3@QpY7HtgMw;eHfma1_}<0c>gsv_`<7rEB-q<!1e=` z*0&-&DnWvuEI3Xc<)_ke$p2U){6ys~2eqxGa>uWDJ&syKl<k4cf0i2ES-rdX{bj}E zgsPc<nh?>ej6GB~kds=O)u*UG4|9oFoJRJ6Wa@Jq2S;TURm$8lrhm!_1k~<m2Q-sr zkZgY}<~jIT#;&5)ZkYY%b$Wc-pOS-k<5`s2|I{*AI4Lduw;0`e<_D#}4Z?R<l`8!6 z$Ec{rq8YO#n)&O`$Cdq8t&=qHRT)OCtYWa_hr|h5O*y8}!#B>Xp46VfatYjtJ>$j@ zBz3Qk1B9fRwR274RRN5ym27$Nc=ZiLCa8a0#^uO(T(<1Me&kSEV^1C=uI6fs^VV`} z%f?P#_VxP@!vfVx=PIgbNKcE=hsdbp^Nu@2<peCX41&8fz4sShT_$-S-3F0g07Ayy zdad_B{X>+OB<b<kgdL=PLbjqlr^*tI4U_TgxeEsS<dU`wGQ}x&L2E%M!&)hD$JStc zVey=VfxxWA9@{mnm#iIDetsnRCr{5W=7ipC;uL=Ui6c;k=CKrf{;m;Xz|@hSAlr-O z2x@%nvkc^6u2|q7wG5YwX%HBjyKZ8%`{DYYiMwBNRC#NmHRNV1PA{{4;HEXMw8hjF zm9mPu5^S9KsIG-=gTOg%?j9pP4c=;K+%}(LoFMagXIytL*laU0v9#HQ>WE~~m}iZ? zwx2I+z0K4i)Y7?)`?hh}GsC{gtgkq^z|O8_=Hnw<Ft)Py^=Fyg$2F%9?}R==9H*+; z_g*C5ce9@t_UO%sd?!W6;O)(~kPfM?AltHxU$Bcwx69!9Ju%P&F}67_7g`tef4tu= z1As(|c@}x41zr@gQP4eqx>_8nV^rKIHjsa-IRX;m$n#0FtA=w!aOAm)L&n3Dk`mWK z2qr3ye+sC)%oQ_V0W<KPW={lL8Q{nPVc8RUK-cV%`<!<W68Z%fI$BPBoljVxbi4Gb z`g5V&rIqNMjh3q~*RIDMFfjiGP6yd;!OdmI*2<X+-~P5=6Tw0Lz=>s+zX#Lw+7y+U z;MTD<kkS?M=2mn860^<-FcGK6wr!3MmqBecH_&0-Ccvr{R=RwE1@4`@tNVwD%@iCv z0EXT%A+rmNzAEa-{pR)cbyF#*SR7(;Ep#MuO99c#6}=ro7={V4I~m;Uda-<Z2v;J` zTO*R4MK6DdKzA^qSgS*I20RImNzd3BzABNYPfd}_=`wy@PsK@mIfYXfS^N%9P<e9< z9jg6FJ=Q)q8&vv=uBx;_pak2NF`b0}#L$r_?U}ZqIO+#lx*DPd?MDrI(xaxH-Z2K` zGU=LX*>9NbZn3g=tb}s07!8apjSt@fng;Ku8Ij+cf9MJo3XOY}`#N>Oezu~ncC?gl z5Zg{s<6En(W<7f*>eGQ{MLY--)k6|q$2`Qs-B5zqAUAiHhLFDPW7dn|ZPt20Ng;>l zc!3#$g4{br>BA^DyGPWFq>D6gFL%&ywHUAg%5dU<iZ#7o#j`SHNBtGG^)O%3+JjnW z5;xCQ@Lm*CG}27n2JkS4!fa>j*a^tFej`!=I^1Rii2JtN@R4>em1wYYyshgbjx{f+ z<T2*Z$b>w^mYs8dUhjY4YIlgX49SuFmE{-ozQvbAVt&p*+$dNA8iY}@W0(HJb&M_E zR!&hqo)fhD+lmpL&X4?s?m5=<A<~53hl?4^*m)F*Om>QnP(mRV(Afol?wgJs2cKB- zzI`!P=Qzz%FC1<Gr&Wkw*Uj{&{ljB7P3mknPYKh(QxWe6FSWxp=u(eIO>E95LUq|L zcIpf@*_9wyXN`<uk{g4Kg^DGLdk!4*V3^s{Yj-QY=qjFpic`|zK)E6x<EEY}2~}>M z^nAC75w~z-7g)=O3q(rFwCYRGk;;aKyrKIrvy+mb#x;;i5a^x9=fvG-ft*RAtklI& zkbZ8B_9rEmY`miD4r&~iu~+4(9tYs5OPdJAGXhUx-?MJC6=oDG-$9B1tK_rwxhj!r zR2a#S?1^Dn(CrB4yuti9A>~?G^Z}-s2ibT+nh}0J7AMY+t;HH>_P++fgxU-vdlv5F znVDw}LCqg}{!3_JH)@h{@%+QmIX985=bp%%M+@oQ=F-kZ|0H%e@dBm3d;ML|<Sp)R zW6st+AwdHA0wY%k<?6gdCsfz`!MVBPn$~2Fye=j@rd`#z6UE9w!Un=vlP^2#n|!BL zE=leFVe6b7=7siLVyUmB!<&ZeN4FR1k4q$kHn)RXKW}*N-9fV#drX+>BFB_c$lOKf z@g=1S2k{n+VA)C#A7H^uaA80&(2-)yI@+H+9ZT3D7gt2Y2mW@vcJ}?}#CO0V(AR)f z3<oB7N}b4aI*Ju|&uT$Xb`ikSU)R$(PlCcNb>A)<8;WDWkj#MhfRNk-n7zVc)a-55 z7y;G#7G8{<@nLQIgG;?aTEWjS9^QxRh_)YO&teq6b^xlEEyMP|Ox;`apqn~u7U7~k zN8%j$a@D$f7xe4dD90hdh3yU2Q$pNhGxj}|f$MD0wK;1|@Z<OqIx~`L^1>U!tmi{) zHS_==f!>yZneEyBD+h!poOd<ldyc-KM(!DqlyN!6>k3f}_FHb0FvZ;~)^fn}&1vko zWaUKuV6v0VhVQ@JTIb7(RfzL5hdZJpAhyP^z&cZV*k+i6Y*2v#Rq}q@_kMej1AX`E zWbyUcI;NS0-@Er8@o6^!_wAqtxcsc*t&l2k_6*E*K5zgf<vR<yS{uT;{Agv-S=6j6 zd|_H>80NRLh9|sv;n!4mNinTjPI$FoAMCdG{p$MHVq1svSVD26!qaM%PsNSgt9L== zI=DG(akeN=SH*wth>x6#AD@d;EJy&ydUlRShS6W5e;emob=izwI&(^;;%<6wK_@z@ zgJ7+aPQhzS_VEqJ)e@~P#?+h`ms2ctk+@fLF6K+`L2$$CMA^-QmBp_=#e(Ak>&UTf z*Lwpo6s~ZQe$VUM_;@7siR(oMOS~t$Eww+BS9Sj7SmkO(I_d^rV~&`!<Nyq`8gx0h z*vzJptlKsdo*coVlF!^TAIrBE%1w@VMT4n0&8M6aJI0c~*G{>)w}KaQ+xirP*^4i` z60yLLDTn>XdQpG`wFIYzqeteeoW+&)oYR}!>)R0Ut#WOXx7rO@p3;s5G_09uC?L)B za@%7+f5#7oyWg{4v^+3^Fy?Akb1f;$MPu9hi}D1Co~N_uDM;Jv^!*Jx`@Y_G3U;ue z-elu8(eAqebyHO@h<~$uzUJ2xbW>>D)wR`)^JuA2?9LTl8Kyi&!adl2WWfHeHg(4a z&c!e2+^Jj^)0g|cmTl1Vcx^m%X=5wGX5l@x8Iq7ieB#udn;~&i2Syz$obqtdtU)a& z&o;RT=O(zgnfLe6)nWO-bt~w4W85sLofj}U<n13&zx~!{@ntF{4Szt`OdaPHPK|F} zaOCBh&_E97;pEZAR_bDp){!esb=^~o9uNOxGuag)*Td}Luvul{qT}FRC$y)1Q4v0n zGDNWVlzuBn?Y*<>15LndpI^fgT^dLwHT6Dz>mB%5c@E?QDG5^-b}Z_}2RVu~JNl0^ zN|YxA@sy@Nxd>d|a%GKG=mfQe%D9I2M4E|?oO&2SSZByq^QYD*a;9b@r@p`!uC6x^ zMLFQQe~gx>0N~#NX7`WG-;d{~VvBj_+7;T!oE95yYhJRVm`Jk`FdbuXs-2}B)mE*0 z$Srfi3k9BlhU0@JUw!IvkM>{1ZO+H1B6tpX32OV8k(fwvd*ps^Ol2wj9m9r8Cce90 zc@bVA*N4~H>Aw|D%eR!V+h&yMUmN$8{}tITTfKEXUFPl7DvN!M1)wN%j2eIdLDvv? zCVBL12LopX<8wOO1CZ6pFeQ52tR7>|mw$bIc@YjObWg0qRITlEv84?23@9ajc}{$S z_GiU#ZPTb6&eH)XL`x;Nau&KwQKjeasSo+l$Me#(Id&IeyJsUQi&@~c2gjxHRXt}I z*RYtXtZ$-u=eIk)Bud$k&tk>5f8tlJKk@4>(fJ$h?=775upqIKQ|HKl_RdV4Z__jx zZ3buFyy?q^ziqv3DlQ|{CsvwSK>t&OdjJqzc0yPsH_!Hicglf*sT(tl4tT;Qfloii zG9x?9Dia6B%5JW=7513548<<neR#H2_l*3KF)J4-(eDYpwN_wF=h?~x-;6(FF%F~L z2DVC&@^}4iaKIpO&RdlHDRt+ymoeczdM~rWDbU!|e)z^lKI#n5GHT=tHTb>8Gw<K; z+qvEtknk|gZmO1j#sA*@l8uVIEZzI*N1W!3kl8VuC;eUFHWaBKwA5lP+i$Uyf(npE zyjwb*5p?$95w=J@DY3Iex@rRuuW;KLD}1VnN&>{#bXyi#@aYA+E0dfrQI(C<?#axG zaY)!o=+hoNYAd4I`l-m8A1`IEihV;`eS|Aqvuty}r!Z2gnrnzy`Xx=>Roj`Vy?wM> zfFK-7rY&IVLmwesYOEDf`#PU!tuCnFKV&avLxmK=lR3(B>MYoo)bwE7t%gmn<oRe- zc}%2{1sbTOfM`Lv8k4YVYjYL(R?+TdHA#6y=XBYVjV)j<y1}{7a3Vq!cR6aH%y)Cm zS`^tNcT41wt>T1`>_L`Aqv9<nbkEL-As#Y(Ztii-t+}1-INBF7Ac=5ow!NudfT=m< zFOiFPMk=*(5{Ug<7o`u^N|$74EWAEACz**S;3h=1jz9iBzJ^z&<wVC^2WG+x!vJ@4 z06Gf(n<;>Q+I#|>{00V854pmGkH8-rA|+1ofY)>PIuqS6dBFMrfZOl7_?Q6m?zRVh z4bU{q+-U&nY+l1p)FV3_YKI~Bke7f@vbR<n>bJ?hR=t)|k8AMzky)uN>W44a5MUbc z0rsR882pLpC7fC93etOWZdS6rV^CT@*fY{$gGe8_d3(cje|`MO0z5lPxXlL|?^G30 zo$TM`B?WW#0$;yA(W?sa&Q1mOeJMUp;I#&leSHKz#BX)L29ih6Zw5MywgG<4QTIZ_ z>X5*M>vi|_Q|fcP+m20F-(k4f!^aDZWBfZAz_)QV5u<yU`|5Fq3D{)&yXl?sV=(<_ z0+3*98PN-a)ch>)KC2@5>;4Y=#DO#*EX~P_<bHDiKZGFq`Ret33smv3TkXVk<zeo= z{lw@o;33bLs!BY2wgGr2UPo>6P4E%Ywdnb*!}TrDn8Hkc3mEYrK690m3MWOJb^7q- z00wv^83wQB0}TVk62>cA?#rv#&jk6YLw_gSMxVY01Pe<4h9%qs3L)Gu@aFZ{ven^k z(7oQ<$6~zo`&|HW#zWbI%;FP3aNdgNk3Ug~I8bcxK^-W!*LLl9+;&|L>xI97AGR0) zJFZs(TZ!-0VP|*Oz^n~d2g;8kqS0i);g-bbz;`LPz8%56@cU)%k%jD{HgC;biLeAf zhuT@kqk3y291Zw(+05*5_8!jlH~<f|rjzD?&y@?BP*gdq?S<8z+sxUI57bk07GF+r zBf=RMyq<?3v3o5s;CU?k5Pp*|9%CrG!VEka7d^f|x3QDnjHH`~ryobqr)vT1#I7TZ zGY)sx&H){YzwTcFS{ghSn*8&<tr>4zraO%?HXinQ({d;g7=~5Q83$pT09Hq9{{>5B zV$5LHVMUG>3*D0G>vML!E^=yX1yHd>vc4~|Df?ONd0Ng3{KS!|L<_DL-NPW}uSEXJ zt%aVfZ>*~>Gxk-urD=#hUe<zaf<;LgEJF_Jid9~|e#FP1qpQL)V=CXu<!RAqJSdME zM0=~jLWjf-QZe&+x#Gr{AQ6-&pO%AzXwNL4=jd+N7dqD$W2Hn0kfkA}I4d#QLhV7D zyk)q1lVOBxkd|&T=|3S4tjm8Ok0{4ytZ)7RT(Z6VXes{zjSOSCZJk3-?{5VI(7(2( zE}8<uFy$oR5oYisVNjmyL!cN@d*eMS%<tx27{tU=DG{O>@*x<{>~L<j<Cs+0Z`>J1 zM^{{Ub?@f@db7AQnm}~QaCEZYqIloAIA!J*cpBNpX9(Ze!IoDkdUVPLXPq%O{|nk+ zj5fJX!aJ%k)=yoLlY`*gO`%V?Jq6&9rM_uvjyD+O&JoS4n=>1@TLAjTI`tO)y!%kN zr(3l5YCp--JEVM4OiK$Hsk>C_XFpVwMy(BZVD4tqh%rD$JNMzk{yA(Z5R@W%e>KIh zvOd=ebR~V?n{(WhbrEK=ws5&Ws&^gq)iKI7gkREbi}ctm52IehCa=GZsN=B#Y_tM~ zZ&70Qx0BJoaIlnkh&}D|9$13lxAXM=mV9Of3;N|?qf2b(pTy>RtRiUD(XKvhv^fH3 z85j;NKe!xf06}pwR33sT9H&h}7Ke68>5}88Uf>cuyZL7E)`;_`nBYhdlmJ-kJ3Qaf zKa~fuJw-r8eJpi54j|B;w@ACo-nrrfe3uDwrsKNnMLK^wc5-oYYX)WrvF^s%mT2!+ z@rIYFo#kctjqkcsuFK_OP^)Rq_j-q{dYvX#*?oYlh^3Qe$yE$DXV|&;glYyKCnR*m znW=xq)%LrJ*&ofD4l;9t!$+lT#B5ewwM+Qudo?ljjl~jz9=?7lI_8#ewW>7pkUJo= zt&z^}Gs@b=gIRXkj08P8%55OObE>x8E*0z|eoDx#X`OHWI>QKO{?$9jhl5>u{L}75 z-b$c*bNyPKuvvZ1m%K5DQ1BI=5+C@uk?^ef&~?d=-umwQD1fB}78LV-^6;wXFI2JG zP*HI{f&1I07fQ*`)qLcB7>$|riq%`;&6AJPk}+y1NV#kupS;(}zat3Rsq5G&py%!C zEkX7PGxVmcwcNmwjUuy;h(kRs-iRF0j4!-0K5SY#?1%@??j+yAQw<oXpH>@v2%&Qi z``jQ^_)fFdcgiJG6vrvYGUUY)%5xfm1pG5Y?N5$IP{I8#cwUyv+Ymz|n~Iss&)X{( z<L91>XA8x)Nt~{B{TuYp;|WypJOTK2dv`)jwLTM^C2(N<*U4m>nZtqC>byqen=T@6 z%m&uUz3Wct_{tc!-%=*USf^!VWfyoU0(@NAASocyPZ-s6+aw)=GPj*ChK_Q33#pRp zXVrn`Wy#B84>t32+d&JnNB6BRu%*}a&V)*r$?3NrK1`LJF`<1?tA`|7c+GdZ>ZOx+ z^r`s6HnFZwZa1=e0|6G+w`5Z`CA#F#F`wfGd=2PTBzuN`@+9RM<7c6S2XXnVSu)Pt z@l)%XU&oj6y(DJKsutL0uac>miXn$uZv*2O&y~TC{+=dz>J#v)DlrR>V;nAZ#Pk+; z>R-kl{P1R9-(t$zebU+;CfXkooc6gv>1dzRu>S24NIt9XR<T_Ox|h&%e{fV*dsFh( zz}(|!HQ-pVeJf<~YX?B-sGOMTPhS;%owP#W<^o&NiIyDkGg&kl2j-_yNk@C67D8F` z&EkiML!Z_4RL-y}B3Fe}A^2llLg}<rID}_m&NIx!o}&^*y-taR=5VWa@_2K#hir@# z2Kt@{hVMoY8|QR(G5^liriFFgrmkJrJl?y#W1PPLt@uNB<u})x8Ofbo5QUoO!Q*7- zj|#2PKhS#T@343Ys>f~Cn!4hk{|0))rTjRRny_?HykeHN)WL2NEy0t)kafPHlJz`J z{=}-bnJciQ3x%137`N@^At`Ovr^y$%_)k%NM(q6K<<DWFk!hNM1W{_=y`2@j0oSwp z+c7<$?zY7CUG6EJ+WAI7(AA-gWz^a?J~?KjEA*{yx<5QXd`#Avd-u>)4i%(=R_6s` z&98VUjL*V$S^!Lr=G&@tP@x6w&mWRUDvO^o=Qsh<_h|RR`}e>ul9(E1wmwaHe)Y++ z30+<b1<l@NNg9J#PA+3RcSo$;4y}!s`0B%wTq;QKrmtUKkzQSA^JDRf*`MBxbTiy4 zeF{||UgpMY>Sp{1Yvd)%zq1U@NEvDCxog%4th~BsaP<g0Dv}60e+0HPjsaV8<Zsh$ zUrf?I38gu){WW0sj5Y3y)ca>xeQ8dHW##;uy;_QcTeyWdE_hw1|5rfq^DbX-;|?yN zU@~g?v%YSEaK@W%ZUShT3JEtAIJ3a5x8_0?BZCC`3S6!spjXp|-2FDpZ+@h;DOy;t zPn)V!-WSd_^c(%QIOd?A^JNnXlczYKM?2WjIE0T^NyH<_KrWJsm-~6wQb~2D*;f~g zsD8qNDmC+7s*?%p7()907VB#a4(a)<&Ppu^H94%xx|fx|xhi9)b<(B2Ul`IWG(HP& zQ5@HyS^T#az=p?K)13~PQ)8p=>Pu;kD>mwrPJ59w^o%ujOx7=RD#NL7l9AT*1)*!O z-h8vOHR6^u`0MW>A|ljguXzA<ibyo+=591<=2p?gF<W{z7L+8O>+FE>;hhvW!1X{7 z-{_O3B-P&vNh%3E_@}2`p|{RzBLgf<OTGa?X@B|KQk5?mP!xcyiOhv;r|F1^xnxtJ zfiVNMYSQ6|q|3G!wTO-+)Cq=9|ADw9J(AN@XVjZ)K~1`b*<7=1_TBSu^c1MGr?S}f zsSKF-(LR#5ui7=Dkg9bTARC@_9mLb7ZNnQ^KtbP#Zwt?(iWJCL(B%ZVutwO~+285| zTU@Mui0cI&^=5%{MXNwY*%$DoA?L@XL$P5dD##Coy1iF%g+8Z&n-V1#Udf*@%&qJL zzwbT^KT}PT`=la&^xJt&yT21e269=J;H%*yxp4oSf3YUv63ck1v)#zw4!`mpK<waq zQ$+M(!q3zVA;>X>n%W*4L0oO{hj(s{41RTA0{L_L(?}VIlt;I~HH2kZ`{8;xGW6Wi zce@4859}DoyOx;GE-wSwj}NLqtI3gs7e#V640@YGUGG``K^(7)(cu4qIO3VjoXL@r zwDhd;PYJMah6Hb#v?mV_xCb=A_IUt@))&}`Lj?-G(te@+a*4!P%A2Xr4la6T&)$@K zWzL`MfH6mtM~GP{mlSz3fG1c~DR_dPGop`4RdIO;Oe}V;3lA>|cXnJYir26)poql1 zk}US^R1nMG@s@nQIJFNp1+!EzT?9Rf3vPs|Sf`Rerrrs2P#0%AL7=C>89*ubL7I$V zb1}BsYraoKT3(h~qgx;=!R!TNE7}IRZHG+q<ytWj3yOHb&z1*eZ#8L4Mk%Q^L>5AX zHqo5Q@7A7x%V(;QfHW$C8b5Sv-fM87mJ<qeS8We|wBpuhe~#^ogtIq;lI%%wbR3R# zo%|F<H~L=fRVk+jEbL7)FTHhuX75xFSQT%oglLF!%kQUOm)?UYL9FrNT5nNst)l(W z#5ePizmCkZU-FXY&L!!<1Kh_W1&GwzdpFQH<#}?cI(n=4669g^`_1hQy+OYVLp5^M zoc!03&fN=5Hi?Z1gsQ*TX94az?5zQfE{wwXTHg$#*J9VL-grykPTjQiU>D^IlkeKD z4v3-lWrF5suyebHtxLye7Kg>hi@T<tm-8nv#G$(NesY?jm@CHX(5p04VWLS_dVVhL zZ0{r3`Q%;Z=<Cb^d7LCYOEF<Tn`Kt6hF=}DrYwdRR}q+zMx)4Q5nM?Xdh2JzMd>?H z58j3nOa;De9WG~9OMDgRIO@r^Wy71&@)ysbDx4W#qz19-b-vxKvy3#^Jlp3G`B5kz zB(P=U#Qer%m2n8Uv%chu>L+EaQFdyVwjUTF=A!j%2oMBUF5PWjex!!VdHv$vSx|3l zikT~K2_nP^+98d-CTRP}R_;7yOsm(Z#FIlqcx`@UY;r+jtx5Z?JW14HUM_1UjhGoX zM2Rlz!{kJcCX$t(ub&B*EfSMFHX=hz*TiM=m(efcv29(p-Sf3eq`GH1<RU0iNS2Au z%K=thWSh2nM9j~hxtP#a{Yv+QS_4Dtf9c6XTP8X#TZAtUe$%}y1oI)@+^<rs$+S62 zzXSQzj;r4krZc4((fCr8^}BS>TFg5=>~ADY<|s`r?6n1xIlcBDtPq8d=?1pvEuPP* zWG#6LUM|?fJ95CAKzW)}2LD|ha@Um}%Y|S#MCbM+w&u47$6o>hpNLYQ?M(4CLg6hp z;vSUR{gu6#<~7<StpSHNrIINma;(TBFregr147I5nX668(;1<?=(wfq5at;`ZWjNQ zUC?Y{+N}c<?@r`0*Wzc3TnRK-=<KGMCf(N1FfOB5%#*7{Mm?cwpMM%BmKVGm^u2QG zOqiu@|G_&s?~=3<=r{b$t{9(c{ZS7^_FZ*NbEo!e`AV-doq|g+!<<JliQe6AJb5o2 z_jkEZQHgZP85=91nA^E0FCrq*6-e-<AA6S0Z(m<kmQS5GEE}h&w|V%XH7aF@w0-<w zLPFuc0FBcc-YPAu^|B+-m?sn2j<!=k?KCuOZ4I}|WMkisRJ^i<;&FQ3%kZ;*QqR*= zgjjcyY+G~;9o`Z?QI=l<gpa-0t5c^X>Ob)!#0gv&Ok>fVt0BY>2$Bjy2Jor;sPh~I z`8VjvH}YI@=vkQxn1VM}&L+CnY?rP5`>p+LnQn%YRP9Jrugrt4Xp`;QVTOx)<?{kQ zWg-SSYl|>vcDz4f2n6ZS1(Y*uSBzM_o|$lt!z|0yq9C#|yqg8$7O8i?cfSFxKOPk0 zMWed#w)^$Bq`2I{Uxy?Zqo<(jts{5ReIZ**&e=L@r4<wKizCtt8Yw>zj@p7cg3Ff8 zxd@q7L?wUvBE9eLXRS?6W~XZG-eqV5VQA0;_*EZE23{@H(PPybw1Dl{Z^evyYBDR% z<`Di%;A!0_0?vp(qxE2LeXW_0W>RRoAp0alB+f-sHAc=eI^_&nNtDSJlg?&zZX(|0 zf{r-EEDFcXiVIW+J;e3o>UoIFCozqwyQes}MRRPa4vMCADH26?6}>uAPy<2gJ&YtO zblHD7lL@SzZ=80%72Jmi{dbD3oeS)?4a#7HDdW+%P)f!ryK1-5v5&)GJFt;)q~_C& zQ?8n>EbNSiE6&OdOPG;PUnFR0{XHzmXapjdbpReLpLTv4{xpJK_6g4H*fUN?$LUu4 z*mqAwk*3S!C8XDX!2;hB2)3`;vUc`QZqDXwsdW*neO4+|=%Y9C+$Ym<;2?L~DQ8@D z^k7+wUG%Kmas7bh08-b<Gr53s4nxl%E<0Kh-kupudH&FQ7a}XS&$2FOlT=!pA6vfi z1cduNrFoxt<b0|z#$4(`&4!^gW*pReb9KjUvP?R;5W;iHpm!W!{dh`<iwhNZzRRgE ze9NNY#*G_ro`k3UM-uj{RUdjTY}yTL73RoGp3L(Ga$fq)q}{If*mN%kU)W4BX!QhT zQf=Fg6?`_MOB=Du^_ah~ZR;Jq;3=*8=_ThIdHn_k<GvTzp62MsD<>n3$IZQ_%E?5m z7!%_(^)jp%rko+1=KLXU35yE`tF+0uNk*Th9B;ny0R3E&WGdw1sFXax8X0?HSbb71 zMRyA26v3A>KXlCsffwvu8)e++F0mTTA<`zI7O<I29DL5uuXyv+Vt)0+%UwTy)^1zZ zIY@~qFxWgV8lGHa<Qpj$M2{j_)<>>pi<CDJT86}YZal@Yf<CV+RIC&i2?;4ErdOg{ zmT6{s(>jI6SCZkMD?Y{zjA!f7ol_ZIG~CD48h9ZmH}z5dQ_}%s_=4h&C+kcu3StqV z9y)*$JhX#-mf#)l<hMJP$7_R3w@aqwxJ6o`BEFrVi@~OKG)PtZFfFw1?_`cBNyrbN z?OndtQzWG>`t~)JbM=>+@lZ|N{Zr2fdhYME@xcgfFqAEYjD$88aZ|>U(O#8^@{W*U zp<$^stK584XDIc4JVH0nx#$;073B4Sy8BUAIYx|y;|x{dB3PO+nU3ErdAgH%)-dtj zBOVH#Q2y3oxny+h)!NclWX_B<t#2eM#y%DmuD%FP6-X%Z2zbn8n%g3bO**OWI46rH zKs~s-{Y75yj1pQ=w&}dOdDCvV`i)8X1M}OexC|o^PbzlDvaxGaT;IJ`Q-Eow0~N5C zsYAp3Cgg(?2pSMF)3+q190JnGPb1GqlL+v-Z}J9TvDu;}ad$@`$H0L3-EzbsU+e3a zUhA-VJ2mgB-JH&zErCec%qy1|2;75AOLP*d?$xdvDAmX{<N_lG3kVrv)$ZS$7|{dL zJc-PO-}>>4CpMkR@2d5y^B4cj@Dwa2n9eN|cRh4|2TGXvE|Dh>hj;%PL_{vGw<I?{ z5n&y)#EOsMS$KubGLqrn7c2={49qK#L+IaFf}#od4f$|$UAiSY>#K2N-+3jq|EEIG zO}?0ZQO1nU??<p`^vthN8k3xzx#8(^v{|R8h3G>EV?|Y2UFD%^WMyoQJ6FMJhtk&# z|2t)Kb<aceGSBUJ5p;7~!RcSG-H*#O6d%t$+jbdDsTV;4jjq2xNa-TVd9Sl@*xUXq zQ!*;Orehqv3T*LPsNLO3{s9%?Ns2bTrUqs|9y~tmLe=rRi?Yqc(^_Z#vP7}-L(wK~ zUO`!Gn@TUeuH5ng5e*hUzW^-sAuQv>WyW1kL|S+$oLmAYP2Q{4wYne7Ii)fVx%x#H z68th1S*`A?vg0Cut^~1WpKy0t+^9F>WVc#eO~B(KTCPp#qKeSU=|m6TTBfxbyF-5& zA|i^y$J$a=RWWnoBlpxotBL}G0=RsvFKuh)xjNL9yj|})^=0mn0XGUuitH6PH+N3o zaNexuFR6^PH@y0ax;uU`1pyXbX3daRw!tNi^KOpqcDOn`WB%AT(UpiRuzj%46x@}m z_|~=IoE>pQtVF%sWGc7O*n+Ddafkf)v9=G+#4@H+I(vO4q{HB=M!jM`jwT{WqMPye z{~&ZkyTZ7@ozmOM$QDQ^iR0xu<%qV#taS+GRIr;yc%xcIjeVAD2W2xE;XFQIn&1tI z%@}PC@@i(zsslCDqrXIoXDBV%$&(PeQtXVJ`XQd77xkiam;Ob>nkv}6q`~(%(H|7Y zaGxvoN27gB&67AgC5xwMD&TUOJy%gP`<+r4vuK7?MVtpopw99EDFqvtTC}%zi<w_s zOw=r6o=2=(M`8@dPnVSIl^Uv^AY?P&jX;vMy8a?9O9uSJsU-#IT$LexR#q=+aYL)6 ze8HgRCaF%LyXIh{z2c4YIoilucN2-!H}6hpAtY#{WT=+zN%(-P#oFKzkSJ%K$(VHf zhZjsUqWv;(RvSmclDFAL1s7)rOMscv<@{gON*puFgLrX4N1Gd7pU!Qjf_iH$v$IZ3 z8Qb}}#=Of_sk=&~*f;wsM-Mqc^z54|JbH0cAjYztn*heXjkjUbyQ-fYuk|Ii9pk|v z;saB5;wr{*++3%W5%!u5C|;!KIU!kb#8a@yFFLcOD70T4j!X}Jq|Vv@j?N>SdCAt% zya*BarMLDN304U|StM`8wr=#?S>^0xoB<Q@7BcdwyewAnC~ji&r4m~%h>TFYovTjM ztv`O!K{cJ*QgC%Yy#%CO^pw9`(1Al}6Qm$x64-c>@1uxmRJOM%o1M*T$IqsqdY~NN z0Ev2jfE_b6kYQwA-(g1?^P`n4J#wo)QQlZR$v7nge?a8BvQoyZm$wT{2U*T*MeyVG z>p^#og%l;HH;>yB01?}oC#NLKr9wo{B%`;Qh;Nd(>ExdE9HX^JRXChkI^;4%GLng^ z;?01?B`U2+4vuN@l|RP^ezUNcnHvIa85l~~j>n+<Z_?3uD2)@BU1cko|9<p^n>Sw@ zzu-;^(rM`1bx~lY`10J~7rRQ&vOCP41)<PIsqr!;Hcv11gT(DcJ+7RH7o?j>fM^ zSc?#4>(`v^cksJOBC|;uRw{ae_$01-zeDs?9gE98p7UDas|u_di5|Oa_DWnEX#923 z<)Z$JWN=vE<`co&qjWWez`f%0^9js>TX!Rg8Gi|*r@Ufc=qT|dtx!DeQ|+c;dg|_; zkL{D}Czp0w^Z5@91Z};oNaWSOmN11!uGBq)u37$5^Xg>s`ZYTQ_BjADD@|>3N)$0y z^tP;8q@k0Tx7bm>o~ps(vs2CDMq=Jj9B<A|Zq}&~eV(m86(C?MYoorS-7jlt_NfdC zCN}+>SajVnYx`}|1P_c#2f?ywcCIJ<!+~nkWBke9qTy0G!z`70%?pt8Rm_|Ez32u) z`h`2NK5w2>DJG{fAf1Ujo2hQ6xcKV+;_nP$x?C`ULrQ5*wLKaRke)t|Mrg;XrMy%1 zqzX6AYvOK&wf@8^Rn0pBIAwA+-YHvs1|GI$lqbhSJyQJTX!F;~K~fKJ#Cbb8zK^%Y z^$Z9qCk?@GK;kU*v0C917dAU`va(>!z}Hp6dI%m!cJp$M|99kCUFq&sa?~KX>S0ss zk+DRvrmU=~GUf7x&BjNWw@IaH)n}vIrpGg1-pCf9)$N?2|KWqqWC%VbQw|b*mvVNF zE-htwmIfQ-!pC=)LDV6|_os?KkMUIYe<OGO`tM)05EcD>Dp^Vp{L!Ch?)60?9i<$# zUL+3*A}P_yK_~hCfR8u)?v1U?KXr}|g^O$U&IN}JTu*&;icy*<kVc|+d449qRqVoB z8QJuY=C;-S^|o5!fcZN<)hM#tAtRNSrY>z@{$4#Z9CPfr-?ae=TWQ2e|A>R}g_($X ziYKiuK4T+0Ht8Y1>fFA=Mm;7kt1R}l9EgEL61c9kyZelq^kTst>fDVxD40wf2U z^WTBC_6YU7iJa3u8u^n6B9y$4zVqV_i*-3bbY*<ZV9`H}myj2th!7FdSJUN8LHi4Y zKn(cgy={dY;R!~VQS^Qc_;EE@BFoUcZjTA!t{zo|^js$Zc9PqB-&pJY^WADt>22+R zAk)r%m-*)pAIbFsF%xMuV7%=mf;GrNp}~19TSbWX6ctA^0~@OSVWrGHAd-W%Ppk=y z0Pb|-Ui|IfCKcj41$-ojSEF%6$iR%rJI0%OGl)}8P_4^PF{__qD3lXy1-u47q3roX zRIwll>z`h|82?ap1&6O0O2AHw@2RUGSe#g5%~!lshph{TJy_;O11>%Pjtfwc5MhBT z+LwR2Dh(?AVc22p$-URd9!Y;lV7tas>fa^QRKt7FC`4|>=Oab@;|mlV2isgbb<feN zFL;H-f7_WD<BjOBF?K5)uSwE453Ulv*w?M|U&iY6s^0t`&K5nwt)KPw{by2bdb@M? zn2p)!I@$+V8Mt_Ho|jCcc24p4ns?*H(J7ZLfvT|a+&8w7a_ajQ_nwTzU~Q^!4F1i# zpgR+}3-d+j$n!YYV?+o9Z}wa=KRegxvTH75;~xs_UI_k~VYy{4Ob3j~AB`)$@D~XF zX)AAI^;d$gJ-a)58WBed2-eVHh9|tqzDVx}aSGbszu*hY6O;X04vsg{(RhIU&%7AS zQvOdJ`2X#~Ao^GF|A9OGf4a{8|LXqDJ1=&KjYNtP$Y3))ftl8hq2;nyv9(S9A8&^a z6rzjZ6j0<ocr|-M9C6In2Bmca3ibZ$3;$LGG<xU~J#IY*rR8A$Gxq+x_G<s3_5Xis zjJM)E|HZ9idz<*E{k18ZX3e)6*Ynq4_1o(<TS4~nJ+i(n|J=>tounq8J+6R3(`dqI zFZ^gPf|DoPM8^p`<FDF`9uo3+DY!H4YTZ4?JeM!<=m1q=|FGHASw)G!P7ouOd^`0K zaByRd#FX7M7C1<Fj!nA9wM#zwIo2B=H{$6{+dNLpVzZ)!MQVn0-PS-eY=C5!d-oaI zNuV=X9qS)yeFnwW%YjAvfIl7RFWUHw)mJ}7XLOGdDOZwMj!)5*T@iefl)$Jr{wnN{ z07`00Ly6QPHRd3>dqdM@A7Gz1c_H4v<2-sfa{Fjl+R56UdW>eNXo;NV;eNP_^AXm> zP0|x+O8U%%b}5U_+*zX{wUp1fwVlR9?h`V-RFF&dJ}->(0)c%yy7Z&W^Cx#}QpF%y z<Y)OEGe=DHg)ONw^Dh_wF;s~S0~sHN7bl65V>rzo4iTcH^)d^~(z2i=wv%44m?!#D zVG=A8^zz4-*?qre*OTQ3zEDpU&cmtl%=8M^c9W<}Fn#+w@36%*^MfUZ8o5y8HJcbz zqq_lgOud)-XSRy+<FqncOkmh8-%J_|B&e=Oea%#9X)V7yvTR$^{vdZjh`xbb(zd!X zpgtd%c?Gzq?5W{HDK$`PN;{g2LD-l<qb(JwEvc;ibN2MG-gRWliRXcVj}y80KTDZS z)}Dt-A^~v97e)HEgsH~Tu3Ss<6CyjBl$;J(sMYzQEsN?ri;74wIG)kaDm&(!8u;B$ z<L_P`Jaf>TK@~B(>3P_v|H^Kn_-_A~M2W>&w_Ze^1jlgkzY{Bd@dr)(EcwH#){ds_ zRZTXHf$STO<>r11-aCBt1hG||BN;0^*cZ~LyjqJ~jG+jpKU(y@1lV#JTU-U;_W#_u zTE;+8dOvpg=4@Y&JN9`^b!6Y&RmlhQC?s<|C5qM~E%rH*c<*(ryU?`C$>Vo+!O#B; z)Z9Q5LWnwFVfsJo|KD*N3;g#)T$|sKK?nObm`KYXiF)~=he3vXGw<~gw9{x47gc>N zS5yV8LQu_0gr!WBxr#NQP*BBV(d*~tnA9dX@*xA0Q4XhdmaMPv$&4yqsCkqE`x}82 z$lQ=Gg6>}O&CkuV_|fj|DwIhozD(JURSAH`hNj`1HO&$-h?~fODX_In8vBCkl;BM} ztDV>3Fa>X9{pr1yiB;RSPj9j{3dno3=82j6^J%~K8<uX1i2v%4__MbR?r#`}DX9y| zRIQ;olpm7kz2kwe5{t1?A1T-}w%hRu4=Q+tL&NrAAG@8@Om+-iu08XDVA(7Bncq(6 zc+-SX&%|_;g?)Vb{!M93U~M3XSnkYTy^M|7o6+_+nj(n1dG+#&NJvND&ez^4vs$g% z#o0Bu@B&x4P{Uw57$V~dJ%=q52*La_Yw~FP$>Q7JZ)Wp$nXKu|tF{aw;%MluwwQA- zZ&piC?Y8!dfDEd=Sh<qv`h3!zj#>tO^+2<cDHYCFB+A!kw|Vl+nJ?Jyz2sWBpYWe) zCBq^sMOD>d`(b~+wN+xANIPOOKen$va{9KrH})yAYgk>AyqNHF8eKfpFO-y&NZPY| z=7>}Kf+-B8C;!kaa8I^3F)J%vYt<M(s*bbAd_LL!>}|#Q^jBG5ALF4c3^JrwoK!#< zmO@bNB}7*+Y5%ges(SM1u*D<vk||M@pt~r2q#>xoahH2RAr4%z;0YU-3BuQe5>>gZ zFY@aaQ=Rm6Ee%VqO~`}G)VKuReO4K$H*?k);!NhGim%Tp0&@J*{9k<tBO=M5=y1%{ zD;G|joOfE#NB8RAKz?E>R`H!rz_-8|)-SjhF!C|<=bf;Zkb@{$X{27)kO9|tl^0)^ zddkk&z6cEZ^pia9arZkUCfRGUq_N~_VRS4n`EGsRQ<ulfkVPW9O~tzK`z`|>m8&+5 z<u!5H2>*O1HV4VW=p+_UxJ=;U6Y1KhRICIn0O)Uq<6Ijv&NTf5#y8hz`yzK!)JZ5Q zw_SX*iyH<E%A3{UhO-!d477a=FItMDI&l2(aK@}>Std3f=QrZ`qq_?C?YV2O+%VE3 z07c)4Vfofhx*(hWSjBblU$A@ao~rsJZ08(#dQe?8xglP`dhQBM`+q{_EAu$!?XR!Q z?AE+e8;KomXR$7@R|W}cQg58L+41tdiVXON#GB){VEn#;10-z0y_-JUA^{S1e9O^w zZZSiB%d}`)DNJHdWpB>Q(8IzoUpC~`Lixm7moKFdd*P<Dr;8_RSs^Kv*t63eUoGr- z+l&rz_+HyPARq$LpWWQ&=K^=@b@MuD{dqF`&IRLjoKk3amw(9s*Wb)$3Dy6S*-Y)H z{gM1|<#C@iIU0$4lh_b7E|*PKq)jpt*5S-g$R~N+>lv_MzLqwZF0lhmwJm+7h(eDa z-aWglL~pS=(2pR8l*~BOYNGJ>K0QIxgPH|j8yQmn*|S#!;Ok<7v+OE7j*EU)58$Ss zqU~HH&ye_MXG3l2w2+Xf-YCjSY2$KETlIGDWP}Umw((+C^u1f9Oi{vlYT?9j2ptY! z8MtUmNUuQpMl$gkcAsqna}`myjMd&vM+*?pV{X;Aw1=*Ch&jG|KPKlMT}X^Jntvpc zC&e}Ie$#g-g&YE3n?R<@bKO52D}r5cv~v9E!AJPj5mP}$>*@6ktf|B7r{YW7WbCv? zt`qu&Y}Ii_gY>us*@y^HW>DDur!(wS=wOw$h|rhRfMT!DiMS~eyJFh5C0?H&HMYNh zvCYr&vJglN6n0Y-aJLY^B#w_k4asKDZP75QI5msSlz3>BBmv##CcCP)A8sZe1MqJt z>iD&vlq0TJ?@|uhmBHJLH^F!!iw*zw^Kk_Oo0RM-;IoM@5<q-;pt#YJQD!LgXj-VJ ze_|-q1i|q4;sW-oCm32=zN3o2x3Z!pd^fI{7XyZCr785CteI2RO5#Z(?wrfWNB|ZM zEg*T9Z;{$=zkJ6-Nf;2}|9Hn=W!ACoQhpowdnzz&<z(Vy7ZcBoZ3btW*?_wFS3^0^ zDr2^Yh!Rak{2B^t`0Pl}&Jxw1fs~MUh7|v_7^|^-)ns#VDgz-%-WSzpbNoUOM$!<n z-Bc5*gJ$-d#vx$gXZ<PZaxtWF%y^AF7LTNb(rx8A)qC?#)Ks$W@8yJhF1l?;wv24H zJ_!{`ogG;XZnG@mnrj&YuPxlcXFOBq=vr2cVOkvoBd(Sy&L=leTym0SQ&zTX{jtMq zY<WdhG22fBebUi~4mlAc@`JG!s1&TOdisE(e5lH0Q|AMyVC1VHl{GN9xEh4xhxtmg z;EI^8j)SL(ZN;h|AUW(N<D3tDBJRBAvvC@5y6y&El<wMm3dw39X=q^4^Qqp)buo)_ z8;m5cKF3m_@<SQUNNYU|Q~)xMQCD?up1*P$P;S8Q+r5&0H8S$1Z0js-<!}EK<o^=a zeqx>a6PrwN^c!vL0mba>lLSU*7o6hg%!h(yT%RGjbL*s7*K9~7tu_IlV((bbKoITd z&5B2T;riNVzm+qN#Ub!cG#r^8Gi>u~jo_JE)~kKWK9nA|kqpIlmO>J;UHX^NiG0f% zwKZi%)@eV>E2y*K^+R`)Mq;N=Y3W1Pyu-BeHS7IETSkqyZ_upAb@OJAfiEjHs2lo| zZg43tEpX#cA1PT{8_zUI)rzAUyT&U8Oup{?AWAd)X_@u0N9suz7i|^!Kusx;K=o`| z#z+v~X?^<;_^^sOUV`RDj5#BHqkD<Y@FwJSbz}OsM$gc*H1I!PUwaRY;cUMd@Ya+5 zGg}bzMb$YEA@%+H<l%+?E8Mfskp5R>@k`~~zhD)^qJP6G99sW^RT5KK{uMncj1c`x zd0Sxf>|YVkB+vgRs-ql!LA8|zcwB`_o?LW4lH>#KyUPG8C);C3pz}3eV_&&8z<pPi zU<Vi2b94maclYS+3pC}$_pCd-1nA|?qnNh&_l2!g?pOYWm<DSe>t?XDv|LGe)tEI# z&NjFCn)=szDiQw^kKI6f#`!qxTQ-wF*L-)g28^?!3OsjCZEqTr_J{k1wNw=;+$pu* z?^C8`fzLiy5@~fLxNBbK+^Yxi-{Q{W=s>cL@OB&oeCj@?m|5AbEwgaWBCeMG<RUuq zkaAXPgF&VC8CUp=z{*eEN)(OdUz~-eWAj-fqvLl-PZ=W=$e(>F#>5rdx>Z0G6mUI; zSdWVs7UjYcQzofnV`I%XZL7)TNB;OtQN|6aGFuWY)l%OKLQ0L~pS*gX!F4jL^kt8h zE}EpgQlP0(Nunim<H-p=4?QYapfD)(6AIrCB1hs1;Z^PGvsanRKP)I!i+pHfbkNcU z)VZ9JDEJf^lUw~RKF(BJ1+V+|F_OeKva}gXh%0z4)4cSMS$pLh;&jE%>EaoZ1RKGf z)jdCt^N1fcy~4r3AYxS~q*y)DK)r^(8e-ofy^-j0bEvr`=K4G9=MFx6oBUQSHkL3p zX~kPf5?w-EECjN&iHaOT6>QcuSiUVW?y>Y<wDdmCjMl@$Y#g!9eNfom_(}XDB(V@` zF96bi(A-8GdrJLGUOw-f%h_XpjoAn?T35lug0Rk>>@VlkjthJDdr&m08g}}!O42yW zd9~k++nQTOncIi+`(|42ZvMP9j>x8D%24asyPwh4__H!MDPDuM{Hb35F&NC-XPaz{ zKEPPN)|i=k#=f#zVPNEo4V<uV3@FiP<(C4eqHvr$Y{B>xaS2J^<yGi$LllLWZT$K6 z*bU4~SsCKC({p3q9h_f4Xc6!MIY@%q)L}k_<7{7fl--reKRS2K>}JXQI+T8i{b9iQ zWjwS(EbZZr*z{z}H!@J~+Ds6B0OV>45h{dX<eo1nJaxQ+_-lUR72%O&r|8`GsYYDF zyq#MeM6=)<u7!<L$b~Rbrfvt%`hp_*(#rHzbDh;8%=A!_wbdhW$9mN|>qHX+YyVpD zwvXZ{Akt^4`mM>K(HBr+K7k=a{-kJB2-&%6<j~*cU|h_GlOosMDIcA3kBbu+Ce0C= z5hcUunKJXP>@q02OC!pS{n<Wop4oy;KPK{4Hzw4=E@f*0T>=Rh`%Q`vaz)0e8*?Df z3j3XI9X73yN%HCwTFiH6tpRy1f>*+4B)s>8f<Q6jYX_gug}o!OAvcGEX{x%i&1ZPr z{EO<<rr+N=uQmpw_MqGTevr^chf#6yQw`Xq4erbi&U6vRK386`9F98KT;Xd%>6*;T zv~(ElbS56G+F}+ozPU%1PDF*u)^mKDoZ%h4(fE8eES@@IgFfzO!fn>8n4Vt4rQe4& z_ZNUJ$azh|x-5&%==b~j^b~#ejIRs>0B`=zphE3bb;wb09&hZP-Iz!-lVX2dJzMJ$ zNt*2^xi=V%-Zx_x8PFE5#iHx>bPea@`<Te#&l6!;h?4}idOeyRXs9kct$z3F)#;Cw zQ)?|+-VT{%uu$R1m6p!M_C=E5bXYxh!gL_Ri3|HF<$ZFB^(S^s?1{1;G`A(p#;9>u zEZ{4~<EuDF@qMRXQX74Nq3fZzo0TgV_lGdld>K*?jOGUd78Fi2(-qj!ptO2O$4)1X zW$emc4{-6<gj~*8Va7G+x%oRW)#{(!dOHV46=}oTTu|I_q<{7XC_C{{>BXD%-UJG7 zH#?K^mw=BvdJLh^uwl8Qhnk@Fk5&=U8B{!nBq9N(M@VvFzc0QZE`R4KjvS8AD#mRT zr@~(So=+GS!dV?>Vt=fex0Ue3MsMy2aYlmli&&bjuaPp)vg8zAa0cM6AZBLS?xk8` zbfe>@9*?%Mi5Dd}F+aUfBZg4Wk|L-<ERc4>{>)=$FLY-ehfuW_>Y{m6O%}&boY97s z9T1V1jH@#UHWIrW&VRvNi{b@KSeW_?U~iI{_<hTbV**M{NsA|%5>g8|Hci5;M6-m4 zWw{8r^#PS>hXgY}#hU%E!UHNlfN*|yx_IUocbUpXU__JBK3U1%5zke(>zj3E3tYd| zcy}H1#PeP-1W^Aap(N(|IM~HA%ggs;VqTt=)8@i2cBMYLzCC%Vme$TgPU3MLGd;ib zQ?IA6!{F^0j@BAAoB?F96&dfBe*!2dsvckQ<kz_iWP#9LW=Q`PZVO5yg&R3$fcSnZ zOjcwV*P}`NSkKIPfQ+>zp)-8v%l~TZJiMCPwlz*s5NRSR9Tbp`ARr(mARVMjm#%<H zJM>O0ROw)VPz9;ddkGLiZz1#|p@|TBmC!=+g6G_E#~b6`H{SjS)*O4Sz2^LV-&%9K zqkiffoNmyE%@xF3*v|6VO#387a*Gf7Rx=IP!jv6~jI|d&jpLP}_{>c10CT-Ucb<&9 zC|6O_ra|3-u5C8X1-TpY&H<mgH#W$f8ALrLwE8SpMioi~yIL>M6D*83|H$`aHsxFf zVF8bc2>{Wr<$6YmICEJSf<6|D+@e|{$<WxCsCKZKqgv`-A^uStqv~r-(79y|UswrV z+ZUd(_AQbX8sl;~*;q!`TGv4#8f9NNd}4VcrZy=~PVRl%i7ZenAXNh&biVBIJQk5k z=JYjtk}1{H{Z?evQeocZe*X&2NnCVN6*s|jK5M@!=OVi3)SQoKfbhJ4yA0CN{mBVC zo)2?GGK9&N;(^{t{c&sB&AC2jJ8rk}Fy%vMwZ8WK82q3eHc*FJ2`)A#6qWZGAvOw7 zsFzzJ=DTxKm2UGfJFLE?2hi(Az*e55GA_OesWF^y<0$+H`_?;LV(|SvO}pA}`Kmfu z-Fk7+Ay@m#Y^V+Aod?X;J{8)o5pR$(;~4|~J<9f5EKLnu=!9FFTyMA{PMPbEOh4ac z+Df%FG!~AaE&|o5#a(4v&n$j2P~;l|o_N>WiHt_E3WDlLwObyoD-`3R(kh<6pBCTJ zHGTDTE^F0s@QmHNIh~b*0{rblwcfV3oS2Y3jIADU?KyCdI4l}X6;PI3BI!vh!oI(o z`qje90U{DhBgSy!QDw_C$JQnT*L>Ld9Z?32Vj6{Fw=j<r)6=4PFT8eiDq!TnmZdy% zL%$ZV$>^<2=1<Vuvp^jvI8;0|1Rrr4&-j2MV{en1Ivk3;&>@Ky1~8YxJDM#2m{7m? z%!7-z8MuB>I=w6vpWCcR;4t=#NGBm1SAH~2kOGT2V4{CS!1h2wK7QhqIG1Xqs2XdF z9RYlTU^shNZ@JWmICOGBBzqyBnwDn-mA~r2MPz}ED6ub$4jtF7$_M70Ir14lOBpbV z0uq;@-Z_xiki^;fm_mF`1UYJE`t1vSSL3lLB8IY*@AM;y-uPg0T@2#1XtC^XM3K$@ z7oxBSkUB?c?yjFA{U0d~i>v?E*`I(s8+9SLd-%M>iPaY>GV6R!su(R36q~?r4S_t) zeYRaqnL~~?N=^Z1Nu)B0GGv^COoC}koIdsH_{_AgqxDUjeC`{l{1;wojO~s*>5g{! zOQ4!*x@s@>YP$RSAITb^Ic+_O>%9Ui(m_HW7#^evKS&|Qq((}v<>&(x>@#i=%zdGI zdz-J7bRe+wW9#9lb|SYEuR^{*r@=Wp*=?Hks^Tw#)!+tAp<2H_msd%kZSj83jJ9<d zBkAOGq}kGF9=vQ>Os^)pb`JK)^mUeI;z7*OoNCV4-OZILlf=%^;qa%D=w(^nmN$%i z#VB9&n|lsU?@daxBbcn2rl`UP%0lNbzrePfG(DQvss``Pf-hcoQlFmX=G^9S;5sY# zV*BQ6oC&AOn5QDVr`#pMVxYP{_%Et$uC3>;2VEQ?(bvMJDYauXW`FK%i+F$?Gy3V7 z@6&wv(KEL-J81Z)Jh}rs{~0BOb(;sp$9Wzf;D1<4MhE;Ul$5<7^WrVr%A6H=(<j!d z>+gnFX_pOK<?qF+YK8|j$r_$^RiYudK(Bmyjcb)P<p1nSRoL#WV=Q8;JcPOK2q=P) zn+Bq+uq8t{L7@N3vc7IV?9Sr;G)`hLYRdq()$I7k-5bjYgZ^y|s||`_{zRsv^#4XB zod5h?N$o{yS9%HlQshP2*-x+OwWC!w-(gpd9BR^=LZ^q2N&bpnP(3LydbG;swu%Jc zWH)DQOaf`jBO$nO(a9F*YGiUAHzy!At1|{%;f2nBW|q|FxcJ32-lTG|^$1s+OIzWW zvEPQ9w+!flgW-;)30G^VJeCrK)AUyX+6+MZtbzllX;xoWWd^~%Prm<rJQ_uPG`L8z zL6U(HZA&wk^Ze0x@wqsUx+o#YGid`pOs!8$&8-&Btij}JIyc8r+x)g6P%gj&JZs8E z0PDK-wsSJs-%=@MRJD1U^UmgjJ3q(~Qvy~Ch}wLNA%ibAEFr#oJ9{r_<Nc1gPz@k| zNTw#4$^V>wH!dR>X6lundLBfv62h*H<!(!BX#rYESrpa-@mjlfj;^0NCYWw=bC!6* zE(Kb|;+Q$ao1HkXl4vk31<q_GF6ZGL_c;SO7M3%0DY)>o{2GpP*h-ks$o_?`{xq4F za{H^^Fuv0HML|j`#cmLGu0pSQ-d?O%<#=nqzOJQqF}6;-hbUTDafbqQk#W<gO{uKE zILy!)w-uzI5cCd*&kfvqMJ*ICLRNs*%4@5`dE{~yWM-c_x<J8X9B5|`o!+e;v<g*V z<$oO?;gc}?9P~(3eWD@8?o3#FlVpR_l8yEK`78vyX-8gi);AMtI3Tk!ssV<V@s+Pz z1P5gN$~y%v93GOne-_ZvIU=LrYIOg5RB2$5r!v_0I916n=ApFa0EPU+-j3h5hnFP3 zRo&Wc?jHC}d#{w5ZK(4<miXC0mb%-!LYkb!Gx(mavO&I*M#hreBf2+5nK_rP_m=Ap zIhX`CeXjEuq7+i}0|)qM<f*Fo9`k9<qL;moMUS`Wv4>JZdpbuhC2n4;6$-KlGr*9E z6_E%;Hn6IVXSYMdR5}K>ywDW;j@m-P_xwVT>i9BsrNvJai=B=`8K5a}9g8FoYV*pV z?Ti5<3;TctUKjVQSznYO5Uh_!UFqKsLt!((Hk<9sJ@{hO5de|Zrl&IYxC2ID*`Nro zFHRPy=8qC^4PI|@tOGc-0t<g+yE?<M(mEP$Dyk$Ap*}bPbba>#k~X<aWpI^RHv1CD zCK5GNY6k!Av3rrN%3b$o0ZsVp*m0^jaSZymJ+qR5tt0d{^R=d?opRNaV6LPljjff& zGxwh)a;Zex!gAltO&rifE2+oI^ibfs;G#pM+nJ}JgOIp^A7Tv-?%~7N{|_3lXY1<x zhB^00BcNi^!4Abao5|$s;SZ?$CpqmA7qn3?7m!X5s<&CXv<(d5mvW%j;nuxjrNj?Q ze1qO>>f>4)cF7t%mwK~Qj?~g60tj*M09MT7FcPi6ImZ?g!RkfE?T+QApvi5bn#uXL z&wss(ejQQ2S&K$iKQD@_6B~58*RJSk9pY=9z8z%<_;o#fNR@E61u_1g2?edY?wAii zH317fLc>!TceqW2^lHWbLIOV85R0z6F#a6Y2gqPDiea~Q%_3vAZyNTh&O|4)JPD=o z>zE#I;y7`x1K__6cek=|4e3E-oQDa0V{m4!oUWalf7&WvS73$T8<q8=c7K-ke*gr3 z3pdRlZW0(Vx(}f>KHd)4=U;JS%Wu$W6g?UB>47mJS)x{W1>N?rMBT(3bP#{G{f0f- zXezrt_!C^%g-9dj@z}S{JPt37>rB~&nzF~l&@|I~Rsxl6hS0G?<D4ujhjBl(T%kU* zCy~z*&Ppj&iHuQo;pX<Pu$ZseOrN;gzIVS{+aLL<2%IWIUVPP!ib<4d`;MCau+x<E zMM8A@gdsqmqiYsshG2#YYm*~H6GZm)msVT%Ot3}Z^UJKLNmRxORAg896D_qG%hS=X zjpy4l^7qs^dF*zNCNaxsdbC8gbl^Kb9Kp8@{A<f{@ZmCD1Oiw;xn^sRX49|EX=XKv zPhMrGN9D&seEfFaxD;o-dcr~ly9&|X@+sKP17GVg^|NmTqmz@$#>RAbqPcO4g7xUx zz`WvSxN&r^?44w;IFcLpGc;)3rYnuEkY;ahesc19w?HW4wP+Lk%}gpUh)S9L3!mXL zideh^f<nDYMYBub&7DD8%0f(Xe+90?X`#1$VzG(I%fjM}f9%aKlfl^#TgB+#p*g7! zYsT^Iw0i5qsYcv(&e)~C0?K4`5DQk>_J-v~LfBBa-6Hhi6_sgY`gDlK_W;;t_b}-r zRp=5AYeW1D@9JeFJ&lAxbrc)XL-~1Ix5<tN@+~JJp`V9evf=Thsd6fSk13`Tw;{Gb zeb<wj^si+=yyL&XD5roN<tGDIh!3Bc=OrQ(lDzJ|1rM-S$RQwDJ9WhbJB0=*Suk6K z*gAfYmY_?s9IZYS@xfLje^0C(#v!q%R|!I4%AZvl%o(YOHAT<3v&^wd$@kWwqSoJ^ z*B;7vq|fC+IHEBa=2sku0y{mvd%X3$`xfZSm->T;>uYCpo3r(?xPS$XGi#n3l3&Wk z5<H~yot-F%=AV5%Tf`kr{h7PncSgYDLSKw0MW^$NzDHF~pvo;swz*7|O;6Iie2r^I z>op?rDU}adz9Bi0HpzR;m+v<Z2n_m$hm&Moq@NYK2N8BG>)wE(4^xV4;FWsnV|)EI z$<k}Yho}Ws?StZJ=r}&ssG|mODbkL|&K6C5dynnf*ZNl2&);Gtbmlj<s`r4PP0-QK zvcH*M+#sdoM7r!p|4gZEXt8tg6&{!)K_LVC?F3=du(a0R%b{hPIN1IOneo(u6>Yk2 zcW2jqXdtA2CvGiqXAi5(zuIRpE%k(Z#;g%;B~^s6OTRdOzNRgSYibA|58OQ76DtGg zIC_O$1iS>Hm0oa;6Xy*{Hn7H4AH$jHERI(3(HIV21WmnN-J&G@Ydo;>BWgkrDD~^& z2|j@%G`2kW5HPlV!n-#^zmeC_CoJLP;01YC^uqzK%82GKeZUbc*yLt|?*xR=N;(&O zf+_eWvD6U7&iO{|)WaYB`0<Cad0o$gvtFh%tZ_r_tFB#R4<Rm_MzNpZn7=%?Yu6f) zY|e8xZe(J!b_Lopb>fRNOcEqfx9QdN2LhT-;CdtUgix`Ej9i}CVDYuLf2cFJysgv6 zwsPvi&tQs&q|Gl@D40~kmGM;5NOQ#Ylu8~UjIe^P9d8*UW8QkTmyC?=EGHTc8Zsk8 zqF3k`&kElmQq0*Py9B}h&2dm4euSu#*qM9h-G}Rh%uE-lG|3Ld2<2Ve(;|D1JIpsY z!_-&;U&`o(jgh$UIkoVczr4KC`il4&u<y!B^)x7Kk>_Ak4~fy;z-OO|HtYs}^f-8C z2h)Dl%W&}TUP3)f8r^fPY?JdYZ5jIA0-H$fUz(`sI!rgQW0DDO?j%uZNEsNAHS*9x z2YWycd|Q3p8Vf=(a?&jGti!qgI4(K=!Wnc;u5&^^%Z^qtO5~SQk`nHkPAk)$9TMFK z(At4DEFjW&B+KF-cj(>1h|BCBcgUx3Jy}#!$f@2O+j9IC1mgdhO41LBdyrn}B>i5? z?Q%Z6OmX;9=35>YtEh6MZBCbWop$Fc$Lk(pA}UY=f56L!btc*5NSr<kB>#rkchdrt z&Z2a^;P=6y3eHqUF@^vvc~ypT_W{l4bfrMu{$VyqW}n^Lrc3;>lR&O=`<$$@>#SNo zkc`^2PcGCUEZd37YyF%Ii;~dH$4c7^n^ZzEa*cM;`++k*hdXxdKdcUME`HIcp!`h} z)uoo^QZzd=DOmm7bZRQDoReqz7p*Jx|8ibzc5!CDqhbd7h=c7>f#Df~Dib*xiFWZ) zmK&fHb0EP-uE<8e(^R1lhD9cK6FydKeBi>N@oR36Y;G)RG$%#kr=EpF?KuI{Jsy`J z9-lT;(|>b*E}tR(I6uWm!sye-D=z$#CFCG^w`Ho6fklx-aWd}n$8MGU%2Ubrz^1KX zsPUW~D<!487you}q*8!OPoXg(JS~_oZpSCy-rm|!HKj*a$--sjo*XdyeVr;YLoXh` z*CuTFJdp(*_D4lyG8a|fcaXPXT#lPdI1XncwOiKQes&g=XCKr)zY>jvH;cc}Heqar zMm~JV@{TmG>TZf)9~05hxx=w<^MJq5wyMdCB}wQ?`=a`{5oFPy{6{&#_r67_UmXI* sKY7jzEq)&5hgQL7s}CoY$_H?ybyE81RV~U10{o+{tgTe8VEyrb0B=xjV*mgE literal 0 HcmV?d00001 -- GitLab