From 40e972d87e913a051456d85b42858c4db3705e69 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 10 Jun 2014 07:56:37 -0500 Subject: [PATCH] fix rendering of underscores --- .../redex/private/core-layout.rkt | 1 + .../redex-test/redex/tests/bitmap-test.rkt | 8 ++++---- .../bmps-macosx/metafunctions-multiple.png | Bin 14260 -> 15225 bytes 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/pkgs/redex-pkgs/redex-pict-lib/redex/private/core-layout.rkt b/pkgs/redex-pkgs/redex-pict-lib/redex/private/core-layout.rkt index e672e36b42..ce00d3c42e 100644 --- a/pkgs/redex-pkgs/redex-pict-lib/redex/private/core-layout.rkt +++ b/pkgs/redex-pkgs/redex-pict-lib/redex/private/core-layout.rkt @@ -708,6 +708,7 @@ pink-code-font (default-font-size)))))] [(and (symbol? atom) + (not (equal? atom '_)) (regexp-match #rx"^([^_^]*)_([^^]*)\\^?(.*)$" (symbol->string atom))) => (match-lambda diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bitmap-test.rkt b/pkgs/redex-pkgs/redex-test/redex/tests/bitmap-test.rkt index f649292b93..ae04fa4bb9 100644 --- a/pkgs/redex-pkgs/redex-test/redex/tests/bitmap-test.rkt +++ b/pkgs/redex-pkgs/redex-test/redex/tests/bitmap-test.rkt @@ -121,11 +121,12 @@ [(T x x) (any_1 any_2) (where any_1 2) - (where any_2 2)]) + (where any_2 2)] + [(T _ _ _) 1234]) -;; in this test, the metafunction has 2 clauses +;; in this test, the metafunction has 3 clauses ;; with a side-condition on the first clause -;; and a 'where' in the second clause +;; a 'where' in the second clause, and an underscore (btest (parameterize ([metafunction-cases '("first-one" 1)]) (render-metafunction T)) "metafunction-T.png") @@ -425,5 +426,4 @@ (render-judgment-form typeof)) "stlc.png")) -(printf "bitmap-test.rkt: ") (done) diff --git a/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png b/pkgs/redex-pkgs/redex-test/redex/tests/bmps-macosx/metafunctions-multiple.png index 5157dfdc0dd8eef6da553027829f0efcc4b923be..977fe249b779fa68460a2c59dcc748614f363d11 100644 GIT binary patch literal 15225 zcmbW8V{~QBx9($fY};nX>W*#Owr$(CZM&n6o$T1Qo!q?tbMCnq=bUlJ{jh3%*tKhq zxz?Ul^?T-1;c_yfa6hnr009BPiHiv-eBZ0SuRSP;?-rB)OCJb`5J+6;my%o7MYpe; z=3@5ImqUDgq6)l>ogQvqzBw1P^*#}6=1hVgE_q^;;C?oAF(|X-F`=m$&i;v1!=pe) zv*vAbCt^~5IqoVoLb!SPJbJsXNIHDWFJKGX;T2+6YTLSSEouZnG%T_Zv%*uO@9|iQ z)o8CT)%xu*{Or=LS>E%nxW*begY z>H=Y5ZrRBoP=p@cK4v(9%3jC=*6cry2hEtphc>xGTIk?oC)o4pOVgssnT`={zA|_) zx7Yxrj9cl7>GE-Lno)$9*1K>+z3^g*LzI4MTHeIOyDcZ++0wsBS}>6LO4Vo7$rueZ z59W4Agowd_`Cd#>;kv(?lg>9n)giB7!4f3)#WF5}`{vM=13m9s#)<<&&aIk&AgRmM zZd<*?d*fwmXo+<@V+3nQy^d@ZX!i*c$0n|k9F}j~Jb58B+;;Ol0Yz_Ml6MVM^i+Fx zd+G%!9O6yA(W|!#4Gj$(OISs%?I~4NwD7rbCA^2{EI*TsjOAwma01ii)C~>P$FQ>7 z0sS^H%E^i*oV8FIH|#% z=Jqjeeqw^t?&cmlE0cp0*(NGwSkL{uML@QT!~*M979vNkBi4Qp@gK|23BEbDV1(wX z3=%4;E!U88dEyX#F2V+*9y+MN;1x6W?i@7q(g5Zb2FdXN9@KM=m^VRY3~Q9MKAl7- z2-kXsgUkgCu$aCkM(SKhEFA+okgKU6T>p`k0qQ-dhVCg)eLwNA>m54Fj$T&=-fFYm zNIMC{>)i&@E9=T=-O?RuMB16{TrN!4gC8OFN=c}%0JAQy1lvsY0Xc4?8ks)8sX%m( zxu|Sni6==$HEXK0?T5kzG-PFks9dhvk>v|8FnnC&oSOp|ek?J`BEmhgAO=5DeC4=a zx#~G!x_wIF*mixAYmU1jaVU>Zec-8K=Nfp*-!ckS={q5AXs~F<3!)CY-nYv8bcP$h zUGR83y#|p$0JnWrdakHLeVFFvKSn>CuQi*z$`ZT&lyzSh`itL8gFJee(fnc#4-52k zy?EO>N-=TLp#fpDH9n<$8aG}=NQ``Hft;AL103k~v3QE>QCw1q>}FN(58)`78YWhy z^TWXPEqTx2LBG4$S?LDfVGV3z7drZV6MsB#Dnkn+%1OLAK{i{4V%Q?|o@~MWs8C|t zbvZJ|EeF=X*=6z;jep$?$U!w(ZW(vy>+E4C)-S{=rG`?7`&PR%YUfsTMMv>d62vu7 zMZD{Sn+OEbah4irPVa?-P!d{V;>$OK)&hag+-B9UObZAo~5@g%!#4rFX4eX-Xy=Hr>k!e%4r20$D;u6pl12PoDsz#Qv^u zLF!SRm?KtvBnHtH^^d!w_8xTnyrT=Cl}L=lj}b-;$S+$f%|yvxJ*z++NojU{6=k$w ze9T)|a`Nf07JU^)s2Ni&CLUX|jZdI$1{V-Z808NF$>0IOvmdqM1d?Z2;jJvHVR-R1 zOAt%}Y8uLD{Z_vz5#t013G>ASw9vc#bTYhvu|9n+ht|@`2Ors12CJY#sxB=0rpPn2 zs$I%z?;^wTLw9GVL|H$+dRO)FVw=7RvjWCysbx9U^;_69wT4x^2PINDfLgE1md zQMnSv8B*MOrNo<;yxvg_3A7CnmB%s6MM+#soG23KRLs)Atz+wq7x}i*{UVQxE9$q8 z3NE#i17`Ny4<71X%C9-WefYPVO0#s=ybugTeZ!@%C>QOzA}Ef+%ybLY5m z^H(Esi_A{C<{8qkTi5TV)|=u?a4DkOA&~9z#3go{ojXy_6I1CmIyUtU;_zutuMe&A z(xu^aa5Oohl}^+do{^v1@V^K=(;t>fX_dX5|jrd$lQLx)QaF z1(^Q!0AQinhH{syHKp7o!vP33lC{v}f&tWfc|Y2enIk6BSf1v3r(NOcd2K!>j;~Bk zIj48qF^W~5DMNqiq?O>d=YWHSm?kPyj!(Np#eCj`FJ1Iqlnk(xERH;STfy8HdPxtZyS zlNx*sw}BPYcWMY;hb*}}W1qPV25YV-FMF`MCg^H+<&^+K3({<6!Oq)hsP}7NnGd3e zNm6jDuaf~IV`F(Oh5nOEcngV!ztr?4MO`sIdF|vTgzHE#D-GHlTfeQ{nbcQSjFJ~; zD+jHco>cc$CkbYLD@araif8n4Or!E;|hMDPnwE?C)pUa;{u!JBJyWZSu^^kCSohHZdc zb(nBesta$+A?!M-=z23jwujf)@+(;z=rJ5_`#uH*Y1?~|Y%B3(&Ub=5feNzEb?Sqs zSJsej$t5;Th2w3Ko9>g8RK4X`-q)N_-WoWZhq=YAuCx}{K6c_ z1DodW7&U>6!%FkIBV-oGo5^aU72xrw2L9JmQt@?|j~ZP_t)||%jm~*@>;(;946xhr zGtIenFW!-1HIG3x#BW##0b6Iqo_eT&W#D?GFaJjo8K9of-hjZ!=XIcqE-d$;-Y!>2 zTv$DRxvAH62Z&XRl|*W5#2+J=fLCeWq)$e9=gfg4*H5(ABt9Sn0*c$+FQL1UEyenW zwJaB(*vUu(gu8u1P0spTsLztCcwemh-ksf=&Izx3j4i`Pw$SOV#@K1E4xl}_As*-6 zn7@#|VDy5X>aSfH9A2z{^7L!Y*ONnbL!3#B65D>m-g{w@FD zj2B$a(~oOp@Jh|>c_7J<>5&>uuAl3$6aIA`L;%LIaqr!-Kv%fI$>d*n7$MtOJH;sB z6x-^%Za6|7I?3Jhr?F#P-E&%=>(Rz!qs3vui<@ZDc>Vt9fWzm8yMSAz1Q%+i=AGfV z-huv}j4cK+KT0Ck_fFT)fd7HPrQy+V#2$#}#&LCQ=gq&(162;3^zLeHVdFuJ`%Vn)jaYc*CIo-^`qH*M&;IW@TG(H$`Z z|KHMC1oo%hyApM3O4=jiKF2zW#-bQ-u!@X@*_z7YGR0`?E+}&F}y#yYM@9V z(Sm(KB3>cP^JtN@5yn@{TXp{|_a<4n4wnar;Zzxcpvz-{dge(Qb1p$>rb_jpY;9*w zv+#0b%QZEd)fzBYc*k->W1WoPNwiX)?(sI9j|W|UyNw7f7nOgshN)$T;vYa`tUQC z6@p=Iw6dT^M)FMsvM9{Bpw^NVpLIZZ<`a^k~i zyqLnneb(hu@wuJ1>LPk<*LP3)+Bk^>KS|Ej|4N2@d7qcQ??TbrM$n1jeIbOzvYtk{ z@1A(=@l`pJk?l1O12k&I)$_5DT zGj*t}tHUd#>@EFQ z+3Tvb7h{2#NB2V}X3x#m%Inw_c~)tSZ>7Nt-rDnW^H-oZx9hF$q@CUw`R3dC64izw zm&*IegI}=e6^{AQmuJqqK1S?%1J^};jjub{$JUqdSi65?$x=i}AebPEV=+Ga1?A2l z(9c$D!_istM<0hN&qCQ^&YZ|H%ErBiRD|XVCzn8Jn##BT^~Gim*#lsrOs+ z9I7|uRNu3GyOWBn&ZFYMs`pl$a4$>GQ&0FDqO%x+xzqQ}G6;-`0u9N;O5*~BmC>T; z_}G_FNRDR_0x2TBW>wTE#g*Qu02-KKDJG`5BSlAd{9x4>-;itW-XrHP&$jMfl9}1j z4ChKJwIZP-V@^~p&RJ!jU9Au{CPa~l%hF%huJk=mXOXmD%eMBHGBmO1(R}r#6tU!Y zxutMjdSBqQTkoYw{XfzRLO&44Vcw>H+8?K8Yt>7QZ+jA4w`UtCY5iOwlwATGucob6zaUPlsyEtGX^1a8WECaDgj{5Dqog@DTYyi8dJ)P;!%peFl z#8I?5oXxfjew{_=FNukh0>4G_iPQ+qqDM9WJxspww2v1>s7t|}YHdh#-2lk^dg?1y z{(BVQRs5~dUx_Fy9A6=ljR7WjqPXNLRXkC;kCTR0Y+=nUpD}9bVO}N<`H+Rz^GXEK?jC@lV$jroqx! zkk24(GJo|EUXV~nouuRt{G&8f#hWy744yqmY=Kp9Yr`F?4an$HRcq_qP(e5O*=_S;JQAV>Ez^O(Gu4XURo8luQ zouE|W_n$}ME!&`E=kvKt`Ke}LpU*A)d=&>ghsy><%$8wjDOm!% z&=|fE>y#dcoNgl7XFSwj_=%pDN}E-J4VH*9u9m(AnFe9~P>ZkeC=@7uCU<<` zE4|H2EY#Nlafx`&s1W68jN_PqdfhSIuMlD6Bqb(Bsueu(ua^)K(n^LJh6txLf6Jf- zkJ?2->TT4h$b3!W1+K@s-#t$>`fbA$kcQon#LzJat8fuPcE2!^VmSBnS!j@kJZ`My zS(l0wZg_`4EO3;z+CQ!h8+Z5QE_@?T(FaUI10`UJOHkIvVxka~-KkdzK|r_H*Q9|7 zujII|nobQq{A>g^YbTx}?{$qx}w}w&9{%XY(^DJiGF+Jk%osem(Lw1sKDP0@jS^-G$v| zdtB9wXkC2emac8~Zab4dzupjMQ;=dtU1KE+VP{I!4TRU_E0$yZ8T|253;ZSbaNMKq zsDzHg3u*TT>#^zj@ljKxd1mXv8xJtJsDa6$IWmR^*{_%X0qLB_V9<+mKE3G=Vb{t7 z6QaNsiyyM#sa`966|iYvg*{fO&adXG>w}P#J(~`@tDkL zw(#+qs=vp#;mi8yWhxcsNcJkHV2F~5>_l%D1)%nBB!apxS}ygikKtgig9KlzM~E}w zmN}gnSp4D0MXy2rpx$2Fgv9=R*U=KBr2a_Lto!xQ9-eaof|PN%KK@9M!K-wFzcSjo z<-(t{Ks?Ox#*Bo1LqD-7U*))N%>^EHxWD(e3RUb9(*IWAhYNVdJ|b~o$X zJivSFixZvjNR)B{qMTc%cgd8V-~#*nm4mw~Lz$03`KeNw*ZNlpGH?~A%D~nPv2lvy ztypc4<^jEubwM?9(~O{$5h}bS)PMWg){X!mJa0 z0@uiz7vvIldVbp=uPl`z!}H`4YxO@G8Zhde%<)&$i}$#ejX*%NDX1pL$Zby)Zqbe9 zAEZXSOrihk3GM~|Zo7lDTK#~`x};ylLwDk6n}1f)_?n-{3q5Uibr2M!(Y_?7ez3d7 z$D`;x>Mfg;65InHObrk%RYL7)>18tMFw<-CkIE>p~G3B&%zB{gouF_Eb z{h(M+bie5;xQEO6W>l1a^V=Zs1xi;+4VIZ3a#yf8eXIZnfBQLbV4x|Zs}lI{s1A_h zVnU}er~x}6rU8j!d`$>|F_&58%vCv}X6|Pe{NU0lnysZ3)Y9A~M!4G`)ZBJ-SePtU zNfo;8UkbS75P+Ofv2>M5Awb8S%z2eHdl)}d_}-&1O?nt$7FDfH>|Je8&Kj;`nxayx zNehwfr-R)AF=$+is{NTxa>zZ1w1nQ<5WzA8 zrnCVowlD$+ggG4LK+`eWMQK#J3n_i2P9N@kQiSIH*n<%9F6$6}*Y{#V@0y5-3^J~0 zi_AFunMV|x#zei0Ag)>|cn()RdN*HE7Kw%g?S2X_wVS?ewk)-!_;-zZX>2TsB#uwk zGQ-nB+;drt{|~_Hr{$TL_TD?AhZ)-(89Ab1x9H0Qv0j2otm3^O_Ox3cb*~gzUG;^J zG3GLHPnZ}fYP=XJv(oC|ApU^CQT-hG+))G6aY$2M{T*hKf-n+qAS<{Kv5jSeAH@u{ z2co2<0O=exxnjfPf}V41&$iNar%-nN;uWV zS#km+V&;aPL)hOs!j3ttO0l*I=YV>monye+jGk>Wd8D|zU|7NutBwpOlRiIHkfiC8%yI4(i2e9}V*3YJ;4fVof*rR_K zu&|4f%TjJLuT&igel_C=9j+ZKS1ksTY~GhF?TviH1}p7p@7^`HXo0a?OIs|l9Rm|N zES4FjjFEaJTvVQfLVi?9v{8gahg^T#K2a|%TQ+x`>6 z2NJQrz$(8ODXW97*lBdg{<6tGdFwH&%6%kcy7v8M%JrQD&B(8)bST)coeY{ve1>#? zXf;?=>zR^ld7kj5JiP}wW>)cZG@88!n)urtG4&`tF~tz9{yafb6lsvVG}lSL(w(r{ zaa0F)GO&-SDK?=_-Q|@|k!%T4ZfBK$sH4UTK1JZh5E_65BQd*cE<9Qc4ZMdOFuQ{h zv!ua+Ls{IP+WbMCKKT1KG@I&h)0B-^yBf{__h%hqyhr-0=sl{v0VtV>eMe`}hJN@9(=qKXMts}|{W0wvT3A?b zrFaw}*ZA>eSzC!-KIV^Uc7oAGi&=~2eT$|Deyf~a1e`CQHr6Rh9I3-8)0VQLEWxdn zQ2oItLvv&AZi2#(1MjLii@&e|t^SF~zk=X!Zp*4F)-(fN&+c(EaVxPx`KHj(4zKHc7hO1N`f)hf=y>TrZ>43~e`0AWoj@f;9~>Mk=f=+O0;yi)nG)F#kI&5Gzh)O7 z5s_FfEG5X=e>^PTmCNdY_cbiC*Ogoseh+3MbJ=^OM92N)s%P#MaglhN z{llT5B8mjV#jc(32B8kgdIsI=IiyGTz5WEqXlsJ}6KhKEkx4gWT;E$^1ED?9%I zKgTOI=I5GBgu~9g;+Ef-pw$F}-);9mX_(85*ES`0kB8r_Gr?hlGEsf3Wy5D33RyO} zlU7nQ2vB+Mu~0eK;h1SlZTBy!khG_YDLv#)=28pV>Z)aR&iibgT8zfY#(AZQcNoM)e5}788_v`flVn{;rM!OD4_>5~{7=n4?27%$ zQsl9iv+P=))X7he^ta0&4fDdk+9Qq?eCA=$%Fx7t0^>+Mj&5<|9Rq@El{T!`nIjeM zikT9Yh@@`C@q3{z@f+?@fk)A}TbWf`UL79ihPm8IW91d0Z3Uxa!$C%~tvUrAbKx$+ z5r%<$d^gJ`5%ixFwRkHC@1U~Fi?hx~{Ce7Io2u>YW{!)???!5B-}xpS@-|UXB)T~8 zU7)gPO_30B1E9zN0pYOz;{{+M;yrJGF}?26{d~;JGJVGwTSoJGY1yI3kJ-j@? z7U`T7%rv|_Ua}PF!bxkuN}Z$NtIE`5-8318Gp>bv8-}$plORIfH~@BE7ZIPv=e>32 z=CR`BF^kEh7?V~mwCe(a6rQeK2z?iWlqT(DVJV+t@F?m9mS8{EM4xTvpDN zRwh1d^y0#L`W6ir6?FBX;sw5WHVY0Fy@8S)pQwVRH zs-_(WcAeFay008*T;9xn`Vkng=2XHd)Q7rXwm5Xh?ZyvwUp8AW_%oXB`8EXHu9pT| zuGN@+hb*D&E<)Jkz@@7 zoH!4|4*%e^+^>Io?9VTu8(pFto~B?-nh%3LhPmS@_gS!uD&;CU`pv7V+;k>`-80tn zF#oW_hfx$8afH9^TiC?}(XQhUl4Ufgm!WTP&*lFl{k{7Hi9U#YnLZKKl{Gv!zS+&$ z9cpg7Chl`%i6E*$cw3H9R_U2TLf7}0{&#UbpK3j(_W@TDuG#I&m_WE)z=ls)ID9co z>lUK`m1Q6e$$dxZp<%~gXA@rFao36u8II}MKjeI9g?8>RG1ng?;otZ7_6m1PO5}kR zp~|C_3-R>d$_t#@f7Jlg^I9*kj9Y%8@y-%PqYW7uC(q@}aHg?Y@Sj`FZb^;aRyXAh z9D1Z&EYleZ%llUxWs#rWWzzkyDN=&Oxa5?0IsAE-ohb>?EWxOG-+B{=v%XbiYcbr%LfUo20NOsVvC(Zq<6!>eVM6E&5SfUL08%)Zg|5se!G4vLu z4dGSOi!6iVjhDmN5;P%S{0U}X>K5aYNsbtbI%{IR3b7}A%984f zOc^)`iUs?PRVDTdnk1`^5w~;9G0kL32!FB{l9Cl18&Fu!ICdHBkH!Yf@0h3#ORso+!;X{U!hh7gAsjlc|AR*P1P)&n=P zvqr*1rAT#4r;WwgYGa(j%|l>w7yYuq4ScP-Ss#XazqKadU#9VV#>N9h%0zEj1)xle zo}^5e#5$os1`P)!{GXWmFgogV#J{P26d@agYfahg8dTcY46T&qCn_%`j=!@d4tW*wACj#o|1jr$N z`2xQxkhJL@u=o0)LE7c-jVvrJ$SEocMqlXKgVuh1ZWJ{J(Z5pwwc2R#-e;REs#I}7 z!T$cPiv!vCJb3VLrsjeg{!E4_v-QmOuVHD*+l$GJfO5r`WNxA1^-AG?|8(yAQ!PAT zXh-wa#F6qANkj;x)L^Z>&L}nB{JP-Usejb%7kK2$3*=_z26CUm5O0>x4AnN>M)5@{ zniqpPMdeS#;N5yftlNhEo5)XCt)f!>Hk~F>!IWVZgsVm;#cTozuLcIAYM>xck>MSu zy|zV<6@SNe)ADG0o?&LNGVhI<9o>(-Awr@N3!RP_^+)|q3P=Y+v)^Y8l4J-uHUL6E zHEG{Ab!wB%b&{>ZA9RYX=Y7^O3+VK#gX2a3UphA{?sSTPobS z?=ilH-|NUy9a{sa%hk>lIwJr+4neLhT@-=LbIWDjz>k+s9%NsnD+gpVlel25KJv7S#H+8yJ(>bvwvPLJ?2j*q0n)sOV{nsn70 zKKxwk92$LXz7*i%o&#NLAj5DccP#oP+Au0u!d?9Zl6C6~nK&WKoOi8~#e6FrO&(^_ zjRFaQhI!-VO^2bWwXJMqtVO%kPKsU0_=ufMOUEbJBh<4Sa_LsN6)cjTy61$g8;l0! zl}4Hiv-F8R^;np*0HteAgXjS)J8b1ejYf&IPaXbvE4pBC5)9**xvjH3;z;$5CZLP7 zV2!j*e1iP4kYbvMG;x$cvpND@UB5CDBw^v;`7#oCyEZo}gp*Tfyk72n8{EV6IpO!B zg#pJWY2CgWh^n!slPj}B(<#%H#xF`XSHIhDYZ+r{1)Ds-OWQA!WeIZzwa^0>< zhbdIxRgthg7v;+)T>OqwNtZ2&NzwIoSz~_;B!D%Q3jP2xK$aydDW&Qq@`}|EV5xl%%uF(FP?M7!kGbC%CtO98{_%`F=JH9YsGtv#p=DiO z=9Q2}R_z){jGY}rW>`vm&%dQ4xQdrr|AoPUQ}h2eI1HlRD@XH|&rgxfLd`EDmQP@f zk~9O?;~>JiK#$g`0V=8vPW}%SsFIf)*XAiwh{pgI8RD%-qqJ;Skk7m z3}dx28QJ|*?>#ia1cZR+8{B=?y607uELycF5Y`WLTx~PPj{fVK3&_F$|G9LJ0wKi; zjkg#^kB~fxsV0Z<^avqFViB`Dc9U?a(F5?n)$(A9dfw>)=n+4=Eu31k09y+a%zzAowZ(3zj+12E!gpN(+3B7c+ z3hKA1F_jVEyslggDz)B8Mn67D4r%88^a1ewxv~#z+l@m0)zK^fqY0~=b$OoOd4cK9 z1xcWrE!#3z9#;*uIwFBXfqh=;o0qHj)6@OQ2a+6@$G0Rp(U~H#6z-_zkSZ1@c7)}0 z&&BnoPujc!EFS8}KkK}_1FCF-s=TrVxc&rguBb`yH-6?Zjkcg?w?rYNlYz7Qps`{J zlwrbBPuO>@6$P6I!rlp-bk`cWPzH%5vudt*0$L`S4JlTdAk$)fhK!h4hGooZ>V!Sv zbromOC`?*+2}{brwKzw=qQNfhXR`_`E-7Y2!Q?c7>Hvq!DkW3oV%v^InjWhwZhzxg zaRfDk(kP`;^EZ#=Lsb1A&54y|$WeJ}p6SfH<=C4d& zs@gJSa?GW?$!@1ByUqG2B1~W~$woD2C^a(e>C!bD)S2*EqlAcVS6FLJTzsT(vC56C zh2_<}`}}_~47M<&!Ekze5^*}EJb3S@+_h+#pL=I zu^N>~l}a+z!h>(yo&dh8Su?CJ|IHj%g29{A!1#h^Y@_!E_0rY)2y`a!dMO76t_&v> zElzVbXA^HvVjwxi8{2TGZ=nh zd&S+DC?3yZGabn0@3&hBqG zas*RJXLQ712Q6J`TMC$8o?aEkFEeTH{o{ZSeJ#KP25|D1hp zW0v=zaq@>Es-GoHir^gUFyW;MB<6WgQMzF4qD2oo^PM$rbo}$rA@~2WLD)ylRVgVJSzXV7-^>E zQb`Rm?U*Kn)^;`{sq~25e@b8sZLe|=@qm$odK{FL+He%Pr9g=Xrf>?@^(So2EpsLI0xrlGtlDQMD16AqXx2#+Wb}O#W9vDl{bshp(wTCPHT@} zxr}yst;ISMv}EyMZ#QB;Xl{dL2aix^BrSIlc=s`Cmub8|^NCPz-awgSB0I-8CjO37 zF+(-s?r?`fwpVfUGPt&*Nphy=wbe1lj-$@Qx4y^ljXh#me;z}?DAN))0Ze8;=7Mi57Iz3S{G8r z2@9n8dP5+c>=*fk&qxWLm2(f%JVp*0b8UfJc|tds+HjHTByOq~{ z-Z)~QR&$WHoL1h!p#E4yvT`fU>9G`|8+d1CIW?UMt^7FW5)Y3C=B0IENtF;*I!#GI zO*$Z7e>KND!F0`A(A+cQjFOH%rkL9+Nw=9)g6li$@Jm>8LT@!zJuu=J9eg|&m3G0_ z2Lj=SEiwUg5t%Vl#NWjXg(}&8%9aq1a;0+_nryy!vDCC*GwFkyGlVUtfVq5#PEjEc zgLyavtNV7;W&CV$E4E0?-9Vfcz~|$0Lm_$O!m_4t?F6zqsSMSY zln}mArjPKFNknlM7^l_fyZG%exD?Rb{#Mjqlx1sH+t59c)yPmGS4&B&IUghOy+z`NTu6< z%+saL@Tj#+QxS-CiE3(o9Ry+x0~33S3LsF9p92w4+ZzEobIqv7DD=3)2@8XxnC%?K7j=*J@H}1-Kyqw>9N$6(zdwKYynme> zC8EPDcBa@7X$_L>jwss>IeGg9zCG0$UpPcm%EWi1(%ulq%V*kb32%n$j`TuFI{$R_ zJ{%L@__WGTscRJW#X)HIm$pSV-UB0O3S{YpYw+=wdPMV@hZE4b%&ika*iXLA7QMpZ zQau{g$hp*>T(r$C*p+A3tzHw|*zhbj^c${NW90FT*)AMVbp1PZNWFbLju$k(Ohse! z=3Wg>87w^hAH>ntY{4*6k+XjrOOMDs_fnInWdZi;wR>fmDj`_Rfr}1Y$lA;`w8ZFw zXV*4sj99uxqkREa4-r3ie7i7$El94J`26lYr$Nw2wWz5 zt|e%iAYu5&$G21IH1QyBF(!C+8#!Ir7l1%BYZq5$;^yJSYGT7(-l1C8o2v(wf{xDE zkd2N3OE;w{(GR6B@0N#=%MX?zOsgv&<`NYNfB%T6$D~@^1|f8E^%j>AZDW#iqnu{O*9}NQ+U}bQh2B zVbH!UxXhxKG?Xg)KFTA=8!!|kJ23y~97f0T|GCZ~2y^Moz9grC^yd3H+zohmbKh1Q zIp28HV(i`MOC`4vE`ao?2b>jaoRqOsicA_xJ|lC#lI&JR;aN5S#e9^#d4L4>q?n@a_`+Znq!)llwNAL?*Bs7+)o_RS?E$&RWo0c6}mU z^+c+P-hgZ(9K@t}y8h$w#W=VgxzZ~N;dRMah={iHECk}b@0i>4N`=KT1P<`mHQa@8s+F(&Z6n9>b8XMB$mNwL-DfFQyV={q`rx=Am+i-bg`1U38yV!yJ zMdaT?;8m)Rl#*;cI4B=F}1fGPCMr-@p?6yDoIt zusI1mRZbBl^HzQlkjQnRg&b|vwSOrn+|Wcw=mHu*L>?DbxmG=jIUd`zu9a3Ww; zt#i{d?3GV@@kzvA4q+=K zs#3W}_xi-f4E?X#on3!f?}kQR zFkJ|>jO*jfhD#Jrc3^Dn6ouxA(q9#mfT(0P8CHPomjHjM#pCVe2fP%=KS$;$&SVl$ z1KKOy$M%NzZlYe>Hne%{6f>xQk^XTfr113TkgAN5KCQ6+w?h3zT-*rxtHkn*PVL+= zaJHH@zCB#}Nk&mK1948sX%Iy0FI;WlaJS6CGR1`_@=7PFh9@O+lpDakcx5HW;#3_XV5*^I%EoF)Vp~XV)G<5p(TCMi=9^JP#{8dw3K}(}Blros>plw@$<%#hB5V rC*`7i2>&k^QJDqZzpqofU%+u4jnI=5ena0!YJtRsWrS*e>jnG|d6*99 literal 14260 zcmZ{LV{|3Kx^^@>nAqA$CbsR&#I|iuob1@f#1q?gCUz#aZQK5G&beCmyXQxD*Xmx? ztE#KI-uFR;$;*l%z~RDyfq@}Nhzl!zUdum^X&Augc>#yU0t}1@OhQ;l*)9F7-OE#J zF6H9IIkqN#9#PgV8+LOtLH0Wy2xd&eTtX0WjMN16X*6)!f0WGWm(nue&l#y2!Qb>@ zx*^I=| zb&7hM_y`bswNGlm%%7|Q1}k;P!E#P;16OPS-YrB@H4L6I0Jbpw;zea|>oD8zp2lHj9U@-jMFk z_1PY2x%0FXLHPo*ayw;9IeL}}UGiipF%FLT)fz0OWi>U^xAU+u1URG6NY9e7m%xEO zkwd{7lr?OpQ%+8fOHAyKy+>Y)nlm;rvAllP}XVSDBZ&8FUkE{o-p z{7Tgl(&1S0&HM`uh@P6)X;71Or`!N8Rw*HJAGJQ;71opC4Sv$WOV&4HL5295rm=D~ zO&UR&+>iVs6^{w*g@cZ)s4`_`K}V8vaZF0!UCo8VuiJj6m?t#I{U}1{1Z`t`%_AK< z!#z`AsprIOUElFZ)_<^Usiq3S>Mh=yP7)X#$`Of}tz(l*@{BzKP`z!G_l}4qd%^!~ z%W^*5GkEg>p2uPhyt^Eq)ZK~IQmf-!-vsXiZsx6fXdIul3Tx^ZM%h=~eVr5}~jK5hb=+4{rMs zD&cJVy?T6^_wOPj!CWiwms|Kn5)UX{<|2diM)&0dw5>o zSii!d4q_AW;DVbla)G$w(aZk?Eaa{neeM5CL-{+MCzsiRbtvM?NI3S92=*CtD&o~; zw>SN9Bx#bGZqY$>l!!#@kPOqU_zMbRI@{%FX0E{teyljp{)_C?>rE;vc~MR_QA1MA zx)T0dzl1JNJ<=nh+`{any*Z&io?6pt;MA@H<8+W>iejzsG~Z4zTEy)XRyYcuYxH72 z7wx3B@a-zs-_A&rFD$2>BF~5JG~)L?LB>AFTiPEVgnIM4it5?yq5Eh%?CKbaOI>27 zEfCbyXhLl2iCjU2?FF&t4`S*b1oRs1(G4P{gvHEK)y!=lY>F=XVVWOpX3TrvY)wqUd@#(J(#9eOJ7fd)Du?Ko{Cf95O|*=5Xq* z_B*#gIWiLCzabgTZg>tFu4%9Y4|d0WLf#&|eC1i==j#%1&GAE7!Iq`@4nlH^HGL~z zNZ@LA(ATPgbZLLQ!@ErncENXkK05Jw@RYf7 z7?hrD)&Oa^Z2fK0I5sb#D8Yz-x^tag`QDklKSek67DRxO!8UK#IC9JFkN+C&l@6_u zwiiWT`4+$-*&TMj3_ZD!x&BP|^;9&O&c{A2ZOsxoC&<|)?OXY54MvL|Z}9xNftbQ^ zfH!yGBG&h<<&4=^OA0m?omixAI}WhqH0!c7ebLTWr+KpU9ossHfB1uLQo4&)>%Z2h z?BnlD_nIoV0WFFQyDi64PwaT>S>`b0gBGccvf-Ll_R$@U5Z9zSvyN~_1#F*BFE5y# zGm7js>J+82bD2@G^s7;xpJ$QHsb@y=;Ty|pQp?M~tiJAArBud*4;M=h>qkh!|Mn$| z2#!IO!P2SXmpqbNX6e{aKa^SiaHltVNvm}a_Tajjt}5|<7Q=UXi$1@>5$H>>+opIa z;o`f#L&$iiDvhbtDYz&1I9*uA(s81G5wZF(GLy2j zlrVRLFQ?)iE7r1Em-R-QeE*)lr{yiU0FA>xie7y@lU%c+J|Qj{)rR3CbvgLp@LF{w zN8YdRA%{;&Lldzb2Pf;)sGt%jqH51Xw#Rl05v6hk)?*Xvrry{z!LFdAE3N9nu3^IF zMB{>Y!Y?EuVXrN&s5lgMjvd%iETAZ3VGpaKg7Fzw6*M*yJ5I50-!69W_tLDjGWlx_ zDQCs>+;;UCFcGI;WEs!&1A}iaYepl>qckUO4i3GFVkRj?G2!l}USwN}6a+4GpKUV# zSn-f8ywka^niSj*knlcqnsw&4UCuNaZld6><8Jja==MYM@LRZk$9|_CMDUDzwE!^`;-Y-5JE3r|NIbD8gr$3 zdG{Xf_y9^0J{{#}Y4@JMUV_tAiVZD0ph-zJ{pth(RX%PQO7Mbtic8hS{_$eE_ONm> zZ=v=Ru>|GQgWn(czhbt|$0T~!uxj>aIIhMy^_*&4-+!w*`E1=f_S`{+*VR&%@PiAg zd418)*b5M$Z;9h+>YY;h8QGldtkoeglh-Ntf=)1vlos;7qPkcgfz^6pdU7q74Snvj zk8xkV7Jd?IN>H!i%lIZVxx|}L#o#}wBIw!IS=Er4=lkJTwX=)wjU-6(Q62dGGPV`L^X>;NbrA%e`R#f8BVs?GQ@-Zu zCEf1rSJc;SteZuWG_ICyWWQiSMLU$+j`RKd6&cUl1p#9tT|~V$M~197>2JYS5uj@V zx~UsNFsxYDslU!RQCoL`N_QLmj|XWmZI2br-?Dt-16~@H5?}BLW--Cqm2F<&xaK-Z zpBFLA4-aO)3T!@KyafguF(^4$yjrwdgA6=F4g%86A5qdQlO~UGvo;kRhs+kW@(9UW z1{Zkt8}s6O2W<2XxX${^J8l?lJlJbZrMSpDvXu9UD?h$-jq81+EH+|TKto)szH&G% zasuC(PeMZFgA*B=w+NYPW0tX2G~Q~=>>zmGr8I}P#JX4P3t?0eaMYHPv(-AdRvhrF z9cF8i3u>@A@w2D0!M{)Ck2#1j@Zic_Y2d5TO7q3yBdF;;*dVUeQg^(GsL9`tO8-&lb35zQ$+3>_UDkSs9eEhPoQgqo zrW;piH(_}>=MvA}0>F_w85N+c=~Z_RXf(VLI9YeyEq|NW{-8gId``IgL->O2^q$Db zI0gQ&6-7TLIc(z|z5XW^i*n-Xnt@&w!Ly~p-CrlMBY za%ic_&>HEi<^6ro4{zuTE0#&`%Rw;d)1xmVp^Rf7ek0#8k>`SN6b3m(3n2w)!6BJI z_wGGxK+I83d{GCn zw&3Xfm*hzL#&zoBhw z@y$&DTKB?F0^53>EXauS1xvxrVyl>JVDRtVtakcDt<>Q9kKK$;JMv2cf{iTL#)dk} zF*bC1`SP1wd^iT+&!jAHdSZqpbL4x^uH{0M~% zk>+kW>rFM@4|>zMG@}@Nry=UPiyke0gWfaaWK!3MJ{P=M8w#RBCTMKatkQl^)hjnj zNf-8p&Ooz^`9z$x2e8s^Z}pTs_r*U3)zs8*rM_AwvN@ug9Yn-|#JJZE2LsZ1S18}m zhk!|tHuKq{o0+5rRlg@C&#KF(9f4WuPMS3n(}H7`Q0GI)cVQs@kcb#}VI;+aG%t=k zTt5%gdft`*NKvd>@66!c+48MlGk>o!pke>6Flx?V8ZXxrx+o&Mf{yYPqcZWN(HMrEnQdA{wN%u+<13x^IlxOBv2D<%D<}o3N@u|j$%dQ_E zOE>1kMI>PN5-}1m&0S~5?Mv@d{5|R?Rc(uivR&)0s+(=Atu4YAZE43LEu}C?F$h{7W&cur9 z=7L)|xAte;&(OZ39B<56V@ww4=9!257OGcm3Jrx?#RSiD5*D#YNBLQ-nK6A_+gD|; zE}SoB%?%Y#)1gzQQ~$jD$REIOQS2!GWAKs%$sHdebPWwXwpv}Nnw9h(JXEy|&Etoo z=g0nIOYsERa^M9JBUu7V57E6~-V(*i#!+#Fl+p$0-_5i{!%JrTS6_tN5&^>WN^bX% zkAAPGNOQ0r`;_#GLp@kKubNW^rls3zyO9Vx0~I5-c%tOCd6ATw*p|gVM>bb-DHBlV zE7V4eYNydRJ(*Vy8?IA@rWTWrdLIhjr@oNmIrWVkIf6%bQVUORFu&p^B2+GtXg}Cb zkBrtixEn8j+&peyUwzeC_UitzKWBlO!%uNOG`qp%aM&amC$bA6gJBM0at80OG#h!( z=LjEQ&#eF6|iws`==PkNCPd?gRR(Q4l7ll%WsppzpJDBJ}XVZYtAIw_|!v z8guq2i)1r4x0Xdt=@o=ImB0#^^^SyIlQGBhgA1+3LHNVp?B0xoAod-5HhF?4e4@D z>Y8X;c4=D1ZPI=NPavH%8L70u}6otI@@=E-m_6j<7tEPr?^B0`LbW%92?6segjNyB zNb*(~_=_aEa+^&Q>{A*bLL0i1mETmS{5id*`qaFee&CPs5qA^7!h4>%!kPE;jkKiV zw1yhyx8(alu61<@Df@SKqa~ZG`~Rr4U$nwc!Fit&GX*sz-1gKX$0B)7{3c&^^o@DN)A`#H@s>^m? zFh_hl+7Er+L11bZqR4s@vdv0RsHBs$6COLn;IHJ%>z&ps5apa~lBYrsRnBD+#Ge2-wt)%L{Hui*R ze_6Z4){^COWX`^_Hq1Ce){~S3q+~!s{wQ)x{Iak@TAx=BX^sX7+YuO+$k%`QS!Nc+RG`-VE?vn zFAi`u?jIXyK%xWg>S?{PhZSpAc8HUZH+SqDZr|S!$DPL9hh;4f&qL$~ZsXfc2?!8! zBFawQ&t{g6ke%`$E;b3-ZajjLwvQ@t6E4D+Bc-M{dhM}tHnsP_70xnNU)Rj@{q`OZ z+-}&DjW0k89Fw)5Wh)w&OUsv46(&8cz+en_P0!Oy;V-JL(y%slTt*S^Yyt&3I!IX! znsXR8N08lg4=w@!`+C{1(i|~oBs;V7N0ee!nlM=6M;6gK@1m8 z>o=F4%RRQq+=5Pr2X8W;3Lg>Z7?dBFpgP7f(+PO=;5C$<;?jn(m+{MSxi^QKwuIHR zc@E5R|9qgV3*0xhzd{a}qpJK7vqGGW<~sf5tNU^OI2yKTbzY(jd8KESN@ig9<0&9d zNf_{D+Ei^d)=sP5KZoApfIb!VS95s|B<;13}h8;KiMTbOq3{9TBHmQ(Lsb{ zfJp58640=&br-1t03P3`=YO@3JfuLwUdHn68vA#6o|FRNQ-3atL%s1wTYj&=tNp41Rx;f@J8S635vo~+j?*&ugULR&Pz45ht1JV;a9BvY%Tx;VU1QAfJg?QZV^MRsh39FU7QhhxKx>_e=xl*77$FzlYeiHn;s zkRqW8DP(_$oFN1H4*$3+$p?V(u!bl>E~+Tww~UMk!&9H5wa)g0XA5S!!nIR{Ml;W4T}GUizrEijICw`;x*~@6WkUH1q6`1 z6HQ%CIvbR*9V+Ri8FbF3IOov8BKCbRWN;yPN9CaP4iVP zuiVl-);8hKoDoiGl2cE73M&m!Nl}WV;XjRQlH2z3!D+JAW^>ly-6y?a;y_)$+l zC2gu8!4<>ThV?dykP!FQ6=yI~m+bdg?SXb>U{pW1(3b~kYVw(>O5WAcjkc|V-kH3j zD%BIN%!D)g^TUwvEIr^Vyg4$h$~iNf)j6P+Tn_+VgpCK*Sclea z@^#5T9+%n&X!cvdogtPPCuTwd{^hg-9GITpX_=oeqOP9;?iE zv7pP$KPF~a3HZaICm)bDboY85k@2j-tvGDcFHNT&Ui@a;YKjn(9Nyk!1w)3~65&FE z23^i3r1?}7fBQ=PiYI5>>-+77yF*2)bY%d$W#Qz%E~JhNI?ZWcwP{W)19zC!=ua`# zmRt1pEd(Gg2qFet{CR)pwPjmp>L3xxOaJ0fD<(d}yJk$uZw+x^m414)rF0IjKbHA`5_I45 zD+RtTF6YWXK}P4f=LxHS zl>FNu;P!p9cfW7ihO~v#=g@-m<-bilT8^6s;Vob40rR@9y-CM)1$dNWYA`u?6 z{dG4)f81oGgN(lH@yt=!6e{TWePsdJ~<5&HnhCMd$Jx zF#P%i^3p7vKz>X(A>GVp(%;1Y>PQs*r?6yMP3;Ibr_UnzQ;Xy-$|nAFJbVhY%}KHB z!J=I@ih9i5f3-t#2)rXDQObPM`t0nbsM43`F?w>W-;|>_X^k}{?|1ME)OG3h-XS&v zaf;nwU|2u@;RRUf=sw9SO!JBu>{OQ?gHdo~_OquKEHOFFFf<5Kpp4=Nh#|A8M zJ$20)^%YWXcW>bLJHHu5JIjpasj@9b{zA%3=F-*?vj5bkHTsnaB%*b(^D5qn3i_{z zfCYPV^-eLj0m0_wCE`%GlvHJk!}kvPxe4JUMF|dG_+_+t<=0EXr7z>p)RHuS4?@ZE z2lTl;vf+*hs;Wx4wr!pmH6>M0;J|Z00_7cTSt;TD{NrZSPC{~$eLmSxP*}Z^imK#X zjmzXeVYCemVzhe9S3^_slW_)K39hE{Xw4ezZ6@qnN&S6QllFP@#AVGDec3f%aZB3Z z;^xsS8-#gHd#*FdX!?w1j~+=+7&4GkSH-DV5ow%KEfDv3TCPTp)N4MhVw}vGovbM} zM>UKhN3KtWap}~MiTYsklJcN9X0RN_Z6}2(K6)l^mqNDhU1hpcR^(OtALI2pI4eP1 zS8^LF6O-K_DaV;f#!ObD9V1mwG@w~UigzkFESqP<2=OE+>fGM0GW1r4;VMtMXelL0 zfr}nCpcI{|-FxE~7V0!RfWXStl&m&Xcz79%#*xv>f^6N*kd$xz8#Vv|k#q(RrWqBZ zC@g<8ikP^Y>Z^1`3lz>bnB^4>HO@<)Z!L# zIf{g#wQo-GtZ@AN|UbE z2j8;$?aYBW{iKd|XiLH7|J{LilE^$lu_q`BosQLY4wJUaTkWgf+o44?M8k)Ax+gj9 zAAtF|CydqSaDC@@YdJJvcq9?oL}jWK(^Y#Z+s!TM%5%_8ZA3S00qWs;xyoX z>(4~_PQ7vT%G23~s|XIyz&EFZ(9Sm0MN4!h-q&85tCk=&Y4p@nJZXeMFYxl$C9vnN z*2>95B)j0ykH$|Z%dM@P_WAxc(1Jf1_DXZ37M(618$Cdc1@Rr{E|$YhH78x*;|!8A z`zfuGA+U>021s`{Yk}@7TWH1h`X9aQZ{xT1#r2aqc2oUUG0K|O12B=s$r(>qgbXB0U@qAG4A%bMrLf{W zgbM`1v#Qripujs9wsf;9_^C3TD3SRW0I8C^CFzixW!bI~R9~f;xRFx#MI;Ae5s_V9 z>HIJyihC=haNUi%Dkm$3L*%-xz=8VT?f#(MsAu_z$+bNS{F!Pu5K2lU71r0g?F(4c z8QSb(^QAA3fnNBux}$H)nmrS%vAcL;ZjDah0yKBmWvwg>`f8u?q35=d?fUD22Cq6Z83Jj;Q~|TWy5}8H>jT%67T#m$JZZZG@lX4!M!m^q z`@IC9mRHXw;GETk`0s`KQ@H&PZFW=P|JPe_9ys8~>T%$+?s>H(?i&QT|&c4U_C=ZZSz6gT$ks znN~EUYBcwKEh{Eu2qY^ms~}}+y~g>WNr=*admyT<7gNxyU3LbX@JdHXf;n1PX{efx zxZDpcRSze&&aU)#8Szwq8udbcbjeSxg4qkm_a-hJ`R+Ic3&ocS zx*_n?buWSUD)KbX%`sPEbnOOQbHn(KIJ7ezr$+p5dMCSR3+TTpoT!aySeQj=cm!!@ zrGDx$43^zrp7Y5@a)RECzYbbP7mRyMvcHBb7AVFXlRAvs-rVfi@h@Sm32iuutPqf&HpI@mGV1f?l%V4_w=dqLGEyUDCF`e z!x>`z_*i%T9R;C!Lq^;J!-@O8+PR}oMwpdHn#!xfS(4B)WQO{a#;7NHu2LaQLU5UY z5la;bY&ZN)(*U%{t0|R62@DW|1q7f*0}`9FxGgTB$(}qyGQSyED_$)+`_I#FeH$UZ z5`tz79hv!7A#25(9y6b6{JNE|p1VaAL6fSG%g-dI(50I=^*``Zv#|pIuL&{`2;N)Z zy~vq$?0Tprx#W(ocb<(#qt%E(?9BZV|G>$-+E}34c=7tQU~dYD&)Blq>aE|*A*$tt zU_ut|lGB`UY!?4xpv*X&>Zel$3vgRXBG$If5scmLNt`-$Nw)aQ4L?%j^#qdl+&#MH zn=S8xx;^(vwJl8T#W(^!Kii)+W@-|aJwRGooGaVF(FRv{bJ(7e*Je#XxCAwXAS1+;NhJi?1ow>1k_~p58 z0&+8MkCX(00*WwJi4rVcE;FwFcV!jLuNBfn-siJSpLK5Eyo0ID<$$z%&o3Fii18pA z48*T7XUkbB?xp#R;K@X0k@<#sQzCO?8=KwHs*Us!8zdPv8S(2{qQCPud8+KF@};%l z|1U`PXXk%HGFipa;QxSR1M^<9=vDe3s5A&V4DugYmzh;bgzc>n18hoIN%qp{-L9-- zHrP?7j{V2C^xgiiWL+z5XnqMtSmO(vOG{%aQ!bY0E0JiE&KU&^jlupn4?g=SLtfgt zA>XJzron{Bax_|E6xz1BI~LshYr9Qi{nBNBG|hz15XzkTFtUOye_t<2s9WBZc=dZX z@$J3dVy3AlSeYukSh7fpI^esVatkH1+GW=jO$;O_nJY$qm`k>OEJ@B@piW9SUPl2D zLnjX6GX)L*3Pbp1N5;Acn)v@4Kqo?CyRhaEsrS)6l0zQq{rtt!GV?$lt(pz3A(fkT zq!HDef6UN}t;1(SN`d~DmY{+{EncjY5P3XWF&Iv&J@UWt+vUBQ$9CAR!+pQ+vF1np zI^(1J(uJZm=&{fp%=h*10UD)R3HMQ{> zTrU|rtt6A|2F%L@#E%4l!(|pnnf*O~Q_fUgE>Umc5!tb6UF_8p54kkUZbQY@VV&Us zH4Ag$8n8btU7kd8frb!5R_LF+`6Atwc9VOEny|m&0wSXIZF3?epJv|Tnd%f0yzS!7 zi5B$rE^dXQmK9nCGmUX$v}-XS4g7Vi!Eo}MKBgWkrEI*aAVa2ts2l*^g$OD>R6K+w zvu*MGD3&{~wzE%@45wzCUWg2{a(+2oeMO%wd}^L(D`Bd~chLz(b7a%oeKl81gYdpD zIsTr6kABJ@+p3)zPr+*uzS{Z?$a}N8_n2&JDsq3bxHhrHLTB*wd##Rp_}x}sPC>a1 z-1q&^!zl~gys)q|{0kVD-7>8C23cI%M3Haa3;QpXvO&)S_QtbE0=6r@p?4+RW_8}!ZM>SaJQ>t z&04cPVS9Kd|AI`4U)*UichD!=6%dW4?mK6=bw8oYoimd~KTBc#F9M)?3&F6Q@F2+9 z;acw7d}Y)~$M>IZV1FmxILn*_y{V7{oLmj{&IU_CEibtAJ|~ zvuf*+?@u#<1i0xfKU~<8!9(O?+jqWS=ulQBZn1CM?PfylhBJf54LL-vzk4d(`lrZId8)n<505K+JuHLc7pkl+z1Q0?2?d zh$MPF(RE7bvy*e;zu)Pl9N|N!R?ZIaziPBK+o=w&tNfGlxkoMjugISU?!JOs^3xhG z2g!-n&?%F1JnSBR_>DLRghwv%e=#Nejt-rRS~8wB&2jf2^M=xHQ{U5cvTU6`S8kO+-kPCqw&C666kA(pCF{;uj z8mpe%T&?jw6&bT^v)OQV)lDwSu1K-?>BVNI?P>ry6&Uvd46C z@QUUD;%-$fL*wCPeDtu!aKye{$>Du$YfNBhg>zE47KIx6#c1CJG80-?XZdHx3pM=dy?BJktQ9U;&yAM7PA?&n*n8*(VdrC4th2{ z`kZ}g>sEVRGYpemW!Z1k3mAo`%w*PUo`U}(qv+kSBasdSywIzwuS;RYA9D}Dkve_a zW8%J(g-aJ_>=68&7y`ik*(-CuU-O}m5j-O)QwOdAT3sBq&<@XDBoGX+e0s*q)+2}JkO3tUdN(_%U}cpB38fQsLV2{=>tXj56gLA*!X%BTS4%1T zf~6p!jYDNOUM-wUK9^kpylNWh)J)1TfMqX|dh2T;RM%IRW>i2Z>e19cVX=EZjK6(0 z2N5MABt)S>oM_b#hC_Tbm{E=wg*ibq-lmYsC(_MV6| zb)j}~P~0oR?^gvE+BAX8EX(SfSb4m?C(Zdr0Ht0UKjV$I$@{81H7v0oeBQF?Nd zY7sJkbXS~+Bg?=cm`;@3Ri9i2{+E68=2;}*f7*kGtMEtMR&OkFiu2P43DzUL3u$th zZ581gANqvI+-$#4aIX|o4-uC&|Bk!Hb@v-6MXjwJwutDfBkAyJ3_HFytgWpZqAttP z`ZNkZz*0+Y`?=LgQgclK1LU#p#7e2?=yOV`D~qejFC_I`xWhyaGIA|+ z2nl@%kdamrW<$Z7H0n(s^tq5d>f}7fuBv(F=LLzib zD9$8AmeICw0=&O+<8FR4N%I-B;08bUt6(eja=I^JU;QeB1Xm{sH2hP? t9b7Uzn=}0N^Y1Fvl==?=V*3NEh@Lu_25Cn7b2lECgovzg<#&Dm{|AQK`dR=0