H-representation
begin
14  4  integer
  5  -1  -1  1
  2  0  0  1
  5  -1  1  1
  5  1  -1  1
  2  1  0  0
  5  1  1  1
  5  1  1  -1
  5  1  -1  -1
  2  0  1  0
  5  -1  1  -1
  2  0  0  -1
  5  -1  -1  -1
  2  0  -1  0
  2  -1  0  0
end