-
Notifications
You must be signed in to change notification settings - Fork 12
/
x46_y15_n690_r10_s160_ps10_pr5_u10_o2_N1.lp
1257 lines (1256 loc) · 51.7 KB
/
x46_y15_n690_r10_s160_ps10_pr5_u10_o2_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
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
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Grid Size X: 46
% Grid Size Y: 15
% Number of Nodes: 690
% Number of Highway Nodes: 358
% Number of Robots: 10
% Number of Shelves: 160
% Number of Picking Stations: 10
% Number of Products: 5
% Number of Product Units in Total: 10
% Number of Orders: 2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% clingo control/assign.lp examples/x46_y15_n690_r10_s160_ps10_pr5_u10_o2_N1.lp --opt-strategy=usc
% clingo control/assign.lp examples/x46_y15_n690_r10_s160_ps10_pr5_u10_o2_N1.lp --opt-strategy=usc --outf=0 -V0 --out-atomf=%s. --quiet=1,2,2 | head -n1 | clingo mppd/action-MPP.ilp mppd/goal-D-b.ilp mppd/output-MPPD.ilp control/control.ilp -
#program base.
% init
init(object(highway,1),value(at,(1,1))).
init(object(highway,2),value(at,(2,1))).
init(object(highway,3),value(at,(3,1))).
init(object(highway,5),value(at,(5,1))).
init(object(highway,6),value(at,(6,1))).
init(object(highway,7),value(at,(7,1))).
init(object(highway,9),value(at,(9,1))).
init(object(highway,10),value(at,(10,1))).
init(object(highway,11),value(at,(11,1))).
init(object(highway,12),value(at,(12,1))).
init(object(highway,13),value(at,(13,1))).
init(object(highway,14),value(at,(14,1))).
init(object(highway,15),value(at,(15,1))).
init(object(highway,16),value(at,(16,1))).
init(object(highway,17),value(at,(17,1))).
init(object(highway,18),value(at,(18,1))).
init(object(highway,19),value(at,(19,1))).
init(object(highway,20),value(at,(20,1))).
init(object(highway,21),value(at,(21,1))).
init(object(highway,22),value(at,(22,1))).
init(object(highway,23),value(at,(23,1))).
init(object(highway,24),value(at,(24,1))).
init(object(highway,25),value(at,(25,1))).
init(object(highway,26),value(at,(26,1))).
init(object(highway,27),value(at,(27,1))).
init(object(highway,28),value(at,(28,1))).
init(object(highway,29),value(at,(29,1))).
init(object(highway,30),value(at,(30,1))).
init(object(highway,31),value(at,(31,1))).
init(object(highway,32),value(at,(32,1))).
init(object(highway,33),value(at,(33,1))).
init(object(highway,34),value(at,(34,1))).
init(object(highway,35),value(at,(35,1))).
init(object(highway,36),value(at,(36,1))).
init(object(highway,37),value(at,(37,1))).
init(object(highway,38),value(at,(38,1))).
init(object(highway,39),value(at,(39,1))).
init(object(highway,40),value(at,(40,1))).
init(object(highway,41),value(at,(41,1))).
init(object(highway,42),value(at,(42,1))).
init(object(highway,43),value(at,(43,1))).
init(object(highway,44),value(at,(44,1))).
init(object(highway,45),value(at,(45,1))).
init(object(highway,46),value(at,(46,1))).
init(object(highway,47),value(at,(1,2))).
init(object(highway,48),value(at,(2,2))).
init(object(highway,49),value(at,(3,2))).
init(object(highway,50),value(at,(4,2))).
init(object(highway,51),value(at,(5,2))).
init(object(highway,52),value(at,(6,2))).
init(object(highway,53),value(at,(7,2))).
init(object(highway,54),value(at,(8,2))).
init(object(highway,55),value(at,(9,2))).
init(object(highway,56),value(at,(10,2))).
init(object(highway,57),value(at,(11,2))).
init(object(highway,58),value(at,(12,2))).
init(object(highway,59),value(at,(13,2))).
init(object(highway,60),value(at,(14,2))).
init(object(highway,61),value(at,(15,2))).
init(object(highway,62),value(at,(16,2))).
init(object(highway,63),value(at,(17,2))).
init(object(highway,64),value(at,(18,2))).
init(object(highway,65),value(at,(19,2))).
init(object(highway,66),value(at,(20,2))).
init(object(highway,67),value(at,(21,2))).
init(object(highway,68),value(at,(22,2))).
init(object(highway,69),value(at,(23,2))).
init(object(highway,70),value(at,(24,2))).
init(object(highway,71),value(at,(25,2))).
init(object(highway,72),value(at,(26,2))).
init(object(highway,73),value(at,(27,2))).
init(object(highway,74),value(at,(28,2))).
init(object(highway,75),value(at,(29,2))).
init(object(highway,76),value(at,(30,2))).
init(object(highway,77),value(at,(31,2))).
init(object(highway,78),value(at,(32,2))).
init(object(highway,79),value(at,(33,2))).
init(object(highway,80),value(at,(34,2))).
init(object(highway,81),value(at,(35,2))).
init(object(highway,82),value(at,(36,2))).
init(object(highway,83),value(at,(37,2))).
init(object(highway,84),value(at,(38,2))).
init(object(highway,85),value(at,(39,2))).
init(object(highway,86),value(at,(40,2))).
init(object(highway,87),value(at,(41,2))).
init(object(highway,88),value(at,(42,2))).
init(object(highway,89),value(at,(43,2))).
init(object(highway,90),value(at,(44,2))).
init(object(highway,91),value(at,(45,2))).
init(object(highway,92),value(at,(46,2))).
init(object(highway,93),value(at,(1,3))).
init(object(highway,102),value(at,(10,3))).
init(object(highway,111),value(at,(19,3))).
init(object(highway,120),value(at,(28,3))).
init(object(highway,129),value(at,(37,3))).
init(object(highway,138),value(at,(46,3))).
init(object(highway,139),value(at,(1,4))).
init(object(highway,148),value(at,(10,4))).
init(object(highway,157),value(at,(19,4))).
init(object(highway,166),value(at,(28,4))).
init(object(highway,175),value(at,(37,4))).
init(object(highway,184),value(at,(46,4))).
init(object(highway,185),value(at,(1,5))).
init(object(highway,186),value(at,(2,5))).
init(object(highway,187),value(at,(3,5))).
init(object(highway,188),value(at,(4,5))).
init(object(highway,189),value(at,(5,5))).
init(object(highway,190),value(at,(6,5))).
init(object(highway,191),value(at,(7,5))).
init(object(highway,192),value(at,(8,5))).
init(object(highway,193),value(at,(9,5))).
init(object(highway,194),value(at,(10,5))).
init(object(highway,195),value(at,(11,5))).
init(object(highway,196),value(at,(12,5))).
init(object(highway,197),value(at,(13,5))).
init(object(highway,198),value(at,(14,5))).
init(object(highway,199),value(at,(15,5))).
init(object(highway,200),value(at,(16,5))).
init(object(highway,201),value(at,(17,5))).
init(object(highway,202),value(at,(18,5))).
init(object(highway,203),value(at,(19,5))).
init(object(highway,204),value(at,(20,5))).
init(object(highway,205),value(at,(21,5))).
init(object(highway,206),value(at,(22,5))).
init(object(highway,207),value(at,(23,5))).
init(object(highway,208),value(at,(24,5))).
init(object(highway,209),value(at,(25,5))).
init(object(highway,210),value(at,(26,5))).
init(object(highway,211),value(at,(27,5))).
init(object(highway,212),value(at,(28,5))).
init(object(highway,213),value(at,(29,5))).
init(object(highway,214),value(at,(30,5))).
init(object(highway,215),value(at,(31,5))).
init(object(highway,216),value(at,(32,5))).
init(object(highway,217),value(at,(33,5))).
init(object(highway,218),value(at,(34,5))).
init(object(highway,219),value(at,(35,5))).
init(object(highway,220),value(at,(36,5))).
init(object(highway,221),value(at,(37,5))).
init(object(highway,222),value(at,(38,5))).
init(object(highway,223),value(at,(39,5))).
init(object(highway,224),value(at,(40,5))).
init(object(highway,225),value(at,(41,5))).
init(object(highway,226),value(at,(42,5))).
init(object(highway,227),value(at,(43,5))).
init(object(highway,228),value(at,(44,5))).
init(object(highway,229),value(at,(45,5))).
init(object(highway,230),value(at,(46,5))).
init(object(highway,231),value(at,(1,6))).
init(object(highway,240),value(at,(10,6))).
init(object(highway,249),value(at,(19,6))).
init(object(highway,258),value(at,(28,6))).
init(object(highway,267),value(at,(37,6))).
init(object(highway,276),value(at,(46,6))).
init(object(highway,277),value(at,(1,7))).
init(object(highway,286),value(at,(10,7))).
init(object(highway,295),value(at,(19,7))).
init(object(highway,304),value(at,(28,7))).
init(object(highway,313),value(at,(37,7))).
init(object(highway,322),value(at,(46,7))).
init(object(highway,323),value(at,(1,8))).
init(object(highway,324),value(at,(2,8))).
init(object(highway,325),value(at,(3,8))).
init(object(highway,326),value(at,(4,8))).
init(object(highway,327),value(at,(5,8))).
init(object(highway,328),value(at,(6,8))).
init(object(highway,329),value(at,(7,8))).
init(object(highway,330),value(at,(8,8))).
init(object(highway,331),value(at,(9,8))).
init(object(highway,332),value(at,(10,8))).
init(object(highway,333),value(at,(11,8))).
init(object(highway,334),value(at,(12,8))).
init(object(highway,335),value(at,(13,8))).
init(object(highway,336),value(at,(14,8))).
init(object(highway,337),value(at,(15,8))).
init(object(highway,338),value(at,(16,8))).
init(object(highway,339),value(at,(17,8))).
init(object(highway,340),value(at,(18,8))).
init(object(highway,341),value(at,(19,8))).
init(object(highway,342),value(at,(20,8))).
init(object(highway,343),value(at,(21,8))).
init(object(highway,344),value(at,(22,8))).
init(object(highway,345),value(at,(23,8))).
init(object(highway,346),value(at,(24,8))).
init(object(highway,347),value(at,(25,8))).
init(object(highway,348),value(at,(26,8))).
init(object(highway,349),value(at,(27,8))).
init(object(highway,350),value(at,(28,8))).
init(object(highway,351),value(at,(29,8))).
init(object(highway,352),value(at,(30,8))).
init(object(highway,353),value(at,(31,8))).
init(object(highway,354),value(at,(32,8))).
init(object(highway,355),value(at,(33,8))).
init(object(highway,356),value(at,(34,8))).
init(object(highway,357),value(at,(35,8))).
init(object(highway,358),value(at,(36,8))).
init(object(highway,359),value(at,(37,8))).
init(object(highway,360),value(at,(38,8))).
init(object(highway,361),value(at,(39,8))).
init(object(highway,362),value(at,(40,8))).
init(object(highway,363),value(at,(41,8))).
init(object(highway,364),value(at,(42,8))).
init(object(highway,365),value(at,(43,8))).
init(object(highway,366),value(at,(44,8))).
init(object(highway,367),value(at,(45,8))).
init(object(highway,368),value(at,(46,8))).
init(object(highway,369),value(at,(1,9))).
init(object(highway,378),value(at,(10,9))).
init(object(highway,387),value(at,(19,9))).
init(object(highway,396),value(at,(28,9))).
init(object(highway,405),value(at,(37,9))).
init(object(highway,414),value(at,(46,9))).
init(object(highway,415),value(at,(1,10))).
init(object(highway,424),value(at,(10,10))).
init(object(highway,433),value(at,(19,10))).
init(object(highway,442),value(at,(28,10))).
init(object(highway,451),value(at,(37,10))).
init(object(highway,460),value(at,(46,10))).
init(object(highway,461),value(at,(1,11))).
init(object(highway,462),value(at,(2,11))).
init(object(highway,463),value(at,(3,11))).
init(object(highway,464),value(at,(4,11))).
init(object(highway,465),value(at,(5,11))).
init(object(highway,466),value(at,(6,11))).
init(object(highway,467),value(at,(7,11))).
init(object(highway,468),value(at,(8,11))).
init(object(highway,469),value(at,(9,11))).
init(object(highway,470),value(at,(10,11))).
init(object(highway,471),value(at,(11,11))).
init(object(highway,472),value(at,(12,11))).
init(object(highway,473),value(at,(13,11))).
init(object(highway,474),value(at,(14,11))).
init(object(highway,475),value(at,(15,11))).
init(object(highway,476),value(at,(16,11))).
init(object(highway,477),value(at,(17,11))).
init(object(highway,478),value(at,(18,11))).
init(object(highway,479),value(at,(19,11))).
init(object(highway,480),value(at,(20,11))).
init(object(highway,481),value(at,(21,11))).
init(object(highway,482),value(at,(22,11))).
init(object(highway,483),value(at,(23,11))).
init(object(highway,484),value(at,(24,11))).
init(object(highway,485),value(at,(25,11))).
init(object(highway,486),value(at,(26,11))).
init(object(highway,487),value(at,(27,11))).
init(object(highway,488),value(at,(28,11))).
init(object(highway,489),value(at,(29,11))).
init(object(highway,490),value(at,(30,11))).
init(object(highway,491),value(at,(31,11))).
init(object(highway,492),value(at,(32,11))).
init(object(highway,493),value(at,(33,11))).
init(object(highway,494),value(at,(34,11))).
init(object(highway,495),value(at,(35,11))).
init(object(highway,496),value(at,(36,11))).
init(object(highway,497),value(at,(37,11))).
init(object(highway,498),value(at,(38,11))).
init(object(highway,499),value(at,(39,11))).
init(object(highway,500),value(at,(40,11))).
init(object(highway,501),value(at,(41,11))).
init(object(highway,502),value(at,(42,11))).
init(object(highway,503),value(at,(43,11))).
init(object(highway,504),value(at,(44,11))).
init(object(highway,505),value(at,(45,11))).
init(object(highway,506),value(at,(46,11))).
init(object(highway,507),value(at,(1,12))).
init(object(highway,516),value(at,(10,12))).
init(object(highway,525),value(at,(19,12))).
init(object(highway,534),value(at,(28,12))).
init(object(highway,543),value(at,(37,12))).
init(object(highway,552),value(at,(46,12))).
init(object(highway,553),value(at,(1,13))).
init(object(highway,562),value(at,(10,13))).
init(object(highway,571),value(at,(19,13))).
init(object(highway,580),value(at,(28,13))).
init(object(highway,589),value(at,(37,13))).
init(object(highway,598),value(at,(46,13))).
init(object(highway,599),value(at,(1,14))).
init(object(highway,600),value(at,(2,14))).
init(object(highway,601),value(at,(3,14))).
init(object(highway,602),value(at,(4,14))).
init(object(highway,603),value(at,(5,14))).
init(object(highway,604),value(at,(6,14))).
init(object(highway,605),value(at,(7,14))).
init(object(highway,606),value(at,(8,14))).
init(object(highway,607),value(at,(9,14))).
init(object(highway,608),value(at,(10,14))).
init(object(highway,609),value(at,(11,14))).
init(object(highway,610),value(at,(12,14))).
init(object(highway,611),value(at,(13,14))).
init(object(highway,612),value(at,(14,14))).
init(object(highway,613),value(at,(15,14))).
init(object(highway,614),value(at,(16,14))).
init(object(highway,615),value(at,(17,14))).
init(object(highway,616),value(at,(18,14))).
init(object(highway,617),value(at,(19,14))).
init(object(highway,618),value(at,(20,14))).
init(object(highway,619),value(at,(21,14))).
init(object(highway,620),value(at,(22,14))).
init(object(highway,621),value(at,(23,14))).
init(object(highway,622),value(at,(24,14))).
init(object(highway,623),value(at,(25,14))).
init(object(highway,624),value(at,(26,14))).
init(object(highway,625),value(at,(27,14))).
init(object(highway,626),value(at,(28,14))).
init(object(highway,627),value(at,(29,14))).
init(object(highway,628),value(at,(30,14))).
init(object(highway,629),value(at,(31,14))).
init(object(highway,630),value(at,(32,14))).
init(object(highway,631),value(at,(33,14))).
init(object(highway,632),value(at,(34,14))).
init(object(highway,633),value(at,(35,14))).
init(object(highway,634),value(at,(36,14))).
init(object(highway,635),value(at,(37,14))).
init(object(highway,636),value(at,(38,14))).
init(object(highway,637),value(at,(39,14))).
init(object(highway,638),value(at,(40,14))).
init(object(highway,639),value(at,(41,14))).
init(object(highway,640),value(at,(42,14))).
init(object(highway,641),value(at,(43,14))).
init(object(highway,642),value(at,(44,14))).
init(object(highway,643),value(at,(45,14))).
init(object(highway,644),value(at,(46,14))).
init(object(highway,655),value(at,(11,15))).
init(object(highway,656),value(at,(12,15))).
init(object(highway,657),value(at,(13,15))).
init(object(highway,658),value(at,(14,15))).
init(object(highway,659),value(at,(15,15))).
init(object(highway,660),value(at,(16,15))).
init(object(highway,661),value(at,(17,15))).
init(object(highway,662),value(at,(18,15))).
init(object(highway,663),value(at,(19,15))).
init(object(highway,664),value(at,(20,15))).
init(object(highway,665),value(at,(21,15))).
init(object(highway,666),value(at,(22,15))).
init(object(highway,667),value(at,(23,15))).
init(object(highway,668),value(at,(24,15))).
init(object(highway,669),value(at,(25,15))).
init(object(highway,670),value(at,(26,15))).
init(object(highway,671),value(at,(27,15))).
init(object(highway,672),value(at,(28,15))).
init(object(highway,673),value(at,(29,15))).
init(object(highway,674),value(at,(30,15))).
init(object(highway,675),value(at,(31,15))).
init(object(highway,676),value(at,(32,15))).
init(object(highway,677),value(at,(33,15))).
init(object(highway,678),value(at,(34,15))).
init(object(highway,679),value(at,(35,15))).
init(object(highway,680),value(at,(36,15))).
init(object(highway,681),value(at,(37,15))).
init(object(highway,682),value(at,(38,15))).
init(object(highway,683),value(at,(39,15))).
init(object(highway,684),value(at,(40,15))).
init(object(highway,685),value(at,(41,15))).
init(object(highway,686),value(at,(42,15))).
init(object(highway,687),value(at,(43,15))).
init(object(highway,688),value(at,(44,15))).
init(object(highway,689),value(at,(45,15))).
init(object(highway,690),value(at,(46,15))).
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,(31,1))).
init(object(node,32),value(at,(32,1))).
init(object(node,33),value(at,(33,1))).
init(object(node,34),value(at,(34,1))).
init(object(node,35),value(at,(35,1))).
init(object(node,36),value(at,(36,1))).
init(object(node,37),value(at,(37,1))).
init(object(node,38),value(at,(38,1))).
init(object(node,39),value(at,(39,1))).
init(object(node,40),value(at,(40,1))).
init(object(node,41),value(at,(41,1))).
init(object(node,42),value(at,(42,1))).
init(object(node,43),value(at,(43,1))).
init(object(node,44),value(at,(44,1))).
init(object(node,45),value(at,(45,1))).
init(object(node,46),value(at,(46,1))).
init(object(node,47),value(at,(1,2))).
init(object(node,48),value(at,(2,2))).
init(object(node,49),value(at,(3,2))).
init(object(node,50),value(at,(4,2))).
init(object(node,51),value(at,(5,2))).
init(object(node,52),value(at,(6,2))).
init(object(node,53),value(at,(7,2))).
init(object(node,54),value(at,(8,2))).
init(object(node,55),value(at,(9,2))).
init(object(node,56),value(at,(10,2))).
init(object(node,57),value(at,(11,2))).
init(object(node,58),value(at,(12,2))).
init(object(node,59),value(at,(13,2))).
init(object(node,60),value(at,(14,2))).
init(object(node,61),value(at,(15,2))).
init(object(node,62),value(at,(16,2))).
init(object(node,63),value(at,(17,2))).
init(object(node,64),value(at,(18,2))).
init(object(node,65),value(at,(19,2))).
init(object(node,66),value(at,(20,2))).
init(object(node,67),value(at,(21,2))).
init(object(node,68),value(at,(22,2))).
init(object(node,69),value(at,(23,2))).
init(object(node,70),value(at,(24,2))).
init(object(node,71),value(at,(25,2))).
init(object(node,72),value(at,(26,2))).
init(object(node,73),value(at,(27,2))).
init(object(node,74),value(at,(28,2))).
init(object(node,75),value(at,(29,2))).
init(object(node,76),value(at,(30,2))).
init(object(node,77),value(at,(31,2))).
init(object(node,78),value(at,(32,2))).
init(object(node,79),value(at,(33,2))).
init(object(node,80),value(at,(34,2))).
init(object(node,81),value(at,(35,2))).
init(object(node,82),value(at,(36,2))).
init(object(node,83),value(at,(37,2))).
init(object(node,84),value(at,(38,2))).
init(object(node,85),value(at,(39,2))).
init(object(node,86),value(at,(40,2))).
init(object(node,87),value(at,(41,2))).
init(object(node,88),value(at,(42,2))).
init(object(node,89),value(at,(43,2))).
init(object(node,90),value(at,(44,2))).
init(object(node,91),value(at,(45,2))).
init(object(node,92),value(at,(46,2))).
init(object(node,93),value(at,(1,3))).
init(object(node,94),value(at,(2,3))).
init(object(node,95),value(at,(3,3))).
init(object(node,96),value(at,(4,3))).
init(object(node,97),value(at,(5,3))).
init(object(node,98),value(at,(6,3))).
init(object(node,99),value(at,(7,3))).
init(object(node,100),value(at,(8,3))).
init(object(node,101),value(at,(9,3))).
init(object(node,102),value(at,(10,3))).
init(object(node,103),value(at,(11,3))).
init(object(node,104),value(at,(12,3))).
init(object(node,105),value(at,(13,3))).
init(object(node,106),value(at,(14,3))).
init(object(node,107),value(at,(15,3))).
init(object(node,108),value(at,(16,3))).
init(object(node,109),value(at,(17,3))).
init(object(node,110),value(at,(18,3))).
init(object(node,111),value(at,(19,3))).
init(object(node,112),value(at,(20,3))).
init(object(node,113),value(at,(21,3))).
init(object(node,114),value(at,(22,3))).
init(object(node,115),value(at,(23,3))).
init(object(node,116),value(at,(24,3))).
init(object(node,117),value(at,(25,3))).
init(object(node,118),value(at,(26,3))).
init(object(node,119),value(at,(27,3))).
init(object(node,120),value(at,(28,3))).
init(object(node,121),value(at,(29,3))).
init(object(node,122),value(at,(30,3))).
init(object(node,123),value(at,(31,3))).
init(object(node,124),value(at,(32,3))).
init(object(node,125),value(at,(33,3))).
init(object(node,126),value(at,(34,3))).
init(object(node,127),value(at,(35,3))).
init(object(node,128),value(at,(36,3))).
init(object(node,129),value(at,(37,3))).
init(object(node,130),value(at,(38,3))).
init(object(node,131),value(at,(39,3))).
init(object(node,132),value(at,(40,3))).
init(object(node,133),value(at,(41,3))).
init(object(node,134),value(at,(42,3))).
init(object(node,135),value(at,(43,3))).
init(object(node,136),value(at,(44,3))).
init(object(node,137),value(at,(45,3))).
init(object(node,138),value(at,(46,3))).
init(object(node,139),value(at,(1,4))).
init(object(node,140),value(at,(2,4))).
init(object(node,141),value(at,(3,4))).
init(object(node,142),value(at,(4,4))).
init(object(node,143),value(at,(5,4))).
init(object(node,144),value(at,(6,4))).
init(object(node,145),value(at,(7,4))).
init(object(node,146),value(at,(8,4))).
init(object(node,147),value(at,(9,4))).
init(object(node,148),value(at,(10,4))).
init(object(node,149),value(at,(11,4))).
init(object(node,150),value(at,(12,4))).
init(object(node,151),value(at,(13,4))).
init(object(node,152),value(at,(14,4))).
init(object(node,153),value(at,(15,4))).
init(object(node,154),value(at,(16,4))).
init(object(node,155),value(at,(17,4))).
init(object(node,156),value(at,(18,4))).
init(object(node,157),value(at,(19,4))).
init(object(node,158),value(at,(20,4))).
init(object(node,159),value(at,(21,4))).
init(object(node,160),value(at,(22,4))).
init(object(node,161),value(at,(23,4))).
init(object(node,162),value(at,(24,4))).
init(object(node,163),value(at,(25,4))).
init(object(node,164),value(at,(26,4))).
init(object(node,165),value(at,(27,4))).
init(object(node,166),value(at,(28,4))).
init(object(node,167),value(at,(29,4))).
init(object(node,168),value(at,(30,4))).
init(object(node,169),value(at,(31,4))).
init(object(node,170),value(at,(32,4))).
init(object(node,171),value(at,(33,4))).
init(object(node,172),value(at,(34,4))).
init(object(node,173),value(at,(35,4))).
init(object(node,174),value(at,(36,4))).
init(object(node,175),value(at,(37,4))).
init(object(node,176),value(at,(38,4))).
init(object(node,177),value(at,(39,4))).
init(object(node,178),value(at,(40,4))).
init(object(node,179),value(at,(41,4))).
init(object(node,180),value(at,(42,4))).
init(object(node,181),value(at,(43,4))).
init(object(node,182),value(at,(44,4))).
init(object(node,183),value(at,(45,4))).
init(object(node,184),value(at,(46,4))).
init(object(node,185),value(at,(1,5))).
init(object(node,186),value(at,(2,5))).
init(object(node,187),value(at,(3,5))).
init(object(node,188),value(at,(4,5))).
init(object(node,189),value(at,(5,5))).
init(object(node,190),value(at,(6,5))).
init(object(node,191),value(at,(7,5))).
init(object(node,192),value(at,(8,5))).
init(object(node,193),value(at,(9,5))).
init(object(node,194),value(at,(10,5))).
init(object(node,195),value(at,(11,5))).
init(object(node,196),value(at,(12,5))).
init(object(node,197),value(at,(13,5))).
init(object(node,198),value(at,(14,5))).
init(object(node,199),value(at,(15,5))).
init(object(node,200),value(at,(16,5))).
init(object(node,201),value(at,(17,5))).
init(object(node,202),value(at,(18,5))).
init(object(node,203),value(at,(19,5))).
init(object(node,204),value(at,(20,5))).
init(object(node,205),value(at,(21,5))).
init(object(node,206),value(at,(22,5))).
init(object(node,207),value(at,(23,5))).
init(object(node,208),value(at,(24,5))).
init(object(node,209),value(at,(25,5))).
init(object(node,210),value(at,(26,5))).
init(object(node,211),value(at,(27,5))).
init(object(node,212),value(at,(28,5))).
init(object(node,213),value(at,(29,5))).
init(object(node,214),value(at,(30,5))).
init(object(node,215),value(at,(31,5))).
init(object(node,216),value(at,(32,5))).
init(object(node,217),value(at,(33,5))).
init(object(node,218),value(at,(34,5))).
init(object(node,219),value(at,(35,5))).
init(object(node,220),value(at,(36,5))).
init(object(node,221),value(at,(37,5))).
init(object(node,222),value(at,(38,5))).
init(object(node,223),value(at,(39,5))).
init(object(node,224),value(at,(40,5))).
init(object(node,225),value(at,(41,5))).
init(object(node,226),value(at,(42,5))).
init(object(node,227),value(at,(43,5))).
init(object(node,228),value(at,(44,5))).
init(object(node,229),value(at,(45,5))).
init(object(node,230),value(at,(46,5))).
init(object(node,231),value(at,(1,6))).
init(object(node,232),value(at,(2,6))).
init(object(node,233),value(at,(3,6))).
init(object(node,234),value(at,(4,6))).
init(object(node,235),value(at,(5,6))).
init(object(node,236),value(at,(6,6))).
init(object(node,237),value(at,(7,6))).
init(object(node,238),value(at,(8,6))).
init(object(node,239),value(at,(9,6))).
init(object(node,240),value(at,(10,6))).
init(object(node,241),value(at,(11,6))).
init(object(node,242),value(at,(12,6))).
init(object(node,243),value(at,(13,6))).
init(object(node,244),value(at,(14,6))).
init(object(node,245),value(at,(15,6))).
init(object(node,246),value(at,(16,6))).
init(object(node,247),value(at,(17,6))).
init(object(node,248),value(at,(18,6))).
init(object(node,249),value(at,(19,6))).
init(object(node,250),value(at,(20,6))).
init(object(node,251),value(at,(21,6))).
init(object(node,252),value(at,(22,6))).
init(object(node,253),value(at,(23,6))).
init(object(node,254),value(at,(24,6))).
init(object(node,255),value(at,(25,6))).
init(object(node,256),value(at,(26,6))).
init(object(node,257),value(at,(27,6))).
init(object(node,258),value(at,(28,6))).
init(object(node,259),value(at,(29,6))).
init(object(node,260),value(at,(30,6))).
init(object(node,261),value(at,(31,6))).
init(object(node,262),value(at,(32,6))).
init(object(node,263),value(at,(33,6))).
init(object(node,264),value(at,(34,6))).
init(object(node,265),value(at,(35,6))).
init(object(node,266),value(at,(36,6))).
init(object(node,267),value(at,(37,6))).
init(object(node,268),value(at,(38,6))).
init(object(node,269),value(at,(39,6))).
init(object(node,270),value(at,(40,6))).
init(object(node,271),value(at,(41,6))).
init(object(node,272),value(at,(42,6))).
init(object(node,273),value(at,(43,6))).
init(object(node,274),value(at,(44,6))).
init(object(node,275),value(at,(45,6))).
init(object(node,276),value(at,(46,6))).
init(object(node,277),value(at,(1,7))).
init(object(node,278),value(at,(2,7))).
init(object(node,279),value(at,(3,7))).
init(object(node,280),value(at,(4,7))).
init(object(node,281),value(at,(5,7))).
init(object(node,282),value(at,(6,7))).
init(object(node,283),value(at,(7,7))).
init(object(node,284),value(at,(8,7))).
init(object(node,285),value(at,(9,7))).
init(object(node,286),value(at,(10,7))).
init(object(node,287),value(at,(11,7))).
init(object(node,288),value(at,(12,7))).
init(object(node,289),value(at,(13,7))).
init(object(node,290),value(at,(14,7))).
init(object(node,291),value(at,(15,7))).
init(object(node,292),value(at,(16,7))).
init(object(node,293),value(at,(17,7))).
init(object(node,294),value(at,(18,7))).
init(object(node,295),value(at,(19,7))).
init(object(node,296),value(at,(20,7))).
init(object(node,297),value(at,(21,7))).
init(object(node,298),value(at,(22,7))).
init(object(node,299),value(at,(23,7))).
init(object(node,300),value(at,(24,7))).
init(object(node,301),value(at,(25,7))).
init(object(node,302),value(at,(26,7))).
init(object(node,303),value(at,(27,7))).
init(object(node,304),value(at,(28,7))).
init(object(node,305),value(at,(29,7))).
init(object(node,306),value(at,(30,7))).
init(object(node,307),value(at,(31,7))).
init(object(node,308),value(at,(32,7))).
init(object(node,309),value(at,(33,7))).
init(object(node,310),value(at,(34,7))).
init(object(node,311),value(at,(35,7))).
init(object(node,312),value(at,(36,7))).
init(object(node,313),value(at,(37,7))).
init(object(node,314),value(at,(38,7))).
init(object(node,315),value(at,(39,7))).
init(object(node,316),value(at,(40,7))).
init(object(node,317),value(at,(41,7))).
init(object(node,318),value(at,(42,7))).
init(object(node,319),value(at,(43,7))).
init(object(node,320),value(at,(44,7))).
init(object(node,321),value(at,(45,7))).
init(object(node,322),value(at,(46,7))).
init(object(node,323),value(at,(1,8))).
init(object(node,324),value(at,(2,8))).
init(object(node,325),value(at,(3,8))).
init(object(node,326),value(at,(4,8))).
init(object(node,327),value(at,(5,8))).
init(object(node,328),value(at,(6,8))).
init(object(node,329),value(at,(7,8))).
init(object(node,330),value(at,(8,8))).
init(object(node,331),value(at,(9,8))).
init(object(node,332),value(at,(10,8))).
init(object(node,333),value(at,(11,8))).
init(object(node,334),value(at,(12,8))).
init(object(node,335),value(at,(13,8))).
init(object(node,336),value(at,(14,8))).
init(object(node,337),value(at,(15,8))).
init(object(node,338),value(at,(16,8))).
init(object(node,339),value(at,(17,8))).
init(object(node,340),value(at,(18,8))).
init(object(node,341),value(at,(19,8))).
init(object(node,342),value(at,(20,8))).
init(object(node,343),value(at,(21,8))).
init(object(node,344),value(at,(22,8))).
init(object(node,345),value(at,(23,8))).
init(object(node,346),value(at,(24,8))).
init(object(node,347),value(at,(25,8))).
init(object(node,348),value(at,(26,8))).
init(object(node,349),value(at,(27,8))).
init(object(node,350),value(at,(28,8))).
init(object(node,351),value(at,(29,8))).
init(object(node,352),value(at,(30,8))).
init(object(node,353),value(at,(31,8))).
init(object(node,354),value(at,(32,8))).
init(object(node,355),value(at,(33,8))).
init(object(node,356),value(at,(34,8))).
init(object(node,357),value(at,(35,8))).
init(object(node,358),value(at,(36,8))).
init(object(node,359),value(at,(37,8))).
init(object(node,360),value(at,(38,8))).
init(object(node,361),value(at,(39,8))).
init(object(node,362),value(at,(40,8))).
init(object(node,363),value(at,(41,8))).
init(object(node,364),value(at,(42,8))).
init(object(node,365),value(at,(43,8))).
init(object(node,366),value(at,(44,8))).
init(object(node,367),value(at,(45,8))).
init(object(node,368),value(at,(46,8))).
init(object(node,369),value(at,(1,9))).
init(object(node,370),value(at,(2,9))).
init(object(node,371),value(at,(3,9))).
init(object(node,372),value(at,(4,9))).
init(object(node,373),value(at,(5,9))).
init(object(node,374),value(at,(6,9))).
init(object(node,375),value(at,(7,9))).
init(object(node,376),value(at,(8,9))).
init(object(node,377),value(at,(9,9))).
init(object(node,378),value(at,(10,9))).
init(object(node,379),value(at,(11,9))).
init(object(node,380),value(at,(12,9))).
init(object(node,381),value(at,(13,9))).
init(object(node,382),value(at,(14,9))).
init(object(node,383),value(at,(15,9))).
init(object(node,384),value(at,(16,9))).
init(object(node,385),value(at,(17,9))).
init(object(node,386),value(at,(18,9))).
init(object(node,387),value(at,(19,9))).
init(object(node,388),value(at,(20,9))).
init(object(node,389),value(at,(21,9))).
init(object(node,390),value(at,(22,9))).
init(object(node,391),value(at,(23,9))).
init(object(node,392),value(at,(24,9))).
init(object(node,393),value(at,(25,9))).
init(object(node,394),value(at,(26,9))).
init(object(node,395),value(at,(27,9))).
init(object(node,396),value(at,(28,9))).
init(object(node,397),value(at,(29,9))).
init(object(node,398),value(at,(30,9))).
init(object(node,399),value(at,(31,9))).
init(object(node,400),value(at,(32,9))).
init(object(node,401),value(at,(33,9))).
init(object(node,402),value(at,(34,9))).
init(object(node,403),value(at,(35,9))).
init(object(node,404),value(at,(36,9))).
init(object(node,405),value(at,(37,9))).
init(object(node,406),value(at,(38,9))).
init(object(node,407),value(at,(39,9))).
init(object(node,408),value(at,(40,9))).
init(object(node,409),value(at,(41,9))).
init(object(node,410),value(at,(42,9))).
init(object(node,411),value(at,(43,9))).
init(object(node,412),value(at,(44,9))).
init(object(node,413),value(at,(45,9))).
init(object(node,414),value(at,(46,9))).
init(object(node,415),value(at,(1,10))).
init(object(node,416),value(at,(2,10))).
init(object(node,417),value(at,(3,10))).
init(object(node,418),value(at,(4,10))).
init(object(node,419),value(at,(5,10))).
init(object(node,420),value(at,(6,10))).
init(object(node,421),value(at,(7,10))).
init(object(node,422),value(at,(8,10))).
init(object(node,423),value(at,(9,10))).
init(object(node,424),value(at,(10,10))).
init(object(node,425),value(at,(11,10))).
init(object(node,426),value(at,(12,10))).
init(object(node,427),value(at,(13,10))).
init(object(node,428),value(at,(14,10))).
init(object(node,429),value(at,(15,10))).
init(object(node,430),value(at,(16,10))).
init(object(node,431),value(at,(17,10))).
init(object(node,432),value(at,(18,10))).
init(object(node,433),value(at,(19,10))).
init(object(node,434),value(at,(20,10))).
init(object(node,435),value(at,(21,10))).
init(object(node,436),value(at,(22,10))).
init(object(node,437),value(at,(23,10))).
init(object(node,438),value(at,(24,10))).
init(object(node,439),value(at,(25,10))).
init(object(node,440),value(at,(26,10))).
init(object(node,441),value(at,(27,10))).
init(object(node,442),value(at,(28,10))).
init(object(node,443),value(at,(29,10))).
init(object(node,444),value(at,(30,10))).
init(object(node,445),value(at,(31,10))).
init(object(node,446),value(at,(32,10))).
init(object(node,447),value(at,(33,10))).
init(object(node,448),value(at,(34,10))).
init(object(node,449),value(at,(35,10))).
init(object(node,450),value(at,(36,10))).
init(object(node,451),value(at,(37,10))).
init(object(node,452),value(at,(38,10))).
init(object(node,453),value(at,(39,10))).
init(object(node,454),value(at,(40,10))).
init(object(node,455),value(at,(41,10))).
init(object(node,456),value(at,(42,10))).
init(object(node,457),value(at,(43,10))).
init(object(node,458),value(at,(44,10))).
init(object(node,459),value(at,(45,10))).
init(object(node,460),value(at,(46,10))).
init(object(node,461),value(at,(1,11))).
init(object(node,462),value(at,(2,11))).
init(object(node,463),value(at,(3,11))).
init(object(node,464),value(at,(4,11))).
init(object(node,465),value(at,(5,11))).
init(object(node,466),value(at,(6,11))).
init(object(node,467),value(at,(7,11))).
init(object(node,468),value(at,(8,11))).
init(object(node,469),value(at,(9,11))).
init(object(node,470),value(at,(10,11))).
init(object(node,471),value(at,(11,11))).
init(object(node,472),value(at,(12,11))).
init(object(node,473),value(at,(13,11))).
init(object(node,474),value(at,(14,11))).
init(object(node,475),value(at,(15,11))).
init(object(node,476),value(at,(16,11))).
init(object(node,477),value(at,(17,11))).
init(object(node,478),value(at,(18,11))).
init(object(node,479),value(at,(19,11))).
init(object(node,480),value(at,(20,11))).
init(object(node,481),value(at,(21,11))).
init(object(node,482),value(at,(22,11))).
init(object(node,483),value(at,(23,11))).
init(object(node,484),value(at,(24,11))).
init(object(node,485),value(at,(25,11))).
init(object(node,486),value(at,(26,11))).
init(object(node,487),value(at,(27,11))).
init(object(node,488),value(at,(28,11))).
init(object(node,489),value(at,(29,11))).
init(object(node,490),value(at,(30,11))).
init(object(node,491),value(at,(31,11))).
init(object(node,492),value(at,(32,11))).
init(object(node,493),value(at,(33,11))).
init(object(node,494),value(at,(34,11))).
init(object(node,495),value(at,(35,11))).
init(object(node,496),value(at,(36,11))).
init(object(node,497),value(at,(37,11))).
init(object(node,498),value(at,(38,11))).
init(object(node,499),value(at,(39,11))).
init(object(node,500),value(at,(40,11))).
init(object(node,501),value(at,(41,11))).
init(object(node,502),value(at,(42,11))).
init(object(node,503),value(at,(43,11))).
init(object(node,504),value(at,(44,11))).
init(object(node,505),value(at,(45,11))).
init(object(node,506),value(at,(46,11))).
init(object(node,507),value(at,(1,12))).
init(object(node,508),value(at,(2,12))).
init(object(node,509),value(at,(3,12))).
init(object(node,510),value(at,(4,12))).
init(object(node,511),value(at,(5,12))).
init(object(node,512),value(at,(6,12))).
init(object(node,513),value(at,(7,12))).
init(object(node,514),value(at,(8,12))).
init(object(node,515),value(at,(9,12))).
init(object(node,516),value(at,(10,12))).
init(object(node,517),value(at,(11,12))).
init(object(node,518),value(at,(12,12))).
init(object(node,519),value(at,(13,12))).
init(object(node,520),value(at,(14,12))).
init(object(node,521),value(at,(15,12))).
init(object(node,522),value(at,(16,12))).
init(object(node,523),value(at,(17,12))).
init(object(node,524),value(at,(18,12))).
init(object(node,525),value(at,(19,12))).
init(object(node,526),value(at,(20,12))).
init(object(node,527),value(at,(21,12))).
init(object(node,528),value(at,(22,12))).
init(object(node,529),value(at,(23,12))).
init(object(node,530),value(at,(24,12))).
init(object(node,531),value(at,(25,12))).
init(object(node,532),value(at,(26,12))).
init(object(node,533),value(at,(27,12))).
init(object(node,534),value(at,(28,12))).
init(object(node,535),value(at,(29,12))).
init(object(node,536),value(at,(30,12))).
init(object(node,537),value(at,(31,12))).
init(object(node,538),value(at,(32,12))).
init(object(node,539),value(at,(33,12))).
init(object(node,540),value(at,(34,12))).
init(object(node,541),value(at,(35,12))).
init(object(node,542),value(at,(36,12))).
init(object(node,543),value(at,(37,12))).
init(object(node,544),value(at,(38,12))).
init(object(node,545),value(at,(39,12))).
init(object(node,546),value(at,(40,12))).
init(object(node,547),value(at,(41,12))).
init(object(node,548),value(at,(42,12))).
init(object(node,549),value(at,(43,12))).
init(object(node,550),value(at,(44,12))).
init(object(node,551),value(at,(45,12))).
init(object(node,552),value(at,(46,12))).
init(object(node,553),value(at,(1,13))).
init(object(node,554),value(at,(2,13))).
init(object(node,555),value(at,(3,13))).
init(object(node,556),value(at,(4,13))).
init(object(node,557),value(at,(5,13))).
init(object(node,558),value(at,(6,13))).
init(object(node,559),value(at,(7,13))).
init(object(node,560),value(at,(8,13))).
init(object(node,561),value(at,(9,13))).
init(object(node,562),value(at,(10,13))).
init(object(node,563),value(at,(11,13))).
init(object(node,564),value(at,(12,13))).
init(object(node,565),value(at,(13,13))).
init(object(node,566),value(at,(14,13))).
init(object(node,567),value(at,(15,13))).
init(object(node,568),value(at,(16,13))).
init(object(node,569),value(at,(17,13))).
init(object(node,570),value(at,(18,13))).
init(object(node,571),value(at,(19,13))).
init(object(node,572),value(at,(20,13))).
init(object(node,573),value(at,(21,13))).
init(object(node,574),value(at,(22,13))).
init(object(node,575),value(at,(23,13))).
init(object(node,576),value(at,(24,13))).
init(object(node,577),value(at,(25,13))).
init(object(node,578),value(at,(26,13))).
init(object(node,579),value(at,(27,13))).
init(object(node,580),value(at,(28,13))).
init(object(node,581),value(at,(29,13))).
init(object(node,582),value(at,(30,13))).
init(object(node,583),value(at,(31,13))).
init(object(node,584),value(at,(32,13))).
init(object(node,585),value(at,(33,13))).
init(object(node,586),value(at,(34,13))).
init(object(node,587),value(at,(35,13))).
init(object(node,588),value(at,(36,13))).
init(object(node,589),value(at,(37,13))).
init(object(node,590),value(at,(38,13))).
init(object(node,591),value(at,(39,13))).
init(object(node,592),value(at,(40,13))).
init(object(node,593),value(at,(41,13))).
init(object(node,594),value(at,(42,13))).
init(object(node,595),value(at,(43,13))).
init(object(node,596),value(at,(44,13))).
init(object(node,597),value(at,(45,13))).
init(object(node,598),value(at,(46,13))).
init(object(node,599),value(at,(1,14))).
init(object(node,600),value(at,(2,14))).
init(object(node,601),value(at,(3,14))).
init(object(node,602),value(at,(4,14))).
init(object(node,603),value(at,(5,14))).
init(object(node,604),value(at,(6,14))).
init(object(node,605),value(at,(7,14))).
init(object(node,606),value(at,(8,14))).
init(object(node,607),value(at,(9,14))).
init(object(node,608),value(at,(10,14))).
init(object(node,609),value(at,(11,14))).
init(object(node,610),value(at,(12,14))).
init(object(node,611),value(at,(13,14))).
init(object(node,612),value(at,(14,14))).
init(object(node,613),value(at,(15,14))).
init(object(node,614),value(at,(16,14))).
init(object(node,615),value(at,(17,14))).
init(object(node,616),value(at,(18,14))).
init(object(node,617),value(at,(19,14))).
init(object(node,618),value(at,(20,14))).
init(object(node,619),value(at,(21,14))).
init(object(node,620),value(at,(22,14))).
init(object(node,621),value(at,(23,14))).
init(object(node,622),value(at,(24,14))).
init(object(node,623),value(at,(25,14))).
init(object(node,624),value(at,(26,14))).