From 347c7d213fd1d106f22acd6fff82a83af14c1bbd Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 27 Jul 2009 10:18:47 +0000 Subject: [PATCH] topology/igt.ma (???) |-> sets/setoids.ma --- helm/software/matita/nlibrary/depends | 2 +- helm/software/matita/nlibrary/depends.dot | 6 +++--- helm/software/matita/nlibrary/depends.png | Bin 44706 -> 44675 bytes .../{topology/igt.ma => sets/setoids.ma} | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) rename helm/software/matita/nlibrary/{topology/igt.ma => sets/setoids.ma} (99%) diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index 379c57656..9147636b0 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -1,5 +1,5 @@ sets/sets.ma logic/equality.ma -topology/igt.ma logic/connectives.ma properties/relations.ma +sets/setoids.ma logic/connectives.ma properties/relations.ma logic/equality.ma logic/connectives.ma logic/connectives.ma logic/pts.ma algebra/magmas.ma sets/sets.ma diff --git a/helm/software/matita/nlibrary/depends.dot b/helm/software/matita/nlibrary/depends.dot index 9069f0cd9..53ce1f34c 100644 --- a/helm/software/matita/nlibrary/depends.dot +++ b/helm/software/matita/nlibrary/depends.dot @@ -1,9 +1,9 @@ digraph g { "sets/sets.ma" []; "sets/sets.ma" -> "logic/equality.ma" []; - "topology/igt.ma" []; - "topology/igt.ma" -> "logic/connectives.ma" []; - "topology/igt.ma" -> "properties/relations.ma" []; + "sets/setoids.ma" []; + "sets/setoids.ma" -> "logic/connectives.ma" []; + "sets/setoids.ma" -> "properties/relations.ma" []; "logic/equality.ma" []; "logic/equality.ma" -> "logic/connectives.ma" []; "logic/connectives.ma" []; diff --git a/helm/software/matita/nlibrary/depends.png b/helm/software/matita/nlibrary/depends.png index c00871d4a589e1cced08f82fdd0458506696e528..c648df50ef7163007c53b83d624c77d22144a815 100644 GIT binary patch literal 44675 zcmdqJcR1H?{5Jd{E15;MjE06$NeU4{Qlyfsh(t28B2jjdq(X%xA-h7^qfjb4d#7QG zkc{WN>ifH&=eUpKK91+_yKl!)-+adPzQ*fyzRvS}UBNm>)R`H187UMB^Fa+&T?&Od zltQ5@V4%alJhjX;#UFHM4ymhBmdSsQijpEI6d}q%)&0laAC7cgGUAx+qMu;Rs$nkZ zOrpN-vwN*%soZsa8|l!=8}(nMPDaRB-_CuvCL&k+flTK5kM$3~S~WhrUlH}BI)1yF zaIDYjFB)v&e>%_Zacw*6UAyj*>wCsmkE$ImcW1T~nx6BPn~FIV^?StrX3iRA1~zv5 zGQL*SNlX4#UsqM9p^9HJ+of0I|HBV6zFzexKK}Jzsc5abAI=n?&!6?2ot-so zo%af8Z9JCQSU3F3%HF=@%Vi@Yqu!B`&fzIWe`-NN!3Oh9n>M}5&!?uy%gaB~5$o;k zrD$u{?i1(2M>8`8RGK|{@nQ{cXyth;YwN2fnSpw#2RuFHracty-@pH)_i6L__?F@N z_V(*vzgm9(|HGcuh=9bW)D%q&7P^INZ8e9~2Z6 zz#(U%px};&I&Wih^yJCF`FRg%Y3WDB#e#zQN7S&E4I-w5{#bP}#B6=ByVle05X&3JT;XrT9wC#MLu1Gx$nM{w$-x z*Tx6M)0Fc$22mfsn#ASNn1*B&Mc!-S4OQDr$$R;-)JnSif{aRPGxc0{OOvUTQc~l= zzI-eKo*I)~XCr%W zcUnKTFLZEsa{d_ zz4+n404&Y%6DJNTJf=K4zJ;BQ&1buLrI3^qTYP*x10$m{8G*0wcGnSoKY#zp71ZqP z@9dfa)O^c)roPoCU>{Y*KYONmez?D1QgUsa^edM`FHKw z)esm?2AiMHi^1yF<_u;PV&%!Bv9n*zHm?$qm+w4pn!H}*ahcR(74viFHfbI@boBUf zzZd6fA15a>`1|{dNl2)jJ-cCBNQQ1onrk_>eZ#nU)y=ySSwg&8*i~X%w?^!%ekkYm zX~;J;v8v(ICzi6ZvM4Dt>c;eLzQBmBg>guA~w%y>GW@E4S;bxDoHl6=+UEkWpz${^z{x6O-&Y@A|W9mNA>lC9zPbj6B)T; zZgN5MP}Gg<*Oj%jn4W4yU)y}_X=#1^(XShXL>~89wE9=xzt8({pBHaiTbr!cytLEB zi$`^IC=u^yaDY;hHsBl9Y&vpBStQdcv0gQ)F+Mq2W9V$2-@Ed1<(GMRD)Bl(8#mHr zXJ<$4b=hM1A?oUn#-xg#p3`Fu!9i9*ybbaA5&NlAr>ft-FP|K!a-5&GK7R7#3W|t` zh?L9F@zj{^SB?Yj8@AMMU=Y^P)x9<{a^c~gi*$ST?5Y0v@$K)aZ&Z}4SFZ+zh8{37 z;_n|AU|+Y6)!yDdI(4JS<9O3*KeZQaHx?EyTbw=H*I{3BKu>Qi=E&6EJ`B$(Bq6~< zMkZs+`&2uQCC5PA?VYM3A$xgF>ZO4=LQGRd_^n$$doF&RsM`_Fgz#}wP~rNA z4_YZzr&F7i)AdBRZ)dNGl&pGwwuWuZ8d0|tRaI#Qx?R%erFlnsO4j|E8CCJ{*!w9? zF|4#yY1`>ye(cdIJhYT`!}`{a4pzN`s!i(m5~!l1qh+1GFf=qY=olM^PE0tg->^Y= z^X8R@A|(d>&#J15Hl1J%<>cg?o2X!&oUB?m@V!1kXUkm;4GkqHrychsPv1;Amh@AH zt6plopVE;dEIW4W$g=O*$G`6~x8(~S?Ac1@-JL!z!=Hs^W%b8)V7+{d?$))owgzeM z`%N=m{6~UCU@r|KO{YTzvwqHb&b8tOZ|s$Yd9Sv&w>wPq?!P?Kc5d!_LfE5vt1O2; zUyt0 zUPNRlp@tPYyHtGlWQGiW z{VF0Ov)0VaOiWx{VET7s^+_CaE)#bu`@%`O!otFdIu+Kwv4Zgc<@j3#(jp?y`<~xq zKWkwjgmMO}dgAzT4ioo2T7&@> zKA8)pn6UWZO6P$P`vfr)bkH8JJ1o9zACFd`@=Oc>l?sQmzh4kY(eVKiC zmvduthHW)Bb6}D`+r;dwx|f&2^^g#}e^2sMQvGP$^1`OE*WU!U8N6gDa2@UcU8kz5 zq7&!A>(BOTvXaknsA;o>rRB|_QunzDvkPs{X%T?2=O!j6_v`Ae##Wu5o?mxmj;h7P zQ@pdQD_%Fnp+-Cp>8$M2r;MsUM~bID$?3neVsARX>*2$PY#4T+pa+9NdT!N^VduS_ zm#01=V@^y=l)AJSw~WfG)D#*R7&uf3xRq8_RSk7!Ep0Qua%JDp@Gv_+{{>EN@u|A= zIjy<2e8;zNB9TpgiO{B|3=IusU0L*aRZviY{1_(xQzNgmBW~~f3lsVmG7<0mlH#uL z?mYL&FEEh)j^+mBjcnIZ0}Bg_={dpoCx#tf+IGm0Gg1|{uIljauJtv0id0oCe82mi zJnePD-NWNLPR>l??<~rrDm>JYk+v5}Rk>?jTwFxN#F9H~PNo|)r>D1FSo=W6cF5&Q z#3t>vc)X6njG~!#J6jbMl>;g&z8`ZVU)+!^o_kCYlCkS-9eD0$EK`$Z(;~sn#nocF zur;&L>C|w(;;>7WO~LQ44?Jx0;*!XAHZ=YhQeHd6-xjbh^*a1v{_<|7ngWkMRrBYg$$txL^$wUM{)VMU$ zVShkX)sG@1=z?Zvs%dIF25GJTC7AWu<*V%_^!9yK-=-zz6a=4EbSs`h}c?(M9zQZ@o(OG~pQ zA;`Oo3H4%bn^jet{6E&Yf2n4tQbJ~9Ra5ZYC@QLwW{{&vLr2HxuWZ(QaRBL~d8WT~ zwSa&)CFtc#=~UO0l$5UaPtiNoDdbs4^;9lhdQB19s1;RbYl5HY*&fr?rJ-zh?0;it zyF3-QY&5xp4j)GmQB*9cI;-e1bVoWPH+SatKv!3nWa`bOw3f1rkE`1wA|l>qdN0~c z&JSmX^!N7*ws>mOz4+Xhk(Q=KVMFM4id0rrHEv}Jjk_|RLJ``#cQ0K+?Ec9z`gII) zas~U=*%i7!#D`FX5KPnBb8>TCZH9-2won-8>FN7=dxb_uNBxV6ikcVhYM#xz^h;(m zqp!3fHz()U^?TWm9w|}SmX?;fo|;?R?1-M(|%_|quZs~b3EdC?WeL# z_h(K4RDW-ot4SGfVpg*aSu3t=ZM~UAP(El=+~w87pVNIc6U&Re{$zRmnGwbji;Rn7 zr9{bJdj8=q8+-WO;`KFeL%2fH4f9O=KWt%5)ZI)8LcmX*w6?bP8nS-LuXb2lJMZ^= z^v-jPl>QIVJH4KL{5ikGA6wjT_N7tsRQW2&X@lCqo8#L5ww9qbas;;A(2&PFSC#nB zeHM*R51*Orf9n*vUsaXsM`P?pIXOe*qw9!?ljmD@iXjNlQn1rl>g(#rg1kX0O3&yV z9qM;1`TfzJW@6xV5aIzBGD!d2#Wrc4^^v zf6ww#-YbW`YpA>)XJ;Q>SRD7}qWFb`9Ll?7Y4&OI! z?K;-E85`#9>7}1sW-<>lEf1gUx+x&%A;0NDMF6uG<0gV`{Y8xf;}%EGQTynKap+~1 ze2evzxFliFVr?im>uhtc+wS$n4K;H}#H%Rf9UTQ#v%fSej(C4|@opJ5{p^}DYX{`A zLa$M&X)k~DN6X11#l?ewD^sp=ND;?NW~7lC1CR^OyuHr(`1$jn=bN3IqqR0p&JBcx z0ItR#-|`kv?+u3KS7!SCVwm31qv86moe~{fTsTp}^>dZX`OozQuEWB8`_^I`%frKS zX0$y=Wc_+ovAddmfbJW$W4Ddv4@;zOO%BIYmf&x5I57B4{STR zReHuvfo0R(yLZq0{yC_ea{PK;x5uF|Cma~A#qLIZmb=f6Z<%a5rtMO&yVuHc4@Z$z zy~yiBKVCer%RfkAtCgR+(U~}XUN+<8^N*%dK}oS5n#e&Rh?yY>&+m*;UmGjO6{}^X z0y_#xO0v#&USt*Ynm!67KhS*gv_SYtN0ayWciG&Ej$Y|oMoHHTaqIEon(gscr1T=p zM83{19wirzHc;5OxB>xSaUxip4v4O38LmEY z>=?;+oSB6`8F~5m9Ea2M{(=i-6_r7W(4e6CM?DIm#-Thr=_HG$SL3)%gq&WWu2q=j zFE1~jKp5pOa2r?i^!%gLyywg1--D6*xfghlr1=E|wqIFrm!IqPm38Q)_SlD-+!c0)|8RcK2fz0}*sPH>_r_ zKg(TL*LuR-Ty)?3chSP-r9ZOH-`NU_iU|Hh@C4W{tF0YB|KVPc1;O8oe`ZBDY@j9R z{n)WJYq#n9-~-79otT-qSD=asS3W5&?Rw(q(W{8F9Gf?9CZA_uXvogTx0SZq&yPmX zV?D1L@_+-N)03nmQPdSEbFd359v=v~g>S{92w}JXh2j)uO{gd?0!s#KBF)>LpN-mWFQ~Y{&K_#& zE66LUhoMhTI}<>Iq*Ps78^}hzef##HurT#AXGBOrB_P1;`DbgsU0~3B=>?gDtSmN^ zYozeNN9&*z^z`)9dML}ja^*_>EK{nC*I#*&Zr>YAfYDjqrZVsrMN#qMj3K{*$MKCZTVW8df~_N}GqP*ci(W#z`h z_uq7TiHO{0`d!!h;Q8|%U%r0Tlq(^nC=fboC2%>289~9p`<hS;L;(vR>o&%Z5g;OOx9gOBQ(39GF8Ar-2LZ@1?~V6j;v6ev zq-UNK6&bgmTFc3KP_7o$wDj)XD<~)}q|C}`K*$Nn%NKTl$l5lg%l7L?W(#34IvmD2 z_i%7=C8VURq&(71VdLcVPfixY@*JI4K&37rA+bY}7M~AhK-xqT{14-*RfG)a??00& zUYSV$0FFB*-v$PJF=qy}6&VU&3dQ_`g6P($n6CphNL~m=r@hQ=l=&H`u1lBpIPZ;V z9>z99_MrFn_69ws30CYMQT4ybKY3@_H#wj!66%#wn;&Bu!7=FyrKP9e6>Mo~NqG8{ z4nW?@);8yU0LlYIJ9Z8Zi(h@Bva;OZX&6?n+;3_sr05K0=2m%~tPhU&(Nm|aIr;Mg zg7fqDZq_0!*{U^^-tXTTKsWeThXiKyHB?lr0A@!i8jzHzD}8ZsF$lPT2M-=F*<1|@`u<)@`hB%it8PNQM#Wp<#5_vl=g$H6?%g|dqz9!6 zW7MZlpC*3(q^A7XP60XE+Sax|<+$c-p|hJ?AgIftA_dSJ&C)AOM1 zbty+LR(I~@;jp5zz^O1uUt1bhR5m&~%BHN8Q2(f?NWh~=5TngqdIPWw__c-B z3C}4hnQ6Cwu|EzZEXF$`0OscC)p*CK#vjgv+x+4Dj|^77cyTA@6VIOLW4%(x$3^yq zk!{DWIsl~vu*MrBQaXg)4w(*zZus)+NfKN83GJ&*m{~B-EG#S&)6+Dj0$SqxTR{kC zWMnkRo;!E$)vH%ZiMnNNZ9H~%c6fy!C}Off`ueEw(^xJL-%aXFq0Y@0x(j(I6Da53 z8?D4aH{N`uYX$yfZ+r8gCEge$jLqayl$=Z_;|*p#b{X_&p&c}=qubTKzKr!fG2 zi;)tw^W078jQDsex9&@uK4%!qecy$kSU+fP^@Pe1OxlNsdtPYUYCn{{ifK}%*=1!dh6lM2yW^Q4p~}v$tT}6 z#V02tXszG4vAlb!#M=P;Jt#p7)AfjRm0(;-ZQGu|9V%1<%MI$|K;?Ce^}FWegf#Q3 z%1SlRF{Ktes3;tawCB&C?;RZ#zX*~})%kTR9`sX32OkKnK;?KJ<@nN{gEc&Vhr1_0 zEq@ERA|~*yU?x63*j;1Hg25OI`*+gT)g>Vgba%7F9HGY#!NI3aay42>lh7#W=IYv? z5Vr4{LHgL|&u`z-;$%}O;OYRC0XhvsH-TXNJ^8Tm=p#@-Cr+Fo+`Ed(3aBYy>pT|P znwtD_b7ib@3{bQn^VAp=AU1&x0Y)=2Htri7#Ico3ZXU8LNo_ulSSlhUMA^T8KfwCk z99I#M$KihQj@&z=wa65nI>iGb{69{gq z=wEblx(4Ba1j4^zk{RG zAx0uj)YsRWahez!8WzxYX2j3-n`lFi@$>U5?de(fFWaapDN!nK3WQ{3NkJ75Uca7( zkyfq~yX1nI6@NcaEy;`^bNV}9UzGJ;k|)owv~UTzPb2UuYToUZAGoooL}tK~gDe|g zdmjjzZZs>i-in4IcK7}M=s3h|l2%hOqLBCRHJd(v)*Qg{J3!z-nxZJ0v>_YbAVUZY z6qT3f$KpoGI*Nep#~kkx%UOeC;=&ZFqKZlU^l*>wwQJPa_?r8(Gcs5ZT`lo?a59k| z;M>cen7jaE935%uo|2JK32ywTo?ZaRV?+N*aE&i>bEzprmZ9(fo&>Mibmsk?&D?UX zX&(+Lfq{O-%}XEs&O&+rekvy?rzgU4a(tnop%fqFR}nx5OlOp|_3i0DQQOTeGA=uB z-nvx<1sX^9Dj*1OpFl+v#cn;T${RdDO?LzE`7?7x9oXQaR4M}}^dO(5rETNi>&!sV zqstHnL_KVz?LdJ9|MZz-Fo3!d1s3^!kQ0IW4w@|!OjlDA(cReEs*h85rn~SG5MW?j zTwLb{GBFGRl~j6=kXF#M^j3$95>N_26R#sCWnRfd-thH9^xQk`E7t&mW;8?Dj6K7& zW95VGi+|I-e*GGIhfFmv?sofb`E4eJ+=%>6k%w?5PjT~R>VP#S6a^{;5YUf--2N8^ zt-40LO3LQ*wi%(DJCOfmT}QZ4?DIin5Z<|S4X9%R1qsJ4ZWwSNWbI@wncxdj(k21G zFqfz6)#qxxmwZ(MS<0-W&&-Up>1Uszy(eLO9rV`=uJANxoLxY64Q=fzkRlEvt=n;G zx9Mk5ww}y*^Q+}_*sWV^uWJx>hB$$Cnwy$>2f`F91J_*%st9DQfbePaIqmP)Z#z{! zuJ`nc^@R&S!gMHzvd`5DT1oSMc(9vwxFxfyJ;$bRd|c8k7|W!`%_~WUQyZ($`ugG~ z7JgX@D=TZ-sTXwQmAhJuc3RD@dlLT9N?JrgK>!@CFzCdc0G++}Z8FMi^ST0>Q%_Ef z-$0P138)kVt=N~-Vp3s~Srh=ki1M2kv0MctFnHZB5@Bjm5Z^%e^qpRw=OW}hcJ76q zVu8FaS3ZD8ydo$_ZF@ka1lVUn5tz@8b)k}~Owa4SE;sgS1$bqrNVNormpmq3zfKe` z%@13hKVKfe%$Eh429NvRm=`sU@{ALg6bFuMFG$I%CkG>LMMU_bY+rTu?Af`V<;Bx< zYPUaPt|z}KF7x2u+^0V7c3hZqBo&QYrz8EAty>5G4kh}i0I%HMy%Uf#2)omoXTJ`l zN-#0$7< zIB%1&=NN?_---C63|BqJUekl}r3iX2I9^`-)xxcKrLglXvn(PmKE!y^xp-;bhEiJY zzbez+pok~gKs^C;#Xw!WiaU0(7|ZyQ&Z$hIHlR4<)8g}amw18Vy#&9HL|i?)q4 zZ|9|NF>@U~OEO=m6W&>rH)<<}f*mYJ_CT!$q^@7!Dh|CXt^NNbIOv^k{H2pQSZCj& zQtB0R`hSTE+h{A}4Q%YUHG*II{~;_)c>Eu9kPDx@v(gQ67`5dmY3xcCT~mK)Aw~$j z5u0c=4-1Ak83aHM^5`q!uqYk^erzxRgdBb#^Q+zR=a+ZNsm+YSejlxWoxP&WFxej> z$w)Z^Af;0Lxm&*-pZl!C#%;8H1BmDRQ18LJCp{ikzV$`U0^dGB)bV=KwYfCjW?WHhk5zj%4+59Kd6)ZE+*P@xKZuy1+cBA5>r_I=pum&H53SMkxeDW1Ud>A4Vh6A((_ zTOhnYg_76lv3D?gseZ_=Nenn)6+XBFhX&EaTY)lq=9}*VC zYpUKVl?L$YMK^&Z0*@p`Jk9oAz9J8vPWH-zEL1169nnv|J&cI~D(g-%pldAirO$Ss zJcF!XUR$e8s6wkJx8mI{>Ts@I3#z&)<(N}sLqcZpye5!|v)n@T!-v~|4*b}Z;gVsb zl$Vw5mz9+zREC+oz2wNq$deh(MBV#O&vp)e%KRUeAB%n{`{nLvtwmmYq95otcQs0J z#O!s^q_BZ(_$xGsR@cdy$dw|pqLTOd`O^tos~)tH4zi~&J!}8FO>u9a%z!f>5-P+jWV+E%`3V|vkcp;_*nG%x*yEB90ySFPQ~{WE8VfasD+!v#=qer(j(43fyc z1ds~9xwSl046j6KSs4|0g#U&Rq$tn4zH!>WM>>5d>qvd> z)5Eemn~z;6#taH7Gawbt{E+_?@-6SulqK13?tT7TM3i;XXz|!wBrrcV?5?h^4v-47 zK?STf=ObfdC1Q^4;aK(}IwhEzenhMP8Nj$TjgRMe5tn_*q70U6P$KaG?W(oCF>c+2 zAs~+n+zY;!snmPLJ7c#lS_&BG4c%A%*c!cZpxPL*5=JAyR+1pWwLP&m_+;Mk;+%G# zNm22K%)Hpjc>UpKi)8WF$afppy&HPbsfi@5A-<`t0T)A ztN_6XuA}Y#%M0HW^`Bb=cWxjlQF_ZK>zDZ7l{2FqfrMfOUkE-kvfznuQr;AgwblFD zT6Neris$-Q0nqILX^zi8d>VLKZURpIjCGEU39A$gsr4nL)lfMXIZ+CR8W0hOWhz?1w=HXlxaDbk41M#JWS~ z9aSNLY|$t&!8*)GF+oq#Yw*RTKkq(N?8TM$2G1l9slu+g*d z`xF!ua0o?;8&-NMG;l&TQ!+5P&%uEjFWchX>I~wrAFZxe)q2be|i8dEiHkq@cIx2 zA1f;=CZ<6c{2+dRU_rvpZbDbg!{7Ua4Hi=@-U=I=m@GKcmYvro1)lkpbtRK#4M?d-6jL(QyCCK z(FEhw0ZYq`-P0NEzWsFI+Cx)4l2nnwx-uma2m1>TWxY71CmhyxB_8b+sA zuV242TC9H3_(KO3F34-l&q3jANE6J=%oI|$XvOS3!8pIu@7QvPw7e_?T|Ns^iR9yiD!pWeAWcSx5yQX4 z8szAS6K9*d0cU|D2-E-xv9P#^a7zu_8c0|7OP9)OY7WhNy^66_U`U{Q-#&F_|{pXm4X%!MI3^~1DzR&=hgC#n&dzYJ|shZ9gvikk_-judYwmiAsd2-!ozNJTD&ba0CzV~K)V zxpL(S2!2%^9X3!9Y@j@Rd??U~M5Lwf1V&(U&Eqt141vD+tkUu;8_-JGM7!@WY_9R? z!{cl3^|svI;NY5gd`qIe{82FuIDl>`TeW1JUl|Y6YnO*c!9G`K=fdkYkRGj^K{=*c zVq;N!ppTyXs`;0OYpXG)U|!gnz5Z_}Y5#ZjxoxGeU+00kiP?Jfb$x@8rvt*m!lcK5 zgek9H%j@th#*Ju|z9xjYHr@x8lx>rCEJ=rdnr7YvuR+Wxc>j+kJp)2_CuA$& zx3Sx{*y*rk?)Z;v<8Kye7;8`l2dj3Yj}1aRPN&w!H58?Iok!4qfJt|pR0CNO8KMv> z-3u`|`|@umaFh5AqvpeZ!zJ7A47MLaC4RRSUP2OP147}{tv04GD?l6(7Z(Tc!;zs- zLe)f#*}EX-B-FPK*tie_{TkrVL`PDr6?yIkTMVzf$K{xR)^VS8wO5a)Hd83jO;8o! zke>e8VTnBtO$vvT9w*yWin|UNyvT%=^3R7qKIsA}#`4AMs&DwHM>@_u0Y<^sS?VI#X%H9|j#84|MDk$lMRy<=l67@M}XHpW%~pZh;kdV@JCrvIW_RTVu<=|yzAI}Rp2QdpacM<~V zYGm<6)(;KR12Quu!M*kl4|kY5Y~a;Itbf$rZh*oIk(rvfTLut4H}e}@vB#>SV#u>b zg{5is4u-ic@-EE!;K%<9gybP0O?l;yrBty}P|U$v(qKMn9QWsEjU*M};Angf1vF&T z{%WeQZgbT4;DUhw^Zux1xPaEI1_68hV)y6IpKW7r-n>abfwDzQ&*H*D@Ax<|^kQ$q z|4gF4*A>=awH*ki;Dte##Y5PH`aq_`%d2SmMST4JdF$6=pUR)x{@{It@Lb?84$n1m zUm5(_?MF`SlQqcQb#HX-L{E2Vtp3xB+l6VQc@JmSSpRq}{kJiL)a(~8zIYikG(S(K z^LIvH%MN6c&0@1JyYw)HQ&TS(Z(}X=IvzvUKnV&t?AIc*D6bGxsBbd#x^J~{k%Y4( z!$Z;m50IRerfO@O-kfBOu^>MZ3nf&$q5%GyaU2glD(xfp2Dupn?~3!y#a^3zTVm+y zis{!AKACd79M4TuWd??<_8@>=^O4qUB-}tKG&c@uI-kWneu|L`1RR4?=f9o+U8S^V z&!DsVHg%(x#4p{_m3Tj+{5{*q4NRwQQf|1SB0$T?7NeHt=7S2)!4fshA=}w?h+>3z zCLu8~2GRz=z)%YAnr-dc0MtD=!x{>YR9E-|gF!d#{WD%t1(a#Z$s(?D_;6^`XRxS5 z&_#kq%7Os?L@*s81`iDU7WC~ywH5@;|CEg6WF=c$aWI9%s7Skn=}L{gj`WtwX8n5) z%q%z7DHd0Cvpg<44iNF5o}i}!?+TRdCsUDLmoKyN@?Hn0`!64IKul;buc1$lE#7;F z&IENNc^wOhYiNmhgjNJB13X~VAvLQ>UVv=>u?PD2g-hi5T&(cK}#l z4cLnmIB2QR@8XF0u1P>EG!e0F+f>1e0pB^oCiqanb1hCY<%)dh+tuqUL-_)Ms#4?R z$KB=#QU~jw$4YZA9yKrp2*VEw9gd-S|C?ZN<>3L{M-)ZQSQUbfp(7}9`bQ(N_k*${ z4#Xe)T&GW;wobC=A;YMy)>vu`zY7F%8T=!d8)Zkw?bokgCuR;nK`87i<{aq-VfL_Y zd}=m7{o}vRgECK}+lLW($p^#uPKe-RNk{rXQv$xAIfpol5G;tx{>_^=8vBKXgp|e_ ztZ(JKe5ny5Kq#&MkSwemP})nuPhcidd%e}Z@^cNbvH))Owv?`>1i+Yda3#R}&4&;9 z2?K%0Nls3tP_P?K$$-#su<^*lAfi%6NnMq@$jb()r9rI_NfAC2*^6Jb!o0l+ct!pt z4iR)SyoP*3tc8SVdj8@CF~?vWQ6DX#KxxSR#sd+R2F{(oBFY8ce&i7dR^f4RVc2q- z>-G`;fV>=-3uOT6SR4kr)oa$kDIn(7CS8qM^a9E)=r*@dy@01!3s0grI-mN!e-8p5 zN&GMkNA}{q2pCS0S_wMZ3SE~jT_TDbvLuui-?=$=SdX~iFgqi~9gj91QU^ihAf-#v zk(g`sR&PMH!@|62wA$Rk&Jo zZ?lYOXEH-5b{O%6L7ngsRliA0a>$clt>uY|<2iGIyrcc4wMxI{>BrqDJu&+t_;y&3 zRZz0P@f0nC2)^%#wP>?zaVGdgs5le!DgAptv3Xbz8 zg46*mxRQU56AgJO>SZ8m;u!*}AVk7ey)-2)EjaxeD171Z*$D|Nu=OG3s6&A{@=%rv zR2M^y1UEXj)=$xr;4igcz)bQ z=F_4Zr9Zc{m=l!;);FSWLFPrZ#7VxcA@NYQX&LoWSwnIij3JpNOT73bGI&_BpvRK0 zGy)Z*|H6`4`}M8pdMlzU?VIaefx`F^j&^uBv21R*GT#_?rtBJRVb3OJLuCe>Xw#lz zFQS?3*trvwQx?92G>y#tuJ!(8LmiM}CctZBV?)%bk?tZs5V^3luF}ge3MQNdDb+KX z)|ZEUdozmu7{dD(FZ?_N`IOAJO-sgGsA(6WLBBWdPZshk4Hs3PfR&3VM!+$pDAODv zZJ2{v3c7LQPJ!yOm?;j7puf`?_zkmOFSAp9=h-5KQoYzX4+~}|?V1^PQQ2V2Z5eH`y zcwykQ(erLh%(j%CKCy9xFRWzc&6SnxKbu z{NPwaKn&P{zot+^OdX8a*hfB^sAGb(!ufuLbw*>09HHZoZU(~D1=T3IDMp z^5H#0yD~&hLKFUFXfcgTb5)8U?wGTXix+-qdzVAxo`kYD0G6l}ug&)Qj+P%FJf zxW$IPN<@)OM;?~W{~8W#`b~TxzOHK;w??0Y*ASFEo1oyntOLx?V?URf7SkvACnShM z-tvJI(u)OE2Mvd;LPSY!Cc4)(e78SX?u@7T*pXDT22{sMlS{M^s)2UVv{ed+;FIwW8!s`Z)XjCd^_XGM?n}SF5u^1=@ccwN zYg6!|{a=#Z*$fK@2NeY=$SZ_hTj#y79j;HJuEQ{@KlWU$NI0UBEH8o|&^^g@ zyGwpEv;J666sD1wZE6hX=gqVz(&>Tcrx((Ms;jFERDaSR2e!A``1377;9wCGKtqAu zav#aAa$hlah1afQlifwS9(4Hx!e)syNKfL^xj3(lZU+`u`&r3VxowIy^it$TD8za8{a^Y><)moK;{GOCi#JkvJ%W+6e3& zvDrdwSL^!NK;OT7AuCtg$#%^vabA6824Y4gvcoNKs2dL5t2S=U7% zhoXxE^e`8=X|+!GfzZEhc@9S8D{)l2 z8(|6fGd+)%TESUqEbwUx8>}&pVQJ`?{^d~wJ0m*<5ne5Gss+vfkgMg5jmKd53MyF~ zwO3{kMv!|8)rcqvVCmSghq6%DMiv#S+(m;Ej9^JX-E2VQPLZMypj`$7rnvs`=DCg@ zH20yDBvm7$hp+>4fr_G`r41g=EHObAHq05VaqZJxKDQWsTDv2uEaODbl5L)6JIgN@ zzP7lt!z=UlE9N7h9RT$O&Hr}6oudb5>gHfDSN;&EcsfdJBgC!9klhR(MJ8}fJZfQX z>VF%O$P5>03;_MmXG=tLFGh9P7!gU|eXX2;;LJgJ1I(J}X!+t4`V>=IT0n1}g8fO@ zkBlEQ)l0(%@G`h6DVy8xf;Jwk;5jq>`&aJMbJh{JZV6F{o&TAk7a9-?DMILOa(Opj zP^^BBFx(;%5*ZzH*rbEcBi+Q{i4xhq{U~WZbcz%SAq#`UK^(Xkb;JYv;HDjG+Gg|9fFg(4@`?bNh|M3FMzX%-}_V~e!x!4h{b!M#dbw8ANv&8F-C)q`2Rp35-O+KO8q>J%%j-Y`bt6Ew<1r!Kvvg^us z>5}0`mg1nOy1TyuvoIxdWML1>q%)N@a}D2dgfHYac2BGwGaGNTtM#)?r2r|+m15{&C=-k(y14g z!7xSDfBw7?2F-mxyuMp60Mko)UJA^IbqAd00TgtdiA-o7C^&)yY%;cE{=?h12PkaN z-u(cR)&fF4Mzwtz!4whsGXALGoKwd3}ZCVq1tnI zYc)H|>oC7Bi+?KYEmzWLutibgz72%aJMM_SR4Y3bJNs>?x)P?it5Q;2d;{gn@Gu-u zpeJY^b)>9vnRLlKU=G(#x_Dz2wxH=W31NEK@+?ZsYlyS2J% zxY^k1MxBqe{CJv}=vZN~<5XrvdRp3iQDHzvLV~ZV2)h?@?d8B7UoP0%{s6%0lVgfW zSrvueu12Vqo93Ye<^Q@p6u}kb(NpUjy)JxaLAoh>C?YTC@S!;V6m0jEHT##*dZOYp zb0|2f?5$1x9A@~IukVUD;c3GbKT}IfHHx%HR#Q_;UetpJYuLk6QZ`e4ceOPJ4RXZ) zR{q;|!>wC4Z3-MdG5n#t{2Jv}cJ_82KE8Ed2cZ-+fv4^~&84 z22=g6x;ltu-M$ZQVteI0XSTT&*?nt49C{sl#_K2b(eXdg5>vyQ6`5Vq=D*n5Ha2Wh zA9{YF$ZXH|610FYyz(@NIWaosMCmX2;UWqx4YvIgKnQ+vCns#|6Y|A)s%6LlSnRuLx>-V;K(6&R?V7t-w# zosm)T%h*Kaq@m#t} z<1ujbUX-Qi8wv1PHqlw^yjaWbFq{7XWZ^9%i6rs|x*3kVtv9qUIzXwetPFt2dI-E& zCvEExpIKAV{*2Ql8Qaq#r#dOv5O?d{J9lm=$3H@G_Wt9?MD#TI!GE$}b-Ae8(5vDm zJ`+WipuOMG(|&?{e238G52};U4$^j=uj~d=wO5u*Hyk>Sqk@=uCn_r0@#H1@;YUek zcnBIF6w995tWe_8($F~cxH&k~&2z^Ve@(1)@QQ4?budx)d0t*pnBr2@xQ_c#6O$un zvZF}FRjg9~4xs5f^7KaZ1t5Qd(K>|KbyH39{=Q3BlV=yTB7gt76Bn>o&+Dhm(c0bR z-*1cln^Nb<<6AbMvDHNGa8y~vAHB!Nw`|_B<+`%6a&lqe!*K`a&n}x#0wzF_aHuFK z{`&EOI>a+o)#Im5y)&li{+$D&omxpbKC9)@yFn)dG?j);>AH1=3CQW$92!YUiXECP zi20T{F6!2#;BI^xrZ%O#$InK1W*ZXWNj=KMzaOpLtbW zW0U;8re-r}J>)BOm#xc1v)!U_wdR9j>xrLE$y;1NF)&!!xJ#1lS8?30T_xQ=8+EFl zX?KtD$KBtzN4Mpy`JUu+5ac*kuU3ZXg}?cCpf+9h-KOT|qgGa8;7E>wd+6!=uG(<~ zys#SfRubwLl)|DHFJ5G1W=@1Z&}zM)$Yb;(8K4jDl)nBg{cTU_*ImAa%zA*5-^KsL z*2L-cLt?A5GeN(GGz_bnT3Sy4LfGp5xa`2fzl3SS$;D+uxP~eqC1AWNHqDbt<6tPz zFP#Q8pTB(h1YX_-R8yS;D%HVbGt?*+BQ(~FfSLC|0r=9Sv9-Q_zhue64g`^K`~ZR^ z`2mRF#n|hWkkUQ+gEv(pRLBV=h<`#49QD|~XOE{;&d_f)8!jje5K~Zy0Z+Yo+qMh( zCV}#G#8vn_E9()Mnh62TObO$BRp>#YFpjTg^tZ6KK8OPGDI~hQj*n~dzxsF2yeR(K zVt9pjNI!VGrlWo4gz?2E88wwow_J5o?jYyCtE~;Q*um4&cf)}0#a(Rp1{em^@wC$@ z_ru=n`OUwqDZDf_X1#YPwg{dPPalzCJK6Qo-4{A?Ln(C^YZa>8#OSmWb?Y;X3#vbS zxPdOc(ksDz%dncv!w9DYs5^~jVH~_(xhJ^W;pdv2&q4I~A+TG4sjL{f@kPTzN8QU` z`R_C#8N%ZK2>jYlfrdw?P>mQDx`#sw0I0Z$QoBk)OD{5{!gJuqkAtPX-KS(8hE#&I z8`~Spx7%();O71Ur$I&lfEYhz;iCDW)QX?c&wOn`%~+V3?FSG~_-W_l#eCq(88xDD zj|oqpaUl^7k75ivgm6i2q`b6vcbol^>G+TKdnmJAnq^)De z?%kW#ty{MjOjD2W_T?%DIx%RtD1wy$1#o8&A*@L^B8UjpH*W4Lh+P>>aX@G&vzC^Y z6zSl^%@%}x!2iy%*sHE#^p8^X-nVaY`dG2bb}>~yP_JgV?E~FOghC_tPhc8FaIMYw z1k?SnFjm;B96+-X{to;-u?~Z2>WSa}Aq!pWzA(o2pyD75&E)&7nZ1DSgeAhym(`W% zO#D-hZy`(|7@#>Au+Z@pNE*!zb1z&?PZ#g$!>2&u4g^@|Cygw`>W2d*|NBb>VYc9a zdTwl8hcrxVGJV7xhVzReeu7lmFv*w=N0_}NmRoG23Do!%A3iYQ8VQEjEA!T{&Q1yN zHu{%wg~q^7Y=$8a-V3o-FWtZ&Q&0NLrFQTBCMO@jBLm|baT~v>sv-=AkH-3P1U{Hz zwc%&HH9nz6BchB6@4oa+U;!Rz^28tk;Ps-L`~7=TK(J!s8AvzyMCRZUb@=*$2mjnh zuKWOyryM$TsJO!1Ln`gMS`P9PzpMiVgk>d|5Wu8>vo-h3fC85bt{8kdjHMvbA zKmR8N#1stkKJb1&%5z!Aej4m-LgUd3x>FDtEfgjzO0%}{%B7~HlmRe@;j0#=8@1Vj zRf*>YQ;d$qw;qS1j*enQH8eHJ)03`;n>SgA{~Zy$0>&e=bLXnuf)cLd(g0w`$5o@vk0z)eYbtLpQ=b1P#LKWUUe|LGT}J=7~! zY$xr)@Q`2p`r#@Xe0t1w+#q*p8Ra{#0u13zXpZP92v@jy zWjA>E0%_tVvIC0R?12HX?ax9gGq6zL+-}9jeiBH_ zJY8}VHZ+P)WF!}~u+kz>P^6y~Dcp5(ZvvNyGK43Dv+&5sKr{l3;U*y(3V5O>tC!?i z5mXcwVyGyPSFQN#GEIsYQ;swC+GQ}pnS;Jn_>j;J5(eqgRbgx6Vcfh2Cl=AkK*0fS z3T@g%k8z_$U<-L`01X*cq zEh|)UqpRP)eXH{Dj@rNJu4edy2O*e9Vj;x#N2BAdn!!$4(wmCLH>@WjUR9ABE-Hi} zT5i#*6gYyAqiC#xV-45G1#M*uxqcmw2ug#BaweM_UjTYd3G+{6QLGxiILjtJdSCWq z$6N5(yKNQO%e9si8Lvdb836qMGdO^n#1xVyV|2Na3lMS19BP@gQf>?4DnqyQ;ls?p zS?}M!*Ma^3-5J;EB)~?2e1_-7`ghKP_m<|RG3Hx2aw&)@4m%FKWgzswCr_WAffPza zAabVye6k4;tRX~;iHX&T$s)v79EMqq8a*qwG}eRr3se=kN}MBqZ5Gt9wBX8+icg+|QY9pB=wwNV8x#{=2*6ohIymsZrbuGLgGLBQ@3?FSa|~waB=`A0sk$lBPj};5!BA=wY#Nwh zpvxGAkB^OgIx@PQZWBT{vNL+t)Zy+VJiN!R^J#{8EJ&;^DJN5KlO)`Pue|=q;9+vs zio^Z^IkmS~l#St)T1I}*@e(%}YxK8OLaP_hC;nRB4#9{z0EP*R+D<2V5WEETn^txJiZQp)1F>!;cNVr<@4jGvM{cQorhm|Q8 zf6W=EREY>b_=(BxomDi7`H?*7CXG;}#J)Zd@>!i5X3 zE)VqfKB_nD*u|B7`3*Osb{B``pGrnYem(h`-&IB;`HG|s&cb#;Luyo@u8Otog8u2tpK@19OQE5t77Vi6CxpAU?~aP4uNmquU`0;ZhF{a^0XD zf53Kzk^P65Dx~PZ^{r4`Uf2neVG{KP2^_HPxPOli#BGPZD13n<9Z4buxFA|(nw3S= za>aGE05k3tP2Jr$pFCL)JWMW0MCgh_gXR^0eR2aMKIL+tY(Jz2Z*qm7gh^o#^5mod zOU1-Z&QS8zkFk!hEs{$b$(@VX6k5?cXvy_Uxcg%T%2|B%2}tfCxDt;jvla(LD}4UG zweb9f3vUpuaD8MLxM{K>2q?k5SASa|VPeBqKU0|cu#?y__Jg*Aeo**cv@DcC# z!PDG=Acq4-kPFIbQWOwT4>ty$_qru*-ipYD3G^k6F+?Zq>62oz|NG?^!$|Wz<_w|V zsQ5AuvJ!~=(igS+LeTeG*4g=RoGsdO8f}i|uqjkmS1aKrR`Pbqzi)43h2?`pM`dMd zKsiRZAJU9ouO>ZTs0CWbX~Lv%Zb{h#_SoIqA z!>u>v`?Me}5U$rU;>;D7J0bD9T)tB=aniluXG` zlt@uD7@Dw6*=a%VGN8A606vod5lpOyWd|2gM6@8!DoyX}7czQgmZXRUkP z_r26;v2YfrAMEbBfyY+IH`Z;I@R46rnN-ZHGL1p^d=vf@zK2DP|WbMzd3yRad z+lt1O%b1?kzwzQnsjZ+z(uFM0$?OV~%^cOPnG>9NIzs zolfWM`dk(HaUI(t*|j4#o)_lGnlp&q2LT?WWjznw>+>TIY+tke{%Co^>2~L%v(AYD zl~>?p&5hKAb$k*u+23Z2n19Ei?z7vV3c&rB6IW~>S$*PI;23HWASHSK{=46*Yt=tZ zms^^yyozk_x*Hz-Rr~Chhn^Qtt0aI7U1TZnT9Q|kHO1h@k0;z3E`>it$|rigmB)3_ zkcOWa?n#Ax!g&9B{OYR_I7O%hy2E#TRZ)L^13gMUr6BT+1)MA{Xb7|PT$1Sgk@RwX&pANE^uZcv~ zoLz2;;1D)U&|4SH`Ik?y-*z{DO8CQf;o{Tmz^(uM(_qIae;UZ8l<8SCKVd6f_Sl%G z@}XoyvuAJ$#N-(G<_lXcpn)v-yc6PG1<*R@zYWKOQ&xygsTd&(Wr4jkuVKeNB}8AT zlvzFjZzssN?;}P9?BHOPR|X?mSOpz48Yl9oUp+e429%ex`Xv{yapLspixdu`{wk#& ze@T4QYC)jW%qh7tw>LN5!PHcDLH<7fO`C**v>pXuW3hkWnC0Qe-Xs})&*$`wjazN+ zJocG<+^z289mweAvjk@;;$)*QzTaDV^YU@dJo$LB(8h2Hl7<$avTQibsJE)40r^~V zt`OINlEmmSAD)3dg<4PwoR%@nOB z>IYG+h(y#LshUBbKBa>!0&Z=>e?@pSAkUg~AG`vy4K{3+&91tMOkM;m81`BpvlS3W zPz70X6wa^i==ND`BH#_!DF6jT+k9E>3+tA9R0`EaQS9#U@c%o!fN+BRDO$E{nLcdp z?lot5f2b~=f{b1S(UGO1tak1om#wseItt5L9X8~2JT##e{|;U)cGdLedkKH6 zvE}@W2EBV=vHy#BgN}l05RmL>c7kR z`4a|L-yDY9Pd4b~HIFXb!@UZp0EgN?NhDzfNvH&hq7Nr=M$F$ z<>uR>u$`2LTyLNin#ch?EH-9qJAbU18%ckGo4Wk9_nvJ|&p};$_G(b!U zP(5biC=fW<^58n6`PEjNfxd-T!C%Vp!EQNezSUtMY7aREPmY7vRHp& z;_Pdd>9JAOF$~PAE+ny0#64-$f%TxDIKO^r8tm{!tGo6dCCOiS?a?ProG5xvC4X<( zY3&aB7l0j-buY2rL`N)u6IXADh=4ILs z@7Tv)#EMwkszGR|Dx>HEu+@1GwOhA&a~^HV-Wiw~h`k+-7jtNtA5C7MsUv_CaIggx z1pouIj>7kB)PVlI1GHAX3b&k}Nf!L+tFsEkP~e0M>ccO(9hh|JU5ICv(*L*s#CLsS z0vClFu|FPKk~c1WG*AEs&Vu>Vfsvl}ykGv>rSi?2$FC>p{FnE|V>^Pct=s5*^?Vf^ z2gz%H3>?2T*bbiyz@HLNjcZr0V$_w{YBLB42a-Yd1KyzkY+W=q>o&oVX$9O(RoA(y zeNNn45}N1p;N-k5g$TXdwsnNAGuXmtVAma^gcvNkNc^5Qlfu(LQWmfjh((B|u-kUD z3R3N(kmfz%A-QP5cIx_=v@~y(*g3m>b3J)gQ>RT6DN%w+FmXr@h^{A}MpHa-p^iC0 zx4xaLG&dwP2uGLK0b4xf+`jtt>M85Z32?Y0&KwvxrQ}v=Q=D@Z120bGeL0u}=lLvm zblntA)K|4R>bzfTz@Mrt=hYK&CU@!0jRyU z8EbVUS0V1rS6N(~+`PTlyP=`uwc*IOd$v(?zCHP&mdoCL%L=W+dBXgkmxlV;2YGuC z<{Tl^DSTkTeHxe!j0W%a1g9nNu_L-{T&lBaR|J0l?j`I#;mMtQy3t{km;*RK;<6b6 zf~xgwp?t^f+j%}m5)x$U0g$yqVIHkc9f`5a-}zg$_R(x|#Nsn~)q8!9QP-%sV44d2 zoa4M~*$9$LI@CdswI7Q^2+lXRjdT-JSeU3JZ?r;qcZL=g<6nv=HRCpW4lHr^@Dk*Rh@ z%jV2kPgdvvVNJ|GKw;m7uKQkJvIq~4vaX8)9I9(*Zp5-wL_TWUb3t6(9*0okGKF4B zSs(?5Yrb~X_nC)SNmS5j+ZMYxD9f>~9fMgKl)~)Q zqeqV_6g1-u3=MBNc2yfjmxYZNhIg%gLG74+DYhZFnoH=1zwF>Kvv-iMh;&e^CVh@r z(Ov4&_Op#hCe}$ELA%JPZ(k@~YJ47m3(w6# z){0M4G@34Wu=y&KewT)asYl^SU~=c+!^9-r2bcfB^3A znT3Tb&6=_SLR9b0cBe626CfPFZ(k{P2B5lNhMrznP~AJVl^|At+k5NR|u=s zwS62T_UztWLR}~+*lC0fB1U4qh5&Nk_*b~yjYMj-c=2<)%JcEMk7pXj-562X&gnO{ z!a7m$H~$Uv;O%5ydg|DKiL*K>g)bO2FvB`O_SCVo)jXejaBqG>qh6lvHsE8usG@dv zSJzhV8*f~*V)nW8w}VaGqmTC3)wf^2VLf-rHUO!nA8a$E3Y_WVn16zU$0p5L4q#Wj z#@%%QI95WhK7CG^7Paj2W%_u>A^3ucDv6*gvLD(XJd5OK6Mpayk>uofG_0pYZJ45O zF>94u&rzwZyGG=;?HM<}RpW*VvraAEw;TC{7=U4+apToXhM%u}!V@a~22Bhx-NBiY z+HAQ*Cdirf+IkFxBRXoj8!tKT9$Ez02I|P$(WEgO zq32&Kbr1IZdFPT1axD1qUo}r|6umOcjvRHMpnNQDg3`iF|Mq4OM>Xw{^&30vx&{gWPU~Lj zF0}%vdNV*|vJLmD>-M{|I_9Co>fuN#~BK1@Y9X?|qrzaT7N-=P|ipwu0ya51u-;BI)yg@-@0CP9p;&Ct3^1 ze+5p{4tk^<#&*2O;$+bHV&%IJXD3e2D{WzzJ(YkV5bu;J7niJyXm*1-67AXT{te5J zNZ^y2m7TreTNOrcFjcX&Kj|E(86j91IBe3gC*r+p-L5rWqcp>0fyBp`ezgN~zt%zjUv`D4$RoV4RCrx`P}IJ!TluUK}F znn*0>UcOZ3nL(A!0j!g~VLs^vI}ww_39Q zBz{kR<0DNI@Ty}5)z#H=+Z6Wh$PA0UmWDIXIFS>u&YsaIEni9hiOV&?=<)EeS^y$-8Qf!-+ycxSVqS~TI<8wwuQ(ZImP;`Qw8n1zc$y=lQ0+`jEfXN5+K#s+S$qAI1^*zjoS}h_*{B&)v#J zrBBgT~=;x;Gi$Cn6rM1JO6IRd4K5e;S0DxOA8Ipm1DO&*z^jIe1*seF)X6Dga=a# z3>J)aXDwK`s)shnw)FaNil8pn8!$kNhtWY_eq3LFefOs5WD%oYu#Q*lvq*vmoJGmm zc_*Sqfjy+spdL?S4pJ>C=fqMN#cAQ*bc$un zmx_WvNi{Ce&Hk@hOLn1(iu<~Ka1bZRt2xM)6rt;(((Lfj9B6QxqayyfCvkh#B zx~>cKsr>4!FYn%^ujtZ{ozscE5V$`?`=1y?-h@aIkSwuC>XTr>U~dm{Pp1S)^INn0 zZ4R3Iz#3fDE~0zVB1h$wWo~ZO9nMAV#P{1b_FGz<2`1|UXkChuNz`~W1VvVsc5hx^ z)$HnBbjoQy6=|AaVM&Okb7ufNEjX)SKXALE^44W;&VltJtd78@I_5+po=hSYKZOp%Xi&L>MV7{r5W0d~j1``375|f2j_Bv=PE08d{;#Dn3O5C^z8PEe~-k;ig4s25ZU#%0XA5Fg1W&0Ij zn~3fW5uM2Vq^!pb60}xrdKkdavZCX&bA9VKl5s<{Nrfv!nUyoFnTgRW-A1vDmw^={ zpJ%oQJa9Gkb8-VT={EogvV$g(hRVvo96Y#oTpu2029>H%datI<}^&NO*t9qdoE3tKcN@3cREm7JXG`Lqt)dH3O!H=sc#M z6=CWf&h#0p&Ye5c{kQmq_9~vn>G6v4YM(Qppn|P~ms+x~LfQ>jPiz@XE%WMF#?W`y zdSxgSgxu937hQ-+D+7P1I4)fpf_Cj07_InpvVjd&f0#S?=a*85J1+(e#_?19X@EN~ z2vY@iwPa$<7r1H?`OG08B>H*NVfj@7C-?2na-den(Nj=Q*aPB3mhhu>SYoKfA&H>{hO%vQr7SmIE6McL+cO(FkiVbb zO~OIfjvXDXUS4Tb)A!!Zn`UC^wdv9v&g&RDPm`JIQs_zmuSm?*jfH5t4OsT`>UGOQ zdVc(~z+_!@YsYoV15G~`8Mm+gr|6qa#*Z1zA}YeW*Ph#_T(vvEdS>LR_MYW>5zi_%oqc`q@y)6>F4BUluu za95kow>@8;nziIfdW7O8q=<3`!5x5?LHBmQ^l1>5{Gmug2x(zajic)xMHs2Uf&Kd@ zfO_x`d5LQt&A5wm>qy0ASRMkuL!mr~nLsVe(ut8U#j98@kNVorNw$^Edqi0`< zsVW1G>!i_mWTzHR8cO5@omyeOQEn9jEc*|7oZnf+pp)uEV}^~79o^qV9D3+alO zDeXh)}%=%QlcIlr5iu85^}zb44v?iUmt-@yx2F;{?|` z;@i=T0ddE_R-PL2sg+|{{x_TUi#BX+cKSt4`kc3KJL+D5iXn+=bRh|uw-+q^;d-h`^uTY&)qEffiH8T69JE4mCG%-~O$N@j|37?#?l z5rbDxii?@(o$7`*JT0foRx1?+45NygS>8JjtneaU-PUCE=|2w>PxlDzSvnp&AjJfF z)k)LulzywNtvtUtqU?BnS>?2sZyudXaX_JCs^l^A(~nKo-aa$WuQL3BJ~)P!^_b(% z|J-q1x%PC>n9f!1$-ImlBhuA{=)pT}wX*7>vFP;r>v?%@A@h>&VYoxNq*ggt`sAqu zJ7ss>0Q0m2HvJsiL}HS+((O?@zhub6$O4JwA1{!eV1%b6oygqT?U> z|4frdG;{iNbp?Ev&LEY*>jdYHEmRr^`^$%59jmv!I~!7rIRfBwoJ8@1+Ej_3{D)8q2XLvNR@uj+03UTI>5Mn`{>%a3D#nOjSu*`pBFmO?FFX^W@q~gUE5=i#^5hm}yVveMuU@E=v$l zUBnju@QTG8uiW4oym8GezM!1iNC7}DUkBc}@B8e6Cd`+5TD9_RQ6TQ{CMMoD4-P3t znxT6CeC^&L%H49fz0~LKOA?l)v&jlQ-vk6R@XQ0sz&{ii9AxBvxzolZ16u&?Z1=Ck z@0cFxkLMJ5e6Q2mMZ7V)JMaF+jm|Z+Rw5ib>(>bv6y@lj{!07);aUS9QECReR&TQ2 z`#-UhcgVxZ|E4w-4OP^`UWPTNb((sRWIV5|9L28r8FeF$;KPYtftP{iov)hpYF5VN zS2!)H-7B#=oml-aEj`6C>f_MytJ99(d+TmezPEeztnnMX^C~vKxF1cuGL+YF08Y8n z58JA3NoUSL!_@3yb2|RvA-|_btJa;ZHMavP6~PwpC-k(II{jUIV9^fCT-WQlIJKg9 zQ@g@pK@M`8e_SpqvX0Y7vHw_KAu6;rpWhq+@LjZQSsdTw+RrQgTq$JOV}?EIHo?Lz z$CK{W=&Xam(V#dj`5XD?ek|`Nb7LGCm9>g$8y)iWcRf6(j3YrS+{ zM6d$TzWwKQJHo>c8-|#^XBuFjsOYziI&gm#BC?R`2qXo_hHzwW~?`xpH%e9!-snnulrqC`2W~6 zTdjT-8{YgH6?guz^{daRy4BbJPXuX3>Lt<{@(bi(cL$CO9lb9yay;md5gqx%@$s6c zI|NQD`t^!lOE|V7{mxf8<1kX3b@=4TZRd8Ud>sAbOY7(f_o~iQWcNT5oxA$c`PJJM zHz7ZsGwF5s_}j{Je?NFu)#KC8pkGWdtI-@?_Ff)V3@Q7k+SSY6H*C~sMI@xWg*qdO zR;~FalBm~x_N~$RSunbnQ^e=DYd@cBz9WyUej&9rakZR|#<0Fm7VKLcK(H&v3chV( zvrp5O{q;b1M8WNj9;Yjo-MBR`J@rkf_a&=48O4SZzD6aTKQ{W+=ac`>J0Dan+AM@( zv>?jqSet|tRc$LPE8EVw4mRR6*upcp;8P@E-v7U>%B|`V@L((}b1N(d(lt*2`U`(scxGf!&suf zCKI?qr-NB_V>n-q>Exu2H$Qq;Rx$Sl?2n?BYXun7dNuOAmGo3?ME%5HS8W@Oy zCjLI>JbDHPlbJT1&ah0M(vPQMAY70`o zy_EZ7>-qZdut$JWl=Rr?n^QD&*?yhH?pYrOI>r;ybxgf>BSIM2MWXh0wO_+~WgBF|%oEds5{e@bpYoc4o&LuK$P@t)X{pTE zrc$43Byg+%Hj*EWix?BqtIk)L5HVNvRp|1r5NCh^q&8yQ1!@jo#SMHqmP zcKi%ORmUijvpO3zzE~)zf}wr?o}4om`?x21O}qRimelJF3=NzuS~zjcf)By!PSoE9 z*XS;$hv12_HZ#6|Xo8%lfv=g*>W?p7)uuBGR4Jm&r*&`ytrp>$iYkb6L`eaRY9>SH zVq+nx{A0TAYM_H=cHES1uHbZd%7~ch(WlR_c!Ca}YRV%QQI-%Kh2i@jO@MtG%!LRa z2t7x;JCVcZYR-S|gmn_tqzk1oX+r)A_>C?%IQ@ia*NC zZ8#AmS^u**6ZjdTt!SP$=rqnY_zZf~8gj)2!OH-P#WM=#I-Nh;*szEhUyk!}`6}BO zj0pUp!U;)ObTeo+crgO&I$QNotzYtH)(v345m;WMpAlFaY(`;5#v#;Rxf6VU@Ux-+cg6mHPokT1t*0`cfqDS&unM6bF`JlP5 zCc$nIiHB5IyNOd7>xiHVr6G`R+re=Wn;BW?vY^oyuaIX}XshvuyI#{-xFcKxpyYZI z5i#Cn?B4(BnDFF*7+(x>gC`*#!8}HAla7N1wWXjJM`)Tiip;xrcQ_jyo(*g@ctpaL z4x25P(6ULMwu%l2jR(CQqm&fTj-d~UcQRTWN<0O#k=H&kzhMwN63}1tNN8W!M#m;_ zj5km~*>X`kgBnLD1AB9?1ZhCOAW6e$tf>EGp8U|ByRz@y)8w>NQB{53c$CP8)~vza zf6v=@TJ!I0yY@nqH?U$QR6w4>KCUgwr1-;!>nV7zIIL>&7(umo;`?IX?#*f){6M5W zCLQRviSCM3a1$F-#fhY(vc^_5*NW;)EQNEB=P-v3`ZT zHhA#hlHc7}VW!ca+JImWxwSM(w_08N9Agl41GiZEoD|7)b^VYU%PdGxRH7t(GdzI| z`u5G?95vFORGITnU|{ZvRZ)FoWuj$5qeQTJ*R;#DzNBTzFg(ryX~W{@Ds5O=p8)wS zHu;(8Zqz!1HVGk;^sucCOyUn#+RTJwPOeQ8`EpOI1pyqgjo1Ss z;=y8*Zyeff2hVik#O9=kDTPP5Ny}lpwkB9jORT`1_kRA&-f&(DyXXT=8aE9h;PDU? zis%U{bcwk>7I!P8NTNd`!-7`{N+PTdywnTJ?E`|rg|HKgM#8{HSzZ@jKTJyTjsn&v z4j1pyRIp@j-)jWC#jCm0DiC#B?6IDjw}v~;h9e=Z^_oIA(=NMq?tBJvS)2^22*-cD zh5oHBo&Ri6*XHK#{+#q_`}&~197o8jSZM*j6-%OVfox&jdAn;Pmy$O%z4-06L*w7* zS!b|#R@ru&-w7?2be-u*hNk@uv?SUr58=;zln2L+Q0qV`Tk)09-5mT=SYhW}H*3+Q zY5bqoiw(-9cG!Mpf}P#5iS4dJshKuyQM-I4_&6;X7;3ZT;iKZ>C71Jiiky%x}C6ef)gH+_MeG`Q%rv z{-BA$-Qy_T$6xoYNWWE_fAwlX?Vq#RY&C;TBSnooea4I|u294?r%&Jc`_##k=A)?Up21(4AmQ@M`%30U(S>L~;yBiBn>G0qnniIPj7sV+yQLSjBI3 zdh8ef#Or+R!HdYyZsh(saM+K45kIaC_#FtyNDjXreJ&=(yeeg|ZZkL);d@iZqb=0ON?!(fo0kGv`8q$C&WF=-bA0-oP7$bug{DSIt2?JMLnDg>8gYC!rZaK{8%u zPh}jX^{(P(^oIGT|NS}khshM}y#)6nRgbb4FPvKWS6(~Z%euYI(QzHrX*S>WoZMy% zxCy7g?%li1x@cU;%v1mvvAqL)eUy$b!zSmwggJ81g+YSz-xchAmZ`qGh47yleUf$`Qhemgf%n!8cRBzWcf9{ma z3JMNBqZ_-TU)$sCCm9{vwd+s}>3J`#biM6YPU|Ad3im#cs(QGIL(Tf>lP0Z)<7<;N z&))uKNn2IkdBX8QZslgnPRvy7u-wTj9Hzh3X!?XZ{c7TOV)KN9?aR&YYvVosA&BvZ z*Hc?t8=hUpt_%M)w^C=}tk5HeJd)ifE{p5Sem>K>r!j7v*bOJltBh#=uI%X}fI37S zRtE|OwzpmuSKIWcUO+%Vc!8aFb<(lDo;o$x3kptVEm1euo;H1Y{QaW4)&uV(5oQyP z-~ILZNc&O8x10OvF|Q0NX08c+ILqjB4*wbUYH7DHow1_q6C z>^{xbRuvM*o-qMjH*?L*cylN$MHva3i5E=j#Cn@_=uWq##HjFL2P;3CRC?OJzWdSK z?(WS}wXtO%DoedgXP>G+vCX8Wf%V~g4QyYwJSF^=a!u1QvwVO;?d|QOv<_Xrb}bw9 zEClxsk+X6<3=h>csl0Bb;-ten!@i_W-XLmuCMuD-RO)n{ysOtHix{n%DQ}B318%iz zo$&MJnc5%LNwc3Ezn8ktI>K|^wD#^53014_zWumr@bwX1)1IuGmht4?RvX>WMlc<1 zlEy#i+%4EoA=#D8(5Ce%UZ`R`=)JPHUIONB*&?hU8@)ivC4=s0ck68H{Jecsfz@Sk z@*v%;AL;!`i!dk(e{i(W*VFyNGVpM>r?US-aRf6fanapwBw06CKlU?H^1L?u@-LSZ zTPbW{mus4O^`|T~oO@Y)@Tzw{uNV4-DI2J6h#e6sazvSuLQ=nP@apxz3KJbV?cX%P zsnhdTh#9|tpi4sd&(58odG#^pIOe{&k-5q@3JL~(22-=kcs?HE1xhB~YSv04^9LH- z@SW&&zkZ4iTISl28Noe}iq)p&vX3boTR(mZDYz^}) zuc#2|JLdo+;(ALOtW;lFNTrKMblm^wDpnO_tRxBn$PR?l0KHp?G7oR5INgpnYEhtq zOz<8|LiU^e;>D^kkFY7ns3nwpKiw8O+?VIu$8!*G?6cs8NIT3BY*~i1yCRq0Fx4|W zEMudCW;j+GE^G;N13Ugctt`!_%VS#?4=Vsq zSVTyFA+M!vv`nM~#-{7Hsu!G~Co9GS-nG?35o*A4XpW4ZR>LWs;INgUe0hN%aM%AN zThtqjlI>28eJ^DA#v7BnXvl3)NY^I}i&TnAqQs>?@5AqVvtS;%pQ@UgEW*KFU+@Re z)im)ml3}Eb0pbhPBiyM-$%jgY{QBCA8-G`Rt0S_J9gREc4GiF!U5^4&mOi?;KJZdy zVFJtxE033YORJgg;G6#@mA`o5k0k^QcV%D;S;sak)%{v(TD=?4=l%jVL8r2*d=Ca1 zi*xn;rjl}E`zW)9=Jww6^1Mi1A7nQji(ZnSDFLex*Qy{XT9FA09;@; z$vWvmFr|`zN+T^7OhJ0`G^N`z2xkHBVt;d4Xy!mn;(7}NVcvOr7V`m+77)2)o!SOCaoL=xX7wVzhmnu*;1Q>&C2$5|-OLpK=#+rLSj)Bi(m+rNR1$%q-7QfTW zr)dA-uyxNKE#Yy(y4BRwjABdfHd)h``sIFz<>e=oRnGq=b!ok&qGR7boa!%JzRcXM zLAF7EKy87LfEh%)C!Mzy=~hR?6ytB3(<+1<@l}2gV0z18q4@*#+9ehnLs$yCd(Uf3 z{o0&Lg*rQC*^~5S_o~*sy+cLF!$oJL+P1H%iDz{tVzu(~!_6Ob;2o4}0t(RTRObDu zH};oGLoB(%jBgF#Nc}?j{PfkUAmDO5ejBg*{=SiCb-6?tt3FZLxBbcu0vv>*MBo}q zIApQQ4eFfid~^`L;-c%J`f{KPDrO{Kyi6Y^s_0$cxb~xZOm_cvO@YJ0AkRjT ztdXZ66A?!#k}ooa@SRw}uu7=!=gE@upU7(8@swxH%t_!9yv{cQsAMs08T_9$w`2?f zg1Hd}sGej3kgOM=nPl6Zya&C%IZ~{;&qD*)W9Hco2u#Q*C{E-j$RvrrHYuc%oFY-< zBTc0`pmBAARbLmOg4HkR^S(|mr<{V#mGj>u*Z%^0)TZW_XQSgev7&4o33@5jqR7dJ zGPlloEIS+9+}w>E$NYh!Y2XHV-hckt5FXYoubu8(@WWeH-2n}^n0nXRBNh<=jKQza zH=9bi%D25a5dz< z>mtmOFbY8AZ~=IXNpuixGFWQ`D~;+wf}7{3SDT1Abu$&g^<*Ms-Gyt&g?Hh?fh0&j2Oe(<5=>bm z*N%x!MVR}be~_BeelMjnv>rqs>`r)UWWgt7xipsW7D4rBhHcS*M``t|`z?o{N7p&I zv=Kc-z*jXQh}bVPZ(I&S%1pWI1QogN=3F8s{oG(i&9xl+mHQ}s1t0|GI4qk z&%hCDb8*j?We;WKtYdR?8$Ef~!>Ij5&L)IOe{&@Wu|lB3yzKSD{hR1U3VdE(bi6&G zUo4ObmI#IGE_{@%RGp92)fQa1SoI6I$&&|A_q$jP0iSXXepZsEz>x+9 z@r8M)j&p=_8mEFnL5CxNe$mP1XJ$R%EaYF6OMd-odWZT8ApVSLcTeR0RLqVYyXox@ zerDhnv`PI#W4M>%l|F+_sE006Kh3jdPFIJAZohtdt7;l3h|6bw7E?r@K>Jz!`r)nvetuz} z{D_SEheE?ez$8TdgwPc!wmf0;zgx$G%=h^B*pjR0Kq}zi?LQNA?ZqO?w4Xo6vg+pE~hu>XwT;6|Oza1Qcus@G$m7hEt{YGMCJpl@sj~f?K7zuyHCZ7&>!YMD90+|5F)Sh6h4Jm~=1jRXp z!ki1|mpKP(Ok1#YshuP8){()@O;T)+U71RC#}njriR`8E5%XxDI`H7gsS=QeMXhF1 zCZT*0#S!ua03DfI0wL(;8E0$2RQq2)e;8jih|C`W>H(^g`P2nBC6S(B&-P445#ae$ zuHVVr>XfYEuh+!-f#L!IpsZVhE#uJ-O;p_F#grhR8|ISJe#3rZq;_gfvxH>lqdR7?a2s4UyZ(*LuDeaC+rGc6VDPXC2n@>$;Yp+ z^|e~V2JlC??{w7@%Qa|3Bt-Qv(PDjYjK_MseO&(NTt7i&-@F+&`MtV%c-?6@fO;Ks z1wE+6h!bT1BVsC4gkZWx!}s$kPS<*&xsHQ+AL`6tipg*84j{sqexnBdH*kOPs28|* zk-tFNmQ;j3H}|)hh?fa-ou8J1H+ALft1G9NTXi?5GFmClj#zJqgCnh_tfwyEn+LS~ zwfnntkR-uyWFPcaRH6c=^8;dH#`%^-Vn&r50GmR&X}f#+E1X-H+w_u?5v*2*)AUET zjim-=W+C(<9qz_tlCzHd3>kVB`A+jzt^Dx@WMcI!mwry8PWBD0RgSP>5RdhlO8s)IU6U71lnBdxtR_0a@ z%@_U(px7p6=*=ZrpR>=066ImFL>rzQz>|aR7Bd^7f75TXq(&F=}N|QJ%}neCL1J3 zTmwW6O*)uErEk@~XoTA+IKEV_XyM+Y@O9+A7mv{QGis@Qu!F@2xSSV|QqgCk9idE1 z|GJICbC>=-R=#;K>#o1tXhKdu4M>87{op0UGR}FT5;9R8nHAI4ScMZw-}J zsVJ-HqhJsrnzh$f2^S#bDk(N7tJTiTUv_1A@lFm2!edEX)5)6t!7cLs0Vcl0_o9xf`wMAtTYZ-ij z)cYL<{E0e&>ID`H_wyoJ;Fn0Ori$G8x{Dg!$mtntO^P2qasZN%_6WusWO-nw2MSXO z)LA^b4(ci$T5O_esJds&w5q2i4uT&`1zK^sRI%OvmF>$T|!tg~U10fk$B?!v? zqQa4gjlsN;HJ)i4TU$e4MN%gqWlV-dMP_0$%Q?+DaR_*Vr56z~ZH3uRW7M>!GfOD)+&@U4hiugvm@5G|JhqYhS(1w&oDyK>V&M<`d zva!jpoL#>4s9=|gwp@%H0$P6n2W@LE!#9zap%!Oc|8Xn|PxT>jwlIGM-Kv{xBRYgEViIN6sQJ;@BZsR9(7G zO%@#&XYKfv<0I zoKY%Y*LAcEvgh~Q51H8geDCm=_@yfBG4q|`_=xVSvZ53tJOkBiOa=`VyFsj+5Q(ev|J9}h>i;KO&01SFACBz;o zA_D?k&HTeX@P0Z!e+JFFv}+CP`4&18<$SehZ#m*@29%p{3+KLU%LPtdDCEu#fbAYg)`-R1d_;OS=ptTT_jOsVbPHAr4lYo1@Hu0LD?v>REjkiofD@`J7}Cg zS9%O7cRhw3UwVxOHJLpfJDfnyyd2F4CkjcrIq!MVHm8ctc%#-Miz`ZfT`8aj^$L@+ zCp&+|e^t~%BvM7;ukW^lNyHHqYShMjWz1hp@Tvp<(KfQ=y?nWbQUWMl5yt*I5Cmu&G4^~AxieUv* z4jAl?hB)guntpxW(z55SDqAO8_*{;Q7w3WKY<%6tFRZhLHA#yj9G06I>(&9) zJq6|9=$bQV(kT&&i4KwSPsEh#zPXdmy_4*POA7z0b|f}bdGP?%Y? z#&WFH5|w`vwBK^#dz&9e;srHFbkBt z;3@;8OT{32)w>QP!I*7}VI>5#O`G-gUe}d!KJb_XbK?_0WWL1w|H_8C)==o_7LZ_Q z;*4PSqEPs#R>h|ar8!Xj{6V^Ue)FXIaKztU3JaNz*{4rSjxjMJkh)1#Q$aC#wqpyO z4-^-IgZ;MhRu0UTgii_-1VRPz`g#@{C<2$@zj6U?B=c)FiPjl-5<{y@updLu>VNy4hy>aGO^1!0f@xkjjuVggP6 zpzx70oMtid-SFkhI2o2NH@BKeds4k%Ay~$$Pp|eIJWqC1%E1XpGQ5tHck`w?QEnJn zs(g!>YcL!c#4-S&h7^RueEQFEZo{b4q{l_w($U03NAB~}D=jWipeyVx6bc$0IL0ZH zzb0&Z^Xk=@HcaTUQ57g`J7%4kEGXkkah^(7F+j(mWd1CeTmk@ruHn%I_Jl)E4}yyW ztQ)bm9WrzDmA@It3nz;M(Rdx0l|G;lk}4A39Ksw8woQOV5OlAvU^Eo_G-~SUyO+*! zgc{YT>G`>{H}tL_!*fPJz&cc|sbERJ>4Th^i*~lr&{){2tFf77dJ_BDe}a>njla`JTNi!Bvkq`?*Q5BKWRuU{h&LC!{MBrY1l44exE zH6Dd(!o-O+-ZFp2e2;p;K^hu<>Wtb`i@9(62gB&htu~Mi@fUCs1W&E|Z_nyk%^lQ0 g{;SHZCBGWonA|gMi_U|Q3jQ~8_&AGW=JxCVFAfp*y8r+H literal 44706 zcmdqJcRZKv|3CaT%7_q^6d5IzB)iPeq)3v4%#h4%64{xhA}b?FNQ&$orC}8+JC&J{ zNHXr{QP=l(ugC9k|9@ZK>+$*4rQYxJJkH~Iy`JlJhG-r?#LURWNTE=ej~rIjqEM*A zDHN(w`jz-E_s{1V;s32PQ9GncStkFNT%Hk4q3}|UsP5NxOBm~R_tO4azH-t+@J_b) zora1VD_+)fF@^GRP@SnMpl5t?nC;p%wa^?LtE|)3o}C_}r_L7GYQERobyfSsr$GM$ zs=WTJ^jiXjsrk%$w?$vR{cEW|@sju!V`_%IXObocFDcwfD7(}+kG?fBKOrx`EcOnnJO(wLN&~ zP|*8&Bhe}|u^E~0XV0YapFK0Yr10p`BYOvj;i-v;h=^uOiPnk6#zy-~muM)K5?nI- z_SIBZQ}OWdlB$HQdC-6TUWP2FGq(lJ1Hp%SLK_PwbN-IcS2%ficVI_yJ7O@b97cE9;d@Ud)J2t z2U}{Mm>e1QH5KL5JasByWaPs8_wSRRJzFO!Dfu8bw~)c#qrB%^UcunR1;zmCeTj{N zl;WbIs<&^MaZlt6^l}0Zrul}3hQ9a9csHD^DU__0nXHpVMY&MGwc{4!(eyQXIqQ@< z4EK+Ed9=p!D3u$sgx0kV^yW}~cz9_deWv(e+6l(0W5c7#p;U}Y+Su6z zRU1XsIGdUZ=;`S-V;KSiSH>rIvxgs~Nj$zS;APfkPY;ip7cb}(6ci?BX9II{cP}g~ zT=X~^5*!@3DzILGRXO>|lQmzzeihoa>%f^a8+Pp2aZgFtz##nL!yV)v@84hf{rh*R zCf7@s{30VGk4@;f_J0{kPQ@aPkBiJaKGBq8NBsCnhGQ ziw+MC(w#eZZrJt8l`FI>R`AKlaQgcCPX788q?{6E)qtz;h)l_&v$3%e+OebN*3Q$K zIy!+jZmiMP)=tjP=UBUTZIR?qCC*vG56<>>H7yK=;`T|4j-ncrlDcmv?(k(nb$us zkY89hOqO0%bxSGRMy}4zPKVz=%<+ZJvNvO5)NBk44APTQqM}%7X=$DQ@LkDKDOA%FRo=U&I#T?M=k{qK4tgdgoC{iI6%{rf9$Rry?KNyIN}TN} zEf=NI9z395v0{bHl_fbwM#iYScOz?RlyBa;Rb4Wqm(%`DMTVbW*<%wI*A4@t{Sr|l zqoXJE^@YE`)Gu*rIRB#llWC@=5Gx0V|I3$$RSz8!*td^s&z?QO5fKMAvHfg*U>?Z3U*kRa>2+M+4xfT1Cex*)qgS*qLQZ`Riz<-2}5zxA*Q&WWZb@6404wPxPl z3VLVH_74pO$HsC#ud6fu{5&L9%$!kBBZ)~-QL$KU8-MEl3z|XoB_;drrKj`l+QqzK z!v-1G@lDu^6bdR%tc*kI+n}DImNfURJ6a^^`Ru1YA4u4HY30X{A78$DRrB$w1$lTB zB_$=w=g*&6H*b#g_ov;mWlPoT*J|G$h6G!Ra!RDMnB?(FORu-GvXXK5OxxPp8Wj^m zm#!7Uz%IzEpupqc;1DZewT4_3PL6AXYAvb{&66ij?)Ch6^F|$uT7?e~6kN%`z;IYy zT~%3`+Qh`9=+Z$|3F-zeuIV2?qHf%{y7=eU0In0~v-v`S7R!q_cf|LY)-&L6er$1G*%zzbb+@h@Us=Dss@=af{~E8n&4mGnQ3T11}uLKJ2-7|302Hb$@@q zZjn9TIuZTg-_wKBHDdg!#v}KG>RVg2#=45xm*-w6MkOV!zI8Ovq*V z4`FwI5Nb)kMwxf#&Q)})H&s+`qamvFJR~55eIne!T@d&hezO zseu8v!s5@9UO!t7$vA$Ymy?%wXp;YB)No^KthmMMN`?SS&I?vn)%~?WQ@;oAn*JK^ zwzRaYvMKBi^qeSP|2k&(;NtO+;J_m9RpIMGS2Q#D>C7 zfK@44ne(PnsuHxE;Ro;CyJz$wf_v_B=x!qkuIo2%`UmlN(Blq1Zx>QkRnfewVrp%@ z^O;R&V27b6^ZMO}&+!3y#6tX@2xW#bsG6N}l=abqhm>6tAYGrFEsF zg>p+fg$-5t(gcTw*1pqF3@@g5*%Woe>u4GjaVCFyxE?fBVnw+fq2<}j9je+%*b1T9Q{=KFXEFPELO48F;kOv*H zY426(9ygj_-LAcFAK5f>G6ZD=uue`-s~kJV%(!aR9+$BXREdh=7bhy06{PHX!uDSJ zX4LV>KyGtfuqErrDUCE%YQ?!~7W?_1R+|*Py>w~o(+)+NbeA~OGcfobO}|=LC{4B} zI*g(GG9FOTbfYZky=@m9mKT538i^{UXgYcJHn1ozuwMH1#`k!J-_xh!@ zJ7>-`4(5l)#x(hQyS%)-Cb5U8DG#%<@-DRPc+hrXZf>scjz!Y&8n@hxh|x2-G-u)) z%xYfmt_;gOnSpOnO4s5O5~AO!lZ{75S8|#8>qBRuPx!b99{FowVN6}Fy_cUPyi-$E zbqO{kJJ~-dCCOhSu?qm;dVF z8I<;3a7*bJEqycEC_6FMDz#;c>ihQgPd1(cujlGF+R;-?-o{CGi+B#2KV4nw@_o(J z)RaMe<>G9obpE4Ui}KY@HXEgF$MS6KdJfW@8P&WU9WC(wLIHMRX;(TcTg$02?@t@T z53-@pEd9(-WLA}@IY0Hej(_joGZGRK^wAAlUcG*u-X~%6Nh1E)X*$1ccfGVItfns_ z)(#I3rBh01%*2BTiJw6yRYPu#b44Lkb^%GC7T<+9gh z^`(>pw-MVqZkLht0QKt;~`) zSs7NYtLfUGy?y)kvR-{znH-hU-0$DccOnXM8q7)_O-XCLn91(&ee@k0o1?nA+F&W^ z=FKgDSf$z0dpia+JKEa?DZxz&f7Hjdf`cEhm#(h~+bF%7V!yQD?s+UItass?G^=u7 z-U}X;f32O*U+K`HLzPWx3%v}B=bvuCzbNMGLhHV%E?4xNzgIf(qaw*XzvqI*?AS;7 z#@g!Y{*wCM!`#vrcrV1GOFY{DXrp{uDgZm?(QX`&{LcpqY+45FQrg*|Se!8pn=(N7Q#S2`=bHM5D@4*}loLD7T`7OzVe7Oo^ZwuC8Evc!UB80T|LvR0TNl5S_LMI@ zo)c>?4L05?W#Z>AIhw0r)tInX07&ThM!PbHr=uHK_wV12y*OSxsA^-AgKolh&TA^* z?XA*81Nm_a#Xol_6|(F12neV+IXMNRDzI(X@G<>+=|sg&p9vA2-=pW2cU%h%4QR3C z0P5veR6KXFyW|wWiqoB#8I!1ph}90CpEK<7_-RSybcIj-Tuh6{hncaDPYv$B>v()g z-dVrNgL~*x#jo;-kjlmHcAsC}+F4^J76R}z^+Iv!1cenx#o(KBn&ix(9F>pOx#fbO zHFaq8Uqk}H=2}NJ;%qvfF{Ep4_g?O)*p(K zoG+J;I`dkWwp$lky}R$7m8p1v`KEDXr?6I3R2Y17@2jH9GpS<)z8A*F+B-Y19e5GBK2l-+!P{GH?e4=f9(fJ}2m6PI zw|8}S*R`gr)#1T^Z+9+#U3B@63zZV!L4N1(PsuU;iIR$>nSD_O>FMbqeIeL_G`kcUrk6|0cqoSkz-o{H0pgH=hk*Tm zddMrx4++RkJ!hx*e0?4BTHjz|=G&`bUkUy8oio{KX*71_Gwb*T1g6HGHhm7+mZaq3 zB6a^*yr8RGU_PEp8RW3@6jEn$EvGfsap{%U@MFjNOqrb$H zOLn8=1&$uC>0|n3ZfuGR{VY=>S-D_gOlX_Z3ctUw;~>wTPV{T6T$vH@t_d2!;Uh=DzgOMfbv97ay4`4L;kRa{_M+rYey)3A2L(|5r>0(P zHf>6hx3sf+k$NEX@%gu0!sjYBL8fqwIjpKGoqSHk)WX@>`9ryCtjzql{KIN$(Sgz1G>*z%A+Z1IidCZ4?ZV>=Y;4S?G(23nIwwx}{>Nfuycc8~ zFI_@?S663Rvt~_HY-})y6&R>W=GZ%DS=INeQ0T!S@tL)GrZ1vy-ws5-K{o;u{QKSV zo>I1zi!NXUXXd70HBc zR^+)*pf`RaBrqGY4yacj3ZTrTZ%mCz@}UU{n1O4%(fm6|24xCFAMaD4m*!z$c zOR{~g$HWBT^9jE_bLPz4Y^R-Zo^IdQuL0Xn-Zuho1zuP2@{+3$-}s{EGC%(frupU% z(Vst?B*=T}%umYV3PlV`XhZ9$!L5RW=|QD=!PUVS2v^4<=6^1Riq?bG71V#%|8|v5{gog zo1UI-f$~O~{P|PW%xnt~7Ap@=k2zs5?%RVs+93sj3X0T%Gid7S2G7rXP<(W<4rpt0 z5G`Qi#+~vJ*REa7%F249wjZ>qd;!XT=+m9cPndOCr zg>RQ1N^(FE6c82FtltWuqTlklf4%h{P9`aNsYJzlfM7Pt>3)7R3yX_v92{F#G*ne7 z`TP6x^72xssHi4qW&$8tdG2DUa+U8RV%wuf2i@KG5|zqGS5NQSlP6+OQBod0WIX@$ zj7JhG7StD;tHy&oj)pgZ0%<~0^46mY5LpS=G)z-*$xhSUeCyGpM~y@|FD7N^WZ~GZ zf(`-jf7tKt-OXN?FQ@m)%gcj`KnZjkvX8R1u{i)K0Na-6GAB<8tf+xFHv9{kleUgd zDjp}Gmef0lnjkm(jf|4tHXhQ{WW9RzDl5b$A0NuN6R>x3P4kDyxcK-JIy&dsH|+}w zfrz+W9R$dUft}L#8 z^iNKvmBSP5N*|h=edg!qMF#fm+gGCA+uh9#@ec}E(YHq5$Ve7k7m@C2^>{&aHwGTu zaE9e9Q2F87Hoo)>$~%Z@_wV1gK7KAm^DxyrTm&Ri3h&}-%D%+a&^CA6I$AQA4mlGf zPAk)2C#&Gj{pjd-k}6FFH4i1rX6`|ARTF|b3zZU3y!D5aq-3?FM2$%vSR2jUBk7`o zg0;%@pc~2f1rQJf0iW_K4h4G5($dn~qpS<`pz^sejGSJ6KkPI)HDx>@%ElH>4?#Eq z0?OI58<|$p#KpxCt+T%VpoFw^T29U}#@KesiVuO}qixR;X$+u-zBwoSt>yuTR*%o+kL>l$49!2ZXM?rpmYREU6 zlCO~^uAEH34>w9(^f{V7GBp9s9KYr)x=Mc5`#9tJ{4tOb6mlHYjMdiO*y5i#Cg;#8&?`Ue=R5@v$w6St-7~&vtTp>r4O>`t5-(}D9|S#+bu+{ z7h+-!AP9a)fG5ypFd$8^Ww0sso(cAz=pA+Zt6S=l)Af~=jqSwdy{`-?%--ZQ+1LbB z8~HStDPO)^{&p@)QbMBYqLf-?{M++mJ>?tsB|cI+d;0WgY-b7u!W4uxxDYn=?9ikZ z+>Q^>H{%x*gH8rCwP%k#qHWf_1A@J zPR}X$rA6-xRRZuSxwv=(>hsXh&|`*N{KA0RcCgvgIX6Qu=b*j4DBKWMR#qQWX;=jU z5)vH7#>Pa*!;dy`f9yYwL(QTxz>75_Z8|~m3QvrPK@HIL32kkE2$*U4`P%!K#y)?( zdLr#0d8+7I@B#eq-aQx7{N?+1d844qfF~4aN6ar5NGCdbcIV7Pol~b$va^{^ojTQ8 zgy*kc?6?9?k5W3AYxds-NLvC)c1^CgdLx+YeQ59DoCTr=(jq8Cu5H>b;@ypk* zd|;4_*RZ9CAru-MtmNia^j>YG)~`=XPF7-^_|H&qaM9?|Y{ ze7!69+BK8h_o6MuzhuP4+0R{Blmx6?72V+f;e#%CxKVrdnOIp@k(%1tuOczQ!9#(f z60;}N)K;zDtPuA8y*31B*efg`C&URje7Fh_a}N}=S>6ayEUJwAk1Z8T^VYC3`XO6b zUc9IZ;CJK3jmJjS)L6!#!WC#Ee10iYD{tPuZ30Pr?pNh9c5T@G}&cb|&@EF*$E{|K9k>F!fH zI-fT$&(XPzcZHym*1UVi4pmr1OKZ)yxA89~bncI8VJFkjt>)djb%p2b*nR*TvXG~; zbd2k+t%brHU8;&rw~;Bl1M+&FMHA1(&S%U)tGTZpOsjrk{`xVb(k{?`8kgn$Ts>e; zvlG3MiL$Prr<)WHojl1-;65RYx+PBAmz#)jipN4A+cVqlYdL2NQ{gtM#fa1eGH-lr z->)nqEBo4jhuIV!h>%iLOv4IB)D;Ias2s8+y2vq**p3uY*12bI@Gb%Vdysnl- zF$~?H__Y9kD%*M0pn51Za(~92LgIOj2lE($D4`A39ghN{qocdNvQbeWyiECRUZB9H z`cUG$^G0+uAs})P*int5h|$2scW|tK7`rv8R}^A#@oQ`*V_Vf(30MYMvHP5N0J%88qLW*i8(<3S zCftXEaYbdFS(Jl|OFg@WoNsova8XH#2?R1?H+&I6%?K=JTgw%|`k~BSJjv_FUlC>w z++6hh8_wd_Bd&mbi~*@l?|$RIQ7DDoE@$s%v_&sHbl$=RZcccs#of#6G~}jey?;dC zHS*_?;pI=I>JxIMq8SGJu7~zTWa7RE+3~2-g#C8B$^tXt!2C(x^H%B!GHh^p0^{R1 z8oKqb_;){+&lBFw;Su-IDb7(X{cgHqQhjxWW6Y(KXFSK}f3!04^$iXN0e*9=Ti27{ zS@!c#&dt7Y%;Ex{C!MgxdECFSL2$Uj>EzpDCe{z*r2c*8 zNth#f3=~La)(hK>Ud}^z7nC>T<)~1;btsIy{C7r}_GN8h67- z1R0@cWV}H=V3bp^t=$Ux(!~#tsZbRFw%w-c)>BbX<#Y=!tbKn$l6Vbo#G9NLat}rF z)Bz2!u2}<$xWdlP4gxkSTqu`8#b$`pf29`|`JYj5Jpg}3)|=4IwdHzm6;zMqeRKY4 zSGp6?u&9z>?5F30s8;l=$J6to_&?7efVE~k-$PuH&);nzT$+}Whhx3}oV7;wcYJQ^ z*W&-1UC@1eU}S%aW-y*g*U)S4cPKJ@Y`bKpAWrHL)z>n11DkyKMENhC@zMzep<8}- z4z6%~C`5tRJaK~R>Bq27pY$NWuV1xZgqCu#w}Sf$)I`|c5%|dDloTqsXEM$s94Nbg zy(pA8c}iz(nKFHRO5rq3iQ-*{$L$w1(3pPw_(4DibpK5hdw4%8nc6NJmhrWpTsQ6fu6>Mr%R1XwuIicM{ zobnzLpyd9L;Q#Zri@rbWyx7QBHq(CgdQwsZuqxcm?r*=L_7VC9E)7;r(f=b?-SdWp z0uTfC?h6qblE&&0Jx`OwSrq0yXl#^T?i;hy)1wY$U_(e@+;^Dl+h2xL`10jTCD>%@ zg3&*vK_G~#_3*Z@6D008iL&d_^1*6vm2Sf67cm>^-lU11N$n#8^8n9x^nXP8)mH?! zZVdr6;PYoiXQcK4;U;pwa;7#Tv|Ct7?+w$nj=al{C~f(TyaNNJrm4xUxx-^u`>bH} za7q2y%L`L4q?}!)nGR-X++9ae_4cm#w@PAj5goHn!Lwy#WJr8rT&qOVqHz-eWt082 zWbfuVem!bgpf}c8$PzDQLp`}%ZvTJP_3yhjT1w1zE@TJYM+!iG$oe}o9bM2Um)%T! z@4`xDdb!yTrZ1bC4#9`@XZ2gk`U9JX8sM6ij_$PqBjB+>?b4*gq`_QBXy`_<-Z+Qh z)~#VY@?5x2t=`#>yx(qSVPT3Kg3H}p?HzpnNCS)rL*rPRvc#vOvV3#{Pz4;)PB_SyGIWn;%M}_&|K7!B(RpHv_ORJL|&1 z!C}<-%qDj4rTY@cM%^!>pANTXb;SRkdH+s^)4Kdlc0u`M%_;yV6y!AL3yHUR6%l`bfLU zbGj2=BZc?2h{3)g>w=OqDJZuggLkhOqC?Z;BMwIL>>?exrKd+>NI9*}gbfbwW6+4t z5KtXsR6rG)gJm*WMw(Mp2oQoTY6yR1Eo6uB8!HpBegl3i3ROFE%W6~-R8*mQ^LS0} zANy3WYI*5b< z0Zygr(W8ts;O*TK0y`wAtGbFW!SJJkf(O_4b3upU#+#?BUZo?zqfGz&#S83U13y;k z+=}@f(82ow{KLY+_PbAe;5;iF)VHMdK}g4Iai(JqZePgV#W4%AKi=0Kl=yJ@_tzNw zMv$o4a?@|bNo0a}q^@TGjNgR6Y^J9Gt-8&Av>+D{e$bD&>PUUOeDmgJsYI%+xtWlHG7xVEXxsc_Bre$Jgl2Ably{L&w+9`egO%St5Es~IuGJ&(I`^1a^+Obid z?iZ2BgEFCYSHFBQ^FpB;N%kM~vdoXemmniES-1XNGQfH0 z`rSmoG<5&E_I*bOAX~U7@Rb{Gh>e>&oE!}le3HqqhcSQ#dT9Iyfm>WB3cHGV+}+*( zCMl}vHWQ3H+?r1MA|P?!*qE@Zy95(t0^{C_%O47?*DEY9Tmrxa59d*wZ;3=|X{)O{ zmZxTq#HSWqETE>zU}GWy`Ea&5c-IT-R(Z;6-38O*m6SZicnuJoERasFVL0Ms$~ii( ziQ3La39KL0LaeR3)YTM01+w&5LxQu>8s6Mh+zhz~I=_n2i4$yCt;biEy*J6&Q&##> z5$zsim6%Jzvbiv2R&$``)VV!oB+#m+<#BP+TbJ0S0 zCLG6)js-6J2CM{rKt%T_1Xm7(uH%C)Ixa?>9tf42|HJyo!4Sb;OiT<9ji9_Y347Va zEgGL^pLy!GyPPdGIhjIYOpxaZ(Lr-UCnOo2>A|KKh>`5MJnw|s{?cFvXi@GSi5^=xcGH2H0b}a>Vn8NZC5=WD@sLTY9S%MP=dS6Pi_Nd zB7Fg*5{!;~2cdp>d2CQ~fW@O-XbBZL5-pgw4RS}|+Q5T%@(T+1wrzWHKW2xl>_*%L zrSJRqT`OK9Yz7y?bnHVOcybVm)|)mK4g47RUr1P3b^m@}jx|uoPn&ihG4y;~Pa%Uap{*h!w<}WWJ3BXGC(tu99{~FX1!P;dE)dL~ z4|=q>xA($@;w;>rHrPAX<@6){{n##`*20TrUcaAkFrmW1kop_7>oPSl0kqsQeFF+j zgI|h6FtnLEC|ehmkK-@F0wxLqw3hf;d@zaD7#Z!=?7)jC%-S>5w~isan`?T0+ekF+u$8`lQ< z?)>{RW~isVFq#Ae1;54FfCI2{bIU9J`%GgEfth$HUg~iY4B(xwdqH3YkHtN&f~GE^ zO0Gt)(pw%Heo2_Cy?xdE%&7T;zaL7&qH(ekYN86FzK@m)wS+iGT31suO8pkO*mFcC zJ_Tn6q$EXqX}R*YR;DV1B+~m^SnHb)FWMrYCN(IzgM$&g;&}aE9XQv`Ep8rZU~ZgE zW3f9F(xM?;`p3k?ydfXk5^jR)mBqe>PD_s;5=9c?Ehi@yFHi=XZ#&t1P$mHyk@I^+ z0s?F^*Z+p+iQ57o`JYS)Gu5NqaK6+qH>l2Jc(xeF2T>>d+bRP*hOzj$2JUEmjXP%X1t+!>JNeR;ku1QIpNdYv(d&RfJEayTzv{`BdA5l z-CXxPQS$ZMx0OgnLC~myRmBxvf4+IxsrA{befU15fAtgb5ZFk*XcAqa%I^gN>-XQs zEui#2c=%BHpO;89*#PCyCJ=%5ZEZ(9I}$;#(8GxFQ(CHKoLOr0wXcu&`+>8+VskvZ z(5_%l$0glz9{9jLx{{r;G?ROUiZWg_u$mGjwa{HWUrQ*kGX3_KdY<&z@~hf=XsuaP zTzx;xd!9TQEm5B3j@5vC1*t&FxD~4a+k`~a(E*T7L)UoDysu?>&mDE5kRLe`^7HA# zhetmdo;rOx4Q?aQ(u2&*;b%cjTnX8HN3+^oHfAHAL`*%K=xo`@_O$i#+?hpjGrzm7 zE?fX38WXF?5ZKk8wxiwV=FD#Zq`zYL^LCpXhPe}BOBc{4T4!IPB$K7WkN`|VxS(un z)?7tNCe<3Uc0`1n(P5gP6bBz^o#?a!`d|R8ESW;3_h#GHcDTFA=%C}EG z$@yWRg>K{=&W6zL-G^Yv!z3q*^3NhaQe9D0#EFATspzzt*u-C3TT22~gmwd?Ny+D{ z&WcJH((%!P-d@FQ0=VsA#Z`=qn%df1X0m}>kCY!jO&9d|u_zvFL)jK5aom$jX|2(B z10WHa$?k)4xPkwY4kVBuAi%bEZ2$%+;y0$T&z!#D=e~~D{%?Jnv{qshSlpn##fJSOy5VKoE8@a%#j zSB3DpRai6r?@FYd!5Dx6j=fAhX}~h=&%iGF&jR7YgaHf|A4tP*+M*K(!_pNdSoq+< zl~0~NO;6T6bB2L}hkr|<%GA`9EFCazPj=k=DI1$zNL;6f7djvM3iw7LUR6BnUYHqx zz|*zf{$gC=%s&= zGdDk)3+C&KHbp3kh{)=~F2_|Q6hz`TfG3VIYPDhiCrP<;XZwl{dU)ue5E!$-c@A5`30ZHchevfTDS0fnuMoai=9XY!5$wAtIG#}p;VL}}TB>%E>*3mKAOU#LVCKXL@|tNojUWiIAaG@SkTfR-Q^qMK z6Jj~QPa#2CVgq4v1z{=N!2yh|V2wTwNbg`{UI~;=c%;i1CmA?^W3@k1+XVI(0&U8$ zj0BG-2)W*QPglz?@eLU)3@X(1lzTcL(~syMA0OZT`Nv_Akruo8!-XIZW*kqfK`h=L zK}>v7HJIV;v$oX`elK?+@Q87ut6k<1mcTef1Bcuj2E{)0-aT4;P;1aAuHQX2GEk!2 zFcSBESXQNdd1|ZLZ6oB}F>Uk3{iDj8DCY1xckW<#Wyx1VaghTx1my1pCKSR!q>XXe zu%h8!rS4C|6a%sKNT?6~Ln@>j7?!#fUVC-2b$zjyUK)H3CS;Xc*2M^70#IT#L`Ra& z6E-Z1Ef_izmBsS4?&`CCi|7t1h^$sP2F=TK98`gWScC$%s zAoE}GMNffK4EsGB|Dy>!Si`G!sfAONQ_x!uNWNHZ^x)+F9 z=6U^gTzN1xUNv2-AJSrVib~KV#$Sk1<~EXXe2!tQ zuOe2>pGusw08H5c0?EDCT$Flk&>AHk+uPA?qd|A6yw>;Q#dUbf&wf^rKiai5+|4gF z1G9t!#8X36K$bZKNg6MVyWk+il;-n&&&sW!rjXhqc3MmnkGH9M)B6SClEy#7CnjSuOtnR^yv@asVae*~|Odq$qJ$;tp z=j=}R6mbs$>^pdT@WVgL-=T}mmJipEpWz_LW^S^dkDb%A6{vw^n{lB0;AtXR#=3re z(DLuQ%f2m^`Bt9&H7m$@(adUt=uKwIz;H_BwOhJnfNM{myS(;f#_<3cO8C17@A{!e z9<@OR7qLUXviKx!}Qm5fHh&Qi9lrHgj5FL*j1#qwY(X`$bS#%(zk%EAi zpsl)jdYa;J;6BUi^~T-fPAiVfAzV!ln-^X?RI2Y{IUuFbVlaf&*H`V=k#N^A_XQmL zfLp#*3TerqyFuu2zUl8=(kBLLFz^yLa!0C+4ADUtfNM z9lsS2-TuqV>sX_lNLd!0j;G8|6*`PWjUfDCCBPVqMjw>|ZJNEC^|;@exYYBk=jCj2 z#&;{%&SyQgy`Ix?Kh3t-VQjXBv|U6eNG-WunsD7BStB+7)ytQx@CeMz%wC?VVXi&3 zO|h_`AOwSzRn|UzI<%^)O2meEqFJjH@L$Pzpl3o%8>Tz>D8Yz^ zA0GH0Yt?HUZbyJ&?s{c<68i)jD9JCzpjz&qnw!=Il^&SQF@gV8?p;wne5Mm3?MVvj z?(&~nG4qC=-zBM()Z?XcI_G6IDyK)yxLv+~+6u#J5fS$*sLQv@TtCM8zctoNEM(bsJR#~C3z<)Q=VW*9(dfr#h7+^N zrPzBjv(A5d&UW!!wm@+(d3XPqW6Yk^m+QEk_a%~`$(Ojxcl8$!-j%SrLE%+EN=Q91@cAS44deB~g@?yVL75G0v@u;QObNyjo{W?HpUJV)T+;t*;LPfrmKHxH z7>E6IEbi!~$O|n@>~>q&=8k_N|oqcx=M?-NxZt zNrz*2g-)%Zewjku`)*ozaM-=4TO}`HFyxv?hFcO(@U}!+QJ)pmJE+zKGekul_n0V+ zuV@(m^NX%B@wH(56TXIfUP+NJ6rQ|kY%H^gb#MAJedo!AT?RBXe)}sG6KLfyDL}0> zQ8v9=TD>g`nytps^e4R&5AP@5zFp6pm6OA5UlbD3@Hoajbq+HoFI!u0Oo-Me#Kf#$ z#3mb*Wy)d7zhW6(>v24*ashw+ipD$cDc`6z3=sKdynVa36;7ZEe0gsQe?VL zT*_@b*ILFE!$U*O=$gM{7v)FG(>8K)vQi4xWgSH_jEYx9MTMWgwWDJj1(TBZr3|gD zN26|BOG)9QO8)lkoA%k+%Pdru>6DP-o?*#{33j`HZ%6-kNK%ev?xq|+em2O=FzP;kEVZG z(W+7`YOt}pyZdrr`R{M>y!<3hM5r{J&|rGUVlUOf?oLdaAYej>75eOQ73|lDe=LcZ zwHsO`oSdBtxE|GXh($g_rV&b6SgFOD2q|0vcIhPd%1bPPaV+z%GX|=)n+}1bLniE# z4ci`2s9uTq$tDFaH!ZmfRjB$D!l-6{j{!9P%@R`jcyzt-UW9@vkL6Ouhr_T-f5{%d z(qzHJ#6(L$akg(-|L!Ms)ps!NkPGjMoQ7}IyT`@GQYg?W-Ups5_b6y8LNBNI0DeI| zf}OFF;&az~KC{=Hi?PihXmPPCQHht>ztofun8U#s6gQ=6^U`F{iDma!Eqdn_pgiFM zIpd}6zRBL)Q|P_ufunfr!CjqAmdnk8K{N01T)sy3A9s~;u!=t$6vvY9-t*nwgficB zCe2*zivVK2zvx4zVMLXcu+YkM3xFAa}nTySk$xF{rB zS|3Qx=~6iu6Jnz{Iy2hy-`?IFZEypC@YQ*<{5}8(=Y(Hyv9e+|%O6mvqtJvtH>08!? z4kP;ZMfN7&#=k4bwrKZfJaIF62*Z%4K-jbYPH<|B+?XSt8c8Xt?o-+my-3*ce_a00DM9btEYl zz=DmkhB1JqQB5S~9ftM(BzD00rKdoNu`0_WQ*hjq`_{FUmi6GKS)UfE!*`RrxS6GjHFr#UD5z{WeEP zFtkcb=s7qPs^`z2&qveTAtc1xXRGG=*uCMaqX+m~k^6>?8{fgu-L9aJL@t?PiSWx} z{ark55L(Pdsq$YBCZ8)R8s&|W`LO$pfv)ah>-KCuh)4+TrY`@fTo$;a-fpM$5pn>I z*7d_%_z_AXn*?&h%!bO+(s;uwi_VTNE`rw&tHNx|zchFpPopd&^#uR*=93!o2OyDc zSralJF1~l~9iP(3`<53j{I8|VMR6)e=xGZp{SZdj2V^((EF!QchzXi`$T`1Pn``=g z-~8!|XqziyOE$d~i8w6{A3nsw6j4K(^TNPti;~*K3aR2#=E+{7x(aO^xl((WX0O!z zfL3*RW^ITn|2#q(Z(M~=wibO5BP3x>h^iAf>Pcvdz5SEQ&LeIB4!FG(gAy?CtQ73&T+o1F|ls{#hzb)4f zlh-+P`CU*12=I)12KY|J*>>(>>|wgF9(cXQqb{HwzgJr*V`?W2lMJS%p7>?NAuwJ+}X<%jz~kDx1F4+vO6Hr|B&{d|Xl z4p$eKRt%_WNJ&YVnVPDg%8Xx{Hx?V3m`{MJcRctjcP?F6^-ui{!rprO!#wdyo_r*F z$+Ko>XP-xkN`dd0Mg?U1X2gS!@Uk{zvu$%uGb{T>v2h%={OT8y)cYbDKvfS}90pqI zd882!K)m(}lK2{4S)LRO6>Lc3$~^l9E-u7d*~{_H3+)pps$F#jzJa0UU;HR0CM~@U zn*rNBHOA1xs-|m&lpzbJ-wA`@3bTeAM+)S_^I?K}fcZDHv|LA{7%Co2GHuW!gOw7% z8>j*t?CdJ|9lrE)z4hv5!NLd~h1j9rm*t8)W_Caij?xsm2f6Y1tIL+DYgog3>9*=< zYyXd2g>eOf>iaS?l4=%z^)|`(UNesMJfupJ+lZ|O&ds^$o;{1OI5$xXkVtvs>c$=c zs*bXPh}LEjltviD=u1L{*>FUNLK8}jP2Z3_)<)3Vi3`zs>^`G&ElSAt2Z*KmX z@|n7*zdn42WAP>+%fH`p_sY@+phvWojc`F%BCL@(G0Azp=IF6w2awny@*qTa;viQ3 zerxyGdvX56mA>EF4l^UC{=QrVq4MV@dyqxFiYyz(6mCv5a|XIf+x0w$+(D-2!E8(y z=V$(2CL3F|t7X_q_EgKU?f>58qJ-`BV|tn>29T9WxCSzjxqK9pIEB9krX=C0NWUWm zO`Q4Bj@%cZi~VR3uEEhdcsmd|b)>Dr2Y^pih0T&@^-d7{CY;>G8z|ochz^oa4a96n z_@TH;Q&0p9RDG3|J5OPMgiDc^=Z08Jn7(aq1vB38LPRm5UE;B@h186x zZYq+6#+o8)>I*vvLbm{>4xnUs1<8Cx=H@f`Hjr9mLib>gkifYc9@ZX<#)SP>WMhp5 zZ;X%I>X&=0?Y*)rU$MO8*;V8~1DoqZk%IuyI$Y}QsqZu&Fx9}JLh@4Lf7}%$7w{z{ zyAJ;%5Bc=ixVRtOg0*2Kh&C)NOgE8T6R>K%{hwJI&W#%hjV6CsCr3}RZ(>o*^iZbu zXXt=rRF!-yihI?oSByyD*Irw@^D%@f#BwI_d6qe4WeGdiu&-Ied+R89B^3h5M&N3( zidPg$bsVVUByermKG^kL`^B*XRsBgiA}B}zCJP>20Oo5tE$=WK%hcw_6Yj`8cL;hd zP9T~$v#*j5f@8c$iNi1=F_xb{f6lFr+2DVlCIS(&C zwDb!ccM|_4>i3o{v;ZT*eBuLZ*izs+5k>vTk!tKS`^9c8=1C~DO;HCHF>?`%iQ>%;ydABZU&azGGBtF5V_ zhE7=vp*aYThhI)EL4KFfjXP@&nA$XBgW1T;UCU2D?Kgda-YLRA@L#dz9ulyu{hiFsyLog@RWf%+1f^jc!4n?w+2t zZEd%{Z+Y_=`7bCUc$vgzoY1bF@P7c?DHJrZf_gRFBV1)8GqdNHe!g+jJbn5Fce7nr zkuP{R#801K-gTki(zL|Bq@^XW9?6{SSTl)-n6<@t1c_?lZxx3jE3Yz=Rhioj6Ac$MMl({z;Pj*dab!_Xd)X{v5( zTT9*qh@ml1v?jHx$xNKNty{N}*UzEQKuIg&--G)=tD;cOo;~~M#OKk`*K4mKRUo&U zO1uTTr>n$ym9%Xa@j;-BLDvibq^9_!r*DO&#LCG@kEk&Wy@&?BVxeBZ<(sbV#mD|p> z{Xy;xKY4IWLx`iMvGI`xpPhvT9lG9!&dy788ZJ?0_0f3A#sG|GlEQ@Dh#|Shu!_hS ziP~-94UR3zCC|xpInw>ed+bNdfh;=E)z>GGy$dGp#Kk!txc4whd$9m}{Kw7A%k66W@cUkb3{upQJhs3|7bZ&kJxc8eg~oH(*t4Y^;)o z1`A#~DJm-Jla$0079O60P~glpU|A(z)+#iL@4TiLFJ|w_TSa@-TchCUmNk~2y6|)m z87#iy>g=3?l~bh+QKhD!kKmPdWPnv)1ZhONPo157xR2J>nzjDrp<_wfboY`DJVO!G zW9up9EqwaaG}6dKFbq`;qZxQN13P4p01S7Nc`$--@OBHXwsUb-mX=C*PmdlIO7DyE z2?LHJ>7c)i;pG1N7{RsG3d&5ZtQh*P6gPBrZ2~J46&D}4ZI>+f{*v6<0Ojh$lJ7a0 znIWDSqz@;HxsbH?sASTPCPYY5Fk32iC#=+^SUN?M9y_MMq{PA(3PF|>6tsv$h4XH8 z*XoZPJ-PcV1^}e9kvqaGB!@;uJ~QUwP$A9a5W+Thj{jzZ*#(A*N@~qhlUA*zliI_H zeWwC;O;*zQ*%2C1#(Ay)jFh-{o*B(!|)9 z4*`9W96)vsP$6*Rn+O1Nws(V_)J_q6+8Z-R78>IcNMfH@|EKlXr zr|d2+F070J`hFfl2eLsj-n@BJ^!ap~?!?F1S4mf^)FrYl%?`eWW=o;avG9D^yC(3C z96k*}IyN9j2qvjzWt)I+RsOwSg1k|rT~jX%Pb(+Z0lWRkuaXsEC zodnvFOEH<+#o zp(U?YgrdUaiP^1>PgY<<6T_7>48XO1kO+$v12P0&lYN3Q2(O?T(J~Wxa@VHGNHGzg z9bpE0I7yT$NF!5CSC-gE+jIQF!6y5BKrP?|;v|=iKW!zvD;s{fzf`y`Jk$0h_*Vsi*S8 z1edy!%LjZW@u>2>E&qORf6AH~@dwE*oyW(e=H{wPS1DQrtdxFh7F(Jmh>RY+O^uNg z4B(SaqqL8kYF^jZD8fd0)$+XYa5%fV`apZX+}v_%D&?~CoH;jE`ej=J$Ufk~i68S4 z);6gdEZX~MEq!mN>Ej&iOqy55q(v#4si#CdC)_+nui@cVvI~jhV#4`_I-NB;1P*Gm zwmBPN2gk5i7R`N%YnRQHyN{%-0}Ir{>I{mczAat8{Mp*CQ-naY(Hk1QJA~Ck9JQcv z&J1QxU!HittloU~I`t;&zQ1nyA@4INlniM$YfXl4C!y8XIW62O502P2@eZMjxt!)4 zY@EK;j_=fEnoyS~>!#yxXCD{$wDebCy?W}Z-x}>Mz8N$2#B>)IFCjQ_n}DGBXpNSK z?s{u<$L8M{5E2L``WyB+tYhg+L)5bVJcf@t?M#OI{hcLZ5QhG}H^k5xa{NYKT z1HIjq2^j?OxdzBvd96Wr3AEuQd-~pRkc1W~(y_lzxO>B)Q_V$>qUcP6N|t`|0Ku5C zv9U6XfNVEO(8ANF2P@P=>dm1!ln6EaC$(6DYaZCuZW+@xUGD|noGB_8o~E;#+cp#k zk)*o_As`tp480;o&Gg#(Ci8JeZHkNQ)=08bJ$b zq~hxm8ODQ$59Ow}(AEjWD??vQsDD3R-j~5i$_mjeNx6bn2FOxfOKS^^xf*Q$tm6$s zMkW#$Caz6tcw1`4=fy_ZQ8jBrvmwY}#g)UIi)f96^Y~f0k-b5q?Sx{{`Xs>KVe zLC9(z9VHplEDk-5Yy}uefK%$Qm7biMqAfasO0vYDY&TS>Yq{QFovPicRV&fI#HW1G z{y%;IA|Jo9ks$9I*}l*Mc@eKx8!=hUB4X>K)gsW|Th@jDrb&GrofQ`qCVdjR?&tZ@ zQR|3@?2K!UEdD^Wn-OKo=w-zeD-O)&&H8q(*BG^}K=U9f2VNe)H>P7^~KFL`^fd-jwWg*UCu9ho`LL4%>OiPHCPu4 zD!DFXnKg-GXfQi#hIDdaA>)Uo0~38~wAtCNwoGrW)2xM(pe9>fqedALhbsaO_6r+2 zIE;{K9xXyTW##2H$8?y=c+K}IdHuSWL|L1aD|o#JcSpC2tx z#>OT)XUC(_Z{h{RTY%eAPXgZY<#q=m?kE)^?iS&xKaL$DSuvZ`R9iT-q)Xafy@#y z+Zs_H4VrY)tQ=xWLt>;_OIe1U`^{(1bj6;|JD|PF(;iFFrs1FMox#3tE9NRXEAq#+ z7x$&T=Kq&&kDNgY404rg)g4=CXk4ZF;z3xmt-9U`%c(!m=j|Zs5Asgas}1XKwgC)O zQUHYanhNPMO|M6`-}Hg{CNp%`|LZPdsL7|_4{P7Fm?_`p@u6V6mTU+zRbXQv++;6< z$&pyv&L6Z~X+i575htP8z}iN(P3s$6WTZ=>X%Bq^`g(-LDghAuD$}MtH{R;^w%Y&M z{r}MdfCjyImw!Uq3FaO1QN$YHebP}N3oT(lg)A0n!X>CfuYe#h3qpW*^tV+rF=z2K znem_M8@!=v;Wi!~+V3-)0_%dH1a+VG#-n-X&Yh)76R);B4r~_BxmoWo*s>)qMshG8 zy)AtietRj~-8_8RRh?y$7<#^{;Nyv7)A9u?iX zAbv2V{l7#2uzaTzqKE-(8={vFakJO2|1;7r*jaNgsEVLp@WE^A4+6TEwFD*K>rUoA z$t&M0xn=t;!N758_2)cY6M7jhaxW7$xvPW3ojP^Odh+BaJFnc&&)>`?6%(PjVM3P- zQZWSA`uD@iD+7iPZv>;a86nSJjqPeCbyzk<1q;Ibb#-bA_fL$@s;%3d?do*a4ry|J zdD*zc%riXcf(yDEz?_kM=1gh3zN+-DQf5%r>u;(=_Bz{A6~aa43IMd{nO{o4gn*6nN+Pd|WzQPyHMQoTU?nt;GQTbU%DU6s>} zv}JPxu_*a;XyZnusq4Pax&-Y1Z=DRIuN$fvrnd$14C?MXqNDeSj@PO0CSHx|Pih`s zdLj|CHMXZd4ZDt^lzFN`Z6VPZVB2EY1ZKJP=~ibs3V>Rn^4`$y37Z0)Ga?{4+OTk! z+`a(NwL)Lbq&OimP)h^BMt_#03l}d+!1m=dt?^VX60|TKACK7DmR`L?Q;J7?eJU#e zvI`@!W53!Q2-D)&zxymv@AO( zCqJ$>A^RJw+itLLzX|X_k;<;<;o;%b<@L9n2M_u)H9^k3{C+%{)#yq2T%d+@R?_i+ zXjgCE+~RAm%NM>DRAe`RR2PBW+jy~ zLp8Ou`cIp-KGmJN<;TBqiPAn^yXd=`{q)0|17Q_fcCFrrX1K@khDSy3Su?nOQy_}P zX=AqxZ5Mcmzob~>xe*9dmoaqr(W9+Y7;%dC@f{D`Fx4Qda^K{Q^ITo)tX;d7I^r64 z1D(dS*uXe|&vIV4u#x;zaBwPkEb0qZZ{N+E)BRc;V`-=zw)V@!j?K5~>2w4HB1L+8 zll}eD9D2sQkiJ;ZlbbUqTfGNDgH{jHA6wgL^yvE=!j;}Nd<)!x(CBk=@Zp%*`cw7} zt*)w?K7W3;#tE2HXofgKh=)d)EPM(AL%-f$&`r zqk;mdgV7L8HjeV>&StRn`tMzPt=pEK|HvY|@$zLWm~9#oRTUML56SB-*Ob;NyE=Mp z+`TjTF6cpC&n*xw4+eE1I zNaT%B`aGJQvNSTrUODg1o+{7y&_RwVYd-VsR^N(L5?eX@EO}Eqbwi&aM`zzTzV%&l ze9H5$2f|`T6zmxa>I(3pw|B^0);Zv5|M2B2S2p%Axb@`8B}Zcf<2O^rYXpH0YEMI- z;T6}xwJISj!5M64*@n*4nC^oV!3mI_ObAFidW1i+Ql&UWmosxCu3T6VI` z+~4uI>)66~wE1EBS_eRV08X6r;-me>|C$8sTCty)KYn$H-X9Wj70ezWEN$yeU|sNh z{RCLJcdVu&awdyJUMwc5SoOTBcTYC}MV>l+`h~WuWrO;oN008-;Y;gdhQG(8+uyPK zv`RlHtAp(a-EL!b$7)nt{sEGT`!>E|kbV1k4MBsqvR?WZuG7}is-86B(Srwz8?FQ# zkq$&hml%2K>+`U}cqSfE+Df34le_PJmjZh2RI&TrqC0M1 zg10zEkBO-^C@d`0hpM3|#YfT&P)FoCt@&Ml^9=ix03i}#V~Sq9P;T6KhgFJ}nn@@l zS3Eo*1620FS3q~e%Tr=Tyk9%}R7^?ASEXn7?wx+_)o;x$WtAsSKX~*qf{y*Mz%$Bx z4)9w3F_#4k8d_Lb(DZO^5qH*rhk~N^@6zJ)*(1&F?CGoxBR{@5^^L@wm-C)7{oP;* z7K~8&Wd;W3z9o3e5W~Ha*o4gC$(O>S{*^2wxtXB92?seQ)klGX2ohM zCdtI62>1!gMg#QvSz&&D1Q!BS`{ZX>N(iec!re`nlZpBe025$Upv${=n?UpN1Lp;~ z4I8`r^c+-EH?pz@fcL`{B!3mfLE#kk(HK+D4hpgyL6GGfP}h$Yq@i0$C^9mN}>lwj}f?w?7xn9&4Jy%US>OyD@$TIT)b?V zw_MhgDTq6->zIzMJDU4lk=fN`E^F9f?twObvRBG%l_AT=jU3yK(J#<;TAB*l3#^dR zfP7sSQ?<+SL1dtx3^Qu=S8v|@NAAGW74ITa*lJ~J6|P3Uc)aF?)X4&90B}Kg|k3$(D5SqCQL~$q1=JJF*p@ z8U4iN5H>%SNO2IsPr)&XnE)~xlt$=si*Niyl6o3b$9HMmBfIx#;@A-J%b7i$J8yHV z8arl;B56&XRK7%-vjz>)z+GSwk9{ebivFsyCS#in7eN_t_$ z6~X0rZoXwS+U_qIx45jJD~A~f?MR;rc_$1$J!YE;_5JC@V`}vcjugn!{okTJ+tM`(w!2LiH?Z2vU1}`I5oq%8550 zDpvLRY;tU%ev@KhYwhi=K~s3?x$qK8mo60^6$V()BapDn@}=iAT@B~Wpa1H%BI@^$ zqoaaDLiEW0l%zPyYjthyTX8$y`?5ul)gpZZ#KPn&>vZ6w*#D({lbFOvy3R9lJj3)~&Ycs&e5#;x&9dt}FVS)mz;2wq>9^5zCjvF>`q^QJ820AfjiW z_Wh6Jwa7Kft`#}PFp$6)qC$k8Mw}o=CcS_EUa%pg&w6m}v?QLsxAs#KLXE!!mqpzu zj66v<0qD`3k-7yFhwYjjypa*UVze%WG;NRj>~?&Sm|pDLH-&$R+c5d;oF^(vWDLRRwRPyp8wK>?2i>%Qf^Ghmyu1%ObgqZ3$A@)plF*;m@)wC?1D}~ic#QR(xN&0f`VQOd?Gi1Q&(D3iLwV1HhA^9K+`AW39pAh8cD|T|Y+VisvpCU}II2GKa z$GBvdv!8#=>0UQ0q1k?$h(lOO@9XdAYr}RtbI~G4!Q_yR&NDlxXE{BVI@@B!`&2?} z&>Z-RFO?;T(BzI6%N8{kF^ysa#=XkcH@|^|KhXKIdpnWTOJ=x__Npe;%V3nUs<3cTS5tXZT)W%Olw`QSMxmt@-B zDeICsT#6m4d;^HnN|blHfbJ4N+imKl-rs`izVrDPtK={kGmH!dyX@Piy=$uDXry$Z zkW86}4<4v1Zr!<4VsXITrQN^JjrB>*2_)^3G)vn-RptckA%c3bE{-zX`zzpaMT;e+xq9HrRk;3k z4B6?Kdv-K^?LEAM1F)pakA&iFuB|-;(5)Nd)I|4+C&>fAcMXu4vd0~Ux7+PtaKHDI zVQJg}F)LP)&}zF95{wZB-Xjg8BMR15C2&%;HULd0{*LRJ6}dGYP0iG`)nfr%5KvOI ztUJ5t`Q>$mPe){SXea8?xrASdY?|T4s~;%dn(#U|re_@sJ%4Qc`Z5c2aEjc!hX?(< zzMO-~l&!f~r_9Is`2)q>m~)`dZU+Yk`;N_bk#T|U<1VXti+S;{u zug2SV@0Nr&?ogsO>oO+bHY(}84?Ky;`4?gOkE}AU*yqJ3eZzc0JNsM=vnvZu`_!f1 zZ=4jn?b}E8`}NlGSHR(fIbAw+lB@m!#WARBZ>y?jr6@S&piKMqp$j^K;-3GK;IU-! z;!=~_tg^miOmCqsF4|bP&Qs&B?;j3O%t1Kiw08XdS#PzTBY83lSkFmv{#hn_Dj9i} zpKj>?%4n*oX+J7@*^R882fV+aiCp}rUrMY~;#S4t$LD)iqUKv`Us*Ni{)+ocby!8u z-1!J!;_%Yc;|fjRLG$JFay1Qh!AgYlI--sonVDCT2m$q}vND3@Yh-xK@G+0G@GSh8 zKY&d%FE`hyG|4vYP9LwF@%w+dpVIW*ZDFV1X3niLuXL*?)raQ(@Or(q_~h}secznw zn-vZaM~-7yMx&OI>$YZyWVc0EC(}^(%E+&EzH*9|y5jWNvq#c=8;`~=V%DqIeUR`Q zXvq}0#FBDU*ZOa1ZB!MUHslZSU`OM&to)G~Z&7>k?6IpMX6q@?S=<95?~e~4@8QG2 z1neCJ<9C0F^0eyV2H#Ip7VJAZ+mmi+8R-Th`lk1lQ^AxDG2q-Lhed4vg9v%?%P{lh zTiZ9S$Nc%hx;uvwqt*sN&teO*rr(VGT0*PCAOn+$)=)y5jpUk=U?kdwf=U34rV7#P z4yR-|GNNNtM8rmj&tc@>T3@NG4p<6gzi0RE0kWp^Rbi9rhWgwgg>8Yh?9Y^^E16(X z7ccHdL6YQkPgo*<=XN6v_nsw`_(%Do^%gOolM&O>jNH0;Q!D@b_PQ|(auF+K&7#tL zRa}gaddK>IUBca|2;btE<3Ze9+w;i*lLwxO58Kq;mH>_w+j#HY8+AiJ{g|H6c%^04 zkzsMUD=hur82i4SxGn`4{MFmH509S@jtY+iSqhcR6n~HDF0o(j+B9uyqc9EoZNBPb zTctxpOtfqFsk-_f#WFz6#L9KhB6=GBG53$coNF4{B}{NokfJg4M8&)_T`XVXdffFW z325L+z|py@eR}++o~)<9KN9QMC8jbZCB^sBe9MyfoRXMvZ^A6sBsqtBeyXRma?+Qy zE#sGOn1uP&k~4>@!vFj`=!DyzG45YH&pKd%+>nO8BJUXJnzgKRe5g&th**vJ)2AD~ znqaV%l+&GwiPcfJU-r84z2Q>~*oVz`RN5rQR$1kI!IIuY@re_2Og><@emvVeE$4p^ z<~8e{g+B}5VP}=Qr?Bp}wMk_W9TqIve6DP+>5e{K?tD5C7Z;$&MZ);QvtV|Ez^vCt z=;k4upB|o>p58=(@ubLSv#)P6 z1q$@*r(XPm!(c!R?z%B**Q8;?ayDe;n%t(liS;=_iDlch+pzeX2Hm;^@FVT2kL_Wa zRQFlldt&st-M^PiyrU91?+MVC)qSmnx3%V9e)N8aSNem`pRX49-m)*jJ@R+pM9taX z`Ro+O!>hBMSMQrve=|PGD$^Bjs#d=Wuy22j-4XF^`Lj00haIZzeRxs<5Bnzm8ul?_ zyW^if32HT2#mX=iG!fSFYMZN_7#F($VQ%q$c^2;^|(tCZits) z-H*2&F8%y)k?K*juOi@;vy=t|45MQ_QEVuix1TEKTehaRrmSz&Zqwv$Z9ZM<5K8Ar zhaK>)qR^Kjz|wMU-m!jnVHo@$Uh>)B&(1I-@OIq+H_Jk2Tq*2pK6PpOh%YYtW`D=@ z*)Vx>-1iP6&BlgcRxzfd0y?|zH~y5TO?-<@F>6x34r^m;OL~RDp^CR}pRHU-)w9q( z_8e10*&1H=eJ`v0fp_@UghwAEJXyl;Hh*rN;AZignoBix=Lc(@Tc?{eDSU^HU_d~K zUn!1RJw+94O)lKwa78ILnz5}0?O$cqsY{pk;?FWIP5PDIC$AV=iK6QJKgWKbOWP7h zsew1O6dODX12EKXw)OJoSJsayG0}}W*KEOXN4Fk-SAwT)>OTIEn4_bAux9s4Ul(82 z|MBFAau4ltm*I=L+zIe!ta#8=i1S6eUt!WKux+U;pbILN8alTt`xPF0VP_%B1B!S% zv{HHZ?%7Z{>!A@){=HJK0{X)~^{JaZ6|sG{pwSdss9+mM-*|)>OsOsH(IbdyaX*3D zQ}?;|@{GFha#4-P>i>E`NETF+*0_I#s2NDv3sgCfOCc0=C`$c4D{rmpm}O^+>uZpL zgrVV|)02N)|B7`>x@Z!IE5^e(yt`q-5-(VnlC>R$o)F*dwpV8bs{76c6(?WvM(b)b@5 z)rad`-uC%DVxPZXsnDArKW}`|pnm-qR*f4qD(HQC#7mvh&mF>6&B$H#Vfi=lX5C%` zAHCZ!1hDZw9GiWY7Nh(3zZ#tLRRW@=Dn;O9Hn+|D*hj-nEd!2R8T4U}jIBN2IpDE% z7rV&f*8zdI>Z-i1j<~+A`~M8C9G6B}XIv1DZbh$t^ZIpfYU&3St5mwJ1_zU!{e5|P zzHU3qk#m3C`SAZUW#u1VNh;0`Q2oIyjwD~&LA@VlsZh2?i|$opL|apll9`i*c}bi^ zP*-PHR!mj4Mi`Q>`P2Hj&h684&Zsn=?HPG-W%$5BgJ5Z!v7z=bH9dlwKz7*^D+U#f z*oUO}e{5AxqP-$?dyC-d!{?2<G$cUE?MnayCO**vGIXwQzsc*nE|wXcl!M~0K|CX{{7J| zJ61V*bxR&&c$Aor?Hewx>^5w3N$}hO%j-MW7_tr`xS&A)>&Y_CzP>9YWH7mcZ585n z+jVp1rSx3~4-TV;>_FcNp?nA+?AZ*hxt=;z29K|<=s02O>Iub@Cw=Q~3}`aBrl;h@McsCP@>zxN(vm`+ZJh?f-7 zx__Aa$n!~`9HW>0iFOf74LBdfXc4sbb=HOH^XA=}B5pF$9G3% zK0TpkqQ0*%r1BWrRWhIDu#=t(pZM`(7&daE!vGKEjT_G1*uZ8ahzYE&KR-mYJ=oPv z8DjNx4)!m*Q_r!j`kdBQOW!z%RfQ(UrFD}u2M4~3SnYI*mBkd4=(K8>Ub?-EDcva9 zB+_3fO^ILuFTO@6<0COEadF2ggDU?=3lQh&d)#cSZmY5vLGj;vsHvdI5f8JNX23`V z0TI5M1Fyoz-MIi7=G5>wwi-?dP7KYYrRc0m*R&q)9ZuJm_oo)LFydQiI$UEO+vG z7#)j>i)+Ga0DnT;r~&)zS@QYKu-29y&HoSB2T(&4mvjrBzP-9o8p!*U6Vv6xB$pi& z6>urRqk10rLa-ph9KmnZq;#56p?=rVZ=?l5&*t+z+z?Go!^%|s^4{5UJ!v; z6L45Z3ZnJ~2IM@{f$bA-60Matd!A@*5C1rWU(3M?fFE&)9oXTz-`{7WpzV&9-VTsV zzE+5PdX&_tXSTiPVQI2lqbot&f00Z9WWk^RJ8Q*x)-1C}5k_iDcR+f|vEGa>xj7_7 zUJeFwGFxHCnX_B`2J)}l@6W#`L8Zt)AbPg~jlv~s1rw|dxT-X5+O&e5u9|gHpI$t` z#=jYTI5vrP;HaoR6&t`_MZ70RA0n7?2HbRY_aA)s!K8^3B_q7X{{&da*S2jZ&?O)= z=TBc1gdZbXf%a@oU3#-(meI-X!5r{N-Z9B^a$FsaXiYwtmR6q^$NL+cATCeMAGngPSID8=>CR=TH$9Iq zQ9CR~8!SoxHyguHQ&IqsO!gXCO~>(~&%EU?Bj@C`XESx%JbUKMwy4{vj}(f83EKfk zBK5Xj&kUit4AM=dJNX6^?*27h=O8`{hi72GB+*MBp+` z=**-;ZyS^qfz<^L4+-4j+OKI1gsp?+yqq>WxD(Ft!*Cifeq#7xsYh$)j&F}zPf5W# zlCQl{OkfQgVyJo3=f_q5$9S%wcH-)`=ZfWtV19!3Q7DAfRf_fyzZF@X%+$Vv?ijfo zN4^5?PDoeDZ?p~^VBHvmK%vmr*N5XlKJ5_OE8OgIMm#kyxsfqCemos9`=C8nYyj#+ zXi)t6b!|t-J67Eb2HZ6IdW=fDv-m3Vr}Dr^m#J|;{UwZcxD^4F5A%C*s$a91IeFfG zL_5Z;*nrApAVm(E#E20c#WzH&B2lZPI14??;eqHZ5r+sx8fbt0Yot;3PR4HpEEQ$% ze*vBxhA2EE0~Q992sj&*E`0aAhMmT`+{({iZqs+feyvapGyZiGD2U=(PQ=wjco%G)}~8~Gnp#JqsJj5kzh{v>%SS4Lg31$lF&=L1r(wX*#Z_ex1H4s zqeAxY|9r_*f6=v;{wg%S;PaS41B4OsEg4-52Jxc0icRyGwo+8dmo; zWR&;?UIHPBTxmwagxKKb+tP*S=3|5GA3E0W5sKgFKMf1ahnSs^T#RoW^P9eU3E6ue zs=LE~PwpS}PH%h)JILzEhORv@64-F&CCZGS<+F&E7{L4es)LjHbzk0?Q1Ljx_%+$; zEZ#QyWK2*G{6}Z|0S^Pb+y0H>9SMlf>O#2dN{i|btZHVg7ed7jpogS^$q^?Guc}&trr+AGqV@{59Ka`(2 zF6H336JyJw#!f1mQ#;RTfliU`p(JI$`kQ(u-P#qRKF;RG_g{DS|Ld21F16mr)s~LB zX*UPoZk3m2@qFp+UJaw8qO6&wOl_R6vB}|k_a3btdYPlh%2sC>BV1|mI~ zK6h^PL=2#tQBJ4g^a1_F>Ei{I+UJqe7BD*$003_MW~k{QwPe0Y0w2>0NhYDMLvwzi zyhC6ZTbOYA^u0^nF(ClHc? z<}9ZAShrv-L-aF7Xq!+kq0 zaUCZ4PG)2G?!HiqV+^6t0^j^TaULi|J6?XR-hF7D%XCo6YP+ilV$Nh|WcYNmZ@VCr zuO-~sf7-X|y&F*x<$dWqm`La|-N&>X%*;ZS1IIhJ>*yc{tMJC$W4E9N{FlqZSM6qL zSF*6@RHl)riJ1SaJ-ioYvyH*-xt0b&S!O?nEY}*-^4h!FlEjESC2?U^YU-h@y)=2} zPSaMF=5Bm8{k+1^zYBUHU)y$bPaTR{^loHV^gXOaIT|mkM^l9}%v zmIl*5H}foVFX)aRU9q?<^4ahOC|BINPM$|e&cfxCm1m(}bSLd1wIYWfVpv;l758j- zwa$bAY7HBj9ZmUBx@bzTYV&vdj~<=n^|-CK>B&>4Mx2R15x*>I5d?(Ov=e_S#`oJZ zwdHcHwTUB?H*o64n^MQ>O>K=3Or$xozim6y&2<9Vs%AZ zL~+J-Lpp5WZD1foPJ{qjUa*r>ea73-QPE?cuz{QTI^>tE$*WF!bfRSQrI?7!R-w0F z=VyNRyzE*xvfGi?jp{O6mRsF^y~ONr!*@Et7Zf7NqN_C-wVwlw=?Pnd(rlzilVjd= zEj{w~2ddvQ=bh0J$iX|RhX@1mc@8>=1e)5Ymmj$8H5_=Q(4 zPfJ*C8E;2oTotpr6=Rw=t*FCN2y=J8X=0J*CBj z4M~9vWhtj&TmAm#^5gwX8z-W(edMediBN@P5kCMIYu z(ZXZPSyzt}RQ1+xQhIz>Rj=W6%{nw3a)PX!=0(NWcl9Ts>knVEw{I44&;CYdbn=xXsTR{K z;oAjUtqYhixvY6(Z}l%Q3aL~Wn00)}%;GV6L*mO@EuZ6kwi7oTJ%Aq0oqAE+3ZzmX zHjeUmgJG53heip9c{Pz~CO zbr*jYdDu8@MF1_|M2wO$V;7_#6>9#ia!VU0&AoOuzmHJ`NaC$f>+CoQT!@-(-{A5I zJR2Z_Owa~zv{K|2PN!FA;h$mALa)53PME=~MUb0f_hQu&`L8ptOmdN@URrf^g{h5G z3fHNo)uUFk4#T}sR3XSnz$#<7-TRaukL}M0&e9O22mfr{r3I&}Jxircbn~pGuXn_m zW=}d8IwCK6UaY9N6k6jtoNb}4SFX#4AE}3?XF9MK=e2gFa**B|Z+3#tHuZzYM|70u z30zx;Wmqf#$P=y>FXnxyes81ABd-U6DuZy3*8SCuCen%UQe|L@HiRe1ON}(q?YrtwpG9|Z zAkd~rH_mz}<2doqJ$ri-?H)5#I5ON9_SVYW+#5ka04S#T4t-HL@b z;K%bJ_6^FOU+D)I>Cd%LeXG%uh%#i1p@w|w5@-to)0>mfY+cf|>AhQwXYblzE+Wd2 z3BhUWG9ebFRJWihP2*BRy?~o8Hb6-c9Hoevkz{3+x4VfXnXKSXU zxJPN_&oI-jAP+3)y=Y{Y7WW6uZ+fpz?yG0srKi=o)1{f4QMfk3$DfD+HZabixL zfZ~TG$A^~wg;3{dx!z~>svi5P>o61~KwKJF+CAh3ws5WP2wHf1qvDY*xnO+OXzJ9p7dYkvz{=9>`#()BXpYZT*{VO3IBKvAC5p(Omnc6 z##j!#n5H{jt$mNzyX&l$MysgI!sW$sD1sYq(0t~w2`f3?NdjllRHlKh2|)4jyXQHV zCN`l>e!bDN^>y#vnr=)&a}azCqBG^aO1R4k(|f~@a##}K`Vtq;-|oP;Bf%o|_4UdX zj8!KkY68);;5{(v(ZlA-x?hsNL+a^<@;OIpLYnas6u*176;+YQuvq_)jmkVbvRMX= z#%g?f?(7H>`Hc)i3T}AO0nNO2yW-qs9hK9T*(qQCV4*47mn}8SS0Zc-EwB z1D9}Ey*i}07hx$N_74N>9tE>NeEarIa1S{XQpO9-`Qqfsya$^JvZai>g+N&h31l2l zQCzxoNxp(gGC{}x>=H^zc9H(!R%>fAnOA<8&ZDncp|th92g;mzE#7ThOL$L<*_!@a z*!wrr-+2Wl%b97snDaXcK}-O1W|fItS@CTCAbsyrY8>ygO6<_`yx~KLOOO2CrHl(c zcQ|ldJKU~oe^gyXg2Ay8-cU*HXuexF^5tEt>-6WsdtT?l#bw3=NiAMn^!oK?NHv>w zfovP4Q9NonSPF5BH&wLwv;fi2GRl3|tT2z-l20-D;);dK7G3l{|?A>}dy!C8UB>T++hEVP{;vis$pUo=go zjhwv4x?G8RXB#WNy3QcE_S;;$AXW5aFxztNDA(@mm96LqoFE5xK_}Fvp$5g8fhUA2 z*ja{)hAeLujGvA8kN(?AOCO%;APAQE%%_bA$(7TxSwRHj;~)sx2svg%?%Jt|T(>^g z4f?XGstJ9& z{7hYWx)2WXogi@cYd!VeX~1|=S61N9yZ+(nMJZEIfCFTyfS>Bk>=9Dn!LFdBkOPI$ zjLy=Zck!$!@%Z1=KYw(h2xb5qo40mc73dlk@eI2$HukO3ol7;F>Am6v!1`pX>5Bu@ zDtrg5j`OWOog}*n?C~&09(^XT|4*o_phItM$;9n%Wl7tFDBQxC`%uo?>@9%J-zaJtc>dn(ZnF=-Fu7`c5-RY4y`4KkpCfxh?I*{1jG zRinp)AYNEm(P*>H-J%N=-%>B4YPnkSdB5d;WZRfh{`QTaIhsEG|8{JN1+mP=#BZ>k z*U;d(X$58FZ+}*AvkhB?pKYX5;R0!>s17oj;3FnZd|32@X5BHYZ$y)+Huh&&ja8!y zQClW3eEAmIzMj3Kdj(~s9~rz`y+wP{{lKUcBOZd zZ=Y{1*WFPUkW|oqcHLpW7Bsc-Yr(A9>GAZ+`ZixHo@X*o7FRs8e3G)JC4e!tKYAt% z$MMGXqw(WvC_IELe1qL=jG6wHdpH`SnP|PGW z=3F>GtWdkt$=f(@GEPg&t?#iUdGhWPbay;KUKf3NVe@gDZIo)jgK@L3Vp+&DJja_7 zkI`RK1=#TP*|U9dt42Uoih7h0=eEb0X(UI}j2*i%tylmj0SuAiN`m{;6py|6;l7qXOJR)Z-jiHuu_F z4{X;n5H#Z`*6h8wZPMg!tON+Ey&&3(*;GL|iWc`Sy?3<1frAG*(=+n>eY&8GjEwo~ zTY2y789*0cyN#IxAurNT63+4N3N>=}Y;&HqrAJjN`QZ^`C-d$5e<=rkIZ0*#s_6TB zstLn~d()#JLNm|!U>moivb}q8^aI z5ZyUj?fEWt*IK$eGFQwTHO$V==h%}I+tz`832e`{yHTa?wZDfrl|D%}dF) zf|o3h_)WyN!$GhOk&vsk?tNur;JC{I1T#$O;@W=RR)02lT&b$pRo=DvaLQ2VRVq_k zdIljcu`9q6-S4~gNIG<=;1SXhnVNc2ILmoJaAQ(2g=*0S+xpIe8>fCwTKCIbT2MOu zomO!>O82ls$Wa5`f?g6-oxy!S2(VS1Yhdco-!A}9jyD7b1n=UP84Zbq2u-|pqj<5? z`zML(Psc(NFYev?$C2GF=)HW=Q_sjf)L&xRKk~8$933Ss_B}P;Vx*U(x5#Nl&~Dh{ zy+BH$hKa;6#Y<@gYU5DaTg@`S- zwYr4$xL5@EcvKAwTG>)9EfpaeD1umq02+ROay#o&amGy42XgKVrFRj*x-J%txQbkR zUPOCS)8?$z(nUTVsf`+xxKIz=NNGSaELo5~nZ2Gj9g>O`pi!&Aw*AL=dV!zDE)Va! zdXxLhjQ;qW+cy>Zut&(rg0!oNT}Ok4VZ!F+sNktWOAM@{iBU1{Sl>AO${CEq>{b~Wk>b^1SEUD>Y@}@15RUZOf7r3(aJ2xeA&elvaGBhm=96gRs<&b5To@MnLMBuaLuq~&ET z7)7lTV;P*qh%|W8HOmri9P;q!2$+p-1#YFD85osvzASonNyt!SeG;{&INNxz$sddO zUC}Gn&0@V#h)EtdVgIpXHRSvfj+5H1X&iaC-$fQiLrOi2T560@^Su{KYp5-`GBE}WQB!2F3p#81xGz~ULt#X#d*7*olG|T}zPaRVkJ3^33f8<4cN)QWewf0$Sgsh3G*q>dXT7 zE@#Z70Mfy7PQ!qD1U0Co99t->oC!w)WfTC6A4M6l!9~CFBYGJ$5;CVOz5BX3q46Q=nP1fpI>0(!nk4rf>{P zPgM9!eYy{NjLMz_QEX`Qa)Lrb>(fZW=Dg%ZC%VSF{p9nh;^LP-&YuFP!Jr!m8&L2m zP=C-1^eq%pab}NC^uYzh7S$?c^1;_+-vV9^Noo1E^wEdDG#+s2V!UJoKMWY4`rWtm zqp6;`WDeTt>G>bFGA%DFdp!TKX5Upts0;-l5x`rbh4h+kS6{vLnC?KI22_E9<-5;i|Md{|4O7EQ{P0^`qc%ZnmYm=ibBry`38mw=dl&gxivY)6yt?Xv$1+9Hqgxs z=+Z)bxpeL1WBETSKuBPE=Q#~CTs*Y8=rbHR%i8*-o%R458_E8akR2vvX!#Bui*aWH zJZ#@%Z-_TuuoLWEBGC{8%NfxeAVmg!-3|NtbUAq&X2cvFfILz$fsYt5;>@C-6)=o7 zhgeZB{GBis$LY@JoxuboL-b}&&Mb?qE%JK24%o57@!;rGLA+td34_a~rZa09J?08Y zU_MHzi<6&toIg6EV=(WhAUPI5+(e;CFKBmkRDMXxx#)#4j>)WnCTL~MkKd1W`>8-N z^CmCkO7y<i?Fm7n z^ZC`yW_1+e!l+Yoxrkov&U9ryxqd9VnhnMtOs?7%rBrt7%g^4EQW3(jel80a-iA6d z0xzB&X0bBrmbwjA<^xN)so& zxHb3QDKKbp4hvStbB#6vT)r#yKn%yhi{VMMibOcSK&Y+6Bd{oV{^{N9!6#4r_ zFnD|D&SOhJ&{-!^No=5*9E1Z>%3&rqVeC;cbQ?T2S64SbvtYi(g5OHMNoXzu;P zW$o(eRSOnxF@}I%I_&Fz&w7=X80RiXjl4zaSNVG8jcv`2H&i%2T2_|ExPyks+j9ffN7^|erClsM_ERK$ta>||Y$rW4 zGYzhhkn{dP9Mlg=3TeY>ThJ?+y?(~d@cI?Kq0o~@?t*1hzJF*kY&F$U1{ zh|E~!e5g|8QwV2fvsD4Hl|!L6mYXAea*X2y_hz63VQ) zB4BZHx`yheMT-_r>(A}mHF3-sZv4$am@ay%zxU+H*F)>mH>yu{ULUixNMd%Zvt3F8OC37!lu8ST0K4U9lRjh2x^q-A|t8vdum8jtoOupvsY9HrlpllAGG_$DMVA;8f?24dD#_ o{@eB1J8!H|m48)_eEhqy(w{%BOMlF`sNmP&fx~U%Y^HDeUpSG#-~a#s diff --git a/helm/software/matita/nlibrary/topology/igt.ma b/helm/software/matita/nlibrary/sets/setoids.ma similarity index 99% rename from helm/software/matita/nlibrary/topology/igt.ma rename to helm/software/matita/nlibrary/sets/setoids.ma index df8880733..87546cae9 100644 --- a/helm/software/matita/nlibrary/topology/igt.ma +++ b/helm/software/matita/nlibrary/sets/setoids.ma @@ -246,4 +246,4 @@ definition intersection: ∀A. ssubset A ⇒ ssubset A ⇒ ssubset A. | | *) -*******************) \ No newline at end of file +*******************) -- 2.39.2