Test/others/frank

   1 # Example 4 in Philippe's supercomputing paper (96)
   2
   3 # run union_disjointe on this input to get a set of 4 disjoint
   4 # convex polyhedra.
   5
   6 2
   7
   8 5 5
   9 1  1  0 0 -1   1 <= i
  10 1 -1  0 0  3        i <= 3
  11 1  0  1 0 -1   1 <= j
  12 1  0 -1 1  0        j <= n
  13 1  0  0 1 -1   n>=1
  14 5 5
  15 1  1  0  0 -1     1 <= i
  16 1 -1  0  1  3          i <= n+3
  17 1  0  1 -1  1   n-1 <= j
  18 1  0 -1  1  0          j <= n
  19 1  0  0  1 -1   n>=1