-
Notifications
You must be signed in to change notification settings - Fork 1
/
task_c.pddl
8539 lines (8538 loc) · 576 KB
/
task_c.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(define (problem auto_warehouse_easy)
(:domain auto_warehouse)
(:objects
p0 p1 p2 p3 - pallet
robot0 robot1 - agent
H3X0Y2 H2X11Y4 H1X4Y4 H1X0Y7 H1X1Y17 H1X4Y5 H0X7Y21 H1X4Y6 H1X4Y7 H1X13Y22 H1X13Y20
H1X13Y21 H1X4Y0 H3X0Y11 H3X8Y16 H1X3Y3 H1X3Y2 H1X3Y1 H1X3Y0 H1X3Y7 H1X3Y6 H1X3Y5 H1X3Y4
H1X3Y9 H1X3Y8 H2X13Y14 H2X13Y10 H2X13Y11 H2X13Y12 H2X13Y13 H3X0Y12 H2X13Y18 H2X13Y19 H0X3Y6 H0X3Y7
H0X3Y4 H0X3Y5 H0X3Y2 H0X3Y3 H0X3Y0 H0X3Y1 H1X10Y22 H1X10Y21 H1X10Y20 H0X3Y8 H0X3Y9 H3X0Y13
H2X12Y20 H0X7Y22 H1X6Y9 H3X6Y10 H1X6Y2 H1X6Y3 H1X6Y0 H1X6Y1 H1X6Y6 H1X6Y7 H1X6Y4 H1X6Y5
H1X13Y9 H3X4Y21 H1X13Y5 H1X13Y4 H1X13Y3 H1X13Y2 H1X13Y1 H3X4Y20 H3X3Y11 H3X3Y10 H3X3Y13 H3X3Y12
H3X3Y15 H3X3Y14 H3X3Y17 H3X3Y16 H3X3Y19 H3X3Y18 H3X0Y8 H1X1Y0 H1X1Y20 H1X1Y21 H0X5Y18 H0X5Y19
H0X5Y16 H0X5Y17 H0X5Y14 H0X5Y15 H0X5Y12 H0X5Y13 H0X5Y10 H0X5Y11 H0X8Y5 H0X8Y4 H0X8Y7 H0X8Y6
H0X8Y1 H0X8Y0 H0X8Y3 H0X8Y2 H0X8Y9 H0X8Y8 H2X6Y20 H2X6Y21 H3X10Y10 H3X11Y3 H1X4Y16 H1X4Y17
H1X4Y14 H1X4Y15 H1X4Y12 H1X4Y13 H1X4Y10 H1X4Y11 H3X7Y19 H1X5Y3 H1X4Y18 H1X4Y19 H3X10Y11 H1X11Y12
H1X5Y2 H2X5Y21 H2X5Y20 H2X5Y22 H2X10Y14 H2X12Y21 H1X9Y20 H3X7Y18 H3X10Y12 H2X0Y0 H0X7Y18 H0X7Y19
H0X7Y10 H0X7Y11 H0X7Y12 H0X7Y13 H0X7Y14 H0X7Y15 H0X7Y16 H0X7Y17 H3X1Y20 H3X10Y13 H0X11Y18 H0X11Y19
H1X4Y1 H0X11Y14 H2X8Y22 H0X11Y10 H0X11Y11 H0X11Y12 H0X11Y13 H0X1Y8 H0X1Y9 H0X3Y22 H3X12Y22 H3X12Y21
H3X12Y20 H0X1Y0 H0X1Y1 H0X1Y2 H0X1Y3 H0X1Y4 H0X1Y5 H0X1Y6 H0X1Y7 H2X2Y19 H2X2Y18 H1X4Y8
H1X4Y9 H2X2Y11 H2X2Y10 H2X2Y13 H2X2Y12 H2X2Y15 H2X2Y14 H2X2Y17 H1X4Y3 H3X3Y5 H3X3Y4 H3X3Y7
H3X3Y6 H3X3Y1 H3X3Y0 H3X3Y3 H3X3Y2 H3X9Y22 H3X9Y20 H3X9Y21 H3X3Y9 H3X3Y8 H3X4Y22 H1X1Y10
H2X4Y4 H2X8Y20 H3X10Y14 H3X11Y22 H3X11Y20 H3X11Y21 H3X9Y6 H1X2Y21 H1X2Y20 H3X5Y10 H3X13Y4 H3X10Y18
H1X8Y18 H1X8Y19 H2X8Y21 H3X10Y19 H1X8Y12 H1X8Y13 H1X8Y10 H1X8Y11 H1X8Y16 H1X8Y17 H1X8Y14 H1X8Y15
H0X9Y12 H0X9Y13 H0X9Y10 H0X9Y11 H0X9Y16 H0X9Y17 H0X9Y14 H0X9Y15 H3X7Y20 H3X7Y21 H0X9Y18 H0X9Y19
H0X0Y20 H0X0Y21 H0X0Y22 H3X13Y0 H3X2Y21 H1X1Y12 H2X4Y9 H0X13Y4 H1X9Y21 H2X0Y20 H2X0Y21 H0X13Y0
H0X13Y1 H0X13Y2 H1X7Y5 H1X0Y12 H3X1Y19 H3X1Y18 H0X0Y9 H0X0Y8 H1X0Y13 H0X0Y5 H0X0Y4 H0X0Y7
H0X0Y6 H0X0Y1 H0X0Y0 H0X0Y3 H0X0Y2 H3X8Y17 H1X1Y18 H1X0Y16 H3X1Y4 H0X9Y21 H1X0Y17 H1X11Y1
H3X1Y3 H1X11Y3 H0X9Y20 H1X11Y5 H1X11Y4 H1X11Y9 H1X0Y15 H3X1Y1 H3X13Y11 H3X1Y0 H0X5Y22 H0X5Y21
H0X5Y20 H3X7Y0 H3X9Y7 H1X0Y18 H0X7Y20 H1X0Y19 H2X13Y2 H2X12Y9 H3X11Y11 H3X8Y18 H2X12Y5 H2X12Y4
H2X12Y3 H2X3Y18 H2X12Y1 H3X8Y19 H2X3Y19 H1X9Y22 H3X5Y9 H3X5Y8 H3X5Y7 H3X5Y6 H3X5Y5 H3X5Y4
H3X5Y3 H3X5Y2 H3X5Y1 H3X5Y0 H0X6Y7 H0X6Y6 H0X6Y5 H0X6Y4 H0X6Y3 H0X6Y2 H0X6Y1 H0X6Y0
H0X6Y9 H0X6Y8 H1X0Y6 H2X1Y22 H1X4Y22 H1X4Y21 H1X4Y20 H2X13Y0 H0X12Y14 H0X12Y11 H1X7Y7 H0X12Y13
H0X12Y12 H1X0Y11 H0X12Y19 H0X12Y18 H1X12Y2 H1X12Y3 H1X12Y0 H1X12Y1 H2X3Y14 H1X12Y4 H0X13Y5 H2X3Y15
H1X9Y1 H2X13Y1 H2X12Y13 H2X12Y12 H2X12Y11 H1X7Y6 H2X12Y14 H2X12Y19 H2X12Y18 H1X13Y10 H3X8Y6 H3X8Y7
H3X8Y4 H3X8Y5 H3X8Y2 H3X8Y3 H3X8Y0 H3X8Y1 H2X10Y20 H0X9Y6 H3X8Y8 H3X8Y9 H1X6Y10 H1X6Y11
H1X6Y12 H1X6Y13 H1X6Y14 H1X6Y15 H1X6Y16 H1X6Y17 H1X6Y18 H1X6Y19 H3X0Y4 H2X11Y19 H2X4Y8 H3X0Y3
H3X0Y0 H3X0Y1 H1X10Y18 H1X10Y19 H2X10Y19 H1X10Y14 H1X10Y12 H1X10Y13 H1X10Y10 H1X7Y4 H3X9Y13 H3X9Y12
H3X9Y11 H3X9Y10 H3X9Y17 H3X9Y16 H3X9Y15 H3X9Y14 H2X11Y12 H3X9Y19 H3X9Y18 H1X6Y8 H2X11Y13 H3X9Y4
H0X10Y19 H0X10Y18 H0X13Y3 H1X9Y2 H3X1Y12 H0X10Y13 H0X10Y12 H0X10Y11 H0X10Y10 H1X7Y3 H0X10Y14 H3X7Y1
H0X10Y5 H0X10Y4 H0X10Y3 H0X10Y2 H0X10Y1 H0X10Y0 H3X1Y17 H0X10Y9 H2X10Y10 H1X8Y22 H1X8Y21 H1X8Y20
H3X7Y22 H2X10Y13 H2X13Y5 H3X5Y16 H0X4Y19 H1X7Y2 H3X5Y15 H0X4Y18 H2X11Y11 H3X5Y14 H3X5Y13 H1X7Y20
H3X5Y12 H2X0Y13 H2X0Y12 H2X0Y11 H2X0Y10 H2X0Y17 H2X0Y16 H2X0Y15 H2X0Y14 H1X1Y19 H0X9Y22 H2X0Y19
H2X0Y18 H1X12Y21 H1X12Y20 H1X12Y22 H2X1Y6 H2X1Y7 H2X1Y4 H2X1Y5 H2X1Y2 H2X1Y3 H2X1Y0 H2X1Y1
H2X3Y12 H2X3Y13 H2X3Y10 H2X3Y11 H2X3Y16 H2X3Y17 H2X1Y8 H2X1Y9 H0X9Y7 H2X6Y19 H2X6Y18 H2X10Y22
H1X7Y0 H2X6Y15 H2X6Y14 H2X6Y17 H2X6Y16 H2X6Y11 H2X6Y10 H2X6Y13 H2X6Y12 H3X5Y22 H3X5Y20 H3X5Y21
H1X0Y10 H2X9Y18 H2X9Y19 H2X9Y14 H2X9Y15 H2X10Y12 H2X9Y17 H2X9Y10 H2X9Y11 H2X9Y12 H2X9Y13 H0X5Y4
H0X5Y5 H3X2Y10 H0X5Y7 H3X2Y16 H3X2Y17 H3X2Y14 H3X2Y15 H0X9Y8 H0X9Y9 H3X2Y18 H3X2Y19 H0X5Y8
H0X5Y9 H2X4Y20 H2X4Y21 H3X13Y1 H3X13Y12 H1X11Y2 H2X8Y13 H1X13Y0 H2X9Y16 H2X10Y1 H2X10Y0 H2X10Y3
H2X10Y2 H2X10Y5 H2X10Y4 H2X10Y9 H2X1Y14 H2X1Y15 H2X1Y16 H2X1Y17 H2X1Y10 H2X1Y11 H2X1Y12 H2X1Y13
H3X7Y9 H3X7Y8 H2X1Y18 H2X1Y19 H3X2Y12 H3X2Y13 H1X5Y20 H1X5Y21 H1X5Y22 H0X12Y20 H0X5Y6 H0X12Y22
H2X8Y11 H3X2Y11 H2X9Y8 H3X2Y22 H2X9Y6 H0X5Y0 H2X9Y4 H2X9Y5 H2X9Y2 H2X9Y3 H2X9Y0 H0X5Y1
H3X2Y20 H0X5Y2 H1X0Y14 H3X9Y8 H0X5Y3 H2X13Y4 H2X8Y10 H1X0Y8 H2X2Y16 H1X0Y9 H1X12Y14 H3X11Y14
H1X12Y10 H1X12Y11 H1X12Y12 H1X12Y13 H2X4Y22 H1X12Y18 H1X12Y19 H3X11Y12 H0X4Y9 H0X4Y8 H3X7Y17 H3X7Y16
H3X7Y11 H3X7Y10 H3X7Y13 H3X6Y5 H0X4Y1 H0X4Y0 H0X4Y3 H0X4Y2 H0X4Y5 H0X4Y4 H0X4Y7 H0X4Y6
H0X0Y19 H0X0Y18 H3X2Y2 H3X2Y3 H3X2Y4 H3X2Y5 H3X2Y6 H3X2Y7 H0X0Y11 H3X2Y9 H0X0Y13 H0X0Y12
H0X0Y15 H0X0Y14 H0X0Y17 H0X0Y16 H3X12Y18 H3X12Y19 H1X7Y1 H0X9Y2 H3X12Y13 H3X12Y10 H3X12Y11 H0X11Y0
H3X12Y14 H0X11Y1 H3X1Y13 H2X8Y15 H1X7Y21 H2X4Y5 H1X5Y0 H2X8Y14 H0X12Y9 H3X1Y16 H0X12Y1 H0X12Y0
H0X12Y3 H0X12Y2 H0X12Y5 H0X12Y4 H3X1Y11 H2X3Y22 H2X3Y21 H2X3Y20 H1X1Y22 H3X10Y21 H3X10Y20 H3X10Y22
H3X12Y4 H2X12Y2 H1X3Y22 H3X1Y2 H1X3Y20 H1X3Y21 H3X1Y7 H3X1Y6 H3X1Y5 H3X11Y2 H3X1Y9 H3X1Y8
H3X11Y1 H3X1Y10 H2X7Y22 H0X9Y0 H1X10Y2 H3X0Y14 H2X3Y8 H2X3Y9 H3X12Y3 H1X1Y15 H3X5Y19 H3X5Y18
H3X5Y17 H2X3Y1 H2X3Y2 H2X3Y3 H2X3Y4 H2X3Y5 H2X3Y6 H2X3Y7 H2X4Y17 H2X4Y16 H2X4Y15 H2X4Y14
H2X4Y13 H2X4Y12 H2X4Y11 H2X4Y10 H2X4Y19 H2X4Y18 H3X4Y8 H3X4Y9 H3X12Y9 H3X4Y2 H3X4Y3 H3X4Y0
H3X4Y1 H3X4Y6 H3X4Y7 H3X4Y4 H3X4Y5 H0X7Y2 H0X7Y3 H0X7Y0 H0X7Y1 H0X7Y6 H0X7Y7 H0X7Y4
H1X4Y2 H0X11Y2 H0X11Y3 H0X7Y8 H0X7Y9 H3X7Y3 H0X11Y4 H0X11Y5 H3X11Y9 H3X7Y2 H0X8Y20 H0X8Y21
H0X8Y22 H3X1Y15 H3X7Y5 H0X9Y3 H3X11Y0 H3X11Y5 H3X7Y4 H1X1Y5 H1X1Y4 H1X1Y7 H1X1Y6 H1X1Y1
H3X7Y7 H1X1Y3 H1X1Y2 H1X1Y9 H3X7Y6 H1X6Y21 H1X6Y20 H1X1Y8 H2X8Y16 H3X13Y18 H3X11Y18 H3X1Y14
H0X9Y4 H2X11Y22 H2X11Y21 H1X6Y22 H3X13Y19 H0X4Y20 H0X4Y21 H0X4Y22 H2X12Y22 H3X12Y12 H2X0Y22 H2X6Y22
H2X13Y20 H2X7Y16 H3X6Y16 H2X2Y9 H2X2Y8 H0X9Y5 H3X5Y11 H2X2Y5 H2X2Y4 H2X2Y7 H2X2Y6 H2X2Y1
H2X2Y0 H2X2Y3 H2X2Y2 H3X0Y22 H3X13Y9 H2X5Y2 H2X5Y3 H2X5Y0 H2X5Y1 H2X5Y6 H2X5Y7 H2X5Y4
H2X5Y5 H3X6Y17 H2X5Y8 H2X5Y9 H0X6Y22 H0X6Y20 H0X6Y21 H3X13Y3 H2X11Y20 H1X0Y22 H0X2Y9 H0X2Y8
H1X7Y22 H3X6Y14 H3X10Y9 H0X2Y3 H0X2Y2 H0X2Y1 H0X2Y0 H0X2Y7 H0X2Y6 H0X2Y5 H0X2Y4 H1X8Y8
H1X8Y9 H1X11Y19 H3X0Y20 H2X11Y5 H0X2Y22 H1X8Y1 H0X2Y20 H0X2Y21 H1X8Y4 H1X8Y5 H1X8Y6 H1X8Y7
H0X13Y22 H0X13Y21 H0X13Y20 H2X11Y0 H2X11Y1 H2X11Y2 H3X11Y13 H2X3Y0 H2X11Y3 H1X0Y5 H2X9Y21 H2X9Y20
H2X9Y22 H1X1Y11 H0X13Y13 H3X13Y5 H3X8Y21 H3X6Y22 H2X9Y9 H2X11Y9 H2X4Y7 H2X4Y6 H0X1Y18 H0X1Y19
H2X4Y3 H2X4Y2 H2X4Y1 H2X4Y0 H0X1Y12 H0X1Y13 H0X1Y10 H0X1Y11 H0X1Y16 H0X1Y17 H0X1Y14 H0X1Y15
H3X8Y14 H3X8Y15 H1X3Y19 H1X3Y18 H3X8Y10 H3X8Y11 H3X8Y12 H3X8Y13 H1X3Y13 H1X3Y12 H1X3Y11 H1X3Y10
H1X3Y17 H1X3Y16 H1X3Y15 H1X3Y14 H2X1Y21 H2X1Y20 H3X1Y21 H1X1Y13 H2X9Y1 H0X7Y5 H3X13Y10 H3X11Y10
H2X13Y9 H1X9Y9 H1X9Y8 H1X9Y5 H1X9Y4 H1X9Y7 H1X9Y6 H3X6Y11 H1X9Y0 H1X9Y3 H2X5Y15 H2X7Y20
H3X13Y20 H3X13Y13 H1X13Y13 H1X13Y12 H1X13Y11 H1X9Y18 H1X13Y14 H0X10Y22 H1X13Y19 H1X13Y18 H3X9Y1 H0X10Y20
H3X6Y8 H3X6Y9 H1X7Y9 H1X7Y8 H3X6Y4 H3X3Y20 H3X6Y6 H3X6Y7 H3X6Y0 H3X6Y1 H3X6Y2 H3X6Y3
H2X2Y22 H3X3Y22 H1X12Y5 H3X9Y0 H0X10Y21 H3X12Y0 H3X12Y1 H3X12Y2 H1X1Y14 H3X3Y21 H3X12Y5 H2X12Y0
H3X13Y22 H1X12Y9 H2X7Y18 H2X7Y19 H3X0Y21 H2X7Y17 H2X7Y14 H2X7Y15 H2X7Y12 H2X7Y13 H2X7Y10 H3X4Y18
H1X5Y15 H1X5Y14 H1X5Y17 H1X5Y16 H1X5Y11 H1X5Y10 H1X5Y13 H1X5Y12 H3X13Y14 H1X5Y19 H1X5Y18 H2X5Y18
H2X5Y19 H2X5Y10 H2X5Y11 H2X5Y12 H2X5Y13 H2X5Y14 H3X4Y19 H2X5Y16 H2X5Y17 H0X6Y17 H0X6Y16 H0X6Y15
H0X6Y14 H0X6Y13 H0X6Y12 H0X6Y11 H0X6Y10 H0X6Y19 H0X6Y18 H1X2Y8 H1X2Y9 H1X2Y6 H1X2Y7 H1X2Y4
H1X2Y5 H1X2Y2 H1X2Y3 H1X2Y0 H1X2Y1 H2X7Y4 H2X7Y5 H2X7Y6 H2X7Y7 H1X1Y16 H2X7Y1 H2X7Y2
H2X7Y3 H2X7Y8 H2X7Y9 H0X2Y13 H0X2Y12 H0X2Y11 H0X2Y10 H0X2Y17 H0X2Y16 H0X2Y15 H0X2Y14 H2X6Y1
H2X6Y0 H0X2Y19 H0X2Y18 H2X6Y5 H2X6Y4 H3X6Y18 H3X6Y19 H2X9Y7 H1X11Y20 H1X11Y21 H1X11Y22 H0X11Y9
H2X10Y18 H3X1Y22 H1X9Y11 H2X7Y0 H0X12Y21 H1X5Y1 H0X1Y22 H0X1Y21 H0X1Y20 H1X5Y5 H1X5Y4 H1X5Y7
H1X5Y6 H1X5Y9 H1X5Y8 H3X7Y15 H1X2Y22 H3X7Y14 H1X9Y10 H3X9Y9 H0X12Y10 H0X8Y11 H0X8Y10 H0X8Y13
H0X8Y12 H0X8Y15 H0X8Y14 H0X8Y17 H0X8Y16 H0X8Y19 H0X8Y18 H1X0Y21 H1X0Y20 H0X3Y14 H0X3Y15 H0X3Y16
H0X3Y17 H0X3Y10 H0X3Y11 H0X3Y12 H0X3Y13 H3X7Y12 H0X3Y18 H0X3Y19 H3X11Y4 H3X9Y3 H3X6Y15 H2X11Y18
H3X9Y2 H3X6Y12 H2X11Y14 H2X2Y20 H2X2Y21 H2X11Y10 H3X6Y13 H3X4Y10 H3X4Y11 H3X4Y12 H3X4Y13 H3X4Y14
H3X4Y15 H3X4Y16 H3X4Y17 H0X4Y15 H0X4Y14 H0X4Y17 H0X4Y16 H0X4Y11 H0X4Y10 H0X4Y13 H0X4Y12 H3X0Y6
H2X12Y10 H3X9Y5 H3X0Y7 H2X6Y9 H1X7Y10 H2X6Y3 H1X0Y0 H3X2Y0 H1X0Y2 H2X6Y2 H1X2Y18 H1X2Y19
H3X11Y19 H3X2Y1 H1X2Y14 H1X2Y15 H1X2Y16 H1X2Y17 H1X2Y10 H1X2Y11 H1X2Y12 H1X2Y13 H2X8Y17 H3X8Y22
H3X0Y10 H2X6Y7 H2X6Y8 H3X0Y18 H2X6Y6 H3X10Y4 H1X0Y1 H3X0Y19 H1X10Y4 H1X10Y5 H3X10Y5 H1X10Y0
H1X10Y1 H2X7Y21 H1X10Y3 H3X10Y2 H3X13Y2 H3X0Y9 H1X10Y9 H1X11Y0 H3X10Y3 H3X2Y8 H3X10Y0 H0X0Y10
H0X13Y9 H2X7Y11 H3X10Y1 H2X13Y21 H1X9Y13 H2X13Y22 H0X3Y21 H3X0Y17 H0X3Y20 H1X9Y15 H0X9Y1 H1X9Y14
H0X13Y14 H0X13Y12 H1X9Y17 H0X13Y10 H0X13Y11 H1X0Y3 H1X9Y16 H0X13Y18 H0X13Y19 H2X8Y3 H2X8Y2 H2X8Y1
H2X8Y0 H2X8Y7 H2X8Y6 H2X8Y5 H2X8Y4 H2X8Y9 H2X8Y8 H1X8Y0 H3X0Y15 H1X11Y14 H1X0Y4 H3X13Y21
H1X10Y11 H1X8Y2 H1X8Y3 H1X11Y18 H3X6Y21 H1X11Y11 H2X10Y21 H1X11Y10 H3X0Y16 H2X8Y19 H2X8Y18 H1X11Y13
H1X7Y19 H1X7Y18 H1X7Y17 H1X7Y16 H1X7Y15 H1X7Y14 H1X7Y13 H1X7Y12 H1X7Y11 H3X6Y20 H1X9Y19 H3X8Y20
H2X0Y9 H2X0Y8 H3X0Y5 H2X13Y3 H2X0Y3 H2X0Y2 H2X0Y1 H1X9Y12 H2X0Y7 H2X0Y6 H2X0Y5 H2X0Y4
H0X11Y21 H0X11Y20 H0X11Y22 H2X8Y12 H2X10Y11 - location
)
(:init (= (total-cost) 0)
(at robot0 H0X9Y10) (at robot1 H3X5Y11)
(avail robot0) (avail robot1)
(at p0 H3X5Y12) (at p1 H0X10Y10) (at p2 H0X10Y10) (at p3 H3X2Y20)
(avail p0) (avail p1) (avail p2) (avail p3)
(connected H3X0Y2 H3X0Y2) (= (distance H3X0Y2 H3X0Y2) 0)
(connected H3X0Y2 H1X3Y2) (= (distance H3X0Y2 H1X3Y2) 1)
(connected H3X0Y2 H3X0Y3) (= (distance H3X0Y2 H3X0Y3) 1)
(connected H3X0Y2 H3X0Y1) (= (distance H3X0Y2 H3X0Y1) 1)
(connected H2X11Y4 H2X11Y4) (= (distance H2X11Y4 H2X11Y4) 0)
(connected H2X11Y4 H2X8Y3) (= (distance H2X11Y4 H2X8Y3) 1)
(connected H2X11Y4 H1X9Y6) (= (distance H2X11Y4 H1X9Y6) 1)
(connected H2X11Y4 H2X10Y4) (= (distance H2X11Y4 H2X10Y4) 1)
(connected H2X11Y4 H2X8Y5) (= (distance H2X11Y4 H2X8Y5) 1)
(connected H2X11Y4 H2X12Y4) (= (distance H2X11Y4 H2X12Y4) 1)
(connected H2X11Y4 H2X7Y4) (= (distance H2X11Y4 H2X7Y4) 1)
(connected H2X11Y4 H0X11Y1) (= (distance H2X11Y4 H0X11Y1) 1)
(connected H2X11Y4 H3X9Y2) (= (distance H2X11Y4 H3X9Y2) 1)
(connected H1X4Y4 H1X4Y4) (= (distance H1X4Y4 H1X4Y4) 0)
(connected H1X4Y4 H0X6Y6) (= (distance H1X4Y4 H0X6Y6) 1)
(connected H1X4Y4 H1X4Y8) (= (distance H1X4Y4 H1X4Y8) 1)
(connected H1X4Y4 H1X3Y7) (= (distance H1X4Y4 H1X3Y7) 1)
(connected H1X4Y4 H3X7Y4) (= (distance H1X4Y4 H3X7Y4) 1)
(connected H1X4Y4 H1X5Y7) (= (distance H1X4Y4 H1X5Y7) 1)
(connected H1X4Y4 H3X1Y4) (= (distance H1X4Y4 H3X1Y4) 1)
(connected H1X4Y4 H1X4Y5) (= (distance H1X4Y4 H1X4Y5) 1)
(connected H1X4Y4 H2X2Y6) (= (distance H1X4Y4 H2X2Y6) 1)
(connected H1X4Y4 H1X4Y3) (= (distance H1X4Y4 H1X4Y3) 1)
(connected H1X0Y7 H1X0Y7) (= (distance H1X0Y7 H1X0Y7) 0)
(connected H1X0Y7 H3X3Y7) (= (distance H1X0Y7 H3X3Y7) 1)
(connected H1X0Y7 H1X0Y11) (= (distance H1X0Y7 H1X0Y11) 1)
(connected H1X0Y7 H1X0Y6) (= (distance H1X0Y7 H1X0Y6) 1)
(connected H1X0Y7 H1X0Y8) (= (distance H1X0Y7 H1X0Y8) 1)
(connected H1X0Y7 H1X1Y10) (= (distance H1X0Y7 H1X1Y10) 1)
(connected H1X0Y7 H0X2Y9) (= (distance H1X0Y7 H0X2Y9) 1)
(connected H1X1Y17 H1X1Y17) (= (distance H1X1Y17 H1X1Y17) 0)
(connected H1X1Y17 H3X4Y17) (= (distance H1X1Y17 H3X4Y17) 1)
(connected H1X1Y17 H1X2Y20) (= (distance H1X1Y17 H1X2Y20) 1)
(connected H1X1Y17 H0X3Y19) (= (distance H1X1Y17 H0X3Y19) 1)
(connected H1X1Y17 H1X1Y21) (= (distance H1X1Y17 H1X1Y21) 1)
(connected H1X1Y17 H1X1Y16) (= (distance H1X1Y17 H1X1Y16) 1)
(connected H1X1Y17 H1X1Y18) (= (distance H1X1Y17 H1X1Y18) 1)
(connected H1X1Y17 H1X0Y20) (= (distance H1X1Y17 H1X0Y20) 1)
(connected H1X4Y5 H1X4Y5) (= (distance H1X4Y5 H1X4Y5) 0)
(connected H1X4Y5 H0X6Y7) (= (distance H1X4Y5 H0X6Y7) 1)
(connected H1X4Y5 H3X7Y5) (= (distance H1X4Y5 H3X7Y5) 1)
(connected H1X4Y5 H1X4Y9) (= (distance H1X4Y5 H1X4Y9) 1)
(connected H1X4Y5 H3X1Y5) (= (distance H1X4Y5 H3X1Y5) 1)
(connected H1X4Y5 H1X4Y4) (= (distance H1X4Y5 H1X4Y4) 1)
(connected H1X4Y5 H1X5Y8) (= (distance H1X4Y5 H1X5Y8) 1)
(connected H1X4Y5 H1X4Y6) (= (distance H1X4Y5 H1X4Y6) 1)
(connected H1X4Y5 H1X3Y8) (= (distance H1X4Y5 H1X3Y8) 1)
(connected H1X4Y5 H2X2Y7) (= (distance H1X4Y5 H2X2Y7) 1)
(connected H0X7Y21 H0X7Y21) (= (distance H0X7Y21 H0X7Y21) 0)
(connected H0X7Y21 H2X7Y18) (= (distance H0X7Y21 H2X7Y18) 1)
(connected H0X7Y21 H3X9Y19) (= (distance H0X7Y21 H3X9Y19) 1)
(connected H0X7Y21 H0X11Y21) (= (distance H0X7Y21 H0X11Y21) 1)
(connected H0X7Y21 H0X8Y21) (= (distance H0X7Y21 H0X8Y21) 1)
(connected H0X7Y21 H0X10Y22) (= (distance H0X7Y21 H0X10Y22) 1)
(connected H0X7Y21 H0X10Y20) (= (distance H0X7Y21 H0X10Y20) 1)
(connected H0X7Y21 H0X6Y21) (= (distance H0X7Y21 H0X6Y21) 1)
(connected H1X4Y6 H1X4Y6) (= (distance H1X4Y6 H1X4Y6) 0)
(connected H1X4Y6 H1X4Y10) (= (distance H1X4Y6 H1X4Y10) 1)
(connected H1X4Y6 H0X6Y8) (= (distance H1X4Y6 H0X6Y8) 1)
(connected H1X4Y6 H2X2Y8) (= (distance H1X4Y6 H2X2Y8) 1)
(connected H1X4Y6 H3X7Y6) (= (distance H1X4Y6 H3X7Y6) 1)
(connected H1X4Y6 H1X5Y9) (= (distance H1X4Y6 H1X5Y9) 1)
(connected H1X4Y6 H1X4Y5) (= (distance H1X4Y6 H1X4Y5) 1)
(connected H1X4Y6 H1X3Y9) (= (distance H1X4Y6 H1X3Y9) 1)
(connected H1X4Y6 H1X4Y7) (= (distance H1X4Y6 H1X4Y7) 1)
(connected H1X4Y6 H3X1Y6) (= (distance H1X4Y6 H3X1Y6) 1)
(connected H1X4Y7 H1X4Y7) (= (distance H1X4Y7 H1X4Y7) 0)
(connected H1X4Y7 H3X1Y7) (= (distance H1X4Y7 H3X1Y7) 1)
(connected H1X4Y7 H1X4Y11) (= (distance H1X4Y7 H1X4Y11) 1)
(connected H1X4Y7 H1X3Y10) (= (distance H1X4Y7 H1X3Y10) 1)
(connected H1X4Y7 H0X6Y9) (= (distance H1X4Y7 H0X6Y9) 1)
(connected H1X4Y7 H2X2Y9) (= (distance H1X4Y7 H2X2Y9) 1)
(connected H1X4Y7 H1X5Y10) (= (distance H1X4Y7 H1X5Y10) 1)
(connected H1X4Y7 H3X7Y7) (= (distance H1X4Y7 H3X7Y7) 1)
(connected H1X4Y7 H1X4Y8) (= (distance H1X4Y7 H1X4Y8) 1)
(connected H1X4Y7 H1X4Y6) (= (distance H1X4Y7 H1X4Y6) 1)
(connected H1X13Y22 H1X13Y22) (= (distance H1X13Y22 H1X13Y22) 0)
(connected H1X13Y22 H3X10Y22) (= (distance H1X13Y22 H3X10Y22) 1)
(connected H1X13Y22 H1X13Y21) (= (distance H1X13Y22 H1X13Y21) 1)
(connected H1X13Y20 H1X13Y20) (= (distance H1X13Y20 H1X13Y20) 0)
(connected H1X13Y20 H3X10Y20) (= (distance H1X13Y20 H3X10Y20) 1)
(connected H1X13Y20 H1X13Y19) (= (distance H1X13Y20 H1X13Y19) 1)
(connected H1X13Y20 H1X13Y21) (= (distance H1X13Y20 H1X13Y21) 1)
(connected H1X13Y21 H1X13Y21) (= (distance H1X13Y21 H1X13Y21) 0)
(connected H1X13Y21 H3X10Y21) (= (distance H1X13Y21 H3X10Y21) 1)
(connected H1X13Y21 H1X13Y22) (= (distance H1X13Y21 H1X13Y22) 1)
(connected H1X13Y21 H1X13Y20) (= (distance H1X13Y21 H1X13Y20) 1)
(connected H1X4Y0 H1X4Y0) (= (distance H1X4Y0 H1X4Y0) 0)
(connected H1X4Y0 H0X6Y2) (= (distance H1X4Y0 H0X6Y2) 1)
(connected H1X4Y0 H1X3Y3) (= (distance H1X4Y0 H1X3Y3) 1)
(connected H1X4Y0 H3X7Y0) (= (distance H1X4Y0 H3X7Y0) 1)
(connected H1X4Y0 H1X5Y3) (= (distance H1X4Y0 H1X5Y3) 1)
(connected H1X4Y0 H3X1Y0) (= (distance H1X4Y0 H3X1Y0) 1)
(connected H1X4Y0 H1X4Y4) (= (distance H1X4Y0 H1X4Y4) 1)
(connected H1X4Y0 H1X4Y1) (= (distance H1X4Y0 H1X4Y1) 1)
(connected H1X4Y0 H2X2Y2) (= (distance H1X4Y0 H2X2Y2) 1)
(connected H3X0Y11 H3X0Y11) (= (distance H3X0Y11 H3X0Y11) 0)
(connected H3X0Y11 H3X0Y7) (= (distance H3X0Y11 H3X0Y7) 1)
(connected H3X0Y11 H1X3Y11) (= (distance H3X0Y11 H1X3Y11) 1)
(connected H3X0Y11 H3X0Y10) (= (distance H3X0Y11 H3X0Y10) 1)
(connected H3X0Y11 H3X0Y12) (= (distance H3X0Y11 H3X0Y12) 1)
(connected H3X0Y11 H0X2Y9) (= (distance H3X0Y11 H0X2Y9) 1)
(connected H3X0Y11 H3X1Y8) (= (distance H3X0Y11 H3X1Y8) 1)
(connected H3X8Y16 H3X8Y16) (= (distance H3X8Y16 H3X8Y16) 0)
(connected H3X8Y16 H3X8Y15) (= (distance H3X8Y16 H3X8Y15) 1)
(connected H3X8Y16 H3X8Y17) (= (distance H3X8Y16 H3X8Y17) 1)
(connected H3X8Y16 H3X8Y12) (= (distance H3X8Y16 H3X8Y12) 1)
(connected H1X3Y3 H1X3Y3) (= (distance H1X3Y3 H1X3Y3) 0)
(connected H1X3Y3 H0X5Y5) (= (distance H1X3Y3 H0X5Y5) 1)
(connected H1X3Y3 H2X1Y5) (= (distance H1X3Y3 H2X1Y5) 1)
(connected H1X3Y3 H1X2Y6) (= (distance H1X3Y3 H1X2Y6) 1)
(connected H1X3Y3 H3X0Y3) (= (distance H1X3Y3 H3X0Y3) 1)
(connected H1X3Y3 H1X3Y2) (= (distance H1X3Y3 H1X3Y2) 1)
(connected H1X3Y3 H1X3Y7) (= (distance H1X3Y3 H1X3Y7) 1)
(connected H1X3Y3 H1X3Y4) (= (distance H1X3Y3 H1X3Y4) 1)
(connected H1X3Y3 H1X4Y6) (= (distance H1X3Y3 H1X4Y6) 1)
(connected H1X3Y3 H3X6Y3) (= (distance H1X3Y3 H3X6Y3) 1)
(connected H1X3Y2 H1X3Y2) (= (distance H1X3Y2 H1X3Y2) 0)
(connected H1X3Y2 H0X5Y4) (= (distance H1X3Y2 H0X5Y4) 1)
(connected H1X3Y2 H2X1Y4) (= (distance H1X3Y2 H2X1Y4) 1)
(connected H1X3Y2 H1X2Y5) (= (distance H1X3Y2 H1X2Y5) 1)
(connected H1X3Y2 H3X0Y2) (= (distance H1X3Y2 H3X0Y2) 1)
(connected H1X3Y2 H1X3Y3) (= (distance H1X3Y2 H1X3Y3) 1)
(connected H1X3Y2 H1X3Y1) (= (distance H1X3Y2 H1X3Y1) 1)
(connected H1X3Y2 H1X3Y6) (= (distance H1X3Y2 H1X3Y6) 1)
(connected H1X3Y2 H1X4Y5) (= (distance H1X3Y2 H1X4Y5) 1)
(connected H1X3Y2 H3X6Y2) (= (distance H1X3Y2 H3X6Y2) 1)
(connected H1X3Y1 H1X3Y1) (= (distance H1X3Y1 H1X3Y1) 0)
(connected H1X3Y1 H2X1Y3) (= (distance H1X3Y1 H2X1Y3) 1)
(connected H1X3Y1 H0X5Y3) (= (distance H1X3Y1 H0X5Y3) 1)
(connected H1X3Y1 H1X2Y4) (= (distance H1X3Y1 H1X2Y4) 1)
(connected H1X3Y1 H3X0Y1) (= (distance H1X3Y1 H3X0Y1) 1)
(connected H1X3Y1 H1X3Y2) (= (distance H1X3Y1 H1X3Y2) 1)
(connected H1X3Y1 H1X3Y0) (= (distance H1X3Y1 H1X3Y0) 1)
(connected H1X3Y1 H1X3Y5) (= (distance H1X3Y1 H1X3Y5) 1)
(connected H1X3Y1 H1X4Y4) (= (distance H1X3Y1 H1X4Y4) 1)
(connected H1X3Y1 H3X6Y1) (= (distance H1X3Y1 H3X6Y1) 1)
(connected H1X3Y0 H1X3Y0) (= (distance H1X3Y0 H1X3Y0) 0)
(connected H1X3Y0 H2X1Y2) (= (distance H1X3Y0 H2X1Y2) 1)
(connected H1X3Y0 H0X5Y2) (= (distance H1X3Y0 H0X5Y2) 1)
(connected H1X3Y0 H1X2Y3) (= (distance H1X3Y0 H1X2Y3) 1)
(connected H1X3Y0 H3X0Y0) (= (distance H1X3Y0 H3X0Y0) 1)
(connected H1X3Y0 H1X3Y1) (= (distance H1X3Y0 H1X3Y1) 1)
(connected H1X3Y0 H1X3Y4) (= (distance H1X3Y0 H1X3Y4) 1)
(connected H1X3Y0 H3X6Y0) (= (distance H1X3Y0 H3X6Y0) 1)
(connected H1X3Y0 H1X4Y3) (= (distance H1X3Y0 H1X4Y3) 1)
(connected H1X3Y7 H1X3Y7) (= (distance H1X3Y7 H1X3Y7) 0)
(connected H1X3Y7 H3X6Y7) (= (distance H1X3Y7 H3X6Y7) 1)
(connected H1X3Y7 H1X4Y10) (= (distance H1X3Y7 H1X4Y10) 1)
(connected H1X3Y7 H3X0Y7) (= (distance H1X3Y7 H3X0Y7) 1)
(connected H1X3Y7 H1X3Y11) (= (distance H1X3Y7 H1X3Y11) 1)
(connected H1X3Y7 H1X2Y10) (= (distance H1X3Y7 H1X2Y10) 1)
(connected H1X3Y7 H0X5Y9) (= (distance H1X3Y7 H0X5Y9) 1)
(connected H1X3Y7 H2X1Y9) (= (distance H1X3Y7 H2X1Y9) 1)
(connected H1X3Y7 H1X3Y6) (= (distance H1X3Y7 H1X3Y6) 1)
(connected H1X3Y7 H1X3Y8) (= (distance H1X3Y7 H1X3Y8) 1)
(connected H1X3Y6 H1X3Y6) (= (distance H1X3Y6 H1X3Y6) 0)
(connected H1X3Y6 H1X2Y9) (= (distance H1X3Y6 H1X2Y9) 1)
(connected H1X3Y6 H3X0Y6) (= (distance H1X3Y6 H3X0Y6) 1)
(connected H1X3Y6 H1X3Y10) (= (distance H1X3Y6 H1X3Y10) 1)
(connected H1X3Y6 H0X5Y8) (= (distance H1X3Y6 H0X5Y8) 1)
(connected H1X3Y6 H2X1Y8) (= (distance H1X3Y6 H2X1Y8) 1)
(connected H1X3Y6 H1X3Y7) (= (distance H1X3Y6 H1X3Y7) 1)
(connected H1X3Y6 H1X4Y9) (= (distance H1X3Y6 H1X4Y9) 1)
(connected H1X3Y6 H1X3Y5) (= (distance H1X3Y6 H1X3Y5) 1)
(connected H1X3Y6 H3X6Y6) (= (distance H1X3Y6 H3X6Y6) 1)
(connected H1X3Y5 H1X3Y5) (= (distance H1X3Y5 H1X3Y5) 0)
(connected H1X3Y5 H2X1Y7) (= (distance H1X3Y5 H2X1Y7) 1)
(connected H1X3Y5 H0X5Y7) (= (distance H1X3Y5 H0X5Y7) 1)
(connected H1X3Y5 H1X2Y8) (= (distance H1X3Y5 H1X2Y8) 1)
(connected H1X3Y5 H3X0Y5) (= (distance H1X3Y5 H3X0Y5) 1)
(connected H1X3Y5 H1X4Y8) (= (distance H1X3Y5 H1X4Y8) 1)
(connected H1X3Y5 H1X3Y6) (= (distance H1X3Y5 H1X3Y6) 1)
(connected H1X3Y5 H1X3Y4) (= (distance H1X3Y5 H1X3Y4) 1)
(connected H1X3Y5 H3X6Y5) (= (distance H1X3Y5 H3X6Y5) 1)
(connected H1X3Y5 H1X3Y9) (= (distance H1X3Y5 H1X3Y9) 1)
(connected H1X3Y4 H1X3Y4) (= (distance H1X3Y4 H1X3Y4) 0)
(connected H1X3Y4 H2X1Y6) (= (distance H1X3Y4 H2X1Y6) 1)
(connected H1X3Y4 H0X5Y6) (= (distance H1X3Y4 H0X5Y6) 1)
(connected H1X3Y4 H1X3Y8) (= (distance H1X3Y4 H1X3Y8) 1)
(connected H1X3Y4 H1X2Y7) (= (distance H1X3Y4 H1X2Y7) 1)
(connected H1X3Y4 H3X0Y4) (= (distance H1X3Y4 H3X0Y4) 1)
(connected H1X3Y4 H1X3Y3) (= (distance H1X3Y4 H1X3Y3) 1)
(connected H1X3Y4 H1X3Y5) (= (distance H1X3Y4 H1X3Y5) 1)
(connected H1X3Y4 H3X6Y4) (= (distance H1X3Y4 H3X6Y4) 1)
(connected H1X3Y4 H1X4Y7) (= (distance H1X3Y4 H1X4Y7) 1)
(connected H1X3Y9 H1X3Y9) (= (distance H1X3Y9 H1X3Y9) 0)
(connected H1X3Y9 H3X6Y9) (= (distance H1X3Y9 H3X6Y9) 1)
(connected H1X3Y9 H1X4Y12) (= (distance H1X3Y9 H1X4Y12) 1)
(connected H1X3Y9 H3X0Y9) (= (distance H1X3Y9 H3X0Y9) 1)
(connected H1X3Y9 H1X3Y13) (= (distance H1X3Y9 H1X3Y13) 1)
(connected H1X3Y9 H1X3Y10) (= (distance H1X3Y9 H1X3Y10) 1)
(connected H1X3Y9 H1X2Y12) (= (distance H1X3Y9 H1X2Y12) 1)
(connected H1X3Y9 H2X1Y11) (= (distance H1X3Y9 H2X1Y11) 1)
(connected H1X3Y9 H1X3Y8) (= (distance H1X3Y9 H1X3Y8) 1)
(connected H1X3Y9 H0X5Y11) (= (distance H1X3Y9 H0X5Y11) 1)
(connected H1X3Y8 H1X3Y8) (= (distance H1X3Y8 H1X3Y8) 0)
(connected H1X3Y8 H3X6Y8) (= (distance H1X3Y8 H3X6Y8) 1)
(connected H1X3Y8 H3X0Y8) (= (distance H1X3Y8 H3X0Y8) 1)
(connected H1X3Y8 H1X4Y11) (= (distance H1X3Y8 H1X4Y11) 1)
(connected H1X3Y8 H1X3Y12) (= (distance H1X3Y8 H1X3Y12) 1)
(connected H1X3Y8 H1X2Y11) (= (distance H1X3Y8 H1X2Y11) 1)
(connected H1X3Y8 H2X1Y10) (= (distance H1X3Y8 H2X1Y10) 1)
(connected H1X3Y8 H1X3Y7) (= (distance H1X3Y8 H1X3Y7) 1)
(connected H1X3Y8 H1X3Y9) (= (distance H1X3Y8 H1X3Y9) 1)
(connected H1X3Y8 H0X5Y10) (= (distance H1X3Y8 H0X5Y10) 1)
(connected H2X13Y14 H2X13Y14) (= (distance H2X13Y14 H2X13Y14) 0)
(connected H2X13Y14 H2X9Y14) (= (distance H2X13Y14 H2X9Y14) 1)
(connected H2X13Y14 H2X12Y14) (= (distance H2X13Y14 H2X12Y14) 1)
(connected H2X13Y10 H2X13Y10) (= (distance H2X13Y10 H2X13Y10) 0)
(connected H2X13Y10 H2X10Y11) (= (distance H2X13Y10 H2X10Y11) 1)
(connected H2X13Y10 H2X12Y10) (= (distance H2X13Y10 H2X12Y10) 1)
(connected H2X13Y10 H2X9Y10) (= (distance H2X13Y10 H2X9Y10) 1)
(connected H2X13Y10 H0X13Y13) (= (distance H2X13Y10 H0X13Y13) 1)
(connected H2X13Y10 H1X11Y12) (= (distance H2X13Y10 H1X11Y12) 1)
(connected H2X13Y11 H2X13Y11) (= (distance H2X13Y11 H2X13Y11) 0)
(connected H2X13Y11 H2X12Y11) (= (distance H2X13Y11 H2X12Y11) 1)
(connected H2X13Y11 H2X10Y12) (= (distance H2X13Y11 H2X10Y12) 1)
(connected H2X13Y11 H2X9Y11) (= (distance H2X13Y11 H2X9Y11) 1)
(connected H2X13Y11 H1X11Y13) (= (distance H2X13Y11 H1X11Y13) 1)
(connected H2X13Y11 H2X10Y10) (= (distance H2X13Y11 H2X10Y10) 1)
(connected H2X13Y12 H2X13Y12) (= (distance H2X13Y12 H2X13Y12) 0)
(connected H2X13Y12 H2X12Y12) (= (distance H2X13Y12 H2X12Y12) 1)
(connected H2X13Y12 H2X10Y11) (= (distance H2X13Y12 H2X10Y11) 1)
(connected H2X13Y12 H2X10Y13) (= (distance H2X13Y12 H2X10Y13) 1)
(connected H2X13Y12 H2X9Y12) (= (distance H2X13Y12 H2X9Y12) 1)
(connected H2X13Y12 H3X11Y10) (= (distance H2X13Y12 H3X11Y10) 1)
(connected H2X13Y13 H2X13Y13) (= (distance H2X13Y13 H2X13Y13) 0)
(connected H2X13Y13 H2X12Y13) (= (distance H2X13Y13 H2X12Y13) 1)
(connected H2X13Y13 H2X10Y12) (= (distance H2X13Y13 H2X10Y12) 1)
(connected H2X13Y13 H0X13Y10) (= (distance H2X13Y13 H0X13Y10) 1)
(connected H2X13Y13 H3X11Y11) (= (distance H2X13Y13 H3X11Y11) 1)
(connected H2X13Y13 H2X9Y13) (= (distance H2X13Y13 H2X9Y13) 1)
(connected H3X0Y12 H3X0Y12) (= (distance H3X0Y12 H3X0Y12) 0)
(connected H3X0Y12 H0X2Y10) (= (distance H3X0Y12 H0X2Y10) 1)
(connected H3X0Y12 H3X0Y8) (= (distance H3X0Y12 H3X0Y8) 1)
(connected H3X0Y12 H1X3Y12) (= (distance H3X0Y12 H1X3Y12) 1)
(connected H3X0Y12 H3X0Y11) (= (distance H3X0Y12 H3X0Y11) 1)
(connected H3X0Y12 H3X0Y13) (= (distance H3X0Y12 H3X0Y13) 1)
(connected H3X0Y12 H3X1Y9) (= (distance H3X0Y12 H3X1Y9) 1)
(connected H2X13Y18 H2X13Y18) (= (distance H2X13Y18 H2X13Y18) 0)
(connected H2X13Y18 H2X12Y18) (= (distance H2X13Y18 H2X12Y18) 1)
(connected H2X13Y18 H2X9Y18) (= (distance H2X13Y18 H2X9Y18) 1)
(connected H2X13Y19 H2X13Y19) (= (distance H2X13Y19 H2X13Y19) 0)
(connected H2X13Y19 H2X12Y19) (= (distance H2X13Y19 H2X12Y19) 1)
(connected H2X13Y19 H2X10Y20) (= (distance H2X13Y19 H2X10Y20) 1)
(connected H2X13Y19 H2X9Y19) (= (distance H2X13Y19 H2X9Y19) 1)
(connected H2X13Y19 H1X11Y21) (= (distance H2X13Y19 H1X11Y21) 1)
(connected H0X3Y6 H0X3Y6) (= (distance H0X3Y6 H0X3Y6) 0)
(connected H0X3Y6 H0X6Y7) (= (distance H0X3Y6 H0X6Y7) 1)
(connected H0X3Y6 H0X6Y5) (= (distance H0X3Y6 H0X6Y5) 1)
(connected H0X3Y6 H2X3Y3) (= (distance H0X3Y6 H2X3Y3) 1)
(connected H0X3Y6 H0X7Y6) (= (distance H0X3Y6 H0X7Y6) 1)
(connected H0X3Y6 H2X3Y9) (= (distance H0X3Y6 H2X3Y9) 1)
(connected H0X3Y6 H1X5Y8) (= (distance H0X3Y6 H1X5Y8) 1)
(connected H0X3Y6 H3X5Y4) (= (distance H0X3Y6 H3X5Y4) 1)
(connected H0X3Y6 H0X2Y6) (= (distance H0X3Y6 H0X2Y6) 1)
(connected H0X3Y6 H0X4Y6) (= (distance H0X3Y6 H0X4Y6) 1)
(connected H0X3Y7 H0X3Y7) (= (distance H0X3Y7 H0X3Y7) 0)
(connected H0X3Y7 H0X6Y6) (= (distance H0X3Y7 H0X6Y6) 1)
(connected H0X3Y7 H0X7Y7) (= (distance H0X3Y7 H0X7Y7) 1)
(connected H0X3Y7 H2X3Y4) (= (distance H0X3Y7 H2X3Y4) 1)
(connected H0X3Y7 H2X3Y10) (= (distance H0X3Y7 H2X3Y10) 1)
(connected H0X3Y7 H0X6Y8) (= (distance H0X3Y7 H0X6Y8) 1)
(connected H0X3Y7 H1X5Y9) (= (distance H0X3Y7 H1X5Y9) 1)
(connected H0X3Y7 H3X5Y5) (= (distance H0X3Y7 H3X5Y5) 1)
(connected H0X3Y7 H0X2Y7) (= (distance H0X3Y7 H0X2Y7) 1)
(connected H0X3Y7 H0X4Y7) (= (distance H0X3Y7 H0X4Y7) 1)
(connected H0X3Y4 H0X3Y4) (= (distance H0X3Y4 H0X3Y4) 0)
(connected H0X3Y4 H0X6Y5) (= (distance H0X3Y4 H0X6Y5) 1)
(connected H0X3Y4 H0X6Y3) (= (distance H0X3Y4 H0X6Y3) 1)
(connected H0X3Y4 H0X7Y4) (= (distance H0X3Y4 H0X7Y4) 1)
(connected H0X3Y4 H3X5Y2) (= (distance H0X3Y4 H3X5Y2) 1)
(connected H0X3Y4 H1X5Y6) (= (distance H0X3Y4 H1X5Y6) 1)
(connected H0X3Y4 H2X3Y1) (= (distance H0X3Y4 H2X3Y1) 1)
(connected H0X3Y4 H2X3Y7) (= (distance H0X3Y4 H2X3Y7) 1)
(connected H0X3Y4 H0X4Y4) (= (distance H0X3Y4 H0X4Y4) 1)
(connected H0X3Y4 H0X2Y4) (= (distance H0X3Y4 H0X2Y4) 1)
(connected H0X3Y5 H0X3Y5) (= (distance H0X3Y5 H0X3Y5) 0)
(connected H0X3Y5 H0X6Y6) (= (distance H0X3Y5 H0X6Y6) 1)
(connected H0X3Y5 H0X6Y4) (= (distance H0X3Y5 H0X6Y4) 1)
(connected H0X3Y5 H0X7Y5) (= (distance H0X3Y5 H0X7Y5) 1)
(connected H0X3Y5 H3X5Y3) (= (distance H0X3Y5 H3X5Y3) 1)
(connected H0X3Y5 H2X3Y8) (= (distance H0X3Y5 H2X3Y8) 1)
(connected H0X3Y5 H1X5Y7) (= (distance H0X3Y5 H1X5Y7) 1)
(connected H0X3Y5 H2X3Y2) (= (distance H0X3Y5 H2X3Y2) 1)
(connected H0X3Y5 H0X4Y5) (= (distance H0X3Y5 H0X4Y5) 1)
(connected H0X3Y5 H0X2Y5) (= (distance H0X3Y5 H0X2Y5) 1)
(connected H0X3Y2 H0X3Y2) (= (distance H0X3Y2 H0X3Y2) 0)
(connected H0X3Y2 H0X7Y2) (= (distance H0X3Y2 H0X7Y2) 1)
(connected H0X3Y2 H0X6Y3) (= (distance H0X3Y2 H0X6Y3) 1)
(connected H0X3Y2 H0X6Y1) (= (distance H0X3Y2 H0X6Y1) 1)
(connected H0X3Y2 H1X5Y4) (= (distance H0X3Y2 H1X5Y4) 1)
(connected H0X3Y2 H0X2Y2) (= (distance H0X3Y2 H0X2Y2) 1)
(connected H0X3Y2 H0X4Y2) (= (distance H0X3Y2 H0X4Y2) 1)
(connected H0X3Y2 H2X3Y5) (= (distance H0X3Y2 H2X3Y5) 1)
(connected H0X3Y2 H3X5Y0) (= (distance H0X3Y2 H3X5Y0) 1)
(connected H0X3Y3 H0X3Y3) (= (distance H0X3Y3 H0X3Y3) 0)
(connected H0X3Y3 H0X7Y3) (= (distance H0X3Y3 H0X7Y3) 1)
(connected H0X3Y3 H0X6Y4) (= (distance H0X3Y3 H0X6Y4) 1)
(connected H0X3Y3 H0X6Y2) (= (distance H0X3Y3 H0X6Y2) 1)
(connected H0X3Y3 H1X5Y5) (= (distance H0X3Y3 H1X5Y5) 1)
(connected H0X3Y3 H2X3Y6) (= (distance H0X3Y3 H2X3Y6) 1)
(connected H0X3Y3 H0X2Y3) (= (distance H0X3Y3 H0X2Y3) 1)
(connected H0X3Y3 H0X4Y3) (= (distance H0X3Y3 H0X4Y3) 1)
(connected H0X3Y3 H3X5Y1) (= (distance H0X3Y3 H3X5Y1) 1)
(connected H0X3Y0 H0X3Y0) (= (distance H0X3Y0 H0X3Y0) 0)
(connected H0X3Y0 H0X7Y0) (= (distance H0X3Y0 H0X7Y0) 1)
(connected H0X3Y0 H0X2Y0) (= (distance H0X3Y0 H0X2Y0) 1)
(connected H0X3Y0 H0X6Y1) (= (distance H0X3Y0 H0X6Y1) 1)
(connected H0X3Y0 H1X5Y2) (= (distance H0X3Y0 H1X5Y2) 1)
(connected H0X3Y0 H0X4Y0) (= (distance H0X3Y0 H0X4Y0) 1)
(connected H0X3Y0 H2X3Y3) (= (distance H0X3Y0 H2X3Y3) 1)
(connected H0X3Y1 H0X3Y1) (= (distance H0X3Y1 H0X3Y1) 0)
(connected H0X3Y1 H0X7Y1) (= (distance H0X3Y1 H0X7Y1) 1)
(connected H0X3Y1 H0X6Y2) (= (distance H0X3Y1 H0X6Y2) 1)
(connected H0X3Y1 H0X6Y0) (= (distance H0X3Y1 H0X6Y0) 1)
(connected H0X3Y1 H1X5Y3) (= (distance H0X3Y1 H1X5Y3) 1)
(connected H0X3Y1 H0X4Y1) (= (distance H0X3Y1 H0X4Y1) 1)
(connected H0X3Y1 H0X2Y1) (= (distance H0X3Y1 H0X2Y1) 1)
(connected H0X3Y1 H2X3Y4) (= (distance H0X3Y1 H2X3Y4) 1)
(connected H1X10Y22 H1X10Y22) (= (distance H1X10Y22 H1X10Y22) 0)
(connected H1X10Y22 H3X13Y22) (= (distance H1X10Y22 H3X13Y22) 1)
(connected H1X10Y22 H1X10Y21) (= (distance H1X10Y22 H1X10Y21) 1)
(connected H1X10Y22 H3X7Y22) (= (distance H1X10Y22 H3X7Y22) 1)
(connected H1X10Y21 H1X10Y21) (= (distance H1X10Y21 H1X10Y21) 0)
(connected H1X10Y21 H1X10Y22) (= (distance H1X10Y21 H1X10Y22) 1)
(connected H1X10Y21 H1X10Y20) (= (distance H1X10Y21 H1X10Y20) 1)
(connected H1X10Y21 H3X13Y21) (= (distance H1X10Y21 H3X13Y21) 1)
(connected H1X10Y21 H3X7Y21) (= (distance H1X10Y21 H3X7Y21) 1)
(connected H1X10Y20 H1X10Y20) (= (distance H1X10Y20 H1X10Y20) 0)
(connected H1X10Y20 H3X7Y20) (= (distance H1X10Y20 H3X7Y20) 1)
(connected H1X10Y20 H3X13Y20) (= (distance H1X10Y20 H3X13Y20) 1)
(connected H1X10Y20 H1X10Y21) (= (distance H1X10Y20 H1X10Y21) 1)
(connected H1X10Y20 H1X10Y19) (= (distance H1X10Y20 H1X10Y19) 1)
(connected H0X3Y8 H0X3Y8) (= (distance H0X3Y8 H0X3Y8) 0)
(connected H0X3Y8 H0X6Y7) (= (distance H0X3Y8 H0X6Y7) 1)
(connected H0X3Y8 H0X7Y8) (= (distance H0X3Y8 H0X7Y8) 1)
(connected H0X3Y8 H2X3Y11) (= (distance H0X3Y8 H2X3Y11) 1)
(connected H0X3Y8 H0X6Y9) (= (distance H0X3Y8 H0X6Y9) 1)
(connected H0X3Y8 H0X4Y8) (= (distance H0X3Y8 H0X4Y8) 1)
(connected H0X3Y8 H0X2Y8) (= (distance H0X3Y8 H0X2Y8) 1)
(connected H0X3Y8 H1X5Y10) (= (distance H0X3Y8 H1X5Y10) 1)
(connected H0X3Y8 H3X5Y6) (= (distance H0X3Y8 H3X5Y6) 1)
(connected H0X3Y8 H2X3Y5) (= (distance H0X3Y8 H2X3Y5) 1)
(connected H0X3Y9 H0X3Y9) (= (distance H0X3Y9 H0X3Y9) 0)
(connected H0X3Y9 H2X3Y12) (= (distance H0X3Y9 H2X3Y12) 1)
(connected H0X3Y9 H0X7Y9) (= (distance H0X3Y9 H0X7Y9) 1)
(connected H0X3Y9 H0X6Y8) (= (distance H0X3Y9 H0X6Y8) 1)
(connected H0X3Y9 H0X4Y9) (= (distance H0X3Y9 H0X4Y9) 1)
(connected H0X3Y9 H0X2Y9) (= (distance H0X3Y9 H0X2Y9) 1)
(connected H0X3Y9 H1X5Y11) (= (distance H0X3Y9 H1X5Y11) 1)
(connected H0X3Y9 H0X6Y10) (= (distance H0X3Y9 H0X6Y10) 1)
(connected H0X3Y9 H3X5Y7) (= (distance H0X3Y9 H3X5Y7) 1)
(connected H0X3Y9 H2X3Y6) (= (distance H0X3Y9 H2X3Y6) 1)
(connected H3X0Y13 H3X0Y13) (= (distance H3X0Y13 H3X0Y13) 0)
(connected H3X0Y13 H0X2Y11) (= (distance H3X0Y13 H0X2Y11) 1)
(connected H3X0Y13 H3X0Y9) (= (distance H3X0Y13 H3X0Y9) 1)
(connected H3X0Y13 H3X0Y14) (= (distance H3X0Y13 H3X0Y14) 1)
(connected H3X0Y13 H3X1Y10) (= (distance H3X0Y13 H3X1Y10) 1)
(connected H3X0Y13 H3X0Y12) (= (distance H3X0Y13 H3X0Y12) 1)
(connected H3X0Y13 H1X3Y13) (= (distance H3X0Y13 H1X3Y13) 1)
(connected H2X12Y20 H2X12Y20) (= (distance H2X12Y20 H2X12Y20) 0)
(connected H2X12Y20 H2X9Y21) (= (distance H2X12Y20 H2X9Y21) 1)
(connected H2X12Y20 H1X10Y22) (= (distance H2X12Y20 H1X10Y22) 1)
(connected H2X12Y20 H2X8Y20) (= (distance H2X12Y20 H2X8Y20) 1)
(connected H2X12Y20 H2X11Y20) (= (distance H2X12Y20 H2X11Y20) 1)
(connected H2X12Y20 H2X9Y19) (= (distance H2X12Y20 H2X9Y19) 1)
(connected H0X7Y22 H0X7Y22) (= (distance H0X7Y22 H0X7Y22) 0)
(connected H0X7Y22 H2X7Y19) (= (distance H0X7Y22 H2X7Y19) 1)
(connected H0X7Y22 H3X9Y20) (= (distance H0X7Y22 H3X9Y20) 1)
(connected H0X7Y22 H0X8Y22) (= (distance H0X7Y22 H0X8Y22) 1)
(connected H0X7Y22 H0X11Y22) (= (distance H0X7Y22 H0X11Y22) 1)
(connected H0X7Y22 H0X6Y22) (= (distance H0X7Y22 H0X6Y22) 1)
(connected H0X7Y22 H0X10Y21) (= (distance H0X7Y22 H0X10Y21) 1)
(connected H1X6Y9 H1X6Y9) (= (distance H1X6Y9 H1X6Y9) 0)
(connected H1X6Y9 H1X6Y10) (= (distance H1X6Y9 H1X6Y10) 1)
(connected H1X6Y9 H1X6Y13) (= (distance H1X6Y9 H1X6Y13) 1)
(connected H1X6Y9 H2X4Y11) (= (distance H1X6Y9 H2X4Y11) 1)
(connected H1X6Y9 H3X3Y9) (= (distance H1X6Y9 H3X3Y9) 1)
(connected H1X6Y9 H3X9Y9) (= (distance H1X6Y9 H3X9Y9) 1)
(connected H1X6Y9 H0X8Y11) (= (distance H1X6Y9 H0X8Y11) 1)
(connected H1X6Y9 H1X6Y8) (= (distance H1X6Y9 H1X6Y8) 1)
(connected H1X6Y9 H1X5Y12) (= (distance H1X6Y9 H1X5Y12) 1)
(connected H1X6Y9 H1X7Y12) (= (distance H1X6Y9 H1X7Y12) 1)
(connected H3X6Y10 H3X6Y10) (= (distance H3X6Y10 H3X6Y10) 0)
(connected H3X6Y10 H3X6Y11) (= (distance H3X6Y10 H3X6Y11) 1)
(connected H3X6Y10 H1X3Y10) (= (distance H3X6Y10 H1X3Y10) 1)
(connected H3X6Y10 H0X8Y8) (= (distance H3X6Y10 H0X8Y8) 1)
(connected H3X6Y10 H3X6Y9) (= (distance H3X6Y10 H3X6Y9) 1)
(connected H3X6Y10 H3X7Y7) (= (distance H3X6Y10 H3X7Y7) 1)
(connected H3X6Y10 H3X5Y7) (= (distance H3X6Y10 H3X5Y7) 1)
(connected H3X6Y10 H3X6Y6) (= (distance H3X6Y10 H3X6Y6) 1)
(connected H3X6Y10 H2X4Y8) (= (distance H3X6Y10 H2X4Y8) 1)
(connected H1X6Y2 H1X6Y2) (= (distance H1X6Y2 H1X6Y2) 0)
(connected H1X6Y2 H0X8Y4) (= (distance H1X6Y2 H0X8Y4) 1)
(connected H1X6Y2 H3X3Y2) (= (distance H1X6Y2 H3X3Y2) 1)
(connected H1X6Y2 H2X4Y4) (= (distance H1X6Y2 H2X4Y4) 1)
(connected H1X6Y2 H1X5Y5) (= (distance H1X6Y2 H1X5Y5) 1)
(connected H1X6Y2 H3X9Y2) (= (distance H1X6Y2 H3X9Y2) 1)
(connected H1X6Y2 H1X6Y3) (= (distance H1X6Y2 H1X6Y3) 1)
(connected H1X6Y2 H1X7Y5) (= (distance H1X6Y2 H1X7Y5) 1)
(connected H1X6Y2 H1X6Y1) (= (distance H1X6Y2 H1X6Y1) 1)
(connected H1X6Y2 H1X6Y6) (= (distance H1X6Y2 H1X6Y6) 1)
(connected H1X6Y3 H1X6Y3) (= (distance H1X6Y3 H1X6Y3) 0)
(connected H1X6Y3 H0X8Y5) (= (distance H1X6Y3 H0X8Y5) 1)
(connected H1X6Y3 H3X3Y3) (= (distance H1X6Y3 H3X3Y3) 1)
(connected H1X6Y3 H3X9Y3) (= (distance H1X6Y3 H3X9Y3) 1)
(connected H1X6Y3 H2X4Y5) (= (distance H1X6Y3 H2X4Y5) 1)
(connected H1X6Y3 H1X5Y6) (= (distance H1X6Y3 H1X5Y6) 1)
(connected H1X6Y3 H1X6Y2) (= (distance H1X6Y3 H1X6Y2) 1)
(connected H1X6Y3 H1X7Y6) (= (distance H1X6Y3 H1X7Y6) 1)
(connected H1X6Y3 H1X6Y7) (= (distance H1X6Y3 H1X6Y7) 1)
(connected H1X6Y3 H1X6Y4) (= (distance H1X6Y3 H1X6Y4) 1)
(connected H1X6Y0 H1X6Y0) (= (distance H1X6Y0 H1X6Y0) 0)
(connected H1X6Y0 H3X9Y0) (= (distance H1X6Y0 H3X9Y0) 1)
(connected H1X6Y0 H3X3Y0) (= (distance H1X6Y0 H3X3Y0) 1)
(connected H1X6Y0 H0X8Y2) (= (distance H1X6Y0 H0X8Y2) 1)
(connected H1X6Y0 H1X5Y3) (= (distance H1X6Y0 H1X5Y3) 1)
(connected H1X6Y0 H2X4Y2) (= (distance H1X6Y0 H2X4Y2) 1)
(connected H1X6Y0 H1X6Y1) (= (distance H1X6Y0 H1X6Y1) 1)
(connected H1X6Y0 H1X7Y3) (= (distance H1X6Y0 H1X7Y3) 1)
(connected H1X6Y0 H1X6Y4) (= (distance H1X6Y0 H1X6Y4) 1)
(connected H1X6Y1 H1X6Y1) (= (distance H1X6Y1 H1X6Y1) 0)
(connected H1X6Y1 H3X3Y1) (= (distance H1X6Y1 H3X3Y1) 1)
(connected H1X6Y1 H0X8Y3) (= (distance H1X6Y1 H0X8Y3) 1)
(connected H1X6Y1 H2X4Y3) (= (distance H1X6Y1 H2X4Y3) 1)
(connected H1X6Y1 H1X5Y4) (= (distance H1X6Y1 H1X5Y4) 1)
(connected H1X6Y1 H1X6Y2) (= (distance H1X6Y1 H1X6Y2) 1)
(connected H1X6Y1 H1X6Y0) (= (distance H1X6Y1 H1X6Y0) 1)
(connected H1X6Y1 H1X7Y4) (= (distance H1X6Y1 H1X7Y4) 1)
(connected H1X6Y1 H3X9Y1) (= (distance H1X6Y1 H3X9Y1) 1)
(connected H1X6Y1 H1X6Y5) (= (distance H1X6Y1 H1X6Y5) 1)
(connected H1X6Y6 H1X6Y6) (= (distance H1X6Y6 H1X6Y6) 0)
(connected H1X6Y6 H1X6Y10) (= (distance H1X6Y6 H1X6Y10) 1)
(connected H1X6Y6 H3X3Y6) (= (distance H1X6Y6 H3X3Y6) 1)
(connected H1X6Y6 H0X8Y8) (= (distance H1X6Y6 H0X8Y8) 1)
(connected H1X6Y6 H1X7Y9) (= (distance H1X6Y6 H1X7Y9) 1)
(connected H1X6Y6 H1X5Y9) (= (distance H1X6Y6 H1X5Y9) 1)
(connected H1X6Y6 H1X6Y5) (= (distance H1X6Y6 H1X6Y5) 1)
(connected H1X6Y6 H1X6Y7) (= (distance H1X6Y6 H1X6Y7) 1)
(connected H1X6Y6 H2X4Y8) (= (distance H1X6Y6 H2X4Y8) 1)
(connected H1X6Y7 H1X6Y7) (= (distance H1X6Y7 H1X6Y7) 0)
(connected H1X6Y7 H1X6Y11) (= (distance H1X6Y7 H1X6Y11) 1)
(connected H1X6Y7 H3X3Y7) (= (distance H1X6Y7 H3X3Y7) 1)
(connected H1X6Y7 H0X8Y9) (= (distance H1X6Y7 H0X8Y9) 1)
(connected H1X6Y7 H1X6Y8) (= (distance H1X6Y7 H1X6Y8) 1)
(connected H1X6Y7 H1X5Y10) (= (distance H1X6Y7 H1X5Y10) 1)
(connected H1X6Y7 H1X6Y6) (= (distance H1X6Y7 H1X6Y6) 1)
(connected H1X6Y7 H2X4Y9) (= (distance H1X6Y7 H2X4Y9) 1)
(connected H1X6Y7 H1X7Y10) (= (distance H1X6Y7 H1X7Y10) 1)
(connected H1X6Y4 H1X6Y4) (= (distance H1X6Y4 H1X6Y4) 0)
(connected H1X6Y4 H3X3Y4) (= (distance H1X6Y4 H3X3Y4) 1)
(connected H1X6Y4 H0X8Y6) (= (distance H1X6Y4 H0X8Y6) 1)
(connected H1X6Y4 H2X4Y6) (= (distance H1X6Y4 H2X4Y6) 1)
(connected H1X6Y4 H1X6Y8) (= (distance H1X6Y4 H1X6Y8) 1)
(connected H1X6Y4 H1X5Y7) (= (distance H1X6Y4 H1X5Y7) 1)
(connected H1X6Y4 H1X7Y7) (= (distance H1X6Y4 H1X7Y7) 1)
(connected H1X6Y4 H1X6Y3) (= (distance H1X6Y4 H1X6Y3) 1)
(connected H1X6Y4 H1X6Y5) (= (distance H1X6Y4 H1X6Y5) 1)
(connected H1X6Y5 H1X6Y5) (= (distance H1X6Y5 H1X6Y5) 0)
(connected H1X6Y5 H3X3Y5) (= (distance H1X6Y5 H3X3Y5) 1)
(connected H1X6Y5 H0X8Y7) (= (distance H1X6Y5 H0X8Y7) 1)
(connected H1X6Y5 H2X4Y7) (= (distance H1X6Y5 H2X4Y7) 1)
(connected H1X6Y5 H1X6Y9) (= (distance H1X6Y5 H1X6Y9) 1)
(connected H1X6Y5 H1X7Y8) (= (distance H1X6Y5 H1X7Y8) 1)
(connected H1X6Y5 H1X5Y8) (= (distance H1X6Y5 H1X5Y8) 1)
(connected H1X6Y5 H1X6Y6) (= (distance H1X6Y5 H1X6Y6) 1)
(connected H1X6Y5 H1X6Y4) (= (distance H1X6Y5 H1X6Y4) 1)
(connected H1X13Y9 H1X13Y9) (= (distance H1X13Y9 H1X13Y9) 0)
(connected H1X13Y9 H1X13Y13) (= (distance H1X13Y9 H1X13Y13) 1)
(connected H1X13Y9 H1X13Y10) (= (distance H1X13Y9 H1X13Y10) 1)
(connected H3X4Y21 H3X4Y21) (= (distance H3X4Y21 H3X4Y21) 0)
(connected H3X4Y21 H3X4Y17) (= (distance H3X4Y21 H3X4Y17) 1)
(connected H3X4Y21 H1X7Y21) (= (distance H3X4Y21 H1X7Y21) 1)
(connected H3X4Y21 H3X4Y20) (= (distance H3X4Y21 H3X4Y20) 1)
(connected H3X4Y21 H3X4Y22) (= (distance H3X4Y21 H3X4Y22) 1)
(connected H3X4Y21 H2X2Y19) (= (distance H3X4Y21 H2X2Y19) 1)
(connected H3X4Y21 H1X1Y21) (= (distance H3X4Y21 H1X1Y21) 1)
(connected H3X4Y21 H3X5Y18) (= (distance H3X4Y21 H3X5Y18) 1)
(connected H3X4Y21 H3X3Y18) (= (distance H3X4Y21 H3X3Y18) 1)
(connected H3X4Y21 H0X6Y19) (= (distance H3X4Y21 H0X6Y19) 1)
(connected H1X13Y5 H1X13Y5) (= (distance H1X13Y5 H1X13Y5) 0)
(connected H1X13Y5 H1X13Y4) (= (distance H1X13Y5 H1X13Y4) 1)
(connected H1X13Y4 H1X13Y4) (= (distance H1X13Y4 H1X13Y4) 0)
(connected H1X13Y4 H1X13Y5) (= (distance H1X13Y4 H1X13Y5) 1)
(connected H1X13Y4 H1X13Y3) (= (distance H1X13Y4 H1X13Y3) 1)
(connected H1X13Y3 H1X13Y3) (= (distance H1X13Y3 H1X13Y3) 0)
(connected H1X13Y3 H1X13Y4) (= (distance H1X13Y3 H1X13Y4) 1)
(connected H1X13Y3 H1X13Y2) (= (distance H1X13Y3 H1X13Y2) 1)
(connected H1X13Y2 H1X13Y2) (= (distance H1X13Y2 H1X13Y2) 0)
(connected H1X13Y2 H2X11Y4) (= (distance H1X13Y2 H2X11Y4) 1)
(connected H1X13Y2 H1X13Y3) (= (distance H1X13Y2 H1X13Y3) 1)
(connected H1X13Y2 H1X13Y1) (= (distance H1X13Y2 H1X13Y1) 1)
(connected H1X13Y2 H1X12Y5) (= (distance H1X13Y2 H1X12Y5) 1)
(connected H1X13Y1 H1X13Y1) (= (distance H1X13Y1 H1X13Y1) 0)
(connected H1X13Y1 H2X11Y3) (= (distance H1X13Y1 H2X11Y3) 1)
(connected H1X13Y1 H1X13Y5) (= (distance H1X13Y1 H1X13Y5) 1)
(connected H1X13Y1 H1X13Y2) (= (distance H1X13Y1 H1X13Y2) 1)
(connected H1X13Y1 H1X13Y0) (= (distance H1X13Y1 H1X13Y0) 1)
(connected H1X13Y1 H1X12Y4) (= (distance H1X13Y1 H1X12Y4) 1)
(connected H1X13Y1 H3X10Y1) (= (distance H1X13Y1 H3X10Y1) 1)
(connected H3X4Y20 H3X4Y20) (= (distance H3X4Y20 H3X4Y20) 0)
(connected H3X4Y20 H1X7Y20) (= (distance H3X4Y20 H1X7Y20) 1)
(connected H3X4Y20 H3X4Y16) (= (distance H3X4Y20 H3X4Y16) 1)
(connected H3X4Y20 H3X4Y19) (= (distance H3X4Y20 H3X4Y19) 1)
(connected H3X4Y20 H3X4Y21) (= (distance H3X4Y20 H3X4Y21) 1)
(connected H3X4Y20 H2X2Y18) (= (distance H3X4Y20 H2X2Y18) 1)
(connected H3X4Y20 H1X1Y20) (= (distance H3X4Y20 H1X1Y20) 1)
(connected H3X4Y20 H3X3Y17) (= (distance H3X4Y20 H3X3Y17) 1)
(connected H3X4Y20 H3X5Y17) (= (distance H3X4Y20 H3X5Y17) 1)
(connected H3X4Y20 H0X6Y18) (= (distance H3X4Y20 H0X6Y18) 1)
(connected H3X3Y11 H3X3Y11) (= (distance H3X3Y11 H3X3Y11) 0)
(connected H3X3Y11 H1X6Y11) (= (distance H3X3Y11 H1X6Y11) 1)
(connected H3X3Y11 H3X3Y7) (= (distance H3X3Y11 H3X3Y7) 1)
(connected H3X3Y11 H1X0Y11) (= (distance H3X3Y11 H1X0Y11) 1)
(connected H3X3Y11 H3X2Y8) (= (distance H3X3Y11 H3X2Y8) 1)
(connected H3X3Y11 H0X5Y9) (= (distance H3X3Y11 H0X5Y9) 1)
(connected H3X3Y11 H2X1Y9) (= (distance H3X3Y11 H2X1Y9) 1)
(connected H3X3Y11 H3X3Y10) (= (distance H3X3Y11 H3X3Y10) 1)
(connected H3X3Y11 H3X4Y8) (= (distance H3X3Y11 H3X4Y8) 1)
(connected H3X3Y11 H3X3Y12) (= (distance H3X3Y11 H3X3Y12) 1)
(connected H3X3Y10 H3X3Y10) (= (distance H3X3Y10 H3X3Y10) 0)
(connected H3X3Y10 H1X6Y10) (= (distance H3X3Y10 H1X6Y10) 1)
(connected H3X3Y10 H1X0Y10) (= (distance H3X3Y10 H1X0Y10) 1)
(connected H3X3Y10 H3X3Y6) (= (distance H3X3Y10 H3X3Y6) 1)
(connected H3X3Y10 H3X2Y7) (= (distance H3X3Y10 H3X2Y7) 1)
(connected H3X3Y10 H3X3Y9) (= (distance H3X3Y10 H3X3Y9) 1)
(connected H3X3Y10 H0X5Y8) (= (distance H3X3Y10 H0X5Y8) 1)
(connected H3X3Y10 H2X1Y8) (= (distance H3X3Y10 H2X1Y8) 1)
(connected H3X3Y10 H3X3Y11) (= (distance H3X3Y10 H3X3Y11) 1)
(connected H3X3Y10 H3X4Y7) (= (distance H3X3Y10 H3X4Y7) 1)
(connected H3X3Y13 H3X3Y13) (= (distance H3X3Y13 H3X3Y13) 0)
(connected H3X3Y13 H3X4Y10) (= (distance H3X3Y13 H3X4Y10) 1)
(connected H3X3Y13 H1X0Y13) (= (distance H3X3Y13 H1X0Y13) 1)
(connected H3X3Y13 H3X2Y10) (= (distance H3X3Y13 H3X2Y10) 1)
(connected H3X3Y13 H1X6Y13) (= (distance H3X3Y13 H1X6Y13) 1)
(connected H3X3Y13 H3X3Y9) (= (distance H3X3Y13 H3X3Y9) 1)
(connected H3X3Y13 H3X3Y12) (= (distance H3X3Y13 H3X3Y12) 1)
(connected H3X3Y13 H3X3Y14) (= (distance H3X3Y13 H3X3Y14) 1)
(connected H3X3Y13 H2X1Y11) (= (distance H3X3Y13 H2X1Y11) 1)
(connected H3X3Y13 H0X5Y11) (= (distance H3X3Y13 H0X5Y11) 1)
(connected H3X3Y12 H3X3Y12) (= (distance H3X3Y12 H3X3Y12) 0)
(connected H3X3Y12 H1X0Y12) (= (distance H3X3Y12 H1X0Y12) 1)
(connected H3X3Y12 H1X6Y12) (= (distance H3X3Y12 H1X6Y12) 1)
(connected H3X3Y12 H3X2Y9) (= (distance H3X3Y12 H3X2Y9) 1)
(connected H3X3Y12 H3X3Y8) (= (distance H3X3Y12 H3X3Y8) 1)
(connected H3X3Y12 H3X3Y11) (= (distance H3X3Y12 H3X3Y11) 1)
(connected H3X3Y12 H3X3Y13) (= (distance H3X3Y12 H3X3Y13) 1)
(connected H3X3Y12 H3X4Y9) (= (distance H3X3Y12 H3X4Y9) 1)
(connected H3X3Y12 H2X1Y10) (= (distance H3X3Y12 H2X1Y10) 1)
(connected H3X3Y12 H0X5Y10) (= (distance H3X3Y12 H0X5Y10) 1)
(connected H3X3Y15 H3X3Y15) (= (distance H3X3Y15 H3X3Y15) 0)
(connected H3X3Y15 H3X2Y12) (= (distance H3X3Y15 H3X2Y12) 1)
(connected H3X3Y15 H3X4Y12) (= (distance H3X3Y15 H3X4Y12) 1)
(connected H3X3Y15 H1X6Y15) (= (distance H3X3Y15 H1X6Y15) 1)
(connected H3X3Y15 H1X0Y15) (= (distance H3X3Y15 H1X0Y15) 1)
(connected H3X3Y15 H2X1Y13) (= (distance H3X3Y15 H2X1Y13) 1)
(connected H3X3Y15 H3X3Y11) (= (distance H3X3Y15 H3X3Y11) 1)
(connected H3X3Y15 H3X3Y14) (= (distance H3X3Y15 H3X3Y14) 1)
(connected H3X3Y15 H3X3Y16) (= (distance H3X3Y15 H3X3Y16) 1)
(connected H3X3Y15 H0X5Y13) (= (distance H3X3Y15 H0X5Y13) 1)
(connected H3X3Y14 H3X3Y14) (= (distance H3X3Y14 H3X3Y14) 0)
(connected H3X3Y14 H3X4Y11) (= (distance H3X3Y14 H3X4Y11) 1)
(connected H3X3Y14 H3X2Y11) (= (distance H3X3Y14 H3X2Y11) 1)
(connected H3X3Y14 H1X6Y14) (= (distance H3X3Y14 H1X6Y14) 1)
(connected H3X3Y14 H1X0Y14) (= (distance H3X3Y14 H1X0Y14) 1)
(connected H3X3Y14 H3X3Y10) (= (distance H3X3Y14 H3X3Y10) 1)
(connected H3X3Y14 H3X3Y13) (= (distance H3X3Y14 H3X3Y13) 1)
(connected H3X3Y14 H3X3Y15) (= (distance H3X3Y14 H3X3Y15) 1)
(connected H3X3Y14 H2X1Y12) (= (distance H3X3Y14 H2X1Y12) 1)
(connected H3X3Y14 H0X5Y12) (= (distance H3X3Y14 H0X5Y12) 1)
(connected H3X3Y17 H3X3Y17) (= (distance H3X3Y17 H3X3Y17) 0)
(connected H3X3Y17 H3X4Y14) (= (distance H3X3Y17 H3X4Y14) 1)
(connected H3X3Y17 H1X0Y17) (= (distance H3X3Y17 H1X0Y17) 1)
(connected H3X3Y17 H3X2Y14) (= (distance H3X3Y17 H3X2Y14) 1)
(connected H3X3Y17 H1X6Y17) (= (distance H3X3Y17 H1X6Y17) 1)
(connected H3X3Y17 H2X1Y15) (= (distance H3X3Y17 H2X1Y15) 1)
(connected H3X3Y17 H3X3Y13) (= (distance H3X3Y17 H3X3Y13) 1)
(connected H3X3Y17 H3X3Y16) (= (distance H3X3Y17 H3X3Y16) 1)
(connected H3X3Y17 H3X3Y18) (= (distance H3X3Y17 H3X3Y18) 1)
(connected H3X3Y17 H0X5Y15) (= (distance H3X3Y17 H0X5Y15) 1)
(connected H3X3Y16 H3X3Y16) (= (distance H3X3Y16 H3X3Y16) 0)
(connected H3X3Y16 H3X2Y13) (= (distance H3X3Y16 H3X2Y13) 1)
(connected H3X3Y16 H3X4Y13) (= (distance H3X3Y16 H3X4Y13) 1)
(connected H3X3Y16 H1X0Y16) (= (distance H3X3Y16 H1X0Y16) 1)
(connected H3X3Y16 H1X6Y16) (= (distance H3X3Y16 H1X6Y16) 1)
(connected H3X3Y16 H2X1Y14) (= (distance H3X3Y16 H2X1Y14) 1)
(connected H3X3Y16 H3X3Y12) (= (distance H3X3Y16 H3X3Y12) 1)
(connected H3X3Y16 H3X3Y15) (= (distance H3X3Y16 H3X3Y15) 1)
(connected H3X3Y16 H3X3Y17) (= (distance H3X3Y16 H3X3Y17) 1)
(connected H3X3Y16 H0X5Y14) (= (distance H3X3Y16 H0X5Y14) 1)
(connected H3X3Y19 H3X3Y19) (= (distance H3X3Y19 H3X3Y19) 0)
(connected H3X3Y19 H3X3Y15) (= (distance H3X3Y19 H3X3Y15) 1)
(connected H3X3Y19 H3X2Y16) (= (distance H3X3Y19 H3X2Y16) 1)
(connected H3X3Y19 H3X4Y16) (= (distance H3X3Y19 H3X4Y16) 1)
(connected H3X3Y19 H1X6Y19) (= (distance H3X3Y19 H1X6Y19) 1)
(connected H3X3Y19 H1X0Y19) (= (distance H3X3Y19 H1X0Y19) 1)
(connected H3X3Y19 H2X1Y17) (= (distance H3X3Y19 H2X1Y17) 1)
(connected H3X3Y19 H3X3Y20) (= (distance H3X3Y19 H3X3Y20) 1)
(connected H3X3Y19 H0X5Y17) (= (distance H3X3Y19 H0X5Y17) 1)
(connected H3X3Y19 H3X3Y18) (= (distance H3X3Y19 H3X3Y18) 1)
(connected H3X3Y18 H3X3Y18) (= (distance H3X3Y18 H3X3Y18) 0)
(connected H3X3Y18 H3X4Y15) (= (distance H3X3Y18 H3X4Y15) 1)
(connected H3X3Y18 H3X2Y15) (= (distance H3X3Y18 H3X2Y15) 1)
(connected H3X3Y18 H1X6Y18) (= (distance H3X3Y18 H1X6Y18) 1)
(connected H3X3Y18 H1X0Y18) (= (distance H3X3Y18 H1X0Y18) 1)
(connected H3X3Y18 H0X5Y16) (= (distance H3X3Y18 H0X5Y16) 1)
(connected H3X3Y18 H2X1Y16) (= (distance H3X3Y18 H2X1Y16) 1)
(connected H3X3Y18 H3X3Y14) (= (distance H3X3Y18 H3X3Y14) 1)
(connected H3X3Y18 H3X3Y17) (= (distance H3X3Y18 H3X3Y17) 1)
(connected H3X3Y18 H3X3Y19) (= (distance H3X3Y18 H3X3Y19) 1)
(connected H3X0Y8 H3X0Y8) (= (distance H3X0Y8 H3X0Y8) 0)
(connected H3X0Y8 H3X0Y9) (= (distance H3X0Y8 H3X0Y9) 1)
(connected H3X0Y8 H3X0Y7) (= (distance H3X0Y8 H3X0Y7) 1)
(connected H3X0Y8 H3X0Y4) (= (distance H3X0Y8 H3X0Y4) 1)
(connected H3X0Y8 H3X1Y5) (= (distance H3X0Y8 H3X1Y5) 1)
(connected H3X0Y8 H1X3Y8) (= (distance H3X0Y8 H1X3Y8) 1)
(connected H3X0Y8 H0X2Y6) (= (distance H3X0Y8 H0X2Y6) 1)
(connected H1X1Y0 H1X1Y0) (= (distance H1X1Y0 H1X1Y0) 0)
(connected H1X1Y0 H1X1Y4) (= (distance H1X1Y0 H1X1Y4) 1)
(connected H1X1Y0 H1X0Y3) (= (distance H1X1Y0 H1X0Y3) 1)
(connected H1X1Y0 H1X1Y1) (= (distance H1X1Y0 H1X1Y1) 1)
(connected H1X1Y0 H1X2Y3) (= (distance H1X1Y0 H1X2Y3) 1)
(connected H1X1Y0 H0X3Y2) (= (distance H1X1Y0 H0X3Y2) 1)
(connected H1X1Y0 H3X4Y0) (= (distance H1X1Y0 H3X4Y0) 1)
(connected H1X1Y20 H1X1Y20) (= (distance H1X1Y20 H1X1Y20) 0)
(connected H1X1Y20 H1X1Y19) (= (distance H1X1Y20 H1X1Y19) 1)
(connected H1X1Y20 H1X1Y21) (= (distance H1X1Y20 H1X1Y21) 1)
(connected H1X1Y20 H3X4Y20) (= (distance H1X1Y20 H3X4Y20) 1)
(connected H1X1Y21 H1X1Y21) (= (distance H1X1Y21 H1X1Y21) 0)
(connected H1X1Y21 H3X4Y21) (= (distance H1X1Y21 H3X4Y21) 1)
(connected H1X1Y21 H1X1Y20) (= (distance H1X1Y21 H1X1Y20) 1)
(connected H1X1Y21 H1X1Y22) (= (distance H1X1Y21 H1X1Y22) 1)
(connected H0X5Y18 H0X5Y18) (= (distance H0X5Y18 H0X5Y18) 0)
(connected H0X5Y18 H0X4Y18) (= (distance H0X5Y18 H0X4Y18) 1)
(connected H0X5Y18 H1X7Y20) (= (distance H0X5Y18 H1X7Y20) 1)
(connected H0X5Y18 H0X9Y18) (= (distance H0X5Y18 H0X9Y18) 1)
(connected H0X5Y18 H2X5Y15) (= (distance H0X5Y18 H2X5Y15) 1)
(connected H0X5Y18 H3X7Y16) (= (distance H0X5Y18 H3X7Y16) 1)
(connected H0X5Y18 H2X5Y21) (= (distance H0X5Y18 H2X5Y21) 1)
(connected H0X5Y18 H0X8Y17) (= (distance H0X5Y18 H0X8Y17) 1)
(connected H0X5Y18 H0X8Y19) (= (distance H0X5Y18 H0X8Y19) 1)
(connected H0X5Y18 H0X6Y18) (= (distance H0X5Y18 H0X6Y18) 1)
(connected H0X5Y19 H0X5Y19) (= (distance H0X5Y19 H0X5Y19) 0)
(connected H0X5Y19 H0X4Y19) (= (distance H0X5Y19 H0X4Y19) 1)
(connected H0X5Y19 H1X7Y21) (= (distance H0X5Y19 H1X7Y21) 1)
(connected H0X5Y19 H0X9Y19) (= (distance H0X5Y19 H0X9Y19) 1)
(connected H0X5Y19 H2X5Y16) (= (distance H0X5Y19 H2X5Y16) 1)
(connected H0X5Y19 H3X7Y17) (= (distance H0X5Y19 H3X7Y17) 1)
(connected H0X5Y19 H0X8Y20) (= (distance H0X5Y19 H0X8Y20) 1)
(connected H0X5Y19 H0X8Y18) (= (distance H0X5Y19 H0X8Y18) 1)
(connected H0X5Y19 H0X6Y19) (= (distance H0X5Y19 H0X6Y19) 1)
(connected H0X5Y16 H0X5Y16) (= (distance H0X5Y16 H0X5Y16) 0)
(connected H0X5Y16 H2X5Y19) (= (distance H0X5Y16 H2X5Y19) 1)
(connected H0X5Y16 H2X5Y13) (= (distance H0X5Y16 H2X5Y13) 1)
(connected H0X5Y16 H0X9Y16) (= (distance H0X5Y16 H0X9Y16) 1)
(connected H0X5Y16 H3X7Y14) (= (distance H0X5Y16 H3X7Y14) 1)
(connected H0X5Y16 H0X4Y16) (= (distance H0X5Y16 H0X4Y16) 1)
(connected H0X5Y16 H0X6Y16) (= (distance H0X5Y16 H0X6Y16) 1)
(connected H0X5Y16 H0X8Y15) (= (distance H0X5Y16 H0X8Y15) 1)
(connected H0X5Y16 H0X8Y17) (= (distance H0X5Y16 H0X8Y17) 1)
(connected H0X5Y16 H1X7Y18) (= (distance H0X5Y16 H1X7Y18) 1)
(connected H0X5Y17 H0X5Y17) (= (distance H0X5Y17 H0X5Y17) 0)
(connected H0X5Y17 H3X7Y15) (= (distance H0X5Y17 H3X7Y15) 1)
(connected H0X5Y17 H0X9Y17) (= (distance H0X5Y17 H0X9Y17) 1)
(connected H0X5Y17 H0X4Y17) (= (distance H0X5Y17 H0X4Y17) 1)
(connected H0X5Y17 H2X5Y14) (= (distance H0X5Y17 H2X5Y14) 1)
(connected H0X5Y17 H0X6Y17) (= (distance H0X5Y17 H0X6Y17) 1)
(connected H0X5Y17 H2X5Y20) (= (distance H0X5Y17 H2X5Y20) 1)
(connected H0X5Y17 H1X7Y19) (= (distance H0X5Y17 H1X7Y19) 1)
(connected H0X5Y17 H0X8Y16) (= (distance H0X5Y17 H0X8Y16) 1)
(connected H0X5Y17 H0X8Y18) (= (distance H0X5Y17 H0X8Y18) 1)
(connected H0X5Y14 H0X5Y14) (= (distance H0X5Y14 H0X5Y14) 0)
(connected H0X5Y14 H0X9Y14) (= (distance H0X5Y14 H0X9Y14) 1)
(connected H0X5Y14 H0X4Y14) (= (distance H0X5Y14 H0X4Y14) 1)
(connected H0X5Y14 H2X5Y17) (= (distance H0X5Y14 H2X5Y17) 1)
(connected H0X5Y14 H0X8Y13) (= (distance H0X5Y14 H0X8Y13) 1)
(connected H0X5Y14 H0X6Y14) (= (distance H0X5Y14 H0X6Y14) 1)
(connected H0X5Y14 H0X8Y15) (= (distance H0X5Y14 H0X8Y15) 1)
(connected H0X5Y14 H3X7Y12) (= (distance H0X5Y14 H3X7Y12) 1)
(connected H0X5Y14 H1X7Y16) (= (distance H0X5Y14 H1X7Y16) 1)
(connected H0X5Y14 H2X5Y11) (= (distance H0X5Y14 H2X5Y11) 1)
(connected H0X5Y15 H0X5Y15) (= (distance H0X5Y15 H0X5Y15) 0)
(connected H0X5Y15 H2X5Y18) (= (distance H0X5Y15 H2X5Y18) 1)
(connected H0X5Y15 H0X9Y15) (= (distance H0X5Y15 H0X9Y15) 1)
(connected H0X5Y15 H0X4Y15) (= (distance H0X5Y15 H0X4Y15) 1)
(connected H0X5Y15 H2X5Y12) (= (distance H0X5Y15 H2X5Y12) 1)
(connected H0X5Y15 H0X6Y15) (= (distance H0X5Y15 H0X6Y15) 1)
(connected H0X5Y15 H0X8Y14) (= (distance H0X5Y15 H0X8Y14) 1)
(connected H0X5Y15 H3X7Y13) (= (distance H0X5Y15 H3X7Y13) 1)
(connected H0X5Y15 H0X8Y16) (= (distance H0X5Y15 H0X8Y16) 1)
(connected H0X5Y15 H1X7Y17) (= (distance H0X5Y15 H1X7Y17) 1)
(connected H0X5Y12 H0X5Y12) (= (distance H0X5Y12 H0X5Y12) 0)
(connected H0X5Y12 H0X9Y12) (= (distance H0X5Y12 H0X9Y12) 1)
(connected H0X5Y12 H2X5Y9) (= (distance H0X5Y12 H2X5Y9) 1)
(connected H0X5Y12 H2X5Y15) (= (distance H0X5Y12 H2X5Y15) 1)
(connected H0X5Y12 H0X4Y12) (= (distance H0X5Y12 H0X4Y12) 1)
(connected H0X5Y12 H0X8Y11) (= (distance H0X5Y12 H0X8Y11) 1)
(connected H0X5Y12 H0X8Y13) (= (distance H0X5Y12 H0X8Y13) 1)
(connected H0X5Y12 H0X6Y12) (= (distance H0X5Y12 H0X6Y12) 1)
(connected H0X5Y12 H1X7Y14) (= (distance H0X5Y12 H1X7Y14) 1)
(connected H0X5Y12 H3X7Y10) (= (distance H0X5Y12 H3X7Y10) 1)
(connected H0X5Y13 H0X5Y13) (= (distance H0X5Y13 H0X5Y13) 0)
(connected H0X5Y13 H0X9Y13) (= (distance H0X5Y13 H0X9Y13) 1)
(connected H0X5Y13 H2X5Y10) (= (distance H0X5Y13 H2X5Y10) 1)
(connected H0X5Y13 H0X4Y13) (= (distance H0X5Y13 H0X4Y13) 1)
(connected H0X5Y13 H0X8Y12) (= (distance H0X5Y13 H0X8Y12) 1)
(connected H0X5Y13 H0X6Y13) (= (distance H0X5Y13 H0X6Y13) 1)
(connected H0X5Y13 H0X8Y14) (= (distance H0X5Y13 H0X8Y14) 1)
(connected H0X5Y13 H3X7Y11) (= (distance H0X5Y13 H3X7Y11) 1)
(connected H0X5Y13 H1X7Y15) (= (distance H0X5Y13 H1X7Y15) 1)
(connected H0X5Y13 H2X5Y16) (= (distance H0X5Y13 H2X5Y16) 1)
(connected H0X5Y10 H0X5Y10) (= (distance H0X5Y10 H0X5Y10) 0)
(connected H0X5Y10 H0X9Y10) (= (distance H0X5Y10 H0X9Y10) 1)
(connected H0X5Y10 H2X5Y13) (= (distance H0X5Y10 H2X5Y13) 1)
(connected H0X5Y10 H0X8Y9) (= (distance H0X5Y10 H0X8Y9) 1)
(connected H0X5Y10 H0X4Y10) (= (distance H0X5Y10 H0X4Y10) 1)
(connected H0X5Y10 H0X8Y11) (= (distance H0X5Y10 H0X8Y11) 1)
(connected H0X5Y10 H2X5Y7) (= (distance H0X5Y10 H2X5Y7) 1)
(connected H0X5Y10 H0X6Y10) (= (distance H0X5Y10 H0X6Y10) 1)
(connected H0X5Y10 H3X7Y8) (= (distance H0X5Y10 H3X7Y8) 1)
(connected H0X5Y10 H1X7Y12) (= (distance H0X5Y10 H1X7Y12) 1)
(connected H0X5Y11 H0X5Y11) (= (distance H0X5Y11 H0X5Y11) 0)
(connected H0X5Y11 H0X9Y11) (= (distance H0X5Y11 H0X9Y11) 1)
(connected H0X5Y11 H2X5Y14) (= (distance H0X5Y11 H2X5Y14) 1)
(connected H0X5Y11 H0X4Y11) (= (distance H0X5Y11 H0X4Y11) 1)
(connected H0X5Y11 H0X8Y10) (= (distance H0X5Y11 H0X8Y10) 1)
(connected H0X5Y11 H0X8Y12) (= (distance H0X5Y11 H0X8Y12) 1)
(connected H0X5Y11 H0X6Y11) (= (distance H0X5Y11 H0X6Y11) 1)
(connected H0X5Y11 H3X7Y9) (= (distance H0X5Y11 H3X7Y9) 1)
(connected H0X5Y11 H2X5Y8) (= (distance H0X5Y11 H2X5Y8) 1)
(connected H0X5Y11 H1X7Y13) (= (distance H0X5Y11 H1X7Y13) 1)
(connected H0X8Y5 H0X8Y5) (= (distance H0X8Y5 H0X8Y5) 0)
(connected H0X8Y5 H2X8Y2) (= (distance H0X8Y5 H2X8Y2) 1)
(connected H0X8Y5 H0X9Y5) (= (distance H0X8Y5 H0X9Y5) 1)
(connected H0X8Y5 H0X7Y5) (= (distance H0X8Y5 H0X7Y5) 1)
(connected H0X8Y5 H0X11Y4) (= (distance H0X8Y5 H0X11Y4) 1)
(connected H0X8Y5 H0X12Y5) (= (distance H0X8Y5 H0X12Y5) 1)
(connected H0X8Y5 H3X10Y3) (= (distance H0X8Y5 H3X10Y3) 1)
(connected H0X8Y4 H0X8Y4) (= (distance H0X8Y4 H0X8Y4) 0)
(connected H0X8Y4 H2X8Y1) (= (distance H0X8Y4 H2X8Y1) 1)
(connected H0X8Y4 H0X9Y4) (= (distance H0X8Y4 H0X9Y4) 1)
(connected H0X8Y4 H0X7Y4) (= (distance H0X8Y4 H0X7Y4) 1)
(connected H0X8Y4 H0X11Y3) (= (distance H0X8Y4 H0X11Y3) 1)
(connected H0X8Y4 H3X10Y2) (= (distance H0X8Y4 H3X10Y2) 1)
(connected H0X8Y4 H0X12Y4) (= (distance H0X8Y4 H0X12Y4) 1)
(connected H0X8Y7 H0X8Y7) (= (distance H0X8Y7 H0X8Y7) 0)
(connected H0X8Y7 H0X7Y7) (= (distance H0X8Y7 H0X7Y7) 1)
(connected H0X8Y7 H0X9Y7) (= (distance H0X8Y7 H0X9Y7) 1)
(connected H0X8Y6 H0X8Y6) (= (distance H0X8Y6 H0X8Y6) 0)
(connected H0X8Y6 H0X7Y6) (= (distance H0X8Y6 H0X7Y6) 1)
(connected H0X8Y6 H0X9Y6) (= (distance H0X8Y6 H0X9Y6) 1)
(connected H0X8Y1 H0X8Y1) (= (distance H0X8Y1 H0X8Y1) 0)
(connected H0X8Y1 H0X9Y1) (= (distance H0X8Y1 H0X9Y1) 1)
(connected H0X8Y1 H0X7Y1) (= (distance H0X8Y1 H0X7Y1) 1)
(connected H0X8Y1 H1X10Y3) (= (distance H0X8Y1 H1X10Y3) 1)
(connected H0X8Y1 H0X11Y2) (= (distance H0X8Y1 H0X11Y2) 1)
(connected H0X8Y1 H0X11Y0) (= (distance H0X8Y1 H0X11Y0) 1)
(connected H0X8Y1 H2X8Y4) (= (distance H0X8Y1 H2X8Y4) 1)
(connected H0X8Y1 H0X12Y1) (= (distance H0X8Y1 H0X12Y1) 1)
(connected H0X8Y0 H0X8Y0) (= (distance H0X8Y0 H0X8Y0) 0)
(connected H0X8Y0 H0X9Y0) (= (distance H0X8Y0 H0X9Y0) 1)
(connected H0X8Y0 H2X8Y3) (= (distance H0X8Y0 H2X8Y3) 1)
(connected H0X8Y0 H0X7Y0) (= (distance H0X8Y0 H0X7Y0) 1)
(connected H0X8Y0 H1X10Y2) (= (distance H0X8Y0 H1X10Y2) 1)
(connected H0X8Y0 H0X11Y1) (= (distance H0X8Y0 H0X11Y1) 1)
(connected H0X8Y0 H0X12Y0) (= (distance H0X8Y0 H0X12Y0) 1)
(connected H0X8Y3 H0X8Y3) (= (distance H0X8Y3 H0X8Y3) 0)
(connected H0X8Y3 H0X7Y3) (= (distance H0X8Y3 H0X7Y3) 1)
(connected H0X8Y3 H0X9Y3) (= (distance H0X8Y3 H0X9Y3) 1)
(connected H0X8Y3 H0X11Y2) (= (distance H0X8Y3 H0X11Y2) 1)
(connected H0X8Y3 H0X11Y4) (= (distance H0X8Y3 H0X11Y4) 1)
(connected H0X8Y3 H0X12Y3) (= (distance H0X8Y3 H0X12Y3) 1)
(connected H0X8Y3 H3X10Y1) (= (distance H0X8Y3 H3X10Y1) 1)
(connected H0X8Y2 H0X8Y2) (= (distance H0X8Y2 H0X8Y2) 0)
(connected H0X8Y2 H0X7Y2) (= (distance H0X8Y2 H0X7Y2) 1)
(connected H0X8Y2 H1X10Y4) (= (distance H0X8Y2 H1X10Y4) 1)
(connected H0X8Y2 H0X9Y2) (= (distance H0X8Y2 H0X9Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H0X8Y2 H0X11Y3) (= (distance H0X8Y2 H0X11Y3) 1)
(connected H0X8Y2 H0X11Y1) (= (distance H0X8Y2 H0X11Y1) 1)
(connected H0X8Y2 H0X12Y2) (= (distance H0X8Y2 H0X12Y2) 1)
(connected H0X8Y2 H3X10Y0) (= (distance H0X8Y2 H3X10Y0) 1)
(connected H0X8Y9 H0X8Y9) (= (distance H0X8Y9 H0X8Y9) 0)
(connected H0X8Y9 H0X12Y9) (= (distance H0X8Y9 H0X12Y9) 1)
(connected H0X8Y9 H0X9Y9) (= (distance H0X8Y9 H0X9Y9) 1)
(connected H0X8Y9 H0X7Y9) (= (distance H0X8Y9 H0X7Y9) 1)
(connected H0X8Y8 H0X8Y8) (= (distance H0X8Y8 H0X8Y8) 0)
(connected H0X8Y8 H0X9Y8) (= (distance H0X8Y8 H0X9Y8) 1)
(connected H0X8Y8 H0X7Y8) (= (distance H0X8Y8 H0X7Y8) 1)
(connected H2X6Y20 H2X6Y20) (= (distance H2X6Y20 H2X6Y20) 0)
(connected H2X6Y20 H2X3Y21) (= (distance H2X6Y20 H2X3Y21) 1)
(connected H2X6Y20 H2X3Y19) (= (distance H2X6Y20 H2X3Y19) 1)
(connected H2X6Y20 H2X7Y20) (= (distance H2X6Y20 H2X7Y20) 1)
(connected H2X6Y20 H3X4Y18) (= (distance H2X6Y20 H3X4Y18) 1)
(connected H2X6Y20 H0X6Y17) (= (distance H2X6Y20 H0X6Y17) 1)
(connected H2X6Y20 H2X5Y20) (= (distance H2X6Y20 H2X5Y20) 1)
(connected H2X6Y20 H2X2Y20) (= (distance H2X6Y20 H2X2Y20) 1)
(connected H2X6Y20 H1X4Y22) (= (distance H2X6Y20 H1X4Y22) 1)
(connected H2X6Y21 H2X6Y21) (= (distance H2X6Y21 H2X6Y21) 0)
(connected H2X6Y21 H2X3Y22) (= (distance H2X6Y21 H2X3Y22) 1)
(connected H2X6Y21 H2X3Y20) (= (distance H2X6Y21 H2X3Y20) 1)
(connected H2X6Y21 H2X7Y21) (= (distance H2X6Y21 H2X7Y21) 1)
(connected H2X6Y21 H3X4Y19) (= (distance H2X6Y21 H3X4Y19) 1)
(connected H2X6Y21 H2X5Y21) (= (distance H2X6Y21 H2X5Y21) 1)
(connected H2X6Y21 H2X2Y21) (= (distance H2X6Y21 H2X2Y21) 1)
(connected H2X6Y21 H0X6Y18) (= (distance H2X6Y21 H0X6Y18) 1)
(connected H3X10Y10 H3X10Y10) (= (distance H3X10Y10 H3X10Y10) 0)
(connected H3X10Y10 H3X10Y11) (= (distance H3X10Y10 H3X10Y11) 1)
(connected H3X10Y10 H3X10Y9) (= (distance H3X10Y10 H3X10Y9) 1)
(connected H3X11Y3 H3X11Y3) (= (distance H3X11Y3 H3X11Y3) 0)
(connected H3X11Y3 H3X11Y2) (= (distance H3X11Y3 H3X11Y2) 1)
(connected H3X11Y3 H1X8Y3) (= (distance H3X11Y3 H1X8Y3) 1)
(connected H3X11Y3 H2X9Y1) (= (distance H3X11Y3 H2X9Y1) 1)
(connected H3X11Y3 H3X11Y4) (= (distance H3X11Y3 H3X11Y4) 1)
(connected H1X4Y16 H1X4Y16) (= (distance H1X4Y16 H1X4Y16) 0)
(connected H1X4Y16 H1X4Y17) (= (distance H1X4Y16 H1X4Y17) 1)
(connected H1X4Y16 H1X3Y19) (= (distance H1X4Y16 H1X3Y19) 1)
(connected H1X4Y16 H1X4Y15) (= (distance H1X4Y16 H1X4Y15) 1)
(connected H1X4Y16 H3X1Y16) (= (distance H1X4Y16 H3X1Y16) 1)
(connected H1X4Y16 H2X2Y18) (= (distance H1X4Y16 H2X2Y18) 1)
(connected H1X4Y16 H3X7Y16) (= (distance H1X4Y16 H3X7Y16) 1)
(connected H1X4Y16 H0X6Y18) (= (distance H1X4Y16 H0X6Y18) 1)
(connected H1X4Y16 H1X5Y19) (= (distance H1X4Y16 H1X5Y19) 1)
(connected H1X4Y16 H1X4Y20) (= (distance H1X4Y16 H1X4Y20) 1)
(connected H1X4Y17 H1X4Y17) (= (distance H1X4Y17 H1X4Y17) 0)
(connected H1X4Y17 H1X4Y16) (= (distance H1X4Y17 H1X4Y16) 1)
(connected H1X4Y17 H1X5Y20) (= (distance H1X4Y17 H1X5Y20) 1)
(connected H1X4Y17 H3X1Y17) (= (distance H1X4Y17 H3X1Y17) 1)
(connected H1X4Y17 H3X7Y17) (= (distance H1X4Y17 H3X7Y17) 1)
(connected H1X4Y17 H1X4Y18) (= (distance H1X4Y17 H1X4Y18) 1)
(connected H1X4Y17 H2X2Y19) (= (distance H1X4Y17 H2X2Y19) 1)
(connected H1X4Y17 H1X3Y20) (= (distance H1X4Y17 H1X3Y20) 1)
(connected H1X4Y17 H0X6Y19) (= (distance H1X4Y17 H0X6Y19) 1)
(connected H1X4Y17 H1X4Y21) (= (distance H1X4Y17 H1X4Y21) 1)
(connected H1X4Y14 H1X4Y14) (= (distance H1X4Y14 H1X4Y14) 0)
(connected H1X4Y14 H1X4Y15) (= (distance H1X4Y14 H1X4Y15) 1)
(connected H1X4Y14 H1X4Y13) (= (distance H1X4Y14 H1X4Y13) 1)
(connected H1X4Y14 H3X7Y14) (= (distance H1X4Y14 H3X7Y14) 1)
(connected H1X4Y14 H1X3Y17) (= (distance H1X4Y14 H1X3Y17) 1)
(connected H1X4Y14 H1X4Y18) (= (distance H1X4Y14 H1X4Y18) 1)
(connected H1X4Y14 H3X1Y14) (= (distance H1X4Y14 H3X1Y14) 1)
(connected H1X4Y14 H0X6Y16) (= (distance H1X4Y14 H0X6Y16) 1)
(connected H1X4Y14 H1X5Y17) (= (distance H1X4Y14 H1X5Y17) 1)
(connected H1X4Y14 H2X2Y16) (= (distance H1X4Y14 H2X2Y16) 1)
(connected H1X4Y15 H1X4Y15) (= (distance H1X4Y15 H1X4Y15) 0)
(connected H1X4Y15 H1X4Y16) (= (distance H1X4Y15 H1X4Y16) 1)
(connected H1X4Y15 H3X7Y15) (= (distance H1X4Y15 H3X7Y15) 1)
(connected H1X4Y15 H1X4Y14) (= (distance H1X4Y15 H1X4Y14) 1)
(connected H1X4Y15 H1X3Y18) (= (distance H1X4Y15 H1X3Y18) 1)
(connected H1X4Y15 H3X1Y15) (= (distance H1X4Y15 H3X1Y15) 1)
(connected H1X4Y15 H1X4Y19) (= (distance H1X4Y15 H1X4Y19) 1)
(connected H1X4Y15 H0X6Y17) (= (distance H1X4Y15 H0X6Y17) 1)
(connected H1X4Y15 H1X5Y18) (= (distance H1X4Y15 H1X5Y18) 1)
(connected H1X4Y15 H2X2Y17) (= (distance H1X4Y15 H2X2Y17) 1)
(connected H1X4Y12 H1X4Y12) (= (distance H1X4Y12 H1X4Y12) 0)
(connected H1X4Y12 H1X4Y16) (= (distance H1X4Y12 H1X4Y16) 1)
(connected H1X4Y12 H1X4Y13) (= (distance H1X4Y12 H1X4Y13) 1)
(connected H1X4Y12 H1X4Y11) (= (distance H1X4Y12 H1X4Y11) 1)
(connected H1X4Y12 H3X1Y12) (= (distance H1X4Y12 H3X1Y12) 1)
(connected H1X4Y12 H1X3Y15) (= (distance H1X4Y12 H1X3Y15) 1)
(connected H1X4Y12 H1X5Y15) (= (distance H1X4Y12 H1X5Y15) 1)
(connected H1X4Y12 H0X6Y14) (= (distance H1X4Y12 H0X6Y14) 1)
(connected H1X4Y12 H3X7Y12) (= (distance H1X4Y12 H3X7Y12) 1)
(connected H1X4Y12 H2X2Y14) (= (distance H1X4Y12 H2X2Y14) 1)
(connected H1X4Y13 H1X4Y13) (= (distance H1X4Y13 H1X4Y13) 0)
(connected H1X4Y13 H1X4Y17) (= (distance H1X4Y13 H1X4Y17) 1)
(connected H1X4Y13 H1X4Y14) (= (distance H1X4Y13 H1X4Y14) 1)
(connected H1X4Y13 H1X4Y12) (= (distance H1X4Y13 H1X4Y12) 1)
(connected H1X4Y13 H3X1Y13) (= (distance H1X4Y13 H3X1Y13) 1)
(connected H1X4Y13 H1X3Y16) (= (distance H1X4Y13 H1X3Y16) 1)
(connected H1X4Y13 H0X6Y15) (= (distance H1X4Y13 H0X6Y15) 1)
(connected H1X4Y13 H1X5Y16) (= (distance H1X4Y13 H1X5Y16) 1)
(connected H1X4Y13 H3X7Y13) (= (distance H1X4Y13 H3X7Y13) 1)
(connected H1X4Y13 H2X2Y15) (= (distance H1X4Y13 H2X2Y15) 1)
(connected H1X4Y10 H1X4Y10) (= (distance H1X4Y10 H1X4Y10) 0)
(connected H1X4Y10 H1X4Y14) (= (distance H1X4Y10 H1X4Y14) 1)
(connected H1X4Y10 H1X4Y11) (= (distance H1X4Y10 H1X4Y11) 1)
(connected H1X4Y10 H1X3Y13) (= (distance H1X4Y10 H1X3Y13) 1)
(connected H1X4Y10 H3X1Y10) (= (distance H1X4Y10 H3X1Y10) 1)
(connected H1X4Y10 H1X4Y9) (= (distance H1X4Y10 H1X4Y9) 1)
(connected H1X4Y10 H1X5Y13) (= (distance H1X4Y10 H1X5Y13) 1)
(connected H1X4Y10 H3X7Y10) (= (distance H1X4Y10 H3X7Y10) 1)
(connected H1X4Y10 H2X2Y12) (= (distance H1X4Y10 H2X2Y12) 1)
(connected H1X4Y10 H0X6Y12) (= (distance H1X4Y10 H0X6Y12) 1)
(connected H1X4Y11 H1X4Y11) (= (distance H1X4Y11 H1X4Y11) 0)
(connected H1X4Y11 H1X4Y15) (= (distance H1X4Y11 H1X4Y15) 1)