isl_basic_map_find_output_upper_div_constraint: extract find_later_constraint_...
[isl.git] / testsets / pip / bouleti.pip
blobbe3b259c17462b243cb3201ea111772860a36287
1 1 8
2 1 0 -1 1 0 0 0 -1
4 -1
6 24 17
7 1 0 0 0 -1 0 0 0 0 0 1 -1 1 0 0 0 0
8 1 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0
9 1 0 0 0 0 -1 0 0 0 0 1 -1 1 0 0 0 0
10 1 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0
11 1 0 0 0 0 0 1 0 0 0 -1 1 0 -1 0 0 0
12 1 -1 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 0
13 1 0 -1 0 0 0 0 0 0 0 1 -1 0 0 1 0 0
14 1 0 0 1 0 0 0 0 0 0 -1 1 0 0 0 -1 -1
15 1 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 -1
16 1 0 0 0 1 1 -1 0 0 0 -1 0 0 0 0 0 0
17 1 0 0 -1 0 0 0 2 0 0  -1 0 0 0 0 0 0
18 1 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1
19 1 0 0 0 0 0 0 1 1 -1 -1 0 0 0 0 0 0
20 1 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 -1
21 1 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1
22 1 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 -1
23 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1
24 1 1 1 0 0 0 0 0 0 0 -2 2 0 -1 -1 0 0
25 1 0 0 0 2 0 0 0 0 0 -2 1 0 0 0 -1 0
26 1 0 -1 0 0 0 0 0 4 3 -6 0 0 0 0 0 0
27 1 0 0 0 0 4 3 0 0 0 -7 1 0 0 -1 0 0
28 1 1 1 1 0 0 0 -2 -4 -4 7 0 0 0 0 0 0
29 1 0 0 0 -2 -4 -4 0 0 0 10 -3 0 1 1 1 0
30 1 -1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0