From 158b6de824cb3c29e3fc6d126b3fd2fc3f054628 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 1 Jul 2009 16:10:23 +0000 Subject: [PATCH] fixed bug the ordering of metafunction side-conditions during rendering svn: r15353 --- collects/redex/private/bitmap-test.ss | 10 ++++++---- .../redex/private/bmps/metafunction-T.png | Bin 3535 -> 4760 bytes .../private/bmps/metafunctions-multiple.png | Bin 8044 -> 9433 bytes collects/redex/private/reduction-semantics.ss | 2 +- 4 files changed, 7 insertions(+), 5 deletions(-) diff --git a/collects/redex/private/bitmap-test.ss b/collects/redex/private/bitmap-test.ss index 5240b252cd..8a8aefe9c7 100644 --- a/collects/redex/private/bitmap-test.ss +++ b/collects/redex/private/bitmap-test.ss @@ -41,11 +41,12 @@ (define red2 (reduction-relation lang - (--> (number_a number_b number_c) + (--> (number_a number_b number_c number_d) any_z (where (any_x any_y) (number_a number_b)) (side-condition (= (term number_c) 5)) - (where any_z any_x)))) + (where any_z any_x) + (side-condition (= (term number_d) 5))))) (test (render-reduction-relation red2) "red2.png") @@ -61,8 +62,9 @@ 1 (side-condition (not (eq? (term x) (term y))))] [(T x x) - n - (where n 2)]) + (any_1 any_2) + (where any_1 2) + (where any_2 2)]) ;; in this test, the metafunction has 2 clauses ;; with a side-condition on the first clause diff --git a/collects/redex/private/bmps/metafunction-T.png b/collects/redex/private/bmps/metafunction-T.png index 2cb6cffa01be96e43411416b894f38e0b962427a..5de053d89e6073b096a927022341468f07d2b562 100644 GIT binary patch literal 4760 zcmX9?2Q(b-+Z}@FyU``eYO6$uNTT;nh#F+|5)r+x&I*3fS-nJbQq&-;cS5wNtBaOJ zbfWuDzVA6_X3m@`@67Yw=ehU3@3gg4C`j*;0sugvrmCn59*e8ZVM#W>+R zUD_|GmsP~WwAv=4C3LjLi2LJ&Q61=R1_C)*d_1aZs`N$Hsk9z7V)R=;`Yh;lWhh5@ zBReDO#~fzE6}57B78n>POJr(l>g42vy-p-T!J3ED~1y4YvN#@GyDJ4Yv{dZ$^Ud%bbYdW#pIKYz9#D>g7ND681KmA~7XE$W6J z->dP|ZZI|CU6tR$rlFxBEL_vRx7CR+Ge;ToXq-o6)vD^WC-z=yYU=QNsm8#Ix|$jfQ`4N! zMs99ZSy{6?^Nn0iG3U|I(StVWQvP+iT5+YiqEtFUF(_ z{QjPv9_P7liOL0o*!!o_4!RJS~cvcx@ug%R(zO_}JD4n(Wo`Hd_)BP2XjUfY= zu*-s^KpH|%&)V90WoaoyM>tfrvbNTsy-26Bpg+OK({lvp+5PC{%a;oa3uk9%FJ8Pb z559V$Jjlhx)!yD-s>PS$cf4spdEpbj}>4Zd7nTT4ku&^9(MD=4sbaakN0Nyy1z zrlBb;DByU2!{IW}=$fD_zgxF%#q^iyZ|<-3>g148(nojqpUXs1jn#K_$ou&C2&74P zZH^adq$#VYblNt8Q&Cx2xxMX}+!P&6mNj^?zu)eRQe+S03#+NAF|mZB8Ch8&fT+j% zk57gbm58&pvn>P*)xXG>9UmCD&&}OCJM7$-+Z zS2?Uzd-zyeRy@^RTy~+ee^y;5x95EiCS%FYd^)LqnLU15TCAd39kqK?azdDT-Kt#G z(gMO_VQMO^cg1O;DdQR39OF(1fD^+c8(rb%i6JPIB z{S8>ZbbDseM|bn&LY_mnCRj%^KJ)DZGryx5TmGxy!D%N)$5a8+ev5}k$HyR=(P(s; zJ|7UG$Q~XM@y6aB4`7k<^ZYYYo1V@<8eScE;eGpdWb8eW_u^jt)6=H|f~}I?+YGVF z!a_o4|4Jv0IV(GRdugfCvXjU@G)KbcWa9`kCxPcd-{Bo^bQvted^)|b%)27S61ls* zzHQz*+CPU6j7&|@2k&pYJiq2dt9G!AwzuAdSqV`BvJxqmTj-y`aORGcJs_mQ&Odnl zQYbZ=%ZVOnTRZg0*0Q&$+r(|M6T8C#&}->cKuGz{PU&jyw21&d^doI|Lh11K_9+{( z8N=&4pI@<5WgVj_-q=VxO%>f;?>tWmfea4}e5$BeZ18e88yz#sPS!RtVPa&&Aos2A z#uClO|BA;0=5mT1)nhiu2oXQ< z{%E&#c7{EJqrb0$MLIPx;U=1$nVDHw$O(ibChBNvQn1APxV!(Hnu;7fN=l+i4nd*M zj@9e~PT|v&qmyRBH_5; zn)Tm1$Ha{aPdyLMZg+^_crupw!L&g4$F5ykPcEi|sDKbGw#xgae9NEe>({RxRKL85 z!o{&Oc))=MYhcxrq+C7Doc5`o3#qQSIY|*EVHPnlxO$5fuc}O*QH=jNYDdVIZxgD2 zBVpJ(`Y-m+kGD9f>?b}N&G$KWIplvQWCZyhHJ3p#q_SR%a9XMqkc1W7k6oI4k@b0b< zZ(n@8g0iZ0gTTR0e$&>46*swQG4VZ!JI6;$$Xh^@jGIT+W8;@3S+mTkl_G16PAk2X z*`e>adKK}migGUp-Q{l`#@?2Nh<#+0;vgd>Re%0`cz8HII$8nBDK73eny++)^>%aP zeei&mG~AV1dLV@=;T8G!bSze=4ToY$ooW;Mwfg zAHzKzx+;jq=!+rd#)69+>d`5VE`kUPMwgHW;P6RD=w>_mKe>7E53`%+1d)3nZ#?QoSpjjf;yTz-Qy<|BS(4ii)@%JQ(cjE3K$_ zo`iuJerOeT%Xod$%}RP_rWv)cV5S2mU`n9gyRtB)($^$Oy7(D1-8%o%Cj>|} z2W|d-esnZ6V4ucaCe9R3>HUHClNOwhDrmvch81Sbe#dVBS&M%G+phTd(GTPSOUvbf zG{N0D%-Gyq0LWpXvLHJwgY=XPGNv9Ri*50bJBa=(_&1d8NkzP%!=}ohFn-MiN za=byXB})86@8I}H^M+O=SC^VJV^m@t8K4?9cd&ByHRK!fO@ptKhWalVG^HD10MM5A zU+_aSk@MX+l5?TS={Ae*Y#&{jN#^O5Z|hk-lOm+#w5ch5gF-rZ*duhrB%Ls|o`>Ee zb=^91EzU0`B`QfjIp=rc-@j*}j8uRZ#9C4zeGVSoT*PkJ`}Z-JB`#LZ7&ASch+@wW zQ7!c~P=PaMWu#M9B*^e3x6!k@OpMh@!XdaL4~q-tL#;kdYfnA) zPxk8qe{*cj{{H2N0V2Aft=x{Z zzLQWX$e(}YTRTkt7mw>fpEZA<_3F;uy$0(liJobjm?{!)3b?W|{7R;V6a2AuN^_pq zRu7Sq?>)~+-adPj%It!<>SPuShH%&m-n|!R(%eQ*8hb?HT|pr-K4tjJ;`o;Z*F?&l z60|msyWgyHl#TVJvh1Gcx5$8GHoM37*TWPLFlf`10Ve>kC%*2wUd)t*!Jx#q1}NBe zeP~Ilz_yu8Ko2OxCnhGs!w)#Hojn%_C3$|j$nfymuV2X{9PX~J4`!tanBH|3yvC15 z<6qXdghjkjBX_2K7ZXFym-5EaQi!44K0zs(uBfok6*IT&z4~Bx>xe=w!L-r)fq6^7 zH)ci#Cd!TN?d+|Jp}>FGkt< zy1MRVK5^JtX#RAX!FGRrVgaAzQ+kRs%OxP{ov~PKdqJJkYy^xrzV|*4PeKlLX+ceO z^#Pa?P}o!+{w&g{tE-C=oJz>+kDVVFh;FwaXISp#fm3{D54E~H-LFnE5im@`s+Nq^ zyDSFnEy)401_q#*rVW?J1KOTv<>s0zDTSAn;kw>Yhw2A~%ECg<2o>4)!PC;mP%lq+ zQKmfYKC7ye-9<=kMn*=J(JlcZ@{XoKVw(V*;)IV14cC0*-~fI$D3QUUHLbQGd8ddE zFo}Ei&CcEfM&{?QE_Pe#X=p&%zrMCMm@C7|!h=}AmxHpz+gTlGL6w+uh=_@lo-tzEYjRV($>Y6>(Vr00wfRfKu?q zlE^)alWi<01ATpc^@^WmJaM1{U?L(u?I=P}EbbZU2g!kM;|MpVb3QSSot%v5U6Hvu z()(6lRMg$wO}L^o@;J;~DPKm2-=cy&uc(NYk&$FT<;%<3&G9ll9UYyB|BIrcqV@H4 zFpH_2Bp_I&d=I+%H=Sl4@wLLZx$PF3e0i=me{bV(ygWQcRaS)YyYokC^= zv15x0W;;h;YHFyT`uY2ZgKQ^y|Na(ktR!jhx{D~gg_jVN*vH4=PIS?P6jfM9OM}VkIO5;CikV#^d)-J?oU| z8!4gGi)N;$Ey~#OR=MyijriecV+2AX@Z8f#=~vCLwBBLo8yg!MYHANKYv9v*dU|Rl zpE(0K56>=(i{T&$ii*}cBOz;>hQ=jFFWvq9{R09nzoWSgBvdpXo*Hnj=41G%G&MC9 z*>xUCk|rP)jMcyW+VyU z-rgRpn5V+Rh_A0l`#!4{i$PRgsDUoOBnMuN2`8ghzvc>)&qMn9QdG!Pzn)aUd1dUj z-UMN*ZHZB?7!wdn+|S>`h;{Y#JwYQ%Acv2SFDWH83xf3ST~|>PFRv#k7)Vc%4o=bZ zf?(w! z?rUpXl$XaAqwx}faG7tQm4n`mg+qy<1SG`7)77?Q$=MGr<-NU6R(j)0o@G$c|BH>? z-B$NCbpkoiv8uq)dFdv2G-3BPdsy65pl{nP-bO}3kg-HUuH|fy6#V9%oz2b6#Ke72 zb34vAOiWI`fI-0&x0(J_0L@iaN{ZKVM>v?n{Ks>x!HYkBkk_q|svcgRd61EjeKWh- z#tQSLkY0eMJ`9C=D{pCRoWY5a<)=d!8R;7ug0KOd_%z0Stv@b~l6J_1helaZaqldk z+iDZp_o`-~zh75R@9#FYKn#*XC>0pSMF`3o2#X{V9Q60^*XHJn*DRz00s@JNiSl{S zb^3=H&-91tOz?1ATXGOD>-cZ1(gC7yIFa~g7VbJBi3KONz&K#z+ln28_SV&knD8xX{5ENmFW0vq9pPWohOVfxf;$Uaz z@&7I4Q*B(>QUoz2zw10qI zbVDd8*4#0~C=jH97bopQ{r&0)#4NaM0cLffCGcKkC)hZmhBwR`y$3;@j*Nf?r5?mc zb8{eQg@BN*F2zLEw=iOL!1g`|N9WMcPUCKi|LI;{W8($b)y0^!Ucdgm(CnWFq^Msl zN3t66)6E6!ErrI%$FJ^zBT6CnWU&&nUl8?$=AvGno*-uK5QN^T%o1^-OpRnuBz{%d zxmDH@8HUPci&Ws6-GP9Xbzz~rIs`61&lg5|`3c9y=PE6alwr3|s`T{nsXx+mceQtL z7#JKh#kd!d_EN@1hIP6IuRq*B-M1DIsh^tzDYejCxh0b7nw3$pNiFmJZFg|R2~bng KQY@FZK>ZK*1yHB} delta 3534 zcmV;<4KebVCC?j>BYzE+Nklp zR#EZAL5(PaD2rMbTSZcF5nmuE%AKfbwh=eu|2CX?@Rxfnj5FBXe|96CBW+JD;G^78Qp1VR1%{S(5~ zaRPSUym|VHaCUYM4i3)E&Gqu~f*bGOzgOE#MMcHAbLVVrZTIfo3pdi!(}(VTVPT=W zyL(Md&Ct8jAjE(0^UptHu~^CBoH=s}3kx9#k~D_Snl)=qpFSu%-BLN13kyshJAxle3b93|I@JqA6jj`HdSlTwPro8XDx)%F4<-JUrs#<0Wl`{g;)MnaeSE?p&3eL{W}v16^%x?WIeX zUb}WJF)=YXIJl~+N}-y!w|87zTvSvPl}h#Y_Wt_ouYVEt|HT(y{Px>#GD0049hIC! zQI0xu8(&}FGiT2D`}-@=S+HOMm&>iItFy7Oad2=z*fSoFx3#rZ!zC2ts1x$e&Q1n{ zp*4EZ5SFS|ZGo4P~xN)P5(B9rYKR;g$KT#B-a>yS(eCX@zo0ODP zU0sdC;eYJx?3$XIXf#?#NC*yxlh*X{@hK`Q+OlPfzP>)f&h72(&zw0UBUEy^NF-9# ze-sslZzUxqo}QjuE_de4nah_ikBNzam+cA*3&X?1X*8OQzMGp{cXzj+pC57)L?ZDo za=5y>DpYQ3YfDT_1OS{nckcD;*T}7CIDdZ2Lw`d|0)1TFPKB#9}er z5C{Ztya51MELJj*Zf|ez?(UX+7x{dCeSQ72XV0cjpFVl=WLVhI(NR}d$7C|$F&&f1 z9DlJpLKy@M1VIW<)YjH=I2-@~4u=y8g#dsVGiDG7gh6|x)9I0skqHS2(sQ%s=H`}` z7U|w>Y-}tnEQaMCP*h^TkfVI6pbM@V$5?MO-=mMQ1EY-3Y*~q_PhiMBsPHWp2n4OI ztt$17G7do+^5@T=J3BjPW@e74Hz=b3(tnV*(JK|%#=!}!5L?g8?|1m4GzrTN!?RIfE8xHON$MtK!7T*d_ zN_g4aq+UNmq_FJ4@64A-TMV_bqN4NgM-7?ty`rP_V3?6kkgm` zdvm@2BDgISiT--x*epAT%K8^r47RI>b976TwZ$X=fLJU}ynONA(qMOTw0Az1XHX!J=b#)%txW&SRw0ZF|_*zpV-sBO)Sh z-@e`0*tloUo~lz>NSu^VR)1EubLY+_OO{ZnRJi>(F&zNl={#e5Y9ha{m!ON6)|Z!m zG)ddIaifQa2am_Y|IE_r#<7zCfEIRpcv3=c++l()K0b7751)T5VmnU71ZQcx z0D#C7M|Z3Ynq}t*0BGy#+;sHsR}Us>X=#NgCF~CgbGH2q08m{1_}e`@`9-DD8GNnm z_N0GaTHv8<#G@d`M1RF8mXh=n@}$X?FBx7gGi5H3k$?1boSdAToSd#+y-Fk!*REZA z`SRtsxHt%cbai!QdcomvB9Z9j%a>#_IVL7X`Vqb~& zsHgY)tNPEUSQB)0;dlc8=6~to;pigWNjJAAJn2y8-}X*18$1IONsfsU21-AfW@**b z_Rb5)hFnH2J0c4S3Au3LLUD0%LP7!rK`}8gix)2*$hMoCTX}hTUtb@52>+I=q#%tc z(WtGfbCBBwK!2a`(TmI6*qGPbJLpwPkhY7#0DU~ccJdU--}b;Dn@N^9ZSD8mkKWjw zJs;hOo-RI?5{e|=09lTS5+vy-MMXu@=_hSnog_n|yuOTFHsnD;LHF<9cXD#VVzCqo z<>t+so}QlYDS<#B5D28(PEJmEJU%=;yrre3wY4=nJAd2I&`>NEOEMP}DhzZdZqw~v zG!MS*ZDL5Qs{io3#A5L;w`p_Tzl0Bs4Gg+^2K-1Nu}jd!n-Yyo3=O?pX2O52pWA6` zY3b_dkS!(`+`rS`-!BjfPZ#8}IyE>~XdWbSX;2aYj9i8gxYPAFJ(;GXw{9H(fI^{AC=^&;Q&aQk(W8=*l2@-@-Mo3T zrKKf5KfkxPHzg${KR@5z-hRi99jjKY>geb=fBt-DXXmL?r{Enk83iS`v1wsI-o0YD z-NJ59xsr39R#?;c3ILFEn|AN%6WXIP0KoBWJAaSnWK$09KX~En+#OqX2dy_VHioa- z{Oz*n^b;9Z^A26g3QtOqd@__HZ5IHLw)2N0IoazIe*Ed*1wUk_?n+DM_VNJ$$&ugH zziAGRj}18zXQZ#cX5L4sADfRIblR}0ne|SIp^^%^!W5TWHjaF z3V(LeghHVtrAfLy5JI7l!{Lxfvc?c8d^~vhW_MH$^&kns6!~2TyMxnhZ%vkr8zj`d zZXgkj%#BS3?L>)P_WQ24>~=e=sd%|@49xb_#FJ6clHpqyhx4wJ?Lf9wZs@(c9h`Fj zzYBGAbktj8zj*PYpP%1{bcB0!0KlG~PJj8$_MHEvZ2q{sT*2U0I>v*>8`e=0ZzKv5 z4u?mUzo_+_?K!CCB$DYQlBvQ|gFbg8c1?|pO^u9^_h4*jXgu(5mIQ@4CdlFU^}emI z=ka*b=_fEGqLF;O70SnYzkCAjq`hozI+_0~zpu|wPd|QBgn^!(3KtJ;ABN7+`KDvy9&C{_CIm)PmX2ob6+P%HK6S|57imFWPDiSE_FmbC$pr{8HBL(=Q zzQYLBk{HG+5^Ofx+uOUMqGI8~h1S;A0RaJQHhY-d{KT24!#AN&`0(Mwz`($zOP9vP z#5{QL0O5We%7|2vK&U2prEw0 zH0cJ)=rjCPB!Hqs0JMt4_+j{~NGJrYA~AkI_scboiMrs5qBfsYNrA4euCaDu0`Q5H z6v)obc5!hrH#c9rcriLQRL=M+DWDz<27^wgmz0z|d-jaMV5Fv|jwSED*lc!FQxgV*sjaPrAZW#k74TZy zk|j&x;^O-I`!h2$@p$~LTetG^@>ndEjDpNc5IkAW&d!Dp&E)X$ z@fm1oY4hgIckkXE((2Tw&bTNkpk&)yr5$u8lc}w(?c?L4;>TXI7#Af4lq~8Y-$54$ z1j)(CDJdyPlr@=gR8l}8bUJ;e94l6=kk?E}Nr{b(#pCe+0LlNsqsSw>Umg?`6dfHM z7#Ikb6v)fVJAV8)e1A$wNr59rj$kmDOP4N1M@K6xDIl$&l79$y&@(bJ9336GTyA}R zePd%Ii^U2G3R20C1|k3R9u^kH<#HhiVlWto4?o1~0#*G^o3})@x zwR}FmprAlsU*EvMVD;+N4Gj%!Hha^iO#pz@)Kq~$06~z9f=7%kc=*O-GU3CltgLC% zrl~p}xqkh+^aK)z!?9Q_RXfof#=4{c%BX|xq-h-JPMXH?e}#PIDCchB6951J07*qo IM6N<$f;G*-eEk?r_fwRLdZ)+!Z{SIYT8{h)$s3)OZTn`j z(kxP1_Gg-GA-FggGW6(Dt_{qlEanqIW8EPNSPJqFoEI);8#}w=y*4^cE!O`!^$6X? z@`n>6TI|JndA8k2LRnc^$l{rd>&5xm-rgQ9Ev>Q7p0<&Zk%57MhQ|BM%*=oQj1PKc z_NKD3Et{M6l9G}-I)j^=1yNB^RaI4bmD+lGaR~_(o_qfm78XWFNB?B&cC@v1B?_qK zgqdNWOC=>Gi66~HudmypOA(?6M?}QN#Bg$R2UX&d-H}&NFddJifU`+loZefx);)X+ z4S5$5QffP%m63sdfsKZSR#8zAiK0E6eH(f?uK&-6;ObtTZpoob{T&})>`Ihlh;m&U z<)5HwBqB#g>PCv5ms*cF?yrtu;F5jI&i3;3Tv%M(5f805VPs-jURkMi-9NgU8Y<@Rh zvlC{gt7{D|4nagjM4mpKjbiWY?EG8q^ju#4ZD63RwDi@~>QoW8^&9wHh82tr%o7q= z{QUeZDoG}H;~z5g)z?o~Zq#sabL(nr(=0dqn3aXaf4^?qoeux_z*-&N(#;A zoRoy*@Z_Y3G$ApuQ8!pV!To~%$>Yb5_4QFl^Rcnq#wmO+`g?nOp(30d9cvC}a3|zo z87j-lnwpwEeEj%cKI6OQ*TKO-C^DG(sD})n&7M4Y^61ecxTWj(_<>AGW`>4_o}Qj` zs8e3VSMkeDO3FuZJbtMYiHV87e*G#UO-rTC!5VM!!t$qo_Usv*_vRHuQd3h?Ma6cZ zGhQy7T1sM8u(qS9uyA#CwSQoM2pt<6duwx(m4ic?aIPu%2I4z6XFix;_wnOL0`Ws% zm9Ob=&akjB%}ix%EG&6t<<5={>5l5^>IgcC?uuJ{xB2~~-Xgv)1~TX8=e2cphkpOo zd;Iu?mDSEUw}XR&f|3%P{VLMb+{{aHT}Vg>sT<7If26ED++qofPe3bbQoSM6yt}*0 z&dx3@EX>ExFSD258Hk?Xu1o((-~8@KTU&5;jgylT8wpNy+Z(FauV1T80!;WJdw7VY zjm_G>e+m3nWMk7g$FvH{va*5Nlxu5im)D}LEhZ*r|MdD|Yc+N!!|Txd9XdKXvR?EG@ARo~JF>F)%QGxMt_&<^A{(Rjdw|N<%~Q$m!|ngYDmkZ#Mhn=-3<@+uL8B9q$e089Le9`%>9WR1sCg zH#9WtEcU>E+SMFgv#nF*$Busg{;t>lDinfZ%?mdFBZ9B0smz2}OL>BwbF)?#ww9Le z$GdFEr?N7=hDS=I4}ar_J;`i7*x;|(xAXBiQ~yd`fQWlHQu}{TQoZM4WR#MeY-n!I zSi$+e#?eNe-b)DIH`@$7l9^acRP_D(_i5?rL;1$W1_qtl*5{{3CkGpoB{ur*?uVyG zJ0AI=6u7-c-8yf(ug%!Y#MzOOlgAz&x=&baGbw$nE7#D}9Dqf|9;;UO-FM{GKCfX2 zZ9n3T?r3iZ{IRgGfXd6&FID+g6NZ1W??_GJr``QEo*J2&n}b3wdDcOecg;GguC|)G z!Gx#jceESUl|Z|L_3@(8(v9Wicp;~Se}A&2rKP8T8Y(I(nwXfpe94|zRb1=>C6p!; z@^ECbR9##9%=fB_ChZ&9bQw9ht4MdM#KrNR)z+S3`_Y9VE#c*;lh&fYCxm=TOPiT# z4l!FQinO${f-MUp!cDG)(#Wmc-eS9^Mw~t7iH64AXYC|V6?&}rCj#O2p_Zbgqsm5V zYJ}9()TE@%$2NguwO=s*8ifmOV(WJDPFT!hV$A-%f<0^AVZ^XRO5ucu_IDmC5H=** zpYYoOo7vm2F`?d*gRu;H5}xSU9kit~XJujg9F{JsY|SdNjJk>}@8V6$C6y;T3++VI#eHk9 zcryKu@-~}?P)|1d5!*#AnbpgenJUTumX}Ay#wwrp&^~(9HTmiU4~YcQao;j?XY=y% zdhPEI+;Dn&IyGeY^yyPc$+|4Q8Uuhqobo6nd{OA_I`d8 z7$1+u3wtAO<7vmOxoOwUTO!g*;h4nF(#buwvPbo5nA-c+UTwpld$MS{IpVH6HznpT z=zb(7B;*-YCn$b_9lSnSdokA*4ZMdS+S-4B^PpbP5L$^>-a89j1qD1eZbbW>>_1Ap zZ!=b6^SmcTTT@fN+;JWdxuLP~&!0c3VqTeFzPN19wL$UOj90{H(=#xbWvE;vyc%-b zax4>TGVwl|ofgvkdM1-g-%2Q4xg1nteXqX{1L2A9T;iw|W%bPbo+Zq~=ROyb%v|A# z_-+=lY>m<*!3i5r57tlMg#uYtGzvc$cfY? zuCI@?pjQ7aOCe^q=4m;f>x zfJc$r#>C9i#lvMrMI)n$a2gSv96cghTKrNvxl{xh*6+d+x;ZY;o6j@NS^K1WyHvdY z^z00{#M8?Q01Id&&!F7Q#wHoo(QZ=;M%NT*3b}tl;}^N#31ARPbt^*X~tE^>L_nBc6JKfA-#Rmc&hfKpn6(SQG{ z&(6|mo39SKJ~Q`yUxoI#2RXxiJZqDct;#?=xm&f@w7&FegMWN^5qMYpXBDwPNmmDUUjwD=?nYI5$Q74 z->+e0B+kQA@Z-mi@88*O-I9`#31~A<;~*--33X;3)XdcR9cJ4ysHV=DdG1pkr)*&+ zo3&$2RhFHX^LIpSrj|rvja@l1^;=fv=d>9fALi3Ueh+qa9asOPq~P$0uGJjiy!y|d zQ|*kbmMx#>W@MMjX-DP9(A$RvCnXuYc=5gWotvX$dwaWvnwp6rfyN&-i2-YzuRQuf zmF*zfBu-X~dc;qzBU6i)1G59<B7R^H#=$0g@-c6O!~alQVea~Rz{sU`CnN4`Yso3SvPT!&i2ipYfR!Ua-fN<;SF z>$K58pUEo{S~-POmvr-R{a)r2*I&PB|AxB&|19Uiyq5w-$t5Oyp-~%K} zf0A1FzN+VoNUW)7X{LV5>_*}JV`u+&yS7NJERT0OwZ`xK8hdeRX{^f;_CrnWFwIGW zj$dO&=lDjht(3MTPHsz5cZkI&j3kx>o@ zGt`^#pk2KRe8c!R?-L^ni*dE5w)fr*b3Npu$&FC+ZO~R2LsVRxrLApVb~eYfD@OD9 z_}TC8n!xyGS#%tY0_als)Pe=zi?-HVms(p}I}`X5O!abV!<)|$j-I`QwU79vbuVmfIxtk_l1oODIaydyE z*BmWSp-Ta8fRGpbh5qz=(a)cJLP8!OYsrkNJ!6!aBhHRN)nSTAw2>W>Q{kRIH(Xj? zmePHo!TJFRm`2DE9ogKTSGs-sHuyONIo;UZ-{)du>+9`}yZa2s8n5o@&i1}6=ZyT9Cd#5Tu0|4paodx{x3??eo50jQ(<{|=O6o?-Em=O zW2;Br(E02VkyzT<1zqsYNKREI4Kx_*>w6vVz9@+>jJktPK}sRxkC(^6-qqPTH$M-) z=L%SN(wg5e6|~~sORK8}+S)NuQM^xELc!}I2)LYBPJJB>4YY`7`Vne+dV+521|`S8 z^q#||`bqi*6Cwx*I&fWSwMGcy@Gy!(L794!PUeA*jw{>+kN1a&h#v5$!0x#@m*aGI z8GJ%A*wRlS@3OM9L*Bg$4Lvtn=q#bV#mQ;Y_MXXlFXBu0=g*&Wa_(?*=TA%+9a@2D zQ&Wq?;{L54y8C`n*c(dd4OL@fBTVTxdqu@|W7Ju|dN?EV_H?48vx|#|r)R_3{=Vxl zZ`?stn1J0x!TMzd{`f&;E5OG$JTd}e$$^&1Ia$Bd))4Ts@L7jRv5SjKO-&72N)oc^ z8N0Z!aA`wXi9wBlpY&$dpCYlcv-{d-3D(GIu{%JWk(!34d7E4GE+{usQ`6eh?U4L@ z?#@hfTp^}uj&j%tpFjKAi22vloTtl0lnrt_C+9fz*x1TK9bs1XDnk7 zQ)j$+^Ck%iiQ3+#ua#gZ@7Qp6cw$it)-J9G&Y{huRXu12y+b!D(v-2hwG6o~(qc zPOE@nFl(n9sEbOs4Wqm9eE*)!;*h0Aec0fzoMknaa%6jpvGH> zkMH-ufKx`Se{u01sOW3gu1$Gfxf#|{axF0%St0q^`e^7>zjtOtl=Gh?Q65A3_Wf8Go=2(gm{&KJ58Aygwo|E$I;ak_c+&K*uprs%e!=RJ8@Srtx;;b6xi zB2-}s!4$=O`0ybn252ceJ9}(&^uEm~IwI(~yEHXL?@w=yW^Kd7%$yJ(zcyOD(w8m= z;s-*5&jZVe0(R%;CmWxAK^VDB`V37>;JeX@dzV@EG3;($W^L1rLH^<+U`e`;>lGNH z;7SS6{m615(NW)n8zan<4;pe>6(hkm(8AYlE*B#PFALlG0q)yIXHGurzzg2}$Sy)I zrYfqBe7`#(NbEX}B;m}>&0StzPJMO!o$!}pW>A`G)y3lBOj|UItE(%#F*_bb6m?FU zRz>9|6prPgn%U)W7!->Va+V_fJx+O^R|$L76?{ z(9VYsB!WkX+n1(XYMJA+4kqN5fIw_E>L?J8%AI;)c6N4oS%Hyw`kF!i=E9UV&g`Xb`uHJ}_|vp`Tfqf~pxrfQ76 zr=tUi%!C7Y@EEXQ1n2QtN4#=oSXfu-TJ|r)R;BnC^+j1yO(O?pLHBXneTDS5zf6P5dYL?xelSQ zt?dnFWkO>UGPb#KopSs0d5CSe+1b<7Sb46vSy(Ix;x*-4;QYu>z^_iLXpS6F0ow@qAeCKd$ z7Up?oy+Dip4V!E)tMBZJPI$vV<8XR;s3S;g|7P}C0@2U@=2p0!@t6sg^1)}xAt#&w zf38Tg^y+FF&*(-=!Pym@H^;G!hM+!te0<7szkCTuW)m_E{d!uNq7JILltRT;vW3cfjpzAncU!TJ zxNRRu-2K8E^4bA|M4oq3i-}eH`XXf?2oSZ$kIP}*A>jroDek`MyYme~WAe6T*ETWN7NeDa-BK zSDBg8`z!%gph(2UC+h1>m;1j!uwWrJceJwz1<0YBR|RSZE=l72aQ0UOoof7DCN?(g zg>-opmF}LNo~|woMAUurQ&G{4N6Z*fgiT#txs{b7U_iLI)_0c&KusXNpno8M;TJar%ikJE8FZZWBNi5xt4ME|PjGOsqoX4zb9);52M^HhM1+R^EG?BIWQ56R zZ^w~}OhuhPHa4c)w>jBg1Cp~$=H=xLA?IGW*yZ(%g+wdOmJ8taR&<;9-oHQ5EUG_$ z{=}yhrGRyyq*VAiU|i*1@2RD(-Uqv=&rn}~tg!Gdydxk``uFc&NMsN8_8{6Kt#E$! z{5fzb^cEWT=>SF`%IWOtDlRTI#k+t1K45dcQS}3kH&lUvftzc-g|_1r3kw!Y7KtA| zG~Lu28Xhi7OY^^QLY0ma2FS`TTnvQUW7LF(D$B_QfrLq@Zy6oExo6`Gw+03@t#WDZ z6cSPZR2yq+5Pr$Y$*}jbf%vkslarFbctl6vAQ|ZETV7g{bTTO%tQ)x`#JLUCjF^U0g-*< zvIzN}+}}z!Za+!r?$Afc-@0`RC<&`$(*_7@Xed^m5$L=PyzE#h0nJLln>WyJX(=NxtEs<1p_Lsuc_%FXpg?WALZqgQiOuuusHsAVIw5+y&!J5>;3wUQ59s(@tmFo zK|z?pB=eYevZ%j6xfB+@FXG|mCI~C(RDd=?V-Udz8XqotvI=T}35$IQ1$rw5b+Nc zrRmM7T+GVa+FIyp*xBX7(gy~%#Bk{5MCJ+rnh%cLIDqg z!@~YRF&7j-TB)R@B#mm=iB%$H*by}ZjbC8{LU3k=AuB-!&3}>m0`rF;)$`}iQTrp$ zXTHVbiK5C0-*OUhN+SsRhs$RHj4m5`4;hH|(#bj8&mC_O{%FU<#Dr`CY`{bPHTkKd zjsVFfc1R9!adBU#ZWAA#Ht)pZ`myfB0s!?lG^Bm~8l?CIyb*vkfI>*l*S~d_A86f< zoh)}+?BK3_SnDd!sNv&N{moN|7|vlzIHOP7V|=didXXCw=`j{(cR$~DyXk$4WT9?t zzKW1fPeS+jA; zH|0GeFRyx5OW>iQxbP|F3fRucVk`1^<&vL2L&L%X0>I$&=t&^-oSa=?UI%j?1JC7< zjX`M&3JNMG@U_84Ud<<-m|~}+Ie)!JC+c31nYjQ?4b}>tKd|qs14C^(JOsi3vJ(%{U|ODs0FJYEuSIgwNHLmT;USTs zA-B2KC}^8*Q+_a(ZxT?BR6%!qNzSKt0Rf;q<9pB=a6aJS(6Vs+N#GawS1fdY$Wb5~ zkBA_ku7S-jBrHsfg$_RezQlzpc$+wc8)ALkFDWVM?(POxRz#|!r3Iy;psGs1nbBuS zg46u>uXo0aN{0kmpJHU?Arz(9k%=oW0dZ~_I%vZj0rls?R37uoRXZ*EO{wP zrG*Jq{^{}!*)Ddp_=oDCX!Lv%!5V;)dAGm~3OnGaW7;zgw6BhvvQ!bAA~egu?5IQC z^nZVOf7Efy-vSOeOjDyEh$^px!~Jq6U~chqXfx)ryu1LJm~{C&|8oVlqNE~le5ifM zOFzDkd|%ey4EaScv`L~^Id4C^yrIh5uATqE!J`gd%#>Pi6aV$Y56l%UYWO4WfB*46 zAM>)WnbK}O|a-UAc={|AuB BuqXfk literal 8044 zcmZWucRZDE_ae`AOoDXhOqg-WV z)K~)_3srTQdYEiuTeJ7h1poS=G2Qij3|T@H^D;7x>+G_AN1BI&i-RM2aW`H$(7iA} zXITA%#Np7PqAU>{JQ*U19UmL3^IKMX@Zdp|czAkJYU(3z@81Uprz^>#BqSu%)YK*> zCX-WB!$U((#Ds+LLqq!V`K$~K!B>~z^7#gw>8=kRXwKD?85Wk7mDO4|l$Ml~AdwNn zxl-ff<7}|KXdNa^QYw5oIl1tI0p9TNa4LLNDh-~OCB?-80s@!`ZaqYCNr^a{KBJP7 z64=E}sViF+A5!u3{MqC)PfJUSiG+7`brlq_ZlKv<;_#kjKUwBOoW5QT2(q)YL!SLo zAc89@Dk>dg@Ho?3+(%jcgUHm)FgVcqXd$}w>DI~NdX|v&yUNPVogI5CtFIT*jL#7n z8Skp9&JM6Bg`i(TR&|)8t?BLiqXl;wnwpUQs{{~cxhMY7qepg|LV|+H|E;srt=f?7 za8=c49;T6z5jF4or_qE^d1Yl^f4_{hG(A22uf?{%yPa1Ktxr5vRdKTBiSXfBS=0S& zk<3g?dhAqp_4J;nq|AH~5*A)uSV&4v#(|oenk3vun5#ZlS645#1;xk5S5;JWgr6b$ zmpZR5&(daF0n9{%?)=e*OAo z=j!e4?SO<4L&3*;%Lrjx*+HWUGiBw@y1Kds_faJ5C5g~j&-@;i6#a7c?^ zu>b!3`&nGv99T0mU77&_0Tvb(PvpZFUMnalR8>~Cpoa3~8jwh2RaLUu+vAfH|5v*A z?wOmK;z7@zJ=>GI5EKxYYY&modz+X@d@gYPF3kibJT^AAqy(GFqVV3Kw`w-pXGzgA|fK-y=xshIH?mKuaDH!)*2cbUj3dhOw{1yEPea-+rk2PUF_JH zQOh&?>asFzZEbh#VCKJqRRcBW>KgpB13WNC-;H0Rly!(`p;r{t*1_mMnjC93TDTon#{D5|0Yq`7-*x)$U{ zNJvOhO6t>9R!d6@c(?NMatHz^$3rr=u~8Cons4$UARrKOk-T?rI4_TRZTC)Fc512t zICAdpWv#8Pb(fje+0S@NNrHcT1#4g+u?Ts1cnG4;Kt=!)yL}sXiwTPAUv&=0gFv1_ zLqq9>thxde8j$_e;5-ZsZftCTXO>q~{M_A*r{vj7$$PCLEbGy3-UK4DwB!Im={n3T zEZ3m+ze`~t#hg19>gwvIrZkU>;^N|LY-~7vXt`5r15!K*B4F23eqM9-@JQ%(s&jmS zK=4ozy+m^uy4rhPon|%uvLvSHJ zVd4BArQ9UA_v5vMCf=R>rLMiOwX_Uc;3kxeB1an$MhdKd(|0g30%>BRp^0H8EvaQ@ zT0uFa;$ZB>VLCKK4h|0d{QULx_28|*Zdksi;QbX47*PBmreBh8JVxIXzwQ(!r^oSu zF`@gq>Y4y3Lf6|lZ8_&fX-e?vyX55L_wL=hwzDML^(WxExsv^L4QzY%06;1`d;5kD zA9T3JPmi{)ZO$L>JreC#!PsIIa|duB0|SGbH*eZDKf-!+(UY{#qnttB6GCstVqA_9 z`T0KX?$cey z8Em&v#pKM471RY@8{HmqtJOhQ_9`5O_uu-IaPWYK5Hho{0B7AAKb)Qll-0kw`Ksd| zq%q`oh9Gt0VPj@4HsTvCR4$ZoPfbmwu;U{+lZkUm@l>Rn(RVO2qh(|a{k>tl_UWeE z6@pnTOm4G_-p)9_Ww=jH^Zu_cu2t6_o6ozvV#|!j$B49)6iFGGLvw{V{LfW`j!2lN zvvc~ZS6t&uPWrg*m9VAukUxL^aPE*mZ_?*Z%ePC)ZLe##4e$8)+Vq~#9QQlUDk2W| zds6$8Vb#qt`)4-?1#r=qQ?XnQc0ZrZKeF`QEv+qzXwMIj+8V{Q6ityI!KWlt$4L$x zCe02_E(__w5nCI{-`d%^BPLeoi&lF2^avesMh?9wC;+%e5%~%PhJ%BHi<+OE9V%Fq zl9IYcKmf2uUQ+Va-4gI_tO|kN0~y?w@9n;gj}M|yF4r;RKeZlu1v#RvzCESBaJ9(0SIXU+Iqcm9UIvTpBYG#1w*uAGdq6IY_-I2y zPC$kA_G-}3&_GciJ_HyUy?FJC7Q%ch(w6aEN=Zl%6BCmS-g^VU!pdp}v?6meGm9FV zr+>C*LAuP%r&d<(laoIOJD8eI_{=wnlWJ&cKA-yO_-pYf$PtGvZQMfvsetr*|5M^F zH*5Uv=GL7isg&Xpa>z-Hp?*4IgrDES(t?$hMXo-)Il74gVn2Yb#ANUm7AE$u?msU5=aH2>!{X25|7b zeVgK)JGXA#T3*$zcgKMO>33rbQ&^Z;GhT-D*CIO3^L6LehF|;m_z)5h0Lm~mISKy6 z&C@fdpdexoqiWR!V9Nf#WoWny+Hprm2OS+9fLt7ikDnie4YMCiN=h0M5;Btu>bIA( z3+v4KN->d~I6f^A|8pr;ut+4smnG5k#Y?Z9ZQ0Yq*xjDLxDZnJ(i8FiGJh3~2j$Mq z!&g%s(k`_Ow4{0bY|$9Z{tG|OLMBAc{59xVM3DD-C_47>Fa%A$9}(`SK+99}a&yx$ z2T5*Du#*;9Ls8YdX%@fGQrYRF?J>2VI)r~sJ1Tv^O0O)}^*Rt*qK! zA9nu~TXLRn*uU^^oqw;f1!p@VB4YZzeR67Q9DBl|XcoW|kH*c-hj@4~c!U&Uj-OZe z_Y85NsG=^b$>t`8txbt6{P$KR?7W1~n2Bk8mvZOK$!HyK}=`cWrh|r zqRS3&M<008A^jnzL z4MR>&Fhpu|i-zg9h<*P<<6?gi`Y`#9lewIp+*ZQ&grRZ=>;y1@@1T%5h~)h+QStHp zRz9{iHcBA}uED_!O0j4xj95%U-8yz|N^WEo_YM2s5z4I6%FV8^v6dkJ=uh^{6ntL? zZ~olih+OsxC;#{~5nnCnN}+QmKYUj)p*_W0Lxo-Rl%Rb_d>Qw{1=p=xF(GHfAFE95 z6VTM@2=o1?|qw&UR;M{kO8yhKGki1C5D^d7YaJZW6U` zEiNwZbrO4#PsDt!FO(W3_gIjrPsXK+pFhjw@}!-COe?^xwINdqR#{m-GbOXuNh`WD zIPi7E$impvVl`ke|XG1n8 z`DgC;fnpbLg0*k{%@aCqspt@1ZWdH7Da)Li!iC^}~CGl8sG%o_uGX*Zc4A z;C3M|ijg0!P0jD=J)e4=+mRQ;?epXb?d*6jOp(5*s0f^6JGh zD(a`(%Fii;hUx1Nd~LybyE5$c^a0&H^N;?5%j1v2f~M#HG<`aic+j69N*!_g&skl^ z*S(sm=H`-y#mTOOF!e=?$IEvJ_k7N!VdD%%{a4U^&khTQcT0B^syP{n{met&ixn0hDtu zFF$aIsm#dOoY@t^PYu%#cJ~Y35RSbqCf3z{fv;t69czzfMt$)SErcT)H{(useeD3k zS!7ry%u>JO6CLdzrfGA1}B-5 z1A3Rl*)75|`REF-)0j&vitn9H3O5hQaS~_rKBddO899+JPo6&QCImtOfWdVGJ-x6$ z+cyK`5!qBU?oLE0dqp~s0TWIgA9Y3y_}vd5>?!B;Ctxxfam|wKnJ1meo2n|k1^aAV z{g*FrvqbE3Wqb?3d5DiEl$QRH>KaQ+l~P$*`R?7j?d@&A<1Nk2^A$r(7Vczt^fH^M z@VRY+tH;N|!otE55)A+yQc}p?{(UUZvGxL2P28o{svg&ROG-@4&)@(0@v6$Tp{?7F zu>CJ{AH6t;Hg|U|&CG=O`J>tSl$EalrK7?>IXhF3lLN7yo}OOyla>9r1C%4?qqL#n z=*EVJe0~97JA#5|>xGe*muI^*H8n!GLV~J$t{3AadV8Mw`YHMOEDb6V5l8|iKnGof zg~R{Mx>K?$W{+)7KGEh>Bk>b=Iec)vwxWWAiU`~RyPPi~O(f#)dSILulza@h01O6G zQ^OVg?4bn*cNdqJdnhq&eXnuJ($~>RNJw~*nRyLjkJw|_uA4&v6%F8{EpW$1wzvyO z&Iq7#j;XU=-~v)4Oc8&E&2s$nYY`=03^hQG7pvbm3$n94+}ysS(S~o0Ha9nIY;D07 zCl84<>pGWW;PBJ4GY%pU(9^ZozL?LJwGM#KT3cI#9=-7CF=2eq$;k;h1qEPvrmCu{ z#>U^~=g&Zg-r3o)ZSux}@)Sb?TwU?u?DRN@Cd{(!y?f-a(B;q9TwGit`foM+qTLEq zs1tj?f47JbRHa;@;Exjj>4cD+jJ6&(A}j?ZQNjGw?@%<}-e@^TWLJesqilkERwf*5 zIUHi#|6A11z<`33balgP1%nYoY=zj^?uL=jUJQa2>0p(BK0vgORZ{ z;v)3bnKaQvr=6u`R?&PE!{T6$u7QEHxcIm4-w7ZyOUw9Y&xUfPP)kcnoSbS;M(C&$ zejxp0N%2+VDcMGbhMpOQ!(c!H4!8yY9Sbs+nVGpUE~>|9YKy&g?HbS~La~Qy!(n?E z96e_c7<>Etw{JP1sBR}KTieK^DN8PDV(3MB`u@Ccr?WsITYV zFC(u1G5MT5C$PTQxiBGeSz%SFc`~nVWYLw*XbsD_foi>oX1s3JP*? zU=0x9<#qS*8P;U2e`QF~ewH)(Nt2R>F8Lf!*!d1>{zcbCnpDi=wqIN%}JyV z0yV?J!jf(Z7%Whm_0KBI1h(h>_E)~xw*}s0U?8f>a=|&vI^^W%=Kkn4{k}hqZEI^w zK~}cfs{ZrBf}N)3gONNrUW2?DAkK3n+||_8H5Z)|RUjsXPGg9>x27GWZhoFg4tNBS zXMcoY`XwfS8uU)q4rr+~khE>dX^STY2wIw$BqbyqpR5-yn^GqhS5=X+d3kueao06? zAxz!gR-pIB_5|P}_Q#LO$zz=!@!_t(FK;M@98%@QGK(nmvE_KCKm(bj%8!*F=q9s> zB*lL_WW^?rl#`&&q*a@iz~kz+LRI0g0p@ zW+9%Q6>)I{y9Xe%+G(tG_K__hfSMwd5#zzMf+4;E*B+4%OYGmu5wy6E}2x%Q3@DM`tcloWuv7)ye`2~(hVQ&3PO6tUzR z1U-EU(jx+O_4M50=T8*%W%^wSJNvWqTH5DyIiBsdgoL`98U&dMOpT1Bs<6Kpa0R^# zyoYk=?}QV?4N-@dPoHXRJ_;x(ge|r{6|{U0`@QikPwp`=7cnr}ii!&034t>UMdjt? zy?-yll|xI0uL>MEfK%WiF)=Ye0 zjg*>(<|H`4|5rIZ&6h7<_6P|J9a{Ww()xn}10znbS-|TcBft}J>5!2!ed_~Y8H8)d|lOG2KtzYaLp9*JXWT-9J zAw=v4ox~n`d9f)+RKI=e|Kn?V_J3<>X(>z8@iyAr!~`H+R37l-US(y0ZX_eqe13io z^duPt#iRKq^1z>i!^2O5f_AsJ8&9%8!ZI?z7pDQ6*q*6eV&`4Wb+sgr0FE6iu9-O;-WaJef+|#v=pkazLka1bHAP^Sr?!4QRBPMu{ z4Q1Z}n{9hLFC&BV)~$)Lu`cEoD^t^kqN13;?%EZDo|25QYT`hjL$vhtcXf4dGW}aY zPoA(lCmkLfSjA}qdJhnDFPRP618yZKX9xmTCOwdynVDGNbJf(`0bFBdW(GLNUr{JL z=miN51ngx{ATcaX%Z$Jw1<-oNm&U@zR``XN4q`~a|2SzZpjO)M5$Qd+7;^&8WT=j*%M+A6dmGu&UG^pH=A@NUvJ99}%B)4<6 zS66%NmKGMgJv|5dUmjl06-v|IxB*f@NJxkp7#J8FL;}kMgE;J;BL*3XxrD*Uva1$%5s%A+^Nk~9a z`&z5&>-Pbn05{XOEP{dr-3=LX7>8y8)yGUr+iM4=1(@C4QA_S}ixXP--4c2_I(`8G zP&1sdK-+_=cQv>%LYh5TMqq4g3{qKUkbhqUSl+RY+^}e$bQP8jmii)k0Jko=Tn%yT z9vLyl_v}m6Z+jsUFboSh2Lsi!x8N>*@o7?l##{{rvcMfpa3+bl(VI8Ks7@wkIL@n_ za|Aq>8r$Y4Po6lm2m1pM0=~-h_wS#xf(>2Bce(F7AUv1>hm;MF@;dJKkvQ)KFKYrlG*jF7C%-yAEy}ZJ9m+lb3Klk)>w6|k8I2;?Bnt;4xfa-v@ z1C@g$l-N)o8mKn@wJA(5w#vWxqW78Zyz^eaZu4K&GM*g5MReLh&uR}qRpLfR9e+!v6^i@> z5m{q_;j_QL58(N8O`uTSITn}QHItW%OG87W%k)Gy`||z?>Y7US2@1dy7$5sURc&qUSm+?}fBOhWp5!Y81#Zto4+SP@+;?#)stc8)x4H~arE(HU!-^J;JDs3# zx(>3^ND-Z|yD>h`)L61R@|eyEw${InjZtaO+dDd2xfx7)01ZCub>v>?Hd9h+C)`pF_@QHOzc^K839Ja0`}Z;T z@C*wSqkE7*#7$02n1U0EM*c_FLk@ZDt^m});c(z5zs$%0t_8@pfK8U5zbIJ(j)=jI z&>mB@qobp;k`k-P`D&VSz~jdpL;-$&35ki(>|X)D?du~z&P`8ib5Z}@nI}{o1LKRo z+p{sRKqD$ED@$Jc#*y%)lbPGk|Dk()SY1R*dvo)R)J!@+aedK9FlC|>w5WFIurV}D z`&0>t*ez=-Fku4{3xYsaXh~x4mh|=Zc4YzL>Ch2+^i7+M_~`8wUWf9w;+p6>Yc*Tn z_&D_+_)=$NWN2tB0`VP;$-q$S@^njdtr8s7?A6^KgV6l^dtV7o7&ayIIfY-9JGgDKU24%i;jr?FhIm`FJ)z!?(ih-V<0E+sj%+Nza zDH@!*y1H`m@|@`xz~GVe`YyDryw~~Wx9y1KWdLi;ksv?+m%hG?0ax(2{?)M1P)sB( zKA3m`PoSZ)GD)lG3rOj$$DHXKtE-PM&rbkB?e6ZT;WhA{Z+hPU<{X!^)fw*kIm=X` zv->pid|#V09W%l#Gmmy!^_3FmNaV zqRQTUxuLSk*ajH@Nwfn335IQM{202rm`agW{Bb3^=Ga)#e}B7K#K+`ylK8{&MQ%kkkV{#QA?$DgR6> vfMXvTgB1m^xlj94X9dm}r_&9%`X$><%G~#wc2!OPX4$%$1{&|xoZ$Zhv{=Kd diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index 388fdba187..506aee3a0d 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -1238,7 +1238,7 @@ #`(cons #,(to-lw/proc #'pat) #,(to-lw/proc #'exp))] [(side-condition x) (to-lw/uq/proc #'x)])) - (syntax->list hm))) + (reverse (syntax->list hm)))) (syntax->list #'(... seq-of-tl-side-cond/binds)))] [(((rhs-bind-id/lw . rhs-bind-pat/lw/uq) ...) ...)