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 78 0 1 #"\0"
44 0 75 1 #"\0"
45 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
46 #"Standard\0"
47 0 75 12 #"Courier New\0"
48 0 9 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
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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 92 -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 1
133 #"\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 41 #"profj:syntax-colors:scheme:block-comment\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 194 116 31 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 0 0 0 0 0 0 -1 -1 2 35
142 #"profj:syntax-colors:scheme:keyword\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 0 0 0 0 0 0 -1 -1 2 1
145 #"\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 139 0 139 0 0 0 -1 -1 2 37
148 #"profj:syntax-colors:scheme:prim-type\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 139 0 139 0 0 0 -1 -1 2 1
151 #"\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 38 38 128 0 0 0 -1 -1 2 38
154 #"profj:syntax-colors:scheme:identifier\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 38 38 128 0 0 0 -1 -1 2 1
157 #"\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 34 139 34 0 0 0 -1 -1 2 34
160 #"profj:syntax-colors:scheme:string\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 34 139 34 0 0 0 -1 -1 2 35
163 #"profj:syntax-colors:scheme:literal\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 34 139 34 0 0 0 -1 -1 2 35
166 #"profj:syntax-colors:scheme:comment\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 194 116 31 0 0 0 -1 -1 2 1
169 #"\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 255 0 0 0 0 0 -1 -1 2 33
172 #"profj:syntax-colors:scheme:error\0"
173 0 -1 1 #"\0"
174 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
175 #"profj:syntax-colors:scheme:default\0"
176 0 -1 1 #"\0"
177 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
178 #"profj:syntax-colors:scheme:uncovered\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 0 0 0 0 0 0 -1 -1 2 35
181 #"profj:syntax-colors:scheme:covered\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 139 0 139 0 0 0 -1 -1 4 1
184 #"\0"
185 0 70 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 4 #"XML\0"
188 0 70 1 #"\0"
189 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
190 -1 -1 8 1 #"\0"
191 0 -1 1 #"\0"
192 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
193 #"drscheme:text:ports err\0"
194 0 -1 1 #"\0"
195 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
196 #"\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 4 1 #"\0"
200 0 -1 1 #"\0"
201 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
202 -1 4 1 #"\0"
203 0 71 1 #"\0"
204 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
205 -1 4 1 #"\0"
206 0 71 1 #"\0"
207 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
208 -1 2 1 #"\0"
209 0 71 1 #"\0"
210 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
211 -1 -1 2 1 #"\0"
212 0 71 1 #"\0"
213 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
214 -1 0 1 #"\0"
215 0 75 12 #"Courier New\0"
216 0.0 9 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
217 255 1 -1 22 1 #"\0"
218 0 -1 1 #"\0"
219 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
220 #"\0"
221 0 -1 1 #"\0"
222 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
223 #"\0"
224 0 -1 1 #"\0"
225 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
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 22 1
229 #"\0"
230 0 -1 1 #"\0"
231 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
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 4 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 14 1
238 #"\0"
239 0 -1 1 #"\0"
240 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
241 #"\0"
242 0 -1 1 #"\0"
243 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
244 #"\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 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 22 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 15 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 14 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 20 1 #"\0"
260 0 -1 1 #"\0"
261 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
262 17 1 #"\0"
263 0 -1 1 #"\0"
264 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
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 20 1
268 #"\0"
269 0 -1 1 #"\0"
270 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 0 1
271 #"\0"
272 0 -1 1 #"\0"
273 1 0 -1 -1 -1 -1 -1 -1 0 0 0 0 0 0 0 0 0 1 1 1 200 0 0 0 0 0 -1 -1
274           0 760 0 17 3 85
275 (
276  #";; The first three lines of this file were inserted by DrScheme. The"
277  #"y record metadata"
278 ) 0 0 68 29 1 #"\n"
279 0 0 17 3 85
280 (
281  #";; about the language level of this file in a form that our tools ca"
282  #"n easily process."
283 ) 0 0 68 29 1 #"\n"
284 0 0 24 3 7 #"#reader"
285 0 0 22 3 1 #"("
286 0 0 14 3 3 #"lib"
287 0 0 68 3 1 #" "
288 0 0 19 3 29 #"\"htdp-intermediate-reader.ss\""
289 0 0 68 3 1 #" "
290 0 0 19 3 6 #"\"lang\""
291 0 0 22 3 3 #")(("
292 0 0 14 3 7 #"modname"
293 0 0 68 3 1 #" "
294 0 0 14 3 4 #"|19|"
295 0 0 22 3 1 #")"
296 0 0 68 3 1 #" "
297 0 0 22 3 1 #"("
298 0 0 14 3 19 #"read-case-sensitive"
299 0 0 68 3 1 #" "
300 0 0 20 3 2 #"#t"
301 0 0 22 3 1 #")"
302 0 0 68 3 1 #" "
303 0 0 22 3 1 #"("
304 0 0 14 3 10 #"teachpacks"
305 0 0 68 3 1 #" "
306 0 0 22 3 2 #"(("
307 0 0 14 3 3 #"lib"
308 0 0 68 3 1 #" "
309 0 0 19 3 9 #"\"draw.ss\""
310 0 0 68 3 1 #" "
311 0 0 19 3 11 #"\"teachpack\""
312 0 0 68 3 1 #" "
313 0 0 19 3 6 #"\"htdp\""
314 0 0 22 3 3 #")))"
315 0 0 68 3 1 #" "
316 0 0 22 3 1 #"("
317 0 0 14 3 13 #"htdp-settings"
318 0 0 68 3 1 #" "
319 0 0 22 3 2 #"#("
320 0 0 20 3 2 #"#t"
321 0 0 68 3 1 #" "
322 0 0 14 3 11 #"constructor"
323 0 0 68 3 1 #" "
324 0 0 14 3 17 #"repeating-decimal"
325 0 0 68 3 1 #" "
326 0 0 20 3 2 #"#f"
327 0 0 68 3 1 #" "
328 0 0 20 3 2 #"#t"
329 0 0 68 3 1 #" "
330 0 0 14 3 4 #"none"
331 0 0 68 3 1 #" "
332 0 0 20 3 2 #"#f"
333 0 0 68 3 1 #" "
334 0 0 22 3 2 #"(("
335 0 0 14 3 3 #"lib"
336 0 0 68 3 1 #" "
337 0 0 19 3 9 #"\"draw.ss\""
338 0 0 68 3 1 #" "
339 0 0 19 3 11 #"\"teachpack\""
340 0 0 68 3 1 #" "
341 0 0 19 3 6 #"\"htdp\""
342 0 0 22 3 5 #")))))"
343 0 0 68 29 1 #"\n"
344 0 0 17 3 27 #";; mini : nelon  ->  number"
345 0 0 68 29 1 #"\n"
346 0 0 17 3 35 #";; to determine the smallest number"
347 0 0 68 29 1 #"\n"
348 0 0 17 3 10 #";; on alon"
349 0 0 68 29 1 #"\n"
350 0 0 22 3 1 #"("
351 0 0 15 3 6 #"define"
352 0 0 68 3 1 #" "
353 0 0 22 3 1 #"("
354 0 0 14 3 4 #"mini"
355 0 0 68 3 1 #" "
356 0 0 14 3 4 #"alon"
357 0 0 22 3 1 #")"
358 0 0 68 29 1 #"\n"
359 0 0 68 3 2 #"  "
360 0 0 22 3 1 #"("
361 0 0 15 3 4 #"cond"
362 0 0 68 29 1 #"\n"
363 0 0 68 3 4 #"    "
364 0 0 22 3 2 #"[("
365 0 0 14 3 6 #"empty?"
366 0 0 68 3 1 #" "
367 0 0 22 3 1 #"("
368 0 0 14 3 4 #"rest"
369 0 0 68 3 1 #" "
370 0 0 14 3 4 #"alon"
371 0 0 22 3 2 #"))"
372 0 0 68 3 1 #" "
373 0 0 22 3 1 #"("
374 0 0 14 3 5 #"first"
375 0 0 68 3 1 #" "
376 0 0 14 3 4 #"alon"
377 0 0 22 3 2 #")]"
378 0 0 68 29 1 #"\n"
379 0 0 68 3 4 #"    "
380 0 0 22 3 1 #"["
381 0 0 14 3 4 #"else"
382 0 0 68 3 1 #" "
383 0 0 22 3 1 #"("
384 0 0 15 3 4 #"cond"
385 0 0 68 29 1 #"\n"
386 0 0 68 3 12 #"            "
387 0 0 22 3 2 #"[("
388 0 0 14 3 1 #"<"
389 0 0 68 3 1 #" "
390 0 0 22 3 1 #"("
391 0 0 14 3 5 #"first"
392 0 0 68 3 1 #" "
393 0 0 14 3 4 #"alon"
394 0 0 22 3 1 #")"
395 0 0 68 3 1 #" "
396 0 0 68 29 1 #"\n"
397 0 0 68 3 16 #"                "
398 0 0 22 3 1 #"("
399 0 0 14 3 4 #"mini"
400 0 0 68 3 1 #" "
401 0 0 22 3 1 #"("
402 0 0 14 3 4 #"rest"
403 0 0 68 3 1 #" "
404 0 0 14 3 4 #"alon"
405 0 0 22 3 3 #")))"
406 0 0 68 29 1 #"\n"
407 0 0 68 3 13 #"             "
408 0 0 22 3 1 #"("
409 0 0 14 3 5 #"first"
410 0 0 68 3 1 #" "
411 0 0 14 3 4 #"alon"
412 0 0 22 3 2 #")]"
413 0 0 68 29 1 #"\n"
414 0 0 68 3 12 #"            "
415 0 0 22 3 1 #"["
416 0 0 14 3 4 #"else"
417 0 0 68 29 1 #"\n"
418 0 0 68 3 13 #"             "
419 0 0 22 3 1 #"("
420 0 0 14 3 4 #"mini"
421 0 0 68 3 1 #" "
422 0 0 22 3 1 #"("
423 0 0 14 3 4 #"rest"
424 0 0 68 3 1 #" "
425 0 0 14 3 4 #"alon"
426 0 0 22 3 7 #"))])]))"
427 0 0 68 29 1 #"\n"
428 0 0 68 3 0 #""
429 0 0 68 29 1 #"\n"
430 0 0 17 3 27 #";; maxi : nelon  ->  number"
431 0 0 68 29 1 #"\n"
432 0 0 17 3 34 #";; to determine the largest number"
433 0 0 68 29 1 #"\n"
434 0 0 17 3 10 #";; on alon"
435 0 0 68 29 1 #"\n"
436 0 0 22 3 1 #"("
437 0 0 15 3 6 #"define"
438 0 0 68 3 1 #" "
439 0 0 22 3 1 #"("
440 0 0 14 3 4 #"maxi"
441 0 0 68 3 1 #" "
442 0 0 14 3 4 #"alon"
443 0 0 22 3 1 #")"
444 0 0 68 29 1 #"\n"
445 0 0 68 3 2 #"  "
446 0 0 22 3 1 #"("
447 0 0 15 3 4 #"cond"
448 0 0 68 29 1 #"\n"
449 0 0 68 3 4 #"    "
450 0 0 22 3 2 #"[("
451 0 0 14 3 6 #"empty?"
452 0 0 68 3 1 #" "
453 0 0 22 3 1 #"("
454 0 0 14 3 4 #"rest"
455 0 0 68 3 1 #" "
456 0 0 14 3 4 #"alon"
457 0 0 22 3 2 #"))"
458 0 0 68 3 1 #" "
459 0 0 22 3 1 #"("
460 0 0 14 3 5 #"first"
461 0 0 68 3 1 #" "
462 0 0 14 3 4 #"alon"
463 0 0 22 3 2 #")]"
464 0 0 68 29 1 #"\n"
465 0 0 68 3 4 #"    "
466 0 0 22 3 1 #"["
467 0 0 14 3 4 #"else"
468 0 0 68 3 1 #" "
469 0 0 22 3 1 #"("
470 0 0 15 3 4 #"cond"
471 0 0 68 29 1 #"\n"
472 0 0 68 3 12 #"            "
473 0 0 22 3 2 #"[("
474 0 0 14 3 1 #">"
475 0 0 68 3 1 #" "
476 0 0 22 3 1 #"("
477 0 0 14 3 5 #"first"
478 0 0 68 3 1 #" "
479 0 0 14 3 4 #"alon"
480 0 0 22 3 1 #")"
481 0 0 68 29 1 #"\n"
482 0 0 68 3 16 #"                "
483 0 0 22 3 1 #"("
484 0 0 14 3 4 #"maxi"
485 0 0 68 3 1 #" "
486 0 0 22 3 1 #"("
487 0 0 14 3 4 #"rest"
488 0 0 68 3 1 #" "
489 0 0 14 3 4 #"alon"
490 0 0 22 3 3 #")))"
491 0 0 68 29 1 #"\n"
492 0 0 68 3 13 #"             "
493 0 0 22 3 1 #"("
494 0 0 14 3 5 #"first"
495 0 0 68 3 1 #" "
496 0 0 14 3 4 #"alon"
497 0 0 22 3 2 #")]"
498 0 0 68 29 1 #"\n"
499 0 0 68 3 12 #"            "
500 0 0 22 3 1 #"["
501 0 0 14 3 4 #"else"
502 0 0 68 29 1 #"\n"
503 0 0 68 3 13 #"             "
504 0 0 22 3 1 #"("
505 0 0 14 3 4 #"maxi"
506 0 0 68 3 1 #" "
507 0 0 22 3 1 #"("
508 0 0 14 3 4 #"rest"
509 0 0 68 3 1 #" "
510 0 0 14 3 4 #"alon"
511 0 0 22 3 7 #"))])]))"
512 0 0 68 29 1 #"\n"
513 0 0 68 29 1 #"\n"
514 0 0 17 3 39 #";A non-empty-list-of-numbers (nelon) is"
515 0 0 68 29 1 #"\n"
516 0 0 17 3 18 #";1. (cons n empty)"
517 0 0 68 29 1 #"\n"
518 0 0 17 3 15 #";2. (cons n ne)"
519 0 0 68 29 1 #"\n"
520 0 0 17 3 1 #";"
521 0 0 17 3 66
522 #"where n is a number and ne is a non-empty-list-of-numbers (nelon)."
523 0 0 72 29 1 #"\n"
524 0 0 17 3 1 #";"
525 0 0 68 29 1 #"\n"
526 0 0 17 3 36 #";extrema : predicate nelon -> number"
527 0 0 68 29 1 #"\n"
528 0 0 17 3 1 #";"
529 0 0 17 3 79
530 (
531  #"Given predicate and a-lon, return the extreme value depending on the"
532  #" predicate."
533 ) 0 0 68 29 1 #"\n"
534 0 0 68 29 1 #"\n"
535 0 0 17 3 1 #";"
536 0 0 17 3 16 #"pick-interesting"
537 0 0 17 3 28 #" : predicate list-of-numbers"
538 0 0 68 29 1 #"\n"
539 0 0 17 3 1 #";"
540 0 0 17 3 5 #"Given"
541 0 0 17 3 1 #" "
542 0 0 17 3 9 #"predicate"
543 0 0 17 3 1 #" "
544 0 0 17 3 3 #"and"
545 0 0 17 3 1 #" "
546 0 0 17 3 5 #"a-lon"
547 0 0 17 3 1 #","
548 0 0 17 3 1 #" "
549 0 0 17 3 4 #"pick"
550 0 0 17 3 1 #" "
551 0 0 17 3 3 #"the"
552 0 0 17 3 1 #" "
553 0 0 17 3 11 #"interesting"
554 0 0 17 3 18 #" (extreme) number."
555 0 0 68 29 1 #"\n"
556 0 0 68 29 1 #"\n"
557 0 0 22 3 1 #"("
558 0 0 15 3 6 #"define"
559 0 0 68 3 1 #" "
560 0 0 22 3 1 #"("
561 0 0 14 3 7 #"extrema"
562 0 0 68 3 1 #" "
563 0 0 14 3 9 #"predicate"
564 0 0 68 3 1 #" "
565 0 0 14 3 5 #"a-lon"
566 0 0 22 3 1 #")"
567 0 0 68 29 1 #"\n"
568 0 0 68 3 2 #"  "
569 0 0 22 3 1 #"("
570 0 0 15 3 4 #"cond"
571 0 0 68 29 1 #"\n"
572 0 0 68 3 4 #"    "
573 0 0 22 3 2 #"[("
574 0 0 14 3 6 #"empty?"
575 0 0 68 3 1 #" "
576 0 0 22 3 1 #"("
577 0 0 14 3 4 #"rest"
578 0 0 68 3 1 #" "
579 0 0 14 3 5 #"a-lon"
580 0 0 22 3 2 #"))"
581 0 0 68 3 1 #" "
582 0 0 22 3 1 #"("
583 0 0 14 3 5 #"first"
584 0 0 68 3 1 #" "
585 0 0 14 3 5 #"a-lon"
586 0 0 22 3 2 #")]"
587 0 0 68 29 1 #"\n"
588 0 0 68 3 4 #"    "
589 0 0 22 3 1 #"["
590 0 0 14 3 4 #"else"
591 0 0 68 3 1 #" "
592 0 0 22 3 1 #"("
593 0 0 15 3 5 #"local"
594 0 0 68 3 1 #" "
595 0 0 22 3 2 #"(("
596 0 0 15 3 6 #"define"
597 0 0 68 3 1 #" "
598 0 0 14 3 17 #"extrema-recursion"
599 0 0 68 3 1 #" "
600 0 0 22 3 1 #"("
601 0 0 14 3 7 #"extrema"
602 0 0 68 3 1 #" "
603 0 0 14 3 9 #"predicate"
604 0 0 68 3 1 #" "
605 0 0 22 3 1 #"("
606 0 0 14 3 4 #"rest"
607 0 0 68 3 1 #" "
608 0 0 14 3 5 #"a-lon"
609 0 0 22 3 3 #")))"
610 0 0 68 29 1 #"\n"
611 0 0 68 3 18 #"                  "
612 0 0 22 3 1 #"("
613 0 0 15 3 6 #"define"
614 0 0 68 3 1 #" "
615 0 0 22 3 1 #"("
616 0 0 14 3 16 #"pick-interesting"
617 0 0 68 3 1 #" "
618 0 0 14 3 9 #"predicate"
619 0 0 68 3 1 #" "
620 0 0 14 3 5 #"a-lon"
621 0 0 22 3 1 #")"
622 0 0 68 29 1 #"\n"
623 0 0 68 3 20 #"                    "
624 0 0 22 3 1 #"("
625 0 0 15 3 4 #"cond"
626 0 0 68 29 1 #"\n"
627 0 0 68 3 22 #"                      "
628 0 0 22 3 2 #"[("
629 0 0 14 3 9 #"predicate"
630 0 0 68 3 1 #" "
631 0 0 22 3 1 #"("
632 0 0 14 3 5 #"first"
633 0 0 68 3 1 #" "
634 0 0 14 3 5 #"a-lon"
635 0 0 22 3 1 #")"
636 0 0 68 3 1 #" "
637 0 0 14 3 17 #"extrema-recursion"
638 0 0 22 3 1 #")"
639 0 0 68 3 1 #" "
640 0 0 22 3 1 #"("
641 0 0 14 3 5 #"first"
642 0 0 68 3 1 #" "
643 0 0 14 3 5 #"a-lon"
644 0 0 22 3 2 #")]"
645 0 0 68 29 1 #"\n"
646 0 0 68 3 22 #"                      "
647 0 0 22 3 1 #"["
648 0 0 14 3 4 #"else"
649 0 0 68 3 1 #" "
650 0 0 14 3 17 #"extrema-recursion"
651 0 0 22 3 4 #"])))"
652 0 0 68 29 1 #"\n"
653 0 0 68 3 12 #"            "
654 0 0 22 3 1 #"("
655 0 0 14 3 16 #"pick-interesting"
656 0 0 68 3 1 #" "
657 0 0 14 3 9 #"predicate"
658 0 0 68 3 1 #" "
659 0 0 14 3 5 #"a-lon"
660 0 0 22 3 5 #"))]))"
661 0 0 68 29 1 #"\n"
662 0 0 72 3 0 #""
663 0 0 68 29 1 #"\n"
664 0 0 17 3 24 #";mini1 : nelon -> number"
665 0 0 68 29 1 #"\n"
666 0 0 68 3 0 #""
667 0 0 17 3 40 #";Given a-lon, returns the minimum value."
668 0 0 68 29 1 #"\n"
669 0 0 68 3 0 #""
670 0 0 22 3 1 #"("
671 0 0 15 3 6 #"define"
672 0 0 68 3 1 #" "
673 0 0 22 3 1 #"("
674 0 0 14 3 5 #"mini1"
675 0 0 68 3 1 #" "
676 0 0 14 3 5 #"a-lon"
677 0 0 22 3 1 #")"
678 0 0 68 29 1 #"\n"
679 0 0 68 3 2 #"  "
680 0 0 22 3 1 #"("
681 0 0 14 3 7 #"extrema"
682 0 0 68 3 1 #" "
683 0 0 14 3 1 #"<"
684 0 0 68 3 1 #" "
685 0 0 14 3 5 #"a-lon"
686 0 0 22 3 2 #"))"
687 0 0 68 29 1 #"\n"
688 0 0 68 3 0 #""
689 0 0 68 29 1 #"\n"
690 0 0 68 3 0 #""
691 0 0 17 3 24 #";maxi1 : nelon -> number"
692 0 0 68 29 1 #"\n"
693 0 0 68 3 0 #""
694 0 0 17 3 40 #";Given a-lon, returns the maximum value."
695 0 0 68 29 1 #"\n"
696 0 0 68 3 0 #""
697 0 0 22 3 1 #"("
698 0 0 15 3 6 #"define"
699 0 0 68 3 1 #" "
700 0 0 22 3 1 #"("
701 0 0 14 3 5 #"maxi1"
702 0 0 68 3 1 #" "
703 0 0 14 3 5 #"a-lon"
704 0 0 22 3 1 #")"
705 0 0 68 29 1 #"\n"
706 0 0 68 3 2 #"  "
707 0 0 22 3 1 #"("
708 0 0 14 3 7 #"extrema"
709 0 0 68 3 1 #" "
710 0 0 14 3 1 #">"
711 0 0 68 3 1 #" "
712 0 0 14 3 5 #"a-lon"
713 0 0 22 3 2 #"))"
714 0 0 68 29 1 #"\n"
715 0 0 68 29 1 #"\n"
716 0 0 17 3 2 #";("
717 0 0 17 3 4 #"time"
718 0 0 17 3 1 #" "
719 0 0 17 3 1 #"("
720 0 0 17 3 5 #"mini1"
721 0 0 17 3 1 #" "
722 0 0 17 3 1 #"("
723 0 0 17 3 4 #"list"
724 0 0 17 3 1 #" "
725 0 0 17 3 2 #"20"
726 0 0 17 3 1 #" "
727 0 0 17 3 2 #"19"
728 0 0 17 3 1 #" "
729 0 0 17 3 2 #"18"
730 0 0 17 3 1 #" "
731 0 0 17 3 2 #"17"
732 0 0 17 3 1 #" "
733 0 0 17 3 2 #"16"
734 0 0 17 3 1 #" "
735 0 0 17 3 2 #"15"
736 0 0 17 3 1 #" "
737 0 0 17 3 2 #"14"
738 0 0 17 3 1 #" "
739 0 0 17 3 2 #"13"
740 0 0 17 3 1 #" "
741 0 0 17 3 2 #"12"
742 0 0 17 3 1 #" "
743 0 0 17 3 2 #"11"
744 0 0 17 3 1 #" "
745 0 0 17 3 2 #"10"
746 0 0 17 3 1 #" "
747 0 0 17 3 1 #"9"
748 0 0 17 3 1 #" "
749 0 0 17 3 1 #"8"
750 0 0 17 3 1 #" "
751 0 0 17 3 1 #"7"
752 0 0 17 3 1 #" "
753 0 0 17 3 1 #"6"
754 0 0 17 3 1 #" "
755 0 0 17 3 1 #"5"
756 0 0 17 3 1 #" "
757 0 0 17 3 1 #"4"
758 0 0 17 3 1 #" "
759 0 0 17 3 1 #"3"
760 0 0 17 3 7 #" 2 1)))"
761 0 0 68 29 1 #"\n"
762 0 0 17 3 2 #";("
763 0 0 17 3 4 #"time"
764 0 0 17 3 1 #" "
765 0 0 17 3 1 #"("
766 0 0 17 3 5 #"maxi1"
767 0 0 17 3 1 #" "
768 0 0 17 3 1 #"("
769 0 0 17 3 4 #"list"
770 0 0 17 3 1 #" "
771 0 0 17 3 1 #"1"
772 0 0 17 3 1 #" "
773 0 0 17 3 1 #"2"
774 0 0 17 3 1 #" "
775 0 0 17 3 1 #"3"
776 0 0 17 3 1 #" "
777 0 0 17 3 1 #"4"
778 0 0 17 3 1 #" "
779 0 0 17 3 1 #"5"
780 0 0 17 3 1 #" "
781 0 0 17 3 1 #"6"
782 0 0 17 3 1 #" "
783 0 0 17 3 1 #"7"
784 0 0 17 3 1 #" "
785 0 0 17 3 1 #"8"
786 0 0 17 3 1 #" "
787 0 0 17 3 1 #"9"
788 0 0 17 3 1 #" "
789 0 0 17 3 2 #"10"
790 0 0 17 3 1 #" "
791 0 0 17 3 2 #"11"
792 0 0 17 3 1 #" "
793 0 0 17 3 2 #"12"
794 0 0 17 3 1 #" "
795 0 0 17 3 2 #"13"
796 0 0 17 3 1 #" "
797 0 0 17 3 2 #"14"
798 0 0 17 3 1 #" "
799 0 0 17 3 2 #"15"
800 0 0 17 3 1 #" "
801 0 0 17 3 2 #"16"
802 0 0 17 3 1 #" "
803 0 0 17 3 2 #"17"
804 0 0 17 3 1 #" "
805 0 0 17 3 2 #"18"
806 0 0 17 3 9 #" 19 20)))"
807 0 0 68 29 1 #"\n"
808 0 0 68 29 1 #"\n"
809 0 0 17 3 55 #";; sort : list-of-numbers predicate ->  list-of-numbers"
810 0 0 68 29 1 #"\n"
811 0 0 17 3 80
812 (
813  #";; to construct a list with all items from alon in ascending or desc"
814  #"ending order"
815 ) 0 0 68 29 1 #"\n"
816 0 0 22 3 1 #"("
817 0 0 15 3 6 #"define"
818 0 0 68 3 1 #" "
819 0 0 22 3 1 #"("
820 0 0 14 3 5 #"sort1"
821 0 0 68 3 1 #" "
822 0 0 14 3 4 #"alon"
823 0 0 68 3 1 #" "
824 0 0 14 3 9 #"predicate"
825 0 0 22 3 1 #")"
826 0 0 68 29 1 #"\n"
827 0 0 68 3 2 #"  "
828 0 0 22 3 1 #"("
829 0 0 15 3 5 #"local"
830 0 0 68 3 1 #" "
831 0 0 22 3 2 #"(("
832 0 0 15 3 6 #"define"
833 0 0 68 3 1 #" "
834 0 0 22 3 1 #"("
835 0 0 14 3 4 #"sort"
836 0 0 68 3 1 #" "
837 0 0 14 3 4 #"alon"
838 0 0 22 3 1 #")"
839 0 0 68 29 1 #"\n"
840 0 1 68 65 1 #"\t"
841 0 0 68 3 4 #"    "
842 0 0 22 3 1 #"("
843 0 0 15 3 4 #"cond"
844 0 0 68 29 1 #"\n"
845 0 1 68 65 1 #"\t"
846 0 0 68 3 6 #"      "
847 0 0 22 3 2 #"[("
848 0 0 14 3 6 #"empty?"
849 0 0 68 3 1 #" "
850 0 0 14 3 4 #"alon"
851 0 0 22 3 1 #")"
852 0 0 68 3 1 #" "
853 0 0 14 3 5 #"empty"
854 0 0 22 3 1 #"]"
855 0 0 68 29 1 #"\n"
856 0 1 68 65 1 #"\t"
857 0 0 68 3 6 #"      "
858 0 0 22 3 1 #"["
859 0 0 14 3 4 #"else"
860 0 0 68 3 1 #" "
861 0 0 22 3 1 #"("
862 0 0 14 3 6 #"insert"
863 0 0 68 3 1 #" "
864 0 0 22 3 1 #"("
865 0 0 14 3 5 #"first"
866 0 0 68 3 1 #" "
867 0 0 14 3 4 #"alon"
868 0 0 22 3 1 #")"
869 0 0 68 3 1 #" "
870 0 0 22 3 1 #"("
871 0 0 14 3 4 #"sort"
872 0 0 68 3 1 #" "
873 0 0 22 3 1 #"("
874 0 0 14 3 4 #"rest"
875 0 0 68 3 1 #" "
876 0 0 14 3 4 #"alon"
877 0 0 22 3 6 #")))]))"
878 0 0 68 29 1 #"\n"
879 0 1 68 65 1 #"\t"
880 0 0 68 3 2 #"  "
881 0 0 22 3 1 #"("
882 0 0 15 3 6 #"define"
883 0 0 68 3 1 #" "
884 0 0 22 3 1 #"("
885 0 0 14 3 6 #"insert"
886 0 0 68 3 1 #" "
887 0 0 14 3 2 #"an"
888 0 0 68 3 1 #" "
889 0 0 14 3 4 #"alon"
890 0 0 22 3 1 #")"
891 0 0 68 29 1 #"\n"
892 0 1 68 65 1 #"\t"
893 0 0 68 3 4 #"    "
894 0 0 22 3 1 #"("
895 0 0 15 3 4 #"cond"
896 0 0 68 29 1 #"\n"
897 0 1 68 65 1 #"\t"
898 0 0 68 3 6 #"      "
899 0 0 22 3 2 #"[("
900 0 0 14 3 6 #"empty?"
901 0 0 68 3 1 #" "
902 0 0 14 3 4 #"alon"
903 0 0 22 3 1 #")"
904 0 0 68 3 1 #" "
905 0 0 22 3 1 #"("
906 0 0 14 3 4 #"list"
907 0 0 68 3 1 #" "
908 0 0 14 3 2 #"an"
909 0 0 22 3 2 #")]"
910 0 0 68 29 1 #"\n"
911 0 1 68 65 1 #"\t"
912 0 0 68 3 6 #"      "
913 0 0 22 3 1 #"["
914 0 0 14 3 4 #"else"
915 0 0 68 3 1 #" "
916 0 0 22 3 1 #"("
917 0 0 15 3 4 #"cond"
918 0 0 68 29 1 #"\n"
919 0 1 68 65 1 #"\t"
920 0 1 68 65 1 #"\t"
921 0 0 68 3 6 #"      "
922 0 0 22 3 2 #"[("
923 0 0 14 3 9 #"predicate"
924 0 0 68 3 1 #" "
925 0 0 14 3 2 #"an"
926 0 0 68 3 1 #" "
927 0 0 22 3 1 #"("
928 0 0 14 3 5 #"first"
929 0 0 68 3 1 #" "
930 0 0 14 3 4 #"alon"
931 0 0 22 3 2 #"))"
932 0 0 68 3 1 #" "
933 0 0 22 3 1 #"("
934 0 0 14 3 4 #"cons"
935 0 0 68 3 1 #" "
936 0 0 14 3 2 #"an"
937 0 0 68 3 1 #" "
938 0 0 14 3 4 #"alon"
939 0 0 22 3 2 #")]"
940 0 0 68 29 1 #"\n"
941 0 1 68 65 1 #"\t"
942 0 1 68 65 1 #"\t"
943 0 0 68 3 6 #"      "
944 0 0 22 3 1 #"["
945 0 0 14 3 4 #"else"
946 0 0 68 3 1 #" "
947 0 0 22 3 1 #"("
948 0 0 14 3 4 #"cons"
949 0 0 68 3 1 #" "
950 0 0 22 3 1 #"("
951 0 0 14 3 5 #"first"
952 0 0 68 3 1 #" "
953 0 0 14 3 4 #"alon"
954 0 0 22 3 1 #")"
955 0 0 68 3 1 #" "
956 0 0 22 3 1 #"("
957 0 0 14 3 6 #"insert"
958 0 0 68 3 1 #" "
959 0 0 14 3 2 #"an"
960 0 0 68 3 1 #" "
961 0 0 22 3 1 #"("
962 0 0 14 3 4 #"rest"
963 0 0 68 3 1 #" "
964 0 0 14 3 4 #"alon"
965 0 0 22 3 9 #")))])])))"
966 0 0 68 29 1 #"\n"
967 0 0 68 3 4 #"    "
968 0 0 22 3 1 #"("
969 0 0 14 3 4 #"sort"
970 0 0 68 3 1 #" "
971 0 0 14 3 4 #"alon"
972 0 0 22 3 3 #")))"
973 0 0 68 29 1 #"\n"
974 0 0 68 29 1 #"\n"
975 0 0 17 3 30 #";sort-ascend : list-of-numbers"
976 0 0 68 29 1 #"\n"
977 0 0 17 3 6 #";Given"
978 0 0 17 3 1 #" "
979 0 0 17 3 5 #"a-lon"
980 0 0 17 3 1 #","
981 0 0 17 3 1 #" "
982 0 0 17 3 6 #"return"
983 0 0 17 3 1 #" "
984 0 0 17 3 1 #"a"
985 0 0 17 3 1 #" "
986 0 0 17 3 15 #"list-of-numbers"
987 0 0 17 3 1 #" "
988 0 0 17 3 6 #"sorted"
989 0 0 17 3 1 #" "
990 0 0 17 3 19 #"in ascending order."
991 0 0 68 29 1 #"\n"
992 0 0 22 3 1 #"("
993 0 0 15 3 6 #"define"
994 0 0 68 3 1 #" "
995 0 0 22 3 1 #"("
996 0 0 14 3 11 #"sort-ascend"
997 0 0 68 3 1 #" "
998 0 0 14 3 4 #"alon"
999 0 0 22 3 1 #")"
1000 0 0 68 29 1 #"\n"
1001 0 0 68 3 2 #"  "
1002 0 0 22 3 1 #"("
1003 0 0 14 3 5 #"sort1"
1004 0 0 68 3 1 #" "
1005 0 0 14 3 4 #"alon"
1006 0 0 68 3 1 #" "
1007 0 0 14 3 1 #"<"
1008 0 0 22 3 2 #"))"
1009 0 0 68 29 1 #"\n"
1010 0 0 68 29 1 #"\n"
1011 0 0 17 3 1 #";"
1012 0 0 17 3 30 #"sort-descend : list-of-numbers"
1013 0 0 68 29 1 #"\n"
1014 0 0 17 3 1 #";"
1015 0 0 17 3 5 #"Given"
1016 0 0 17 3 1 #" "
1017 0 0 17 3 5 #"a-lon"
1018 0 0 17 3 1 #","
1019 0 0 17 3 1 #" "
1020 0 0 17 3 6 #"return"
1021 0 0 17 3 1 #" "
1022 0 0 17 3 1 #"a"
1023 0 0 17 3 1 #" "
1024 0 0 17 3 15 #"list-of-numbers"
1025 0 0 17 3 1 #" "
1026 0 0 17 3 6 #"sorted"
1027 0 0 17 3 1 #" "
1028 0 0 17 3 20 #"in descending order."
1029 0 0 68 29 1 #"\n"
1030 0 0 22 3 1 #"("
1031 0 0 15 3 6 #"define"
1032 0 0 68 3 1 #" "
1033 0 0 22 3 1 #"("
1034 0 0 14 3 12 #"sort-descend"
1035 0 0 68 3 1 #" "
1036 0 0 14 3 4 #"alon"
1037 0 0 22 3 1 #")"
1038 0 0 68 29 1 #"\n"
1039 0 0 68 3 2 #"  "
1040 0 0 22 3 1 #"("
1041 0 0 14 3 5 #"sort1"
1042 0 0 68 3 1 #" "
1043 0 0 14 3 4 #"alon"
1044 0 0 68 3 1 #" "
1045 0 0 14 3 1 #">"
1046 0 0 22 3 2 #"))"
1047 0           0