From 64c170f3a1ead5ddb30b9a734cdc97e893a6ed90 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Thu, 31 Aug 2017 16:27:51 +0200 Subject: [PATCH] Corrections --- poster/poster.pdf | Bin 154392 -> 155065 bytes poster/poster.tex | 14 +++++++------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/poster/poster.pdf b/poster/poster.pdf index 48ab576fc66e505121628d44caf1ab1fef327407..8f05dab2cba7df6deddc2e22e5ad2dc7614789c0 100644 GIT binary patch delta 62156 zcmX`RV{oAF4=!ALYumQDwcV|4?$*{*TU*<|D1E)d*+@==K7MEmEhnp4SEsM?ZZmS%^f()cqdWJKh0iJdJ*Gm? ziMZ=pWKfybODyHk`|pz5NITs#&{s#2h5JjReMsQsJ@()6)0+KI0K`=a?w68yBM!YC z5jDO_xn&7Cn>BM{b3w8ar(x!83|biv+`NNmDlR=$pd?qIq(KL6LFKN8EtDuE5}&da zwApUYou{{8X@>AFkv2{5w?Y!z4ucT0Leg0-sM6~Q6Oq7Y)S5p_meDw({uV-1+$<^L z8EWIcHiEuB(wDaj@V&QcGEuGnlMvVG5#^(zCVOf#R`4g$<_tclUEURDtN!GcTypI9 z+nt+qwxR*0asYWSu>n#9B0R4Y?aSKf*t49DjwXtQWSNZxQ!{)w4YKP)!n&SNSWt$` zDs;SSfMtk}P?}*Dx;aQG3W)wC-|qdCGbi4kE2`K~)wzmTfNP?qbhjkOLGPykM3cX^ zFoU*Rawy@)!Mx(v!^SqF`;Z(c6XIRl`d5V-S*UFJ9z)L0_c{0*EYdM7;N>XN!d_Uw z>g4<5YpCZvvgB*#UeNnKA8cTLh8)j+m8POJAx+c{{so+THhA9&FJrwcAo=UuxjQqa zJp-gX!K(%o7|3VS=APVn<3(IS4NhKF(B#23&LIfx3(%>gP>XjL#;YWCo&Ao4IzByL z&j5VB5NMYJ*VSGG2#dBG8{5Mvz2ifRQRTJh`V|8E88z=e%-HJ6o=OEsTo403_sss(q@V zSy2o?9SsQr29*c7&!5kp0uu&PNr`wJPV+#-FVy4^NH(S!H=DhM(t@OQ1&s>(Zka5v@)spX_%I3$fDO@&Z6WU2x@99HTHPVa0T zB5DlLDVoujig%ZTw8Pk8Y7>t)Frmf|S~z|s&^0kBeYL{A zpRxl!Cx2U$7sv}Gt?5Ur(ia~p114F{%k!=g78bt9w-GZ%N~1{pF1S4tegQ^j)?-QD zv(%8ty`~EVfBk&LLTFN1wPw-e^3XJepW!Iu(RO*mQS+=xAE@h=%u_vig+Q`ODe3pw zlVKhTR2zi*P}`AwC=;xeU^JCR)FLCmkbVjIClz~w-9Wb3NV^X;6jI^{$e9RRFH}-e zL7MsomutT<8sTQ-Ky3K`3Ih_1XxSmc!}m(S7c~-WUVHz_&^OuMhW#p1gDCHXtuhi9 z7An7h*tac4hF2N`D{cy)JE6%;AKm#vQ`=bxV#Vykg~vyxPg(su{*OTzgKCMX?LXP! zY-of3b5gw;q(DFtwjLIDYTxe-ukX)*f5win!*^8LJ zA`C3WOVjnsACb8Ck+9Ef(25qhb;l&|J{BSG-QHsa7ps%<74E;tRZ`yZhvS}=P=^Fz z!G=;X8P%|7D3g|o1r{{pbpFR8$p2WRCc2GNTJ|a3O~4)O9<;BWbTx=`4;aXn9|TI! zK+I`NiIFiH>nQi4A2sx&L&BCoShS?Y;F>d+h$F$?uTG0BucXt$D4Aeup@YB?=R(J( zs8=|KGb`mcVWZ3CK^ukS%inw}4+rp9YpbEVmx7@tK7s;5KBg|U!Mg%^nw!Zz3PVD*~7N2Xd>cYe?@b+fh861_= zF!qN^xtshXnC=v8sqRwCYI0f=Hnh(4zZ`t^(LvA=#AH-gqn0&E=@Y4umPZ#J^B^k@ z&lCX>%matj@_?&dI8CL*^m4*M9F)OOg1;8ha-lC1$rO*_|Dm>~FvCfFA*4aC)LLCWa{-1bIwWWn0vv*Nq^h5GF?Wp`HWc!W zLE>2Y_#djGc&iawOm1q+mY;0rDIksjyPU>{r`iErmnE-R*Q0`n`B|&ATCrqpeXTGu z-9N)T96n!^0W1CAhr&Js9vD+lgvjf@`HsI)}?Koh03xihTVcS6V;6y8xYG` ze8`U(wbs0mQ8C+V{XI~d2sA5;M*fnet#t1A(GZ`Wvppv*>H)e9S);Pa)V#yszzq7- zcLO&bJIM_1f*qA@|AHIA*Un$W(sx1|@7e!H&L+x6Ynpr>YJQOWFjZ!_tQGgwK<%G3 zix*qg_8Xr0yhdzVyLJpAn@^MXdH8%=&wNp?OZE}!jQW?S&vUB2Jm4*Y)>LHL>To$1 z)G1f-&$Imve$qf+-eUgIM4{TzSnU=)l^Dju)Z5x&f3?$#kdA%b`D`Kj^G^u8uWRQ;)Kr{WeNr z<)WTA1iq?}G}1Z9x75vR41CVp*Xfl55^ZRo4YgmtOaDePm5vKsdh*cS^Wwd9k7T zbUEX;kcK~(=mM;|RU{71bsgTh!9IVxfVUT1NG;c`67I{-8jrykqTf8@VY^MPmNbWM zuS&?wNQvww6zA2oX3XrJ)w3hVxnHQ;wt z>1NUdjt4ru3=?L$fZXNPYppw(zYa1%E6ig9FI^rnVsh!fH61h0!)n&H2YF;X9b*T) zHe%ik(SziH2;d=mfR;}BtJpNf=U4I4&x-gqHR%LB+2*xB7^p3{n@S3@vFq6tbDy@$ z6!yRFR+JZF|HdOF;8L<`7uJ!eO@vCPzQDk2ZS1_jReqkhHgeE6BVZ1d#YRJ&!`ov| zsx+3%vezc-$@^wjFVQIyz6$P-hcgbls~*_#Qylw-F}Qr!O{MJ>8S3$ye10FBn7U1% z)x;BJ_Tyr-r?I4zaO96@y5Xj*P2iQ}S=dT6sGTrJ@rV$4O4{{W!)_Q4A|Mk6WG<5( zV=ezWJ_nlG+mRR@S-tjPZ}^uA9~V#F+RNx*@F5lj%oZa?OzD#z$^d_i^os4qbm%V*Pv;ZtUG{Cn~u(LTeH+wVjsAD;wWA<4w*#jWl3aGbQ(HF{R_4uW%= zwioJ(xYFxI)i;NBRdLI`bSb)d()pNUP%}DUdvty}DVTFyiVdbQK-q%1Ls)xo40Kg6 zi*Cs+7icsHMXUeA=)#TeS>Naxe!br!gc7upt_c++jCL@8+T6|!_}u($IpV=X-AYX! zY(rI6N{-PPr|K^KjVbmxv(u;zQ)5i-jA-yExF;oiOe< zf>*hA7SoA|i@aP36%G@|xqqik#CGxXu#$Xv`>#wThET%hJVmT7HcDCQ#J_M++zH@2 zp;ZiByCRhdhbe~>zDODH0h}KDLegxJ*A0WsXmy5Kcd>rr)-CQ7Ka-zPScNgyl-xl# zsFcv$d2olfEcR2t`s7Go4@h6tQXc^sv?=k1sz8W1-L)eGVxWDj6N^IISF+Wwl}6t% za4_gt!@ejMgkDm!%kSzd%#78h9({$SjKd9s*pHlrtkLx}UVE7WV9Jw4XQTVEWhXL4 z;p8KcXz_*gC_!_|axik7<+* zW8rS8GNlTAh^#By6y}{9hRgmN$QkQmA1&A*{!m7~)!>cVgujzW=+O zq^#Hxsit}ckkbkUcyG9k{LMXq9<7#h2T90_KVj%u0YWu%+n@wg6_&qQ!FtZz3J6ci z<~feAjiOL+Q;w_&DHJ=^MLI(s*2g+U=BJ?C<~BU9aT&ciD%{qmdY-pD@w>R>^6k^1 zQH2Vf5w6kVKF#WigF3PBem|YdhtYo^Ks`LDttdqSc$M}Bt>JtSKc9!Tp??@KEy1d- z_eok&Y4=GQCB|$aCZunW9`&2K$RY$CLYMHT ztGnetz&+nSFmtDlc<{+2N~|U@N{q1pVRE7l4yz6R_&2Prc2G)&j72uwo3ezmd<+U) zh&cb>(k||T#P0hn9bJS+G9G!W&$&7e)5@p}9&k%TXtJ(V@n0=_H5#dC?Fb*@+ ziAAs{xjwp^wuMZie~48$R7Hj2rw%=ut25;RP!faEn)Na0h5|45N&#K(jt_d@TK;as zz(xbckifazF)V+L{#I81Wx;$pmH(z`o%j2tb9XmST~gzar(FruC406&P|0~xtb*a$ z8hl;)t1h+ZjX-uPkV7mPMLMuRKVekhs1Z|^DJfggbSzrQZ-M(V@s<`7orW| z6MC-n=5w~6#8mU8FM#c7dPg}t8LIK{Zxs$b^>^i^6)wNZ+OD1F-kxn<3UX(QSAD)| zW4AWFc}Y~YLDrh6-f|Xi{nzo!F6dXkE5tSd?Q+UQ)9#J};4ihiz zfcuV;xSrf{NxtiZP-Xzc#g<#_szHK^I1L_^ZA4n(D9ezT3X z;%sAelKkr^6{JA||31e6o%>_Nt-$?Ztb#`?l2n+}VV_q!Ort=#H@$e1XcR_Z$7xMA zV>jVuw@qwd2GEM@fdinaVWDosz$#hHFTSagZMi==lljJ+bAtpP5Z_c0 zYnN!)`AS^8x)|e|d1SqyV;ci%k^{ToXLAi90j)A#sL-n=OY{J1&sNg|u104hWZ6@M zn>G%g?~snO+%6|m6LAKrZQ!hP{O&0UQYY9zE2K@NjbG!uWcQTUQa)EGEKjv6D&pZ# zj1lk;uO)DWc=L$O|3mo5R?&yoKrxxC;MVkct;Iskk#@N|5G*7Z>Iq=*Jy*EN@ew6R z+2KK3uh{&%rE?i`VBLhLWDY>3AUHU76pyfbXbumI z)msa4P*;SP!}hT$su953Zxn_NA7StE^;%SoF7g=wW@b!VucMyE1Z znfbT)6mK_w`;ay+zmC2^NK=1HomK2(#i=)X{pJScq47_z4u(*YaWi2(F~og+7mFtR zn3{y0M{^v`G-Zb7B24cTecBq#E5*!p3dB^+=NNdJ!_%%@I7}cGXM<@ei_@s@(w8?U zL<>F__CccM?r3Q@STSX?%i7Edk>!1~i$I3!h6c-<|y&D!x z7P88?G^17i^Ec2;sF2(eDPTy<>AB?e8~Me4eV^byWSzSeV%-v;Z5~<8i5xY`1#dcP z!q1ThqIj6a!ES7k{fK|}5JPJcdc%Vn2o`F)$vg=$e^}LT1VZpju4c(O!IG^=ZO`#`;UTmm9w)g`Z0tlnOXSgF@)w#}4#iv6^_QJfYc@ z>^cX4X3LR#ehntoZwmcmEMsg=!Y+hbU*of9uJE{iBShX zv&4y41{%=8B-R$#lpE+)IUjg#iBK(?n^Unlu(u@I>C})sW)L0+Y(2DA zQcnGb_w~Tc40}9i{r@YlweHxu^+U5QfGe|+jh$k>?KF;}su2G3GL)wJWc2 zz~oh>-lGdGv_zCTK$2iLM&#pQt%pO=9E3{fmkj-5O`XqzCmo^$>69HojCRr@(-49E zn_`r;DT%*^-Q`k{AO6vJ<=@8EERB-Cysgy6n?7ucvIW)qXe?^eSf&AFG zL*7YEhU`~mMJ=S0U%sV#5?{l>YqTH?*aiv4($xtb9pA(pXXnZQxIorlzSO99t2x*M z)%{)1wUYIIOHee10TS2KIjka%ad%&W$m8Wh(g*`aQ|DtogP~sjwO#8#C&@-^OC9@R z+D)#qC=cp$?OTNaREib?mW!?~;5Ha)s&&8XIeQ?82*;0FY=Mf!r%AUnUH+rWE6tNb`+D2+x2+rSsU1t;?}BO}AQr?xPtOf*J#* z$Bj~)yR}{SULH~)R!2SI!)%QCeMzp$$CkpSBA&9N*#0rVnZ~JN_XlJX;M{iUM)!HG z(DO86b?%npo0Y|;_5#;p$cI|n;GbZ~o%%8|1KH`()8_Z`nt+elS&>q0g7`H~&r6r0MZza;?6u+4-SNtj zmx&H&B4k*;CW*H4@%8iqATCXPJG$TP*=p8QwiSM=G8oXZts0IuvtJ*|NB)X8yG>%E z@uE5GF!mtts=jq zp7GFHyHn9xyXJmmQM`*7Gql+(OHCo{x(eD(%+)PsDiCdQZ|`^)TL6bwM13yBa3@*9 z`6R^3z9Dz^7RaRi5ILI8B8(UdxzZ8cGj( zsqxn{Awzrv(Yptun$P1Jh#Je;-d$SlzpQT7auC~mR8E4CvR@r}bKdL(TEPSKV~2NF zQryd(UTMPJ?m^deS(VZTJGHLeLb2Jgk2rx8gbWq z-rWGVqQ}kmLq|+O<+tqksUv}^C*S&iiW|^H;nsx4P zQ+xk@r^V((ms}JhZm&rj1ej`4gJ zu&PxCXj{c7YRC35JO6a@`p^tZdxz7j_ktWkHcpHsXg-+xJAx$9$e zS^vn==AJ24*>LC|3e39mALjKXHrH|CduD;3-;{eC%iep*l3YRw)SrIkW4OUn1Oo$@ z?r)aJtb}H3|YC5X--~_f^24qwTjOfnB zf<{_9zNj{>ItDb<5G0kGYdN&Qh17FIhiRcJ zzve)QHgh8A8QZnX7o;G<`O1taglezh9+k!@?mlKuSPSy{-$4nK0i@fGTQk#uhE=WW zi*S3u_2=|6VJQ@NWgoI$2+t(iW{GU!uKTe5{uC+$3ur?O%4`J?oRJ-}EI0dSQvFcb ze;eyHEW#z;ptJzHZ(p+SL5(#w#m=AxtLT84Fid?tfQXp671(PwQ#PzKFqA2EzU|Mx zu!^X_dudXX^K>+r7B=F{z>|@RLEC|boqkzl>?1u0_E#P|@i;wHZ7(EOj}&L_T?u@f zs8z4Nch2F+`;7z~F%7H04T52zKz zmVD6*sr&abB;^aT578aTZ2po)Jaj_B5Hl+}>?yb(m^*UIN6lPzfcnc_^l0qCwLVpF z$c(fJ$$XY^iplgu=Ig{}>}RT8fCIY|hl$A4{}CMphQ0o5P+(J`xq<8>u$5vIpQZ$+ zy)W$on3E5LsVp{p9yEy<7m$P$wa{iMI~hXiH$z2e-O#50$;|4v!7*!rb?`S+$Q7?= zJ__isj*dKGEWtU8jXKzD@61PtX>}G}a_jzcbfDb9Wph7GTyd6AEHUinw1l5YE=eoN zmOLxNH!Wrv`+57Sj4!7HwnMoLyS_0F_ICh@uy+wJB3oCa4Mfi$Z@Wb}eH#{oH$Ltk z2Q`XsnOllCWYFBpC9T!90*e|!7cj(RluTp>{ibCkAI9-(fnyW33aRv3`#4wclnq!$ zSu9%h5`$v`sr)-G4+E5_>MmmSZ(YY=iHR4&hZOpq3b~c~;oFcho(R-Tq}gDy!tVfF zey{L}kN>u~JDw%)2$!+UqTkFS=gi$zN$Yhm-ejvW7DoUNGPAH@(;9P4n2p-+vS1E= zpWgg^3T=pc%p-lMs>X0Ub@^DVzOS3eM;*=WH3vHNNjyATE9I{jtn)qyY;U?8nh!$Q zV*T9+Kh;))o1Mr<*5>B!YoiD(1WDKg9MZbj)t8Xj!DkU*23A6 zm6(;4m6PlLscgjmKSIpP#>JiTj}DX;FjLi?YUhZ63`O3sB5v(~aC39B*|6H65Q^Jj z>|;RQ*hCHJ`0pLMZuvY(KmFX^=EI(yl(d-gRA0oE7cMUxC;ok82$pDH3(Zo?%z6)Y zaG(}_si)bBt?Gwa-8?)EqAp=>?kWZcr)-hSGCJO;KZy--0BP?}4;oQSY)=bt2c)Gz z{{6p9zjUwR}RaX`r*by0x(YvyRKs-P_1EXYb4~Hh$^mJhUrOL5 z>3n=EpYtF>e_+9Q?pRscIy%_2TigAx2{IY53I2TVmY7=|g4w&-H-iFxf?58}y+Dvd z6BqadY(2zRMensd=%`j2*rlFdPXamq*I^^LEUW_9y70Fw0zJfuoBTQu46f_f`)z4r zb#bRyof#jG-#fiBP6*M+)yxG69S|j4%?MHe{N6Fh#aZlu0Rzpio}TXU8vR~B{OI}f zC9gLK+Q}-QV`pIU{0(fen0RSm)$}yJ&X{HJu5@U&`RRVCp};V=)I)xmU*CDnR9<}7 zjlt7N$%a*wvyA#f&twa4fmX%{kd1;rC_Y?!_8U8Pg4miPg1{p|`{D2x?me03Bf7d8 zE-{An9HKRVokKXI{h)Z-m$&@1TK%%pUjVXlDM2)OaYaa7Dq=&naEE?_LZQQ z5pz%o&{R+%Dv;TMh4@pq4xsq3CGD^Uhd!{Tr67>3cVlG<^2Ejr5dt9g?7;2-1tqr7 z$gO$aj`it{;Eg`s;H_8s3VAb>!J9(<~HG@)0z1W`>27D-?6J+fJ2;i z9d7{rS9a3ZJcWvug7Aegei^ z>sb4hg2W$R%=sjQg#~ilGv{ZB^A*Xg`M&K8DyM?04U{{UJAYf4f5D=)aJeuy)VF}t zI@*IpWo1PRprrK$_Kx>~-k5{VG~&$e=SYJxv#jy?_0oVyYQ!=1ZuH^YKHEAvf}{ok z8DGKNpmL-DGM1n81JWK8bNHt)KM3XRx47;k2xYin7-TQ`D|8)bYT-ArJ#?EO%!cq6 z5}2D3@DkWdfc}l;5XeXUDO?Fcne;#C5y=>ux$IMT=dtWtc;^ZiKyK|g`X(i0X8j86 z)s_1qX2zQT7RNWtDGOw9xA^{J^xv;*cu$z=N1*)ugau&(_VEjJazDrFoerdv{9Z5) zW8>e(nIhP_-N{o47(8BUciUx--}WhDH82feK$K{HK=z?Cd?Q0m7@wY6!Zv=>f&FfH zgAd@*{)X(kTlo*gUHO9SbH4l%!enj}OycP+d)mqSo>0zARV)czDgi z9&%Gqy1hFKoF0_fOQtdI-d#p@LLfa5>&)2Z!uVAKmN`f82X}9waPo9-4<%?PcU;GS z0qhQLH6YBa)zU+(N&DPW43T+xiv^ML`~e?e_V6Z(s5=IK@=>Gy?Xf`p*=_yZCZ778 zDe!%dc!#78$-}n-!cjHZdu;#!!J~MAnN|GGX?+?X@GFR4ug}2S_dmbAnaf9w=CH89 zP%d!17eq6|cb~L+e@H0V>HT-2w&HJ3f|uhrP@?$n;ht+_5abh3c5&TQ7v@i7tWKN74$e^tsP>jp$gzS1>Mr1P#h(| z?7e+0QG!ws&h;CcG!)am9E!h6e?ONjgZ%eY(vq*NB=VS#@5#$OU1 zc`Krkp1#UXWIXZI#BQ3EuRvMm3 z!5^6J(A~_0Y|}vO^xUj=m7Y@}c(pW3c~-Qw=HhhP@fs`m7P?>VlvzEI zAk`pc)xYCq#-}!-*QDr1y9lErVhgzJe4SzV5vT7r@_3n0ttJE4g zuI@vp8+#d-S%l1a)wrUL1g_0(BdaoKRx4q=U@E4PDjAm$2(kz=hVZSfcx_`3F;I_g-zjcs@nZOLYK!*c#1C-sA~y4Slf@^SW@x* z4Bm+bxB7m1(#Va@SaXdh^uAL4IZI}L)eE=MM*I4t4}In)Hg=oD3PsgSnP#T1k9H1w;IlJ;~CQbgwiw2Tfh8ucf@e zxk9dF_-MM$JTVFei;R^Pm<`eCh>k}-x&f;U^t1^InRkt;ey#Ys;d7arcl>;HT>n?+ ziijPM*N3p{zI@cZmVHn+2{IrI6M6Q=od)`tBqNgkPe0JKU z(fzrtl`?UUa&PLl2<9H0JwF?nL*~)MaPI~T@p+3Coz(9#=zBm_Qo z8536A_DUDm3H^8{`6H^olm-zQ9@JH3m;p1&q_8^O`bVPr>~fYtFeV|N$zg9 zGCU7FMM?7}Mf;Dq2e;Pdaj(hfVs2P~{f{if@?oi8GRUaqU9Ijtwm%?8L=WuYjrJnM~$oF8Si;%)(*PC+6=tLSejrcPefe z7b^;gHVyiHI-ME|^Kh`CKG=T{@F%F3pv!o-@nN}D!!I$t`)D4|)JWCke6pWE?2Ki% zQE4B%6_3@;^TALEvGgccxwRvJ?GyOZvrAJZ?*O*GK5Y3Gyz0rb6MeW8&M?4QJ}K&PmV-jKd}V^I&-Y{z#B9QU7=KlXWTP33Fcn zv7ouTd$hm@_0Pc6XZnKukE~X$y#teo`abA1dZLZ;A1j7g0l~wa=VtvDuJyk+w|SRv zNUVr>+5@t9D0EQOu_`JTHKi8Mz(#iM;fFm_o2&rbpEKv_I7lt2Rc#o40QS*i!7DX< z;@pPLS|a`*Tb#F)PBDo)05AN`xuzq5j57s2tyXhsp2z?0Fc!I|dpCkQB#(g$CG3UY z^862K@qFQJkG}Y#I@5b365tJ$LznaxHL;7JwDn4#ZoVFvHyS6MOyE z(u)1J5o1ReWla}MT2FRfIvM=mmJFBv$d;MqsM+=#TSTX8-R{>KaO&4A1+cW*d?%fM9gR3f+(x931w|8l?4 zGzmj=Hn0jo4!R5tM-W%SwSREprs^CS0)1!n098*t%C(J95S9yxvL4}LKnoxJ2_w7u z#63N!~YDocLz(tOCCC8c`k(+5yZ>yP=F{|L~%yk}u?0p}*}< zZVR`Hda~KU$PyzFln`0@LX|P8ulno;OUq7_Z_kKRF-p3IjQQ=g`Xs;AyIYab_g(fl zbNWVrXHqkB3xd%&Vj|02Yb7n1c^)~2aAVvbyMfqu=%4Dqumxl<(zgfW^QuK}ql#v+ zPO-&w?@q2t0=R={NnN@xeogfphZG)8V*9*liRDh$et#NUC3a27qy2iWAl|!J+qke{ zyqKL&rZSR_W?StnxLO=jjYp4}#MR}X>U$8(;rG3OM~|n2>`EijJ=6F`&Fq>S>~xYU zU8u#geCZ3o8eI@`_=jC2BS1N?6rJ^N?(d z8RMi1pV-No_m;*T*R*aT1CSUVO)jNLg_w$5p1qcGO-l|>FxAObEKI74*q6z}IiLsk zz~2EMH+>x`9I|pQ{=<%{X3=so3672^Ig$n%C2toX!LK9wI#Yo!3m}IJJ@y;|St>qz zrhj|W!lkm`J*##lVX6r4Zb&)4g3kBCi5nG@UM(8sj;`A9Vc+v{tXLLBt7~ErZhr}a z3Ak*63%EuE9R7|bnw5)oIB(>$D*Hq#l{8G^F6uB&^=vySxIToXr5Hb_U4oKl-TJCY zAL0VvPJ$5MHYxB7g}sGYE-DqTpb&w|V&0W??OeaoVrx;~#%#xQwsf+<*H#phKMKG; zJ4TYVsF((&2eas(7e(Y4DLFzzY%~YDBH(k8(1y7K6T`IvI+7<=x^(sLwgV_6phew3 z{`R>3vd=B*3@Vgs^8ErUnE8P<@1Vi}pCt&uDMOSK+})+;;S>Lzyp7~^f`j~s0$zHxj06IB2&=h0)u!_OKy~F%P0fd4aRa+G8a`_vvmwvnDd~-r8EK5 z75ZyOgKfer7UySehr9+zwam2LW9>rq1|sGO^Jy5IKR01~x3f-fKeyJlW+w&X0OI@1 zpw3ObkQilS>UVU-NJTzd1d}>O)xm^-XBiPA?LH1&PQi%$cI|st6*RL$Wu4W*h?i=y zXVNWd-Y1S_r0E%bNwNmC2zB2z4bikGbJHU!u7x1tC9k(U(4`3z zFuL(bx&T8r*|kIi>ty22}DGv&VCa z>#B~C><7wt+qHF#iiG1PZlZj6%oA&CEiLLlvFYMpm7!c(-6K>;w7v{|?lgz)2$vDt zx)VFC&Et6r9A{CzAJ#Sci-iFHYkUa}X4zFJ7)EDu-u)DX^uJ$VVpw?!Tz=q6fID z(jFPjdm<|wd&eyWMr%|9yY<3rX&QA?uDwGeG~cuJ4@%TjF=Y299^e6%Fb={JOXg^N zK06no;(CFv%qsPrdJYlRwqhG?a`kGIp2+j{Fg3|H-2?-!Z$0qZP@eGXb=P*gvD<#h zAhwnpCe={h%B_ksj2yjX#@#HR_tJfs43Mcpu|{uo`=VWWb`*0;{Tkt-(U=bl>Iyw7 z?e^cX{<7=d_seTnvj+f@2hN;8k3HHoxBg{z+$JA&L$h`J+r|f z(EvF+(puSZb*E4x+|RKOT+FJ_qsS^0{CKwehD`_Yu8X|`*$dFJc~=;l^W_818UuLQ z$;t?Pon`Vb(Gm5ugWCbpQl|xX20SD$`X8Pd>*f=zjN2mru6|Yg-O_*-alVL9D#^2c z|NAqe`AP@3ey0NvDyW;i6PQSBZ_T);UWo=d(R8h)p>gyOJ6(9`kE0s+kvVON-@TqE zN;tCdBUN@wXpAn_ebNkynXnm=5ZDJ(#h)nD$I0Cydi zu!voccM`VZ`ErN`UoG?@bBm72XJOGmKP1e%^_!MUi4BzoH!rzclya|wD_eN`vRdV_%&CVxDJ_ekBN`mr`KG--Ws zO-y;a=e-}hI0rY^@fDt=+sUnI18oPUbXWl0Tv>*>No?H2|3@4yf6(NN6vlD1#5%XyjkZGszhogb%gsuI4M)jOk0{g|{}2-|

