* filename: nonfull.ine
* non full-dimensional polyhedron
H-representation
begin
    6      4    integer
  2   -1   0   0
 -2    1   0   0
  2    0  -1   0
 -1    1   0   0
 -1    0   1   0
 -1    0   0   1
end
