From e406cd31a083a37040485361eac427b631f12458 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 19 Jun 2014 13:39:13 +0000 Subject: [PATCH] - we upload communication #8 - update in basic_2 and ground_2 --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_2.html | 10 +++++----- helm/www/lambdadelta/download/ld-talk-8s.pdf | Bin 0 -> 111616 bytes helm/www/lambdadelta/ground_2.html | 10 +++++----- 5 files changed, 12 insertions(+), 12 deletions(-) create mode 100644 helm/www/lambdadelta/download/ld-talk-8s.pdf diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 49fe03615..a5cccfdeb 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -223,6 +223,6 @@

-
Last update: Wed, 18 Jun 2014 17:05:26 +0200
+
Last update: Thu, 19 Jun 2014 15:37:14 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 280eacf55..e6b802473 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -191,6 +191,6 @@

-
Last update: Wed, 18 Jun 2014 17:05:27 +0200
+
Last update: Thu, 19 Jun 2014 15:37:14 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index 850792254..60a48ff5d 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -60,18 +60,18 @@ files 361 characters - 651755 + 653633 nodes - 1819305 + 1828417 propositions theorems 121 lemmas - 1293 + 1299 total - 1414 + 1420 concepts @@ -1272,6 +1272,6 @@

-
Last update: Wed, 18 Jun 2014 17:05:27 +0200
+
Last update: Thu, 19 Jun 2014 15:37:14 +0200
diff --git a/helm/www/lambdadelta/download/ld-talk-8s.pdf b/helm/www/lambdadelta/download/ld-talk-8s.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a7cc22dd5cb3efa3c717674e3197e0022146957a GIT binary patch literal 111616 zcma&NL$oMBn{0V(+qP}nwr%Sk+qP}nwr$(C(SKFHem$s3jWX9aj?5K1Ba&1>M2wb^ zjs=Qz>^iOxij{zYz~0CTiid|@#?;Q-#e#tCKNBT-F-sd4Qzrs?F&je{QxQ{RdlOSW zJ}74wCsRXPDEI6Xl>s|sMueWb0PHtZ^15NHIrr-Z`*I`#&%*j_3h>N$|Kw(?ETV_E zX&bk-*kn8fqLBG>Cn1ZR_{D(6%r0Mn14CLIJuAG?c-}1Z%rUw#fGDag7Yg=7U?$?yWG0F6Y3!3Qpp5D}YX#al01Vp8nT$96T7a_ZZv}tnNK;igd zET3gAk&F@9ingV;VUXC|1*_GSB=$Nfuga0Gf(|6=?>_T%o6%L{2bqT9<&dY3VdRyE zifBL5z|Vcrd8bcZj2&E2LGaU{$V5p>e$-b~Hy^r68n25~*HPXGI8O}mA5}rZj{c=` z!blC}O6P&^3x-XCAn#Dc66+M#^X{hH;W;B)k1SKh?`AT@#tn)R6V@xC!uS@I7jN|@ zeXw5IvB|U)ZGGzv1IqL`r^fhpH*3)9OZl#_^Rp3v1uUS8X5&UmP7G1uyd}lvm}HVj zKoykcO3Vr}E!?=Yes6EAlLcEnO9n>A+&Dz>k^wO>+(wt<#<|hi2HOZ(SD|4}(OYC) z$rz$Cu1~cN>FA^EQva={b?kvj)Bw7i3jsjXR|dNz`G7ecLZVFN0ME(Q3X>wGw4+K% z4@V)>_era%(VzgPU7hOsX%=i60CfOWEZPOrhPq5Y0%eJEQ#+IYBg+5m{!7UJCEx#E zSs9`J&xrAVik$I(rScoCIeXkTM7sGc;RNlwEuBvIdJCs_Zq60EMJ|DP64ZI&6=Bk? zM(qiH6Uo@8wSS>HbYWlZcN2l}%7jB&J!7O{L-xHNW^Q}%O67u!bI)JbPEYUT{Mml% z^ZHipTzlPn|@#a3l*yb;v$5*h zE>6$KH>#j^( zWY{LpSFWM8Fns{&pp38GJ3&LpF>yW+x{>n7_Usm%uup}BROV~;7Z(c2lVgDC&Qzo0 za}X@tqLMtJssFhIJot^%rd{0D#W9w{sF!mX0OZ23%b=_b$#>M#WjI5$J%#p1v)s(+c!5 zJv|z0rXoCIF0U`!h=p^Zfq&6LAxOS%6`nu5hI7$8d0&YFMKe|jkG=bImk)Q_9qaAR^7Mu+W-=HFbeMtKK#>~6`RFJAG|UJHw|nx2i?1(E=}O#{HJIk z7_i8-wN?Sv4b?b|+e(mG)59Z|EFk&rzGTWm7a^mNS{JB$eFl?8I3SqMnr8BrjPw8; zq>8y?vtuoI$uMLw==XD{!C_6;zKbI!GT=7~{D}S$tuqH(_=B@@YqBzbZ-7@1qeMC4E0`zkOsz9$2d0L#?>phirdzYZ8MHEbLG9!t-d);OMMTFR z7t{40={t@0S?urSmZhj&!BsZ0KKTR7$ciDzcJYau-;f3-^OXzAQX$Q_2^za$GXNx- z0QK`TN*4ACj*?$|9B-UHG~I<=Rb`=Pjs0OPpFZec^pW%PjOfq(@_d^;%`_eO*CzSs zhHVE_^MlacNKG<~@`y}o7+z^7+A*Dz(a?7isy=7KaAT2~!Ve|92JD-Lqg*T{OKd~Q z=h^~}w2yLlt*pq|e`-=s@fOD_nDvt^8dgRNU>PW2{<7bpYvq>kf*i|UMCGBecxQ7k(uB*hU{+gzmU$@!woYq1jL~*}^@wBpQjvHS)M*6oo!h zyA+-pp*0lmT8VxR<|R7K#eI6048i> zi0!4WL9W0fXK7N6hNxuE$jyLl#m(!~aezc5JHE-L?Wnu_CKu+P zq7Q%Dsw>lud>uH*C>-);Xw^0xrp5T|mVHziW$Ix&W@+LK?RMe8VD7a7wO8v9Hy`E9 zvkbx^y0IM^7*oDtOYhlH>O|W_+J^RAC}|JUo5YMBJ{FKiq{ z9NEH9!WeNM8uq{rE;1FNfE}uNDPjYbtfhsWY7JOr2-cw1Pe1YnylC@8PxaDh7N%jQ zYW`ANQ7AB)VaxVqrHn@g`&R%Nh;(hOOXKIYY{}iQ?i?4EWw@r0`tTZ_sRmX7P7OtU zn3pjW-C1v>bZ{KF4UF)Ygb_%EjgBEh2WxtXMdWK);-X>YUx}-VFq3uY#jk9)&?wdq zGr#m^S~c$VWuo5O-IiFngiOD^{#3hA9~#$A=P#9JWLA?h;@l20nA9>j-rfVJ&(V@P z<5>}ms2RTxNHoe}%sYO=BXe2*&k`a))2SbZIey6EfBv9t9`HDa7dE+uWl15r z0Km}0Abd+T?Ix=BdrGHsOb@-Ks!i%1;gY78wz=pa3#2*8%UNN(RPm#kmvP6^mKWeW4D#1OraHYBm_7UsVdJXYKd zKVltO3qhN)E8uMqu{+@CS&ZnN7DrG$XM<%m2Yclx-y<@1=?Bi<7!q5i-J|u!xkJMo z-l65AdwSn*7wwgghaNL3v} z_aSirSL5WmXepn0CrRlRDFz~|_%Y(`JO?XvwzKx@*6=LL8m9t~%l#f7n|=sXhwd?EZP413U3eDlOy^Rsa5cnNbORaK|C3^EW5Vy2nA zT|;*`dcuS{u({FxyZ*1oug$+FZFU~do}s>ogU5y26}e$V;a|sJn|4>QqHh9L=iP{d z>jStkx%)79HU@GbjN-QFuY>E2+c3pj&ZR+3M6uR97<8G62b(+Krh$xy0pGwMT=jvN zw0BMj?7?>%en~Lti-#9qrPv`7-d`Vn$WhsQBk$NMPsgKBf=@83{p<^|)!0m~V6k zBs!R5EfrBs1cv(Xq4!w6C5^X+@MSc>x>Nlm-?R=>!8qNh1hAP`t2sL}++U{V)8~gwXL}rvhR)BqsB(PeXY=|}@rFI&!o=b+xpR{iT+9*~Z(N8q zW$M-i+|A&@zJQX!6;icg|Gg~+c}WD3fwMr?1_PE2^mMRxl6SsLXIT9bah(Cd_#X)& z9DTKCF9%*dkY>*e(D}c5dmr>f3Hno)7Rx9SWjy&NYGdSF+qMVnKb77JE=!jx;wB8p z!&w#3CAnA+35HqTx5AOKN56lQkOJ>HtSKFUFo?jwCNar)(v?#Ir&U&xtQR7=fId22 zup@5%$waFAb5i-}%}OdR2O;O-IOr`00XJSj+MO~a0w97Ge6urdThV&2ZQ)q8m0x;| z6JQ-CPJbTgT^N5Z&{>uQ)zXAJLj6>>Pfk^)m8qW7|B0UjD5uy$$h zi!w+$&as%8S<@;6#3k?X+HDrUX^$r+2NqbsgAz(fsP9*FYR*!av8G+!KTo3m0T?+4 z`h8o|J2EKr2R-PXq9UMYRkJxqVEhtJZgYF@G@*kKxj~TAJ5ngnm3a<=)&re^pMf*l z0Mz-vzw*u|t!iv-4c?QL^<>&3v9W!iLIF+mcgBtx@B3>I0H?zVIQ!8Dz)^=2fbcO2 z0ZhF98iPVe>DFQrJWqe}DV&pEVPj(rE;jY{#=gWfm1+73gT0sAj0~u6fk+8Ds_^o0 zC$*G%9rnX$eyn^?i)TYlVC7q)4U-`dgVlsGntW>mEPQ3Ydm;6+Y{kEd7zmyCt3v>+ ze$N2`%evQg_zZdi$3 z-3qoJwqhG`5xNl$1efYgX6>~^v>mUI-VMZ&1Si+gP7|jr&QyLzbz<$@Uj&LB8Z>T3 zuSnNv0GuQL{mchimHupbGH9=OPf%&Zi{Jr4JBAw;OfdSq<+| z$V*c~o2|-VNoIIRUl7L=(D3sgN4L3x3#6H90Uv+H_Nj%8>J-nPWCkW*%gp}La274W zC8+iGB=o`>yxS`lsR3Yfsa=Zgwd-)W;K)hnlr6_FH}oMBNV66<>e5w6w^E|@CCj}9 zNK1G+<6Sd?0&k|kf_?37^1~0H4?rS5FW}`&KqXxU9t*-gg)kf7S*rAD*0k>0xKeSl zN!USYF|ur3PbLZC9qVKwybReQ?9ha1h4!yZzc;KwS8^xoDfBPoKQ;N$Jdhy0m)1jc zfUtl_#Zgnh=?VDBH^DnPA8t|OrkAyNg2+f*9|6Yk+&yKK3^?Ku2E@(huNR@f@<nkgPE?AEu6@SIrRB_qQ^h1Kw@C@ea%GHCDg|)ET=l|snJv*;G7;TY=0uK;-E5+3 zC)xt4X~hbT`OsEt!ZaPQ{zUZs1>b6pv}3JMvu4YGd$DT z@u-B>DwJpQ1>;JcTbKHHUm2qynyr`9C9la>!p$mBG_GBYuT5vY>g0**s4P#CuMGDV zM@a^TGNGJOn7)n;y1-&61_stqB@{lRplO8oVzn2L>45==k?GEK;`)G? zbcmdRQ3WVH|3G1#oflBjy#TiSoX`@s%7>)o@e*V{uo&z6^QMN#=BzN>L@)vmd_ie2 z0Z^eHXm}pX9#v~cT6qfQBHo1Af3?%>UiPYi76`f$GFt*snn7Cf^Gb!>azSUfnWl~U z*Oan;aA7}5s5h9aO&|C*OQw-6Bep0aNk<+rv8C{aqYqHmBwe&4S}TM3t1yKwf@(!Y)cu2dqHekrf?>JKuV$t+w573;g zI`!W<^}k`+VGuqPO!j52SA%N#H-z(?BH%g|zrxtE)O}-5$W~XY;n)0K3i$Aw~xuA{mR|Jw9BqK%E zLLvNuFR7!>JZaFo6}P-f{Ud~UxTAmV9I_fG2>j7T4WHR^!;78s5y*Fd*f6PG$6)e# z;FF)ae%7tBsGsR|S2-zYf02bH%2POPLS z_3aVgJnz0%2Rxp9pBmJVU+3>rQ59eif`{CXk57?}3Qn(pDXy%=UWQ;79t44mE*Tv@ zloZ}Ur&RSS7edi-)(L=W?dUba&?&C*0jy*Ut~~U6iTVy=DXv~mCBm* z-f(f*sdk?HLddr$_yaQ3oMk2IAJa(JUxCVSis$6VZ3BV?fTo_F4D_ySAseOg|*rUzW<=8T{FWWlHwaQn{2p* zXKe+`rhTQ8aQJdlNUW{zU)HPmWJbj19;DDj=W>w}e+$>qQg;*dYn_#X4yQrkjB9`I ztd-WdN2RoGxP2N@qS9K%$9|VQS*lLuwG#upMw4=;a~^D^iRHbkUP~AANbzlu6Z>a$ z0IWJS!)e`O15>^@XeLpu)B|%lc8N( zA04sgdh#ak*cniMJa%_kc=u2~08Myk3q$9Bo{;{s)Q5?*FG|*XJ{@J2fs!H#p=+#B z=}f~Vkh`r6{Ej+feOx?u^?-1ZZ|<<QDy2OUO$!0@}@eKBp}>h6HNb zpyHW}(qeV<&I-qXcCSCGRTUL!xbx*&Q)UuUj6v(OKrkHk9*w*VHNc|@4Z`fA-3a*c zj`mMMNQi=~&iF|@+~z0=oq}QaC;b5)F)H3@yqX;S`03Zb%iiq|kQ8my`hU>Ue^bzZ z(GoKg$N!}z=KuL-&-}l7vp><%jN2YXe0?Hwhz9V$=kQ1eUL`VRaZW1s8ocs~dXL(6)0eld9(Al2%KQOI#kwWsUr&2RPkHpQOf=0Pk) z&YB`e_uHGqy+UaV{jzP_vL5B8Y{S2OeMcRgyji;6#;9mr<38Y~P1)&Pe~{y#Z_~ed zC75BlxOpAh(Q}!EB7E?sr@c!?-kPiEGZxFLd~j{2jb_+7TbB2%IDTc+#Tv_yQs$tX z%=+67aEP(SlEzwNylc%XC>ea`ku~T(H2R{L`(m1N4QW-9j^4!ivosrhng7F2^Xq*- ze>_xXaLnD>ZrzwEIj>%~fbY~W`WQ0D$da_pSY+Yw{Az5g$9R84)cS>k9iXqmag=0Q zfjki;Ek5c%_5R|$MUrli(t+BNoYL9Y=ZwkcS>kd64|LfKyTMF7;gW6)l1+>S^9;iwH{fSkj6~&M7V_^F=7QOix1P97edwXyYA_%PNLd zqcroHj7CL}A=5WL5O={7@@_%ihkW9rfHclIVuP!~6xpLsXYBnUg1@KP^Fh?C zN#FIA74Zz=Z?sX2e=;E_K(Y0XG8LNe-SI0JVR&w>Ff3unci+FZXNW^zgJV{HP9iCGIMRreB36fh!Wy1;r4EdD}#6_ZI~eO4x-(Mp!YsuWh{^ zf=qzL1K1fzIo)q}85#8wC}OH|Y0O0`3M|W10gPd#69gz<36$j1KwIFnY_U@sBvz~F z?A{G&ktUB+stL+c2(XLdi8>NejfX%#!xO&#b;YWkhSp4@~$;+PV6TjZ@UJoo2=a7FjGhKZ3y@iMvP$; zzMqj28h3k@hOEIS-mVY*I4$%7yQ`wJgy!0Pt$RW9HXlLz#&CyJRyrkhTpef%e&2GF zfp!Lgqi~XyJ*tFC=6~!#KKf*w0er98luJ!1xXuB{z&zN4iq{mK%eIckspNKold{}j z;dX$V1ZU9V3iFuB9?AdpKlhbo*o7+DbV^O><&Wi%g4|-utp?g8c8r-u5tlib8MmNm zfe=meqpyd6>aVj!q{<{Qq~fz!&>qGr!?dUC2j}6UdA-+ro*2HSHj1sX9NbcF(wbEU zx!N=y;H{LRi&)-vO6AlF7V{Er$8x4Xhluh?CFi7%5S{iYo06F#sZUxw=c`}J2IBUF zTV4TgO1{koYf@6?LvfSgsA;Pk)WIt-l;Gyx)4Z*u*_*zId^h8Cs7=zGsm`XE2YETL=?8aJxq1qvXDSvA_T_~<6ZZd6 zo$hnDu59np_(U}|Y+<2-U^P)Eff)%fp#;}hEo4HLDM+(Ts%@yYQLWun(JAW)S@+F& zJX$rl9=4OBRf55`@JT`KMX=0qxOOJgAMR#jZk^sm z-SI_}qwjXH%2bT|)Yz5#5}*GNSMWQ-mKCO|PoNprnld4TJ>Z2ID(K!|@vEUEnw3Kv z5?tvX7n&`F*g|tqual1cGzqBU+p()lhv)o(Z-N~M$D^#GY49(aXcGEJ;yqB36Uk6k z6$D&a09hRh^Jp!asOI!ix;{L7)Gfrw1xdU37F~wyCaP;Y1}G)}{h@+IyN4^=E{Ewg zlZc=&h2d0`a|(O(n2dI+vtwrF3JNGL%r_*aFmsSjBI2!w?)A{@A5#Iz?3iNA*VL*z zk!<4mJuKF|b)wloR2Z2IDU~Zku!n?XJ){{Jr%v` zOeq)> zEK9BeB2^I3IOfQuX0MPCNzNcDhAaUb-rPrphrY8FbozTi1|AwEi)suQnE;Zm`0xz# zmGE>kbi*K&gh^EH?7D226CeQZ985)fc?dV$r=`#U>A^t;p$Df@YC3qEVl53Kee!w4 z#}Iv%1^;gdV&-01IB?VE9y`U_^!>v?T(P)?wVJNd2n^zE^k139w@2{sd=(Q_O_j^0 z`7>{4W~hQ*YEqAQ`wn630XyKW@K_Nm+X>7iBP6*$`<| z3I|KtBBLn;E$^LUVq>&HBkv6bWOieYp$fd%1&i&bn3^aA(8WIkHINeLY1(Y1uLQmK z`P50*3|Ak%c=z!y27%a1XCXx3VU2%4768jx6Sop|TkBO+@w}bR z#p<7agf`VB7W+&S`@eq@jHszHhbb9HdBP8N9H4MY$3qLdDv^ORA`;BZRM^DCKmumR zy{S32d!;)${|vxm{p9}{w3)kfEGko!B_I3?JYi7Ohjn9HQ1!qA;!f74S82+4bZltM zR~s)fZ(E{e;OeR|&&b}v<28zLs`;d;Ma)VcI|_j`m&l@PqA_)CjTXOM$++Vtq+=9f zg^ntYe8-R)3Z*MUN6!Y2!#(-M9y8X#K#bg$UNUIsbY3xFf+g#|cFb}m6dJvpPenH` zJX>3jdaAF8bAM=v4Ci`ZxL1^#IDu0G+461gHH^Nt07KbC+f}L*y|`iU3{Rm9~@;|5vt(*QcwzmW{lu{=z}3?@dpZ zjg}f!*PE!Lov%4=kK8oz2L$gUYPfN=%2m|0EPLwQVN-&WwBuF7%mcB(s(j^O z=S;0@niX}%Ol-^^zJ9uLai5-);S`{R^{gPiUvX!HbEhO#B?6=nRJM)A$59E_G@PE$ zWf$eH0`N58&G&Q>q+`m$SSh9V;4{28NdIZ1b1VtvW&@p^QmvcADd=%u)%5e(&W*gr zv9JQvd)!CEK3g~SYrMSTycvv@mS0NmvsCSso0*BHy4jWx&)HR2BE9RI!R#%3QZT&g zxk^3{=U5DI4y6ZjlUmc_&$$tFwKYZhvi;M5XBI<#2Oy<}vI5RQn1OCfWCxEXYwWVA z-bOL`AF#$N*++Bvrk4r@+TMLS5wpeaId9V9X$_E>n8ZKz{%HlK4luK}3XRHuklDm} zje<*ikerw%%tXPA(Q_F|CY65xbIFfGUw3C7Go+<|xYnccZQygKPk&7SmOI)80FIsm zT`E^*{GOi-&~v9PpI~<{a?59pCvpwUk`xK=U(W!JXQt)G)Ch+Hr7`&^{1RTo9 zeH;`$*_*oIj{8Dy8xdx+??Fy1fb7J^E+6dKTOT$G#8=!*q*Y2 z>B-5?2MiYYjROTeB3@Khsj<6pg>?dq1>3J%_qGIgy513>v2f~s>zwb5X#C&Bj$>hU zr~!YIl(%j2^*muG!E?UPbA3g(_o?SE9(c*URf`^Dobn@{blx}8@dM%b>w|dAnOQs* zTJbdK!yXSg_@Io6S{mteWwc}zbQeRWc&o9}mGM_wrP9DF?%&C1FucGqelUBMi?!D;?~0B+ z*x4^-=zpN!md3#U1AG4)Xa5^}*_k>1zp5Gw)BgwwS(yJfA>od;wEcfV!dVZ(_tdZc zdqcGG*v}sYyT%-mh#(0lMBG6flSQRqiDZ$9)EJ$gupjtG)wgGvm+R?X2_Q)VA@1y( z+FEsWKh+iQy>L0Uz~7fVbbGb8ywB5?fkt+u1Jx>f9z z4uW9Yx>YJSwTyLN9qRzh&DOkC>}l0mYraQd-b;&Ut3GY}=A|5`PM^-y9LHTSPsoq% zWx#&{3xh{Z=-HcH&8Uhu!fMURc8uU>l$LUz_)<*(ww}=G! zq(jnBGqQp=|1;@uc+Ox_ShzTJn_=;41L5ca(<2Y##0P^ciX3uIcB;$S3l0zHoJ7C> zL|cng2E#A!pEFvnlNR0I0!uKy6>43R)soh52I+Nzd^ob^2ODz{Ol)ya-llx-PCBGX zZivUNE{LMR;;-ABhNmuurC3y*=W9uX@hVb-?g%eo$83`l3eq%Vv-=NQJODPoBJ{TA z%~M&bB9KOZI2|U}I@Kw+)r=QjsK7dIh8w#KLgR%_2%HebpN@@Mo205pC|8Ud`|7|x4yPAqDjvsyT+*c23T zY0a^516N4Jl?Y*w1(;xefd-V_E}pUQF?Zu(awZ}x(Zveic*D`NFa+bH=bhzPCkHJ= z^AkV!3zxq|{OtI3eSdbYf11SVZ+`-Ryx!lWe0V-9-&QX#MW++B4s?!0Lo%)$>h9PU zIkR0j)BHg!yZ?5rC=7-7+7a&2n7G-8{|!udw8Lu1Q5DXSoaBu&M&G>c{gh$h^z&A$ zN>bOG0JmsHs|Wd@?1O%rFu-dIC$LWx8H0P{vdLVCM&V}Oxx}APBxEJR*!bq332XJTOBmJwxCTW5WLUwD^Z-E3H zo3g$BPubz@rxG{EJ7wnWnt8v_0PR(?CHYDPOH0;60FgS~!okctbRMr6g(lMJt6XvG zPcDF048w!XsyP2Y4V^x{r45_pMz87O?L-M~?@tg;&3kq4&Z=bN4oX!AZH|j zJuKytwMU(j&usj`=NZ4`-I4Br+|Vr1`MLs;%`1>?u5!MYkJ zK(WGNdjHC^GvrX(Zgu*?kAUH>gtj?LUJjbXKhWkZWu_}4FV9?N-~=IqJN~&Vma@r3 z3g!t)0EaBsBoqS#;?99%EjbgqW@cou2~heT9A4%Lu@va32mYs)HsEtVafYg;-IYfD zIF27;%_(tmLk|PyVh6IKzjY7Pt)}c~!Yr!PvKBLgZV4g+U##aH%a0IjI*^wMuO z!9e>)pq#ZP@l=_6Ga%<-zGok15_d6GTGGh^HD?rMRmVtK`Tg^K;U5q;w;{5}-^?^_ zMxi+4-?Etgq()>8rLqmeagXoTDLAi(W6IipQ2g5OZdA@x;@dsz?CXwY_f7Ghmh@5u zBG!3>c!hfj1+VKu5v{>(SRwEmVH<|-4$`s={FN@Z*AZ}~^yLU3VPzM> z&?G*o%yJ!3=MFI9Jwx@BW1?ZO`6%V*ythTftm4PPT^Y%yt%(lxy@RkSEom7?sx2;= zD=%XJi^WU*O&wFg7zt@5nXG^i@-anc#-@p%lFK)VOeEnf-F;a9x!25`g{YZ#Ti2Iw z-?Q&+rXevaaS;!Qs=@kGCP8Btq&vyYqqaJ0#gKhYUM6btZhog_^e}|bTX$!lE6qgB zKhUORG4=WkG~Qoq;w+*>2Di3glSvll`xBFJI{nW%zp&*)f{kYIEAA?KT%AE(DP!r% zvDFmNwNri~J&T!&-i#gp+TsTkYqS!R1ly zhK3GIq-eT54(?{t>egDJPQIN(#4gNPt)(hrQ&nKz7~DatF&NEoqyntPY#p$=o`;k* z%6vs!(jZMeHou2=f9h|9Yn6I|4DDwNiCdf^$AGphH|J4MZp5E72ceIL+@962COhxh z@%hrx%pBiE;n1y;mSy1m;r#jNWZR0;tHHJ714;}p{-rFttW*8cJO|#zxQ5PvAzivr!!)V$MZbA8EJx9xh8}s< zg%=aO-iPJ0K%@GL#e}hf`y)xNacFMar0=v#x_+LqQqBRo&w#=PKM;40R)DIoTXUXi z6K+Q@_;$feR0bOTUNie7-H^>3NA}_B-q6FTE!{dRX7-9Yyv@8AV=8J#U)Q7edDiPv zroo554+p7i|tCr!Au1a69UePNeBq0L&+N$h23*k#9Ed)kFsNG%FnWs+}K z6OB@M*Qjj``x1&8+w(CUG)`F~5J?2aMBzN`TCe+N zQL3)4zYr;g??!td||6#=XPhMt6IG$f4sTLR3XC)>%`qUH50UbqpPC@=On54 z14>->yb4N8id`9ffHTv|RAJh~*g0;>pia=Y8~{Mniz<}i@11*3t90fKEGVd1@Uz3U z4(HE>>YmU@&{7Hn!eSYi;Gzt28JJ#?t=sD-yM)-la8*aFSV`o)RWMa71cnIVJFoAM7-tG~IkKn-ujN|nBLiIBG?>}|5HC8C|8*mA#aa}PYOF$m z^~|K}J1_yO?z*9c@c;G&6Mo&vtSX928x=6O_=&Ks^?OJIE>=@*{qm6Du-~iI)2=C&T|mf&VH8{@3vT|C+_h@V`NU8Ewfp>@n2Wj4%T9 z9c(u^Spu7tUXnC{h9nB;ZrDO$GH`8XEdX0QOB-m;6MC{fl0SmIs>>5p%^ec)V#D!z zEt8e4x3S+^#2g!tpNl`=ZztD3>OCHxu0p?w)6pXYp}nF(W_amg8P#5KubEk+TVrEmhcF#J_vJN zuby3tx=stDFHSseQrr8R8BgL)3f<@%RW9nB1Q#?HuZo~TWUO*shnuV587_Z!(Y#N& z%-1UySof`Cmj|g z*s_|BvynXYJl*Qv;NVkHN*~=+B`g9f8xW0fmWjtlu=S8uJq+o7NAAb1N#OetR5`vu z!IK{Fj5&$q_~iNwsk3G`wg~ZaxvKfz338D`Nf)-^bde6l+N4QP&*b5X#2e&JGHyyj zeo{dgx!$n}3+^IXck~?g0j`~1Vg*GJdd}r7$hD)~OaoqiZ|#!PESbP3NpY=my5V^~ zaz!uWVEJ!^tkr%QF^I1PMua+YoVsxiA@uu;q++um{!Hb8+n(__II*PnHlWt!-^^kp zu7hm?gTfoL!ES1UKyC<)VWmN>c(ECxDZ0S6t&62xQ%s>br*I*g1{pUH_MwvjH;lUy zk;ER08A0Bxdp-F_(sXQaV6gd^)*L7yvvuAtsM^t(hY=A({;A&35M<>{L-E9X2H#Te|QzQp?Ag~c#VWOt)ngd z5-gIHg0a|YCPIfC7^hgy2Z22q;}cAP;|4cL_lPvR)L!U-rrr%}SVl_I6Iq3n;zQUS zua4)`gUYaOIp-pyAhS2~gjxfY@O|B2i3ocq=ne(HWOppkjpyXrX_!Rty)GBL!X=&` z>_nu>GvJf6%fq3FG>9zXd8TM+2ATWg{&_f6L}OO0118M>=cGC3Z>A4;wuA8J0wn7- zIug41au53DR^k`M;NA!^kHvC-(gs>EEwKx~SD@p$0vl<0W)6+69PL8?|=B0^*#|>C(2jO)=NIT8A|F-R~VM1xEJS$&2tS&21 zW?g6rowQ*VXz=9v={Le!pO)bk;~n+C_6eeyR0q`tl=4W3zG)sy`jeBb=y`0O|41Hp zL`~9H+DYe{c5WDbv2T4avn?tEn>+o&_(L%-28cpsh?t^!S4-;w>L8n5b43zsmj`(Y zV_%anx~(JY5;6EFcgClSz>tnf&y?Qxh?UESoc2tsH&cW}DhIkg%f;(_aUi;L&QHX<|y%S)C#^La| z(OoK>V43w3{I!FASVTDu=UvluS5cY5Lep_73YI)xCqkjXi`DE3gBdu;rkKD0)mX}A z6itu2AgWeYXC*{CtC46taB3hLtreIR8?TI*Rga(Ntw!4H6bUOj?TthRHYcHGn2I&i z06}0P>I&OJ>_}j-9P^RHWp@^HZ;bmUhFL@P00(ks-o>6PfSHD>#z1C<7k%sng;jmQ z|E+d+b@b@%_$`mG{O~XQ;dwuJeZSlsrL>e1&h86EtI9)8>26S|#R}grf2metlqJn;XYH%ODcV z6ATJEx^2wHl=KsynY62FaiDOOE4Eodv#z2|6BjNDD$2ov$#&)92!oxGwFxZ2)me3~ zsWfG;Q8(w)^#F<~bBzd&%;*y+K=45+2M<-N7o=oGgjFI{!P7dTOqyMWc(zdW(f?TJ z2H(q5D0-IkSc}$?=+_OJ2%hPwJ6+%JOO;w};2%mAjRP~EiGv8bt6Zvjp^1J#iA5KH z3i8^_VOxrTgk&tjP-Rr0qx7f(l<}wJR2tmjbybx_f(a%6qGiXM5$!b3kgZ8m?a8|# zg$_KjCD2hK&*1ev;?r%&>;{9PZSSK|sq;p2Q?ytO3@*5Ax*cg86F2S{jLfqo509bH zi}Oy|Rzf3=;Qf^nm@v{6qH#?U%BjJn*}zTm%87HeG>oMD?Fx!3tuvpGr#rOA$|-fw zny^?xo9eUDT zv&XC}%)agTO8_r|2!yWh#wwK6ZM@h!9iz=2+u{_~6Mg24p}XJdv0Iq6l)WLb(OTT^nu0LlVvnMxHRY#SJX(6#a}aj z=B9$Qq~pX%rw0p^DljoO?Xv2(9?Fu#G4Jtc)y~zyZynpv8w9uQ79LQY}8VG6RB1)u5C()Vo~nv$yIme0Zg3ZcXu@gmI&HeUvu`GA|5f71GBRl4p-U%ql_^g!&Q3fep`cYqC1wSW>65gr^_@*COd?+PbtmD9+Xj zz9EA^Wd1H<~)*O?DGv_5)>z|9{*S< zCAyCH+Ab}-mR1y*?BS)L!@0gHM{ig1XxG&4gwEm>bWyAJPn}%)sXghww+K4v$G6i- zhC+))?Dm7(NGn|ARpV+OJI@E@1h0>*2s5&LfMTNKh~?L!WCn&xLypVPJ6+ZvwTbtp z@MyMcqZbT95nmO!c<_6fX#E$m0Co(HMTc&}YqvLl6s^R8$93zX0QYWo+s!kxJ0zq+ za$eU3S{WIYAlChU+2s2{zaGM3OF1ceCih9)wMjV%pd@QaM%FU}MH#t~L;$z?G`cCN z$2Kz=%aW_j5{ybVC9Ak+zhjF~cqG?{Ut_AW~_-%YylUzjHpw-X6*ULZ|Vdbc#aC|&;MH6!)dic)#{ zhl(8|_1i!*{cdJGA*U;E-36>oC{L3ZOkXi=+8*kd7%2f2W3oSyV%QTMGF3R4o5U zk)H`woFaKm-!)Z4G-N*aCJF}h(NEa3Ln<&1w$M;ifM0Zqt2qYW75DqEFK1*TPZ(#H zAM+p2K0@O@Of(4SIi7|4bfkebs+1=1AzJZqq*`&$EN>j2S-5!| zmF5o;H1O{>)!7T0m+rR*pHlG!Di6(6_Afg65B2;{K9HU5zjVaL`fob=Co=f|U9R|U zQ`O^&qdi23LhkDC`GD6R$JnPhcBY-68GO@KP;|~sz%U4@G`fT*HWBVSTo2eg3_)+3 z#{6XY`ROG`Sgqo0QzE?sMhpDzIA`UDF`K#^oIU6frI|iLgiyf^uJ(( zwwNzQ=Kz_oA(fQ-8PcNAJ`4?Wn1IqTtP-R^0c0B^B5#LYZ^alGBPq=G?-bMibn)jFe*s$ zZWJ3Z0NXsD3`(RdXnCkZZMp)&QKpdmWBRCMt@SuggCaG|3g@p7Y@hMrf$}H_21fQq z_7%=d-Qm>W28vR!Hd8wvyXDTwT(@wsNtxMYwwh@6LBOI&y7{Q7FlW>q=$ZOQ4^}*J z2BtzrF^X}ZZ#PRiutfjXokP`9*_b0{ItOGl>15OZludH82N^sTFL+sc48YriYZ3*@ zfh{l?fp$vi0Tk!^<%Jaf# z*&bFqgSXK7{c$$6EmVS_RjHz%&ShL{XlCFJGK?Q~vE>Xjc}ITa#OB7iie7D*ZN%kz znYnNK*Wm~>fx}6dW3-X|L@53Yj8FS~__WKISD*@@VX1}T(u^F2<5KX3gk=~K&|Fs+ zMz=~}>6lKU@5m%*#aaFN{CT+bvCV3y+x6k;bX6f{clnX<_43@1^LOuaI{k?~XTvT= zr14Zx1cwi(3^bOicjBDIqLiUEOvk<7wFB?T@a+aks_Xzf|?2cbKFmGTsIpR-j z^$)z&EZKg&sbzYD4b;31NgZ^&Znnt@QZ|A!P~=Y$_$+b*m<{0vB6^6S3u;SZXB|-yh$V zwOrmFvo$2$Szt1niAL;cx7nJKb1$yf2Ph-Ry$p+tXaJ~`QE42>4AT<}vxoP9%mSg% z&>>B{UJ4)v-$<@b$QHJWab7cWfDG_fJFNj&U9+5`9-?0ig#UXM+?j0343@)2MT8m( znPYY}s@m1%sxvhkyJggWtZ#ku8y01DPpDACZ5VYDeQ!*pc6pkGLi^az&2xR@i~xi#8cQgi6s~^@doNnbbJ>{!)ft5MMIp(5}~U; z`r(?ibALQMN~%yan?am8)4}}I66H#{NLlIT2halMil&Q?chV?yBi=7-#dx-82STo( zv?~@;^=S8eORzR<76|sQ5&3wPH@suwAoRzO6Ox zD#5IS%W&|ci9bq?;U=j}5HZsgR2%Z3+Zys52u(!8TYgwu5%L(E#Vu~>^FnrC+u{;! z>DKCmat<9VPd^kUfwguNeFED zN(i4~V-M5^WhDlBNKWMML8j(#)d+*-VRWB<$DF0lHhBd{J6G(|$X3V4!u!siBI1$O+N*tBjw(HFF$x~* zT;eDWe=P?RG}F(r71owa9DBKb;3)`Sw!b*j)wuUPAQgz69_4xzE5TJL>dhFAjhsm5 zBBp8Cgi!%U=Y`A{X|+B4W@MCl>pTXp#6x^+Ce z3hj$2(KnA&(*SWqU#^&UoU5YpWM&}6Pc zzZ$;+bF4NY2q*F=h10@8&P7P3)VQJtDzZThsA+V*IzsZ~i!_husks1kD=`QjgrFs> z$WuA%+e)|PqZW;|dJGyOleLrM47*K)dGo1&eD~bmCi>f`zj8|(4!qFi_>a?RqX3Fq zQCp6Fn^fLR2R*e&2uc+iIFvCa2~T`8Hb#Y>mlf^SWio?Pyn$^t*)_n^>4#g1m(Gb# zB}YO<-2{;lC9^DN86~TA9PZsC zF2i@xHUW#)F=Ot*Wx|ITM5?RkkJ<|RG<0=$_9ZSMWv$ANwS2tyC2}W-ZdF|64?%6R zPnO56*sJm=A3Y{CaW(0X9{{ZWaQ=!6NN{g$&v>b z^L1&|IOBe3Sq+FCL%EvG=q0Ad`AI3QglZNC@E8tBzu35lE8|sOK8dTjRvyr7W)EaH zy8A4CY%9WPC`m(zIDD{2go*|_w>}TSFQwiVv8JnPJ}SPU`)(}`*`z`!S2vl<)me-6 zG7Z*;D@KY?EdRn2>7@*kn9GKATOO^$wLs5cdXXBMJYBI0Ybo_kj#EpfxZ-a{lg)g% zdp*ODz9hx$dJH%DRt$f6lNuZMsLhT-@dmZ`f~qsiQq5>gNVj@9A?nvJs-tkfpj&XP z%R`fk<;9Py5$SNZxK`8CG-p~8EDD=O&JIIQ76YU3?)y=D7*46{*Ab%NsO-5p!T;v$ z0_}H&2zTqF2AwBt`qu6B{?0nd9uy&3^Pc^|^EMC$yKMr9@s0=mMBqGGO?m{D58bqv zc|k|nmIk$Hc0G>M93+)=+ZQH1NNK9~0R5SA75p2{?)eZQ1q>Cpx5D2kl|XuU(M_i%qO6(eI4oA=Xz%r%gX8}^xeMp@ zr31TM3tB-2?{3ScV3MB-sf?ca`woK5fYd+IBcU0C26q~30>EpN3i7s@#*pZ|?N=w} zsKq?{^w2yjQ_nMsVsY5fpW*KzgJ~x2IV%hf^k}PE5%l&M=TWz5Jm5ZIZ2lSxZlX~0 z)+de2y}@`P69OAFTmppteY0(xo&IMqH&T^)Crq9 z=ezg3uB2Fhq}CJ|GH93fDrzD&ma|aH0rx810`A@I4{qCh9u4_lWtXp`rw>v^$T}~N zJ05OtKg5F(qOSWYE^lulhHS56&%IG+%JhR^HxKR>dpvuR|4`QSJ{fk^DMDAh*)2x!htzjyE1#H2LVJ!-1*#VgW=8{Y1G?oQ4>>45SY>xE~(J~`G zjM66qVQ1gpZfhvXU?vBY{kMi?wfRLx`AhnCtQYtZtD6g>l>XjEbo9- z7r%bR8xMgVf2t(F;kN$NC6kTk;KSQ@@$|~D=D6Lqg%6Gkgc(Wo2F~^ za$<`4N`kl>k!B<}gT#n&19L;n+t98_P^WBrNOcT$y($Q^_@N_zlvZrLKn^9hz^s92 zAge?{jvJF6vy3=Hnm7XURZ{_~c^~=5_Jbd}qlOTgEnw(G1&gw*4ZJ-q{Qq+czdGwYRce$Iu2f+I{*Hx)032)bVJ^-g5k3YQnXWmmbnNq-m zmQMk#Ku;R~Q8qP3g#gUi2ua9VA=mzxz#5oYDo0-&*)XB`no!N8AiQ@iNP-FTVx`sG zfhA6iJ@jF>ti;Tsm8B|e1)*zk;DiQ_X$FxfZyejqW@O73%3C(^cK+CWcy7fCE6ptK zkGqf;#0q$9)I$pfy?P~3)Gq)9o4=)seTfHu)D`sowfhLiYw*LO%hRmpyC-q*SL1ltgG@I_gEXv9d|JO5z5O;gdR|$~83&ZBmLxkM`Id-8xY z-;QK}oL32d4}_{g2yqywc<%gh@N{XgWpn+^EmpO~_juuSiQ|6y;_5SKo4)&$U(3g5 z_G0%a={_n)oEqmEXRUtbPFY%%CK~ahgKAArhJaun2@*Ba!J#@R1?^2fl?nO&jRCuw z6FNA-8mnYihS|Jf`vcyoc#IQFqK~`F968vF0-(P-BAXA&jq6PaINqURZ(zgrVVeZgWv9gqCC?g87Z$qhgNqCg8B4KNuhucmtr)dd(<)9e-`jC)zApQWR6LFSofoYs{%y`^>NoBmE2pwCf>@Xott7cw{ zHll?Z6y}b+2(gTtvXA}RFMl%%SFOSt!<8JBU76Pib?FJ^2G!xjGzBoUHI zwNN|d;Gl!sLTvl^%v_3{0THIO7%kHNAy2Cx-y=hkhM2g1{Q7ZKh>-GyY86EBcEt*n1ioXfLNyb zpJ&-~2bMv~)#WUkvxZnD4PcokA+gcYQxZAcPu}!wxyPY;BZlDx>d{ML%G%D5s_p+uY2+jm3_b;0UisB$#Gja3X7T0}{4L_=BUa2gyhx}Hj zdx$!U%ftsbWfSFYnZh?}>~Ue?Cn>}!*vK9+E)STH_QHs$bAmv*Q$!!}=kl7^+_njl zaZIPk`1i;iaUus-G&{)F?CKWOTz_~vu2Ub8v*ZnpJ|vh?_3s5oo3PYkt^jal>kmH1 ze1`pJrWQ)c>XkSnVKvDZbn%azgoZ1*-u%&Yk$1&P!HIz{-C7l2=1rD0 z;~ZU=Ts{mvWT{ukN&j-{>O0*CINZo@1Cg05kClc(G~XJ+ySMZ_I+Vi3Om{7jmm*dF zDdohA_&I3j6`vCFs&B7nfCX(CLrse)mubd8g<{$7C>`8{5xUSoCr6E0z*xQr!y`Tj zwFTvKoA(3)cB54K3y36U^-ruZWXqYH66dnRxx(-}2R+dwQ&n}=M!sSB(fM&hBp#IV z$r{>h@&;#C1PlOE^lu2gl5jX#S+-7(q$0H+%+t=UWbd^-;jDZ^tv_(xp%WNhDMjc$ zG?Q!texuk#pZ9ptNJ~ZGwOD{R$5tzx2 z8+W3ezdeMX@(f0TUyeivgOx>sST+_~F)877bD; zeiTv!>=z=J>u7U=6MVSBo2OjE1-mh2tXxq~>(~@#uL*fdfCm1>zKI9{C3~zWpCwlp z>8zdhwb?F}Qh((bfCxJo_>{c!i?5ymgzgW-F6-cN_ zaRFxY<78yS#ezZ8{Vr~qk$~`~M?1opzIpV<5J)`Z@l4ET)bLsTq)jE$g3nJ}!aWMx zhO0waX`NQk@yiie&IRUcxNW`o3ZnJ9Nh{TOYH+M(>y7c#?qP3ux(b-R2XFYc+M(>O z!*R;m@w4}UWg8n8$*3OzsXXZ{%W4z?S_p}+uN9igcw#N9Wi6cRn@kJ4v}%@i+Wig! z2Y3e?b4}{M6ICUZp=#X7Yjs1ohA*qL(i2@bAVw$c1K((~Y~>s7vK&xoC+RcI_U|9= z8pmJwl9IKq~MogD1xdA@a1(x+99V%_gj9H8jIb>rkNJQ8|i>5YWkZTn!Fa# zQT2goNAqH)$yM|B5lP(p=|a-jmpL;Bp#H%6fv0VQD`gTlz$@r~I zeKy5v@w!-oseC$8px^+qMi(dCS|}gE9*Js}*=Q|wCriZ!F?@9991Xj8mvM8DjGtI7 zlqC6T_#;;Cex@}J!Oj1&3_{8IN2hcTo%jSrx-+973Yfqt1Lxo{GkB8CNvU`hw|KW4 z869(&LFG6{|5)c!Nn7;_oCXubpWL5?c+Nt(@>L+(&Hr7t+vCyvNh6=$>5HkwZwPij ztveTT;?`sRg`utHiSw*AjbA@~#?`zIL)h^CMMPR3M?>*As6C+%8W_bo#D^~i7wXz#R_BTSL~HuI zEb$K1je(qY!%Sm&VgiO8`CVP~xJkb9xe|R}3IFLD@R`(O#-Qr
B8r+WWo?DpdP zuqRdgt<{|#^EN&@mcrqoK_(3Ofx|N?>p-q_oMAdxNzoTk_ zOCKK(VhCH@CvW2qVsHxWm~U4n1@}VY+dUd~3%LdCo{wxeAHEm0^$+a=MTuf(sqgChTL97K8vbs6PWdGv!6kuQ2ZTotBdUqf z*d4SS^04Wla3va+YccjR`>&w*)T_$7Qx9O&oSyrJ<)D|{UX z>NwQbelj66;^2(!kiDF|lxU+}X;t{poV1(3<7g6fhhM`)JV5l!iNH=g3_QT7cx0pj zd^8Sg7M|R0H%`ThD}B>vx3n*d8AB3-e;;%bEa{;z*tRn)Zz&%(^I5X*u5g+bl_T3= zDFgQtioloxwprf@w&Y4#Gir8=AV#`|?;Z6Vb< zu3m)wJ6%R#k&wGrl^O&=z#P79m*6L?@<+Nv3&g^>JVT-YffK5JLmNA$1kQjHs9r)K zC%25Ob8u|ADGm{EMN5Zj`-4f6h##URBmDM@)zBDhN4W<#nRzlX?FG=^*C%eSn(o9a z>MnRq+bC{2A<3*>;*r2xg}O_8w1hN?(EJL1g0~RYj-?dnugoH@3BNh)3A?8NYI|PXA_i%S~D5iZnmT*m>bu@lzvkvGd6@> z970tro!Q+~nYkSV+~ZfF92gq~d6XK{>D*&P2>?&4Bocxh>DAAckKjS~tO@9(TpyMC zHy%g<2wel$GGu|s?)5qnt72yvYD`dJIYSuO4zrlzDIK77h1>y#_zXO9T?0xXDsY|6 zo3(sa+)6Yz3r{BziiswySs^rzL51DZ9%wnz)zhaA!iXJPU0ERO2Yx$IL~W$6UQCk2 zmq&>IL!D!BK1Jo#N{511(g};veIV--RZtpFCqR<1|Z@ZPctqKyWiZiD*Nl zt}j3sCo^CKxoA$e=;kH4B?pm?b9mPzbw93MD&*37hgDe>Zt}Xh@%A^$%uy|`A68lJT6f=Pt`+;2{omFKu1bHAfVta-XuJXA&yCrjJSN_i@=fJfgxFF<4 zW3e+U55A{bMyCuCYkK(A4dT1;0_*Db)#K2WpQ(&MM^6N+5i;S` z4*OlYG0&09H@8+f&kBzA1koEAGes@>k(`FNZUnU=q3WTuCAJ-yMkuc&wT~cXvZk0#OueuK^Miu)V;WWlWIrk2pZ2GmiNzr)+J=;Ph0{BjQC_;NlD89-zRqS$P_uJ+fN<=jeE;AcnV$B2;U-`fo8!*mJNb(XN ztXw<{?Ne57ArA#x3H5#bL0Rzl;xh_$sf$zc4~mzmsW`RsPCY(4w&M3wZ>43si=8Sw zhuxM@%d~mG)_fI1+&1Vci{D0HTkVR46bwND=$pB$@}$^e5Df>32&5MVHrXs1PMOkG zz$6j%4x`xEp!l&)z&>l9%l*opiD-ITTctki^A=S>7~StR&q8wY(@(J|r3SA=P#uGk zgPi3AZSMo

<%qQd>i?ALUl2pX`y_OgEh1)N_^K_kiTwx~Q$uOyccil@X za_bp`ri2xL-BScd+*ZYmn>S+ib#?J68wwg4V_l-+U{3B-#%K%bHrNtS=}In@m5s99 z>V6ieXHy6>Q|WRHlcN!jA6Fcdb=h$!Uq{q5e_e#M-L6N|_8V%R{Nk1iQxEal+E=(k zCqem9fm}PRqqFemV`GAczCL`wyJK{6ukY}X$!0inI2_9O)dcfnty^Jp9^7QxR8Ak9 zs&Fgb!@4}45dqi_-T(LY<_>+_jf1bxu;==OOKNDWG6v;Xa;ih~;X1MD3L=&m6kuJZ zLSYZ8Y5az3-DepNuy-1Od&Y5G7fR+D%lD`z+q;GV8%A5hWljGd%e*~**;x`V zjJ$C%mDOlGGTV?I7wkx!nh)4CGA}NHZUnOC`i7Lze;~!^2U{Pn))MzD z6H6t^rKiG5rxvZ=FbbvsV%O}R_NP!4C^4A^EM$YXRx|LM1Qna5C#WnVXAB(y^4*7% z<+S;!^x9|aNmB~E_tKryqX!>ZPmS6axN3wO^}jLYAN=@FW{ioI{lA#P@oz(c<9}r+ zENcG8P(X-VCmf-B3i-wNyLj-ap9?eoZ)gB!+y%H}m}8u)YW?rcq|T+WWIvy7;*7~t z{KqLd+yh{&rP5H@Z$qKHCgM(*0%8^VmF3gNx5?wV>Pq*cHP3JK@^JAmG+KtH{if!w z;&K*CHCQgK50asyAq7XXqu($8&LNC>NKSGyOULGOYq;uvC}rjHKa?_mA@?6j$+(c) zLBlZe`$b2A!tV(Xg#(uEsX2<_mcm2Tdyj4CvE~<8_XY*6@e+D%rYZapsFoFt zBwl(RZN|Z=^dFAl+KPF%IjFl?#is#8vg(rh|C2-L>q~@L3Y=gRkgRM>EU4;Y`a=N< zXsA5X+qJk4oU8WJ%Bi1Bn6sCz-M53X%4aipOs(?mX<89Zo81QTS7RjajwSZg2&xSz z%tY4)AOV}=|N7pbqn|QC%d+WhCL=6HD#m z-WE7(U>6$ET|%2~et`2AuaFJW%Y>vBJ{5VY1&j#i94U&n)nL1)%8c&_UqODBkbbq=_y7qqHmEmS zm1XWH4}}W1MF|}vr7^$#eUcO~+e;I*Ta$_{NX?XlB^41G;3=l3~I6(qSv9cA=>dX>&Os#WzY{k%eX*Eg>_X&eh9KE zM#m=<5r>?Bpc!zYrdCg!T~SqpgYQ3)9ULcVn@fU#JCUoyODwHCOfo+{@B(3}YM@~b zb%sZH#QrX&H%l`ut3jjOfcK%Qp?{#eoJdb&8V?`!Nx04w@uEB8uQI zVbbdet+yC!&C>ik@OG27<(JSFD$PVhgsk~CFzcOl+NPnhZ1o7|lasU%>_$Eb+3AV^ z(HT`f%ntR2M`EOR(s{uf39m1tbOr4Hf`xnSJovf8k=p6&;Qcy<>us7=keSkXN&JE`sHF`eTq9;RoFB2e^z1cK1uta|7(UH+o0T*VmF5XRuU{^A$UDJ{c1pug_$9YPP@ z71gN~5jnh~#Z+BE`g$Kt9W%Z3l|&?4B!xLhIGtLxN||h*a-3#fLF}EcFA(Z5Q>h!9 zUg-9(L&Jzn8`jsXzi)l4A&vcA;oams80Z{G_H;=(HSZ}Iu;YWA(NVzUD%5VP`6W(y za@|F$ry%LD)F`LO9@+H$>F+ezltlro@4K__i7cXhJHnL&IPrvMUpprcExF7pKZ_;D zQit6siNfI!QyjKvOp8~_#PA|%)l)Dqo*4&*&H)7$ zT*7xO7u_JR>$9b{F$%gi6Km9>Dsh}7)+DajwWrM^S__@Phd;%)qnX>G`BCwN&#v;Q z4y;zXVFWDDHuzSZ9;?C!2A6;a)siVofBfr0qx=8419L{(m!uH+RGJci#C-#6U{)E*=*OfxI+-pikVh@jl#o+EGUADlwtiD z4o{;?#~oi57roc2L`@m^xSLtTx1+86=Ztsh+8?cs*>2X6%Z7O4j7M|y#36a9z192^ zbH`0io!fa!-&b@T+*5=FK2o^90jxc~ewYhYoQM*VcZ3D6Xx}?DNQ8@^FRA^{U#t6>j3&3wCygo{He)yhjk1CjKwdX)D8LtAJR&=O zk#>p=<7thZ$s&v=(f@cG7lHCu(>E_hFHi8FR(bSqDAp@ zJk+U#%4K9822E(8y1e%)T(3Q;_lVoVpz%<_UqQK;KA*LnEk)+?cKxb z6gm(=g5lxAE*+HT9(`+)l4z4MB+NhD+rehOXDXVoE}_|#Ii<93@c!#+L|)}T3F93BwEo^&#Qq*)`R);Y- z{qpjJv9cwmR82Yf735o?HkJk$Fql8clcZu_4rgU-=$HKlAsY!}7H^^0mA*;r6P2!l z^9OSZ-8@&&ILmb$kieoSZArjyogt{Bn#h4$>G%9i+rZ0CH>ky9y6RLW8$pn6y&5-3 zFP{rmsUES~Fg8wqY3R-buKK4gEIh?`GIsd9LZ9KF#1@)mo|AhB4J!X?IfekBV0G71 z0FFEZTq+F98+*UTRcmmP&PxeYruNs)kKF=BNQm?x$vjB5kpCcXqcLKiLy4HY?izwE z37x()I)d{1)WOGzhAC&$W)CFxyT#b*%~I+TMF*SPP@^2YNqgc^A=&w;ame%Zpe(0V?qkIddTLPzK|gM>0%Ik3I@d z?Z!OD{g`MG;Qp-bsY#4yx!RBDs15Jxu0U_@(iG-pacWa%Yd0jswSKZTUF6x8ZwwCA z*Mz+1Rm)zF9z2V`?byG-a!J(+{-wJAqo)7I9AN#wOU@ksHU~KVSLVRC>IUG7BR>X@ z3sSb)UjY$#60=s7k9nrUqGLAbL#^s+K@J!+SxHC4sm@8&D_k?|BHoxh&{!3Fn!1wh z5~}8%oRo>H9;WD-sxFR;xwI?1b9iS9Xl=ewv&QOHJ!jZf<5%fcJKN5}5gbjYca)f; z;TUxw1=`B>=sB#zf9@)U(qq0KcI;=&n^p9*cvf*&1TL4U+!?iOaTf6~=Y6DaiydUy z>D9QH8RkD)e`f^eoO{uBIS!y%`HQ@?&giT^yT_X( zvq*3tBuUczGCw^YR!>f)DNQv3xoJyhe!9-LE?Csa)bvBDAqmIBjA*L@)Y1!gvR`K9jid`R3FMgd!3%n}?!eDcVZ!E>VTJWk`nR5W6qia&h_ zF~gAyd^fT!;Gb2{k6PVgRI3{N=*6z&I2JOZ88{&|R!QYt*?o8q!tC4kp{z&^X9N3& zIhH;_C!pJK>QktUv)F2jeTQo3f<4nLJT7GB4tDvl@(hr?_E2B+5RAnEy-2LIVy}kP zwb*|0n4lrO%^Mz^f+5*JBBXxx?vL5op;So=x)Y_(05Q*08GsqJB&NV1Twv{8 zha|yXNKPWwn%h8aAd;hg9%aJW5xNRkbz|HiFFk+3QT(uUECF^PEW}0s0axtAh!vj$ zoS7;ss1Cu3o@M2yZloW~PqHxD@n|UMpI{w5f|hT4FEelabEKPyZH5&JV4=w)uJgXb zo5d(;YPAlykL5ZXLWM=B0`y9(7=U$-eHXg=mC5OqAgL(-G$P_pgb85a-gx_N-tp$G z$3#%DOHv2>Lt8s%7w!zo1E6|LvAFg-9xHIKn^b(&MO+6`&$`x^n+;4%D$5sMbO#`Uo_WV-Pxd z3OcYAF~YNN;{Uf0O=pC>R-=J|Vq-t{JLZ*UMuHga&rzXIUg%Jg7M(zz;9oxi!@OQg z)0rAroeNHM(^`m>oLQs>z6@>m#+IQk?tR_r!qJ^dmN6iycms$eGaywR7~&ozn+u6+ zlB;%#T}R5#!CJ~$eLh?L75mp*w6x+JGe~4A`9dIUy6ssb#;}$IT_Hb?p0Gc29hd6nLR=!D~ z&cqNMyz01)T?0T2m8Q9C9F54~lQ{l5Q>hc-phkPph8?2(SMGyd14s*|AF3g6Y7vJV zU3N8=sBS;6N%vO9o@69%(Uo6ITceHa}Ajd0dliF&S2sE>(a3&Cs{3YaW4P5`nalL;r-D^Kh2O3KB^CM zv9tU#vWGRG!?IteIxxGfh5UV6sRhRkJxC8etZL(RnaLYR80x@WpkeeccY`uzh+Zta zk`R6MwWCHOoY}z?<7KZHALZV; zqq+G6%oIP$-%=G~Ibjz!1BQ~Gh#62ea~(+RuY;O)^F_B$NuL#z^93iTX0B0>;5ZJk z0|7Qco;-iScT~nib?`P=MbEk%hgZq)8@xP|ylrL{zO#!7&!RD8eXxmj5c$E^4K(nL2Bn*GQysjCC zH&7k@lJe(lK12g3Ake80&s%}ep2)@4 ztBXv1z0knRyV8jHol|PDP_7?gFjXwblVaPFRn5KXLi<{BY1$IAsI&v%^NGir&*(WP zL>F$$>#5!Jup0GvfvHdu@4a;|9G$oN5{m^aXrKgBAr~$au7o)BC;Iz{D%U_`sUN(A zLtjtGy!uIb+=!@ukXYt2FMS83qU28G0lX%C6b$q02^iSFK{v;)!E$35m5*X~vBci@AAdk>Z~U+?%JKu8|y1#NZkQU}3(~?vJAV z3BOMzkzh)xps`ONHFt$u5Pu1zh5@Sfe&l5w=D+i40u2KiE*-(ofm)S6@9ezN zHt(qaI%$+I*4KK=nA*QchA$srMI)aX96IU;?yk&zISj7QrOTVSa=WlTZR!Ef@t}A8 z<8Q-tHne5eV!GxQK>VmQ=zG#?QhYnabtOqdu(iurwqYtehFdpDE%xleAnY897~#f{ zZB0-ltL1TlXcgK#H2>%4?>IqL_g1IJ@e=9z)tV|?vVB=G51|fwMmoL7XbF!Wjs+;} z8T*4ppcw4h{sV>tF06k1akoR)#nK*xDhdLpN*Q>`>L7##Y0V83JtdKI5^(`Rn$LdS-mN32wBfO6-4t zG6VxUS7%lH7=9DU9003%ko_d2)(c{>?RJkBvo;C3#Fx7hYvTk#DJcs88d$GFX$woO zocp8uzGU6`e)~t&gU3rX@Q%C^9Cr*iRUO``aZu-sN{q9xRyWR zY@YjyNY(&3FK*?^R`$b6bGBImEVwqMA*j-hGZeZmWxT>1vTI<+VousG(jPL+V9wxP zvl)#WTUCs&Dd9#(1hr=vJ~Q-VxOqfMjLv8y^iKWPAXJxaWq834fA((hyu8(^=PiBp zRKR=$^uQiYwtpk=#`IBhKS}Nqzd!3hs1AQ~j?)&Z;P3op0PIa?w&E7U_Z@s7D5Bxt ziu}KKaAr<+uK(V_IsbhJ=loyY!Mn7^6Y#{5n*uk3i*vrQvYu|E;cWM?-$k&3=$ zR1N&vb9wXZP|Au~Lyi4)JPS@GBT(Z)-aLK6L|LN!76mba8ATi9-mOyCu=e~2ulk+o zd3b8rw(I6x_YTylsStlf`@kG2!^Yt`2^xd(w1;L2`e!=|uy;1nql%A`!}n)ox|wG+ z94XL7Z^kH5S26+Fu1PUY;d?R)Q`?J+k3Tb{zC}RDgE9Fw+wU=8t6a`~{u2%-hCOU% zJP0p*>ZckhfYqISQqE0R43jq;L&8B-gFx1XfY~{nUB}yrh5^$c)$WeJ-kN%C%6xt6 z+oRD8dZY_UIH|JAnfqSZvNxu~#xbabyl6yDH=Q2H0ap0C?OuTCP6pJe*!0J0>sQqBk}^@jkAmmUDK8H>Wec zyHy)D2+v_FXC&Nl0Aq}oFxHC9=(QG(IrPHXx?SjPYSY748--mpJYPmXh0Z|3FVHi;qR-)Wg<~pR-Aov zp>$gCOeb#rXula$;?~_FxUfs#%6?-c9jVq31u!D9fhnl&2*y666 za0c=$ZFC-N@me#*CpjKPM%-->_@D_*-)0pAVgvNUf*Phg4x%uqE?@pB?K1rlD5;diRqHXRs@1sN8lLl23udOGzuAYhy{o(@Ca~F(m5qsi88c&L604R zk44WELjIAnsNmKgu=uqo6PQp8C3phbD>43fUBN2c;1#ItX~M>+v#|<-?v4mG3Ee1; zlO)~0Mn`sH=}k@NZN+9t4WAk9q#l7wgHid}LdG_<>l62@6BeFa zUg}gclKroL;7Sv;XNJsm(2hvpkc_|sRKfn%qciWkIAXq+T*N>{sj1|lF_ZP*ei0MFGGtZDRvvtY zON$vqkoNIbsa3;t>!Z|+_Q;d~Nu6Kpf%qoy#7giC7jn(fgPKf`coK4Sp_pHbK%@R2 z#@?w*u&}+_E!(zj+qSJP+qP}nwr$(C(Pdk^lk9va?@9i{GuBx1z9vizd&_4>vx7&L z)5#3I(yWVu7n(boiHV~cra#w>VMH@vIK{EBRT^T}FfU<=(q$D*OY~IX@noiQnCpBQ z#~5PD(w1PrOTJv8IA2mtwuzFGj6~w?;P~*-DGkBtWRi=gJ%O_=*cTPichZxak9+Hn z;f@8rwQYnY&70mNuJWRRH7cQm-UzTK992}3bNZ3EfhbE{3KdBBHGbu%*OFOvAtY4u z%?ZmYKn2hoXi<^QP^#!H7!qsOSTQ15)Pf;pNpm8bE99!7k9jQ)$&F;=a*Bh`Ss)|AFuEdD;lPzbb(5&hWH`Ak$36FC6Ma_Ljx z==3)t4I<>cFb7K(!z*e5NW>L4j@vm2WSLo_Jxno>>3!94nc;TmFGm3jfKk$oY(cWC znNMYbniY=xnWj9)DU~?&Kgxr*^2ocsAn2w|l}5rR0HD%P(9Xc{$7H;EYkJ*qeyKg> z9TiLiUwNlAEAXR^hA%;X5)WOpHhMXagLEZ&7ty;k3p&A!+tr(gQo(PyO>PQ1qp}+2 zEL7iHvY~<%QKyF`sAGT|nf@u15P=RoCKq`J94~Ld2P}yfi44T^5ye8(=x@t21Plw{ z2+1L3g)pnyx4gQ0j%!MptPvn-O(`G~^m;#YmeS4T-4?(=)2h85>##UlGF6i}9^bMf z^M4e~pgL&L)!)@CA56#eJHCr1*c_R~41QptuR^VuW^+Shp*|E~$AJd1K=jYD_Q$ZN z^CBhXP`h&nlUh?Q_6qCaQZq!f_#%a5-BGTqnY`yi|m z9LPcqScZ zfBJt4j953j8`tHUBEPA)t-dJQD?fWDyVkICW?1gUyZN*(C0V8`GSa-24 z+zJhM}#30j~x!wUEiNS-smy2itt;ibObbC{8M@IK9K(Qx>9mBF?S#Ft#E!Z-wv z83E7-4lr;5qM|+!x5(fSXYlXbTH9Q&N_}B?h-VP}pvnwnFs(Y>j;{}w=>W*UkyhbZ z%9tX+89#0sw)jmwj7Rw~fPcjrOih*=0j5c+V`G>%N|j5pCiA z{(bplD1g%yUUAFN0#&Js1l=<1aH8`PgxJd03b7%8PAl!c*@Y9cTWL zb)`7flCOh|)TUChAp?!IqOr#y66?V4)TEZshees0`%?jIICYdL&E zwF+H@PO38b_3j!*g$-8ChhA&-5t?f1 z1)!_ukx@3yl9sxs+Cy*Ujpf!_3I0`S3^kUs3q>?QV&1%Jsq8 zXN_=KjqgCQYfN=!O*mD|zawTOic@gj8E@FT%aop2$E_H7^Qg-UvZwtC-x=ZcWC}p- zq_Q2EQq;G^cPh%~{0_t2t@%-k_K?p~o^1onj!uc{j(8-{9xKw~%IuD!H44%vY9>qL zg0sb;2pgA=6BM>CLlVj>GRQI-Ybi&qE-|Q2TW+}B}=NS$Jy(CI}1Xk+LChGFfGIKa^A_Pmh=arjjEo-}~EoUcM z&5pExi+&7f2<^}Or^-!Rd@N}@oMk!3~3wG$Xo`cT{hLJKi&Mh z&Tfva{tc%OvY7d}+PJWb*$!WoxHYz3ep|O~RU22M-rFva53*lnMaSN#L~wbuY(lk3 zrW-vyFs0Tu5LP%^lV{gn>HN3T;hQN&U8eJh3Y(~B+5O?(w6fdgZhK=>Xv@oYQx+-6 zcIE;0Pe5Vv^5Kyi<>^^Bo43HVdI;lV)g}LYZv1Q9&93S7zj+i(?6oDWV93+nT9+bM zVOt9NS5x(0Mxdc%duePI7)vfYeMcKcxq-nqDq2c?$`&{|A!o;f8SN^owx7mc_veqQ zm6lJdj?Nd#@3Yf0zkdEUK0UwskK@%3|9ywL{Qzj+R>jT~pj^+StGec3zrLUn?<(Fa z_%`!#jN&=5=TV3~@3=9DW{D(k&_2kmj(N`YP4YR*f0G3>k6)q9rGCPodD+#5{+qoX zt%@~FSoppDVQ_}){p7y9e7RiX&?3JvFpK=V@^Z5s(Ts zrwfuN0Ok_^MDN{BCaGRVv)@Oem8z<_qP5UH2wJb~)`X{w6(L#I!k;UOTi{en$Ga{X ziuGSzG1@o6$pS2nY~tkS<*vT$w)Z#1Ams2g!hQ{)jDjS<=H*1^O*FtLJo^mcP_?RMxfj|d#$*_3>`yBh#YwYU zqLYY^npDv_B4j}5wYThK8|GZcxp=vX(^yTEMuaP7Z+%uOLbKg0OvBN8Co0d>=tfVN zQnM}HIz_5-@Po$uColsYtdP~zqRkJ1Oc>N&F+qEu8 z4Qq)}?kwS!;T!5amfwmD`*dN;^0%<`%CIh6OG0YI9o9uT_z_w> z^ofs@#iq%#<0g=>N0ev9S)#*j`Cx73YYchC*2ZT00HeBWpT0^GUb%ctcybU6ib+#$+4$F&E{&v}L(Yh#0UDD|nP$jANlA>b;` zuw`aq4>#-mHd^9plIckJmg}z~V^%~axJuhh(%{XpdBFhd1B-szIe7zEBYai)>t;`V zT%bC*@=v%ufiL9BIHD-WHW?y_{b3fi#>{~zhxeG%h~el<(VmRj=9zvk@3jQl$!Dw>@kF%u8W@NtU z*5)cVAvb}a@Q1}U@x=o6#DV@#w?{z|#ZlE|=+%f}sY8>Y85?!A{uxW^ea&`#&PGK> zDA3f36cGaW5P29abimC5BDP))qf}RKSB+f6ZhDJk?t&Djlp&JKtAnJkya{wS zl}4$|-KK(Szymk=>(&O(Y@FhFXu;PC(L*pigk2+P(w?aLv|)Zuw$$cD`fGivqF0Pnjl;+(jeHzw!09P2SM|a#HV4mRZYw} z39AB4*+JkovW5Vfm_IBMiK^AoqQ!V$(vNNag^)z$u09YK={apa#M;7I^~usbZDBcv z<2+-~fbYLw763CBN6D;`1=PHOc8M@V&`p;IDS&=KNqk%LU(y60%cu(HV+MqAer3-X z#!U@%a<6i)&$IcV*3em+8zTn;p(vqy=EYf!Vat_6)8eYQ*!dg28LIdcYgn^<>4D{O z4rZahnAwyCqzBO+IreCV^$Mk98P1L27NoqmsA&co=IU#}7fxclMyXY`pE$9RGR2eUv zHE2WPBVI@l<4R!?{mqFR#0maLN^7)@(m)b-p|1Yiqm*g`H_V)WL8|f&bc;lynHl() zUcM;{@OMb=3^chix*q!5ntf=9{qWYB68h%4KNk)Z@fiK^V`7tul0msB7>$Co2$(z6 zVxdrLS@}B7&9(C8#~a-@g$TGVHwJeP)_W-_B0-EE?30^g6M6vk%vA zU(bGaK-Ov0zA`wgsHTT~+$x?zje>adYa7VP_q*1Q{cEez6NjRIcl2FoQK`SgRhL|( z{VL=2ej#zkgZD3kU9@2+E1bq>)eLUguiAoS&_R&cIuE~ajG`I^xbt7HQ%_YS z5??Bk#NX&}c?*k-D1FYrbW7=_&py_tY^MYP@<*i`u;`vNOv$1^Y@_vZi(0VcE78!q z%Sg?y&r1)OAUCCZ0It=O^3iiGWJsJiVImLM*|d+&PuSKcwkqJ`;rZF@#sYxJBDj&S3Wu+im~u&M|LMfTA|!U? zH1ErOs5AI?Hk3u3O0d^YpDvm(bqgD|u%@=Lo`u>6r;TkCuOew&!#9f?1H{KXYWWLg zhe>5!3#SUb%r@>-RJo#r_Su=v zm>#OeeX}-ovp!BTqo7u$k&QBcVQ{gMv(KtfX|LQhrtU=C3vqNIziO-Ke}^$WfyOEt zJlGaoY?L@KMu(KM&OY+=a{|-wa{W$Z=>8%&i%{XY&Cs$;i1!^XflRCZc`E#G1S#m- zHGVm*33G3n8yNfsIrP88AVLA0J!O$iZ2i)~v%Le9bi3@5S`C&6#Eg__i#E z+6gXb8y>p@Lu8=qviSmI#JE6nWg(5=lAROfPfu=F1vf*ZB&>Z zFHyc-Pw6DZ7S?Y#;l$~3WFBrDTCC*F`hOKn4(2pf)NfBz_|0Rv&Xh3SCo)y4Pv6ENtvasB2kave_Cw^_iQD z4m8&YNGWk@xmLIsSkQIy+Sp{@oLtviZDMEIm9dzmC`zq`<%h8#Twu~OAg0!$1!(O0 zx*LBhGcRR)i#w!qaRI@C!ZmCH2qh^CP>s;&DTj<%Tl`op+X=tWjr3)U{p>#ozjZDL z&cW5IK@qU;>QH9s>L)!)cTD;?mK!{(EB-A_jV+HVs$>918CKSPy#w{vF zDTOcd;>ObK8pE3HhO`~+nmk}$bFhll-5xCzz3ke~azu^ixxUJQl(;8@4v94YRS zKmB1ptO!?$20{0WwfJ}~GB>Pd3PB*t;Q|0u?qKAAL`0lnKoxM08>8LD%NZ%z#SdpxIXU~pKht2nCd%AlnnVkE?qD^ z&D)hJXD{?P2CD;MR2R8D+tihxYoj|qv^XU{FW``oSgJ~wqPZ=X9 zm7!H?5x870RbxPxlAq{%PPD^eQI>VuDT%4&8zE9I~R8 z{Pr{ck%CLY0?VD?YFg$^!!%xJ$WQvIYig3XGSA@e&9bVs!v_>uRWG{&ygMgnvm847a z%2a-CdbZXX!rFa|*SKN#IYBqu4ffJ~=q~T+^~v%1&TFgNyKnIKXy$opr3)3FIP>Z3 zsnNq3s7Qxc#VqG!W+DnTcBj9unz3_f`%}z(M{+4!=ifBS1M4M9Tj;0SY21!y5$0`i z{q=+=F_!_a+ch=Le)>Ww?;pG3mUgkv>r6L24%#jF_fKqh3LfNKKJVV$yI6}$6)(U? z+)I+9>sJPqfi;|n!1_^Yx=m$ws+MFTLG8QCoO}sg@Gzfg0K?(AT zhLFgjQBKW|yBQQ^j7nIrhV`>lWid2(Weby2FGpHavC>IT;D^v~AGqb9_ccn>fp0_p z)CvqqImwNFmeuBe_LX-XPLVYYOytq}`o^1)G-qVIz?!&hGw9H|G>gXZu3jMVJa;H7 zh8iu*>0_5#-(<=QV0$i{lVzC}7>%~3S{QPa(0s^YPV|on>dkf?Kb(g<-30odCXJ$B zp`E~EJ*CpaS)#+@jGY-mP4`_P(ej1j$LyMT<|w;>+*M?h4MoQHU_rpxPg{}uaXRluA&NJwNxlZU5!Vkn z!Yl?PbOgVo$#IIQ$_S{8C*=qtm`0uBV}ox&z;YDyZ5K4Cxz89%cs(0E-;TFVPd|p< zFAnywdp+OGzUGR``oj3-f9AgopWh^#5IUnBWrfr|?Tf$`qaz(Y*UCwZOi*&QSz~!< zu5z>v$KyB-H@gyx>Vl*trhH5(>5KZsGmeW)7&e0X%*VFu^a>AYij_3Ak-Vov8->dF z@wY*`5j+M#T+#R_HCLjI6J!>rX`?|K9MVP~eC>>8oJit*8Bh4FWM1PltZ)KqXK2?E zja)~2i_%~rPo+bbSMf*U_kFyum12FoC2iWCYfM%OFh-Ksgx3XSgW}K{@k=lCqRP$~`irZaDPFaAXs+FvaiIg3!zo zvBzntCT2YPt9>PGx9=_zAw)-|eU)iC6#avhGeq#m17S=Y3n|thpZ0sc8OyEv29wLS zB@H$Q7uH>UYNwRZpqKQ!c+CDyM@&B7G*HPtHR`0ewj^(H_n&3}`m4a#^MJN;W5Xp? zS7J_-6hw(l0O#Yxr8D?TG|uGL9#CYa2Q3g zOhNS?>0>&vNCquwwWNaq^QD&#Xl6G!VL7h^RyN6sxeo&{CSw3d=3|bIZviAG49KvP z?0r+M5M|F7?BBM}#k@z$Y+%a8b9xOyGQFyrR6ysYNwG%sg;PwR_YgEp za)G%r@J`ga8+F5DQd=hNwJ?Aqop6y820iSaOoW>UzSP0`vE}B*ra)%%N4?X--wjJv zt-Xk)D|CrqZs+8fO9VN-Y{2`hFq7aJcR?ND6($;1e_$1jRuHv1@kW6 zpa_7QKEi0(_3v}eJRjiD3S-yEIntZ3WQwTTzV4W0tiPZ^sPrGtf&aR_*BL1tnkB}o zxzZ^pW$?|@eN$|hr`x*ADD04R2}7AV%GHyZgSvTtI*j5-%jB5L;TXQ6l$asxEmw~J zypNzos6Iu8Mwlj4pWeYnK=x=6Wk5@%D7^w27jicufbse^5eP*E2FQ3>9i{Zs1_msB zkM5(%G)+7qYjA=W_iBo;jZ*e2HQGFJv+crXyZI7p2cko}KeX=H9E!&#rg6=-DUN-6 z}aS+&?Ke9M} z`Nisb%DCbo-}?he`l#e7`^stIRwU%M!r=Fr8wNd{*E4Fk7+(ryO08*h_7cPs!ticD z5mIJ#(2z4RN=B`a(5#GlAfY7r_{usE%^ykZEf{_Q5c~6o_qNP)cOt4`ITCzPdkj0* z>yE<>OTHE}R}JDwXG}CG0Kl^M2#x1}#P%ws4WK!Stb3~mmYa^HhxSDiuKG8Y%Dn@` zRU)%~E54||l4-6G*fx?<{JGz9=VEkBM0D&)jCx5Ean^o1Ue?t*$v1nenBP#H(Wz-? zKF@IQZ2wz+O-O&JqAX^ic&2lgI0wr-q$%))qi;rcA_+_jGu$S42v%h;>6Q3f-t1?DCteqm;H0`TlyB zUn9d4T06|!>V!l&gc{4%+kv=*M979>MC80a=3@E|?k}~75zM^W44=;H5E}$NYB8L; z2(5u@=2#$fZyY!Gzdz8FT(6ghMiPS2w(yvb0{Djz97P^cZO_sd2*?rA3lDs21E}EF zviLed)_9kQXh>^!RrmXNwqqGGp19YX?jb8nAcWc{M>1tSc|+JdB^XC$SkkpUsmPS< z6802Iu5q4wz!5TNRUW<>mSlrsc;jclLxPtAE;x6AABB zp7|AVqT0earVbg&HWWI(GQRNUD~%C2P>~;;1`sB4%a1L)_E|rdSiAI5zu)i!#L%Nx z{8VlVH_{}Rz-0g-!uW{v)gdtrq7y73Px%jQ7iKNO+=qqo z3AOgjWgsL+r%LtVaDKU~QaaVMGwrDZx!T3joc+aXE)BHHe5yGHv@1f^I)z zf~aC&kq!3_u&iRNSYiJCNw?5NfKp_K`l6>q#6gh9<1lYUCc}aOS#s8F1b7ec(>Npz zg9R>4^0oeez^wCu-Ill^l;>Q}1fpsHuph5pGdq6t9LL?O`2lAPZAbVIf8T$LpZ_0T z{lDT|&i{m0oc||yb^Wh67grqB)F+|P7%{>Gx}jZt(q`@Rz?vZ5pD>??Y!awRg2w|U zlKf>D4sv4d;GZMn0RJxM;-Xf0XXSMlGY&T}o>so=Ol76w@oTo?Vl3yc3He|7pZEQP z(^;?H&#NlfZ+TbsJR3Ya?6U%>Tqd6Q-B+`GI|$c!exm3qbzBwB^r~(z z_K#;Z+Y!4G^eKCp59_xtYU6rG_ttG=82CARzH%UfT*Pg8S1+4Ye3|V&{5`0%o!6iX z|ESdt-!|nMxYgH-#rrq<$*a6;qdMWmwRl(0RS2x04LvmJ=~!vc{DNH{&YL6CLq{(W z9Eb+YmY4gL$zA50eJ);#GF_Zh9DIFst5(&tK)>>-7F1GNBivReP0&puiw=Fx)=z|a z$^3xBCiNkk6n@XZXao@$1f?A z+ND%lZ;cB@cN1b%WcBl>x`x(&VK5fvP%%Cgk7-X=xXC{O2$pwb)_sy(idsU5lBT;D z2T4T1=P3*82yD^16dm8myOVm0cnm?1s}>Z2C?}xHkBnq@Juh4W8-Upq5u)x@-3H?Gix*3_m*L@=YbE$PH2Ia_jxy^~bQ^;M#rxfoOVKM2XWrqN*2{Ok^k2TUCZ{MA^jwH3s$X7-lkhB+>dfKpSIQH8*<)nply+p zAf_2j8~oMm<#aAQg~VJHsIc|1UCcA%jI`E59VKWc0!Q<gw~$oipmTT#8<>WuCvO61b^hd`t03IcPCqXRQ2T5lzL`{sr2K{ zNCWt2)js_d>s96EN|;{mJx&+LWe3LzC2wG5=w^r_{HCc4%^Sq069&mYwq^&8$H<1W zz=0OE!cYB35I9Qrhbog9+=y~37RCELwho00t0_Fc*qwJab~CD>@YoIK7%?L!>w(`yIm5xb`YW7bJ0d+wpQQI_F z63%(nqoOTAW0lhy)%QFue~^s8Ku1nI1Pm~g18CL}=r$32DyLy2!>EcCKEi@8%1qOU z|K}`%NL$E7b&ceksb`{XHVlMwb1SO_EhM8 z_y7e4R{^@fqz*7WcIaslCkW(#KqO;vEbdgO#|cH#6L9%GqGv>_bR6V!gRs{P;)DW3 z_#5DX43e+&IY`*wZTsr$iD3Bdt6`3BNG%WJK?pq3JQLx$)$943eO9%)Au`ep(NonvgY%XIP;K_X=qi z@TP%0N6fwMel+=O4c@l0D+!l}_93}xTMSZQ%IT%hT~AV6a3|7T%8ZM6RIGn~DI&xa zjC*gAfyOkLl)lfw@g1Dn;`0<6#+>T%GaKHA8y=&U;)@SosiK5!I~jda=Z0q2qIKK^ zwr#W?Ps}m;_uHm{IdwaAS6rb9wm56X!re6a{sk!~9ai8g6~s#fFQJ)O$GHJ>&_#Zy zM&a)ti{uOIfcT3V+grz-lu>ViE`nTZ?iP4fUDo4Nr%Rydojug&6@R8O_^WmBjfq5d zpl3p^6rdhB{|pH%2%H17B(Pn8oK=g0$tMz!n7kE9I~Uuk@s5 zA?7yyWHMYOCx0j9lazYJhC@%#oeWR>y`=&ucM-@JCSD>@!fD*oWcvuj3r!AHagG%> zPyRFKQRR~2@D0O#GhcnABFL3|pq6sQ&?j3!OO;BQgxW%hnUI7hOMkS;{zMT(upu!q zfvbqodUf?;uYKt8tF2=|tl2dr6`aPc@n!t*bq$h;(tQ0%q4ZX%7|0q>f^w9`O2Udz znDxi@eEb5Tp8P^_sCe3$YPxczFI~;Mp=64BJug9@e)BbS9jxmnT6gO(a8XY|&S9{k zZo5$^p}25*&7-;!3c!|&l>L(n^Gqm2(k!`v3R>>OpE0I*CM_wT5-W#ji%w9bX_n7e zHo{N17ROm}ddr4T!{sJO-wdqyO|LcQNF)Tnv~ybp%eDDcU^SZ)P*QOI%{ig^LgJQn zYWN1npA_k;dkT-~YoD{KjN$4?}e^cIxP9$ZzO%Py6R;c$q()OtB; z;|ui$_+)8>7Ys!kYg@?Y%>~+#jBxQgmC$NqGf$zFEiH7!(V11$F@j-?(K9lx_g_ge zt;4Bp5$qd3WMp2LkZ}=6D_(x&6~IbhBJzBJLc?R46`eqz-vpATUT^@0`Huv8^e|cvXdYoQ@>Xz=CWT+8- zyqx?|4ES)}YVS0tRd@ig@(_1lY{~vNp6cUOH#Wp`*khR==j0>HZYrwqEIGbY(dE6E zp)NsJTP+K@335wuDtT*>aE7B_Ghg8op%16c+2GT0b-YvTQ?Z%T6+blpyqRW%LMMEx z=#Hj38kvS11f)fj^Vr}^%Jl~i5Bf)NkpSi<_q6PdUPZy;FE8|q|L z0{W|RLRM(w(pkyq9e|F^`lk?EmXKqM&1x*`d+(Y>)5Xa(i>TLNlZk0ZDWsL6Sku3; zYX~w4QFdz4wLD47;KM&zT|Q%V;kMDh1LS*?V##M8>L=HocmErx7vs>&#veyct?VRz|PF_ZP)CTNsDM>fh59b;mwKW_It!8mVl517c$)A{q8*GIb; zVZ6cer-@o;>hc)Dl6c}WHzb+Ql|<@=(m5F+3AJtp%dPxc4z};y^Gc3n{~)1R>`~S? z9y7g)xG6n!Sn@Wi&nO~TZ#D$k6zEBQ?y;c~rrf`B<_UzqaZ5~?CpqT_V!5StPXTGW zgg_+v2I5+0(-bDtpAH$9&}>5l*hPaBBFQ5ag<;0$SA3NJ>t-yDdn!tmDwTdCw(%9w z+168lr6cyHwf4&bLUzQ&c5#@^byH6HzB%PLI;<=IPeJ&-W zCG8FVtFf|+x~dBc7!fH5rjSuNCne?Gk-qmzgq~Z_FEo#wp6#{wVP{Dl`$N`MU7nqu zovG$;C_XuT=cl;F|1Sn(bFIz)OAMa5+y=(yG#A2`a(gzsf2!Sx*cGQu+Szzqxp`3= z*WJ4}Z&m5NQw+Ue(n1Vsw)u2#S=D`*AHG~ZoI7bn(FX7IuK$k~bb0@&_V(*Z>VZ)X0Ep|^&x^wL`x>-aAvNYC^~PE76+)j{9ueEWqE&kM8r6h&^S$Z-%i&2&<()S zJz1&n-y$R~=5I^`At>@Do}8tDkLYBIoThg@Xl8Oq9UoiZMQu|i9<-hxCywY{5SSTF5*mWoUzm{hBSbY~sG zDE&3x+|DuNANkASupqCKlb0+h@M8{O}IHiM{C1aB)2p5?Lbk^{srl1YgG6l z6YJh;vk4>ypAcR=e00;iRAWZV5Uc~QtLAdol{|c=NXK*d^2rh3JuP6ppnq4<_y^n# zy_V&(oh$Zz=qAfx=+oK&-3?t9;SG*8LG5YvXP{=q_rLXXPNj}gM_h^9sQP7=N`liJyStf>1*_aFsh*-I+<| zY7h`WBBmPsH`Yhw2516Xwr<`03n8TB^dAgBZJa(Opfm5{VrT{{Zjd<)sGv_VsQo&|u~x3NVHT>2fDi}xvf=I8qi2uGy0((-}kX!no1 z_DRaWw-rO?!|Ml)4)!3Vg@EO7I^`ws7NCG@^pX*Vc<7ny5oN~pF(A=0YSHObETq#=*c)Hv|e zFj}SN_kHiY%i^akgqeUj2Ig!A z7AOu>!p~cxq2cb_)42^~r zTy;x?>$^0L<(i+Kz^;S9Rp4ASrV0qLgHg-TIhg*rIuGahtV{)=ks>0fN+dL(lNqBm zjOcM6=HGc8=WDNX&ghgjcKc=Hw0%-85J`R?W;t|C!6z}x=N$!@7_wubr*XUU9vWX~ z_a;9}TJ-j2K1o;Yj=pg~MK&Z(!$g>zklV4l_QAnGrBjH+hnOs~%5bgWU(Sn6;Y4IO zK&P_EGbRUyu(+qvA!XrA&4q|D3qa;W@R)ubGMJSGBn!>T!@^1~7(CW-W-K1<+;)v( z6nN@+X(f*A`REO@{HD8!gD8>^9{Ycd3(ZRKoxsqU+v&X5ilX7KUf7(fy=#<7A+2B+bZJvedRxdLlJ4@jVu1*x~_ScAZ}SeNlEOz3JX z!_((Dvj^~XbLIe^j=I5dG+Aoq_N8Y^J#Jp-;fWa)f3K-QiPh~?Qi?hCAt zQ{YfYKm4sF%~LJF*K^O~ZHi^IsnbJ!@q*(h_ z87#Uv*vq)Wvb|@?AMdnOEtsUxQuvEnB$PJ`FhDCX)qg_sqpl#P{nAk_tQBf-o5Ns- z$8o4qv8zJhO+2{Dq_fI#x=Du_I0w}s#F#=6GXDZ0)B|RlJj`nV|cd$ z7Zxwowxlhu7|=n2k80g&1rw_#6HUw2w!Acmaw`y*(D-qd@zST8DVgMSFDP!W!@@2M zp|P@7B=Qo`CX4=zvpMd zLNm8ei>zR1uft6L>*X(6Gt#J5Ru|v=%X{F_&-l3c4okcFx9$&j>2zP(=0)kw67kR+ zdsmNWZe?PZzj%U>v~&>Sg&?PuR;r~U%&MuUY#~6r3U?BGkIg0}QDxY`PPm$ha-QhO zGWp`NJs>H1w;<3v-uwko3_X)p-^7^n?CG-X(mqH9HW5ffvd1EVFg9umc}Y=w{*e^z z5yp!jujz@+AHG|{y(a;U`z6lZWB>d9- z!?s(`dr4a8CJ(=3k-Utn3~KC6Pq2R9WbvfaJK-!{2Q&W)eJg%s<0C?zSTDsDbXGT>oQ(`5JHvwt@~-Cx@3HTCPK@Y+4sB@?TA{FoT8Oxn$^s6{3; zDMjsZ(3OA&#a6F%qtND*mo8Y|$BIta=nfDyRrGXE*x0s@*Ps6Vp2j3Dz(xO!Gh>M< zuR@sX(9~NwZJsxs$(ynmk$FJ%b4%cfxGYQX=28|tznl1*;+Fgs`A5f9 zEvBt$b;g}jpK~==aVp3Mi+5)9L-=2~xx$Pc|3fDh*p6@1Dq=yxw_U6B3{Ano$Ko7>9e66y8yWDPqBhETqc8Z^H zbwmQgI3H24w1`Y2rczyDK0_`~ay9LzEwmNSR4E7Jb2UQCvs=iwKB1ggG!DJt?}Ag~ z3`5x0I+6&ys`6PY+xe=i%RV`6*UfrhCq9^*Nfv$`PXq-5)1$BMc;SqC;*HZNW6+jg z9$ohJz@+p@LIvhGce>E6o585GSzh*Truw@(v;ax@Y-Zy4sqxki9%_- zqK+&kEnT*vw)A*ul5Uvu`>yW+H5pZLjIgBU@3RXRdTo_tcBISX8&;Tu9_CvaO2@-}S-k6=N29Qz>B&`n(|xTvV64^@ zC@*eV{(gN%xzyzBbkpS=MrRqR>UDyH6LP3`R(S3b>IEoAV{0<6p|upk0}VBKj@tI@ zEf%#K8I!Q%Et2j8czG!68p|O?1_YOsBm5TuTuCUWnZM+ueuctbMA{}rf?1x5Z#*@a z>7B|)#a|H5_F{es^ppPv$UiPS15R!=mc4?=rJwf@2qT%m$|msPjTf#~v4^tz*`+`V z2wbH^#seDmTDFr!5LHBul4J)fsTKiuw(R{K0Lqe7z6UT#?!3H#v3oBO3W{=IemtF* z9!H5Izmj<6kVO??0LBq=_gs?BLrn%GFwZ!AIH=Bq2}`c@kwjzZS4d#w0hG2Lu9T(L zWj0y~Y)3p~6|*Sb#7G4r1Y*537o22^*q9{bKtI)PicLT6DG#AARm$?g^=R_|v9-lV z?k6R%4|=>XZ2C}r8|pgJT2=NxSJ(>_&;>f|Hz&HA!V%p&rZn5@SmuRk>UTu z%1(6twbP9tzC;Y+;0z4B!hwfjf-hCR4rSAj)LUQeHvobk1DgvX5YjG60Uc-gG5z*u zsIKU0?yS^pXa)=g1m@(_sGFMjzL!sW?$)QW!~9C~Id8$1KY$@$<@BDO}gRfTIb~Jb;^RtE* zpK+%?I2t*i&@$+0_`IzTIMR9lW)CZBMk`zQL+dpW%ldv@U*#Bm`Z*U&U$roKt$WzZ zJMQb_xl`kyfBl0S+ikMR+0ZvhYv4_=#dLoC6V^^Q#EW|gTI)Z6wDSY#ZQa4#h;hi| zjUtx5OzZ6p@+d`HV4)KbByX{iUBQyZCUB^F^K=%AYwHK!iyF$fFQZd*9|_GwgLyz1 zJJqA?{R_j_sb*zo9)!Lw;8{VUJ2X8Agv=E4+xfP2^D}aTynbk*x!+0$Qy*8u67wPe zjI4--r#G}NV>y*PI#AG7))Qij3*+MeY4Zyy>k!042lq1XM9o2y+p_6#yNHKHoYOik zcffCkQ8%46(j($ukBI4!C%pzZM6s zLGHv9Z7FkEQX2J6=O%xIO>GD~*L{+aQiHw-Nzmj1g+Z893b-L<5q~ab3EJnrE>Dj| znGpn<@3`wz-}ShUKQncyzIS!wy>Pda(|7oLvWNJ{iex)Z#X`tv( z#V53(pUarVR=IAf-*CZpkpsMFoc&Zmifv74PI8O&2ZS%czM}iLoq15-DAw!1#!00= zY(DpBRM78K*9I2{bCvyOSlWWz(Ta(u9Qw8QzTsV4qOdhvHSDDvWSVts`2$@6+q5I0 zC7~cs;P|lyRpue$Ub6vX=OZ5j|C;XSi4+PUKc=~V;@e9wu$j^H7h?=yM5T39r=rL) zgP}`n%5Xbw+Ax4w`?k9Jf~2i}#pmc>cQd6aVxV>bNw~){?vWtkzxPsB3N}w#LFMLu zMz2uE3d~TYXe=w{UqfV`qkv5GcXjH|1P-6!Z1h*n|3}^e_MYS|d;>?$8Hc7-ZVGZXQDPzv;Zm|E&j&{3)Gstg1?BoZ zkHL(kS~vaXRuLf{z&!pMLHt-#(hMuQ*#gCKYT?S|d^_?2>qn%QP&t*pG|1=Jj84W4 z1iV(NSqP2%s_hl#xdz= zA3^chwnmW_x6OBGS*viZrNkC<1>u1{MseoFPu<2#y_1p8gZ=dp*2#!H%gG+A_+(pr zBU!}}rPxFW+N+*h%A9;f9C^&Eg@VbM+1+y?b4v@2{)&g(1Cn_(S@GVBFE5s{E|4AL zUyr>vCRf509j_~hqy_c5u2ZO1gYkML%xs%dC*3J3`7w{M=ip93XR6MYCoze}FxPms z=%$E_?(p5X>`p``YIJSg3#Qjw5Icg>tPqTs_QZ4IVv~+YHPcM&lnW7&&|OsB!NwHG zHpf^Yn3+1Y0u^jLrWsrm#B+&n+eua^UZiEe0-?6!T%zBN-(hWGO;$H{Mnf+{*q-%? ztdS@+E1m{%j0E(u)PvLr4j!ke;cHy97G=DEtzA3lo!uMy#5D-90T;ct_3qqCTC1c< z<6Y##ft%o|Vp1{#k8;b=^a00KRCymQPpzJM%(rrb7tQ!A^()Ltpv6@-*?ehKsR}{J zn9OLpEDv*EF%Qyi+`v^Dx{mwqnQtd%QO)~2j+HM7OxldS=jQ&EbM#yHQX~&u3NENFS9(84ea4I9=_0QW>=-!ZUYfem4GAPJ1dnHIC=xUAbB;iq8YCTC* zK{LtZ>gi;XG0UG*lHJMCw&~jGT=Jku%aN$M(miVrk9C}XC*1e>bqes4M<17W$ zH`cyf$G(v}cUeHYl@@>VofpiyrT(LOCvHx5mbSs_QX51n zM@s|3z~FC1de2DT6$Cra*T!3#IL%j|MmK97`z& z@n+}}i*HWJ0d;ys;z2;PB0na?Y!7uTTO^0CWAQ{JimkKgm8!jo)!es)pcYnyHq6Da z3$^#|5{LK8-{zy7xw5~+=&SJfc~aPb`&j+0fm^23h}ErHqq-$Yax<;tCLw0A%SeV| zp7%!iMpCbJKqynLF{NEskK{^Jit>;}$G*nen@_6Qdn?|4jbqnnd3yq4j!*tx?fDC> zkKz`GE6utI;D(;9F0U3-<`Cu8WAuE)M`S6l@K|3_zmD#GC$3iuN!B;z2yO z+12q1Sz6v0Y)q zEhAdVkbTzxjv{0F^u8>u-%8Z^acu7JF3BOsqn1dh;wT;|kA85TJqlm7lTeEP3@;s5 z>(u*Q5+n(#?N%CxJAsnTODKZtlGf6ZD#JS8q4mx>M_1aJ#}q zm{Ohinh&KqdX!gVNN8$X-KrTPN0u8J-u|=bCkzMVG0#$hTUBj+c3w2reeUqO{?_E6 zXXmCwXh=a5gUVLP`hXHv*i7$wroh)ZjBfVC-zNWe@Z#QVMtK7Fd@;)ueo&U+vVB8+wVqoEjVN%{23PRHX zFV)3cUc`kg`EaNHe4R1tM4AR|J-_chvnRs3KMMLuXQx+ZC zYWns94E+Avu}$yQX5W7p>|%X$Hyp3-j#{Ok3?%Fjy%n>a9KPdSwpdJDAOu( zf8u{aAY=VOk-Zx@1E@#m^JnL!s;TI9(p=Zjgyj5qjq(GL;33QYT=c|73at(XTeYU} zTdT-PG44{FxnDvwmW`E4LzUb!2uFM)keo|P*m~TgpXf-Ps227xy^5%hsp+uD*cKpq zi>U`CzZr!d&??@wl>4!QwX=1KA%}I|n0bxho&9)RinT%41#_EZugi3c^-{MrHx2{{ ziJ5GeHBFK7GwrWFYhU+~DKgWvAL$2<{*_hL;P#~PzK_n8I9F4cqH#T$z$q*GUN^0h zbrqv(9$#KOKlOt}?;FQDj*vd8V&`H1A=1ysVz3%*2-~WOq6F6-u6kJjZ=Ce#L{)vhda@%aASUWBeixrLL?pUH_}s zBv^wj+`~|;3zp6MLnV&H*q9qA4%x6SyQJ+@;V-rm`Q4uHe9-siF_z~Ep}cY;(KSQ% z*qIlOlOe}=Jdb1!id8xWis}%fvuZo}z8H(4roA|z+l5|Gd-crdfKN*iJJ>0G^2-IX z#V2#cAN=V|%_dVh^>gi0WtE(gM%t0kg1i&3>BUHHI|b zsXS%NakV6zMEVt;_iYcUcOFV(MBWq_GFqq?jV&z{SrS$A9N|mANn$A+UdO`gt73}2 zLltz<@#)l+my;Pgs;DBepb!=Fj|ezCM}%TsdTp}^&dZOk;|K(Y+0A-yt;z*Ao~(=3 zj=I~~V-Vtc^(#Jp=)0o5GdfoHHN=;^Y1`S(m;8o1USpDZ6Iq0G87cn8VXSyg;uX0- z@Ukgl2}xw=(F-(>j+zW zCI4w80zKxNq-J{Vohu1%Q=e2`YjS6~)I^KM5@)SwAD;U-EYv8OmXX^SQ%Po_h3&v& z-%hZo&&swS^a_3-!E>uz<;A7=$IBf|6m_>Sj+2gO5SwVwOp(xrmV$gve3YBwLKCE? zo@my*yshYG;pL^T*P1WTD(g*e$ z!Ag1NpBRVy#_L%6{o;xY6ay&1WMclfyctKO-0$LI6hi!i>#$t~9@!MF^%P62$_*Q; z2*;3VjUADMT5Jj8_1+KKtom`38MvD*ar{l~rDBbm+7zoa-OZcP{5NJ(F zZLFiyrJU<3_8Ns`3lsn4IITab(K=2B^v)f`lkH<%Z@(m&4uc!(~Jg}&ISf12yZa(GwyC?ru*{a<;cT1j79lbh z7PT?5_J(!&Ca8N^0$cdehp!kL1lW7OaR;2mNg*6y?jLbd@NeRz;D0GjI;syptp2?a z>P4cDm-zxH0>)uCdG3BKU`GnTeq$1(tg1#J@`nqWhGHd?yT4@+EH6@Ori2lp(4~ zF!#gn2i1F6+?fqi<_Y+^{_XZBSGQf3Ss}k_;5VY)e^`Bg1V0(GJQS2F$Usa$Y9T=R z!d@8&lYYRuBf03e3~i5@a=!*)0P)^&dZz`I_GU0!FNm4(unPWAv$L^LMrf!~>GwP_ z9bL6V|I)ff9a?KL8Lw9aO02yIlgq^gl-i1j%t9` zH@?rq?|1L_CaVn9^W>G6sP_!$j!#U;F=%KluadOmOnIBIvPDnE^=naJJQ8Z{Dt9rK zr7sQS%dS=>rqp}rC;^e{6+}zqzY$+hd8NniUW~XqqPH)1*+9&`JQhp4sJDs=W8aan z-rB|0PBIpQu^e9MPX{-1>6f7u9dkw%EAKcSyiW`ei!sbBGq8$`*my2i%=_S@QiZY^ zU6_LaQmS7df8($bYE?9$X!731y3N#N&AO+4Fb%TZ^c}}6DO?RFwPo{5jebE-vOlI( zZrl&z;L|^P{8V+Y^P| zgAX%{y}htwG>>V3V>F2#EtEfh#4R%Ed%KSRZq8FmnI&iTwy;OregPGnlQ%<#@g-1v zbtFhhgxT>4oRhjBoRnb2*Yr?a<6B*KDT5@`11|WNH#Oe2^}a?(_Z@o5{%_GU>sF-ACOADCsQM3!{%0CLzY6nR*vE zusc>S*caK)q56qen=`o7Q`X84hd#YvI5tu@>8%&QmVynQ^^@oPqFmHU!*KrqLd|!p z2I?H*FMnIwhtVqMU?Zv~DC}{kupW|0X7O#KnF3ZKQxc(j4z_w= zeb8pmlzzmZFKHlY*iG)w6qof)d$`W2%Ex##bpJxLagT3Q+4H?-u;bDUMRl;vbDa4o zkB*c+!d;E#OSRqiK0lD0Wfhf7@&#XJtP!UV)1t$?IPEo_QHvKMOvfaZpjUS@FIR$D z)~kLaFr_9C2hHN59zMP8BA*%8MYg%?$;o~S$2eUD?v>LKZ1Y_xw<<^~+Gu4tDqF>& z`PF%M_CiQdDKFIBk3XPsejY)6#Ir#SX-f%a0s??@6R@qfiCL)e7=;IstH%e|vJuMAYo=BkvFm zZwg()WE^w}ilZ=2h%XtJGPRv+VHCG~EI_OJy6llA`K@>$ME6#OI>j{|%vic4a6LcZ z!JHxuVTP_bGGV^>HJ(pX*GXBaZjMI9RYj(4qj^O1WU&^rmDuyzx|&#!z`4#owGy{7Go5zq{guXo8j)XV|K&3swP9<1Fh&AV8dnxG$vYGmA?eP@ zgW@pot4x{6)-Gh1V6@^6HKlh6OY7iW?-;~{NYdg^ypDN#_1dNmM=Yc~ebStX-U*X~ z(3<;oqrNI%&`|HQTqllroS-{c)LLq5rn(|pm5`mhS-SnkDlCv@boX}0eTwBYEcc1D z85Kun6EDk;=Q2t^*^j#$9h@{M2x738hE`#!r1{ z#XQEyRwucvJfRtvFx@il8#xS&DY5q?6HQ88e~q7YSImSX^?-A%JMiS`vE_|eq>Baj z8KPJgyFnJnvY^~;q#Kb3)`r&tj=p-SYGsnCF+_#)1xbz2fs#^&yUDBNkxdv?P*l0% zbJmpWrSoh~622t~#)jvU1yx7(2dn@GNH

D2nBZubx=A8s!7gAoOflpzE|=*(i4w{d$ z!aix8CWvMz-5H;ikeh2It$NS3!+9S+k1la=IhQfI<{5Z_!t6MHZ;_yQqxc=P()osk zbQ!DPszz;vHUq!4LW!Jwlp?wWE!W`yRSAWgs1qfs=}JI%>uF6_V-Vh@ z@cw%CQ_-ZbbX77sE-HrrqlA(9E0m8m>Mla2g1>I-rVz8*Du<9-q2;$83Z2NhqXJt_uDi|ftrjgz?)o=!r%u80ktk_l;e3&OKsHN#ARny@X@^HdkPT6y3+DJf=9 z_?EFg);9DZgN?hkvcPpDO=gnOd!w4+pUn!J4d}2xfWPh7>Z`Xcx@b>(G9Az1@Kmhl zeH8{;h74_d87`*H(-k(Y^ z_F`nhprNy)ThJSsO{g4=-Ghi^58qpOjlGKUc(=#UwEmOZ=b~o;EK?}Lb6nK}X;#Q4 zW#qPt&<&Ka?Q2hNB32C*=}c?utDs`4mbQOPLAS@$4%?4@E#(suKBiHQ(V&3M9NqAF zUre*SKGQ)PIH4qXSfcuKTiMQz=lh;ypU=--(Rc+r=f@yp*3Bra>{0Kalq#2qELM@-wE)Ov^ky$J*PyjkTvFCi9k|uLRv6FTGS&raMrGS&4^~(qwH~Y3M2W zG1U)|Kb>nL>6Cke?S(*~_0X$_J#rAW6GiK~hczy!N?Ad;zL8t~o%}BG^DlP<3{+ob zDJd3S55P+I-WNvnxYj4Cxp~<~zajha?BjxH0a|vB9WVCwCj%T+x=n87tLA%A`w>v_ z*vqUUMUVW=;{BJQf+Uq>M`*=h0jGF9mY31MvRNJU`uQB8nN%Z9;nLPU2H*7iYj!$ITcBA!dKuIcd zWS%jJ_r>2YK0wmN=Ei)qtKIXhOv7FBY4$|P{fUtb!)g5eY;$ZBcJO7Aj;TAysl%Dq zGaDUgZ+cc$YKw3ZqB7lRaO1=(H;vo~FD)ebqCB~dB@vnw!{YwBZgm53^XjHLXf5q( zObvV5;dP8kr}e>xw~0o*gnhH>8B||mql^otc6X5Ij7;(_-%5$gg^5dH z86V1D>M%rhZ)@DzLB29%7FQhNt7$SeK3qJqG0{Oq_nB`0IB2Bil8FPfoA63#-H=km z!Se92@5pMm{=L`?8^pmVm)lA#Lwnc`(kK)`e%x}hnZfG*tknj}$iwS&pS}j;3`NM5 z4cCZnc*l&Xme_0>!pNbIMy^;?4ugd94jM*_`kR1M6?1H_EO*z1QpgHO%jAboV?E zVnx`Nv$p@$rh;2arzf_6fBfh!82p&U(+cz`G!jO@)x2QN2K2(1eXv=t684Ij-}cpi*~bbj2v0Ttd; z>zt4)@V2P0wn}ZXf2X`B?Ok-tqZo7I=oI{co5E>$nkvnGx_tKn!{WiDW4Sj;VBB=* z^M-@Q!$Etejf73jig;{4aS215R>w!18Xw9yU5;!Sz#MBEbrAhMJu=~CuY9H`(lKr2 zXC`U`wnwgYM1BdvUpRXOB!)XHV>mC;9UsKll#8RjeCc}S1LV-dXA*-f@QrXUS#oOv z*T5q7L{P1klrVIPglzK7#La%;X0yU+b=Xz+1G5K6g;$K+ndc;qNs!F*>*r`aq zqc}%^XyY^kA#4xU^Iy9viHKv6GB)B$c=y+zXy`U~0KnbK&>T$Ae zQ*{){8^40SVUbkIi$c18NFL23URrzPYY^Rj!SYfcrUfE|@`Zrl%Xtw7J!*03wh8$; z`NRCk}rT{`7Av{;{CF!aw}W;(e=`!M@xB?vk*xtv;k zvsa|u%MV(4GViOe7APp5lk!kdY9ov6fo>s_ah?R5;6kp^9=>ruq;ob6v6SWsUth#FvAd z98!J7@u0lmCH2(});ecPKTJ%~%M}-_y&AU1tP65mZ2iK4qtpr;cFF(U}(v%et z^)5u*)gySiRSDu`w+k}5YKWRxZTbM%o?L})*4UdH1u?tuUPz=Xo|I{8=T`2M!-C2i z1(h9@W*=sr4;#NPrQ{6sLM?xysZ6-6`ex_pyVq>%@3(cTrV@A~gYHNx(69}7IPllr z@Q58QCG4Waq&#v*GvVF~)Ij4ARXxlU#$bq#_7FyRnPziWw3?#e^&43WQ6HH*g-Z_z zbk(Ms1qJU}n@-=8zFF}ypoKQyb@TPegCbOIvx6@JF0I2ieT}BwIU9T+E`{WF+T|(o zTw|Q{ocrJWNnWW9Y{ceV5(vI(nIw{1D%qZ6)9up0!gQ|$X*OrA>v$kXtUoS)XC&k^ zZN9U+kWiI#=7+WWRbGlOHhBkpTnENT73Bu4JrHv><$8l9)CRG9V!_n6OY@Jp7ON`7 zo+OElq_2_1Ne4c&x}z^%_u6Ja__5C1>xjA}Fdt^s*E*5Drng`ChH{~fLVdW}p?Gxs z&7&!}NYUPc({_ZjezH9_K4IS$yFaT6FB#)sd&VAGF{tTSuoGz0h!N71zV4CdZ~oZJ zzNR^*bU=%kHUvLkV0@i1M&0blYjRI(BhjkXiAHjTIn_oV72{$Go#E@oimL$}v}tt= z@9?4KGj=(a86mV6occq)gtI~fbA-LpcdN|^k-f{DF%@oQZg%>oxz^w;wS_?q|dSuw`kI}-WX zsB4Fr=G3pEyG7nNb#BiZi#D}li@cVr&G*K;wdaDeimF`yPOZ9sf|3^v6+!6Ty({rn z)iM`?Eq2XI{8Pu4t+rAni z#1j1}vA92LAuKZ>hhpYt$F+ApO2MTO%&Xb=wxnBLiOb0yM#NKS$*j6DnJF<~kGQ>w z(SQAnHA+LLCaIH;H_2`UpVTb9~zNzHIc-y3BXQsrn03J)ofo)zb{YICY>)7up!`6)pJrrpolbRuLPzx^hoqyIQuym97v zWb0?i)#8S4Z_#MQ9h1-vuC~Os6$cpO*4`EfShcLFHC-7hM|!|d-g1wJ6<6`G2t5u) zJ=1fZFvAt=m*B|K##Roeee{rLk4f(!2h3dXaJtkYt5d4x8@IuIm03Lf1kq(@Ikb}M zZmReLbd2JN8l>*#9qJA7&&|*XFGOmMgy{#)1l!5D^fR>#mevuu55_Nt9H}ZD<}7yX z#E~+fRL6&~Pd1e?KPqkIWE;0k+C8CdBuzX)AbIgTY|{!Fdf{8s?MKgKleL)#K*TR~ zvz{6r*aSk+AnDc*JKxI9JrQsn*9yIGo5Vh2f-6V+Na-#9nxzf`pPxc$Shg$kxBPWt zke5X;U3N(1gh!y$iH-Ciu_>Mx8&d)Ecv;{_D)R~{Pha3lv*jTY^Hi%}mA{F@cEn&m zs9!X7*!)JeQ``2}1Dc4e{z3=g+N}#{Mb)O%-4&(kcB)%E*!ok?eB6gMBfFRlz z?OL4y?djz1nRlr{PUCgapP2=;k}GE`qwh*jw|vlZ&tus2&2AXFRqnn z#kmf@TBwb2ov3$sGI_h_>P*m;j`H}Z{bQU(ila8%6tw()gcK6Im54o&#MGLh)deBX z{gN^YoBq}$2~`3&duQGC5001Q3fHI)-YUv}ZoFkakK0GNK9Sj!?dV{k>WH!xzt<;3xL$Rk+4p4IV09 zd(2!+YPfn7k+^P9%MqJcSvPCd46b)QR8NII|0Eu#F#n2sDmnm<%aWwMucLeSftC}O zQ=jdkWl3t^uJnc6i!|ZuBu?TrFZC-?cOzaOABVpmUs=`H?l41Pro(S`kA-rolkhYc6|?7;wWvgv+2y$}?XJzApJc?7 zOObUcRmD_aqDxC7p}@z;(!`%|%%l~*vZAsS5*)1Jd^JY>0&;b?uq5gSPWwC0F*wZ3 zS!!I0fgk+zOMM-eom<{1r>2lvuh6r+Zl~sA7QD#LAEj zowD6Lt8{i70=Ed2pOi84U8CuD`gk%tg0Gz_^J;_?8wxF|`wPh96`3CIU)y|zMlA7O zVe8p6*LFv)vJv$KDMleo<(l6KM8!XL1+K(7dmW6EtVvJnI{p$<>X*-uwFd=J%$@p6k9zY0h)UP+nw zhDjq%OR(oTJu71JI+05Cp#K^;HuKAoM|8W?NfVLvLc2(Qf7>b~O@FgaiXMt?yRxH4 zCx_ya8%w)TdZkU4inQn!w@opLtL+rc2(fxfhn*V1c9W7Np>c%@dC&g(s{#^^dM?2$gRz9D!|_h{Y4GdG1X{Z=g6=!kGz3BI zyUnkO_Z^<2%+${C^giG?nh7ziP3xF_@GufRuH#NsV`coFChw6WWwiEz?+Gtu+fKb{V=>?ga4f&G`yTGKq@9y79b@Ha~l(Jr(0C|96&NRKQ|R0gwqfmq~-(# zn1hO+1IXrT;RvOIv6C9`-NMbu-PO#(4PYx3S0^)d3#dLwMN*myq+xLj3KW#O1(i{U zmpzS>qJyNJfa2iO@&KQKB!G9IMmH*Mc$L5>fPNTZ;QwO^i~ojF&QnTGDdmK@ zC)CjYKq>goq;j6kIRJ+L3o!qZR4#b%`8%jwzX6q#?~MHKsB-;XsB-b2vJ8CuAu#s( z6RKQ)Mip`{+W!9)Rmka>pE3Xh?u+^(13*q;|H-Qm7|j2Nv*|AxfE$JpFcIOXa{nOf z=d6O9!v2#~?sF@_|5sGGPg(IhsXxg2Nh&vdJ%SmRd8CBlD3sv6psPg^>Ro*|N z%J+An%6A@BzTcn<|2bc{to_aae18|JeCJW+`wgn_pVc}~D*xYwD*t&@`G12d{G|Cm zkotF_%6}eJ{@ig3{*m0j4P8zcP-n^unDdA9KTqzTRc1j9-30FghFOO>I@TCX1ourW!h6y1|G(o$9dr z_jfpR0`K2#m{T~_&<&}8-navn87Id%1q?PK=b#4im_SYJovhA!^L;WaSwKz9ffOn* z_vwiK)QkRX82zvZ(Lpy@d^wXgP9>M6R90^hb^P_{|Qy+NbML!Kr|7;R& zgPm3SOOtS;>@4+nO>%LdbA9j4f7CjRu(SGqX&r87ou&S^bzXEXIMyJw|B?{6(R9|- zuY{aqgx?Gx(E5Ky2n2!-fzPGi4h`Ho`b(PN=F(Z}{}7yiLKBQ*&szNjC+_pZ`QOsS z&4bPjmsbCbh2i$jU(y6OfX-5XN7H}8w>r40 z>iAg$ziI#9m{0%Zn1KJFk^D-^dFS>2a=rVF{sD%o(SMB!T#GqN{@tj6!F+%|2v?;3 zYb^l$j}q9T4@p(GS*(vu58my~kGBXJ+%dy7lCjjB8kaS31+{}_!`{N=W& zG`41tzY0sm6o;CWEIB!Il_zP7a(Sc%njJ)^?Y>XjOAaoRbVY(|pB48>GwfGhu!_I+ z%vY_p%)Lj$_p!&u`LRqSr;vP0&G?qx)3nuxTbq76Nt1MP3#h)lfjKZQ>UTKKbZnTO z`JEHQP24PC?oE(_l&-q63X6o2k{p;5ZaGR?xS6@yI76LWsZOm$kcN|{qYW%D2n23U z`2_AchLs0g&o-`ZPzh@jAU7vS(d6tI%mdQ4F^5{a=~HpTjTi`^3Ul#uqeB352Lh}| z5V&pvM48}jKNx9$_=o<7w?C%A-hP|T3DgCjP1`0P^Y589FISPQIRDs^Wj3Ee+ zgB#GMfY2)y1a5M1!W~82uod<@#Sp-G%*D+G3ywJgnA$j60jR`fd@%}vm``9RJVt~O5QATuWi2NT1e6rG!p zKNv|}Q&&k_2Vf*|onIO0w15AcYdAT7a19S2N?_N|aruG#+4!E_;mC5s9i4y9!v%~R z7hovE?i_$R3>(FNe!+A9sGSce&j$ojc!9MR#s_>r4ZOfa;02C?;)Cl>5I}sMwGViN zfX{%_m=9RidEqR>2aGSQE4+NL!T>YDqcUfto)v^K2sdCx!E$l~>jHOJDWKjzFy3h(?k^edy#4rJ zFrK9i$kHD0Z-89fouC%xruMEjR@P8-e$F2s>@6&z=lBb5lm1y!scUIT$|wU2ruHj; z{Ufmi;rl6;xH-=F3vjRiP@P`qAOVv9IEnshPQn+=Ka;4WuB$1f$KnQcFmd$)bNnh! z|G_-qh5RIwm-~!NK#TyR$?->Vaq1%a>rwlY-{yy)`8UJ`K#jeZodp!+>iYfZ z{1Cy|_s{)TkkwYcp#Th#y6&&N=Yl)EFD}wI}hgi(Rsjq^(TIXhdBSb=YMt% z{*ZG(W_ioVKolmgMRB`OAQR-(vH7xp!{70hxQY zSVCa_jPFYY3}SA+KaD-y>GszM{PaAYBK@Br@O_E+xfGlm_w(xH4-jsMNr)?|!>8u2 z7@Q8-Z!rKw!cUFi90)M+_m}_BVX6Phb*_eUfC7RQ@ci(?<@UK80O&k$PbyG1Hz2Cv ze&+M(KWKu9X&41SF4$n5-C=oQ&z!t4Ul#}b4%04R-+=sZ3b+7mfD14kxd4L~_WiVe zZcg5F5{L@?-J|tak_VprUupyYhAf7wX@8#R+A1p25_&A+;x`l}!MuN#bKIvc#orD& z?>T7W&mSf_@cCbp!sjf$AIzw(qoRI85zdUiP<9$}_`M7|FM`hNA#iES11z3D zxq%y4Y$1R)0K0f$p87xV*Ux-Eo`7^tV9|#Fn;>|3VG{!O5B7x%*!2Lre!K%`@qf>W z4$J+oT(JDG>$Fw~7biL|;ID>J%mdWS1E?dsz(JNgz+NDjX3GoMV6ZeUm>v%3%CNlL zFbxNA-ow5F?|?D^)9_&Pfg5nO!)k!n2Bh+Trxn%~j5c_iK<{ABu)GkUrL#LHQ0v)u zIE}D(VBW!=VJN`!ar2?W@4)v{EKV^w`vz+pRtA1?@ceO}z+)PJEec`D|Lr^h&U&YQG16tG&U@ZY$hJ6;&+ zv=*NjQ6eJEF}mBDW1>ox!2Y7)-Dtft`2LH2MN6IWn_uQIEDo>s;-R|>Phh$kR3Qj7 zuOQ)Ge)2Y9GsvDk{nGklfrhteD_<@+raE~e9^h=?YMbJvSeqzMiH?~dQ}b&N@k>!n zG!2{JVLE=RK_7I^B8UsE7I$vsjAO{cG1wxU@i63mjC&|K!pbkfIDzCgc1yUq-1c5k z@e2A50>7m0!mkGCdCB!-x{9ew>nZE9Xjtg5Iha7LO@CGHAgAMe&I&!AXDPKhBg>f&7;% z%DL#wf2`(nowB|gV9?r|0%j>-aq@%2oUEK2E$q(e58(5A<^G!Wxj4AavwnPwV;~1+ z$fno57YK5f@)A|pXYxXohHHr~g>$)BizZMU92_}}*-XvH?99)0PC%Al4d*GRIvS1h zHw@>$(%6-+``k!BMB}HdsapX2)eU7lm*Hae!(BH6;YPwC4wcEzbVfy9)n6H7K4c`k zSFEF>*E2hzeM=D2($& zE>>Zmh663SnWm>AQmVu@tjhvHUwV)1U8>T{OJ;9+iDzSRyLYJHjHuj|3Qp?%LFcdY4j!`n^Aav5t0JMH z`eWXi{5tQx`vlL=JD9*%`~AG*_&M!3A&|3a2Ux(s5(D2acgn;tH_&-@J~P8Oe#r^T zb-pCL)Q`#WOUhZTKXRP4!UqqkoxK5f^q;ENccE}r_U9c~lup&SbLD=f!k&I<=TAA& zxd4X*`~s|5F1ST|ngarJ7r}RyKmax3hw%7O-@o3oKeq@gc~<)D{--?u0^Prq_@&?c zfOq4^xcxEp?CnQy{-QP@9aal06}bOVSiwI3wKEK^==_(G0`~sn<#e&U3a3x#W#KGb>E?aS6&%Qnz z;45O|1U7a6hne#LY8=E6<|emtqk^D=#N5na+xCHvz>a$pXITrF1LpJ<)&eXIRumm1 z2W;@LF%tu1xCOu}Aa$sPgBGx_g9{y`Wa9?I02T z^wcd0_fj&!F#r|~3ogLf3}4fJ`Xo<3d}oYb7Z#u|=e?^EXJG>fA2;OON|UIA;j8{` z@`fx~bl5vJF4AT<0hI(7D+;li^4z;@? zz=uFWkKTzEEcH&hZys$#2J0~+vsU8A-tNQ#ks2S5FWGbo6sf6=x8_^vR&Nk>$sc~~ zV^zGF%+#MqVBXUmbG)Y{_584Bsdz6mqbu=ML^8WhrV8VGE5d|c5OeS6?GMjZ?=|ea z*;_WZs2W0_%-GYE3f|e#INaH7Sx-D%1+yOGk zG3aAx6nMw7&N0RTvA{__^h?1WSrRMwuW4-vXwjyEC(Z6js!KH~^eBB1`ds|f<-?0g z)S|xUS~L3_Pd_|=IpgQy+j;%|CR+Y6^E6Z&-!B_`WX`~{< z1b0!&TP#hNUJN1isx0q}^B79pAC8r=9}aBEuS-U@42Wl*=+Ux$k~!qvqDeWQm2un9 z7vYNznTn$b&AyHpIfNBkx2i;{O5o-%fBRx1RV-fQR{BFVuW_t+vEUmGYbyq(N&Ti9ja%Y0?y z@?bAb(;@$zg8B2q3wb3q?lqsL4crx%3_$V$<3(9-z7`NV-PAA6E-SZs(uC=y@>pY2 z^PPsp-QX&|*N!p0wX;&8>_Im-5p0_Zsxl4gUOwo@H}RJ$nz7N6i=vy_FwQSNo-)qt zBiI{wF+BY)5^^HIM)#Fea%SP_E2atk)jD zJT%!0i!l%@K>##@#Rs(zMwyA4c0m|h`Y=i7GeuoS65L_S^<_OkXk_qZ2l+rp?fpm; zst;UOH1K_&P>QQiUXq*^Zb%%f`S!#=KVQUzy|+^U+U(zGkoZ!Ko~>Z$b2EPcMqp=H z+d%W!EQ&O$H+@^Dz~~I$<%YNrwL$13r#lhj41Q0VmRBwp^uI?cERfwwV!n)_xrgOK zv9$A9l*CRn&&`dUzI}{Lw7b$KEpF7tt}x*i9n+InxFclgSC7^#w`J7TL}H@CO~UJ@ zTktLo9=0=*ykALXZ=fsyf4U7WhRDWp?7ZXtba_8QQ-Uw0Q@ca{MAk8Ys5#T3#e9(C z)|9ih>zej6Z>>7lhiWqSdN1OloG3@W&vFU-vergWkmOA)gftsFXS2Xe(c$5~=h5>IYE8X%G-M2D zrgp`;g;~|@!Lj{BaZz?+MTagP`B4`yKM=JWU|iCP(I0l^^q$c`71|o=%<-j~3*GW8 z9M+-L@{iY!VUL}dk}Eg*XfYsp9Nud?9-xUnMzqaS(x+0&RXz`#l~&w`ec()keHoKf z#@WuiEobW}D$@wnv1xjEK9VDJ@Z_=d9GW%L_GN;>PXUEnBca*1lzgMw?U0k6-0c%B z_h$99c3b9*UGQanDfJXZB>LmSa7)9cAurdvpWpTCJNbw1kTw@DD-tHX^(R`ec}0P| zc7(y6MM5rIbCoWK>Gd<-J3e1A0_Gpw$Dm}aObQGhJZk<}H`$6MKzG{%lDbVKf|Dhs zP4~qBkwE2J^V&V)4aw<%{NEh0bFJ+klEQ!a2M=C8#)1wxj}F~3$SZ^rZTsfc=bT$@ z=0&=mI%}Nw^8J{;1}hkfereNbt|06~)aqHOsei%anI3qX+$J7RVU1rQF<9$ZN41f- z@Y%wnYkkul(=h?~z4$q3Y)2UjnO#*e^Q>uTIz6HvJq53tWH?H)H1{3JX2l|^4z`hQ z%f`P^`NqXz+nd%=tTf_tXpNFLYr)YOp4x2b7TRUGc`fz2)Z6ghuNpzhS=h8qcsJdO zFiIww-MpwRxxDfRO|F%`zr??Sppp2YqCS$=@=5Sxo%}+o>6?s=VTj+zcQwEd@%z4p zqxF>0(OT9%tXTL)?l#|q%M}+G(k1)(b`0{{*E|UCloCK*?RcevD@)g3q(V*d**Trb z*>0^Xn(wT}^jZxZ4-1wn%AKGv4SL8m?BDI~7}fj2GEc|cWX+V%oHW_bv_j#QOa8F1 zlesDTg-U~4o63PZq>hp<9j&$H1y+5{v)9i$ZsdJ^Hu2=uv zYC;~oa7R69XsFVD)UNKj*>9@Wm#o^(@MW&K)%f2PMEW`Y>-F0rQB^A$E_&j zGUMBfAEm3WhEsSdNQ}O<4Se&^D)VrTlD;30&Mzw zgRFJ0OnKv!Y0Em|k}IoBr=t_e{F#mQAKDKXV{UA#&_ozaZfq zkDW$O(WyCd6Tj->fQxj2FLBkFmo+6LYCIRF12q3D=c$;F=nV zVGI~RJ)ymJpWfzF=Xu~cA<}48qzgQAh&cPKfq#=2jh zaYqoN5?cza`oS*zFl^?KB@-+5^_LoB)h^utqzq=Q_~yiK%5yYP)m}9&t(!RwHZSgb z`lq|5kXsJXAjcsy5GQzvya~U*eP6Wq8O`(dG@7@_8ymO>29l{LQs6L9{KQprw&gHo zXHa}n&S+YQrb}LF9L-wUuIP+hs*#oH<+Mbj7`Cagg$$xgs0@qvLKq@@1I?WZ%h65V zD^!cq&IU6m4g*)QD6!nf42kDUgR;POtTmQ_t`3AM!S;6T2vHvcUwc1lFGZ=9*EQPP zdAuQN(fu5?|4B}6h*AD-&vsjoz-+OhIE8L+Wo|?5Ds>?wAS3e9(X4ou2ksZ9Yn@2W z;Uc(=gzng)57zGQmuC1czwRip#AN%1sq}5B{|US4rLwCnQAWEf22q%W%jjRq$HWx2 zlsZY`Ufg?s2lvB;;_@;{p1>_@dM`!xw*+E#G?m@B?410*)q4vGBad?WRf^lyy7h{= zb^EQD!<{CQXT3i^;Yk=7>6h$3Jlu;8vNbK$>~7hOU$a&{sTr0Kwu_!M0evbVsCjKH}9aqg_0sw*9hr8$X|G~Lsb>1BCw zjJ1;##Dfb0WjEEe@)&D}m@2b2IV5@ecyU4}KU129Q4%*=4$}5W=ovX}kB*OhNr#H) zZP>eV3#8_LHLBp2B+EXL*o=8Ns^n8qA+-37t0czC>LUerNtr)Z=p(d8D-0AC#_grT zb!DG|Sp_bhxI#YI@Y3HDymNfaZdzoz!ts#l^Gi-TjOv|31Wk1dCqW$R-8!)LfcNv4 zN-r{M>gKv4FsinZLW0`%r>;siJ#?a2y(YC#w!9->d`Qxhl6b43Xh;K%*@n7(_9}gl zRKacAutbFb?s-=)IWIYzoNLa;ckJ-w7Lwb|SOusgOHkt6Rq!7;jd0(Icp+{VgJ7n4q zGU1>+$Ar2LS>aFW8qrEaOUonWD|(CcqRkQmWyMUQm*2|cjxw@>c;qZCq)2<5ZQYWY zRI~45Z-3Cfho-FI%^A$}k=_`Q&kKhyIo~Heh-eYNPw>GgHC@(3-kzsubb?ZbQ_l~t z8`U#1ch3$gwQxy{+@{grkX+Epp`|*~GPFYqd1N`)$1&Yj1W_aBW~#pBsIJEAH}gIT zH=Jf`NOB1aFXWX^P7Yk?r5V*x(=v)3EfDtpTs?fp`dW&l`l13Y8$rfH(|83X(NRgx zN%@7R;$6xEO!m`?@Q6*XRC2* z)ll_y^hmrxT67WJ?p?j@h47fG1MfG@Zc{$rtnCZ(%Xxn&n64@=74SG*Ix1`lC(G`B z zK3LSH&Y(69XO8P$@ygzAH_6d_MVhHrU*>bT3T%JcxK{sFWrplqYv2Fl>@0xdTC;YI zyK8WFY24l2T|;np5AN>n?(QDkgF|q4f&>UoF3I`lOy-_5bLYQRT?OCn+Few$zTUf^ zcfIc_S1mu3gv1mOU#H|Q8Q7>ci<}CDnHpjisk0r`m~n6JdT8u7y#^xEhCH2}qy92j zo{I!CA|Xirb%3(;&H}xWBOw+MiX}r;{YB=Sbqrw7@Q2p3TAQVDBa<#fS89X6alp(4jFWm;JRB!XvKz&FF3;W{?ea6?|8tr z%O8z}FQx|ojli~X=6*P>uoT9Zi@=ILIa+5!GawmRC!oaD@xl7@N?%pmDm36Qh0VvE z(TVB?qijL>{sHPyk(5o;Ud=C>hTMmyQwi{HIwvjuvBh?n=UWxwcRwSuQykbjBWOLI zhQOhSA6&_-tr`>(>syV>nd;MdEStrS+z@`m$zJ5?!ST~)B#$KMcrvm9#nns#MXz7i zNxU%mQo~brlTh-RD&teLIU9+|Uei)>I-(rQx2cixvh=?Y&hdYsn1AT9COwosvv>BJ1PHM-bh zgdUvb?@Y_<%7I6_j}p3jJofx0Gt#mf3B-+8g+~3aT`!mTxli3fmeYZ*eJ3vhaMt7C zp==k8`&9F}bOtg_g$e#hbZSD)f{5sTFxbji13kt9J6@Zn?xreD$q3d}4`vHA z3q~?jm0uF7C|z0-XE7khGr}Z|;VaKom&@3nHuxNk4N18_>4d)Mpg1iF@;douMWk9z zKvNHh8J;dyo5o38_DDwdSY$;-iV|a~9VJ}SSD1k;JWQ}4P$WadZ z;}oq5X-`!ujk?6*r6)5V91;iO$F6dtFs1cPr~IQlq<2uV6!Q#{g&U@+iR^&8IY@hM z%goFHQ5{pEEKI%`M%p|2Fa-i73IAK9a_F$(pJSt*M}jt zs17%FUi#y@k^7GHwcTM@FdsW_lIV1z)zvGZ^9d&=hAvOL7XTEimzP;+-K}m6dBtQxv z3y=fI0~7#nZ25lxr2)Xe3Ge}6_=YFnS|R_0l*WKxd=&79)@%L-ZcVHJCT~e6zeuH- zyPcV_%^R?^d;^x&Z>-YB+{PGS3wRT{0CxWXm;as=0~`R30LM2PYy)sKcl*UR9gK|u zPOi29XMhX972pPN2Y9^kP6yk6<(v8&}ULc)OmbPI}ACW3;N{QMs4Q%>otK%w(Sx{d1HOZbE}3H4S;x3oJq_NK!aU4>84 zmkc#Xj>ClVHL(K01_u*}I!Hz>hIwA0!bkbFmt@G&B z)0`(nhJw-tTA5%|ZzJ&<{4_^ojMv_InqcpK(qN28J)Zbr0?iztIi|sU!91Rp7D-~* zU-^E+;3F0+x$p557!&yfkO>lVDpntyv75;|)KNH787yWKuxsQfKEqF>4Dw_Zq>zs? zC(0X#NltBza*y%>QvHbVyYRMS!Q=TxDa#7qIa7LH=GpTv@Cx1+G`yI6@A$wo?q=&_ z{v(RKK(-!o;vEvZ-NdIYK~RV?NM|^F*8BM_cHz!oEqGq08%VzJslB(C3u%Mz;8}BY zYbYx)uUM98=pvaAM+?Iu&x#QYQRA{V4-#2hGaoNGQ#?lqLQ*I$5l`U%`KI8*S46ZpFX&qC7obYs*m=?5@qJM@WG5Xy$=c{K-j3fcKc#eCwKg`p} zNT!i6xF-=L&;DL{fPdAZPKcLNmsdCFWBth5ajR1+lT)?8iT6|>>oL!pNF0Vy;f#VC z0eb0kse2sv8N74Hd5IY|=x8ke>$Ru*C7eNIElE&pLn3VHK`ywRt1R=W zQKt`vyyla{sohc1WZY7YYtc;3?7NTV_FSPUm&q%&xGstLC^>T# zd0+{LfV^4sVDU(%-%MLAD4jn1^_?L3F3=7sg`5w;=ZGmg;wPl)M|_vEJIYOV4wEJ6F}{Qgr76ir~) z{_sb+UVH}br~sImGm%<0hnTh9T-)y}&&J?1uv=hv4fOKe{tFBex5R)t8d?f~Ip;3vr|&<)865 z+9VdWwWp0SbTWeD>KIo^wnGEQ7nwB9H(gE8+N;vI9rc+(aYAvxl z)$~Ki=Uz*vw?{O9hTHWzob!6tQXcj`kqn_{i!=_;hx76|rZ{NUgf=Js+A%ib2JaQqk%t%@npMF8c;oaf2)1W#K~Mi~ zqg33I#poQSHJdmkFV>Y}dXE$Ml*nnB&C7BmW~B6)`OvmUnqb0_yEbl8ud5%K|4G zv%9N~nv#iyH)Ww86NzXNV@f3x8C>$|*Z#za(k_BlL4g`xxnt}^)TAUOa1(GejW+Ze z`Yub2obA0rJ- z0;mg9sW^%_1m}D}-EZj?_I$1xVR^3A&NVOM`4$Ya%Lwwd*Gx?zG35z9^;p9+T}wZm z8650(ptO^TE(ivwNXdq`7v%}3xpUnfsPb!5+fY8brY!f${r#83M9ufb@24zTrUlw6 zz`x&824o?3IL_yO9!=^I5KfGDgFPma^HbI2u`#CJZr1H{+CL30<6PtiSg^8?Y=8E3%Q zsIZ*r=5j+ec*mQ!Q`r2SzgcOf$F^6P=x}wN`Bj~t`IQNB#tZHl5#A0Fk#@m`K9p=G zTO-paewIF0!-}T|&k~zvwP_wBg@at{#<1`}Q8Q9>uUde9Dp1%Awd%+8*m}p|9rH$5 zO&~cw7rCf@d$-S=#_3W;O67Z4SoVxaeQgA5s@lsc^DZ&9%a&mQybDmY?sre-9QY;d zgefGcot(?#AiJvr>W?93!$dri$cSW$sUix&*F}@N^>BTvnr81VGw3- zVNTisEl4?Ci^%$HAn}A${zLqr*n{3G1Yyle_H7(-Q#3&EMvnVowaSD)V##9NgX!we zE-JJXVb%<>%#S`Kpp-&VnZ&s(5QV-N8MpRM>n2+vpUXginvy-Sy4@g8E?ytOb}1bh zk55{;JtTWTV$UepSt0X=f;s2we)IyW7?X<(+t*IPp z!h*0vi+;m6Ppax|dZ4&+-iGjMVmHvC!X9{U2-0Fyr$ux0P&Ii0pKg`EU9}}S+4=Ll zm{av|j0c+8ENa?A8X9S*UROyt5G%Kwbq&#}Yj$ z_3HYG7O*VT#?43xsg1D2tyPfu-_=-?8`(TtXd8)@0DaJghcq_v>^_9m-;UO$(`yUF zO+VnQBcMx}x<5+<6MVeeB4bJ*K+<+!+QZ+M99*25mROon*aWr55D%Sl%Y~Wu zT0AOIAgqRqso3dwv9a@QEWH%;9402T6sosihUy8nBk17rl6tOe*t8) z1k()1^e2TN_8QEQ+tnuL5ZOFORoK(>@l}+3Dtb$(cPLuq1JE(};*_?_GZ|6N=at{xHzx;oCJ=+J#Wkidk@uDxNofsSoYG zkQLk0B@2ab67n(f#YlWx;G^oLw?0=3eerm~`d#4^uPVA7KRO>hz4YhE)iS9t<0$1XHH|^8j7&a+3B}Y@%deZKcL+c3p zq=M_5d9HT0_aij;@EI5$@x$nmeMKm8o%ArWDY*TjWfuf%$>0h60n!(*$r;uCno^{S|?EHkBb`t<-R`3{Jh*FGb>3{i98ol8qZu#%nY@(t+Ausq9ATr10g0H_VbYlN~jlL zZ$FMy6n5Esu8}iqzUeH?LNt5fzv7XE8?x5f!=!t=?y1znk^4m$2IAb6#8{EK%Iopy zpz|Ffj%>-N);_*{$3S`*s8qO9x>zC(GwD~_(MXT(dFIq0W+6xu0)NFLY{o{ zt#xB^e%HGROB+i-CTDU=g_jI%auu;b4YG5qZkbBKEvJ>fm|)9TOLg$^m)>a9LK;8)PIopNEJ_ zocEuw_g13V%^S>ui|bb$RZX|3iy&`Gn9DLnVl|k;BT2Nwm=Q>s8Sk(VsCk1(0@q}? z+zuUr!jR|!$3B>Y50tnM#qymS(RvAS#3^lCg~)Lr$UN)3`#>`T$wmCP4xIfr~XQ`eiaLT0!I)Sx^&ygGId|%ebKE|&# z4HfqU{$rq30qUT6Aqao|yuya7>*0)pm?XhV(#K#8FnPau8EHG6T{WrpFfv-T`J|Uw zF3+KN4Q#q-wOqG8*Rj}9u_gM*UYE8&HM!71Qa%I@yI^1fuWgk`u;w{52=kccM@+WI>nl5Ln^e;%?DvNj z)}{KGirJ&wv^XMC(!yboBn>1rWMO5QAT55Kdl98jJf&w`%y04%!;N|jcOVasw)QgU zqMd3VtCJd)%rPtYb!dl9pOrtU#0#MK70P6Sk>aB=2u3kZfj=5>UqI%G#w8Io%@p}w zp>d};$Yb#LWGjP1ZVAcM!K0%$7=XtHrhf7D9T~w3%TuupJ2V?LJ<&2ZAIQ%`%WO_%I%-;sepCtVqudhPNyp(OOMStX@l(-Xn;kTjOb-6lrwpDoD~9X!4b76pN+6 z42K$>^=Pr%sFu z@KH&_+RrpE4S@y2-1XFcp0iw2HlMk;5rZwnxlUP1^S98{G^z$-Id#yw?aR6EOyq-qH z2zOJ=odnvR@^t{|JGPwBqi{0TI;VHNO5AKb3hxhBpd#8#AZw-f1X^w3`w0sOJd$&H zK|DdwbR}MuOQ^Opv4ScQX00Z{Kbpq`Cs?SyJaBmzVak8!$nq)9p!}S&P+l*TpNNDC zh&9!vfk$^s#RwDWU9`+r=5<8MzLQf#J$_FNakYo-m#wSUFUTSKM1qYmo53{9DB&~9 ztV+9&NWP?4U+O2n?cgZcC&{n%O@M-~@mXCG7i`_|s zcp|@y2`?#0OFP*U)!usIigLPaSEL1v-hPr}GdGv5oRnIbnaIt)=JT8v%hQJ^^F#e4 zQ=95+#UGXCu28XN@_94eVv;yTl(x9UgW&gw*>Y%@-?Pds%=y1@CUrz%u@dPW&j{8A zTvx+#*Q#qTdU&6j7K{)wnIcf>!4-m`&fJ8oI`J{)xFy^~=s+;Hz)%t$J{Ti8Q1h~@ z!MYO0^aJBjO!0;w4r%v67IYBkOIl7z5PUR!F{?t)`R4wh0FKPAaXL zJ8`&Xyb7&QC1U8=R7nVU!l5hzu?&lpJHxP_d6kn3luk#$X&w9;tF5h*m_UM-Bt+B* zB1a__5Yf_lz8)TPBzCd&!2PJK1^SxMWs1;meZJqQMoeS^dnl))-SVxtL;!B-!U+g7 zx)zX0)uheW8GtLbVe7a~5jzNY81c`wIN8a{VO>C!v(no^F4E}ICG^@nRJ>Q{P{xF* zHX-BuAS-LE@@*>9)@i<+q8X z=v8avM&b`4&2SC4O$p4*Nm2(e!{yvti->y^#Mt(0xkwUkP$S{2s3V{7Cz#p9B%ADg zn(CnYp9yM!bx;1PU;LgJ@}~>&?^>z<;wk@AzhHbbcfJ|s*jWEmFIeC5AO2J@-k$hf z!T7cOr-JeC1PnIzztb=Nlq`NK2tRdzzq0>dE%Cpz|KAjv|Gw9mm7V>!R%bkUT?u7_ zcdvX?&5rd6MRgh82axWJ{Rb)&k#S#03o@ryL_LtJ-PhFKW*pQZ`rJy6LsXdyyRh@LKJHU31npZg7>-n1YNb*X5ge4 z#F-fsd7-IO7Lff zHmK0Zg?+@pcCweyC%Qu!c1}w7Xa6!>iZlq=jqKoQpFeta1; zLX^Z#@x1Yr32Lqagb(J)JgY?lwc;2;14Pa+M94$~8jcN$jMRds*XpqdgEQJz%BZ3z zqY@78!YJ~_#|p`cx;F{P7*pQ2CNZ=twvGM3W+)vl5_B&J(@0ibt)BJAg8d&kK>6R3 z7fi@`<3GbUWG?2>y^HDXo_ROuRYM3%u!Tb#+1dGee*9J3j=*HUZpBirR*?BDD7bqu zRc#vO8aTxgQq-$dhJrEa0E?^1ilun#<2)KdvvU$KMLkuj-y!N+kK$qmhpOQT2K;fa zz8!l=PAq=vb_?aYmF&)m(XrIL_@iss3Hq~97{0F2Jcb4H_jf46@*R)znPJ>SK$!;& zg~~OXGHZqCiJc>#2%_s30oWz>lLsrpb9M$FKiq$=`jU!9;OhuI_vOhn=Fs;k+q`^j zW8-K|zZ`Fo_^~#8Ie(pr?|t_+ z9OE~s@Nbe1{zZEGBcSoO?f2`z|5|!uX8qmHsT!p(-KX$wXv%)Btg8NP=qHaW8Jy&! zp zM3Lqm;sY;h=Q|^h;e44Pv`$Lj2Dk{&oU_>N)WoC@!`>`Z40Q*Sg@4pl(@!Mr%nG%RP(na~v%J%`Xa(*Cw0k=xS} z34wi+ft?f#KQt`!yrG4UnIb6Wt47h{jZ{tIqpXdpZ2Eh_J6P-*q7bCwK zg&`=pev7R5cK`iTeXkDq7S1MZ_U>P6^j8SQe^a7=jk5T&K;K4Ia=uwv*%{gXac%gm zK;K4N{;q8QT>i5_f3E(vKp9!yE*by9Ve@+;#lM#3uTYKOOY=7u(SLtsU}pJU6ef$7 zl?G9KCw8$wRW{W9i7k0uHW$ge5t<~N0R&pu2|biU$98f$vS7DK5GovMG|)^{qQY#! zBbn|A^d<7Ox1yU)Neego`V4_AJVrqZG)?D@~am z3AA_jIC;hoU$ikUzP@cP#9|8 zCZi#YFRO0Pw{F`hUrL6O22K;^Ar6R_DPgTm#Z*t<1oPv+d<)LW_HlxWAv!X|VmW({ zDLrxp{-huV&ov!{V&@k2eBg5@M9ByX-s-2#5zNCPAcO(y7SQ4r>26gy#l9KxWIOlH z8^Nt%L&r!>le0t3v{PLb50!Keu}UJ!=dXqM=S-G=%nbQ=Jr;ir82LvbzWKda-|kV^ z85#es4&Msucc<6e^3OVCeEabG+cM-}`j1ukM{v|1=}`Y#g}*XBey_scf>{3hDtwE{ z`0f4#_!t=D6&MH%1PB-y81h#@8N<(CN$+uh?{Puy@jxTI?^_?V!6V>6BjCWw?sZY_ ztdZ}`5bunTfWU!)ZJh(dV}yT(xcoA^Q5sSaGIDaV)4pXKza@DKTE9hG85-CS%D$P- zjo+N-Zwo6zWm`jYV<&e)N**&OCp#_xz}3~2-oV@?po0si94R?GMqA;lOl>Epzq9dZiqC#W* zl7rF%bDrMcPrh>*R87^1fC~1G@C`@^izKKFiVrFjKYJ>C_f+~+?Bf#@6yc5Kk>-<; zk(iv6fRAvm;FI^jSOMHLdQp5a4SJV(FNywyY)$=y5%B~MMKdmZd`d(hORJmM^ zAjKKIP`6AqLKsTY_=%fdlR+|MIm{d^J`5Op z4jgo092^`F5ZBN+%-`&i-|FZ;-pKzYf#x5Zgy}7Y?N{&{!=HEZzkOOW{L5WD`_JW{ zyX5W6f3r>AvdaH%pZwW}#Paq%;m@0TF@X46&(Y70BZFV9Mn-@?+lzj67X551`e}ds zOE1y?XA99=^U(j@I`qqOt@Qi${4FKuzu%tB?3}+_C7aaTRZ#C%vfqtFhL=V<+8<|a zIh-o-(`bmUv@2CI8I`x-JoIj<9G{u z8x`?+6!Mz>;HM`97et#T2pq;Q8hGx8sIxG`6T_NyF1v?!uO#qDCE!{fpM!e|H$ z&!*fQ?X4VB&UWein}Y^HvuMl9+t}=|%D(+JW-? zK+G7HDkFpXp13j;WG9GH#K|#Gi$@%nuKNSJ^)2G*M@zYQDt9T5IInpn81dj39u{g7 zG=46d8!Vi+0oR6^L(f(?2HY%*u4n!B)N-j8SwnOpZ&gx25?Z95gEFtYXqXoqnDha8Rd^DsU z&k2axCAID)6l(LRpH3{(2F-C3v3m-xNnAzR=18S?mWUUtQjyNskc1STlRZc-eVdO3 zf#99k=b(59DvOJF#E3pj$tVq?6poU>u0i^NkCI*0xdEa$(4T<|w6Ug?#KP!?%i-4Y zr8+zco|z-rsred8o)~~y7=tTUJwGKqvJCiyIbODLcW63?v9W`fcE#cY_9^0_WA!pq zvUD{^Pn>cqO090K=T7{D>R&E4Gn4V;HURJyu#`7+Xr+!cddd#o4gqBk^wA@Zk<)d{ zWlsW-D$s8osyVUy3b|wR0^ju1vXbJ{ix4Vr14MG&RzI=Y5E(17N>Qz=V=8A{$;SJ} zD4NSv3ALp?Wh|ecG21BWO9b#{jjVT!BvQsaVS+Xx!XQf6leyEfU(hVdK$y3f8Eqj( z5ORnMQ07N>rWC-$dyCBCb)w6ch*j;nvTaH71aY4LI$JMBrYb);OXkvpm%};SD9K<| z18895=f2?4^qn@lO!-Sb4?h!cgx&3XUEz5H+a%A1Eo~(qj~x1&ke5etG{6*0w6;p! zcp}QNh1-L(2lO7Bcym>!NH@|mg)D0(enapH-5chUu<6wDyhZVp>kdL&qcDSC1DFPB zDq|(m`G41&TCuSiyNe_VV-ByH+$(SNmlJdkCFQ?vLU~x&<31;-cKUq6F}Rb(|Jnv^ zK|#eIq62bmPcMDJ2V2z?(p^ZqYbe2B*xKtfRoAore#xP~iy+Ih8tbe1vU%qdUc#yV z?kaHNYs4%;q3OQO9=UrkHEji5j3^?C)|Q5y@~1jH<8y(w%I_L96;ccfYAR{pO&2{) zq%ES#UtvdkQ`FbxsKxZp?LlR3Es zDVQD=r`JIY(%AIY0N63RidGpR&};mQQOF9)3FB>^rp_5d45LAS3zMzNlBO_GNzj z+jeyoL(J&#GCy_<&~0UC4hrGEvMZwo1>>IYYfDuROoy+BCj`G9H4E><11{-IGyGtZ zsCoN@imX_AFnroJ6jd$gGa^m8QBJS18Cv9lS8r%c`enXmpcR1&52_*VcZOCGe>REd z%lnzioQEE%2fw9aofit_ZUph5sg`L5tFgL0rEv@eL(TxmQ3KTTge{QN_Bl{6CJYIE zn?-|2QNXZnBuTg7>yPAeW;a_IsKU$T9La{k{{B^jVYn||+_fk5ye~lN_5{qG0sF}{ z-;JR~Fus_(IZv-tb{Z-@O47R~mL;4P5GT$s&IG@6tWwlBO*1KSxAU%A z*HoS$dw!f{OW^f_&v8J-^7eP{_w%*k;6IkS!(_kW1?~AllQa3*H*$x65!3_W$+lfB zBlB~xRWjZ;OBa-9^|Q|RCp&XAwqnu|4RYlAlDS8atj8g9mH{`6q6SD}UbX!ToDQ0L zhiop&EsycdirR?~C+g$lhHmcYMyKJh8Y7=a%lNGky52rEXlvqH@Za84FL?Z#uCF>| zrGyf`1EMiB=^{~Lv}gT71#Wg5xv8Bwu7?ZL@c1&{9bH z7`x@Y&J#IbtDn(XYwy=8Gbz#-?SIX>~>tG}Wz~iU^BFg$-K!JhACEzTiRz$!*3pI`;?uIc0g|`e`N59g7%e< zyh2pP%q8Fpk+y5A?LZOt>6n7Lwd3q|P>aK%4Y;kv4-O?$&*a8=GmH&%J0wr3g57DjT; zS8WpixxC|;N8wJs^Yq(B^j(Wp>^JRuh9oJ5gD;Xdj?szpJ5rWyq{_+XS@Ega%@~RO zw=|YDFxn`#XiU(>JE!2)dn98ZfG<81V>%x8Q? z)l9f2-+V`&-CDtojI_RHagq^h<9k&gkT$}~Op zBwS5$ZaR)R?;2OMTi_|Y*{0>vZAJ%{>)rAkptb5~bjvJdm}mREfr2!3@T-xkm{&Ve zs@+-A6WPN_r&ATgeA;a5e3rds;L(ZZR-XL$43va2Rcy2Pm}~r1teRHt_~?{z#CUqU zkFWCk8`?+!>@4^vgz#6$z)wROn_ql$-^m;FvE|6!^N42@pwl*WuW9IJy@!*Ak-XFS z!VFnecmrFQ%_rjFwo~}1>t=D{tINAW3IA5ykjp`lpjUWy(opW~r}&#RmLc#a&BRcAL0MY} z+$jFWIK0g00MW|B?sg(B%jY8f2~kJT3BCx;BPu@WzE%HX(u(+a={`4p1H8S&uN@lo zJ%m5V6QMpnN~?Ho9Ey%Hh6vSL zVBXYa1n3!e)997P#c8^}{x#>1jX##Jq?YQ*}=i`!_yfL;r zi(gsCW4d>n4c}kY#c20l_Ut~N&5BOBWdHudEjGiz&qtRZVy$6BEmA$rE`F1H-BGzu zZ9UGcx#?1&jq|&&LkunJd)byvJR--{9h`UcxiJvg&nxERpWOfii&N6uu;WzT&r=OE z;YIo%fhXx8r<9*tize_d14AROWT(L~dd{ZV7o70u%#oUnz0BH{UN6^fwmx#s7}!el7n2ApV`0!SRz{xcpBL(_3!p8;US+ z`y-a=kJax%O}~!($s*+bmD>G`9sL(9@bkd`Ue;jb{EgZf8of98@ZQL1&(7i7ojoH9 zWSy$F1oLaG!6VW5+WO1xmzdqkb)JcJ9$MJ$P0U9<;`^@HAD-Djpv)wOq8GG>&;Dci z6E~44;8D}LcCyyic!8mLMMXtIN@Ox(y<|-s%)Ih~@FSGclcRtU*-4r@H9Ls%&!eL< zY7$drv?G*i5;BsKvcTrB(i4)CYIfrjqqLMG0Oe`BMHPlO?l%vPQtX}9CRsEH)BWK7 z0K*3(Saw{*874~U4+jSq=?w?>2qzO6No&r(arxpl*R?Nxj4>py-L3zn@3}zvY`C-O z%&|l!owLAPsp#2OwmG~wxqXF-?s~80Rnp|i>qZ>0f>@hO#H#wam%k_tYQvSTnNvBB z3(uRh!HfT~BqXWk<16Ca!)DOIRL)d$lqKvP8-6w&Pv;u}qv{W||7!{UKHTF!0iwK${wvDO?&oj6F!7)My|;KbV@D_RH&@_);Bdd5`s2JmTz%GWV={g^ z3IFNubF?yWH2d#eet%5C{vFl*mSX$gqdNAt=@Y+g$|es;4V9(E?^t37xHuL!q)3xk zk=PyY=QV2YHgH_D3j3!+^h&C*Oy0d)VYm?#5ghcF5ICdL(~cA?xEd-AV{F5=tw&tm zd-}o49Gkk92$;I_LcE?RaQMz=T6J6P+I7JPQ%diWC_sobsoCstCNiG0vHb*l5A5=+ zE##B=u-n;;=6OUEh_7n_2{-8xrN0b`cNFAuQ+x*Qzjdh+WFaR}$}(YFVjFnPP_zBn zkU~D2W9&g!eQES_ga60A=T08~tQ2>V`$sT$k=PzEt{Uj8Z`Wb5T!4pg=yPuqkBw=#y&BT!ISd2~5)-=* zV~)N&L_zPNa(K} z+zRun^Dq`jP4U<=Rr$dR6=klatn&&MbgYqD;_xMl$|R-m^AZ*$tQpv%ZOV?NGxOvY z^sK=vGLr>5r4NZTO}^ODbcGm-yQPEkZWhq2ep*sp;&cV%O5SJjq zV(^9jrP(SB`vSN59?D*&OQqc^{NY7nc)e?G^fpS>`92|z``Y~MuUAG3L|=W>77ES(Vo<2X=nlNfYjNIgW8jb%!=jqpzGpl1%JbZg1Bm=4)nopbc5vg`=E z79&q+FE$FphIdQTd=ASf^{zq1erHy}1zDbeILp&PGrE_(`2|b%22AS%yOkXM)9LSQ zVXwu=c+9Y|yP`Mu#g}fYaB4#OlR?%y-$8GhjZ&v1r6^yoI-R{&x{IG|% zVZ5W@|3n*dxD}(3D7$3g1j#use`6i6T8}ku`d*3$jQ>MdV!IY&x$yYWMY^u(lpZfK z>;S@ZGYcyJ24!h`U^xK#fpa8B^kwK77Pj{Ngu)tP&-Z-^QUQNJk64Yp8_q_r4RDPv z@~we5dPy!Yf@O3@O!8UP=A6(6P9(K$?FMiRK|(hg^*|eh<#v)G$af)ZDIAWg5)HXm z7zBF6R;Z0_b>vB0!qrM-MUJZ!Htn?^Hl6JHm}_D2!+7i19ePQoWmq1mPGZbJ&6MW^ z;>uA<3=Z>98Neryc&;GE#KFzRnoLJtH|%KXF)Ssr9DPT@qrwIXhjAv%{Nr3%p}Va` z!BYY$(c}%S!8HZdJ#i7N!4LGO2=alCny&N__3B19X+)lpqdI=*EPc=AFI@oPiwFXt ztlF%ZTRgXcI4E$e)(8}p9+Fu<)^(zl$kc$)d{3%a1L>&kDoqBsvV9dKtC=$c`7p!K zh*H((HPhji|Bm~WWk8LpyR9HvSLANyNVXLP@kR#^l^Ow2r^^OSl7`?~I?)r52Lhss z>CK2k0fUV(b28J4lo<@?Iv9N)MM3|g-D}TEv-_Rxt0Rz&h!}>;*^Lq0EFL9xN9Q_z0but5Mo_qcw6(R_K*%>_bt$1P{v${1iAugeY68s*k8o z(k{ECmC%FIOrc88%$ivt@-m2rbfC_s#!4V=Msh`t_%AJ{QXR_NnQXkgOtw^`k zgke>dL9!FT#G#eC$$+z13Q(JU7vp^qnq&=EmA#*M0=eXnPdLD2?MB)KNqL3Mzfg#A z#vB10pD9*$GE-0ZgK?x&hcPH!+< zLo6<`P)(Mr`n+hb$r*&M`Id{pHA?lq+nV=EQrb-QLpDe0korYj7n`jfaHi=5I7QBn zSXLH+{xV}ORdNQ-SWS`eQvy@5D--Y5Cgnq2@~m*S21q7nOb%weY8}WtB#^mzJ`0p? zBlZ`0*>7@J#MrCbOUj^-yXH%h!rd$JYZY{1N=N*b?uaZfF=CGVUCLhVVmfz5*bGe@WvG=9zT-V*$A>-PF3mFfb`Ty|eND?) zGe5@m@IF$Dd0!JhoM~OE!&=a9Vi~7R5BtE(Glf4HR6$z*e&0h#!><j+ z6`bmbzw6+Tk9^CFY^&5yt+YAM(wj*Tvs{3#b!V!ENJmuRYVkGNARzh*BfZwom66we z^-MEij-TUmo+rz>x!QW~k@Mu->n#XqN`W@y=aDHfs9JC*k{Xg+(o|u5mzZL3i&1&lvj^3V zfx@J3FOwjk7j%111%TyDrrlm<>>-)q(moYNB=A=x>(yE%%~&uL32lJjUS z=5KI+;Fo6=Q>7WWQ?tW$x-218MHRM~Pz)j>8u?o5ZnOBdXdgd67 zd;*5hS?qavl@U)XQSs>Rhh&**Mat%WRMjJ!y2zF=urXnXdT!niUGg@WkF@fYiwT~K zOwXj);qOz(rL}eB$_4N>p&gS9wt%&J`#qju9#LTnM_cQ`!{oA%zqw8;H}9PZ%I2k4 zhN{I8g!#hQ|h3ojt!?ti+pfZm(drVt61#RXfL<6oQ zbvxC{AWN)9Cgu;AlR0ff?1$oUTqFGh4&zKuOA6Ij6!BqG@;(>5zI1WJd4H18?XsGA z>PXUj*kA6THgquDXG)SHqVIC+Q-PGZ9{q|sxO$v4)@E+$pZqAb-W!tkN?CtvBt3b| zB-h}Tq7KSXR0ZxjP*PZNyq{+tmTlMRr>)-`t>5fb)p7SawEj?K`rS@em7>X$#R$aX z1%z)SJ7*+c(`>Q39kfHvJd<`5j${-rh>ox>$WqOsC>G)Pn~^(&x9^YR(ClZ#CtG}E zsZsz|m3Y0DYTymO*@VOKm~~n(4yOowbS5_O-GU>gA3UpFewfl)+h1ab!mz1 zY^CGw6R=?bI8Yt6e$ssSmuLqJ$_8aZ;6kd=`WwvxykR1)q)WV`Ov0)6l=ZaG>gToo zJh`ZQ6om46$bn`&Yl;Q)#=anXyIBdS%~h+!h^oj2+J)818M%R>Gznj~nda@WDIt|z zY~(gxFr#w}pU(C=-6UN70}C5D#^Yfok@Ev9-XkV1C$|cBl6MBz#f^7}q1A6Pi9{9J zi#5`j=qGXhV47K2s%XK5<^Yvr6P&j_Q@@~HJ-@&sU9>Xl1xo`jx;>OT4)%z}|STx%8E6ucATiOOZyaOV9Jw(b+lqY7ZSsO}m$u=$g3_ zz2htzl@WK63x&zctHPD~K1H;lV!!5n6Pp`eXf>nAd#fygzqJy>P>Z=@eg9?&_b4q3 zx+vh)^Aab2lUU=Unj|S%;q9Sp3rHEarwCjB1C{Z+E^5_2EXx*A9DV0+c<0TS<{Xs5 z&-tWgwAdT)6RG8eyVAb*o_;Jr%o6sML-d#`J!SW?b(JrL&a1gj(e9bybc$7DJF?Fy z^Vg;Lz@4H2D-(octS{8FXzMsQM2OeUpDF?0zv*0Z=7u|EFq2OQ6(j%n_nv2Rne+Su za;hOE^kyUZ26dj_QfJEUvL-8JBnwAEkEGqb_MNEwGSe;(d5e0NT`}|{q)dld+%(?o zeYDSftEc^ka%M_qxYOLkCGFNG?Hdx;Z9cu<(u++hXz^lhPxm)`g3e3$zR=XUCZv;s zciW5TPIVLJEi3x;WtOv@TvXo{mu@4StNmwRHA7_hkuyBj=gF%*hTww|ROz)EF0qPR zZuBv2_bQp<&n~prfl4eswz=4Y4)%s0PiOFuOvmedi7irL>8kA{usVcCp~^FER4|qh z^tbX#>31#M`N<(2kGnuKd@-^*5Xw z=o-Z{W3MIoo@Lam2z(X4VG?&G?t@H#iV}q8>)el>&ifRK%~xwcSKm5IIIfkIF(kP# zkFvQAZ3bAZ4^a&{p72~0I-v1hzt41XMxNl6i7`t;%|*N%>$O^*nv zi%axm`^95158XZqRrU>Xs>lGINwRc>C6=&`uuJy^EOE04#?hoK|ueGiuI07&ufcQ*Ut{$6cFY9blOR|J~iUp z)3RB}f~>$T(o5s#ZcNG9 z$N#wZ5r4IJrffQQ^1ju4#Id{lHD%2`zSW0pG6G8q7Vdb;Ro?Z7q^?z+Jr8OVJ(}2v zw{k7>F4SsOA(4$HY@U?M6*f7T@s1aO@+phaj2;L+3eT zwfEZ^LMp0+`X}LaVuSAkglx$+!)`_JL1H%5P}CKji*tG1S#3Udk|9h=O^xrw8+@$v z$ERLQS@u0V`{VQ1DNaKYsQIU@jehX~#zl-GS}k|@*3=|C|LL$521f9VpPa9qFp1hL zZcxHi!+w8b=d}qb%hR^&@m2FS{c;0ptx0}P1efk`Md&<&r8A}B&NixJ-=C&yaWRtLpjTjjA!QO0@*>Du zy%e~X?q^w?cA)e={zC4y#<|f81CP^MydqEO(l=&O8{QNE*J{ltb zZyOY0!Byufs=iRcZZesbhp1bcYKuI<9KL$CI;^mdF$S= z4sjYL@X!!1N5mDy{^UEE$0fpCCaE){hepx{jk~mwozXO83`4RU>P&~>q~xobl)2Wd zQBlvx-x^*OIzxMCWA<%Dg|UfVR{LOKcSp)*QpX7yKy2~E-~oS-%K@>|M0|(;hF$Z_==ou=_&n z>5DegmfDsvlvQ>Jn?07K7tO%4u>>=Q|9?mxW{j*%0GKnnHp>s={%w?jWAKjz&alfCbm$cRuau3qhIG9OcZ zz(Nyf;i>DQ5nT``&c#KdJHN&r&nZiD1vMt(b4XLhsrq4ZuvS!2Ih!~5+?LHjfQN}@aqT@5`8_-hKO><*4u z6;#FCc2jjT-r)nNoR6OV4cE5}66U3T1TYJVMBT`lyD#WdFLn`bOLz%euo$vRrF5xT z%yq5zwK_jVx^T%iQ-lYg+*j>M%N6{;^!4LQH;Ccr7Q4c-gr{a$$Hr=YDk>=K^T+194()?A~$;iJ+$Yh8~(T@k;pk+TlE} zGVjo=q~j~;SJoX*BM96SNiD)^1YLK1NFNx8i7_&<+{UCyPgH(N!KCkMo3Jhb>4YfU%CrE#7p(bar4q;S{i z#@^!NC-NfShVISU2WQ+z6cK_Nm|pS~J5Yohn{n{MKqB5RLUnyY1FtACOA-`);9?B2 zdAA7)xlNILJi9O>II|&jUs6IAyi5Lyvzl#=f9u`0`^v^vHWj0Ah(T*mzFC*COg%?e zrb)>4&m8XV`7?SOmlF-H#*>|TIn$9z7Tu*Z(opL?rex)tKP&vswX{U#nTRG%HDdd z&g>`kL9sK^dZJ@_vrq^Qf^l-oDhkoQJT!1LeHfRCWS%!QU9{|aT?X!dzhFv1TNAJq zA8^1ld;4RgnLB7_?S@AnA1|!}? z^t`SlFS~f~QligSKN)Bho}riwlKZh3M*j>lN-jD^qa%RwsdQ(oX)(5!)43W*z-i*i zZRb?=_<%m|9s}L(5j!J??MhEv-rMufcH&|;tj>{iKfqjdyBl(YpMS-WVEC@+K1Vc* zy(nC8)@PO7c3t z_ov>Guy$8yL`9^?aW;2tzU$Fd8lCVxPltRx`|sp)a^cSdw1z>;IZa_6Tw`_j4$pjB zQ!4GhapgfS_-fzC;~zt%PbzlwulN19exBa*Xf|=8Qn_|kwL)H|KR-UE%$2 zF!QdrcFpT#UBRG$XQqx6`7TZ zny2Br(JWqDPn;taEm5e?<pJl**rcH(lph3XX@F1q*2kk>>c^iNSS8YVfNJGgfiaf@XcI=>M$Khdxd_)wYNGqk<&6!(-* z#`pPnN&4o4M&oFNa@v;?(uVYg8-n;Zs&w|5i(;A_St2Rktp!C*53-o{*poe~_k$SR z?Uj*iaV03dk=VW$*DzbK`qZ=m%BB_&=(@?pH5np(%KH`j`GfCk{^OoSkI(X1Qm4}t zk5>#WW;LX@b%1Tw%SL8uOG{_ETJ#h=D)=v(qBIz@R2QMJ-RIL+v*R)=oH(ghry`T? z1->AwET`VlyXQC2`{{n6s@@b;Z4i3x#m>wH_F(@!<0{F9Mye7z=;!j9(8(_+I@rEmQmq*e? zzgvX9D7h3WUwVnNBSWHks7u~ohcHnwsA4tdjHFo76USGYYa8jpN3l6KCp8zxLFSI;cbQKbEDGrX5t3{_K9tbZkJn&Y5U^sxE!_e981_;hU_r!lvA= z)6_Y3;|z*?`|Ec}dNEuFw_2=^rpfQG-G0inx4bY!>{Pii6Q~y|ynCBORw_{|@wT4^ zZw=?#CG$D+#k8o^(;4U1JJb56bm|?a>SV;-F)$kUEsMVOq3HA@VaI17)3{scKg&n{ zZ%%RiHZ|?H>^BtNW$UYXFyX*9c5fG$a2*`m=mad>Mi=<&Exd%!dF636qr?aSjL)Zl~4N8J_# zbcXtY?sea8HfqqV?&I56pp&N4BH3z;FV&SIzB60AmKf<|ebSuJ13uq=CDU1cgzQj8 zbT7k*FUISO-}eV|h%Tc0h664&+4(zpNmGUVtutSuY{Fhk>uz}WGRKQi`8-TH1L1dH z@iAO)7$lx--kuWE94=?LmGU8PVcG{Y$eDRj_ww}Ri1)F{n2WD2TTF-SNqSQSNkxgA zDW#WCZZ!~3_e#4L?VS~M#_n0?L+2l-D)_q$9yiF|ZOsgg5?eid)&4MQsEu-?l z!-zrpeCLLBTnG5QRQ><+49R~}67nwx08WEIfO8~3X*t+Gra1>vJT3x`D)BRrElL7)xtYH0aLHl6{~%zv}lX{Zm-)q>$g=<@J6ZA~A9RofNG{ z|2*IEtJWUK)Xv%(fd5MF{HupQO8kLre-QyL0XmpC*_c_QU4LbC{=2Ln=>GqB8sr}@ z1@b(flobS$Jp&1y|8!aG%5^`BL;nA8S;+6#u|~8WM$?YCrAX$F(p@6HayIUjgkn1r zuixozMX;esf17B;V|h$broL?bo7?%%M?OG@9k;w1UPhvJ-rjSm)RC1DlhHXtMtXK4 z)$sIL%{=?SvPWy7va@QJcS1Cje|#ulIKYeGOf=YusjA=J_L$z-_nzi!qXC7%`1rUy z^1P<#JjVB2s;0ay{@9nRe0uF(wVuZQ0U7NWy`ZZG^WjZD!$CQ(dWzw99do#EzkdozMRFc^kUJwZk26@dl74 zPpAC|-=eAy1A5C=b_OrGhoV>4CQHkG+|o_lP9KeoO}(ppCh+$0(ib0$uC85ry^WRK zzM+S%v2=R9*UtC7EG;f)tAPv;kNu$NJ4coUGt1d_sXp$|Ln_C4*s+`4x8T;cxg#xW z_0_P_k<#_HgVnVe0yDEAl7 zPNpKRkeIDTwg{GXXjP@t^G7 zLVJW7HaD^-iud;O_ltgfu5{7gSsXot2)P|vrH!f8vk3V3hRNkI^*}(ED%K|(Ywf;u zhg=V_t;o368yt2~K~U)1qfb8Hrqr|KQMz6HWt{FTYdWEv6SXQu37nOlb~`KncBBpM zO&KpU4tn?7=RDenM^vL(^Bhge$%m6KezllzwjM4$Y~W_YsB)`{Q`<&JzrGo9PxQuu zlPndpU_SBLMHA}b;|Hy@lj=iKH9emY?ckaH6+*hN(g>>%D0EqD`1a~ z@}*qhsIoMh^-6>>Cuz>ZgbxqW*DPSOyus><0cCj9od`mq3P>A8HE6Z?96s|eWJ@wL$pwwz&jr#Opp&&6WJdNX_pr*BX~+^5U?J6 zQOe^Jy&%n91vgi0^Jt%EHN@w@0t0KG$;_IA z5#-l+FXyqNk`8lQSongQufQ2&?%~yMUCh;aL^P^gtbzoG-b+P2Vf>5|ES_)Ps|+EC zEH5#XRW)@Q;__Sx?TSbcx)QK6su4gxQmzzBsZGVCO!Y*tt1&m3Rii*}qi|x_EB6B? zg^MhT6?2t1!cev%WgFt{?EUJXL;PAqA%E50`@A2|2vb+^%g~B-H)iv=u z%}vfwM?QOs;`K0IkU$@w({p6VT03>EE`lT@;hijn6(?y6i|g1&ZeAJc1O~57yYmr+ zLUnuZm&N!WaK_DTXf=O4r_MMLuqC^bW#n>e)VXM^w#wYf*lIu{8!?jdMSshm$SJqW zp{QWby~RF1;!b3LcyDUhIG!Rh7aBDFt# zf1&Tx?LBs0V0s6*6(F#`dT=oyenZq#3B|UbRJ@lLNH+qp7~s489?Bt(v|DxHFI1ci zba|@3%z}0-y7_ooTYAQGf8g71M9rgwVSEh?x}K|1lafOmMT| zhUsjj^x(b)eHpm@d4X?MwmkuCG3S#d@wY4+8nqI*4eNvnzswQnZMI8ZqNWohJc z!$Ru9{01*~YL!u_mbRn@6OZT2edD8qs~ABg?;hMoUX839g0pF)0)NkWA2jHR*?>|@ zq9-#_*<4l2+C#t4B;!@P{vo2tqFb;_Yzl?_Bh!ZJP&tY z*rt?5V7k{C$@Pp0<%>^BU-WS3SMRl~Pu#0W-`HvF*J1HQ(nb(#v)@F&_pVA=iFZp3 z=K7Hml9)VSQv}suW;??y%r?kRw8>o59FcWiZ|JhXn2L?fMqyIcZW*h`Dn)(D^CzJy zvRrSN>pxOYzzf0L}cS@nJa>48ziVp zFEon2W0E8gt7sQ-p7%;*H!}$0AyQH&L(c21C66b$@;y?!<161SF!AiJ38U|l~Ol4ff28OC3?0bKSyFD(f`AU&( zUC^g+I5p{I+JkL@)G{UQ7d$bMl#%ffi7)4`y(CqRdFUdu(cH=$7^lu=Bs+61fm@!l zoVmVGo6=PD)8`j&F9)}JGIW0z5;$OTytjVm3rS^`LgnjLy2|=lOIUmmK{?#q!TDWx z!qw-aZoU3Do7KxWu7&pN4&J1FXO1tFDyg}7=IJ)X{Vwf7OfrPrp1JUaMr@wSWnW54 zX?Pm5*o|(Y0ADHwyECwx5TcB^5rKs^Q;n6YeMxz_I^zXOiTM%8IsBxKO8qdn({Krc zuM-(_@)`ZE&Zs~LXX)TkkaQw%#=STW9d+VNkqygSruf*h1);Y94 zAl8a>61iTZ(i~suCm#9Z-33*n!-8b!8?$j!+93-05c~?2sPl1_NkPDSAgh??q1wEk z{gj(uLUrDlKVfcHx}bfhrZ*XLn~7dF=8S9S7LlOHU0=ibgsDpGART(dryy{3jChlyOK z0{MMTzgL@Ghmos;qDd083gM?EPWduc? zluN#2X|*%{dV%?y>QV7RCB;0Bp=~)o_*OI+uIH-dm&_KA*fJ5R1(wB^-Fli5Y8&PbI+~prGAL_QVi^p#ZR1+S(+QkO zQvBiiEq?~zE_h{{bhKsX(KLx&`RSZgLd0^iAyL?@f-a_Q+_jF#n|)MJLV)1tiNe?C z$*?WF7j&_wh=RZ}9|nH7xf>WaSXFQu3WVSbbhTKOetue|xt;HgUj4W`IahFz;tGW| z+v%Pxrwr0NDZNiDddgafpPkET7K4i@f!_HnO_ zdw5o5*y+mC%shf!ocy|@(#>!%{K1Sd9mbWF=$ODOg!JY)$`{OU)O=AQQTz^x#b41M zsC}u?IvHB2@`}A*FQm+fe&xK8`J_OG2BT)-f??(2a=$3)l1j_+z|4;&d$zv4184)Ul!c> zR$?V>jg^qoQ#~(_xiT|0e46sZh4_Rfm`~#mgn>{?P55)Ts+r22ysZ*`F4iA$z7ceX zPitcMdRZ-t5JjTLYVGnK(CODZ^ZUd4jZ^gr&tg=|XozF_Xd)@cz1xxrC(wHfN{$b->p#o`KNbS0ARJxvd04fL*UM9|o!%6xs?X+m>jXYr*o&qf4oCjqlk zSIp<7y1reZ1smLAaUzo+b5FEL*AVK+u<{H(MpYEiKF_B0;^F_mP7QU;mFBpb0a2#CTB6Hw9K(}aJ zI`#0a`Gr1)^rhhhDbl>_R}$$^rwZ}2#qd?mcAT3EiF4Ft51hSbESU>XdRoYm~^Xu&@liq5dGVe4eiTS8SL|x$jp}A{_%gPlcu>aGQnZ zI^^-w4!YYkN*#(?&5~J}_B7LstTMmTDpoaVk#Wk@1-`F-u9a@<`J{WEIr;OVAsr5`y#p8HF2j)I``!E-kk7-jld z2YvABpQI6-dH(SH`91e2#Fd*_kc5}yl2*#sY-6j{kKFI|xqY+oYEAyyp_fqNKf8Lc z(PciB^E{(_*zhy^mR(8Ro!9h><+aQsKI)83)7H{MDtrOKTa1q)zBC~Zo4|*GK9ort zygrk3JIN_X=+S|z>&i~jfIuZ7}!L+phK741xq90vGtf@lVDT=iE0R>Q$Jk zzLg=Z^B-%$fCXMK-wnDlN=!@RyWI71mR&kACox0*{d+RFEopp3@0|HJC~91tZY)sY zff#{TzPd>J2&Y=9L}w|C+=^vX-j-&Xuge z*u>0Rw3mA(Fv?oPJnm=Da6>31NphZMbPzajY0FS}5IsykW%A_IGL6~k1S^ab^;csF zQ$onM_7-ZwyR@m)K~ztOU$I6HWGk|88fzCsNwE>6Adec4b0U0@d&UCAG_O*5Ry@A9 zr7!oGv?7H&f_vaWnyo_)NRI^6vu%pg5PRLTHdoyRZ$3J0xA?puv3lQ6s0kGEA~1xX zU|K(Gs=Y|XON#j$lXa49X#3H%7zK95e|dWb+@AX9h3e1OX9{SHk*N{JhzO+WWQ=jM zM}xE!fSXNdTXP^e6fYDB`R7flfUv8*k%<)=!(fayx3m>xU9WFqWw10AWYvTzfEDb; z(H536?ha^GcSSW5cPkT=DXXv$k$|v~shu&J+ttXP+sx7$$Ry>+fOa$yydkb4FLmPt z!Ij_D#@+^CgTd9t+SZZZRgm>(6Mo?N1Po$j_=$qC5@gj~yJ zUMLrXnFElv%EivXih-90&I)wtU~0y%A|drxhrl;M*56WKxj;`cV1a=AStt+~0)jxe z0Ssn2Mqd~(8-HI2TS{t>s1UV zgpG{toG^l{PEMAl{3d)zQwSOk<%XD<0=)8~&A7q9hZ|;UghnEeC{u`$$=~Gce`E6x zdcZ#bf>1yXz!SfcgPp093EDxBRa!}&LE6I35%Y^a1BwR>V+H*+{QneJfNuU>3V=fY z5`zGM!w;kfvov#)FaiqS1LgAgxWRC4UX&Uyj2{By=Yw&AA^c#l00;{cP(IL9+yM}f6LRx=EUGn@c1R{fETxDTa2v4|HYjC(-vTA z@(;uIP7c;TeaF-U1iXws;mr{+0$zY)QxkqOI|m^39N@k7_SS%`f8I9)ES6PB0Qe`y z5@U@P`staX)|g)p)|Mxp#&2z8Yc9y@%591^Gjg)VunJk5a$}6Ft+BQPn z=-0!~)}a6D@n1Cd69o7_pghn&(M5=e;Xm~G&vo=)Ar);4#8H=%fC)S~VgQe@Ie9vH zkN#WMxW9d$?cZFV9oVus@gyJ)o%j-)1pkR6g5kUU{(MP@YVkT<1e3J z`{`49Y*u>z2d@GMsGTUA?N2qb3km%-AXf*p84;L)7sg9;5)6NR7=XLvzr^ z41BVYaPncW{RQI%BOxcbYJZ1;;e1FakUsiP7?6MztL@4Ed4bEPf8c?^2q>_>_y-IQ z;{^lxbmFfS5^E&>dc(EJk*jDms@fYJTl7K{M%BCur&9L)t| z!{8_skWu!}wn*RtFBUIgI1GZL4*+(uz5NGWI3N~m{Q~2~g~5?vY@UIwYXr6~k#GdC z@rOkN2E~y990tYFCE!UXH`xE+4-5y45(~x)hMy!U`~we;0$dOahJ^8=u=|4pj*2Zm z0EWbYLBJ?%nF4fiXz)UT%)VH35r8VO_ycSMFf1%Qz#~yucmM@B&UoPv2#^-y&+!6u zvHcgYATX|t!w`Jf{o(i)1Pq5@+Y15=$DxaY@ZsRWVMru)TR04L zk_h}yT|(esY+V9$PnOny;6b2pTpNeu#5FJ+csqjQM-T*#K7jsk;uQq`FL4MUi>(hJ z8X$3CkdqB?ES}*=T)HSA+F{|r;SgM&0ny`(1ImjNiy=VOc5InKAwY_B92&sS4;&aD zu$cRkXE+ps!ynKejtv3o0J02YwFQDPHZMT^1DyB*hw{O&@qqrI*meL#{fp1Q;W%*| z0D*C23g{PG22d277n=rPxiFlzKpeu>B^<2!MF99aPs7ja>@ zF#?LhnLmL3fHe4j%AOCHE3kQiBY1%s|4%#sc9QA*P0Q$q#8yHxGV9Nl- zhZEb8a4-T#=YVVd3k)Yd1FIYyy}`jq+_{Gruu5!R5O5rQz!A814~PKAo)IVrPJ9NU z8V(*3a1U&oM8Z)x<3%EX83~KOljRzATNJQH!qx{0sB3^FXJBrGV#f`j8ayxwV9|gB z(<+XgB7r>M*mx*j96N=hU^wv#jzU7P`vWS_files 31 characters - 75964 + 76099 nodes - 61055 + 61549 propositions theorems 2 lemmas - 182 + 183 total - 184 + 185 concepts @@ -234,6 +234,6 @@


-
Last update: Wed, 18 Jun 2014 17:05:26 +0200
+
Last update: Thu, 19 Jun 2014 15:37:14 +0200
-- 2.39.2