add isl_int_fits_slong
[platform/upstream/isl.git] / test_inputs / convex10.polylib
1 3 4
2 1 54 1 -4
3 1 2 -1 58
4 1 0 -1 6
5
6 4 4
7 1 54 1 -4
8 1 2 -1 58
9 1 0 1 -7
10 1 -4 1 0
11
12 4 4
13 1  54    1   -4
14 1   2   -1   58
15 1   0   -1  116
16 1   0    0    1
17