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

1 4
1 1 1 -6

2 4
0 1 0 -1
0 0 1 -4

1 4
1 1 1 -5