#reader(lib"read.ss""wxme")WXME0108 ## #| This file is in plt scheme editor format. Open this file in dr-scheme version 4.2 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 (such as images or comment boxes). http://www.plt-scheme.org |# 29 7 #"wxtext\0" 3 1 6 #"wxtab\0" 1 1 8 #"wxmedia\0" 4 1 8 #"wximage\0" 2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0" 1 0 16 #"drscheme:number\0" 3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0" 1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0" 1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0" 0 0 19 #"drscheme:sexp-snip\0" 0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0" 1 0 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 18 #"java-comment-box%\0" 1 0 23 #"java-interactions-box%\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 135 0 1 #"\0" 0 75 1 #"\0" 0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 0 9 #"Standard\0" 0 75 12 #"Courier New\0" 0 23 90 -1 90 -1 3 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 -1 -1 2 24 #"framework:default-color\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 15 #"text:ports out\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 150 0 150 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 -1 2 15 #"text:ports err\0" 0 -1 1 #"\0" 1.0 0 -1 -1 93 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 255 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 17 #"text:ports value\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 175 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 27 #"Matching Parenthesis Style\0" 0 -1 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1.0 1.0 1.0 34 139 34 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37 #"framework:syntax-color:scheme:symbol\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 38 #"framework:syntax-color:scheme:keyword\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 38 #"framework:syntax-color:scheme:comment\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 37 #"framework:syntax-color:scheme:string\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 39 #"framework:syntax-color:scheme:constant\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 42 #"framework:syntax-color:scheme:parenthesis\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 36 #"framework:syntax-color:scheme:error\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36 #"framework:syntax-color:scheme:other\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 81 112 203 0 0 0 -1 -1 2 38 #"drscheme: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 68 0 203 0 0 0 -1 -1 2 31 #"drscheme:check-syntax:imported\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 68 0 203 0 0 0 -1 -1 2 41 #"profj:syntax-colors:scheme:block-comment\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:keyword\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 37 #"profj:syntax-colors:scheme:prim-type\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 0 0 0 -1 -1 2 38 #"profj:syntax-colors:scheme:identifier\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 34 #"profj:syntax-colors:scheme:string\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:literal\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:comment\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 33 #"profj:syntax-colors:scheme:error\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 35 #"profj:syntax-colors:scheme:default\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 37 #"profj:syntax-colors:scheme:uncovered\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 35 #"profj:syntax-colors:scheme:covered\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 139 0 139 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 0 1 #"\0" 0 75 12 #"Courier New\0" 0.0 10 90 -1 90 -1 3 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255 255 255 1 -1 2 40 #"framework:syntax-coloring:scheme:symbol\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 41 #"framework:syntax-coloring:scheme:keyword\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 41 #"framework:syntax-coloring:scheme:comment\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 40 #"framework:syntax-coloring:scheme:string\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 42 #"framework:syntax-coloring:scheme:constant\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 41 128 38 0 0 0 -1 -1 2 45 #"framework:syntax-coloring:scheme:parenthesis\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 132 60 36 0 0 0 -1 -1 2 39 #"framework:syntax-coloring:scheme:error\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 39 #"framework:syntax-coloring:scheme:other\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 49 #"drscheme:check-syntax:lexically-bound-identifier\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 42 #"drscheme:check-syntax:imported-identifier\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 37 #"profj:syntax-coloring:scheme:keyword\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 2 36 #"profj:syntax-coloring:scheme:string\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 37 #"profj:syntax-coloring:scheme:literal\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 34 139 34 0 0 0 -1 -1 2 37 #"profj:syntax-coloring:scheme:comment\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 194 116 31 0 0 0 -1 -1 2 35 #"profj:syntax-coloring:scheme:error\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 255 0 0 0 0 0 -1 -1 2 40 #"profj:syntax-coloring:scheme:identifier\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 38 38 128 0 0 0 -1 -1 2 37 #"profj:syntax-coloring:scheme:default\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 70 1 #"\0" 1.0 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 1.0 1.0 1.0 1.0 1.0 1.0 0 0 0 0 0 0 -1 -1 2 1 #"\0" 0 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 -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 2 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 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 2 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 94 -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 54 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 50 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 49 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 53 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 54 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 178 34 34 0 0 0 -1 -1 50 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 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 178 34 34 0 0 0 -1 -1 49 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 178 34 34 0 0 0 -1 -1 53 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 178 34 34 0 0 0 -1 -1 51 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 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 54 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 50 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 49 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 0.0 0.0 0.0 0 0 0 255 255 255 -1 -1 53 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 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 0.0 0.0 0.0 178 34 34 255 255 255 -1 -1 2 1 #"\0" 0 70 1 #"\0" 2.0 0 92 -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 70 1 #"\0" 1.0 0 92 -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 70 1 #"\0" 1.0 0 92 -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 2 1 #"\0" 0 70 1 #"\0" 1.0 -2 -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 70 1 #"\0" 1.0 -2 -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 2 1 #"\0" 0 70 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 50 205 50 0 0 0 -1 -1 2 1 #"\0" 0 70 1 #"\0" 1.0 0 -1 -1 93 -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 70 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 1 #"\0" 0 70 1 #"\0" 1.5 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 34 139 34 0 0 0 -1 -1 2 1 #"\0" 0 75 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 75 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 2 1 #"\0" 0 70 1 #"\0" 1.0 2 -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 70 1 #"\0" 1.0 2 -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 255 0 0 0 -1 -1 2 1 #"\0" 0 70 1 #"\0" 1.0 2 92 -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 255 0 0 0 -1 -1 2 1 #"\0" 0 70 1 #"\0" 1.5 0 92 -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 75 1 #"\0" 1.0 0 92 -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 70 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 34 139 34 0 0 0 -1 -1 2 1 #"\0" 0 75 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 34 139 34 0 0 0 -1 -1 2 1 #"\0" 0 70 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 2 1 #"\0" 0 75 1 #"\0" 1.0 0 92 -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 2 1 #"\0" 0 75 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 132 60 36 0 0 0 -1 -1 2 1 #"\0" 0 75 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 1 0 0 0 0 0 0.0 0.0 0.0 1.0 1.0 1.0 153 0 0 0 0 0 -1 -1 2 1 #"\0" 0 75 1 #"\0" 1.0 0 92 -1 -1 -1 -1 -1 1 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 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 22 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 15 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 4 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 14 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 20 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -1 -1 22 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 15 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 4 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 14 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 20 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 0 0 255 165 0 0 0 0 -1 -1 17 1 #"\0" 0 -1 1 #"\0" 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 -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 255 255 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 0 0 0 255 255 255 -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 255 255 255 -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 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 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 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 255 255 255 -1 -1 0 1 #"\0" 0 75 12 #"Courier New\0" 0.0 23 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 754 0 4 3 85 ( #";; The first three lines of this file were inserted by DrScheme. 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 181 ( #"#reader(lib \"htdp-advanced-reader.ss\" \"lang\")((modname haltingpr" #"oblem) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t " #"constructor repeating-decimal #t #t none #f ())))" ) 0 0 4 29 1 #"\n" 0 7 229 128 0 0 0 37 0 14 3 9 #"QUESTION:" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 14 3 3 #"For" 0 0 2 3 1 #" " 0 0 14 3 4 #"what" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 9 #"following" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 5 #"stop?" 0 0 2 29 1 #"\n" 0 0 14 3 3 #"For" 0 0 2 3 1 #" " 0 0 14 3 4 #"what" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 9 #"following" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 3 #"run" 0 0 2 3 1 #" " 0 0 14 3 8 #"forever?" 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 7 #"ntract:" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"e" 0 0 17 3 1 #"a" 0 0 17 3 1 #"s" 0 0 17 3 1 #"y" 0 0 17 3 1 #"2" 0 0 17 3 2 #"se" 0 0 17 3 1 #"e" 0 0 17 3 1 #":" 0 0 17 3 1 #" " 0 0 17 3 1 #"n" 0 0 17 3 1 #"u" 0 0 17 3 1 #"m" 0 0 17 3 1 #"b" 0 0 17 3 1 #"e" 0 0 17 3 1 #"r" 0 0 17 3 1 #" " 0 0 17 3 1 #"-" 0 0 17 3 1 #"-" 0 0 17 3 1 #">" 0 0 17 3 7 #" number" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 7 #"urpose:" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"(" 0 0 17 3 1 #"e" 0 0 17 3 1 #"a" 0 0 17 3 1 #"s" 0 0 17 3 1 #"y" 0 0 17 3 1 #"2" 0 0 17 3 1 #"s" 0 0 17 3 1 #"e" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"-" 0 0 17 3 1 #"n" 0 0 17 3 1 #"u" 0 0 17 3 1 #"m" 0 0 17 3 1 #")" 0 0 17 3 2 #" k" 0 0 17 3 1 #"e" 0 0 17 3 1 #"e" 0 0 17 3 1 #"p" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"u" 0 0 17 3 1 #"b" 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"a" 0 0 17 3 1 #"c" 0 0 17 3 1 #"t" 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"g" 0 0 17 3 1 #" " 0 0 17 3 1 #"2" 0 0 17 3 1 #" " 0 0 17 3 1 #"f" 0 0 17 3 1 #"r" 0 0 17 3 1 #"o" 0 0 17 3 1 #"m" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"-" 0 0 17 3 1 #"n" 0 0 17 3 1 #"u" 0 0 17 3 1 #"m" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"n" 0 0 17 3 1 #"d" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"o" 0 0 17 3 1 #"p" 0 0 17 3 1 #" " 0 0 17 3 1 #"O" 0 0 17 3 1 #"N" 0 0 17 3 1 #"L" 0 0 17 3 1 #"Y" 0 0 17 3 2 #" w" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 2 #"n " 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"r" 0 0 17 3 1 #"e" 0 0 17 3 1 #"s" 0 0 17 3 1 #"u" 0 0 17 3 1 #"l" 0 0 17 3 7 #"t is 1." 0 0 128 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"e" 0 0 14 3 7 #"asy2see" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 1 #")" 0 0 128 29 1 #"\n" 0 0 128 3 2 #" " 0 0 22 3 1 #"(" 0 0 15 3 4 #"cond" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 1 #"=" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 128 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 1 #"]" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 1 #"[" 0 0 14 3 4 #"else" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"e" 0 0 14 3 7 #"asy2see" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"-" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 128 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 5 #"))]))" 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 7 85 128 0 0 0 13 0 14 3 6 #"ANSWER" 0 0 2 3 1 #" " 0 0 14 3 2 #"TO" 0 0 2 3 1 #" " 0 0 14 3 3 #"THE" 0 0 2 3 1 #" " 0 0 14 3 5 #"ABOVE" 0 0 2 3 1 #" " 0 0 14 3 9 #"QUESTION:" 0 0 2 29 1 #"\n" 0 0 14 3 4 #"????" 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 7 247 128 0 0 0 40 0 14 3 4 #"SAME" 0 0 2 3 1 #" " 0 0 14 3 9 #"QUESTION:" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 14 3 3 #"For" 0 0 2 3 1 #" " 0 0 14 3 4 #"what" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 9 #"following" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 5 #"stop?" 0 0 2 29 1 #"\n" 0 0 14 3 3 #"For" 0 0 2 3 1 #" " 0 0 14 3 4 #"what" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 9 #"following" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 3 #"run" 0 0 2 3 1 #" " 0 0 14 3 8 #"forever?" 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 7 #"ntract:" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"m" 0 0 17 3 1 #"y" 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"e" 0 0 17 3 1 #"r" 0 0 17 3 1 #"y" 0 0 17 3 1 #":" 0 0 17 3 1 #" " 0 0 17 3 1 #"n" 0 0 17 3 1 #"u" 0 0 17 3 1 #"m" 0 0 17 3 1 #"b" 0 0 17 3 1 #"e" 0 0 17 3 1 #"r" 0 0 17 3 1 #" " 0 0 17 3 1 #"-" 0 0 17 3 1 #"-" 0 0 17 3 1 #">" 0 0 17 3 7 #" number" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"(" 0 0 17 3 1 #"m" 0 0 17 3 1 #"y" 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"e" 0 0 17 3 1 #"r" 0 0 17 3 1 #"y" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"-" 0 0 17 3 1 #"n" 0 0 17 3 1 #"u" 0 0 17 3 1 #"m" 0 0 17 3 1 #")" 0 0 17 3 1 #" " 0 0 17 3 1 #"d" 0 0 17 3 1 #"o" 0 0 17 3 1 #"e" 0 0 17 3 7 #"s what?" 0 0 128 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 7 #"mystery" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 1 #")" 0 0 128 29 1 #"\n" 0 0 128 3 2 #" " 0 0 22 3 1 #"(" 0 0 15 3 4 #"cond" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 1 #"=" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 128 3 1 #" " 0 0 20 3 1 #"1" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 1 #"]" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 5 #"even?" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 7 #"mystery" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"/" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 128 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 3 #"))]" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 1 #"[" 0 0 14 3 4 #"else" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 7 #"mystery" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"+" 0 0 128 3 1 #" " 0 0 20 3 1 #"1" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"*" 0 0 128 3 1 #" " 0 0 20 3 1 #"3" 0 0 128 3 1 #" " 0 0 14 3 5 #"a-num" 0 0 22 3 6 #")))]))" 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 7 85 128 0 0 0 13 0 14 3 6 #"ANSWER" 0 0 2 3 1 #" " 0 0 14 3 2 #"TO" 0 0 2 3 1 #" " 0 0 14 3 3 #"THE" 0 0 2 3 1 #" " 0 0 14 3 5 #"ABOVE" 0 0 2 3 1 #" " 0 0 14 3 9 #"QUESTION:" 0 0 2 29 1 #"\n" 0 0 14 3 4 #"????" 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 7 1219 128 0 0 0 202 0 14 3 3 #"THE" 0 0 2 3 1 #" " 0 0 14 3 7 #"HALTING" 0 0 2 3 1 #" " 0 0 14 3 8 #"PROBLEM:" 0 0 2 29 1 #"\n" 0 0 14 3 2 #"Is" 0 0 2 3 1 #" " 0 0 14 3 5 #"there" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 4 #"that" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 10 #"following:" 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 14 3 1 #"a" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 4 #"take" 0 0 2 3 1 #" " 0 0 14 3 2 #"in" 0 0 2 3 1 #" " 0 0 14 3 2 #"as" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 6 #"string" 0 0 2 3 1 #" " 0 0 14 3 12 #"representing" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 1 #"P" 0 0 2 3 1 #" " 0 0 14 3 3 #"and" 0 0 2 3 1 #" " 0 0 14 3 7 #"another" 0 0 2 3 1 #" " 0 0 14 3 6 #"string" 0 0 2 3 1 #" " 0 0 14 3 12 #"representing" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 14 3 4 #"some" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 1 #"X" 0 0 2 3 1 #" " 0 0 15 3 3 #"for" 0 0 2 3 1 #" " 0 0 14 3 1 #"P" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 14 3 1 #"b" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 6 #"figure" 0 0 2 3 1 #" " 0 0 14 3 3 #"out" 0 0 2 3 1 #" " 0 0 14 3 7 #"whether" 0 0 2 3 1 #" " 0 0 14 3 2 #"or" 0 0 2 3 1 #" " 0 0 14 3 3 #"not" 0 0 2 3 1 #" " 0 0 14 3 1 #"P" 0 0 2 3 1 #" " 0 0 14 3 4 #"will" 0 0 2 3 1 #" " 0 0 14 3 4 #"halt" 0 0 2 3 1 #" " 0 0 14 3 2 #"on" 0 0 2 3 1 #" " 0 0 14 3 5 #"input" 0 0 2 3 1 #" " 0 0 14 3 1 #"X" 0 0 2 3 1 #" " 0 0 14 3 3 #"and" 0 0 2 3 1 #" " 0 0 14 3 6 #"return" 0 0 2 3 1 #" " 0 0 14 3 4 #"true" 0 0 2 3 1 #" " 0 0 14 3 2 #"if" 0 0 2 3 1 #" " 0 0 14 3 2 #"it" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 14 3 5 #"false" 0 0 2 3 1 #" " 0 0 14 3 10 #"otherwise?" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 14 3 3 #"How" 0 0 2 3 1 #" " 0 0 15 3 2 #"do" 0 0 2 3 1 #" " 0 0 14 3 2 #"we" 0 0 2 3 1 #" " 0 0 14 3 2 #"go" 0 0 2 3 1 #" " 0 0 14 3 5 #"about" 0 0 2 3 1 #" " 0 0 14 3 9 #"answering" 0 0 2 3 1 #" " 0 0 14 3 4 #"this" 0 0 2 3 1 #" " 0 0 14 3 9 #"question?" 0 0 2 3 2 #" " 0 0 14 3 2 #"We" 0 0 2 3 1 #" " 0 0 14 3 4 #"will" 0 0 2 3 1 #" " 0 0 14 3 3 #"use" 0 0 2 3 1 #" " 0 0 14 3 2 #"an" 0 0 2 3 1 #" " 0 0 14 3 8 #"argument" 0 0 2 3 1 #" " 0 0 14 3 6 #"called" 0 0 2 3 1 #" " 0 0 2 29 1 #"\n" 0 0 19 3 24 #"\"proof by contradiction\"" 0 0 2 3 1 #" " 0 0 14 3 2 #"to" 0 0 2 3 1 #" " 0 0 14 3 5 #"claim" 0 0 2 3 1 #" " 0 0 14 3 4 #"that" 0 0 2 3 1 #" " 0 0 14 3 5 #"there" 0 0 2 3 1 #" " 0 0 14 3 3 #"can" 0 0 2 3 1 #" " 0 0 14 3 2 #"be" 0 0 2 3 1 #" " 0 0 14 3 2 #"no" 0 0 2 3 1 #" " 0 0 14 3 4 #"such" 0 0 2 3 1 #" " 0 0 14 3 9 #"programs." 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 14 3 5 #"First" 0 0 2 3 1 #" " 0 0 14 3 2 #"we" 0 0 2 3 1 #" " 0 0 14 3 6 #"assume" 0 0 2 3 1 #" " 0 0 14 3 4 #"that" 0 0 2 3 1 #" " 0 0 14 3 4 #"such" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 6 #"exists" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 6 #"called" 0 0 2 3 1 #" " 0 0 14 3 2 #"it" 0 0 2 3 1 #" " 0 0 14 3 2 #"H." 0 0 2 3 2 #" " 0 0 2 29 1 #"\n" 0 0 14 3 3 #"Let" 0 0 20 3 1 #"'" 0 0 14 3 1 #"s" 0 0 2 3 1 #" " 0 0 14 3 5 #"write" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 8 #"skeleton" 0 0 2 3 1 #" " 0 0 15 3 3 #"for" 0 0 2 3 1 #" " 0 0 14 3 2 #"H." 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 7 #"ntract:" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"H" 0 0 17 3 1 #":" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"g" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"g" 0 0 17 3 1 #" " 0 0 17 3 1 #"-" 0 0 17 3 1 #"-" 0 0 17 3 1 #">" 0 0 17 3 1 #" " 0 0 17 3 7 #"boolean" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"L" 0 0 17 3 1 #"e" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 1 #" " 0 0 17 3 1 #"b" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"e" 0 0 17 3 1 #"x" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"o" 0 0 17 3 1 #"f" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 1 #"r" 0 0 17 3 1 #"o" 0 0 17 3 1 #"g" 0 0 17 3 1 #"r" 0 0 17 3 1 #"a" 0 0 17 3 1 #"m" 0 0 17 3 1 #" " 0 0 17 3 1 #"P" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"n" 0 0 17 3 1 #"d" 0 0 17 3 1 #" " 0 0 17 3 1 #"x" 0 0 17 3 1 #" " 0 0 17 3 1 #"b" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"e" 0 0 17 3 1 #"x" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"o" 0 0 17 3 1 #"f" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"n" 0 0 17 3 1 #" " 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"p" 0 0 17 3 1 #"u" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"X" 0 0 17 3 7 #" for P." 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 2 #" (" 0 0 17 3 1 #"H" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 1 #" " 0 0 17 3 1 #"x" 0 0 17 3 1 #")" 0 0 17 3 1 #" " 0 0 17 3 1 #"r" 0 0 17 3 1 #"e" 0 0 17 3 1 #"t" 0 0 17 3 1 #"u" 0 0 17 3 1 #"r" 0 0 17 3 1 #"n" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"u" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"i" 0 0 17 3 1 #"f" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 1 #"r" 0 0 17 3 1 #"o" 0 0 17 3 1 #"g" 0 0 17 3 1 #"r" 0 0 17 3 1 #"a" 0 0 17 3 1 #"m" 0 0 17 3 1 #" " 0 0 17 3 2 #"P " 0 0 17 3 1 #"h" 0 0 17 3 1 #"a" 0 0 17 3 1 #"l" 0 0 17 3 1 #"t" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 1 #"o" 0 0 17 3 1 #"n" 0 0 17 3 1 #" " 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"p" 0 0 17 3 1 #"u" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 2 #"X," 0 0 17 3 1 #" " 0 0 17 3 1 #"f" 0 0 17 3 1 #"a" 0 0 17 3 1 #"l" 0 0 17 3 1 #"s" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"o" 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 7 #"erwise." 0 0 128 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 12 #"check-expect" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 128 3 1 #" " 0 0 20 3 1 #"1" 0 0 128 3 1 #" " 0 0 20 3 1 #"2" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 14 3 4 #"true" 0 0 22 3 1 #")" 0 0 128 29 1 #"\n" 0 0 17 3 13 #";; definition" 0 0 128 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 128 3 1 #" " 0 0 14 3 1 #"p" 0 0 128 3 1 #" " 0 0 14 3 1 #"x" 0 0 22 3 1 #")" 0 0 128 29 1 #"\n" 0 0 128 3 2 #" " 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 1 #"d" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"f" 0 0 17 3 1 #"o" 0 0 17 3 1 #"r" 0 0 17 3 1 #" " 0 0 17 3 1 #"H" 0 0 17 3 1 #" " 0 0 17 3 1 #"g" 0 0 17 3 1 #"o" 0 0 17 3 1 #"e" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 7 #"here..." 0 0 128 29 1 #"\n" 0 0 128 3 2 #" " 0 0 14 3 4 #"true" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 17 3 1 #";" 0 0 17 3 2 #"; " 0 0 17 3 1 #"w" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"d" 0 0 17 3 1 #"o" 0 0 17 3 1 #"n" 0 0 17 3 1 #"'" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"k" 0 0 17 3 1 #"n" 0 0 17 3 1 #"o" 0 0 17 3 1 #"w" 0 0 17 3 1 #" " 0 0 17 3 1 #"w" 0 0 17 3 1 #"h" 0 0 17 3 1 #"a" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 1 #"d" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"r" 0 0 17 3 1 #"e" 0 0 17 3 1 #"t" 0 0 17 3 1 #"u" 0 0 17 3 1 #"r" 0 0 17 3 1 #"n" 0 0 17 3 1 #"s" 0 0 17 3 1 #"," 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"o" 0 0 17 3 2 #" w" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"e" 0 0 17 3 1 #"m" 0 0 17 3 1 #"p" 0 0 17 3 1 #"o" 0 0 17 3 1 #"r" 0 0 17 3 1 #"a" 0 0 17 3 1 #"r" 0 0 17 3 1 #"i" 0 0 17 3 1 #"l" 0 0 17 3 1 #"y" 0 0 17 3 2 #" r" 0 0 17 3 1 #"e" 0 0 17 3 1 #"t" 0 0 17 3 1 #"u" 0 0 17 3 1 #"r" 0 0 17 3 1 #"n" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"u" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 5 #"here " 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #" " 0 0 17 3 1 #"o" 0 0 17 3 1 #"r" 0 0 17 3 1 #"d" 0 0 17 3 1 #"e" 0 0 17 3 1 #"r" 0 0 17 3 1 #" " 0 0 17 3 1 #"f" 0 0 17 3 1 #"o" 0 0 17 3 1 #"r" 0 0 17 3 2 #" t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"p" 0 0 17 3 1 #"r" 0 0 17 3 1 #"o" 0 0 17 3 1 #"g" 0 0 17 3 1 #"r" 0 0 17 3 1 #"a" 0 0 17 3 1 #"m" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"a" 0 0 17 3 1 #"n" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 7 #"ompile." 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 7 151 128 0 0 0 24 0 14 3 3 #"Now" 0 0 2 3 1 #" " 0 0 14 3 2 #"we" 0 0 2 3 1 #" " 0 0 14 3 3 #"use" 0 0 2 3 1 #" " 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 2 #"to" 0 0 2 3 1 #" " 0 0 14 3 5 #"write" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 6 #"called" 0 0 2 3 1 #" " 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 2 #"as" 0 0 2 3 1 #" " 0 0 14 3 8 #"follows." 0 0 2 29 1 #"\n" 0 0 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"c" 0 0 17 3 1 #"o" 0 0 17 3 7 #"ntract:" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"w" 0 0 17 3 1 #"e" 0 0 17 3 1 #"i" 0 0 17 3 1 #"r" 0 0 17 3 1 #"d" 0 0 17 3 1 #":" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"g" 0 0 17 3 1 #" " 0 0 17 3 1 #"-" 0 0 17 3 1 #">" 0 0 17 3 1 #" " 0 0 17 3 7 #"boolean" 0 0 128 29 1 #"\n" 0 0 17 3 1 #";" 0 0 17 3 1 #";" 0 0 17 3 1 #" " 0 0 17 3 1 #"(" 0 0 17 3 1 #"w" 0 0 17 3 1 #"e" 0 0 17 3 1 #"i" 0 0 17 3 1 #"r" 0 0 17 3 1 #"d" 0 0 17 3 1 #" " 0 0 17 3 1 #"a" 0 0 17 3 1 #"-" 0 0 17 3 1 #"s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"r" 0 0 17 3 1 #"i" 0 0 17 3 1 #"n" 0 0 17 3 1 #"g" 0 0 17 3 1 #")" 0 0 17 3 1 #" " 0 0 17 3 1 #"d" 0 0 17 3 1 #"o" 0 0 17 3 1 #"e" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 1 #"s" 0 0 17 3 1 #"o" 0 0 17 3 1 #"m" 0 0 17 3 1 #"e" 0 0 17 3 1 #" " 0 0 17 3 1 #"r" 0 0 17 3 1 #"e" 0 0 17 3 1 #"a" 0 0 17 3 1 #"l" 0 0 17 3 1 #"l" 0 0 17 3 1 #"y" 0 0 17 3 1 #" " 0 0 17 3 1 #"w" 0 0 17 3 1 #"e" 0 0 17 3 1 #"i" 0 0 17 3 1 #"r" 0 0 17 3 1 #"d" 0 0 17 3 2 #" s" 0 0 17 3 1 #"t" 0 0 17 3 1 #"u" 0 0 17 3 1 #"f" 0 0 17 3 1 #"f" 0 0 17 3 1 #" " 0 0 17 3 1 #"t" 0 0 17 3 1 #"h" 0 0 17 3 1 #"a" 0 0 17 3 1 #"t" 0 0 17 3 1 #" " 0 0 17 3 1 #"m" 0 0 17 3 1 #"a" 0 0 17 3 1 #"k" 0 0 17 3 1 #"e" 0 0 17 3 1 #"s" 0 0 17 3 1 #" " 0 0 17 3 1 #"n" 0 0 17 3 1 #"o" 0 0 17 3 7 #" sense." 0 0 128 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 15 3 6 #"define" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 128 3 1 #" " 0 0 14 3 8 #"a-string" 0 0 22 3 1 #")" 0 0 128 29 1 #"\n" 0 0 128 3 2 #" " 0 0 22 3 1 #"(" 0 0 15 3 4 #"cond" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 2 #"[(" 0 0 14 3 1 #"H" 0 0 128 3 1 #" " 0 0 14 3 8 #"a-string" 0 0 128 3 1 #" " 0 0 14 3 8 #"a-string" 0 0 22 3 1 #")" 0 0 128 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 128 3 1 #" " 0 0 14 3 8 #"a-string" 0 0 22 3 2 #")]" 0 0 128 29 1 #"\n" 0 0 128 3 4 #" " 0 0 22 3 1 #"[" 0 0 14 3 4 #"else" 0 0 128 3 1 #" " 0 0 14 3 5 #"false" 0 0 22 3 3 #"]))" 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 7 79 4 0 0 0 12 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 19 3 25 #"\"(define (weird a-string)" 0 0 19 29 1 #"\n" 0 0 19 3 7 #" (cond" 0 0 19 29 1 #"\n" 0 0 19 3 44 #" [(H a-string a-string) (weird a-string)]" 0 0 19 29 1 #"\n" 0 0 19 3 19 #" [else false]))\"" 0 0 22 3 1 #")" 0 0 2 29 1 #"\n" 0 0 0 0 24 29 1 #"\n" 0 7 2113 128 0 0 0 351 0 14 3 10 #"DISCUSSION" 0 0 2 3 1 #" " 0 0 14 3 2 #"OF" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 6 #"weird:" 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 14 3 3 #"Let" 0 0 20 3 1 #"'" 0 0 14 3 1 #"s" 0 0 2 3 1 #" " 0 0 14 3 4 #"feed" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 4 #"text" 0 0 2 3 1 #" " 0 0 14 3 2 #"of" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 2 #"to" 0 0 2 3 1 #" " 0 0 14 3 7 #"itself:" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 26 3 1 #"." 0 0 2 29 1 #"\n" 0 0 14 3 4 #"What" 0 0 2 3 1 #" " 0 0 14 3 7 #"happens" 0 0 2 3 1 #" " 0 0 14 3 6 #"inside" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 4 #"code" 0 0 2 3 1 #" " 0 0 14 3 2 #"of" 0 0 2 3 1 #" " 0 0 14 3 6 #"weird?" 0 0 2 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 7 #"called." 0 0 2 29 1 #"\n" 0 0 14 3 5 #"There" 0 0 2 3 1 #" " 0 0 14 3 3 #"are" 0 0 2 3 1 #" " 0 0 14 3 3 #"two" 0 0 2 3 1 #" " 0 0 14 3 8 #"possible" 0 0 2 3 1 #" " 0 0 14 3 8 #"results:" 0 0 2 3 1 #" " 0 0 14 3 4 #"true" 0 0 2 3 1 #" " 0 0 14 3 2 #"or" 0 0 2 3 1 #" " 0 0 14 3 6 #"false." 0 0 2 29 1 #"\n" 0 0 20 3 2 #"1." 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 4 #"true" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 7 #"meaning" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 6 #"halts." 0 0 2 29 1 #"\n" 0 0 14 3 7 #"However" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 4 #"code" 0 0 2 3 1 #" " 0 0 15 3 3 #"for" 0 0 2 3 1 #" " 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 2 #"in" 0 0 2 3 1 #" " 0 0 14 3 4 #"this" 0 0 2 3 1 #" " 0 0 15 3 4 #"case" 0 0 2 3 1 #" " 0 0 14 3 4 #"says" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 6 #"called" 0 0 2 3 1 #" " 0 0 14 3 5 #"again" 0 0 26 3 1 #"," 0 0 2 29 1 #"\n" 0 0 14 3 5 #"which" 0 0 2 3 1 #" " 0 0 14 3 2 #"in" 0 0 2 3 1 #" " 0 0 14 3 5 #"turns" 0 0 2 3 1 #" " 0 0 14 3 5 #"calls" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 5 #"which" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 4 #"true" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 3 #"and" 0 0 2 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 4 #"thus" 0 0 2 3 1 #" " 0 0 14 3 6 #"called" 0 0 2 3 1 #" " 0 0 14 3 6 #"again." 0 0 2 29 1 #"\n" 0 0 14 3 4 #"This" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 2 #"an" 0 0 2 3 1 #" " 0 0 14 3 8 #"infinite" 0 0 2 3 1 #" " 0 0 14 3 4 #"loop" 0 0 2 3 1 #" " 0 0 14 3 5 #"which" 0 0 2 3 1 #" " 0 0 14 3 5 #"never" 0 0 2 3 1 #" " 0 0 14 3 5 #"stops" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 5 #"which" 0 0 2 3 1 #" " 0 0 14 3 11 #"contradicts" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 4 #"fact" 0 0 2 3 1 #" " 0 0 14 3 4 #"that" 0 0 2 29 1 #"\n" 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 6 #"halts." 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 20 3 2 #"2." 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 5 #"false" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 7 #"meaning" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"not" 0 0 2 3 1 #" " 0 0 14 3 5 #"halt." 0 0 2 29 1 #"\n" 0 0 14 3 3 #"But" 0 0 2 3 1 #" " 0 0 14 3 4 #"then" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 4 #"code" 0 0 2 3 1 #" " 0 0 14 3 2 #"of" 0 0 2 3 1 #" " 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 2 #"in" 0 0 2 3 1 #" " 0 0 14 3 4 #"this" 0 0 2 3 1 #" " 0 0 15 3 4 #"case" 0 0 2 3 1 #" " 0 0 14 3 7 #"returns" 0 0 2 3 1 #" " 0 0 14 3 5 #"false" 0 0 2 3 1 #" " 0 0 14 3 3 #"and" 0 0 2 3 1 #" " 0 0 14 3 5 #"stops" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 5 #"which" 0 0 2 3 1 #" " 0 0 14 3 11 #"contradicts" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 29 1 #"\n" 0 0 14 3 4 #"fact" 0 0 2 3 1 #" " 0 0 14 3 4 #"that" 0 0 2 3 1 #" " 0 0 22 3 1 #"(" 0 0 14 3 5 #"weird" 0 0 2 3 1 #" " 0 0 14 3 13 #"text-of-weird" 0 0 22 3 1 #")" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"not" 0 0 2 3 1 #" " 0 0 14 3 5 #"stop." 0 0 2 29 1 #"\n" 0 0 2 29 1 #"\n" 0 0 14 3 4 #"Thus" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 9 #"existence" 0 0 2 3 1 #" " 0 0 14 3 2 #"of" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"program" 0 0 2 3 1 #" " 0 0 14 3 4 #"like" 0 0 2 3 1 #" " 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 5 #"leads" 0 0 2 3 1 #" " 0 0 14 3 2 #"to" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 7 #"logical" 0 0 2 3 1 #" " 0 0 14 3 14 #"contradiction." 0 0 2 29 1 #"\n" 0 0 14 3 2 #"As" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 6 #"result" 0 0 26 3 1 #"," 0 0 2 3 1 #" " 0 0 14 3 1 #"H" 0 0 2 3 1 #" " 0 0 14 3 4 #"does" 0 0 2 3 1 #" " 0 0 14 3 3 #"not" 0 0 2 3 1 #" " 0 0 14 3 6 #"exist." 0 0 2 29 1 #"\n" 0 0 14 3 4 #"This" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 5 #"proof" 0 0 2 3 1 #" " 0 0 14 3 2 #"of" 0 0 2 3 1 #" " 0 0 14 3 3 #"the" 0 0 2 3 1 #" " 0 0 14 3 7 #"Halting" 0 0 2 3 1 #" " 0 0 14 3 8 #"Problem." 0 0 2 29 1 #"\n" 0 0 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 7 91 4 0 0 0 14 0 14 3 3 #"Hal" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 1 #"a" 0 0 2 3 1 #" " 0 0 14 3 8 #"Cretian." 0 0 2 3 1 #" " 0 0 14 3 3 #"Hal" 0 0 2 3 1 #" " 0 0 14 3 4 #"says" 0 0 2 3 1 #" " 0 0 19 3 25 #"\"All Cretians are liars.\"" 0 0 2 29 1 #"\n" 0 0 0 0 4 29 1 #"\n" 0 0 4 29 1 #"\n" 0 7 49 4 0 0 0 7 0 14 3 4 #"This" 0 0 2 3 1 #" " 0 0 14 3 9 #"Statement" 0 0 2 3 1 #" " 0 0 14 3 2 #"is" 0 0 2 3 1 #" " 0 0 14 3 6 #"False." 0 0 0 0