Statistics
| Branch: | Revision:

dimaptools / src / test / resources / deconfliction-a4.pre @ 126:242390b3f4be

History | View | Annotate | Download (18.2 KB)

1
begin_version
2
3
3
end_version
4
begin_metric
5
0
6
end_metric
7
13
8
begin_variable
9
var4
10
-1
11
2
12
Atom empty(f0x0f)
13
<none of those>
14
end_variable
15
begin_variable
16
var6
17
-1
18
2
19
Atom empty(f0x2f)
20
<none of those>
21
end_variable
22
begin_variable
23
var12
24
-1
25
2
26
Atom empty(f2x2f)
27
<none of those>
28
end_variable
29
begin_variable
30
var10
31
-1
32
2
33
Atom empty(f2x0f)
34
<none of those>
35
end_variable
36
begin_variable
37
var5
38
-1
39
2
40
Atom empty(f0x1f)
41
<none of those>
42
end_variable
43
begin_variable
44
var9
45
-1
46
2
47
Atom empty(f1x2f)
48
<none of those>
49
end_variable
50
begin_variable
51
var7
52
-1
53
2
54
Atom empty(f1x0f)
55
<none of those>
56
end_variable
57
begin_variable
58
var11
59
-1
60
2
61
Atom empty(f2x1f)
62
<none of those>
63
end_variable
64
begin_variable
65
var8
66
-1
67
2
68
Atom empty(f1x1f)
69
<none of those>
70
end_variable
71
begin_variable
72
var0
73
-1
74
9
75
Atom at(robot1, f0x0f)
76
Atom at(robot1, f0x1f)
77
Atom at(robot1, f0x2f)
78
Atom at(robot1, f1x0f)
79
Atom at(robot1, f1x1f)
80
Atom at(robot1, f1x2f)
81
Atom at(robot1, f2x0f)
82
Atom at(robot1, f2x1f)
83
Atom at(robot1, f2x2f)
84
end_variable
85
begin_variable
86
var1
87
-1
88
9
89
Atom at(robot2, f0x0f)
90
Atom at(robot2, f0x1f)
91
Atom at(robot2, f0x2f)
92
Atom at(robot2, f1x0f)
93
Atom at(robot2, f1x1f)
94
Atom at(robot2, f1x2f)
95
Atom at(robot2, f2x0f)
96
Atom at(robot2, f2x1f)
97
Atom at(robot2, f2x2f)
98
end_variable
99
begin_variable
100
var2
101
-1
102
9
103
Atom at(robot3, f0x0f)
104
Atom at(robot3, f0x1f)
105
Atom at(robot3, f0x2f)
106
Atom at(robot3, f1x0f)
107
Atom at(robot3, f1x1f)
108
Atom at(robot3, f1x2f)
109
Atom at(robot3, f2x0f)
110
Atom at(robot3, f2x1f)
111
Atom at(robot3, f2x2f)
112
end_variable
113
begin_variable
114
var3
115
-1
116
9
117
Atom at(robot4, f0x0f)
118
Atom at(robot4, f0x1f)
119
Atom at(robot4, f0x2f)
120
Atom at(robot4, f1x0f)
121
Atom at(robot4, f1x1f)
122
Atom at(robot4, f1x2f)
123
Atom at(robot4, f2x0f)
124
Atom at(robot4, f2x1f)
125
Atom at(robot4, f2x2f)
126
end_variable
127
9
128
begin_mutex_group
129
5
130
9 0
131
10 0
132
11 0
133
12 0
134
0 0
135
end_mutex_group
136
begin_mutex_group
137
5
138
9 1
139
10 1
140
11 1
141
12 1
142
4 0
143
end_mutex_group
144
begin_mutex_group
145
5
146
9 2
147
10 2
148
11 2
149
12 2
150
1 0
151
end_mutex_group
152
begin_mutex_group
153
5
154
9 3
155
10 3
156
11 3
157
12 3
158
6 0
159
end_mutex_group
160
begin_mutex_group
161
5
162
9 4
163
10 4
164
11 4
165
12 4
166
8 0
167
end_mutex_group
168
begin_mutex_group
169
5
170
9 5
171
10 5
172
11 5
173
12 5
174
5 0
175
end_mutex_group
176
begin_mutex_group
177
5
178
9 6
179
10 6
180
11 6
181
12 6
182
3 0
183
end_mutex_group
184
begin_mutex_group
185
5
186
9 7
187
10 7
188
11 7
189
12 7
190
7 0
191
end_mutex_group
192
begin_mutex_group
193
5
194
9 8
195
10 8
196
11 8
197
12 8
198
2 0
199
end_mutex_group
200
begin_state
201
0
202
0
203
0
204
0
205
1
206
1
207
1
208
1
209
0
210
1
211
3
212
7
213
5
214
end_state
215
begin_goal
216
4
217
9 7
218
10 5
219
11 1
220
12 3
221
end_goal
222
96
223
begin_operator
224
move robot1 f0x0f f0x1f
225
0
226
3
227
0 9 0 1
228
0 0 -1 0
229
0 4 0 1
230
0
231
end_operator
232
begin_operator
233
move robot1 f0x0f f1x0f
234
0
235
3
236
0 9 0 3
237
0 0 -1 0
238
0 6 0 1
239
0
240
end_operator
241
begin_operator
242
move robot1 f0x1f f0x0f
243
0
244
3
245
0 9 1 0
246
0 0 0 1
247
0 4 -1 0
248
0
249
end_operator
250
begin_operator
251
move robot1 f0x1f f0x2f
252
0
253
3
254
0 9 1 2
255
0 4 -1 0
256
0 1 0 1
257
0
258
end_operator
259
begin_operator
260
move robot1 f0x1f f1x1f
261
0
262
3
263
0 9 1 4
264
0 4 -1 0
265
0 8 0 1
266
0
267
end_operator
268
begin_operator
269
move robot1 f0x2f f0x1f
270
0
271
3
272
0 9 2 1
273
0 4 0 1
274
0 1 -1 0
275
0
276
end_operator
277
begin_operator
278
move robot1 f0x2f f1x2f
279
0
280
3
281
0 9 2 5
282
0 1 -1 0
283
0 5 0 1
284
0
285
end_operator
286
begin_operator
287
move robot1 f1x0f f0x0f
288
0
289
3
290
0 9 3 0
291
0 0 0 1
292
0 6 -1 0
293
0
294
end_operator
295
begin_operator
296
move robot1 f1x0f f1x1f
297
0
298
3
299
0 9 3 4
300
0 6 -1 0
301
0 8 0 1
302
0
303
end_operator
304
begin_operator
305
move robot1 f1x0f f2x0f
306
0
307
3
308
0 9 3 6
309
0 6 -1 0
310
0 3 0 1
311
0
312
end_operator
313
begin_operator
314
move robot1 f1x1f f0x1f
315
0
316
3
317
0 9 4 1
318
0 4 0 1
319
0 8 -1 0
320
0
321
end_operator
322
begin_operator
323
move robot1 f1x1f f1x0f
324
0
325
3
326
0 9 4 3
327
0 6 0 1
328
0 8 -1 0
329
0
330
end_operator
331
begin_operator
332
move robot1 f1x1f f1x2f
333
0
334
3
335
0 9 4 5
336
0 8 -1 0
337
0 5 0 1
338
0
339
end_operator
340
begin_operator
341
move robot1 f1x1f f2x1f
342
0
343
3
344
0 9 4 7
345
0 8 -1 0
346
0 7 0 1
347
0
348
end_operator
349
begin_operator
350
move robot1 f1x2f f0x2f
351
0
352
3
353
0 9 5 2
354
0 1 0 1
355
0 5 -1 0
356
0
357
end_operator
358
begin_operator
359
move robot1 f1x2f f1x1f
360
0
361
3
362
0 9 5 4
363
0 8 0 1
364
0 5 -1 0
365
0
366
end_operator
367
begin_operator
368
move robot1 f1x2f f2x2f
369
0
370
3
371
0 9 5 8
372
0 5 -1 0
373
0 2 0 1
374
0
375
end_operator
376
begin_operator
377
move robot1 f2x0f f1x0f
378
0
379
3
380
0 9 6 3
381
0 6 0 1
382
0 3 -1 0
383
0
384
end_operator
385
begin_operator
386
move robot1 f2x0f f2x1f
387
0
388
3
389
0 9 6 7
390
0 3 -1 0
391
0 7 0 1
392
0
393
end_operator
394
begin_operator
395
move robot1 f2x1f f1x1f
396
0
397
3
398
0 9 7 4
399
0 8 0 1
400
0 7 -1 0
401
0
402
end_operator
403
begin_operator
404
move robot1 f2x1f f2x0f
405
0
406
3
407
0 9 7 6
408
0 3 0 1
409
0 7 -1 0
410
0
411
end_operator
412
begin_operator
413
move robot1 f2x1f f2x2f
414
0
415
3
416
0 9 7 8
417
0 7 -1 0
418
0 2 0 1
419
0
420
end_operator
421
begin_operator
422
move robot1 f2x2f f1x2f
423
0
424
3
425
0 9 8 5
426
0 5 0 1
427
0 2 -1 0
428
0
429
end_operator
430
begin_operator
431
move robot1 f2x2f f2x1f
432
0
433
3
434
0 9 8 7
435
0 7 0 1
436
0 2 -1 0
437
0
438
end_operator
439
begin_operator
440
move robot2 f0x0f f0x1f
441
0
442
3
443
0 10 0 1
444
0 0 -1 0
445
0 4 0 1
446
0
447
end_operator
448
begin_operator
449
move robot2 f0x0f f1x0f
450
0
451
3
452
0 10 0 3
453
0 0 -1 0
454
0 6 0 1
455
0
456
end_operator
457
begin_operator
458
move robot2 f0x1f f0x0f
459
0
460
3
461
0 10 1 0
462
0 0 0 1
463
0 4 -1 0
464
0
465
end_operator
466
begin_operator
467
move robot2 f0x1f f0x2f
468
0
469
3
470
0 10 1 2
471
0 4 -1 0
472
0 1 0 1
473
0
474
end_operator
475
begin_operator
476
move robot2 f0x1f f1x1f
477
0
478
3
479
0 10 1 4
480
0 4 -1 0
481
0 8 0 1
482
0
483
end_operator
484
begin_operator
485
move robot2 f0x2f f0x1f
486
0
487
3
488
0 10 2 1
489
0 4 0 1
490
0 1 -1 0
491
0
492
end_operator
493
begin_operator
494
move robot2 f0x2f f1x2f
495
0
496
3
497
0 10 2 5
498
0 1 -1 0
499
0 5 0 1
500
0
501
end_operator
502
begin_operator
503
move robot2 f1x0f f0x0f
504
0
505
3
506
0 10 3 0
507
0 0 0 1
508
0 6 -1 0
509
0
510
end_operator
511
begin_operator
512
move robot2 f1x0f f1x1f
513
0
514
3
515
0 10 3 4
516
0 6 -1 0
517
0 8 0 1
518
0
519
end_operator
520
begin_operator
521
move robot2 f1x0f f2x0f
522
0
523
3
524
0 10 3 6
525
0 6 -1 0
526
0 3 0 1
527
0
528
end_operator
529
begin_operator
530
move robot2 f1x1f f0x1f
531
0
532
3
533
0 10 4 1
534
0 4 0 1
535
0 8 -1 0
536
0
537
end_operator
538
begin_operator
539
move robot2 f1x1f f1x0f
540
0
541
3
542
0 10 4 3
543
0 6 0 1
544
0 8 -1 0
545
0
546
end_operator
547
begin_operator
548
move robot2 f1x1f f1x2f
549
0
550
3
551
0 10 4 5
552
0 8 -1 0
553
0 5 0 1
554
0
555
end_operator
556
begin_operator
557
move robot2 f1x1f f2x1f
558
0
559
3
560
0 10 4 7
561
0 8 -1 0
562
0 7 0 1
563
0
564
end_operator
565
begin_operator
566
move robot2 f1x2f f0x2f
567
0
568
3
569
0 10 5 2
570
0 1 0 1
571
0 5 -1 0
572
0
573
end_operator
574
begin_operator
575
move robot2 f1x2f f1x1f
576
0
577
3
578
0 10 5 4
579
0 8 0 1
580
0 5 -1 0
581
0
582
end_operator
583
begin_operator
584
move robot2 f1x2f f2x2f
585
0
586
3
587
0 10 5 8
588
0 5 -1 0
589
0 2 0 1
590
0
591
end_operator
592
begin_operator
593
move robot2 f2x0f f1x0f
594
0
595
3
596
0 10 6 3
597
0 6 0 1
598
0 3 -1 0
599
0
600
end_operator
601
begin_operator
602
move robot2 f2x0f f2x1f
603
0
604
3
605
0 10 6 7
606
0 3 -1 0
607
0 7 0 1
608
0
609
end_operator
610
begin_operator
611
move robot2 f2x1f f1x1f
612
0
613
3
614
0 10 7 4
615
0 8 0 1
616
0 7 -1 0
617
0
618
end_operator
619
begin_operator
620
move robot2 f2x1f f2x0f
621
0
622
3
623
0 10 7 6
624
0 3 0 1
625
0 7 -1 0
626
0
627
end_operator
628
begin_operator
629
move robot2 f2x1f f2x2f
630
0
631
3
632
0 10 7 8
633
0 7 -1 0
634
0 2 0 1
635
0
636
end_operator
637
begin_operator
638
move robot2 f2x2f f1x2f
639
0
640
3
641
0 10 8 5
642
0 5 0 1
643
0 2 -1 0
644
0
645
end_operator
646
begin_operator
647
move robot2 f2x2f f2x1f
648
0
649
3
650
0 10 8 7
651
0 7 0 1
652
0 2 -1 0
653
0
654
end_operator
655
begin_operator
656
move robot3 f0x0f f0x1f
657
0
658
3
659
0 11 0 1
660
0 0 -1 0
661
0 4 0 1
662
0
663
end_operator
664
begin_operator
665
move robot3 f0x0f f1x0f
666
0
667
3
668
0 11 0 3
669
0 0 -1 0
670
0 6 0 1
671
0
672
end_operator
673
begin_operator
674
move robot3 f0x1f f0x0f
675
0
676
3
677
0 11 1 0
678
0 0 0 1
679
0 4 -1 0
680
0
681
end_operator
682
begin_operator
683
move robot3 f0x1f f0x2f
684
0
685
3
686
0 11 1 2
687
0 4 -1 0
688
0 1 0 1
689
0
690
end_operator
691
begin_operator
692
move robot3 f0x1f f1x1f
693
0
694
3
695
0 11 1 4
696
0 4 -1 0
697
0 8 0 1
698
0
699
end_operator
700
begin_operator
701
move robot3 f0x2f f0x1f
702
0
703
3
704
0 11 2 1
705
0 4 0 1
706
0 1 -1 0
707
0
708
end_operator
709
begin_operator
710
move robot3 f0x2f f1x2f
711
0
712
3
713
0 11 2 5
714
0 1 -1 0
715
0 5 0 1
716
0
717
end_operator
718
begin_operator
719
move robot3 f1x0f f0x0f
720
0
721
3
722
0 11 3 0
723
0 0 0 1
724
0 6 -1 0
725
0
726
end_operator
727
begin_operator
728
move robot3 f1x0f f1x1f
729
0
730
3
731
0 11 3 4
732
0 6 -1 0
733
0 8 0 1
734
0
735
end_operator
736
begin_operator
737
move robot3 f1x0f f2x0f
738
0
739
3
740
0 11 3 6
741
0 6 -1 0
742
0 3 0 1
743
0
744
end_operator
745
begin_operator
746
move robot3 f1x1f f0x1f
747
0
748
3
749
0 11 4 1
750
0 4 0 1
751
0 8 -1 0
752
0
753
end_operator
754
begin_operator
755
move robot3 f1x1f f1x0f
756
0
757
3
758
0 11 4 3
759
0 6 0 1
760
0 8 -1 0
761
0
762
end_operator
763
begin_operator
764
move robot3 f1x1f f1x2f
765
0
766
3
767
0 11 4 5
768
0 8 -1 0
769
0 5 0 1
770
0
771
end_operator
772
begin_operator
773
move robot3 f1x1f f2x1f
774
0
775
3
776
0 11 4 7
777
0 8 -1 0
778
0 7 0 1
779
0
780
end_operator
781
begin_operator
782
move robot3 f1x2f f0x2f
783
0
784
3
785
0 11 5 2
786
0 1 0 1
787
0 5 -1 0
788
0
789
end_operator
790
begin_operator
791
move robot3 f1x2f f1x1f
792
0
793
3
794
0 11 5 4
795
0 8 0 1
796
0 5 -1 0
797
0
798
end_operator
799
begin_operator
800
move robot3 f1x2f f2x2f
801
0
802
3
803
0 11 5 8
804
0 5 -1 0
805
0 2 0 1
806
0
807
end_operator
808
begin_operator
809
move robot3 f2x0f f1x0f
810
0
811
3
812
0 11 6 3
813
0 6 0 1
814
0 3 -1 0
815
0
816
end_operator
817
begin_operator
818
move robot3 f2x0f f2x1f
819
0
820
3
821
0 11 6 7
822
0 3 -1 0
823
0 7 0 1
824
0
825
end_operator
826
begin_operator
827
move robot3 f2x1f f1x1f
828
0
829
3
830
0 11 7 4
831
0 8 0 1
832
0 7 -1 0
833
0
834
end_operator
835
begin_operator
836
move robot3 f2x1f f2x0f
837
0
838
3
839
0 11 7 6
840
0 3 0 1
841
0 7 -1 0
842
0
843
end_operator
844
begin_operator
845
move robot3 f2x1f f2x2f
846
0
847
3
848
0 11 7 8
849
0 7 -1 0
850
0 2 0 1
851
0
852
end_operator
853
begin_operator
854
move robot3 f2x2f f1x2f
855
0
856
3
857
0 11 8 5
858
0 5 0 1
859
0 2 -1 0
860
0
861
end_operator
862
begin_operator
863
move robot3 f2x2f f2x1f
864
0
865
3
866
0 11 8 7
867
0 7 0 1
868
0 2 -1 0
869
0
870
end_operator
871
begin_operator
872
move robot4 f0x0f f0x1f
873
0
874
3
875
0 12 0 1
876
0 0 -1 0
877
0 4 0 1
878
0
879
end_operator
880
begin_operator
881
move robot4 f0x0f f1x0f
882
0
883
3
884
0 12 0 3
885
0 0 -1 0
886
0 6 0 1
887
0
888
end_operator
889
begin_operator
890
move robot4 f0x1f f0x0f
891
0
892
3
893
0 12 1 0
894
0 0 0 1
895
0 4 -1 0
896
0
897
end_operator
898
begin_operator
899
move robot4 f0x1f f0x2f
900
0
901
3
902
0 12 1 2
903
0 4 -1 0
904
0 1 0 1
905
0
906
end_operator
907
begin_operator
908
move robot4 f0x1f f1x1f
909
0
910
3
911
0 12 1 4
912
0 4 -1 0
913
0 8 0 1
914
0
915
end_operator
916
begin_operator
917
move robot4 f0x2f f0x1f
918
0
919
3
920
0 12 2 1
921
0 4 0 1
922
0 1 -1 0
923
0
924
end_operator
925
begin_operator
926
move robot4 f0x2f f1x2f
927
0
928
3
929
0 12 2 5
930
0 1 -1 0
931
0 5 0 1
932
0
933
end_operator
934
begin_operator
935
move robot4 f1x0f f0x0f
936
0
937
3
938
0 12 3 0
939
0 0 0 1
940
0 6 -1 0
941
0
942
end_operator
943
begin_operator
944
move robot4 f1x0f f1x1f
945
0
946
3
947
0 12 3 4
948
0 6 -1 0
949
0 8 0 1
950
0
951
end_operator
952
begin_operator
953
move robot4 f1x0f f2x0f
954
0
955
3
956
0 12 3 6
957
0 6 -1 0
958
0 3 0 1
959
0
960
end_operator
961
begin_operator
962
move robot4 f1x1f f0x1f
963
0
964
3
965
0 12 4 1
966
0 4 0 1
967
0 8 -1 0
968
0
969
end_operator
970
begin_operator
971
move robot4 f1x1f f1x0f
972
0
973
3
974
0 12 4 3
975
0 6 0 1
976
0 8 -1 0
977
0
978
end_operator
979
begin_operator
980
move robot4 f1x1f f1x2f
981
0
982
3
983
0 12 4 5
984
0 8 -1 0
985
0 5 0 1
986
0
987
end_operator
988
begin_operator
989
move robot4 f1x1f f2x1f
990
0
991
3
992
0 12 4 7
993
0 8 -1 0
994
0 7 0 1
995
0
996
end_operator
997
begin_operator
998
move robot4 f1x2f f0x2f
999
0
1000
3
1001
0 12 5 2
1002
0 1 0 1
1003
0 5 -1 0
1004
0
1005
end_operator
1006
begin_operator
1007
move robot4 f1x2f f1x1f
1008
0
1009
3
1010
0 12 5 4
1011
0 8 0 1
1012
0 5 -1 0
1013
0
1014
end_operator
1015
begin_operator
1016
move robot4 f1x2f f2x2f
1017
0
1018
3
1019
0 12 5 8
1020
0 5 -1 0
1021
0 2 0 1
1022
0
1023
end_operator
1024
begin_operator
1025
move robot4 f2x0f f1x0f
1026
0
1027
3
1028
0 12 6 3
1029
0 6 0 1
1030
0 3 -1 0
1031
0
1032
end_operator
1033
begin_operator
1034
move robot4 f2x0f f2x1f
1035
0
1036
3
1037
0 12 6 7
1038
0 3 -1 0
1039
0 7 0 1
1040
0
1041
end_operator
1042
begin_operator
1043
move robot4 f2x1f f1x1f
1044
0
1045
3
1046
0 12 7 4
1047
0 8 0 1
1048
0 7 -1 0
1049
0
1050
end_operator
1051
begin_operator
1052
move robot4 f2x1f f2x0f
1053
0
1054
3
1055
0 12 7 6
1056
0 3 0 1
1057
0 7 -1 0
1058
0
1059
end_operator
1060
begin_operator
1061
move robot4 f2x1f f2x2f
1062
0
1063
3
1064
0 12 7 8
1065
0 7 -1 0
1066
0 2 0 1
1067
0
1068
end_operator
1069
begin_operator
1070
move robot4 f2x2f f1x2f
1071
0
1072
3
1073
0 12 8 5
1074
0 5 0 1
1075
0 2 -1 0
1076
0
1077
end_operator
1078
begin_operator
1079
move robot4 f2x2f f2x1f
1080
0
1081
3
1082
0 12 8 7
1083
0 7 0 1
1084
0 2 -1 0
1085
0
1086
end_operator
1087
0
1088
begin_SG
1089
switch 9
1090
check 0
1091
switch 4
1092
check 0
1093
check 1
1094
0
1095
check 0
1096
switch 6
1097
check 0
1098
check 1
1099
1
1100
check 0
1101
check 0
1102
switch 0
1103
check 0
1104
check 1
1105
2
1106
check 0
1107
switch 1
1108
check 0
1109
check 1
1110
3
1111
check 0
1112
switch 8
1113
check 0
1114
check 1
1115
4
1116
check 0
1117
check 0
1118
switch 4
1119
check 0
1120
check 1
1121
5
1122
check 0
1123
switch 5
1124
check 0
1125
check 1
1126
6
1127
check 0
1128
check 0
1129
switch 0
1130
check 0
1131
check 1
1132
7
1133
check 0
1134
switch 8
1135
check 0
1136
check 1
1137
8
1138
check 0
1139
switch 3
1140
check 0
1141
check 1
1142
9
1143
check 0
1144
check 0
1145
switch 4
1146
check 0
1147
check 1
1148
10
1149
check 0
1150
switch 6
1151
check 0
1152
check 1
1153
11
1154
check 0
1155
switch 5
1156
check 0
1157
check 1
1158
12
1159
check 0
1160
switch 7
1161
check 0
1162
check 1
1163
13
1164
check 0
1165
check 0
1166
switch 1
1167
check 0
1168
check 1
1169
14
1170
check 0
1171
switch 8
1172
check 0
1173
check 1
1174
15
1175
check 0
1176
switch 2
1177
check 0
1178
check 1
1179
16
1180
check 0
1181
check 0
1182
switch 6
1183
check 0
1184
check 1
1185
17
1186
check 0
1187
switch 7
1188
check 0
1189
check 1
1190
18
1191
check 0
1192
check 0
1193
switch 8
1194
check 0
1195
check 1
1196
19
1197
check 0
1198
switch 3
1199
check 0
1200
check 1
1201
20
1202
check 0
1203
switch 2
1204
check 0
1205
check 1
1206
21
1207
check 0
1208
check 0
1209
switch 5
1210
check 0
1211
check 1
1212
22
1213
check 0
1214
switch 7
1215
check 0
1216
check 1
1217
23
1218
check 0
1219
check 0
1220
switch 10
1221
check 0
1222
switch 4
1223
check 0
1224
check 1
1225
24
1226
check 0
1227
switch 6
1228
check 0
1229
check 1
1230
25
1231
check 0
1232
check 0
1233
switch 0
1234
check 0
1235
check 1
1236
26
1237
check 0
1238
switch 1
1239
check 0
1240
check 1
1241
27
1242
check 0
1243
switch 8
1244
check 0
1245
check 1
1246
28
1247
check 0
1248
check 0
1249
switch 4
1250
check 0
1251
check 1
1252
29
1253
check 0
1254
switch 5
1255
check 0
1256
check 1
1257
30
1258
check 0
1259
check 0
1260
switch 0
1261
check 0
1262
check 1
1263
31
1264
check 0
1265
switch 8
1266
check 0
1267
check 1
1268
32
1269
check 0
1270
switch 3
1271
check 0
1272
check 1
1273
33
1274
check 0
1275
check 0
1276
switch 4
1277
check 0
1278
check 1
1279
34
1280
check 0
1281
switch 6
1282
check 0
1283
check 1
1284
35
1285
check 0
1286
switch 5
1287
check 0
1288
check 1
1289
36
1290
check 0
1291
switch 7
1292
check 0
1293
check 1
1294
37
1295
check 0
1296
check 0
1297
switch 1
1298
check 0
1299
check 1
1300
38
1301
check 0
1302
switch 8
1303
check 0
1304
check 1
1305
39
1306
check 0
1307
switch 2
1308
check 0
1309
check 1
1310
40
1311
check 0
1312
check 0
1313
switch 6
1314
check 0
1315
check 1
1316
41
1317
check 0
1318
switch 7
1319
check 0
1320
check 1
1321
42
1322
check 0
1323
check 0
1324
switch 8
1325
check 0
1326
check 1
1327
43
1328
check 0
1329
switch 3
1330
check 0
1331
check 1
1332
44
1333
check 0
1334
switch 2
1335
check 0
1336
check 1
1337
45
1338
check 0
1339
check 0
1340
switch 5
1341
check 0
1342
check 1
1343
46
1344
check 0
1345
switch 7
1346
check 0
1347
check 1
1348
47
1349
check 0
1350
check 0
1351
switch 11
1352
check 0
1353
switch 4
1354
check 0
1355
check 1
1356
48
1357
check 0
1358
switch 6
1359
check 0
1360
check 1
1361
49
1362
check 0
1363
check 0
1364
switch 0
1365
check 0
1366
check 1
1367
50
1368
check 0
1369
switch 1
1370
check 0
1371
check 1
1372
51
1373
check 0
1374
switch 8
1375
check 0
1376
check 1
1377
52
1378
check 0
1379
check 0
1380
switch 4
1381
check 0
1382
check 1
1383
53
1384
check 0
1385
switch 5
1386
check 0
1387
check 1
1388
54
1389
check 0
1390
check 0
1391
switch 0
1392
check 0
1393
check 1
1394
55
1395
check 0
1396
switch 8
1397
check 0
1398
check 1
1399
56
1400
check 0
1401
switch 3
1402
check 0
1403
check 1
1404
57
1405
check 0
1406
check 0
1407
switch 4
1408
check 0
1409
check 1
1410
58
1411
check 0
1412
switch 6
1413
check 0
1414
check 1
1415
59
1416
check 0
1417
switch 5
1418
check 0
1419
check 1
1420
60
1421
check 0
1422
switch 7
1423
check 0
1424
check 1
1425
61
1426
check 0
1427
check 0
1428
switch 1
1429
check 0
1430
check 1
1431
62
1432
check 0
1433
switch 8
1434
check 0
1435
check 1
1436
63
1437
check 0
1438
switch 2
1439
check 0
1440
check 1
1441
64
1442
check 0
1443
check 0
1444
switch 6
1445
check 0
1446
check 1
1447
65
1448
check 0
1449
switch 7
1450
check 0
1451
check 1
1452
66
1453
check 0
1454
check 0
1455
switch 8
1456
check 0
1457
check 1
1458
67
1459
check 0
1460
switch 3
1461
check 0
1462
check 1
1463
68
1464
check 0
1465
switch 2
1466
check 0
1467
check 1
1468
69
1469
check 0
1470
check 0
1471
switch 5
1472
check 0
1473
check 1
1474
70
1475
check 0
1476
switch 7
1477
check 0
1478
check 1
1479
71
1480
check 0
1481
check 0
1482
switch 12
1483
check 0
1484
switch 4
1485
check 0
1486
check 1
1487
72
1488
check 0
1489
switch 6
1490
check 0
1491
check 1
1492
73
1493
check 0
1494
check 0
1495
switch 0
1496
check 0
1497
check 1
1498
74
1499
check 0
1500
switch 1
1501
check 0
1502
check 1
1503
75
1504
check 0
1505
switch 8
1506
check 0
1507
check 1
1508
76
1509
check 0
1510
check 0
1511
switch 4
1512
check 0
1513
check 1
1514
77
1515
check 0
1516
switch 5
1517
check 0
1518
check 1
1519
78
1520
check 0
1521
check 0
1522
switch 0
1523
check 0
1524
check 1
1525
79
1526
check 0
1527
switch 8
1528
check 0
1529
check 1
1530
80
1531
check 0
1532
switch 3
1533
check 0
1534
check 1
1535
81
1536
check 0
1537
check 0
1538
switch 4
1539
check 0
1540
check 1
1541
82
1542
check 0
1543
switch 6
1544
check 0
1545
check 1
1546
83
1547
check 0
1548
switch 5
1549
check 0
1550
check 1
1551
84
1552
check 0
1553
switch 7
1554
check 0
1555
check 1
1556
85
1557
check 0
1558
check 0
1559
switch 1
1560
check 0
1561
check 1
1562
86
1563
check 0
1564
switch 8
1565
check 0
1566
check 1
1567
87
1568
check 0
1569
switch 2
1570
check 0
1571
check 1
1572
88
1573
check 0
1574
check 0
1575
switch 6
1576
check 0
1577
check 1
1578
89
1579
check 0
1580
switch 7
1581
check 0
1582
check 1
1583
90
1584
check 0
1585
check 0
1586
switch 8
1587
check 0
1588
check 1
1589
91
1590
check 0
1591
switch 3
1592
check 0
1593
check 1
1594
92
1595
check 0
1596
switch 2
1597
check 0
1598
check 1
1599
93
1600
check 0
1601
check 0
1602
switch 5
1603
check 0
1604
check 1
1605
94
1606
check 0
1607
switch 7
1608
check 0
1609
check 1
1610
95
1611
check 0
1612
check 0
1613
check 0
1614
end_SG
1615
begin_DTG
1616
8
1617
1
1618
2
1619
1
1620
9 1
1621
1
1622
7
1623
1
1624
9 3
1625
1
1626
26
1627
1
1628
10 1
1629
1
1630
31
1631
1
1632
10 3
1633
1
1634
50
1635
1
1636
11 1
1637
1
1638
55
1639
1
1640
11 3
1641
1
1642
74
1643
1
1644
12 1
1645
1
1646
79
1647
1
1648
12 3
1649
8
1650
0
1651
0
1652
2
1653
9 0
1654
4 0
1655
0
1656
1
1657
2
1658
9 0
1659
6 0
1660
0
1661
24
1662
2
1663
10 0
1664
4 0
1665
0
1666
25
1667
2
1668
10 0
1669
6 0
1670
0
1671
48
1672
2
1673
11 0
1674
4 0
1675
0
1676
49
1677
2
1678
11 0
1679
6 0
1680
0
1681
72
1682
2
1683
12 0
1684
4 0
1685
0
1686
73
1687
2
1688
12 0
1689
6 0
1690
end_DTG
1691
begin_DTG
1692
8
1693
1
1694
3
1695
1
1696
9 1
1697
1
1698
14
1699
1
1700
9 5
1701
1
1702
27
1703
1
1704
10 1
1705
1
1706
38
1707
1
1708
10 5
1709
1
1710
51
1711
1
1712
11 1
1713
1
1714
62
1715
1
1716
11 5
1717
1
1718
75
1719
1
1720
12 1
1721
1
1722
86
1723
1
1724
12 5
1725
8
1726
0
1727
5
1728
2
1729
9 2
1730
4 0
1731
0
1732
6
1733
2
1734
9 2
1735
5 0
1736
0
1737
29
1738
2
1739
10 2
1740
4 0
1741
0
1742
30
1743
2
1744
10 2
1745
5 0
1746
0
1747
53
1748
2
1749
11 2
1750
4 0
1751
0
1752
54
1753
2
1754
11 2
1755
5 0
1756
0
1757
77
1758
2
1759
12 2
1760
4 0
1761
0
1762
78
1763
2
1764
12 2
1765
5 0
1766
end_DTG
1767
begin_DTG
1768
8
1769
1
1770
16
1771
1
1772
9 5
1773
1
1774
21
1775
1
1776
9 7
1777
1
1778
40
1779
1
1780
10 5
1781
1
1782
45
1783
1
1784
10 7
1785
1
1786
64
1787
1
1788
11 5
1789
1
1790
69
1791
1
1792
11 7
1793
1
1794
88
1795
1
1796
12 5
1797
1
1798
93
1799
1
1800
12 7
1801
8
1802
0
1803
22
1804
2
1805
9 8
1806
5 0
1807
0
1808
23
1809
2
1810
9 8
1811
7 0
1812
0
1813
46
1814
2
1815
10 8
1816
5 0
1817
0
1818
47
1819
2
1820
10 8
1821
7 0
1822
0
1823
70
1824
2
1825
11 8
1826
5 0
1827
0
1828
71
1829
2
1830
11 8
1831
7 0
1832
0
1833
94
1834
2
1835
12 8
1836
5 0
1837
0
1838
95
1839
2
1840
12 8
1841
7 0
1842
end_DTG
1843
begin_DTG
1844
8
1845
1
1846
9
1847
1
1848
9 3
1849
1
1850
20
1851
1
1852
9 7
1853
1
1854
33
1855
1
1856
10 3
1857
1
1858
44
1859
1
1860
10 7
1861
1
1862
57
1863
1
1864
11 3
1865
1
1866
68
1867
1
1868
11 7
1869
1
1870
81
1871
1
1872
12 3
1873
1
1874
92
1875
1
1876
12 7
1877
8
1878
0
1879
17
1880
2
1881
9 6
1882
6 0
1883
0
1884
18
1885
2
1886
9 6
1887
7 0
1888
0
1889
41
1890
2
1891
10 6
1892
6 0
1893
0
1894
42
1895
2
1896
10 6
1897
7 0
1898
0
1899
65
1900
2
1901
11 6
1902
6 0
1903
0
1904
66
1905
2
1906
11 6
1907
7 0
1908
0
1909
89
1910
2
1911
12 6
1912
6 0
1913
0
1914
90
1915
2
1916
12 6
1917
7 0
1918
end_DTG
1919
begin_DTG
1920
12
1921
1
1922
0
1923
1
1924
9 0
1925
1
1926
5
1927
1
1928
9 2
1929
1
1930
10
1931
1
1932
9 4
1933
1
1934
24
1935
1
1936
10 0
1937
1
1938
29
1939
1
1940
10 2
1941
1
1942
34
1943
1
1944
10 4
1945
1
1946
48
1947
1
1948
11 0
1949
1
1950
53
1951
1
1952
11 2
1953
1
1954
58
1955
1
1956
11 4
1957
1
1958
72
1959
1
1960
12 0
1961
1
1962
77
1963
1
1964
12 2
1965
1
1966
82
1967
1
1968
12 4
1969
12
1970
0
1971
2
1972
2
1973
9 1
1974
0 0
1975
0
1976
3
1977
2
1978
9 1
1979
1 0
1980
0
1981
4
1982
2
1983
9 1
1984
8 0
1985
0
1986
26
1987
2
1988
10 1
1989
0 0
1990
0
1991
27
1992
2
1993
10 1
1994
1 0
1995
0
1996
28
1997
2
1998
10 1
1999
8 0
2000
0
2001
50
2002
2
2003
11 1
2004
0 0
2005
0
2006
51
2007
2
2008
11 1
2009
1 0
2010
0
2011
52
2012
2
2013
11 1
2014
8 0
2015
0
2016
74
2017
2
2018
12 1
2019
0 0
2020
0
2021
75
2022
2
2023
12 1
2024
1 0
2025
0
2026
76
2027
2
2028
12 1
2029
8 0
2030
end_DTG
2031
begin_DTG
2032
12
2033
1
2034
6
2035
1
2036
9 2
2037
1
2038
12
2039
1
2040
9 4
2041
1
2042
22
2043
1
2044
9 8
2045
1
2046
30
2047
1
2048
10 2
2049
1
2050
36
2051
1
2052
10 4
2053
1
2054
46
2055
1
2056
10 8
2057
1
2058
54
2059
1
2060
11 2
2061
1
2062
60
2063
1
2064
11 4
2065
1
2066
70
2067
1
2068
11 8
2069
1
2070
78
2071
1
2072
12 2
2073
1
2074
84
2075
1
2076
12 4
2077
1
2078
94
2079
1
2080
12 8
2081
12
2082
0
2083
14
2084
2
2085
9 5
2086
1 0
2087
0
2088
15
2089
2
2090
9 5
2091
8 0
2092
0
2093
16
2094
2
2095
9 5
2096
2 0
2097
0
2098
38
2099
2
2100
10 5
2101
1 0
2102
0
2103
39
2104
2
2105
10 5
2106
8 0
2107
0
2108
40
2109
2
2110
10 5
2111
2 0
2112
0
2113
62
2114
2
2115
11 5
2116
1 0
2117
0
2118
63
2119
2
2120
11 5
2121
8 0
2122
0
2123
64
2124
2
2125
11 5
2126
2 0
2127
0
2128
86
2129
2
2130
12 5
2131
1 0
2132
0
2133
87
2134
2
2135
12 5
2136
8 0
2137
0
2138
88
2139
2
2140
12 5
2141
2 0
2142
end_DTG
2143
begin_DTG
2144
12
2145
1
2146
1
2147
1
2148
9 0
2149
1
2150
11
2151
1
2152
9 4
2153
1
2154
17
2155
1
2156
9 6
2157
1
2158
25
2159
1
2160
10 0
2161
1
2162
35
2163
1
2164
10 4
2165
1
2166
41
2167
1
2168
10 6
2169
1
2170
49
2171
1
2172
11 0
2173
1
2174
59
2175
1
2176
11 4
2177
1
2178
65
2179
1
2180
11 6
2181
1
2182
73
2183
1
2184
12 0
2185
1
2186
83
2187
1
2188
12 4
2189
1
2190
89
2191
1
2192
12 6
2193
12
2194
0
2195
7
2196
2
2197
9 3
2198
0 0
2199
0
2200
8
2201
2
2202
9 3
2203
8 0
2204
0
2205
9
2206
2
2207
9 3
2208
3 0
2209
0
2210
31
2211
2
2212
10 3
2213
0 0
2214
0
2215
32
2216
2
2217
10 3
2218
8 0
2219
0
2220
33
2221
2
2222
10 3
2223
3 0
2224
0
2225
55
2226
2
2227
11 3
2228
0 0
2229
0
2230
56
2231
2
2232
11 3
2233
8 0
2234
0
2235
57
2236
2
2237
11 3
2238
3 0
2239
0
2240
79
2241
2
2242
12 3
2243
0 0
2244
0
2245
80
2246
2
2247
12 3
2248
8 0
2249
0
2250
81
2251
2
2252
12 3
2253
3 0
2254
end_DTG
2255
begin_DTG
2256
12
2257
1
2258
13
2259
1
2260
9 4
2261
1
2262
18
2263
1
2264
9 6
2265
1
2266
23
2267
1
2268
9 8
2269
1
2270
37
2271
1
2272
10 4
2273
1
2274
42
2275
1
2276
10 6
2277
1
2278
47
2279
1
2280
10 8
2281
1
2282
61
2283
1
2284
11 4
2285
1
2286
66
2287
1
2288
11 6
2289
1
2290
71
2291
1
2292
11 8
2293
1
2294
85
2295
1
2296
12 4
2297
1
2298
90
2299
1
2300
12 6
2301
1
2302
95
2303
1
2304
12 8
2305
12
2306
0
2307
19
2308
2
2309
9 7
2310
8 0
2311
0
2312
20
2313
2
2314
9 7
2315
3 0
2316
0
2317
21
2318
2
2319
9 7
2320
2 0
2321
0
2322
43
2323
2
2324
10 7
2325
8 0
2326
0
2327
44
2328
2
2329
10 7
2330
3 0
2331
0
2332
45
2333
2
2334
10 7
2335
2 0
2336
0
2337
67
2338
2
2339
11 7
2340
8 0
2341
0
2342
68
2343
2
2344
11 7
2345
3 0
2346
0
2347
69
2348
2
2349
11 7
2350
2 0
2351
0
2352
91
2353
2
2354
12 7
2355
8 0
2356
0
2357
92
2358
2
2359
12 7
2360
3 0
2361
0
2362
93
2363
2
2364
12 7
2365
2 0
2366
end_DTG
2367
begin_DTG
2368
16
2369
1
2370
4
2371
1
2372
9 1
2373
1
2374
8
2375
1
2376
9 3
2377
1
2378
15
2379
1
2380
9 5
2381
1
2382
19
2383
1
2384
9 7
2385
1
2386
28
2387
1
2388
10 1
2389
1
2390
32
2391
1
2392
10 3
2393
1
2394
39
2395
1
2396
10 5
2397
1
2398
43
2399
1
2400
10 7
2401
1
2402
52
2403
1
2404
11 1
2405
1
2406
56
2407
1
2408
11 3
2409
1
2410
63
2411
1
2412
11 5
2413
1
2414
67
2415
1
2416
11 7
2417
1
2418
76
2419
1
2420
12 1
2421
1
2422
80
2423
1
2424
12 3
2425
1
2426
87
2427
1
2428
12 5
2429
1
2430
91
2431
1
2432
12 7
2433
16
2434
0
2435
10
2436
2
2437
9 4
2438
4 0
2439
0
2440
11
2441
2
2442
9 4
2443
6 0
2444
0
2445
12
2446
2
2447
9 4
2448
5 0
2449
0
2450
13
2451
2
2452
9 4
2453
7 0
2454
0
2455
34
2456
2
2457
10 4
2458
4 0
2459
0
2460
35
2461
2
2462
10 4
2463
6 0
2464
0
2465
36
2466
2
2467
10 4
2468
5 0
2469
0
2470
37
2471
2
2472
10 4
2473
7 0
2474
0
2475
58
2476
2
2477
11 4
2478
4 0
2479
0
2480
59
2481
2
2482
11 4
2483
6 0
2484
0
2485
60
2486
2
2487
11 4
2488
5 0
2489
0
2490
61
2491
2
2492
11 4
2493
7 0
2494
0
2495
82
2496
2
2497
12 4
2498
4 0
2499
0
2500
83
2501
2
2502
12 4
2503
6 0
2504
0
2505
84
2506
2
2507
12 4
2508
5 0
2509
0
2510
85
2511
2
2512
12 4
2513
7 0
2514
end_DTG
2515
begin_DTG
2516
2
2517
1
2518
0
2519
1
2520
4 0
2521
3
2522
1
2523
1
2524
6 0
2525
3
2526
0
2527
2
2528
1
2529
0 0
2530
2
2531
3
2532
1
2533
1 0
2534
4
2535
4
2536
1
2537
8 0
2538
2
2539
1
2540
5
2541
1
2542
4 0
2543
5
2544
6
2545
1
2546
5 0
2547
3
2548
0
2549
7
2550
1
2551
0 0
2552
4
2553
8
2554
1
2555
8 0
2556
6
2557
9
2558
1
2559
3 0
2560
4
2561
1
2562
10
2563
1
2564
4 0
2565
3
2566
11
2567
1
2568
6 0
2569
5
2570
12
2571
1
2572
5 0
2573
7
2574
13
2575
1
2576
7 0
2577
3
2578
2
2579
14
2580
1
2581
1 0
2582
4
2583
15
2584
1
2585
8 0
2586
8
2587
16
2588
1
2589
2 0
2590
2
2591
3
2592
17
2593
1
2594
6 0
2595
7
2596
18
2597
1
2598
7 0
2599
3
2600
4
2601
19
2602
1
2603
8 0
2604
6
2605
20
2606
1
2607
3 0
2608
8
2609
21
2610
1
2611
2 0
2612
2
2613
5
2614
22
2615
1
2616
5 0
2617
7
2618
23
2619
1
2620
7 0
2621
end_DTG
2622
begin_DTG
2623
2
2624
1
2625
24
2626
1
2627
4 0
2628
3
2629
25
2630
1
2631
6 0
2632
3
2633
0
2634
26
2635
1
2636
0 0
2637
2
2638
27
2639
1
2640
1 0
2641
4
2642
28
2643
1
2644
8 0
2645
2
2646
1
2647
29
2648
1
2649
4 0
2650
5
2651
30
2652
1
2653
5 0
2654
3
2655
0
2656
31
2657
1
2658
0 0
2659
4
2660
32
2661
1
2662
8 0
2663
6
2664
33
2665
1
2666
3 0
2667
4
2668
1
2669
34
2670
1
2671
4 0
2672
3
2673
35
2674
1
2675
6 0
2676
5
2677
36
2678
1
2679
5 0
2680
7
2681
37
2682
1
2683
7 0
2684
3
2685
2
2686
38
2687
1
2688
1 0
2689
4
2690
39
2691
1
2692
8 0
2693
8
2694
40
2695
1
2696
2 0
2697
2
2698
3
2699
41
2700
1
2701
6 0
2702
7
2703
42
2704
1
2705
7 0
2706
3
2707
4
2708
43
2709
1
2710
8 0
2711
6
2712
44
2713
1
2714
3 0
2715
8
2716
45
2717
1
2718
2 0
2719
2
2720
5
2721
46
2722
1
2723
5 0
2724
7
2725
47
2726
1
2727
7 0
2728
end_DTG
2729
begin_DTG
2730
2
2731
1
2732
48
2733
1
2734
4 0
2735
3
2736
49
2737
1
2738
6 0
2739
3
2740
0
2741
50
2742
1
2743
0 0
2744
2
2745
51
2746
1
2747
1 0
2748
4
2749
52
2750
1
2751
8 0
2752
2
2753
1
2754
53
2755
1
2756
4 0
2757
5
2758
54
2759
1
2760
5 0
2761
3
2762
0
2763
55
2764
1
2765
0 0
2766
4
2767
56
2768
1
2769
8 0
2770
6
2771
57
2772
1
2773
3 0
2774
4
2775
1
2776
58
2777
1
2778
4 0
2779
3
2780
59
2781
1
2782
6 0
2783
5
2784
60
2785
1
2786
5 0
2787
7
2788
61
2789
1
2790
7 0
2791
3
2792
2
2793
62
2794
1
2795
1 0
2796
4
2797
63
2798
1
2799
8 0
2800
8
2801
64
2802
1
2803
2 0
2804
2
2805
3
2806
65
2807
1
2808
6 0
2809
7
2810
66
2811
1
2812
7 0
2813
3
2814
4
2815
67
2816
1
2817
8 0
2818
6
2819
68
2820
1
2821
3 0
2822
8
2823
69
2824
1
2825
2 0
2826
2
2827
5
2828
70
2829
1
2830
5 0
2831
7
2832
71
2833
1
2834
7 0
2835
end_DTG
2836
begin_DTG
2837
2
2838
1
2839
72
2840
1
2841
4 0
2842
3
2843
73
2844
1
2845
6 0
2846
3
2847
0
2848
74
2849
1
2850
0 0
2851
2
2852
75
2853
1
2854
1 0
2855
4
2856
76
2857
1
2858
8 0
2859
2
2860
1
2861
77
2862
1
2863
4 0
2864
5
2865
78
2866
1
2867
5 0
2868
3
2869
0
2870
79
2871
1
2872
0 0
2873
4
2874
80
2875
1
2876
8 0
2877
6
2878
81
2879
1
2880
3 0
2881
4
2882
1
2883
82
2884
1
2885
4 0
2886
3
2887
83
2888
1
2889
6 0
2890
5
2891
84
2892
1
2893
5 0
2894
7
2895
85
2896
1
2897
7 0
2898
3
2899
2
2900
86
2901
1
2902
1 0
2903
4
2904
87
2905
1
2906
8 0
2907
8
2908
88
2909
1
2910
2 0
2911
2
2912
3
2913
89
2914
1
2915
6 0
2916
7
2917
90
2918
1
2919
7 0
2920
3
2921
4
2922
91
2923
1
2924
8 0
2925
6
2926
92
2927
1
2928
3 0
2929
8
2930
93
2931
1
2932
2 0
2933
2
2934
5
2935
94
2936
1
2937
5 0
2938
7
2939
95
2940
1
2941
7 0
2942
end_DTG
2943
begin_CG
2944
6
2945
9 2
2946
10 2
2947
11 2
2948
12 2
2949
4 4
2950
6 4
2951
6
2952
9 2
2953
10 2
2954
11 2
2955
12 2
2956
4 4
2957
5 4
2958
6
2959
9 2
2960
10 2
2961
11 2
2962
12 2
2963
5 4
2964
7 4
2965
6
2966
9 2
2967
10 2
2968
11 2
2969
12 2
2970
6 4
2971
7 4
2972
7
2973
9 3
2974
10 3
2975
11 3
2976
12 3
2977
0 4
2978
1 4
2979
8 4
2980
7
2981
9 3
2982
10 3
2983
11 3
2984
12 3
2985
1 4
2986
8 4
2987
2 4
2988
7
2989
9 3
2990
10 3
2991
11 3
2992
12 3
2993
0 4
2994
8 4
2995
3 4
2996
7
2997
9 3
2998
10 3
2999
11 3
3000
12 3
3001
8 4
3002
3 4
3003
2 4
3004
8
3005
9 4
3006
10 4
3007
11 4
3008
12 4
3009
4 4
3010
6 4
3011
5 4
3012
7 4
3013
9
3014
0 4
3015
4 6
3016
1 4
3017
6 6
3018
8 8
3019
5 6
3020
3 4
3021
7 6
3022
2 4
3023
9
3024
0 4
3025
4 6
3026
1 4
3027
6 6
3028
8 8
3029
5 6
3030
3 4
3031
7 6
3032
2 4
3033
9
3034
0 4
3035
4 6
3036
1 4
3037
6 6
3038
8 8
3039
5 6
3040
3 4
3041
7 6
3042
2 4
3043
9
3044
0 4
3045
4 6
3046
1 4
3047
6 6
3048
8 8
3049
5 6
3050
3 4
3051
7 6
3052
2 4
3053
end_CG