llvm/polly/lib/External/isl/test_inputs/convex15.polylib

17 8
1    -1    -8     0    16     0     0    37
1     1     0   -48     0     2     0    -3
1     0   -16   -32    16     1     0    14
1    -1    24     0     0     1     0    18
1    -1     8    16     0     0     1    21
1     0     0   -16     0     1     1    -2
1     1    32    16   -32     0     0    -1
1    -1    16    16     0     0     0    28
1     1    -8   -32     0     1     0    -1
1     0     0     0     0     1     0    -1
1     0    16    16   -16     0     1    -1
1     1     8     0   -16     0     0     0
1     0     3     2    -2     0     0     0
1     0     1     2    -1     0     0     0
1     0    -1    -1     1     0     0     0
1    -1     8     0     0     1     2     4
1    -1   -24   -32    32     1     0    36

13 8
1    -1     0     0     0     1     3    -4
1     1     0   -48     0     2     0    -2
1     0     0     0     0     1     0    -1
1     0    -8     0     0     0     1    -1
1     0     3     2    -2     0     0     0
1     1   -16   -16     0     0     0     0
1     1   -24     0     0     0     0     0
1     0     1     0     0     0     0     0
1     0    -3    -2     2     0     0     1
1    -1     0    16     0     0     2    13
1    -1    24     0     0     1     0    20
1    -1    16    16     0     0     0    29
1    -1     0    48     0     0     0    45

31 8
   1    0    1    0    0    0    0    0 
   1    0    0  -16    0    1    1   -2 
   1    0    0    0    0    1    0   -1 
   1   -1    8    0    0    1    2    4 
   1    0    3    2   -2    0    0    0 
   1   -1   24    0    0    1    0   20 
   1    1    0  -48    0    2    0   -2 
   1   -1  -24  -32   32    1    0   36 
   1    0    0    0    0    0    1   -1 
   1   -1   24   64  -16    0    0   45 
   1  -15  120  112    0   15   38   52 
   1    1   24   32  -32    0    0    0 
   1    0   -2   -2    2    0    0    1 
   1   -1    8   16    0    0    1   21 
   1  -15  120  352    0    0   23  307 
   1    1   -8  -32    0    1    0   -1 
   1    1   -8    0    0    0    0    0 
   1    1   -8  -16    0    0    0    0 
   1    0   16   16  -16    0    1   -1 
   1   -1   16   16    0    0    0   29 
   1   -1   -8    0   16    0    0   37 
   1   -1    8   32    0    0    0   37 
   1    1    8    0  -16    0    0    0 
   1  -15  360  592 -240    0   23  307 
   1   -1   -6    2   14    0    2   20 
   1  -15  360  352 -240   15   38   52 
   1   -1    8   48    0    0    0   45 
   1    0  -16  -32   16    1    0   14 
   1   -1   -6  -14   14    1    3    3 
   1    1  -38  -78   30    2    0   13 
   1    1   -3  -50    2    2    0   -1