1 #reader(lib"read.ss""wxme")WXME0108 ## 
2 #|
3    This file is in plt scheme editor format.
4    Open this file in dr-scheme version 4.2 or later to read it.
5 
6    Most likely, it was created by saving a program in DrScheme,
7    and it probably contains a program with non-text elements
8    (such as images or comment boxes).
9 
10             http://www.plt-scheme.org
11 |#
12  29 7 #"wxtext\0"
13 3 1 6 #"wxtab\0"
14 1 1 8 #"wxmedia\0"
15 4 1 8 #"wximage\0"
16 2 0 34 #"(lib \"syntax-browser.ss\" \"mrlib\")\0"
17 1 0 16 #"drscheme:number\0"
18 3 0 44 #"(lib \"number-snip.ss\" \"drscheme\" \"private\")\0"
19 1 0 36 #"(lib \"comment-snip.ss\" \"framework\")\0"
20 1 0 43 #"(lib \"collapsed-snipclass.ss\" \"framework\")\0"
21 0 0 19 #"drscheme:sexp-snip\0"
22 0 0 36 #"(lib \"cache-image-snip.ss\" \"mrlib\")\0"
23 1 0 33 #"(lib \"bullet-snip.ss\" \"browser\")\0"
24 0 0 29 #"drscheme:bindings-snipclass%\0"
25 1 0 25 #"(lib \"matrix.ss\" \"htdp\")\0"
26 1 0 22 #"drscheme:lambda-snip%\0"
27 1 0 56
28 #"(lib \"hrule-snip.ss\" \"macro-debugger\" \"syntax-browser\")\0"
29 1 0 18 #"java-comment-box%\0"
30 1 0 23 #"java-interactions-box%\0"
31 1 0 45 #"(lib \"image-snipr.ss\" \"slideshow\" \"private\")\0"
32 1 0 26 #"drscheme:pict-value-snip%\0"
33 0 0 38 #"(lib \"pict-snipclass.ss\" \"slideshow\")\0"
34 2 0 55 #"(lib \"vertical-separator-snip.ss\" \"stepper\" \"private\")\0"
35 1 0 18 #"drscheme:xml-snip\0"
36 1 0 31 #"(lib \"xml-snipclass.ss\" \"xml\")\0"
37 1 0 21 #"drscheme:scheme-snip\0"
38 2 0 34 #"(lib \"scheme-snipclass.ss\" \"xml\")\0"
39 1 0 10 #"text-box%\0"
40 1 0 32 #"(lib \"text-snipclass.ss\" \"xml\")\0"
41 1 0 15 #"test-case-box%\0"
42 2 0 1 6 #"wxloc\0"
43           0 0 80 0 1 #"\0"
44 0 75 1 #"\0"
45 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
46 #"Standard\0"
47 0 75 11 #" Monospace\0"
48 0 16 90 -1 90 -1 2 -1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 255 255 255 1 -1 2 1
49 #"\0"
50 0 -1 1 #"\0"
51 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
52 #"framework:default-color\0"
53 0 -1 1 #"\0"
54 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
55 #"\0"
56 0 -1 1 #"\0"
57 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
58 #"text:ports out\0"
59 0 -1 1 #"\0"
60 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
61 #"\0"
62 0 -1 1 #"\0"
63 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
64 -1 2 15 #"text:ports err\0"
65 0 -1 1 #"\0"
66 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
67 -1 2 1 #"\0"
68 0 -1 1 #"\0"
69 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
70 #"text:ports value\0"
71 0 -1 1 #"\0"
72 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
73 #"\0"
74 0 -1 1 #"\0"
75 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
76 -1 2 27 #"Matching Parenthesis Style\0"
77 0 -1 1 #"\0"
78 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
79 -1 2 1 #"\0"
80 0 -1 1 #"\0"
81 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
82 #"framework:syntax-color:scheme:symbol\0"
83 0 -1 1 #"\0"
84 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
85 #"framework:syntax-color:scheme:keyword\0"
86 0 -1 1 #"\0"
87 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
88 #"\0"
89 0 -1 1 #"\0"
90 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
91 38 #"framework:syntax-color:scheme:comment\0"
92 0 -1 1 #"\0"
93 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
94 #"\0"
95 0 -1 1 #"\0"
96 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
97 #"framework:syntax-color:scheme:string\0"
98 0 -1 1 #"\0"
99 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
100 #"framework:syntax-color:scheme:constant\0"
101 0 -1 1 #"\0"
102 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
103 #"\0"
104 0 -1 1 #"\0"
105 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
106 #"framework:syntax-color:scheme:parenthesis\0"
107 0 -1 1 #"\0"
108 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
109 #"\0"
110 0 -1 1 #"\0"
111 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
112 #"framework:syntax-color:scheme:error\0"
113 0 -1 1 #"\0"
114 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
115 #"\0"
116 0 -1 1 #"\0"
117 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
118 #"framework:syntax-color:scheme:other\0"
119 0 -1 1 #"\0"
120 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
121 #"\0"
122 0 -1 1 #"\0"
123 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
124 38 #"drscheme:check-syntax:lexically-bound\0"
125 0 -1 1 #"\0"
126 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
127 #"\0"
128 0 -1 1 #"\0"
129 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
130 #"drscheme:check-syntax:imported\0"
131 0 -1 1 #"\0"
132 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
133 #"profj:syntax-colors:scheme:block-comment\0"
134 0 -1 1 #"\0"
135 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
136 35 #"profj:syntax-colors:scheme:keyword\0"
137 0 -1 1 #"\0"
138 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
139 #"\0"
140 0 -1 1 #"\0"
141 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
142 #"profj:syntax-colors:scheme:prim-type\0"
143 0 -1 1 #"\0"
144 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
145 #"profj:syntax-colors:scheme:identifier\0"
146 0 -1 1 #"\0"
147 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
148 #"\0"
149 0 -1 1 #"\0"
150 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
151 #"profj:syntax-colors:scheme:string\0"
152 0 -1 1 #"\0"
153 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
154 #"profj:syntax-colors:scheme:literal\0"
155 0 -1 1 #"\0"
156 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
157 #"profj:syntax-colors:scheme:comment\0"
158 0 -1 1 #"\0"
159 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
160 33 #"profj:syntax-colors:scheme:error\0"
161 0 -1 1 #"\0"
162 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
163 #"profj:syntax-colors:scheme:default\0"
164 0 -1 1 #"\0"
165 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
166 #"profj:syntax-colors:scheme:uncovered\0"
167 0 -1 1 #"\0"
168 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
169 #"profj:syntax-colors:scheme:covered\0"
170 0 -1 1 #"\0"
171 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
172 #"\0"
173 0 70 1 #"\0"
174 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
175 -1 -1 4 4 #"XML\0"
176 0 70 1 #"\0"
177 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
178 -1 -1 8 1 #"\0"
179 0 -1 1 #"\0"
180 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
181 #"drscheme:text:ports err\0"
182 0 -1 1 #"\0"
183 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
184 #"\0"
185 0 71 1 #"\0"
186 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
187 -1 -1 4 1 #"\0"
188 0 -1 1 #"\0"
189 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
190 -1 4 1 #"\0"
191 0 71 1 #"\0"
192 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
193 -1 4 1 #"\0"
194 0 71 1 #"\0"
195 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
196 -1 2 1 #"\0"
197 0 71 1 #"\0"
198 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
199 -1 -1 2 1 #"\0"
200 0 71 1 #"\0"
201 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
202 -1 22 1 #"\0"
203 0 -1 1 #"\0"
204 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
205 #"\0"
206 0 -1 1 #"\0"
207 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
208 #"\0"
209 0 -1 1 #"\0"
210 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
211 #"\0"
212 0 -1 1 #"\0"
213 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
214 #"\0"
215 0 -1 1 #"\0"
216 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
217 #"\0"
218 0 -1 1 #"\0"
219 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
220 #"\0"
221 0 -1 1 #"\0"
222 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
223 #"\0"
224 0 -1 1 #"\0"
225 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
226 #"\0"
227 0 -1 1 #"\0"
228 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 17 1
229 #"\0"
230 0 -1 1 #"\0"
231 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
232 4 1 #"\0"
233 0 -1 1 #"\0"
234 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
235 22 1 #"\0"
236 0 -1 1 #"\0"
237 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
238 15 1 #"\0"
239 0 -1 1 #"\0"
240 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
241 14 1 #"\0"
242 0 -1 1 #"\0"
243 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
244 20 1 #"\0"
245 0 -1 1 #"\0"
246 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
247 17 1 #"\0"
248 0 -1 1 #"\0"
249 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
250 #"\0"
251 0 -1 1 #"\0"
252 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
253 #"\0"
254 0 -1 1 #"\0"
255 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 19
256 1 #"\0"
257 0 -1 1 #"\0"
258 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 24 1
259 #"\0"
260 0 -1 1 #"\0"
261 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 19 1
262 #"\0"
263 0 -1 1 #"\0"
264 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 24 1
265 #"\0"
266 0 -1 1 #"\0"
267 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 19 1
268 #"\0"
269 0 -1 1 #"\0"
270 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
271 24 1 #"\0"
272 0 -1 1 #"\0"
273 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
274 0 1 #"\0"
275 0 75 11 #" Monospace\0"
276 0.0 16 90 -1 90 -1 2 -1 0 1 0 1 0 0 0.0 0.0 0.0 0.0 0.0 0.0 0 0 0 255
277 255 255 1 -1 17 1 #"\0"
278 0 -1 1 #"\0"
279 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
280           0 823 0 4 3 85
281 (
282  #";; The first three lines of this file were inserted by DrScheme. The"
283  #"y record metadata"
284 ) 0 0 4 29 1 #"\n"
285 0 0 4 3 85
286 (
287  #";; about the language level of this file in a form that our tools ca"
288  #"n easily process."
289 ) 0 0 4 29 1 #"\n"
290 0 0 4 3 393
291 (
292  #"#reader(lib \"htdp-intermediate-lambda-reader.ss\" \"lang\")((modnam"
293  #"e |#27.3|) (read-case-sensitive #t) (teachpacks ((lib \"draw.ss\" \""
294  #"teachpack\" \"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib"
295  #" \"gui.ss\" \"teachpack\" \"htdp\"))) (htdp-settings #(#t constructo"
296  #"r repeating-decimal #f #t none #f ((lib \"draw.ss\" \"teachpack\" \""
297  #"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\" \""
298  #"teachpack\" \"htdp\")))))"
299 ) 0 0 4 29 1 #"\n"
300 0 0 17 3 1 #";"
301 0 0 17 3 1 #"A"
302 0 0 17 3 1 #" "
303 0 0 17 3 5 #"table"
304 0 0 17 3 1 #" "
305 0 0 17 3 2 #"is"
306 0 0 17 3 1 #" "
307 0 0 17 3 1 #"a"
308 0 0 17 3 1 #" "
309 0 0 17 3 8 #"function"
310 0 0 17 3 1 #" "
311 0 0 17 3 4 #"that"
312 0 0 17 3 1 #" "
313 0 0 17 3 8 #"consumes"
314 0 0 17 3 1 #" "
315 0 0 17 3 4 #"only"
316 0 0 17 3 1 #" "
317 0 0 17 3 7 #"natural"
318 0 0 17 3 1 #" "
319 0 0 17 3 7 #"numbers"
320 0 0 17 3 1 #" "
321 0 0 17 3 7 #"between"
322 0 0 17 3 1 #" "
323 0 0 17 3 1 #"0"
324 0 0 17 3 1 #" "
325 0 0 17 3 1 #"("
326 0 0 17 3 9 #"inclusive"
327 0 0 17 3 1 #")"
328 0 0 17 3 1 #" "
329 0 0 17 3 3 #"and"
330 0 0 17 3 1 #" "
331 0 0 17 3 2 #"VL"
332 0 0 17 11 1 #" "
333 0 0 17 3 33 #"(exclusive) and returns a number."
334 0 0 64 29 1 #"\n"
335 0 0 17 3 1 #";"
336 0 0 64 29 1 #"\n"
337 0 0 17 3 32 #";Formally, a table is a function"
338 0 0 64 29 1 #"\n"
339 0 0 17 3 37 #";g : N[>=0 and <= (- VL 1)] -> number"
340 0 0 64 29 1 #"\n"
341 0 0 17 3 1 #";"
342 0 0 64 29 1 #"\n"
343 0 0 17 3 72
344 (
345  #";The root of a table is the value x such that (g x) is the closest t"
346  #"o 0."
347 ) 0 0 64 29 1 #"\n"
348 0 0 17 3 1 #";"
349 0 0 64 29 1 #"\n"
350 0 0 17 3 40 #";find-root-linear : (N -> number) N -> N"
351 0 0 64 29 1 #"\n"
352 0 0 17 3 1 #";"
353 0 0 17 3 5 #"Given"
354 0 0 17 3 1 #" "
355 0 0 17 3 7 #"a-table"
356 0 0 17 3 1 #" "
357 0 0 17 3 1 #"("
358 0 0 17 3 5 #"table"
359 0 0 17 3 2 #") "
360 0 0 17 3 3 #"and"
361 0 0 17 3 1 #" "
362 0 0 17 3 5 #"index"
363 0 0 17 3 1 #" "
364 0 0 17 3 1 #"i"
365 0 0 17 3 1 #","
366 0 0 17 3 1 #" "
367 0 0 17 3 4 #"find"
368 0 0 17 3 1 #" "
369 0 0 17 3 3 #"the"
370 0 0 17 3 1 #" "
371 0 0 17 3 4 #"root"
372 0 0 17 3 1 #" "
373 0 0 17 3 2 #"of"
374 0 0 17 3 1 #" "
375 0 0 17 3 1 #"a"
376 0 0 17 3 1 #" "
377 0 0 17 3 6 #"table."
378 0 0 17 3 2 #"  "
379 0 0 17 3 16 #"find-root-linear"
380 0 0 17 3 1 #" "
381 0 0 17 3 5 #"finds"
382 0 0 17 3 1 #" "
383 0 0 17 3 3 #"the"
384 0 0 17 11 1 #" "
385 0 0 17 3 48 #"root using structural induction (linear search)."
386 0 0 64 29 1 #"\n"
387 0 0 64 29 1 #"\n"
388 0 0 22 3 1 #"("
389 0 0 15 3 6 #"define"
390 0 0 64 3 1 #" "
391 0 0 22 3 1 #"("
392 0 0 14 3 16 #"find-root-linear"
393 0 0 64 3 1 #" "
394 0 0 14 3 7 #"a-table"
395 0 0 64 3 1 #" "
396 0 0 14 3 1 #"i"
397 0 0 22 3 1 #")"
398 0 0 64 29 1 #"\n"
399 0 0 64 3 2 #"  "
400 0 0 22 3 1 #"("
401 0 0 15 3 4 #"cond"
402 0 0 64 29 1 #"\n"
403 0 0 64 3 4 #"    "
404 0 0 22 3 2 #"[("
405 0 0 14 3 5 #"zero?"
406 0 0 64 3 1 #" "
407 0 0 14 3 1 #"i"
408 0 0 22 3 1 #")"
409 0 0 64 3 1 #" "
410 0 0 14 3 1 #"i"
411 0 0 22 3 1 #"]"
412 0 0 64 29 1 #"\n"
413 0 0 64 3 4 #"    "
414 0 0 22 3 1 #"["
415 0 0 14 3 4 #"else"
416 0 0 64 3 1 #" "
417 0 0 22 3 1 #"("
418 0 0 15 3 5 #"local"
419 0 0 64 3 1 #" "
420 0 0 22 3 2 #"(("
421 0 0 15 3 6 #"define"
422 0 0 64 3 1 #" "
423 0 0 14 3 9 #"a-table-i"
424 0 0 64 3 1 #" "
425 0 0 22 3 1 #"("
426 0 0 14 3 7 #"a-table"
427 0 0 64 3 1 #" "
428 0 0 14 3 1 #"i"
429 0 0 22 3 2 #"))"
430 0 0 64 29 1 #"\n"
431 0 0 64 3 18 #"                  "
432 0 0 22 3 1 #"("
433 0 0 15 3 6 #"define"
434 0 0 64 3 1 #" "
435 0 0 14 3 12 #"root-of-rest"
436 0 0 64 3 1 #" "
437 0 0 22 3 1 #"("
438 0 0 14 3 16 #"find-root-linear"
439 0 0 64 3 1 #" "
440 0 0 14 3 7 #"a-table"
441 0 0 64 3 1 #" "
442 0 0 22 3 1 #"("
443 0 0 14 3 4 #"sub1"
444 0 0 64 3 1 #" "
445 0 0 14 3 1 #"i"
446 0 0 22 3 4 #"))))"
447 0 0 64 29 1 #"\n"
448 0 0 64 3 12 #"            "
449 0 0 22 3 1 #"("
450 0 0 15 3 4 #"cond"
451 0 0 64 29 1 #"\n"
452 0 0 64 3 14 #"              "
453 0 0 22 3 2 #"[("
454 0 0 14 3 2 #"<="
455 0 0 67 3 1 #" "
456 0 0 22 3 1 #"("
457 0 0 14 3 3 #"abs"
458 0 0 64 3 1 #" "
459 0 0 14 3 9 #"a-table-i"
460 0 0 22 3 1 #")"
461 0 0 64 29 1 #"\n"
462 0 0 64 3 19 #"                   "
463 0 0 22 3 1 #"("
464 0 0 14 3 3 #"abs"
465 0 0 64 3 1 #" "
466 0 0 22 3 1 #"("
467 0 0 14 3 7 #"a-table"
468 0 0 64 3 1 #" "
469 0 0 14 3 12 #"root-of-rest"
470 0 0 22 3 3 #")))"
471 0 0 64 3 1 #" "
472 0 0 14 3 1 #"i"
473 0 0 22 3 1 #"]"
474 0 0 64 29 1 #"\n"
475 0 0 64 3 14 #"              "
476 0 0 22 3 1 #"["
477 0 0 14 3 4 #"else"
478 0 0 64 3 1 #" "
479 0 0 14 3 12 #"root-of-rest"
480 0 0 22 3 6 #"]))]))"
481 0 0 64 29 1 #"\n"
482 0 0 64 3 0 #""
483 0 0 64 29 1 #"\n"
484 0 0 64 3 0 #""
485 0 0 22 3 1 #"("
486 0 0 15 3 6 #"define"
487 0 0 64 3 1 #" "
488 0 0 22 3 1 #"("
489 0 0 14 3 1 #"t"
490 0 0 64 3 1 #" "
491 0 0 14 3 1 #"x"
492 0 0 22 3 1 #")"
493 0 0 64 29 1 #"\n"
494 0 0 64 3 2 #"  "
495 0 0 22 3 1 #"("
496 0 0 14 3 1 #"+"
497 0 0 64 3 1 #" "
498 0 0 22 3 1 #"("
499 0 0 14 3 1 #"+"
500 0 0 64 3 1 #" "
501 0 0 22 3 1 #"("
502 0 0 14 3 1 #"*"
503 0 0 64 3 1 #" "
504 0 0 20 3 1 #"3"
505 0 0 64 3 1 #" "
506 0 0 22 3 1 #"("
507 0 0 14 3 3 #"sin"
508 0 0 64 3 1 #" "
509 0 0 14 3 1 #"x"
510 0 0 22 3 2 #"))"
511 0 0 64 3 1 #" "
512 0 0 22 3 1 #"("
513 0 0 14 3 1 #"*"
514 0 0 64 3 1 #" "
515 0 0 20 3 1 #"5"
516 0 0 64 3 1 #" "
517 0 0 14 3 1 #"x"
518 0 0 22 3 2 #"))"
519 0 0 64 29 1 #"\n"
520 0 0 64 3 5 #"     "
521 0 0 22 3 1 #"("
522 0 0 14 3 1 #"*"
523 0 0 64 3 1 #" "
524 0 0 20 3 2 #"-1"
525 0 0 64 3 1 #" "
526 0 0 14 3 1 #"x"
527 0 0 64 3 1 #" "
528 0 0 22 3 1 #"("
529 0 0 14 3 4 #"sqrt"
530 0 0 64 3 1 #" "
531 0 0 14 3 1 #"x"
532 0 0 22 3 2 #"))"
533 0 0 64 29 1 #"\n"
534 0 0 64 3 5 #"     "
535 0 0 20 3 1 #"3"
536 0 0 22 3 2 #"))"
537 0 0 64 29 1 #"\n"
538 0 0 64 29 1 #"\n"
539 0 0 17 3 19 #";find-root-discrete"
540 0 0 17 3 25 #" : (N -> number) N N -> N"
541 0 0 64 29 1 #"\n"
542 0 0 17 3 6 #";Given"
543 0 0 17 3 1 #" "
544 0 0 17 3 7 #"a-table"
545 0 0 17 3 1 #","
546 0 0 17 3 1 #" "
547 0 0 17 3 4 #"left"
548 0 0 17 3 1 #","
549 0 0 17 3 1 #" "
550 0 0 17 3 3 #"and"
551 0 0 17 3 1 #" "
552 0 0 17 3 5 #"right"
553 0 0 17 3 1 #","
554 0 0 17 3 1 #" "
555 0 0 17 3 4 #"find"
556 0 0 17 3 1 #" "
557 0 0 17 3 1 #"a"
558 0 0 17 3 1 #" "
559 0 0 17 3 4 #"root"
560 0 0 17 3 1 #" "
561 0 0 17 3 2 #"of"
562 0 0 17 3 1 #" "
563 0 0 17 3 3 #"the"
564 0 0 17 3 1 #" "
565 0 0 17 3 5 #"table"
566 0 0 17 3 1 #" "
567 0 0 17 3 5 #"using"
568 0 0 17 3 1 #" "
569 0 0 17 3 6 #"binary"
570 0 0 17 3 7 #" search"
571 0 0 17 3 1 #" "
572 0 0 17 3 10 #"generative"
573 0 0 17 11 1 #" "
574 0 0 17 3 83
575 (
576  #"recursion.  If there are multiple roots, only the root closest to ze"
577  #"ro is returned."
578 ) 0 0 64 29 1 #"\n"
579 0 0 17 3 12 #";Termination"
580 0 0 17 3 1 #" "
581 0 0 17 3 9 #"Argument:"
582 0 0 17 3 1 #" "
583 0 0 17 3 3 #"The"
584 0 0 17 3 1 #" "
585 0 0 17 3 8 #"interval"
586 0 0 17 3 1 #" "
587 0 0 17 3 2 #"of"
588 0 0 17 3 1 #" "
589 0 0 17 3 18 #"find-root-discrete"
590 0 0 17 3 1 #" "
591 0 0 17 3 9 #"decreases"
592 0 0 17 3 1 #" "
593 0 0 17 3 2 #"by"
594 0 0 17 3 5 #" half"
595 0 0 17 3 1 #" "
596 0 0 17 3 4 #"each"
597 0 0 17 3 1 #" "
598 0 0 17 3 4 #"time"
599 0 0 17 3 1 #" "
600 0 0 17 3 5 #"until"
601 0 0 17 11 1 #" "
602 0 0 17 3 3 #"the"
603 0 0 17 3 1 #" "
604 0 0 17 3 8 #"interval"
605 0 0 17 3 1 #" "
606 0 0 17 3 4 #"size"
607 0 0 17 3 1 #" "
608 0 0 17 3 2 #"is"
609 0 0 17 3 1 #" "
610 0 0 17 3 4 #"only"
611 0 0 17 3 1 #" "
612 0 0 17 3 2 #"1."
613 0 0 17 3 2 #"  "
614 0 0 17 3 4 #"Once"
615 0 0 17 3 1 #" "
616 0 0 17 3 4 #"this"
617 0 0 17 3 1 #" "
618 0 0 17 3 6 #"occurs"
619 0 0 17 3 1 #","
620 0 0 17 3 1 #" "
621 0 0 17 3 18 #"find-root-discrete"
622 0 0 17 3 1 #" "
623 0 0 17 3 6 #"either"
624 0 0 17 3 1 #" "
625 0 0 17 3 7 #"returns"
626 0 0 17 3 1 #" "
627 0 0 17 3 3 #"the"
628 0 0 17 3 1 #" "
629 0 0 17 3 4 #"left"
630 0 0 17 3 1 #" "
631 0 0 17 3 2 #"or"
632 0 0 17 11 1 #" "
633 0 0 17 3 3 #"the"
634 0 0 17 3 1 #" "
635 0 0 17 3 67
636 #"right index as the root.  Hence, find-root-discrete must terminate."
637 0 0 64 29 1 #"\n"
638 0 0 17 3 17 #";midpoint : Given"
639 0 0 17 3 71
640 (
641  #" left and right, determine the midpoint rounded to the nearest integ"
642  #"er."
643 ) 0 0 64 29 1 #"\n"
644 0 0 17 3 44 #";No assumption about a-table being monotonic"
645 0 0 64 29 1 #"\n"
646 0 0 64 29 1 #"\n"
647 0 0 63 29 1 #"\n"
648 0 0 22 3 1 #"("
649 0 0 15 3 6 #"define"
650 0 0 63 3 1 #" "
651 0 0 22 3 1 #"("
652 0 0 14 3 19 #"find-root-discrete2"
653 0 0 63 3 1 #" "
654 0 0 14 3 7 #"a-table"
655 0 0 63 3 1 #" "
656 0 0 14 3 4 #"left"
657 0 0 63 3 1 #" "
658 0 0 14 3 5 #"right"
659 0 0 22 3 1 #")"
660 0 0 63 29 1 #"\n"
661 0 0 63 3 2 #"  "
662 0 0 22 3 1 #"("
663 0 0 15 3 4 #"cond"
664 0 0 63 29 1 #"\n"
665 0 0 63 3 4 #"    "
666 0 0 22 3 2 #"[("
667 0 0 14 3 1 #"="
668 0 0 63 3 1 #" "
669 0 0 22 3 1 #"("
670 0 0 14 3 1 #"-"
671 0 0 63 3 1 #" "
672 0 0 14 3 5 #"right"
673 0 0 63 3 1 #" "
674 0 0 14 3 4 #"left"
675 0 0 22 3 1 #")"
676 0 0 63 3 1 #" "
677 0 0 20 3 1 #"1"
678 0 0 22 3 1 #")"
679 0 0 63 3 1 #" "
680 0 0 64 3 1 #" "
681 0 0 63 29 1 #"\n"
682 0 0 63 3 5 #"     "
683 0 0 22 3 1 #"("
684 0 0 15 3 4 #"cond"
685 0 0 63 29 1 #"\n"
686 0 0 63 3 7 #"       "
687 0 0 22 3 2 #"[("
688 0 0 14 3 2 #"<="
689 0 0 63 3 1 #" "
690 0 0 22 3 1 #"("
691 0 0 14 3 3 #"abs"
692 0 0 63 3 1 #" "
693 0 0 22 3 1 #"("
694 0 0 14 3 7 #"a-table"
695 0 0 63 3 1 #" "
696 0 0 14 3 4 #"left"
697 0 0 22 3 2 #"))"
698 0 0 63 29 1 #"\n"
699 0 0 63 3 12 #"            "
700 0 0 22 3 1 #"("
701 0 0 14 3 3 #"abs"
702 0 0 63 3 1 #" "
703 0 0 22 3 1 #"("
704 0 0 14 3 7 #"a-table"
705 0 0 63 3 1 #" "
706 0 0 14 3 5 #"right"
707 0 0 22 3 3 #")))"
708 0 0 63 3 1 #" "
709 0 0 14 3 4 #"left"
710 0 0 22 3 1 #"]"
711 0 0 63 29 1 #"\n"
712 0 0 63 3 7 #"       "
713 0 0 22 3 1 #"["
714 0 0 14 3 4 #"else"
715 0 0 63 3 1 #" "
716 0 0 14 3 5 #"right"
717 0 0 22 3 3 #"])]"
718 0 0 63 29 1 #"\n"
719 0 0 63 3 4 #"    "
720 0 0 22 3 1 #"["
721 0 0 14 3 4 #"else"
722 0 0 63 3 1 #" "
723 0 0 22 3 1 #"("
724 0 0 15 3 5 #"local"
725 0 0 63 3 1 #" "
726 0 0 22 3 2 #"(("
727 0 0 15 3 6 #"define"
728 0 0 63 3 1 #" "
729 0 0 14 3 8 #"midpoint"
730 0 0 63 29 1 #"\n"
731 0 0 63 3 20 #"                    "
732 0 0 22 3 1 #"("
733 0 0 14 3 5 #"round"
734 0 0 63 3 1 #" "
735 0 0 22 3 1 #"("
736 0 0 14 3 1 #"+"
737 0 0 63 3 1 #" "
738 0 0 14 3 4 #"left"
739 0 0 63 29 1 #"\n"
740 0 0 63 3 30 #"                              "
741 0 0 22 3 1 #"("
742 0 0 14 3 1 #"/"
743 0 0 63 3 1 #" "
744 0 0 22 3 1 #"("
745 0 0 14 3 1 #"-"
746 0 0 63 3 1 #" "
747 0 0 14 3 5 #"right"
748 0 0 63 3 1 #" "
749 0 0 14 3 4 #"left"
750 0 0 22 3 1 #")"
751 0 0 63 3 1 #" "
752 0 0 20 3 1 #"2"
753 0 0 22 3 4 #"))))"
754 0 0 63 29 1 #"\n"
755 0 0 63 3 18 #"                  "
756 0 0 22 3 1 #"("
757 0 0 15 3 6 #"define"
758 0 0 63 3 1 #" "
759 0 0 14 3 14 #"left-side-root"
760 0 0 63 3 1 #" "
761 0 0 22 3 1 #"("
762 0 0 14 3 18 #"find-root-discrete"
763 0 0 63 3 1 #" "
764 0 0 14 3 7 #"a-table"
765 0 0 63 3 1 #" "
766 0 0 14 3 4 #"left"
767 0 0 63 3 1 #" "
768 0 0 14 3 8 #"midpoint"
769 0 0 22 3 2 #"))"
770 0 0 63 29 1 #"\n"
771 0 0 63 3 18 #"                  "
772 0 0 22 3 1 #"("
773 0 0 15 3 6 #"define"
774 0 0 63 3 1 #" "
775 0 0 14 3 15 #"right-side-root"
776 0 0 63 3 1 #" "
777 0 0 22 3 1 #"("
778 0 0 14 3 18 #"find-root-discrete"
779 0 0 63 3 1 #" "
780 0 0 14 3 7 #"a-table"
781 0 0 63 3 1 #" "
782 0 0 14 3 8 #"midpoint"
783 0 0 63 3 1 #" "
784 0 0 14 3 5 #"right"
785 0 0 22 3 3 #")))"
786 0 0 63 29 1 #"\n"
787 0 0 63 3 12 #"            "
788 0 0 22 3 1 #"("
789 0 0 15 3 4 #"cond"
790 0 0 63 3 14 #"              "
791 0 0 63 29 1 #"\n"
792 0 0 63 3 14 #"              "
793 0 0 22 3 2 #"[("
794 0 0 14 3 2 #"<="
795 0 0 63 3 1 #" "
796 0 0 22 3 1 #"("
797 0 0 14 3 3 #"abs"
798 0 0 63 3 1 #" "
799 0 0 22 3 1 #"("
800 0 0 14 3 7 #"a-table"
801 0 0 63 3 1 #" "
802 0 0 14 3 14 #"left-side-root"
803 0 0 22 3 2 #"))"
804 0 0 63 29 1 #"\n"
805 0 0 63 3 19 #"                   "
806 0 0 22 3 1 #"("
807 0 0 14 3 3 #"abs"
808 0 0 63 3 1 #" "
809 0 0 22 3 1 #"("
810 0 0 14 3 7 #"a-table"
811 0 0 63 3 1 #" "
812 0 0 14 3 15 #"right-side-root"
813 0 0 22 3 3 #")))"
814 0 0 63 3 1 #" "
815 0 0 14 3 14 #"left-side-root"
816 0 0 22 3 1 #"]"
817 0 0 63 29 1 #"\n"
818 0 0 63 3 14 #"              "
819 0 0 22 3 1 #"["
820 0 0 14 3 4 #"else"
821 0 0 63 3 1 #" "
822 0 0 14 3 15 #"right-side-root"
823 0 0 22 3 6 #"]))]))"
824 0 0 63 29 1 #"\n"
825 0 0 63 29 1 #"\n"
826 0 0 77 29 1 #"\n"
827 0 0 77 29 1 #"\n"
828 0 0 17 3 44 #";find-root-discrete : (N -> number) N N -> N"
829 0 0 77 29 1 #"\n"
830 0 0 17 3 6 #";Given"
831 0 0 17 3 1 #" "
832 0 0 17 3 7 #"a-table"
833 0 0 17 3 1 #","
834 0 0 17 3 1 #" "
835 0 0 17 3 4 #"left"
836 0 0 17 3 1 #","
837 0 0 17 3 1 #" "
838 0 0 17 3 3 #"and"
839 0 0 17 3 1 #" "
840 0 0 17 3 5 #"right"
841 0 0 17 3 1 #","
842 0 0 17 3 1 #" "
843 0 0 17 3 4 #"find"
844 0 0 17 3 1 #" "
845 0 0 17 3 1 #"a"
846 0 0 17 3 1 #" "
847 0 0 17 3 5 #"root "
848 0 0 17 3 2 #"of"
849 0 0 17 3 1 #" "
850 0 0 17 3 3 #"the"
851 0 0 17 3 1 #" "
852 0 0 17 3 5 #"table"
853 0 0 17 3 1 #" "
854 0 0 17 3 5 #"using"
855 0 0 17 3 1 #" "
856 0 0 17 3 6 #"binary"
857 0 0 17 3 7 #" search"
858 0 0 17 3 1 #" "
859 0 0 17 3 10 #"generative"
860 0 0 17 11 1 #" "
861 0 0 17 3 83
862 (
863  #"recursion.  If there are multiple roots, only the root closest to ze"
864  #"ro is returned."
865 ) 0 0 77 29 1 #"\n"
866 0 0 17 3 12 #";Termination"
867 0 0 17 3 1 #" "
868 0 0 17 3 9 #"Argument:"
869 0 0 17 3 1 #" "
870 0 0 17 3 3 #"The"
871 0 0 17 3 1 #" "
872 0 0 17 3 8 #"interval"
873 0 0 17 3 1 #" "
874 0 0 17 3 2 #"of"
875 0 0 17 3 1 #" "
876 0 0 17 3 18 #"find-root-discrete"
877 0 0 17 3 1 #" "
878 0 0 17 3 9 #"decreases"
879 0 0 17 3 1 #" "
880 0 0 17 3 2 #"by"
881 0 0 17 3 5 #" half"
882 0 0 17 3 1 #" "
883 0 0 17 3 4 #"each"
884 0 0 17 3 1 #" "
885 0 0 17 3 4 #"time"
886 0 0 17 3 1 #" "
887 0 0 17 3 5 #"until"
888 0 0 17 11 1 #" "
889 0 0 17 3 3 #"the"
890 0 0 17 3 1 #" "
891 0 0 17 3 8 #"interval"
892 0 0 17 3 1 #" "
893 0 0 17 3 4 #"size"
894 0 0 17 3 1 #" "
895 0 0 17 3 2 #"is"
896 0 0 17 3 1 #" "
897 0 0 17 3 4 #"only"
898 0 0 17 3 1 #" "
899 0 0 17 3 2 #"1."
900 0 0 17 3 2 #"  "
901 0 0 17 3 4 #"Once"
902 0 0 17 3 1 #" "
903 0 0 17 3 4 #"this"
904 0 0 17 3 1 #" "
905 0 0 17 3 6 #"occurs"
906 0 0 17 3 1 #","
907 0 0 17 3 1 #" "
908 0 0 17 3 18 #"find-root-discrete"
909 0 0 17 3 1 #" "
910 0 0 17 3 6 #"either"
911 0 0 17 3 1 #" "
912 0 0 17 3 7 #"returns"
913 0 0 17 3 1 #" "
914 0 0 17 3 3 #"the"
915 0 0 17 3 1 #" "
916 0 0 17 3 4 #"left"
917 0 0 17 3 1 #" "
918 0 0 17 3 2 #"or"
919 0 0 17 11 1 #" "
920 0 0 17 3 71
921 (
922  #"the right index as the root.  Hence, find-root-discrete must termina"
923  #"te."
924 ) 0 0 77 29 1 #"\n"
925 0 0 17 3 88
926 (
927  #";midpoint : Given left and right, determine the midpoint rounded to "
928  #"the nearest integer."
929 ) 0 0 77 29 1 #"\n"
930 0 0 17 3 70
931 (
932  #";ASSUMPTION : a-table is monotonic increasing or monotonic decreasin"
933  #"g."
934 ) 0 0 77 29 1 #"\n"
935 0 0 77 29 1 #"\n"
936 0 0 22 3 1 #"("
937 0 0 15 3 6 #"define"
938 0 0 77 3 1 #" "
939 0 0 22 3 1 #"("
940 0 0 14 3 18 #"find-root-discrete"
941 0 0 77 3 1 #" "
942 0 0 14 3 7 #"a-table"
943 0 0 77 3 1 #" "
944 0 0 14 3 4 #"left"
945 0 0 77 3 1 #" "
946 0 0 14 3 5 #"right"
947 0 0 22 3 1 #")"
948 0 0 77 29 1 #"\n"
949 0 0 77 3 2 #"  "
950 0 0 22 3 1 #"("
951 0 0 15 3 5 #"local"
952 0 0 77 3 1 #" "
953 0 0 22 3 2 #"(("
954 0 0 15 3 6 #"define"
955 0 0 77 3 1 #" "
956 0 0 14 3 8 #"midpoint"
957 0 0 77 29 1 #"\n"
958 0 0 77 3 12 #"            "
959 0 0 22 3 1 #"("
960 0 0 14 3 5 #"round"
961 0 0 77 3 1 #" "
962 0 0 22 3 1 #"("
963 0 0 14 3 1 #"+"
964 0 0 77 3 1 #" "
965 0 0 14 3 4 #"left"
966 0 0 77 29 1 #"\n"
967 0 0 77 3 22 #"                      "
968 0 0 22 3 1 #"("
969 0 0 14 3 1 #"/"
970 0 0 77 3 1 #" "
971 0 0 22 3 1 #"("
972 0 0 14 3 1 #"-"
973 0 0 77 3 1 #" "
974 0 0 14 3 5 #"right"
975 0 0 77 3 1 #" "
976 0 0 14 3 4 #"left"
977 0 0 22 3 1 #")"
978 0 0 77 3 1 #" "
979 0 0 20 3 1 #"2"
980 0 0 22 3 5 #")))))"
981 0 0 77 29 1 #"\n"
982 0 0 77 3 4 #"    "
983 0 0 22 3 1 #"("
984 0 0 15 3 4 #"cond"
985 0 0 77 29 1 #"\n"
986 0 0 77 3 6 #"      "
987 0 0 22 3 2 #"[("
988 0 0 14 3 1 #"="
989 0 0 77 3 1 #" "
990 0 0 22 3 1 #"("
991 0 0 14 3 1 #"-"
992 0 0 77 3 1 #" "
993 0 0 14 3 5 #"right"
994 0 0 77 3 1 #" "
995 0 0 14 3 4 #"left"
996 0 0 22 3 1 #")"
997 0 0 77 3 1 #" "
998 0 0 20 3 1 #"1"
999 0 0 22 3 1 #")"
1000 0 0 77 3 1 #" "
1001 0 0 77 29 1 #"\n"
1002 0 0 77 3 7 #"       "
1003 0 0 22 3 1 #"("
1004 0 0 15 3 4 #"cond"
1005 0 0 77 29 1 #"\n"
1006 0 0 77 3 9 #"         "
1007 0 0 22 3 2 #"[("
1008 0 0 14 3 2 #"<="
1009 0 0 77 3 1 #" "
1010 0 0 22 3 1 #"("
1011 0 0 14 3 3 #"abs"
1012 0 0 77 3 1 #" "
1013 0 0 22 3 1 #"("
1014 0 0 14 3 7 #"a-table"
1015 0 0 77 3 1 #" "
1016 0 0 14 3 4 #"left"
1017 0 0 22 3 2 #"))"
1018 0 0 77 29 1 #"\n"
1019 0 0 77 3 14 #"              "
1020 0 0 22 3 1 #"("
1021 0 0 14 3 3 #"abs"
1022 0 0 77 3 1 #" "
1023 0 0 22 3 1 #"("
1024 0 0 14 3 7 #"a-table"
1025 0 0 77 3 1 #" "
1026 0 0 14 3 5 #"right"
1027 0 0 22 3 3 #")))"
1028 0 0 77 3 1 #" "
1029 0 0 14 3 4 #"left"
1030 0 0 22 3 1 #"]"
1031 0 0 77 29 1 #"\n"
1032 0 0 77 3 9 #"         "
1033 0 0 22 3 1 #"["
1034 0 0 14 3 4 #"else"
1035 0 0 77 3 1 #" "
1036 0 0 14 3 5 #"right"
1037 0 0 22 3 3 #"])]"
1038 0 0 77 29 1 #"\n"
1039 0 0 77 3 6 #"      "
1040 0 0 22 3 2 #"[("
1041 0 0 14 3 2 #"or"
1042 0 0 77 3 1 #" "
1043 0 0 22 3 1 #"("
1044 0 0 14 3 2 #"<="
1045 0 0 77 3 1 #" "
1046 0 0 22 3 1 #"("
1047 0 0 14 3 7 #"a-table"
1048 0 0 77 3 1 #" "
1049 0 0 14 3 4 #"left"
1050 0 0 22 3 1 #")"
1051 0 0 77 3 1 #" "
1052 0 0 20 3 1 #"0"
1053 0 0 77 3 1 #" "
1054 0 0 22 3 1 #"("
1055 0 0 14 3 7 #"a-table"
1056 0 0 77 3 1 #" "
1057 0 0 14 3 8 #"midpoint"
1058 0 0 22 3 2 #"))"
1059 0 0 77 29 1 #"\n"
1060 0 0 77 3 11 #"           "
1061 0 0 22 3 1 #"("
1062 0 0 14 3 2 #"<="
1063 0 0 77 3 1 #" "
1064 0 0 22 3 1 #"("
1065 0 0 14 3 7 #"a-table"
1066 0 0 77 3 1 #" "
1067 0 0 14 3 8 #"midpoint"
1068 0 0 22 3 1 #")"
1069 0 0 77 3 1 #" "
1070 0 0 20 3 1 #"0"
1071 0 0 77 3 1 #" "
1072 0 0 22 3 1 #"("
1073 0 0 14 3 7 #"a-table"
1074 0 0 77 3 1 #" "
1075 0 0 14 3 4 #"left"
1076 0 0 22 3 3 #")))"
1077 0 0 77 3 1 #" "
1078 0 0 22 3 1 #"("
1079 0 0 14 3 18 #"find-root-discrete"
1080 0 0 64 3 1 #" "
1081 0 0 14 3 7 #"a-table"
1082 0 0 64 3 1 #" "
1083 0 0 14 3 4 #"left"
1084 0 0 64 11 1 #" "
1085 0 0 14 3 8 #"midpoint"
1086 0 0 22 3 2 #")]"
1087 0 0 77 29 1 #"\n"
1088 0 0 77 3 6 #"      "
1089 0 0 22 3 1 #"["
1090 0 0 14 3 4 #"else"
1091 0 0 77 3 1 #" "
1092 0 0 22 3 1 #"("
1093 0 0 14 3 18 #"find-root-discrete"
1094 0 0 64 3 1 #" "
1095 0 0 14 3 7 #"a-table"
1096 0 0 64 3 1 #" "
1097 0 0 14 3 8 #"midpoint"
1098 0 0 64 3 1 #" "
1099 0 0 14 3 5 #"right"
1100 0 0 22 3 5 #")])))"
1101 0 0 64 29 1 #"\n"
1102 0 0 64 29 1 #"\n"
1103 0 0 22 3 1 #"("
1104 0 0 14 3 4 #"time"
1105 0 0 64 3 1 #" "
1106 0 0 22 3 1 #"("
1107 0 0 14 3 16 #"find-root-linear"
1108 0 0 64 3 1 #" "
1109 0 0 14 3 1 #"t"
1110 0 0 64 3 1 #" "
1111 0 0 20 3 5 #"30000"
1112 0 0 22 3 2 #"))"
1113 0 0 64 29 1 #"\n"
1114 0 0 22 3 1 #"("
1115 0 0 14 3 4 #"time"
1116 0 0 63 3 1 #" "
1117 0 0 22 3 1 #"("
1118 0 0 14 3 19 #"find-root-discrete2"
1119 0 0 63 3 1 #" "
1120 0 0 14 3 1 #"t"
1121 0 0 63 3 1 #" "
1122 0 0 20 3 1 #"0"
1123 0 0 63 3 1 #" "
1124 0 0 20 3 5 #"30000"
1125 0 0 22 3 2 #"))"
1126 0 0 64 29 1 #"\n"
1127 0 0 22 3 1 #"("
1128 0 0 14 3 4 #"time"
1129 0 0 64 3 1 #" "
1130 0 0 22 3 1 #"("
1131 0 0 14 3 18 #"find-root-discrete"
1132 0 0 64 3 1 #" "
1133 0 0 14 3 1 #"t"
1134 0 0 64 3 1 #" "
1135 0 0 20 3 1 #"0"
1136 0 0 64 3 1 #" "
1137 0 0 20 3 5 #"30000"
1138 0 0 22 3 2 #"))"
1139 0           0