From 25592452b14808ddddcb5bf16b91c8c184be249f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 12 Oct 2009 09:30:47 +0000 Subject: [PATCH] ... --- helm/www/matita/FILES/matita-tut.pdf | Bin 135977 -> 133590 bytes helm/www/matita/download.shtml | 24 +++++++++--------------- 2 files changed, 9 insertions(+), 15 deletions(-) diff --git a/helm/www/matita/FILES/matita-tut.pdf b/helm/www/matita/FILES/matita-tut.pdf index bd053b6474a60c5f4a69e050670f2acdc12fb790..17003d36b9d06ee3d30a6d77b822b58703df60e2 100644 GIT binary patch delta 38161 zcmV)oK%Bp+rU=%P2#_NKHZUNQaSbScHO;*W!axuN;66{WXxZJgtI@Fs(sL{h zW6iBWCTeb^yn4|gTwN2Chth?)d(R!?$?>|M9-d+`oVx9_$%zhwJ2db5tFJ6RAOrc# zsac$=ojhLv`gLc(CPmz!4ELNOBnDaz{C%j6AV~jSjV3dba&=q zKlFQA0fjfGNclynQ89Qi7uD?)Xa6D3*MKCv zI8>^H>SM`LSJ*Ht59yGOBa$xS?{>GJ#|H$E$WUEORv-w8M~*=Y&~A~ZS682#)gMX2 zNldeO1oa34Gc}WN4Jm((7~78Aw)Nd#vG7YYsD~CQQ5OeB&=w7lpoM{Wfjq=Pz?C>N zsx{J7mt8N=kMFsV8fnap`!Yiw9v+_iMSr`0_4dasxsy_qTC2PJ!<|e@QL4K<&Vsa>ZrrNGIJM7x>!SA7!x?ai0kZtG$vU zEeq!0{$v?-s|}@rNd@c@QfnuEVz5<+a9W5Y)gHU*yKx%k3hn@ns2TBJM)PQEhD<&G z*S2cSV0mL03toSihp~CwsXTHghq5MD^baVkpbA4Xf( z_7LQ-5M`Np#LuLd=O_H@hnmh=Qi8f&^13k}~~Mdaz83#G{~dBD047Iy23KX<1nbXg<&6 zR#_d2J)eK^_krBP4sYPDlx%>wV3IK$fbu~<0n^J^ifrNXLx{^#6sq(XeV9rr;;SG_ z3ehfw1c)XeN3!Vh&=1V;*q<%4+>msWJ$k;k+AXwD$r9$5&=Xn|`GWC1Dkep$M4g=k z9{d!`bQqnwDl^)f^TCdDJ9&?lA}-6V5lF=FsRED>qu#dhWBpO}Ur zgd-%abQyJ=Xn1oOR&mLA{XFp5qH%3QlL`vlaPD*j))aHq8w~c=WBpN8&Bvfv^*Jv zKduf*{sPPCfima{L|nigeaMO5Uz^pGUz zCwp@E5nWQSd;YpB6tSn1g?Fu>mY*H)!H_jR^N!esbMTXqAwU+?dgcvQ^j_)ktrBQGd?fZ z0~UkGu$zj**~oM?r>+aza~#33pWRtI_Plb$@p%V1&XD#v&uoIzWtn^Q1VqhZ=VRK- zqe-5wHbc$3+G5t|8rK^DguA0Svj2aXO$&m$=l}?_3nI%%gb4$ z>nGQgq`)zG1ujfoHy+H6icoq47q<;&v1u@2_wN~<0q;8LYz=nPN-iFRSe>PA)=>@^ z&GmuUgi$+%<)c5JLBjD}sD{9Gl|UuPU5V?ecE+g267st3k4^Q~>GWBg&1-+*-&EK_ zDSrvF!)35uFLd|(?An5*BK42xLNwKIzcaq(gYP_!Mwds(1Ml94#ty^42hJj)=ygV0 z%k>kr$x z6b?CIAQ1|~=U^*Zg6+!kTdjX1^eG-?&E1mX@%2z&szt1`ZxN5>GKjnnQ30it(81k= z!G{;9m1?2(mk>2rVt4zk-n&?5UvT0@Z1_8ZAyy62HN`+#2((~JYxUCPCi7TGwP+Y! z?T-(C1X)Wx|<6zS*J;K7{H_pCB~+FkN8{*lL*q6 z>&Q@a>yBYg)Ho;7kVt=!@zl?)J9Q)( z1X#U4nNd~=g~)7Ve8t}P{Iot zy+QRR{+|5mOT=0TFZ5n&=$CHm`Hj|bB0$$b4$6#1KIrkOCxm|!&DK8~*DcNnm^KrV#Mx!+vDN z;Dd3-I>*_K6?46c#ilncZ$NFe^DWx*HwG^_EQaQIdU1aQnlG27lTINqRsGP}0Rl0H zaq1^*XGsVS!;~Y8zf&geb7tb^Kwi0{Be91o{=%88+7ftdp=G8mDeg^?fGeimhG`ea zn@IwT63m5MOSD`Kb-V|a`svr%V}(>v?}`wf(^$n?`mmkAlKc6>u!9*-&N@23=2|!b zZqY`6I%0qBUC)d1X{VOV3#^?}kzzD`T>-{8^{VZ+QfQ9yC8@&r0DczyoSP_7>1(0BY@Fas>FxEMDgc8*Y#D!yaA8y}_eo_LW8tk-fOKh8PK$qJRYlam_9p0*!tO)2fwKki@s4} z>(2~_)Mc$roFM3nmm-H8ayawNH}w0Pi=Tew>4tNbX)QK4`wfo`Q<>f*@GG?5-0U|0 zjee=B%dN=L=%H<(kwneDqmKR(zMdb-BCo1v>gxKu?Wup6cinI->pL%du-M3=!=*@J z5`3glbIEa_D?1u%_6uRRTyKxIMnyfl+$y1?n*)gdee>_lmM2W>41N_;%Fu3`2e(Jt z=6%`Jms=T|2$#p-Ftl&lquo*8t=kT@Q7tU|)2~J@tfDm&if>}lP}Y6hbR@VmpNg3_ zX^`vlqA!07x9K$cW#8MDwAjzK7>=N z^=5z1`o*lBw(`W zL#*S@;#DMZ)Y-z>*exN=(nAy2+NkZ_yEAdg#fadLYiQX94$zXi`?B73zIRVutp$I> zqS_Aj!kM>-l#HL`x8Gb&6VU_Y*|Hd_ynVao{t0LDmF};y6R3^F808;g6|Y7Y#)$bM z${CiWNsxGp8WZP)GUibpvZ3%dhOS+V8Jo}YnSgv|snh2z=z0RzralTF=o$m)1qNbD zjUlB1;Q;^oryx+vm;rix9|CH)@f3d~e;@*W3)VTlBy|*i8%L5J%Vy}1=V4dh4whP; zK&@a1mz*Uh5CRvi?Pq|={#=YIGkT2+4p3n~4S7}eq$uUin`9DE_(~PkO;3W|&_1+? zC}EqUAAuCW@YeH2xDF8~%fKqCVP^@H2)Up^j5j5ug>UjZY~?lmmi0&uh#Y?hFUG+z z?F@7YWZQCdr`GPPFPJ6)!Z!ikL@r~9=ek(mIdb&?t_j4oULM(Hi&R9ESh|DVAu4A) zDw%b>HJ;K1h%Jc__S6mi2GU*AC&nVSB!(A{gvKfE!dq0pyvQ+YA!o{rcHe~R;r##)-ZGjs**aA0ozsT^( z+}cDCoo7NvmruOf(}L138CdMNNCB3bXG%#Hb&=OL^;8ATS%Nv?Cvdoj%JygW)!Ka5 z1rAFh`=+WK`G4xJ)+`K)1VB09XGrQzYk|FJuA!a+P#(IE*B|RE>iK`brGku?<8=av zMfDYcB%`sKx_+jw>o+x>1Yk-6w_n@=l|3wEb2bYNpBfjl%y|3kOhR^L;`|)HTjV0f z=S1UN8LaU{AAO7EtdXuj!VXs;Ip0s6N8*rk4jgnT9vgW*<5MSKoPw(*;;R`moigTn z`uUd9;(OBqP=I7ykR;|aR)g^CSWPCTEwr{9 zDvV%+(vJElM?u4faoJjzq(G!^VV`+L#BU4LPxPNlfIPpLvzmXyN^*ROrT7U+{_OF$ z=n=K4u2-}8FDyQHC?EFti|C_V0pcDDytH*Wo+Kvhz+-Cej;UOX(4}G9Klh-#%Z+Og z4HYq;s{ZpY8gQ^|s@%O&L{g8{94ORD&IXGkil!MwtV~lp`pPB@z(w|&B0*(La6J{( zTLZrEe&|UHdhvhJLHhHpBL)^PjTHOG1CRm_bYKsiIrTVRQg#+m(!}0TU>GhAe5D(! zjTg+7GZUXA?H}{_vbstJWw-fq+;b*`_*&d&V}$I;hnzX$K-8f0aOIAr&TwN(O&Nf; z)UU@&|IS8<5LSg$*HJa0{QI8{`8-ykY*5jDsAtvQ$y-7798loB*;)F0OG{rGc+aoLRNCCTxA>X&%lWCWA25Ha2B#@XppZU1-0KBM=Jfq|>3pfo zZ-a#Mh)LkC9P>8mcM7J5<T>Ry?%4O!qUxxrPG9P44A{htH}QW9W#u-lU*UGlj)Hm1}{c4HXt#R zEFw$;H#IPmaSbSc%~(s1+cprs@2_xgGO}j)rnE>3BtV0-hc1fUTT=vzEyqG-X(P$q z?!WI0Nj*b5cG93dQKCk};mmw9ANl(J>iHWMFBl_j)<;KlFc20ojk(c1jdMQRPnN9$`op+7uq>m>m4trAyV$2tU zLW!Wg!(RrigShe2#wCOs)=4}IDgm&>rvp1t;&+&T`~5X-UKBxh+6SA?R&Kds(P7D= z^*U=B_nAl4HfWOJM9E8>Zo@8OMR>xeVfT^X`bZ>%Ax!jZ-63|5#3Lr0${`+*e6daP z;10k(6Q841k~kJ4%rH>Q`H@h?p!GBa1z~2aj^^d&ux|4XM(BtRizKwhD$yjS%vBxg zod^Jb6FTw*X}%_hEtuXc7E+qTL=G8rfi@mAkx7UJB>sxWB!+;00YrTqZbI5LQG>@y zOco=RIHC^XI>PNyeSEABWUhX?zxs5A4ggW;PufCTQ$b|1SnscJ9+H=eWWk7JW>II0 z?bUBrud%sJ)pL^&tqlCk2?fK?ga~u_8nl>yDPp9anT%f6gvK*C-5%*5D&ZHDs)quz z9BRF@>J}1$DjcMM>9=9mLrpj80@t7Glc2qv!IqLE_6Ai8P8d6l0>Gx6z;~J#U1*h& zcJZ%E45ead!@93L0Um@?GQ#w4(;+< zO#DJAiHH1X^8G`RZ=XVzDqvco-wZOPkUkEX-21uCwng@L{#V`xHEKijP<{z)B%#rp zWy~VSdZ2Y`;5mBUIeouqvUP=g4LG%b_06@LPPc7VdkMQ8bmBT~^Qv^Sy{qs)==@n5 zL@mc=j}1ojia$O1BNGTUVKxk>Cc;#onQxE4P;)Wi-cX(R zG!CqHN4-=u${y>y#e-TvALNN(`l6O`Zq$bJ(>H{TPuaN*N?+w?%v2}?@$4#qI-7}L zO_mz^k?lBwM%}on%FI1|uo3isUrT?10Kxpzo_}%H#U3A0i2OR#HdulOlTqKmxWHcu zPINDDP~n(QJIJ+L=5d$RSuj?NP?elcB8aE%MTV2V+v&<@xZjj(QQQzdzXrie0-MrX z7&Pt2v~*+k>5vxCn*laY*zc}US`1BfPEr*~hP#p%N4PE@s=-Hpuxi|Yay9~BB=ptX z-!%Ash+l`)o&^OErI-i?<;N32F%%9XeGa*Ms6(-Fi$P>q3?Hvn{W2$HJ4Q@KT$Y4fG7=1b6tB;J$JVOpEYm+_ z8xqPS=b}#PXKbE^MJW#4U)a`9ZW7Vl_cp&Tur)0~n87Q2?&>XQzjGnld!M)imdj`O#S86+I{Mw9jmM6E z0A1u5eUq^$oRj$>3zNVx7?W@*MFKK8lW`3wf3;X!Z`(E$e$TJ)qm0I^coV5~9nb+Q ziUC70B)}e)Ay6E-7N(1*ox?*(wo9kUE-w~M9+Kz!@gsk_xp@6PkqgdQsh<&L7<9>-XFq?P!?R>0%`lrqh&Ue_vV=!8VE~QP%oK-7JNP z9`TQk+B|#MQ-9ykch`b|jlQ6ipVDuAW8G9s9#uFr^jVL(VtYT$+$~o)t?hA%{nGM? zEmtO%(YuahhHl8pOK3|AI=C&IsiXRbf2Q8kVxNi{=f+XibwgFupXeVc6{peGsX#k7 z(AyQA+ki(|{V>Xc+PPl_4Ro^bYom3JLtgHFvL=p-`e9i2MN`u*@O55S@uAnHHjG1v zV$!${MJ8dXHKPQ$Be6Pqha2@|x=a*{Q+;fEzb(*XLPg#%aDtoS`X0yNK$`*!e~mKV zjKc*O>{>m=nykf+Zn*!{WTjub-)24fO4%se^m*%LT%O*>T&**7fR`xAVGa1}FBH@e z5NAPrtoo)YOUkjUkjsRC%HS|1VMh2V5K@^$pjXI$PzBaZ4& z8q0)$hzQGU%AbfWkC~jqAG8S(K{5!DQCgl^4xM6>@2)2f*Q5GTF{pe}Kvi%L zK&BV&url28GpjvQV|k+S#m_evpD!?EAPT}90%#UmT4wBGU0qdJ;S=9(Fm1e~0(*ov1r`E76uf5D)HMv+|! z+6X{LQmUfQM~9hl^dand4!LKZAIXzFf*z8BasG6vF>cf-@ju!gR8MJ^93#PT9!;qb zr_9>)A10DY0gy*%x(@rE2|n3)8|ye^rh+3){`cOOPkSG5Kpkl2(>xdl0kWw*8;6jF zmL*m`$M7lbt^th!j>C8de>fXY+H$8ZF&_v)3bJs_K$82KzHZ0AI_wAA`TOfU*c(RC=@brys)OdhHi5Fakx{-fF7QN`#R_= zt>H{LWN#X*zQJhY4t)j;aqZh%JSnl2jr^zc$qWR~%2R>|Y)UHhWKN9?wN^k{OHazN z(~)t5WZXKEihXU~e+^|%?V<~&vw`z#PJ(Q=EBAEE*dTjr&Kf!;Hab-$(c?C6^Uw|o z0%fO2ZJOYcj_FM}fP5BJcBO)i8cU_}f11ra>Jb1yI~fU$zd@1d4B5T*Q4pwQQ@W;^ zx&4NQ+@{Ezx9Gv4y9yZt{1xg-q!abdn>Me=VIAnWukJ8Mf3B$KmP-Yg0zszxTYXtw z0YhLkTED8O`z`&iUe$D&jkHoslw zx(Z!8^)s)XF>ou-lyB%}W_)=BQ#6r`iz(g65kbHM&c?-@mVu=J%ci4vG&+b!>EWS$ zcBu&$Tv)<4e~4tpwePPp`acYj=?p{&VS&Yjgo~0rF6NM@fEx)jmtAJB1ylnxQ;$XL|%F8>@XMPRmiVph(HiRX3LX!F~cYqE2E zB!X_2s71XlAkp6-IY`erjVG3+^8uTG#k>mxf1cF(8-KxG?m-B?fN_OOQm0@O+$@&N z#^Sq}vBLK&W7RR%-w!=ek)j_dN!L&dlXIx@j{fz&*VAs-we^kl(6%#vP#?ZLy}_oP z<$(WehSE5&GC`a}}l;j5h}^BS2LIVbXV({>d@1yb8N!*8 ztLxp02|HmO0BN9tM3a&_CV?kJtbGv>4j3bKi%Busf`k`>ratk0(VeDgw)IV2Zh7Uqua$eK_#Y zwNcw711|!L(L^SRlscHWYxn!0UEP1&0YX|8+ZObXfaxh<{_8_mH@Ee}xVmdQ9LS<6 zhhtan!)${Rj|cpFn??(9+~1e`cy`xSo1CV<94jw&*aHxPYcRG7 zgBn%CmHRkxZWK)QmA9cM!R=a{yWJ7#qT4}E+f|44Mlo;KPu0FYaQv!@ORs;LCJau_ z)cb)631E0L@Z8m9gNEW6TtfHaxGC2dAn(n8-L(&7Q8rcdTz-S{NjQ8JKE8@8u$|=) zoZfd53Hppu)kLZsrQ*(SUvjhyFPK^iZsCm-h*wm3n zz=!>r4jw=ppdYps8rPIS9mx%_$bqKCJV-FwgGPPr(-O_rrYM_j&L)4y38iM#@G55n zc!Qp-_C_d<6wMVYcE=_%7)~Ms#ry8+K%HaNP-E&>|oV z_RT8?iIHS1QD&aj*PimNDf*#0#QG2?e7%0`!?##M`9six9u*9e6zB3Lz-b0Ag~*MmUNLEvYNANC`+oo(?Qz0#tuUN3@mmNV>vs)X1HH z5nPg!t_ah~?QcR+#7lhT48<2_wsm>eHs!vLJHYT*TAy#KPI$0_&M)XGPT(m;#gv*Q#H=ms3~za#ae2h;Ff+UyCDqA z?bbI1Qzb$Z27`awHiS_1ZaA%E@_{)R)07aN(;=UOKPfO#WJB*_RTllcf6z z-DBqWK0%#=WWWU+gP*Ii2^9ptc`Ak-fv{oXwmlqD_{_m%P7+~U%Km2P+CJ1gl~Yb} zV&ue3MdK~0#jCpdHeCBq`XYa*2Jmr6SPi~&XRKGfd+2|v9{W@|0x#J@=7%-kDoYHN z>QMK6)rV>CJecn9>)jBB$eDgAh@JTpXjMAM-3~|={GS0wNJ+GugOg1q?YaEKpuz1H z65hx;Jq1Oehv)&9Fe<(0GS>rGRLGobSWXL|dd~F3H4GmE0t!(z3?ahdw)7N%@m&i% z8#rYi6cm5hT_$d@Io{ELOyZ`)&7Wah8HqM8b|lziRBg$@Q7!Jid%brJhRx$>HrbedGV#P~p_zyI`x;rPqbt`ZmbiiG; z+Fg8e@frTx?d(S`=7?r+7y?qt=h!}ZMSMh-`~b*v-PqDEbB^05A7l=mPx4HsxnUcw z6_g4ykC^An*|LG`L)zv8R5hd2f_N^7F>1~0^6b6X8lwZ-3G@3Ri#g|i`G1-V#UDh4 zY>BY|esiiLhtc%k06OY4(UY+#6O(s3iIeXP7?bIdA(JgTMgufBHi$BMhF_MZX>OcVKP!!A}U0*x{1ETtNU!3FwWvjOn6l{?$2GBZr!g< z?Y{Nyy58m4lEgP|;Ce|_{C|CUwfghz2afm65CQtBimoQ!W%6MKe%be?qx-}1K;lM{o>Mnt1PX{!a5KoL`tN&fgc=kE}iB5 zC?p+us1TK%gX^Whaaw0}C>92>;67Yu?g*28ZTSQul$lQC4Ish@fPauepq$_~Q2Wj5 zIxDQx%_iM$zq`S-NVnx(x$`nM`gTomvs*WtvhdojcV5}81-X^9Ah#pwx^XZmftZwI zl$;w3i};&0ZF7J*fD51(>&(rxklXLQpYE-@@%t9(hh+kv5`^kaZPQM5{D+r#NULVE zhAi&3X$3Ab8v^|G(|_fzazECP2s@2UYs`9$$NsL%JWqi$F0E`IX2B4ny3cEy(?k#+ zP70UENYP0*Ra(@5T@J>n^pQe1Jwsv8?;QBGDco!WA#{?B1pzSBap{-tuI-B2ExB&d z$+l%Hb`~O1q7+i_Goi#ebq7mjY^?_TryOb3Q#y6&w+AP_V*h4nu|? z@@nkSD9<{KkALKS=*2`KhthNs$Y&Q2l9utgD{xRagwSj%3LyV*+)Rc+pA3Wk@-SS2 zutJQ_$m(c-7mw!~%zOaU_N+`WZ5;C)|QPs@a~lV8vBX zM0+8Nw=_D8s$@uMJ{wi}BD8s(s5<&82E3&w^Ors+e}CUW<&!FWN1>q1(36g@vt=SV z=$i;bBf-t=I8I^AGsH1sPFG=obZndswKC@+A*k)ff?dQ0am;;8mp6#F2uh3!QhJ;i;@~1ql|j70W;f5@9Az zF4pWBi*-J6_Z0H98r|=`(BWv18D6nL3K~QdAAEwBwjg0B6hTs%*-)HN?_Vbr?#z$^ zPB}GZ%1`)94@fR3n@~4%e;z(J7r(C-Ul*2TAb$$NP>0}U&*4eO8Hv{U!cJ%b^fwXA z5fxQgbi4R#@!mE9$NH(_NWmkVYlbjkPwaF(aTPdyLyDI=0mxLLhUBWD@Sh(8-9sgT zXIlJUpzR|S%FW~9vtJth;|Cxt7`igEFVeKb)xE>9Hc=v>vcksN>n;nt-(5Cck4#|S zzJE1cclpMRKHgeZ!)ZC^8EHF(Ld4(hH(T#Z+x@gZe2du(4Llh1EoL*cI$`iWwLQCk z_eTENba8?9O{m*bZUe)jU!s$c&DApEzcFuT1y^f#TcU zcI#V`>uU4R_#S3`7HXmd%5vLHwO11or_JBlc9T;#;_m8j zSri91j7!2eq$IWWZ6o&LtSzB-jh(W6IS+W>MyK*~1 zWe|oR$8r=Mk1;oN<^Epz(#Vm-dTjS=c7wXp=06tlVR@7KK%A5LAq$hhF%6T7b_MQH#d$RcZGgI(Lf z4B&^|g~91&Piw8CElTz{zdm(PM{C(Wl03{bFBOY*epNr*-#mXAXB(+RB-3Pbf85A8 z7Ang(D$GQbrknf2=GQ=qc)OD_N`qJCQTJurYtcr&<$^q7?N-)2AL|6W(nLxH$3@7 zm5B@n?u4W5c&9r_bjCD3`e`h}q8LAZ?ISN^k%rlL1Xbvv6Cs^=Jah+4$r6dNsq#yoe!OCu2{`K2=Me3vVc7t>P&SP>Y>FKtJEcdFpgGzJWz znw69VkL5?QB(&f(CspOlP7XXC2IP?r@KR6PXOKQD5s4J#Kkb{RGizqw^PPRmzYqKg zPxM1&F1OEJi*oo#swCUn@mnt5+@Ca(jj{k|YKuC4i~(R=*x#IqK3*9qbc;zODi#2cCpdoXG?N+R+S zQyUUw@AMg8C<*;OAGMVGR1PMeOeX(y`wF5>21@xd=1JG*$_ce3 zagrX}>LUgrx+{w=gGnJ$H9es*+cXRwuZG|x5-ORUg^VuFQxSm_F3j#HbdGRzUKmvE zW4XtOij!lfYs2BYd(TT4dGYrbxVzWrCSeZjOsN94@a_29v^@{dkjsPV%z@|H9nkob zf`fpmLPnX4*%P0CfkZQ#`!keW9y|;v&p2dhM+Jz|_C_Cg@nBHq4PMH7yxg0vcE|B8 zv~&Un43G7L9lFC5y6_k{FnfM$%UR%;MiZwX+;kH8OR(w~T^T6^oO1qT+@T2L{EJF* zIr+z@b5-ukeu{313|(pf2^KMCRTtV|0;1Yi!@+oMJ1Ineo=r((c0Twrg2d}%GZAsL z4ElI^dE~nwrpn;JSvijz262J|;q($|973N&k(FojmWo}~t|EYejL z(e`1XNtYHN*o~1^q1kviDY=tjV;p~K_8+{X(At`spTH;wDcAB>+q~T(v z!AN`bf1K5AKfdfT#73zUGN0nPd4lsG%_E2tktl$Fq7OrhVHfU#|5f>b6XQ)>Ik;I8 zFPsK+=L`>dDD5-%_C$ixFQ0BW#&w_j6C+Z13pzMMDVR8bh!b=^2wi|>D7M0UXduw? zIn6)#0CyM#0pf>$0Fz~K#%P96DkIC05asJ7hJqE~!Sc8KixS`Y0`#N?hOmy?EOMEJ zFmqLZ5fb{u&w?e7QgImt^~^C(Kzm81Zfj>4?#L7faZ@kIQ1~(K^VY}oEJ;LG93IZy zG8NGh0Wm#VBLSx47)#v8_A_Lj`qmo>LM0?Z+^7K0iLU$2&5!ptA8ydK;QLLaBoqf~ zlVp)7ihQ%LZ+`tf+#FyN-XUUG`b0?r#2d^8;3TD~PXBA)(SkS_*0g zcEqt9xHR1eXy@r@y0^aYmo1^l*FoN!E0AmvLT~*QTJx*0Ve%+AFcx4x=-@%k&+JDJ5#8JFCU;y?zu zx2!RABrzu$+C;YYJYG~w?gI?KxKlP~OjkJ6?mK{Fe1-&rD z4ftyZmn#@=K;E>xaVVk6h)wsWFCaCP9SB;m-J|34t-~ zrI6jlZa|K2eJNHCJ$3K)1S}wbSBAm9YApq{NRA0q29GTjov?k<9P|hzz)t(n>ypYi z+||4Y%n)mxK9qY0W0E)yUSlWYQ)#Jz1Bs#Ry-Xdbl28%HH8t`93nO8Gf0DAjid;tq z1`QO$blkNCOXJ9_dUiSW?D&F_@KUDvNEyru5DqD4sI)_AW#g}aLACaOQn!Rx*l@5k z-JwTP`2WtAfFINzc!gn!;Zxv2xk6GIz%O_s3CAKac#N@P41Op>X1l_t>Y%xNw zK!3m+AxXk?mf%Zq7iEj?#czg07_a-#O5`dZJ8Y)y z3?!OVQg7m&`S9-bySrO|Tu6i8WSoF1NY!-Uw$Z)dy;oQu<03|t*DrYS&Yi=sBCfT; z;d<%d)>{-gHCYt)(K_mlWB`WylaG0o09c$7PTBNbYrSbY6NQw^o~)$Or|}VmoE}g0 z^w0nzKkzGF`TK7fz{VLskw$@K?i}jo(Y?m?j_u=A3k z1h!~f0~~C8Fc4r{I-m5yKrlZ*oB67P@cmW0lmC<>FU1c9K$4{wI=#|yN#yi+{RrMO z>a}$pv%#Kx&wxkB@c$#(%rDthtso)kFCOHSPCQOlK@l~_h>HG{!0;{Bnud>YKO2r= zlH{e)B@l3DB42lZ!(7U6=H`PU@WcdhE+E(uMR?hlQ0mOx>Z>)#+;!Exi%`JU%2xhy zrGZt(pATS_rVrn3h-AjR!?+h1{oP8LRflONj zHZU+Cm(iyIDSuQ=Z<|06z4I&fh^2V4v!7rohem4DR=rg5t*t7Am)NNR6>!r0`_6iS z+SVRisVCUk`FQhqy!&->`+ylkgj{RE))mV#$faSH8xUHv^@e>-i)OP}N@3EW^-r6Y z`?hx>v>R@wmvFc1!`U_M;c0tOSM2wT@9R&u4@RC2MSq)v5rXkBZ{zx*JCxK=qe?%7 zigTC-LC^W%GuTon1XO}8QGrq>+j@{Nr&Ij^9wK zs_i^Y$A8_Mn|jq01BBbhF&IvFXTkb!1JCwl9wk7GN3@`IJ_5`Fz<1T)y4WI;gElkk zyJqOxKGsxm$WTprub#(|+->0xFDH?i_oucPwW0WFv!yWvP0?4Cpri~vo9HeaB+sU? zt5`Dw+R7<|hz-I)16hWnZbr>VRYwqVC9j`A-+x9*6Gtn&f@hNMV!cp+66T^=?K6}2 z>*QC0bVUVJf}pHrIyZpava(M6MW%tvoY5Ux);U%sUy^(O$6rjDsxuBksjCUT0&*Se zvQ!#`)koTmz>xWo#45QUIUN0iBY8#dZel7l3Jf{ZKX`=(6mvo8#kVb*CpQiX3Z&Ub z1zCnr8{LiL>HhzRqG%Tbd1j{!@2}jBCQRVw|B2q~VlpYhzjaMH#)ClzS2XlD^8DNt z&;PokqrL8iZH#V9I+Zh+&Q*K&+q>gi6u1Rr@ywUKRQ~|#?S@{n%}$#M0y8<2aSbSc z?O0o{+cpe-&#&;_9IR2TyOm)NEwG{+_A=nStwZ4@O5@G3Q`_m~-;a`LAKOz-(qh0c zU{981illh?Nc!c&>iH|0CzKK+B}*O-3FVw^jf#UmkP=dkaB9`X%f>@FxlW(F-Bw>0a z0S7Y%K8@@1NXKHV9L1w`Ty*4r@d)2A1#zKS@S-;1#E+1pu$i6;mz$r%%kM*wxt9_{ zy8PfMaI5aHJ*c1I}SX? z&y7!}Y@S8u)_y3P3ueyVzR9Sl%f5tMB*1{n^koo2F7wY-xhovoZ7l0RDS#PD)sS^3FzH582}?Lk-}cSh$})e}1rg5#UIX#+4dnvN zS-5JnHZ`g-?#uc_46SNRK2W>ij|CRL2*Get;i!S9!FFMQBz@F8OG zvHIa*^?v1$8R!A9paNtjk<i z8+XVd!^kuO5R5_S=8vFnX-r?&s^nw%mi0njBm<-7p+uT7gkE3C6UD|Da%s#n?AbWn zCh$!*T;ybZb95#_^KRbQwr$(VCL1RkZfx7u8)IYJ_Qtkt+qRQUa`XLg&OP`3HPba! zUDJK$OzU~7W|~tybb%KcxXSJ$XE63xxWZkYKm>Al-mpC`;aU3}KkUmh7ld_S%zVWC56&Vk@*fc4MwDE-o}h}%KAzBReN z>WbCha%NaY<2WUSGkkl-Xkc1dfb^&yBO#1-!sBLH(}Zo-7_@9jl$dGgadgQ7AJX4{ zW~@P{^3rc$j7Kei2SW`1k_x|}1IfpPR6_XSF}Ac{d!xxB`{5cKeJJF5t`!ui3pxB4JZ?gH*8!p!_T8aB!?Np*l9}r9}m`?S)y5Im% zZubA08zflhu>mCy?Ah_B_A^j`Z61$DStDv9fBUdo+gh~_dFWKy#@xpWSt>FtA0-^? z>(8U&E#{*5*7uoZ%G;XPYjqF!0*9Q_iDMAb}yM4R8FeIe2u{VNX)jKFg0L z^E=v9m*)bag3T+aHb7&7c4BFF-}Gx7OK{Bq)L&4|Zky3QTrV}PyD}cv{^a@FtHp@? zw~r-`e1wB*RQ$>7kzsc7y1Ds6lU}!uqIQKfO@=J{PG&NB7_}duP_d-);?C{p8jdHI zqMLGHaX_RNp_le{FS$N;J>E<Hb-ug3B#V&mpf&fm+DJZ zRpu}ZYR!kxkY(%drI@XzN*D$)&nyhWvnu61cep<*NIffBw7@ zKaI4I%r;5fks_Cu_J%p0E$+IM8G+(L`?>9U$qY=s)C~9lE4se4C(dZbAY6gzBX+Sf zW7fBB^I{)qvNqq6kD^Gvnp!t^AWbWYj95hy+fXjU^fyut)ZHN=0$BtHnQ1iVW|-08 z!*a&ckW5bZ_V|a=?Om+AlFCW5(u~ZA+Rx=NQC~U>kG`zfEj<*${#Sc2IF)Q|qmoOc zXcWlSqn?g`@q0lPB6o%UejDTcBfzjN_DiSsJe6{M{sS4o7kvJq^ben|JixidnV+nC z-(9|TAER<)!7cM@%<2h!UJ{16g_{s9aauHtF<2V=&p+Udtj^p8eWwW^Zwv#TcnUDQ z!PUKrGM+1qOnJMx?z0NayKSKxW-kAD(+83)(%}-3BptEID{o(Gk8w=@Ty^U#nr&Jq z()PK*YcMbllx+{k@b^0i2C&!0cKjJHyc8#Wd^%To4q{F!M6Ex>9w7eUce z3$Yptlyipm?<(K=vr`gp1r3fFe~u9rU%a`%t#w3#3pN(gi(fK5DIOnf8i80usgx77 ziqqB?G%p^Zq3rma(y-jqd2+@)2Bg>-i=p9Jh`C3Q^wM!%{J!KWuNtr1A$CY+LK_6Fq8cU zlhnNpkGi1?;-I{i+7Mx%gYh0bMTqQ1R;xcaE78fyJ9yS{CrIKcBu;{6Xu z0h>^%iqV!A+f$taoMc!~m%QAs{4>mXi`2|*NzHj@^BoDHA}sdR(2zBc%W0@U5N2L{ z=6r9H&|0XX;;x6`Btg-gO8|Am6T^r?7D%9-#BQjlu`FzX4_`TjGIn0Ika28@h-8BI z-}N%09&~ALW#gfBl;a(9KA`r=HwN*QOde<|yW6IDk%Es;nx{#e%=!v3fJ)0(mAoxN z579ZHt&04!YMbtY8PX;{qa9;9o~plL*j%<=K_1>^awG`kDqaj5anhyMIW-gp{2E?% zapgUpmj_(%q`F2+lO|*K2|9*kZ6^mFjbLvZiUw7CKh2<9s_R3<7^ng>ssipeqwtJa zQ2op&YRL5y)JXrv4@{GEA-fqr+K{xC>w+Y`O2%n2Fp=|!@+Be3bZ7|)>tBEUMP)vI zt!6d{IZlqpI|m3w+XRT8z|X82gz>r7YQ+HmvHk`ztt;~*ejG(Xwn(Dccd!s{dHlc7 zFSU^uAuKdUo6L>J&Oq*p<{5a0R}sgH9Br1-)+p_>13pm6g-E%GRuiRj> zJP%~9(x46Jbi-9`)e#xZzSrQtnPdU? z-{6>k&pj?5uGa)d9Lf;AzYLsrDs$!NCG#NYeR$uW5m^Kwz1EwW;sZdLS^n!>{PLSA zwZVznHC=NuDHY|ywkMj%E``YQ*B?!v3!0gWkC}V(!lKvGLN%Xt|KFQRZK)d4dbT!} z7YY%rDn`WP%Sf{u*Y@W?1j2FU1Z!<8pKVJb{qi8CJO`RaQ!AhK7M0M`dX|a?>qB7K zwtly4b`z;Q{p9nMb99@05}yqa*!_OEp3|Uxi}44Bfs@9e5_h>#0HqouHa#gb#(5jC zEK6}^oY4bBtw7aMJ1%EoGza`#;31hj9==3O$25H}k11ENPwvAEEM5C^$+)jEr(Y27 zB+EykQNGx6fDmu(S~rqPJ!m?Np)5V$?NtL#P42uWnOE)+b{YqxDogJGlrJ3OQwo$= zq)yvetqe(-+u~E^pau`|V1}9?T5q#e3@o{kr$VYKvkR}4PKk8$7!{_qhKSaq-P;~e z*`Z0WU@1p7Db`3Hj{}_wuY|~q2&jp|XyiztpVz}6)`do<*}vOk-_k)*pnZK~SlCen z&1C8;H|Eco5*^?s8FU^4BD|UYSQq~?2%ZY)Tg9?Q%u_t5N1rAu=bTorzJnXz_;-GF z)XjyhDGW!Bi}-iL9I*@h^3yv|s3%ET!4p6Q<4?Jy>7+$OS> z$z1PAOKX1SEFDv&h4=+cK`~-{L6X(VMz+6LWPrJ>?f;`n?sPtr*H7ajl@1Ru!O59t zJn|R1nSXm|;i|U8YufbRr?3-B7zh+d&vQ*xCGV!ygBd{|+)lWj*!umx^QbW@tysOk z0ADQ-_{&RqxfEdqxF)#%v1832-0#s{TuOao#xq!Q8eZR9EGt;3%~4$3nmiVA*(PkGO{|lZsCQCrAGpbm*x~PVwLQZ$Qq%2ks5xuwN%`=ytEokD7&Yv`m zc2O)>+q^K9u>|ZXxS7E6VM?2lsvZNvBfcoji#3yJf%!rnxH!8i>~pck_872eTxXZz zBk-Vaj32R+UhN}wbbMKFbil(ZP%Bpc)f zq_k(+Umo$mmK)a7n&$=N4U{`~8?u^t{|{xuCfLXwE5RiGI^$7^5{4{h4Y<%A$4y_B z_mQ7w^m>mc@VXPXcS!yDLp+4dw|~_cK#gx9W|U)23Yi+FCX;9&AeY|Xn`6bS>;>S` z&BUH2fk-^Rdm_WZNdT#Q*vrLYFCEFp_U6q&(NnF?L=Ji4`FZYZ96V->9Z%A!fhS4D z4f#>d1Mek~4b|Ti4gu|lSNy4}AySzRCTZIPv+)-W7z*Xi3z6CI3&c;OcN=y$Pm9Ds z4`L8S4+>Y_a}6dKMxL+|?%sBV?2roASF(N~M&6Z22f|X?W5bKFDOROjfSf^nh~(X@ zEeN|Dban;TQv3myXZ4y!$F8`B*n1|uxd+NxC`%1+7=M8z0Az*8j&w__g@xc1ofH*I zC^e1)QsqKEGeRES86;dxgw~pFT?1 zHQYdW=zumiLutVHB_1dw5afQp^E*IseWj_YCkS*?&w8JRF2=U+iSa)!zjCIy8t!Zz1rDrWIUf!>OH+}#XgEia6prZfT<0Hl8K ztG7&o6m*U`wBme>T7Ji0aR*eRBDHsu!~L%?nM_RZcTB0sjZp9jk}1z7fBo|D-Mc>k zAVIAJfHmnhy{fp)qbn*KO_)$Hu;=S`9+PKddpX1_lzJ&ci(Z6@U_N~Z+YwxM zfL3y*B|(wU8cc&h1^}Z56u<7nxv(6HN~G}P>EekM{t`bp=3Qr^dl3niIjBfO)^i<3 z=hUvw{y7j7FCquF3MDzn&L%X|vrU-@v{E!j@>KKqb0w2g&A&aeNEgI~lr|)^t%A^b z)Kg>%eCz8+O#!(&enzK1jux(xew$9jnq-SY={9(`qi&y~@2w0l?i8zs?2w-HIUHi? z0`k>T1f>g7OkIRnf(gahe-FV!4x zfd$#y1&H4E`P*)bMlUcgTb><=KBZmTp#%){TWe`}_ zt1P#`ubr5!b*3@qQr7luCVnUbb0GgHMO|ke*OQb~DrUc&ti?2T7SVJN1AI9~@Uj{` zz*ZNyIT?`+c-lMitm|`cBU6b3XQKrm?7H6L40KIye&R8SoVewB{J*6 zaeP?c&uG3DsWq683-GfejKQM}!VA8oyc0=*>OErF_O}1SdtG1sLfhQ#_d2CKpSS{> zDe%ER5^XBTx_f-r^6~I;3=DBlbN@6Q_FjG#ReC@gbt~s8j|8nk!SYajHPUQKfz#H$ zeIkfBegTW}941qP{vk~$U)QyM1-?IZpDclBj;gz-qIFcb@+JPE?fa0bcfPt};mHAS zCZ@&C@i_HYl4G49CQJ6HlXY%*NYagpO=+yDD9=FJ_jEp(Gad1J z&7@?o?>L{2;h$O9y?^1B{KZSfi}#sQQTlNltiIA~z`c;C|Fbac)Ql^dHgtho)m=)sx^Fb0UjtS&Mx3; zcwG2;yLh7;F^hDA`^%^_3d~IGENmH>*%z5xOd>%{=8QF#@NqGCp)>lZ&2)wz9M#4x z=|H0((R%s_ndg@GmOumZx1w^;iGMxqStWN0E`|{@hJ^&%DG(W*;SmMw^9(v+fiW@} z9SAx=$fx8}&^uk1Ov_+%usCWsfouqEyX}+>&HBM)qB(z4Thm*Z){6ip8QRy-uIzu2 z_bVASY6)drVET|0Ku&3xW1XpA3)h7c6lUfb5n_*-wF;?iS-FlGCVfnVJd&P`PqoPN zo4_M1aE)1G5QvoB1GxZY_XnmJgCe9LwZJ)?3V5Q83s1v2v(%z>Fs(lbz{chg-b}`y zSDHo!)ucp&8iBX;i`Oj@g;IOO_@tteUPN`@)(Rqk+vJ8$87i$Be$ZyZ$% z#YPZG`W<5rVa+~Yzn=$%ASz6#A2!x861$QtfV%5=1Vn z%kqdb<_k(D3cnlA8!4tMh{;EYKeO+266!Lp?8UpU9e&Pb^*A1~+7Td6y>}g)jP&n* z$-=43B8{`rt8hw`rK`{#eN`So_vuBOr@yQ7e$w#=)F6{&&h%jX+lmBx0|6r9SiHyd<)=WvzT zBW;(D!{=^W1IJ=KWbr@i8hpEgwku6umiKC^B$HK5xK)Gd6T+%gTx_A z-$&_|KRUBJx8-vtju^W_-zFM;e)aI1J$@A-qIc#9Rz$&g90lN6ft)q+ zkCXOz&~+Kar3U|0L1*Zq3p9V}jke`YTTMjX^lK}`5<#k5D2*)js-^tsGU+h{JpCCf z{Dx)r12eoj{{kK_?Ft9%ZFo|(WOC&BV?!xWe<2F&{m)s_v;kTha_72!M*l;J(0+!Y zz|!`R1{vV!KjWApp9H##Gqsu`)x*og2RI!uK`uP9le9?)t)}6VDz9_(H|}mXq&S9GyCM3 zLOD6AZkt}4d7@h)RB&gVMYn=Ln7oQif|T+Ht`0k*fA!UAZIEEBZ2!#@OH$LaJO4h~ zyRI220AuG(reD8Xvgz?7$V9+?``ghdmOCVEG?9X@WuclYxUpXtl7g!qbf5h~=#~ z-7h#4tMjsmh!!mwN5XF%g+=HJ8@_5 zF>E-fj5&-`884NFY~HCY#*fgJ&zlJO470_bi`g<1xRjrWwI>qW!W%oH$z$@vmmVe5 zh===+MI%G{8*aFU!uePtlk?zJBgK-={G9l5AmYr`6_<`dgc&&>@ItR^>}KOjv0NQ} zOiWUIVSp`4v5&RLGy0r|rb2R1*4XeY&hi(wn(U3Py4_=@Y#cL>V_T#`F9PE!zieEs zO4ui8f#e{J3|p%@OfUI!%hJ?o-(aYB(5#+e(neN(;3uFy_(%jw8J4~ zZxGWS^hTSE=oQi%vJC8ND?gfu^5vjm?H2wl=r*g#GKNYL;GmG#wYBwpd$P`5s386g z4i8-~D~MvcTxaWMq$QA~Y@0iM=xDE?{YstSn_bTS=#qH+cwnk^@P@LG^h6Ij*M0*` zgXLjg^W^IDc+^sW(nE5(^2tgvn>x@5VdX~ZbebKE)S2>IW2p!>v+8)E%pGFHWSEqWl_OmQ?mh|SoZc1sR=xiu&ZH{Ug|-mscu!Q-VjYG=rnAeAwSUq}L)~8hD-9Ir=W7FMasdjB;t*P!lTFOj zw|Sm=j6Y=&2`;ECDM+Lkc$qq_c@yS8QM5kBwIdVtrC5nOeD1YB3pfp>;T_&kg3M@M z-hG@@<79QnGCV)gOec8>(#_}U|3NVQn>7DH5l0oG6QhqDuDwal=0lGb3q@5o?wJ zb%nVAM!d`;=LKAe^OOe)A} zZw;{jB%SDlg7~mIbmEgqlTEOQE45#UEVSR5^~FhW2^kp{)V5|Zn zHDPnBeG)H77?Yej^!Fb8(+FhfG!~W(MO6fb=}tY*B*ypZDt)XKpS5IBKB?@MMLoYo zeU0{=6e+0o#PF>QeU53kZ2N#QNhQ}!Fg-p5=?tv^S}#n^DR3z5-2mjH@cs7*c*nJm zy(ITd=2YUzlAUyYJv%`TZ2Olxzpth9Y4K{s_LABcC}(wuS3*%yX98m`1sDr6bA56# z7Z@nd_fmy~7~{MA4XaUtWl}P6vU71XGI1j2;ZEoUr%#xwL`ivl2OuOw{^0r_Q?`U! zdDZVKSpUbA?f*4pVNUq*gW=m04ZxD%Q$hVbdgjrfCA3!50XY6+gUQ0o`TyIn|BpYk zgsO7*Z+EcY=pKv&_$n#@SABPt4=5-zcY@$wFFa>qtFEWUQg}Hv= zuOaBSPp*1G0BeG3Jt5A2-t9lIA+7HgGXGzy?DbLg>YxCQ`lCi^Ktg0aY&~!DKR|*) zGdcYKrNvb*(h2|tW#O(DYxnxT^3?Zr8i4|s>nVF=0pEURx6tZCdQtEJtSKy?0E`sB zR{&;0|K>Xk%YQXbP>?vmqL-llU@H+SA!U<3q3|d_p=*n>-uhUCJi+~lK4lFKaGxN4 zOx657W`mQaRKWoln;*FWn1GZCcmP#1D=)y6HDwY5K;OJz4JZesWMF&0{VgO50pzCuZ2^=i-$LZ(_YeRUR7$@OfFVUF`uj<# z@3%Ts48R#G zBnqB7OSHsU`dFb4S`-OPG}Jk?A$|^FZj)w?U~ZFyfb^Pwn&)`d=~Hhzf~m4`x%0X0 zd8_*!SJU!0f~te^3SSuf#8Mo_2qZeVB&~%dC=WoG6A@lhQ;Hk>!W^bP36xI+93Tt; z5DRaN;`fXKK<;22f%njk_l7f|+4th@KGc{!m>M{QhRr>fs+X_U_FfYSdUBtF#0L) zQ7?dtvFGuc(Q31 z6x#uoq0YDBM?n8+;GekxoW0p*B?j$B;SDQ57?`-_ntnw3s=0ip@@w%M6$*n=oCh}z zT-gOyI(!WZ=XFnl@*p>}e}Iuni+uWb07<;420*_si7PWc82#-HO;6!p$)fcqfKyUEEwVOv*BDEK{WEbTX)SU#f{xvw-u;A^es^*1S#)x zJ1){*EEu@utB{tT`tsK*KXKpNbs>M)JC9}$N%wkR;7MQs+(isn82+#BXGFzCm|KEA z0$KeVp^Wg<#CsxSgW+JE7FZkI@ifF7Oo!h-*GB=sB&e6a?) zL%45!rA!RKM5o5=Z^!WNy}luF*8l8qK@OuE05`J5H6=yYe=OrHosr@7YB*s*ix2Y9 zX>k1g{u8eF%NjmjPWKDXtGGyd#>RmaFtxPLK%0_tfM_t8Z7Iq+-1RgYuH4;}8Py!W zi8u12WK`NV!HMF9Q~Q+r}ecLDl)5Rt~R}zAledO5}3Fr{-1& zeskw<9B&Z>5ynoU4dn@%mni$1zxXL=JG)zmQ6QpHkUx8wg2F93n3-0(>6rz53ZC(^ z9b<^Dec42pRPDFrtyW0kOk*sYeVPwTE&L4q%Y{lAUokfxlramRKzD1*;eBpc(-flm z6kns*#~sDyPFg~H#36jKGI%8uNfsA%QmY)ydUKd@jA#}|^K8spu_L!MVJT8Ahi25vWpY9R zsU?sWxf!IpMlvCYIqtp9pB26b1gWysbrNtls8gPuyN5R_@q$NF7vgz4+4_UwQO-V- zj7}fnEjey|#c-tYIP1b}e@oTw9OJn!!Q_BEyUw!mG+-HFq!G+JLF^^OUnc`{uA3X{>bszG$A`+zV36whU9*Rw zLT+Wf{>XNM;>Bd^gEkSYIV=}Gw(elv-3@I07kZq)B1Ai+aAy*{UM}4sFmi83T;oVu%S}I zVmWY^7zq-3u>hpE)Y{vkFV9C(BJeKO}t6*gJITup{6Kyt6f zDY}$ucg9YSuC|w_2F6{99{;YOl5yiR3cX^#e|;2xO%!J3kFAQ^?TwbK%8#ZGQZOm3 zJm~t70UnIM5Ad0Q011rS6^G~7(I>Yb{?w2@nAvI)TC74U(zRAlV59X@l&#aRrHvJf zGS(Z!wp=V%iIDxXxGZOkZLo(WYD9QfCdXZC+|i_FOJ}DJBav+wuif4bcj{+jRi!u1 z*H}l5FetDO62EU;qI)};h%pih*k>r`#Q%j=&%?mckX}Oo&&eOw-AbXFPD8o9olpJp zr@=8pQ}y-*T|LlgPH_LoJ{ZR4j>J2I8l%UthNSr1iJIo(dEd z?e$tJ_bw4oaToX-hEOC1>8HlMqtKe1GQU2Ku#Z&1#+DOLG*>AI^EZFBeEiNxg3jb= z-wgbd6LMb#++g~cD?id?%rv-9shf&{yiV64T$Jo|Zd_#S8iS+q$?}yEGEh{!JXEF5 z{NNmmWR=q%ITu+KeXS$54#(e@;5S8(A1Lah!?inne;@HEQmV@hB_T@#meJDjL zoO(B(!d~94?RFDqF*K{dLu*J;`Hl%tH|TiV%TKRxr1q~T+$tG*1lsvoWXkh4B6c{T zyh2LSY&l;QPt*n?YRGLjjQt$4B{bbo8>qnxG!I7*a;%4~W9E*6P+%HZ&^uI<+jN6i zp4m2**pb!7fNW=G3Hps}-vGMrR**Q|T)Fp{#7&^$Q!Y{*MhUMBq6fO>q-eNxm-C2x zIxH~aE6cpP9Ic+k%&W1VW>e(a5|icys(i^NSlB~Zqr^B;f|iQIFOnf?t$q-7ao?Q@ ztlkS*(-=V{aJ7 zRBAN$yVfyLI|+DAiZw6|{248$foFn4Wxw z^O*kQ2Y;1{^K?qxkTnfsS;j6usR(ZVW4s)=VBTP0Ep|Oc3n@yY@Iw2@;swqG^hrg# z$Vf)=_S^u@^#lv*R|O4kPD)%d^3u+xb;Ef{zG^U@Dv^>rDcX)-YjP0=j1Gx?R9n9X zF5lbLGU*h3sOT_*+HV859_+blwjecnhONM){#yRjdnS&j)=?Z^ZY`Et8&yR0Y?)#?Hb;-md%3Da#DI&5y&sCpElrD&G3B8K)whulJs==iJ2*Ic&**JWJwyV4;7U zZB#6M{^+LqdQ|a+=*%t^*aUgIS#8zXB&FZJ>i`zitk z$NO6z)lJVNxx-f_D^6?zML*x{W1}#6XlzGvk?*A;+Whl3FPj9i@0`p(fiX!QgWDg6 zr6~OH2<8GpkHTxHlee*8IFq!^p2t+!7SJqq>sadK90+l^6$h&B$Zq1shLEg52+DfZ znfh5WM{IYS2$4UkfH6fQOf|gJ3NeZ6ky~g~sbYIM;pouV?;Pj2>38wrm{@Z~yF@G$ zQV{ns#hB8w`Kyoi+<&NUV8O)G@)6n&Uo9@ciz1np$xOnu<`!tUO2&EjovYkLb=a;m zOwTj#a|~GOuztC>o)p_qkS{<;n=v-#L=qie9+uQ{<5;ml0kc!#l23ybC5@f!ShFQ} zRYL+~O8(Vup_#pv!$cR>FZcl83UIvfcCuoJb@LllAI5P&WG^J)KDDc_)@N={gJjKS zl#&K{tKt{v=hzlJ8w2)37;d6qSN zQ0KguV|Tu)nOgLxq2|L7(-SLn=b|>P%izfX8LDnXYZ?+Gc_qEbc*e{7k|e zwRr}Cif7`TKj%ZR`qRm5jHGZXw{e8b#rVOtyiHFoB1D#$4(?Qsb9{LX$&QB&frhujs5gl;qdN754JM&&Y__(racBnajW^o z1k@YgfaL2ise%%15ksq3v!v%fg7eiAGPX1=>kng&1{!B!E?-AUy*y3F(PFL5XE%sW zItHbf@|*hvwk31;aw@m84usmZr3;^XkNyAd%cZXG`K@=|Di#R1_M^)gp{DyOL}cxU z(aJYK^a^Ou5Q4WT>_)EN3Z$ZfsELw!GWNj3fxphy_!%k(O$XCn%r8f}rgUgCO$-C9 ztjm6X=iy^?y6>9!tw&XT2(!ZD)$_*u9{3Xq{L?U-jIqQ)Ec>YcpeEKy_HP|YSNWai zaK1B(ooH_B`_X*wti#E)PsxEt9&H$D6(5F0n_g099;D=|Zb+)`OZYK6jm4KZ=BwaM z0MN@AjVDd`1}xD60Yi>0_lXjfJmrbg3OYVFa?6O8e%$A&azgD~C46xin;f5tFuuCf zNmuA?u7%5eDoKPz9K+ZRIzRI+ zx%A^WD?U;?gm}sCk&RXy9u|YPvXN$YIWGU}=&H0sn0KW`6ttY1F{-1YWa!HA87ZMg zcv$YZWttqa`IvxR_wmGs-e67-^wXM(Aw`NW$ggt_bP(DKrwD7gR=wPqVp@!P0K(pN zru{0}$;>#1=Rv_a?9AKLom0e)MZK!w+%NH#eJBgrR_1Okp~(fv(r*>j=6GEGK0x=A zNGvdvt94qh6e89I^4%m|M8Z~5@}*y-rH009&c`X7snBueD!d2Zo6QjJn#o{zFT{1I zbnzTh2{=@WiFYZ#L2;$uccHe#0|#u^H z)@W@jbLh|Ct7u3%x0wAPyP(-pG?lOlVsf_Y#xIp0&K;E?vhK?KiJB&gs>&P1S5482 z!f@{Uu*X|&g8k6y5KmEO)B1-r$TrZI(g6nNk(RmgOoJ+J_bl0#Bt<8A3;206zJOU) zsg|4XNQjNsQT9=3w&B_5M@HIzvX*LruAKQd&FVf0k3tET+QZD9a`9?O144TmQ%1q{ zUWGHuM8`#P&7gGllD{r_^M~K|g3FQ;H6-&78^WxA6M{7VdhyLiX7^&`CzFx)!^+QN z=A=N(ufZzpTZ%69gMapz1_EtLRonW?pgk+Q_Wv{6FY*bB&ffnH&C*M7uuGOxpVJv- z%}VGHi*@_2mS%U%ccbvE+^vaualb9_>fmC_r|>ak{nObtu>}b8^@4nE`)eP;`9pB{ z??tD75<+Y7cT}j<8V*S{hSvM8A2LPjQ-FAYF2=7ldlJig{yYEpLZBRk0EhvzU|_bX_ugqd&9N-~$Ws^;4kPQD$PAdu%f+32 zrOQ4-L#$hKluBZp642G?;#@iRc^>!mp4$=}$J%{Ud(PwXVf2y&gLj3*5v=#~R}MJR z8LcWs-$vn-uWhT;k#?U3V+v`~{Eh1}!jm>k|G>M_am@tz`d)gY?+$kfXDJeUCI7lZ zMRDA(pSa?t3NyDK+9>^sU;Qn%F@8CyZs~zwGWmSXRAnkE?Lc?mLoD{zbfl*)lR~7gjuI2gfh9f1xyR1TFNN zDv5OXA&M1OQC^SY%T|+ra!CDrH&pLFNUuYy*pDX=a&7rADQz~IEIB2{Vg98nI6-QS zfc@|@F>*k2jS)ClxqhRfGuWyy2P5;4d88~ulC!L6X=^W7%FH!7v_u%*F7wdCg4o^z zCl#%bm@}Car0gBay+(1~4^g#J-!jrf6<>k&h&_hIQWa=^jE7#EU_kBW)EiSr$=1FN zc|5Gcw*g3L@9G%(b=r$h+m=s-1mA=67t=;J#+#vhUK*&eP>}i8)UH^gyPbU*#H%Gz z9>KdBAwJx^fyo0^h1qUY5?5vsr76%e=Imu)aQWs<*u+omTr&COwe}*^KB2`I!`@mx z2YQhWVy?uX6)Deq=URVe`+5)EuM=1ou2Kq?)Q~CZ0TVBB1*?j-d&Rc0uf8*u8^;F zbi&n8{rn-Zwqxd zTTMu4SaGs=f6>H7^LE(>f~(;a zLn5^c%OyUX@Mc*UFXdlCbquYuvmh$O-FI4X!c`Zlh z(JN8Hdj;SG&!Gp`@v;f!kOueNzI%$?-kqm%^tChDDG5_nzEpU!iXOSlCvS@;`l()K z`XcyWRDqszNGZOA*4-6bui6p{76Gbu+hD+TYF@zA@XqwI$HGSN!0yrSi0LACArX)3 z=B!%d35jU-$1ogjEn6d)ZBDz}>ZBlyQ@w%F7~Srtu=lm}oWID6!y=hizbHr8b|_Ib zgYs)v&UWgb=NV30%<2cuz&k5=&7bnX8~Thay~>9u(C*Cn=tartdPxj6i2hopel z1;Y-6bz<7h85gUGoHnkK0^{(#@7d_P9Id&nN9wHp;tgSFn%Ddpe+R8SGE$9H+)L0I zfnz6T&)kB^7>?A1B=|ZM&!V_?S&tm>*n2tleIcKZo|(!4k^KTWA0(&Z^NX!;*a-XG zDBU%WMhNBnq1{J6Zb!9+Hjzz?oZ^9bwXGU_zgD{za^I!vJux*x`I}>CjDgUYa%!ze zO>>-EA1wr_Xs@JAb#5F9fc8m)(*#_4uJVwtJ#%v&hv)T#oZO5!(XSsA`U%(C&&4+B zZbGZPI+GCG?|$KxQa^+qLCO4;K3K3;es_L#bt`XWYE!?65(N^?NNpOt2}T2#>>{ct zPgElR`tPM^KeRIWoP~)GHWOdFTA6a&9bubGO_&vx7?j-1vK3UZ3$Z|S1$lR{+7@$R zqSTK5BSUdQOeGku5oVecRz-||-{cAjmTvQebHPZ8(fYAK7VhYaZ8+eeif{BJ6mXRK zK~=N7hH*D3g5ibVzBQGry}$|#YIm1_y|`)Ik|hPA_#>X58FlI%j=fu_C%Gn#GriW7U)krP2cX;Fp*AE0<)dYgpHD z)XJpVvYgS!lm)96+e&-z0i+H|_mHvbK&u!r2xt0PPzPR=&YM$vPxMAbM9#e+7p&RHsi_fY@D9eM?DYF{eOouqth+Gs$W zGCCqh$7NfO9bI=s6UkaK1W7L)R)~m%VT8txwp&nNP3f|eJl8>>#fM=D`z$f@bzB#P z`s8j(Kh)GcBW5p_y+vw?5{&9)uTeP3O8h*4Jw<0YkzaBZ>87fcVa<$9xp}KSqs18b zS3$Y>1(T`{;ZHX3b!EQ(oyu|cO(N=)+V&suqBro^q!KA%Xo=Mjf?jF~$_Bl+<66J` zbCp^Cs6?XD7VwV8caoDeliurQ6oB7qqzvQh_oGsPv*}8?vP5^#@P~6bamCDgaHheW zxxz^FX5m(e3mF5`WbTAFb*_+F$++syJ|m`sA0tQ7IZX)AYDipOa!l!$K_S-X*pLT| zWBBh;C(P8}8-Eu>a}LOU5E-&6&JL#Yq&Hen8$P)qK&<3c9*M#%!m1m`bf9!&Z*Tp` zHWcrLWWWUeyD7mxo?uFVue8dDlG^FiXadr;9{x2P7hlLI8h2lS(C*{&DthR1uACv=;sA6QXyk>$&mQkPveCxP(IxV%P)jjnJMijPU(@5uw z&}D@3`R7`*zX6@8Mv%YBzg!zCm-NsyY1_FA^qI3Peh*r&EQ@-@N0IQhbNFuln0uFw zhz874@nFcJmV0MF2gAXd%`AqI^TkvuuI=ym zaYJJ$`xaC0mU!4lm+#bgKT%j)BVVr%JdWx6DjdCpl2dl6;^@|5`e5GjdMw~0SEC-9 zfl=OI1Jhu46frf*vl}&omMcRbwkGKlBGou0i*=IiWo0)lfeWpQt*GgdLvE1lFfQ;O zbSJ@69ybgRc$`|>@U}9LhIA=vAyU!;KLC7d!t8ZFrz4zy-M*oeMGfbV%i|PsFq_hQ zlfXYN;l6R?Ln53|nrCruc-)^$k*jK80Pn`iJFp;F`wo$9ayb8?3N4&ToT=&4ZsMoV z(7SgaSErkucdnVTP)3$@LYK$Cw>qQIVQpTR#TO;$am-Vw*7y0&W-u5k96@z7O)%~| zdT%$?{}A(ZNn>yxjhOD2E#N5?km07@L$L+PB>GD~(V#`ksg}qvDgg2F$zXfL4@_sU zEux@|+0%z+vbuYBfo{q~fIz^6O|qOVc?ElO6M)V2Os~0a0v|I4<@LzR^k@3Rk#T8^ zSXzza@!ao&Mi9K6$=ubaNNx0+scqx3N--g^J&Nfb_dy6-Y#;Rd~YZk@^Qr+PB)Z!^(^Q3w)<0hRlP^-kp?( zsUmEA_1|cAPsIMPv11ofH#g)s0q-tJljV`$X6#m!nfLDl#8YtT4V!rCTjOq+?wLfR z>BUE7#!j*Pnn$Zz4pECr+S5(~J5HWa%AdSHvUgJ#6my283yHe|l)!Hg5`m)p2V+m% zA;W~d&$mPsqi9-&vuCgF%4DOh#{!b5s$1qSf_-hBVa0E@KSBZ>1m}5|xpe5zK?H7A zTU4`BJj7d~Lm&dJ3*pqIaB@ma)E5!CDS1;#c}#D{klr*HlIrvt+)1g#j+7LdGI~s5s*zp{F_knW>7hoXl=PCqUB_hN zx9{h3&p-Q|wSVjN{jIfr>yNe1UYnq2_OoiDznddFZtk^RE3Ctt?T#;;8TxB%$NnXi zY3;23qUQCfeV&%#14=7$3vR}`SY4@kc(vXysKit8TUe&&gw?H%8s5HRVuIY>gy>t^ zh4T(+S>Yc`4o=%QRk5_n;l(b>YTcu%@ie^7*lu~1Pp(sd+wn_!=WGdsrmKUroM-!t z-C7v4Y4Mt|C;iRxqU}HCtor54ep3n$kzrBAXWy)8(cx#=u3cul^<1OMndPs1PH))y zG%BQ^#vo;!V$Oo<2>+t6-IaCun+BWddWr8UHvO29@!jGlt6%tL?_RS-&0*o*57GNI z2HmVV8dTJ}-y|xkx%G9~9ZmnYmC=*cQ{sac@e$^CkMFrNV#v^AB$IT!_5JE$s)Np+ zjPxmON&4bz@5D0}cQ;m8U3JY8%)Z zjjP7xUhEGqMxEz&t-dKk5wS5fyUO_J>BZ>nwLF@Hq1+opK+3U^LljWwU4!`)>D0@z^03puQW!Q9;Q5B z2j4&Kl;BT=H{AbqPjYSL%GWKIG5%-Mkg@zGMTpsmv%c}O>hfB&_rt{ItHGlN`yACN z+VQ;A(e*}b>OPA{iU*4w?vF8l@^IQ54Ym1OEsiYr*J+sj?2lwmn^dPr&v))>NrMl} zt{MEe?e?s{va_G)H*Ryu%S}HrDmB1Y@v!OssNKV+oc^gPR;ztm;m&!@7h-4NKN~hZ zcXe&eoH@X$AS1r8VXW^`+nik9a6!Z$%$vi-1^srqoG~5p-5~8*2Wm&IqRUqZJ0}_W zU$jmu)AxwZ$qlKr(LJlGZT>}^N7m+1Reom!XKG*8D!tvObX}VJ*UwlB8$K)l?O!}) zp=hSV@9N!gmHJ&bjH>f+*iuG?7)-vG6Fyyk;$#}3Qj!YfiM1e^STN3jRCIX zFUS9$RrWsXfPX=8q^Vnniz1KDpRZR ztNlj?S#oZ(-Pi4Nc4_o^p>RA(+&lX3BTwxv1Xwv+9!p<$^nlmJ%$TRcH5azLoAF|! z@rwHkP1bhYQ&f;*{?~6C?d*yNozQufk+C&wV@0+5qg4I*r9O9eBqfd9Vw2%I?)Rxn z)82oxyk0e6qVA@{g|+jpsT8|S%PYK@t@9=;Y|dj%kMg>RR_mpg&(3;uB7F{XqQcOo zI&^E3w3R}Z4| z?M>5$jl5pk>J+y)@$lyRE^a67I}$5T5J{SuVShdHy`k<|^WfEq$YNi^3WNFmi>iWH zv%D0en7t-%jhasA9hu($CyP?zRPwemsa*TX%~mSb-L#;ne~8V#+fzqOPH;}X^q;tg zHQSe$yniZfNb&wMa8JYJ@m_A#>Kf{g<5rSdsplg}qxXhI5fy9nN6a@k9X|m-n;E)l z?fRA}Sq;Ux=^>qi%8vi}@kZIZ&OXr|yDgaoC8p!LiKFm=+B5^>fqtQ3 z_KW;Nj7f@-?kOExkKrDPxwwv0hv9}&b_W1??>N3h zd8JkGWy)*%r|SUKzkjb$#SQgE<&>xg*hhW3D*rdmW4>h6h#4fT99FH2u+EfiQP0(K#(B_01Ht9 zeh4VQBqb6AVj!$z<&G$Lo|Y+QMP9aJtiT~C5CqLovMmu9K_*Y2<*0Ims6UBb!S=AQE27{9O`M!24=xxxX65n0FbJvyMX*GdbKrkB{6M4y znRg;D4GsjYBMo=6>%1~ffMkY^ycQm8O2ps*lJVg)qIgUl) zq9LkLfiywODx9(gAVx#x@MvWvplI{GP*vhjQ=}}NXaW+nx78q!5_>T#c^OL1%aF2E zq$yfNQJ`Um6^IgoW*J#V&g=fDG+AcK|XSsL9Eo`;2q4v`Q(1!Iq@CX%$QoQfb%`!n3kC z5=F@Tp6itOiz2i!J&Djf5hRO7H_!wmCt)2F4WuvuO+*od3|IcAvJ&6VsjDmoXjLQO zP(iyG5}u_ck^O`|gjD{2b1#7ui+Bf)K$cRdVoLm{Z8PbPOaPxiyBMHBn=8fY;6oJ@ zJkS;#9A*qXN7n;cmaaj8!SD+*Rr#=+tAp`eYsyh@g1*xhVvP~)90bCVb!4C#@g#I+ oygfhB`2R1NZ#;3LW@wmSNZ87d1%aAi0<;>MW@=`R?oOKj1yBO+O#lD@ delta 40289 zcmV)FK)=7%lL)D%2#_NJH8hjJ0x5qr%drlEFc5&@ou|05P3+lTdp#I2(ZR&6n{glk z4T(_$<^2W3>HnASkc$1u2~a>O#X-6QSw^7%Y$H|?QVUmgX>y+%ZM-Fww3KSf@1bv= z`j*bCcY@?NtUe%F0>d6HyPvOL?a*z$9zWVpRNavK&6nT;`VeXH9z(@oJkJ^Z^XV~- zdFC@C*)1cAtd+$V$5ea)yOb}?vF!Z;6~&Z2Z`&{shIju8jnqJvcl;ikx(Sp10vUgu zWFqx(uk;?@=Wd$Sr(0z!)WUfORr9;@UIe;h(F$W!)oiPu>`UL(3RsS18S97U+p!Kn z1Y>ZnlNGmCNQtEcY96FzcQNPGJ=I(}!^YeWIc{r?=#6Kl$bkP>1{{4hR2;O>+Mcuo zsezQh?%O;K?K8=tW%tvrM#mmW&#`|vj5W6gnW(vu^6HBY;p&>8Jd`fX-FxX6Pmb69 z^!OZ$;nZ!XO-^(e+@X2bU%iIY@WQECoT}w)<5OGA&0gDXTQ=)7Zici=-SW`skN4vP zFn~)K@Fl>+5111SSYTMkUlMe8=3zhdd)fhoH>XJXMX6CScr_S!2IEKEOv7oI4l@v^ zv=sFt8bv+49UWKfs=LGko_Y9QdPe>Zj0rc7$Bl|IKMOZW z5c{Dqo5#cESMQSd`}1~Zl<{hMXz#h~&)eS~|FH=+JEeWCW1)ZiRjA$y)q54`f0w6o zpSNxEEK8TQZU2$A_kjuC$<`~z%FceqMSJh24cBVu>>hi9+p4|ad^+u$A5}WP;x6_T zM!V4XNg9d-kLN;2m)Zb{)*-}YqN?cSh_=|TG1jRcY2&E(P2KhFu*V+o@XC&!${V`k zATxa<&qJ}V^0t4Fmt3fD!q9f*$8DH+cI7zK`@U>yAz%yee4SrbW#1(c?w43iTT`;O zRzwfA9|x%u-N!Xe!b;giapFB~cVX&5Tu5_xk-6q5&)yMD^6^_!Rm~Q=o;#XInQl$P zf%Y@y4klY4isPz;sh?%BBmBUMd3mNs({7b_cul5Byt03n^EP^Xb2A?GAvb9vNx zKeTxz%8GxW`6O0LWz}@;;X=Pp>=s4)3VW3j0|cqC46p#@Lq98~SAp{5QOdV#Qf7V{ zW{#p+=c4^!y2zM9j7=dcOe5SQ8g+SWS`oNwE`^9(^6mQK{LF!nB_dI|*6^mECK zLg$SbSVm0a_Kb_&u-_M5$65$&ST8p(G7(Mf^Qu}iMWiy{1limcce3-EgDZq&HhH-C zUL5&4mTMuI(%=g{~P|SsN8jv$$Z>78it)R-vRinx4^Q zpy7WUz~qfQ5B6Ew!`=L;oFAFX!=+}(pZLbyn2)wbku$gqoJetOvoEG48#U$LzO#wu z`}i0hv2|$%*{11bT!=T9ZBf10)#6l@rxMwS94E@WjuVM+=toW~g<6h8>S=0bmKu*! za85d(Pgt_Mib58RgXN!FQl&a~G6X<_zilx9ixlrMsppiJpY^Y+n%6qqCU~i`_ zbyprN=R*lIMn!9{zIGGxlO6keM;_^mcmA?XLl)0OqwFR`DZkjsr<|?vLEczgtiw+_ znE_j<^&&4E@x-Z+!pL49#mlOe`k@}{-*?}w=IYQ-f@q#j;2xq35`t|4DK3z5c42?y zkigIMO_dw1qciVPSf9YS8&0Q!laUsurYAdf>d2`$n1Fpt9F8c@x!uE7?3VjQG~(XF zVoo}8I%92&wbE`X^6q8aKDU^KE{Kd`QE(&~<@G@_*H!GFis7_5unmWlFpNeHp zPaFoKR$3AjVo^*=OjuDbt5_j}O0w)rwH<}Tk<6tVgOE;N0}jRyO#CJ0ff|wGw`*LW zlnf>ICf&Wg!z~L(Zhu|lhG7zi|2sH(BlaDyjmHUwm{qXJ2@tp|HFB(d_n?2ZN&;Vn zs%Sd%Lp4Hy*Q-E1Gy!x9b%m&(z-=zoQZcZ_)1L5pYKh=1oS$g9ehtLt zFFLeuEeNvpckIdP)t1Ob00cl0pIRbVGMwR*By=T_hmAbzrni&=BSVLSL$7<0kk3EK zyLdPTPi1{Tx*%I+MiM1vufTuo<$gdnM3I$7lM%6KvHpkq1(n%o&4~(+o{N$N?vx~S zbmSz|oIr?PvQ^~$G32&p($x#Q3?Od^$TN!PneN;Sm0h(-NnUL8laS2rY$D;H z9?x2-O41729wWr1sn*l8q+W&w)1`3QsyitKysoDVLB4SZ1_xu|DeZrGtOFWc+u~!{ z4E9t)r;L;m?;UzyfQ$NoB%3Pl6{$CJ`_yNx;`|cs(mS-@esXKQ8?6&&BiA4avY0VB zP#9NjpfHFq>`Ae-<`hfxxlC~*+4O&rNrDl%4B@O!y}XlaM%yl}MN7xFxyY8Wb6w^o zpd?>UN#K1Dn)Tc?YhizOfX?u5>A^ST34VxtyU>F};D0-FkJSqNBargu7P@bD%42I- zCzt6P2%p$slgSDHGxzR>wD<(Wql9vg8^$wFmav~65B;vxPr1Y|=YoSVfL%z#1HCB5 zqOc+hqg`fLT02-%`0E<>FvAeLbPQ{8b-2Fl@$-Lq6TNbcU zGUn7i2khUker}6GKTYPJ+mbBwzCZS2X@f9C*WI&gi6DPl(p4dEkacIj3PceQ{*8yz zJvfkN7zkt6&gf)bt70lBP}Ow|2uxMQv9}E5%NcE#76`k$;b})MWX}++AAjaUY%eLT zYl5tJ&dGu@$vuf!T|inl!*sc`EhYx*Je9-ym28EKPDI*PR+ivto+qiy)b`f&RikRU z;&8ts_?~~5gjqUo9cAK1g*3%EMTU9T4Hx;2kfpXzW|?=M6>|D;(@CYvq*_jt=`y0= z2vmqe`aWQL^kts2zU}hUm^lNR`|)&3Kw}pUvA|3b6U6sE)hc7=y=qyb8n1e{4tx_Q z%P?S}Q|IG!%H-p#AO=u43BUHN(a*r2Ix(rTkUM|V$rJf#Y!S+*tRy9nPR6M3{JRhbdJfpwD-PBG#*SgiW$D}KJc z`sr7ZZiHZ&F>-Tz*rX}TRJ=)e%%m}!+x_N$(d~oX?v#w9ho&w6Z0fB{qCT&vuPSRd znne5ZsodL+x_|qyrttIa_ntZqZF8grSOq`(p`f-~w6vVkOmZ34^g;7tXn$KvCZG;HtW#J=Ls!=K?%X?> z#7t-L^7xkBv+d5r#)%_E)qGE_S(c4^cIEL@m4}x#?TlivGGS)X9FKXu2jj$9^o1MV zS-gsbN1ZL4jhzT^gqa8-5>Rd2?bD~VePE7|BFs57Es1U504;6zSl0W__a3OLwP0A> zwgX)R^M4jmiivD#kl*0)6_?Q|Z~L+ss=WP3N@zY;A`uMSDkyQP(C}bv_)F6021S_2 zA5muud!~#_6&8Nsny-l$hQW1(S@oJ3VwR;znDG&JOq>%cE~5O9W8F_1|v$BVtx}L$csgD8(y2b!HS9K>u#(#Jsz?>P2xp_ln!I|P|(D`~zTFgu` zTBpu?oOAV$+pBL^c;he?CJUyMWD`ryWU4mB@d^i0!?*%VGcA%$Yd43h|6F}W@HsPV zSk2+ib-4SP$dM9>9|Q;V>f64b&sIUct1n*K`%Y)|-uQelWGRP4bPsMO;k#V2!Xy8-e{=;-qCIDr?GUSwIH2`Ru*^HizGqAv2gY5DCEPc5Dv^_BvUu5s=z)xnSYps;bZv6 zGb|bH=|KFIt!o;5aUZ?MvN&Z5((vN)DU34dm>td@dO+eQ%o=zlZiv9}byi{q>08hhygCLAE^>_#-tdP#p?iH_&oHq3wrU|h)jsnAQao{W6SZ=(cuEJ5)#hEY1efECbn>XV=V}i$T$Gu=u%J-KIF{715tz8!__;MI>U`Ecgg^?mHBbJbbKZCi4dehs_Uqn&=iB*gnZ6*s2g;2 z80uNMw{#i-luJ*Tjem9aDkh{%>d|ZzuI*#z-PWK(onh6T$0TWhmF67+pfTX;dG*pc zP6qvsLz=+oU>HeS+x66&xA#LJ1W2x+gmjz($I1gO=pnKnNSs+L@YDQ8gu8BkKTtzd zBcoh-ju;7!rz}vgLM2f2P3tKWGD2b+zM%D_$FmK>sRmsBu79$t4<5faUefbOz5-Qr zy@Aj}d*6IoNH9~0tT{k}J3In3+8FUfX5)ICKxqO^ieG0~3CqGY;V6{s;XF9B9m7VKuL^0*p`8tlJ-1gHT=k3z==0!&U7xWICkR5CNc|2xk~NG9h|@AY3E zY3(P}%Oq^w7#nePx z*R!!^iGPxF7Jlav4(f@pi2MajocaWU{UgDH_RLC#_~cm6`on^iynt>v1$=ih;y)`5TUxgdigXU0&^$L`cN2St_g%HhOurUH*|=uhvW^ zRa&h6y!z$&8=}WwP>!@xOYB977nv$G8gWHBk$)#>qcLr3!Zo5)EZ0;cZKxM5W7-IY z!{|=ic}$x`La|PwOxx93aluZgBN8bkzo?In^?}Udr>n)sg>?Xk_AZuEBBJzib6D6H zS|H5Kk|0jhvd)&f#czw(_X9+gK~gCAnjEh;6M+<$Gn1{CCBmB8 z34h`|>~s-z3q`{8XMP#ogCY(Q3nDiKm_w6e!!62Jh`^mokMymn%u6aN-{6FDXJzY$Xh?&=I!3^FWJN~7$ZF-NRuCK zihOq$GgUCeSbv(d+(z|LNafzqb+#+A&-tgkjcSw%$pL>69K_({%}SG`s(rCDNq-TO z(^_wxbEr(3Y*T?1FjvkuXMQ=|wOJh`+;OZEH))$!rC;q`WxrdIBx|E(3r7*0z}^gT z#=bL}dnl7gYcf6ENqkU`#!Pi@BRGm;{3|#5&j3-^pahf*B~JyS{%eRQ6YR-F{;)IT z02>ii3iyC{4EoT2+M{zF;K`u^JAWL5L;=8LkSS}*5LUrizgD(zZf)U+Q4xt`pRTA* zK8;q|%8$pUTiAz5UT%+@t`^}_`_bKvJ!MjXP?I-N4>JI8(P!q{6J;oAAFs23PIMXv z(z~Nx37llNb>8OXbxa>Oh!Odup7GeIVe=irMkitOLFrL`MopPe5YG+)#DAlyh{a?s zp&z-9!*J4#+p5g`?1PJ7cw5>Bmk8Bg)~#;U$KFm-i2NqjHi&_J)u?aSxWHF}@Z^OZ zL_Frx4szzVx!q@V7L64_SeS>C2;wPwk%K+S(e+<<(sju2a46rRD9|F%Isw<4y7DQ# zgF)hcOiMpzACGAPy&1~p&VTm1Gb_!8raEV-0vXz;;)@exmkwxfo%?ER{B|w^U?lX_ zJaaK>LqD`{ht!@01u6>AG8&X09|(%Va2x4!$N@!lEVh0#hzv=*qG+NL12j=TvQ>>a zv+L|9@}Eg)4(4B}(h0aCpE8CaBWHd8m1ixSglO4G-NTc6Y})MR%zs`+aF4!r`H+SR zv=6|DHpOw9%`}bk(LOsz`8_NF0)`|!PxGoEBcbx87LJKpoAK1z+kI687B*IG8C88O zn?S_ExT}i7w~ppKmS>wtgIy?A0yD5&%`-}JGxzD$Egz;Tfr$ymkm*>E7 zkbhVDrI-Hc;#ujv4S$8f@QnN9Wm{Jb%8EQ}^MGteiP4D6qL@!cf)Vt(|G7Q1#IscY zm~Bxkm1aKr*|twblGF~=BCbxd`pz%fdT#Q~556x5g{^6Mk=FjT%bhM~`i0ETZ8SRw z4@>Rd{`+8O!Sk{H43`5rl;eqiDWJ0Dz5Bzw(IaZ~fWPrRPk))2_4%n5;9JpKJrn#y zxmygEPhx17wti^bL~3s>X4antkF!T`Eie}#5tBr?JmEt6t(3$KQLDLtW;!-HTCHmd zaRmPZn#1kIoT}OK{pG=@{<&YBmM)a**`Y69ZoTR18;(>yJA}*~s=0h--vpt<0Hyzr z;wB0rHuLE3D}PNr!UK@jVN!MsoWrhlmTvF-x~1E8bk#dBarbH;CY$O2Q12Oy?fyO3 zcVBuEp49^@f!HX_l2?tFIW|Xk$>vOVnBgxA!Tj-216R5RM(Em1+BC;Q-^sjD*u?0+ z+kiNH@Umd_J}YN^41RU8vArt`avw%raCFJAyHsVA6dC|0CRl&*k2y8^gTl7NSB^h* z*VDfNlWk>7les9IldGy1lYTl3lNpOIlcy;b0yQ#|!2&3MwOCn?+cpq>-(TTJEwX0B zn@W&A1Z@x$D1u`5ttkSnmyU(XlA|NZ{`<~wD9Lu{96eqniX0B-{AQ?^cUMneakt`} z6h59nM>g!L{(7y1$`03SVY9YsuHiM%+$S7+8kb!h)P6fH zSHq4*0}=**>Xs(@@&0{V){*zHD~B5xDwmbp!FQ3S+8^rbZO+xE9ICd76g99A4jA$5 zFC^4i*@`Ug)~TkiM;Zr>@fJd^n9m%FPESLiYz z1!4{kv@0X>z-_a?!Ud;UE{hecal7jLYJ2tj)l1Buvxt)5Q*f8z1(Uk?in|OeoLeFZ z63eB3Mdq4WWfE34EO+8Zt^6W+gkX?E6Um_lX+$>mB-EZ>Zy?XO$+OpK({l(u`~9vw zJ0oc!DH!Kp&o#!ankfE9-IL-e&CDqjoCeYq3cBFTIsFd{v?y{&6&y5}D*O1+ZkN@F007$NtfL{-!3#?2=mmjNwsjcVV6V_GZ)qui9Ey$e z4lOwL&r-_d=psPg$um3Oc79I=>p{lH{X2}2XEgJcO9hw$PR4JQH8=Zb&>=8dZJz9D z`UQROpEN8e1U2uAl&hMdYkTJFDsK7;Ep_GFM>cy?%|OLcefYeAFv!!EpGd6N2{yNT z7EKSWIdrweEnY}I_y?BEM+;bg4_*=)LOhnt;24$Lm>$UxHIi{LhZ`9p33$-6aj}GD zf)!xdT#6^9lXz4d7wwCzW?TqvNnat%f@|OAGub~4k;MW;2w@3kLNdFUiu{(c6!b>I zE-BgV$q6OB?#mvKD)?6-$Ft1pJt7K3M#vm)Kzm35o_V@=mfa&QPc99AG!gP(I^-F= z7x03QO$*NO74PdDv~Gl#K@x7*&I9)5t6Bl1NEKacL1q&;E*gz#@=GqnLmW-Y9C zG@RuH5Y7;A@Vbm+xKIazEfCP?P_~ca> zHC75aH8i*n>U#R{eUH|Eh326GFnNrVpMfe>ksl%rAlp=>t(h7dM_aiV-mqn7aA*8X$#u^N(LX$3QU4$G-v z;$bx=1vn%s4>RSy9Vy;WZ7xHR3=0HSI1DbpwIirc$hgLqu5kQ+6va^1cm6{%6``}$ zb7vKdXkuT7gU-Lrxh6ehq~UZ3)T-H35a`dbIVdg}jT^^`rNH{n7wh4tKcA?9?rtCqALx}mLR+0L&*g{iY1~8IS z69NM?O-28?Xd*xmyvac{6_-NEKiRztp%9Z06E5H&EL6=IC7L5#>!#YO0k$G--(Aen&xt96P^GN%~=oIfMv^ z(Lgr_Y;K#Wxs4O&N@3{upaWq){w(<$M$44ClL|4MlaOB{lkaCQlk71R1Tru;Ig`Nx zD1Y4<$!_Dw_3p1wZZt5eseN&71Ei4z0cPSD$RP;=N}_EhBI%ISxcl$ty{aNbvWvDf z-I)w>5lgkaeXCdBJ=}czL5mGz#3{u$504ur1Torf4Aq1ywRt#f{+9L6Mbj45?N%|F z)p`HV;#gK3|Elcn_8$*_+-Sn!{FX@~rGE~G{?3GaY})*I4Cn6e;AA+1OMMf@b$-jT z#QYC!^Fmf(Q$?5XYlKh2;rsCUKCZxa=0VZVNgVK|GkR5gJr2dKF7FLBjF_KV+t z36gKB&(YN36Qw?dav!IXbWCO|oV|#wAWER=GLpPrzWu=L)N;0r6G7!>D-2OQVt@Hl z0jlLfXQwWFn_XA5Ki+ba72m*&LV}q@)Ud%D0v9T49>Z=RC+-3h3{yRx{qzEV07Qft zci%_4B%RX5sUQqUrGcU!01fPIJ%HvV#R+$WIyD?9BjqCnr@9ObpbonQ4PJmaKs_7^ zWUkJ4$6{0iEONq`h}wuAhSnY^>VL|wnlRZv=Y7QYgsj=D7*>$aSNv(hK`@CE*lk#?ap6?qfgQ})D3K{BkW$3F z%lEkP-$4kBNeUSx`h9b_UAOcn*LyAtxpsF@H+FEht7b zV>3Yk=zpEMKH$s4AajGZ7OK$3#42-Bn5!Da>59tjLgaATY~l=)Lr=f^JY0LJUErR>AZARrhP zQInru!9}YGR0i?&$^?BQeVSYH2sMaYFUcETjH^GF8kNtTi;SbEgn2rwNV>&pH7l6=~ zfR>gSoXH=HWb~!P>JifOB;2Ftciusr0%yPl9D|;Vybc)z|M^f1J3_#QiG5R5qxme# z9Vdw}ZuI`TZ<{XUJb#rUPH|%7giS>w7Bxh}qAm9U?Mv>Hd{y+I-mUH1GT}k^`evY6)?G_x~EF3cs0yRVjatWi{Yc7EvgnvbaOsR&YsDMz zdZZ5uD?@4a*IUc7NKV~gf_x2sFbts1_eF6CGtuB<5QA^3MwqO39q|LjM9=XR0G=mFyvMS*K%<=0ae!JBY;H|I$chYms$iJq= zd<8yc{y0P!FglUEKh}ZzDn&gMz06&ce=evV-m+6Mu~Xqo%@jDO?&#c5JqK%m0lnmU z0XZ#SMx;{jxq#$wcbneve{E9a7fVrIDMfX$6o2)5Qrrq`-a!pMyC;6FfC)}SjZ-V| zlqTk9l(SedQ^M>b(p4*!)L90XVE~d97i%N~Vr5ox6kU%vk@TD2J>2}~2BRhH^#Z`e zE|?(<1hKDfaKS3Li@FV{4=Uic*gW3+`Q|%(Jy|rl;7+3%d;k&S??wAjE8;6g$uAIj zs(%_=>&!WB-@K4HxIW1RO>@S!Tq{Twi~i;N>1>@r_9bO=1zF7~wE`Y&j9PP@pM7Rq z(KFs+G|ZXVR9Tr4`OAf!>Cdwf*LyP>nb@J8U} ze5FgbeP+x;|Nb{Nbj z8p)`3ZhbQzcf90nUxF6*r(@n?--|lmK*hD@)P}(xv=G-~D}4E|`bM`|38+)XxViTV z^$pE*!%!2a$Fibt^ST4URpUEE=q<;2^Nel*f1~HXjxxSe3?0uf4xKt1I(263)P*Cl z&3yDP5U+Pb1p5iTW0wh&%Q>8rZWkkyULg#VB!(}O(K;0aGdDDo!2&6NSxIx-HWa?= zSFkr~CPc6=&MnhsGCkC;qg&$X&^B$;Ba*f#C21!=z7GT_i4l5rRgu8+av%D-|iM5jHxST}L0|+iAjNT&45r#q7`5?}*;sK{?W}0XtIa zNV=c`X~9~GlMo0)6ka@k1qopgY7ir)rP(i%K7vT(NsNRTg{WpxLN(HcI@0qH7@>$! z)8p4glSrtwL}j}4G_0c-Msls!Z$UE&M3o!^Lk_?>nOOF}9Z=mu?6&JyV3SfpF)V@xpiR6GcpoT_*o6&k4 z5-~^6qZ2u8g@K@B-3sGNQR$>FLeevdh&iPHjF=vtic_`~r;N#gK-Ey)yMfwhFa!+j zIh8%+uzg{86k=ZraEi2~8;yTCE7H+cKm~~~69*3)?1;s>7??eUB+r_r zf~H~y8LFQ=lo>=eBSJAvI2@V6won8~Wk%cLfPz14i^KZWaZTZxh7{1|RJX5xhrF~G z<$|&SxRD8e+COhj{+LZ3CpLzFbbS{f1Ozf6(N!_AAGCn@HxYazDq3XG&E)UN+ufT4 zsyI?`3Wq)q)tm20bv-Z(JUb(QehVN&l^UF@HkJQ$*U)QI*+wVDa}7;xncsH{!G5Ur zPj^7ru(_5QJxSBnuI?a?wTTjV3TO|__t{+rQVI-zdIYGZr32G*<=8FU&!>}*2fbooy< z&kO2S+^`NwBzhypC&DHg#K-m$18LzAXH8wJZ2E&;QhV1J z-`k34f2Uvbs;FIQsBYZz%$B|^Ei3o4ApvIpd1>snmK20oEo^PKi>2kWD(v6O=E^o( zc;s}EIg;gFRc9d&)=NMy?LQI(_hlMoUh*<~T&44T>H34Fu`TYBv=trXFP~@~aJrD| zp7=F9?Z{1k_1IqahNo)@SsDDV1w+`F&Lk0L8-ILxxoRh1nEtBnMF_YLq6$3OhIFo_rDSsK;Zrr%_ z-Cr?%(*Pbtq$p7`5ENZtgKn{#Y+(a=*j)s)hBKo^mx(CF_TTp$9_lvBsgt%3ws<)t z&;2$(Jlwo_C!!5wVV)#>^KjU(I1Xi+ZDf>&JV`bW`^|5`{q~QCf4q6evL&Ppvpn5I z1QBj`3D1IG+D>nGaUz4GZhv&As_JE%@!%HL(lj`hU$+3H8wAM$)!^)fCS|i9irxXx zQg64<+Z`_1E0W-8v9F(TPX@Z^>CL{S?;{!=Z&8fd)$3Rq z=5nIp9yBcrp1rri!+%09uw(c~oGJ}{+o8h&gKZ`{)6=ScR`t1ZOf4-ttsL9xYuOy> zt(33cO7bv~6A6vpCQ)!yec3iX)C3Qun2p6MU7RH$2QI8c`x6=m@V`e9lEeSd+sdxd5aWq^)D#cm<(_-)#r2B^s8UVnFbPjlq}6n+vg5Kz^! zE+=J1bfYz%a78n#`z>-V3mymLXB-i?c@C^Jy;gf#+-u}{gOAc4E%&;s9XQfrmrj6y zrm=c7L$@z`eCLJ0z<|l}TT{*qUn@D&FAu!sj+))_C*|!Mk$LDiZ z7G*zqH^HLdX@4~QJPv9#x;B^qtBPvaYp-sLJj~L3d~`NGILU)wy=aOs<`ZG=@$x`# zflp<@p2lrcISi&ezWRv=kJ7hBg#&lA^xmwA#ouDK|p%;Q3m zE-Zkv8$GQ=weetczp>vkt|NuC=wNH{o}3>+utu560Zx+0u*x&jBkrwK6Gr|1x<0jcjIED7Um z;uhMfz5e8aVGOP6(08_tKxxc6Kq)f(C90!wJb8O<$t%f$M@?#`;#64-Gh4f>ZQC z0vs?h0@x4#h8l)v^k$e!rB-toc=>vnL%|B*V1MW=eUalkpM##n5T~;k;*`6{0*i;X zs%$3oL}bB|N2s`rjJkEmx821xbz3{da3GT-#7(uh#=0Nvj<+kMor{<`iJ29-2QZ06 zD6&g75mTc!+Jxya`Vx28yg=ls@4TKMk|7h|oOlKvk6*W&n;#!;zTBW`!TAlBEKC!* zNq<-d-)vLVH^2Q6ZT7GUbcAu9ZJsP>y@|twp?y`G`{P5>2o696*kY(dt0|W-EE!ez&gcHpWh(M|lK1PClx*Qb@BEh}GM+E74C~0>o$vgP=K@a%F`4)d zH|@m~9^@g15V!-@BygVv{hOhfd9cYjjep0K+{K(XMxW8*I`vpqQ$~S+R(*1|$nZOZ zkrh%Y%ByI5tQ;VBGPI)Te6I?d-xoeV7Rxw{=B#4p@uFIC2haiIPT8C>T;Wi;bC8k|jAab2SZ28!d~)MCM1TBz zlC6V*@F^jA2OfO_jsS3;J^*PcsO&v9>N9?CdgK6mR} zGg;#XJr__GuN_sVi=i{lDcMNQus*EMSPowCIefO!SMU}8fjxOBLG>38K<)y5pS@#yD&#voKaGhK$*((%ZvjH z1+cM`s(SknPVfc%n!&{i$~Pcx8rs;GP-Vor`_l;s4P{5eN+0^VwZ$I-45;tZ)V$P~ zyi*gQtxV{Pu0PpIB@ZYFz0jm}i|~@sG%VV#)2>))_Jk8G+c%^OckqV0tbel=XhfY4 zD)VS(Bx=gQ={;L{45SU{|df}(1Tb!eQ80h9&D))t+xeNyD~ zY?1&w?PIS>TgKt8qD4T)qSmQ>S-3Pt#BuNeI~h-{YHuqE$;q$D5f4}x zFNXAw*=R4h>&U>MfnwN#>whnU0+(KDca2jHt7z0SvRx<1=Zlv-&BmKStsuj(!Wk;% zvb3`CSHK`zvzD#RS4eTNG~J^18BZU_d6Az7+w}QdUZi-|edn|LmeG{$5o!gZe4-Uo zV(Y@Cm=qTBV4w^WlWx^4wkSidKz@Lm%{0^CXWi4zVCb;XdQ4c!JbyhcsG=Rtm0l)a zlDa5cG%unV0^utB0|Pl2dOmg7blYhNGzqi4iBI~=rw^a*?{FarerK@&QCLx1fV)QZ zA?>}#0vQ+4t9*D%i}wx=-Ad^5WEanWM3&noi^M)!XL} z-Y}hpIb(}TBWAYrX@7i|LQIdRdU|LeBi|Dh@BRI^6w<~yfwB?>l&N#5nxmt}^^Vff zhNIN>w60Z<4ALkucND&Pe2>J_xoX{df8ht2M~nbydCdP=MA&x9RU!8d&+<26+8}>k^CqOIujil$iL$QNH0Ku`L&< zDRCo%8TbVTYJVp;o!%V$RpfLU^q5Eax7)~Wk_b=>44?BYTSK?*=MGE@+;1EG?Kqe^ zb@a1E(+^;J*5P@@1(|ok@{0}}7Yxexi?WGg7$7mYpJl3+ z0`q70ON_&N($$Mx^ja5TC<@3fZO;SN4?|;fo4fCgZXod5^}u#pFGAZG#b~w;ZS{Ns z^7;}E0K!ql{tbJ>?wgb9OPrIdsw9&scMFpkh76OLq(*IbRoPWpAYckofOK#=&EMCIfleZ~nw4M2=iJA+cV%*WkCq`q zp_E|dfg#sGg<{69LMc`@?0fp*;M!yMP=2|+*YXlAIVdd{53qi8$7v3@*Q~_BB5k-+ zCQRC9xfD9>s^#$O;>Le<>*mK)Jq9x3mt?utAPZtSN+2l%=NOYk4wBnV_FarjgEDeM zjFnq3o>_yn=vM+F9UebL6(kfSuUGiyQFVg!M7YZPu-;fOpGWl30KNIv% z{)7L5K*lhw6-Y9y9+Kt3D&VqU{tXQ~w(O96P3{&CyiwVHQvrWu>FNSs5%LgY$w`4Q z>Rfg$Fd#pVK0Cv`9r`)!>S}IpVlLDM(BdZ1w6i-t*DlKyQoL)vDh2Jft(s<)nl{OH zRh-7fn6CZp!bKI9u|0)NmkFD`JY~6GCYNE_wR1m5%TN$-u6CzItBHVx`F}Mf$iIU$ z{G%trH+hBJ_&`W4rq$R4XG@J>jeTwH%Yhuu1NpK}XFJyCdz03Wlh4n$0^@^v2Aw>l zcU`PWXbALfm1>@!hbPxh(L(qb749j(=I=l3R2LDml24ln0yQv`!2&3M?O021<2De! z`&Xzp8C`S5x8$OSU7$f)^s<0&-6BwJdaYKL97#^H|Gqr_Sr#RpVdZINq7x#t?n&}$7h=R1;bP!(4Dx{+uyo+l zpvHOGj#XXK*lX*y_H{G6;I^*Xt~qbJx>+w*f~Ildw2oF(bCRSS7J>+&yqFpe0t?O* zTBX^w{?&2hu(dyzC2m=YuO|?sW8=5#y}yd$ldA|2!H4UX=I*h7=ql5;p?fPy1fxA| z(feV-a7Dqdoa<=CDAB1WO+$uOL$~NODjgr)Q^lu{e6C1F2l?wTQ>ppDH1F2I zK;VfBJtX@!7*C+R8q^D_lM$M!p5ps(P=dkaES9GBf>@FRlW&4dBw>0W0S7Y%J`L;h zOvgg3EXA{RY;>f5;Rs(b1#zL7_oB}Hi60?HVKYAFHaEZem*4szvo8gPbn##*aI>rJ zliCzG=4FZJPEBotbV7JAp3>Z(frAu~Ql{GCCJJ()?J~fa3eQ2R9eN(a=h`JxGR>k> zV;+k7jG41DpA#yoqAMU52{7O?{uv~=Z0d>1+6k`z@Y^|m2tx`?JQZ6mO^dsQ&HPhY zY;((Y9m+aT3Sfp()o0xiOuCX(!V(VCyRN<~4RdF05b;FdH4ra9Q!c=qxy^S;MO?i* zlG0Gmqw5p9nP`yrJifl5P(pgL+yv|oIGT70zq!5r@Jbiy6lPt>ii~lAJLJ zzw{Zn4Gk%5+l_Px!J?YU3uIByGnB||2!q=Tv98z<2R0RXf_)c<+jzdwii;F_k8B#- zySl=EH0(2T1b*8Z(5u>A0y;<)8w8F|Z&HUvwm(9|DiDuugLpJ!vT=el8Jj1wJ);-k z)wvd)UH^TA_3(yjA`J*{@~X8Zshu6W(&Sun!qqD_m(WYfk#nuxYBaP;iB4u9;+4?c z)k+tQWghAppgOZ;ke$8SUY#yP1eGsBhlZAaT3ypkDXw4crl68M!_@2Agu5v)xPGNG zhsJI|C@APsD~uPgX=R=|ziK;k@~gsZy#sJ2ZO}HFC$?>Gw6Se#W7~E%e4>qQZR})Y z+qP}n#>xAAr|O*g>#v%cn(F)Rt{&9P)pvJa@Fg3QVb+#35oG*!f|veLn%x%>NpjmG$!@G~Rd&o8CvfOV)PsVnX^XT6IK;vug(GN1T&81%ER zjk8fH6=d*-$;s8ZY1CP*#3kt_QOa12 zW8pMr-^_dok7BL>&%JTTG+D*fzR9=)Q)&sdkZ|!k?0G%ZrBOJ5F-#r44^Jq8S`$E9 zyVbBv9XHv=J@wg0{7Awok>}zNb}n*lU8S0gyrp4x>ta~KBZH>{Qdm5Aobz+2>7ZOB zD85#njTQBD$geJWEoyi!p;`j>@p-h=AHZ-mR)jLE(@mxnnG`Wy9LqQ{PTkJidSrHj z84fz3;zK{D*j=~7x_~rId%r4tgwNIuMZLXlLBs$%UNGP_(P(>BPb=@RVHhj~DpYyyP z6+?@NS*sh-rW>o_dbvlZjrctzu3kh7q)W18q?tGTMG#c!(ij?gfflOdF>ScFWbwYE zj7bw_D?fT0bgK+R~HV% z*-aR@=ir95t;NpRjO-hH+$P%W^;gA%s50(HKK0d-htzvU(IO}@DrI8Z%kw!{qQgG~ z*#L+xKe^@M;Fl&THpDUG3n}%}1$G6pM_}>hC?UQudrgg=6$m5ftXTI3Tv;pQZ%7g7 z)E!9kPj)e>)= z6;^xYDN}CSB+&f1jbza`3Yq4HW(^7$fdjKJ%KeRzBDEGJdU~-`dI@7}pgjv_g0c&$ z!PPsz=_6t_5sB!3XX+y@l&)n z7wQOXF(4P=m!~$O9XTlbG)?si&)So73ilZ`jyZ3(GZs{;g}{vs+!*(G1k}6#2puUN z6m1%TSVW18vxSQD#uqd<9-))$*#2fCrg<^&$d$fENZ43r)PIw&HQ$o&eBJLLd2#NP z9l0?PwAtfrQRc=sNK#;-&!Ti|p%5)Ez6!0NPLc}9p(T`7TIZ%@?ADT&_~yC8{bG$P zo|kyfnaBrj84wr$xaL&de+n87wAID)f?fo%oGH`s-l5miF43lfS(EreZ`b%+Y}o*Ig(k*&E*CXeIyeyS`*=> zpEfihVFCzB=7qFzWKk#tTgI%Un&oC=r>Dok0M;=g81aM8 zjBpr{(4aSQn#*dQDCC@=y%}}&o9>Hj#Mj7pgKYv8Sm<1af!PI;4uRh&loB}b2p9K@ zf?OF5L|9~wr=oQ;8~)D*GEAob2pGU3Ownu8i8DNGf3rHorm=FI4M}NLBXv7aEgeT& zKqnMwsZ-j~H%Q&O2 z=oM1xF0W%Z>2@Ep6YgO_ssgZYHfwCBVyl<2{{U{JM!|W2Ji88S&0IFiY;atbh)KXh zMm?H`q9OM z4mUr_z1-sg^*YS_@r9^PkiGV2d60HG_$^%W1pn*J@n-9eC!UXHGSBI$o~MJBYfo^j zaYC2pw?SuT2*dl*vw9HXb^N3fhn#hL>9&2E>DS4RnIm`3?vcRJcS@Pn4L$ab4pl3ku1KzCw-*n zm`9{oRgY6@itA^THez2l=7tUKVzr{1hWyP;%2YdkzT}~R57OAItKGam*=?));Aru^;3Iykkk$)(K33Fm#-Lp|MPeby=lN7yIucfF~olX8IO zFRfl*K*6M;5C~|gBoK|ozgV_tz(QCh%}kU3C%jvPH)MK50D~^(17`}|Ty~})Z-!t& zHb-YB3LE3AY)#c32*kJNIxquw;wzk5=Cpe7DcRLT9c8}tLF%rSj;zb z;4CzKf+e~9y`Ke3U|sLs!yf=yOPps2HkNegNAcSp5$hT3Q6T9coMqrn)m*(TVvAwZ zpqBG5aily&LViL4Z&cH}-SHuZwrl~2HG^7T#2d0{S=1mrG z_(z=W0~UCceA&MXOS3L75Bz%TET_<%**zU8DQ;g|pR#z%P-%#twx|IN*k&GDDy~WFMMV|4W z@!5a%VUlll?+)F~_R8e^eAQ}|62}aHY=PED26Kb+Y+7LSO$u%-oOn}*)hAV@46uSf zi;3CzEZLuF65OfPqe@Gw3So_SuCQH%M$o84@nm|7F16ze2m%L1%#l>>^SP3&PsS#U z;*R32X!gfuNU_zkqmw<-V>Nv#waAqVxx_Tv7(#A~e>BWSAlC|^B z647^Tc>HfZ4bJS6SFMkN|F+rEY*x*bk@z@qy2Sj7tg|CteBbu5cf^lk-S%hmo2cl~ zlO3zAIF}I>4|xb>%@G$@qWOoW(YndYvR*+Fz6`v`bt$G5(a2JVt*q5=N!DUxpH#$n5&PyRLHKdBf9j59lFhzGw7@T5JXv= zlezXcqn%huF-I25*KNFhJ8z}HIaEim$5r6xq`BAm}CZ*9vVxa+k#C<6xn`{`C30HI5whkwrU12w(+n#1rNj@ zZ_)71PpeokIT;4zn0EUga#j}x>XND={*7tQO+j&zV(Rt&X6y7-FoLvi&Xl`l^6OQ{ zUw3t(bS1*4;Q`r9^tHIdx?I;|c3&u+Hqq zaz7`j&yeJ;G*I_J5wi-Qu+Zf6S!bR+Ywa)^W1v^4f17ve0U0z_K|%82A!pSc zO+1c%_eLg<&tcgBXDgic`AKt-V3raPK$ZOwB{U3k6I5t}=8 zdS^2za_Naq2YtQ{Ke;w$tKX-=6xaMq+ddepmQ9O2*v%6K%GOh(bESI2;iP#+r*K?1 z!8~ZAuhwmgjpl*Php;qpJ2`Ufe28@3qMaf8HcRobeQ@Zs&eT zNXH$9b;eEaykV8}O^&bp1LgOF5rBvPx}@Ro-P@Rkl5X30%(zJ}GI$ND9k06=xv=by zBtpGo+(zOD4tlc9&K=&%TRDheg$}WJHgDf)krCrJyyLn~2NHY~l@suL|#~~OV(7|o=&FQ#(qstBjBW7j$viqTti29tBghApU^ z4Hd2w<(?A~NTRsNnf?1}^{Jtwh@O`Tkjqwr*R!f4q{J2-1txloSi+A8YaW>6<}q^G zrI88TS)qD8d-xCvVVU;lB>5fDqAb68S1y*A13mIT+@Mezc~IoxT#`PG~39vODzpNXv-+}_L|IhkigNDq1y-%G->dhQD8nmR;r#sqktb$%6 zd2LPPjP>6X0@HoD1vX&!L+-&Md~){fmY&OOM14C$Y4+mypO4Rn7j2Ri*mug*FQ+%n zM#9gIi50uVw=Id~Lw%=#De571TZj4!o@AQGd<(ArKTm8=j)WRm@8ZI)bE3}_Vt~L( z>?bkgN_M*YK1NcpuUPMLp7K!|MqI~V+lc~ZV$LnyLm2j3H74Quxbt{~Z^F<@x4)GZ zHay9&pR$&C9|aSjm8x`D82UarPKoA+{Qe}R$+fr6eO&X~-?rv$;$WV5cI<>TsfWmG zpBUQ~t|bsqtISO+3KVv_XbL50VQ2y)xNnB>FyEAl?gEdRiDDG9EeEQ_e$87iKXFy@ z&rP$qoj_~X4y>p2tRq5rNcBE?F`MOPSrp{?N_AX$)QqowST$N0k&O7`Ha+VpeIxPr~!!prPkK-vdL7fQcC(+JXTUP$_n(!f>aZ{J-tZGo3SRvdMY?l{N!0<>@ zM<+4cuDG+x&V~yNX9^9kC`&g-*VX-{q zYO$Gvjstn%+kXVee!(TFvU;D>FrIAg1_KI2?A9)*B_0*cvr(dwQN{whk4PcN*^RPw zG7Z9zI#2$Dnwv$WI~@MofYh=2x3(WTx=)0>yhOkyf8t!EeTxj$@T(OVO2q3AX92y5 zPA2<98eW1)>;z5Wld(nRky;JcdVS)ySjPbb5)x6diDZa%zAnfwdEy%o2q7rWo>W|I zmsR$E?TZ%Tff7O1RU5};4_nwpj(UuDBhB{UXu3L-?oCJT>Xo>hqICL2QF^lT!sZyl z3{wP`aPNDOHyX#NJZA#`bOgN7((gFVM$8+NThD%(@Y|s2akwvIQgY-t_$or7UUU_N z)|>}|^N6$JFe4&Hk$*RMP&3k_keNW+K^xjWUS$@bZbuWR{o0CEC+}5IW`9ywCm0_= z9iz1|k(*00&%=1EGRlBTbM>LZtc043Hu!x!-~SO>$nfTi`S2S^Q}2bVjoS{QOul_@ zV%W3i*$1itpLw)yof!-d@S;290_S**p2$23WZ#36=~*#>Te3AC+D5#-F- z)l0jQf}Q3ni`(Eg=U)Fcj1u#0DV_JkYtd@oskpY$&R^!Pc5LbWOsbalCqOW%vw-9H zv4#0uXN5#jF6>i-kzjupD{=%6LAuP>4%)5D<wY!0JL{urW)?49Cu&Jwk z1-l^Nu44d9X)p6AlSV9TgBOH?j*UR;hncyyNKBU z10Ps#X)`QLgE9tZFn0=nYNvea=YHHFN~A|1z&9^^aU6d(sW-W4KlD^v3cSkYywkOZ zN!`z!?3(w_d)mubjg5l3O~}D_rO$728QYwz_V}G)MbHSfZtn~9zGK*ueyof1(Zv98 z{P#AmLrt)O06Nkll6MSqYzeHtyY~5Gl0Vm)@AW5RIjJ{r*l!lL;nMpPB$(ECJ(m1T z#G61LlHWSl+j{rDBe1*RV$Z-=!_^0IqAUQ>QcRg&U{^kuKGupI_f7eQ52ns$EM(k4M|6Mia>yIj{E1iUs|19 zX7IsN3#h_)I_U2s_Aq)>4Wk>nXHM!mw^Vl4FRIZsr3J7vWf&#~Q++en4feYlqiy=!ur(l(Cc=8FWf5QZh$rXP5nkZ< zWvr2`gnhwKIapX4AeRJNb@6rw^1%%c1slYZrY0fbUrlz#|E2RQct~DPu8PRFtsQxZQXX^Na)o+FE(qHq#R{ ztvVSkqxy>1gGuy}002d+Gfppt1Y=?R-vWg~@*8PgLX_urf7|%YXS9FkQ>s3MuYO!y+8j)u9M$Rqm6ij7 zq?cSb_4^cPwuj*1-&-zS>2IeSWQy{RC}hYwyfwZWG=7N{j2obfhJq(erqIf(&Zj)& z&bnnSCqU6cM9-A4B#+Tv)=IC=P+K-F%4?|L)0T&J$bI8KLB(AY7)sQITk-Bl1*==&11~ z1)17JOX@cLxii7tSQgSXKvI^5`UFS83~YvtX`CL`kic&`Tt3NGObMET$Kfr2A1i>Clmay)j}38Z1%@d^VMG zG#G=HO`UfZ>-fpsmi3Y$)O_==IX2&@yw_!r%+h59DUR@)nO0g)Rb)l0zqaZBt#K)M z(-_p#*I|`>8p6{kmTb8}zw+~AHZ^W-9J0mtBWKzB*jP~2M2bIWHl^=0i@fCim`xJT z-`3~j#+yT&j+gnp9}mo^e>ok&%4u`+R@YAJueOA8dDz z4$wWdF<;0+%g4i@fQ=5`Yi6hug z(U0-eWER*|gbIM&$pZF?GU|4PQ3fWBcr4VUndvF(gmVHRmBrqnF12y#{}R*w6)Zqj z3z$6~cuO&7rWxH7^d=hfwTEdGUoNu{_=##&V$12=*rNObbc5@_+Jw`fawqwTlL9h- zoP+zcx$GaZfWZVXdG}qaGogD)~Q<-U?c`Ok$SJc$#aHwt(W>%_}b7cYYw^V#JR~2_Z z9Ad#rq&kWL5E2UgFVmRFIQU3yn$ZqtG0e^hwkg9~?d^4oMoK4FLl6xIB#F9V=2R`I zj1;r!fcwJ9#vi|Rs^#j9#>e9iaxy6z(3VJAuKjM36wTR93Xt<=?d4^WWN6BZRKYsl z;WzQX?drM4X}TG9puXGqhrK#~ipL*;7>PhMyrJo( zj#ptyVhJX04mYoge;zTPB-2f7!&ukkE3Plf|8(o@V~uD-u=V(QyR@nc{BBF7x7{!l zy+FESPWpmvrA6!q!-mcee3r9!gLuG6!+BE;YP97~mfs7%ZjL}cjxEsJD~ z8o0=Jh5ueK%M;A2hxl8E_5ajiVoU)1`uVMcmY`7%pCJ1S4~&VCBjLGx;5)$jUmcGB zi_R~m|Iq=kB{<5`Brrfw0vS2Kr`a1>!D_Ryv(mE?v$C<$vk|khGtx5?v$3+%a}cv~ zG1GGqvoSG#kFqhc(X$h?GcnV%5VNo|{Wr?Y^}T0fWBH!X!o)%Ueda7&^qj=(tgQdZ znOMH9v9YjzOISJn$36$wfA+bU{mT*uhv1q#Z{RQIpL7!<%#?eL;8D_2(d$do+>Kkv5>wI$=ZYsERhr`%aU&%OAD#_;M%Elvn$6`l zKR#Q!I(vWn$O2xTbygjHZ>>bCrsf>F_&B5i?8tvhBZPBgL1=k5C!vvpBnz6$$}qsl z8L5#!K>T6Sfgn`I#&iZmQV`RxAhXlp`St-!$m$RkIn~&Z6jZ4&78;h73Ge`X1QSI` zaBjaJjDbSwIZ$DO5bMOK5GI4fAoxkJ&6QiBAUZwJu_zGnD7#eXf<>{ZASm#8(*qBS z6e}}eB;D8A>G(L09q16uq~LiVQ3z@2euCsU-$f-LKxS;J$|G=?B7e}IUr3q)98F;b zN`Im2A0E%dKk{XBew8qNQ3!q~Iw^-iu90y}rh!GC0bBJuLd+ELkIoCxQaMVJoSw)S z;4Z%)p$mGNcqw{=dqGDg(J861p~)4=x}$g{e|%Ml8f*n4@+qim%P^Q<*hg%XaG_DT z6nV*F1EGn5u^f!2P?#G1In^LU0ooFM~LA-G(mejp}G6fbpYUl_+X$U!OyR15D_zE6~*kxu$J)0Grof8nA65~ z-9Y~7SyZEe(>w$aT~={Mlt03t!PxsXUnKFQKpgnk$@OOu(2UMK!SHTPWD|dKM_&O^ zW;w)`ei`bhCVEdb$hpYn0ct7V+3wCUCb98O=A;wT^)n}^CpxLRLJ=yC!rCqF#Iras zrhHgl9Ube648pfRF6H}f6TLbdH6F7SRb7(WLNasgTE4I7`j({USAn+I_vkQ#-1 zK-SUgvfj0Xyh5-K{mr2eN?w8knf=(O&PmKC+7j1xXwP;WuDKd+b2tp4_g!|bt##9t zD(^o} z@OR#%g$5~Gqzl=+$1bc4kwJ+rFJ$k$0J{$F%gp$U{^IF5lAYa`CI!17?t-W#k6xHV ztTE`O7PxNB&am6Qyi#RDYYslB>bTkKj*#*Poj1!>{b*R^4c;syyiTTWu&K{Zy!tGo z(p^JPUApn|kTmLaQ@Tn-b&SoN-Z6y!D%jH`FR; zWv7Z64~ITutsUNJ2B!`uKh~ku*Q>u#Cg`#8{GQBw-``(3Gb9Uk^UdAcUjIewe~<(7 zBWUYs6fM6{cB47whrZUM^Pe3eW8mGuH(i-z1K1IV_QF@oD#rOdF;5m$@4Nj{AO4J+ zD9YF3mU~}Ewf@XI1qN+Xp|#3*oQEmZy?mU-M7VVye&dT@|4!^n3(_TmWJ=gAW5{>pN8vY0h`QcU=W2wC&{`{_-KcXf!bvLE@4ksJFO@c) z&-9D~fw$T+xJGz@{ind!30#WKPp2EJ@byynsvRWZk)l5^9Q+4lFi(HcjWcszVSbbk zg4M$eXY133^QR)^_1z6{y)wc)jnifLj$rPbW8j2aUtlJl}MfiLwcidJtQf?JxX zV%tyWNt{J^GA&;9$FgIPhyMjN%Xy)#@}(t*i+cNO%m&ZMjwXro3&{9GYf*I--EGsJ zwzqkDDTIQ2wT2;7MOg%X548v{y! z#3kJ^cU0D+Xmr8c7ZzC4+T7h-$PC@+W_g%l8oMehl zV50u!x5JHfEeu!WHF%4PRAv@6=)g_>n(U-KuN`U|(&%%vSP*9h< z$hZE*HQUOVWj#^i>WZZ$Sy}wcb**CmlNr0bKHgo(V&I%JeAl9qOIyAtQuq=A}h}l*FgTuri*}^HH$?y^QB0Y0`%2AbW=w=3@l;-_WjD;~4@2J`^kc zw|e(;M6(eJ6h6kl@{pGjvFqSLrJ=3jf+Nax^>!Qw3R&RYL3n+5SN-Q57hgzsA#2P( z$})Ec|1NOUEemwg{tK=?{Ya0Xx+AE7jiW(!^(vcML+nQ|$TbNI? z?NV$Mwa>uU59nl_^ol%Y4>VeOeKr`g%`|J)=|{(Embq2^h0_g{C!vM%&7@8Vv;)Ip zrijrs%x4;-3aG4hne2M7DqGixB@dK^8IzUG6%33l6>RSeceSnq=C)sa zRpY>jazr-f!hUV?1%}kSH=$52EU4l=!d>{JJaB;jS|$8SsWt)#!mBGu2x}_Ripa@H zai+{f0Hll4k_CF{hw;1L&HrjR0kUlx^>CX^#nj2q}dj2tbzt?*eE}`3M3~Hl4Zv zsG(9)Bfo_L-hjN6+$aEL%C``?3Cjn71(njC`3`QXMZ-^ATaDc%x&QD7QCK40>CEXw<&S8}- z_Vc5frP%np#XH4yG~>M4wZ#TByXd&=SkimSdTR~7Nh?Auu16S$%>!}1*#~z5hyiM? zT3ZG6Kw=}HBI1565`aDi_3G?*XCeOrQ4|G-j(w~JyS@eS3jpT5gXX;lXhec&rj}Rn z%ujBjb(4<0Vo5<0e^YjZXa(wmSQ#jIg|f5jJ5&nW*``z;S;{d_&=|6tzZn0X>ZB$zW zdihQeywIPRO+aq=O*l~X+b@y%FHH4oCnqH+o-fr;`;<=w!gF}n+Yb(~!}HSv7)Pj* z9vk9I`Y#zazjv8T+gdaIlT+zJ@e7NA8LE? z1*)eC_!sXTX*YzWhwxg)-;?vRs2fl7L);-8V|jI^59ZwPO96d&>`Q(5g98D2=+c3( ze-6gz?1g9YN#R|8?MdM~1^6H!39>nddkDU@11z}t!f)H^~{NCd? zlmiqL0%__aLgrtx7Yn!sWD*k+0{3_5IlqDhId@`Kud)2_9@}^_;hbMY1iZsqbb-Y? z=DIzX$SGg9*+kD*$H2BJq?8lbF1KZSftMY-W^RuU5=7{j<`2v-tlNO!?+@=EJ^pyW z`w)G>X1p$1=xz)z!OYw*pE^O}_7{6tk^}0BqHv8Z{ zWt^U>gIm5Vq1LUh1c=*PrikF+7+!agps!Bfpn|kdo;cpSVnQO}&;JPgK<*wH8$v?% zW9ZBY72F2SRCKKGAbNd%(Df1Jd>Lp1soom`1oZ?fYJ9x|H6#A;6aXXXkm4CKO9V|t z5^LTPbM&^@7NQ9r`A}v`O*9swY;OX06}`-rjN3LB;M>d zcF&mv^i(D#u?GcM7&rc5S841*!P+mhpCu4P0g2>^e{QOYL#QGtAG3$5*%|UOgd^Mc zq2Nq1n0&^db|w1RK}Ir~q?e6<2hLNvH%g3-z!6FiXt)ypZN=Pzf^&!rCU{GrA7T^7 ztwG5@$K#bbS;G+#BUrK@IS`KoYRablq(9kHs-?VPDq~)(rM;CQ$Ah7p8>2>#61G-? z&oCb2(NrI1YESk6b!2fBaD{Jir2W9u9NN?RrlTIkSWl^x;*;O2y`qL!>&DA`K_K@I zblH9|*c$JK+c#lhcj}rS17(Tlc-SDK{Y}8a`TI=(dsS>^d~qm&6a)?n_+Y#jX-y5}YscmqPN3{ztkFkrGwZFr~ z`!smN#X`$MLsONC(1iCL_;0S_>OpCW(+nb8B|lp9?noJ!zFJ{=-y)O`IOD)+3J z%df0oku6gLr}_slCsm@`nNE7xyjd_WV_631S)gcD4DyEmIGsVsw~PjN#hW=kPJLe2 zvSnxaee;EE%YLkH0Mn<*H+ix^aHzU;SPF<^j_$^h>xR1j==lQsjD8Lu-~HNRO0slX zv3VA}agtM{etJoJA6yv?co`|4-@E2RO9RP1X~GhIc~??+&S8>=)^ZllEzS?qV5ctG zK6&}9(f2N2RWCW?j58Anp)l#qMI>}%8fM3wM%8gIZOyHH2PJL2o%80Xb9Zu)5-jxy>L-L%uBGe(* zeJ%dPTB~THoWA9>>p0Nf<~Cj0En8sbE+O1T-SM@yktFIEigJTB^rW{b4JAlDyF$b_ z6D408X8I$o2H1R~oZLV?O+Jxpw4B*t(Z&KsbdoUPZ)PBU!XhK=skQ0j)s~?@z`~S7 zUDtO0{qHlP^<+L7Dj0s56l+M=^ar!3Is@zBtm)E7cdI_mH{%-)O1o&xjO!Y@Opi(p z^JzU4rjU6lps4+sv0eLW3+9;qKt`y0Ya*d{O1u4M1<*mo{?xINrt9!19G=Cnm%ud% zmqL|+jRhx3NGs$%p_w^Exdg4Dx$n31>Q8^w7Wr5Q8|i=H`JPL~_{Kl-qj04?5^1otsQHxm?Ej4}J4{V8n2gi-D8x8|>r1*XO7%@l zIDhv;EzsVhsv@Cq*5jCxM~php&Byb$AAM@!uds(*G^SHpPjPr*dbZWu!Rnhdy}BpV zXGx2Swe%<=Z0HxxRj6Yh$e!X!4OKM=#|Qa+rwNQ+<Kp7?@N=OR4nx{RUmovD*!#IU>kpb}8LO?foco%Z0B>-J*Wz6{ zwgC(x53vP|lr{hT44XRTmF@4}EZxb8QGlY;<9;2_55>SI14Hj5^6|HMkr9-@o-;YgP39UC=jA%gpUH~`Xs^%{ zE$l`vczPHYYRXPbtBG_lR$**bEzfU9~b+^3mgxf+z)Y9if-6n0|k@FsVuE>%k& zX98RL+tLzcJvrS1N59m0MY5_fTElKlSLIUQ^Y!ZJUtbYo%p#1GRPE(?5$C4unKY1& z6?OdYCuc3rsaJXBrn?wLyyc$^N6M<0crx$dtDz;81g`D!Np9&0{1VeB4_HVv&S#D* zK&r!>BzNc8uOd42G3F9=I`t-^2y0`Tk;^O+Y~M7*O}OMI8fY+{H7<=3Oeuzz4a|xe z4pOZ_73TufkOb*umJG#{6=zE>uiwBG2AaCy$T9HuT}%1=A@zfTece-QT&{(Fbf2}t zi<6{>56?5L^kU>()fKaU`(gtOC1pm)iiU06>K9q}&F)E~gV5E|d9N8D>3#LRNGQps zeK4EiStp&oP+RQA5ir7vP$-^=QF}usOdKLQgIL`f zX8CS2t_fUEGbh^`*LwLg{-~epGO?5j^5?=YR<5JFaT_iA$IDkQ!-1-gF!fgmx+dPv zQT-wK>sQwCt?+%a{xOz~E2H~`_s5A@YwEuLX+bvMBq?7QWqKlccZ3aQu=h z&3cyyM(D|S6wAw}r;kO6O|C;OOvMxN3XU)yW03md3A?0QwF)$j@1(PJ1lDm~z)HNt z`;hHkp}*X5y@w09IyE`qJC1PXM4gCBP>Q!^RkTZ83>7Uzzc5dFSPI!$!A(wtF+PMj z;8|5P=&O0Rxm|tUrHTd+X-Il1~;XwYAt{xhe+;-l!8O3CqzFTPd7v}+lNwwx*${$@S7_Fw{PvJI#& zmB+HrN_9^u^L!r?*R9(Wwk>`E`H_b+{s9p+u|Z`F&T zX6{odM7^m@6^Krgb)HWpT){tX>u@QVG8!?6k#yxJ#aN@4@5_3$&o=E`+1kNBq}34A z#SHa{L9qfNgC+WkxN2POf0E*2#C(@ARycl+5jVKhhKETGJs+cvh<13Nl=j>s4~uECtD4Pzy1abbc{mX;4CX2Dkt+$U6=aY0mZ17INF6|QB8+|Nh@5U zrjS^uIp39at+32Jx|Q+d=lR?=>u46zND&=*PMrzV-X_caco)# z%ptBhHd6F3n6kH_p-Yx&4x(di(0~{Fl89dibTo09E#u9&1)n|0s{ZX`YIIENVX{9F z3|?Tsp4`RacNyewU1L4<-#zluQ$v~ec?m_^wU%5T>s$QfMfo#3O!?&(chgK#ju2|f z^`-$7_-oO!Vn#p46%xz;I*F7l7aDGT&ziv-GZd_L?W5n6RpU@toJ~>q(>^`?pHzAA zbGW9&tY3XL;3(Eh zJlDdS;#IJMtNl~zd6dL9xurbNUffXZ^|ysQGoyc0)2OGR}J2AVPc2Hvz28-{IN~d#yPbHx6~V=t(Z9w zpZe{@S;dPN!xl_WT_;=?ijovvz)@5FuIKfb1LVOErNost?QBrA6(}W3lAkF1wKJ4m z1-DkNR|H?1G@?2b1pP=Hnc*&msdA>vzXer?rZ&PV) zY0R@9bpkdUR20;Y*)Vmir+8%cOdJNx62NNr_KJh)pYg8zCEi^&^unhxJ%F=x2-ZXR zq5dNxLb`0FJUN?B&B#|Lq1b&dIjO|!J{$^Kzh3H&zux9edw}>0|B2_!>C!Dm^~;Pg zN(ATKhvR8pS)+`Zh=Ge2=*W<8TBzAvEMJ~*!+>W(_Nis#g(6?n@p+PZbyfj9X6N=< z9eu02Umo>>9sCH@AMT=;DXd4+VqkFK5^jlck&dXm!FmXh60GB&~a=mEw^_PoQ9WJEeW=;fiRcyD6xr)6P=Hxw z&_ZRCCy3lvzBx;}4l}o8Ma|{zN)@~O=v+Q%q>FwA`gUPP@=m6gE(k|r&sr51vo0G; zO?8#wDP&--buK--g2hm)!`}4`1-YEE`}Qdv!WoIV)Zdwc9T35z=4}BPGOR}E%iT5O zulOyBQVj;2Tu416h1|N*i?&+XhFb7FJbJQLlDW!HCMB3l&hsu9&~2jYGx3$Z1p$ipPUVIgn#kJ?wsCX7;8sc%qw;7 zs37IS6<`z`Scg9Ew3q;c^-`&UDd|-a6DXy9aO;ZYF(%|8TQsGD?UwB`kZ=PQ$Vh~K z5uy8<8_^bZe9Avo#1Z$3u5M$OI5HmGoH8c^L=0}0E@^JAlFTct1VhFL5lg+^f}bko z8KA%>S?nI|b-4AGN|k1j)7Z5V%e0_QDMzd)4ETOT=IwA8+Is^#2WsZRWA3i``&c1? zj9SSy$G$+=i(9iL{m}-XDh{{No7sIeQu*0}y6@Ws&Cmsfovn_mV%QEpUom3kX1VJR z1vkCQk3M8L{G$S?pKfy>A&XqaDTVF0D!AjgODke8C6xrLD|M-z_Gs`%@Ksx4VA`nj z81vy~-dQ+cf@C&dA3zQ%m+UQHZ}=S<1Hzm`PReSV-GlqIMS1S;oI5 ze(X-zt}A<|{psG3c8r(`|e}bxE?@6I6CXl`N|KdfV3UeEeKfd^dAh(H?Hqx6CpaLsD`@J&;r+%O_GH zRVKhvx@?k$)#8LG3;P45QZ8TND{Def)b8_U^{1HMptRx@3Fzb&T&XiQek1Qk3bYTE zC0VkW#-0IrYkR>wBdmPfD0p{KtA1UB1>S3+qE1?z#t(Pp}DmSq41`AY_m#at7S&+3OQHqTB?p3NRpKC9Of&kFKIa76!)ZeqGGrtlBPgc_i7a-??9AYQHvX#QZ4*E+WB_OtEE>@bYv1S zLAYclA0-P}clwzLiPr`mio- zu_RAkq?hE1)c(@NsLtxd1b^P0DXiir{AaeLow98UCA@XvYN1B^3?3@Iy!f?=6D=C7 zloWjkzZyt|D@7UMtx{p4zETu|esze4DNNE%G+r)V8;uD%#lNN~4~x)wx>M(pH_0GMA!gG9=+_=-GN z>HVQVIZi=fi?7?Wy5B!MlO2oTa~m6{{`pyr)vHFce_oF24kfGCCPmDK6{@bQ|5>?C{rmUWF9IhcBV?m zrPxP`22)fD87q~kkl_-FLWJnL$gJV_o~E09zR&Ocv+Z@>_g!m!K5MQ0dY*Tk9enDb zfNGbpZpy@i;UNB*dX=;Ni6c(QT2-rVIq<%YG?~M5ya*pP61NoLQyY{mmx$~f95SlR z3+>2H-_W2DdghRmx?$<$aJzwaS$4F#;Ax}IV~Rs#3p{l+-;3RTi=Eb13Di@U>js~yzes;^rd87(!RqM=i@M{U!D00@Z;`F?P=Moq~`6Q>9j8TXPbg$5iVL}QY3m8 z%Ned(yHEN#E;Aaw6?e=GTI)@@+H|AdMkChb@ep73A*BY@6?-ZEgiZ8>(~`bByoS3H zA-5+T`-^-egNnD;UF}FM^f4^nuyUz`yx^+LK)bY(Os%-YJ8u&Bvf?W|_C8Ksv^ipM z>O;#pXO+fxG;<>C){w~O3`TKqOM^t@8TP%JKc2BK&o9FJ4eO?sKQqFMHpJ{Ym;9Cg zS-k;LbH8H3lzq40NM=HW$H4m9{!z#Gy??lPS}DFt82z(nVrq_ykxe`{CUf}3U^=zL z_(*ZWjdLd}oBxf9k&7#{I=A4pwd}}U3B%Uiw&PbqvX>F9HuB3tssqZ8BHHbgsD={l5tuX~<6<6*nZ;Ps>2PbSW3-N(HS%JdwGA}Mur111YW82J*z%Py4qpAdcF6hhg)h^B+8A$}M4^eI})8*j7KNYuGe8vABO29 z(81^uL2kGeUuyYpMJ4f zeNE{S-|ho^8WAp=R4khF7iey7>}s83rKdhMbb6WCMzwh?;gwFQxKQvy1v$kXlbN?C znQenP&EVA~Yd)0G_)3}_g@&6SsNP~ADLK~=*f+J&8V=30-F-M}&x%mA-dT4jsd(-w zUm~Pwp!KsbyGKTAy6&}6c8VU+F87BZF%vg_(d?}$?czPYEYmn1K9+cn<58!@?OkIz zB1=r7FU8%dZ9eCff=l>cdvSli-^}VGQfKC`&LiZkSmQ>0vCdwmK@TMLAB66p+rOO1 zinya&_C{$WF*5+IdTM5C?0Dy4aA{*!yy}sTRAn5x8&Rs5J9Dp!Zvh>)ds8>>ZfAp} zapy9>&i0S*$82+NukU$)Q?_1;ig>8$25k(; zk}bJ@MLOl=h*6C9ahuMvp(|SQ^;vmq8}wKFebrjPyk?{K*`f=qMisS!=VQB`B&>)P zJ3b^_QsjBDqsBOXwSUyVy%ED>)d@S-v!zQDW{wK%7*u`9C-$mhaIfDK_V@I)!ppT) zW@ohro6wkfqSKxObJ1OR$N~z_w6!+sFcF^86ONW-AFE?FG zGl~-8yY5nQJ`@YR5vHyfx-?M#Oyk_S_q!B(%d_PE3QmuA?Y64*{nD}>PdSnpehAt6 zd0ndB=4RVa8T&l8eD#YKGxKOq<7-mkeFkCnLH3)J^QYRLMJ{^v;ozWMh`jQtq{ILZ zYu}_36W+>FwR6YP&7NXeTNQI%x7zJuB%gGu*BvpmV_sgi_qJT8-ip6p#uU6|hxBTi z6W>o-jW6DjaN8XZ@eYh3j|yJY5To0lU?Qv>EiGdy^NyW0PZb2n|7p8F9G*i`TDzdA0!>(2Y+qU`Ws zx%i%#KXrOr(&rYABuu3R78;F?Qq(O+YLo?e=imm_i^NW? zOQG%b3-x-hykzZ7D~V{nk(FmNO)C@kx)Z)nq&WOZCOo#U_v580s($;yezd@wea6xP4K;z~AxGfw^@7i{1Hz98|;y zWnCwCmp-c$YN)2~Odg+JA@5Y?gh!l>`W$ZEuVWM#ocJ~`lGlP#D8BMtQaIgtPFwqh z_{F`;W%I}U98WOWY2gL-zJgtYdImVw^;F?mw#q^U`??H7Mfs&sZ|^^CpV}0i4^}%a z>r8W9Ai6KfLhA6)%dq_;+xGDOW=Oa z^;6qc5ZtpxEAcS-!_b`mybic3^TzUe4cdC4vxHmAug--+}l z9Xv6#oj&OQVWl484uYfeu`f*nAaG8b+lVOv83YjUq>Oz!oD}1>qOMAHROdM4u>y%nO&Bk7=qLGO>UHaetB9O7sKQ!FnU1r+JXdpj8e&ts)+FQAfP+bZ^S=^d;2jjQ7YqxW zE&X$Ip`$I@;h8I6%1nJwiV!6rt-<-J1DzBTT*Jf3A_dRvz12fo;-Xc=d# zRTQ4ud`o+&o`RSMkHwYRBXq2}YT->JUd>1T`Gv1%a&jCMRc0oP;NJIiZU zNh&u+8xzM`FD407qdZe)k{?J$jf{;3S&K>Cwb?s*l#!Ji$#82S5-3D2qgdzqimDx{ z?yFUf*3xSuc+@i7<5eQ)h4mDs1a5ykWBp(M$|t9|m5C*<+J2c5wL-D9@KHs7U#iEK zZZiv^hTa6t9+i9QB2zK9Iy+;sMZ)sS8{1|oKRRA%y4;khtp8P8#o}Pkhx$u)U4Kt6 zvDzvpo*!?tys0U>ZE5Ugw{-RiWybDfuViR%KeXEKQES+$l(fbn_p)26>npz&6zBW$ zW%N^rwSMHL6Hh~4H0M5zv7O#&H=_Se@%h!THH!O|x|Uur*mmPjKHI^ENjFM|HkF97 ztl$u=GPtUyKcpfo{G96Xnby=I-)q-&s~q`s)J1DOi}!TKkIJ6-n*LgUk7%5lSl@Wf zlN`3cF7Cr08MJ@BXT!y;;Pg|`%M>=3;+Olb6I1<7MQ;9kuWfss@%*zzWxe$;4b7G7mpUFCU_G@=|Ra)B4c16J|cIXvj!65x{5d_eM#u@4G=E!)bw*;Uc` z>Y|C*8WDX>wx6I<4DKg%X5&eO9xGP0z(vq0>jaVSBQgEZ;X>E@TZ`EHH!*xZ6Jb7h zW{}}?_pph+P$2g=8GSA{fT0{ebA{!bM>hRy=`8vW$P68x5wqpzg@XS zSjk*8ezX6gn zbvoq2w#4P}*~l)x?nh6`_AlEi={@bN?`5pBZ5lpd{63z)babFW?7s7ssD#muu+hEu z`KKk?<3-(a-BjOD-YORuJo-A{e=6CObE@CV+tbe4<=6Rs^hd9OgbML>2$GyKFt^0ISrv~_cKb0s`FA((hN3<(hVGteTU>ODlstL%jM=Yt=hBs#qy zIb!~MD1|^jL1KB}OWFAlMs#?AGhl0np=2HmCY}vLHbmhFSU_b2S^*CH6J{eoqW=*{ zsyGsuO7wCh%^ZovM`)!W{aeF?nwkW#oYQr{ViH$JA$ay_x$UFSI(`-dobm#<(L5zQKQg)f-(*yJY&#G z2qDDAfPl>rM2gmO(6;ur zlh~lW5us9N493uGt_Tp9wI+0Bt-3?F%G;1HWf~Nu@K$1|TfZ zn?oK4V{|~m?71+Cav25FFfIdV2=j+*@qbo9x$78jrxi}}NE{5P9Wn6x03%A_+$ih&H{CYlasTepnJIfOwLun*tfMO;m1%CIK3fQHR*@6*_j0{+hj*-`cF)93tV2oq(H zV5K5-ZW)b=a3Kf^Bh27Z%mh_-c3{FZzzJCi4FQMEXOE)-I$7jM2gR41VSsjwL)|z0 zf5K0tp;Ye4G!~Of34;8J;GaQA!)RP6&@g~M*+3LT$S)cG{YgP%a7QqW!5zUg3}umH zfyP3~RUCvRH+A4eWC&?4jNmK=IgkJ}fT&*TkZe-I7I=5LsND_JO=$@(vhe*_74gi%q(4<*0rU}Cc(_8SSHp_i*V zpx{YC_86lxxOP4mgG!D%D#m1Saf-1(;*t=gGco+Pg#7Lac<>-(vKXMXg$y+V1|@^E zAd|C6i*kE#SVK|iYq0E;V1SPW1dNDHzUEG~|Lzht91P0gI`F6Z-82k0MX zQD-><@CPXmb5BMAisZ>4sYtm8gM9=!Er1NAkrl(BnVSSZfE0ys@`9j|i0m=g)u0Tr zF$e&LL=)H%fkI3&8Ue79f)!YTFn<{HYZC~BG%|NUHmfRmds;g>+j&w{R3wykI{Mmy z|0n367vIgz8~g>7a60q#T@Si}I{@;xJ8cO|6%8#-DwDy|)xkj8F+uKWb5dM~fns!~ rHkGbPQFwibcaQ>1qq8uIl$4IKF6I9KDe9EM diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index adb9981fd..c2423c36f 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -77,30 +77,24 @@ deb http://matita.cs.unibo.it/DEBIAN ./ deb-src http://matita.cs.unibo.it/DEBIAN ./ -

- If you are using Ubuntu Hardy you may want to add these lines to your apt/sources.list file: -

-
-      deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
-      deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
-      
-

- If you are using Ubuntu Intrepid you may want to add these lines to your apt/sources.list file: -

-
-      deb http://matita.cs.unibo.it/UBUNTU_INTREPID ./
-      deb-src http://matita.cs.unibo.it/UBUNTU_INTREPID ./
-      

Cluster .cs.unibo.it.

The following repository contains the version of Matita installed - in the Ercolani laboratory, currently running Ubuntu Hardy. + in the Ercolani laboratory, currently running Ubuntu Jaunty.

       deb http://matita.cs.unibo.it/CLUSTERCS ./
       deb-src http://matita.cs.unibo.it/CLUSTERCS ./
       
+

+ The same version is also available for Ubuntu Hardy (LTS) +

+
+      deb http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      deb-src http://matita.cs.unibo.it/UBUNTU_HARDY ./
+      
+ -- 2.39.2