From 379940541ddc8f917c5a002810a62e4bcad6e83c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 16:16:02 +0000 Subject: [PATCH] scaled down --- helm/www/matita/images/matita-small.png | Bin 7503 -> 5341 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 52519bfe0082ded5895f4739b2d30c262e892569..f6a234f2a6aac93a0ee707ad6179e54f4a2fe9a4 100644 GIT binary patch delta 5299 zcmW+)cQ_nh7bc0i3DKiRSv`7LC4@v-2@$=o5?!!Z1liFAu}TP{x9Gi>AVQQV5s4*H zS6O{^Q6k^`zCUK>nYs5l_nh;d^PcyaafLZSt{6RC&0CZ#lte^Cx8Pcj^uebGctw$u zf_J4S-SkOZ(xlYFqi1EBNfyEYy(;{Xs$sydo$Mgrl-2A3m6uMv5wjtsk**z8?-b&moaMX^;VnDg;TIS z;0j6dVz|bYkzpel`doDAN@9Ga6XWyBNiu_%aGE7Av5Zz5OD>@8du34w1T8IT2aP9#;R%&6=J>w3met~y-7v80A+>nhOyM2!}2Tcft zWpDo?yi1+ox>z`iIq~|ZId?lc&i90v8LjjcrPga4I1yu(&#jA5ug`3WBkY9Tke75= zRp>kA#}N-9D=KFfX0vMa_*_gPsZh}^O1GIPD@7w-jNbC z8-Kc5se?^{acXL5%{-coCi z$s~ed!xzrij-TjPx^K*0>*T&-Wf-<@80=U1{P=l~*=~aJmm_;o%pPjd5qasipw{txxu>=`T&ck%3QFe0r~d?X53B3B$@ z#`5R@$A26&t?5F)T1B~q>H4I|1(92qyt^`-FLarZ^770X^~-NV{jFZtLAv+2m<9id zK*(X)?k2O`fn9TvjgTG)N7T2V$Y-`p57EV$l7|tZ1bSXS3WjI6FAvISMD^nS_);ML zkkxy4(KnEXOn-&x85-fQ*?1UPx8j z=0^(L2aEfbh?KolH1A;RjjVwn#s|V<1VftL0}mv(5PdYyAbRTSnI{9j<+ZMxw}Gg2 zR)bDriCQEjgOFjVUcOx^*Sp2F#5a6T4g+{oD?HCCA}J{<=#^JqY}(&c@$G$fBDYNs z@RR=zw^s<$coh*Io!X<%>0sx@o9qwiE%-Sg`{y-H#JbXYk2Y88S?QrZkNzflGfLd3 zmz%9H(y)IyoyVMqoRvY4Y5m?{=aZ7j`z#C$#idJKUCJp_x77dI*fh-4&ba$OPCjC< zGXBjE|4t@gI!!Zj|LFL5Vsi43W3Rnq8JPdF?gE8EBV%G>Vs(Ree#y|%(tdMJVKzqq ze`WUf_hYvfT9?wxB?FI~ySGe57^&D5B0kwH=0|hjc3Ku3H@+7?($vJ01)@9Vbe){| z?FWP&xBL70?rm1oGz)QI($mvJJS;K0yB-<|994flogN+CFzT+U8TZ6xMOb|d1X6!i zm^8T0NN#R!I=j2C{3tV+4I+FL;2Lvn5<;UHV9!? z@wzWncztbcB7{j443m5Jmu8W?Tb(H^_>Z_rwdK+ff9`Y8H4i9{vT{yxGOhCE-oxEC ze9r53GM6H_sg)Ib(CMzjP%;!?Qwm7@{$0Q3vzd#FpwoCxJgjUIBTZrPF;M2I(tgB3 zJHMzXhC$ePZ$gt(J>>`db9QZeyMn8m+Xb|;vQoq*JioH?jSqedTyu#Qw$;S2LnRe$6)g$a%E-u!WJpE7x;PO`7WX%;vm?QeWqqyJWVgs`!ASOmQ{j3(R zRWBZ0)F+RcUj3R@R#{op+8WR^==~D~CW$70t0-S1eUkd?&`^F?S59nfY;7W=OS^}b zR@P6~)xD+9(tw=Y=>Y9RTQ7m1D6kB|cd_b?eaA;fdI-eR7ccJ3%*_0kpo4=0RUVyP z?5*bNLm}kO&Q7dYbz$N4il5~I?Vb%Yu$KqCOk&o&{QS{O)&Zf@)23bLo5J0{Tm5!e zh%^eHO&lXS1CpAXWp%R^R!{yECMauzC=Lw`c_aY8cl_Gh+t+t?jC`-g#&lQv;@K77 zN!Wi8pmTt8OGwbb4-lpI7$Lc@PMAkWM^{!>Y8^*eaLdaK*$eP#9l5!pQnZhcR5Gu` z%Y)}F19I-u4*~-fsFn7J%y(Ki?L9rkCMG6g50PC8ohG<~f`YIywF?7;2h`Zmur~P2 z+Z?d4nAq@*9Vb*WJ$dDMN~o!ZoSc8$Xyv4C<}@}ic+uai;fJ$ojxt`Ys+c^IDyC=2xcr4oRoMXu+v>chTU}kvQhuf2-mbgLPWW86^th*e%&`Hv*hB0`m>&%zf&4j|d@3j^%E!kS zl@!+63e(oshWTxqPRBq@v1TAWa3~G#&UIv{0Lsx+>~=rPjr#igC1{^nTXQtu`QWy) z@@k2N_s{qL_eon@Mm&8udmNW{EqmY zn`oKY+1WR99{dXCGq_Rk4BIAiW*O}n^WGD`fp-(yPC-qLjo{W+ucfep^Zz; z>zYz@-WiO2?-XVoWg{daQdC~9JrUE<(ZQ^O?!=KT%*~BPP|(q1{r&C~pS2bh@dgG4 zri%l%pp9{*!<&;OPw`h51Zn~Pjfk2Xl~a+mP?+EIQIadL+kO)e4UV_u7J_|x_&H=; z=@qhd_rtLpzN*+XK)CH{ecieLcp#p20E|=~ec4*z99#3KJYpFotf+ppBEhEEVNS%z z%ir+w(9y_6@R7PYiH?rWbvs*a*gO$nbeDf5CSz#ma@@l6tO{!wOjlP|cb!ou$!l9+ z@x+0Y1bKkXT(V3=;Ajg3@S!M5Ic8Fu_VI3e z+`{FWoDf9y9F?D<(7pX*Mo_R5VWneXkvSZuRwgVYL|OLZOg)R9L0#9J#R6z{e`ZFm zhK-a&;9HzvZo~9OSQ0^0exvwbKHZ9m#6oNZ+UmBKBb6G>=bHkIhhDBigx%S)0Ocz! zO*=bob#-;F3>wDUNPR>4$KSsjmO-xN$9}lM_BTu3f%4+&fXQf+zBdEv>Fi7{hBS|l za+i5e+xR0JtZ)GU~flqdc8?P0%@`|pXZZT^6R-o1Mm?1y3 z>{j#fOVlmaSq{Sby3K4WGL|zKoQ`lfJa$X5<^B_GZGCqwUld9ZsP?QgZAC6e4V=48 zRdNXn$93$sf89A(K>X$igz7S}>%58PkOC3d*mPA|-2#WGj=Os$j*Qd&RY{Rxwj&K4 zUAS(EfhD5i=gC62B20?x;*@~j?dbly>51S;#mOv!0P@Qi#ecZLtmES9s$aAfX5OhH zET7>&AKZY*1xm?-VWOg<#w%D7^(^B;F3sbuFf}u?3~q?j`i>+AT*rZcVJ}B8J(q@l zyW{w+PrgtPe4BUH){-sFka3_Sn3z=Pm)xeHpb$ZHDdmCRUr)M9KQH-kFf3eCDsn>* zb+y@^_<}-45gO_5x2<=GQeAHcN7Y5umYPPE29Ru8`9(Zj&A|a$qMLp27#rzJ*Zg0} zboi7gP)m_pnHUm^&Xp{ZO8CtiNul1;x`P6^f}Y8ePT z-+M{MKk^u6e43gr7>sS*CYB`f;K2KgF@d5-ETpOj$p-PBKYY&)^S)AArWff;0I(Z> z7U%rSs;Z1S6aQ`gtl))01;_9xU*Drs8z?OBNPzDxd|&cj=4jL>o4wYBVzF8Og;!aM z{vNV>4;NKJ)4W7RkmRphhUF@aeU%T?a>NfYiqq{V;r{;q*iC;F>R1e=Z_cULD0_>| zB_EVQ{SclPvaD8CR>W9OH#d7=YpTk!Gk}K8^FEqQ&P}nCHcjHCBptnnw8G2FfSiSv z1hWQ5L2Zp36(GmL^P>?`S#&yH!?S&ZPZZHLVxMsTLupsPT|P*qzdgI>Y7R)lLq{{^ z46Lk1K_vx$`qT-m(ET2@yub%l!=6XvaIouRS#2ajsw^}e0Y^Rr`V5+&as?9< z6dX&kliR!DF)yZ^m+7LCmE1cow_sQ($e|I@S$hHwaCKEx;??t zxM_?57Td;2iv`VTXpn-`vVzBdg^sXav6@DG6|N);z6f-Zb|`Y9x=DK74Og(%Y&NQ^K0s%||QItzOy25Y~Z8&q?1byMe;Q8^^(8x$pSy@bHrxJp8jSA?iYYUTg z2UU*MX!8pmq4##uEHC%_nf}{VS2yuv~}-gZD;iKNdJ(te=ja?0h!HGT#J9r)m&SLCFvwAHTA?DuKj3>L(_W zYsJ{-HVyP@gEZBTvxQMlI!o7k%qi5@*MlPU==oGMB|wCxd=!0Ltkv-7T`+9qvouS* z`*dyo0&?u@R~}Ffq|mOxH&2LXY@wp&g|-v76F%Iz8HMiE%~6^Wv%UT#z2e6`$c5V= z0Crfh-^B?RKMEuld`=LCS;}#*p9ztemKJSY!&%BTkrsL8I~~L7Ize9&QCw2ugX@by zQy3fsHr>W`Vz)y^JqA8_?PpiDFlEkRIZ_jq3nU528+XfiKJmdV!6PQSaX z@YJiWF??$4J}BeH2GogLc=>2|Y_*0mWaCRJDwr=S5N)aLrKP2L2S{LSq^0`|7XGQ{ z-93xxI(xFfk2$%QEBv6F{bx!Ya~NJYhbDdQ?px|!vK{s^kiykz7O_n&Ee*(J4abr6 zPcd}-q?7C9Z>B#foz4C*bZvgYni8Bn;k*K>ef#sH4QXj(JofpD&3pLtYWw>o~@CkGujw zjl!gOR=MPijG_JIfuZqn%^Ga9)OQJ`nCt0p-w)@!_^rmGBau0(^zZWUZ^Y`_8Wp6M zI~IngqRLNHD4ftTGGd@sxfFLA%VPG{7)a!%3d^P8liLCk*cHFv`s3OT#}uQpCL~t= zV^5JMx>Nxk+Cf2zMn*e^Y@4ydR|ao9{c9aO$@u@ zl;;$+e=m13tV-i^Zwh@4dJgQ^=|&d=72CG9HlEnp*Su6V)z;%2auf7mh#zz^1NJ_V z$p->Q0wg3PMa9Lp6btPKX-krL8HaqWz>_m&UvNuFy&YHi7d)t;pr)+wQgQm%glf&S zvbdh*&U(+(?>OVoN4yJutQHj&W##3#c)58SP=P5O4DvWjv*cdD6qcUgP3cAHq%ub> zyU|w2M*|)$_Eg;W*0z*CHod?8{Fa(i>;NFK-@vZ<{;H5h#59+vgZnSHeJIdV*C;@C z2Z|mj61s-&GsWmHrL7EAT%g5nNsOQMH;)*#7`D CoJdvx 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 -- 2.39.2