diff --git a/collects/htdp/Test/matrix-example.ss b/collects/htdp/Test/matrix-example.ss index e13f5c4ebe..6dcd86a304 100644 --- a/collects/htdp/Test/matrix-example.ss +++ b/collects/htdp/Test/matrix-example.ss @@ -1,7 +1,7 @@ #reader(lib"read.ss""wxme")WXME0108 ## #| This file uses the PLT Scheme editor format. - Open this file in DrScheme version 4.2.2.1 or later to read it. + Open this file in DrScheme version 4.2.2.6 or later to read it. Most likely, it was created by saving a program in DrScheme, and it probably contains a program with non-text elements @@ -9,7 +9,7 @@ http://www.plt-scheme.org |# - 27 7 #"wxtext\0" + 44 7 #"wxtext\0" 3 1 6 #"wxtab\0" 1 1 8 #"wxmedia\0" 4 1 8 #"wximage\0" @@ -19,11 +19,28 @@ 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" +0 0 40 #"(lib \"image-core.ss\" \"2htdp\" \"private\")\0" +1 0 36 #"(lib \"cache-image-snip.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 8 #"gb:core\0" +5 0 10 #"gb:canvas\0" +5 0 17 #"gb:editor-canvas\0" +5 0 10 #"gb:slider\0" +5 0 9 #"gb:gauge\0" +5 0 11 #"gb:listbox\0" +5 0 12 #"gb:radiobox\0" +5 0 10 #"gb:choice\0" +5 0 8 #"gb:text\0" +5 0 11 #"gb:message\0" +5 0 10 #"gb:button\0" +5 0 12 #"gb:checkbox\0" +5 0 18 #"gb:vertical-panel\0" +5 0 9 #"gb:panel\0" +5 0 20 #"gb:horizontal-panel\0" +5 0 33 #"(lib \"readable.ss\" \"guibuilder\")\0" 1 0 56 #"(lib \"hrule-snip.ss\" \"macro-debugger\" \"syntax-browser\")\0" 1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0" @@ -38,12 +55,12 @@ 1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0" 1 0 15 #"test-case-box%\0" 2 0 1 6 #"wxloc\0" - 0 0 113 0 1 #"\0" + 0 0 114 0 1 #"\0" 0 75 1 #"\0" 0 12 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 13 #" Inconsolata\0" -0 20 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 75 23 #"Lucida Sans Typewriter\0" +0 12 90 -1 90 -1 1 -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 @@ -55,20 +72,20 @@ 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 150 0 150 0 -0 0 -1 -1 2 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.0 0.0 1.0 1.0 1.0 255 0 0 0 0 -0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 175 0 0 -0 -1 -1 2 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" @@ -76,53 +93,53 @@ 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 38 38 128 0 -0 0 -1 -1 2 37 #"framework:syntax-color:scheme:symbol\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 38 38 128 0 -0 0 -1 -1 2 38 #"framework:syntax-color:scheme:keyword\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 38 38 128 0 -0 0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 194 116 31 0 -0 0 -1 -1 2 38 #"framework:syntax-color:scheme:comment\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 194 116 31 0 -0 0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 41 128 38 0 -0 0 -1 -1 2 37 #"framework:syntax-color:scheme:string\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 41 128 38 0 -0 0 -1 -1 2 39 #"framework:syntax-color:scheme:constant\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 41 128 38 0 -0 0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 132 60 36 0 -0 0 -1 -1 2 42 #"framework:syntax-color:scheme:parenthesis\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 132 60 36 0 -0 0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0 -0 -1 -1 2 36 #"framework:syntax-color:scheme:error\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 0 -1 -1 -1 -1 -1 -1 0 0 0 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" +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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 36 #"framework:syntax-color:scheme:other\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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 81 112 203 0 -0 0 -1 -1 2 38 #"drscheme:check-syntax:lexically-bound\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 #"drscheme:check-syntax:lexically-bound\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 81 112 203 0 -0 0 -1 -1 2 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 #"drscheme:check-syntax:set!d\0" @@ -130,11 +147,11 @@ 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 68 0 203 0 0 -0 -1 -1 2 31 #"drscheme:check-syntax:imported\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 +#"drscheme:check-syntax:imported\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 68 0 203 0 0 -0 -1 -1 4 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 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" @@ -145,7 +162,22 @@ 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 8 24 #"drscheme:text:ports err\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 0 1 +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 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 -1 1 #"\0" +1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 200 0 0 0 0 0 -1 -1 0 1 #"\0" 0 75 13 #" Inconsolata\0" 0.0 20 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 @@ -154,11 +186,11 @@ 0.0 12 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 2 41 #"profj:syntax-colors:scheme:block-comment\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 194 116 31 0 -0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:keyword\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 +35 #"profj:syntax-colors:scheme:keyword\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0 0 0 -1 -1 2 37 #"profj:syntax-colors:scheme:prim-type\0" @@ -166,8 +198,8 @@ 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 0 0 0 -1 -1 2 38 #"profj:syntax-colors:scheme:identifier\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 38 38 128 0 -0 0 -1 -1 2 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 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 34 #"profj:syntax-colors:scheme:string\0" @@ -178,35 +210,20 @@ 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:comment\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 194 116 31 0 -0 0 -1 -1 2 33 #"profj:syntax-colors:scheme:error\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 +33 #"profj:syntax-colors:scheme:error\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0 -0 -1 -1 2 35 #"profj:syntax-colors:scheme:default\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 35 +#"profj:syntax-colors:scheme:default\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 37 #"profj:syntax-colors:scheme:uncovered\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 37 +#"profj:syntax-colors:scheme:uncovered\0" 0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 --1 -1 2 35 #"profj:syntax-colors:scheme:covered\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 35 +#"profj:syntax-colors:scheme:covered\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 139 0 139 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.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.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.0 0.0 1.0 1.0 1.0 0 100 0 0 0 -0 -1 -1 0 1 #"\0" -0 -1 1 #"\0" -1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 200 0 0 0 0 -0 -1 -1 22 1 #"\0" +0 0 -1 -1 22 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0.0 0.0 0.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 15 1 #"\0" @@ -374,7 +391,10 @@ 255 255 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 255 0 0 0 0 -0 -1 -1 0 507 0 4 3 85 +0 -1 -1 0 1 #"\0" +0 75 23 #"Lucida Sans Typewriter\0" +0.0 12 90 -1 90 -1 1 -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 748 0 4 3 85 ( #";; The first three lines of this file were inserted by DrScheme. The" #"y record metadata" @@ -384,98 +404,299 @@ #";; about the language level of this file in a form that our tools ca" #"n easily process." ) 0 0 4 29 1 #"\n" -0 0 4 3 193 +0 0 4 3 192 ( #"#reader(lib \"htdp-intermediate-lambda-reader.ss\" \"lang\")((modnam" - #"e matrix-example1) (read-case-sensitive #t) (teachpacks ()) (htdp-se" - #"ttings #(#t constructor repeating-decimal #f #t none #f ())))" + #"e matrix-example) (read-case-sensitive #t) (teachpacks ()) (htdp-set" + #"tings #(#t constructor repeating-decimal #f #t none #f ())))" ) 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 7 #"require" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 3 #"lib" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 19 3 11 #"\"matrix.ss\"" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 19 3 6 #"\"htdp\"" -0 0 22 3 2 #"))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 26 #";; Matrix Matrix -> Matrix" -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 20 #";; add two matrices " -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #"+m" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 2 #" " +0 0 68 29 1 #"\n" +0 0 68 3 2 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"build-matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-rows" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-cols" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 16 #" " +0 0 68 29 1 #"\n" +0 0 68 3 16 #" " 0 0 22 3 1 #"(" 0 0 15 3 6 #"lambda" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 18 #" " +0 0 68 29 1 #"\n" +0 0 68 3 18 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"+" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-ref" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 21 #" " +0 0 68 29 1 #"\n" +0 0 68 3 21 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-ref" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" -0 0 22 3 5 #")))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" -0 0 14 3 12 #"check-expect" -0 0 4 3 1 #" " +0 0 15 3 6 #"define" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 68 3 2 #" " +0 14 4 68 12523 +( + #"(((2 3 4) (2 0 2)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0" + #" 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 153 " + #"0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 204 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 51 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 238 0 0 0 34 0 0 0 221 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" + #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 85 0 0 0 153 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 " + #"187 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 0 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 119 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 238 0 0 " + #"0 102 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 " + #"0 0 0 204 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0" + #" 0 0 17 0 0 0 17 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 " + #"0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238 0 0 0 238 0 0 " + #"0 34 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 68 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 68 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 51 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" + #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 20" + #"4 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 68 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 " + #"0 238 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0" + #" 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0 0 0" + #" 0 0 0 119 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" + #") 40 0 0))\0" +) 0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 22 3 1 #"(" +0 0 15 3 6 #"define" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #"+m" -0 0 4 3 1 #" " -0 13 4 4 12527 +0 0 68 3 1 #" " +0 14 4 68 12527 ( #"(((1 2 3) (0 0 1)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" @@ -662,8 +883,8 @@ #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" #" 0 0) 40 0 0))\0" -) 0 0 4 3 1 #" " -0 13 4 4 12526 +) 0 0 68 3 1 #" " +0 14 4 68 12526 ( #"(((1 1 1) (2 0 1)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" @@ -851,263 +1072,567 @@ #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " #"0 0) 40 0 0))\0" ) 0 0 22 3 1 #")" -0 0 4 3 1 #" " -0 13 4 4 12523 -( - #"(((2 3 4) (2 0 2)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0" - #" 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 153 " - #"0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 204 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 51 0 0 0 0 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 238 0 0 0 34 0 0 0 221 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" - #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 85 0 0 0 153 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 " - #"187 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 0 0 0 0 0 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 119 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0" - #" 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 238 0 0 " - #"0 102 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 " - #"0 0 0 204 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0" - #" 0 0 17 0 0 0 17 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 " - #"0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238 0 0 0 238 0 0 " - #"0 34 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 68 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 68 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 51 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" - #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 20" - #"4 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " - #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 68 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 " - #"0 238 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " - #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " - #"0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0" - #" 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 " - #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " - #"0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 25" - #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0 0 0" - #" 0 0 0 119 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" - #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" - #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" - #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" - #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" - #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" - #") 40 0 0))\0" -) 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 17 3 27 #";; Number Matrix -> Matrix " -0 0 4 29 1 #"\n" -0 0 17 3 35 #";; multiply a matrix with a scalar " -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 22 3 1 #"(" +0 0 14 3 7 #"require" +0 0 68 3 1 #" " +0 0 14 3 10 #"htdp/image" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " +0 0 14 3 7 #"m1:list" +0 0 68 3 1 #" " 0 0 22 3 1 #"(" -0 0 14 3 2 #"*s" -0 0 4 3 1 #" " -0 0 14 3 1 #"s" -0 0 4 3 1 #" " -0 0 14 3 3 #"mat" +0 0 14 3 17 #"image->color-list" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 2 #" " -0 0 22 3 1 #"(" -0 0 14 3 12 #"build-matrix" -0 0 4 3 1 #" " -0 0 22 3 1 #"(" -0 0 14 3 11 #"matrix-rows" -0 0 4 3 1 #" " -0 0 14 3 3 #"mat" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" -0 0 14 3 11 #"matrix-cols" -0 0 4 3 1 #" " -0 0 14 3 3 #"mat" +0 0 15 3 6 #"define" +0 0 68 3 1 #" " +0 0 14 3 7 #"m2:list" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 17 #"image->color-list" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 16 #" " +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" -0 0 15 3 6 #"lambda" -0 0 4 3 1 #" " +0 0 15 3 6 #"define" +0 0 68 3 1 #" " 0 0 22 3 1 #"(" +0 0 14 3 4 #"diff" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " -0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 29 1 #"\n" +0 0 68 3 2 #" " 0 0 22 3 1 #"(" -0 0 14 3 1 #"*" -0 0 4 3 1 #" " -0 0 14 3 1 #"s" -0 0 4 3 1 #" " +0 0 15 3 4 #"cond" +0 0 68 29 1 #"\n" +0 0 68 3 4 #" " +0 0 22 3 1 #"[" 0 0 22 3 1 #"(" -0 0 14 3 10 #"matrix-ref" -0 0 4 3 1 #" " -0 0 14 3 3 #"mat" -0 0 4 3 1 #" " +0 0 14 3 6 #"empty?" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"list" +0 0 68 3 1 #" " +0 0 20 3 1 #"'" +0 0 14 3 3 #"m2:" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " -0 0 14 3 1 #"j" -0 0 22 3 5 #")))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #"]" +0 0 68 29 1 #"\n" +0 0 68 3 4 #" " +0 0 22 3 1 #"[" +0 0 22 3 1 #"(" +0 0 14 3 6 #"empty?" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"list" +0 0 68 3 1 #" " +0 0 20 3 1 #"'" +0 0 14 3 3 #"m1:" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 68 3 1 #" " +0 0 14 3 1 #"i" +0 0 22 3 1 #")" +0 0 22 3 1 #"]" +0 0 68 29 1 #"\n" +0 0 68 3 4 #" " +0 0 22 3 1 #"[" +0 0 14 3 4 #"else" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 2 #"if" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 6 #"equal?" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 5 #"first" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 5 #"first" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 14 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"diff" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"rest" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"rest" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 1 #"+" +0 0 68 3 1 #" " +0 0 14 3 1 #"i" +0 0 68 3 1 #" " +0 0 20 3 1 #"1" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 14 #" " +0 0 22 3 1 #"(" +0 0 14 3 4 #"list" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 5 #"first" +0 0 68 3 1 #" " +0 0 14 3 2 #"m1" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 5 #"first" +0 0 68 3 1 #" " +0 0 14 3 2 #"m2" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 14 3 1 #"i" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #"]" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 2 #" " +0 0 68 29 1 #"\n" +0 0 22 3 1 #"(" +0 0 14 3 4 #"diff" +0 0 68 3 1 #" " +0 0 14 3 7 #"m1:list" +0 0 68 3 1 #" " +0 0 14 3 7 #"m2:list" +0 0 68 3 1 #" " +0 0 20 3 1 #"0" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" -0 0 14 3 2 #"*s" -0 0 4 3 1 #" " -0 0 20 3 3 #"100" -0 0 4 3 1 #" " -0 13 4 4 12523 +0 0 14 3 2 #"+m" +0 0 68 3 1 #" " +0 14 4 68 12527 +( + #"(((1 2 3) (0 0 1)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 102 0 0 0 17 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 34 0" + #" 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 85 0 0 0 136 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 0 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 51 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 221 0 0 0 85 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 153 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 51 0 0" + #" 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 238 0 0 0 102 0 0 0 153 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 170 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 0 0 0 204 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0" + #" 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0 0 17 0 0 0 170 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 170 0 0 0 17 0 0 0 17 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 102 0 0 0 17 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 187 0 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 187 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238" + #" 0 0 0 238 0 0 0 34 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 85 0 0 0 136 0 0 0 0 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 170 " + #"0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 68 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 18" + #"7 0 0 0 68 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0" + #" 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 " + #"255 0 0 0 170 0 0 0 68 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 68 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0" + #" 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0" + #" 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 170 0 0 0 17 0 0 0 0 0 0 0 119 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0" + #" 0 0 0 0 0 119 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" + #" 0 0) 40 0 0))\0" +) 0 0 68 3 1 #" " +0 14 4 68 12526 +( + #"(((1 1 1) (2 0 1)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 102 0 0 0 17 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 204 0 0 0 102 0 0 0 17 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 10" + #"2 0 0 0 17 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 85 0 0 0 136 0 0 0 0 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 85" + #" 0 0 0 136 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 85 0 0 0 136 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " + #"0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 " + #"0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " + #"0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 " + #"0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 1" + #"70 0 0 0 17 0 0 0 17 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 102 0 0 0 17 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238 0 0 " + #"0 238 0 0 0 34 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 85 0 0 0 136 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 68 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 187 0 0" + #" 0 68 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 " + #"0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 " + #"0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 68 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 1" + #"87 0 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0 " + #"0 0 0 0 0 119 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0) 40 0 0))\0" +) 0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 14 4 68 12523 ( #"(((2 3 4) (2 0 2)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" @@ -1295,345 +1820,639 @@ #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" #") 40 0 0))\0" ) 0 0 22 3 1 #")" -0 0 4 3 1 #" " -0 0 4 29 1 #"\n" -0 0 4 3 14 #" " +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 17 3 27 #";; Number Matrix -> Matrix " +0 0 68 29 1 #"\n" +0 0 17 3 35 #";; multiply a matrix with a scalar " +0 0 68 29 1 #"\n" +0 0 22 3 1 #"(" +0 0 15 3 6 #"define" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 2 #"*s" +0 0 68 3 1 #" " +0 0 14 3 1 #"s" +0 0 68 3 1 #" " +0 0 14 3 3 #"mat" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 2 #" " +0 0 22 3 1 #"(" +0 0 14 3 12 #"build-matrix" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 11 #"matrix-rows" +0 0 68 3 1 #" " +0 0 14 3 3 #"mat" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 11 #"matrix-cols" +0 0 68 3 1 #" " +0 0 14 3 3 #"mat" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 16 #" " +0 0 22 3 1 #"(" +0 0 15 3 6 #"lambda" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 1 #"i" +0 0 68 3 1 #" " +0 0 14 3 1 #"j" +0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 1 #"*" +0 0 68 3 1 #" " +0 0 14 3 1 #"s" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 10 #"matrix-ref" +0 0 68 3 1 #" " +0 0 14 3 3 #"mat" +0 0 68 3 1 #" " +0 0 14 3 1 #"i" +0 0 68 3 1 #" " +0 0 14 3 1 #"j" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 22 3 1 #"(" +0 0 14 3 12 #"check-expect" +0 0 68 3 1 #" " +0 0 22 3 1 #"(" +0 0 14 3 2 #"*s" +0 0 68 3 1 #" " +0 0 20 3 3 #"100" +0 0 68 3 1 #" " +0 14 4 68 12523 +( + #"(((2 3 4) (2 0 2)) (#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0" + #" 0 0 0 0 0 0 0 0 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 153 " + #"0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 204 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 204 0 0 0 51 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 238 0 0 0 34 0 0 0 221 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" + #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 85 0 0 0 153 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 68 0 0 0 " + #"187 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 0 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 119 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 238 0 0 " + #"0 102 0 0 0 153 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 68 " + #"0 0 0 204 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0" + #" 0 0 17 0 0 0 17 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 51 0 0 0 204 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 " + #"0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 34 0 0 0 238 0 0 0 238 0 0 " + #"0 34 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 136 0 0 0 34 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 68 0 0 0 170 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 68 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0 0 0 51 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187" + #" 0 0 0 51 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 17 0 0 0 204 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 20" + #"4 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 204 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 " + #"255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 0 238 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 68 0 0 0 187 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 68 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 221 0 0 0 51 0 0 " + #"0 238 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 " + #"0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 " + #"0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 187 0" + #" 0 0 34 0 0 0 238 0 0 0 238 0 0 0 34 0 0 0 170 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 51 0 0 0 221 0 0 0 255 0 0 0 255 " + #"0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 " + #"0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 25" + #"5 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 170 0 0 0 17 0 0 0 0" + #" 0 0 0 119 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 255 0 0 0 2" + #"55 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0" + #" 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0" + #" 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0" + #" 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 255" + #" 0 0 0 255 0 0 0 255 0 0 0 255 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0" + #") 40 0 0))\0" +) 0 0 22 3 1 #")" +0 0 68 3 1 #" " +0 0 68 29 1 #"\n" +0 0 68 3 14 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 3 #"200" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 3 #"300" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 3 #"400" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 35 #" " +0 0 68 29 1 #"\n" +0 0 68 3 35 #" " 0 0 22 3 1 #"(" 0 0 20 3 3 #"200" -0 0 4 3 1 #" " -0 0 4 3 1 #" " -0 0 4 3 1 #" " +0 0 68 3 1 #" " +0 0 68 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 3 #"200" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 41 #";; Matrix[n x m] Matrix[m x k] -> Matrix " -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 25 #";; multiply two matrices " -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #"*m" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 2 #" " +0 0 68 29 1 #"\n" +0 0 68 3 2 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"build-matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-rows" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-cols" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 16 #" " +0 0 68 29 1 #"\n" +0 0 68 3 16 #" " 0 0 22 3 1 #"(" 0 0 15 3 6 #"lambda" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 18 #" " +0 0 68 29 1 #"\n" +0 0 68 3 18 #" " 0 0 22 3 1 #"(" 0 0 14 3 3 #"Sum" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"MultiplyEach" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-row" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-col" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" -0 0 22 3 6 #"))))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 35 #";; Sum : [Listof Number] -> Number " -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 3 #"Sum" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"lon" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"apply" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"+" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"lon" -0 0 22 3 2 #"))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 60 #";; MultiplyEach : [Listof Number] [Listof Number] -> Number " -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"MultiplyEach" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 3 #"map" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"*" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"one" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 3 #"two" -0 0 22 3 2 #"))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-row" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"build-list" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-cols" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 15 3 6 #"lambda" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-ref" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-col" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"build-list" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"matrix-rows" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 15 3 6 #"lambda" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"i" 0 0 22 3 1 #")" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 10 #"matrix-ref" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"M" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"i" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 14 3 1 #"j" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 2 #"*m" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 1 #"1" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"2" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" -0 0 22 3 3 #")))" -0 0 4 29 1 #"\n" -0 0 4 3 18 #" " +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 18 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 1 #"1" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 17 3 2 #"#;" -0 0 4 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #"*m" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 1 #"1" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"2" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" -0 0 22 3 3 #")))" -0 0 4 29 1 #"\n" -0 0 4 3 18 #" " +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 18 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 1 #"1" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 39 #" " +0 0 68 29 1 #"\n" +0 0 68 3 39 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" -0 0 4 3 14 #" " +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 3 14 #" " 0 0 22 3 1 #"(" 0 0 14 3 17 #"rectangle->matrix" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"'" -0 0 22 3 2 #"((" +0 0 22 3 1 #"(" +0 0 22 3 1 #"(" 0 0 20 3 1 #"1" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 35 #" " +0 0 68 29 1 #"\n" +0 0 68 3 35 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"0" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" -0 0 4 29 1 #"\n" -0 0 4 3 35 #" " +0 0 68 29 1 #"\n" +0 0 68 3 35 #" " 0 0 22 3 1 #"(" 0 0 20 3 1 #"2" -0 0 4 3 1 #" " +0 0 68 3 1 #" " 0 0 20 3 1 #"1" -0 0 22 3 4 #"))))" -0 0 4 29 1 #"\n" -0 0 4 29 1 #"\n" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 22 3 1 #")" +0 0 68 29 1 #"\n" +0 0 68 29 1 #"\n" 0 0 diff --git a/collects/htdp/matrix-sig.ss b/collects/htdp/matrix-sig.ss index ca1904e418..270cebd322 100644 --- a/collects/htdp/matrix-sig.ss +++ b/collects/htdp/matrix-sig.ss @@ -45,5 +45,5 @@ matrix-render ;; [Matrix X] -> [Rectangle String] matrix-minor ;; Matrix Nat Nat -> Matrix ;; create a matrix minor from M at (i,j) -matrix-set! ;; [Matrix X] Nat Nat X -> [Matrix X] +;; matrix-set! ;; [Matrix X] Nat Nat X -> [Matrix X] ;; set the matrix at (i,j)