From f10420cd53e7abc80553b2a8a1712d8a0cefca84 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 6 May 2005 18:21:16 +0000 Subject: [PATCH] Toolbox: preliminary version --- helm/coq-contribs/SUBSETS.tgz | Bin 0 -> 20459 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 helm/coq-contribs/SUBSETS.tgz diff --git a/helm/coq-contribs/SUBSETS.tgz b/helm/coq-contribs/SUBSETS.tgz new file mode 100644 index 0000000000000000000000000000000000000000..43b20d86efeab599a35f21550fb323bb0e3bb9d3 GIT binary patch literal 20459 zcmV(>K-j+@iwFS2vwK1S1MPi#cN;g7@BBOb6u2{)E7C_+B-x4YQtM=8TZ%R7$Qn_S zXRo5eZIVs7*JP7!wkSEfv!DH<3a`SeyGhH=omufDGT9HH>Q{wAp#T(m=P!B(XT5KK z_XR)O+fR3&efJ&zcYEjAciZ$|_4(b-_U@DKpFP=mw*BOH+dDho?R@_`_T85xN_}n? zWl}KqyYcl+Hp=49)!qL){q&^#PY?EA{e19c>e$}d-v0jS)0q5spFDHr&o4ds9ozmg z@aN?$FNtgV zpSF6*loz(idRrICgjbj4S(mk5++>px)NwP1YG$*^V0H)8vY(TJKlAv_Y`n2x<)?Wn ziRelaDS}JG>FH)oShEl)`P;$tJAJ zL?ii^;bQA1&jz!ttZcn|_YR)!viD^AbhL>uwvhB`@*!pLbykoIvw4XnarNRnCI}iQ;*Z3SKQ{G?5 z{;YMDl@tDRKhlrpUPsCsYPc(vJ(AxQ9Y9wR>?vN)ro3OePHVdg=qa*N7_&9|vi;Gh zNEeGP`}w9w*gp3wX6*m+j-NBeo^7(H+y#B69^Pa}XZvsdttGlv(d|9i*~G4o*%tY{ zm~>nJntrtzwp#vm-WIZ9=tiEDq032;mG8N0`df4O z@TvN!_OAu@)!YA*@1N{GaohiQyH6k5|JV3LnsckiU32jD_dzN8hc`L?Tx{WxMcsU# zCZj%g`6vBkK2P(}mK@Nq3$9DaV3M+4x0mwb+K+fYIp!m2@!F`%+HbfA!FnC`_y_a7 z`<%5W{CklOS&v=zuk@XEI-T<#{KpQzy2r1N3-+VA*y(Jw9(7u3a7!xU9d^&Ef`9Kp zJ(tOqT~&_{>!Iwu2>B&-#J-qm188~Y$RQwx% z9Z4sJ7G9~3e>i^pgH>WtS7cC6-W=s2JxNQUDSHzR@xh(B2@KxCp*pS-Wt%s3P$Hs2 z1WwM=tcsbq7L0AKZf2J&Vg`W%-%Shex$<2bbr&-Sb zfj8B6pu`fqC1beYckp)C|C$f^7Xdx#k7tt+nu0Tk6{J&X^zk}ZQM6IgUQHHVZL{~- zN!M5aew)*JqUF@%&jRDvOin6$2-GM3uXq8%>t!+Hl@by$-u?`Kw{-JH;7>o;1-gfjvW&gW5% z$~cKM+w&ZZGmMEmSxnNqenzaC-wd56ZY!-3u$4N^kn(lX6&;YF7#V0ckY0fC6Y)1< ztAzYsbNO)&Qs?p~_p)O5^)^fRe>=5og5mZ0q6y{V&D+A_)L2(rY=X53T(4uLefyrb z`$(a_=s+5dX2koZNf7FAsTn>%%y*@|PvV74j8*Xww};i*FW`p28CL6i%otbn-CYyM z{UKMqgpc2YQKP2BBFZrcIsY#q#?`41qeEi2UN)UiC^Mczkel)* z>^1uomTX&^ZlHwYC`&zrON8ugL-)j{dmH4#+K+huLu8h3hlMtAO}7u@n}a4WE~zM$ zpA^B$hAN`qN(r@UdEl{%*LWW$Q5TUD#Q_HJSYwczLWyy!K1P}pnjh*c0ldQN`M_p; z?6nj!#NSJ5f)t_RaS`s~Y$C~qUG3T_%1C&~SW)4U_<^EDbN~j}^>OW-81rf;6+xYL znMvg?I#3sggh;5s>#su)|rXeb?MDhzhCJ2mWgMxNdLA$FIL^!SjhIhj;V8BQjU|`U* z1~8nA>#~YTtLxhB=%S@-wHq+sRG98P&d(%mq6s)t2L>5bKBDkA)3zgf*g;s~o12-} z$`0-*Lpa@yGl%xOw)raY32vO`n`>sc@Ca)l$_A{hDN0iu^^u|O+~-!g;4u{Vedm@h zVA9p{*PvJR&9v@B-Cj3W{--;|L&mB4TDS)f zG>z#l>g}{%b@hsc@VJE+qB|a4ITi#vu}tA2N<~H?(r|M=fNuG4Y-nUTEu3`2aIiEF zJ~bx8mvcW@L0Vs3OvkqV#N6tEC=RWvRZTa7I)^LbRl#E;h;Jo2bU<7v2x?XandFoY zblf<(jw43oA_)YS{PDxA=%>=w%h#v4-cvpJ@}}gEIi*(UbWR||el+m7#6IAXMf!42 zaj;~6Kvn1KX1PCv;@3ib(8#uY&P4FUnnS0te{UAuiteL=%R4Y1+;mDkJd_I##oeVj zKDo<9mn?WC6I6t1y^v}t7VD_BJD0FRO+F)U6o2@r0JC2y^jaGdKgT zXP@-k$kHsl(6`0S4;?YVM`x%Ahizw$D!U`op&`ApHRyw!dDTC)u6dy70aOrxNkojB zA65qd8O8qMgStgt@#g54HItZnelQG(appdto>N!sLq|pxy{LGk&ANa)oEuXRnGCN75` znOjSF?D;LXVF@2SXjZ0mhDH0(L6HlBr`oib7pGx|tj4Jcl#C;~rMU(~k7z^vVO8JdU%L z_^;=22Bx5e%ZWft7h;$|YWAHoI@plZ;BcccJ=<|UMU#r_MTA0m(=Mp(lds3GATy^0 znCNjppvC=2wD3e)+=EQN)-Z`Gx3y}*-nm2<9hvPTdZWm1y`}o^>O=PbW8#M|u>HSg z|NqYR?yi^r?rRzgJ8yyTiQkQYB^Z~j`-RCTF z9}U(e+P5osOs)D=hU~xCxUl!OT3fOMrE)WPX;z?K$vw7m-!>Tbu3qt;gx-fIPcmJ` zNwYz#X%)0#Y;}xG&4ZiVS`W2_QVP&-OcX6Q8RO zl5C|eDfa*}-uurAqbp<|YdZc26`;QK(JS|#Q5%~1b0GiNW7$YPbTo=RGG5Fl8FF-z z#h#h#XHXuo$8bLd6vR>Oli4HxN#yM?nOc07p)!Fx`JiI7jF)>flFtf$E1o>bJDri8b^>v-aAp zYS3e|Jv^vFW;bO=+TeS@42D>|*wamE_BcSNShlpB@b^r7KNa7r)aCWI^Lqtc2>a-8 z20BZt9}VtVzE1PBNa8z|r^6fQa5S?$m&>z;?1i_ZD_(+RC>oDmMah%nByal+X;Md! zoMWJRwi7l`Uz#=Y3c_tVBFMcLgNpM(6g}7=(FdVJgT{M4qwsSZoE4Z$Na2{n6Uf zw+6QRci9Z7P47yJ*v)Gsx1+r@O5io_EZ5-j=h&ECcXYwf7O1+DeS$r!8R&HfrUmS8 zzR;#TEp?B=>v_Q)C8_i;)R%oSl2#fYPsy+_Vlk!fFc38arOD2t_qg zX4fl&iUN5-gn)WsuvTogWh0l={AKghG0Kt$ zO(#&AuFLdKXUP!qxRPG?=d&VPX2}GcytCpHX`XwGk08vYg}4SAdfJcv3+oMk@D;6h zdv>WJ@EKnu)2xIrCm44`U%5<%xZBr%<}@Xb1fSTyDQEDA0%lJXyoc|GUlB{M(4FRA z_Cy)sN98uh6n*NXEYl)q%ROf8epLGmYjKi>xUxcl8;*74*FE!^WHJ0EEGWYFbnFyd z76v=;0*{~Pa*FeeRwiCK>+E?leK|>!f|U>9yRZ8p@jsE^^{eOq+}VBl{f?LabNkst z{O@agV)=iyGxP?uqTfs1p#o}4Kbd6w@r9cbaDOrpp@&Gm#e+K?YzW3gUd&1zIf(}@ zVEv>FMFdMZ0xyaLwMb4!?nGXRc*JGD+q*jJ1Pj>DN0kMr!MiRaO6l>ebmME6y{k5m z$lnKktKL4FNk$+=9h9Zs2r)e#SJDhjF;y}6F!=Qhr?^9j`FKY(7r9IHD4dSGbwM@D zRUw>;NL`(=*G@^=F`xXB_1o$M$M>fxbWx+83*nne* z_tw=OsXB#?T4$TePt-M5L{@|&@mfYQ8&|Yr157K5gd1uq3MD;ECKE5u4+$H9vCwfr z42+|)?j?ICo8v1X!xJ{fL8Njs1N=bdp?D=a;10HjhTE&92Y$7$uEBN!34%gFzLV{) zu9Oa$_SmPcoL6X{Y%`fU2|W4}$OR>+U6^;pV~ff?s0&9dWPuQl4_s*(Fkx)qm~?9G zZ}Kb{>3y50#4^F4>p-r9@t=jU52S5?N5!x#{_HGIi*$%%VE&2`Vp$4YZs0OrxvAci zd*f#o6E_xYBOQONK*VG8Fqs;H&OXi4wJDM@f1e^XZBQd9BMl{=!EDC;=RDXCzJPm1 zN;rH4ImD8;;`XDicn#mcQLcPLWZVb{x43cNDXe!wZ6<>QH8`U9nh`P*pv(ajEWQuK za~%;{ti*W0HejyC2UzHpbG>x0SC~yCL1}`dTj)a7*zCTTk`pjKUqU^7zU=G7N>ls% z;?VUNgdC0Q&{k|?ru39JE2NmS+nLrfe4fr28Uuy%VF6Br%n#Wan<)sh<5=QO5eU43Ki9`}3h>RD zy@5;UFWT`@;f6JxRdIK|K!v<-7nQd6MR&iC2tk(*RqlJ(pcABiNRlg4yHbvggx$2R z;%ab;1eK)kM6D!`BKkKgM1W35V3Y1X#O7W^+Mfsp@^J!2Oob)mUroFYehlIvK|v8# z3DI3_7Gis*Zo=XUrO%`<@HkN^$YS{vj>-I+!~z0 z2A;WF`s3A0e?Qo3;$fJJ+pIdz(j=di#`{u31RSIY5@F2Ji8?J&iHuHZJ(*>Ej1uN z6WMD8<#YNjJ~sC@f6VoeSP~6G;ZGemDI4`)=-Oh}Tlq(uo*?mmIQZ#HEdQ;G|3BG% z_MIF5-`(DRi2r|$PxPEW?XMpvWgz^|mE{JO5#=}2K^k7>dF(`nV(|u%z2=z2g%sh zC_%h#lZm?`B*6uw0usk0F!gnri-xqE$b@3LTG#Bz1Vu!f3S#KZW=r z#;q>{R{iuNQOlNlupuQX$3sQT@k}NdYPjPKR9q(4#08L=INVT13ajFY`U7WtO*gK* z(nO5nGT(p$!1xm~FOhR-S~gBUQi^-zk35lTFWDPhwK+&aHjqZ94UC4)r^?2^cEbh9 zVyKkGX^U3_v@I>!94*wHa9X-p@XI&JgvLv#mSHxAhVb*ALjXSA*qhhEXD4;?YkqTJ zfhcEN@i;FXG-?BRVox(hj^d^Lbhc7yLR+k5jT9=~;6o>T!S%rTULXi_K$9TQN|6>n zJIl(EcEYUQITqxo4`04H@Q%;2!o4cvor(FzV5dROcpy^)AZ4UMbYq!tEf~p!5@HJ( z6<4{4E0PQ^G>@1SlMKN|MwGZD(szU6;W3$G&d5+N;0_THJ2M3{Oj#6?BzBx2<29%= zNw%#?H@ePO!5)v9f+VA>(=kV|29v9UOdVbmS37VC_m(01_2~4p71@xz9QP{*?xoO3 ztqZ@#NG5$r%PI%rsr1OMKIlqvl2y~u2Ci}^aagM|{>9ZtMco^ykIzX#)gW)+x<->W zo2=83)&4REvt410%vZ11uhdGHkCn!9p4yUXN`uLl?Iu0F%D@ORAgslLzXxkBn>$5Duk?%L#x)|D)~8e$%75I=piq9qdAemT-PFP z9}1OJU@mj=hrxp$c;$Hm(|=u3ODPfslNMe%Mf1~{TW@IFMzGG1)x?yAIn7x7IabrJ zGicLzMe10IM#hZr{2Lgv>oR2X#c?DOHviC+&&fU;Z#Q_F4}J1Uh`}; z2|S#{P@TmW^G8S2%!cs(V6#qYs(?*f-W4oDsAFjILg35_@inAoVLPt3({T*79slVp zV8;W51yYIY1lt48g4L#V7wrfWu9`(Nm_k*1`vW;EPp^paQSHhaKEm~ETTRZ!X7fc+}}sd|CEEp7fS$BH~+J<^VFUHdHVhC z!~Db7tE6dqby*<8}OsZby zZ=cQP=IwGeSFb{MK1s`29)1yCOu8pkxmj!m~xZzzr`Y%u#Y!MUS{JAg3$cU z)BVYWzo{QgCKK=F^e$VJDSyj({qpqS4sfy`T!{DaPr@zVyqGPsk%2!0D~xGaV2M4+ z-hcseF3SZQ&k9z)Po>~SY&grgw&&$SNkRw)u8%|}15OOT*x$L@6km3)3PTo(w-E z*BBygG2XX0GoGSY64UFU-o$eu3BBqYwHHnRG^7Io2uGpKzv5c{^Uf8Ax8R-FoP*4% zow0BDkI-`A_)8~{&n0;tV{c^cge7n+d10jxY*Hb7T%)O z(aaD5#sYk69pZO^=N@gOz&SKt)(f%y%Yr|}`Hpc7Z@PIzTt;mc>5?GB4i9Z4~ZL&Z8=Pz0Mw?EVkpdbta5TtEOA%8Vsue_Mltt?+b2n5|ZNTX%F_ysWsn`j0 z&Q3z?wtt!M=hz)@JG@n~llEOF$~Tncu0~aDr@kefn;?M1LF~piZCYT{E52oiCWL<+uOfr^-yfk z9vt{U(ghcir8pn%RyV@Oxf-+^hF0ZcBG>-MDA$rk z`^L0p=j_*xWm6i-Q$)VcBXabjHgX>&B}1(pJ%`Pl+x{9}OCMBt7D8Bef#OYCqeQcn z&_ZRZv@Y8c|uu zN#oKZo{f6$jov;)z+lpAwme9~SIEet2PqrkFR)}>v*>aNo~Cc_Ee?gB+H`5TZ%*9l z>yXf>OqE~f`gw6tie{Q@!fcvgdLU469KQhnaC*BV;lXASNa`i<7%<~%t|Ifl_-<=d zf-dcXBg$hfH&mK3MOlD;H4j>qQ7vdgtTsyJ#R4v^4h00fSx=H}>AlL{qw|aHw4Aho zZ1Fwn=Q^Miu&_R({i#_}@8;$Tc&;*WqH(#MW(;>~n#60jG59!Cd1@g>4IFWvV=kP< zxWh5w)AQYfA$WWN&coaG+1~c}W{y8hbt9xZBoY)JGK8%F z!Hi$3VLP~sbjTq`EaqmqU^rUTpfSm>XB9BXC!%nrRZUB#g{y2~m_)-xuOhRCfzVMr zGhrNdNnQt_H6xJ|>r_B*Tbm)gMyG9^B?G*N>6pLc51s#kIOx~U|IcsjdilSe>^|iG z`YInM8jfmk69|VNVqCs1D$ZXnX45{bNDXcY>cK7vx+~k{`X|vVl^jcEM#rpCZIifL z`0cp#eJ|lR-on^!P94CG8=v&)azPI_MhuUeik4Iu1St>oAk)QBLWu7wZ`}s^^e;Xa`x_ zCrP2V*n1S8T(y7gN`hfWQM+fz)az1c;Z~fpwrmFtyL__iqnbeu7U|c5Dj#kZ!7!$* z3zW`V%(B2m+o3?-gdRxy<|xO`d143j+CA|IzaEO>Pi)U&!rYx_5K^($s>!XflPniw zTI^N+*$dCI$##ckrVvTUwi#JL=kp*k z{zA^I`{ZH)t6e~FJKh~V==N9}7jPu|uApb>v98PXmcqFi95#@_3}Ko0r=ZJq*3@`x2cQ(PzpjyL{qxAmn`#rUu2jQTe*Bx&|*Wg)CNpLqOGlk2E4|44PemJ znuOK*T^m%m-j`>-;`gyrfjN5`Z_^|ta$q574TFxDgu@`ziZT0~m)kV?F!>~{sR!Zh z7&J8ipEX2U;Fmh06@ z!Y0F1e7=`m>997eA96+G#gBuSSeCd-#j4dYIR3^8z1~m_B)~B}61`#8J=$Y*3_k82 ziGh#BlsyCoojKxP$F<#IXp%hOh|8Ywh-H;dpB@Mq;VFVm)@y4jhmtCMSI%&VxoU4! z?Le$i}(1{nx=QbV@`U}<6fnYEKp5P{;kEm-oN(T5W` zuYPLK#P76gZ&Z3pLNn72VvW(7+hDXt4mEV&HdR3zJB)MNp_lMjaFI$wMRml$22LZ& z;o-VQB8MyfZaSqj(ZRap%B7<{&L;L|w;Ftb>V*6HleI|5!z2`Ik>KZ&&<=zbOaZLJ zT^7GXdo4ell65`rg&c-P{g_Zs78+dzLoML|618le4^^$`gt0WpShzp)B1P>009CwK zcXW}EW860knOoj()i?4$8((hT`ccNpr~x)${mY6)#G9)nQ6}HfOjsM;Y3sR*2ORL6 zRHMRyZC=vrW`18Gje5u% zhM3_IjWZu%JdnB@1SRms$j{oiVYnwLZ1*DJHI4&V7@J8o$BKMG0q2bofT^b}1j3mO z0az0y(H@rsBsh~3=fa8U$On3k3c=F}dAfcbw+)azd;kSF1zl~QfdYthaNQqWS^~(R z8cBT5#EWPq`duu_Ex~maql>6?!6Kq-ujw{AEc$~pxUHxbzi7pY708v%h=3U@KRj}< zlqKM;hQ|nn?2<$Eve&ySDORv`MHH)n-qfn#nu-NAZG#dC&9XQr@-kYMgaYnV#RAME zSV<2R&aJ^JxUuFbrHawpuo{7bwEx?&-mXSz9P72sD-4(~(pI?n+IDF;v#wR^w$xI5 zg}wgH5AVn4)XfMC)P}zvXd7nb_zL=7r|lR@_5Y(Uj&I}t&FmftDIH0o??eLIIRbUJGAx$7<-!&(=%efE zk_%3~l_#&ur7v^GQqA2M(0V;ljlyA3&G5BVq7mHp1b+8T7(U zyWwow&?>ukx=YMDO-{Sm-@1F+p|Li<_ z`Y`|dH9k%9|IFqxMS3&`&>+i`;uCCIN{dA*H!Z>E5>^|TWIRbe>IC1s$ulP{&t>mz z0ZDOG29Cmc5kgdQ;jW#|=dyP+CHa5wxpX0ODd^W{^Z9In=TADH%ib|fK9s`|W=_pH zPE7g?b7nCKkYd)P0P^3o8NTd^3_$X^ua*A?evFa=%jPmJIZoWq7^TzstW5Lar%eXI z?VA$pbXM}8$zm}ZX8I?j9^^j;*#v)%V8LuQxDmHIwbj4m-)F_fg1?wt&+=rF{VJ$0 zMc2m>9pWQ>ctB(#qKSo=m03tBuIN`FXApn_^+TfnV)6;xMUfo{I-5`~AYA>BPW45UvQ~hk6lfkti8F#HABGcA{j$h0Bhz`5iDR0QX$7)9NdOggHV-eCP*n?J z_I!e|q_xdW(yyXmmW^yqK#W{A6B+;udKfI@ma zsBotIkXKwIUz1#@ha>VT-k|xd&f3A<{c>g&j|leSs!$_eGERt^=C}#3+N~q}kv{F% zJ@Z|Yd*htu@VT%P`k+;JY=+))fLn6yNnW$;+09>ZZqN5zxI2UzuksG&@ZfK|&)J)` zE62X#qPS+oSz+oW}|;8qBtTCC^JT6)srrk1;n3{NQXn?BKKc(9_q zi+v=KJtAsO%D`URw!=}u81pOgwiDp3qMagd!FC$vt*%Yh@wT$u+^+AP5|^+;?-YmD z&juZ!T39IgezzIm{GICk)Xxk1=L)@Fcq3xGsfn3+UP)}yp5AHzqcwy!4S+zWFf)kC zpOp{}?RK&G&fjrouY}N$z3b>77yL&Zep+ThJR0u;^Kb2}fTGFuOaK%)&;(jFR%B6{ z{H@{Li4qZ&7mXUvRe{0mYvDWmVzEjaG@%;8_jxm(i$)Bee-@{dpB0!Sd=aC0&YoBC z6yZlsS{iQZyMfq*M-#POMSNCp4Fq_hIbFqC2AveIm$*RRWCg<*m#W`HYqxj0I8?Cy zyb<3qo-J{&%yX^e<1j5&5WE#ewLOEjw(lLG1Z|B*rCOAHB*qp^}^{A@5Kt#TFwe|lA6w< z!eQPCILzwGkV}U6oaOEDQAr=KSYh ztH&&Vtr3AEfz7|x$lx9OYlAV&Uso2%+K>*Net}szRD!W(W>0L`kK!z`JKq)#KihFr zJLb&A7}0*6cW8}}bMq7%!4UJ?%EQ%G2_;7%F=0|K3||jPqadjlcE5i}ylbmM;$}~^ zbi`yxwQxG?1OcncnW}*E((@AVbkbB?rR1I#2i3DUwiQ`a$+M@?bZGJ9Yi+H6 zqJ}`2I%HpH0}F~K8uYY+b+yt!=cqbXeZGSE2>V(dY%6lKqekM5IjW9OU)&o<@$r_& zkz?+R7l^j&!v1M2o48uVY+4hQMz_OwBNz5hf&_^WuN17WRd5}G4&+@@w<;zuJSdw5 zr}^W=&%<9;Fs>e%mcXG?hu@pTrDOZhwX^5LXWD7>&I)=M2+s0*+Fn#aR27=la5RZz z#z0sjFbn*}Sc=AFdHvO4*%f$+jxZHy_2O)#@qS#AimicBtc%A=6+Z8*VjZKB^fWWT zzPM2ZLY(jC4VbP8#;(P1ow%bA#fP_=%ZJJ2DQndB))_@Sh0&gCcz<1t-{qWj`;bosR zB-Dgi>EqELtJe9tf-Y!LE6^XWp;?m;Mptc#KVPAN*9TVbt!>xYz&IimA=Mf$FBVZX zo#4ABo#5)>RHJ43`zpay?If<>Fv4L!?Y7=ShqFc))$^_+K~zQNXU9+j-u5aH)Xzb( zQTSBGL|HIyN_GX=qL3^5<4bqjfwj9{5KN39gZRU4fZD~o@zuL-tjp{^SSOIk->!el z>%gnyTb_1%kVX#slBn5G)-G06c&1IluohmF~zgx=;T}g?@;GM^(_7AFR+nC+ZXI$KC~$ zFEB&6=K9QPZP5#k$0`NpB0N1!&rybe_E(|3qNa&r?c?0axsI1)LHb|*k*>E zs;C-jn5`uO-uvF7(S}F{qHHDxtNj3bQLX%031)4e?ZRG0YXHQ)U;JniYSYrIa0}F; z0#Zc`L)#PZYN-xpt&e#?aTWH`>209EtGm4d5b5`-AN3ksk9owTnHe`2a0JFoG{-=qaxS{$EQ-O2!8AB)GE!8k zV3?E7%J>lHmq`wra1(h7Dsd!nA8;&)pU=FL%G`Z*Vs|guSmcam)E4A*#xlnosoO9HMt>@K|^WO#HZz0^zwf ze!ndAarYrm(69_E=h_tC#M-IDG*?S~A9t8>?TvM^;3|#N2ap^OKu-Fr7ez$z0YWo{ z9vBjZhg%^FP0TOzqfln|dc{Wa$)qA0C6Bn4TlCct*RXZpHrz6CL9@O6X2m5Oqpor- ztE6Iw-8N(s6KbO)Rwnzf$h|F+{5gBgb#8@q41DcD^WiAVYcIie4BVh4uLaIJq&^^r zYGl(|WP|V_up!9T4O@|95*4Pt&UFrCGmnAo2eKML4OV+SsB3|CLtPZ^uzIf-<YH@4maaD}V1FZqtP+m2xD)1EpR-mS1G8#~&tTls*@OUDGUjsnuP3Jqqa>ou! zeTMl|;i?!!WaKXzp^j4#6G}ELH#MP=T^3RGiiZg8=&JbYjzgjy8LR5_0?XD#vYP4+ zFTHEl-_42@<)yL}*P9BRpr*RR)A@GR>F*BiT=yoH8CsnP6-l)k_cL9zqdj01l)3{9 z%cT3Reex<&Ka5A4h$?L6TB~ z*o}G=t8Kh%;w6yEq_1Nk>I}No=N;k^R@4rx(dBtycsf|&83b{1or4OT-YL6UuaXr@ zqa|)t%{|f)3JBjhGiDml71v1nr%ObPM_fbePNLJ3K!?Gz8&>O0RS(I$ZggBE(^QK3 z5WeexL4tYFDr3lI=X`8QE*6i6MmLTgJKIH@B+^+UgF;|mWK~?=U+o*)gBJ!euuH%I z*I?p;;252`2m$wbQx?G`l_s-OFy~P~^*=^tfvV#6HiX>bG*CrcCHA};!CA4YBAOL+ zwUg>GJ@nTrRjh1`uUCpMId1}BKm|2m%{343U;8mHqto1A*=4v#_oziZq8qM6!s)P+jks3Nuj=RJ)rsb(jM9=Cp zDW0@N`Fe3HVMQt%^!eKDZd}(2U6honos@hf3-SEE%)_XmR4s?$KFvd{A0!qmeyi3J z%enk!4amZ|J`|^(XofY;->lYz#8j9Ewu;9g+VYvEXzTD`aKTw9mhWqf5b5+`WSD4$xe*8;#f74&68Q7RO~v~B{uI~i0sGOPcIystxoLwQsb=iK!L_YRxVa~ab())(J>K|IDzL^b^ z347&b+HaU{|4?0#dDi7rKOCI~sn(PDAr7%4I7pCffNIc#sU@*yeA1|7xpJ~Lwt*}6%9b0CUz7AL8zfz-#daRX$D5|I#Na#g6~V^5NuWVIOEU zI1ndc>B$M_EUeiwEhfpFoWFJ1d%HBJXUY2=28-s{%_4>1H~Z5s!>mmIvv={gKiS1$ z6|k0{6nF5^6ema!{RRF>)<059FbDUs4n;`lFs&jTb6+u&=VdKEO{ZyD@NZ?2hLm_;%BimeAbJuxQKf~Cr_|`E;}x5x zoPQlOt~^F*aM0`&CH}AH81c#+*9c}p$r{ARKLoZ0hR?ZD`U;0#Ekle<)3g+vZ~-JG zcz)l=ncPJCP@zL9qK9HFKaX=}v#yTFzN$X6!h=El;#f#H=C)Ml5vkI{u_#ybRpjaL zqx@UFeQB$ug~h9}=0`Pw=wG@7J~z}EH_|%$=;OVDk9ucMz(cC)8`sgo;h~sHI4Q1AERUw)``;l{vcdz~a`K z8LZm%?QOX2D&>hJBX#BoePd2otzmLIz@=-6T_m* zjD|aqtI&~v^FXoH5_DSdMafeLYT_L1M5;`eHdB|k65`w^X(CDDlJ!(X`a(-P^@Uuf z;GTM2mj>;8wbOheT1(xqK(avR5F5LlhA1u##Z6KKItSO(Psqk6vunpYC00<-1nmcSgf~jRqJQ;jx!yqY-rR=~<3ywPQyi zkDjbaV5)arG2FjG8hyijjptg2MH|7WIoWYF6wFxy7cmqfZ5Jms>?2rx57beM2omS( zB2jY?W)O*%rTgo-`0~z$x^r%vf1>D~^Dp++uHpPwy|P_3U{Kzc#5=zmS<7Ik zMi3fB#~X-g3$gcVP7Rg^n97+U*SK6%%hXTt$AX4L{JdCA%2jMsK@&=sK-}G6eAWbB zf9na+|6w0%{(mj7q|JV2g=7u5RS$K+MnbLJX(K+HmJv>dP zgS1$@&*pj<%&b|q(*wF~wIde1wU4~DZ{SmOpR-H;;9jzKcvZ7WSQ(!nA(T?GBTpJC z{mM);DqgV(@15>XCP29`zGvMdIn+}#U^2198LVKm=D^%3F=T7+Y_GR>x|dwFPsKXO zGvp26k!2u@r`AH%5LE|vUxX+`yP772c~eNeZlFrJ8fas1>P}ZJ_hk2nvwWmVH4v&U zwa{4t1cDqc37(8W9d?h%Dn?uN5JE)f2(KPS`dT@dg(rO{Fud>AlD9>ywb`hNR!p?1W#0?u2NwoJPI}s3Eyc~Y*GdV zfBZvR%Gy8}R(~fwgl@z=cDh!Ih*OdiNj-=>1Vdg?V1p2(j(#f~EW^+Qkr=;5qg~-^CKHoUMtqJ9%^yb+(}jGT+r^Ad9`;jXcq;)SBifCIl-U}w=TuBB5V19z~a2|$-GLxamwX&#T0%s7%G#beva}+v!0lS6Th{p zGomuc)QqF*0&6P%BNvtb7V)3$r%(O;AG_Z@#DBiV$BF+eO1U+_zdo5=XT#8qJSjt$ zlOikMdpCM=mxOoYuIzIq_b!{w3V|E2VJUPSB3PlvBiF|_;d+st-&#Ol_@mmtg#Sx4 z|C;u{`}Em&&)oLEyZ!w``~MoBX!F!Dx5F%thkEfcq=_i4fEtNO^4GiUm;`a#$4PmZ zOu55!1y^t#BmBUn|8Mh@1UTD|*h^kzS=WW3l(n&f^^Kz5r>7D*1HgW_> z7>~hW&AZ2tpOz26+KZdvkma?9+QE78K#_PW@37MBy|#8~IMwBLb-5TrtyptGYYtS) zu{n^75@tnk{}BIDq(eapgaT~}l;d;4+8iIaqSmmeI`I~#Ax8%g@6Me<@cp^VjS+(M zqvxEZ+xKZ6WJx}=U>mbMdipJ+rY>FN6n86!jE#${0}ysOy&_LcLEOjC$bLKA79uQHoFODRy8$1TiOR#^iA_FGe)zrs?zR1sOU}8! zjjNX=K5dvqF9@2)0H6&`SLrt^((8n}V&2wpK4c+vd5jVo+``Z5S)x*;S2%)d#;u=&@htM`-FL8MK2G-ot z_Kl8Hy}n*WMsk&)wE8gPm5;qQ0sb*(Z9}yQ`Zh@8G`oHu5=R~p$M3_c$NM-(CgB3Q z&!gCQzywQ(Nt6m>S|K(Es;PhoQR6t}fD^n=<_0Zqfw~dt9h`-dp$`gAjAqk>_kr9o z9}1^KqHO&`FuNO%#{EgQAWMe?e1!X+jQaAY;5$rl_O7V!93YXRj{-lq z<=h+dR*7dh&)MY%{$2EvQ}#i$W6_kSs3WyBbF?-L%~L}&G2D{y+`XBTn@Y0%@_mt} z#;9{G1dmEgs7EzMO0>5(-COSEd$%A~E(UbbSo@ZNjB~M@A4E%A1~e%Uw5B(zFjBjg zSlTpJP~Gc;J|roK5HZCmra06=q^CiMb01sT?ixTDSFF{lsjR~`f6>yEC9N;;_Ucx) zYE%Fz_6>u!C~8B9sZvg8p7)l`D736|6TX*%%&WF;LR=!;E-yu2YV1v|Sy4k4XE+mm zj@d(-SBG63)sPh`JqQ_IPZREn7~=~(N6G*WvWV3(P`x@NCTpH##VW;0DE1A}En{{#9D)p1G}9RD&vYnafS>>!scE58=_MqVH= z3yvyAXH5V(T;SMnZm5@p*!kTv0t5TaC1>1!(V$k6JHl0q>QI?dDZ3Zrj#5<6m zrbx$pbe<1WXIh01(fT^#0n_nbgy3l84x!roC2%On;08MtoDuR<4d$@)BGWZ&4s?hj zT)2!`sBZ&lz|^Bq7r$r^L)RG5if}-}$R65QI7iOlQA)RgU5UiD1;uv9nsKWwWe_VR zI3vnSfrJ@>NXT|a8%I;PEZW_R;7W*lWfdCm=0FSyKq&bt!0*MjX3*U0A}W)3QJKJ0 zIe+hV9JmOG^x>@r%c~sT^KrfrV_o@~od2mBg9Q{8z3XX5Z5!iH92>l*>nrLW>p`MW zmnWeC)4*zyKK4t~PADk|c!C@ZHnplxWc3d88`juIN{IhwQyJLEE|Yo*|CETy ztmx05l3vV&Ov+Muta)H6|B1EPUGkJ{Slmp5U|JxC76U~NysV@&+3+ab6%+=r4^rZ_ z=wn@?${=YpX#*+*TtW)IL2qCkHu$8tX!ObsQyDS1w~`GJ<@7}>&3sK;Q%x<{uvD{A zEy`~_Zl%zA0~7B=0>;LT1N~gA4-x}rK@5qZo9~}v1hv5<3LR{XTmX@md1v7^#%kqq z`h}n#RU68&h^aPr5(tLMHwcL`%z2b?&9^0Gql74Bj}Pg65od`RFAAMIb%(hjAH_dB zHQ`=pZjJVcCW%1`8Hc?&0(Y>zL|=yZupE%3r$N0nbjb2u!U`|}N3$SnTD;yiU{nC8 zz%^gHKxx?J2gx?9om$E^vW?-iNYe~roAgCA+eCOYwo`*GhG8V~w>I3kIE#AfQ-~BKN91OFYKqjYw6Fj4{!gX#8yex}@(n7>ylx@RtR*Y6jCqze= zBInvD9$w655R(i>CKX4u^9gvZEN;>|J`aI3C8D*fsuIZB<(lseWyO2nN_A=6B~3S~ z228&_Ph-oFMT}SB7_WfEB7MaQ#;Y*K>-KYv*DBViv89tk3vHBE@I{&mUdOJr%*_=w zTh*c8*B7@jhXM1`$Q)|YLiP*n8&Cpt;v943;Mi9|+Pi!)X>L$)wuLb$omtAL}68vE?W8^uvi}q7jj)|!7bE7)HM}ELw5qkr`9mk zObMKlfvLZmS*`!w8m03zAAONErZwyTcld2*{qOFxr#lbpf4{~@@B5f_nf|V~0W4=` z<-hn2i~YqnvA&;w*K3CPceRXsW)|+t?|8V#OfAn>7tL2#gs;A02`%%rYc7*#Tjp!m zTqfnV%-62DY)EM7Z(V(n(AqLzyXG=wtVOeMj9`O(VQTG4mZsfQwfpot*Zx1**?qA8 zU*q#fhN~oIW426-JQ>20;B>*t86FeCzngYXjD)r)#PkqTrmY?^kj9#7vuo_LG3CbU zw{&;(U}V1BhqiwZ{g<_FfNZ{#EKgaNzeDR}kH`2r zdptA6w1BY+%M!(x-@4#FNHPG&WkeQ0vg)@g0Digu^P7{WZ;oC(|My`soy?!I$G7j( zBK`N)%eQ~&oxXhj_=tVe=HJiWo^-zbz&)pQ!mMkPY`}hLG4EoL6rb#i^Q6E)x_z-o z%TIH->=iOEX0!3azP9+3m&u)dtxULK9WML=%GrF9E;Yf5)lTdG9=_TCsrUSw_FK5f zFZDX&HO_IT_4efKIj}Dtdi;^!;+NzT_%Pgk`5b@0I6Cfdi4R*p?el_;_n%*LEzI%+ z9(i~0;yJ%}n+_1?m(OQ_@sK?p;%{E4yfmAa>LM@WU*&V^A#;g82j#vxII$`prE`4! z?O!h5?*8@XH&AJRIorLPPAW7lsxolr4GJ)`^sGwFDzvQC(kO#AZM7td;ztvc5m#=D zX0ptg_rB0J|G;JO2gco=>$I$FB#l}N;ppP<=*>azxgIfq>X|`<{DtEN`CSej;FlRa zz%Mm`fbV7up?={oLj8d8gT6t3;CMp+P^Fns#l>4e?l)~gcXw;~d}}%Dv@VW9H?mIa zr@-~=PV4pA&u;>E-j~w}e`fnH+psZ3c?4BrnYX_7PXH{+uVctFf- zFf{vHz4ODvqrdVt2zml>RNk;bzStVsR+)md)jx2Jzq5pxr-bIEMCH}Ni}RlxgdT}! zGxF@?tnTq^d|Gys{OUjBRZc*cD(N@>EOZoaVzaSS7>Os(TnipzMO;hXDhmNj@qwTB z|Mj4QQ2zmZfIqZa9P-ee$NW0Ki)SB=QYNRAS}pM}f1{Y{i@zsrEh9bzd&K4PXp2(< ze=_z%;05xuZlOp#y!(TGL$p(%2las0Km9Pu3f|ylO9%M~x9;1UMOr)_&hoOz2Cd%@ z=is3}0`;hVvZcJ&F8Z;&hNbdt(Wg~kwg$-u$$@lEDt+Nr3pH3EhLjAaGyI$3-#h+y zCg^(v`um70@T31$PYVOejN!A4uV-#mtFdas8h+b>#%~=NdH6hh9zGABhtI?3;q&l$ m_&j_bJ`bOV&%@{8^YD52JbWHL51+s9&;J8rP<=iC-~j-1N@pPe literal 0 HcmV?d00001 -- 2.39.2