* test file for forced-equality checking
H-representation
begin
    5   4   integer
 0  1  0  0
 0  0  1  0
 0  0  0  1
 1 -1 -1 -1 
-1  1  1  0
end