From 07e8df9ce03cb478d07cece3c438882edd26abc5 Mon Sep 17 00:00:00 2001 From: Renaud Pawlak Date: Sun, 3 Jul 2016 09:31:51 +0200 Subject: [PATCH] small improvements --- doc/jsweet-language-specifications.pdf | Bin 243577 -> 244129 bytes doc/jsweet-language-specifications.tex | 8 ++++++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/doc/jsweet-language-specifications.pdf b/doc/jsweet-language-specifications.pdf index 133991e712c58c0c7bf7399bb7f3b7024208d172..a794af84c69304eb5be821bac46a7f0e1553eb0d 100644 GIT binary patch delta 44521 zcmZs>WmFzb7c7becXxMp3+^6*ySoSX0fM_f0fI|#ch}(V?ry;yF7J2lxxenenYH$w zuCA)p)jcy$7s$Cc$N}}>Wg)23R3)B*U*9efwgO1$d zUcCP7TSP+R)Yv<0l~@`4uXBVrd2~^)=}{P=V)*=Zpa$PCS0hYGvMa@K;(0VGMld@W zwuLNdoky;WqBr7E*7_R9(BqsxClHsDI@b5GrJIp3l)a65#if_c z-|=&K&8L2dW0E&+&cb5rpBc{6Gk|cCcei#Ew@AyP&PvC&$GBJbV%imrswL^0MJeC{ zad0TnD(31v>r&>Eww%+pwzipprqU>ocNjP&Y?KCQWt9-V4OA2cP6u8InhFEQ1kVBO zhk=vPbkpQ{uy6mW-$NPq%WAUHx1aKWFAyC}m*{sTi&n_!{wiC*|6#8QVhRTrRe^$= zy|9(y;D2zdWhR^uqzE0*BJs)cK~`QL6SN0oJjn7{x#4-Zwd0<3$y~OF4#FFKpb3|@ z%tte&H79#qF>%oh9Q_C`c92@Ou&?3gTom92b%%qeF)0ClJ9JXK^WR6?*40}c zj!o6eQ91Axu@otmTrl=fJ)h5y-}q^%(2AOS0c2hOaSLcHOZSXGCr;EEB+>6dGGfqCBX7Rw zR}w#1a;I9~X?TyS?rC|ycZ_G;*MIF?$pGm^f**s+f~2CrnZSKOu2JAp00yPP<;d^p z=+3_1#ZliJsYx7&vHgVc_^ijJ4_UY1ijdJoi_-@=yxCXIPFDi{ZG-%w2&fns9O4%I65CH>eoqLn-&{Du+IFTny{Nlnj1?GyO(dI~{e zhM8+9EMeS~Cq;<&Q)M8%7R5Jk|MFmk7V*qq@zMN#hRIaPCwlhaYWqbiJqWeS<(1hg zUlb%b@Q&wb~=aaLwd>;U-Ni>_<=k{!h<@V z^BbwrdVjF5lzn&t(p^U^aFJ=e?Au|tqlqWBDbzoG|jd~QxkZ!-b z^OI`udeVQFCplejWa2L6ki%OgEIrXfDj)sZ9b51%C%1a@I~F1db6z-oSV<`|U4HH* z)a**Bfiv+?KQblK#u2wW^N@gRu!dkd&?cW0hNuMJ=~Df@toQQsK|FgIu2#u`KaRfjgUu-Y2lqU7u*C zj*^1Mt+8!f-GBsr;5&MnjUfqYzof8*eh9P}-mEjTl~}9D;kzn4jTB-8^j8F80$Id+ zU&mry^}Fs&F4k)q6GD8P50%J37Y~X-7=@qq^Cx1Rz(@vl8A&P{$lg4!3;P8B`(Bcp z(GaMxt<)O+-}8=U*<@vu4lfSh%xGKksxm098OgZjQ8rZ3B>${aSZ+ApPBN8WMa~FU zJeFcqo>t+>b8p&b-^2cU`uMdpfuv`&iXA?SBmGL4F*ojhm(#z=b`He_taO`v`4PHT zp4GJ!K;Iz60TrT33;Xo#yBvFY8ptQaIMigCK4XCZs?vvlXpxC?R`XDY zvys3Lynh9?Z5*41T}aAAHH#44p&h2@US?H*VI7_WU)?Gq6vBNZMeZ7xj|(2P&EClV zh&417zA4-O-J9SV*gRSo6PO*Zz-N>pzi?$3|KeyH7x|@ApYtPJ2J=Z4UA)Ef2SsOB z1zrySPSTeEr0l;dH$yaC791VxY3mlG3fFWd;U+}P@8A%+|9(&$3zdI|IdNTsH*fO= zX2$~fO_q<3x+ADUfzxH+w4VMqaA`0ncu;|R0H7u@tc+%tecR<0npsGRuI zLSMFnUmYR3*T=cGugm-Iu+XCOnwjCd1fi2ns++zlE58*@+#26jENv5?`X{cCZ4*Vp z*XmABzZ10xA%GDq@_dT3c(`cym+e0}gJl;%5+`j7gOzbYZJolkr%}dNz5hSe!2ef{ zah4=v3kHW*?B2{?}x@n;&tyQSW2;J32wCe@~P?3%O~TW)c>RK_$3eZir4?_ z<(+c3;)alP?-;M&F57Pl=LoVzXY%F@0;!k+#k19y0EYKd*pI_`v%h>TwP}Lg1vk5h zl9XO&ujx+?m%#GAUkh_w4}Xzm_F_K2v-hXA29BR%IZRe9N9+EN!lW#gH;${+ISDX}3MdPiOjWY55TQ<$QV>Wq<6``_z7<6i3}rmo~9CvzzoS zuTl}HTKV^5W1o96j?eO6e4kudJac7i#{mCxvKcj&6`9wVBJR7IS>)YE*HF`i5dFoC zK<0LxNn7&Q;9yu3A;M<`IuGdaYK0aGs;O`Czhqi&J~te69u}PWm)A5WJA3`<*1)7UTI&oG$43La)Pxxz-KVER_h%oH1ko`s^&L zpoty22{Uu;;d0dn`oIic@EE!Mtc>59`EtNY0Um8f^%|6&=r?72;2tN1NWEKd~{Mv~#BS(j%bFTu03iMfqp*)UHLr9>_>@EOXA# z7)NR_dzGqFDp59gr_tx+y3?oh%3_}M_j!3<9&MWR2M&6)_Qoe%3s}H8*UI#buL)4WF1cK z7hdGtMZ%FB-zLswwql&J>>IsWWpf91Vh%t&bKQ@5LI}N2RWn1JKN})@{adkJha^hmux|nZU#rCLg`xY7d z|03aU+lRU75XUf}w)1=g?Vzm|KpF z32*6Il~vnxlcREP4m~lP8F|68V8lYH!}AuKBW~5Edme-UI>E-QJK8N0u3&?akOEci zd^Q-^!dqa80=mv|L0J{bB2V5(rfp35S+Nr36w+ZpD(f|zjWz0I_4&S3JSMWCW22$A zc0zZx_CuAMHDCr8GJfr88CVfUcJk?+|sjf+3#H-7wNw5>GX{* zd!;)ruY_(u&-ljj0eQy(a&TA~6Y1^X)E$`!@G3ePx9M%DdR)Zh_k7E>`cJ%tz5ZYM zKp+ZpGk*iNhgMv{fDh@CbX3^f*IexERQrlpq8LXQqh`&hpUS*l=b5NGO{S$uf%BRt zs%5G`*qzKtJxq|_oV82`M(ON-0AKzG&}V)as<)q5TJVIwqE-E>ZgkseP_TubxKaDc zIBf3=@a#}X@V9dniz4JOO}vreLEN+3-TcG2e&<0;XXtyoiqc;eQJ!-Hy}N-K1Td_q zLKY)uQ@R_<@Z}7w$5|Xed0q`pW?L-)qE8DA@%NUY86jAd9xO{bPTRP- z&W|C+5?-N3*+yNQTw6KsPNj+DD0Dr>QoB_|QX?pGHTz~TUG8C@wMmYVJXf~%*1*6m zGhV1)-2ae2MBJ`fYquvgt-na})SK|Zj-_!QJ@+Ra0F*ED2 zdi|Z@dEFtDk##kHS2u;R6(dbs6b-)7E#bes8J$SDQbI+FTxp;8NsQA5Y0?m!!JJjjc!PM4r}e_({n_k@4zOR(EmM`NIV;%l=h=AnV0$}!eVfx*ZH*HMt1?-i|{kyAA}uc z1Ct(m?dqH)#$e{JR>G?C5hR{(r8;v%UWdfFn_Y@X3w9$dH-K7@PqUv!Vbpv&yKR~EEY0d0-T;{XIvtlRdE z@{XLJEKX>3l#}lW&m4y6@fUXR-j42EaR-St)7yCj6IF6gSlTmL#s(%_1nCjS2A1RL z0ljv$k&zPzD=ph48YAK&t73jhMSiw&EWT3`Z`B->Oa(Jdlkwq|6eidIG%Q8h%E5L` zU6=4k>`w7WE)?RJfRIA|yldH{=nzXO@229J;0XlCF2U0_LD?l1c{~&pvY|c?W0se0 z)YK?*uPPS*ciDia@+*;VLNvu$!mM;#M-79HNm6Kpm+m3&k0}p32Mmr7@hJX{o9RXK zegRpltgFE-?7b2;R;mfi3q>Zmg9NXV*HDEcwY{~a&h?DTz*jH~+~;j4zGnHv?(;hm zYFV)In+hFSc8iI!xwz(dhRIA2Jy#cQ*LDDX>?WY4>jY5tQ2M4 zZq-J~U4z^|4T50S^AIdN)(CetAk{Q|E%|g-RQ~o;)bZt7rOR_~H~GV5;>6#x8C!hw zCR-=7(BMO-08FI52hvw>VJDxTM$VT1F6(gHMXS}$TeVq6DjJ;MRNDoX^_Vf}|By7@ zqw-hSwgo6U5MVBWk2n7j0I;C-W_OSkQ9NX%@Ut&_Zlrbflu6_pP!$9ADU*L8X=$c_ z_?|xq{1@G*zlD33cdsr_#X@GTjk+epD+kw$-2Q+}1o&;k1|e7mX_jScdWl!O^!UM; z4GPueF5(YFZEZXM9ak2S7VJm4enfsHDdFoi6Xg(UP{N$lRw)thy?KJaS=;ok zp)r4uVKoK8df&E7Aw#!&)#Hi=(Bc*w{+fZi>?8#fFYNxNJo{-BmlTY4r{t07WYXA> z=)>7b6tLZy1a;29N}6tW{cQ`ebJ%9X8uMQn@fmmOes9q;oEE4oBZ?CSr@Fjz(q+xD z8X)6trUF&37U8)GpOf{!K6PKVHMM!_dAKH*u>))JlhT#64yEm;Sr4{YaE8!-xEY8R zDAG~{QO`^@LO%men~!N#r%)Jw6S;ee7%pZK?~DHWgp zG1o1NlHOef$GvbRH(?TppvJ4V-spXQI~U$)FR(=`(6j!KW^q_PU9u*(J~7lN8J`&S zmS>Ab+jTUD}dbSY)kGM_mk7DzPUt zeU3XZcA9TZTW#_d-@r$`_4%>;7EBa74>TeP!B@EqhIi9xY}oPtKkn+&z{1^*6%iszZq7rriwqKe%Tjm5^`WjL zg%al7%bJHIUCVBE?q=2T@?vBX0=i1GdvL|sW;pg4euZ9MFc_Vrq<0QM-5sU(P$OZa z6awyi^U5F2HF&oOdLAXTgXKl=a*KT)b*&rA-=K`82ySyIHO`Wz^2b+uH#%;G?eZOS z%=q5&Ch@iz+9KJhufpUL+Bo7~C(iU4hXVorgpcDFu>t#;8(!TB3tHw9&JpLn;L8gR zZY1@6!sb058*k*KV~7{BVuM73t&5xP7r?xw5Z&+q?qHPNoHaQw-0+G1X1}7w2!D%P zpYs;4YPkg*GQZtehX{DE2-8lj|ojH8_fJDXAgl| zClWsATGIr#cGl9EkzF;Dz*Y^q1Sp^Bj{zeJchJtd0e$1yeEFIKVmm zG(UKFvU(kM|7q54kv~rthd)d6xMh4%&)H4%TPpy5&P;{DkOqTAMWCA5(U@cU$7H>1 zszYnfToJ^HnrJS_jXGE(k#;e4bnSkQi~oLsHfhYdo7$J(mc(`F=t5nYz{tPbKQdaM zjWu$d;^o6;{;#0`oTmo5Laz4`5r9e*ahZ86D$fA7P;e@Wix#Ap75J@y-X-FIbm@lI zg#y!9L2u;<-2%4xsD%1}zZd#p7gL%mkXO)}i)p}cJhNtOg9NxE^WSqqo&MRV*W#YCp7a2frVH1b`wgm2hN;(xe7nN z>ForBbhX*Iz)%GScpf)(IJ*?A1EPfa$E#Bs#9(WJ6aYhqFLUM#HZyC54IJ5J{}RK93k?MO80+%zB{IT&tbd_`c1oGE`c-a`5_m zredNZlGqn9Nebo`*AGJfrAtC|^j1Q!GKF*pPuBfNmkzgnP3)aq**skhsh{K-xn^<9 z8aasEeU1YSi`>h#F~ZtB_Odip1UXlVJhIbf2$uL!-kN-?BQB>IBpYM;MEFZQulyzf zo0+$wtz!2#Y63@48G#?*0#)d?Ahr;23{Z^}I3^Su4?8QU#vPm%7|0lPUggFNeej28 z-cN(>O#zv;%2>`Q)Yed6v2z1;C<+q2A1WjW8V%(;;h<<^oArc?lrnlk02#Kl zDBaJ&j7=IiM6diD;H5aaZ}Y~cKj^o{?mGvvM*KZEI|uEp?EYGhw5AP#Z!o{0V|X{L z^!9_?)Z*?T6>PA!vm)GYc!|UscBr24S|=qgDC2Ndp>^!VWnU9d*9x#ZV+umP@B3_7jMBb$d$=ac+>A_6#l|61eayc z@c5!S#nE-e&Zo1DU^~wFD9&$pF^WIW(ff(}A70VTP?jd>&Zzl1ts~%zC#RHJKYqKf z#}cTaXZj}11 z{2b2Qw4hb!<}wc7`fCqS^Q*o+^{J^obrC!R=MJ~B1^Uj?FI-9f7t`m_D_f3w^DubsMEmNkcj%OA2K-kM)tn`CsSb-I3I@33xj;B>JhXyF)_ z{uaC1QsJ}v*Jrnp&1ZMfXSewO2G=oSj{8L>3DG1!1L)WG-&Iyxrb4SrGit*wRhxZQ z%70c$w{mm=5d6iOZcwH_H?+QkDZKH;OlEjV%Q-y(ZuESWb#FG7LHuSuB4|n9>~1 zoBN^cjac48uuNQ82Z`bP{MyCnFuX|16P-ts!iL}`Ok22tO*Cw}3%vLr(Fc!|QpUd& zvUlSIDmlFbtL0r9@E^56UNxN`<(g2|EtLWlDAgNI4+^h2C*hu-PT5gB^`hLUTJC3c;yz~E*vNXvy_B$>jIiF6E@@@#%4Z|QGFsy{q(Te@TZ4mJpS`Aj`m4r z|M#(9!!v3+w^7yP(P(HNF9aPl^VPojO>}_~R(}aPG?V{b6LfHtPQ#3;>2BR7@*O%*{QC+O`~n0OufBTOWR`==2-FwZGrK``#g&f_;AMT@|OUKLV7Ft2oXuyX6zR zsvGkUp@!$72G?jDT?qbG50wf}Y#vQMA65DM?!4(xqE)b(&sjztb)q$*ZWys6Z?3^^ zf0}-IZLf18{54HTZQfVP8*AXV4!`EfWxNbzx}dNN8UHATtR zqJO@Iu2xpQtOhoRP;xCi;6k(sgj)-r&uj0cGeI|R?WSI#=~?|pAh3lc8DBw z?6g+YP>PuUI;R=Gv0Ta~WZ7{=mVJ+J=9RcwA=Hqlu5o}e@-se10QL_S+p~f?(IBd+ za!dR@^v2v>uD5uHUgeFqi?7JCf74vd@ikt|@HP4B(3?uvMY9_IJUb>uC0V<+@3hij zJ0ET^p*Ouqn9EVEj4pql6g95fJ7l%ymJ#|0TC@xopi}zDf|zuPW(Vbm_sip5s_QR&Y} zovm`j$jdrJBrlc);9p0RiT+iA3C4BiDCV*!h#jeUzP=lr0|Mqn=Vva_NJj6BP>s{C zl@3(VY}-B)F;r;uK1i6@CC^=Yr#P^M*a5I#^&+s|Mp$=K`BVAGbgv4K&`$wbY*(`Z z#E@T*>4y;c5qFa8#Gy;za!`El?icjn^L@K5Ja~o6ogguUfNq-%aOeuClXZM-PnY-s zLIph2+$ltU?H~psEhsct#D{-G*wspmMmz-m9zPFYQ~QYBe`evKA%JSK>z(i*#3~#K z(?hzme=?GVWtB+c*0^{wAQA~xzzP|&)daxAvdYpd?M|&>8HF8OfQg4#Nk48?&`PZ5 zdO?{Yk3-(`1GpFzcJSaeEq^htU7!P(7*!&~Oq(M%n@I(jG-PVHpP?Bj@fyOvdR|~o z+uIxMmj$Ox3_?mA7^4(=d_qvbtY zSky8BM`)=S?kw%j!hkaUGF(g^D@f7#xF;!&5<;>v2k=NsXY3nz?IT5!K~YJ8LzJ zjPco#aN%piGw2jjo$njubE|44(sSUz+v_Ft)7e>8@m0*!OA!niS2SjsM*GciyF{~P zO+Tw>0jDWa%+qM=BTR#k44M~w?k%eOY4WbOr}VNTLk!Qx$g39T$+PkfSWJvznfdOM zArLeM>cb%re=OBULxR*!a`b46U5L^VzQn#vM(ucdG_puboAdph>){>HNZaM2d3%#5 zY<<33P$Ic!UkUiI@*Nricc9liE^0Tw%7%igXw9UC9Fmq*VnTB0%=Eng6R zuXFVCjP{)mTwK4J`P2{}o_@ZIVNuFnUw%{13Z^>I!4vc&UoR3KaG0FP%~Rl<2mtn& zs8dlk?&o!H3}TQm?`f7i^!>>*R%A>%?v44%$4l)Gs{2Z9km1F=XSjYZx!FuWiJ~YM z0+if|oR&Y!W$F1C6J0$gja$@{2rXxv$hDaJ&+3#$LVo=ze3E3RNDvGeK-6J_Hq@-l z#@xSah>{E3y|m?#QhF*~;c8Q9EBYvOU*EKD_H%Fi`IqK&kC=L3i+FO9QR_#>{=~)W zz`d`!;y2JG=w(#D-Dt!Y|L^Z^gtd;7ZlI@_ZGBrKH&`6rgWbHR9;aCvH2E;q^6KP$ z|Kj{|WVLSG;#VuYp2-xKnoYbB*X3w%{@}>mshbM=^P&lwJRQD>+uyrA+naZ9dUd}# zbZ;|MVqs=(!Wo@%G(H(GkD(5c6(eBBP5NqTa7--K#2@yy`B!RUd8kRD&HL9@BoNa6 zO-wgt)fk>3w!Vol)pB3F&;wQ;HyR~ngUpWLZmMAy%$4+bZ_3Ue79sWP;Sv!wuNh?+ z(a{Q%b(P9|7Q(<$#R(xFtcmc>i(BcOZ0wzZ&o+7D%71*S$N#hJT*|C?Ju^?Jgd1K*jQ z+t8RXOyZhA2v&_;Y8^;AnoTfb0P&J<0@u$&ZU*{x-I|XW*KcvSib%1tL%>x^e|kQ5 z|F4_mvzPvMhOfSH#mC`@#)9S6!y(My!CXG4xKZmrgjz;_F(-o>sB?Mo7_itGV5pr; zU?wtbyN~KgT&_?iS|t$v&qAFs18$6r!$HbQ>S$sEFCYNVqG0Y|>1svF#>LI`{~k)T zHAqIXYZ2!YEPLhlH4M^}5|0_}@0$#2}&-FT(WO zP(0AZR`k#PUzieW8tSX>9D)^JcI`M@a_8W`AGLLI>1vU=@-;wAO8<7T#n#O}%Qhz) zj2*4cOm4+WbJ+jI`jVklp~^vKcmy=If_7Qzj`#jjeC>t1k3V!))*tl)1bt3luTRG* z(Y0TX%FU=uzQf%rAEX(qbHqH7?FiXx0DqSh_fyh&dyVSn-xyLCHipjIrtj=-55v1{ z?9iex_Ba;di!CL~67X+mMU6!mBWY2}#dM;k9V@a8$h$HKw8jkuYkY#W1py3RiWs=; zP9uiUD>{V&QYYO>ot|uN+J=kntUx5FaFO3x@i~jT;&6z@_?;3#hwKu)WO&g=dnzB8 z9JsjwaF=fWo@rHv=nX_bGi;e>Gp4afMPLZRjTjg+y!KMwPS>1`@|5*kCrmWf-!E0c z%V_Wh4Jbd0IzNx(zb64E2!Ms45xc=MY84LOeV9nY*+_X)6>$Z6Sb7eLE9TuE_Ev54 z_IQ2|JutNmG*PH@n&x~A`(|tZ+26Lh^Ze$2};tafNG!63PrGeTX|BuJV`` z!`Dc%C`&nW`{Rt`1sLz<+oYfcn;jDslv3w&`W+UhjFR+jy`jgF{6MPjad=>2Ovj-e zF89~sv8K(k`0H$2MRE$BT~wa`MzU<nZrm|?$PeP z$j8HsgJ1TNa%wW6e4@NBlsoQM$Wy=58_^7J5rs`EcdxW)ngU_ytlp|-e>uDwn^1N^ z1zuNUUl2(XAykRc@NNrq^>{=OUsA=5lw&$JSk%)TOTlev#n&D@^meYND$UaAL0eNB z8>gpqM;a{-iy0$`a}K?}FhY<@xwu|mLwyJ75JR@fbVP?O$NrJCMBAYGVaa#T5qMGu zb|^_w>Y8e-qyv-$oPE;zGiwH$evfbWe@@$EkBf&>#r0!xt2@QPyrYk;B{@q-3F`La zhZ!YAr@Sv>phMjkbG>t%m5}REWWR8Hh2`Q2ihKHNw(7&?Uh@WO#Y=`xJ|zd@6NV?m z#B!pFhwpglw$u#-f(YPdbg39cemf_bA7Eco58F)qpaqc53fS#SbdbgJeH#+B%VEVj zltt0fytEEljw=w*)MY7C*gI5=r8>~8t-bk!RfOkYOU+%O3Q`rvnFB@p_0=eCP2*`5 z%Q9Nh8-{n(xOH!oVY6R5NGEKF#u_9M3Ds-^!p?D33Z{!f}S1Z5V8Cy`ukljKXP&=zi@8-=+rffIvxI5P! zrZpx=B);dhYbilbVYBb~I8dMm3NAGXZ!8YwDYnk52bLn1ZNql_^>Pbz){83+D8{kR zRG#%Xg%aR#gJ^}Gm@2z0ikT{?l$*lHpf?0RJpt&o9H($sRat1u6Y^p~c%UHSEB zXT?pv4UY8xlqu2Vik{Dd{2@DQ(Tde-ttwY#NG)duiqECX-hLA!Gg2 z22u9(ol05?IA&x{M}NV$(Uk~!;}Lq}cBd7CUw!HFTkIhsN)z=;q(@AIF))J!0qDs0mA7Mv3IbqX z7`|fg;CR9K@Ofk9gb-|1B@m_l)|zMtX@wt{w)6tWLMAVCp^I5UzlZ z?^v)<%{ma^2O5nc0mXTVjrBp40dgv$M5J)_F#H6o5Xox_b`=WX&KgA`J~*UY-D^E~ zMlY9Ny61W}#!j+l^l;xz;MxGNXmI9O5!JG;)qt!bkwHMu6-+v(E;A)+bkids1);ll zd1>R$5k-#(Oyj<&(ZS*a_0g8c;}M5U+A^#Q%^mOqdXfqC^z;=nD+u+$fjasK+1HFe zWra1T!Y%sc@2%j-2LQzew1ST>r!_-JF+^xt6E3?hCDFl$H}z4zHD*9+36H1jekCL*u=2@pfH0D4QU2`+5p~)bkXU znw^wc?gi*Y@lIcplH$p_Vf|9hLfQ1GwgSjv%(k3{nT z3?Syo$^NUZdLBPRz{P-%)MKeZj0+{nyuE-l-s?xOETZ^?Qpf7T zUUX%bDTFKtY2Bh{vc?OOW=q@u2yfioXp?-U3w@x5L`;UCk<-<6RhHa*#N~Ja&o+Z# zsta5P=G>V4iUPIhu`)>VaWeDw4U5Ju1~BDMs!4Za`jl)YJ{s$2=m2qtZW?3P%kfTK zu?9(`&`dtH2wJC$S4EjX1ncK@CDtD(oP{9~Jp@ZzMIRrNX&9DyIk~Vwz_n^%rNo4j z6#*3<{4*r|I?1J$g=sXJHi(_O9^SaIJUBx0<(A(Pwz55OhRRPkPvcLpdqaxLCh)!e zX&HA)Kc2nRECGJ{!vMzdFDOsk;aS(2Kl=0`(P>ltx~Mt<_Wk+pigFa+fv{(zx<91H z==j%jt``4|<9kqUltU*^j?IVatMzTm8_VrZDfZ#bjfA|whkz}<6{iVtpX>^Dg9@yr#Ht8y3e{L}etBI?2T@PHMA>vr1@Y8Dy6V97DimTcNd4E3u4 z0ji1Ea|M;1dHN$#ilP6E!{PVz@8Yp0NmeCK_`-`1MHG?_m@=LEbWeCALg(5ARc)dHkv6WqWZ^?S%_-EeCu?{Tk_7K$+E!8)frFF?vTKcXR zHD-E2$G?yY>x-rp6msk@e$Xb8NcVXL!BpL>S*mz?k-pQbsdIQ3q5=$vA%R}5mgi@+ z>*#Te#P3G)FX>!W+HcH54{#Y-#s0x>Z3JuIQIzYOOl7qCQ8XS`Q#;=%et5U36xb3Q z>a&$|Aso+)shq&ea@zjYMG2yGGTErR4f*z^EKG04^mBt1HXrn@i82-&k-{ltvIAw1 zlT8N2SxLLC$C^-Ydl6VGxsu6+d^3Rx^X%rtfz@;>X;{0l>GLPuJnMe^s`yQaN{FG9 z5=IYfJw-$Do{Kmtcev`!V0FS^Myxv@E^QM7YX0+27f_)ZL{v~rl2^X^Ph07=r8A-` zjr*yczxL|Z;mER7`S&*_&1`FywOj?D@FDH{1ur|)tLiHb4_#X{;Oq1yBL4YdVp)2?%STvGq}n?$q)hK+vp>%h+37e+aNs5%@Uaw7u2UGh!d@==P=xm{Z;nQ66;W{cGqZWhrb6o65?-^isq2ob>?eJX_}yKA?3>pakgD$9xn^ct@6q3Y>pAjf zpUOE*5GENNo3d(@Ez+0Iw%fm@Av)!AhnbC0%?6Po189~eW#O-bCOo0wA`_BSpWHNis$cXHnTYm zs^=DJO-kyDkU^(WIswzor6f_DfIJdVH7&p0V~3cx!9y4&`k;gDbHn=>ar+|@{cKUP zOS=l7u3tD(NTzP#r{t57*Y9{&b4o1QFxcwNu%@6B-O>4T;X%U#ZDgbpo{x>nPPG1a zt>CjX^W<}D2A|$cM*KGwXs~+{X zoFF~E+;N!rM(ZoqY1I}*kz&N}{?+)ypS`KTORxLCE{TPvNJ-;eA~Pa8Q5=!E#RW^a zf_JS8IZVr#5v9u3nLZIwoZF<${cyL+LjuHiJ3df~+<0GA&=2*yr+H#REC?p=<+&BU zf|PXwv*tTJ6Hi(TC(_?v(>S^xe#*XXs}C>|PGsTf*x#!>d;tq_WWsBWy>67U%r89w z1m13B?>k&+G3~mG*;L~;;LNX18Aeya$*B?;YigfZ!Q5%O{jhvmndR{H1AQsCz zEoo(9pZsg|@a}smq5s=l&%(*1PEAe+bbR&fylYHcWvKb6d$X~cL47CVr0}+;hwN>N z_|1!0p=T(1yll@X^Yh;vC3hUR0N*b}-6U8@XT>%TV&;ZGZE+mbH-aY4QlvkL+P zPpYXAmM2Cwm6r@Y?GK_cgrmkM#H7>7p@n)rs-u;vPA@x4{5uGHk8nS1W8Ix#YTcrO z$1N!-?aGc6MS5t{@|Cp;N}tHI4y8Oav`4<^abH0}y-fIaj9 zksZ5u#OeMo)3?;a5!c$#qHNtz0D-qip5soH*q_L^Y=Gt5zUC!>u3^s}6=_NDKw!_7 zb^pf&wJWn1oFdH+R|Af9A$is?X%|i(|D6Xt5;|zv)mO1f<*m^tu^js_oZ&+8Svh+< z{9~@erw|X&sDeN2iG2ZQZ9N+;2Bm(a^~+iMt6ArTRh)*v9OH??WmCs4uw91Iv>$<+ z7@{Y~y1e12D@}gI$7ORmrTwH30jo}kp4hwsr(0hvk2m&yr*ePpN+D6c>B7WZS!4d; z#h>-dUN#CUDcOifMgz1VYAiNx6<64SQ1h*FlcQbt3T~$gnO4ne?v5sGbvS zl7H|T`5xHTwBxml0XKjyWK$rGElFPQKD@9LbJ=u{DXtfQ<$7W ztt*Fn(115I5GPU9X%il^SS0+Ejwuq4GR@BvEUr(Hqq9sjt(G~`8ocRdHz|w4Kj|qm zl-iUdt3G2+z?jL8q{tYPJm{=5ltX0}QLR{pf{m?O_N4E=)SN;I&|v+84M0A|8V9WP zipxsym!@9?f4mTzsQTVegt3?`;~?>7oW`4Kh&bIy?7bGM7zm`|B@DVH5?>tP(tAL& z1(%DstyX%7n2~N~=Uz{p<@3tR&m}t>3JGBm9T`5ETHD(q)v+#Ew$X+w&!km$286HX zIjTksp&sU*hv?}6T~iU!NJ}Qg;O~l&YMZI77LZ4_OWaNsR69S31G!Ba{zXcPPdW$h z(Yp$#Np;^p748dug-RSiGQss&4g9u`iOkOe#mvwT)xwvsR-1f@b`#66bjXq-A%HF3 zQkGlGtHxI&%$He6k=}>)L!|9HdEeRj7H%(&HV(2ikG)qZU@`1$q7=amImCN1oYs-3 zqN+$)_n?9r`Rw)`omFkFB)|{%d&Bi$I?2kG$HEPG`QWcejD}tuQ^F6fRLsou=hSIk zc+;h#QS+<=mV>nTBuK?CjHn?7VQ&9ks`GD#*lg0an_Eb#dZPjlwO(e+c~OaJm=8w!J8zoukkKVk zDhH*~YVk|23;v^Xsh@miMqB8nL9VIQ6FU3S7F@qMM8f}pc;ro`zG*t!SlILCUX)xo(J)OlcAGk{dpDz5Wa_(?_cpaJoLsfKQl1Q)6L z=z;!}j^8%}S)uPc&Ogby?=jnZw|TF`ZLF2Z!;Smog{f5!pOLPt{_dX00Ivx$N+03g z<3skBK=2@H(YQRW^5Url`;buUvp8T|OH9Q2hI*@3+bmDhg2rk&G*%gSrucXq`E;^1tBbMVcGrUnS#oYFrNEkWq5B1l- z4_^XI2|fP_LAlCn5m-5}grNk{_fdS*#&8s#aK+Z;R!O9D1? zU;rplyU;LY3WZhvIiURUbea;OL(^N1oy^rtC#RvJ9YAYw6T1HX9)FomU-Kd$Gu4O7 zkDRRaZz3Rqh(GviF6`eQ#!*32SKU0KA?jgoi*yoeYvqpOd02=44**j@tiNuN3y^~p zzm85T`q7S-aU?^bb2;)1ry38cgpP7;dh=Lh{Ee`G0A_y7+4AKl4G>h`q)!2@GP05d zvd_o09m_nJrECXhj9D_IL#S=jJpWU+XjHQAkPPDGkkN=S^Zv9*<@^4(%^#ZP)7K@! z=E0kdG?Zj;-Djd0?vUtYVAj#jme)sDHt<5Fhph>6P8P4c`f0I0${#SGkfs$sDHclV z9%u=Fe0UO$J+PqYv{lpYg`SVd;E9a;@uo&U@2E*~P*NeZM1s*gEkjVqgcVu%rc zbBig~PG^z9F7||G-Dx=kWx;SmG+eJLE(%b=Vn?gghdojfX;-5#w8js2t04z63~41u z#qk*qfXKku!oHmKVhAm4NnpLh^Me>@;d?r#o5{-9WGxV zuNv@dwr!nRASm;4|5$_qNqwTkKn+xXJ!_DG)X%ewCK9vUZ2^fF*LUXf#TW4~d~_|s ziwplbUFm$X(WI=-ELqJ1+h_#U z(w_pMJs%dt?`{b@34=kv)q7xsI3KcZ>|rL4}$z`l%AdI(#ZGVR-z12977S z4l#m?AQuW@qyW``GXYz4I94QA1#g9C-OoB%AXuzcrH?(rrlsbHMfQWLtzQo=*EBYm zD#!fyA`Ec-AmzGDt>TxGEgncK+|_DtD$IN>p=}QiQH2AXD^oJDs8JyG685QnY(8?6U=? zZG|7YQQ=rol_>E!!7@X3xbh6C_lGODctL<&8$~opV!mWbeP#(jhGz7Cw35<=WW_zR zz{ZA@__VpW7i0yBOE+oLJkU2cc5V+GbVpZ>?z_!eoA^J2gt8H5vYpV&QOhwJEINChc0|sJ&aDB~>0YwImS7+q2bmRh= zd_t@rEcP@#V({##cRTHW0ri1GT8tI?wA}z~byEUu%$w)T+jxEznC4IGEUfb_QtX*b z7Beq)U&*z9mcuUIbj8gQyeiU+l%}D}?0)oShpdZig z5*c~N)k-^76;N6Pe%uFN^VwG07j<(a^zcyO;CG>Dx0G+v$3*jog1=FXmQwfJMFR(b z$42_pmNbcU1yAIM{;0INP+*rj$>BE#ZJoT)0urJ$$R-RetZ;ne^7RS0d+#bZ)sO}z z^Gtz6Y z+Lv7kC;i+%&3Q79M@dE(YD46qSF1>NGFY9^LT*);W%sW?M!qI7*l$f^6O)e7SJW9c zO_7;5ALkju^oPsT<7d36SuI%FXH~0zUA4Fv@$~1HUkOWp98Ivc7N&r=V&(9FLc>^A zM)f@m580*XNPe{A28l#eLrod~G4m?_aU`lVPAVW}F*Z_Pk>(Pw z*0YLu!{Dl_u7rNoJC@1gV&Ara)RJz#q#%gIT*6`@P1eHiayC~+8m9hQN^zZSd?x*U zdi!2i$YwNurLb}a(Q8|XSICnd{=8O=#!HLZW@lQ|Tc>VUPRW`idZyg!zVPg7@f(l!yeY#fSq1B9r*%)igx$607SY)EHCTK6+dIrQ4EWVICQ^ zB_^<`p+~Njqto`=wrqqPnG-V2`Y_vW(dxB-Z^Z6^VKipCG#NsN;XL`kzJZp&&&b2)p5G6drJ(^U{E{7xI`P$P!{<{mS3~(SmEx@i5(g zFwytAvREZK61LgieVrzP-bH~ZdC@~t>)$g-U|ke#a05ftxJz^R`Q8jjsMGZ%m;gE! zRlC@_9VJOyo5A9K3hSKK}wrQfDBfuEivwbLdG*?yhmi)%Biehy~12a0~U?QY0yB$Z$sqv!$XrNjp za&b6#Lx-7F1v213Q9KKI5>?dMJRHd$42gw`Co!NL9Bh-hnT2^2$F0Jy0<&L#P`aU8 zoolE~vXn&)8IpJY>gw!!c68W(9N-HR_=QRr=Y|)9qfblk5sPJSD<1{=hkaOxuj<Scl8k06z*Q#1I#?SgY&H%nDsCD;T6dZp>kp~We-?49HqIX5SSWXYbMS1YK7toYs!w+DG7e>UKiW?tee_EcI$j*v}t?kiVmto<@ zo%YY6hD?2y5IcHV=waxdDM_gW12i-jtEjkiNqeeqB`b9XGPHSa>HPV*eBed!LI?-0 z8q!noX*(?Dz>DKIKkP*_^3cK8AiE*?*teHKO9ud>>#8CjFm>w@C*=ZvCqJ38({B`K zZ@#y4_zyL$J8A=P(2O-l*LYclb*z{(C^G{zH=ZVD{d7KzT_%Hm6*_pAI1~$`SZ?Z> z|DwaKe##Q(Q^QjmOcuW&6kMkxfj{u)*I-m&aU1UY2nMe#)epivLfBC})f8xz@*|5BSPcyl${wq!02SNkm z?W`MiJ`b^zxzYmxk60gpJ*koTf(LI^FB#4fK|J%iBjwTGQ!XG1wMm_bI6mC4OfQ?s zmNgeC$izhd@Yj0)w1WR=8238c!x&%)60WV~CtEA!hniIkz4%t?M27{A6v!8|ZZ5Kd z+dhCxBZ<0=E#xVGv~WiLga|}GKY0*Eg86LDjSSUR#Av$9A=THi$*qvD(Om zQm0NghBPAUp@xE-{K4gCsut)MEOm;$oieCF`%(kb!PHF2wrsNKarw{vQinvl@Zn4W zv{L+R-gQ>%EFPN?E*lgDOaq)tr%}l*8rdz9XNDQWoP>yfiYwUk7Ie>w1kY_bB`KU7 zwJ7+>f`C(^uJ46LkUgcs4H*mHgz#&c>4O9ASwv*}{KCOVCtze7dWSsz9n7nxx#41y)}`2Mk9NSm;+|L>WK9IqSBF}@hmX!X zG>x;6xlWXS)TCrTKJ*Fq%vR-8+$Y{6Zj(SMu;hrUu%HXeF41>aMoUfkT9TzzwWi=P zI#=^HWmd43C8D0+@fTEyU=eFex`Tjz)y;20ZS$$KHiB z6j}z`LrRI@O>H+{de6&prsIYsBf90a`6_&NY>E334OH=RW0BiFY*yP)o;AB!eY`XHYhKy zxWp!ZPF3t0gJJzi_7sLJ#L>-TGi12=C|c5`{(gUSvZxBnXiG1;fiENaGNh>ddBf1B zuRB{rn!`;(qKZ)B%%}SiTBOH+f<02Z7||2QH1eUXYVDd!o)HUb4sAr9j~-a#`+j_w zBVg!7ll~k0TUUlvN|@Gz9us>G=PrFHH#>BH%y0yPjcIoNH@-iT@1cD>1FNqqc1<@g zkg2Xm!zS-b4yMaW^_@%G`MMA0DVkP^(FHLBa4boAmC;IF`H$IVq&`31WL|_Hp&H5` zIaP1~xgj}6b6W#tO{)d3bh!jfcb&?A zym4E!ho8~%b!JKrFH6m%N@n~N{dha_N=~E2Pg=&trEl~Ue_C`%xnwebLpX57aDRGi z_=CU#Z4Nw$K-!uy(gmqJ3Ts+60NoUh z;9=y8%0DR*+w%M_~Lwo4ReU4vF5e5V=UsG)}xF zL#3l}Osce5avNTVO+-#Y>iuPRe`9D1D_u$Qd)n6SF~&pMWu%12nT+{>+3w=#u63xs zl{@BR8DX<}`c*xs;XQoaTxTJF?MHv(EPzbE^xM?o1mLLeSL~DMyd3?7(URG6+^-1JW+yoiL1)_ zfJ~s-*XRKkHxzMzLX0aUMmnC{A*T**9^udmdK7*bv?T=L3+yc-0bwtH3f|~ETQZo4 z3&IE1zz900X?6sN)>x*D^&W=pFpGAJ8Bsd{Sh-uork@bg0bm4OHA_i`xsKm+^{0;V z{kl$paY*3umU)J~M|Jeh#9C@jXg4!R;B;tcxfZ4TZAl?Zqbd(c>XVP6$CDugDMy<% z%DhY}_F+5p#>cD@0y1xZ09e0ISa^Du5;Gw?waK42)LdDa>2sk=DDK|2TcYi7`tmGN zq$!-N#+8^qW$++K{n#_ne z9lF#Ijbw)$*AZdn$7hPlVQPkL`ao-I>^I@}VJh6AhHgr^2hPULW=+>)(r#R3H^N{2 zcK2vARxD`BXuF`jF<%H*-Ao7@KNY%caCc`o^=GQ#+m`;W{E6jE=F^+2Zp2pC=K=eD zj-M!$jsF)Gfj0Pmm;-nCUEtTMrUGUB_T;M88`3w7^xvEb%X)=cWz-Z#A`Np1{prBT zpQ-~yy4}rOYvv6wAT(voq!NZZue1*2&&nb` zTK7+6?rx2L+3$Bm%oSK|X{&8pNI82Qx}nZ%1E% z>D#Ehui`*N*0S=f*Bg}46=6np+=RCPOYO42V z+UzHPX|z9g0Zmz~+pg)H+lic~5qamLm?<%*pkA@G#92}fdPYJW_!CJ>hKrca)2l&2 zJ|?W5$c?$#JlPTV^jY#CL`+j~qw#4yh+2pU)}FPhxiUYO!b(DNG%USO&f3pXEm2Y_ zzsL-rxdIQB3RE?sHoxa-+Jd0kdBmG+%p2cLEr^a=_z6dXo5TyX z{n!YM5`DooA%c_=$66iH8oM4ivmD8iE(#i@5^df^MW^e<5s;41gK*zT`qS{w;yVD#nzu-&XG@}Qi;dA&22LJy--%apP^!0fQWFKpp)yiZ94q67uDa>y0&uBL;E)FQWy!GlNG zAT3#ICwRN@VAH}?M>PcjV{f6+*9P;SctBqY``mZx|4dV1j1~`)W0x$ZvS>7CKOq+7 zT{(cSW8I8(!LxeiUW)DyD7waqiiwa&8Km>pqG6U;4dcx_&ozNkrAaLeEWf9JcAF?_ zo@I{3e?6MsQ%I>Ul$oa?P4G$lCRlr8@lDWx0I{-EEqLSmLH|>F#8LX~icjoHev?Z0 zYWPI^&2uf6*y7CN;te79gZe=yLNHkFa1?HD-q}f;MJZLKhQN0hl~YNi#HxUB5px!I z&>-*?A*a4g&Ikr%h5oRAWbC1T$tdU8%lY^GHZju7>2q1T#PX^YDD)`3$%JEQ+_?1> z{GJ;LICEi9a!RWQrn*{gk`A}8a}t&pQ%3iRKhH$9UE?St;hsAMICNK`d<8FFKubNw z=sXM2>gzAsCQ!cHil>6y0cH+>3f_Paidmv3C?6a>>X;Y~yR|v=z`0$2uR!_cuP^h| zwDCGrLkF5f;_yUb?>i#2^-m>PO>&jYnii=hU;f$1G(O^GkM<8)4p7 zP&0A3_e20^8D!VmvCahYHZtQzvu3{-V<4&9e?YxN5`Bz~bQE8(m44b(PbvWN&=KG@?iJ=z_@5_f9dy9Ja+a{P3#LE};EYgSt z`-e>n5Qd&vHVMdNtZ6OMC+n-gCFn%rdR zJbB;0(vwC_P^)yDGC>H6G#=^&d6-Y)YGHYdtJ4Cw5>IM*Ok-G@3t^V|%K%rdq0f3D zy?MBQ2%#p#fKmv$wu8cij=j*7#1jo6M*I1=8#ZvGYxwei?Yom}ft>OaT_xeBrZt|H z9re#v_Iv%MW0|z)OcI%4HhRckrc?YSNS!d&2@_8ox-K@C^cd*{{q2EIp~Ocr7TZD9_pNubUh>!^LdTRs8-u9lSdD9Y z1)Br49=*)c?b@bWjEfyuw!PhINL~lNrvSY-$7`UlFTe)$3&W?b!YMyS;1qcvJ4z z)871&%&EDZ+)4uR`1f;&+;BxEo*l2X zAe15w&%1vNVKIx3!ZhPXmM3Q^2)&U!i@6hj?4?HOe(Iy!Y=kzf6B0Oe~j|Q|K&)0^q|c3v_;ah^q;5z)j7qfUZk_ zplpD5f+)^oKpBe^a0*%D<1!K7W<1>;^=;wir4oO~@8N;55W`t;n7sNpmlRUVFjtlp zb%<{ya|Y`zCGb?P0Ed%`+FLq#RaQIY=upai2D;bs z3o$xAj4hsO(I+A=);|85Z%0gi{rby6DvBAC6OERUfb#}a(TWBIG4uSW074JVYDBdhxU#cBEt`g8Kp)T>$w?KXo)k=fZF3g^Cy;4 zos(hoq&{wcNuPQiD$2cO_2gtc4x~4#7%U&kkqrYJ(C1G5PwgXCScAN!?mWxPkHm=C zEtfSFJCX3r_C$v3pjInG+Ac3+7@m*rNruXNU1_j;Ycq^+NwhsDMdG!8(?}DTFph;Y z+J#qx6|M!L_Nrw4*_jozp!*GoTNDQ)cOIZr(*<9LuhAz{_L85#tm!*ucd`x{B6LAI zrk}R@ehn(2S7t2E5ye@$8%Vc!Y5rm)X~}OZ=k7H*L4#tWic235)wFA22yC>>@~tW| z6WuLIq+KHIOe;#yUB1SD2OHYx_>H>_Khh1+`*H-M)V$F9M}uF!!hvNwYB6Fmi;`|i zLl1^TNANbUp1k4!V1LmVmt$BG?INfRZ_N#Cv@L2$R5`GdLm4bgEH6f5lpjJsq7ihi zoUHw=3F2>#_)}&9MNTz?_hoO9>}@G@;9hV;Tc?yHU4-W6(U6^gd3uyPsMw(d##1h@ zcV>Ybp%QbNqLVM1a?rY{=^uIPak&RHf72Rg?2r_ zNEAfS*!_lzjx~=w+>I{XY+d*(Mb0~Qbq$uaA_<=RovNgNGye0mbKr-Lnx{^i(F&X7 zhjq*{;@TP)ON%HfQ-3V*;rVNK|0J>icn#m#R|%SFBUTkq#JddR&s{#u`b0u4>x zV_f{P;wiK{TcT$hwZA5>f0l#Yl9ohZU;+5T%%R?B1k|&^k$OGG*;8-Vyo1PV^-Iul zWBYoA4#a7HIPatSmgS$^EoJ8&8s|PJ(vuTqU~1z@;K{>5OF2OEoYlO&_s}q-n!qEd z^3kN-KBhw=8|5V|X#iR|E?YVvd)h(N9ZXYtvyDap_0*8mw)hZAoX^VUk)OAu8#MtI z)gVLJ0WY&794dXy&6J#dD4Y{TI8qcMdj4B?>w8vzo`TE`@9AFyR1X*mc9|TXqagRo zB|*iP)7iOmzbUneiExH?q3@*vtP@*YiU}TFW2Kzi$d2VC2>eJP&Qm(;r2}*ZRKJ7l zkwK#El1q*Y8YiA$1}G0He@1h?F;4qvqkU}1* zCWLK&((78S`DmD=Vt-6`O&mDzjWZPQbByR$6EP~$Ioi^jpsIb-hq@&XF=X<%A8x5^ zoe~v(WjhW;+V5$SvsAce8mmKz=4`ryY-+MHGY@jvVfSDb9NcDtPr83f*y7C>TZFP$ zXBb-kk!{Gg&^92;AI)Mv2WD_{-GYF^^>RFa(gVBwr&P;dsfh4M#E9`~XNfLuyunqo zJvJ+LJwdL|OzU)!R69p=VZqi3UDP`1qJsz3$uAgh0H%-8Vepv(6g2(`%_8|= z+s8b3y-;T*>NYJ9x4-t>xsbN=D!J~l4^jI|*2r!utUFWHCIbi@IW|tUu5M|q^#6f> zQM$gy7@7MAC3ebj0J1)=QCJ53%vz>*Z1t3nxt$AN;5~a$V;ch0uXPE{5&MdB4I?-P zME;0{Y{Osff((?R&6%&H!joyPd6L&nPQ9_)GIfZzu}im z(iZ)j<*$zS7>|9D7M=}%C}b{wdmJ^Au@{HWNV!+31onOJ>^Q)8U`in3M;Th)5)Ww6 zY)i_3+J4|T63HG1A>jzvksA4v)>g!>hGbZ-vW%A{d}%E1xRn)jS*t0tqH`moTIONU zKIyZUy+inW#OJq5-+DxMBS`nO- zC!*?4Ftps-4&?(r|A*VEMpp0a@yX~tH)QBq+2_vDc?yuLy-Pg8TDLlm$vfZ$$7B|V zwhRE5|0hexYX9*I&$M!XB;S;Xl#Q^vKtuGLrY%=^xp8}BmFxIhR@&zv)~S4_RS&V; zx4JK4d;k?UIPD#z!qS;W<>5lZIkky@**T%stkFD589w=e-$(EFfN+S2R$d+!?v$#O zJ9kH|YF zV9GkX!{IBMiKMGk{6}-+(xRrZ+rJyR@B`Fs*(Ivi_F?GN?J!|I5ob-G7JdOy3f{k2gf_}%aSYt;Vb3YFsJ5dzhP%^ycihc8QQj4vmy%J; zj;^vcZ8%ittCM=S0am5SqYhWL&@bVeoi;>9L%?2k_xsX+Ro9Jk|I5ucYd8Dktoz#J z$yvl4!MLsG08|baDhjf*{qGhVmD};A^ug2nG3%{kKNynJ2fXkvE*( zpAY3mig&iv!cW4>LDcn3+hz2?^o&fq1uLrRx*ujp)}s&e@qQ0jbv>bvOvTtvN;lsx ze9Y@5S<|L}av!nfdk#=`*z%44{$X4}snzt|zp#Q6^XT@C3R^|1{TjC0uK02wCZc@) zA(IK6h#;6Rc}3`D3A^P(Od3KtBI1E%to3XJQdktqXPd35AM|Z0VN=97%H0~L$7@Q1 zLEiQG7?A+9d21#Q-p2mRi?B4TmDew}S80AZ5DO811uERPy@bXPjR5y!gZQaziMu?G zLq(~e=Lw`I=?s-V_ioC_E4$}op{oCAqqj<?#M;B zo;tFB$Q-eXL44&jCbtl+R*oGK;!aG*aO-sAh6Yh09$GG zx{4C?P;8kE=ZAP@OubsrJyqq>jHD*FtuOU|ikpvRRpv3S&J(;krAD&joX@!ACvMxH zr~X|#K6_s7stuV6t6_~T&jy;z@Q$Nf^ToHG_7v5(DHmADN6>jD*Gx+-V3;qzuG& zRwq8_yi|Y?GiQzr>WyB1(fRYwjioNr$2NyK%v7O34XK;8@Gb!1^Km+ni)h_d6Kj|r4&q|oG3F1O(kOUB1S=M{#;_SBB}ev+enGT z{TsLU1PoOXGo?)&61kXp;Jj&n>)X!u1#4f@RYvvXq#g;r6z-_o2rTxzlQk4D>$?;V zbrAWu5yBVKWZkQKj)iv4g?9<hmwI6A;1`^ER;)JZ;sg(>|A-$@uCl zgdIN)9;+;PRmgIFZJdElOSgnBn=i;vd9@Vd@2Qher&<^*u~;) z86doVJM#N%%Rsfk=dT{lyNnKH(a)3*+g@dfexGwk`L(2C=no^TM0tirMl{w??B-Qv zOWYo~&o!~j)I-0GCj!5_AAOI9DqYiy?77ng0$lXv<2FgwQifFTGnR8G_%mFy5;w)j zmP9~6Db4O99CtT`B2Nc@o;eFDldkR7>Kxry=c`>XL!@VU?2Kj4F+#Njfi*WNTD^c4qx13Df?N&M!^c zk(Ea-n)50H$H$?$dop<`2c$NmMm2nVAL^l;CPTdg(M?6nHDA=IoDg3z6!0YnVuWho zr#TZ)lcQERyrRA^TPuCAZ0y0nNp1|x7;HN0C8X@CF8kF;>op zfZ7t7VygOOTo;2K^^CWLkC3JA;#bHgFpIf%n!A23^j4<4oT_xO4O7Wav}F z4xf(^({RP(kKoET4`J+qS1X#G;I+YDZI0{wY#SrL*a^9@wtorAZ6j~lMvE|G=o5AH z5oq+`H&LLQj_P$b7F9zKDM?)tA>0_N;VL1RH91t=Cs#LrPBAqe$9K@)3C_MiVNHoj z{lFs*ytSEsA~v+*xqar?^U+uTKA=DeoP;stCW^f_hz=${ z7kr(LjBoje+AG79a$Gg8J7U8LHO|G`g7IBd-JiQ#r(E+ZJ~L{%%^Ob{#t~oet$4=B)BNs^5J(4!y*Ng0(eVvv zzQgM7yxQ6*OSVM|ztd<7HX>vPLavm?SUi?L`twPDYyR;_A-;Nr?_J}-C4Vw$=Sg!H z0~#6c=i%LYZ4S-h!hWwAPT3~Auwi#AVAt?9#UJR+sKA(y3V(Kw!Hdyjd=+oCc9X;l z(KWu0n2Vw=a8jcuEp3~Ug8Eo|`Wg6q=GOv@Fi(xK2KjBXc zaP_9ClgrCN6#??69BTMI#+BMUsxgM;?HQ>6KmCVJ<+~!>aONBC@OP2P+~B!+EvT>3 zB_oFK=S@;73hHl~8fut9XuvLp`uDVcDA(_Q_WiZAQ&d@2>`;2<&A-j2u_bY(W%x_U z@u^L&*&H3yC`j2`UsK%73mhafr`LVd61^g=$@pt6Q_nzKWuvI63h(*9kd&XVgYHSl zB#7tL@C}FXWi}-ld7-sY8%dYY#H>3#6*7SJh^NgK0pypPGxAV5iFYM-|4#rZ3fA?1 zK?oO_R;Q$}>PRl@E687Vh*1j6gkAMXwCDD-}TBhd^v2SDP1T0;|DS&BlMn z-z7cXaelVVWcbUm03Qh94(njLz|2v6Ql*X$Rk8XmU%mA?JD!U4ob}hOY;2SN%R=tt zVKa@BDI=ZQ4cnmCDBe%;{T*RI$^nUgtfnY9sR@GAz~d&b7k2?;5XOMs-^Hf|YJClx z=dQI*Y8g{NL+Rh)jJ^T48{HX%SvBFx%|2bAqN2~>D|!?0IJcv@mVoc<1$E@1WVCy^UFi%~T{Nk8Pmau|yAi=pWaJYord7l;@0 z+kb_paFv-!GbDrBRWOk~Hi-&SQIcMT93ky~@}j+THLWBS?u!pGP$Zr~m=GFYMdgeYE2NPA#*`r^R)x9$L+k-m z;i;LJk;E9!tMH$SIK53U>Fw0k@bw1_L^ocQ^uLYVIaxH&sIaWCk%-@aWf$w91}xR7 zaKaVurM##F*Jg(U4f60azNY`eI55S?NHBz6p$uXVk$TJ%-{HPaD}Tw3c^yBS9eLk@ zw#R7yf(8y@bh2AknQkStWI4Cn{^GZ>nEdnLx=1F?mGB{%?*OZe<4FFuTOe}ls*KWQ zO5^}`LsP&GHp{sFDY+4Uqgn^^+%>^$$8ge!yhbwIg6;KHeIaw5FAyF6&|_!0($Chy zRIBC0*xzVaGMV{bK(_V*a) zgSU*re&=1{aQHO?MD&hM%ec^^M#IX6Wk)Okw}C5o6F_q}?oi;qR_9zo`*UHC zwO!v8DfL4ag4+{NUu53piH*{Ss4JVjSDh|}Dwr7_vE-i?E1>=X?@ve(R-ram|Qrvr{a7N`@2`7lvBu=bTo#vf#LQ`LDO@GZpTVV^y ze|Ft(=fy3~pG&KCpzp;Tf?_+yPo{p;(6SXPk7mjc1jd(;cQXyh=B2{fcfcCP%= zAl^@;aTLjvH{y<)g@d2odMPtmVJK^#kO{Kb3ArYV5p{2E5w|*gKrO@se`W6!c;1gCX-4Eyn*hY{5!yd5qO9hNQyUGp^C7#Yzo2`mw!w$NJ?93?7{^ z&pGmy>M`DSu0bk?M$OXXwV1eMv@Act}f8sy=RRvm$>9RrKuZa^I0Dz^Py5J3Iz1h z%Vzz`f|FVWVmE`qky3^1aFbatwUIFzjXq$mc45+!NSnEPZSobBprc`TjOx{1jRiL< zl5{2pN;6I$Ss( zQ7ckOH2!(uTS|1^@EZ;bQSu56*Z~~=&kI&n_(3rNKha=n?43zSfw~HEXS(pJ>pNMv z_5O5qQPTC3E~P;(zh=32-MUDB;`8myb+08^F1H)q=QdZWLGjMkfl|!Uk`x6&U7G6V z(GavsT7FV7Lj;8L@KF5gWf3qfDy2X;X2|85R&r!YLruAnGNviDX8f>}F8J<;qI8L! z6v5pR{$S6%r|D$I=lcp2`Svtr00<~=cs9=@YD^PMn&5;b=%zTQwpuVHu zdTFhZZz_rX^|9+kGS#@X#QS|5!M{A?m)EPUm)Li3RXfdTUb2(f?WpJ)@u9nTP&HRN z4mIRoLimwH-z|D{{)m!Um5YRIQ*+VcwE<`TiKuUhYF#M9I%N1IlEX;2Cj$Dv(U&w} zoTtx6o!IexNVsCUYMt@F*-AfD%?Lz7nRL2M!{AW~8%RoM>P57FeP62`%Wt?R2HsiB z3|dpTrdS>sWjh}x7HVlpa1>oee%!zaAl}i7;`ZgMypMfbL|vY>zV)X9%X0Fg<_jg* zHs(W-ZASHATcIw(MjF<0-U(d)zLMP;^jqL@VK@IVUXaM&^qE`ZSX+|Xs8xMWqL~@b zEe8ua`E_9QM{6HJuVM;w-by^#F`P;A`@E2RcS?e(aBX!~NBjT0s59*Dzy*S=>XHU3 zE=xH4oVd;hwlK|gdcQ>ox%t@!cj7$l*O&2~0~42P`T`iYb-n`lJC}_S0~WV~`T`0U zmsnZ@7Pq4j1GPw(A9Dg0w{BVk`X>%K3NK7$ZfA68ATu>JF_*D+0V#i5+f&;{7k}rk z&|^CtwD;RLna+?9T1Y}uXp^=K55^YY#@NKNL)yQ-=j=sZ*|K9pI(_+uk+jmDJ=fnk zyOI}1IV)(vDCdP#col{7_p)HZKY)|a^SwZ46l$e_ixs}t72HYR3o@L=XPOrRhJk+!EepZCR$3K;Q}i|% zEjXG$fxQqCrGc-7^!jNHEhmDzg!0b}@YCK0MnKD=4-9bD4&z{evvHnI7cxZ4m_k~H zx)@t1=EGxLp^WDTvC*J3wjh|w``#)HE9wU(XlGDo>k7l10~x@;7=s#sYQPwKohqzw zXb0fJTJ80tg=2rNKGS((O znv7?~vuA$=IfC+p(D9>=FtGt;;RePc&|(kwxWXG?LEcU${qt&8TomN(;ZZ?;sXot& zhWjsn-B-}jyQ%ib3y@TeXEg%WkKZF_RXv$c`xQRpEC@pQN zE!2NNCQ8f;ttPK>00+6~skDHQkb!l?H0u zcEpO72CDN`#8SzUDYG3hOra%oY)8zsEh*j78%*#LV!b6XrKPZL_Yz?JeDp7s11VO^ zfn-lD2g1d2Ae#n_4Mm?;Ahan3NL1EAiYR_pS@{aPNp~H z$)!LUQ~GJovQit=6G{Ph|Dj@lImmA)rIN!G8WFk1101tjsDEprAJ&-1i8^QeUmrSfjnA#E@ljrFeW`tyJNP>Z+-g#+w^P&fD3#>49;rSC`kP`{iuUA-*mPxqbTs|1>)SJDw>q-$NGHh>(^(xcT?y^TTP_Qs;%_o9)7kxX$aNMic3kT+PSCx z;Zne7lFAVvXC&7jH$B(5!n(hjX)D5%kIf6StVNXU*ChRHHJZrjn)u}8AiF`f(92nW zI`3el1TgsBU5x;uEOcXi?$aIN6Iu2WG{N|lod5en6Ye4gqrue~P#(wpj3z2P!rn6r~6>R9VlD>8EK;pz%;aO*OZ>zj%fdofX zUxD|MV&nO;H{XpJVmP}jkU*;#$xt$z->~B9|DcK~%APvl&T)Eh z`*`~YUP181C)0Kn@8QE>wri9M>PpwtV37Pw{lZ@>q=o8dhsE@@_%h2XgQ(JDZ3~2m zs*R_zG*%*3caHm=tH-N@arffh)-sPLGl*~di#LS0Jgofd(3S}d_d0PhLUP3Fm%=Z0 zLcpRm>?q@?tvlw}ZQ1o!4R^ZD_%mG{9!OlZ&QXrs@` zaiz8e!%>N5QE`w)Ed845^RGe->_b!@ve84B&)d7m9?(w-ygP}HQorJ}hl%(ZI%5rn z1uw{jW?EaTid^l5EMmnyzrr}pr&szRasi_1b$c8?BxSO%81jb+C*0kIA(R2b7Vrwp zTYqWi2R-biN++LGeq$Ir2tUH-ej6*^p-%!i$=kiObXE+2azuv_A=LS$mBVCG)BhL+d-gtpv1TW7ZIaLPA0qfVQX& z{`A$%539#Mj~TUZMStQyNDL4dGU9tYSuY~B*@F5?bW`XnuydC^k*L1n|FI0%FGaq8 zvn@oP^8jw(Xv@dlT%j*e9Dnv>NwcHP>?4j{hxJ9H0_F04?=Dj5Pwf3N3JT@f}B?Aht5|e zW*d}iRwWuLA-YMa`{oUU1QptE+oS##kwnUynlUK&>giCHCni;F{8SNN1wJ^Rlr0vA z*kcOzG?Uk%EsTH{?-eCSsrvsawaa)qQ ziJhHgxLTj%?XHHW=-Bn_-b(OaeoS2Xv7oy!`MSa}2=3K(&dqvaKJu|Vuglv)nIcL$ zh8yb$k59*Ee}_^U1&Ac_XioZ&QTQ4`KB-LGsK?dmLEDqUZ+mT{I#(wg1txvHU9sq^ zg5fdnp?1{gf1?xlhh6HE57gk9Ib#;@s;GUcEV~qLPcj0gP!lNBu!0yucE;up5m$ zOYkqeJ3mfp(+_kuJ9Il9B%T$AnX?2%e<`-1UH>$Fvhj}KE9)0&-_*Ux8GI9HpxJ68 z!}bIsnU8%wmE+`ivJN}4Y&tGav>U2b3J;Nc-f{7r4ZM7dfY}$UJ+JId-<6h5RE3Y6 zPDrRf{4c+q0fD zCCZFxR$$!pyq@mDIM38hoh6L~p@JiYyHz)ri8p+Q75IBtde5S`Jrv<~d6B<7qpL}n zxuAl0yDoV;&B9Oro!ZjQK3^NH%4)eRx$t{XqT5&E2Jz6-+9@_zlar!p`Wt-R`#G{N zsX_bW@%!k%^9;T$PAS$V*$vwXzEgb4wJT^nU}>OLWtYfHk%$k3k89!hLqXq?UyEXD zXX5PQWSVl935N>D0fwZA`NJ__aB=eA+e9~Qd;p9rwhWmXZCs}3^QR+wS>3N(8Hlr{)mUl$}ukfd^>F~INth`EV)=yP6?{L|apXf?Pmh*qKk}J(9 zX0atBfor8+f=lc<5w2G5Z#U{QGn)d-2CW}I8>Fq32n%sTwHz%&XDVsNtT;ZlRyEY( zwpMAc4$!!fEPv~>lXhbY${fDZ>j0Y*=safgjEgu|4^!(!{Q9ro@2dG)ji91VO8&}Vq@hu7}XjbQvOlPH8%hY z)Wf^>`(US#J9AU)wV{sSLzA<-`WW&&(I~f*$?7YV)$dZUgodwKpJdlR^;f>`4GC?(?ZDP2i zEzHsrm5|TF>1+t#?Rj^%OmEVV^w3z0+1VIl>HT;-$UfQGb}K->-YN95NYDs8Jl_Gq z%l_SszdKf<@F+g-4h**FzN_J($FyG4wO*2rpLHwue7P=GGU(_iH+tUPUgQSGFoD~@ zyd?XXr1~RAkTE^0m6o=IeH>^Aophwxe9mrU~A z4M;f@`62I0KLI(?R;vs&GxmkR&JcZv3NvgAFA zslEEs5YV6xlgaY+`n~JB1fzz8&V=T5a#{N@jP2wo+Gb%Vz2Y_V#z$a_&E9s!^WN9$ z@RzPnV&U0n9*JfWs657H@lTP_vRP}qO^Qr|yoYn*T5!LyHt%LHc}8PqZft*>U2_PT zyLt19&+=aDS$jx@JAnYI;hMzdie+Nv%NkEYqiw-~jbFLoiBUk3Es3&({hAWy%Hc03 z!Mf#%7Q6BgAJ@ScglfPp=Hi+q$+q&+PW+%D=HN$ExmQV>e(dQFv(|%_F!JlE2BJV) z#p7s?C9r$&id5aWQ=Mi5ugvmkf=jxdyR45_qV3F~Tk~16UzC&P50l<6<(3-3araMl zaXiou57hg;rCxnk(jjDP9*v(H#}DcqxNn{YCnpV3C_3)8t3-kJhlkNYc6MH&^{rpK z>7t!NfG>spHRBR5LA*ZU@s_W+UGjI1_1~IvRX-eeivi$qa`ZA~-Kc=8A%=qWyHd7j zJ1MEX{nI(&2An*h(0=a*xzw^jkj%0H$M(;g6horzXJRC@nHA+mDjPeWcXKz((v~-E zkB@(M_mvC`M4o_)s+;pCL3keeMPy`Np*gjoaxQliZK?Z_=Ql*6WV)bDf5OSP4ALQj zEW$s(L=u583kc_uB=D4Tm0OoZdVO5Q{tlgx9xtEy=a{NtM{#L;I2CZe*T~8Ul;APM zPfIe{9Zr?R_Y~1Q!#!F)3I8^v9Q2o;jrJB8O&s^wa3PweLYWyk7~jX1>q$7$Yw84P4GoD)a+G8WW8F`j z3yfpm9O2gb6R0|fX?%km-M{VhDmQN>5?@sTJLP|D;8xq{vq6aCuZ=DA;vq>nL4aGo4K!t-G2_- z8u*4Zr)aTsbus)eZ@d3d4b`8{(1h434EPEOD#sUwqG+?WsH13qZHGrO6%%04>WNy? z$NHh;Qp;8=jt7a4MO+}Y#y##bHq}CpRspzMR6C444!C+92C&_mJ}lI0bv|C-Wz*mO zf~NFyV83Z$pobO1m!f*3-fgz14HN3mrwiPGVl*P>!zGpbBv!?hY-T!PLGU$LKn~o2 zIVGhqa~w5je*}Mxt*>rAF=-7ZWkg?M**XuD*p3pEGxd=PK4_vSNL=|q$Lvb_RsDDV zpj(}i*|*vve%-bJ%z5yuY7C%BIyOE$IP)%0@tun*#Ta$VkFG0tYDxHrAo7iYoorY(xm^!InDm8~qGo zn4Ac;Z0DoKgy~3CCvBE}Rl3DmeiisSdT4OYpF_Pq+(C;G5QVKqsSECa9akZq3~kU| zFRn@0%@b|iSSw^wDw>wvn?4T?Nu%IHSpPODshOIUWx4sTNF1O*oeV=oBgFzIAs4Fk zHZTJui-shdD!27dBYo$uwJ3!R*V98EPYA*{FM?ihx}@RJLM>EdaSjPij!tdd#4(UR zrYY|v2n`eYdozwB&g62D4ZZb9LCw!2liCt69m~G31(5v+lwa)(tx`zJoGC}J3ZIasDFs@Iu z z-T+#YuifCBKF-2e>`TIXj4v>og>3wq@PR2U656+VIojvV%IpV8E6XSTnUl1{5t9WI zAX?h#KuU_RJ-Ea7uf~>+=jUwCtSIW!3nQQo>J!wUBGw4TXOxl~nqnz*c&8pU1S7_% zE6eG0_~T&JW@Lgyd3cUasCMCywbmpJ3rI}kRn4_)zR0gw*@(mWL`DriKF$vN92l}hCN zJHre2z>kDTF(osC9gu0RiZM2ppEVLamWMPL{_?93HKD(U@-V!+zE;{qDp{5ZuxceY zR%maT$}bf^tXMcslJ(A#J4JA_<&%VBNmKOduQoxxV;n-=v{dig+P8j71dVFEG&|KV28uE4>*BM^1aW&N+KCfx1t%Tr^|I?}vICj2e$d!#=$VE%c zn|jb;G97u=$J5CF4VagUX89Pbn2sapBH1oLKSj0lE-pd<-iyvtCB(2wYVR0y@+wvA zc~*8}0ubQWw_x257%*~&f;jV#T*FIi&lsNnXluVDs8Gw1jd7Y{Y|YYSdF3#0GTZ2q^p8@^)& zwe8X}CRXePORV*L;*@(bSgTKwJMV&#g#=J6}j{s;oL-k zw*;1;(59XLmeEyBcHz?s7k=VVho#*gjou>Gul7l-Z{yDLnUQ*BqI4CIMXU%^O6PZ3 z8_Zly<*Chd8*ynK7a9sPHX2WLOZO^*Sby(TygIO&JIjAbPoNfJwQHt*SIF8Jey#Hh zh5W3rHp$|#Wi)1(|3vbgYf3}ctqDl5!9QL0n_WzuJmazq)+^goF z2Q9FTuYT4du)yM~oF_H1v8?~pl{2mJ5F5MH-YTgZlhRk0wRCD`5&su45rmO%MqksJptF`A{Hw+$ zUEHAWUM8V$WYJV8Jy^?ECpF}a&^ao-j4*IwM`F=T$Q^iw>!o0kzDm78s8*kk-UhFM zOn-w}gTBbWF_X1y1jyqusReVSskE3HC1j4Q{0n7Mv{{q>GJsz_i_5zdG6#rB!%9wN zOzlmjO)Y@ICVyK*&ojpCEPAWs`-F_IWzCSxvT4Sg!Ys1__eDp=P4QKQ?x zJc$1XTRtt8i7lG=x2*|KAXB^@egdg0-I&&gR|ezr@Hl`!aOWE#>@Wu>eEeslP}xc} zj^VP!CqsU1)}WI92wF!nza6Rf14griu<31_@J1tkR7eS@Z>vydw*|~zWlS4q43{^! zyN`!aNsDs!9S{T)K8=7rSD(~;8S@{vVj6Rrl5<*%HVlo`t-+{K28wk4g1L+xs_Mk#R|^}kYVmm9BwTBy)Qv6roB<=d=jK2Oxn$kncyG&|ER z+r9GgP%o>FHLQa)ew&vifzvtU+~jzS5`oBf>FjbXOGOd!qWr@oqVgM*P%tx-YRRD96UYh^H#cNLJ9Lz!b}3CR$Jm3WDTdoOlC=>(g~ie)ReE3U6sN}|9} zM{-2Trs_C_U&8Y~LY+7fT8bta1Duf6W>z$OTO2VnI#w&QN%f-9{?ahkZfb<&uYi4+ zA#MHIq;$+e>l*}!$ypf63c;g2B*Q&*rkhcu#OCs^TY?Mf=w_m5XUN23;v~0iMjgvW zYxpt)zP1#HY@)DWf=|7=5&R$XT^eQ}Ke zeOn^V+eh|6?Xn`^$tFGFmz^0~g1D5vu%!hW1f3fT7>0^#e~t%I3OF!9swt34FDwbI zY`0Xn>BDQC5WV;x)kC4&vZ%JDOv@&kUh*;!=VQX|a#oV=GF+fp!93>gz`MR8J6Zxo zw_Utp;e@p>P^WQ|M)9~dqSF!P_?x^nt^Qrz8uE4GztV1|oRD~7dlD?nAgXHQIq9!l z!B@XRO;mYwJM+tbUw&n+CH##tRZTP0?7pmB~b9xPL5v8R=5xRT@2>Nt_h(rR_I z=_16_2=j^qs{_Otnd~yHgb%CXpC7<*d+|pZvotYM$^exK| zyU+6G&KYO8vx_`b$gwMh4hQi;;-uDTwc)5{rZO=)X{kohhW(44kayArAAu04hO-`2 zq=TkzAo)_-uZ1VPVB93fzhK;V^zoPU-qvAR+v!(;k<@E?LO^2fGi&IeQ#rypZgf3m zR*{={n;xB=4O>=+oDlK(Of&}gJle-zMj|)pGwTlN!&tPxg!SN0Hkm#2HH7qt;wtRM ze2R10ox@Rfa~%6fg7B}_d7Su>yr@Fa zyAm0J8D04(>hO=As@ydh;~Fz2v6gl6{NtheOeWToENoe31k)fTbhAPbamFO0d1>96 zoPm&H3`9mS>dP=W6YW=KzsR6lIq$EAbPp2!VN*6Yd0W}Pfn%O-xOLQN)M3aNYHB;b3Ul z`m(75M|VFwf%8a%KRZokZ-)bsBc@mC>*^oV-j14HViTjI%9c3(K3!QmEGa3^dTyIB zoBqG3M>QJ7g=L)eU>{~mw+G&4^~HipS^Wgh@_9>3{ia06H4l}fR5@40X>RBufGa#V zZP`B`*07T=hraK;DlDCXtFP)JJ558DIe!89(CfHf9A>Fd$=IB?6CRH!z+d)*SST%; zczc42UNcco#R3Rtt(T+(HeUqQ5(W5n0jK8oUJ{+zQaIY(-gfW5H8dB z#U&zv`LImnOZ)Ao)BfCJrpjWVDQl~{;zMb0)qU*Ag*E6#OJCVld>-LrjFYQIz4w|7 z@rb{UzKSb!9FH5**;(V5=J#Ds9XRGSt2w8qa>>VQUN1D4VUNK!@kR+_*Cp7pvr+)B z5A`VMAjsv?#ZG|Xi(_JY+*Z(0keW+Bfg0{Hex`W*1csEtO78`m8L3Or&CJI~MqV##aN^*AKm^@tO*4A<9 zZ42{}j<+SQ0Woy;l&RySJ;4|0xFEwkuma^+3#^u#rt%+tp@z`ome<+zwUf_ z*mm@~9cSvxcP zf3jTvnU$i{6@qZ{aX}=+r68OTC{&sY%m?L@})Wfl8}g>kCqeG}=7BFnTF zGVby3vWj)y7fQ2}(P{kKPsYg7#!CIyL=9k>lhmb8z0CmF-YGn_+1LwhzZbSf(YO_z zpoh9<+_)8upclI)z*rDHr3X@jYAlGB(u-1~WW0i2Y`9CyV}rF~)`X%FK?Yi}YI?g6 zo{6(!+=Q_Zkx8&((*(m4-tWpw^p+<=A8*BikYS1WI!WtMThF_7NwDT`u;X?D1F>R1 zX&>Eot~(GxhNEjuh|{2XQmeIUr*Q3C^Uk;o9kWZkrpZp|h>DNJP06Nk6N``eT8gFU zkdTxBweuaCQkQH^qcKN+@x~Qxa!Ld%rx2WZ|3X+$mb1eroAxE_UQ`E_lRT~O?eHo6 zBB891HrRwi()lOjIQ+$pmL=I5gkau{q9x~=_a%U36CM7m(f{zQVtKLSAATXApPidv z!%e8k_i`{`xu8?^cuO7%wHvygmL!aT+DQ=!`41X%+%TJ7!JGAWWcB@I4^}c#CAMu; zKdIYv{zBEDbYk6`@<(or^hY+DK`#l1^OP@_H|p;`@=zbJHzq|Nd3Zng`I3Rdb-9Bx z5*6@y4Fq7DF`{^#U<_Q^ZogqVCE-w7j_KPnT9vmCzUL2)*i6b@KHVphi(PQO8oNS8 z)9gZ()Odgfs~KW=5>3k|`C3}-JyCz+g_LK@jju*T4 ze}MO)D$lcUp{)Cp<26cy=0rQ>wEc}||1#iZdL>tT6Mu+j{JVbcUFWZea!r?ZO@per z`+%IT``(=L`}~}5_uDyv_X#-;_p>>A_jNh%?=N$>?jv$2??-dc?#n3e9*!MQ?RrM$ z^zK}R?$B`@5$yt4&I-K&L|V@mygt7N%8~~}$|SGm6{TXc`v<;t!X5b+KJF2-i%}pV z@1w3yC`v#sPlgOcDtRdPlhfbY%9o9x^0yC4B_2B4>a~?AH%|mIK00RDkvT#9C3lD0 zeAS@6;=M*+!Qk`m(5mjdxyOwv8vGL8?M0_=CKH$d8R8Zy2ZF94)XMjY4da$}tQ?lY zKb3pquV@`c+m$)bSIws}9zGadwM*auAYfR65i}w=2^Ovw~d<-%;|tX(e2TMl(GTQ^DA>euk1w+J^s+k+Jx@D!RC!{vmw$) zEAll294zyPFsqA2D9HQ|>8CFFF9=ne=xssnf5@qcMDF1SxO_g0E4dBij|2eSRpR7m z7lyHjy`AihO zzBSr`yyZns;cy*tYvU~9@GqRmj^>dx&M6i+XbLUKns(^kj5sMwHmLX+ieM^ zhGhi~pGU1#?Q(6qX;>@dG(gLT?5mbDnZK4LnV*(HzyA?@ALIyEOGq&jW;DM9)q!H7 zaF4>5e6a~0UrtR!Ty3%Ir}@!at#bv%0N05*+dpYpE!ISMvs?*j22W}k%on>0s??IU|A4hLF z8!qDK9w!S4FVgSE&vS34QrE}qKhf=lUGQrq%slFzn=6?6a&~&)#Ae7&(3;0{4yW!Y zI3))zhYQYT-i<$+y`KE1$R6+ItAN3;I|_gkJ%2*R=O6{AXxEzM@qIO&Cqc*J4D)#B za__1)v#Ez;F3}-o0-Twt6AI=<&flI<⁢1ImO(ghjU+L9!@A3;)hQ5nQvK-9gZft z*+%Mq7Ol%(p0pQ7F=2{bo;)$X=6p!?F}PMS?W}$E$9bZ8{q7;@X~fsGv-FTzyNo`q zGDCBsEUnV2@wuYhIzy)M0P zh?hn%EdKq~@X0+8EsS@DC>lM?TIkk>tmOfJtEmdJA0ceMFg%4721m*N(V?4=XJ1FNUa}_C z8_I@4PEh)E2xx>{+(sx{%!W7HUvclmxw<~X2bm|auBw~I>AK=nZ*1xz(N~D9(R!Wl z0qX?c+!oV3^~_jw$c3O)tVr;`&>AG>E(5qXN(Fl~M4$cNUlWAJ~$W$=H4drwr|)cK0awBpetyGY;RWVc6b;2JciHUIxW1XJ!S z1&BbklyfoHPx;Aq{cxjpzlZ23%QS_x-mkJH_-{fsN9k=E@ekTi1sr)K<0o#q54R;Xi~f zXe&NUPb=<@l*CLezNc7xi8H{97bzdw;wGa-Tm2x_iA>e*zeZx7!u3b-$J1smog4P^ zV{c;pdl6s#_xZ1}>=*mF?$;>#tK==OPD^iH`J;U6Xngf$PfJP8kF5Z!b=EM0MM}4o zdxwevs|S{Pz$A>*oK$$!B9I)GSL7P}nO7t_I+ui^_1uwbWc79_DrW6g>r+&I0$xSg z!DngCGi)g@j{C6bF&FmFmyiWx!u3GQCWJKf&$c1w`k@V)SA@TN(JW-6{^ksP{sKQ1 zng5$GYT$rWri{YfW-BBh*{9wgyvS7eP)}wWZ>w+?rX+_|-mr`d(c(XC*l*6Rz(^|*< zf)3!z>eIT$%|TTOUK7AH0b^~`&=z(3s9kK=EA6z4+7|UZ1*Q>BBn8|Ehm4gnSn^co hYrI$0Vf&1EPATY=qTC2aj>-Y%<3pjNgDOd*{0B^YNTmP( delta 43985 zcmZs?V{j(S^97nG&c?QF+qSKZZEc(d$4*!h42rq%{R~a{hm@38#J0>Mu2%D=pqsX|#9b_QIhykO)A0PTlIVBwN-M!lmP83OMdCau4p|>5c9{pzVX8oUHSWsDl zz)=D7p5(Ph;8B{poxZJuUq2q_9%8_cFWpa{mq!RTWex*$u>s7hr9&Qvrw5Id0P|zo zDO#j!UOk`SmM8)2vNF-n4B1w^kI)|QqR$nZtT(+&=}Ax zJm2{EMn!4=w;NHI^~ePjo>%^4BTJKQxCPBI;GrP6@Ih?@z5L2`4!#!5>~-` z$-*P>%HgXl=7K-qK3K0Mvl)wAnBK8lWKUFbqIU z*+*I6&a#`{bbvUepWAAwZ#V1yqe!?kQ*6+cI9e{Nmsh%o=gZC@jXoS8tO5XeylYAn`*#fe4R+ zwlpP6{V!C!drc^`?6R#R`L`zCZl3fsy-2_bKsik!3P2BlN^^|@NB~L6?h!Z^;S#<)eG|$*dE{8lt+?sP-$DZGIg)}6Ko?T zV%7yK)}3~OSwb*4ogP>rsdTki3HK{)-#)B`DqW(QMG8QyxOGt7O*kc zG%%45AJIV_#D9NEu4%8@6Gli&ta_g${&*c|%Tak&ss=!v zlat_i7*lC9*c?|`&5&CGkv-u-#}k%pAUoY!Tr*E{2VJuF)dr3(6F$nrqC6}+d3v?= z5l&m0(6sCLm15zIDzT2HD5FRTIJUiX%R>4$*Wpo0o# zLhm|f%nSViIc8vA&D#EfDgvVdPes~yRf+gg!T-07F?#|e7p3AoW(&AYPJmQkSo>L4 zEgkHb9sPJJ_!l_G_$nJ{Oc5*hO#IPM^r}-lMzn1b+GKcyo$dz-d4i(ls44~Ko1B9X zj*gHkvp7HE)ngYGa~iEO%n??>qX~A_z+8uVf@(>1?ydqc5EeyMFm6;)Av$h(oMWh? zyCgdema!U8)Q7t{JPnZ%HoZ&;D=m{#L!?&YAqJ1Ff&#pk5$~C}LI+{3moiC3!W zLCN&5p7!xGlL9Uo64i?{(!jRkk*dmBAu1D{X$W~K%ws+unccx~;yFW$K2g$$zFa~$ zx5^5Fwnj(^0_kXz{XGL2X2(m1gJ*xMx@sN$QB9!dg6YEt%U(mZ-2IA(K53*+0|MMj zLsMmD2}muYU-RpEM_GtV0%_MD*>-rhm*5Q~j3`30RWgq8%eTU0xG@dWa?)b(Q04=+ zhCjjm$#IedU7CK|7{zOJzy{^u5vrk*o7<9tE<*DlhL6X4t(O}Aj>Iff5B1y0wq?l5PqJ95)VdwD_q<{M| zGQ55##q#Y7nd5)HU@*E93pY(j7}#!@IN0bOB?LS3)8FT`8~dMz2Y*v08J^7yDa=Ra zl+s|vra6%u!Y{eMGX$}2Q$WIZQac$Une&X-Z^1s*1zA-Begm`kWWymU_a81y(!Pl# z7-uu(-92Br8SI%4mB=rO;%cogoAm%4+0#cfUUKSC!#az^$Ff){Yk;BXeElO|;$rO@ zTuAnRdfz$Zn<(;kiIE$!%zo4e%uqNM?Bazq%%agveKy95Y27w zu$$`Rb&Lc2<;fK&tn{ExxpyDBdv~$O`8%1zB1tR9uIF(r(^R0|<K+nbN&Bg4gCMihwz** zayA~i)>>Ys8n50GeGR}TBy)WY;!a1Ov_V#%yT8}3@X?+5o-*)SzjTquDG|rqU<8$-Fg5cJ2F6T!TktzC-_bN(+Jk_6(BT@Qxb*+*VZ98&cB z3dNwSl)cT(<4(gfzRf59iw4&3Xt*8*{%0yCWbuX^%u0e7Ba^W%1^(x-;A%GSIf8t8FHmWAuO`9;hb3KL?&O zq?$c8-jJwWdZ`A==>&?CGS1KG3BR_k;aRA=@^9|^w{-DdA(u$<$o^lQp7G8*AIiIM z^8Dgzfwlv}l03Gme%S|V6D5jLPm;yxv$%jJTVji2adPIJGe1TCxKuPjA zmYonY(L#IbxyKz7_L_V=(Su|Y5yi>l9P|yePOEq8oa6Cm1heJy^Y9|77KmhwT0iRk zKDBWsf6S~ameu>9jTM^JI(C$Uj%k6}|4_{(Jx@U&#Z|cd#wJ}va|f&vRVOfA`l}*c zq08ni9dUaq=)AG0=8kKTAvf*k`}R6i*~;kW-Ive!80wHcYBC$u3!jb;nPvC6w^{p0 z5zw%Ln-xLz_itI|%dn9$mN3nRUib4q5Rp+4P7fYvap<%sXky!GkzGXU1dN!fn*Hjk z`X|!)mq2a=p+z=X%LCv>gXLb6RMe(FS+4qEdlkD|4SPUiRV6qy2d080YZg=%?6mfQ z=f}@%rwtYU0E~c?qcFK66dAOw*^Z84&=|(^Mxr{udVbv!B@JbxL=C0%6OQ6(yGM1; zzZdL~*0?$wbT#nHphQLTdbY*G8qzTg3A1B-^ksqp=$zJKEd;8zlK?whNB7RO zjVEX}Pzk(xb#NeATL~NvS1OhL=gs6@)oTsK4U=&$zC9?&xxdo15;*~kx#ZS@@LzRu zf|tCQ8c;K^GRd;U0nk49K486_q&W<{Uar&3Yx=Uhe6n(6D1^?O>o3_deXk>rWhmQ_ zmLH9fbf88q{2Q+TTB=+TlYZnv830rWKA^3MBKJn9jtF=y$w!MS2IZK{)%*0Cp3h-) z3-*g>dR}aW>UiS^M3KYeY-=aWxcDduG7issVQ{XZlB~Z6q#gZ2P#e>;SK)`mSR_2$ zhU-_wrg`#REn(O#n)8wO^f03DuqYbD&#K3;p!zcCTb(>+$ zzCZ?AT;a2c#|ml0fbD?{NK)%SjAOjKe}cr%#qnVm*<$BmU9@RtL zu(FO8cJ!BZ3`Ik%NRxAW#19&adv0sXr>n+3ynulqopY$ks*Nq?VLyG99KLj4yZRO$ zH!UEhN+~wcxy^V*4H+kS2~y5dGv zTb=0MC+2pw>t=eV{*CQ$yZiXBLnG+8)tbpG30gnJ;t>8@&Gn>D*;)B!O!rsgG2do4 z4dW9QtiM|0ZScmA6jKWn5~b#yHp?6L^rk>|bvPBS!#p8Q4QTur=svRwe#88m-4G3@ z$y(E5UvsBod{a*!E-Xxa)%hnkpCc^JzQYz7#3>Na4kFOf2TVh0f}RohE(z`A;RsF6 zS!BGJN5DAb`Y~adBAz~OO>+`Dnfywm=}yL-PH7aC$)Onx{+Uj@gvgwGOy0jigk)gW zWz89hvo_Z2Fr{*KjQY=yPu)4G^9lV|=aGP}`i-X&g*Hi0q_txJo}j52-yz#B(X#!S zafft*9oIaU==c^DaLi6V=<+STOyevModIqUxBdE*OY`SgZ-uGvWb!}8Ci_PxQeGkS zrP&&}oq-na0tsE71Y~X?8&QIVdXmOR-fqNJx%QkwBEVO<_w@DZKXa|9LHKfv5 zZx7_*pr`G;npOQmdl5x^=jO;#hK=s=2{>`rTIohtjfxcJlK?-Xl1!I0aXXs}5x=CC4v;2!Wl=l>&%W#L>w5uB4+rp_$bc(3 zkrKNx`JenDb!ys@_w6ESSzx#O(p@&+Gt)}3Q|c$ClsP$gkxPT<#kyBE{TNiZFzCLRISR5AFob>yqy}U|J5=AKO^w>Du$C_-pGXyFMEIVMK9%&%9YbP zGTYKmjW|5NTyXk;#>2uwwz7M6hJkdceFnk|95FMxhK9nQs3gOad;J0S8IUQ)SD?|N zRnmw~sOWO@8V2z4gmx$<8tS+bQc8nVWs&Mg-}1purA!(5f#B{qx?JybE!%k(i79lu zNG(a4IpyidVN0rFXXWcV2iD{yDy8)92ilor&SF}a1~=IRq_x}T|0HCUIV;ynpt#O} zzT|~hy58A1>0+^Rcg+RfHfO8KrUR@wv>In+phnMLV}AxguV!BVO4wIqaQgJc=&OQE ztzfTyXyK!xT@j2O-Fv5rpr#ijShUKlvT0_?)cfKxgbHryQ>DeCymnKF;=T5217n$g z_C-_$U*8KnrK*6i1Vy7HE?)EZRQF8T<)K)ylQ+whEFZ3kyvqh^C~#>TjM>SFAkTu& zjlfHtHeKXmJl{|s3NZZA5VELu1iLI}uYSJ>&k^{ob7#~% znssD;@IWQoBb)|IR_-Hhl%Y8Z)oYFq=L549gC3P8lT%KSbA3p~N}vd}+8~t>3luGN z@{7w)$mnA>!!RpUZdSVP?I>ZK;*oi3kxb{Arp`)-jZm&#>i55=z>rQ<{8~5e_mrdvE4?u$m)P(P0Xd^!~`kI&sS|E0V7EvPsvu zc~Y}}@XCMLP4J44>VvY|7kAMHSC=rKx8bDhoPI7aaW z9@WQbRqYPMfq1Wg>WnG+TaiunrS!KCMyNuOvKy_GLYNcOsWfgYW$nf zQ~drT^!x|AI7GQiPBy<@pDl*Zit?c3>1a8;L7>(J@kE_650i2W0{?6~@HB%Zb zTt1|>`xJtiuKdCy_E6Hs#yiZ7*zR|LVQdRxd22yS?YEL){!hs+^~J;jop3V_1{lP6 zi9TN+uN;0V`*2dHoqrv_(0ilv%9F`|3@B7E6*h6AixSR#Nk|Bjciyel_7Et%B)I_v z4JwHBOFhgC+x)Z!Y1$A7PO5Ctbc$ftf=dT}o1j1z>CTZ38Y8X=jtw3J8HdVK&4s8S92V-9CD7IYBvYX;Z)CTjVf&{^|D;c0BT`%nJR+q{ZkP zlVPK8OsWUIF==-HpU4GUJp*f$0a4%S*kHdlIwYR(!xsu47u_Rn!;F+^)_^y|?AIA^ z#hh9JR60I6PYR{i!PAVq@`Wh$Wrx_Qzm^v}cLd8JRrhe-v60;+TJt+(s5L(jiJ zL%q|S{vJg`jgt2T&ao(npYPxxV7f+C?><`HeO(TOXpf=VNKQP}0U3(E{*&vk|K$4X zd${$#|C8$tu1o*G6U!GxSz0uKFn=iJGa9w;xcb2k)dv@XqwK&RqLX1K@i*OyJEM*n)(wIE&L2;O|O-&`l%>VcN>AlWAqvGdb#!ZvPK z6t#DqP)_)lt3Ko(=7-@qXBrXa{6(s9c(CryCmspQWQrQ5x;?f zeD9-~XCB(7tiPCw41A~v+D&@_i|pk+!~h7Q^Tw>VSQacI9o*y$n92zhUo4h7wnsh+ z>Iw&=2MCltG8Tdaa!6Ulvs#rHCy-D=Caxb^aNt)Q_um}zP9);Z4x|M2FZr05C#ro+e7t0C&h-<7rFmonzbjp*#>EMkA}+5xL4Z*kH)~`>1;W=6 zpf#gddLP9G#~@FWo(0nj4Z@kagg~RD{OL}Q>|6+1X9j#{xs-B>K^e~=^Rn2WU>-Sw`Kwr_;ZzC46>5F zJ8%z^u@D;x3}puF4Se zAOCy%|HuCz|M7p{nO=3=N-WETk^XQ#%l9b_8xQw7<5tr!*QITby14*{Q;cI7vVt+N z%abPB>W-77j5;bx1=`;*oXj4y7=E5Q{pPQNJ=y*ylY576qIz)9Z)sky$J$otWfJ|e zB?LL%RLdkBKUGNYy@%yx?>?)`QCa$0JZ?9X&S)fTyrr484s{ouFl*)v)CV!(g{~Cs zh`yZm7Zi01E7DbTSux8{t{n2ama3=5j$NNI%p{eju(0Trox13lWxewvFuxdL3CaQdh z_s1^m3fRwFe}oW7CckJ{#hpqOe`nBW@FivnWj^MYtwymOFp1a#xdn_+Vws2~lD@bX z6XQ|DK`u09p~~!=Ou-EEi!tZ!O37!MnlmnAzh|RMEld}_T_~KGD`efeqsWS(*F&8- zQ$rr18tzu~LQujlUj~BqN;D4~d#Y6%tn$8x~yC$V&rHE8c z6=-M|_N~z1>n9adX&jb55|ici^OZPwdn%SPh6NyRwA#ec$HZwX&c01H#ND3j`*l?o zd#uK11u#S^O_FYd>BpT~<~4%UVIPOi-Eqyn6j$ShX5ah*^aIO_yZy6?qP?|FVO^{* zwPn9^!}Q-tP)jQ;{y3dmS>3dg|KQ(!FYXR!s-oz>OM5j-QA@LjU6wB4gxIbinZQJh zGdGDxi<)2HAZ8o6%thZW9`LLHuDf@RJi>MGXudH+aKg9ndZ(4H2cD^V%;;PQ;Y&ZfKiVbpK<7y2dlgry zCeTiw0~9KgN5Vs=FmbDy<|;Y=l&v2AY#N@t>9DAOD2rV*2N;sJ8r}1qPBGf$5d3e6 zV|L_GNGbCJEs2=}t}{B{wMDD3Z`5VKQD0018mxE7x&P;%WbJV+^c zf>d~2VHR?_m2@vsR3XFpX2hvg^ixiEx5DLC%sw-VLIzUIFEYP3{v1z&9{YTl(-RCG z_CNN86UN@09X{Ng7|)09f5T1&w1|j(%VtHH{|?h3r5DusCf#_u`3_)J&+JaQb!`IC z>hP>1D`VPI)$_-Pi*zXLE>wX3DjJ)@h~vdU{p*D-xB34#hW7gi?JZMnqJ_w0ng6b} z;*!?jWp|Z7JgiY_oQ`;}bv`zof6lCKR98tSv`Gmx)2P8sa^CTD6eS5I!S07I@>|85 z{Ob!V`6|vF7*XZ)Og&+--(}oz_UZ#nJ9{9jc=B<+#ja~#WQ<#k%bE8U#xPzGF0%xM zCBFzN`J?2bzIaqzF8{-f=25(1^E7<1nr-=_@lf%a_Xp*hSt^74k`B42)$0`LATcK7 zCdac{1DFrZi)rWBtqgi`c_rrHVU2x5jqG?mTppgdPdwlvOpBB`3OW+YDrO3(tOlQq zQSlkCGjN=1{$hOm(~2hMw_H*MY`4keXFJ9&IOq)bvh+_}x}>8BmMm)3q9eD4DdMNh zULN6E=MutS|tV_r( z_RP;Wf!KYXU&9b*d0`=JtZ`^BQp$@u3CT$*nbt#jR&a3i^=Q%jP7YX-G(*a%GD)V1 zNe8hBNmM3u(sG&mql^G8Mms53S=TorT<|5*T z1{y2Z9rFb|C^;9r^9k%w4XT+RvS+=6hStr4aK0tjNdRH2Q3wJoM?Ej?j30kZ{F{yE zLCocm0tvK+mL90?%Y=XYZto+qnO%SsU_U;|>lK1{Lcqu03wn#>ErRr4zFxj9Za*ZCb#c76_KloD%luN=*BrogZ*}$)WQNkuy!)1mD7X{E61@Vg}p$$&&RHI3)9!p>U zND6?_V-A+4=_EK1fk=RqE}u>(#%&6;@Sr`7#%ALLT1@7(_krQYpPm~YpP0l_9*j7G z)~A;yZjfB!cc%njoBk#qa;~JEj5p2ZzuakWkmURqnlXjKzZA%4NT&^}mxT(+HU%20 z?GErzqU{7>H77Wq)RJRO4`98Xgut@#L@^9S_sTJefT5%FRCv^eSjIENVU>Dipy@6d z!K|eNmY*3ti8ijE9$T{WOH)FoaPuoJ%=ElxhN=wLSdtucT6*7new>{41p$XrMW$7t zCqn*CB5|;q;S*Qsl)y=dtlAGUuQb8;4@Vj`t5TDPR>%B_52-64(d_Q4^9m zEE2H)`B=iWWruijOeH^Z%=1H`Ui-*nTDsHgT2xbz-y@4Sts>vp>sPmK&nn)$bY?C; zkXvD4VroS6Rq}13N5J-acWGnF+ABJRV`G3|E5StTR*#&^X(-#*Wjbg)8+AW z?$U(ENp>;$hxMya2R!ePb?tOM2|SuY81RUmC)LK`?A)$ZCI^$_5&pcCMlfE!9im>M z`2nj1ah}h3by=Dn5`vihIP*wOpF0>GSelgAAGQb1hHC&gM?-UI+7kUsE0#Av; z9u*=2UQUWJfRRt27S(N%tVK0ji7G3{`09zH7qlu|IC5-udEiDCJQefq3m#=>*GlT7 zA8wzV)me%1p5pVcljELNTOnf!u-7b3_>xs;IZL|^+qgi$Q9QB<%{pj>BXrOPGVNh7(r~<3OBKU){HToTdE`|% ziB!X)l|hliB6Hv?MH`&WonHB8Uam9ift9~L3))uO6rEls=^H&#w|jpA&A3@KMQ1~! zR0A*%MGb&q0QP7 z;z>Az1!1jN7UHb%FzZC2-9*DdPZY!Mm${vci0C5$H))b@T~Fv|7rr6xw{EyLpTB84 z8tnsWE9ktcN|+rVCaez0v9t__wJhbXK=%Jc2rI+FWT1nwa-G0_L2LpvPJg@Ha1Mfq zZvG!}t1bWx5di=19i5r^{|J0YOE#&H1F8E>Q;B=GLVOu4AYC^xb8S#Pt9p`aZQzms ztLlcSZwKV(NXj@+5f+AtgVk?nx^KC1Y4h~60~bb@6;}5OYPCsF4ziGUxC#V<;Gt?P z30+8&X~LbKEVzzB^{nwDY4UJ3A8*4ce}ieM8V|+(3w;_hf_OC7RTn5QvAZ(n;rcHT z{s_Etv=~%O(?{^HLbto$=b=4X$cgL4q#3rt0E-x-c*}`@Zv#~FX70%$HezibPyk>r zx~N0iWgierfaOShalqW`ZMZH}Mv#M6=dHvRYn+A{pMV2O2US+QG^2~pI;w?Vhu(jM z2A9k_KCA^IpVyEz4=9`fqpUdzz{)afRH8_a&K%zr!uEyX0{%=6G-(Y+Oajw9kHdz#~;n>3}lt4mg8?Xus-u9$u{A~&<5$SNosnIKWH(7jjGPBaxAzff;X zrI(?~8WtW#fdD1sY}&JqB>aG$ZI`B1(60^oo^ky zs3m5Knm8yJQJH`-TExgmXOoYn!i-1W)Rzqt;(Bb`X|E`;uN+^27)l+*untG$ILwCM zgUv4INUev5w`mC`&+b7ZiGAj$xRD<%0BCLa3FVI{9(P1WT6a@{)QT4=_); z$wlCU?k!~p=DX^yU-=&c#=0Cn87;CBFKD+Ctk3TfIU=6CN6FDNEK z+F#!9CcX}+Doz@-4k$)is4FM}9xD_34@NmNdka@fRwAbVw@Jjz&CJG&Yz}xtBx!Pj4F^#{`Lerw`MAK6JgQmrB!6L+k&s(IrC$tOO4G> zm!B@x^P|VmNkzFKJ^NI?CaKT_nSs8`q*0&Zn)%)gzbA{0@PY|AM4*U!AkX!(n zZQ8s%;aP0}Pk@e)i$B*aT<`b~pyBTBZa^VOI5&@HrT` z6!{|vVWRT-H*}WgG-C^Gt-~Gf{3rrwadm*4e|CYSbMvI@eyL{C?i^*b#f7V_xrZ*H;W>scHH7DWjIB1wTjREgm8(Ey*C|fHZ3^;q|_8f}Z3p3sX$v-BZ zFpp|irUuvh(03s3o!=;dY1BxD_7|t77JDC@PXd4$ZlIs7r}Ej^=YPJMH*O4+zoLSgvuJ0h1Ce7x9vl={TYK8+tMPZz zKe5rUpJ8 z+fB~p^gac5DIS-9ZGDBof3YjUK073S339R6QvkDw_Y7Y&k<2BIfVkEABUG?eLtL!;2wP45cvj^kLFg%jS3*dwOnJWaT!NCCX zZ#(!e9o^?wnC(}f(aTJ8U_@3_Gp5j$!`LL<7tK3R;Hw?T^32GDf?ytd^feionH3TA zvVHSv5DNTje#yW9RR36s_|m-wR(-J_3*}+X!r9xc%|$a#Qm|4^R1-lw%~84AKa zTehisCV5FKD^;5q7@99KD5l(a>vNghv0Yh&J8MUQU#CI;W3|y&@MljEBir-q$O$JSze_@Rv4}EqV2k3X2DKQvC1Q5NGc;i zz9gZl_-jj;fSPm4utMwj-n>AVji211E?qy*%q4X5js}SObi9LW{SZJs_iu7ZRO56o zNeiQBR2NKs0*b{vjceAN14=G?>0K~4Z-7(ge?l_Av>XyD>SR&l5Fz8kd? zT0>}6?H7j#4^AY~vn>QoO}eXs6lO`Tnrr<)$lPq9z=R9JSCx9zOXrXUOivYh2-il6 z)?z(^g<;fx9$HR+D3LT6?dBJDDyUeoZpl7Pb9KJ=e!9)_U@5AOofEAlZVPIOUjipO zZR>y;+5V4U?GswLG=9?TP3O-Khm`YlEK8&0-AK0cV}kPo5>$YXcdqQ9w)@>FfY799 z+8jEc7uYp2oI?B>eSOs=+s5R5?PX0%Z-9m@DaqWd7#ugww7=)=oeyb>wD98}Zan3V z2du0d-}5U||DS1c`G=Y;uLlm2Y&dF6_P>C)1iUh>g1BIvu&RL#$dg;6K6`I$pN@tv_a9 zN}2y5;9`-h(=+`0C#~@efZ%9iBBD7u4+qN-xx7%Pl=x6nxsrqSqU!|G%o8i6`e_3p zlivpRRdsip@i^5BorjUepiiid0-$J8;GoVk%jINt`QeH-7NIM`vAFOd7Heq`QmiId z2-S96fBr%2WDCoxFoC-w&2-bc?GuKo4jt}=6+QQ;6%B{QZAxuOvq5H4^Lv?S`z>iB zj>sLMSWxP_^4{L^WP_ar6~~;d(T5ETF-#H^e;F0695XrkCkN7sJG|?DE?Dj(7)nDv z%@&Al7o=a=2^VAT5HPQ?@kH!$-Z*7V#}ni`T5WZ*-J+lncSP+Z;8MuyL0Xy6?@73X z9lL(#t2$&exNxSk;GJ+f-0CCd#D@FI`*n=1E~Z14u;OUm5{?_196jkuLlXw{qOOo( zaZ32D1cP@)5`tcHyEaJTxgw9erTq(>sj8?oG`)ciX=a`*hunV4!8JhXlUnV>J)n*+ zw)Be8SFm_C8PJ&#Q@R}`^Bd$`YU;|T@RH61ehw+imj*x0RKQ%4zS4>f6Vo=!7bg;> zcZn@yXXuLWDF;m(N2(1$bzvO1joFVNX=aMOsmiK7S=irqAMH5X=+idKclU0JZO!-oK@X=C=bW>Gm9 ztwS24M&=rV@5fg$C;e)euOl23WM%qP*tpAy^oN&^L=}kt)aj&ng8aQS>T1%nQq!1L z1$}KQbNK})%zvGIW=EbgT48x+J7>AMvy3drahIjY>uzcEQBy&ume!Og{m+cJAN-Sb z2y$Lm?Vis4jIXBY<#-fGp<)oq;xGKFSshW2laZV4S*=rU!vgYn-|1JrUrtrz3N6*F zPP?#M-3f~rQ>RTuMcD&AQTxkfL3pkMr7`HA?lh&as!F{>6$K@yePqX0Z4_de5*5 z{hML}m2G~-T=1bl#wz43zwI-U402x?A)#4mwH?V2B*)kM1A==r;MNOL)Kk=PcgUbw*hrc`HL8nj*jXk%$3C!G@X{rx0^bYzgpza_Fl2^PF;!G}GjljfbGu$#vpd>KR&mR5c@ zZLqA`NTcWo_{?aP;Yhi4WK-0a_Y)^;el$wpiL@kYM_TuzRXYM4Lh}Rl-G$1dUZS`a z#@R&kFlCfTE&g%J&_l9*;o$vN9%xZzAUlXlC@SHgZk%o7Bxy9K?S;^qO~UjL!;kx2 z7JR!2k2L8I+XjwKo|wrJyIi)I|HYEKB9{7F!0aFc>?EVoTvD(2iKA?>^sl*+S=6zv=%u&s#x&tJm3EcjI0V&*d{2r^#36h_1I^3`yuR7E6Tfg+h_MBzc0p zuT7%F)m9uKUn9^lowBBR0YQ|&IaG{n${Z^1fi2e7461@X;5^cl7Gu2ukw3skNLvGo zr@5yxUDSmeI9`~%(;Ia+6Q2xNWM+4+@D)F{B;7Hf(7-dlJF_a8(79BO>GVGZ`fpGn0rY9t@dS|9gWOo3u3%#gQl?Z}e{2 zoft4*&yc`Tv0Ur9bFM_3#A**5HLD6jbJ*UwT1FrXipqqBrh&k&SwM&fKlD#wg0}ld zDO+@#nDKg!05^uc&OtR{pjE|8}MPC zMQ@Z_J=HA!wap1cUsh>(!}trJYd*9>gwfVM=r+1-ID9rQf1vV8Nf)#@X0~MeMmGlv z*c^L5)b6#hD*`9;y@NdrBLQw%?qLwuoY7!>}B%}HTY zlTsqj&zGjnaU6p6QX|GQ0FLJ?u80o3b!qJH3}rH4|{|4|z>Ewsj-2G>MH%0kH^^n6c{ z^*ip(@EPH|6Y1ZuFivA!icGAp8U?*fiiUPCWqM%^Cq@%L?fmrtW-J==DYrCYZcvQP zvsbbh7I|a9EDT6li>lPE)Dm~<-Wci=Q(?G&2pQx{_01X|lxT~y0|KeY;3Bif)&l4y zGIwU@O(B1Y)t?Co7PbW7+9?}EOWh-%y=dC%KrWM-a_)wWxr#i_FxvgjAdbf)Kq`Fh zL;$t^2R+Me&&cx6-_~XOH$?TF!sz&fO0)6 zZlDv0Rmgu=c0-PT1gdJ3o@!K4VyGQ2_)iw*{>iYha%(1YhH?xILa(xJ>QK3f$g|M@dB+~msh6X$r-D+t0=X_iE_ zKrS}?()v(RgZ&SzP`c$nSTl1YB_;9@OBUBqN7I?9vu14W2(-FI-Em{P2>Y5ghj3{4 z5v9kEi{zGgZlI}@Ed(yc`o4)$&m<4IRYL6y{P&Ae^&E`Qs|SY&QrvZQo&#f8oz(dB z3L)LB3SF_Tskh=LTzc=X0vFabqzEP_IJ;|cW_hXRTW-yJjh-aUdBw%&_npxPe(@`4 z4~D>5o%JLsl(z7OxUr@+KT@Cdn`fSebMLX_=(yvRN#OgV0=OJFFsp|SlJW3T=A^_R)8zbJeIn8bVLa@p6 z5&J}47`U4c4cfOTxHCYjSt7ZUMSi;2__SK$Q+f6Sw4@GRQ>eG-OtB$a$2Yc{%}C<; zY-O&HUkX@PwQ$`Rg>stX>dZ#nGC_Yx5gl|~IT3RM1mvwk*&(JC^(g1u>P-CI%y1LX zJ2)mC#NJs-B?+;g>komgl~!GX!DvAfv>qDY0E&M$V6>^#IM&u9OM;dS7+Jsn^)M@$ zi(#vUFoU&RXZti+(V)=!y#4L4myml9T9X_NeY zmVzc>-L5jpKlFF8yc#M~1tM?)mtFpa49H=gT}4QqZ&jMjQ@r2vYN!oYG>f*V%K`WN zLR4~P*HUJW;D2~@;9G}>Qlq~6lzl~?5Y;3LILc-@66`|B#TrIQvn@&|yN>)n05(9$ zzu@?i1}YH;NJoryLnta^ymA>RhnS7VK=|&`LqgPdbj+QpFbV+@4Dz`B#fmV(7_gv7 zRAoooVbl>c1isvVe}_nOmIi5p>SIY=<<6y;e;8uI+G38g*Ii(=k2|4Vb6(0soi|z+ zi_ou%j|Ti;wWm|=!x<@!vaeAbS`~o5)077phO`!<=KPERKxATW;atvmGlmtlB(nX+ z_lFp0;eS4-pU%nLonuC4BbO`c8N)~^qrZx$Cqoo8{i01I3@*$A~yFXY4x-l9lE zS%MK~ul|rc+#R#~_JbG;zpf7_5mEVT!KQeVZvp@;v)w`7FEY3iWrWP))~Hoje_SF( z(@{%6n6SZGUa_Qad>s1*MlfYI2=-$2RoBvo&Wh4?oZu)-vT(^;4#|WEUxka;F7Pcw z^|#rFGWD#LG?Cj0$S(%^ozAfK-D0|DX}UdFj+sKUwxSQc=m_lSO4NkB5ZNJnJO#$I zhr{JN{9wSYtrEHv34aQe0gEIce^V=FN?G|r>c<0%;QG3>#FT}EH{=gg*KV?=IiO#D z+~j%->E1&*zt9RIaW8n=@lo5?>~+@|<^J$v2)8_&^dBA+$`$>SLc4Mk#+cKBoVINl z?5!q{a#eNvk{F9PPgsa~qP10jMpRjNKHZVevXKiEiV5+4u(;EV$icJcf8Oo%N3=&u z8F4n4({@9!l}$tx>j_ zil@MX&zHyr1S_hW%rcCr z7j?6w3d7Nvr>V(0OK!oXTpM)y4q57}i5GSkfK1P{z3K9n0c%b!eMM zZppA%R1`vHDP^^kA#V|IJ)12j3)grpqrAyAIg|M|wf&$ce{4INT2wiW!epNxHLwU03N<>T1_u5Z4@FAfERYOdjUpJQ(^o;et(M;#Z|Hz^{Q0j+4_O3 zuPcbdBk@`QwYRJ|{ovv@Y>ix;U}-$UzBhz=lO<9ZiRRR6R8&!|R7hEW+p?D}3Hr3}M zzY~dTG+4i+wy!&S-j8k>+m(A>$r6)pnyY2}hqFaRaCCVjtc%U0NlB{9pq z53B7Cf4yGkR{Wt?#yj`JfRMn7rmmDSPt1Tw3N7pKkAE)BF7H9GTD^gf(P&wyQkux{ z05MbeZihK~T(=Evk-rL(wF+JCZC+m)H-bVypzUC&1D7YoGekE&O~Mshz*+PjDst3; zh&!HU(E%q0A1z3G5wAI-91%A5MkXhSHhhDwf2Y~Hse$*kl87}E-FOn zAANN7{yoD)wgs^UcQ7=~-|3D&-P_2K{!j4WmnhI;kZO4;wX=XP74b`edFAfK9>9KOEKn5HsOJ*QXqKiA5 zhod+`AhFT#B?nYOLTs}(bFhx$c~m)6e_{6v%hvU(^Nn;!7jtMJLkrGd-CX?6jt={e z1N~rwzR>97-SJ~_4d@s=C~aRjE6Wsl$6mA0WW(iy(?0N;GiYkda0}*I_veUXrl+;UJb-fC0V= z*$v6hvAqOZHUJo1QxpAwty_ycf2j~W`N^D{ajP_Q`>mZbV5n)$Ne6(7ZlX21%Eu<6 zYt52Ll@+M9{yZ_`ulr%*IvKoCa0$y2W5R7$%xTAEeiz@6j-7k~+6~AohkgWXW(5?fDe}Y^rb@Pj~ z61WV2pX|^Q=CVNb?+Ckn4TxJW-_6{M>e}(JADy=l%W^9c$Hb{?NL~ihKllM6`_zZn zU4M_z(3e3QW+_%vg->Pc%{ya5#O?A;BPn3K^nyKNj6|4<55(7kz zG^qymDxik#iw(>NzotvKA#)yD zn4qSaAtdm(JWgp(FGt8~Fy(sm5zw{v$?;Dn=~9LYWXrW}4l((@fJg}P2^jgh{vmHb z2g^!XeuVg>O&QMWlRdDnq$ds+MGMjF)v=cU@uTxMy5?Eve{3geT5^g%KgNVdR;x-H z-ZS43k7B^krD_8l=$+Z0hZ;lQEHpA+JaNu}={#rMBVrka7}uQ`_yA{>zfQ*|<^Z zh+akQcU69Se|9BF0$&6GCko9t+p`TK!}F0iq{%7p~grvx3+$Fo<`BIW%EITTgVrL*s4}Y4n>+a z8lr7e2sZO1B0udzHB0!Xi|r@xlf862|r>gdiA#eetdx}Gr5*QY7 znX)|mlr0(3f4@IES=B^jbz~OY!IzNy7*kd6-!Kgr>dqFBXYrDesUwxSzSC!i73&L} z;EdERME1lpk9_E;*|_CXWX6G7z!+0}#|WzNdp|zR6EyOs&A0-G?#i@I4cC6uXXeP` z+GPmif8l_M9gak_HOu`D&3`ZT9@fV@u=2WW-*o#2GR^I1*z|qT(QHY%zH@Q=yWXQk zs+M(9OkwN*JZo}6WsGvy_orNQGT-bs**_vrPz@DNTxvtu$b|a*(l|J}>mBz8af}RI zTyholY+$e!uKVUW?#M1NJT^c%vudGhJ#Im>e_iKtAG{Ww;TQDpy3=Kcmt_{wrPKaO z{(Kz;rKd3xCoN;+GPn9lKP@|?U9(uA5f9ujJ)WN$?h#oL%rhPj{^oXOYI=hM3mhjW z8__85j9gG6u;Q^3b+vIFNMAKUz93UTWlPTmV3@%ZK5q9G3q~Yg;ny(W;;w#!B#D~} ze+SuGRI$~O`4sIRWIM?FRPP~*upENH{+Lx^%&~o{e~gQgH^R&ew6H&uin-FC zH=|ZU?wP?Y=XENvCwe5~)Fwpo z0wR@KzFCy{G@dPi7Ut7R2P8+~Se+k5e{UZo&cJ5SC7h4bwwbPpABinPYuNSblIkA| zQ;6nWj@Rr) zn7~+C>q${O(6x4tF&)w^Aty#nXU+xAbeF_*twHrI|7JOs6)~@8SkZ?X-XqY*!RI8 zZgBRY+u++h0|Ux(Ch3fVSborxWh0^H0x`mO$?M9wz$~Eo*XRK^4-`qDVyqh^W(L0e zA(t**0nyMhMl?YgYAGkXte?p>ORQ%C7_7pHtSHutOfe{QYv)o7!?XfIbn>|ds zVOE_MbK-VFunPCcO@CqL1HcG|T8^?TOPzq%%1>RDhc(?olhB~0EsIPC&+3?+iPf~c zux=KRpsBF13T-NdyV4@oMm1j2v}a!>&u1e>GR`&|)H&HSoWpjQ^^X~4e?%0%K(Kz_ z@Q92qWfme18q@oDw0t?)sdM2=D4yQ7JL2sKhKd|AEK(_ll1X7$-@vU7*N#B-d+hsbn=?(TpwT21&s977 zk)rtDVh_usuuh)V&|~lxf8)-IA6qu7mveLc;W+}Z4_#}BM{+}t>xi+wCuE7qV`+tN z`oidF?l%$iVJZGb3)__T2%3qX$(gFhqFcYtZA7@f^6+dkQ7UZ8Y`dVlwV01k+e{1} zKNY@g@bF+f4PdU}-$2?%SKMVa#6F=Lz?1R)9E+U0?&7e^3W}%#kPJchJ|0 zmLgTc_T-B88!|Lz#uZoMl75kPISr+;Xv1t`e+F>!r`iCqUUxJ1szn1V2yJ=uxR*{R zgLRJiuKO&%o~>-qKwkybVQ}2Xi&2{-W21jCX9rTch(-L8~J**>=o9Eq}_OB)+I0Obd145qi%crOy|$<=gA%L3P@1dj(6{ zQtfF`7_;Ru+V+tSI?#v6_mk zl0=!v^^@%d#9x<(kzTI1nR!W*$s~<-Ug;buUQ|SVwI80ze?8nAc?xhU3UCDK6BY<= z_BW{UCcq^;D!5B}g_|F#6h6G*d~ksK2X8fe-6?3?V~%~I0TE#nRhHq#uOkZ=>r*w@ zN3B;TGnUDUjB01+ESOF2g$a6W(&!ZKy=ijrQFi^bodhXpt{kD;iGeQJeA znZ7334f18|f8WESh{3K;P!3^^2Jt2Yz>G6A+A-!~`_?NTsyLBQ4D30Hgd@U;<@}cY zVA8kyetq~UveDHbUVe`)wtX6A24S;@x4_?t7ftG^OH~IVk?hCp%veNzdgzCIU*mvB zI|$=5YHY=uX+}of=xKN(C(3P7;d%-&;5xZJYN`)lf8OjTZFD$y1x;P3+pg)H-HDo` z6@BNXoG!JXq*=DI!d+AeenCbXxR0VE$3x2C?bW2D7!%P*;=$T%p6rN!{w#eICZR37 z)%>&>L@Po9YtLEHTArItWg{g$8kX6oVC!eCmMpDQSYQFrUW1282dNp;SUm7HZ9!1) zJmJ(>e<&`I!3i&*+VrwX6^!qu6~@HR|AZ&SOXh>xerg0pi~YedC5Duiz+M^A9=jPh zvl_{fDGnZ`7Hi%`!=UfQ6_kn8hw#`*zHfMMLoKb$Fr2Qu7lq6&C0yC72zOGMV7-4P z01ziqgfJ0eVi1RZ9hWuAw0D1`ddLARiM<-U&7$&0N^>;SB4 z-lCjetcal(8e^^vojvKlku2w-R&VX5Ei!v9FKMy8UZkd5fK;>rHc7UjHLi~z;X1I9 ze)F;p`TK#)U6||}PNFrSnPER)Ly&3D4j=vb*&3^wC#4_-K0^G9iK?5$!$T>`T;4&O ze}lwfehZ)T{g-4AYH(01r+hKrN(QKCElS%M0(hh?@}iASqK`W-4jp`TbW<=e?hXcH zb@2N$FX*45K98OH`zdP7(UL(5oYI9fR?X(zXQbkSYe(=k?Ax&}1U9eyOR@a{CAT;+ zaZyrf!wkM!bgWYAVf;Cl*(Olxbm{qlf2H@dZc`<#v#ha%uP3tyN@=zEa*K5234X~d z!qqoczeG(45Nj*7!Z-eGhMzJcPBL%T{NmRNo75uL!zVg#UaR>emS>(9Z;1IHG>^KG zLLu^pqwsrkF3viv%4w=KgnqkdT*{)Q)`dh1STlHohC#20dG&4b#;_pE42S(Ae`AkL z#(BryE?0BgB*@dJFXio$ODoo(Fry5n6Ha0A<2Kg_d+wy*EJejBsjZ$^8tVDUx;%a^ z$=Ke^ncXJ=yc5;-jiXFNdmfbFFkM9oKltziTk0`K=U9nXUN`8PK>6=}JQwB8a$=)#aOzAY_1E8BiR!riVvR2h`WwNPBff0XDTE@;sI z>H4~lMJf_Ah`|RNkIaC(L~FiRr~lT(|^f9NK1LDCMiA_?gCVu65t>$eyN0`MtiiyF z4UX3Eb=Jk6C)}JC^%i<V zUE8pRtMC*lPg*F`g2!q(;+;DiIEU*VD!hM-k+Ad%gZ-#996#;w=lKP_Vsi|bN)u3F zn{%t9%Dufd6u>1`wBkIk&fg{5R8Aiytyh}b5QhJgb&_E$5=V+Ha+<*6*qDWebO#WZz2nDe;e@GIc*LY08gMK^Mj$dN-;IcTm0h(Dc*MQsF~3kZ0n+(1{S_| z!|DXbgvo$ODHq&27FCIRj~ul?QY?Bqu02Mp2m@(E6sOrQD0qy~Lw)NbX0#4r?Pm*{)#A^3(;yJXT*derG4e?ZNUogehd6B~Y<%Jle! ztPBjS8H!F{E>|wX?VBx1k8oUq+7lvW3`<-DW$~I7VHYkz<-8vf#WNB#@*6T2KS+BU~^RG+XJz~!#389gJ%Zkn`` zrJewCNzyoqf8AiKUOEo|7NvvkRd7R{5a;5EATIam(pc&M*NB^-3_)C?T4&P3FE zU`G&SAH_Yj5V$|*x3yRSHn5)+sKpFue!>g=c?N?Te{L&aJeS}SlS0K;#nw+*Cc^O)XD!1L%TxU72`RuS=PP*vNfTm+ zQ%+t*e-7<`)*)qa@QBC3({z04DhB)zz3K{crR(VhCq65TFz2~;Q{Ehp)dislK)RIu0W(gY4wm2F zTl*5>3mPMQk1WEVAI8T z$rU@TIEC5uuuzY4-KdgSwa7-?T2RObEU-jnE-A^s)a&IGH&fAdB+%@-?Hqd5TvKvz zS>mMmDFoF%eO1nh)VM8kIz`ENoa9^Qpp*CMq=iO|x8k2q@TvJ(r_xZ+$FhtOkTDl; ze`cb|;k_;}P*-W78PYCia2fe8>veY_=)oKNjFp|5auulbDC6>y{hydKda~?QZIzf8 zA#YQ-%j*a^$hlcZEXL0LI?l&J82xl|MHp}L5HUxzl3{$O=}51k+(X*ci`scT6^9@J zrEbm*TPCaS0aJY`>#G=rEi0bbcOYawe`GSg885Y-f)d=|i+<@vZW{i z-Rwh>vZU)tLH>*(O@X9zA;9qo9R?rCuC29#gs;&uxAu4ic7dC9z*q9CY6;-!W#xkaXm5=m4QRC9%k=dKNH;ftkX7j$%ZMOn8baQAqy$=B1^(l(V znh@_U@3TB9d|Paup9Q~nk$0PQf3AIL%lHQ8={(t-Vkb|UqyIP)81^^ynELH5jOfCQ zN@GwOc~EV*V}pIg`$O-o-rOTs4Y!3Jp^410E@pYBML*c&jVnhY;FIVEqp2;R?TzjvAYZ-t=``Y0DfN{)XIbRec09kn#$WRyjO}pPbfT ziq=gkfagItedG$%jl4Za8pHlF2$I9B=^AXY;I8M$=MHCpY199lHQu{wq%RcMhUKH> zRQ+JQAgV$`W9BTs?nr{De>@VcIK8Dz>^r{?1S+;E&s>71g5xD|!YtO;=yajmT!xd8 zlcg0v(~D?T!8XhFSjL`lto2lq*N$JaY~)x1>+5^hyLLE;3=ElKOZR8VjPr`VUb1O5 zm4UK3f?$%5tLJ8NDey4R9Q&&zID>lU%YHM}3XAn+vhnPVvt?U!f7oHVE92J-UFdUV zixz}ukQ`N0s?lQA_t8T$dyjT~+?WnY{mT}U)#5j|>X9!8fIn4ruU4rwo}yJ1UiJL< zd1lrhvTig!lJ@vU9w}=-7O+_`zIFOC-W18-0V$<8N-5|`<6Xcf9ympl?S{?X*GumdWQ=WC>!q%OiQdToG!Otuwd`#`H%o{WAfM& zrV!w>)i1_8t>qn?BBS4@`VA$P3Vx@d7teR+fyb-F7Zk}b78<;kCWPWoWfD*v^at;I znG!>UQ1z-FK@hS zRGdeAZpx3<=85w>Xav#a?UfXB6)*bzrVpzDhdOMIe_eC4S#FvKb=-pK(^W;v!Z*$0 z{b9RQI>@NgR73`U>0L>qUM`JoByp^kg&(#3B1267LHNRnm-D{iCO&oRb`*JbFwz1L z9JX)sZTcH^U!Uu#K_NKAqwmM4@5sGm8bMe^brD&}1V%w%Cc>eatmw{XcZoQ(5x}0W zVMp3Of2Pf7m&RmO8{u7tEC?N?%J=Z|rpmuIAxUw?%$|e0sWRPe@eYIw{IqQ_ayBk5 zKi6F>pjI4b2WkB!=8$bDQ3^>k+fP#|urV@o;?b)w4}!M#%X*olgIH$NhtgbTS5QYO zYf=f)y!JS+fK-d7b4XzkOuQr1=?l{Bv(l5}f9NJQj~e$PCH?R;Xyxz~;m33~9X{1N z38xBULJ$rG{)S3+ZNXZ)U_;&Vof5**tP>QmpSF(w7{l3vpPv}^90coXrvntj5_e>OW zf4tWfkWC{A7Sjr1MmpOT+-je7gH@L=v;rp;Dg! zvWvqSH=EPCw6;Fl4Srn$kjAPo1?f1W$cy(yiB_Ftl|MaPxsh&TJ$_xcec-*y-=a7Y zvtlNoVa3P0&7*J=bz3%g9`*^=oTeRJ%&f91&G zk(7U$?q-(g>l)o+DGr=s3Nh<7xA@zUQHNc+I?b3C2nK5!x4#~2`+Y#OPsi6aHZ9A z;y&L_Wy6yDdU5Ub>lE~@YIOTt-F}0Ebw|)iMHY@nm*tHbH=YzNr2rD_e=j_bPbb`qge2j(hCA|Y^e}v-aeS^M5HmGNUbABq8)M=XMnhMZ zXeodu&%oajDSTc!o$m;|pH$cEg_R%hF=3iVXbbHmt&gVD&V1i=4cRw$SO=g2j5oWs z#o02r2arvOYxvHu{15V{e`E(&NI6hFnc1JXQwJq$HLosqD-R!)6KD#V`BunGmMwI` zL>yfP(yXEY+wo7VHSmuUj(p^H)vDb7IX*;9c5(O&oNrJ1myH^iIdBey$hLsY z4bz1db~c zGI!)1e?ucLH96xO+`E(wdgcc2_8zgXe6A2VKyy%D^ zBs)Z@L`d`tT7<{=!RXN&ce7yL7hWB>nFb=>@--!i)3y)O;Y`o=?X-x-n8=4S)akd|!Wd7Tb@$ zx%nf4#pie+e+W9wa?^RPPw`8Ein#(MIWNGA!%zrwezzrCiz$&vsAM$_vK5^h0;joFRiNwJzhc&TSVabYI zbu#cQJ|sD=13$xZFnLBzx;Edxs2<~0BZ zPa-(1DKCI7f_0ZDB7;C!a#Rrs=8SyXOAeJq!^{4*5tqbKqAkpyw>WA2JIQ`;=LB%1 z4e@<_i02(IZyu!3lp6ksP*z6wldFnMSjw(s)J4+bPn-yunQmh z|7grMT8c;3GY^?Th&^`YkWuFsn0FZ-YyczqZ>DvnRCntEO?x}uctii`g@LHsg!@W@ zyzX?!K9@inieD~F8bQofB!!$3;Y&#N0sX9~eCw*WzPE-Yn{J8*yME#*8hWWjtb0}|rN^WKI{_!x zybhd)ewfp(g<{L(in1gH=0l;}gip>k^aGCA$+d52)!_+5Vf>zLrcF5as%=9+y3w%l zf7?v*vp?e;hR=Pcm@xj(*01BG9`C<&e{s)oL*llW*g7@n%_jVy(CVs}S7XFr7z%Ch z#DSaGq#qlaCHO^cNQm{J6@2Pfh}U1d2*@>F6AIny$ z{e6ZS7?)v=skc(-u0o9U<2*>t>4^7}@%R_8KTN}?fDozQVps_|j$8^b3q+=vszIMS zltDcm>JMS|#CBLy$FgZx;tpjHGCG6j507w_VKXKsU|Klr z>5yL9Cb9x##$%>i5 zKt;u;y)aRgb0dClvN`WzN38KBf0opxghk&H=kumu+kf!Qs)!8=nw8{fC4nZz4}YVB ze4#WmR_dK`95aBaY+2UL-;biduns zq#XUQoe2m&v{vJtOGsy*%Jf64pESvDZh^-iBREaAzf9mv-5hjG{D()r>R{&t!{NT;xQf-|bkm@euXM)9qX5Pv?qFB3A`6g8=VJ%5BfAza$zN1TZyPF~5JO@5ehnC&551 zKg_sN^zuNCrWl3wXNtWwCtM}0)GHMB@@?jT3j`$4w$o{*mdDB7pQ@}F2)Zdei|&2a z)jixG8AJ7#=p(y*f3XqFK5b6PT727#OQ>f5Gm{{u<5BFY{bd3IqH22&ELQOtS4S&8e}n(m-svc(K@%Cae^jp>^x>fvhdX@W=sRsp zq&K+FH;wUm1%h&2#(Ubvwo%xn0I3Z+PkLAb5ikqTvszz?x|+#V;jbGBiWnHl0*4k5 zt5)hv@=>H>-t(z7^Z18VMZ|d}x(H3wRa4rMXe?k)hvW@2=;!`<3jYC1W9otT<{zhR z&^KhTZbGfee=p*f6S@5?M5SeRozkV-_xd;`YAB51BzgWZ65`pMd~k}ub754WZa>(8 zZ{_14>Z9uN7Z?c(;(9s8P+?=?;tGK*+-a{CR^kzMzu&zKxxDK{JpX*TT`!97+s`~q ze2kmbJsI_F9+HC4(IWQ)mmE4m0ik`-v~JHqlUtD)e-H9$v5tf7A7vRNI_~#EkUwIEA!=kvIe|Awo3dc@G#{PORE6*MCHd38&Brhp94`#8 z(ET9sP#hYn+dMOsY!{Y&Xn20CDPouYNj>mi(yReIgcgBZO;)Wcwux5a=NR}qXRy6W zFp9UFe?vkn-tCnUa1t|cA4HrL^&X~tnOYFrIdMz{NqtbKY_AxEjf# zK!^@`Ic1!Kxtxq~IdwQfEpE{NOpsrL#R-Mm1b1Fw;y(r4VZn(}nptlVI&7}b2Qw-o zgCa(we7Wj(#ws${zCL}{)q)pBC0zcG0Ky49fA#@vK>o74G#hM~I)B}!hlu{`{38jY zCz9RkgIEgH$&Up{88eZ-R@{jj6!y3NNyIR?_#ZpC^hB%LVLE`ht6g+(*NhLQSwg$I zY5p47GFhS6ITsT2Bl^EuoF3iGoNPh*^@VRf5qX~1JS3V?r`CE3@Gy&c1@_KRfY-%` ze^cH5yNVi}_~82xKKx4HX{h>xQy$g1^6kN2<1X>XfxYLY3C3XN_xtu{JfZ#u@LHU+TbI>3pVZ1o{n0a|Au2eDS^(I*=i2nfIdA#=*6 zz_;B$e!PAwgMdfvz6XUzAzu9QBW1_G*Mco<*V*>G@B@KjBv;Z7%dg~h8&Bv4n_&z< zmgwTB+(o=!?^6`09FM@xrcI%#e|o(sE8^`{NC7!&BJ9H;f>k#?JjeP82Nrz*3nQXd z;MH}3u`S$3>uo1HV^ez8EvIE&HXEb=>tbxEO&8odQmM6I^aLzXV87R`W}+fZRMIud zBpxz!z?M*P?u@c8rV0&=jY{~~mR$Dc&^pm6s+hUVlNP<@#src}8iCeRf5)%@f=1Z# znff#vkR(5HC#4!IeFWs95A2~wYImTQ*x(#_5y8l!n9w2RIsmc8KOspBlLmAF(W}-j zH(`>mY;XmzTu|N8s5nA448v@W4~w5A_kOc;;*UrK&O1i^*wHGG!T6U=d75;;zVP)7 z=~=1oQp+!N*&&ww%7yGyf3DN=!7=|q*Mdfvm)~+9DB^FRU!adcLdynJ(BCZHrmAVy zKHMyOSNIT2XZ12c}@iSuaa=Ms*k~V&gO#VN}b|$IQliF|0sU<$JGk6`}hg;>neg{uSM0dp{6I1UJ>s2BO7 z+C2Fk`pOsgUo!}q8C(2(LW@A}r493#G%-wQCEPte3+*es4f8^NeP}$gtW!WoES7yw zzYoN~4vT=#f96vHy-h-X)csalwWC=fk6r58F92{yDLgA3`Hz*4ZJ@H9XvQKGeTcCr zK4j+9JWGhN)dGZu3W=G%6{kFvSrO4>Sd(tAw=aX}< ze$a_`iYblhNYiY*;K~9q2%7MxEJgrWn^x)7`6RY)e^~{G+Ibez#BCP14}jQXWz8!) zC;GiK&DWs8+z7AuwTld)$g`{%s)`sOv}8H+`{^plD}W`ORexQ)XFCxbA{!Tj{UHO^ zAPKQ1w-`@J^oM`9!Px-pZDqTh*H_h=Z%NEu_;JnyL&b$Qa#zJn{-GW>4EqMlPIawZ z#z)!OfB(ghwiO00){(UB;*qDbZ~whuv7KLQ7!0HjS5m#e`Z5kb>vk?=l0@<%P(!oOEdISyfhg*sodgZP@CZZ|+Isu=T)a36?2Q6`9&pv$#s;@ExfN{!i z%1}zXm}N~gaxM_4bSf$J6jpDQ8=%86e^&mc4|95JE{U%ElRF|#h0gX;Jkg~<>@(e} z#Lpc;6C$9a1r{(jTV=Yv0dl11ecb`1>*3-5Ts#cX>=wDtuEzp=luy2!kdCKDYmbM& z8ECV~V>~zXg@s1Xme)SQLN2QC6c@^^uR9cx7+VqupBq4zhG4+&65p(Y+E?R|e{V{L z6x;`GE&{FWGVm8M&+?inRNge04a7yhkTQ7BG*PDJUiTa-%o?pF{|r@EPiPXLGXVi?np#&lB^p}}>|dyy(JETh zB64vLohf;sK+kW$23$Pi#F>MkkyLA5OqwC8 zK4SP+N|8|XP3Lge(VAWrTC=80GBw#V((~Cm1q^iUOFA3nztkStc`;Ve(Nka>+XUs)Y5Syysvj6pS83{gju56F+evT$%#}T$?7KWi>&exO(f+B>M z^K$!_q3i(^mv3|e7q=|H0{Ata+3Ky3o`~nuYS`!1cNS8zt0~WU>Tm$+i z4mS!fOl59obZ8(mG&nJrv33C|e_C5}+qM#Z_pjh%I~^0m9XONej2*{0No+T@+a#?g z53fgxXh{mZ8OUZ9`vj1Pg5fCiNykwDoieDN0M(4ZQ33pnK?Tu9 z%UvH3TkZOE#?XFf70^-&WJqXHfuoXvJ`#12V0VyfGsXovMaql`=0<^wWH>4Xv^4f9 z;G$5qLID?zY82owrj11zf563X^q&GQmZ3DIGhR6Tlz^7g4}8t3>(k(HYJ$5sQwCcM zTH5vTjC14YV6GJ!WN4WQQJ^kBBDBVc0#nI7KbuLTkqbmb6)x}wLdXl$*~m;ui8_Pp zls2d-I979sbP!dog#j6sXWDzxN{G7i3#eu^1WLi3r7)j^o|aRYe<5!x1aok(5=>$s z*J?1I0e5Q*AVs4r2;d&`7%U7>dC&lvi?c-Zd0Cuh!bMzzRmyo8{c0$-EFurV>7WPm z41&x}#8^^59om2d+=0L%0XJ?gFr@+l$S?~iVw_>Hsl?b(oTK2LK}J9e9K_IZR09iE z;0%KZC=k|`L0X_df95c4K@y`l&mgWT1_nhkhK|I1V;q5lfn@^RMm5e5m~P5t0)|cD z40JJ7I73sl_w3moIm#{}O9kZhc}70`@n>da?lMG++(0r-my^lIy`O*HOssfrAOp4| zmMk}5$#%qo<`%HA9WgI*yR8AR1i>&7U+uwI33=FQzJ@OnRmD5FqFm?0y$az`K zmh)kWea!m4({eN(9L~OFmndFZnPd7IaEh@XLEc~vOdMn#`N4EL1D=<@%%WDV%wnUX zg`?afhqL*pf1Eq!^dtE%c}1SX4WRZT>N5mOgyuPi8le>U3+kn$G-sGP8hmXT&|NIA z7QmC7jHjQ;!Lw&h0y!8i#I zbzhbXGOns+SrN#cA3@iLscS@zwOk34D=2zh3^j5?|ikwQl9WjUKz`%CIuyW-^ zv86YlEawpGEs2XF=f>_{0*qUs{-tst*lIZt#be6>x1k&e^SE-Lbk2dlG!_!7sRrOm zZNzT*e+B7ve}A9fmsfuc=2bqMUz0~CzSJ5P7hE7|u5j~WAn}=fO2r(U1l=LWTf`oF znyVbv?`?^7&U#nOK4PYF-n(M<5mO1(efJEY!tKo-1$5c7?uiGjd#RCfm*Oi|i-MLa zH*&2TiZskG( z|CX~J?w_8>tH(!P?Hu{7gMBFht?+Q_4hfGfc-7d3e!PzduCRE(_{Y6VSSYe5Jb2Oy@sB~xL`6$?Wz)r-y_$iPCp6Y;sRcMSwH4Jr%3XPKr zryei>^_X-jz_Vy(jTeO=P_W$u;4o1ef4TOYxJ&>~(Q|Ht#>D~O+CY}Y^uacF&uHAe z5R=Z0%BKx??|+ida$VDwN>sQCPFSi(Q4O9lO#?JFnj~~ z$mBsD^?}L53lH{?46*H!BCM$hO223rH)g>=N2^Ukhk%x<#mCq0glV+eDPm|ldtkE5 zo^Vb3>p7uqLOYJvb3)aMV`-MTe{n0^t9!gkmd2vx`_yN?12aF~q`#U{)`hkU7Vu9G zSlsRk$F>CvzG$rrZDGD!Xi>sLu~P4=fJZz~Ps?b7kED3Uf*A`fhM_K?p&juN=R2$< z1-iymn3qCDC|k!PEwFW1lK}Sa3Hx#(DYSi15yrm`$E$RYt|?T6dvm`De=5eOl}5q+jo7BYg~Q49V~9h)qF54C*`MwZ+VNa;Q6aubc|-Ze;EDx?BeYB^ry4& z?bWh6olQ^n4`-9nn#gj9EG`yM^NprSU>Q%1my)H%GqonLw4kZ&wq-jRl9GHPV=^T( zQjxBaVizNgeFacn&$4Hb1cwiI4Fs1Dhv4oO+@0X=a&QUm79hc0gS$HfcXxLu@W}n| zeedqpR_)fWs;j5R&KWz^XL_djTRbl=&#f)C-Q8P{IpPe(910`e83=2M4b{bRvnlPf ziG7F7DD8UY!{+39p-9`q6l1$NpC;18KQ>XXS__68OSZAaX^?ziz=WiC zhd<$J#O*jiZwA-6OSZ*%UPeC4zL35qTxr0tTVT%<5E8b&uypNuxp=bIP(Iz0nIJhN z4Bj@vMz<+^njD%dM|RUP3c+;I0sMb`3&=j|4ESyCI~6>tLU@WQ=Ef~_XP_*sPYJH$ zaArEqm6lIDP9?@NL88l?sT#X|R_xHPh- zLsrY15Teb(!$}MKzi1UHyA-hP?>x=HoW1=pv7u6hoKeCXMb z`+H>Hl%;~}^T8K5tMi>}3c%4It3&K_Iol0nOerxDxN=H*LH(j+Q#lE#!Ad z0k36n8?r2p8wvyre~2gy3JgZH3QSui;tWEZ)-BJs?#UEtzu#-rTFlZ@y?8`>T1U>N zCe>Xgs`Xv7^vgK4jFO>bDe?3|%S>*k$|){Q#>!X*KkpmhZyxo2j{we)-;rTd4pv_( zcrJf2cLT3GFHxLC<0bF2nYz(Dm?dmhqs7D1hXDK8bc^(DS0eeQO{9}=dt|7LqBNN& z3~f)aRb*Ke1M)pn{sos0rdKzGos zvx{w+>Xckp@}qax`SX*fHIjtlr(Y_wbyp1PqGb~ zPj;j<&vT`LuF>#mmWM$bX1`Al<1Y+^Wb{o7u?=%w(=ROHOV``hhQu3&#Z1|K%rW`6 z%lLUq_&dVZGOW;gz6f$-Dg)z+zy#=ZZ*8C=uhCpE3FhlJ-?a150QfeJ&Y1Js(OJ#( zsM+1-8f)PbAVUj(E%kQT0qjSwgUQT;Kpla5$`|M2npsq87G)5S1jfpCc{i#skUeC- zx#a#Z<6V$}<;RphQ&VI;8g*@7cbY0I%c6BV&ex4Xhm+%7Bg&F)Guc9=*)plAPP^-k z`To7$Nlp1cHkQVIU6-N+h}si_0Z$FP6sS|10HmgX4B0I!yr0vS43X~p?ux6-98_2% zNdB`a(nn{Xep0i4Gp4@@SGh6QrifLW7#|*uI;=PA_l6%qW^9Y=sV<_qm{PE{Ez^Ll zuv(yPRxCloGL&i~Nqn37SAA*g{MO`ULxMkMbnJ;mrHzl>V?g=$i|z(4_# zz{)|b`4CB*IKMxzH5oBk#Dt9nw%*@eI!~`#ou!hZjE4)fIp*r}=;x|;wChW~hd(~) ztw^!Frn6HU4NtPG^ygWzJ={#zFZRA3&K7S`Sbw_F8M8iGIB{HP;>vtvZ;DREczpsQ zsUfDVSznj_*mml>cgt=n-shEy)@6cZe9V0GZbC=SEQxfkp6H(R+Q*j*AG~#zc3FAs zmIRE|SDt6%JQf6?>7Lt_9DMdfq|CcDtVO--D3v-!glX6wMB6KZS>%1m8p?3y?}<6C znmwS}6Y801aGGO%>j5<4I()u^Pu#%fmz5s)>h#4=P+TLK0;43p*M--WH&t5344#!b zcBAdH)74Ms?<~Tes;z3ro}5b9&q}li>G^8QOmZ1KY0{dzDdm-hp|XMtx{A%a&W1vQ@pLOF#;HD#orOd)%bJGN!^_;5Y1l zlsxW^^xB_xE3z_yd)NWBGuN}WhtUsu7Z>Bie8BSoSJLV8%fl96+SP&GX8pD-qx7_Da-Di62N=0)wnyYyb0rb= z(O8u};*^|M<=;qaQyx8A(Es_G(KjCwhmv~yCuWe*eoV%N*LYHnZ%2`b3-c^I{y+&w z&wW~Oa;S;mkfaoOM=@kF$%yb!V2dW2JE5B3NFlMSScynw(3?%wCZsAMB9VAu%+~m+ zmm7Q}UgxMe8twDl5;$PuZ42Zo=$EE$lZke5NF@@L?9Yy<+snjRx-Jx=q1_U02*V_8 z#WHZ>o(!jlGiurOBKWd;SK>*~tjO(@^Xph_tCsF#>&cHZwGI-5AMN=~^}S3_gZu-_ zXBCoXLCEMy8RU)ayYopadzH_Zq_*B`9)0!}2NUV7Nxe}f6F>&-N9Yr_m84Zxt0yb` zK^MV&}{t_ z70hdhb^hs+#MBI=`*CFflIpFs09-t+4kQdeDmf0X+o6H4%tNX@82z1l5@IM;E! zQ@Yo2+~Y0PQ|{EsWtG+^_Mu}v@{s7Ujv=Nmz%u<%`M{3)wuh#31-Ny>z|58Jc;1_% ziLHG1<$9w(y4?zRI&|fK-8yRL0q&oleqgDAcxsO=m(hUt{oPgnczc(Gi4F0Zr$Uy`^R<^lOZ&}}qi=5?yoQ!^Thzo%J~w-@nmplrB`O`RsuS z^(BiaQaQ~UMGVhmFDFc~hn69O>_hIFLi3nxGmx`eBYH1#IhcLWgcJUB!DM-camjfE zf^RHg&yr*K{cd{p_z@kfRdw~5+&~|%=!d*no`Tb{W$tFoJ3Nd_e-0%(0o@e#qsI^J z$?6p@wEhh_2HSEO9@LBLbUevo9?(A^LaP-}elzcsXUfnT37%8TmaHHN_I@B=E}H9_ zrUJHWD`%;cAtoYuld@@K5l zJ+XnU3yd`{q=zcTxYUe@qu#E?F~qoh2Z&2!6#F{KR_0L}x{Cj{1RtlJAI1oZp!3gtMk8tQFhW4lB4wBe?pWC4kd34I80N`Bxv9J!btOit9pA{lsNA z9w9nH>^uf5Nh1yMvOp(z8o*NBne=W8A-*NRdpIQTcmA+|gC>Y4Oa@5AMPTJ1DS^`m z9AZTiuuCYw;UwZ_$f(;S&Iho0`6Hn3`MF&nf_!oV*fFKJ^3Z>!sfr?-Q%)5opdnYP z0*5(&>p6&1gjG$|6y@&wrr9ndrcPfJIbb3;Lh3Mhy%p-j1i?i{C?kkmIx2;u2fuq+# z5M{EIGKGcLD;K46k9vFY3DrCrGXnxKX-#*r$rOGW!KC|nd75D_sw=5&iLfp;GHzde z(Ze`(zVS};x?I&=57krjL2^S}5VKGZGf8e>sENP;TrAMz873o8rnK(-Z}!K*WBGeG)N3jLc`93_`{3`*XE0Cz$@)B;Jg zJw>2qnf2)L^mVs|q|B~Yy$Ektp2>%wtTQ-hwjA8T3TfOp{@Zmk!ne}jv1{;csAO|4 za#$n#q9*}XJbtMuiDyzO+KJy3&?am;ET8KoTP@?Axyj3Nx#@G<^3JhF`)1i=t z5LX48xL=d*2@Q@e_~xdzA8E$K$VV0$!97feawl=3n2Qife-B~Jj-nt})3R8{-RZTE zq!WL&5*dQQr)RoxyknFv~l(_#IgS|sgeT*jhl zT*CU1ip?@}f*k)SbAnk24_US1rnm@0+aLoEL4NOHcfdnDrn)8)GCYUWK9N<&2TcB-zqi5M4u3-rA1_IP{Xe-65C;FHGqJ zIlg_v>L2AH@feLFd0@Y`6tZ3t{J7wr8M3e*rDA*=n-_t`BKwy6z?*v_J>g{h*ay6{ znSmuMBopiHdv#%r^wPloh)Y9fVMMM^1(SHy%L9sq!E_v#G1))WA_+7s2uks|s+CjO zy=9N5k#0^?1Pb&y$grK^T|Rm!{$;QJvdqK^&rWeQ;cp*O?8TcO_KPd1JrQ4pGO~+H zpCoy_@QwgxLurws0QbBRK`-~7E42OI<6wenF(MUKqR*vDvm`py=62-?Ecwh_2NUxG zRtq;bm$$rc-E&BgM9!t0R`o)pIT^Y>^E*xqx}pzU99w`dz6sM@!mG*HUub~Y^MV3C zudMn<2V-VsP9D#K3W8&2;$Y%nWdgG$>->Pi`;VaS52zA64lZ~`F>?n;ClXFD%l~L= zOsq`*xJ=8_l8q*)M}6~oxo>oed_BOy6eu%TV9+mo`-V)cBTk3bcVte>X4H~dKN+dVs1>;)R-`36A!e>cZK=f16WHj_Poqk} zGRk)=&gX8SHk`B44(P)WVKFMk(q%rX z;?kfGVnYBZW38~ZGI9NJ?z%vMMQXt$GOb`}gF|nMQd!)986<;`ee}?~l@MWw2Lc0u zM++wbFS^U%pERG8tOw&`9L#Gp;ROst39M>XjJEi2t!c3OE2+2q%4EWzPoG7#G4uPqN8Xae^)|$)Sf8D$ zG7Cre7=%t#Ac7wwN&ECu0r0=t(j@)u#+8s1vc#TwntIhl(wGtUYQwk%IaQfU2iheK zxwp3J-Rxzrsg|}u1P>b1XnHSe=EL4{DK$g*tLPtq>EB~s!aF3I_P%%Qr86mbcS%hH&(MT^pLtQeRSD_*gxb^JJEQ@7aYOtv63 zLSzGLc~>(dl~RU7K}n&-B(sP(ND67J;x1DFX3@0x*32&iUQFAs z`U0z(Ye;8rrh%I+fG3O=Goxj{$EC3nlhm0NM<+lgOan5IfXe7f42z3c} zRCoMffEe7!>5tlRXt*FHVJTyQfk+2931n)V@I)*fRp*(oLt__Vq5)V6CkO#?tI)y>?NyD7Vj(WZ)s74c>_KDVS+QWAp zh{N#ojqxR-4n%ZffKVi-z$Xc;Vnm2zZhsv;O%llUTTaHJt@WTs^!wnTOr>h&{Fm0b zs!l9iWHX+%$+J?{;7>9|;_XD6zv*6dUP{;4pMUps6pNND!6e}1epmsyHptS~Gu(y~ z%Jnq_HI95hbw0`c$uhuN315DKrw+i)x!~DrILppGnbsxDxn|ps39q1h$au$z6EpLb zTA>>2ZSy7ZE9!I`UESjag@&y*!Tf~6V9}ghuoRX)k|&15fnIkegTs{OUpn(f%S~`K zqB&qpYn8EXam9-VERs{8vJZ;|uQ1B(vE|@5@LV^fN{#EKN^0vIGe&@L&P9U3^m~ zVXRBRB*%JQa4aL`3Q+tYg0(FWgH}y+5}*$+!*tzOshW63nNv#>_|1y?7R)4?k7f7~ z9ic4NJZO3#*YLKtS~=mAGF|fb*_n^0h)^%eqo;TWGQ}Qmiph(C?c0T-tz9dgpdBCZ z*pC=z54Gm0I*q$AM6l3&)C^b$T|v$X3pq z5KemBPHOB?U$n)mw?->dwOmR+s;~t6-nh>Po_YJ zdA{B4FnC=o?w5PYbvo_|vo`eX+}hkINx1XughFlp5)RlO_KMu_UXSaJs7x3!=9f$x zF`Aa@?pPZ$WVQ`0F@$b{!(HZ34d1j0lL-*W{-(T=VB5dB!*c&-sT&rvjhR*po z`3AX;wCce15=FPhIF6+1yzgC&ZWWFifoVcu$ClTluu>r^TBgpP&!bd9A6~Gc zkac19cA+l7L`@K?yBpb@GW*`pLm>wpA}34VUF(mORlbf{m^-LS2`$@oN|D zY*LU*+rQ5j&GGgiyGJxE91W$Kvtq~g_xifsebf!6JvD=rc0vQyg?jkZ(D4j8<2ckbc?Tv+(cPSTJD!s|6-3#NVq)O6-sl^lV#^)M5Wf-U% zbGPH-#JRajrm=|Fh{nCsQv2QxgwYO_Q+fWVsTnF6%y}pTzt0CZXCMC+6YU+B4q2S$ zGW}WR21oW{VyY?gwDb;QP}V$WCtL#8PvB2g4N;ri#p3nc$%op-J~Jq~j6M~+$R$Tb z&EI(oX?6xu_QI zO8z4*wr?E89BCYnH|YGll?~Wy#=RU1U)b6f^j^Q?jgjx-Q$}dz1z|JZ?giX5R`_51iCBU{I+ZyxfNEiT~?pZVI_@nS{SD(&aUtSt`pHEh3MrVYAZ~lTyf`Re z!sF-jdfJt}?pqSv*a%r8=KnKuZ&M%>u<-hh_vkVb-o(b((aFKYz&g3)7y=H8nUy8E zrwr;Nz^Vh!_{H4AgapjY$_me@Mxq5KVIcv(NtJAEo&HL}Bupeq@Qji+rnY~B%>OGW zLZZdPDk99vBE~Mp!okTYC<78YUR5E5nw3k!?!k^H}sfW-LTs`|&FCkZnL zC(A!N3dOu+;U^vUjtlOyrK{&#p7ARll=|j&BAfBMlY`s2t9xf!LlR?Dg)t>T1r&c0 z|0abR_%MX`TgBP?pEQ);9G6Q~!wJce`3a~BQuI7|EsIlqh-aqpR@Fu#WYgC3H6Nj^Hb_DTCuTOKfaZBXd5VSkDgVq@3{xc3{ z+w8D&9h!|b4o5*p`mNf}Hh~ve97EpZ^{P1hzcfyhw6$q$97>jH8)v%QI#MZ#BMcEY z0d_+>mm$JfE$Rrr6?#`e1|kELted?KDmsmI*d68))v-0fr$fwDQ4T&XS%^=LXU{O$Mp!Pa}v^b{=it zX^57CKRYNgDz1KEN(x_Og8JaPk@jgi)9npCndCt`m!}6hft}FRm%7*Sv3WsuaU?nm96%E^)(o7dw4}jeY zULD3wHqc(}c4CSD)60lYDS^uu&w{riz(CaZ$62g8okAN{K9J7IF%aH(e}Vf$vwN4x zc~#6G8$UbfzPvA78F7bL1*T&ao6b3C&59PL@*;)m%?(3H4T))^fDe5tX2!u}s(1$6 zY^r+(^+IY%hU9W;Wrq1$YJLW`C}8H`qD%iKcgJ=9WVm-Tlj@U!t!p;v?AfV&bQ=IS zO9(wx{2B4n7gr3KpQoHDoGX${I!#mhaZYBP)BB$~0{0nw&3}7Ce`{|>oLi@%lOOF} z>y6g~gXZ+n-pnJmoAE&#^a`shgbLFuI0+5~F3p3}GB2OXT~Vf`??~A4fzgpz?B3sA zM?zmyqR>JY75=`?v}OV9XVLlA3n6y3X4fKjpG&4_LhwO< zDd{)@ERfs|#X1XYM3DQHXyYFqu0@TDs=oxnBeBtxtD#@?GOz2PdhLo zHW-!z-u6O?x>$Mqqc^}jeg)@rZq>G@cQtF z8q6QM6eLxYKiUeAt=0Qw7>_|e$R2w;+$)ehEd4V7@TtCYy1Q5@XpXMnUGetXIyl`L zZiCqLBqFxEeY&@DT>S@UQlk|xjG~8Y!DZvp?puM}E|&dwsrZn8rEn;%z`dSw{uD z5TiHXc!JE%33NMX-H>e8>01Ki*Lly=|7h-Vpy1o_{2rq zW!0N;F!pTf^EYzDc9-MoE&KB>@KN9`HvYThSe4KxuKuR^{oS`cljo9#FJml&T&iu@ zeg_26Lr$jLEE%a|GG_TKQ(Q7@{!2f+91!7FQcq=E^FL2z5O=YHvckrD=5VG8s87_1 z>-&66`D?QD{Lu!aNNTbc#*fWzS)SUC1BQG|+N<>zDvs4|X`d4R4EeAD1to@MyG}bT z4!WZU7IJfnQp7&!YV7&WqEcorltMR3qo;4yV$CHBI{%UD|0u+y9ZfH+qDO6$_9F3K z%8Q~6P4A(M@=Mc2d;|ZROeIY9>R-kG6J?Ym>=k)}biu~X)-yK`KLpY$0`J=&S%FYHuI2KzsuhE5EWzq`Ge8dAMeM zj$^;pN|f7f2u|3LbtVG896Q7)p!=T*J|8J7pL-p2)`OH0f?$Wr=PzxCTi&6P5@=~h zXwxCvfK)}F;SX}gHbn3sHr#pu88$z_S}_+82bAqxf2sWW-3PfYc8bw@&oEH8;5u=z zLFcLOpkBY8)7q1B)CvDdFn?+OJ@d-{U<{^7t7%D;1{nEL=T!fH!{7PwE^bM-!>O4f z4|ot;UelOQnsnV09dIB1H=Kt5H+YUjUQPVFj!Zwe^+Mj{$u)0!pXAe|{|5U9|2LkU zLEcr`wS*d&$h>PNudiBbkDrVNaMV;G=`a2Rd)B|uIc;;o&X;exCWaGyUXB`+osd#& zau`98z9=txP;eiZ0_S(e<+>U5LTjp0_23-8JYIXohL5(`3^6&014eLkA@^1lA4U^5 zM$Depe29U3epYRmBSBiL!dH%I834~FV3c}BuOC>2tjbx0Tl(@?ac6G`vmCIWd@Oa) z-i|@(B7Cia+|icc^BTbUGmCTj7d}y-upJKTYOpxzv3SJ}^hnG4s~hXftukKe%aw4J zTtHYw-$W{_+bxQ{6Fbt2hY>-BbbwyVx12E6`)<9Si3e5!Z{8?|+>P*ldjLcF>229I ztmn-LUTZlxo?nU1!NlSn{u=0!QiV_4eDOxa`+rA9uiSIunb>%Fp~-cchsvq`V#|rf z9p!w_5p`>Ljh>V04#yCH)qPL%6&%5a-!~_SZt8`ey@SKs_nGOvrjikFA(+Joh4a>T zYyY!Y4w$=tf+mV+72ORU;FB^k`RoHR;TMsldwrg*agUX~QbNJzg96{cYJLx8*`*6k}fE*Z++WEg< kT;$kt0FadWT*-o?5a`L@8leyonAliY;3+6X<;CFt3vD+b&;S4c diff --git a/doc/jsweet-language-specifications.tex b/doc/jsweet-language-specifications.tex index eec5559f..6b847060 100644 --- a/doc/jsweet-language-specifications.tex +++ b/doc/jsweet-language-specifications.tex @@ -1383,7 +1383,7 @@ assert c instanceof MyClass; assert typeof(n3) == "number"; \end{lstlisting} -From JSweet version 1.1.0, the \texttt{instanceof} operator is also allowed on interfaces, because JSweet keeps track of all the implemented interfaces for all objects. This interface tracking is ensure through an additional hidden property in the objects called \texttt{\_\_interfaces} and containing the names of all the interfaces implemented by the objects (either directly or through its class inheritance tree determined at compile time). So, in case the type argument of the \texttt{instanceof} operator is an interface, JSweet simply checks out if the object's \texttt{\_\_interfaces} field exists and contains the given interface. For example, this code is fully valid in JSweet when \texttt{Point} is an interface: +From JSweet version 1.1.0, the \texttt{instanceof} operator is also allowed on interfaces, because JSweet keeps track of all the implemented interfaces for all objects. This interface tracking is ensured through an additional hidden property in the objects called \texttt{\_\_interfaces} and containing the names of all the interfaces implemented by the objects (either directly or through its class inheritance tree determined at compile time). So, in case the type argument of the \texttt{instanceof} operator is an interface, JSweet simply checks out if the object's \texttt{\_\_interfaces} field exists and contains the given interface. For example, this code is fully valid in JSweet when \texttt{Point} is an interface: \begin{lstlisting}[language=Java] Point p1 = new Point() {{ x=1; y=1; }}; @@ -1393,7 +1393,9 @@ assert p1 instanceof Point \subsection{Limitations and constraints} -Since all numbers are mapped to JavaScript numbers, JSweet make no distinction between integers and floats for example. So, \texttt{n instanceof Integer} and \texttt{n instanceof Float} will always give the same result whatever the actual type of \texttt{n} is. The same limitation exists for strings and char, which are not distinguishable at runtime. +Since all numbers are mapped to JavaScript numbers, JSweet make no distinction between integers and floats for example. So, \texttt{n instanceof Integer} and \texttt{n instanceof Float} will always give the same result whatever the actual type of \texttt{n} is. The same limitation exists for strings and chars, which are not distinguishable at runtime, but also for functions that have the same number of parameters. For example, an instance of \texttt{IntFunction} will not be distinguishable at runtime from a \texttt{Function}. + +These limitations have a direct impact on function overloading, since overloading uses the \texttt{instanceof} operator to decide which overload to be called. Like it is usually the case when working in JavaScript, serialized objects must be properly "revived" with their actual classes so that the \texttt{instanceof} operator can work again. For example a point object created through \texttt{Point p = (Point)JSON.parse("\{x:1,y:1\}")} will not work with regard to the \texttt{instanceof} operator. In case you meet such a use case, you can contact us to get some useful JSweet code to properly revive object types. @@ -1575,6 +1577,8 @@ Typically, \texttt{d.ts} files shall be generated by the JSweet transpiler using Finally it is recommended (and good practice) to also package the generated JavaScript as a bundle. The adopted way by JSweet is to package the JavaScript following the WebJar conventions: \url{http://www.webjars.org/}. When packaged this way, a JSweet transpiler using your candy will automatically extract the bundled JavaScript and extract it in a directory given by the \texttt{candiesJsOut} option (default: \texttt{js/candies}). +A typical Maven \texttt{pom.xml} for building a candy can be found here: \url{https://gist.github.com/renaudpawlak/5d3f1fa092d718e12407ef1801fb5ddd}. + \chapter*{Appendix 1: JSweet transpiler options} \begin{verbatim}