From 1edb6a6e9e94902ce813fbf7306a7f711994cb85 Mon Sep 17 00:00:00 2001 From: Alan Jeffrey Date: Mon, 9 Oct 2023 11:27:41 -0500 Subject: [PATCH] Tidying up --- papers/incorrectness24/bibliography.bib | 20 +++++++++----------- papers/incorrectness24/incorrectness24.pdf | Bin 406453 -> 405960 bytes papers/incorrectness24/incorrectness24.tex | 18 +++++++++--------- 3 files changed, 18 insertions(+), 20 deletions(-) diff --git a/papers/incorrectness24/bibliography.bib b/papers/incorrectness24/bibliography.bib index 2c1cc4ca..a5724f6b 100644 --- a/papers/incorrectness24/bibliography.bib +++ b/papers/incorrectness24/bibliography.bib @@ -69,7 +69,7 @@ pages = {1–44}, } @inproceedings{SuccessTyping, - author = {Lindahl, Tobias and Sagonas, Konstantinos}, + author = {Lindahl, T. and Sagonas, K.}, title = {Practical Type Inference Based on Success Typings}, year = {2006}, booktitle = {Proc. Int. Conf. Principles and Practice of Declarative Programming}, @@ -77,7 +77,7 @@ pages = {1–44}, } @InProceedings{Dialyzer, -author="Lindahl, Tobias and Sagonas, Konstantinos", +author="Lindahl, T. and Sagonas, K.", title="Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story", booktitle="Proc. Asian Symp. Programming Languages and Systems", year="2004", @@ -85,18 +85,16 @@ pages="91--106", } @Misc{NewNonStrictRFC, - author = {Alan Jeffrey}, - title = {{RFC} For Newv Non-strict Mode}, + author = {A. S. A. Jeffrey}, + title = {{RFC} For New Non-strict Mode}, howpublished = {Luau Request For Comment}, year = {2023}, note = {\url{https://github.com/Roblox/luau/pull/1037}}, } @Inbook{Nielson1999, -author="Nielson, Flemming -and Nielson, Hanne Riis", -editor="Olderog, Ernst-R{\"u}diger -and Steffen, Bernhard", +author="Nielson, F. +and Nielson, H. R.", title="Type and Effect Systems", bookTitle="Correct System Design: Recent Insights and Advances", year="1999", @@ -106,14 +104,14 @@ isbn="978-3-540-48092-1", } @Misc{DesignElixir, - author = {Giuseppe Castagna and Guillaume Duboc and Jos\'e Valim}, - title = {The Design Principles of the Elixir Type System}, + author = {G. Castagna and G. Duboc and J. Valim}, + title = {The Design Principles of the {Elixir} Type System}, year = {2023}, note = {\url{https://doi.org/10.48550/arXiv.2306.06391}}, } @article{BidirectionalTyping, -author = {Dunfield, Jana and Krishnaswami, Neel}, +author = {Dunfield, J. and Krishnaswami, N.}, title = {Bidirectional Typing}, year = {2022}, volume = {54}, diff --git a/papers/incorrectness24/incorrectness24.pdf b/papers/incorrectness24/incorrectness24.pdf index bea6504e4f3daa2ea0fcf3c97a1671e440cb9d6f..10d7fc78fcf5e01330f28094b323801e8177532e 100644 GIT binary patch delta 53158 zcmZ5{Lv)}Gux#v1Y}>YN+vdb}^2MImwv&lDv2EMVgcB$4zjycU>0Na%x>wz&tE%M` zd+ZRqz6utUE&UD~lm^h%N#1Nn33&dkd`zLb3_~KEK%6@f(xl_~XMNg4DM|MFEr?8o zYy_2Oaxi(_D8ENIIOWLhSOUzM6W8BwTe#UrU!vO4P$K4gcenR#S}*r3HA+1z%iJB% z<|)4?*Xy8Gp=7Ck|GbEJ`lS4|Iz3XGALEf+`@C&wn`CXU^Z|T7ciM*g%o6ny`7rt| z=j1C|7~QXaj+|Vkmrt+MmYxjCt)`z&kG?x5LUk=@4s&vdhiFtPXz8I<>$AarZ<)_` z{uH`f^K85~O3XPy0VWkIY)YVF#nBc`LKbpi!A<4>gn%+#fC)P{ZdIg?4D)Tf$|0x zlK(D$PQvZ??a>HLdiet*5kJo^mRE+u_SQIPZ{onN5b&peAM0Sa5u@JO)~y8LUgeb9 zsc}D|&JmtFi;mqELxM*hv-S}VH;G(B2Z7W%+?gDLQ}6q3nv&!4{n_z$vDPHOf0SVs zFO9Rp-=+b;a?k(6 z!>o2fADD1uS~el2!%zKr{OCta5DaQ^<6-}#yd3|rjV7SX{liMI-^(9_k;{JcX*%c| z{+x)qT*p%$F;zmKp2`8N!#r4FNb*<`8=~l)8$G^AYgU7aRmS%031te@)=sC18nLL^ zH|2Jg`n){+965E1vNKFd^P&=OEvy#3IG%Bi#)Dm4&#L0vSJk8pU>C+At@i{ zUjn=t0BFmC(Tx3VL?6rvhRt@lN`aBJaP^qEkcAQe~soAroGUml|VfBLc&Ax?6wW zFuX%g^Zz6%vWeI3SS?=_a+x_T9@(6Yd@sJXmZ4o_9N`q)3Z_)mX0 zK+Siskg7J2HJ=Tgmi!ap2%Y-!z!_;#+Ehb0dO9^KOv!yOF#?(GkIv1QRNfOU`BYdtf2 zwJ^K)5cls=i|0j;p=r(2>_PMzEWp6V5h0wy zRnd+$HaZzSNGIA<_!uN({~2QHVCe4Lj3Zxgxx1QbRUlWdz9!04dD*S!Uzg8nv+4L; zz;X#J_tWoR{?ly9+Bs>c_*OK5bFt;GJy-GaCT$6`m+&C*OB^hd41EOB8+e7<1_tsdq)udIs-i_ zcidX=!|aeC{4Hqzr^$%8xN1k{^Rgwoen2MzvB|;7wqW%9xn%~Foq%v|dB6}a$rVWU z4(w2IYeagOPBt-9%j{1M5TJg_)QGpIVEHIfHZT?5^f$F|>~2w+Qh5<{kjP@11t~9% zaf}%Y+)UnP)kB9}*MwM5Z0#s8#HMaN!8=?WcG)9mwDMk^1ry2VB1&^dYFRT8#)EaQ zJq&VgY3A0Pg8@dGYVNReO*YGw2h+~&R=4+bQN~0#mty)J^3mi72Ke4~Y%DsPmU=>O z`cKkV{I;idk+t2oQ*znN@rs5ih%ts_4$l2R+WP6%vlNfO!rA+J$yc}T`kUm|dF{(A zMI6uGsq^x7<_JVx73nX`c%E?EUT6Z?M+C8z(SB?gyS#(aDGDf8U_L|JG(Ni>{K{%H z9~4-uKzzU#+1iUt0w75;=V6*PZpsP@D(Ml}uSiu;b;x7{ue-!L;YxVCebHI00gu37 zE(||9y8%lC&3pKOvGo(*I$ODkPm_wWcf`K)sgiypi?W}Ipa0|8xQzRO>u2H&D0n7cF6@NF(lPS@_gm;oJLL#_RLEj$o^BEXQl0D2zpp({(sD5E&G`gc75;t zZ}C)aeHs3N;seEYSJN=z3LD3J&YguNE|ezpE3BlJnW3}6o8TNCY9)~tn2PDnv;4Pe zFUP0T`kk$`Llh;U=>i^l8r313NkC+oW0 z{FxkC)%``r+t0uhYT+Qjtz6vzBi1vSg$Sh9dIN}+9})$}FfdZDW%n4hRd_z+wBQ*I zpg6};0;Bqr>fh|>RQzr~!3yS9R&N8L%u*>iZy}7uW)_&;c&YCfUY!cV z7vNcgQc)k2UYTNS?(LJiYPOIwq{WGjcDU>~0rG_|8BZ7anF#dx$0?nwP3q^X&%XnF zFlOLT@)eSoZ$2&};^%FUp2qU9UmoPUXZ8$9F?0|J6|0ece{tdwm>4pT&I@&`V&x5(3**+zd_wH?_FSnJVrM>Ozr-xthI*Jt4KmK!^P{fvS>ZaQO=!H+sk6TmS(p3)9TG)%WC=P|1}l2+e12Dov%{7AoYIg{HKwql<*+XYMJ$swbkCkb4;_5#DC01Tqa3 zY6@&MP6__{9EMQC`w*Dbe}wge?km{3urx>J}$QS@ARZ z8&+%158MzKYFFe$oDK`o18%T!>PmObt!OYQ=wPDR9GSgp9|sN;iXarDI4EYLh4es= zcRJd2A5k-|KqskS#4@p1;6$_4DN4wW+Wl(1f!lx()Q?G*Mmn&6@Y%w-^N`h`_XUH; z!apXFGYrW8fL&P8)TVmeC(xbu4piJt%34n&C@ZeI!G=OOZS1?fnK_+(78Di!K@JLi zb$#)_#7 ztJ=mEAGJbuVXm_)+sgA?DJp20Qc|p(Lmbvas_=YqfkWDC%u6=tab0=j=#4rsDdi-F z-1DC(u^W$2=P~6N4bkwbv4E`V{EqkJ-$%dL@6_;LBn_;N{uA-iIgE{eDAV>OrjcV9 zQ1%$5vw(GqA|R3pAkHwRjiFiSbN+ooVWN%Yhw01wY{5!H3bcw~DRW1qK_l~C8nPsl z4+C7txzs_CvlhNct=;HGjHYn~MhWMf^1w!3!JzDVfJ%i7J*qFDm;pDwg@g1Ou~MJ4c1B`RZq z>Wo->y$|W*#4j0jky04LiX7iq{2}JU1qa=BA&(H*JDk_k#labykx!$-;jOg>jVawr zAa!j`H#ep;=0=T6? zvXZe@9{klvQ%5g|wG3-#@13j&v)8?|cLz3-jHgBG0uoaSe+za-2g0;A?CDQEM_sx# z?j*Z{3+#d|-2bcQJLl22Al@zybWo=1fHO$;x@^$3<_h81pb#l&0bS7E+oc$T_;Iv!5QL8xTPPH zqi`*|WLZolNF&n{nmD~YBbglpyU?O2rX7;BJoy<-2K`wE^J<|PXi$P`F0fg%7=ay1 zZsv0XTyg9gT&+s5mtGpP~_K_1fAD(^G++;gjzuLi}RP))hV{!c$G;>A;AN9_re)y$?g0Ds~RSLoKbHsC~)}_$ex@S8bQ}`8Q?BbWkSi zwRCPg`a)szE(&!3S>&I6*{?+41na+BP=!n)Qk(lZND5&Lx-Uq_PM%(eWCx)Brak?1 z2Ym^XWCAZ#9JWlgGdZ(dMQhV2?N zZoPEkVyze&D%g~fMe0@}2Azt7ugKy4%qGMXguib=s(S^wubLk&#p+s7YD zx_sRjv7CZ5oG>3e(PirsgStTf-j8vH*}HoktP64?w-Nsxo)x(?Ezfwmn^#qLW632U z+xZLaXfna>$=3ZzO$j4r(1Fl#ZJNvI4=pvl!8i0}UEIDIg@`j+l-9pDRCU)23L?y7PpTOrC!VP|Oaa_!Z+&T{zL z;&(79())gNee!r;{3Pl%cG&Lqoi)j|&^#d>m3WAC2JfxMbAasA83B|*l!ybX2FvC| zF`VJG_*QWiEjA7+FWPjT=KRgG{5$M>Lg_sHr{X3`C**ZX2uubMRtg>ucEcI0J2#>g zDwb#ZPo>!G)Zt3UTf(CdLk#Hng>3bCClTt-=Vp{FHg8 zJwRy3p-qE&1MoQ%W_|$MYXEUbW0v}v^A#m;OjNLD)VuKt=ETWN`}718sMFHym(-tm zw`s{mc4vy5z^Ja7qA0veP)*i+>@t6-b91(H0i^}6YC{dv*r>$h1#)d5kzNi}W>*M_ zn>dw!9g6gcw`{FHyA1c(=?X97p=fEX-Hc+cieJ+Z0CWin^7_@~57-pG;!3)S`hcyS zQ1%h0`1SU}d4h}3W>AoCq5FnSWWycgeE>b1?fs@cptIv{x!7|RAUD1Tq zL4E`7P8x>})vPj!79=XJizC&sx|cgN_&!|>SbR1|vD)t($~-=N@(ojOuf{s12_46_ z^InjVMDuYh6u}@QE*!g1StcoNI>p~W$WD|CD4yUqBYY4z!1Ru7zcnxHnbR!2itjfZ zSOjTSAE$*(A>z~OHx#*>@XryGW=D<|4*b^c(0+QwDH$V+Qq`U$HdWsYJ7%e!j1I_HDbN)f7yqB=$uu~$ z*I7M+>RmFEVJ~?Ys=p93+@P*T^@cGE;>_W}3h!DA?oup`MKy-vb+;(0*Brb{L@#l= z(JPOYCqP&{-reI#8wunT_b9_SW?x_caf_A~wIQl3(zPBcpMallwbjs?zshE;tC!74|0C=)HG_6m(hG zHO;cQ)UJ6dEt6~%4f2ozPga`E+7_4ejfzeZj}zlNa7FQl^`d zCUBFDGhHzLA%b!N&N~JW^WS!ZrC=WMI!WgkEBSg+5P~jA1ox z?Oi7spX8yaj`^>>ab2?ZjZ8ft8-EHVh4Mt2Cob5(Kyg{)Zxv4jqwf6JV`L-5Cb21& zWx?WJt+`oDmfWQfd;#h}@+pxcB51)3bPsV$L(>4A)A>SrEldR0D1m^Mc=L1n`5I`Z z`{u^|T~{;wRi6VXX5KTtgi7$T*10|xn-8xsKRdJWq#t#W2MNq6g3c5m=*gWi=2f^T z_`@CG*B&~G`C5QzN5xSq*4cvG+#Cs@d5w>&oo4)CCBSGNEsuC}l0ph(l3~&K z+Jqd!EQRRoU)*nkjf(^%33B}QaQLy^wM$XpBf!F$46C?k8>JBIE<1_hh}G-m4|A9k zn$nAdPJ-Afz^z#%S&}T7G^CQHNfsdVizB3YjDrn%D78ZqEXurYbcO=7n4nk3Mp>)2 z^`t7oeA?_aH&bF%W9%P5mIf8at8rCKs~HMhLy>YANOz>twC8{?nK^8y)jiz=`+qrq zm7b6V-xhleJU$C`o{Ettg-@>{-$P0x*+zb%qaq{JXH{xLgLtn_OHnRgv|paTcJQ|I zP4?_>j3k5dJ)xVpqm;GsXQqB;+8K)+RHyIrOQLWtf!4{6@)=`~`XujF#RXU6e8N#C zpy66$g{qO%mGlFc;SOW`7hYAzQ6RNL=InGK0bxjhMsCw_oO1|vXB#F+HF(7Or#g?3 ztCMqz`+!e1Nzd{;t>%JSlQTiHqk8@B3+<1<0;drit1)d5Spk`^5so>#P~3@ZZW9^t zg|qDrm3#hVC(&dmE72qqVh}IzjkIRlEk)%>(dr?hrAnZFZ?(TtC8q8o`^T<`^6kOQ zUr&J>R)Gy0*4A+mw<2z=O?;j_s-PLRo(NYfXn=J9iLZ7R;i$Z49Ft-Cl0e{(0x!+$ zPwH0!B0*~^UUQ!rn^S;H%gtAEE z+PkIm4!5jOP}5oXcOUZS)A8Z!o%!Q*;qj{=Spdk!>SvAi17EHuIDE}SWtFBzN~|)v zp_*1<$FBBRNt_{nnjO+_X`Z!S+9O$$knY;$`=q-VyB_d1#*2 z{EbgJzBZF%ZM8scyrJF#nk|S?G>BMULyp?b?lm+I9U*1t73Ugf-!0#|B@H@MEnvEx zyD*;Jr=qxs*3Ob}S`GZyoUVl+m=S^Q8pvojUpazPSCzi`uCq&LR50DGI5%A})}6#7 z>CQFy$Bv_zPtpSzC8#J}BF03NqhLAN!-)e(oY?ZyUqLh`)x&46`4@vsKeFE@SCj2! zR0mykg6GG)*|bzNpSxnu=?#84fq?37?yw6Zf}-y`Qt|jX*jWPRxfgDWW6C>ozI5Od;mq zY^nS$$}oK=TK_u=!GfTd-5LXxHo(Obn|8nw)2*SeM{0BgGpFImsrgk}+g5C+%)hH- z#1_hTs5xe=93m#dOaWB&1~8&>M*27KyZd37^tX#m~ ze5x?V*cn$eF^a_fV7ELt5DMR8-`0-@LoZe{XbQf2)%>cdL4pEK7?CHh7KyQ}36hvv z^oJA&1%z1?(SsrPA=Zu{HA5eHh1*M4;*y#cFNc+DS0JG(<79^ccXDtc8)B(UR{{+W z^9?IeHBm%&isEP7HqdYnOWT2C5gVQsy{R=NGr61=J6=xG;6!`L{%FD;_)rnA;~f@z z#}=$+OwaR}|H$2ze5anWf^*7m&z-cz<6MwC-)`po?ks&VfbX;l&$bb(Zj$uOYVx4% zkn7Us9fW>}2XdOjA7S^{LiX&PtCv@|jk!XKa@o(7T3W&aS*a82~ScJfQahb&bEclNOX{QYXTR?=5YrMVyA~;|Jt#0J5q42>%buDm;6#V=*pMo0$F< zngNoGEoHx;V>}erb}A!VO+MEy+xf>iKleRkk-Owi(|%6ljIroe7r@4dD|pjP;5Q zXU%xCKxdMn9wKKV*jPf&lJX%R*T_!R@}r^u>4ET@MZ?QY)Z$)@zA~XbU$5HfL=};;ei42F7 zm~*Akrp0Ebq2n&aws?52@ym@A6vw4TaM0IRiyCsX?dL?{JBouOie2I!qV`w8B zss+$1N*_tA9EE@QHfB@Dh-O~pU6!I!Ar|*~Lsb~%E|AEOhF{mwQ?Kg~K<`l(Cmy)b z0NK-+<^6V>$oUJ2WyCLD3zOqG=*tB2l=ua$@L8PuFeS13paj1cOhu{uT6ZQux9>LRc`-gU(4&l1~4)BSdO1t&6^j6=ZD-MgLnos6{Y6{VyC8Gj5lmcxB&7( zM+siOaQPLN1>0!^-hWz$-Hf469N2IQz~Kk_#+~L<6QZXoq?`NAPdV)46l0nIg4F{o z1x_$FH!h#3V5^q9e1sf0-NR9BzljFKe8IzrdESNO$EGx-oNx5wm4yf@d;bk~`1#kU zcH{uciS{^*R%6b3DNl4FM(vM@(!H3ASMSxDtLpEjvE)N6B5&RagnQ{SCN()WK)D6T z;B2<$R;)Po%YmAyUa{cquboB><9KF5*BN?uzh-4gUwo&zQ=^H{ckhBDTDTfL*FCp% z{J4|Vf?H%Ym4{i-K-cM?$_S>Q#Qku-v|$QTpk=uo`(}s+3#|S{sPt3*^HqaT97Sbx z{1xmwp>V;GvO!^OOJ9ouvI%7yFeyOsnINNC2*sbGU;Rgb8u0i;H}(J*R22ipfd-~P z4ti>dJd}Z7`boncdrYjAjU>>fqOWJ_DtbREm5o?88d3R*QE+u^<*mxXDkCrc|V>A)moVuNMrG4Ey2a3 z59|0>!=1ccChG(*k@cOH@8{p=r5T&{jHWP=g_d>IG#h%QI2DAZlq1Cz038{~0Z}{d zke=6gB)DD4?~hTw?a7I26zWGxnLR7Ii+m1+8}&U)p0$vURlMa?5g0UN|1qb6`#s)u z@cVD?izD?`9tNC+gSo3)`tvvhViS}~u^>7NGXpb^ItvRgD=RNM3j;F;FEev8$}jBX z-B|dhy?7eXAOC+vGFBqn|An*@IsOmSl%1#wO3r1;Wn%GPFmSVSvNEu9n(;7jb6B!6 zn6jAvm$3ZbbQ4N4I06_Od;0DFh^Dsn^^!L^)BaOU%~=v@3RpBaQ-C;Lhg=WgP-Uu* zY_D(Aj%vtxR_o!*na5KP-}UCZf+RptORKjnM>Q$^3F_Yp3IIq%3N?M^2)=hqfB2-Zd;se%2B#xF~+7Wt}bhIkIbB|9oeW& z;|Waw%y&z<{#xpK#Kw}xkI7ww($BXMot<@bz}>^M)nCS5U(pZtO|mJCi>Pt=8JC>u z#LN^I)uqm@132eoIw7kBjJqVqWW@a=)HK$y9+$2}imK^$_R&*mi0_ZR!%BXEIXD(e? zzkY~j$ja#)-=kw+cWvMK zN2ZbrOJ@hCzx7R7r(C%uCDaeK;40}!wok)GmWO>p%F4}2bg%O)&V&E;Y$a_p$9eCJkQCb>vbf zJ;IIWiPxz$iDQMEQD`0AMVy%9es8d{f`&PXu7!O>=$l}0Y@ToMsa1uS zJHBJtBb!_#Q_lIF$q6a8p5Z((g}rT?Vj7n_{6ovk8Ihk@xA34CN=245fVM z>Jba5T~ncwQN-};oAfePdgMXDizGg=rySK%*MLlx$8 z{j0l`i~6=1B8M}x9UmxzE213mz5^lrCjWtD1l7Lv)ZYDM&$_lUjkt+^)$QY&Wwk5jx{vP(EmcxI(a*K?srXGBnru_|HAzno1m3 z0@m1CktDtX$$3A7vnu-ZH*B{Fv_Zrcxrf>K69D`)z|JF7drjB|j4_|~4!ZOa9OoGH z9mzVDFqu<6!}He{L*-b)@l(k3^@eaRBO&rwqG}bJ^c!fxVs7Ut(d0~lXi`n#5vCfE z*;E3}qrZR;sD#)+ett~=X(!E>Z&EV3nq)3!wjXAMIqfT+Fet2LpFqT!b!6-q$Y{;O z9DwH+gh@2|I7jzaIK4tBsPXDLAmi8QdD;}a&_G9$pl?8Son}SPumFKf2JheC;+%MT z{#$+gY-6=srO2uuflwkK?AAV=_Og~z$nOAAtPE#=irxn3N^ z+MQ)dk`g=kYjDVxBf>2yo-Ds7HfxQ~Q4YjO|f7zyN=i zAC;i~fxGxeSVd?9RcrJ~6y8}sQED_;6EC8|Bw7#rlT)Y}IZvMv7T81<0#R>aSaS1g zTdSX~0#*LiOn@R6`m2}=$)+Pooi|Kjj6vVlm9z_vB2DDbp1tm|3b>W^PsrJ=!B*UG$nr;j~0LO9=hfhEur053cSnRwC0>7uEw_I9BdF_(RSE(Okw>NKu* zV|nvdFU?JRSDgo9rF$0uCTf>^cA-L|c0^_(Jyeix=m>uZLlf1F>AZ+E2yqA7YZ&dm zwJ-5`cWZy~2WSR51Tkhbq$*rLMRRPe!L5o#2P|WtL@O2pHzg&Q6UGdr8ox#pwvTp$ zcIK4vbavIxi zUp$?}Xv7tXoBOv(NR?+{puef)RCk@uL!cgTfg7Mdr6+pVVw2~y3v_o-<387G?>cBb z*c`5~gUez&7?{Q-Dd+{uuY)rd-TDigBe%M@m)*H3x4J?MMv?tc)Q5HKdTf~yGgk%^ z3_D{VimZ$zkvw?|SjJSeznhC@s`O^7LdIp`Z`k(JNiBQt7*I>k76ZB1@s2EyN`O^44?x++6RA7dNOeZN!noBVg}v^=dxV9Xb9cxUT(@s0fg zLI*OFX>$B>M5m%cpS|&rp)48Lr=Y4?99V8=?N*Scq161KrVouIalNctRvm}h8vdiL z4V?FV>hCUHOjbu-1nlF(`1F^nH4Hi)yfqvhv3l0sb$)-)08sh*?v4QvBP*BF1KYLH z7$Y9L_d2`gf(R9XS*!PieOWsS@HVUvjI%-ZS1p zpxq**hPe8Xfnq|^M=L*uDSLzUc0EP!6|N_rs3*t*|y{ZYOd37hvd0p0Mo@hotV+408qlZtbdbU3q{tO zYl6#*_Du|FJ^TLz{+#~-7fECCN8(b1PozXM2Bhcu3oPh2p$wwUJ=Ot(58ax{qDJeC z_g7Z@O@;Jl;~fF(bEx>wB`zl?i1)z~kj`u#6zDItHB&5GSLDmDSUf~OJwDtmxOs1f zqJ36R;L?4$Q>Ub7o!`AJqRMgeF{#!54_J#I90QUo`TncACa6;6DeSekC~4lDL0-a~ zgCCS=1dZARMyrM7)_I|u{4z;-YP|27pPdxDi#Q~HkUru-m6`P7U$iLna8lPF@}Vw$ zkik;9PY-KCg2z1V5Cq-NONeVhMplGld())900Lgx*a`Ke)uzW)aB%{R+5c7pH=`AT zmEAP>m|WBLrbbYJv$1aNX+Ibu776>lF-Wc1KB3)Sw`r6&c%DIeFEXP+Ks?y6CYS9H z=~t?yue${>8C08lc!%Xk#x&Cm0??V!P9><9DU38n>vj9`K9+*CI%N}ZB)n43M#skh z_i%G498<4S{5b7*0*$8$dm`ajPafEG8S;=g$2-%P8?nNW%KlHv6(E7yzD{CM8}TKe zqt7^VCXq9U#OKIGnG@?_jY2P>wn~b9j>Z|CY)DaQ`RU1G_$_fQ;9WRdW%Gd(lAll znM9M5wv&OigP+>RSgLJ&NO)-z>w-W~tv;0fdE)xp_w{)lgmk})B!OPB0`2Ywu=ZbR zZd9yym0w2+8iYK=6KF;TA&gK~b>}f$I1yQ3CCSo1kqA@!y@h?I+6SCGY!~3`==(-) zVmftJ&UT5OC_ICc_n<-Op0M@7hYqi(ca!uQ}JhH9#R5Gy4{Ix$S501O; zM2h|Gv?{$+HA`W~e>b(H{q*q1@48SEe4^uz$EibGoz{;8!|ON=gK6F@V864tL!!)1 z_eCl*^1$IL**|Pp-D33C}vQpJ4twIu3T;Wm@7^G zq}&uJYj9DgkFFYWo6QannTynK4|)4ZG^%VLxUL^;Yj5l5c)~?^4N|kN(~8osG(T5R z&kxri@dk+hDg9fdB{~lV41w6HqxDy8i#YN;ik;lIVO_Ev29#MY+O$7x392k=UApW{ zZFbEl2ajUu_Z5(|<&x-zR z>T?d5?FW>)JbdLNhtG^dzXt)&Y|_Z-9|In!QTVi=e~~Nj1tR)^qx#Cg>A-k_lqrsG!T@H`MvO;6PDm2 zg49S5J|ay4Ke;bSly*tmD2#SZgTT6M^K$dC6z<|{40rQ(TTp+_U_q9s5p(+#MFtFE;?S-w1t3Sz4@i|nzf4Ond{{~6c(-_3V`Z}u{j=PW% zcv8|A&N`O$LhN4+Xau*j!Fzr<-{R=zN9$b0J9hbp@A~g4Q~jsMkKtjCsq$Lu$E$7z zu9)k0HYiMIjo&l>u`md4C&+eHn-5^YpoUOS@LJitW6p4U0F00iJkN|LkK%HIco>oU zi|J@v#gwR`5oUpUn}$iE^)wR}!uU>6&+UliUmx zJWMO!dSB6O09d^!^E@O0@i5E1h}wjPt{_9wEvnZI zQAoK%9p+as3Ms=oju*n_mtG)-98=`#a+#~e>Sikl5|Uj?_~EdhMvh4RPKwq$Kl3P) zbz}q#mi;_Zgq6)!uPCm$kZ!CG&WqL=)dFg}N3ta{z`g>RU=Ob?&w~X&`a5?X#0T8^ zr8@qz74PcB!=OfUJ1t5(!Ni40f^ytA7<}Br2Cj}}Hj%~&eJ5{cg3QnGCAfveNz2HQ zE(Qlb)W!-PDc}*Y2O5Q`s_0d_W@4%Zl+TRX+N_Le;*#}6j|OIW#k?@_*+x?kwnKb9 zL<|}Q@SmOSGwS)!+Yn9!XDA!lt#;TPco|;##9Urii9RQtMZdnlZv3>ZdK^8qO>pYU z9XccI-p@hFdiB^6>ZEfJ;6##Vj;J9Ri{Ur#p(A={F=l6i`DkxF!%pZ>KOG?2yv$87 zEBlh6!$ij2Na7%0l~5*xE^Lk>AEDU&Quy2fZhpT_3p9LpJT;6JO*Lb~d}&P4UB+1W zXS)H!)djb!@4e6e&4?n@{7acT!c}$_PY4t%uk)=3$x!&^b)R@xqAVp+qF_WJbU%Ip z0g;?IEIIIK+nx99FqsqNCyW2XMQPWmXV>j{{6iD|f|Vzs1-a>48!_1(L32B5XJZoZ za*CNWT7r)~6fn)NdC9pNXwZ&P94c@AxH{GCRJaHSk3aLbb&?{q`X4m;U`6P+0sDIq zYFeQ<<3UBqC>u0Xfyn6&xiAA{V?>qTo0yIPR!nJEy&}9)&$AL!wBD`wuioH3@*3CE zy;`o?YEjpE`^)U<(bkeMuAXqW3b94N3mg$D-s7V~&lvm*VGH2R$H|xp!{V#&!pbE!@2ITERi7$)ykjogQ>MoCISVm})na=>+z+=qZgMtZQA4HYa zy8t;ogh|lvH2h06kXu-kuWE?3(5*)H1ZFdw*(~KoJ*p#7{g`%Js$mc< zs0f>g7d$lFw`uIb-OOc`QuTH&R;%>s%6^H#=Qg+-wlV*Q>;yPL?^fV>L(!pPO=~hUL;B^&W}tgL!9!ci9q*@zT^m58WsN@S8xt7 zqe|mPDOw>`o2o>o$aq~o%i!AN?W`7|YT%`WHDPVd{J9db2ixcC@s)y(r=&1nK9c2G z(vNm%f)`H@`cMzdgEwif(**t~y-4!-G273lz;5ijHHfis>IdpCe1bM0cVa*GN6cYJ zY|xKMUPmj`>OCv@X14E!9H#76pY?|G-(Tl=Omw>wyQL!;?1V?!j>_*nBS@Ouy$#i_ zGa_A5(0(yV`*F~8RJV1W?J+n_wukBBeU-v#lw^N|E9+%PJOz+%<&bU(EDrl)Y10ZT zYVA7rqD5r0HRGA%TYMk@bZ>+}rHJUz=Qx#;y4KJ>C}vS{QKFa4fx!B(AeCR|DRG@h z#y{gE9Dchw(hzx$%;S;J-O`E8!ok*fu`y{4+w1ULvRq$4v%hKkxls8Z7kS|I|Jt@Y zndN-C-l_}T?8~Ss35|jo*Ct%_m|Lqb$0;x3Xs!0S9yml^q2wxo1zcZ`jFPEO@sopK z(UNPMseiD-G09svSh-mfv$3=PueFpKxYpHk#2dv3IQ^Y5+8$_i8o&|@(j#6MvV=&E zrBHnqRJOuumPsx>;rw>_?%y;ysahf}BmSl;-87ghz~}1V%GfjtOOaHsYn~W8_hQu~ zdP?kuJW>$j30@BqY#2edaFm_b#AC_?V1J9u ztVLBU9K~0Jzs^CKDU5GD{WG^?YTEaX457J*(#KdltLXJ7Jt$!`c!Fvlv3{RBp$Xqp zm=1Tpn^`0x4_Xo>L=c>KK45=&-Nb15B$66Ap1t-zfNyrsbqMO6JYYhLdfe#dM;sQ++ zdTHY_usd|p5>nAV*V?|+vkuO+6qX36e~I#Ovf{-GOnQ%yVEEKW$|vYR%Sk*;(QSCh zjCcfKTF?}k*Cgg%6!BP~HXkyWpo8!OzfT<$BB>JPD$0wnQ20a157xG955h1ChuSnT zgG9NW*wQJiGYfrrR9IfQAursJ(v17yZZK&il1QD$i5Uk*%8Xs&f~$UZj^2jCX;FCH zr;$}zW!wNBp#si0cd{Eeot1E>tl~O+HdE=w+?~GY_v0q~l(?Wec>n9W`w8bR9Mel% zYIu7el#avXYFPH?(HkeFfvU@Li?i_LSnC-5z3oqICtAFB$I-E63k1{P@#6dq#`HDD z^jq}rPPwJaSxqvc^j^)$*;aa=2a}E)PTk3gd(7o>xdXU!r7mM|A6PJ5oj*40_8n-30S}wznFf*)SGBhlCzvz&423hyP4CK?D1ID0jV*h zVbj0afz!*FH|Ynuj^%rIaS1(JT+RL>b@7?~&f6LBUw~XQ|8^+avM<`I{rs%#@)vT{ z>W<&GZ(p9f+OS~Y{Nm&c@Q+G9MtwN`y~+CBJsCTz$8Z{{ zn!=5-Jnj_GKb|l2SL5$@#!}H+2cYp>rFA&}hj7{oOc5Oj?7nEu`{h^`;xjT<6#G%z zga6Mct~bgxEU4goWl91GP5!P7<~qi)>@XX)xX|U#Wh?)ysx@!QNb!}hBMce zch?PZ1gksPUZgd*i?@15>AiS86dvgddAYjj!u`{oyFzLA5BjnmOa9Ih0WLgd_r=x8 z;GeB;c6@)}MuTZ|aneV(LIrEtsJd;r+SR~8`pcMc2Bkn|8k_7#geLJ zHqe)Zvy>ZDXw%?T7=Q0`)hSX(w;i}_7Eez_*h_wrCG}a0?lb28eXPXwnSHo#oRl=u z5iA}JBi-^CdGXKGnfJ>{;LC%bpEXuUlma682$B>aJV%Kj%}RqY`D;FM=Ohe6NfzRE zSt8M1u9kplQs^w{lk8!3cYh>RoZpS}{M%|YHEvZ>QsclY69vr&F;%4bjD9Hj-XV6z z0cvfJtws>vfB=aoyAfgSucAd%4af#v;yQ7VEUNtGubE4e@3;8xrA0DR)PjmMp4|Na ziT?}^mXsK&ZW}j}#|EG8U3X`8f&@QK%Bg;@u;{Xt^?qFLHXER5l9KchZR;BuU4e-e zB{#X;Y8V$!25zxslIp@ne2tw7{oyl ziZD4O)Iqeh2l+tk?qCmpINU+}AV(h+ThZzTK0XH>Q>dwccgXe4i}~5byS9`YWVy>*0aaRqDQM6YH6dPyc z?H0x98}nk`nOh#056)ihY_-P)LOL=34_rW_zZj3Qzp#g7g2ge}!U8j?#=e56sYx#Q zJ8a?ba(_5&!kzy0vF#7B$~+qJNoLw1<0X$apn6i@+9Kgq>-&35t|fcgkqqx zP+N!4!6}{+NZ9S&xV$-0{@EKS+jaeRG@p(yZwj}Lh!@SW3B=3rcuE&N<| zG0)EGFa6PcIA~VgkRD7%atB$+4j7CC9ENjxAAgvO2m|(m857}#+?`+xb7oSK%GtwU zJ%~Yn5Uc^Jey5oqr1~&-fb$eZ#Hcu z&$Aw6EOUc>Zt&(gVbkljH*Ig*-nG4N`_T5W?VIU%JlNc~^Xhh9^GN%<5ef%{docG5 ziGPcPqm@Xxai678cLZCn>)G&X^uzV=+i-f!$lM|!Ks1W2!;?gV1i?TP4HVGD^ry#u z#s-Ofq_N?Zq!*IdF1gG?%fa|dgLYNLSmk|?FOqpUU$II|g@eU95qp{EWSC{># zTyOCCF&K3{IINfA9sy^tLE*O@kKy4J?0ujI6(_Jy@Z8B=Lp&Dx;g>1+`dJSEqw zN1%>v;SErajO48FP%zqgy6eWAJbzpvnzMO^oiCn13OH<+t2J z!uBp4zi@iVZ`AwXeAH5z{qt$q{pjunTSV9nme;65fh|us^d4Xs8Gg_vunFlvU}U`Z zKvwgdABYah>+zz+RhW-Nf&$3tfZeXLG62-twYWDewp@fx=MF!?c^Qi$FT z14c&6@975t>xA$~9XPXQEPu6msJ0`k+nto{PUJe7pkZN&ULKOM5JHD-iQ&OX-nnOb zb{;G&8*DP(YJLT5kUh1+z=5J*8{7gbOqh5B#+OnZq_YtX(hS)aTs#Y9 z5IwO5#zAN{5HH+A$XvHMO9?#Z!E+b}r^=e%Fy;mv(o*8Vo<_hsz+w)1=D?yG)+*t- zC%$apA^8+odQ@;~Xn!yBqb+ynp0V`tgC}K zMDj)YMzLKK4QjZ?N*yY))7;5?3~|{|(BLZpst`dc4XIVCG-nyf#WJ16@6sE4Uo=2c zEc38;%47dvJ($X(maNhtt1ZO=7gY*@SWAT<-KYZRp`r<@6MtC~T}AxfXvaBmn)f!^HoMdgYLHf-j4j`LHTRK11DI;bqG(OC7xT-385C^jPHn#LCO zvOJ3~pZruKeuywq?WiuQY`%iw_Qt>U-`$b_w?Dnnv_@UFi`VV8+0ha=YmTBd%J*s+ zTFADz*NTN@%6~Mv$F>?Nmo5-1-qWgkkjWC_e-q6Z_} zfLw-Iv3J?tz@z(&)-d1q9YBZkX9O@5v$4 zjQij==YMB-kv%OHT|L%HmfB+Y;fmgY4#=hwAVlR`?+{Am?$SHJ$rbNFN6#u$=MHKG zo(^);JJ2&QSlJV}u*mhkfeXt$*8`WrEe0EW-ti7Q0-6{f9MDi5HUb*(-BLzv^VBle z$T>QmhMTC{27H4myrE~K$4lBbo;4vVStUX$*e6SFI;c_xI#YIJq=FW#8G> zlcV`mYJW@BHs$6LBMMjwXp;foEiDOU#cEmBN@p4i(xIC^HSbVH%r!#!z*WkKAt%hG zSV{vNQY?K(R$PxkpJ@X+#|rCquanjV|6t{coj?G{{Z8*sSyC33$84Fwa40r`c0HDl zfDEccACAQ{{{`V;-Nl#j$pjMuG&8gJ!PPwhHJ9Mx1r)R4|I!!%H<#ez1r)c)7y+9I z0yH_dWg!9S&jB%);Nk@oD>pPa3NK7$ZfA68G9WoPG&C>@FHB`_XLM*YATSCqOl59o zbZ8(sI5aablfeTgx3%#B{Q(BV6}1#qRfo9q0hhS*0+It8d)b#w^a4pahc>IRPh^OZ5UN0Xvs<^#a6yrFZjzh6gdM@QE^@=sExv64w8gPB9$`iMZb> zmFrK|C2qos#V9}Qiy|9!R*+_azj*ch)8#kOn1U;nbsYQ5z{i@Iq-BMET1#y{754#{ zv^b@}9buUkc6@i6C5Hd)j&%l|40D&b3Dd9C=4t89Fn&7y5|s1W`;_J5UmEN$E0SnO z->-_L+||E{q*i{bDI^eC)>s7n1|X&FSSSl_PtRpBn0HE=o<)74N@sVM=k@|B5jXZ@ z@Vbd2yJ^}QRVRRPDEF5l_X1S{PcN5w_W~RNkC&GB0!{%pm*w{YRe#`r=TZ#0KGcJ7 zxu4^KVU3rGqHsR|oDb?`Hvf64kgKln`v1n^!EnTrxh)t6V~uZ8AYbY8-KYB~un*Zz zD(ahf34<34gp~aCl+okR?OYIJI~I3@o@p~4w)p|feqJ$M%6ntzuQ_7Dd%)q@nw=xdrk zG&^U0@yVwf$D|gS-9Owx#gHilm3{~3k)LLGxato`Nw)0W;kF)?NHX;a$QVvY0bmBu1XCYEDj z$~K$Lole(qaFGf;taUJ9b-f(U(>h5F4#*2)>+q8beV z!u7Jm&kv3JXq1tKfoCUqXm0* z3;CV0&VL}1PnD5sHPd9pQ>3HBAs{bEn=rykiH=fnl6dsTIHC3EZ~>u&uJ+Rze}TAMecMy<=8JJ#HVWkLKvRsG2wi9bp1Tt&mILOsw2Hw5fJ28JG+*`M zK?d^evnye7j}S}@x=yF}0TTAWY+C;c1I`V*;OK4Rr2&9kJl}0E^to`42L|v~IPO1( z(|fN)R4|c)t}nX3w6~A;t}!~(NNXmZZ`o5Xx?0Lo#X{;rLcil9oK46_`7ahqzWASV zPk(rA@D5I=(2Xuw;>S*5+}POdEz2Ws_Q+TXF=Bs&3Y=!0i^Lq_LE{$MPp^CrsYzqW z&f$$7|5c#j4(v5R-a>r6q-}^YX^K{L)UrX=M*@Jan776Cc(94^NbVY9QvM9ahBnC; z`Yu5@Rie42jza!=<{`MB*dp34gzgIW{1*98s8`1tjKk5C0S|65?y+hfc zp#nbf`lP^SQ!!sL+n_6g8WhI8ohl-?a0dG4muLI}NdqP4v6r*_0wsUp80W1a0_uJ- zOGQSQsLo$voIBYC%G9}s%O*!@2(M_8qP+DY#WI|Tpg|l+F=%lFqBlXn%!Xp4Wv*~Q zpJ9D?f?eoDj&PXgH zCHt|SNld2r>1hhkeF9^#CGb@7Ale>3{#TT3nJ8D@k^J#zi--_3&3K^%yJ<6TUsqMq z4$ngxGOPx2Z=km_%`I&p$eoyt!=*(At;hK9R+dGB4=~(iII%={M_WiRtWmCm4Cv#*EAuVcJt!T2&2S@a%|W18X)M>55nJy zDh1T$2yiN=FMj7t4P^0gSc%lS9Dy)KR+v=lz?`NotLC;?&^R}|ga?1hRuKG-FbH(u zZA5(qA_VAg*s5Yi$s19pC6s*KscFSQ>f!FqN@N7gE1E2?!714voM{;58GDKM>Z}WW zt{DuMG>9{HAr8T^aN1QMs=ZSeLMu-WBg5=anY$&DyH@CY;az^4-C6FibjhX;E7&Iv z>Xd^UctYh*7e3x;Iskual(^NrLbIr32%~$bG)ut?aAyCZrEEaZS{mw|NAC0r^W9S@ zwUj#?@xC<&e+->u?A4r%COQ9*N(VjJ9VWx|WhrU$lzy&D*d?xlA!6+B-C?r0DV6iu zp8kpXXdzYwtM=0Am=3*a^CP5h_1FykLk(n{q`T8v)8%LpAX9&!o&OG>{LBbSrOwZH z?&yr`O`@l2>bnkU{}ji#P1TrWEUKS@#E4nWCq&W z4Loz3_4nmG#Y41cL#fa~e6{44oeE)0H>{KjmX@&y%VE?|wiKqh1L%9?OG=QgO%Dmj$b*FyLmeBL^k`3OT*ouF%!?m)Pj$W~LG=!J-la;FQ3N8otzd`DO0|-TpW|00$H^o13b7`M*j}~H z1oR8{7U(aGIPCFHFa4Es^{rc=h)Pey+YCZ@khBVqOtrBs4C>nH?1DPP4vl}V!lcSTl@QmJO?5n5vZSlS1cc$! z^~Y;t3E6_!PdO(siIZRUA4LHFj0|Ly5K)B zoZ$L^p?3pg`kj@PSkc>QS`X_QE(o}a^zx=v(S*X_yj@g>4*&PrPv?bq?Ca$|871B! zU)H(*9gPtqouZX^NjZPFdl8gi8)!JiQ*qeSs5;wmN*gk%x|xAxT6E#>LjwUIo1M*Mn|VIn@Cq^CRw zkwU}If1TNem>d04Vf(o*aZ^#5+zEfD&2|?HL#wz=))~~O&BZvEGY{ZNi8@%LJnHZd z^(IQw*pbi4v`Q}@3KA`#JGw);wY$(wwrU0Ue3>k9>t_>Hl!`EoQmQcEXO>PYaIBlI zpAqN=m{Mu^xZe-ZTOPDFnShOn7$ z8RlzdsM1O{i!LML4u8WhDrF)Y*Mge%*HbgxJjAXSf4@%-Z0Br^STW{Z1c&70EUm>q zdiRw-Tp|(|??CHWsGj^}y%k9I{qz+OX#)Ey0f{&5gKos@8hyaoke_WQgSK$;VrHT! zarWAh%3bF1eO&2qvAjb{c)fpaL$(rrBF=p^cf0h76!)_=;f@UHNQB1;*T=tAjk>ay zn>HHdpHf2nxgIoag9KB_ESP_5%Wpk8fkE2ptKsV|n4nt@gG@cmi)Lv$W+Uk_i3x%J zAnmaDYYH1LM?UpSfiexQLhk2lrY({Gk*u*z2O}~`B!#t=R5BsK2o!%5Q2r9+1}S;N zgntwG3K_s^s`1k25&*4B#ffovN*=x!1*pk94zUbvVow4lr#sblQB;D|amd4YJbD58 z2dTugwtjW;mPSqtyX3Wl1`l!nY%Vbm-OaI9UQ^`sE;TP+B{{x;kWV3Vh#UP=v_Ve~zw<6jIU7SMft(^0O|TlI5Hn?p4wN1JXa!xnBRw_*Vujix&!&PzEof4z zOZM$Wy62n_M@)WR-r@w0mk+&i9-riDR42mTwV5 zIEBhCB6pu(u%~~aPB`uoq%q`>WpQAV-*Yq9IrQ)4XeV@8rwpdAWsAugEqRKNlDsnV znBC#1&0v9U;(j_Pg@kvMeo2wwbmE|EVk48=PgxQrPntuXh!|#Yl~JgZH&tG#2-n9@`X>q*h2JY>o*1EK#jr#ncz%gfoNiQ?w^i}v?Wr|n=Un8h!PV%HTK^$ixCv}RjlQ< z9$2J0W^8{{LGv9D6=eRy^fV3uL#mF{ZyVm+a_eBGz*DbKgviA!55K}rRq3CBXP7s- z=KK}&wcoTk?ISxR2oCBLXhwu?0U72B1CH=*?8+~9vAUBcA!{~=?q|J&vXHUM;#)cV z=f>6?FQ?J-yGlk6Os)R)!>Qt-CXR6Gz%!5Qr?x&f`x{lvNN?eQk{0{8ZhsVX-Swe- zpu|zZue^BM-6}fp&;RF^PnNt6!(<-gu9aBPbm;3VH^#2dR-qr_-mz^d`PpDbv5yko7=9^iR}ds%Td4Oa6zU+x7ofa%%6 z_C^d4t~Hvf-R_S<`aH=Lhdi5Fwbsh$f4MIt?Y-g;HV|!Z7o2^k3vkcryFT&aP-T*z zT0DsU#Q$7{6+C&54g6c?1rLAAy*{wh=Nr}$cH?wL;EA+4X;M>l&)Z6QNNMl^1d{Kx zrIPCbAJPxhuX6ddtvbK6uJpba=&FxsZM+V{Xq=(r_6;ezw935BCgPzyZ8NL)XG`>v z)B?348=(FE!4iTnwc53jlk#Wj3G^;Wp-XsB^1X{WpA-f3g9J-WSNVTa3$!JoysdGn zvYiTw4B3ZQw@<)1zV4uLXryI`R@dAj!wScHi7P)|pp{OV^`55Y#f4-89kdY$(wX{fePY+>t|Rmh0T^Ns1fkvYp`$?^z~I{$UCfYZi%uUY4HGLK__@F*S6j&gpTzvBZD zFH#TZO^pV0bs#>>Ks?4^O2z}#k}27R@?7*U6|xd`B2snZo?fJQq4{T#2$$UmF3kw2_!(; zuw$zOcw}=Z9#Z8Uo!6Wzw0bZUn$zB;>fgCp&)^;-^_qX0{*Z6P>?kEhdY*&rQTMF7 z#ExTvWQ>6r%!o4L zigaf-blod@a3FOwq9*Aqpgq6v^@hBza6`LB1Zf1 z)sgl{nbu)Tv(7vO!~mkEG0}aJa{Ce{_jQHW!T~6j{D=AL-?9&;k=p(^te_bhc`! zP@A`jVRBz{tldo2NOW=&>b6JUu@<*0m|2QX-dKO*|7M7LdV)g1EAD5SH9f#WA31j} zr?wreKtG>>egu^kgn(1{s$$>sCA5ryOqT%zvT8||FP?lW?&pbf%p7@M$rp)Thk%D6 zpE?VMLV|Lez^WnEV!Znu zau$DxR+1mt1j9}4vn9|PWN1M=JkUaV49PrNOoP+2-664Lqj$n9qg<#O2}poOYMFnV7`rRcfyF>) z-bVl}ANr!5Xb_=Wa;Y$qu`1qRuqlqMmE;tTWo!J!qTgBhyo=M{ z(HP6Hu}$)4u;QY!?gWm5iI4ZNagn+;sDOT`OUsD6&eHx&TZk;vO!N8KXin}YykLJ< z56On`EtdGvQsVUzOw@68WJ?pWf9F+hGX_l9@)Wi*hJY*(-z<0Tf}1^;2R30lJM?oL zeETlqLj%isqv>Dna z3Lqmh)-;Q}flunv8>c^9rTQl}wV&M*Y>)$ehbaV3QrYq=R6YFO@c!l7l7hoPtezet zj3)W81?qI~bF?y5dmP(-664vm~|I-52r3XJ$38QiA+1+QYe<M5B?qS`5c_a@k~Y1ICv*4ZIVP>}sz=SR*2$A_rApUn4SN8C=5t{&Q5 zpq1~j*kgqJnKT}Q@?|H+;CAVQJ^29fvk;{rzYMO@3y;o{?bo>b?%lb;kuOcQA56= z%$|2SL6>JdDx#GFb(^?Oc$}Q`%@kG6@*6AvFY`^UOfTG5K`gh@G+2B|bV{up?GmY2s zqon<_9fwh7PGe^1yF-o!%qlWVO2x?=&8Wnhc&)FR*jFOQa2YfT5Kka95Y$fw{*7Mr zlNk?@vn_)%INJPQVWZq4ZK3tYhp#AEA=5WE~eC2f(eVN9%$R z^tH@xs^&L;V{YJ^T%n%0f3xwzbc0Ez8AH|uqwjnU{3yDN@V`sKrQ)(opDY+Z1efrr zeSc$`6Cppch+DUxjm-QrQYL~2WF1C*YrYW`c z4vR7oZS{mo8<SM8up(>pA$Zb1rQiNq%)XaXX7? zl(My=n7amdHg1x^-7v^$A}(8L1I)XTL~1z&d4ZWzxmM%mM*Q%aw>{sWecmX0ROZ)% zcCuLFn!xsWH;5kAY_E>fMe@S~J9pkM<#R`WRwb{fTnwTc(zRSc4<3UI6E&a>RPc?F z-KoE#Fk}whUlDJD<)2CD0imF#L}kIfmC|06+A!lG$H^BGeq8>xO?K;V7FL*)yN3XC zjg`}r_8QeVuGSj3cEDr=Ash`DnCGej#5c|X>a&_iA_7roH%3j~^^k2J2<`>G%f)Sf zNTjHFeYfk9Wf_A*Y;l+1Hy8%hMnQF9$F(z_7L?;1{hki-fW#jIIgJeFH79?TEh2{1 z(G7_>7WDNAN$d{gb`+Qo(AUMyna9m3E%1|ZBsR+4HhPf#e27#Uy(VvuC2K7x3y83I z#AAvIn-=0PPj-3Hb$t!MjxL@olFcT6h4km7{Q@yNj+5coT5WQ;ft@w0wV=`dF^O+e zk3e<>hJa7?HW>2tA!vT)YJ$X_X~+n__P%~>IBhVU1k5CS&g zyzhSzG>JRv47IYNe~!|tHCO^2UALD4MZl9h{d=&dRByk&AA8eV#e%}Xq53m$wTB$W zFyHTaB@??cKnOg;Ehs3U}!-Eru1vMgJrVyk^}E} zvXS>H=!32k%@z1)0SO>~X0MIb|)8Rbd$X+lO>Y?&M!m48h4W#ZVJ917i9 z7jPwj+K>re=2>$}Sh_ZU8-K6~lTej>$>X8HZW0SYw?vm*V*BNMX5Kn}@2Du?r8^1o zFu2vAt~kx@{irM1^|{QAINYHf2m>_x*-%IZ^fisWw`z3Bu{G@{R(%l5p}OkNrrIt3 z!12(L-SiQGHq1rF7M++?^D!`H6Qm(R1W{0fUNnX#A>xr-79g!Ib?$ z>E@eJ+~B11S(--)b9e8ju%t?`s5_N7H!5Gg%oV3N|MhZgaar#+ANz*{?9H=N03C%q zFvN69i}{5j`T+d-OEEMdOoN)5Ak^rX)Yy)9o^(Y*VlK-80 zLe;{#!$Ghq`I1C`mw!BP9bS5mhg#H;xWLUi>OUC2V`vAiq-F{jaL7F|ygL1481H9{ z%ENGeP25*WT+o1eoZU?3cV_+!(T8TH88|7nMbX-*&k*5J#PzBT4E;H@VsatW@d(!auj8$jfc{hP|PTg^c$Ox%D_s3vXiyP zwPVQhF8bns3)}fN3x}J=A36Ywk-8*Ullz{6WMuNPU5pa)PUA;B!zvryA#q?f5C|WA zJUgBFeZ}?^={*5gIUsml;vLvh(RAWRaX7b#-L|PoiA9`^Qwveks(_AM#nB+cjyl4t z)CF;9sv%X$-yf)!|LmR&yeRvQN$Z*XBmIPpU4Z9*XmG1`-!1$d30mekM=<@cPbjW( zJ3+~fy{Mg0I;Itu)XqJ@1idW*R4X~J0UstmkHSZ;L?bW;D+1Pv|0o2E1FzaI>R(aX zE^92^n!+&7+Ch1*?J@R)#kL&owBG>u>;ruLn$j{VM*H& z`J0obQEkjjhG9)SCGZdk@6*)f)>6m7ctmJ<@8)xul@}Ijv}w=IW+eeVh@SzBsaHoO z2+A}_WxL9lMV~Mb4gvLEGn>194h+0seeZ-t1sAyv@)B`ZF^xmLT>S-Z6H90pUz3-Ttw6ekvh|#?^G74{_RE%?>yJ!}`2<`^jQ|EF6>#*Jkt+oPdx4VCF2T zO)Ka^4;RZsMN{5OuZNFZ;*rWhzhJ+AYB1a?;K-g|T%c#R&5xD&dtXTv$K-;WL4VKv z5y7pjj^IPb!VunY_V9ii4a_!cv%_7~;)-95d&^rL$QT&2%_JhjPdM9<7NSXPW8WEh zqd|n~U~iMR^ojADdp-uVhW~Rce2m#sZ-+3%ccmzl6#9YZ5ke-l|)$0PSv|-5m~G@FIg10W(uoawDY=WfwD> zrBC!WNcVS;i~sS|r4v}1DYhZ|df{xa)!=JJDP~K>B?}q(Z#>4)u)eZ?f|#q`B0aG4 znv^acBcmMzJA)AzoxQq?>7}JuiOa85o}-p_@vN+>Y{q?>%6?&Dyisj3ibzGsUzWSh z;0fkZNMY~ouAu8p-ROSr*v3vD{|Kzy%(-12sDb1oRu=Ymq{^iBFXLYNI=?WOJ`;bL z(bzd#J+0N1JFpKbW+vKyQTAt&ZfylR);=v?@Zf4vuDB%ZF~&3T3U`{V!TkucGUeYl3Y{kym0c-bqID2gqF`yJnR!y zw!IG}}{PAxUAdhv4aR{dRwtr$>nKI#m>w4Tu=S zoqXT%2764319wif`=upoWO*m1R7*1MTIxvV+fZA8#gyQKTkkBp7C43 z@PM=Wz%Ba$?&{U$vctU%d@9JCztZ5ICC5WlF6X$UQqX&UYJ0oJnIrTo<^<)u%I63P zln9Jbymec;-0gI@Z|h*(LRaH;XhssZr`tNKr6`*=?@a2K`(`?G7{l(-QrnMwavn>- zkzMoH!854EcX7x#C;UmE0h|UuOSIwbT#H{xekQsmyccTG7BgyGfG9!1=+60Z@3bV5f?2v+Jg?JE3E!4R!I=KsB_N3i0*1+}iGS6*d z=1c@iVfbq}v-@vjQRu{2sr-@Twf;+s2>s+Bpgc;d&Pr%-<+nP)O7N@okFK`%2kGGs zyn-w(!C9#)(o&hES@LU}-a*<}YcYD3&RP^z6_iJRD)H7VR5gGQYRPl}8`w0bvcMQo zP`F1>N0=r3h2*a}V#)jEau)oMwqm(^6Fv`q&7s3K&jiajY3M^#HI9K_a9^Wy=JP}} zlRtqWFvS8j@^G*6vHYC5hL-izA#ITsF9z*>uYC(D*IVpnu4|deJ~dPc8?w{-a^H@| z(m_;z396InB-bRc%Xw{Y*vp@r{bZV_dQu7>d5&r56XZhft8HzE7?#pzgDmFQh$65k zcOx-;YhWb5Y5y0}qRg_LGNUct5ga52Fj0KuPt5cl-?JrQN2HO_?`AaKn$Pqx2?q<2 z_sTo=!8+{HYaTRic(r;zZsIE>jK6wy z{-A7eXrA6p>FaRjE@xFx zJ>;|{>p?lAX*AvUe7YK&V*ny+wr!#jRTxuQv7o&4`D?Rp+I|IDk=;6tPEJNQ4}d5M zUahZWrUC{3qR8buQSzKM$Pa~oyY;d`F-5T1>Q&%hm_lB3wv&3m=m2qu6_Vu@#NtU8 zzLJ*hw^S(e3J{i$z;9TztG)x1A&TP0HEW_%kd59KXS}OMh$#f-Umiq84?pm4YG|3} zd@~;n;(A~7Oxg`-Ny~f&cu=uTZK3vr14I9re%?(}z^I5w6xR=PlphCw+lE(?P;)P% zoKAqRd6!h4L{@xRm)!M>MriX1R+aW^7BmUrl)rm|hF$3GX;0#=k%%U$L*Hrtc%v%-_iS*r72-k6ZGBrp|Se|yc8eCb6UeO)3|mIQk$L$FEf;w7mo zs)T{{3~nLnD#3Gq=B+WcKsrQDdwvy4WT096Wx%UCGpU&_fTLMPE%~9KLb?pI1p=*E zB86J{3cLyHecpLF+P_pYNU$NFiZ8I_oS|-7YQO+QKzA-~N!5sr%$*1{Aj>#&>C=bj zQG-@%b%7{x#>=RJpe;0SSV#W8LADj1*aOx+l*aHU9FoKt5PP!dC#>HFN%xdq_xcv2 z5_}(3Q#uSV@0aW*10DpA$Y2kb4krT_0r!_CCj%t`_m@m30~vpje}>c+9DK3K6PnXc zX$L&{l~tH_QBD@mOxWV2Vp{}%Ga++4D+T+=*{@fqueSd_vtz4dU~`=P@^&nnZ>obi z4EVjgruz!xm7k*a^3{pNSMMJs4tGxUiSxldytjiYvdk`?%R$q|TX>eR_4aV!?W^J3wl z=fa|HuYE2=Gu2_fgykmt4r34QCely&3mOO~M)?mm_GCvit#@-kIcP9V+vA0FAltRI zACmluc2VlC*h*;yF<0DKMLC#!j{J)DV}*Wq2qI%z2;(8vX0ZDt?!8McMRWOr%bTvG zqb&v79;|x$)nm6XjRt8XWP9cL5xr!nD9O z@blYw5Xh6yiI8a?UI{2~E#jk*XT3-J7atbMtTR&(19I?bDvuoRKeIDtz*vDkxX=`^ zxqtd)!m^H`{;24mx71%*s^ErUHWjf_)iEyJM#iidPO0=~&8#E*eVGj-9uB2t0yn81&_`UB4c%_ZJLd&P&5gMHJCRPOuI#4K zqgIcP(&%qWogG5hEYHpp{njzgO{sR&Z_dG~vjytu*7AJMRstpk*X@|#LcY$<=335d z37EMbe~ZfN_B+zY#-ekEwhva2j6PATrK-Etg=Me|!uYViq`R^2kv&14V+q?iHBk<+ zjF>D2GVR3c?~zZ{a9^PDKiYl%jtEI)X#}-ONGquCLZ5h*0{JDj$@ z?At&yxst^%-BcM~mA>ENn3rP7g0I0^2O9q;)FwpJt)g5e5E%H!!u~`)hVm5Z!Ca3P zfATttSPJv=VzEAsA21-Ubizsbq0`spWS>}>8vC)>i$*Fm1$L^~{mFQ%`15HMm~Bqt zW}?9@A3dfUYy?HBKBO|6WVzDrx5^s-ch?}t?5!}i?u1O%C@FFR!}S<+x;*(xxDqkE z?QW62!+!cf;X;ZzOB_>&70?Q@b1F6Be^&_lD1`FI=bGEPaCV%CBM@lEo&r;o>?}S8 z?a%OQnZrJ#thmW~e^f@M(&U~nh}e?QBhuqz+LCe;detlnYD`V4lE3`dzaIwn6Y_O1 z#-m99n3k;;!p00ESQ*B1;QWyicl08r3AB0=JKD3NrcF1Jh%1|L541NEQ2@;{f5+RY zduq={Ur4JL9N+Min`h<2UtVOn<|>e6Dk3hfl>S>SgnCHI82`(i`>Tag#F7}%X4Q6~GT_sYdA#Jmaf6)$bGuoaG!6vaTKvm8%*h)S1BUKu)Qk^kEbB4ha zA@(w_EjN&1X?`c)Gi6@9E`@MT^`O<*>aT?iRPh(yVx)Du937jy=XDZ9>KgjGoe23Y zZfe&q2R2u6pS2`WJXsV8HU103Re;hU{Ar@{5 zEEO%=Fg@!Qry&Y#)#D|}amQp4b0Rlji!^*%ec)A2M+)1obvZ2jU9mIVp~16P|Gpx^ zQGSR-_Z=@Kl9I^{o5pNoOBU|~353MkI?ioEsduTAkHQ4-u z@~aA^x3t^JJ(8m5QzNQ4fAWFacWh4hLnosx&Yn8|Ix?vN$?(Ak2F1)Lfn(63x&fAs|RI_2J zA;s$ynbIu;5Bg+V&JnT{PUGPreFpN>H&RQDq7Fk=ZeC7)lxlKHf6mnp5KBqu!_Y0y zTGeU_#uhh(X3T`$SJ_sm#tM6+<`E_9@2GYDU>MP)u0}m%<@o1o!(|*D@3z^la*{t= zw#O(Y9duOWz`E2#uZ@jycl8n-0QlmOT(B&rSBahkgW8g$q0?^!J_ZWsiGCv_L=8l; zwaqx?@+in~+(&#Re=pW9B5nlp#sQ08r`du%On(!FKcMJq`y$lqEc3PDrSPrn>0)Le z#4Sdvw%b}YC#nEz;k3X~INcO{ek5U0y6nOS;}1l1AhP|G-DRY}YCE2yo=TAth+->} z(6X+tofSL5UfzIr%VHsV%dst#Cc^nDdH}$HMZ#(8n+~kAf72lFbHLwyFscpovFRr- zJgDrVF?Qc>(}m|YvQimz!DybJ!2f68J0Tlgu$8)ds-hYr>RdKnTDSRNI!@X#J1RdR z57B5KQKEaEXk9Czyqzm9#@dJ~&%T&6dg_gKd)PI9e;!PYYha&&PA-)HSTlvbmiM6? zRN+WpBrG5YXdH-|gHLLkTyhS)1tSN1=yTp`w=}X!jZ~O>A#0d<*R!wFh+7kZdwY>Y z`~qgp_ONN2rf(KJAR!m@X)hpBLK~ExU(%|3*?#3zd>k^r;lx-_yarIz=MQ(k-%;1# ze93VIR~X~LJC^}51A_q*mxVC{B!83{R@Fq;n%2P&`~8MQiANX;kF-)0?e_;Zk^HjPP=6^!XCbED z`&1N;3{X@Gapnb_s5gc{qQp3`Y5-0^vA?FYh^Q}{`<$hhdORru4aEDMGgjt-QVPo}5 zw#{&yBVgt^d9YDO<_GQKR&b_K5v_m0L9cBLdGis2=r^UtXtYlHw@+vXBqd_|?_)jy5P{`L6K*%Sd9xiyruD1E9k6B%r)~4Wh9F z;9hcOvpg2}ee=ObE<9I?j~Esz(_Vu>7Fe!RME^tCIZa8(Oh6+~FN%UcsY!q3lRXmM zu){k2c1>MD`m!T<^)G+BM;R|?j@?7fF;qahExuQfWF=GrykuDA zi1V$PN-~UFIC9Lkr}Vsc#llaj9WEsA*LjT9=c%6tf1zF%u8(g{S#K5_l^p~^ z+wiN96x!8z>E`607eR|{L2rK*jYC3G(7P_obFO>E|1rI(-qmtY&wZBz;@72enRkAFZtnvg{eJ%`khgXxExJ()@y)ufnLnuJ zKbY6nsm$e%BF9UJjp*8h>%el}p3%8X43&HzUB30(q?A?PMbalL(@B4h&`jSpX14vf{~UhqLnAD=U#*TUmZN5leU05TREUQyJS^@B6Tmn z*wTU}BQOR*x2iH`g<5-1HNlY;P?gYs7RfK7`Wb>{58N? zT z@A2-RY!hPA=iF=u#%c7;5QVrfa!!UG^L5;M7Q2ZRA#9&f;An^m2MM>@QxRG6RwwR? zd%YBdK~03D!I*zt4Lc;EBp1wUHMonw5jXr&JpQ(W#Sun}8i5F|aVRA0hxm&WUfn&r zX~;zqM6}m(f+R)^*1)DjF_0xJc@LXcjr`X#0OBWa&4(f~|HWVft6Dp(z!Y z4YynzZAQ_=3>E6IS+G8M4*m7Z@$eCD?vR{-0cf70iY^WdGDc#vn{33VVGV*-BY!@z zU2RROybsw}q&x{s6h3#xJfJjj?CU$l%Q4vieMn_X`ItEJ3&=?KWMW;qUb1D3C^ge| zB)mpZWgdS5&8y-xe?ev~UyOwmCOd*Pdc((UM_F=hfC#G^laL{c8G{%2|K%Nv?UJUrPE;)!$j1a2+9;?uCE&Ix=6=*jI1Q3W9hNW{I*9T;&j$ zLi2F^9VL94$CpwYATy3`(V>Cn`tUMuH+pO}UH|iMD)gqNOUDG>({(mlZ7yK*R8$|^ z%@Wm}O03Od3RePnRk~^|qI4dv+F~*ZPM)p9>54eeNvMej-?*>`yo~=<=vSkm&~u$OHdl&fG;C^sF&=7DSBxsS)KudBlvf2%^Kv||_5pr7)) z%ITB<@M&Yf>*ga^HtKfq{P49qjKud-$Lm@fKA2~TXI^owiQAEUTdtEAL>kaYJMqaY zeMj%Y3$3^~{P3nGQ9=ntIQIWSLsom^SF?Y{%S79Zz|*D6R9}}6bEV1i zR>(=TS~(hiJvOwz)SVV%)fD-jrHUC22$fE^X}%4OE^WV3XK8P3EakV z8@i4lIMyres1|*x&7q%6yC$K)V?jAYZ-ab{Xvj~6SqN&z*+(KOhlB+$4`2@(-@1R% zL51(lh@rCPpn2ERlfs}Nw(2%|`Z4->wt1gwJ;FGxUzPQMG-S3_+dEBIZ~rb1BO<-r zo||hW;@IW_>}Eb69hCiPu#ub%>wN)>LiJfZ*7aR2Kh0hAG7E(WH@g_{n*j3;Ru9vy z)eMbIx^4LKT@s|IleLChxKy{9IFx?};WjxSjvVaB1aPtb$wPe`z@_lwdi|sf$!z7w zxlZn$E#xjyVezailP@pnwh6}TT^}z!}Uno&$>_uXumQ=VWLD zw!KMeRBXVCH@L+PUF5T;80_(L+UDTlgP%zNz$u6=MY&LsKyOX#yk|U#*bZKL8 zQU!hYT2rSttJZ-gILWiNjMjugR-Bn|%ze6}l5vb0mvfol`iE-2%&NF=usEaV4VX1R zFgs&EYCAq%o_ETc?jv=G%IANI?WEN`$6so}3@SH)vK-M2K38sM+5Om(ikScjutJ)Z zKaYw##ZRdQHH+YeE)VVj#zn1r=a7~n8{u0_4_{)WTsWfyUD1!SNhtDl$}nfvI<`&4 zq{+F@z5W>VWzIBoMwIkrT(fV=!UdRBcGR_s%_g|G!S|k2bRdA}kq=s9c6_{FG@0LB${-c? zr0*S%W`j7GiAn4KGnPS4L`Wu zDUhg3*_5EdTY%RG!#_T1Ah2|eb9DmWNlFbP=g*&uf#86hzd*pgvJ;L@-eKPVn$CP1X!rqHEqu_kRqWfF|x0LzwcjVwAlXg=CSZH1oP@Yfo;w7PWi z#e`N8J`eSm>>7U%Ggi)rcopR-{a(9isARD^c?Yp~r~8TguA(`hmVsR^@$nkl{VYM3 zljao6G&{oPAwChD(8^u4FE@^W)G&e9g_by;Hw7IZ^uKH=8p2 z>h=J5GsbCxG`esyIg1cU75xdp# z!F}PAxBVb`^HL*aZn->+DkF4+llG@)dab(O9QJe7^izEjOxL0=^&`un*V>nF49%^+QN-LSYZm>Mosw;kkHq` z@W7K{o3;A9j~>-SZfaSykqvDK-pgoP^LOH;>Fc}3iYnv0}HB)XpOu+ zfzz6DfNR85^ju0JYB!gJBw}ZPks$83S=l@x^|MmiTi5MCkPG|~DM^ln3+r5)CKt41 zQRjbhcp<~u915RR=-EN%tlMPvnCp4`<=U~Yb%mz$Nm`uj0~of`&aw52rslbyQ93qD zc_ro!$;Hd(^y3CoCS6t;gSarQ8QpoGab`$Q=Z~%mb!_&-r!_GWBwD0P+j&2iqUlKT zK=4r`$p!^7zJtcy@^qKMNy$-`)^(REAVg^_m=H#2JYB_7>xzp+7oh+$QDN#j^NM8u>4km;V;|^7>e0>JVh0$S? zcb+?3ONCax{%GOFj8$;Xkj^?Rt=J_2P0w=MRDZQu5hJOZNn}q}G@)e!U4cLvo05NO zuzm6RQohGq1-7h}7|9iIXwUe}!y-1lu|a(R?F6F{J*$EYVR-~hk}hHOxSBZz-4>&r z@ajyXSyf@TMCi}=z09YA9%q<4x>rE~$f{H6g?K@X(V~m5Su!2^_mnYG3$5?kJ;CTE zYQ*|d_XtFny8>sLs*3YPF27og0f&Ds-Fb*rMcb527xM>LjRO7z%jZ9K{xv~tCfE4U zpf~hO`Q;u6dhGx9r(I*}|9RQZ7~aPzx&k@3w^m-^Fe8Br-q929r#K$mR~>)tXAM|w z1&eWx3{YYa!h)GDd${c{=^BHYV9z1cmt0 zqtMdTl$E~iG`jPbZ&g`&Uq63XMR(wWXM!SH7M+N0v(|X5eohS?k(8egiTMV7aTK~L%wK75@RMZ;lp1aV4N?C8(W1~5FfaXMp|qkVbNRvM0a%ReL9 zERof|kKOTNDe5Xsg)w!>0Q9yALXYq1Lz`7#pd(tWo91!~uTJMjjzzDdgi*w;26j|lnYDoO_0&MU%$m9m;1@4I6+$f*i9 zul3W-ZF~_HzHh(?eCvM`YJ;!oEGl{x(Kpmw8RMa;f)7D1LjNJnTS6}tr5ABYcQup) z^1=Nlm7pSKk7j{sIhcN62XXdHl;va*dN;`g!Xiz)8*hzy%OPy*Z9W{8PnW&B_-pry zmh?bVd`{2$u_v3idmI#`+vPl)SuI*~?lZntL%ADe;-E2%pO=3h_K2{Egu(I0wGD?n z+lTu)-)8@|=AX?q|Bhv~^^j8Wc3L$1Xh^)1-EkNUy6MDI)(16+O3%3P!T~wJ#%0|T z`QF}6t@uhiD@!&QkSox#KBl$FkEPjPq+8W~C;b?+Xq#;8Oy2^Tjwa`%CY~S;L$&Gp z?7C(w+I-?0u_}K&wjMLbiIuW8B}#7d#T=h@alF4!S(5rPb3~!BlAiZR4KsO8I->gA z<kPLZqydpZV5n)IDO8f3gK2@O$2$1*`h6Qbg4b&-|*@>%t5AGxg<1n1bwK1_* z^x2Uc*5Jcg&r6E}AQ0PmwDk#-V!MrlJ8?XS!ek0>)~58Yc5`EGlGf3I`NR!0?$ zj{nfYSkwN$cId#9=#06qltmX_)*`y*R^${DW>KEkkq;z}%N_O+7mRa4_`y+p7}Ncq zOZiv?I|8T+k(0_M}^jjtn%RxU8-arpI2arCVIs_fKznpBu+C9l< zguUf#SdK6sev>J!umASyCQVg%z8o)tb2ESRklB+UoDyZ?7k68+G}|fk2XtAWn03|@ zOut1GD7w(uH>#<%eDxT38nPD}KP#v-Q{QJOK~F-N(TZfEFga_eF#pxwZlXPJz>ty~R%oB{BArL#6tN-&Z_$kU4g zKv_J&2s^jFQ7{zC{xunwNf zTKovAC&^e&hTx@lUM9(wB>ZZrtO#QO)asREEC@H0GaYMRh7B9{CP*kA^S~*iSPw(DH4Mq7o zqk=ppt=l)Ia_(@^<4XRAziwG()flekqQMj!Xw1M*xqdgPdy|CqDSMOrQAJRxK3Wm+ z#%Bf~tLb#PXk{(!n?G!~3qsU5gmE?XR=DA`RcwPW^eMU(hF>=%B_)4S{J_-%^}Beh zPfq$#`FIwAyC(m_(cRGm_UqA&7?xj5eP|>I*26C7RdD@u*af4X{2V@^F-<)h7D*rS z)kPE_KN zAQLfk!f?@Cypw0tR|>Yi4)Z3H^jAZEd+To=?p5!UcM zpxz#qJMJ-|zM|3Iw674UM<~jyr`~GIhlrM2mph%yy(sNMgCO2L&9a`o1S`PUbkHG7 zBS5DC1A1?%T+KHppj}RuTconh%b>pOO5E?|73O?a%X#(YNRAVQPtA2QxA}L7bUg}; ze2q(zVDu)?rlx;5MSh3Dwo=B*aD+sQVW3ekf3Iv+mr-uGV$^jXsk#BCKb;!IhbRG! zbJN@1_S6Up=7>BF;%AZjVLmKV7>Hd)Rh+$)ck>lUDRmpyV8NOgR!3M)s0+TU%-=@!gw@)a^NaU6#7q*H^T<2+I*qX|6l zV!|lV2LU4tvRoAeTsoLtpX{#soN;uQ9>S^C0xo%(nTzKKGjUMqxk(S=b0)0D{2sIkO~2B(`a z9zZZVZi=!@e96DNrIR$+BGID&Nw^P0Kd)~9oOIMIdLBaLDA!&>sKFO6(!U|-0u0|u zZS%mqRl<@N%uq})&J+C%Ule{~`90ZHel>x$oKb(6C7BuG4vmBfB)*P7vitEple?t)L&w#j7NwhQXV{={yiUE<5w^;XnBSNSJ@15 z1)fUnlsd#G^?;j-l-Wx69m!VTQh25J^TNMp5C#8the3=TyE$?ceIv?KOw5X?J-$TB zKFfc-Ff5G_Ps9goTv1zwQ1w-^H}(j9Jkd(5?Jx2|oN(S&bAg=wEquG=%@+iT#qHL8 zr#OG^e4~a;NT|YpF#v2xHr-9=Sh$!fPUhrN>tPn<(>uocQ6MFMZp&14ejv~;*}gp^vuqkEAMv^gnnN3Ge~ zwNZbz zZXpH+F~o9n=glE=3lYQNwpyll4EI(A8v$H0ou>oQ(c1im`vKQBNPh-}8+p-ydk)VO zPUSs2in^Z~?j#u`)py(?xw3!h9sdj(8|awcZuLvXwy@dcjGa5lc|t)5R2$2ix!-<@QJ$_bchOUYn9Rvy236uF1pL7VNnzX$icBEx^-IgqP9ojec)1?Dz8s(pqq;8|2NIV4t6eQE@Xy8MO=gOOaZR*U#^Xc|7!@bA3&=XA3fszyyWGg904!nSesi{eT!+pZE$@JV{;G#R`e_g<7KrQozX6Pbg|LEd^IT>a^Z{r&2$|ffmuN z(%ItKEn?)~AGv>?3hTR+>h3J5hNP{{?_s@a?5$?;jqs)4QMakv19kzUy+66}9KM$l zE>6~dMcIcAu0cVw%|Ru~wiV93-!j-IQJ6Urcm_ReOtqkFGYd5G9g#-^yof&Z3p7xQ z7H&d^t}oB~qE|qP?$NX0Eg=C#t#GQZ4M|7N%0nv$Iz@lebzG0o@0c5>#Etdyzu5{n z^JAK7Y;CyNZ~~PpB>xZ^-4?rlK=EBpZ=z1-5dUI2Wcg~`M$UuOg?HTUY`&~o(0k>` zr7Tc0&sL`S|A30gVBy}TFrfa9^A(YbdW$T^Z;N2t$%-BsnLsLzI^{RSBlc~_@ciA_ znEC#v=8>b0SdJV^mjKAvfDMcUmmK-ioCe3D)gl6aYU188zyjE z4ETa)tl4!4DNy*Y;^U`3lixxQ6wXaEcK=j-um{+Bqb`tMvOkv`+7Y{SSfHqEcKKzp z)lMfK+7RM9?E2P_1@T9QZG?N#&ujMt5Xl=9y`X>DG%fGhy@XG;b3TBGF>$T(u6-2* z11BQmyc4huY;Lm02aS8fT%CqZr~h4NVCif}v$mK=Rcp8;AFg-rmJ4C7IlvtCl%jAc zD}QxzpfiZTjsthm-;fH=@!c>?3jMVt8S?Kt6mEM2j8hF8^j6@Id0nhc(2mSlzh{wL~wx3cue@@jq73 zyihAZdHCUw55`yLXA7r+Ox@Ey{AB)f31TN)RMTnyg_YL{VvsA2gp~FJ6&u`+S=oKW zUx0;au$Kzrdo!<**cftn*T#oVG9a(J3SAiIl(YgdskIC9s!zs!aDSOB^&Ajdg_3_; z*>u1pxz`5ssq6U@{K$A>gHcUl)3x*RuB1D%%eW41*KrM(i=~LPiO`8Gj3JrlGxwM_ zHtRah#{J{Vt|nEwp1yrz>8Z)kbxD<1O(DjCWbFMzBXvSI`HXUMFs{@!8vu0E(A z(UEpmN30~50<>sDhdmP1ctws_PSSt;`$m1fa)|o0#cblh79HI83!k_*U3)0!*hFe zR7*ek8qQkZ!mSFh!$O61_zQ+m@O3~5ult+%xxmm9#jXHx7D(<7@NU4L44QvV{qej# zbPlO(NGYx?{bQ(Rhplz7t=d@8QtYppi-?D(j3rY_3(CB}LGy;g^062l#J7tj*M+M3 zR81IP4G;7F=QOJ7}Mx z>TDqIjuG4S0+ss3km(JSExCVP9!|Yqxmf}r>7wWy+Aqjo+aD8+>)A=4kJ4) z?%$e0u#hB*V{o;lxwO$hg}GNEX%T8{6O!KrXzc{iUTjbxlN}Df>lJ@|x=L!ezjT9; z0n>ozU!whLyRr7htpFhb8GBh18acz5^|rP`r&{C~Zi@aAIORf8E62t=&)Eyz$?@B{ z`q>i%cP`U%$^owot8s=?{BfxMgPNUylG-0YCbdSB3FSOS608}0FfsvSW*@7XyFj{e zKbt?2yL>*{*-`0sIOc!$=Oxn z-{RfNoCi`qjw##99-}ZHG_`pNZ{rj*$QV%DF(-B`z`y0x#l}{@G8Uc)1J;51_V64W zJV;Npjdb_dDw&%-1-AV0Zkzd-{BqLSiVN~2klocsOq2^I$U=XT_E0zlLZ^vtrV1jW z_PIQJSZZJWTWCwrcaqtC+BrD3GytLmmblTIwJVWWse;6TnR2<7`_D@loMfqFPyUfK zk`9dV1-sl?JnPngJK<^Br-w5XSkMH2gs1wYS6_+k9D?+_TD+k={FEp>G)3Mbp1H%? zRhG4l^LM2M>eLy-!X`A`P(*lG z$r#J~Z^(v&+OQ!v?UR1b*G*j`tR>cICcTmaAQVcjFoQs?#LH zuuyq{Qvq+|(@s5_+Yk%>#kWZpf+pu@WCT}|^3Nj7w&%7aXj_~8rEzj=HV_Y=@;U*+_m`wc0RI|g_tQV0hB*qS{PR9{6 zBsA7b0%Z@)=SiiPNwa2<8`=i{%umR0c;-rSH`;%R0gz{p(}dL6Yo^jt1Tn}27#`^_ zUB|@QoZ>CL)j3G5HlLQ;v=~-yUNn7c-;e*Q4B{T47G!PVGbsDhI!-f~CF^T8YG%S# zr_^+-x~zOYBv#4%c6up_l(P&H?=-1&1~Po{7p@YrrI1*dbFL^}I`*j3Y?WdXn{Pn4 zotuA=sgm}UL2ym#b~&B_BsWeT6N-PKtcQ!9VG(V4`nlzpr)&|W6ZnU6239Xo z?wt3cF!)NxeDV>utvi>~s2a&0*JcOa>85j_=Pz+jk+nFEJD1G6xr>Jll)I@K*s zvmk!FY6^2Ci(Q9I3q~Li6_Zz3{IN^Rt6bJHE|#~IDxf|6lOcX%J#aC@!y zqSySz+A1`e)bPNWr>!@h0GU5+XlR9QndUfPb3a}jT+#}Rc)a&)4QvwxXo!SgpT06B zLOw@`s%h0VP^7D@vDE7pMFB#X#dv?>RlTF+6|>1sRhgzN-^s79N!O%bhtyA;_6~I~ z${eS{aCRue^4Jy0Q^>QVhxfDySmazJ3{H!Xh_3})`^ z3o&nqS(*zI)Dbf5sKT|NBYIi6{aPLV;W8j8d8awBmy(8Z>9Z%{r@>$@j%CwX2nNVh z{2nimlKpHmJ6pC9vAM(?3u?aRs*sDQPdDYi`r=Tq8lL5t8gaOSmts+BrZC@hL`4E^ zw%9BSs?C|j=@q9dwC+WkjC0Pi-$gxvfsh72GMcrOBz}H`uCFg)Px{_S>LW_<^0Q|Q(r?9S0sFfcJkpUI-)(4X|a- z>KQT2sNNgncjUv!zIkV;$ocM$cVzBBGU|_)Dfy85(i#o(jLL;3b1?Sc9QRIOw;!LN zU+TBJzg*;tJTmJ($oVa!5vCoJ$I$ITT?@gMP&_AzK2JuOq_#1oz5F(2H(g$5qMy+a}1NzxBuU=1mZjA|<({4O`uhh_h7=KM=4 zR+N@Yo0+r&sIIp6?*~AhRFui#i99<8;)Yw9DpkphLkIM&n;8uT#d9t~>o~p&BeqIUv z!b4_J>RZ^8k*BEB%;?wbJ?x%FyHF%tDq1W6{2>{{@liGgT z5*6MNNC;K1e^Qa6aF@pnFn#Z$;%4w^7@U+{OJ+Di5($_RRAa-Sw?h#9qoyrKdl9A< z8WLhu80MwgFus3JIv$2Wmq&ec%78DpC$w!9fU_FpgNCer@FG0Zu|!-w1V&wyV=8iR z{N;HBH~Qu49)~dpIYbGL#x0!Mk7GMwmre}nnQxOdK7u^rRo!e;e)e1DAeeZ#h?pIS zTVRn^p99PeJ5oSvuL`fl&Cf=yN`X_2 ztDRRIJU~|7qS3zIGPh*zZ9qKuv4UfD$`&Jba-J%)(UV4MSDtDrr~qM#pH&AFXu(;D4oiuroz# z2_ot~BSn>z8;9WyK*9nD$|-Mf&hmVi17}h6!L*7pX?X~hFk8^%dzLEbPb z?lHfU-0jhNm)v%Il$3;vrrzi%wl^cN<5vn3D@f*oR%Lpnv# zt)IE-OcD_t1BcX30}C$-Cp7KGU_?8h z*`@<~V4(gKDkxSJ?B@!((OZ+?(fCrXl62j24T0b`~z*SR%f0^7l3MqPHITq$Cq|UevN;e zzpDt=xiM#4-#Nf+pB?&*QhLs8^>%=LGyd#BXWEh+#?B|J zjST%jqoNm(a5DnW=2hY-OHoErlW2dFyI;LU`_1Y}gZQ|oH7QBgp70mZE9;Z&Dn~i1 z2w;=8;~MsApQG%zf316kMV1?yr3sZW-|0go0?qql zg^I|y-K@XbwM(b<_)wh34-Gt1z#)^ZYPepsbT7rffjVNC0gyxtS(5~+zD9pXApACL zvWq}&5r|5MsGqueChTF+r}vnnV+dZT6BH?SG;}2^TOhNmXB4} zYW&P&fyXvO;~=AkDrby22qY(aC~}0;n;Dr|JN`y~ppjmaX)`!tby}|4cxWcF%n^BO zGi<}EPfP!CG|Cu`V=Gkl0qcK;p2tj7))twDf4Hu%uNotsY}Art zJ_U}!mYL^c+InV&;(9$G+jBMUm`lYnx8g-wM$Dz(0!TvnMTo>FAp*L-@Y}|qKEEdx z@)6i(7u{7O=aDXPX>@BTV3!*7m)&mAfM#q1XPCM}0*i(leOM&LwqSn?hciZrq?MXq zThvDxKg`Q6QHFH9ZU-cBjxZnd4LF=Zl<}Lfe>G4L;R{9aGXjS$*b6?G9Or@Drol8q z$6_o#7--^im^g+{(JJvb0{#-C@!iVn*ZZTDCKl+6N}4^hXly6Q497LD&ZTA>wx}v} zXg+&z=m-lxht}tTUQB;PBKft?Ikwt+`t5BCT|lHa&5T~_6!%~(W;FLrbj$cm!sE_k zH^on_m^rHZ$j>VY^tvpuo!}14=z(EW7~>a~vkIpPwEHDD$d$bLm3XybX4K&qATru% zIy4K283{+O5End;U9b^9&iMgsOto_*UmL*HAGp#NcouP;L?M5=)fNS{|2<#**Sm}^v=(2Ow1So?5Q!rn0q)!3P z8j(JrR5SlO(D8mcG!X4QEB=ZHlXMJjx?jnkpcO?n9cc7Vae|vA?T4T6-_Uh{3vi=x z#sJ`pYzLJ9ovnY~DVDV`@oUlt_0+VQtO~$+@1Iegl!_D%hH3h74&^Ee5n-a?kSllO zGJt^ZRjTNP%H0fo&+5@dX9n0IoRTmU84~#R?Jt@|=qtjxuy#_WFv8GOeINqggg1Nq zJ}cBxxqo`#ry*qd7Auxg`8!e?)rH&In34<#cTmw@;Yoj~&mW95Z~^rsI0*$y-FNfg$f)g?SonC)|0F z3><$oCjZxoEZ}hh=i0s7?mLMgSGBQ{pQ{dWK~zd)uy`uTmBBw4pa(0hZS<5dXh5cdbnjm4#~s&M5L4$xjv;@;>@#{`qVaSc?|i-E8dPN z{n<&aX4bL4(h}HfA*M7fskfWM8m9Qqjp2`gsC)Mq^oep~sI4FQeq%AX@RB(`QiXzB z9F2Q4_d|6X35%3fjceIyG$fSHcCkLR^=5Ut1iJfyxmb0D2dDcNProgTZY_{2{o;S! zqrT(ivh|l6`RjA}sgD85Z|TwHmX{INc{)F*#QdrA`$;{Q>w9PuUrci{j^q?Xn{Jm$ zE?&Bhexk`Ml=ljpF}jf$;B?n$6W58UmXvW1DaKwP`oi2j6FI~C`z!hJ?@}E$RLE;T zw!M-MX6`Al4(@Z!?}7M{-A96FPq%-WSeMlVqwEJMOvk3Hj3*WynPp|M;iC*_Y4y#L zPu9YPv@B5L9&ZJ@>BnkVvf9hz5iG0ou56Pa>qMmeFK(AQNggLW&89=mZTPi9jC1Se z*xcq?H$bPu#xoXJ1X#BmV3)5}3@-8r41LPik};#sLNpS;+>ff*kwSmkejk6H6j0u6-ujPw9=&4+Y-B zLwccKQSa+!aEUtB%Y2q^(LD4K*-eerTUdTpSy;fNWsIFqPne5Y9x!cZ<=cq+)9xD9 z3ilISjE+8%pqAa8SkZ858cR7Rq{in(Dg;@qSFnMJ{Oqi-=%i3ro)&-2ZP9pfzJzk2 z#mcusf5u!$Rdx|_1LS?&K_pUzy=uDqHu_SmQZ~%y>*3;+;M?&rUtEoF*Ik{0H&PO( zSv1F>R0PuCoMh@C)=-9ldELZte1=o~QAk#UdpLuK^rvPP^)UZKD1~)xuq`hhW|%ZY zXc}jBS(2zJ-pL52MMi%aX2#yEnQ`ync4F*WzBKs2Ajv)d3Tg{f#I*dJE*8CC^|AXr3Mr+SVA2fBOr?(3O)qUA7A)y?8R70q+Z~gIIwpMDNHm0h$L7z zI(RpAr)scBLzr-oji|aSI#8_45Rz?Xl30C$JAZTADv2&v31xqD{ySZo?B`cK7kPz@ z`T{Ha1-Y$GHeFsZb`_Cc+50D}c_8PHxJ`JePI7f;my5!G4KFZ$Z}T)Fi4 zl!`LP(6p~9lmpZ8p}P56H!efrKTFX#FRMMuydLCJ2mT(9K+B;gFcJ>Km(xL>#G%&3 zb|-g?wx53v5QD%+LEE{7p>!GDpVtWY80dq+$)%wnTWV2BGyAlCff!_#oJG6YzAAn> z-?cs7GzRh=z`SATFp*5BfU2IhaPxUHOf0#JM9G(!2$6o^)eFdya+&VOEGaiC zpfSkxVKDg@mAz6F775fP;!hn!*IYM$rtwawfHHqvl?7Mreo7P`I5S!%1>#oE1Hk~o zY1IDVt--6HECcDuGkp;{)x$3mWm(s28o7ABMNwyV?%Q>W0Tz?!y2|A6rjGfi+Xl_$ zA|I${yE1sMsq;RbJx^7{zmM(9y=SmNgRkG57{WKe8z0*=O^n%Y-5YnUn<2p)vvIee z=1+fxJ!bs#+=dZE^Bk46kfD+=QZzIrwy;3nx{3Krylb3??;AnE^EfjOJ)PW)+r(_#VN zzZWMgM+{Zx76KAoyEi%#w4dt+)*pXt_59T(#DkH{B4ch@4Pjg>9{2=xqHlR)#qorH zKjSk-n)>I4*??EVa}%z5Oq@5-|Awr06|}PqEWH1SN1T#wIg*<>6tAgA@^oVs*dZSy zK_a(-SQ)`)yk4dH@+p=vR0>B&v=w8#Zlh)rnul|>e*08eD1wyVsT4?^I~;!mMV&1f zCxQ2TYKNCEuVfRozg6kHk9O$k)q)Jer$8|)F=dh7eXr05*HqQbY^zD+FRoFf8!fz@ z?h%#rPu1WM(<|E&S9VgY9E#JFg~Z}2bGiz)NI{FUu<9yf@&bs%XouV`>Q+~nYR$(> zU{5Aa{ws`Iu5NqheXh*M?6ZIM#QYfv|Qw0H#=*Z_Q%kE+0Pt%B-j<(dC$2Rc2e?Ej348b2q9}B; zl^stGd~t*&V4yzX-mS}~%Yv63WcV`NxfQT@LV?s-Ya8oAq~a%aWH5i8;tC$?kTQC- zB7qKg5r?J@wK60Q*nf$||%-PN|4fDMaPNK2-O_^wQDf zEyiqRAzc9|+?NwauYrGbpO5~F49_ApR#nogd!*E&WDVd2 ze2W}Jfpa($?sxP&qN95^$q_BbDOCcIogfLIc5s1m?J~c{BF zpLHiw~r^!wJNYXW&EO37a>~_$&9J(N?L)YuZ zE%rpRzr#m9OGAy0J?6ueVGN1;Caso-Jj5?YEN3`?*fV9pb!l>a+CNfn*+gU4ql+=J z%>=|87*}g^_b~HT>jxi_HRd6>JV=VRy#bH-=d@@$r`H<4In7bYzCs#m36%gL)n8wX2U4KTy%C@lh9HNJp0M2C#TV& zU)*CJV4+9wsgRxm=b!0yeTMVAdl&y-R538aVLS?&ti8P>LS8w#0qAdcpn$V28jcaR zuxx*Km#xj7co?=LMN)4;YE3s)oyTF5p@WjQKei@+FROonLz>`bKry!&5+1qI@7vvcB7mDy96^%(# zslt*kIo1oWIsx75h6LE4JnuQZP$((8m@tr7PgH+z|D2@=e5?(T9BR?0t=x|>rjT^9 zll>qr^?^Fs&EcFy0eYwN!7<*$?Iw~g*#bG)QAY*n37h3Vo^|cB>c1(nI%{l9i7G|7 zo&K0};sFU;pJy%T=hS$N$?;yh5l+pt!rsJPJ8jLa`6+i=%N{$jt~3)~2kl`Hm^qN1 zF8O~N{265V%HA5+jOdetZoktH5D3vwEuuEwIU8G>IcjA^2@NfkN@fk>Sm>dD@uZ#H z4UnUtQC-fp^tN+og7aT(FL z6yL^9g`N2~6b{>mGt9^cqp=f1Xv&Pim|-m0`Px(VT^UQ0eTyvNyaA8?;@pL1VVoAjTW`}r>Lc4j`JF5R}4#~l0= zcn*&Lx+i`{zbW)l^*|JEdpghsOFT%;VsL4!`Fc?GQ@9ROniWWoWEtp;`si~^7^9Rr~?A5Vc)TJoFIb0h*l zJhWs200gZm1%gUx$!WlIbY%c-0>~x|AhsI9B~URf+58fSy#@~X7eXQDg#{>R20$Kw zp5q7yDEeGV&2f(2JfO>TG}1NU{Gb^+u%v_pPEt}zN?MZaeig+1pE>a=D2+xcnNrEi zgOLQIG+n)Yd|}dPseh}SVNx=((&Q~J8aS!JlHfB`%X6A-mm9w;q4B~|8`~nGMrCtx zaLvUBaJB0X4?k<|n`Ev$TH8-Vy?Lx%?a(*DLUFSQ`tz~>QL5DvdY*OZNL?bLRLJt8 zHSK2wL5AdqU9aPL4brx^p3?Vqvue}|jN@qLLYpGDBY!`}-i?MfpCm{$MQQsC%)5qzmh~C`{nKF~h$-N(&{-eo6eC2bt#*b!Ev5R*~Lm(u^#< ztZXRVfr96S7cqF=&sF;@+0S_)Ht;Kn)~P31CssMnl!rx~AkaNA)ucKYJqrd%|MtP# z0fm3R6A7zTw%`uc0$hQAlUOm2^MwCWc>wcl`Ln{}Fd^RiS~>cxSioIhWaF`Wlo<8q zL$JzQP@|6J24z(xmEJqln$ZB@iD=3i7~t4T;&{aMf>620{eHv53ISu{Bd?JVEj?^u*MV2GbBe1L2rl^1{pfIsv?8CO}eh)amkMuaIV zM1-cV!}g}$y{<$-;;cK5Jw@Sq7&V_0rMWv#bhxOflRV$_V*z2y=8C=Xsy`3+{o|=; zP>|>Gt}u6zc6MK$(4p8~fD$QV)th4?s=_4$+GzQ%hWtHIN#Q-A_qvJ&?8g{uaB95% z?T}~o>ihX^1gN3M7W^Y?)uYJ(a~kez8qzTx)TGrO$VUZK&oP?MO`ZA^^Jy63#fx7q zgc+`|Hsri=QO`g4>=>A$=aLe?P#ftCRim!@r3|hicwVM|xL#7NqMs5hC z2zt0Ih3xqew6~7-_u%jT(5r?~%*XZivUG~CB%Kxn>=KLaZowlCF9|Lu#^;k!0{GYa z*PNX@sINZ7Q1wk)qe!^e=&7M(m7R5P?T9!hmON2=X*etjQePg`-9Zn1R~_!p?eT!E z7Q3x5rpexc!Rh+XGFsRe2W~a|{9K}|SX`=m%hu7)D6cN%OI5(QldgN)XtM{|gXB^1 zXKPnr{B~yz^1TB2MhCe86UX<@GhzNZVPx_+G`E;aw8AvRlJ3(t3fN{fhTiY8&Fq_Z z#5Hn_#sr3%^b`gay4__rD6lLxD9{;Ws`ZO@04i#!G}{2}1{Le#A1da0tXLh!5et^_ z>%>B{$eFd=NJKsz>j5RM`=xKXpmbKk@vj?jC>LvD`uu(#d*rnFmj(HZ{=8!jBeTaX z{ccW|ki^1BQnP>w+t)_D7u86J`@PV77Q36)*5-_5$Ak)of^xm4f!hk>%8$z2XdCgg z@5HSl2w7$Cn`soEUWr>>OGO&2at9kK$zneg*y)sxryNYPmF`9z<JM!N_7LN2kup+p3SG~Oap#OBI7H~4lKvlX z=0mtA0<1$0kestBUx4F0oc4L_&+>lJKEn%J*2`cUA86!a7Ov)%Lp@(Cs%TCbyPJ*e zmB*o!YTj7i8D*QSoGuahxmfYmWHjY2Qs|`0PrsCDP?}HIU6{$aT23^mwOa0ZGoPvK zN9LndQxg97iuc(`TYZu9(sJ9#k`v7pHy8Oie=4N%5pYbtMf~+PE9G;~k3g#|iq6c@ z0;=&!mLhU<$;%g0#)N%}b)k4ZSG!70x7tZ5WsXy%Z2H>t-f=e~BmKIw-&6Yi!+#7d z&Ycogl4q6)!-MubMf{m)k)Vwx3V$6%zcewK^f(sl-Qbmn&?T9cb1jZu-}&WJslP^O z{d3uZJKX*geADM!D}(8xlXYukgoRve#~?yGW{%DdQ6a1)U{|$STJ%$-u0YzAwG_0y zBWQp~mQ7dP`n%MwygUBm2TLKAjY;U(ls10opk)s5{L&MVPj*@XSGrAp&)>2wyv0{l zLP`qru}Ec1$o)yH72FpRyuupSfOSo{H5QoP&5qS*{cX0fM869rX0g7gWhqtA<>K57 zEyA5jn-bzQ?F2N~#;}I0{F9mt&W6{xDTB3}We-emh=u8!n&9BcHWr56pfW_0$*WtV zhZ*b^sYTID$c%#Ml&yi639uZqFup1<=}t^;A#?DFfb2zQKZ2SLao)t^Ud3UV{*dYS zCoO%b%liY9WpL}6#j4H%a&hu5BSSiGyD%H&A0pkosE zNixxnhnfy#!xhVJ$}Pm5T4`mBFiE!aQ?J~aQwun*75TJ&|4R8zRP_>m#lEqHB=<0K zbabWsb7(}{*{gR$ZFQ=DXY=ij7FkA|18q{`{UN;*wkft)Lm70kZSNy>%cR*nRW&8nu$+9x63T%e6hc1%yR$WiU_ zh8GhFuo9AF8;{z^n`ag`>UVoivL)7R3Z_n7wed0DR9&CDC-$vS$aJi0`;t{*V$|aMcXE>BZES6B@5nPZ^!uUR|tz7$i7d5~4B-!G<{J0Em%= zAl{84-F0RMkA*1Y_Urih+S|5VVx0cnhe!C(?t7eMmwz@^IGEm?y*G*(DGisbGyIx% z!tM$<2y@Gd+4e{r@o^$T&VRto-hVTOaGSsX&^4>4uV)&pt7`xaOSp>da)`?mRERbE zB&7d=FQvs=L3M9YdIS8Uvzl);a*j6RH+y;}#jZ=0{=yjTUDH-6MR=hl?m`Hq*zskt zBl1T2Lc5sf>t*T1hV4w7!HEZL`=WJK73{qBk2I>45CxXw-J*LwOr-hwE)}`&im1G@ zaX}MA(zS(JiT=H~^9S$8vawDF_4vwff~jRo8@%G#T0`2EgnZ(0a0ma&^!}D`UrE2{ z;HAOv<7zckGeDBEf;C7$lIS~!;@KS<^d8RJW99c3*A}iC z-c$ndqJ5IsEaWU+6q704%a=OVr zd})|qG}Y8s7wpqskV15h2jU~Nln zO^u9bf5*CPQ@|X(xqkERzM{l-M#ubUL3+9p)PF6(k6uu2{nu3DNJiu2hZ~h;{s_}> z_X9(z5lk^PmDE3emM{UC43mdB+vlB-Gi*m@v0~e(cqH!iic@$wWB~DoU7MujzcTw5VI~*YU7bSbleyZIBK& z8|jC9*eKCenuOW@O+Ia;Nf@8Sfbs5*KEB>~2RAUDe9}cn50J%>XC**FB&-b>b;mUb z50jL|f>CBLD@hm{CV4)*?cw2jK19PLV7I|2ZFeV+^CbO$NgZaTASENMg2SM(YN|3g zO&J+k8Jvvz`EHKEsG>0vk}?`MVgJ2ibLs#0b7>h#a_9l@I!R;*rH7BT1Jv~=1N zA_tFwNlE3w;Kj8$2yq0!9hNuygy7*oP0i|Z(?jSZHeL_4_o?0sZ>Yw$wyR(Lwx1uk zJ&pdb+&Gn%PN}z;__qD)@uTmU_^nA)A0Jd`A<;$-o8%G4C6}Aht_>a?YzVS=o$zjd-Hn~)l z?=;SU901qnF!`&=8|QqX?CK2d4Ww`zF%4%|sq?5GY7}bJwMI{M`slxW`tt2XMo)(F z76ohCD@A=DIGH~S$}&&8=i3caEU6iD6P9J!_g+^-UOJ$q18 zp_9&eQ_1{J$=2I#%Qq`?ElVI>ej?(=NYLM%A%)}M#J_g>Gk>IeRD<*WVvP2YM#OZN zGy`cC5z9tGc{Ym~?}y3G5zXn>r;tPXl`fxHucnGUlB@e!hTDaQ6!S3hb2LZ*EQLmc LMMN|VHNpP_1UDPY delta 53699 zcmZ6SV{;`8u&sA&TNB&1ZQHgd#*S^wWWDoxk#mXSp&xTGy9yO<{Q3HLYRkq7Pho`g!fN4f9q^6-4C6 z=(V1iEf)nAYM*P+;^u5rTBkJbYT_K+Bxe(1m!~%#rA;eC7MF*Cpr#i)C|C zng!!W;uG)n2fk@%(cvSm_!pMC8aJ8rJ_%NpoBEx_v0V}_|D-W4Qo|~9UEd-1%bz;g zaAC>&?egU$+yUngHsB1~-xH7$a|mU-<@y|M-hy_W_JOyAJ9|%X_ay5wYwgQ2u(7^s z5U}`!Z-tkesI@1s(=t-p{U$D@8kzd$nP?p#iCjb7MBp5TKdafXiAP!k$12!$r@T9aNX>U1@?IAeZ|RaBgr7mk%BnPvRh4`*Id32>iG)fN{zCi4o<*TA15?MB`iAV!+n&pb9CN%01#*}oG!{$g zhk;K#Ta)RPo^*m^QTl|!4V7N2OGa>0|CDY$jevAM4CI`afzE+Lzb7s9-KHzAyb$aC ze1M^@t#=|8Qyqm>Lz%*mSz~$d0-RS!@%t<8ejbwa=Jg*Mk~RfT(7q@4fi-2-A2d0Y zhuqg?5wv;LojjU-NitDX29dwl`Ou~sk%ka6j7vnU2m72H!ex!=caYO)OOW7@7@rgu zTEPfW$fylne}wXAm&mp(6{md(wYE~-$bhosW?rNz(-HNJpJFCT%R(X@@q^;{fhTXX z4{gzL$`eHM1DiSr$K&44KO zMFz(edmNsq^)ry)(CtGx#Dm$f4VRAoC7HLv8bj3D#{JhE*Bw`eikR*?^bC+O;JZAo zH#BZH9!seD9Z|J>txcyIva^1iheZ_OJ<7H(>sh|71 zuOj}!ikNR8(=74`o6kvA!0Vu?K?0{=@rw@=Sp#Y3v1rB&2<9w(`9V? z^Nx0!$iuWLT%pJCcl@a+o!~Fg@L4m?xK zKmTS&Y0Z4DL{h^gY**3t4w4G{Eblt>i>Rni4)oi2kSs{9{%{aop`PDLciuaRIvKVh zOC2!AK&0n4XDfxC4Ad=E$};NG6WJ0Unj(DwvGI6h%D={ih$Fuz`(ei@zO$V5AZnpw8TQK-3AAO=zu@W%p(zojh#M7_M|o zga*)b+Wi+4D)_>91q=hTH-cN4*}F{LNFHqY$_(=n&2_`Y>%-E+e^7=}EUTdCRUkw? z?Sy}Cx$`Sl&xG5;@sR-FIUAT>dBAd1nB<$Zz#)R{>{gLJfmP=WN>#y9TbUR++St6} zWfIdQsx>ZVQ6mvd>ah1k^!*x3O2=r>+jm(oLc=z87I!W1)>t{5nM~Y-tfTcrC&Xc? zX{K6MMvo+DAwnE5I=#3Rqthv`BBzfCrz?$$ApM*{cpsuFJ7?r;XK|Ok+Uw*K19I3NdEA$AvCYjrn=iXqdf0`bF?xX3 z@2EO^mH{Jnyy9&=Dtsw&=p=4`g2D$r6El3c{08~aPpQqNlyd@+LtFE_$L~Z|Blpbk z;eY53fY@SjAZTnqEGd-Tzi&Vb=2lkk0zgfVS+YGr>kCiIj`_5mA)LiVF}+fFW>ugH zJvP6g+(&YtW2onUjAif0mfVM$7~3K9W-vxDW^4cKudN$>P3$zlyW?bW5fqbFMJTLJp7**B|A1mc^k(7z}^sLOD9GZspx?r>*xLDU5h4i3oy8x?@3zY0UYx} zR_d_YK^VnGqnL5~tGA)9CY|rfK=yL=w)!g$?Q}xe##F4(bedrUWGAoi!Z0+JlPK%VdVzF1$g-+dq8@|IW2efRJ}>az*CBogH}P?I8=m9&|;}jRk+fFaRw@? z#yECfAjqG|h+YwiKxycX^m${2u??Meqd&~EH>@+`yAcmY?9im#$e+D6;i%XCttV`P zqxW0yqN=yqJdlpSGQXCT^Il{fvq$t{;4E^RoP#?qY})J@w)g=<&V2+xSxn79y0yx z`-fMjsAh&#Y0yS%JuFuw2`J)443|;ZQA@-S(f<}?(C=TbzD9CFigOXyA?LvkOg|4s zi;NUdw3ft|I~kg7(t|F+YtC}|F!AGTq9dgTkho$!MzPDPMETbpEg#c?(T%|~EsGQ+ z#N;NmpE=ze$nN+%PrL2|?5Se%`{2GY*W1lF_S%DnN+Vg{`;w!rbGIVl1H3yC1z*Tq zP^$crgmWjwqzWK23wp+64Y{U(iB`VhQ*RnYaz{=*;pHre;l30|UMW!USGG3TiaDR> z!|1f8X!@Q4a2_WrpjTrCKLPf%X6tFQ_ zX4e2J@Spk)NdiN@pc}l@;zm9aI`t7v zLJPsx6dA-Emc(V+QC13HoXAVcCKuwls6P~L;4ju+vNX~VRF9IB zXL<=8s2}F{yUoVGx3VC#BP+sh2rpo~nyD>wYJJ6zrYtk*{|F3Fz@ay8Qrs z#TdN>NJwcJ3lrF&+S@3aiC`{qn7_PY2_lR%F3!N#i1*#Nee(xk1Xa1D7!D(VSs{WZ zO{dsT%0ai@cA-=35A$(7FZ(tKE44%i%&0L^k;|837;*(QA!5`}r*T{H77wD2S6K{x z$|*Cj48R&>nrW}6H%v`~1sQN@w=~A9;{^Ncv|H6{jnc0^aYo#0&kQ-{xls3`mRg=} zDEcABc+MIMPnZXsqBzCUMbDfQ$dCVsK*Gop1nW;dw8csz1erxNmAm9tL5wNUM$2Yr z#rPLY+EEA_Fc%VqBwVaJe=n|4&HWM(cNB_Xv&hP-c4y!$6YA7KMhiWCADg8nt(enA z@dF9^@Mf^EbU&1F7@82i`DtDukY3K*ggNqkQfvf%xf%jo6Keir%H!-S?hFUnzK&LW zI0o@{dw|CREl@@~RZ+xMQTCIhu~&o5)_rOU&OcDwChzlDMRc-a_syIDGo~S+`!{bf z;PTq8y-RBmBz+*YBv^^nsl(|}tAgia7lFRq;Et#M7$o0s1xmr(e9_jyHvs9+&sIP@ zw-UEB6jLp*z0eVIFId?Z0fW+K^vP?y%`~b)FzLiR(%&qS9*LTSCAmw{OuYZ1@!uX4 zUkW))GVaBZsIuvMM~#A!EfVK>2teQh!GO_-&)*qA9M-7eH;4hik9-dze7F#a9G6@& zn61?8Puwj%5xrwy$6?}-I%L=@dV(ch@{{34)vYKnZo-*m5aO1$4{vC0h|&gPc1g8t zM0^(_)O1m!kHd|S4>qpK=1AWuUddjz6PhkKvl5Hu8X$*pmoF?fj)Sv>Z*o`W!{AYg zbs4ERFRTv?Rui%Q%0Xi4+IL)G>l5;4^?6h5W$Jil*J|xA+t5wq?t2ru)YFJrVLFy9 z4eJ9gWl5TQ*>vAM8BY3&C4tHm?k%ND*?JtK~^Xus9U$+^Y#odzZ-*m-*-** z&BAE&^}D1ML{2(SqGAPG0h?m6v{INxWF!U#e+pr z-B^bYm^S(P-Qb5S$itUI|8V(YPZUu{z*XRTH74psHOF8M2+u(SRB z0w4SNV<%gi*LSghYOwZWO|_YXGB|bT3Xi&d%l!mWOc7znyYow&yI8;9{P}@$9 zPMg9Y`b~Z2^Ahw9FV+B2I!byB1OSE;8S92)(-sArOY<&e)CiF2g;jOC$C8eub2dsmF@p! zG(EcZ@rPV4|9bn19Kp=Cg|o*rm2rtcT%vPF^f1E#o7taCO+rhpTPtz&&)N_29t>@L z{Nk9>iH&5havbj_(rkv&BjtHCsb|xN2tDurss*=z&!2624|wvh^6S&zHxd(g^eigS zey)8zUVYxHb{mW59ER#`wmln9^2=^*K-=203p|F~yPJ4(R|ds4+cFJCtwHOz$MDwm z)>xmn^W8m}M-sztB|^Pz!Hk_v-JXvl+i%+@x1S#VWp&Na2hsI*lxie3=$tfzp7x(f zi)hXtWx*TcBA=fp*>{)E$8W;EB8Tlh;ABcCwN&E$6kQg|U$!q%#|#WWaR@F55MLNz zZkZ(lr#(!scP)of71cb_aP?Z^dnTYH-nX-AIF#BUU?FKPf~tRHEm=k!$S&3L@oEfr zQQKIQ?4s^iT~_D8==K<~tZ-_vy*dW_Q+qYqLfI9>WUghTaTIcbFIl-o|x2u#%W6tS-^dv+S8>^E2D|01V>6li?6$I zTRp0<)Ecf4gHFV_NrQO~_4m9t%`9!heqhl!rG#jW`mnp%0i(k^Kxh%aY`dUY~4+`5E_*c@C$Cw0>RY`k&}DB3~ui7Ht+g32&XMJdY3nNHyxfH zf0U8&TbaNVG#}wnv5S()e%uq%=>xodrq=Tbm4~OJdhi6s1sgiJ@_M=A$=7-pD&rV# znO!0TZsB@nn0rz@N^hXS&xW=dFc8I)S_cQ3ynkjJw&&bVdH7mk#N zm;j_D6Ojs73DN5AVb=2<&tRw3UZv*l!GkY^x>?MRpEB0_ z0aNU^dEK5Av@1%8O8Kk=^X3U&6Fo`al0)HjTE8KRPQU6}AABM11u=+m2st zV5sn4L@U@02pX;(F!%!?UMiWRRVP$#40ho9>PZtX>GRtYb2{)3G-l7{J_dlmks@ok z;A>{bPXBu4NA=astKz3xM}#I1ON=Q|;noW=odjRGnW%Z(z&IJgBvp7s4dlDcLvG^F=db<L7dozcs(=F z?8x5239n%Y>^H)su^2`gSCjhhHDO&IGz%7fIGLh1;)A_Y$g8w1wjvR)_+9aNq4tZy zK0VMg367h^crdeGa95_2Cs0Sn78yIX4YK8w4Ge>ZG-xS9z7h6DBOJFmcYm0#g+L`p z!^U#$CN{)wEC|D07rgCdoexxX{puQh8chMEW)~$ND7gH+vkcZ1rYeYE&y%k+KOUz& zjalC|wa#qGh)^dq&qezDl0@IPVgtk6sMF=zbpA&to3sZm#4C(q7Oz8^*J5gU?P6NZ zN2cn$(ngUI;AXoe-?q5Lr+ai#|E^Ysiq$X0-p7{gGAQ@gH%M*rD+omdB}+Pz#tasc zm70_lNFAIR!fQ%Fus1SO1aMqe#pCU6@!)CoU|~t78RIsi-P6bx#~W*Ge${qQi zL)7Ce-vmvY>yjWhNSYXW%plNZVQY-btlz0GU~$1$+65PM z@)F*4i0y1;#j+6;M7I8+@9CB8Vj@_JWe%P6FEG|zvNGgb-QG$(9^$y;3s;SMHubjz z3N7s2Cbg;}T43Fcl%!XI>O)0DXQ5p{3^$52d$;*!^!(25Kp*w-3Wk_| ze^bi6xdXW)p&tDU>^mrQGD=0Q=fuea$|dld=5<5{M3Q7!YL%YQda$s)JsiVfu7g3W z+Akw5A<}5g)RVy@)c$71wfY4e%n<;aJwZ7wkV>FHGQvj?082=69022eoUsQMU>b6= z@EG`_^asjtES&uBkZd@Y*^`5z;|q1=Fy`k6h*U^!k|z66tA?)7DKfqh1xlbO@Nv@l z2iyw2-8m$%rA1?$?ZWlQ{AJILQ)Y(a2`$4ILM{30NPNm=Alk|Qd=FdV&A9xzgV~G! z*!(KC)T?(WJe}Nw6cIr%Jc{l3<0K&1@wb(rI;HCUFbI41geppPyKFYFa0d{)e}uek%Asn}^T%u24C_LSY<5fs;0C@P1m zs~3#m>6k(Vyq*1sYwN^Qn7bEhS>0YeJcJyh+)GAXGAPWc0A-3;W%1fZRK#fXL-n{B zL*W7a--VQfFG!T;fR%{!vN@ya2dv%=m%uho&v$kvW}mo)pD+wXAVNw+zf%nSiv4b> zQ>18SFdMlAvNEQLV&9J9hND6WYHu7R@k#6e=l-#JQ^VVuqzi4n)-kCKa0zO=7_cIvY&V0d_quL<#QkqAUu0JBjyhw!10r6SG0Xdz8|YYlX1^i zEdSPBKJ#X}XOAlm?D2NkIO-xtg&3?RZ~n&d=(QrMponl4i1TM$zXaU@ z?rdY^N}f9k)uG4;j!)ab!S?ktK{o`L>IrkRi%v(y)L!KDkY#jon*~CoV7}V-uBWG@ zDsgjPmFQ!B65|Yh<46BFRHyn?n82;O z5K!&Uk6cY>55`4D&T5)HskkbUilZ#;1IML@fIYPg9b8Cc#59W!DQX-taA#&Pmd}Hg z9=(UH^W}NX9?G;6PUAo}J&;qyT+gES>#z<&qn;Teg<{*d2rr3ngDWL+`$ilz|3fF>8XXoK+Vy(=5c=t4?U{_!KP5BX-@^spKCfW7UC(c4jwe`KFfXI8z3!GZj2Ni8 z@NBA)sM?16m-_LNjmfU$962~pN1E(QnR2DP1KWhB78!2Rcis;Y+D~eW^>~6xU+2#0 z)RA$>JK{~l$C29VVD8Jdo-;C3hEGM>$pB~~Od?J&iAobm;(=z&Z5%2}md|pI`W^zE z#9N?pmFzN3Xe#Kx+-UUe}8gd->pFbd$zv(7}7Bs#ucf~%E=8_q>)L% zOYPXRE8(b%>!9#Q#Lq=Js6nk$ao(EQjkLG8B?m?bW;|cpQWuqdIa!Sz`b-8&kQ+=* zaB!7qQB+j&8=>f9fofRmTHozK200(Oz%JMGN0~<76h3qv8H-(HN_tKoHgdx7l>SQa zlDTjVz;v;I#W99T4;DD(fC|f*;JLE{s=d4fc*+ZMlU5_uz)<(2@hN|P-T)MTM3Fsnn= z=B$l};IfRrIi7LR334>YD}3Hkk$-8E=c5R47ACFZe1@qKvs0bV{OFp~K3nd#gEZkP z;d1g2+H0R}xWz6guZD+mZ2m*_k=d^I!wO#b0%*4eln>`h5nHEXAmr48W zeMe`PB*F5+;t3m|n;37&i;x!sL>+w;f0}|(Unlo23m&>hHDSL{7A(~6}wc<-cAif&(YG3Suvf5Oj&xX!cDlH zbKjRg&{}O8ynrm4dM~`Z{C9ZFzwi*%&xktNn4tk{2h@XaB!-%jmc=8yMRHzNoOq}<0@U#lt#iOw=gAZ3 z4Z!8!9Be!SdN3aT-ayX)!&wP;_9>cz)EnofS!xyQJ+;7;1r|SbvumN;sXwmdr25@@ zV=kThxZA0N%D)*7JDDM3VzZ_WdGHiQ;cMYqp)VUWr{sVv1RIW_IVZ!QkCg|Q&O4LC zIe|{~``dHyoElec;IE#s0n%Z&zN5JEutGY!-cK*4gE&jm-B^{z& zdzs}ndsxWEVTp`@p%KZ2YONbNGugP-wK}QWd&8zA8YklouwD}DRKezNY{a_na%6-A z6Jd;-YG3p)W!0nl^f}~=ILToNUK1gAuTvYMrZ6j5R(1>R4ll=|1U;uI)!|s(CIzzl zKA|(ETkS@3O159llBW+2zKFTa`4Q9jL>4(RKe4tSBmqT0Bddc?p+W*jRsMBoDh;N8 zv-}P)BQ>b1HUjRpQ<6L!bgaKQy`4=EZLc4H7$I_DOkny;+wcU;IP$rxr4$zw)pl54 zTvPO-2@~0t%~eqcpV0F(E;glZRT_(~f@`wfmYk5CG8au}UZP-wm#P`9{%PiT;`^LAo>R23mvcd9DREU;eiSryQ^up~Re6OF-Y&^Sy-b z{H*-LW$`p&53`QDmENKM4dk9c-GD7-W%bb)J zO0IRveE4$InLp} zR6jga#q-PR21hP6A-Mw%|1+x8pM&drk5@y;ZzTS*_|c|)rB(rSCT@CWE;VK@9(E2M zW=?u0b{;0CWRwK#WJFiErkQwZ5XArAkqnW@`oATKME3tBHAN<>fRHhBnQ(sMI08Pju_{kNL4nf~8t`bh$V2V>*-pZe6cp04YrM4JC=-JS(uS{6%T zFXx8trx9-hWgKN{L(2A_M*Wt0vB->s012Yvx7}H8KM-7_3Z+7W{?-9ZV_; zeRT{Mx>vq&@(e4>-S>v?NECUUO`PH_fgn>AIsWb**w%!-f2t=tAFu>}oF4AKrqK?{ zapIUXM<^&*qo{ML6Ejm>SPse1I$T`8g`fx03+aLT%A0(}YNCv-^FQyHEI0C&Ibo2y zA&@LKLe>;5(DHfj6eKsIgPL+y%F}^IeI)V@s-z}!S`TyWck*gLsYU`+xfu821)N1W zQ@m7|S_;-I5JElKtP7hm>ro>+R@mWru2EJ5+cZgDvTHt!fcvO6b-|Gld% zfgh%SC*iM5a*Q*F1IL2`on_9k5WKwV5=0!;%7cftuB;ZFs+w^@NEti2wDkn5!&>l@ zOr*Z|vtgyfgPc3hqr5j2xAn-0;9`{#6`ra>CQh;kYH22^WrO&#Kvw|r_Udb8jT}&C zUXA_{owG(6qIt&iFU-2-H#7z1$-!jIs(cS}i7nHvE zj3wf@pfD{g&7WaJ+dr?mw$D!DgiR}~XC|*>+yFX%vZ0>md!&?TQg1l_`nC*^JUEBq zI@u^QwadsN64n5^*NP+y0Oboc>hF=3ATX%}z96t7f(l-i?sWnVJ5m^KB?;in(OJdW zS;g8~MaozKSo|(juNufB6V)CWVd%XJ;LtcqcL-ljjNgjncfjpoWXV7WU|*DrpCLrW zJnPh_p##7Q1vwREJkzHK4?|GCNE$&rRS5C72WIe#YZdy@s`{``6FqP2YDZYvWHk6L zcrVElS?_`r>+du3sUWV7Z9Q-y3@BdM@->KKY{!qjJux*Nlend*>Nmhv$FV%pS(BW6 z#DgYBND53)>$7Jif6b^#Pk zTc!|8pD3k_EQM3Cioxm|#^(u55btS9PUc6rNB!iLkWDntkBv|miV(ykum)qyXT-K+PoS?EFW9 z4Udh^T}`F8+4hnpr3wa8aJ=+jw@f1kZXvbDCNgx=P~yIq$YiLqr4U&UNXc~}lXtSS z#j1o1V??cl2!TeNQ1_u$ne{X)(PlDv799~bsd6RWCeBHJ-j>L?qed*;6e;=9$PlPN z;*l3O)@_?92>VW|Pw=z-B+`Z|iYNE3~lTUNnh!zT{ zdD4YHge>0)d%}Wbo@=>&NAOO48PI-O(5dl>%}qqpAHdd{+GMq3CvRwF?PeFyJ4-#g z8s(NU)22 z27fksuz_xTwX?~A-wH!8tR(uSKL$!iXU6^_0!}yuxU?_IY^;h zEddA|)n@*97h+5N(U-7!Xd#@%fv|Qk<30SLNkxpnjSI+&q|QjMP;i1u0;Dm#QEJaR z4Tu(bTToLMIwJ_;Vr0J_vtKjpYO&G1f2EX}9Pq;DSSY^0;pyxmExrnGH~C{rX2R9< zmp$cBan0a6YLk;=%SL7^nEebmXEF|eZt9_Y!Tli^XBN?H?%||fz+j|ZLGmk8!O!%Zl-iQb5Z2Dymo)v6wp3@0{Ze}Vi&q7jjLJVn3=CG-}Q1gtH0j6JqIxH%V(DW`p4AX0YUK22b? z!x1|rK%UqO*W^iZJ{&vq@>5+ZXXB{Q+)(AgLXDKo#M7kfy^}@$l{IusfjRaWO3UA9 zln!;IG(Fr%1$@L%(cO;L!We!v`x&Ab19(#wmo&%vw=DmQp~K>_a=peuDHdhCY`W!d zy&(jX0RfTIi4`a%Atj0{*@@peXh@(=G`>afI<_YK7i;yiXz>7guJFU#DhlLH^~*=- z+lmJWb^odBzIXkkWy+LI6Mpxi6YbqQO=;ZF29c8^@~2UN!+R0GhzZ&8~=;-(Z%TGu(aV7=c;(aBWazb(vp%D)S&2B<@*bbVw)!T0rNKS z)MTGS_2&R&`yb;$c0okXFYmM2H=tgIZfB!=Th85TL&!rF%$YL z6SQ%MLzqYmo=e1o4n{$-q|zx|h=M^*G&FN@^DD(VDH^$vr+H4Xq=0sA)KZZ&CX=~^ zmTlO7*ZFPQv12Ke>+QQF+^Wx1KNXTxB}@p81BKvK5g{;Z^XY*k7 zpp}j$I;b4f!8&#@?hl)NWkL+ua5CFo7ibS> z7_7_8qgnRaF}3~C3u}QX3EZv8@7xrfZ?or7*yJz>0L?X-9>SLPeVj1L?4gQgXf$`2-$D z;`|~P;?fTh^vZL2((w72Ldyi>b=y;Z6HNc+b`c0}z__qhNDw-o3A}lJrt9$uI1B#5 zA#g(pABnk-`QzPxw_x__tzMvyU!hUYmr<}!5=McKPK1qlGXS|mn}*G~w{HF(=yZPI zV@B25*(pwUU}(*Oh4s>gzqWz%3wYmaIik(bzw`GW)s#~O9VgDDTi^0nxu`Cz5nTGZ zGFW2#OG&$K3RXZ|1<-g#;9#OZ=5~)i9Dqd9ZQ%IX5H#@{UHL|@J1-lh0#H;(2#Wzg zKK-?&ROCTw-G8qS-b`5J3MR!9cJ_kSrQ!hSnm)@S&b{Z`jh=Q^Tro9zl+w#EE|Bb= z-7gnS5Oz(4p$H0mO*3`H!|X21^4z>Ow}*2U)4}G2WO2Kf1?D1NR)np^N85YhGSJ7q z6r-ze@C$9FoW5=Zte#-352w~-PSPOPa|DE2#ss^+-4S}oqKK5$aa?k7dRcnCOvXV^ ztUMMW!-yKduN@#uKkdau>>=iaV@`KA-$&oo3xNZ`DbpXzx?eaQg?_%T0}&oR!@WtB z1|VAw!QY!@f!03L0s;tzPy4tzyCYh}L9l1pRyW6X${vp<#{GL3%*)|`!n=K}t**yM zQv(BERoU}{hbAAjk5P_9QmeDXb$$AmxY&ceap*e-I7=@IrhWu4%l;wgJNUT?mtbwf zZmrqCmk6rsk-=R81(4eo$tAoQ9IYG|+6mbKkj8>=;F?EMZnE1Ld4GjM2Xf1MwPOE) z1=c7e&NP=T<*IpkM>_d_@|MZRSIEQpv-y54!)DTOWAFVLf`JP-21C?7Q&Owwe!jCV zLc3O%PqjmZ6Z=zed!;p#1V;|^hp-<1g6;AM`bwRr$w|idWAoRJXf0&OZ?E&2?J9jr z{0K2yphwMx%}N|j?Itr+$ltP1;F1pS1xZ&Y{M?PX{`Zja#d^Y6`*otr?7^DWU5o^^ zbd+{%LY3Y$@dpg?TH{wK0&UkwtAV&q@oq<-RX zb>52JL_74avKX>$f7}w7U({?n?#>MFQcx}$v(*0in8tU`CgqhF`wJm?2VMg@vX~nQ9~`@$-Fm*nH7f8a@5P0+;)Sc}j_kJ#Z+m~bE?eWm;SmH85Tl*w_!-d! zp8NtDx;1!7&Y$rH1tD-0{p9A;N!8=Oet)?&xd`SRR?ORNgfJdB9^$_Clec|{+Cbi) zcX`b(722&tx$riEXJkw*2*Jq!spIgtP z|BPR3UM^<$C!YLP7Se)LRjr4VY>dIVKpT5M7a<{Co zx@cpz9TiIyl3m9c@`ijxEQ(2Q-8u~H1ag_?BBH(BIztkt3LFt<$~pz;`*HSw<|$)N z+*Lj3<$xroM_oB*f4~U)&Gj93{OWO8=5C0ii$fVBTte+-mFES6p=19WMs_Oj<9f7M zhF55J)OAd5cWD|bP6Lhc->2AMv3bYeEjOc(L=Hd9-@1t5;kHMj74P;!S}K59z^|0O zZ#<7{HCb>lq9QZw-3>Vs9kc}Co-rSMA{z9gClH%}knwWC2F9U$vXrb`I`_B&o+hQ$ z@u%$z!y05Q+~^-bOrW&0UAYb^ftO-UVMgJA$1en<&kau@}(r=O`dk{VySyj2|P?+{s%gCj?6> z8mzaDHh54#4BCl0`mZmbl_iH^=cXW_8cThC3!|FF6+uWICr75ffbs7n%Lf__Q`_CG zm#p=B%HC|6Kmh4TR<4JMk&WTMKcAeJ6lTk_95?w@3c4yw>I)~k-AUtjlj`U3vyOqO z#`IAWyyM}?B7CQt&Oc{m?JofWD(tbBCLyXVfIn)WI`%jWK|gQ6hpHD}oPq&FC2+-V z;UgKj-5&4roA**2{P&QN794dUM2~W)y!R(Z6wlV}-^dYQWn7uZi$DjW8E2xyRK;N= z?V-C_v(Z(^0KD4qM5ZMC9}A<_z@h%8o@&?J7wLJ#jIZH57@FrdX#hcx#;nz^e+ zFE$TZMjr`9$LbK^_TqXr+S^_Z#8gU0`}-8(&@-k9lj_f~EdUBZ=+WFh{gR~0CEzRE z7of7;=4g4Fx3-JnLuDKs!Uoq*eEQdREZW>Jw?y#FE2Z!H><7lM-eLl{(Fk(tBy(~zzz`Dm?Shz_0R0hfiR z6fA&WP914ASO09a9AVGMrEsQ>Af4n87Hsv!SY^+3*3K9)@7p!IVS05-V_@in#_e!3$ro zi|@9dhTyv&{aVzs>?FelLmqB=WD$+1?8_MK{?4mo#LgNXTb22`fiv*)IAQKJe|01H3?a1a^w%q|QuPdT6SfEy?}CX$Axm;gbBe_for zv6KV;(o-t^vlZa8n}nAKf_~-WE7Pjqi^GGf6ciIi4!Q@)#CDbncK%eJjKdX_Z#c7) z>Q;d%yYcRC6HM%b#B+BG|9e{Csq^GR3X1vqjjYxusavpjj|CE57;Kh;%@PMr)<|*Q zW3%HbUXZ!8?(;+9ynRp^VfVnG-e4UfXtD#CPZJI}9CPWlvs2&{qx5`OEgFns#{xLW zWb@o)S=>b7nl_^Brxm0^-YGaD`^8@Qz3}Qr{dORs{;Oteupa&JYcgDRvP%#_dk5^G zXW)1%!+@z!OtG@wD9+P^C)6c)4@DA51`8H?dg_m~y3Jr1DVr8R%0b$xUYiE5~`} zGe2n1;&W(|bY)9QzMV0takdY5Gnq)hhg}oV zT!vWvAdQ@YsR?ZJM&V4qkbl6G>&`?}h`X&SRGk)9aRd(Q!XDO6G)N03M={#nEHyAD zF<`5JHP}bgu6vef@V~MvIO0YEPbMo=8@FlrJ#)%qK;?iP7J!Gc9o;l7~=#F%<`Doxe=chvzbI502iQ9O%?R`1;PLxjTp#2JWSl5 zX9pueWp4Nok_iLT|IN>3&eJc$EMm48G;o_M9alMS3{vMl03 zS-#xwDy%SwluYjAyhefoCVn)$9jDI}BPBqlya`i3=cKzDP;|?A;XE!JmuhbOy1j7L z4bMtP`b)jy=!w(J`|H7FVA75qobmg3ao`4J`Wa>VBZ6^Lbm?+dgPt(GPh&{26`qIJ zFs{qK*4)g?er0TOBDGS`dKP#$$*%XD#7PSo`x!JwR0+%&h=^kf|T~Coe;N? zL)emT_H5x7OMkpxPR?3(IooM3&~~Du)7v_xja*|u&98U01FM@cZvq_HG*{fMWk=dv z=xBKTyv}v5&M_DhutBqH1iqGRJxh1ketxR@eERP&coS}JI#m~~w@jW`eYvsu`$ZHV zBQGA;UE2QpGaWM<{~wFzluVc$TYGd>K(vdUBM&(RbRs8QMCRfmBrE=#Rd%5VN z*hkx=Dt&06`Ij6es09!rB=@2{58m?7fWOdGS?8aI;Zql5*zQQBh-d&p^m>ll+yJ&? z6ch0N*^>)z9*4$b7Alz7o4-_33}C>X>Oixo)>^5j`d(&(obLv^0qVZv;il4q=K+nTODuMhrEo(OfY+~f)5v^;Kst6pZ2-?84R4wy%=%wRgRyuThe}B zy^w!?P)o;C=;OpFznd*7i_WNtVLG~tF9}UHX-eL(oa4vJuI2(2JneeO!#0{-Wg4cV z$49lWci%x^NJ8=Hu(b^%umC zgFi-6oVbuO=m$op{Boemv4%l*ipoIvACG3tiJg#t~z8@+npD;w(zmM#A$An*R)*9NKT7o)j9>F^6%) zUZ6!;Bl4F)mD@x(Rqyk8J`{X@3y=Z@UuG#`-KwidUIN0G6eTHaZY%Aq?Cu~!Q7$_7 zaqB&v7y_bG{>hF^-a&P}#1 z`Au7w?44}g(z?acz*w7AYG$6AIVZDj$R28vD8kOb1VKz3WB%x+c33>Ks=yH5NVZUBCd0i8aX(tfl!r|1MGMD-$74H`Bs>Oif2)#Q zX}=9!YH*X%^2Upl7dPNZR$F!HO6BfUm^Uj*t=*=ki1$={`da)kp4Ng1btF?T*f$_A4>y?G!R4=(@*yRjSbRS9+OL+1RDqL&}s0{ z!zta%?RqGK;H*R0Wq8J1rp#sIxj*<5ZmkS@VaYkmoUf~IRe zpGTQS^?VU`KQFciarZxt->^LTG@XtnPphgs>HaB)(4I z^6*b`{@=nHwG2>akj@N6@99m#n>LVI4cMmjU0#2Oxz?bBM1DRy+fu ze}~G;(ZC=io)q03D$rfZaRFKI8f8qSbv2oLTu&wom+MKH!~LOq%Y%$4G;J3AkcIGS za5>&b82}Fj;^897BNof=xPb>eJYvE2D$&HxM&w{9B0ms2Y!;JOJYsF_y%04D=wZ0H zc7}&fsG%QMxE$(uj~&t*jz?=^cYrlCe_49?0E|nawfSKZ7A74M8N698%D-8(Wp^^7S`;cMaQauoAl z!He69VWv-^_AqtZVJ4@9BkzIIrBI0jI>EOC=}M7`;kfko?fs_ z)QNE16SGwC%s^Q%0|xyv^#+`Ae=Ph=qFw2O{hA0gJ{LL!ks>CGcD%=gY#!J1ltc_z%_p=l0G6JmB1o_peDe*q84C+=%k zFg0^8{i7^+0Ih=ed6>&YA^J`j7b=O75R@dw);zl7fe+@K%9v$b9mGB>Usm5Jma`&3 z4c8R2gvf3TX*?fexojvf_)35%L`;>M)GAeqvsfnVVs>ZoyVS3#f3v?F#!`jOLqroqCo&7kfn{JL>%d$qddgs7C==BpV<|md zQY>MB2-u<&o4SZx5y6Jd9IyB{TuzGKLS!9XTVQ9N8Utr4fU?9)@}gMSB3_oC56V|c z)hs`jFjDL&E~;$4f^d7`-}>)%%m2$yFI25jm+j*9eB10OiJLV?e=%3ecPbfD$g;TC z%DCo2*<)F?luMfkF=r{d$u`t$L_BFvkYmpol-?VaUF3>;km}Jj^DP;CknPChm@-=) z)~m9|s9IA{W&Z@Io``*tpuU1yVPK`S6kW89caxa@n*=k?X* zZl~e$mRf|$-SDKPC~tDc!H1`2$~=j|Zx+vtTTQL(Ln)Rlfm%$oV7g>!iVU^N-=#!m z>N0bbYYV;?baB2G{0K-13XN{vS>o!sr+FZ!wiKH3lC**Ge~KA4^zS?mK8iVEyAN)& zf4UdhQ&Z8@W2|H;Er#FPXdP&PY$^^yRDNz9Ldi8=S_c@pVjXDcnK$d)UZv2}KyF$G zS_V2Rw>U0NyE{8BnR2n_xD;;D+2He*b=cw1#CUIqhT^c{(42Mt3vFn<)e2>9WOHE_oCpFn zFt>3b0qM^HGM8~70TY*Q@c|G5H8z)k@c|bDH8(bwk#Ykmx5M!P`vC?N)fMGsMTf-m z0hh${0+IvU*vpq$^a4par#5k&T1|{lEuTlf961K*;dhGQIEyT+yXWt#=V;#7k+(f% zuC4u}`%nd?Otfc>MZO@r7D=?1XP4Xb0zmrZ0SA|X^#a6y<-g_w z4NqcN;S*&*(RBbUB&`1}onkr?5^=v%D%YQ^OWcGNi&1{q7ezMetRT$-fAQ-1r^|1m zF$GsD>p1qAfsZvaNy`fTw3ga@D((X?X>m${JHj$8?D+0BOAPOr{N&+)*p#>+%exE}z{2X!)=|GZSl zRabcbf8+3EIO56N7L0?j#y2UDuk`uu(|r`!hioSm^-a8l!HWe#O8$Dv=yB-r$ixhe zC=d`Ync51E4zB+9Hsc6Gc0JdC3%elgE^>eh9 z!DY6Fj#@u#QISesdYG0gSwl&IMIz< z@8CT0(+m$+{Q)V-mc2XN)}yk#2q5oy_sQ$`1k1=k{}39oZb$>WUj1(v?>BpsE?Ke++O|vtBJtzmiJQ zlZi2|gYREJBx*WXjcy$C)gcXG;~_2pSSc}~B8r@Z{-Vy*aM`<-BIlh({-d8S2&58O z#F{RA1fh&R6P_d#pZ6hcO8Z)@aelqhSft6sa!gFwX0y4|=^73$Qh|rH4koM)xU(W- zoE3j9=LvP2ow?M}f4T1A(M}LeHT8|DF5K8E3Kb`Rx*j&aee`|wxa5{x<`54Wx6poi<$Fj?8cTK#Z}jL^frdM<*8q77@%56nAE$6wH!2ALwf9V+aPeTOM<6@SIj4)B1zr;9qvI~@{a}SqIj?xfb z(IiEA>qUxXI1xdEIFMq{;s``%~$hvXLSaoajT+*1DFiFS!lReq{Q@Q{yJggCoA2M~+hF0!d4}?u1L#BE zVuLcyEEYtCtz|o3Jia$JDrmb~QKz?;G5!KMf4hYXi6n>YS93S|+7Nqq)k^TgKUWeD z3oAY-jF{T5Qc<{5NGVi_sfkM&GqGR03%Q-JOh7>g}|r-}#B z_W1F?qHN1Vx$=(Wk3U;PgrI503nkc1n|b@Xs*-ki9@3CuHIRD)|0&bl(guRuiP<<@ zT4d0Aj{k0DSv2?n!(E0GON4i{h2*7Xe@D)MEt;4Xbr-MR)t`QXkymZZ$c#a5w=$U* zDg&`)Pn(8)lvYGzB^!fX|8oh*^@r4`r*w8BPH&ZVR0fl_kVk*qV`x#T1^8pSQ?i(X zpSdZ;%zTCw`&(%|RRh87+j<(49xM*@YzWE9#cYuQcp_ty%%TiQiYoe&eJXzye+|^h z)BIhgq9RMBz?Mk+=hk{5OQjN3Qm%qtif)ZQ$A~mFi=F% zK{v8H#ooRD4BNAt7k@?=B|em6yQbFwL6?3I{#H~epf*QMIZ-K!?Lt6*EfSh&nBy!!Xa-OT1TSUFdVoV7R0~oUsdW2$qG@t^!f*ow^WO zd2$#TW{1k$Es@-{Lgx$b^4sjr@_?mFHg#CRK5P0U9Nu_{=#mrloY=vA8^A$_aI zX2=aSka3dkPHRnm$dkM{1#I_@!I23X#L0f}P=aLh19SluoB5AH5} zLp^EVD|Dvjk6|`om0#ss09L&$^&~p@k6X~PSY7r)C|bNW3{vFEfBrudm!E*_a}7Y< z!kjsjifQz3(;vvw`+yS3KQ577a1h3iORta_Xlr-y%x%`+m-7@)(V`8dLI?5Hl3#Wz zgfZQ)QYu(l#v&|-QA62MnC1?k?~yMlLAs8scBCr__U=A@G;eeNuyYP_yL%|}@_(*7 z^>em_UYD0_@b<)3f86~u^G?P9Ix7z8J8X`OAo8kjDn+jSfab@cB(ZNS$H4uMhnwfR zAwP-7;0$O?&nH)Y%_U#tkwgC^oEc>LY+WVeB-mt-s6$rTi5bz8@U z$QN3%SaHL>?5s9$O)n%SP^cA!2|>_==g2GY{Nl~nv3zbZLSp0QVmHA%$ws&yuyU%0nGe__O7kAHgUubiuI-2z2a zdLsYKAcO}=tMJHF8{5L5uAR;ZlRR*erxUOuflu7Q}waIf+S}{IdTjn)qxl zi=1xIxcz!amh}kkJ2l^x|3!-Ydq+F(4C!1z4Fe(-Wmhh?)o6W5tP2A93L?tBsR?oE zRa6O&c4Z&~Drq;3W?k~nJaJe^n$c6DqCLVyn-nSIeGF;2zuSV@1N&=qAf5gQmiP@G+_v+7{2oQ7nvr&;l0Up)iXnD}@oU-t3#0 zYoCK_lBu_MK%sAZX$4_?a2{yUAQCCZfD*m@CE~IrYnRVF*-yhEiMI2iC=AZqMRn-#f1mwyUU7%|c*T8WpG^LM)!K?$~j zhEqHhhdqs|v#t31Z98bLpX=FPrFNjSSaluCf4e+=-`cwK#>iye*sCDmd;?0)UWCC# zgg59>)uD_Lm&OhBl*&QjX(=3f;S*om3SSo`VMlkK;-~Sdl3IRqt5bA+%wqTr^T5ar zsn$kFCLwTZPkr4|o~~UR$^X2-7H~3Il#->9hjJy6O5Efo^~)m6nhD{QzAaB-CxIhr|tA z3t_^!KQ10v_5iQyf$0(lL4$dEBpBsHf23dtoB5VuzGj9htz@(4G9vEqH~gYfCbDrY zsA+#aHN(wA?0WI{`{clO&en((W8Ot@NKVeuTKuDTU-`o&B60B!w4R0P#ZT5-fn?uL zUjdOOu&)x3c+)=UPQ0$s2b>N0*>*B$3nwpTCW;bguPv$EWgg$hl@1rnJEVlyf9pPE zE8!>N+*fnAOP@$_KU)*-$dHaic${#3{9DziD{HxFqf!1TCB&cWNz*n+FqO=L`M0+G z)}s>`q^-UhzV3nvy5%s))YH6ZmZoDik{*+o5a%_Q@<1_)8H!PalU5S z68Rs=8ryU*B9lZ?SX)UY6B3L-e?bA|FF|gQk~d8FH-WE^0j#DPFMTcn(7IHd7>B3i z;d@bln#}VM%g`qFBw%v7Q*9STB}g5IJeyL52Q5;CVwfJ4at!BF?LF=pF`|J^9zC(>c7w<|oscL@j7udfot+fy6Dhm3b4I zrSx&ZSQm={OuEU1CDQh!*4^S^z`sM@3NG$F_aR>DN@k{ zt3e7eQ>N%Z+0ldb zpLzo(x?C&B8x`+to0(Lk;VtHT&v}wKw&`s77BPfVsO%zg_xS~Te;Vq9<1RrOLk?LM z2PXMFH*=js|6Y!ELYH;QVES6Nn5@x~mk24zDRct`1%6bViz z4!R~bGP(VfB~kLEIpm3mVFp(jg*tgdxtulJl6`d=VDZ^O+PVs^Q^$d|c;SJ~?vg}o zqx>{IU<1WNEc#?}f2|WptyD=9)5jGWInctZzm_kR%m~X`omHPjz6wqJkz^=e_!NvS zM1Qt^Q&0}nC`^zE&NLQ?CWhDk>9|P#0VjBb(y^?$`v%}+R9Ta9Lq<73Jq8+pyqhw* ze&o>yIPIq`k%HcIsqsRTnDD8w|E5`tpt!GMEw}Z+BGoZtf1?VT?|`Tv^B<;{aR?Yv zb)rp;*|*&#u2P^UmMB6JJL zFjp9Ggl}V4ez}X)oiqtqvpIA>>m8JZj9nJr%AuP(TXVdeM$hjm89gwy`qvMqil>@5 z!l?t#Jg%SGKHltaR52sHg#$`j?BlxqQP6eQhw_0EM+Lv~;%#@U=zyF5&n=%Uc^!ty zJjPusv7+hF*H>s|^?0SR-K7 z_}xzyv_0Oj)@Tp#yu!V#IGYBm`JFHK0vf>d>|lE%1_;+0P1SDqMu@3Db@%e>%Wf4TPu zcKUq7I>K(8&Imk_Rwqqrs_uDPDGwWz7f%;W0zqVE9ch;5O_X1t@ z5v`5)VHk}wblkonMVD5Y_t``|l$UL0_5N&$K9X9XR%8RTpBpS82ve(F8#yU|mYzWG zk`%gxCnevznDa?dKtD*Z)O3|Uf3-kcBFfturz+d2pvaJYcy;>(oa5^b8iz(&hG=!o zEi$ZdytlaW;{{sjq*?E2YF^B^PXAy?kXWWe&Y!IeaBmpz*BY|=pLUb1q;%%nav?Cy zj{m6|q`wI(v%*szxxAWFJbv)@-uY#UZ)piB3%beT@oI1RuX*}8Nc+Jkf0B+U^8gts z;$KUPRQL2y3XF{iA7-0ObJ-OqMK< z@Tl`&7YjIT{J%BpyiVqE><=ELSlKXKZyg)} zNK>BaffVj;QpAP+qLqz~mVz7>X3ZA!GA*-9YnvSD^1pUh&;iBv3+dW9*0XT_-^G|p zXOnib<0`Def@^zGS37d_IyS6M5-+GHP`oQ8jg`*T{a-cRErik9e-M;vSomkyd!b3k zaEo&K-Y(bd^2I1b(2#GaSPZqPr3(+lmS!0sAVf}C!+bpX$74#h*Nyrc7)bA?t|89e`EO)DUd{iG@|EVskmZ6 zxhGCREW*ndYkCb=h9KGn%~H;w?nNd_hmie>ONctvi&{2lZ19nk`4kS1 z819cQ@yO<)k%S`4ckUy-{0&-QqG|ey_>0a~4HathHZe@@YmT*>sTzq+ZbIGm=sVWp zb_Fv_@yQ!&fBfGJaW5}WD0s#FOtYp3Sm-0?&gIm$gB9rKGtiHq(t;3h3SU+1d%lF0 z5s>LJU_e$a$@0aMZ^ivQagLcIuPgZ?vFi}e+N>prYb5~*&`2%wZxdq=B|5Me=*;^Fpyfkfv=a>?bW1K3Mlx2#8w@tZ zv9*$%!m(_PznGM-(THH)&+Wfr=vn=(2%L9u`a2q988)^_{tQ-JRMwrqaWL`m9yTsg z_XZWv4|Qo7ao1VepJ@w`WtwR|KO4=-{e&0nf9fIG5Wd9{KUzw>UV@1_u8wSJLiX>x z%5BDg30t1RR>lyJ1>&3K&RuY`=kmZNY-fjlj)QOCMVyG>y}>>8%xFBVZd!S*JvS@@ z67eBs`x2Kuzu;oX*mMcBrM&} ze<4GW_Xno1lKuKg+rU6ZK41&GGk4%$Q$^iF1>O3!&NFbv8ny+ zmSBS%=sQdyaFWWFU!m&Z_lEZ`-tIg$OPT+Dbs2e&b{k zR*uLW>Fu%;=8{q5aUX|3p2*I^AvOVje?-+z1on&9lcA?o)SW|HeZola?)Sqh5K1L*=eN~y$xzII@6%b!H>lM+fe^@8$|iuRozv6 zu%L)WM;sb48@13HgcaC{6X0!Y6A_+By@wG9UmA#c5r6en2|BljJTJqgtDO^)62d+# z?d;^t&;bb3d&z+D6fJa@TM+{=fBQ$^+`a*Vut}S3vO~_OqWA2SSof|Kjz1hy-PpeO zSpq|g;caESRxf828J{tr*3GXUD_P7Fy!4PcHY1a0Oii5P@M@7Sv$E^9EczWvIp%a;QzNJts#mT})Y>{h%jm`xT8r4%WlSH*sfBuhP%cfEL zn_6dwG(kc3dz~LS6C59+@_sVkn;mgGNxFJycY#*E$7YA+l7YA!6UoZ5wr3#W2U#xX z@Z|+6fa>mb#?aA*hh2H{M6W*1<*z!Z5|GPR--B<1JoqQCQ}e6~p-=q|>T$zGtwe!- zhz7DYR-T%8TfE!u>iJ7Qf7Q8Ls)XxO(nk&XhBABJUX{F4{e+xsjc46gPoF6@6P3}mJk=O2exO_jg1gLs=@mSu|PY1)AV3tHc z5!ajiW)JSzIO!2(*UdO_1T%B=-#xPNLlmvmN)q74-t&~|0t$!1e^qCu<*aeRTNb zp?1y`A!Pey_XiX;f7ZVXH_Hack{FA_`j~0FmLDbUpY1q|GIJU;L*E^8G+?p@E=>=6P(Nnh5``9FSXh(0x_i0_Kn!i6SX;j;D zr8@yX6ok@CX|Rs53w?x2#*%ehcpLz?rXH;eLeSSTyQ!Mre~h_-Z*qlt;_=PK3)2lI znPv=G7mU91Iq;+CGQ$5Z373k?GJUdO{19BiqxSucX-J!oh7q&Ow0o89{_uWCP72Qc!tTHFfzl8F{4f*al%5t&%$Y>~H1TI!o z>f%e^yv=wz|AZVC{!p7NPDpXpEm@ zf0)kHH*8FO;~5ciBCY4(zs|X|btL)K<;3kQrcuh)iel~>+}XHE26w|Cr-`_1r42Ce zP7{*##58BCMiE9Ge^RGelux5L8oGy|d9@x3_ zekq?jf3hlhMde};-H@*33VQGuWSFP{ZJ>g0jOCd$6D?Z0knrR3w{5apf3vW{q}(F}m}{(@p0wAf#&NaQz_kM=BM9MWz`#6L z6(GKG4p5)fL=q8*I=eAy@~($$`#^9n@Leu$e?uZg&HKAumn_Q|9Ab;R1i!&Bs5T0! z3p=iz@wA{E@96h*hzBJ87|3a4Ft0iJvuqJDtd4F-#Ic~SPe@{SD7T})e1N_#Zq7Vz zPHBOkj3cp8_O{WJ?B_$I(&#mLdn{RNL0LeA#WNmLRM@l-e|fUYo386?0CsfoWRYw( ze<`FtC+!!A*>Ri<$JT0-!yW9bS*-<)_K!(?n|cJY8!+|#DD}RgE{&%DqbS+JACG7n z{(4hfh|e>~N|(FVwj0u518`$u@eWOV#SgFS^nsqaXTJ@g<}Crh)I-f1w(MS0MWP>} z7UT?0RNk&*p4Dh)xycqtmIB=o@-_9sf14pn+gZ?2u3O_2n6L`%nBVE><->3so`PdS zg-D-^C6tA;9!CC3Y25}La&68EX)}bs_=FI!3Fm$Pi=au|QD>-?75#IRUai3r=;*q= z6et3oIO2`hM(9Zxss)1BdF*z||gd7{_b{wxVYw(Ja>Nmu>Uifz0Xbe_A?n zLgJ>;U7QK#_8_eMr2k`8&fY`LRo4cNh;X_hb%H@V#v3plb$HeZihp3)ubygKEB7B+ z?ZvqEGU=r#Odvntx5 z%FIIMEX}49cmZ#e5&}aDA~2<2%N;C}t+yO_$CHh`cR_!Lu`+Lwy-R4LYv|?X(`uq? zge?LY+RP|Vx=#}_%3{mp;Hdm#x-S#Q=HyW5*1CWz0n~;}@G{SuQ^L}T-_@du8lj_jt72()1?GPdZ%teTI3F`FO_ z5h93!8uX$uG$FS%9v}-%fBmEJod*r9vH9S)=~e#_#Hz#a3wWUz<@*UiQ(1hC&PF@V^ki7^K0V1O5%bB)Z^@CGQTtPXNW#D zGtIzBu{{!rsgXR*BO}+RYxKG(uL0S0N0f^C;04T#k9A}hRA!rWfr@s z?o;;HLnmVJTW=Ihe<0NN5^JB?;&|&KW5o0kt-TQFjj^yNO<|MdaNQ z>mxR)7=%8tw*SSd$QmfCnIjS0n!@<_k2`KS!6Bq%#sdt5t)Jny0}f4;DtZ?kZ?Y5buBuo$UJ zf;GACDM&^pFWbc^A@4MP#51h2(H#;8W&?rn(Z{pXncr7zPm%v7;3@|MuS@;~wp28o z_)#3rEn>HAYEohmXXDgD)U+y~BUf=W$grc1@G5md9GYrKRr2=-s^vd>Bm*zXzGKpQ zCI3i2VPhBIe>oc5s@-=Be@B9rdCd__KkO5VtK3dda$_%QXOxa<#U-_KPcT7mO90hM z&TGJj$paWl}N!L&gzEhxf$S>KUh z&M4sCe{F*HvZga`RH!EIB2e~(wCj{mv+X5>gn9kuq-j(eGm~Lh6Hf^|1j73?b-B0H zF)$txTHd?+9A@Q(g&J+zv$I)AKo8<)0AuRaQ3--F4N}>zGG@^y41_~Kz1PgQ{9q2=x zc2~2*&Hu1IFW!E#*dGfAWy7@@{RAf zf3F%0w+cA2=NA{~nQil9W&Yk*QpGX3;AYU@bALo|E2|^;(6KOtH=I4Z-$nzo&D!j6 z7qz(JSL5FDRtGW$#%wc*$nX=+Hl&4U65H5!M&4);p*q;xCp)xZ~3Hq zcTGBqc8QR-s*PecNA(+!YuyeC_hT!}SLke$_64TgTiDbg)yBd`U3)4HzYNvPVb|kZ z@#xA@0qz%c2jLIl38tG|5w8@w@)V$jIdmAX)8MarKBmP9`wVkUTfaC9=@$c4e_#Pt z$XWIoq5`C&5n{xi4XakLwlhpBvm7KWfKsiF9Ca#e7X6Cn-AwhnVrDqDv*|Bkvi_Qc z4V|~@7A!z}7-)Bg0~fr=U`4>pRF&LF=|kDY%x38my$#a+9pvJFJay>=mS&1=$i7}U z8*DZBno)|`QgO*bM!Jp1I2zVhe^wB4)mx+oc3zXx#bac&gJ5Sc0;986cQL)R6f1H0 zwaRnU(k`BrRh7+nOjFq}OpG_GO-2!^2>Hu$*BLy)TnZ`dz1Ej=P zm76)Y%L6r#e8kGa{*F|c)c$4MOJC;~2GeKaFEbiDXRD{Rx^f5hLB-5Oe>=+lOwz5b zK*!prO`R>&=xD%2G;@dR|cuwZrgH~yR(Vo!8>~;?9j%?aI2-| zI3~smg=|ON?;^=HwayDCA6>qJ+*Ue^SwzGS-$0{b)D$!TVzTZ6Ca%8>e$s&?`jO z2R}-sh#&I`O?_8rXe+@!CX72Zd%)!g#`tcX6fJvHg;|^c%$_rO8%Ct*k&A^DkT3f0 zpN||}lXfuQ&9$t?;d+P5vFcVR(lLkJ!!##M(XePgwGr>ifK^{ie@%LyCNtfR#RY4gscetB%BGlwzk9xb)~$S3Eq1RU8lj~zUNT6`CWjB~=D1RB6;@Uui4 z-p;l7mE>olYr=b@7Hu)3#s!EH6pZeiA6Kqat_Dpv$)6M_f5pM-wgh|YR$n7GDWNbs z+rSPfh*pRPq0~a1+oF@Z5N1!>9b*k#KQHs#CT7k=pcIC`hBJHoHWr0WjFrkCNnY!} zw20784g$)fr0T4M23LNo6RZTkTL0*3Yk!a)?!YU^(h{7Nsv<3wNtz|Uw&@+DjkOk| zXX&g(QB^^Cf2I;|%|cZJ2%(lt2e5%nb1Dmr5e0>N26cp4(qBmanj@CHUoL0C4{0lw zdof0dv*nND&|0=t~o_J+Oux!X^s zd8sF*@R8@3hCV?qPjJ|;VT*WKnv{u;3O^!3DS4$N_vf*D&GeNh-0a zwnd7(IDgky|J>!M0Yw&)=&bbvrWV9uE48I6Z9!S3JtKRwa#~8hOuAWC`(d1?=xQ-- zFO3>b0SB2sQ6Fi+3Zy*rBZ+}w`x{b@gD?x0e`P?+uX~1mLxH|k=iWMl!pjr<3tR{K z96rmrMSC9h0U|AO!!^3T{{8IKHG%J{=7w@?-n7_7678zHuGav0hysv^aYie-9?0K3 zNeZ6@ke(|R2}}BW9O6_h?+aEKL9>bQsV}mf)PRiKQN5*117Z6Id_w@Az6%uH5nqdu zf0D*5w!=qr%wDtN51+5yGfJ<8(NqB+m?`uaTaT$hqFW|EhId;NFCaFa;xOdgj0!~^ z`po8pZC_DJ%j`FU6#dwNF#@%jp=U?XtV~*9!f$|ZlY_#y%(W&5Ej<^1qz_q4;hgeC z2X^mlvfF!DW-y&-Df?%77O-z0ec6$Ce}wT@ug)KoEe_3--cH{>vA`6|GR&BXH&V{u z$v)0Txw;$24iFsdnWfy+ulYL=Avt{=&fMj!3aW>kwq!jhXEcqb`<_o%V{;5ZWX-ls zG@=S)Dk~P0mp*@O_D$QbAS<$4r_ssD=6 zHYlbDHe0<4{0mdai_UgZ4;URF4zWVAynB3jivi+6{WnKZo@)7tAi+0s_U@}Be z+_+{5sBjZVUF_Se_-42N)l@BZIsgq@HOv}%9F^7FYA)Ke$fbRK4JW| zORdTl<7sMfkEXq^L-*AJjG9FRC;70YCt+-8gt0iu^#nCi(9x>We$9d=A)NAePtdRn zy*=$k+%*!>M0Myp?H_M+1>lhlE_oPSioLe@8psEVRnVeqA_j+hK{;upf0asTuXxCP zGqNsLrqO04(J>`Qg0i)2IYA>D+gr(Y1@sYMzyih2g!4`Mh`}JamUe?YWTgKuaxXQW z5txP0(miulXG@c<4q9Fzgl7x#$YgObWuV*TA}=<+-UJ$su2V9u#IWTS^7_xzP8K0} z@DAhb&?wpt*dNdUD6sh7*iLVLz;(X4r9@Dqe-aoM};Ok(SHTuoyTL)Q{ z%(&2L(6{!`xrpLftTmKyzMqr^k#RR(8VrddNvAMealWV61U_FCdh`LJff1G)1Of8TOk<*@E zg%TNP7JnJ=s?JPmrVHR`mQhQ7D5#Jw!)$>-YnDi%R=xsn!g`-~UXJ!J)eI7B$fx29 zEIDVWo0b|d01?oGi(67PVk2`W0u9JA&RqKR;d#`c)mmL3N}TaBsvu|!?H{Zof8QY6 z3Qz0-YadEu_!ACE8e)h&S@aXuZ-b;qO0P$Ki%|)_kE$sh2H3xs`6dG%9M8yLPg6U6 z*Yw%-*Oj?pXeI!AagB%$YtaKIkC!ti10{ctuJ#HNY6}j&*yIV#>8G>&@X&K%QMcDV7owT!FkixQlYNJ=2X_QoN-jln`GU)vuB4+a3qC~V$TyKj_NYfHyi1pnC<90VgO}PU19$>GUYArU17Cmt zS%*m{zy;G#aitrMXOfuQM^sZ5lP&&Z*15y++A+)FR$U?ImAStD9ahc&*V{4gIh{8f%K`wpdQ6?>U`wJf0Is> zUzuxg#4p|jaDWQa0@uLLZ|6ZEPd+C?rg?ZJpuDw+k4B#TH`>4Wut;W|nSvOQgHKa= zoAXHw?3>h?T02nXxkZaR7gt0s@5R zPGI7J`t7l{Y;zzGNzC07;mR;FX2ozyr9W$C9pUfGY#8xyC@mAXN%ep};<9Y$eoNjt zFEDCu#O2?KbUJlqH;o>(dVG{de^cu05W;48cAn_Bj&W{EwWEG>4o;mdP*1m(=X92@R9?5=kv=vSoint3u!3atiCQgH-K{PxgJlrLhy5kp zjeU>o1@atA*v_ema)@QbWHFFwCtiP#e5!`~0*(LC?(=s46f*bJH$7tyjN3&-$x@m z*}|Zf@=W=&3XLNwhf%4Gt9 zfqyLQPvm1LPobX7^=N+~ucL^iFh4IA>*M$V1L8_2oRl9reO*rWiIu6bAB(+cq(W0* zr;6R5jJJwEpH_j{<|OVW8r<^HW4ggcP^9WZDzizJEA4)(tnq($4RXx?6voz_kjWY) zMNVM29)nJoCtnFyB8Im;EYf$_Pd_MJNHJ%LW9qO1T0wSBrAB}J3PB%*Q2zK_b6XeA zjuUYN0`1sSU}}<`#mAui8GbEu*k_a#H(BqG%E(ljJQ4;GTM~LidVEYA?wB0Du;%HQehXLOm zhdVvgP3YU?W7f=+t2hhyI;v8@aA9wh=!dw9h>I(w|5gj39+EP~|8nR4YM~TyCXg|NvsP{m9q@C zQcwLzl}4;oXN=ICVemwVz07ON4P;oF-^uq(nHR51A)He^Xf?L_Yas(w{Drp|Y27YI z$0qN2p9GP*hQ4kmLVk;z+O^Ap%~jlIElCtl7DWQN=lF%XwG4N$R>(0W`Nx2YQ9;%O zI=Qq9jJV`JQ1y+j89zIY@TEQ{$?q9?(iwj^oj z^c#VXfx>yB-v|j&1CeZPGfufY3Njq`5nq4Fi?xf08^OGBz~a|wwqOs_-$daLDEivI z2=zY8d~J9sd@Fmpm>CFhkI|~_wpPuFD!^JeEwB_$HwB*`Nm!IFyYRvI0}&mFY(Hgp z87Z*Zj;E-nQltc;*oq{ytm|uM#ZIu7H{ji}Scu+oYzw7{aK4Hj05D*YaN7E&1M7e6 zGzk10@b?&uY6E?2`pF9qD!XWm-M8Cx;kk{hR0drzn&&6*|JnbSkc}?bO5HtGQH>FG zE*mec+k7w`C+(OWm7kD@Xf%*0(LGPJu9Z;U&J`D9ZA6u4UrZW3^+vlr?3%wn52nU7 zu+Kmz7s`LEnL=O7`%n(5aHKC17LaKJ4n)ntC$&v3IS1Z?kpn*TId8RF8d;@AD$Ko* zHO##0)z@jnt%<7Z53-4NA{1Y1O@Kzj7)*4w>I@ zVk{_L11ReAhr8eJsB3V(jPdXVdkud`#e}JdQf{VD`vum7?u$4)x5<5S7t>r3zxdM^qic0z9b}2xqy)1Mw^@_c1@8)XFv*a z(@My`eVCN9dluesn>x5i%T6xEQ<$0j9R0P7h;~DLi_-a+_kS)1@t2e5Cr~j>(o3OU z3;>%+#FbBk3xOn{nYWH5{*B2Td(wsoUQ(Nm+_Ek9{egQzC&orqb zLqDy~g6gC?p7l$FO0Sd$V^TpsYZA4o=%3Qt^5*5SZ-)Hnl*{i&1u^(}{3v#Pk_QW)s6J{<-AlbY~xH z_QL`P;$eAlp5!M#njyHj$5ks8==Mr%*lNu?_#ucvu*SI5REI5klX90H@Rd)GQ#G>i zt>hZqq$F+zE`FnXZ=TTfafULLyoQ|97a`WXMF4R<@P8rfWuN2aL3^@{G^=;@u9AHQ z8~H&MDOc9Odp?>D|HlY5{u1xB7qr8`GvzL_P1|F6nR!h5;Ei><2CWHvET<%?$?Xl$ z8Zpq=ru_8JGTozIcUu?`(3YFf+Z&#qUXD6+?}_f%W9`yG;rN&$|FhSXUVyqXiaviH zma9V@S$}dxS*(B$Xd9OI#k7(cW%?o7G&P1dUQ5FLDR(N>dVO*NtZxM4EVbaD#7VX|aE6)t6d$RCJ%tyW3|LNkKmV^PY z7~THcwr$(CZQHhO+qP}nwr$(Jvs<-uF^_O=l7Cd?|*X2@Mb3pVwO=a)@?JQ9^mOmzS++i|3_~ zFkS(iENM68q7ut%1`-k|Yp5J+M|#W?`G*LHfneW8CzsWZG1~e2xz`v{uJKxz(q8mc z^?yStmq25OI<6@Tg0nS&{p4S+SVR%1{FgH^2yK0&@alE%rt3yf6Emk$0m+_d&_+e#^HT5SD>@?wf4j-27C-DP1iBwuMmRwfcsgJPq*5?LQ9D8Ts zrKoat5rp!~yVIKQsyrClA1}CYs)IC)#PP8}5s-|Jff}{j?n?iK2EiqLxSj73NeG} z=)K^qR^$=^LK5jp14tw~^#b1Bp%4t;M_d?6t2!ylJC?=-p9rg^g!xGuF8ir#PP@i8D-+d?&VR!IhkZ28HV$UfR5GX#8r>qC!Ku8{v6N)TB>OVV zb}WUG4}xrm7#F^VDArNIT%y)Y>*J95X^CFZULK`sqDtq>P4P5W$m`=fcNrUydiR^7 zdL<+X7P8U*J96T_@t7Lq=q}sr09#c363|lV!5c~05f~7B@^qZKVjUUsz<=iu9e;UY zGY8?G#smdQnovTB;_Pv>gg5!8fHrh82O4|*XLHE;qLNI)6noc%fQc%0%HQjN5*mi& zSR0~aDAh5?YNu*+txoT(lch=I)Dpq1kTmlU0xW}QXR2a8IOWwGKyh{hIQnirqKZR; z`PSuORxZj0VhF{{2OBii)PG_Y*ZkbYylBaIG8&JJhzPl}!xKZ__`qQ4x}jzKm?sE( zeS?yrX=;eX_UKEJ*+&eVJLx>(cSh^olB1i+CXmkG%_Xy5n5hp zJ$!Wluyy9ZP3GwQ9{tkHsH6ZjgH@3zu#jTtCpv;Vi;e%q?zE>y*MGT$Xc`3p3Az+!y`SdH-b(fviU(pjW2hdFFK7+#wo~D(sbBUcr}Y8F zO7AGzUZI(WbR)6lsF43{5g?Ku*3;Cj9+8q3Nbr>>`(djljdm9LVc0ELo z72Ekq3Z`wuUtE{gY>*yT@RZd=OMDc&9f4B%w*=xub>wiWW=Ku83y>uMYV^-gPI< z*ZNBRw~g)>+B?Bknq^Bh3S9xEElW%-^`Xi0nIJV|SF8bnvoK4skughyMFNxMKG)A@ z26ToUrgAl8!)w(PHCn{W9)kdpYR83p=SEIfZ;enYq6;s5#MoTqCP2tx)d$4j#FmdR zmgi+;IWDG6nSc33R^=-(w4)_f6JrvRGK+pDkqY1e2$gN9XRn~DC1LZ6Kz0}iJoX%| zY8K<;Bgtng+$n0H(u5OX;YMm{FJMwpu4~Q*IQ#k!Hn@v%xtKrGa5Sssyxr3r1BtR= zA4rYn=(Ox^b6t7L^h_BDF<(=lAvPeG<69Xtb3}o3$bTK*RO>~8Vw!VWCl2m?+;6#f zBpF^N6jvwPDY=fg?TB|hXy|*=gj++l0W%*0k7mXFFv_L>9|jT z&PpPplYap&UWJKQx139LGXCQ{h_z=JDq@Dj4iMbSB|+;V#T1HAyb}EX zKb?Ud3B09>8da)E&_ug?|r^4(00oCePnTiV=a(uT=|3wv_3x z%4Vsei+aZP5wDlNS5Ighlnv&VDNffuJ~SOO)S6yg`D3ws_SnO_s{Qy;hZAa2i2ZS z8h;$IT-$SnIru{XRPD0jALfsT_Q3=w-e!C^M4DSyt=J5fOi_u%3pGSM{4m1>UGeFe z)Y%bBq+!o5%WHMoSo!Oil<{R$M0K2h)UMvc26s49>Xm(rGzdLf(@oMrF+?G#?6g#d zMYaz}ycjj#k*JbDZH?SyRDT81J<>>XUw`x@+Gv?%3xVN$OW7Z1<9h&Q< zoh;@W&(A_tePRU(okz^akHfJ#MYz!hF?juCj;noO0hJ?E#!;KoPQ=Q3RiLLyn}{9UlxMl^aX(MO$!Yvh&b+9&L){d z8PqyJO;I!(7cE0SHT3_+n0IsqMT*H3tXpnyK_saxN`U~s>npeTNlx9HGh*V5G34VSxs6n zMuqfL3RkT!er~1$@BVjVym4I>i3HuJr;4H@R2udH*f0-z=uuuW3IN)ajp*y)MG#SC zS9s|`{Z5kv1uLo;q>f)e#}SnvsliJHBL?kT$>=!AE6Q6jKo@`5qv*illE?ss%d~4X z3?2AXcD13_R4MknW`A+9le;psJv~1Tkl{UkCEW7J@d@cn^>8<8vf(p$r0LLqnx2cH zUMM(&6;rLG%)Zv{`!R>F?iFf(St6&YDA{!pS$Xr>3BoR`Wjcou@qi7ziW!h1;@X0b zjxDP#6j9{jf}LvFI!@5gqBM+Sfc^~s`c{uq=oOn$O$b1+E%7^+ zZ;Po2%QDT*eKJ=XZwbLebCIzi7?=2v7?pOx3SZ0r ziMG+sRe@IR8-LTng_@IFM&qh%u}t0fYLCRY#RS@|qB(^GB)_901n7jc=qX{!I3gk_`7-x0)I!vYBlUgo&g3o{(+33D+VAt z!9%A~;GnQT4UfVI{6MkwvQSGHd{4DG7?{{$F8KuON^(C(YJ`F74q)yHBBZ%%3rp0w z6GdDIC<4n0B|n@lZ6nvr0738G0bp?u_m4dd2_A<$4Ip>wkuuQmPD9xDSz4DfBnwcxO7SHTLpp@GC<_m)U$9ha;!dOf)R0vTGwnUz)Gm zMM;P0*IQM?V6f~S%i?^($R3+pkfFb=tR=)uME~E~yS2%u{q$p@ac)I(`XQGpQkM@r z3IOL_H#ZGrEP%PA63XV2W(iz~*!fW>u86H5)qfr_#_C&%9CP z@ESBRBq@y=Wo?Ll~*3pf>j`#F0g#dkv26O%S z&Z=exJBTN7Bz!PnU#b{x%?zSSd%j&XDu4TI0jg9w*OftR&XE}gw8jKrjaiaKAY>vV z8aw@yPk37ne++bb&Xd@!KCQ8ks8#ay)Ug~Y-&yDDq8OF?98!{kXSsTWK*d59vE;y_ z=$Xxj+I7e%@wejzWbH3xJj!$^Gp|3eJUa+&(o!9sN&J*DhcZI(1t`1`Xl3BO6p2A^o#UG|UTmABWPdeQWQY~h$Zh7o*ulqMb^2#Z-G=s(x;cWO#8>`)9AmlD7>RmBj$I#y0#5>7i7w3BK}$&LmDC~ zT*IU_XTuIl;(?0b=}g@BbOP%mE$=t2rkPx^Xe?|;fL_+1D1I@Xc1yAL5B|G{p3!lNi3HFQ7VI{id)l-JF!#i%3> z2j1xnFV~UpZvq5R5d&N7jmJTSGjwj^Z3K+V-MCzJ3t^h z_@?1ohRtjT)A_FnVql^;%ng1SHc*rueveM#4Ko*D*#VQ&5E}@h>Gfid^<9PfU_Vku z4BNsdiY8>ZCVzj3PDpIhbV!)s&5)d} z0!P+K1wFh~{EvGgP1yR!Hyg-e30yOLTdEVMf;z&OQT$7U+30`z@&eSRnDz!B^k4)v zWBnGxR)3;;_e7ST)WgIbqTW6ZH&ezsE>~w8A7}rIeUaUE_)&q~9tM|_V0z5t%#j1Z zRSoEo@$8q7JTr>!NkpvHU|2s5{cK`=t@$M*7W94$Yky*;DA)!CYy3v)b!(vaz{o)M;Buk%RfQE=|2NmFtZVbMtFyABFEQC$G@qqf$h zNqib=N%-=k1wz|(T-AaCZb9a6BPIl*Q#js%^Tlu8>|@JaRRse|Us0QrIW*giZ{bNW z+J6o8dJV(uz#6Kxhy8Y@`zk>CC?#%1jByq?c&P?)*c#anD%dB+t{KIRfKpZ)^a$bh zT1hN7c}GQV8Wl_M10vL%8C|L|@8V5qt5gFU zX;${nzQ@iSikC{>oNDciGGJT$q)}~squ^+9H*Lrqd04;8JrY*i&1L~$2Y3cQPN^JW zdI9(o8A$b-RPfCFgJPYkvu)0^9omy{L{;D5}| z&0+$l4h#_Wh%K{%Ovr>fW^0C6?qBGT>A_Q2E#{tgbD7L=)4bMPS{c2SO=yr@0dmYt z2P)+gh<^_kxVPH*xt0fN0Wl|gQPtKg@OkjTo109I)K+(nXQ@J@t$M9Dow)3cH?H%^ zimWE^$_tE3@>gHN3+sBx58=uiRe!E$K^}r@3fVi;Pq<9x{v`fNqKgz)Y}_Os?MBBj zKab=%1JX<=ITyCKdEA_w^{cob?;#K-O_)JVYDKc8I$DrH6y)G$`&@H50_Y5LAoF>P zUDQ73TQ{k|7Vur?xL(%lsHcE@e{O7GlH|VyPOfareQK}(Qrea9BzVR4p@~(C>E&WY8B=74xox?T_Qo`?Z_Gw2B zMQuPYASK}Aij8Yf$^VA7_Johk*s1~-f)Zh+rIZnx3b;0LCW3a!)z1=sgb-Xyzg4-iYp!i;aG8j zrPD3%PhK+{g*~Amn{}*;IsEZ?g@T2BZ{=uLd`BYlt1;ZLXm$~{lh+9lp%b>4kWe)! z&;Tl|%IsdI1oG6iZhxV4K=r?=_aSlT#tBOn>hkoHe(C-HcWGy)4x?d8+FDDVfOJA@7{fV@|Jp);emZHR_TN5Y*DO zjf&}P0|KJ2`@O_s?x??$jCpjJ8k6FgsIvuSPxYKjQ7vK=nyR$1G&(Z98zkEw5LXmhkY|0r1YVSCVk5UXen6#^xFhXRCkL9ZvLJU2P*~P+kZQ9w_m*mRe`R~UkesMLj`eSoykyPc)nlr% zu$q;VlTh_OM<;fAz(<6)v0r1oB1f(k0(Mhf(#~wc)d0^ZEv`%#bIC ze&$$waDT-Z?o_Zd_`)ploR7f`Z2v>hfa4UOTuoI~gv!@wVlO>P8QG5gjUE3~s^F6EYO*Vq z4vl{HFEjrssdQA|92fgaq_;-9O`VTDW2G_7Xn!;!iFY&qv);sRV)#i$}KVRU567`O|q4eYm{E%xWHrT)L<)3TZNI06=%UN3((GQ z@~olAcA_m=ZF?&q8Y82kBUzZDzL||6wG=$Q36n9dOmT@zZQIhW*U`)5u^sPgd0vj~X%KzyM4{Au6vrBqCZ|$5rXEU^O6tN9K&vU0CWIq5f8ta~3W38#J{)Me!HeEA;JJr|Bg&L<{$wUU^!V6z1l{ z6yB!~jP0q1i5Xq?^3P{b%;-`V$1_R9Y=1z8d|{}xBf4MPbgg2n{u>aT2n`fETXjN> z)pA8-JTKJEXMgD`ptx4|Nck|s`daV3cq4bXm}G2=bRyF=MwGi=>Vfyh03bg+k?m7u zlF(`S*kP$%@+UA)s^BOQrm*C1QGZ}j zG1}*{P8vtbeYzCmeLLW>E04b_nR~d_Vvm=R4O1QMX>aXdCeZ{Hf=VYVK#KUN9i?JhVMYK zbHtZg+_xWcy^hjwtUPVO$UQbO$9)JB*z9GY&$;tGJTFMgFKqj$4;5b&X@6G-QGE(? zUuA!9vz)th*GkT87IvvV@U%&(`0UXBu|8v=9;gf+g{&XLJlNot=M3C#w!1>kA$x`a zx;mun_*uUgNU>q~W&HGidEOz)`x75dt@4+mH;ZKNcRk_AI0!`iKdVTIy;`Wi1BZid$~*!;d??`CU3m;5H>(N!vm@b8Udsl~_f@c5XQBn9n+O9(tb=+)PG*S3 z$X)QCb9M{T2;CPmeHSDk{-EPMfL=&4Yfd3nWe5iHF>*v_rdAaX1b+pzH1?Fyg`5}F zusedD(Ek19t#0yZyx6Nd0_@T#n(pbFr_%VFBRLe_6KyVZpEE1#+?r0n zvxSJwhiPs=F(r(RZsTP3dB7QUNOjN@U8&->%RzsM z+7XOO;epPThJUi;)PI}VH9>K8?6>BUVUp0+)4jlk3ZhC zN1nmKA`i-m#6233meFj*B#@}9?BlS-o%096;;`@09Ob2W=~4#bpV%cc_bIQMJWs|C zYBeOKx<7_>3q5CytmARo=t7kgqT+WzyjkF{*fP(;)&2d8+J9VWG9lTv-e)6AMcZy9 zA`(DlK?@dwi2Ec1EyEN%Z;Oo?y~~}53?AV!!|usp5OFe@)pi*E9fFr$*4PeSMkOLn zu+1)o<)oFhCx5NeIOfR*B7SVj$*tSu9Of=e{2lt!)hc)coDQF`s*=&yp;eGZ zVPP|9XK_HmfdMJ;etx(A?8@Vb!%?j?*=A>v?WiPB5`Ul1UP?ZlqEe6=PTB^W$6WPi z9BGaww?*7pgIdUtD~Gs5YWk6_cD^Gt2tk%te3e9Za5OVS$s8t<534g8{_~i|KM%WI zz#gDw2BAbc>SqXd)Y{tGMG2#YVL?^FofuY4G)|NL-OJ{tZ>^Ne!zE5Q(A~%Yt}iRB z@^Sl`-GA_mRP>7)t83ixY?h3OGM|8rSeQXkQ(|s6jfI>|psbve+QzDuqjdcL4@4MXJ3m$c_jdp(bfC#;p`L zw~{gvbtRH(zEQou62ndDG$6!!<@E%Mql(VA2Qc#1Sjg8Hww7I{1sSebT!k<^YFGrWuGmzRn{J&iK#kYAPTx=18A)nwU^h5Ay-1*JXRNvv^ zK7S0fB4sQ>_bV*SGj|mhQJ;%n5RIN7#3`Ifw(DEq#W=r_%6HmzNsB&|gc}dNaA%2Q zrd$!f-rpfiHp$0}{s2$Ih9)P(Z@-jVSaof|67FNqw&rB-a_c#$46_O85$G4qtU$;N5)6A8Tq882#oRf)?_GJJFW>wl@R z?qo`f-j+**GlPKhReeLn`i2o_OQQRiv>TeHNpB(JI}8vyYD|Hh#oZmxSZZzcGW(A0 z-3_6uko)KRbu|v=deTT!&DB^V^!-X7$wu0bJmj^$X3!68`i;5Kln%DkO0^t}>gO;h zb{(XAG+lGK#15dDDx9g_3RJTSe}C9hOVjq2DPcfR+OHhRSim?QZPe~hGWpNvZmG3y zpir2TzlsiOpUXLP-z#5Wo6U$%aYK@g@(;QYP6Pgu7%n&n z;{ZE517>|{j+xg*?df}&pJ&8$JgaANY}|8B5*F?NJfdbuU7zsQ;$AS9X5NN23|8l_ z$&0!P2Y40#F;aQ)vXO4)segJ*X*2RoKER%JM<6#yrHPm|v(y{v@)6-XgFaOgU?AB4 zSa-QfvX=3HWNX!iGN}-baE9hiLn@lap;g(+ey9m_%RW)N&R~#gKyMBW(tMQF2wej+ zB!IttvXEJN7nsmYibj5fN_rw|k^HZ*0t6sj9DL(%NZ$J9d%5+#Hh;&0YV_W24)5QP zpv~=@!C0ii@@&ZPLHV(jKV7mi;jN=Vg-*Tl#C4#lbuF^B%MGom0WA2DRLrUx0}uOT zf+w4rW9*C!M>`*kl(UAY-WNoGvdB}Ah^rVJ&=60U7ws`j_!OGgF5trk-J|5RiG-+2-3kp9_G^)$m0xp_NrJ#1Hhl)6OPWEc6>J z&^O8!DsXqSfPZ;3iCx?xZFM%6TsW*}9&(2T{qcQN?tqj_D>8j1 zkibCgJd=`_(Rdbmu+lzlgj^&&EFlGJeR$)o92gu^*MF6Hwb?ne0PWY)`+qHIcFBD^ z^?)7I!BMq}?p!Vff-_sPx^UT|WUSFozWAQ~Sa<0LIqs;45LjO_Hs_xIM5~c@D3J5c9%+S7G=cV*b$fRAP4pr`E%Im+p-w>F)Nb$}P= z>wnrK7)0epPY2o4e+kbTO_ay%L9{u%rv7>DO2sz#7Y(A^h=>)k#}Bqc=vgNuzg+#R zhG>GrPsJdU@2Dj)75P!&#VB+u2!~S%i*@G@4R#Ja9;Jj(Bz#ei4O2sfo*=^55OBk- zpZiNT)X#>Bhp^UAwf`}3A|hMab!~imb$Dj5iBkSN*9{$CG(es-)u_Uz-+}dm=p>!pNIx~X#I$M(V(3zRm-!k@?fm*a68vv; z8S>;Wk9dga=EXz13mg?OJ2iKZTpZfcot5l@&S9irR?hxOUqXay*)+l$=rx)YDt}aT zESJFY&HiZWYwOsq_Yqv}8tfwSA6-?5m5S-0A~kB#RfLM8I{X&bjOI z7Syzo2yIJI2!p2I2a~S(n47i1&VPz^y)ZGhIo*QROUheRx0{NzZ>u zu2#5tsnID0R#j&FyKaU)dYl4-4A=g7_k3m+>9L7=C554q6TOoYIu-%R z-fm?^y!NCkjAdjRA?Rd-$SK~QjKM%GR41%x57?B^i)VgAIh!wdTi6y*fTj`4>tP5J ziF*~lF*KDs#K|^^MDy<=`&a2_wk4e7w`q$@HHE z+gVkuv%U~&CuK)#+cU2OzJJnQmDM5j87OQ~i_V10F`#mZoQ!LM6Q6RLNO2R0O0qAD zBWmZX&FmNOQf-W*YjL|1p+hE9^RZ1#Fx_+BbxKi@I8-#>=8FT&8Je4Wc>C%o`zsc3 zlQHO4*(lkH|8~kzUT|VUk6xrex@?!OPrcSF{W`7{b+Qt-Z^tTE$pYKR6P98|di2LE79q0V~$_%seQeYI8h_o*M z@G?`G$uL48XpbU_O9W{7ZJ@b=-H@xx7zAGmi5>bAgoiyA?4)MYB8Ptrh?Wq&-&|F| zs}f&kOyGWx#5HT<^)z+(MYQ3B$yQsrksFp#J z7)eGJ*WzL>ZnJn(+>P(f0*t>FTQFP=?y_gZ68^SX%l&BA$@O z`dVR8h7aU>0@h|m;5>j5_^+y69`(0?f@yZZ#mhb)9 z0peS^v}su+d9YC7ow zZdY>?gCuyLM)6=qtXGj@!_d5k>!^VXI_gP>v1=`a*`y(6!GHVJQhbVS`MNbU6D4X2Ee?+rJdN1Q&1%zJ{D|-c<6KsE%xjRc*4&^n(zf(c# zRFJoY47V8H%`19ZLK)E+$VbJSQr64vVX>&wnTjaBer9(JrF)s$TubDgw`tMzxIi;^p0uq! zMiRsPferK^tg4ew7d9Bay>M#8s-tP8T(RVjC5qzwvx-2E>LqqThrdPs zpnq8T&VJie4&<-MQ?pbcQ=9cH<mwA?sC@@6k|F^P$fP5eA(qw$BdG zzF(W)NrL*!mR~FKmQ|n-R8@Yf=*ca$#(x+H<@IEI%H)xD>U}}sIDF+4Mp=&Gwj;$u zQ^3PhUnf&h(ZeqRzt~(!*~GeM&&Wng#kA0n@POPCk{z3t%FzW2Y<<=Z-#Rq*08)5U zqh^lGdcO`b)}wGg6g8!F@pWbth_aV3qBq5+ei41)EsHbdHmhlb9Z0(hqf8~|Wq%)4 zv1XrG#-uL9NyjZ~wsglXHg0{qe8 zV{d|P5?TaaP?Pmu@lW*Q3|cx*rGMSn*2sap!N0}04X$d*96W<&=hPEyzoe)YlSl(y z&OzCsL0C@$<|45b`{;-KMROIm@h|GJ*cnfdId0=XwAC89;{}pjl+eW<>Yi8XC;^|4#aZi)@MPCT(VHonlf@^h zZ?Qu$FhZ?J!=|~3=Ki3mh%Xn}@4;1vyo2e&m`iqLP!U%oJHc|>@ru6)1ckpcBf&^+ zzx2)=4R;#Rt2xm3Y2aZm_J81HdF&5^)6ZPSaT*f;`E3Z3P4iEcr%;D@2OXNevd_X& zZi}Ns<9Wi979Mrhwj3DMJs=Me+A3$kJy(!bpB|{#<~POCt$&on*UQR^C3UIbn`UAN zf*;th@ZDrcqY4W_=c4# z$`2BTptTu&3Ng}n+kZ^~P5{ssJM+W39nSc_yY!K`_i)%T4ht?SF}aT3CT<1WJX1)$ zXN&&c;(R&ut)=In#($ubStq{yL&=mTAv3b-$<3kkppe96-?EN(F&gj6k9}Pf<2gQd zbm7qGf(e;-TgZxNchc10CUL8xh!umrWP9e3HYFYKx&wyFZ@T=hd=YITuFh5xJ{#$H%|tw zv#M-UD3fZ$bblBRZx?nIahwW$AW!*F4#KVBDnML=IN}Tt;pr(9&tAE32;Noh96{N=%1(GSx7}>(fFyvHl;+-lcXt5!&-jv``kCPN~{U;e;AR*0$ zf`4Jw-$vg)S__oGEy=&B-55T?HQ;yXg4}E$nCIeHtc%6YDk84Z5n%f&ka?O(;I{yX zk|qts<|NG-@Ms6cY?-rZ$%aie{yPmr50ZEWTRXq<{Z!r%QoX7__{gI2bI?4xZb&45 zc?eU}I~dCF>6kF2^qq&_he-;xf^CJbqkj)KnOH_vOgFgSx+?C4SGkXyjurb!)y@dh{YJX}L z!w8xDRX@PiEWS8Qc$$R-yYtLwG=Ow1^%P}4AqAUu-l?4gio@{A)Ttzd$Y9L7?^!4kEd%Dbxi=qC_>fHk2M(-mJz}-z{IgIsWcsw=bTQ?g{VLkyt>IO3- z<&yv8-YaAy2!o2659$7O%ni+7^S7{nKV%oeNm)Y{xze*3Z%xz<)VEI!Ojw z(3o{%j}YNUMGgLezsQ264_Ui-bTI0-%~mUZfhTscCIK7Y!8!@cpJN+&a+|l7f_qDU zc_M5$P;RkzZT5*EjvkGbexaeTHN@k@Xzp>GDeZrI22U=GJ*jaY8CU6u12*^L0c>eq zkSnm$;e8iosN(y;3Je*ZwSV&gDWt2D-D_{~&?OU@xPU5nnyK9@jxMxVSCA{HN+cz} zYB2CspYY4}lCHtK{%egYY^_ch=CAon`4IzxJxpoSeI5>YJFGhMAT*c6fA;vumPH=c z&U+396=Zar-Q)o-31|4al4TT9Y}e8l=*6LEO-#Nvl{;0;k!sZKi+?c59kIMoS?A)E zs}aeOcsgJ_{V4MFo|V1vcc-4&aaOd$x;2`XW00qYMsLM506KZd9n-f^m#`X{>5udW z*|~Q7tH))fu4H}gh+vp6RL3=Vr07*__USRCk!WrE6kcE)=y@`@GcyKp=@i{EDRk}e zpBLjFyOn?$?0PTq^naQVkTgUT%=yb}HD&Rfta3)>jVx6BX7WBUfxLZrX9`Q@2}3Lu z>-bms>;_lSM{pixf%fa`l|Kg50k3KZfCR!j z)>rY29D=h(U3I$=a?aC+@b>!P@{uXhlnp4$U@IXvL6#i}hkwTa4p+UYss5wyQx*LS z;$qp8E|4Q8cV5-bAw04v+6-LPJUUFiXAjHD_84<~a`{CEXqPvx0F)}s)aIxdz2BbV zvm!EJZ$CTA(o&5jll-emcNTWyNV{po!RiL0GG-=Vdp1W_En`=T+HvnFc47_RAqk-~ z%=DMCWO&-C5Py-@z7*xRj4MAKZZ%s~LT%q__U7a7pAnNqKu++~u+NB#TABa6X-wn8 z#C>IXDgvuQqlan7_>FWw+YtZ3$G3D0lCmvS$rcwK+l9zpO?(zj0f-bSd*{6!wPGW% zBmTh?|Nf>R|KL|qql3)iOHCDf^b(`*P_Lg!gTZ%PSbuBq;Tr}l*(0V% zvN>w#1?US%ys`Dw#Y_B~THvoymsaWNhU6* zozY0Kj(=+nDVU78g)&)ZWHB7O zF2ii?5C_L1cIh*U%V!&Rss`EE+IVBIe?7|H_RA}z^W3ilaDj3UeLl758&s!V@iNBr z>I!HMbg+Hc?|e^vu<*eL&!FAcl(>3pud>HfR?Z;~wPFq($2234e$M2p+0 znh?-UGYW&MI8E2rNq6B3EKzufRq*n!=m9hKgCnD3q?@8CYm`1mmZ3CsjxSHd3=;`H z?GM^`MEZUiJ-X`~$A_Yd3XOei2!v(MSARW9fCDKt(=QM_iepD#*TG!C9m?7^5Lw14ro$4(^T#No1wyjjIfi=HFn9sNJHtk;R&wqp* z;2-#iq+V;*3SRT6)yD!I$n=>txN~^ED=KD;L19uPl0i3$<}I724&_VM8BXL%VIrb{ z(d!bTh)Y3o#wsM-&zD4u_DR#S<pFB|MfAz0-RM*1iFrMW|y zOza;bbTFG3DK@Y*XbxgwKmE85fPde5{ZKr|t-)zk*H=^=XEFMBBm1cQh*~3PO;=*b zCHA$N2u72d>`=8$2Sd+}WAIdZVU% zexg^Gfv5beY`R7a?kuAl^CZI6HJie4**38)W|C$IBoXr&JF(=+%%+XNIe!q|lp7yu zD|g|7-JDb0MXob32=@f{W%~~Ip&&lE!-wLc}Zv>Z#5Q|{ZPfp=BDLC(;5r>3y0N(GGC)nt|y1Xi%s3oryom~FOr8aWkh2) zIAEvsbyx6aUfb*9%245stbaYe_h*w^-oegN;OW56`>NZr zG)FJ*#e6NFbxX{|?)0-V)y&jA?&Yb~E%cS;q+LopLz^_#WE-`=cG9W=t` zLcpG=iV>%;+^h(!4&H0{Oot=LiQ60MWsNk{$hz&Y76hO9|ZkKc90+HBg0$ zLK^mOk24by&d>cR{(MZagq&mlad@syx;=OQi{Xm;IeR8q%>Sc9EKEv!GvznLUpnB z>NZ{uyu#}8k}yfB|5WgF{Gc>)coI()2Rl-d7OLsw;pxSTKwP4ZgX}9W4tR3?nakQQxgkGeb_S5xBZ!fhwAZLkr0HB2i~&e1Lj%4W+-(lKWgp4Wna7+~ zf;4>5W{*iTNa)aQOJ=ZzKw6C;wmte{Op-WT)w|5$pd{lKRq%Yuy|k;8jgmUWlmWK} zylxWE!tR%0M=>j@13nTJEp)f#9j_okEHRB+NR0NyRg%W!+$)@5G%QM^3dbY~ev}Yw z#7_>F{1QgV&B4Ld4c@ekHni zgjPi&S&W}Zl;HTSt4QBA1^Pd5@sQ^>km>78E{sCtj!5|ZNL?GoRN)>L_m)K1i=QwR z3Jo`YGh1zuWW9y3tT3_GPrW>}+EckN#^?*l4=Gx}1H2M|N5Gl*e4AZX)(>5r!?f)c z*Q+jtBs2hNfu8s%4v{wbx1xYAF}Rr<@4a_agyE>p_H`DI>Q~Sisu*cLTcmrS{PmSRTfA#BaUM<0XUZcCOV6i2! zd|OoAbbJ<6406I>UVD>+)+YCaZmzVaJW|wcqIqK;Pio`3Qb#TOLe1$|GYuCXkzn}+ zIK-!_*|wDE+lf?HW{7+6UTJN60~LB86gZ_KZ_zmaxOA}e=N9i7n)6ZBXQG-#0DD2f z13e%1cphm|{5e7!_YEz${nR_(#*a4h-_2lR4d?jRUq7#!qs}#Jh)t={ak3s6RhCtu z1XAen)4*J%>rW0RJ?6tJa2bvr7`O63th#%9q}>ADJDpG>;j3=gHTJ~QfxqmsBW(}W zjy)L-y&y=Zd-n--kg1k9)jgj%=3S*ZBSKtmTE$05g|jd>q$j_aPs|>DEMF=`z*Cb= z>GuI95KKVSqfPJSgC6N6GW+OwvXHdva!hsX9l%Y9k`L9oFBv`L6#b##+K zX@TchD{JpyMcTs1$-Q^v>DyIr#pW-^z-DchQ`-c+O222u_4UB0c|%3F})|KK_=msxg)w~ zOtS*}o_80AS(0__F?$8DXZDHO6u2_2QG0)Xxc0sabkYj4Eb*+4=4!o*hDC+Q~Wl0xQE)+ZtT?gJcxWaevpKEl~I{@98Z4O}S27ZODs)oW!OO=rQ-KRzuT5`3dxt z9yc`PvKh3H&CtwZ$KdpylHsH}s;}6iPTA3)?_|eVpBV;$RCZhtGnF^H%~LMsMiolS z7`*?Wqc=2CfBy}LVm)1X7k`l{-WLn>BE$fH2KxK_T?rN=?3E7)=7eYpURU*>U`(lW z4kh610M!x}g3g&=Cgy^9+OBq=F847DohCOg?@87)4DB2`ezi(_}D zJ)LX4K9^XK96ALOX3~CN{%Vv_51$=TJ}g)LBfaA=K_{`g*u zy8mD}l=cfr)P+Id5m`c!ghd+JM<-dlW4^c${Y*C_HMDFM`P~()F779d=BE`vNI8p7 z$DZ(eD-oh7HXu80NXh%7rQr<3%elTxiaoD7&v0fK`z-Rxk5m~jhPvo?{2t(`LMsvu z=dBrWjL!cwx#&HOA{K>ft&*@x4Svtx243v?c@714N#};wPDysmq_!Rn=Ak|YDdW0f zLq$c!gC;k2w|--rxib~ZaMMd`tL_*AUsbD$CFS=aj(L1j54xMurr@p>`Y)upW+PU< zrh4-i7-NizRm|eqZVpo%wW`+S0_1;%_ND1dBL`8HZd z)T3{Gh{FrDalf;Z(Twfo+)7PTG0rWC#njkgL|zN=rQb|ZcU8kIPUzUbPFSRBzbw=` z&;$BaEJXu9o^bj+GPK{};g=lWAnz2F14QvS4`fmwkw$wvP{Hu`85qHP1o#<2U?MnfqZ@S#6 z2uu@iDMJyen`|`d_m;+CMY=`WY)9g>ukFtLlHcputi!&K{y&(#l+Fu24U=`NB9FwM0dT(JSdjUZm%uG5&2- z@|Lz-+k9DLpE|vi?fI}~`3=+n1~JJ+ogDP`g9`8Agtyc(Dz6m3mnM>ePHgV0&is%! zTjjPIz%bb~w+qIm!R>L@^W!bY7yYnxJ1f2hpC8cndy%SD4TW1;IR8jR4760zzjD4f zRu5Q>DM(KH=5AD z)b9Tsrr>!KAX=^q*QNTv}{h3&=3+~oitV>KV7Z9qw=+C!ctUICgJl?j@n z+|rn7?h&Okr`&AhpDt6?PY1r7EBw1pgna!DamdLa{+$Qi->MP=3qv*)T@eGzfu)sC(g2UZl`cKB-3%`(zr zyjSpGfPP`&tBTyro#GLV#`b9+@a9)Ud8JT*R`~~CoWEuM{`!EV)i#X9d28y2!5!Tv z_%#WQvx6Zn`6<%Qe*g3NCY8IZkrGQpuGC}3c*;F9ciAD_5?#r&m8Y}IYo}KW1YOwc zWS6mf=?&ZSTe|1p&;w11inIqKb_Dp)!yA9zHCUP(DTDoPHw~8MJ@-$Y$Up`12;dH+Njm^*biiyC?{gn{D?@m-Tgg8@oIfV!aK<+;WK) zh`DI#=;{dG4;o0qnjC(~dQ(k&Gx0XP`i;eJMMFKaPO;^Kwa{<+g3ppTMF^Rb5(ebP ztob!b$vI(M-`Vp79mCJQYic8Lh3(`|6*A0oZfJh2a5Sgdu!&}eqA7n@u$SgTR&67y6L%#yL50nZ4+74q* zQ}V6C0$|sCY}g;qU;PqXrsq@C{}T`}4?|1~201ncip>Hu#AS7U1ykYXuUm##z^G*A zr8!^PxpC^X+?53`!pM`{K!a^^vOCgARiPxej;$?`_PH@tmS=2bZQixy1va!2EdXEY zxU_s%@fN%A^#gFC;){aa=v?_mZG*+^q+>{11E;GahnLdy))WuDsH=1Ty_W$)S|5r? z!|x0{F7A{X`Bxkme(W_X?tf`eSuk{V4~eo)O)$kY*^+u@{gR{8976a)aTSaN2oZ5j)nVw1EBZ~cR>8X(IDOx&#+Hra9GcK% U_-r_chgL=sNh=_rfzqV?7Z3xK_W%F@ diff --git a/papers/incorrectness24/incorrectness24.tex b/papers/incorrectness24/incorrectness24.tex index db5db906..0f217175 100644 --- a/papers/incorrectness24/incorrectness24.tex +++ b/papers/incorrectness24/incorrectness24.tex @@ -47,10 +47,10 @@ In HATRA 2021, we presented \emph{The Goals Of The Luau Type System}, describing the human factors of a type system for a language with a heterogeneous developer community. One of the goals was the design of type system for bug detection, where we have high confidence that type -errors isolate genuine software defects, and that false positives are +errors identify genuine software defects, and that false positives are minimized. Such a type system is, by necessity, unsound, but we can ask instead that it is complete. This paper presents a work-in-progress report -on the design and implementation of the new non-strict mode for Luau. +on the design and implementation of the new unsound type system for Luau. \end{abstract} \maketitle @@ -134,9 +134,9 @@ Luau tables do not error when a missing property is accessed (though embeddings local t = { Foo = 5 } local x = t.Fop \end{verbatim} -won’t produce a run-time error, but is more likely than not a +does not produce a run-time error, but is more likely than not a programmer error. If the programmer intended to -initialize \verb|x| as \verb|nil|, they could have initialized +initialize \verb|x| as \verb|nil|, they could have written \verb|x = nil|. For this reason, we consider it a code defect to use an expression that the type system infers is of type \verb|nil|, other than the \verb|nil| literal. @@ -152,10 +152,10 @@ There is a matching problem with misspelling properties when writing. For exampl print(t.Foo) end \end{verbatim} -won’t produce a run-time error, but is more likely than not a +does not produce a run-time error, but is more likely than not a programmer error, since \verb|t.Fop| is written but never read. We can use -read-only and write-only table properties types for this, and make it an -error to create a write-only property. +read-only and write-only table properties types for this, and consider it an +code defect to create a write-only property. We have to be careful about this though, because if \verb|f| ended with \verb|return t|, then it would be a perfectly sensible function @@ -194,7 +194,7 @@ an error is reported when \verb|x| isn’t a \verb|number| or isn’t a \verb|st \end{verbatim} (\verb"T | U" is Luau's concrete syntax for type union.) Since the type \verb"~number | ~string" is equivalent to the type \verb|unknown| (which contains every value), -non-strict mode can report a warning, since calling the function will throw a run-time error. +non-strict mode can report a warning, since calling the function is guaranteed to throw a run-time error. In contrast: \begin{verbatim} function g(x) @@ -353,7 +353,7 @@ in our system, which are covariant in both $S$ and $T$. \section{Future work} This type system is still in the design phase~\cite{NewNonStrictRFC}, though we hope -the implementation will be ready in by the end of 2023. This will include +the implementation will be ready by the end of 2023. This will include testing the implementation on our unit tests, and on large code bases. There is an Agda development of a core of strict mode~\cite{BJ23:agda-typeck}. It