-
Notifications
You must be signed in to change notification settings - Fork 12
/
x30_y30_n900_r10_s10_ps0_pr0_u0_o0_N1.lp
937 lines (936 loc) · 37.8 KB
/
x30_y30_n900_r10_s10_ps0_pr0_u0_o0_N1.lp
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
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Grid Size X: 30
% Grid Size Y: 30
% Number of Nodes: 900
% Number of Robots: 10
% Number of Shelves: 10
% Number of picking stations: 0
% Number of products: 0
% Number of product units in total: 0
% Number of orders: 0
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% clingo xapf/action-M.lp xapf/goal-ms.lp -c horizon=44 examples/x30_y30_n900_r10_s10_ps0_pr0_u0_o0_N1.lp --stats -q
% clingo xapf/action-M.lp xapf/goal-m.lp -c horizon=44 examples/x30_y30_n900_r10_s10_ps0_pr0_u0_o0_N1.lp --stats -q
#program base.
% init
init(object(node,1),value(at,(1,1))).
init(object(node,2),value(at,(2,1))).
init(object(node,3),value(at,(3,1))).
init(object(node,4),value(at,(4,1))).
init(object(node,5),value(at,(5,1))).
init(object(node,6),value(at,(6,1))).
init(object(node,7),value(at,(7,1))).
init(object(node,8),value(at,(8,1))).
init(object(node,9),value(at,(9,1))).
init(object(node,10),value(at,(10,1))).
init(object(node,11),value(at,(11,1))).
init(object(node,12),value(at,(12,1))).
init(object(node,13),value(at,(13,1))).
init(object(node,14),value(at,(14,1))).
init(object(node,15),value(at,(15,1))).
init(object(node,16),value(at,(16,1))).
init(object(node,17),value(at,(17,1))).
init(object(node,18),value(at,(18,1))).
init(object(node,19),value(at,(19,1))).
init(object(node,20),value(at,(20,1))).
init(object(node,21),value(at,(21,1))).
init(object(node,22),value(at,(22,1))).
init(object(node,23),value(at,(23,1))).
init(object(node,24),value(at,(24,1))).
init(object(node,25),value(at,(25,1))).
init(object(node,26),value(at,(26,1))).
init(object(node,27),value(at,(27,1))).
init(object(node,28),value(at,(28,1))).
init(object(node,29),value(at,(29,1))).
init(object(node,30),value(at,(30,1))).
init(object(node,31),value(at,(1,2))).
init(object(node,32),value(at,(2,2))).
init(object(node,33),value(at,(3,2))).
init(object(node,34),value(at,(4,2))).
init(object(node,35),value(at,(5,2))).
init(object(node,36),value(at,(6,2))).
init(object(node,37),value(at,(7,2))).
init(object(node,38),value(at,(8,2))).
init(object(node,39),value(at,(9,2))).
init(object(node,40),value(at,(10,2))).
init(object(node,41),value(at,(11,2))).
init(object(node,42),value(at,(12,2))).
init(object(node,43),value(at,(13,2))).
init(object(node,44),value(at,(14,2))).
init(object(node,45),value(at,(15,2))).
init(object(node,46),value(at,(16,2))).
init(object(node,47),value(at,(17,2))).
init(object(node,48),value(at,(18,2))).
init(object(node,49),value(at,(19,2))).
init(object(node,50),value(at,(20,2))).
init(object(node,51),value(at,(21,2))).
init(object(node,52),value(at,(22,2))).
init(object(node,53),value(at,(23,2))).
init(object(node,54),value(at,(24,2))).
init(object(node,55),value(at,(25,2))).
init(object(node,56),value(at,(26,2))).
init(object(node,57),value(at,(27,2))).
init(object(node,58),value(at,(28,2))).
init(object(node,59),value(at,(29,2))).
init(object(node,60),value(at,(30,2))).
init(object(node,61),value(at,(1,3))).
init(object(node,62),value(at,(2,3))).
init(object(node,63),value(at,(3,3))).
init(object(node,64),value(at,(4,3))).
init(object(node,65),value(at,(5,3))).
init(object(node,66),value(at,(6,3))).
init(object(node,67),value(at,(7,3))).
init(object(node,68),value(at,(8,3))).
init(object(node,69),value(at,(9,3))).
init(object(node,70),value(at,(10,3))).
init(object(node,71),value(at,(11,3))).
init(object(node,72),value(at,(12,3))).
init(object(node,73),value(at,(13,3))).
init(object(node,74),value(at,(14,3))).
init(object(node,75),value(at,(15,3))).
init(object(node,76),value(at,(16,3))).
init(object(node,77),value(at,(17,3))).
init(object(node,78),value(at,(18,3))).
init(object(node,79),value(at,(19,3))).
init(object(node,80),value(at,(20,3))).
init(object(node,81),value(at,(21,3))).
init(object(node,82),value(at,(22,3))).
init(object(node,83),value(at,(23,3))).
init(object(node,84),value(at,(24,3))).
init(object(node,85),value(at,(25,3))).
init(object(node,86),value(at,(26,3))).
init(object(node,87),value(at,(27,3))).
init(object(node,88),value(at,(28,3))).
init(object(node,89),value(at,(29,3))).
init(object(node,90),value(at,(30,3))).
init(object(node,91),value(at,(1,4))).
init(object(node,92),value(at,(2,4))).
init(object(node,93),value(at,(3,4))).
init(object(node,94),value(at,(4,4))).
init(object(node,95),value(at,(5,4))).
init(object(node,96),value(at,(6,4))).
init(object(node,97),value(at,(7,4))).
init(object(node,98),value(at,(8,4))).
init(object(node,99),value(at,(9,4))).
init(object(node,100),value(at,(10,4))).
init(object(node,101),value(at,(11,4))).
init(object(node,102),value(at,(12,4))).
init(object(node,103),value(at,(13,4))).
init(object(node,104),value(at,(14,4))).
init(object(node,105),value(at,(15,4))).
init(object(node,106),value(at,(16,4))).
init(object(node,107),value(at,(17,4))).
init(object(node,108),value(at,(18,4))).
init(object(node,109),value(at,(19,4))).
init(object(node,110),value(at,(20,4))).
init(object(node,111),value(at,(21,4))).
init(object(node,112),value(at,(22,4))).
init(object(node,113),value(at,(23,4))).
init(object(node,114),value(at,(24,4))).
init(object(node,115),value(at,(25,4))).
init(object(node,116),value(at,(26,4))).
init(object(node,117),value(at,(27,4))).
init(object(node,118),value(at,(28,4))).
init(object(node,119),value(at,(29,4))).
init(object(node,120),value(at,(30,4))).
init(object(node,121),value(at,(1,5))).
init(object(node,122),value(at,(2,5))).
init(object(node,123),value(at,(3,5))).
init(object(node,124),value(at,(4,5))).
init(object(node,125),value(at,(5,5))).
init(object(node,126),value(at,(6,5))).
init(object(node,127),value(at,(7,5))).
init(object(node,128),value(at,(8,5))).
init(object(node,129),value(at,(9,5))).
init(object(node,130),value(at,(10,5))).
init(object(node,131),value(at,(11,5))).
init(object(node,132),value(at,(12,5))).
init(object(node,133),value(at,(13,5))).
init(object(node,134),value(at,(14,5))).
init(object(node,135),value(at,(15,5))).
init(object(node,136),value(at,(16,5))).
init(object(node,137),value(at,(17,5))).
init(object(node,138),value(at,(18,5))).
init(object(node,139),value(at,(19,5))).
init(object(node,140),value(at,(20,5))).
init(object(node,141),value(at,(21,5))).
init(object(node,142),value(at,(22,5))).
init(object(node,143),value(at,(23,5))).
init(object(node,144),value(at,(24,5))).
init(object(node,145),value(at,(25,5))).
init(object(node,146),value(at,(26,5))).
init(object(node,147),value(at,(27,5))).
init(object(node,148),value(at,(28,5))).
init(object(node,149),value(at,(29,5))).
init(object(node,150),value(at,(30,5))).
init(object(node,151),value(at,(1,6))).
init(object(node,152),value(at,(2,6))).
init(object(node,153),value(at,(3,6))).
init(object(node,154),value(at,(4,6))).
init(object(node,155),value(at,(5,6))).
init(object(node,156),value(at,(6,6))).
init(object(node,157),value(at,(7,6))).
init(object(node,158),value(at,(8,6))).
init(object(node,159),value(at,(9,6))).
init(object(node,160),value(at,(10,6))).
init(object(node,161),value(at,(11,6))).
init(object(node,162),value(at,(12,6))).
init(object(node,163),value(at,(13,6))).
init(object(node,164),value(at,(14,6))).
init(object(node,165),value(at,(15,6))).
init(object(node,166),value(at,(16,6))).
init(object(node,167),value(at,(17,6))).
init(object(node,168),value(at,(18,6))).
init(object(node,169),value(at,(19,6))).
init(object(node,170),value(at,(20,6))).
init(object(node,171),value(at,(21,6))).
init(object(node,172),value(at,(22,6))).
init(object(node,173),value(at,(23,6))).
init(object(node,174),value(at,(24,6))).
init(object(node,175),value(at,(25,6))).
init(object(node,176),value(at,(26,6))).
init(object(node,177),value(at,(27,6))).
init(object(node,178),value(at,(28,6))).
init(object(node,179),value(at,(29,6))).
init(object(node,180),value(at,(30,6))).
init(object(node,181),value(at,(1,7))).
init(object(node,182),value(at,(2,7))).
init(object(node,183),value(at,(3,7))).
init(object(node,184),value(at,(4,7))).
init(object(node,185),value(at,(5,7))).
init(object(node,186),value(at,(6,7))).
init(object(node,187),value(at,(7,7))).
init(object(node,188),value(at,(8,7))).
init(object(node,189),value(at,(9,7))).
init(object(node,190),value(at,(10,7))).
init(object(node,191),value(at,(11,7))).
init(object(node,192),value(at,(12,7))).
init(object(node,193),value(at,(13,7))).
init(object(node,194),value(at,(14,7))).
init(object(node,195),value(at,(15,7))).
init(object(node,196),value(at,(16,7))).
init(object(node,197),value(at,(17,7))).
init(object(node,198),value(at,(18,7))).
init(object(node,199),value(at,(19,7))).
init(object(node,200),value(at,(20,7))).
init(object(node,201),value(at,(21,7))).
init(object(node,202),value(at,(22,7))).
init(object(node,203),value(at,(23,7))).
init(object(node,204),value(at,(24,7))).
init(object(node,205),value(at,(25,7))).
init(object(node,206),value(at,(26,7))).
init(object(node,207),value(at,(27,7))).
init(object(node,208),value(at,(28,7))).
init(object(node,209),value(at,(29,7))).
init(object(node,210),value(at,(30,7))).
init(object(node,211),value(at,(1,8))).
init(object(node,212),value(at,(2,8))).
init(object(node,213),value(at,(3,8))).
init(object(node,214),value(at,(4,8))).
init(object(node,215),value(at,(5,8))).
init(object(node,216),value(at,(6,8))).
init(object(node,217),value(at,(7,8))).
init(object(node,218),value(at,(8,8))).
init(object(node,219),value(at,(9,8))).
init(object(node,220),value(at,(10,8))).
init(object(node,221),value(at,(11,8))).
init(object(node,222),value(at,(12,8))).
init(object(node,223),value(at,(13,8))).
init(object(node,224),value(at,(14,8))).
init(object(node,225),value(at,(15,8))).
init(object(node,226),value(at,(16,8))).
init(object(node,227),value(at,(17,8))).
init(object(node,228),value(at,(18,8))).
init(object(node,229),value(at,(19,8))).
init(object(node,230),value(at,(20,8))).
init(object(node,231),value(at,(21,8))).
init(object(node,232),value(at,(22,8))).
init(object(node,233),value(at,(23,8))).
init(object(node,234),value(at,(24,8))).
init(object(node,235),value(at,(25,8))).
init(object(node,236),value(at,(26,8))).
init(object(node,237),value(at,(27,8))).
init(object(node,238),value(at,(28,8))).
init(object(node,239),value(at,(29,8))).
init(object(node,240),value(at,(30,8))).
init(object(node,241),value(at,(1,9))).
init(object(node,242),value(at,(2,9))).
init(object(node,243),value(at,(3,9))).
init(object(node,244),value(at,(4,9))).
init(object(node,245),value(at,(5,9))).
init(object(node,246),value(at,(6,9))).
init(object(node,247),value(at,(7,9))).
init(object(node,248),value(at,(8,9))).
init(object(node,249),value(at,(9,9))).
init(object(node,250),value(at,(10,9))).
init(object(node,251),value(at,(11,9))).
init(object(node,252),value(at,(12,9))).
init(object(node,253),value(at,(13,9))).
init(object(node,254),value(at,(14,9))).
init(object(node,255),value(at,(15,9))).
init(object(node,256),value(at,(16,9))).
init(object(node,257),value(at,(17,9))).
init(object(node,258),value(at,(18,9))).
init(object(node,259),value(at,(19,9))).
init(object(node,260),value(at,(20,9))).
init(object(node,261),value(at,(21,9))).
init(object(node,262),value(at,(22,9))).
init(object(node,263),value(at,(23,9))).
init(object(node,264),value(at,(24,9))).
init(object(node,265),value(at,(25,9))).
init(object(node,266),value(at,(26,9))).
init(object(node,267),value(at,(27,9))).
init(object(node,268),value(at,(28,9))).
init(object(node,269),value(at,(29,9))).
init(object(node,270),value(at,(30,9))).
init(object(node,271),value(at,(1,10))).
init(object(node,272),value(at,(2,10))).
init(object(node,273),value(at,(3,10))).
init(object(node,274),value(at,(4,10))).
init(object(node,275),value(at,(5,10))).
init(object(node,276),value(at,(6,10))).
init(object(node,277),value(at,(7,10))).
init(object(node,278),value(at,(8,10))).
init(object(node,279),value(at,(9,10))).
init(object(node,280),value(at,(10,10))).
init(object(node,281),value(at,(11,10))).
init(object(node,282),value(at,(12,10))).
init(object(node,283),value(at,(13,10))).
init(object(node,284),value(at,(14,10))).
init(object(node,285),value(at,(15,10))).
init(object(node,286),value(at,(16,10))).
init(object(node,287),value(at,(17,10))).
init(object(node,288),value(at,(18,10))).
init(object(node,289),value(at,(19,10))).
init(object(node,290),value(at,(20,10))).
init(object(node,291),value(at,(21,10))).
init(object(node,292),value(at,(22,10))).
init(object(node,293),value(at,(23,10))).
init(object(node,294),value(at,(24,10))).
init(object(node,295),value(at,(25,10))).
init(object(node,296),value(at,(26,10))).
init(object(node,297),value(at,(27,10))).
init(object(node,298),value(at,(28,10))).
init(object(node,299),value(at,(29,10))).
init(object(node,300),value(at,(30,10))).
init(object(node,301),value(at,(1,11))).
init(object(node,302),value(at,(2,11))).
init(object(node,303),value(at,(3,11))).
init(object(node,304),value(at,(4,11))).
init(object(node,305),value(at,(5,11))).
init(object(node,306),value(at,(6,11))).
init(object(node,307),value(at,(7,11))).
init(object(node,308),value(at,(8,11))).
init(object(node,309),value(at,(9,11))).
init(object(node,310),value(at,(10,11))).
init(object(node,311),value(at,(11,11))).
init(object(node,312),value(at,(12,11))).
init(object(node,313),value(at,(13,11))).
init(object(node,314),value(at,(14,11))).
init(object(node,315),value(at,(15,11))).
init(object(node,316),value(at,(16,11))).
init(object(node,317),value(at,(17,11))).
init(object(node,318),value(at,(18,11))).
init(object(node,319),value(at,(19,11))).
init(object(node,320),value(at,(20,11))).
init(object(node,321),value(at,(21,11))).
init(object(node,322),value(at,(22,11))).
init(object(node,323),value(at,(23,11))).
init(object(node,324),value(at,(24,11))).
init(object(node,325),value(at,(25,11))).
init(object(node,326),value(at,(26,11))).
init(object(node,327),value(at,(27,11))).
init(object(node,328),value(at,(28,11))).
init(object(node,329),value(at,(29,11))).
init(object(node,330),value(at,(30,11))).
init(object(node,331),value(at,(1,12))).
init(object(node,332),value(at,(2,12))).
init(object(node,333),value(at,(3,12))).
init(object(node,334),value(at,(4,12))).
init(object(node,335),value(at,(5,12))).
init(object(node,336),value(at,(6,12))).
init(object(node,337),value(at,(7,12))).
init(object(node,338),value(at,(8,12))).
init(object(node,339),value(at,(9,12))).
init(object(node,340),value(at,(10,12))).
init(object(node,341),value(at,(11,12))).
init(object(node,342),value(at,(12,12))).
init(object(node,343),value(at,(13,12))).
init(object(node,344),value(at,(14,12))).
init(object(node,345),value(at,(15,12))).
init(object(node,346),value(at,(16,12))).
init(object(node,347),value(at,(17,12))).
init(object(node,348),value(at,(18,12))).
init(object(node,349),value(at,(19,12))).
init(object(node,350),value(at,(20,12))).
init(object(node,351),value(at,(21,12))).
init(object(node,352),value(at,(22,12))).
init(object(node,353),value(at,(23,12))).
init(object(node,354),value(at,(24,12))).
init(object(node,355),value(at,(25,12))).
init(object(node,356),value(at,(26,12))).
init(object(node,357),value(at,(27,12))).
init(object(node,358),value(at,(28,12))).
init(object(node,359),value(at,(29,12))).
init(object(node,360),value(at,(30,12))).
init(object(node,361),value(at,(1,13))).
init(object(node,362),value(at,(2,13))).
init(object(node,363),value(at,(3,13))).
init(object(node,364),value(at,(4,13))).
init(object(node,365),value(at,(5,13))).
init(object(node,366),value(at,(6,13))).
init(object(node,367),value(at,(7,13))).
init(object(node,368),value(at,(8,13))).
init(object(node,369),value(at,(9,13))).
init(object(node,370),value(at,(10,13))).
init(object(node,371),value(at,(11,13))).
init(object(node,372),value(at,(12,13))).
init(object(node,373),value(at,(13,13))).
init(object(node,374),value(at,(14,13))).
init(object(node,375),value(at,(15,13))).
init(object(node,376),value(at,(16,13))).
init(object(node,377),value(at,(17,13))).
init(object(node,378),value(at,(18,13))).
init(object(node,379),value(at,(19,13))).
init(object(node,380),value(at,(20,13))).
init(object(node,381),value(at,(21,13))).
init(object(node,382),value(at,(22,13))).
init(object(node,383),value(at,(23,13))).
init(object(node,384),value(at,(24,13))).
init(object(node,385),value(at,(25,13))).
init(object(node,386),value(at,(26,13))).
init(object(node,387),value(at,(27,13))).
init(object(node,388),value(at,(28,13))).
init(object(node,389),value(at,(29,13))).
init(object(node,390),value(at,(30,13))).
init(object(node,391),value(at,(1,14))).
init(object(node,392),value(at,(2,14))).
init(object(node,393),value(at,(3,14))).
init(object(node,394),value(at,(4,14))).
init(object(node,395),value(at,(5,14))).
init(object(node,396),value(at,(6,14))).
init(object(node,397),value(at,(7,14))).
init(object(node,398),value(at,(8,14))).
init(object(node,399),value(at,(9,14))).
init(object(node,400),value(at,(10,14))).
init(object(node,401),value(at,(11,14))).
init(object(node,402),value(at,(12,14))).
init(object(node,403),value(at,(13,14))).
init(object(node,404),value(at,(14,14))).
init(object(node,405),value(at,(15,14))).
init(object(node,406),value(at,(16,14))).
init(object(node,407),value(at,(17,14))).
init(object(node,408),value(at,(18,14))).
init(object(node,409),value(at,(19,14))).
init(object(node,410),value(at,(20,14))).
init(object(node,411),value(at,(21,14))).
init(object(node,412),value(at,(22,14))).
init(object(node,413),value(at,(23,14))).
init(object(node,414),value(at,(24,14))).
init(object(node,415),value(at,(25,14))).
init(object(node,416),value(at,(26,14))).
init(object(node,417),value(at,(27,14))).
init(object(node,418),value(at,(28,14))).
init(object(node,419),value(at,(29,14))).
init(object(node,420),value(at,(30,14))).
init(object(node,421),value(at,(1,15))).
init(object(node,422),value(at,(2,15))).
init(object(node,423),value(at,(3,15))).
init(object(node,424),value(at,(4,15))).
init(object(node,425),value(at,(5,15))).
init(object(node,426),value(at,(6,15))).
init(object(node,427),value(at,(7,15))).
init(object(node,428),value(at,(8,15))).
init(object(node,429),value(at,(9,15))).
init(object(node,430),value(at,(10,15))).
init(object(node,431),value(at,(11,15))).
init(object(node,432),value(at,(12,15))).
init(object(node,433),value(at,(13,15))).
init(object(node,434),value(at,(14,15))).
init(object(node,435),value(at,(15,15))).
init(object(node,436),value(at,(16,15))).
init(object(node,437),value(at,(17,15))).
init(object(node,438),value(at,(18,15))).
init(object(node,439),value(at,(19,15))).
init(object(node,440),value(at,(20,15))).
init(object(node,441),value(at,(21,15))).
init(object(node,442),value(at,(22,15))).
init(object(node,443),value(at,(23,15))).
init(object(node,444),value(at,(24,15))).
init(object(node,445),value(at,(25,15))).
init(object(node,446),value(at,(26,15))).
init(object(node,447),value(at,(27,15))).
init(object(node,448),value(at,(28,15))).
init(object(node,449),value(at,(29,15))).
init(object(node,450),value(at,(30,15))).
init(object(node,451),value(at,(1,16))).
init(object(node,452),value(at,(2,16))).
init(object(node,453),value(at,(3,16))).
init(object(node,454),value(at,(4,16))).
init(object(node,455),value(at,(5,16))).
init(object(node,456),value(at,(6,16))).
init(object(node,457),value(at,(7,16))).
init(object(node,458),value(at,(8,16))).
init(object(node,459),value(at,(9,16))).
init(object(node,460),value(at,(10,16))).
init(object(node,461),value(at,(11,16))).
init(object(node,462),value(at,(12,16))).
init(object(node,463),value(at,(13,16))).
init(object(node,464),value(at,(14,16))).
init(object(node,465),value(at,(15,16))).
init(object(node,466),value(at,(16,16))).
init(object(node,467),value(at,(17,16))).
init(object(node,468),value(at,(18,16))).
init(object(node,469),value(at,(19,16))).
init(object(node,470),value(at,(20,16))).
init(object(node,471),value(at,(21,16))).
init(object(node,472),value(at,(22,16))).
init(object(node,473),value(at,(23,16))).
init(object(node,474),value(at,(24,16))).
init(object(node,475),value(at,(25,16))).
init(object(node,476),value(at,(26,16))).
init(object(node,477),value(at,(27,16))).
init(object(node,478),value(at,(28,16))).
init(object(node,479),value(at,(29,16))).
init(object(node,480),value(at,(30,16))).
init(object(node,481),value(at,(1,17))).
init(object(node,482),value(at,(2,17))).
init(object(node,483),value(at,(3,17))).
init(object(node,484),value(at,(4,17))).
init(object(node,485),value(at,(5,17))).
init(object(node,486),value(at,(6,17))).
init(object(node,487),value(at,(7,17))).
init(object(node,488),value(at,(8,17))).
init(object(node,489),value(at,(9,17))).
init(object(node,490),value(at,(10,17))).
init(object(node,491),value(at,(11,17))).
init(object(node,492),value(at,(12,17))).
init(object(node,493),value(at,(13,17))).
init(object(node,494),value(at,(14,17))).
init(object(node,495),value(at,(15,17))).
init(object(node,496),value(at,(16,17))).
init(object(node,497),value(at,(17,17))).
init(object(node,498),value(at,(18,17))).
init(object(node,499),value(at,(19,17))).
init(object(node,500),value(at,(20,17))).
init(object(node,501),value(at,(21,17))).
init(object(node,502),value(at,(22,17))).
init(object(node,503),value(at,(23,17))).
init(object(node,504),value(at,(24,17))).
init(object(node,505),value(at,(25,17))).
init(object(node,506),value(at,(26,17))).
init(object(node,507),value(at,(27,17))).
init(object(node,508),value(at,(28,17))).
init(object(node,509),value(at,(29,17))).
init(object(node,510),value(at,(30,17))).
init(object(node,511),value(at,(1,18))).
init(object(node,512),value(at,(2,18))).
init(object(node,513),value(at,(3,18))).
init(object(node,514),value(at,(4,18))).
init(object(node,515),value(at,(5,18))).
init(object(node,516),value(at,(6,18))).
init(object(node,517),value(at,(7,18))).
init(object(node,518),value(at,(8,18))).
init(object(node,519),value(at,(9,18))).
init(object(node,520),value(at,(10,18))).
init(object(node,521),value(at,(11,18))).
init(object(node,522),value(at,(12,18))).
init(object(node,523),value(at,(13,18))).
init(object(node,524),value(at,(14,18))).
init(object(node,525),value(at,(15,18))).
init(object(node,526),value(at,(16,18))).
init(object(node,527),value(at,(17,18))).
init(object(node,528),value(at,(18,18))).
init(object(node,529),value(at,(19,18))).
init(object(node,530),value(at,(20,18))).
init(object(node,531),value(at,(21,18))).
init(object(node,532),value(at,(22,18))).
init(object(node,533),value(at,(23,18))).
init(object(node,534),value(at,(24,18))).
init(object(node,535),value(at,(25,18))).
init(object(node,536),value(at,(26,18))).
init(object(node,537),value(at,(27,18))).
init(object(node,538),value(at,(28,18))).
init(object(node,539),value(at,(29,18))).
init(object(node,540),value(at,(30,18))).
init(object(node,541),value(at,(1,19))).
init(object(node,542),value(at,(2,19))).
init(object(node,543),value(at,(3,19))).
init(object(node,544),value(at,(4,19))).
init(object(node,545),value(at,(5,19))).
init(object(node,546),value(at,(6,19))).
init(object(node,547),value(at,(7,19))).
init(object(node,548),value(at,(8,19))).
init(object(node,549),value(at,(9,19))).
init(object(node,550),value(at,(10,19))).
init(object(node,551),value(at,(11,19))).
init(object(node,552),value(at,(12,19))).
init(object(node,553),value(at,(13,19))).
init(object(node,554),value(at,(14,19))).
init(object(node,555),value(at,(15,19))).
init(object(node,556),value(at,(16,19))).
init(object(node,557),value(at,(17,19))).
init(object(node,558),value(at,(18,19))).
init(object(node,559),value(at,(19,19))).
init(object(node,560),value(at,(20,19))).
init(object(node,561),value(at,(21,19))).
init(object(node,562),value(at,(22,19))).
init(object(node,563),value(at,(23,19))).
init(object(node,564),value(at,(24,19))).
init(object(node,565),value(at,(25,19))).
init(object(node,566),value(at,(26,19))).
init(object(node,567),value(at,(27,19))).
init(object(node,568),value(at,(28,19))).
init(object(node,569),value(at,(29,19))).
init(object(node,570),value(at,(30,19))).
init(object(node,571),value(at,(1,20))).
init(object(node,572),value(at,(2,20))).
init(object(node,573),value(at,(3,20))).
init(object(node,574),value(at,(4,20))).
init(object(node,575),value(at,(5,20))).
init(object(node,576),value(at,(6,20))).
init(object(node,577),value(at,(7,20))).
init(object(node,578),value(at,(8,20))).
init(object(node,579),value(at,(9,20))).
init(object(node,580),value(at,(10,20))).
init(object(node,581),value(at,(11,20))).
init(object(node,582),value(at,(12,20))).
init(object(node,583),value(at,(13,20))).
init(object(node,584),value(at,(14,20))).
init(object(node,585),value(at,(15,20))).
init(object(node,586),value(at,(16,20))).
init(object(node,587),value(at,(17,20))).
init(object(node,588),value(at,(18,20))).
init(object(node,589),value(at,(19,20))).
init(object(node,590),value(at,(20,20))).
init(object(node,591),value(at,(21,20))).
init(object(node,592),value(at,(22,20))).
init(object(node,593),value(at,(23,20))).
init(object(node,594),value(at,(24,20))).
init(object(node,595),value(at,(25,20))).
init(object(node,596),value(at,(26,20))).
init(object(node,597),value(at,(27,20))).
init(object(node,598),value(at,(28,20))).
init(object(node,599),value(at,(29,20))).
init(object(node,600),value(at,(30,20))).
init(object(node,601),value(at,(1,21))).
init(object(node,602),value(at,(2,21))).
init(object(node,603),value(at,(3,21))).
init(object(node,604),value(at,(4,21))).
init(object(node,605),value(at,(5,21))).
init(object(node,606),value(at,(6,21))).
init(object(node,607),value(at,(7,21))).
init(object(node,608),value(at,(8,21))).
init(object(node,609),value(at,(9,21))).
init(object(node,610),value(at,(10,21))).
init(object(node,611),value(at,(11,21))).
init(object(node,612),value(at,(12,21))).
init(object(node,613),value(at,(13,21))).
init(object(node,614),value(at,(14,21))).
init(object(node,615),value(at,(15,21))).
init(object(node,616),value(at,(16,21))).
init(object(node,617),value(at,(17,21))).
init(object(node,618),value(at,(18,21))).
init(object(node,619),value(at,(19,21))).
init(object(node,620),value(at,(20,21))).
init(object(node,621),value(at,(21,21))).
init(object(node,622),value(at,(22,21))).
init(object(node,623),value(at,(23,21))).
init(object(node,624),value(at,(24,21))).
init(object(node,625),value(at,(25,21))).
init(object(node,626),value(at,(26,21))).
init(object(node,627),value(at,(27,21))).
init(object(node,628),value(at,(28,21))).
init(object(node,629),value(at,(29,21))).
init(object(node,630),value(at,(30,21))).
init(object(node,631),value(at,(1,22))).
init(object(node,632),value(at,(2,22))).
init(object(node,633),value(at,(3,22))).
init(object(node,634),value(at,(4,22))).
init(object(node,635),value(at,(5,22))).
init(object(node,636),value(at,(6,22))).
init(object(node,637),value(at,(7,22))).
init(object(node,638),value(at,(8,22))).
init(object(node,639),value(at,(9,22))).
init(object(node,640),value(at,(10,22))).
init(object(node,641),value(at,(11,22))).
init(object(node,642),value(at,(12,22))).
init(object(node,643),value(at,(13,22))).
init(object(node,644),value(at,(14,22))).
init(object(node,645),value(at,(15,22))).
init(object(node,646),value(at,(16,22))).
init(object(node,647),value(at,(17,22))).
init(object(node,648),value(at,(18,22))).
init(object(node,649),value(at,(19,22))).
init(object(node,650),value(at,(20,22))).
init(object(node,651),value(at,(21,22))).
init(object(node,652),value(at,(22,22))).
init(object(node,653),value(at,(23,22))).
init(object(node,654),value(at,(24,22))).
init(object(node,655),value(at,(25,22))).
init(object(node,656),value(at,(26,22))).
init(object(node,657),value(at,(27,22))).
init(object(node,658),value(at,(28,22))).
init(object(node,659),value(at,(29,22))).
init(object(node,660),value(at,(30,22))).
init(object(node,661),value(at,(1,23))).
init(object(node,662),value(at,(2,23))).
init(object(node,663),value(at,(3,23))).
init(object(node,664),value(at,(4,23))).
init(object(node,665),value(at,(5,23))).
init(object(node,666),value(at,(6,23))).
init(object(node,667),value(at,(7,23))).
init(object(node,668),value(at,(8,23))).
init(object(node,669),value(at,(9,23))).
init(object(node,670),value(at,(10,23))).
init(object(node,671),value(at,(11,23))).
init(object(node,672),value(at,(12,23))).
init(object(node,673),value(at,(13,23))).
init(object(node,674),value(at,(14,23))).
init(object(node,675),value(at,(15,23))).
init(object(node,676),value(at,(16,23))).
init(object(node,677),value(at,(17,23))).
init(object(node,678),value(at,(18,23))).
init(object(node,679),value(at,(19,23))).
init(object(node,680),value(at,(20,23))).
init(object(node,681),value(at,(21,23))).
init(object(node,682),value(at,(22,23))).
init(object(node,683),value(at,(23,23))).
init(object(node,684),value(at,(24,23))).
init(object(node,685),value(at,(25,23))).
init(object(node,686),value(at,(26,23))).
init(object(node,687),value(at,(27,23))).
init(object(node,688),value(at,(28,23))).
init(object(node,689),value(at,(29,23))).
init(object(node,690),value(at,(30,23))).
init(object(node,691),value(at,(1,24))).
init(object(node,692),value(at,(2,24))).
init(object(node,693),value(at,(3,24))).
init(object(node,694),value(at,(4,24))).
init(object(node,695),value(at,(5,24))).
init(object(node,696),value(at,(6,24))).
init(object(node,697),value(at,(7,24))).
init(object(node,698),value(at,(8,24))).
init(object(node,699),value(at,(9,24))).
init(object(node,700),value(at,(10,24))).
init(object(node,701),value(at,(11,24))).
init(object(node,702),value(at,(12,24))).
init(object(node,703),value(at,(13,24))).
init(object(node,704),value(at,(14,24))).
init(object(node,705),value(at,(15,24))).
init(object(node,706),value(at,(16,24))).
init(object(node,707),value(at,(17,24))).
init(object(node,708),value(at,(18,24))).
init(object(node,709),value(at,(19,24))).
init(object(node,710),value(at,(20,24))).
init(object(node,711),value(at,(21,24))).
init(object(node,712),value(at,(22,24))).
init(object(node,713),value(at,(23,24))).
init(object(node,714),value(at,(24,24))).
init(object(node,715),value(at,(25,24))).
init(object(node,716),value(at,(26,24))).
init(object(node,717),value(at,(27,24))).
init(object(node,718),value(at,(28,24))).
init(object(node,719),value(at,(29,24))).
init(object(node,720),value(at,(30,24))).
init(object(node,721),value(at,(1,25))).
init(object(node,722),value(at,(2,25))).
init(object(node,723),value(at,(3,25))).
init(object(node,724),value(at,(4,25))).
init(object(node,725),value(at,(5,25))).
init(object(node,726),value(at,(6,25))).
init(object(node,727),value(at,(7,25))).
init(object(node,728),value(at,(8,25))).
init(object(node,729),value(at,(9,25))).
init(object(node,730),value(at,(10,25))).
init(object(node,731),value(at,(11,25))).
init(object(node,732),value(at,(12,25))).
init(object(node,733),value(at,(13,25))).
init(object(node,734),value(at,(14,25))).
init(object(node,735),value(at,(15,25))).
init(object(node,736),value(at,(16,25))).
init(object(node,737),value(at,(17,25))).
init(object(node,738),value(at,(18,25))).
init(object(node,739),value(at,(19,25))).
init(object(node,740),value(at,(20,25))).
init(object(node,741),value(at,(21,25))).
init(object(node,742),value(at,(22,25))).
init(object(node,743),value(at,(23,25))).
init(object(node,744),value(at,(24,25))).
init(object(node,745),value(at,(25,25))).
init(object(node,746),value(at,(26,25))).
init(object(node,747),value(at,(27,25))).
init(object(node,748),value(at,(28,25))).
init(object(node,749),value(at,(29,25))).
init(object(node,750),value(at,(30,25))).
init(object(node,751),value(at,(1,26))).
init(object(node,752),value(at,(2,26))).
init(object(node,753),value(at,(3,26))).
init(object(node,754),value(at,(4,26))).
init(object(node,755),value(at,(5,26))).
init(object(node,756),value(at,(6,26))).
init(object(node,757),value(at,(7,26))).
init(object(node,758),value(at,(8,26))).
init(object(node,759),value(at,(9,26))).
init(object(node,760),value(at,(10,26))).
init(object(node,761),value(at,(11,26))).
init(object(node,762),value(at,(12,26))).
init(object(node,763),value(at,(13,26))).
init(object(node,764),value(at,(14,26))).
init(object(node,765),value(at,(15,26))).
init(object(node,766),value(at,(16,26))).
init(object(node,767),value(at,(17,26))).
init(object(node,768),value(at,(18,26))).
init(object(node,769),value(at,(19,26))).
init(object(node,770),value(at,(20,26))).
init(object(node,771),value(at,(21,26))).
init(object(node,772),value(at,(22,26))).
init(object(node,773),value(at,(23,26))).
init(object(node,774),value(at,(24,26))).
init(object(node,775),value(at,(25,26))).
init(object(node,776),value(at,(26,26))).
init(object(node,777),value(at,(27,26))).
init(object(node,778),value(at,(28,26))).
init(object(node,779),value(at,(29,26))).
init(object(node,780),value(at,(30,26))).
init(object(node,781),value(at,(1,27))).
init(object(node,782),value(at,(2,27))).
init(object(node,783),value(at,(3,27))).
init(object(node,784),value(at,(4,27))).
init(object(node,785),value(at,(5,27))).
init(object(node,786),value(at,(6,27))).
init(object(node,787),value(at,(7,27))).
init(object(node,788),value(at,(8,27))).
init(object(node,789),value(at,(9,27))).
init(object(node,790),value(at,(10,27))).
init(object(node,791),value(at,(11,27))).
init(object(node,792),value(at,(12,27))).
init(object(node,793),value(at,(13,27))).
init(object(node,794),value(at,(14,27))).
init(object(node,795),value(at,(15,27))).
init(object(node,796),value(at,(16,27))).
init(object(node,797),value(at,(17,27))).
init(object(node,798),value(at,(18,27))).
init(object(node,799),value(at,(19,27))).
init(object(node,800),value(at,(20,27))).
init(object(node,801),value(at,(21,27))).
init(object(node,802),value(at,(22,27))).
init(object(node,803),value(at,(23,27))).
init(object(node,804),value(at,(24,27))).
init(object(node,805),value(at,(25,27))).
init(object(node,806),value(at,(26,27))).
init(object(node,807),value(at,(27,27))).
init(object(node,808),value(at,(28,27))).
init(object(node,809),value(at,(29,27))).
init(object(node,810),value(at,(30,27))).
init(object(node,811),value(at,(1,28))).
init(object(node,812),value(at,(2,28))).
init(object(node,813),value(at,(3,28))).
init(object(node,814),value(at,(4,28))).
init(object(node,815),value(at,(5,28))).
init(object(node,816),value(at,(6,28))).
init(object(node,817),value(at,(7,28))).
init(object(node,818),value(at,(8,28))).
init(object(node,819),value(at,(9,28))).
init(object(node,820),value(at,(10,28))).
init(object(node,821),value(at,(11,28))).
init(object(node,822),value(at,(12,28))).
init(object(node,823),value(at,(13,28))).
init(object(node,824),value(at,(14,28))).
init(object(node,825),value(at,(15,28))).
init(object(node,826),value(at,(16,28))).
init(object(node,827),value(at,(17,28))).
init(object(node,828),value(at,(18,28))).
init(object(node,829),value(at,(19,28))).
init(object(node,830),value(at,(20,28))).
init(object(node,831),value(at,(21,28))).
init(object(node,832),value(at,(22,28))).
init(object(node,833),value(at,(23,28))).
init(object(node,834),value(at,(24,28))).
init(object(node,835),value(at,(25,28))).
init(object(node,836),value(at,(26,28))).
init(object(node,837),value(at,(27,28))).
init(object(node,838),value(at,(28,28))).
init(object(node,839),value(at,(29,28))).
init(object(node,840),value(at,(30,28))).
init(object(node,841),value(at,(1,29))).
init(object(node,842),value(at,(2,29))).
init(object(node,843),value(at,(3,29))).
init(object(node,844),value(at,(4,29))).
init(object(node,845),value(at,(5,29))).
init(object(node,846),value(at,(6,29))).
init(object(node,847),value(at,(7,29))).
init(object(node,848),value(at,(8,29))).
init(object(node,849),value(at,(9,29))).
init(object(node,850),value(at,(10,29))).
init(object(node,851),value(at,(11,29))).
init(object(node,852),value(at,(12,29))).
init(object(node,853),value(at,(13,29))).
init(object(node,854),value(at,(14,29))).
init(object(node,855),value(at,(15,29))).
init(object(node,856),value(at,(16,29))).
init(object(node,857),value(at,(17,29))).
init(object(node,858),value(at,(18,29))).
init(object(node,859),value(at,(19,29))).
init(object(node,860),value(at,(20,29))).
init(object(node,861),value(at,(21,29))).
init(object(node,862),value(at,(22,29))).
init(object(node,863),value(at,(23,29))).
init(object(node,864),value(at,(24,29))).
init(object(node,865),value(at,(25,29))).
init(object(node,866),value(at,(26,29))).
init(object(node,867),value(at,(27,29))).
init(object(node,868),value(at,(28,29))).
init(object(node,869),value(at,(29,29))).
init(object(node,870),value(at,(30,29))).
init(object(node,871),value(at,(1,30))).
init(object(node,872),value(at,(2,30))).
init(object(node,873),value(at,(3,30))).
init(object(node,874),value(at,(4,30))).
init(object(node,875),value(at,(5,30))).
init(object(node,876),value(at,(6,30))).
init(object(node,877),value(at,(7,30))).
init(object(node,878),value(at,(8,30))).
init(object(node,879),value(at,(9,30))).
init(object(node,880),value(at,(10,30))).
init(object(node,881),value(at,(11,30))).
init(object(node,882),value(at,(12,30))).
init(object(node,883),value(at,(13,30))).
init(object(node,884),value(at,(14,30))).
init(object(node,885),value(at,(15,30))).
init(object(node,886),value(at,(16,30))).
init(object(node,887),value(at,(17,30))).
init(object(node,888),value(at,(18,30))).
init(object(node,889),value(at,(19,30))).
init(object(node,890),value(at,(20,30))).
init(object(node,891),value(at,(21,30))).
init(object(node,892),value(at,(22,30))).
init(object(node,893),value(at,(23,30))).
init(object(node,894),value(at,(24,30))).
init(object(node,895),value(at,(25,30))).
init(object(node,896),value(at,(26,30))).
init(object(node,897),value(at,(27,30))).
init(object(node,898),value(at,(28,30))).
init(object(node,899),value(at,(29,30))).
init(object(node,900),value(at,(30,30))).
init(object(robot,1),value(at,(12,11))).
init(object(robot,2),value(at,(7,11))).
init(object(robot,3),value(at,(8,4))).
init(object(robot,4),value(at,(7,26))).
init(object(robot,5),value(at,(16,7))).
init(object(robot,6),value(at,(24,22))).
init(object(robot,7),value(at,(13,25))).
init(object(robot,8),value(at,(26,2))).
init(object(robot,9),value(at,(6,9))).
init(object(robot,10),value(at,(21,6))).
init(object(shelf,1),value(at,(28,30))).
init(object(shelf,2),value(at,(27,30))).
init(object(shelf,3),value(at,(6,6))).
init(object(shelf,4),value(at,(22,30))).
init(object(shelf,5),value(at,(20,30))).
init(object(shelf,6),value(at,(26,30))).
init(object(shelf,7),value(at,(26,3))).
init(object(shelf,8),value(at,(8,28))).
init(object(shelf,9),value(at,(2,7))).
init(object(shelf,10),value(at,(30,30))).