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

