Statistics
| Branch: | Revision:

dimaptools / src / test / resources / sokoban-a1.pre @ 126:242390b3f4be

History | View | Annotate | Download (33.4 KB)

1 10:478c8bd6b5ad Michal
begin_version
2
3
3
end_version
4
begin_metric
5
0
6
end_metric
7
24
8
begin_variable
9
var20
10
-1
11
2
12
Atom clear(pos-6-2)
13
<none of those>
14
end_variable
15
begin_variable
16
var16
17
-1
18
2
19
Atom clear(pos-5-2)
20
<none of those>
21
end_variable
22
begin_variable
23
var17
24
-1
25
2
26
Atom clear(pos-5-3)
27
<none of those>
28
end_variable
29
begin_variable
30
var21
31
-1
32
2
33
Atom clear(pos-6-3)
34
<none of those>
35
end_variable
36
begin_variable
37
var11
38
-1
39
2
40
Atom clear(pos-4-2)
41
<none of those>
42
end_variable
43
begin_variable
44
var22
45
-1
46
2
47
Atom clear(pos-6-5)
48
<none of those>
49
end_variable
50
begin_variable
51
var23
52
-1
53
2
54
Atom clear(pos-6-6)
55
<none of those>
56
end_variable
57
begin_variable
58
var18
59
-1
60
2
61
Atom clear(pos-5-5)
62
<none of those>
63
end_variable
64
begin_variable
65
var19
66
-1
67
2
68
Atom clear(pos-5-6)
69
<none of those>
70
end_variable
71
begin_variable
72
var6
73
-1
74
2
75
Atom clear(pos-2-5)
76
<none of those>
77
end_variable
78
begin_variable
79
var8
80
-1
81
2
82
Atom clear(pos-3-4)
83
<none of those>
84
end_variable
85
begin_variable
86
var9
87
-1
88
2
89
Atom clear(pos-3-5)
90
<none of those>
91
end_variable
92
begin_variable
93
var12
94
-1
95
2
96
Atom clear(pos-4-3)
97
<none of those>
98
end_variable
99
begin_variable
100
var5
101
-1
102
2
103
Atom clear(pos-2-4)
104
<none of those>
105
end_variable
106
begin_variable
107
var7
108
-1
109
2
110
Atom clear(pos-2-6)
111
<none of those>
112
end_variable
113
begin_variable
114
var10
115
-1
116
2
117
Atom clear(pos-3-6)
118
<none of those>
119
end_variable
120
begin_variable
121
var13
122
-1
123
2
124
Atom clear(pos-4-4)
125
<none of those>
126
end_variable
127
begin_variable
128
var1
129
-1
130
15
131
Atom at(stone-01, pos-2-4)
132
Atom at(stone-01, pos-2-5)
133
Atom at(stone-01, pos-2-6)
134
Atom at(stone-01, pos-3-4)
135
Atom at(stone-01, pos-3-5)
136
Atom at(stone-01, pos-3-6)
137
Atom at(stone-01, pos-4-2)
138
Atom at(stone-01, pos-4-3)
139
Atom at(stone-01, pos-4-4)
140
Atom at(stone-01, pos-4-5)
141
Atom at(stone-01, pos-4-6)
142
Atom at(stone-01, pos-5-5)
143
Atom at(stone-01, pos-5-6)
144
Atom at(stone-01, pos-6-5)
145
Atom at(stone-01, pos-6-6)
146
end_variable
147
begin_variable
148
var15
149
-1
150
2
151
Atom clear(pos-4-6)
152
<none of those>
153
end_variable
154
begin_variable
155
var14
156
-1
157
2
158
Atom clear(pos-4-5)
159
<none of those>
160
end_variable
161
begin_variable
162
var0
163
-1
164
19
165
Atom at(player-01, pos-2-4)
166
Atom at(player-01, pos-2-5)
167
Atom at(player-01, pos-2-6)
168
Atom at(player-01, pos-3-4)
169
Atom at(player-01, pos-3-5)
170
Atom at(player-01, pos-3-6)
171
Atom at(player-01, pos-4-2)
172
Atom at(player-01, pos-4-3)
173
Atom at(player-01, pos-4-4)
174
Atom at(player-01, pos-4-5)
175
Atom at(player-01, pos-4-6)
176
Atom at(player-01, pos-5-2)
177
Atom at(player-01, pos-5-3)
178
Atom at(player-01, pos-5-5)
179
Atom at(player-01, pos-5-6)
180
Atom at(player-01, pos-6-2)
181
Atom at(player-01, pos-6-3)
182
Atom at(player-01, pos-6-5)
183
Atom at(player-01, pos-6-6)
184
end_variable
185
begin_variable
186
var2
187
-1
188
17
189
Atom at(stone-02, pos-2-4)
190
Atom at(stone-02, pos-2-5)
191
Atom at(stone-02, pos-2-6)
192
Atom at(stone-02, pos-3-4)
193
Atom at(stone-02, pos-3-5)
194
Atom at(stone-02, pos-3-6)
195
Atom at(stone-02, pos-4-2)
196
Atom at(stone-02, pos-4-3)
197
Atom at(stone-02, pos-4-4)
198
Atom at(stone-02, pos-4-5)
199
Atom at(stone-02, pos-4-6)
200
Atom at(stone-02, pos-5-3)
201
Atom at(stone-02, pos-5-5)
202
Atom at(stone-02, pos-5-6)
203
Atom at(stone-02, pos-6-3)
204
Atom at(stone-02, pos-6-5)
205
Atom at(stone-02, pos-6-6)
206
end_variable
207
begin_variable
208
var4
209
-1
210
2
211
Atom at-goal(stone-02)
212
<none of those>
213
end_variable
214
begin_variable
215
var3
216
-1
217
2
218
Atom at-goal(stone-01)
219
<none of those>
220
end_variable
221
19
222
begin_mutex_group
223
4
224
20 0
225
17 0
226
21 0
227
13 0
228
end_mutex_group
229
begin_mutex_group
230
4
231
20 1
232
17 1
233
21 1
234
9 0
235
end_mutex_group
236
begin_mutex_group
237
4
238
20 2
239
17 2
240
21 2
241
14 0
242
end_mutex_group
243
begin_mutex_group
244
4
245
20 3
246
17 3
247
21 3
248
10 0
249
end_mutex_group
250
begin_mutex_group
251
4
252
20 4
253
17 4
254
21 4
255
11 0
256
end_mutex_group
257
begin_mutex_group
258
4
259
20 5
260
17 5
261
21 5
262
15 0
263
end_mutex_group
264
begin_mutex_group
265
4
266
20 6
267
17 6
268
21 6
269
4 0
270
end_mutex_group
271
begin_mutex_group
272
4
273
20 7
274
17 7
275
21 7
276
12 0
277
end_mutex_group
278
begin_mutex_group
279
4
280
20 8
281
17 8
282
21 8
283
16 0
284
end_mutex_group
285
begin_mutex_group
286
4
287
20 9
288
17 9
289
21 9
290
19 0
291
end_mutex_group
292
begin_mutex_group
293
4
294
20 10
295
17 10
296
21 10
297
18 0
298
end_mutex_group
299
begin_mutex_group
300
2
301
20 11
302
1 0
303
end_mutex_group
304
begin_mutex_group
305
3
306
20 12
307
21 11
308
2 0
309
end_mutex_group
310
begin_mutex_group
311
4
312
20 13
313
17 11
314
21 12
315
7 0
316
end_mutex_group
317
begin_mutex_group
318
4
319
20 14
320
17 12
321
21 13
322
8 0
323
end_mutex_group
324
begin_mutex_group
325
2
326
20 15
327
0 0
328
end_mutex_group
329
begin_mutex_group
330
3
331
20 16
332
21 14
333
3 0
334
end_mutex_group
335
begin_mutex_group
336
4
337
20 17
338
17 13
339
21 15
340
5 0
341
end_mutex_group
342
begin_mutex_group
343
4
344
20 18
345
17 14
346
21 16
347
6 0
348
end_mutex_group
349
begin_state
350
0
351
0
352
1
353
1
354
0
355
0
356
0
357
0
358
0
359
0
360
0
361
0
362
1
363
0
364
0
365
0
366
0
367
7
368
0
369
0
370
16
371
11
372
1
373
1
374
end_state
375
begin_goal
376
2
377
22 0
378
23 0
379
end_goal
380
102
381
begin_operator
382
move player-01 pos-2-4 pos-2-5 dir-down
383
0
384
3
385
0 20 0 1
386
0 13 -1 0
387
0 9 0 1
388
0
389
end_operator
390
begin_operator
391
move player-01 pos-2-4 pos-3-4 dir-right
392
0
393
3
394
0 20 0 3
395
0 13 -1 0
396
0 10 0 1
397
0
398
end_operator
399
begin_operator
400
move player-01 pos-2-5 pos-2-4 dir-up
401
0
402
3
403
0 20 1 0
404
0 13 0 1
405
0 9 -1 0
406
0
407
end_operator
408
begin_operator
409
move player-01 pos-2-5 pos-2-6 dir-down
410
0
411
3
412
0 20 1 2
413
0 9 -1 0
414
0 14 0 1
415
0
416
end_operator
417
begin_operator
418
move player-01 pos-2-5 pos-3-5 dir-right
419
0
420
3
421
0 20 1 4
422
0 9 -1 0
423
0 11 0 1
424
0
425
end_operator
426
begin_operator
427
move player-01 pos-2-6 pos-2-5 dir-up
428
0
429
3
430
0 20 2 1
431
0 9 0 1
432
0 14 -1 0
433
0
434
end_operator
435
begin_operator
436
move player-01 pos-2-6 pos-3-6 dir-right
437
0
438
3
439
0 20 2 5
440
0 14 -1 0
441
0 15 0 1
442
0
443
end_operator
444
begin_operator
445
move player-01 pos-3-4 pos-2-4 dir-left
446
0
447
3
448
0 20 3 0
449
0 13 0 1
450
0 10 -1 0
451
0
452
end_operator
453
begin_operator
454
move player-01 pos-3-4 pos-3-5 dir-down
455
0
456
3
457
0 20 3 4
458
0 10 -1 0
459
0 11 0 1
460
0
461
end_operator
462
begin_operator
463
move player-01 pos-3-4 pos-4-4 dir-right
464
0
465
3
466
0 20 3 8
467
0 10 -1 0
468
0 16 0 1
469
0
470
end_operator
471
begin_operator
472
move player-01 pos-3-5 pos-2-5 dir-left
473
0
474
3
475
0 20 4 1
476
0 9 0 1
477
0 11 -1 0
478
0
479
end_operator
480
begin_operator
481
move player-01 pos-3-5 pos-3-4 dir-up
482
0
483
3
484
0 20 4 3
485
0 10 0 1
486
0 11 -1 0
487
0
488
end_operator
489
begin_operator
490
move player-01 pos-3-5 pos-3-6 dir-down
491
0
492
3
493
0 20 4 5
494
0 11 -1 0
495
0 15 0 1
496
0
497
end_operator
498
begin_operator
499
move player-01 pos-3-5 pos-4-5 dir-right
500
0
501
3
502
0 20 4 9
503
0 11 -1 0
504
0 19 0 1
505
0
506
end_operator
507
begin_operator
508
move player-01 pos-3-6 pos-2-6 dir-left
509
0
510
3
511
0 20 5 2
512
0 14 0 1
513
0 15 -1 0
514
0
515
end_operator
516
begin_operator
517
move player-01 pos-3-6 pos-3-5 dir-up
518
0
519
3
520
0 20 5 4
521
0 11 0 1
522
0 15 -1 0
523
0
524
end_operator
525
begin_operator
526
move player-01 pos-3-6 pos-4-6 dir-right
527
0
528
3
529
0 20 5 10
530
0 15 -1 0
531
0 18 0 1
532
0
533
end_operator
534
begin_operator
535
move player-01 pos-4-2 pos-4-3 dir-down
536
0
537
3
538
0 20 6 7
539
0 4 -1 0
540
0 12 0 1
541
0
542
end_operator
543
begin_operator
544
move player-01 pos-4-2 pos-5-2 dir-right
545
0
546
3
547
0 20 6 11
548
0 4 -1 0
549
0 1 0 1
550
0
551
end_operator
552
begin_operator
553
move player-01 pos-4-3 pos-4-2 dir-up
554
0
555
3
556
0 20 7 6
557
0 4 0 1
558
0 12 -1 0
559
0
560
end_operator
561
begin_operator
562
move player-01 pos-4-3 pos-4-4 dir-down
563
0
564
3
565
0 20 7 8
566
0 12 -1 0
567
0 16 0 1
568
0
569
end_operator
570
begin_operator
571
move player-01 pos-4-3 pos-5-3 dir-right
572
0
573
3
574
0 20 7 12
575
0 12 -1 0
576
0 2 0 1
577
0
578
end_operator
579
begin_operator
580
move player-01 pos-4-4 pos-3-4 dir-left
581
0
582
3
583
0 20 8 3
584
0 10 0 1
585
0 16 -1 0
586
0
587
end_operator
588
begin_operator
589
move player-01 pos-4-4 pos-4-3 dir-up
590
0
591
3
592
0 20 8 7
593
0 12 0 1
594
0 16 -1 0
595
0
596
end_operator
597
begin_operator
598
move player-01 pos-4-4 pos-4-5 dir-down
599
0
600
3
601
0 20 8 9
602
0 16 -1 0
603
0 19 0 1
604
0
605
end_operator
606
begin_operator
607
move player-01 pos-4-5 pos-3-5 dir-left
608
0
609
3
610
0 20 9 4
611
0 11 0 1
612
0 19 -1 0
613
0
614
end_operator
615
begin_operator
616
move player-01 pos-4-5 pos-4-4 dir-up
617
0
618
3
619
0 20 9 8
620
0 16 0 1
621
0 19 -1 0
622
0
623
end_operator
624
begin_operator
625
move player-01 pos-4-5 pos-4-6 dir-down
626
0
627
3
628
0 20 9 10
629
0 19 -1 0
630
0 18 0 1
631
0
632
end_operator
633
begin_operator
634
move player-01 pos-4-5 pos-5-5 dir-right
635
0
636
3
637
0 20 9 13
638
0 19 -1 0
639
0 7 0 1
640
0
641
end_operator
642
begin_operator
643
move player-01 pos-4-6 pos-3-6 dir-left
644
0
645
3
646
0 20 10 5
647
0 15 0 1
648
0 18 -1 0
649
0
650
end_operator
651
begin_operator
652
move player-01 pos-4-6 pos-4-5 dir-up
653
0
654
3
655
0 20 10 9
656
0 19 0 1
657
0 18 -1 0
658
0
659
end_operator
660
begin_operator
661
move player-01 pos-4-6 pos-5-6 dir-right
662
0
663
3
664
0 20 10 14
665
0 18 -1 0
666
0 8 0 1
667
0
668
end_operator
669
begin_operator
670
move player-01 pos-5-2 pos-4-2 dir-left
671
0
672
3
673
0 20 11 6
674
0 4 0 1
675
0 1 -1 0
676
0
677
end_operator
678
begin_operator
679
move player-01 pos-5-2 pos-5-3 dir-down
680
0
681
3
682
0 20 11 12
683
0 1 -1 0
684
0 2 0 1
685
0
686
end_operator
687
begin_operator
688
move player-01 pos-5-2 pos-6-2 dir-right
689
0
690
3
691
0 20 11 15
692
0 1 -1 0
693
0 0 0 1
694
0
695
end_operator
696
begin_operator
697
move player-01 pos-5-3 pos-4-3 dir-left
698
0
699
3
700
0 20 12 7
701
0 12 0 1
702
0 2 -1 0
703
0
704
end_operator
705
begin_operator
706
move player-01 pos-5-3 pos-5-2 dir-up
707
0
708
3
709
0 20 12 11
710
0 1 0 1
711
0 2 -1 0
712
0
713
end_operator
714
begin_operator
715
move player-01 pos-5-3 pos-6-3 dir-right
716
0
717
3
718
0 20 12 16
719
0 2 -1 0
720
0 3 0 1
721
0
722
end_operator
723
begin_operator
724
move player-01 pos-5-5 pos-4-5 dir-left
725
0
726
3
727
0 20 13 9
728
0 19 0 1
729
0 7 -1 0
730
0
731
end_operator
732
begin_operator
733
move player-01 pos-5-5 pos-5-6 dir-down
734
0
735
3
736
0 20 13 14
737
0 7 -1 0
738
0 8 0 1
739
0
740
end_operator
741
begin_operator
742
move player-01 pos-5-5 pos-6-5 dir-right
743
0
744
3
745
0 20 13 17
746
0 7 -1 0
747
0 5 0 1
748
0
749
end_operator
750
begin_operator
751
move player-01 pos-5-6 pos-4-6 dir-left
752
0
753
3
754
0 20 14 10
755
0 18 0 1
756
0 8 -1 0
757
0
758
end_operator
759
begin_operator
760
move player-01 pos-5-6 pos-5-5 dir-up
761
0
762
3
763
0 20 14 13
764
0 7 0 1
765
0 8 -1 0
766
0
767
end_operator
768
begin_operator
769
move player-01 pos-5-6 pos-6-6 dir-right
770
0
771
3
772
0 20 14 18
773
0 8 -1 0
774
0 6 0 1
775
0
776
end_operator
777
begin_operator
778
move player-01 pos-6-2 pos-5-2 dir-left
779
0
780
3
781
0 20 15 11
782
0 1 0 1
783
0 0 -1 0
784
0
785
end_operator
786
begin_operator
787
move player-01 pos-6-2 pos-6-3 dir-down
788
0
789
3
790
0 20 15 16
791
0 0 -1 0
792
0 3 0 1
793
0
794
end_operator
795
begin_operator
796
move player-01 pos-6-3 pos-5-3 dir-left
797
0
798
3
799
0 20 16 12
800
0 2 0 1
801
0 3 -1 0
802
0
803
end_operator
804
begin_operator
805
move player-01 pos-6-3 pos-6-2 dir-up
806
0
807
3
808
0 20 16 15
809
0 0 0 1
810
0 3 -1 0
811
0
812
end_operator
813
begin_operator
814
move player-01 pos-6-5 pos-5-5 dir-left
815
0
816
3
817
0 20 17 13
818
0 7 0 1
819
0 5 -1 0
820
0
821
end_operator
822
begin_operator
823
move player-01 pos-6-5 pos-6-6 dir-down
824
0
825
3
826
0 20 17 18
827
0 5 -1 0
828
0 6 0 1
829
0
830
end_operator
831
begin_operator
832
move player-01 pos-6-6 pos-5-6 dir-left
833
0
834
3
835
0 20 18 14
836
0 8 0 1
837
0 6 -1 0
838
0
839
end_operator
840
begin_operator
841
move player-01 pos-6-6 pos-6-5 dir-up
842
0
843
3
844
0 20 18 17
845
0 5 0 1
846
0 6 -1 0
847
0
848
end_operator
849
begin_operator
850
push-to-goal player-01 stone-01 pos-3-4 pos-3-5 pos-3-6 dir-down
851
0
852
5
853
0 20 3 4
854
0 17 4 5
855
0 23 -1 0
856
0 10 -1 0
857
0 15 0 1
858
0
859
end_operator
860
begin_operator
861
push-to-goal player-01 stone-01 pos-3-6 pos-4-6 pos-5-6 dir-right
862
0
863
5
864
0 20 5 10
865
0 17 10 12
866
0 23 -1 0
867
0 15 -1 0
868
0 8 0 1
869
0
870
end_operator
871
begin_operator
872
push-to-goal player-01 stone-01 pos-5-6 pos-4-6 pos-3-6 dir-left
873
0
874
5
875
0 20 14 10
876
0 17 10 5
877
0 23 -1 0
878
0 15 0 1
879
0 8 -1 0
880
0
881
end_operator
882
begin_operator
883
push-to-goal player-01 stone-02 pos-3-4 pos-3-5 pos-3-6 dir-down
884
0
885
5
886
0 20 3 4
887
0 21 4 5
888
0 22 -1 0
889
0 10 -1 0
890
0 15 0 1
891
0
892
end_operator
893
begin_operator
894
push-to-goal player-01 stone-02 pos-3-6 pos-4-6 pos-5-6 dir-right
895
0
896
5
897
0 20 5 10
898
0 21 10 13
899
0 22 -1 0
900
0 15 -1 0
901
0 8 0 1
902
0
903
end_operator
904
begin_operator
905
push-to-goal player-01 stone-02 pos-5-6 pos-4-6 pos-3-6 dir-left
906
0
907
5
908
0 20 14 10
909
0 21 10 5
910
0 22 -1 0
911
0 15 0 1
912
0 8 -1 0
913
0
914
end_operator
915
begin_operator
916
push-to-nongoal player-01 stone-01 pos-2-4 pos-2-5 pos-2-6 dir-down
917
0
918
5
919
0 20 0 1
920
0 17 1 2
921
0 23 -1 1
922
0 13 -1 0
923
0 14 0 1
924
0
925
end_operator
926
begin_operator
927
push-to-nongoal player-01 stone-01 pos-2-4 pos-3-4 pos-4-4 dir-right
928
0
929
5
930
0 20 0 3
931
0 17 3 8
932
0 23 -1 1
933
0 13 -1 0
934
0 16 0 1
935
0
936
end_operator
937
begin_operator
938
push-to-nongoal player-01 stone-01 pos-2-5 pos-3-5 pos-4-5 dir-right
939
0
940
5
941
0 20 1 4
942
0 17 4 9
943
0 23 -1 1
944
0 9 -1 0
945
0 19 0 1
946
0
947
end_operator
948
begin_operator
949
push-to-nongoal player-01 stone-01 pos-2-6 pos-2-5 pos-2-4 dir-up
950
0
951
5
952
0 20 2 1
953
0 17 1 0
954
0 23 -1 1
955
0 13 0 1
956
0 14 -1 0
957
0
958
end_operator
959
begin_operator
960
push-to-nongoal player-01 stone-01 pos-2-6 pos-3-6 pos-4-6 dir-right
961
0
962
5
963
0 20 2 5
964
0 17 5 10
965
0 23 -1 1
966
0 14 -1 0
967
0 18 0 1
968
0
969
end_operator
970
begin_operator
971
push-to-nongoal player-01 stone-01 pos-3-5 pos-4-5 pos-5-5 dir-right
972
0
973
5
974
0 20 4 9
975
0 17 9 11
976
0 23 -1 1
977
0 11 -1 0
978
0 7 0 1
979
0
980
end_operator
981
begin_operator
982
push-to-nongoal player-01 stone-01 pos-3-6 pos-3-5 pos-3-4 dir-up
983
0
984
5
985
0 20 5 4
986
0 17 4 3
987
0 23 -1 1
988
0 10 0 1
989
0 15 -1 0
990
0
991
end_operator
992
begin_operator
993
push-to-nongoal player-01 stone-01 pos-4-2 pos-4-3 pos-4-4 dir-down
994
0
995
5
996
0 20 6 7
997
0 17 7 8
998
0 23 -1 1
999
0 4 -1 0
1000
0 16 0 1
1001
0
1002
end_operator
1003
begin_operator
1004
push-to-nongoal player-01 stone-01 pos-4-3 pos-4-4 pos-4-5 dir-down
1005
0
1006
5
1007
0 20 7 8
1008
0 17 8 9
1009
0 23 -1 1
1010
0 12 -1 0
1011
0 19 0 1
1012
0
1013
end_operator
1014
begin_operator
1015
push-to-nongoal player-01 stone-01 pos-4-4 pos-3-4 pos-2-4 dir-left
1016
0
1017
5
1018
0 20 8 3
1019
0 17 3 0
1020
0 23 -1 1
1021
0 13 0 1
1022
0 16 -1 0
1023
0
1024
end_operator
1025
begin_operator
1026
push-to-nongoal player-01 stone-01 pos-4-4 pos-4-3 pos-4-2 dir-up
1027
0
1028
5
1029
0 20 8 7
1030
0 17 7 6
1031
0 23 -1 1
1032
0 4 0 1
1033
0 16 -1 0
1034
0
1035
end_operator
1036
begin_operator
1037
push-to-nongoal player-01 stone-01 pos-4-4 pos-4-5 pos-4-6 dir-down
1038
0
1039
5
1040
0 20 8 9
1041
0 17 9 10
1042
0 23 -1 1
1043
0 16 -1 0
1044
0 18 0 1
1045
0
1046
end_operator
1047
begin_operator
1048
push-to-nongoal player-01 stone-01 pos-4-5 pos-3-5 pos-2-5 dir-left
1049
0
1050
5
1051
0 20 9 4
1052
0 17 4 1
1053
0 23 -1 1
1054
0 9 0 1
1055
0 19 -1 0
1056
0
1057
end_operator
1058
begin_operator
1059
push-to-nongoal player-01 stone-01 pos-4-5 pos-4-4 pos-4-3 dir-up
1060
0
1061
5
1062
0 20 9 8
1063
0 17 8 7
1064
0 23 -1 1
1065
0 12 0 1
1066
0 19 -1 0
1067
0
1068
end_operator
1069
begin_operator
1070
push-to-nongoal player-01 stone-01 pos-4-5 pos-5-5 pos-6-5 dir-right
1071
0
1072
5
1073
0 20 9 13
1074
0 17 11 13
1075
0 23 -1 1
1076
0 19 -1 0
1077
0 5 0 1
1078
0
1079
end_operator
1080
begin_operator
1081
push-to-nongoal player-01 stone-01 pos-4-6 pos-3-6 pos-2-6 dir-left
1082
0
1083
5
1084
0 20 10 5
1085
0 17 5 2
1086
0 23 -1 1
1087
0 14 0 1
1088
0 18 -1 0
1089
0
1090
end_operator
1091
begin_operator
1092
push-to-nongoal player-01 stone-01 pos-4-6 pos-4-5 pos-4-4 dir-up
1093
0
1094
5
1095
0 20 10 9
1096
0 17 9 8
1097
0 23 -1 1
1098
0 16 0 1
1099
0 18 -1 0
1100
0
1101
end_operator
1102
begin_operator
1103
push-to-nongoal player-01 stone-01 pos-4-6 pos-5-6 pos-6-6 dir-right
1104
0
1105
5
1106
0 20 10 14
1107
0 17 12 14
1108
0 23 -1 1
1109
0 18 -1 0
1110
0 6 0 1
1111
0
1112
end_operator
1113
begin_operator
1114
push-to-nongoal player-01 stone-01 pos-5-5 pos-4-5 pos-3-5 dir-left
1115
0
1116
5
1117
0 20 13 9
1118
0 17 9 4
1119
0 23 -1 1
1120
0 11 0 1
1121
0 7 -1 0
1122
0
1123
end_operator
1124
begin_operator
1125
push-to-nongoal player-01 stone-01 pos-6-5 pos-5-5 pos-4-5 dir-left
1126
0
1127
5
1128
0 20 17 13
1129
0 17 11 9
1130
0 23 -1 1
1131
0 19 0 1
1132
0 5 -1 0
1133
0
1134
end_operator
1135
begin_operator
1136
push-to-nongoal player-01 stone-01 pos-6-6 pos-5-6 pos-4-6 dir-left
1137
0
1138
5
1139
0 20 18 14
1140
0 17 12 10
1141
0 23 -1 1
1142
0 18 0 1
1143
0 6 -1 0
1144
0
1145
end_operator
1146
begin_operator
1147
push-to-nongoal player-01 stone-02 pos-2-4 pos-2-5 pos-2-6 dir-down
1148
0
1149
5
1150
0 20 0 1
1151
0 21 1 2
1152
0 22 -1 1
1153
0 13 -1 0
1154
0 14 0 1
1155
0
1156
end_operator
1157
begin_operator
1158
push-to-nongoal player-01 stone-02 pos-2-4 pos-3-4 pos-4-4 dir-right
1159
0
1160
5
1161
0 20 0 3
1162
0 21 3 8
1163
0 22 -1 1
1164
0 13 -1 0
1165
0 16 0 1
1166
0
1167
end_operator
1168
begin_operator
1169
push-to-nongoal player-01 stone-02 pos-2-5 pos-3-5 pos-4-5 dir-right
1170
0
1171
5
1172
0 20 1 4
1173
0 21 4 9
1174
0 22 -1 1
1175
0 9 -1 0
1176
0 19 0 1
1177
0
1178
end_operator
1179
begin_operator
1180
push-to-nongoal player-01 stone-02 pos-2-6 pos-2-5 pos-2-4 dir-up
1181
0
1182
5
1183
0 20 2 1
1184
0 21 1 0
1185
0 22 -1 1
1186
0 13 0 1
1187
0 14 -1 0
1188
0
1189
end_operator
1190
begin_operator
1191
push-to-nongoal player-01 stone-02 pos-2-6 pos-3-6 pos-4-6 dir-right
1192
0
1193
5
1194
0 20 2 5
1195
0 21 5 10
1196
0 22 -1 1
1197
0 14 -1 0
1198
0 18 0 1
1199
0
1200
end_operator
1201
begin_operator
1202
push-to-nongoal player-01 stone-02 pos-3-5 pos-4-5 pos-5-5 dir-right
1203
0
1204
5
1205
0 20 4 9
1206
0 21 9 12
1207
0 22 -1 1
1208
0 11 -1 0
1209
0 7 0 1
1210
0
1211
end_operator
1212
begin_operator
1213
push-to-nongoal player-01 stone-02 pos-3-6 pos-3-5 pos-3-4 dir-up
1214
0
1215
5
1216
0 20 5 4
1217
0 21 4 3
1218
0 22 -1 1
1219
0 10 0 1
1220
0 15 -1 0
1221
0
1222
end_operator
1223
begin_operator
1224
push-to-nongoal player-01 stone-02 pos-4-2 pos-4-3 pos-4-4 dir-down
1225
0
1226
5
1227
0 20 6 7
1228
0 21 7 8
1229
0 22 -1 1
1230
0 4 -1 0
1231
0 16 0 1
1232
0
1233
end_operator
1234
begin_operator
1235
push-to-nongoal player-01 stone-02 pos-4-3 pos-4-4 pos-4-5 dir-down
1236
0
1237
5
1238
0 20 7 8
1239
0 21 8 9
1240
0 22 -1 1
1241
0 12 -1 0
1242
0 19 0 1
1243
0
1244
end_operator
1245
begin_operator
1246
push-to-nongoal player-01 stone-02 pos-4-3 pos-5-3 pos-6-3 dir-right
1247
0
1248
5
1249
0 20 7 12
1250
0 21 11 14
1251
0 22 -1 1
1252
0 12 -1 0
1253
0 3 0 1
1254
0
1255
end_operator
1256
begin_operator
1257
push-to-nongoal player-01 stone-02 pos-4-4 pos-3-4 pos-2-4 dir-left
1258
0
1259
5
1260
0 20 8 3
1261
0 21 3 0
1262
0 22 -1 1
1263
0 13 0 1
1264
0 16 -1 0
1265
0
1266
end_operator
1267
begin_operator
1268
push-to-nongoal player-01 stone-02 pos-4-4 pos-4-3 pos-4-2 dir-up
1269
0
1270
5
1271
0 20 8 7
1272
0 21 7 6
1273
0 22 -1 1
1274
0 4 0 1
1275
0 16 -1 0
1276
0
1277
end_operator
1278
begin_operator
1279
push-to-nongoal player-01 stone-02 pos-4-4 pos-4-5 pos-4-6 dir-down
1280
0
1281
5
1282
0 20 8 9
1283
0 21 9 10
1284
0 22 -1 1
1285
0 16 -1 0
1286
0 18 0 1
1287
0
1288
end_operator
1289
begin_operator
1290
push-to-nongoal player-01 stone-02 pos-4-5 pos-3-5 pos-2-5 dir-left
1291
0
1292
5
1293
0 20 9 4
1294
0 21 4 1
1295
0 22 -1 1
1296
0 9 0 1
1297
0 19 -1 0
1298
0
1299
end_operator
1300
begin_operator
1301
push-to-nongoal player-01 stone-02 pos-4-5 pos-4-4 pos-4-3 dir-up
1302
0
1303
5
1304
0 20 9 8
1305
0 21 8 7
1306
0 22 -1 1
1307
0 12 0 1
1308
0 19 -1 0
1309
0
1310
end_operator
1311
begin_operator
1312
push-to-nongoal player-01 stone-02 pos-4-5 pos-5-5 pos-6-5 dir-right
1313
0
1314
5
1315
0 20 9 13
1316
0 21 12 15
1317
0 22 -1 1
1318
0 19 -1 0
1319
0 5 0 1
1320
0
1321
end_operator
1322
begin_operator
1323
push-to-nongoal player-01 stone-02 pos-4-6 pos-3-6 pos-2-6 dir-left
1324
0
1325
5
1326
0 20 10 5
1327
0 21 5 2
1328
0 22 -1 1
1329
0 14 0 1
1330
0 18 -1 0
1331
0
1332
end_operator
1333
begin_operator
1334
push-to-nongoal player-01 stone-02 pos-4-6 pos-4-5 pos-4-4 dir-up
1335
0
1336
5
1337
0 20 10 9
1338
0 21 9 8
1339
0 22 -1 1
1340
0 16 0 1
1341
0 18 -1 0
1342
0
1343
end_operator
1344
begin_operator
1345
push-to-nongoal player-01 stone-02 pos-4-6 pos-5-6 pos-6-6 dir-right
1346
0
1347
5
1348
0 20 10 14
1349
0 21 13 16
1350
0 22 -1 1
1351
0 18 -1 0
1352
0 6 0 1
1353
0
1354
end_operator
1355
begin_operator
1356
push-to-nongoal player-01 stone-02 pos-5-5 pos-4-5 pos-3-5 dir-left
1357
0
1358
5
1359
0 20 13 9
1360
0 21 9 4
1361
0 22 -1 1
1362
0 11 0 1
1363
0 7 -1 0
1364
0
1365
end_operator
1366
begin_operator
1367
push-to-nongoal player-01 stone-02 pos-6-3 pos-5-3 pos-4-3 dir-left
1368
0
1369
5
1370
0 20 16 12
1371
0 21 11 7
1372
0 22 -1 1
1373
0 12 0 1
1374
0 3 -1 0
1375
0
1376
end_operator
1377
begin_operator
1378
push-to-nongoal player-01 stone-02 pos-6-5 pos-5-5 pos-4-5 dir-left
1379
0
1380
5
1381
0 20 17 13
1382
0 21 12 9
1383
0 22 -1 1
1384
0 19 0 1
1385
0 5 -1 0
1386
0
1387
end_operator
1388
begin_operator
1389
push-to-nongoal player-01 stone-02 pos-6-6 pos-5-6 pos-4-6 dir-left
1390
0
1391
5
1392
0 20 18 14
1393
0 21 13 10
1394
0 22 -1 1
1395
0 18 0 1
1396
0 6 -1 0
1397
0
1398
end_operator
1399
0
1400
begin_SG
1401
switch 20
1402
check 0
1403
switch 17
1404
check 0
1405
check 0
1406
switch 14
1407
check 0
1408
check 1
1409
58
1410
check 0
1411
check 0
1412
check 0
1413
switch 16
1414
check 0
1415
check 1
1416
59
1417
check 0
1418
check 0
1419
check 0
1420
check 0
1421
check 0
1422
check 0
1423
check 0
1424
check 0
1425
check 0
1426
check 0
1427
check 0
1428
check 0
1429
check 0
1430
switch 21
1431
check 0
1432
check 0
1433
switch 14
1434
check 0
1435
check 1
1436
79
1437
check 0
1438
check 0
1439
check 0
1440
switch 16
1441
check 0
1442
check 1
1443
80
1444
check 0
1445
check 0
1446
check 0
1447
check 0
1448
check 0
1449
check 0
1450
check 0
1451
check 0
1452
check 0
1453
check 0
1454
check 0
1455
check 0
1456
check 0
1457
check 0
1458
check 0
1459
switch 9
1460
check 0
1461
check 1
1462
0
1463
check 0
1464
switch 10
1465
check 0
1466
check 1
1467
1
1468
check 0
1469
check 0
1470
switch 17
1471
check 0
1472
check 0
1473
check 0
1474
check 0
1475
check 0
1476
switch 19
1477
check 0
1478
check 1
1479
60
1480
check 0
1481
check 0
1482
check 0
1483
check 0
1484
check 0
1485
check 0
1486
check 0
1487
check 0
1488
check 0
1489
check 0
1490
check 0
1491
check 0
1492
switch 21
1493
check 0
1494
check 0
1495
check 0
1496
check 0
1497
check 0
1498
switch 19
1499
check 0
1500
check 1
1501
81
1502
check 0
1503
check 0
1504
check 0
1505
check 0
1506
check 0
1507
check 0
1508
check 0
1509
check 0
1510
check 0
1511
check 0
1512
check 0
1513
check 0
1514
check 0
1515
check 0
1516
switch 13
1517
check 0
1518
check 1
1519
2
1520
check 0
1521
switch 14
1522
check 0
1523
check 1
1524
3
1525
check 0
1526
switch 11
1527
check 0
1528
check 1
1529
4
1530
check 0
1531
check 0
1532
switch 17
1533
check 0
1534
check 0
1535
switch 13
1536
check 0
1537
check 1
1538
61
1539
check 0
1540
check 0
1541
check 0
1542
check 0
1543
check 0
1544
switch 18
1545
check 0
1546
check 1
1547
62
1548
check 0
1549
check 0
1550
check 0
1551
check 0
1552
check 0
1553
check 0
1554
check 0
1555
check 0
1556
check 0
1557
check 0
1558
check 0
1559
switch 21
1560
check 0
1561
check 0
1562
switch 13
1563
check 0
1564
check 1
1565
82
1566
check 0
1567
check 0
1568
check 0
1569
check 0
1570
check 0
1571
switch 18
1572
check 0
1573
check 1
1574
83
1575
check 0
1576
check 0
1577
check 0
1578
check 0
1579
check 0
1580
check 0
1581
check 0
1582
check 0
1583
check 0
1584
check 0
1585
check 0
1586
check 0
1587
check 0
1588
switch 9
1589
check 0
1590
check 1
1591
5
1592
check 0
1593
switch 15
1594
check 0
1595
check 1
1596
6
1597
check 0
1598
check 0
1599
switch 17
1600
check 0
1601
check 0
1602
check 0
1603
check 0
1604
check 0
1605
switch 15
1606
check 0
1607
check 1
1608
52
1609
check 0
1610
check 0
1611
check 0
1612
check 0
1613
check 0
1614
check 0
1615
check 0
1616
check 0
1617
check 0
1618
check 0
1619
check 0
1620
check 0
1621
switch 21
1622
check 0
1623
check 0
1624
check 0
1625
check 0
1626
check 0
1627
switch 15
1628
check 0
1629
check 1
1630
55
1631
check 0
1632
check 0
1633
check 0
1634
check 0
1635
check 0
1636
check 0
1637
check 0
1638
check 0
1639
check 0
1640
check 0
1641
check 0
1642
check 0
1643
check 0
1644
check 0
1645
switch 13
1646
check 0
1647
check 1
1648
7
1649
check 0
1650
switch 11
1651
check 0
1652
check 1
1653
8
1654
check 0
1655
switch 16
1656
check 0
1657
check 1
1658
9
1659
check 0
1660
check 0
1661
switch 17
1662
check 0
1663
check 0
1664
check 0
1665
check 0
1666
check 0
1667
check 0
1668
check 0
1669
check 0
1670
check 0
1671
check 0
1672
switch 7
1673
check 0
1674
check 1
1675
63
1676
check 0
1677
check 0
1678
check 0
1679
check 0
1680
check 0
1681
check 0
1682
check 0
1683
switch 21
1684
check 0
1685
check 0
1686
check 0
1687
check 0
1688
check 0
1689
check 0
1690
check 0
1691
check 0
1692
check 0
1693
check 0
1694
switch 7
1695
check 0
1696
check 1
1697
84
1698
check 0
1699
check 0
1700
check 0
1701
check 0
1702
check 0
1703
check 0
1704
check 0
1705
check 0
1706
check 0
1707
switch 9
1708
check 0
1709
check 1
1710
10
1711
check 0
1712
switch 10
1713
check 0
1714
check 1
1715
11
1716
check 0
1717
switch 15
1718
check 0
1719
check 1
1720
12
1721
check 0
1722
switch 19
1723
check 0
1724
check 1
1725
13
1726
check 0
1727
check 0
1728
switch 17
1729
check 0
1730
check 0
1731
check 0
1732
check 0
1733
check 0
1734
switch 10
1735
check 0
1736
check 1
1737
64
1738
check 0
1739
check 0
1740
check 0
1741
check 0
1742
check 0
1743
check 0
1744
check 0
1745
switch 8
1746
check 0
1747
check 1
1748
53
1749
check 0
1750
check 0
1751
check 0
1752
check 0
1753
check 0
1754
check 0
1755
switch 21
1756
check 0
1757
check 0
1758
check 0
1759
check 0
1760
check 0
1761
switch 10
1762
check 0
1763
check 1
1764
85
1765
check 0
1766
check 0
1767
check 0
1768
check 0
1769
check 0
1770
check 0
1771
check 0
1772
switch 8
1773
check 0
1774
check 1
1775
56
1776
check 0
1777
check 0
1778
check 0
1779
check 0
1780
check 0
1781
check 0
1782
check 0
1783
check 0
1784
switch 14
1785
check 0
1786
check 1
1787
14
1788
check 0
1789
switch 11
1790
check 0
1791
check 1
1792
15
1793
check 0
1794
switch 18
1795
check 0
1796
check 1
1797
16
1798
check 0
1799
check 0
1800
switch 17
1801
check 0
1802
check 0
1803
check 0
1804
check 0
1805
check 0
1806
check 0
1807
check 0
1808
check 0
1809
switch 16
1810
check 0
1811
check 1
1812
65
1813
check 0
1814
check 0
1815
check 0
1816
check 0
1817
check 0
1818
check 0
1819
check 0
1820
check 0
1821
check 0
1822
switch 21
1823
check 0
1824
check 0
1825
check 0
1826
check 0
1827
check 0
1828
check 0
1829
check 0
1830
check 0
1831
switch 16
1832
check 0
1833
check 1
1834
86
1835
check 0
1836
check 0
1837
check 0
1838
check 0
1839
check 0
1840
check 0
1841
check 0
1842
check 0
1843
check 0
1844
check 0
1845
check 0
1846
switch 12
1847
check 0
1848
check 1
1849
17
1850
check 0
1851
switch 1
1852
check 0
1853
check 1
1854
18
1855
check 0
1856
check 0
1857
switch 17
1858
check 0
1859
check 0
1860
check 0
1861
check 0
1862
check 0
1863
check 0
1864
check 0
1865
check 0
1866
check 0
1867
switch 19
1868
check 0
1869
check 1
1870
66
1871
check 0
1872
check 0
1873
check 0
1874
check 0
1875
check 0
1876
check 0
1877
check 0
1878
check 0
1879
switch 21
1880
check 0
1881
check 0
1882
check 0
1883
check 0
1884
check 0
1885
check 0
1886
check 0
1887
check 0
1888
check 0
1889
switch 19
1890
check 0
1891
check 1
1892
87
1893
check 0
1894
check 0
1895
check 0
1896
check 0
1897
switch 3
1898
check 0
1899
check 1
1900
88
1901
check 0
1902
check 0
1903
check 0
1904
check 0
1905
check 0
1906
check 0
1907
check 0
1908
switch 4
1909
check 0
1910
check 1
1911
19
1912
check 0
1913
switch 16
1914
check 0
1915
check 1
1916
20
1917
check 0
1918
switch 2
1919
check 0
1920
check 1
1921
21
1922
check 0
1923
check 0
1924
switch 17
1925
check 0
1926
check 0
1927
check 0
1928
check 0
1929
switch 13
1930
check 0
1931
check 1
1932
67
1933
check 0
1934
check 0
1935
check 0
1936
check 0
1937
check 0
1938
switch 4
1939
check 0
1940
check 1
1941
68
1942
check 0
1943
check 0
1944
check 0
1945
switch 18
1946
check 0
1947
check 1
1948
69
1949
check 0
1950
check 0
1951
check 0
1952
check 0
1953
check 0
1954
check 0
1955
check 0
1956
switch 21
1957
check 0
1958
check 0
1959
check 0
1960
check 0
1961
switch 13
1962
check 0
1963
check 1
1964
89
1965
check 0
1966
check 0
1967
check 0
1968
check 0
1969
check 0
1970
switch 4
1971
check 0
1972
check 1
1973
90
1974
check 0
1975
check 0
1976
check 0
1977
switch 18
1978
check 0
1979
check 1
1980
91
1981
check 0
1982
check 0
1983
check 0
1984
check 0
1985
check 0
1986
check 0
1987
check 0
1988
check 0
1989
check 0
1990
switch 10
1991
check 0
1992
check 1
1993
22
1994
check 0
1995
switch 12
1996
check 0
1997
check 1
1998
23
1999
check 0
2000
switch 19
2001
check 0
2002
check 1
2003
24
2004
check 0
2005
check 0
2006
switch 17
2007
check 0
2008
check 0
2009
check 0
2010
check 0
2011
check 0
2012
switch 9
2013
check 0
2014
check 1
2015
70
2016
check 0
2017
check 0
2018
check 0
2019
check 0
2020
check 0
2021
switch 12
2022
check 0
2023
check 1
2024
71
2025
check 0
2026
check 0
2027
check 0
2028
check 0
2029
switch 5
2030
check 0
2031
check 1
2032
72
2033
check 0
2034
check 0
2035
check 0
2036
check 0
2037
check 0
2038
switch 21
2039
check 0
2040
check 0
2041
check 0
2042
check 0
2043
check 0
2044
switch 9
2045
check 0
2046
check 1
2047
92
2048
check 0
2049
check 0
2050
check 0
2051
check 0
2052
check 0
2053
switch 12
2054
check 0
2055
check 1
2056
93
2057
check 0
2058
check 0
2059
check 0
2060
check 0
2061
check 0
2062
switch 5
2063
check 0
2064
check 1
2065
94
2066
check 0
2067
check 0
2068
check 0
2069
check 0
2070
check 0
2071
check 0
2072
switch 11
2073
check 0
2074
check 1
2075
25
2076
check 0
2077
switch 16
2078
check 0
2079
check 1
2080
26
2081
check 0
2082
switch 18
2083
check 0
2084
check 1
2085
27
2086
check 0
2087
switch 7
2088
check 0
2089
check 1
2090
28
2091
check 0
2092
check 0
2093
switch 17
2094
check 0
2095
check 0
2096
check 0
2097
check 0
2098
check 0
2099
check 0
2100
switch 14
2101
check 0
2102
check 1
2103
73
2104
check 0
2105
check 0
2106
check 0
2107
check 0
2108
check 0
2109
switch 16
2110
check 0
2111
check 1
2112
74
2113
check 0
2114
check 0
2115
check 0
2116
check 0
2117
switch 6
2118
check 0
2119
check 1
2120
75
2121
check 0
2122
check 0
2123
check 0
2124
check 0
2125
switch 21
2126
check 0
2127
check 0
2128
check 0
2129
check 0
2130
check 0
2131
check 0
2132
switch 14
2133
check 0
2134
check 1
2135
95
2136
check 0
2137
check 0
2138
check 0
2139
check 0
2140
check 0
2141
switch 16
2142
check 0
2143
check 1
2144
96
2145
check 0
2146
check 0
2147
check 0
2148
check 0
2149
check 0
2150
switch 6
2151
check 0
2152
check 1
2153
97
2154
check 0
2155
check 0
2156
check 0
2157
check 0
2158
check 0
2159
switch 15
2160
check 0
2161
check 1
2162
29
2163
check 0
2164
switch 19
2165
check 0
2166
check 1
2167
30
2168
check 0
2169
switch 8
2170
check 0
2171
check 1
2172
31
2173
check 0
2174
check 0
2175
switch 4
2176
check 0
2177
check 1
2178
32
2179
check 0
2180
switch 2
2181
check 0
2182
check 1
2183
33
2184
check 0
2185
switch 0
2186
check 0
2187
check 1
2188
34
2189
check 0
2190
check 0
2191
switch 12
2192
check 0
2193
check 1
2194
35
2195
check 0
2196
switch 1
2197
check 0
2198
check 1
2199
36
2200
check 0
2201
switch 3
2202
check 0
2203
check 1
2204
37
2205
check 0
2206
check 0
2207
switch 17
2208
check 0
2209
check 0
2210
check 0
2211
check 0
2212
check 0
2213
check 0
2214
check 0
2215
check 0
2216
check 0
2217
check 0
2218
switch 11
2219
check 0
2220
check 1
2221
76
2222
check 0
2223
check 0
2224
check 0
2225
check 0
2226
check 0
2227
check 0
2228
check 0
2229
switch 21
2230
check 0
2231
check 0
2232
check 0
2233
check 0
2234
check 0
2235
check 0
2236
check 0
2237
check 0
2238
check 0
2239
check 0
2240
switch 11
2241
check 0
2242
check 1
2243
98
2244
check 0
2245
check 0
2246
check 0
2247
check 0
2248
check 0
2249
check 0
2250
check 0
2251
check 0
2252
check 0
2253
switch 19
2254
check 0
2255
check 1
2256
38
2257
check 0
2258
switch 8
2259
check 0
2260
check 1
2261
39
2262
check 0
2263
switch 5
2264
check 0
2265
check 1
2266
40
2267
check 0
2268
check 0
2269
switch 17
2270
check 0
2271
check 0
2272
check 0
2273
check 0
2274
check 0
2275
check 0
2276
check 0
2277
check 0
2278
check 0
2279
check 0
2280
check 0
2281
switch 15
2282
check 0
2283
check 1
2284
54
2285
check 0
2286
check 0
2287
check 0
2288
check 0
2289
check 0
2290
check 0
2291
switch 21
2292
check 0
2293
check 0
2294
check 0
2295
check 0
2296
check 0
2297
check 0
2298
check 0
2299
check 0
2300
check 0
2301
check 0
2302
check 0
2303
switch 15
2304
check 0
2305
check 1
2306
57
2307
check 0
2308
check 0
2309
check 0
2310
check 0
2311
check 0
2312
check 0
2313
check 0
2314
check 0
2315
switch 18
2316
check 0
2317
check 1
2318
41
2319
check 0
2320
switch 7
2321
check 0
2322
check 1
2323
42
2324
check 0
2325
switch 6
2326
check 0
2327
check 1
2328
43
2329
check 0
2330
check 0
2331
switch 1
2332
check 0
2333
check 1
2334
44
2335
check 0
2336
switch 3
2337
check 0
2338
check 1
2339
45
2340
check 0
2341
check 0
2342
switch 21
2343
check 0
2344
check 0
2345
check 0
2346
check 0
2347
check 0
2348
check 0
2349
check 0
2350
check 0
2351
check 0
2352
check 0
2353
check 0
2354
check 0
2355
switch 12
2356
check 0
2357
check 1
2358
99
2359
check 0
2360
check 0
2361
check 0
2362
check 0
2363
check 0
2364
check 0
2365
check 0
2366
switch 2
2367
check 0
2368
check 1
2369
46
2370
check 0
2371
switch 0
2372
check 0
2373
check 1
2374
47
2375
check 0
2376
check 0
2377
switch 17
2378
check 0
2379
check 0
2380
check 0
2381
check 0
2382
check 0
2383
check 0
2384
check 0
2385
check 0
2386
check 0
2387
check 0
2388
check 0
2389
check 0
2390
switch 19
2391
check 0
2392
check 1
2393
77
2394
check 0
2395
check 0
2396
check 0
2397
check 0
2398
check 0
2399
switch 21
2400
check 0
2401
check 0
2402
check 0
2403
check 0
2404
check 0
2405
check 0
2406
check 0
2407
check 0
2408
check 0
2409
check 0
2410
check 0
2411
check 0
2412
check 0
2413
switch 19
2414
check 0
2415
check 1
2416
100
2417
check 0
2418
check 0
2419
check 0
2420
check 0
2421
check 0
2422
check 0
2423
switch 7
2424
check 0
2425
check 1
2426
48
2427
check 0
2428
switch 6
2429
check 0
2430
check 1
2431
49
2432
check 0
2433
check 0
2434
switch 17
2435
check 0
2436
check 0
2437
check 0
2438
check 0
2439
check 0
2440
check 0
2441
check 0
2442
check 0
2443
check 0
2444
check 0
2445
check 0
2446
check 0
2447
check 0
2448
switch 18
2449
check 0
2450
check 1
2451
78
2452
check 0
2453
check 0
2454
check 0
2455
check 0
2456
switch 21
2457
check 0
2458
check 0
2459
check 0
2460
check 0
2461
check 0
2462
check 0
2463
check 0
2464
check 0
2465
check 0
2466
check 0
2467
check 0
2468
check 0
2469
check 0
2470
check 0
2471
switch 18
2472
check 0
2473
check 1
2474
101
2475
check 0
2476
check 0
2477
check 0
2478
check 0
2479
check 0
2480
switch 8
2481
check 0
2482
check 1
2483
50
2484
check 0
2485
switch 5
2486
check 0
2487
check 1
2488
51
2489
check 0
2490
check 0
2491
check 0
2492
end_SG
2493
begin_DTG
2494
2
2495
1
2496
34
2497
1
2498
20 11
2499
1
2500
47
2501
1
2502
20 16
2503
2
2504
0
2505
44
2506
2
2507
20 15
2508
1 0
2509
0
2510
45
2511
2
2512
20 15
2513
3 0
2514
end_DTG
2515
begin_DTG
2516
3
2517
1
2518
18
2519
1
2520
20 6
2521
1
2522
36
2523
1
2524
20 12
2525
1
2526
44
2527
1
2528
20 15
2529
3
2530
0
2531
32
2532
2
2533
20 11
2534
4 0
2535
0
2536
33
2537
2
2538
20 11
2539
2 0
2540
0
2541
34
2542
2
2543
20 11
2544
0 0
2545
end_DTG
2546
begin_DTG
2547
3
2548
1
2549
21
2550
1
2551
20 7
2552
1
2553
33
2554
1
2555
20 11
2556
1
2557
46
2558
1
2559
20 16
2560
3
2561
0
2562
35
2563
2
2564
20 12
2565
12 0
2566
0
2567
36
2568
2
2569
20 12
2570
1 0
2571
0
2572
37
2573
2
2574
20 12
2575
3 0
2576
end_DTG
2577
begin_DTG
2578
3
2579
1
2580
37
2581
1
2582
20 12
2583
1
2584
45
2585
1
2586
20 15
2587
1
2588
88
2589
2
2590
20 7
2591
21 11
2592
3
2593
0
2594
46
2595
2
2596
20 16
2597
2 0
2598
0
2599
47
2600
2
2601
20 16
2602
0 0
2603
0
2604
99
2605
3
2606
20 16
2607
21 11
2608
12 0
2609
end_DTG
2610
begin_DTG
2611
4
2612
1
2613
19
2614
1
2615
20 7
2616
1
2617
32
2618
1
2619
20 11
2620
1
2621
68
2622
2
2623
20 8
2624
17 7
2625
1
2626
90
2627
2
2628
20 8
2629
21 7
2630
4
2631
0
2632
17
2633
2
2634
20 6
2635
12 0
2636
0
2637
18
2638
2
2639
20 6
2640
1 0
2641
0
2642
65
2643
3
2644
20 6
2645
17 7
2646
16 0
2647
0
2648
86
2649
3
2650
20 6
2651
21 7
2652
16 0
2653
end_DTG
2654
begin_DTG
2655
4
2656
1
2657
40
2658
1
2659
20 13
2660
1
2661
51
2662
1
2663
20 18
2664
1
2665
72
2666
2
2667
20 9
2668
17 11
2669
1
2670
94
2671
2
2672
20 9
2673
21 12
2674
4
2675
0
2676
48
2677
2
2678
20 17
2679
7 0
2680
0
2681
49
2682
2
2683
20 17
2684
6 0
2685
0
2686
77
2687
3
2688
20 17
2689
17 11
2690
19 0
2691
0
2692
100
2693
3
2694
20 17
2695
21 12
2696
19 0
2697
end_DTG
2698
begin_DTG
2699
4
2700
1
2701
43
2702
1
2703
20 14
2704
1
2705
49
2706
1
2707
20 17
2708
1
2709
75
2710
2
2711
20 10
2712
17 12
2713
1
2714
97
2715
2
2716
20 10
2717
21 13
2718
4
2719
0
2720
50
2721
2
2722
20 18
2723
8 0
2724
0
2725
51
2726
2
2727
20 18
2728
5 0
2729
0
2730
78
2731
3
2732
20 18
2733
17 12
2734
18 0
2735
0
2736
101
2737
3
2738
20 18
2739
21 13
2740
18 0
2741
end_DTG
2742
begin_DTG
2743
5
2744
1
2745
28
2746
1
2747
20 9
2748
1
2749
42
2750
1
2751
20 14
2752
1
2753
48
2754
1
2755
20 17
2756
1
2757
63
2758
2
2759
20 4
2760
17 9
2761
1
2762
84
2763
2
2764
20 4
2765
21 9
2766
5
2767
0
2768
38
2769
2
2770
20 13
2771
19 0
2772
0
2773
39
2774
2
2775
20 13
2776
8 0
2777
0
2778
40
2779
2
2780
20 13
2781
5 0
2782
0
2783
76
2784
3
2785
20 13
2786
17 9
2787
11 0
2788
0
2789
98
2790
3
2791
20 13
2792
21 9
2793
11 0
2794
end_DTG
2795
begin_DTG
2796
5
2797
1
2798
31
2799
1
2800
20 10
2801
1
2802
39
2803
1
2804
20 13
2805
1
2806
50
2807
1
2808
20 18
2809
1
2810
53
2811
2
2812
20 5
2813
17 10
2814
1
2815
56
2816
2
2817
20 5
2818
21 10
2819
5
2820
0
2821
41
2822
2
2823
20 14
2824
18 0
2825
0
2826
42
2827
2
2828
20 14
2829
7 0
2830
0
2831
43
2832
2
2833
20 14
2834
6 0
2835
0
2836
54
2837
3
2838
20 14
2839
17 10
2840
15 0
2841
0
2842
57
2843
3
2844
20 14
2845
21 10
2846
15 0
2847
end_DTG
2848
begin_DTG
2849
5
2850
1
2851
0
2852
1
2853
20 0
2854
1
2855
5
2856
1
2857
20 2
2858
1
2859
10
2860
1
2861
20 4
2862
1
2863
70
2864
2
2865
20 9
2866
17 4
2867
1
2868
92
2869
2
2870
20 9
2871
21 4
2872
5
2873
0
2874
2
2875
2
2876
20 1
2877
13 0
2878
0
2879
3
2880
2
2881
20 1
2882
14 0
2883
0
2884
4
2885
2
2886
20 1
2887
11 0
2888
0
2889
60
2890
3
2891
20 1
2892
17 4
2893
19 0
2894
0
2895
81
2896
3
2897
20 1
2898
21 4
2899
19 0
2900
end_DTG
2901
begin_DTG
2902
5
2903
1
2904
1
2905
1
2906
20 0
2907
1
2908
11
2909
1
2910
20 4
2911
1
2912
22
2913
1
2914
20 8
2915
1
2916
64
2917
2
2918
20 5
2919
17 4
2920
1
2921
85
2922
2
2923
20 5
2924
21 4
2925
5
2926
0
2927
7
2928
2
2929
20 3
2930
13 0
2931
0
2932
8
2933
2
2934
20 3
2935
11 0
2936
0
2937
9
2938
2
2939
20 3
2940
16 0
2941
0
2942
52
2943
3
2944
20 3
2945
17 4
2946
15 0
2947
0
2948
55
2949
3
2950
20 3
2951
21 4
2952
15 0
2953
end_DTG
2954
begin_DTG
2955
6
2956
1
2957
4
2958
1
2959
20 1
2960
1
2961
8
2962
1
2963
20 3
2964
1
2965
15
2966
1
2967
20 5
2968
1
2969
25
2970
1
2971
20 9
2972
1
2973
76
2974
2
2975
20 13
2976
17 9
2977
1
2978
98
2979
2
2980
20 13
2981
21 9
2982
6
2983
0
2984
10
2985
2
2986
20 4
2987
9 0
2988
0
2989
11
2990
2
2991
20 4
2992
10 0
2993
0
2994
12
2995
2
2996
20 4
2997
15 0
2998
0
2999
13
3000
2
3001
20 4
3002
19 0
3003
0
3004
63
3005
3
3006
20 4
3007
17 9
3008
7 0
3009
0
3010
84
3011
3
3012
20 4
3013
21 9
3014
7 0
3015
end_DTG
3016
begin_DTG
3017
6
3018
1
3019
17
3020
1
3021
20 6
3022
1
3023
23
3024
1
3025
20 8
3026
1
3027
35
3028
1
3029
20 12
3030
1
3031
71
3032
2
3033
20 9
3034
17 8
3035
1
3036
93
3037
2
3038
20 9
3039
21 8
3040
1
3041
99
3042
2
3043
20 16
3044
21 11
3045
6
3046
0
3047
19
3048
2
3049
20 7
3050
4 0
3051
0
3052
20
3053
2
3054
20 7
3055
16 0
3056
0
3057
21
3058
2
3059
20 7
3060
2 0
3061
0
3062
66
3063
3
3064
20 7
3065
17 8
3066
19 0
3067
0
3068
87
3069
3
3070
20 7
3071
21 8
3072
19 0
3073
0
3074
88
3075
3
3076
20 7
3077
21 11
3078
3 0
3079
end_DTG
3080
begin_DTG
3081
6
3082
1
3083
2
3084
1
3085
20 1
3086
1
3087
7
3088
1
3089
20 3
3090
1
3091
61
3092
2
3093
20 2
3094
17 1
3095
1
3096
67
3097
2
3098
20 8
3099
17 3
3100
1
3101
82
3102
2
3103
20 2
3104
21 1
3105
1
3106
89
3107
2
3108
20 8
3109
21 3
3110
6
3111
0
3112
0
3113
2
3114
20 0
3115
9 0
3116
0
3117
1
3118
2
3119
20 0
3120
10 0
3121
0
3122
58
3123
3
3124
20 0
3125
17 1
3126
14 0
3127
0
3128
59
3129
3
3130
20 0
3131
17 3
3132
16 0
3133
0
3134
79
3135
3
3136
20 0
3137
21 1
3138
14 0
3139
0
3140
80
3141
3
3142
20 0
3143
21 3
3144
16 0
3145
end_DTG
3146
begin_DTG
3147
6
3148
1
3149
3
3150
1
3151
20 1
3152
1
3153
14
3154
1
3155
20 5
3156
1
3157
58
3158
2
3159
20 0
3160
17 1
3161
1
3162
73
3163
2
3164
20 10
3165
17 5
3166
1
3167
79
3168
2
3169
20 0
3170
21 1
3171
1
3172
95
3173
2
3174
20 10
3175
21 5
3176
6
3177
0
3178
5
3179
2
3180
20 2
3181
9 0
3182
0
3183
6
3184
2
3185
20 2
3186
15 0
3187
0
3188
61
3189
3
3190
20 2
3191
17 1
3192
13 0
3193
0
3194
62
3195
3
3196
20 2
3197
17 5
3198
18 0
3199
0
3200
82
3201
3
3202
20 2
3203
21 1
3204
13 0
3205
0
3206
83
3207
3
3208
20 2
3209
21 5
3210
18 0
3211
end_DTG
3212
begin_DTG
3213
7
3214
1
3215
6
3216
1
3217
20 2
3218
1
3219
12
3220
1
3221
20 4
3222
1
3223
29
3224
1
3225
20 10
3226
1
3227
52
3228
2
3229
20 3
3230
17 4
3231
1
3232
54
3233
2
3234
20 14
3235
17 10
3236
1
3237
55
3238
2
3239
20 3
3240
21 4
3241
1
3242
57
3243
2
3244
20 14
3245
21 10
3246
7
3247
0
3248
14
3249
2
3250
20 5
3251
14 0
3252
0
3253
15
3254
2
3255
20 5
3256
11 0
3257
0
3258
16
3259
2
3260
20 5
3261
18 0
3262
0
3263
53
3264
3
3265
20 5
3266
17 10
3267
8 0
3268
0
3269
56
3270
3
3271
20 5
3272
21 10
3273
8 0
3274
0
3275
64
3276
3
3277
20 5
3278
17 4
3279
10 0
3280
0
3281
85
3282
3
3283
20 5
3284
21 4
3285
10 0
3286
end_DTG
3287
begin_DTG
3288
9
3289
1
3290
9
3291
1
3292
20 3
3293
1
3294
20
3295
1
3296
20 7
3297
1
3298
26
3299
1
3300
20 9
3301
1
3302
59
3303
2
3304
20 0
3305
17 3
3306
1
3307
65
3308
2
3309
20 6
3310
17 7
3311
1
3312
74
3313
2
3314
20 10
3315
17 9
3316
1
3317
80
3318
2
3319
20 0
3320
21 3
3321
1
3322
86
3323
2
3324
20 6
3325
21 7
3326
1
3327
96
3328
2
3329
20 10
3330
21 9
3331
9
3332
0
3333
22
3334
2
3335
20 8
3336
10 0
3337
0
3338
23
3339
2
3340
20 8
3341
12 0
3342
0
3343
24
3344
2
3345
20 8
3346
19 0
3347
0
3348
67
3349
3
3350
20 8
3351
17 3
3352
13 0
3353
0
3354
68
3355
3
3356
20 8
3357
17 7
3358
4 0
3359
0
3360
69
3361
3
3362
20 8
3363
17 9
3364
18 0
3365
0
3366
89
3367
3
3368
20 8
3369
21 3
3370
13 0
3371
0
3372
90
3373
3
3374
20 8
3375
21 7
3376
4 0
3377
0
3378
91
3379
3
3380
20 8
3381
21 9
3382
18 0
3383
end_DTG
3384
begin_DTG
3385
0
3386
2
3387
0
3388
61
3389
2
3390
20 2
3391
13 0
3392
2
3393
58
3394
2
3395
20 0
3396
14 0
3397
0
3398
2
3399
0
3400
67
3401
2
3402
20 8
3403
13 0
3404
8
3405
59
3406
2
3407
20 0
3408
16 0
3409
4
3410
1
3411
70
3412
2
3413
20 9
3414
9 0
3415
3
3416
64
3417
2
3418
20 5
3419
10 0
3420
5
3421
52
3422
2
3423
20 3
3424
15 0
3425
9
3426
60
3427
2
3428
20 1
3429
19 0
3430
2
3431
2
3432
73
3433
2
3434
20 10
3435
14 0
3436
10
3437
62
3438
2
3439
20 2
3440
18 0
3441
0
3442
2
3443
6
3444
68
3445
2
3446
20 8
3447
4 0
3448
8
3449
65
3450
2
3451
20 6
3452
16 0
3453
2
3454
7
3455
71
3456
2
3457
20 9
3458
12 0
3459
9
3460
66
3461
2
3462
20 7
3463
19 0
3464
4
3465
4
3466
76
3467
2
3468
20 13
3469
11 0
3470
8
3471
74
3472
2
3473
20 10
3474
16 0
3475
10
3476
69
3477
2
3478
20 8
3479
18 0
3480
11
3481
63
3482
2
3483
20 4
3484
7 0
3485
2
3486
5
3487
54
3488
2
3489
20 14
3490
15 0
3491
12
3492
53
3493
2
3494
20 5
3495
8 0
3496
2
3497
9
3498
77
3499
2
3500
20 17
3501
19 0
3502
13
3503
72
3504
2
3505
20 9
3506
5 0
3507
2
3508
10
3509
78
3510
2
3511
20 18
3512
18 0
3513
14
3514
75
3515
2
3516
20 10
3517
6 0
3518
0
3519
0
3520
end_DTG
3521
begin_DTG
3522
9
3523
1
3524
16
3525
1
3526
20 5
3527
1
3528
27
3529
1
3530
20 9
3531
1
3532
41
3533
1
3534
20 14
3535
1
3536
62
3537
2
3538
20 2
3539
17 5
3540
1
3541
69
3542
2
3543
20 8
3544
17 9
3545
1
3546
78
3547
2
3548
20 18
3549
17 12
3550
1
3551
83
3552
2
3553
20 2
3554
21 5
3555
1
3556
91
3557
2
3558
20 8
3559
21 9
3560
1
3561
101
3562
2
3563
20 18
3564
21 13
3565
9
3566
0
3567
29
3568
2
3569
20 10
3570
15 0
3571
0
3572
30
3573
2
3574
20 10
3575
19 0
3576
0
3577
31
3578
2
3579
20 10
3580
8 0
3581
0
3582
73
3583
3
3584
20 10
3585
17 5
3586
14 0
3587
0
3588
74
3589
3
3590
20 10
3591
17 9
3592
16 0
3593
0
3594
75
3595
3
3596
20 10
3597
17 12
3598
6 0
3599
0
3600
95
3601
3
3602
20 10
3603
21 5
3604
14 0
3605
0
3606
96
3607
3
3608
20 10
3609
21 9
3610
16 0
3611
0
3612
97
3613
3
3614
20 10
3615
21 13
3616
6 0
3617
end_DTG
3618
begin_DTG
3619
10
3620
1
3621
13
3622
1
3623
20 4
3624
1
3625
24
3626
1
3627
20 8
3628
1
3629
30
3630
1
3631
20 10
3632
1
3633
38
3634
1
3635
20 13
3636
1
3637
60
3638
2
3639
20 1
3640
17 4
3641
1
3642
66
3643
2
3644
20 7
3645
17 8
3646
1
3647
77
3648
2
3649
20 17
3650
17 11
3651
1
3652
81
3653
2
3654
20 1
3655
21 4
3656
1
3657
87
3658
2
3659
20 7
3660
21 8
3661
1
3662
100
3663
2
3664
20 17
3665
21 12
3666
10
3667
0
3668
25
3669
2
3670
20 9
3671
11 0
3672
0
3673
26
3674
2
3675
20 9
3676
16 0
3677
0
3678
27
3679
2
3680
20 9
3681
18 0
3682
0
3683
28
3684
2
3685
20 9
3686
7 0
3687
0
3688
70
3689
3
3690
20 9
3691
17 4
3692
9 0
3693
0
3694
71
3695
3
3696
20 9
3697
17 8
3698
12 0
3699
0
3700
72
3701
3
3702
20 9
3703
17 11
3704
5 0
3705
0
3706
92
3707
3
3708
20 9
3709
21 4
3710
9 0
3711
0
3712
93
3713
3
3714
20 9
3715
21 8
3716
12 0
3717
0
3718
94
3719
3
3720
20 9
3721
21 12
3722
5 0
3723
end_DTG
3724
begin_DTG
3725
6
3726
1
3727
0
3728
1
3729
9 0
3730
1
3731
58
3732
2
3733
17 1
3734
14 0
3735
1
3736
79
3737
2
3738
21 1
3739
14 0
3740
3
3741
1
3742
1
3743
10 0
3744
3
3745
59
3746
2
3747
17 3
3748
16 0
3749
3
3750
80
3751
2
3752
21 3
3753
16 0
3754
5
3755
0
3756
2
3757
1
3758
13 0
3759
2
3760
3
3761
1
3762
14 0
3763
4
3764
4
3765
1
3766
11 0
3767
4
3768
60
3769
2
3770
17 4
3771
19 0
3772
4
3773
81
3774
2
3775
21 4
3776
19 0
3777
6
3778
1
3779
5
3780
1
3781
9 0
3782
1
3783
61
3784
2
3785
17 1
3786
13 0
3787
1
3788
82
3789
2
3790
21 1
3791
13 0
3792
5
3793
6
3794
1
3795
15 0
3796
5
3797
62
3798
2
3799
17 5
3800
18 0
3801
5
3802
83
3803
2
3804
21 5
3805
18 0
3806
5
3807
0
3808
7
3809
1
3810
13 0
3811
4
3812
8
3813
1
3814
11 0
3815
4
3816
52
3817
2
3818
17 4
3819
15 0
3820
4
3821
55
3822
2
3823
21 4
3824
15 0
3825
8
3826
9
3827
1
3828
16 0
3829
6
3830
1
3831
10
3832
1
3833
9 0
3834
3
3835
11
3836
1
3837
10 0
3838
5
3839
12
3840
1
3841
15 0
3842
9
3843
13
3844
1
3845
19 0
3846
9
3847
63
3848
2
3849
17 9
3850
7 0
3851
9
3852
84
3853
2
3854
21 9
3855
7 0
3856
7
3857
2
3858
14
3859
1
3860
14 0
3861
4
3862
15
3863
1
3864
11 0
3865
4
3866
64
3867
2
3868
17 4
3869
10 0
3870
4
3871
85
3872
2
3873
21 4
3874
10 0
3875
10
3876
16
3877
1
3878
18 0
3879
10
3880
53
3881
2
3882
17 10
3883
8 0
3884
10
3885
56
3886
2
3887
21 10
3888
8 0
3889
4
3890
7
3891
17
3892
1
3893
12 0
3894
7
3895
65
3896
2
3897
17 7
3898
16 0
3899
7
3900
86
3901
2
3902
21 7
3903
16 0
3904
11
3905
18
3906
1
3907
1 0
3908
6
3909
6
3910
19
3911
1
3912
4 0
3913
8
3914
20
3915
1
3916
16 0
3917
8
3918
66
3919
2
3920
17 8
3921
19 0
3922
8
3923
87
3924
2
3925
21 8
3926
19 0
3927
12
3928
21
3929
1
3930
2 0
3931
12
3932
88
3933
2
3934
21 11
3935
3 0
3936
9
3937
3
3938
22
3939
1
3940
10 0
3941
3
3942
67
3943
2
3944
17 3
3945
13 0
3946
3
3947
89
3948
2
3949
21 3
3950
13 0
3951
7
3952
23
3953
1
3954
12 0
3955
7
3956
68
3957
2
3958
17 7
3959
4 0
3960
7
3961
90
3962
2
3963
21 7
3964
4 0
3965
9
3966
24
3967
1
3968
19 0
3969
9
3970
69
3971
2
3972
17 9
3973
18 0
3974
9
3975
91
3976
2
3977
21 9
3978
18 0
3979
10
3980
4
3981
25
3982
1
3983
11 0
3984
4
3985
70
3986
2
3987
17 4
3988
9 0
3989
4
3990
92
3991
2
3992
21 4
3993
9 0
3994
8
3995
26
3996
1
3997
16 0
3998
8
3999
71
4000
2
4001
17 8
4002
12 0
4003
8
4004
93
4005
2
4006
21 8
4007
12 0
4008
10
4009
27
4010
1
4011
18 0
4012
13
4013
28
4014
1
4015
7 0
4016
13
4017
72
4018
2
4019
17 11
4020
5 0
4021
13
4022
94
4023
2
4024
21 12
4025
5 0
4026
9
4027
5
4028
29
4029
1
4030
15 0
4031
5
4032
73
4033
2
4034
17 5
4035
14 0
4036
5
4037
95
4038
2
4039
21 5
4040
14 0
4041
9
4042
30
4043
1
4044
19 0
4045
9
4046
74
4047
2
4048
17 9
4049
16 0
4050
9
4051
96
4052
2
4053
21 9
4054
16 0
4055
14
4056
31
4057
1
4058
8 0
4059
14
4060
75
4061
2
4062
17 12
4063
6 0
4064
14
4065
97
4066
2
4067
21 13
4068
6 0
4069
3
4070
6
4071
32
4072
1
4073
4 0
4074
12
4075
33
4076
1
4077
2 0
4078
15
4079
34
4080
1
4081
0 0
4082
3
4083
7
4084
35
4085
1
4086
12 0
4087
11
4088
36
4089
1
4090
1 0
4091
16
4092
37
4093
1
4094
3 0
4095
5
4096
9
4097
38
4098
1
4099
19 0
4100
9
4101
76
4102
2
4103
17 9
4104
11 0
4105
9
4106
98
4107
2
4108
21 9
4109
11 0
4110
14
4111
39
4112
1
4113
8 0
4114
17
4115
40
4116
1
4117
5 0
4118
5
4119
10
4120
41
4121
1
4122
18 0
4123
10
4124
54
4125
2
4126
17 10
4127
15 0
4128
10
4129
57
4130
2
4131
21 10
4132
15 0
4133
13
4134
42
4135
1
4136
7 0
4137
18
4138
43
4139
1
4140
6 0
4141
2
4142
11
4143
44
4144
1
4145
1 0
4146
16
4147
45
4148
1
4149
3 0
4150
3
4151
12
4152
46
4153
1
4154
2 0
4155
12
4156
99
4157
2
4158
21 11
4159
12 0
4160
15
4161
47
4162
1
4163
0 0
4164
4
4165
13
4166
48
4167
1
4168
7 0
4169
13
4170
77
4171
2
4172
17 11
4173
19 0
4174
13
4175
100
4176
2
4177
21 12
4178
19 0
4179
18
4180
49
4181
1
4182
6 0
4183
4
4184
14
4185
50
4186
1
4187
8 0
4188
14
4189
78
4190
2
4191
17 12