# Example 4 in Philippe's supercomputing paper (96)

# run union_disjointe on this input to get a set of 4 disjoint
# convex polyhedra.

2

5 5
1  1  0 0 -1   1 <= i
1 -1  0 0  3        i <= 3
1  0  1 0 -1   1 <= j
1  0 -1 1  0        j <= n
1  0  0 1 -1   n>=1
5 5
1  1  0  0 -1     1 <= i
1 -1  0  1  3          i <= n+3
1  0  1 -1  1   n-1 <= j
1  0 -1  1  0          j <= n
1  0  0  1 -1   n>=1
