aag 3608 25 301 1 3282
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52 1
54 4207
56 4213
58 4219
60 4228
62 4238
64 4248
66 4258
68 4269
70 4278
72 4285
74 4291
76 4300
78 4310
80 4320
82 4330
84 4341
86 4350
88 4357
90 4363
92 4372
94 4382
96 4392
98 4402
100 4413
102 4422
104 4429
106 4435
108 4444
110 4454
112 4464
114 4474
116 4485
118 4494
120 4501
122 4507
124 4516
126 4526
128 4536
130 4546
132 4557
134 4566
136 4573
138 4579
140 4588
142 4598
144 4608
146 4618
148 4629
150 

... [truncated 50.1 kB]

>
l280 _state_48<0>
l281 _state_46<0>
l282 _state_44<0>
l283 _state_42<0>
l284 _state_40<0>
l285 _state_38<0>
l286 _state_36<0>
l287 _state_34<0>
l288 _state_33<0>
l289 _state_32<0>
l290 _state_29<0>
l291 _state_26<0>
l292 _state_24<0>
l293 _state_21<0>
l294 _state_16<0>
l295 _state_11<0>
l296 _state_8<0>
l297 _state_7<0>
l298 _state_4<0>
l299 _state_2<0>
l300 _state_1<0>
o0 accept<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 8.19963 [2015-pre-classification]
#.