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