aag 127 4 28 1 95
2
4
6
8
10 0
12 223
14 227
16 235
18 0
20 237
22 239
24 243
26 0
28 161
30 165
32 173
34 157
36 36
38 38
40 40
42 0
44 192
46 194
48 201
50 0
52 185
54 187
56 191
58 0
60 174
62 176
64 183
255
66 1 29
68 66 19
70 68 41
72 70 13
74 72 61
76 74 51
78 76 27
80 78 49
82 80 21
84 82 39
86 84 59
88 86 53
90 88 15
92 90 47
94 92 23
96 94 65
98 96 33
100 98 37
102 100 17
104 102 55
106 104 45
108 106 25
110 108 63
112 110 31
114 112 35
116 114 11
118 116 57
120 118 43
122 15 17
124 23 25
126 1 7
1

... [truncated 661 Bytes]

9
252 250 57
254 252 65
i0 req
i1 cancel
i2 go
i3 controllable_grant
l0 latch0
l1 latch1
l2 latch2
l3 latch3
l4 latch4
l5 latch5
l6 latch6
l7 latch7
l8 latch8
l9 latch9
l10 latch10
l11 latch11
l12 latch12
l13 latch13
l14 latch14
l15 latch15
l16 latch16
l17 latch17
l18 latch18
l19 latch19
l20 latch20
l21 latch21
l22 latch22
l23 latch23
l24 latch24
l25 latch25
l26 latch26
l27 latch27
o0 error
c
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 7/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.008 [SYNTCOMP2014-RealSeq]
#.