From d31a2b9451385949f59fc15421c790a30ba90c24 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 28 Nov 2008 12:18:09 +0000 Subject: [PATCH] ... --- helm/software/matita/help/C/figures/vbox2.png | Bin 40929 -> 40022 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/helm/software/matita/help/C/figures/vbox2.png b/helm/software/matita/help/C/figures/vbox2.png index daf0c94a5a8381475c35f315d5e3478ca47a98e0..0f34a950156bca0a5f44e441d098beafa083ab75 100644 GIT binary patch delta 22421 zcmbSyby!qU_wGn{h?GcogCN}o6QwB1GYni#jV9id z3Tt*rK&bhBp*{SiuO#di%Di)WDuAF8Rj~ng)I$ zS1epk7QD%sc7s`#kE%t6G{yX%o!0CKhVOmsw}2(+zT?)y3^G9l&Zcr&u(A|#-*`<+ zHRn0}@wqngSZynNwI2RUL@zmE52P_x0S$(&&mMMdq{Yz$-I+$VH+IdpdzDY4#HFM#2Bb2uer`;%e9n6n(Zknr=z0@t6*x73 zTtiX=VY~fZJ`C*qUWFO?2aQot6ugx@tFOa<$Y7<`((-RsT={`nLQQhRMdxvph8t2sbECOqS%jRBT{N(-G0&YggDO#-pdR*%9e~m zJZ*oLr=WdI@UQr3#;)kqOQ6z(E5O}Cid)mQvYr<@nHDp!88`5n;2C}x?7%uaboG%6 zdZ6O|FS`Z`Yn<5v#JRWI@5(7e3n)4YfDx&2X^TLb8b|x;z0oI7-eP!BM^>65)LG{m zMIplo?=jY~gA5oh!4^9I{gWxbB&2!7=nYal+y_i8x=>M39YL3YrW*e@c4kPQc_T8b zo`=OklU>VJULN3wZ4h!r8&)|iCHz#A^x`DGKGWEmc3IgxcfOIY6E+Ws?sSF#~i0)tp|r-Mse&*@gu z%A~^+PF!5vuIFQ{dH%Q81x9VHvbCC8WzT~&&qqh+1KO}j13H)}7@9>IJseT1L=rG1 z|H7)B!=NSPXNFo(-vUI_>D_>}(z)Pd5^W;GIy-tg%YVvMmCO01D&UBMSS0x3CrX_|E zXd0?Q36t61ts|^QkFz4%X$El2AzCW~*@kvrf8IRNNN50@6C5!cj9`LQ{E>^x9tY$Q_{Lnn5%{wbj;ct6}CLW zE+Y*d>Fqhzqy~r1Az5qmNwh!zVX+wKa@Uh*hx+;KG28DC_;Vu#Lq4B`H~se*Z29PC zBRw(!MKQM$h_zqfnER2d+zVz{)j1P-pz(c+V-h=0KH&^`tMiTs>=1D~b(Q2Ipin-WN#{S@0Xl2;YP0Qiu}w&wt3wzVWNPNg@9=eM8wspt9;0T$dR=giR(5)gAV+&h$I= zD4u^#$Vv^DeO?l!Iv~=~kj|yJXjqiI=^JC+hek1+!rG6pSv$tpE%$6n?ST96j=&5`0ob}5 zrLYMnhRcjrK4kyJJn-fY*_zW?FtiSRJz3_D6T40}?1-1(AiAM6OdD7^ItFaVW4)QP z06CWnAB5t0PU$=h_va%W*sb38w?rSphW+--i*wru6Tkk-Q4BcE-Y&%&W-3E@i7pz1 zeXkp}ZrJRmD{gx_u9tQ5&W3Ce79#xaOmoaScT_*9I1s5N zyw!7;m1t+P^Gc*8dI*UZJS_AUC;O^-DH}IBnx}?fP{oQ`MsQ_t&rIxou@>YcTd0Qc%H-8Rk&Ggtu@;9!eqM>)l;aIUn%c* zw$kY^;ORYO13U5fde)Vdgkz4cvqyL(jY%36$%t36w%P*;=m|=szW-56RFhkA>%6FS z*jq3blcku8^NR`xijfjPLY0o#&^eK-Ab%w+Uu zho>c6k7N19@9L(?UYtnx;<9R_a18n#k_`HdoUb!`WojGi?EX)8cq{eQyYH) zm6evJqzfffUqU%PK9+m=(p(Y;Bxo010gt@^r1Ra?{qxjvw^{vZmbQ#*b1JLW+Y3M+ zA|@dLr&n!l(sqA&ygpNDfgT$hJDQ8EXh`%C%%6o~I<=EzpNr+$w!L@b-j`zaqoSf( zPZbkG#F#is-K#8zI6Mvv(uBMo>(|;b@^XB}@Q>xkBrnkobM(I^C7f{0zQB~O;vpT| zTs7I6Y<+jj8TyO7Vyy)8^6C&!r2uwEzi1K)i8wz#aCqi4fG~J@d1-r4MJgKf{2|3@ zb8v9ss9OlS{>Fe%@bC~+vY6dopL;?VJ@yA=qn?I*qL!uN;hAb}EutkRp^xk$x6f!- zbX1ZG(i7((8F#*c8XawfCT~p|HhlaUe~Tv*?T5ceKiGqOI@dvtbW;IU2L{On(F$XD zR)%pFStq72x4;im=^Mtu1~172dWUu*-PLz-a+O*(D=^ud?b+2^R@`K`GXrY~uhJU0Rq zVeeyNddV}(dirF^Bw~OAVNTEQG``L($h{tI5u9DfIkHePqU&GWH%?>LK;&`1b2FzI z%k|ENa237HuV-+7J21rns@E! z*qmr+SaRvB89$LL5M+DcIJ(RD>)G<&No(TGYQ!wFXnTgRAm@6AF-t1+}liwer zW~!_RGjisYi_1Q^WNYMazCq(_VHe?^>HD6P zoK13Zo%z{?2e8)i!}ET*QRfWEG#wen9;4pEp<})4&Mg~=nnC^}FI4$yTKD-x_QWPK}b6Jl-&8>&{20FxgYu_`I27m5;_->QAx%Ri&jUOF;s6<3%w93ul z!UUpLHIzN0W_+NmrR(mFv3#w;UzqfO+4iYt`)$g`hrJ+>cubP}x?!13BcHzL zf5X^Qpqfh||9Ci46d?6crEC`G!pNw{vGoBkkg|d|R)+$QFQy60_p%wnYSb^9qgH;$ zXw13#ug>y1LD88xa{cfSEa@x&sfHT=i$r1uz^;Jf)>eo^*G4%r*_M$v* z$llW3g%0q`$W;b6N1|VvE-D_C@wT@rP4mZnJh`ALhMnM4qO+7gF<(FWe7KfeL&)K! zG_ByXgd`tY7sGzzruW1=qbo6QM1Td@Y4!H>8zcC#k!&)o*d>epnV%(-qn_W;`${-X zVL~#NMNat+efM|F`4;C=xE~IHi@S)ir~B20nvM=hUS7W5X%%i~vM4M#7y*oazG7%NwqVImV*QYhRDs=aB>z>VV zP82k|F1+tr%ue97Td=LlXiuY!E5CLjyXo4=onJwPWK^*`3cf+~W=jKtRIwcc3ebB2 zr05VQr%!%fr}T+t3t`OVPA6t^^6X-AT?C$66^vxUJtP&_pc+XP2YKDCq1|=9);>HU zqHAj`ch=>XhJpfGB8zU|J9y+qU!{h|(pNu-Z>XrL_n}73p12@0KMHs%9F!@44}Xoh z9PQZZ8AMNmi#z6S3B)LD>)x3{$?O)+7zsu)L$(Tf_)_B|iK_@_?&%uIguTz&lew(+ zI_kd^6fk`Dj#rF6a$d^-z@M2L)TRzEHt9`vH`~h&#}lPfRXVb21(iCA;Ebi z$;x(>C+OQPR%1!#v&fFf>sPo>2<$Cfy%4#%{?{?}?9Sc6AbNfKSYC9OPfa6tZj<>Apow!b)Y-K9$OlHg1F6*0TW9IjEzcv(O9 z7nXsK7R1T&Z7bPXep|D<_8G4q^b^LwaL`FVFj<7FFB?L(c=#4&@VzLRM6C$nEo?ak zw10i|EiGWVRyEy2U8-ttJ;{U+{NlS`Q15E)p>l#;k!3T?04~QCQEV44vNR}DvarFk z&{Q0!95%^mO+buMqhQfCLI>@njNG3`&GuhX@wv*~_oF_N&49IZ`LB+7TApvpiQWJT z$Jx476~-ElKQVub6Y3DQ$g+ynYO{+>qqoi5nc(}!C+ zujgfAnaW*y4f79_xb zRV3V98)j9gYUq7J9!P|2ySQqiSR-w>@c&srzA#SoN~Gg{%XiXT_tDLWKHdS2qyS&8 zj|uE6wFMO1Hun(A=0?nxp3?SfsHlq<`O{46mp<;oShubOULkZh=Zi=SZ2s@rJP1Au z+{6QaN)?~&z^OX^;;Y_gwG)hD`a2?}H#cP0i}+zUqK+tmkQ!}!9dxB8-^kkAQ0_)j z@_dhO?d8ZSc0tqfEGxNV49CWg8RbNGZdWsQZx83gf2I$NRoVLm%Xoax*_Rgz0##&q zp^J{gQ#`*{>=jByfj_9a%vBXo1iA~x0DdjxTi&?Qf?N2Rs<)55qh7DN44q7dJtOuJ z{8~Koez5KH+~NM#VMwOStBY|&-9$=$#yW;qZH8vfn^lKvXL--UV=;=h;ml{xd*?6S zJU3tI-7gwr8y#pZj%p)VHYc3BXB)gi(!1x`2t6zcaVPqK+0-iQ(uga1y9{u8Tmta_ znO}6Y%^ptt^5tB(%&Oi`G?iSfa02_Bn(+6d#zPTi&dXaCNpnVwFCL~zMlRBq=f@pE z9$J&>8|J#*fMbC>OQ>wRh%SlqOnt$p$=5~}gIEB$jov~meo*epO4N{O>Bq)qHlfAk zH8Mrt2#MF5-U>H2_88#B$yzWS(S0A>O{!)enW6FT*9VPYaQ6IBq-Mj(T0?!e)kaZnk;BZbZI*nm;Kns7&Dbly*~wbqrfbww@_MzQC@JPR{6{9PJ%PuL+4S9TuPXYP*5OgeGEb zRx=>lTSy0L6TRuu*JUulN+x7Wz{9{phmAPio^n>J%fLm4AIYLn0aQ*V97Lm~uLXIK zz}w*A-$rv2VaO>dwOVwZxKFdNXNV4v#i#a2&BHspX_ytKFZ>WGeg@v;g=8p(_;RbC z^WF^S-7n>T50>lM5`EsVLwOHJ=#tMNYXYH=TGdN)_189uZNTk?{@KAIiA*kTS=*h! z*H@`MgfZdaC}RHpBL27M+A!#sCNwlOr^_RgGceUFh_sOyR=w1CJ=@chA>dxvRlW95 zijP%V3~*TVKY@AV?E6$wEtgFzmQAk@9>dpr+WmMjK;`H|P(!Up#leRlE-s$1#D+1T zvEFs^0iT%zcr#AJg96sf)^YU8Z&CVqnOSzvy>E_YAuNj&@Sd2Jc8|WmwZ~)VOuV}> zD!1zrh3Gv88;{}TH-lUw$pl=T)rMdPo0pnJ^!%s#o-Q3#&Qr(5Mt7_(cq7t8kAsExcegO3)B1Ek z&_keDyQ17cXD8=LE-pQKr1jTRX+Ho6wa6hMO`I+>iUDiPN^vmb$&kFT(P(%vAozB# zJ>U`iv%6MrQsvN%_&{G8OLODznQd#gwRO}YEEwm0w+>O|X&D*sg2I3EzIM;*u&ez3Rs1H$-;>S*YnlG5Mf%EpNK>IQq4K0WNM5%+bnKF1!|-X=~Gymv1) ztU$p&+eU=+eGY&l<}*X8lv?S;_JOpUnIsqFn0R%CVtTH2My|o2~CRY)QK4}+Z@a>oKTm!y) zNuRo2&xL`4YC0qRJ@(s!?zV5qqewrc!+g9=esPVgA0G@A4#_j11X?LEoLKAl-yHW| z3E<$WMnOA}$yX|R$$%#QxY&4<0Y*B!$ERmRpWJ%L;(-L^HD1@pbZs1P)C8?DjFXHk zhf8tclgtDSxAiB1Zt|yx2a$fz!Hy~NC8?_GRfa+Nj*b>1(_7}-BTuOMBwLp1B-%hK zkA3ISYS&-D314sJ@>(E?@^28MNSp9?oAyAF;AOth7y)?kk0|muNP@m%wO8`KHCA1+ z;1*j~a3oB~=Q&I0Xh{`Jyh(mPVn`BGFH@7PS%iZ#g#*PT3yW#>!03l9rG(ZaWsh1n zkJZ1z_VrbBG)nYY#p$`&4^|O%ENHnIyJ*F|q#iLfVncy@+a`cCL=}{+h5sVLuBT~) zmZDJ$QVoc7YzbWQe@W?HBh>zBwuHBcyR(aUf5aff4_I{vrM@6RmpPYN6eD$e=RW51 z6V6;;@#-+@-AyDvFo$gG0#a9iXSeGcbo z{~$>$p%6hLCLPq_AZdZ=iC@oP7ccVtyH*tz_m&FLkktvv9~>K2EBo~D9F4s!u*w3M z}EP@ev3yNwi1QNE{v%W#CI&-egbi$=<;yE)N zP7YMex87mLHLax&c&v?vJTu_GVx{sYGFrWu|9@&crD;~jwhhv{s?E9o5_wutr~_cB zvl>R@*nHeW;`rh&@#9CQt}d6C5lv&YFc?;ybPb`nuy$00%Licw_QDpF%vPWRp7H9l zbKVNtumfKN`2OO@W(pcQy2hKxTKoCX`g*=F&dVOK>kp!D^)}*Q|8f-UJy`y7s(wSN zeb6`+Sfz734(EH*E%NLh3fFAgo6{TA#d$cniL;(t0Zq*4tIN_ITdqt(ukm;-H|3i@ zAJ4Kqis%tC>)CmC8Ps42xS@^CO~1#UGLcckI=~*oC+(HLobo2J>{5k@ZHhTICl&X? zXZN3U7N;MflBn#+t7#3n^oltS%1`BH+Uq9^;y!sn{&hj}qIYiUKbGMiC0R6D4#f4l z3!3r9Z|mo#rA1UsWa(&s2me|m-{AFh9N78OU+~&Y=K!8Y-2l9xHil&So}eOOlSKvw z!li+krE@v1wigPfoX%dCqb+ftk>ebcM0!#PgaRTjC9W|SG0IRT+ps4svhSsc9cdaXi%0ey~MK{JWl}cYY03z03Gty2j%T+)$lFT1+={mR4FX z$d=ew@TSTJ!7Zc2*ArD~HF)Atn;r2!Guy6=wjg>vX3d@t@O`RBDuDr|fwPw*tcz7? ziHSW92%sbA!JpDypXXFmYmMHC%yCV#U1sYnP4oJD(U!+u92?v8V}h-CJ7F+N-hGT( zHu9L2Bxg29N%sDub8NAXnY<_C(PsOD;u|8CS3jeP_}sAG7NM8SP}dqbhco)#LC z8b2Q19mCU&7t`|LJAj=j`^6U*JuIf^$kiZi6oHydH(*}G`_ZTRa75JgF&dMgQ}=;c zN3Y)fm-(wzaZ1n)tQrYQ_brvFYqJ}aKQ*f@5)3%HN=B-*Fm>{`>umi$@_*Gi_6y*Xol z?jQN|7NwCJO`HwRc_a&UrmZn`!hK-=Vcvrea&)`nEuR}532p^x#pQ&f!#4IiP-@LB zj{=~4`XzLxCAHoYwZB|d2Nx4>a;9I7BDiqV8@4mC%iNV!_^mPC1Z*>?4!Ly=a9p2# z=q=UdT5MG-S1$8x)q5!AHS%72=o~Cmz(4(2rk&j@BlB~ES?uABItQInP3C7cHX&8C z4^_}sVy-D3IMkor+doeL3%Hg0zrX&^Z|azMBqR~`^R*R}55@L4_zJV4qQXH~rpq!n zl@Z*>_CI+Heopi2%#4oDg|W_88~mh2VdsaNI3OfGO!q&7HiTLH*|2dt{o!(a7}#F^ z@?mNSx=1vrINiV+?5B-bUg6{HWD`)#fuF{bhkHqfLWhTttBN|vgl{e?+9yD|vR@Kx z2}(5ZDs&d-7bV}>vnyaX3T0wO5Bz~(U4s)8L@6U9frk2SZ_`5^o~sM&-h(|8ol1-+ z1QO|=9__c?OZeY&peq)6cZeg>K zb!^nFh76QvxWctc?HY zyMd;Gh}hrlCrxbzE?q-cchsP{pg8U`vQ7!_h7)n(ALoUJS`bC4SXhWBq+@mv#7Ce= z@1h_gs#uwerGLtfjHi?b6(@MPq2o!TgoLPU{+7s_mh2k|Gp^t(Hcd^DV$jnD|B#Sc zRIKf?_W18=fkunIN;ShzskY=yN(q@p-jGBKT9(ZXaRvsJ(1a$`mVv*6YHW)WTXG=; zJ$hIjyP-xuvmN1iLXVAR=XnBicU&UJALNX&N#y6FxmU-xyFaYW#A>wE3GU zS*J)du!6x*-;z>ZVY?@RdDNgD!YE{rysDi0h?|$L2do}IWT!Y^RqRQLF#q?FSJdxxe%4%?WG-^Y+>-K=VB8`u? zw~uO4{(`-b5>VCfPN=GkZ%<3dOc+DyFjeg=m4Wy464xrCOd5)=8KCtiL_^Q+9}X3G zfv+Y8sTLs38Wa0zO#!>q*x{b}>zrR+l^7j%q5amuO!TtEcO~UGw?bQXrC2Le!RJ*yt-n1F#;Gq)G6Sl5heH7xPl?q*r36*OcN>V zCqt1&KsTH?PQ1H??zV|mQNo5^$>Wp~t-My zAF%w=l|Jt+41_B=5~qM)3h`Lsn8S2oFiO^jB)3&kiVlGXdCGs_!*6 zeu-@yVryy<1TPqX_%}~49q)Yp*UwZjc*R;4DLc(V781B|sO5SIk1_PWg+wthnao_M z$HtdG1H+3(YFn6%xI9XxfQu`8_{X=i_X;yre`qFyc0l2Xl_5Z(OuL`GSSxEQM?@Tl z0$!n{(%w%u6v6-qe`mtanv^(!YD?72V$}RFC)ZNqNX`Nm`0;Z-f=iL+x7V%S1Y+36 zBY!BxONa$st7tscfIB6`m}g#*WADX4>=%P}`Vaj?1F;$lK`iq9M=k>CF6u=Qb+$ar zxpu#POIUC)P`}YoJAD3^mb^sRbGIZ!=KBb93V_I9=Sew29O=C2hJqUj2BvPDmvrq@ zsdl^eY*gV?!8g8n{<>w_3Y?`Gw8S3oM=x zN5cvQS<1F6G(Z87k_I8r{$`_Ds86fNkB{F+h3$Hg=QPufXP$kp3VAz6_g2GO7$j%n zwq)VI$YFhwpeN_=kFz_CjPS_RoF=%KrJz`=;Q8~c;r_tid%6X7w1nCr7U5JHS63fd z2{u}DOn!sg-13hR;^cvb_7QV6wiB}lG62syi06U~j*J_yw~v`%h|O)Cb%wCH(Xo5> z#v;vper7<+*4el=!CZ$0#}2An(mi2JxVTp{RBLE8d+PizfiUrMfT4DC6Av4-v_L>F z!Y|yj+kkdTz^sX|-qru|9Hb2ksftQe)gWY@xhn-C^V_vQJtQ6`E)K~OEw)x>w8mJO z+@D-wp%NDtY-FU8IPvGzdK>xnzan!e*NtoD00|rlA20EX3oXl|D*JzyEKG>)>eek$ zV1NE0^mElKjT|*b0G!6{EhQqN_{E7@XYC|fb~z3h6c$N*Mfhq?9Nz`pDMG^l=6C<* zU09Rjg4$vFj!Bf9DHoS1PG0xRqy)$US1`%Q$Y7l^GSJg`gE`h`7@7`jp#8Vgu~6R; z5u-lj7N_#Z#hMwJ62bp+C{eccQ@d;imU)?~0GdZ4A|L;x$Ii#3m=%V?eR?I&Po(`@ zpKBP5{Q~H~#PlVLBHVqK>3r12J@2K*(BHJit2Bl}P?)32iBP5cO%jO$J@EO0fhS+_ z`7X1`?6mebU7qB4wMY=3zd(B+B1v2vzuQ~Sjknc+`?t2=w0h1+xSKo#@^{jZ0uE?9 zA0J6H6ep2q3z#Uq+UoxfM=5CkEGm9Zl%=E`)^7|zSP1eqX9mz2o^t7;p{ap+ZJlM= z{2wP?fiQM)&F&uzRwxT&5}X%73oVh=#X?b0-~a)Zz4G_o1u_U0L5~U}F|64P0ojxK*Q9OX)pNlpa0!qc&e?Nkc>KXbvl|Rhzy+PDJl?$(lBQ06or71 zh=H!Yli=t3A;0%edZfzHkELOB@Anqw{`PJ3%U21%jSp&psw!ELfvX#cj2t+o)(l@( zjOE0|`)R0|@O}Q;f&hDf4)14jvP%9JhL-;A?fzhz+7t8=0yXP`=PmB$U(`agC$;*2 zPU3fD1M3gi?>jZuO)eQRexOMS7a1fl!YMu|B!_4foiT-lb?JfN)2pF?!Ql1m6Sg#w z{&8!9)JGbNaoiwrVpPcodSxLHD+&E|h|MVU%v36Pyvm@7hi1OpPZQzqv>Mhn1De%V$$$0o zFMcqqo2vG+gAxQJQezIWzsXMp3qwPu{peI(rlTORr62Owx_xor1R5GttSrPIL|&$m zL16Zz1Qtrblc$AeEU;@PLMV7*6O=w0c>}0y{DvclsC@Z{)6mcY zpAaB1(jZhSXiB(Px(*InTo2avK5rWKxG$bhz-Uj+s=f|1Giy-Bt(YANFnx3 zyENy2XQK{APNYnp)>S|L2ApW_n21m213MT6he?7F@wKirC)fBvGlKiypEmm{pG#(r zp}5N+fuO~)%Qc25poS_TgUn`{E`TE`NxAK&=`tnq*M=v>Im9pxB=}&EN~vNyB~W4! z9)w#n2v12gj9{XtXtN{Oqc%luW&e|IBPl-g7Z8G<$id|Rq0!R6wDb`UE*_UdLV^N- zU29z#TKpRtW4_oA5fKNZgnZo+E$@UHJzAD|I?ChYcg2%h5&8cF|8!Xah9m<+fHAiO zjx?>LEqA{;jiF&bqW|3;DDet?uMq#``A`N4j^ubmtQ5qT)S}LRTO5zPKuO3ioTR5UYo)#bcCqoUJz5`K^ zo{02H0qy5!Hu3a?yvUMbHAb!rL?j6eR8>04Z*+tgvwzy+U_$Ew{hWynT9tcqm{FWx zm=vsDf;%O|Vkx%Wy74{*2aBDY1Df86nv>L_e`WC}m^m?ybitXo^>Aj`#hxx$1cB01 zOQs7FpJ8ES6kcN^UaU`Os*~j6Z1iGB*OD0Ap1{RzQ2rwbuTLyMe~;4^Jm&(XwL&78 z^?EcPaugX>g~Mx*qCOUN6#LOuJoMMY!xyLrKsy(J=RY1ao6@TgCPDq=mJz#93i&3KVPQKB%zz}=nLi{zzio91?KnMP5=zbc0cDjz$Z zTRbfZt^#=Q4dMCrIVk(`5F~To6;CkYeMCT(L_=lFSZYi${cGZcSBVM9*I+7b^~9ay zvdWTI3Z;92A2?PJS;X=ofI{rzJOm8fZ(6LNvHB5cCablH{|VLv!uSXwy|nnzo396Dg8xf>IhEl#YW|<%;N5MQxHm^6(_?eu zjftZAL;M1b%hYS9it=AdJSHn0oYEfZdj5}o8gfk5z>xeC@z!eU*9wS5`N|;cB>JTI&iGdhK4c; z_ka3S&iw|iLW^~yQ{>foOv*pEO4ty@qso5RiF+h=avG#lMDYFk+{FH;9BMx{^0AX|%`?{TsIY zpt`od-T^hyr%wf#M^4TV^Adu}81b0r>F2Cdx&J2X zfM}_ITS+0WpriFIKH}El9p&0TeRB<0C6gO(Vc>Vq8u?e{Euas*K*?{4=Kb#nI$El4F z9vVfOShjzZL-^mD{eM3J|NHp@H&su`xT6R;$aK88Xd-hIn6= zkx#phhlM{wF$TV4JJl-J98J|vJKgt}If1;>+WH;JZ$!OjJ6!%!V=9${i3x3N?A2(q z1M5FbxY;3;pMf~u)KG{d?-{; z+-oIwN5&gkf+lLvq#DmVIpGbf-+5Ke1{)l z9ChwIUk?Nh&t~p!otQ9&=(9i7rDW!Ur*kyat=;^sf8M-}^ftlgi8}A9QU*58jHbW& zOq)23G>r<;A?+XTM0KZP3l>8c^+(nY-m(H?)zbPx0`{~g3fsw?Ur0NO>5;Sc?JKOu zt7)%=1W50RN+1E#2euJbP$L(eWmCS$3+Kg8HUtAgNLDRywHcYQ{!8_cmd0x7moHfk z4sID*`BJr;Rccq(rSY7VVTs{ymYxRnvUk!(Y^fbef`{uK{@w4OfwY2iXe@721+crK zMh6^Tf4DnNA7!B<@L0TOXce$>`o;RZs4BvwUztRsO zKem2W;>Ds%(?dNfpdS;3GW=|f+JTmI{akrBw{N}LhVzLY4xcx6-&c)#4img2nZvAs zZ_b{&rf57D_B5Gfs}t>lth5VSIl(S}vx$~2lf)gL4wSWfPb$(WUL{qm5m~a<_wJiH z%|s`KB}|0o+DCk~o^55$@Y!v$ovZj|Yuq%FFg?CFQhs8XU%5nGDn#f3)dsv%6Yes+ zD_^7U^)XeKHQC>dbl)HK&%Gnqmq~ zFUq%=fA@<`Xtb8rvKd;{b-UqL2PWkPN{8=u=FfE3-DcPE3?)Yh@3Dalq4$27C1OWo zv{(a1LI#AX7k3}p{O8`iB?eMCJ(no+=eGrXQ4gNgA&8RlN2>$m?MbzpoHmgsw0ze? zvd0@wdfC6-5BUOj3yABzZ||hMOFG_CgH^UA z(i&eKBY8r1gZPenMTCe>gdcyUZ(Q)_0*<>*N_?Dez8~sb>kwJep8?%J$(t+O20Xx1 z=E}`HLO3IsKv!NZBp`?#yPMw2VclOuHgcOu#paF|I(R#qyRZGp&!D9Gv?Jl-4sf3#ygTK!z5{C(vW+%hx$=(^Iw1xfs^e7(8TpRXbi=pYD0%#{ zMU)dZY7yo>{y0<8=9F-hOG0n!)^BV#Y#l=?dK+SN52dsr_pKP5Zcl&kGlw?l z=V3|hj0pPSh{`4P+@`6H-Zle9w175~-^g)$_hR)Yr$BGPgnPW=vPs6>OV>L4{*(E& zY#qO5ktNs;MfBYX|D1VglVv(OY$|8E-K!qhc3`=4Bn-3o=W6lY`KP9ce8gMRZ zai0=1!m=7Gh?<;=x=s+8>9SPAv3(_;nsk0Zl)JX8nAiu;k4v8I6QLWGJhgd^a{bCM z0*G8*hJyqz@Q?=iLf5YjCm@iodo7+koDkc4lHGC6`n5&v-W+**prFQo>-tjdml5Mq zPbW0S^tfL>yks9cN}1@fp+VHoLqk`u`CY@z@R`PUDz?7Po8`1PL!ZkXwmrjOC+zml zU_2Wi*V3?f`e8gp*v&$B2(NHtahh2M&dD6#2vsb0&&P4x53RYHuBD!StiIKZsWp<~STG&(tW%^gY5cy|X#FPVhC*o%6{WXV3Muy~qG!u ziW@rV`HO4N^O%%KlFaowCa{u>*X{~9-l*23g`rls{T7J?{Mz09qT$+eMur6dUqdAW z{*jI8tY*+>&{F0yb=}Qu=8~UwD%}K8|jojw?Kh0lKQj#`_&4O*P|C1cRII2h+!KZ$X@dR6ss9M@g`TP zF766OPsCq9IJZC$0iI~(elz#T)TGkyifaIQwdf6d7ZtqGOF!IwL!EaVQT=&lPSVw- zmx}5tFiC=ld)NVQE+X|DPu)FK|7FAh4tOT6dH<^jZQVXH_+=K?W@X?px`9Ika8gpw zRW8+pw6Hxh@08xFZ^IsnTJjq46_Q zlZkET{H7U6A;|in@r_El%O#)=bhxzYf(x!A-E`BHD?&cHz6N5PSDdo>+8JYHYA zPT;TC(Dhz6h)S$ajBme{5fMQr&CrYd-UX~KSIP6a?pXCznj4WV-ASKa%*Eu_75Ahq z@0y)|WcVDDO(X7fFHy_Ws^|OmEdI7_IX=Q;SWD06^E5%-mCcc>!~3^Gu9?4r5!Ekl|80BGFjrS5!&u#-Spk*>G?{$#>o(wbXUjtiAx$9GTipvSr2^f}CD zfijru6NuimP3cv$o2+hGUejjxd9xC}7aRVfk?tX50#M5%6Oz$&p-#R+vacdEdieJaU@adqJKPt`m>~sE|-jOjJaWvTf)}A$+e;RU4+#6;CdJtMi0q~0_{6{ z4oSF#-iw*JkfR$()$YvC{F@avCoFY_uu4NkkCBL7uXLsp1E$8dlO=Uw87Z@+Gu~0} z#>$r7{F=_@?bESeZNfqq4@A`1Ta1y_s(nGp*4yc+wM9pFp5CRa-^Bc)1GE z>oBJCauQh~swnS|R7mK&0G8cY=a$~}W+cbpsVVwibSW*6uHCeG|6be;3Q<0nu9}(W zu$xj6YMZOD+)21#BqCVGVm;gn3lf(+I$ju7syn@_l)to-flKM-?iR+5mbN*y6*YL_ z|J;odYN~q}3d&*m2$`iY)MNXFr|ebdT>2bEl5AgT-DFQ^5P2I z$JVffx|r=$!mfIEy15q--HY%UGD^K64))6lu6=kTw>@b^a9`V8=$AatFlm}OZyM*b zn`_-S{0yIF9vxh|0MkYFXXgrMjk)-yj=KT$RxLqCFv9wC;zU;$MBk^%&6f32)1oj9 z&$~$&hgILe*71%T3fbi|!~j9VYoeea{|@+c{hZfzCUQ-Si+WSzM*p|RFv;Y^E<{6; zd;mX)*zJ<5%8@of=taq4#UZxG^7IB!6D63bOls-So%D6{NGc}U+N)QRPtEr1#jYn} zZD*sS$h+;_3Qrr0oQeJTi$!m0l=tu7R~9ilg4^rP&dx-_-rN&U`4eJe18Ef#jaS;= zv6W;dC55Bn(NVCoAAUu0RL07>yUS9#v|7Vrxl%?@4u6bR)h022iS4}BN5_K%sPg+i zgOV55JHpqBEF?vVYkrN}u~gz&`*t{mNy1~?8H~#3eO53KV>0smQ?J~m73?KT!zgOR zp@|AoKrexRFn18~m9D(bi*5X$hr;ioBz^_Dw;A-TFYZ)Qh8MPb6osTSV$Yzg2O1gjM z2o|wm@2s#w{JzAwZ1pa|Xf{8v<=XMiEF>Iw_~uc8Oh{|2HiDxv`}eI2+`PNjn)AWb zq2P%Gu)No7v@6=;z&w})9$KN`kxrHWE~g0D<5@2~$D|e}T4_yF>Uvg=Bbv~sC+!ST^;>4%bS1sD;_LwAIG0A`*SXqqS4{FZ9VKP* zvWbc>{lGr_yJ3=!_VaA*^k&99F3H5R*WOs&iK3N9n^SpP;d97FZjDQmFpsxF zrPW;ny-!WLGJ-Da3WjGBdIzsriHba)wf|TLj8}1hK~J}D`t~k0$!(V=S5qx~{%amA zek>SOc-N*o*h@N%8-mXSkLe9b$ig>6+g4pt$$Y&SM1C~E8{Ggmy#Dh|#F){8?z=C* zgG`Mn;DK+3rp6QSEFBIZVc1x%Y}H2JxA^!cEV`8l@W@zhZ*ISTmwK7R@yN@|i|uf| zqh4p>g%2%Kw}*_zqH&l7YDuce!d=@@CWRv;K*y6{NHDT%8@Pa|cyrmCls3B~*V=?S zi{6BgQ7%nCll%ef*DF+7X6x>D@cHclc_L+2ST|8VK?%3XF0GQMZ*%uyj1412P~dzS zw82Gg{#cLl`jpw7#|=h~yA33O<>}}bUD>qT`-=l1k*_}Y>z9I``edqko%Nr7QDDH8 zFJUeDlw;tof8efI&x+SzL8XE{ zPhKWBrxB31d`$eqQ@{i$#7zAicG2+iI9(LOPtB zoLXgFnN5I9NR_8_Jl)XsOLl*p(s-uxNnlT?W$9ZY%^PK#+B@Qf@)i8-xQ&M9?i%6v zloI;Fh6K;F_de6s-+w7r!}=IsD~_~|0ju}Pu6(Sr_NVqEL$Kq=j`Jx3zp(qKO5+IQ zX@7iE!%vPR&J#%V62I~W3}el)`n?8RqPDfB&zu0gXtL8`?XJR@+2$As1Se57dvX5P zo1x3IH}Z7p3l#?GM*k-O694UaRj(h}d_4eqx@ydh7(L?UT5LbXwGHxe)wZNei+7f- z30SZ8jZmkkRhr)BVO8^VmnrAG>IFPnX#2*VF4~@ydGpTlwI54dBU|cFnsw|QI*Y4m zBTpCo_gbd;f6j4c@=v#Q9{~V&ALcBh!g(fqy7rvBC}XZs&d!o_^9@?#UJKG2gQFC4 z_KJ+T**YJ)OVh%ivDi;>ZAbU2uXhGVDfVKja#GK0<>bER=W4q->&FXeMUFE$*CY=w zFIDxZtkjDq^zo>^MYbQ={XvZ#vQTG|GL?DtjOK+$f0VdJw$!0C>*QxmO-ie{nvQ(N zUt@-Tq_atx%1k<|MMK8gypMbqGys6Gj0)}DP!CP+-&G9)8tM6nZ#8oMGV^mmZ>>~B zvuhgK>q#{XXsqsUPE(c8Nf!Glu5Gi?t2LnhZ+fX?3pH-tT?eY)oU1?O)eahLXj){j zS~4?CfBzcQOAYJQ*AveU)b9<84!^ADb)22;RKtO;^>&%@ym%;%6fO5$x zIy%~9%L*|uF^Y|irE)0rf+{dD(CYTKv;_bFxE*3*V#+Qo0{{R3cMIl|VR$ls4#vgS z6^C=Rf};ECT@Gfa2qSeWh2Oe8!J?f}4{1M}_J zw=xgQr3sQn{Q@daznlomD9@HGS)$0ug3FpUTd#zKgbEW3qobqCO$fHM>`slZyoG!& z8i2y(q$TRu!M*xv`w#kmVf&BTd+3-F(sBy4*|u$4fyc)51nvE4yN<o6A)wzB)DVHCBlE&UQ`akt95s~jDD{VOu^`d7DZ z>*VX}D<2;piUa^Wv;(r?!oie&MvvCZv?vzLj+UGOzwuul1XzC*K&Uk4J~-UN@6| zKXFj&S51@2@KJ?7b|qo=Ps6Y(ESqxl-A7aO#l{`FnC`4bk3Ow;BKpbK#rY3yLqkI~ z>6Ol!vnE=JS*{9yYWH_d81aI)0^WXTdOUVQ!g_U&&jkBrQ_yWFi*VcB3X zXlB?yH2aGUI+K{8>JJ8KK;%TV`|}m`eC92E_{|#mxmCJ(mn1VzJ)e17bG}`rd#?VX zMNzZ0b^l4F=2X&yK?aSQG)(n9T`X=V@9wQBH&x5te@AP7q7N$D%~$PvzFFiLFYH*Q zNekENm$R4T?)#v+_6gH~zXsj-;my`}i>7G#hX39;cXZSEvHj)i>TJGCn)h#XbhO1~ zw~nu{nuON!y1q%{H7%VwUSDoIq#QRN8UFT`HZG1ZuV3VNZ$0-ER|^~Wuef!tZ!<$* z&!3`|n|JDeve8SOUKpw2y<3!`KiiHcP!U7drK7QOulJaqYS&0te?P0(xMUesO|2Sx zY0q&N83K&DmXn(=fW~Rx;W*U^36-JcLrOY(T=7>k%H_Uon-HZ3UZ1H~{!-h#%&$Rn z4IJ0p+-KUwV_GzGwxai+REp6>b%WYz#KfWI^L=Q4XsDvz>ZuP`Y}A>=bXE6ns{Z36 z)jsdMY0A(y^WWFX%{z6)=%tP?4A-z;Eo{z!_Nq&{{4|VTmW1nnPTsHgK3Ss;-z-xH z?_GL(>d%F?pMA(z)0cgvb*tv9(UtWIn|H86U9kYx%0E~6R*{j?x^?SHJ$E@O##<8? zuGE%)P2Xr(7f($e`iUyJ`DtWZ4^92H;2R0gd^1&5I*!%@m7Udl=qCz!ew0?P+obQm zTdm%W&S}ip|1EZV2j{%0b(b4!;hOdOdif0b9GF>T`(cqEtL+<8v~KejeLi=rsviHu z{M@m{;aYO?eogu8OKtjgxjI(csj#U#3WU9X=;-JI-`~2-+M47!FegkKQiJvJn(y?@ z@|n8-=xnRUYiliR-M`}2k)*?m-qPnM@7L7NzSO_hEKtL%t4h_Mt;Z9nh~lngE2u>S zWyPOV{N-!P$u-H8o1no2vrPkwd0&25u@-Ko7tE-2u!rxe=KUx}xFDOFG|>uDH& zD~?@NztEaRw&^|WQ-wS~QY+VO)aG?7)$8GN8ar<5AI_VR^H*r|#;-M`i-%?m|1{ru zCrqE8yiZd;U8C<-&r`#zt4o{#%Vk*3+fYd-RELI!TKvl2@4~gmHFRuW)%lZ$Dpjtg zE`!GD!cQMtoZKx*;SqgQvub5ku3A%neImkjcGE|^xepG<(p=?Rm1gd8p2;J6tG17q zoLxQDyvHb|C;VHI6#V7@ome_kS$Q{0ax*n+*(tp}u!$t;+hsGvdzKXMxu3h+D7q6tKYV`;8{Ll}7&Cf0P zSFDDQ`=|VUyyW73ue!c5K^J~3{eK%4Ruf5Dv^h>gM)y_?Z#TJl*VOY7L#!UJt+go0 z{uQ^*{Pm~w_JmjUps$x)J*%tRpy{RR&(`A!R77dHCe^Q2S@D-M3oLi4R7ED^Rk?Wn z*}UwF4LfyT3xnDQ-lzEEvAUFhl5LkUmNWyM$uz32d!-`Ve7*DowF|5x_exH3u3S~^ z`$p=@;pGK#)TCk0sn(x7;mC?|b?yxnin17+>j zyUOFoOA{ujK!Cm-bC+x7n`YtU>?Kp~^cBuqAwM5B2FopITmx8UuEZ;kDWYZ%FQ%?KaNe$QS&OU7RP97 z2DC@UbFs%pY}LTSMFUo@QzK97hPO8*ORa94oU>B)sgg&%QoqQ6@+ALUUPXsE==c9UDbQ+YK{8hb*-MZT`zqYW`1tW@F=w%Gh3q`c}P_~+@zdK3hmgl*gorf zxM)vumRft~{S5DaDYCtHK&VDf36*5hnf>4Bl~JSBXXEt?iH0678nou$YV2wGHAF4~=(rN=CscWljo_Q-g4pN3)0 zbA$fgK<`dktl0RgGUjIM;;DoBbn+X8PQ#crWu?v~XDT!KoK{YmCBF`@@j1(ID3<0b z8w|2IE#r27&0V$_RO`N`*6H7B`GMuy51jOgV$LMWm}}JaEN3)7H@Ig*MNU|(*!U#n=4R{C z>4W-s(m?a`H7h%7Z$iPjf|i!qqJM`6G-Jw2#V2QfDJwZ%D<;phdc3yQq9prQ+&Y80 z`fFz7XF8pjrku0{tzR&_RQ=g{Jb^o@q#41d;X}Im(^oo|l&q|rT;=9u>B{-jI&dmo z54R3dPTIwScS2pg)x1?B#U0$E_@qp`872!oSLQF>9z1?>ND(rGxb{db%AF-hfy1#gH&g`(Bk7<0Lr*$ne$NZ)>OUrB#95!2>CXdr=e_JYl zqr0!#^%y9ppQl(gUR!HXlKm@goyG&_sMp;0H0-4wN-|Z|Q+-G1=~DD(>+uBcWKb?C zXICGEgm~)Wx!-gwK2g~wXH}`@qo8(O)UvLZ&K|MwS5=)o)wFepj_%r{?1zF?>rWnK zei2X-mG5b#1#^dL(MQYGZ|-;{XFIEZM%~8xOV4m~pYM%&K@+2fY2n3d^78SMq5D8d z5yeiG$XoVszbO4OYi}TU8zV3{{sBWM3PpWR#m1 zd#6sFw0ZO9+uCPlW~O%R*rARcJ90L`9k+F>!Qvg{qQbHyb?f%DUViyyK6lxF&N7p> zsav0~wRt^vRDtqp*REY^-n_YtMq{b^spN5wYSp|?RjatmS-HwcP1c3DI9<)S`Nv6u zgM+ny|NfinxK&fV0Dom%_*K7MOtyKOMx#*&4<1yD7A-1FRx4NM=n`Z+yMNAddAmBS z2>Sy;Ktt5(vw7Fl@npI*sVtS>D;__4#{qbbq@s6a{cl+qZAGs$JW*Z6&Ed zP?jWPW|Dq6bfCgzBS%poreP440o&Yr?<_?|hTF8xxpM*P)~y@GvyQAkLLRc-g}+jqzIi!5`8!*Y4DapOjgJRDkoaB#4sXq`E8 zM(OG4R;^R>#^=e`s#S{u+Cj6PL$spj5DEd@CGJ!Rwl;?mly5JGn1)dvt~!9SR=aj> ziU0s0%hTJyLaz@R+A=8D%{u)9Xg~MHEP`TS=YdxZS@A$ zu3f9Zz(Dou*N1s44u*fk|P~MBQXrj zF!T%!_n`m#t@W*Y?^>)W_Sy69H=gHt_t`V?{6*hdbfTVP&#KrO4e-GbEi-PEB21ee9m1HF5-`?za-3Hzt-hEOQN4B95qwe(i|#VpKLKqE9J!+!cCi$S$zyG z^{)s!&zR`9mX>(x$8`*?e*YOzXN+29;xRprI4?5~KYd;%Qf$DY7Peb!OSw4KE#s^u znV}3)rpb*$URpt3!y^*~IF@i>24lOl-^W7kLUrsXSm04P7RWH#@j>)Wn&yOV% zn$)v=A8R@@8>!vmEZIXO5FT$OE)@1SvuF88l0HS=^6_$<=YW9UGYnsT?KkPx55Yr^ogZwN4ylj>lNZv#(o#u7yWx174~^2i{PpGJL{!syUxo zZ@SFG=7E7tq>SKN`D**@CE_QW(o|)zw~lr1ybynwJzgZsXWK2h zh+^}^X6w*mYL==Ti6kD56{~o0pmbIJ2nft*Lqy6DhR!o|{BPg;;?Ua2%6Kka9oidQ z(yM@?V_CK&PO~wgH#FR(cOM#$kSrN#V1(jgvi(hKloaD;%!fi!pf1FIq<^wbuY#B4e`Dka{}o^&_47NGPZoIyZ4u1<5^aN~AN>Tv(~-dd?dwlQ(% z%LdCEO?}w$ruMx#ySc*rNQrfl++PZCPLu2-K1c1ftKG?ww+Wu<-5`@FF{l~gYdzJ- z#~nNtvT{+WI@H!)eY5k#^qi~&zMyV_B>QmbuTCeT)7YeTJHVA^v2`qLHJ z+l7uE=t3zZ9G+u#IXYANzu*+0Hb-PmD07e?S6Dd)boC<{U0TC1Tbj$L5j-m7hlWj9 z2s#N6{2>TJdL?p?$K=9c#@5^G*F20`vy-Z?gJm6}qi0g-QNKEnWP+7ge*9WzMx=y% zy4-t^>Cvjo5$mHn+Ydhrtmkhk%F;XoK zilX&xY*++RxiivREPqG{hs8>As-K0-e}A3P-1?@h(u`&?V^HbK1YDnWF~8NNqjGzY zRiBSb0_gy)`e3BO=$~iM1zq{#TqvlZrtOs3#5BcE!sGLY6QZUZH(FsGyLw*v#y@sh z$ag?sK#YLky)4H+F9a^^+Ha=>keaNF>N_6-9uu&Z?OkESl2%M%?ku zd&1}(do2r{<_PCax=d&Qy1*-7Kx=0}m@azv!;NsGcQ@xN!?4_Nq6@##Od+XeKiH$* z#Ebg#CkHVuKjs@YY-^Z2vLD$_9iAuGt=sq~q-Uq@4~}^)KgBVdiXW;TR#Zvr)yq8x zs@y7G9mm`p!yIBDZSFE_>$ln5yRHxrFoc?k8)X<-XzOPy5|dd9a*|R8OqjG zbnrP5_a`(y*-e#tKm_#R%(CH0;2F(*8uPHLCyNHg0^pQL)dW)be3nK$o&!NXt=EmrjT-Qtq6Fo_6kTT z)Q9=|=7%(&We}aw#jV_y8H^Qrb>2?Q<%pRSJ7Ah=Jvpa_Odi$=Efr7<2wetKoZES@ zhQjt$C3n*E#@Pon+B1%=fAC)O5#JWTTt6YfT(%Zma{;EuksfQMF(agNAbD7&oQU#jsNe zGWzTdOt<|2A>$)OMqa;{ox1qpwK~b546of;N;;|4cZ>_tibtUcMQRfmrMo>slOf4F zeBPw~1@*qPB8t#t+|VnvSO3zMf*@pDKKam(+juz-K-3s0xw~Xujjn^>G%^^-mb6vr zu|rZBj^k34%mPMqB1lEjlwFJX8F3%g?TwQ&Ch^nfOPxx^2dq6D2 z*YxCthVv$hP8feB%@>RH-D%0DfW0`|?!`0!8#dx5J|=9Be8`e(A5&Z-c+9aYy{G^Y8Phn4>F5P zP{;FNb_Q9#Wrl3d>L*xY@5FK4u!2{P)w`o49KCGv#paHOh>xux!J&TIAx(rZ&-Eg~ z>CGMQnbC_ZW0+|vuEpy7zmgedsJe0@??letU14ZDjmpX67qO_O%v|M#VII^k^al*Q z>~Zs9S3YEnHFkd*kW|JEL(A5eI_lPHXJl^kU94B!_H8YQTD>@tYCaors4P#uqhC)+UrlCN zGkq&29;7R9=cOxzGW#ng&A;_dQ<=|f@WmG!xyeB^hw3VTiIZf{8B6pxI<63Sb_;5@ zC{spRlP%&+2vJnLMKiq#uoFhUzQQ8O-iQ4vC}5Hw-lSU(Ga=yv&>j5^X1kqsl+1-a zheE~z$Y7M4 zs!h(KcK`uAQDEMb!<>f8K?2pn=hYk!(ns0O3QISi?Z?ODh(xQF@Q@ZLXdz8go~;{* zvrLcsnle5e*d7dKF^C!Ct=u)w)2BQ4+AQ0`wE2{w6Cp{Q+_)JG4H7_=^4uO?FPRmuB z93vm&u*E+LUU7WQ)x1GQ%C~hFIYRzPn$b|Czp-rXL}_sA4svAt!sL7U@a7H4u4@$l zIRU{rNt{_`@7iQVHWjZCJG|1Pmo?F5e{C3g9jVM)|1!bScCq~vda}a2q|SdT=%m{F z$ZNU<_A1Y^=sq-dJ`JdQXP7~6l7EqQullI)cJjqMqK{_>ZW;q~o`)JBr0Ny#ZEY;P zEo&UArl6%Pp@}kNl@zsEEKcF#x#$LLOK?N`pQa7|#Fo8u=+X;I6tb9&bMoHdeupLIx;fS9_2h$DMw7r8a@S9ps&fB8B>;TjV!8t}}@CLlx?b0)m&$W~$$!&Fzj5Gk};n0YSk{98&@!-+Jv6 zVVV7*io4J{{&uqK1%*n3f02nHzbSPD&8Wq-Dl?iBp}wnh@`=30Xf3OX#z4p5hA>Tp zU3;gR4YW|XIZ{TMTy3LY@hZVHa}xLiVr!LKH&@&T#ARdXjNd*cSbpoeKSaOZH$-o9 zi+}*F-y9iyhZCstc5L$_Z9Kn2n!KHS`DJ0$KxU$ezpNagk1xJgKiT6%t3++E0OuK) zyPhl^@Po{G!6=$H|6QyBrVM3LNPWI{62R!}PiWb}-!7_Vd~2}le6{ciT11y`RRHb{CpP+h`xR} zLL8NP8H18>y!H7HP3Na#s?F1)i8JeOjFcqPME32PcNc^yM~Xl}AYhc1+}X<*UvLh{ zI;-cE`4zqE;ICf!02`CyQCAINIn{f0o>wM}FE)>7xW{4rviLYvL_>yRtl3NKaZPM# z%1K^jOMTtx(AD~6iR0Hb;RikU7Bs9Q(~D-`*C5P^8FdTlBrH0hKGdx-Zn~w; z$={C98q|r;%*o)GQ9&VmbQvoLLmXfVx?Ef?FSO}-XJ;48GD_;&-cl#C%~;QLzpu#7 zXA9C6w6y=>cv&A8sZRZXs2Aywlni7{QpUQ-8$}oK>gd@udEUb6fgol{Oklhrg;2j# z`oc~%hlJ%w)$}(*Zs++Mb8fS~X?t~_PA1rc9~3?%;iF$L-4kIf860tsiv`Y;j-68T z&zBRixXBmD2U+vzucLg)#d}t*u++O{6X(t!Vp=oWX-Pob{?_5f&aONHt71d1o-mEp zHof9O&4-E5o7nljuh&g{5aVw^H4|2&jld=t5Mu%uQ66L_L~zb z;kq4!s6QIs5(XBH(Nmlzz~jEv3;WOP)I`VWH5&3PbAR@g`j--NZN>xqOdd#7LVp(eU$7*mFuK&9RJ(-qUmWxzc!-Un}3~2_{0Ia3|bX~8d-!b%`@h}G#(bGe3sf6+K3MPL$}rk*(Bp&5GG*o;x7H8u^(iw-^KGyH zUMX-{|0vlIa4*Yb7L$XDg`%YXwP9I1aDrcl-j&=_eLi%?%LsBQOG{!R4 z6`tn;T&Ff*@8h4oMViQ~m%v&T>K4{a>vpV{2Dt2v8Z;oDs(CYCE_9>n2yxyT*xDU2>=RICpQ!eA+B}q%YUUD}3D6+zJ!yzM&DAtEM`HWZ?yh$E6#{ zf4o#XKQVXg>C+t|;`D-VB?B{ZN*fyU(38tGSA!u}{&%yc%*xEiP|17bJDOj3wo> zPA7Gz;$nz3#d;9@DxKE&eev)68XM zh8MD2tLa8q_j8}K|BT023pL31?pb%Q*65S=WAhc;kB&ACm5+R26~LxP}d za}NGbFMR!t@M6ztBc8Lfm+7_Xjf0d}3S69@oH0&)yXJ1Z;iXqf6DRvXT&u&#RZsk* z09|Z&I0+>c6}lih^7|8z?b=%c6sV}EI9XVhGlARi6XU9<%jX=6nX@&@`7ZZ2$0`ET zQ@tI$|6ZFC#@q19It`MbQ)195bujBb2tFjvW%%v(#<#Fxd?k@_nq);yZ}^1a&t7R3 z>Ysy+o5yOBbx}dVD{`s*uTD)n^7Bs#2p&;VQ)6bFTS)=632jBiFD*x_^rQ@8<$!ui z%QcfK5+UuZiVEi+i@{2xq1V86Iavx?TiSYlyzTXF4eDmvVtSx!Vv;^la{k&-r+?O5 ze|k|A<^xL)ReP=R;>C-=I%05>)lV;7&^q$*>u=8j!R-Lsdu*!36kjij%Tp5*^VJr_ zbgR)G_D@^D#cZke55_Zn7{?QQ-e`1t@kZC@t!M+y#F z$BlVjnv(oc2o$#6!B?sVYQnU-KReq3$||gmO6ulEz_sPq&HDndJ|vDZK{PSJ&Sz6K!ssaW_y1}$8=EQn&A?exrvwFTduO{mAz9N@KH z?-U|jQhvG_ldFwqQXctnI~L}@shur9X2;w%;vwa|XVLuQ@ZMQ;z2@eR1c~FEQDJn0 zA>^oVF6FnP4UPO+>YD;Yx!(~oaZegdJ0HH5!|%L}8K2-=9lF)}PsfCvz zuC*or;nm`y(&U&UuL@N~h~}09O&05J{b_>D1A{P*SGpb-U%G9l6ur7Km1PI{FgJ#}L8ue8n>*yjJJH|3j$tJ@=Vf z7A?}9v8XqSMh`(VP0pnFnz(^c1RZpuLMie~oZv$pe^vTIW}?$YWU!e{?={^*sKNKt z$V#gUKi}hoMf4cA>Sn=99J6njfPdSrsOY!+lTtD5-r+l;D%b+9Ez_p0HlD8ltT1~} z3+^5DbcYABx>ndnx`AvJwVQS(?KU2_pWB|7MK4q}f1l;et=%dy%rJ263A${`9-Rt` zg8iZEvS-1(Nx%`3vtzeq){YCiodVg5>-HFxTtMe}wT!bcpB8f!-Rg^a4OLB1cE|oS zYBEkMUCZf}e9Zi{=?z#Uz>r~`q4Ddd5A_4f8q}BraIjsaK&Y|v28zS?3`61*R)rgj zccl|_QS#RB9?e^eQyjE2cdBUeq4$8hVju$xR64%r|DX6%Q5^ZdE5zGn7wf;yk5Tx0 z`?x&g>75e=JKXvYf2UT!a{0u5J}(=m?;GhhBBQwwu{Q>sR&pXrY+HpHy|l}4`(ckU zO;cN(`M+Q_7lxTDTlowEWi5cRxhsOcPWD{H?{NDXQ$izy=lA2(W24-e{ngRS z8seE)b$OFM@7G`g96CDk&X+Q>N>-mA;gaY5j<56*ckLqKfc;r06^}uVNwcpuU7+)9 zP;auNbwm1$Mjaz?_S3=`+|Bi6o`Q8juCZc-QJaOnxH(IMv+l=oB3pSMP!U7^7tV2i0e*t0}G3qHQNka*`11u6FJ+Q{%Cxh`yec8EREKO?(XzN z-C{oj0l|F&#h1^u20E42yjz=&OhYp04eIjFCOl@fnYOU z&z@C(s<6UPG!&gCWJLX8pl6z6~#LF{h{?g!}wCh z`QrAv2QlCNKqbzDpj;)?M13(9V#}6_F zRWBq*HWnco{tvObFPmq5ghQC3(xIF6sPq%rb8si0?DwVo zMNIa9h7_FqRHu&7`J3)ZI+7C_d`%L$TTObvpesDEz1duWYTh=D5U;6=G0(O*5`|Mv zi8M78p)Oe4vh`E;Abv*Uqg+h76ZC#MKSB5>;SMNDUchup@EB;NHcaPaylVC2y(W6X^3mJ6PMXQJHt20v^wZO$B1DPV-#UzBd?FV$>sk_tP2fC9ZvFH8?7>i$ z?9E06|K7XOcdif=Jlr_n?jS$epKS}g8PaM^enaIUH(!f;xs|kM>*h(f=ydXyrbZZE z!fc4}cm;N1*Bo(R+Mr1dgwtlyi>|OgC`k!cN#$ApZI>~+HDH-6j5RQp&J3Bbpem4y zTK4FVt6xN3V>;6Un0-DR=gsi}9`?o_XZJ>KqBckEpZaVPMKHNnL^@~W_;q4(h|9)9 z>)CYcom5Ur)_=fue@#6}c9~Z{_BAdwfMD`z%K+~;z%38#wD2iFOiDmdMAm%r9V~#w zt*OB0&2eTVNfO4+h@B|%Zp?{p@Q1F#!Z`4b>3iAHD|{U^e#ZpOf|hP+WfTnH%XuDf zOF+o(gfSuN-%ftB+MtU4c#IeLF~Ln|J*Nq7?f&H4kr?o;*qWHlRqz?Sw+}x42P!QB zf>@?-Qb6pN2WCPA6w%)wfDL+}A-GQj?%(L-qkhWly0-johANebP&w9BQ35V`bD+}#~H+hQD<%0O#U zw&Kb4?OVZHgXG^ikMy5B0qovB1~nMLpP!Z7h1FUE8xHjshq9Z(_A5OD3EAaubhP5Y zfkzDx%}je;Lc^LEO2)JNc#FTQc6mz}=te=&6Ca)RIU^tjIH_A$nXT8{J$jU=-1h4w zEg@ly8E6iLM`P}1Q1gMyAahG#^=Wpqvg}QZe&FTXkZM@hr*7nsXhjnoKB7Sz^ZSQb z5(kIC^0H;U5uhY~WBH$HPgKN}l#xBX6|%dLjBasplhg-kQ`*i>fzxv(SWw>MCw&u;6=ZL8hI5&&>(bqSmeVCzChD%BLPA2_DX6!k z2n-V#6Nrf{Kw~=k&TcougDgP|CJ^#|lQ75z`fZ@Z5II}f$y;{Ic&twJ!+XY3uMPH$ z>Y&SY+vMfUZ46%;Zz?aVZK!f%)m{_I&~`wO6v&38sbe0L99@s0d` zmpfatepMhebfu?1-X5IS6U)g=*s&f*Ny`CWj{|cqPd}h7!z?Z;Jvx>J zg~z%9Wu|;w4_~-RSax+Xe*O9SG8E4`*kO`nQSU4K8>J#3{Ot8cl}5Zt(b1l3q$;oO zCj0%WY|o{UH_I|g5m9uiz@u#pCW}1`k~)4D>8>Q;lT&24*okXUyWk zj2QwM^YEdCc$$D;OJ5C~GC<@qJNkimK|xI`qtscZs1-MkHMic-P`e@9^4oAQE(JgW zYX>SeyWmx%apT6~f|4?8tBg^KgI+@M+c&`->P(S5@N@AobBE+bEISvRtXnnz_oQCZ zlP8}2?k}%{XDA2=R6g4(1++>Lbwx5R8dxfNMpSk@I64y`=`cZ5ZZKKpj{+u}o-0-uW$5v@!&XuCC1I!wH_a;q#}vuO-z_~4uP&m2=rTz6#5U2s%;GknoCo|NTj zPU;#A~Q(f`rTaCf>)k1z-lQqhblX~KAZWb#j__nX5&r?#W1X}A$ zvv32qu5Z{D5fg0yx8<5lIQ}bF=6{h(^`I@2F&o%@J)|8^6=ay^ddtrQ?Qr~l%ha;MWZ;-e3*7cmquw#;rudGuweOWjj6k-&nF8+mN1xPnLcyZfC=eANn=$ITb;FW^dIksg@$uy7+N`<& z#_#oA-a&tJK_cr`Z}FH7{#r?cUtFII9z#iMn`nA?hSW4lu{x3iVvO4taeZKYlk@0i zDNNsrs8rXp2|=FvLFIo21>K;f4E$TB$4D0tzAPR;?h6mo%rutlUHlpy_lQO4-0k^? z;%E1trW%Q{C!R4R9}VsvwNvAPPk|m&#Q~RCA}5DG?7!@72{IMgxoY^$-%&V>$_tPX zj*eJ>kag!)PjniOwQ8gh1_8grSwG3c%|#QJ{X;Kd!C6K}& z>_}+Rvd+cPy#O&)bn)YVs_}+Zl!Ddk@Uw4&)=_US%}BAoFfyQHBF)ygUn<7r-f6b@ zBHJ=sD!Or7q$N1hdGP%Bx4uNv6f+ToPOy1vr~$x#!pg#lye0F!0My z2~EoD>ybrRJs6Gq{@sH0G3U30$3VU+I1vvVTdUB*&RZK2%9S$vD?BPO>1*a&c!H-? z_2|_7QR9D%`X?^p?IJrpWyki>hJ=M;g4tw8e{LStS!Ybd*xPlqx*I# z2(p=N@iPA=WTi5b+{A-!(XfndHIHyJB~%tuv8^wWwy4T={ATNiwDXHl)SC{ zv9Z`Y{B$<#Vt9`Puf{doh+d?p-Z8~E*euzT-LnydIikFrNnD@0I&#$f zpZnhks5GjI^Qo2oeqAphh@7qH;B8~)s8DG8{2BO4%UlK~!|z`&lWyO}KVl)fDRqhc zVm%#|2(C-ubDDQJ;Iy`!x)&4F$2aSg)Z2^SpRl#{qz#^#yRWIcMI0Onmh7{$DsE_P zOZyA)-QA6^scAe4Cg~I;)0R|Db#t)P>6UAA5l&aDm&*}1>Q0USSmOBWPTXMS#>um1^0tMH2|UVfVivT)Qs$;waUa3- zj&ghPQL45w+m#ZK{;SG{?t^k5c+mPL61;++o#nsss_IJ_X3^O_6Z`eYTtw07!=U6# zp*aSEjGr_JR&Eqj!Ply|;beVeAs`1^c~ln{6v*oa+;H>aru@jedec+Psn?o#F#$c(5Y#>8`1b0$V`O^UurQs1Z*W4{E zvXkbM|3Yi9WwHQB+LyeR$^f;)RNe*K#uc~T@GlkC8(~p(9d0aG{X7yd8U(oRN{hoY z&m%e2$W(E00U}~ckYH}hv$J=1&#=7x^=mTwtx&s(<(G8e@0#-8l(_}8fFnVS>{T~1 zGWodZ2@eg6O-gk*;8swWp+5Lm8$-m`FUd41o)tAw0_L=GKx^}FehaymJ+EJVO^SIa z$f20fJ!+%O|L7m7nD+U`r`6ZHSy=Xh*Rb%Zfi5;3LwUkqzk0*Zq1ZO21tfuG&*kQO>u`#Yr?cZ!IS`g`_Sl6ab50y@Y<9o#rnvjWNS3t=G6X zV=g6XnxtireB0NJyCh&JltMr97_fg!o78{P1jZtiocV@!~Z{rXa_*R3(-7yRKR2)w_@VSnD3=Fct7r&a(RD#;Pvx{@Gss3Ysa&LH49h@(@C*1#EqNmwTOZ9=&0WJa& zOp2HD_wfPy*T(A|$Qb0#?(D`11X4^^b#CoY(U4s(774G;~g)UO-@_ z?{}QKmPHhdfkX+E8xjU!jr_Lix99}Artf_f8oq>rzeqq42Up@VN=kCe&4<_6#)7ZF zh~(y0rm8mTh)bJTy?f{V+ES3SNb!JE`JYykXv;JXsIX5=1ut@(Wk;>{gFvGm?QfQ0 z7KDkrR$>SOXinaA6;61k{PkaGEYbn}sjl%3!MQaFJkYhu1A97fJtyC#6SlgcEaneV}Y4)L(X2v+MGY4qtp>MAL z%atNaaR&Tk@9?ldYz&3Nc;CQ4TjnJ)7}V9~S8tB>rcX%ls)l|RvoVqR%P`u4BpgEi zkQX08O%;;^rn;wIWMnNHv+bP0hlvu)Paoaxm1+LN63>KcTA&eUQ{KnN=@YpBePh-cz9{$g;JF!2)x?&f=AW=zsTQiuNbpgV*zuz#rza)pO&ug+}xF@Z))>RHQu7u4g9upkawt=F0`Q~C{()PECnovQO3>4rI&zgWUW`m|` zuywr&9qN8O{VmREv!VZN#sDR+fbVVAb2(P|5u-7Kz{nO?>$u=Sl=?(W@5w%Gt>aXf z-40-GhimG|8TCL!*EcMtMQAh4F!Rl2wlm!ulOE|su|L!6%4$b`Q9ohow%K=7vuT^8 zne*#E(LRTy9rgN=GVW93)<)#~FWmC1nod=6anb>&R%zZ^Y7nVnAd0tn=LzLTu63RZ zMlIP5S&w%27KLn1YXvLE-6yMPeUs+W@@6O)S}er3Im!OV9>GvI`MT^Bo>)EiNM2bnYEi+ zisq||213vSS;u}@QvcE$%7PvagXZz-bj3?M%NnB{} zsDko@NYlv3F>V?a(1)ZIuewINHDr&i_r!Y4+}j#E5_}yaeS(r;6f9LJ$q-#x{BpdM z4yByL@>KnPr;=Qyq?wnlg)%RwPJ8=-snIp)m|;R&>I9GAi2|AwBz64AUqp?sHWy>8 z^;EVr0Z1!LjSmlGZef1LVXIYBmkIK1et?6tta0s}ukT{J&&M!?QMjmUt33GdHLS=H zy(_6@yI@se^20gx+zkw&%#yc?FM5>oAnD*lQle2!O~n@{4!(w(AV;jFbX z&o8l{-WkYS(7njCrS7yF$*pRK2c%0GMHM^2@?{Q{TF=T~qgc;$JDd$nF!+>Hz%rc4 z2YavN91HDl;FhZ+mr)k=qbt-WmYFD82p9`wS%SbnhuDu(#q5tub?k3_yclgXJ^j8V z?W6AqG{8pA(QZxSHNBf?^G4HINHmp$_=~c#Lv@)_Z{ubG>b38UEd>btOrrmWlQT-z zaT+FV0+r2xsjA(S65}@zzGDTD1c4bMW&I^P5p6`LB2C3pxD$je=o1L6(yW> zpjqq0IMQMw-N9X@7v;!444J!Yf7Y~?(BWZ>VTPO_X1GeKAV)lX8?GrgSbgwE?piS| zEnWpC1DmiqnG5}ea}=xa1v=7hA+Vt-5pqTX>p#(&^U+H|XfUJX!1!yLAJ+}ROgGty z-!ItihTUri?r$6}Y1gdDH0Ugt;m(qD5VeH^UV_24n`jYV{8?G`E?jgRiaM2=n5y1T zOba;omoT5W+kben6Q3~tFYZ4X{c}F%Vqiv8DE?|LL0Q8pqPU^TlrB|h$;fV@d#UzG z4!ay{4Wb5c&*MCcpw)Ilg{YZ~=$|!kOk?9lV{;zd%h19fL@CF_khLmO%a;w6T+DGQ z?yd%WPf6@v?``#hjXxRd8YK_cMy*!3HJFcG?CNvQtG7hh4wj6CcRwyL+|&De@GP>v z@ARkSvfs`=CH1O&`aF7F@iy1zTkKHxYjxrweh!&@>##F_Eh z{tUYQ>97kg#G?}5eNUhM%A3D6=5`M0=0uOaaUwDV{o|$|%VTxv$2^>LQBg6OzAqaA zG*YnG1}>u==b;}DP-q=ADKi~4&NuFS2|Wu+7WPT%lJeLL@CVP>?~6|89yc*uO#0UZ zklXq4VU8OOQw|Cn_R2-da-|2t&;j|r;gZiW=|}o8aXZICa-QttacUb|Uo$fF^Y8VY z>zVP6eTIyn` zc)c+m{3Ydw)_Awb#pAXw64%+Wm#SaKUf)7WLl z=ASB$x^(psC0rcLdC3JtY>cv;E;t*LNou#n)YQy-A__uhBBLKc@LB=CNfO2ycmjCH z)`AX+uykH8kn_Q3Pv@KQ@5VYjb*XQTwJwQA51D>g(#A~(oK!|Nq>`T$Nk_t@2es8k zXdANTm>bTx8uL9)biHf<%`GT+7xHC1<{;7)>-9G@`R;L=t&}&x$Z($_$;UUHWznZi zLA(g`LxiEPgK_#J4lmqmp0HL8-Rg+Bvcch@EeLWDe*XUq%UubzH~=fds<@Yas4|+K zoaej=JdfEQgajBb0ODCDE&n?#1AKA;X3are<2plaLuM-MNT?F(7g7Cpa@b$4V+zS?CldbD zHX?(rKATRJ#qCU!|El+GD_%5^ShsD=cNqyu-u{_+W*3q?U7P3LC~>hc-`qX!2VA%k z01!@yL{K~_aTYx*(uq#NozZGK*~qH(K_ZV`P!DVMH}2QJ9b;`DrPO0l0x5ffB6V-v zh-Dup7I?I#x(5K&PN@sLNajsD=Gh;F2!c_MsryP$4l9GbK`=Z=vut(z1}Tt>T$3 zEo(x>^=w1J0W6tkw_~SS$0Ch`I1O`O-Ev||qbo{SO-O)3yAKmGgsN$nz9lXru0-O> zU9&+R;dJgukH)5c=AiFOr_z|W=jsrMrrVu;{mV40-AlQN-_H2PN75oPaLS9`b$d#es_nMaYmA`tQO_&Lj*Dt3mDieQ}!x8tN@}mN_(!g*9(eh#E-^6N# zwD5&aXZMf8Tl4GhzwLWl&V{hnPPq9)- zMgzoezu~rD9g{+y(T9Bn(QRz_&c|cK3QbYCBciindT4^WS+LHme_i-+>esyv`V_4K zGPE7++{dK$9CppsKI^8=`M%7fT-1x`j8BHt7cajepdSa!c2gy9sR5;7w^djT(oTM- zq1up(N)BOjp*6kDi>PgbPlMS6{PueAr9DffrxS;V#M1{zta4U2xDOU9GV>jKJSLTY ze4bB9brSq@xGuBx$>@w(h4Xy_V7hL^L?%eOY^+MI-69gm#+ii6n9^iRt*)T?!dM+JaNWLDp#=NtpfciVWM>V{T-#|B)%PvkmLXWs9y@^t@#K|*W40$hU{a~jsF&~9vfTCI^NBB_!a_IL9Bbuf zaD`A+Vfu{^E6P)P{6DV}ynW&#UHLBk-QoQ(CFt3I$4xrA0R010eqGc^} z{9N#ZhG-PABl=ryM^}erbd~?z$HfVS8~Mcu9pjGzBOv;z@3*EX+z z@AE~>(LIiE;Fo!N_xM!So#4Hqvr+qY9rbcR!UKsPWD18%{Jh*m(Kp%$OfBzxF6zAm ziRN8S3_^)-51~1(9p(B#OoaFAr~40=>@6ew9g#vLu~$6r0l}6Jvx5An9Ux3wqif9k z=m94OS^pY6} zwhno0IbT{TyeJwB{;xyej&}WupHHDo;K}K~S@Lwpnq@@Vn@!0l_4Tu4qdw?0U|;V9 z_C4Lu695RMB*DAy19vtvc-jJ=)}tfGsa@=`ci(vS~G!p83k6{kxRsX7*$Ei5|zCXv!W@5Equ>I34J z)vFwN3~PT4L)`yNkKZXFMv2>(|6Y*s`*J>)_7dM3qCmXVxaIk$(=6=qUFmv6ffJBWJ_iC(0kihBjl)k(`e z2VIRC-I$&;kAGTNLw>Z|ZJJ_Z)uTPS36vU1g&>(z%u2iOzm~KLLf%nuIYJY1(_4ln zWxo(AT`&C9Q6X4DkH7H0qYgO8R;>|!#Eaj#GrYHNA&{go+STZZ{TLW{?WvTMzPJX* zg9lgI+S**)-A4XL?vX>eL^O(_QXqAI?huL-bJb;wYq2%)(doH>H`0( zk?Ra=YHQX(IMhgsKq%6i5b073gmOTnOOqlU>C!=vwh^R+DkU`Op(rJQbVNbmgd-qQ zr3%tZq?ge7;yK@a?vMNDu0MOPXV2`tXJ)OL^{!`Th4O&H<db7y>>&*MZ;9~f>X(5w@&qJaqCIAOhDB4Lm7Jq`2^`7xPA?}8*ry@#YgED zYX>+2?&J5Lyd8Xdi;pxSwSWBdL4WRDbg>On7Jhsvo#=7%UwKX-PLNNZFV%uX&PoKONkcBVq_m zCsNYu5J}(vMY+}ARcJ9(Kmv-3@L33@e35~@_c1*?xmjCltak26L~}}PY^-gzYeV!F z=@M>-l=#u&>K89C6i!`WiLjsr>43%8p2F@w1dku1G1cfE+Fk=+BP+A-yf%rfOF(iM z7reGzopnq`JX+$KsOni;=G5F=52)ABH?9Vz2ru$ad^J|Y-M@a{ucFfB3559K5>~$6 z=dC+!jcQ9&RXyBX$aSdjjy{8_k9}2tExb&N1QnhTn;-PT7kz7Jd**baEmC60yq#!& zNg6pQZcYy#*J9-f4;1>8!mz}EDoNsYaw#yULBKqKqubP~z<}!aC>twe@wqwRb+h#j(77 z&*AS5A57{|#lcTXJb%aI==BGG`5t8^;D|+C&V3?{Cn-HIeytI~h20KA0Q&7I6i3*H zKYoP=U#3B4$Jqxzs&m(k+Eu&pmQXX8mGSDh8t8AjPP-3Nw`l0vJTeKE)l&bd`$299 z!fZS(O;0ym8N=bai`FcSr#Yc>5rUtBa!VFkST1?ul~q;ELpzgAGLUZ{pUOJJ=|_E2 zP7fKs2Z~1gr6kH26&u@tCGhB1OKc=+L9dSOX1__Ol1(g-ThB(Ras75f+}xmbaS_^H ztT(#^9i1_?ZZ~IIivPVdvFB`QSpVX*ul~jW{eaR#dsbG~9xRrdi|Zwd2Su34w)XZs z&e=mlj~J5(!>WQ$AzQob)_bLA&tQv-i>7iy2RBiXk&)P~s0KcQzpDTfrh_q429iJ< zYsHXTudPaG1ik-1F2Mh#G3tksTmB^MhPH&BKd%;vD=p=#s;++FM~Exq1{4$&54E+c zyq7#iN+@73nAK@jS$~3nAdHD|{_EH3$4ovG7)wxRC*j*h@sYnfZnKkmdH4SSIgqZJ z@KtU|EKyMQH+#-wYi+wA9&j?{CkPWo4}lDqYBBx2vd%difV8x80=u<4SJxsFlpi(R!zELe^yZfIp$~B^o7+rlSS%3Y>Ey z5TB-#&4f^oHD;zU(qj?lX%)V^RW6E+{vZ6Zi7Mq`CNX)1@#3_`PIt{;F?$=tRaGK3gJ@OCowlgi;Bq$0@L{z$ioAg#pO-*&x7EAx~ zbex~0vJKdANUUj#3i;&1DfA?46=IPn7t@h+jZ{o7=xmKQNlDMPuJ~GK->dl}!-;QU z*1FgG9#^TRq^6p$_Jb}Ll5@S!waS;fy7NR(g<&Rm5_UXChE8SUVn(d*$>WC|;D*Br zq4o+`8p8z%$*l`8^Lv`r)m1S`Nqd63st{8b+z0ZxH)rojd5jY6(7cbyR;9t$Sa&Wc zqPe^`$m@z*s?lg3J3G7A1y`Uo^tCd&$rD`=ukfCI4*R3zP-sTly;)RX#WMj9#=;A} zbz!Flot;a1KC+5WcJM$oH=KXe4g&pd$PMs zO@f(;atq+-o^0nMP29)!;MuN2_g5DtjylYP)R=U!zck=#{&8~V9Vs1p3jq;cMo^Q8Smh?xkb2c`i!ZY1XC1a zSe0CPdh0{fkf5CKgG~CNt|^8Qk?NEn{C#@E_mwM6x1T^GWE7vgtlN zV>ITpimo*6uw!`2@hzTSf51BQ|1|Q@K8~88~$oOEU_oH2`}!n z&EY!1R3AintkBromUmtUzi`V^s}XGe=-K(8CFB#yIW@=Un z>HejjY=aD2D6SwHKLVtccI9jH3m;vt?Tj|?M-`g{FDXSsq_-~^g1bx#_fWnSoV`2QbF_zDUI|ur z%FRKkVfYjwOB2snrsi&VEtlw<$MkArFlX+ zA`kvHi=7OhjlrvRqQ8a?>AwPgU~pN80I+#Ge{@*h8C3QKg8iyde`VPNw7bU< zRd%#lsQa-D3asozeu$CY?G81KODIoK5uw6`G_Qx$FSwfi7r*t)A++D|CnvN>GtHk zvUlPMI`chQr`G8+pD+(;zOm1BqnG{0+{Wm6$^pZ}NuXJ=*A{zm-8rItgLo+#dU&cL zFR#C6&6;5h0ht1_M5B($N)SUHXtwlU53gPRF-F4_!oR=j2S8;FV~fdHrHAH7b-n)5 zFFaN-bg5wkaS%$c#aNRe^?Wsd)RbE@X}+KYYg>u7dCt5X4Mf-95~23w+zVo3FJIeu zngC2Y7M`%lnKR=uXB_bv4(lsJH?U_xwBzq$=In304!P5Altg)WJIS#ISyV3ipcn7N zCA^{JJvalf&QT$vO0%J7cD~@87VS##+scIU1G#?nBsTpQKmj5&?u@WNr0KwuWgtLD zhnm&R%h&LS;CK&K&D@lNMy0jPb!5dfaA1OBf`J%CRNsLtnSC?gpt2l`1X7jW2?mOb zRm?-|-$Zlr-lqr~Tzwd4^->kiA*%%@0)5G(wwY>%d+lKrN}Sd%&)bc!!!CjzBkqq^ z8v1?E{V}-GbnUwGtZM245+Xy&J=#OhUO;A(u9X(ytNs|_NWFpYYDE|KRcI^#C-AYm z;$a$OiG=M4#_4B-VZJDFFx=X6GOj=IuRf7#K@Zb}Q%VK%n9}#b>qzawawiMF`54Sr z9S#7vHK*9I(QVAuYVXY@c|vCg`XW)@Q*`1h`^qruYlxjEFQ^=%5SH%ji4ApjE1udNEL|(cbqK7@9v%!aJuyDv znNv&tnoV~jQ?ByoMA5xX zWMcS5uh$k1)1>ECM^rrGGyJt-SB}ltBiNADWWZ{XQVDrN6%2@d_mqBc8y3i8DOR@>y}+pNDsQ$7n-i*$M1v)3#W5~vXJz>2C!I3{5k)63myByG*rf35*`LD(LZ<>eiS|TN#1`CaY1+p}RGO{Xz zSg_=p|{wP~dH8JK|iO{=c3G4Z>9< z3q>UI2g_}p_a~QW-0Nh$Bp2xoIZc)qhO40=OouPBN5vkCAUiJ`*p^FvsQ09zYS$(6 z=j*i_<0@MF4DJ}|_P?!a?H7u4t=wDBXk=O#UXbNwPf`X}7mIsG7&M_s9Zqp+)$eKW zSX0EGXoSFFD1=LS#!K-oQ|q^F9(l2n+2gbuGF;ME6w8!yl<#xf*TqEx;3Tlwgq9v7 z!CNl^L*S&W!~zToa}7!4YpI&w7>xW2Xd!3q$eK)5PI1C(T#%FO4Ju1}l+{tvzeC@b zNLU>=@H2QeEERb%!29d^`Gcr4NSh+kir-x_BHPlf9a1C@3^dzl9~8nV$kk# z@r#XsV2SFhw5APSNM z#*f#fj#$AK_c`)8o<+@0vKa&r(h`8|tK_8a;&LGj z5g~{NT}v>jXLF?82$6hA9PWydF@Yt)N$ymQ!`zUdcip+lAyH=p7O4Hh$KLnQ=MBk6 zLoF$mnjv%N`q0gcx`GB4_9E*pJOq#_5yBN+XJtbzUj7rwGMUpG`6Q$w>+31le{@7v zBK2OE-zxG5m6SbZi502lZ3#B}%i5SByD(J7$wCei)&5=A`8cPgZ=S>%ts99sk@ma) z-IF}VY5hjY3Ua6fr7-7@zq5Iu)iG>(YcbwGIbYe%k!Yh<19UO2ixO-HY7(8u5ogE3 z1MGM@1BRoafH6Ptm;~`=1R*Mq1`Nu0KhaM)ed|@FF-<-A!>Yb0cdE{vb|B-`{_AfZ1qV%iTy#j-?C!(TPtja| z&Qo`Zn7EVKPX~cS67mWsvZ@|e4-T6@mCpmd`S=G1m_nM8A2PhV^(f#iKOdhs3>UuB zd@klY0Lofb=uEc8JXo^wHN91AzIn2@#M0>N?M)PJpv(+fmIL0kJQr`nI-sYEA82>m znDWz?*>}*1}@K~p%PEYr2F`Jtyl4M-{^#}76sI;`S*l!asW#gkXejTslUuF%2(+jYP zmxL;G=aG^x!Uf}gs693|wpUROZf>|@24LJVBO^m?M)NmMd{mU0{%#dgxx?$C#^>>< z8rIj#OUc>!ZLOlF%5R`*G{ZpZ5bpag(lsJ=cxTl2FUl<;vdkg+?r50AopK}|K6x}Mf@+VT=O-J Y`U`>9)P%#M-+4?LYPzZz6`P3v0O)k