source: liacs/da/fibo_queue/test1.con@ 326

-300
250
8
1
30
1
162
-83
131
139
202
-192
-116
123
-147
5
-37
46
-100
-18
224
204
50
95
-222
34
-292
-167
-225
143
-214
-80
-229
-241
250
-180
6
7
6
2
-292
6
11
6
7
6
2
-241
6
5
1
11
1
-149
-275
247
-256
-219
-257
-146
-53
-26
192
-292
2
-292
6
4
131
-290
6
4
-83
-285
6
4
202
-278
6
4
50
48
6
4
48
-283
6
4
-167
-280
6
4
95
-288
6
4
250
-287
6
1
2
1
-290
-290
6
2
-290
6
11
1
4
1
10
23
300
12
5
6
2
5
6
7
6
2
-290
6
8
-290
-288
-287
-285
-283
-280
-278
-275
-257
-256
-229
-225
-222
-219
-214
-192
-180
-149
-147
-146
-116
-100
-80
-53
-37
-26
-18
5
10
12
23
34
46
123
139
143
162
192
204
224
247
1
6
8
11
8
7
6
2
1
1000
0
13
3
10
1
1000
0
13
3
10
1
1000
0
0
3
6
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
3
3
3
3
3
3
3
3
3
3
3
3
3
6
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
3
10
1
1000
0
0
9
1
10
11
1
43
1
-2
-156
-43
16
-231
-186
72
-65
95
-68
-280
246
244
-161
-15
-17
75
-85
250
124
136
0
-214
-143
-21
-54
241
106
-91
38
165
208
182
-128
-26
-300
-14
-205
-65
-169
28
-44
-174
2
-300
6
2
-280
2
-231
2
-214
8
-205
-186
-174
-169
-161
-156
-143
-128
-91
-85
-68
-65
-65
-54
-44
-43
-26
-21
-17
-15
-14
-2
0
16
28
38
72
75
95
106
124
136
165
182
208
241
244
246
250
1
1
3
1
5
8
9
2
5
6
1
3
1
5
7
10
2
5
6
1
3
1
5
11
12
2
5
6
1
3
1
5
6
13
2
5
6
4
7
5
6
4
6
4
2
4
4
8
3
6
4
10
2
6
4
5
1
8
1
2
3
9
11
12
13
1
1
2
1
5
7
6
4
7
4
6
2
4
6
8
5
1
1
5
1
2
3
3
3
4
6
2
2
6
8
3
3
3
4
1
1
3
1
2
4
5
2
2
6
1
3
1
2
3
3
6
4
4
3
6
2
2
6
8
3
3
3
5
1
1
3
1
1
5
6
2
1
6
1
3
1
1
3
4
2
1
6
4
4
2
6
4
5
1
6
8
1
2
3
6
1
1
3
1
2
3
4
2
2
6
4
4
2
6
4
2
1
6
8
1
3
1
1
3
1
4
10
13
2
4
1
3
1
4
7
11
2
4
6
1
3
1
4
8
12
2
4
1
3
1
4
6
9
2
4
6
1
5
1
4
14
15
16
17
2
4
6
1
5
1
1
2
18
19
20
2
1
6
4
14
1
2
1
4
15
1
2
1
4
16
1
2
1
4
17
1
2
1
6
4
18
1
2
1
4
19
1
2
1
4
20
1
2
1
6
4
11
4
4
8
3
6
2
2
6
4
10
2
6
8
2
3
4
6
7
9
12
13
1
10
1
5
1
1
2
3
4
5
6
11
7
6
11
6
8
10
1
7
1
1
2
3
4
5
6
7
6
2
1
6
11
7
6
8
2
3
4
5
6
7
1
10
1
5
1
3
4
5
6
7
6
2
3
6
1
3
1
2
1
2
6
2
1
6
2
2
6
8
2
4
5
6
7
1
10
1
3
1
1
2
3
6
11
7
6
4
2
-2
6
4
3
-3
6
4
1
-1
6
8
-3
-2
-1
1
10
1
30
1
21
95
112
-246
-80
-224
-247
-207
213
54
-121
-181
-218
126
-191
188
-215
147
102
-257
79
-276
17
79
10
113
-236
141
-110
20
12