aag 677 13 93 1 571
2
4
6
8
10
12
14
16
18
20
22
24
26
28 1
30 485
32 491
34 497
36 506
38 517
40 526
42 533
44 539
46 548
48 559
50 568
52 575
54 581
56 590
58 601
60 610
62 617
64 623
66 632
68 643
70 652
72 659
74 665
76 675
78 684
80 694
82 701
84 707
86 717
88 726
90 736
92 743
94 749
96 759
98 768
100 778
102 785
104 791
106 801
108 810
110 820
112 827
114 833
116 843
118 849
120 855
122 864
124 874
126 881
128 887
130 897
132 907
134 913
136 919
138 925
140 935
142 941
144 947
146 956
148 966
150 973

... [truncated 8.1 kB]

43<0>
l71 _state_42<0>
l72 _state_41<0>
l73 _state_38<0>
l74 _state_35<0>
l75 _state_33<0>
l76 _state_32<0>
l77 _state_31<0>
l78 _state_28<0>
l79 _state_25<0>
l80 _state_23<0>
l81 _state_21<0>
l82 _state_19<0>
l83 _state_18<0>
l84 _state_17<0>
l85 _state_14<0>
l86 _state_11<0>
l87 _state_9<0>
l88 _state_8<0>
l89 _state_7<0>
l90 _state_4<0>
l91 _state_2<0>
l92 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.144395 [2015-pre-classification]
#.