Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (62.5 KB)

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