#reader(lib"read.ss""wxme")WXME0108 ## #| This file uses the GRacket editor format. Open this file in DrRacket version 5.0 or later to read it. Most likely, it was created by saving a program in DrRacket, and it probably contains a program with non-text elements (such as images or comment boxes). http://racket-lang.org/ |# 28 7 #"wxtext\0" 3 1 6 #"wxtab\0" 1 1 8 #"wxmedia\0" 4 1 8 #"wximage\0" 2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0" 1 0 16 #"drscheme:number\0" 3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0" 1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0" 1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0" 0 0 19 #"drscheme:sexp-snip\0" 0 0 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 56 #"(lib \"hrule-snip.ss\" \"macro-debugger\" \"syntax-browser\")\0" 1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0" 1 0 26 #"drscheme:pict-value-snip%\0" 0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0" 2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0" 1 0 18 #"drscheme:xml-snip\0" 1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0" 1 0 21 #"drscheme:scheme-snip\0" 2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0" 1 0 10 #"text-box%\0" 1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0" 1 0 15 #"test-case-box%\0" 2 0 1 6 #"wxloc\0" 0 0 74 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 17 #"Courier New Bold\0" 0 18 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24 #"framework:default-color\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15 #"text:ports out\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 -1 2 15 #"text:ports err\0" 0 -1 1 #"\0" 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17 #"text:ports value\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 27 #"Matching Parenthesis Style\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 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 #"framework:syntax-color:scheme:symbol\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 0 0 0 0 0 0 -1 -1 2 38 #"framework:syntax-color:scheme:keyword\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 0 0 0 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 0 0 3 0 0 0 -1 -1 2 38 #"framework:syntax-color:scheme:comment\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 0 0 3 0 0 0 -1 -1 2 37 #"framework:syntax-color:scheme:string\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 0 0 0 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.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" 0 -1 1 #"\0" 1.0 0 92 -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" 0 -1 1 #"\0" 1.0 0 92 -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" 0 -1 1 #"\0" 1.0 0 92 -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" 0 -1 1 #"\0" 1.0 0 92 -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" 0 -1 1 #"\0" 1.0 0 92 -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:other\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 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 38 #"drracket:check-syntax:lexically-bound\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 28 #"drracket:check-syntax:set!d\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 178 34 34 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 31 #"drracket:check-syntax:imported\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 4 1 #"\0" 0 70 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 4 4 #"XML\0" 0 70 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 8 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 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 4 1 #"\0" 0 71 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 4 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 -1 4 1 #"\0" 0 71 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 0 255 0 0 0 -1 -1 4 1 #"\0" 0 71 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 0 100 0 0 0 0 -1 -1 0 1 #"\0" 0 75 17 #"Courier New Bold\0" 0.0 18 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 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 0 1 #"\0" 0 -1 1 #"\0" 0.0 13 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 0.0 13 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 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 2 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 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" 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 4 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 14 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 20 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 18 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 22 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 14 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 4 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 20 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 14 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 4 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 18 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 20 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 15 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 24 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 15 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 18 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 14 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 0.0 0.0 0.0 0 0 0 0 0 0 -1 -1 24 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 17 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 17 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 4 1 #"\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 255 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 1 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 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 65 105 225 0 0 0 -1 -1 17 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0.0 0.0 0.0 0.0 0.0 0.0 255 165 0 0 0 0 -1 -1 0 1 #"\0" 0 75 17 #"Courier New Bold\0" 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 0 814 0 4 3 85 ( #";; The first three lines of this file were inserted by DrRacket. The" #"y record metadata" ) 0 0 4 29 1 #"\n" 0 0 4 3 85 ( #";; 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 188 ( #"#reader(lib \"htdp-beginner-reader.ss\" \"lang\")((modname 131lect03" #"-1-projected) (read-case-sensitive #t) (teachpacks ()) (htdp-setting" #"s #(#t constructor repeating-decimal #f #t none #f ())))" ) 0 0 4 29 1 #"\n" 0 0 17 3 28 #"; CS 131 - Week 3, Lecture 1" 0 0 4 29 1 #"\n" 0 0 17 3 19 #"; in-class examples" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 7 #"require" 0 0 4 3 1 #" " 0 0 14 3 11 #"2htdp/image" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 7 #"require" 0 0 4 3 1 #" " 0 0 14 3 14 #"2htdp/universe" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 38 #"; SO -- conditional expression lets us" 0 0 4 29 1 #"\n" 0 0 17 3 36 #"; specify branching situations..." 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 9 #"; SYNTAX:" 0 0 4 29 1 #"\n" 0 0 17 3 8 #"; (cond " 0 0 4 29 1 #"\n" 0 0 17 3 31 #"; [boolean-expr1 expresion1]" 0 0 4 29 1 #"\n" 0 0 17 3 32 #"; [boolean-expr2 expression2]" 0 0 4 29 1 #"\n" 0 0 17 3 8 #"; ..." 0 0 4 29 1 #"\n" 0 0 17 3 24 #"; [else expression-n]" 0 0 4 29 1 #"\n" 0 0 17 3 3 #"; )" 0 0 4 29 1 #"\n" 0 0 17 3 1 #";" 0 0 4 29 1 #"\n" 0 0 17 3 12 #"; SEMANTICS:" 0 0 4 29 1 #"\n" 0 0 17 3 57 #"; * boolean-expr1 is evaluated; if it is true, the cond" 0 0 4 29 1 #"\n" 0 0 17 3 39 #"; expression's value is expression1" 0 0 4 29 1 #"\n" 0 0 17 3 59 #"; * OTHERWISE, boolean-expr2 is evaluated; if it is true," 0 0 4 29 1 #"\n" 0 0 17 3 48 #"; the cond expression's value is expression2" 0 0 4 29 1 #"\n" 0 0 17 3 58 #"; * OTHERWISE... (continuing for each boolean expression" 0 0 4 29 1 #"\n" 0 0 17 3 10 #"; ...)" 0 0 4 29 1 #"\n" 0 0 17 3 56 #"; * ...and if you reach an else, the cond expression's" 0 0 4 29 1 #"\n" 0 0 17 3 27 #"; value is expression-n" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 65 #"; MAKE SURE THIS IS CLEAR -- as SOON as a true boolean expression" 0 0 4 29 1 #"\n" 0 0 17 3 60 #"; is found, its expression becomes the value of the whole" 0 0 4 29 1 #"\n" 0 0 17 3 56 #"; cond expression, and that's it -- none of the other" 0 0 4 29 1 #"\n" 0 0 17 3 35 #"; cond expressions is evaluated." 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 50 #";-------------------------------------------------" 0 0 4 29 1 #"\n" 0 0 17 3 43 #"; let's develop a function that can produce" 0 0 4 29 1 #"\n" 0 0 17 3 46 #"; a greeting appropriate to the time of day" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 43 #"; signature: greet: string number -> string" 0 0 4 29 1 #"\n" 0 0 17 3 47 #"; purpose: expects a person's name and the hour" 0 0 4 29 1 #"\n" 0 0 17 3 42 #"; of the day expressed in 24-hour time," 0 0 4 29 1 #"\n" 0 0 17 3 46 #"; and it produces a greeting to that person" 0 0 4 29 1 #"\n" 0 0 17 3 35 #"; appropriate to the time of day" 0 0 4 29 1 #"\n" 0 0 17 3 25 #"; (morning is [0, 11]," 0 0 4 29 1 #"\n" 0 0 17 3 28 #"; afternoon is (11, 17]," 0 0 4 29 1 #"\n" 0 0 17 3 26 #"; evening is (17, 23])" 0 0 4 29 1 #"\n" 0 0 17 3 44 #"; NOTE: this is an overly-trusting function," 0 0 4 29 1 #"\n" 0 0 17 3 55 #"; it greets one in the evening for any out-of-bounds" 0 0 4 29 1 #"\n" 0 0 17 3 9 #"; time" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 4 3 1 #" " 0 0 14 3 4 #"name" 0 0 4 3 1 #" " 0 0 14 3 4 #"time" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 54 #"; remember: greet's body was only filled in AFTER the " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 20 #"; check-expects (" 0 0 17 3 3 #"yes" 0 0 17 3 1 #"," 0 0 17 3 1 #" " 0 0 17 3 3 #"all" 0 0 17 3 1 #" " 0 0 17 3 1 #"5" 0 0 17 3 1 #" " 0 0 17 3 2 #"of" 0 0 17 3 1 #" " 0 0 17 3 4 #"them" 0 0 17 3 1 #"," 0 0 17 3 1 #" " 0 0 17 3 2 #"in" 0 0 17 3 1 #" " 0 0 17 3 4 #"this" 0 0 17 3 1 #" " 0 0 17 3 4 #"case" 0 0 17 3 1 #")" 0 0 17 3 1 #" " 0 0 17 3 4 #"were" 0 0 17 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 12 #"; written" 0 0 17 3 1 #";" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 22 3 1 #"(" 0 0 15 3 4 #"cond" 0 0 4 29 1 #"\n" 0 0 4 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 3 #"and" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #">=" 0 0 4 3 1 #" " 0 0 14 3 4 #"time" 0 0 4 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 2 #")(" 0 0 14 3 2 #"<=" 0 0 4 3 1 #" " 0 0 14 3 4 #"time" 0 0 4 3 1 #" " 0 0 20 3 2 #"11" 0 0 22 3 2 #"))" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 8 #" " 0 0 22 3 1 #"(" 0 0 14 3 13 #"string-append" 0 0 4 3 1 #" " 0 0 18 3 16 #"\"Good morning, \"" 0 0 4 3 1 #" " 0 0 14 3 4 #"name" 0 0 22 3 2 #")]" 0 0 18 29 1 #"\n" 0 0 18 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 3 #"and" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #">=" 0 0 4 3 1 #" " 0 0 14 3 4 #"time" 0 0 4 3 1 #" " 0 0 20 3 1 #"0" 0 0 22 3 1 #")" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 2 #"<=" 0 0 4 3 1 #" " 0 0 14 3 4 #"time" 0 0 4 3 1 #" " 0 0 20 3 2 #"17" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 4 3 8 #" " 0 0 22 3 1 #"(" 0 0 14 3 13 #"string-append" 0 0 4 3 1 #" " 0 0 18 3 18 #"\"Good afternoon, \"" 0 0 4 3 1 #" " 0 0 14 3 4 #"name" 0 0 22 3 2 #")]" 0 0 18 29 1 #"\n" 0 0 18 3 4 #" " 0 0 22 3 1 #"[" 0 0 14 3 4 #"else" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 13 #"string-append" 0 0 4 3 1 #" " 0 0 18 3 16 #"\"Good evening, \"" 0 0 4 3 1 #" " 0 0 14 3 4 #"name" 0 0 22 3 2 #")]" 0 0 18 29 1 #"\n" 0 0 18 3 2 #" " 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 18 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 18 3 7 #" \"Ann\" " 0 0 20 3 1 #"8" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 18 3 15 #" \"" 0 0 18 3 4 #"Good" 0 0 18 3 1 #" " 0 0 18 3 7 #"morning" 0 0 18 3 1 #"," 0 0 18 3 4 #" Ann" 0 0 18 3 1 #"\"" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 18 3 7 #" \"Lonyx" 0 0 18 3 2 #"\" " 0 0 20 3 2 #"15" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 18 3 15 #" \"" 0 0 18 3 4 #"Good" 0 0 18 3 1 #" " 0 0 18 3 10 #"afternoon," 0 0 18 3 6 #" Lonyx" 0 0 18 3 1 #"\"" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 18 3 7 #" \"Carol" 0 0 18 3 2 #"\" " 0 0 20 3 2 #"21" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 18 3 15 #" \"" 0 0 18 3 4 #"Good" 0 0 18 3 1 #" " 0 0 18 3 7 #"evening" 0 0 18 3 1 #"," 0 0 18 3 6 #" Carol" 0 0 18 3 1 #"\"" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 18 3 7 #" \"David" 0 0 18 3 2 #"\" " 0 0 20 3 2 #"11" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 18 3 15 #" \"" 0 0 18 3 4 #"Good" 0 0 18 3 1 #" " 0 0 18 3 7 #"morning" 0 0 18 3 1 #"," 0 0 18 3 6 #" David" 0 0 18 3 1 #"\"" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 18 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 18 3 11 #" \"Katherine" 0 0 18 3 2 #"\" " 0 0 20 3 2 #"17" 0 0 22 3 1 #")" 0 0 18 29 1 #"\n" 0 0 18 3 15 #" \"" 0 0 18 3 4 #"Good" 0 0 18 3 1 #" " 0 0 18 3 9 #"afternoon" 0 0 18 3 1 #"," 0 0 18 3 1 #" " 0 0 18 3 10 #"Katherine\"" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 5 #"greet" 0 0 4 3 1 #" " 0 0 18 3 5 #"\"Ann\"" 0 0 4 3 1 #" " 0 0 20 3 1 #"8" 0 0 22 3 1 #")" 0 0 24 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 60 #"; the design recipe template step -- after the check-expects" 0 0 4 29 1 #"\n" 0 0 17 3 58 #"; were written, before the function body was completed:" 0 0 4 29 1 #"\n" 0 0 17 3 1 #";" 0 0 24 29 1 #"\n" 0 0 17 3 53 #"; for a 3-case situation, a template for the function" 0 0 24 29 1 #"\n" 0 0 17 3 19 #"; body would be:" 0 0 24 29 1 #"\n" 0 0 24 29 1 #"\n" 0 0 17 3 8 #"; (cond" 0 0 24 29 1 #"\n" 0 0 17 3 5 #"; " 0 0 17 3 9 #"[... ...]" 0 0 24 29 1 #"\n" 0 0 17 3 5 #"; " 0 0 17 3 9 #"[... ...]" 0 0 24 29 1 #"\n" 0 0 17 3 5 #"; " 0 0 17 3 10 #"[else ...]" 0 0 24 29 1 #"\n" 0 0 17 3 4 #"; )" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 42 #"; now for a floating penguin that lands..." 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 17 #"; images are from" 0 0 4 29 1 #"\n" 0 0 17 3 63 #";http://wallofgame.com/free-online-games/arcade/231/Parachute_P" 0 0 17 11 3 #"eng" 0 0 17 3 17 #"uin_Shootout.html" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 14 3 16 #"FLOATING-PENGUIN" 0 3 51 4 1 #"\0" 2 -1.0 -1.0 0.0 0.0 0 20 500 ( #"\211PNG\r\n\32\n\0\0\0\rIHDR\0\0\0h\0\0\0\216\b" #"\2\0\0\0Rc\332i\0\0 \0IDATx\234\335}y|\e\305\371" #"\367wvW\267%\371\276\257\370LL\356;1\344\346\b\r\t\367\31Hii" #"\v\4J\233_\257\227\343\am\371\321Byi\351KK\241\205\2mC\333\20" #"\b)G\302\225;\220\304\344\266\235\304" #"\361m\307\216%_\272\265\332\335y\377" #"\220-\313\322j%\331J\340}\277\37\177\22iwfv\346\253g\346\231y\236" #"gf\t\245\24\0\200\221\377\b\306\214" #"\340\254T\356\342W\205\360f\371\253G\206o\305X\333@.&\364N\202ZI" #")D\232\300\362\306\213\360j\370\257\304" #"+'\201\304a\304)\203*\335\f\256\1!\340\210R\235\250bQ\343O\177\241" #"\301\305\225:\322\357C)\2308E\213\f\247\247\200D\1\300\351\3/R\25K" #"\34<\355\264#E\a5\3\226A\212" #"\206H\300\200\207\246\351\210\232\1KF" #"\362^\b\310\2661\370\242\377C|\304" #"\311\326\230D\270\36\25\22\5\5\272]" #"\364@'\355\260\323\23\355B\303i\273" #"\263\337\343\32\364\310\246Wi\270\344\234" #"\244\252B\365\355\213\222&\230I\252\226hY@Q\256\25@)l>hYh" #"\330\350\211ezz\250r\210\23c\376\355\373y\354h\221N68\367\35\36<" #"q\330\332ku\362N/\210\tD\a\242\211\220I\200\344\0\0jS\e4i" #"\351\206;o\314\337\260&U\247f|\"5\252\211\212\215\257>\2\5;\374\253" #"\2074?j9c'nl\224\rx\341\24hM3\377\354k\235\307\217Zl" #"\375\2\210\1L\32H\22\30c\34\5Q7$gn\272\275z2\324:\322\330" #"G\v&\247_]m\236\235M\nM\304\250\272" #"\260\335\31c&.\256Z\371\a\b\211\242\256\227" ) 500 ( #"\376b\363\300\366Mgl}^0i`\322\300\246\307SR\4Hv\320A\210" #"\235j=\312&gU,\314\277f\232z\355%\214:\206>\210\261N\300\306B" #"\\\274\254\265\331\350\231~Z\337\344~" #"\341\205\323\r\315\16p\205`\262@T" #"qU4\266\207\271!\264\201\355\255\232" #"\231{\327\35\205\337\235\255N\326\304$" #"z\262mW\316\27\eq\243\177\224\30" #"\211\243\24\203>\234\264Ho}\341\374" #"\353\213u\266>/\270B\260\371\261\345" #"\36\a\250\e\342y\260\347\247\315\317\253" #"\276\252\340\3769\314%i\321\253\34\230" #"\331\"\362dx\224n\35\247\304E\234" #"\240\0\373:\2457O\320\243\a\254\373\337\255\5[\b\2568\346'$\2\324\a" #"\261\325d\36\274\343\333\223~\270\322X" #"f&\312\242G\303\332\345G\244L\27" #"\252\253:}\370\301\373\336\235[Z\316" #"\36\357\204jF\350\300/\331\1\21\324\r\352\2054\240\370\260 %K\222@8" #"\200\215C\215Hv0M\337\270.\357\306\2533\257\257`L\352X\363\5\263!" #"\333\336\vB\34\5\332\a\245)7\34" #"\262\365\3\\\5\30#\250\17\324\t\352" #"\200h\5\274\240\336\230\237\26\251\22\32\20\3H\22H\22\30\3\210.rm|" #"\20N\347\24\340\307\17OY?\223\215" #"Ec\204S\21\276>\213\233\270\250\254" #"I\24\333\e\204g\236\253\337Y\303\200+\1\4\b\215\220\372b+~\254 \6" #"\20\r\23040\351\362jG\354H\313" #"\30\370\237\237W\3355]\255S\234\365" #"\207\313\232\354\24/\361\304\265\rJ\245" #"\327\34\22\347\00471\206\222.:\210\6l\36\230" #",\0\360\35_\2722\373\27\367\25,\310e\330\bM\n&.\370\n\206\257\307" #"a\217S\220l\227\17\217\376\345xw\247\5\\Y\354\5^TP/\204&\370" #"\16\203:\301U\354\370\240\365\243Cv\257\30Q\\HX{C\256\304i\310\224" #"\203\323\207'?\261m|\365}p\225\361\332\251.6\250\27\276:P\a\270\212" #"\277\275r\372`\273\340\23\306\270H\217" #"\225\270H\342f\343\361\354A\361\37\177" #"\372@`\262A\f\361\324\341\253\202\0" #"\241\1RwK\227\341\265\215m\322X" #"\315y\343\25\20\n\354\334\323\322\331\324" #"\n\325\214x\262\371 *.\30\302\301" #"e\304\227^\31R\37\210\346\323=\266" #"\343\267\345\316)\321\216\301\355\20\23q" #"\n:\301\346\245mGNHLv\304\242\304~\b\26@\200\344\204`e\251{" #"\350r\364GK,$\0\242 \0\200&\e\0X\23\210\32D\17\3060^*" #"\251\267\243\a\e~y\344\305\247\347Ue(i\t\331;\343\2228^\304\37\367" #"\332\333\352\352\240\232\35\366@\37\204\36" #"\360\215\254h\25\301\1\376\331\274J\244" #"\372\330\313\27\375\377\271\317\3\0\307\3" #"\200\320\rBA\5\20\211\205(\201\243\\:\330d0fp\231c0U\355;" #"|\342{?\267o\371\315\345\231zy\346H\4\356\242\23\247 \306=.\272m" #"\333I\201I\37U\16\337\2\321B|\35\224\252\1VDZ\324GD\201\304C" #"\225\4:D\375\320`N\375\264\212\360\331!\f\0" #">\26\242\310\230\240\312\5\233\21\20702\371\207v" ) 500 ( #"\327\364\273\226e\352#R\21\302\235H\301\222qH\34\5^=.u\237n\0" #"I\35\272\344=\3\3764$\6DCi\252b\356x \371\300F\22%\26`" #"\375T\212\220 \n\220Z\2003,$\221\313\6\233\16\365\204(bH\264\2\223" #"\376\321\376\266\362kJ\24\34u$\354" #"\363\330\211\223(\2165\271\255\235\235P" #"\315\206\257\23\236\303\240\34h\22\300\204" #"-\213\375.\0\6\204\3\0&\222/&\22\332@T`\324\240\"\250\309\31" #"\3\250A\325\200A\204\b\237\r\202\225" #"\365\236\24U\5P\25+\311 \223\363" #"\374\237>\273j\321\204\362\344\230\224\204" #"\337\256\27\2058\205\222\b\320\323\330*\20#<'\341m\a\222B'7\214\32" #"\214\36\214f\274\263E*B\225\n\3164\374]\2\25@\5H< B\342\345" #"\362\260\200\16T'B\204\317B|\35" #"\224h\241.\205\246B\256%\206\306\366\201mG\372K\226\244FR\21#u\31" #"\3760\366&\21\202\301\256\36\302w\301" #"\333\t\230F\212bt\340\314P\347\200K\3\243K\300\34[pBm\n\372\316" #"\200\250\301\350\301%\203K\203:\a\252tp\311`\rr\275\222\0055P\232\n" #"\211\201\267\36\366\17\341\353\224y\4\223" #"\372\326\177\216\333}J\265\240\243W]" #"\343\30\343(\6;\333\250\340\0R\0\2000 \32\260F\220\330\234K\t\4Q" #"\201\250\0\35X\0\22$\17$w\230$jA\265\240\36\270\17\201o\204v\n" #"\330\224\240\22Lg\352Z%1\242\303+|u\21\231\270h^3\217\b\237\253" #"\37\324\0\0\214\26\254\351\202P&\371" #"\342,\226\1\243\a\243\a\0\311\r\311\3)8.@\v\252\205\350$\316\235T" #"S\tM\325\320e\242\267YZ\204\310\213/\22\306\335\270$\216R" #"\1\204\200I\2\e\217/9.\360v\250\306Z8\243\3\243\3\25\207" ) 500 ( #"\30\244\303]\221\352)4\3606@\260B\277\0D\5\242\345y\331\261r\4!" #"\334E\36\200\242\r\223,\1\300\2025" #"]@\326\22\2\302\202M\202*\35\254\21$\320^\0264\31\242\3\316]\1B" #"\325QUC\20\306>r3\49\5E`#{I\276n`\223\240\312\0\e" #"d\211\240\6\210b\200;V\221\214\220\256:v\342T,\356];\227a\334c" #".!&x\373\240N\211\236,V0`MP\5;t\264\220x\270\17\1C" #"\221\220\262\bv\263\222\241\202\306\n\2" #"\254\232\237;\2410\5p\214\271\220\257" #"\6D\5U:\330\244\241\257\324\0\241\a\0\37Y;\220\240\177\375\b\".\376" #"8\257\34#\363\255o-g\211\rR\177\334\231\277r\260Fp\311\303\243\236A" #"\255\2162\304\205\334\34!\216\227\224\262" #"\311\262\312\20\\\263\250\244\270\270\220\245" #"\26H\326\330\352\e'|\343\320\252Q\301\350\300\245\2020 ZSF\206N5" #"BNT)\32!N\2129\2767\30\25i\314\272;/K\311)5\e\334\20" #"Z\25\327\222c\2\25\300\\\200\270\246\0\210\n\254\t,c`|\334\350F*" #"\0232B\\<\272\30\30\376MT\ff\316,\32\350\e\234\273\356\336\374\322|" #"F8\375\377^\267e9N\305\256\271|b\210\267\220Q\344q\354\23\340@\261" #"*\215\272\260\252\252\365\313\223\253\177p" #"o\232\253\275\371P\315\236=g[\255\34H\222R\376\30\341\263C}A\347\211" #"\22\3038s\264\374\272\353\246\304\25\3049B\362\30c\200\t\fjR8cJ" #"Gmm\251\311\367\340\312\242\347\36\273" #"\376\206uW\350\331.\b\255\240\343V" #"\270T\274\260]\225\361\24fj\177\266" #"\341\352I\205\346(\t\311\320:\337OT\34\323\221Ha\213Yz" #"d\226\27\23322:O5\3\0!E3\247-\375\376O*f" ) 500 ( #"O5\353\373!4A\32\214\375)\27\25D\340\30\317\234\311\31w]?K\301" #"\253?\222<\3503\373\304\23O\370?\371$p\212\373l\"\tr\262\206\324\367" #"\323~^}|\327\241\212\371S\313R\230y9\314\222\211\6\323\304*R6O" #"\253V\271{\316\370\334\235\224P\200\211\317- \270\340\351ARQ\34Yb\a" #"\25\301:\v\322\331\247~~Ky\226!\244\237Fr5\4\356\306:\306)\224" #"\302\20\254\235\314\324uO<\271\3753q\260\337\254N\3Ph\"\367\317d\253" #"\322\r\373JV\324-_\321s\372T" #"\353\241\3\347\317\324\272x\2001\203\350" #"c\32\1\5\317\5Y\322Q\21\264\237" #"a\334\25e\345\277~\342\272\313*\315" #"\221\366o\310^\364\367\274\21\342\302-" #"\356\261\217\225%fR\225\215\346E\v" #"\a\272\254\30\366\316p\4+\212\230\25" #"E\360Ip\372.i\36\254\332|\302\275cg]\327\311\343}\255\215v[\233" #"D\f`\f \212a\201\t\4\25Am\220l,\265\e\314\31.\336p\347\375" #"k\256\232b\216wO\220\37#A7n\1\332\321\362\27(0<\2%\34G" #"z\350/\267;\awo\333\372\207\353\rj\231\1\303\37\321\3244H\367u\320" #"C\35t\327\346O{\233\euFM_k\243\335f\227\210\26D\v\242\6\321" #"\2\272!\e\234\243\3|?R\247\214" #"\245e\0\250\e\324\t\311\t\210\v\246" #"\345\337~\355,Cj\352\236\26_\17" #"\233\325\372\331\216[o\232}\347\25\245" #"\205&\202h\266\307(\356A\237\4m\244\234\24\204D)}Z\6\231V\242{" #"ko\332\346\235\255w^1Af\17\17\300\22\224'\223\2#\3113J\226Y" #"\23\367\264w=\370\360\332U\345\214\216\221\352:\234\207\216\267\363." #"\267\327\345lm>\367\371\201S\255\347\335\240\16\250T\220z\0\6$" ) 500 ( #"R\355\0\0\f\v\211\16)q\311\r\210\f\365h5\252\324\202\222K\346,\376" #"\321\332\351\325%\6\235\212\241\24\371m" #"\322\206\247v\255\274l\302\217\256+\363" #"oF\242\303mT\330\335\24\336\366\21\342\374jE6\"\214\31\275iG\226A" #"\206`u9sh\366\224W7~|\375\222\242$9\241\363C\303\342\262|\246" #"iF\332G\257\333V\2253\345\311\4`s'\231\26\226_\342/G\242\330\333" #"\352{\365\243\326/w\36u\365\367\245\25d\372\334\356\301n9_\3010t\214" #"j\371\322J\255A[\337\345\356s\320\353VN\271bj\212\321\240Uq(0" #"\20]@!\21x\35\36Gc\375\35\217\337\23\274\205\213\27\241f\342\f\"\241" #"\303\360I4\30\243\277\305tK\222\350" #"\e'\305\222\233\337\271\351\27\373\24\322" #"H\224J\22\335\323)\351g\376\246c" #"P\f\224\351\25\2504\234\315#\320\347" #"k\204\202\325o\276\274\253\247\337K]<\355sS\213K\352sQ\227\217\372D" #"*IT\222h\237\233>wP\230\363" #"\223\232\265\217~\334\353\226\274\2\25\245" #"\241G\310V\265\303!]\276\376?\377" #"\263\251\201\27#7O\256\275\341\315\31" #"\221\213`\t\211:\31\226\237\323\21\334" #":\211\271\371\233\313\336\371\367\316\266A" #"\211\216\26\322@\32\2\277r\242\246\214\214\3MC3d\2p\314\310.\30\277" #"\274\372\274\336\ef\247&\253\241S!E\213t\35I\321A\307\r\245$\4)" #"Z\\Q\302t\237j\230<\253\334\250&j\26\f\31~\304p\261\1\360\"~" #"\374\342\321.\213\343\216+J\243\306b\206\2671&CfxX]pf\5\221" #"V1X^\225\224\236\227\367\373\315\247\203\27w!\6{J\321\343\204)3\363" #"\345\255g=\303f\201`\355&\1\247-\0\240" #"\212\266\204\26}BWSSrNz\370$4\4" ) 500 ( #"G:=\237o\373\374\345g\256-\214\34\375;\34^!/\31\261\371\34\24\263" #"\205\177\r\340\222t2q\311\245\177\372" #"\303\373\e\353F\31\252HP\205\4\t" #"6\36\372\24s\363\331\363\242\2349K" #"\242\260:a\263X\254\356\210\322O)\6y\274\376QkNI\311\224\202\b1" #"3\303p\372\360\322\e\a\236z\342\272y\205\21\203\272bYt\216e\311\25\\" #"\272\377\331\262\266\346l\3YrY\261" #"J\255\371?o\34\351\367\204\246\30\262" #";30k\220\234\223e\353\351\t\2571\5\4\t\0x\236\37\340#\326\320'" #"\341\365\23\342+/~x\3655\263\346" #"f\223H\315\226(\332\355\364\376\27\216\245%koX\220\23i\326\26\357R}" #"\\nv\206 \334\332L\2005\25L\305\242\205gv\357\177\277q\324V\372@" #"\235Y\202\312T\222Y^l\355\354\fg\237\0>E\253\252\37*\6\216^\233" #"\217\367\336xy\251\202\237\245\337C\277" #"\375j\347\306W\337\277a\325\264H\333" #"j\306`\340\210\2258\331]:\4\220\255Ie\n\2310w:\200\2276\3257" #"\16\320\360!\203\0\225\251\244*\e\206$#\250\301i\374\30!N\210a<\16A\244\371\216" #"\37\305f2i\305\245muu\207\352\372\375B\27\2\206\340\232yY\216~\273" #"'l\243\6!\20<^\265N\253\n\323\202~c\301s\373<[\337\335\377\340" #"\365\25\221\4\311\351\303so\34\231P" #"\236\367_\353\246G\212\30\224\255?\245" #"\243\\\372\341s\351\361:\244\243j\242" #"\322dr\313\302\324\302\252\252\206=\207" #"d\205\16@V\262\206w\273y\221\372" #"F\377\310\201\304>\271l\375\36\372\376\326#+W\316-4\313('\n8}" #"x\344\235\256\3\273\216=\371\310\325\213" #"\363\345O5\220U\367\0\b\31\262\222\313\336\r`\224{0^\255\254<\336\21" #"\340\366*\346\232\e\346u\324\326\36kr\313\n\35\2003=\276\177~\321k\r" #"\233\361\rv\2377\347d\366\311\235\335\322fG\307\361\223\353n\236!+n." #"\37~\265\333\375\332o\337\272\341\366%\313J\265QY\v\276\30y\266\35z!" #"T\342b\347.\226!\217%X\267$\333\224\221\321\\s|k\203$\253\254m" #"^\246\273\307\221\254\16-\217\267\34U" #"\251\4;\37Z%\257\200\177\354\353u\331l\305y2j\301\351\303\263\a\305M" #"\257\357\324\231My\223&\310\256\303B" #"\244)\26\245\21\376\v\5-\362\207\357" #"\215\315\335\25\t\3232\310O\36Z\321" #"|\360\313\272n4\16\312\224m\312\316\324J^U\230\\\210\375\a" #"\32\267>\322;z\311E\201\247\17\210\377y\347PvYY\206!t" ) 500 ( #"\304\367Ix\366\240\270sO\213h\355|\342\3477^[\316\4\373\230)\300G" #"\336\365\6\271I\230\302\212U\336\223\237" #"@\356\30\202\a\256\314\2337\243\240\371" #"\340\321\2209\235\277Q\3119Y.[" #"\250\27\221\2.n\236\273\267\363\223\243" #"\355\356\240\320\\\257\200\272n\234o8" #"\373\364\217\27\25\30C\305\340\244\225\36kr\37y\367\203\en_r\327,C" #"\241i\324\311\17v>TpB\362\217" #"\321\257\252\254\260\307fh\362C\305\340;w-l?v\262\256\e\375\236Q\277" #"\253Q\215\224\274\254\326\226\236\2205\226" #"(R\36\246\262\253\37\334\370\324zK\220\320\265;h\347\211S9Y\246\3253" #"RC\332)Plm\220j?\3363\241v\322h3\222\0\246U\246\333" #",\226\236\206\2266\373\250\353\23\314d" #"Z\211\356H}O\373\300\250}\373}^\0P\31R\335\275\235\306a\373-\245" #"8\321C\273\352\e\256\\9#\334\240" #"v\302B\375\235\324\257I\231\321\235\224" #" \246S\273\374\210\205\276\4\354WE" #"\220\31+\22\322t\244d\366\254\306\317\17mm\220\4i$%KP\235O\6" #"l>\341\351\376b\357S\217\255" #"\276\274LF\223\372\347\fq\311\224r\312\21\342\24zx\364~\32-\205\216#" #"E\263\247t55\35\252\353?i\35\225:MG\322\213\n;\272\35\301\246\327" #"\354$\206\n\2563\357\377>s\352\262" #"\27\336\336\367\361\211s'z\370\255g" #"\245\35{\316.\235\227o$\3\237\324[\16\265\f\266\366\3636\36\35" #"v\352\327\244\325\vJ\2771;S\35\326I!\267\210\34'\22\274\2419" ) 500 ( #"\222'L\307\341\226\205\251\365\237T\325" #"\177\262wk\3255\371IL\232\216\4" #"\346\231\272dSK\347\0\231\235\201\341" #"v\3669\334\3\207\237b|\236\23\257" #"~\377\4\360\6\245.\227k\316\3625\277z\342gyk\346j\265\"\340\4\234" #"B\257\245\246\326\272g0g\327\tA\264v^w\355\332\220P\255@}8\222" #"\340\331BD\342\224\235\201!\210E\37" #"\255\255b\\\17-\335\360\340\237\2175" #"\271\337\324\352\326\317d\1\20\300\250F" #"rn\326\266\235\307\257]V\226\252%" #"\36\201\3265\266=\376\375\273M\32\301" #"-\261\331\331\331,\313\2\230\277\342\e" #"?\374\316]\225\225\225:\335(\357uQQQQkk\373\236\3so_R" #"=A\313\214\36{B\\\303\tD\254\e}\225\37\34\234\200F\b\274 \4\337" #"\232o~\177\371\364\206\275\207\356\232\277" #"8\240\3043\364$%?\347\355\277\274\361\314\222y9\252A\0\355{\376\2453" #"\246\346\346\346\366\364\364\370\323dgg" #"\337w\317\335\323\247\313x\246U*UYY\331\377\272\a\207\235iZ&\272\212" #"\e?\206Dx\fy\374\b\267M\16\215&\221\17\32U1\270\347\316y\267}" #"\363%`q\240\20\233\227\226h\272\337|\252zr\271E\253\325\2@\325mV" #"\353\345.\227k\307\216\35o\277\375\266" #"V\253}\370\341\207\247MT:_\242" #"\254\254\314W_\357\225\314\332\30\324]" #"\\\235)\22\229\306\371\271c\310\210_&\274~\5YI*\265f\333\256\306" #"Y\331e&\ri\32\240\355\355\355\337" #"\236\310\27\25-T\251F\2\231\212\213\213\335nwjj\352\2349sjkk" #"KKKCzh8\212\213\213\275\274\27j\231dt\364\347\361\263\206\vw\332" #"E\244\312\225%\223\212E\v\377\371\312\266\376\224\373" #"\1\\\226tfE\21)+\2239\343E\247\323M\236" ) 500 ( #"<\331l6'%%\345\345\345E}\242N\247\e\350\352\"\254\306\254\213h\326" #"\366\b\320&(J1\301C\202\2027" #"\326\17\243\32\277\272\177\206\217\367\3664" #"\264dr\0033\222\372\212\212\212\24\n,(((,,\34\30\210\351\310\b\225" #"J\325\336g\17\271\30x\272 %\362" #"\304\321\4\20\27\2652!\t\252\363\230" #"\222\331\263N\355\334;\307\320VXX" #"\30\265\17\346\345\345uvv\272\335\321" #"\267\360p\34G\204P\373T\300\350\257" #"f\241\341\22\323O\241@\334x\36@" #"\303>\4\e\243\31\202\362K\347P\273" #"\245T\347\312\316\316\216Z\232J\245\312" #"\313\313kmm\215\345\321^_\250\331" #"\233R\371\210\210q\"\361c\\\260\307" #"\36\303\37\202\255F\274\4\225^w\323" #"\272Eii\246`\205\240\200\234\234\234" #"\206\206\206\322\322\322\220\364V\253u\377" #"\347\373\1\244\245\246UWW\3\360\360" #"\241\333\234\245\b>\314q\342\202(\a\345y\237\177}VYd4\233\243\4z" #"\a\303d2\r\16\16\246\217\366\264^" #"~\371\345G\217\36\365\177~w\353\273" #"\227V_\312\350\314>\21\201U\27\215" #"\177\377F\214\270\340\363\305\360e\254\177\216jb=QG\267`$'';\34" #"\243\314v\217=\366X\2005\0k\357X\333\332\332:5\337\24\274V\2750\244" #"\1\27\2018B\340\21FI\240\226CU\364\221-:\336{\357\275\340\257v\273" #"}w\263\213a.\374\322\1\300\370\211" #"\213:\377\0\240\345\340\t\32\262\tP\235O:x\263\362$\303j\265>8\f" #"\253Uf\207\335\252U\253B\25647}\\s\236\206\313\270K\361x\2071\"" #"$\356P\212\20\200\30~Q6\346R\212\360'H\243\322w:\244'?\261\34" #"9rD!\16r\321\242E\201J.Z\264\250\271\271" #"y\327\256]\347\316\235\v$\260X,\245\245\245\2014\217" ) 500 ( #"}+\345\345\237e<\367\277Wu;\204\220*\271|\n\317\31#F6\210\204" #" t\211\36v1\\\326\202\177i\211\216\232m\372?\a.\350U\344X\277F" #";\330\\\224\237\3437~\204`\337\276}\217?\376x\340kkk\353\300\300\300" #"7\246\35\350\352Su\236w{<\36\233\315\306\363\374\222%K\354v\373\354I" #"x`\rY\177\275\271\262P\335\337\336" #"v\252\361K\344,\317J\322\5\36\32" #"\313\256\231xq\241\226\\\312\233\a\30\202\205y\314>{qQc\343\304\2112" #"\353\255\336\276\320\23J\335\216\356<4" #"\344\321\3\375\256\34\227\273\320oh/" #"\240\316\227\3267\353\211\0270\2\320\250" #"\311\312\5\372c\r{\267?[\225\271a[N\376\264\4\265f\24$\200\211w" #"\214K\224U\213\0003\262\b1f\37" #"\357\264\313\216t\25\345\241g\371\254\232" #"\331\344\377\220B\272\362p\300\377\227M" #"N\352I\350\241\271\323\3125+\246r" #"\377|v\371\211}\317'\250\276\241\225\207\2q1rDc\366\377\207\210 C" #"\240u\34o\376\354\316cG\366\207/" #"\247&N\234\370\334s\317\5\276>\266" #"\376\222\e\27\306\261\205xR\261\372\206" #"\305I\273\336y\362Bp74j\321\310\307\331*\364\266\221x\360\340\354\322" #"\376g\356O\313\317\34\222\372c\r\336" #"\232\323\336\2453t%y\211\337K^\337\302\177^/~\373\361\343Z}\"^" #"/4\316y\\,\372\224\2uV\372\301g\273\17m\371\363\347{vY\255\326" #"\256\344d\215F\223\234\234|\336m\2549\325\27 nZ\271F\255\";\216\270" #"\215z&#%\301\246\240I\305j\353\200{\333\e\267^{\357'\t)0&" #"\211\213\264%1\252\2549}x\367p\307/\326\337v\372\313\275F\2431''" #"'\304\"R\221\333\267\341:iZ\371H\244\357\301:\317\231v\337MK\2234" #"a\21s\343\307\337\267\333g.\277\177" #"\326\212'\306_Tlc\234\\\23\242" #"\262\346\26\360\227\217k\277{\365\354\216SG***JJJ\302\355Hg\316" #"\245\276\271\303\327\3213\22q3\267J" #"\233\244c\366\36\227\177\213\3368\261d" #"\206\356\213\217_\366\270\22p(\317x\317:G\204\340\224V\e\375\357?m~" #"\366{W\301\353\310\313\313\213dz+" #"--\325\344\336\264\3550,\375#\363" #"\333\225\363\365-\335\276\372\226('\341" #"\215\1\371\231\\Q\6\266\275q\353\370" #"\213\32\313\3627jh\327 \217\233\356\274\347\331\aot\271\\\23&L\220e" #"\215\343\270%K\226\314\2313\347\322\305W\\~\327\333\2377&\5\270" #"\323\250\311\352j\303\376\223\236\v\301" #"\335\245S\265\35g\217\265\235~/z" ) 500 ( #"RE\3046\306\311M\206C\322\f]\247\260\270\351\303\277|\346\225_\377,5" #"55d1\20\0\307qK\227.MKK\273\366\332k\375\213|\217\313\372\356" #"\37\227,(u\4\324\202\177\356:\245D=\267*\221[\211\0\3549\352vi" #"\253\306\251%\306ep\t\357\241\r\3t\345\3\317)\263f6\233W\257^\235" #"\233\233\273n\335\272\200iD\253O\277" #"r\335\346]\265L@\3562R\330\233\226$\235i\367\35\254K\360x7\261H" #"\335|\352h\364t\212\210@\234b\30q\244~J)\236x\263\346\360_\177d" #"0\30rsse\323\230\315\346\345\313\227\e\215\306[o\2755'''\370V" #"rF\3455\337\373pW-\23\350\241\246$fu\265\241\245K\370\360s\227\227" #"OX\300\221_\250\307\331[#\20\27\251g*\242\266\227n}\354\32\225JU" #"XX(k\236\3448n\356\334\271\262" #"\254\371\221\234Qy\323\206\203\207\233U" #"\307\32\206\336xfJb\326\\fH" #"\322\221\277\177d\17V\276\343\204\212#" #"\203\326\306\361\224\20SW\355\367R\231" #"5\351\350on\1?y\346\25g\337\371\214\214\f\265Z\376Uus\347\316M" #"KK[\272t\251,k~h\365\351k\177z\260\24179 e\0325\271l" #"\272n\351\f\335\366\203\256Du[\237" #"\302\231\277\261A\211\270@\331\336pS" #"\30\tMfu\323\317\376\270A\253\325" #"\246\246\312\237\253\237\223\223SXX8" #"c\306\214\351\323\247+\327I\253O\277" #"\363g'\365\271\v6\355p\4\206\274" #"\222<\325MK\222Z\272\204\177\177\352" #"\b\236\273\214\0016\207\4 3\177\316" #"x\n\211\"q\376\231G\226\334\16\275" #"\340\270\2\237\210_\274\264\331\353\264gddD\352\244\v\26,0\32" #"\215\301.\30e\\\265\356\355\371\253" #"\36\371\317\27\374\301:\217_\364LI" ) 500 ( #"\314\315\313\223\212s\270\315\273\34\237\326" #"\270\375\355\37\3\216\235\365\32\315\246\254" #"\242\205c\313\356GL]5\352\351C\265\275t\323o\177\246R\251\"9\347\313" #"\313\313\325juuuu\\N\350)\325\17\335x\377[\335|\376\246\35\216\300" #"\0007\267J{\373\n#\200\215\237\330" #"\267\354v\306;\360\325\267\360\265-\374" #"\25\267\377>\256\\\341\210\351\205fD.A0\231/\355\357\271\267:+##" #"CV\231r\34\267z\365\352\264\264\264" #"\365\353\327\217\255\226'\366=\277{\353" #"\3239\311t\366DM`\242\347\345\351" #"\261\263\336\303g\274\251F6\315\314N-UG5\r\34k\360~^\353Yq" #"\323c\343\267\315\205ZG\24\2Q#\201R\274\265\361o\0RR\344O:\316" #"\315\315\365\213\333\230j\b\0S\252\37" #"*\250\270\352\360\216_o\336\365\237K" #"\212\325\201\365\177\357\240\4`\362\342\373" #",\235\3077\357\332\235\235\312M\310\341" #"r\323\271p\6;z\204\235G\334D\235\264j\335S\3453\356\32sM\2\b" #"\2258O\330\231^\210&q\24\310\235" #"\262\250\367\364\27UUU\220\303\302\205" #"\v\313\313\313\357\275\367\336\270\372\251," #"\6,\247\e\217\275\331~v\257\327c" #"\267\333\334\203v\327\242\253\1770g\351\3\376[\265_\274X_\263\325>hS" #"q$\3154\212\273\356>a\356\362\265\263\226?\232({\\(q|P\250\317" #"H\242\240\4\301W\374\220(\262\312gx{\32KJJd\237q\353\255\267\226" #"\224\224\334|\363\315\t\251q\0\247N" #"\235\332\262e\313\322\245K\347\315\233\27" #"|\335O\256\307=\342u,\250XQX\31\32/1N\310t\325p\204\270\345" #"C\340\223`m<\32)D0--\r@E\205\334;O\306\a\177\210" #"\272\327\e\372r\340\344\214\312\204X" #"\334\224\21\223VU\36\364\224\357\32\f" ) 500 ( #"\6\0\311\311\3111W)V\24\27\27\3hkkKx\311\261 \2248y\315" #"\240\310\215\362i\376~\342\262\262\262\342" #"\253\327\327\36\t\210\35Q`57\325V\231\274G\325{h\353K\357h\264\306" #"\202\262K/B'\2728\b%NV\342d\265\352\310\335\341,\311zwA\372" #"P$G\257C=\340\324^=\323\276t\206N\255\362\1\335v\327\271/?=" #"nJ+I\310l\340+G(q\261D\314\206$\361\211\320\353\2305\v\335\223" #"'\b\351&V\255&f\3\343\366z>\257\267_9W\37pb\1\310K\347" #"6\276\276an\307aK\347I\257\307\16@\2435.\271\341\17\311\31\225\343n" #"\310\305F(q\241\3323\206\35<.\21\327\257\312\231U\312W\26\252tjf" #"b\221\212\343\b\200\345\263Cgm\246$ff\205F\327\273\371\222~f\270@" #"\0\0\5\314IDAT\324\241q\221\367umz~\331\352\357l\222]9\236" #"\330\367|\335\241\215\347Z\32\323\263\263" #"\253f\337\30\322\315\375aN\205\205\205Q\352wa0B\234|\250x\30k\341" #"4\236\352\266\315\316\367\226\346\251\1\344" #"f\260\34\247\304t\270\35\334\356\222v" #"\276\363\303[~p \370\242\307e}\367\345oX:\232\322MlN*\a\336" #"z\370\323?z\334\3\227\314\277\257\366" #"\213\27;\32?7\247\344\245\226\334\f" #"@\243xp\325\205\303(\211\213\272\275" #"2\4\24\240\24\37m\377m\221\201\341" #"X\0\340\342\17\216\237V\256\251y\257" #"i\300r:\270\303\356\334\364\335\376s\315U\305j\216En:\227\227\301\1x" #"\345\275\177\34\335\373\357T\203\224\233\316" #"\332-\355\373\216\354f\222/\317\312J" #"\200\313j\f\210I\253\6v\263\207\200\0006\37z\a\255\25\252\270" #"\371\nF\232\211\265\3655\4\210k8\362\306\331\23{\374\254U\26\252" ) 500 ( #"M\206\241~\275p\262\326\250g\2\203" #"\246QO\16\265\34\363\317\346.>\24" #"\211\213a\200\323\262\250\2340\21\265C" #"_\5\2057\r\305\214\366\206\35\351&\226ca\3243\1\326\0L*\36eX" #"\316M\347\n\370\257\354\225`\321\216\320" #"Q\272\6\0\32\26\267\255\274\333\356\36" #"\262)\372\315\25\361\302\341\36\225\313r" #"\256N\247%\0\322MQ\314D\274\307\331v\372\275\361;I\307\200Q\0227\262" #"\1\313\2778\215\255\377\231uz\213\240" #"7\367z\262\323\330\1\207\350\345\271\270" #"\302>\2165xy\211\vY\204\263\f\1\240V,\307\244g\f\264w\337\277\356" #"q\270%^\342\26\255\376i\242\"/c\201\374\301{\356p\253j\344X_B" #"\240^\376fW\237\350\362P\0\235\2268L\2626\207Ts\332{\315\267^\226" #"\275\e\334Oe\356&1+\27\350\257]dX{\245q\301$\366\223M\277\34" #"\260\234\216\375\321\343\204\\\315\b\364a" #"\1j\312\366\341{\226-\30\234\364@" #"{\217\0\240\327&\306\350\3\365\362t" #"\3071\337\352\357\3745\222\315G\210\331" #"\0275\251X\235\235\312\331\372\32bL?~\304p.P\304o#HV\343\306" #"\353\36\266\bz\2333\16\241\333{\334" #"3\353\352\247\302Y3\247\344\371_\312" #"\346\362&\374\324\213\204!\346h\245h" #"\243\326\2444\225s\312c-\335>\304" #"&tM\235\276\224\312\233e\327\255\306\324B>q~\373\v\204h\304E\346+" #"\324\222Np\325\262\273m\304\320o\227" #"\20M\350\274<=\334\314\315Z\376\250" #"\362\303\365\2328\224L\257M\324h\23" #"\367\252\364h\210\373\34\340\3408\245\220" #"Tss\30\347\224\307\272\254\"\200~" #"\207\2440B\35;\353\235\276\364\241\250" #"\346\177\345\325[0\352[x\255\3018NWi\\\220'" #"N\371\204\326H1^\32\26W-\273\273\217\352]\36*" ) 500 ( #"It\300._\212\227\247'Z\221^\22\321\5a\357kS\253\t\23\263\267\315" #"\322/\356?\351Y|\355\0231\246O\b\"H\\\264K\221d\251:\2171\316" #"\336\320;8$t\262iN\265\362n" #"\325\224\327_\177\375\324\251S\262\t\6" #"\373;\325\0341D<\5\177\0046\207\364i\215{\363.\307\214\305w\\d3" #"\237\343\335\265\357d}C\317\312\225+\217\349RWW7k\326\254" #"\251S\247\6\34:\326\256\366\214\2\242\217,q\226~q\373AWF\321\324\273" #"\37\371\312\214\240Q\254#\201\272k\330" #"\241\240}?\254.\232\256\227\237\242\20" #"\2407m\205\315\271I\257e\355\316P" #"\342:\255\2\2431Y,\355\26\213\305" #"\177h\322\2325k\274^\357\376\375\373" #"\363\363\363\375VI\336\313s\254\306\250" #"\227\357\r\376\255\36\213V?r1\27" #"X\341\210\303YC\206\337Z\b\300\240" #"\270\212\274b\311Z\353\273\377\0060\340" #"\220B\316\3779g\25\327\336\365\335\357" #"=|\353\207\37~\330\324\324\4\340\263\317>\3PQQ\341t:;::\30" #"\317\261t\3\203\bs\21?k7\336\377\326\305T\240\262\210\373\0304?q:" #"\16N\37\222\344\266\16\21\202K'\317ym\243\344\362Pha\355\27\323\207#" #"9l\16\251\241\203\277t\335m\311\31" #"\225\262\e\243\1l\371\323\n\336\312" #"\350\324L\370\\\344\353\303\32\306\23;\354^\264\352\1\345Q\311\353\261" #"\353\265\f\27\366\203\372\347\34_\23\326" #"\20U\342\242\2322e\23\20\202d\275" #"a\346\325\177|\353\265\201\276\336\303\314" #"\340L\0'O\325.X\376\203\250\3\223FktYe\216\365\331~\320\265\370" #"\272G\277&\254!\256\370\270\270\222\371" #"\321\351\240{\353\353\257\274\244D\305\261" #"m}\256I\331\321\317\4j8\362\306" #"\a\177\373\257\351e\352\231\25\232@o" #"\255o\341{\310\234\253\326\275\0355\373" #"E\303(\342h\204\340\232\30\211\213\224" #"xh\6\243\30\271\23\214\177\375n\236" #"\245\243\251,W\345\267\3\367\16JY\223o\271\37035e\214\2268\32\326n" #"\271\215\273\n\301K\242\0v\334g\264y\\\326\332\375/X:\217\17\366w\2" #"\310/]\360uc\rc#nl\307>\374\177\206\377\v1" #"\325\330N~\227\\P\0\0\0\0IEND\256B`\202" ) 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 10 #"save-image" 0 0 4 3 1 #" " 0 0 14 3 16 #"FLOATING-PENGUIN" 0 0 4 3 1 #" " 0 0 18 3 22 #"\"floating-penguin.png\"" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 3 37 4 1 #"\0" 2 -1.0 -1.0 0.0 0.0 0 13 500 ( #"\211PNG\r\n\32\n\0\0\0\rIHDR\0\0\0n\0\0\0i\b" #"\2\0\0\0T<\201\24\0\0\27\204IDATx\234\355]{t\23\327\231" #"\377F\243\321\313\32\313\226e$\333\362\v\e\260!h2\231\270r\237\335\316x<\375:]i^^\256R\231P\316\214\21k" #"\330\305\2442\32\233cf:\363k2V\b\31\16\373|\276\312\312\312d\4f" #"ee\1\300\306\215\e\265Z\255R\251,**\312\313\313\3\0\202 \274^\257" #"\333\355\2460\2144\32\225r\371l:" #"b\271\272\246f,\3264.\311\376\222\2461\f\23\251\244\305by\345\225W\0" #"\340\261\307\36\253\250\250\340\313\303\3410" #"\0\24\25\25\231\315f\216V\168\216\3438^XX\330\327\3277`\263\241&" #"S\276F\243\230\275\205\35\0\0\330I" #"`X\226\231\\\312\262,\313\3221\312\247D\349B\20\301`[[\233\260\344" #"\305\27_\304q\234\347\350\342\305\213\\\371\300\300@}}\375\351\323" #"\247)\212\212#\260\267\267\267\255\255" #"\255\313\357\247\231d\352\237\320\3408" ) 500 ( #"_\23b\212q\20\307\264\226b\324\250\24\n\255V+,\331\265k\27A\20\334" #"g\202 \336y\347\35\0 I\262\247\247G\243\321,]\2724\376\254ZPP" #"066\26\31\31\231\256\211$\352\365t\37\377\346\317vd2\31\3030\221H" #"\204/\341y\344\340\365z\1\240\263\263" #"\223\246\351\5\v\26$\\\2350\f\313" #"\311\311\3210\314,\367\355\233\2472D" #"\323\4A\364\367\367\363%\374\350\346p" #"\373\272\333I\222\364\371|s\346\314\21" #"]\212\205\202\202\202h4\232\242\341>" #"\23\255d%\363\331$\234\366#,\333e\375lt\304144\304+\346\363\317" #"?\317\337\360\370\343\217o\250\331\300\21-4\340\335n\367\23O\237OTM \20\bF\"" #"\251P\231\344\331*\17\251\374\225S\202" #"e\351\201\313\237\2359\374\310\302\2\332" #"\274R\254zE\360Y\26\335\322\e\332n\267\207\355v;_\216\262c" #"\200\350\324j\265\360\346\262\262\262\313" #"\227/\363_\315f\263\360*A\20" ) 500 ( #",\313*\224Ij\325\324H^\267\270;\257\36\223M\353\341\31\200\245#=\355" #"\373\243\227\177Y\244\217\306\2773\314b" #"a\270jij`\254\5}\243\250\250\250\244\244\204/ljj\272\343\216;8" #"\263\251\272\272\372\300\201\3\6\203\201\277" #"\332\327\327\347\363\371J+*4q\375#\t\32\2344!\23\366\340H\22.\305" #"\31#\34\362\r\333\e\307\254\373\v\345" #"_*\364\361\17\204\0\0\224HD\t\243\302\0225\33314\244\24R\271j\325" #"*\237\317g\261XFFFV\255Z%\222\340r\2712\363\3620YJ\246\336" #"t\251\270\352E\227B1Y\200\241\276" #"\223G\376g\313\322b\272\262d\346\303" #"\215[\224D\212\31\vV\253\225\242(ci\251\356\312\3625\v\307\305 4\321" #"\23\236\314M\27,\313^:\377\301\211\367~x\333\22H\205G\0\310F\234\6" #"\346#\273\335\316\355|\342\200 \210\341" #"\341\341\314\234\34\215|&+j*\335" #"\237\260\354\244q\230\207\303\276\323Gv\6\372\16\337\276\fU*f>a\361(" #"\205\332\20\223\327\321\201\26\25\25\25\26" #"\26Ny\217\327\353\355\352\352\3121\30" #"\262\364z9\202\314\340\250.\222\264\1" #"4\31\342c\262d\234\336\361\21e\331\316\366\3'\366o_9/Ue\234$" #"Y\326\253\332\346\215\254\326h4%%%\374:C\20\304\310\310\bg3\351\363" #"\363\v\213\2122P\24\246\337\5\26\200" #"\2\230\261\337x\212\23\307T\330\f\263" #"\364\247\357nu\264}\276\262\2K/" #"\217<\334\232\205\366\310\2434\255\25\225" #"\373\34\adZ\305\312\r\277\316\1\4\3426>\326\252\300^1\313g\246FS" #"\330\225|\20\327t\27\"\6\240\243\371" #"ek\313\261\r\2532r\263\3230\250\247\204!x!\e}\332\255\272" #"~T~+W\242\201.C\350\v\e\345\276`\3213\325\217\261Y%\361" ) 500 ( #"Wn\344J\224\317\344rlF" #"5L\35\337^\246.6b\230\34Y>_Y\2327\256\ra\212\r\321\31j" #"]a\222\a\242\211\267\nI\203\e\203" #"\351\331\203\323\0\303\227>\313T\263\231" #"\332\331\360%\237\273\24\266\rEV/" #"S\vW\266\263\335Q\265\326\244\326\227" #"%\331\2:\335\16\210\364\364\334\37\215\206\260L\0056\e'|\247.\204Nv" #"\204\26\225(\204<^\264R\375\276\314\234\212mZyR\256 $v\24\325\214" #"\221\236\37&\312\262$\0\35\2216v" #"\3075J\237\261\204mC\221\345\363\225" #"+\27^\245\354\242\225\252o%}H\376\330i\207Vg1\25\232\2633\304\246" #"\222\b\311\233\356\311O\251\351\241r\16" #"\206\255,\250\374+A;\206\243\3469" #"\351w\334\205)\266\361|\350\222\203\302" #"\344\310\272\e5s\v0\276\374\263\257I\333P$#\267\0024\e[[[\217" #"\36=J\323\364\303;wV\337t\223Z.W\246\274\266\210\342l\323\23~\305" #"\311bX\220M%/'oY\367\271\267\354\216\261r3&G\3236\322}~" #"\346\\w\370\330\31\322\345\245\265j\331" #"\332\25\232\342\274q\36\35\303\321\217\32" #"\2\36\202^\273\351\271\357\375\360\217" #".\267\213$\311\266\266\266\356\356\356\323\365\365\275nw" #"\305\267\276\245\227M\331\330q\320\323\231\340\22\206\245$" ) 500 ( #"\210\257\244'\22\307\260\300\0\360S\242h_\24&G?\370\375j\332?t\347" #"\2673xso\306\340H\344\214\36L" #"\216,\236\253\340\a\265\317\317|v\226\34\364D\r&\323\272-\1774\26W\1" #"\0I\222\357\276\373\256\305b\371\364\323" #"O\275^\257\307\343\371\267\327^{\372\276-j$\r\353A2\303<\36\225I" #"F\303\v5?\32\t~\364\352\332\240" #"\373\362\214\331t\215\322\275\316\210\325\31" #"\365\0204\0\350qtq\231\2027\305\303\24{\256;|\266+\214\3532\327\335" #"\367\373\242\5\353\205\317Z\255\326\375\373" #"\367\237;w\356\342\305\213^\2577;;{\357[oU-Z$\237\225\210\227" #"x{\360\361;\222\220\"T\317h\204\334\377\342M\244wp\361\\EE\261\"" #"\31B}~\246\327\31\31p\323\3#\321H\224\5\0\255ZVl\224/-W" #"\n\255\253S\27Bm=T$\312.\255\252\251Z\377\e\225\3060YT\355\341" #"\332\326\226\326\332\332\332h4\352\367\373" #"M&\323{\357\275WXX\310\260\254" #"\324\321\227b\327\357\325\v\323\0244\221" #"\315\300\227\177{\246\355\253C\241`h" #"\236Y\221o@q\315\204QF\204\200\360G\211 K\4\231A\317\370\371\4&" #"G\362s\344\371\6\2644\17\0232\30\246X\213\215j\353\241\374$\223_Rv" #"\353\335/q#zJ\220$\271w\357^N1\1\300f\263)\24\212\356\356\356" #"$c\21R\1\302L\324\312\24\1778\341`\367\f\266\236\372\373/.\2664\304" #"\177d\371|%\256\221\31t\250h\347" #"\36\246\330\236\201\210\325\31\265\rE\0" #"\0\327e\256\276k\367\274\353\267%l\3\247\230\a\17\36\4\0\232\246;;;" #"\37y\344\221\227_~Y\330B\230~OC\0\f\200\222O-\231" #"tC\372\303\372yq\354\225%k\240\367\363(\25\340\n\357\335\374\360" ) 500 ( #"wo\257\3166\344=\360\360\256\216\23" #"\273O\35\177{\236Y\261\244L!\344\361\242\225\342\31T(\25e\vo^x" #"\363\203\242i1\16\234N\347\237\377\374" #"\347\346\346f\356\330rhh(\20\b\2348qb\351\322\245\334\r\f\313\nc" #"\203\3235\354\323o\3\362^%\276\265\371\245\337\341>455\371#z\265~" #"\331\362\233\253\262\262\262V\325\374\316\325" #"\337~\311\322z\311A\211\204(\224\212" #"\312\353\253\313\226\334\225\214\32\212\220\227" #"\227\207\343\270\331l\346\2504\32\215\235\235\235\217>\372hss3w\3?i" #"\n]_)\"^\0u\352\242'\237m\274\360\302\v+V\254P*\2257\336" #"x#Wr\327O\217\r\331\232\273\317\277/|\266p\376\332\344upJ\224\227" #"\227\23\4\301s\227\233\233{\362\344\311" #"\246\246&\321\331\244\260m\251\23*a" #"H\201\320G\307\0\370\274\336\306\306\306" #"g\236yf\341\302\205\302\370\0cqU\234edf(..nii\321\351" #"tccc\0\240\323\351\6\a\aw\356\334)\n\206\21\2656EH\353\310\341" #"\333\347\213\302o\377\264\257\254\254\f\0" #"n\272\351&I+\5\0.\334\237?\374AQ\24\307\361\206\206\206}\373\366I" #"W\351,\305W^\"\331\267\366\355+++\303q\\\30C.\21\270*\270d" #"\36\16\2341\364\344\223O\272\335n\211*\235%*m\177?0\324m\231?\177" #"~yy\371\354\324h6\233\215F#\377\225\243\222 \210\215\e7JT\343," #"Q\271c\307\16\265Z\235\221\221!\354\336l\2EQ\225J\205aXCC\303" #"s\317='E\25\263Ae\355\341\332" #"\276\276>\203\301\360\352\253\257r\331\"" #"\337\b0\fS\251T\271\271\271{\367\356mjjJ\243dnu" #"\235\r*w\375\373.\f\303\"\221H__\337\320\360\320,\324\30\a" ) 500 ( #"F\243\221a\230\373\357\277?-\223\246" #"0\310Zr*k\17\327\266\266\266\346\344\3440\f\3\0\3069\337\314\0\a\0" #"\225J\25\n\205P\24-((\260\333\355?\376\361\217S\22169R]r*" #"9\2254\30\f\\\324\276R\312\4D!\306\306\306\374~\277\260\4EQ\256\r" #"j\265\332d2\325\325\325\315l\322d'n\344\371\263\ri\251\344U\222O\251" #"\235\34\351,\21\b\202\b\4\2\261\256" #"\352\365\372\254\254\254\275{\367Nk\230" #"O&Q\bi\251\344U\222/\21\305\220K\4.v0\16\225\0`6\233C" #"\241P2\303\234\25\220\30'0@B*E*\311\345=\364\364\364HW#\17" #"\356\a\343v\215<(\212R\t\242\374" #"Q\24\315\312\312\252\253\253\23\306\264\213" #"\20_\rE\220\220\312\35\333w\bU\22S`\0`\261X\22\206\233\246\216\256" #"K]\24E\211\250\214D\"\242\324}\256m;\353\276\354\17\213##\247E\"" #"\a\251\250|\351\245\227._\276l2" #"\231\370\326k\324\32\0\350\357\357\267Z" #"\255\22U\312\243\317\336'\314\261\340\20" #"\n\205\2\201@__\37_\302\355,\347\312C\270\34\271\352f\25<2\255H" #"W\251\2503\206\325j\275\320qa" #"\362\342\346\365z\313\312\312***\270,\225g\237}\26EQ\217\307" ) 500 ( #"\263~\375\372\a\36x -UKB\345\327_\177\r\0\270v\234J\4A\202" #"\301\340\202\5\v\16\37>\274\371G\333\234N\347\205\216\v\22)fcc#A" #"\20\334q#\17\212\242\b\202\330\262e" #"\v_\262g\317\36\247\323\311\262\354\341" #"\303\207\205w\246\222q#\t\225\215\215" #"\215\374g\4AX\226\275\341\206\e\366" #"\376\341\225\362%\313o\337\262mpp" #"0\20\bp\232\233^\264\266\266:\34" #"\216\263g\317\212\312\335n7\216\343O=\365T\332k\24BBc\210\246i\216" #"\307\345\313\227\377\373/\377\243\262\262\222" #"\6(1\231\6\6\6>\376\370c\207" #"\303\321\332\332\232\306\352\274^\357\347\237" #"\177n\267\333E\263$M\323^\257w\365\352\325\302\235\302\224H1\tL\22*" #"\327\257_\217\242\250\303\341\210D\"\225" #"\225\225\17=\265}nii\224\1%" #"\2\225&\375\246M\233\332\332\332\272\272" #"\272>\371\344\23Q\267g\f\222$\17\348\340v\273O\235:%\272400" #"\240R\251\336|\363\315\264T\24\aR" #"\275\336\356\236{\356\3010l\333\266m" #"\245\213\227\225\25\24P\0j\31\310\21" #"\0\0\267\333\275x\361\342`0\370\360" #"\303\17\347\347\347o\336\274\231{WP*x\343\2157\372\373\373\217\37?.2" #"\313\275^\257\315f{\366\331g\367\354" #"\331\23_B\34\26\222\324Si\337\24\30e\301\eee\0\372\211\1\301\265\207" #"k\357\334p\247\311d\332\272uk~" #"~\376\335w\337\235L\362\342\224\340\364" #"\261\247\247\247\276\276~ddDx\211" #"\242\250\356\356\356E\213\26\265\264\264$" #"/0y:D\24\247\371\235l\"\320\0\376(\314\231\24\201\265`\301\2\235N" #"w\340\300\1\247\323i2\231\234N'" #"\347\370\232\256|\247\323y\360\340A\273\335~\374\370\361\321" #"\321\t\311\2724M\333l\266\202\202\202\206\206\6\215F\223" ) 500 ( #"\274L$\366\277\4OI\247\225\f\v\4\r\272\330'\355555uuu\245" #"\245\245k\326\254)//\237;wnMM\215(\205>\16\276\372\352\253\346\346" #"f\267\333\335\330\330(\32\3274M\367\366\366\312d\262#G\216LNqN;" #"\22\274\336.E\320,D\230x<\206" #"\202\356\27\177\261i\240\347\304\331\v\275" #"G\217\36\35\36\36\246(\252\277\277\277" #"\254\274\354\306\0257\306\231=I\222<" #"\177\376\374\2313g\b\202\350\356\356n" #"mm\215F'\344\352S\24\325\333\333" #"\233\225\225\365\341\207\37\316\2\217pE" #"a%\241\222b\301\342\352o?\362/#m\237\313P\231!O\234(K\214\272" #"\2101\37\0l\275].G\224\247:\372\2\201\300\340\340`eee8\34\276" #"\320q\1\0p\34\327\351t\271\271\271" #"\234\236z\307\274\2761\237\303\341\340$" #"\f\16\16\266\265\265\211&G\0 \374\304@\377\200JA=\272)KE~j" #"\357\34\235\0343\23\n\272\207\373\276\4" #"\200\24\303iD\220d\200\373\203\243\177" #"\373\357\177\326\322\266\f\25\204)v\304'~\233\217\22Crt\262|\203<7" #"\vU*\220\227?\34\373\345\276Q\6\324\5\5\58\216\27\27\27+\24\n\243" #"\321\310\275\307\212{\204\363\212\17\r\r" #"Q\24\345v\273E#\232\203\313\345r\271\\\vKe\217\334\211\323\fD\22\275" #"\264\t\327e\326<\370v\272\302l$" #"\241\362\243\327\326\f\331.\334\377O\31" #"\311?r\262=\364\320\257\\=\216\210" #"^\2577\32\215\302\300\212d\300\275q1\20\blY\247\375\365\317rrt(" #"\0\370\374\214{\214v\217\211\363\306\224" #"\30\302\335p\306\22\216*\f\233\236\374" #"b\312\0\342\351\"\375T\16\331\232\337}i\303<\263\342\266\25j\0\360" #"\371\31_\220\241\"\254A\207\306\3175\e\31\243_98\366\302_\274\30" ) 500 ( #"\206q/Q\214\37\22C\323t\220\f" #"F\250\210\307\343\t\4\2s\315\330\257" #"\177\246\377\336-\323\370\375\34\303\321\272" #"\346@\365\372\307oX\273;\371\247b!\375T\332;\353\16\274\366\0\227]s" #"\242\225\344R\348\334\262H\265t^" #"\202\23G\216\320\377:\344\363\372\30\0" #"\300q\\\245R\t\275\337\24EE\"" #"\221P(\304\277x\314\230\203\356\330\234" #"\365\304\367uSK\274\2\327(m\261Q\\l|E\221\202\373]\337?\356W" #"\345\224\374\340\351\257f\324\327\tH\377" #"\262\243T\215\273{}~\246\303J-" #"\237\257\3147\310\1`\300\35\3157\310" #"\303\24\v\0\261b\375\303\24\353\30\216" #"\226\24\250~\273#\247{0\203\200\305" #"\303#\224\335n\17\207\303V\253\225s" #"&\231L\246\242\242\242\f\304\252UR" #"\205s\344\267\337\250^\267R\2230y" #"\3005J\37\250\277z\226{\266+\314\375\330iL&L?\225\306\342*\203\311" #"t\306\342\30252\255Z\306'\333(1\244\251-4\350\211\212\322\352x\\\264" #"R_w\206\243\240\320U\334\232\273\352" #"\347\367\224,\315\216kK5\327\375kOG}\277\333\367\366Qb\305\2e\34" #"}\277h\245\f:t\343j\255\22C2\2652.\a\255\271=T\220+\367\223" #"LaqA\312\235\6\220h\331\31\262" #"5\177\370\352\367\2510\305\263\306)\205" #"\36GK\362\344\245y\330\344\b\376#_\6\a=\321\f" ) 500 ( #"\266\373\313O\377H\205)~\271\23\302" #"5J\273\307\350\266\313\24\0\334{\333" #"x&\351\241\206\200' \253\336\360\314" #"\342U\351\361cJ\345\257\344fL\"\310\0\200\317\317\fz\2427,\230b\0" #"\272F\351\17\276\360{\bz\375\375/" #"\256\271\367M\216G\230\270\347\25&l" #"\306z\247\344\rkw\377d\327\371\322" #"\212e\227\34\324\221\223AnF\346\221" #"\233\215V\226(\252\26\253<\4}Q\260\f\32\362\n\323\305#HG\245\261\270" #"\n\327ev\332#\0\340\v2\0 \312\202\2\2000\305\376\375T\20A\261\373" #"\266\327\306\317\204\209\24\246\344T\245" #"1\334\365\323c+o\333j\e\212||\" b\23\0\314s\344z\34\265:" #"\307w\231#>Z\227\235\236Y\222\203\204^\364\325w\355\36\364D\0175\4F" #"\306h\270\242\241B4\236\17Q\214\374" #"\373?\3730\371\251j2\247\"\254\252" #"\371\335\332M\317y\b\272\361|h\362\343\n\f\tGX\08w)\34\211\262" #"\vo~0\351\336$\206\204T\316\273~\333}\333k=\1\331\311\216\20\0\270" #"\275\23v\35>?s\311AU\336\360" #"\335\231M\371\210\340\177\21\26\257zj" #"\355\246\347.9\250\236\376\210\350\222\237d\374$s\344d\360dGhiUM" #"z\367\340\322\206_\31\213\253\36\373\325" #"\300\306G\367-\255\252\351rD\34\303\343\203+L\261Mm!\0X\376\235\237" #"\317Lr\374\265r\361\252\247p]fs\373\4\305t\fG9*=!\365\272" #"\37<\277\346\3364\37Q\314\322\337\333" #"\t\5\335\237\374es\257\245\325\244\227\3\200\237d(F\276n\363\v3H\26" #"\343\220\360H\253\255i\357\261\17\366,*Q|{\231\32\0\\\243\364\347gI" #"?\205\376d\327\371\264\354\270'cV\377tQ\323" #"\341\247\35\227O\2\200R\205\337r\307/fl\315" ) 77 ( #"%y4\370\365\261\335\ru\177\340\277\32L\246;\37\372(3g\336\314*M" #"\210o\354Ob\246\202\344OY\355\235u}]\307\0@\235aX\\\365\4\246" #"J\260OO\5\377\a\231b\233j\356\374\240\311\0\0\0\0IEND\256B`\202" ) 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 10 #"save-image" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 4 3 1 #" " 0 0 18 3 20 #"\"landed-penguin.png\"" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 3 #"200" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 20 3 3 #"250" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 14 3 8 #"BACKDROP" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"empty-scene" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 14 #";-------------" 0 0 4 29 1 #"\n" 0 0 17 3 43 #"; signature: get-1-bigger: number -> number" 0 0 4 29 1 #"\n" 0 0 17 3 52 #"; purpose: expects a number, and produces the number" 0 0 4 29 1 #"\n" 0 0 17 3 22 #"; that is 1 bigger" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"get-1-bigger" 0 0 4 3 1 #" " 0 0 14 3 8 #"a-number" 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 1 #"+" 0 0 4 3 1 #" " 0 0 14 3 8 #"a-number" 0 0 4 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 61 #"; note -- this check-expect was written BEFORE get-1-bigger's" 0 0 4 29 1 #"\n" 0 0 17 3 24 #"; body was filled in!" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"get-1-bigger" 0 0 4 3 1 #" " 0 0 20 3 2 #"15" 0 0 22 3 1 #")" 0 0 4 3 1 #" " 0 0 20 3 2 #"16" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"get-1-bigger" 0 0 4 3 1 #" " 0 0 20 3 2 #"45" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 17 3 20 #";-------------------" 0 0 4 29 1 #"\n" 0 0 17 3 42 #"; signature: draw-penguin: number -> scene" 0 0 4 29 1 #"\n" 0 0 17 3 47 #"; purpose: expects a number, and if that number" 0 0 4 29 1 #"\n" 0 0 17 3 21 #"; is in the range " 0 0 4 29 1 #"\n" 0 0 17 3 6 #"; [" 0 0 17 3 1 #"0" 0 0 17 3 1 #"," 0 0 17 3 3 #" (-" 0 0 17 3 7 #" HEIGHT" 0 0 17 3 3 #" (*" 0 0 17 3 17 #" .5 (image-height" 0 0 17 3 15 #" LANDED-PENGUIN" 0 0 17 3 3 #")))" 0 0 17 3 1 #" " 0 0 17 3 2 #")," 0 0 4 29 1 #"\n" 0 0 17 3 45 #"; produces a scene with a floating penguin" 0 0 4 29 1 #"\n" 0 0 17 3 39 #"; whose y-coordinate is that number;" 0 0 4 29 1 #"\n" 0 0 17 3 39 #"; otherwise, produces a scene with a" 0 0 4 29 1 #"\n" 0 0 17 3 43 #"; standing penguin at a y-coordinate of " 0 0 4 29 1 #"\n" 0 0 17 3 49 #"; (- HEIGHT (* .5 (image-height LANDED-PENGUIN" 0 0 17 3 3 #")))" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"draw-penguin" 0 0 4 3 1 #" " 0 0 14 3 8 #"a-number" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 53 #"; again, remember -- this function body was completed" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 39 #"; AFTER developing the check-expects" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 17 3 57 #"; (and after inserting a 2-case cond expression template)" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 22 3 1 #"(" 0 0 15 3 4 #"cond" 0 0 4 29 1 #"\n" 0 0 4 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 1 #"<" 0 0 4 3 1 #" " 0 0 14 3 8 #"a-number" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 8 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 4 3 1 #" " 0 0 20 3 2 #".5" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"image-height" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 22 3 4 #"))))" 0 0 4 29 1 #"\n" 0 0 4 3 7 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"place-image" 0 0 4 3 1 #" " 0 0 14 3 16 #"FLOATING-PENGUIN" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 14 3 8 #"a-number" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 14 3 8 #"BACKDROP" 0 0 22 3 2 #")]" 0 0 4 29 1 #"\n" 0 0 4 3 4 #" " 0 0 22 3 1 #"[" 0 0 14 3 4 #"else" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 7 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"place-image" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 4 3 1 #" " 0 0 20 3 2 #".5" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 33 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"image-height" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 22 3 3 #")))" 0 0 4 29 1 #"\n" 0 0 4 3 20 #" " 0 0 14 3 8 #"BACKDROP" 0 0 22 3 2 #")]" 0 0 4 29 1 #"\n" 0 0 4 3 2 #" " 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"draw-penguin" 0 0 4 3 1 #" " 0 0 20 3 1 #"5" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 14 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"place-image" 0 0 4 3 1 #" " 0 0 14 3 16 #"FLOATING-PENGUIN" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 20 3 1 #"5" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 14 3 8 #"BACKDROP" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"draw-penguin" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"+" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 20 3 4 #"1000" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 4 3 14 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"place-image" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 4 3 1 #" " 0 0 20 3 2 #".5" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 30 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"image-height" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 22 3 3 #")))" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 14 3 8 #"BACKDROP" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"draw-penguin" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 18 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 4 3 1 #" " 0 0 20 3 2 #".5" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 30 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"image-height" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 22 3 3 #")))" 0 0 4 29 1 #"\n" 0 0 4 3 14 #" " 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 14 #" " 0 0 22 3 1 #"(" 0 0 14 3 11 #"place-image" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 4 3 1 #" " 0 0 14 3 5 #"WIDTH" 0 0 4 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 4 3 1 #" " 0 0 14 3 6 #"HEIGHT" 0 0 4 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 4 3 1 #" " 0 0 20 3 2 #".5" 0 0 4 3 1 #" " 0 0 4 29 1 #"\n" 0 0 4 3 30 #" " 0 0 22 3 1 #"(" 0 0 14 3 12 #"image-height" 0 0 4 3 1 #" " 0 0 14 3 14 #"LANDED-PENGUIN" 0 0 22 3 3 #")))" 0 0 4 29 1 #"\n" 0 0 4 3 27 #" " 0 0 14 3 8 #"BACKDROP" 0 0 22 3 2 #"))" 0 0 4 29 1 #"\n" 0 0 4 3 14 #" " 0 0 4 29 1 #"\n" 0 0 17 3 60 #"; remember -- STOP this animation when you are done with it," 0 0 4 29 1 #"\n" 0 0 17 3 62 #"; even though it \"looks\" stopped, it is actually keeping on" 0 0 4 29 1 #"\n" 0 0 17 3 60 #"; redrawing that standing penguin with each clock tick of" 0 0 4 29 1 #"\n" 0 0 17 3 29 #"; the running universe...!" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 8 #"big-bang" 0 0 4 3 1 #" " 0 0 20 3 1 #"0" 0 0 4 29 1 #"\n" 0 0 4 3 10 #" " 0 0 22 3 1 #"(" 0 0 14 3 7 #"on-tick" 0 0 4 3 1 #" " 0 0 14 3 12 #"get-1-bigger" 0 0 22 3 1 #")" 0 0 4 29 1 #"\n" 0 0 4 3 10 #" " 0 0 22 3 1 #"(" 0 0 14 3 7 #"on-draw" 0 0 4 3 1 #" " 0 0 14 3 12 #"draw-penguin" 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