aag 7408 20 323 1 7065
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42 1
44 11199
46 11205
48 11211
50 11220
52 11230
54 11240
56 11250
58 11260
60 11270
62 11280
64 11291
66 11300
68 11307
70 11313
72 11322
74 11332
76 11342
78 11352
80 11362
82 11372
84 11382
86 11393
88 11402
90 11409
92 11415
94 11424
96 11434
98 11444
100 11454
102 11464
104 11474
106 11484
108 11495
110 11504
112 11511
114 11517
116 11526
118 11536
120 11546
122 11556
124 11566
126 11576
128 11586
130 11597
132 11606
134 11

... [truncated 106.0 kB]

>
l302 _state_59<0>
l303 _state_56<0>
l304 _state_53<0>
l305 _state_51<0>
l306 _state_48<0>
l307 _state_43<0>
l308 _state_38<0>
l309 _state_33<0>
l310 _state_28<0>
l311 _state_23<0>
l312 _state_20<0>
l313 _state_19<0>
l314 _state_16<0>
l315 _state_14<0>
l316 _state_13<0>
l317 _state_10<0>
l318 _state_8<0>
l319 _state_7<0>
l320 _state_4<0>
l321 _state_2<0>
l322 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 1/3 [2015-pre-classification]
SOLVED_IN : 103.758 [2015-pre-classification]
#.