* 6 point cut polytope
V-representation
begin
  32  16   integer
1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 
1  1  1  1  1  1  -1  -1  -1  -1  -1  -1  -1  -1  -1  -1
1  -1  1  1  1  1  1  1  1  1  -1  -1  -1  -1  -1  -1
1  1  -1  1  1  1  1  -1  -1  -1  1  1  1  -1  -1  -1
1  1  1  -1  1  1  -1  1  -1  -1  1  -1  -1  1  1  -1
1  1  1  1  -1  1  -1  -1  1  -1  -1  1  -1  1  -1  1
1  1  1  1  1  -1  -1  -1  -1  1  -1  -1  1  -1  1  1
1  -1  -1  1  1  1  -1  1  1  1  1  1  1  -1  -1  -1
1  -1  1  -1  1  1  1  -1  1  1  1  -1  -1  1  1  -1
1  -1  1  1  -1  1  1  1  -1  1  -1  1  -1  1  -1  1
1  -1  1  1  1  -1  1  1  1  -1  -1  -1  1  -1  1  1
1  1  -1  -1  1  1  1  1  -1  -1  -1  1  1  1  1  -1
1  1  -1  1  -1  1  1  -1  1  -1  1  -1  1  1  -1  1
1  1  -1  1  1  -1  1  -1  -1  1  1  1  -1  -1  1  1
1  1  1  -1  -1  1  -1  1  1  -1  1  1  -1  -1  1  1
1  1  1  -1  1  -1  -1  1  -1  1  1  -1  1  1  -1  1
1  1  1  1  -1  -1  -1  -1  1  1  -1  1  1  1  1  -1
1  -1  -1  -1  1  1  -1  -1  1  1  -1  1  1  1  1  -1
1  -1  -1  1  -1  1  -1  1  -1  1  1  -1  1  1  -1  1
1  -1  -1  1  1  -1  -1  1  1  -1  1  1  -1  -1  1  1
1  -1  1  -1  -1  1  1  -1  -1  1  1  1  -1  -1  1  1
1  -1  1  -1  1  -1  1  -1  1  -1  1  -1  1  1  -1  1
1  -1  1  1  -1  -1  1  1  -1  -1  -1  1  1  1  1  -1
1  1  -1  -1  -1  1  1  1  1  -1  -1  -1  1  -1  1  1
1  1  -1  -1  1  -1  1  1  -1  1  -1  1  -1  1  -1  1
1  1  -1  1  -1  -1  1  -1  1  1  1  -1  -1  1  1  -1
1  1  1  -1  -1  -1  -1  1  1  1  1  1  1  -1  -1  -1
1  -1  -1  -1  -1  1  -1  -1  -1  1  -1  -1  1  -1  1  1
1  -1  -1  -1  1  -1  -1  -1  1  -1  -1  1  -1  1  -1  1
1  -1  -1  1  -1  -1  -1  1  -1  -1  1  -1  -1  1  1  -1
1  -1  1  -1  -1  -1  1  -1  -1  -1  1  1  1  -1  -1  -1
1  1  -1  -1  -1  -1  1  1  1  1  -1  -1  -1  -1  -1  -1
end