1 12687dd9 2023-08-04 jrmu ;; The first three lines of this file were inserted by DrScheme. They record metadata
2 12687dd9 2023-08-04 jrmu ;; about the language level of this file in a form that our tools can easily process.
3 12687dd9 2023-08-04 jrmu #reader(lib "htdp-advanced-reader.ss" "lang")((modname |32.3|) (read-case-sensitive #t) (teachpacks ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #t #t none #f ((lib "draw.ss" "teachpack" "htdp") (lib "arrow.ss" "teachpack" "htdp") (lib "gui.ss" "teachpack" "htdp")))))
4 12687dd9 2023-08-04 jrmu ;tests enabled?
5 12687dd9 2023-08-04 jrmu (define trueboard (list (vector (vector true)
6 12687dd9 2023-08-04 jrmu (vector true true)
7 12687dd9 2023-08-04 jrmu (vector true true true)
8 12687dd9 2023-08-04 jrmu (vector true true true true)
9 12687dd9 2023-08-04 jrmu (vector true true true true true)
10 12687dd9 2023-08-04 jrmu (vector true true true true true true)
11 12687dd9 2023-08-04 jrmu (vector true true false true true true true))
12 12687dd9 2023-08-04 jrmu (vector (vector true)
13 12687dd9 2023-08-04 jrmu (vector true true)
14 12687dd9 2023-08-04 jrmu (vector true true true)
15 12687dd9 2023-08-04 jrmu (vector true true true true)
16 12687dd9 2023-08-04 jrmu (vector true true true true false)
17 12687dd9 2023-08-04 jrmu (vector true true true true true true)
18 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
19 12687dd9 2023-08-04 jrmu (vector (vector true)
20 12687dd9 2023-08-04 jrmu (vector true true)
21 12687dd9 2023-08-04 jrmu (vector true true true)
22 12687dd9 2023-08-04 jrmu (vector true true true true)
23 12687dd9 2023-08-04 jrmu (vector false true true true true)
24 12687dd9 2023-08-04 jrmu (vector true true true true true true)
25 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
26 12687dd9 2023-08-04 jrmu (vector (vector true)
27 12687dd9 2023-08-04 jrmu (vector true true)
28 12687dd9 2023-08-04 jrmu (vector true true false)
29 12687dd9 2023-08-04 jrmu (vector true true true true)
30 12687dd9 2023-08-04 jrmu (vector true true true true true)
31 12687dd9 2023-08-04 jrmu (vector true true true true true true)
32 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
33 12687dd9 2023-08-04 jrmu (vector (vector true)
34 12687dd9 2023-08-04 jrmu (vector true true)
35 12687dd9 2023-08-04 jrmu (vector true true true)
36 12687dd9 2023-08-04 jrmu (vector true true true true)
37 12687dd9 2023-08-04 jrmu (vector true true true true true)
38 12687dd9 2023-08-04 jrmu (vector true true true true true true)
39 12687dd9 2023-08-04 jrmu (vector true true true true false true true))
40 12687dd9 2023-08-04 jrmu (vector (vector true)
41 12687dd9 2023-08-04 jrmu (vector true true)
42 12687dd9 2023-08-04 jrmu (vector false true true)
43 12687dd9 2023-08-04 jrmu (vector true true true true)
44 12687dd9 2023-08-04 jrmu (vector true true true true true)
45 12687dd9 2023-08-04 jrmu (vector true true true true true true)
46 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
47 12687dd9 2023-08-04 jrmu (vector (vector true)
48 12687dd9 2023-08-04 jrmu (vector true true)
49 12687dd9 2023-08-04 jrmu (vector false true true)
50 12687dd9 2023-08-04 jrmu (vector true false false true)
51 12687dd9 2023-08-04 jrmu (vector true false true false false)
52 12687dd9 2023-08-04 jrmu (vector true false true true true true)
53 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
54 12687dd9 2023-08-04 jrmu (vector (vector true)
55 12687dd9 2023-08-04 jrmu (vector true true)
56 12687dd9 2023-08-04 jrmu (vector false true true)
57 12687dd9 2023-08-04 jrmu (vector true false false true)
58 12687dd9 2023-08-04 jrmu (vector true false true true false)
59 12687dd9 2023-08-04 jrmu (vector true true true false true true)
60 12687dd9 2023-08-04 jrmu (vector false false true false false false true))))
62 12687dd9 2023-08-04 jrmu (define falseboard (list (vector (vector true)
63 12687dd9 2023-08-04 jrmu (vector true true)
64 12687dd9 2023-08-04 jrmu (vector true true true)
65 12687dd9 2023-08-04 jrmu (vector true true true true)
66 12687dd9 2023-08-04 jrmu (vector true true false true true)
67 12687dd9 2023-08-04 jrmu (vector true true true true true true)
68 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
69 12687dd9 2023-08-04 jrmu (vector (vector true)
70 12687dd9 2023-08-04 jrmu (vector true true)
71 12687dd9 2023-08-04 jrmu (vector true true true)
72 12687dd9 2023-08-04 jrmu (vector true true true true)
73 12687dd9 2023-08-04 jrmu (vector true true false true true)
74 12687dd9 2023-08-04 jrmu (vector true true true true true true)
75 12687dd9 2023-08-04 jrmu (vector true true false true true true true))
76 12687dd9 2023-08-04 jrmu (vector (vector true)
77 12687dd9 2023-08-04 jrmu (vector true true)
78 12687dd9 2023-08-04 jrmu (vector true true true)
79 12687dd9 2023-08-04 jrmu (vector true true true true)
80 12687dd9 2023-08-04 jrmu (vector true false true true true)
81 12687dd9 2023-08-04 jrmu (vector true true true true true true)
82 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
83 12687dd9 2023-08-04 jrmu (vector (vector true)
84 12687dd9 2023-08-04 jrmu (vector true true)
85 12687dd9 2023-08-04 jrmu (vector true true true)
86 12687dd9 2023-08-04 jrmu (vector true true true true)
87 12687dd9 2023-08-04 jrmu (vector true true true true true)
88 12687dd9 2023-08-04 jrmu (vector true true true true true true)
89 12687dd9 2023-08-04 jrmu (vector true false true true true true true))
90 12687dd9 2023-08-04 jrmu (vector (vector true)
91 12687dd9 2023-08-04 jrmu (vector true true)
92 12687dd9 2023-08-04 jrmu (vector true true true)
93 12687dd9 2023-08-04 jrmu (vector true true true true)
94 12687dd9 2023-08-04 jrmu (vector true true true true true)
95 12687dd9 2023-08-04 jrmu (vector true false true true true true)
96 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
97 12687dd9 2023-08-04 jrmu (vector (vector true)
98 12687dd9 2023-08-04 jrmu (vector true true)
99 12687dd9 2023-08-04 jrmu (vector false true true)
100 12687dd9 2023-08-04 jrmu (vector true false false true)
101 12687dd9 2023-08-04 jrmu (vector true false true true true)
102 12687dd9 2023-08-04 jrmu (vector true true true true true true)
103 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
104 12687dd9 2023-08-04 jrmu (vector (vector true)
105 12687dd9 2023-08-04 jrmu (vector true true)
106 12687dd9 2023-08-04 jrmu (vector false true true)
107 12687dd9 2023-08-04 jrmu (vector true false false true)
108 12687dd9 2023-08-04 jrmu (vector true false true true true)
109 12687dd9 2023-08-04 jrmu (vector true false true true true true)
110 12687dd9 2023-08-04 jrmu (vector false false true true true true true))
111 12687dd9 2023-08-04 jrmu (vector (vector true)
112 12687dd9 2023-08-04 jrmu (vector true true)
113 12687dd9 2023-08-04 jrmu (vector false true true)
114 12687dd9 2023-08-04 jrmu (vector true false false true)
115 12687dd9 2023-08-04 jrmu (vector true false true false false)
116 12687dd9 2023-08-04 jrmu (vector true false false true true true)
117 12687dd9 2023-08-04 jrmu (vector false false true true true true true))
118 12687dd9 2023-08-04 jrmu (vector (vector true)
119 12687dd9 2023-08-04 jrmu (vector true true)
120 12687dd9 2023-08-04 jrmu (vector false true true)
121 12687dd9 2023-08-04 jrmu (vector true false false true)
122 12687dd9 2023-08-04 jrmu (vector true false true false false)
123 12687dd9 2023-08-04 jrmu (vector true false false false true true)
124 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
125 12687dd9 2023-08-04 jrmu (vector (vector true)
126 12687dd9 2023-08-04 jrmu (vector true true)
127 12687dd9 2023-08-04 jrmu (vector false true true)
128 12687dd9 2023-08-04 jrmu (vector true false false true)
129 12687dd9 2023-08-04 jrmu (vector true false true false false)
130 12687dd9 2023-08-04 jrmu (vector true true false false true true)
131 12687dd9 2023-08-04 jrmu (vector false false true false false false true))))
134 12687dd9 2023-08-04 jrmu (define trueboard2 (list (vector (vector true)
135 12687dd9 2023-08-04 jrmu (vector true true)
136 12687dd9 2023-08-04 jrmu (vector true true true)
137 12687dd9 2023-08-04 jrmu (vector true true true true)
138 12687dd9 2023-08-04 jrmu (vector true true true true true)
139 12687dd9 2023-08-04 jrmu (vector true true true true true true)
140 12687dd9 2023-08-04 jrmu (vector true true false true false true true))
141 12687dd9 2023-08-04 jrmu (vector (vector true)
142 12687dd9 2023-08-04 jrmu (vector true true)
143 12687dd9 2023-08-04 jrmu (vector true true true)
144 12687dd9 2023-08-04 jrmu (vector true true true true)
145 12687dd9 2023-08-04 jrmu (vector true true true true false)
146 12687dd9 2023-08-04 jrmu (vector true true true true true true)
147 12687dd9 2023-08-04 jrmu (vector true true true true true true true))))
149 12687dd9 2023-08-04 jrmu (define trueboard3 (list (vector (vector true)
150 12687dd9 2023-08-04 jrmu (vector true true)
151 12687dd9 2023-08-04 jrmu (vector false true true)
152 12687dd9 2023-08-04 jrmu (vector true true true true)
153 12687dd9 2023-08-04 jrmu (vector true true true true true)
154 12687dd9 2023-08-04 jrmu (vector true true true true true true)
155 12687dd9 2023-08-04 jrmu (vector true true false true false true true))
156 12687dd9 2023-08-04 jrmu (vector (vector true)
157 12687dd9 2023-08-04 jrmu (vector true true)
158 12687dd9 2023-08-04 jrmu (vector true true false)
159 12687dd9 2023-08-04 jrmu (vector true true true true)
160 12687dd9 2023-08-04 jrmu (vector true true true true false)
161 12687dd9 2023-08-04 jrmu (vector true true true true true true)
162 12687dd9 2023-08-04 jrmu (vector true true true true true true true))))
163 12687dd9 2023-08-04 jrmu (define trueboard4 (list (vector (vector true)
164 12687dd9 2023-08-04 jrmu (vector true true)
165 12687dd9 2023-08-04 jrmu (vector false true true)
166 12687dd9 2023-08-04 jrmu (vector true true true true)
167 12687dd9 2023-08-04 jrmu (vector true true true true true)
168 12687dd9 2023-08-04 jrmu (vector true true true true true true)
169 12687dd9 2023-08-04 jrmu (vector true true false true false true true))
170 12687dd9 2023-08-04 jrmu (vector (vector true)
171 12687dd9 2023-08-04 jrmu (vector true true)
172 12687dd9 2023-08-04 jrmu (vector true true false)
173 12687dd9 2023-08-04 jrmu (vector true true true true)
174 12687dd9 2023-08-04 jrmu (vector false true true true false)
175 12687dd9 2023-08-04 jrmu (vector true true true true true true)
176 12687dd9 2023-08-04 jrmu (vector true true true true true true true))))
178 12687dd9 2023-08-04 jrmu (define falseboard2 (list (vector (vector true)
179 12687dd9 2023-08-04 jrmu (vector true true)
180 12687dd9 2023-08-04 jrmu (vector true true true)
181 12687dd9 2023-08-04 jrmu (vector true true true true)
182 12687dd9 2023-08-04 jrmu (vector true true false true true)
183 12687dd9 2023-08-04 jrmu (vector true true true true true true)
184 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
185 12687dd9 2023-08-04 jrmu (vector (vector true)
186 12687dd9 2023-08-04 jrmu (vector true true)
187 12687dd9 2023-08-04 jrmu (vector true true true)
188 12687dd9 2023-08-04 jrmu (vector true true true true)
189 12687dd9 2023-08-04 jrmu (vector true true false true true)
190 12687dd9 2023-08-04 jrmu (vector true true true true true true)
191 12687dd9 2023-08-04 jrmu (vector true true false true true true false))
192 12687dd9 2023-08-04 jrmu (vector (vector true)
193 12687dd9 2023-08-04 jrmu (vector true true)
194 12687dd9 2023-08-04 jrmu (vector true true true)
195 12687dd9 2023-08-04 jrmu (vector true true true true)
196 12687dd9 2023-08-04 jrmu (vector true false true true true)
197 12687dd9 2023-08-04 jrmu (vector true true true true true true)
198 12687dd9 2023-08-04 jrmu (vector true true true true true false true))
199 12687dd9 2023-08-04 jrmu (vector (vector true)
200 12687dd9 2023-08-04 jrmu (vector true true)
201 12687dd9 2023-08-04 jrmu (vector true true true)
202 12687dd9 2023-08-04 jrmu (vector true true true true)
203 12687dd9 2023-08-04 jrmu (vector true true true true true)
204 12687dd9 2023-08-04 jrmu (vector true true true true false true)
205 12687dd9 2023-08-04 jrmu (vector true false true true true true true))))
206 12687dd9 2023-08-04 jrmu (define falseboard3 (list (vector (vector true)
207 12687dd9 2023-08-04 jrmu (vector true true)
208 12687dd9 2023-08-04 jrmu (vector true true true)
209 12687dd9 2023-08-04 jrmu (vector true true true true)
210 12687dd9 2023-08-04 jrmu (vector true true false true true)
211 12687dd9 2023-08-04 jrmu (vector true true true true true true)
212 12687dd9 2023-08-04 jrmu (vector true true true true true true true))
213 12687dd9 2023-08-04 jrmu (vector (vector true)
214 12687dd9 2023-08-04 jrmu (vector true true)
215 12687dd9 2023-08-04 jrmu (vector true true true)
216 12687dd9 2023-08-04 jrmu (vector true true true true)
217 12687dd9 2023-08-04 jrmu (vector true true false true true)
218 12687dd9 2023-08-04 jrmu (vector true true true true true true)
219 12687dd9 2023-08-04 jrmu (vector true false false true true true false))
220 12687dd9 2023-08-04 jrmu (vector (vector true)
221 12687dd9 2023-08-04 jrmu (vector true true)
222 12687dd9 2023-08-04 jrmu (vector true true true)
223 12687dd9 2023-08-04 jrmu (vector true true true true)
224 12687dd9 2023-08-04 jrmu (vector false false true true true)
225 12687dd9 2023-08-04 jrmu (vector false true true true true true)
226 12687dd9 2023-08-04 jrmu (vector true true true true true false true))
227 12687dd9 2023-08-04 jrmu (vector (vector true)
228 12687dd9 2023-08-04 jrmu (vector true true)
229 12687dd9 2023-08-04 jrmu (vector true true true)
230 12687dd9 2023-08-04 jrmu (vector true true true true)
231 12687dd9 2023-08-04 jrmu (vector false true false true true)
232 12687dd9 2023-08-04 jrmu (vector false true false true false true)
233 12687dd9 2023-08-04 jrmu (vector true false false true true true true))))
234 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (enabled? (make-posn 3 5) b)) trueboard)
235 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (not (enabled? (make-posn 3 5) b))) falseboard)
236 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (enabled? (make-posn 7 7) b)) trueboard2)
237 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (enabled? (make-posn 1 1) b)) trueboard3)
238 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (enabled? (make-posn 1 7) b)) trueboard4)
239 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (not (enabled? (make-posn 7 7) b))) falseboard2)
240 12687dd9 2023-08-04 jrmu (andmap (lambda (b) (not (enabled? (make-posn 1 7) b))) falseboard3)
242 12687dd9 2023-08-04 jrmu ;Tests build-board
244 12687dd9 2023-08-04 jrmu (equal? (build-board 5 (lambda (x y) true))
246 12687dd9 2023-08-04 jrmu (vector true)
247 12687dd9 2023-08-04 jrmu (vector true true)
248 12687dd9 2023-08-04 jrmu (vector true true true)
249 12687dd9 2023-08-04 jrmu (vector true true true true)
250 12687dd9 2023-08-04 jrmu (vector true true true true true)))
251 12687dd9 2023-08-04 jrmu (equal? (build-board 7 (lambda (x y)
253 12687dd9 2023-08-04 jrmu [(<= (+ x y) 4) true]
254 12687dd9 2023-08-04 jrmu [else false])))
256 12687dd9 2023-08-04 jrmu (vector true)
257 12687dd9 2023-08-04 jrmu (vector true true)
258 12687dd9 2023-08-04 jrmu (vector true false false)
259 12687dd9 2023-08-04 jrmu (vector false false false false)
260 12687dd9 2023-08-04 jrmu (vector false false false false false)
261 12687dd9 2023-08-04 jrmu (vector false false false false false false)
262 12687dd9 2023-08-04 jrmu (vector false false false false false false false)))
264 12687dd9 2023-08-04 jrmu (equal? (build-board 7 (lambda (x y)
266 12687dd9 2023-08-04 jrmu [(<= (- y x) 2) true]
267 12687dd9 2023-08-04 jrmu [else false])))
269 12687dd9 2023-08-04 jrmu (vector true)
270 12687dd9 2023-08-04 jrmu (vector true true)
271 12687dd9 2023-08-04 jrmu (vector true true true)
272 12687dd9 2023-08-04 jrmu (vector false true true true)
273 12687dd9 2023-08-04 jrmu (vector false false true true true)
274 12687dd9 2023-08-04 jrmu (vector false false false true true true)
275 12687dd9 2023-08-04 jrmu (vector false false false false true true true)))
278 12687dd9 2023-08-04 jrmu (define jumpboard (vector (vector true)
279 12687dd9 2023-08-04 jrmu (vector true true)
280 12687dd9 2023-08-04 jrmu (vector false true false)
281 12687dd9 2023-08-04 jrmu (vector true true true true)
282 12687dd9 2023-08-04 jrmu (vector false true true true false)
283 12687dd9 2023-08-04 jrmu (vector true true true true true true)
284 12687dd9 2023-08-04 jrmu (vector true true false true false true true)))
287 12687dd9 2023-08-04 jrmu ;test enabled-pegs
289 12687dd9 2023-08-04 jrmu (enabled-pegs (vector (vector true)
290 12687dd9 2023-08-04 jrmu (vector true true)
291 12687dd9 2023-08-04 jrmu (vector false true true)
292 12687dd9 2023-08-04 jrmu (vector true false false true)
293 12687dd9 2023-08-04 jrmu (vector true false true false false)
294 12687dd9 2023-08-04 jrmu (vector true true false false true true)
295 12687dd9 2023-08-04 jrmu (vector false false true false false false true)))
297 12687dd9 2023-08-04 jrmu (make-posn 1 1)
298 12687dd9 2023-08-04 jrmu (make-posn 1 2)
299 12687dd9 2023-08-04 jrmu (make-posn 2 2)
300 12687dd9 2023-08-04 jrmu (make-posn 3 3)
301 12687dd9 2023-08-04 jrmu (make-posn 1 5)
302 12687dd9 2023-08-04 jrmu (make-posn 1 6)
303 12687dd9 2023-08-04 jrmu (make-posn 6 6)
304 12687dd9 2023-08-04 jrmu (make-posn 7 7)))
306 12687dd9 2023-08-04 jrmu ;test next-board
308 12687dd9 2023-08-04 jrmu (define testboard2 (vector (vector true)
309 12687dd9 2023-08-04 jrmu (vector true true)
310 12687dd9 2023-08-04 jrmu (vector false true true)
311 12687dd9 2023-08-04 jrmu (vector true false false true)
312 12687dd9 2023-08-04 jrmu (vector true false true false false)
313 12687dd9 2023-08-04 jrmu (vector true true false false true true)
314 12687dd9 2023-08-04 jrmu (vector false false true false false false true)))
316 12687dd9 2023-08-04 jrmu (equal? (next-board testboard2 (make-posn 1 1))
318 12687dd9 2023-08-04 jrmu (make-state
320 12687dd9 2023-08-04 jrmu (vector false)
321 12687dd9 2023-08-04 jrmu (vector false true)
322 12687dd9 2023-08-04 jrmu (vector true true true)
323 12687dd9 2023-08-04 jrmu (vector true false false true)
324 12687dd9 2023-08-04 jrmu (vector true false true false false)
325 12687dd9 2023-08-04 jrmu (vector true true false false true true)
326 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
327 12687dd9 2023-08-04 jrmu (list (make-posn 1 1) (make-posn 1 3)))))
328 12687dd9 2023-08-04 jrmu (equal? (next-board testboard2 (make-posn 1 2))
330 12687dd9 2023-08-04 jrmu (make-state
332 12687dd9 2023-08-04 jrmu (vector true)
333 12687dd9 2023-08-04 jrmu (vector false true)
334 12687dd9 2023-08-04 jrmu (vector false false true)
335 12687dd9 2023-08-04 jrmu (vector true false true true)
336 12687dd9 2023-08-04 jrmu (vector true false true false false)
337 12687dd9 2023-08-04 jrmu (vector true true false false true true)
338 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
339 12687dd9 2023-08-04 jrmu (list (make-posn 1 2) (make-posn 3 4)))))
340 12687dd9 2023-08-04 jrmu (equal? (next-board testboard2 (make-posn 2 2))
342 12687dd9 2023-08-04 jrmu (make-state
344 12687dd9 2023-08-04 jrmu (vector true)
345 12687dd9 2023-08-04 jrmu (vector true false)
346 12687dd9 2023-08-04 jrmu (vector false false true)
347 12687dd9 2023-08-04 jrmu (vector true true false true)
348 12687dd9 2023-08-04 jrmu (vector true false true false false)
349 12687dd9 2023-08-04 jrmu (vector true true false false true true)
350 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
351 12687dd9 2023-08-04 jrmu (list (make-posn 2 2) (make-posn 2 4)))))
352 12687dd9 2023-08-04 jrmu (equal? (next-board testboard2 (make-posn 3 1)) empty)
354 12687dd9 2023-08-04 jrmu (next-board testboard2 (make-posn 3 3))
356 12687dd9 2023-08-04 jrmu (make-state
358 12687dd9 2023-08-04 jrmu (vector true)
359 12687dd9 2023-08-04 jrmu (vector true true)
360 12687dd9 2023-08-04 jrmu (vector true false false)
361 12687dd9 2023-08-04 jrmu (vector true false false true)
362 12687dd9 2023-08-04 jrmu (vector true false true false false)
363 12687dd9 2023-08-04 jrmu (vector true true false false true true)
364 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
365 12687dd9 2023-08-04 jrmu (list (make-posn 3 3) (make-posn 1 3)))
366 12687dd9 2023-08-04 jrmu (make-state
368 12687dd9 2023-08-04 jrmu (vector true)
369 12687dd9 2023-08-04 jrmu (vector true true)
370 12687dd9 2023-08-04 jrmu (vector false true false)
371 12687dd9 2023-08-04 jrmu (vector true false false false)
372 12687dd9 2023-08-04 jrmu (vector true false true false true)
373 12687dd9 2023-08-04 jrmu (vector true true false false true true)
374 12687dd9 2023-08-04 jrmu (vector false false true false false false true))
375 12687dd9 2023-08-04 jrmu (list (make-posn 3 3) (make-posn 5 5)))))
377 12687dd9 2023-08-04 jrmu (next-board INITIAL-BOARD (make-posn 1 3))
