-
Notifications
You must be signed in to change notification settings - Fork 10
/
p12.pddl
1354 lines (1349 loc) · 25.1 KB
/
p12.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
;; Generated with: ./generate.py 1301 bias-spiral 18 12 p12.pddl p12.plan
;; x-.
;; |
;; .-.-. .-. .
;; | | | |
;; .-.-. . .-.
;; | |
;; . .
;; | |
;; .-.
;;
(define (problem folding-bias-spiral-18-12-263731)
(:domain folding)
(:objects
n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 n18 - node
c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 c16 c17 c18 c19 c20 c21 c22 c23 c24 c25 c26 c27 c28 c29 c30 c31 c32 c33 c34 c35 - coord
)
(:init
(NEXT-DIRECTION up clockwise right)
(NEXT-DIRECTION up counterclockwise left)
(NEXT-DIRECTION down clockwise left)
(NEXT-DIRECTION down counterclockwise right)
(NEXT-DIRECTION left clockwise up)
(NEXT-DIRECTION left counterclockwise down)
(NEXT-DIRECTION right clockwise down)
(NEXT-DIRECTION right counterclockwise up)
(COORD-INC c1 c2)
(COORD-INC c2 c3)
(COORD-INC c3 c4)
(COORD-INC c4 c5)
(COORD-INC c5 c6)
(COORD-INC c6 c7)
(COORD-INC c7 c8)
(COORD-INC c8 c9)
(COORD-INC c9 c10)
(COORD-INC c10 c11)
(COORD-INC c11 c12)
(COORD-INC c12 c13)
(COORD-INC c13 c14)
(COORD-INC c14 c15)
(COORD-INC c15 c16)
(COORD-INC c16 c17)
(COORD-INC c17 c18)
(COORD-INC c18 c19)
(COORD-INC c19 c20)
(COORD-INC c20 c21)
(COORD-INC c21 c22)
(COORD-INC c22 c23)
(COORD-INC c23 c24)
(COORD-INC c24 c25)
(COORD-INC c25 c26)
(COORD-INC c26 c27)
(COORD-INC c27 c28)
(COORD-INC c28 c29)
(COORD-INC c29 c30)
(COORD-INC c30 c31)
(COORD-INC c31 c32)
(COORD-INC c32 c33)
(COORD-INC c33 c34)
(COORD-INC c34 c35)
(CONNECTED n1 n2)
(CONNECTED n2 n3)
(CONNECTED n3 n4)
(CONNECTED n4 n5)
(CONNECTED n5 n6)
(CONNECTED n6 n7)
(CONNECTED n7 n8)
(CONNECTED n8 n9)
(CONNECTED n9 n10)
(CONNECTED n10 n11)
(CONNECTED n11 n12)
(CONNECTED n12 n13)
(CONNECTED n13 n14)
(CONNECTED n14 n15)
(CONNECTED n15 n16)
(CONNECTED n16 n17)
(CONNECTED n17 n18)
(END-NODE n18)
(at n1 c18 c18)
(at n2 c18 c19)
(at n3 c18 c20)
(at n4 c18 c21)
(at n5 c18 c22)
(at n6 c18 c23)
(at n7 c18 c24)
(at n8 c18 c25)
(at n9 c18 c26)
(at n10 c18 c27)
(at n11 c18 c28)
(at n12 c18 c29)
(at n13 c18 c30)
(at n14 c18 c31)
(at n15 c18 c32)
(at n16 c18 c33)
(at n17 c18 c34)
(at n18 c18 c35)
(heading n1 up)
(heading n2 up)
(heading n3 up)
(heading n4 up)
(heading n5 up)
(heading n6 up)
(heading n7 up)
(heading n8 up)
(heading n9 up)
(heading n10 up)
(heading n11 up)
(heading n12 up)
(heading n13 up)
(heading n14 up)
(heading n15 up)
(heading n16 up)
(heading n17 up)
(free c1 c1)
(free c1 c2)
(free c1 c3)
(free c1 c4)
(free c1 c5)
(free c1 c6)
(free c1 c7)
(free c1 c8)
(free c1 c9)
(free c1 c10)
(free c1 c11)
(free c1 c12)
(free c1 c13)
(free c1 c14)
(free c1 c15)
(free c1 c16)
(free c1 c17)
(free c1 c18)
(free c1 c19)
(free c1 c20)
(free c1 c21)
(free c1 c22)
(free c1 c23)
(free c1 c24)
(free c1 c25)
(free c1 c26)
(free c1 c27)
(free c1 c28)
(free c1 c29)
(free c1 c30)
(free c1 c31)
(free c1 c32)
(free c1 c33)
(free c1 c34)
(free c1 c35)
(free c2 c1)
(free c2 c2)
(free c2 c3)
(free c2 c4)
(free c2 c5)
(free c2 c6)
(free c2 c7)
(free c2 c8)
(free c2 c9)
(free c2 c10)
(free c2 c11)
(free c2 c12)
(free c2 c13)
(free c2 c14)
(free c2 c15)
(free c2 c16)
(free c2 c17)
(free c2 c18)
(free c2 c19)
(free c2 c20)
(free c2 c21)
(free c2 c22)
(free c2 c23)
(free c2 c24)
(free c2 c25)
(free c2 c26)
(free c2 c27)
(free c2 c28)
(free c2 c29)
(free c2 c30)
(free c2 c31)
(free c2 c32)
(free c2 c33)
(free c2 c34)
(free c2 c35)
(free c3 c1)
(free c3 c2)
(free c3 c3)
(free c3 c4)
(free c3 c5)
(free c3 c6)
(free c3 c7)
(free c3 c8)
(free c3 c9)
(free c3 c10)
(free c3 c11)
(free c3 c12)
(free c3 c13)
(free c3 c14)
(free c3 c15)
(free c3 c16)
(free c3 c17)
(free c3 c18)
(free c3 c19)
(free c3 c20)
(free c3 c21)
(free c3 c22)
(free c3 c23)
(free c3 c24)
(free c3 c25)
(free c3 c26)
(free c3 c27)
(free c3 c28)
(free c3 c29)
(free c3 c30)
(free c3 c31)
(free c3 c32)
(free c3 c33)
(free c3 c34)
(free c3 c35)
(free c4 c1)
(free c4 c2)
(free c4 c3)
(free c4 c4)
(free c4 c5)
(free c4 c6)
(free c4 c7)
(free c4 c8)
(free c4 c9)
(free c4 c10)
(free c4 c11)
(free c4 c12)
(free c4 c13)
(free c4 c14)
(free c4 c15)
(free c4 c16)
(free c4 c17)
(free c4 c18)
(free c4 c19)
(free c4 c20)
(free c4 c21)
(free c4 c22)
(free c4 c23)
(free c4 c24)
(free c4 c25)
(free c4 c26)
(free c4 c27)
(free c4 c28)
(free c4 c29)
(free c4 c30)
(free c4 c31)
(free c4 c32)
(free c4 c33)
(free c4 c34)
(free c4 c35)
(free c5 c1)
(free c5 c2)
(free c5 c3)
(free c5 c4)
(free c5 c5)
(free c5 c6)
(free c5 c7)
(free c5 c8)
(free c5 c9)
(free c5 c10)
(free c5 c11)
(free c5 c12)
(free c5 c13)
(free c5 c14)
(free c5 c15)
(free c5 c16)
(free c5 c17)
(free c5 c18)
(free c5 c19)
(free c5 c20)
(free c5 c21)
(free c5 c22)
(free c5 c23)
(free c5 c24)
(free c5 c25)
(free c5 c26)
(free c5 c27)
(free c5 c28)
(free c5 c29)
(free c5 c30)
(free c5 c31)
(free c5 c32)
(free c5 c33)
(free c5 c34)
(free c5 c35)
(free c6 c1)
(free c6 c2)
(free c6 c3)
(free c6 c4)
(free c6 c5)
(free c6 c6)
(free c6 c7)
(free c6 c8)
(free c6 c9)
(free c6 c10)
(free c6 c11)
(free c6 c12)
(free c6 c13)
(free c6 c14)
(free c6 c15)
(free c6 c16)
(free c6 c17)
(free c6 c18)
(free c6 c19)
(free c6 c20)
(free c6 c21)
(free c6 c22)
(free c6 c23)
(free c6 c24)
(free c6 c25)
(free c6 c26)
(free c6 c27)
(free c6 c28)
(free c6 c29)
(free c6 c30)
(free c6 c31)
(free c6 c32)
(free c6 c33)
(free c6 c34)
(free c6 c35)
(free c7 c1)
(free c7 c2)
(free c7 c3)
(free c7 c4)
(free c7 c5)
(free c7 c6)
(free c7 c7)
(free c7 c8)
(free c7 c9)
(free c7 c10)
(free c7 c11)
(free c7 c12)
(free c7 c13)
(free c7 c14)
(free c7 c15)
(free c7 c16)
(free c7 c17)
(free c7 c18)
(free c7 c19)
(free c7 c20)
(free c7 c21)
(free c7 c22)
(free c7 c23)
(free c7 c24)
(free c7 c25)
(free c7 c26)
(free c7 c27)
(free c7 c28)
(free c7 c29)
(free c7 c30)
(free c7 c31)
(free c7 c32)
(free c7 c33)
(free c7 c34)
(free c7 c35)
(free c8 c1)
(free c8 c2)
(free c8 c3)
(free c8 c4)
(free c8 c5)
(free c8 c6)
(free c8 c7)
(free c8 c8)
(free c8 c9)
(free c8 c10)
(free c8 c11)
(free c8 c12)
(free c8 c13)
(free c8 c14)
(free c8 c15)
(free c8 c16)
(free c8 c17)
(free c8 c18)
(free c8 c19)
(free c8 c20)
(free c8 c21)
(free c8 c22)
(free c8 c23)
(free c8 c24)
(free c8 c25)
(free c8 c26)
(free c8 c27)
(free c8 c28)
(free c8 c29)
(free c8 c30)
(free c8 c31)
(free c8 c32)
(free c8 c33)
(free c8 c34)
(free c8 c35)
(free c9 c1)
(free c9 c2)
(free c9 c3)
(free c9 c4)
(free c9 c5)
(free c9 c6)
(free c9 c7)
(free c9 c8)
(free c9 c9)
(free c9 c10)
(free c9 c11)
(free c9 c12)
(free c9 c13)
(free c9 c14)
(free c9 c15)
(free c9 c16)
(free c9 c17)
(free c9 c18)
(free c9 c19)
(free c9 c20)
(free c9 c21)
(free c9 c22)
(free c9 c23)
(free c9 c24)
(free c9 c25)
(free c9 c26)
(free c9 c27)
(free c9 c28)
(free c9 c29)
(free c9 c30)
(free c9 c31)
(free c9 c32)
(free c9 c33)
(free c9 c34)
(free c9 c35)
(free c10 c1)
(free c10 c2)
(free c10 c3)
(free c10 c4)
(free c10 c5)
(free c10 c6)
(free c10 c7)
(free c10 c8)
(free c10 c9)
(free c10 c10)
(free c10 c11)
(free c10 c12)
(free c10 c13)
(free c10 c14)
(free c10 c15)
(free c10 c16)
(free c10 c17)
(free c10 c18)
(free c10 c19)
(free c10 c20)
(free c10 c21)
(free c10 c22)
(free c10 c23)
(free c10 c24)
(free c10 c25)
(free c10 c26)
(free c10 c27)
(free c10 c28)
(free c10 c29)
(free c10 c30)
(free c10 c31)
(free c10 c32)
(free c10 c33)
(free c10 c34)
(free c10 c35)
(free c11 c1)
(free c11 c2)
(free c11 c3)
(free c11 c4)
(free c11 c5)
(free c11 c6)
(free c11 c7)
(free c11 c8)
(free c11 c9)
(free c11 c10)
(free c11 c11)
(free c11 c12)
(free c11 c13)
(free c11 c14)
(free c11 c15)
(free c11 c16)
(free c11 c17)
(free c11 c18)
(free c11 c19)
(free c11 c20)
(free c11 c21)
(free c11 c22)
(free c11 c23)
(free c11 c24)
(free c11 c25)
(free c11 c26)
(free c11 c27)
(free c11 c28)
(free c11 c29)
(free c11 c30)
(free c11 c31)
(free c11 c32)
(free c11 c33)
(free c11 c34)
(free c11 c35)
(free c12 c1)
(free c12 c2)
(free c12 c3)
(free c12 c4)
(free c12 c5)
(free c12 c6)
(free c12 c7)
(free c12 c8)
(free c12 c9)
(free c12 c10)
(free c12 c11)
(free c12 c12)
(free c12 c13)
(free c12 c14)
(free c12 c15)
(free c12 c16)
(free c12 c17)
(free c12 c18)
(free c12 c19)
(free c12 c20)
(free c12 c21)
(free c12 c22)
(free c12 c23)
(free c12 c24)
(free c12 c25)
(free c12 c26)
(free c12 c27)
(free c12 c28)
(free c12 c29)
(free c12 c30)
(free c12 c31)
(free c12 c32)
(free c12 c33)
(free c12 c34)
(free c12 c35)
(free c13 c1)
(free c13 c2)
(free c13 c3)
(free c13 c4)
(free c13 c5)
(free c13 c6)
(free c13 c7)
(free c13 c8)
(free c13 c9)
(free c13 c10)
(free c13 c11)
(free c13 c12)
(free c13 c13)
(free c13 c14)
(free c13 c15)
(free c13 c16)
(free c13 c17)
(free c13 c18)
(free c13 c19)
(free c13 c20)
(free c13 c21)
(free c13 c22)
(free c13 c23)
(free c13 c24)
(free c13 c25)
(free c13 c26)
(free c13 c27)
(free c13 c28)
(free c13 c29)
(free c13 c30)
(free c13 c31)
(free c13 c32)
(free c13 c33)
(free c13 c34)
(free c13 c35)
(free c14 c1)
(free c14 c2)
(free c14 c3)
(free c14 c4)
(free c14 c5)
(free c14 c6)
(free c14 c7)
(free c14 c8)
(free c14 c9)
(free c14 c10)
(free c14 c11)
(free c14 c12)
(free c14 c13)
(free c14 c14)
(free c14 c15)
(free c14 c16)
(free c14 c17)
(free c14 c18)
(free c14 c19)
(free c14 c20)
(free c14 c21)
(free c14 c22)
(free c14 c23)
(free c14 c24)
(free c14 c25)
(free c14 c26)
(free c14 c27)
(free c14 c28)
(free c14 c29)
(free c14 c30)
(free c14 c31)
(free c14 c32)
(free c14 c33)
(free c14 c34)
(free c14 c35)
(free c15 c1)
(free c15 c2)
(free c15 c3)
(free c15 c4)
(free c15 c5)
(free c15 c6)
(free c15 c7)
(free c15 c8)
(free c15 c9)
(free c15 c10)
(free c15 c11)
(free c15 c12)
(free c15 c13)
(free c15 c14)
(free c15 c15)
(free c15 c16)
(free c15 c17)
(free c15 c18)
(free c15 c19)
(free c15 c20)
(free c15 c21)
(free c15 c22)
(free c15 c23)
(free c15 c24)
(free c15 c25)
(free c15 c26)
(free c15 c27)
(free c15 c28)
(free c15 c29)
(free c15 c30)
(free c15 c31)
(free c15 c32)
(free c15 c33)
(free c15 c34)
(free c15 c35)
(free c16 c1)
(free c16 c2)
(free c16 c3)
(free c16 c4)
(free c16 c5)
(free c16 c6)
(free c16 c7)
(free c16 c8)
(free c16 c9)
(free c16 c10)
(free c16 c11)
(free c16 c12)
(free c16 c13)
(free c16 c14)
(free c16 c15)
(free c16 c16)
(free c16 c17)
(free c16 c18)
(free c16 c19)
(free c16 c20)
(free c16 c21)
(free c16 c22)
(free c16 c23)
(free c16 c24)
(free c16 c25)
(free c16 c26)
(free c16 c27)
(free c16 c28)
(free c16 c29)
(free c16 c30)
(free c16 c31)
(free c16 c32)
(free c16 c33)
(free c16 c34)
(free c16 c35)
(free c17 c1)
(free c17 c2)
(free c17 c3)
(free c17 c4)
(free c17 c5)
(free c17 c6)
(free c17 c7)
(free c17 c8)
(free c17 c9)
(free c17 c10)
(free c17 c11)
(free c17 c12)
(free c17 c13)
(free c17 c14)
(free c17 c15)
(free c17 c16)
(free c17 c17)
(free c17 c18)
(free c17 c19)
(free c17 c20)
(free c17 c21)
(free c17 c22)
(free c17 c23)
(free c17 c24)
(free c17 c25)
(free c17 c26)
(free c17 c27)
(free c17 c28)
(free c17 c29)
(free c17 c30)
(free c17 c31)
(free c17 c32)
(free c17 c33)
(free c17 c34)
(free c17 c35)
(free c18 c1)
(free c18 c2)
(free c18 c3)
(free c18 c4)
(free c18 c5)
(free c18 c6)
(free c18 c7)
(free c18 c8)
(free c18 c9)
(free c18 c10)
(free c18 c11)
(free c18 c12)
(free c18 c13)
(free c18 c14)
(free c18 c15)
(free c18 c16)
(free c18 c17)
(free c19 c1)
(free c19 c2)
(free c19 c3)
(free c19 c4)
(free c19 c5)
(free c19 c6)
(free c19 c7)
(free c19 c8)
(free c19 c9)
(free c19 c10)
(free c19 c11)
(free c19 c12)
(free c19 c13)
(free c19 c14)
(free c19 c15)
(free c19 c16)
(free c19 c17)
(free c19 c18)
(free c19 c19)
(free c19 c20)
(free c19 c21)
(free c19 c22)
(free c19 c23)
(free c19 c24)
(free c19 c25)
(free c19 c26)
(free c19 c27)
(free c19 c28)
(free c19 c29)
(free c19 c30)
(free c19 c31)
(free c19 c32)
(free c19 c33)
(free c19 c34)
(free c19 c35)
(free c20 c1)
(free c20 c2)
(free c20 c3)
(free c20 c4)
(free c20 c5)
(free c20 c6)
(free c20 c7)
(free c20 c8)
(free c20 c9)
(free c20 c10)
(free c20 c11)
(free c20 c12)
(free c20 c13)
(free c20 c14)
(free c20 c15)
(free c20 c16)
(free c20 c17)
(free c20 c18)
(free c20 c19)
(free c20 c20)
(free c20 c21)
(free c20 c22)
(free c20 c23)
(free c20 c24)
(free c20 c25)
(free c20 c26)
(free c20 c27)
(free c20 c28)
(free c20 c29)
(free c20 c30)
(free c20 c31)
(free c20 c32)
(free c20 c33)
(free c20 c34)
(free c20 c35)
(free c21 c1)
(free c21 c2)
(free c21 c3)
(free c21 c4)
(free c21 c5)
(free c21 c6)
(free c21 c7)
(free c21 c8)
(free c21 c9)
(free c21 c10)
(free c21 c11)
(free c21 c12)
(free c21 c13)
(free c21 c14)
(free c21 c15)
(free c21 c16)
(free c21 c17)
(free c21 c18)
(free c21 c19)
(free c21 c20)
(free c21 c21)
(free c21 c22)
(free c21 c23)
(free c21 c24)
(free c21 c25)
(free c21 c26)
(free c21 c27)
(free c21 c28)
(free c21 c29)
(free c21 c30)
(free c21 c31)
(free c21 c32)
(free c21 c33)
(free c21 c34)
(free c21 c35)
(free c22 c1)
(free c22 c2)
(free c22 c3)
(free c22 c4)
(free c22 c5)
(free c22 c6)
(free c22 c7)
(free c22 c8)
(free c22 c9)
(free c22 c10)
(free c22 c11)
(free c22 c12)
(free c22 c13)
(free c22 c14)
(free c22 c15)
(free c22 c16)
(free c22 c17)
(free c22 c18)
(free c22 c19)
(free c22 c20)
(free c22 c21)
(free c22 c22)
(free c22 c23)
(free c22 c24)
(free c22 c25)
(free c22 c26)
(free c22 c27)
(free c22 c28)
(free c22 c29)
(free c22 c30)
(free c22 c31)
(free c22 c32)
(free c22 c33)
(free c22 c34)
(free c22 c35)
(free c23 c1)
(free c23 c2)
(free c23 c3)
(free c23 c4)
(free c23 c5)
(free c23 c6)
(free c23 c7)
(free c23 c8)
(free c23 c9)
(free c23 c10)
(free c23 c11)
(free c23 c12)
(free c23 c13)
(free c23 c14)
(free c23 c15)
(free c23 c16)
(free c23 c17)
(free c23 c18)
(free c23 c19)
(free c23 c20)
(free c23 c21)
(free c23 c22)
(free c23 c23)
(free c23 c24)
(free c23 c25)
(free c23 c26)
(free c23 c27)
(free c23 c28)
(free c23 c29)
(free c23 c30)
(free c23 c31)
(free c23 c32)
(free c23 c33)
(free c23 c34)
(free c23 c35)
(free c24 c1)
(free c24 c2)
(free c24 c3)
(free c24 c4)
(free c24 c5)
(free c24 c6)
(free c24 c7)
(free c24 c8)
(free c24 c9)
(free c24 c10)
(free c24 c11)
(free c24 c12)
(free c24 c13)
(free c24 c14)
(free c24 c15)
(free c24 c16)
(free c24 c17)
(free c24 c18)
(free c24 c19)
(free c24 c20)
(free c24 c21)
(free c24 c22)
(free c24 c23)
(free c24 c24)
(free c24 c25)
(free c24 c26)
(free c24 c27)
(free c24 c28)
(free c24 c29)
(free c24 c30)
(free c24 c31)
(free c24 c32)
(free c24 c33)
(free c24 c34)
(free c24 c35)
(free c25 c1)
(free c25 c2)
(free c25 c3)
(free c25 c4)
(free c25 c5)
(free c25 c6)
(free c25 c7)
(free c25 c8)
(free c25 c9)
(free c25 c10)
(free c25 c11)
(free c25 c12)
(free c25 c13)
(free c25 c14)
(free c25 c15)
(free c25 c16)
(free c25 c17)
(free c25 c18)
(free c25 c19)
(free c25 c20)
(free c25 c21)
(free c25 c22)
(free c25 c23)
(free c25 c24)
(free c25 c25)
(free c25 c26)
(free c25 c27)
(free c25 c28)
(free c25 c29)
(free c25 c30)
(free c25 c31)
(free c25 c32)
(free c25 c33)
(free c25 c34)
(free c25 c35)
(free c26 c1)
(free c26 c2)
(free c26 c3)
(free c26 c4)
(free c26 c5)
(free c26 c6)
(free c26 c7)
(free c26 c8)
(free c26 c9)
(free c26 c10)
(free c26 c11)
(free c26 c12)
(free c26 c13)
(free c26 c14)
(free c26 c15)
(free c26 c16)
(free c26 c17)
(free c26 c18)
(free c26 c19)
(free c26 c20)
(free c26 c21)
(free c26 c22)
(free c26 c23)
(free c26 c24)
(free c26 c25)
(free c26 c26)