source: liacs/da/opdr2a/test2.con@ 45

7
97
7
98
7
99
7
100
13
4
97
7
97
7
98
4
98
7
97
7
99
4
97
7
97
13
2
4
98
7
97
2
4
99
7
97
14
0
0
32
1
0
97
1
3
98
1
4
99
1
5
100
2
0
97
2
1
98
2
3
97
2
4
97
3
1
97
3
2
99
4
1
97
15
1
1
3
98
0
7
0
7
97
3
96
0
3
97
1
3
98
0
7
162
13
7
163
7
164
4
163
9
13
13
7
255
7
33
3
35
0
7
35
7
34
12
4
33
9
-2
14
0
0
32
1
0
0
1
1
97
1
2
162
1
3
163
1
7
164
2
3
33
2
4
34
2
5
35
2
6
255
11
6
255
-1
8
33
2
4
163
5
34
8
34
13
5
35
6
35
255
3
35
1
3
33
0
13
12
4
255
1
1
11
8
35
8
255
13
1
1
2
7
100
13
4
100
9
23
13
12
7
64
7
65
7
199
13
4
65
11
4
65
9
0
11
13
3
65
1
5
64
6
64
65
4
65
13
10
0
9
-1
11
3
65
1
4
65
13
10
-1
12
2
4
100
13
8
65
13
4
64
12
9
12
13
7
234
7
225
4
225
9
20
7
88
13
11
9
14
13
4
234
11
13
10
14
14
0
0
32
1
0
0
1
1
97
1
2
100
1
5
162
1
6
163
1
7
164
2
2
64
2
4
199
3
2
225
3
3
234
4
2
88
7
225
4
225
5
88
2
4
164
7
181
4
181
9
181
2
8
164
3
164
1
4
164
4
181
10
181
14
0
0
32
1
0
0
1
1
97
1
2
100
1
5
162
1
6
163
1
7
164
2
2
64
2
4
199
2
7
181
3
2
225
3
3
234
4
2
88
2
5
0
6
0
97
6
97
100
6
100
162
6
162
163
6
163
164
6
164
-1
4
100
4
64
13
3
234
1
3
22
0
3
106
0
15
7
99
4
99
7
97
7
98
13
7
99
7
100
6
97
98
6
98
99
6
99
100
14
0
0
32
1
0
99
2
0
97
2
1
98
2
2
99
2
3
100
15
7
97
4
97
12
7
98
4
98
7
0
11
13
8
98
3
98
1
14
0
0
32
1
0
97
2
0
98
3
0
0
16