* top facet of cube
linearity 1 3
H-representation
begin
6  4 integer
 1 -1  0  0 
 1  0 -1  0 
 1  0  0 -1 
 0  1  0  0 
 0  0  1  0 
 0  0  0  1 
end