* metric_3 polytope
H-representation
begin
4  4  integer
 0 -1 1 1
 0 1 1 -1
 0 1 -1 1
 2 -1 -1 -1
end