From cba82db678651fd36bb44c905d1a1f1a8c31338a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 26 Jan 2010 20:28:57 +0000 Subject: [PATCH] added in unix versions of the bitmap tests svn: r17842 --- collects/redex/tests/bitmap-test-util.ss | 4 +--- .../redex/tests/bmps-unix/extended-language.png | Bin 0 -> 2575 bytes .../bmps-unix/extended-reduction-relation.png | Bin 0 -> 551 bytes collects/redex/tests/bmps-unix/language-nox.png | Bin 0 -> 3686 bytes collects/redex/tests/bmps-unix/language.png | Bin 0 -> 6924 bytes collects/redex/tests/bmps-unix/lw.png | Bin 0 -> 1417 bytes .../bmps-unix/metafunction-Name-vertical.png | Bin 0 -> 4974 bytes .../redex/tests/bmps-unix/metafunction-Name.png | Bin 0 -> 4326 bytes .../redex/tests/bmps-unix/metafunction-T.png | Bin 0 -> 5777 bytes .../redex/tests/bmps-unix/metafunction-TL.png | Bin 0 -> 5082 bytes .../tests/bmps-unix/metafunction-multi-arg.png | Bin 0 -> 7945 bytes .../tests/bmps-unix/metafunction-subst.png | Bin 0 -> 5646 bytes collects/redex/tests/bmps-unix/metafunction.png | Bin 0 -> 1257 bytes .../tests/bmps-unix/metafunctions-multiple.png | Bin 0 -> 13348 bytes collects/redex/tests/bmps-unix/red2.png | Bin 0 -> 6978 bytes .../tests/bmps-unix/reduction-relation.png | Bin 0 -> 2174 bytes collects/redex/tests/bmps-unix/superscripts.png | Bin 0 -> 1224 bytes 17 files changed, 1 insertion(+), 3 deletions(-) create mode 100644 collects/redex/tests/bmps-unix/extended-language.png create mode 100644 collects/redex/tests/bmps-unix/extended-reduction-relation.png create mode 100644 collects/redex/tests/bmps-unix/language-nox.png create mode 100644 collects/redex/tests/bmps-unix/language.png create mode 100644 collects/redex/tests/bmps-unix/lw.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-Name-vertical.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-Name.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-T.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-TL.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-multi-arg.png create mode 100644 collects/redex/tests/bmps-unix/metafunction-subst.png create mode 100644 collects/redex/tests/bmps-unix/metafunction.png create mode 100644 collects/redex/tests/bmps-unix/metafunctions-multiple.png create mode 100644 collects/redex/tests/bmps-unix/red2.png create mode 100644 collects/redex/tests/bmps-unix/reduction-relation.png create mode 100644 collects/redex/tests/bmps-unix/superscripts.png diff --git a/collects/redex/tests/bitmap-test-util.ss b/collects/redex/tests/bitmap-test-util.ss index a830bf76b7..393f50f3a8 100644 --- a/collects/redex/tests/bitmap-test-util.ss +++ b/collects/redex/tests/bitmap-test-util.ss @@ -27,9 +27,7 @@ (set! tests (+ tests 1)) (let* ([bitmap-filename (build-path (format "bmps-~a" (system-type)) - (case (system-type) - [(unix) (string-append "unix-" raw-bitmap-filename)] - [else raw-bitmap-filename]))] + raw-bitmap-filename)] [old-bitmap (if (file-exists? bitmap-filename) (make-object bitmap% bitmap-filename) (let* ([bm (make-object bitmap% 100 20)] diff --git a/collects/redex/tests/bmps-unix/extended-language.png b/collects/redex/tests/bmps-unix/extended-language.png new file mode 100644 index 0000000000000000000000000000000000000000..00fd289dd05e7c05dc89b43df62cd0d6d406061c GIT binary patch literal 2575 zcmV+q3h?!bP)1Y+Vc8)VDwg;_xv~KOF z(~3)5tGJ9ytAL^hMnnXvsO(4-5JA@L@BQYF1WY*>49{0E1-{s~0?)xH) zF&HtT4iiI9z{t?W7#za^Npt1XE^?qpkv2bh+O7OMGW>!=cyIM6mnFBl4Kld2_FwaP z&Ir-tFSfn0PPMOyY`yunX$jvv5x=qVG(j|GE{$3GQ=O#e!SD+XgJL=&CFA&?Mo~TA z@na0ifHMBcB}rNFN4Lk?4fs~k$F4n=+O~F1`tKt717mRL32uLo%eM**b2c4}(F8?1 zzPJ^%VTq5~V2lP7cKpV9t-Ch-`vnQ06dV%%l`ZolL&L&@y*XadYcD*L4a#)hG`Qu= zR8xcy@?L*p_Xj*{gplJqX?MFYfQ)}KF~AWa*1T(-0OGP;@m@@XytkA|lv|zLojAr4 zA-Z=`MonwUq2xdtgeYz^_dQm;)`gWhkMT(F$7u=UeVr|64&f^=JnwOp8Xqe4d}?oU zpe;fOaZ`&#x~)d|Amj9NuY^z=r2JIcTK$CItu+PFWjEE@nES+s0qXGQAhb2qiwh#!CH3r@@P zyD`R803e&reX`<`$F8bmPdWfl9fLv~I?vyJDxPIW@7ZKR)YZ|^C6cMVHS=G6wKPer zu3%zn>tU`f#0LOT_05M8mxbH5Eec@(Nrbvk&d?|b0Dx>Q$!oL^3wEFY0ElXGAIUsF z_px~0%6Y-&O$!28AR05;9&U3#+>|oT7D-3**pz?78RJjt$rfGvC0Othl_*o;dU zXMV6C_o*aSd_j{BvApNBZOI`_z|;0+N3yJSTZyE(q8V6GEQ&tM*JU@g*w9#P7Bp8j zO96liKsH|8d$~($yL}pO4*~$d;#UI4QBD?0`3TkhqhDWrr0EvXoqWbR>9c|XglH+w zYjR3R3Sb}i!QsV%?43uR3L;x830fLgjF{lk@g>E79W||&kS5tliO7dT@BY1Wc0FXYvQ`Etk>u;%e2V|9- z_$eYq-YQ^&k2wH83|F=r%VyhgT5-fwZ@yK zw0s?QQ=1Jb6U%_gvY-M06#x@b0?chJdR|`A+7s*cnygA+=&ox*ZswnQtu$HF&x(bP zy}TJD{QUb}?n(Zvo(QO*`fv200|1C>@@h>+hPs&n0Cbi7ob`&kY_vR5 z^mc^K#ts4i0GN^A6jY{@Ks?KsJ*V)C>^gFTDE85!}0Ax*t1spl%K=Sl#YRXZRbZAQiQ?n0M zd)5<*eaIv?L1pDDLhfZdR}P26;keqGnX=d%4u`{WbF!qWw$Wubwb_X4iyJHgqviij z7-KALxV$me!)YWhJThX^>UI%QTmURRV>TBx zD7Si8uqD=y4FC+!cX!?|-ZN{g3k872iTL#Bwpju07C?{Lxnm)Z%eFRWjfz{JSu5)C zkQyJpp3kVj+55{iIZMlm1cj+1t)~CdtbEky>$KAMZfda+-1(Gin{ZA(AZQw5$kOLg zcG#h9MY4v|?{kB?&VHJ(jB7-iX0LmgCo-zxu41(vOT*KTJm~`SCZd{p(8o@CyzECKQTZWuc)? z-z%c9TnC|yM781Ct2{v1s01^j0b|Z#L?gp5INm<7&yZ#K1&2Wybg_>?F$Ra846fM6 zu$Tad%XY>&BZTPOz@#GM*Etv-VO)GTzgC>YHYb}dZu%);>lJU6Pen$tj{(F! zhDIJ7W^UuWXlX@{+Q{*;{Pf+lb(x{6`Ib@aV+gU2p;08H79L?-sLroxe|%_j)slZq zv)3z86&0m&k$P+v-Rv5Od22>4_K8sz`%F+4`%F?1`$VaTed3hGKGT%NK2x-aeS($5 zJ`W$rd06qRwdvMsADX=9u`&G-`xqKU`P|Gk)Z6UE-D}@|o;x}1lDnQob)(p4V8lKK zN0EDoA8zpmFySuCX(QF7Cer$h*)9&zdwLU6m0LZLy~y6aYR!RCfsWUzXirGVmuIHZ zt>#~sXPM%%tv*zrG==P>{nB(Z%H$J`1SZ-F(qovw?9E11T6Jb8+L*^>w#bLO^A{It z=y&xpjIp$O4-bGgZpQ-w#^Sm&AA6WOC1p0sFeVy*j%OfVdYK4gOtjtka*FT#Q+(+k zdmd)=>N(mj&0w%*oO&)(Yi1Pt44~L&$TIvsyb15E9zC=5hl=kf{U6jQ4U4ftYD6Q( l;4q?*;TIflpV()}@?T-G#EAV#s__5-002ovPDHLkV1hm+;}rk^ literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/extended-reduction-relation.png b/collects/redex/tests/bmps-unix/extended-reduction-relation.png new file mode 100644 index 0000000000000000000000000000000000000000..4980d314576bb8baf9ad00366efffa89dc9a8ef7 GIT binary patch literal 551 zcmV+?0@(eDP){s4J-lMqNn=FfuX{sd9kBl1PURq$`Op1fj0{|NY*&VkjT zXyz&`;Q#;s!~`b`0|UeF2TRj~JDw}C{bCq^5+34E{Nc*Pz`*eD4{y+tdf<>{tdLV(82$Y+q`(CQntPN z^Z)<sk%gUwfstvDC08`({Qr1i*Ii!sR4ajjaSkqk60+YeH0X&qOuhYcfMOOGKyu}u zSKG6+wbC}f99%i)|9^xl|Gqy`W2qIj?BTBgbq)@|@c;k+|NlOp?Qm50pLz59|NsC0 z|Gcwu>XyfY%C#&E4BxL$3-OvE**sV8{l$|f85q8uop+T{KJ{Y<^9TR{002ovPDHLkV1k^s4^jXC literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/language-nox.png b/collects/redex/tests/bmps-unix/language-nox.png new file mode 100644 index 0000000000000000000000000000000000000000..0cf0d7d32f55201086410799fd954073b97ddd6a GIT binary patch literal 3686 zcmV-s4w>002`60ssI2m#dr2000gxNkl zcU)A*7RS$Jmj#wxsnS_Mnt*~*gkZr+Bo<6md>Vq$s8JJ@D3+Lfd=U$=pwEIvCB_63 z5{+Q=*=fZo%hEs0#qnVECGGZ;b$)FQ4l z@Vq#;p{Tq=ILJzP4f*Ar>YG%WaC5M*>E4$!gOBBN23wJ!HgV;&mA{m6mC-5!3gIGN zMcf=Kzk_*fWmLwmy*S_6Gct#zjLL{6d>q{Qa6LnR&gGXvCDq5w+-R%+&c!-`lIkOn zUcI8Zl{X?o#(Vqvc{*7;PThQ^im$r22J30u#cIc3Zv(9Nc}3bF(MHF4mLEz!ozkTK z7WWZC2qA9S5A#e-gU=SS5JJ4tQ{yT0;NN;aU%ZO*?=j4$A1&ZWI%GZCY%8UDqp-Uj zuisSsvJ+!LZ^@nZUT5XDL6!~Y`QDLWwkEApdAB}6L+BFsS>0LUg| zy@t2{_Mn_I*GRj|Q37^HTU!U4FY!>zb>q#PP>!U>N7K+==k;^khQbD*2hd49&MDFc z88#HUDIFS$8hHJS;&yU@L?QQhK`YV*SvDAnLIwegrNZyZ8!9pY>&4wXq4Dy>C*Mxc9atso ztOzHs=n6@H(ht2`5f?z~bxwmq(*iz+-{Xl_qz$rcgnSMk$aE@sVE+JtMFv0uo&a-z1__kiS-MyxuU_U<2#%o~36TP9%hn)KW^*2qp~S7%mjF zS2d6<%&3@rQ|aP2m$y(E#%k|M7OoCfOZCDv9;}w?r9ua@9&H?9@!|bW)m=d?`BFc@ z1ee;u1Q$LI?syRHV~k-KW;yYTjOM(^yD4f9~Jba`B8A z9lpV981~ZHZPmx;V%{|;$uFu_|AbrkMce(;FD4#Z`Bh9p(bIUl=<{mtsz&&IgGp8k z|GmWMY2>>6<=?Cy)h8=JE#(NuPL`0vqUZuNmpAd$b1feukiRcm86y&baSBa6agQOV8fhgdcG`yI^8*go0CE#z!|X;laF zY0S=RjnEuF-!J4`sXC!b1yW(Kf%Ryk+nlEF3(rj)V5*l|N|1Uci{Mf_nBY>OgE7z` zk<_ynI7=PyC%E1y09>y90AO&U^W(S${QC=lD`Y|C79P}U=eQ>))Vs5j-!1w@QaANc0_&8V+04}KgB}i9$>JL?X#q6bDw%;%~k@<04 zzQGa!a1E2mVLrS&U!N=N^R|>=FFj>IHVi)W_;J80ARNILAxUM zh?TX)7If$QS|{MwUtb^iaYD7|*_RH34@G_)k0)3JfSdFJz=4~8HtH{zh#eDJ&PUy< z7s|C4rwnkeeif5&aCNL*^x>|Q0kRYrT+EN}I@XgPfAXN5BfSU#ghxh)1OOb`Qln2) zPd>6~gF$V~J5fKE%w2D?Kk8ES4?X+1XjME1&PZyl-jUByHx19iPq29RVJe2DVnc)X(f0N~t$b5SYQYr_5L z0NSHgZ5mg7c7Jkrk4FM94l+^(L@>D1>oB+ke*CkI@nt+2MTj6g985CynrOu=Dry#c ztmEO~V+LO~yD_0st7NHU=z#_!IJUU$fBW9H(*gjh z(}M3xct{ouJ|y{ZoMy863xF$ZKL8k<*!(z74n|1W`ta*n{;RLmD>!|mkUcYN=d?-T zS8I4OYzANCjS{XYJN*T~<=PJb1}8c{uEK$V{D41+ZmIb4X^PmB4H(A#sc>LL-YBU9 z{sb2x0dQXFcOf3;7^XezYRlh$^?#NKnRKUVyDaYfiV!!W0x%I7*i4MqqNr!Ho%l6fm5;;fKtcwwhb3 zEx|DCp2(J&5pG2q8&fI@?=~g|Y7blRdt1*^QzL%Pu5T@ln@t0K|M?rfO|NOINL*qB zHd`LE5JHGoeAENLG$`u+OFj}bC9Saly+t>hg)&0I;+g~2f1g>`S(6yzFza%Y>VBKQ zPq;alnX$nVEI#?O10jS2m9ajg;VT|=iVwz-O;?Mf@2t$vtjV4y%lO@;%-7s+LkJ<( z0$k}`UMwWL28g0{?2^<{4LffuEdYRy>RVx8%tHRI^gL&CjkCX{gMMYrePEz|XQ z%ZdU3z^zPs()sGwMFO5s$nE3`LD-sc;@{_MX&(LzN{><^F9NgRP9fPfV1y0;0Q<$g zJb~j>CmjIb*JY+RKy}jX7c2m7c|ydpvsmaik^VI4A>rON6HBW5yi4n3wIr?evo`<$ zJ(u~h1tszCkG0kUz|6f?-e?peBxp?9W%HY`v>0p%v{N?5^ zC?9E83eS%BI88-j=X^PW>~^4#tF#(r$4>gar@3PGgXh@^>R@5rPm?G{(%mrt$#(GT zh`Q_r3;Kby50+=w0N~_C2byCTrp*|$Ft(Tnt#{UXo02dik7ZW}y=#>e5ia202T|9w z58WQfz8H0-Mxcnj3VC*f5JHWKGc+;(xLVO|!Yw);6nHql=bW8VcK}BSy@3ILnV^OQ zL|s@HKbZusd-5dAeM+)d5zj6P7wX#kGEi(A)W4W(*G)%XcjEF~oRo9;T!;vW7T3b*B*ABadvFU_=5i@Co+OIhmeP&Yi)zB5eYJzk6aeqok&N{x$J6B6OI-qA4$m%cKXj3U zwXA#`DZ8`sT7={HY5NXSwj_G@ogNvN07MJ;_d(QUEm$DQ9spFtvx^<6W$Ept zRiAPD)b^W`cE4}a&pZz;*NEFW*%Fl+<=tloa3Ea3|20HiykNn$ATz^>n^sysiawFe zl4TE|LY`gx!R9=RbOO*|tWK8Lu~+U6;7IuL(sXUTkUvB{Cr<7zXR`Bd@ov+t*MhW2 zlYXofAVEv|zG*a|z3O50D%E~xiGfaFVk1HbA?CwREy&)dEBFW@UhxqR0E*9nr%Z%6 zWtUdjYnp{7*79ZSA>O-Y$&xut>b0jiCvUHtmP_O_4nhd=ijR*Y>n{{#21>R^2=OW} zteCOkMm-;Oq<(4v28(Yrb=gbV++5N9&|i&%TdvL4rO%G9maq&NQtl4mZ)m_@PLgOh zqTZge%A6YTU8VS!6f`6T(<$T6l=G$7tCnXc=tPGKBxfc|HAws5d3Lpf6_p$Zs{(0P z2G6bz7b+@+GLV#uv@3&WC*aCZDw0C^3(7^>mBF+BAIV!Z literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/language.png b/collects/redex/tests/bmps-unix/language.png new file mode 100644 index 0000000000000000000000000000000000000000..75241bf28ef9c6c70dc3380810dffeb766503ad5 GIT binary patch literal 6924 zcmXw8cQjnj-@Z|zNAIkN-i07Uh~9gPP6QD|gwgvLZ)s|SjEYUl! ze1GS?f82BD+?mhJ`ILE{XC^{ZU4a0X1{VMT0wqORZ2)-0{_t&ujrQ;^ipJFg02-K* ztdy=t1}fA2jSid=I>E%~AoWH#ycUDASQWEB#JFZ(s-p3CX+?hI%t!y3uSV|94V*EN zdb@f15zShfoVrp{#B(xlu-|trE;HaL{^|IRL6moXysWa{a=ymQcF=jfe@>6ah(U$F z(VI6p^@Ker=fYYa(j1qG{muNn-ijox>PVh&1RHP1>2c0?6yHTODx5n!Ysu+q*$G2! zh5T_oO|X}$keq0k0(hC)6}8c$ZWO&A#VsznWShAe;(fncj=<=&hYxkKbzp_Yjeyj*XhF=78c``xz*asT7Z1~TNHHpQmXW+hs%e87SF*uS6*qw)RtEP z)&pbAcrMST4E{ZV9izn>o(SiNm(a1FlMik$n5at(<*}d%XxK+ z=UkP_kl5Jn7ZioKEu6eJn{9KHbdBxl$YKIOwXV_(HEX+XbEuFyZ6X-gJ{%dToE3hg zIpWy8zNRVhds`khD^;{_ABa48$B!*w!M+`oAP& ziSQ{%6?vPeH=$Hfbh?V-`(-~$-odK!viI<&bsRO#-lf*THylcvqNJT{6fn0(+6%j< z;Aq6=y1V%QjSrXeA?7D=)e~L$Zz1NOXCcg6^}j2!E^!3!joQ_$?ye$GLgaf=BRqRX zM`W!fg`Ya$qZwlXrkYZmn?dcu&)lRi>yHJkIJTZYhV`-g8!A%JF_bEJRBEg+1`oOu z!q4_!?0<;SER5!V^|3&&t&>>j8<#-XaF0@|Q}4-qCX4nkmZu|UWsF_^s|(l6hKH1s z$?c)m=)E}}BvmOK-QM-;TT<4jGp)L$yrZ)=EnY!mMw$kDYey7Ma~KpHo4!VrjSDP-JBMX&OJiL1e#z8=vTQ)-CojwH@HL z($LOeELiYU>1ifJ)8c=dyjG9$=6C7tM-F_7-?(er80m;r#t!Gh-z>&YR&zXt(P+i?p#zSw2PvnE0>1s@FurUMs``?D zTr5f~AEcuO0HI^E=B#Prrb3(j2L7YB<%hIT{!|KCUlPJTA6^y09PTpR@PkXMX*#fy zxNcJY`i~BE?=!-waKnyQkVy@ApM??GsiL^n{?O&OFSZK2bT2<$!u7Wo;Qh%f2_X4Q zyW0q;(%bok-@c1?lxZzV8AY!Q%-Fxy=I7r+=|}qrRlAFMDn2B-QNNhD}A$W>&i zw2!dEHPS*3QTA{er)uY(agvqvfq9;*NpUHQdxn3BQ6-3`ZuOU`j+nNxyxQPZg>k?~ zI3^@c7j*Ivo|C!N?%(7q?qiFJ**H@z_)qO7q1(ehJx^q?M);iIWm6$UrCu-L;~y?0 z1ql6E@$Nw7MTm3FO2wM9lV09x5t=V~-*pFcAZq+n)YHf)1;bSB-tu!YhLvb@!b13u zQ?2@4KQbkD@%OI6-b<&5(3NgCB-R^>#LwN{&+&vIU&zyr$5N)Ho7V=jbPU+Nhmd7(6 zId~EZ6(RMN>pQ51T_cH>AN@rl-43aC@wzkDCrU8To65xG>|18@CKYom$2l#qsSMi5mr8U0F)YB@^QO>l z#j~@cTxk6v^tiC8bHOF1O$pGZ)?2LJZnkgaJbySBIyvu(o+`-vs>X{LExvHN{rSWQ z$k`R&_-W559e(^dCewLPlFS$HnD35k&tkG0CYhr!5vQWwfz)@`un+8J5A|XOk*sG^ zS-~B_0t(%oWS{tkBWP?Ee62V&oF(=6yDfHdp6IA)cJf04QF`qE%alNUX1tFVlZ3+* zg$~snxN@A%rYfpBzalC6XeoLG@XL7;w`;o3MjPDbnl~T1e0vO$wQf zkQb8KfT%X@l!)eKCOWSF=37a~Jyb{oUHTa;?}uv{V%fkcB9t}2w}*#=Tbz$rf;9k6j+fJLY$a86_yBGgZo&Du&RGHpSR1z z9&sI2jn+S2C?6{N%xuRp!yU$7Kimde4H1(nz;^Kb(&t zIJdv@!F+5?$fdCv_wyMX(hz?BOkPgbqPyyt(%8=Tx09eKRugt&reF-aT?7?eIU1OOQ)v#!zVcyz7+&<7bh$5Xv+ zOBeW9KC0j|IR*d$371Y^E&tZPu|fkpoIvXz#Jm=&fq?ssPXf!Rg_W~-F7ZA-e<*q~ zFW#ie(O@3iIUbM1eeDkk0LVp*Q#hp#uzzi328r;nW?s(4s*3@@dnIj?I8Q|T(^19AkmJyg?7zqc{tLG&xHFo1BC1SIa5w+EFy0K6+&^vj3$FNb0R zizziFfxKD@P^^5sG3dmRP)^F)&`DG`d-Ow*KJ@j;-<(4{^nE%Q;jOKAT&7T< z$xWe))Ay8DWA=1p1Jx0dL?3XZyRJ|jt#Ul&_S35_69u+JpUmAHB!m-Z zR!{-l3m})XD(aODdntSvxoMWwD zk!K%~J&CCrSf{D~*a-E@2ehTgA!h;cszzM8evpIzqard~VynK9FC0tMOl)<0A9jf` z=3qxn_`(T9*f~>8C=YUATTkLKBUPjbX>%Z%I{GyKTjR504nR*_>BvUzw(;g5xAARsFs$T%qhNQVDPE9JZ5LHouW& zb(LBK+KF>AgCwnw0hPd~^{CdU=usl+%jmhK4g8)ymwC~CkXMN~Lncw9*|w@$*e?jW z2ir{M7#q1=?5;!UYtBqImAoLK2#^+Lyis3Z%B#nOvsZa%OC0}C=aocse~Ye3n7!9n zjTuV(F`XdTK-x3x%YXL6)U^Ba6oDIx@U2I^2>Rkof%cwM{>KS569+=CUJZ))yu5EN zSU%oj8b_Cx6L2@QZ-&~Q?;Jl!;&tE@wrHwR6m0&n4STjKaGARyhU{?}xj%dBJ7j3n z%Rf|BUR=Bu!A{t)NMWM>WL@XB`yZUB5a@I=2uHXOt9E(Th;EX@yc0va7!1~mdLD`wyn#^$pc~N^6{$g-RQ-gnJc*B<~FfC z4$3z|+Ra_Otmz@uS&s0PbKY&LrBLu5*{^!vcz>ll2X_q%ZVXYeg@Dwq<8Ul@Q^w1A zKQGuolfef1S@e#Dj9st)i2c}!j+B0DiY58#;`KhbWw|4%s&F4+Q99l5jPLpAoV|G4=_&OH3e7<W30%5GIH3SFyOyjF{3@ouK4o!SM?9- z>zEyC$)3I9IDOQW{4{svARTA)1*+t3K6JHGMPK!Tqs%mwcZDN}U;9?8D`Z^pzYt zVj9z@(&5}MC3Iu|nq>FLV8?hH$!X!|8nSdgYgj&i{FlsI}coM z;^IF9TN!yl!{zym6zm=RoqzK}r2CkcJVJB*_MjpM)u#gajpF*BL^@dzGsi>O=8AN` zVB%bUnn$=yM@A+)lJtQp-J?i8}L@^t1b;FhCkx6a7qp@d|g?0`8>eA@&zTqo{3$S_K)WA!q$g&J<*ufM^gBlE<-hUaf{}b z5`~)a|Jr|XzqsUnuWYhYaYR0Z7+qr3lAq^iky|vI;x*6Uw6h;tO66BN$0e*Xa}M6< zg$7QfJmb2b9SgqJ5M*1T(FkLuVO^?#9SrMN!AK561;g5TQ(mSlqK{C3z#?Sgx*4^JUG%4tSW|<*keyr3P)# zvl>Uk9q6Xa1vjt6q(PgFN>`!=ibezG*E2wW^kZ;xBloDN$z|T-(nzSxK_m70Y0cE9 zJlAWrRs0sa=iB&A4D=GRO5~XD7HT#79;}Rdg9VdZv$So!A2^_|ZB`Qw5TN&G>S8L9 z2fYI4!|t@Vop^(4@VSFdH74+3&MRi_S~*~;fAmNI23WD=@g$d5_dhzLlVWqG9o6 zyLEgRBT&EFA(mx&8#Xf0LMI`SQ`Y2UU~61-r^362L!9QngBR-tct{ZsOh1E_VVK?X=$bN19-x`&ZGACaIr8WKh$!Ah^pPvY!P<$Kma*0>cT**-na$rq zrv!uE2H$@bF9GrKy!(@bot9>puzR>g7SLlr+<~S)U=U6$-JS^E=Y}^-Tw+gdt@k-; zoWKM!h<>Q&Et;| z!fTSgk6>blC5LIkrC++FI2lTDV+dw2W7EL_k-Ju>xp%d1#*mR0h*J($fC4toC176O zEGEw&-eis44>9N>$N+bg&z)Z;Wl{H`-J^RJG$Z#3zv@hoCp>JUl|Ft){-j=B&8;nM zZEf?kz=izAcg5CX&GSvJ;dxYleLCqxoYkO;*-YF@<6X!LbtJMY2z&c|a7w#s?UwWg z2!9&j2fMnY{Mq>Mdxrb7%T#_gJ;e5t{yk|w@}o#;10o~Lr94%_yG|~A^flF+0H{+{ zDVuQy*0N#XkPzD2w7WJzTzqaWlr61`s_3_ zy6wGZB3Qol?8$@WqWgFFzYAckGj}cF-~G8c1jYo0#qQU-alDW|}9q zduDTo@{K_MCyNN6W*iFGjJnQ_4z#F0Fc#$F+bV|7!No`&R9!}u%(#f+wv6&d?i+%? zQG-PK_W?1OH9M8%IYtp|oZ{!v^a1)^GA&x)DOTYZ2x2WpEpFyR==sU7DVw_Zbbf!zn zf4ifOu!z@d;mdmMeYQ7Omw18}(>x!2$HpSa`QSIF!qY{MC-Eo$mT-DtoY+!F8{q%G zQSq-&CKt@EUq=F*9Z9P!FH(*Z$Zp>>xnAvj_jmjC`9hSD(dTFVvD4gnVH1;h zBkQu^w5`5s!%GNjBT3bWxyj{ghk`QU0Gl_m>2HR@^-q)V>0r!_@ON2!f`W>g)j1d%^7^RppirXr_HR4GFc^RB+6h9Krbl5-+JG z{31v+NjvrNxZvvTW~aJX{k$-NDVMFte~*EJ3%ztq6j7Ws$;nu0_WDyV7n^0$OevSJ zw*s8m%RUvWlf5w^vL;W=@xfQRi<$yg*J6QFR{=u#T=|02FSaf4u$mD(jc~ULkZcUXCCV z8(9wl7C7-yy(3tmAelJ+K{4;tp!rP@J!P)+YIMn|+5US=jWz_1Dpc{{tP*!?b@?+6 z2fxzmss1{dG)0|k4$3945L>x1elCs7V|oNw9O{j2SL!>=)g(Cjx+}681(x^rMvt*( z`Ky#tJQu@(1m2Bo374!g9i~Z?4ns8)8=A1tTW_uyuo(TuFELH2a`c?6F&QyVki4~j z*FG~Ha~P;_R4tc+Mn5^7tKpCJo9gTwmX=fjWE=7mheDPg4V&E$M0R!~o&do~=TWO{ zw!dK`5l1m$53<)4_lbW`p+H8fWB+FwN6@`zA9n0nD_}9>sro)Nz-&Q(#Pm`?+VZYH zJ22BBv+c^u9VKDYf62Yws?*;ghlo%jLgddGgM*+(Y zX9IT>s;6&~N-we>JE7ce{=UUCS;h*|qG|0&zgfJvk%BtG$HeZw`F6>6AYHO<8c*g5 zgqWOXEcrQeGsGSxWn3;=o0zV!Z literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/lw.png b/collects/redex/tests/bmps-unix/lw.png new file mode 100644 index 0000000000000000000000000000000000000000..173a4ed6d42036a7d02e26763b80b68b3af9d97e GIT binary patch literal 1417 zcmV;41$O$0P)S~R4V4TM$qkO}AO7K; zrMWwMJk(aQr1kt@Q^CT5gO|N(Oym?1B$kVa==-ZKC+V?@?(2w@R7Pr-&eGE+C?_eQio?&e6a9fhD3v?;jNp=;B`b{+b`DMe0S%b^6U&u}?P)@oG%u z6cI$p1w>bSkx8Ff+dnD_Z4r?lJeVCF`P3IzIBEu=cl=cHa2x=@%(Vh?}3CjesQWXK^Yn%NSLbyudUYx#(1MH@LMNZ z007?d?d~=nx^{kYYDBPwQ1lQvyJ+(~PxJeqHC7bXrdEFZj45zcZ=7KSTc6FR#sp+& zh#+CE7SQYTg3h4V1h=@*7680G`^tXJ*sx{pwF6}*tmNq;)B}JnX~lc_aldUX?s;w3 z+WV)DE^BlKJ@9TfN8Y{?6Of@Hf`qwR&>C)u0M5e&4>zI(u%E1~wq$KyU$P}H;zU{f zCE}wJ=m7x0?{OQV0j`>deG@Jq=ixvf6{RQdUWp0F&=5hwTrEtAPmc%3pq&pa5Uqcp zx%7}`<;LuU>GReXB%i6Q?sSLb5_$jtbaqy)-jlX_-%@SMwwkW-bC`1s+Tr%}cmsL! zN=!h8h6tkMBDzkkOVU47V-D^ZA+4vo^uCCUtrt9qh`x)TKBA9ZaqORvotSt#`uY#8 zUQ}}2%Hhb#qM0!5#pA=Hdi!^Iw?<_*QcfuaCSxT(NSF(V=sLY2H75J;=>9&Tb^Q3c zDQdy~{@~s4wx(R8;mJMbkUe#R-r4c?g1cito0405(SCmWlGF$Qh)U1ff60f4uJ+=T z>A6QK=a&MLKq(5M#tj${P;&=k6}tfWd~7nA@Jh= zx4nGX6NSgDJgt>1X}#<02Mgz~YaZ~436zJ*3KGeM@jp3x|A5mk)=Cyz?;E~slkvE% zG*mK3Bv*s~V}{97;$w#qGss~KY5)TpEzr{GV}}_tNHGSrfPsw`sOhv_A^ezu#Tdc? z7}#h*m`)k{#$X0f#t3dnrH8P<`~=UA-2I#bU8s>1kS(q)A-1{H}l@CXSaf} z!+{xm<^!+h*WXcoWXq$*v2{9QpaKRF2SxtuRxq}D%y9j}j^_*8=GW90XGBgMkjfaS zfI-ATkw3c?jI9zgpuO$gXE*off4Mh5IdnieV-NxcaR){I5~M-6GpoQ1ytVn21Wn4C zum2pf2FiBT9o(Zu7y|(qSPqK(*)8SVR)HBteqMDO@$qEty}~0h7(*!JU^uX^ve5#W zPJ2qb0hocs7{UP<*l0nRP8&Pym_dp$s09pcv_MOzkBt~s%piv`r~wRYv_MOrq?qA9 XUbjcAr?_;R00000NkvXXu0mjfVM?{K literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-Name-vertical.png b/collects/redex/tests/bmps-unix/metafunction-Name-vertical.png new file mode 100644 index 0000000000000000000000000000000000000000..b64e4b5bfe218d5856bd351b3b31a71ca554ea62 GIT binary patch literal 4974 zcmV-!6OrtRP) zcR-WJ8^@o^B7_aH_mB;W$W+wUx~U6rYqcs>Tk8Nvoo&V0s#PpnT&P$FuGT7AgrAE# z$`Y(##fgZrXF@{q-tUhj5CVZfB8D`dzX-Yap6AVz_i}gNyXO$b7*up~NFUk(6>@+C zHOUjS5bCx05xeQXtn{UpH2))Si4W(PiVh%r7PG(o>ex$e*VyFbZFELR+t$_1v#%vW z+P1FlesdDbyQpPnWvu_Cm%Eb*LK^Pg9_~&i2x(7BsqGr$?+FqB0EuMV&-CW9$cx2Y z_V6Lg@Ut12r^jg^%kZ-q5APiqp^v)8vU;EIu06=UvDFWe-G8`~ePgR%7a4w!@SjDx z>(~3f(mwOm`dd}vPXwq9T{K91AvD7=s*q2 zc`21Gp3&A_!X>}<)ArkQdE0Okn!`5_>Vc^Gd)Fj)9fXjU=V#ITCz(4e%dD6A15-?J z^|df7}VXkn`G1CdQbVw#0(!7gxl?)ydQJ!TPh3sKgbM&@_^-bB@LAUJ&rCsY+VxtDaeYoyFS>E?#`AX`q+N}foAjA9k$791I- zLG$1Bgwqs7qAK&qj)QjupJnaMnMS%HN!1wRvV)Z_#L8G$^_wl2&YgdaKLWJch26jej004-hMyB-^FNFlwu9pgPQrU31WF<&BZ?Pd+sw0pPN;BkV%2 zRs)a>!>&9%J){kn)T}=WFs1+iuwVR@PjXw~rpdnzEsvp&wA<3RP-?DAuVhbSx7OjJ z>f5VJUs2aU5q&{(oVPDxug~ID*Wz{g|KS#%nAm&TE$8WT#`X^xF*DRSG`vpaf@b{! z@lFCkV5&{TpVuRtXpKcEng(=eyEBT}Wrbw`%%^$p*kHy0q&Gb7!BZvyfXJFAnr*s- zsOnVyFFhuBqCGW)$Q>FPBf5!`he=1S_@Id08>7#PeY43&=5M-RivfTrO^Lopo&WpQ zxJ?mr!iIS2b2(D?V#x+Bu3B%?UQ&!qO-)TrO*NnInKg6wvGY5W{7T>t<*uNk{9ADe6n;JzuBU6v3;w_BZEk1@s#Pj`CI`|N$i#Ta8&dW5Cg zz;hKCV~p#cB`o>KiUt74$mjC|IW+{vZS+xD4>$IrTQ9s-O<;^0UhMx!LwEGaH(arw zatSWg7atF#_x$c3wy+$x^wyTKJ=FogpkL&XoqlwO^$+U>?FVm~?{27X(bLt$L}9?WUAyn!7IMLJL=Fw=6f|lyglNt?y|X! zsUcA}cyG_o9X$8cOZk2}Bme;J>tAP1OCEJ-+YsgIigQb@M{hjzkokf8Z=!C{J(eAf ztXwvJYmPjnP7(kxGk#co%WLIKCp9@%tU>~0<5Ay)mG4;jhddWn@D)Ld&w1|{2DlgiEBsp)Bpf5=skJ+?NTo0>w;Ro(U-OkGp5?F z%wkC>)*LDPWamZ+^|clXTRFB$UW)gbbMbGR6yZrlbhwpxRg4nQ2QbsNVZt zaxwSi-o6L`{0|lKaKp1*o)nuEnXIyeAOs}y@w;yP`y%JJ05j8; zSP0i)V2q_u+pANi>T8btt(>U5JjT#*;!q>KkSkS0>A9f{!&x_LaalqTiTcS2{+uPR z=!ievDJqvOQTlJL(Mw(-(1LdT#Ptu?JJ9=`C?OP;DQsgAhW9Y&0RM1~ffGd?Djf zZh3z4Lyb>n&gx5~U&}AgyPQo84Drwa0H9g=yXleu01$;n7LoqXjx*C>Fc=I5L*IYv z3r=xnM0UnDbx0Rz5Akj3{fXn7Kb>!Mp z+Y#X#>Q=QqCEfK#rOO)cfH(HV2X3Wnr`CF|^412Z1VCgeS!(IOQdFatT&yMS`3WN3 zc`2<6-;($OT3QjVG>~YbMK1<(*<7G#F~r5)PD28!k)sjRysZ{4GHh3E2Ot{-jkA4q z>hQ16tcH8)83zn8$&Wvr@Y+5ku!qEvij>m7^eY6U@Ut`3O7W4kZlwbzxHWI9!O+o& z*2;UGf&}Cq-a!`3{QL@j7zJwk{#D^y_XI!xc7EK8R-SvR)hEOCAD+BV@9%Fyq1%7r z18FC7j6VI?yp3;{rthNJ<~J6EtvdNvcILG`;S)D!nGbSku@FhhV$%5u0KBRfFW*&h zG^DIn2HNyo;0C|JV;5u5obyWY1MX&an1jx>w((H-^ww@ zyrN_M5g3K1)(JZZ>W!K^QF5Z6x>Hmx8)FI5KOwHsOIRV$4C(wNDpD3YlL5@Xyjv%w zb?MeHh$1@DXx;PXZeYy3x6n#|%mw)kH27LSw2~l>t>0l>t>0m4S{%k@F;GTrUeMqK`_felHHG=mZ^& zBCY3w^S2HRS62;36bV&}stkxkky{Wy(UFc2GI1ZX`!NS_`R}9kEWf_b0^sED8|R{j z)Eq(^C!Klku6{Gfl#Gy;`)5a=2{jK!8f)DA*41u zF5#Px%*Y5K6m+@_w^~>f#ZT6tFnJ=H&Ezz^i1DTfr?soDPS6IhS(#OjF(!%=#tz)} zn1eCKRf)lL(DGgI>!ZrLqU5D^pcR@}i802!cNZoaY7hP;pN%o*JU=u{OM688Yp(DT z&E7K)WR%tw{V~h&<5Q(viG@Y{>7rx}LOQseU!JCALTtAU=ihB^B#R|!OpI%8eBn2E zKo8^;mCMFN`Nc^=-{tUUaH|r7)xiD7Cmf71W@Rk5COK_*#KySc*={eS8G2Q?6|(YD zFde*OUT_7MxNPBn3%FGU1=aPE3paD9OOiD-R>msI%YM)*j|ytVt;^N4Oo$1BRI3po zb}NtnmcQARc|Ol~<=S33!%kl*SZ?=v z2&oX4b=4e3k2a4wdpU1ZRc6oe-}@0mbPk?O$?u)<#A}9gld6eGWD*kog%Chv$_2BT zr_y)(ip#GJqL(z$df{etX|jg;j7UfC?FFs9r916Nx5}n0yIFF ztf61aVjbDeFUS)iC)2XgvXQM$o~j4H7*NuH=p3OG_EtE$`DUgC;B#%j_A9TzMpeRHHgMSau-!B$`Ho72<0 z%qajA^FA|wD|i$=+Qk3>wC(yw-l@ZwsLMV2jq? z)oi#jpo*e0po*e0(EX#RfGHSc2D6@>iwM+4PEsbh=>Abuz!VI!(eUEWbq46g!ITAI!jqpZh@D zSkl=KGWHrpka)ZVN5l;sn#iLq&la^dWs>=jSJ8#HXP7i^SETvz{6KW;6bv#@mHdUD zn~Rk?0O;DedJbNfE=af_aczJ~nd&z1N)qS!%&z<){bZP_So^KWqka{lU{+y)b=0-E zQ1K9gYG1!{pn4XS0aX;00aX;00cDS(;v6U-3a{*L?BdbBo_zxP`S{QnI5r$-3mAcZW|G??G|DKy@B5?+&ZIu04R7}Wvy+c+k{n(HU z07%Do?icPgmts?^I$fV4M^OruxZ&{@SBl;0Y&HPYXGB^f4FIgPC6;85?fDG= zK$NF$4z^Q62r(Q(cRvsuEhCklETNdJX!vhD{I!d4Hz=a0Q2>!-35ATaMempHa-e`r zC&Lq^=Reib8g)vBT_cJe#cp$;KqsYOj4@_ree2m{(9ch#l7l6n=uyPD{+}(q0T?6W z3%M9$Oq8A(rVRi9B*U;jt1(e}Zn&mNcxq`{guTsz#1kWRY$DT3Z_hE&8S_VlVB&j? zVE(ukrX}20vUgPt%7Kw zL`oZ>QB($0QB(&04>UG-9~$_2^#A|>07*qoM6N<$f`B!uIsgCw literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-Name.png b/collects/redex/tests/bmps-unix/metafunction-Name.png new file mode 100644 index 0000000000000000000000000000000000000000..0e4d877c44bcb9270f4790940fcd5e31e7a607f2 GIT binary patch literal 4326 zcmV zXFycP7RS$QV=0UDUKEj~EGVKh#jX({R_r}?6O9pUu|>t2M4#eA#fFM8LToX%AjC#M z1E|0gji?|ZNUz)X&ieoh%d!i*fFQWPPr#kI=ggTq_s%_c<`2Rcg9;TYItZlpc0h#+ z6-uBQu^$b7LB`ukqP@N7{0ItOysi3tCW<7eh?&GdsOQdSyt=<~l2%&MJWu6)oa>GM ze7ikD+T9$TT>4ldq}|PtGmB}0koJ_=%GNbP6yM!2 za!kkzUeiStq4>7}8g^Ts@muF?EkTrj=Roj@H1?|meqT2x&1Wd?rsl6 zX8jnSa(A~!s~Z-+`(@6I7{3#HhU<5>IgGI2PRRBXY3z1>rb)U%cV2ZmsC3o%-KpI6 zb*gP30RWIl-TIl{TNQLQUp0wq1=z_yuD|cPb`Ddmy*>F%ARGIwn^?Se?H`}R^;`W6 zpgS%<{EhZ+-)z2LCVlf16~t~I&(cE(A;jq6yD9pE2mqk?w*lI&!N*q(G9@8IvHEgv zTzu$MM@@u~I&<3bmo>9N!TXz={Oq(4Ldd{%+TOS#QKQa?awEs->5PiV5dnZ8Bg9+N za&c^FgWI`mmvF%^{j@y}Uf(m)gl4<$DHn*cfA&vdbwLO*TxN$Honmgg>Tz4#g*jOGO?sOf+xodwk+JXeIvV`k`q_3W_N$Eiut|D9?E z7AyW?V~mTUd=O~5e0?tY)w8RC4gjF(x&CU}>nCStn}Y6)JCzt?ZfbB(y0QQEOYu(= zZ-vffQZ$Ah&k|tFOAlru%fKW~?GIRtAnU|%ZNsU*=ku~pjnpxjb-hr8rIF(jk$={k zqGn;?I%8|t<)Cd`TDXR*`!mLnN=rS#~?u<=0ik+lO^$0vOA>{Q9EMGurT}77n(HB{V(}-BbF$8 zd}{CU_?oV(yf?>4XF_y2#<(cThtg$gbQ#7N^Iz<8Bv}Pj4?On6Z%kC|zvMXiyhH>@i6W`YqZd7^fbUm$6SBithVL!u5lmnW+B{gfx28Jy0O8{zt)klzsvXwpy2 zP1|fs?{}_%kbhb!>xx_|Qq+!Ext>e7QBx)7cwZn7|GiXpr*tAHb&n0Q#gqeELs%QW zjS4u=toa+#?lt`@wV2EQ+59y9#k0iQxAFxO#N{daHb!ay0EnVSrWtfMpw|3CK>z@v z;?(5a;^c8=nv|O9A&0}a&L|XsQDe`1s_lZX4ac3<-W?V3@=GHU04}=VYZGv*9Drmv z@#d?@;f=VYWBZ(TX_~_h&dt2J?si78*7X#s_i|@VAOL8Vo=!R>002axk(-FH zxnwBh7qcKs`QCK!X|-h)v??LWbHPJnU1!YYXh^|GweDOZBP)UJVl-U(#Zb~B=A z>C>U{cMZ%d$|(Y1zk2?G2WA?8bVr6ieZ?jK5LwGat5KH_Rh?S>W{wGwWEKJ;ax=2F z+~goTx1Y0R9nzU`C;QAmEg45hG%Ym{@`UwT*;Jzt;U3^r_H%5KGHjsHb5x=B2&oJr7pR5>!7Cw093?=^A*mF@pPa&7o ztom9D|BOzr8snu202Tj>e!+)+iux`-iDOW7$}FC&I}BB?yN2vaR3kehsK_gq$n7-Q zC;+mN&$w>iMx6ZRz14IVU1RIvCTk;3M!oAk&)Y!mtwwHy-4rXd%ikISrPaB zLUXrRhnY*l1ELppt>>d$m+C+7C>CP_N35ASYgx~*<$ZC&zOOG8gRZh4UYj*5CL6f< zSg`MBl!%6Ckriwd08p)ljnrGa_mSDM5EBaBU|3(+{cCFX4MWTuxxdMcaFt@kq)^CD z01%aBW_>8rHdf4fOOWe1U&4(pGz7rQev+%vYe;ul6NgSlUFNA4{_9X5Du73Lt_X8q zMa*~A0RYf-ops>)nW?4#tR3mRq9`A_&H5BB#uy7;?Q^F0KJ-?IF~*#vKua}oI)VE- z>bt>KGyp(GeZM-ET0vmkNUoTZw!J6adfEMQ0%I)5JUUoYXY{Y{r86XQT;k@R^``gO z@;{!qoUrizuCYDT0YJZB(5ZbMblc5o+?r#GWuBS|J29wR7vJA%(jtmA3S(UH*Gyed z8+D}^V=T%&(;tD+!no?(XHk@odTrB)f^+@UnZfBijO9d_kPd~Mj;M!Xei9|I%k0Sj z=3ggNDQI1>OGT2pT(LaQ>$`z5`{6Pxy)l;y8aAub0qtP3(OhwB!F_cp^u*n~ntUZU zWkYxM{t)mbDJ*O@oA3{%YV6lfU%xM z4@XBAPnMycMGr?O_j%WgTKE3QOW(nw7*9I#FsHQmb?mO;UDO90%@SaY*-4v*x;WW) zGt{;2(}(3`-_1~ux#WSIkE_jvD0{fe&wKH;d^w+hRJ0!Ksr^k<8(jmBHt-B(xKc zSQRQdA)Re+i3$~+8`X$ap`s(98nG%=bR<+GR)va=gt8-+|1xx3PYWud``sx2C=RJm zh)+!I8)1wM%i89kH|? zOE29&Hd0;n$)bJv1l3zwj3D#uy#8a3zUA?o*euf7sd}_6D9U(C%s=sQ2~QGFc;8(- zaAs6q%|dn6tXRdT0wH9KkBE=_wx_HuQJ)iJ-Ch&ctQ=xU1_0E>eZeAD#kH`wvg(5p zBUYFlG1-oe5HewnIq-rHxcK+cx|YiyaRB%khsQbSA~oB9@XVSWh@ua-)(tWxBgA0M zKK)uet-$Q`(@O_CJNI#Sb+B`vzAwIn0PfRu-4H@ZZDe@Vy1`~-gb?zHEW$DiOY-T9 z$b1ab9a_DmMX1@1_IJ=y_!-hsyPSm;Umsv?@1dr429wZj@q-vFO9)$%fiP zk7V#L#{4%YzF=tkM!XY>t7!F_b1b>AD)*1Mc0b6VsZem234U ztKQQ5V2Y`{KUW{>ZDVLbpgs*bp5}%EV~jCTc=l}!63{K}^qWJ0*pDn4?ORdXp_^Scyry|4czwVXX$9O8 zZv!g5=1&K=&`e=X6^C8bBVJgRon6kAU$~w_Z6YF5dorbDVp`R-a;^Sk)mxe!%vzKf zu^mQ^rUIHVTZQmuR^*sMK!C1a-}`_gmwwHte;ei3;yd$rk{ z3-7#_+19SzL^N}ILn;6OnPJ30yed8h;J$v4fh#i>d9pM~005X*qOPa^I-d{L0Dx## zEaU1b+7=d286&r_A31GlHqC2?qVhBAaXp-4TY%SX3+FV z&y#;GvaRiK>80^%wxdUz2Vc1U+^_6$kMUbQh~Zt1{~DXoEBU4CEc?3c!iYpBA@NTL z0n}#q%;ua=I^Zt7U0NVnr4HGJ>(QnnGRn!sd_?`44y)cGL9;Y>l%-?H@iZ$GL}}a) zV**Rp-w5|NlDGpj*vvwAnBZ%$|IFbqUCW8984Q>@P<{N-Ltzw$h0bzhQtGPO^tXiz zsjn)qd-d0!s-!(DuX^p??4zSpVTt&)v51UPGBFBD>NG>YrUR?DNYE_J9p&gKay-h1 z0#_#gIDTI0oZo+)YDES9tH@)|y%+ddPyuA@k1daxt_z?s>S7^*F;NgTLJdG?;>|i; z$+8>%>hw|9tKUEcul6}px~_e~!5E7^T$-#;VQqX^Mqo^^)AkOq8g*Knd8(^Yjr_uO zR3&e8RCm~rTqXQ)F+fjq(2+L{Uh7M)jnSgIZH~<>EXcTXaGDJQ%AoK!9Fdd~f-vXo zC@qrh+_2ckk7EwavS$ETt!n&bvPoKQx*}$>Hp%N$Zv8hI1zL@{X`5}SteuIur97hY z(W>sC;kEi)+|%UfkSP|(_^aC`M5}5+$T3mRjTXhS4w>(<%?}jDoWzxu0ARN4AsgfJ z=*iju(0xO79OQ|6C>T)_kr z0j7<;45|QCpz71!w~RJ}{o?duFB38V0E6kj@p?|%=>oN*X%(Ffm1>L%6&;EH1BiEP UKr*e&;Q#;t07*qoM6N<$g0Sv-=Kufz literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-T.png b/collects/redex/tests/bmps-unix/metafunction-T.png new file mode 100644 index 0000000000000000000000000000000000000000..61fb1280bab4a696272fac4955c9eb3f9930cb8b GIT binary patch literal 5777 zcmV;C7H;W@P)5?|000(PNkl zXFyX)7lzLbA%qgTNEPXV6p@Zn?ARLuin_XDS^KKXTGmxm)OA(tu86&3T?=4AL|p+v z6s1ZN0a1EOLh5`!C_+dAi6Mwzo?kGTJ7><#$;{lDHzycE2qZ}02Cln1AmRH3cfl3o z2622;ZFl!gLN|jOeKIjVK0ZD^{=s%@zz^OR9UmVbAD{3d#6OFp_U{UCSS$ZJ(Zhe(pd^FYkde zU=ox@6K&%^Hb4HFgUuvOIUg6k!bYLHd(z_&GC1m=uXIqyFbvai+mKk55#ptb!&FU& zY)GVVtxikdGg1q~Fk+tp)57u?Q1f`PeQzmD&1UYMGWIw0zB9-ePZ(#e@Z*07x&R?> zn!@0H&mIQ$1$n!bE9?~2`NaRx&#AbSrD@ZUi~8+2zT5f~%Kq^i;+KvDJ{grVo#4MP*j3=%0Qiz&DH> zh@7%F;J8WXNw3L2Z#|ao6J#aRfhCOrwyNaV^P7Jw_ddRf{~XjF8H+U!-_GVWtq3v( zN$4~}1_!hF+RERG7hl*jO3rQGAFc;?#H_sFrGi2IV?Uh{9}gBkpRL($Op-NnH-XdV zVrC?V7Og(_2HS(KY2NgZB7NnGz~-rwhB)`#MHO6uXDdlgW1X{xi& z=?_e1dHVYX!{N3n+-57BvW1;~pMaxl28eh4So?U9v!#Ro%kFRw!4@0ej^faN;#0+I z@&|$Mf)vA(dTWrc_}SU|-j!A-U-7f!ceaA4#fAFY9-a1XyPlwBo!E3PmqvNBZ++T~ z;7OXTUZf^(8g64fBq&c=HTQQH>mfmTD%z?tVvZdNJi$;G>p4)xzmv^;;(GPB7{1}$ z-l@6*uQnuf8(kh85_&F@GY1Jg`Gy@*F%X;7-8~R59`@YJ1-%aOmQ0RM!Q`HyC`aj=A!dioE~v07c@8sCW~)A3-gi{ z^YbP(bw^m5>zqku-!Kib%5OOg8@()pCQiG|iWl3q{;coifO$G7&RP}ps){9KOQHg& z>$z}h<(Ul$)$ESSd&IPY$`VhVqq{91s3hK)6oFkz{^K~=VY~l2pK^59O4Y>88~=Jx z-`$UgMDsyr_5>BZ3Ds zoxZwmh_)1lVVGNZ1>#zn8>lAsP9j*3wEep6UUze)Gb!-Ih7I1TLmjZOGXfreW;DJ+ zE4;XWzTOB2%+pC@!KNeGWHtb!_`Id31KvA0iB*2+m%*5)1Liq9th^%)8W+0&?5fyH z>jzGD#ylP5{1&fyTGBWWAzJ>)oio)u9WXDS>1PgF4;{5ItpNZO?f8KqNf%Fw9!?p#v>ugcs8UD}7c zS#)E21NkMh#><&L(<7*{*hR~)=N2Oj%?6)v1Ikms9Geg zGc)x`BJ@Hczj12(>~fXZb#z`lH&s>o@OjBGC8w)!ST2 zPSbU!w?6q@(kD6qv*1clICW&8pAi87r29@;?m>?Xxn0C+xzW-UQalf-$-Z#g&6UQHU4A24i`DK#^$i~+Q)WA}?qr>|S*Y;2@&w{*o4 z=ep>9Z)$}b$GO<0yxD%O&|~H1wJxScng&BAt=eo@bmn1x11;SjvJj~^-+92d1M=U8Y-_ZdCaaP5VEb9PuzZe}{J-DvY}RCrWjpmzTC zBG+ZcEeC2CL8o6YX#fBzk_HK*k?9DaA@6w(s?S;IY$=Ze06?@VSyi>XQab1Z07mFz z*}L%)MO|H}kLFpK zRTOcwN-D>gg0;KN2tbr)0o?6k8Y}*}vCpi{xihMY;A@!ixu62m8erDhXS^nf-IvZu z?06w->}~{+vDxLWPlKzMUTPz~V>gsjfuthG`S!OhZ#VxD&8Lo5&pP){=rg^k14yKS z(>-KgA3qwJVm`&HBfS;TaIi6ad6!$)>=F6Zu7#VQRdaQ)^OZ4KUB_PRg1qt$zpaMJ zYFjALvocB>YqDx{UsdAu4OJT_Lkz>?fX!rg_I|gwOHenrk}Zu%DP?fh)V5HfzklCU zlkzFGpv^~;X!p~eh=rZ};>=fx9WHw7v2;NmyxYnP9%=9M*4y<35LItAPf)QGo7xx@U z{*ad&v-!~diZ%^3q(>azaxcB66JgmTu?t&0%ID8{+Svzp#8e4Ac*q*Ln?U}#7}wx= z9MZeG+^4D1R^IJY`yAz5R?eh>(>)Xjj{dGH7yza^$ln1kJILQb5dZ*KC0A#821HRC z9?Tyy_jXanp{e7xy<>hjGG)YX@f4iK#FNiYdOVwLYh~}`I4B@t?D?}Zbl~eHP7brK zmNY*najndCwI*vn(M#j~?dXp0ldNOF!LuWo$2RyG&RQ5$;u!Mx`f)9r6tdQvmyVOY zyI60`VA+xLPImYx%f+tDfZ0bM{cP~^_+ksc3FgbUhZZW^sN(@-9p~>4bF0|CYMRlK zqo3SoShu;atcv`U7rB)kjeHHfBz7J3lLtJdcl8NTi8yE9A&MCP^6&e|zU82ZRdRI2 z%;WB-6MXc$HP52mU?QpV)Ej)`<4tjr?-m=#YWo=cly@tYVV@fK?GW zdhSW*kPBOk+AP!Cm-mPrQUEEfpMITZS@5br%x4_kW%pZP6!4VZ0RXVSq^GG*TK}sd zp~LbXGII1Nx_9J2wXu`uuIDbj6Yze1-@zfFTj?RwiiGY!5*!kEA_)!&Jo&!~4tiP6 z$NH{L6eA88Wmz9NPgA=HzS#tSl!S5Y%Gf`=CLYWZek=Mrg7x|4{9*I26o@1BT}1}h zY=W<{t64ur!Z^ezJU3p~d3Q#Gh}-Qpn4hms)f>3wZCAV-ZNRJcvv&djfT|*8oV2RB zgOgLscd37fyo{9Ozc)OyJ#fmbgA@@x2dUm;*G>Cv_}aS*?|5r;<+?yT3F8E=FFL5H z=dOM-nP{)_^&Elm;mVqcuJ+EZ&NfE6<`Z_jsA2=4itEFrF$}{@f4>moZ=;N1n8uK8 ziSYPrGl~g)D!Lh-J1t{~pm|8C$$@=Ae*CpBEM{rM@{tQ~d}8t)qj=Tt z+_XY{^;=&a9;nTJQqR*Wv*3s=D9w1>s!>Mne)mB^FKgKdp@#Gw{R!sVGieAR#ICq8 zk^rinE6ygB)Rx>|qywt6W9tz@sPbPg0_J?`6AK}P5dHoBQC|DA>3rSoS}U~7?fpRW zmpC%tK71=;OBg3`{k903Fpgf9T?QnN))GT0?dccqDC>|g0Fcoz(ZE#~RWkty(2y6K zM%SJm96ZZT9@s2-7DGY#TwmWuBO8DMCx5Rlrj+(`ptVVQJxPd42CP7(F8K=xo zw1_QX+&8MnaA(VRGQ zfII*ItvIC^>$^Z-27p(#J4CCK>Tj!{!mv_qH#>{Y3IIL#+{UnS6GK+Yy>z>fV{;6o z0h1!&fkmZu?RlX162=K$zcs=pjKdKWWPnLyHXCFXoSNb=Gs@oZ z*r?(Ffcic<8*e$xL>2&mRgn@`+S|oOt#QcVn(Ypg)iuSv{irjjFX#E1D6IfUsktrx zV`aen1rwDs-jp%{01%VL1iV~3nV)D8Tf#Vj6U?va|H|l)ulfv zkhgKsB>(`>i{jpp^*ziLT2y3QC3n=E|0?_0YjUm&L~I4D|#!7(eGchc$_T68j3}gU6&eZ!iSJEO41qwrP0^Q*a#tn7{xc2IjZ4hH2b>@n=)^@5dfxbzaaeDFV03P0H9<( zHSB%k zEh-@kIt;VRZ%tGqX!Nu7Tzajrt3pFSD~!s5GBF(!No0Z&c=CUv=a3*clHicQ6G?DL z;7LzO823HFs)!F=Il<9-pvxd<8xu3P`Nv+@_EZ5Pe_w=H#MVTPlO>Lcs1fzzxTjDP zF@~fa5K+oR2(hc52butB!sV{s0_h_7`XZTD1V>6`z|`MY4eccb0GN{F{Dqcv_d@@x z>F#a`1z%r!K*Bij2)6`4-Z}Wxa`WbMLkus22MpJ_PgxK1rOhD2_;ADyud(1iGC~N| z-1kug=)3k!144*hdUcY=t}Hr22-QT6BLc~B@x}CNa!K?mLm+uaRwINE>&q?QUW&tx z<lGBbn_Vwc|>Pa=)I z^0_m+uRY8cjx`7U{jUBv-CvU^2-U?dbQESGPzKLJw5fD>b8||+m ziHio7BemuboR_eguWnz5G^%m z@U**CoK{5XOFJbP(R}J?_5J7m302XX7Dyt&bPw4n$B%~M%@=eoVchk1xpl~~F>fCE z)vi@{T>jeRrYun9R$n3zp`?n7o~jwaWoD>8`R^(7-p#pvd3qmdpy!5%WxCEE%lBuf z#3MoztuO7vs5aVP1wd}hjdC_Z?6RvPWdM|?MOC*{;5Bj})|Z>UYIw_y2{mkl*p$@0 z?tR9bZC;RaZjJD+{FR2c8;wBPLafUFHrYu*zu*iSLWo^{eK=9c=TW0JiI%?A z3~#nAy=As!6`ynh0MiZ0Uxx@H--hF3;M#nXNS@7{e zFWZ$bTP)Q@`zqpG&Ty;-MCuDdfv06@`j@R~R>LTqxz*(IK4hW+gv?QNZX|9V=^ zY<)>T`I2<5OlvULY=LAw}?l$B_6&9UnEK}2|W29kHFTQAZg(z P00000NkvXXu0mjfnR-fT literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-TL.png b/collects/redex/tests/bmps-unix/metafunction-TL.png new file mode 100644 index 0000000000000000000000000000000000000000..3b29ef9410064a9656b55b4aab02e87dd7bd83cf GIT binary patch literal 5082 zcmY*d1yIyo*Z(8kR`XVIlzlfLudeSsyzmV|xP8J?uD})tCVQ zw1pbV3Wol$gIqt50c3SJjE9(?>VDE=c6M`RYP{c`hMrGQZyRGjgkM(74=c2jg0VyyVm4Cp!zx4dw7xZmkR53#~)!|v_?O5v;D&=ZYb}tWo z^)OxpOhukuL<*Yz$I(G1Ny?B%1%kul6vGkn=iS0Rl??r7{)5u)F3Pb&krsskY(WF| z4NI=)Rc;@98E%ziawhE?Qdsv{N;yQRgzy zDrLkzO>R1LO2Av;%)=C3wIU$(<-UM|@B|#i?0lZNk@JfWV>AmvI?_p&!bsPk2dy#n zXig_*1DgsD(x&}Ef<}ca>tj#z-TW|zaBbrfj~r{Ukp3W_z(XoR;X4k#mrXlUfhe3; zeZ-OjB=I%S(COpM>i((c;-iZvz>cbzPE#N~v>mw)orO<-OUX!Acn zu8SB&vpM$+s36ODTn!_|=R1E@x6_x* zr&0P>Su+q32)-%QBmzJN^V0^8U#anQ)iLpoT)Qc4*Vr|EUP(j5m{iE3^Z8hEA;~r8 zQw&W#8&zkU4va2I547;U4{9c_3S()-BXaf;+#(tY8-BIf)j35U zXPfCTrHrtonH2fCug$oHnJy={YVw95oBwF%pW$-9ksMWoG;Ve+O6pr97spmsrk52U z*hT2uy=&%@-0M;4$ILP;gp1jG&S&19o(wNtsw>?Zwyks^B>d_DPhA6Pwjh0{!=_VpYs>mZVp|Lg4fVWt+C0wK zYWlIp=^a;#YpaCY)O(^z&f!kSWAo5J)uO?aSg6GYk^CL%z2{xGDOayJWw+?PDq(2) zr;Se(rbiOrKD)~|Fh5y0Ip6aWhfT0aS_(&=Sl^%=VC+A}{Ew5mwG?$n0$V;k(3DVA z99324T_PgpW~N@Fcj&2dTlV3qautth@VT03M^AUKs<4InLK?2*auzU!UIi%)r1BOd zXJj`AI_QPsv;@O)it9^Tlfi{qKifI+V9=;4+4g1kDqiY=X;76q9>{CSV{(>FzGW6f z1kX&cyb6-*`Dt@|wN2iQV8WVn*l9EGs^q{o>(>tl9=bq=#~cx<3DLsRxs!dpQ!CJ^ zT9XVbO27yH>V~Qwm83@rpoaOiw{iWp{vh+swI2as-_YXH@x0Xwg2f8Xh)f9_!dY`k zv!)A0^32au!H$de4}+NxOMeIplu!Vm$)N?7Rk;(je!2jasp`?V-RBBs!0BxRe%mlOOZDu(-I+%w+({j3zaK#5oal9&G zbD@U(dSN#vB&l|HJ0wy%5yHSP9o<9yvM;A!hzLL>cG12LJ(N?6TFT}@H9KS^5f7E< zaWbecIA7*P>@S2_nePo01U(q1Z-jMSeuK&Fu78eIX0Yko>sK-|JE@-fVNXgB$BK9z zKPq7EzTFXTiTu+n5fDji^5sQMWm`)x7QZ{)i2%) zZ^&86`^r-Cu)f@<51y%L%QOKC0|arSfR~?!^8Djz(}c=KDN{*S!?UZ5$f%FGvU~mO zl4P<<|7i&j!mX(NDd-NEmyx2`_V+-sv6zL8-p*(9wlT!VOHI%Mv&iK2f%|aSsQ8)J z+zgwgz|?5H}ReMpk0WfcYOyZrE@dRbev%JQmOBYmD-YTCT;jR_L{qGf|c_N_!p<2b@RzU`+yKi@n#5+?DRSCn&AE6z~b8uLI?WjAmV7|E7Q*h_y zxvL=fxJ^Gw1p6+TK7x+MubN&@33H?*ej<+}nfhqoThJw4)i3OsoSyCcq77BMmE2fQ zoz-5pYQ{?`orKgBSGa}8JnHuqk1ToUml5GlG@f6_HsC4`JL(LncWRJA@tAKZo3OUG zqMG66@XR~fNIYjY0nvL;PFHRkOXt0~Lzi-XNeJ>brAH(s1puJe|3y)bPsS1}aZ0lU zjQku%t2stqkHHu0BBD_nouv5EVomxY3WV8Uo&qSL-4~P17gv*ES+vG|VdUrQc4vY)3|ltOnbwt9{sb zvSkZ3&roI_nUdSI_oa(+Tm_tQo*=DA1ozMVaB1I2&B76(3gaJqO$kku zkvQQK6RnMRe7d;aBlmm4G26Z}KC6)UW%Icc%aDoTeQ}?;Z?3FE43HIAIf=l+V2?~? zx!?zDCmeyhoPQW>1Oz%ClvnOx40L6OGB0))@zP5#c7hcQXcGE3KEb)0@E11C5;0ZE z?8j@qZ<;@4Vd}%Cpry{`{)gD!{vlMC$qopVB724PJRQ?b<9;Ih>i_u}bXpci2$E-qq~dw7YHu5P5CM=q}kU{q(&bcVuIk9zxIDo2DyCF|1mGIram< z!>LJmcX~9=uGi7VS~e{5kYblyuXJyGzR|}k&i^|lkW>#>>c{12FRc@q8_<$zy*YPo z_v{_Yav6qNWrqmL)~|2w3E}5+Ngb3W8wv2dIJ{bpWH#+id-0{z-Iq3D&*#)t@!Q%Q zy>4G~#bh)GQ*KnY6$jpT6wgx6g-g=Pu6t*>`0RaD6F+wJh@%OjPq+35HSlY{?sX*onb;$_*JtoUnc259HUaX*Y# z8Pr=h0s;w@A!2M`tZ%X_rV^rzWA40;Kv7FS$}HmRYX9gLQ1t(l*GR+ehE2$F>V)V@ z_-L3Vi?L(Y5F_rK!i7i)PfF-mjm|vyc7KA9V~Bxt^-cy>xEa(YGE%m7)5c!bO$Mm0 za&SOS@>num%W#2gy8eD_CKRX$3H2Ivkf6hbSz5wSxPI4q4;^y{5Zv1qTJm62Ulm;E z);`rvxFAb6W}<3rQKZiTAIL=94nNO4RM&9$^e#wlE}U6WabIDJhm@O{qtKR<>;Kew z*m7uw8`nWYxA&|5`KOH(OO|M|tBfml{v7H;d0Dt~KmFw43wRnd6mlssv4vqS+v zflQC2js_B1p2J+Jq3@K>KHEfaRYlD7S&I;u8yA05*#Avj?GQq6=`{W)?A(v&B#f9i z_9CI{sctl?sYg33xBUvSKE9vrCogKq@YZqJ|ArTLD~zH#IB<{KMX_AXeP`Bpl=!cK zs7E^TBQx}}FM%?*MIKhM8X2aV0ej0#20Qq{ASFyp;ki(VlPS#9v-8Mq4MqI**LJPx z7AkSo%5jNXZB(f0>EBc`*alc5mhbS+Z>%ELN0L%^?z3NLt5o}MJXBwAKvanm*!EdZ zP0ngX_|HB9+gdI+MT8%7wZ^h|NT}+_e1ml+AI{N6+lW9S*m^y2$z>&0NE#>ZsmCqn zX2Ek>pn_HxOz@3{9M(2PiMfhkhDz_6l=fptWytgJ;6 zj;odD28gDM%^jDi4>h-HSuIh?I_d0)f~E2B=+opYqY}lEQJU=Z;n*YD_I2fD4+<5I zGv5&Sz3*{+YzH|z#ac>4B4o1Zun;3k_F#JH)FrS6i55+ZPLmx+L?*((PtGys(RWj+ zt3;)~{t#*OaW`^?pkPbJ3`!RDj?l(nhBeQ8XXIs|H7_0U38%%}gRqeew6$8iF@6eT zP<2C!I}1gfBJkyHD_=~T2I;8Xo@+-aDfWb#)@QmZHZzfm99Zl}KfKjMSC?B`)X3m2=Lw@G~Zhof9=q@4W-q+7LsqQ8uT1Q$4 z)mZBi=Zm|}-?L$pCq?RYTdhCRK1HJ&XFy-aqULgUd&G{7fWC+^AlVqT7{w9 z5F(tnEB_ks&hEEL#lfXMK>1dYo01*)=H)f~*2RNf2DGnD;!W-)!_xg2&KX1NfuW}_R_;*oY zo5Fp7s@ouh+Znt)@-_E!ZBwvcim-$9KTPdu&m8FPp5=5Ho`YZ22LNYT&qGRC3L{~m zShivxXRw=n{7$~dt;wDcvSKCT3r*eph2AgQ_qMLc&60&qhC6f5dRj$cL?}rk*#$Ip zCvg24uUZZ9-cwT2$YovzN*q1bKiqR1nN%P7gbrP=*8WS4qk@69_ztJD*>)q_r~S;k zFvV5NSmoN-Qhalce8&UKI&8)%MOWRHcRH4}nf+Wb91DCV?|8@jI-35yRfB8npJnL! zM?v}W;o^GbzlW!DucB3#+gT9%jRI^VsAeBY7VLQhJ}sjZ3K%3wsS{h93qh(YUStIq zF_xJA7p9LSHac{ucvsyN6){kQZX`+3q#^zPipEqiP+FQXznmm+H*%oZrb`0@y$Hr` p#)^tM*v|{lDUtsr^T~IF_D^^)wM%t+*grc!Lq%7)TJh!k{{i&4=_&vK literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-multi-arg.png b/collects/redex/tests/bmps-unix/metafunction-multi-arg.png new file mode 100644 index 0000000000000000000000000000000000000000..70a4c28ad35dc47ece5ec1b79cf2213222659947 GIT binary patch literal 7945 zcmbVxWmr^g*Y*Yl2k91&7EnM$LOP^HL278}PU-HHlx_w=LTc!eVF&@q0qO1r>4xDO z@ArP*=lO9z$M+rI`mv66Tzg-&uC=dot#f};Qk2DgNcj)|0NginQYrv|rh&4vLFg!r z)iECi05n5yq+YAJXYS2eiW6&00EmvJ?Am2ioe#k~m}L>R81>r9 zHRH(|`a76cjTPZ)BtD%@wc~ZHR<9GsF~05EX)2+;ei&GVDG`6^>;E)0SV^lYbAvpf ze;_NZqbEy<+Z-gV>`$O#P}A}okSK~ZBok-&$aWODecxvedlY+~6&uux+~}gL zIbtKsShnK>0JsH|u}}1d5Srn6L3EB>{}OD0S65l<^om}}sRDP#rR|bcIC~2#usD$b z`Yg^v!F~o$CY*h=7`zWsPH;dn*`V&S*|1xIy&fouH z7CCqs5p%w}c_Wa*+-;jtG-B&T$S4)@vI!=gp4=T#Ml(0hzRinEF$2FHp~+T86x9(G^m1$KMT5F()q*s5(>+!{uKAL&?iGD70dC)$9iqFXdjQzM z`D=l-TKlUPlIx#qr=sbKkZiLlbFl=uh8wgLJJ!M`E@pYDV1jw}t9t(W6+iac%;nP4 zqqiiCQuD(Auw5m=$R9~`w4aToB1R=_Wz^hRR}-cs)?Y4CclCYrN^!;j??Xl$snM5Z zhgHihQG8xy`w|5$0q!Rq0_+0Zd?GLVnao$rzoca*i#b$vkkL%&G?|A%DDsxywO+H0 zJeExOWqONmv=dw~D^ zeh0OVH#JWH^`?C_+f|SV{d^s(L5oS#aOG^VnZKfJD34%}qW=&D4kaOP$vfp~Vo5yq zEWQPWFicMO%8k(D&KKHlw6WGVds{(~{f}B-e8Rp4GjR%d9?H1@VX$jE-GgS<-+7(9 zC7X%1>UuxZMxNMszI!th$mC6L*SSEN^HL@VdG+G&)qF87hvER@k9wU8%0tRkcCfp2 z`b(9P3Y+`QbxYB5wg#G&K04;E3qiaKyth*3cB=Q+=3q(AmCYVkednwh(Jp)j0Kg;C zlKsB=gK-HS07w}(6q2g$iZcK4gjDB{XM-U*d2Yk0ZVva%zGoCc$YQK^Su`W|LcUwrOWR_ZUG&6LXbr?G5@i-RvDSVtRedo9*t9J2fY1Z>%9T=aVEzzFvct=4C0JDI(Y37<`($8J*`mVVtkY9Z%i2&Kmci)9)}ry@)m*8t$Iud2RCzd+EWJGg>%zmp*~0 z-RJV`z6hTBq7GkAjrHqY&sN*JS6BX1VF-Ie{STspZHD87x3vq6#hl=@-1DkUGY`aX zQ41c(Vor$08#k;z*BIy<kc>Io zC-A<+QrxJyrK_XX^Jqus&ZA&?>j4|G6zK4}TES86juyc6nIrtdDbbWQY8p`Br89{W zq_wcX?xB3jDd21*HoiI8ZWfW-;1?GAYKX?d(%5*TYkcI7A+&rPEFW-ScE2`l!9EJE z%Cd}*6MlUu_=nb>`w_{fUpL7{e9|~x zwS=i5V-13xxg`vf2!ly7+7Xd-Uk^C3>Ar57h+>cC_m7R-u117oFA<=IO6)gB3m(#G zXZQb{n-Iw^K4!XiNL`=^Ql{Zq+TnhW8dOrQ*C05Y317=!|8%BUbDdml;hjkR0Hc`A z_UM7I-Nsw`&H%z+pITZBmTbrL(ne^b;P1-pJ+vTo?f3g79VxHtG~_%{%aNz)Lg&FP zeAA)5p8%#7ocd7B1G}(&Yr*IdNXU>aY!cwgmrNv)H%xIVAqcga_> z4}p75Tt1N+%|ouNhX3qI6v5#tJ@(LIPxgDVeTAkZS9%76^_YmtHs5u5f8HlUZy(Vw zyWFY1@q|>3RXv4=eW7g-wll*$oJ#!Ix{!!Aq%GM_Wi3bdXPC2W3E$33X$}Z{GTYa? zfDm?E&lnO!_)A8wny&NNvsW{T&K9A$`vy&_}{9> zl5EkW6k>p=d-X&rdXFd5)>baOz@95P<2B&FG#r;{hL*e%`gJ!mkyAs$+#Vj6K(u~E zh8UMV!tBTs5%`I&Hn(>Ri5)5=l(?!kw}ERyaT!s?|q**tUGpj8#5ftId$Q7F0ilV>1>>MHv6xc9Ijv2ZCank4DwZ~|OBgf{`a~H&C zX95a(d7nA%E&3g;oNrH016nrZ-K~th7++KD_u#J)KS9bTR9O0qJF@o^{aFCY ztb)mEAvvC?&x1XlWJ)xfJmH?7-Rn=;-zyxUvz7RZk(_7ZZ-W@WI#p$3Y|12PT=M*e z)SK+*_wS0~muWj!v=4U6)Iz_9e8rTJ+c5Fb11vB{@SgnEu3F5%ig_VEVAWf&&~iSW zbUGW_6jual^9Xpw1;GF;Za*Z`4(R#TK(7P7lFG=j9Ow|!OS3#MMlu12b=E}=kbgljKxD<&Qf!2dfkTov-*Uf`)fL=OG>p#>f-Rr5lSL)A_Bt)~w{jrC36GBp9bjC_meGsST zBi`G=eueiqPCZi>S{BTOYwt66D?++YlYdVwnRgZO6CWUZdAf(bp6G}@c(t$Vn5%Y! z6O?L32rLq!#e-lAVM28mf)?mPLkngaCl9F#{W2L_51M1PRF?&jER8+Bca9O~VYxbXr- zu!Pj^khokise^a9W~7uc7)pFOCHO;yjz$cF^Ur(}DamVYba@H6bQd+mIBp8l*^E-f zRfmT)e3Lzw%naA60~19e(PO}48p&#}TrVJ|IGL2YTGejzRg-;MT0JlOlC#T+gkBL& z*nFt67i;QX;*x%kor;>|pJ2JP<3C{;asK}U%g6rz0n7OZcNioRT=|uY&d$2>T24D9 znFQG5MU1B25mrt0J?W|U3!SEY31;x1!iE89!%+$O&3c6C^O1O&r>45v zmZ!(EDQ*vBlbbH!C6f2(aB%P4UJp?$Md4G9&%gfOqR(duC_2G0`q4qp1W^a~Zvb#C=P)hL{>`FskYsKMxBYvT(-4L|T6| zrn_V*QhHfv5cjH$gifynyZjH~pwz}ZBby3HBauN; zT*`qu`;)uGvSjH?5uDrBH3x3%a701yJ!Aon|2Qk-yr$`W1R)(pCzK!lbM2UXW+WD& zc0zP7A{!$vx1E&{x~Tc*8a74?CZRU_Po+1a8>gWLwNN!p#rV9u^be@%NR6rqcb!`= z{E0&zx*+Jy(7w8B#!$sqIjOYkVr9W@WfbL8t!I2NSvxdn^-hgWWepqSg)Nm8QGRud zE&dL>J0`s1k&yE{i`vs*yIh`E;7e_GH5(g*B9htqLpo9OX66<9-WlDrf2H4fQDFYW z-mOP>1;+VBWj9W&&$Eik#bbdsm&W>u+kq(hlZE?hzR>Sf{MhghUaY$)|B!4 z8gufVcv2KpW)ZS52tc?cHEPd2r`=HAzZ_Rfyb?EneQdx4fX}{p^$;o)*rL8#ROI0n z{e&td9tFEg`L9wjEn@l06n^rpxy%4%^#Gz_9XpkJZ^--6f6BtxjP4kgVy%RbqOB{U!UqP(F$!2gXnP>WAnRdd0~|X_$#w9ca@`#5!K^;FYwZ0 zKCd?`QH5UC3n&0Xsg=D^pXqlTGXQ@l>kurTitbE|- z!%C$?{-YXaNLYGN{a8V1CPnOZF<;(n)%)Vv%r~w|ZNWu-S51O3^-m`=E-wbB)~w+7pNnesKJe|SY}|*oSY9tw zf3q~#*rC?1+KZX&U@N{liok*(iyBu8M@vT&0!nGu6?L6pbsemHbMt3yH9j?$vUVm5 zO%22J#?c$Qccd)*$n0#NmC5eYYf*jA@-FS%0X8Y)E{&j1ADfWR z7+l%m47by&yl;YX`hrI^X*vz`fd06@<9^~Y{9{RavL53Xi*BajB~!|Tf) zroKqCb7rqErpOtIqmLfUA*OT243d$uWsCTg{m9W^tNGGSkjK9*QiLz_h41jR4$Z{H z%*X@sw3q(+MC4~B@&=A4%W>NPp4a(Y!=gv6b;-#?h~0M%t4mErO3iXjUZeA?c5-38 zl^$DiUiiiFkUT2gnb^#`?BQ65v<&q0HSNadO~CK=mG8@Xq%1@KAFJU{dAV%M$y33(o_g+V35PXVL1%DnhdPhRlT znO3sU-~#^tKuo<8Rz?w1SA-IvFFOeNQjFZoK^92kMCKgK*VG?6QDhm`s}FWjeMPln z*9rg@p57u5vmMiaky2yu7pJW}G;QO#XaGU}xXY4o6H;?*th?^?I^6WOC9(hu8A>~rPaJk#%8Zu# zrrKPERBy8LF9y7^)|EdcPkh-8#6$zWlu#AlgRV~Qx~<;`IR6g(mRImTU97`E#$ZM% z{%K{Rwt5oLf&N`FUGRK<+Ul7Pqcf9dx62aWalqL$<*!X1cPCrDT1jOk5s{=j?eUJ(%IPq2cUCq=3&w{188}^0KvvqfxA)5@u zHR{^fqA5yBGhIoruT}2^G$K~Ii?A=Tqra8oG&AdUM>ABTYWLVwLme2Sz#Q{hX9WSv zxk}{GtzUt)UP<+J*BfH-(Zi_Ei(8Y1?#!NL*ZgNq>a^0!cP}FlwpcjDzuQi`I*?z)Yv4P9S-IrbXev%0ns&){Lgq!{5yF)^mKdZbZj|VwN)@ zEzdIe@rvFGxfRy>DEb;rN7nU_(Ca%no3GUJ59eBoESBIl^s%XRu=KLNRQWP|8S zs?|zLO?W60trT)FJZ{U}F<7oBA~ZUWR)-+0mgYSnGbP+sk0)({k-SUAF3@e_`i0 z`>Q$JHGDkPK&+M<4f)0Vu2j89RE>o{X&!ig&(7v0=` zfXmlD{9wiIFmfpIvL4U-c&d2vt(IFAN2e^rquA7Z4l;kaPP(m6O*rI|HBUYH8FJUm zW+|S|cwfB7IWXmHZ^e=|Zx)Awm5f+-ar{u%2jb9WpUJX6Et6b3N&F_4UHqh(k>U0y z($YpX((({<$IZ*7nIyE;6e+k{=w{l2 zD1SgrB;eD!+p$q!0p+0GSmfLZM^5kSf>Vp%4O7)0x6~H$m~0{7-nK5r0}skM656vb zLls6$!>z+kXvuxIT4j?6Rb?j|6=RpYi6AvTiI|q~UMmhNVn5v?$63Fxu)K{fbj0M> z1Bcs%U73x@p%ZVT3bpa!$d3 ze?%?9OFQRg@cvsef6AGe7=Pr&8?wC(p6@Mjrq9lP{9k$1A!=HU^NqqQZSDlCro1w} zAAX)clPvmM)Mm~k-RcJamt>urvZ&u$18oVwh`r*2BSz;Gq#Dk1@0t5hq^N7(-VCqJ zwZ-LgAosV20FY#dI2;)aP3YLImTx*`@y@zB6Af%>@6i-%o44By4ZE$y9&eb5o;y&o z_OElS*OPw7m+8CMt@SNZomow8X-?`9eSEyIn&&IRTPj?SF!DyKUuXbNDeNvm>DO!! zEpwi6zgml546n_^%qd^tDag0?Ux(_JSmqQS9v{lq>MFyQZlWvLuS`35_}h;kcoL zN!8y^OSuA-SSotMz5mt!4lF}JgkKV6fZ}~U@zp7|h~5-OE$-6AzYO+zA;@_ne{BEV zOy`y9E_MvN%O(5_EHhZmqf;EEJLI_FD_Vz7Yc^H?&xw2mE2E}9(DQgO=pyMD9syJC zdVp)apYve>n!zKE2_M{s`kEmP=Z4!8R(P)(SW+a`KYx&Qgsi3{W=V^9o`npU#xHi<*?w}DB)76U@M0ZPvYvv++ zQWah5tz2^&rv`nWstQEsKXVkXcvdGlm$A9lT*hTa4Hz-&85a*D8#7%@*D=VX%3M!0RilYbw6VSZz z!XEIGiO*q{MEz7tB8-^$aWAx(^&Tg7j$Hs)#suX{Xk97hN$E+NzZT$vjfzYsuuOVH zb#`$J_n-s@fC@$}RG2nNNhQUFX7s(QExb{o&v_crj^ZT#3bl{pDGrwTV+h(0^VE;E zwwLe9@h}}V4&Ex--gLU#7Nu~YwL0CGTjvbJ%!*)3ze@@`Y)@uoEW{h&GX=&eJ%do^ zoY_Bstdz|4!=s$`d>4!gY!%MG%SL^L$Qv==O__Xt>3SII7dP-mT2ZQ8!XWVf0CX^( A>i_@% literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction-subst.png b/collects/redex/tests/bmps-unix/metafunction-subst.png new file mode 100644 index 0000000000000000000000000000000000000000..c2e7a3c58a29f50a494a5b1dc727452f0f965a64 GIT binary patch literal 5646 zcmY*dXEYpaw;iK*lQ3$cMM9!Q)Cfi&(TNge2tjmF!>EZeI?=nRgD`r{AW@?eqSvUS zOw`eR-uHg@u66%B>-^g5l)cwJ&k5JkP^KhfA_D*blqygK9RL82<2H6A0p7k5g%>*j z0NsR&g6yjgnY&qD5L)G%?lvzLbvzz2ZXj482#G{aaa46xRGH@?!`t3Ph0jl!EgD*c z^QFJb%Vl2{G0dAnC|SnRJ<)f7YC{NkdhYckVX?7KOs1tOcB{e;&s3YT=BK@_oosL? z-l3lm5H_0BVB>i@HX1u=B8q3ct<|pPh=7EVll+zJ$TZYv;PUR;)l8@`8OhCRN|;>P zy(EY^KqDzZ$rs(C+-^Xb@awKm^Xp;_yWRs&oRe@D&Tzego4$-S6H-Z|XEyjikr7o0 zlWo<|M@Cbb(6_bE6sCEvtrC4U?{L8jyun7Dcu25N^`K_+5*w(+P8@sJJ`e>|aw`G= zf!qmrF5*mGNAyp#BX%tN^I8<#qa2ub7Qgn0g_*rf%y9ug9&+WYF`t7uD`^xI6qW~@ zqH|AjWey8IPX?%OA9e*9+;+*Zqo>hhviM3U-(-v7P{B^<}romKf-E=M~vjk5f< zpL^Zvs!7M#Mt!``SbZ2y1L_i}_jvDe&vi4J0tD*k*Em@Bh#HQ!pzLfv8C5ik1R0WO zR+Q?Nq3Atk1@~w9h_e?|9ll)$uue4SZklHMV?Goa&z>CLt9=gC1BKUSn(6!yFz~H; z9y;_qn~5{8nRXg3>XCe-n(XzrjOVAi*b8R*RRX{ZtmrN#>HfKxuJBYpY5UVkH{?}o z2fb@gltcTooyZPPL8PDi=%NLIXda7mbzVTXH{Pkg=TY53AA4h6p5`-yN@uAJcf5&- z;5@`W)U4ZU4LD9oMwxJzX}rCoW&2#YugpeqeJ>RPK;iQKWb38+rZOoc@hO?#D}D3u zr{sY*AkcDn(d^~8bV^cTh0~u+nd6sfPOsBBl1Q8fPKp`l_nz9Qfn-*Ndx%a>aac(0QdayZkD5s+2-_DbWlV#B$b9{!s zm`Y7;UD(vjqvQ|A z2FWQ5YnzORnpK1+R>EU*o%c2F=MRsdoekwH3t$8awS5JkNNm<{#of`WRxVgGr;}56 z6%s}er^!@h9v}dx3hN-vZm|E8`g`wI*cYGZczg-s-rhWIP7(|I^Zei~PvGYFP`p7C z@ysPF>c``%S5@zi;7%+tx-M#RKFe8V-63!naZgI(t0U+G8N}bMH03Gr)6od_dq(4^ zH7xgpOqw;QAbI3O$>X)9hFzAU9LEkBsW*JzyBQ)n+!# z^YaW|&H5om@{yMjiH@~!t$oc}$lSJ0+<4DV$IkFO$2wB$JFSP!r`|sx^e)&JzUMLa z5?rrU^3iNAdwlF1d8cRVzX8%$`lcT^Wo?&B1ehUN+C7VXM~#7W@IC3>hHY;v36)V< zd@AtciZ+qnLC0$NO!5&&ZlCi*XxbhzWovVLaHOs$m{mqCge zKH8|el91PVU3#5D|B?n2(y%T9#Kk6%zeO1Ce^5u7{t5Bw1A!uADa#4Ve@p2P9I3`o zzYpyu$0n+};i%lJu-~L~m-X+OWULbhEzZ&E?={hav>*Crof#oND4U(Wb9rG{~;A)+74beaFo^jNFVfK-R0_FXnxjrSDd zTj!=n7rY{V{Nec-;W&JFw(|KhfKbIR6BBi5eEl|WbrmXByg*ELTU~ZDGTd}CT{y(9 z`ci6MV#K#go*hkY2+QFyg6XWR>sv7UfL`^6z1}K`ozL>Q;>lr9sjgT4ds$?9myJWe zpq#48zFEA^q;-Dl>HQeiou4Us$ryASBox67Obd1s_b2$}4m~P362b z@d21%idcANws=u=8z-RHza_lqb|7OPb!#{=;^UN&OeYh~d^w^37jjI~k#&qu$;D*y zG1Wd^;Ee3my5srqbx4>c{?S;9o)Coy>x13Ng$+r z3Di~;S$98(fk?0X)vF7^8VNKB;vHOxVP*Z{6iYo0BlzC!t^?I9vvud7dZmPe^B9zE zibeE;2q%pLrO*HgLHAStRK0{UofNNb8}BhB902(!>j_Nh_}cv6 z*LNH;OX<5Nemt&tX==DzQ!6ykAo_i**NkYihPwjX-T2t!P1EpLU#io#u!#VW8R@ER z!WU)4nF6e~t6+M_A3?6Psc25zx39Doo(P`TFcA_jz+okHYCo6h&}aO8ZIn}b%uz`^ z!AX+_-PB@Uaq_SK;!RcQDA^L+N)PCiT zsjy&7peNuZISPC2@1XT(6B}!dG=+B#i`K7-Tn*2=&U_?$+m&+ttEYG)Bf( znMhtU^K7Hrdq#QpQAwb%4`?cIUn%u-!e|gH-Bs#|0R=NZ51pp}CPRJIMpCVZ<4;P` zpmK&AXlc4hQZr2s*LQukdX0bFkD8YN_$Tg-5}P0uqxEfwq^ya!EKc)f%vZj{oaKl%$QjmW4F?i(l8X((1Z8C%c=+`~yGT1a8uo*#MGYxpv?a z4$$B*pT7VMIm0riZmZ zSJhFDGx{0rHWv%f1`=^bAnunt;FT6W1eI51y3>h#Eh@lIkRu!T63h-sF;*!Lz2%qYjQhgw)P4c1ef-)| zqLMEu(8x8;)ZnhTCw=L+cS%__JLxaAT4R>;#8j(#E?5I#iu)$JeOqI00lw~WX=zFP zz1vJjQw&@G$&{EDma|6f|4Wx3Li3ofmAAQ}cDpyWVdU_YTayd3B$gR99|#4=Jt!NZ+neJ zd>lUB5BI|EZB!p*zYx$jZBW&Saw(g@2F^(Fb@Z!j%kU^Lt3DT073eEc0`o06nwaHD za*Afg+}5u^Ym)P;QKL=fFeyWazxC^4rmA-EkQ86zbCGtp-tWG35l>q)h38cmM+|v8 zSW6IXr6#}Hb_-NIX?%VBkzIDA|kN9UzhOttPzWf=MTt@hP{ZHxuE!IAdds@ zRyzgS4yJ2>WgN|l`G<~xsWYm@DuMI9)z<-Q&n_O9{{8Ls$MRGC{nSx8%RH0vew9zV z<=l>;|5Es0g%~gga!pHE4QOO^hA^HbEh; zc#-?5G=<{HeU!c9hRDfV&|s|4%G^pwYMR+r%rtR^Tf%WS@=Xf2mZ~a z4eVP*%VF8Z8n5V<6)41nigR?1ny9Xz=4-kEeNTJH!Zv0gY zC?5QF;Wv5mr|sVUJ2z#=u%{j(570*<6USdIyc@lJ=uGXyi!&e345`tZ?(=dl;Q-b#(Vw51 z*)!pGXZ6HMGDE$7Gv61COyhr?O1bGIJuIeM+mj^DL1#(fF5gDzlxrxs~vnc$m*^k4J^jk@qVo z+$df@#N|cg+>8fpNDDPV{)`4Et7H$+#6Xjj0}-{|*oYqc{7_atxmC05g*Wcit^yCn zA$Nao7NSUG@yp{rjvXdoCNbCc^+GlrGPZ~^`IIR&O8MxS6Ca9YXqs{^Wb%~niR!G> zGY;g<09IchO~?uMxl}Vj3*XW3ON#4ats;qCDy@$B)JdW@LARV7CAWDr3><%I3R%uh zrZY2@$~|0tE1xs0hej{0k7Z+r#XoZv&9>8Qdg}OE6u@^ENT;oL=iC)y#X@I^2U@lL zunbjl|ER;sTnQRKvixo(T4fZBr+TdO#tr!NUSnWy;+AQMgubVKDD7t083{gk zo2v&*Xd&zpH2Oa%(+oPftVNs@Q|0t|-#OSD&Uy@RPR* z&C7sK85`S?|G?Q2u7}WWS{OM5flA1Tlo=}d3m_qBTX(EUI-$s5usiT6ePjDuXwd4! z@=ZnSw%&G{`+%lplzSVFJ}Z~c{uLCD@L?x-bC`GJ$I>l$2(2L$RlX?PFDTFUP>!oM z_b!4z|2t67#s~GG`U|%B(W=+??&ifaVXJaFom|DFG(sam#y9OwXa^&FL-ZOikV#GubMwxDf zIZjFX@6AO|@>y^-6Zf|kkNwgd%YalF+cmvDn}8q8HCMK+A8&<{j469GIAnDe7TVNu z9Ic7MkOs1c{pRcRMDsq53sQf}81!yv1}F&DF~_c9*JWJ##)o~*rkS_>iP2WkWISPqr?&UdaqGeWr!z4!dHqm|5Pm7sUblx2&{-2FQ~Hb=ZjT=~IQ!s%FouzE=%FA8#xj*8=d@$YNL388Rb%MJwG?^=)}x6hI-HV{$pvgr!?bgnoq zd9ElrL{mEao!{L+LE00_8@f5aP;e?tAXOom5)5f)c1 z`1k>@kIhVEitl$cpK1d6lHT&5N1Y9&O^mB$L>V;J>?N3((@l$(VReQ`w$czz6IIrO*bmDI> zo`@*JvefEq|Cl{mNt^r0+lt{JAR~&(v@43PH!j=yF+weE;fa`7N8iv;9Pmo;{+o6S z^y*X|B#Matwzs)ISe{6#%99;gM&Hr~Q}|<@z(U+5=)ZcHroUx!nG!>#7V4#gI$J0{ fJ@j8AyP9H54l3%s>7I`)mIN literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunction.png b/collects/redex/tests/bmps-unix/metafunction.png new file mode 100644 index 0000000000000000000000000000000000000000..1e238ef2711e72513ab1525eb9948e290deffae8 GIT binary patch literal 1257 zcmV=P)OT7PKsoj6x@ZoIwVJw1`qsG-cGdSWy8}7RF5| zBnnMK;xds)g^{jcVuB4KC?FSwfL&Pj_MLtZl)C!?7BJ56{5o^abH3;O-gBOF-Z=C+FkxVcU#^qK0+Su@O>EW&J zG_c!tPK>dvCB+F@?`)7xHSoei)l(oqhM{M~Q;m5LrGi9sq~xwJ^U??578C$*_gLwn zcjfW;%!?`B-t)0ej|3<{C}m33aPN>}vP;Y2#hmIBJGie=+Bmn z04oY&u%Aj0jj5%}n$!F(5JI{(PrQ_SLjl7zF?^;LGI5J6yF+Lck#|)lg$VfqFAui0 z-O7jl&Dr99X~3$1swhhUs=fb~#O%`-Zi#=hk<~!kBtQU)h1LU6U)>I-1x--?y*Fl-sAbg*)g1 z0ClOmrd-32}r08-DKQGQj7eLF<&MSD&3ZX^2RaCx69PC88T!c)jLkH-)HK>?D zji7HYuz@4>?Zbj|iER-%@0*g8Y|^&c7Q%G%so(N^=ntq)FExSj#$9aBv`%$HkA>BC z7Opm!xipnR9TR<-SMbJ`54{Y~-+_z|k7ByD5tS?mJbF1jI>#~lXuyWe$yv=Ii7qtq zsA-mbHmzS&owe_$RVn4R-F+#|@@RoxV>$#nX& zk_N2k$P1u@p?6HiSCwaftSLYC?j{Zu9OBPQNRDttS4p(rw#t4bmi!XC42(Bc4iXq+ zEIt!zL|OTHk2*uit|qYoC^oO29U>p1Lh8dn>^PauJDKo-fV=rpr T^}vP(00000NkvXXu0mjfIH*}$ literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/metafunctions-multiple.png b/collects/redex/tests/bmps-unix/metafunctions-multiple.png new file mode 100644 index 0000000000000000000000000000000000000000..fce8b05b04520301902bb84f6ffe5a7aba6f57e7 GIT binary patch literal 13348 zcmcJ$WpG=~wyrBv3^B$`F~%4(Gcz;WF*AeA%n&nU%!`LkYm;b!o|@)yNI0TEcVx~Els%GJ1pK!oSXJn78%(3LZRUj z`h$lPiXbBwG?L~|JV2`qkwKb|yuVAbDgpIO)+gHBkc42s!2IaNt=9nl_n(RIAe&+U zfaF%Rl~bCy%+P-W9eJmcFgkg5F=03h2(J8$mYk zS+x3jL>px?=gDu4#CK5lS@Z#xvh3;4Jk7K5FMhY#E#KF#A?vS9DiM%?`?VHeUO(=e z^WmKdTVq3#wm)kSB>30#LAoc+v5F4i`D@Pi%j0cYM&g=8KE2)iV12Cl=7qH4TqKX+ z!x(z>+78Ry6v6mfR2PKl9(rlfsuOh(Gi^fPg!8HJfbv=4#xUxpYR@p-GJ9o6UW6qZ zlg^B{&)UR3OLKbMbg)VzIdUhVtEed;{3>V3d(ftHgkon7o|?D_U3JU>A_mv{4mUd) zx5@5L#)+OQ0(7A!oDFw64h|=@ zaO?|Jcco%>7$P}8A&7CT_W4(Jzd(#OQ*nhXp7jC%$gQCz`uUX9!|7~fdFD2Glmfx~ zWzU#?J)Z4T!06W&R4FSXz>pJ!+6DRqPaW^k7(2SkzBMglmG5}&2$<)K_K#d>f{t1ps5=&fG$B&qb#Gvmy%Wd^`ahNDSMn(*E(ZDk9{M3vr z6Zh`&@OX1Qo%|?*He+%RLPn#(J$JiMPrYr|;FFqiRxr9IjRzJcbwctAp0QTVu^v>P z3?G9q;-QV>gEpKy9)|nHYXhY!8vPS>jdq~m$T(aI$K_;>_E#z&4n5oia!7PIWWnO^ zePVvIZ_`42BU+cW#Xyl!zh{kPC7OEr0f(1~m{w ze%KTOM`q=3U~GD9>s_~?b<1TPKLhdGfE7O5o2K=a@E5m1B2E;pw!*ifyiOngEUUA#)t!A&|C{AT8@ z&7~;5lIIaiJ_6)%I6eNj2em(doD(6s@|DM_9}4K#mKF>eM$T*MNA8+2ZfqO(R~rhQ zZ#>Xiw@$Fx&Y(Vl0zszE<1!usOc)!?O-GpfuGW(bxehsbox4iP-|=(+fE)^`Fwz2p zqup)6s`qN4cWX%Q=aieRbEwY13IcLWQ?u$kh|n(Out_ zY#r0wV|`r0xNvht^wQRvSa}7dZ$Ze-jl^Fh#v#YuadLU&lr%at9bW0w7IcB@U(AT- zc9(GlP{$!*EzDZ%#LdXW&rYpK^pJ1Jk{5)It_FlkPtF&2mR6WiWtdP&i}%Dn-BB@h z=MJR8PD{Jv3Q4Lvc#l=m^xrJpDOen>&4#BKyR*-PUnl%-@X@ycF}v*+v!LR=trX_L z?z~#%_s`}}&FKcAxV&FpaumbdpS?(EjiMi z;(TAR9MEipSouoVLNAORaQ){h6WW_M=FPLzB!D5zWOW5iHrs=n!6e!~f(lm!d1fSf zI?y}_yS^pbIN6>&e!6xv_2T^iSOo~Db#MO3l{vAqNA6ipkMpDId%1dCTw*}S`dII1 zOM|WPZ{}N|nq`qhG901Xq@71A7_Nc3^;$k_uFJ0cJ=~553t2?@%slz9R#_(vlB|~Q zU2Hby?MtVg*y~M5;vekbt8)|22Oo%4E$yX80kmiQFxQ3oC^O7ZJPwO7$TP2V)il`f zWvvp%7cQO2)96emgWhIk)|<2SxeIa|>;jDgv48G}4PI~43CfCUPK{?L$%W+=f+=tH zxSFfd$mpv$*1WXZ?GbanEC((gM|Hss0)M!XS@R*AkUd}^n_j!%%&C#@TPn2vv@~(S zbZBlHNwyxGOhmotS`oaq-;99wfhYINT) z`|xEecZvyCN>Sk{&or}TJt6(7zkVS*Sz`q~*mUHL`TW4yJ=kzMzNp>|a18;BtJ76& z?(NHT9wFKHJhM|uYiwic^w}Cnj6+EjP2yGcFj*2uKy6oo&}QI9A~>CY&RFWR_0J~` zn-nKMQ8H)DgEsIF43RFh^S|6ZwBRF+tUTYz4_rTVU;7;pcx!|vrXF~W8PUVf z)O~H{3xg=WyoWJf3#w8FWF(N}(IhgMqh8D$sq`X(R^C*+>V~jH8?#(kE0%MR8Tc|X zR~7~ark2*H$K0l~E{VaE`zjgxK9ZBK4$mW{9m_`Wy}xzApv27#^mF2Vb1D4b8tQOa zYCjzyR(rliwVZb?yLIg0CZB+R)7%pX$b8!9&}f0k{LM>?Q_F@YX#xXiS~{qBVOMBt zY}-E|c+Df9AA~(&n&Z>UKuC*m2ZI#R$5aF2o`v7p$KmqZ4Iv zjaCDhpsijIvTi!S0cdy&>sqYl<(bVD#v27Y_{C$VPK6X($QB0Vg_(lLHtuR~WeMhV z!1`#mi~YIypU(>?Fwi2v>!1)1JPI6=XdP`c*`S&Q%%1St^VP?pPo={dhUw2uwuo(q zmi%A zoBL9==>bAV-=(fM>z-m)yZ!BFTud8@J%FbY#7>S!Tnj!6QUb6p<~^X zId0zTm0m^R4vwW7bw-v5hONEqNkepHDmcT1D^)>G_CyEN@eAz?jCcRZPmS+4U}Qsg z((bq-$$saY95H8m$P(&}`?hR>4dpOe>(si0qU?xuNh=!#^!ypxH`#uP&X>jP$<>ew zAdVfWaX10H?8p_NmnZ^!EiJh(tw|HQ56-xX0ez>k*MS@>?^7(TBx`@C?Yz6)`&p`( zqP_4QFs>f9<);0E9KSu=npJ;}N)6S}E9A*%!jb0l(n~{~`A$=ed#Y`t?zofQ?Ze2q z$v|4Lml(~{3dPA-uN?Ym{tlAkcQV?yneIP*`Pm!(M5TA(R9^K?-94xlHw0CmaR;WX z3s^bLMPrG`!cnEHK0~ZNESy+wO_Py`I<0%s&`;IwMjfR@(fa#^lhXzjIz>q|WLqeB zm_U)lN~qtF!$TBv?EE_O;BfDBeEVvDVp1aFy6qlglz=XNDyZ7d0A*>Hj>7MF4h2(% zIrDfkbl1MWamJOG%O8vG*lB|HLsMrQ_vI&fDmgE=8CiQ25yf|ojkBYq?I+Amrgl{2 z-CEzu?^>WMAD{N_S8~InyGG&=C(fxcrh$F21GNi5+W7kP#-a} zHC5M0L~kcJeE6s_mb(YY2h2Dpj{PI+JgW!I=+hb!iOG+IY>Xwn%`KdWL^i|=96q)( zI9Nz-0mBPmuX~9_5^LS+V0H8AGi7}R8V3QNYJrirTk_SKp5lQ1a%C5Xi(oq@E5Cu9 zr>k<>dVdD!r3&kU#;{|BN^GngSl}>EMs*jMw|*Bq5?dZM$shC}MoSrKuLvpcl)4)% zf)6u&)quIe7Tz)GPEc^5g(R9t4Cr(Bu^I-|L`EG7g6O`G79Jxtsy(75QoQ38Mn0Vi zXcExbYh%P=chdW~6Vz z=V;UZ#MF$OVDY}GcsKxhys44Wlk;KGdNk6#5NKQ?w;{3Q%0}N^1=I=Mm%d=_*2y~N z9+ts|=u&oYYjt!Exz9&PvsXMVE01w6XqDx8J!I=u8$8gA zBG7NPJE@lb#>D~$7;v3bEZ# zfq&X?Z6npnxbK}lv-33!bWxqM04_iKa~EbitvTxFT>&lJdr$cK;V1zbmdo4N^Vm}# z+sELP>fJlcD!ld#7XZ-R82Dh3r%K0~8{YmNABo3@Zq4P8GyQvNM(s0Od;Fz$gY6cf znUZ&$c~A}wVcT?7-pF5>_sIhv?!uF88l&vL@bL&96eBV1XR}P6sy(Mg zT(Mo>@SpECTUc$KCjuS6WsqqNrswn>tsu^~I;wS~{B%;TTub;sI9=B1@u|7-xe4__ zhrWhn5paOAowYAouzt!?_-7BYB}#p)!YQDmGRHI6LKuxI%J}LGIuGx?vSL(@34E-R zW-R?7z0EU5x@sDlQ%bV^&{s6_;CXXMHfOzyuijOXP%yv31Fdz6leAEmV2DU5ns`Iu zsJz~}UpR}H58f{_1&l4!IRs(Q*Kq{#?h|Z9 z4yBsz<);DvBVTLSm6 zzji|!TlYR=lohv(!%HALJYr0VGrSlI)6UUU=fhe!&1O73*v?G|+^7U6BcO}U_2oK! ze`r`|4**zPs$NRzw(>Fua4&>~>WH2j&{d7qD|}&1XVVhNm~}jPy^)D}tbX`{caL|+ zk^mklT>!}LkF#=YzH5V(%zB45k7E<~qN0oAYNhK8;f7r_z%GNxy75YJ|JDk$kDk|3 zaBf*Ci2?ZDF_5MjtZgKG`uP4(gvqnnHQ9QHA(UfIl)R&q*lk|mxjvy$Z38wnaoN3Q zlgreYMy(i?muvbc1c0BL6^Wt-!AewQ#$p}v+dc1NFY|DEPC{_%rvxvW3P!b^LY?Oa zFdP>j30r4M0EL`ujBt&%J}Cqsqx_O>?>WAL3IR7&f@m16Ol3eN8h_B4n97Sl2NZvDxo-F*$!n!mko{;d-g>P+iX` zjE#bdpJHyTMh`Fei6=WaY=PMBltM|VBBlvt^$B{>P2(FkKwxTgjk*dA_qIA=5FoG7 z6A#bPdd{f~0LZF7Y6W++7I;QUiA0yVB`VZ5FR@{;mnr76v^rhznG8T0 z0;E^$UApG@w4)Ni_@|~vK|4he@u$uOVDvO08Uj!%Qw`WCj(2w^!Dw@k8~d0Y9d(Z3 zVOvd^K&C~6GV984$ZvEDcYo@!Iqi>?vw!K5GrGbM^+jsu6fs_#Waa3$=bDY?^d{D^ zZSl8dP_MhMvGz0gN|(a@b`yLrrRQ24wD5B&)P%*j9DU~0Uw+?Yl>B_WCBZ|c>rFrH zUn2|pZy$`x`0;KlQhztEgCu?tl%|doQawMeH;~|SW(52QpQznePhR7?&&{t$pCc8% z-y^>yTeJvPj}n=19xVwmMPLvR^=njOLB1TRO_95oo2+O8bk;hu;X02xn3A3FMK!h zDk*Zb<2^qWoYr_v3zOGa#7ll}pQFDSCs-7hcQy5->wFwZZ1@<8=^t;l#;6($qjwVf z>0cIM>}T#*46oN8$`WI@J$jA0w&Xdhs3P|6CAYQ{jZBhMH_0m(3{-7Y_3ze(I+xW% zEo~qnhyqg-d|W=AxzUZF2!>|wT?ngYKV|sI?`0tu%lfGPMBX+Au}ygC)QP{agHe++ z(5h0vrtT4EbKab7G+21OCx17hmN63 zXJ$|)(@ar&z;g%+>9{ov(?eUwA$UjXPXRrqDIUozZ zp2pKEXY%Exe9R37qppNW*PJKV$AmCOb0~7sd8(-3uvvHF54o*Py0s6i9VqV6GE^NZ zsWt$0)!lyZ7+So)Q3U;8Eg_8126;-kCAwu7jbs@%GUS=G zu50C50KQ9UDa%CunQx0e7h%80Y=_OieYxoOfo9s;+?4%<8XXjZLT!wCjS7$pCUGTZP>$)Jxf^=NSwg@%uz4 zP-o*EZNTQqvs2jKwV8bhDz9udr!$M?eIslu2YHf*xbk{3${XPgA_7GEd#0cOfbg0G zaYd>mSz6lLV}ftM#c!KagBeIbI(0MGJGUE_8kG_!tVYmm)ee2-F!PO%(6Uh)50MJUYWDf<5<3vCL;fn907$2=7=D zQ;U3cH^Y&hq(~jyohFi78PD5Zd|CT+@0Iu9xo|HtE$=RJb&n!!yaA$oM!T~xHzh9} z6$wDF5B&A#k?-$e{;Y3=oxkmv1A5t|f1TuSQEuJky)ib zdN1nZ(YPjJfO)Xst9Gd5&>%1Jg+CkibeEJ1_F8+3P`!1lS0igKI zGkzpLYG4o~B%k)>?pnm9o&`)|J*TX~{WDvso7r@o;t~D1h9pX7Hg_s%UMW!~0SaEK zzD2JG(Cw`}A_)HB)E^E^XCL#cy(P-Vu-waF^Fw*J_3E&bf{mS&kPoolCC#Y>5cdGz z*oga^XrEl^++2q&dO@c7sT2mxR}r)(RtS54$0V-=)O;Pe+gyS@mh%j`cv?)jMB^io zVE}*flgB-q;L#RJ>(^hU6NnEMixj-b?{4B=?_NKsOu*T>b`2STJksyC!unylvOp&z z@y%HTxYFTmKC(z3=iSkk$%p+5OiZIsdeLNGE(>nH9;V>GK0ino8aC$Sx4G;BA7= zA_(Ao1}?~s13?9Q#q!lo)#7=L-AC>YkqI4`^79?J0<}zZ!YHUE@;EV=;$k0mz672_Z5HYU#K6Q-~&z zdXr7l-y6Txk554{)ZcWjr_A}x??n!<{Y3tW7!WzGXPS%-Vlff(6d`d$?wRr<1YT>i zG}t|iv^Ga^ISRmpu**NKfT9``2I-}je{_v-X{a2$HR<^;c%%&*Vg;8h$*sQS=42^h z_KCCe49aN1_0pHhPP!e$r@%BxtW;2lT5c}_5WF&>?% z9YeYPOor0RY(RDmd3+++(0~%+dURw{Bha5W2Jch2w?Kv zI>YFMfv!g(nfaEZCge8tfN{Pakzkgx;J?(lX8(^YTNOkl7gLMae2nU-0DaS^=roGH*+}M?*3wCr?~LfKUzWl+g-88 zCcFX63GMz;kWUNH!=-Xn1l%INYA_$Y`np@xkne|hGg9yuHgM6d7hll&^9Sb)^3 zLdgG-jmb_ASXyj*T-M65gSl;<8O*|jnv1}bwgiM2Cw6|)_&j+Irrn#0schGW%bA41^Vq!j#?}y@a z!t>xY8eS1%4mTgJM$dQ$kWtt6IuPdqh?Ob{#v3tLoY||l$S3Bga4=zr6((F5!%xVs z_(_U@Tf;(kXACNDsBDB^V2&*i04N)mAlCPNgrWatdO`cGRWPrjC!A)1(+OmdaRU0T zxh2wkW&sT)?KX6@s9XpDkc?W62;sJ{QGu(q5sWn2mPJrE_7r3#cfd*ONBYv zcC{P-uTj?HW>k_8EJ)+2?l6_4{jt8T~x)sL}}Aqq!v3 zm$b$j@f27>h~bpVR+K#v76{c1Le#VHQ+|^+^zAnPdaw&W#tUNka?d`8Ki9j@l#cgvt+BFe4k8DSNpRp8z$g(ai^6Qs*Y~POs36W4^kV zArtjYax9<*9Aj-FbW!Fr^!R;bE_VgKYguSEnc%6hpKp~#*T*a~7;uU3I;qfY)o>MB z@x{wXaNEiqd!1TAHv&Tx-_Qh!-k`QHzX`Xsb-vjp_1>env&f~~nT*!$kcCvz)tHs< z*z`zWVg_RKF3g_MUoWCN8CPd&-$@}<9XeK*XQe^XuEG8-0=p)Dpw@qughdp$Hc1I^ ztcys3hFw1;Hi!pkLa(YDLORDNvlkaS+H&6z2)?B9&^ye~jU94aKbkhg{C)K>bVky+ zyxN!VOjxX%q?iP+ZS02Egb^#)Tr+w#yAMp+)g!RxyhrUjKz1Z{DrqF8E(|!%pzz-K zQub^X%MfY9b7rM^w-}j1FfnmvX}EJ}Woy3AZ7$~;3!pMk!#2PQmO$e0GFH*EW(?L> zukr;aWw!Uy>^Yg9B(N;6f3#^&NcSG{Q*58s`~L^UPKYK>zED5YL1avn$a*QR|L&3; z$(B)rQtEs-6|MXRAn#l$vf;a>=B> zE%va@Ayemd(|2=hZ#lctxS58&M8mzmIFn|!0PtZ0LEs!Pu|wt;S-wG2&SD&#)BFhu z@Ld#PMxU$GMm&T7h|bkk)`<{OA0G0%!Psm+e{CG%G-Q+3=J>JWpWkZ#j__vBLRkqX zKvLX!MP|)tAbc>s0FKHdwVv{G>5v$!*mYacOmZQ`=%oaMk!6_vOKPBsPY=B>PP^X9 zgTt-&!LwY97Mm1J4=P*E$jLO@mTvNYdP9_?Io2^{li5hs4$SMqXY?cW@mRNH0X$-h(* zeYe-as#0xErvR6*&G*qXfBo4VJPjbU-1j<0#e75lM&zj7qJBID;2$0uX#hQ&5mUv} zhtha_WKac!|FgH_KbQ7DYg`<2m0o`c9*GvpWS5)9VF3caZ|32_?pl#I8F(2wOBx-o z@K;DiK|yL*1}`{Rj|u%7L&+X3I~Qv9UmDear1<|*!PFAdfmfohD}`5^pbKShFbk}; zZanAFK9e5z80UO0th;}&`7opWu4P^5qvx=M#XMstC=Yw>pc7g^uG? zyoLWYTb_uadnS_`)uN|q`jmjepcZe`*x7Bt^3rSKC=E1cF54H{yNm1k<#d+n*Zd*Z z<~%+*DCI;qCETo~vHy48Hsa5neBf+1t9JMcKDb`Fw+jUt&WJS*YE|e`&n59-041j^ zmcf?O^=iy-;~FBPy^&9*<4iA!9f=cmk8Z!T2Gq-bU z=u^$x`-)HH_ClD*>zb6V7@6Ce!?ld&sj%&b2`mN2|i7)wN&H=#&SQlw`dE=if182u`=lWA(Cqu3t zQl^GR1n(2{&@2_mv+Xp3SBIRhHigkqS&j}#??QIH)?PG2FAn2T>vOo?E02TuRa#C! zFZ0m2o@ZW3s77H3Qw4<_Y_D4onZjOy-{Ag7b|K(>=*Ok#v)bX~elneE2)$f-$&PQa zCv-YQL?ILA{zTmROc}q6(6U^*LoT+*0E$dSx$tVRA-ZFkYYaR*RwlBJD zvDDjC;yMHO)4Jq8}k4fQsDKu?vXuS*|E^FU1ji`&zy}cLb6)>FOdyU3L&pb6wh5i8drluQe5Hyw4Ubeyy{7H0*rV#49{a>a{S_MEt>1Pz z&0mx{Zu&83@VPwmb3*>|d88%X&^tE=!Rs9!ApOgE6wBmWuJ`?UCvHnXIaMTu&F1ue zu)KIb@x0+0Q2dKULb9{tTaV8+Cqhbt=fcyUrr%K4NYT8d94~~1o28?!&KF*Z`oz>v z-DL*6fS7(LTI+#I)KFpKXy-4%IC}@WcQH^T8zj-|Z5}s=L&^|w&$jx;cj$`QJbtkX zL}EU*F<|moFU4qVcILH0Fd;C1C(pcCp>Lw8p|}wd9pIa9!)I?Rj6(1+a)NEPMBcs9 zW&r-FhgDbidgr3*Xvr%nOPf#~jgKoQ^S>`U{s(#UbpIu9Gd?<)K)X;u#U1?a1*S^o zQELgADE48HyP+ybBbjMgqEAwgeHoRJ)hAO&^>rZy{|eoD4Gr*d4tG~Jt84({T-S}Q z5kDi9C{PIR3--nA@WB5YP{UyY%=WV?53j0=wkJaC!9P0Vr|0UiWPkj65{vTS(o%4W z#bTlN1={z`=HSoNpm@hY?*|@l7!lMO#7w46I)C?97~biJDAZF(@nG4u7VffI4x)rm zYx^EQjms`fed7Jd#(U|g7i0{c&+Dl}2v}c8{-t-v{i2q|R^-w!XV4!~SQoI9LQ_o! z8YL{bLj1VvL`3$__l5hX3mNZmSM93~6z(2qAId3R!qJKr{EAoJ4Oyo`LxcXQ%yxsF z|LYW8n|SEMv90R$JVRCX)%zZnoDiu^=X<_D#b*YG&|iL66Um3tCi11p}D;$c>Ay||qvRmSePxlH{-zZ#- z^`r#Wr1S8bLd;LxDs)JGT_Kjvb1eG*A3#ko^snX*Fry1KB36F>BL)VDTo{;pmZJ6A ztROtG=jl9aA4KjUf|G~>S_DE62|Tr;)@m~k1Ni5U86LEWYoGO#d9rfhr-f|Mi31-w z4%`iL7+#?A3S~`p!Fdv6*;WEfiFy``yt*fO`AT1i9-yO>HN+$2)_RaR#XS7~3!p5Z zPG4LOH8b4%TouKbOZhqt*0pE!Ho^ATE(4w4f*43@{qB5`c7mcU_Q%RgPo*+ zN7?^Re!e*Ylc$aIs^dJ70s5A^x?1x&LnZ@ncCN;%sHnW!_JY)#e4Z^4@ZwM%<4}Dp zGM?SrL=~_4;g1xj9ULy^Pv2ea;)x>3zwERfB=0n&d#(LWHqS)Rl6R6m!*BL*fKSvL zsvi#MW;M~~3+ZjbKzWHj^w>FElW%mtQeshS`d|*%1^PdVk06&BF`ZwaDKu8W(3_*( zA1(faPv3Q&F`gupJh~{dIal+^{Ay&p<9W3y%Wf}9lfoA=JwvN3qO4s3V@|)Bwg;^bxJ|+P3 z@$U!+uehf|NLInsy0`n3wuiU4(w^`Ogm|zJp`*6a?@24vK@n)M5V1c{TM???oqe0jvZ;HapkO5_8)_2z%(1hH9AX|E5+_ z7cCf;W1MV8bvH#d&q*3qcXuoPmdWLCnp&x*#@W6C30zL!35o94{8`-%8=;y$S6l?^ z86ihg=ItMOnCbZLt@{1et9mNzqdFA#VJk*9)pTnfSJ2Lb75-yaNcq33DOpDSlJXCp zG7A2rYVmn>mWLHBAkkI>hUmQ!m$ww{#5wjGcp&5$u+`%Pfk&$%X5OR(lFwd;^ty!< zC2)cWLqF+<2vBTT=|%f-MC{{J$xJ+y%#-O*iIag3-+t71nZf}I9N9LsQemM*)l0#B z{S_vSx8MUIBauuG?ikpPw>MACE{yjNBcSPNG=mOatRe3TQimh{x3;kdl09(FSGA*%`|vUWBt&F|D+Pb}|2GL! B65ap+ literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/red2.png b/collects/redex/tests/bmps-unix/red2.png new file mode 100644 index 0000000000000000000000000000000000000000..585640772bd0da9253ed14d98ab65a3e043e9fee GIT binary patch literal 6978 zcmb7pbyQSe6z-)%O1c}w5u|JAmTnN~?x9f_N*Iw2L4lz|B*Y=4O9Z4lB?al08exbx z{$8y2*IVnYb=O^Y?Q>(Fz4tl$`@S2ir=vzpNKXg=0I~WrWdi`f^g>^Y<71-FGt^)Y z0AL_cS5`23m2;TuY+2q*L)G%L;FN7p4eqt233(*RgUZV zVtwUAcnrNJdt65#_Cx_DJ1tHLK9BLjWW(_&$`&KzC>qBy>)uQ5+fi@Cv!@3zv)UoLT7ZJPLz zujbg%2AqiE$NwG?uvFoO6Aso|&#JHF^3V>qsy)BFag+&jA&Tni*HjXDZ?tk{tMv^r zcD1}(Byc=WDQ+LBchT8%bT`}bhEyI$FO086EzC!KW9gya*v11&Q^!75*ohrK?iq$W zCO}4&1D6qAxZi2eZ&~g<)vPCqlMw8SvpY*I4sH~ml?eer5vT4GGN+X-pTW$-R-(51 zozlI=3j~u9arPkG;^`D1BCYKf)q2EMcW4}3s%>;D@Ag=QceeY`$s1^Maxs;G~MucY6jbeR{YZ=Yb_%&oJs>^auG2q(BB+-b-tBZgPEy zZF@3N+5^UB1xbi5&qT0hrg_a`o=gQ^Eehd(huFjA8>Y*br%-NWu!`m3n5Dt#lW$=Q z*a}Xe4gAHnOj+4XX|J#69X$w70tHNpcTv2FAac=u4xXkKpF!3!4B6YmVUM?nI1uH) z?9KMdw=gia0@+sA0FyQo+G|;WFWn@prM;6hPLk5}=M+-cN50o4otATu)DLfDx6yrq zfs<-mZA#vGe)6|^uW0WaO=hIduUs&UOfjd&k+&9gC;d3ISg5l;7MWjF8xT zJqZil&kx@D++!m!h|8)o=}TSxfy>vSW0Ui#C{9}M{WKdarRkSAf9+ik^n&>Ql_3$0 zNP_TE$);2K9p0&mmj)ewn|TzO;!jbiYixCtH&e60IG5)5t^K%ic}j^u_=NmV zeV7<$#~W(h3J==HIo*F0s_RfZHD-hLyise5kOsvqr$Uwil8>|rr-~SyWi&vRYO0wH zxoJsH20hO3!6y>n8^0DGC-1gd831_K+SNWIdGdJ|0NxEg`ok40dlbA;Y7qUq<6sOM z__ZPPbb^seWf(3-#wLc2^bd_(W;T6ahCYp^WB1#WxZa`|}>Nzjc zHp;-xGeAkN->1?O^dJn^H4|m?XYw%s`Lez2^1whJ1S4oC)0H;pBBP9e*j?R4bHT%7n@Lz0)SuA$)lW-VhJ&m24C1N{Q=-8eqN;J7S|aUi1=k30_yYq zz!3$=&*&agy95&nc+N|HA4wXJhj-(_veB+%go&2eLxs*Y=9BrTQ z6!|Hr&u^4Rx25J@3Bzgh38^@Zb&oQP_Eit0{SK367Yz5&Gbvp%vu zmTR?JyY1{(C}9Fd+0+?`m9e+zBtZhTTI9QpDs5#=P&>$egYNPN?OD%wDX}cgt9**M zhozcBdh@ToQ;UkTZ%vmAl-bq5a(z)|+C$438iknNb?d$PyjB9?o20@x`ufdP%$LTv ze4M?`83+2P;F+SJp|BO{vF4y0W5TO3J}H;K%d;$|xXlC?xawF{Wep{`=Z8cte9#hx zZ-tamR|2dUW@GmF@oBl1GqgJTo-aH)S{CK0i2->%Z@G^huGorph05$@G|%J>a%mgx zlnJ^==5n|VHNcY?kIn+Adk4ni&_z4coc6SV38IDv=(`#y(ow3c4zFS2Tji0GfHj7R zR(FN~(Y^?UJ)B0!<|zjHP1PJOhN(zBL$`Q1Ls`6evvj~tWbbPw5mC$BdUI*+N=i^f zH4mGiSG6e9p762BPf~|^#@6?W53E+A$e(x_f@0hU6*AOKz*m0vj~mXNCJLU)SnaG8 zsbB)XIyD}f?29k8OfeAt>reQKF=>=bYJLaSj^r>hso>P)dNIHStaHOBj2xpoasmOc zn!cqxRpYgy{oOJ*FBzl!&;W5+8WV?R>9a+NxW|!uHR5(c;gE*G*SMr%Xb!8^?@a zK1-Y2{x}}n5MMdo$yml_w55u?#=q?zNVTk@z45~xpG5mi)D&ziZN&2vCTT) z-qel;wmioEwwNT4Ns5WdhQ0o-vxBy}_wclx#bT%GJ0I>;B^gZ~t(?H{v8q<=!pS#6uw=>rC;<{`$6rAv2O%2rv9(E2apNn_w5@KeTHzO7U$W~e2^H>B`xD63p#2fZw0bK7 zkF!#FBXcrO;U{;e;I=Sg#vcZ!$m0SOU#^c#o)x?5rKXfMu3uNK?>}&UEtavse;{URG3AGB?Z8*VjM-O$1c07kwJ2-N zgL!rUSc#V!!{(k+RO&nzu%nlN!czuBgfM^th4$U?5aDV1FDnBeWa0zI z@Uv|JKFnA5ceQ(rwz|5KlvWL#V!jX-Y14l=Ov@_*`#a62mrL^bkQahR`Gi1#t9V`- zBs(&f^>jUF7?rK*=pG=@ke{ZjEoxpg~puqHO!hH z2s2Zt$Co#t>U^@nxagb75w#<+C=85Oyc7S5L#J? z|1V`&SD*5c3)ywYHw||v8E1q=GXJklxnOwipXzA~-0OZ{lG81`^(}-A@(XY^%+xZJbCx?))4oCgU%SZpr9y?_TuF zh^tW1$TjBsTCe_e-9SEU<*q%k;`o<}^I&guRhQy5rgpEpEH5h2c}}LC zJFQ0LdCPGHkrov2q8yjsR%<{12W8vW5!SM_C?5Xh={i~>RrM5cIAQH~*_ZbE1jhH3 zqRZ@h?ws#mhS5@-?E8h0*3VVNXtHl7WkR{F3z|UCaoO)}_J&Id1d22FMSXPkd1=p z%+S9oM&53h!!Gy5i>kYz0qGVcBTEw|QYQqw`ocQT4utL;dVEprI>R+Z^C25$D~E{z zq|2p|Z8AflEt`$b9d&(+hLoV_@2^;{;S7zA*n-2AyTx^zKB3*ZoU_$e6i@E|-mx+8 z5A+jXwl^w5kWk%`pV*IrP{^0dNai}zpt*NEgtdkD@PSIzXp6jX*LMmTST?$gc*b&x zPsYy~Z9ccPj-lrk6ioe|i#eW*D0UBVbtjvC8+I;gdv^+B=UEQ1EW9aL2T)(u4Ael*d6DU((uHzzY};vZn`1wWg26JM1*cVRZw&08Yxz=c z6d!XP7R+zyefF>KCH^s@09BTypi7O9>QpDwe*j%$oQFVB)KudL$rGR9RNTw6AL zxOBCa{zpBI+~moI2gKbm{<^l_c+z3pHVSI9n(s{??S_h?w={^8GQ`pCm5rQdBx{}Q zV#Y*u((pgP6M7&dhVx2_wsPV;^n)su=$Alz!Y_~--`N8@hMjmGITA@)?dB z51RotSOp@if>7&N<TlAOe(5=13wNyFO#9ah0-TZ?ap0MYi1OMEnJK91*#6yrI;RT_~g ztoMIkDRoB_n_0k81de~P(hL8xYc45w>h!vQ2CCvu%CY+$URX;p^#nn9i1gs7iRBS{ zXelMF8MV`STKnwU%R_PPrHc2PDjI_%q ztXHRVHrpDd!}R!Y0vwz)&T@KY&!7{pPOYw@dqq4`gUh5OczNyCiD-YDN{H$`96^0o z#qFLtVcjk@j4O3UJZ^bs%EnlvuwPPf#4Nrc?FUsXY1mEd=nD;#@czE!b(b=vci(mU zVoCfXJUQ2e%J4 zpkYO$4d~CZr_c^v>i}{zwKAOu@V9QGj=%xPM9w;*C)w$Fsi##M(FSu2b88*=Z*WSEK_XXK->Vk? z-mtjvojVjUO%TwK=(DKwEWCW3_Bma7s{9R@t7CfS%iIQ1tTZLK3>Pln4L0OiK;UvX+iiSGafQht?D$j~|J`%jd}V zME84r4HRM|DG8I(zSn_)og2JJ`M2Vy4>@bk*)j3Svsi(G8gVVB{GhLMt(*0kdJX*y z3$lNSIq8*fltc9GHwiU+LFK_s&;{6Ut8Eg&zym5APqT}xpt^YTH=>*&0pNbG;@PBq zb4z}_D&AYr&0E1Al$`7F5#Np6+i?;y7(KRY&Wz0)#^H1*(D&qt!cZ`!?(=hj<{utK zX{z>N?ON~bqlPp!o1^EaFn}h0yQ!W_h8#Koh&26E&NyT?S)%xVC~y<_w^N@3>&P0G zcCTd3E_pkG-7tv=(u{|ADh!TaC%0StoED@@3bW$o-MNa*8GHHV59CX_Zy9TOuy1F{ z3vs*cEccgRXY*cc_X22z0q2JfA-tr`! zS%6y!4eIGVu)^=N4ddHB>W)v#Ei|l8eyiGl`?Y3is;f)LR2w%CSI^vFYW$42{5e8g zv$y31H`V^IQ~C2b5#8S4?H=9A!ADG1URt=oA%-UD&8xGsLw&geX`z9NO|Gx&^z7MJ zWAtC;Mqji_Hw)R!Eua$xkj;FUj<^G&W}hO~DMQZGZJ_%qRp5d*p6-0r0tkkR6$+a1y_c3`hyTUk%;@Ig;JvEca-^- zwQ8QIDwWF;P*cWKjTsnwhDsWWv(R0?LSzXu|0A@92uD?@U96;aSK6 zM?z=GF$s45cf{U9P+ zpW3?063eP@MxP@jJlw3$+C)0s7#f)M#$kM ztRl5N-aT8QcG^6^aJm$N-p6ZK78nlp(N%#3^0|QfBovp)vq6-xh z5Ru{c$kIbon=NwYBer)Sc2Ok`lVC1FHOKY%O`Zem50fNj;r zOWBVLOQ+GIiXKg)Z_wU2PCV9I7q=F$d*isqV#vMHEyi!%m((hL6yblR4 zRKJw5nw%Bl99b8BnYh%GP&(3SR2noj+f|y}s-ngLH=vEnKo;~2E~XQ%!%s>4T^V#v z;Y_w`KCypx%jXbpwePNi>kl`AOuX`NDo0|W8Ub0Hex|ja*+}L8lA@9%Fdi(@-GK+R zErrMNwVR2QX(rPIH~AOnEcPFVjUdl8%3GxK6c_?)l@rJm*NfzE4R_F@C?`G}Oj*U* zxh2~G;3>UzwhnoJxi6t+35-|MGlq0Bv#Ez(|LN^MsLGLPlUWWeg(Ng3OkcXA1p{+;az8*+(rJ*NDtq-;fy?;{FEtgIucaPbYUxFJHE?p3)>@oo1mK z=iYGnoN9ZG+%Grcf#bUmRd;v}huuk5)2Xl4<96QX!9`@YZ7Haa=j9f$<-47FqBrb* z8jO*PCHabA0|D8(fwDS3g-3f~MDoICmcAnXIhAkd%aZ1sL*d!Yh19vOqQL`~RkN`Zd*_KEGh-luKLX^gF#y<)As9?-cwt?9}x}u`mHVSQuGy zceT5jCzj7kdb`@9^171a0ljg`p_%Ow;z%T$CI3WEm|h%vmgVpFgrk7xD*s=XgV=8Yq(Ykf1!qxMb&*Sbx+uO%En`8tiE7I|WTOggABl~}eP26*p z)xo?}m5ju(|5I?Hyk-7&@4%A49yFA9IAT_l&dIR|&HQdA$bRu374N*q+gL98l9=Ai RiT*bRsH^BGe^IoF{2!e>TTK7} literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/reduction-relation.png b/collects/redex/tests/bmps-unix/reduction-relation.png new file mode 100644 index 0000000000000000000000000000000000000000..ec11b4b4fd2192ddfa166dcbd86122e296ece0ea GIT binary patch literal 2174 zcmV-^2!Z#BP)oxir=k#bbCGs4TbKqdeogj9{E z7kfr#*Y+VqVCuy%y;@Yb)GI9WN4bHc8tr9Vpr@ffjno>1khC(*+jjBA#~SS=9TO?< zWQWiles{G?Lp+48o)p>5Ek3r33fpi4=Wn!^ae$1mW;M|Wx_Zgio5LLd0NiKoywO>6aG?hVcK&mB-jE_m`3f7W*g`Sck|-KW zGL}UNW<-Sgdro^{+odKILWs<(?{;>qD*&*(LXvXtD^XYZ27xmT?1NwZti4-Lpz(qt z-GJ1Oj)sCw%I6a81sxM1gpj5!e=Z#Y|5~dUIRKGfUj4cca2B6y!`1C2X$w-%w`iA0 z@t?iVgX@M0DbY-nk3M?I#U=6hT{%KX^)M%z$xXcUSVQI2aUs?Mi#jdRuCemo2k{FI z)hVb0nQlWK4h@vzyJFxvbLm=%jtKyOx0HQ&9fz93?+bfJ3`w8|%ixW>ViZMxIdVRG zeV*@uLrdJWcNtt4E{N}mRU>DnX}kD`*NXl29DZe*B>*s-Lj_Kf@4snKPppcTpA#yR0(t@qrV!|F#$kXcYNP>0o!)Z>iXxt z%k8=a+(6Bokg^Z9&! zc*;4MvzIHIM&-rwobJyQRo8ZDkfdV&A?EAb!Z~^ZjV~C6k^RvyfX1|Dfm)&NzprBg z^n82ZXv^I9w{Er*9a*&RlLx;}^RpN-zz9760B96)CI_Icp;I;F22v~3z~HhOBc>t0 z|3$6FarK4okImxf-qVnJ0oyOa8~$GLpgZDv#{E}w-*Ker3p8G6KU*laCK^~c^PE8< z>cO=abWBZa(cZII@{V{{`XF0@tm0>rh#x34pw&TfelFY@XQ~#D5iA6TD`= zYw-7`(O$*{GMdpO8X--0<=ZbttuJoJiA=rd*UPFi=Fd(qYE>CFpz&VD1sZ>blq0yL zSxk3#Wn+YO(6F~z2B)?m@ zJ%R7Uz%UGBxrQcX6gNI|4T?z*(sW)~rNgPAEb!TUU4oFJHtRV6 zu1`SVF9n_eT%UlT8NV;-F!d?#AhN36^MiwUE&%MHFn$ov1%R7eF46D!3;?L-@)8a` z`c%tc39N3+i?Xm=c};>8wOP+$UR$f=gFhy6s{P=tCnGR!a=B#i$3)M_AQ+%gE7W+m zs7nQI+TxS$wlw#uuRPFlg8$b3x1a$xGVNuLTib(!7N%zA76}`Aak_2boOuE#sx!vk zZ_=kbVi<;b#OxA2sXY|uNyF@UFYFS^2<3{J0}I?R472q9)v~;L6?A|8TDS`xa|l^g zBqsll24z!e=JM$9h{!OWm;by!eb#L1)Uyc9lE2~2xQ>Gh7H)j6 zpzMpUu9cj5dv(H=fBUUVpJ7eqNZPL=gRJdDI5s+H(mnyBqWqNnO?P12Vk0{}4VfRyawlxzc+Mkd_3DCOvv z^)`u-y|P;;GKxFkN&eDE)sf5jFGJ0pzF#DS+7WFFOb-E%!{zPY9b+?aX03iqtf#pw z$t&FP%BFb%AN#m-ESzSi7oYl#hv|CS;{nwwjPlD+-CnY0s$0@o>N?MOy_QM*M3aIs zxGv7pf)#>Nt0@+a(t;I&GP{}YmgdIW6SYy0yt#2|*1z6MqOS9d)&t0^-&(xt(`HG# ztv$YdW^k{x-OfFXWoQd%Vlj7EOvL0ZOeY!t1=8z>PL&0G@c;k-07*qoM6N<$f(e!= AssI20 literal 0 HcmV?d00001 diff --git a/collects/redex/tests/bmps-unix/superscripts.png b/collects/redex/tests/bmps-unix/superscripts.png new file mode 100644 index 0000000000000000000000000000000000000000..51887d799fb5f3d7747ae5ef246d3449477f545c GIT binary patch literal 1224 zcmV;(1ULJMP)+ifFc}sG1_p*dPnIRb z?DgJ#z*U$DT`MlYDkRG%VQM78j9Uq(q&%mrohCQBKOU@{{>*n}t1BO|c2VEnze)eX zO@lhMj@IgOFhD}#+qv%Q!-kXQtFz;?{>PQ+ty>u7IUk<>7T8;9#`XTv@fRP37x%8* zaZsRYS%uiHwy8J7RM@ZWdKpx!zj@*rAx)9D2d*nrNc?}WzHQ+HVTs?D5B-RqULm)y zfA;=pN}3@vr3*pj|EM2v}niGkt!mBp){srs7;GD58Va-_gi zgprYvQQEfp^!w}m9x_afLTV0Grx|%z|Ni~=;ljSFpZ+m?zkTelS9V5vaZSvxO&g9a z&Yj4WT$+_u(A?sCt#YP#S!Zo=qW*6YYvm8Cvgo4% z2e^}R zuAZ)cKkK?(Ms}PnKfj)~Ak*(>r*4VZD04D=y>Es3Fn9k1Pg&-7moM>HDsx~)I-Tuhlh%{`etF-W?+gqK zEDXP1-+s-&YtM_E(Kz&Ss%`sH8>X(ib7i?=?~*`ChV$|~*Otzhw&(D&`;rz{L^!0`X;u{1FT`Lgrh|09Ec zANIrvGcZUbZh7_hKOF)6?EUv*u_Xh8&B{0b|Nm!UU}EE8XZZ8;4{GD--_P%C+zbpa zAHDlc*H#s#y+7|Rt!O|@)0{pbI`Pv^OLE`CA11oHEGi#mg3 z&dG28|Nm$B|NqYhM5R|NrZ$N_!Q4 z1|~WGIrlzY?sQjVXJBC9QVW@X|2OsQ#{zKLd-ui8e7Eqbi8I?n^+L9Opq`E2PUgx9 z`EPjr@Be>DDE$BPe07MNQS+s5)U$-z;Ny-M_epoD78QS02QX3w}S}*Au8}Uc3MGAHs@>0N>6vI@=X&ehv>*#{cl1_217=Uo%Tda4}M& m1Rm7j&-+Ioxa33-9R>hXG_UMqV4kf20000