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 77 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 -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
232 #"\0"
233 0 -1 1 #"\0"
234 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
235 #"\0"
236 0 -1 1 #"\0"
237 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 22 1
238 #"\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 15 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 4 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 14 1 #"\0"
248 0 -1 1 #"\0"
249 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
250 20 1 #"\0"
251 0 -1 1 #"\0"
252 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
253 17 1 #"\0"
254 0 -1 1 #"\0"
255 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
256 24 1 #"\0"
257 0 -1 1 #"\0"
258 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
259 19 1 #"\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 19 1
265 #"\0"
266 0 -1 1 #"\0"
267 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
268 4 1 #"\0"
269 0 -1 1 #"\0"
270 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
271           0 159 0 4 3 85
272 (
273  #";; The first three lines of this file were inserted by DrScheme. The"
274  #"y record metadata"
275 ) 0 0 4 29 1 #"\n"
276 0 0 4 3 85
277 (
278  #";; about the language level of this file in a form that our tools ca"
279  #"n easily process."
280 ) 0 0 4 29 1 #"\n"
281 0 0 4 3 382
282 (
283  #"#reader(lib \"htdp-advanced-reader.ss\" \"lang\")((modname |#33.2|) "
284  #"(read-case-sensitive #t) (teachpacks ((lib \"draw.ss\" \"teachpack\""
285  #" \"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\""
286  #" \"teachpack\" \"htdp\"))) (htdp-settings #(#t constructor repeating"
287  #"-decimal #t #t none #f ((lib \"draw.ss\" \"teachpack\" \"htdp\") (li"
288  #"b \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\" \"teachpack\""
289  #" \"htdp\")))))"
290 ) 0 0 4 29 1 #"\n"
291 0 0 17 3 12 #";overflow-n?"
292 0 0 17 3 1 #" "
293 0 0 17 3 1 #":"
294 0 0 17 3 7 #" N -> N"
295 0 0 68 29 1 #"\n"
296 0 0 17 3 10 #";Searches "
297 0 0 17 3 4 #"for "
298 0 0 17 3 2 #"a "
299 0 0 17 3 6 #"value "
300 0 0 17 11 69
301 (
302  #"from [n,+inf.0) such that the number returned is the largest natural"
303  #" "
304 ) 0 0 17 3 7 #"number "
305 0 0 17 3 6 #"where "
306 0 0 17 3 6 #"(expt "
307 0 0 17 3 6 #"#i10. "
308 0 0 17 3 51 #"n) is still an inexact number rather than infinity."
309 0 0 68 29 1 #"\n"
310 0 0 68 29 1 #"\n"
311 0 0 22 3 1 #"("
312 0 0 15 3 6 #"define"
313 0 0 68 3 1 #" "
314 0 0 22 3 1 #"("
315 0 0 14 3 11 #"overflow-n?"
316 0 0 68 3 1 #" "
317 0 0 14 3 1 #"n"
318 0 0 22 3 1 #")"
319 0 0 68 29 1 #"\n"
320 0 0 68 3 2 #"  "
321 0 0 22 3 1 #"("
322 0 0 15 3 4 #"cond"
323 0 0 68 29 1 #"\n"
324 0 0 68 3 4 #"    "
325 0 0 22 3 2 #"[("
326 0 0 14 3 1 #"<"
327 0 0 68 3 1 #" "
328 0 0 22 3 1 #"("
329 0 0 14 3 4 #"expt"
330 0 0 68 3 1 #" "
331 0 0 20 3 5 #"#i10."
332 0 0 68 3 1 #" "
333 0 0 22 3 1 #"("
334 0 0 14 3 1 #"+"
335 0 0 68 3 1 #" "
336 0 0 14 3 1 #"n"
337 0 0 68 3 1 #" "
338 0 0 20 3 1 #"1"
339 0 0 22 3 2 #"))"
340 0 0 68 3 1 #" "
341 0 0 20 3 6 #"+inf.0"
342 0 0 22 3 1 #")"
343 0 0 68 3 1 #" "
344 0 0 22 3 1 #"("
345 0 0 14 3 11 #"overflow-n?"
346 0 0 68 3 1 #" "
347 0 0 22 3 1 #"("
348 0 0 14 3 4 #"add1"
349 0 0 68 3 1 #" "
350 0 0 14 3 1 #"n"
351 0 0 22 3 3 #"))]"
352 0 0 68 29 1 #"\n"
353 0 0 68 3 4 #"    "
354 0 0 22 3 1 #"["
355 0 0 14 3 4 #"else"
356 0 0 68 3 1 #" "
357 0 0 14 3 1 #"n"
358 0 0 22 3 3 #"]))"
359 0 0 68 29 1 #"\n"
360 0 0 4 29 1 #"\n"
361 0 0 22 3 1 #"("
362 0 0 14 3 11 #"overflow-n?"
363 0 0 4 3 1 #" "
364 0 0 20 3 1 #"1"
365 0 0 22 3 1 #")"
366 0 0 4 29 1 #"\n"
367 0 0 4 29 1 #"\n"
368 0 0 17 3 13 #";underflow-n?"
369 0 0 17 3 1 #" "
370 0 0 17 3 1 #":"
371 0 0 17 3 1 #" "
372 0 0 17 3 7 #"integer"
373 0 0 17 3 1 #" "
374 0 0 17 3 2 #"->"
375 0 0 17 3 8 #" integer"
376 0 0 4 29 1 #"\n"
377 0 0 17 3 9 #";Searches"
378 0 0 17 3 1 #" "
379 0 0 17 3 3 #"for"
380 0 0 17 3 1 #" "
381 0 0 17 3 1 #"a"
382 0 0 17 3 1 #" "
383 0 0 17 3 5 #"value"
384 0 0 17 3 5 #" from"
385 0 0 17 3 1 #" "
386 0 0 17 3 1 #"("
387 0 0 17 3 6 #"-inf.0"
388 0 0 17 11 58
389 #",n] such that the number returned is the smallest integer "
390 0 0 17 3 72
391 (
392  #"possible where (expt #i10. n) is still an inexact number rather than"
393  #" #i0"
394 ) 0 0 4 29 1 #"\n"
395 0 0 4 29 1 #"\n"
396 0 0 22 3 1 #"("
397 0 0 15 3 6 #"define"
398 0 0 4 3 1 #" "
399 0 0 22 3 1 #"("
400 0 0 14 3 12 #"underflow-n?"
401 0 0 4 3 1 #" "
402 0 0 14 3 1 #"n"
403 0 0 22 3 1 #")"
404 0 0 4 29 1 #"\n"
405 0 0 4 3 2 #"  "
406 0 0 22 3 1 #"("
407 0 0 15 3 4 #"cond"
408 0 0 4 29 1 #"\n"
409 0 0 4 3 4 #"    "
410 0 0 22 3 2 #"[("
411 0 0 14 3 1 #">"
412 0 0 4 3 1 #" "
413 0 0 22 3 1 #"("
414 0 0 14 3 4 #"expt"
415 0 0 4 3 1 #" "
416 0 0 20 3 5 #"#i10."
417 0 0 4 3 1 #" "
418 0 0 22 3 1 #"("
419 0 0 14 3 1 #"-"
420 0 0 4 3 1 #" "
421 0 0 14 3 1 #"n"
422 0 0 4 3 1 #" "
423 0 0 20 3 1 #"1"
424 0 0 22 3 2 #"))"
425 0 0 4 3 1 #" "
426 0 0 20 3 3 #"#i0"
427 0 0 22 3 1 #")"
428 0 0 4 3 1 #" "
429 0 0 22 3 1 #"("
430 0 0 14 3 12 #"underflow-n?"
431 0 0 4 3 1 #" "
432 0 0 22 3 1 #"("
433 0 0 14 3 4 #"sub1"
434 0 0 4 3 1 #" "
435 0 0 14 3 1 #"n"
436 0 0 22 3 3 #"))]"
437 0 0 4 29 1 #"\n"
438 0 0 4 3 4 #"    "
439 0 0 22 3 1 #"["
440 0 0 14 3 4 #"else"
441 0 0 4 3 1 #" "
442 0 0 14 3 1 #"n"
443 0 0 22 3 3 #"]))"
444 0 0 4 29 1 #"\n"
445 0 0 4 29 1 #"\n"
446 0 0 22 3 1 #"("
447 0 0 14 3 12 #"underflow-n?"
448 0 0 4 3 1 #" "
449 0 0 20 3 1 #"0"
450 0 0 22 3 1 #")"
451 0           0