q!SZrR*k~(_fz=^w}4CUQr(ZmbiGAMQvdboOtLE zL%4VN2Irn7I!3pgPueSZb0DvZus*FM8L~y2z(6h{7afq5YXqORUwMA2c3%E-n4m#_WbsbaS)f=(_0g1IOZ$8Nj^~AzCbgSb5$jAs7_HI{4Zb9n zk`av;vAwN*?c!+%UuK_klc~9|DBqik(GzHvKC&8U0&}7v7kaQuIxc`~erj`#y4uQ} zsPQm=_mz$}ezBJ0oYTJj=&%epi~lPWN=Ksxqu%6?Iy9-WD^D3HPCsOGx7z;Gx?rsC zCi!Vb@&{g-r(5qiVU^7s{^q+i&RsH7$ts97#Dwciyv)tXH_k-b*du6nCn2W-)RNc$1~ndcJ%=z+o4(AL6c1xumeqW!`YMi%wX2vH=(&DB;0*5ko6aqI&I z^T!@C*D6bY3Nak#UhPF!(FEo*wn@9Xn8FBtG|<0c#05dgp!3q8ED=?8u-nzez28E#P~$hD@DKcCECt#vo6yJ)0GAodrtmat)I6Qao8>v zr4(#G1aMf2w)|-He<^YT#i08=CRIZ-*%+I?%%W(7}P zl7co8XWqWEwdeoPw~XA+dX?PHN~gUD;N2Dm$*KCBF7lKebLF4N;INeO&;F{sYgQPNl2xJ5 zmE!}M+~18{kZ?pM{q6ZCWm(`AsY17{9H8SGTt7LA=cr5#ETZ>~bhAz7O{?hQ1{C`% zY~;Kd4a$*x-91Dx3_Ut+U!E)64XGiN{ls<+TMcu^kp#32xw}L>p$+m96oc=|gSLHF zCeI{INSwRlNmOzV4-_xW`kf!=mmJ?xUd^0Ash-fQwfj@{b&sAF@17YhXoHBtIYo z>|73ZWs(*iW9_vpmq!J9I>Fj~f!6(4i3?j6EQj`QG7qM-hdho}-0{zB#aBm$I4)GLs|@S{C4zkpMg~r z5x!|~ks?G?fgqQn#flAR+Qoomdp4?@Q#ot&uJ6Nz34n1@!<3M^W)P=eJI)?EU4<8D zLXieqAyppE_Ndt=TRhEe?#eISs2Ib+?zg@X4g#A6^465#;3L_IDUu-7dTM~f-}6Xf zmqH~x$7Od6$UjMDvD^|trY~&b7R3qqe7K!^(uwavOLldtN))XvYt38T*Iw=#LO3YT zj8^+o>ijEG(essE6F765|4PM7zeq}rP{{)9-V|sye;*o97@u;>bNu#ImdK;_Nh6Fz z2DZl2Tk|Cd{@B7KBs}g3H<_=OPXwgp$Rmm2(9tz8^$d&^Rq zo!kD{dLB5!*xIy#9Z24Yh#f20Dl)sO#4(EM*&p$Rv$i=I99g=vb8An|lebZ^jC%$W z@QsZcLb3VV3EpPqx@|w%T0|^_940Lzt~1yBw9Wifm=JGS%??zB^ssdZ;BY#uXsBeJ zQ@`)^5HKPK-;48`uaV+GK7A-r$4&QDvaSPhz3|jD5(+<^BH9!cgShpnWaJFCMs*N} z{yzXjK)b)K0*6#rrPL*u5{cH~L(u4k-#RAcQ-8;)4(vZmt+#~1)y>`A^eSZ{z~_v^ zvVbU?#_U-ivFiC8+hNbm1Mzqtc-3JYTC4>}jK{*?+N2ZMSY8dER|i{bHtA}$QD|Qb z+I{%Ic@XzZV!k6IP<|#FTjeW%%1!xE-QKXLq=OXceT>qv^CwJ&q5s#{Z^0_D$x7{s zFn=8j*gQP?O;KkY1x-p8cqMOn@}`P^NSVu{TrF1hOC&Oddn07qj>6#K^1dpg>AdEI z(Nd_0eL!WylVDb<2$sw*3@1G()S4SSokAnzXpr^Acbw;i?S}lym09O&?Hru# zSX>?&Cdo5Ka{5-mj;!Dy^J0qAA$WdMoPW?fVYI;hI(P!c9{~V)w(1j;Bj_L{U&Q4ubxOIb0LNg# zEeC;Y*AvsMM{Bwvsb+FWM)8I7Q}q_(vvMmX5~9{+yDK08G`Vd8A|7`FCHE@cTYpGc z2^0Y-KN%b5VjkPw5CP3!860v$hlOU!Xml+xqaZkA_Zb{P4LHl%5;sMpmQe~f1ByLc z3T^YP@26NwZfd7x^Ag52_}Xb(|@g!-GpKE5$J%C zM8Pm)<6^31{z>r;ddEU!68(f~p_g}FHDs%#r4~k!k0RO+pk4K;2*c8lyB!;2TAyoa z)8%M-hQe_oxItU?WA`OYgHo0Xq^h*q;mz9?bjGX->j;eSJ|hX&Lzj>%p3l-kGS3^? zhZBO*QF%%sO;`7q#(z>l10T`5onv7wigWX>Ov69ZOX$os8@LI3FtVn04b>_Z2>=A` zp-WN6iC6F?JV>=i)J@^0{4}V`AUsarhZCb;DD(-lA|;m$H?*htzrpowdizsFH~{ki zVe=cru^E}^92p&C2C9>sncK$Xl2a6;EGWH zRRktye8%0W)nv|G_FDml@Eaxp$42p(u56k(!o79byv@h8(JhU3t7?T+>&k|&Ir&F# zN;iwjN3L0y`hQp$J&#U4rxpwpg~LWcQgA;Slf^R~{lxd*DK`wv$6S6xYKkgJJs!Q{ z$YW+qK{OVT05y9fFn$LRqx~e|Q-rF2Eu-xX4m%~Jue)iC7M4C;2+ms{xjHP z75nsCLZK=aZDLN&Vp~dGO{o}0lp1DYSE0gFuKE;ncHvFf&H->;XxjCIUO z{oo@usDCrNA3kuUaj%!U$B(5rE5)~~>e(2xlFo&lS&Z|rUmAO1(_P6k<(p$Eg%+a8 zVzgX2?N^IuCe^jF5duyx{jYe3)Xs}4!lfUg9&+tI&%W%U4_p>6^7!RZT8S^fxj|G3 z$|lEB&{Pf!;>$!20x2=n3>-`$Cpg(oGVm#z$VRYeKG2X5B2ZLhaatg6 za-DmkOt?OzGWBN`v(^j4HJ%C~znI)dR)2Q*39q!*wXjJYo%0VlnQKKyt51Uv1%5tI zGndkUW;-S3y|82==W%*GJ@af&dXyXDFR{9&V?6ka4A(-y$o`?9mr6I0a2P?iCw=hQ zmo}{VM zV&$7{@d_y*SPYrZc(U_D5J4(+assvO2LnPD->FKmZA*yP1)l;am4F!QWA74-OWG|) zO(t`Z!z9s_7zZKt?+t1s+0WYYXn!ifjCQJgG>)Hl1F>e(l(;wW@k+a@T2l|F>MOoB zF@OJvQMguCPk0F3zZb8SHPDPh3#T%@eij*JN|SZR5rJe;!dPwPJL;}|CcxC%bqYeB zUQrllf=RlTh?Y16GUa!V2QlI1EVc_Xu-Te;f9-Se|G^ZaXwx{yp?u0VNq@}AZup_U z6nWHBlR+%Uw;rCniX_H_B`7bvu8{O6n?6m$ z+c(ofldI$rdCiK_1)w!;v+|towwiPrB(1W_Qq}o>U#1YVyURedXn#87&<;HQzV!^rP^hX>ggz8dTL__(+7Zl7zR$zVtkDlJQH%S@r45tn`yUqWKWq5RL z6P2^!d{5|9AB-#!%YRwEGWe6%GKU~EWtju{5=2V6xEU7l`n6AI)j#9R(dhcEVpI2s zSybCrE8pvE)cj=cIUf2PkrxajIkp@PyLLg%`fj5i+H#y~XFKDS?yxdc!NO=?JFV-^ zCud$nv#7>-o!&v;b$vTrR~FpBo^)z!P~QHR0JX5qNfw8QK1Oyz>n^>mSFx4dG}6U{>i+yyAUZ_s_BYh`>By>)SNfokFH;>Pe zg;hH;wMa&N$94D9pLm&Mx6l9CNjl|FqaMXe!1xlrTO$b-0XHb34o|!FCp2C{dQPYz zm)h|vG9kVk9e;Pl_mr+A7w%bD`N&U)`cb??sH;)!UU$pm13?E~kM*rLSHj|wLzEux*srgjM%r>@{+8=)HM z{1fGfjtX&mdx)A0+jQ~TA&Fp#3Ta6L6bG|bVOWZgr*?g#eNs}`m~E^w#yQB>HTR=2u2 z@C}-#0l4%&`?-mi#Yc38u1EDNC{91}eRN0-#s!q%!aqrf`! zt6MwwzDb#p^#=fq&!hUJU`ucXK;8}NPB7bRQ-2#@-ld#)ze(vwG<4~}a9s&gpAIB?B;6(vq#Imlx6ITb z#$~o!MC$(Cdaw+jgovP-Z48mJPs?SD%a7~~;nH=1-#-&=6k>5{Yg(s8OZ8mbE&5dB zcz+vfYL8*Uf111=M-ov=ro0Nuo$^oUiws+Y+S)v?w6Xl9UiVq2m6^$io9RqXHac=7 z1L@8~WH%~s&jnWM9c`TAUL#i ztbns&yKu;kBQRWQKMQ;8hX3-rsY%|9et*M?m$AD2NR}~htgq6sdg0+|kxob;(b9(O zChNwoswh(qyREzgW0wyVI|dQ6G{+t3!E`oY@Nunz;7zwu?qtq!pQ#~z{GQ8aAtR0R ztHCeOrVwEt{i5|(H^<=jcV-+5z00!2HLHBz6*KBmrZ@MY4Z-Y`vYgMmeG+wUl7EMu zXzApt@M)5p8+K1Bx!A*VL0BATPfyk=8|<=@-cN{Qi&6%7Ljv)q_2fS_iVNS-i{T7z zMm>A(`XBKi05Z$g-iifnf6{L)p=kg{`Zsr~dY$wa(KSx9sBnvVN8<6hxE(@VOyIez z9JT?=a(dC9_FD>)8#2=oDIT=1_lQ$3pKm|whP$Itd|dQEe(K1xsnXykoBA3@LuL6%LXS;i)_=?SBHdhy z01dDipkY7?pJ5R<<{|kO8x4XOvzki|)G3)Uez8vvDR{qWEkT_pGFdQ3GgKPDJUnS3 z@Zdx1=can*ebtPtZRS()?(_^*V%j^?%QJ4GWqw=O#&O_tV)9Nhh1+?b?@veD{w^@PF>RF&UJy>hJ@n zY32wJfJTIKM9{BKv4F# z=DSBy6Di&=p-4UtemFeX;gbw$J8QbSH-3X%^Ok1?SD%RA1s!iI?3OiXx~%}!z7tCNS`2Q_7CIQl_<wQ1`U-ki@A%_yw00 zlh#fqB>fra!v@isRUqpoOd;Dm04kga;7T7vUG#-2AWCX_rZ?CIT&Aj zWJd+WBM>slA%E6bWgPE|V{g%a;Yu+#SuzGDCb8`7me8kS7VEmALc!$rPG`5@h(90r zT7S4eH52P`M@X|PLP1@Uof(5Sv!ZT>;*wswn(vJ(d|4yMy`6cp|ENMj)cb**srR@) z!6vK|TXzpFj|~Rtl4o5f%jYK=rHV|cPrVOW?2W3gQGeeeJ((EMuP{dB_w1+#G_alN zn)TWtc})bLpDF0nFpqZ~2|qDf7wQi}lYT$`MrC8#0#qK|Pn<^(u4neF+!|Z0805fn zWSxeNs}SYk4zs)SGb~MuyK?R0%!wk7)ROZq2(~fhO67&Tr^!#F@6a?lG#SSz`#FI5 zgCkaWqJI_M1ZZ|)t8i4_M2E5Qa(=p?1JMCLNHjeO7 z-S5U;5lPo-(ipkvW+fknB1aF+8f!b335Kk-Sfg+(avE^QbuhCKH1H_*u=laPUe!SC zUCqS9@dUsi2v8Uh?+xWs+fz)r2wXJn3oLQNt5(4vaDEADox?KmHlJ?^S^@3KtkUOv zUw@2^<7F)~<-kM8?oiX^;u`LF4VdPV@H7h|bokJfJ)PX1{!w$kLU4si4y|_htR`?l zqBXtreA~@~So`RHZT?Qb0UIfc;2p(*1M3DE)`o53X!V1sPN5DlWHAQ3v#T;!%SW-# zam-!#&9cy=0U;2||9%s6)j@aHIyA`6AAihjdA=;b(Agu&@V9wU7tzs=N9o+$Bsp52 zX)#hxo=Ro?)5Z`)>5%$L>p3V0SLeu~vr8GC49b&7SQd_|(#+o;} zL|z1bqYUr$X-abn$!?R*`-V+&hF-I>iQ?tvzufyi^*8!WXmy>zGq9h8Bqn6UTz|e; zGWB0;GWs0v?MQ`q^)b#X(~WHWsL+Xd`-T*m;xRh@euhcpxGwviuE6gKNlyJOG#i4a|mTKh2HS$*h(hqwjfdJz?wiQ>x#5ki%UxF{p# zJ}b95FAh~%(^xxol|tL=oqwv>bv35P>BcYNa9Ah|C}_r~1x{af&paUt3PLJOeWDVa&c66JE%bxc7HRN*p}9kMI37L zA@E4 z_u*Je4!wq0f=W6}R#W;p0f;Gljx&y;GUb$9ocxsE&wZNAe~?xA-f|jGauY#pjdEel zE&z|7Dhz1VDl~GBPk+~e8sd?t9=@M$T4>v~a@sYgyyVraIX@-;36t}?<(yeFwalp=Z75NnD;8RYiQW8Y0+&GDy=}(O` z*|hk49q3a7@o%?(6(6V# zhMuf+(16e(uWBj#-o(7;UXV*iDf(=!_>`83m$ojt|}J%bvu zz&xjACD(_xq=KLP61m4)|rKzKE01>L}irwk_8YUp@cZ8#N}*8hQCsOjK5pFJ;7f;-YwwuM@I;Z z!4-{|u&A)*DGLdKdcPmen|tPf_z`K8=~rtkPSdC5IKRoK+2$(mP_NvMmQ=!u zh4@Jsw~jS`T7`$B`KX^0uA++}2gRoel2y8%p?Zu7s*h%3@6P_}jF9P6ic8B6%V|p0`VqyGU z_n*I&XMP7c)DH^tUE&<{8D!~F$SB-|V`hf*>StKISdz41yh|d1{*r`nw>2zI*<0Qe zfq&HGKK_2yrYCZhm0-&hE54poY1~Q_l6pJ-BP?{sdtn??a*U@5NP8cP;;JCg1>^mI z2^ivi=8~UO%q6pl9#S9&b`E%k>egS$+JLY%jLgtT#Lc zEKDr5Vk{_w(_+(8SKb$HN$JAqpc&h|BY%BT6*)XbSH@9hgh>mtalZ#CfAb-2{mf#3 z!&~u0O5S?!AM6o}qL0qLxs;CGa=oHyIBPS)`eF%LoyIn56h)%2ptk-YjSVid3)Luz z@aJB~H=^tQ5KV6KT5?`$k2>;=v|cqvHJLQ_ZtTvo<&ZOU2B#5J7PB)liD5n=zkgJ` zSIcL5xfXK=jH*!#sTr<irfSM3;=#ispG);%a9Zd8R5nKK%VUZ%2}-fH)qJn!Ri{ zL~mCONXLfDYCm2nQ5{^t$jw*Pn18lOBU57A=}1>_wLLTHY;mO6!_u2PKHAYmqGd^u?@q$vJdBA^naW!^MVolNo+>BPK`ZODqQ6E!5|a!Sz(jQYUGIsLt0>d?bfKS3Ek z;D%miq0=FqQgi2%-I29xcfFP6nj+C7N;G3;;!kLcS*}rdw<-}(fL+<$Tdtt zU&-wm?r^`S_pU5=(2u)dzoO2EKB4GQyez_qeJNV0HNGox!me9lwnx3#9!qxL)G7F&CruyevsPD-}`n5ioG7?#d6boKoAp zDqO-e=D#t}_!7~o>VJ=3W%q_fMHUltffW1}-Lx;pPFFTw(8kQ*$$eSmb|!RQ{gPm} zj7wyycibdK>Mju}W3_1|MItl~<4s|mMh}q;-#i2eck|Mwa(G<~Z`)aw?#S{&xnawD3#qLro)AaZVtFcYT}YM} z)}onj;tWf?!b95f_hS=)R$&%FI71W&)%43XzwnS%aDOQgXOz$!E{@fp1#+YF*A-}p z_YXF*r?7vzVyoqkgc~j#m4@JE6RPFDk>K)B5dI)ZXDU3)RZeyEW56o8Sx>tKb807L zpU#J;`TVYqmV)4B@9$OtX&x_u)k$Qsexn>|`~(NlS~yZ6A|zqqmc9Hrt$ zid_zfDmCDBcHwcnI{5BE3|EW_@vAd5gGXbHsq^=x(i6HP3>K9u4h*v`E3z+4km3ETCE=^QUwLzD2 z=*$ytQG;<~V!#$mHg*%zfwf2rZ+}hnwrH^H$u|KGi&=-A%7uLg4^{e8hEHyHADx&7 z5r0@~%9{inT=zx3m+8ciySE&(sSJJg#KmjXNNs0Y^Qrq`7vD^}B>cJjM+uFn^& z${fuRBRyiI2@^a--<(9@s9Q*zj$nX>YnVKHHfInB&N_cCn@w|P(%I5jGfW2VIziA`hWSl z>rS*H_vl$xYj*^)KGP*vzOyE*5z^m!{mQB<-s-1LpG&ygEsR@4x@^1{6hH-SCB~GsN6OiEHI5y`=aV^_g`pbTt z2%^OdQb%gIbk|i~%aXt+AP!3u%J`}lImbqhri?kLH~(<7FY!^_{TR=Oge3ol3Zopc zZFCo6&0S+fUNP34H|ecf$i0eVZ^UpfML`F;UDp-zRg4FHavs!<@zJQ${eOGiZOh=N z&d_I(1vWRS73t&z@)*8Z8ygcTd98zlSXahqZl6+SVw-nFG>LXiRXaphy(n6tPusJ1 zJl`!zZX5RzOJ?1I)fl>c?73wD%bo#@3T9TxJv|lS1{bR1`q^dp$i;0|J)ZbPdej5j z5e&vPpTE`UnNdmYv&d-?^?!IDX1P3xmg!2xKwDv0q6$?XAM3aleQ1qk!;$j&hvSuUX(#0^KKQ!+QD5`-hO^3Et~lcbL#Bc#A0Z&HCc2nX9Ict?3Au z*Yt|*7u)VP)>e5dqY$t9S2bE3*S9^@Kpxj%jtMvTa7ETD+QX}W+ek$6!GE*j{+rn#e!AC0b_NSlQ-8$#2~3xI86%OyT*;59 z7qzjE;!$`x)etbYm8cCf&M6mK4t!m`=F0uHdA&7FZcIyF0_u1a2yf;(YNwrtm;K&zC|>+!aG2l zdp8NSM94uei}peVyO=|Il_H=O)Erpc;0IJ#{#@a75sSf%sq-N|O0IQ2G^fEJ&gK+H zMCA(C9)ImYO>d+M?4F7}SDfs3H~HDjg*CGEp?DVJCVy_M*|m|m9WN36y&3*4bwb*_NuGODt%1T(FznxITeYMxd!MF-!-S;9q?gOOO9LmrUSR}lu{u5zkz*4Hm| zSGigh)42Cb9Wen{j5V#$sM*xrVSzP8uGI|R&vHiFqd3xO?WEQhdf0DLnqdGgqZ2N; zMj3?DB2B)r?5^b-K9bcFO`Ns=MM;DG5c#MA8Ak z!FlJ~-vsw{4kqo{mtbBbYkq`k+~(D9BiHgd8zPeJ%g~+=sZy6Rfe(289@;B z#eWb%b~PnxI=!m`MfC$7F`0(yI-n#%nBbX$IM}bY#sWLBlGJ&ro5I23{c8PR*?y|F z6qRU|+D2QF*z}#gR;50~w~UkT-01cb$gbmixGGjzFDLvb@zkAP^t-^}VljYt3b5sl zG*I$`3OWRv-^S^^|0#<|0QOiQNhAObD}Oaaj$=PDom}^m-E24isMMcBVkNYLTOKI{y44MiZ9$buiU;jBX8T-qF+D`4R=5l_Sp>u?37CP*A%9h#@EH1U1MKy)oQsQEjN_*iF#E06kd zXQQ4sgF5}RyRMB)v9T%@h?y60YE+R9ar{4fAlH&Z4J&r?!oFQ>O}Oa3_HB4ax#|S07gH8 zN9A9RoU0CJfi@={&k&`A5k!d8!k+&fGp`OgWAE9Lj>7^hQ2)+AuhC=pw12f3n_&*L z9+eDOtd#SQb6gkSIIYq8KpEl3i;Q+xJu=Q%*;ja&deMJum`<^LjdOrFXOmdOU4v{G zlc7dDmalT0b+x)Z{bk~*fdy&^K82FJ0Z2WK$Zv-#&&f)0vwv;HxjWi1OhISD zRs(V^`0<|`Pfwq;fIhEul79=YxR{9t7bypAbx3J%s?vSJ)i> z(z<-@Ogvp7z6iT{DxAf)Lou)?xM?vUSX9U61S1|kVbOBvdS*UQ*#1dT2{*h+34~sk zT|oMC^_t=<$En_w$k)&~d}FLI!_0Bfwy3-PmOPR*A5CprXd7XglAuaMGOm3C1!SP_bgPrJEoPD)kN>tHJXBfegA|%Ae@`TbA(v0Z zq5v;rJP4!f-y;6{M{APNuyOT604BH#V+&T0+ZhHDJ(Ql$=r4Ow+)`)80(>rUr;45~=9cT%ot?W1eX+7}pg#{C5iiucNUs4$Bpu*ih zUve^$IAy~!)Q*Awko53%^``QgCPt!Ym2rqZTwdjY48-Ld=UL^H^pIE;iQZDH+iRYWRfbYhZ*L~RcH0aC6)c$OiWjvobNcKiv8;$rJ|YukSYxL}ocOLUZsgPZQw*25doe6dDNqT}QGNfx|X zH7!CnA)CfM(2J&KmjXrl2Ahi+g7SuZf8gXC<;n9$oqxe)#vh%gwQ#gW6RGtuiDXk8 zXgTv5eK=VUL`V;kXZ2uuXw(e2+sWY4tD*_O0W)b=hsX& zK`&uT!+1%pFa)}Z(QEEmb@$i9J2X}*TK5O0-NYZ5FVhNjw+1MGTNeoZ28G3SM4c(M z8!#146@LwQB!I8YVDgnw^P2uY`q5%GgeYCwfyKfXXBV0qW8@C5I4QqO5KhV=-pk<$oE7uuO&(h^K<+L@!Cbxrov z14TcShi>@$iJxWXZD=U$gChMFvbvEg6QT;(nZ;S@;3MOM6 zf6PTE5T6%tli>Szz*xK!0X~$JEZq3w4eVUhX=ho>0vS{V?FadXOpO+L?N*Pib{i}c zA+=N)G1AR6nd{aQ+$f=xui8ryH-$6aW3nou5_C0k z^+FyN&!TnN^>jbBobh3{I)<2`4OA!GfJuLs^15dV;)Hq)soABqsq=@=-7~2LbR1eu|^Z1;3jeVHxJCd;Tz2%QuhyJ=S z$@ZU-^D#D-@wXmiLP)+9@zR;06=&OWL@dW$ohxPY?s~jSmaDBS^-2Hbi+}z9U)YsQ z3rd1B!CwcW0Td!gCu@FBi6nIlgJJ!#`ZAA{CpMiVRd!qd*dv_|vwDLBUZ#d2OBB3A zuHACBYmNVPeFX%J&xYB;P(Ca4h$D5iGVW_`>hHT}h&S@ZOF(b#a$HgbyDixHPNp`zh7%?ccw;h8S&v&XKfIuqghqD+h%>S0f(q)49iPzYgO$Xne0n>()I1?6u0&U z0%ZVBNBL`Ex(|ryl|+| zV|%L?R4ZNGq+4N9Hh*rQFT79Vit~LIGGDopo$ib%NOW9Fs5vcT?UDpbfZ*4mH7$KY zbZ2`IGQp+{T!4OaZ^qAD zr#bf*nzRx}Re=2y1V3xdPVx3v`YF&_#4#*S*6iA`TfXlYL4R;WQLq&!YnhJTY88q{ z4l*40<9*vb?D4-VM-p_WM?@jq1A@N3%#vVC$dWq6kk@`$Nw)niq<1(-KOnm5zzPc4 zqt#r>SH~7`Cn}-&&V6|hl`MRSkYjA#{X;(2{){ZE2-GBC%r9VbL_{O5wFB#{Q3|N*_g9h<$jZgaI`8$cXhbG*J7iUsR*qUCk z5t4rY-hEqn2TcV#3GL}|g;)uMukgw{4N0O6E*xUT^EV8g74%WpL|rTu2=0pwbRc03 z=?&Gk=X$Zcz;stkW0t$^^RdAxs}C=4n#S@Tmv>k&sDCLa4O47fyG>idxah0Ey|Kd(R|;CsJ3#=A}dK9p5QK{|#Ln#rWB&$E>O5il{%Lmnj}IoOun z;m6qA;~tKuLotIG05axlxB^Z!9KCMGm{)j+i~J=Q5Y3)@k&1$X+8*+RuMOUha~?T> z-df6Q)qgHy3UBP(&t;H1lJ?5F1YA|cM(A>km+>Lq%}d~$HeH9ku0Ed)ZK4s}+3ZG84U&<3qL)!sRg8oeqXvYJtY#>S^ejED-UPNx62 zB&GO2D^As{)tB`S-ezGCZD!LSOHU)Q-w59^eSbri!pB8}F7UNRH|`1@1CbY>*_B7T zYdu727i2E#?TgQ~_7l}8PnT~~LY-Y|^(#+nQJ=Rvq8mIVvyLwihYRkUGwq~Al z)qxOR&ooZeSNKNvOZdB+kZgw0n`yt(!fRx*yPV)FCp&up&}a)uc;mq?3bRYK zVeOMzWy87eLBiOUM~pWtjW#Z>cckO4a(}3HC1DUR#U4SlXOI&{u+Iv45*U@v+zw#x zPNhN_BORG>h)lB+#!OcSyEXeSdAy~`=D#c>fV!lEg?`ie@gnEHO=t5@xW1I1%u56= zB7mI%KMHXfc{?rD!On)AD z@`vlW^m|)CmnT2FEzgI-L=gP7fLQjImr6%EEC+eSkfQu4uc$(JmtoaB;$mu8s>Jp4P=Q^sDL8Qwg) z@KYq@Z<@ijv3~34h3c&NI2IoE1Apm6j02#fagMc)rW|Zu1RX!d-m;B`17pK9Bn(`F=grXPf|+-eRas#{O@RGlLF#=Ab%3Of72mi zfbYIW2gKv)D#MwpTYxR0c2{vWWqe7#Rm)9%`SDd|tSL?yBZm;nuV`19Z`MQXWQiAR zrLNc+Lo*I8@B$F%UnqalXblj4zdf2w@5tui28kpS@Vj0u3=;nk3M;9|8d%e@yAIfU zk+g{+akF(e#4+;$wr(kJek$#)z^xfyU{kEc!2eqKdrlNZjT>KS*gbH{S(%XT8T2AX*h^`+o#!qBL#2lH7Ep{a;?YFOEbXvx)k@PpB=3SXoe@kB z72bJ4CL|moT3T}|1fd~W@;I6TYG1#Ksecn^v!=~ z`(x5Be;2cNxqo}^!*1>bkY0LJJaECBG4!2poXP*2)}w~d+frWCcrFLU_s{o8pH=wO zWu9HBO<7vWB=AA0qfey~UzLl|abvKS2Z0I(4mqno$!U(ozbxVxl@T>JfK{LRrC`f+ zvaD63OX)CjQalMaW8deX?zoYZ)Wk9lVTLm6>(E;qxPQQUlb8(OEK@hd_0Pzryia#z zva&sCyMHYLAl)gzDn!xRPeuWW%49U>nd$#iWs~v?;!RIR$)Rc318J?t8_?g36uFul zYwHO{E}BEF1Ig}G7ty+@>@gq8q?$Q;p*%O8pY72uN)h3H463N#!6?N_K5&BJ4aKD3 z^Z;vH?|<%ofsK(Pfq{j0Pf z&CI=jx5XTqPikwB74rNA5D6dd#_2waZQhY@238Lsz6ySSEb%UncpHt70z`5A09cvT zL8Tz_#G>pe;5K+|d5!q<2xNelaiEJQ@e3w(>3_jKs$z3tv`q;9+@-&;=QAZ$#RODD z!3w)A9Ww<_nKZjquYGs{%i1B1uCF{DdJ$-u9F!=%jK!tRSep7AtJ|Umc)~ zRDXvNq~P+VyD4d>*7y&JoTo&CL3AkyR+)R)b*$GKN?X zXIzDG_6^UJY}=DpnpBk$LQ4_MccP$oc{+c?T3Tt@Ugsf>dM@* z#*)t|ruIW^{0?;VJ1wb9K&R}hQl^t+s0`3L3^1%1i<<<>$f%SN9koHtS=}dxQF@C#`-!_EmLN7jH zb!%6H?~pj+H58t&LeNq@?dvyDGj$Ixq-FXxw-l^(}pFwE6RBp|o&c$TE5 zxN3=T1xzG5+O=PZGl*O5bHR}u^zaOUb8ZjjFe;U+$**Xj`K1lS2dKx=C2!rF zdjUC+nyhrbfnEkdssX5@~Y+DvQp)&;N?jdc|?`SfeT&|w{+kXPiy@#ejPTQ{q zwy)Z4eUbzhf~qiTh>99n4vyca$HI33ghyK3z}U4+ZXHfW_w_j34pHfBp`e3$4bke+ z3(za>z|u0z;`{YNBM-wF-6lD5@B)au>5`P}-W!U z59`l5@w?C=aWm_Z?3XKv0VpdmH8ct@Ol59obZ9alGBh$dFbXeBWo~D5Xfq%%3NK7$ zZfA68ATl*JFgTOIsV9H5x^r}-+txiCbZoPe3OjZ>wrv{~+vwO%$L^RN+qP{RosNw! zeeQejIrom=zu%})m}{@K=G<$qy`Oq&6d94c60Lx-tszj<*2amJk&b~AAT6V0VB^Th zKr3i#Wei}VV_;x`B_k7Z02(-%+u8^lH~~2UY))nXIU}c!I0t_K69WSWEEzxyXajWk z7&HbLx&vf@P6o>Ec0fh|g~4Ay-qz8H*3iK5V;E>-YHkCh{0I@UwR3kcH#KwmlY^O- z_D`li(SmdUNdqHGTUSR*bAW-3F+h?|h7KSAL_oX0YwP-9GzU=F+5ilJW(HO!09zA) zGEg0$q9mfI1Q1h{Q;}DHqNMvstmJHGXY25PT7;C8Rm5lj!UD3&A^@N&4M0pqN%_yK zGSKEjzbOqsR{3N656_3=pKuuwWdUUkc@akXKXU*u0$hL&j^=-8|3@47hcdw5(mp~> z9Bi%sA^=dBIXT&J($l-Ty3(0CJ37(XI+)VgS^cF?+05J#;A-oCUs$O7Lez0Mh10KpRKkpCD1&e+^oHl=36!!|wDSVIPHX`jgY@U+w@$An?Cv z%nTg=ij|g^mj+lHnA|j`^he{_(8}0;RL6$S$<666??3qjgrzwF>Gr=f7vCR3_coOz{b=H_^}>;nNf<2kKB*4{}Bs+pqE#WP?T4t{_kG-%SXh<$ky20 z#uUKB`W0Z{;9%em%ka?vOsuQ`PsWcfHU_%=)gb_SIvZQ3j}U;Jvy&IV#MS}!&nkXp z1<(upG5rgD1<(urjo1M6LVqK60KM>k5E~^j zgUknSH zf4~o3_kX|-UXQ=vf48LkpL6)HgNEVn9{s-y)L&T1$-&kVsAg{badG~Ki;RJjgSnd) z!^bJX_+kHe{QHy6e-V)VeZc)AT2Ro|&6AepD+7R*>7y?g*}gJ<%!ir9>%U@+{&lT? z`0IrF*i8S%e-3H@5a+LEd&66mC+L+j<(LnD5i;bl&d6S?b4RD90=EfImSkG z2P;&!C1l)oyrrpjP^b4t^q5G49)V@5S^eB#%uz{5yY5c3J>L|wF)u9mtB%e!~5uK^DePn;zR4kjxjCfUzk%w1r zewY2d>4YSF%YJzz0Q>9^AA0kG1#JB{1Coq*bCt_EH{Pxd3o{;NQZD*#y=>RH{eBW$wpB(W?)slKD}*!3{p~V~F;lg!sZd{)LoL@?iicbzT?> z9jeh)QWbfy`0jVTI}M3{M2we`*hp*cifCG*=T#^3(e5XC%rBoXrRZ%@^PFHih$Fu4x=?r+U7B8jA0)hDTcMU>QmBS3$4))A}6JVD=DT{A_?Z$gw@O@RtLZYuu#~Fx|z_f zhrHRZ3~Aw=B#Mp?hQ1kcBlbktqC#KbNo%M!^V5z~=dzxFQhwh1+5{f@X3021#?FhZ z{5nwS0-_)Nu#RGX87O3`7o43)d>Dx18Gdmr*E}C(^Gw2M?V|&?|=w5v-r^5I^ z9zr?!iMi_&bJ)qt>k?0sx`(7LfBa+Qx2wM7nw49p$YDc4*7&XHTa$Vnsg-~gdmbgO z{u1~JcQx8R*ebUjitA8=tA0Z5Tf>Y#+;>+H5W*q$qd-1?Em|GhHiCEoQ)q*ZrKuGcYBx5TCK7n4w*>wY6_Rm1Zgw6kD)B0@*3DY&g!#Kv}Eqx%BE z;UYF}PW}!ti)XU{^~=Qe@zXMULt0pYJj2m4IgSl?pxqkCeio1bnR2S-? zFQdEcI7(H2vB6lmQM5Lt8tur`rEir%(s<%kUm>V?9KJz7LsI`F=?OL$*)#Wh<5SanqeYj}>)m}PE`Duw zPp!kZB2 zt{C!^KDG>QPekbx$JSAWP#p(Q*1-9=w$juDd_7W63*3&lHnMS}v{B*#>}^DSVK)ug zdm@~Fx5L|5uY1K&`y#7T)NQhCx^VWnGeB)_4dP4BCY=>K&4V)G{fvHnlcFf$ZPQ$%>HDkGU89g+AFzvghY@>FewgVq-5&2>5@4*MgO4F``| zTt*9wx%;-2hmGuE(Ch9wPt#!NP}AdXZ=COclb`VdzF!u6A6T&|xU(^$B|6N#fs@Z~ z130}euQD*nvF_dw`i!2LXOP5=2_n#w^FC>Pii#?;_a%cV$6>q_Le^dHO;uc!NxpBP z>GXwjc}75@oDnK$U~I;?aXcR?2x)Y=O?D7>BBCE(feei2t4|7`%87D>RcS)ZB`wQ; zpLN-g+ge}CAPg_m7}&D@Y<7HKR`1|B=M6W-d5>3N5f48_Z6yP>FqIme6N+&cJ2;8I zG--{9#+nZiO?J0zke=S%WP3qeF-)iUJ1}yv$2>Sj!W2297ui9Z0WS9$rx5(C?(>jM z_&9C8v{qA9epQxgjR^ZhLn-b0aOgCD_1spG8ybce671@kV;uAxKG+~`9DL@`AP57Z zwBPa~$7bk&3Z^!CWP!E^UV2dc3tz}a)t%9o2r}Bk(ClWDhK@>+bDmM`>P@`}G==MA zH#Aep!l!Rv+!FR661`3Pm}X_lrsOq#o)1;5RB+$pq!2D2o$i|!f+Bc96}LBkzY7rc z6m^3q)ICu+w7U9v5fH1NMoVHjTzQhX0q~EL-?xUYU`r0)dhldZ`g3IpE|3rAeS2G! zpdYb8?YAtW)(71XlRtAP8b|E@tfM}&*3!uyxlGH6Tf2Kn7Bz=+P!BsVoxRTS7d8w3_KuvY%f)bN={wYNh7G`xF>lWuF-kF(|dya#Dsf(rrRWm!2 z5K?NvH}_%(?TTLRBI7>6;?lDN-=cn+lXDL>UUU)<^G^*+7U z>V1}+M(9C@emSvr`i7I7$V0oOf{uKF*`811;lJ$}CNPG)@mUg*`v78?Jg-EJ4|em` z1#0?Sp(?N<9%oohZAbOI(i$N`zk+{7IVAIesP%dC+;|Zqdlir%!y(JK4`2i zl=g!3%(+T?w(CBbG5i(EVP4a!=e_8WHldgc5)P)H&%-ZC8LDst!@AAhnH(SP1=mFm zao3@60T1D{P;pJfE0!$VQW1R0eb!tdZEleM5t23dQ~ouo$vTA3y44-zg2c(#QH`pW zg85aW#`QUa`4BpPs!gDehRSbbq(SI zw)z=gO3;0Zg@VbP<{~1DLFIp^Cyd4=?zLF=sVB4AL{k+s6Tl zl8-zkQ=>b75ioj49BMa%8J^0(%?^d~npQm^^0iiakkF=V;pC{W*g5{>M}BU;ZN=jk z?(QyPl6sLkla-yg`6Q7Bp-DSAtoH7wD9b3h{QR9VWm0a~v`|baY9%V|iKJf%aJ-9? zMSM83`gn((yPM{#@pf^6Kk$^F-I9n62;aTitgw4Oe@ZOH7ja449f@*Td3BBoMki zAqt52kd9l&n=fb70Xd0}3IpX_0kS)ZgQ0^=llDn(c zMED+eEWwTvTabtb%$Ls75MH2|p6EHD=i|%A995Q;P$!(0`r_{Xr`rY<&XQIP6`sQM z)P}wYt~#>%AoCwhs64-tVTzrr00~@APyN<^qq|p>j;~{$wl{0y8-X7AK0^hD$9UqJ zLKQ)!qmr((y@_AHS*NyQs*~83VYex~u-9rDei7RBL&tn;}Gnh56 zYVvHk#a2pJ4OifFBd(}ntzuiQ&}EOcxG*a=h7Yr$ZcJ0fWJm|y*tx#^jSX#P#+jgP z)lw#2KF~R9byRwz`Yw6NqCzn^`y@wyM->7zKQE1j@I0cYnFwTGuOfp?O~Rf{&&Fr* z(wK1d9VaGzXF>mxV-VrD+qzkOE`b_+=rhDSL;G>^s#(U7o)Kzci5y(O2vDnJYHwDb zh`bL$_1e<&i|+lseZv~XZ@zCMtLGU%yE9DIb1o3Hu?lrYc>Q?rDxs-w9 zy2j3S7mzSE?5MCHfLbG<@MeDZm9T1tko77pxHqTEco-pY4}y43wCqhq8TWEbZ<->{ zj%#*)6Dp!Y_@U3p?%TghFE_|zE@vzv)NvdJ?hSp+uMEWT@V;vJ1c?udEwg63Vo+I1 z#F8`O`*!vigxRdgCt#|@Xd>}{aF>zajKGrO6Uw~?Zi^13E*658pl~scO6&~O0pd&aRVm4DFbuOXQU@Qa$9Dy|8UO|Ku znWaKg!v6Ne#nNV96HMjgd3H2aGwVFqysSsGE?#pTCJ;8V&EmPiX<$!` zoyoDlp0aypth_vtG38=Tu=_rv9hJ}Dl0%L$tQF0^wo{z47qT;ZG=c4lV{dD7I%(Fb+ z(qwBP_qjOU5f5uS*`w`r?qN3dNS)y1sZ%fZH(i5X`zFhoaoa@Bx{hCN;`oUQY+wwt z76&MFjYo_AP+sxX2qhKssxKrR`?&kQY8}rQwnpuXb9+_F3B(gF{^@ZOkwn~m*-8Z~ z8oE69`^)}+*o8ngg=?d}e3kPSla4%Pe6+R}8PiMXDuI19C)|^z=-Dt6Hp*84@Rm_u ze%T(~rVa61QCQS8uejMvC4-s}DV!iEhXJ}h#U79~jGvywRsFgRDdnqG55F*m?JF+P z24x9lfS+Qhj^v090h=vIEh#!^#u!t#TgZe*$Iat^-E~)K=$mBR>`=PunI9Yi6| zJEiS$4lG&H;C2Q#vagPkyPI{m$m-c*G&>MkrYdUtoId{NAd2KWU14wWq8WBxe!g=T zZcXkCh4WnpFn0C;+1R(rt$e7#9sM_KG2)gL2t1aO#9NE2aQQ)lZie5NOBm645pS#QW^46=0XPPM{h zJ;O}6`f45+k}1Oi!!vSz{MObVnNOGEV)-uGf!X{O-RKbjQV10Kv}2)ulDi z*a7IAklB-z_Qj1~p)AXAbRM=N>~=*ATGc6QcR2T4Uj_Y)IHJLVSXskxy$lrs<(ZUM z+@(Ag;~ux~J`%8mq;*tm{-iM@KCtZH4E_3UW5Ak+KnOqL11no2nbB}AK(D;vTzeLO z=2KCVw0x#89Dk^@>X#kBI)X9^kB)OeYW*xW=`J*zje_vQDQc($%(#-9Vi( ztjROBvK|X7GV@JiA_Clo3)1teERvHrKeZ{ioFis^9L)-|SWHAiR!)b2T<3MZdm;&p z`|@|D*X7*)`GR3+qb_TNCn1KWLqb1)eKY9KOzO-PD@k1|kxY>fz6Y_6AR7w>%c5pK zrF0i(RJF)Pq781{wGj$d(KYzgpuP3CBm9}!Jq-jD#zo(MBIBHQ-0~a4ZaUH;u@YCj zVeScfGVW0uUv9*B`v1~QVbCT(t4(P=>@acd*rv1+S%vFh4pvcYXnsslhQ3{Yf;m|u zi}|u(u9;ZJ$jiVRI7UCnT3t)(ilcl(-u$3n;4ioNJ8I9m6 z=aCVjtx^1yyBzYmlccdSpgZ7~DDD6ch*cp7Uy_tD) z7w~84DRpQUhChOL3L6Ehj|AtlDIMun@5*=A`<`P&+n+_4i)AnD<#2Y$*24FtWi`>T zFX;><4|x@Si|h08E8RnLk-0j?sPOrrsZ&0p#7MmX#uac7M6rWswCwwTJQ@UROCMeI z?qlESdU^!B3gV4IGh2+h`HU@yE+8I*>RReAEz_e^4s7P0Y3nwE*og-=Kw$P1x;kc@ z3yCp9?gGdU`qQ#tKWSCb_z@B;t>{m4#@%@b(bhhFJIWNI~1? z3*~UBn=)D%2jSVnPSTox;xjLpBOgGoz)PZk`)q2kksUh*;+^vl$IWBG0~Ra_W1@9s zt|>f6auyNQ@JJ){V=YFbbf|QWO+mnj8ALe~R=q%vQVNC3l2OT$rXB2*q1*jSoRt-A zTZzAF=Rh9h&-LJnCtEqHmwl}(kLTaugB#^WhA<*E)Prnny{zzm0gV*m>skls@e$0V z2d<&hzaz863nWsO&^M&!{l0s^urly=`?HgE($Q;^x7GZ{1Q$;{NRuN$J+s57Qt9Ee z-zEjm7gB9hm3xQ1f7hO1Z06+`pX?kjzqNFp)IMeyMkK~DCvz48v-s6TgJ1ovGK!!N z9SNqnr{SwAjrO;Hc3PHH!7s0#-46_)-^k6jO_(w27^a61XgMCDL*`T@Bfa3jL!~g7 zp}TNAG%p50^nl=)aGQ{QV;wOa@$^LJUw%_t5r|b08Iia6Rl`|S%s-Qm#4eI#5G%=@ z8%rKrso}XW9KN6}#(@o`ls)*#SP9Gog01vE^NsP!kCh2r(`V4z6 z=9Kc-tR+}~wh52plLgD#>J&NAPr%Qo25sdaT7>i#q2A1gLStq<)8_SE>lSz3L2sR4 z;rv}CaQ+7tuZAz~{%s}h69%^ zWx6<&6ebV#ETriOL$YPftZyu4*f!&_JC}N^wTU=?1XiLNiF%j0Excv6O%@|_t2>Q| zeknO^u-|8tXzNFU)aFXgSJt4>#l1}{zd|c}UW)W>i0bw8%3r1yapTDjSTjndNj@B; zA~d}#E3gw61jp0jq2hEXY8t$s&uDN5!pu^iP*b+!LLWElCCS|}%6bCmz*AJw3Kn?w z#Zbe4;GfI(2#8Dzi`!X$*?8509sgvgh@Gh*m6xN7`%I>6C28)A9hABlHi4IDpQul2 z4{{fC<`^kKa#Ed*pQ#qa>U(hM%fgeJ)i4(u@C`Y14!NRaq_?}zK>ZeavCJp6d|Fr@ zVpLu%UXkqk7DNT{RV)=sQ+rdQjsm>(=@7GjIjtnx&SD}7U7TLsSsJl-LVkHHTcx`s zV}MEr2Xc(gzMc5_Ct#(5*&3dCYq9s*raAUBWMWq9a+Bjo+;8gSz8hy=GCYpZDFA2H zif9-UoL52;W7jsnDUGp+vyH6KNO<8e%P%SScwH+-v>?&esDgkd*7levO1P!Oh0kGs z70!NKh`-ocyIfm>(lfpEY1@b>d#-*TE-bW~=&yCJVX?ieY>}0stBO&^z?{NKSsSjr zC;U*eP$gQeRgEQXSKsT%b~;;gtWGp36AJY3YHeaPh1*|iD600tIhg4&YUCAaa%2{AeBeKl`cV973!fl>n(g~PT?j3i)|pwIfmtxLVSYGt+r2$DjAW4&0#=6~@?&fXlr;kHyMv@1H zTb2^{cZ>PizQ!hB%kHa;LUa2cy(S<4NE!RoSHWp%$sEz}fZGeKk<7-H+LjuYfg0^H z3&}IR8Wjd$Y7-vXEYJ6Ud}Bp8qvm7=@$k2u`pZ+?t%#Okn7yZV-q%s{5Qba9ODRzP zL{s#~Z99+=0jvgKhu(zE%4#?(DpMAV<6R2R-899Q+2VsmDGRyIN(Ygp3+G=>$xkwa z4v5x>#SLuLR_y7f(Y|s|Yn>EZpMG?P*E>zI*Dl{78KGniKe_0C+Av1ut)2qX-a)z< zxryOk7xNH)?SS?Z1TL#_d#pj#Y&Ts-_6ECqQKj*(dp`xk%aNEQ(9jBhvoKZoS`NnX zTb{%(@c<^|8~Vri_2!|@(Q9v7wBP6r8@ZpeuK;`*Jpzy4g}gD)L(3g z^ZMsfSAQG{Hsh`41g_>lE$B@;{jvaB(@eHt*HfSgy}oqGxt74iO4cb8QurdrpZsCZR}gi?AQgYP~s z4xa0QYT;D`9AoMgC1bGD@-+ZL zqm3ZuqIWU&1$(xH1h#lO71cxl{&nVP5j_rPXkpayI?xyYfN@Yv96r+d(|k~yB)GNX z*gO+H`?;gWl^uqgXF+@$yk$-sJ1ubpsL=bUW8B_}))`f?BI$iknkgYTQQ|tbYkuH# zQ9q-9LlH$=z^toOGUpk=+9ieTG)&l||jl9>R@9fHVc+$;|E8N{~Y`&3J zdRgG@7d&;Hn@j&8KDMac=m zv@nTNPUJ^8mA{Q2!W+8zWZYcVQjBvNBM9`uP^Qs0yG<5x@`lZ3c)l{7kxQMC9G)MD zzN^eNnTprsVCr&P3PJ!$i(ogqDV8jZSvV6E23HNfwK;bG$vly@RV~1j^hT(J2#fwBaLJsP7s<1b_f(6--=SIyD zf_gpqfmoUQ*MU@TG@jufJoJ^=q6xxO<*RiYl?DQH`qOVRS|tHsf>EDC&42HOi^9V_ zlcpY??eXO<>CLH5q|KHEn-_j3ss?EYe>1;fSRiS9U*|1 zBU5g-C6qSbv&tZb3pWuHA|KC?uId{8*48lA8 ztHDNE!b$2PHLOoFwvp8CZCFkzz6)Db> z-olLbgN*7_j10I3yZUvrr-O9rGsi`Ucth}m1118v$2U#vL4Nn{N3*B+Xh>Tj|M@9? zegWDo?hVxvM%au0j4Wn-@Z1J}$UmQ}PiOihe$0Oc$!4RQm(&6gT!dg&bQHIYXfO1fnH%v> z{*Dckq-HPgu&UmGJ+&8AUEzld-x%^@Ic|pLVbbAZvsm$Bc^vRx^`Vd8|u2cpE=GH=I@vfpQF)UZdc6 zsf^$~8k5ql(uoj{!*OqUV%SvRLGBZ;jj`$>WVs+5g{mg3S4@$lbDI&Z9WiaWeERfg zH8<$6uwGmK-uIpm-P`nkX`QkNYb3Z}<8x=|8>VZs-^pXdX5-goYRD3WyrUjve{DoK zO9X%Ey)fxp*jD&i&_pySwU?6>Oq~AG9M}`paMA?}yPP+#E$Q*7<*rXp1V7I6nZ1J% zEWjXh+>`cocx?zBT6T2=mV`WfBXk?IrT)szpCc`z`8f!qCSL1*7k%#O*vu?t!Ve^=Hc1&@1(7Lk%brLOQ<-KxJ)@_~Qx6%n&4>DZ6&E)HWfF-$`S8FDt=d9$4 z_cyL0pY4)N@CSuXKirDIh!`K&c_^K8uHLlmwO9rZjo;ttY~%9LvH6niL)My)zLhpo zKgU9*9*lUJ(gGrX2p70O=qcn)?DJrN7_oz3?u5(C!9B_oZ8vGsY>^l1Q*Q5cjA?AA z+P_z?jpJs31=FS6qJ%}7b_4C_h#eIcz~-~UZ>%6gDPC4#!)D82lWB|xO}DzkF6>r< z@+vxYw3<@&IkKo&NwBJWgpIc*v-Bvb7~e;>;;6VC`I_f{^!%K^y+kjx)Ejehoekm% z;45)z5A3iuaQ_CAj>wHmF!B|Uwh{PJmZqGBPws+B_{KIUy$3f#dWst&zv=C6@Doe{ zNy}zSR;1qGXz@rs9f*4IqIY&Df<$(kfiu=08I6W_)fOhx*;IA zvhGmBku^Yba&{h zqiBW{eI4?Z-R>7dB_ss@!Zp5_1l>?@6XMj~w-g?)AR$dd(yiT5|Hdf|sr~MLLj9Mh z3-9xPBk!M|nayjBr-KQDPkzpEIUC{bVgXth3n%)g{O{=_DsSYBk_#0bVyTq0yT1mi zdppfI@9c_VA*-J;@ESJB79+o$)+FQNag5gpQ|@VG@7?ceZ1qQ%P~;I(lbn&HY?TRf z%8A8Vz+hO#r%J^2ldp6cRc`p*X{XnA6Go$dLrzr_x{8eQbM-iouJ!v@3&A?7`w-5@ zAUanFq*1?uHFC$e<6%~8#!7n$C3X^Fh>4gay~W@8A~(u^0`O*hk?X#=&GZOfzEa|!z}XUfr;T8F@@R!ALF)x`XP-{FiE5(6ju!ulxQjzbNb8Z8uie`CpiE@A?y z)~k946{fGGL~{At!4^{B197K+G%;9vDT%dI!`OC8w~Oc;7_XtcQ(QpOW>h<2c|mFL zInK73APvPkmMdET;W?u9hAkB(WY7vt(g+04-ZOul04->)w0ZAGh6rBXt>s{ zZ(kX8_qtE)Br!xqHhTpXm<@*e);KnzxYODA-{>-?sx8gq4sQ^|3N5-Kuv&fn z!MuxDgx;(&gO+o+xsTg1Z9hue90MT+G8;U8Er`U{)=&hO7Pn`0dQ90uHMlTObUamr z(45;=oTF*rF|oc?YMU2-tb5QseT_OE_F{(p`cf$LiLU!=A}7)bbp%&YSJ>E-^Dz%9 zYciQ!m|Ri|KdjHeIfg>zEj?gIuF_bQWz3|~V3_wtIKzgVvV$N$3U@{%RkV*7XAH(c z%_jj1f)v(E3xC%W76dM=;S*A=FoxJZ)VPexH{?$Hf zr)~as1iJS&A@TU7)#GRaE%@Rjvt4Sn%edkaJveAf&uKN3uc}2_Z5pFrV=xyx}*jO2IfzveAcVXu770B1C;F?R!9Z&0wJr&}PW@ zJrD6|$b%X`vfN6d6xe>i^E`RluAR$bO-{5^5`Rd(?yxDH6RMWijyG+j5TUYWh>ooN zl9kxVESKIqES>51b7sXB4(pqUT8eC|s>rl|v%KarZvR9CBPjcKb=mrY8uTtIwboRS zJ;<6Dv<`dS2`R00BFxY@qGIwhz)zvT;>m}JNvMJ(4p@GW4fYk!MJ&P%oEmt23CB;vmA0 z7Wh9fZ7^(iDqnne;e&OCqm^oZk^1&O!`rjZ(yHZ%({rlwL4ZPsE|tT)PW@K1NUu`Y zFPg)-*P6#w>_kYemCoq0DwjHyTztPlYl&F}O};!EQO853ilpGkEA$+#_77^$fDZ^kDYDYiQM*<> zkqnweW9?M!?JOzuOJ-a|G&Hc@OZ{fDPUUYqA(0nJ`6Hoa3RVC6ZvyCt(u=zP$1kgh z%xvQBF|_@|-hm6kHx2QB`^4sX^jn{fb=Baoe&3|IpYJ7dGOvmx9&6l8y*^Db{CKJp z&w;*n8I65;Z-KMV_~PFx-vTN9*2~=XstLnYCfpMI);ZR>>zP~{OTHyV5UhS})<|{$ z_D!pW7R#_!TzbZ&xo!_pYs@y2y(Ik19#>_cYYp`9^de!l@lN@F^Q{*R&n(z)+#q5N zt-1$-IR79pz$tU;@%L{;sV^XV*Lxg-!K6?9A~ZwWpVAg81~ge%r`}poqEl=G)O5Zd z`I+KhQ5sa5ST3Y=qsFmbeOx6wZ7(yyogy`3(tC51+C8J7pZMgu-#xdFf5IniS45UR zex7y)(HGpsT(QD`+Hw}QwLOAjW%TZ8&g-o<{*=Q541o-%?KaBPq^OQ9{|p^2Lyb;v zLi?aI)1bx&r7Mk@5bJMcf25Yae8cr^W5hy(+BQ3d|KW-(9k0&_;a7%naa2UruOsir zjj+$z3>~+9$ZI*%gszBfbjB!2`AGcMYR|c*+zj;>YUb*H;R=m|8_hK`Zm{lNv5G$RnZ(!zz@hk9ZX28Q#{}NZlH+PZ zxb#={c>OUjpd6g8N?2tEBBNoC{U|-F_u;;sb!TRdA6F^^XWSrLxb&4TFLa%cO1phh z&zPl^_UtzuZ*$<~p~^d$cEp-|2=_5gzYo4MV=*0nuk}0sN}!JIeZCN%ZuR%r{}yDb zeIbP;ZU+Mb7ahaQep*P4B^@?0ii`-yHe>7J>5GK^q*jXGLU3xG|0a2*`D?)#qTqJ5~v=o zxy`G86X=plg1>MttjvkNw4zy6yx6#ockV5S|63Q6~AYT9<^M-ga>Q(wAb z1SCV~Y#dyTN}UbVO|RS<^qHz7w8b01<4Gv|8_eGNC&>j}uzQ5+u}J&^R5UYhp?J1; z1~AR`U7jEGH2hYs_BS!p5c`CxfYR%fFOp+_nqx)se7kG1f(SwrwVx;Vio^vz(|mV@ zqn#tlE!Go)w=ce87%4oAu1Y}As6K}yFYf~kxRh%+yXCEHDXjndS3t)IpH*a%&yQ~y z(I91=5$S_4C0QV|rz3(g?`IXozC6@n5&(+>tmGLzp`=K+b^?Zw0po&;_3qTy0hv#K zI%MEfJs2>FW!@fb={ffyHYz(LTeE$?Ax)|5)B~2UFDhIGLvkM%OupT|V~o!jMeXBFz&<*U_|y9XYxWm^_OibG&tLDvY~kk!*6@rn?XKsXdEU+YHvNF)KhuwbyI{R+Ii zyl7~&pyj=LMrOA|QF~_uQJwpeb~qn@uusDhI!F`C?x{1t7Z-S^e!Gb@pKV_b;oF8j zVpmb(bJO_g-Wab(-@6QB%zKJ#-OG!+Qp!0g$59xS^7A_RErkEeano5@)8@)C6}^N# zj}yz=ZOPqFhc2w+iadR5e|pR;8L~%uNU^AJ~976>?2)nte+d{?=uG;wlv= z^X#F{of~PgF6HIzqbGtNx;=I2)>bB~{@Ozn4CkvoW&?53Ku8PcV8Q%Y^y$F%-%8KT zCN4Zjp2i6)_*$U|O(QjGrpDz=TxicU>FFpq{KuZ_=Ji}1ncbQ5=|CAHEk;DZms$rh zk?R?X&q$$a&w_=GWX$*TKgUvk`|pr%cv-(Yhz%j5!SKpvdh#2SBort&2mM}H}8)pOO9%UfwOyFBNj?j2YVKmN*dOsM7N#H;!CMm z3~p!(rN=Mx_jngAzWiqYl6ps#7V|((7qx8@Co+J4t3eU&Np*Xv>stGN4nC49r1h2x zogN%7%Mj_;5stXbnLNpUV-C&^Elt4g{vzUxmvF2-)8Fb6490A7Q)%Y^Gl#_bcI|oH z7P5uP&+W)1Ovv%xtTX6!5#vn%f{{rtl3E2piHp#x#101I6=yJ8JX$wvd+}|gQ{|`? zRJ9?tlBo5j-H1Vbn&^&y+kLw+smtqItEDy3AZh4fVL%%#k`)yQ3#l#*^W<%yjRAui zLl~B-LM&%bW}Dy(L>diJw@zhU%x>=;vI{oP$Ne*%%0QgpW#YZMN@upu4xyO8_#{z^ zbzi`l+?6Agx~4!HulTnCo$UpK`JkW$XHjnxNF(YjmA?9~a`*~=4hK_ zm_O#VvH)rAt=?DU4~D~M0dZv+?O4(UyQAOMEl`}$Y+*kYOf+LO?GPG6iDZ`+%{;lWFm~J@hwEh z0{cCv`dh4Bf7TX%HdH-Y;Gv)n*sgXACuaxQG*oC&=_Y2qSC`fPNS-lcXoC7+9@ky; z3HHHWE=0Z10CBZ`f?j-!Eh@$d?fc#mT|n(GkVG8eBY=icdEhm~aN4Ki4XbOO8^;yHwSpUbeb4W>d@%2u z@HK3djvsP=iWOylBim2CmeKJ*Jgd0a8Rrl=NpW?->w&X4 z?O|tu3nOYYEvQiSLaf?YeEEk&EaH6MG+wmw8KcXDwcO*jDJjN%v%W#kAwv}9T!1>! zD8}y@|19;|D-;#A$CZXK$JZsk4b4g3s?L4l2$wE@5OpD0Ci!}Hacl?JADMRFGFdQF zij>eP=)~+C!%w?sB$_Kq6Op}kwEDBr_jr+gAW_<~)0aj5{lC<&)WK2vx2pAxCxTG$ z6aEr=pS!K|`P}D*CafZVL|XdHL~8yZT>23SR5zqGh128`#(G8V6#b=L63V;(69a=nncoa2yIAm)q5zU+0Tyz|zH~fVpr4eO zF@vA^9P#+}{O8F#Ht%Q@Aie09so-PuFCsq~1*R>pWNayC(b#g_!T5HHmx3l^Qm3`e zo<;DPu)E*fM!8l}*8#&a4PWSX=!>88?%M8u?-rSH?Dy-DTSnqooZ)mPD$?W9aAToX zTWUqk8a{*Bf~m(=K08OXpoS{jb=*s5$)W9M2xdjsjo9%Z#ljbeqe?G&C3FQi zfJ$@|4uko!1S>CK8xfSt6x6tW8|>PGO1%u#{vA#F$&9&nI7j&++hSo~l`$R_ep;V@ zAqaXXhrOLXR#zSw$U8#*b zlEK*8pdtBbs00oeZqOLiRPmPC0;*&0d4x>nUg5xY=gG*UGn#T8@BWB=KrG}(v+izD zYq7@=bN!m$-gEEv~Z#yY<7O`24QVf~c5gRcW%!10@#mfU84rWs~O z(uY=tsD0v6 z2^9lcR!p?M0&=PqZK+t3MaFfbV@TuAjyZaevl-U?j7Ex26Budw;%6`>2k$WnQ;lOD z($Cb4`GdeZACTT9;a2Un&EG6Q&7#>+RKhE#I-`YjX?Y$s4FC0NLDB@qj-LvCNk9&8SW1ROCs7SmFU}0&i=S< zE*uYg!2e~FUsF4<1_d)bfHOwVSFhc%PQI-q62jt=$lcgfA8su zDa0MmSE0bASY$Cn{Q%L`$vYnSfCRVxlQ(rI?e2blU;9X&RVk4-|93zDE-HT0BBk(n z`CBHPYofcG#Mr0b9i-PJjE;wn5^r&kZk2Mbtdr^NAc>MlWIrFZ$KRU>65cN+Jj7#tXfAw-k>fA7?9zSX1)ApU=CoMTrd0Ha2$$@XO1H8a)JWZSmu zWOKq~+nwrU^JLq$ZQJ$UFZZtd;r$cO+Iy|No+4V*D}|P$_MGu@tFP=wXhr{LuS`R! ziSKLCEtJVcz8bQ5lm>};db>A~pq4Epg4a<*8n&f2UL=1bl5R z;RNIz> zDvcOfA^F)`{LsHsQFdvo!rdT=MP-O4&%!c;mLDzU5C9+vErcm745cFUh@KGHl<2;s zQ8tvjf&A^SK%FtiLiM%#f2ceYy`{lu$W`J```?^ltIFRABkc#e+->W`Ep<#&BF*|z z3*m$heXB;0lX{kTW1JG$DLCMZo+9;Nbx`)7m`2nnf+Q!0TFD!x=N~{E1s3KS0d&0W z#yN>O?slFKSQ;O45mBv2H4N~U9@DW!<@YEvceaM~JvDF!W%hfsekoTes&f>t<$LPfAX9Tp zn$K5^iO<`q&A0c3mUY9~pxI?&3Kd>T=25(O1UE1sr1sFw%09hfri;Uub)VSAek;!i z!{|^)mLdM4LO!vye}rI!TB)HYM=wBt4mU}t(Ay9rGW&v(rXgg!vOy$ks zm4vM!oT7<9Q)0kwUOD0!z1SBUr{Q~(*aFJd1LLSVl$AB5Y}{o7DO6zz=sm`6A=kmd zGqD{kXa|lRB(-9nK5NQqOa53`)ab1rv zuFwnn07PDalz;=kQDPXCWq$Gsb0tYz1n+U@djGTDRl$W>0sN`Cd419^iT93#4ZZM< zvP8OZl1-e_@_;qbALIPZhTV=1TvbA2aoVRy_`zz(tcmwiGIXACi5sz5zuGi*-Wl|o zal4l^{BBsxf76EpP4JDa$6Wj~_$vY7%$P{?zD}*1r~hnpbM2$;NqL)UeGP{natk3r z-_Yto0U%{u7273i_ws;WXgL&th0Jsj&C7oH@GnxdUDJl+TJn%flnktYc>an`jfbJ8 zC5XsmU8L1ee`5R7W(01wjNK-B)R5U_fD3@1Iom1be^{wS#2aN`-I?&0Q7DWe|f3Wz+nmaCtI_3kX8O? zu&G!@(F_8*I>IS84ECeQNjZu}@Xrk<5e2^S()Y*B+kwt*3%r>A@l*4!Z>|J#Zo}2~ zi@@xof1|^COaOZ)0XdyWO3` zo%5XTLYunLHfY1SwCf;onQM8fbAJK)nD0;W+BE{f=|^?4cH`~uN&wy|e|>jtSOt#RK4d_1ne$L-Sih3pGPoWt zuB$vBh(=4jy;eLt$)UWPRVi20y)fUZFm%MZHBEKTK5mGoazHqJ|dMx zf6Y4_J_eT)rZzPF9kW1&`tdfFl^@W{knn}8(8Bi{wBoBx0CR{XFFBYHLp-h|HMlR7 z3zn%~<`6LJ3+bdUtcXrs5)?-$vV=}nAVrp1+OCEI7+C>!Oa@+Z6~OtuczO+Y2erv0=5$^~I* zt^65Di@8E~PfpF#w}=K`dK=lU#QAr5a+=d)$3CTgf;jK^TNUB)locR*~Tk6LPLIuMF`KJ4Zj0@01%Lvlke{E}~ z9eiYyDd_Gw`qmJ#wtiJ*HPVEnOSZLCV|f8w3!!3{D) z>(%I$3;#wq9)M~mXeS#j_LfNeWGr-bMo?77j=+5S4@R;ce;J&o?3omc_7*9FUe0?gGR?4i;Fju(unSB1eRvqSWfP!s ze%E&D-YqG5Q=mr;tCEl5`q~aQ=gdMM%)HfXpwrl4J8xMP;I@g)Wv&*JtA0CrOSs!% zBGzO`f{dlXj2H-u=EQpavjmfME1BkQVC8jha6&{;KIf%!YT!ope|%-OyU(>=S(>_d z>R$^JByuIu|~&x#JSD|$0+6mAo@u%Eqd(S@=m>Z++IbH1_Jj8sLMIa)$aqeDpB zHG?uSJQP1dUtq(AZ2A}_WI;;}P}pIGfg1KR{FukIlmcA)C;ehn-8D z!l)O65$H2lGTstuIXa9R8KalSUt^*Q1!_Yh|gxL)QG-^ zpyCs&o!dt{YJCd-zqP+Fr_y_*% zolP-Sw~)PXKKF>epA={vh60c%s~F{NRnTFVaz|S>$6LZl4T1DlzIeCQ=FcH6+DQ-gw+;OQX)4DP0m}g5$*8H(&97Oob-58S=}xk1 zx}12yZ{LjkX4e?XU+TMw$f*$s{X|5X_puqamngm^`pp&ZGRd(;?^d zy3W`}@&2Cy#f1(0)=77ST(hoB83xGYH+KEGB(Q&Lu>u&4#2Y6SIcadezuD5f;x3oA zRIhaXhTe2W8}fN&9h^6Ne|bt_PDtq%?fhkGa{7Ib?AyqN*X(pIsDi^j#j?4S%bg{Jr783}-*S5rZMs>YTnWXv=*Bma+4cj2Xp3g;!?3qBlb(B?vkz=*PGZvXvELeN&(Le6 zt45U~SdU3CXqOgb#3zrs0~VwgzW#rCbk;XGV-W}@*YYLUFJq_kNK8K^rWF|lCEfaT zH5Vg=cCnz4de&`ve;U4_OnYGW2+Z;BMg)BTiEYbqdtgFy60%r?g%UrY%avu%k|N2x z%)En=8jVAtaChFrEoHF^s!Y3xn?hxbvFL34t=IZjv-lp?jFpZg4!8U#*^o>lYi!%2 z=EM5_(UGDwNR`=}a?ZxOERef`Ic-x_pp_LwrT*j1%Mk$ze+~{QJI^w?ImD@lozci# zm_l27x&Q49?vsYuwG4sB`Eu_!ftNq3HL}*f5A6LD+&Pn7GY;mjf7Ala`LtIjV{OMT zO@P)Md*@#t?-z2)} zc3X}*F!<=`zP}2EC;ExII@0)ub>mAMw)1+3mKhpdxvCYl)arb22}R}evu`Zi5|(yP zv)w*MiCuW5ZkJ6|ijNpNBP2pDd!~XKH&yRp9Bi0`eR~)e;nrqC++ovXaR7)83iq6ww?9!>nh32| zSPcVHt$Oz+3e(9LfGW~?Q*|<1bk4|dvn0g+zFAq><&**Ekw{h^!sQh$NEo?@9cM9C zzL^TSsOHBlEq#ofex3=DWC1>g@W_soc;^&O%+IR)^I#N>l>#$u?KBz0wNv7x5v=-1 zf1)?5gNWs+FrKQ?fBlzuCjEu&REJJ(h&hMv_kl(&H>##_nX; zHWrsOg(G$0W9F0tq(Yw=2DZGr?kNX^he?`PF_8X{YE|4Q=iI`sgveP-EGDkXe|`Z? z{h(>b(_RyLuOAaD@XwP>?^4_EERo~yEkfKjKsz9Ter)?4GZ`vcwRb?%`pEt94a6JI z5&BbH{OSEX(__iHMJh(grsa5*f6dpkuab28L$ilUegcnl)>*`sz-28dLVT?G+(B&$ z-BUn48~JckCRsWR=e9#(cvw0ke@VL~S9NPeLQlepXD~}u&my@L!{NLTRpRzUEj9Vn zVyo$K%0*qpojGjAT5ZdymQoT{kCfbbFm;ex4jT$e9)M6{F0+`X!orhvnp_`!tR6>9f;~Iu~f4Afr@%EFw zbcC}jd;ckiSE=8P&Lg$edao)0_D0FwnJx;~?PD~*`hAFaXc@mR531nERpq58FV~bl zM#Ew;jL5Xp(HFf;!*^~$3p#0e_(|eo70Xxe8+xZRmpcujN;MJVQ{WL^c@l&y@AacV zZw{-$z|wskh-yN!yg`V*e-r3Jj3)>u&W=9e&jF0s_l`(lM2RSu7v3bKdS0tuUkeTm z*VPqdVnmorf6pEw6x)PP%_UF( zz`VfevY4zRB3ZfRvxU=X?HDXWdx&c~%zK%e9FSIpxV^2iRXgKXe!@iG@Bl%l{Kr{A zV{OaKnUq+_S(2?m-0T7>i~P@Bo3v6eMd76_V3Dhv3nSsLeB_kvF!PIHr2q1>52Ys-Fd6)TZf8;yA#Q|0gbV$!x2OdvF z0B`W$`>U5#pt$m+xsebaYX~PhR4ugB`|cumsOT(IS+9=BkTV#$6faifn~LBeeI&0J z+p!zDaROTS-5!hMK;kk#h=*Iz0`tswK=w@X4BALPY zE}v8BBQE}Se^x>|4Zo~EzJOE1FW<;@d@%e9eCt0BurtCG)$R$TFBQ4s zL}=-P;_JA|DuJeeK~0p-DTURA#&;-s*w|ipk{5vwe^g{Mx$IOYPs9{Pf6j>C%c{pg zc$@`reN;Skpi(-S`P_2#mHVl6S<=tvDOA88|3}!A>q`7M8W+ONdp6`;*lzF*H3a;Q2%3D(K5Eh+k|KcU34j=5S?Rp$qG=Hg=3p+fnnw7g?!`9tViq)cHv|=FbaElb)m#$~OhXx* zqYT#TRm^c9AQA*c$(^2;!KO|-66;s?=$$~vq<3_$_r+!_j)W!^TM233bOH ztpF0aK=0VV1vfQo)>JO2>Tm&T1AgHq{pAuTzhqpCUxHC%?$?RBDLyF?MiOt6t;3x9 zryjPhvjtLX`@a$$%~mo}j83>!R2xwgg6Y5fx8$XyX=o{R5E8xK<6irhD1(U4RN-_I+HR&_CII z_u79_N?*MBrb1?-NAF3gz>cI{))%9Yh`BmO-LS-s-$QO=5SPMYzl&7m7p=2ChPwI+ zNtXUz>{Yp+F(6OC|EF^b8<=o%jys(0{zq#2`I5K@e0YnQ)>t&l;CP+>{>76-e{V8U zrzyK5MNw9|Ck9wVEfZFCpGzMQuVntt#2%8l18tP+;++v9L$jRt=~oMDAfj`epAA-B zj@9YcDIwnR*ar~=n3|7By*EdYABVfgTV2C4Fi1(>a`XPc&%><15L(#2%)7eUY#cYitH30vy7j#d3!hIQ7SRd%~$0jI!+3^pTlrYmD>`4P(e|c2i@xlR$rTRq` z?`n1!sU_dPAuOA#O(SJAWy|MoTdFH1oWRMEeC_VVmdpl({=63)-SuuddV6vk5Wql?zG3bCvM-)VYDBg z>KOg|1+UZ-!GVAefBMKMY(VyH49k9R{@2M} z;Dc-2B^~F?| zyRo`Qb6{Vlu*>}S?6yUmtCqFx)J;zVQqD%D0Dp59XKu{`-%vTTX2(>hYwk@~uqu3l#jUrX?CxctsN1;hk2Bb6sfHy0BL7u2EzPQG|@l~WO8S-FgLvfE2E|KPckF4lyVAe>__|z z=Rd1TGE9_c71y!9?Vy5*H{UqCMF;v=Lk4S^mp=A>*(%FYh zE0AnUd)^`~_3YY8b2Dgw#_J3>C63(BY5APyVvc_N$?{zVYG84I$Lx(u(!!C@Q+!iC z1;3?yXovXOnfML$Z4rGaPU{JR7MJlw{0NIPf5?QG4+k6Tj5Pw&o1_&(3|_dP%#pteBrn|gvrCP;Y0l-9jMzS^1uME_4 ze+>A-5b0SPr079vTp7{y%sWhvk^7%aRn$(2zfWZ2OQVtSi@N`e8~%3hBo5~TqI5EG zx6fW0NcPPl>DrKQIjsrmK{!fz>?z;RP1Fxj!hh3Nwm8UsM}uKTW&h(++EM_lfKs+D zrtKY>h85y|J1j9<*ALNu-@^>iAsbrpf8pWFr5#%=e4r~6{@!cxkl16QS_RF59>ghH zhn#F3{M^}6(aw$A^gw4IhnTcq>Yz(@>Ac$Wd?y5>s zXbE_2>kYaD>wDco?^gyX&9WS)ylFNF2+xuyH$MzA=rkC{i5Sd6;F*YsKjjTz1lDXkHeWpuAG^vxzw6Ibc8@0uAv_Be8f8q0tG-RUd zJk#b?7x}zIRdPM`<;cA%IDI2C!atML%HNN{Y>HLa?cd+VLJNR+Bb+5Q?JoC^#yHoL z)RTwb1uhHlA9Fs-_lS>j3e;lZ!`0&pGwhNevmX*D^&2_X4rfN(%=r{-`W1h_ej`2K z$=~d(2}qGOddBYV;KR`7fBW(Ig;J$=h1)cM0-~#nah9FATY)Ca!=T4`h&2zUxp?QG z7fN;LBP!9eVR=*{TZFG3RY7}to44t%)>%T%uNj|A@Y?3a==^saau-xz@J}!)9G-+g+|gUKn#UxE=nqzu1?1tZcP< z9!yUj6GK6Kqtmbd3nFhG;(6nGWgj#azSE4{;?Ia0(3K3&03l1S`sQD%pM8S>z_V5u zPq>Uq3`6BJH8pQjPshH$;7!UHLq<7{eX<=kQNya~QMD{MS?TB%gE}ZAXS$Yp{atfh zD!@-<>ZrB)T(o779tAcsH!(Puno9!B0W*`osVIN#T3b^aM;3n9ujog+T&VAt*-E*Vi?P`lLjc<( zULFQ9z$8LaMuTJW>-Rg|BWXrR2BmguA9l;8)zf|Y+;2USXM!ooq%=$^{Lh%uOnW>T z<^w(~%cNz>14IEdV^SMH;E2_NX~m@Xwx7K{6Yd16Ae(b4GhSFz0242j)d)8Blo(@m+uhu9@WLDp0WT_o%HxgF&*DmgJKHh#f8J-s?2xB-`E#H z#?(IRXTYbm3w^2FMGuH7V1TOAfw$H8enKXor`N9|#oemN>v6?i4Dx@n8Z+6KrVoby z`Qo;&Cx7ESF5gu7BpnbKkvM4csebr z^18?O%W7Kh-sTlzqQ~Fo&4X037f}*FRXHIYBbcHc7L0!`N86)mIa}yq;i|qRrZwEe zzCoUc0RU>Q? zhve)bt~sG1Ts(`|A*pD+S#hRoneen_mR)7%)A{kian~%*c8=_kb7=7-3%dt7+LOt!xTAO$#M`oS zX_=hsGlUZ4KuCXU25A|87Z;C(S)5FmKIC`B8VASjetuUD!C~59aR)r@5A&O8^m_u@ ziMfbvQBvE|l&vKy0Wxt0^&ZsuupDfUZiWT;=i6k58u>BIj8d~Lr7aYcPu>;f&21e| zLT>2l6B2Qny^FKRQaLOXlHFgn)he&~&soQIt>Xl;zY%}Wx6IR?wZcvW#{kF(a&9lv zHCKi*y(I&xqqeBN%80PmUOrQ8dx_At7oB|4UVdgT6#kyJ_F2NOGS!oAY5t2|na!nC zwufFJ^t8)*(y4ZtkL4H$sMh48>4b{)-~mjr8np*Bv9nivEeFNP+nvTw;LhXWxH_HW z10*VKHnPTv#oeEosUqH>gJMt znQLpI+6!XjiwUj|$N%EJ@1p^XqeYa`pI54{x?>A!#fVl>3egNf>%InNV?!U^>V~5- z+0uxfHF4@BL4~;1np^4mXe-g0d!uP4L?10GEa{a2cTUGuuli_UrR<|5Yl#(WBqRg3 zRQ`W4L$``OTn73Qm;&YwaF}}weBM}E5u^?438O=EVZ8u_40H&$B5tS~MWZbMrvvS_ z#|%xYYDOakaS?9|j<`}1SgZ(9T1OqU_WjwYfgK|xgqw9W91_I@o#qQD6Q4~BqJ@89KKnk0&lwwxEzY6@n(UWGdQP(X3?4F* z6Q^NC9r|?5@nm6Gl%UC13^D>q7@{>CEQ@=LaGul@0fI5)EG|Sv(md#l3<`7j5M9Wb z2$w}2;!>5SX>?&>E27iZMq46l$Y%*D*(rWXL`}!OwA!(HMq^q@R*C24uxZ~|;=_N$ z6J`Mw_mYOvycvanufYdn9Q}X%pB>2yDD!_m&p&%yRD;#4vr4mAX#p>uoumYu#+9JT z+XfOT+&5zgf#Nof@y=x}i5bTP@uaTVdD`{+C5}vdxsYa#w_qlz}nD8`X!=s=S=3Y$+#>dGimG`wUrtDMig}gcP!mXMsk*`++5@^4d6j7L~qJnNSI=J4p3?W0$_hdbv|t-M8VS&jR!rLPTe z#lVt!|KnQ7mWU2uP`E3~A|rMq^zLC4GVd2>$4MHj*se4Fp^UB1T;`7uA` zXFTTvUhwN7zu_hSmH)(NXxA9n>b7{IE#6=}9FKVM`+Yv-*W>$&k4FWsZ>s|1 zALEXYeiI?L4?gUi{{kUTf0kmklqzFenS&j1VWIo%LQEL-ui4RvwRX&_YWznfq`YC0HK1^>z)+In|#6TQFtbbk8&^ws;r z(|k0QzV*&_RRm_1ZE1Q(sV&{8Z7T@9=)8-JkIx7~@74z4EXls%`}{3G;O}9V5Bvxz z_oT7UC;orA$wH6RAJurxudhoU|9_3?ImYr$+Z2mrJt`67;~42rSOs<&*TvQ4FfAwJ zdns0*f1?V(|17Fb`fwYSf#aVJPL4m#j3u^q#>1=CmNLj7 zNG0@@u8TF%tWTHp_?&vE+orN%m8r-~htWi-DlUIaLq@rdrWke&@VHWbO}gr+X`@o| zaqoENeCO5S>Gt88EE^a!gceHccv;nL<*2rDEalvpa>N?Vd?&vSZi~ThyspZejzoW% z4zD_*ZB#&xceX$La{lUc|Lja#DgY}JWuP!6yDN+PtCkD#Iu+y@qFJ#vJYx_{OM>sn zvm$@(FTO*Ou`+VezBRd_al0mxQ>;=< zrUH*(O<^1JL`)hnq+@WWloGQqi zD-4>Xaq;9=&a(aG;c~Cs{kG4V^ljhbw*h}rcYYh7=HK)i|E%x3JH(e8)g|I?nYa^e z;zBHlyUmF&wUA4+!!m7?wP-uJAZ<4%z1-M!X*=;q>9$2Xa|_zp=CqevrzP6zk=z}f zE4v^bHYdKEYnO;WQo3(@TL=rx>dzU3H9{apnI*_|L3eWha zmyXPS5eATd0ix+ItCu=i0&G%3MmRP!FhfN#L`E_-LPbPEGek2vMKd`wLP9V$H8(jv zAUr}wI5speLq#z}Mlv-*MMOd~L^C->GdVLtLNGQpH#t6C3NK7$ZfA68ATlvAAd|nT zD1Rl)IZ^^Z7)0UjaYaBta9=@O0C!UlV4%isw~)*ecnBi{%fu5{1|9&*)X3bz)KGZ8 z$ycwZW=4|!l2o36GE}VUr>v7lF-y>&D#YA_UD$$cXh0KMumk&0bUOQpX9r+NFaU!v zWSv*y%CL2D95rHH{zi>L#=5S@9D^+6tWul*v%J;*i5iCjY``Q;!8FXkEX=_?Y{CL8 zTDSM{%aZl<9<^+Bo}*T*?n6}7&b6azcIzu@)xJB5s@vU{s5PhTYt%X%I-S1B>FQfO Y-w+=;m+x8v9t$)!Ff$4zB}Gq03bNQq9RL6T delta 61489 zcmX`SV{oTW(C;1Fw(V?e+Z%3dJJ~q7!i{Y^8*^hj+1T0Gw*7nl_qoq`UQAUFYU)$n z{q35XscG+o&uD>9poHS&;~+~XX9A}ME)C9;30o6EwY|aP>8jd$aM$5(-eY(BIZ?^0 z->+&J!C&x}U5Q|>S?ZbGb7 zy=I@j-EJFxv5eoJPEg4wl%O3{iOrda!OB4!@d>@=+1Md6?p@IRyu29p=wE>zhzqz2 zz(u3jwKRAND#<0wG9gu^(V-2)2eX9=)P7ff`EcaUkH5xQ7^P%5z1i;s9`zP)7G~O5 z@=1c$L~9CgY6K=EPy_BxX@P(%C)_U6vOrwe*9`~IQf1;GwdQS_O1}Ro^b2F+L9~e9 z=P*ZGK_2IwNH1`E{k2yC^8O01Gtw~jddoD2WD&5y{`t-A!~tAH6vBX4n5UtAlhOLr z$!g-!e!~D(HFv`o84m}@of|NLSl(`~l2yx9AyCLL@ zRhd`CXj>oj^vY4LkLt+1dp*wksU%>R8RNDdW=miLu3om2#I!gmN}t6q?#34K`CCP}ZU?Y6+LRK-2=M zH6-ag0z9j*!d?|2vm&`tGc&H)t~_kTyZ{{!9p-mlu!)=!L`S8%nB#m`nH4luKv<A(RK=>&u$ zbyZO%=n(j(>P2**v;j=CudmrSM<(S61DqsiX=qo7J?tw4ww&A1nF=5AuEbVDZD$Uu zPdZvnv!vpZvmr}UU%@tMekl*ZweyHe$d24?^3C={kdlj$489GrvTWf*GH3{i>EF1{ za<3}E$i$A8b@e0ycI#^v1>q~lDYou zE;liBrBnWnb0D`=TSPXHsy1Ee!|8>AWI3H>Bc~+p(=`&jQSGfXBQJ}D__O&>-fb3k z0@X&4_NI%@d8{ZL^wssa*Z(@D3j(E&UHqXCaFuk0>XURiBnlEmwbsl~)Qu%A|x!dhLCu7q0>g+(*AA|#=`)F-QNH3=X{K`MN&cWQTOrhP^DFGQ+pJ3$Du zG~#!a6v+2YoEx1ak#_$BRPrBC<$pj7V?<501aH%#N|!2kmwohYe@`IB;)=QW0PM2b zH2rbd*zaKAOwvLG@Fz0n83P(Lh(5ve?huS8hW(PR6#BGk6dFpQB-G1mNa`xEa0Tc~ zp%ytK7(pH>w%l|&;?IRs=HHPKz!A?%Y}M3uOc3bm=QUKodUiaR;p@E87O9HEZJ1+?q`coFOP3u;Tq^%WiDI`E za8=X6$)@HSZ`5F!f;0T+Yt(Xv77A0q#GeF;5cIQDM<{g6f*^wrzh#5;ArSrqw?$#7 zuY^mRD3vBadw*}KERd&rC`vnYV9TD~BvH|1(iLnWwYdnFW6+WU%-8zEK1WTMe1gRMp=KrH4U)|_{YS!8PIn^;O=L}3 z1rdmc1X(e6$oOCOQk4KQwoGF+|4YMuURijJw7B?1wT+S!EHdCyC-1oz^VnNQt$8O_ zj74O_OjU%=(@;ZajBx(LBq}&mJ-BLJQ3jbqXQ3!8^wHj`(9T{78>)ORmI(n2dS^Cd zSfNw1T@sIOP8SKGY&N7`e2!)nL}&J&l4|}_k_I^ZUmpOLOcScOU}4}X<9~3%|D&1u zADYm~hFNWebNuQbka9!B)`wmJFxFhe!(u)R`u_jNJ9S-60oPDfWIG?wZQt~#2(+-E z+Fa>o9dpqTyOQvk1WV2t%Bl~!u=&#}+JspVzz|>rsVnVA?3mDT!cEBy*^p~hNAi+Yz-`E@ERlpq-mTAux3RUgQ{6%GUHylWUkb8WqIm_NKGbZ z)!F|l#1<>~fwfNU%V*^nw$GgV-?x7P@c&zBN&5c|fQwa24kAtU+i_wKCS^fA=)^*| z%iU+?VJEx**p;?6f@WMi!U+G>xN1x~TG{F`d_B#cEd7ZP)z3FKQdJi+61`Rsi2YP# zko|Nt7LUl;z1>wCr)+(H^3~Iek#}lMTU+03b&e8+C5aL38%BOWLqUj&R(#I@D0LTB zEJhpwRqq8f|JliSU_%vqwZYN|CSb)U#B^Z8^M@UPfqwApBcr=YksKHz4<*67;)d%E znI$tLRoJM|28)*@mIFsb32xKC5abbbo}>bw&N&!>q)nEI6s|jMj~cVqaF+jOu~%Z> zU!KyeCJ~~hKvR7mfOtgBB^01SiaZQ$k6SIT+1m!|5D5wI%<4i%L}-9>#&*KDJIjTo z;^qw?m;@(kLOq18XDpvAG!jXbA^(c#MHXBdu-tkf8%xo3+@Hcj@&n2p8ZREjsZGK z>zj!Ek)nq^5VjWYzIM~Aee};lq8wE1l^1~VS6!}i)yhpeK`nRFrF}Ee%%@P{#gbpg z>Px4Ug3-6k_-pPjZg&0P7@s!7q29XO$@5`M;M&Vuv%xi|_KHT`NHA9nbD6n4H~7&J zzR(`sHhVhXE7C! z#8%TVuF0UF%#p#Lu_z}~&JGmGiOz9wOpxA5+o@&r+BhL{hG>S%@MI36cQ5$yI}?1y zN~XSSSgMYMZcdJQ%jL#o41e{Cfu<@UrN6|p#?-)pEFRGn97gwr_Kby&Q&kkC|leojLQU&KjnU+UYVBB zZ5VM?_22whtAmDV47{!G{+Nxew+vLHmoR6OYsKaYvZT5~PUi_&FqgZ@VQM7$eY4xh z64S(Wn?`F$y)6*N#o%6Lz@h@!Nyax^aXRLw^Gu7+=*J&t&zel*y$ib^VRq5!uFRpA8ud7`FVhmrhKKSZv70w$udB`KfT&_BzoM_w5`@vIC{g+3sGdavHf>3G zeVG{lzH%BO0CPAxxDdYoouZZ(B6(hv8eA|EmY;k|(xCgt=b87F(uM(>#Ugy?W92aE zm4#cFTzF;gho4!2U<)xgZ(Fc{*ow|S4g1=x$3NP#sW9SlP7N1+2#%t=Z3Zr``mX?jW zq;i!8Nt^oC9z_f_KI4HDaxUot#GXjH;|m7fM1)N1U(8>_Gn;)#D z>%JpgRo+=5n?sv-SnzX!!HpF7bl;Q5uXqHKWe+d(bkVt40gBomH=e(w^_*ckHtdDq zkEB#zKWadBUH^bd$Fv32Q=*mpbN1=dm*Y)Wf$aC=*4DYnV%Q6+Vw2T_58;}NAqoNu zg52(!90P+KG%FRh;e0Qw+9$`#3u9MQ;*MsF_K)Eg+)BU;t3!){jlSbbw=RIj{yVT> zYMo(-v?(xQ>Sy60zX2AiyZJr6kL_-x;2!vr$=JR1304=}BB&P9H*ssVdl}u{MPg49 zLJF}gJFUnX#@yDGwzkT+oN7dQADWrE8bF0Gm8Syddqmx8taNM+NH+T%0-;aA8%`hH zyPwY+DFNw)3hGicC|PQVvyN2Fo4gc#8kLxSx!Zp_6bAKk?R<^n1|2MdM=1``ylxLC zy2rvbnPVEqb~)_bGd8Y{PG;b2e|ZwZ+T84JSkC%15kvRdbUb+mG6-34BhT>m?MU^7 zfcA0TJg&-;8g;EKUAYK6JNJ6vs!LsBXYb`jhygRtZ^iSD=(6YVhvvu9v1;CWqjceY zRXRJ&3Bfii*?5O0_C+G6tXd|pDCRzUk>DzYey4SgVn)}<2ED}2 z4m_eH;8;yucDS4Ty#0_A@3*hhl8uc5137rM*gZsH27WG?>HN8+k=bE`d*;R5PdRtW zD$ zmV+p44?BfgooUieT38hBU!ta7_=;#F#sJvw;a0JX;6qlgxU5?PR#ilzTaCUXDO10@ z_q7za=|m4PmI6{+5BtBnb~I2WQJ#<8n$AuSH_49|v7X6`H{LlbLBjcQq;B8zS>I7a z=lIm(#AAxwid?0`JUp&9Y--qwc4)WS&G7J0DGOR%(#Mv142p2xRbqC|e_qv`D*`3b zyK$m$lnmTeu3}F6wbeA2?bsi8U-}fw>mH>;u>@JwS;3l}9;sb5(%UOa5|Ph5m-5Zm zTTO1t(W&YGnu;-SRwN@hJ#Idq2f)ERAt;SPu^lD;UH4ozpXB`1rOMxp4ik9=`|Tp& zi%E1*Mc?tzt!q2d=4(z@lN$-zm;vyP%MbJ#6ZPI>TBmP=+gsfYJe!bHH5k{;Rs)E- z=i732gpQ%sDs5)fpN*H zjNHT_YPpUmClw0XhqXr=1nD*;9Za?rp$-m*&d&VFMRfQjS9 z8^ZiG-WaP&+UKp?lWFVcn0j)0)z2Qbv&#GbB)mEdUr(UQYP)xENkDYkxkug16PN2N z3&nOmZ<&=lwkBt|fQ{Q3uCE)tnt@|#P_xGrzEf}i!m-0@t$=>`JSi7xogd$a%%ky1 z;%WBDD~aKpj1{A*F;acYZ<`xg8=2m#$Y|IALvgn4tMRC$xi{P9to&~s0p7N#KMg$3 z#@_Px!(mqu*U|k-kAuKn>pwbaW{T^@=zXj%uuM5(T@Mih+W=bVOs8=nf zn8^t%A3~z~%$nCv)WBz16>ZSH(Rub`QTI?KUAyzia6iqnfqZG}PFcWg)X6(Kj$W|3 z6vteBfcQRB`J3X|ZJ!-ej9!L=3u=PL+gQ5&%-Z8oJz2VA@w7(=@ALV!&we2aVad85 zTl@^`6@W5gHF4?gFO;X~=@j6rMg80LUVzS6!`gWJs`UzLMdY!8_p0BG=IYu*#>c5u zAgOB8Q8bpitaTmPnoEPzqtmRvd-F+>O-Wc$i03q`n#Q$dq1%IJ#R&6^|fbebA-3s8#V zH*CP55q)|Q;9?y0v#ugx^Nx&wDi3$CL@I51eJ)k(WlfrWw(_FnxtCBS5$$ySmV#ixA_vC;}pm5?e~2GeMszl+rk$ITc8mkdj^&Dk&2dw|B^*81O(hy69&1-+a#0*JYfnRq`x#E~wnk=;Yrxq|LZ7gsS#c zh_7lsL)J&2IV|Gg^h?nVFm@%6sz|*dREj}!CVNon#_$LVWzW|O(XR=?Y}T2OW7$Y2 zsRVO@zrxn^x?9zQIS$_X)>chZV~iN!-JBiqNYR$krY4cBsa|gj59p7t+dlYja;A6z z;QE#RDn;bwIZ2ot$ZCq-BnanxaB5hP00I zFa3&biq~bW@0Trkh3s`{Qwuw5^*<;^% zoM!6zUdPIf`SJmE5pd8Iri&I9Ph;#o8H!YRFqJ|%Q4c8J8~GXmKAUI$fh{K>*m*w0 zrsi6lwi#UPny~p+ZSGE{U&f*w;|O+EQY4B#&;bnRWM3XQq zg|@HX$;V*Kno7M{>ojsOu!3!ffGj#rVlTHb^#(Q}pMCh= zQ_*%sBbsnq_Nn%F$puIO6%56o@5W&|Ru8@#-UD5SFC@I05WIQ~Zs+hKJh9tv@U5>8 zMP6*-Kj5}W@J=#bQZN1@mlym}D-0J(jKli025!}5_#x^u5}rB0sC|e}GsY}RD9bdc zH%sHVj3k~pEpW27>w?PQjeUaFm?fQ!}mqO29Y z;<+yB&I%qI%>5gc7LlJPdny{}?8T_0X-Zg+gRPkT=u3M6s5bNCQWRJ~d6<->d(T-3gmw+sE)dfPYrxC%z&O^0wvmF|Fm9 zUDA|S>zz7wQrzR5N+Er+R^KrQ?&t%8h3s1_6Dn5GTK}D2H(KYkJsB`*X3K%>9CNJD zQ|v!5i(OV+G`Kul5q2NLFicFVKe?0QhB{g|$EneJPt=sro}DQCPn8I`8{;>f9piHg zcXE}TM1(h743UX1$BqNoKii;RNj^oE*+HA`j2kj&9&f-^vU!NRk)W@8zMYG#rmYty zM#|;%eF|?H5+myDxk(Ck!|^&ZmUOq4NHe50dhNiI3K2)Q2N-7i!z1U*aMDUXnp^%~ zoQ(|umq}=U*!psscSq>KfjNc6JV+h+&B~JTT6+CUu(bbQ|H!cQiy%i>XQ;vaNH|Oma_zIVf(|UFkKoUQr^`@B)7bz*{d5 zD5+H80`h-L0=KbuBcgsL8I@Pz_1hQLf7F=gRd4rf)yj{X$fDI;AqE8Y8Jk85q)7!u z{(H|uq1NEf?qZE1@#Lu|iSbFIf^+lqRDvImgZK~&<_c(5sE6}0`AGMkMqvFtFGby; z%M^SyL$Yf0t2ubON%XvdCgrmK!$ODfh6d^-1@K>%ya>9I(&32mez=*?^Ix__g$rw8 zn=%3mU8B7mt@nMPz2xYE5I+>z3uMM|qKq94 z0%TtJ(+C?V`c^~(d=xj|a*!XOMpev&C;7l{D01)vmSxy|RI@3+5;)|2S-yA!+Mv?X zUZ$CjKA&!Bo3c-BU$H!+7lo_ECfYg{{j}u*xzjHo*QInuUu#FRRGUy8a7~DhJB81? z?>D7%e!pI!E#o^mo(CDAIMut3#^XHR0%gxTu|E(eynX1qQZe8rDe7UJ(oJ%2v>Hc< zv3vfn-SmrPJ)||de%kB2Vfp=nv8i7AD1DG{5GnXhcxzI)OYV=9)jqPwiM1^_?`7x) zPp`qRpF?`X+3s4i{$8DM=Mk+WcBao$PPqTGaf1i^?(;6PPUpui?f@asyzC!W9M97U z>jc|P@p&^6YkcKq{8A|xdt1;njMeKNxDJNZYwrc%ilR3THpgUi#dx77rv~2)%GjdP zunzK@Hk!tIZ#>tyu@3N?G@3FSqonw z!mv@~GWu0}ZOr!9r;tyStaB7P(`?U0)}=~ z5YZZTz3F<^>lwXmtQV7>d}{ejuD_$fR%zJ%d`XIp;I(u34uUT8b@vGwBX1oe2WLf~ z=jKFURkU!la<~3Q_U#)72k-yua*(n8Ka=bm2QPOz851}I@KYycb4^%LE(A_?G;n^C ze13D2t8aE{mKXwKev>%Z-IM;mkxheu{if~Dv#smv?dzSu-L5J$=EKR&n z#fuoxJ&zV+7#wL!!@%ksgxTfDuxK%S^CNp?cc}XRD4HnMRU>$V1C0>{^wh}kh7flk zvLUfz`V#;RStt$;)NjzD5ax)kp}b09(pO-7Xn5skj;N;Ks*oV?C=X?07|H_7A>>A` zrh4c((eIKM7n{V)lau|ucJ=IRAGHqxdKu_s$eb;WZa*6v!N44pz~*CIW5B!xv?Jyq zL>;UU*&s3@Ym~q}%D^-eXhfBy6n{XI6;>CNm5T#|aP-xC_D)X6FCzMq8X8MfC*Vc@ zJ@1-=CGZQ0iYrMyJ{xH!Fo*Wy3yB(H?}0X9FUNBJ;dwr*^zdFhekOG~M9lmFl+t&gooterklMKs+IX#=Zr zi?IQ)yHmJEm`}=>rW$xj<$AsoBj^Ap1kvRIJo9s?w_Ga6XV%}ylJc?`LnvQHrfB4S zy>_}FMxq@kh))?pw}J(c_Qt5FMliyHFlIb+#6MiWpn`*pt!M*xMYzXU$3oAHpv1t? ztz<^Gg$}+hT|c(DL1irVus{U2e;|mpmuvR0X0e0!4lqsK{!h;r2~Uf*bGd zg0V^b(wJP99GV`18CZjVZS^a{LCfv)h`Uk*S=H9qU+Oyuf$BCF2bPB(TJLD4pA-Sx z795mmGWt1C3lQTxEGh`;6ZeZ*bi29=U;=3`K`BRwvRJB-w((7o+)4NOK zuSw>Ei-s3}cW^u%J{`~mEWVr>qh3NXX5hV%4Os*dND8m$)2RcDMvk5OC&13$0pj2Q zg+~4(SkKg1%>viq;{_L$ktq=P#$k^3Uk5CYDIt>^y#14d9*jm>Pk@aI+V~pj2_|EW zj{>x%q>KWVJnOX3i$)tL_ky|y!4~-;wgE;nClUeMNA=Vj5slwR^#$7imO=GJ#toLd zND6gI_6{q?KlUk>fN}=_XeA*7APPrW*kO?f?7otZ|E9`6#4f;SmPFthg_}j-<_$hk zgWXqNjD{e^`b6LchEGs~o!P&PhQM#}*MCTOJZ%A0Y+|j*cp~Z(rXcX~FMrcJrkN+)MIYKoLN_bb#giNwU#DDAkK;ydjN(iD_ z{|qN=#CsQUlx6oNJ5a8N$^1f($vp(B<3NR!0-?=9V{-#ntd~E?ejcNjyu2fP9ebF3xzT*ibdHPYKwnr}LC*vAY(ZV=pV$;<%?tDs$qTSKv{`)lJN-%vIjJ=GVVk;j~F!w-v z1Gn`}o$p0CoN?={;AM%4BinQVXP3V=>@OgXU#n4f?hNiQCHMvhv_N*hv-yn|z8g~Q+2FOec+G=1XL^RF z+ypRFPuiQDtcJm+$J$x1@JRJAA&mtbS1FwilK{W1SS3tt6eiLzjSgJ2k*QK!QULn4 zTa^Ugkna3(8LZlR*J5gnougB%AbzrqgNfhy8)5kf+u9|g`IWAchiD965fYX69{sxk z8Gw`RYAvZ1~DE}kxcc2L`9`9J%(%PC?tB&_OxVHJ~kbXxdt1_XRWNVat zT&2}yQ_X2W-Cciu*?cCd(Owaz)@io~y1j1rlev{jBKzZXz+69ulqTkgK2uuZJ=5uo zF3)LI%=*w3Q-{m`Qu&(x)a1;Xif7PcGK=iH$1VZ5Ot&Ki?@h5V7$gkc z$vw#be1^#IRBl@YH+S97P6LnjoPu_%NyDEGvQZJA?U0LR9TH-u= zR<*x_req;^o8un^ZN$qn)8`StILbM|qtdSQqi~XkVWm#)vylEa9uQLgfPxy|nCUoO z?>ZWDKS8*#$iydNhN0!4@2NrXEy(5^ZIrl$YF!UDAZ8YlPpF;>!jBzq|%ns59(KOqVp$4JdO=&ub450 zt5dKAg=w~M@l*mn8?EvvEj)Tf&74F1+9$1o1p8+9F9yGp0>Y}NKns6%M^r)79r|li z7-Xl5v@QxalNBR3?7454zLqh_g+HM;>oc$=zS8M3D!z=o0t2~r5lJ{IxMDC!tiRD* zbX@FWGud2*qhIM$)2nu#fWmK1M#rHK0$R@tEH=g+rZ2-N`a z%H$0QeyVRUEyF5ef6X)!J!E66m?ZbLg2TUcy7Oi0d~b$maqi;;V&NXT@`|3>s+71o zj8aZsaSm2dso$}@J#Q3vA9zbsz89C8{yaatsrs$<3g8?{c^us$wKZ1FeL`BVQD2gV z*9}hG0&!`I>hXjBIR1ua+hZE&EyL05<={0MKAv3|O%>J!4 zdM#=ri+#w=&~db{esgL&^p9O&@L)`d-$flrBL7~|7jpZqT9{T6L}U_1Q4>$HvmW>N znbDv%2Pm)2-0AA^((l7iDxei*{LA!46GHcI{y^N5k~lo$#llvpo2Tg*Q}<-AY?5T= zV7T;>#&3Ydgz)umI2mzhcb9&XupT=&}E1G~`0Z_SV-Gz~vP7a&{T$b;LtjJY_sIh_NFF%FI9O0wn9 zNSxbpD`Uw}oV4#gjk5u{*nB?&iv&`A{k?rWPrALT=`fx!oM0G^M^(I}pH;bGc)uH3 zZP6rNx7Ug)3gPa5Vz<32N4GXVZeHT>G6uRJ%l(>B_W5<1%9GU3D7fmbX84$6$veif z0Gzdh2W-^ZkA4qX%^xz6MnvJJ*=CFQpt$~N{@cc2GEgSM8|M$+y<16veyp{U&9BQZ z`slXK*T&|#U*e)*cIx%{9;(|Iy7PhhTfonZ6mwrWp{D2kqYUQvaJyTFI}>NKaI-9= zRmJ(W7!W<<>bcl+06$G@YjZukl&-eX9w2NH`Rj%Y>+)Py#Rgmhi51FfbNT$WaWY&A zHHssWG#YCq6;CJBfqf${{9J=I*$$Co^_xJW>*Y*O1<^b@QNts$kQ{-R1O1xb)^j|p z9HMi4t%h7fiAakx&3pt}QK)*FSW_5YlS@hSRO~3e$57{l!OLYQZoe3Ax1EZ$E1)X{ z<6A}h`9YWqF9SYIdTtcz9Ha&p7Cf2eMl*19v)f{5h)YQEr@*ptSmL0MRz0N{`NN=P zVM+{Qyr*~_kjKFRT-sP0u zi2rX3h)E|4#Cvcxl2H~n8$VK~d}<|orceC6gO5ke2S$V){$J(PvoVx~T|hzz38j&O zFEgYtML_11_uUy!En3o5(pBEl%68rCj;P^^V|fwjU|o$f%B(mvtrO20-HETGfQuz6 z{ZM63cW=c?c4R<_{w^7(d_k+Ad{qc*c}D*Auko4Wg|>B0@8i=xjr$0s{rCINPT}UF zqXc@^Bcl{PBa`NgJtD^PGyqlknqUsTgi!ioLe~b02Z|ziZeq?ic_SsjyG`4`5u^LK zQEIG9KbKeYUvtMTdRLvo`cwg9^^_XsT`6@h^5n= zMDXu~I~Gq(;q>(I3v&Qzn89ZqC^C;QVS&is6KqSS`m0Xg@hiHdE0+vSV^8Rl-`ZCE zr2}39bF?|Fx5uBT|`{caOM9j<|d|3|W4it4gTMoR~^fB&}_fN4m)nkr+r9Sh{@< zD38f>XP-8~gC6LpcqFLXm!g2nqMbfj9~Aj4``0As-=nc;OF)1=HDopqgeF`q{=-d1 z*#&Lt*i$5@3mi-`?s=(i4}f_V%_LhQ%<$W=PNe#WqzbVjlU!P5vHcS~e56T730N|x z-Nibsb%K=Fh>4g0t_J7Y%w%TtMKL(?z{yLYQA^W1q{(RYdB6v0DlS)Sdv-a{VJKg$ zo}-m6ke}IY0T_#;!eR2z{?T3A?djkXv^Y6y*cmWKq!ZyHA7fXjHQlyKlgr29)IUad z+bKML2xx2QDa-5xo`W|0A>J&l;JM`!3m@E=n87dc(5CH`>Jw<;L18HaZ8>)3?v7AO z7Nu{Gp)hNAA!$j8(Blpb)85r4<_`*S@5=aQ__^X<0EF5|DI}oe+Uh8z3%xvrLA>fg z-?aaY#gh^5RiZ~q;9MRV0;ZJ2F5>CLA=&ci6*u_k5_g3&ySiy!_F|Ocsk_a@J{dvS z`b^%C2_!mxLyvp2@2{B7-BWb$EZ|-#HQVNY_Tz-%eEnn*i^x7i&8bq%sCuHjs&1cK zaWmx%z!f@vI9ccELW!%;Nfu1>%RcOtoiiR9+4nRVc@3Je5w8m~v&Y6ppGox>b^U_KA z-<{K5II307+6n#Bu9SoDneiZBRdcgl_W;WmjQWqpF@bfq&t00|xr<<|sLMMcSasYD zpaj`7PPG=29NM1{BY39!m2xxUN7)(jovk*^@7~yz^*j?MTF^&!uEb8WiFR8Hh@d|a zK)HD&kmo}K-ZZj@gHqBpIBsy7UTYmKWLCA?YYm?)TYZ&-5trsbc5?8>Z9kXCzkagt zc-umzz{wHWm&=iY#{6(bd=`C;nCjD2+J?a)wI##WG;f=!1(yn zUF~5zGJTgz+*X~w5CzT3s8Wu;=SHvkyslZc3Bvu{0|H5LHqFEu8u)PH>-bT5m$IeF z9-mMCqzPk0^P!z-)o9(Tl%*DQ+!W*Y?S9JW2hRqHfs>}im#OpTPNv5WLOmLVdFAb3 z_N$~S)h+E;iRNoK_1^_{uL(l^%WOs-W2@+>z)MA#{& zC?49XW1S${vjg5=0MoJbZgZT*ta1r##z0@AnoZeT-$0~~P}GkG@{;^!0N(4ga?#+% z00XR`{%U&j}l>WvPnyIfcHSBpUrzbGzjJOL@P=1lK=R(mxb{yUjmz zS9L$^7O!1T-gfJ6fVT-*5uJ2&I-dkJ;ZG!y+%an!;vZv5;AphQ>f946WwSPnZkP>7C?M1EeLBj8xtfva=Tz{ms}a>A?Ez>Pz>MCW(eSFVUr;Eciw7oK zSMZERq-tdv9$FI&5*^zO&JVAUsKc>`1f3{9U1C+E4yu3w}r)R z)GZe0G-H+9E$5}$=0JudmiO!@P4ls>@Y|0{Gfi;_#};rZ>mJWk zYq^uOQ{QQDTK~LYd8jY$JP$X+&=r9t{F^|SUN&eD3A_`XGF2GGZkn&qWGne~hRqPz zZu>>}ZkPVC(v-Z4eDLg@#)axK?3DcOBHJ;r?PAVL*?xiQL__R<64R75z!ex&5wH4? zv}Ct-pvGeEWfsmTcmRTr-rDSVmxgwsz8|S6m!+C%H^I&d z{=)5a2RJYN?eP>`++ai?gzz(78@udT8Ma!+GD@kUI_QM|DxK{y-fp%2S~%Uc^F8m} zKcy>7VMKKob3{(!fB#Gy!X-pLN7y#fyYldIglBLgy(h|ET8@Aw_$^V3GF>gR^30~pEvo=r*zlv7QCCfb< zfi7Rh+ht~`^qtMjO5@Hp0m4kKZ!A5cqQOJ^MUayj%M^M6F3O#mH-!?6^K_@GWh%xf zKxaI5YS%awd*>Ax=ww07-1xkq@H8YB)0gl*rk=?W@h(1T*aSM0@LdU$hPd$B^o010 z#2=ND|DTjcYwrhDa>JAaERzOKoKQg^bTIBiY^cyzi?k)Iw%Y}X>+DN~ieF(Wp%Lh{X+R?xRD}MP#6PO;n*GO;nmRxCZ#eEG$#ve^1Hs{=LBNA-g!e9MFBFn< z*N#g=!j|l1m`zjWMLg}&jK8=@T5q^oEvBz|S_vm7jX1H)IFJ?wqc+;$U9P+VO!kh| zsNupUw>Xm4kR6#Drcp>1H}w3zg)TbUOch8)VWR&%?*e_A_8jY3q(1cK=i{_iSfRz@ zNB>xQ(e=qx)AIfcXSGOzRiSqmyly+n=F$oJQQ@74Mt3YH(NH47234q4K~V2TEtqCI zvr!f6L(Br}Cm#-{p1&evYCVoMAUWE8XV+c75wE;F%PJ^9v!9|Pnv&jp;?HgWJj%>x z9RCBPXr!j%Rocll3W-1O#d&dn?u!z@y_)E^Y`uu$tF$#K>JsonD&A#a>uUc zcY4bqaRvIbHxlN@Sm!HE)@C<3LixP_wt+{OPWrM-mzd=HU+So6CHey$Vfx2b2@J~z zxrib+i`sqyw%Q-Ku%0;)C0L;%dN7A*1!4UV=8X;3PAftbJC-6$8W{?CDN2ia!F{Ua z)AHi76++ZwVZIv+z`xDTep;;o7ap=G5@LPoU+p;0ipYjb-L)@L=&D!m`CoqZ%cC0S zQRL*iZ|3ITb}FBLvgXwIe4Sioa9RnbZoP_+hWeO3?G>B~{k&Vdp$tcbtxew_>WSd= zWBmC5|M-}ObR2*FL!|0QF~wE-WEcMVf4{^E2+X;yKWzyjEP&HMk>E9vY%?@Ef*%OK z^HAIxU^Tv=h*IlmjES+oBcbCzXlRULaa-HDNZ=FKVI!Aw|Iju(PyyL@(H_ZWm7kxf zmFjP6n!Wzanf_{7(z;q|mHgIHo7N{pN@Q4=yLp606gjn8E_g<)dlYwOGP1fJ&l?Y3 z^GFQEo7Llhq7BUdp^v?LbQQ)3VX|*gg$(BjAc@7q`1C#{dhKWfh59lh-+g}u_H4o5sFEyRb-`N#Q#1f(bJp%XRPYQh^{bn9y!i+% zbnV~zImxg))zAgI7Y>`nemV2`;5xtXJNFBRI^ehEYslr*X{iuovSWQ>SEV7&ct26t zR4J+uD@{D5g-~-3o{dWS{{crpxW72}W1dJ&x25^ZPDP?Cz2#20DL<*%8gv)8lcBti zQap0}j4eO-|N8nZe^5C(QL!x^u6-Vdhexk5;*=x5QPB*)_%%=NWYG^vQ#rKDg~~qh zc&1QKq)h7(ID9Fj!WbK?jPz^++5Qdx4M#;`260?-5XO~8hA*j?T@(j9m?EnuZn^;h?>@9{d6-a#{p&7Ym9H3Lt}EEGwJTb67t zL4>gHtmBaJf4So*xmWOCL&J-s@k{zhTQL{$SnmY!Yy3*%kR3cIFj2ywYmOQLBLH2e zaRt;7%xj8W6i}K+C|vX@cC9J2OgF!uyvAn}k4tupbCLLGK@Zwl4 z$aU>ue_LczenAe8gTA0CVP2=I+>tZQgU?sBtA^dt?GmT+;`b*}=+I1i)_pq<8b-+D zC@MCy41BPqDJ_2v_^zpsC=+xOz=KDy>%@JVuk(wyrAUWQ*>SpM20MbBL|_1}dyC~n z02q9yQT@my_~Ec0l`hx)JG>Myd}F?99qp(Df9bX9Sy;)OXS2p_f@*pALJ)1GaV5p| zHk$C-ZuEtyKQ%Ip@ZP%(T6tE}w0@dXLf@OR4?|3~pJSV2ymexpp3=+LSgBw8l7A2B zvyZ`y3mZ+VUV9Vr1gm@Sdb)eat?CAAaaL~YYfz+am~upHKe_gttOpj=?mHC=?1{;% zf96V~KoXcyol2PvI7To2b~p(%EE6^^rW)p-6mMX+&4ec~kE!N+c;{4tHjA5U;1u{M zB7Fc_m7fc-%ni8PaImKIxE42@4yUFm?8gJ^wPZeZUBJ~VW++3eNU0uNzi!54%qX`E z!wT&+6n8#w3cBR^A|)vOw4Qk|E+7?=f2$bOczJgLlnm(qgxTd74R2PIlY40#`h{Lx zd$vj6MaYejHMw)JMxl@&AYcnyf<8vFOd#$?rZuc)j47dil9b{cJh%hUV%@Pl_N9W54e+yX^ z$r^>J$~G}T;Rv=x`Nhsiy?pniSr~+i@{Fd6i`K=bvh;_K+v4(9*t?CKSO-qcwBG~< z^cdZ~UZad&W8q?yGJ^ukgMC+!m>dZhcP3X7Idj-=_!&a4nfUD+#G*PgX<~?W*JN@x z9#%&-)!Qtp!>c3{^9lk2re<&;)zG7YMWnpwbJpPiL-(MIC9|29l{QxA7Wjg#x z;JaOB;Gc)R^oq6Hb=q(DPvZR?lTB_1<6)50Buwvk z-(lv4Vl_v8Oab`Dw3Yn~bX&nW`4(58@|HF}JA0uuskXXA6e~g%Gpb$ATeM_!EnuHT zx?+c$Gv`QUOQiSLb8p%jfA)l4;2|5#sm%{Bgp!z-3!S5f65QpYn-#T8tQiT%f{qNv zIryxG9{5z}cjpXD&YZR@Mbi^%nwdy`Cl|h#yo0J|h2^1A_YwCwHeY6* zcQE@eiWYc$aw#pu<`G<=Dg|T`qbX=Ah6D&$wM$&B*hVT#tll$=e`Po-Xo$jiDy}93 z%R_6`x;814J!hDTIId19zV^12a^uhXsX3V-Q|sh{d4SAPh|GEhZ1l8ta&Ng?MHTR+ zPF0A7{vw1al%tfXh64SH*}uJfpMg>8OO%**7u0R$3GC>{tP-d@&SPhN3aop@b z!6RtxK*4)0pZpZG7?E5|IibcDIQPW~oFG2B8d&5P@LBk&O_g108zLOHm(fMT#H;aa z$NPpb+cq^;{9G7@iabUW?DHk=SvJ9$(iq)14menj|Y)$9R;7V1eOE z5ER}w`13;XIvfEj;O4j&F>{Pj-TmD+o0g&ci1(I=@b8H>V!R@M5m0;Q$+t=O`KqXzd}EraF#Ef2ln)kX4yE- z9C=vSC)3cqD!}X7CX6L*>@ZvYW?i&Q1_%^It>e0i-1I$G4>3HE!Yaf4{yktLkIr9dmjwe>)cZ4V!hQZCNDZz=AcVW3r3R3ytRV|aU?5@`8R2me`(uxw5xjt{E ze;||F3xAAAI@I8H{ExkDn<~-Lda}J)($R;#6YA>%ZdY_ZX4|&Q>vC1%j0(wG+%j)N z>8;Sov49;d`--faMjO4vrh;DiW9N^RKW=KNNYM0#?Z*Xclbc0?`NZbsO@)`?eu54k z-?ueN>hlaG4?4Qc{fcIIaBdZmwc>nFf8a{{+*RV-M>t+kz%S^=FM9&#M<}9%X9OFA2SsHe&{OYxx1|N*2 z7?qAT#!Hdj~)Ry4fy(~Y~e}`US zw{4e-BjD!c=cwoSSL}Eb&L{LoUM^apb@;}zftb2FD72d%(U|e3L4>aS6yLYX1cy@B z`t?x0lS30ZCPXC*+NhbvX3M~<9vYh^qQBv~{pm}xM7q=K`{W>%bf8{`=D`oVK@f3$*1L?BDYUH(0(Gr@^_23{`w^MPIj?;!fh*9m!@ zcyq>464Iy^AE6m|H`k{N1*_LzRY!)NaFJS8qt=@-VvfAMKIKiYmX-5hp=humMt$7Elu&zr(K$Op(E9(R^rM>VpBL4$u$}W?5%#_TohdpAN*17 z;Gjvo9p2a`ZspJ!m}n(fEtPky6xLoYW@`&ooo1aXRx>CbC|)ilp^s)~(gI9OE0|u5 zMoxOv=jO!Cw--ON`f8h*f32Kc?FmPq$=9#+sNF08XXRz!$j~r(q+DBz<4fK(`0K8J zSFLh>3hab%QWrsm<8E=IlZ{xfVeE%T@3of`e^GQuXW)ETw~XfSBUjF%iIVOhGFjk3 zB7z-^-g04F5+69;R?IzQ8v`u7>XNib4+)siR_YKw* zvGwS{B8O6~;sH8=1vX1e?V?;JJB4Jf-z^790gA{-8ks<-q&-?LAl^q*M<}PxbArC< zNW&nr3v1(AOX6Znuh16bL3|oW} zz!MroFr_Q^xj{_mmR=NhU?bwmeaH8Z2MLf~y82o)VC%D9OEFD7DBQQHL&f8`uaK@` ziba`Q#4{Y9&&lNg>Ub%=o=3>Y2)Oh!+(Ho6zUf+NdDCPIi-YPPmi9uh{ zLt;JO)L|awq&DpH2o--;@p|v=PHmqi8-9m8`TXVPi%zI32F0fZH`K@WT&qfTZt}^m zF*H=>f1ky5*~Di&9M4ltB?&PA8-D8gWQb{IF{5r0uW>M-NU*E8WWgO0X=CSm^w0u# z8r=FKhs9Gjo>f{#+&E1gsklQ zzr-hQCsMea^?Lubx9)45>xMP6Jt%k6cQ_k$e`lP%hnLzX+HpH?7t!IC3u2V_u*9MZ z`p7Iu^h)zZm|$p>#bu~BH&@v*`BiQSOWcJv{5XyRVh#h^F;FtI>Ehw3wJF>fD*Uaj z;gr1$iVN2^k8#=TZg4~?JE_=0Z*{SYCAb1^7L8^ zf0L^I(%>onT^BZkVn!{2|5QxxTR&Yld{^WFT>3J<%H^rC5jooHs#Hz$$q$b23k%6V zSxq_^BLZumouVRhezniO#hCu?me5Fs|4T5O&+Q`uKK#&env{(t-O~+2{QeD`wGX=d z66I^&kwFSC`xXt`&6j#1ylKyTPvpxYe`BPk^$1|wV*LlRrN@qUZ;rLD%ZK0+OzNeM zQPcZ|@NA0ZXT>oQ;dNja&+5dwnU&8RaRiTBTbs&;q9e?!OpO+Sp!fuq?VV!! zWb7gxXLK02oSv!7wrjDceQ(PT=jbM)-L6O}Hic;Di!#%rh$a@)O)y+itCw>U+q08lM?rQU}x$%>Wi}q>A=z1#mHrYL%HBt)6Vevi9x9>UE)>ee?=aBt>SIi zyFgDaO8hH?5%oPg`aTVON2*4hR#0vu;g=^0I#ukW9ebkBjFts@1F&S@kG@e^88?HJ zM)u<8kc8@(-77XnSIP%C@aw&Qs~0bz7c50p0(y9kMj+?O$_J6f3ao>Wz4ff_=?Ox zs+`Ib%wjwW+_KTS(PiTZ9ntv?^axA1QkBBWNi`|{Fc>~^VA4?2u|zm%smU6FYnEM) zH>Qo9fuxR4xr?*+_UmOe)b8bUECP=o91=f;KFRK29?% zK+Eh~BTv)0=744Je~$DDefIZ-=ontsQezH$q|A0z9WJh+_7}e?E^&9003y2&otaaK zZK&L?Ax)flfPZJjvuMI zH`XrDCV?)(LUeRi;%fdR`Xz?Blb}fkcEm3TO6lKkg3j8Qf3BJb`k8qH>CI0U`B>V! zq-nlZ&uYTjda-C78ylpDYtzk!N{N%ntlzqc1XhszpHse_1|1MsZZg9E*ub~?zD|Vh zN359QqP|EBJ_hVm! z&$wpiDIx>=e{oQJTw2t{vpG}Wl?J2N(eAcnkVh}$oD$ve`j2w$sMoK^P$?dQB+aB5 zL)J|2iF%Y?NS(iaU|jQ}+q>zU&@yH1ElakU4gT+aJL zDM>aXU8H`vv}?)I9C^tNBlr*0(br$na6(YXlj&QrO}hu7Cl1Q{nIv&dQ`0o7A8*R_ z385?Dyk?GuObJX4x$)zWg$TIh!$N09v87C)pivYXW)oS3Jg0%~$ap)Px`j(c zu$xYkf42%3QTLlHH(uz|VyV(T=1338>fQ;iO_8}g)zP6$N4u=&g%yU(xYBOhvVJDQ z)UHf86#?hn@gw2~+zKsx(?I!%!e&VyG;5A>aU(XhZ_W&J#gP9!VIQMyi0`y6_})#- zjB%}yirh%y`GYW#a(PUIp;E7f%d7{7ii~lze~p@Qf%VmPW%QaV)5BClRw%+-GzK&b z;7Pti*3PN>`Amf=hB6x2!l^oU!x<$9XK7r|aR*L?oUmcd{;JHj-gV2|Oy%7%JNYR3 zfg6$DPbAx->GpsbR8!w+3^U{nr0d0WgY!;G0H+>@{gN`BJP-EB?p4*7O!bKb8b&UT ze{xSdRp^2)1|#c|8uG9MEj}b3i9NKyaxhFc9wRQ4S%{5G-h0wDw;v90cfJGgkF0NB z_3vST6EzcMWb6=5e_6B$4&M>bwW9~Q#jAzxwTy~rSUH3Yg%iFmTr#Q`EpA)<4%0|RXAwZ%dff8 zfB!qJN!2sw^rD8(6q@ouKTJrQuqWz}D{kP+VSx5mVCF~17>bpSu;y@E$ScNle`KUr z!q^$Hyd@YIL*!81ClFQBkL%8T%6fV%XIlFiI<{&xQijgX{+;MXvboZAv-ZUIIlZ46 zJ9+dtB+ZD8qnOS_FwHa|ZSqn9)FCq61W?B8EWkJ7)fe+*IdYB$3{*scJP+z47uPc1 zZZek{3worXbxlOTjO&g>c@H7Tf0hom{F7evy!%6>tNmyN8+J7RRBVOi7xJ1#?=Fi} zczqU*yaki~us3%MDTk(S-(coqI_)8hlDK_(*Y(|FE{-hCL2{B?{}AQIJ@&|N`@6DS zl2qUcr(_8!^4pvk@$IS44K!nnSgw(Z6oH{3CnfY^^jmW1mRzHpiO&J>e>*WxoxM`5 zN0*tj1bpq7ll`%;w|*7vs}2MoFSpZxF`+MOD0^Q;z2}~nO+_pGVyW<$l8zt0rRnDU z>VAyj`OTPYMO&>c)(2hvYI6Tvhb2Yl`__c~pC83@JkO6#4wfrZW1UF&A2JDIT7Aby`f^f3ypwrDJ6U<3QHw`RrcZPpZVFlzS5SP(i^&xXC1CY=#EE zl7Ec7S-3eSSUcLu=k>)z@{ht32^%*nx8^Ag3W9mR7s{J+YKQy@WrXQhOEhld=cO2* ziN~3yO3z?K8x))Y`v8_?qVoCJ32B%1RbN{9`@^}2pX1IV3qkuue%e4Y26zLlka2iw&R2=QIu?)U0v=uk+@Ux#9+2leQsnLV46 zwqm_WAcf6JK)T%=e-fkYDQgTvX>=WXzhc!LzQRhlY5X>}j!bdPLIj$6EA|sSZ2Nm5 zT;q3GkK@p`US>s=0V4CjJ-=}{l0D|)pH$4v6yXm_KG&bZD7r0Mdb@R^9Z+CrZciVs zlP=2ikStlfd={!Ef52&D0IlATJ*o&FoM0;9 zDlx*Pgjl)Wft9{_k+pnb(Z}U2eXltG*x&?sqlsc&XiL->s+gs4}Wbr?7Y7bd)Xy zonkUL45PD{f1Hww5Ag~5B;&uBKheuJo7!Pjj$lbnbLH>Qo9-XF-D!@ZNJfN}q!~Of zK7UkesJ0&~f(_QY&Mw^GFeK9yJ43KS-uY$RL5)BGg*UC%XVy-9!Dy*qnwue}dYYDN ztjy!}u}}N;Z~_$w*DYM5hwYm9^@={(=um0Rr%OeufBj21*}2MU<5nqDN*o()sdBE? zCr0f}jwD;Sx-ZW0=#th{o%h%~p#8ZqD=fW_W`UoY^Us95mmkT|1ey3Mek?m#RrZD? zzITF6e2zJg%oOe8LCH%+!{36cKOD^iOL$}jo##DK2Cej&h$Vc!Z6~?rP4bf6{~<3k zm@uY;f8deL*ZEn1&NQTnE0I2s?tZdKL*4lbQ%7oclJY78s>*9#L}6I&ZP}TZR%D?_ zX+rp$GN3*Kc5{X=G5Z|I`pl{k^G{O#_`(vM~*l8Re>wY1;2c03Mk&3 zO$yVaYQ-?wE3sqVXsxDrDj>t=B@uF{G_8Xoe_s(hHfoK=5u$f&g^3U;oN$rj@1i|N zmO=>;i)hu9=@VdPuy3s|(yoj75l8uMyWn6 zNs!D)h82DS^q;6Xe}q~}s_9x0DrOq>e_iiycn)h(@x`pPdBvhEgN;2;26>Ba+!JM| zD;>*kWoB^az9@7#6+EkYj!3P#+LMY^-I<0`a`%q4o*79?bqTYMGX8nS^!OZe+HNs zPY^*2ej$)x28Vcf#`h8Y!^s#-Gbnb*KYEon@sZ3T(>NRJu*xFv@SEK!$$Dhv@lD&i zjuzf};}tm3W=+E6QmoLb?>)o<-`pQHOA8Q@$GD<1goc8>r<2jgm%5i!%(WOta239h zb|&L2Ai)7m;cGZ0;CE{=t(+1fe<>4tKL}lnbiiAs*VD&L4=Q~lG|zx};h~`0hVCAG zIJDb)ZLBmp{QAqQ#0$&NFXE>6it4YZ_|&*Y4p0nU-TMi3@zN%9c$^Py*;tfp%kaXu z;K+FjsxB)WlSJ0Mbyws%mnbW!!7$yx9TI;*gtq?JheHTnfm;CM4pJahf6*^h|H4OA z#-l`@R>ZJ7KT?I|&xy=ilcyos+h5O|#QEurqnbAyYA}CT5`>pYq?+?eoXbsK=z|2E zvCs@x8P(yBev8B=U9D#9$?c^1Hi_-Y8eE49A1}=ti5S8fA%tDhXv_nAWU&Y6fS|Y6vO1i7vCy6 zs|*f6<=OTh1wN}k_m1#PxR6?L)fIiS$|U$D`t8j&!}&vu=4CKeT5wV4%_{)`*07$Q z%#qUb?uyHu-Fxo7h4r1M2xS*CoH9T}iJ=E_aNoNg+bwz;n<^C6f2*+%`@;`Jse7a^ z+qmX2)GTMKsumnzT)w(H-Y6D!vyXEH-^N4tK6eNxboH{O$04;8*OnnJ68e8e&!Qy= zdm*wshg(WmZX+$|)IjG{9dJ5>O+V%q(H{en05;(=aT-zfErpwT`>G?iL;{_UzwvXJ z&Dd>M%mVwWcIdzLEm7o!7a2bvAENYHx}h?iM9Q6z3-L>Nw(>wLlsAl?Druf4ohi`k}_L*tNS(7KXMdzJ1uptKDecrW7wLxD%DqlO(o?E-X*NCz|d->c9<9Z)iV#6pM~c-j%tv1QS;pMHM(_ zCj_4lsH+{Cf3Pze)UQX8Nj+V4-inmx96rft?hHfMr90)wbySBmK>J#*U0QU;TKv@R zbqaO4fpZB9UqRmV*r{p^K3r~Pg311Qn+d&>nvMsIu{LLK)2_UwlgC5VWzJ|+RRrA* zQ40PL^dGyOSBD+vC_Z2A>G7ubE4K?6LB+7Hy-;L5e{9@Rd-OV;pN@2U_l@DgAcpRX z`0=G)910==$Hp8Po_T9?U+Iry0gR{t>TpFVu4bQ+4~cg9iZwQ?HvMA^KjdGZ!cz1% zWGF2*2~27-$G<}D&&`{B9wMr?@sy(gR+42=1Sh;%22rY)?&sFlA&#?eI?OnJ4n)%C zfQor@e`>A1gVe?RC?<)l+j?+}k91~s^O-s%YA<06iP_wg)aH5?g_)nh5aUkjMIN^> z3ud?WdwMbK+cU-T9b-E3X$&WdLUSn&5{lOxBt;oO)e3WH>3ey{Q#THC#yzn(zgZMy zDLBCQ0DYRsW=7nu^jLc<5|2^NSW8qj3Aow*f1^XvZ|GqH=hTC%CMaZP&a(04KfcyY zly(?Zh7+hJe_iD1@?XYEBBJ=9{Yoe9tc0_^#artWkSJkuQIgc650^^E*=D{})>uq~tfCBASIPj-qra56fToy%nTGVxbQgmEd>`K`LNvGr)76AEh!}M67R8 zf4$yOIfvElQD!UJ+TBPVRI&bj4Q}RgA5Sy7LAG$OC~rd|JZ=L48a^m8SNdSZudO?A z&uwRN<>z>3d77xUoZkEar^Jo7-&41q1u=(%l>3kbf{E=D0cqzC%YeN*agQR6FXW0? zn}Lx+xF2$S+^g89AIQAtG?^On@xL&df8Xbpj5H|YG+_z|X?F#z0wKH~1~boGL1G9S zo~W67^0lqzofJjfz5DK-6>rB1V$)xMT?Cmq8{ zq@b1QK7Fic{YND+wYu;qr|4x{MXEqHcpE`jsN|L?@h{mwSe@$;a z27aPG7=RzFwONi+7#BS4=YH+aQ{-V(poG)h#jC~NJgvxZBWF?B?;;mL_(-_DKp6!P zF%JvjxQ>AM->}ZaX4vQ;Y!(Qs)qYxTnf%R8orZdKAiTUHKD#jn^-SxPKMWSx@y_&e zbi`>7rX2tVgZ6|LP4jVGmJb?_>VIiMoJe5B@&7*WVaCjO{OPrOi#W zd^Co|_N{-4Cnt7gbv2I2R|+F`RQ?Qg=4R!I5m1ncbQT6Z4hmh5Pg0Hp-t!jWB{hIj z=ydsuy{F{Z^No&%MWNHT#_Q;RQr~6-aBs@f8ZZNHP@MTewU7?Z=lcS&yY7twzOi!|HBqJXS z8*C(sA|}C5@utvQfW1J^(h;dftZq%?i_g*s`a$xvF+QR{#I$j*FHITa+R=NfgbC9lX-6Clr&VPagWL%xHbL z5)%;f<5pd>7Cc@PT^O`!G#9*k%c;4u%E4%Q;dMhT^T-4FG-(YU{Jyp~(-fF5ilfFB zfi^c`*aN9Wm{vJFf8oKj8#{f{vLn+^qcBb2=Z#{9M#C%}mB8BB^)L(ep3#X+s!G?p zu<|Un*2Vz zuVmgsg|s45LL@=IpbJ$FXu2DY7fU9;At8Q3fJ&^_pl zy!Rrii|iZ9GzigppOilURJZI#!3@Xuky75-R||hSaCwJef5RSt`6Vdpwc*%r7_T6zvvePz z-1ASIbRxpSNSz>^c;KS_Kc^fh?feyc6$?@_Sp*c67Q9}6Y{Qy@h^T{@IS=}qOGEJ% zu;TWFQRg`2WZ3EhgSZ5SKOp@wXK3Yp?2l}^)g2pf!PGp$sLE{uO$Rvvo?-T>XCc<; z*n32Jf9A*K|J-7fhvUUnw5%g{VF6QSqdxRgP*e{}2ym&-5w=#C(AKKDn3Y z-}+=o{t(x5;RXPKWze4hdfulX9NU+z5ytvb=`t~q_qaT=M$Ilu)j$^}rf9*Yj$>X| ze`p{(b7|h*_EJ?n}=ejPWvEJl=j5cUP>nz$<^+zu|8E=G;jo zIjZXy52xYYmgk)t6>d;xYTF@KOxz))<2~}981|X+SRWMnr5fP49cu7kD}enDhO7_` zJ3|+1ueaX{6>(AbVqRk@ZZcjhGL$c#f51*-=>vh|r6xFsdl>9xf(4ue8|nKby|_qT zIn0>La(3ANkS+RkyhSF}J&{OA9D+^LY;Y2p3Y^; zt%0-#;6M_E)?`vQ^ssrAM9D!1+8au4;duUWvIo$J?vCmGI$j%eyOCukr^}jx=UT4t z>;EC=n^zbx;w26^4urvvM~GO3f0GycSlR_5w_aYUY4D*ye2?v`X}Uh{FqhS_Bf&V% zJOb;t#hORrWERlCE6i{^J#H6_Zal^10>DAiPS6=oUIh1+$By)>t4ufWG^OnX*wmbW1#=6Kmn6N_FHK9H`t;49vd+NpfrooBcLX`$OW+rqe||1V*AnSP66l(N z1-%z6We*QFJ41xep(k&VmPVkTyf?sHLZYuQ?x$DUN_}_)Zig?f}czSmcV~tl}R+J*< z0~afN$GlbPJ)dJZdU>$}=m?}axh;f=ICvleuCt~+RQO1U$`_Q3pR*kJZdF@I6{>87 ziX=>HC0M|^0^S81VSkz#)!OX$ekF9!bmyg{Yd>}?*O{)9e^lGou|}UDsRGtHG`2@S z&4b+Y?^ymwh?npWkq*s_U2Q!%Lj)N`IK6~4`vq4bskm~B=LB8zId$wbIDcMC#Gpj_ zr3>^zKjIxtCMD)Z&T?3Uc)ye%A8?nw!NmGgjRS`xb?|dKs-FO=I+=v>K2C)iITeq?N$?H z8=B4X=Q)#%#?3gDSRhA|D6kQ9f}h~wP`%fH-Oz&Ie~f^I@<>Iudup_P4!D=+?!7Gx zX)Icf_y+%9krpr;{p zjt@@)f93`G>~7t{Sm#(Cx&tge`#F;)=LOsb|9YiL*NfIeE|LoiB~J@2yh(^?Yh}0y z&&(n9mNIQgpJ3<4z)k7F7c^W>QFM(uTvf6NBEfEIQ14GQcRm z%4CI^xEmf{m1h+B;cx)TK@jCR^d%Ix9Pc+*e-WyzjbuNgJtHjn8kTZx7;UKAj1sk* zXQ??~*J4-y?ury})wiIKY}qDQ{{C7D+z3@HrZM+hSwf5x5+}bVJ zDb6;+C7Cg|&qJ^{sNI_}43Cs^#*!C2^F!Y4Q!j|hj6*VOyXl?19fO3POryNh$Z6xf zas)bNp=7{xDB47rx-KDLbMf06~|Y*~AT zjI6IXnY0GPcwhGR!9Z6}SQgwRFRpgX=h*+iG!4gY zxk#Bp)}FOy_D87`ip4Dis`w!(y77Jjn8mmwpHah*D8n=ChM(jYf1CT{1&0joq|F0t z4p6+N^54#v8xDTxAeBp?Oy1xl{-9B=79Oz?XoQK`jv3$I*@z+FEXEu+7j5W8T?#;8 zYGK;U1%O{vtTp~$T62S9Ls#BUa*oLp`zTK>6kE2=#ZtWnQ?9pXv8 zH6{%s%lpZOCLl=ZDl0;r1)V=woN8fhnM~IxQ4-7tre{ste-u>_&dT(OIt<0qgmlk< zV%mK#;+Z>FBL_uMvC&M-SJ3E2d76dsmoq}a z4F2JS6?qcF&-c8)^Oh%`-l+XnbM|l!1;9mls2WM@c~f;`A}G27q3N-!Ul#3)Yn}cgku7<67TBrM^Qw0-7j#-H zcf9b|@qe7LuF9OkbhO(`e?EB0Nnue?0|WlyL2v){e=t=2O!RyK#6H) z0m}CV8}Vk7k{0Vaq?i4X)_iV$DYIeO+Tpats1cm6SCjrdVaASYEShq|<$UoM`S_Me zJdt-MmwX@wT!Q2QsaDg|oB6xP- zW1-_>T+*pvIps2?gO4PFo*z{@D0nSgGk251fVD2ARY|Shie9}>av_tJ@mc*lHtsHt z85;u%5!kp2d}+vs-QMPkCoCe&1pdQX03&7;et?r! z(PdaV8XE;ZOSvJ+!L$xiI>DjT&=^O(ue0`u3#1=1lbfd({Y1I17zS~+@AR~AB_ubD zf1I*miEiueM?O#BtuT7=mqu8j+61R}wUUTq@7SbxNS#;B5#5V#Np@u{$k6kAuSw^M z3jHsJKnW?p!2B%4jEqJYON?T+VS-Fo>u$+X#u-e+LDiLKaW7AnTTZ*Yg)>k_K%geWG$eGs20sMU5lf7z7Q#ChMZ?)B9h;3~xki^_F=BUE29g+EjA zdexH7+r$QSnLq0wb(vHRa3U9q;ne?$(NJk8&Ic;PT`K@17u$_r10o4kf0<)}bEH%} zZ4C8M*G`>Kl->>j0eKw51=%GF!C@Quf96?v zEQ54eGahi(H`i=FKK4RI&b7lpM~V&0eSh#%ccq1a4?v>=YBfMtfnvOnpF_+ z4gF<1Wd1d~W6#^ZVmuDpJ~6#ADaH7c#NDmb7m9YI>^R=yeVwgvOPc|o8ku2j~%9L!H6JCiPv4=N{vh#n9i;)w{Y!|dzTqJ#jMnW;XUEQ_!Q4bqe|ZUpiCP;oAhplv$1D(;!X{SB_dG`C1~T|c z%w#omdO(z12VPD<^5>JF?Tr-FxXeWYa3Rw7FXu>VCXwfE)s}}_u|*HyyLqDAKXL&I zn>X3#D@bx(i*qpnIYcXzwiO|F?;sEVLQvEb&o$~lRT6SDAfpR zcGM|iC2$K{Sb(2be_0gJl31sIC13T?H22I!?8~v+Q1yj@xmpAt*Gy;W!!G1kB&nKY z%H5r}_}Z^M6e!4WQ7>YRnKy|jx1X*`LRQvPCs*?V&~-?z(oY-8GazlZiOv!kBgZ?8+L2V#9&t&8~HpZAm8Z(XuszPr{n>JuD=wTc4gAXB&>6#5IBgNUIL+#)m-KXO3@?Sp( zzVQnSu}s>rRYJ-_uO5gYoZuKH_R8Nsr+lDM8IW!XWsn(HP<=~;ibfU?2~p7QH1Zgq zvSIL2iYt`q;i!TaezWE5lJn;5LXMl`GGb=3)r2Y2f5sT;M{Dm$z8*qS3{*+Gm zGyL?H5qvl$@1;&mO|4MWDi}*dkx?UPJKsxFLd@8sPhq=x&${_BG8l=D{Uma+4C|s5 zn0RUne<CULg&&*Tw<;$r=0$;sz);ov*FNUT=C97qag7VHoov z#4o)samfZaWvi~fifS@n>G(2U?CLTQaG2Lm z@Ad3rMt+#==4*&hG2*8148gknp062We+{M@6dGHbw3GO6+4e-h*b*{1_t?KAYCoSN zgcnh}a3=pu9&{pSPv(U(eyVY_hl`;PVzi=d;{Ai%B{{z@1j<8Ikt?Z;I2(otVM>E5 zP$@X-%=Z>FeVl!}I{ByxLv;j$lluq3mY<&~)mC>lqIW61`AWUn#)1B6@cjn>f9kzP zLwdZA1uc&aUTkw`dbmaKc@Y3WorfOC>Sock(hC`mybX6lc@I8uk)P0)@@U#1YA>%h zXOa)s*EruD=q{z?)OWB+nw}trA+oGaaaEAa`9X)+f@#F`Hc^$7h>#xX_uReD8TaouGLkpX)Mw2#*L;(aP?0IAGK!diOw1)gKxal)CKf(` zoV=rT!OqC|C(<8pQ6_+lv8fHn&B?|ZU<@<^$S}z>0Te)P??P(;EeHrOF#umcpue{= zwzU9&EC6ceS^#xb2^CdL`_>sf|dEt8UU;SS93=v>pyA#iyQSj zGr-@}-d!ymL3V#70MJ@FJKOUyGrPIDFi>e0O@6JO3}S_d+=TiD~;U zbAXe%`G2IbGIsjQS58Su4q#_&4RkgK8Usz=4V{ghU7P?$f63mT=4LeiB4`c}b8&S1 zlSBUBD#!m#^Ka^+p!b#O*?ReZ7`y%Vju``8oIL+goBv$4DG2Cf?d0tAuZZRV3u{~R zKkS|U?3p$2FPXfE!Y4@yRW(Mr_r?P<%7fmk17vb`cmB)zPdpKEIX(an3m1Tumjl4^ z-lP&hGck~z-8*Y1gg@mIw|=jaGsw|{`9GW51_*Kkdi|Hs!Ww91@u%j0W-j*3>OgA; z7xPcz|6}?tLik%|Y3>YQ0hl`g%-v0`nExdDt55!jS^tRN3*h5r53&bX7~49T`&e6; zzh4l%oQz$~0nUyt=00BkRQxAGVC4pwS(`e)xA^-pLHH~BC!hrg!22)pJClE_{%7-P z|2m>{@8{DD1hn-4n3-FDATTR{oZnl4_W#cb`>$M*F1EG`#&+hk|54BXHZr!ew)OZA zv;VTtH2*`C_W$s;c9OJqH#bwVb~d&8S55yV|Kx1^-tZzoOI!2z{rF3y{^tzYzBlXp zz_I=_uKPFO~Uw1^$cfd)fbx1u!drX(?$ci8B0Wul!{r z0W<}fSpzKrY@A#GV@F404+NI?24Lgl1bDH&cd?nd`(GUbU}ge>oZnpl_Abso01J>K z!k=B_;sh{@{1N>NaRHb`|3=&ZX0g8!4}e+xe-Sq;fLZEq#13Ho^f%%KFf0Bq;$eBG z|2KNKRQ(%q0GQQ({ulAS=QI8rz2`Ie8@}S?G-m&R@BGaF z0oee|7JozbcVi3Nf2iMCS^fjQ)3W*pe6Nx9Kj3@vfBL>Nv-=yezK8w?E!KA)pnt%3 z9`^r$?};4$0pAlj{R6)5hVwt*dwE>`0pDr3{temQ^Sb|k1HR|=_zV7LODX-Cqkjzw zmcM)Ke{L{;VO3{Gkd3*fwb}d4^&ckk#?Fq`?z$}Rr=0a&{{Hy)JN^GiK=t>4`iHlu zD9GK5k%Nl`z{vK#%dFg7tnUk8=kWOtU(VcW^%l_qE?P`zFE*n|YC*5dP9j7_cMuVI+7QTzIOYqx32v z2?}wdu0Z&+WV#qy_tf9K`!MYF9Hd?(yBW^SQ={A&wiNLPeV=8sqSZlEDP?e04YU() zT5!mJA~Mfqttc+^dVUHQz^WB1`B9&maq7t0tptUOEoW5mTb^HsBIdae5h3QU{G^y2 zVc#8u_MW+U%yQ*$r*&8BnbK*G z4~R@B&r8_XpuPU?SuHgGwk6P3PZ(+7>Ns*3H{~CKPVI0 zd4*{Io0730Mq3`bmKh7D#`Vc=QJUtTGRS_~{GcuvoCoZZaBZL#1~YjUFE;KE?T{N{zM` ztV(7idtG(2AMQda;m|Rwfq^lDVmd|*V~Tykv?d=LjMNYdScaU<;2VRcxS@Hkm=VkrF8L;$5P3WNc7 zNhqhS(JIV1!BD_?3{FS9$JGKE{%XTIOT{CIruKWV+7-+w_F)6vCRohUFf=cj{2&4TB{_kZ-lOCFk0|+(lJG9r~##i4-^=?hF z1_<8Vz`#g{c@BexbQ$$Q9VChH@GHe%qw2Hr=GNPrO)! z`(1xG#nUi3-@!Z$bs!^k!ktFkoU@j@&)_GK-+k}mtg+8^%(8l;0%Tlf0mTEslV-iK8?y3@Lwe;^TDrQ zE(e2e@+9^NRum`fxY;EAWs9zGiS#s@H0Uu4`M;FHoG`~%Anr-1Lh)`NR*5z6nkyK) z9MxA_T0m|@8|p&Zlh;Q#ZS$0NtM^(P<_+UbB=)ZGxq#_$Lhmo-U#@0@4S~~C|tPZ zQLit4!W1!KP{OaGguzu{(H+o~k?f%022rW71K|9&vc|%HrpUQ_L+UqnYMn*#Wn2`Q znOg8k7b+&E!oi;k{u@5)FEKQOjsA3%CHd6*wh!I@h_27bsC2VpMNO=&*f&n+!$o1u zuD7X<(#~Ye6RR-6i9(GjLG<}CP6+BPC$Z(irX9OS)`H0+JoD6#8yZ56^)Kw z^S+4FeD{QZRi6`)rWtJIVHc;t$rHH9@f8g&vplTGD}8zbQ} z4D;J1?wHsipgjKWmDPIbq$lqr7lrg2Z&gHHCf9AKN1ub5WS zt~?*ETCEbe$4?_&IXwAkSqzTs16$hJ`X)lwSJDfa)bK>>*zOkKLqe`~5-Wr2c;!Xm z4j?*zN`2cNzCtKFc86tCTq zYz5;aTl=;=P(7%VExNNZfNI+m8C~6@dcJ{wQTvuhL*(Qwa&jJhb5VQh!DrF!;c-ZS zyz#wsReD7&1!wJ$wxhld_9 zB89ECj_NSNIzlcbJMV|mtY6(m8$D|G403#PA=zk>^JacBkE$bytF&L<4HV=I!;=`N zLREo&+>;ku8(e7t+{1J?i$W^9!WFPq8Kl_71`nRB>3&Fs_Dxep+s#89VECd*OjMT) zy)E*rk9`maCqwW|O6W-0m{zH!^WwpO%xnntyWWskW(K(r3-0CE&eQDX>8K4)jyl>C$Q+Y#4GJK94X={o)IpsgL1`@11gswqWj5N zAf_h(_I;FM9qB}PoqnnTnb@GVi&~UC6)&b)!$!2QX3VTHf2a^zU!w*5(M0VPMP<(( zY0z{cyF-PZH4wuW?Hc73Y+Db1u3YK3%fF#XS_EX2MN@|5S1J}t1j5)ouoJP{V+~|6<9Y-4NPOu-b)k1z``-I2sv~!rAuy`BmU@}WkN}l%Iza1D z*li}^j&YW^ukPBRRy{lFgwpV-Bw0o2GB!@hLx=PfN@Wd_ETRUER7uZ&rV9RO6S~~5 zMvDcVcFTbqXs!_hpbG&Zu7(Buzc!=>F+r&F21CB`U zF>xfD_BJK;jHDV`v#*4qhphQ)nGrBvalU?zuyjJyY1!Jn$$+r~@^JfEoXB(*0UlWN z-x;-o5?u9iL!`ip#pA<&;!>ByX%8V&1lMll*qk@io{5S?UZQ8ne`t$@owS%bTsxi1D*3f7BwZ&(k*WC-t zkan)Ie_-vWlVzml!+dgzJTYK;p2rZ^2!%xK_LwyM6Pwo#PriiBu8B9JA6-Kcf=5~Z z*5zjBfGfX|ie;#O)~`|jgkbJ4zhcGHR2YGtdJFM;g7GAKIy_Ob4-o!LUM5H)rOaf{ zNqz4hKIZ9jY{j|}b+wjue?r|hsq>Y!W2=8G&P;C_h~jUcY7DW?ZNd0>mI`0$QUgfh ze|q|EH@164=k$Br3v{zCy&3FT=r>$sazrStBUTksJ|^RTHrJobS5;yI+BdDqqSav;C8vzHa(4WdVUm!FINgKZgZ~sbjMXsb*}`$?iLXa`^~{ zQJ(g+xQB^<4}m>xv_Kp4%NBu{mC;9=sGXsl1r3X5n{DoLrdq@z=NoAiZ98?)H{~7& z+@-}isc|CsO)awzHEbqKaLwHtE8g6gv$HNF9cwo7iAupPIcsBbo3(eT%b%-MLi3LE z^);Zu3%_Q3AU%)jYb68wX;_s-rTNK$+Ysot^vjHYbnOj4E^}wm=ojx0@`d|`Rbv5( zCQ|q_^czd(QRF5(aPMIy!)OlZ8U0%gX=#g`cSb6-v?=mY6eY93I zlMw4Vih%TmI}%ni$M^KTYJ!3x0>_hI2dx@cmy>bikNUr!K8E15>IjKg>atpVdbrCf zY(?fs^9vVPhXi54YDtA*CMjP|;4zeDWnN5wgsrKU8z9Wg_NNuN!#W%ZN0!$UpSu69 zk>|SQk1LTHTzQLQbeiVnkf5TB+cA*bUOmDgOYp&7SY|=W60XDGJ@*lig|=`^F2xc>1TIbi?PV zFMd*Z91YcepIXnemFihfe){mw3j0;7TjwZ}vMFI{d|cxeMzw#&IOJ^38a4KyXuR35 z+;GQV4E~zQY}0GUm@D2ywJqbqAD9|{2PEwC_&AERNNhIYl%g(q&IJW8z&(TCa9(s* z3im-jL7XYS5yh1N-BS7j=c;j;s&)Md5(YwBM^K*g{fih{Q4cgZ+eT-TVm8#2$^_)A z30F=t25B)ygHA(_HH9p;J0#@A3~HuT*dBtu`+n`ApccZmrPu0|D_H-0^cC}e6WqDl z4r(+}fw5e(q%H(=x%X^#-ld7mK6;8sb09$;hf4`-(Kh=2TN@I=lm40(+AoBxWjsKP z*({0XjcR2V-6!9b*i&&qD@#=ORH_3C1lqQi^maB(s|&IscaP;C<(}GCa>P^|ZmHL= ze)7=iCz9Fq**iapLh7}>d|Etz*AW@hX&|lABth8`@Rb2w?F+x#Js+=d8f80b0vW^i zY}4Uk<)W+$WG*T5eodlKe5@S^kK40JIf%^G^&99Ooz@yU$%UbB=Qx4oO#9^=Jc~dP z0J4$!*^^2EQm+PetW=}mxQR}8qF@r9!&B=s!CAtOEc;j1Gb5==_D^OmpUqDN~m{Ia$O%xk=}FCgMJhxe?YC9oZ>>?mg;W z^Ssuwbbd)VpW#dvGFB6RvjX@63sIjb8u6OR=7^H`dWbrzRal}@R^QamA0WPh3KfzG z`EoYys-)$b_h~iTOrGL{k2~9N)SJR4-l_iRD079&nm!-k`C1 z9S>tj%Sowu2+s?DBj%U=@FzPek{VZj(%&u!#!@*hH4`~@O`uO6`9p$Pdxv#r=_i0K zEEQx)+n6J7Cb)5MXfu~1!v@Qp>zW86k)Cyi#ijVh3^0z^{HM5htYdaC)huq`AQHvp zB_2I=1M=LbNDoCzbUNJ9n@ZDNTiO`z{Yq$dV)DGI-Ekm)c%m$xkE`!yh^`94R-R8~ z*MM#}64iB1#))S6$F2uUg35kHLAfYD*otGq%DGU&c$#Nf@eJPD${yW93pG@pAFu_- zN9wf{pM5D%g_yNz`5^Td-;lrQq49Gx{cPKyDUZ-4n&%7Qr2gu97Y7-E> zr=P}J%Wv?1nVYG(I|oV5_p1cUEKu0zwX#YHM^DGhS=+yzb7;4^QshW$ix%nag>4r@ zC*9H=zNs&z(2B=39Wg*k{G9vd3kFX{uQJDn=(T+EJn*KXDNqLY4DsM zv1_lniTJ(FBU8r4q->;pinND@w`e+EI=XY1Ub%{Yt&kK?*XlQHA2Z#}mofNtn}R0% zan;^S0nOiOKdP-V$hYtrc&CoftT`V-sZ5Y|mIg(YO0T9LxP4|_wF;$Ql;~r+W0Eu7 zO~~A2XpX~tmzx@ab`cqhVx`NxO&Sn1)(5Wkr04`}8Fh$}()sEq3kdqX3Au{sEhlnQ zv|TBGrH;H^$; zC`Ia~2Nv0^0!F%9-x5hC&(&?lv&5W_Z9a^DhNnf%MW3>{YKPj< z(E<588Ypm_&nGeRf1tQSuix-Yxx~jM5)y7{r~1P~FfY)q)M4Hf{*fmMHC@VcUC5dy6-}V?Y$9}MSS7w(>hn#6fSF67vj(AQh$^yh+f$Bk`dML? zJ-mh}7Hq7HS(zcP)7HgX32{2kCXL&F!gw&djvKI-kLt3;5T)Q*ZJb8At5`gY5WP!W zk~Mk3LbL?)@p}K`H_$9q93<8%osjVy7;QUhgOF19LviC$EgV=xUe3L=w=RVfp`bv} zC_b}9l2Np#ZX)_MCF0zT#!>_^A;@`z&=n2aqb|qH1 zPpreude{QPUS)AQA|V2EBgcV%wyCo6kY7V0(H8M2myE7jOdU_TMCBu00xE=PXAh{@ z`m{NfPLOZqZ-`p`3M(gx+i{-g^4*Ym#0jKry*R$bw~-e1lV?&#?GqsC?e*Ns1t0&i z=jcdEfm-D3F~B7yLd9rkV_U`P^d;zXsD!RLI2k{(U znk{C3PrD4#UriI-69)L2Dn+~Y(>?uw($fP&kmue<*|D zu>j*;JYFfLdzI>cg&bOcaf*dpY25rm&e2~H#WU; zlMUe}%7PMVeS<>#*w3V7`pcvD!g5kfXNAkH8M-3?OOZ(;MEXsC0_OfZ?;Rp`1(`ql zWgh11_=T_3rNjxzlQKqT{Dkw zvhgp2i49_h#*YhsXJgiQ(V^Gpwl#SfFd+7DnmFffoWI%5|fvYlwb5Rn4EaTc;wSBGeUH(s7O(p)bUZpABC;~Pp*orGQBpn&PaqA z9I7(d3Jg%-Vzmpv@kd-%&H%|6I( zG*sV-I6=sN)T46?Mg7nB<*U>IRrtFI_{F{bMRjOLeOR`zsa2fnLCchNEpJeG1aRv; z$~ZKSwvO5+Cw!2@XAj&lugvwI)*E`7Nmr)i>vjeCINHwJVb!rv5jwoZ;cQ0WVuJ5| z5Wn7il{jyBYZeIa(Ctli`+6Pc+r|3oXR(X;jfz))WI2Cbw^o5{)LcFlUh91PQL52M zxY>QZC|*O<98>oeu3@ZP2>ff9|IhYbYUc7hCix*>b;mJ zy{D4R1m?>GIx*`)&yv^Z4S+b(IwBM6C42>#yMr#0|Q;Js1;e&=QoU- zRrNFxC|f|1OD9+I{jLEw!Rz+nP1}oBqRdl$jG+z8kED~nFk-rONf2!Q#fB`+V6pjf zA}1yKB15gI`v|M(KRI((q~4BtBqUCaeJ7u+k)DA&`{#C42O2fLDf*9FLJ|2Vs6b7Bgp3z-goZD)9U5f?hs< zYT|+b=O@3!B6XydOKVPFE>U8gfOV)Vw`Chn8Ek??l?Qtz{-`zgjQl^ zI_t|;XX1Y8NQG;wc5)ggHRHN7@ae9KXOVTJUoB{O-+ zx&dNA%0q`H<09v%Bi#B=%*E6wRzpWV-@ugW?sNQzyxiQZz1zlIG1V0age?^Z55)GS zwvP(rwW5QKRRm+cadbfz8=nY4weEw9Ef1wt->=a&bi+{EB(f)<%4!8goUiStJ-C)-_Y=`B(C{Hr^prA zyeI38FQ}7lDG4PsMIy0j+m0@O^01&Ks2EVk=NuQ!>q|<+s(3+_J;D2jzuP$VAdy2|B8HG~$VB)s-ce z2S+Vggi7FRHIpV0m%5khI;g^g{C?XelS;bW0!{W& zAEw-*1h+NR>q(n5IL6_BKww4|fPC}mIUD{F_vfg+fbW<6g3tVnhb+RiHgD}GP9Z2{ z=`AzhQ)H0NWrOwwK>~y8d-_b$Y3(akEcw{be#T)9M$kz0w>6nVHqSeB8kp2^XWz!+ z&+@v9&rB9vCMylrO2p^ zOvk<*kRb!7{;s_9l>7kb|qSb1sJ{} z9w-Q6MB|dU>GI?x6Tj#sF+IRnMRz_?CrbIey$bXm_qzEjby5K=g`VzGmDI4}`-7{j z5815O28J=2Wa4Gc2{b+T^gDj)`QGwh>Y||mP!9p!vzc~(U&3pz`pONZeeT4^U6o}G z`tVnVN2&Ic!ne#w_~1NII#Sd%D|;u)EYMbT?z&5^#y56qscwJHenw@u+WIy`ThL%i zmXsxfS{ZVM9uVanF4m@pX9YoGeYbv9=XXs~lGG8UJ%CkY-80wh`g6}Z?}yb^Q`I$I z?JZ%R$91%S(9lJt?)N(iNrM2FxKdMhX+2JdU+5g)x)@rLj2Z*|Ip>57b*V1llPm@vEAKYDw#y0yy3@Nlf}gNp^vR0a3V&)xJ`2Cil=1RQ zJ_M87%X1Vl3HxTl$q!iQk?GA7NpW{bvm4>-VLb?%D^z!yJnqPQ`Vt~NRG*<fP{<3J1a=$_2B|Bob?C!6fqZX3m8<{IDz)RCuV>LRT_(rVy(7z3x-{S z;oW8b1)@b>W{r#H#q!?Ka$Wwj77pVxmQHCrLyUO=4or@iDxxrhyETN%0wlZ>)F)2n z2`;s@i;KElX>OfC4kup`yOjcyNLZzz=%B}c&)FkNVMv5zJ9u`{a`^_aL`TXFCFCJA zRB*9)K64ydheD}yCFDQW3)tB?=`KNAqc~g;0{jvyY1}`JT2#Lz&N0Xq19bK9qZVju zjJ|9MDYZI$!s!aA>1UYC&V%p>obqb?AeN$^LAuEEZScH0TE}ZF9dBPtNUlC&{;oct77dYB72GI?31vcj z)aN zw<6Na&8H3te?iVl~pl?W#Y7msOi3blt@7_lJ5jbcBSX~qPz zpMIxMizPgx^^KD{c%`ZAWn2+|OpX6!g?1w+1>WoA>+N!jPoz)(l4gT^2M#6Um&2F* z#hQ}Toaa*yE%cA?MwDnknzjU|x_ZiiG7CSAFZIaq7fnc{WgpDn>hSP;SThvs4h0&@lqLiSflhPb#b(lMK14cN#M0U?51jWSJfC%x^_H@*o z`Y0J8r2BO}K54kUK?B3DS%BV2KoECfA?j&>B_9zq+Y}t_lFZ>a6lyfJUr*<_Y-=N*dk|CIq2;Qp=-O~vTbI6qc8|4m&fbcxHMb$tpM_ZA53}r z{(;A5c~rbeylV%Ihp~o@7;fsM4%2%`*pO45^iSOc~z^N1Yc4kO|e+pP94>z9%OuekZmUF1q5ZBK$gdt>$+n31d#8 z74{l`6UeI9M^KDAkTlz3*-ebeuKT1;!JjK>PuD-pQ%%J}_)A zOb$(D`s6{@_8o5i45lD(yt&)yesvPj zwM79&kYLSX@GCknqaT`SS*DJ)CDx&J?ll~LDyBk(cJ)bFnzxFBj3et)SS+u^CM`JH z91hVqzApa9!GaX8LG&MaJ8XGxn$wnLyvN=|7l|`t-E@tP`uu5marKChD_c;x;FEX^ zw<|iBx>;`td0^aMAym!QO3kS^nBn4r%PDZ9jP_#Jy!1MQufU|n#A_*#iTA^czjzIQ z`6YVJ#Ty9+Gn)32;qYntA7Ho+qEz@&^-`utxzpLf4C{6fy0M=ZfuS++s(is{GH@}k z)VZV*TCCvLhP+dDrPWukF=C`rfyXjofFa=OME-c1Re>G;gF4KS#i!S5o5Vu~6Kq%9 z+@G2vvFT!yZQ#|95W&bHwWzqZ$WvB-Q`EfJgI(UBqsHmY+M+X&rW>M%OiZrtcfXF} zdibvS4Pv&YC0uR8gf9LIdaJ7gOn~EKh98`M_9=&C6V+8J_G9_lD!@b;vhv@*sF|q5 zssFTTLsEn+RLCl@U+1$tB|-41RGerB0`*AN04C(Aipb8m6Gz-HDtmI^g2WJi6Pm** z#3U$1L=f=y)NmZa?GC)tDTpYSy*Oo`xm?lJ`;e?wKOPvZrxbY-ma~zYg z-x5$v$Iq7P&vcMWFqQV%aune{fITnq_t*t$ZKQ|m+(+qAf9gx@jNGMpnehzGap5St z@k{p>4KF8(UNsN^MSPQmg!hks`h|1tPk%4mndPcwTⅅd2$x`%QUNClYDJRBaq2g z*-+ZDM#&z0;q&L?`zX2G27ke7=P!uWEol+3xOA{~E=rV7pLh* zF|)bPi`hpz?%5cstYUsU-J>g8*VDH&_2`mMejg3B*TK2fkI=E$vbJV_&MxIA>|TUK zTSqZ_=KYRw@L)ioh!TV5tB`a+mTj`)+gZ%=(Z=~>`cT_}L%yfO;itKCr<8d&%8yl) z&i#%Deh2I(Gmm-k5^>C}XBxkhzG;9VQ=Y!KO+hneHJ%~7hU(QavR9C{d+BAMUCIzAqSQuH%){$9%;GQ*XW{N{Z{nX)x| z9N6brO|;p)sC}5rIPOr%dlQ-~Abl-wyMZQ8-*l_{S%Pf^T6;*WKh(r!fP^m*)hFfa z{aD*KoK)y6oUVa?^lg0~_?6<#mRpFoy3p>g;F(JX0pn-gh)WSE2(jd}9ktF|0UsC= z`%J=0Jh;BiAd1RF>`< zEPk--r61d71s$b<{T-}U6|F4mcz)ve1$)-P3hfd-*-Q4)2Mw#0XEMX`w+Z;ok!InY zQX_R~GnZ#ydBI+rF@X=7AJOt)7}63qGyOXk7ipVSC}uR0o6cYkp4k-@>2*)!kl^t% z(?ag^Ojk00B?y0800ZMQhyyhN!q6P&uCKtF`huzGYIjk}@$K*z7lkv^>dL204oWR> zL(Me4sR)e5(OHyX<_ewf#ABNHf%YIYLNXhfYZYE+?(h=d=(dX1NPRKweL*knzyc6K z2dcX`MhcGPiYkB4`0&Z(_r&$J)a9U;Fsbrav-9MC8+s99>VXiGVXTFuBz3X)Vz+Fc z+~5^bl3pMU{Gzt>5YNId2I7DTc(^SGlc@{XM|O*9Kk93PsTiFSex`GIKI2;eE^ju;E4<>8WRyet+t zK7|&4XFiyWt2yd_3Fi*dyp;&8*6J{lI!}L1`)X<5|aB3vgF%B-M$8-$)g?w z(U?-N<=K?ShE!Q~Er=D?{eG%xAWzXfk2hm~hBHntGC;20ZTLw%tomvZqt5FZ>eHHL zwgfiQHaTy2g+;_IKpCktbjmv&{6uq60^`}N7SRyvmhD+Gs|9mL;$s?+GDJZ1a2mXM zc#Z@ezs8|GUL@y90;87P*ACrz+~=ca9j95)c#}VHfj_gvHqh-DB7OeNuj9$s2_1ib zFK%@B3^WWzTyH%LPx~NZ(SXY+KK*Fjz>msBy1K45K@jEOY3+1%xyE+vA1yymgnG=Y zeDWa%w=c6yG9XS+rSDl*Qy6GX9Xx^dv<20$HC7H?=BwLBDB5^K5*I4-{bf4UhxKAY za%vjMNt%FJ!CxtT1JJ3NG=zJu!d$|C@GXOwFtkzMq_X)#m}kMRm=~m>ukSQLd6IB= zo3og*hT{AogZ)!7EM1df@$WaKhX_i|hL~^LKeZ#@ejEI}?_stRLL)Z(B!ROhqhe>2 zv=cZiWLDdjjd#E3J)FqjEf%*D;w9aiq?PxHA|>_=l5M3qupxCM4rOsVi~0wD*K8J| zM@GmXrEjljvU!_h`0}81$_Jxr)oA?>2eA7y$0S6NLzn(>5+3*wYXLqB+_{*RdV4}O z1GEkVf-fxNn7pKYdyr!0^`PtDO!06gB~NGvP{&_!M14UzHfCEkvLrLcr+L!l;?kE5 zwk%)El{l!K74$1UbKmB?@8TF4Qpa^llBhFK8h`5>x4=VDWu0TW#D~d72;DVvy=w*D zA_L#eMM%hnFyvd(nAxSJTBUNz1%h;ek@I{T&sXj0DA@GdIhY@(0w=i&%Lw6pB9DWEG(xd=1=DsTq{G}-=HOKedU-!Xp#?AzS)_- zy1+%5!fdkml5F0FsbnqG395b9rS5O&+f&^313~?aOiQ4R5uk~Zk`Tb`7ZmB`h)y{1 z29f2oa!BPu;a_NQpLlqGm2+veeA5!s<)~d+0BHo zZQv;Y(6%z$zkpEMa)2l=R2iwQ%{9xdN*}W%u}q5<4cpXvj!R;6$C+NWX@jl38y)Kz zpqDYPbWQe7)|}iCpg9^57wim6j8oN3K~`0m9aLN&vKa;T?OO|f^qv{#q`{OsRMSkpu6*~TxAW2b$|c_7&+w%r7Hmiasl^{wCOmK~-X42a z^hMXV%RT1DaIk&uH5MckB9wsa6`yZJE|*w-{C*CS`NL5Sa?J z|FCIQ>y;f!U3zw&lWBX<=#Av&dazlgx}!hjrHljm|Snk5`B z(UU)i=9vGTueWuOr0kak!m$G@2nb?kmsD}`v`wjh7@!%ryu)O`o9nlccyJnF6$ZRjcq-4Jw7ZW%gKtrN7=foW@a52$#l0g~}2^5<#je$+aG4QL9$5OEg|c;F{Bl?U24C78SK6TL#Ww}k}C>l1XuT^9>;_T(1Q3s;bq0 zq_%U9bzZddN}<0yBxHN$IDi&({x3ZKe7ZWE5LkyahY+8O%JBzAOj=iK8X(3zh{Mpp>amgO9s|cX-(}yz;G&e`Vn$$~3X4*+LROKP(6mo~9FUtv z8SWk@PNKUJLUu;F1kL!{;;AVIlJR$K#%bT(xApU|2hZQ_)0<2rgJqQR71e0 z+QJJYD%XdQ_FNzQ#Gz7NMevLN6GJ5+iVb&%8bF3S)%9^_aP1kfPPbO@Gu6-4rTg<7 zi;w3ElY&W3vectWe1If>K^J4dLcr1WUCiK(ypjL~Pjc(9mhbEDH7s?oCC}8-ZeD5_ zaMUE3HZ{Jrq5$Y1+*X%E_YJ-D&){#BW!8K=8QKd?mP;_3OG z1h2PY<{!rKoB)b`grLXV2t0Kg!<)YF5w+>MrB~hieKr*omovEXq9m^CsnCi+22G`rZk!!WqZfiq)uItjfUQ+TRM~hQ-1n-Ny9eL$rMRVY@%~s!`Z(pYn~oiJ5~Jxlc!+NbjkXDM5Z4G? zA*4HhCePbMwj4#4)wt9;BF^BSl^tRVap-6aztR8f$yCXI@$eP^L3;C0fDQa&aJ{MF zG>`ijTi=_!3J>wdiHi`6|^>7UAB4h4LTcv+dg^_KigdADnZl!;K2ZQlYYp zo`DN;BYPy~N6E=OMW{|B3A8Ke&-W6m^*+|!tKe-%LlKp_@ONp1(ZnMz`)qxopC8vD-05 zqjQT32g}8BeD(9Oxk>F?n|)3AKId5oR~$7oHiJ1#AW5>K^}DQC(?TiSJ*a-9l41w< zCP3}C?GFj*g7{T}44l;n?4T0$)-Vhy%n1j7y9Co-j;=)H=#f*4L=<)QH$ErYOG{OZ z6Aa6rxoQTXsz;j21&qB{u%r1)$%%AwvNOn9RSX(ZV|vpl0>84)A7$~nf4}D(8Di()vZaEJ;nIuiwuQBvRWqATsKSnS^#bAOZA(ow0p9dadQLooXDj8V zQe0uUyU|3kb$`HBscWTYhHh=JKwnqQJjKC!&RqEx$n0MMk3t=7l(>fb+zY>wL7%K#jCj{=Q!hoqv zfBDOj)+21kfgT;Er=dV4wu6>rxU957*k!XMmKG*GuZ`mlnYPVTtxO-2a2)Kkas_hm zMYAG_qONAlM4`byxVzNhfXd;N>m)uQUJ$(&m$t5`m&e+}tjL>8TaWn>q&n9|q~-mj zRHGWbL5i86MZyvKB=`>*;NUG%GX+dee@B@8RD&}peLGnOJdiV0;G;q196%5`0UfzV zLeH$qA6nS(p@0Co7!UA9Z4(axCe_SM< zYX4f^4b{syqEAH$YVoyx2dBpk_?@H3`C3Hf@L)MTL_ILO9!=$D4j4UxInviILxc&$ zi;b~;!h;%k7!*sQ#^gHRjfw;|zL@<;HQy{}$S5*R|8H||;YC-o(?Jnp=smSHbyCau zln!)9oX3=H-e-71xT0crsaYG=fB%8cC2g4POk4^fOVYbFu-p)v0;mQisjSz9Zq7|* zY4~hsEL>*&K#l6_UaN0QwIe|v&H$b7`q*Knq`uG`XeYeTn$oCmGvd~^AOJJnf}1jW zlM(VQ+JBRQq1J5~UOV%RCO?F&$cFw?T~im<~?H| zlz2~s%z=elb@w;x-R$d0p)QUkw}4Y>lG#OkyP0AYQMbF{d~Pf5l$Bt~^0Hy4D;K z=qF4;iKZsW-DZN(Ry%E8j(fr4q&V}v^rqp?S<>L(p`t)_s-G^hsB!g()Wd9??!h>s zDy338XXvfBpbts|a`3}BHSl$86 zg0Q&J!fBahHBceAe?lj$;}B(w2X3dNsC5a%JpL9~lCt7UPslYnQNW`$wLfU6_$X?W zUf%>(pL+(lZ}-DUKBGxSt3ZQc*wWy=Pt^E3GzEh!NGUP66ERI@?nPWCs+t_yH; zkiyHr!g0B?1o2h{KBM1v0RXW$m6(ds(e&IevU7B#Ce_96)kjD^RZ)f#(;d!ID;l+TkIODQ?w)q!5cL#uX9kHwkG*G`JVVccZ zdewujX`!tg$PYvTo^qycCti4He|O0|#+gB?SQRw^YwCUa2s7=+Q;1je1y-iOv?iVF)2eF#mFHUJKHCKL zJAu$McQu}WN_MlG_M#wHoXdykoD;LMw5%(gHA}&iHWS(+M_Gc__GNz;Nb-!nQf-hq zjW|FUFE#A69$H^oqPB+=LL8Ud>W#j}xQr88*zO5)hPPEa}I>x&>txp}-e`RB% zhteSJ6rFXcOPLkEo69iG^Ql>kw!GAub{NkVYo?;x;Cd6slAG+WLjWd{1RPKB?%_xIcXV`UmAKxkL;tOIBZvRKO(3(a?kSiyTF3cg>gG&u~OlAzOwE&?Ft& z!t^9|-|Dk?+yP%Y#!(H-f5d2ee#EvFI(fV7^GwJPIQ_Bk?Jp^D75G!khT6gzX3^)1 z86eVGzzJKV)u8!cekI&7FjzG>653aPFG4~(gO@KaHmk^RJzDI)7F(vT1&7q(_p41V zMX69{-09JNE(rI7OqvfCx%W%%QvMJfD3<`9)aRZ)EH8VXO;DHmfAiKccDnIci_S<| zgP~Xr1*!En+J1K!4nIYAUfXhGjX#0&iOR(qLhiG!Ol;TZv6L1mVrT&{*NhKph3XNO zeoxdK-C)*F#eV$-3Z-k8sDBRiO39*VcrZ(p$kHAXcVTgaThLUjtE9vd@wf#;AUMVv zSMDrlkpMuu&an%`e|#IVc#zI(xCe$s22)}=g{u#2XJUs`a8JdMUD=v;OGgcV(Huiw z^C6r?rg``-_dneT(Zxg|GCsb4OPcO#4>0o7YDCRDjxG)fk6OP^XfBaDEHq2z}*TKfAULRIF}cDYMwMI5RQe}lFJ#6O$@Ux{)uRg} z4bl67ci&c(iM1D&8Elu0lp$fDPnZKYqLsbKX{_v`e>K{l`~kiMDeDH=4DR?nOO0`n zs1YH(qO9hof2}6Gu%N3NCZGhC1kA`esYE)ywj;JS-pMiOf6Lu}LCa@gg?Sz#@T`0T zw}$$po#TuuCbELY&#Be{`Vut>pp$^L+raJdCTyijd z!D!$fc}TUbU-Nq2W{7JL2~zswBF{Bf2>200yo2pGHwd3sySZs78!1H z^pjDtw}%Sn^>6Jv`36YAhy~>wW?7Hm;m_-C) zS?YO-mlNF{R(~i{9EICI>1T?{8LR)zTUn!k%s_)JUo^b{fCYa^oF!lf{E3#`X|=KOL>z?U;nFnR~_>j zvZE&>qjbEf7=`CXb1La<3100~NyagsExGXqUzwMzh+)hj8M|Xw=1RX*A^kIt7qw#P zRkZ6YVkmEG-@6D&4vA>Z0(LCmEVn1Pw)g(zf8&1rM0_{fMO`llJ?a;or2E4y&*hCB z;`j7tq#oC#4{t~RAVZJv=whH5Pg&*L_yNtUWi4nM#&g1LJahgU;XD~uf;^ZJv$gFY ztuN$P=VS5Xif-LdUk_|)Y7!13fbm~uK_bmgX{jOr{U#aU6eS!yF0>Kx-_{w{_bcqx ze}WbYQ~^alUlju+^)!p_y7j(WI7r+D(}~&Wyoln9WiWQiQ>oWIU%3Oqmgl(9XY4Ge zv5qHRu+L};`pMno`Lu;-q4kS=35F|^t25=cYZ8!1BFTa`krY$oMn8kP{>i8=Fsi2l zz7M=DSmRgesu(;5Y30e*5HB4%=n`p9e`9)Ss7hus2*QTgWHG_P9KST2@S`J}q8RYP z%|HETx+-@1uSQ`uMhc3(s1?ARwQJEZFB8o5P|-Zxw#6FvWbVa`IQhFskBv@DE;M5j z01&53-J-ArB_g^X`ta~-?pyv7_s#mrD~h{qgxJ*w$Yk*`>MSf zcP$K<6&%mnwWsEY_{70f@)j|$Ph7#^#^Wg0^$)Y4L4=tBgN+Ij)PIZ5e_X|Oj0&?o zwn984ciNc`#g0b1Wvd2uqzZvB@LyV1QOR&~kX>I$_V_Ohk@SOa|{ z1y=&tCy?(Hsx=ju?_hi3e;r^ylCofZLBj%&H??m5zH_7<_H>O%ataS)?Y`A6dPTt{ zz_$y{UqgHJSvwod{Oze%f3%kKa9onS%gMxr{AHnA{-Z$GBtRJXw77pIjeGb&F(7Ey zBVM7)G-s2!=PT5mvDxexL8eU$cX)G z#!qDQ0x-{G6>Tf+=fZ|dI&wbavWzCOb(nQ`tSO}Gqh=z~F>Rb*IXYX_e-sYNd8b=q z43`giWdc#nli<;qe?`_hZqmy*n2V-B)s5)RfdTV-<$wi*GnFf8g(YDif+>#G@$kf;r_R=SvRxX&78@c_vNcgI7#Vh^$$C$+ z!pcsG_5d<;5seFt9t{_gHB(T9*+~iHNMe5^f4}|QRrN_Te>l^xoiyYrTKGGmU`>hV z*TbSw91Y&HLhbxYWI^*fRhQQ+g5}fVFbDC4ZH?K^21`7SJp$)3I?RW=yOJXgCQJR`U`vct*8i zTXuol;fY~mf6(hxGD#DfaHzDi>mz=+TVM~=gW4*G7o!fjexX7})#Ll%DAg3mdT0uI zQ!frvtqzW*$P=I#9L&bq4h@K}df#MjsnRK%^&c&j7yzx-Je%PK!@fuajgrw*jLq2~Kq9dQ>jVe}&SB0}uK*_zcOk_Sla94r!On zh8B1G3|>6bh=FoN5jd-vKshUfcfw$G$fz0O!DoOlbl7hC9em9oW;phr{1cnEEoL>* zln;wLv*^buTX&a8Cp<`6Ux?ftG|f%%JF4^R=QTHaKkNzb4`!goD1CPCj>g2HymatV8@L ze;VFJ`o7i4d7!Wbbgu$CXE$RSk){Pif5c1MQEY50&7!resX=5QXXx|-pn*TwLheb0 zmi@u5!?vpul*}}w=;O&Gl1Y4JS#X71N>3~*)2T_+8kE9;8QsJcQfeh}RQP08*F~tt z7vcU4+#)efpD52aCQ(Rb%(Yqh#$jhEe;K6XQl&S4n{1y9k+oMFpM0hCzRug8&CU5t za7bjBxh@;rk%9bohEvU=lm1bk^;z>tN4LW zYA$pDLAw$x^@B;+AUYR7D9f^y`Mae%tVe?d^_2#-qBjcFyYmqW`7ost_$X@K^!FXP9z&tq52 ztzA`^`&+rq$kkm_UrO@8q4vFPNfHohC2BZqmpSpofWHU9I{ra3lb0N@0EYqB3MN=q zj|BDmI}~&iZwdsZ&bh3YVqjdQg5~+`(Zl{z2l%)vGb@{UW!s zkweVl43Leja|Q|3BWGJ#XczJ`v}K`4xf}a(`jd)@U_n0PDOEqQ2S5K zNJy8I;v>#FA6kTy52}Zy43m3Od)=Pj;HeY*MG*Or?2V}M)|Af6RuV~6&YbIxQGb=C zHd(4RtEj~(9G3e&!bwA{7!TlJ=r4)P8`n9?aYHuf9}PxiB405mziet zmj0#A8Laeu6q`7p*W~0hEdA0fcmjCYbIe}D-F81h2O*k4)yyi5q3&RAN)LB(v^v524YtUIoCm*R255iz-kR{czmiN;6Yqw8cKLN!3 zjogjvBZ?(df1-Kd%UmGCX_c#_I0Ggmi5)b6(cRH-91We-rims)_ltbi*&XHmXO`iZ z*TDbq8BEG}N&@x#89uY}0@?KY1Bcj)JUH)ktZY5+u6)-_d;?=cK@vV(q>Hl@S#G%% z3P3DeH44Y>tAf@~nqIb~!95UrRJ5sLOCR9_*;_&a&Iqsx5nXs3^95#w$W z5VN|$%1hIV zd`j*4^vv*V3E>~_bD8e?cWZoxv1$%^$UZKRA44 zdtnnQ?dNGqyNCBg*=0$wv{VEHm1-XGy!%qE2uKaa9(bPeIYA95s`igS9N)m7L90Wn zN}KZ-wdn!?xBst59B-6036IH#Bu>_PtTu z$+(@(Y&q~*n;uGP)Zk#1P2mKF=n)Kzrp+wd^Um{bwR-3BVHGz}Vf&9zCz_g%f1}eP zrk$ZzkR#4lY(Bh-51BbOupi;E`WuF)ome^BLiddsA5)+VZh1^&Du3Jo+1F@|D?bQ{ zq;=es5PuauKm2gMbn29ckl`pq8aJ>Yia9a|{D(2~_9h(JG1J5rLFpPXYD;Q760$*Z z!4>zUz9T+E{m`k_^TZXkVk6vee>z<)!oW@ZpEk%P|2!>1dT$}xlHs@Z-QwFUc~2?s zq|#(z?0Ny61M65ErHX6j#^eg=bOJy$RAe z%bIvLIa@ZyqeAn?!S{M-5PKhHh7}ksTVC>nEQWmoL=x*MaRJzNuME>^f8t)wAXYUX z?Tf{F+XkRpO~A~ocX`wyJsaU|v^_mMQVm)lIwvs+>S;gQJ0?kewa%cVY6^=Q>?_NG9e6yh z{HB>3hiYJ}?x@=!48Ws3fArNme97r(7M9cRU6b}!BBDn^ppAOR*G48YEnAXZ{2P@n zj+w87{{^B-Ukr3p!A^dRyX-nOiAvXOyRBaUS>Fja2^8^#L-mV7F1jK>l2sUHt7yf3 zsVIzbC$?o%f9tH(ypaZiJj&HaZiHoYZG3oyo>*+{GGt>wdKIOGf20jkWoIWElPa$R zP8aqhe~>99IH{ugU+#xC&5(RV4Eljn65j963B%7?mW5ZFEZ&Ya+aw8}-i#i=U zaWONx*5@|cU$8UE92dn&)JH=yX)f4c#T}VZYcGRSLAQQ6NtG@y_r%D3XId4tVk6u{ zfMsfkfWWTL@8R2)f7W%Ok^{WC`gndO!NbpDaR*f~be#Bs5MX+d_+e2f=wF+S70%Lw zN#$(mhru9)a~{FQ?0L~EcR@fhwmFW2vOOV+`kpuoDjPgmH2%uo04UW8WJp3msMa5^ z%zckKxqDR^is@gYATp3UQeEOeyE<+24{@29odx!fx-?T9~Wg{_6~2Jgf?^; zq5}-EuRy%@e~HtXb$At6L#^><2!xH=5M#+y-LSFw0pDQH<`g@G+iL3_gbDrGMxGnh zX9+a-MzE*HmY>-<+M=%`B8X|TK?7b0maT>O;F6P+52%6)?YMoJkFa+bt(GqDAyK(6 zi9&QJW#38EY*>Y7kPDV}FWN@KBs-uJUFSeuLGZPrf1|r$hE|}pBD@k@uQEZfkx)P4 zu&sR01N%VrPLFFB|3lGHCo%G};ln?N&vN=koPf1`=0ajsA(EAP7*HTRgXj0|b;${z zO7SxRh;v2?Nptc}a&L&zTfLKIjju+Nl`d?9@*PoKYxKYfiaw^no*hDJ+C6{kqi>Pf zTn4wZC{QPm<+w<1@ixVotHe_0t8fH@hE8AKeV)c8-9Pnc9vI%Jt7@Tcleenv0ccpzammw?xCx7i4*>c-P@||BXk9N7lxv#BMYIR!L zM3!R7wi2%%AQF<0Py_=)j+L+9?jDc?cvxa;xAtMTYz+r9J$+vT(lf!7WKtTY6#S1& zX{J3q8Ri3gSQe#a$^(c3(8#1V00Bp=7ECK9y|+DW@G~-P;WNO#V@e3ibimKZ3>+0e z!+%Kp3{2uWP(rW(IDo2xCHM%wr{Nst%9i(Jqt@-YGz?6y2xx`PDaO^V9tPiPBG_&hX>{b@D8ZFMcx8vK;R+^ z$g5E-C@p&yo)y3W%3wVRY*_F@fI?UZfPYU)79ubu6^p`ya1K-$L4krr4Z4mj8V|=k zi%zK?Xf=9gnTMSqeDAyOdi?Tfk~4mu-Q_*LUykd1Tu)g5Q@!u;_xZGZtOofMlt&Av z`LM|L%CGFRKx1kj`zWT?F7%~x*F8W~0R~WYI`FnCA17!6eER--qPSn>SzT7_)qfx> zs*=gRG<{(BpRexgdh$2UY5A_oCilf)+ApiSf4+VVh^un=ILNm=){sm>9)Wm0e(`uy z(<3g59^cERIqoq2;lu9n-aplvyZbKGe2^uyVw zpZDH2JYD2faogiZMK!JW@3RVGqQ`&Cng^+5k5D2%RWU&wLoksY7L0!?#=GNbFU5t4~D|8Q?McMx&yzh&5=UubB*g4{gb7=7_ z3;QPrxPp6XJEw({7f;hVe>fT6mJA8NRxz!sC-!Q0Sl;9iU1!x0gaF=O&3J!}v?r5M z{($i;khf*$(lR;MClE@Y1AjqUGmw_y@A`UGn8nG2>0S1aZ*XwfJ<1-65pb9`80`R0 zN2Ba+N`8+(dz6dVj)x?)qcK}cfmu;RQ13~djf%nU_->Q~|9ltiP_wAQ%qTV6QQCrn zvdM8?+}+o7666M5eS}1uX2&!mmWolXAldz8Tdnh&|D1Jf*E$aBMt?No<(7Hgv)0%N z;TQligq+*Ubj=l^Oz+45)lplhzRHNO(Oy2Pw!K7X+Y3)VYcD^u7Zm=Uw)REBuQS!N zZfX9DUK!_7D%-O@hMsn@Cmj@pg}hXb0Rh&UY&@M{u^v1DQ>=#C12kdhApcSf^7n7| z8b1MdE=Of`G06sysDF?OwhMKgS7WBq3BgVd=bOd= zTC>TP9%Tu1GWglPgo_D&NWhiWXSj*~ARCGaI?WeQhJT(-3!;T#KKnL@FBuz*EzU>+ zjrL0;J||gy1P__X38%q|I`r{I9n=cmdG0PSwxCB zc=7BcCg3!#1y%T7f*>J<`(_LwVBFG3cP?vDOd1o!N|9?ZnW#YzgP~&`28nW*WIUy3 zMUap|0ZXL(09gV98b_D#;F}gGP0(>DfjK@XL4R4wp)e8I2$C2z6rY0FGiVElRboM5 ztq6$}<^|`l9$`K69Z}be$Ua$91GO}IhxI9qN-3(W0rLY@sZFC(D3XyLBrq1`a8$Rv zMnxo;Ah2dfNmOXP!A}|4fJ^`%H1L(+)7(o`x^h^5wX?92#s((gNxKqjRGNRA+n0<9 zPk%EKhm9-->tq_8N}1WD%!wKmsa9ZK290V%`vm1sZe>ZAP@`Z4^yE?v2OGyZjEjnL zE|!=ycfyf7QT8@?%2CcvltUoO4Hx8K9&N8YQb~Gk<|~pVTbY18N@Km&Tm|fM8m-WJ z$0IC76|G>$BWGt@@M+ZG)A;@qJzHz4t$%4(OOgd8O7ms}onTjJ14coJ68)b>WwF0f zv~I0f`SaLM0(J~%>#z&+k#y9AwV=*TVI7b2<%CqHXjc&qMG84ft*XM39yIc(1p*oh z>og)rLX!3pk~Ck(-=@FjbPGqrv84Wt#w1&36zCmELTBVGqG!9buC-WTaHw?~aDOGH z^g}Ss*us|P9c*+q&85&`{*XrJF--9_c+w!vmISlZf=F_dWFVYdBBJ%&q_o;GG>MQ_ zLb6giIfqW8CLXXg#`lBh_RTJ4@RWH|DY<^p&HC{4?3dlMH~Xi1S5mFLIqz5vcVLTO z6~MI?ZZ_BRd$NnBeKU5!wXV$)H-DGz*Xh`J*yqO}^bLqTEa4Rd@ub533ZY%8obuU7Yk@N7})Bzc%m)dpd6KBp8x)sjreW(Sn+b4^ZLHZ zVf>@)2mdnr2CNgT`Y9<-a>##w%t5t)7n8^|e<%_aOec@yVO~uKWtH~H@)Q0e*ySBR zgOvNevCl{TsmVes>VGFS-tybqg46#ml%6S;@7ktVBVkML54Y|8%}Lvzyr2D@Vii zMl+C1AgjQw#ycvHW^?Am$Cs2w-L{$y>#T+rJDZosg^kcUw|}Wr-h=*E3*{HoPe(CZ z)sYVe=X+OsZ%!|EPdB94z(6PX{kW#vscx%7wbfxU;m*_{Ht6CT$#rm_4}RlyRb+UC zJY+f=c0}8%dYtd=zWe3s&Bf8>rM8&;*JjCpF^ZN}7A~w>F2w7Uj~9q$#m3kqpPv>8 z-;rlc&R=|Me1A~f-sbr2K|W=lb!;QKe$g4JD40hW*3i~=|kf}xFTazqpV zO+=?a#ehtO9wIfxEaeMI9u&_M*(tS9wjhrN|LmqJXv6slB(_DuVnMZY7Bu|x<|(Hd zalg_w{@#j*CSzPb`*pKye{s0nGk3q~vnGAhxA?YBZSZ+3mwp3d#rAw{sL@MI zxn}}#;X{yC{X3XiDI#5d{ECn2c6{K&%v5@b9ivv+!5@iD@mFGxKpYtPp%_9U_vzOx z9mxF*YEXICOGjqE1_O|P0rBWD4VT$l0&G(?F-AE-LP0P@I50soGB+|fG&nFuMMFkH zI5I{?I73A~AUriOMma%3K`=x(FhMgiH!?UhI50*F^47yp|Jj`NIETmR$vv@ zU>!DK6ZW7CTh`NM{8F*ro};SP$9>ec^?empv-6Fpy4`+>+OhlRQM>k6IjZ55t3);7 g%;};or<+WFcJv#&mylfo9t$%$GcpP#B}Gq03aV({ZvX%Q diff --git a/poster/poster.tex b/poster/poster.tex index 20beecf4..c7fa8852 100644 --- a/poster/poster.tex +++ b/poster/poster.tex @@ -43,9 +43,9 @@ { \vspace{0.5cm} % Pour pas se faire manger par le titre - \msat{} is a SAT solving library written in OCaml. It allows to solve the satisfiability - of propositional problems in clausal normal form, and produce either a propositional model, - or a resolution proof of the problem's unsatisfiability. + \msat{}: a SAT solving library in OCaml. Solves the \textbf{satisfibility} + of propositional clauses. It is \textbf{Modular}: the user provides + the theory, and produces \textbf{formal proof}. } \tblock{Conflict Driven Clause learning} @@ -83,7 +83,7 @@ \end{itemize} \item Features \begin{itemize}[label=\checkmark] - \item Generative functors + \item Functorized design, using generative functors \item Local assumptions \item Model output and Proof output (Coq, dot) \end{itemize} @@ -101,9 +101,9 @@ \begin{center} \begin{tabular}{c@{\quad}|@{\quad}c@{\quad}|@{\quad}c@{\quad}|@{\quad}c} regstab & SAT & binary only & only pure SAT \\ \hline - \begin{tabular}{c}minisat\\sattools\\ocaml-sat-solvers\end{tabular} & SAT & C bindings & only pure SAT \\ \hline + \begin{tabular}{c}\textbf{minisat}\\\textbf{sattools}\\ocaml-sat-solvers\end{tabular} & SAT & C bindings & only pure SAT \\ \hline Alt-ergo & SMT & binary only & Fixed theory \\ \hline - Alt-ergo-zero & SMT & OCaml lib & Fixed theory \\ \hline + \textbf{Alt-ergo-zero} & SMT & OCaml lib & Fixed theory \\ \hline \begin{tabular}{c}ocamlyices\\yices2\end{tabular} & SMT & C bindings & Fixed theory \\ \hline \end{tabular} \end{center} @@ -132,7 +132,7 @@ \tblock{Proof generation} { \begin{itemize}[label=\checkmark] - \item Each clause records it "history", that is the clauses + \item Each clause records its "history", that is the clauses used during analyzing \item Minimal impact on proof search (already done to compute unsat-core)