From 034e4f236486d5b246e3384bbce549c7d595c7fb Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 23 Aug 2011 07:11:39 -0500 Subject: [PATCH] add test cases for old file 2htdp/image file formats (and fix corresponding bugs) --- collects/2htdp/tests/bmp-5.0.1.rktd | 455 ++++++++++++++++++++ collects/2htdp/tests/bmp-5.1.3.rktd | 631 ++++++++++++++++++++++++++++ collects/2htdp/tests/test-image.rkt | 21 + collects/mrlib/image-core.rkt | 21 +- 4 files changed, 1117 insertions(+), 11 deletions(-) create mode 100644 collects/2htdp/tests/bmp-5.0.1.rktd create mode 100644 collects/2htdp/tests/bmp-5.1.3.rktd diff --git a/collects/2htdp/tests/bmp-5.0.1.rktd b/collects/2htdp/tests/bmp-5.0.1.rktd new file mode 100644 index 0000000000..74428f56e5 --- /dev/null +++ b/collects/2htdp/tests/bmp-5.0.1.rktd @@ -0,0 +1,455 @@ +#reader(lib"read.ss""wxme")WXME0108 ## +#| + This file uses the GRacket editor format. + Open this file in DrRacket version 5.0.1 or later to read it. + + Most likely, it was created by saving a program in DrRacket, + and it probably contains a program with non-text elements + (such as images or comment boxes). + + http://racket-lang.org/ +|# + 28 7 #"wxtext\0" +3 1 6 #"wxtab\0" +1 1 8 #"wxmedia\0" +4 1 8 #"wximage\0" +2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0" +1 0 16 #"drscheme:number\0" +3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0" +1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0" +1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0" +0 0 19 #"drscheme:sexp-snip\0" +0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0" +1 0 30 #"(lib \"image-core.ss\" \"mrlib\")\0" +1 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0" +0 0 29 #"drscheme:bindings-snipclass%\0" +1 0 25 #"(lib \"matrix.ss\" \"htdp\")\0" +1 0 22 #"drscheme:lambda-snip%\0" +1 0 57 +#"(lib \"hrule-snip.rkt\" \"macro-debugger\" \"syntax-browser\")\0" +1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0" +1 0 26 #"drscheme:pict-value-snip%\0" +0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0" +2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0" +1 0 18 #"drscheme:xml-snip\0" +1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0" +1 0 21 #"drscheme:scheme-snip\0" +2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0" +1 0 10 #"text-box%\0" +1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0" +1 0 15 #"test-case-box%\0" +2 0 1 6 #"wxloc\0" + 0 0 44 0 1 #"\0" +0 75 1 #"\0" +0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9 +#"Standard\0" +0 75 25 #"Bitstream Vera Sans Mono\0" +0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24 +#"framework:default-color\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15 +#"text:ports out\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 +-1 2 15 #"text:ports err\0" +0 -1 1 #"\0" +1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 +-1 2 1 #"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17 +#"text:ports value\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 +-1 2 27 #"Matching Parenthesis Style\0" +0 -1 1 #"\0" +1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 +-1 2 1 #"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37 +#"framework:syntax-color:scheme:symbol\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38 +#"framework:syntax-color:scheme:keyword\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 +38 #"framework:syntax-color:scheme:comment\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37 +#"framework:syntax-color:scheme:string\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39 +#"framework:syntax-color:scheme:constant\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42 +#"framework:syntax-color:scheme:parenthesis\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36 +#"framework:syntax-color:scheme:error\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36 +#"framework:syntax-color:scheme:other\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 +38 #"drracket:check-syntax:lexically-bound\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 28 +#"drracket:check-syntax:set!d\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31 +#"drracket:check-syntax:imported\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 47 +#"drracket:check-syntax:my-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 50 +#"drracket:check-syntax:their-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 48 +#"drracket:check-syntax:unk-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 4 1 +#"\0" +0 70 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 4 4 #"XML\0" +0 70 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 4 1 #"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 4 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 +-1 4 1 #"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 +-1 4 1 #"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1 +-1 0 1 #"\0" +0 75 25 #"Bitstream Vera Sans Mono\0" +0.0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 +255 255 1 -1 0 4 11 4 4 11473 +( + #"(#(struct:overlay #(struct:translate 8 8 #(struct:flip #f #(struct:b" + #"itmap #(#\"\\0!!>\\0!!>\\0!!>\\0!!>\\21!!>9\\34\\0347\\205\\31\\0314" + #"\\227\\31\\0314\\227\\31\\0313\\205\\27\\02719\\31\\0311\\21\\34\\03" + #"45\\0\\34\\0345\\0\\e\\e4\\0\\32\\0322\\0\\32\\0322\\0!!>\\0!!>\\0!!" + #">H!!<\\304\\32\\0326\\37766S\\377^^w\\377mm\\204\\377nn\\204\\377aay" + #"\\377;;W\\304\\27\\0270H\\31\\0311\\0\\e\\e4\\0\\32\\0322\\0\\32\\03" + #"22\\0!!>\\0!!>l!!=\\364$$A\\377vv\\216\\377\\301\\301\\322\\377\\361" + #"\\361\\367\\377\\375\\375\\376\\377\\376\\376\\376\\377\\367\\367\\3" + #"74\\377\\313\\313\\333\\377||\\224\\364&&Cl\\31\\0310\\0\\32\\0322\\" + #"0\\32\\0322\\0!!>G!!<\\372##@\\377\\202\\202\\233\\377\\316\\316\\33" + #"5\\377\\322\\322\\336\\377\\312\\312\\330\\377\\312\\312\\327\\377\\" + #"312\\312\\327\\377\\311\\311\\327\\377\\317\\317\\335\\377\\323\\323" + #"\\340\\377\\224\\224\\253\\372##@G\\27\\27/\\0\\32\\0322\\16!!=\\305" + #"\\34\\0347\\377]]{\\377\\261\\261\\307\\377\\275\\275\\316\\377\\365" + #"\\365\\366\\377\\311\\311\\326\\377\\252\\252\\276\\377\\254\\254\\3" + #"01\\377\\245\\245\\272\\377\\341\\" + #"341\\351\\377\\344\\344\\353\\377\\301\\301\\323\\377qq\\214\\305\\2" + #"7\\0270\\16\\30\\03009\\36\\368\\377--J\\377\\202\\202\\236\\377\\23" + #"4\\234\\266\\377\\362\\362\\366\\377\\376\\376\\376\\377\\365\\365\\" + #"370\\377\\261\\261\\306\\377\\222\\222\\253\\377\\330\\330\\341\\377" + #"\\376\\376\\376\\377\\376\\376\\37" + #"6\\377\\232\\232\\261\\377kk\\210\\377&&A9\\25\\25,\\205\\35\\358\\3" + #"77>>[\\377~~\\233\\377zz\\227\\377\\234\\234\\265\\377\\364\\364\\36" + #"7\\377\\376\\376\\376\\377\\364\\364\\366\\377\\335\\335\\346\\377\\" + #"376\\376\\376\\377\\376\\376\\376\\377\\203\\203\\233\\377::Z\\37744" + #"T\\377%%@\\205\\27\\27.\\227\\37\\" + #"37:\\377??\\\\\\377hh\\206\\377aa\\200\\377[[{\\377\\207\\207\\240\\" + #"377\\357\\357\\365\\377\\376\\376\\376\\377\\376\\376\\376\\377\\375" + #"\\375\\376\\377\\177\\177\\227\\377" + #"--M\\37711P\\37755U\\377--I\\227\\30\\0300\\227 :\\37755T\\377LLl\\" + #"377IIi\\377BBb\\377[[|\\377\\327" + #"\\327\\340\\377\\376\\376\\376\\377\\376\\376\\376\\377\\357\\357\\3" + #"65\\377ee\\202\\377++J\\37744S\\37766U\\377++H\\227\\27\\27.\\205\\3" + #"6\\368\\377++G\\377::Y\\37744T\\377NNm\\377\\321\\321\\335\\377\\376" + #"\\376\\376\\377\\375\\375\\376\\377\\357\\357\\365\\377\\376\\376\\3" + #"76\\377\\356\\356\\365\\377ff\\203" + #"\\377..M\\37799X\\377$$@\\205\\24\\24+9\\35\\0357\\377$$@\\37766U\\3" + #"77BBb\\377\\333\\333\\346\\377\\376\\376\\376\\377\\376\\376\\376\\3" + #"77\\202\\202\\231\\377hh\\204\\377\\354\\354\\364\\377\\376\\376\\37" + #"6\\377\\364\\364\\367\\377]]{\\37744S\\377\\36\\03679\\23\\23)\\16\\" + #"35\\0356\\305\\34\\0345\\37744R\\377IIi\\377\\257\\257\\303\\377\\37" + #"5\\375\\375\\377\\215\\215\\244\\3" + #"77<<\\\\\\37799Y\\377vv\\221\\377\\364\\364\\367\\377\\317\\317\\333" + #"\\377TTr\\37700O\\305\\24\\24+\\16\\23\\23*\\0\\34\\0345G\\e\\e2\\37" + #"2\\\"\\\">\\377GGf\\377^^\\177\\377ww\\223\\377QQq\\377QQp\\377RRq\\" + #"377LLl\\377xx\\223\\377bb\\202\\377EEd\\372\\34\\0344G\\22\\22'\\0\\" + #"23\\23*\\0\\34\\0345\\0\\34\\0345l\\" + #"31\\0311\\364##@\\377FFd\\377aa\\2" + #"00\\377mm\\212\\377hh\\206\\377ii\\206\\377mm\\214\\377aa\\200\\377C" + #"Ca\\364\\36\\368l\\22\\22(\\0\\23\\23*\\0\\23\\23*\\0\\34\\0345\\0\\" + #"34\\0345\\0\\e\\e3H\\30\\30/\\304\\3" + #"1\\0311\\377..I\\377AA^\\377UUs\\" + #"377SSr\\377@@\\\\\\377++E\\304\\24\\24,H\\22\\22'\\0\\23\\23*\\0\\23" + #"\\23*\\0\\23\\23*\\0\\34\\0345\\0\\34\\0345\\0\\e\\e3\\0\\31\\0311\\" + #"21\\31\\03109\\24\\24,\\205\\26\\26.\\227\\e\\e3\\227\\31\\0310\\205" + #"\\23\\23+9\\21\\21'\\21\\23\\23*\\0\\23\\23*\\0\\23\\23*\\0\\23\\23*" + #"\\0\\23\\23*\" 16 16) #(#\"\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\\377\\356\\356\\356\\377\\306\\306\\306\\377zzz\\377hhh\\377hh" + #"h\\377zzz\\377\\306\\306\\306\\377\\356\\356\\356\\377\\377\\377\\37" + #"7\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\267\\267" + #"\\267\\377;;;\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377;" + #";;\\377\\267\\267\\267\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\\377\\377\\377\\377\\223\\223\\223\\377\\v\\v\\v\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"v\\v\\v\\377\\223\\223\\223\\377\\3" + #"77\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\270\\270\\270\\377\\5\\5\\5\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\5\\5\\5\\377\\270\\270\\270\\377\\377\\37" + #"7\\377\\377\\361\\361\\361\\377:" + #"::\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377:::\\377\\361\\361\\361\\377\\30" + #"6\\306\\306\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\306\\306\\306\\377zzz\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377zzz\\377hhh\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377hhh\\377hh" + #"h\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377hhh\\3" + #"77zzz\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377zz" + #"z\\377\\306\\306\\306\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\306\\306\\306\\377" + #"\\361\\361\\361\\377:::\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377:::\\377\\" + #"361\\361\\361\\377\\377\\377\\377" + #"\\377\\270\\270\\270\\377\\5\\5\\" + #"5\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\5\\5\\5\\377\\270\\270\\270\\377\\377\\377\\377\\377\\377\\3" + #"77\\377\\377\\377\\377\\377\\377\\223\\223\\223\\377\\v\\v\\v\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\v\\v\\v\\377\\223\\223\\22" + #"3\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\267\\267\\267\\377;;;\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377;;;\\377\\267\\267\\2" + #"67\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\\377\\377\\377\\377\\377\\377\\377\\377\\356\\356\\356\\377\\3" + #"06\\306\\306\\377zzz\\377hhh\\377hhh\\377zzz\\377\\306\\306\\306\\37" + #"7\\356\\356\\356\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\" 16 16) 0 1 1 #f #f))) #(struct:transl" + #"ate 18 18 #(struct:flip #f #(struct:bitmap #(#\"\\0!!>\\0!!>\\0!!>\\" + #"0!!>\\21!!>9\\34\\0347\\205\\31\\0" + #"314\\227\\31\\0314\\227\\31\\0313" + #"\\205\\27\\02719\\31\\0311\\21\\34\\0345\\0\\34\\0345\\0\\e\\e4\\0\\" + #"32\\0322\\0\\32\\0322\\0!!>\\0!!>\\0!!>H!!<\\304\\32\\0326\\37766S\\" + #"377^^w\\377mm\\204\\377nn\\204\\377aay\\377;;W\\304\\27\\0270H\\31\\" + #"0311\\0\\e\\e4\\0\\32\\0322\\0\\32\\0322\\0!!>\\0!!>l!!=\\364$$A\\37" + #"7vv\\216\\377\\301\\301\\322\\377\\361\\361\\367\\377\\375\\375\\376" + #"\\377\\376\\376\\376\\377\\367\\36" + #"7\\374\\377\\313\\313\\333\\377||\\224\\364&&Cl\\31\\0310\\0\\32\\03" + #"22\\0\\32\\0322\\0!!>G!!<\\372##@\\377\\202\\202\\233\\377\\316\\316" + #"\\335\\377\\322\\322\\336\\377\\312\\312\\330\\377\\312\\312\\327\\3" + #"77\\312\\312\\327\\377\\311\\311\\" + #"327\\377\\317\\317\\335\\377\\323\\323\\340\\377\\224\\224\\253\\372" + #"##@G\\27\\27/\\0\\32\\0322\\16!!=\\305\\34\\0347\\377]]{\\377\\261\\" + #"261\\307\\377\\275\\275\\316\\377\\365\\365\\366\\377\\311\\311\\326" + #"\\377\\252\\252\\276\\377\\254\\254\\301\\377\\245\\245\\272\\377\\3" + #"41\\341\\351\\377\\344\\344\\353\\377\\301\\301\\323\\377qq\\214\\30" + #"5\\27\\0270\\16\\30\\03009\\36\\368\\377--J\\377\\202\\202\\236\\377" + #"\\234\\234\\266\\377\\362\\362\\366\\377\\376\\376\\376\\377\\365\\3" + #"65\\370\\377\\261\\261\\306\\377\\" + #"222\\222\\253\\377\\330\\330\\341\\377\\376\\376\\376\\377\\376\\376" + #"\\376\\377\\232\\232\\261\\377kk\\210\\377&&A9\\25\\25,\\205\\35\\35" + #"8\\377>>[\\377~~\\233\\377zz\\227\\377\\234\\234\\265\\377\\364\\364" + #"\\367\\377\\376\\376\\376\\377\\364\\364\\366\\377\\335\\335\\346\\3" + #"77\\376\\376\\376\\377\\376\\376\\376\\377\\203\\203\\233\\377::Z\\3" + #"7744T\\377%%@\\205\\27\\27.\\227\\37\\37:\\377??\\\\\\377hh\\206\\37" + #"7aa\\200\\377[[{\\377\\207\\207\\240\\377\\357\\357\\365\\377\\376\\" + #"376\\376\\377\\376\\376\\376\\377\\375\\375\\376\\377\\177\\177\\227" + #"\\377--M\\37711P\\37755U\\377--I\\227\\30\\0300\\227 :\\37755T\\377" + #"LLl\\377IIi\\377BBb\\377[[|\\377" + #"\\327\\327\\340\\377\\376\\376\\376\\377\\376\\376\\376\\377\\357\\3" + #"57\\365\\377ee\\202\\377++J\\37744S\\37766U\\377++H\\227\\27\\27.\\2" + #"05\\36\\368\\377++G\\377::Y\\37744T\\377NNm\\377\\321\\321\\335\\377" + #"\\376\\376\\376\\377\\375\\375\\376\\377\\357\\357\\365\\377\\376\\3" + #"76\\376\\377\\356\\356\\365\\377ff\\203\\377..M\\37799X\\377$$@\\205" + #"\\24\\24+9\\35\\0357\\377$$@\\37766U\\377BBb\\377\\333\\333\\346\\37" + #"7\\376\\376\\376\\377\\376\\376\\376\\377\\202\\202\\231\\377hh\\204" + #"\\377\\354\\354\\364\\377\\376\\376\\376\\377\\364\\364\\367\\377]]{" + #"\\37744S\\377\\36\\03679\\23\\23)\\16\\35\\0356\\305\\34\\0345\\3774" + #"4R\\377IIi\\377\\257\\257\\303\\377\\375\\375\\375\\377\\215\\215\\2" + #"44\\377<<\\\\\\37799Y\\377vv\\221\\377\\364\\364\\367\\377\\317\\317" + #"\\333\\377TTr\\37700O\\305\\24\\24+\\16\\23\\23*\\0\\34\\0345G\\e\\e" + #"2\\372\\\"\\\">\\377GGf\\377^^\\177\\377ww\\223\\377QQq\\377QQp\\377" + #"RRq\\377LLl\\377xx\\223\\377bb\\202\\377EEd\\372\\34\\0344G\\22\\22'" + #"\\0\\23\\23*\\0\\34\\0345\\0\\34\\0345l\\31\\0311\\364##@\\377FFd\\3" + #"77aa\\200\\377mm\\212\\377hh\\206\\377ii\\206\\377mm\\214\\377aa\\20" + #"0\\377CCa\\364\\36\\368l\\22\\22(\\0\\23\\23*\\0\\23\\23*\\0\\34\\03" + #"45\\0\\34\\0345\\0\\e\\e3H\\30\\30/\\304\\31\\0311\\377..I\\377AA^\\" + #"377UUs\\377SSr\\377@@\\\\\\377++E\\304\\24\\24,H\\22\\22'\\0\\23\\23" + #"*\\0\\23\\23*\\0\\23\\23*\\0\\34\\0345\\0\\34\\0345\\0\\e\\e3\\0\\31" + #"\\0311\\21\\31\\03109\\24\\24,\\205\\26\\26.\\227\\e\\e3\\227\\31\\0" + #"310\\205\\23\\23+9\\21\\21'\\21\\" + #"23\\23*\\0\\23\\23*\\0\\23\\23*\\0\\23\\23*\\0\\23\\23*\" 16 16) #(#" + #"\"\\377\\377\\377\\377\\377\\377\\3" + #"77\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\356\\356\\356\\377\\306\\306\\306\\377zzz\\377hh" + #"h\\377hhh\\377zzz\\377\\306\\306\\" + #"306\\377\\356\\356\\356\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\3" + #"77\\377\\377\\377\\377\\377\\377\\267\\267\\267\\377;;;\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377;;;\\377\\267\\267\\267\\3" + #"77\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\223\\223\\223\\377\\v\\v\\v\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\v\\v\\v\\377\\223\\223\\2" + #"23\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377" + #"\\270\\270\\270\\377\\5\\5\\5\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\5\\5\\5\\377\\270\\270\\270\\3" + #"77\\377\\377\\377\\377\\361\\361\\" + #"361\\377:::\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377:::\\377\\361\\361\\3" + #"61\\377\\306\\306\\306\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\306\\306\\306\\3" + #"77zzz\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377zzz\\377hhh\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7hhh\\377hhh\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377hhh\\377zzz\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377zzz\\377\\306\\306\\306\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\306\\30" + #"6\\306\\377\\361\\361\\361\\377:" + #"::\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377:::\\377\\361\\361\\361\\377\\37" + #"7\\377\\377\\377\\270\\270\\270\\" + #"377\\5\\5\\5\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\5\\5\\5\\377\\270\\270\\270\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\223\\223\\223\\377\\v\\" + #"v\\v\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\v\\v\\v\\377\\223\\223\\223\\377\\377\\377\\377\\3" + #"77\\377\\377\\377\\377\\377\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\267\\267\\267\\377" + #";;;\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377;;;\\377\\" + #"267\\267\\267\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\3" + #"77\\377\\377\\377\\377\\356\\356\\356\\377\\306\\306\\306\\377zzz\\3" + #"77hhh\\377hhh\\377zzz\\377\\306\\306\\306\\377\\356\\356\\356\\377\\" + #"377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377\\377" + #"\\377\" 16 16) 0 1 1 #f #f)))) #(struct:bb 26 26 26))" +) 0 0 4 29 1 #"\n" +0 0 4 29 1 #"\n" +0 0 17 3 36 #";; this file was created with v5.0.1" +0 0 diff --git a/collects/2htdp/tests/bmp-5.1.3.rktd b/collects/2htdp/tests/bmp-5.1.3.rktd new file mode 100644 index 0000000000..25634f4643 --- /dev/null +++ b/collects/2htdp/tests/bmp-5.1.3.rktd @@ -0,0 +1,631 @@ +#reader(lib"read.ss""wxme")WXME0108 ## +#| + This file uses the GRacket editor format. + Open this file in DrRacket version 5.1.3 or later to read it. + + Most likely, it was created by saving a program in DrRacket, + and it probably contains a program with non-text elements + (such as images or comment boxes). + + http://racket-lang.org/ +|# + 28 7 #"wxtext\0" +3 1 6 #"wxtab\0" +1 1 8 #"wximage\0" +2 0 8 #"wxmedia\0" +4 1 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0" +1 0 16 #"drscheme:number\0" +3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0" +1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0" +1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0" +0 0 19 #"drscheme:sexp-snip\0" +0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0" +1 0 68 +( + #"((lib \"image-core.ss\" \"mrlib\") (lib \"image-core-wxme.rkt\" \"mr" + #"lib\"))\0" +) 1 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0" +0 0 29 #"drscheme:bindings-snipclass%\0" +1 0 25 #"(lib \"matrix.ss\" \"htdp\")\0" +1 0 22 #"drscheme:lambda-snip%\0" +1 0 57 +#"(lib \"hrule-snip.rkt\" \"macro-debugger\" \"syntax-browser\")\0" +1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0" +1 0 26 #"drscheme:pict-value-snip%\0" +0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0" +2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0" +1 0 18 #"drscheme:xml-snip\0" +1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0" +1 0 21 #"drscheme:scheme-snip\0" +2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0" +1 0 10 #"text-box%\0" +1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0" +1 0 15 #"test-case-box%\0" +2 0 1 6 #"wxloc\0" + 0 0 53 0 1 #"\0" +0 75 1 #"\0" +0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9 +#"Standard\0" +0 75 25 #"Bitstream Vera Sans Mono\0" +0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24 +#"framework:default-color\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15 +#"text:ports out\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 +-1 2 15 #"text:ports err\0" +0 -1 1 #"\0" +1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 +-1 2 1 #"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17 +#"text:ports value\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 +-1 2 27 #"Matching Parenthesis Style\0" +0 -1 1 #"\0" +1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 +-1 2 1 #"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37 +#"framework:syntax-color:scheme:symbol\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38 +#"framework:syntax-color:scheme:keyword\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 +38 #"framework:syntax-color:scheme:comment\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37 +#"framework:syntax-color:scheme:string\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39 +#"framework:syntax-color:scheme:constant\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42 +#"framework:syntax-color:scheme:parenthesis\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36 +#"framework:syntax-color:scheme:error\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36 +#"framework:syntax-color:scheme:other\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 +38 #"drracket:check-syntax:lexically-bound\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 28 +#"drracket:check-syntax:set!d\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31 +#"drracket:check-syntax:imported\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 47 +#"drracket:check-syntax:my-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 50 +#"drracket:check-syntax:their-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 116 0 0 0 0 -1 -1 2 48 +#"drracket:check-syntax:unk-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 2 +49 #"drracket:check-syntax:both-obligation-style-pref\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 142 28 0 0 0 -1 -1 2 +26 #"plt:htdp:test-coverage-on\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 2 27 +#"plt:htdp:test-coverage-off\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 4 1 +#"\0" +0 70 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 4 4 #"XML\0" +0 70 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 2 1 #"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 37 +#"plt:module-language:test-coverage-on\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 1 +#"\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 176 48 96 0 0 0 -1 -1 2 38 +#"plt:module-language:test-coverage-off\0" +0 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 176 48 96 0 0 0 -1 -1 4 1 +#"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 +-1 -1 4 1 #"\0" +0 -1 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 +-1 4 1 #"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 +-1 4 1 #"\0" +0 71 1 #"\0" +1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1 +-1 0 1 #"\0" +0 75 25 #"Bitstream Vera Sans Mono\0" +0.0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 +255 255 1 -1 0 4 11 4 4 19373 +( + #"(#(struct:overlay #(struct:translate 0 0 #(struct:translate 27/2 14 " + #"#(struct:bitmap #(#\"\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\377\\377\\377\\377\\" + #"0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\" + #"377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\" + #"377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\" + #"377\\377\\377\\233\\377\\377\\377" + #"\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\3777\\377\\377\\377\\233" + #"\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\2" + #"33\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\" + #"377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\" + #"377\\377\\0\\377\\377\\3777\\377\\" + #"377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\377\\377\\377\\" + #"377\\0\\0\\0\\233\\377\\377\\377\\2" + #"33\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\" + #"377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\3" + #"77\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233" + #"\\377\\377\\3777\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\233\\37" + #"7\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\2" + #"33\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\" + #"377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\31\\3" + #"77\\377\\377\\233\\332\\332\\332\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\23" + #"3\\377\\377\\3777\\377\\377\\377\\" + #"233\\377\\377\\377\\233\\377\\377\\377\\377111\\233\\332\\332\\332\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\255\\255\\255\\377ccc" + #"\\233\\377\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\233\\377\\" + #"377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\233\\377\\377\\377\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377" + #"\\233\\377\\377\\377\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377" + #"\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\3" + #"77\\0\\0\\0\\233\\377\\377\\377\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\37" + #"7\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\" + #"377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\23" + #"3\\377\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\233\\377\\377\\377\\233\\377\\377\\377\\233\\377\\377\\377\\" + #"233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\336\\0\\0\\377\\0\\0\\0\\233\\" + #"377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\" + #"377\\233\\377\\377\\3777\\377\\377\\377\\377\\377\\0\\0\\377\\377\\0" + #"\\0\\377\\234\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\214\\0\\0007\\377\\37" + #"7\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\23" + #"3\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\" + #"31\\377\\377\\377\\377\\377\\0\\0" + #"\\377c\\0\\0\\377\\377\\0\\0\\377" + #"B\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\3" + #"77\\377\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377c\\0\\0\\377s\\0\\0\\3" + #"77\\0\\0\\0\\233\\377\\377\\377\\23" + #"3\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377" + #"\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\377\\0\\0\\37" + #"7\\214\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0" + #"\\377\\0\\0\\0\\377B\\0\\0\\377\\3" + #"77\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0" + #"\\377\\234\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377" + #"\\377\\3777\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\3" + #"77\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\3" + #"77\\0\\0007\\377\\377\\377\\377\\" + #"377\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\37" + #"7\\377\\0\\0\\377\\0\\0\\0\\377\\3" + #"77\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377\\" + #"214\\0\\0\\233\\377\\377\\377\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\233\\3" + #"77\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\233\\3" + #"77\\377\\377\\377\\377\\0\\0\\31\\377\\377\\377\\377\\377\\0\\0\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\214\\0\\0\\377\\0\\0\\0\\377\\214\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377B\\0\\0\\233\\377" + #"\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377" + #"\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\23" + #"3\\377\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\31\\377\\377\\377\\3" + #"77\\377\\0\\0\\377\\377\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\214" + #"\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\214\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\275\\0\\0\\377\\214\\0\\0\\377\\2" + #"14\\0\\0\\377\\234\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\233\\3" + #"77\\377\\377\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\" + #"0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\214\\0\\0\\377\\377\\0\\0\\377" + #"1\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377s\\0\\0\\377\\" + #"377\\0\\0\\377c\\0\\0\\377s\\0\\0\\377\\234\\0\\0\\377\\234\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\3" + #"77\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\233\\377\\377\\377\\377\\377\\" + #"0\\0\\377\\0\\0\\0\\377\\377\\0\\0" + #"\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\377\\" + #"0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377c" + #"\\0\\0\\377s\\0\\0\\377\\234\\0\\0\\377\\0\\0\\0\\377\\214\\0\\0\\23" + #"3\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\" + #"0\\0\\377\\0\\0\\0\\377\\377\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\214\\0\\0\\377\\0\\0\\0\\377\\214" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\377\\0\\0\\377c\\0\\0\\377\\214\\0\\0\\377\\234\\0\\0\\377\\234" + #"\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\233\\377\\377\\377\\377\\377\\0\\0\\31\\377\\377\\37" + #"7\\377\\377\\0\\0\\377\\377\\0\\0\\" + #"377B\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0" + #"\\377\\377\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377c\\0\\0\\377\\234\\" + #"0\\0\\377s\\0\\0\\377\\214\\0\\0\\377c\\0\\0\\233\\377\\377\\377\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\3777\\3" + #"77\\377\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\3771\\0\\0\\377\\0" + #"\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377!\\0\\0007\\377\\377\\377" + #"\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\37" + #"7\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\" + #"377\\3777\\377\\377\\377\\31\\377\\377\\377\\377\\377\\0\\0\\377\\37" + #"7\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\3" + #"77\\0\\0\\377\\0\\0\\0\\377\\377\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377c\\0\\0\\31\\37" + #"7\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\" + #"377\\377\\3777\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\2" + #"33\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\31\\377\\377\\3" + #"77\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\" + #"377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\" + #"377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\214\\0\\0\\377\\2" + #"14\\0\\0\\3771\\0\\0\\31\\377\\377" + #"\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\233\\37" + #"7\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\31\\3" + #"77\\377\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\3" + #"77\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0" + #"\\377\\0\\0\\0\\377\\377\\0\\0\\37" + #"7!\\0\\0\\377\\214\\0\\0\\377R\\0\\0\\31\\377\\377\\377\\0\\377\\377" + #"\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\233\\377\\377\\3777\\377\\377\\" + #"377\\233\\377\\377\\377\\233\\377" + #"\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\" + #"377\\377\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\" + #"0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\" + #"377\\0\\0\\377B\\0\\0\\377\\234\\0\\0\\377c\\0\\0\\377B\\0\\0\\31\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\23" + #"3\\377\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\377\\" + #"377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0" + #"\\0\\377\\0\\0\\0\\377\\377\\0\\0\\" + #"377B\\0\\0\\377s\\0\\0\\377\\214\\0\\0\\377B\\0\\0\\31\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\377\\377\\0\\0" + #"\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377s\\0\\0" + #"\\377\\214\\0\\0\\377c\\0\\0\\3771" + #"\\0\\0\\31\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377" + #"\\377\\377\\31\\377\\377\\377\\377!\\0\\0\\377\\377\\0\\0\\377\\0\\0" + #"\\0\\377\\234\\0\\0\\377R\\0\\0\\31\\377\\377\\377\\31\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\" 27 2" + #"8) #f 0 1 1 #hash()))) #(struct:translate 0 28 #(struct:translate 0 " + #"28 #(struct:translate 27/2 -14 #(s" + #"truct:flip #t #(struct:bitmap #(#\"\\0\\377\\377\\377\\0\\377\\377\\" + #"377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\233\\377\\377\\377\\377\\0" + #"\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\377\\" + #"377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3" + #"777\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\" + #"377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\" + #"377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\3777\\377\\3" + #"77\\377\\233\\377\\377\\3777\\377" + #"\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\3777\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\377\\377\\377" + #"\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377" + #"\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\" + #"377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\3" + #"77\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\377\\" + #"233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\3777\\377\\377\\3" + #"77\\233\\377\\377\\377\\377\\0\\0\\" + #"0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\233\\377\\377\\377\\377" + #"\\0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\" + #"377\\377\\377\\0\\377\\377\\3777\\" + #"377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\" + #"377\\377\\377\\0\\377\\377\\3777\\" + #"377\\377\\377\\233\\377\\377\\377" + #"\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\" + #"377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\233" + #"\\332\\332\\332\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\" + #"0\\0\\0\\233\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\" + #"377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377" + #"\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377" + #"7\\377\\377\\377\\233\\377\\377\\377\\233\\377\\377\\377\\377111\\23" + #"3\\332\\332\\332\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\255" + #"\\255\\255\\377ccc\\233\\377\\377\\377\\233\\377\\377\\3777\\377\\37" + #"7\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\3" + #"77\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233" + #"\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"77\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\233\\37" + #"7\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\" + #"377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\3" + #"77\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\3" + #"77\\377\\233\\377\\377\\377\\233\\" + #"377\\377\\377\\233\\377\\377\\377" + #"\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\336\\0\\0\\37" + #"7\\0\\0\\0\\233\\377\\377\\3777\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\37" + #"7\\3777\\377\\377\\377\\377\\377" + #"\\0\\0\\377\\377\\0\\0\\377\\234\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\0\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\2" + #"14\\0\\0007\\377\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\" + #"0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\3" + #"77\\233\\377\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\31\\377\\377\\" + #"377\\377\\377\\0\\0\\377c\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\37" + #"7\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\3" + #"77B\\0\\0\\377\\377\\0\\0\\377c\\0\\0\\377s\\0\\0\\377\\0\\0\\0\\233" + #"\\377\\377\\377\\233\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377" + #"\\377\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\233\\377\\377\\377\\377\\377\\0\\0\\377\\214\\0\\0\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\377\\377" + #"\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377\\234\\0\\0" + #"\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\377" + #"\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\37" + #"7\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\377\\0\\0007\\377" + #"\\377\\377\\377\\377\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0" + #"\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0" + #"\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\" + #"377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377\\214\\0\\0\\233\\3" + #"77\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3777\\377\\" + #"377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\" + #"377\\377\\233\\377\\377\\377\\377\\377\\0\\0\\31\\377\\377\\377\\377" + #"\\377\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\3" + #"77\\214\\0\\0\\377\\0\\0\\0\\377\\214\\0\\0\\377\\0\\0\\0\\377\\0\\0" + #"\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377" + #"B\\0\\0\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\" + #"0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\" + #"377\\377\\377\\233\\377\\377\\37" + #"7\\377\\0\\0\\0\\377\\377\\0\\0\\31\\377\\377\\377\\377\\377\\0\\0\\" + #"377\\377\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\214\\0\\0\\377\\377" + #"\\0\\0\\377\\0\\0\\0\\377\\377\\0\\" + #"0\\377\\214\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\275\\0\\0\\377\\" + #"214\\0\\0\\377\\214\\0\\0\\377\\234\\0\\0\\377\\0\\0\\0\\233\\377\\3" + #"77\\377\\233\\377\\377\\377\\377\\" + #"0\\0\\0\\233\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377" + #"\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377" + #"\\377\\0\\0\\377\\214\\0\\0\\377\\377\\0\\0\\3771\\0\\0\\377\\0\\0\\" + #"0\\377B\\0\\0\\377\\377\\0\\0\\377s\\0\\0\\377\\377\\0\\0\\377c\\0\\" + #"0\\377s\\0\\0\\377\\234\\0\\0\\37" + #"7\\234\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\37" + #"7\\3777\\377\\377\\377\\233\\377" + #"\\377\\377\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\377\\0\\0\\377\\0\\0\\0" + #"\\377\\377\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0\\377\\0\\" + #"0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377c\\0\\0\\377s\\0\\0\\377\\234\\0\\0\\377\\0\\0\\0\\37" + #"7\\214\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\37" + #"7\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\377\\0\\0\\377\\377\\" + #"0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\37" + #"7\\0\\0\\0\\377\\214\\0\\0\\377\\0" + #"\\0\\0\\377\\214\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\377\\0\\0\\377c\\0\\0\\377\\214\\0\\0\\377\\23" + #"4\\0\\0\\377\\234\\0\\0\\377\\0\\0\\" + #"0\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233" + #"\\377\\377\\377\\377\\377\\0\\0\\31\\377\\377\\377\\377\\377\\0\\0\\" + #"377\\377\\0\\0\\377B\\0\\0\\377\\3" + #"77\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\" + #"377B\\0\\0\\377\\377\\0\\0\\377c\\0\\0\\377\\234\\0\\0\\377s\\0\\0\\" + #"377\\214\\0\\0\\377c\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0" + #"\\0\\0\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\377\\0" + #"\\0\\0\\233\\377\\377\\377\\233\\37" + #"7\\377\\3777\\377\\377\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\37" + #"7\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377" + #"1\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\" + #"0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377\\214\\0\\0\\377!\\0\\0007" + #"\\377\\377\\377\\233\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0\\" + #"0\\233\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\377\\0\\0" + #"\\0\\233\\377\\377\\3777\\377\\377\\377\\31\\377\\377\\377\\377\\377" + #"\\0\\0\\377\\377\\0\\0\\377\\0\\0\\" + #"0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\" + #"0\\0\\0\\377\\377\\0\\0\\377\\0\\0" + #"\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\0\\0\\0\\377\\234\\0\\0\\377" + #"c\\0\\0\\31\\377\\377\\3777\\377\\3" + #"77\\377\\233\\377\\377\\377\\377\\" + #"0\\0\\0\\233\\377\\377\\3777\\377\\377\\3777\\377\\377\\377\\233\\37" + #"7\\377\\377\\233\\377\\377\\377\\377\\0\\0\\0\\233\\377\\377\\377\\3" + #"1\\377\\377\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\37" + #"7\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\0\\0" + #"\\377B\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\214" + #"\\0\\0\\377\\214\\0\\0\\3771\\0\\0\\31\\377\\377\\377\\233\\377\\377" + #"\\377\\377\\0\\0\\0\\233\\377\\377\\377\\233\\377\\377\\3777\\377\\3" + #"77\\377\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\3" + #"77\\3777\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\377\\3" + #"77\\0\\0\\377\\377\\0\\0\\377\\37" + #"7\\0\\0\\377\\377\\0\\0\\377\\0\\0" + #"\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377" + #"\\377\\0\\0\\377!\\0\\0\\377\\214\\0\\0\\377R\\0\\0\\31\\377\\377\\3" + #"77\\0\\377\\377\\3777\\377\\377\\3" + #"77\\233\\377\\377\\377\\377\\0\\0\\0\\377\\0\\0\\0\\233\\377\\377\\3" + #"777\\377\\377\\377\\233\\377\\377\\377\\233\\377\\377\\3777\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\377\\" + #"377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0" + #"\\0\\377B\\0\\0\\377\\0\\0\\0\\377B\\0\\0\\377\\377\\0\\0\\377B\\0\\" + #"0\\377\\234\\0\\0\\377c\\0\\0\\377B\\0\\0\\31\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\3777\\377\\377\\377\\233\\377\\377\\377\\23" + #"3\\377\\377\\3777\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377" + #"\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377\\3" + #"77\\377\\377\\377\\0\\0\\377\\377\\0\\0\\377\\377\\0\\0\\377\\0\\0\\" + #"0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377s\\0" + #"\\0\\377\\214\\0\\0\\377B\\0\\0\\31\\377\\377\\377\\0\\377\\377\\377" + #"\\0\\377\\377\\377\\0\\377\\377\\3" + #"77\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\37" + #"7\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377" + #"\\377\\377\\0\\377\\377\\377\\0\\3" + #"77\\377\\377\\0\\377\\377\\377\\0\\" + #"377\\377\\377\\31\\377\\377\\377" + #"\\377\\377\\0\\0\\377\\0\\0\\0\\377\\377\\0\\0\\377B\\0\\0\\377\\0\\" + #"0\\0\\377s\\0\\0\\377\\214\\0\\0\\377c\\0\\0\\3771\\0\\0\\31\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\37" + #"7\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0" + #"\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\377\\377\\31\\377\\377\\377\\31\\37" + #"7\\377\\377\\377!\\0\\0\\377\\377\\0\\0\\377\\0\\0\\0\\377\\234\\0\\" + #"0\\377R\\0\\0\\31\\377\\377\\377\\31\\377\\377\\377\\0\\377\\377\\37" + #"7\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377\\377\\0\\377\\377" + #"\\377\\0\\377\\377\\377\\0\\377\\3" + #"77\\377\\0\\377\\377\\377\\0\\377\\377\\377\" 27 28) #f 0 1 1 #hash(" + #"))))))) #(struct:bb 27 56 56) #f)" +) 0 0 4 29 1 #"\n" +0 0 4 29 1 #"\n" +0 0 17 3 32 #";; this file created with v5.1.3" +0 0 diff --git a/collects/2htdp/tests/test-image.rkt b/collects/2htdp/tests/test-image.rkt index dc3f002c61..4dc790187c 100644 --- a/collects/2htdp/tests/test-image.rkt +++ b/collects/2htdp/tests/test-image.rkt @@ -1407,6 +1407,27 @@ => #t)) +(define (get-from-file f) + (define t (new text%)) + (send t load-file f) + (send t find-first-snip)) + +(define-runtime-path bmp-5.1.3.rktd "bmp-5.1.3.rktd") +(let () + (define b1 (get-from-file bmp-5.1.3.rktd)) + (define b2 (get-from-file bmp-5.1.3.rktd)) + (test (image? b1) => #t) + ;; test that the drawing code doesn't crash (since the images are not + ;; eq?, they'll be drawn to be compared) + (test (equal? b1 b2) => #t)) + +(define-runtime-path bmp-5.0.1.rktd "bmp-5.0.1.rktd") +(let () + (define b1 (get-from-file bmp-5.0.1.rktd)) + (define b2 (get-from-file bmp-5.0.1.rktd)) + (test (image? b1) => #t) + (test (equal? b1 b2) => #t)) + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; diff --git a/collects/mrlib/image-core.rkt b/collects/mrlib/image-core.rkt index b306fe2784..27686daa23 100644 --- a/collects/mrlib/image-core.rkt +++ b/collects/mrlib/image-core.rkt @@ -452,12 +452,11 @@ has been moved out). (= arg-count 7)) ;; we changed the arity of the bitmap constructor from old versions, ;; so fix it up here. - (make-bitmap (list-ref parsed-args 0) - (list-ref parsed-args 1) - (list-ref parsed-args 2) - (list-ref parsed-args 3) - (list-ref parsed-args 4) - (make-hash))] + (make-ibitmap (list-ref parsed-args 0) + (list-ref parsed-args 2) + (list-ref parsed-args 3) + (list-ref parsed-args 4) + (make-hash))] [(and (eq? tag 'struct:bitmap) (= arg-count 6)) ;; we changed the arity of the bitmap constructor from old versions, @@ -466,11 +465,11 @@ has been moved out). ;; and the mask field was dropped in favor of always having an alpha bitmap in the ;; raw-bitmap field. The bytes that were written out always had the mask ;; factored in, tho (which led to a bug) so we can just ignore the mask here - (make-bitmap (list-ref parsed-args 0) - (list-ref parsed-args 2) - (list-ref parsed-args 3) - (list-ref parsed-args 4) - (make-hash))] + (make-ibitmap (list-ref parsed-args 0) + (list-ref parsed-args 2) + (list-ref parsed-args 3) + (list-ref parsed-args 4) + (make-hash))] [(and (eq? tag 'struct:color) (= arg-count 3)) ;; we changed the arity of the color constructor from old versions,