From 6100dd0f68c619fe4159cf3a2cf1b42a66d964c2 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 18 Sep 2023 18:57:00 -0500 Subject: [PATCH] Bit more tidying up, and getting down to 3pp --- papers/incorrectness24/bibliography.bib | 10 +++ papers/incorrectness24/incorrectness24.pdf | Bin 406550 -> 406453 bytes papers/incorrectness24/incorrectness24.tex | 95 ++++++++++----------- 3 files changed, 57 insertions(+), 48 deletions(-) diff --git a/papers/incorrectness24/bibliography.bib b/papers/incorrectness24/bibliography.bib index 55aa9176..2c1cc4ca 100644 --- a/papers/incorrectness24/bibliography.bib +++ b/papers/incorrectness24/bibliography.bib @@ -112,3 +112,13 @@ isbn="978-3-540-48092-1", note = {\url{https://doi.org/10.48550/arXiv.2306.06391}}, } +@article{BidirectionalTyping, +author = {Dunfield, Jana and Krishnaswami, Neel}, +title = {Bidirectional Typing}, +year = {2022}, +volume = {54}, +number = {5}, +journal = {ACM Comput. Surv.}, +articleno = {98}, +numpages = {38}, +} \ No newline at end of file diff --git a/papers/incorrectness24/incorrectness24.pdf b/papers/incorrectness24/incorrectness24.pdf index 3a8b59a939046cf7190a1446ead452327ba67317..bea6504e4f3daa2ea0fcf3c97a1671e440cb9d6f 100644 GIT binary patch delta 83363 zcmX_{V|OJC&}DCITOHfB)3I&a=omM)ZQHh;j&0j^(wS%Q&Z;ka)i0+IAs?3PpP z`f?aBHV*C-BM>TJj#|u%ML=*08wOxhX*l0AOW#aa5 zB)HdI{MO?oXA=t?m47i`16JcsN=ix`V-t~v0&T~~O^WW<&;7q;!ktRlx@Pp5b6eM+ z_6L1*t=Cw8r5kvoruA6!_Zktgcj-}sRmI(qA|i}1ELQ?V zV6vNt6aqR>tAIqquUwwd=R^q7UgPj-nFB3jQe6k)X){~Aui};O!%l~w6D)?!QE?WG zABpdGuOIMDE0Yc%amBBo#Kow|xc5o0vdqNyESBw(aQP>dagiEUiR=0fxnJ(o(V7cO z&UcqDJN^zhf3N{((Ec8el#op*(=FR)fAbc&>$nfRCEVG2g1aYKmtJdMmWGY-QH6lT zCwwco+(fNCft{9?)ao~OE>X|WGs{5h07>8)>Lvo`F!))`idnq;e08Y5Sgr5vEXrlX zOXRThwQqp8En~g%WKG*$lRZ|(t~=%3Aw+7vbC>hHD1S?n_#pfYL{?Ivc^o&OjvOQ_ zYfuLs?aXh;xTcRwTO3P!u;*bj2nR8_ceQ$zUr<)Q2K=JJ4`bcV*AfIx%W5rpIZ5~@ z^DB?4Oy6Bhj;hIPPm&MZS&A}@NgF*A2fXl;Em@&j!=N(PjOD6eMS=;cxFIZ4%*wE2 zyC@haE+xn=232)b%bge2d11hz)quJ5lI8_8wa7&V6|Z)jN_OPh6L127Rk$C8Wis}0 zHKDw#^{TAko5_9yX-Obdr0^5kH}WV9c^Q~GzSJ{df8O?3PT-j1jn9|G6rnL+N;?dA z;@O%^tMH%`9E;Q=6mF>STwOARoBF4C>tP6_^JXCDv4+QrjURCGHv7;P z6{|EsG(X^>N|!WyO!iNcd==6>>T}X^{VrC}t}X-PGFcH~UVVA<6ppZBr9fnL@nuQO zUgdXJ0Y!;F%Qh=I4cRyRQ8LxVl_OzUMt~X&bu01)Q{Kfe@#an&Z0T%0L0rO`DzpG8%lB$K{5` z^~QY(Rj(tmmanzxR9$A)m-DcYBCJQr=4Cz8r!`+`udlj&PMMT%4Vl*EPQ1Fp|L;}! zUsw^d4P=@{9$~XN$#QsYG*w98^edj>l&L^|-qxJW1>{@_&L3foySBMbfL@xkO@Hpu zP7`^k7KID+82*kQ6{REmB^o|!M%m_=dFS`sOKmRx%O8h{R&CrlMb6z%y&fBF4nxb< zi+n))(`}2d94%A>7d^!45n{fD{N$I%S)7>dCV1z?mB`Ff|+IYpSz29S@)G0pObb4tG?p2Py3~ zF~s`#rH{E{3))!#l&=CpYL;M~DxUq#bn&|(eiD*=LB)fX-9`iPjIe?4UXri2o6 zqLUa{S21uEAl#^p1Q1bP-ZQ#EV`MhU&)J@M;V%$ge5=WUXVdem;CdKA7bqLegbYH1 z3E6W7oMHf@YTmbSXK+v75Hr zh66t~0*bMunJqqv+NL8?LR)em?B+#ZZ9;6oJ%(lYeByC@_z7Lg+ z3B?fKGy0NnU=*kj$OaqGh_?90J`hGSz5(jYl?OzPVA+_~Qb}fSM#9nE=8WM=+gNA- zO}pK1LB5{(<={Hwlb4klO{MspsnpH(kHO;oI$ZNNOCI!BU=lb_jjrI zG>J;JvuWf=IFlOeeIb3n`jX-?8ua#ECXCRqwXOMG3%nIpHfIJCHzDh2J<$nqXiBPy zrlsK{30kla2aI+vZu#hR@~g<{Bf{wlB$zFd@R)75c4XAw2KR=!G2TK`%m>hSUoyea zZkFKgRT1E?e&)eUOK~PmKLLcUh|>(VjWD;RdjVkV7XNYQS+RthK204998E#O3;* z>do(ybcL?rS1@H*Cz!7yUW923i2i!bDNrHC%$K~9R5G@?xo5LwXA5`RP&7t&(E1$} zCy!EK_>O0sjeEHdMK+!I?N4CXz-L0bH<#}qKl&-PnWR#70CGrcuGjdT$ZEu%DL(uU z-2o6=EEWWf?T00qvir{sX#U*F>YYER$uUco2WWl4Y3VVamJ@`N*eIrFGS93sRDt{E zHc2*zw}&HmcD;n&1Y1H2nfCKo{wX=S+Li%TH{ z6MVD(1FAW7*P0lI2iJY3+H^-`Ns(eHvH%b_mRdyKMeiGngcQN1YqbgdyzRBl&oiYK z7A4Ph-P+ync~PQcLzK613;^s6RXf%u-x4U{9>T1&dt_WZ+Q){cg;?PPXgl$a03Q40G)<<^q3@ZplV>yZBjspgK z<%2`086Q?`5L|$lO|tu^rJvJsS54I$2M;_YJKAgJw~a%ETL&(d2vvqDJ{YB=qN)mZL;=mxUi|SXV||F7_#rf0ZO`ZqXrbG1N^0R zVES-yprJUNDq^U`4^7Lp#ZyI|1LfoXQZs-ZPeK;~soXKs_2koz+{-u{t@GgNXP+8g z?ZWCAQpG`Q&Gpb6kwl<~Cox=lK}RhSLwNsNpnkt!z1kYd2`SD+Y=^8nJ234$2rVK) zK*34^U-o2Zwn-Pd7_T|g@x$1cvx$zB9zf!P^%%)6qa5j1ceH#=2Szsr&$KL(A0M5Q z*nZ}Cb0D+h=QQoI53r+(&g+Bw#$0bV<=ATv94d)meeX+(vdYb4IE3 zO%%?V6qC${%*gK_YWSCw2 zslb2gJ17YO^d{EE-B@P~hc*V-BBBI`xR%(y){Vx6;*)sF0$cEFK-jtc^5LoV)#5(} z;@{wgOV4V8Pho5sH)yr=q`M|VTHM)sD=IhN$QGkvq(B%5iGyzN67w6m2}q|J?C18Z+1X(ocWe#89b6^j>Pq;YlvwuZm&#_pRv0K=)uB*btS0nGB@G^yG} zzLNGj^)?HgVl~Xi^}OucAgt8l9WbLtNQKT{4xz~9)P#tUL!Cx#MO!?G-kzn=_{pct zz)}Efph2s~jfaEjs-O9wq;P9QJtBOD1MQxL2_< z5NSsNtp8kaB$9BE&iwsv^(yWc|Jb7t1nWgsR@FOwC+QH!4l-Kk>HC;WRVjt+E{Y#W z(1$nug{AwU^uv(&u+2}ia)Gom<|fRM?~@`!@XOU;;F?f#jR}vF&u=F<$o6%#qQfzW zx7!0e7HEM|+NttFuJY2KMD@LDY_{%G6L9{4+BP}w$4a7;729v-c$hJD0iD0Oi~g6_ zw(VV-iy&zODaApGtd1RykDBE?AG-+jW%_qK^~WH2zAI4jW@d{v_CEedH9uSaaomdB zQcz5_!1e+M$h{yX9|R0a@6jjE@ivpla>2wCvj{)a2zn%H5|*Sc1=HXC7mfe+p!kx> zVUln!jzpDA-aD%04Q-G(&w~L17YO={hJ1cb2)|(s8~%Xk1ANK%Ai{51qa`Z^91hSVTKU(w?&@RFVkHY#sLfw2=#EQ1iYw0(F(b3>HY5VK1vr6a$0 zAwouw0OQ7xW6L>Vd|u)}U)_xzI0d zCQ)yBZwyj5`U7`DR(}U(lWBwaZo&(Ces4pU4-{niQi8g5yFD)tf3v$W$oGAh6rW6t zHXq+hT0!K*^F%6EuobW=77I)HX+%b1V9=+4`qNL|(`%Q>GcSwtvl_Ae%xqMR=u2F_KlhMi2^78o#-t1Ei3i#p9%qf2(Ww$fI ze%4>;Gk*mF!L7Z z($-FUQ^!uUe;TX37M+X>$qd8EJ~O!ug$q9-094yWJTIN^At{{2q(u zIF$w2_Yjj8c}+7CFCwDx6I2&)gBD2&)&cKg8`E~^kEl8>{|M;4K)RLkX7%#5pQwL>Ds*u$lGA)Fiajy0sEZ|E%>O z=g!d9$Nw8sDxs0=RhHx3Sc=UcYNRZeCgp7U5TWP&UzOk%@cFY%_W@51R&IUz`$l{M zkDf&t+SjG8$Ft9C)pld?oWnq^&8BDLNp9J-4QNw)c7exmdv_CO=E9)RW>c!ps5xl$ z_88W>-WucmcD}nO{YYZ)tw^Z5EttNusnhduWbX42BCv&^T=DfXr(pq6yZpT zXz_IxZmUM+ms-QrqtS^NH)$}>q5huth8mnecsJ!*DhII0Lgyrc4quTGhaY@VBt=rC z6tMmC$;xuwIJW;=YUSMx1U!!lnl@a_*z-;ae)nE|=cFB%vL|kJ;wqHymmYOj0CiJP zyCU7Dpx3U~YG{Ps%&p9OX*RftCC%k4GcJeL5vSDiLf36|=swogNK@n!aPAo`S(CUy zxG93V)w2#GoaLn$BnS#@v1w4OH#*u@YZjX}7|R6k8B|kQ6Q$auDullG^H2-uFSNVG zjX|F;_nxvx@mAXouibRa#B{FlfzYUofM0NX<_IpPh@9N}rEqhXx4GAUKsar%(Yw6B zyXo+B`6CUD-bw|gp!o=oikuaV_hX-sP9NayGBlr0sN6jq)Pg23F4)k)mDbA?PQKQ= zP#MQ?OKlS%a0|xsu7VZ5;a1A^W{)A4I$hwTIOLH{G?GJ;N}*JXzI*uvfjl0yu|_R( zK5(Qw!~`HM8HiNS!dt;^K+te)fk7XD-z5^+nsq{DMqmdnuO2jU65fA2FsB1*pfP(k_b~tj z4iuTo`Cl_TwtCkqKPs=Tp5;GP+9EW$SYk{G^0%IdX(aec%|y-P`evKt6Jzuzv&PtB zSSyK?({#vAv?ww7QULHABptflG~n~xun9=@;+s2W~zl zt=6&sgUcz6=5|OGI|WLwaYd7R>3%P+4l0b~gmc@}zvBs`dUkY1Jp+OqW^1?Q3F3q{ z#Os-XW(W2bPIz?#V80=VxZIH2J+8|p_*}yPpNCTJBX{ltl($8-W67PiLNjQXAWd?pv%;xd$JRgQQ-K{LUQZU8P; zuWe9%Cokb$huF?mW(*raene{xeNV4U7Zbr+40Fh&U%rvXlBEIP>h@N`@es!yUzkel zvx%PtP-tQAHnCL&(OipMFT3)ek9GX`(`u+iA{xyi_Z9@{#xMg#XJ9T+&fD9bl^^MT zzOoh+_0d0GU_rQ+^%AV88Pr*4_b)Etp#;4$R39oLIt%RrVwhos>AUqeqsMnv2l}YD zXAs2n`> za~%v~)ovMS36Vx~rk)HQq4p0muH`T2AP#@ntO?3#ffNFHk`X=ve^^42V}BU0aI5}3znzBZh z(RC*aWYO0JfT8OiptDb!F3tzTs;6SdI^4mvH8SN%^;Q>Z8V<9W*I)z$Sz*h6zL&+( z49Df+bB7bVDAd9hXO9!VuXsMIM5!?vnyWx6DCEo-Taq?CM|N}Bo|5S#-}GP&SfQ$U zce|H6uBP$gYN1b=-{*V!+J)<$@ym`Ir_>b316rCfm|Ei3(eEkefhb46^F3_wH>0xW z4rWjOW3#K663^bDurzXaQbYv7ut>J!j}!kOhd-8rYLqJX$8be22?gw`#ESxWFe^E(T2r=vM^Id1 zps4Jxu3j*LrlSkw@pksZudNbJVeVe2WpsLV@er~Nb1oTm$e=K%{FNwTlz!JXq9R72 zAF9R97zhvO{VAX%d_kf#1FVFnmChMXKVbE4I0v+Gdc3nUF?+`@{DfjC01=YI`yHd< zSL}9693w2r1; z;7TfQj8z$mtb3kXO`=l_j)HtxrOx_~{Geiy*yRpG_`Kc1@ufdFn#4>B3A6r%wiwyN zVvtgHlxBIOwEB|=|FgIpV1`)BF7tT@&L;%5RW=6#0m8GlGh+4-3>-hHazWdNYO#qw+2&z`0VD`wyx)wMqt}L4 z*j+xq%E92cHO!-K?tt9STMxr7iwuZoq!GVv>&x-SP^Q>0=3pRVI~8}*7!(k$0&r@^ z^@`E$;m$TjuH?8QQSA#2;rO)l?QLE^<8^|8DIPF4yXbUOOznk^51EE1x0xVB@@A`j z@4C8*D&jZyl?mQvC(#};R=NsH)rflRtCJX;)D(87r^sK=;6VFQKS$V!K7RC{Lp7>j z1@YWE3;tDp{K!>wc3@m|>*4$VKnw+(*xO+%=Ij~zYgml)a#ick}0;03SpirXc@G~#5K*6 zEK;Fk80g~UKY)7v3+XC=Nsat*sYPDFBL83&Lz2j74~ye;vJmpMGxYBJ2x({_7PAIO zbva;^#97LjFpblLtX;RKhR|0#bI*9B{way^{vIyq_IU-v^?H6gV?5rLBg(u6Dd9oQy3wa9Rjw)1`v-+oeCq{|an z@;Y};r-qC}-VtXKHjdO*2XkM#^_-rrJbWtBP6j{|VG?nKNl=_f{2gG*+{U4-Xz?uT zpyw{oNxTIrTfr{vh{i%d@eGl!P8`X`>f$c&mVU>?e`c&NC<|E^C(|bbD&DC1?YtxK zYr0}!4XDe3k%h()CR)Ppo4-ViUq)h`tfPF!_xC3o_T35;uxI1Lk0BMUZd9J)q?FWv zMH-P9wA7A0yAp=FxDE<`MEqQsjT+cG73-yu)ku4bTYO-MV9N8gEqPJVmz~+zp~s}J z2)V)31P51v7D+`Vw-JIq7NCl?uKC>_sGt3j1MG4+f0SmNwr-rljZeW+NvI zOYW}#FP;li2TT_Um>**(_h5lj4k)vn37$LIQyx}GmOz`(*>NRqC2~clD4CBPyd1VK zrf{e0%|2VQDu+nz36`K-AI4-%nF8YU|`)r9ngY=tgpc{(*sQFgyFN ztLkMqToHLqTsbHi6U`%naybVc=x7lZMc;VH79S}%DPosOS=%WA=-HZD(JLnNkjYDL zmALV@b8h=`2b!x*gBOs6Q||?rm;bKtjiPA^7Zj*d$V7`hI9ry9+I`j}YAIh)fG4wq z0)B$aF^x)>1$Y82BYUey`^d8PR7`h5M5V8BsE!1I<}+8R6nvAT7FJ?NWHG0-rD^ny zK1yD&@D9a$+MrID?-%Z(dg+lT8#6Ru?SOjljf4;r($YADw+PP5@)LKJMt~YVqE$8+ z>pXcpy*{|yo4vKWe-FmP-y7%|U>Gam&OSv`pjzYHG)t{Qy@w{4lEC7pPF5|H8}-MP ztYp7yZ}g>8A9p)-VA(grVJ9<0bWG;dArGGXD10qkEA(Z9#*{3OgQ9-^s(Xq z(`jdNI6J_xet&xoo>Tp*4gA$3#$PJ*)@Kw~4pvBe*X!xUWDuv4gX=j27^6vEQy0K@ zXO$9T+S$bs&sMQaVi%leF+Qol5ZD=&O?BJsg;#%~O3vjl!!d0>>lU9B5s)F4)4up) z@T8NPfNnVMoGb6R+4)DIOC0{Y|0BW0Sezo+-Qx2eo0P88fP8DSK#zw63 zE=xv8FcHeQsrp3^Q(85uN1sj3h?5i=?>P~C_d2y9Y67!@Wof(6ZvS#DO3-tfTos1Z zZJaN&?;SEzvej-lr)cx#Bysv+?}M1roEJWgPh_4g{S#yJLE>KsG_*YU6e=KaP~l&P zrc!76H_LAiGg6JJVlCiiGbO>pLC5-s)62;i(dPQ`hY=zN#u%o*qzzBNlp~M3N>X7# zL3M}q#U)uciZFp~*-Qm>@EL7@1X4aVR-m4Va7GdDYKRve=akKFGO9@9(9Wg_=E;2GjA*AOI046d8eZ6 z!~&a&uDQJ7JMfG*{)hpZq5)A!2~HycWq~}LPFC^_l6u*VePr!Yc*+5r9zx8CwFLBO zJ>QG(&dbbupDKGBjL{w<&g4BuOC_GQt8L~lV_5gMIuXb;&+I%BZuO$-A~uU(H?ghN zbEO0M=G4Rio~0w{WC-q3t`Qm0)ijw(a<^(O9BnT0RV15Nr!&%UV@VbPu*r~19t?U@s%X0jCYa&G8+8uB(!#!{vb2C1 zMWo03ixU;S?ap%hg5Vk^<(twty}-1I7k%pXxyW;lA9;yT)a7+^0i8c0VL0Y9=7Z&D z>L?N|c+$|O)y&&-vkl~T6lN9B^HwOmyfn6Qj}|9SOh?HwFo7w&|8&`(OFREyF>=_r zKQ!uZ)16*+bnytHn18&Vn3k6Pn^`|K=QkMWU{aRvt7Ev(x$=pXV^~@4zBhPBqR8!R z;{4qb05Vmc?dRr>ZAI8yQ#IN7fF=0j_;CLDY-7MN5;)mzgEWd6mCMTJn43&AF$!rko%bpd(jNQ?eDScJ<39tCBsO6DrhUIF=bx z*kRSMrDUZ*1{t&{!F9_@i}Mq3bLMwo0?rF{7VeL_9w~o(0^26QC8yBCk+Z0-o8OF| zkG>^XI)K4p4iw;_@d`J#i_5{VxyR@c-Pzgv?_F*2{4o7H@qeY0qMbPGIUeNcEV7S< z;N?`7AY!Rj9^AEbWHjkiRE_e3OWDz-tR`6P*Mgp;BlNtU4Jzy(WZifk<-Dl4twv4+ z7b^{^@Koe8aFX0nOEO3;8h$SebonE1ufA4P%L26rc92!Yqr=r+d@qui49tJolX)3{ zJ57CZh%^=Jf&LEQ*lV4a{$Z$#q(>);U**8_M_eD?X=Y3QI6|PIT+7 zRB6zABt=q$>9w2EngP^g1VwigWVHU-wwh|-H1p=2OTUD|d0fds6qC60DYqEXmz4Q_ zHU{cnJ3@A#!{DI%77g==&!kQBEn_Sj?md8aLFxUTu|OOb6sCoxsToGJsd?40d3O9w z*tEiWX8bzF4WRQQ8|rz!M@o(&^@8)OZ%YTsg|jcJlZiA{y^JU%VfCkbEl)HDP`*&3 z{uyZr1e1*C3j`}9DCcGAUMJwNC57Qu6bH^6ot2-Rm9MRpCy(WW#qC1%s)9T+QSFft zhTJ;?4vivphVW&@_$^8P_}?Bz6c2O&_C>k)8G@C~GEco5IsmLtkW-OHGkv=7Fa%|b zq~XL<1rUFGUI}j_dCvTZvjTNKCcGQMtQiO&FavP70!^VKbY1lJ^ONU>XN=fUH1Y5!Dtb zHfYd%;KV zVlv)nkCoj!ZzMb$SeYe9n7~1(or-Taqko09E9tdA(^wB#v&&x04$=m3eW1q;lzBcO z7g#?;EZsrr_)J#Ws(j_jFXXi-ZcLZBfh)P0C$Mm^0+ zl&N&Cc}KW)ifpl$u~TBr+Y%XfgXA5d&F2{lB2=<7t1 zE~QQ%F6rAxT`(ZvRyy*TyEpArRdm*S@@Y;B(Oe!iSE}HLkmWmmPgs!5V=c$`2;Q+T z9oknDIwdZlxru1{1K3(!o1}W|=mo8$)$9y zP$i>vknO2EqD5eAE}$;PV7{^AP<){)1*DvYRdnQD8Mc{r?w7vaM`H4zzEcWKpMsIB zFS{tzkiwbfGkkg}Ao;$5%}qre>(P{a)RgBG33jnhzhX|6u_Au z2x|o~-oqanmq!cSID@=MXpi&?1;s1JLmI&wru3}SfM}Ap1vYh|GlC#4M)d14`!>U_ z78&0ARY;o30x!Ieh2rw0B=fT6X#g}mgapibeKO@tXJDB#-NOsPPhE6H-KQ$Cm?b>u>_?gq(pHcJMmoy z4Gz$b!Z#0E$JT)VVy$`>EgC@25q@}EMS;Ajdie->TX6@W?mu0@+hLX#J2 zvX6-MY^|no9=>OHHhrq=m=b9PK6<2{1>cr zTl7(-PVRkm<5)K7&tT}2^Xmgs5FvCaK2A>Z!|it)30apqi91z#MvS3q<9@L|IvbuG zmNdNLTorA&C$6(pSWvQp>KFd1cz>Z$Xwv{cVBQ9v8t-$c{2YL6|6@GJ$`9}P<#jgu z2GmX0>1=ds%f8#vUv8_ar`_Uj-&SpM?SN%JWg*{P&|bT zmeJ1@DsWDhYJP-fDcqGd zA%aWwKJn{vQx7v|K!38r1hgjm?r>NtlQo(BY#yv0w9?T;g?8jI4mot4KOjzZK^bis zHspOkBE}j5vC)OxS;r2>{a~}MjENx|PG;Nd0_@-nf^?X9G)iAPrnWzNVa+imfV$1gG}I4p%nP&MA(=&1CTqkso0!*>t^o(j^_v7rc|w+oxkZ046Hb?uwL5m*EVo| z0q=V)Mzk3EcmDpPnsO|s z&tA~Fli>!Y(N=6oCP+sU|LXnB4`L z9-G%@c5qH&+St61EUx!5z#PQO^3b)oC_7JF2KtznB6PJ4exa@8)7K6E)f0^M;gsr( zNgCvO4*xKV=peVZJ3@CE6p_+8j!Q01PYchN$yn%#mB&J47*T!rwF6|Sr@h$lJ;dxV z%<0bN`>4BmA#eaVW!htD_Y0?k(9idE0K&s(m=~$y0A$M{_b~)Q9nJGPp}14|3Zgv4l5+ zqnYhYJ0UXw(wH9xTyt;ANpc+{?=P3{KyG=jQs_T0#~OvindY*gTs14}NF(1*+A{w5 z3Vt|$Hruad*i0O5?7crj(02yMV2IpjN^BL~&vVj2XxHrWuCgz8WPb{3udreg=g5Zs z5Z2{iuvs2KU#asjK1u(6Z2sC2t%VH!<9R-_U8zTjA1-DCbg#a!UWvu2-DHLe{#zOX zT+-&fAnEFapSv;B`yMj7SdSlTzfN$TJy_Gcix#JriqwjUuhg9;{(vD~Yy2ufpzRuI z)&H%XbdgoPMTPlW&3Ns!NEoUFWxx^YeX%vRU=7gF0gi^}?09>k@#`7Ty-u?`es*eE zu9!{%K}h-y>?7G(jO)=bUIASK*e#(AlYK z_2R->^1@YjNAz2SwY@)Gm#%T)@Cbqkh|x}T{EX-TPksRnTpK(k=FfNo0}(h1e{%BZ zB$6VQ&#mUsf5tC1FBh}=6Hfjp328z^H*qr5 zy}%v;We@ZX9k)ldMJW?(i4qcIpcfBAH+=MH6S7^BC9laBw(FZgZS8*}IAp&Ubz$lh zQa)Ay5AYXct@g>m4L&FQ4E1z=>PlT!pT5M7a<(k7x@e=f9TbY?lU&9ba)*3G%!^2G zT|4w`1#+0?!lS%gJA)IZ@*NOoN;?JU`*HSwX31lY+?74(Wq?G-M;%!wKfnn4&Gj93 z-0E>@#%{2KvwbNeTzu_irN;$>fkXcrMpg>&<9f76npbFd)MZR|cWD|bRvnG;->2AM zky*#zEmy0vhzA2N0WpknwWC8pghCvV^QmD(AQyo+i1~;iv5j!wO_A%w+(u z9l=hPNswYm-}7&%Ir7g?`%4HW?aPQXck&j(3Bi(r2J5A*1s>=hjdr4j{_6{9X~AL8 zxhV*!!cv>x!l+_#K@gI|$(F9qXZ$RF;7>Y|nd5G3Xl?MX z=9BZ1!gP6-<0h|CUPpOJZQ*3MJ8}GOQtdo$)*&Fph(2F2Dp{l#BE znLXyxI9R0xP@@W}ZHL1U`11yQsC@Ck$sa&e1Xt)5K9ZK*?eRLlc`w1ie-9pM!BG=J zbT5O-eSdO5@o3%tgB%W4%9U}v2(%}faUwcQQ5Z(j8oHY`9bJX=$EzJrU`oXQF*j@t z80v58sS;cdG49hMboXk~Vi?d21)4u~NOAw8nY(KAWOJ8c^cGies0s#dFRo{yz3pW~ zOeJ@;zfTbkJ!2X(sr(Gv0H6?r9?k61E=ek#{lCI|0Lt5K4i>k$Yr7cUR7OF;Y;gU= zr+;n6qRf1AiUrR+ll!jEeqaph%_o2xjUcCv(&tu(lzVf(bxQBoz_^igkO!EY9kk#Yjy;X{EMovxbJAFb64Q6bYj;4<)(g8A^vDI=|BYM-qZBkbup6fSoC zcrY^7Fce+{SBWOj!=%s4AGHRuI6QdJM69Hs?d_5MJZZ57j=}e^ObIsyH8G?Q-5pw> zaH8vwS@d-4dghR|yQ!;DEpoGa5nb+~o{@07VCl27fSo)$Bt&32-2)7mh25X1XN#q~ z^Pg-go|d0X4tOuoM*zh>>&~=ploM8jmScRK{;Mxm#P?dYm`dUH;AGQm6`q6ko%7!N zmE#Vm+jc&Ts~jEWb`^9>rqb(~oBc~@N(p-~YnR2u@$ESjs4X}ZdovacpY13=RVqig zDU1?38>$+bH6PINVF-pDOev%*p&a+Ah-)wdyx;}9=x+OI2)_H#w?!?}Rw7I=_~E8U z2GNkpu9VUC@4OmD%&ft&WvP!VI3tgO9aL%-!2_zVw*SouGSP6}FCv=F7}rfmUk}$~ zhZjS2dy!F(tb$;(T9In7TgPENa*K$mmjdwrmAYyMMp1WK4KhpwF zohKiXP|VkFWVPOj-GaS)ERgWRV6zl#7C3M+h6?lUn;lnig3Kj#pC97q?So1Py9fI9 z`s)yZlO4c3nlQlOm~*eKtvsg~rN_f+;b0^?7QkLQi{~cO{3a6Dq!DF5H9rONPTm38 zH|EOsg;yu?k39+XUsWUh^{9tmlVLKGU4jT&J75Pr1IJtG`b-643KjLvf7`CI{E-k) z>5^kkzsgN<%63j$01(q&JCMg`RyFv_a~5GF6>7lKfcY@*Flgf}Nl{0b%w;?gC_NEO zu{FB!^8S|OGW%6V`?k{s(bd-{|0Rjrm~`~^mW3n{Q0krONi`=ub@@+Os&}EHu7f7t z^98mRop1XqSYBXjZQW_>m&2oCMYB>jbcm_!^H{5a#sJ=f;yE{ePq{-*(XYV%Bbu+< znLNlZIJzwg=%fG`v?QYzDn#c0pU|?haQ$E1^;%oY0j~?gZ?$gEM41TxMh01zXwo$^ zYV&DOe!e-D(A4wbY%~F!UhCuX(-+^4RHoGyPM8ojOBCT0{{8;$jxPH!7*$G>zEM)# z@~cU+zy+BH+C=d;U)vy+kshiz99A-ueESveXjFMKlav_T1)cNLU?EhAVi8`>9PbAc z5Z6^~Rvo5Hu?VRw#BB!pR8eBnN#D|8p83od8noyf+Bi+gf|74%5^%(v{~+Z7#%2q} zHR%SWIS+js0>kr%5BWFS2fV3t1mMHAiD)ietbUM2R^G%Iwt1sqreDaoWk{ONW|t&rFC6gu0>DORWuG8b<6y%Ri*cfB zx~0&QNe4~hKvU%%5s@ccDeYtdXPPVuc~F)w_qz(p^&=#bIytYApnwS<4R6P3Get=8 zkjZbt)X&*zF8UPRvYt4P3&$lI8^3NZoOHr6(~$mBuQ+(%H1qy?a2}YnWd~>cK3*KS zL79F=nf?f8+!S59oK>eMOzTr0QfP(e;Wdcuva2;S^|V_Vo193g5VV>F-c7RWJ|}Y0 zLdLuXnA!&}8Bf-A`<$9JU-jtMewYS*PqvO+rcL6wZh|&yZ+dxlXaZe2uUzMy{p|h) z9p7oR$*%3N8FlTP3Z`*=+Pxs9K5E6sZe$a-q?taO`^L~8ua}XtmR`r?aVUhTl@q|X}z2R6+Vc5B&@HWxY?UO%sMoT{?*#{{g=Y#V{E#aqu(9X6kz zD&C)dI}Bcgo12bRh3hSoCzfBXY<|AsMaRgC$90!B|7xbAXXE}8^BjHq59zgS*hj6c zpIi@e#p% zym8KpbSUlqv%UhGVFbEa7qXi1Mxu&#qy0X-)_OAW-CVmlSSk-jW!^&8bdhny*d4t~ zXe8>lCR#<~m}gASM4706;*$zpK3&TiH&~x(F{NW2}8>5yHrfkg7#{1S3-T zd8DD)gPNNh4f>!LH?R}I&2J3DT)(`r2=5kTke^Tt4_RNm|NDRWpIlLP{^koJ($%9s z#>3u8jm3s3dvzqLclGxviJ*pGinGp5wl4WiTbJyeY~9kj#nQl7n^kINo|-u)vu?;9 zYLY0z&cFmgOdMnW=%sd8Jm^M5$y-JGWB+nCu4S(~T5}l>vca&4WU>?;B^5-+8EmY; z!vpN~U~W)`{fmG8xbb(oSBF+WM3s3o5*CWlOCD`#Z2J^%*!BJTYBC(?obv&}q$nc< z1C@o?I=Bu_A#V2)dV4pP*GI}feGOr|s^1Kz zy$f+aTF8`#OzlMr$ArgYJCr0m25^6?l3Z!O4P9z*lhX3Wi*1c3^ZqVljHxCJ$TF+}UukE~c^SUt;JRWTB!@Q33I?bOi-kJRf_W+Fz(pespOP&N92ky{m@X*64-OKHID1+dvL)m3`#$2Y%W#hR&_!Dlh z2rqs!_G$O>qWgs7^*%oYQQMA3BNg`wID?G}XU>1|EFQMOZs*VRQ#~BlU!&H4abMbPf}Q3$HaF&6UhPjdd>!Wy*UCMC*S@0TVOr>=- znR{GMCJUGANtwg_p?k}Nj3_j17W|Nf@M>^5-bWb#4+Y}kBFZBc%kQ{>2RuAt!S*WA z#Lq_LU??I#5IbxZlUF=qZSB1fH45lqxVUzPhfk=XA6K{>>UfVG(i@IPYhrhRH8g)& zdiVg0OQE&-VGgh_K3W;L{r;|0XaCcC$ZKt>aZU%52<6` zlXC{^oWj06Tl#K(zXgQ;mfFPqh;@I0d#22u#E3*q+_z_Mpi+lpbPPoefOb^$;Fgwr$4h4&afL4W{62sAzyIs}m-CX05w$D<+AGxLVWdYb%;KSG4onkbb`_p`;$?pU56LI)YgaHeb1(g)EO-E|g7sXPz1ZXDWcQ#7y#{SlA+7mY)yGS4!0^KbA03>?kg(Y`%hUd*R>u?{>@o%TF&< ztx=cl;`Myn>?nzwHAjCjSIT!P8B)lyxYx?K=0e$HS+$f)n+P#yDZ0rv)N4dMX-|-2 z&l!~78l`jr)J7LiNS9c z&x~75t?WZ7mMnoba+R zAg8tzn(~sgf$@Ke88-CqJP$sKIbpjGZnJ;77ui!&(bQwCWGO9%-`Z#$Xn<@g4nkCZ zZXH6&HC|c=7`b8{Xy})c+Y(9=L}S_fJNIxDw0E>62UJ1&`WvF5lGZqeD`^Okkk z;n2i*Z-<8Bu;I|0b^Z%&XuZ`6Wo~41baG{3Z3<;>WN(+C@c{$^G&HkL!qq*KO~Mql zHv!TZl_CKaw;ve+oCuc+837cx&mjTU&zHL)0ThS1@d3BF@d9;$m!v_0MLv~AnA z?YC{)w#{j~r#WrgwryK?_P5VD_dol_9~H5pp3Gb;D>JJq>M4?+@=7!U#)W&UXLJcL6#$n%mj{$o~CPXD@I0~=$2oan!3|2OadFlga~{?_3HH2ydBUrte5 z2UFnRXfr1#J5D;ff2o=L%S7vFLTdwb(x!k@`l}3Jq^D=1{ueU;gDn3b>p#f$53>J* ze;ofp2Ks-Hf%-2n{%7Yzovp0?nalsvJ7s``lfmBt{~v~dwYio1{}1OsgVliMre;n6 zazR^L%m4J5JBpgS0gdI&os9mr&A`eL_;35a(+b#_S^)tx42=Ias{CtKR)2HI+d7*6 z(^(o0_Wy7xo0%I~+5jCL0nGIOxPX6~fB(O8ir5(08vkp=N=|<#W8h%?KZbwY@&@KM zPRj0fKmh&!y(9lwGyLDRjDeGbxf?)>o|c}T;cwvIUZ18e8mx{Q{Yjx6W9o-ke>b<8z9?MR%}wadmLE$AfIlu(Dp9=%2CV&}f0O6D zi(WlvsK}?#${!q*xlasG(aEk<290zKmeuExf1r*(VKbgaXPQ_oYt_t!3bN33=6OhH zhC}M-$ACy4X;~jfcjfN^sUwRKZ8`AiQ5t)gjbF#$F!d#ECQEVFXC+j{f61)8juM(y z#8Lg7+XIEi0Q>aZBPy@fzgd0*icRO9hf^Zdv3cVT@Zhk4UHq=9T!_;Q+I)vJCu71nn=!=X$z=!d zyyof(L<0MQh$?SeOzu7}foy!OPEEb3=)j657fkPgGf{F3FxqjVf9Y!>t6igmQPSp> zW@ib7v3kBbAWyXOf)frSa0eD7Agf{r!-P|^Y&VT=26ouYOEMsN$7fuEch{{IjF!!s zO|Py)#Lubvdei<$cWMjLna=x&e!7NU65KV+fARH~@p%Gb*B0R$4s&oV+ifgEhA)_( zapnHuHY&Dl3$G?5e>GscnjZtqhVI_~8q7w;1{#+}!vDU4b{YnU!<7=q_d-A^tV)fs z8~P@L=?NS0ax_`)39D)gXX89j2jKCAMZNMAj6^jka1{aTpnj@+-{FkZAh|78S89z~ zOk8!h5Y#`=-RSsWR$!HL8*oY`WfS)U+e6Z)f219E1yhb$^%IA9VChq+5XRNZAc2&$X@zm6DNK!hMbk9hFz?C3nfpjxP zW!4NN$NitsBJo@TJzHV^!o$r*+iix0x#GpFTV=!G>+!|di{y*hd+uCgWtwz^o0LeS zph89pFF&^K=JCdyTK*%sDNTVY5H>Tw$%Wu09_e z$b`0OY?0-#Z!hX)IfU|15!8@6PHT08Z))3`{>VzG=_@Q;JYmA&Z#PLf>7YD=NU^Lo zrU_T8e~y1skfV0SfvtHf+21B!EKm^sLg@J&V1%k#T!iib9A#Hkdq^m2C=xtTSTrDh zcgJ8VqY9%LRWe7cw$qMb)i9!z0qKBnfc0&lLKvc-Q_3Pa->iMV)#&RcT`~#1PN``I zAM#LcFhxY9x>QnZWPRk(o7inpC#tmxGKd1Lf4Hpyalo5kl~aWVN@K-DV+#ZJ9?ZSL zl6pCxNi~u(XR=hu_TN4|0&`Ay!X{5>??H2|+g)W30|DYP^yy&Xv>x=ekVrB8?CwZe z#$x`6TQn8STlS0Y0jm4Vo4YmXQwr-Wz8)odizb8AH_7~5`V^85dBC)9d^w;6H=pqn zfAMAR%<oUW`g)K^MZR;O zt{hI0ZuQCCf%&iY5w6TmN>ZeWO4yL)iGCb`mM_80$u)vLP8#%s=Grro2#{t-LttT; zM%0uwR?bwTcd`Q6u9Y>U?R*s2o4-72e*rmJ1H()$!9wzZESU614R{Zk z&3!GHC%}{@MMUIx^LEy&j$qbX55LIypmf9EGvd!=!%e*@-7Kc_e-=9Vy(7ieby8BD zBrR^3+n-})6NE*4l06v|*M^=$xS@>lxn*w~R|(!dsbne>NDq zmhg3(vsj<#NM_(pQJ85&%xw*8p-0>UYZ5k&oW573pB*wxQj>EfR5PUR5g*VBa%ti6k%96?s-rX8zt(8P%YQ- z!biL%2m)EL1w=4W_*Sk63X+gHlk<(o^nq=ZX@njz+us!%%+!-j#7?CyL4d@f2|}R- zkfIEe`K4_6Kj>b9IqI0re>)&OvR`4x%3jj-o*>yFzP!H3b;9_{Vh&&vc(N0&$DL6A zx5b#MKT97w8=BpY(`<+nMY(wUjN6>jC>T~d7)zb))||{rypGqw%(mBi6w8R3Ct~GC zZ7n`9O3?hPLU0~uvkQk$H2HkxO%|9wYyjUbpNWCt7*XxEmaOI3f6Tv<2WpxjoL?f4 zIRn2x?p`S@^@c@A#R~9EOxl|+z*lJ1DcCl=x3)Lw-_6b)bbRB$1^XPaq2vzt_2)Fg z`lXI1XLgjc8PEP@d5<<&P^~URryncbQ&B=jbMD8rFT9Pt`F=W&owh+h^QRd)DD3|3 zG%Kk3wW>XYwyA8Df06fmb07r~m1mfJ3v!Gol#A}R0zT4LlxNlTM#nY?LHMhupBSiZ znYaiy9WW(RQwA;j1J=cA*1hMo`g!UX@Zg3mG%fMZi+%hrVZ@+0{fM++Uv}A_+A^aI zy^2Kzt)hzh_)YzQxjOokptX|eynu7x3gn6Xe8dCRcZbfwf3B?^))Puf4o;NcWyRP~ z%Pao0Ui{#l=+|(ddpV@i=O-_s_>CYJ5by_98ovU_{-Uq-^-@6jW0&4-p3N=wecqq zP4Va}ULPB)f0y=IsV}tjX)`jU3<|J_w{(dYAq>M^Ib*-J<5X8vqy$^^C19Fh5FEk7 zSYSHA3`?hxmfr+i{CuF)CyG$f2%9Cpnv<;?{rIk;e;DW%)|tU_6^xrgjB2 zalzhJZdW6mZL!gH*$mFr1^Z9aCmLWxlsm>=7F_(Ue@2uug%mLFcdP>}*EgUO)r$4L z^;oIAFF-r?Y*viR4iA_}a3bc`F^|L&iT(5}90d;o46Gn!d;lMDDCX29MfFAnbhvV+wF{hRbjfy_X1!qb+{sH?}!J|9Oi8cWmN7fzO}_m@tmTpvYGkg;E6SCt%pPxaqzvqgl zZb6wW{ATR*iqnkDd;Ru099=M%uu%BJA`@f5H1G`K0e1^K)Hmg$U`>q&OQ{-_e}A~` z1lQqU0DWPliqDkw8gY*QvL)8}wFo7n(nFpd&-OiZWZM*<5lPrgjBVyy#i8VjN!8t2 zoLMP3dD?>9%LnS97ssd5`0!kACM~iMdgtg-R-(-Cw%f64(+VO1cLp4tQC!WD9_a1y zd6`AAuMYJrl;}0%B1!k|7f-2@e+}{0_3>r_0{6%u0f0&gzP%Y5S-yhoXTx5th(zcE zCIlE6Ns5Y~DMl5I$^SX;8IFa&dXN-yVS) z{`@}BZkXex%luWtq})d9I_i?Ar<(K5?ouqI;U8I11>SD%n__so@P-*uf6CPn`@xT? z;f@+he@K9C#>sZeAVS5#IRUvII6K?id4X9GlMpp(JMV%WrV4*NMHoAB;60~1LzTya zoIde!qCLxK>ts_jYm=*%Lb18$MfNP32l0Cj{CN8McP_lj@6&2HJONrZw7htla$^Zw zl`0pxL!|7Qzf>AumPJgGe+LPw8Dc_G)5(6N*b>XQBc~D@k@pd&m@FWZdGIkVQX{Z3 z=FVXH*(bhkvbDFrta#*=p%cPZoTvF70x8ysbk^3* z{Be20!#B|H)M5C^3H>6hF&RTba2H`t(RR7YSX~nbo;fVysD|Kv{h9w!ViUlR^^svA zgLu-}%DuZGX`E3#RVmUO9&mA3z5lKZZ&ytTVNXFVSu1&_SIP9M0Dey%4-Blce^a_R zqJ)vC%ox?2=>kq)e`dLzjw$$T)Jt`Y(sE6B<#uB*D4D{%$~M_%I5SwRsu%Op0Jk%e zMbA^LvDo#4@L=D}x(_+ULFABt)$gGZ<^K(jFe`tNzOsZL++U?YJ_CI$S z2WC#RoXbuEA2yFQ0wx#H>Ty?W!{qFDuQB3_0M8;f0fRb)pjDvpLE37*qOiFnkrHYwj?>tSq=Brt+|s! zTm>#_5pUAff7gcuI2BUY3CJ)2uh%Bh&$rL_>&O@jG&{>@Gkefp+dM+WLL-*YOD6Lq zIEZ(Ao@C)Y(d~;x;4jNAsZGaeo*#E>+~$Yts?4?vlQ3Q~wS9XJp%&Ua#pgQ%@n5M6 z1#}&b&dFFuxa^YOo75_SkX_0-gtZiF<^$NT77$Ayf1U_M9wOUCL^QBnWUY(KQSP>BDQI{D=yO0CCx0QV^0&FO} zIfOIU#TQwqLEo-!#@YR~At6iDd_HggR zS1#)ze~aO3zc=Q4_iq(RI^DS^>~sm5?F5VdVBm*roaG5Vzo8*rxX&6%@ZuEe>`o@d@JBB`~e;y5;!)36CtjH7X-YH_W zf4j_Kp_$kQZ*}Max_~ENF3afB+#Pv~XFvU1`DcD$sQ};TTxhfkS!vm>&d2K;gocbB zwI2;u+d^o2Q5*uhs&S7-misE+I4b1H%BI)#3{_WBT&Nt*M zdd(nUgZdAU7^kk5fv5Dvpw5HaezVx+f2j)ko*f6aKTFgp;OM_?Vn~GqF)L!8+t;G# zT%p!#u`H~bSeOvD@VbS#E;hWpJ+z(Vj>Jd!in&2D8RrieTQRN4FvA?9e=dGR7Z`{? zF=>$pWf@Vi0V1HT8^KhPSRKQOZS2RP*|HnW@>e-ci} z$&dYJuEDD5pXj7qZc7r@5BW@7OaV8nDT8_M1^0T2$1jPJJ}itKr^Oo4zV+@orEhCr zXH-HD(Lr)NY#zRXekj=Y?2PF{af#k={$?m=|C>kd6>@HQwB!^T^C9S=z+g6LT>QZb zFyHL;E^6UJ_jup;)MLpjd?FTVja<0Zge{gtzUfyEJ ztnhCc(eS77k$y5TzvX@%hZ`^ho7Pi=Ad$oFudE_J!_68)N?zi9&OQqC-3^f@cJ;Xk zU&Dft!xPA$d|N^3oj~U^;wYc!m&z%eqNWa&yl44V-!??QQhiv!G?t%?J#FG2!1+Be z&~NVE*qO(e`Bzz*ZuIZ#e+V!kBzTU(vME))mpTk|oGGx{aD-VD)YxbciI1I^QtuyR z8V+|Hj5A74Z=VT;w|<@ncvjQd_UW=a4)j^*2SHFL*BB!ct{}5)xH3<-vyvo+e6{fz zsyGqf>!6xy+EUNtwa)CkF``nXBvL1^N%RS%GQKN-=%4hhAOzN>e<@P4*XOyyq%JbNIaR_1-FDPml2tCW*~`>J5enBYM;)`Y^ySCqXPKy3CTPYC7s7yy zgOQUT7MW;52DK=Je}{cHflD?DE?xcpCsGI zz0ZRWGkXb&(kB9QuAH{CWyj~S(7+1ALTJEqcV0#2g5JqbaJ)QUi-Pmhi!@a=zBCoP zV~G63N`82D?GL0VI_GK=I>voboR@5YX#=bswI3$oxR@IZ%gv7lV1E6ptL_?e^O|2%3u%{ zedq00_r>8&fR$dltFVin)W&eU*c+&_cF%b=VZ>q=HSl>qTJ76R zEPvD0D!AkI8CTR&muvkHmdRMU&QFSKqQ8_Wi>Ht+S$ILKwW}MtS$%Pln4Nq zftQ@Gf3)r1^p{fCVD$Hcv1KHu%#r`rhzk0=X0B2J&gQyv`8oJYMAE!Fk&DYd`k^D) z|DNxjJ`NnesA)m3A_WG6vt{D}wn_C-7D;+$x~XFOvs(Z4HhQWV+>= zbiS$GFf#+>-DH57l`qy z5M&U8f{lyB1zx>hN3qfP%$D+uxZ9HY0=E}_+3*VK!~G#9up>PP2>D4)6nooN6thkg?Plm6%SCFm zU@W44xt;)B5B6<0C}eV=6tR-*$xcO!aOwEjV417g8Dh*jq|kgbqyy|5)*igb75}&_ znJK?Ea}XhI#Q1paG$c;IgSQ>l^QOG-fBZ#m&;iEp-?>5Ip@V53$B+=={jhxJmBT%C z>U&x3xkcCGsnGFDGf*Au-pA98a7_yn#2Y2lYocMe<#g-vk#iX;V=F<34+UaPqh9n? zqRRBaf|nm|F%%EM;VyvJ}&i5-*EDT~0#V_t5p?vcVVk_bym+`+s>B?-A?FBV2Tl?#1uxls1 zWZ+$&gCdrWWI$Y@M!DK&odh&$DjJU%tE4I8xOPA#91i?asG38v6cV3Qm z!%-p41uoyoI6tHxh}~L4(pE>@L^CZKu5N#;k5#EBy_W=KWfzm8BMX|9m}?=IqrRul zjUMPOR`UogJ;vpfELU00e**R-Wz<@EIhPC)_+(?Y2%dE3WDlaB@K73;xN z?Rw_rLW|9;t2{_Bak*ka@{)88nbsq?X-axTe-{u0gNn%iloq@Ef8dAui6(UaVVB*gQS*h5> z?y$(epd4nCe)t5ne~HVyH}EGeF!v)~A{}{X2#LA8ZKgzSybe-#f8fy>xf~;h@B(LMMF*aJ?c-6k$2?&U$5DD*{@84=b!I#e|Bl0@nnd5ounT?n&)kH zJX28~Xb8!B{DU#|!w;l^`Z#;c^$+o20R%_9{;zrcd?Q>>aU&j3kW*6cBYf;HIa_EZ zUS0mI&n}%6H*1|tsV`P~yzKCmZSa0s1a3PBD38}MVss%M4hyw8@nQ3mF#PV1 z?3DD-!JIO@(snu9BM-f zL)g0-sQ*CYk^}@i^{8}6L1bE&3{A=r{k*93st9F>*g zbT-Vde~Quc9vP+x-KZjg^+jOvW>ol!!E^CNSuWXKiO{;1s?nxOqH-uvydN0qWZcY&wr1M{(Qby>68jv)xM3(Ky3TmJXkB9NEN9#cg3nimM&v~mGe?>#}-*zVKsrvDjyxs+hUz9t!6h4@E zyFu8dpeu(GzBHvw2S|$yV6usU^?DClBUdgowmuy&#t$B0E37+sKoNqi2n$Jmfji^K zc;HV1MWJ!5gU?3wgh{Bh1Dqej^{T?~%YNFn{m#bKi|tWOK_|)MFCr{1HxsSTyqe!i zf1!-ptC8peFftL+5u_KoCi4Lcz&N_@$GP14QJ5agc^3GI z4fnXp3zje%f5*`mT?W;_6*TjbpH#G12q39*J8hm{Ru+qzR^J$nwZ&eO-Fy=gf5Vhh zx&bHd>b{e(h~^sTV<)vf^Qv==SD3(<+nm2S^S4H|%smHX!Pu{gch9s)3=YUzcc}E! z)g#<7PRxAhmtzxm<1?epP*HJ zU*ZWoAcDUQY(lAWv3keX@1=72e@-QvtX~=%S~zVpZ51+zrmJv(x(_P^QUC2l)tPJL z_gqHmn61U~2(c0mi+dpJ6N?;d&?3rOgUYlC-4C}6?DN*sgE5GXX0;;Y|y%@pYyY&;xC#p)*tG;f2WPh-4SDN z0*FQL)rP^UJboL|M#>l9@7;_6AeDoV?Rsw+8jYn)@m(vdGSfi6Cj49R##50@HE{1e~r4@RuWr>^=}LC#EU9~-a@ZQA*ZKPUSmS0LBcc~MZu(w}E7KYkks^NUuz zhtbaF>y61ZVJGjR3FDSHTs`FIHpCyF(C5bM5mJEm;|}Ve_iC=Hqwiu3qEo= zz7EdT-$`4+bPw z5DD1tU@_d^<@Z`HFf^>n+o=DH@@mAgINB$lSGlgLsondL`B(9(9VXnJ#_dv%z5Lf# z4`jLp&yx(Tec%3(X$+%*_Q6PTtR3@VfC7KEl7NGjhSY{$Txb|Hr#Swq_|1T3wf`->1` zM6Bh-R67Lr zC*S^~7FMbcf0I4LR_r-aUe(h5Q4Z`4F4n~7^c=C-0h47wp9TP3(7T)bi5DzfS+l4$ zO%6$0i;d>&{O=y3@Flg#BvzU?NG;CLHxe(-2A=5$iR}xJYqA0S_XY*SGkq6*zWxY2 z%Fg%LX;7yskVz@bRb!b@-i#0C%}Jk*0VU!FBX}S_e-y^{XV&Uh%*QP0;`or__hqzd z(?qj4tlV%vrTP=(lS4|-HKS{|<7FN5IcL-eN;nd3I>E7Yl{p=?Nf=dL!1u!jHs*k` z?2&J=rx6zpy)}FsE%%by2fSj%Jg5_F-VE^FrgA#Stl>S*1O-Hb%y+X#cg$OlS(cTB z1?OaGq0V~^l5yEZ0ZaW^GcqA;3F3$v zMqqtn@&)kJm^Kcdl4!I~up2sTJ6?%%-^%9YA3c5Z#gjDR+;kDxFJZ?}*+PS{_C3}OW~W-V9YOLX>HJWaV`}@HcZZh}Ab?<2`b=&S zhY8o=shB(IkQ%u#p)~rfg^&9P1_sm*!M8V7=gz|~*>#5$Oo%K;%5CrKV5vfJ*5{SeripDR5`kqE_ z(4J9ajL`Hp$*`IZ(ZKcg5i%T#@EWo=7BN3h!?VRXBil~JLsXPo%Ow;E>|};Wp|ux* zdPpTkPngX<$(~<#AGZj1yzwd$lVe++e_MmEa-L3|yP(E?x@rpp_$?Zas-uf)TlNCO zA&j(d@*fPRwP_C6Q>Ly>MyZaOR2 zBOzI|U@}pLyhn99g00fpf2_Dv zbd?1kKCCU;Wu2Ru0upZn_3PQXR5EZ_g1%;4EizqBcIuxVd+!8-nM6%)V!^Yl!2~M}_j&I@yXts#oyLD#|>r)vd z?0T=|1v8x{(14JwJy`69$ZF+%3u-7{Nf|s27*3z;(e*G0uBRA&3|Z35e~#tO8lC+4 zqqd$t=xtfYiH9_TB_5p&gxpj|TtYZ3)|`j@`-Hv@$TmBBs9OM@XD$QT%?9+B?6<@WJob1?;3b!Wy2h+70z z;ax0d4CWXgfp57pHy2(HplI`>35JMV-5nfCFrPpN0Kc)$KwXmt65 zyTT+NEe%Q7h?p!df4x=tH{|p|*${(qcU|_3kOu$Ul{vY37Z{lU@oO{cVVjdYZ%Kx= z73?1y<^w|>OLVQ^Kac8RbzbsvbX7BpeY0+(`huLk~zX7n(d(M9KPRle2Oov$^FVeCtOgM+<@ z-K({at)CY8CQ4G!NNTq+zl+K7jnE3LC*^pZ-FL4W?_Aa2Uc*?kVS>FmCA2)ON@U&a ze{s<@lv*yse|>jCv3zK}zGH_JA))#{zTPM~0z&MIkDhae2J?X*yYNel*xh4PkPhoh z?ky*^`s?e|B{W>d3BLVNzZ^T^#|~ngkjJB0%byA4J+~xyN0nnRbxd1jyRW`NdbO*i z+)#M{5iae^LiB9nWSr}d&bz`@h+;ln{eVkP{C&gde|MW>rA=~MDP%?Ix2EtYo*@34)fBPms1q!}|)?%^O!A$tz&8gm0&nRsq_QBm>5F#Y-H` zQjg($_%(`E{_4q)aB!GzK=8FDjm>UhzF{R33-P||-RD;KU?7y4KIbjVvVXmh5oZ}n zNDTx_J&?g3)Bh@_K|$VhlcV|XZA@hv40be-e}4s!Cy0>{x{^WI%_UnH0hYv^U<1ly z+0;njR#q8(&hyAW*WX5Yn%YZ``Vw> zLfajD$Mz{i8vS`89perir2$%ZaQl8re`jYQLyu8K1)|9%hOfLeVie&bkg6fA5q# zXcf~>6kV}g#VP|8UN}Kz5GP_*u?I6LFOXr}8179;+sw!8UpfD{7Lot{l|tN%7)T{; zH{9IqZYCqS52LcJIEg%5>!x$9Kt+2`{wskqzV6BEtNUc2#Ly8Xn?IC-+>aEw>04f2 z?TTFl?NUslMS_^5C{j09906@Ue-l*UzGI03s!QMup6;C_&g za%7Z+%=FiHA{)Pq&cw%a{IpeQHaR#*NqW!4QsneVR!++-=zL^>;RKlY>8DKO?wN2`0tIP>tzo--Oeq0LTToDj83Gm->w7f-t|$5Rqr02f8q^F;MILh zrE)6i(tp$nkI;IJ+RAjXikZ}cEHSPmW#FgWKR!YvsuuaAjGCGgM1Zs05pZx*f}&}+ z!Dx!kBn1DNXO`S$h*J+E5QqxM47Dco#63_}4HFH8yz|95kM-No<|Py9NM{MC-=(2z zTDtGFcHL3TD9?j)cAmj5e{lqVM-dQ{ADQq6AEpU0G3jYxuwDEUZZ_y~ev|P+Y{<)A ztyx~iA&>8Lupp}m8xFR88bsK1(*GmElzbn&jaF;ljkm@rB*SmOlv#Xm@XD$*@=wuB zJ(`po;eZfEe1(6D>-xI%Y}2I!@u9V$z!K{2?JcbqD!Xr+Om6^qUN}3rTGD4w;=>aJ!3x zGMlf**%a)7ksnNQl}zGny6-hpP(4?-CbzTmHqqoZKuZG?8JX5Y1oIPqImyWOor+Rj zN@WTz3@t0D|GP5Qe|KW^xwR{m8#eeOUiNRnroUV_T%|bNk!Pu8ZJvS#QWR zK=|cJCOq4RH6Z8OjCjX=VPxBQG#-Ff`!}oB?{f0SX!Le;iV2AwMLqdLyTFw};Xq zuG%v4bT}0KU#+WU5+*Ut!>?L>lEx~Y@6wEXwN?e|8VI9a19EC%#YV#ALz3taNRMlG z!JnLi@AC_`u>6&0Konh*T~7KWX1__-!52GY%AdM7QMJF|`Y|-N%JgW#s_E8;EfR9Q z>h>IYGyYl+e$Y(n7A^OMoDEs-R~i)dymZ2K#_`Rh*&8D`2~7jMM#qX|CSmD5s-* zc<)v3cA~@L*FF5c9w%%rZnTQs0i(xm(|ESG1OY0Ke9!PLD2rd z#%#mEe+}Z*{}InwF$zZqS53D^(Xi7sGyNK=BGtACGXpX=`E7pnN_=gABJ#eN<&NZGPtyTGbMO5^$YsE&7Nr9+CMQ=NA%#NVkKf6yr z)C+)zzDLBbcn2z%X+y?%HcVjk+{LZoCW)_ne}cqv4%})#ve><*?;Ul2QtcJwC=>wi zco2ak3`(~qCXf;ltYg$a^OvyANr7|J^MRk3PKz@E#Jm06_gm_{JgzK?LbOvIsd0EV z8ORH#anCT&PxhREAs!DICRPaXMT%HzE5Su3;RsCZH%Nu!TlOZ^_Tp6r7&wD-FhSmC ze{-S{TxAZI5N+>rX)BH~pE*FqhQ&D$Ady{n?%ml&9H+bDzT}*L7<)YZnrFvGc`tivbfO2=bU?FU3p6c)oG0~SI(PrpD>-(ceU@ZV$(-s7A+nuyETtc z`jWj4273t_^;yNeSAYX`VCXTs`V5M1A@p6Z+{I5G5w-Qf)?W|nzll9e!4bBYyHilK512~s(t^k{$nx6>v zCO1fiX}XkeV-}XEZYYLOu{gNXUa8JdgFkN0H@_1h^6o!qPjd!b!FVBoe^f2`hR+qn zM!@R$}z zSb&&?Bj9UkZ8K&dhj& z?q@>uiCnErPasHD$Kp;j>jjsfr`UR|st9q+Kw6xv2mj|R$%KMJBzgb?!R;j~67F(X zKxE7H^KW~&l_toiReol3>wj+06A|Oze0}(&RIUuN!lw*m19%w~jYi!wIILTwh^fTt z^HNxDrewEKP5RC3SO~a|tlW8v#WU@8fSq&`Ffc|!vF6(_!xj{mhQ`a&e)2qD5=W`YD3vOa%lgWs~oz*QUFCFLqN%AE^Go#@ z)y-Tf4t3aYB)wnd57?FBrdIAJYQqMY`irw>pch2C|8lvFc!n1BkE>2Lk}pS)K7U3E zAO9!J0Jyl023?GaDm;-aC>oo0)4HPk05|Vj&AVDMTxg@G(@adH zR|-Z)T~2M{gjVpU(SL>-hEUmK?a4P)1!BRF0tRdJ&Dfue{aGvkvK6M}YS!}2JZDW1 zpHjrO@yP_TZ=uvoaMyaMywSf^p&VMo(83`|_FX?TI{Y|$|BTJwnBFaZ#;feyb5tru zEhenE=!9HOjoSTbIy`Jf&jt@dC#7Tz@&DF~VriF`xu;~aLw^gJkxdw!jq?3my6-by z7hv5DVtJDtb3O8Szam^}4qb)NH=ULDt3k++SY5fV5|T?r4kc=VX0vx`gBOkqrUH&S z2Ihl`lc*z*C{P_K)ulX*74qu2;j%@|03F#!Z3u+8KzZd(4VOLqVV?9DL}_NHWOn}%>=J?6Ld|Nfb=p)|sWJ#;n3Q0CW^r)9LH75MAf z%9NqQf=K`g7llF3p3Xrav~-+-^>-4p+2DBiSQY&+<$t4lf2o+jS(sw8RW3q&qw>46 z?h2*kfpk_oa{|GN+k#+i0Ib}}fvX^@w1@xRVG%~{b%V7@%>dsvL)y=EL<-@uAtk0Q z4EQRL85))owVZ)%1ietn;39d;2$H8dB!H%xP^=JmY56B|wxhq0I8i$9*}ynO$JOml z!R;@!=6?eDtk}yRT?-^ezjck1mtJPNc?&KMy7&RAY1AO88y+mwYmJ@kNPQ79-*rc2 z-=Y_+g8rQF9s4s^t_8YzEb)Q0{@H;h@Niv(;~H#BUNGUHvW7ivfd`l6e`jG&_JI0JOvnO6;hgvoim!wPevc%O^sCU(?Yz7?lArLmXCKHWP?LhHp=@+O~VkAT2{%A z;D6NTWda;K?QOTu8mf?v1K}8jVUR5(i&U|AOFfqOs=Dwe{1=-XK{{tN1nak^R^mi( z2qegY2>0P>+kHv+fk24B<<8#^Oc7r>N5A?lL7h|D$CHK`=V1&C7B_F}qkSQx_T8`x zSVj=ZLYFVS75jJ@`08kBcN#DJsb}xb6@SM|3mpMcOPY%E+-=>dWk}zC(m&u^T3Ed~ zj0&6&W0EO`B284K%YlDF6qAr68*&T|bjGZq7WD1b?;O7lz*fo^-WV}P(S@pe3P9(RKC*gLbo`&IuRcTc7Y*aRzJDJK7Vrb z42PMGsau?~Y^!l-?gTMq>4E{?Vppn3{k+2v+hy>m zx5l!6Fy4Se;i*Q}pZMOX{%&U~8Lopwx6qHy)I zn&CGt720<4A27bA>&YZ;VnxX&DOR{Qpf3UwT??L_29AB1!Z`Eg5>;Xdk$S~9_j|TiKU1S zx<_Y33#KB$77qgnic7LkBKUhufq|_B&VdusT1PXij++W6v}vrV20(y_N!@UEzLXB8 z(`V0<>)_%ATWJ0A2uFos6@Ph4rVFEJDSAdx7TrCStI#`H183GNQ$&;v9BlqCXXt{C zG7I@1IqI#2`I~oQ1&xinC+(v@tq7t&|Mza~E|67Z+^4v@PeZ1FQrtC(Tr$DR>s}5+ zoCd;%#>D{g=rSQ3f{8m{!a7lS(qx_<7PfObAQ^wT?>~}GE3+nck zqZ$rUmm!}ng@0v>R!+FXRM=Hq#dQvwSMN-7q>`I!OWUpOFB&#uvP!6;pKe4F5Iw!^ zsIVNbVH30y`~$5tzkeRc6UYa6v7_tepQuzG$mIM-_IPcbn&{a-#!cOlCx{?tLD?4T zq22rUFp>*cTdi31f4HB4s!|Plu35zpLexL$Jsr*jbsl-Hb`^}-aTz|_2%A(IcB+1> z?t2XOzOqxm0qeuMOLyfeimVoJwwtZv9H5StAGZGBL5a>!*?&{W^Z3Xjv(qnqrc{Rm zvwn*}!0a4&-zbLsxtYN>t7*ZiLp6ioAQ>(aPr0!q3F)Vf*$auKCddV7p5kKvKV-aP zlP1u%tXtJ(qsz8!+eVlDmTlX%ZQHhO+qQkzjo2qntbKmK_&PIZMm|}g1Ik?cTs(^j z%3~2>OMFh#jem`u#Di6yXg47J*JV3s)SaROwFrpqr_V0iieJD%h*ZTKdAJ+=r<;$Q zK=^ipqTouFFn8T(=@a;b2nGl{wJ}f9Is~bcFP=6fROQV^3+?vyCM(xC^su-I^?OYg z@!#+VtGH>BirN^@4{!@)v)eVVWy_%c&xy;qy0Tv-8-Ms5)g}`K=z%YOkv>(X#Jmz{ zqN&=q;67O_ziVKQzBAY7eji9FYnnNmG>mEC5+})h6%Ah}C{vfPKw6|r=FbVIrKz2Z$Y_TK@Eddjg`GDVlHA{r zSbaxurhhe_3udlfi@Uab48Dcq<3n!(PqbK+Tdm1s(ZqSI3+C!1X7#@ZFR|dMpI}o# z4|G8$4lLe+DTO_Fsd5N^)LhV6BotxS@#O8W-~L7O zM@&=5h9LL>ZiI-3YF}q7b(wg*czCv+B{wZ)t7pjbo`>AGD1ohe?|y;iFd3mS zk$-9!bXa^L_S`N;^WlMdC=)u1X`&Od(0usgXyb2GQqehx34`xcFIzZ{dhW$gaGI3;5khimicoXG!BC434&Eyw6yAG>i1wjd zT%qE`F#-4?J}<51PyuS_i-G1jJgOZ}`-tFzcwmdAE;Gh{>am9!4_rxCMAg{%+5@ z<=e~hXT{Cu=hmx+Obnfkfh7Und zv2a#zjF4cClM9wM1H&YlvJG$RDRXbgZ809C=B3|(Y7p4|vVUkhadSLM0r3R) zm<=paA47S+r8+K+Q5~*v&xBA-ZKMF4nNAzj%={|VSngaGWnUWp6py0b${x+ z+Scu*u!=QB7rfA6%3Zi(JXbP%e2C@#CXNeNln9OEottuf_E9z@7e6$Lthv8PQ{5?v(0^S0@?1WS=PfW~T;u4h`qQb99LMY_fjH>hY0J~r^}H~X$S{-tOjaA)nDD&G zbCnmRd)1dr6(z%Z9$IV^H%U8m=}@A}tk^w;3ely89~u+#eaOOpr=cX;uQP6CO=nZ) zt9Lz)8TWfJB(vYfke~L9W4o0YyjFgLF7Br}5r1^L`cu49V@gfWNLT162F{Fj0s<^_ zPITE$a#lnD5=gI=JmAG+v6?j>!R(@4=`40~VpI}pljM5(^E1-C{K@}Dj9T}#7w;Wb zaQi!80T$Fxm-(?x6Bpe5(u?s50qjci{P*8a!W9(S2`6}~yW%K*f(x2%tlJjnQV9z| z9e-zBk-0C#u3uU&rav0nF#-P2rUl9jP7KLbO)LWyPW&M_3U@GPSx1OV=B0rNz*mgo zRg=L|PCLybVvHfKuD2=oUd@B}=zC~WU5-Qk3rn@{NaXK2(>TLVIyT<;^Ed4J`E`-y z`x!8b#ZUkPl;V7~N{{KhXer^bLk4+pB!9t{l1ZM3epX<7{vM7o{wLMuA@(AI%SCt* z>utZ2EOy0PSG{~K09gE1I&1b_vB3)YEahoQOz$}D!JP9{Ogo*Ky-)ssN~zQ|V-3Z7u46zS|6;7o<)%5!s1bQG%* zd(vcR7#LV>!}X^jv`&Lm@f`VU3G9y>DlXAjL>>ZJ?uLIWkdVX(*@<9EbHYu^weI%K z;?Zsvt}eGn^5)wY*^ga7KV zrb|Qvj*`-nR~(iNwzUy}3xBh87ZoVU2KZ+(R|bY9Gg)sgZv;=T&hhID8Qc=5Z8o(L zcT%KcY?Fk9439_q>2VgLZbMXs$!|YQAo5n%tLH9%`N&;F8(dDa;2v10o#yK98a0$I zyU#HK+x$Yn6VkxyWAzj$fcCIqebe=>+)#bB$J*cNKKp-XlIxJ*=gFTF;FGHLthYzrV>D0 zXX7)yXGSkfpOwd)Lm6Mfr&$?co@5?y{7I%B8J73mbA!@m%=`>J*aIE3U{<)-zgfi) zZokkZjNLQtfov`m@qd&gFjS{Yt3a53{yu6N^PmHWZ8gYaBx=9J9kRm&+)(P|3zZ9g={wL-0CM4Z$fwbh-<2}GDk z_)N+JJv+%z@06{hHEX9Dfvr?6K}l7z4Ph2;Ux*oI=dNVN*G}ZPY~~u#BG#j;tl33@ zKBkZ3-?%V+s(&nDEPeM-roo0x?=*MPQDNgF(V{*u?L`MzZ4<+cmNzu2OSIGWIUzbV z){f%}C{6$kZ8}2}9<}O_?c_v0iZ>Wfr@WIYO$RxwM79*0I{PqwGW93rhlX%SVMA>M z&Lhw@i6!7@-vLrIn1c5=o|OW@Qsv7IJ_CRsu3Vbd9DmGa8K76UwrGv2SR=&KQ}hg0 zx^wfy<`6CypDn`Xc$Z6&Fuf$1GC*_hw$=~zeTuE<;0|-@@uhm>J6W)LF5A6UnHcAA ze?{YL$nnpNOIb5UQlcvR%kmLmjzGQWbHhC}he zOeO6R?SK4+51{o{uC~|2rp}GchzSFf86t`k6&3j=qB&u_wFsJBu!nr*m3?3=DhV|S zqjU%d`0JG_+Gc$)5G6Io`de;!3)>*g$^SI7Ywl$_EZZ0EE2o<#PPP-`Udu($%~mX* zZ|u^fW>t&wL?CiNg_hY7jrxn*=-Bm$ZI6CEl7F&Vfaw=fWSS+vwZQH^PfoCTWbiXI zBwbUkJiHPz>b{weQa?zO$}Cd!ea-swF;$Fd+SA~Qn-g_+H4{dj1}SeV=nS6TMfqnU zr+yI>V+y!3=6SN~~rE+6Sm>53EcGk}HBtAs)wBx1Ep6MqmS@i`A=MMATEIRB`#|mfi=jfuZct>jLEz$*2!raDg6pQ$OXeFKesYiW9 zbGT!76OOs)PQK^LxI|Ck5U=%_1DO?Ny3jUoAS96{$U$wl9mua^rpngwEr<--|ec5mcGn%1Loz_7a4R=>i4j2G^Nr$tQvIu zhVwxxNhJz}j@ojA5$@kc914k$TPmt0T|}=pUls#-tG;K3hG%}}U);We(?+9HaLVHfiW>#L5Gm|B$g>588msUB2M8E!XBzd5D&9*KuSU` z_=Ylda$(^uO10s?KN4XAA#Z%<%)4BKgr{q6@k<<0#|VPnSV^rn4ylW~#%EHfAgG{C zykFLlO2K-d-|i!kf10u+S}aFIB7bCB4Qg-ucBx9$1`LrJyG#sS7Alv23bTFp6k{hj z-tA%hNes~(jBZPM8BS(M6w*u2$OnNh4DoIBQu>hV zMW~i}6MP)!3D8n?<&T-*^@34_Kv~U3@CbiqYyD2q)?uncv?y_9C@iX&S$`alyuiM# zi}p|{kX3!kpbt+(Q7gBEBhvlrQGyvBm{)EPdx)pbRy{`{ga=`sb2fAV;Gb?t0LVn- zN_fC&C-K*|gR?DoHF0X%l}ryD z;qo(z=Yi)3=}P=g!8jSgNq?gP24N|XM6@GX4TXgx7`CP}Y1)rNKA5d{~TOp|igag50=5>SO2Yu!Ua7j!O zC!sB*X1j!B_;xhZK>4Wk?j3muzwQ-!eyTVsJXnRx))aQ53N*u65P$SA59L*&?go=x zK8R6x>Y1rJ6(+JJ7t-EMb%~KW7H;54=ys)MEO}t}nNsnzgxD#-OHOf-KY^ipAnu^4 zza3ePHve?i&%P$I`{0;R4;^kw{y4fd-L_JD%(Jq#Lf2t-@sGs z46TE|184@h=r?FqM-qLVA#9?LkGR*&QPBMrT0g zwDfHFBPANy&!(#eGHB8((7KQ5b3PQQe~lcaN>pT|(Wv^4MqSom|ChQ~$^%8oq2Wy5 ziI5|W<}3tXfq$j&HxSXE90<_TQr8jWIT*!Oxr@22vo5;) zn>*a?K0iY-$L=F{I5jV^%D!l%sx@xmUmAOHbz+1CVt-dVKB~P#)ye~Bh0aUQPEv@# z+&PQ0*Xwl^dmS3%W8OKLi{*^F4Np}?3~+n=alqc#y7Huo$Dw1 z*ZC^!W*one#1l*A#icJ73cu!{j>+oXU`J^d_SqD`O~@b|$fK!jdt1rlrH}mVo zrR-9V8MH}P&L=U~_d92}e&6*a=~h-df3(L@Cx1tZDc)G9URplnf8_;x!u-L`3BnJe znE6t{#o2V_I94~&wEXEGst2M;jH!bl&mYvJkv%Xz2cQ#*uP?XV&;(@!?fEYtn|!_+`0dzF>O9(U2W~lnqjY^g2j=&mR2rw7G>2t%(4l7hyeHpeewWyq>7E0^CYs=ND0;hyluzy=I zKGM*7@>>LB~olqMu@ZkApxsU_IxL^*MvHL0%syHH96MdsK7j$$9QAR{i1)eU(O2 zdVd0e7oO5H@xaO~t&UP3V!jTF=6?r1q=XJEzviAp{UVh__&@vLb6In|VtPhUbX^)^ zO@@Vc{Q|Fnpd=fP|Hw6ZM@?SX*s_UD+t&0I?aF!NjuSA_l>b+Rn9@?)NA3YomUE-+ z%g5-q2?}n2o@hU+*ygoENUNn^ zUmXu$^Tb05Ffd!>G3OEb35}Z43))&I(^y+BMoSwW{7+1NS@K(U1b+MD4IxUb(ZWZM=@L#W=CWR{hKmk;MgPi7J4 zjA3#VwVxL+YefBeLI!|zaWJlxjU_HF<{u`Ys{52>pXlvhhkezvMMXHqGqkWfU7nis z8i}{-v&y~#mUC04TsjFGNvLJLIR%OUj)xX1v>JX+HF?3nrON}k0e={t=D75@s2Ijb zn{JnERxkI$g<>g}-U4S|vU0$_=t3HdogIibxB?AVdDGYK-)z*#tb)h={09YTQq+K54h>Y1ycB8MG-Nu+iy{5;xs2`T2O9 zJX{)mVD_<9Bi;mMI{4+1TpG#0zG?>HJ_w;X)aNo5q&FG*jdr{3tTcOnPOD&lU$#Bf z{F>!DjsldN0&8V`5Bv9MIM6tR7d+yeEoSDuGmwRt&XSy|y?@JP*_e!j@#8uX7})Xe zxeSlPxSwL~7f)d;z`xLY;g~ux9}OgLzG)4FUvbjFE0Lj_acHv+z!haA_E0&kjL11q zOZ(0o(^z=D{J$~2zVa1T-EbC;gW3&L0jB`U=rJ(vujsZUJWz1PNZ$*Tm7Z#{LG^jz;ENq*Cc<<|Rw(UM9n%uma|kUhpkCLVvD2)8i!2_h4Kf zX(Y2pI&OF>uvwH9Ojm_4l0^y!g4I=;-D{d)E$V?IyU7qVG7Kv?Ygm^F5aAh_D8w*9N8_)lK83 z4`&9uCYUCrVl?Z)WdudEi9vYc3-dW&U@}mt%|9#hL7i}m)wTY8^vRU_b3TKO!omE6 z=?3U}u((q9ET+#4rHeCB{F}_7&2%{9YBjdu;aqZci`v}`aOEE!JV1e|J2K3#g3Bj< zf|*jphJQc5kDc;oco>r_vX_cF*+U~{td#xX7gIW`1BR(fp6`qrOAN45KtJ#hK}FAhKEqqd$r;pp<7ITMI}w6F&uTrvhlLxqo>SK33!5|rLoYH3;PTaC zARNWJrw(ISkXSYvTSTp?zoG!!AJ(TsC+zc ztrPvBOp3T4TLJ5;S!7O#hcE5R(f2@tnrKJlTzV6i>8(^x>!MVsv*v%PUR&|lEB)XZ zuV-KRXFQdWVAm1+<>q9BmTE|`f46D=A(qK*%(=868RR-fLU%KV#Bnu{xBiefb}sB* zuz#?b28*G?SavcctX&heph)n`C@H}-k-+Vh6-Czlg_N)KiaXR`9j5H@wfe=U1-m=* zW%dmjDG)r#Fp(W*D;)4((sHo{4hd7B;4E|d@Tb^RTLj&FJvO6XPe_8L1IPMF<(ldK zPQfdn2C^XU(pg`Cfu(^uT>M*4DZu4ULw}z(GL_P{BYu~wN~L>fWney$DSDQ@oYMl* zpMkFjLVxwqDguGm^ylgXEPpPEYT|A*iaP)H=&0WK3RwDJ)gOjpwoC@H_g5Im!mF{y zt@KZd{g;b}NvHJfgS>u%tg?qRor)F6eqW!tW@Xz8rQ=V3^8z`V^#l&8f1pkikAJIw z)+JTmE-ggUAPD>F3~TW?&wRU$H?$zcwvH9l!@Xrd{fr!Vgwhdse^5_WrMh>~J z(7w19b6omM-Yh~M;~pF~%ufp2V0&kfVuejCYc}+b0xrlPM2RrmW$J46h<~OjgvUWW z;(}BT80wNzUi1*`J@~&{fIHT<|Rp>SdQBk@SB=)1!a{QkQe{vumg-dtzuncV!mg1UAK$1 zg*5$f^&GlJf@AT`&`H(+yMM6w7`vdVp~Gm68JOYDSd5$$i{p2o+_$iI^%vaHrPGC; zg5ueoz1m_B>q3SII~X7$n>b0MypPTF%@7F0p zqes01c(twRY!$R#Ncv39t~|yw(oQ&z@U#YVqKl*qsD{$c{u@LWju^G>F0xlE3tLYo z45_tg3FWF=a5LGTm8DmXwLd6ax~j_}eLjX0I)uF{LA5*@*e|w_{9-%{06F`#XBo3jX|> z!Y+X(TQKG)Vp})n+vM#LemSMX<&2nki_7v`#}j{5TwfWpAXrVGW6L_sX-+R0r)h@v zKiVRw2I0r5*KO~93KCU?_s&BBzuXcTOszMce@Q1mAZcJ7&42HdK==d_zPybBqNa#A zNP+Gx|M>?i>k32toBdAUib>3Cfy9F>Yt+QepIp2I1Q()347w!cCL|CSjYF=DO$$pD zV*M4eHGMe6sE3Q$my}!7 zi}NOS)_>$SMjttaA8}kcv&P`=^U~opEOuM-vWVLbNd@k;B+LUkWF;>8dZaB$``}g4 z&cls7D2Qa^m**V^-QNFr*2h)5lt1B(^r6%KCCFqkk041?Er&bv|2JA=rQ|9AY0rby zZlA(8=jsI+0@{x6mTALx$mDPXF{+KM#-a`vkJbd=4@n0JsEd)zkk~RVQpT+V(rz;P(*$0U5_QmmdQI%!Q32$ zY%2BrQr*3BpGtB*V5md(@XxRzAI0H>Wx71l`fo5S=(uP98JYHMexpB)`+IW?fJB9& z!J6qEi=%l6C23;?@nXj<1%zNR7mmpUHV1K;53zVzk?!w%eSm`!hh3!3V`g`gBY&$! zKazUY!Wj35OM&$vme5=0K{)@@jq0X!g#U9vK{dy16jrwaw`Ytcl#XakeR+aFj&X0l zP3@uN;2rHwnPBD{aSr4hj@iMx=HC(_zBvl*P4eWL>QPDf;Glx14M(w8Yx>Bth<%bh zqWsSGbO+jW7*c}wie@sJbY>fqa(@9^zMQH^=9}&2c$WaG5RG;D{G}T2`<7eJ?h=qB z3qs27rZ>4eW)c{-lJ6DC3xMdan~+i12<)DiMULA(^@ZFuXk&V&zpR3BRO`j6(E`}p z`jOm8TW}-3LHAl$P7q8GIpufzK`8IAXo@c*CPLcyKO__hm<`}`gZ)c*E`O(CUT>kD z)7OYd08Y5>PYMnoU3b(IDAeyCmD?z)nVSYq@S>-I)*bQ+14Yg$W2-c^si-kErkG$H^H z5*V=IoUHRMzp{LtXWUt5z^GO|m7Y!7l{I)(8~18*LyLhe&5Z1mv45_v`6xKHytxx_ zhPA|Bs`C%11?@5ZN)Nw2d%abOX2OK#%cx84r?eWeEY`T5Z*4q*EQ27Zbjm0^>QAb;g+08Q^dFU#NV{;+825&xs{iBRX=Gte zAC@h0%c$@b!d2fg>}d9|wjyfF3g%i|IJVo^rPmjXGcj5udF+cne~4 zV&sv7Y0G9yzWw`)HK7RSyJ(?KF;|vk9*$h%kd5@1a@Y?WkOa_|gW5yIb_fYrcxk~6 z%q70!=G)purEiI|klD{s5NGb~G~Z@OQ*wRn%aX)FsLljVEX#vZ^pBM|2~-iNu_0)n{Ko(XPF~LJ>&cl$x;@zN z%Pk+a^K>}E4dS(1T;0I};;`a7mx?~Jn@$=ul)gOh>VKaudmBY9Oqk(p)cgSbVwGa4`B z^6Q@wu9)=2q~H>Swm1LOlA2<1E+{pXBoJG(4CnN-M-Q=s#?LZ;}C37m(5G)&$aOi=A6360^%k_a4-E7D3 znC&tm3%I-#<8gGn7I4y6fIOtJ1j|3fLl`lV7WsafHmst@SeDo=-LN9Uf**m`;+O0~ zy?q(hcLt-ucv?OlMSR)`2lIZNg?~$^u4G&JiZFmAr^l>_bsQs5aK!Cl_mR(AC8_A8 zAbuEA);L zjgnNiwfEAQ6qTVdhRndLow-_xa8+(2^+vyP9R_%p0Sxjw-GUUK2y47lx+)WHa z8a%Hd>>O;a@%Z!ETUyTk^M9qRt+aGAs+6Bx%OiI<1oqbGIFR`HB<9MSi~&H}`BlwS z@FNbcf~uTl>(o+kZ?v~MnKSP1os%uD+bT*#%jw!MivdB86;@|s5S%VkI{3v2$j)Jg zxkzeLEYQ{>wD~EQjUtE7Y(NK%?~as*rMQx`|KT58i0DF4;W(ismVYac{|>9hH=isx zKq09Mu`)kWjgnsN$YYIE7w*Pc-ot?J&GW{g>u%wd)&Jy_{aIhuyVe#Ufb@g2*Em|1!_v~Z zmxr19e$LeX_KoMnlz)I;q=17hfYIV;K`4;hltKr-9@sxjCV*YJe_T~&KG(&NUOB1i zxZQtM@`_%=lg4TKs@dG*!VviewUX=xAH-5TiAxG!`tIno`c#14z;;mp^T!I^sw*W} zfA3ok>TJjfgmS+#J%(v9qVRfRDB$|4H@1$U4>+NRM$)S3_J8!1t=NZ)6%Pnf=5Jrb zUtk)`ND#BZG+)%7dRQJrYPmieP$$zUyh?tOSB^*fQqMa0458g{8|m-B0h$H{Q$9{B zqq;;7B-Aa;D1sQ{nDc%fLxp>(1gM<|S&g71IW3o|ZXWA)MzJfGVxonxtOw$x0(t+x z+Szf2eNQ6T-+yWmJ2rNjinr2E-Q?hTR<&ySnp3#3xge&{Hv(5xmxNCxdu zV4v60A&QXx%We!Fi1VG)R=Ag%NQLYarQg+uzcglS*YFW*3rv{*w&LH=13^mogUaAb zHKD6Q!S^E`aY)Kz=%JVxY16%Rx}S%e1F7ZZR*B_H`U>27*sloVl)Z5 z(wt~)d8i&k&4si+6p#xi!?=>BJ1v`^&~9{ivB5=`3&V+ymwPjUaIRovpQE1=0`W3Y zOu3pNjncxihR-0lFt-E7z{Mxf)h0F4r*y^IBRI&zccYx_Hzker-iBgRfZ6GF;FDLs z-?1Bg=x>?w|-NO!XXV3f9~s zu)$ZD!wWavuRM>BYi#5mlz2f6Yv`P2njN_I!WKc(LLU(KLd*k6qPic!(JK71qSr}~ zPv#%z-GJRlKQYfR58Ntbeamo=O6*#fy_HAs#zwRj9@idq5X` zA#LCyPTq2oR6<}rM-$S+o^b5(Kno1#09k z8Ks*fMh+hR%>(Bj9xG{0?K3LF^F7na!%2VN+sGWLeCy`Ke3|FvDGM?*(5-4I8iK)! z4S!^~iZNX%VOd67TE)#&L+)Qx-CvGBq4uB3G+Z}spq<@~X_Y!Mlc)p$eySGSA+8>%sb;00OA42REpAqB>0?JHaBJOg|&T5e;3*#5SLaEOJB!Ud6Wq