From e55cacc87bf0a5880ac6c987dfbb1800d914280e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 16:12:28 +0000 Subject: [PATCH] scaled down --- helm/www/matita/images/matita-small.png | Bin 7877 -> 7503 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/helm/www/matita/images/matita-small.png b/helm/www/matita/images/matita-small.png index 4a2b4a70922e3555351f196e3420973ce726bf03..52519bfe0082ded5895f4739b2d30c262e892569 100644 GIT binary patch literal 7503 zcmXY$1yCE^+r@F0;_gRE)h)Q1HqAeNa)dbE$!Y*xss|ir7D}aGw!iilbet1BV#A6^*>* z-CbSn+`LibJ?*T#?QEHSoxB~H^&IV(l~pyh&ulr|P*CU_R25|P{8mo#0`)#RCgwFNCb>4`usL*I_e-`Og<_W?s>z1eVd43Y zKhkG^fE>Sx z3ldx??Xcb(;pAe9hi~B2qbu^)LNrJ%J`vudpVzRFO1^{VVU(im;wB9+Ad%4+g+?lO zjhterG1tHEWQo(iU^F7qP?m-^60Fa288_0B+YDIrKD`MVVYKX7=zTHMV*Fa9kaU9y z^@BoS9>N!o1uBHNb3z38KFx(`BwsPSF7N~U_AD@h7FqNf2L?cuL%}G;gJ*hS_8J=u z#mQh9c-b>}DYCUjH)xTEbIPL-94XU@=K@?j6zj2Nzn9XItyW=)0s9=K9P<&km9_gN z{&Q4ww0z20HthB=&P~2ec_hjsV^AzC$?kOu^RQIwDQYbWSJ)FLeX;E(JdC0^&(E@Y ze-5@^Qr1X_PZ4O)=!B9_B|}2ChrU^@94Lda8}n3#P8XKb`&S4)jd@HZ(kg599WY-8wOF-NABHF#14^9&xKMv!~GHd-51P8xclKj z$#=@J(C^otGU=HirMU2WMIp|`u%q4{9KKT0?KXZ_TqGz>lQ)2;+D=VW(&h_D#Cayp(ZGcF0sN~r_`x&C3gPiDxx2Pff^S_OZB=w3!E4V4TQTlfu5{W(6(yYE% z#S0Sm5HWunBc$pBZ#HVncR!wTPV&1z(uldCNnSM$lDB{1{qolz9Ic)lXbo`P?{>u& zxucRvC?h(;yimVv1t@->r`YL|bU3k-p|wjqA9SFtk5Z!53h+{3e?}Q`mVgv~=)(x& zw?a9#u@{n-OK?T(X+)ZxGt)(vHL_WZGo#L ztvNX8XPZVk()f#Jk0{XZ%Mhc}1jLfKIwE2sSrwMJT_>SHEy_r%5MmXc404ElE*D*? z$NgTk=jNIbdTuIRFXZ;$?N{a1+di?AYD)7`3CICj_xX2mJAC3fo@yFWPDHl$6DWns z4I`iQYJxjtgKZY(+@7be%tl;N`iDg371;6bMpPsnAaeRz&#~fzAXn z;_qC>6T+X-v6dVu+kHwk!?)SEjxh_Lt2^$IVx?3aRs+ux&ZAjF@R?xW|h?r0!ZaPM=z#=ENA*rn3w+4EqTfX|UImu&yT^b& zC{#;msrWT~#{;U?KVyI-mqX>xmd`c6Drp9ZL71;5Wf@ajyF9?!n3BA9%fNp9ay^xW9o|` zSy5%Vb-5Du5l#-27*xpl`T~MMqVP=i|2H=u0-*)u3bCI|DW{Ug*;X;5Fk3SiG1D3h z(6lzyLZz8blaz6Y2=ZEm4QR;j^NDWoA^1dzy)*^En}D?o`*Gw@qg6S|aY3=O$~ATzz<18X3%);~YJOyWZj{ zqqe&1O3(8Lwme)YNq-W39JQ@y6VCdk%9(Zv9vuE~=ub}+J$c}LwNXPQPF#4o&6PcB)^bo}|*NsHkXz%RF_KHVqF93@o{T z5C}ws+kkz8kcfzah6aI}-8tTnH56JjXJM$F%dW+Kjik{ zMUx4Go&^>bmNrkig0iwY>&^Mrz*KlRYI+azYD<#Ab50Rz^KJY#`pN~K3Wl7?D;PC5 zMhA(b#qI6w&2a-fCO*ETy*)cMl@xeUQ&VpuhT@H?3`ohyB7bo5q^k+{Z99dHTw;3k zq>Z|Oytao40|Ek;x&lQhC@9#uxJnEvo!s5IBqVa|#xtOISFSp`x@DJt6mYI;V>#1e z@2=0-GROT-+xC{~Y_P@irYh%M*4onx9xuu+uCB27hDag?P&(GYfq@cye0+l=BMm+$ zCS&8{qj30j<>Tz!+;X!k-C5@!qDsRWCH_ohoP4+alapV6;4)m&()o#WqV;bVcy_1q z=xXye>h19VeN(A~q|2O%#jkzIC~b7`@@P>gXYzQZDLyU^uhE2$>@p@THFc@Yiwm2G zo|%J#gPq7S$`TjU+|ZErEXOa}4=8}@g z!0Xc@Js$t7WryWPr@2-TNV~MGOxMI@>|m~J=D-_+jtUSxnv|4O5ORo$ot?cFx~&u! z7Y9sSz9C%9sC?n=k8j5EW@ZdsU0tQ0KP%!8Dboj@to(O-cjte(VEAvSRMgc=YHHkd zPK}L>zQ2S^%DcL{Ms1EJ*_fJ`z(#HL^z^iW^L3mqF?}IHw-*OaR8+i7n6W4O`-M$S z6p2dm{{F9yepImu2neu)d{~=XzkZF&&dzqCpn^L_XmXNSg#6`*jg56#stwn#G!P1X zyyvEYWN8fVPUe)EK_s_vntz^LTwWqC7cJ&CHsH=RUBeA}Ui?yE{HM`IpE!J=e2%K3lzS8#g^_7`N>+5$Eu?FQF93HYt zORpdO7f&VdrMfz)wNJh8tSIQO0`o%jF~(-v^a^YHL+yxb5C3>Zt===X^Ub{-zJ)CVjT zFgU}OM}(FT7Z+FhXV!ntl+HiC6*V_!Bq*7H!gwlq)$BI;dnp;{j0qtygh%MDx zp-cFlDpW2A3k%CRIP4`rG1ApIem1*qUmVO`TwK6DeiZo(y3yZ!+6s`e8AB{#6Ehah zI2v{M@TI4x@BI3u`IFX}dHU#bj+Ng4v4U>RSDmQbf4i>X>nobcZ^p{a9Sg|50jLZ> zcwZF#Na9-k#xwZl=jW%FmuWH*vIQdGh?U6Eu!1!cIn3w*Sqlp$!y0otOUp2+z$1U4y)NMs&Wl2+0`tk8GH_K9lGx1loEe|Q2ce@pUFdLTd1q~s_#;R^^rwPq<;c{hj zb@r3A;C#tg^BUs7=1B%lv%brSKdIUz$4NFlHwgSxpi+Us0;+T(NAxVEwvH?|2e{G6 zHm|)erRK++OA$ws?`8U%=1iyGuDIINK-waPtgY^@PQF3fQZexFYL0pQ9$|?)zwNx+Lm=jjHaGa+X&q<@cS-v zNl@A)=sdHvd4pIi$<^Jxtg0&U(%Q=QyION0Sv?0B^;E%@#Vxs#@)7VsHl z6w%kzz6v*E2Mf`3*g`9UM9hfQE!TethQA_l{>N`NStM z?&q+Nw|AjIWkq@U=HI;nz`O&;Hd+f}fy;a|ZuszUcb%4=&e3Kj0C9(WM!f{ z7<03;c}7#b$aw7-41s0>ltFP}Vc2p*q)fE)Vzrrws3;i&1D|T#NY1$@gwBtz@7>k3 zb8B<%6LIfj!l1%<9Xht(`6en!6eSXgbotqws3r429&Pixc`g+_H16nP92N5Z$pRsc zi4kngdeB>;TgKT$mdp!sUr&JWmz9**=-|3xgoIb>-4HS=hPG)aL4804A|lhXv!qt+ zgP#Cj_}SvVx69g04g%59k<-wa zC?&T?V--`X+ReHTB060g|NdPiD*agrFcQDUGri8%yDC_yEoJRFN7>kpH+q=L=4h-q zq5yFCr>df&BA7a~7h~K`7{q7XkBr1-gCg0P`S=nuEkd&3(swUPSq`G`T4+>NOC|Dh z#r=g@htk3{b3i~ll&7WAim}WBo*GP4AOiBdK3&6MV^NZmL(|vShxCL<*+P*~ndUp6 zOP?(+j`IXA=zveTa^xVPv#-bbP)KPD)CWc9B=Z5t5W7V6G4V_zPejB_$>H z764a*o9mqBIKjDMvOw|v&(~=LvXScN<&#Q=p*`@P%*g_+$sBiK_jSnv%;1LQiRo!r zshu>SR-k*?wEX0#+84~yKuNtC+CM%XbOFsRFLOH`R05UG$vMo`2QEvavIt6PSr3R$ z=QX?yT2r27WSHThpb1$A!&TIZ%bU{2GX)x~hwy5SisYM$*+3wJ-*H6Oeat!r-h+dK zg$r*-f&L>PaD(ntTwFZuC=#;a>38rsQ!M0O%%C#;<45wE#e|j}<==Rhh+O)Rxp@(8 z|M?LHpyli7>qEDP6AQPkM=|!^Hl?)sk-jlE2LoU^ePA_;5jZ?_eYTM-NNNqp5b&M- z{e2uBexgxzh4>u(h6HO-LIwgq~<`w2I*qH?ck^zP- zyw8PoVcjU$b8;K-0%jbqmn}yCV6(pd!ay+iOO$0BfEs1_i1Y4XvK1NOh~C1*Bmcj@ zGXLKHfphJ=iM~)Ym$znp#Y1t{b-iB7haQ|;2i!F7V!Zt0m#etrV?ZUUDk>_4?d<__ zQ0RBuDH14jt<8%h+L^Q#phs_Uv)<1uFtTsZk)f1#^J%nHEiEnBq0pe9&Yo5yto^XdG`ZRi^PuyS7PhzI_fX`ELcAM+*FQ>KqZ^pn(5ohg0o?gt zk#)X1G61@UeFF_dzmL3-{w9za`$l3jGi3Zd8;Fj96pYWC^)lMxcx}8`F`oUs=4rtB z`FU-rXVKjRmhYAfwYQHCK(z9vra7f+D?nn1iH$AV(CP}7jNv1-!K}mTCAz2Zz(;13 zTSNq6VLP>lm}O7a8r}Sbhk}6^G99S5;sOF_Ch&EBybz^#NZXktC zxxA{1gP)(M%Aiu1Hc_gzx%fWGl+Q^~`Sq0?|6Yr$>uQ%*G|;*W**$D+qX1?bB5iGpC>a)^@Gcz;W)%zX;UCPG6!BXy>NGzW8IKZaT0O(lj@Kp|fVaZbM zT7=FerUyl`cI78e<=agXhcG*3jc;Q`5A;puh&s8s?LJ&@j5vza`ymkwt(c|Ko?}S!Y&A<<)F!$n%Wy~6Dzdj3*2 zz)y>5frA}Zse|mpW~v1^a^&#%L){<%m2>m+gCk6#8d_S!2L}g|$U(A=x;nB!8cQkd zDCeG;b0&cfN#6M3c&fGrA3jV>%w&c(Ae_)k`oYq;w5(fxj!sPx4Gv@B;d{_7p+K;e z0B=n)P@j0X6ESan4F)I8(@3ycHZ1>3T>#H_KHeTFC@QAp=Y!wA{R(G$%dtsjNpdc= z*-)EY&B+tTfrUQl0N1&V85siNfP44f;mX95v$KM43>!bAxXcKGq&N_|<#SNv?xZq^ z-$y)ewJR_a2w8`Rhk#|;0($8m#zO0WA=X}>etbq>rSnF|=zCE%t@%>>f8|kk-ii(m zT*}FezW{6l@F*=MMb_Nhyj4rmx$m9G0P&Y&zmIJP2kgm7p2tgdG)z<-$we}L=gj}m z`UbhZ?=7Am^jnnxOMWT2;ZIEb9ylwy1UA0h?#=xq7P)N=hai#LBL}Ca_M@pBj!i2E z(_Q?V@Ur>$3mw~t>kWtNe5se5{61pztKGpl!^28bc@oj1wyeCo@$d1ez%AvLgYNF% zd?chIBU4WW1%>-#7UE_{tc(@8xr2->;MbV~T)e#FNB^BtFbHR9q_%t2?872}%*k)w z`F*BDIc5A8;JN^@YgaBLBqU&TI>ZiH%L2X`B5T=sHa-Hy9w4K-zL;K`7CiOA(6y^P z@sR)$wtO@Za*Vge0el%)w!9dUawgE>0EN3P9GYpc_F#LPDb#lz?LcixCAgZ~c@=a!VG9ot(Dh zf~A(1msv&$mQQ?ug%`1Rhvfh4%cLr!vr`feAD_wCx{R-nw(0g~05bc()Y2ul7B66B z1c=~bz|Sg`qyS4LMRNy!5JA37UGhWkAU|M8FE3?Dj+^T)FE4X}a9EVc_b(?Hz%&9Q zO7wXQD9JrsokH>6oc0NRXXQ%;%&3V(BxIiTyYD6z@tg`^uyYcXk3Q;Q2~8)Y++ zlo(hwum!Y-hR~;wuV254`Tu4I=H~^Z6*e(3p}amdC5DT&sP6nTgKwK@Jtz$zkpQ!v zo#r}VWr`kyBEFf8Y%%=U4(U-3%e* zOcagYaf1<=P|9xYzE<4boexaq8(m#_Jw5Wawzi&@PkgWj`qf31SJ!=89-H3cQ1QIf zpU}`!%g)ZOo=EcgRBM|jWNZR~>XC^nf@NMdiVF-&UU9iS4M%;KvwTd=$Z(>js#=HP zY_nF$R9X%N7Mg&(Qdd`(+W2A8UYZqGyA?4O zuCaO73)y6>ZrSY~ZZZ*!a2LXpMEOR>;rA7Wr-$|@%%>3dhCvYf2KQV!VcC%#ZQ~O^ ze;Gjx>JQXV)K6j8VSnTTTwjZxvp>U!#A}OsaT9TktKKtx#KI*_yV z3&rQT<`}$TJ(TQSGQk1xzHnS2l$^8MO6{3P%UQ}@qbTj BnI-@L literal 7877 zcmY*ebySqy*Cmt~x*KT}=~7y{r4dFzLKqynJ4CucL|REkKY2xGNgD%R4zZ zSUb9-$-7!xxLdzv@_OfP%cO5>&7`cVseSa8-4P9q@rkN}tiJc$LAH;H{`BI%WiRR% zo;oBXuS`fk6yqEQ+p_V>=62Xl*2f5F<<#>NjLXZ!-zC~6b4Vk{!Hv1_o~HiGw4E8h&_#~hudI=~tfLD*QSDKa z#9+3s7?;>9#fDK3c601o27Wa5;LlKYE=u%S1G5of{_Lc70rOVv?~TU~_-VGwMP&!O zm2!o9r+;${Tu`yJu}_)F(tcv);zlnE8~4J<3VVM|{aEBo8s<_VyYMQ{Je@u?cb}>8 zi{QyvR2x@Dq7hzj2g<*#SuOuLhF-97J6gLY@t)rbtNAl$REDt0`;vCyuV1{K&`yK( z+F!1mVcjahECvsIkzG7>}$mjSno|Ex~$0U67t3SbhCF}I-GZ*XDeK-<5AcB*uxnAU{5ew zVU~Jnt#grkIS+<$SSH;aa%?vcIOydQNqt?uv_FR1AuE*HX3BF0Z}v3CaFKm2MHLlD z;Z%}L1s_D~A49#rm6Im0(&=b;t59p_&uv9Y+=QC{3YxFsbBApiO;7PL{^EE~yO>I> z)O*uD!twA^Ce9W0MpF((%jHHfQ$Od*QLyWJ6gozLewS`53E!mycUY4PE(2+m-ckkU-am-DWk^+;*4!{eNKusRyVVlU*jYE95B zNL%>t_25OXV;A}S9u6z@(2z{@BchGJ6qnUB7X%Kg-5DHzTTK(5v#{Wg?ss!xCWom_ zU|)oN&U+A^*8DGDa+NETk*H~#uP^Y+}0Y0Ygmy;9?f zCg0e*UU|3soY#NTB8b=jNVfL@tC)i2u#jAXAt_J1-0R`rkEuiwfjEea7@Dt21BT2H7$Dh>S;=&^;T2hYft) zf-=3Ov{<$7&P(Oe(EH!dzSWsM9=C|GU^%Gmul%xmTme@x5wTzWK%Ww@tU))t;Mhmq zQ;}fmt$Q1%m@}$FXM@4VnqcyFs@gufzxCb5;$rO0g2D&tqlR}jf!T?DVn&4TEkboqz?r6=d0)Z`S`EK)uyZ#rVB@6%P?{vb_{rF`{WCPio^E;->9e8>fLY?uJ8HtsIBtYGhv>l?cnEfi-f(H z!{ckD_gQelaW#LA?@e$?ddVr1ts_9{1CK`+o1$j7{|~)gGB7R4mC{FYOr<|_EysOh z^wVbq?%oV{7xDe zDi?N46VLi(e)Fu7naTb{2{Jtk5U6f)dnP2WxNZBEBr0amnCU(wvlP zUn8tUIVnWmh)VTnlpa;qf;ISMZQV(nbHFv$P=a7nVC7@NtK29N@2YN~FsPES z!%ZjQ2F%PO8Q!hv7t&FZWUN#^88MmAY%T-~waIiJtb` z>DF=vcZF!H^E>$_M;pd7ZCvR&AeblgVe^x@r#&q}h_sO;D>g&_i)+~E)=ZoU( zt(qDdMAEdqj+WS;K8?xCW0@*99qbIlQ&m@A|8p?E(Bze{vSO}CF*-g@=I7_9xYyCq z(LDNC-Knn(qu%d=_nX$2BCuYe`sXU=RXItipqV2caq$c?&X@eQ|1tGY6g7M$9Sjkj zXz{yv9&jxj78X`&(vUneGXtk^nkd#WX$#EG%Aya)r^zE#S3D1GblV~{Ha6aN7dP|S zq@d(8Gl5Yxz8mK#(n#-Ye~Y&0284#pM5l^4=^z@X})GGT~L10pBwcC2c8E|D} zObjarN4V?r^t(QEg=AGpFSACr6u&uA6E$ zBRPxqp$G(&PSl=>i!1v6XeK5|1G2rnind=9C3;}B`vlpat#rLC9vv){_n)ji8{S>PvZ|hXaA= z`mg1vm15CuJ_@>ZVb8VsnPGhnF_2@r1s=KdG z$m`G~lhI447sbNDf`gA=gZp}r+j7TU{BWrSY1_NGxw)~mr3Zx~sB;e&8oD+IKUdb( z!FDG~G;$H@3xym2{cf!-)yB88r&j4QVnNIyxKzj{rfjd+#@FMe3GkCo( zp>KKl&FCpD?qoxC6?QGwrc7LjUcZZ)|Rkk_x=-Czg|w>;Lh?0t6coSI7o%=W-WW(cj>#Hd5ZRR{!JyJux(*&a}f+EcSC$FoUD z%)=dccoN_H#~upxN3cP|h5=%AN`v5gf{mha612$3Z zK;tN6ewT+yw%G8U8_8~O9Nk+Ro3&rRdVl@QOc!&ri7{$^hx_2+LlR2L-UhcVY7uzK zq;FVye}sIz9sD&C6w=;w#m7&d!kU^SD%$>vkI4LMp4&`+51e$LEf7eRIMJv|sUVZi z4D^xiT~uN8I@lvi(uWk-wdB1{U}Q`o#lwT@n3s0n9%t58PQFhbGA3s_dAgsj;tk9N-D~RaUnQ8H{%FSBTY-~6HYHpU* zEwPA;H&!)0<>fUr&Lsu_DraOwJv%#VxXx_&%+MR_F&YONC!JbxY%IQ{l$5H51{(*5 z5&@l&5lYl?p?_RUM$_5(yFoV!!D=Y>{h_yMaq6t-1lYNMXs7_-js0Tdr>!qRtv&Vu zAkvcF{8oMOn*c!!E$k*Ic45JNo$|L!^mMyJ=|bKwhLGfkRx*jM#lu4S6+aaD0_N}2HgBXsaYDF6LY4` zX@3d&>tp@-b5_>SNZ=o#Ok=6BF^95yJR%{Hoh~;Gsu8LdAwkM{N3@B|X)E!K%+F`0 zq>zJnP9(mkn1hm#ki3P#o=V3-pIFj3lw~zHH=jfhJu1@s_L7a0^K8Lwqy%E!gFty6 zKzn0pz$mo_&@Q^j zjsWRC6xLyWkD&Je(%$|;ad1A(K%ABdBT|_#vGujCF6m5*pO@m|3~1QE_Y`k5&sI7x zPft&`7n|zxcA#Bc+1KWi2m_65@lUWEA0-{4MU$=4-Ng779KI}!DYVQ79fDF>Su<7E zc#4XO@HbYh+hc`ztE;QGcSk`^skb5_+9NF3@~_a_UgT){LVO}4I0O8hxw$vGqsZVf zv&5j*p9Acy#{cpzk@L?T=jl**RQnr&^n^lGwUwC)4(OtW&!prPe{L_g$&hhqtbn-w zlq)r2(j`XpmI!wFo_AJ$PxM+2c;z5K*Li)uCl>VA|6`^A?aI@kG(YQaqx>?$DQ{Y? zIIOL$!G1Vcg!KIdsvk2~$x{Ch8Jn zloB`u1az{stgR3fBqXB+2!kWC?uhHF(W3gaizPoTu%&KUef@J+H@D28t1;n%M85Ed zYU{z&0nB=XnQ(aABbl6_+x16Ns@%aHQobvQX(VG_oCT8-Ol)BWF!X$RkgHUy&eje>=v<`I-Z4nF`fX{)h6O8C)n&w zmBCF0!-oWw}?Bk0n_|8Hh6-rCtIGBR=0@&VT%ST$_1Vm~WXf*RKwOX;rPlZ32d<2aOtq(~|K0gCE*@T2S6BXUehgienli~V zPgx`C`Q+q@`c#6|l5aVdryD<_d%>Bh1dEl4=4kNg#atDDsqY17gRV}kd+d4Q*derZ zj4yR{lWC``n5kjXk13|Ba4NAp_mr?#W-6`jQ~JJD0)j{$WoH~}M5}5kYy0@gk00dZ zhC) zt4<~O-OsBT1tokWU0RzK_ad3?o)rP8Tr!^=6IPU^Lb~u|%C`mHMaIV3e}{|UR$?@| zcPJwbwtDBO0fnWLeAcQO$*xL@*VQ?bliZoFoG<}`O(XzFsh0FrH%L?B|4>h}_xC5V z;r96V4QH(<=DZe_5qp1dM-`lTJ>3c8BGFK@7GD8}xfI)l z>sK@m5#C|j`P#C)onIRp&S$?gd!n4Th8db$S}3H{zbPj$+6vQx-kQMV6y1#8 z-}&~&vpUK^*RZ$FgU<0>ZiY zncbZo)Gh0pnU&*If^Y8y4d6$;34+0jk(eCts#b;i34|jbjg{QKrs<_JW^vq05!GO_VU}747H%A9@OjPRF9h)C-+xAm; zvVw5n)}Mpjp$HoV9UT&Ix5a;7W!c!+fO;9ay*k@jYJ8e@b8 zFxy664H84i)48~4>fnMWUoq`=d+Ac^xTpqpwy?1Hy+1o{B1hvw^&Gbu$G%q0QfhNg zT?+;yWRxsMq=q>Z1NHzoLZn#*CpR~~j7(cbqlDXcysL?N{S`kXD`o%aW!!w75NI=? zUm8$8j+AquH@CE8VP|I#4G$Mh)&8VIy;9e|W$IW3*4|l{*P@~#WDxJ(okSXlK2|6O zRQzK~N~l={49L^pyOZj;a_I=eqRUK}M|Uz?ln*oWt>uLyB@eXV@;_C(keA=q0fN#? zdMBQqx^{MUaz$8i2Rj8XGZD!-RYg00cyb#Mu(P^R(2JtAkO$I`1OPkG)qp&+xor*i zjEs!v76@8O@PFiT;X$&b3Y4Q@)4XmRpGu0yHW{8fqXh*8fz;^iPhthFHurU%qnekW z$g0GOl!cw~qe`@Eubq%D$fq}d4)kdBuo-0nHK0&hK#FY!Q+Z;k1wzE!eywb6P1E}abU>N+10fJ(%g+~Kp*uIy$Ll1 zjf&~&GHwcxz@y?V00g+Kbx^`{pBmV%m|UR7Hv+NvP5c?kQ+e&}H$L6<0TY|>JK)EL zs>LB881W1eN&pkEKIFP?_Y5RKZtEsV)sxwNMTDR3=16t-_SSMuashg>J(|zP&d#i= zTSzdez-VT5;>09p_mka!tS`dM(XjydnTl$94YzQ7=ehefF_2L5U~9SoC7kp8rFle@ zb!@NGOiL!adTPy#tv^V-CeH(wCr@y}gyWvb)j2NOUq4G%o`*wr_Rhw(3ZQ0{m6aYvH`}AEjFR48w|B{dgZ{nFaV^*o=<#jI+26O9zCD)D z%Fd>d_V>2_JUzqu8Ulg*XDe)r8h}SMv@MsK9I!=+LY}3tsXm9JYzpZle1-S)^wMR5 z0<&GpfVy-SXBZwHj!vDfe=Hm2jt7ANn$IaB@~NsyFeD^|T;@~(Ice$SRPnrW=pgmy zz@! zq00#dHed>{c6b;c(|P{d$SAV9x_WKEfmf$&t``wa)fa1V_2&RMf2=jYFZ1ja6upY7 zY6sAfk&!r!?mHOmAbX$%i?%|biYi&}B;3sbn%mEO@8B4?JzkX`8y}yow8ADNBvepP zm}%BoT8n&mN;u@=cX0}|%UG^FHj)Phh%unnsqnySiJDrY?FMG%(z%w*S7tti z#(5`7atCuLJWftdpa8e$P{@HIuK#8%b8kF%6@vKq{s4^HFg0^^6$G=FEx>&w&xV9F zzDS$08>s7WCr&fBve=|U=casrZNPy6;NJ)7jg;;CesMntgNr+CnE~EDEnQ?CU5>!zWqTe?zvxV)Ck6WTVN0d zj!a4(30Z?M)n>pHodCk`93}ujyA(t zS05dRREhy^jDp0-%gfuIsmz~SEa^tjNwqZN94@4TuM7}|W@e0jfA%eomRf3@mUFgp z{9c}rJ=L#qwtP=N9WCV=T3r12o}7d1N%;1SQ%6VV^768{Y%ztgiDo+1_GtI|2U=KP z7Z{5?=H=<>8P%y2Ccwg+edeTV0aLcHU_O|yd&TVxH8kXqiGuLG>>nJIM^3J-uIAb{ z`nE6voanjms1LXiO?V{3h&g8qy7QKvU4bzJkSad`s??hyK~icaRg z2)Q5fV&0&y_hLz)d$8(JoQFp+O|WlhKE6)#Kf?CsDA&vFq#iN(t&`m0Jw?0B!`$7y3`guK#AI=2iuUKkXGKoij%B8a zBU5?_joP?9Y8Kwl!nKPKg^q9MqH`Zg6DxTUJsdxXZ(c