From ca8391f5be027b996add214eef9af3c8a4e18513 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Wed, 14 Jul 2021 16:12:06 -0500 Subject: [PATCH] Skeleton HATRA 2021 position paper --- papers/.gitignore | 9 +++++++ papers/hatra21/README.md | 40 ++++++++++++++++++++++++++++++++ papers/hatra21/bibliography.bib | 7 ++++++ papers/hatra21/hatra21.pdf | Bin 0 -> 106877 bytes papers/hatra21/hatra21.tex | 36 ++++++++++++++++++++++++++++ 5 files changed, 92 insertions(+) create mode 100644 papers/.gitignore create mode 100644 papers/hatra21/README.md create mode 100644 papers/hatra21/bibliography.bib create mode 100644 papers/hatra21/hatra21.pdf create mode 100644 papers/hatra21/hatra21.tex diff --git a/papers/.gitignore b/papers/.gitignore new file mode 100644 index 00000000..9c5aa5b9 --- /dev/null +++ b/papers/.gitignore @@ -0,0 +1,9 @@ +*.aux +*.bbl +*.blg +*.dvi +*.fdb_latexmk +*.fls +*.log +*.out +*.xcp \ No newline at end of file diff --git a/papers/hatra21/README.md b/papers/hatra21/README.md new file mode 100644 index 00000000..ba19337e --- /dev/null +++ b/papers/hatra21/README.md @@ -0,0 +1,40 @@ +# HATRA 21 position paper + +A position paper on Luau for [Human Aspects of Types and Reasoning Assistants](https://2021.splashcon.org/home/hatra-2021) (HATRA) 2021. + +## Installing latexmk + +First install basictex +``` +sudo brew install basictex +``` + +Then install the dependencies for the paper (sigh, by hand): + +``` +sudo tlmgr update --all +sudo tlmgr install acmart +sudo tlmgr install iftex +sudo tlmgr install xstring +sudo tlmgr install environ +sudo tlmgr install totpages +sudo tlmgr install trimspaces +sudo tlmgr install manyfoot +sudo tlmgr install ncctools +sudo tlmgr install comment +sudo tlmgr install balance +sudo tlmgr install preprint +sudo tlmgr install latexmk +``` + +## Building the paper + +To build the paper: +``` +latexmk --pdf hatra21 +``` + +To run latexmk in watching mode (where it rebuilds the PDF on each change): +``` +latexmk --pdf --pvc hatra21 +``` diff --git a/papers/hatra21/bibliography.bib b/papers/hatra21/bibliography.bib new file mode 100644 index 00000000..365ca575 --- /dev/null +++ b/papers/hatra21/bibliography.bib @@ -0,0 +1,7 @@ +@Misc{Luau, + author = {Roblox}, + title = {The Luau Programming Language}, + year = 2020, + url = {https://luau-lang.org}, +} + diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9db0910d7998a4befe6d33a509de13a73e8c93e6 GIT binary patch literal 106877 zcmeFZcRbZ^|2U595g}U+BH4TIy~!-IgM-5{&#`ADAtWO^p^%Z0kv+4rlCqV(%HH93 zj7q(Gk9$0R_xp2yZ+|(j*L6Lw=k;9Ib6qbwb!k}^4ptsay6(44{g@m8c7UCU6{fH- zCYv(I)&gb;;Nj;5ocv+3$$}v;kRyOi76OEUq(P>3W*|&aQA{Yz5d^fsbRD$OY7ZM{ z$E%!SszkdyUHbv;GJEiS0B%sj`834bP0S!5tpq;Z$J(*y*$K6;t#GCLrV1;vKbbF2 zmnA=;3wWN|dN!)Ek(iQRZwR$=a^Ms~gCg~C~* zL{~%e8EadQzC#%%55~3(WVc3p3!iXaA)W{7i@~24b&}KV<@qmL?mV;^Ol2Iq?H;Wm zNON^9vpl8k9r+knki(rrk{wJYc4KVM~8rCIoV!K)~wD5PUZe`uh+Tv*45BzPr5 zA5t+b+gIs2p%OXtltIm8cHUuSQ}4Y+$gre)NI=V{9?A*fswFm^dyj}NVO8kc1U$X& zfN~>xsASZlWZ>bIg#Zm!X_9oTu9zJ$YpziTe(z|-fbh740NUwVC7Kv6Im?OsO$m9N zfMfxPjOvezIduNb}QmT8UU9v(zCB6QQ# z+}2%Wq7(55mXFLw^}4p`ziQP~8oXOPJyf?p=gZ+qE(*m6{m6yGeaGWPDw=)Gjdinl z$Nl~VrRfN!yK&8<03fzk?Z$^sJ=rO`zJd1;J+Nh+ZOHhzxC6K^#s;Ro2$#ssCaaj0 zBN#n21q`N-8WZ#L;$nhq%}#|1{@;;6a`B&$Of5Hi5P(eu1Ou7@VL$+zrjrTm_|bJ0 zWxzMV}}u+0$gn%wopM=5gH&IFOVSo|D(rjG@_UQfUu*P zxuAx$?CBu*FA*9`7|dRfjm^cyh1G?N)y~m^jYB{{fQ_A#jgylFK7s}6W(xzlve-gt zk71lbkp@9c9l`c6u$?X72rAIT&Iu+$Ljzys7k?*6*`Ha@7Rq{zAgigJ4IBIg8wV>F z+aJz`Z%_klVF`nN!}$jou0VS@40blh<1v2>%FOf|40|U>$nmbtOxZvXkPXNd28F}n z_+tR}mUb{ZsHL6#H#k4w^6m98Mt`=eU&HvipFf+eqVmV{ZEXH{D^Qq>Gn{d!V(`N@ zzM=p+H_ z1_XsGJqXHX0)&E1*|^|h{D<_l0y=+#cci$sV5r?OD5$9=$OZ^ygAe#iqNk;9@eR-~ zSr22gxAZcrHwZ^7oDlyMyr{&{K?i{QiGY*m!bj)HPh-Aea0KTV%TpNkjv#Ze zt0;WN57SN`|L(MJI;*XrAo@Gz<=DFX0QHAizYF^-qt6oQ8118TRukm#^Yed{geRmt zCc;jsngM653mG6;jR|Q7GPs% z28N5X831Mn0Na{EoXkJ~*bzm*wifUQ=5~%Y#}Ix(=v)~SC*f3B;j15`j}U?4yRXbZGB_JRHdRe~FE6_uZMa;#%NQ0J@; z{-74WQl_tt2;7(X0q_qKe;53JOrNArWlTZ(Cz(0cwjc2QW0is%nV%s1$2Ce@TR|EC zcUR#00ycx|(UIyn0^mvl074)DXOQF3X$u9w-5h`;JVXK?=^hkdXAS^e3*dF<0rl9|~cm=fwnZh||dSvi`aBF*PA^*Ni(m4^Uf0;*r$0O>ivG}SxXVmI% zr6?L-wOI-RghGEp?H@I4e+cY9ZsWAzeu53q))sEqz_tJvOR%Zs8S@1ILyt`x$niHW z(?4a({#HJLg1VLz;3y9J7aW1J!P<$OeDiGnaev^ign>US@;CPlq~IB8n4O~(JSYa5 z!W7`{<-e#(zYpo3(W9eC_}}Jze=}{SC!4+k1(=@f`|sjc{}>bgF2Rmn?caFq-(s`B z?1Z23_Kt#G!J}|o^fwIr{_6K!#p4k_2>Pk_{MWVRw;=v-vD3Ktx2k;%=T}kl&wD*< z8zqm@T>vON*$wwO&V*P;A(#dHDctIQ6%-dRywn2(!1E+fJKGagIbQNCxIe`FI8$*p zmO4S~8}ok2)>Gt9g1En!q4*B>RH|f;awI1awiH;x%uxyqb356=nK!?{{dDo8WX8$B z?{fLwf%*B(Ux9O$W~Wm31NBXRLh$VP-+}+D!1M<~{F_M#bNri=(9X&BCmjENRD@?m zfo6_>Yf%K6nK^>Kx|t`k{`aG!`ca+vZ%sysohc9ku(yN9xDdEW{Sn*0A3-(XrO&Tc z{%>j{9gk6jQ}gVx1$8=#5TF1!nPDIRJQo5_JvqZe>mP*UZ$@qz8z2~>Yv*YFw-#V{ zRSOIOoLU105cKL^$m|JUB`Z~`H_?PTle<&{IcHxd!kjRVfuG>^NiE?D}euU1wvgzK~n{A z5)FLqn)v}0=yA36$L*c1AbhRj9o5!1y6smLjS`$KfpOdt{(%-|5zmg z-ehAB0UzbJ;blE@Fy!<=g8w)!Jf8$7KcIak`1m&JyFh%8KYsD@PvLy4;r&}{d?!Nm zHKTo!%KpCZqoep}<42+8NhS|w2~XgCD+2<}Ea8c~pYxf2c(VLT6;8?aPeePvsK?qn znLtjEE&n}* zhJRbl)Y%RK@1giFWX@T$bh61)H~FW%{$~~B#B=`%rT;dw1cpMLz6L3Pqa-j~Nq~S~ zO5T5#8}{(d84aMV#ebzf!1o4lJlfoGhsO{7Q>Q#RdIoo#;SE)%y&uOZeb}k#I_bUo zNmT!{{DKSCX&vFe%A-=y)KvY(q+^D_J9N%ClKpKSB7Oq511cn15?P4@U_Ag#9XvF$LPf`>f$dlauYw9p?X8KA5<{ zKvGBL+Mj6ok8(o+-mq=~IxVMu^C|urj{IBGViNZ7%$F+|-n$Mb{!s!93U&t_c>#8& zFc9o-mhgi6ng7MCP(3cS9682E!2v-w!z)#Pb;}w-aZZ39?W>C?SG2eck9Rt6rb&7{5{AT|tuS|W9W8y7 zUjA!DIH@iDwOyWtdbG-EgXvETox$w~YQrS}pa?QIcLe={tlzn!1{VoOfI7&|9s&~k ztNZ^6lOyC#u1||v0^zsHI5}8hAlG9`ojyJz$VZat1V15u+Qu0cpWOxs9&-IPYW)mX z7=Bet@VF5fBz+_qf57ygMt(*1=&{Pty*anP0^rQZ9{`+wC*d!FI6L+%kmGIGIcnM2 zK}3~-M^@~lW7O0J=mYkdOx7%gG8Z=^iM_RKC+ zR0O}CLkiNOPEKGmK@$!x0d^j9P8MEM0TUK(UQ-YYzbUsV3%4mZ2N#H&gP)U^^BCrj zbAJT-{c_U@P(B`RQxFhj&SD0K!NLvXH)Am|=QLsA<>N8u1M>58vIF_Q0zEVLN1&%B z9F8c**RkIp{W$c;YaXIzAakG-1nzIcNdZUur?+3Hp6xL{k_{SbjuHPO{|M~Tg zlTY&TM}lwy?DY4KgHGxd-v^!k{&CQeXM7w2d>{Ay(bu7Hxq*MVKu}fv$c;V~zcUYx zhn*Nj=`)vr;g3%q!oPq5|6~f=w{NC=CFGG+{ips;@%pFc9!>h+{C}Es#}ofYzyHzi zU!lPNKgoZvj~mL(Kpq8`;9kl_A}pjJN^0~2QNS8$>#t3 z>w`~pm7qhsc-4El%iVDrTtvveAI^QIcG40kZjLYrn&Y0>7FW987$nbld8)Z)iIpgd zt~t*9sUUht6VhH|Al;VEr7h9KW!;Irbu;@5m}(3}ney&)Z#1c~To+~VU$L*h32<4+ zujc_{G!Nktez-Y@5gy@z%F? z`3WMHcQrU!@HJe#y+rTWNPI93Wo3Pu*2RC#TZi?okisE_N>C-Kifx|UlIq+f!!rKU zH2IHpl4$pu@xQzXRL$N~>5Cln5e&#>To&u-ba?o_)DMUt{n`vqfLtCu@qUmok6VK7 z6H`zlH%~{A$Af`l?hIdsx#tG?zB4B0UYDR1c6~Fm;&NuneH zKWr}3Li!$y@hJ5Yh+e1hyxjKkaX?7&J8x~`8y=fFmL$z(_G&lFwedZGnWXOrm9Vr5 zTDx^A_jISRh$U>2!HT5aL1JKufk9aWbH3TgtP=9Iu!xjN4R*cs!5+5abLqL1BYk0` z@6W4eh2rk|a|GMm`w$fua!m|%rtxYkCRz3JedABOU2M;8(Lxk_{XO^|V^^uu;VGZrMDt7@-5Xg8htm~rAr1;B8L`?}#W+yqawL7wHWDJ(mPSrL^h;IU)4Ol-s z$m76D{cNZhVHAs|&z$hALi)41K0bT7b^Ny4^Rc~QP zUqnUWyzD|Xz{3!SdhHyzOXEd*SCe)yT(X}a>{aY}T5A*kq_-WoOI6>75q@Rj(F5G1 zFZP_5jC|rHoGP#KQX1ZSnznNP{J_N42P8jyE=uUf%79AnUEdKH)90}Csv%M2?f{bf z9gGE0?3FfqfHt$iZ6q-p{E}N=TMBDM;BB)vA*! z6|?RNL@K(kjZbcdd0<^{2)?bfB%;?^kHsyjhB+I`C$tk{luO%OQAE>eBF=@>W>}Fo zKds9tsLyQG%Wc68MMtY%y6~A#FYX1h^(?=jY`(K%JzInjT?8p*+L!Pf){Iwpgk7?i z>-*z9hnCoHUbxwFxJqvKc>x-2LIaamWqm6%%DwI_WADX87P4sl+#}_q$#iyQ2QPP) z71{e6RRAj^8)$D?A6@9cbo4fFwth3>Wk-!qf-ZZPt{H0kJQ;AT3E90}p4Ik#cP1eR zJl}??g|dR6dv`W0V4T?o18MYn%S{7{#>>c;i4Ys5n+YSEDdy`%-%)Qpe1%t#YXe=r z&&CWv%rLZ2wOkVJzVV4SYBr64p)g=VuN`PGsiHr#RZ${jGmz^`lgZzAsl6*Zm3>3F z^ny4~NT5;db|)8-w%NnLR|0lZ*+};>2T8VCoSrh#c`jsjdLR`lN`xOJlwS* zxdGbXHYtppQd55_2U4avv0E5V_rG2ZoNZKWvX1j>A~xMkO_@SL1kLO zN?h!wU1Tvp27?WwwQY!UhEQ1AMJ`i%c23)bX=26Z<1mG#Pv=wH1$8EwJCd=1hdzfZ zd0@Qgw~Y)*TuADkZLZ|V5L-#HGxNxpcaaT#5(>?;-(8pPwehv zi(ISoc9ZR*>uK4`6BpIr@Tw}=RDW76ZwR$Xa+&7toO274;kq*SP@EzqI#-UQfOg?t z3xyv^!>AQLvz6@RAt5vSJE7W%^Wa3kJ7w*IlI`RRH5O|~WBGYJGiWVXxi58=hwFWB zhTwJ*lVUy)uD5iJK=d2dMR(5ljA2EF#9Oxhc>*akYj}d|_E5g{mfh!ONSJ(nr;?`F z)`Lci&qFf#cN;Q7KDo*_i7hWoj3Gqhj34a0cxaiKxs-$_Y@(1NIN|Nq;NJM4YGawQ z-YtV9c~CvV{QW{T4C(s5*pQUZ)-}vrE6a}gc3<%O_OdG*cI#Dx{kAf10uk(+`!3L~ zcUgF%E?XyI1FS^x9R)=O719H@&q=6PM>Z zQ6u;q74x!VW1>d=9d^&TO-s82mG^_Q10LXQnDfv*rrWD}atqt?atv$ZePT_!%UM)( zU}qD+r{aiQp)X?n^;cede|Ts~L8i#jdpnF_F&s$N9mq*4g;_%VT1KrX{DBd%5bg;5 zU}F+9PQh4^!GnFPg0=Hc4nHGQ=WT}_B9zuCy#EE+xPMDFE*`$WOtz#4b&8Gbcz3R> zo&93OLym(`!1aM`hW;=tamY>nihWE9FCH#3KUEJs$N2KC@btO()L8cP z7i!~nOh~sDl5lx<$!9gUua`+|&)yg3Za|vMp+gn0esGs77A3jr9Qgn;u7j}--ugH> zBCU$LK8Mz2hGKRYo_={Vk%pAxV2qjUCDB`|wsNx~uya!=M9;+XaR4O;+lNTVBvO-k zIKG^_#^~;X8VuO?E`r0bv6&PlQjIaDoDiZo&4c}A_}pXJAIA=pbWC`@IY)b$ z&%7kso42nj^E1%Q<9wea1RNtDW*HV6zV^8JtxTHjTina-(YJofG~VAbjRU~J!^{8m z1HGI8eqKJ_ufO1$@%3MT03Z7)bN^f=LQ7G!5(bEPv71JMiP4*Q$|^h@f(hj9@eP8B zOUE^a4MU_J^G6{y8DgOX6JE`uN{SQW+B!JY8!Ii;aZI+cSn^8t8s&q%o!5grxEU)T zeIC^bG+{P_ha{h^SVe?vZ*N}&wYPuV+XEgd8YV>T2K@5HN(tQ~!YgyiJ5YVYqy-RYarfv6YE=&KusH~Z)nqYqg=(!o5A zZ)DQilD&`H;d!%j`wgUKKt!lLvP2amMF&BN+ynhXbRuR&b_Np@0y4@WFY-V|ZSoh1 z&j50d`#X_!RB`?Yjt|HXx;1b4M9-LfgiOrN*MBxKJ*<%au*9xr7!%<41bF^DUS>Ad z?$Q@CNFp_nn#~r{fm@-odMw)8J+_&}${2c5BmqK6fjvsBR1PF%_E6dfUyAv#Q7v!@GJ(N9={kPtitohM%u@6U zK~*h#X4QMKX`e(kb$vxu4ZX;zuHeIW3JP_?h@+57Bm`boqw@$?G5~D8hv1KUW5Bl( zygpCrR>Ggtyv0Yw`@%Jp!MlIObgKrvcKf|OJK}**4B28(F&@H%*k!))4^#QByW?Mc zp6*hy9{OM(QcfMpt{$q$cXo^(;POmR?H-1cP2MzJ+IUz;03I=TgerbaCP>I(Bc%J~hF(RTtdSGoBPtDZ2wMM6CgxoJ@8iEzJ&s|9O+?(QQzw%UX> zFn%3gmly*!LZK8ePmR?#W84!lhTUR)Y^Jpt3qkRKXg_EhQGBlEf*2YC!xpalo2-LS zDj+%%Mk>}TO@sSZ&4rJ9{oYSjae1!QW{PtSVEAf_^51P#FK6O`I0(}58nnZ`I zUSyPjMdSNu2(Sa<$#V#XhrWk>bXa^AGa1(7xI|*b%VOK%LKsLZx38zLy{>1z?QbK7 z>{IzH`tsJzJyCi=nJq)M(4Y>Fx|a=~P|4}yvgp@7#jgdJtIB-3K}Hy%wuW) z9com5iFD|u{v)AY*N&j2PqS+i(&vn^w&)i2u67&cgOwnA!$Lc=sDsom>U}g)+npQ< zYIVAfY88JVIut3I^st}6 zV)u&)rr68^ZM23kR{4?ywo625o#6Y5g*ZN@=s^Qk!}J&FsFw-RXSQhx)<-oet|~S{ zN1rqmC_cW{6hlZ~)L}x&54e&nIIo69Gi6+D>q)%>Bx5iPD-yUsX8m|2RCRt0*CRJk z75~ey`@w@&57k~I7;$K4l1D1vH99f3re`!EjX|Sq;14#B(3>$^yjE;{@*<`ho>Fwq zR}}dB(mZALuYT1mn|vm{@6F>c|VbyP`I~)jvO)T+%!{V&AmwD&;jcO34b6zZqhSQPLh|%7Zg!% zJ!?b3_k+~>Uy2j#JPCOowd|AS1X1P5m^ivZE4C|JjiL`2BwIj%Rf&-aN_53&1M2Fs z>S|d}GBB?oW!L-Nw|U@>3n(MmW~^k*eOLT80A2rmK+D5ju^{#GbaVDfPV*sCC2Tu%~7!H1|!hkO&x?L-ReqHP(%=|zJATFdQ%{I zZ1D-U&`al+?j_epQ&+FV>b>nuc&_JJmXRuR4;xVQWqfc_?h^(!@m->_>#|!N4}ujg zm{`iJq;x4L5ELfWykv-YXe0ebW|vxi<>7T7J!7#6gA3uUkNGcZc;gWHuOeN7EdeN6 zA&C~Mv?}cU$o`aTYnyoknA+&Pe6I)Xl=3>Vn9s2iRV(n1hvEycjk@n4k;>8ZWHDb` z8riSj{j~VOy3%I)*19N8PIG<7+ZVtJLd8p_-Cv4Yh2^yC(9_sG8Wyu-8r;u8=u2;1 zwxK;=fhzwY`Y=x*$RsI!nY()k31=(e4XuPH(fa&_gS}GaNU&Rl5>u%Ewe$Pfs6H|* zq`=m;R-@0`UJ|bn7M35~9cOAncU9Q#3hD@qh9Ny#%d1=wS8^-mT(0MBx~5=tPf>1+ zT(Sr-gE&LeGhG>RCnq*_$}$yKh--VQ_xj7GkVw;{ri~ys>gy%bSk$B?m%Fg4=vVx# z9~~55O)PM7nxmPlv+m+%m9CHM4NK`M4L>uhZYc4$UU_Ye_M1RtAS)zjs`|sT&Y`O%?4KZsi!A=B+|ynnCTM){C=p zX6O8vX2h`g&2=!PdC_lEx3*d%`oFg@NZiO509}-BQZ>6W`9|!GrC(tD*Dv959Bm#qn|3&odra=OhW4A;hm4)GKo z-`1wTbSq@|x!tJO1B0xpmKHx;qr@JxGbLr1EVjVpBqbW$p(rha}0a zOl0dvx4@zrpa0r>M z%aD5}#8e0e<}-Zs1BpYZyN5duG61d-{7htP$iZrC`)yRDIAhhG>vUY{vPg;@e3J`y zH-`|Q?N2b42SDYe%og;i^9It)Ceb`~)sV$=pNt|Na248`&|TJ%%Wj02Oa>}U-?$=z z9XskpOT`#&)BU21xzBAn zEb>cjFACXCqt~0&+>55+y_0csK*`Y}ylcPl-7N58JX>mZAZ^fU!uu~#xu#e&+*`_b za6Q~y1?Bh*XtuSX$zAl7MG4xZV#AdD;k!{WMNZ1nJicnB9}e2U5(#u9F=T5w9V3_S zST{P3e(o=JlU=;Y4V)@ae;^vo6#G7I3>Z&?XAxQDU59Eexxkd2#dL*^HZ?*P=h~CH z{87RbSWbILyJ(+;*PKLcUf{a2?p-r}7j`JuVl;{@1tX4vY(3_s5%1cPRzzi1(Sx2y zao#jD+fT!tmrP?F88SDkS_F9?1wM3oMr~68>M9rtOoe2mgoq3F-T+%(zS9FaRNqN5 zofcGixfgAv^GR7C7Umd%Wq}b=HWrK>S;;)01FiGz<0{Is8+KDx6&KOFeT{YYHKce5 z7o@(_dmgXyJu^-crLvO>xhB<1fKN}~0+q%XP{4WBG313G;xl{}98yW0@r&tO!3LOj z@Wx`zJl%>ny5&W^hVuG(TYyo$g|g6NOMC1r#^?vyY;`;ayP__etl=MY zVTRYsyxLptUcv+R4*-w_czG=bTe^}9Ntpxc$w zlQ>#-d#Ffe3=4tE^`ZC*Nf>tjWhACF^N`G4)H}UE$B@(-T%+mx&MiT=x%0U1HgSMV zbaNJM{IPshbX-C!cBSI)FlT;wOJesJCwNQ#Qb#0G%atk1hG!g3j@S$?wS_EPq9x&v zLq7=DZIX$+f6221;=0VSh&w;ms{F!5%u%@U-h1aNv3Dtkag0|DNp}g~Ub+=Fo*(V} zs{M%!MV{#pg1{3_VoUR82E;YPApMMP+OAx9%dhJaHHlozd0t^Ob8n$;@v&^1g2z4H=jSEVm#br7X+t z?Nl>~bWB^UoZG%ssZ>o_hU{1ZLopR0ohw%%jk^Wn9Eo`?W+2LWXQA9W^Sb7&FD541)p&%t9XdD|#a|ZbgsK612RO zwxuJ`Mye%)Z1mM(>vPny9yai%47g7`CR+rwP6RR!&)!Vl#$*BUlm%_PSwK(TvvuZv zcug;vRW^o|I~3WcgOwO{dUaEWVwr3AwxjG`nxTf~v38}?e~sDc|Nn*|*i4G@IFG z;brRQt_OP0N)3~nAZC9|bV6k9d{LBAWN+Y~jkT{@X|dbZ026foXx?ERfV(+A_WHh$ zg41|MaOvX*P)Ys*gZIzQ*XYF#n4^rglPpE6UNT6!ivR(iNAG-LTfUe_r@XQ=YiB39 zYqX1PVn{H3)827S)cjKOZF=C+9*a*=fRaG&qzXko%8deH&4<<9qhwTf3Nl?~8R(xR z${WM%C%xl@IMhSn5a}X7kIm4B_1!LrTl;je$GTjUV26jFXOdK3jiwOuTeGs<7_KZ&h7nwuP}hH(ze%iy@aB*tn$@ z-}_~=c{2x{d(72J+Q^BM#l0ZxW9MB=+Aw5#y@w@%J|d3=b+5d#M_aR)?A@~Ch}&=% z+~XPNRV*rvDGPgjIYj5~!6e7b8wZ3KRHiIXEsM(|1nm-aTYJkLX5#`Znp+XvbAzqw zR^CQM18KYAfF*+tT} zk?T#2gpnTj^GD<95LUg>xWpy$C7wl9vD%rL$l&UAqUVh(7(%LB8(d4oUA_AR^JN;> ztk-suCarDmV7!HViCE_oPqWh1{cJ3n%W&!+bS0G1~(kLlJ0Emur6!7h7wJ|6UjrR*5%Gc+*^3Uyf~w`zWntszY)QFU`u$=pKc^>pGgF~!OTc{$qT#2!wS zx#l>VPmDZyP^TKdyb~SXNo^2;5kTH#{Zd+A_JM8mC+adjF%(e`dUo0Nfbb^0p3OiS zZz`t;M&1`0qlFE#iY)Nc{g)|Bi!5A3nU{nOksoGj@8XS)9`;ojC1v>FrxOwz_4IRd zmb6~So+JyKs*U8Oni70W(@@`E+Ki{^ZF}$D%_MlKH#N_N&i{h4En*}Pz4T$Hwa&8n zwISOlxUB<=3Cf1Mu?MqVK~nS$6|a0QDNI{8%rWseF@>X%Oppq_H-7q7oW}HKbzF-c zX|KF4iT&J)2ekRs-W%Qe>+c)oz!41HdCIgZ%%$EmX$R#PeorP!HB;qjr6j{7g+ePK zQb=y~6H50dbe#>Vc(=kwKCfbP)uF{1?CfeY&u$E3-QY-B;JEl|H0kBxA_sdvyDbL1c4rg)50y{pJ0Zs@ClpNj3A*+5wB?JdR)}z0tDMZ#?!SH)z5MY z=!Wlg*SLnoq9_puqNqcU$*4Cge1AVZkGX6^C2>%RdMGWYP1QlGai8I^P*u~yY7*w- z53atZkm~L<-IHr0ye{`8=EixG^n>@S8d`Hol6=Td(p-}a(Qa+MMxw@eNot~TcQ(&C zQ9(rpKkcPT*)IA^dA=luO?Q1`xw1%{_qckE*gJahfpZTX&g1P-+GVE8MPXsBp<>QI zq-B0M*Js85xjoc4gwJXwQb_ih>3q16^d6d1p}Uu*;9yoq*S&;gi}AX5S&umF}yhdL|_K zt~)FChmSp5TY>CKz4w`_tWhs?=vgmyh`lY~t_WAFtlr`sH=PGrRanNtL<^!qt1J70 z>kp;1_d%7n_#l+6<((*B@^qTjAL09C8)rRwse;mdedb)zt~Q4~^L1m`=p3~y3w=k? z)z9J>!xk>76qg#4jYDSds&9hpi1~Xb(?y9F(kd}1D4vmD^vf7i<(HPQw$iC)Ey*@8 zJe~tzEkeP0pUyC$=lWrcMZc<9wUB33Ddu970eZQArE1zEcD#3Q7PXx)QUzH& z3hY>j==?M+>Jx0mT?l$yWjuxs;!vVl_VS)(m>Lj~w!XM9hw~`*yc-UYfK(J?^ZfDy zH9Li=MWAZsLIGr7KUKGflv&H+YIcPNbGLbpqB-uwfCUS)pElbp_Bf}=$Gf@FG;L!t zvnZvVt=+p@xwB;s)wG&aRH}RtDiz7Q6bZ7FPe6MrHrhJ9hBx{9GTbe%wg$-(yMl|qVC$0>4*&+LQm*zbbaB~ySAPeds4fBjvMc8p}+goo)dl@ zcS#YdrMm3mOzDg@GmJU?84+JyZ2tbDxiW#)_S9`!@i8RR%z34z4`jqaA$N?{wS`5b zFln`$5t~tRwi2zUaAznwMDd9Ciu%fQL;F1MB$ zoVpI3p&FcxP?iv=kV7G-SNR2SGf-OXl#9wF3$E;*xUKW$&o_6pK@)84O zYfppdjeU2}e*TI_3I{{?GsW?AKCjT==dB#~O5Pnli)w4cjGxj{(#v-DlgkWw**ZHZ zSg)c8^hFKcs}GRtQ(eIc2gRsjTj$PcSi4*xB{5?#Y`%>0`tY_*x|}}CgARNZM%+iK zw>Qc?o{YX-e{w4wgnQp@vf%I_^&*1SCb8_2I;D0Lj~{P(1lnC4Usw4(kz%~!GSsc) ziaDx`SWd=%W*zIg9W^!nE5!AO%f74XT~d^9;it{U9w+LhsL z`jT3@nFPA%JA{UkAcNUltoyOH3?f{;Civ9e`>nRBv?2451`jDqP{sN8kV`t$7e4e$ zL!3x8wR`wRWwt^*53L)_0>=WblL9D{OI&}0U-@k^9>V8#D%Y@HL(mZQv{}%UfqZsT9`iHBACuXKwWA^C;kJj|?61K(%pDHXOim9iD@gw%=vR$|)1o&D5$|=MU3`H-SA%Cis zj3%S3wlwtU@h!{*G4__Rb!G3|QMup!+Ka9#gy0Q&$ok#n3_0$M~rzI&#id_ls=sx-;IsWoU|3nLe3Nk{M^ej-)Oufcy+q`;lzrO^kK3&iBl zl%^7{6zp{iQXlMwg*NLOr$;rkxQ5pFd!=RRId4RaDs!W1NLD)yrI!V{6M7$1>(2ls z4QY2HL<-g=$#Z5Z-tlGSQr`%TD;&v;?7BH%DzLTS@PhNp@aFw=aKwv16+50ZT zcAK;d{m9i%s;xq|Cn+gspJ8FK@iaYXschGsZSNc1=4Z%IIp@Zl$)_UmnP)0zRAWaR zqiicfF&scNlg8X<{T$c#aX4lTF9t3O+xW&9?)~J1wb!qkDHB5dvp2%W-)r^^cvod34tgG2G--PMpp?qE^OL(1< z?fwG)Lzn)?ovzEVU&_N)_go$&kaauB%i}#woXgwzV(WtP`Gp-4wp4(*pwVr79iN%< zZbVrBB^I0>p>ea-J$mE2mQnn^CvJ?-=8%3l17g%YodIo0E zF{)>xf+5>XwG<5c)}uHzT~96T<72qNv@adZVM(GXIt_!Nn1$wJXvMKFTNvN>zU>%& z9zgICo1=rcccdE9kD)eDa4Cw*fkcIn^Kyhn55LwG-55EMrUFb7jD$9Pxv-h4tV#8t zOVgZcgc#YE$RaOkEl9O!Dn=Ygl#Ys})bT}LYnT5rkpbK7U`^!TkRatyxOuOxO@H2k z$tL!IvG657HDkGk5_7LR?;!aHhTVGWX{`d^!3-gh|ej<=eze*F=4(}5L&rfgt@H9#Ds0SnfY+&wTMqJQxcTi zj%zH9Mlcz|PN^J&jY(J_k{K$tq*V(paPUXj8w_!)J=kt?@zM5X6(b#Hw3EK^=#%_w zPS28imxpfYOwu#4yDpzUh+`e^SGz*d;%mwHd80}+!oS)Kd7&Op%d6aD71K$7%O-!K zOEY4~FMN;xaUa@!6l95WMCSX~5H|x~cV3{YZ;Z)#I_UHg2mG=3UL@NcG#L_Cf=Vty zmFu5_oMA>Hh`41hWo&Moi=g&*Z_P0Svw2^9bH_@~)b*WL|P~Ikq<|!&bwo4mcE>ZPDhB$tl`;^B+0r; z8&K|!7h1&IU&EP7;fP(p24P>A-MA+=>AjHudPlnvRq$$(>D4cYj8S`OBid=y_myd` zNfpHSvO=|Wy@X7uro3{E&~CT|NJ^n!D6yI0vK@}eC9Uevc@6ti{mx`DQ^`?BBPJCb z(&qObUdQcm-|41k#26wl^lZ>@E-waD$1hF1)1Sjmn8(a6$eZcnCFX1W@L6LF()hqv z@okM|TjlOEj2XJaxe3&l6QxRQl3W#4K@@7}H*VO>OtHLQZ0fQ@n|)v$-VSZhu#}@G zS0lGp`K*uwi7Dx2U+7>&r`B8j#U9b6|}SfgB- z(C#lTq;S6&FxTD}k>-u;IXu$ek6?!3{QBCeClz2UEqHf2VOZHnjF|Vu1Kp2A=J82X z>A4o&^dric)^vIShWl}|4?~x{EsZeQ;wIGqi)sMeRgf_U;QQdm{`C-#G!enCt6^fYZz!D*KpHDEh)fyTp%b0mNUaxl$ ztyepZ+E8rV4K=(Sai#Ygrdvu1P2~`-WeG%>!(#$X%-3- z&1asueTOMHvsE@TnHPhQlu$Yec<;QcZBeiXAsJawIquf%=+j(*o&43|yKyZn+nHgg z=O#62nU>bW6THhxl^v9gAs^)>irlGhy5bu)DBz>&n*KSnR+lT zE&mUH6-L!?CTP8cvEK4s;S+d>`y<7k2uSmAlJRqgIsB zh{M)q(>iLSm0Ogab!~v>s-0>>r;%;9DVXEaDQ0LC=O;$F(c0+kP#*`qt%#CuOu<*` zTx!Y_WYK>vHF3AwFq-hTYY|>w&}>7oZZ$7uYx+QD3hLN11Jz*;o9RC9a&dB|b6y|9 zz}Y-?o*CC2$n`ukw!p-hs1?iXLV|~W?#^6K<6fZNCjb-452a^5l23j%_)L4$@hY!k zIelD%o_$6eLNX+h=;Q3AsyEhoatb%~8egV0G4MdLvltr`xxm#5R+vSQ=?gUak0&!l zxraY)Zq2UAU6%K*>&74Pn2Jt+F5XON7qPML4eB;rv7c|3`|KQOUBu(Yj5>gyoU=`+ zOurGF9+q}^ZbrRb{}&x*yuWD+gm;+nvvYiHB;y2daB*^Re*Jm2#f*cSiX+GU8WJQ9&^KYDAecB@) z%KD~xJk!rcqSD)}?$JyGG_e%$x&tDjg92~?PgC03kZuBj7A8QTR7$#5sY5~0_Ru}? zEbzxk$T_6deJ1hOt@VvlBlNc8tCunmkdVv_KOy8SBIvM+>ez}B5h0LcVJ#gZ`z3B8 zjMLllP9vbu`!b_je!M4s71ePWR#;Hz>}EXea|w~#`~`xJk&*2kv0g-)O(IoZb9!-K zzo3xffc?E-b9!e4p8Ij30Uk=)wU5P*0SiTjYYyRnmWJ=t#D+{DzvWcSkY6)1sk`d!T0$*Q`VAt*1j(81op z+_9u!FHL4ztgUjX5V_j`+sw`m5#}Jf?fbYpnJSs-^9Y z9Km$n`PXFP4GlDQAbl90wEDQPZ`bTYi>#yL`!X~RtM+Yu8|vL< zwGEe|fGOkc{pBQxFoHYt(x53y{+E@VuE@HI%GVO&LR~)fhr-6@ZZcQ3Z}9Ba2p)v1 zX%S8$E}Ku@L}V{?C`7n^h)24$=fC9h@EUKyPQt4iN04s}0Aa}(GFCe0LsGHNf)HO5 z=ufmfR!k_d^sE@6`wOk37m+Ga(H7ggLyN4#xYfgqWwB>p#-tBwFciuM2lnTl?(`lW zIwbTD^}8KVF0<oH>tsc(3b#EvB8l_dWhfRBv zU$!3Li*w!Ip`v~DsuhLZ!I5)C+Er}Qr4eJ<-0P7H6f0az2K%NtlApn-Cc@IE9VBK6 zRdk<32EO+dwg>F{L9W*kUbh_rcoB-`#qOS~%{icIY{$9DyMwlZ5UX-1k+am&+PE0m zv=?eMw;Go7%O1jH^92N!o>6s_TMsadz<{ z;Yz3z_43Gaf!=esIJfqki9}phL#26dU8>vSzEjn&?-IhY2^_VqQcUW2Ngj@*M*I+c zm2bD7JGyih7|h(6>T+Xc@WTVS1aS@pR(z>>GFrx7YJKzEP%FaxC(lQ1ATL9l_?EB$ zx8rZ(net^-SEBT`1Sw-=ZzfzLyrU$tcLgi8fmNwzBTT>JlG2b?{l(F^SA4Y;55hJS z#I3`(G$SW=TV??hhS#n3_T}4WRl}d_WOe)EJ&qP)O1fQaG&#stplNN=EG z^X@PN3z((vZW39`(row(+fcb;#dY#z^HeuMiJsm6oGi-`M#YPEJ_I#zb8R%9%63dg zCz#BH@)kE0YxW4Ow4900GiczX&u0ysmQT()iVyLF{1{#i#Vz^s(TQmiJJA-~1xfX2 z5PJ@jF0r~fTV&q9kde-6q(gFF2p@gx2Jdxzw$BaOSa`1vzEsfp=04V(OGaIkBARz+ z2E99Ay!`UojC{y+A5%5Mt^bdaa|RlQht}qZIe62EcFb!d0vbgnDr(Conow zN+9cUTxDu<6&BVdu>@u4d%B%Ja(Z!(kwU>~L(UC-Iu@yHDWJ&dx*F!g$a}gaq!f44 zs@{4}EU8mv5ZmN81a@j4I4>pmV~6VyCF@uK5o`Qj@nc>~-@%Nh^g-2MAQcoN(XE@M zH5q!0vp8Z2;>pI4?bVYF)2z=u^4nazkXo=Q=wKFZq3B@14fM2}J_PGXsa}aOd5!c@ zOc>+yVzF$YU8hVm-bm3RGe7kMYt)Er&`5`BpyIo`&G4Y}0&yIesqCw~L;eK4_yi)! zt~h;CG@cZ#c59N9J>ht(ZiR@#*J2+?fEpMX9H}BQY-!wA2edI@HMaA6O$7k5pc zsfCx?$R<`z&;BUHRuvDlpP6-a$rLJf9}{ZVt}IuN7(4oy|I+KSbMHX`?NC39yaUlG zvnw53lTYyAT+-I^$u-f@h}XbxY7r4AxMgC%F4?8RE;IMJ>vf1k-~E|^sC;S9r3Z4} z)^_Ji;n<#dX^OQo(Tu*V%d*O6411d;deCHpq^d_f&PQ>4S+5d1(&6cBdq_rqzV`-5 zknMyk&NROM0CGo=+_Ylua-6<;><}+*;f>)?EOyc@OEl~vTH?fo7!k>%Zka%QQa<## zo}yvKs%+hEl0r#wog0T&rG=U7(E8lzD1S;bDqeUSet&R(Jc?GaPEnI2Yuz(=XEJub zh^Zs!2c>HB)2@eI8+qY*;H=|> z?@CFQRHYZ0d*km45~9fOa5tlQPcYHEww!)7Qj3IE1$zVy%QTM|GMs%k2mP#*ZGJ%3$VP<9$CTo znTW*r2YBR#L4WyI2MH{^E&~HQUxuD8vawZ^N2%Mm-L1?loV`j@(aEm3)MHx1kG8=E} z4Z6)@CS3IhO?9g-L#dIbOmK-8%RIaP^^Dw>j8XgdcB=KNSS8h9>Wp|5r9c(=pZP9& zc|YITa5=&hBIS1XRO?aQ!|y_@gz#=}F)VCKh$KmHG>|kf^udFgE)Z$q%X8Jy{56)P z?ti^%-Jeq*0VoKu3}|M`E%R*pkjPw#JnpD)d+k6}PnWRVcQQIo68j!6T-GV!S#kFr;Z=jIi`ffm zFayJwU7n;#>(C^1KW^Hz9d?0(Mks^}hpwRf>XZ9i7mclxs9#lmB$^p}a@hH{b3!L~ zgt`;!N#W4Bd!I`iBe$B-b4NK+6?JbpPV?Y_oxW5-NlRF#6uSMlgH~ zTA;XJ3rflUl>Ej#hH03Pyke1(m1a|6g~8$FPku~;eYbz;mL5QsySSZ{Q{(RZN+B}R~H+M z1PYrD%9?=8pVnmv8r6m1aco=<1QGXu3Vh$3_y)Kh{`*y%%K zx@V|Wlg5)!2juf{)5tyAX?(Jam7ZDxaK3jVA3YM4sv{t7%e6I<{zhYT0apZ{dS-Wx zkY64_(pM*!^%zv$0j2YC_EF)fgEzo-%{)g@|Etvc)L{b6%lD*3Iz9N(aB&8bFSO|A zifp}iLRE)bI*Go5gU3md@x%)@k+LehnR+n$OS;c>7J%^AG8KHP4RIXHg#&>|>b0bm=(!Mo66E}YelSnf9&+AB)n?ACZCHbe{|FWRJmO=aW?yYndP18TU8R*b6Sf9Oz8 z2anxNc?^{EP=?M5k1zY5%s!yI;?I(PZ z>=#`{pkPvu{WmcCAqL6=TyE(OP%ToUgpraN;8u93>US@3F3N_LBr_9ez$o2c?d6L= zzm!#m-IHXSn%uW3pXeTQFGo3^!h)5t?^KY9bGT|Oc<(96(DUH9=YH{|>mEze1d?ivX2fv6s7~h<5FM=TRLTu-bWlpgDt61)>Bex?p~dSmdmSpz zRI)#Ks-L_8j%3Cb2HT4KBJYJAmv@rn+8>YTLm(v`U?YQ;vewS0G&}ZhJy9+!F2hda z_dBTuktvv_wCPepyX+}7cf3rSw|`W0=R8-D`>)|&JjA({ovX-t^jE%W%Ug23&)AkS z0>%326B-{s)*~EPC0$XzGwq&%;(zMrVot1~VfWQ! zqgWmXw!pgci05}&>5tjhHs7E*lKdJ<72l0HHln+8xcvvNal1RfF71RCOZ<^(`mkMp zeIX}@Sx{f)?sWu0h*6RMYk3@H3^rbTT>J6z66~G}0v6e3a)oGdQj=pYGss@;tI0{9 zDo#Roc!vw!jWP;<7$}>eZ;Cv-PqZxNKcVh98BRzu&(LO=kS_vLtjk=u->%oU5wdf} zbzndkW5?}7ANpz@kcE=;yg!Y;MpRN8a;(`-lQcx!zwLM=tAtirz* zD1;VQmAogR+^{RAfe)umOqvkHUuDOin<8bCeI^Q`x% z&Y=>c7HS7ebC&#R zhe4i~7olv42nM5mO;>Kwrr0lGpNf|s(=m>s>fZkaKgUdag`fvX57 zA9aAyuwl=!ltaOS-D)ygRVKDKt6m|aWiEc*2t+8>7ALVsiA~hdl;t=YcV@+g85GB{ zYb0V4uc;@Ps0@d_eKlIN7~Xd8axqM@*hT6k)o#m%HrzTU?Cve_H@H{dlp!4}z;Y3v zl1pDMegIG6tlxD1)a7;3%=zJ%0)8fn)Jj`EGLH#VG;PcT1_Ef=K;sVJn7!%7Vs+fu zi^}kE6_qQ-ThPx+t}d4>8vxW4x8m`G($7e*9771W{LvBzm*Kix!EiQU_+`ct%O~Wk zIwU?~!*_s|_;9iH0JNNYRzprh5YL(t;!CCnU%eE~%KC|%zht#~{pCryWH|{Mr`lv$ zS9^F#OYTm}%M_~(rUe4^dOST4vPx391fpBeog`OSvmJ22g8`_CG#KK=o#l#p9o$Z) zQdEMMm)q^V*6f1Od0GORm##oLNQN9$51sGNr1jZ!PiBJWLy@Ujm`pV{NX=Kkwql5ciD^3iuhBW0z<-;M0!q}GEO8U+i++b|^XnT&PlJ65{I+)B^a?-=Hn*g@XjY8){!J;etGZC z=RaM9HnA@g>GB~wWwr;rEXP#drwb%K$=eGM7uo zmK?nYd*dm$+&Pl=ZOL^|d>23Z2v#-tb$nKAznXteCoD;mAwBkbX0)C{j)rl$!ah4u zm|MLf>xb_;b6T)53|>fo=T`v2efFA$Bi6El&l+q1b_6~J_Xgc297|-R?o)G`kjlq= zE|0KQ>Z216Ld7vVN+cG_;4`BwRQc|{ZFil{pNB4Bx?_+p5fa~TwE8;JQJjp`R*c77 z1d_v`H$#xdqCCK4H*Q^$q6-pTFRvtZyE+wD*x8$abagsJdJtNDojM(nY$LT@D-w(9 zB?djV5b+d1V+H#{@)VevDQ$4tDsmr-P#JbjX8QQnhjvjQ^bfW$u@k!JMmql(>r zz`c9tU+Y`=hK9-R0f%vql{NreB=jU&--NhK_1G2m#uSSC+VJjk5<42CPE@>JTp9z8-Dm7yLe%cZyVpqW@dSGmR=uEqJcN)x{>{Bw%_^ zKT(2xhpW55t}?E2Ox{`dSRK>ngo`k&+G2+zv}Ft4^@wA- zhSfFCW8TsagqH6M{* zo;$8;XML=&$3ZSR0~g9LNM3F$bN7Y+P2xDsRCocvufCpw$CYH;B6R1L=1a`aT??Y| zd@J`4_;WJnNCS}!fsY)|gWJ1tu7*NbyMq@>a?3gLQpWVikSdy0GsI^*c_XloB{l3L zRKz~2s%I7D)-JJeO_U8V{pHB4dv?neJudD*T#r68R9FLBdPsEpB5Et!An2$20!%_) z4y|-g;3u7kpUjs~6^k`g#;ee;D_#*mdLr2@sNB3Ium$+MO2gRGS4Z| z%a3}^dP!Xck})6;H_a;ch<4qkT2de5 zgfohvY8Gu$zuUec^&X4i8(bqzYg$v!$;%#f{O^4wmVw91IFNwF$)~uy895_-K&UiG zfdyTz!xZsJazO}g-G-m{A;uD$OCZKKn|8lAQU7i<$99$MNpCoyTW?+M0jn3=ek*0B zDHKPG9{Q`cOM_kVFCuQylVDtx`pV;lHf&ztir1ndLtb!v{i!cYY52~yxP8iziQ!9;iuf#cWu5|#~J|6>|beM91y|{ zoU*IGL^LX9PBXGqM1{nq%1+slDvbh;Sm;s8B)t(Gv6#U$4&r%qzXdeF+2i7$p?fUT zD^dpOSfD&R9>rKhTYIf)b!!<8s~)iup(yTl{7&C%#1aQ9GnwN+D+_7O^iHs{v`=YM z73<(S0cQ|hK|;Mn0wc|*CwCeU?(}|Ctdc;9t^bxi{^I66`NQnOx@C_40m8>*LYrq~ z@Rth&V){(c3?n2&+#02&&Jgzb%TSv1%)XeyhQ%2S_q}rySH7_5j$ny~qG}z>qa38l zb79G_>VOH~dlQy^`m+J!i^4EMAJ~}yT!Wcxb!gtAsjUs+GdA;cFP3lBYJLTtU(tD4 z1c#G%jjEaMiP)bkEtv8E(RUd@mJE|C>y=hlG^mZFf405YJh-Li9$3Mym}8xg(A8?! z=z=x`eS6D1Rpn-kd9SQmXAI63m8hg7VCd4U4F}6@#=()vZt+gKeV0OZ2J7m0<>x)j zQK&XsC%m?(Ufu{$rJNp))TrudZ;8;%)VIWAmhRX41DG-Bdo`nW^rtEmTPMgmmNyP9 zM3uBhnGWkMNe)C8k4&@4C7N~x_#;BXf!uFg?KH?sHB^xW8>lZVrL@ge(xLSU6d^A)^@8X;{Ymsdv} zMR_kcS1|4cUS8;(y#M;H>WqPLzV}25)p3@Dr8xtXn!U+t+C8K+F7Rrbxn7)pv41HD zVgLF$ksQz+a6p2auLO=!JCiBKHlE_xbF)b?okYY6}}Q9j$cTIsQ^- zSbd;inIqtb#sl>oSM%Ez^6Hv`&)R#wvrE?6k?Z1Nc5}+4NOE2Mvo%@hn!TGMbLka< z1(yB|lp$W(mxpY%N?6Kgd@yhb#x|aZhLAME-i}`k_>{k5`b)$5=SEbQG+danL6Phw zi!7ojyapArjwI@FeCF)+1KvGZS~?t(uM=v+-158~XK?Df=A4%`9>z454hc<~2K^a8 z{BFgMT*^HDcF<4^Uz8S`j1n_bFQ@P^zsl{nF)u~vN60|2ip^O(3OOqwH!~C+TLvcV zcsv0GtZ^eWAlkC}&hF3$)YW{Nj!MPnh5nboeNLbtN8{?m5knsqY7nNMz4^Fy;)Bgn zD@1TIJa26Xglej>e)o~{H*f)i=Kqg%=?!GxH4v1_87kIOf7WNX*=^xu+0PpF6DH6H&9E;XLHb)h* zyE`WO`b$5i%VZG_%pI_>N#;XbrEFqzq1q2HeuIkpybDADuPirVz6PTmD*#`X?Ae&~ zV&X7Hn>{gaa$8{*G6NTLmwS?;)gZ3e9zI~>YFg1Eidhy9Z$cE^*?jv!TwAe!W(oZ| z>V>?Iw+9?FG*Wew%S~R4BvK_f-~*a-51WE7c4H|@oQ;uyGMLYx%9JRf3dRYPgf#G# zC0Cr;*m)B%+T$(v7>~(~=?v?|$&{o_Mv_wmEzD#gkc}oBLwc~2=h5g%F_6^bIDd;> zI#9QUOm}H^E6fYcKl6ivF^(octdlp-JeLRUl6PlW!71?i2Ok>?2^&cne4A=~$blC8 zxk5*QroNg6Fz?;kz%_Gn;AlzvnyPM1pBmR(fxk`_H23v7>K2U$LHQPzqrk787W&Tf z(>u89yAC1#8+w)KS=4lo(hI;i)wyTVTF2ARb*!gk90%QsbWAV8c#d4wZ}s)T3-HzW z4SEIOpcGX@w4~fY@NL5)z7|j+k}&3o$CSKuwu?sb5>6`aA*H0aVE&7Uu_;oPY*VPu z-!{08mAE3X8(xnRiD<#Hc@Z(YA(BvgJ^oRG=$C1BhqLCW_y>MFuaNtmap`bxB?-;s zz)L}c29WgIu8;II2tvAJ)+6th32lC}=?vA}`OC%#z4sd&IDo@UQ@O)TF{l6hCj?63 zgM0uo=*z^4Cvi-a_(hNhY|x^?077aBTL))o@U7{FyZ&p<}xrq36fb zT*p>7s_m7JK>WUr>QB9ouEeZId%b}vewG}Syeg0DnIs)O2Q5MJtC)Mu99H{+6@dg* z-P)mJ1`81dd5IRhhBBX87%RF29=KY9=~sx#)0k*)Y$_sg4z|*$z22)?T%L;?t(jSA zSSiuC2F5{V53{w?yx{ww#4kN`>Vqb~r#$!;7DvQ5KoiEko4!+ls53%D1|~;Zy^u*4 zL6{)uL-iQ6=}?7h-5xKZc?v~;JdU8QtTEkm?# zn~Bbxa&a5)EZGW4|6{+oXGr?aw}$d*LYd-`6V$;ws4=4WB&nZmixd;cMff6cSP#C) zQSrjlgdF_D`c{o?x!GsI3x724mLs`R>+%6mdRr~G=l9tc`=oVLwf8g&12`WcjBlTs~9B(|?iD)yol1MeYQuwI5F92ah*OZ<(4$pyF86 zy+n||a{g$8+)i{hMO4(>Z{{VwthO#*)dyDMZZ&_pZiL<7Lm!083Dsh#Zr(ZnIZB5e zn#U?q+D8vw%=s0!`CEfeS4QF2FiB%DB4n6r0I#pX?OW_}hYrJWoD(o<%`MGV*1q?P3?S3_?h-c;i(KbZtMd8a|FXmXq$uL_fA zy8^zp=0~fljwBak<7z<|Dz(2LCgE=YANGirER)LVMpH(D!t4iVmQ2?A@m-607HANwW_$4uJ@x@YT^=@5 ziS+8wvKf`?1dR~3Gs`@gdU>PkgAJiv30ilkx0~Rd(}vUzHFq>;=hXwYH^c_3o3ge! z4M(bCB~6URqyP)9MROgVwb>6()yZ0kCYxN{%D9JuKOoGmo%5h`MYjrq6zwLCaUd_u zOlT(G;8N-3S}HD3D$OuU&Rc-6Q4|}~cosp_Qx#)b+5vS+>YCVOnQOEyd{V^)vZroN zyK9WeBMDsHl9S)o$1l}cRJI3Hf-;9)%iQi|K(n-ZSqsfkD4}qd z7mgRj;#bzMV4lRpE_vU=uPKp={B8VSS^=(c!9Mcz_TthGqVD+10DJH zV|{m|>_?n$dP^Kv?~|q$d|b*qL$$sBP@2Nhw7_n6O>M0r@x9KA3cSSf{-o_j%n66y z^P2n0si#SK*Yy>Yg|fT2V+qnOBO9;SXhvd%n1z~3@OraWJR-J;th~+nwe&IvZYMCI z(yiAXff0|fuj2!Z7?HS$Mkz488-$06zwg*5+{R_cD82CLis%xTwocDr!uv74wSd}c z>7~&WY4MPAv9eFN9f9owbdR;aL5RHbV}xRwHR|7%%xIiW*bt#V1)tv~t$DNZiv3x~@o?OY^@Pel#9|K5gU}r#lIV z*cDh+l4?kmFiR`*raHNJ9yFzivm`s`Qrqo!VH~g9a4J>NA%P(H6ioR=&LV8_;D+xiu#@m%)D{3ZY1nFx>^edr@_`hA5MLeXGDb%Tx= zDLGs-4HMekkykc$kgxH1DH98nBO%4&k*mN-ADfMEcGTBr1iwBFYwi%#h6;6` zV13)yMMIDlHpkfvdB;>bGU06bmVAr^p%ag=Mx`k04@`>uxZ;$|op`K@W8pv0e7 zSK0v6`I@6j{AA4_db9l%;%5L|8TCdZ71pkTGlrXDYtJeyE5eMqSWg*9m`hrli|?Co z!>_=123wgP0A6?VANxdmo;NEjI-M~>QFm=1f-%JAs9;_I=@>NbVcgP}SVTn?RaEre5b+N&-%wnatk?StA*6m}IyWzn0ytXP@I@G7^JA?kv9y-aJ-i;X zE37{779WW~v8@2(fX@25{|E-JJ8=va{D#ZDhi)FTHNx!0gfU1_SAz*~>$<1zCIroh zK}`L*b{NMLTA;Hp&fIKovmI37779mS^MA}t)piTelw70v3uTF7c*3NXyF98c62SRF zPu7c5Hs=UX)v4zLua-rcq1MaBTMC~(zhW3qlS=&LJFbONpTb>X0zOMS%1&%UmyvSn zFax4t+!uJqot9~h%97JAYm2E;>;fF|Q3^Ebq+dc)A8SaKOfDn#M+(~8^)K$LitH?5|5bKWNq-x9hUVd-5=?qO*qN&xjNEZ!}29wI6D%gzL<_gJFWd;R`Ln z^rV-%zcN?sykE(`0(Dt|rFv75&KR?R^rY;#_u6%dvurZUtfY?{4K?i>`Bxis7;tjV zF}9#dq=J#bX1*bUn+#;Tamx#@$J#->zi@Ub=3CebE(}L>8Aimsdc`b^TSr4uyPLq8 zM4}<@Do^{_$&qj_*>f0-YfkSQveEV!bIRN%U2zFWvO*rej6ydic5J34(aKM{E}_3R zs4*M+PwE8e$46z6v#mXAY4W=01LOE|!g0w`2+!TES#;j6vfTK*XPSJ10p$+J-{QUr zzDN!@^PbuI=V>Mw7dT)28cCQuM|1jyXJIr=Q&^*hiFZ+cj%H6YhbdZ6$HfXUw8s2p zLWp}|#h?dN`wyWhcC1WO7RCDTTV;$K8dr!y=up{-H}V+;_-b7dM}(sKtSR5ahjnUA z{OVZdi|Z@2II~nERs*I37qe{pTL*cO?gASF7n%LaDxTS8NC+rK|3v!oX)G)!G*AZ( zkMydIlQ}egeNF2yuf{khi$OQsa`2sRllhZ?GmIaF*P9G*mRq2JwD3{Cm?NxXXjH28 z;mm8L-eQ*5U%9vGZ6z+YjhQ>$gF=1VeZ1g2C^}(OWlb1DMJ%Jn1N3sw4M-L!w}Be+ zI=0y*m>L?OdyPc*y-F@05hzMQy_aR2qSv_MWL!>b$_;*A$swX#MYS$#NQw2A#oME2 zK99L_;edZ)CW4}4E3sVesJrVJx$D5~W+r-X^_^;1{X5ij{f&GoN^Pd$;Ex}mHZ*Tw zC!F2=H2#XgwXB9-g9<$k!kwBGuUXzlld`tG;yi{*mst_1^^_!*lPz%D;vCl27ia+VEUAnyZpCjh5sw67plud@$6!A>!ny6C#7;4vkT=dT~uOM?tyrMst{ zS=De}QayaO2Y(gulvBA{Er^F-yl!v}l!xnAyInrhh1Te?gWLFEc_T&Pt`>ea)XdbQ zoU9gVOJG=gg~ZKowkk=)<6pepotWcGHzzvKU|8KTmLS(}8eN!&Mk5VPwieU-L-Z$*$sG|?KV&0vq z_x4r@m`ulkK;$%_RbI5S9u}>$i!6j;r!{D$ zxCAC?f_8Gv=ha+q$&TtY&4NNenn=&x;{AR`ncemdIWY4h?e`cUzBH`9KLIa|aH05Xro1C9E{8y=rY=rVw8Xcw@^ zCx}9ZWe=&tQ?dGq3M_9htG^k9ec6Qg+5SpLPribzqP>#`R z4l5b^;Ggm(v*4qP^t0vNGZH5$;-aNbM%~VFx;rvg$!Z%+fWU0gq9LR6l63~X#zb7z zds_g~X^1SYEan!^2MO4ZpDy`?{m7y*KSqJl2=szJgnZkXWke-GJgqVWW|YRlinTVR z*}xDSwJa&(z2W4fgvVLkUGm~9(Y545j7L){PsdAKu2ha~@HRo~ z=h@VU&nKpDN;(+iF`rC)Aw?t^uT+aBX2xs z-bK9Nb|$))n`p|#RwRoIrhcYP6T#s&P z(otf(CD+kG{fqujUlaoo)S?Dlr{^#IlmT&?dd#Pw|^9^1xA zb!ugG17w5{O`ZVu8^S@Fh7ONODotRZ$pGOe!Z_G6=(HynOHy5b>U~zWB-Yrle9A`! zWxrz0Uuzf3!qQUd_q$%NnNm|Le%To?B$&~R9vM@m(2(p6#>R6Xq|_pcYVM)Q#`2w_ zaqz1+<>69xabMOQ?YqA2m<;wubf7m-u@YOW;mcy^7J4G8+7V>r-cGwbH z%8u-;PgLsyNuaYsv(^E2yUA1`)S58hcXfkS@mefv{I$RESB%uL-4{t2+AQNgU=yOg z*ih!0j3BiRH%O^E_AIIV5uuSKL%FOg-R$G!UKP4?^le>yH{p+9)#yeQh<&QQ&4Aa? zVZ}vy*0G4X<`$WWfFg{5;jenR_F4L9cC2r$>!%45Ev+JD8}YPq)SmMA@59cpt7gNz zSc!4dLhpCc&do(P?3Gephf+^jWGd8e?Uv50!9`u;>qJoTzvPaSaZWo#1%Ak?3d!r9 z6`g!AWQ!u&jHom}{sgFKXKu>3fbR0MhjM-x1yzo9vZhqiNnjL*x&|&#h_iXO*BGaG z20pUCAhduEBh*AJw#5(D=N!4IrBVNuI5i+ z8bejpL_3KWtDIv_2eucvRR)v80#9DD5Xw3wxw%)wL@hKkwf}O?bG)q>|Io6`RUK=D ztJBt!=F<$V(0`z(_gB+lN{n03?Tqp2qJ+C1BXwLAc@-L>{g^}D%28=UnAXkv5woF; zLB4%AcAoQn=R&kO?E^XOz_Xtw+Q)tlwEKk^y2ltv^*dchK#bfntsIBzaPEA#2O?HD)D7WGx8tu3*&QJy;V>0WYM~tJO|Or_#PSpS=m4_mNu@fIF}iB*uv=k-K3#A$y!%21xdq+#rkpU{&JWw*D*jY> z4PAi{zkA>5w1?U7ReRhjci1FoV3YdyWr&R%bI1?b-eVyvPAGEgO#vHVyIDWlce9t9 zEnr`JilAUXc*?x9x8faXP=ztpeZSImG9sk1ymJI!q`;4KqI?1x<&Q}Xyf;FeTIq8x z)e$YCeHbVBXthWL#;oS)#kGc(#bwKlas|yO%%dB5hm-`ZQT`#}54w5zwOo_DR1i7r z1E?RDOYttlnwvI-I&hX@J@~wDVBAhKN5Mk=;O8~uZOtd+d&5*jZh)(2R{2)H6g#s8 znaiStl8f45K(U1Q`t^9NS>1ZA>^C=6MV40m|4g?#u)gKdHJF=x|X64L&BEH z`o9*Snk6_Gb}SV|P4S^q2$0pF(8x0REL|1WwML@y<4M&topUxnv{or$3kDwlfIA*p z1xs38D4H$$twXSmK+pRCTgXKFk+YIRwesp`wN!_`Zt2l3c(hURpkw)-yjl zzMrmPwU}r>g9zLbJ)nwmBgU5SSZo@rE&Q5E&5)Z=idGDD|Bj2ab&{t>m>^d#kA zFik%{nO5IEAQQq_T{M(nTgLCeC}XD#Qo4O+(&ceAJ-DLbcThi_*IYQS7FU#vk<&B+qba`3e_n+ej}T;z_$LWg0u#$%&faV88vK0 zj*>m9YY*w7aBU8FXDr=@mhcGnb+ZcIEdYa5fB^qxOk$rgT$F)uT5< zd0G-rtgi+?2JEA72PL)lmH=5UuHGqzU@hc{leFO>Hqjm8=pD25L>?`B$zs5pU_uAm znw^pZU;HQGKKO{mL?R8Hn_3bq!BIAmGuu?rG2d~1-{s=R!Wq~G1BSD4@C zV~2yd(c^3lw(;g((ds0+aCWO`0-!sj)b*UaajU@zwH$Sl(1@79a6EpB2-q|H_tmqZ zZfaDeCCT~39fDP%w7k4f5~Q7(_GIxfu-8*IS#CX*YzgT};72LDAK@4HN#}ZqwN@-h z+0o}RPGzWAFr^QO@;7g)Q7>Khq_X=^0eThkAGHD9HMlQ^0)Dudmx(jse-F;$Kd8Pg zfAT1cwB#`-Sqr3)@i;fcDml|Q5{PKDl5W%W;s%Dz-Z3!>pSiPga%%@PN3#ZGp!QD>3{6iA4TBgM8Xf+|7v>Pd z3rx?i41y4h0VK3GfpQHbMsIF-b7-Y!aQBIS%n=7nrepO_&&)`^#d8X*gPmI#+E_p* zFuSmUZ+45bur-5~uVZQhFxrR5WE35F^~v)weQ$ZF2Qsx36ac-~!$? z08%M60)Tqw-}I%J{*?%Tzq?xlOv6n7xxU$7?Zwg9{4uhzu(dWdus6Td*RukrYiR%j zLLoK6%-+tr00?U*??r{J%DLUWhSi3lt%ix+LH&`~K_nok0b%s6z1>}A$KcXl=j32y z(^UJbkH2rtcqfn8%8K0B*aWoB$~p8sAvZaIVD-801V7|8Xl-nEY%0|L0PvzdS2=&TIky~BURzw`Rz z(|dD!2V8hV3gAO4?|<=g(319rlzJx;oR_p{-q%yHaLTO zEHpU*oNKOU08Gnd%K*&2f#?0b6k1q3+|i`}u1jrXZUVOd{k!%~`%SLD>MN6fxf{v{ z`>vz+?0Sm@1uFlgX{STxPJZ};fBHLP{Tn;}+jIMSef(?O|6|98M7O^3*Qnfk{)4x+ zFgCn-u>bYd*UjE@*Pp%p0kZk4s|35(KcfO?X>e%x=&Md?I{1Qx*vi!WYl}paLqfY1 zKo*5IH-7T3ne02Z>Vu!&97HR(I5T=4+e~ZX?2^uBMW$Y^Z_V!i*x8Z zn;3vIK>4NpL_Y*!i26l$Yy`w8`6GY>D7wafuBChfcLc;Z`6I9cC>r!fL|^*S`W2)B z5IfTy!Y-s#N+tBcV{P%`}Df=6AM;Q1Y z!3dWA8+ccIp?}YA`9O|yWq8|$QTA-T0pu3f=@BcQ?)W731r+X*Q;I8uyzrFAL&E)29{tmd=zt63!PwVM- z#l+>ExqWXO^!#~_@mqX+@<-d^%`f4P8O`kUP3X@G_{m#U&VTdS?ii%G;eAiB;cpeN z^LGWN_3bdH8a8M8&*?e$G>_p<#_L?%)yK$3E>!|DLyYOMl3x&Fw$7vTf=} z{@PtxKL4oC=Wk9DyNiRX*MI)k^Q3q0%m1EVU!Gtd*8--k+rWGp+vbC_{i;_FV=mUu zKgd7TN1r$+bJu#KVe14Dk}I^6j@x1BL5;)on0j)vmSZJ$9%>f*^hjC5oLAWYvlUI1}7?pb6d|y%)$! zq}xdUo9VX3PzvBDhO?u%BGx-`ja){mHxN;=k;JlN_6?Zsse=cMf8LZ*nf97c$6+Z za?8#5>_r~#wgSD2J_tN0@98_TNNi$s_)8O0qLwZ#K*W%tcttyTi&-WtHjSa>=8jTo zOKuB}xb}h85kTFtZj<)7>+5hy`K_l9gg#aOrN|-D0U{&`&OPAtt_JE)frGF%(m=@h@wv!#~XZl=j6O9~kS@lZCMNk4> zyf{MD=jfe5B@Sc51pS*fB1cT&(4#u9Ow2Y$V|ytt__^*y&!PM37JaEBY;0ZX+m`PK znf*HijF~4N5t4C88lLf3FwcIF>JrA;tX%MwLy%XRUY`%bxUEzIV2F?KQi%?qsfR3K7 z_boCLEjD@Ie@)8Tu&1vh`8fsKe6|`2;+vfX`|qjMl*s0!5~D9xgoZy$Z9xV!$TQ`r zgD4H<@Er!dqc+_q7giL>EdQlFe3R&3JM#|n?fYlDxV|;Mi8H5;1W|MwyIpa8ZZ`1+ zhj9mB0&bBx(vaJWl>lLN07D>W7lm=$ARONyB?;qGb0H`0Ri|DrbVnjL3H%y{L)b+J zlxuWVFTSXXI;+Acja?qIan0IjoNaS<)%`*B2+G2XGaMX#jW<(Dn`qyj)6aHoK`8mZ zF|#HV{n};4t>0n;Paz#4R*^BG=dw|pNX48aNI*Xbx4@;$egr|L@boU#=A?Rp@zO?x zJ+CNydvw9_*pUYs4TmrM&gO>1`L=V>P2tJoRBWsmFR(au&2F4kuFHUG({)RmGB2v= zHPkLEc5hRnq=HacZsspg-<@3WVN6^XHx_*~T_eZPQs4fYgBHY47l;?qSx$2rwcl=b zc^0ew^|@Rn`B#~ID91}IT(PM-U;C3^F2OIml-gxYR}M_>6G-!mI6Z`**__nfD! zu|5e8%W0N9i97_?5K(Z7(g;v&j269Mf*sqbJ*fT~XYycoJ#o@GUi7+p@NuBkI!!n7 zO2&0oWWK8An=rgOS>|1v_N!>K@OevUp)39wV$!Z~$;F?SpTuX?cf32X%*%P%xr5?D z`q`0?cjZ5uBCs5M2XIEe2`tGmD3LMsfkuU8wV5L)*Vn%JS)!;l>#)J}6Wz#*IB(utt@7pVyvjJ`^gv%u*5B zp>{4r)~y5kTRA_rE;`F#p<`eLUrnY@>#!LypW5A}#2&C;uVc)zTh3A`aAn$Th!6zR zfMsw^o+XSFnlNvBZ;cjv!53a0JZ<>eRXz7)*at^{xnBFGMikw(I_3my{zLkSUEa$} z_|70)Id!&yh71l4S&a%2@@j&Yy!ZO{LR0M0Qta5@d9_#@wWL4+TU#@ z+`mLYP{r~}cRFWjeG5{IAM0cDQyZcowz^34m+w~In1~N>46WA7A`Wy`4Ufz@RdItY zo_ID%(rzD+W4S=s;b#X@ZepEG&7HvYmsyQPXkSdZ-Q{H=bYVj-Qmg?JW5b^c0+xdKsb#z@p<2PcGCoi7hRQe ze1lGWv*gr&!@4pPJAHVH8wvdZK~eq6n4DY|ocrwoewpQ;5(aGDJODwuHgg$yDjGve z1bx*cF_u7^u4r8Rb^jiz_sfz{|FNGgtN(EG|05c;FLKujle~oA8>hTc(~(@(Fp8{_ zpQ?tK-uMS{R0~B_0Z*hnO;HRzJ{vj7pzw1hcF`K9POHjisN`eL_s=06tLWo3*vwUg zIhl-Yws4W_T4_Xu50iIhN)Q{rH4aI~!ea{LaCbE`f95Jw#7yA26XDsG0og5Z##2?5 z8twzw{WPl-K8sTUa-dT_PniN!6Utwbni(Pa`J>u$O#n3{l1GD-xh;n9xC<6gWFf=_8RJeIl>Sd{`4mWsh7y zFbD4oXUre-gjAU*@NZ3y29Q41P0w8BUQFMQB&t}Kk^wi2`7^(y&KWwXMyEH@!-uS-rn>Hb7`un)Oad+e!?A7K zwr$(a7u&Y2j%{_!4m-AO+qS0vGpji>i`mt#cD1;5@ADdcd(zl=0v`1_FcP~6lak(O zPt60M3zo~bas%zaho z8fbSegOZnQs|nf<`3)j6OM$gdxlUb6b62jOQ0AL4@!bNYLdV5a+$ExV)stUqI5pfm zk{df{p+AJ`Qt1v9n-1W&Z{z?$YurneXi?p~F7s}z7slF6T8lGpw9w_|C-j=L26>h? zEmkEzPHp<^qY88Id~6?M;r(%)_>*WS;PzV!(y|krHzf2PBzW*_w zvD2Em&bY(S22Pp&0>1}$m(lp$=@08yMgtxiS5aH_#nIx+q z8d2wD+p;h%G9yXOkQoLEp_A>RwZqc`+hg}(xP}4GWvlrzyd)Fq5e z(j@o91GkpuVeuNC^--> z2GwYgg~3kJu;;HZ^Ab#+d16C_)M5~=29fSDKCS*;-N7h01d;0Jn^7<|UO85gqGkZO zeLW1rFud8je^9udkR;= z?H5);4drZ!sD?Q}fZumvT{S^4eQN8h09(xjB!Q|ZmeM;`xK(l5B9?+E zGd_kzrZ!j`u8LbdSa>U9wa%K|cX3=nOZRoU!4g7^IG;49mCjvn4ZlWRbwYTXT#$4* z!73cu(0uNLF;qVhXJzLNzgMUrWV+x(7g?*^!L2xaQ!i3Ne0dSMt%y?HL$i7D8bkLO zzU*+cyR@Qx*|&txEY?`&a(&z{DIyQ?>5Y978R$k_@816uia5i zVGE0r#Q5dlv`9U?9JFWCu*AbU=waj1y7X51DA^8eA18SRli+cQp3GxYb%|>qY`ckj z^D`_b6H(hpYW!iX{Psnsuy%nCwxnoAY47}7zm_U+;oNi@*k>eoFt6qz^~|VOF>~0+ z&<2UVQBk>OnbV>2&ZKaz~HMpmG9qaD?^IBsJrwGLn_X!kJ^-aL)gy&RLG@q@tQ-rKLJ>EOX{|DtNQpA$g~)i* zGzXc&qrm|qEN(&WaP461ax1RKP3{lab17}4JMIkI84RoT+?^s*4)z*j7DVtl81-v# z?AMg()p;HG=7GHFaZ_T2IRRcbt~nL{py-tnUz0NUR9T*f8p@sW=Bj91lUp1W1+kJ$ zV$7<(!feY+<&TDl)@rUr%y3O>=v2Bs*5x(=hiF*fDwC&$2_h+zN3RAGLga*jL;%Y< z=yF5lLltclSQ^QSqC>2hj-#UCTVS5Ljz4k_6gS->FXw{IDKGGI`PE9jB|`8Njo@CY z9Q7I1I2WV0@x_ekahIT-lugPy)LN9BT!y2*mKALjhFBaZjYG3VQd#kFS7uKnobNur zkp0@Uq#8VB^-ad}S(Faq>ATaBxC?&%iU?dy0cXE|?5OVgL<2V)ClPxVQm(P6;30!6 zI7jC@|Fo6F2`sFXCYWtApMTD2qp~%RUD8mHp@jzVmDHo(QZ)VVm>CTP1J^6@$M#Y; zObO>kE!Lk%0Z)cl#X;u}9C#P9s$B$+p-9q?NpXFY{AkIh+NAYJgxAV2z)Yfh9Z7_R zZI#UT;c{pohWipy&Ftl*-<201B591n~68l+Lpn#34!(dZxtQ~SA9@4pD;+iFr zq@lGdj!j3x>l*m8Yfm~`s6Qw=weLW}s;Mz9@f)?UP8V^qKIsRA0;#jDYEaKHgkhV# z9H)wdLi&iL_4=8@w~TBX^~7{q{{Efor#LnkMK~MBmCR5jJx8cJ%=>!duP&d{jpzP_ zedV6w0slN#KZV}(*O{QFQ9ocGshu0g=fWF-ys{+-tZL!H-=5{0N;m)%m-9^qOVwA_ z$hL7u$Of;s_!Z@7%7FUqPWmmq0Hi&MU8WBltEynRJr@oN;_RX8(aU15lm+Th-Z!T< z`(z>IAc>qfy#RMS5}`3tkX&FSp@~g+9M`)o3)0h_XO5`M+1s#7Fp16n4;wrLN&zA{1x{+d84R_Uzwf< z`zqM~8b(F6U{d&(?s5RZBPyszkvpGxRn2bomJFoL^eihapN;o{(dmHjuNGQl%5NtM z*_D+nlpA;}3N9zKV!w}-nW!(%^m2WK78s+m-KL#((;BG+JDW{S?DmGp91HN^@>99p zrw1O>+8B(nu>ySg|@o{u~v;sn2IxZ~X+=2+44 zte_Dtya^1szA8q9uvyRKE>;I6*Y68{!B;WRHp{>;`JMLY|Fg9OU?rP%tQrtF|CN_ z{ePRkvoW%xsz&VUk#WgG#}*MTbLFqcyqb|pZi|T)Q=O=8f41AcdB#7d3hvfLWvEzL z(pDdf)HxnIL(U~0 zq-lFa7&~Lpr8R;6fQ}d91#DIA7Ecgo*KwB@mLBSc;hu_ETi#jD`AU4nAg}!5JaOvT znM3q@L~90C+MC!j$Djl*WE~-|(t=^x_-c=0;@ikNVuVn{Qcl*VU;*5h5x ziGJIb?jX1AC$)o~u^T6SjrYJstKpm94F-b8Ot$wWh$E5Wo*-ViyTTiNo9 zM?w_xI)^`LoV>|OJusnKX*U$=f{JZ5u}84Qg?2WNX#F*!qZ!rZ)GAJm9&7MOQCc^9 zHTExm?e5vHU8Ll9nNuIlgr6WP8OV71p+yc_EeO)j>nxQjdo7^J0ed9mVDc1GNCLFt zO>-u@!J%+rQ+_J__PXz;n15E-4xvlyo`gc;$(G}bvuR`@tL!#V7mwL3TM9c9&PS8< z#hIkxb-F1pdF}1T{*_USz8fafBs_13vt<@14+*2thE7k-4L`Bqz^WaF+}Bp^AKReR zaL%++sZu@v;fAIn^fT|fF@R?ksz)&Uh$l5CB1Y}gm}u5b z6bdxRDXkQxL-adTt{VEhLE=j=6N(aKwZdK+bS|tqJE7$%km5?JiJ7M`8V1*vVE2Rg zMiaq)zn35a)zup5*VSrGZngfH_@kAI#5*)4#&Yx@uwMy$vU%mayN3^nFrv9K&jo*B zUW|Qx<{n^x8Eh|?B0!k2y(iULr)^Z5={`dpjv1|?EQ=NPrqr>*pIx=8c5)=U>|e#p zZ$r}E^(``GApI9bD4eq`>ueg@D05*C%>c|qKmAa4Q^%8qBby#qB;)s%bxBRRhnOsR zZt57hYwC51;wL)-oW!>^UO*98k5}eaasFtZwf1I_-Kaixp(>2W!hU!HEbVvq{mr_0 zNQ@)8ODBwA0sW%~dyB3WTT_A8c5*^@%U&iaw~^}sU@`=mzQ_bXqfF2W=f>EC$s9I} z%{KnG3kUM=ZmcsD+JM|0!FvsUIMy(c-Xva6qz0-S$)vjQ;Sc0}x*Pi#yBz)K@Mlro z7sZ%zVaEKap`khrh;1S(hx*Y0qLRG7W-lk@kr$uMt%IeO+^lVsF--NY z^raM@F3!ytubL?RSqbHcpi4#x;QGw(de7OeYONcc5&AtyzK>HqC>{$bSnS2n9&`p- zUdlY!Oj(Nadyu@b*kKhf3%*y?5Srfn<1kX4Xd+Kk$W>LrMiu;Z9=yWby@gML3#Iot zfw}%HECAi=?&qZ-X0BE_Zgb^i=3I}L8tJzv>isT>;?1*z*$&<-)x^j&u- zH9i+f0R%9zGvn$9^eJn}eBx2eWPUmnxoA;<^N9uRl+Op{d=$Ggv|46IKF}M7rK)5FW#$z84UGF<_L@9wC-eEZ{MTd6d zYG%7~{mVq|BxIK|lg%Xk&#|Y!40V@ombpbDu8le>;(@FPCVmX~1Q;kiZNkC(wx5PX zGG<{dj`##;`xSGvt7rk@L`GnR(om&)2r^m@-@?XQg#&W1Ug)yKw3`6ZTJm05xZ`Zj zpA#GXP(6%GcBkdjA*DF7?zd>O#))7NnAH=2jFvXog)8>G7P&z$~k&-oi?-5CZ@=5rfNi-++j{hgQHQN7m?)^63Q8uV`kg zeBai(pOSy8*kg)6tuj|72Ln@vHD2!yAuNoXI=FeRnU*R<7w*;vrPf4!P<#=InuUzt zZBm8~Uw>OF#+0z79ue`0s>26b%tGZC5&fyC%VwpWQQoZ;TJdi z&2O_V?h+}o-=s+H1ZyQ#k$)XOeHse=IMsfw(z%ER-kN1+k>!})#oJn+Y(%KU>HSHr zh(4-VHk5J?R?Jxhss+J%)M_V`-l8(lg$dGFgRYljZl5PP13&KQl-U4oK%wzlCW#T5 z8xYps4ug<_a>VLQc%1}fCk3%zyWbK90M)Iy^Y=@fg~`;i5&rwoY%dRKKD1hZYvz1d z>&I#nGUdPDhd_-Gb5zvN;t=k**~)GbsrS)|wcXgtM7(~=?BHC7?gBMkthgl4_cE{8 z*uM~X^iiy=vXg(d3uKO2kkIPP?LZj{PGX)3prMSb@!Q>=ezg!EKgc!RuDqQ1{O7CWx7w3ZB4?Az{0$W+o5#vo7iGGvAA2u0S;K&A%$02dk6eyupNs<1TK(6D z)Z-v3Hs3RRjN+s?V_cFErwKt9&B{fpQ_h@^se4AKM|A^{wA7Ak%eN4Kkb;z<>N|Gf z8ba*U81JCM95%}eNF}u;YRgL;9}-}!JEma_hAn4ZX6S2wb4SfHAl^H5^KgO~Divl7 z>uMCf=gF?tPBIg7V`fmG%(N}DukSyRJg1}eXt3`lW}d1}C5KuUxlD6i1W_@%y5h>L zQr-$4+z5RP;fVfI%?XHI2=^vFr+N84lq4bq0plj+P1^>_r_jjvbkvih=6X${fm7mQ z>#_D4##45uj(1!T@Bx^IqjcN}|I)~OC-;Jdg%R{}aelPOLl2E(h;sJ<$%)S;vs8}4-Ag{rlK`Np|!p8O)D?&m*4-W0A5|sk|@02wgP)?Hh1(L_W8QNE=+<$ zA^Fq6H}kKx<2{G19LhgE6JrzOvka`iO`$)6%JZj=`;#Va$lv_Wsa}KTV^li~ZoU2W z!}Y_|*I1z|jpuzfA*vCJ!`dSnIqMfycyJ-`{dk#7WMTN83TVq=vdZ;JGONUGJ+bu! zyHKhX*2V)QnxxpnQOoUdQ(N6>!##CD%O)n%gJ#`tHV3)HZPadKtl|QA*_|b|;=U+J ze%e-4M-P90USIzdVy-OsOqIHjNL3NYnR^e8^M9;HE;pUEhA1DyRP2}*E+jJl@LO&2 z5ODUs!sb})EpwW6ku%l-y^d*(LsEQV9%Nnku`?%t-Jnw#_KW&09ylJ8vU4foPF2Td zSl1P*kReN^Fy77{ERH^iC4n3;cK#U!V?s1XyINK&|MR=Yi7LgP-K3pCc19dcE&oDg z%IuTOg$fP9?Jq}}7-dil;U`moD8H|UyVc~W$c3z3-TFwdQQM)vFQjyv zjO?$zYSHM7=hV0a;5i$qp@(6NIugi2#SQIwd>vNi z2^g}__O!B54;#Ix6<6;d`Z;R?!P(f813AXj>AHSFtBAf{4+{VCG8b?KK!fS30ou8s zAIK97*47Elso`no!q6F5=;TSbv8g|I?)}H zQYV9FGt%j(-$R)Nx(vgf>hY=XNgz``DdKZm)E0Zcc}}uWRRjTrL$ow?5J>&)HKW`5 zPPHKF3u36w?Lyx;NIA+(K@kd>cg83buK9i3sz%nlOi!ci)9l1*`Xc*9(kp)LOf6@> z*@8=;zXzL~H;`C9n9TD97zR2o<)PNA8>U?wWe}*_LESc=Gye8VlKLbpcyRnhTIs?Y zC%|qev>oqud%-ECM<(k(SOx2xec9xgzEQ?hGXXO@ zacugvZB_+$C_w$XK==x7u#7(PYZ8>XQY6m!CYQ^GBhY0&=ZdV>5BxHD zhEz~3%^!qap@shNge)d=Xi?PEbAd+t0y(2~%v<8T-r&!;z0GxD`4FyyU~k&53dX5d z=eK1J?yMmNMrFV)1_QkiGzS{_@qR?$z7=w&n)8>U6m9?B9nyk6*+mImYSu=WblX`A zh550zaWhy9U~?#xQ!J#ez$Fh2)+cm!_!5MV68&G1!O_#IONmAuUEN-icHto0EXrt| z2xm|V!3?7>J8up`nVqN8FF&qVfbX$)uI6PNBQx|)2i7{-W2B$M2n}gJ09ty~{RH4V zutwh&6Sv-D_qF6WA6Kxy!l9BcWukJAG_9qmy1j5j@saq0Ev{X#R%5yr#axEE6a|*J z0;%1ANrm$v|1Y-fL`b1dPPqew{F~Mdig#s4}Y(<4=f%~w1gRV!5$9lvFXa5 zS|OD#f_2~P>+wo+Y~FU{$#u$NW+dG?;fcL>`Tag2h*u!K+C}X2!tN}x5baJwHG0vy zTihYjjy~Msw%|N<|C@eWf9{zKOE+q=Z=O3^lOQWVu(icI$m|z0vo`8#mdvtJNLLEN zDQef~HXt_$`*)l$!fSlG=b~z(@ijF^?znOP$7u6*d#h-}RfJLTw^; zgAsNqUR7ibNv)=ZBd%kZ%D%8N94et`&EnM#+1I&V-bfHBJ~fU$7gUaK{gBO50B0$_ zKd`_l0tIAsV0q$RENXRGgu?b69y+DvXoOZP)d-hFqv`}wt1w?lwAD=-jR?VNEr~kF zC$?5lE}{U{hWFO9h1G!2ed*gLja6&W-`3tzj^d}rZYM=z7B!L?(+Z1dmZq(AY{$c$>C$a4*t@r@Ut^$oWvx-i7=v#?ZPaGCBbrzIToWV}t9#md13( z)IGs|q1YQsW~$vP#l_iwqDS?EEkl%xg8=w8Q?K5#veo#OE*o18e2tGu2PGupt3Hj> z7i03!?OS{4!XGqwY}8bSNsO8f2Q*bId)N-)s0i{d)E#T+j&Ul0d|q(|VC4A)4Cs~c zbujRDBBve?SIQ?W+onG=cotzLvqtRtAsxyP^|a?w-LocQmS>jafoPDyH6WpB!U7;=}Hwxjjk+(nsI z`o>N`2DqZ@gC`00C8Xbfp@f>Q2dM zIVHu%XEOJjwek!RfgQ%_KD0gd49R))MfAVn7Mc(#NLnPLVsB%_{q?C096D;JW;+AUfb$hSmjoyo_*t1*D z5c`JGn$p)%7IIgFY6x!@&osx@`L_>>Ba#Pj{SX{O?De}uo7twog#y?oFGC1!#FSgP z-S&1foo&eT9S2_?+7MtzW%93>{0A6H{OCA87mH(^tdKvv9i5ff_Z3nCu~5wfndiNU z?xRrtk`S>`pH2V=wBMgJ9uXzFYW|Lp!Tk-~=*CDL;TDYt@&b9d?Asfk&ZLb8*;1S_ z!%z+2s$aJ3(j394s0Bj>xfDtzqsS!~5Rs_=`#pQaw{7xan{^8R==R+h`gBXxbqh~F zhP~r!p_)#jv#44tzY@w<~U{$vEtYUhLb%k@+R zlVSO@>bl``=pg>Pr6t3V;CA>rsni(J1NpZrnD^&n0(Hey9JJ9H)t}BErA{S}M;aj5 z=pPdll}}FPVRhA^z{rcRl7vX)fJ|Rt?7{L=;fZ`|#r@SIwmB%{R zpM+zYg?_${2&M7LK%;eTozWZ$d1eh3{IE8tJiaNZy9LF#DAykX|CesAd0r=Rez&6d z8H*thvh4>YKN3)#h2_1jc%}(@d;~+-;RCWd47PP{@d6wGql_e8OFx1@#AE~2Rxd*z z^r7~26j5F4y})q@&>77_!eNm=*-zm>StCWMO)E6FKlfrhr5_X00;tI*qsLs%D(B@f zQA_+5Tb8M8r`jG{S*9>yCNME0H!i%6o^f$2U2+%pC;szWS;&kO`hCrIzYj@KO<0>{j@aL>#m@UNpdmq-CRT6Z3dK7ojnpW?dl*f;UbLMwnh z;4seiyCDnPg7n5%k{?e$kn!x-OzF|-MAzX{7nF~0S?(>qOaysO5Gf!O9F7$>^h2*+ zbN9O0^ve2I$G77+*^|%+LOALWk2p@m5@q|(r__tTC<@&=_;Z=GXp>Ck7j~}@Ho6C< z37H+%t0?-=NGSthY@V;LWKYb}L)#&NT6~2`?~2O01TDZJvcwOmo@2BpA~fR=L<|?G zNn%CF>FTgDG}tf|V#6%i?MporEQ$;n7^)4W5$Ta2;N%@QfO@5lTVC0HUFu1e2^@z6IkFs817{H0{vyrXljjqnvr6_V&o|5fw4+z8nCwP6(eEKko~xgRjARS;KX z2t6PcaS%e=`;^qH;jJ%k;B{PVG=9Q7S!&hD83Fun76niVilr zQLArjX7Tem)gFshDlJs@2avh zvkK?z|Gdq%l7QT8Pxz`mfSr_jR&U{3Wu2p=(JEno!RZ44@&{&1U&ZOyi;F!)BAb1L zCc{h?AA{X_y9-O!p^c-^UtHIEkEe}eQGXf_Ju)`KW(siuo`XY_ zY6I&}MlZOqg4r4>j?Ys_m%||L52Qh3x6#J>97T$UllSw!i(G| zBV>iPH9LrSbdIt)@r*!6)?3h6jYZEvhXlD6M(d``c?yL|+7Auv%D)6r`@ipGALafc zf42xu&GG5)HIbLMO`jGN)k`+m3?X491@VA~WIX_z@e#Xa8{gUDhqyqR+}?1K!^b#qi3A)wvsnaLQx=w zHA<0tyN#@W#n6CS{q1V8Q5>q4zdep9?mK5`s&yBIKw)<;lC*e&$T&nF;>;q z@+bZV9BWB)&ivX>S^0as3+~i&OYZsIcl%U;AP`o{Yxq{#v^yG}dq)t2A1EH1OWEZ| z6><*2J_2b_WtHC7(F4UQp!KyrZ9v$jIw%u9Xb1lT7ADBF9Z=F7RkNbB##*Kw66`_z zNFIX!giKgg6j&sd)w6<@W0&FYuQ(ztFI2!U2CMv`OHui)b4-@HDe!{$rSYVr25^yo zNAaH(-5F^d&$n5l*#Ui38KYv1;12?oOyx9ns!S^mu zpA6ks@_5`d!d>0*}t8j#_x)XVefUdz%!%GHeexgYAAH^Lw3EUVle8T&{@ewedjZmO0D3?mQywLzO z@)dU&D1Z1_Jtsxzi9Jy`8%e{$rV)R@h)qXWJ8iYWl&{f2h3ZUJOiyc7_lLH~aIV1; zH_#1@*_i>3grk~}0Z2A-Cog2ediPK}$B31oM@Uu8sK3HX?2?@In1AfrRJ49KcOEy# z$_b{=kF`CyMVN5Y-=$z;c5ZKAl8 z9|j|9YQ|W6@#6q~E)v9b#n`vMa5Z9Ws5z=dc8_|$)`^bkH@$4wp#nYw%d5)0q+tV|zo-;(0LJt;2|QupmK zKUFUJ779ib$}tjzG_=}edd`)hL(FVcm8Ay z>#y_Am{?{N!r!Fz+ zIK`GoE#Y?fWhd^V(W;t8mXd9kFUR_3T}|Dr6H%qtu<&CLK^RIOuOyiqoOfA_T8$u9^nz6RF76rB&r63?~ zr6O>Z9--fmOlwDCqG)DQHN;jT@xVbH+SINXvoJUWS(9rn1J-`y2|6kuG{4<^MB+w; z#4d+T=<<B@&}+K2^97loI=Qv!zOEeZpCy^qkH5Xl-Kr@nV8}+%MXl%C5=uGoSRCe4Du?X}}TOmR0Lw z;cYLYD{3(vkM(cAL()~FX}RHNyaSrB8H9spba5?)CsLSl6#FEc+wr6dIxYFsy@rU51Mk3P8d4tP^yc5JI1!;AWIjPh!WwL^_<&jUhOI(+ zs*%;cv zl+n zPS%-ToMks;f-Cp&NDKd+f^rF(wVyNV)r0mieSGHXWb*?SaPZS(OqX(O;>#8K>T*EY za=!hFzWRg3_+Vqo3&XQa6E23Dj!(TQk+WQ76n38cqODFsw;%7`QF9t zg|A08dPJ~WrR$zlrW>U z^~y>5YkFzu1n>iSJ=|%%v`7qiJ`9o?al$y4J}|(VSMqoxb&(GbQjR7 z(bJ-X4w&>L>?M=fH*-IY0rQ+&d(bj6sT!}Ywvn1}at7kK&F-4{Rf4&wf0?Gwyv5(K z#U`$UR2Bpp5fg8l0v%pQ16d^Ac0n6;SZd1Lnw4Y1=K2~64DbhBm#v+Ynj_3;@=ju! zX$pY+Hm8 zzl5!*BUg7-mZo_h7o++#e96yJAuDKGdk`j^5EU4k-$Naoccrz9+^lS zoPEO6Qp~?n;cj=`ZRPwfrrQUlFyFW@3i7>oztxi7Yx``Oa*h8MAXu%`bxLF2mD9d^ zVcoN*h%`T+%RVaSt;r#zw!t-SzvxI;7%g=sONZjBoc8%8f7XJs&TsEhih6463mv-I z)Tk>(`%ui|eT|~!b0o9g-yWzWyvghGVw$GTnE(lAWW2eEJwvM@P@()fWP;M()qPsC zSgh=XFwcaW?{s>Rq^S@K(gKunnwz?bX!RCNHnSKW6=R+n4D1b--d}1sh^X-iV-@Lsxd5Wb6%@Wo8*e6?=Ahk%rl~M9uj|Q&X3V` ze#tim=gypBy-&yQTv#7F;5f-NThhxs-_n8etsHs%zUOM=rJPk zFo(8{#k(W}QButOxvJ$x=+DEymOGklNuR2N}5ZAenYU8%T>)t(zyz)(Xyb zN4Q&(-{n9aWXLa`JAx9naKg>JOw_hJZWt;s0yzc2WTOYuBlawoTS|L$<+a_fXis#H zX=bI~NZ~B+sy~z65rpG>7Zkux9knL3(TaUK@**r?esKvgg5s>~bl0aC>x+$N%bP&K z<_Aj;g!&Pa@7T3_$0J(0i{RtzZfsi`)g7U<-LDtT&kZKH@3nCW~5sZr6$mdV@Yz& zQ#rl`@b?p!`yb5v*V^*u*R)44$3T?IKNuikxsireudt!?V0Z494dMjujuT+X@{76q zYLOL4(m*4_52R@do;F0p8~_)q4A=28=+3eUBxCkAcTD3%%*C9>YQX0tC;!HE#Y|f8 zHtC6vNJn^c0z%j?ueN<^draX^QCGe}*8qLu)7AFcMbPdjI;BEnG?gWL10hr$$A<5FDrU-_tlX2&$3ih5x4dE!=CdPy`zSWN!?o;_Un8$+Qw^bjgb|%E2 zyG|F|@;Lrlznm?DWV~`&`2eB4pS=TNaD(}r4L>SKwT|b5rjTsSNJ7L}hBZz>xYwse zGnx}9Pr&AYdH);vME?#NC;U2iuk#lnC&6u8?m9@}IdL;-_(u`Q2qgbYrUjLMVZ9PA zO=xL1FbC52O+#pdOOPZ7le$wiOfWn`0$S?zG^)JWae$;-Cpgc^2{-sucyq?DjrCwk zvfL;Pj_hu22C9lKnn<3>_wPR*&)FpLX)YahZZd{nKF~ZrySU6sU7{@BV1HE#e^13V z{AuEVy62g`f>WYYG?f>j4?%aSMK{zI=nanj^kd@*Scj^?l>g=4Jw1m`*Z?_rd4%Bi z?YnG5p5V(mx13kuqYdREE|gS|noBp8?ULLfzdk{4?9?TCB(ST+#;HQ2;C=}aPbZ~E z@Q&6oqUgMf{$jiS7p#Dn*|kwNFLn<+2L@MZN90|W9WKaDK?oL?X-4km*rt?kzH^9(2dy-ruv?9!Wazd~XxSeER%{%fROw-sg2YDyy}xW} zmLfp%2Co^?416||od7_Ww^$Y$(zag#u!BcU$14j@QA>t|oT~)?`s67I@25ILut(wI z-QK|2?`j;eP+Fu!%PX6bjN^3F9prSY(pl0EA)Q0lG)Ozi4?a-k#8PaaRE05v z1^vT>y~feej)x#ab-TJZxs-Z`ZasXKz>nMdYbgT0?SCU9oJ{{0GQ#vf(&zsQ=l?e{ z!v2pR`F|oKaW9~*CAxq9gN!UFlb@}&+I5;#0jdV#c_c>gi%rT+Hd^g?+t+*oPA>eW ze-fN-Dwuz7TfAr5O#dUK2BT?QMJU`Q%J$ubEO;oqCF}zub679~laj*nl9I6FW963S z*M=Vnsqr#9DvOg#@e@A`y^$qVMNbejD+(VXGIQ{eh^_#jMgU-@1{YQ*M^+Y)3~cQ7 z?~&Q*BwQlvQ)?@b#9~OP4Pg1)-BGd2OMX21Df%42#?OD$$b1G&@8Hmo@W&rsq0!~V zx%pKjsDIQ*D^ttYsHLqXs8R!KE1TQ%t06I!7ky6dRXaA;=H})pyj||;72ecar6sU^ z+B61`nJT5Kq^2rruc0gOeRykG0BUgrDQJa`7S9){MgyyhJF6=jxG$6~U7UQ70^vWu z165VBSJFN(I)zTCZyW73q2W>xqB-!V8KPHg=5fdI=kA*}k^I)dLe#{BSJy|hAcA}r z&&b@$1V#xdz0||qqYNAiME;wFt=XyZ@@u8(@aw) z`Rw2&Bg{W)1kPGW77|mHdhSQdH}XH!hmY_B4UfvvA+y$o%Bv0qFF^*z6M8?&T@q{NTx9=tsg)P7VlF*2E$(sj{6M z>00p-v7vHJ@b%yjpMDFNCzdc|1kC93;%SF+D`AbL0d(E-llkYv5j&-2(F|SP>YL)z zFtxrum$x@2J`7f9WO5kF2w-Xq>FCS%`gubY9iH}68GM&ehc-Kj(EFs=K&bzoAFTi5 z@}Bae4M)@a6Ho5&!rV{>G%g7G9hMX~_j(X__VbYOb9MjY(D4&}|HHET^M}9*6F0l3 zB_*KpC!jgJHI0MdXD(o}D&}G2a$?QT7U=dT%R1w`sn)rSB8{Q-N0au*_O$_2M93xk zhhuJDdUJkjQEYC0ZFN6i`AxF+c_nyF3q&6MDu?c;LkY-LE;jZ@@})t2c$qLgd|`y| zyN2aUE9)m$1!G!be{q z^MBk(KrSUOZlLff=>MJ5b0a;UKt?(ktV>DHs#gx9}uk$SY(6 z5SH3^K|;pwfLTfRmLC!Z1fY;T!a-;wrguibhtRM)2cg|NAvEoUA&TyXAVI)WLf@g` zZAjc%&#t7ldBASO{3W94N5%Z){8Iw=hT*b1L;TPE4-@kb=I5xxzjnIt(7$$iu|ak~ zUxNGEH|>jLVeh|3oy%{ekNU6Ive)$YVzdvzb40_BgbN%?6YJwo$?-?RGr^5#!@H5f zwSdcvt^C&dfZ5l!lbr9oc0q1|)z28(1xVa-L1h7i;j!V_Geg%*0gxZ*2j*P3X?yn{ zl>pDS&!9;{@0Wis0`Px}{aB`!R~`s%|Jby}>Ej7vasT+e`O1C&?Dq6X%E@oZ$L(R9 zT*i6@SN{&tA)pDn-8^+4c`X}rXZKf{^P=Zz?cgI8rc_Zcfvo1;h9*aFFRZqWQQn4O zK<@U&=UfsA_`t7Q{Ji`sBCO(T-+=qW6tu*d=Rv2oAPW?uSWeS+@^!vjbL{}X4Ytl8 z|Gdx_hAPbr`PEk=+239E$JFZ|{H|$L7pxEQU1}PA-Klek`O}ZxXj>esjrUIk;Q_(2 z{*MTfxzTCWTz%(3a;AmDm7jb=_hzt;JE@$|lvh>ydr|?vE#Ild398p&PJ&{rI~4I( zNyABZ^u6Xg#%8wXLsTP@RkG%((kWub0u5a%X(0TTdM#;;ogA+qDzGq`r{5{>o%#?w z)_Xh|Oa}VYJM!tYI^A*^7^Izfe-*vQd9Jy}*sH9bD*H{KHp2cZ&EO={pE-5;YXq>g z%W6KWKM!+V3#)`GELs}bGv;kLjH`7j`3k2s`r_e|Y>%32zyD%pG1^$}P}pozcfHo0 zqD&;VA-cXWhRXAFASy;)a-IOyq*@&Cjlrf{*6km&q*%^MDq=f3t$PX zh4UEzo5+Y9{Jio7@yPA3wUeSuq0Zx(C{auconJ|h_nzGj7BM~TWxc*&Su@;eM3OR5Iv{Oew9@0w2{yk212KWzx!ng2S4~~Cv z)0l~|*V##zr?C(*3Iu=O+{_5#wyU?)Od$KWtR;6z|8Uclm7$i<6DaB17PuY=o7Hnf zb>AD=1EOgeQgd!9BvvS|KH@R={B8WlaY%~2G{Uj2mfBA>bzBJZvm&vYN1R^YYTRG$ zBZ3PyU8HM!)0>T{WcajWnIdcUE7Y(Q8|fm~6j|=)8SfzYd+y78kJ(mnUA+DGq56C^ z2Stt31!Lt%p--4B?X{ykGE*Za)VUYXx{6wJt_%HK(sdNdHH?U)&jTF-UCj62Y*Cq* z?iIpUVI#-$d|D}|Fv`a6G7aC?KR*Md=QP#z3#yC$ow3^JIJGeh-DbaD8I!Y_Wjjc) zD_r5DP^+j)Iw{T4NSrzQD2)X(9hIO7a5o!aS}$)upCTkFVr?BG+SlnL5+}~YwQeFJ z0UM)<3V<(!ooaX+#&7%hKREDqUuRRmXS~>Zi=ZsjF4nM+wdt|#E(AF*b-oTBWe+b) zdkMvFD6a7OQADz=QDSAJYXUMdj%kjDW<;`BxNgK2IiX}4jY;#KQ04(WIo_Xr+;Wbhb6X=joVDjrGE}J`ks$YWk}eyP1DxPob6FM@|0i zhlpRImy*b}Ydt!lpnz(sVQ>ol3Ti`N6Ngu;4hKzHv_{8#eJ=I+wGjKI?*}kQu^6!6 zZVQck;791UGb5%WmBV~`O?K$ocLBzT#$8qD4PAl{3?Qu*%fW3pIWZESn*$WG-xoYi z&#F^JSEf8(lXOm~;M>I`K9{kB{w^NCc)EI5NoBbEwCYh}y7DL0|5tbJMor!{d3D+E zB$5CPxi?TuyDRS?I8$vipVEb@G`*Mz=YTF^+Pp2316+O8@zjnvqs=YnRSPDxV)ad< z0dp*zxg?bK6>)xod-8&q_IHUn>uXT1d{qoLae|L@>z*9a+1_Y5-wK8yZFrYCq9w;N{KRwZfgH#DrKN_|zrcO`GCur?oMOXIwxGTRB#2 zg;{~fFh!O_0d~*4>D<(#nZ4<`;tYmCamksm-QR#0?u&aO?MC_=qGd{b8duJ&jz1R3 zD_+GK&yF$*ufCIZgN{0+P_r_~IKRAtghE{?YWzBdU8!v18xJzFnKXy$ZPX?iz zK1WMZG?wHU2$}1|_G_jU*z9qa5?7`mO<0j{x1N1 zK!U%GyNigcmiFXokhCzl;%AU2$E#xt`UrC-XcQLa{2p}v3CU#!V{ZNeb-%U^?KBU& zDnnpP5Do9+u5;T@Os_3szABXUxLis!atnUL%jG&wC`vhLV!<^|OBi7%Gs!yfRiItd zR1aguFB*%mN9??VKP;gh%GOe88fTb4Q}(?mJ&o|?6fSJ=x(LFX@(?_knSTS1nEJcF zKOV)WaI%B&Y4Rp+GzU$A^DCIqF-ayk~Dl*C-36;(J46&E^P90=+QGy^Z% zIzLMF`ibWKpG4~gv`enF?cG5{#56N=+PVcdl&2(`z;BjaWEFu4g;hxtIn-DfCJzAR3m#0`B$*C5$*%n9?)a+Be2W@MzrK>;6KQ>lM5Lq_i<YuIdbvp8qHC-yEldX59O*#P_=t*}j}gZG zELMU1qg=`D^oU_;>+`(K{uVNr|0BeD!L^d$CV2h3z$2QgBI6fH|Fsq%mT&eM<8792 zH7mv5)M|%BV}}_WNInkht0mX3QcVlHU#+R1##t4ot37A5nI;xB&$h=d0Ktr3s|VdG z`@7}83;bfC2OFL->Xa<&r2(Ur-_u7r4rcO3>k1Ecs;&xHW~5ggT& z^qkECV|p6m=VvXHrQ=hT4S$Jwut0#5%Cqk$QS|(BhCov3hLuRUUiWmGUh+-+5);+0 z^x3f%8GTXKd7hsTR^57;`a`aS7{}yW)+5Ex!jrk+X+PA&MBmW&rnjn{O#Uj;oC;d8)zoJl#r>!Jt7}Pl%@z6ZRJ^~F})Fo802Cwm`_<-8HUOgrC8qVsI>2ds2`HD zQLsC#ff3NJj`||BGO-4>K?3!dAlXissyYiJ6o~_qI8G(-Xr^H7ZQZ~QK>(WTu{^BM z!fRjryET_EDx54+`TcR3haII7jzsKd#+3O=U6wM^BQRP8=>kq~-_0|U$n){DrrG{( zg=#x<%ARKTgDsJD^V5W8C{`auLQ{BTayy$A9LBhzdx{Rk1~NY_{--hZW_i04|Ne!D zpc|XMRU{azOg^T@ZJvYWJ_E*9inDyT(biEHQT<^?lpUEE+wnA;&{uN5jwN2c$b z3`r*GTD=2WOhV?oYLD{?BNm5hZ$3BMj*a!;dUSHuG~r{bAV%9Y_P#dDv2JYiNbOZz zhA677Fwuf@RC&L;3DJHMx1s2pP;kM{R&(GOB7X7XcqirK77IJ){6<_>_0He#&?Fh? z;#5BGN5R6=)qffj8#kP(yeIEW35?-~LnbLfLKuSkq=5YX+W<`{Il>Or-DvP!4Dn_v zHBEt1I%>7?rrLQBS|Ty1-@?$?h|co*7}Tv+g=@TCH5FmNfknXj0>5>EQf{Cg1WEj$ov5d?ZnM@ECkNtAGRlP6YAEE=L-Li1Ii>HFtRwRXgz5N~`Y#3%>=-OG`4S+PCw4Hl|5K!sC7JpR0LlNr)a!mKG zov5uxg{#FMnJup7%(sXkAy2r!mf7YvcejNs&FH6uKo*MTDH|T+&p)gKaXZJTXZaq$ zz_uz}*Av&7U*k^t4>oQK=ADlSM)ysj_ab0g)-}DOU99}00BmDFs2jZElP{g!8wQY# zFy}g_Y{25l)#vg7#Jx%dhmn__)z?`3#8fHnI_bGC*!)NzPSp?n(Au1SldkesM#vvOYIM>WO#fPtTO|ybd=22?4BXPLf&@zar-;F0ls{ z9I64dsb1k7cWyhw&7)wm1DJ{kQSxMcJl;1-M2_3{H2EZ1ir-|@`b^L5s^FXD>|Ed; z_Tu4LMWDMZ}CeP!jFsiu0*)%PHy*Ai}P&IuJ5S4o~Lvr})vrg4P;UlMzZ zFOdBPdfZaqMh`u1J>^MQ;sax|X$-Z_rASC%b;63(+T2(ry5_$nQI2hHX4WiJ;M}r; zneb|~LRi+?>p_OFy_i}!JR`Yd(>1vvl#W!a7~Wjm@IyH+g}kGeEEN$Mrd?5oB4H?F z(3l)_(7Gl5?B7x^wEbBd?b~uKH2F3|b^72fwd0YV@7IuuCx{J~6Z0-a_C1vmXk`lX zt)4fEMHEjLxdaI>f{#GvVx~mfhf3ITm(=6l7($x-*m~1t?#RjS&3r)va`ls#4v{he zwi`Ga&kR)__LHi(*1G>#U?-ysEj+etD70$w+HllK)IC8ru?@RD_&DW5jIuO2YuHrb z?$|d^QObKxQ;pl0!$h%01waziX%nT9q&(N@Q68EU$k@$yW`{w!=uDDOX)ODDy!9Hi z7R!<7F4=i^u45)jc&i{UcRfWxnA`dDnJLXxa}{d*Q%TLFd!sH>^6+9*i2Q2{ZGDBJ z-8^+A(##`io}N47CdEjwwvZ$RZw6Y7!g&vQs%i|80tc8 zdq>S!+p!x%g4a>=bzbbtMipkL6bsKdYn1usjT3Fv#NKWgPDW=+=klqEk`uySi*+c$ zNwB^OO`t~vXk2AM@Fl<30^S9YXg-Dv3wSRbz9%|`NN~()C~d3}F@7 z!Oq1C{*(YM?@f`(2Wt-25{FzB(YiB-_`+J-v}I%nXc^A<`1P7I*wEI&4{5baNj)yT@**XCH&VO$ z1}ARhKM95CQ|>oP4!O) zZnyw&E-rUdV<=taX)jNaD)4W=1w0gftIW~w(QK%a8oWqT*9K4*l`A-o&U3>v(N(ud z7^0AfYZ|pcGymvS5U1erQfYxu8V0Dp%fJzWfU*(x^Onpr4~f0rCTP_KIR09V;_lFtk^>@bPy!Q4t{HJ-x# zn~|`h32()AzTQ+6?KClRced;7uI&Q6G;wSdHE($pgGx2nKo=OF+z6MCCV|efGRx+Z z5HpQ@pvf`GmMe%jJFM7koX$Bta`xD?w!D0RC?3If*FKR24rXMoHxb%}%sxNcR0KU6 zrOf6N<}^PIbVwi#YqQ6!U=ijTWJc74@a&n67ExnM!Yynm0iD4MYGh(qLhR*eEOCAz zop+!S1><@+CytU=t3!!uIe)pKV$xk@Fw z95^eP2lK{JSuS(NuCC_&X47tR0_pu#QlV%Dum#DHTf<|&^i1k@WEg3zXA|ehujSh> zVj6azF~*rix7b9l0-LAd#6-U%)Y?NIh&XazR$ddJ?#`Sjp+NBE?tsJ|U~G+KXw>0> zV{v*B#@dRgEi~{nC^^63ZD;6|hik8wprKmzrPg|Dfh(~R4eW{VVrrX?FPvf9?d(2@ z`f~-l9V3w({<6N{k=p2eoLFR7v}X5atC`JJrc@GCE2yp4v=K50<5T8u2)yKU714+T z=WhC3Ab_G5VP0B``K(pG;6FJ6Z;uh=JV9&9NtMiI|6t&8-Q43owOe^m8D7PRS?vSq z4&~q7LJ0!S?m#Oo53GK+#ww`AjB4^AqgZL|e#CWvU-7UPtMeog%8LOH<79JlHI zgTE|9Y10E@LHD9?aTl~MQ^w!NjQP^dNDi(kMonk05VAYibPTM64Vjkg{;dH>Cy&+syN`ZImj5b6GRL>))UXb07bQo?VR{#)-pAtiC4BNsKVv$_ zB&Vbr9e9T?R8l-Q)Iy7M zNKv0<2g0+_$*ee#z*>%7y~w^e2H9cScjz~x{JuEI3!0e=wcwv>bXSxXy@(d;Z)0gZ zYNxa3*$xmGgQA{vPErqXu$RD#-f^{4lm+4KBI$&;eJNsecgB}*O)ML}cXX^1N5DTw zS6pNcVf7tWvmq%8ZKW^ZHO5`5iq5P*POpSfO7S=)rNG-kF53mEt!(kzhB|}`>8q*gKLXNi& zWA)>AdOXA@w(~`I+bFvW{&czSv1k!4fgY$1w0L(OSD=TZfw9>uUPLf&@y2K?b#u2o zPVjFLC%Bu;=rnj3tGk?)UF3ex9I%6cAJC44MhGSD#DR7~wH9?V3`)o+XwO)(v>#UGU15>Kt+&BsavYc)6(e<(ldZR=IF zz~%JL<`2Rcci3%Crt~pDAL8jm9r+vx{)`v<8C^5Q91gc9@R~2Jm|tKn55UwcO@HP5 z@oAFIq`4K!!D*YW!6AG^Ou%yGTY%c@{- z-GSWUV|?~?wi$Em7Gp2t$sWdQ?I(eL#HFhZ|7B9uQr@0K*!&uO*0YD)+M!Wk0W-gi z$F^8gZmD$llIW%*wNcc z5_WgD94oy~)sJ1zhiz`PmXwa1=c?N!)tb2C9me@|yeGW`=X(_4e#k$a3Ze?@+c;rv}>K28j>)zDzDgyY;$&yVyS?TmE_$gIO`yBHa{h=bp=+8J`!QNYAgZo zvKB!(K~Fxf1H)EQUqAo3PSNjvvw^uI( z=^Q?5k;N%JW05jqpF~`3!h8mtY?qeel3k0Cp{8C~)7Q(+cL>%%S*(rNR7QQz6xQ<_a>2bieaPj3*0op$C z<&u?!zjTG>hUy^XXj@7!M*Hh>H5{ z&H3LmVpw&ju3=w^+V{ZifP$3ae|sWL@WTmTjW9b~rTv8sw+_E0B4Y(rl452C95gW? zCxz>I)@}6~W6BXE*TW2*?G1uvy?Q1-49tI7hLayg2&f&b@ zh8Ors65KtD@|Os=HY+okCxoG*5oj^}YPG=S&gCXuR7gXKv46@?d^YOt=oskQ=O9kZ zgjP1`Y{;N7Sw*4R(fpRYqt?uR397b4>R`}J1;|TvC7N<)Up~MC2s;MkYDE_9FB+0w zhq|vXus^G3v58jZh7B?19Cu!6F!+Y9he>~#+fa|CIErv=ilR9XcNyP^)jmLLk+Xnh>wsK(%;&l(x&k_2xb>6Q zAvO5+ux-tCHs5`tK`7E@OY)u{t0BKSP(p?OS|n$0#fv*)xF)$Oky?Cv2ch5F*{SmP zF)oicVl0k(OF=`#txT0{8v{P)t=Ok}y-2&guB#K^VAf2aiUIHPxMxSc$uevQJ5Kn6 z<$*vTq2`JKU(A}J!Y__BUU*gZz#pV#UA>PH83C$T{)`;=dnm4m4NSp^&r=@bTQ#J< z4tR@@D@bZ-0;npzuPn8cSzE<2#)5SiMd&Y!e;2z!$!kZ-MQ?bm3I2Vcwzv)ZIKDn`0hJfEN2MniF_$NK`%a;Tz>g@K z6WWx_#@?Lhh&k5uHQty0G&!VKFk!XPT+jMf9Z=G8-I*825cN=BZd!NjW(6zA-j)Z$ zY5pTx=Tol1wQCd6+1a&rryX-`>vEIkMaGzKRlnL|w|83GoweOo^ON5jPI^qxPd?$1 zT2^G#DzAm#T+s64sQQR}Ch)JQ>rfMjh)8_Tu*p*B7<1TRI%VH3r@Z#pg*2C=-rosT zcz@?4*~CDQMF?rH(}fO`W^K=`(kXm9@rfLJ&Wp)*R+haKcmno_OG@l4DICbW=(((d zW0P_-IG^`Tl+Qf9F{m}W8V8|%O)SN+?Y8)gE5kF6>{edMy7;Y7DA=%XUSccFtQb*4 zW(bY#HdVDISLv)LtPj#lMYm#Wt~{#muy?0wprM2ZMO*bji8sFgn2d6SAFb8@61<{N z`|Bm&uM(-0NxE$ZE|H-(>(0D2q0q^iixh6{LSLf$j0!&@@ms6qZ$3nZ8{uM{H)Y#3 zdFumMI?4v)1`Vet=kK#EvY61I(?;bbl-#bP z!$5aF^E;HhWRm^REpRamG;Bb$3*X@wtnJ@*T8Eo0ZLpl(gIx>`p|n? zT04Cfwm^`dEgB=9N0Y4wgQF9D4dn|0etesQQ=`P2x)0N#64 zSsva>O{6_as6!md8Ad^_=_t5`waw9+XI7PYKbfNR#)K+1j~3ln?t59?)&>e;$G!q< z4*zvQJb9y(h5Zb*l`>gtPvEO|Tq=W*8bvro>k}k=x(Yx{b0&p=3i_D`wylYdGe#S_ zA2!ZC`2jZheCbOma;Ie)S9o+&QT1&I5VZMs70#s@(z9shEu)%^^Lac98Pz+d_De~_ z*&1|Ja0V3c3l$u^>%^A6N$fJgv&DKzF|GDVws4eDqW-T2E!Q-9^+u|cxZTo|SFw7e z839ukOfSZ0-1~uzz%GaJ-g)E`Eo2+2tHNjJTGjkVxx>(lr}5kuODL=BBtJe}AF&kf z9>O+|Te_>@Q9++lgEQl)>T;(fTGw8c(oIPU-0c3cObZTnJ)PGRr91sZb$gWHKNIfFiTyvan1whbu}O9Ct0b|nWl+iRlN(tfLQw!Xq#S+F9#tas~1y53xLm zS_wq;%kH6qYveP+{RxqBP!*S$z~%iVnze(;QpuH^s$8*=c>6XC=U(1E?oFU8`Qlfx zYSk$0Cj0r*wwD@>DFxz;Bkpfd9L2~1`gO3$0L9a}5R~o618Z_aW-X45s)p~MmUq70 zdhpTA1d{%2f8TS6Nf<5yxZ^7k=OgX!7S`QuGn_It!qXGk&(@d$8MFmDK$%;`56(jM zg=Q@0Ub_baBk6GEej`I-mCJ(vSckHyzrm-c?OEI1_yrRIy&n!F@8M$q__t0TmNt6C zW2rc5e;GaJbeU%P^NP92xl9!#P*!9*{M7xXIBbhFN#nZEn-0y;)soX9XDv5aaE0CXxFay-ZK1x7e#{Z zd5nkc?@5}kn?+)-Hp@w0R!LD7mTP<}LsNYli(xiXdUaDHtiail1hBlMR(%FXN_Kd5xz=QHdNsx_1OAULd+&llh(yN;T3CF5Z(+ z*{`%d0iIA0teL8Ms}zT5HR^|GW3V;oJzT#uQYJGC zwKO-n#^e&k6T=F<5+L<@vYZftJ?1+lK~KCs)O*sMKa6OGeQiZNS|4WASiE6&Gp|#2 za(N!}MfYXE`c$$D6PU;z`ETUM<>(IQhc-$h6xu@aQ1PRxQjN#dgTo|Qgn2b{P;$oh{b|>_c5F$rG!mi%69?b=nh{?U z`NuYtb|WQZ6ZSo`4EfO!%_h)a&vJxqE3>Y7>@MjypNA9RS$=y%eX)+#N_T7xXyCH> zWp(t-%3%q$&VQL57q6kzFnTJw(?pTQ`$RLgYy@gj{pq1#=Ct7T*#alZrCane4CUtT zQ+Y`bT<-GTmz!eXV;B#`4Lbq!9y~|%YVBsYPwNkqi`O7r_o9hC?hQ}c z&nnA`a~Gs9osjPaPdg!cTqD`ZdRGOKVL3)8jV~aQ*6$)AxltAOHRtper9_Ewnu(13RUOv(Ge-rRjkg-H~6-IkDi&KI^^E^cCdeEZqaIH0J-v#k@~Qpl6_`8|yWto!?}TWQSyAU1sAf)oT0O@WjrrpO z@EVY!#Yy5-$bC>snE<%wi` zWMg5-0Y!U4ID~3xOG|>+RzgrfhKaKPIo@1IclORc(c2&|IRZiI)Wz+)GYX-ul5;&z zlsPP(c+6*n!SO!LxX4!>oqe>Wz<6hQjEn=D&0L2NQHVlI2Zvn2T%VDPHPxo1{wM;Y z^4DAye#ke}$-oEu{n1&-lZWHrvRu4ZZiw%nC!5RD=u!D3_?2C~(-Jiux%4tkgf~uj zs9@ivyw88G;#S^E5=SX`u-uMW$iwxk!C^G{^=U_OkPoR|eCDU>=@bQD%Qh$MNhijP z5bGWIA{b59oD*vXgLyW@vo?Bp+Wkr-OBH5=fAvGG}?ZCX}V zz>QORIo;q7bGGdLdmXY#s!AX6pAqYy)0~Q(8=&o-=<=IH_c{plpq&(eX95X> z9&k08%ld;mkK*nddIf%SBL+cYN`sBJ!zvOPMMOE=)CZ|j20mq88BVlF$2T}%$<%pN zknAl^YMXXx*+Z^o*dDL_29aq9}uv435;nf6U zdPB(N$`|AKry<6pbF0yK*$H65tMYrzLU-&ZLGkC+CEe7T74BiGX45TfnOV*j3*O8p z*+H>BzwDiZOzy%jYacaeOJ+eEiQW*xaU|kjthz`VzNGtT!e*L{w;8dTPua z4yU5j%ij6=CGyPZXl5@FQQW&Qg}DSoQ>fBlq15be7RuF)b7cZME6KeQUY#W#>2{QC@L3Ih6ZKR*>_bA zY4Ecs%5%*tM&N!rF_Z$QFEYuRVcsr)%qoYS#29amtU7!n4Iwf=4A47ATUk+!&qUu@ z`DOsUjh(JC`A@i^1QC7)4)c2$Z-U2;Nq27ria8ikdYlWQD8}`+BdJ{eRjh?<$}RD5 zBg*Q@d}sqFju&&DD5PW}NM7G~*XMDr+8jKt`MGrW%e~((u8Bto3iCLQL0fOEP~OVk z-uk}a3l(jZ@5N2PX&7h^AXNm0Ptq}o!k9ndM)Y5B41mmbn=Jy_+bRqj=TD4~j%Ij! z&m=O#^dN(*uXItZ%wGc5x4Fb?b* zz7k0yz~2Rmf#>zm_?q27W!-nx?}S zji*#;9(T>wZUmvKiPS~lV0j;(_*TjYmb2_W&9LrFfGNA=WS}9nK<}t30=g(^4`VTJ zGjS5=8iqef1kWBl@>#?2f5uJkcJJ)4+mDyOablv$LFg=}aUJ~LaI-2AQO^`t^1iyY zu#~S4{Vmv%x~wx0VHM2fvI^)Gh)9s8ZtsYQp%sbk7i16SmP;62jZfyP-M3W;>5C{8 z5k(JC`-K{d%)jeE@#kqg8-5^+e(gb(T2J4Ph^kc9PYq+$+sH9SvMmDlk7& z{CVQ5jr2#O`;{y?)kq0GKSpvVQI(O7xq&T~h=ttI4-secyul+UATnD~T5k*QUpw|o z7XgQH2zZ}XeB&ghCc*}%vKj)!qwJNWjpFYyt(<`;M zUCzJ>0|>bK?tk+TZTb>#kBp<~VW!(*revv*)Aj7B*7hiGW0(Xg-{C;~z()s&Uz~B* zkuPE<)H)u|MTlD$Jwy0vFGHX}6sYg386xSA-{pPh^%#7+yY;~=@k%6Na79$119luGyp;bX#xCvzM0{r=1 z!zaJ-t%ms5@7Z|X@XiW73IhT+23zKbcq!U z0$hIG7{uFo^9M}j907B;(bld8_nY@t((k;=>#i2DeY~6BLZ7xvC^^A@o$jIzOPf#% zqAP1w+L+z9)6*iexc!(7d(a-lfacP8(nqQBV%$FxoRRm%x`Mc#RoDfpHu;uJsg3i$ zg2~ky9n#@*(6K#VQNIg68;~x~b5&#p*D9cT5oY2XPdP2TkWGbb?*}^`3n4g31rwHW z7y*-@l|9oD_Zg=lcPRrs!rE=va1N;*665kTTdvltuTAPrG}bGN&6u>lj_BF;^{m|#~^Ci{W?!oJLaI1I2*k2r773C zz_{-GSt_99*Oj#<4b3UGMAas4KR_|f5bnBY3teuQLugv7M_sAY@Y~nR`O{$7DQqbq zFLx6;R6dxML1!B8Z!od(?ij52iR87bGL95NeHzgt%;83>@>Fr|4cQ$&r-x)bjOA`C z8(ZVvtFz8lM2dUk9&1xXGxN+x){d^Pbygz9s(N70ss-o|Iv46214tD$??Hnb-F&4E&rjNZ4PI@90C0{iSQm*~n*-V2?{0LC${T*CVK-AuW_) z#ljUIC;7ma?0+>QWU6#GwzJ#IZIT;yd(jnSuOZeKeec6T$2r=J%1ZfdL#eQQdMhVG zoRQI|?bsT|NVZAQTvOJE`tsvym9P_ZiQ${(@!+RZRm`2;xjp14ox5}vIsWDlE=p{W zmF;n(;n(S5L78rzVcnLy9dkLL*^6-;M6%Chf?+PLkUcwpnH_i{d|r^rnU59iMh?K( zW9yAL&?`d#E;|z247tbjl!P9Eg#~#-OZe1&ZYH8n+3OA&si6u|inl4Tu3vA!}aofsc*PT~7Im z9_g6=?nYXoh9l!oDLb_C1$<53+bF9y^dsN|D?L82;dAt3@q_AULOyX`CR#TdG>mC9$pHjeucxa>ag9MwpA7T~;h^ z8=C-dk0w1TD+tdMG~K}7udvzx197HLMR6!zSof1~+8kxNt23lS`Wfz24eEgnQq3*k zEAyyZbuD%;NE)|6aWKC zyEKUY?f(HI=$3a1Wo~41baG{3Z3<;>WN%_>3O6z!Fd%PYY6?6&3NK7$ZfA68F(5HE zFgFS>Ol59obZ9alH#Imp3NK7$ZfA68GaxVuFHB`_XLM*FI5smhARr(hARr1aMrmwx zWpW@dMr>hpWkh9TZ)9Z(K0XR_baG{3Z3=kWjdul9lwbEQQqm=zLrV|cASs>FIlurz z%n(CKNp}g-4H8NT(ny0K2#R!fcej7^7yiHR-nH&s?^^S|&)(18=j?r+ebyRAS`BRu zDJz%-SRMw2b8vG4MF29Y+S=Se01(K_2?X+BFfzV?z#YK<*fAJ&!7i>47*yncF=Sl8 zAozn#76gAFs=}ZEB{v5EH!px&K!jUR1PBE10D;2)5MeGN09lYb#0sFw2~dJT!LAsL zGB77E7l@55{9&DcJ^@cHSpeL^!h-C-!vRu`U>Arb2ntXI!EM2g4=Y-N901xdO9&Y5 z^&csoirK>9P9j`f9v&W?AV*hDn2U`B3p>CA0=ETdfnC8a?qDmxuaW_3AV=`urEy{~ z0$$icT>o-t!>r*RAQv#;!QcR~1VddPLfoKMU>Cr{>Huv;6@a=E82T4k7uS5{&?_iLnCCt$Y1oeVIZ2;B~2QWZgUWF6x31|w9R!e<(gc7WD*U@XS4$U&6Wo>472@!#My_9J9@;DiwUU83I)b5aSBzi# zlZCi|Eg$;s#r5~$+CyO;Q15?`H3Vv9{i_TsHzzI~D8$(ftSI|8=fQ;W$7TbD1NebJ zpb(H30Com|JuPjyel76A%L)A3$^FaxP=l|x6U+%<{ZIzj7h(;5cwu=v?47UCYKb*e{#1miye2^bE0Ql?q_sir#VOB7x zgV!JW?<3}VZlJBKV!-xy$^SZ~rD2``Zw>)&00$305Fjip3=rfO2KfGG8VwNS?`{0A zP(`RU3?Tg1ZXeq8&yL;ymcY}$=Ys|CpSjdv55fflp8nCfF_0f<`S8R2|E>1lA^$g# z|H|_J)cJq!NZ!rC;kWT?I5Uv~iVF*-V52FD6Z>k>nugO&fTS43$ z|J$nw2R#gf6x7Dy-$p`QuOALh{t?D<>9 z04`1_4E_)Tcqq>oU=4G@_;scN`~WVgU#7p1Fn~+$UnB?waLNBcJOD0*KZp;&rSu00 z0Jv2CARz#k+8^|gQ~h5g^pI2I4|>R{^#?uVeDMc8#2NgHgarXypnnnH1M}gAar|TX z)jKY$Kk#7$xS)UP;stO$47ls>KL0ZQM-MICTwETmlHWRiXz)My_q_!Mdx9-7rp95G zqQQ36!7Z0nQWPE>YhO_pmRcj?4SK@);Y<^`-nJ@_)1QwxOPgDjlMbY4OqPazANQeP z-M<|2H15a@m`_&7fg{NEtVkbn>jbl8BYtzhIf!-6RhEBFTqnpC*vM#x6YiF)I= zA%dN}8x`w?cdf1)hQd1lM?ldz9&IuOJVq+Jbq6uZfR8u;FP6Z?DAnzSqR#Lg zViY9yLb@fI?8^jxVN^wVuKziJ0sgFdyqg$7>PovThjYcjc0+VO) z5VzpG#|3sYBbW3}HN{pZ;}44Rbxl$;w`v!bSP=L`Mvq?f^30>i8zL4E0Ig>?5<-z# z*ZAowaENbky?>x$_RC!+EauIp_$&=Fy~Ohtw0pAJR`+FX1C1P2rZ8FNt7CfsHA7Kw zV9HrV(9~x<8Ed@_Ri;g0z0YzHK{A4Xt-AP(NBp;%k6bb9q!588db|4301)4W^<&E3 z^Uxw*fmEvMH&~P;vXq-`Li^jLd7i?f{&IPza3t>?3^$+0P9jv?P4kv@moFpv&&U%^ zGp`l;Uq$moSa=dw)%NccJTqH)miiLiCWLrCaLQ!<1O>>%j`iK*(QJ!W#VlPqVDS^E z#lPp`+K7&=t(|47q^g?nd zQEm@heYA!RhaKyrPtBIIDzyE=DtqcU$csT{6eVbud*D_l+mu5pV;PmteRk?oKf77h zzuI~|b_rz5YH`k+<7kwF;H+1PHGW7L*c!JRmJg9iWxH}3)SYBKsOd2Oq#YvRBWt;9 zK)k)Tdeg0jsK?5P)^{;L6RLW2m6*62?ZxxKHN^J z+V&2$t|QsL{(R^~?bqlO(7=N-l!KiG&jkoS+T~c2O-ssVK4z^F zcp29Tt~+&1-w&2R6HTlLOn=4yK4D zL5!>!G0uK&pqt8mT97LQ3SyvoW^oOqjM;;E5;EqU$&>9F4<9W&{9bR z*FtrYy`P8OOqp7UIXP|1S#u{nUfk|_hIB=JVq<-~qs*_O+Og}XKJC2mcFSMHv4U9v zm6~4P_;LogVtmu_+5nKuE|fvW_`r?fS&G5w%W5SmZ%m=R!j2>Tg6Oi)vYSjCI0s(sb(sqPX0{2E2gr z>a#YzO-Xji7-ET5MX!Z7dtEf;N{E35%h^;>2I=q4VVN_DxXuIS0nsKM>bSF_}GV-V|4 ziDG7gv%nK6NIE7B>5fG|!AwnR+S@uP*|5n>yRd{t2x)4zRa@l<+53;u14{Pk6YO_| zen#|5h*G?Smy6K7Yr@O3tT=$NZS;FD8dQTv+CMM0MY!leqetO8>*GSqCt{!0B*=gb z@;1s5XVrsBBtAUEVGfAffhfDT5E}`a++`dQ^NfHEKPT$>8i`ZFBImX)8Lvku4j%>6 z2h3k)*Yv18Ih{H`@H08R@(=xbLgMRCxcnl4s=bP~R`I|%R_=Vq8DniV=<{QW8Q?6f zGz(&)bjU&lAWOaZYz-CPaJAG%XvIlk{IQ;joWz< zD}@aIcoq&_V@zCXE`&lMhl(w8++yvsu*H~cQZl1KHVn`l%v zO01l7`f8KF?N$pfNbP2n4fggnL_H+|U(KuX%Q0UDsh*KQXBhR9$B=U5-NWrT*XI{c zekO&yPIyb?(jP0W`xPANXzn8M_DqOES9|c)iIBG-<@+IDB;8$(!CZ9Hi%a)_JeOgr z_}x4Pq1b&=Bd>UVS8a`Fx;wr8`HDu4tXlhvn?Y#{R>stimiIa(^)_;o+Z&tZS!;AqB^skTzs1~u3F|c zYFd$T{&J!(?_kB-zR}{Y7aa)|9zj#)R4X?_!wcLs1$B4>MwGcB>iRk0XG6Rr>{~ekAc4q*l69 zMT*{ZH)UMVcaX%z>b2-ig}bw*(Bv9*mYU{Uh1gBo(twuNHG$wv`=F2v_N}rpQyvFxuOHxC z&i?M?j;-Qj%FNBO??c0u>Zt)nx|i==KkOMpPa zir{mqI(QN0NA}jf0TTT;-!$LkD^6#bXWG?~5Ep9X)V#z$DfOSLLL_V`l-ay|b-TH* z0a-YwnPHgC5z}T%UIlME18ZN1fK!2dj|)_}n5)W+uR6YATi>@WxWQk|u-Dznfbz3y z{Ns;Ydwny$%i$e#HkVp@tG~;*c=S|J7eaSwn=Ue*HPT_qCa87_pIf5DiVC<2qz!i^ zGB_p0>Mi~1qvT(LQyX4yEA#0QVeN}kOt@@TjGaSpE^M%^W82zsvSZt}ZQJG-+qP}n zw(VrcwtfD|sk(zRxRbZ4>mBsCyPvhzJnTdlC8w4%BkEQu`0`83*f>GUq9bgN*egD` zcVRaC{8%fXb#|9o1J27V)!BN=WZQM1-k>N=%`i2j{vvzoFIROJdyXKN*0XN@xw%#g zlaR4|p9KlOBo@N=8k!JX7t20+?5nl-pv3V6&lo2E2agBq{a%c5njVJf$Rxfc!Ky(L zBF3ppiT1iiB8D4vT(kEf{8Uo_C8gAR@2<=Mduz`fM6J(hOiNeK0WQ$twhaqh03k+n zgAi*H>SkqQUQcGRtx_m(D{Tl0gNjKb3jcHH(RYpr9S~>dypMB)f&}j`3IFPRxZI_H z{8!=VoA*^YtC8U=y-bm|x(_7Woc6c9Raxq>yH(?da&ruXkqXe_R;+9T0%tMfmNXM8 z`V1T{1;=69UPo%vjO=-?0k#q>7Bl$x9y5)jD{4%MM51_98GOGImvuBaGqQV3TywSX zEuMZaKP$a^CtXml1Vy)vF;+ZG8hPa}TSneV_!wO|A~w0~tjPF5k7RjFH*+xBG`!x7sLc5;cPIr^0NeR7 z(79zRI-%Y^ngU*-iMJx%i7&x5Nli!1wF!UYQGT!vY`pN69V*Iod}6$hW5NMD#3P@a zNn&S^KXT`3&_dD=vKWVQb~6g}7!!i#TB} zz;_{hW*EfPX67_YLM3FeL3jiaZq zb&YV%G>)26-gm;_-&>Xi7wx<{6QiJx-3`%x9COLOxBN9?ncx<0dAb7o?b<9`@c`XF z0(@;1S5C<3^13{?PDG{t_o+rQ_GOgA!_g4)u(~ij`bt%*yP|R9EouxLnMrzORw{$WnI z+C!d&I?7OQsE}lgBJ&9BIYRnq)(@9qH+dLtQb^5Fzg)ht)klq~P z@R*&X4%`B+ch#JJgjwwXt(27&z(7;-;WR?6gx!hzzDE6yoNK;e?sVn}T%2xzx+qGr za~}@>dtLe>Gbqg}S4v0KfzNA7q`a#sf9YI!OKQXI7$Sz}Nx_BUz(M5ea(s(ULN8Yw zXV>HkZM>>Ox>ln?&b^|rgSK{523;?7SpIdhzbocV)`1f^BHvqHWKQBWkHHB54DlJW z%x!S4(ljI~rCKJHjQ@~p_2x#Yvj2De2FR0GnTOXiw30VXo>98hQZPxL`NoxIW~<=B zTiiC#`>j^ET7JW1mmHPuT7~pj&-XY7cLQv!{jLH^jdEOZCAHNN)znbe^8gC|7ziEtk$7fZU%>v z!=(m`rF<&kcl7P8hnqqAK*3Gp3(pZv8Z4JJRK>;)FPlSoeH;WOF?f+W4HpMjSkNZI$yJ|2b&Y?MZS6Vw+3-Z?}kt@f|hn$CpoSz`=0wpqZbU5Jy69~O71@b`G z+(xYN0gOxPC8PtVaKHY$CiKyQW6G3N*9#n7-iQ)ELnG&=*c8cN^6TsUBA=d85BKoX zj8mpVn_ev+Wkcq!!?;g1l&&>!_yTYo_b27FKXJ@UojRk{)bNGHefcTPABk_>e0&~4 z;kP!MdB!^uL#_XkgeEl#62^j%JH$AIcOS3VA2BxW1R5j?iD7P0T<-A^Yp0%Jcf7n& zN~EseG}U|zIx^Ms)0)a?_<4y^1>T>Yo5kQ5OZqbF+IAQ$lboPFxgyA>He_XtgiI*e zDNIafkwa^yq1*)j7dl$Pp!$Id_AjjetZZ%1)SH8?qb~tytK8k)s(Frm6u<9VlDD+K zx{$Oo+E5^SHc6D7$e&*gx)H}J3BR9F@4K}Uw1-9{Nsfan{NJJ|ZkVg={*w(jtb22$uG3&M(<-F^w#YC}qqQDFMG-H=@BgLR&(? zdKRFOq`F$XJl8%%PVSKPyZ`PEVFGg#RW+n;hwmN`UWpzt_GN=I=YO5 zK$|Jer>bzu_h`k1t>8W;Z2<0gHs@Kws`c^cpDr1?5Y5CeMa)jGHKvars<9^og6ekG zUpryo=w}&mi&W5$N%n@rWjpIPV~ZVOQK9uQXw_Q;lD#nU@{E@nkYlWg#nj`_Cy%*G zA|q4c=L<4{7OfG*>JVHKE=x;s(T1f^Vd0~a*tj))YcAKLZ}K@93NK^RtC~ZYjG1*s zAckF!;gLWA_&rREa5?g`^k)5M1=CXnYX{mYRuU-&!BeFyZ-IL;9@W^@pYiwua6{j= z@`Ku-50mPa%gssq`t;sNSJ$4GJIQOZW8HvRH^hYK3%06Ilxb~sVRt=6+qAN>Z^NVm znHo4a%bZNLj9K=OjG8Boqm`tN&#L;;%0#eK5i;@_NwGytGh~4NXGO~y8ipiXeRS_y zNSt*V%(iUS=n+AN{nXoy)BGBT!`3idYQEXlqnd0)J}jdyv!Wix(dAVI)Sv0=`t9-i z(@<+miQAL>>R%3@w=mm8JBbty)5Cx7jnY(|UXw=d5#6mW+BYoLP!NPGhxeEbR{qsN zZm46p&w33A^bFRd-O-s9Hx(?(*Bx0O@eHwC4Z3bm9$Ce&H4#y)UBPf^h}Wymo6$;c z^wFLhgf!Tv8W9opkRHWT^2~wC2+I7;dxFhEga1i==p{2|%^?*-|7`1#WniF=CPXv# z85R80ev2siOnHb^&9Y{$M-``d%c|(NoAkiMRwwkNOYlw<$=i9y=pJvj=9w%gW)q_G zd@C0XTKfrP`}q3`!iDl}G;GUsE!Hcp3VNe>i<^^G_qlsf6b^ZpO;WhIQs&@{F0^(p zddIx8E;F=$heR}lL``oVFD|;v>y7@2a27v@7Y za9c7K>u_GL_OVx@l(1Z9eyk>S)CdNss3!d5M4Jq$yQ4U{6XI2SpN1bCw zSlwb?I&k1k(2GEYzn4$zDL!CsVr*!~)Y>yoqj*2D-)+5BOY7{mYFby0PjjnWNzTus zC^3NO)*O3%t2l?VzAkUjnvS&*!vmjEsqBdh6oZ!F@VT@t;D?@hB&6b_7Um?Njm0H% zF<&)vdgofimPUkT^+>iwra`z7Kpr}P=y0e1h5ZX(_EkI7cdt@f33)X;oct3G;G<#s zGgr|)q9`7YwN!L8+w|wg7}Jj1TBXCMQ@ZT-NB;y(7L6Gb`_yW zMP(cjAiyQ$SXahaN&%IX_Wn607fN%cr%&vdYirzftyo#RTta=WY77P#%}nDJA)Gd& zMpr`Ym!BwXvsY}R6v`BU&ncJwR=ng{?%J0*&mk3bw!@b-XDSH7?@;PCG)0k{Hv%}3 zl~;!!DKhI&%is&QiK4X3`(>62Rv28l%GHhGZ+f%$aCF7b1zO?2|DyieO%5Q8eM;VCkE;$?R!4*o*5DSB8mW zk2CX5d}>aSNe7?b0FQF-qSHPWGTomF2NB$n9Y8_TrBu&E;g~xFfTn<^GeTnY{ODo7 zC>Oj#qbL)xk#OAh@55>mWLWRVp*8C5+h*0UhYaZQ>9eF*hfMA9Lln*W9R7oTwk6l5 zjcqH1N(so+qB-}#t~mW$_=cpEpLrN|+)0aXwz|E?x8y6mzGUzr`}ipMmd!pE!0)px zAEgCtRe%eBtXpa4X!$`n_yw1l;}d9T&)(n=X^jzzm=`c-^%WdX`1*>^<(LZMMCbI} z+X98V-d;FIb*#66qQg%gXuSzmj>N$?m4jx6U-2;<=s(&iJ@{x*ZXPMWGlZb*FC<9X zvc^2J2og4uoW;+r3OjLMbfo7)uwve-^QToa;8?1X8Xsadx^xNc#n({0X=5-3b5jZV zx&1O!TqZ7vl`F)(lN|J@cZ1-mYQ$nPt1m_IV{wH5$4puT{Z$mSAb9@#7_IBZrKC;5 zg5f35eYj$%e16M@-21a_>H?Lt8;Bk{SAHK$6OL1T*Z#dfA^#kZRx1=ZBkArT+K8fqfF&cj4OO2$La>XTfG`mSr1_A|Qq^Irs6F4oJE9nsYk1t6C!G%~A?KG1g0h$wfI5kNU+4o&TS zglt3%@o6o}eq^-u_MounL+p4`Uj-VpMvLKnDR?GWpZg#&O$KV*ZFbsXEroW_GarN- zLoX4#uy0e+(_HDA8X~hwZ2Dxw!^=@!-Ip4{#FLnsyjlfIH`xh_U5r!rW+krdet3xMgxjy-jPM7_Har%kDPue|UlEkT zr^v%Cv1^<%B@<{vr*H#Nvvb)ASX_zk7*p3qi3ieNL=HKGE^;*!re)FX#RWf(i(vB6 zh`za(mN+IYz;=e&)*&0F140?73~UnFVhJUuYCeuF@07wUy4;zrkq#*FV8+xMJNf~Z zE&a~E%-z|tsi&|vi3R(Cik?K%%$IjWD}W_qV7mhV8*ms?>w@a ztFCYwH;XvONb%8>)`Y(wVucaQr0X0+uPax80jf$CaY=fa78JDly3`~F(RFD<*!(os@lfDOl+o``{+hDQPBQD0b0T!jn* zB1EERhZ+u=7%ql)b@u;iHDEdy`d6!vo;2PE$Q>d&v5T{2`tPZwV))w+>kbK&jtPW; z1PmMLF93v(B=N={%g_!bFuDzD1+K9F-!+I+P=_%icPP7OUjbLUZA|Ld6RcjV5xD<9 zVkFxy6tozR$f3NX165#Tdj{j+O=Dqk8#o`lDOhN``@JQa4wClL{n5E zYa8>CJjq+!@fhEiPmbX%(B+sK;g5p#_#t9xT~!Ap*gpvOu(!{jt-HNoXb8~i{8T$2 z*l_q|=tuXLG1Ks8{jYKmj%8Q_FfTMBETE6W$GN15qS3`e^8VK;$FLzQW=hJP@7q!~L1P%n!kM&U8-{(A8 z@2?uL)jr4&_`AIh6~j1~P#_II*j=n)#74ju$gkhj&s_X(+UD>0!!Oa>?@m&7SI|%% ze)X^8dmqpAp8|wkzfT^k^_^=+d=-N@<^89=TCe!NQ4O3EgXcarQTE5Nig>3+$G208 zf?6j9`tTI4<(dDuk%h08+Q+eRPJtZ43kLNwf;BjQSU8aHxNFB*nrnhOlr?eFAIm_V z*ag3|WY@-E&2L6~o-Ys}XO8V{+{b%SeiZ(G%rA~~HKaQJ7C0a$?tyK5VW7B~chG7> zhiU%ZN}%5&z>mg96c~`e`5q}05Z|w?5K#WKJqiSn=`WEW5)j2}RzFbwm;C`a5W3%z zG5GP`Q@ZjqJMW3gXBfUIjLNSp4^aMzz1MWbbJiP>!1dnKdcy2~rR5zWG{2k44`Kkp zDGby*Cf{oP59B+6wT3XS@7DV-!_fBrFN_C`%_lwJYII-!O=I((oezN@=>_qD7l+`N z^vBe9`sVAu&%tN?HxC=TKKF<8$r%iU_qAPo#Hkt7mpcD3xg9@}Ipg5hyf^)e2A8lQ z0{bO?^DjlM-+lf%JE&n;qX6>5OD8 zjn~i4QthS@{}+s3Y)6BOF6GgX()2$&%ypL?_KRMUB;Be61kvuW*U7}%ari=~qQ!r_w$cPJ^0;J=b5ZYw zKgH$M$Ug@kU2cD>St3TMWWyEeXh)IJ;E6mpy)zJ9Pwb9D&XYiDBLmT5bD|gj7&c?S zC^hRJR`o8GGSYKt5ot>L#IhxLZ?P!GL+1K)%*N?!vnHDae!)xb?gospl{5)k)F_b# zQ%N{dim~2p&`My?It&acIHx`{G_E!=Pz#&WyYu|Jy4v6_V*R1>=BX-=nH#`c^sj*V zt1DkgV3=?K+M(a+06oip4}LpQ=xA4KIt z3w<2mH{e~i{Np7=B5jw(;hTYQiskx~j)?2?xX68wLa2OO(rtDo2+@r+kVgM+x-*P* zv?7_V^i}-LebNqpsQ58@;I-{Rr;?rC_N#guG`w~X;Gh%`x!9d7%IHJ2w~~!)qW<>M z=!K`Lgos5(=dGXNW{Hfm!*b!IPx21x?Me4gIe3ombMM>-wqt7AO4IV_p;0p2+6BnH zyAkfnmI4-a!OTp!1By`4@o}v!9!Y83_)9q;Pah6TC~K^r&X1lkyq8S8qo$Q<35J`< zXo!eev8BuXiJr5%}IMmviD}*fWEYPb=cBM`!8hevwF1Kv%dmGzS$cx#Bt(&nA6RF-4EER$cU|N=KfH2=b1-SB>yY1u zWSJ;HbDPpiE*>>&CVFoxw9hKoC|Uj1#E>DPy3Np97w@h`t!k2eVYP z_w0x8LYSS-=pUz0xPYwX3ZDIJ`8fcQekV60+5ess<-JtBdiQxe^K~dEN7Aj;=tFd& zs-bL-h#QR$7X8u~B%l*eB!>G$^_ixHPTs@!HoBxdg>v6DdHA0@dF9>kHx1wGBo?2# zE4uZ*<(tX7pehnp9u9_eXnLU}eLHdKTQBb@)ORNnb2$b&f2q0z4-x>G{tr$*K6%mF zQ+_-ly` zC;heorOda?B{|WYqv0ni`bP}WWBJJJAjUX~?DmDh5Pbhvmdi0^#avr_UBpT=R*ws( zxRmGFH~88Qjb{N{vSv`XdbDvd@Yo~7*8GUz3)Z6qPBKy!1Uf`Y9QPxVrQGc-`F2U5FSf%W4m7f{wY2|SP! zV?xdMSdv5+^$23BnS?s6)xWP^A#w57J}$^yA9Vk;7jo3cN&Z}#2zHsx2uYwcJ}1%J z7%YC2rkL*K&znFV7U`S@Mo!xJsWfy7zZX(aF2JGOQ;GkoahnvL+acGmpD*hX+gGZd zjGW_1V|zW}L_}#IPu$@ZB727Z8!X*BlgUiz4&f;IJsNH&^p>4_U99Z$YoIid+27)d-=`b}SjW?7`^&C1!6?aS+F6c-YZ_;S7WL6FJI@PAO;^*5JMb6%YM3>p_ zR{RWTg`V4ZcTS-~4ewH6?x-Vkf6*uq%DqgWFHP~$Zxo!1@rq`Y<3&T! z^JTTavz1PUya#tsQLjjn*){42;lk)=mmTl%xRt_LPw{uz_O0S_m9p|i#H)S2V1AIm79RwQ!AGhS_|*ZKw&NGp(InoNyBxVE)vw1?zkqI-3<>TwZyh& z-Xg1>#T(aC#MdM9@YYp2DJM^J8%uWcG;=me^n;nR89jcg;vLFopYV&WtAYJ}rc3_~ z>~0tDdbPbY^=jk7P~k2hqAr3r&%zli1xSrOMfPB7OnfrfTW}HQT;Jb(>J2-?*R0RV zAl-!i%t@4#I4yHhX;XK|-}XhkAiBh5!`1zI98TN38!=ThPqWjy*T1Ur%nf^tDr8r( zyc(E2A1hd8eaN%wIhZibrm@DdW3NPyU=Z&raf6gVr(A7pgk`=HM?|2DP(?Xl8ZttD z6w9$L+*og9uA?Ko1ZYhvZ{MUmOOp~0BR(nD1Hpy268nsv!MkFLI5DRX~MubnDh;wPxPCrriXI=ilF+xg>Qs{|D)A_MP=iN5 zlQi5`poO0?AO?7poHGmjq@7;8TnLei9Kx|?d`;Hhz8dRg9I7Z=*rg$a(PsMYc&VI> z`w){w4+!NislA-WDcD`c$ILTLB8Kl(O1bVPwTfUZ_OP|58MPcmbwt*sv>LMSRy<&5 z@M`kh8+PVvBkL#Bs?M`nFSI8*+_&Avtufl_4B2{)WQ8cGci}t$$n!OhPj%OmH7zsi zIb5rC2zr}=?c{8z8>mjH@P51Wn=fEcfRwLmI^tkw(@sZACX`NPa`AC!b?qTr=5@(T zSLh-&D*0Q?%X`@k3GkS*{fj+xj)QGQqo-E2v_u=ln18*II#lA>G>I1c6k<*Y4~C79 z>Y3@Py2Lj%fXKa2I&i|DzF;tv523bN*+9A896>atlCNxSu^;0_(#AD(eBGin2u@uK zIH=B!>XORti+kqtp(GJGA!bYqyVLazn20(r)3-FjX=*&BY{RLy26E4REd?#sBUzV9 zoKr348S;8!Ii_&n(g7PmNw77Wy?kgkL7QKUSeWU6H3yE)y3Vq&q?n2Y*VGjtpjaSb86(Yx7F8bduI>WF4OWEC63G?HFv|r6+fQ)q;EMMRzCM%YtPRf**-7QGc4OxdEJW3{n<5C6LOzmx zW|AUFLm)~hjau?xR+y3dt`~@DdH8W-9w>5?44+W!+}-B&cio}Ar*G+gJ5V&NbI+Hn z+(*JBp+(4dR4~MH9PPRWxYRcUPN(-coB88=LFvzY9q>j*$zTCbA_OGTL^xr`mX@FD=v5x_7+z)wPV{h_n37A zif<C@FF=1LYG8>GrA1#%J{68>wqdIR60 zX`^_29gJ>m2SOIEqv4TJ`ROHTPSVwAC}QTs5Hh-!mkck+F9HHdVCd2 zFw5t;^S!C&E>^9Qx$Zlftp%0F9FQ5qgI$yYc3WJ9heI58?|vpU6#e+_25r#-*;lfw zm2aWJRsk#zBdc|LRFC-lY!5^6Uf2o;3`asxS8r^V>Lob3sY|u{RU(FX@bs9hWhl91 z?jNi)<^pPlq*g&-api)ZR!_5hbAiNDOYN_yk*U!4VLq0W-vhDzYdp`Jvc_2?RQQ=> zd0!|DbaN6sT1q-(;^ZH8shop_Fner--Pz1-ecxQI5D^;GGrjP5M}1fqrOvrp2CBml zI2RDo`SPe83*2M*!yzz<=E~DGqq#1v%ZwRWrKF8S9anMQg{J-6$89l)YHloDi;@|J z8Jh|0fvjBlj=A}c>zhM9{nE5hit6R8sXRzTrQ1j!^Z~)6kI3XXdDpQ5%S#24m13zIHj6a)oM6LCV-zsJ^vdcq6dCNLeIJ4C72VlDmS`i3uv$A{OP%VV9^qkH@WL zIs*>umm>~eHq8f!)@ixGJoY3A4HCb-e2g_2Jp?sfGqfgoAtPI8FNShSNR8ZbOx;Q-g`KBcu0 zibl?`CZXf*@-jKs`DYW3!F<_84ALEa~(Vr3?(99=gVbU(=f_p@6OeL<=|`o&3w!NbC1`YF=QHJV7(k z6G#8*o+<~6oK<9;xgC66BcBSn|9)0ri}NvUhpTLYRfKtLGZcP2w19M|N9K)>Wkb<3 z`|WT?Oi#WfL;qs{>=Nrl>#qgzQ*=3M{4nXoaQ8XCa#J`g;Niuh92I8hGU%VOh5xia z<3%`6PFQf+6&%R!*pS3sE()rj2&Zm;5W!X#!hbR7FmI18R}OjV{9RY|aF7|v^wy7Z zai~;oYV0t*`S@4xCIIl>ei*<_@K=sBopPK>(l@5jnbXD(;m#?Aeoj7EK0Lh-Zv?)_ zdaS^3f%Uu=x!dT%hfgrqO(47$EGU7#36Rf1P(pLz2YbH5)DJE$@xU>37NZ}T^ESJ_ zZ^v|LAupRgq30L&KYcR(nYlpBL(AO_?&}N#o0SEZXip9E`9SQY!NP zJ5Z+h5qX+U=of5P(B1S0k;wV`}s_)$(6@O(9W;dMP8j17qliXBQWw z)Q;t2zq46Na;sG}CH1XmSoybg+%rfJb;HJnv-EY!wMcM7NHa_>Zz2j&sAbMhx`bL) z*TMlc+b&hb@IfB%erLio3=VwlE9zTLs;G|9-lv7zJ)?G>VsG`#>zuVUyG@>NMu-6I zR2Xx3{A$VF%!#24GevUot$H)c&Dl0gjIxBILyKWAQI2Ahe)8+q`3o+|YvT47{Gg%A zNI1sNO z3ZzPQmjFx~AG^=9KYD!Zt`!nylC3bh%@NIB$+gi+E55d}kyPmm?ytjt1-Etq|Lu`c zum9%2K80?yJ|VP}$}KM;cwTKLl^OpPv_Fx>wLMxE8x-2$Gu&&CduSSztfNa7WW3S; z%UFNQg_o!Mgh+ug3UB|CE_o+z6Qj3c5QO10zfC3;GMSfO84uO4Rh*$uU@f}l%EVOv z(MC+%RCirumY{-P>W>|B*_(^dQu7zbhQn3wwl`9*Q`ZAq8zoq+1eKKT0v1xnnvPF9 zQMkCJ)pLi>(-w^JnhgH+V$uZCPWnub3N2&gkYRw3=)b0{pwqjwtI6lMH7clI`X#VU zVovqiNRS-8*#^V1Q27*v+Cey+4`*f+6>7imH(p zk2Sjr`(+z=GlR=4@_AOD5$6m+nG8^Yt>f;Zrj;u#_nP#Q`Q?f{_VdbL`s+iNRVoU+ zSAGx-ti^Q1h~0bx;d|ySkTP)SL`kcU^)X`j@d;A~5;3|{WrV`1OyX;KoH{VKu%6h^ z_dj1FQ7Z$%7f`4RXvt>0Jx*$?pM`>}+kd316e57o=Q>Vjy#wR642XTq$TJ4MS2*L$ zLJOo>jhL8#4cH>ahRISaqHxgnZ>aK(oRXr1r(>)Ok8WMuA5*{73vR0tA?HxRH6Fqo z5QA>N-H}yvy-0MHIac6~P}k69VReLiWD;@Oj)xJArw=7g!@^k9E&Tj_9j6cDJ9>B^n26iVRVYkSDfipG)YLlWsuxY08UB^JGj8}s7Nm{izBuc>+fDKoPEIU1+1V`m zGtB}1yrFBFEzh{yn1V%IZ)nYVh^UR9>k=mU(MP)JjIfw%QnPxU2z4&!75)z%w&+*O zZKHH3r~N@iqX&P{hk9$dyLGMetJm#`kX3c)@XzgjzYkqEy$iNHx9GE$$LM*J%(9%k za^>bkixjF`lATGSidg-6R=as7g7J3>{j?z!v$93mmHnbbrZ!wzVa%`q3GOIcEDVCN zO6Xq#m93~_r_>IQ%w<&V|t3ktiR6V&IPj`T%2y2o_Uz8Mz<^g)*1B~rM&;__S@*T`iSo;ErnG9onIc? zpIwQAZ<4#YGv{O7ssPKvX{-o&y1=dM^i%eONuwTT)}qA~cl#ptV!DmD??0BhQ=e41 z4VvN=;B%a6+VsVPpKuW5?i1C)^9sUP`I@X&yjrZzhm+RfT228uD?!lMtt2hwP%ZRT zM_VcDQDyutY&a&g2Ag6)$T2>?JvEgag^?!j#B{Njpe+S&jb}h_Fy~8f?vx@2 z)8JaH#<~o#}!fYU*u?v|-%0R*jkd6u;}a_&!R@4^U&H5e_8VguLp8Xa-`X?j=l`W<{84*e2``xEe|m0=w9RMM?o@W8a(>cHT@bz4uk z(<)sxHfx91Pq|^X6|})}KCnGt-&PpckDai3fq9!X+ocPEAY-9FsbWQyb9V^F&5303 z6!yi|!+jo`Zc(#C4)){hiyZpC*(XKJNA*?1V^0ony<`5KsdB#23$=u~=hp&R;NZGe zEj)LO?W~p=#pRnrlhZlI3r8yn8(XO6hu)2SZ;38gGJ($|?$(VLWp~=z0bCO`k$tqMT;V-WCdC6lSb4%>zRMG{~OJG z&zXxQwk8)u>EbMdZ29kkFs9+dlR6?&!u3>o3QV;Kx4tKUW%dp zH0+^UPZ_jlZLi~1B8wrYD9F%iP*;7gEnPc=4VD6?SXeEms}mKYMg2~PJ_GJg43Wso zmI?t5Rb#vVqn$IO2im7=<+<^?hJwuc_a)ja%}`B3UDq=&0_JGr0VJo9l{#J$j=Eecags@ceQfM{DTr#_r1n zZHDPYwPXBi4u17-Iin@dKsNVG{0bKuD-6Qx`>DDUWyNdjqwbbbO3BW`;!pvaoZi%+ z7Gd5J0XoP6RQj=xf#aPy@Y-m-k-EJMT)V9`+tpj_;~F>Lrl|rGIk(Rin_Ur}{s&W1 zrPW|F12Z#N8qs6^{6V7x&dA&={si!Rs~bTw#;fbosrI-HzyvG%!e4nCs8^olnq=~G zb4dqpzUO&qcl}S>eaX3}o6qb>7&m~RCGIh7cQClLws=voRnJULOQfc4^}j?<`RD$` zsd08`R1%O-X|GI#4=D^=d!Z4mw<^HHBHuxW&l-k9ze%UwV1~ZDx2}-_Eh4#Iucdyj z_p0hZm8XK(0aY3DlCKHA`+sPNk8y*vw{Ule0M`li2*z}B+60aJVFC(ZsEXPZ&4TBr z`C_V=W=u^{;RzTJ{Hv43up^yFSIz0I=PhGFq*N{!aMeEXZhb$yhy}dV0nFVchUu@{ zzO>E7NiZ=3ot$LuCB;u(iNJ!8iJ*Y%S`Vn0i&0zx6BN?fpFt_mVdYZs5l3o6dVT!+oYtBugy}hG!t>=FS?|?SmuGo^up<#ZA^m)gL!Lq4CbQLq!>u*A zOKtwb2mMQyf+*|UJqR`Ch`gFtQ&7o?$tRQFLpjf(uc*5`(?wTOQLW11O?f`JkA=B@ zBcVfcui)t+Y4ALH_ovbx({gW@X;9nY?0nR$*^+c_&A3#mLg#xsN@Dj&&ub+V7aFzu z{A0QUv!>D9qmpcB8hZU_*4^wF@_0d04qZLl|Un2Vl$rUAk zQE#BUkSe7>yvUN9^?wE<($^pUXV*XlzQn4qrE6*$BF+^4FW`Ji&e7d5MD9a6_=xiXCfot}z7=;8y7n zlReDKKTrZ3MrOYN(p>z5TyKFj-YyAKL82RW$0;8wCl^e}q@iC3DuGYQqH*=o-e@Bi zPc(J3oy^#bP%o&K5D^k@<4SLt)>|6(nuBaKg#dH}4{zzjJw-$XN85MvCs&=mTpG!A@!)RBZjO1R;mJh# zK$k~b9~F$lXz%9|f#JgeYa2!PN;lmmAgAmy3q4`a#KD^G4&8_!6lZ zzpZX3Ebe6OFUdcCv(eJCdE?6y(PQs1_a-OL#o~5a=L0y3A?EtVfv}0qsbpfOdY7@3 zJ}=Wg6+@RhJcBD1F_r~e>S3c&#LoQMY|n{~<9KM06VI+5p!!TJ2;Fg_9hT|AjI6)q z__UPIFLb-^7;5wii_lA3&pzyGP-T^L1!RdaBcgAk`B8E*)nk^B&>sJ)MS*t*Pq zD;Q?)?hRe(3}L)$A9%eHLg8D#ugz!lS(w#DmcmUa|sxkS--iE*Ra09`eD*RkI{z+5s~zE^{T}W-Cc$bAFC7!1-2?fG z#LY1>3{jf3kppTE)>Sm_+YVzKNbv{pXyXxHEONfq?ZA;d)J%tZQ-{rYm`F2h!26C}lRq_TlC=Es#>dRK+y)*w)>()_;@Ki_+UeuFhz;3S z{eMg3;r$q2{M$!0$0=#iLQ1;MyCDve18eAqEOX7ez{=U0@uGk#&N5nf}F(gnpMH_cDxWV zs%CY<35?@VfMfQcN9*B+swnc>6{Ap=E@afY8ph)B;M+VJxJk zoC~d;$};MhZP45WPXMpGx0Ji_T=3%`o-IIp@u-CdY&niCOS)h_FvY~~pB61n`lnOT zXu)uAiLy^0gwhpn8m+zvbx2$?D1S(vYdXP*(>EH@<`*uLXXt6wQloQ1ra~b0%x$bT zB=wZl1POwSdLGr~qP=yK?TV7Jn(sblHOHMAGt5H=z+)zqQv4ltMub`u9m+6_ufJdP zU=xN7*_v+ULlB{Z!I{cUYx8amX*!%NqIVH{&4{-086i zC@P6Mv}R8eg^#J}R`R;oXr z`~H|jFRrTT#xnI``GJ=T?EJ2pr)O}q1@dMx)S!t3LnX;>$_&j4mX9L7e+b+z|1HEQ zPGXxS2X38o7>OaboWjY)8yXIPQ)1cG@6Z+_=E-w0#Le zurbp|19Wt&dlLTSG=4;S>jJmyNfh4Tt_+|v>(uR$9 zSLE$v#OGeH7OGWA+G;aU)T3g&ePObeXiFR=U!a;&LlvpBc#239&Bx1nb$X->@umSy z&5F6~%$5F6Yu6pse>p}C78Ml#S3kXf&`{4sU)^mMO7nKX z&=-_2LD=c7d|p2su^=~F>7rl!$$|y;MfrIa<>ixul`S^k@%?iQx1MF%ueME|_?m0# zeR1h!513!=O+$NFrl{%yK>hKih%%^;K)DE$og^a!2tO zFPYTprI+b&ijxA}ACz}2u@k%MM{VnF@#86bhrW~73a#Kq{KhWc^{@6$--^?Tob*j6 zY@hlG-9cA@_4N&34&T#F2^tPc27e2{3{{(5%rE=-Qq7^$TU3Wy?VCqH1h>h>B67Y& z80n;qX)B_z2-*-)Su2(u+9|_8_JsNyDJ`*MD282*jekJy)k70ApDMH>5hg%S?__-U zw>7w#6}^%zmmfKA(PbhydufP$IN9_g@99>U_2@!%jVW2Wj`C>So!?>7boN1STg49M z$meF6PrJC>oTf<@WWvSB2tfPn)K)5Hi`0FDqk>ioGImer;9ZO+MCM`bEKkChNqse( zuD|!2Yn&UnPP56HCQ8-T0=CSXi!124M>?x)wLP<+5bAmjo0sd<6GGj-d0j`7NJCjl z&Rtf5jY4Yh#(A;0M`BcB+A=|}Shz92`M*p1G4Om|kN6f#&{JuWB~PCsv8CVrxMw_a za{FUQ16@D%EGQ~Si*oNbYCrCe(UBI7s?N?*GJh)>w7!!Y^%-8YEuxt^^QcagT9oLmq&T&GM=H`Fgn0z3lF0DQp62#jN|pUnYw zw)i<0JONnLe^k%31n?3dQNRd>XCeQQ3IEChvuBpx_&Gqrj~@Xw5W|no6#gzJKn8$y z009F8h~E`&Y5!;Q{|Xq;0+s`m5Wx7Qjz9^4Vgjo?i{g*O048T*8N4gN9w2}nfDZTp zeE$&~FbhO@X8yl8lf$C|+Ca{My#VZ!Kd}C~P<6Z!;1LJ_*m!^B1c(|~5wL~M0s!;@ zEX1Fa1{nX>J_L*b0$}~J)dldz|5bjzUu6Ib=m8}@3jioTAmRUyJ^X!T5!s`~m`CPMj9_j-xjcEC3aNaeiNJNxwRZME zl0vlf6pZ*4y_}tGtX*Akopm|&92`BsxWE7JMc}&h{`>d!m!DTZcO)31X>(WC(}fhG z0T#h^09JHFd3b__1%%FC?E(uz#r|;z;58Fd!)xMKf(|MMY{#S=zqs8O6DRI^jv;5K z2ahA@nHYy3^grkwQ@5*b32J#U@7+*U)5m^P&r)unmZ$T{Fz?03FHt1llM{PtvXW`; zsG70I4Z<9gbzU3g*Vzd`*W4fX7=>K43#H@i<;8}4c$K-`qkyTkVp?Mta>&0*#@=4( zKru`kcEOCr(74wBrq?DRL+f%YdE|b(03qMoHYt8edMLaqOT_ol?Tt$j@nD4;x&wNb z2ov0egR&MGhy-J~9tWkCe}$15@X^#HTDzNF*CiM+dB!tuviszG09BNKN80UCD`L8K zhfDV=B|<@BMieub&EXQ_&-k_5{40I?-y-^~;T0*rUHSby6}gQTGKPV!Qp}1F9H>=E zyGGR>O<;g%iWF@{grr9vQqq%C>QNa^=BQO-#Aws55I**nWs)NT-Dsojg41S$A=9L~ zfe7vPV42E7#>NN*ipA;H!WjD1b%CJnA5WIXjfK=a%N(5+<$tGbl2Si<>(7 ze{zS9v2Dk8r76oH6cNgZ_+@Vq6*CU4D~I}YGNVcIHv`*rS(D_M66GlA8_ME(*^1w@ z74NZG)EP|HBPLB=x~{nP=XTh$9=LoCsA0ucv7&j_Yu)xy$cXs!RiA-T>yOzd1I0oX+8*{EUF9K%xu3R+`FbaYPy-Z^X|}Q?-t9kTUN?eg z-n=0U+COZzJMP^?Gi`<~TGF1DEUl)h z5j4KrRyj3HSn0c{(C{E?*FyG2P6c_{jcVEIJfed3*>ekzRU=;0mJGfwD#>{`(;?cL zcc+wbggtDlve}W3`{CX@Cns7r!5w!lF+kx>h>KBOG5bFBbET>!*Xr>p_X^7khg9i@iTh?Z=7vTv z@dBlS_3>3L0_E|Jw##ZMa28s4XnmmGJIdo;X9M zxQ8ZGHSrts~1Ql;6L{RG+wZ@qz*%ozV`Z?UXeL1@9+MBZREHjN=8~3M# zJYPtv_8m*@mmnQW6;+AQ*AA@dj=}E$a_&YH}1D|w=L)m+*B(43Ce1&i4yQEahOuDmv3`f{w z(#73hJmiwN>BrLA=PNI%*s?9Dk}aWTM3Fp!sI~J{#Xee}5>x3o!K(e2gTKR| z=i}P7Erh~vQr5!^b}5zeEi1zf^0~FX4h+RVpOlx{M~`I~y)d~Oty&~u@T3{$r%#%r z>P4I3Xom^&#uYQB8d6I>!^@b>y3^bDyr67fCN8U65H*$&#cwzBXq@8c8*j2dQ0-5Y)J+f5rlMPF>&(8Yu`~Wk zJPl&dXW74U=pfSUmR}R_yt|;H=A@%3EUtx_aiit^;lif3uatfM{UQImg!hXb2*Ejd zd6`V_dz5zFDPp791~*UN`v(MueSWY*6C>-Qc|*9_IkI7H@asIb-cIaWy2#!a$xGXW zr_G+SlizHwrjKT9N(Hro4q>-uU9bH#M>>n zOn8AmZg2EB^4Xz_jI~73p;SwS{oK+GaLP{Ptxe5i&C^EWr$-F#Uju$@9`7c%lB`s< zsgzpHb^5fudlNIJMR|N7{OKXjsl<#YY3|o;pJS;_1`*3hUgBN{e;-laP4k(bbU$y+ z*kPe+IE?0&B97a84STOo`+|cD7nV{cHbBGqeM2N`eu1KWwmmDFl(3fTeQwiX-=8^d zcQDVBoNoAwtTnO)#7JsLzm@d&P+T8_a(S7(mV2`?cX@}%=dJSkB099)n{dE9o|%YG zDnV02EsuQp{1(wyl6j`Wm2-QuPUix*W_A~HK<9RMJ%?9)1mqal)K6d2Yooth9NdiH zJs_-}d`9v~;Zf!mD1L`DHIDXaM(?td^Vg%pq|p|{%Y!Mm>WL2u;Mj4QfSPd~AC7v8 zz&8i5x=fB0%gv0u3`99S#dD?OEGcJ{1OlS**9zYN*swcd=f(4$eu+R#E` zmWI<}Y;rfEjB{eh%jk}XU}zr2aw=OB7^)_DESB|zfs3!uvh|~P#NvC|#Le=ASnS?r zZp5Xnt@%UG-Q8OHzSQej^2c8py)36wlS^nfTGWFYKOUL9E7dEyjuk4hEbwtp?2hev z_ReR{4!Ov`&{-Un4syhz965`y`gAJjpoH;PZUz4O-Vdd7Oa==CH6B*!b7*pA>Tlj7 zb3!-4cG_r1oMSFW8kH7|hQY%=Z?MwFc`kKaP;y{fLrW`iPrEJbg(kFI8x8&_c%f(3 zylhdkQCPuE_)mK6LLFKkRdX2brHxM)gcBIR>Q_D~0+i2ZDEd%V~1D_fOP6 zqEB`i>OlHpVIHp^sJ%Je`5E5;Iw6o?q?i0_@jN`OQJ%giT)ALS5h18J>5Ur-nu?_V E19zE_g#Z8m literal 0 HcmV?d00001 diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex new file mode 100644 index 00000000..aa5573b3 --- /dev/null +++ b/papers/hatra21/hatra21.tex @@ -0,0 +1,36 @@ +\documentclass[acmsmall]{acmart} + +\begin{document} + +\title{The Goals of the Luau Type System} + +\author{Alan Jeffrey} +\author{Other People?} +\affiliation{ + \institution{Roblox} + \city{San Mateo} + \state{CA} + \country{USA} +} + +\begin{abstract} + A position paper about the goals Luau type system. +\end{abstract} + +\maketitle + +\section{Introduction} + +The Luau Programming Language~\cite{Luau} +is the scripting language used by developers of Roblox +experiences. + +\section{Infallible types} +\section{Strict types} +\section{Nonstrict types} +\section{Conclusions} + +\bibliographystyle{ACM-Reference-Format} +\bibliography{bibliography} + +\end{document}