Blob


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.
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).
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 72 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 20 1
214 #"\0"
215 0 -1 1 #"\0"
216 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
217 #"\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 22 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 15 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 4 1
226 #"\0"
227 0 -1 1 #"\0"
228 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
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 20 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 17 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 17 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 4 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 22 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 15 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 14 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 20 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 0 3271 0 4 3 85
258 #";; The first three lines of this file were inserted by DrScheme. The"
259 #"y record metadata"
260 ) 0 0 4 29 1 #"\n"
261 0 0 4 3 85
263 #";; about the language level of this file in a form that our tools ca"
264 #"n easily process."
265 ) 0 0 4 29 1 #"\n"
266 0 0 4 3 382
268 #"#reader(lib \"htdp-advanced-reader.ss\" \"lang\")((modname |#32.3|) "
269 #"(read-case-sensitive #t) (teachpacks ((lib \"draw.ss\" \"teachpack\""
270 #" \"htdp\") (lib \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\""
271 #" \"teachpack\" \"htdp\"))) (htdp-settings #(#t constructor repeating"
272 #"-decimal #t #t none #f ((lib \"draw.ss\" \"teachpack\" \"htdp\") (li"
273 #"b \"arrow.ss\" \"teachpack\" \"htdp\") (lib \"gui.ss\" \"teachpack\""
274 #" \"htdp\")))))"
275 ) 0 0 4 29 1 #"\n"
276 0 0 17 3 37 #";jump : board posn -> (listof boards)"
277 0 0 4 29 1 #"\n"
278 0 0 17 3 25 #";Given aboard and aposn, "
279 0 0 4 29 1 #"\n"
280 0 0 22 3 1 #"("
281 0 0 15 3 6 #"define"
282 0 0 4 3 1 #" "
283 0 0 14 3 9 #"trueboard"
284 0 0 4 3 1 #" "
285 0 0 22 3 1 #"("
286 0 0 14 3 4 #"list"
287 0 0 4 3 1 #" "
288 0 0 22 3 1 #"("
289 0 0 14 3 6 #"vector"
290 0 0 4 3 1 #" "
291 0 0 22 3 1 #"("
292 0 0 14 3 6 #"vector"
293 0 0 4 3 1 #" "
294 0 0 14 3 4 #"true"
295 0 0 22 3 1 #")"
296 0 0 4 29 1 #"\n"
297 0 0 4 3 32 #" "
298 0 0 22 3 1 #"("
299 0 0 14 3 6 #"vector"
300 0 0 4 3 1 #" "
301 0 0 14 3 4 #"true"
302 0 0 4 3 1 #" "
303 0 0 14 3 4 #"true"
304 0 0 22 3 1 #")"
305 0 0 4 29 1 #"\n"
306 0 0 4 3 32 #" "
307 0 0 22 3 1 #"("
308 0 0 14 3 6 #"vector"
309 0 0 4 3 1 #" "
310 0 0 14 3 4 #"true"
311 0 0 4 3 1 #" "
312 0 0 14 3 4 #"true"
313 0 0 4 3 1 #" "
314 0 0 14 3 4 #"true"
315 0 0 22 3 1 #")"
316 0 0 4 29 1 #"\n"
317 0 0 4 3 32 #" "
318 0 0 22 3 1 #"("
319 0 0 14 3 6 #"vector"
320 0 0 4 3 1 #" "
321 0 0 14 3 4 #"true"
322 0 0 4 3 1 #" "
323 0 0 14 3 4 #"true"
324 0 0 4 3 1 #" "
325 0 0 14 3 4 #"true"
326 0 0 4 3 1 #" "
327 0 0 14 3 4 #"true"
328 0 0 22 3 1 #")"
329 0 0 4 29 1 #"\n"
330 0 0 4 3 32 #" "
331 0 0 22 3 1 #"("
332 0 0 14 3 6 #"vector"
333 0 0 4 3 1 #" "
334 0 0 14 3 4 #"true"
335 0 0 4 3 1 #" "
336 0 0 14 3 4 #"true"
337 0 0 4 3 1 #" "
338 0 0 14 3 4 #"true"
339 0 0 4 3 1 #" "
340 0 0 14 3 4 #"true"
341 0 0 4 3 1 #" "
342 0 0 14 3 4 #"true"
343 0 0 22 3 1 #")"
344 0 0 4 29 1 #"\n"
345 0 0 4 3 32 #" "
346 0 0 22 3 1 #"("
347 0 0 14 3 6 #"vector"
348 0 0 4 3 1 #" "
349 0 0 14 3 4 #"true"
350 0 0 4 3 1 #" "
351 0 0 14 3 4 #"true"
352 0 0 4 3 1 #" "
353 0 0 14 3 4 #"true"
354 0 0 4 3 1 #" "
355 0 0 14 3 4 #"true"
356 0 0 4 3 1 #" "
357 0 0 14 3 4 #"true"
358 0 0 4 3 1 #" "
359 0 0 14 3 4 #"true"
360 0 0 22 3 1 #")"
361 0 0 4 29 1 #"\n"
362 0 0 4 3 32 #" "
363 0 0 22 3 1 #"("
364 0 0 14 3 6 #"vector"
365 0 0 4 3 1 #" "
366 0 0 14 3 4 #"true"
367 0 0 4 3 1 #" "
368 0 0 14 3 4 #"true"
369 0 0 4 3 1 #" "
370 0 0 14 3 5 #"false"
371 0 0 4 3 1 #" "
372 0 0 14 3 4 #"true"
373 0 0 4 3 1 #" "
374 0 0 14 3 4 #"true"
375 0 0 4 3 1 #" "
376 0 0 14 3 4 #"true"
377 0 0 4 3 1 #" "
378 0 0 14 3 4 #"true"
379 0 0 22 3 2 #"))"
380 0 0 4 29 1 #"\n"
381 0 0 4 3 24 #" "
382 0 0 22 3 1 #"("
383 0 0 14 3 6 #"vector"
384 0 0 4 3 1 #" "
385 0 0 22 3 1 #"("
386 0 0 14 3 6 #"vector"
387 0 0 4 3 1 #" "
388 0 0 14 3 4 #"true"
389 0 0 22 3 1 #")"
390 0 0 4 29 1 #"\n"
391 0 0 4 3 32 #" "
392 0 0 22 3 1 #"("
393 0 0 14 3 6 #"vector"
394 0 0 4 3 1 #" "
395 0 0 14 3 4 #"true"
396 0 0 4 3 1 #" "
397 0 0 14 3 4 #"true"
398 0 0 22 3 1 #")"
399 0 0 4 29 1 #"\n"
400 0 0 4 3 32 #" "
401 0 0 22 3 1 #"("
402 0 0 14 3 6 #"vector"
403 0 0 4 3 1 #" "
404 0 0 14 3 4 #"true"
405 0 0 4 3 1 #" "
406 0 0 14 3 4 #"true"
407 0 0 4 3 1 #" "
408 0 0 14 3 4 #"true"
409 0 0 22 3 1 #")"
410 0 0 4 29 1 #"\n"
411 0 0 4 3 32 #" "
412 0 0 22 3 1 #"("
413 0 0 14 3 6 #"vector"
414 0 0 4 3 1 #" "
415 0 0 14 3 4 #"true"
416 0 0 4 3 1 #" "
417 0 0 14 3 4 #"true"
418 0 0 4 3 1 #" "
419 0 0 14 3 4 #"true"
420 0 0 4 3 1 #" "
421 0 0 14 3 4 #"true"
422 0 0 22 3 1 #")"
423 0 0 4 29 1 #"\n"
424 0 0 4 3 32 #" "
425 0 0 22 3 1 #"("
426 0 0 14 3 6 #"vector"
427 0 0 4 3 1 #" "
428 0 0 14 3 4 #"true"
429 0 0 4 3 1 #" "
430 0 0 14 3 4 #"true"
431 0 0 4 3 1 #" "
432 0 0 14 3 4 #"true"
433 0 0 4 3 1 #" "
434 0 0 14 3 4 #"true"
435 0 0 4 3 1 #" "
436 0 0 14 3 5 #"false"
437 0 0 22 3 1 #")"
438 0 0 4 29 1 #"\n"
439 0 0 4 3 32 #" "
440 0 0 22 3 1 #"("
441 0 0 14 3 6 #"vector"
442 0 0 4 3 1 #" "
443 0 0 14 3 4 #"true"
444 0 0 4 3 1 #" "
445 0 0 14 3 4 #"true"
446 0 0 4 3 1 #" "
447 0 0 14 3 4 #"true"
448 0 0 4 3 1 #" "
449 0 0 14 3 4 #"true"
450 0 0 4 3 1 #" "
451 0 0 14 3 4 #"true"
452 0 0 4 3 1 #" "
453 0 0 14 3 4 #"true"
454 0 0 22 3 1 #")"
455 0 0 4 29 1 #"\n"
456 0 0 4 3 32 #" "
457 0 0 22 3 1 #"("
458 0 0 14 3 6 #"vector"
459 0 0 4 3 1 #" "
460 0 0 14 3 4 #"true"
461 0 0 4 3 1 #" "
462 0 0 14 3 4 #"true"
463 0 0 4 3 1 #" "
464 0 0 14 3 4 #"true"
465 0 0 4 3 1 #" "
466 0 0 14 3 4 #"true"
467 0 0 4 3 1 #" "
468 0 0 14 3 4 #"true"
469 0 0 4 3 1 #" "
470 0 0 14 3 4 #"true"
471 0 0 4 3 1 #" "
472 0 0 14 3 4 #"true"
473 0 0 22 3 2 #"))"
474 0 0 4 29 1 #"\n"
475 0 0 4 3 24 #" "
476 0 0 22 3 1 #"("
477 0 0 14 3 6 #"vector"
478 0 0 4 3 1 #" "
479 0 0 22 3 1 #"("
480 0 0 14 3 6 #"vector"
481 0 0 4 3 1 #" "
482 0 0 14 3 4 #"true"
483 0 0 22 3 1 #")"
484 0 0 4 29 1 #"\n"
485 0 0 4 3 32 #" "
486 0 0 22 3 1 #"("
487 0 0 14 3 6 #"vector"
488 0 0 4 3 1 #" "
489 0 0 14 3 4 #"true"
490 0 0 4 3 1 #" "
491 0 0 14 3 4 #"true"
492 0 0 22 3 1 #")"
493 0 0 4 29 1 #"\n"
494 0 0 4 3 32 #" "
495 0 0 22 3 1 #"("
496 0 0 14 3 6 #"vector"
497 0 0 4 3 1 #" "
498 0 0 14 3 4 #"true"
499 0 0 4 3 1 #" "
500 0 0 14 3 4 #"true"
501 0 0 4 3 1 #" "
502 0 0 14 3 4 #"true"
503 0 0 22 3 1 #")"
504 0 0 4 29 1 #"\n"
505 0 0 4 3 32 #" "
506 0 0 22 3 1 #"("
507 0 0 14 3 6 #"vector"
508 0 0 4 3 1 #" "
509 0 0 14 3 4 #"true"
510 0 0 4 3 1 #" "
511 0 0 14 3 4 #"true"
512 0 0 4 3 1 #" "
513 0 0 14 3 4 #"true"
514 0 0 4 3 1 #" "
515 0 0 14 3 4 #"true"
516 0 0 22 3 1 #")"
517 0 0 4 29 1 #"\n"
518 0 0 4 3 32 #" "
519 0 0 22 3 1 #"("
520 0 0 14 3 6 #"vector"
521 0 0 4 3 1 #" "
522 0 0 14 3 5 #"false"
523 0 0 4 3 1 #" "
524 0 0 14 3 4 #"true"
525 0 0 4 3 1 #" "
526 0 0 14 3 4 #"true"
527 0 0 4 3 1 #" "
528 0 0 14 3 4 #"true"
529 0 0 4 3 1 #" "
530 0 0 14 3 4 #"true"
531 0 0 22 3 1 #")"
532 0 0 4 29 1 #"\n"
533 0 0 4 3 32 #" "
534 0 0 22 3 1 #"("
535 0 0 14 3 6 #"vector"
536 0 0 4 3 1 #" "
537 0 0 14 3 4 #"true"
538 0 0 4 3 1 #" "
539 0 0 14 3 4 #"true"
540 0 0 4 3 1 #" "
541 0 0 14 3 4 #"true"
542 0 0 4 3 1 #" "
543 0 0 14 3 4 #"true"
544 0 0 4 3 1 #" "
545 0 0 14 3 4 #"true"
546 0 0 4 3 1 #" "
547 0 0 14 3 4 #"true"
548 0 0 22 3 1 #")"
549 0 0 4 29 1 #"\n"
550 0 0 4 3 32 #" "
551 0 0 22 3 1 #"("
552 0 0 14 3 6 #"vector"
553 0 0 4 3 1 #" "
554 0 0 14 3 4 #"true"
555 0 0 4 3 1 #" "
556 0 0 14 3 4 #"true"
557 0 0 4 3 1 #" "
558 0 0 14 3 4 #"true"
559 0 0 4 3 1 #" "
560 0 0 14 3 4 #"true"
561 0 0 4 3 1 #" "
562 0 0 14 3 4 #"true"
563 0 0 4 3 1 #" "
564 0 0 14 3 4 #"true"
565 0 0 4 3 1 #" "
566 0 0 14 3 4 #"true"
567 0 0 22 3 2 #"))"
568 0 0 4 29 1 #"\n"
569 0 0 4 3 24 #" "
570 0 0 22 3 1 #"("
571 0 0 14 3 6 #"vector"
572 0 0 4 3 1 #" "
573 0 0 22 3 1 #"("
574 0 0 14 3 6 #"vector"
575 0 0 4 3 1 #" "
576 0 0 14 3 4 #"true"
577 0 0 22 3 1 #")"
578 0 0 4 29 1 #"\n"
579 0 0 4 3 32 #" "
580 0 0 22 3 1 #"("
581 0 0 14 3 6 #"vector"
582 0 0 4 3 1 #" "
583 0 0 14 3 4 #"true"
584 0 0 4 3 1 #" "
585 0 0 14 3 4 #"true"
586 0 0 22 3 1 #")"
587 0 0 4 29 1 #"\n"
588 0 0 4 3 32 #" "
589 0 0 22 3 1 #"("
590 0 0 14 3 6 #"vector"
591 0 0 4 3 1 #" "
592 0 0 14 3 4 #"true"
593 0 0 4 3 1 #" "
594 0 0 14 3 4 #"true"
595 0 0 4 3 1 #" "
596 0 0 14 3 5 #"false"
597 0 0 22 3 1 #")"
598 0 0 4 29 1 #"\n"
599 0 0 4 3 32 #" "
600 0 0 22 3 1 #"("
601 0 0 14 3 6 #"vector"
602 0 0 4 3 1 #" "
603 0 0 14 3 4 #"true"
604 0 0 4 3 1 #" "
605 0 0 14 3 4 #"true"
606 0 0 4 3 1 #" "
607 0 0 14 3 4 #"true"
608 0 0 4 3 1 #" "
609 0 0 14 3 4 #"true"
610 0 0 22 3 1 #")"
611 0 0 4 29 1 #"\n"
612 0 0 4 3 32 #" "
613 0 0 22 3 1 #"("
614 0 0 14 3 6 #"vector"
615 0 0 4 3 1 #" "
616 0 0 14 3 4 #"true"
617 0 0 4 3 1 #" "
618 0 0 14 3 4 #"true"
619 0 0 4 3 1 #" "
620 0 0 14 3 4 #"true"
621 0 0 4 3 1 #" "
622 0 0 14 3 4 #"true"
623 0 0 4 3 1 #" "
624 0 0 14 3 4 #"true"
625 0 0 22 3 1 #")"
626 0 0 4 29 1 #"\n"
627 0 0 4 3 32 #" "
628 0 0 22 3 1 #"("
629 0 0 14 3 6 #"vector"
630 0 0 4 3 1 #" "
631 0 0 14 3 4 #"true"
632 0 0 4 3 1 #" "
633 0 0 14 3 4 #"true"
634 0 0 4 3 1 #" "
635 0 0 14 3 4 #"true"
636 0 0 4 3 1 #" "
637 0 0 14 3 4 #"true"
638 0 0 4 3 1 #" "
639 0 0 14 3 4 #"true"
640 0 0 4 3 1 #" "
641 0 0 14 3 4 #"true"
642 0 0 22 3 1 #")"
643 0 0 4 29 1 #"\n"
644 0 0 4 3 32 #" "
645 0 0 22 3 1 #"("
646 0 0 14 3 6 #"vector"
647 0 0 4 3 1 #" "
648 0 0 14 3 4 #"true"
649 0 0 4 3 1 #" "
650 0 0 14 3 4 #"true"
651 0 0 4 3 1 #" "
652 0 0 14 3 4 #"true"
653 0 0 4 3 1 #" "
654 0 0 14 3 4 #"true"
655 0 0 4 3 1 #" "
656 0 0 14 3 4 #"true"
657 0 0 4 3 1 #" "
658 0 0 14 3 4 #"true"
659 0 0 4 3 1 #" "
660 0 0 14 3 4 #"true"
661 0 0 22 3 2 #"))"
662 0 0 4 29 1 #"\n"
663 0 0 4 3 24 #" "
664 0 0 22 3 1 #"("
665 0 0 14 3 6 #"vector"
666 0 0 4 3 1 #" "
667 0 0 22 3 1 #"("
668 0 0 14 3 6 #"vector"
669 0 0 4 3 1 #" "
670 0 0 14 3 4 #"true"
671 0 0 22 3 1 #")"
672 0 0 4 29 1 #"\n"
673 0 0 4 3 32 #" "
674 0 0 22 3 1 #"("
675 0 0 14 3 6 #"vector"
676 0 0 4 3 1 #" "
677 0 0 14 3 4 #"true"
678 0 0 4 3 1 #" "
679 0 0 14 3 4 #"true"
680 0 0 22 3 1 #")"
681 0 0 4 29 1 #"\n"
682 0 0 4 3 32 #" "
683 0 0 22 3 1 #"("
684 0 0 14 3 6 #"vector"
685 0 0 4 3 1 #" "
686 0 0 14 3 4 #"true"
687 0 0 4 3 1 #" "
688 0 0 14 3 4 #"true"
689 0 0 4 3 1 #" "
690 0 0 14 3 4 #"true"
691 0 0 22 3 1 #")"
692 0 0 4 29 1 #"\n"
693 0 0 4 3 32 #" "
694 0 0 22 3 1 #"("
695 0 0 14 3 6 #"vector"
696 0 0 4 3 1 #" "
697 0 0 14 3 4 #"true"
698 0 0 4 3 1 #" "
699 0 0 14 3 4 #"true"
700 0 0 4 3 1 #" "
701 0 0 14 3 4 #"true"
702 0 0 4 3 1 #" "
703 0 0 14 3 4 #"true"
704 0 0 22 3 1 #")"
705 0 0 4 29 1 #"\n"
706 0 0 4 3 32 #" "
707 0 0 22 3 1 #"("
708 0 0 14 3 6 #"vector"
709 0 0 4 3 1 #" "
710 0 0 14 3 4 #"true"
711 0 0 4 3 1 #" "
712 0 0 14 3 4 #"true"
713 0 0 4 3 1 #" "
714 0 0 14 3 4 #"true"
715 0 0 4 3 1 #" "
716 0 0 14 3 4 #"true"
717 0 0 4 3 1 #" "
718 0 0 14 3 4 #"true"
719 0 0 22 3 1 #")"
720 0 0 4 29 1 #"\n"
721 0 0 4 3 32 #" "
722 0 0 22 3 1 #"("
723 0 0 14 3 6 #"vector"
724 0 0 4 3 1 #" "
725 0 0 14 3 4 #"true"
726 0 0 4 3 1 #" "
727 0 0 14 3 4 #"true"
728 0 0 4 3 1 #" "
729 0 0 14 3 4 #"true"
730 0 0 4 3 1 #" "
731 0 0 14 3 4 #"true"
732 0 0 4 3 1 #" "
733 0 0 14 3 4 #"true"
734 0 0 4 3 1 #" "
735 0 0 14 3 4 #"true"
736 0 0 22 3 1 #")"
737 0 0 4 29 1 #"\n"
738 0 0 4 3 32 #" "
739 0 0 22 3 1 #"("
740 0 0 14 3 6 #"vector"
741 0 0 4 3 1 #" "
742 0 0 14 3 4 #"true"
743 0 0 4 3 1 #" "
744 0 0 14 3 4 #"true"
745 0 0 4 3 1 #" "
746 0 0 14 3 4 #"true"
747 0 0 4 3 1 #" "
748 0 0 14 3 4 #"true"
749 0 0 4 3 1 #" "
750 0 0 14 3 5 #"false"
751 0 0 4 3 1 #" "
752 0 0 14 3 4 #"true"
753 0 0 4 3 1 #" "
754 0 0 14 3 4 #"true"
755 0 0 22 3 2 #"))"
756 0 0 4 29 1 #"\n"
757 0 0 4 3 24 #" "
758 0 0 22 3 1 #"("
759 0 0 14 3 6 #"vector"
760 0 0 4 3 1 #" "
761 0 0 22 3 1 #"("
762 0 0 14 3 6 #"vector"
763 0 0 4 3 1 #" "
764 0 0 14 3 4 #"true"
765 0 0 22 3 1 #")"
766 0 0 4 29 1 #"\n"
767 0 0 4 3 32 #" "
768 0 0 22 3 1 #"("
769 0 0 14 3 6 #"vector"
770 0 0 4 3 1 #" "
771 0 0 14 3 4 #"true"
772 0 0 4 3 1 #" "
773 0 0 14 3 4 #"true"
774 0 0 22 3 1 #")"
775 0 0 4 29 1 #"\n"
776 0 0 4 3 32 #" "
777 0 0 22 3 1 #"("
778 0 0 14 3 6 #"vector"
779 0 0 4 3 1 #" "
780 0 0 14 3 5 #"false"
781 0 0 4 3 1 #" "
782 0 0 14 3 4 #"true"
783 0 0 4 3 1 #" "
784 0 0 14 3 4 #"true"
785 0 0 22 3 1 #")"
786 0 0 4 29 1 #"\n"
787 0 0 4 3 32 #" "
788 0 0 22 3 1 #"("
789 0 0 14 3 6 #"vector"
790 0 0 4 3 1 #" "
791 0 0 14 3 4 #"true"
792 0 0 4 3 1 #" "
793 0 0 14 3 4 #"true"
794 0 0 4 3 1 #" "
795 0 0 14 3 4 #"true"
796 0 0 4 3 1 #" "
797 0 0 14 3 4 #"true"
798 0 0 22 3 1 #")"
799 0 0 4 29 1 #"\n"
800 0 0 4 3 32 #" "
801 0 0 22 3 1 #"("
802 0 0 14 3 6 #"vector"
803 0 0 4 3 1 #" "
804 0 0 14 3 4 #"true"
805 0 0 4 3 1 #" "
806 0 0 14 3 4 #"true"
807 0 0 4 3 1 #" "
808 0 0 14 3 4 #"true"
809 0 0 4 3 1 #" "
810 0 0 14 3 4 #"true"
811 0 0 4 3 1 #" "
812 0 0 14 3 4 #"true"
813 0 0 22 3 1 #")"
814 0 0 4 29 1 #"\n"
815 0 0 4 3 32 #" "
816 0 0 22 3 1 #"("
817 0 0 14 3 6 #"vector"
818 0 0 4 3 1 #" "
819 0 0 14 3 4 #"true"
820 0 0 4 3 1 #" "
821 0 0 14 3 4 #"true"
822 0 0 4 3 1 #" "
823 0 0 14 3 4 #"true"
824 0 0 4 3 1 #" "
825 0 0 14 3 4 #"true"
826 0 0 4 3 1 #" "
827 0 0 14 3 4 #"true"
828 0 0 4 3 1 #" "
829 0 0 14 3 4 #"true"
830 0 0 22 3 1 #")"
831 0 0 4 29 1 #"\n"
832 0 0 4 3 32 #" "
833 0 0 22 3 1 #"("
834 0 0 14 3 6 #"vector"
835 0 0 4 3 1 #" "
836 0 0 14 3 4 #"true"
837 0 0 4 3 1 #" "
838 0 0 14 3 4 #"true"
839 0 0 4 3 1 #" "
840 0 0 14 3 4 #"true"
841 0 0 4 3 1 #" "
842 0 0 14 3 4 #"true"
843 0 0 4 3 1 #" "
844 0 0 14 3 4 #"true"
845 0 0 4 3 1 #" "
846 0 0 14 3 4 #"true"
847 0 0 4 3 1 #" "
848 0 0 14 3 4 #"true"
849 0 0 22 3 2 #"))"
850 0 0 4 29 1 #"\n"
851 0 0 4 3 24 #" "
852 0 0 22 3 1 #"("
853 0 0 14 3 6 #"vector"
854 0 0 4 3 1 #" "
855 0 0 22 3 1 #"("
856 0 0 14 3 6 #"vector"
857 0 0 4 3 1 #" "
858 0 0 14 3 4 #"true"
859 0 0 22 3 1 #")"
860 0 0 4 29 1 #"\n"
861 0 0 4 3 32 #" "
862 0 0 22 3 1 #"("
863 0 0 14 3 6 #"vector"
864 0 0 4 3 1 #" "
865 0 0 14 3 4 #"true"
866 0 0 4 3 1 #" "
867 0 0 14 3 4 #"true"
868 0 0 22 3 1 #")"
869 0 0 4 29 1 #"\n"
870 0 0 4 3 32 #" "
871 0 0 22 3 1 #"("
872 0 0 14 3 6 #"vector"
873 0 0 4 3 1 #" "
874 0 0 14 3 5 #"false"
875 0 0 4 3 1 #" "
876 0 0 14 3 4 #"true"
877 0 0 4 3 1 #" "
878 0 0 14 3 4 #"true"
879 0 0 22 3 1 #")"
880 0 0 4 29 1 #"\n"
881 0 0 4 3 32 #" "
882 0 0 22 3 1 #"("
883 0 0 14 3 6 #"vector"
884 0 0 4 3 1 #" "
885 0 0 14 3 4 #"true"
886 0 0 4 3 1 #" "
887 0 0 14 3 5 #"false"
888 0 0 4 3 1 #" "
889 0 0 14 3 5 #"false"
890 0 0 4 3 1 #" "
891 0 0 14 3 4 #"true"
892 0 0 22 3 1 #")"
893 0 0 4 29 1 #"\n"
894 0 0 4 3 32 #" "
895 0 0 22 3 1 #"("
896 0 0 14 3 6 #"vector"
897 0 0 4 3 1 #" "
898 0 0 14 3 4 #"true"
899 0 0 4 3 1 #" "
900 0 0 14 3 5 #"false"
901 0 0 4 3 1 #" "
902 0 0 14 3 4 #"true"
903 0 0 4 3 1 #" "
904 0 0 14 3 5 #"false"
905 0 0 4 3 1 #" "
906 0 0 14 3 5 #"false"
907 0 0 22 3 1 #")"
908 0 0 4 29 1 #"\n"
909 0 0 4 3 32 #" "
910 0 0 22 3 1 #"("
911 0 0 14 3 6 #"vector"
912 0 0 4 3 1 #" "
913 0 0 14 3 4 #"true"
914 0 0 4 3 1 #" "
915 0 0 14 3 5 #"false"
916 0 0 4 3 1 #" "
917 0 0 14 3 4 #"true"
918 0 0 4 3 1 #" "
919 0 0 14 3 4 #"true"
920 0 0 4 3 1 #" "
921 0 0 14 3 4 #"true"
922 0 0 4 3 1 #" "
923 0 0 14 3 4 #"true"
924 0 0 22 3 1 #")"
925 0 0 4 29 1 #"\n"
926 0 0 4 3 32 #" "
927 0 0 22 3 1 #"("
928 0 0 14 3 6 #"vector"
929 0 0 4 3 1 #" "
930 0 0 14 3 5 #"false"
931 0 0 4 3 1 #" "
932 0 0 14 3 5 #"false"
933 0 0 4 3 1 #" "
934 0 0 14 3 4 #"true"
935 0 0 4 3 1 #" "
936 0 0 14 3 5 #"false"
937 0 0 4 3 1 #" "
938 0 0 14 3 5 #"false"
939 0 0 4 3 1 #" "
940 0 0 14 3 5 #"false"
941 0 0 4 3 1 #" "
942 0 0 14 3 4 #"true"
943 0 0 22 3 2 #"))"
944 0 0 4 29 1 #"\n"
945 0 0 4 3 24 #" "
946 0 0 22 3 1 #"("
947 0 0 14 3 6 #"vector"
948 0 0 4 3 1 #" "
949 0 0 22 3 1 #"("
950 0 0 14 3 6 #"vector"
951 0 0 4 3 1 #" "
952 0 0 14 3 4 #"true"
953 0 0 22 3 1 #")"
954 0 0 4 29 1 #"\n"
955 0 0 4 3 32 #" "
956 0 0 22 3 1 #"("
957 0 0 14 3 6 #"vector"
958 0 0 4 3 1 #" "
959 0 0 14 3 4 #"true"
960 0 0 4 3 1 #" "
961 0 0 14 3 4 #"true"
962 0 0 22 3 1 #")"
963 0 0 4 29 1 #"\n"
964 0 0 4 3 32 #" "
965 0 0 22 3 1 #"("
966 0 0 14 3 6 #"vector"
967 0 0 4 3 1 #" "
968 0 0 14 3 5 #"false"
969 0 0 4 3 1 #" "
970 0 0 14 3 4 #"true"
971 0 0 4 3 1 #" "
972 0 0 14 3 4 #"true"
973 0 0 22 3 1 #")"
974 0 0 4 29 1 #"\n"
975 0 0 4 3 32 #" "
976 0 0 22 3 1 #"("
977 0 0 14 3 6 #"vector"
978 0 0 4 3 1 #" "
979 0 0 14 3 4 #"true"
980 0 0 4 3 1 #" "
981 0 0 14 3 5 #"false"
982 0 0 4 3 1 #" "
983 0 0 14 3 5 #"false"
984 0 0 4 3 1 #" "
985 0 0 14 3 4 #"true"
986 0 0 22 3 1 #")"
987 0 0 4 29 1 #"\n"
988 0 0 4 3 32 #" "
989 0 0 22 3 1 #"("
990 0 0 14 3 6 #"vector"
991 0 0 4 3 1 #" "
992 0 0 14 3 4 #"true"
993 0 0 4 3 1 #" "
994 0 0 14 3 5 #"false"
995 0 0 4 3 1 #" "
996 0 0 14 3 4 #"true"
997 0 0 4 3 1 #" "
998 0 0 14 3 4 #"true"
999 0 0 4 3 1 #" "
1000 0 0 14 3 5 #"false"
1001 0 0 22 3 1 #")"
1002 0 0 4 29 1 #"\n"
1003 0 0 4 3 32 #" "
1004 0 0 22 3 1 #"("
1005 0 0 14 3 6 #"vector"
1006 0 0 4 3 1 #" "
1007 0 0 14 3 4 #"true"
1008 0 0 4 3 1 #" "
1009 0 0 14 3 4 #"true"
1010 0 0 4 3 1 #" "
1011 0 0 14 3 4 #"true"
1012 0 0 4 3 1 #" "
1013 0 0 14 3 5 #"false"
1014 0 0 4 3 1 #" "
1015 0 0 14 3 4 #"true"
1016 0 0 4 3 1 #" "
1017 0 0 14 3 4 #"true"
1018 0 0 22 3 1 #")"
1019 0 0 4 29 1 #"\n"
1020 0 0 4 3 32 #" "
1021 0 0 22 3 1 #"("
1022 0 0 14 3 6 #"vector"
1023 0 0 4 3 1 #" "
1024 0 0 14 3 5 #"false"
1025 0 0 4 3 1 #" "
1026 0 0 14 3 5 #"false"
1027 0 0 4 3 1 #" "
1028 0 0 14 3 4 #"true"
1029 0 0 4 3 1 #" "
1030 0 0 14 3 5 #"false"
1031 0 0 4 3 1 #" "
1032 0 0 14 3 5 #"false"
1033 0 0 4 3 1 #" "
1034 0 0 14 3 5 #"false"
1035 0 0 4 3 1 #" "
1036 0 0 14 3 4 #"true"
1037 0 0 22 3 4 #"))))"
1038 0 0 4 29 1 #"\n"
1039 0 0 4 29 1 #"\n"
1040 0 0 22 3 1 #"("
1041 0 0 15 3 6 #"define"
1042 0 0 4 3 1 #" "
1043 0 0 14 3 10 #"falseboard"
1044 0 0 4 3 1 #" "
1045 0 0 22 3 1 #"("
1046 0 0 14 3 4 #"list"
1047 0 0 4 3 1 #" "
1048 0 0 22 3 1 #"("
1049 0 0 14 3 6 #"vector"
1050 0 0 4 3 1 #" "
1051 0 0 22 3 1 #"("
1052 0 0 14 3 6 #"vector"
1053 0 0 4 3 1 #" "
1054 0 0 14 3 4 #"true"
1055 0 0 22 3 1 #")"
1056 0 0 4 29 1 #"\n"
1057 0 0 4 3 33 #" "
1058 0 0 22 3 1 #"("
1059 0 0 14 3 6 #"vector"
1060 0 0 4 3 1 #" "
1061 0 0 14 3 4 #"true"
1062 0 0 4 3 1 #" "
1063 0 0 14 3 4 #"true"
1064 0 0 22 3 1 #")"
1065 0 0 4 29 1 #"\n"
1066 0 0 4 3 33 #" "
1067 0 0 22 3 1 #"("
1068 0 0 14 3 6 #"vector"
1069 0 0 4 3 1 #" "
1070 0 0 14 3 4 #"true"
1071 0 0 4 3 1 #" "
1072 0 0 14 3 4 #"true"
1073 0 0 4 3 1 #" "
1074 0 0 14 3 4 #"true"
1075 0 0 22 3 1 #")"
1076 0 0 4 29 1 #"\n"
1077 0 0 4 3 33 #" "
1078 0 0 22 3 1 #"("
1079 0 0 14 3 6 #"vector"
1080 0 0 4 3 1 #" "
1081 0 0 14 3 4 #"true"
1082 0 0 4 3 1 #" "
1083 0 0 14 3 4 #"true"
1084 0 0 4 3 1 #" "
1085 0 0 14 3 4 #"true"
1086 0 0 4 3 1 #" "
1087 0 0 14 3 4 #"true"
1088 0 0 22 3 1 #")"
1089 0 0 4 29 1 #"\n"
1090 0 0 4 3 33 #" "
1091 0 0 22 3 1 #"("
1092 0 0 14 3 6 #"vector"
1093 0 0 4 3 1 #" "
1094 0 0 14 3 4 #"true"
1095 0 0 4 3 1 #" "
1096 0 0 14 3 4 #"true"
1097 0 0 4 3 1 #" "
1098 0 0 14 3 5 #"false"
1099 0 0 4 3 1 #" "
1100 0 0 14 3 4 #"true"
1101 0 0 4 3 1 #" "
1102 0 0 14 3 4 #"true"
1103 0 0 22 3 1 #")"
1104 0 0 4 29 1 #"\n"
1105 0 0 4 3 33 #" "
1106 0 0 22 3 1 #"("
1107 0 0 14 3 6 #"vector"
1108 0 0 4 3 1 #" "
1109 0 0 14 3 4 #"true"
1110 0 0 4 3 1 #" "
1111 0 0 14 3 4 #"true"
1112 0 0 4 3 1 #" "
1113 0 0 14 3 4 #"true"
1114 0 0 4 3 1 #" "
1115 0 0 14 3 4 #"true"
1116 0 0 4 3 1 #" "
1117 0 0 14 3 4 #"true"
1118 0 0 4 3 1 #" "
1119 0 0 14 3 4 #"true"
1120 0 0 22 3 1 #")"
1121 0 0 4 29 1 #"\n"
1122 0 0 4 3 33 #" "
1123 0 0 22 3 1 #"("
1124 0 0 14 3 6 #"vector"
1125 0 0 4 3 1 #" "
1126 0 0 14 3 4 #"true"
1127 0 0 4 3 1 #" "
1128 0 0 14 3 4 #"true"
1129 0 0 4 3 1 #" "
1130 0 0 14 3 4 #"true"
1131 0 0 4 3 1 #" "
1132 0 0 14 3 4 #"true"
1133 0 0 4 3 1 #" "
1134 0 0 14 3 4 #"true"
1135 0 0 4 3 1 #" "
1136 0 0 14 3 4 #"true"
1137 0 0 4 3 1 #" "
1138 0 0 14 3 4 #"true"
1139 0 0 22 3 2 #"))"
1140 0 0 4 29 1 #"\n"
1141 0 0 4 3 25 #" "
1142 0 0 22 3 1 #"("
1143 0 0 14 3 6 #"vector"
1144 0 0 4 3 1 #" "
1145 0 0 22 3 1 #"("
1146 0 0 14 3 6 #"vector"
1147 0 0 4 3 1 #" "
1148 0 0 14 3 4 #"true"
1149 0 0 22 3 1 #")"
1150 0 0 4 29 1 #"\n"
1151 0 0 4 3 33 #" "
1152 0 0 22 3 1 #"("
1153 0 0 14 3 6 #"vector"
1154 0 0 4 3 1 #" "
1155 0 0 14 3 4 #"true"
1156 0 0 4 3 1 #" "
1157 0 0 14 3 4 #"true"
1158 0 0 22 3 1 #")"
1159 0 0 4 29 1 #"\n"
1160 0 0 4 3 33 #" "
1161 0 0 22 3 1 #"("
1162 0 0 14 3 6 #"vector"
1163 0 0 4 3 1 #" "
1164 0 0 14 3 4 #"true"
1165 0 0 4 3 1 #" "
1166 0 0 14 3 4 #"true"
1167 0 0 4 3 1 #" "
1168 0 0 14 3 4 #"true"
1169 0 0 22 3 1 #")"
1170 0 0 4 29 1 #"\n"
1171 0 0 4 3 33 #" "
1172 0 0 22 3 1 #"("
1173 0 0 14 3 6 #"vector"
1174 0 0 4 3 1 #" "
1175 0 0 14 3 4 #"true"
1176 0 0 4 3 1 #" "
1177 0 0 14 3 4 #"true"
1178 0 0 4 3 1 #" "
1179 0 0 14 3 4 #"true"
1180 0 0 4 3 1 #" "
1181 0 0 14 3 4 #"true"
1182 0 0 22 3 1 #")"
1183 0 0 4 29 1 #"\n"
1184 0 0 4 3 33 #" "
1185 0 0 22 3 1 #"("
1186 0 0 14 3 6 #"vector"
1187 0 0 4 3 1 #" "
1188 0 0 14 3 4 #"true"
1189 0 0 4 3 1 #" "
1190 0 0 14 3 4 #"true"
1191 0 0 4 3 1 #" "
1192 0 0 14 3 5 #"false"
1193 0 0 4 3 1 #" "
1194 0 0 14 3 4 #"true"
1195 0 0 4 3 1 #" "
1196 0 0 14 3 4 #"true"
1197 0 0 22 3 1 #")"
1198 0 0 4 29 1 #"\n"
1199 0 0 4 3 33 #" "
1200 0 0 22 3 1 #"("
1201 0 0 14 3 6 #"vector"
1202 0 0 4 3 1 #" "
1203 0 0 14 3 4 #"true"
1204 0 0 4 3 1 #" "
1205 0 0 14 3 4 #"true"
1206 0 0 4 3 1 #" "
1207 0 0 14 3 4 #"true"
1208 0 0 4 3 1 #" "
1209 0 0 14 3 4 #"true"
1210 0 0 4 3 1 #" "
1211 0 0 14 3 4 #"true"
1212 0 0 4 3 1 #" "
1213 0 0 14 3 4 #"true"
1214 0 0 22 3 1 #")"
1215 0 0 4 29 1 #"\n"
1216 0 0 4 3 33 #" "
1217 0 0 22 3 1 #"("
1218 0 0 14 3 6 #"vector"
1219 0 0 4 3 1 #" "
1220 0 0 14 3 4 #"true"
1221 0 0 4 3 1 #" "
1222 0 0 14 3 4 #"true"
1223 0 0 4 3 1 #" "
1224 0 0 14 3 5 #"false"
1225 0 0 4 3 1 #" "
1226 0 0 14 3 4 #"true"
1227 0 0 4 3 1 #" "
1228 0 0 14 3 4 #"true"
1229 0 0 4 3 1 #" "
1230 0 0 14 3 4 #"true"
1231 0 0 4 3 1 #" "
1232 0 0 14 3 4 #"true"
1233 0 0 22 3 2 #"))"
1234 0 0 4 29 1 #"\n"
1235 0 0 4 3 25 #" "
1236 0 0 22 3 1 #"("
1237 0 0 14 3 6 #"vector"
1238 0 0 4 3 1 #" "
1239 0 0 22 3 1 #"("
1240 0 0 14 3 6 #"vector"
1241 0 0 4 3 1 #" "
1242 0 0 14 3 4 #"true"
1243 0 0 22 3 1 #")"
1244 0 0 4 29 1 #"\n"
1245 0 0 4 3 33 #" "
1246 0 0 22 3 1 #"("
1247 0 0 14 3 6 #"vector"
1248 0 0 4 3 1 #" "
1249 0 0 14 3 4 #"true"
1250 0 0 4 3 1 #" "
1251 0 0 14 3 4 #"true"
1252 0 0 22 3 1 #")"
1253 0 0 4 29 1 #"\n"
1254 0 0 4 3 33 #" "
1255 0 0 22 3 1 #"("
1256 0 0 14 3 6 #"vector"
1257 0 0 4 3 1 #" "
1258 0 0 14 3 4 #"true"
1259 0 0 4 3 1 #" "
1260 0 0 14 3 4 #"true"
1261 0 0 4 3 1 #" "
1262 0 0 14 3 4 #"true"
1263 0 0 22 3 1 #")"
1264 0 0 4 29 1 #"\n"
1265 0 0 4 3 33 #" "
1266 0 0 22 3 1 #"("
1267 0 0 14 3 6 #"vector"
1268 0 0 4 3 1 #" "
1269 0 0 14 3 4 #"true"
1270 0 0 4 3 1 #" "
1271 0 0 14 3 4 #"true"
1272 0 0 4 3 1 #" "
1273 0 0 14 3 4 #"true"
1274 0 0 4 3 1 #" "
1275 0 0 14 3 4 #"true"
1276 0 0 22 3 1 #")"
1277 0 0 4 29 1 #"\n"
1278 0 0 4 3 33 #" "
1279 0 0 22 3 1 #"("
1280 0 0 14 3 6 #"vector"
1281 0 0 4 3 1 #" "
1282 0 0 14 3 4 #"true"
1283 0 0 4 3 1 #" "
1284 0 0 14 3 5 #"false"
1285 0 0 4 3 1 #" "
1286 0 0 14 3 4 #"true"
1287 0 0 4 3 1 #" "
1288 0 0 14 3 4 #"true"
1289 0 0 4 3 1 #" "
1290 0 0 14 3 4 #"true"
1291 0 0 22 3 1 #")"
1292 0 0 4 29 1 #"\n"
1293 0 0 4 3 33 #" "
1294 0 0 22 3 1 #"("
1295 0 0 14 3 6 #"vector"
1296 0 0 4 3 1 #" "
1297 0 0 14 3 4 #"true"
1298 0 0 4 3 1 #" "
1299 0 0 14 3 4 #"true"
1300 0 0 4 3 1 #" "
1301 0 0 14 3 4 #"true"
1302 0 0 4 3 1 #" "
1303 0 0 14 3 4 #"true"
1304 0 0 4 3 1 #" "
1305 0 0 14 3 4 #"true"
1306 0 0 4 3 1 #" "
1307 0 0 14 3 4 #"true"
1308 0 0 22 3 1 #")"
1309 0 0 4 29 1 #"\n"
1310 0 0 4 3 33 #" "
1311 0 0 22 3 1 #"("
1312 0 0 14 3 6 #"vector"
1313 0 0 4 3 1 #" "
1314 0 0 14 3 4 #"true"
1315 0 0 4 3 1 #" "
1316 0 0 14 3 4 #"true"
1317 0 0 4 3 1 #" "
1318 0 0 14 3 4 #"true"
1319 0 0 4 3 1 #" "
1320 0 0 14 3 4 #"true"
1321 0 0 4 3 1 #" "
1322 0 0 14 3 4 #"true"
1323 0 0 4 3 1 #" "
1324 0 0 14 3 4 #"true"
1325 0 0 4 3 1 #" "
1326 0 0 14 3 4 #"true"
1327 0 0 22 3 2 #"))"
1328 0 0 4 29 1 #"\n"
1329 0 0 4 3 25 #" "
1330 0 0 22 3 1 #"("
1331 0 0 14 3 6 #"vector"
1332 0 0 4 3 1 #" "
1333 0 0 22 3 1 #"("
1334 0 0 14 3 6 #"vector"
1335 0 0 4 3 1 #" "
1336 0 0 14 3 4 #"true"
1337 0 0 22 3 1 #")"
1338 0 0 4 29 1 #"\n"
1339 0 0 4 3 33 #" "
1340 0 0 22 3 1 #"("
1341 0 0 14 3 6 #"vector"
1342 0 0 4 3 1 #" "
1343 0 0 14 3 4 #"true"
1344 0 0 4 3 1 #" "
1345 0 0 14 3 4 #"true"
1346 0 0 22 3 1 #")"
1347 0 0 4 29 1 #"\n"
1348 0 0 4 3 33 #" "
1349 0 0 22 3 1 #"("
1350 0 0 14 3 6 #"vector"
1351 0 0 4 3 1 #" "
1352 0 0 14 3 4 #"true"
1353 0 0 4 3 1 #" "
1354 0 0 14 3 4 #"true"
1355 0 0 4 3 1 #" "
1356 0 0 14 3 4 #"true"
1357 0 0 22 3 1 #")"
1358 0 0 4 29 1 #"\n"
1359 0 0 4 3 33 #" "
1360 0 0 22 3 1 #"("
1361 0 0 14 3 6 #"vector"
1362 0 0 4 3 1 #" "
1363 0 0 14 3 4 #"true"
1364 0 0 4 3 1 #" "
1365 0 0 14 3 4 #"true"
1366 0 0 4 3 1 #" "
1367 0 0 14 3 4 #"true"
1368 0 0 4 3 1 #" "
1369 0 0 14 3 4 #"true"
1370 0 0 22 3 1 #")"
1371 0 0 4 29 1 #"\n"
1372 0 0 4 3 33 #" "
1373 0 0 22 3 1 #"("
1374 0 0 14 3 6 #"vector"
1375 0 0 4 3 1 #" "
1376 0 0 14 3 4 #"true"
1377 0 0 4 3 1 #" "
1378 0 0 14 3 4 #"true"
1379 0 0 4 3 1 #" "
1380 0 0 14 3 4 #"true"
1381 0 0 4 3 1 #" "
1382 0 0 14 3 4 #"true"
1383 0 0 4 3 1 #" "
1384 0 0 14 3 4 #"true"
1385 0 0 22 3 1 #")"
1386 0 0 4 29 1 #"\n"
1387 0 0 4 3 33 #" "
1388 0 0 22 3 1 #"("
1389 0 0 14 3 6 #"vector"
1390 0 0 4 3 1 #" "
1391 0 0 14 3 4 #"true"
1392 0 0 4 3 1 #" "
1393 0 0 14 3 4 #"true"
1394 0 0 4 3 1 #" "
1395 0 0 14 3 4 #"true"
1396 0 0 4 3 1 #" "
1397 0 0 14 3 4 #"true"
1398 0 0 4 3 1 #" "
1399 0 0 14 3 4 #"true"
1400 0 0 4 3 1 #" "
1401 0 0 14 3 4 #"true"
1402 0 0 22 3 1 #")"
1403 0 0 4 29 1 #"\n"
1404 0 0 4 3 33 #" "
1405 0 0 22 3 1 #"("
1406 0 0 14 3 6 #"vector"
1407 0 0 4 3 1 #" "
1408 0 0 14 3 4 #"true"
1409 0 0 4 3 1 #" "
1410 0 0 14 3 5 #"false"
1411 0 0 4 3 1 #" "
1412 0 0 14 3 4 #"true"
1413 0 0 4 3 1 #" "
1414 0 0 14 3 4 #"true"
1415 0 0 4 3 1 #" "
1416 0 0 14 3 4 #"true"
1417 0 0 4 3 1 #" "
1418 0 0 14 3 4 #"true"
1419 0 0 4 3 1 #" "
1420 0 0 14 3 4 #"true"
1421 0 0 22 3 2 #"))"
1422 0 0 4 29 1 #"\n"
1423 0 0 4 3 25 #" "
1424 0 0 22 3 1 #"("
1425 0 0 14 3 6 #"vector"
1426 0 0 4 3 1 #" "
1427 0 0 22 3 1 #"("
1428 0 0 14 3 6 #"vector"
1429 0 0 4 3 1 #" "
1430 0 0 14 3 4 #"true"
1431 0 0 22 3 1 #")"
1432 0 0 4 29 1 #"\n"
1433 0 0 4 3 33 #" "
1434 0 0 22 3 1 #"("
1435 0 0 14 3 6 #"vector"
1436 0 0 4 3 1 #" "
1437 0 0 14 3 4 #"true"
1438 0 0 4 3 1 #" "
1439 0 0 14 3 4 #"true"
1440 0 0 22 3 1 #")"
1441 0 0 4 29 1 #"\n"
1442 0 0 4 3 33 #" "
1443 0 0 22 3 1 #"("
1444 0 0 14 3 6 #"vector"
1445 0 0 4 3 1 #" "
1446 0 0 14 3 4 #"true"
1447 0 0 4 3 1 #" "
1448 0 0 14 3 4 #"true"
1449 0 0 4 3 1 #" "
1450 0 0 14 3 4 #"true"
1451 0 0 22 3 1 #")"
1452 0 0 4 29 1 #"\n"
1453 0 0 4 3 33 #" "
1454 0 0 22 3 1 #"("
1455 0 0 14 3 6 #"vector"
1456 0 0 4 3 1 #" "
1457 0 0 14 3 4 #"true"
1458 0 0 4 3 1 #" "
1459 0 0 14 3 4 #"true"
1460 0 0 4 3 1 #" "
1461 0 0 14 3 4 #"true"
1462 0 0 4 3 1 #" "
1463 0 0 14 3 4 #"true"
1464 0 0 22 3 1 #")"
1465 0 0 4 29 1 #"\n"
1466 0 0 4 3 33 #" "
1467 0 0 22 3 1 #"("
1468 0 0 14 3 6 #"vector"
1469 0 0 4 3 1 #" "
1470 0 0 14 3 4 #"true"
1471 0 0 4 3 1 #" "
1472 0 0 14 3 4 #"true"
1473 0 0 4 3 1 #" "
1474 0 0 14 3 4 #"true"
1475 0 0 4 3 1 #" "
1476 0 0 14 3 4 #"true"
1477 0 0 4 3 1 #" "
1478 0 0 14 3 4 #"true"
1479 0 0 22 3 1 #")"
1480 0 0 4 29 1 #"\n"
1481 0 0 4 3 33 #" "
1482 0 0 22 3 1 #"("
1483 0 0 14 3 6 #"vector"
1484 0 0 4 3 1 #" "
1485 0 0 14 3 4 #"true"
1486 0 0 4 3 1 #" "
1487 0 0 14 3 5 #"false"
1488 0 0 4 3 1 #" "
1489 0 0 14 3 4 #"true"
1490 0 0 4 3 1 #" "
1491 0 0 14 3 4 #"true"
1492 0 0 4 3 1 #" "
1493 0 0 14 3 4 #"true"
1494 0 0 4 3 1 #" "
1495 0 0 14 3 4 #"true"
1496 0 0 22 3 1 #")"
1497 0 0 4 29 1 #"\n"
1498 0 0 4 3 33 #" "
1499 0 0 22 3 1 #"("
1500 0 0 14 3 6 #"vector"
1501 0 0 4 3 1 #" "
1502 0 0 14 3 4 #"true"
1503 0 0 4 3 1 #" "
1504 0 0 14 3 4 #"true"
1505 0 0 4 3 1 #" "
1506 0 0 14 3 4 #"true"
1507 0 0 4 3 1 #" "
1508 0 0 14 3 4 #"true"
1509 0 0 4 3 1 #" "
1510 0 0 14 3 4 #"true"
1511 0 0 4 3 1 #" "
1512 0 0 14 3 4 #"true"
1513 0 0 4 3 1 #" "
1514 0 0 14 3 4 #"true"
1515 0 0 22 3 2 #"))"
1516 0 0 4 29 1 #"\n"
1517 0 0 4 3 25 #" "
1518 0 0 22 3 1 #"("
1519 0 0 14 3 6 #"vector"
1520 0 0 4 3 1 #" "
1521 0 0 22 3 1 #"("
1522 0 0 14 3 6 #"vector"
1523 0 0 4 3 1 #" "
1524 0 0 14 3 4 #"true"
1525 0 0 22 3 1 #")"
1526 0 0 4 29 1 #"\n"
1527 0 0 4 3 33 #" "
1528 0 0 22 3 1 #"("
1529 0 0 14 3 6 #"vector"
1530 0 0 4 3 1 #" "
1531 0 0 14 3 4 #"true"
1532 0 0 4 3 1 #" "
1533 0 0 14 3 4 #"true"
1534 0 0 22 3 1 #")"
1535 0 0 4 29 1 #"\n"
1536 0 0 4 3 33 #" "
1537 0 0 22 3 1 #"("
1538 0 0 14 3 6 #"vector"
1539 0 0 4 3 1 #" "
1540 0 0 14 3 5 #"false"
1541 0 0 4 3 1 #" "
1542 0 0 14 3 4 #"true"
1543 0 0 4 3 1 #" "
1544 0 0 14 3 4 #"true"
1545 0 0 22 3 1 #")"
1546 0 0 4 29 1 #"\n"
1547 0 0 4 3 33 #" "
1548 0 0 22 3 1 #"("
1549 0 0 14 3 6 #"vector"
1550 0 0 4 3 1 #" "
1551 0 0 14 3 4 #"true"
1552 0 0 4 3 1 #" "
1553 0 0 14 3 5 #"false"
1554 0 0 4 3 1 #" "
1555 0 0 14 3 5 #"false"
1556 0 0 4 3 1 #" "
1557 0 0 14 3 4 #"true"
1558 0 0 22 3 1 #")"
1559 0 0 4 29 1 #"\n"
1560 0 0 4 3 33 #" "
1561 0 0 22 3 1 #"("
1562 0 0 14 3 6 #"vector"
1563 0 0 4 3 1 #" "
1564 0 0 14 3 4 #"true"
1565 0 0 4 3 1 #" "
1566 0 0 14 3 5 #"false"
1567 0 0 4 3 1 #" "
1568 0 0 14 3 4 #"true"
1569 0 0 4 3 1 #" "
1570 0 0 14 3 4 #"true"
1571 0 0 4 3 1 #" "
1572 0 0 14 3 4 #"true"
1573 0 0 22 3 1 #")"
1574 0 0 4 29 1 #"\n"
1575 0 0 4 3 33 #" "
1576 0 0 22 3 1 #"("
1577 0 0 14 3 6 #"vector"
1578 0 0 4 3 1 #" "
1579 0 0 14 3 4 #"true"
1580 0 0 4 3 1 #" "
1581 0 0 14 3 4 #"true"
1582 0 0 4 3 1 #" "
1583 0 0 14 3 4 #"true"
1584 0 0 4 3 1 #" "
1585 0 0 14 3 4 #"true"
1586 0 0 4 3 1 #" "
1587 0 0 14 3 4 #"true"
1588 0 0 4 3 1 #" "
1589 0 0 14 3 4 #"true"
1590 0 0 22 3 1 #")"
1591 0 0 4 29 1 #"\n"
1592 0 0 4 3 33 #" "
1593 0 0 22 3 1 #"("
1594 0 0 14 3 6 #"vector"
1595 0 0 4 3 1 #" "
1596 0 0 14 3 4 #"true"
1597 0 0 4 3 1 #" "
1598 0 0 14 3 4 #"true"
1599 0 0 4 3 1 #" "
1600 0 0 14 3 4 #"true"
1601 0 0 4 3 1 #" "
1602 0 0 14 3 4 #"true"
1603 0 0 4 3 1 #" "
1604 0 0 14 3 4 #"true"
1605 0 0 4 3 1 #" "
1606 0 0 14 3 4 #"true"
1607 0 0 4 3 1 #" "
1608 0 0 14 3 4 #"true"
1609 0 0 22 3 2 #"))"
1610 0 0 4 29 1 #"\n"
1611 0 0 4 3 25 #" "
1612 0 0 22 3 1 #"("
1613 0 0 14 3 6 #"vector"
1614 0 0 4 3 1 #" "
1615 0 0 22 3 1 #"("
1616 0 0 14 3 6 #"vector"
1617 0 0 4 3 1 #" "
1618 0 0 14 3 4 #"true"
1619 0 0 22 3 1 #")"
1620 0 0 4 29 1 #"\n"
1621 0 0 4 3 33 #" "
1622 0 0 22 3 1 #"("
1623 0 0 14 3 6 #"vector"
1624 0 0 4 3 1 #" "
1625 0 0 14 3 4 #"true"
1626 0 0 4 3 1 #" "
1627 0 0 14 3 4 #"true"
1628 0 0 22 3 1 #")"
1629 0 0 4 29 1 #"\n"
1630 0 0 4 3 33 #" "
1631 0 0 22 3 1 #"("
1632 0 0 14 3 6 #"vector"
1633 0 0 4 3 1 #" "
1634 0 0 14 3 5 #"false"
1635 0 0 4 3 1 #" "
1636 0 0 14 3 4 #"true"
1637 0 0 4 3 1 #" "
1638 0 0 14 3 4 #"true"
1639 0 0 22 3 1 #")"
1640 0 0 4 29 1 #"\n"
1641 0 0 4 3 33 #" "
1642 0 0 22 3 1 #"("
1643 0 0 14 3 6 #"vector"
1644 0 0 4 3 1 #" "
1645 0 0 14 3 4 #"true"
1646 0 0 4 3 1 #" "
1647 0 0 14 3 5 #"false"
1648 0 0 4 3 1 #" "
1649 0 0 14 3 5 #"false"
1650 0 0 4 3 1 #" "
1651 0 0 14 3 4 #"true"
1652 0 0 22 3 1 #")"
1653 0 0 4 29 1 #"\n"
1654 0 0 4 3 33 #" "
1655 0 0 22 3 1 #"("
1656 0 0 14 3 6 #"vector"
1657 0 0 4 3 1 #" "
1658 0 0 14 3 4 #"true"
1659 0 0 4 3 1 #" "
1660 0 0 14 3 5 #"false"
1661 0 0 4 3 1 #" "
1662 0 0 14 3 4 #"true"
1663 0 0 4 3 1 #" "
1664 0 0 14 3 4 #"true"
1665 0 0 4 3 1 #" "
1666 0 0 14 3 4 #"true"
1667 0 0 22 3 1 #")"
1668 0 0 4 29 1 #"\n"
1669 0 0 4 3 33 #" "
1670 0 0 22 3 1 #"("
1671 0 0 14 3 6 #"vector"
1672 0 0 4 3 1 #" "
1673 0 0 14 3 4 #"true"
1674 0 0 4 3 1 #" "
1675 0 0 14 3 5 #"false"
1676 0 0 4 3 1 #" "
1677 0 0 14 3 4 #"true"
1678 0 0 4 3 1 #" "
1679 0 0 14 3 4 #"true"
1680 0 0 4 3 1 #" "
1681 0 0 14 3 4 #"true"
1682 0 0 4 3 1 #" "
1683 0 0 14 3 4 #"true"
1684 0 0 22 3 1 #")"
1685 0 0 4 29 1 #"\n"
1686 0 0 4 3 33 #" "
1687 0 0 22 3 1 #"("
1688 0 0 14 3 6 #"vector"
1689 0 0 4 3 1 #" "
1690 0 0 14 3 5 #"false"
1691 0 0 4 3 1 #" "
1692 0 0 14 3 5 #"false"
1693 0 0 4 3 1 #" "
1694 0 0 14 3 4 #"true"
1695 0 0 4 3 1 #" "
1696 0 0 14 3 4 #"true"
1697 0 0 4 3 1 #" "
1698 0 0 14 3 4 #"true"
1699 0 0 4 3 1 #" "
1700 0 0 14 3 4 #"true"
1701 0 0 4 3 1 #" "
1702 0 0 14 3 4 #"true"
1703 0 0 22 3 2 #"))"
1704 0 0 4 29 1 #"\n"
1705 0 0 4 3 25 #" "
1706 0 0 22 3 1 #"("
1707 0 0 14 3 6 #"vector"
1708 0 0 4 3 1 #" "
1709 0 0 22 3 1 #"("
1710 0 0 14 3 6 #"vector"
1711 0 0 4 3 1 #" "
1712 0 0 14 3 4 #"true"
1713 0 0 22 3 1 #")"
1714 0 0 4 29 1 #"\n"
1715 0 0 4 3 33 #" "
1716 0 0 22 3 1 #"("
1717 0 0 14 3 6 #"vector"
1718 0 0 4 3 1 #" "
1719 0 0 14 3 4 #"true"
1720 0 0 4 3 1 #" "
1721 0 0 14 3 4 #"true"
1722 0 0 22 3 1 #")"
1723 0 0 4 29 1 #"\n"
1724 0 0 4 3 33 #" "
1725 0 0 22 3 1 #"("
1726 0 0 14 3 6 #"vector"
1727 0 0 4 3 1 #" "
1728 0 0 14 3 5 #"false"
1729 0 0 4 3 1 #" "
1730 0 0 14 3 4 #"true"
1731 0 0 4 3 1 #" "
1732 0 0 14 3 4 #"true"
1733 0 0 22 3 1 #")"
1734 0 0 4 29 1 #"\n"
1735 0 0 4 3 33 #" "
1736 0 0 22 3 1 #"("
1737 0 0 14 3 6 #"vector"
1738 0 0 4 3 1 #" "
1739 0 0 14 3 4 #"true"
1740 0 0 4 3 1 #" "
1741 0 0 14 3 5 #"false"
1742 0 0 4 3 1 #" "
1743 0 0 14 3 5 #"false"
1744 0 0 4 3 1 #" "
1745 0 0 14 3 4 #"true"
1746 0 0 22 3 1 #")"
1747 0 0 4 29 1 #"\n"
1748 0 0 4 3 33 #" "
1749 0 0 22 3 1 #"("
1750 0 0 14 3 6 #"vector"
1751 0 0 4 3 1 #" "
1752 0 0 14 3 4 #"true"
1753 0 0 4 3 1 #" "
1754 0 0 14 3 5 #"false"
1755 0 0 4 3 1 #" "
1756 0 0 14 3 4 #"true"
1757 0 0 4 3 1 #" "
1758 0 0 14 3 5 #"false"
1759 0 0 4 3 1 #" "
1760 0 0 14 3 5 #"false"
1761 0 0 22 3 1 #")"
1762 0 0 4 29 1 #"\n"
1763 0 0 4 3 33 #" "
1764 0 0 22 3 1 #"("
1765 0 0 14 3 6 #"vector"
1766 0 0 4 3 1 #" "
1767 0 0 14 3 4 #"true"
1768 0 0 4 3 1 #" "
1769 0 0 14 3 5 #"false"
1770 0 0 4 3 1 #" "
1771 0 0 14 3 5 #"false"
1772 0 0 4 3 1 #" "
1773 0 0 14 3 4 #"true"
1774 0 0 4 3 1 #" "
1775 0 0 14 3 4 #"true"
1776 0 0 4 3 1 #" "
1777 0 0 14 3 4 #"true"
1778 0 0 22 3 1 #")"
1779 0 0 4 29 1 #"\n"
1780 0 0 4 3 33 #" "
1781 0 0 22 3 1 #"("
1782 0 0 14 3 6 #"vector"
1783 0 0 4 3 1 #" "
1784 0 0 14 3 5 #"false"
1785 0 0 4 3 1 #" "
1786 0 0 14 3 5 #"false"
1787 0 0 4 3 1 #" "
1788 0 0 14 3 4 #"true"
1789 0 0 4 3 1 #" "
1790 0 0 14 3 4 #"true"
1791 0 0 4 3 1 #" "
1792 0 0 14 3 4 #"true"
1793 0 0 4 3 1 #" "
1794 0 0 14 3 4 #"true"
1795 0 0 4 3 1 #" "
1796 0 0 14 3 4 #"true"
1797 0 0 22 3 2 #"))"
1798 0 0 4 29 1 #"\n"
1799 0 0 4 3 25 #" "
1800 0 0 22 3 1 #"("
1801 0 0 14 3 6 #"vector"
1802 0 0 4 3 1 #" "
1803 0 0 22 3 1 #"("
1804 0 0 14 3 6 #"vector"
1805 0 0 4 3 1 #" "
1806 0 0 14 3 4 #"true"
1807 0 0 22 3 1 #")"
1808 0 0 4 29 1 #"\n"
1809 0 0 4 3 33 #" "
1810 0 0 22 3 1 #"("
1811 0 0 14 3 6 #"vector"
1812 0 0 4 3 1 #" "
1813 0 0 14 3 4 #"true"
1814 0 0 4 3 1 #" "
1815 0 0 14 3 4 #"true"
1816 0 0 22 3 1 #")"
1817 0 0 4 29 1 #"\n"
1818 0 0 4 3 33 #" "
1819 0 0 22 3 1 #"("
1820 0 0 14 3 6 #"vector"
1821 0 0 4 3 1 #" "
1822 0 0 14 3 5 #"false"
1823 0 0 4 3 1 #" "
1824 0 0 14 3 4 #"true"
1825 0 0 4 3 1 #" "
1826 0 0 14 3 4 #"true"
1827 0 0 22 3 1 #")"
1828 0 0 4 29 1 #"\n"
1829 0 0 4 3 33 #" "
1830 0 0 22 3 1 #"("
1831 0 0 14 3 6 #"vector"
1832 0 0 4 3 1 #" "
1833 0 0 14 3 4 #"true"
1834 0 0 4 3 1 #" "
1835 0 0 14 3 5 #"false"
1836 0 0 4 3 1 #" "
1837 0 0 14 3 5 #"false"
1838 0 0 4 3 1 #" "
1839 0 0 14 3 4 #"true"
1840 0 0 22 3 1 #")"
1841 0 0 4 29 1 #"\n"
1842 0 0 4 3 33 #" "
1843 0 0 22 3 1 #"("
1844 0 0 14 3 6 #"vector"
1845 0 0 4 3 1 #" "
1846 0 0 14 3 4 #"true"
1847 0 0 4 3 1 #" "
1848 0 0 14 3 5 #"false"
1849 0 0 4 3 1 #" "
1850 0 0 14 3 4 #"true"
1851 0 0 4 3 1 #" "
1852 0 0 14 3 5 #"false"
1853 0 0 4 3 1 #" "
1854 0 0 14 3 5 #"false"
1855 0 0 22 3 1 #")"
1856 0 0 4 29 1 #"\n"
1857 0 0 4 3 33 #" "
1858 0 0 22 3 1 #"("
1859 0 0 14 3 6 #"vector"
1860 0 0 4 3 1 #" "
1861 0 0 14 3 4 #"true"
1862 0 0 4 3 1 #" "
1863 0 0 14 3 5 #"false"
1864 0 0 4 3 1 #" "
1865 0 0 14 3 5 #"false"
1866 0 0 4 3 1 #" "
1867 0 0 14 3 5 #"false"
1868 0 0 4 3 1 #" "
1869 0 0 14 3 4 #"true"
1870 0 0 4 3 1 #" "
1871 0 0 14 3 4 #"true"
1872 0 0 22 3 1 #")"
1873 0 0 4 29 1 #"\n"
1874 0 0 4 3 33 #" "
1875 0 0 22 3 1 #"("
1876 0 0 14 3 6 #"vector"
1877 0 0 4 3 1 #" "
1878 0 0 14 3 5 #"false"
1879 0 0 4 3 1 #" "
1880 0 0 14 3 5 #"false"
1881 0 0 4 3 1 #" "
1882 0 0 14 3 4 #"true"
1883 0 0 4 3 1 #" "
1884 0 0 14 3 5 #"false"
1885 0 0 4 3 1 #" "
1886 0 0 14 3 5 #"false"
1887 0 0 4 3 1 #" "
1888 0 0 14 3 5 #"false"
1889 0 0 4 3 1 #" "
1890 0 0 14 3 4 #"true"
1891 0 0 22 3 2 #"))"
1892 0 0 4 29 1 #"\n"
1893 0 0 4 3 25 #" "
1894 0 0 22 3 1 #"("
1895 0 0 14 3 6 #"vector"
1896 0 0 4 3 1 #" "
1897 0 0 22 3 1 #"("
1898 0 0 14 3 6 #"vector"
1899 0 0 4 3 1 #" "
1900 0 0 14 3 4 #"true"
1901 0 0 22 3 1 #")"
1902 0 0 4 29 1 #"\n"
1903 0 0 4 3 33 #" "
1904 0 0 22 3 1 #"("
1905 0 0 14 3 6 #"vector"
1906 0 0 4 3 1 #" "
1907 0 0 14 3 4 #"true"
1908 0 0 4 3 1 #" "
1909 0 0 14 3 4 #"true"
1910 0 0 22 3 1 #")"
1911 0 0 4 29 1 #"\n"
1912 0 0 4 3 33 #" "
1913 0 0 22 3 1 #"("
1914 0 0 14 3 6 #"vector"
1915 0 0 4 3 1 #" "
1916 0 0 14 3 5 #"false"
1917 0 0 4 3 1 #" "
1918 0 0 14 3 4 #"true"
1919 0 0 4 3 1 #" "
1920 0 0 14 3 4 #"true"
1921 0 0 22 3 1 #")"
1922 0 0 4 29 1 #"\n"
1923 0 0 4 3 33 #" "
1924 0 0 22 3 1 #"("
1925 0 0 14 3 6 #"vector"
1926 0 0 4 3 1 #" "
1927 0 0 14 3 4 #"true"
1928 0 0 4 3 1 #" "
1929 0 0 14 3 5 #"false"
1930 0 0 4 3 1 #" "
1931 0 0 14 3 5 #"false"
1932 0 0 4 3 1 #" "
1933 0 0 14 3 4 #"true"
1934 0 0 22 3 1 #")"
1935 0 0 4 29 1 #"\n"
1936 0 0 4 3 33 #" "
1937 0 0 22 3 1 #"("
1938 0 0 14 3 6 #"vector"
1939 0 0 4 3 1 #" "
1940 0 0 14 3 4 #"true"
1941 0 0 4 3 1 #" "
1942 0 0 14 3 5 #"false"
1943 0 0 4 3 1 #" "
1944 0 0 14 3 4 #"true"
1945 0 0 4 3 1 #" "
1946 0 0 14 3 5 #"false"
1947 0 0 4 3 1 #" "
1948 0 0 14 3 5 #"false"
1949 0 0 22 3 1 #")"
1950 0 0 4 29 1 #"\n"
1951 0 0 4 3 33 #" "
1952 0 0 22 3 1 #"("
1953 0 0 14 3 6 #"vector"
1954 0 0 4 3 1 #" "
1955 0 0 14 3 4 #"true"
1956 0 0 4 3 1 #" "
1957 0 0 14 3 4 #"true"
1958 0 0 4 3 1 #" "
1959 0 0 14 3 5 #"false"
1960 0 0 4 3 1 #" "
1961 0 0 14 3 5 #"false"
1962 0 0 4 3 1 #" "
1963 0 0 14 3 4 #"true"
1964 0 0 4 3 1 #" "
1965 0 0 14 3 4 #"true"
1966 0 0 22 3 1 #")"
1967 0 0 4 29 1 #"\n"
1968 0 0 4 3 33 #" "
1969 0 0 22 3 1 #"("
1970 0 0 14 3 6 #"vector"
1971 0 0 4 3 1 #" "
1972 0 0 14 3 5 #"false"
1973 0 0 4 3 1 #" "
1974 0 0 14 3 5 #"false"
1975 0 0 4 3 1 #" "
1976 0 0 14 3 4 #"true"
1977 0 0 4 3 1 #" "
1978 0 0 14 3 5 #"false"
1979 0 0 4 3 1 #" "
1980 0 0 14 3 5 #"false"
1981 0 0 4 3 1 #" "
1982 0 0 14 3 5 #"false"
1983 0 0 4 3 1 #" "
1984 0 0 14 3 4 #"true"
1985 0 0 22 3 4 #"))))"
1986 0 0 4 29 1 #"\n"
1987 0 0 4 29 1 #"\n"
1988 0 0 4 29 1 #"\n"
1989 0 0 22 3 1 #"("
1990 0 0 15 3 6 #"define"
1991 0 0 4 3 1 #" "
1992 0 0 14 3 10 #"trueboard2"
1993 0 0 4 3 1 #" "
1994 0 0 22 3 1 #"("
1995 0 0 14 3 4 #"list"
1996 0 0 4 3 1 #" "
1997 0 0 22 3 1 #"("
1998 0 0 14 3 6 #"vector"
1999 0 0 4 3 1 #" "
2000 0 0 22 3 1 #"("
2001 0 0 14 3 6 #"vector"
2002 0 0 4 3 1 #" "
2003 0 0 14 3 4 #"true"
2004 0 0 22 3 1 #")"
2005 0 0 4 29 1 #"\n"
2006 0 0 4 3 33 #" "
2007 0 0 22 3 1 #"("
2008 0 0 14 3 6 #"vector"
2009 0 0 4 3 1 #" "
2010 0 0 14 3 4 #"true"
2011 0 0 4 3 1 #" "
2012 0 0 14 3 4 #"true"
2013 0 0 22 3 1 #")"
2014 0 0 4 29 1 #"\n"
2015 0 0 4 3 33 #" "
2016 0 0 22 3 1 #"("
2017 0 0 14 3 6 #"vector"
2018 0 0 4 3 1 #" "
2019 0 0 14 3 4 #"true"
2020 0 0 4 3 1 #" "
2021 0 0 14 3 4 #"true"
2022 0 0 4 3 1 #" "
2023 0 0 14 3 4 #"true"
2024 0 0 22 3 1 #")"
2025 0 0 4 29 1 #"\n"
2026 0 0 4 3 33 #" "
2027 0 0 22 3 1 #"("
2028 0 0 14 3 6 #"vector"
2029 0 0 4 3 1 #" "
2030 0 0 14 3 4 #"true"
2031 0 0 4 3 1 #" "
2032 0 0 14 3 4 #"true"
2033 0 0 4 3 1 #" "
2034 0 0 14 3 4 #"true"
2035 0 0 4 3 1 #" "
2036 0 0 14 3 4 #"true"
2037 0 0 22 3 1 #")"
2038 0 0 4 29 1 #"\n"
2039 0 0 4 3 33 #" "
2040 0 0 22 3 1 #"("
2041 0 0 14 3 6 #"vector"
2042 0 0 4 3 1 #" "
2043 0 0 14 3 4 #"true"
2044 0 0 4 3 1 #" "
2045 0 0 14 3 4 #"true"
2046 0 0 4 3 1 #" "
2047 0 0 14 3 4 #"true"
2048 0 0 4 3 1 #" "
2049 0 0 14 3 4 #"true"
2050 0 0 4 3 1 #" "
2051 0 0 14 3 4 #"true"
2052 0 0 22 3 1 #")"
2053 0 0 4 29 1 #"\n"
2054 0 0 4 3 33 #" "
2055 0 0 22 3 1 #"("
2056 0 0 14 3 6 #"vector"
2057 0 0 4 3 1 #" "
2058 0 0 14 3 4 #"true"
2059 0 0 4 3 1 #" "
2060 0 0 14 3 4 #"true"
2061 0 0 4 3 1 #" "
2062 0 0 14 3 4 #"true"
2063 0 0 4 3 1 #" "
2064 0 0 14 3 4 #"true"
2065 0 0 4 3 1 #" "
2066 0 0 14 3 4 #"true"
2067 0 0 4 3 1 #" "
2068 0 0 14 3 4 #"true"
2069 0 0 22 3 1 #")"
2070 0 0 4 29 1 #"\n"
2071 0 0 4 3 33 #" "
2072 0 0 22 3 1 #"("
2073 0 0 14 3 6 #"vector"
2074 0 0 4 3 1 #" "
2075 0 0 14 3 4 #"true"
2076 0 0 4 3 1 #" "
2077 0 0 14 3 4 #"true"
2078 0 0 4 3 1 #" "
2079 0 0 14 3 5 #"false"
2080 0 0 4 3 1 #" "
2081 0 0 14 3 4 #"true"
2082 0 0 4 3 1 #" "
2083 0 0 14 3 5 #"false"
2084 0 0 4 3 1 #" "
2085 0 0 14 3 4 #"true"
2086 0 0 4 3 1 #" "
2087 0 0 14 3 4 #"true"
2088 0 0 22 3 2 #"))"
2089 0 0 4 29 1 #"\n"
2090 0 0 4 3 25 #" "
2091 0 0 22 3 1 #"("
2092 0 0 14 3 6 #"vector"
2093 0 0 4 3 1 #" "
2094 0 0 22 3 1 #"("
2095 0 0 14 3 6 #"vector"
2096 0 0 4 3 1 #" "
2097 0 0 14 3 4 #"true"
2098 0 0 22 3 1 #")"
2099 0 0 4 29 1 #"\n"
2100 0 0 4 3 33 #" "
2101 0 0 22 3 1 #"("
2102 0 0 14 3 6 #"vector"
2103 0 0 4 3 1 #" "
2104 0 0 14 3 4 #"true"
2105 0 0 4 3 1 #" "
2106 0 0 14 3 4 #"true"
2107 0 0 22 3 1 #")"
2108 0 0 4 29 1 #"\n"
2109 0 0 4 3 33 #" "
2110 0 0 22 3 1 #"("
2111 0 0 14 3 6 #"vector"
2112 0 0 4 3 1 #" "
2113 0 0 14 3 4 #"true"
2114 0 0 4 3 1 #" "
2115 0 0 14 3 4 #"true"
2116 0 0 4 3 1 #" "
2117 0 0 14 3 4 #"true"
2118 0 0 22 3 1 #")"
2119 0 0 4 29 1 #"\n"
2120 0 0 4 3 33 #" "
2121 0 0 22 3 1 #"("
2122 0 0 14 3 6 #"vector"
2123 0 0 4 3 1 #" "
2124 0 0 14 3 4 #"true"
2125 0 0 4 3 1 #" "
2126 0 0 14 3 4 #"true"
2127 0 0 4 3 1 #" "
2128 0 0 14 3 4 #"true"
2129 0 0 4 3 1 #" "
2130 0 0 14 3 4 #"true"
2131 0 0 22 3 1 #")"
2132 0 0 4 29 1 #"\n"
2133 0 0 4 3 33 #" "
2134 0 0 22 3 1 #"("
2135 0 0 14 3 6 #"vector"
2136 0 0 4 3 1 #" "
2137 0 0 14 3 4 #"true"
2138 0 0 4 3 1 #" "
2139 0 0 14 3 4 #"true"
2140 0 0 4 3 1 #" "
2141 0 0 14 3 4 #"true"
2142 0 0 4 3 1 #" "
2143 0 0 14 3 4 #"true"
2144 0 0 4 3 1 #" "
2145 0 0 14 3 5 #"false"
2146 0 0 22 3 1 #")"
2147 0 0 4 29 1 #"\n"
2148 0 0 4 3 33 #" "
2149 0 0 22 3 1 #"("
2150 0 0 14 3 6 #"vector"
2151 0 0 4 3 1 #" "
2152 0 0 14 3 4 #"true"
2153 0 0 4 3 1 #" "
2154 0 0 14 3 4 #"true"
2155 0 0 4 3 1 #" "
2156 0 0 14 3 4 #"true"
2157 0 0 4 3 1 #" "
2158 0 0 14 3 4 #"true"
2159 0 0 4 3 1 #" "
2160 0 0 14 3 4 #"true"
2161 0 0 4 3 1 #" "
2162 0 0 14 3 4 #"true"
2163 0 0 22 3 1 #")"
2164 0 0 4 29 1 #"\n"
2165 0 0 4 3 33 #" "
2166 0 0 22 3 1 #"("
2167 0 0 14 3 6 #"vector"
2168 0 0 4 3 1 #" "
2169 0 0 14 3 4 #"true"
2170 0 0 4 3 1 #" "
2171 0 0 14 3 4 #"true"
2172 0 0 4 3 1 #" "
2173 0 0 14 3 4 #"true"
2174 0 0 4 3 1 #" "
2175 0 0 14 3 4 #"true"
2176 0 0 4 3 1 #" "
2177 0 0 14 3 4 #"true"
2178 0 0 4 3 1 #" "
2179 0 0 14 3 4 #"true"
2180 0 0 4 3 1 #" "
2181 0 0 14 3 4 #"true"
2182 0 0 22 3 4 #"))))"
2183 0 0 4 29 1 #"\n"
2184 0 0 4 29 1 #"\n"
2185 0 0 22 3 1 #"("
2186 0 0 15 3 6 #"define"
2187 0 0 4 3 1 #" "
2188 0 0 14 3 10 #"trueboard3"
2189 0 0 4 3 1 #" "
2190 0 0 22 3 1 #"("
2191 0 0 14 3 4 #"list"
2192 0 0 4 3 1 #" "
2193 0 0 22 3 1 #"("
2194 0 0 14 3 6 #"vector"
2195 0 0 4 3 1 #" "
2196 0 0 22 3 1 #"("
2197 0 0 14 3 6 #"vector"
2198 0 0 4 3 1 #" "
2199 0 0 14 3 4 #"true"
2200 0 0 22 3 1 #")"
2201 0 0 4 29 1 #"\n"
2202 0 0 4 3 33 #" "
2203 0 0 22 3 1 #"("
2204 0 0 14 3 6 #"vector"
2205 0 0 4 3 1 #" "
2206 0 0 14 3 4 #"true"
2207 0 0 4 3 1 #" "
2208 0 0 14 3 4 #"true"
2209 0 0 22 3 1 #")"
2210 0 0 4 29 1 #"\n"
2211 0 0 4 3 33 #" "
2212 0 0 22 3 1 #"("
2213 0 0 14 3 6 #"vector"
2214 0 0 4 3 1 #" "
2215 0 0 14 3 5 #"false"
2216 0 0 4 3 1 #" "
2217 0 0 14 3 4 #"true"
2218 0 0 4 3 1 #" "
2219 0 0 14 3 4 #"true"
2220 0 0 22 3 1 #")"
2221 0 0 4 29 1 #"\n"
2222 0 0 4 3 33 #" "
2223 0 0 22 3 1 #"("
2224 0 0 14 3 6 #"vector"
2225 0 0 4 3 1 #" "
2226 0 0 14 3 4 #"true"
2227 0 0 4 3 1 #" "
2228 0 0 14 3 4 #"true"
2229 0 0 4 3 1 #" "
2230 0 0 14 3 4 #"true"
2231 0 0 4 3 1 #" "
2232 0 0 14 3 4 #"true"
2233 0 0 22 3 1 #")"
2234 0 0 4 29 1 #"\n"
2235 0 0 4 3 33 #" "
2236 0 0 22 3 1 #"("
2237 0 0 14 3 6 #"vector"
2238 0 0 4 3 1 #" "
2239 0 0 14 3 4 #"true"
2240 0 0 4 3 1 #" "
2241 0 0 14 3 4 #"true"
2242 0 0 4 3 1 #" "
2243 0 0 14 3 4 #"true"
2244 0 0 4 3 1 #" "
2245 0 0 14 3 4 #"true"
2246 0 0 4 3 1 #" "
2247 0 0 14 3 4 #"true"
2248 0 0 22 3 1 #")"
2249 0 0 4 29 1 #"\n"
2250 0 0 4 3 33 #" "
2251 0 0 22 3 1 #"("
2252 0 0 14 3 6 #"vector"
2253 0 0 4 3 1 #" "
2254 0 0 14 3 4 #"true"
2255 0 0 4 3 1 #" "
2256 0 0 14 3 4 #"true"
2257 0 0 4 3 1 #" "
2258 0 0 14 3 4 #"true"
2259 0 0 4 3 1 #" "
2260 0 0 14 3 4 #"true"
2261 0 0 4 3 1 #" "
2262 0 0 14 3 4 #"true"
2263 0 0 4 3 1 #" "
2264 0 0 14 3 4 #"true"
2265 0 0 22 3 1 #")"
2266 0 0 4 29 1 #"\n"
2267 0 0 4 3 33 #" "
2268 0 0 22 3 1 #"("
2269 0 0 14 3 6 #"vector"
2270 0 0 4 3 1 #" "
2271 0 0 14 3 4 #"true"
2272 0 0 4 3 1 #" "
2273 0 0 14 3 4 #"true"
2274 0 0 4 3 1 #" "
2275 0 0 14 3 5 #"false"
2276 0 0 4 3 1 #" "
2277 0 0 14 3 4 #"true"
2278 0 0 4 3 1 #" "
2279 0 0 14 3 5 #"false"
2280 0 0 4 3 1 #" "
2281 0 0 14 3 4 #"true"
2282 0 0 4 3 1 #" "
2283 0 0 14 3 4 #"true"
2284 0 0 22 3 2 #"))"
2285 0 0 4 29 1 #"\n"
2286 0 0 4 3 25 #" "
2287 0 0 22 3 1 #"("
2288 0 0 14 3 6 #"vector"
2289 0 0 4 3 1 #" "
2290 0 0 22 3 1 #"("
2291 0 0 14 3 6 #"vector"
2292 0 0 4 3 1 #" "
2293 0 0 14 3 4 #"true"
2294 0 0 22 3 1 #")"
2295 0 0 4 29 1 #"\n"
2296 0 0 4 3 33 #" "
2297 0 0 22 3 1 #"("
2298 0 0 14 3 6 #"vector"
2299 0 0 4 3 1 #" "
2300 0 0 14 3 4 #"true"
2301 0 0 4 3 1 #" "
2302 0 0 14 3 4 #"true"
2303 0 0 22 3 1 #")"
2304 0 0 4 29 1 #"\n"
2305 0 0 4 3 33 #" "
2306 0 0 22 3 1 #"("
2307 0 0 14 3 6 #"vector"
2308 0 0 4 3 1 #" "
2309 0 0 14 3 4 #"true"
2310 0 0 4 3 1 #" "
2311 0 0 14 3 4 #"true"
2312 0 0 4 3 1 #" "
2313 0 0 14 3 5 #"false"
2314 0 0 22 3 1 #")"
2315 0 0 4 29 1 #"\n"
2316 0 0 4 3 33 #" "
2317 0 0 22 3 1 #"("
2318 0 0 14 3 6 #"vector"
2319 0 0 4 3 1 #" "
2320 0 0 14 3 4 #"true"
2321 0 0 4 3 1 #" "
2322 0 0 14 3 4 #"true"
2323 0 0 4 3 1 #" "
2324 0 0 14 3 4 #"true"
2325 0 0 4 3 1 #" "
2326 0 0 14 3 4 #"true"
2327 0 0 22 3 1 #")"
2328 0 0 4 29 1 #"\n"
2329 0 0 4 3 33 #" "
2330 0 0 22 3 1 #"("
2331 0 0 14 3 6 #"vector"
2332 0 0 4 3 1 #" "
2333 0 0 14 3 4 #"true"
2334 0 0 4 3 1 #" "
2335 0 0 14 3 4 #"true"
2336 0 0 4 3 1 #" "
2337 0 0 14 3 4 #"true"
2338 0 0 4 3 1 #" "
2339 0 0 14 3 4 #"true"
2340 0 0 4 3 1 #" "
2341 0 0 14 3 5 #"false"
2342 0 0 22 3 1 #")"
2343 0 0 4 29 1 #"\n"
2344 0 0 4 3 33 #" "
2345 0 0 22 3 1 #"("
2346 0 0 14 3 6 #"vector"
2347 0 0 4 3 1 #" "
2348 0 0 14 3 4 #"true"
2349 0 0 4 3 1 #" "
2350 0 0 14 3 4 #"true"
2351 0 0 4 3 1 #" "
2352 0 0 14 3 4 #"true"
2353 0 0 4 3 1 #" "
2354 0 0 14 3 4 #"true"
2355 0 0 4 3 1 #" "
2356 0 0 14 3 4 #"true"
2357 0 0 4 3 1 #" "
2358 0 0 14 3 4 #"true"
2359 0 0 22 3 1 #")"
2360 0 0 4 29 1 #"\n"
2361 0 0 4 3 33 #" "
2362 0 0 22 3 1 #"("
2363 0 0 14 3 6 #"vector"
2364 0 0 4 3 1 #" "
2365 0 0 14 3 4 #"true"
2366 0 0 4 3 1 #" "
2367 0 0 14 3 4 #"true"
2368 0 0 4 3 1 #" "
2369 0 0 14 3 4 #"true"
2370 0 0 4 3 1 #" "
2371 0 0 14 3 4 #"true"
2372 0 0 4 3 1 #" "
2373 0 0 14 3 4 #"true"
2374 0 0 4 3 1 #" "
2375 0 0 14 3 4 #"true"
2376 0 0 4 3 1 #" "
2377 0 0 14 3 4 #"true"
2378 0 0 22 3 4 #"))))"
2379 0 0 4 29 1 #"\n"
2380 0 0 22 3 1 #"("
2381 0 0 15 3 6 #"define"
2382 0 0 4 3 1 #" "
2383 0 0 14 3 10 #"trueboard4"
2384 0 0 4 3 1 #" "
2385 0 0 22 3 1 #"("
2386 0 0 14 3 4 #"list"
2387 0 0 4 3 1 #" "
2388 0 0 22 3 1 #"("
2389 0 0 14 3 6 #"vector"
2390 0 0 4 3 1 #" "
2391 0 0 22 3 1 #"("
2392 0 0 14 3 6 #"vector"
2393 0 0 4 3 1 #" "
2394 0 0 14 3 4 #"true"
2395 0 0 22 3 1 #")"
2396 0 0 4 29 1 #"\n"
2397 0 0 4 3 33 #" "
2398 0 0 22 3 1 #"("
2399 0 0 14 3 6 #"vector"
2400 0 0 4 3 1 #" "
2401 0 0 14 3 4 #"true"
2402 0 0 4 3 1 #" "
2403 0 0 14 3 4 #"true"
2404 0 0 22 3 1 #")"
2405 0 0 4 29 1 #"\n"
2406 0 0 4 3 33 #" "
2407 0 0 22 3 1 #"("
2408 0 0 14 3 6 #"vector"
2409 0 0 4 3 1 #" "
2410 0 0 14 3 5 #"false"
2411 0 0 4 3 1 #" "
2412 0 0 14 3 4 #"true"
2413 0 0 4 3 1 #" "
2414 0 0 14 3 4 #"true"
2415 0 0 22 3 1 #")"
2416 0 0 4 29 1 #"\n"
2417 0 0 4 3 33 #" "
2418 0 0 22 3 1 #"("
2419 0 0 14 3 6 #"vector"
2420 0 0 4 3 1 #" "
2421 0 0 14 3 4 #"true"
2422 0 0 4 3 1 #" "
2423 0 0 14 3 4 #"true"
2424 0 0 4 3 1 #" "
2425 0 0 14 3 4 #"true"
2426 0 0 4 3 1 #" "
2427 0 0 14 3 4 #"true"
2428 0 0 22 3 1 #")"
2429 0 0 4 29 1 #"\n"
2430 0 0 4 3 33 #" "
2431 0 0 22 3 1 #"("
2432 0 0 14 3 6 #"vector"
2433 0 0 4 3 1 #" "
2434 0 0 14 3 4 #"true"
2435 0 0 4 3 1 #" "
2436 0 0 14 3 4 #"true"
2437 0 0 4 3 1 #" "
2438 0 0 14 3 4 #"true"
2439 0 0 4 3 1 #" "
2440 0 0 14 3 4 #"true"
2441 0 0 4 3 1 #" "
2442 0 0 14 3 4 #"true"
2443 0 0 22 3 1 #")"
2444 0 0 4 29 1 #"\n"
2445 0 0 4 3 33 #" "
2446 0 0 22 3 1 #"("
2447 0 0 14 3 6 #"vector"
2448 0 0 4 3 1 #" "
2449 0 0 14 3 4 #"true"
2450 0 0 4 3 1 #" "
2451 0 0 14 3 4 #"true"
2452 0 0 4 3 1 #" "
2453 0 0 14 3 4 #"true"
2454 0 0 4 3 1 #" "
2455 0 0 14 3 4 #"true"
2456 0 0 4 3 1 #" "
2457 0 0 14 3 4 #"true"
2458 0 0 4 3 1 #" "
2459 0 0 14 3 4 #"true"
2460 0 0 22 3 1 #")"
2461 0 0 4 29 1 #"\n"
2462 0 0 4 3 33 #" "
2463 0 0 22 3 1 #"("
2464 0 0 14 3 6 #"vector"
2465 0 0 4 3 1 #" "
2466 0 0 14 3 4 #"true"
2467 0 0 4 3 1 #" "
2468 0 0 14 3 4 #"true"
2469 0 0 4 3 1 #" "
2470 0 0 14 3 5 #"false"
2471 0 0 4 3 1 #" "
2472 0 0 14 3 4 #"true"
2473 0 0 4 3 1 #" "
2474 0 0 14 3 5 #"false"
2475 0 0 4 3 1 #" "
2476 0 0 14 3 4 #"true"
2477 0 0 4 3 1 #" "
2478 0 0 14 3 4 #"true"
2479 0 0 22 3 2 #"))"
2480 0 0 4 29 1 #"\n"
2481 0 0 4 3 25 #" "
2482 0 0 22 3 1 #"("
2483 0 0 14 3 6 #"vector"
2484 0 0 4 3 1 #" "
2485 0 0 22 3 1 #"("
2486 0 0 14 3 6 #"vector"
2487 0 0 4 3 1 #" "
2488 0 0 14 3 4 #"true"
2489 0 0 22 3 1 #")"
2490 0 0 4 29 1 #"\n"
2491 0 0 4 3 33 #" "
2492 0 0 22 3 1 #"("
2493 0 0 14 3 6 #"vector"
2494 0 0 4 3 1 #" "
2495 0 0 14 3 4 #"true"
2496 0 0 4 3 1 #" "
2497 0 0 14 3 4 #"true"
2498 0 0 22 3 1 #")"
2499 0 0 4 29 1 #"\n"
2500 0 0 4 3 33 #" "
2501 0 0 22 3 1 #"("
2502 0 0 14 3 6 #"vector"
2503 0 0 4 3 1 #" "
2504 0 0 14 3 4 #"true"
2505 0 0 4 3 1 #" "
2506 0 0 14 3 4 #"true"
2507 0 0 4 3 1 #" "
2508 0 0 14 3 5 #"false"
2509 0 0 22 3 1 #")"
2510 0 0 4 29 1 #"\n"
2511 0 0 4 3 33 #" "
2512 0 0 22 3 1 #"("
2513 0 0 14 3 6 #"vector"
2514 0 0 4 3 1 #" "
2515 0 0 14 3 4 #"true"
2516 0 0 4 3 1 #" "
2517 0 0 14 3 4 #"true"
2518 0 0 4 3 1 #" "
2519 0 0 14 3 4 #"true"
2520 0 0 4 3 1 #" "
2521 0 0 14 3 4 #"true"
2522 0 0 22 3 1 #")"
2523 0 0 4 29 1 #"\n"
2524 0 0 4 3 33 #" "
2525 0 0 22 3 1 #"("
2526 0 0 14 3 6 #"vector"
2527 0 0 4 3 1 #" "
2528 0 0 14 3 5 #"false"
2529 0 0 4 3 1 #" "
2530 0 0 14 3 4 #"true"
2531 0 0 4 3 1 #" "
2532 0 0 14 3 4 #"true"
2533 0 0 4 3 1 #" "
2534 0 0 14 3 4 #"true"
2535 0 0 4 3 1 #" "
2536 0 0 14 3 5 #"false"
2537 0 0 22 3 1 #")"
2538 0 0 4 29 1 #"\n"
2539 0 0 4 3 33 #" "
2540 0 0 22 3 1 #"("
2541 0 0 14 3 6 #"vector"
2542 0 0 4 3 1 #" "
2543 0 0 14 3 4 #"true"
2544 0 0 4 3 1 #" "
2545 0 0 14 3 4 #"true"
2546 0 0 4 3 1 #" "
2547 0 0 14 3 4 #"true"
2548 0 0 4 3 1 #" "
2549 0 0 14 3 4 #"true"
2550 0 0 4 3 1 #" "
2551 0 0 14 3 4 #"true"
2552 0 0 4 3 1 #" "
2553 0 0 14 3 4 #"true"
2554 0 0 22 3 1 #")"
2555 0 0 4 29 1 #"\n"
2556 0 0 4 3 33 #" "
2557 0 0 22 3 1 #"("
2558 0 0 14 3 6 #"vector"
2559 0 0 4 3 1 #" "
2560 0 0 14 3 4 #"true"
2561 0 0 4 3 1 #" "
2562 0 0 14 3 4 #"true"
2563 0 0 4 3 1 #" "
2564 0 0 14 3 4 #"true"
2565 0 0 4 3 1 #" "
2566 0 0 14 3 4 #"true"
2567 0 0 4 3 1 #" "
2568 0 0 14 3 4 #"true"
2569 0 0 4 3 1 #" "
2570 0 0 14 3 4 #"true"
2571 0 0 4 3 1 #" "
2572 0 0 14 3 4 #"true"
2573 0 0 22 3 4 #"))))"
2574 0 0 4 29 1 #"\n"
2575 0 0 4 29 1 #"\n"
2576 0 0 22 3 1 #"("
2577 0 0 15 3 6 #"define"
2578 0 0 4 3 1 #" "
2579 0 0 14 3 11 #"falseboard2"
2580 0 0 4 3 1 #" "
2581 0 0 22 3 1 #"("
2582 0 0 14 3 4 #"list"
2583 0 0 4 3 1 #" "
2584 0 0 22 3 1 #"("
2585 0 0 14 3 6 #"vector"
2586 0 0 4 3 1 #" "
2587 0 0 22 3 1 #"("
2588 0 0 14 3 6 #"vector"
2589 0 0 4 3 1 #" "
2590 0 0 14 3 4 #"true"
2591 0 0 22 3 1 #")"
2592 0 0 4 29 1 #"\n"
2593 0 0 4 3 34 #" "
2594 0 0 22 3 1 #"("
2595 0 0 14 3 6 #"vector"
2596 0 0 4 3 1 #" "
2597 0 0 14 3 4 #"true"
2598 0 0 4 3 1 #" "
2599 0 0 14 3 4 #"true"
2600 0 0 22 3 1 #")"
2601 0 0 4 29 1 #"\n"
2602 0 0 4 3 34 #" "
2603 0 0 22 3 1 #"("
2604 0 0 14 3 6 #"vector"
2605 0 0 4 3 1 #" "
2606 0 0 14 3 4 #"true"
2607 0 0 4 3 1 #" "
2608 0 0 14 3 4 #"true"
2609 0 0 4 3 1 #" "
2610 0 0 14 3 4 #"true"
2611 0 0 22 3 1 #")"
2612 0 0 4 29 1 #"\n"
2613 0 0 4 3 34 #" "
2614 0 0 22 3 1 #"("
2615 0 0 14 3 6 #"vector"
2616 0 0 4 3 1 #" "
2617 0 0 14 3 4 #"true"
2618 0 0 4 3 1 #" "
2619 0 0 14 3 4 #"true"
2620 0 0 4 3 1 #" "
2621 0 0 14 3 4 #"true"
2622 0 0 4 3 1 #" "
2623 0 0 14 3 4 #"true"
2624 0 0 22 3 1 #")"
2625 0 0 4 29 1 #"\n"
2626 0 0 4 3 34 #" "
2627 0 0 22 3 1 #"("
2628 0 0 14 3 6 #"vector"
2629 0 0 4 3 1 #" "
2630 0 0 14 3 4 #"true"
2631 0 0 4 3 1 #" "
2632 0 0 14 3 4 #"true"
2633 0 0 4 3 1 #" "
2634 0 0 14 3 5 #"false"
2635 0 0 4 3 1 #" "
2636 0 0 14 3 4 #"true"
2637 0 0 4 3 1 #" "
2638 0 0 14 3 4 #"true"
2639 0 0 22 3 1 #")"
2640 0 0 4 29 1 #"\n"
2641 0 0 4 3 34 #" "
2642 0 0 22 3 1 #"("
2643 0 0 14 3 6 #"vector"
2644 0 0 4 3 1 #" "
2645 0 0 14 3 4 #"true"
2646 0 0 4 3 1 #" "
2647 0 0 14 3 4 #"true"
2648 0 0 4 3 1 #" "
2649 0 0 14 3 4 #"true"
2650 0 0 4 3 1 #" "
2651 0 0 14 3 4 #"true"
2652 0 0 4 3 1 #" "
2653 0 0 14 3 4 #"true"
2654 0 0 4 3 1 #" "
2655 0 0 14 3 4 #"true"
2656 0 0 22 3 1 #")"
2657 0 0 4 29 1 #"\n"
2658 0 0 4 3 34 #" "
2659 0 0 22 3 1 #"("
2660 0 0 14 3 6 #"vector"
2661 0 0 4 3 1 #" "
2662 0 0 14 3 4 #"true"
2663 0 0 4 3 1 #" "
2664 0 0 14 3 4 #"true"
2665 0 0 4 3 1 #" "
2666 0 0 14 3 4 #"true"
2667 0 0 4 3 1 #" "
2668 0 0 14 3 4 #"true"
2669 0 0 4 3 1 #" "
2670 0 0 14 3 4 #"true"
2671 0 0 4 3 1 #" "
2672 0 0 14 3 4 #"true"
2673 0 0 4 3 1 #" "
2674 0 0 14 3 4 #"true"
2675 0 0 22 3 2 #"))"
2676 0 0 4 29 1 #"\n"
2677 0 0 4 3 26 #" "
2678 0 0 22 3 1 #"("
2679 0 0 14 3 6 #"vector"
2680 0 0 4 3 1 #" "
2681 0 0 22 3 1 #"("
2682 0 0 14 3 6 #"vector"
2683 0 0 4 3 1 #" "
2684 0 0 14 3 4 #"true"
2685 0 0 22 3 1 #")"
2686 0 0 4 29 1 #"\n"
2687 0 0 4 3 34 #" "
2688 0 0 22 3 1 #"("
2689 0 0 14 3 6 #"vector"
2690 0 0 4 3 1 #" "
2691 0 0 14 3 4 #"true"
2692 0 0 4 3 1 #" "
2693 0 0 14 3 4 #"true"
2694 0 0 22 3 1 #")"
2695 0 0 4 29 1 #"\n"
2696 0 0 4 3 34 #" "
2697 0 0 22 3 1 #"("
2698 0 0 14 3 6 #"vector"
2699 0 0 4 3 1 #" "
2700 0 0 14 3 4 #"true"
2701 0 0 4 3 1 #" "
2702 0 0 14 3 4 #"true"
2703 0 0 4 3 1 #" "
2704 0 0 14 3 4 #"true"
2705 0 0 22 3 1 #")"
2706 0 0 4 29 1 #"\n"
2707 0 0 4 3 34 #" "
2708 0 0 22 3 1 #"("
2709 0 0 14 3 6 #"vector"
2710 0 0 4 3 1 #" "
2711 0 0 14 3 4 #"true"
2712 0 0 4 3 1 #" "
2713 0 0 14 3 4 #"true"
2714 0 0 4 3 1 #" "
2715 0 0 14 3 4 #"true"
2716 0 0 4 3 1 #" "
2717 0 0 14 3 4 #"true"
2718 0 0 22 3 1 #")"
2719 0 0 4 29 1 #"\n"
2720 0 0 4 3 34 #" "
2721 0 0 22 3 1 #"("
2722 0 0 14 3 6 #"vector"
2723 0 0 4 3 1 #" "
2724 0 0 14 3 4 #"true"
2725 0 0 4 3 1 #" "
2726 0 0 14 3 4 #"true"
2727 0 0 4 3 1 #" "
2728 0 0 14 3 5 #"false"
2729 0 0 4 3 1 #" "
2730 0 0 14 3 4 #"true"
2731 0 0 4 3 1 #" "
2732 0 0 14 3 4 #"true"
2733 0 0 22 3 1 #")"
2734 0 0 4 29 1 #"\n"
2735 0 0 4 3 34 #" "
2736 0 0 22 3 1 #"("
2737 0 0 14 3 6 #"vector"
2738 0 0 4 3 1 #" "
2739 0 0 14 3 4 #"true"
2740 0 0 4 3 1 #" "
2741 0 0 14 3 4 #"true"
2742 0 0 4 3 1 #" "
2743 0 0 14 3 4 #"true"
2744 0 0 4 3 1 #" "
2745 0 0 14 3 4 #"true"
2746 0 0 4 3 1 #" "
2747 0 0 14 3 4 #"true"
2748 0 0 4 3 1 #" "
2749 0 0 14 3 4 #"true"
2750 0 0 22 3 1 #")"
2751 0 0 4 29 1 #"\n"
2752 0 0 4 3 34 #" "
2753 0 0 22 3 1 #"("
2754 0 0 14 3 6 #"vector"
2755 0 0 4 3 1 #" "
2756 0 0 14 3 4 #"true"
2757 0 0 4 3 1 #" "
2758 0 0 14 3 4 #"true"
2759 0 0 4 3 1 #" "
2760 0 0 14 3 5 #"false"
2761 0 0 4 3 1 #" "
2762 0 0 14 3 4 #"true"
2763 0 0 4 3 1 #" "
2764 0 0 14 3 4 #"true"
2765 0 0 4 3 1 #" "
2766 0 0 14 3 4 #"true"
2767 0 0 4 3 1 #" "
2768 0 0 14 3 5 #"false"
2769 0 0 22 3 2 #"))"
2770 0 0 4 29 1 #"\n"
2771 0 0 4 3 26 #" "
2772 0 0 22 3 1 #"("
2773 0 0 14 3 6 #"vector"
2774 0 0 4 3 1 #" "
2775 0 0 22 3 1 #"("
2776 0 0 14 3 6 #"vector"
2777 0 0 4 3 1 #" "
2778 0 0 14 3 4 #"true"
2779 0 0 22 3 1 #")"
2780 0 0 4 29 1 #"\n"
2781 0 0 4 3 34 #" "
2782 0 0 22 3 1 #"("
2783 0 0 14 3 6 #"vector"
2784 0 0 4 3 1 #" "
2785 0 0 14 3 4 #"true"
2786 0 0 4 3 1 #" "
2787 0 0 14 3 4 #"true"
2788 0 0 22 3 1 #")"
2789 0 0 4 29 1 #"\n"
2790 0 0 4 3 34 #" "
2791 0 0 22 3 1 #"("
2792 0 0 14 3 6 #"vector"
2793 0 0 4 3 1 #" "
2794 0 0 14 3 4 #"true"
2795 0 0 4 3 1 #" "
2796 0 0 14 3 4 #"true"
2797 0 0 4 3 1 #" "
2798 0 0 14 3 4 #"true"
2799 0 0 22 3 1 #")"
2800 0 0 4 29 1 #"\n"
2801 0 0 4 3 34 #" "
2802 0 0 22 3 1 #"("
2803 0 0 14 3 6 #"vector"
2804 0 0 4 3 1 #" "
2805 0 0 14 3 4 #"true"
2806 0 0 4 3 1 #" "
2807 0 0 14 3 4 #"true"
2808 0 0 4 3 1 #" "
2809 0 0 14 3 4 #"true"
2810 0 0 4 3 1 #" "
2811 0 0 14 3 4 #"true"
2812 0 0 22 3 1 #")"
2813 0 0 4 29 1 #"\n"
2814 0 0 4 3 34 #" "
2815 0 0 22 3 1 #"("
2816 0 0 14 3 6 #"vector"
2817 0 0 4 3 1 #" "
2818 0 0 14 3 4 #"true"
2819 0 0 4 3 1 #" "
2820 0 0 14 3 5 #"false"
2821 0 0 4 3 1 #" "
2822 0 0 14 3 4 #"true"
2823 0 0 4 3 1 #" "
2824 0 0 14 3 4 #"true"
2825 0 0 4 3 1 #" "
2826 0 0 14 3 4 #"true"
2827 0 0 22 3 1 #")"
2828 0 0 4 29 1 #"\n"
2829 0 0 4 3 34 #" "
2830 0 0 22 3 1 #"("
2831 0 0 14 3 6 #"vector"
2832 0 0 4 3 1 #" "
2833 0 0 14 3 4 #"true"
2834 0 0 4 3 1 #" "
2835 0 0 14 3 4 #"true"
2836 0 0 4 3 1 #" "
2837 0 0 14 3 4 #"true"
2838 0 0 4 3 1 #" "
2839 0 0 14 3 4 #"true"
2840 0 0 4 3 1 #" "
2841 0 0 14 3 4 #"true"
2842 0 0 4 3 1 #" "
2843 0 0 14 3 4 #"true"
2844 0 0 22 3 1 #")"
2845 0 0 4 29 1 #"\n"
2846 0 0 4 3 34 #" "
2847 0 0 22 3 1 #"("
2848 0 0 14 3 6 #"vector"
2849 0 0 4 3 1 #" "
2850 0 0 14 3 4 #"true"
2851 0 0 4 3 1 #" "
2852 0 0 14 3 4 #"true"
2853 0 0 4 3 1 #" "
2854 0 0 14 3 4 #"true"
2855 0 0 4 3 1 #" "
2856 0 0 14 3 4 #"true"
2857 0 0 4 3 1 #" "
2858 0 0 14 3 4 #"true"
2859 0 0 4 3 1 #" "
2860 0 0 14 3 5 #"false"
2861 0 0 4 3 1 #" "
2862 0 0 14 3 4 #"true"
2863 0 0 22 3 2 #"))"
2864 0 0 4 29 1 #"\n"
2865 0 0 4 3 26 #" "
2866 0 0 22 3 1 #"("
2867 0 0 14 3 6 #"vector"
2868 0 0 4 3 1 #" "
2869 0 0 22 3 1 #"("
2870 0 0 14 3 6 #"vector"
2871 0 0 4 3 1 #" "
2872 0 0 14 3 4 #"true"
2873 0 0 22 3 1 #")"
2874 0 0 4 29 1 #"\n"
2875 0 0 4 3 34 #" "
2876 0 0 22 3 1 #"("
2877 0 0 14 3 6 #"vector"
2878 0 0 4 3 1 #" "
2879 0 0 14 3 4 #"true"
2880 0 0 4 3 1 #" "
2881 0 0 14 3 4 #"true"
2882 0 0 22 3 1 #")"
2883 0 0 4 29 1 #"\n"
2884 0 0 4 3 34 #" "
2885 0 0 22 3 1 #"("
2886 0 0 14 3 6 #"vector"
2887 0 0 4 3 1 #" "
2888 0 0 14 3 4 #"true"
2889 0 0 4 3 1 #" "
2890 0 0 14 3 4 #"true"
2891 0 0 4 3 1 #" "
2892 0 0 14 3 4 #"true"
2893 0 0 22 3 1 #")"
2894 0 0 4 29 1 #"\n"
2895 0 0 4 3 34 #" "
2896 0 0 22 3 1 #"("
2897 0 0 14 3 6 #"vector"
2898 0 0 4 3 1 #" "
2899 0 0 14 3 4 #"true"
2900 0 0 4 3 1 #" "
2901 0 0 14 3 4 #"true"
2902 0 0 4 3 1 #" "
2903 0 0 14 3 4 #"true"
2904 0 0 4 3 1 #" "
2905 0 0 14 3 4 #"true"
2906 0 0 22 3 1 #")"
2907 0 0 4 29 1 #"\n"
2908 0 0 4 3 34 #" "
2909 0 0 22 3 1 #"("
2910 0 0 14 3 6 #"vector"
2911 0 0 4 3 1 #" "
2912 0 0 14 3 4 #"true"
2913 0 0 4 3 1 #" "
2914 0 0 14 3 4 #"true"
2915 0 0 4 3 1 #" "
2916 0 0 14 3 4 #"true"
2917 0 0 4 3 1 #" "
2918 0 0 14 3 4 #"true"
2919 0 0 4 3 1 #" "
2920 0 0 14 3 4 #"true"
2921 0 0 22 3 1 #")"
2922 0 0 4 29 1 #"\n"
2923 0 0 4 3 34 #" "
2924 0 0 22 3 1 #"("
2925 0 0 14 3 6 #"vector"
2926 0 0 4 3 1 #" "
2927 0 0 14 3 4 #"true"
2928 0 0 4 3 1 #" "
2929 0 0 14 3 4 #"true"
2930 0 0 4 3 1 #" "
2931 0 0 14 3 4 #"true"
2932 0 0 4 3 1 #" "
2933 0 0 14 3 4 #"true"
2934 0 0 4 3 1 #" "
2935 0 0 14 3 5 #"false"
2936 0 0 4 3 1 #" "
2937 0 0 14 3 4 #"true"
2938 0 0 22 3 1 #")"
2939 0 0 4 29 1 #"\n"
2940 0 0 4 3 34 #" "
2941 0 0 22 3 1 #"("
2942 0 0 14 3 6 #"vector"
2943 0 0 4 3 1 #" "
2944 0 0 14 3 4 #"true"
2945 0 0 4 3 1 #" "
2946 0 0 14 3 5 #"false"
2947 0 0 4 3 1 #" "
2948 0 0 14 3 4 #"true"
2949 0 0 4 3 1 #" "
2950 0 0 14 3 4 #"true"
2951 0 0 4 3 1 #" "
2952 0 0 14 3 4 #"true"
2953 0 0 4 3 1 #" "
2954 0 0 14 3 4 #"true"
2955 0 0 4 3 1 #" "
2956 0 0 14 3 4 #"true"
2957 0 0 22 3 4 #"))))"
2958 0 0 4 29 1 #"\n"
2959 0 0 22 3 1 #"("
2960 0 0 15 3 6 #"define"
2961 0 0 4 3 1 #" "
2962 0 0 14 3 11 #"falseboard3"
2963 0 0 4 3 1 #" "
2964 0 0 22 3 1 #"("
2965 0 0 14 3 4 #"list"
2966 0 0 4 3 1 #" "
2967 0 0 22 3 1 #"("
2968 0 0 14 3 6 #"vector"
2969 0 0 4 3 1 #" "
2970 0 0 22 3 1 #"("
2971 0 0 14 3 6 #"vector"
2972 0 0 4 3 1 #" "
2973 0 0 14 3 4 #"true"
2974 0 0 22 3 1 #")"
2975 0 0 4 29 1 #"\n"
2976 0 0 4 3 34 #" "
2977 0 0 22 3 1 #"("
2978 0 0 14 3 6 #"vector"
2979 0 0 4 3 1 #" "
2980 0 0 14 3 4 #"true"
2981 0 0 4 3 1 #" "
2982 0 0 14 3 4 #"true"
2983 0 0 22 3 1 #")"
2984 0 0 4 29 1 #"\n"
2985 0 0 4 3 34 #" "
2986 0 0 22 3 1 #"("
2987 0 0 14 3 6 #"vector"
2988 0 0 4 3 1 #" "
2989 0 0 14 3 4 #"true"
2990 0 0 4 3 1 #" "
2991 0 0 14 3 4 #"true"
2992 0 0 4 3 1 #" "
2993 0 0 14 3 4 #"true"
2994 0 0 22 3 1 #")"
2995 0 0 4 29 1 #"\n"
2996 0 0 4 3 34 #" "
2997 0 0 22 3 1 #"("
2998 0 0 14 3 6 #"vector"
2999 0 0 4 3 1 #" "
3000 0 0 14 3 4 #"true"
3001 0 0 4 3 1 #" "
3002 0 0 14 3 4 #"true"
3003 0 0 4 3 1 #" "
3004 0 0 14 3 4 #"true"
3005 0 0 4 3 1 #" "
3006 0 0 14 3 4 #"true"
3007 0 0 22 3 1 #")"
3008 0 0 4 29 1 #"\n"
3009 0 0 4 3 34 #" "
3010 0 0 22 3 1 #"("
3011 0 0 14 3 6 #"vector"
3012 0 0 4 3 1 #" "
3013 0 0 14 3 4 #"true"
3014 0 0 4 3 1 #" "
3015 0 0 14 3 4 #"true"
3016 0 0 4 3 1 #" "
3017 0 0 14 3 5 #"false"
3018 0 0 4 3 1 #" "
3019 0 0 14 3 4 #"true"
3020 0 0 4 3 1 #" "
3021 0 0 14 3 4 #"true"
3022 0 0 22 3 1 #")"
3023 0 0 4 29 1 #"\n"
3024 0 0 4 3 34 #" "
3025 0 0 22 3 1 #"("
3026 0 0 14 3 6 #"vector"
3027 0 0 4 3 1 #" "
3028 0 0 14 3 4 #"true"
3029 0 0 4 3 1 #" "
3030 0 0 14 3 4 #"true"
3031 0 0 4 3 1 #" "
3032 0 0 14 3 4 #"true"
3033 0 0 4 3 1 #" "
3034 0 0 14 3 4 #"true"
3035 0 0 4 3 1 #" "
3036 0 0 14 3 4 #"true"
3037 0 0 4 3 1 #" "
3038 0 0 14 3 4 #"true"
3039 0 0 22 3 1 #")"
3040 0 0 4 29 1 #"\n"
3041 0 0 4 3 34 #" "
3042 0 0 22 3 1 #"("
3043 0 0 14 3 6 #"vector"
3044 0 0 4 3 1 #" "
3045 0 0 14 3 4 #"true"
3046 0 0 4 3 1 #" "
3047 0 0 14 3 4 #"true"
3048 0 0 4 3 1 #" "
3049 0 0 14 3 4 #"true"
3050 0 0 4 3 1 #" "
3051 0 0 14 3 4 #"true"
3052 0 0 4 3 1 #" "
3053 0 0 14 3 4 #"true"
3054 0 0 4 3 1 #" "
3055 0 0 14 3 4 #"true"
3056 0 0 4 3 1 #" "
3057 0 0 14 3 4 #"true"
3058 0 0 22 3 2 #"))"
3059 0 0 4 29 1 #"\n"
3060 0 0 4 3 26 #" "
3061 0 0 22 3 1 #"("
3062 0 0 14 3 6 #"vector"
3063 0 0 4 3 1 #" "
3064 0 0 22 3 1 #"("
3065 0 0 14 3 6 #"vector"
3066 0 0 4 3 1 #" "
3067 0 0 14 3 4 #"true"
3068 0 0 22 3 1 #")"
3069 0 0 4 29 1 #"\n"
3070 0 0 4 3 34 #" "
3071 0 0 22 3 1 #"("
3072 0 0 14 3 6 #"vector"
3073 0 0 4 3 1 #" "
3074 0 0 14 3 4 #"true"
3075 0 0 4 3 1 #" "
3076 0 0 14 3 4 #"true"
3077 0 0 22 3 1 #")"
3078 0 0 4 29 1 #"\n"
3079 0 0 4 3 34 #" "
3080 0 0 22 3 1 #"("
3081 0 0 14 3 6 #"vector"
3082 0 0 4 3 1 #" "
3083 0 0 14 3 4 #"true"
3084 0 0 4 3 1 #" "
3085 0 0 14 3 4 #"true"
3086 0 0 4 3 1 #" "
3087 0 0 14 3 4 #"true"
3088 0 0 22 3 1 #")"
3089 0 0 4 29 1 #"\n"
3090 0 0 4 3 34 #" "
3091 0 0 22 3 1 #"("
3092 0 0 14 3 6 #"vector"
3093 0 0 4 3 1 #" "
3094 0 0 14 3 4 #"true"
3095 0 0 4 3 1 #" "
3096 0 0 14 3 4 #"true"
3097 0 0 4 3 1 #" "
3098 0 0 14 3 4 #"true"
3099 0 0 4 3 1 #" "
3100 0 0 14 3 4 #"true"
3101 0 0 22 3 1 #")"
3102 0 0 4 29 1 #"\n"
3103 0 0 4 3 34 #" "
3104 0 0 22 3 1 #"("
3105 0 0 14 3 6 #"vector"
3106 0 0 4 3 1 #" "
3107 0 0 14 3 4 #"true"
3108 0 0 4 3 1 #" "
3109 0 0 14 3 4 #"true"
3110 0 0 4 3 1 #" "
3111 0 0 14 3 5 #"false"
3112 0 0 4 3 1 #" "
3113 0 0 14 3 4 #"true"
3114 0 0 4 3 1 #" "
3115 0 0 14 3 4 #"true"
3116 0 0 22 3 1 #")"
3117 0 0 4 29 1 #"\n"
3118 0 0 4 3 34 #" "
3119 0 0 22 3 1 #"("
3120 0 0 14 3 6 #"vector"
3121 0 0 4 3 1 #" "
3122 0 0 14 3 4 #"true"
3123 0 0 4 3 1 #" "
3124 0 0 14 3 4 #"true"
3125 0 0 4 3 1 #" "
3126 0 0 14 3 4 #"true"
3127 0 0 4 3 1 #" "
3128 0 0 14 3 4 #"true"
3129 0 0 4 3 1 #" "
3130 0 0 14 3 4 #"true"
3131 0 0 4 3 1 #" "
3132 0 0 14 3 4 #"true"
3133 0 0 22 3 1 #")"
3134 0 0 4 29 1 #"\n"
3135 0 0 4 3 34 #" "
3136 0 0 22 3 1 #"("
3137 0 0 14 3 6 #"vector"
3138 0 0 4 3 1 #" "
3139 0 0 14 3 4 #"true"
3140 0 0 4 3 1 #" "
3141 0 0 14 3 5 #"false"
3142 0 0 4 3 1 #" "
3143 0 0 14 3 5 #"false"
3144 0 0 4 3 1 #" "
3145 0 0 14 3 4 #"true"
3146 0 0 4 3 1 #" "
3147 0 0 14 3 4 #"true"
3148 0 0 4 3 1 #" "
3149 0 0 14 3 4 #"true"
3150 0 0 4 3 1 #" "
3151 0 0 14 3 5 #"false"
3152 0 0 22 3 2 #"))"
3153 0 0 4 29 1 #"\n"
3154 0 0 4 3 26 #" "
3155 0 0 22 3 1 #"("
3156 0 0 14 3 6 #"vector"
3157 0 0 4 3 1 #" "
3158 0 0 22 3 1 #"("
3159 0 0 14 3 6 #"vector"
3160 0 0 4 3 1 #" "
3161 0 0 14 3 4 #"true"
3162 0 0 22 3 1 #")"
3163 0 0 4 29 1 #"\n"
3164 0 0 4 3 34 #" "
3165 0 0 22 3 1 #"("
3166 0 0 14 3 6 #"vector"
3167 0 0 4 3 1 #" "
3168 0 0 14 3 4 #"true"
3169 0 0 4 3 1 #" "
3170 0 0 14 3 4 #"true"
3171 0 0 22 3 1 #")"
3172 0 0 4 29 1 #"\n"
3173 0 0 4 3 34 #" "
3174 0 0 22 3 1 #"("
3175 0 0 14 3 6 #"vector"
3176 0 0 4 3 1 #" "
3177 0 0 14 3 4 #"true"
3178 0 0 4 3 1 #" "
3179 0 0 14 3 4 #"true"
3180 0 0 4 3 1 #" "
3181 0 0 14 3 4 #"true"
3182 0 0 22 3 1 #")"
3183 0 0 4 29 1 #"\n"
3184 0 0 4 3 34 #" "
3185 0 0 22 3 1 #"("
3186 0 0 14 3 6 #"vector"
3187 0 0 4 3 1 #" "
3188 0 0 14 3 4 #"true"
3189 0 0 4 3 1 #" "
3190 0 0 14 3 4 #"true"
3191 0 0 4 3 1 #" "
3192 0 0 14 3 4 #"true"
3193 0 0 4 3 1 #" "
3194 0 0 14 3 4 #"true"
3195 0 0 22 3 1 #")"
3196 0 0 4 29 1 #"\n"
3197 0 0 4 3 34 #" "
3198 0 0 22 3 1 #"("
3199 0 0 14 3 6 #"vector"
3200 0 0 4 3 1 #" "
3201 0 0 14 3 5 #"false"
3202 0 0 4 3 1 #" "
3203 0 0 14 3 5 #"false"
3204 0 0 4 3 1 #" "
3205 0 0 14 3 4 #"true"
3206 0 0 4 3 1 #" "
3207 0 0 14 3 4 #"true"
3208 0 0 4 3 1 #" "
3209 0 0 14 3 4 #"true"
3210 0 0 22 3 1 #")"
3211 0 0 4 29 1 #"\n"
3212 0 0 4 3 34 #" "
3213 0 0 22 3 1 #"("
3214 0 0 14 3 6 #"vector"
3215 0 0 4 3 1 #" "
3216 0 0 14 3 5 #"false"
3217 0 0 4 3 1 #" "
3218 0 0 14 3 4 #"true"
3219 0 0 4 3 1 #" "
3220 0 0 14 3 4 #"true"
3221 0 0 4 3 1 #" "
3222 0 0 14 3 4 #"true"
3223 0 0 4 3 1 #" "
3224 0 0 14 3 4 #"true"
3225 0 0 4 3 1 #" "
3226 0 0 14 3 4 #"true"
3227 0 0 22 3 1 #")"
3228 0 0 4 29 1 #"\n"
3229 0 0 4 3 34 #" "
3230 0 0 22 3 1 #"("
3231 0 0 14 3 6 #"vector"
3232 0 0 4 3 1 #" "
3233 0 0 14 3 4 #"true"
3234 0 0 4 3 1 #" "
3235 0 0 14 3 4 #"true"
3236 0 0 4 3 1 #" "
3237 0 0 14 3 4 #"true"
3238 0 0 4 3 1 #" "
3239 0 0 14 3 4 #"true"
3240 0 0 4 3 1 #" "
3241 0 0 14 3 4 #"true"
3242 0 0 4 3 1 #" "
3243 0 0 14 3 5 #"false"
3244 0 0 4 3 1 #" "
3245 0 0 14 3 4 #"true"
3246 0 0 22 3 2 #"))"
3247 0 0 4 29 1 #"\n"
3248 0 0 4 3 26 #" "
3249 0 0 22 3 1 #"("
3250 0 0 14 3 6 #"vector"
3251 0 0 4 3 1 #" "
3252 0 0 22 3 1 #"("
3253 0 0 14 3 6 #"vector"
3254 0 0 4 3 1 #" "
3255 0 0 14 3 4 #"true"
3256 0 0 22 3 1 #")"
3257 0 0 4 29 1 #"\n"
3258 0 0 4 3 34 #" "
3259 0 0 22 3 1 #"("
3260 0 0 14 3 6 #"vector"
3261 0 0 4 3 1 #" "
3262 0 0 14 3 4 #"true"
3263 0 0 4 3 1 #" "
3264 0 0 14 3 4 #"true"
3265 0 0 22 3 1 #")"
3266 0 0 4 29 1 #"\n"
3267 0 0 4 3 34 #" "
3268 0 0 22 3 1 #"("
3269 0 0 14 3 6 #"vector"
3270 0 0 4 3 1 #" "
3271 0 0 14 3 4 #"true"
3272 0 0 4 3 1 #" "
3273 0 0 14 3 4 #"true"
3274 0 0 4 3 1 #" "
3275 0 0 14 3 4 #"true"
3276 0 0 22 3 1 #")"
3277 0 0 4 29 1 #"\n"
3278 0 0 4 3 34 #" "
3279 0 0 22 3 1 #"("
3280 0 0 14 3 6 #"vector"
3281 0 0 4 3 1 #" "
3282 0 0 14 3 4 #"true"
3283 0 0 4 3 1 #" "
3284 0 0 14 3 4 #"true"
3285 0 0 4 3 1 #" "
3286 0 0 14 3 4 #"true"
3287 0 0 4 3 1 #" "
3288 0 0 14 3 4 #"true"
3289 0 0 22 3 1 #")"
3290 0 0 4 29 1 #"\n"
3291 0 0 4 3 34 #" "
3292 0 0 22 3 1 #"("
3293 0 0 14 3 6 #"vector"
3294 0 0 4 3 1 #" "
3295 0 0 14 3 5 #"false"
3296 0 0 4 3 1 #" "
3297 0 0 14 3 4 #"true"
3298 0 0 4 3 1 #" "
3299 0 0 14 3 5 #"false"
3300 0 0 4 3 1 #" "
3301 0 0 14 3 4 #"true"
3302 0 0 4 3 1 #" "
3303 0 0 14 3 4 #"true"
3304 0 0 22 3 1 #")"
3305 0 0 4 29 1 #"\n"
3306 0 0 4 3 34 #" "
3307 0 0 22 3 1 #"("
3308 0 0 14 3 6 #"vector"
3309 0 0 4 3 1 #" "
3310 0 0 14 3 5 #"false"
3311 0 0 4 3 1 #" "
3312 0 0 14 3 4 #"true"
3313 0 0 4 3 1 #" "
3314 0 0 14 3 5 #"false"
3315 0 0 4 3 1 #" "
3316 0 0 14 3 4 #"true"
3317 0 0 4 3 1 #" "
3318 0 0 14 3 5 #"false"
3319 0 0 4 3 1 #" "
3320 0 0 14 3 4 #"true"
3321 0 0 22 3 1 #")"
3322 0 0 4 29 1 #"\n"
3323 0 0 4 3 34 #" "
3324 0 0 22 3 1 #"("
3325 0 0 14 3 6 #"vector"
3326 0 0 4 3 1 #" "
3327 0 0 14 3 4 #"true"
3328 0 0 4 3 1 #" "
3329 0 0 14 3 5 #"false"
3330 0 0 4 3 1 #" "
3331 0 0 14 3 5 #"false"
3332 0 0 4 3 1 #" "
3333 0 0 14 3 4 #"true"
3334 0 0 4 3 1 #" "
3335 0 0 14 3 4 #"true"
3336 0 0 4 3 1 #" "
3337 0 0 14 3 4 #"true"
3338 0 0 4 3 1 #" "
3339 0 0 14 3 4 #"true"
3340 0 0 22 3 4 #"))))"
3341 0 0 4 29 1 #"\n"
3342 0 0 22 3 1 #"("
3343 0 0 14 3 6 #"andmap"
3344 0 0 4 3 1 #" "
3345 0 0 22 3 1 #"("
3346 0 0 15 3 6 #"lambda"
3347 0 0 4 3 1 #" "
3348 0 0 22 3 1 #"("
3349 0 0 14 3 1 #"b"
3350 0 0 22 3 1 #")"
3351 0 0 4 3 1 #" "
3352 0 0 22 3 1 #"("
3353 0 0 14 3 8 #"enabled?"
3354 0 0 4 3 1 #" "
3355 0 0 22 3 1 #"("
3356 0 0 14 3 9 #"make-posn"
3357 0 0 4 3 1 #" "
3358 0 0 20 3 1 #"3"
3359 0 0 4 3 1 #" "
3360 0 0 20 3 1 #"5"
3361 0 0 22 3 1 #")"
3362 0 0 4 3 1 #" "
3363 0 0 14 3 1 #"b"
3364 0 0 22 3 2 #"))"
3365 0 0 4 3 1 #" "
3366 0 0 14 3 9 #"trueboard"
3367 0 0 22 3 1 #")"
3368 0 0 4 29 1 #"\n"
3369 0 0 22 3 1 #"("
3370 0 0 14 3 6 #"andmap"
3371 0 0 4 3 1 #" "
3372 0 0 22 3 1 #"("
3373 0 0 15 3 6 #"lambda"
3374 0 0 4 3 1 #" "
3375 0 0 22 3 1 #"("
3376 0 0 14 3 1 #"b"
3377 0 0 22 3 1 #")"
3378 0 0 4 3 1 #" "
3379 0 0 22 3 1 #"("
3380 0 0 14 3 3 #"not"
3381 0 0 4 3 1 #" "
3382 0 0 22 3 1 #"("
3383 0 0 14 3 8 #"enabled?"
3384 0 0 4 3 1 #" "
3385 0 0 22 3 1 #"("
3386 0 0 14 3 9 #"make-posn"
3387 0 0 4 3 1 #" "
3388 0 0 20 3 1 #"3"
3389 0 0 4 3 1 #" "
3390 0 0 20 3 1 #"5"
3391 0 0 22 3 1 #")"
3392 0 0 4 3 1 #" "
3393 0 0 14 3 1 #"b"
3394 0 0 22 3 3 #")))"
3395 0 0 4 3 1 #" "
3396 0 0 14 3 10 #"falseboard"
3397 0 0 22 3 1 #")"
3398 0 0 4 29 1 #"\n"
3399 0 0 22 3 1 #"("
3400 0 0 14 3 6 #"andmap"
3401 0 0 4 3 1 #" "
3402 0 0 22 3 1 #"("
3403 0 0 15 3 6 #"lambda"
3404 0 0 4 3 1 #" "
3405 0 0 22 3 1 #"("
3406 0 0 14 3 1 #"b"
3407 0 0 22 3 1 #")"
3408 0 0 4 3 1 #" "
3409 0 0 22 3 1 #"("
3410 0 0 14 3 8 #"enabled?"
3411 0 0 4 3 1 #" "
3412 0 0 22 3 1 #"("
3413 0 0 14 3 9 #"make-posn"
3414 0 0 4 3 1 #" "
3415 0 0 20 3 1 #"7"
3416 0 0 4 3 1 #" "
3417 0 0 20 3 1 #"7"
3418 0 0 22 3 1 #")"
3419 0 0 4 3 1 #" "
3420 0 0 14 3 1 #"b"
3421 0 0 22 3 2 #"))"
3422 0 0 4 3 1 #" "
3423 0 0 14 3 10 #"trueboard2"
3424 0 0 22 3 1 #")"
3425 0 0 4 29 1 #"\n"
3426 0 0 22 3 1 #"("
3427 0 0 14 3 6 #"andmap"
3428 0 0 4 3 1 #" "
3429 0 0 22 3 1 #"("
3430 0 0 15 3 6 #"lambda"
3431 0 0 4 3 1 #" "
3432 0 0 22 3 1 #"("
3433 0 0 14 3 1 #"b"
3434 0 0 22 3 1 #")"
3435 0 0 4 3 1 #" "
3436 0 0 22 3 1 #"("
3437 0 0 14 3 8 #"enabled?"
3438 0 0 4 3 1 #" "
3439 0 0 22 3 1 #"("
3440 0 0 14 3 9 #"make-posn"
3441 0 0 4 3 1 #" "
3442 0 0 20 3 1 #"1"
3443 0 0 4 3 1 #" "
3444 0 0 20 3 1 #"1"
3445 0 0 22 3 1 #")"
3446 0 0 4 3 1 #" "
3447 0 0 14 3 1 #"b"
3448 0 0 22 3 2 #"))"
3449 0 0 4 3 1 #" "
3450 0 0 14 3 10 #"trueboard3"
3451 0 0 22 3 1 #")"
3452 0 0 4 29 1 #"\n"
3453 0 0 22 3 1 #"("
3454 0 0 14 3 6 #"andmap"
3455 0 0 4 3 1 #" "
3456 0 0 22 3 1 #"("
3457 0 0 15 3 6 #"lambda"
3458 0 0 4 3 1 #" "
3459 0 0 22 3 1 #"("
3460 0 0 14 3 1 #"b"
3461 0 0 22 3 1 #")"
3462 0 0 4 3 1 #" "
3463 0 0 22 3 1 #"("
3464 0 0 14 3 8 #"enabled?"
3465 0 0 4 3 1 #" "
3466 0 0 22 3 1 #"("
3467 0 0 14 3 9 #"make-posn"
3468 0 0 4 3 1 #" "
3469 0 0 20 3 1 #"1"
3470 0 0 4 3 1 #" "
3471 0 0 20 3 1 #"7"
3472 0 0 22 3 1 #")"
3473 0 0 4 3 1 #" "
3474 0 0 14 3 1 #"b"
3475 0 0 22 3 2 #"))"
3476 0 0 4 3 1 #" "
3477 0 0 14 3 10 #"trueboard4"
3478 0 0 22 3 1 #")"
3479 0 0 4 29 1 #"\n"
3480 0 0 22 3 1 #"("
3481 0 0 14 3 6 #"andmap"
3482 0 0 4 3 1 #" "
3483 0 0 22 3 1 #"("
3484 0 0 15 3 6 #"lambda"
3485 0 0 4 3 1 #" "
3486 0 0 22 3 1 #"("
3487 0 0 14 3 1 #"b"
3488 0 0 22 3 1 #")"
3489 0 0 4 3 1 #" "
3490 0 0 22 3 1 #"("
3491 0 0 14 3 3 #"not"
3492 0 0 4 3 1 #" "
3493 0 0 22 3 1 #"("
3494 0 0 14 3 8 #"enabled?"
3495 0 0 4 3 1 #" "
3496 0 0 22 3 1 #"("
3497 0 0 14 3 9 #"make-posn"
3498 0 0 4 3 1 #" "
3499 0 0 20 3 1 #"7"
3500 0 0 4 3 1 #" "
3501 0 0 20 3 1 #"7"
3502 0 0 22 3 1 #")"
3503 0 0 4 3 1 #" "
3504 0 0 14 3 1 #"b"
3505 0 0 22 3 3 #")))"
3506 0 0 4 3 1 #" "
3507 0 0 14 3 11 #"falseboard2"
3508 0 0 22 3 1 #")"
3509 0 0 4 29 1 #"\n"
3510 0 0 22 3 1 #"("
3511 0 0 14 3 6 #"andmap"
3512 0 0 4 3 1 #" "
3513 0 0 22 3 1 #"("
3514 0 0 15 3 6 #"lambda"
3515 0 0 4 3 1 #" "
3516 0 0 22 3 1 #"("
3517 0 0 14 3 1 #"b"
3518 0 0 22 3 1 #")"
3519 0 0 4 3 1 #" "
3520 0 0 22 3 1 #"("
3521 0 0 14 3 3 #"not"
3522 0 0 4 3 1 #" "
3523 0 0 22 3 1 #"("
3524 0 0 14 3 8 #"enabled?"
3525 0 0 4 3 1 #" "
3526 0 0 22 3 1 #"("
3527 0 0 14 3 9 #"make-posn"
3528 0 0 4 3 1 #" "
3529 0 0 20 3 1 #"1"
3530 0 0 4 3 1 #" "
3531 0 0 20 3 1 #"7"
3532 0 0 22 3 1 #")"
3533 0 0 4 3 1 #" "
3534 0 0 14 3 1 #"b"
3535 0 0 22 3 3 #")))"
3536 0 0 4 3 1 #" "
3537 0 0 14 3 11 #"falseboard3"
3538 0 0 22 3 1 #")"
3539 0 0 4 29 1 #"\n"
3540 0 0 4 29 1 #"\n"
3541 0 0