From 6373043a374a936c612636adc2265f8d2c279713 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 9 Jan 2006 11:05:06 +0000 Subject: [PATCH] added again the bin files --- helm/matita_homepage/bg.png | Bin 0 -> 394 bytes helm/matita_homepage/matita.png | Bin 0 -> 34979 bytes helm/matita_homepage/matita.xcf | Bin 0 -> 120842 bytes 3 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 helm/matita_homepage/bg.png create mode 100644 helm/matita_homepage/matita.png create mode 100644 helm/matita_homepage/matita.xcf diff --git a/helm/matita_homepage/bg.png b/helm/matita_homepage/bg.png new file mode 100644 index 0000000000000000000000000000000000000000..a3d5532d44425934d482d9ca17afc9c921e5f0f2 GIT binary patch literal 394 zcmeAS@N?(olHy`uVBq!ia0y~yU|a=cyK%4q$+>kGb^|H4ByV>YhW{YAVDIwDKoQOY zkH}&M25w;xW@MN(M*=9wUgGKN%6^rHhfC8?k}tmrC?s3r8d2h$pPQSSSHj?2l$uzQ znxasiS(2d;l98(5?&%xwK1DSTsPLVqi(^Q|t+!Vl1sM!D4s0+?y=-I2;lOUTLwVu_ z|HtWjnHij8IT;MJK&XcciWW05EM_{ef&qd^mV|4D=!BaLHkLR^pv@#(o3NctcL}qd TKZ{K=(B}-Eu6{1-oD!M>>%fJR*JXPQd5lZ1r# zB_Cfr3{c0wc!cpx@u|N5+)ja?KiLb^+x;KuKkk7tq81h0?!=M5`=U>~V$UZhb;%j` zzWC>h+GX}fj~_jHL{H559DDP_w9cC-3N?BBo&Dt5g&nq*Jk8l1HWYmNn;~0^l#ua=(log?i(-mJJjZ_r z^j{7L)l$jm=TPj*x~GE|bwCh^$t={Q_07yb|5Jozcne*yC>9k4OSvST<)?7@M^TnK zWO!$P&n`Wrgp4DFz0WBYcFup8Ca?+Sa--$C+4NEi!VIZj5WKlXdX z3+c%lj6+@vk9A4+zN_ZqqNIn9#bP|^AN}Y?#bCSIS)MwN3 zl@sep{ym%BUr#iX`7RZH22zJ7{?3@4mqvPo@k@^}0=eVGPK|`Y8%>MQ`vYqpmB$hF z_9v6w$u$AFsJTZS&=+5D4|w}lMIm`_M7Vvn-(H-B5YAv$Vp3r2KXdge@tdY$!l*5eQl>KI!eO9Mt%Fg=6L(3*Dqj%Nw zbZ%Lpqu+BqP>vh7+A#393d2JLMQ0{mC5v3P5;M1S%(z>D9ykem3lSOkg7|z0_l;3; zzK?Euc5g`X2W~@Wkg@4E~g0Wi_Mqd`+^z$&75BeAR z=~{99kcqaP{9y()&C81pPW;(9->E+9-pw2}AU!ftl@t;YiLcUku)(Aov0j?-)FQ4s zq;rGXjGfSEALnVK4uerlYU&O*naENiBj#e-BZ6g-y>5raB|_=k`;qzK0>ubyWecr* zIqY%Ef_f!06MrZjAEs%ZGE4Hb;(CcQhp9PG~5o@<#txHy0xyy4NGHF1e=35hR-JASQa~NAfVcj4UCc_rdkc->--=M8>-}m>CZw z`FnU0_G)pnaj)JA@X0Gj^XE7#&ZkOPIa4F7k+m`NEUNU3F3%Ekz&3 zgi%5Sts=_Y)qG$3`V5w99)iQjgG5_2K{@YNrT~U}(G~9FigzTNa6$Sd*KLJ$z;ozT z)PB20br6p2!^`Ih!>gp79aQL+Z^JcszXb%vR-X&}7Hz?b4e@i3;e8;LcYKN^2iz6!eACU?S zRVDO#t!6aHyB3XC(DWUDuihH=PN0x=J7CC_W-*NMWU}(RJ1vECJhs*=iE*AftT}4U zoiQ!MBv>UxJ)fe1kMxn2n=q91;#Ts-^C0Ww&2}AX}vCHSl0x~Z`$p$e6NUB%Pvggp_nj^eX`$3Zj31@XjY8gljbr0#?0x>0C84H~2VI{=K zjsV3_Phj1XpoIQy1R2nQFO6tpWU7uzyBYb7FeKKKcjL~%$7pT?-*`BQblx&m@}WM3 z+jA0s(e&+hOuEtKqs;LW)3v9UHY}==He`KKitTR|C9;sx%JmuS(6q#PNw@acN0jd* zgrwtBV+(aNvE=+ev=ZZ`p81aqq6`O3?v$2sXffox7_(FgpvZv#AAI#bn#KNIOq2>du+HVy9)RdwMz*;y4BoTmnRiBTy)+Fdy7UBLUI{5)L2y3zZ5794A7N){h$($A8A zU#|+W4v~N%O);o+uXB84c*oV+mEHQqF!zB)Lnya-hY|xbw!_Mb$y$YQ7RQEG-*O(B zsrvj!@~HNzMkO+x62@J|bG0dUUY49GLA8;yLIP%7zk3jJE1jqBaFy6S)>TpuvtIx3 z7%`4;q#YHLC%2|qaN|NWEZ_d?aFJqwY`a9`D7htS{Nh!1tWTr0H0BVkH><5)Ieuzh z!BK#;RCKU`LuQs%xZLf=YC^8HTbmkxaAli1T-ThM0E}6_yoO$oHCq=YLBRW|JzaU% zc2*33H#3?O3JRHjf+#|{`c}812Ast6$hY&8GsPa3OsW;XpxG~=WKmJCVlTGFA^7=T%t2#K=@3fjaJFEX-1g>J^bnV!$?|1ea#7;p8xbM-W% z#&$S9KkpoCb@}17;>$f>zMv2J<`G=YzVXs(Dd}gVA+?p@!Pg6_*N=uOhDU|O>Sl=e z?$$}HRX4~#;#Zz_NsWfCt)bIojiy4W6i8Wzpb45>Ue&*y*`@|J33?wU3|_t&s1R5G z!-aSa4iV-n#0YzcfQw!zleEiRb!I6-pFhZ~5jbeBo_(B5ny#Mji5=jbYZ_a>Uq`#N z({ZSz>zenvBmLgm_fkP7xcAUxaAkf{bLz`y86iak{u`;G*WRS5=8E<<1)>uA(Q=(~ zjItlBElI!xKJKz+Tx9_mO+u4FY`+Q6e}an!%#79xLIVZFQ(}G8FwXp&%xdnuMjz+v zzf-=TZ^>_E40n@`{mjol^c}?=-c15t+Q=BnuSg0~VVgqQ$?fZ%`!)K2fF!lN^-QPz zK>zEsd%p9<{S?dM9n@8Y;0BkV&>(D~bC-cbUGBG3gTerT-AfIK;;dXjeZy5!bgNlo zT<0Tp@O7ee8j?xZASdMW1JLkVpq>E3Xdyk>cLxTP1Xh3Mc&vq5(6ThR6o;*)s9jGd zH;db7a}ABxde-z)etijA!rsspb?9IbTaT>;zT4H{VVXB!)@4{e3%2*+0ee{y94Oxn zr40%v5^5@Hwh-6OAx5Y~)bi{>Fn-V)X)+8Zjoi7XwMcYY=Xt%nBIG7b55maCgD?MX zpk8mr3HW#+DK<{b+|A2eBh_ZMUPsNdPtF*FTqexC;Fy(an5xytw})|)lxGdn#xGOZ z_6XH?_N zrh=}NSH?bhO~*TC&s&|<=tcg^@2E{AO?!zL?8eS!r=Jn>o%JR?R^07w;2p&9JO|EK zjLSRwcd!I&Z_=pJm+TF)-7xgReK+9}xObAX&A*Rm>^VgSn4W=c790{-zDd3mqs9{! z>_4RU+Nsam&5<7UdKsaqo!>no#xXHm{bRgwJ?PMHV;6SWTDR>&{rgM&(R$C0uXc;W0`>N9l#f})H08$Lsk-i|@2P{b(kx}^ z^p$8Hwt$b2n=(mVWP}g{hl+38D3-|ccNhAi`^?{W3LDY`Wl1{TFjRNDHI+v%2A{fy zQjT;9$<%fPQ>_LH!Txxge3U-Hn@H>A<2^-FCZ#tIH5rw)vHTKKgnIIlB1U8%Zs1CL zGlf2SjrgOye)&WOt=8pH-9<>W10z*vYrIsYlga5trNpC?j*s@8GUI9A?l?bnuyLKF zDthBW)=TBOrj}hayng;w2;v|^WZNuz zAj0`9UMyn1zP8PTD%s21hqtWdp_~_WsxRT+e zYNblh@5imI>EH{v3bq7AlSo0m>(F{g^}&w|^rDK*)}Z3BDkVy@?+<}rrq^?9X3mN? zxI-^6Y}Jen(Wi{R{iUmg)Ub&1Y8aCm1Mu*MN^z|>;%BAwglR{e2Q>c7+1_VIhB z_?YDA@HS0hj(dr|?wXBp@x83H#4HDILDc{@+WhCqTxtOO^G82{xX zp)?+(ylB>Uz2q_;h4r@`;Atlz<;8Gz&zVue@rchZ?G+=j1YNm2cq>A7!H-GoYalZIq4Bl} z3nR}2uJiI~uSu~hhin4o1InE-saD}K)Z5}#c(ZxEmIAakTcZw%Id)Y=moT2pWzA>R zinEkT)JP&*{MmH640>BPq^-vMIV74FZ(HCJT0aEpyc;aVG}MK)&L*X8Zl|3WMzHA5 z=EIag{XsBq@TM*rcE+MC=jkgoJZ={fr*G(e*m>Xcai4eYtjPUcb@4*6?|Bz=w-s=s zZugFNvVHMA_t=XhbhR_DUQj}4N4#+>)lUDP4y0oGWC+#lXG0;KLgaes^w~2xD36pm zLT{ZSvT`weq32KZ&0SlgEWY77OQKbQe0I2Wd-{6bc)t6|G8OfN@#p?~RI43~EE^10 z#8&N3uhWM&p2K^nO2r7r2(9n;`*#j^xMptDUYPm22vR1_ljMBh=@TDtT&FEcdx;yw zIk}C;nNwQG!l*6oH;&~lX^xMY^`oQ}5mFxFEh6_bl0^Ef9y;PUPj@PDB zJX4gzlxqYMR6>UOxO)QqU#a^vo+;^>^YP?#QI6CIQN;?;^7r*y94%kcI>;)+xPJu` z3cSpME(JgE%zaFiGg>v$QKS4|>p;^>MuKQZ1hP{pG>yRK>-$z@0t#^x|Mf?vBkxR$Jf@=JQ(5y3s9q`j|J<(?Asr)aIhH1fd!Dg zVvBTRdHCu{_bfc}@`m7KXI2eVh12`mxA4j>l=A=gm&CJBD{+3J@+$WkUD9lfVGMb) z2Y^h4>%5(Ip`aJyl{V7Us*SNDI&YK!S<5~XvdqM2)5g{nQ00Z^b-w<>1*qT|>2?JN zwUDerpOC&F26{^R71nF#<+_|MM|G_2MYowEEr^hrlhK1mXGn zQ9lWSj3|L?SpR9aHF#40M2IN1%t8l-5T!Sp)lG{iT~{n*#Se$ z2(lml?cTbP$@=%btc7}Rf$JB42l8J8sVBSvOwQMWnENYWSBtBJj6jl3({1b7!V&0i z>*F&hIJORGNgdH2eQ#QQ|BB`BpwiujqAQmze^oiqgzTs#*#9%$SPSs}06Dh5bp01^ zHC>|(^+W)J@R)p!Nurk`p`)v``e?I0oOAqVyn8M-8b9E`s75p{)^Kfy0j(lW+NttjxAtp`)f1~(NvoPS=bK^;fQ#|z~i;W^*SL3d~jj69~oVPQ(ySroK;?hhhWD_ql-aM3L?b|$|R#8#0S4{!6o=lle zflojL5&*n8@KK0Czy=%ZF5$pW*{#V6mDhLg&$ICDuEW`7E7n{L2e&DEJm7RZVDP?V~Vhbmsg=*4R3+ zUL#jyRX`XLTSgMw|K18wOfZKcI&QA>L|x|ou;2qQ>*M`64`7X`0I`zguA8*qNqjT4 z_~!Ud@o(<{!vvKix@R}n=#a)MPuMLwn?i+3F?F4(Woq%=1ysHjuV-c+5LfrV34z&e z4HjGXkGL#-K*w8AT-|?nVp4!i6rG(bEo1)YDYO$*^LNqy>BQHBh>F4%b)I=L-{|r} z_ZA#pmJwhOaU@HYIn7?`?bThX|3|q0trwd1KMfI?Z*EN~K=GfjFc5*YitL*wG4Qd; z3PWlsU!I9lO?Bo0#Lzq2p$yJ^nIMD6{Cf~*>&Y)K@Z)a#nn|tJ+4g&0ogWI@n6(E7 z#ClNV2)|16nO(_zbHL)*PVqP^uCC$b7T|3{o@=W2JVbvKD-i%Id}~cF8)?U191J1H zx;R{U3!bn{&@Q|_>eiMiR8r)twYB_z-7R1MB=+H(07q(WB@Zo9PIXi>KuC-AYhNW*A{kmM(rW_;*@)o1G$8 z`A^Pd-_{9PZGzW*%cub#lIU*1`+Tk>~NfYm%GrAlUy$&F?VHH!FmHOpoo zZj9=gJgHP00>EZhjHdvtWxi1~j%j_=XWN&s{2`j*`Fl^!kvy@ie~0ffTsXQs*@hxA zP06Tk{n3V}bvM(n#sZ{!>mNV}{p%VjRO$(cOkjn8C5^57N46`Y1WG=OVFWCTweNAF zX;Ms#)y8PSKa1C6tT3obqXOhkWe3=q7TOq+RtoZDb6 z%QAHNcyofpZn?pAwkub}iHvMHPwV3Ra1|RH`w!2I`}#07;4S@|6J_Ltzkhw!Q&d*= zL|>i=7ro=qjZ|R>h%%@$A!cM819tTvh(}yp+|l-`U(Zt5ji$bS#>vem^(@bw8G)LN zPxfPlQ*1lHo_jf({|r#Gjiv~e#peZ#-{`hfJ(Q-Fb!Cu2K+dJ8qm$woaUX|(;-hNn z<50#dAmlfIVH7|Bo(MMhqR&|vuud)M{pUTtZK?ZmS5#CK$3syvkV!_@8-n?To&auT zCMKq+=x9?nk_U9+Ptw^mTWN}VdKB>~c*>n>vCNN5b*ptgL{9Hhgd_rHBxPXG0s_<3 z(fQfVY>i$`D<)l zkI?`K2vo84DO3dixVg=3mGXDj{O82CUIdglk4uWp?l#dH-OGQW8ujpd4hKQ!xbqzijL=ig9*_Q3$g)Dqe7R9tAgC z0%9=Rz#HtfanykwmYP@`Oil$xE?V6dGRy+i`k&MOk<40`?VV{gJ7gzpXR%GnTtGJ9 z=p*ois2Kt5y#bJV##2{g8)>I0p1-PfsVEu)e*>C#!2n@^1Xk><^iKm|it`u_tb{Dn z(Y&3xZ|Z+dHvldU)^wF{i#yzzZJ>`ktm(Ms0{ZqZ99f2;KfOQy%mD+Ta;W6af4|1h zd?>q@2@p=8Ax~I4)b3FuRYfFUCTsq=?5qzF#7+-{6`^};sp)=&-Jj8SP<~m z0EmDuR`4S|ga?wZ-UGPd5D<)xVoV#Qr+}PSeB0W4-V;lD+lmLcb((1=$2=541qClX zT-7a6ewOei#neFO$|&Pq?5=`M@X6K-K;O`qOF*DexTpEw^6#;IY)niF&=Up=CQ6L|o#Gxx16*pO-+n}Up0uQ2GPCQyq z>_2!B9~(b#NrXj=6$Pfk1U5K$plFZOlHY zk+)wR!K5ebgOleEtNyzS;Ivc-pM$VZ*O;%$O)^*R%gMR2^r~gmqxL4%>zuP8DbSLB z4|k;KTklQH8|&Ab$96Z;#ze)B&y2Dv#4*kLjwICiYIkps;Q+7Okne-? z1fB*Psa(5MMj}Dx+Tf+Tw~AdHhgj?nB1Jpe&l^1!4KEWTSIUZ=Jz$NinW$$8Xu|}0 zXjkoBAM;QMV7FG;3)47kTrB>>-S1`{zM!$*wSiIdDTHGp?N%If{Q}6;sKvJ`a^==h zcS@8h58m7cw3NPM{I0?p6j2*A4MA$}OSVi`vak0%!^3+of8uVk z7)Ep^cgCWmo>_}(AGBM64^CkBnAy$!7!z-G!Bz3yDV|72Z=NkadEhcTdNe54fT}q$ zllIDdPChizZb-xsyn4eyX4F$92n~XZxxs(0T`SPRTi?CTg8)ur5E)0gTJp&YGe*KA zZkAcr9+`%~#_sHXeFLLUo?U|V=Zp6i*L2vU;$HORiz``;Tjef>NF|4yGxRD9{fXP{ z0dbR>76Zo@^kY&fpu(05m0oD}LC(i{U;ZXeBPGS;pd(X+)_!rVqI6~!tP|KUBRHD% zBHaF&73DPTfO=y1MZ|UBOOd^&|Mr8oXF-u?VR=s%ra=CU7G7y2B)e1SrM&&0SBp|r zAv2A1bM=X^jRb4;4nkUlP6o4K6#^x;$h3Dv4p^~Qb`bWBgT1F$2!T#Ek~pEfRctD> zt=z1I%|402wl`yQm=;Cu^zv#*s-aZpv%&rC!1>G?yI;22>5N8A8!;znn@{QjmxuPV z^~Xd*`uMC868F*vd)|bN@rS`7bPLdUh`q*ROWEl}Ftx;9nWKniI;HzkgEmGjcox4s z@LHs0tSs~(wt&OUxH0l@tWDm1FiqHD`t8xOwPLjetl4rS{b5+aGxTjCy8d4&oh?KH{+~AYBq-6#G6Udj!g5le+Q&Zc}O|-ePsTXw`q&;e6@Z>Y4_30 z9;)n2uGC~zIk?F#2^KORU$2>F7=>i1Ij=ChsNBbR;JT=sSW4U~0FE@j@#>EbLN3b4 zG#%_yE1!kE9W&r9)k*Eb5N_Fcz{U{!F|4Rvn9m}UKCJq#)m(JZ_-RCSf(a!5NA9FR zj)t>IQ$~%2f5BRh;$y=a@I)l**UiOQ@UW04yr?pJtj;`Ww!s$*#(qQiWY++6j)Ev9 zgk6i6`0goQ)P5OeJOg1U#g)Pz70k30@f8Nf#w6_qAi`ETjb_B#sTq^)uAAIqC4A)# zohUU5rE_9pfG92f#Fxc>_7pUY$uL9^F$?u7gUPNgg`yIH%2GXLL{Vu^ix~0t1a7fE z)T=&)=(JIy54E2>HoiK(?#CwM?Gds}Y$UC0b}=!@x{(R~wMC-fWKb5`A__;Y*@_l1 zdNiSb%yEu3xXv3qI5U_2Na&`CwroZDgWrO#f-r3c0+UF=Ftj@OPX9|;}y_lO=#fvs29cX0fXW%~h}d38}!l@Fdg zd4f^ZvZ#`5XjxkgaUBgV+h7&yH~(NFe%snTKR55?kO?_Cn6k z-o~`YA2=J5tR{$q^R6dq@9xEW4j+=?>X$xu$Q{$BmmdBINsRZi>YjUbNv_QxZfDM` zE4oXTDUw$|=6w$Qi9L{|H%5^=Syr$MEB<=zTf>I2{nMc1 z?xzp>eX)eMy|a7*R=Ze}el5(gTYj>j2jWLd_pbLJQWkd{N6ag;2LIq0d}){^e1TEz)tu8;x=;a-84XMa}HVWNWY~WE32;FR5z1TrcYr z9WtoWsNg-5Oib@RyhFFN`-q8`X?)Id`^%@tA3Zs6Ml_d3FAo|#;TS5zHjI83_~sVD zxkt;V7dXAJj7HH8(|E=(`tYK~o9vlCUYELqK+)BpN(c3ZAB`4BQA>D!>=7r(mkP*r zs(agg4+#EoSROuo?f3I4VJFVHN|;)EQdYanE=vtkn4;)k9){HiC-H8zBhm?9G|xtT zd4FuJIp>=5DN9j+)fqQR6c)dozA0Pui-^P#`s!v%xi!q`c4JGvpPjY5)&~|}{ynQMdemObiqb6{P zgv#}ZPF>)Yj0SAyhy9GZ@FM_%BF`{Wj&O!&vXZvsCz@W*X7&052$-1{e>`xo5q#?s z=GmJ&xxnC%G^Fbxbn8^8L@t4HVmEdSw9u<$q8Xgc6PR-)%Qf44A1*` zHwR|h6J4MXH`sA5qPzQN0;tj5VgA8(y-P;z=QVz;o`>!say8xz4B$4tz+U;I_6 zWwUPx7$2arzcYrY_Nu)T)NdCg=XTGgH-oyT0;!+^dAS?!Chqh5p_?X(N%M~JRtV(- z{Et9A=$rF>R5d1kV22{ml>!;k(DVFBXPd7r#1CM?+||>Rx08O(Y!R zH2HE;@L%e2Pn9dTcRtQ>9O7~D5`eIX(F4UF)V8A-MxZ^hHk!1#*W%ra?@BOHw-8kI z%%Yk>KJ{VNiYoz`Z-`mYRGIh;h3KGz)o{}r30*Gfg3LGFWTlME7jFl(hV$MAfgW>cSChTv zCtujhgp^;lZ)Eh>_9Pr(pd zVWjm+s_MA8_vH5Aqt+%l8wh7hk7ZtGsqwUav70s_I8+tFuvSNeYkVWu8d4VOoCBQl z|AytA0no-7xqwBjRYZ?CZJkRqkVaS*Ud~ix*-&51==JpFmsl;!x5{qL3$I#%GO8R2 z?VCNX@7R|led5M5&8%|g84?Yd%o*`Gf< zGRKt>F?d|Ii3o)vo_`gP)2@M7Xs(*MY!LcQK0ln#T1v~$R{hZV`1t0$%~@_QdzHOP zYrdd#8~8#!c|$E5_}kjIW+7!AInS`=V(vT1!nX#TsHy#63}KPK0JZ^6vdU}T{HM~M zS(iFnc$s zQd7ZAcbJK*Z&=@!*}i@`3$W1sr^sdfa*D#;{*Yhmv*Yg;s3^qjkHs5#O}{Um(C(7_ zsI0=Ber`gP3-@UWbp|*r1pId<$VS?4&n&jiP;u5baO7)b3UB~%39Gal4&R^(4$~f` zOMG1UR7TcBGWssPs|R#fOZx=!;N}82m8>-GtiWUS!Ug(H4;l+JLhbQtAZ_UirhW&* z8{PD-W#x%5;DE?@bGAzv)#6~_`*r_b4SJf34oI8zBjPJYkEBnhmE&yAaZlb zDO}1w=YH<9m*tSH9e-dBo@s%m_y(+9VS2lHkO1=aI;{D*<9BoDbYF{50T*{Gl~LE zf3Ay7Pl2)xa=JYT9GAAeas5E#|1@sjpY4H?zW0<(nf2a zk?ggA!8Ym{AlCqF{-HjQb{5q}=+v0$z=~U_D)M@~prukX8;De##??HDlD_Yi)0GwB zq1+;QVobpQKTtq9F16r(_~uk=b%iYoLSgC2KgPtwj1nnV>Di@k+Wlamm1hImnLj7O zSh(JokOcq!ezy^|*b>T|HCEu~v_y12G%w!1M510MOUFoH?v>Qla$^e-feCH>H2GSRu3b+b01S7$L_k)$5)(KCB zphW=ptiQhLBH;T`XRFeYpajqeRjyF0?~#Nw!Z84Pce*pX3K8(=Yjl}E--Rsk+-Th` z92i6g1rpZvf^1hag}j+lEQ$^RWPH+|=Za#Ur6xhTK>fVPwDEmAc!`aD?oB)9q9DK< zcfP5Vyk(8rFSocQ{q`z_I9P^Wb_wzKem>x%5p`AtCI-qi0;^-tbVXU7co;e2R|rfK zAfxSSIP#7*ATK=$mSX@iV*Ui=w%D5U{{17IzW#yFoctY3V7RBXz0FQ#jwBCH!W#lg z5^{3ZrxabofE}GO#gwpw@)g;yCV(_{EI@GMHIxLe&#!xEyf&Q5kw%)RBAFXEbQqHW zMXasa6&Dwik;##R<4qfnL0Gj8894VQA8mlJU%N&a*ec$ z=2uBzIvy7^dr@!T77$Nnl&gM!UdK`90sD*t0Kkfu8tC7ojXdb?y|(bC?Wwv|kzA4W z5>_uVj?`+?_5dUsVE>=B9E^|Ir9PNoGGd;6ynb&tm?nMDi8XW=JCn~+t3)}m93T@M z?YY)R3t$U=OPb@wO5_Q@y^zk^k2R&7+gCLN94N?RfRKkh9t?-$p(uHI1{r2b#tIg`Jmp(otZBb+oD+L})AOBD=fCOJ( z1@!i5$je6>p6x%=^=0d0GmUPyA7fYy+y+fz3jthTDS#j6j>9kkf~*W+C2qe0%uOj6 zmWdyA|K1jKqEaU+S86cZ02&q6djx>SUS94B) zJ^@~~u)n>0kz(@Ak(h?Y5gi5~MfhqA#9+VP^X!KE07A~BI66_HLIfP@S%#`2SdEEq zN$02o27qTR0a$ZS7}PAorT2WXGREUo9&Q%Eb^twu0*>sU2s5ss>Yj6{_oXd1&L6^B ze5Zt+Z~G1e&yYymVK|dLQZl402%4STxkbu_k7pnQAr)PTr zXLx(LBR|G7&%39|z&EDu&2y!AfIPgty`joFL?N)4LTUq0qqi4D9#?Uw0AwgY{Q+>f z@l5>D{vwI3>D%K!)*G2cL3in<2OeSLL1%Q6_!3UE<4 ztkFtP(t}n=&rBu}fL=cADudtBpyU~J6bRc+$RgQa699r126&giflCVmp!n8D00Hq= zP~A+^f3BnGYK?)MZXd5n%Uz!XFDgn@nYMeZzWv+Af3iJY1}ryF7=Zg-C3tzY>@|Ru zcz6OFLH`xMcqiT!8nQb#byKF9$M%ncBw#mzne}_m|BuO_U|Pr(u$WvN*BpPvSPpUx z=ze=2KdvLL{vQGV9rTt}_;2+5c=%Dnm~4d*$KNY9U`uxxK+gf(uROs0#Qxh4U|OIY zQl7BsYV(O4GWi%fmJ`yCYnf>M40TUBQ zUM!Dr%o!lR;y;k#Es`SYjGDfNiM5Dwadd$oS7UNFMhi#ue((>S=XrW}IjG4pN?f4^ z@udKO@d&inGQWpr^IOo0mL>XGZ7)XS+w?|0BH|YB%h$C$+B07`fA7TyplhYMY{3la zgBkS+&oGH^%d>TTj#yxI&>t~MU>Lp2`s z91z{+TwF0XTh**Z9+Y*QW8T55YoRNJxObeIhbe;6GFzlLicPzjrr#XFXv+{-D9@0@ zZYCyBW!RhZ(wn3Lz~-k5t?@M0rl3w{Ld&)&8ck;Y9F42#!ijAAJd$W>Z&48$wEy!SnQMs$;5*!m$A5sD=Sfl%IJ|s7W(x8D#`O*5 zbC+tpCN1d}h@T-OzYS)|bu8_e4uG};Zbf5_jQpchVUPqx{DbPFy*n(w$Or8GSt1JO z-r%eCosyoEl=B!w_66fSc^Bw&^>V2ztZvs-OG_)$^wd!IuGdn1qUq@xkEO5H?0wz4 z4!&arQ-~@W#}&%RR_jIiQ@6SN)viAyAp|$2K>T_IuXj0m@1A@oVEGXbK)FX?VGL&r zyxwm|C0Thjc=)E~XY|B|;67KBC|GwQc;__zm3RL1nbhj=2j(mEDxq(UvG#Cm`oo7$ z-fS&@ZM|XG3)=%I9iG%ZQ2?MeI@=Bw9X1_ErBChYwYWV+!!ORey+f}#j}YoXa=xNl z;@ca;_6s!~hd&`j_KxDyCr%!8^KH@0^UM#R)RS(W^I}8 z^unz7-)fq*`NsmZ$kEzB@;wN25E{HE%^g-aSo%g?qHZ4phk$%VS@jvo%E|(l%E}4$ zb*@A-fTy_Ip|sLS)A5oWp6o*`nTu_4TlSTd_EtLOOeN08L?2u=ya9kQA%|1#De-F& zCk7|`5yU`}Do{@m(@Px`5i{z335E)z63xD4&N6rW{=Hr`bw&|_mI=GIlgqE(=rn9X zL{vY36#^jh+W>;u)-}JRJ-DXxutYSv3qU2`;Vzwb@a&>4zd7wJHRUXXxmZnGZpX&K zM`A?OKbw_hZs$$>p*#Q|!sluzf#q8p9=EN`7Ay#`?XVe1une%D zBIBC;vg|F@GF55YwY~4Y*Tc!BPgLeGm}b^OrhZ&Us&V5k4%DjN0n4wp&%%m?-}y9z zHMC?i!s{14bKD#aa)hE*XfZ4b4_IBA{Tf40)nM~Yp4X8JXRtRfJ~#}L01)%bpJCB6 zySTp(rsxwwRs#C2(d=Sr>Bjt_cL@5z?Abd9V`JS67X) zZyRu6FO#!U5f6!%*FzWjB9i+*By>cNatJt=QjNbOl!fXc|4PI)px|hC0Ee|Zv zZLp{qEhq6Sww@xrQS2IDNoUUX=33m8V-9qCtixawL&1lUyF*lPex6)<~4GbhR$pe;ql-@uHnBz5^X0QPPk3(CdmNY|L^PF0lGc zO%;GEmP$5d{B+7yiC+dwcS(A{s$Yab6He0ZrJrx2lRr;25i|1U*d|)1OS!J5FQNfr zgXj7b7g&_1RqLAP4zp&rC%ER>4q|8^2m`Phazx$j=HzlR`sCS=GkcbOpIiK3%;5Hj@@C?O#H2zJz(l=`RfzsKb2IPri?j}? zkpfbK12(Os7a(-xP${Jh+9|J~Hf~Bj<1DOrav%Sv*Xy6eB$@(faUx&;L2cstQc8sb z)D84(vp;ctms$5p#7ir8x3Wm6Xz&IdzQP2ik{)w^jiIFeZtY}n>G_Y~2k4H;4l+bW-r5O}=0`4(<% zxt@AntECg-HMz3!x7ax#lE2f|&5n%`M01F)?S?_t5uQrHrRd*%37^||%B4@x5GuR6 zN^BOFWPN-|E-i4SK;z@A4S3i2SWNQsy_W>!o+e2>+xPMT%pu&7_&&Tj!1NMrSMf+r z#E}Yp_x@LW!CN{enULPjPiSo*#LjyO(e>pAklxd(EpgwgEl6s)(eU_u1yH|M5f_`c zTjgaopx|kc=}fKl>&r~^iwt#aobm53;YSJ7LiHk~sF~_EAXAy!Bo)>2W_>2hT}J{O zNnOC8=j!9xYMiI6aZ+%t1}#oo6*1ngj7U1K6|$ucYqPJ6jH1~oL#L>F^qDF)|8o~W zCz*-hrJ(O>5&XysB0R69rBQ$CH|;t*yvd&nkk&?d@3ym*mWWk+6-}~C{aT8MD26pA z)(U~MNK0Nu`|G=czbBYpnP51-Y4LWziAG8J9Ppw#`bwG)m$~@Rx#@Ld11&D+wwuoF$$r*C)N4&LlLGs0F*SX)`dRk@H-r) z-u48xM+0~XV?!Ga1Az6B;+^xC!;ML@m&=c$SCJDHC518H4$L9WZH*kH^I=NV!`dlF z;ijTF8q^FAz&OTj?;vBc+(evHngGVdyU#uc^8`;K+Y@I z0p(9E?D;i?ev5evU^ZTXA6ip0?0l?8#qB1%&C9@El*O&E=Bt?>PaovXxh*z*?-d$< z8EqcJ%O{O+H>K1ni_rzM&-Uoy5;1c!rKTZZIbUuSzrC1)`fMuecO*PLd`}QaIa>5@m``11?98j}Clc^$ z(aA6J<-jZufb;5rMa4Y+{&WgFZ}$bjMU3VAm@r%z|E&00LO{5~3Jw@sO%K8I*LH?l zvz{OLEC4`p+VPge+D?38)P1?er}N0%o_w+CgF+c}b!-yj>;CLQwYKoy5P5s(;r(sB zws4WMY9tLeCTFA_2Kf*@wsy~zZWe+FfoZ5R5~y4f@d*rowZRO0N?;`af7_$lWT zzfN^HYBlDihDgQLlmr$uCpCYu9R2J5x0q?@R;CLooqMX%b$V$d?qd|T?-jJ~GOR)C z^d34e@?zo^b%_Y7%5|5fM08poS+|ebJpc0n2-0ozQrvP3b4M|=IMGwp zuL@XsxlvkeTFdXB$bZpSLk9T%($(%Y0U$*Y{I%ZKT*PEORo|Q%0&hYqOh+BrPU{v# z(Sy_u&5J++Ua2v|d_Pz~Kf$6*FUYQmssH5#=~R_RbCvq|_!I)*Wb}BgZk(UZD(@zo zbu6?7q+{hJxI~Fn?jJ{nU0mS+5bT}zzOZ#I`g9i|CnI#AE1+p&LHrRz0|zb{m#XT! zp;vO2S&!$s17&kbO4L65YWXCRxZjir_&#&FQJuHj1G5Fi9n`$Pw0YgnPx-!BEPa-c zBruVaj@$w#?^!i!zS#_L;IgHbP*BpudgvjI=Hq(sl9e~iD7Te+`ZMAnzw~nnue*VY z46#$H6ue%rj&%s5b*W9tson!9oWneu@^YpDz+Y+U+6vt<&plRlF$yJRuY!GUFxK<3 zaU1GkZ48OCPiAP~rR39-?C$ry>|}D9Xsx(j>o(Qn9j$Kn>nXLIctQH4K-+$K zuM2p9)~?uFCvpzGpVr9hO@-)0TO!VGTx8e>cb!MT#inAbEUxP85r@l4L_lzsl#Niu$NgjP(vdEyTVhtbDc zz37hVootMwEZ)rnDFD~Lqa5}UAm4zS0Fm>N`57rzBa%d)>C|e|htHVj{Y+5*tF5N001sGCm6>q1kyqQyR9_764Vzhs{H1^DKCE4FbjW0y?)ynVY4oOeMfcWK zLKpBVE!7mmBAn_PS3W$r;y;lZ;0#du1>yeqdY`na zl>CKE8=+!no{8a(pj(NT2;|mJZWaH}N1JBDP3m8kIXrm&?f=BTaHItJ>UY~SphxbF zhoSzZf*v*eA1VlzPt~J=2sup?ckfu|pBOkD6V^8Yj82tPz-pWN$Med;L#3!*Gn2)M zg*bPy*6m9vST#o1_iQ+uhO=jDRn1jt$Whv(I(>1!R$&d3)#)ecLxe65NaPG|zZA+i zsJ9to)12_&-$?3rGUZL4EVl_(6q>cRTCiB2EUd3#6sncTJL7+xex=niZI+*@g7FAJl!w;O#00KLLHB@7-b%m4f`V0V{19-R+eIb;>VKdb6I#UeNe!_^#9m6v3>zD~GP95~a7ZlCw#dh2 zGl=vLh@Pw5+8YKW)VluZ+2}Rzarj#D)uIKz63?Z$5+H7~IcJKBc?#Tl^1EGFh2gdb zn_49wVbwPEc$$i-$v+PwEQa>wcDe=KmPjFh#2rBSz-9{_q{wCEn2CIPqJ=lYwSm|? z+!4qZwdNX(^1{jib84A-n`F79Vk;&gl4_SGaA&7CIad|H{@pL+*G971Ik~ER&T}t| z+EtLg63LruT+=?jV1|ir&1G6An&4Qg#9W_mM?9t~-|}+Fch@oX-UKx2*#|d2pdMoS z*}=Nm&{cxk=qY}(N%h#mD#a3y(^P)BM9+ArfV-C5D;Z3nsU{OLL(xk=?~&R>eW%y2 zR&14MMHL*??uPG8Y}wwl=^P&;h}^ne2i6{)?tCKJGLl~_cxB_)cGCmQ^Xs3k#uo+r z2GiQnsLxcva#xi0UlZ1BUqs5iaVwo>x-QT{oPN8sK_gxCXmh{zU|hQ9lwIq0NcR*H zBdb&qudR|O6s;H#u$x~28!*r>Akv4Y0=9nZJ9S4|{IoC?1b#lC&Y*y=!*u;6ExYPpYfx~wQu%6X z(er4gYOyz#-szx=0JJq8brS>^^e@EZR(T-v(V~NBYud->%%K7gfp>hSd?bU`=9J1B zKcbsohic{%(wQ5bd)e4BVie3j2%rv^dsRR;#J&(y;adqnp(YQHthsgx+}q@gLOkKA z0=C4TSgJ@;8y znJ2W5-)(bCyvP*ysS#+f4LP~=ZXee)=Fve zvLGOqYrj_EH((R?X6%}EuF~;EW8==be-I^52dXq82k=2aD@a?I%9`XLu|5y3$fW>JxV?RzE|qTIM39 zk@i?MW7@ArxHqWqK?(2xN0!GZw8hUXiuK<<%(7>En@Es-ba^t;5a(lVcRnwM{Y5|U z_A+y++ocS^W|e_kW=ybg$H5EB)~kSm>~rwU7gG^sX8;nWMb{Go$q=(RZCgoh(*ypW zG;cbi%*XiWL`L_oynZ*$tj!73cwdQ%T!=UE`;=k!nRfH$JzHNyrly#`e6D+mDsp){YK_OPB;st*y^PR%F@Wj4Qh3g|H? z2p+*dL30v4_cnk}0rO}Et2h-Jv%l{If_Os5zrbMET8~il5su+m47MN~NfNt+7v4vT zM$TKk{?ZQ`RujdXVDI`%AQ-yzvuhTqs9dQ21?<~SX7@pi4`=o75+K9=%XNS>EccJn zCY2>FD}5Q!)WdI$24N4`h+X@(M!`EBe*&?DeAeIJ2?LzH=LRdTu*YXrr9A+itK`ZM zyiDZ!VrauQUZf)h$R(V=;h|+VQ@p}18y}ud5>rw2u8*?D=pjHjU;>+ln$Z9{6tq2* zXtW$IUxHlzmM8B@BBW8E@`g?0v-=lO9v&VLP6}R)ND0LX57=Ctv(@(=>vO*XMQYDz zzMtQoBr9}ubU=;UZk1?`#4^431~ge4<6jC3W!UC@&k>k}G_ta?VF9sk%jys=_B5w$O5s_(7< z8-vtG-7jOpZ(WEgC9n#{*m6)+2iCM-bYCC}t6Z&4Ms&Zttx zK?owA3n{?7*xQSG7jqZ@!tw5z#f5+Wtch3=)aG%r9-79 zBy|2;!{omeTK#F&kH0EBxep?iUV~@;@BOoSpnZCH|Fkvi{`W-+5dgc2RYSRM6J*iuhc)~!$TZNP;h4EMWOEh`biS$<%x^Z)75>6 zuHfIks?7QCLvim1R{W;>LvssK?i!!7ion=zqWe?~`IV6Ol;X z_$On?&=I5@-|9x}vio2aw}G1v;WK8Xil?%1Wvd_S0$$Knje39TCrb@s_*D^e|}p#+-9ny zBoE3_-83>)XbpUb6JfmPobL`Tj)2>?qPr8p6t9HiQQTbj8Pci+uhN3C?tv#nq zDVTj1@3lE)Z*R zglsB)X6BdDX}1BX0B{V?8={xmB$KKTfe%Fl+CNl1|8o4bGf$-1=Dzm+RY?;T#M#x+ z>e_Eshq~*eHytP4p=3aAiZaSxdr`wIX6ECFU z<2TaxTm8;4h&@*CNhKGga}rTPpSsV-cX3waYGF*33m3|UtqyZz_&xjlLl-kdSNFA@b(BSSWJ}V7_t$R&m3?0OPL2-T95iJD zQp8^Dx7_SPezd07p9(Dr>!u`2-jB^<5h6%kfW4ihuHId7z_jtKX*-EfHv2qU@$H*~ zXFYxKty}lS@8i~adj1kH#y2lM!^Z5AsS-EunK}?`L{QjXyX6@~v;H)m_0gO4BBnT| zX-Spv!LSxc)b+~`KD!-;hZC&n&D(UW<6lrXVLUc>qyOUiCWMrX^vA;7xr6VCc*i_0 zX#bn~ZiWG!W|>6-9bYBF``m_7lg-zRhYJy)fc8I5Z%Q32DNr~-Vwj71%jGs zuNJi~4kiebeH3*M34eQ?v~~J~+WQXQ5N+@xx@3;*1fBgXKX@rK({8OPJc+s*x&r5R zSIE2>LAZ6cENRu5>379?*nynh?}=ri>PxZeU&@$lYHC8q`1cKOwp2@C$80{fVY?`Oc$*dAAIo8&m5b zh+-UN{r5G~lcnVME5%hVo@-J3y6I*++cqIyvb-sOo%NxHGL-)^Kq}Q&=9z6qsiK21 zqmtc;6rPyaX%S3+)AX%WzIZeaq+7tQ{q{8m?|F2SueveI&L0~LLho}X$d4_-vDe9-%Q$Mc6ADFwN4Z?wb; zon5gHcQPSNxULRN7|x18vqID6dN22~X{V9rqTD4y0q4KIt$&a>1C|kH|r- zf{5$S4G1B|`?x$4K+4e=^@Qg9xOn1nP0S-;_~SswI--8$OQHzBp5Pm;agOc?zI>BE zZy#!t)KFk{b-5ohP#HGy(u0Y_yR$&*OqZD<=$}l_O>#BfSu1ie;TNcpVeso%fhZ}G zGR);Vy`$q~;Vw$9G1FfjE5>NObWgC_n%msBfo1{gI@B;Xz|8lsgkD5rHO<;_fP09( z+wQBt=2jBKo@w_1SP0=)KX-rg;r8?Y(N*bm&Dj}javLr;IG}ER`pM(DqJkI9`r`Db zq>c9x;_x2-E&A<0B+Dv&#Ny*FMHC?05Qhy7XCKk6zb^Tb`2d8_3!C_70 zx4`5sJKd2m8b?J9@Y8PD@L0`rK%P3<&|DqOupiVFH;LQK>VNI5%^}el2_MB4cDM(+ zGz|27XtbO>CCVy19B(0{tN_=0)Ox24Zsb=aK@mn_p%m;RP^o$rPt~#6q@&#WkB&bgBh)Z+49@(EiGVq%CAYAO15|KJ8B zy}sYBoMnLfDcEly{!#T2dKhKDM(D{_nbrQzdw!GFA)7mHHtMR$6s;bI(@^jwqtk=~20fTy6Ps~5O zGvQK|ifc-^!-izt99$f2m%G@l@5u-rzKsdH`?-rYb2Hc8Pj`y!hJfR|4aZb16;hKH zj^aU>>Nv!`T0hWuB(`^>oL-EJ2!1Aj5BAI;Y9i~CjhS}vsJ#p6;d1KQZ)&qRxW&2= z_PxVNWc86*|L5P~>BKs!`c|t(T6X80tXv@r(7q{I+gF6x`2`*l7E)zmfuzRv?5^M5KSxQAS24H#4*;*0?j>q;_u%i)S_c9V9ER zao=h$GM;qNVRJvDao>04Mpj{kdK8C}jX?qqH<9f6x46E5Jf0XGUEQ|@>=XU?qhmUY zifWpFm>w)dVL${$XJE#hL8l?lrlOvAy|T7~D-dPj_NToFL5;uvhu%*xtP5DswLCUcqv~DAwZYVhUuz?E>d*7( zEoWZ)yd%$K5G|fvuH)US&JF5DIZi(|eg5-9(LMfS^XJ%8$L|*SQxcHT9s91%_48t6 z$NXBIJaIWD@8Wd$rImEN_S31!1VsB#B$=r>DqI8HE$RCk=I}L4h$W7kBr`Yr!}Nv+ ztBu--S!;pyaQ6%sON(mjH_Wl=SJ+HzgCSsn^LzZadOA`zwXl-6Y~Mug*MGqQ)nD${ zDanCyH}_dD$?@s_+GL$mt|_ppj!7d6-F`dGLZ;DDa8> z%9^mqnyQaKMK93ed&o&)Pfcm ztwuvz>4Brv5x&O-`*p^JnmPVM8a0_qIrsIZ=@}?pGQYNyU5#x1+Q`Xmyx{MPuQ_jX zC`xdyxm&$8eWE$*s~czfsIy~ylLtQSnsCePm4{ckQUv+0@lpL}TT%~RzKuwjfAvcI zW4RNCS>Yj>%l=(E^%;%!qB%BHGsWGI@8>w!VqQ1sMjKa@T3^cg7+YHx7Nd#?vPAsJ z|5i4mT{P&^T{{|)hn3u#FHX;{-+4;hNKap-R;T!?H!1hE4EMyzc8$&$x2rc|;fvby zXp3#g@UK6u^O$aq^!97^zROLbhVvD!Q&VNTcZ@A+&aJv}$%hrae*5dSVLhWO*h$+2*K6L{ zr_HSsaUu|r9xjA_EMXs~%K802K_nrwn58kyJ@aL=)B4(o0B=xoz;kw9HMWq+RS6HZ%}rI^=)F6tg7r>B zm`W+=wd$1V+2c-Rr*Q*@|M$rd-gxRMWawKP50K(1%Bp_|<4>zwdp;bQgp7`nQSQhf zSYT8?#9+T-Bog+xr$tE5F7W7VEJ?~-fh=U;)>U0z-vRlKDSp zu-ZnC&er^a)1~Lx9NW-WXGu$?q%rwq%4J%krf&mxEMs)c-@=!x4$3Ra+}hoGdI#F# zA{AyuT`(7hyztn&m5`tAM&sc~nH5SUy@lG+Gy)y5Q66{aRfnxeUhTzq_e8p7peUt?4<7&Q}2FXowX|Fq}=1VI# z!WPK6q;$RSAA9d{qJN6&M6$pJJ;DcV0Tu69h$c1n|0cluYI1q9WfD8$>JOQ9qd6nf zLo)U*rM4{A>%cq>=GkW2aP}K-SXkL4uM@jKCo@AqDBJXp&Cd*a5AyP4S$0~#SZ9^k zf0o^IPJ)#7jZ)8f)-p*jQ*0r=>V;_mq7wOlhl^>61x3$IeP%PRLw2<5wMdq=~>Nk3l0rW3ai8JJQj4`qiQUp<% zf_#J6Kz7CanepLdQ~TkiP%0QdAD?xlll=*0PzhH?M?!nI{ZWrY$2@*lpom*6@txcH z7(PkW)_BxzT9Y;PSzgyozvfFyWP=UI(AvGagGSQ1i%2|0bSA{ zI7&@8Hc-vU-!z2#*;u~ZF-T4&-lb;4Y=MBgu^z&VvU#B-^GHD#)>5PoJEZw@(=*~H zknr=6FqsC)DWiLKcYgyu0xX$eF)TD9GKxa{5Y3_wY50A6?Z#zRUfylcKiMS;?a8!P zBbM11pn{@&jx6BKf*c&f`O3rBGD6C-+Z+bKYuskB^|@R(_WNVXlz0u}lT;}Aa5R-F z{2aI%?c*`x&s_g7CF!DMn6X6Mo6bHftcjN7?J%*6(NL27Mnf1)Y5^KT6r$g9$^w*70%8E+ohUl2;BzUa898hL=&b*g&*-jBkp1 z9et~bV9d{ga2LZuzwIA`{4~tCs0I)l3c~NHxVX434AsL0=G`$sD1{`TF|;WYcK7!K zGBXY1gcc&s35|iVZnD%?&ExS^gupS9-uLu|#ZcOv41keB=;-JgwEJ-I@B*8gB{Ylm zK9#|tuSXctB>d>Xk=u%2(JH>$TL&Os)dcc&)vEAe(`KJB*>Vh4( zoQq?25?X@aBi?njbai23U=fmL7&dxV6>oA*Jc#^~5X^&y>tq8#zHm;rnu)08>mNPJ zen0$n8pF3QGvLqe03fAMt7QD=)->ef7&Ow!s!mE0_UOaBU@ct4U~3*LHL)nZEc#sq z#qQii_3l7Vc2eaof}B)U9<5<6Mo?bs(;IUHH!H8go3)8=I)!UeKy5F8nw$GkuS_y^Z17lyivF+E6Ee{?3{|+`V(> z&Sb3ppe5pg;l`l|r1Bc6_;d>~3xM-h=FVM={O1EMU0YH9=*J&cSPw&&`* zBl6NfDy-QC5A`p_)EcICb}=9%YA^HS%_I%WidU~9`G!92IH_2&ypZq?W6tsLev*uO z^vGS?wr6p15uJSQ@bFL@dLNV&3UGc&!%UP$G8PftkKM&~4(vOCLy%QeOu$*6oYW>) z5K2x?2AseT7pAu9={iT2O#w|xdE=w1l#xc$7s+cN9Kkf3SW=crMNcmhWHn>g?NZfM zLi3ePL({a?yc&~IA zw$nwHYi;M;;qiR4oww-*mgW0(`9q8(8y&Dk)mtG6V?e=85Vr_MG@qDMbyVhyViZ^iLZoDG? zeaqwQ-y=<8n8Jd)exYHu7Q;(QFL5D10CGqPHF}y`%#b%kBjk7stg~wYq>kt;V?3_E zwaKOPM&#rRwb>g0lCJkoQd(P^QcYd`$wpmoZ*Qx0Nn;4eW|k#g*Onp}M?+&|Y8nU# z&E8Wc|8U4Xc$7YhwU8>1h9)Sl{-wM;kHruTIWA+6D4cRQO^5`v3gq2{B|LStw{HRI zDWN`poGB@L(qnvX-?P+sj{a&Lr*2krIxSaM2Lu9=yN&z;@2q6l$E3X=91R%Rt>^wn&tEule&reTFRj?WHmqYkWJ5s+|&Wcb98jH zcIE3kAnoZm@f(g|B(=>faAd+K%i{yFh?YRcI1Wll*@`tlAATk@<)OYI>*t;Km)%Hg zo0v!p2HecCv5mR;M?&M-0&v~-K1wtV6mLvfct5h!dt&78H4b!tq&QGEgCtWMG+k=t z)YC|+zDl?xwyFmuNWQfIE=HOE%b!3aH*NcmgaKImmpTb?m_tlei38yJ@1F@F4kz1l zsV^x7YW`(lzCn8v()Dwp8Nx1B>Nv}o)o8LKsKWb>WQrtZYHF%LH`G=I?L~ZG6OQCEH{_wkwQ`nLvbT#Ggj6U z2n9qPa>^6`KOZ{HddwE+_qjejOf1<}0P+IypJr!o=*m#asAka}GJ$PcM(Cm4U{mrgCbftVSR} z&pJ@7b?b$5U=H{-r)fBp~L%e^jhnu2H zctyJ zEWSgv>uY!A)!WuAq8SAE@RBXpdzAcw?0z=ADf;f5genWNg!P;6Q3VdCweR31GM#@l zO>VBo|2>SCmC^1F^07i6KbC&^5*M#%aY`HZ&tr#^`SM#4Q%%a;q(3PbxJ9TZqBDrE z=A9;q0rK|3QjTZ8JoCq5qkB-ASj-Q;Ym=Rj9ixSO3iBcZ%yaR^)6U*!Fc>xG;NZx& zS^P8F87B6sqU$h(a<%yZ)p;~+aFgka?1C%^bG1#kA$y;2v8#*A(ruMtV}*MO%#Jow z^iNsA?3?|85}owAi|M5-33!H|lXZB0em=_-ui?gAUU}wbOU;)zCQnvnqz&=fK0B!I z_T{rfznzfzdb|Wq3{loouuR4ML zVRzuMX813@u?Lq`R|^ab z3{Z9{4kJ64k<4gLH;Ui(%%FfJ-dg4I^?Vbpfj8W0Dn{uKQ`$mfreT_-Iu{-sV9Kd* zqdB6Or*f)yAf*^tVMRq8jFFcY7b?2CeNfwvV3v;Gg1HvH_7e3zwGW&rk7S)FRoqR! zBNf~&pp^ELf;sdejpo7gg&QM4%@7`rgG;V2Qd9@tU9f()*PKn2&+0Tyew8P&@t75) z!NZBAs`lOmk?TU54yt#Sm~z;BwF^HrAx&0|m`&x!F#TQ&Dk0|HlsZww-pho%w#;t) z@+5gcby%*MYakC>h=>EnAfwUokRf`W!sNWamK4g zp)2(#_EwvOzpwvzrOni0(QnVcRXUyvIzf0|UfVxpP!SY>^z{4Y>>qcjhs3uGdZ|`;kFYgBAD$|cCXn*Uv_(w%ApQ@T3N5y4JFZT^dF|F8}FZ~iSx{~h) zHYYHYb81SldJO}e5K1e5`=jBcJFdl z;Eo$R`UPCR{LTdn zn)HxL>}FjECidhZpDoQb7KGSyJK!7ddlWMUU@(@H3_O%GjM7hRz$)|EMW{EvTKeYo z(Sp%}Rw@Jna;g!KEO_Aoub^#HPL-#|@stwM0+3f{$4V`CgKpn*5?Er%4Tw9pKK8J{ zniLEW*w9Jq`{L=M7(5ep$b}KAoOBn8sI%){=toX@0i)FNM^ohm%&6}mD6r-oGxWupC|7-?*}de>@sFeL1N?JvH{r0jxev*q&t+%vJE4 zDyZ*hDNuf`Q}1Rg$vjzz$@x%jdBeiHL1BB+0^)AI0$to&_5W;|0ZY+(6}Q%hvwHXe z>vX~{b6505EbGh+&W*>DUhiiSCeOzP0s7qaK0Vdg^5OZE!py73jLxsrqS7+sU|)OX z<-GPit}okctd!N2aPFv{dL0QvTHYl#?k){{ay&T@6w-MmKO+BZs~2H&WlskA5o{T^ z$fJ10=DK8#w`o4#TgY#0V`S7qU-HxPpS>U%rMH8Y7FdbVyoB1QCc#|X-g$fhbh58? z^G%4h^M-%ZvJC62@(U5z;@)NHXWA~H!bnKj&yJF4@A)o`-2>zZwcV_ooX_yY^efj* zf&t4_yzdFfp6vws1ynxuBW}+Zwi>>gy3du}>kZyAW7JZRa~1g%7KrKSDIw~##WaL2 z8_mT4s+Er1!J({2{c>;Gjm1`?U!sX|rXdJUKQG+x3~L(W2GzUhCqN zHmJpfxL^5Y;1bxXT}e4zjD2l6x!df!d2fMt&qvK`H~fvSd*5Pu>)Ik{A1_mzgu%sVEpogDc!gz zH!vN_o|+^d8jT%u9!Zz&Y=|PUN0lHJC9iekS_IoPl z#F%q2R)(~JtIiB!IGe8Y*NDN-Bg(IOJzEGw{5HE(C5`@OH0|e<@=xI`@$AzP>O0Io zG7cY6Vp|fSE|%CpU#kxB=%S@e;@z)2GAxN3RBk+c3)eE$hj3bH!B}*5o>}SOMNgs zBPmGC&^r|D%c{anTDo5fIpXmS@a)&jr*=8eOcbU!5MdDe_DQPgDUB(%ekw}4+btKb7IWuI2u4+$7iwr(=*stJXV#vZLH_v9*0Dd12rC1m-MH< zuGBl(2S>cjs2ZP2c>*s3Lm_W`H`{nBg9V4&k;__fM=80NF6|+0+y>-yC#ot(Yy^6i zEX>j}%ZAO3NoAg_&bsjga{}ZVP7)sRjPav(c!{|Y6--^6N%^}pZ*g&NZB|rnu$Zou zx6*P99N0|MCw{w!ZF$NH3zGbpcDQMv^o`#f!;~pl05`!-lr*`#GUiQ(e5A&TGB? zL2?MNFG#mbY6`Fu`(~sDr%}%UCADhHy!D3j$q)TZ#M2lGaNclt7F#O;WGaRZ1EOR% z6C5V5Rr=$cJ0Utds+pE`;FreevDx|j+nKm!={N9Pvsg?AA+nX9{_7?%B(!ZAplNlP9XHIoqW7 z%jv@P;|=`}JFpy2Vl(3+!usKB3#~(%#yY7;LoA(7>pkyBsp%ke5(=$TwDs)bp#lCD zlyT-Z{c(^Be50GdlIIy2`yv2~F6{ik2sUk#&Vul;Myi__rluV8SM}eNp89la4CK>z zZ$!=_)Rsxgmg9~fkQ2th#l7;xwoAD}HK&U5G5};oCh?J^)0m0KP^D@GIeIQ(cnj=s zii()u!c;sntb(h?DH;63JKbu3!fTml@Apkk3c^C0@qjBIm{nu7X+VoZPM3K$Q(_hN zNTS0+-TXeM_#MbdpPs{5rMu)EkMozc6fw%ogHJuxrXD;1YN3}BOzlaJ)rW4l6SUk$ zFXjd|LR_yz8_mZyx&ga$D_u0I#Jo9#%=8iCnJrCSouIMe4}%(fPlNTQ(19e}{-JaT z#G-oZGw;-MH3g1wC6C)eRLQ?KmV&B%uQb;w^(}W+fwc@=h1QN>JN8*j$i=vCI4BsX zM9RMLYqrLBrZ zO*ED8x7y8Vg*B1|00~&>Nq>~~ZAmyA0SVf3_{6daM1yE4*^X|&- zb3h=YoxrWI_>+e?u;I}XSkYKmxzOs*A2AQv`-*Cw;|*M_Fh%Yrzp;LyjIFU@-DrVx z?npO6)PG{DWl1@lE<)jTvYk+`5)>Cl(iKBL%wuGWn5=6G=HVP0MUC%v$9!Ssp# zEWJOI#FfG7j$5Eqa3=|VWR&qZiU6pIvSG>sHAGZJ&ZjZ=fv3@Cb_x-l8Nyw(7+OAb zm5_aKS6kPm!#{j^Z%M%pC?e`*&fg!`piEoe1E@k<`2lwxlY< znhMxV-4(aiG9C`uc?Y;Rskm~s-@YVWOH(}MaW)FDvRhy#FdUl$Hv%7UPf-T#n2Sd{ z<66n@D=Xrd(B6Nj-vz-$G);+<(4ax}J$=12dy@lx01Qbjj1UiDoEx{zl(ZK&s87c~ z+%XxQ^FmACH0QRyT70)}fV%JkJuF8>$(dova|>pyw0RUB>&X&8BHw06iTyYmFKjC< zUuTzSiLv97+_-etcK!{?zw+5jTYG&-`6r;SZE|9Q;{15alrm1{x%} zMng~PMqak)Y-ey>=qpJL z@SpkBJH}n@dh&;>TXvxCY<4i;CVpUXB1SrV% zn@sp{G_lv@adGNUWsLUQ6q0#wbL!gL<5+s`ettMMz5n%x5m4R(N(`_seF#2evBmH8 z_1o^*MHS@D5e+DrACxpe~ScSbQ(%ZS(y3%+-vy@n!#s5NJuN( z0eu9Tn)04g!uymM90+8(_*#|{Fe7xHo}L^Wpgz*Hh^g-GP!uqn(C^P@8xNZpIzdWO zX_)O#}icEn(uGhb(v@#(>yhA<>xG2j?pR#geHcwp20* zjA&0H4&lw_97Td&{`*_pM%!d}Hx@{=@LvzWG;go3uP1>j{-2xq(1Qbw$I0d_1jhs2 zR7irp0nd?2CY~<;Jb3z}HBiIA^lz^Pp=Pl^{g7?75OJ6~5KalND<$h)Ser|n%_;D2ug z!9agU5(lB9MPcf7-0_B5;17dQOrA?Q=Mf~4iK{f<%7EW17?0=u#A4YaZwr0x!MBr~b!|opH zR=&1}Dapyb0SkOIomk&LZTS?%Ih^tYuRDg`;-B^xOe2*uM9*IR*9_G%PA!VA?d@$! zK6899-Oz)=^*|)Yf+M^8DllIE;;$ocyE1YJ6<$8?byDK=0qZd-q*zETd>lczCQw@wyot zz6itw4Yq7|N|yA#skQP5U?dHeWDrY+rBtBB7<4MBa3yf2WdYXbf~KYx6XusAH-2EY zX!IWG+%&@SHzB8B4Dxs`dznl0LlJ@ld600`c{2%*LGrNrIR`I@AN*k4CaC(1^89V2 zN8PU~Qb-qvIQpt@+v%5kA!VcpNHsdDOEPSuO&cFg&|-VM#LwW31lk`Ha!wFbrY2!5 zid98_8ybZU+zKk-kNkVTtXS|~dOp4>ny>{CW5)kPeSLrM&!=H&P+!<{V-D1+{oflx z%0Th4ocZ6-Az{!+YKebtd(0mhM;cTX^R_MNZ{fy8GR8$c$i&@ErXXT)xGSLHuo>@B zccF<>#zD5o1y$lM9z}-8P6af-3OLulA!fuO4o^_C?+t}O63CC_T@|VB|6GUu^APOz ze+&Poij-YdWvftht=@J0qzd6dw>iwSG}>5?2}ai`55l};rIra9sGgFx*Wl(t%pf)R hE%BYtuvIOt=&e!<<1V3doDlF&?zxh5v7}MJ{{#AlWHtZ* literal 0 HcmV?d00001 diff --git a/helm/matita_homepage/matita.xcf b/helm/matita_homepage/matita.xcf new file mode 100644 index 0000000000000000000000000000000000000000..d4b1804fa76d4b5d94ab962fbc4552252ffb72d0 GIT binary patch literal 120842 zcmeHQ2YgjU)}Qy%Nh1W3kU$a$HME3Y0)i9^NUynxJs^TM_qQ;b@fws zi51H#7M8W+x|Wsb+OV#GWobb=Det{|?|lC=<>tN+6qOS6!tdqI`JXfQ&YhVvbEcd- z7tNe~Y3`!wGjeCloK?yg^KD|xKMn! zknezN^NVoX9y4c8yQs9sMVHOI5D)|37u#jt{Kd0Mb7#((UwYZR(&_VO&Yd%_YqKsh zE}A}f*4)c-yNFAV%PzWLT5dtl0`aerK%ruFMbrx#iK_Xz2MR$1hfeg|G_a!kW3l@vd-!D@+AR z_o08u_|d(V;khs28iSwa>4GOd6?Si2Wns@RT{OSPtZ9o&F9ReBJFN?0x$Skj+arHw z%$)<|#F_Kw&A+U4+U(qs7f-tkRU!A3`O{|2oUSE$%$s>dX>OnXx|n4=fy#WmbmpSc zSyTiUqb5-aE*1qc4Fv8pZJwfMO`CJk0@T6W_N8-rESN{PzhK(D(jFJiyiC@;+*$K4 z1K3#Q>(j4bU|}JZ?ZAP(d-p-0uutKjfdid7MK!2w!Myo1XDrU0RXSrn-F)t%9<%3O zSekp`;yKf1&z!CxQEPOPDRJbw6O z{L=7iUmg+3>^pfB57^Zko;3oo?d5h{>DInb^;(fmHAm9W#(pX z&0@V+XfWqrvnUo!eT(xmSx*+ag!5-mtAd$(c~t`HUg&PluR#?E-NO0BM8D1XM50gN zd==}?f>CvxcOak@-71>Z7Toc9FtF~L6c)jPDP`~Qkt~7Por&tf`9431MsglNmD=Cz zF1~A7=}o)&H(gL;tOx5Tg%iLr@BHR^#ISF~pU`=nzlI7Kissy++a$ih-^zge-p+gZ zXQ+sCZ$;vNMUtIu{%49Nh~IJkCyLgZ^Idr9pl>DrCY7YF<$MN!&=k&R6MYZo4^XV$ zM7+#-DaAs@d_Y2YcnJ~|>d*P}M4!z0Z|H7qg7p4~6-ShBC+GbrS{dgLA!)(LulNQ( z#Y^UV8^s&I`AsBwTh+(>b&8ijR1RJ#j^aH`x$9%0aU>SSLJ{gGSs zKcRRR6Fi>tj}a{xvzyyl6z{K`pGxtXab8CPshmGZ@owJ~_pnHS74s$G2Bi^Rp?|2L3L~x5qGc8KuLw z`i%%Y(r!W3AcJaQ`WC)5og(h$JQ3L$jM~gM#{dYt!`HJXS3|mXDrJ4?{yci#iJWht zcqwan?I6nje-RVcQYzL+7I=Yg9~|n6Xm!ZxQ#)6mPdCTIpGB&I13u?_Po(5s$~jfP zV9pNy4=TmrBRu%(@9}`TBF-;*?*Sjhx}WnK35q*)CFk#UrN_o^d=2LibQ$r@4lH=-?{jq0AG=W8-=c? zDvAVTpg0Q<-M$6-U1#t8d{y~CAB$(Tsn>rJGB+$AOlA2e{!RoX2>Nj`EBB8IZyo%1 zvD%m(ldgHX z-w+A0l`NZ?pH|Pso9vDqJpb`6FQQ$#@SoK+PqwC#Ik+OE_nKXc;h{c z4GVHV58cd)zvL0zUQH3^QVod;ZwjK>|IXaPtL{Wwv=3ce!THZ2JMOK$eRR>&oChh^ zeVn(Xa?wpeP&Ne-Y`^cfD7!dxi2OO^N#J(QcRrVm#D=oyW>L)ih;O8r;jIC34+$wn zPMa2=LOG8n#qfiswyF{lLh%-=Fs=<7gl<88HzJs|8=^=&x{j|Uu}scyr|S^T7t;L> zXb@KM>Q-P_d=mbK3OViq@v)qrOV>FZ?I!TB_5g3uh4a6HZ@nU_;DwyeBIz5b3C8ta z&Z*fAZw(L&T3-yl-GziuC5O@VHNM@4tGN!E4>GJJK%7@N&q7V3_P#mYGd6%K0=Z@u zUqRQf1_1KgsJ&>$LNP)9CGk;}enZzmoX@9gnCkl|pLf#j`*Qviu@}<|k@Nh*( ztQDMJjbgMi-z4_CoOh&qq@h6y6~Zv4TK^HHl*MP_7q0FRta=2R?Q8n?AxK5){R1!(OtZWgw|b*2Jo3#)Wp|y z{I|LH^{czl{T%I&VRgP4?}hd}IRJ`3f|W~#5 zhwj-cV7dom@Y)MuzJ>ls%7-f&^$ajV(E&6EpiwBRaSfm_u7@f?SFfVxE%NM@n@mul zvlzRE?$(Wxc*19V{q-}S2VK(%hTq>f-%Ryt?`+Fj90BX|P0sgIvmQccCo~9c@ie?e zs4YiNh&)GEJCEpI0sa@tbv*rc!e>)OrOx$VyoR(rG+nAFs<}nIC-td+q0+=_^aG8W zypHYzOXYNe|H;ibdM-3~IpKKARJx6C7vvBfs#yly+{yQoIFk1O!DtBj5o`;~h&s6W z1mDMl)bW_Ld@D&W;d~T5b0hzd?zxc~Bouk;FF8*Gjt=Y+jfY) zD{}s)!EMXCFgD~1>#O_5MX_>*Hj=T^@uQI#{X;Q8wdB92aM2@(W+Ug$o=wK+V&X;P zccg|6cz|y{?%&wZfiN06^uhIDLx*%VbZ`=^M+V;50l7y1l3$irrVAKFnfy71k#FGl zK{zjYFGlb%&(d!sJbdgB$M!{^e#hH8?9i6i{x~54bwlAhPTECT7S1;?5 zd^O&0@1&2uC~e*RPR_32{8oz6&@u?Xs0_X>1}Od=lq0vrB3*T9oS_Svh#27}0UCkJ zVSLA;HK0~u5w3MnoWT?+Me}jd(fzK zqRs(5cL`@mkL@SXh68{WG+u%1WEurUvbsNUh8{bHMAwDe{2??%HRz{XA&&2P7Jd*vD(={c155U@&W* zqN?HFumw*uj zUsL2aIPZ?gc7GH{1luzP0%09Jm3d-!LBvRC;-p75 z1bEH*)z^-RMWXBbc?=1@kv&YPCuIrj*lTxi^!X=*t8?Tl%(^=sscuA*>VzhNi{7jK zm7f%%i`eg2@Teq>YZLnZKOw1B+3Qr*X5wXPuj3pBfUxBQ!j}IUaU1GYwbm>2qKN+N zE{fg@(RaK|hNa7@=bL~wu4JJ!F1SH|CEqLTqR9Qie6LYj1k5abQN|zA_=0QlG1=(FlJC$LmH#{VU#3c-J_-p8@+*+k`4(R zqqA&^^b!xoQKY`4?TC~}L<2PqK}~67ANq{%6E7XLPY$3iB0E2hg&I{*RN)ZcP2;m* z4=A6|U}fW1V-6Lwqm8L%NU(ft>n>RN%~MW!WFM;02VJ7#V3NEmP5tV+SO4<}V~r|k zNbq2sk)3Y7+^H+sX68hu&HUlSO%gCj7na%Z6W)dd(r z2s^*rKbn=t{$(ud*+SPUj>aF?Gpn|ZV|`)8R@O#jB=aPrc3?0ht8)@Y%`n?Ln`S~n?o@w&QuBdIZX^sB3~ z@G2OOV~7}no?2*p@tXhRG2GrroEhNk&kSL3qlVxZK({;RYyLhJ+<*99Du}wQf`VVu zOdUkaIbU-kV_9;@9rA6*WE6@%HpE{+vljG!PSqY|7rBYAqA`^mWFslroG&KH{+#~~ zO?~KU&PPBnG=c9Rt6Gk#Avb|ce8|lt?StHKX{4La3yWTkq9KNssvU{_h4Xw8OSHwT zSf~TXU>*1kq=t}tR*us`@A2vg>XtsiR2zn1$!HWYSG~gVkIyGkW*qv44E^i+kng^)Zsz~co}{wOugKlYyW{#yP8J6xIRZCUx=Vpi^a%0@G*b;YBQH^B8Iu>GdA=6LZ`ms zycHyZ_w%~1?nPABfY#4;Slq(g8-^60aK5~`zx~wHAQGI5((a5v{ovKls<&`n^WL`I z46}osFEmhe`+@LDk z?92bg5qYaUlyziQ5?Pn#Y0&zPtoq{MpP|H~s-KDgRkMfldr!Q>dZ`(PHugKHk=F89 z)|mxzSJhNMH--%(vvv}GdH~cNVLbraim)C4C5@UpeZlO~IrFE{!V?%s)sY(njlm$N zC+^?aAc&qzgP;Mp9&8Yl<*c8$673CyXx#_7rvJ5hQ-yRvV<6P#8?2?Z!4H*M{8PL( zun2Q&8S8)rmM(uMPWWJ`i7upIJ~ifo=XO}@7m$%)!g#~wyH``7z#}*E&;CnR*L<{P z(tbnJaNa={Q=A#p>N0yHMp_%lwm>{#xFO!}zHc>UGT$cVS$oyklc}jDlZ{#@n0p6b zP@!3&ePSuV>YYc@!eS$%dne7p9CSei@gCrx`)R&WSZj!ZhPTnBl99GubWio(Ygt{pG;b$MHpsyizg4VT2ft1x1q6Y zG>Hq74B}{>8(Sr*UPdD;8jFb+6{Z*rwu7&Z?3b$}>^+*!!~KOFhQwn4`yHzy$jc|B zm1p|q)6iC$Vu*Lycdv_Jodf;vyD?PSEgsktO;MFqb_k0j7&0Vo<^0uAIfJg>wWSYk zvTYZcW#79zg4yp8HL$>}r(2`Oz!<|sCv07?7Q&tSMOJewh7-C?AYvUs*wAL0DDxr&F;Dpx^ zVxV<%J$SOtHPI(+st$4M zFR9qnB9=&)drX8%^G*0%hckrov)Vq7Y~%aizODlmwHiE~7~YHfEoNfy#D*|)8>WD8 z!O)2=7&&2YiySz$R@W>!fXbAYETA-wA}(Ds^>`{n2NGGGUhTxJM*Vooo`h-?lq;Q3 z`>RlwUEF;zPSq$(FMXor65}hHVW^Xe;bIHgT>zcsD>J6SGaL9`x8*r$YSmFE&jme-8U1&v9G!R(SfxN&W zFUD?=zd=ovh_M;u&=VI!UM%*2EntX?AslG2s)^f(K^l_t3bnGp^&*hKAuk4V!1c1G z7_UKIEMo#6A{U3`I1ch+TnBupTGqUT#%`Ebq-9K`3i(QlMsi38aWTY$xERji`d1pp z;r3z`6SP`Qk~rk?wxcPTt7&Y9>svIYgZ$TW6*CmC)|mtjc|G>i3z}kt2l*9p{W6&O zCdXJCHxdj)P(wl2$j`@W>IZy2_RR>`NpkJdS)!`vV+l(R6H&42M}(-V^#eh)sbXT} z#t2%+3Su40HA+PMEn@75D&~w6aVuwdh{=DwlBrj_!r1{iq?EmPOzh#5f_u4dCXEm0){p3LE2L>{%G|BTE-Ze+eLJ^KAyvF^+ukx-T12 zLstEur54S(wO@43_i*f=ft3m-^>%33>UU;hX~#8KN$orwR@^9(n#VB{0F@S8&|y;v zpc{@-7IJTq6|N8UNHd5;R8TSanDD ztA;MfSC|Cu=>{=ENo2LZ=e#ZJ8(NC25D=z`51eYi_LnN``mdeOdH01b#`ala7hHTkOjYZ_&dhga9nFBC0to#^BsJS$9&D%O zYdkm>r5n16^Czh~2>k|KK$8uq;|JSm>D$ZSA$e%#HxyrJIEveuYkR3D- z)cEGhP^^WGyom7_tybd(G)a;09h)zE)4pINDy>dzdKW4mD`y>GN@fzPp@oOUj3;~< zuNF(-Lg}MfjhJ(I!`}~t3FtF+y2%2p`1J>C7OSF;cq(#=|m1jlL zGM#EBSUVOPMRR7@G>uknJY6g3)o}d}-|b_AFwm~U2n}>s&VSDavYNc9FLM6TE$4M% z{h0kEkK*>fSqUqTs+f#l8h%(8p2|!)1GzV%$BgBlzQtHh#qM3DD8gMix2-pKJ%BYO zG118O(gNM@*y(%mR`y=x%KNA9|N34G8=p|x%{rWkk;=rgLXTjOu!*tmbx*^pya9V? zm{Q|2R%m%vI#7Beu(B2kP_bx{sl`Ca}gin zZeo@U*1<~R?t(cNg2FS7+~|VtPyZSlUBEKZ{{~{(kN!Ey zgoQltJm&l4bNn{rhwAo;9WFBnn<|E^#I7N{#E2KL`4z8w@N6efT}iSaAV< zsGj4$WNZSKY$m?X*jb$zJNrTWb~1K;H^wd)%Giuz#%2c@TReratC5e_Ud`CjH&9F{ zj=R?}_8^vjA9;YWr-n230=7M_xsI_n@LM;UvCpnzY(s0tzN%(y+aDO)xq-3jS&W&p zm@f(zR&qJ>wZyc1dM)$i+{S!)XEI;+HrT9+-(dVkKg)clPGP=rMa);Sf%zscXTA$i z)Ma(d_iOwXf5?2-%x1nDPGP=3zRP@fPh-C2A2Z*IO6GgKCG$ObE%UvA=e$feVJ&ND+_^qY9EN|}mMP_{Vq@A zcJuEEp{eq*HjXe1|G2-oXxMS-mD~kDfm7bc#A$sL=z07b(6+YnCP5^~w;IiiqC=n; zpfT*q?BTo_2U!@XC(Y*3A7Rl(F|Fnc(ZFe<+rD}N{av(Vq=sEuaQh#u3*9<}TRSp! z&_0WayENzaquBleb~3l>+UcNu3pN-4Oybtg6dkm$#`aWziQF>V=%D=s26O_nN6AnE zx3>6n(7p#-UcpY_cCie_V{2?P9YorC5j&pa<~lUq3FXL8Gj8u7M?A_N`xPhjpcA^q z3C(jtQ=HI9D1TTjh+NC|MfRI~$(6U>{ktnJn%JJ@pndLj_QhA+eD`hFQup5Hs^|Cd zI3C*c@boyA!9oMCd1)WA7iAqgbuDks&FxpG!ME2;nDH)>gcdyF(rtf}6zzexO4ef_DU>om^ z{G-i=RFSnPVp|{#^;r(!XS~9d+eZjN&{=E;LH>_Q3_Q;F>ypJ+>3^?}R5vu-X z*~9^vv7N?V`YhbL?R_V;Va4vj78t!u_*hw=qr5Ow6FGIS-_r;h*s=0;_Mg+X_H&$U~{jX zL3r2A*b8NC>VVF~;+G=JY|2;r1w!}qr0BO`&z1c#Z-LEICnEEpYoMP4jXjg7w)ddg zVuKax>N4cJ^=)e%w5L#AU509l?jChjgoesc61P`U{al7T#{#7YC6XL!>M~Sc`+ONf zP5m}j2krl(O1X?O^E4SkO|6d8LHjAHi_0h*FLFYKGK3cmM(d#cE>*l`czgS=PUuo6 zRN{n+oKT(R-qJ3CI39q!Tu+V}TLt|n3z(T2e?V4QdW;1ifT}hkj%*O^Jp`m6a zkM5>y|Gzk76H(Pv>ptv??LTJg+p8&;x8|@sX12JgnzsTciRGdeU%49<741L{vj%P8 zS={b}*2|1oV)8cJ{yWRU9-}ophub}|z+<(jq$05>pB6zktn?4)w!J>5oOy|*qqe*U zf#B;GvzDJzTI%93yJlgmk<866ucnUO8e~)MbOUbx9tkw}FN{Wgw_hgo1S)qF1{d^#$qy-|bqLc*S>>RFGykNa5ra$F#4YaR(Mrh2Oc5fTbv zwhjl^P%54yy{H%5N!YnA4A09HPl*o)$B^KwcrhIrf^!IaC>%2gTN;juiZ~}6`zy&! z496ZLY;-tw4`FA9W7iROVK^qzQXY<-O>)nMVj>;=JoU)kC1eU3{b( zdnK4D6PnDd2)hAdx1{2kiUvx&3(Bx#L!f^{;N*tDfRg?SPH#DVF;$({BNOOte1&p_SMurJCV?YUP`^G14J_mJ{oQW zrp6?yjZ)?eXaN~Iw^-=X?HVfk%c!Ua07u*1=OZB2M~eu*i|{tULoD~E5D?QYI-l6J z9jT{?uwdl6`>;OD^v$AywYBYRa;csV3kCgnU)VHt2wHn%Ss!Mf4&wkl5JFQZG>k%d zu)Zui1)}zY6p1XE=#Aac8@+(XTPtFS=5Vf>@P}t^9*J3pXg=@<{8|>+$(VXT&o^FQ zP=;UbO59~%j}A-V0CrIkF8gUfkAj#2`vD}n{zhqJE*vrtjZt*HyhrJrJ2E)|Coy4M zs^W>}c5XvpbVH!5A#e}%WKpn<+~sD~<)FC@MV9>Y$uJHqWU)Rv} zgjM+~Qqz*wyRmIc0C4;I{l;* z2K4HjlMera&a5t?>FgbIxL}3#|RT8>;3|`s3 zOQYy$0ag#du*rTzf-nVohY+;P)5y|$R-)+rBR+(zJ)0`^n;Nvwr})qN2>e)rFarFa zQvBU*SbJt~(x^R|qF;%To4wz`){@}96cS7#_8J-(wWrXnBzS^@Euv5l!hY>w@6v77 z)701f5`*E;l0vr<_OXMFq|jKzwXnK`;2O*!+w&-tMK>Hmow2~~qZ@upk!L#?ITzdi zBusSLLT(*lkJAm~_Bw)J6L=5Za1x48-f$0LHxstX!6+r@_tB?b3C-8R4hS_8< zh^Kr)*h7T9(3g;{iz?F4Wvys2i*p|>A_ zs$j*eC)NuY4y!w{7Evu(MDfqak{p!FRtmk3T4lA~he+m!5jhTT1;y$|!|dpn0GcPT zJcl=(cw}c;J~A3YEAW*9&9oACB4`D>QN_Ly!Qj3u#`1~%DkhD}%r ztJAyS!lgU?KAXl2uVbuhMwI*;DTG6L-VI+PPeVKZVT?k%X%;;~@0P&!wHiI+^6PI} zJah6XoqaGW>im5ctom>pZ7UAeZu!@;bFqFF^0!KlVdV+0h2@y_qK$Ujyo;Se`BrsV z=g7Do6BnONo%(x7Qs^V-3G&Lqb~hL-uM>VHl49-1qY1}N^m2hXYQnoBu~uj#<=w-S z2_s1KKS-Tbdm6d`)I@+Zkzf_k6p^)uybtWPloKz}WY66+xcI0i=5wun0X*5Njw0cd zb=2@%H`4}lyNsj<(S%W|XtiG*gq*f!h=J2Wnp{dErF~-*O-T-ZlXCCx=te^Pv)^{Z zz06Zqh)!q6>Z^uP@6s84$-bD5!>24*x@6WllyT*Wt-~@WmYd&RDf|j^&&PMDpnOj| z7TYs;Q}l9s-+JuUTOV5U4K+J`=&m=A7=2d^z2zzb<^iza=j&r_sVP7zMT>v41n6@Q z7-vOd-u85SRt6#i2%$d3G#~0oz&{8$lXv9S+vDhltEqW>23@oD@3GVcH+uz*t;r^Q zh1z9qUe+HiiWz;Qg~wtMuGxjJ+9kJr`*_#;%w&qUGftNQKPeUcM94Lf`3I~En??;(XD@XiR5xQ*5oHckM9{%#0W zb>CfRNz57}4y_lkYf%NP>3g9GX4S1ZcsZ2)|Lz-$dTHkVS+sP4RcAyY6@j@oEt-CM zC-gmm*pgdb6pcZhwf)nT3kJtvupLUs6a{=D3w5~b;g(o!4|J$7X{&U9W>N@4dHW2S zhn9qCuPnfD{l`=H(k-34gi#$ErJfMa)4V5o(bInbb)S5miq|OhxV)$0Nvc!hR8M-k z!|RE@%57SsB@-6o8-B7+FQH0xHnopEs80Ql+Wyr21YU+>vPwxc#T0?vnZV}Mf82_Y zWnDl8-uw{?|0|N3(o_;Cq8lX8N9rtVI@(%m$d?peN8d=X{IyioR*RLMj=RwkSS!*| zL(Qz4OcHu0m73WX={A>AV|ltwjm55CXP}0Je4`!@QH(c|QICY_hw>?;r%ek`O|{m{ zIk{(Qv;5QM{NXd$TJ#wWEI1|Y0MFXKmU_a0o2b5471JxsL>q`Fw0?!^tNmy?`ZxQJ zh=xAxH0smL;9t97I@g*-6GGU5;468V=JG@Kf39mo&2#Q8Tkt9=aLzyNwl_EIM{No0 z`t+ZFncNCX5y9ks=Uja)Rr2^u>csvRZvL9&B$`Y~_|9c^ z(bRTRF_p2Lw}a!BcWFXdP>wxdc?DKR=YouaJi{7ZW)yjUe{v3F7+$^}iF)Ma>ygn< zhlEJCw<`-D0-3w9*@(rus0%{SwzdtbtQbdd3Oe{G4V_g>?;St1PVdzTo4BO1m(COOqUVV)&*fff}ku7Wjp{%K&>6+K~;I1tQ0|0YE0TERQ+_L38&9L#xJvRf^uy{r_;TJsiSp&N7fqRM?Z`vL9lX5@M_=mT9b7m%R0r?m!nJK=AwAgs=G zq1YJ!3-~r*)L(%>3);5zO0Uz z6!!6cQ-i;@IJZ&O_6NK?sa$l|!wT%qGzV7py??B-Q)u$MEEa#wGIokFgf6kTgvuDm z!QvW=t6fG`@yW&@BUmPk;6aGCR$>DUoY{uYAH*615gnbRkQ`vtmC=V@01v=zxW@bA zUPyXKa1?<(^&(C`;=w@|yck0fl6R8Pmw4F3D|m{~ygtN(#V>e@(7fKni&8vAXddR` z%COZ&##4lik0vntB$}5i!#sxMDMIsl5f8iT@in#>3|a)Cc|D254pPBWgy!`i9z4he zPZ65eop{)+BY29?yl%w97F)qng#ETmXFl-~6;Bb8H^%5nyd=d_gywZ2Ub5mTLi0Kk z4|`L4()%ew^EwePMe!7&c^wT_Mh2r-1F1UdTISV2uLgQ;pl-{432h)gYU0|-O8Z(x zcWv5__oVM^$$hg3rS2R~}FoGC^1J#Ea? zN$KQ+O1?rk;^sp?d?qDP#rY&n1Q+77+J15-C%It4cH${2z`*?2Pfq8=3^2)6Bt9iB z+3-~+HfYILG`{UD`SAWHKInLHcSYmd^pcNH1`r>#^G7t! zJ-A#X51*z}wB#!qrw>U!z7R)z(D8Wl$@IlQqVb7s@IUdxMOM?2uV}cwOFo=eNglN1 zD>_c|@reiGgC_nI`s4%AI0He(heNEQC126;EVw{CA77myK4{5TG(OcW`S{!c@j*+z zq7yYAAAci0XvtS}lIFvqm-wJ1U(v~e|EZt6f{72B_~&T4ISb+(3-IwV3*uu7(qVLJ z$}sZATU|~ZpD{jfiq+%PDH&4^@BI(mX$ISuN)nCs;_X@*p^`*wc9InKD4m&zozOC6 z*p>teTcNWQJ4pd%*5h132@0~Zp1{(PjMvPCMJO!Rg+(bWT4QaVz;cd^8|lL06y^s; z$IV!fqpi>Zl#1aXi9kZb%N#nHV&&68^H!UcSPsEHX~kQKkCSr@*kS%fawD5`ke$m%^T+Pm%~M#)aYABm%=i^BE%V z+CGK1mso@g!`E_!oXq`0uS4H0>D6`88`24{uFLx6)%7Fee&^OhuU(gIzSpilh0l;k zy~CGU_<^pN(8ftg*n>dMnTbXSt};wflIu<=wSq8 zwSE}AqKtuYOkl7891Nce6Bx?D z!SLBHfx!ZBFnotiU?>%ZJx1p-2n=Q8U}*|N@hI$X^lcg;hw^bSoYEjLl#j%+{)Ua^ z5<~gG5=0&Y%T`!DlB*DG-Uh$DqOfrrR0lFLm6NdoU#Jvbg!MpY3823Ox2q)3U4rN) z36mk*Lx$}YbS_2-ANu`&;(1|(-LE3PqHvX6v?_j8;rB;5gu5PRBJp0{A4*+0BBko( z{UPb;5z2dNclsZ5#|c00Utyou&)3ghSmCeezsjCjY?Y5+!X3SQ%Hl?9*R#L{QTOvLwzH0CK%S(q-$13^2NeeBZMp17^4G`nx_cO%OhS( z6;Ba3M**&GW3b2yUMs~@gyfAj+7T~J@f2bIhvJPka*3C&c#6=x9O7jt9uXB86*#6A z@$#{;%|3Be>s9m#j!0~8vrnZ{aKt@F8Eq+ECJ*((sneR!yf(zkQanXyUKa7%D4rrT zFOzs}6;BbG*P3|Qil+$8%OGBk;wb_rl;Rym8R^8!RXjy#UK;VRJ4C#LA~dfR@!IoH z0ll9h?Dyn7TM{o%@f4wXsl@A`c#4p`k@)BbcpVi_5t^4myiSUz2+eCwyv{sSNNG`o z<|Pxai{dE)XRzSiM;b}Q>#BH)(7Z(A@<8SrqKK#>TFkPv)a94Jac@NsdV7zx3}#ew1^1P>PnikA=^ zTokkl-vJX(gnx^Ka#q1_LqKqEaiA1H!D7R3fK&ixu|u|^D0Hm2h4|^by|}jKxi~p- z+S070$dsGbwq1+MuQ02cgQGcXF!P#ABwdKi;>fOF;erRXz$|YKrgRa!)W_JbL@=;q zh=5xI4lKbr-oPnbx1>@sG9)26MAR;+RIGGGy?|KfBYjBhl1g7?ut?l7&7mb<(SFSr zFSn!;wB#!~Li1b7_@E_U(UF25QG@w)@jTFyujnYruf}|!;DaXqd76%{3=U;1f(|AY ze9)4w=orm!F8QD(U(vCeFUoUCC1}Z4be!fV$@rj&e=a`%CZ5+!^F%j(`Fpw17~@Vk5#4P(Y**(E3?yp#N8o5DHps zL`eaqphQanrJ==`^$&Kc*HEIhfKbt5BSs4dl_XjVC?Hk~s5Tc9pdthZ0agycAGsT5MpYL7EnNv7EoOd=*#Ohwb)43d{0x4Ru}4NDpg@mQ-8ds!t1=*Hu6GOUgs&= z3mvvBd7*=rd_}j=e81#_mV8C0YCg(^;)9laMYm+N{pz2x6Tp zIB6^}kMqwWh=H(RP&l0h39pbrg5N|igN1_kGG~Xw&_A-dybRn=ivgf|8uye zw96~}=OSPd5~Gx&c`g2dV1f(!=#FGnOPxt^axm5`E?2<#s+P7bVO zfyKKq<@z7zV0UKYz!M=CfSmfw0gUf~;u(Y`%D6r^ras4D^>n1v2OjLL z7p10H*ec95CrFm_ee#cyt1R4Lms*3CEKOOOzt)=g+}f12$0{W# zwPWrwjNCXzsqo6dUH)Dmx) z@rFmiU(?ISgBHLKV*C>Fv1vFI9;%bYcgw*gZK*xJr?01d(Nh1?{%h^aNBTzEcdYfV zJ@&3@-<@)gOQ)j!TuRBShsX0ttzJF!TB9}m*yn+CDD0!0oubHt11BPXNK@S-Xc4uH zOJ0;FG!HAVWjHOFoU)>5IhF{`!}4tz@27Z*&^)aDmZ1%n@f0C=p%I2r#s}~^aYqpp zxH$shfjl5!3JKI2QHI|R*wUh+{~wb|ixW@{!j$%E0(QY$Wyz6x0<5uD=61%y*vxxxk-IFwa@6tWdMz`${= z0;P~f`x`ijRiG4-=m|Km6-TfNltLQqYvAxzfl^4LeGDACDo_g9A5pqaFnSv}aJ3($ zl|mXVG;q|aKq;ir0t1Jv3Y0<;9freLalEQPDWuV!1`bvgD1|iI!@!ZM0;P~fyBj!6 zRiG5IKc;W|X1NM;)XRmghDN0IuT+4f93lS1>JZ~MIcxV%wzrI7k1 zU4$bAIaa7jS&T1mDc23<{s&s}6`i8_q7oJxpe0|?EsS7iQK^(iA!x~0bgJfyN?2@w zmV8CG)O_Wn2wL(L-AeOCB`n6*%LHFlN^*`=&sTnrpeg!IV^{5h9)@EU<*%tqijRS|FSOd?xBqJDy8!0^(y7DRf6N%MZrrvym1b{H^rgv zy3XMCKIPVd;AAIgp%=noL*h_E3q6nyo76pNj}T1!PI3{Jue2gDR%KKL$spS2c$EZU=&(r+8K{)(HtKPKO3BwW9M?yP_}WJWfRxYxT-8ZpFC6D( ziUGXjr)OvY&gxP^d%XZ4iL>k7V6+4dY!Yt`|8*&$0XVG7duU%808&B&a9NiUI0#DI z1Avs!0G!sPggzJyfRxYx+}25A4;?Ti?g4-#&T;@au1g7hkR$*pp#iwApD6BugR8_n z07wZ9zL`an$pQbGe5h>R5JzyV(39=`;Akyf7e!V1C$bL)#C*;+pWhU9A+ zzT{Fss|Nrnp#eCPlY~oOw1lHCTEfv6DdEx=BiL2kL#qe;%jqd+(}`!Ipx{p~CA4|~ zkP;ezL%EdD>H$DXXaFANQbMZ-04bpXxRjHGOJAgfOJB5vRu4Ft(>=~|PGW^qxx9x~ z4**g^1Mn)B5?Va~NC^$Vtvo+mU$lgyFIqyY2OP~8iF9ZHj^y$lT0H=egiBwvgjNq& zqf$Zx7!%2Rc>1F1VZhTDXr-qwqEY&OeL0pMU`2=Q@dU4&GOPQvvXrv?Dr?%uRVh`+ z%3JEt)BHmvkDceyp{LX|vG>0y8(L;hsv25l zzk2M`@&i)9)_K|Y6Kao_eLqS0*g7(P@Bg@Fva3+Ep&NOl~jAI@9 zVOiInLifq&m(kB&P?b{^gtKYH`~~R?kgGXPv<#yi4-OP5O-E4QE!}9Z;WPv_oMz-{ zxD|pLZe?`Pa7zR=+|uZ%;Zy`AJOq2RI%&8Cg7)W>%po}Ou`>@25-CYRP{S!k7Y#Q@ zP{YlQt{P58P{YYazJ`+!)Nqo~O~Z)@+W)0T4#szayYt{+@yG-OHJo7d&~QA08jd%5 zYPcDK8g6Fv(r_Gt8jdpxG#rbdhGUIF2`|C7mN5gPQW9-=bzLcpSJ$bz^Xj_SuA_}A zGQ4)3I)~%8T_-!{2RmpqsR;e-Tx=eWTwtF}m!IgZ<3&H}Ip~$&QP1+jTFbri^W4vx zl>6BaE{`7Op#gYj(^GcgEK!*-08&B&nOefHBmj`a8E_w$QL-w7qs2XZ z^?;PnK%2@MDZ$0YVvw(hJ4mu^Wv%22CMd}iRCZ;Z;Aujz1d&r2AkM;daH2q%7+oox zD^lZogM#H^!+(B7Mn$`kb~;Tx7nh`$AbbLavk-3Y;Ati8m)SQGK4?|is=Ufzo_MEL z9Koq@ESP|8;dzyTQp{Q-yIP8H1s*y9&?|bX!YkRZiCu8ptq$-Ea?=Zfglgx3z>; zWq7^IbZ8(`OK4RFKoTz9))HEkv$TW;+88x59ZI*2n#JM{O1F(#$(6co)JmpQXQNK= zG$B}0w~YXCq;4AlVo2QgoiwG9lZ3KpQ5ID3O;S2Ftq1{H^@UrfL0fi=l5;OrWQF%t~@G?WPpwEILp3rWi z20XzO+AT@Rg?1YjxbQZk$U?g{ASIyP0)YFOlz=j8KuTx;hnY$VD6^0NASE;aZ!;+Y zWfl?uq=W|GZ6+n4%t8VHNeJy00KCnl1e93=QbGgpHj@%iW+4GUN@xJ?XFbH*LYajG z04bpXc$-NHPrJ3=X=R4GOWoA~lv!$)R%TDTJ?*AO<#^C;TARr~WCyN8cQHDel5l6L zuulAAMM_0}iIq35q{#I*r6hlqb?SqwQdTwnw>%zP$G*E_3yG_YZ=TCe|;VQdmRs5(Yh#~KGN_S|zoh>vduEZZ$i9A+f0dW>?wt4B z$VzN?ejKWsPraO16YKNhr-Zzk=+(rZngc(j{?*5AO0HxFb>FHOT47&DruUfoKdXkW zvTr|VjHAhDD!xz$eP=KGeuAf)y{@TeADP&2uW=l2q757e_yw)E3^t;TKH48A3PBA= z8GQvDu>=#DI0R5g4??&f4-SDJ)e;;J*w29@jQ$$-BdDeQ#sCfb5Y({G7|84BCRZ5- z&IS~)IS64K2qpZMN4=yV~ue-%gYLakO1f?5hkMQd~@@J`BeLQemOvj}&^Wdkk| z6?R8FHloBHjf=0uoRCdNSBOh4v;C|S42F{^6)+p<3DSJ{p=YtlH$K{VeT<&x74gsB z8__G`qh7>6*tzNOM@VO;ze^-`T-(c8D;D%m`iMUxsZ?-4p^2@LK#BygadP`qi6j&9 zF?L0Vwl7Rz5=+#WNtjPMlf{RD5fY3G1EVAu;{xMZj0B?qPNwJJp7AVBf)QaLWa$-r z_2A|4ED>OEIn!~0Bm*%kCVxWrssf!t(dsmn$}lVx6=%EknB$R@InPjw-MA8n<&tyc@ zE@$jFB2KEJB#$WZib2V3;n0a9uA==+@x{C0?O9Or6&)e?ANp8x86ULdD>_p1DX;K6 z(2}p{D9ulje9*)%VTz7s!7Dh&{VDemAGG8vI!5yoBp_#5Rgr?0{CKh@mQ?J%nQF0g@QUHGuP*q(rom03anafb*NAM3j;MASE<_^P5f) zz6_B{0)Ujz0M2hBiErUqCmo~!NC^$#{3a>kR}uiEga+WgC?$MK0su*z4ntJlG^Mgm zO7P0|!eI=6l+Zwn$^c1hchRp#&@EI1I4_<`{CZNb71^>fMBI9cn2KsuX@XZzfTf7E zO6yct_|*u7r&rpi)(8Kkf<+?XKkjcvW!_WPq}!g#cq;EatLN$GWt=DT<;UIaaK%EZ zgo6wGS)_vtDyIN&Sdw&bL0!}UNr=iR034PiB~TYNASE<_)03nG>Y|VUaD}*s25?xC zlt5h+5&)!x25?vsNr=iRBmhVWR89fl@E0k8x~Ksup#k{cNeR?NApw9SMCBAfic!~7 zJcS$WH6SH4(836i#C8{bg{a>u0=(}8zn&CqMYc3T#I2`@si;;D<2aU4+yekfoaz9u1EmCxWfT$sUK0`;fMF;la89F;03ana06Xw>@e~}(C?o(# z2@SvwloB|WQAhxg5*mOVC?#+#qmTd~B{Tp#P)gvKIUxanBu=4o=L7&dP)gujQw>N7 z4Zsd0iLG=jqmcNSY7FX{OJjQBm0cS18^Lun#*l2SApt}3H4R^DDWDYufRxYxe66K~ zRuBLr;nEl>;nEl_;b@GOa5QFa@DdnBE{z#%w`!m<`X-LX7{LO(Y84&(D@qsM*D@g* zfN!;w&7%ia{1O@@!<5W5cSUeWis=S9*5CBp_1F%-5gjNs$ zQbGeTPNjra5CBp_129gdgjNs$QbGeTPNjra5CA0M(iknF6$Iw1l+XZ-Q@V$zF{e3Q zPQcR`Qf^OUWFPar8bg*@6Y(hg$-ZiEQ`=~tx-ouZ;R3t!g7^hT_r03FL*$`mu$PaA znp58`cdYY~blY>u`)Mv{^{y+26bi24eAh&d&Fr_A_)3Cnc1`p%P=VV^N{Wa1VIubD z=IzBkL2b`%apS{bs#18A|G$ z|0@7JBtUz&yN${B<=X^y%JKK&Fi0&6UK>maoUD)5?!3EFix_I(>jck;^L%(Gu}x-s*BT# zn>*?`tz4YcFb?Jjo!m(Y2%<II!XLxi z5BHuO!Qi84($&Y{7)XH#2CqO0P#JZ-fcMr^(ARaLQAQS`!(B*LT^WZvpbLUISH|HI z=z?I!m0=mi+z~RGx9>p^w&c2?UPhpda~Du(gvw~ZprZ6KtTKn_hxn)+;$8!c zAi}umAj2%fWe9k4ht9Rn9XxcfU0@6ad6fRJGOuPkRnM#0y5@Q{+iSCt1B(o=&2EZq zHd!R_c8`E1pdIKJ8odnkPA(dq5qFWj4Rdk5a9_jr31#oH(CBYae}%w6BgE)B*sxkI z#Fi6#IQ2qJ_|E|9G}}_Ad2|!$WxefX{ZX!S^)>t$Wj!@I$H=v}=|6TZ9Jz5C=wQ18 zU4Bu1*FTH5^~&$~F2>`e{Dik@98=z>&7^lJXz4ww=w^by&ZoVIK__BE^jVsY*Zf!+ zAGG8vI)McjbB_4RH5s(zD>_m0qh);13F7{WPLg~-Q~u7NC126Wnjb0SgO+?nH`jdS zL=BqwXJblCynhM{F5>(n8g^@1@)g}e^Oa{dXvtS}Dyx(6l{+_R$yans7La`D?F}+v zJ3U^K@E{jlhZ0OlrLhor>l^~CZzTaA^kH`nk>O04>|e~KNjvKvy8H35l`LM8y`(&H zIQfTr?yWyH3wjr47kiocQ*%+(L!FtP^Xid0RrA8-?Ut8E7_2EcK^`t=%ENUZIAt!e zPPlkUhG-p|f+yaObCEi7vEUh4Y;_({oFSS#FNY4y>F^vXPZ-Wm5c&px9O^R|W&_elA03eBzvEV43D{!o=lt`%uq=W|GnJp!nD+vHnLIXHfR!Sr*2>?<;12|_^ zN+c->08&B&I966lBq|92QbGebR+c2TV98S^9RNw3?<;12|SzO5mVPaSs4eLIXHwwpgSCpC1wu0HlNl+Gq(Jv?(M2NC^$Jl@gm_ zUrPx9Br(PTvb6*b+7$NyASE=Aqa|<@pO63`B{YCDXvZU^o9R?tApt;2XrP^z@GA)b zQbGgmD}xinJ#f&bxCemOMM@=r65ciz9`rR*ibE!mhqj&SBggw1k{rzm#BM?YeXK)e ztrP`_jf4dH@d3a}98oK!fnyt?#7%#}6_p(->qHDNqBJ82hG7s(L;?$I1NCvRx3p7b zfMWfs3LhzOb0Wd1rbun7__kBTngHD^+UQ(qPoTArHT7Vu(Rqn|1%{PYi?PMcL~{fO z9_i8JsF)Ef#B;Vf8inItNy4RKT0(0Sj(e378i0Sfyoc5(08&B&INeoBXpI6OB{YE3 zU8RK9C;(DI132zgN@$G&ASE<_(_KlzrD9UTrD9q_YZMNIqdPQRh;4u9nam1wcw@pq-Y`8U;W~XrR58a8%3)UMZg9QZal7phmurOT`Ez z$%ZOs)Jjn#(WPS8Fj6a}frqJ>(ZQ$_F~D$CjC9ZFWYmc$V1z4JS0m7;G4<+ZR8xd- z)61`)7Kv3ZN(rQ6*+ISZ(0}bH#zse+ zV26)Tk|%^D(5CJfN4_*7CK}RjLBZHID8_RHZ6cA z=NjwVahO~dWF)!PY!~-4eLcyLfme--jy2#;v;A}#J^2cwnE@vnNrxbxZ^Rq$osmF* zZeS3UN08hw0SI4`CJ_EIE)eS{1j1Fu1x8B{UNSB)R)TPlae>Vw2;Z3Pr#TNwkRaS* z6zIp(lOza_7#G-Ff^dd$fh{BmKNuI-Qi5=Sae-+Pg!hXJ%#a{V)$L=YVTh+^N)Y|1 z276s$w2>fnqDm5AwgjmItp{@@NS$Xr*j|EUnAU?GBa*e1XKK2=_LfD8t?&dP-TAfazWTV ziH8-s5DRo4haTjG;PIfd@aTqc5LvO^Gt-x84=MJGZr-arsxBYhf;b+Z=2af?g@WU; z=#G7w53D@(9oVp==jnCST*?l3Q1Q@WdjuWp`%ZAjkhHfb-RA6XT2>DE_kOo`B0Y~JO^XF;*uo0a=-`|&sMia=LCFDnn5 zD(b8h+tGh9`?`f-$C_ZR&TLbMS}g9eIxCAq3{3}?78)G1Y*OIg7e#4t6Mp8(Q6?~2!q?} zMK7ES=aTNArExMGr5Q_PUto!>GYd`