* file name: sampleh5.ine
* test file for redundancy removal
H-representation
linearity 1 3
begin
    10   4   integer
 0  1  0  0
 0  0  1  0
 0  0  0  1
 0  2  0  0
 0  0  0  3
 1 -1 -1 -1
 1 -1 -1  0
 1  0 -1 -1
 1 -1  0 -1
 2 -1 -1 -1
end
maximize
 0  1  1  1
