aag 57 2 12 1 43
2
4
6 0
8 99
10 103
12 111
14 0
16 83
18 87
20 95
22 52
24 0
26 0
28 0
115
30 1 7
32 30 9
34 32 11
36 34 27
38 36 13
40 38 29
42 40 23
44 42 25
46 44 17
48 46 15
50 48 21
52 50 19
54 1 3
56 54 4
58 6 56
60 8 56
62 10 56
64 12 56
66 63 65
68 2 5
70 14 68
72 16 68
74 18 68
76 20 68
78 75 77
80 22 68
82 71 81
84 24 68
86 73 85
88 26 68
90 78 89
92 28 68
94 90 93
96 22 56
98 59 97
100 24 56
102 61 101
104 26 56
106 66 105
108 28 56
110 106 109
112 13 21
114 112 29
i0 r1
i1 controllable_a1
l0 latch0
l1 latch1
l2 latch2
l3 latch3
l4 latch4
l5 latch5
l6 latch6
l7 latch7
l8 latch8
l9 latch9
l10 latch10
l11 latch11
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 8/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.004 [SYNTCOMP2014-RealSeq]
#.