aag 466 38 0 1 428
2
4
6
8
10
42
44
46
92
94
96
142
144
146
192
194
196
242
284
326
368
370
372
418
460
502
544
546
548
594
636
678
720
722
724
770
812
854
933
12 11 1
14 3 1
16 6 15
18 17 1
20 6 15
22 21 1
24 10 19
26 11 22
28 25 27
30 4 13
32 5 29
34 31 33
36 8 35
38 9 29
40 37 39
48 47 1
50 43 1
52 43 1
54 46 51
56 47 52
58 55 57
60 44 49
62 45 59
64 61 63
66 47 1
68 44 49
70 45 66
72 69 71
74 6 65
76 7 73
78 75 77
80 6 59
82 7 66
84 81 83
86 8 79
88 9 85
90 87 89
98 97 1
100 93 1
102 93 1
104 96 101
106

... [truncated 4.8 kB]

0][2]<0>
i23 controllable_c[1][2]<0>
i24 controllable_c[2][2]<0>
i25 controllable_c[3][2]<0>
i26 b[0][3]<0>
i27 b[1][3]<0>
i28 controllable_c[0][3]<0>
i29 controllable_c[1][3]<0>
i30 controllable_c[2][3]<0>
i31 controllable_c[3][3]<0>
i32 b[0][4]<0>
i33 b[1][4]<0>
i34 controllable_c[0][4]<0>
i35 controllable_c[1][4]<0>
i36 controllable_c[2][4]<0>
i37 controllable_c[3][4]<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.242139 [2015-pre-classification]
#.