From 478fedeeb76dc0b674df6cb84a12ee0deb7fcf8a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 1 Nov 2012 07:10:38 -0500 Subject: [PATCH] fix up mac os x version of the redex bitmap tests --- ...eduction-relation-with-computed-labels.png | Bin 6202 -> 7191 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png b/collects/redex/tests/bmps-macosx/reduction-relation-with-computed-labels.png index 621cd95b56e1a368bd26d4c7cf54d70c0115fe78..16a4e992c62aa6f58bda0ff68cab5c735fe5a178 100644 GIT binary patch literal 7191 zcmbuERZtvEmxc-M8r&wh1$Va)26uM`2`+)bA-KDHAV6?PaM$4OVQ_cXL6&c;{(pCC z_iit`ySgtOdqIElD5ifYl;TZcO;9XDrbu)`Rw2tCs@TgGKAO7 z?I;Z_OvNHp9s=w_Bw6sD`R||MjkTqxq+PzdG3?l?#7m;W@~X3UEk3_+JXxN9W-mDQ z6r~U*Iu&sp&l&NZ5V?c6P9y*mX{N@4r)WNJFj)OakCq|BkHld%#&#gs-9;5;ybpB$ zo8i=n<#)AG72g#5)IM}!quM_9? zA2J!ImZZh)yCe66{|3X%CO61|LdH5>^adV4K-@>}kLv;1+F30UB8m5aom0H?C)Q_$fzj$)J_0;R%~wCpR%9| zta(7vQ2fv?EMNBU|_)S_r$-mQxFP(P>teOWSq)F+^weF4+fQ{&K)F?XBM_i zK60N#&(Xdwu-u5QlBv+jWGzD;o=hU^2(%dKUA%OlGRZIOmBWPD6?E@I#KR`|q|s#n z;v~+%A4}f(fk#RZKxc!5Zy_`}2pZ%D&T=Owkr0>wwH@FUK!}6!{kvc*fhkQi6zI=i zQ$yazi?#4bNJ-h*qc6`;d-ZStI=w4WK2@s=o9ReeEtPPFp+uLqTb&-z!K!6eY!|;` zP_U1ZE+z3j=_jWEM5}7+E@JO;1T7p}v5>xq@5hSDbfQm`A=lU=;FUOSt{reSn_6yNGE9`odlrwf&uOa5{UpC+*T$}Wt zzZUNYY(7{MGJS?2%rz#I3U=hhAM%5!8pk~z6p83A3+eb_Tna2y=t>RbYepPh^!HKL70i&J&{$~8KD>|$95-NCw!0XGBE z+w^!Jbx+HAD236IF{A5t@!C3w%}`SdV66FjC^rEe);KQt1x|$d#XlLz1bB{t0qKGL zD{GvrS5K-Nin_WC#-KGB4XtXZ2f2N!agfiXVivFAk!W+l=BC-@)m21ntmS-#Zf{}< zU{TU-$W;83>I{&8@!crMPuRmth<nk&JTF?{t`QxvC(2I;8^7^P`*!i z+H8%>H$J0?>h)>nv+CGW1Wgz&`^CJSu5WPf2?_D=@Tg(+n+}%Z5GJoYfdUwAn%guV z>7|jl=hbcNruk`sm1+$Hz!WtmT_PI8HZ52|e+@Msxq=^vD7Zy*rHwX>MspcTSq%92 zKY#&0VyA$JQl&o-8C!qNC6=%LiXAje{H~4p>4FKEQ=Il_lZY#UI;Sb$Fb#pQ6crcC zk&~12GD~5H_TX~al-4nupckouwA;P~3#!RQVEt-~6=QvSx(;S$am%=e06^SC8X$SS zC+^Rpt@eU(6=P;i?FG5ear4f?dY}zwo!(NgR%vPJUJPRS7aCxqAYv64Sz6$1gqm+> za=m8)ZdvlXk+7t0llYF;7jM#30J78!KIBn!FHftqqeZW*(lN1xfHX6+W$XHDXoFDG z4vY(*SY~XVX(DgLq4NCZDKaV{pVvb8POMzAmQb}o!EwFhccO~0EV7UumwLn0q(}-r zrK$xSFNShux3*JRCiSO{ueKg}JH3h@9;?y#T4QlbS%!StZb*gbBupJmh=3HC_-rX{B7byl$XdCU=2Ld3+ zUWm5r;A<}(1?*t`oRzsGJJ;~w&q!-9n72yQ zjXZ$>bW)*!&|hRdfl^a&`bKepE7>t*$A3hk=%47Tz@ZzXg(ZLVH^c)W?=# z#DN5|%SEgc1gn;mWKN67c&g}?f*2H&#pkS$FC8k2)KnHccFW$EzFk21ddPpVjEjC9 z9Rgk+jBeci7tfa6ZB{}<5p8U3?e#(d=n?I3`NegbRLpjwi))Aqmf7_KVq|+sw7~tD zx&R9^aiM@j#SvNLG4sk23lCa^{N?7D8`GR5AKRWmM#q}OLi_vYBIFet{AM@a%uYfl z7Z)medZZwUXfbNY_G7dSM0Vp=BXDmxeh36FU8HV$+}^S0(a@_SsZf`jT=N-fsne9v zgk}T+mE?c)NfS?DZsy^$j?~|wirkcdx+jc9rn8&EuCA_D7`11%vKof|bu53X0Q&Z%t)mYikDo|*}_fJYwgssU58RUunB`o3c_$vREGxg2#n z4#%Jautfe0XdVP{ax!N!jsWR-Szr`rF`0(l^Am>Rza;+r!a&c%(v?^RK~5h;kN*%g zb~f%(P)>k*t7_4j#CNqjX1?_&24rF3e7&!_j8B8y%iy9-t6Lp*vHABalN(2VoTYNJ zv$$aMLE_DCXP?0&kr|Zc(Jg$Q3Q_+rCX%lBwYM`5d3{t$4hGU!2{(50p0(C3iC@$y zsjZ%EP;b_1HmYu(w2g$(p5mr{>d1RMYTe6y9&AwdUmr{u-N3hRkO{A-0+?5eqpBN)g|u;L0o^J>vulHX+x+Y zu6tU@X`3Ggy(ymW|IaTRb#-+lT~}WcQqqV0!Z>7f^zDVtmz)3Ge+$CLz;gAdXR-Ij zs~XOq&X9M$6O_d^w*-On^=s%xWAq-rTzwV#HUcAjWE)t{*pzk10xG&qXe#Qn?_;w` zZfV371~*T$j{ZSaZO*S>)K5H6UM*mR;F0Rd%1k^@5_Z5Wz+yexGYDMNt+9Etq^O~2pJ zwxzG%QAM2gq!H4Yklk-&;xfI*{S+J?_>PrVW0^R^cl9C9kqLmpM@~VBMygo z05O;eJ+@NramvtPUo_UwMWH)C)H^Oq(4Op+6=oO zUqm8mQYnwu;xZ)8GFjLrXfWpFXzAUkF~}ZH=H~)CB;-cR>sHQC-FCu^v8(eJFDYo_^(Jff5)6O zDP9PomYZ-w*O%va>ke*hwWlO%{x^2I3;fo|V@3;&aKC*-R!X9z;^aOs_OTp6OH_6id*Pn0fX#@zdt0xkNjIKrild@~m5aNy9f?6_A z15LQxiz7QX@LdvweQAqYq&4=>{U3ZYKYNY9OAz7es`|u#y$xZ}YSJf2E2-eTcDJ%fPWo9^b%u4;>QKc;4 z^j7Ub*-P|iGTgSpl=0wAiEgs%vf|bSgc92Rs^KgKvZH>*v^VJW$`ivj)Q!x`qFpT? zF30BUgWs5^4YQo)QIDWb2+V}r_CpcVu)12k`#_e>b#f^1MnUyNeA+VFv;7{wD9wEv zdEH&Q$1;?j$};7k%s1$Ur7Ow)50uHlHv*#7sG1PosCU;Ax_K@p3AC$e-|x8n1e4hGOI})y3`|vM?@sME_Wj97zwy;g2=j? zf(aSX&${j?)`en=Y@zYvdEhp(QkBiB{6-QUten+SktZ_*74CB+^;cgE! zeqSmq5iGnNZ@!Ya9oQG?2PMiW`^+0haE&1M9jZCm?I_eLtTs5^T7=Ow&YhJrfs_a3 zH5`m0H)^RZgWdwB);WhjpN?N2+?=Jeu;W;_?V0R6Le@7nB-GS!#a`~W*mu1$dVC!V zV*Jo;wYM;@jA=cJchF{?kNK08o;zSz8z-GgiMJ+1U5$!2)E2}VV?yQUgN8jyGeWhF zLZT_pM(BbbPn308 z5?LS;EeyFFVx;_PqRbs65cwyNAU5ky4E!X!}x4~|y=U}EJ zjDBWht=5(jeyp=(Vl#6>6kuXVHe?|v$=iq1W{UBSR5ZVAAw@!Q32D%WaEqh{-pUxu z4C}7)WiHt_nC|e7hFs{gt35||&Kz{nd`^Sh4@+_OEaPY^#5RDfoAT83xh13tk%jJ9 zTw64aQRtk4gc2(oE_MCz?9=(F|Mc^-=Yw#mW0mRH>wE0qA7a-roZ+kWrKYX+s$A*$ z&yUYuUrpIaXRp22C#nUyqp21%9RB*UuoLH@UWaaJTn4pM_M;*d z2B^y;<3{y%%?E00hwirK)G#lHNUdp#`Y)J>LB#aTL39+rxpi`mwBcBm;-L|N4o@Kp z3NSTTmDAA-9p_O}QYza+h?cl=JgvGj?Vpsn$J&E#hrx_k#(mkerqX4J-o;1tjg5ll z9%Sc%Zb$PQySsn%9ou<+v?)B{FA>gjK;mcW`4MwzXnbgKt&p@+*|y$@ulb9ahh-qqbs@jn~%#Gw{V)6 z;`Q@{O5GJZ@wg%xzrE#OYQ0&1xsoqi{;roeNM^pd`EE1xvd%H^pD7C;Y7ZE`d0Rqj zyxK-;oP8*XD8+kaXUkLAn%y&t1~)9$FiP z?V9S3nh_%8LSt`b*}PT~D>mFipXenf75TIN;6e04Y(ex~;!@PUOnxX5NVg_^}aT{ydYMVOv|9^%vsYqoxT_Xmo5W=G#0pH=`NuG>`pU z&?_45l4Hxsi74tyC(Q3Pp5WGw)kJ$b?CV$$6SyVod|v}3k9C#g5AfzH+d`)<47cH;{Go3-iLfjXIRTg-s@+JW25ipwrV1lp=TtRDL2axFI4 zlkSb@Q1kMpUTh6u2~1$R3imS&f@N#+1`=V!OPF*@WoN3_;8mbJqULbJTgPs-bk!kt9~UZ6JBmJ1g}D*LdKo< zhhf%iye97M-9=FOP2uW~z9c2DqX6fjc7|=2L$Rc zC|9m`0+nd!O#yea4m-M{m__jMp5D%_&pxjXU3!JYzym}&;oMhlx z7iw>SUvn68{+K$HfwW^&SYuAsELqWe7Ayh_j%sMXPmI<(F?oA6oZq}m{%zHYRIwWcEmHWKsf$Wn}X!y$f)6sFefEe zkKkFe)^@v8-(J|oY8@7rxf6vy(HX`=x^vft4{Vhq0einILS&yfNYxfuXQ%te!ksfz zGTg5}ZPci-%#!sU0jHdxP`5GktwiHzi~D}w)8&0DmUh`qI9c5^cuh-TJzpvDdpHQl z4F2sA(lEhO*}UW3;Qx&E)n6>cw25>!$Fe}*GY}{`fmd_t36d{hU|0N{M-gagd%^ym z9diQ4KdTQhd+WqLrLDv1k7lDJ9WW78H8S8Qr`BoH7!le+R|A$jC?LB=!BcnTVo2eK zwJgN>-Q#tq`gQ}>7F~S76dN?rs$RU8Ek>n>|oypm8VAPCT$3te_l+%=W801}JgtqlBJIC+i=hU~D zTh6Km{y~3vzVN9mKwvS)n-uGeLZ=p^bx)(G>7cODX(a5KI}FKk?|B(|eq{3c)J}O; z%#kUX9Iow6U08K~<7mD&W#WWO&pD3U0Hs^BL&oBYx2)2CC>A^>)$0`Rx%a&l;l3s0 zDIzIw&1UBZ{yVX$Zhy*rI5D|546Zn=VAU5F>1#$%TyHmVYd&U6bSB;3*xOzE zfx7hGDE9ujHjr(ik;8uY#;|iZC)?SzW!g9JyGz&3t!?^)&oMv5p;1)@oVF3YOs@S> zf!aUOyxHL%8NsS;XHQXP8WW=w^YKm<`{BN;?e9cFvuNC=Bzb+Tc6 z@~t%2T+RnGH>#Ue$6wAF-fM1(q`E!U^u+i4x#jX8#ZfF!=rMu32&CfWOrJ z_9&7Gxu?>yt7#_|EQZ|s=o1Yv#&^u Y1{|fv;tQ5&OZzz#t9){x}Lf(Rx3UtMW6#c{Cc0M)MP->@C*=0BQ?U!V|KK^3zO5!jtl~Ky_Y{K#)|WZO^H$+$-Qk z71it6GuLKu<5p%@S>>7w3JO|VTdh(Q;mN0GeZpYSbS9xRWn4fa*H9EiQHFvT0Em&~ z$a2$#8~}W|Wj{otNC&_Xie<7~aU>TVc@^n=Q-Lv(bWtP+06$Bil1l)@A8j-hE{g;Z zdBH$Y6s0N?b^ia5}PNaQMtqM%Vo0B*bHDNT-$ zBg|5?Zm@TpdMG zI)xD6h>ueprFT~1Au$?_pM3Jkh7B9^di}$fMtI^d7kzK~G#9;{{FKq#wFA2u5{4JO>$3~G=Ena4 zo${+sqIo9*9Dd|t-kVvoSrKvFGgPJtrbo*FZcO~b*eubuh{TQ~8gRUr9UGk|@_YSl z#4S4^ufKgb4iE)S?iwq1^|8$O;)^dzOG_W%Y7GWMU0q#nZtjT_CmtX>VR+EHKD(g1 zKR+2bW7;s*pGgGb3mP{s^Z=kPY5?T0XzJA!-^jqv(tWes34pQkn}|d>GVU$66DOYq zVh*C?qq)W4rwcr~jxbn&{+{$Z=iVz!-)IRr=2rv z3~^XPtoHa@!Jdv0WWP8)6#q145QHI6>^H~~Ab7Ngy zqsBl{6lKt+=HNT=W!0smdhaitDVtG(cCEo0TOJ0*I;URJcYF+4~b?0%4#i()j>4 zUL+~&r5SB3%Z+cJvsY0R)!qYU&s?k7Ret`4-pk9nD-muy005qy=l_h~-6W9R&jJ4%? z;WS!Gxq67JLm&)3b^z*&KHdI>Oxm#qjX)UQbaZcwRRRWwCs(cQWpO5fFl?}E|7$e# zxF~=?7=GCGpM*ddUJ%g}Yz`uNg3Zw-`W{!e69~hP4$&J7R{=+c^N?1CKzJ0`0Z>-v zMTJKyfSntovwx@`>M9Wkg9}-PK(IN;K$c*05YZEC4kCJj%|S#@usMk62{s22J;CN6 zq9@oK=22qwTD|uC;ggIRfzvz&^95F7%0RFx=B5l|emZ_q>9&aHYoYAEOc~A`;{qJ9 zyvJ9{tpzb(J(xlx1r)}Yl*87^G7K#}LlHjKF`1H*9) zIHS6)A?wGKfeFa=?@o&1(P%UpFDmazFl9J<_H221xmAiHJo&JoIFZ?IEaI1t-LENw zPA)X<<;Q2`NK66#WR@YI9z#Bk#<%onF0PTJY zy_z!U!M*5SF6n1KgwS z0#&8+0f-tY3(?apO&I_{6!B_%kSMp`ujXRa_1or0eL^-jK2vlcEvfq4rJ_u!0^s*& z%8(i-J-=h|#4`m_Age!92B}o~eZ{;wrwL_9ot3&&Juq&)Bo&w z0wH9@4cd(!W&_o3rVJ(woktx3SPlvX+mt~l6bgmH0bM14Uw{2IFE8)TojV~RAp^}z z7{(ZS+G*$h{N!%(OFW`z|4(1{O)>cHZe|BNg5Fa_+cs}lE`0Sl;66J$v?=HESNeD8iEu6G)yAo?WX{mS@KXC3kCT0dzBE&?zDT zZe&;QLR?VOZP4%-nlhX`dD3V!TB9Vw6Un`^H=GWMa$|Dar%L)ZWuPd^piwo})iw8K zw(yvlG7xN>?xqYBMNzuu#>U2Gi)NOXG7yFj#FT+xb3CXigHf;68klS*@#Z58d+Y#X zd3G#~;q2<3Dbp0qw8HE;f$*3@_mA26hpxo~SAkcbCWSef3`FDaS78GA5I`M8dG9qm@_xFmsBypixc~PZ;)?LV(mK1-uhiBVXu2 z2T)r@rY#A>89JcO;CUxPe6;>Z{yE&K%lYKzh$3H~p{^K#Fj&xzi@9^-ip}@B6KoD5dV1A- z$Jc6BIBDq#Hb*y820GJeu-pD2vt%%;tG_#Xwhe6~#|JDNg7XuG4E@dOZ}--9nlf~> z^!n;p+RTHEeFbf@5;sy8`DIiN!RuMNtB3iap`oG6aw@Jr`m+;;kjoWchb{{Z4Glfg zphJ82rqh(c=Ml8PUKlp#@b_EcPg}9Is?8d8y+4fF>$Nvq`%l+Fed!KbfPcodmip4Iv;hC?Yb}FUw*jI~ zi}k0i_(BbJN~}Nag9FOJ@5YXLBhVE>Eq1z)t|`P>GrO!q(Z*ygi7-E6o-ec=l!E=`1ZB0FWi56ubKQ9 zVAc1Ryk`F;64>_RrNOJ)fH2;uiaw3_cmBw}Q5km{qQ7wac_+`N2L^YsMA=K79~i?0|1AKD;DfqS6tVr<8^=Rhr<`Ec`Vij1Oe?VMJtR^A@u=KpT1 z^0r!QdEN`<`M{d>)7X_K@-TkgI~;c3MHH_042?_WNpfVl>7I&YK4)d69spGG%*16u z%W@#ek_b7)tLBFkHaWXOkr|hM-lR^wA}u;o23G)pJvVfX?4u*yEp*I7b!+R&i^1J8 zkqN+9|1Ccid`a1!wKDUR)|d;NJ7^Z=C&h3>JM=yK2KE7t^(*h(hB|n9eefKX!)X{WrYqO_^GY zzS@yi?YJ&#)ts^R1O3p9*y*0J!6Rmd+|P7yu`<0^o@1M4HxU(UG-wYCc)0{GG1^4TFVQzdVUDiN5O2s$@8Tw@szEBi#+onNy#;=b65QDIqGSD z@n0@^emPH75`5|NuvtxS>qcpqoMy8QRw@UmAI9;<(8-tU+I z;PO()8pBEv9l-4h-n$2bcE8C609MTB2cLS@1;BrQe$eY#m;O%SvUE?0PrfWAVRzN} zGg4VGz;AEBG~mAVsuvvqm=j;-0$_mY%Z&#T_n+Fx3psfp4v6RaGI7lG4SEEP$C>6| zLVCF_3sVNhC?+hz&C{8dAxuae^IWjm+4io{21?6vz zxFiK~Uia%b!Wc6VDARPCEgCm&+@eK``ulWx;M%ooEiElmr%q+D`u+YaxvQ$cjCaPF zeBC0{Q;=yBPC1cu>l6dQylyUC%}Eohzh+C0F12_N5A}_u63-VV@quTUR-KA z3*FwHInn`+&QA7@PTf56`owAUGo}WGIrbS-o%L6~kNfS%)QjGx1a6apYchS^yUKj} zp9P0wet~EIiU-;n4%bd>E~&Uxy2E>Z7z&;jw8%R#YSMnIMzM)Q)7ESx7BF=1HZmL_|MM& z$Px!W%cRqrPh(}h^(TuB#x{y?~U(x18|%DcSFI_=2l0K z(d{}e-?uLE)*@+CtoH~)_CJmA`oBDxOt%m0CiCVAV*Jq)y^>xhc85Q zX!Od<#Xv5fW0vIZ#i~;=3q-x0%fgg_>ANrqTH){L(!lo=-!GS_n3}IY|S+_&~b1{Ve6CeIb*u{$%4;?!6*=L_U zh~fc&HDv)#)^{IL8w|g6+rxg=Pa)o3bff(?R$sY4;>6_1W*?6J=U;xg=acB_JDMNT zT~9^W`gv15m@KBf=7*Enx6JbxaZ96X|G!OLb?K)8UQs(tpSiR0w&q>y5J}th?2q5e zzS23O)$IK^j27^>yv6}cj{=}OvpW?Jw3Pq*wpbYKJC@CKcC0&dH2K^EPVUlOoH;<* z@zPplQ)OYA>-HFuVK2^JP8-YvSM&0^S#War2O&U@b~QX4rWL9`cn>H5xcJv z0N|BacQg_*KF8a8dZ>&Oc{J;<=8dt>AERP8hz{bodrk-~d`=<~LXkKnRSriM#`IRR zIji{qxDg8`ckOLD83#^ekQLsDARQhX$v;hBEyH6#q zj`CaKPYXz{G%0Yjf64AwVwb$^7yBM>g}?W9t>WO@rlCOfkz`uH{J1Np<_G)x1^Cl8 z9n=E)YlW_>KaN|wI{)U~QKON#c1soDGTJ3^^_D98NwQ@Xt^r|!55j1Hu}Ae26d4h` zUF{Q4%n5T}tz1o8@i*RzFj`>XM*06e=#_a(a@OvAb3QHhJwa?3Eim}x#3iqf@6>B+ z?ZF!0RMRha`zoX#To%U!1qu9lAG}8km=#?GAwG5uNPdvV8qD7&iTK6Ip%dIarw4s1 zl8Ct|UdG9~cY==vI5JEUcYAep41mbhubPjNwO2|~5w)QATQ`lOC}UG0!!yOK8>3e? zslae%yRmy}iS^3*8wMAayBnJhXw_=;6YN->=I0vC$>^2vQ< zvpU+U3>IgtN%!;1X;t1-8|W?`qaXNZ)={6^O0AL3WV4w) z%rV?m-c%XrbXO+Z>0xG8fc6T*(UpBqQEe^CR=6?mr^DSRZJH)^D}%*ybMC*3*cbC= zXq8Q>7PxwPFzKd1+Rp4gm#kFpjheFTa+h?EodQ}iV&_$deYfpJ%lV9XBL%c6Jh^J^ zG&UUo-D9Du?2;=#rS7{8UQPg<+&sFw^qAq~=G8T3V6yv~iBeV-9Vplztw6doxKr_k z2{S*Le)RC8RXhL~T7ly2i3!u@z7=KBmu1K7PD;MgjQbM3qubc0tx_H4Xt&;HX6)U@ z4rmUl4|=b#gNvJ09=bWOJf5;fIRMkGE4)12iOud^@J40jmj{k~vMQ4!I&KkqwXLby zCn?cV@lEHCZr}U84B(kcHtiiGQ-bIy0^v!4-qTha~P8f$*rY)dgn+8-@gMCD