H-representation
begin
16 7 rational
 2  0 -1 -1  0  0 -1 
 2 -1 -1  0 -1  0  0 
 2  0  0  0 -1 -1 -1 
 2 -1  0 -1  0 -1  0 
 0  0  0  0  1  1 -1 
 0 -1  0  1  0  1  0 
 0  0  1  1  0  0 -1 
 0 -1  1  0  1  0  0 
 0  1  0 -1  0  1  0 
 0  0  0  0 -1  1  1 
 0  1  1  0 -1  0  0 
 0  0  1 -1  0  0  1 
 0  1 -1  0  1  0  0 
 0  0 -1  1  0  0  1 
 0  1  0  1  0 -1  0 
 0  0  0  0  1 -1  1 
end