From 887f1029936b45cd69973bbeccc1baf736bd1571 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Dec 2005 13:46:55 +0000 Subject: [PATCH 1/1] fix --- helm/matita_homepage/Makefile | 14 ++++++++++++++ helm/matita_homepage/matita.html | 8 ++++---- helm/matita_homepage/matita.png | Bin 34975 -> 0 bytes 3 files changed, 18 insertions(+), 4 deletions(-) create mode 100644 helm/matita_homepage/Makefile delete mode 100644 helm/matita_homepage/matita.png diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile new file mode 100644 index 000000000..128fda049 --- /dev/null +++ b/helm/matita_homepage/Makefile @@ -0,0 +1,14 @@ +MARGIN_X=30 +MARGIN_Y=206 +SIZE_X=426 +SIZE_Y=70 + +all: matita.xcf + convert matita.xcf matita.png + for Y in `seq 0 3`; do \ + convert matita.png -crop \ + $(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \ + composite -compose src-over bg.png tmp.png bg$$Y.png;\ + done;\ + rm tmp.png + diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html index e661c3b01..734266db5 100644 --- a/helm/matita_homepage/matita.html +++ b/helm/matita_homepage/matita.html @@ -23,22 +23,22 @@ dd#developersDef{ top: 206px; left: 30px; } dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; } dd#developersDef a span{ display: none; } - dd#developersDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px} + dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px} dd#documentationDef{ top: 277px; left: 30px; } dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; } dd#documentationDef a span{ display: none; } - dd#documentationDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px} + dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px} dd#communityDef{ top: 348px; left: 30px; } dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; } dd#communityDef a span{ display: none; } - dd#communityDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px} + dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px} dd#downloadDef{ top: 419px; left: 30px; } dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; } dd#downloadDef a span{ display: none; } - dd#downloadDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px} + dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px} div#ex {margin-left:auto; margin-right:auto} diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png deleted file mode 100644 index 38a36b77d30c470af2dfc9ca9ed89fdb24243680..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 34975 zcmc$FbySpH^ezY}wM4o>q+{q#rKL-{VFc;!7Nr~MP*6Z=P==wUVF(fF0VD>bW9VVv zzW9CL@2S17DA}}!SY2n@n zTH>%6e*z!(ZPis2F>devy>Bni09x=oR871wFbGKRelRie3aEg_2R_d=l^#qH65{iU zb@G^dU|>APc&_-&AYgvC&_96e1?ug=kBlF9pv>qc1^0XLj~~+$bLwGleVEaC6HTEekH346GPk(P)|#(5x66it&wMjtYn2jmSdx$$ zm)>mKB*bM>Tw=lqz-uPVaj|rW?7&ZXB#)cs-IlACsNcz87#j`zIj&F9T$IdVbw8fN zpxbDu{1GnGF|KPw_f|+b)sLqiNJzj;(T6;J@N3IDc~+o9Ko(82TZ<^BSfn2QJD~qc zV3?Ll<^YFccQ&35ZuB8R5GJ!wv(`8BfPznvRuQdqA);7R7%UZ%xK^Jc{>5$=` zzg}y@fa6PJ_+Wp*LPdP)!spAb7Sx&ij>?YM`%(f7Do6MjeKY-wFRi_8n`MlfoW|za z+>AUfQ?#N9@axf?P>^;3oSHPEUouk79cs*tKtXTHOf%g}HZ+zOn`t^n-!h!@gR zw-`sfmYy4u9{txXCB?~)o`}VI(LestgNns=v$sKSbfKR7x{N|iDGwgFZwbS-Cx1L(I>6v|NUT54z*e@@Dv-mT zuqtd&GB*u?((z%MMLu^6fr#)kjG3hS0@o*G4>*$!i4hJU1tu*=9268aq8y!`!&C{tvjXOo%nP?Eow zCvm^-LC%Bgw*q|f$}#-8E{Y3jHmUk!U~H^}5Y<#nE(~`JM#;-I$+}-L*mK=6RBIo+ z^Hw()eN~DxXreVJHqVZ6j5=TqXhcjW6 z5<#npvi3CJ*S$W6QU~fOUI-!^`tH8v$37SCb1tb2vRWZAhBNaP2oGox7PvF80_d;i*N9Uzh zELlvjlD_+17 z3{00xsW``Ym1%{w?eH7rJ-Yu&jg3!(?YGkJfcrB9jS}pnp74R)SlSK7V5!7hZ^0gk z-$xpB?ly^v!rFrO|D^Z1nq%D%{JJmuI2hHW27WzB(Vfj1D-iu_Zq$WG`Sw`MlGh=w z?a^)<@9;a1a6vCpWkGrEhMVU0%C2U@8hygj+-uMGx%oTh7?PM)_6k*^7?pxs4KjW0 zRHGLrHuw8Uhu*H`GCld^GfELyaPA>nu267EbJ9wbsb5k+aPjb*q}I)r64-?PpkJU1f80wzVdxc_3yfT(JHzP`j(Om(G z;ohM7r@@H>I|wqM17AAP=IC@im39mA8)0ai7w_i1!;dlChJFcf66yREs+1!G3U@t{ z0MU${4oteSmE)|5Q?vDFSGFvwlD1_1(TW{!6(zEf(#j2)?9lY21xfdgxW|<5B!r|B z(&CDAv#{g>KC}_zrkw|j4xx;OOz)MIb7(Q-z8JSs3Z%$|37@g?*=g+M&IF2+?wI!p zY0r7aOyj0ODjt6IIiAD*T|$%vePxN)As6p;@6eBz8>yVQC4`g|5!{lN`<{~_U5;TIl_Ht*%-!c(W%71jP1C(YPw!2oXxSR)xVODW~#aP zkus*ercs5=poDRk^IUIH&QKz$GS%9Y2FtQ5i79Vu1}l!bn9%LSH?xbmgC9mpmlJJ%_pYC1*4m9E z6y#rEt*tz|QGB`Y#~1vez#@{X#VuW*tnqXhl>#a2Ff>t<%e&^c3)}S27D3;m#G$J#l4?sNTb@T7kosnz<(_q#5c3Uf6*?d1i492lceeyPZc$ zx^DTeJ2UXszn2Lz!F`6OLaGXqThd-W&kQXl2-r*uyYV4Svru%fEfke7h>`1(W0d`1 zV?_cc@b!>2=PD1xXcn3ZX8TQm{u5F>Xl}ew7#1WTo*L(?hH)OyY+ifsHTtB$;GOa% zeQQA*V}!eO+-H9N;qNH!h#nH~@@D36L1l8V3fnZ&UhY8u!oSHE1SF}I?dLijhX!9~ zJPKSc@l&lzc2U=rf}31|LPM~{t~~}0b-CYCjS7PV_AfOcigR*>4UN~yF>U5e@m-JE z!8b|L=}0DB!`#r%4?!dALHYs=V@332-yIoH5?BLS6LFSm!7I|>G90$n;tqYCyligc zt#veR+j;X(`Hf|0DSKmk^pT@wTm!Zi_dACu;9N58^2kdQ4aHxDgj5aue zNT|8E#Zp{5ml&ZES;w;v!T3RItjRExJbDjLYl-Nr-s@&%RmfeM9)yvD3t#!&NWIa5 z6Zr8`Qfz{lxrdjzR;t~6qn?`QfSfTFxk8wA$uTF@I9;bv-~i($smLCpO<19_>lJF~ z%zqmEKK%Yn0{dqETV(#CqOx6!NX8~a`jDYtLBRzwGm_BR%GZ9qu)Ve_wysXrLj_%} zsET{~nvQqefwv~R$(#I_|8cuWy7n?L*qxot-XJsdJL_#moVfe_pnHgs1rD6A7+3cW z?qLbm-KJAzEISzHxMS!?_-(-@9^6aGvG_i!vF{ueXm$>^U35%j`6l^Nj2c&1aNvmE zd$%EfFIRfZ`(>o2c0tdm7{}yD&5wzujo>5y&AkVcaKuOR8G#nfkhl-L+dV;EHSbQ9 zC=se?+E?rA!R*Ac%)`V`jm(sbrv;SYXOBRXIlm6TK5rZR8;tM6cJ9@YU0`02T@;%{ z6XhRVG&bxleoR~-gsnEE)4{2#kX_JFz63-Yp-ZphTL#xK&7ME6rPCt!0)iYz%eBsE z5r}2O=!6`fv-%xZ>fc`yjyHOD{j^&h7pZrCqkPRXXDB!K&(w9#{LUPemF6hRX0Ao^ zu?2jE+?7e{qauYEI8^-F$FM~7-d!4q9x#93Eo#gNk|pVU!%)-X-dqv06msSkMmgFo zBvaQJLbVno1pDJ-`ce86cQU<;kM|5snViuw+-zLl&hkr45$eTDiWrrBwD~~Vhbipw zYs4SrjjN|JXti$7nr=d(T^OlCd()LFolI^YDm4L}d~$r?oRvWPcGu;ZqpjN%Rq-2F zvOX%eb+w%0k&TP5LJ&vsg-zbX5F7_FrX#IsGmRzcrJPD7s0J`iXUOBR@4Q@ohL(0h zx>?zw8mViMymQ8Klfj|CBasV5Bj+C+Hl5QR?06u2OkG=oj?NKWoQEtX#da;Sha#NM z6T~7H8tU3jsZzXse0j@TAF26&j!tvQ-L;i7gEyDmuGpfDSWA~E!S3hGfGZhYsaB~3 z|9;ZOngPCqt6)n|G>a5AxD9WF)*Sx0L@%k>ZVxGrs8XUd`~ML5XL;*kGjmqHc`*C} z!%oe_2z|!*J3zWdNDYf9zm_q%DG(QTSU$J4#go~e*siG>pL*6ULSn2l{bn%cv{?-Q zcao3W;Kn`8!YVVmfK=%#Rn<7JeF_8#)!g^FKuj$*Z_@eA9@QVmWdXbW?H|8qiH}Q; zjqK1A<$9DFNRFmUoSLqFmxL3XXJGp0z#1r+@qTzc3_r4+D-r1LJQopj&hGj{RO{Ly zu}hH1zr5QrIf@LVfL%xD`=Z`nN}dUN)L#1Q_lM}~EW>}E2=@0dpS1=icMPEG;e7&L zvOgDICSI}y;q@y-jLpLX)|+Ceo@b(;W(wRM)`F2r7acsAn*xcRaT1&~V*FQ+h0=MD z@}k+_^;61u6gJ*=f@hqCl$RpdO$z!1ExWu)^%7yHf7e}89 z+~gO~-jHHf4ci7T1Xj3UQmw&dsCUGzap&^;tORInx5pfla_y^&uV6e`E1J)16z3?F zsF6f=_;VR_ne=wW z`h#Hp&~1GT?3_he&dX0~WWqi)-oVJ`s0-igNxx6toCyA&x_FV;_xww`y9&5Tw`bQU z#i0bxBknR8UE{*5ADkH0nPAdJwL9>q6RDUn6-qVt*+@vI2)R)YZ*0Q))^(`Wt$iX*EH6hrzqXy_!w@f6fEqPpJVY1f(D9gsgT*8sEP(72TcR7! z$5&6rv-Hf*ABK~iTQ^b_%^Yao!7F!A%KzVA63@e|#rcUUsy$|PNpmnpFyzS|0x}hC z@OIgUfnJDL*-BHZHpPwVyio#VE&oi&G8?N+8&_XQl^>Dc_4*4Jpn_MF`!yWYO0ouh zO8SBr=q;i2Le3XPVh4Qn`sbs&bFrb<7#IQm&&MFui{l)#8oX-`fjc}2!t?i|VG0Bp zRRY(t{?oYIYAdZ`dxt%_&7o}J#^rhd&SvQigR%7A8SdYqFgnhN|LqUi1w+gUa-RI{ z-nN;=`uDx;#RhJHn-_lv3RnWEC%yqp&ew{V|0`g3tDA(3K(bErUF-ScG3amWlXECI zt{!Mf8#NevZ&rhU&GL6p=^i7|)vMOOsvK%UcGVIc{uyt)6?lJ;96P|KcrP*!zx`47 z>&$z~n3p5B`E=$7Pa;ja@ZPA4uRN*~txY&)v5pw~1`N*VAb6;#wa;H{%L^!ZaUZ7* ziv04TQm@75RUr=TSb>B>90@BfA)x`kp66;W9+zR2YUDi}vP1(#B_(18hW(k&d?AOi zkEnJw&Af_+oVb(}c2UtRd~z-hDpB)hkI1!w6jV8fnCpCInP&bMirG4+DX#6AT5YHo z0vLqH^lNM~y%Y%@U6u7m+l`UjlRpzZ2g#@(9~5}Zn^V=Zc|ToNIZl)q)R^anqRvc~ zD~;=)RGUEz-(Z%Mmd-Ug5YbEd8SuNzHo4~C#slD>J%lPII-1|M7k71S&E%UCdAWA+ z#xVkhQDqL*E8z*DIpri^@_I)Vesj60Q79>r^f()2mK8_JPC`oBL#q98edDX+M0ZOF z`pQ?-4PNmSzgS7j1UId+&~vT;zQsi!$wckm6Gqe2W^iJ__ z??9tOm1Mf-w>Rj}rfVM|K};R3sn1e(f;Yg*Nljc#ujy%eY()(`a<^(9A1$T zU=VR4OOZLtS?=r8U2gbCxc{ven)W{p5m|5UOesL|pRh0xfsKmno2Rkx@u^B9YAHXS z$udoK=0U{pJG9s0h>OkCmlyc)cYV#J*6QsBysj^fgl)|`LIUGFDRPBh zrTfmUX1zINaq6IWk{w^)_;MTYHX*NdRXk78A0=!q^4SN@_G zEDN*;Z-~CLWh#{v`C45a|6g|t90Z9u{fZqNRE2_9Jb#t*M5iRwH)7Y^jp@5>aJLqY z)_^mrCbIT-FSrE)?*gjnQUvC=2cI|C50RAH-bIGVa&1N&wSYH68SIl)CPIIwC$WpG zKNQu>7kzg(c$)tlu#A<4)#+4#+-d9pI};1kN6UL37qV`Kl}nf2Hhp$5EVU~96RobdOr&-#kW%3kQJQ{m!w z9J)~|41v*x)uzOZjN`zr{sZxhkB>jzS@Z8*4!_kjFvvW;{iL4lwL2?NoB7FMyl9$j z7ua(z#|oYUYPQo9!?O9jf$^K%murU8)v~V*GYQDK6m@h`og(pZ2q-?PracK`%mzY! zBN#>j1mMXK!!HJ$MS&aCl0JXlL7C;l{pO|y-rxVKjkpMs~txem+X*i5%Z=R?%Y0YzvMU`A2~1}z{kT_0bZ@6Pq4 zv#K|HA=L85qoSfNRulLFwm+8}=;|GJ)1}zM3o(c7x{tIR`^|xj{_HSn0A;3YEGpmQN`O~TV;9JAxpM!5CH&0)wxN8$7|84@3-oXH_|ISC>U)g`K|r92 zYe=Oc_{Ys{@2Zr)yXHS9zVjlW#CcL$Vt&7w))=qgg=+NQXDc$gmiWRLeway-`S=Ng zRaD_eeUvBLQ|gf<-I{FLMH)cBLuBDtYc#$JJbtF|)SDW=+;-PVa>S(ZrRVl9PP~Rk z)E|L#0%$yY)ma4L(PeN&-l803UD7ZG0KaVNHI8-hfKdpuHz{6ncO8c`UIAh-+rk?i zv~kpd9hR0<5<*S|MlM<36*9~MH3py4|B=i_m+hTd4Lf8ve0Ql`%0fUk@c1L}gs24p z?7cyddge1X6I*HLX`a8Tb*m_v0Dl9Tcf$Z-fCN_JqV!J#V2X=a4y?p%v$6c$`ETlf zO*aTG3DInC@E`Gnp&w3=gp9K(3 zpkXgqpmE~nNG|hV1Ft{P^;^$EaTx?EBr*p4#{5SinBpZ3|Idx^(KrzB)*y(0FHZ0y zJ%k5Rpxz6(;V=-4j$_T5q^E(LS8~_dchMV1de@2zxOKW&7RLeq<3%#P0|P)VVUP*pFb0HE&qSMNBC=$7`nM$Rd_>+&;z0i~)-oDD zfRw}84~C9-g>SRb7qIp7)2nEz_aT?ZA*ekF$*Q@Up8UOAhUC@t8>|9&cxncU$jj;W z*%+Nnzu9Ei`=dPwm+BLBw?H5b8$#e86dvI8YbyasFed*toG}LzZa~$jlE`gTqX85G z0k`P$S3llIM!i!HJm23hm=FK4;;@3h&HeNV%nj+*z?&op`4hXly|JJ;CkUItg(7yz*Wen}6q?W5ik@D-<94xZ zfM11Ww7QiWZ|T9?(loB$RTjwjMGa0l&q25OHWIJWO+k6be||jsAU5C$Aqdc*2~gt5&AXra-GHC4`3}{5ozDNL%wyYUCZ)$1v$h zhme$oqw4?e0yr-h!RI0DGqo0La#PGz2Xb<5EPZO(4XFJo^?H{aNGh~+z|#XM`qpPl z^Va6|)`|VCv z0GH2GPOUWf+zp3%ON3nq6lttVb~qIKLVX(j#|BQ)ZH?w@q979 z@r3#}cC9XoP@5~0{!d()o5?r*X!tuMrLmN=C4PNiZxdW;S{%HO^ERHPMv2Av{wv!L4MxNqjKdp-6Ps68C2ngVF#UkGTPGH zhrw|(q!-Q`blIq;*5`BIW?IZgM_FnsEP{;%z>=*qRqPwR&v9|z%b$9fE`<}F%bl|* zsb|%pI)?05;X{+yz2^4wKgPw|Tpy_T?UqbtptsJKo<4M)8#^A7YedzanoE0U>5&gl zb{G*cgsk0ikQw(@3qph8V(#$Y>o*E?@V0la^C5uK7)HfYu9bfB#*CHljGtqcbwH*g zu(7*(Uf;s#Q|6Xo0|nxJCAFOnsQ4GX1>#E96V`c4p;9TK7Yuz0!++xUdO_TzW+lM! z1^t9n3aGH46SR<3YyZnmJA=`uHl4e*Z`kZ zLIN*isP|3yIDa@CLbnJ_fH-J8v67uh0#i%umph4QW>9)8H)>i$f^I}w$IHVG z;|e+4O`4*P#@ppRhSG%{XWkyK*eKRm!dk30GaiK(&aj7;ayJn`sx(~U8kix{;8B$`4Be&kIFHfPpa z1{ALMDn2o)1y4q?e%)G{1CI!K!HcVM#_KJD=NkR6VC=VqPxlN#7bu8QV)%`Sso%ch zW!;w%#&ZycQhXWwap7!hF<((oTx{}QAR>H?(|A_AgPJkL{-)VIPQp*#$eB{3NIEw* z7KqZ)PyJXN=FUJfm<+=Nk#kV*a+vJeau_NJs4Ue}M-`R!wTKaKPvMpa!+q-0h%Q?t z`Y?y76O-$cn*nSx-d-WAq$bj;7FSc#>|2?TU)v-K&W7b-t)g(`x}9h-qh~Yv$2{j) zquYYv!*dJikA&`;XsZ@f6Dinx!&mj48X2Gd{E=qdP_GzY`w(Dv4vYGG?wa{IY)m{~ zU;6HcUU_1S(Z#LS=6dhS@{!PCe~;|764-uqa}Or~S$+_>m0uq{UG?zk)2A5KtxGB? zMpkt-5Vx_A@=aEu0gDf&;&-h*3-b%E&Q}A>0q*<4mX~34?Mp##1mDSX(vkJ9_1rh> zMDA4ZJ=fCsI8e!FibMT=T&i}mYO)ZXp)yeKK$%1%q6eII=f*%Ob(eBR4z^~!0l?Xi zWGzt~oPRS}cYi;@YvhRRfkBy`W8Sznz4XXONK%5ob3 z5emPXU!4zO);pQ*;U80aLeFW1`A5leYtBN^rsitt*$Fr6-x@bf9G(TA^gMew;D;r= z=_~x%@I@`?n1XD~n!3hy?zdxr8&|yqSACmqYe_tI%)Oh(aysvbJfTF8Wl@96yKOQTTqL%Rb*egy@AQhPBT>rKQ4+#G8 zSf0N99r*cGuv3>jB}}b-DeFCE*X2ejOi}bNPotW{(**arQR&1ln&)GFyg#WrJE3QOP4-jpx-M@HcYeRVgZ+#ca{zqKRZ)GoaL-ggFNan?hL_ppK2N+O(T zbQ9BPZPDp7E->fQ$f)W3s9*M{&6;c(Q=HixwA~;gAKyxbU(U`2sL2OJLKXT%XRh!n zMnkrXqXEV}_%Q%Mk!PAKN4mhXSV>z8lFV-Avikx61kBum?&)8_F)>AT6QH-*A6&v^w> zh)@ws7D3*iGeJtNTUgBE)z7`#qS6_&TAlYgOz1)QN1L9vuLSGeTlYl&tz%W@n-Nx#4NwQH} zqpbO;@ks}eGOynsuDs)RPHa$>14CziHb?_}a#Gleot^D??L84EgI+)H*5F)6k}DMA z4m-(1^z{5p1T}d$EN#&`oFY~mIW@<8|XlhNi zMF>n~T)nX`hpyDy%Of-qPY}Q=YGg|p1;VYA5xUQrw6n}*YWV5{xC;Q3?7xn&u(H+% zojTz)7RNVe-{Hg$l;+ChB;cbX&Ok;iaSyM%S>AiMIT^Bf!o;lmB|w#0Hs_Xr@gXYb zJ7cJ7pV~V?gAPG*ZjT&#bEroekP0f1S9=NW;=aEhxoe`BH1C;ghf+So{|MBBe!1Vr zRAUo1ze-RKPhG5gvul}VPv%Du0Gub8OD^#K);{(#*v!CW$Q1Q6-L3r)M@I=NU>b;-we?hv3HX9VsWHx>8m4k41`9j{zZ21Wa1G{vmYk~|CK)X zbcJ$9*OOeQVIEg+0SJp2Jy85X?K(?f1lp79W64|ltv-GDZUmF{i^0{;Eo&I$(;j87 zx)G51g_;LXmy6F*hz>bgk2JrL(B+aY%!+pv)z6jOJ{TSLd>z^t>L|ItOso|3Iv{AI zTw2VHpVRp{UUftzOvNKb9vFPxLDF76+>*5k=8r8y7LzA z>D|FctzB|12+o!f$GpK(>t*v|FMU#QxH^I8ev&{Ia`@+OMN-3-`ihMYP}-gCcCvDyk-r`tac)FXz{wa=TMsb zi5u4}tJ;HSSTuAhdrTRLc0NeW%o*gqrFGA?D6l}u+6cw?SBz%neE#gj9A8ev;Ca<9 zA{2(u`zj!(T??_)Tr+pwB=n!sJ6gzIPA|w&{m}K~u3O$=F9Q+bf#I2+&4 zxUnO%bMtZzV4(xfkShii6h(Ujp}#ifCf+SlQHVL5h&S_ce2+4^)zQ%J>j7RZdWMS*NSh6#;;ZeVq2Fg}`#g_EOm=P|a`P#vT*^P^e;%-x z=aQ|Td|(clZ7OXFSSx$9( zgF1NF_!+=QhmEX4S((lrsWctf-}aC87D$i2g%VUB8~{m#uQ-r8V@OfnT>38Bf5wWb z$}q?zA}U1^XnUfVL*X=?ra%EUo{Ua(w`7Rj+R!8^)jFC8mEj~ajs{MDZcEM2fU*s8 zwlf4Amv(&Ohj&DiD{t$*`!)JOTMwot9U6nKTp(u_^~xezxsA1QJLlL_`NFHp$N0$y za|5Ks_=sc`)IDXr$*$s#%}Lo5Z%)a#-wT6(emKX9HmK=6YDdj|_23jsPj_4>CD2a3 zn%(06xE6e7hI6sl+M-+f3VVuHY_)8tH!{4*!*)DO-q~<-tG-yT`~^V@J!H>=Lj^tc z8G4Y*J}Vv`cl0zl4C~J|Jj0;IEWx=x`_f@TP?XnLKA`k|o9Gs8jP^Onek&MktDXsR z3&iFh?gwdSQ*DM#kDCpyx`(MEZzc*`t2A?fNX2PV!;>WG_g*w^#9oa?Nwu|+{BEPeSWn3$N+A{8pVd-TnFA1t-gN=+&A_x*jzr}FXDbhTdXLjZfQnGn0R zL#{5HTp~3941(#M!mD#@vHgH5K41&_oAv`m)%1XtDR3xeS7}nwD{;XEWLt?evib<# z)N<2aPs?2seR(W677Enf6*@A~i)e$-MlssA=7UkSY<143k}nBqhmzLqSz z7pKPaKAp>ZUId$NCTm&VM3@XqVUIk1?Pg&zVC`ey$M88=DlF4n%(w2c>J0$!Cjc%@ zxQ|a$;a9fWM`>k0n97t1GBfz#DhHsgk^7jXJKj zxh4JgtAsdMhF^9I@%Mc`&oG=cD&q}LQIjI656Pz5lHpU8Ji~h@+ z6D3OIiNEA!e7RC&uPW}@^Z<;Ngcl3q8RH#cpp5_RF-8agoEJ!fHB9pPtYr7wkXkr> zBcJulXB!8u-WLw7ABrOiJcg?yn7TrfW$9!?#39QyLmMDE>44NMklFU?N<TOQZmt9S`ZeU`qm0fE zp6mLt^|P79bU2JNECua=rm%$ouCENhkMkyAm;gam4zLn;UjgQ(3=GS{kH){fMiK!` z;I|tqh?_;P-6ijzpY~kd8>f`ej7(0$hw>q+~tKT5109ylNV<8M+ zs>0c1Wi3UX0aq$gfztSsc|k_{ZW#-Cph70d_8LMeP=g~)VE)yD6QECkmn|LcE?=aY zesdzGp>aZo14t3R8Ur!dzwaWa5g$OvnH0w+OI3(~Lp{rIbtJ0^@g3Er0H?AQ+aM&MHS&dO;rQA4KEN5?UG6A|^~(3@ zZ8r3at$(AZlmL*2cegiGS%)bEmQqP=0c!N_qR5kK4i$h51*ks&E;pG?I6hb+u`_#n z^2cT~t2lUHqLBV>hBGPMj&)6eCLKZX96wRF!1=GQ?q*p5L)ri?3WqgD2}*j{2I-y6 zA_CCMN8RP{I~tTcla2ym*9BQ3`)dL~(4s(}QaEsFVGxwi_81@_{tBv_W%kc?6kV-x zkn`Q+b!oYq3*bdXiE6VB&$YLI+xSm+X3Bx(1_}f4fSUv_ua<)buo90>fg|X@;+O0u zxIshr=BIDVHS^j2QIG`eE-<@+r}uwM1_jeXu7Snm;<(}XE5=H&TVT&y{P@oJhJWPy zcg#Cd;lIHP65z*;d|{ zSWZblu4kbQGU=f}YPwr%y;@6|e>)Vd7WZ``&3g=`m+M3pvYg!jZg&@deL9M0f8uqp za$=YLT2}bg7JJIxK}_U9z3s41_VQikCIKr{7`M}imIG&QU#@Dwn=dmoAR-v#ko?(f-EKH!raIoN|H%$Xz z%}Hzk|Hwr;3poLTd61DIoymVe}IbTX>v0-qGC{H8u9-|^^N57mg~HytmqbrpCcr{ z4Q0!9F7KKRf_4J$L}QJL`lC~6m<&bygXyDvI<3CQ2k!q_CW_$R|CG7&gR{dZVlY`1sHTYN zr4EaU8FjyeK!s6B=HIgBm^**}-l(2FrwB#Mgx}c971V5Y88ss!YaYUi0Eqc*Ai-SQ zx_|OMT+?MlA_mD7}XXPnsp$@q{yklNrB|w5xfq_lQ9L-1}WFTDt8=8H*Y0VKdC3xxb+YRDpjArl~+6G;l;x5d>g|XTXPuU4U3;SZjXmJ z!ceQU7?wqctgbEoO<`whu!Ux?o2bQe*qaw09EV5%fcfRm@R-@X2fq)e=@Ua&1N(2# z>|*H|Cj4Rd2>Qbv*t>?};yg~dkOPUEZ}^m(6aCk}d<(hlm+H0XkY9MvqF3#yV2GB^ z=rQx>Z(Am9yImmMZgTs+gr9%$amEg=s?}uH8CuJL0q~CnoCl$U(2Vju*=2yF09HC6 z_^MYJb#wL((j2f+wHTaTV%JPYZ+C8Kz6*{4FE?A`Wh_(60}FH)EGoweD}YiOcqd2f zjJx%qX&cT7Lxp`Y)R+1`ZdLb~{7X!0RjK~cZ7kq}Lpt=QidAn8S`fgU6HLyvED$KS zJ4I1~9e!ND*!0};l&(cHMl)W_-89?1tcAlQwlnD6_|?P5eh1Iwccxd{P2_YN%uRMS z=^6J&gU?TXcXv8aEdu9lGiZ*y5`OvI*g-~_AOKuE()&d6dh=EuAbpyHj!0hbZ)uGj zWnk=@pdbL1VsZ7L{2|@f1+BfT(E^5)z2=?y>b!+e(Xa(mt$n#c035w|b;ytLWx5u& zOI+M|xN`tqtB(oTK#p^~=%7pJL`O=L4q!g=zGev@w;F*9tUXs#1;C2s(k&T(oeEXr zmm$*KlAf@d7va#v({#Lyi!F4@=jmo*M&4YzB%2H=x3!EVG(chUSIi zocZ1Pt!1v07#ak^0IY@_Rd+u=zgF@IsSpFQLQGVolCk)WRMX8(`Dyz?*o7u+)90wS!}Tt%*~Nm_1;LPCVC3VE?)aSbDIK?)>XyDvL3OT30asrfc>~W zc{S$Fo#)_liyw{~-W^chOx}{1R!RbhsE>&X(f{Uc7JPq^)&mt%U|LAvmbLUEgpM34 zrIblK?H%0CP044Hjg>&|8}RIA$fDi$gpxe*!2a3^Kfj zWonD_4^t4zUV<@@J&ea6)mYVxs;tigzjwd+OfixA>RH-*Te<$_Yw zzBxTIXrm(PxNNZC?!MTx{PYaflxWE52_rSH8~HYr}4C!27G zoC6{SIB(zX+8RSNhw0jH8DyQ{X%t+F0Xex6F-(SLy6RCw7L`YGyHSIvAvan4quH()AOqRES1Q?R~z#*@-Cv!D8&sgK7 z;98AZoOUW=yk8lSbl$6E%bhmnUl|!ib5e)TPdRs0l9v(5Zli-{;kG$z-JfRjjTerCt(`+~nG znO>Pi0!a=rr5PVeAPCp}jBF_4PwBrUw9%G_Tc%J?!*98lm3t0=7pZco}0;8w~?s z_0f{ui3=hG+v!b?^ z5>rYCfENkL(PKTG`|^&{lzC*!4*)i_p%?p2+En?MTO2^ntIz=zOfT;HH-~+TeG4Eq z-a#MQ(lYIRZN|jyCw(l+!QPZ5ZLpT>*&ojy=Fht?HGl6Dns^yw5zEUbjqos|)GCkF z1+&lf>OUZ2=447sN5CdJ{E1L#c-v6bc)#)OLFzUVK&_K=*G$@`ZvsHuCw+QH4c-B_;u)%7X@-)76`z2b;6=! zpL~Bd4PLPS0-z!$a{f#hu8e6hW zdTQKrwa%yW*usH)sriFKIdpA&3ghd+++vNk@cuA)N7xbmj(*C#&w&O|w9eOd-o6)! z9DhL&yXVnt3Mx2ygLV3Hcs4NSK zuTI2c7K;GTX%T;X1tqA0B^|US&E|OTTDC^MQjlBwW(a8v8wHsm(vJ_(+O7hGG6Vb`B?Iy5?0OD=#-nt6gj5{Zsib z25QJazhAoAeWn1QD1yJ<_nM2Cthf4`b7RnLSf$yR6Wdw+q9}TZ+OcH`NWiPL=9uq? z3h5_Vl<5W8H8Bmoyda&f_H3zEpO~0N0E~=2ul23V^Eu_c#PiO@w!jRm{6yDiv8scU zsPM~c8~}j5_udb-p+%qJD&%a84sruDO)5+{W@zMiK*pu2`fm7@oK^Od`JN!zJd#qi z55HPJi6k8~Cjq|CTwz@A5eM5Fnn0laMO12fKRI{bUftR`QOe)=Rq@jl3IK;HWj9;me^_STu4L;t4@ z@@7jRCdrP7v*!Ua{DX(iW8hj-iSP}x4r&wuMI>c09lf8{O!874Tn z2{RT;I%dj*N8Zc)qO;Vexx!Eh^O!C!mh;IV0xu!83bGA~?lq0)qV#0RoU-i4%O#Y(wzf>E> z1En6Js?hm*1x-6Q>zU8x%+J^tPMjqZrbcPS#9Jo+kZ>4(tkaL_oY~F6IL_wXI+OxX z?R(1MF9GTexCaom5LJ+wYCS4R^qEerE@R}JdBNWl)#)txzuI~WsHnQAeS8!p1{R>S zw5T);pmZo8f;31D4FeKGcS|EB0z-)PFF1T~& z+*9|Qy`SgV`}BG%ZC%Z+k5(Pllj9LOdSsWA@mVMd<(^}MQqdAq4tMo2v#>*Vg|6D> z*OLkmTIGMDa{UAbOgF{tYTk4K*G=;_@eN;;1_pkVp&iqfW&(XTZiXxwqO z#N*G%oz1Zi?PTBXMoW!2=~X=`=nK+A+o>vYYDn<30nJi8$#JP*LZeL2ltFgMi zXCv4&oIP8sYOYE{j?y00>5Kcd3Tv3GPCrQ>B6N8`B4=>>rBKE}z0DY#=7b0TMpD0% zDR1&*xlOR5(5$u9g2nP=VSNpwP_0DX8UN$-E3KAkvvg;%HwXDwE~n|66HAlTUnl(l zgPo4P3Cw{{wC<~QRib}i8h{n49;;W=B)pN6!pN_Fc+s!)9LoZQ+rjv-L`_3;EN(r5k``gnYGq3JXPESRCT*P9fE7Tdq}R{AX#6s&sV zhk)zcE;0!){{z*S&?2r+YREMr_EK7A_}Ji;nT4EzLt=@xMLv|xAkse|daiP7Zx~Qe z>-wi>qu0F0;cLlPix&J!JeT51fVR!%oGB{iDRAe>?{;AoM%W%~YL$G1SKHL%YbvHD z|2&AW7}}TH=@xWbB8317cL41JpDlEdBA1n8Ci3Zt7TyTg22%5IM<8C*nrkr13o8e_ zsb%VIlI4<$t(b&Js$H7Eot@s~TvY)2cfXKd8_8aS3&toByX;9P5bzQ z8796pmua17f@iG~bA7%Y@tCT7%gZI-UB}dW6OgE9AKd(ac8KX`2kT}-R|$Hfr})Vx z)nf~*6ia+gQ~Bi*J>#JQ?pkuMWH5oInoP(HMKArlM`{!GonF6Mu~niKRd7_h8@@NO zWqZ@6b9@XMxplh^tUWs2`9!p3B)?Yh%f_$mrU#hk*FRm2FADe#rnO^GpQ(c7t|;xl zCal@Mh?INdRyxgeU7&?H{dQ@CM!M+H=6>zLxOB}ayVmcJ?kN;jR;eO>TP0B_MlT>> zH@^ZlV4z+=rVmdAZ2i`E>W;MdX<;e|{Cq&1!2nx_?fOevcJ*aEzXdP-bX|H?h2QeZ zRUk%72voD?o(sSjitjkx9IyQfv=>iq464#9im`@?{AbwTvHQ@XcoW;7C!@w%eVEy? zqpMRVli~L6h!hbIa=Owv<;b<%Z`s^LDdXn}{YUM5t|DN1?~kTr_*^ccKKF+$2)TxmIP=?gIL4 zu~(H|gm%2bYYSUObpL_e1PP7r{O=4AcgOFr(3qCg!($_q^3~L$=g~~nVs9+H(?J&$ zv^5@m6NDD@FT~_ld7$z!l7nb#+Q;Y2p#l$qcYLONB!f}rl*$@EqMKibY338snH!yZ z+1N5-70f>fpbnRNRX{hyz7SL4TM0m+CJ&FSxpoQYZE{8-p72xwTVi73mM@o{`@27` zb@Rg%BAbW&tfcM1qj7HUw=bp>c0Rb;(8%~a_PuT^AQ)e@QSKH14B|`3&9$P#?Vvwn z=>3#Pm_`RvdtJ;eCcoge@FPwf{jmlS z6o|{~UW2P!;Okrr5)r0aa4J^* zA9~LEV~9P5|j>YO{psQsrQW|NGRWqjjdW3s}3LlgJ z2XJJ0j6z%d%%WKT?ZYg4#bB!)~u`VF3RH?P)1WIy&>Z8r)wWVx2(w;4i}U|bm2v<0=Cv_^LIW6mn&Z#8asf(VXO>3Kqnu}f*q_rsxdYOO ziq{MmVDuU=wXY!l2gK2QdfLN!Ua39=wVj$#63T3T^%QVpFc3LHaDpKudhTrimjdq5 z3>I-J3}AoX2}JOOj(>r}ueBbb=_4G&vlwhaERrN{2`{3L6oZ?$di~`dG^{3yIl1Wq0Qc<~3{R`K(oy_io03Xik-z7kU{g>zfIaux=rA;bJTvqxrVt9w&8V$l8 zvJt!XZHGnPzY_)sd(RD4sIbRpRi!0C=U-0h$RKDMx=ydg$I1D&e`gFkM+4?d;@~4jqxvqg)(gOzUN46LK<0F*|31vw{gtMyk({ThaB$A06+S9w4qaEf%^NGG6H)s@ruyy*urWw|)crCh{MLo2QUa%7 zj4cOUbzn{VMfU}=u*%iyWJLGN+Zt7eG1V&D_=ob+RQIK*%3m}|FocrGwh_xR4EyLC zXh|v!33)gTIBmNLqfQQ3Sy@{F`v<~cVF{OpY7eJVe2vSI$;6VcA_4=k0QJNyI!l>F$SRrR5aP)$61^tlDNp^>>@gj z{QrJ!LZ_vt4+em6>SsS*)V?m5jn^Iu7MoDm;u4o^-n zWrV#&o~`u85g?+fR`-@I`-6ycWY8d*0ufb;2;s%l_51t2O-}0oPQLiRpQ0vbW^(?$g`!+hyYF^YJP(0X~ljqs=lMw{rPR}2%D*njt_D{d*OpK_OC~|dt~Kq zLz1-7GFn;|m5=$JKeMH~o11gTsla8@YRW*~Lm)&amJ z^NfNWL$FJePP=XeJn24OtlAlGN9TJbJjM3s8j7amxAvSerC|15yw~QGk-O(~s&PT; zdb{xjRQ>g6zf41rj((bou3DQU6I(TcRj~{+nTFA`q@E_Bh7FNWzO`Hi0V4gh`sL+Z zFQb|EFMlGQzrcYQZEXy2r}oVLm}?}v$^HUo@gAe}7@A`h#A_;kX6BdDX}1A+0PqaY z8={xmB$KL;fe%Fl+CNl1|8o4bGf$-1=Dzm+RY?;L#M#x+>e_Eshq~*eHytP4p=3aAiZaSxdr`wIX6EBqE<2TaxTm83|Utqyl% z_&xjlLl-kdSNFA@b(BSSWJ}V7_t$R&m3?0OPL2-T95iJDQp8^Dx7_SPezd07p9(Dr z>!u`2-jB^<5rU>Jz~4?%SMRPkVB2`sw4FpKn|&Uw`1Z}gv!1^A)~);E_n~#3p1%Z) z3CxSnaIw2&s>IEErVa!fkrcMqZg~dLtUrxsee`C%h$)U~T2du^u&f0Vb^Y>#&u)j| z;{|Ja^EMsp_!ksT7>~`}=)btW2_YpT{jo52?%;bO-Z2ja?SE6>%`l+TEVBsJ@l_(c z&uu6**?i4-xDWvfX#eB%rqr>L0*xo+M0aKA9r4RrAgG!4YEkRrV1h8&M^X2X@VD1V zTc=N`z3=c1(FQM~OXkQ<(Am%OgO@Th?be#Ylc=j(TTz7(terHsj@rY1~)f8X$COSJ@UOn38vXX8#Ym^5$+-N4Zq*Vdj7WZ25- z1nf8>4;C6jLC+gqPb@6Y4vC%GpJ+Ol?>st~cgyg(F|`gND8|v&e_t~_SxSDtQmAtA zT#Mq@O*h-wwh8f)~very>wNj2k{-hfnJ*9Qzg8kUxG;BkiN zMJe8b5Tsq)h5VTQN-|k@Vfx|WgWlgeoY!LMTlqNGU5FqiA}j*gRsyJ)$_On-Tt z7^C&lJ;7>gZgbxTngyKeP{Z5+GvC7!dJ&D)G;7BJ?jibayRQP9TS*Xmrrif%Aw*pL z-2Kf5?dSiatJ3M3voqM_He7CSK;8WGlgD#K1uwYu#pzE;8}B3J;XVFa^xJ<(*a^4W z_?Qex(RgBR&ldNZ{_K#FdtZ}r2)jZc&Xv{A@%8nSkxk7mcl;z80*hClV1qVI9y8nn ze=;4|jWJ4iyKWGRi@4zOX==qEH2a>D(p_gZyFvwSD-BD8=G9m4zX<+5h01%JfChUS zR#}nSOnFI3$;;t2U8BxYe+!u=7Pm=t{aD!tr+b6JVNK+>z~nAF-H|XFM@J3t({9=D zSj}@lo;uplTpi7@AJi2$iQCNTf9{2&1r23ihZ+!}y=Hu5|7|XL_hVtH+tTmhWIQ#c3Y7DnL$+Cde=D zdSLOdip@hKqrTSG2hJkp-$pnv|00L9lshpeTg{StdX~DnbQzU|`)B(Gr~8)EQL%nH z-Ctro^}gbn6~)duck+Q*T;5AQVaq{I3{k=?Mc?ip+<>Il_uG}T3~)aM`whfDsy;#w ztL)bZ-FWd3rnrK$im&rsbq(eWxMxB_juJbcnq6-~JPD}-5MJn3#K^(LGe%`Zzgmjq z46jt}9i$K+pE_cV#N$ji*jNnSjPjoMlPIR;tj9{<+vBY)hb7j}@iDP?)fx~Avbm*B z!Wr9^*Sca_`=op|KG#)MRT)oy&fA^!nz}z=P!ILQ{=+*HE>)?xrUV@}B^j`KDgQ?*nmOm4 zF)kv+nE(OUGlQs!tWP#(+QFmtE~JOcscXNf&Ei3ebtCM5lk(DiY?&M&E%B`=?p2JH z1qR9LBeVX`zr)jsbyW4OR*kgm&N*4RLKdb=`Xmb?$o@oA=K-OvE1FE=m+>9wP2N}T zqE1KUY}w3DM!I`hSJ8!`4)`mHo4Fs%7R$=Z#y$&~ke8|)gal9`A&@b`6G;9l*> zoVfu}7k5|w`6%GspUTy{Pcl|QvWpneX~`*%MEQ3{isz5L4pyi>Fr!=^cns#V-M zkuIKX{p?7YRA~tvMeqB?(|65L+ywqaMVmo`2^M>?k-*^Hu| zc#`|M*&5<6T(llmeCZ4hn)o%#=12JaBaK%@o3ph^AH-<1U1R$U@^pVr5bU4+{Q5<^ zO9XaT{_n6W5H1<35tvHp>1ne-yZ^u!<#dryh|=(hMjcZ1S*OsiR~v%2Aj)(W466pB zke@v%o%hV z@@y*Vc}HI1SO&GqxP!88mCfpF?vt8ekF&6tFt%!^HC@FLR?g-RN!lxGD^P(b3%5V* zMM!Fb{Xg`6f?-|2g0AJUnHp8^Lahy^PW)OMsZ)QRPj5N%+UFg4CWC14>~bCNUUhCz zH`;OfvFY=lAByhrADchNojQKEz@L(UitgBVb*`TmBRl5T>g0*bF?koK!!NC*7cg zDG;kI$a;#)FJBl9)>!ZYyiTB5SHX{v4HPd`@evD~lPW zU({4=X(~bQ{$%Z^O>SU(3251BlPUYh#QM?`qo@TfFj|d7hiMU=1`R2TywX2Yx+cU)>k*q^igNW z_$Cix+BM;p*((pPa-|6JU*n_t&$grYsOaK*fC(2X{(D7C(n^)a@#E-XeDL9;~s$^TY1qg^!U(_K3nk%yJsnlDbz zuHSh|+(=JfrBpZ5LBfb5az3+09s1baH>(o@)F8PE|JChG%6Z-n;EAzw&>F~kN3!Mwq zNafY`?2fTT&AC-KF8Q#c*KdElHmqlK1v_b*;CjtF`?R@rB2FYS(!+(&k0tEmR5`!@ zCx|3u7P~YiyGRmlJD}6#tXtVK3(bTg!xv7Q7zesOM2^l}ehw;$d=pa$+XePa@7$v& z;&(*Eb%-GL^t_aG+^R`w-2X`dyfmJa{75-sXrg}vMck$>cC0859yT}o1`Xka_fB*h(pwwd$1V+2c-Br*Q+8|M$rd z-gxRMROnk950Kv}%Bp_|>rbm&dp-h{go=)lQSQiqE-#8oV?*oGzPnovJD%pyeSx#XD$^4%)cx|IcXKVhz>C*FTj&0bhv!ta` z(wKZQ;mN7c!ZxPE?2jvxIZtZS8y#sA=kqWb-F4zl0Uij?YN~lkFqw(>i zOb%&DDaf*6-1N_H-*%J;%yB6O4n%M?!eeR*nDFZEwof~gj@uf%Kg=r=7l(HI5^3ZA zbKmLue0exFE;;zyH#O17`j`rlONZrCi9SEd{{FI>QsS8RbVhCU_@`LUUYYkt3HB%E zz_9%vL-1=}zGABQK1zb|aW&sfgUlwmwAYww7Oq^FGN=V!nrpw8hQk+O%wkeluPv?d8}qcH(+OrWwpn@xr9@JTdBIBf2=yg4 zIR!ghI^cQWi=4nOP+m1P)mJKE3#PWHObfq7nU&dMF<|<}*hixEMf&w=<;UaMZEdkV z6pQu*EhINaQF-jL`i-7s0R0P9;tV++V~lKs6hTy`Am1Q1kX1NeCM`4mQPZ(H9obQ)?`h6me+ODulbUa z*-y-Qz#HyZvxr&RjcHz-j$IaPoFf7+0Wg4gK$kQKj#3kj4ODaTHw{5Q8_SnF2Famkf&n-@wlj}&y_Ek*k9Lz+J~JtKYs{XP!~lWCBgGNxyD_cstDz>*0T z!@(dTqiEz0(JcCqhTpf>Zd_*N<=qDTlU<_Fo=kf+VwsHvDk#e5$O7Ih$iXp!uRMG$ zBcv?5&0zq%#%&f`pUZV)zdxo-iPtbbNrjOQM^mXH&Vj4ZJ{}|f%=Hgbk}g_?8Arsu z>Fl$@nrKPh4imc=ZS|E<#8Qrlb7e&^uzY@r*pkv@ZmMskjeSdH(DxBj(Anqmqm<1( zm@xEf9Us^1LV+Y8dF3$Fm8$%0L>X0!4MdyA_@=1W(YKli#{4V@cQHKl+x{^~PQwgE zH-NxU5PMI>#l>}Ds2(mb?~VoHC?o-mp-q{vyT2chnQ0g&v=DJlXbg;Xlclz59*?gg zP{&Am-_siwLuq$107eR-qoZrk?!&{!4{UCh&@9&bREB`P9$`q6@S}rd<>m$gfbzbe zASDhV%{$xj+y2U?L1m{=A7XjNC$ubQco{!`0M4(7gieg>xIWL-pq37UG~)5onexg( zK~e;=ODUo46br%+5l^J(0aGT&c9WCjoA&Rk3wGdgE{@qrXbFCgc-Pg^)rF0PLr9uo z*yveRyvaH7Ao5E>Fb@WtxfRsY5lJTEg z(~ys2ut+DXIw?u`qYv|fwFnV|t$Cc(#G?4J=yw$qyK@)Sy8}JhNtL@ua#B@!jD)!u zNqMbLZ_E+gSTfdv>J%&6+S<~AeUPg#9rTPRrC46coKbz38qqpW;;=rVdQstmlZJiR z4wvwO7i#3;S`xrf#~sDbD7~;warZ^+ecqH4>Iu1sQKXcoOzpP@;^?q^kQ*KPXwq;9 z{Nu&ZUOtD7;bxv5>-*$(*ZSsEs*>NoqBf1Xl|4&1vDw; zjgP8QMjB0DB(H&B1k-F{Nm(WpJ-tYf(u`fVOI2498R%K`QBz+1Q4Y5xoO(+dotBgo z*48G8frB3#Q5rV;((di;Id+dF9&q(d$5AumztUmYP8V6OwViWE#PiK|-lqRO&nc=b zC)Zkz=+}mU2&k2onHlPjA3t(Lz7%!eg;bainmh{=^ge}2O0tpDg8TpvX6NQ~V5_tB zZbTGZdMzNa+mr2zwbj+d^PT4ITBkKD-oS~w@rnfZEswK*k2Hy43k&Z0g@)N$3@<6Y zghGA*- zn!5Uvjk@06-d5|9#t@LoEK9nsEk!VnhQ`R$G!PJ)y{An6;gEZXD19_*Ayps^O;BF_ zOL=)7iy<0vC}WT)f^s-bhy=6>B;AB3Jax6VZvnX}VLpGHDJgr>V|;Gkv($Kw`Dz`f zZdP+TEmv0u1OhUO0Q!)6-HFTtCK7`IH*;)kV{ZPD(0H~0T(`ZC z7EJ@i8&ekEkL>iG82NjR1JfTV4wTIx!_)>%ms&aXG>WRP5+RAJ>Ol!IZ!Lg}QRe^h zC$Pv(+x{bA02cqHPC^{!kW*FS0J#49XF`a>$@X08OG<&7e;Jr>u-=4p{ajdvu#1&C z-ZFMIhU^Hc@V+CNB1xH=nkvu@vsJ-3k|n0cHb@D!cUuXsL_6Ud1S2&EIu`rQ!8aP0ttH7fpTZMDgxORW!mqu5k9!F`P01L z)01+2<87`D+?F4MbGN1oK9B~<6nXFA#eS8IjFj1*^U}UJ+4;p|2Ez|$Az1b}_}RL! z(EKu$2coU3irIMj1?fr7L9(-)C=3@iZ|yE{n63VZxm`sGU~ ze$nETHvFH*4kz>Fw<4#Sl(|WNQZR6fP)|f>5MRwZO%em-?S-Wr&whF4kHtp!pfs_V zAAHv)J0Uwp3;7i0MF!aC;*F=Bz0crqYR{UhAVMyg_^8>2$XxiW= z(-+wVSrF!Gn{Gq)KH*|l7nh~mD#OMK_Y#;LZKmj-vVz$+`vWaH>2(*|OIZ@|3_mC9 z@csOJmMLB%jJdq>%*~dXFK{TGeNtj- z8a7e%`r`C&aYF~=Z2L>hSn160UwmT^E~~B<7#J9!>{1*?buOcrF`RA`zwMbp0ZY8K z%H`|%CRzh;gw<4x(jTU@g~m+7G)Z+Xd<4LhQxQgUL@`h0RPR7av9iL7iZ~b}FE1`s zbane+wjaSP9lr&4Eqv`I>V0Y-I8z?UI#H^)n|wzqxLZIe?I#6u=tUaMgXar3Mu3_j zJRA>7t}jwl2i{$0de-UVUnLYfY$cb1rP*nG7M zKQ*CDR*jfV<;Sr7UJEKA=iZb$QN-TMguJ%QZv65jgO=~6slmZ>dA`xl)t{-7Yif3g zhip!y0QZ90o`+7fVr?7>#hIAwt+F4)W*kE1B4!!DN4)Bz zDr^?KZvhO_3HS)Lx)R_F>fzybU?@JPWpeO21M8P*sxjR_5f6m9xyjYV+3v|nBA$sQ zWd)X2T-7QRG7h|a0k)$K@VbJ{4oXOFBgDxGMWK!)x}LBKlXnIOLm)m(OqE;Hc``eE z;(1ZQG&2xDN&lxVtx>TWbdY#iFnj%Q0D;J zOnuYwefO%=i?Y>rjUEL>slsvcUm~s#ghhnz1F!qM`O3h22E4j#b6TgJ{ij=(d9u+_ zQZvQrJdoSn_W%1P#F zA`ry6fKTGK?-+n~9n_WW`1nefbtDM+_U+!~tiT;NcFYU7eEFrhr?SvfAv0i=$)GJ4 zr}uO};Y{1@5AGqs;SC75qrK?ML%=__r|+|UYhYF;)h%_t8$UZ>Q#<4ASb)pB7nAR^ zlcDWoL%$vR;zz*s4X|1fK`^W<{eoVYJPuL2=``sfmDtU?5NzDZLq1!YYa9r%=XSt1 z-uGx`EWltaDH(VuXBefQ*nm~$vx`t~e6{q=>!Ssu1+7#F1SC|0k}P=P1FxWMQ%;qq z#_^OA(gKiIXU9q{cY|)-*yAqF6i=cBq9Bs+@Ee zim0>eUf4%Yc>$x;@<&tU1KesJ^7g_#&YB=%N2)pyS>Oo4bo`ef~o(a@hKygM5A`c}nC zI7Qq7fCGFxu{chpYNQK`+4+}rfYtFzO=MdWzxI>WO+tY z2}rbAwuC$?u91#=brrV8piS_+h3>(sm1N-|FtVsbu|Ti&qn zZcx~sw1BvqufP`fR{cMlX24UlUd65T;jJEiz&V|;%iI-x5z9I=gLmWcq}Tgdq{;KK zL4ZDYy-!aywtRR#r7-jAF{ASSTr(Q?Gkd}9e zjk`+&pBzsP1ch{7$&biC+v-KyT-lRBegs>_E%GQ{vAHgp<8PYJ_ZIRS+ZY+O(3kwQ z{AVvnM(gchqy<)DG%sN`s!4Dcw|5?20G;e>-Fy?G?Y!aNv@F9qtNcO)zPNW;`kA&1 zs4x;z_OqiT+IzlBMTZ7~g@%SLlCfGTGL%V8%EpKPYS;N_g=&>0v~ zn=>OaKqO^ZXT@03bE@uBF>N?+!6N0H$}v`7?fh{%>RnLU0LLQEN2fe{4Vex7W_K95I**pDK}UN(Pu@_(cb<0TvWYcSKX*@$q}$j3hDiF5Ds3BI3n=m;}-~waW^ip7PK}TNyBzf=k5?;JI0|4fVi*qx-XQp(U1Am zU-#iOo!tO73#`rJW9b};&_}&jD*l1gegWzLD7*e9cxL<%`jzXYq|p9;6;yqDv_dA^ z=1W#wVoh3F#twYV@sFLK|8C7mf$_@|rgYS zUQ@t%gRaZKz<|Isrw2942Ix+mcBIbz*zc*F6JyTBI2qCgt~xWw;cU9nUn2%Tk0`(D z^=u)L@!RZDl{EUB(X^ja%0Gp(#IsLFsP8cU$VAq|Jof4V7eOp3#LT2#z>jkLeewk; zh}zS*#Z@QEq+bCG<(IZUKOL*{-g?((R}v|HgGG+j7!FP>H1$k_M|Nb1cO8GavL z%-c@^3^qMGG>5HnvE>U|@Yc6WTylxhUk`0+pyeWziRr4#D^=>6PiM$T5__zdzmI=? z185Tsg{kWZyRWT7l)p>!77D$!Sy8#cV!Bq|O3N{DU^7vl`0XC9I`6Xo8(6X>xgG%$pj~!uo9Mw_CkWpr+j1+#x)w=Kb`*QJO-r4~AbpMqjKr zgpBm!7EIX}48%VMFY!Z2%Lhg4(;|J&YrXzKatN?5NViLB3UCwqW~2tE(a!)SwQ9?} z^@j7w5B*H!(-;bH*l>3iTPqYY6+?#wQL>u}4wKg^{c+Bn5S<;>Ov^g(OJnrd?0o+1 zOx&{c8$_;IEVhFX*~-uH#{gIF2W=nQ;+e{fM=N)*($} zom7+|j?Sm`p7*2FbPzfTh1MzBdUo;90DlY0ICGo+ILHNo(M@2<^Nfsr5r9V*c79+4 zo3=@3L3mgr)lDo@Q;zwo`fo~4eY!OU@@c#`B4?3m%OqvXaYqoy31i^mUU_2MrCgz! zQ$=|h05T(!_(;-e%tU0UQni8{J(sY&1$H<^Ma*wuE1nrvAyng(4F2JrZnZz*wal~k z`z9v^VWG`x821ea1p}2x**AX8*7(l!2GXMU2?;2!%Icp8i+%#; zLeZ15Ntj*4bijd=j^HWEguCD5>rXh)~DSe}qMb%e3BReceyF{xgKB+O~JnQBm{VTToz6|HQkLcR|<3 z8j(n-nA?qoK|g9R9=B^f+~W@+;i^26BGw|C#gz3%T!6NC=v<`c8QmqLeK=8aYV`eD z1xztAQ)c6l`0LhhpGmeCqB|1&pT?7tWnarL|EOOip{%mXbM{*z`_v%rZMaRGi@JZ_ zKiu1?cHR7WuH^8iRGl+oDhIk>Sa(DK&C2`2$0_qb0DSv9NMs)So|M z9!t zhJKjg5dlK28STyS;MT*uyZ}ymVdsMB6a86we(b#LzPz`jUBd zFU{WMfFA%uQVS!*Ls;j=Z8Ih9#SQAy@eg-QM(4aR(l^byt*;i}?Hgb&yg(1jQBiVc zSn}M087FNXjn8_r1dzzL8B$_D&c+MdO3T;TC0b(axFk0&-L;*6L-MbD_R`i~A5#7a z=xdvtn4ma6-ZG_(lX)(GyL*i82@p9}aB;^KTmX$vg~(HO1;OIOg(u5nVu+B*k3FFH z_+=oi6CkoOFyH=QIknFsAVBkxGtT^O7vK`4OiWA?Ccw9{^}-`(^&W`%4%j`Db~T_= zt0*_pwp={xG8=DsBY2M{QZ4)zcq@V5a0-qmd1b(_qoY&fcP;Md=;)sP>OM1vp59Xk z1Q#MF{p=Mpj)Q{(2kzIZa?8<2vrRtm?M>Qg!*;zX5Ev%(xw!^3!RW zq?A;d$ANi5W~i{^+7RuI1+nL40 zXu;V%t9}f3SXn=(Piy35i_Ufi$A!L<)ByjPU%g}8)vhOhxVmKr>ds~d_g#(>C$>{fFnZ2{~O6Pqjy%L>T0vJya?@{pk zRPS9tPv=uDirhJN6iGaqlO)I1Sk&^{gG$>u-R+C-j~+b&Ukge|Aj42YM$%ixEF{4k zR3hm4aX{XcwP^zw9#EQ;-~_9pq9Q;+w%=qTKwyZyCXb6#hbm)?-=>hvdz(|&-X71= zbNBPZvFZJumSCkhrx z1x8)rb^j{b`*hcsoWPipq)p|~XY^|BiEdfyO2CZJd3t(s zaDe(q(;}z3yF<~yaKgMlpKUyBV(0`ZNu}YoKaGC_*h^Vi`Jb0B;``~aTpja}M#Fa`0ff4OV#38)doTDhv%YT21+i08Y?#2Om7XIr2 zxaRHk_4OoB#s70NA7*f1@p##sh2U(Un+i#=H{dx^$;8v;p9fEWv<7MznEvgxAoMKm zhrGPji3zQ2s`}bm<3c)sXTgDRat3dW%U-UR>UOCN@fh0xgcH3DG$!y5PTm8k_WlqF85W~TUuJS z&dt#R@|+PwOo4v=K-IEg{f!0fy)w>88ZnK+!ot#ljRozc2|3w=X{D)-Dd>YQ(j&3} zsbke|1J|VK0(}6i{(q`D@;@E)zikGCjak=J(W2-VL^LBtU`$CcgM`$6CElO-amrCw z_nx=6H>P|rD1RsM26@-?^t8Q;3*zssAQrP`ml~vQ@ww^89@$hE!$-$CJJPp8|kuiy7dYDRdeN6#`D}TLwz_|Au*t zCvt9f76#bLe=3rK=8V~#A~_%Xj#5`sg8|m@pX-kUgL7XnJsq_9x3uZ|4eSiC}ck#9v&_}J|_R<-)oLO zPVC|t3r`>B(24p-qsZGxNOUM6X~NDe;$IIKr9yhwC0j#9Kk_=+Wu#^gn z7=unF6`=$Uv@F2+T+r0iV#54#g}mlX@%OV1}T#Spe2 zV$ArTsITu2{`oX44dx4fZp?vRwf}oVNEs+TmNWkwCL|0NNiFfuZIAgQ<4A+bV&1kT z{Vm+MNXEFR2bH+H$rMBkPId(}94_NM>Mjg%$~edtxu8ni#iPg&*{OixR{`hxH^huM z#Ni2g_PwDH$N>3~ysIMB{h#Zwe;$I{{%_&`RFSf)s%#a8snxr#pHv|{m^O!bmPQ-v zF~R9N