-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtask_b1.pddl
598 lines (597 loc) · 40 KB
/
task_b1.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
(define (problem auto_warehouse_easy)
(:domain auto_warehouse)
(:objects
p0 p1 p2 p3 - pallet
robot0 robot1 robot2 robot3 - agent
H1X2Y12 H2X5Y13 H0X4Y17 H3X4Y17 H3X3Y11 H0X8Y2 H3X4Y12 H1X4Y7 H2X6Y11 H0X11Y10 H1X5Y16
H3X5Y16 H1X2Y8 H0X4Y4 H3X5Y20 H2X4Y22 H1X7Y9 H3X10Y3 H2X5Y1 H1X7Y13 H1X8Y21 H3X5Y17 H3X3Y3
H2X9Y13 H2X7Y14 H0X7Y9 H3X1Y8 H1X3Y8 H0X9Y10 H2X10Y5 H3X2Y16 H3X3Y5 H2X8Y13 H0X9Y2 H2X6Y21
H0X6Y18 H1X4Y9 H3X0Y5 H0X2Y3 H3X4Y14 H0X4Y18 H3X8Y21 H2X9Y5 H3X6Y16 H3X4Y8 H2X7Y19 H0X3Y3
H0X6Y3 H1X5Y5 H2X8Y5 H1X5Y18 H0X3Y14 H0X4Y14 H1X8Y19 H0X6Y19 H3X3Y13 H3X4Y18 H2X2Y6 H3X8Y10
H1X7Y17 H3X2Y20 H2X6Y8 H3X8Y20 H1X8Y10 H1X6Y10 H2X11Y13 H2X0Y11 H3X7Y18 H3X2Y6 H3X5Y11 H3X4Y6
H3X2Y11 H1X5Y2 H3X7Y15 H2X6Y13 H1X8Y15 H0X10Y10 H0X5Y10 H3X2Y2 H0X7Y19 H1X4Y13 H3X5Y21 H0X10Y19
H0X0Y8 H0X6Y4 H0X7Y18 H2X7Y13 H3X3Y17 H2X4Y6 H1X2Y11 H3X5Y12 H0X8Y5 H1X3Y14 H0X5Y1 H3X5Y19
H2X3Y9 H3X6Y18 H0X8Y19 H3X8Y12 H3X9Y21 H1X6Y9 H3X5Y10 H1X6Y14 H3X5Y15 H2X6Y14 H0X6Y11 H1X2Y15
H3X4Y10 H3X2Y5 H0X6Y10 H1X5Y6 H1X8Y16 H3X2Y7 H2X5Y5 H0X9Y19 H0X5Y4 H1X8Y20 H1X3Y9 H1X6Y13
H3X2Y8 H0X6Y8 H0X5Y18 H1X4Y3 H1X4Y5 H3X6Y12 H1X11Y21 H3X9Y13 H1X5Y15 H3X6Y15 H2X11Y5 H0X6Y9
H1X8Y12 H1X8Y6 H3X4Y9 H3X8Y16 H1X5Y20 H1X4Y17 H2X6Y1 H2X3Y10 H0X7Y20 H2X7Y5 H3X3Y9 H3X4Y16
H2X4Y9 H3X4Y13 H0X3Y13 H1X6Y17 H3X2Y10 H1X8Y11 H0X3Y5 H3X6Y4 H2X6Y7 H3X9Y17 H3X2Y12 H3X1Y7
H1X6Y15 H0X12Y1 H2X2Y0 H3X6Y8 H1X6Y6 H2X3Y22 H3X7Y11 H2X6Y5 H2X5Y7 H1X5Y7 H3X6Y9 H0X8Y10
H3X6Y14 H2X12Y4 H0X7Y10 H3X7Y12 H3X7Y7 H0X5Y3 H0X4Y10 H0X4Y3 H2X10Y13 H2X3Y6 H1X12Y21 - location
)
(:init (= (total-cost) 0)
(at robot0 H0X9Y10) (at robot1 H3X5Y11) (at robot2 H1X8Y20) (at robot3 H0X2Y3)
(avail robot0) (avail robot1) (avail robot2) (avail robot3)
(at p0 H3X5Y12) (at p1 H0X10Y10) (at p2 H0X10Y10) (at p3 H3X2Y20)
(avail p0) (avail p1) (avail p2) (avail p3)
(connected H0X9Y10 H0X9Y10) (= (distance H0X9Y10 H0X9Y10) 0)
(connected H0X9Y10 H0X10Y10) (= (distance H0X9Y10 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H1X8Y15) (= (distance H2X10Y13 H1X8Y15) 1)
(connected H1X8Y15 H1X8Y19) (= (distance H1X8Y15 H1X8Y19) 1)
(connected H1X8Y19 H1X8Y20) (= (distance H1X8Y19 H1X8Y20) 1)
(connected H1X8Y20 H3X5Y20) (= (distance H1X8Y20 H3X5Y20) 1)
(connected H3X5Y20 H3X4Y17) (= (distance H3X5Y20 H3X4Y17) 1)
(connected H3X4Y17 H3X4Y13) (= (distance H3X4Y17 H3X4Y13) 1)
(connected H3X4Y13 H0X6Y11) (= (distance H3X4Y13 H0X6Y11) 1)
(connected H0X6Y11 H0X9Y10) (= (distance H0X6Y11 H0X9Y10) 1)
(connected H0X9Y10 H0X10Y10) (= (distance H0X9Y10 H0X10Y10) 1)
(connected H0X10Y10 H0X9Y10) (= (distance H0X10Y10 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H3X7Y11) (= (distance H2X9Y13 H3X7Y11) 1)
(connected H3X7Y11 H3X6Y8) (= (distance H3X7Y11 H3X6Y8) 1)
(connected H3X6Y8 H3X6Y4) (= (distance H3X6Y8 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H1X4Y7) (= (distance H2X6Y5 H1X4Y7) 1)
(connected H1X4Y7 H0X6Y9) (= (distance H1X4Y7 H0X6Y9) 1)
(connected H0X6Y9 H0X9Y10) (= (distance H0X6Y9 H0X9Y10) 1)
(connected H0X9Y10 H0X10Y10) (= (distance H0X9Y10 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X7Y14) (= (distance H2X10Y13 H2X7Y14) 1)
(connected H2X7Y14 H3X5Y12) (= (distance H2X7Y14 H3X5Y12) 1)
(connected H3X5Y12 H0X7Y10) (= (distance H3X5Y12 H0X7Y10) 1)
(connected H0X7Y10 H0X8Y10) (= (distance H0X7Y10 H0X8Y10) 1)
(connected H0X8Y10 H0X9Y10) (= (distance H0X8Y10 H0X9Y10) 1)
(connected H0X9Y10 H0X8Y10) (= (distance H0X9Y10 H0X8Y10) 1)
(connected H0X8Y10 H2X8Y13) (= (distance H0X8Y10 H2X8Y13) 1)
(connected H2X8Y13 H1X6Y15) (= (distance H2X8Y13 H1X6Y15) 1)
(connected H1X6Y15 H1X5Y18) (= (distance H1X6Y15 H1X5Y18) 1)
(connected H1X5Y18 H0X7Y20) (= (distance H1X5Y18 H0X7Y20) 1)
(connected H0X7Y20 H0X10Y19) (= (distance H0X7Y20 H0X10Y19) 1)
(connected H0X10Y19 H0X9Y19) (= (distance H0X10Y19 H0X9Y19) 1)
(connected H0X9Y19 H1X11Y21) (= (distance H0X9Y19 H1X11Y21) 1)
(connected H1X11Y21 H3X8Y21) (= (distance H1X11Y21 H3X8Y21) 1)
(connected H3X8Y21 H3X7Y18) (= (distance H3X8Y21 H3X7Y18) 1)
(connected H3X7Y18 H3X6Y15) (= (distance H3X7Y18 H3X6Y15) 1)
(connected H3X6Y15 H3X7Y12) (= (distance H3X6Y15 H3X7Y12) 1)
(connected H3X7Y12 H0X9Y10) (= (distance H3X7Y12 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H2X6Y14) (= (distance H2X9Y13 H2X6Y14) 1)
(connected H2X6Y14 H3X4Y12) (= (distance H2X6Y14 H3X4Y12) 1)
(connected H3X4Y12 H3X3Y9) (= (distance H3X4Y12 H3X3Y9) 1)
(connected H3X3Y9 H3X2Y6) (= (distance H3X3Y9 H3X2Y6) 1)
(connected H3X2Y6 H1X5Y6) (= (distance H3X2Y6 H1X5Y6) 1)
(connected H1X5Y6 H1X4Y9) (= (distance H1X5Y6 H1X4Y9) 1)
(connected H1X4Y9 H0X6Y11) (= (distance H1X4Y9 H0X6Y11) 1)
(connected H0X6Y11 H0X9Y10) (= (distance H0X6Y11 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H2X5Y13) (= (distance H2X9Y13 H2X5Y13) 1)
(connected H2X5Y13 H3X3Y11) (= (distance H2X5Y13 H3X3Y11) 1)
(connected H3X3Y11 H3X4Y8) (= (distance H3X3Y11 H3X4Y8) 1)
(connected H3X4Y8 H2X2Y6) (= (distance H3X4Y8 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H0X5Y4) (= (distance H0X2Y3 H0X5Y4) 1)
(connected H0X5Y4 H2X5Y7) (= (distance H0X5Y4 H2X5Y7) 1)
(connected H2X5Y7 H0X5Y10) (= (distance H2X5Y7 H0X5Y10) 1)
(connected H0X5Y10 H0X9Y10) (= (distance H0X5Y10 H0X9Y10) 1)
(connected H0X9Y10 H0X8Y10) (= (distance H0X9Y10 H0X8Y10) 1)
(connected H0X8Y10 H2X8Y13) (= (distance H0X8Y10 H2X8Y13) 1)
(connected H2X8Y13 H2X7Y13) (= (distance H2X8Y13 H2X7Y13) 1)
(connected H2X7Y13 H3X5Y11) (= (distance H2X7Y13 H3X5Y11) 1)
(connected H3X5Y11 H0X7Y9) (= (distance H3X5Y11 H0X7Y9) 1)
(connected H0X7Y9 H0X6Y9) (= (distance H0X7Y9 H0X6Y9) 1)
(connected H0X6Y9 H0X9Y10) (= (distance H0X6Y9 H0X9Y10) 1)
(connected H0X9Y10 H0X10Y10) (= (distance H0X9Y10 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X7Y14) (= (distance H2X10Y13 H2X7Y14) 1)
(connected H2X7Y14 H1X5Y16) (= (distance H2X7Y14 H1X5Y16) 1)
(connected H1X5Y16 H1X5Y20) (= (distance H1X5Y16 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H0X4Y10) (= (distance H3X2Y12 H0X4Y10) 1)
(connected H0X4Y10 H0X8Y10) (= (distance H0X4Y10 H0X8Y10) 1)
(connected H0X8Y10 H0X9Y10) (= (distance H0X8Y10 H0X9Y10) 1)
(connected H0X9Y10 H0X8Y10) (= (distance H0X9Y10 H0X8Y10) 1)
(connected H0X8Y10 H0X7Y10) (= (distance H0X8Y10 H0X7Y10) 1)
(connected H0X7Y10 H0X6Y10) (= (distance H0X7Y10 H0X6Y10) 1)
(connected H0X6Y10 H2X6Y7) (= (distance H0X6Y10 H2X6Y7) 1)
(connected H2X6Y7 H0X6Y4) (= (distance H2X6Y7 H0X6Y4) 1)
(connected H0X6Y4 H0X5Y4) (= (distance H0X6Y4 H0X5Y4) 1)
(connected H0X5Y4 H2X5Y7) (= (distance H0X5Y4 H2X5Y7) 1)
(connected H2X5Y7 H0X5Y10) (= (distance H2X5Y7 H0X5Y10) 1)
(connected H0X5Y10 H0X9Y10) (= (distance H0X5Y10 H0X9Y10) 1)
(connected H1X8Y20 H1X8Y20) (= (distance H1X8Y20 H1X8Y20) 0)
(connected H1X8Y20 H1X8Y21) (= (distance H1X8Y20 H1X8Y21) 1)
(connected H1X8Y21 H3X5Y21) (= (distance H1X8Y21 H3X5Y21) 1)
(connected H3X5Y21 H3X6Y18) (= (distance H3X5Y21 H3X6Y18) 1)
(connected H3X6Y18 H3X7Y15) (= (distance H3X6Y18 H3X7Y15) 1)
(connected H3X7Y15 H3X8Y12) (= (distance H3X7Y15 H3X8Y12) 1)
(connected H3X8Y12 H0X10Y10) (= (distance H3X8Y12 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H1X8Y15) (= (distance H2X10Y13 H1X8Y15) 1)
(connected H1X8Y15 H1X8Y19) (= (distance H1X8Y15 H1X8Y19) 1)
(connected H1X8Y19 H1X8Y20) (= (distance H1X8Y19 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y19) (= (distance H1X8Y20 H1X8Y19) 1)
(connected H1X8Y19 H3X5Y19) (= (distance H1X8Y19 H3X5Y19) 1)
(connected H3X5Y19 H3X6Y16) (= (distance H3X5Y19 H3X6Y16) 1)
(connected H3X6Y16 H3X6Y12) (= (distance H3X6Y16 H3X6Y12) 1)
(connected H3X6Y12 H3X6Y8) (= (distance H3X6Y12 H3X6Y8) 1)
(connected H3X6Y8 H3X6Y4) (= (distance H3X6Y8 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H0X6Y8) (= (distance H2X6Y5 H0X6Y8) 1)
(connected H0X6Y8 H1X8Y10) (= (distance H0X6Y8 H1X8Y10) 1)
(connected H1X8Y10 H1X7Y13) (= (distance H1X8Y10 H1X7Y13) 1)
(connected H1X7Y13 H1X7Y17) (= (distance H1X7Y13 H1X7Y17) 1)
(connected H1X7Y17 H1X8Y20) (= (distance H1X7Y17 H1X8Y20) 1)
(connected H1X8Y20 H3X5Y20) (= (distance H1X8Y20 H3X5Y20) 1)
(connected H3X5Y20 H3X5Y16) (= (distance H3X5Y20 H3X5Y16) 1)
(connected H3X5Y16 H3X5Y12) (= (distance H3X5Y16 H3X5Y12) 1)
(connected H3X5Y12 H1X8Y12) (= (distance H3X5Y12 H1X8Y12) 1)
(connected H1X8Y12 H1X8Y16) (= (distance H1X8Y12 H1X8Y16) 1)
(connected H1X8Y16 H1X8Y20) (= (distance H1X8Y16 H1X8Y20) 1)
(connected H1X8Y20 H3X5Y20) (= (distance H1X8Y20 H3X5Y20) 1)
(connected H3X5Y20 H0X7Y18) (= (distance H3X5Y20 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H0X9Y19) (= (distance H0X10Y19 H0X9Y19) 1)
(connected H0X9Y19 H0X8Y19) (= (distance H0X9Y19 H0X8Y19) 1)
(connected H0X8Y19 H0X7Y19) (= (distance H0X8Y19 H0X7Y19) 1)
(connected H0X7Y19 H0X6Y19) (= (distance H0X7Y19 H0X6Y19) 1)
(connected H0X6Y19 H1X8Y21) (= (distance H0X6Y19 H1X8Y21) 1)
(connected H1X8Y21 H1X8Y20) (= (distance H1X8Y21 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y19) (= (distance H1X8Y20 H1X8Y19) 1)
(connected H1X8Y19 H3X5Y19) (= (distance H1X8Y19 H3X5Y19) 1)
(connected H3X5Y19 H3X4Y16) (= (distance H3X5Y19 H3X4Y16) 1)
(connected H3X4Y16 H3X4Y12) (= (distance H3X4Y16 H3X4Y12) 1)
(connected H3X4Y12 H3X3Y9) (= (distance H3X4Y12 H3X3Y9) 1)
(connected H3X3Y9 H3X2Y6) (= (distance H3X3Y9 H3X2Y6) 1)
(connected H3X2Y6 H3X2Y7) (= (distance H3X2Y6 H3X2Y7) 1)
(connected H3X2Y7 H1X5Y7) (= (distance H3X2Y7 H1X5Y7) 1)
(connected H1X5Y7 H1X6Y10) (= (distance H1X5Y7 H1X6Y10) 1)
(connected H1X6Y10 H1X6Y14) (= (distance H1X6Y10 H1X6Y14) 1)
(connected H1X6Y14 H1X7Y17) (= (distance H1X6Y14 H1X7Y17) 1)
(connected H1X7Y17 H1X8Y20) (= (distance H1X7Y17 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y19) (= (distance H1X8Y20 H1X8Y19) 1)
(connected H1X8Y19 H3X5Y19) (= (distance H1X8Y19 H3X5Y19) 1)
(connected H3X5Y19 H3X4Y16) (= (distance H3X5Y19 H3X4Y16) 1)
(connected H3X4Y16 H3X4Y12) (= (distance H3X4Y16 H3X4Y12) 1)
(connected H3X4Y12 H3X4Y8) (= (distance H3X4Y12 H3X4Y8) 1)
(connected H3X4Y8 H2X2Y6) (= (distance H3X4Y8 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H0X5Y4) (= (distance H0X2Y3 H0X5Y4) 1)
(connected H0X5Y4 H0X6Y4) (= (distance H0X5Y4 H0X6Y4) 1)
(connected H0X6Y4 H1X8Y6) (= (distance H0X6Y4 H1X8Y6) 1)
(connected H1X8Y6 H1X8Y10) (= (distance H1X8Y6 H1X8Y10) 1)
(connected H1X8Y10 H1X7Y13) (= (distance H1X8Y10 H1X7Y13) 1)
(connected H1X7Y13 H1X7Y17) (= (distance H1X7Y13 H1X7Y17) 1)
(connected H1X7Y17 H1X8Y20) (= (distance H1X7Y17 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y19) (= (distance H1X8Y20 H1X8Y19) 1)
(connected H1X8Y19 H3X5Y19) (= (distance H1X8Y19 H3X5Y19) 1)
(connected H3X5Y19 H3X5Y15) (= (distance H3X5Y19 H3X5Y15) 1)
(connected H3X5Y15 H3X5Y11) (= (distance H3X5Y15 H3X5Y11) 1)
(connected H3X5Y11 H1X8Y11) (= (distance H3X5Y11 H1X8Y11) 1)
(connected H1X8Y11 H1X8Y12) (= (distance H1X8Y11 H1X8Y12) 1)
(connected H1X8Y12 H1X8Y16) (= (distance H1X8Y12 H1X8Y16) 1)
(connected H1X8Y16 H1X8Y20) (= (distance H1X8Y16 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y19) (= (distance H1X8Y20 H1X8Y19) 1)
(connected H1X8Y19 H2X6Y21) (= (distance H1X8Y19 H2X6Y21) 1)
(connected H2X6Y21 H2X3Y22) (= (distance H2X6Y21 H2X3Y22) 1)
(connected H2X3Y22 H2X4Y22) (= (distance H2X3Y22 H2X4Y22) 1)
(connected H2X4Y22 H3X2Y20) (= (distance H2X4Y22 H3X2Y20) 1)
(connected H3X2Y20 H0X4Y18) (= (distance H3X2Y20 H0X4Y18) 1)
(connected H0X4Y18 H0X5Y18) (= (distance H0X4Y18 H0X5Y18) 1)
(connected H0X5Y18 H0X6Y18) (= (distance H0X5Y18 H0X6Y18) 1)
(connected H0X6Y18 H1X8Y20) (= (distance H0X6Y18 H1X8Y20) 1)
(connected H1X8Y20 H1X8Y21) (= (distance H1X8Y20 H1X8Y21) 1)
(connected H1X8Y21 H3X5Y21) (= (distance H1X8Y21 H3X5Y21) 1)
(connected H3X5Y21 H3X4Y18) (= (distance H3X5Y21 H3X4Y18) 1)
(connected H3X4Y18 H3X4Y14) (= (distance H3X4Y18 H3X4Y14) 1)
(connected H3X4Y14 H3X4Y10) (= (distance H3X4Y14 H3X4Y10) 1)
(connected H3X4Y10 H3X4Y6) (= (distance H3X4Y10 H3X4Y6) 1)
(connected H3X4Y6 H0X6Y4) (= (distance H3X4Y6 H0X6Y4) 1)
(connected H0X6Y4 H1X8Y6) (= (distance H0X6Y4 H1X8Y6) 1)
(connected H1X8Y6 H1X8Y10) (= (distance H1X8Y6 H1X8Y10) 1)
(connected H1X8Y10 H1X7Y13) (= (distance H1X8Y10 H1X7Y13) 1)
(connected H1X7Y13 H1X7Y17) (= (distance H1X7Y13 H1X7Y17) 1)
(connected H1X7Y17 H1X8Y20) (= (distance H1X7Y17 H1X8Y20) 1)
(connected H0X10Y10 H0X10Y10) (= (distance H0X10Y10 H0X10Y10) 0)
(connected H0X10Y10 H0X9Y10) (= (distance H0X10Y10 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H3X7Y11) (= (distance H2X9Y13 H3X7Y11) 1)
(connected H3X7Y11 H3X6Y8) (= (distance H3X7Y11 H3X6Y8) 1)
(connected H3X6Y8 H3X6Y4) (= (distance H3X6Y8 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X11Y5) (= (distance H2X10Y5 H2X11Y5) 1)
(connected H2X11Y5 H2X7Y5) (= (distance H2X11Y5 H2X7Y5) 1)
(connected H2X7Y5 H1X5Y7) (= (distance H2X7Y5 H1X5Y7) 1)
(connected H1X5Y7 H0X7Y9) (= (distance H1X5Y7 H0X7Y9) 1)
(connected H0X7Y9 H0X10Y10) (= (distance H0X7Y9 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X7Y14) (= (distance H2X10Y13 H2X7Y14) 1)
(connected H2X7Y14 H3X5Y12) (= (distance H2X7Y14 H3X5Y12) 1)
(connected H3X5Y12 H0X7Y10) (= (distance H3X5Y12 H0X7Y10) 1)
(connected H0X7Y10 H0X6Y10) (= (distance H0X7Y10 H0X6Y10) 1)
(connected H0X6Y10 H0X10Y10) (= (distance H0X6Y10 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X7Y14) (= (distance H2X10Y13 H2X7Y14) 1)
(connected H2X7Y14 H1X5Y16) (= (distance H2X7Y14 H1X5Y16) 1)
(connected H1X5Y16 H0X7Y18) (= (distance H1X5Y16 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H0X9Y19) (= (distance H0X10Y19 H0X9Y19) 1)
(connected H0X9Y19 H1X11Y21) (= (distance H0X9Y19 H1X11Y21) 1)
(connected H1X11Y21 H3X8Y21) (= (distance H1X11Y21 H3X8Y21) 1)
(connected H3X8Y21 H3X8Y20) (= (distance H3X8Y21 H3X8Y20) 1)
(connected H3X8Y20 H3X8Y16) (= (distance H3X8Y20 H3X8Y16) 1)
(connected H3X8Y16 H3X8Y12) (= (distance H3X8Y16 H3X8Y12) 1)
(connected H3X8Y12 H0X10Y10) (= (distance H3X8Y12 H0X10Y10) 1)
(connected H0X10Y10 H0X9Y10) (= (distance H0X10Y10 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H2X6Y14) (= (distance H2X9Y13 H2X6Y14) 1)
(connected H2X6Y14 H3X4Y12) (= (distance H2X6Y14 H3X4Y12) 1)
(connected H3X4Y12 H3X3Y9) (= (distance H3X4Y12 H3X3Y9) 1)
(connected H3X3Y9 H3X2Y6) (= (distance H3X3Y9 H3X2Y6) 1)
(connected H3X2Y6 H3X2Y7) (= (distance H3X2Y6 H3X2Y7) 1)
(connected H3X2Y7 H1X5Y7) (= (distance H3X2Y7 H1X5Y7) 1)
(connected H1X5Y7 H0X7Y9) (= (distance H1X5Y7 H0X7Y9) 1)
(connected H0X7Y9 H0X10Y10) (= (distance H0X7Y9 H0X10Y10) 1)
(connected H0X10Y10 H0X9Y10) (= (distance H0X10Y10 H0X9Y10) 1)
(connected H0X9Y10 H2X9Y13) (= (distance H0X9Y10 H2X9Y13) 1)
(connected H2X9Y13 H2X5Y13) (= (distance H2X9Y13 H2X5Y13) 1)
(connected H2X5Y13 H3X3Y11) (= (distance H2X5Y13 H3X3Y11) 1)
(connected H3X3Y11 H3X4Y8) (= (distance H3X3Y11 H3X4Y8) 1)
(connected H3X4Y8 H2X2Y6) (= (distance H3X4Y8 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H0X5Y4) (= (distance H0X2Y3 H0X5Y4) 1)
(connected H0X5Y4 H0X6Y4) (= (distance H0X5Y4 H0X6Y4) 1)
(connected H0X6Y4 H2X6Y7) (= (distance H0X6Y4 H2X6Y7) 1)
(connected H2X6Y7 H0X6Y10) (= (distance H2X6Y7 H0X6Y10) 1)
(connected H0X6Y10 H0X10Y10) (= (distance H0X6Y10 H0X10Y10) 1)
(connected H0X10Y10 H0X11Y10) (= (distance H0X10Y10 H0X11Y10) 1)
(connected H0X11Y10 H2X11Y13) (= (distance H0X11Y10 H2X11Y13) 1)
(connected H2X11Y13 H2X7Y13) (= (distance H2X11Y13 H2X7Y13) 1)
(connected H2X7Y13 H3X5Y11) (= (distance H2X7Y13 H3X5Y11) 1)
(connected H3X5Y11 H0X7Y9) (= (distance H3X5Y11 H0X7Y9) 1)
(connected H0X7Y9 H0X10Y10) (= (distance H0X7Y9 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X7Y14) (= (distance H2X10Y13 H2X7Y14) 1)
(connected H2X7Y14 H1X5Y16) (= (distance H2X7Y14 H1X5Y16) 1)
(connected H1X5Y16 H1X5Y20) (= (distance H1X5Y16 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H0X4Y10) (= (distance H3X2Y12 H0X4Y10) 1)
(connected H0X4Y10 H0X7Y9) (= (distance H0X4Y10 H0X7Y9) 1)
(connected H0X7Y9 H0X10Y10) (= (distance H0X7Y9 H0X10Y10) 1)
(connected H0X10Y10 H2X10Y13) (= (distance H0X10Y10 H2X10Y13) 1)
(connected H2X10Y13 H2X6Y13) (= (distance H2X10Y13 H2X6Y13) 1)
(connected H2X6Y13 H0X6Y10) (= (distance H2X6Y13 H0X6Y10) 1)
(connected H0X6Y10 H2X6Y7) (= (distance H0X6Y10 H2X6Y7) 1)
(connected H2X6Y7 H0X6Y4) (= (distance H2X6Y7 H0X6Y4) 1)
(connected H0X6Y4 H2X6Y7) (= (distance H0X6Y4 H2X6Y7) 1)
(connected H2X6Y7 H0X6Y10) (= (distance H2X6Y7 H0X6Y10) 1)
(connected H0X6Y10 H0X10Y10) (= (distance H0X6Y10 H0X10Y10) 1)
(connected H2X10Y5 H2X10Y5) (= (distance H2X10Y5 H2X10Y5) 0)
(connected H2X10Y5 H2X11Y5) (= (distance H2X10Y5 H2X11Y5) 1)
(connected H2X11Y5 H2X7Y5) (= (distance H2X11Y5 H2X7Y5) 1)
(connected H2X7Y5 H2X4Y6) (= (distance H2X7Y5 H2X4Y6) 1)
(connected H2X4Y6 H1X2Y8) (= (distance H2X4Y6 H1X2Y8) 1)
(connected H1X2Y8 H1X2Y12) (= (distance H1X2Y8 H1X2Y12) 1)
(connected H1X2Y12 H3X5Y12) (= (distance H1X2Y12 H3X5Y12) 1)
(connected H3X5Y12 H3X6Y9) (= (distance H3X5Y12 H3X6Y9) 1)
(connected H3X6Y9 H3X6Y8) (= (distance H3X6Y9 H3X6Y8) 1)
(connected H3X6Y8 H3X6Y4) (= (distance H3X6Y8 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H0X6Y8) (= (distance H2X6Y5 H0X6Y8) 1)
(connected H0X6Y8 H1X8Y10) (= (distance H0X6Y8 H1X8Y10) 1)
(connected H1X8Y10 H1X7Y13) (= (distance H1X8Y10 H1X7Y13) 1)
(connected H1X7Y13 H1X7Y17) (= (distance H1X7Y13 H1X7Y17) 1)
(connected H1X7Y17 H0X9Y19) (= (distance H1X7Y17 H0X9Y19) 1)
(connected H0X9Y19 H0X10Y19) (= (distance H0X9Y19 H0X10Y19) 1)
(connected H0X10Y19 H1X12Y21) (= (distance H0X10Y19 H1X12Y21) 1)
(connected H1X12Y21 H3X9Y21) (= (distance H1X12Y21 H3X9Y21) 1)
(connected H3X9Y21 H3X9Y17) (= (distance H3X9Y21 H3X9Y17) 1)
(connected H3X9Y17 H3X9Y13) (= (distance H3X9Y17 H3X9Y13) 1)
(connected H3X9Y13 H3X8Y10) (= (distance H3X9Y13 H3X8Y10) 1)
(connected H3X8Y10 H3X7Y7) (= (distance H3X8Y10 H3X7Y7) 1)
(connected H3X7Y7 H3X6Y4) (= (distance H3X7Y7 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X11Y5) (= (distance H2X10Y5 H2X11Y5) 1)
(connected H2X11Y5 H2X7Y5) (= (distance H2X11Y5 H2X7Y5) 1)
(connected H2X7Y5 H1X5Y7) (= (distance H2X7Y5 H1X5Y7) 1)
(connected H1X5Y7 H3X2Y7) (= (distance H1X5Y7 H3X2Y7) 1)
(connected H3X2Y7 H3X2Y6) (= (distance H3X2Y7 H3X2Y6) 1)
(connected H3X2Y6 H3X3Y3) (= (distance H3X2Y6 H3X3Y3) 1)
(connected H3X3Y3 H0X5Y1) (= (distance H3X3Y3 H0X5Y1) 1)
(connected H0X5Y1 H0X8Y2) (= (distance H0X5Y1 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X9Y5) (= (distance H2X10Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X5Y5) (= (distance H2X9Y5 H2X5Y5) 1)
(connected H2X5Y5 H2X2Y6) (= (distance H2X5Y5 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H0X6Y3) (= (distance H0X2Y3 H0X6Y3) 1)
(connected H0X6Y3 H0X9Y2) (= (distance H0X6Y3 H0X9Y2) 1)
(connected H0X9Y2 H0X8Y2) (= (distance H0X9Y2 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H0X6Y8) (= (distance H2X6Y5 H0X6Y8) 1)
(connected H0X6Y8 H1X8Y10) (= (distance H0X6Y8 H1X8Y10) 1)
(connected H1X8Y10 H3X5Y10) (= (distance H1X8Y10 H3X5Y10) 1)
(connected H3X5Y10 H3X5Y11) (= (distance H3X5Y10 H3X5Y11) 1)
(connected H3X5Y11 H3X6Y8) (= (distance H3X5Y11 H3X6Y8) 1)
(connected H3X6Y8 H3X6Y4) (= (distance H3X6Y8 H3X6Y4) 1)
(connected H3X6Y4 H0X8Y2) (= (distance H3X6Y4 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H0X6Y8) (= (distance H2X6Y5 H0X6Y8) 1)
(connected H0X6Y8 H2X6Y11) (= (distance H0X6Y8 H2X6Y11) 1)
(connected H2X6Y11 H1X4Y13) (= (distance H2X6Y11 H1X4Y13) 1)
(connected H1X4Y13 H1X4Y17) (= (distance H1X4Y13 H1X4Y17) 1)
(connected H1X4Y17 H1X5Y20) (= (distance H1X4Y17 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H3X2Y8) (= (distance H3X2Y12 H3X2Y8) 1)
(connected H3X2Y8 H3X3Y5) (= (distance H3X2Y8 H3X3Y5) 1)
(connected H3X3Y5 H0X5Y3) (= (distance H3X3Y5 H0X5Y3) 1)
(connected H0X5Y3 H0X8Y2) (= (distance H0X5Y3 H0X8Y2) 1)
(connected H0X8Y2 H2X8Y5) (= (distance H0X8Y2 H2X8Y5) 1)
(connected H2X8Y5 H2X9Y5) (= (distance H2X8Y5 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H2X10Y5 H2X6Y5) (= (distance H2X10Y5 H2X6Y5) 1)
(connected H2X6Y5 H2X3Y6) (= (distance H2X6Y5 H2X3Y6) 1)
(connected H2X3Y6 H0X3Y3) (= (distance H2X3Y6 H0X3Y3) 1)
(connected H0X3Y3 H0X6Y4) (= (distance H0X3Y3 H0X6Y4) 1)
(connected H0X6Y4 H0X5Y4) (= (distance H0X6Y4 H0X5Y4) 1)
(connected H0X5Y4 H0X8Y5) (= (distance H0X5Y4 H0X8Y5) 1)
(connected H0X8Y5 H3X10Y3) (= (distance H0X8Y5 H3X10Y3) 1)
(connected H3X10Y3 H0X12Y1) (= (distance H3X10Y3 H0X12Y1) 1)
(connected H0X12Y1 H2X12Y4) (= (distance H0X12Y1 H2X12Y4) 1)
(connected H2X12Y4 H2X9Y5) (= (distance H2X12Y4 H2X9Y5) 1)
(connected H2X9Y5 H2X10Y5) (= (distance H2X9Y5 H2X10Y5) 1)
(connected H3X5Y12 H3X5Y12) (= (distance H3X5Y12 H3X5Y12) 0)
(connected H3X5Y12 H2X3Y10) (= (distance H3X5Y12 H2X3Y10) 1)
(connected H2X3Y10 H0X3Y13) (= (distance H2X3Y10 H0X3Y13) 1)
(connected H0X3Y13 H1X5Y15) (= (distance H0X3Y13 H1X5Y15) 1)
(connected H1X5Y15 H1X5Y16) (= (distance H1X5Y15 H1X5Y16) 1)
(connected H1X5Y16 H0X7Y18) (= (distance H1X5Y16 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H0X9Y19) (= (distance H0X10Y19 H0X9Y19) 1)
(connected H0X9Y19 H1X11Y21) (= (distance H0X9Y19 H1X11Y21) 1)
(connected H1X11Y21 H3X8Y21) (= (distance H1X11Y21 H3X8Y21) 1)
(connected H3X8Y21 H3X7Y18) (= (distance H3X8Y21 H3X7Y18) 1)
(connected H3X7Y18 H3X6Y15) (= (distance H3X7Y18 H3X6Y15) 1)
(connected H3X6Y15 H3X5Y12) (= (distance H3X6Y15 H3X5Y12) 1)
(connected H3X5Y12 H2X3Y10) (= (distance H3X5Y12 H2X3Y10) 1)
(connected H2X3Y10 H2X0Y11) (= (distance H2X3Y10 H2X0Y11) 1)
(connected H2X0Y11 H0X0Y8) (= (distance H2X0Y11 H0X0Y8) 1)
(connected H0X0Y8 H3X2Y6) (= (distance H0X0Y8 H3X2Y6) 1)
(connected H3X2Y6 H0X4Y4) (= (distance H3X2Y6 H0X4Y4) 1)
(connected H0X4Y4 H1X6Y6) (= (distance H0X4Y4 H1X6Y6) 1)
(connected H1X6Y6 H1X7Y9) (= (distance H1X6Y6 H1X7Y9) 1)
(connected H1X7Y9 H1X8Y12) (= (distance H1X7Y9 H1X8Y12) 1)
(connected H1X8Y12 H3X5Y12) (= (distance H1X8Y12 H3X5Y12) 1)
(connected H3X5Y12 H2X3Y10) (= (distance H3X5Y12 H2X3Y10) 1)
(connected H2X3Y10 H3X1Y8) (= (distance H2X3Y10 H3X1Y8) 1)
(connected H3X1Y8 H3X0Y5) (= (distance H3X1Y8 H3X0Y5) 1)
(connected H3X0Y5 H0X2Y3) (= (distance H3X0Y5 H0X2Y3) 1)
(connected H0X2Y3 H0X5Y4) (= (distance H0X2Y3 H0X5Y4) 1)
(connected H0X5Y4 H2X5Y7) (= (distance H0X5Y4 H2X5Y7) 1)
(connected H2X5Y7 H1X3Y9) (= (distance H2X5Y7 H1X3Y9) 1)
(connected H1X3Y9 H1X2Y12) (= (distance H1X3Y9 H1X2Y12) 1)
(connected H1X2Y12 H3X5Y12) (= (distance H1X2Y12 H3X5Y12) 1)
(connected H3X5Y12 H3X5Y11) (= (distance H3X5Y12 H3X5Y11) 1)
(connected H3X5Y11 H3X5Y12) (= (distance H3X5Y11 H3X5Y12) 1)
(connected H3X5Y12 H2X3Y10) (= (distance H3X5Y12 H2X3Y10) 1)
(connected H2X3Y10 H0X3Y13) (= (distance H2X3Y10 H0X3Y13) 1)
(connected H0X3Y13 H1X5Y15) (= (distance H0X3Y13 H1X5Y15) 1)
(connected H1X5Y15 H1X5Y16) (= (distance H1X5Y15 H1X5Y16) 1)
(connected H1X5Y16 H1X5Y20) (= (distance H1X5Y16 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H0X4Y14) (= (distance H3X2Y16 H0X4Y14) 1)
(connected H0X4Y14 H0X3Y14) (= (distance H0X4Y14 H0X3Y14) 1)
(connected H0X3Y14 H3X5Y12) (= (distance H0X3Y14 H3X5Y12) 1)
(connected H3X5Y12 H3X4Y9) (= (distance H3X5Y12 H3X4Y9) 1)
(connected H3X4Y9 H3X4Y10) (= (distance H3X4Y9 H3X4Y10) 1)
(connected H3X4Y10 H3X4Y6) (= (distance H3X4Y10 H3X4Y6) 1)
(connected H3X4Y6 H0X6Y4) (= (distance H3X4Y6 H0X6Y4) 1)
(connected H0X6Y4 H2X6Y7) (= (distance H0X6Y4 H2X6Y7) 1)
(connected H2X6Y7 H0X6Y10) (= (distance H2X6Y7 H0X6Y10) 1)
(connected H0X6Y10 H1X8Y12) (= (distance H0X6Y10 H1X8Y12) 1)
(connected H1X8Y12 H3X5Y12) (= (distance H1X8Y12 H3X5Y12) 1)
(connected H0X10Y19 H0X10Y19) (= (distance H0X10Y19 H0X10Y19) 0)
(connected H0X10Y19 H1X12Y21) (= (distance H0X10Y19 H1X12Y21) 1)
(connected H1X12Y21 H3X9Y21) (= (distance H1X12Y21 H3X9Y21) 1)
(connected H3X9Y21 H3X9Y17) (= (distance H3X9Y21 H3X9Y17) 1)
(connected H3X9Y17 H3X9Y13) (= (distance H3X9Y17 H3X9Y13) 1)
(connected H3X9Y13 H1X6Y13) (= (distance H3X9Y13 H1X6Y13) 1)
(connected H1X6Y13 H3X3Y13) (= (distance H1X6Y13 H3X3Y13) 1)
(connected H3X3Y13 H3X2Y10) (= (distance H3X3Y13 H3X2Y10) 1)
(connected H3X2Y10 H3X2Y6) (= (distance H3X2Y10 H3X2Y6) 1)
(connected H3X2Y6 H1X5Y6) (= (distance H3X2Y6 H1X5Y6) 1)
(connected H1X5Y6 H1X6Y9) (= (distance H1X5Y6 H1X6Y9) 1)
(connected H1X6Y9 H1X6Y13) (= (distance H1X6Y9 H1X6Y13) 1)
(connected H1X6Y13 H1X5Y16) (= (distance H1X6Y13 H1X5Y16) 1)
(connected H1X5Y16 H0X7Y18) (= (distance H1X5Y16 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H1X12Y21) (= (distance H0X10Y19 H1X12Y21) 1)
(connected H1X12Y21 H3X9Y21) (= (distance H1X12Y21 H3X9Y21) 1)
(connected H3X9Y21 H3X9Y17) (= (distance H3X9Y21 H3X9Y17) 1)
(connected H3X9Y17 H3X9Y13) (= (distance H3X9Y17 H3X9Y13) 1)
(connected H3X9Y13 H3X8Y10) (= (distance H3X9Y13 H3X8Y10) 1)
(connected H3X8Y10 H3X7Y7) (= (distance H3X8Y10 H3X7Y7) 1)
(connected H3X7Y7 H2X5Y5) (= (distance H3X7Y7 H2X5Y5) 1)
(connected H2X5Y5 H2X2Y6) (= (distance H2X5Y5 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H1X4Y5) (= (distance H0X2Y3 H1X4Y5) 1)
(connected H1X4Y5 H1X4Y9) (= (distance H1X4Y5 H1X4Y9) 1)
(connected H1X4Y9 H1X4Y13) (= (distance H1X4Y9 H1X4Y13) 1)
(connected H1X4Y13 H1X4Y17) (= (distance H1X4Y13 H1X4Y17) 1)
(connected H1X4Y17 H0X6Y19) (= (distance H1X4Y17 H0X6Y19) 1)
(connected H0X6Y19 H0X10Y19) (= (distance H0X6Y19 H0X10Y19) 1)
(connected H0X10Y19 H1X12Y21) (= (distance H0X10Y19 H1X12Y21) 1)
(connected H1X12Y21 H3X9Y21) (= (distance H1X12Y21 H3X9Y21) 1)
(connected H3X9Y21 H2X7Y19) (= (distance H3X9Y21 H2X7Y19) 1)
(connected H2X7Y19 H3X5Y17) (= (distance H2X7Y19 H3X5Y17) 1)
(connected H3X5Y17 H3X6Y14) (= (distance H3X5Y17 H3X6Y14) 1)
(connected H3X6Y14 H3X5Y11) (= (distance H3X6Y14 H3X5Y11) 1)
(connected H3X5Y11 H1X2Y11) (= (distance H3X5Y11 H1X2Y11) 1)
(connected H1X2Y11 H1X2Y15) (= (distance H1X2Y11 H1X2Y15) 1)
(connected H1X2Y15 H0X4Y17) (= (distance H1X2Y15 H0X4Y17) 1)
(connected H0X4Y17 H0X7Y18) (= (distance H0X4Y17 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H0X9Y19) (= (distance H0X10Y19 H0X9Y19) 1)
(connected H0X9Y19 H1X11Y21) (= (distance H0X9Y19 H1X11Y21) 1)
(connected H1X11Y21 H3X8Y21) (= (distance H1X11Y21 H3X8Y21) 1)
(connected H3X8Y21 H3X8Y20) (= (distance H3X8Y21 H3X8Y20) 1)
(connected H3X8Y20 H1X5Y20) (= (distance H3X8Y20 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H1X5Y16) (= (distance H3X2Y16 H1X5Y16) 1)
(connected H1X5Y16 H0X7Y18) (= (distance H1X5Y16 H0X7Y18) 1)
(connected H0X7Y18 H0X10Y19) (= (distance H0X7Y18 H0X10Y19) 1)
(connected H0X10Y19 H1X12Y21) (= (distance H0X10Y19 H1X12Y21) 1)
(connected H1X12Y21 H3X9Y21) (= (distance H1X12Y21 H3X9Y21) 1)
(connected H3X9Y21 H3X9Y17) (= (distance H3X9Y21 H3X9Y17) 1)
(connected H3X9Y17 H3X9Y13) (= (distance H3X9Y17 H3X9Y13) 1)
(connected H3X9Y13 H3X8Y10) (= (distance H3X9Y13 H3X8Y10) 1)
(connected H3X8Y10 H2X6Y8) (= (distance H3X8Y10 H2X6Y8) 1)
(connected H2X6Y8 H3X4Y6) (= (distance H2X6Y8 H3X4Y6) 1)
(connected H3X4Y6 H0X6Y4) (= (distance H3X4Y6 H0X6Y4) 1)
(connected H0X6Y4 H1X8Y6) (= (distance H0X6Y4 H1X8Y6) 1)
(connected H1X8Y6 H1X8Y10) (= (distance H1X8Y6 H1X8Y10) 1)
(connected H1X8Y10 H1X7Y13) (= (distance H1X8Y10 H1X7Y13) 1)
(connected H1X7Y13 H1X7Y17) (= (distance H1X7Y13 H1X7Y17) 1)
(connected H1X7Y17 H0X9Y19) (= (distance H1X7Y17 H0X9Y19) 1)
(connected H0X9Y19 H0X10Y19) (= (distance H0X9Y19 H0X10Y19) 1)
(connected H3X2Y6 H3X2Y6) (= (distance H3X2Y6 H3X2Y6) 0)
(connected H3X2Y6 H3X2Y5) (= (distance H3X2Y6 H3X2Y5) 1)
(connected H3X2Y5 H0X4Y3) (= (distance H3X2Y5 H0X4Y3) 1)
(connected H0X4Y3 H0X3Y3) (= (distance H0X4Y3 H0X3Y3) 1)
(connected H0X3Y3 H0X2Y3) (= (distance H0X3Y3 H0X2Y3) 1)
(connected H0X2Y3 H0X3Y3) (= (distance H0X2Y3 H0X3Y3) 1)
(connected H0X3Y3 H1X5Y5) (= (distance H0X3Y3 H1X5Y5) 1)
(connected H1X5Y5 H1X5Y6) (= (distance H1X5Y5 H1X5Y6) 1)
(connected H1X5Y6 H3X2Y6) (= (distance H1X5Y6 H3X2Y6) 1)
(connected H3X2Y6 H3X2Y2) (= (distance H3X2Y6 H3X2Y2) 1)
(connected H3X2Y2 H1X5Y2) (= (distance H3X2Y2 H1X5Y2) 1)
(connected H1X5Y2 H1X4Y5) (= (distance H1X5Y2 H1X4Y5) 1)
(connected H1X4Y5 H1X3Y8) (= (distance H1X4Y5 H1X3Y8) 1)
(connected H1X3Y8 H1X2Y11) (= (distance H1X3Y8 H1X2Y11) 1)
(connected H1X2Y11 H3X5Y11) (= (distance H1X2Y11 H3X5Y11) 1)
(connected H3X5Y11 H2X3Y9) (= (distance H3X5Y11 H2X3Y9) 1)
(connected H2X3Y9 H2X4Y9) (= (distance H2X3Y9 H2X4Y9) 1)
(connected H2X4Y9 H3X2Y7) (= (distance H2X4Y9 H3X2Y7) 1)
(connected H3X2Y7 H3X2Y6) (= (distance H3X2Y7 H3X2Y6) 1)
(connected H3X2Y6 H1X5Y6) (= (distance H3X2Y6 H1X5Y6) 1)
(connected H1X5Y6 H1X6Y9) (= (distance H1X5Y6 H1X6Y9) 1)
(connected H1X6Y9 H1X6Y13) (= (distance H1X6Y9 H1X6Y13) 1)
(connected H1X6Y13 H1X6Y17) (= (distance H1X6Y13 H1X6Y17) 1)
(connected H1X6Y17 H1X5Y20) (= (distance H1X6Y17 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H3X3Y9) (= (distance H3X2Y12 H3X3Y9) 1)
(connected H3X3Y9 H3X2Y6) (= (distance H3X3Y9 H3X2Y6) 1)
(connected H3X2Y6 H0X4Y4) (= (distance H3X2Y6 H0X4Y4) 1)
(connected H0X4Y4 H0X5Y4) (= (distance H0X4Y4 H0X5Y4) 1)
(connected H0X5Y4 H0X6Y4) (= (distance H0X5Y4 H0X6Y4) 1)
(connected H0X6Y4 H2X6Y1) (= (distance H0X6Y4 H2X6Y1) 1)
(connected H2X6Y1 H1X4Y3) (= (distance H2X6Y1 H1X4Y3) 1)
(connected H1X4Y3 H1X5Y6) (= (distance H1X4Y3 H1X5Y6) 1)
(connected H1X5Y6 H3X2Y6) (= (distance H1X5Y6 H3X2Y6) 1)
(connected H0X2Y3 H0X2Y3) (= (distance H0X2Y3 H0X2Y3) 0)
(connected H0X2Y3 H1X4Y5) (= (distance H0X2Y3 H1X4Y5) 1)
(connected H1X4Y5 H1X3Y8) (= (distance H1X4Y5 H1X3Y8) 1)
(connected H1X3Y8 H1X2Y11) (= (distance H1X3Y8 H1X2Y11) 1)
(connected H1X2Y11 H3X5Y11) (= (distance H1X2Y11 H3X5Y11) 1)
(connected H3X5Y11 H3X4Y8) (= (distance H3X5Y11 H3X4Y8) 1)
(connected H3X4Y8 H2X2Y6) (= (distance H3X4Y8 H2X2Y6) 1)
(connected H2X2Y6 H0X2Y3) (= (distance H2X2Y6 H0X2Y3) 1)
(connected H0X2Y3 H1X4Y5) (= (distance H0X2Y3 H1X4Y5) 1)
(connected H1X4Y5 H1X4Y9) (= (distance H1X4Y5 H1X4Y9) 1)
(connected H1X4Y9 H1X4Y13) (= (distance H1X4Y9 H1X4Y13) 1)
(connected H1X4Y13 H1X4Y17) (= (distance H1X4Y13 H1X4Y17) 1)
(connected H1X4Y17 H1X5Y20) (= (distance H1X4Y17 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H3X2Y11) (= (distance H3X2Y12 H3X2Y11) 1)
(connected H3X2Y11 H3X1Y8) (= (distance H3X2Y11 H3X1Y8) 1)
(connected H3X1Y8 H3X0Y5) (= (distance H3X1Y8 H3X0Y5) 1)
(connected H3X0Y5 H0X2Y3) (= (distance H3X0Y5 H0X2Y3) 1)
(connected H0X2Y3 H0X5Y4) (= (distance H0X2Y3 H0X5Y4) 1)
(connected H0X5Y4 H0X6Y4) (= (distance H0X5Y4 H0X6Y4) 1)
(connected H0X6Y4 H0X5Y4) (= (distance H0X6Y4 H0X5Y4) 1)
(connected H0X5Y4 H2X5Y1) (= (distance H0X5Y4 H2X5Y1) 1)
(connected H2X5Y1 H2X2Y0) (= (distance H2X5Y1 H2X2Y0) 1)
(connected H2X2Y0 H0X2Y3) (= (distance H2X2Y0 H0X2Y3) 1)
(connected H3X5Y11 H3X5Y11) (= (distance H3X5Y11 H3X5Y11) 0)
(connected H3X5Y11 H1X2Y11) (= (distance H3X5Y11 H1X2Y11) 1)
(connected H1X2Y11 H1X3Y14) (= (distance H1X2Y11 H1X3Y14) 1)
(connected H1X3Y14 H1X4Y17) (= (distance H1X3Y14 H1X4Y17) 1)
(connected H1X4Y17 H1X5Y20) (= (distance H1X4Y17 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H3X2Y20 H3X3Y17) (= (distance H3X2Y20 H3X3Y17) 1)
(connected H3X3Y17 H3X4Y14) (= (distance H3X3Y17 H3X4Y14) 1)
(connected H3X4Y14 H3X5Y11) (= (distance H3X4Y14 H3X5Y11) 1)
(connected H3X5Y11 H2X3Y9) (= (distance H3X5Y11 H2X3Y9) 1)
(connected H2X3Y9 H3X1Y7) (= (distance H2X3Y9 H3X1Y7) 1)
(connected H3X1Y7 H0X3Y5) (= (distance H3X1Y7 H0X3Y5) 1)
(connected H0X3Y5 H0X6Y4) (= (distance H0X3Y5 H0X6Y4) 1)
(connected H0X6Y4 H1X8Y6) (= (distance H0X6Y4 H1X8Y6) 1)
(connected H1X8Y6 H1X8Y10) (= (distance H1X8Y6 H1X8Y10) 1)
(connected H1X8Y10 H3X5Y10) (= (distance H1X8Y10 H3X5Y10) 1)
(connected H3X5Y10 H3X5Y11) (= (distance H3X5Y10 H3X5Y11) 1)
(connected H3X2Y20 H3X2Y20) (= (distance H3X2Y20 H3X2Y20) 0)
(connected H3X2Y20 H3X2Y16) (= (distance H3X2Y20 H3X2Y16) 1)
(connected H3X2Y16 H3X2Y12) (= (distance H3X2Y16 H3X2Y12) 1)
(connected H3X2Y12 H3X3Y9) (= (distance H3X2Y12 H3X3Y9) 1)
(connected H3X3Y9 H3X4Y6) (= (distance H3X3Y9 H3X4Y6) 1)
(connected H3X4Y6 H0X6Y4) (= (distance H3X4Y6 H0X6Y4) 1)
(connected H0X6Y4 H2X6Y7) (= (distance H0X6Y4 H2X6Y7) 1)
(connected H2X6Y7 H1X4Y9) (= (distance H2X6Y7 H1X4Y9) 1)
(connected H1X4Y9 H1X4Y13) (= (distance H1X4Y9 H1X4Y13) 1)
(connected H1X4Y13 H1X4Y17) (= (distance H1X4Y13 H1X4Y17) 1)
(connected H1X4Y17 H1X5Y20) (= (distance H1X4Y17 H1X5Y20) 1)
(connected H1X5Y20 H3X2Y20) (= (distance H1X5Y20 H3X2Y20) 1)
(connected H0X6Y4 H0X6Y4) (= (distance H0X6Y4 H0X6Y4) 0)
)
(:goal (and (at p0 H3X2Y6) (at p1 H2X10Y5) (at p2 H0X10Y19) (at p3 H0X6Y4) )
)
(:metric minimize (total-cost))
)