third_party/cddlib/examples-ine/cross8.ine

* 8-dim cross polytope
H-representation
begin
256  9  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 -1
 1 1 -1 1 1 1 -1 -1 1
 1 1 -1 1 1 1 -1 1 -1
 1 1 -1 1 1 1 -1 1 1
 1 1 -1 1 1 1 1 -1 -1
 1 1 -1 1 1 1 1 -1 1
 1 1 -1 1 1 1 1 1 -1
 1 1 -1 1 1 1 1 1 1
 1 1 1 1 -1 -1 -1 -1 -1
 1 1 1 1 -1 -1 -1 -1 1
 1 1 1 1 -1 -1 -1 1 -1
 1 1 1 1 -1 -1 -1 1 1
 1 1 1 1 -1 -1 1 -1 -1
 1 1 1 1 -1 -1 1 -1 1
 1 1 1 1 -1 -1 1 1 -1
 1 1 1 1 -1 -1 1 1 1
 1 1 1 1 -1 1 -1 -1 -1
 1 1 1 1 -1 1 -1 -1 1
 1 1 1 1 -1 1 -1 1 -1
 1 1 1 1 -1 1 -1 1 1
 1 1 1 1 -1 1 1 -1 -1
 1 1 1 1 -1 1 1 -1 1
 1 1 1 1 -1 1 1 1 -1
 1 1 1 1 -1 1 1 1 1
 1 1 1 1 1 1 -1 -1 -1
 1 1 1 1 1 1 -1 -1 1
 1 1 1 1 1 1 -1 1 -1
 1 1 1 1 1 1 -1 1 1
 1 1 1 1 1 1 1 1 -1
 1 1 1 1 1 1 1 1 1
 1 1 1 1 1 1 1 -1 1
 1 1 1 1 1 1 1 -1 -1
 1 1 1 1 1 -1 1 1 1
 1 1 1 1 1 -1 1 1 -1
 1 1 1 1 1 -1 1 -1 1
 1 1 1 1 1 -1 1 -1 -1
 1 1 1 1 1 -1 -1 1 1
 1 1 1 1 1 -1 -1 1 -1
 1 1 1 1 1 -1 -1 -1 1
 1 1 1 1 1 -1 -1 -1 -1
 1 1 1 -1 1 1 1 1 1
 1 1 1 -1 1 1 1 1 -1
 1 1 1 -1 1 1 1 -1 1
 1 1 1 -1 1 1 1 -1 -1
 1 1 1 -1 1 1 -1 1 1
 1 1 1 -1 1 1 -1 1 -1
 1 1 1 -1 1 1 -1 -1 1
 1 1 1 -1 1 1 -1 -1 -1
 1 1 1 -1 1 -1 1 1 1
 1 1 1 -1 1 -1 1 1 -1
 1 1 1 -1 1 -1 1 -1 1
 1 1 1 -1 1 -1 1 -1 -1
 1 1 1 -1 1 -1 -1 1 1
 1 1 1 -1 1 -1 -1 1 -1
 1 1 1 -1 1 -1 -1 -1 1
 1 1 1 -1 1 -1 -1 -1 -1
 1 1 1 -1 -1 1 1 1 1
 1 1 1 -1 -1 1 1 1 -1
 1 1 1 -1 -1 1 1 -1 1
 1 1 1 -1 -1 1 1 -1 -1
 1 1 1 -1 -1 1 -1 1 1
 1 1 1 -1 -1 1 -1 1 -1
 1 1 1 -1 -1 1 -1 -1 1
 1 1 1 -1 -1 1 -1 -1 -1
 1 1 1 -1 -1 -1 1 1 1
 1 1 1 -1 -1 -1 1 1 -1
 1 1 1 -1 -1 -1 1 -1 1
 1 1 1 -1 -1 -1 1 -1 -1
 1 1 1 -1 -1 -1 -1 1 1
 1 1 1 -1 -1 -1 -1 1 -1
 1 1 1 -1 -1 -1 -1 -1 1
 1 1 1 -1 -1 -1 -1 -1 -1
 1 -1 1 1 1 1 1 1 1
 1 -1 1 1 1 1 1 1 -1
 1 -1 1 1 1 1 1 -1 1
 1 -1 1 1 1 1 1 -1 -1
 1 -1 1 1 1 1 -1 1 1
 1 -1 1 1 1 1 -1 1 -1
 1 -1 1 1 1 1 -1 -1 1
 1 -1 1 1 1 1 -1 -1 -1
 1 -1 1 1 1 -1 1 1 1
 1 -1 1 1 1 -1 1 1 -1
 1 -1 1 1 1 -1 1 -1 1
 1 -1 1 1 1 -1 1 -1 -1
 1 -1 1 1 1 -1 -1 1 1
 1 -1 1 1 1 -1 -1 1 -1
 1 -1 1 1 1 -1 -1 -1 1
 1 -1 1 1 1 -1 -1 -1 -1
 1 -1 1 1 -1 1 1 1 1
 1 -1 1 1 -1 1 1 1 -1
 1 -1 1 1 -1 1 1 -1 1
 1 -1 1 1 -1 1 1 -1 -1
 1 -1 1 1 -1 1 -1 1 1
 1 -1 1 1 -1 1 -1 1 -1
 1 -1 1 1 -1 1 -1 -1 1
 1 -1 1 1 -1 1 -1 -1 -1
 1 -1 1 1 -1 -1 1 1 1
 1 -1 1 1 -1 -1 1 1 -1
 1 -1 1 1 -1 -1 1 -1 1
 1 -1 1 1 -1 -1 1 -1 -1
 1 -1 1 1 -1 -1 -1 1 1
 1 -1 1 1 -1 -1 -1 1 -1
 1 -1 1 1 -1 -1 -1 -1 1
 1 -1 1 1 -1 -1 -1 -1 -1
 1 -1 1 -1 1 1 1 1 1
 1 -1 1 -1 1 1 1 1 -1
 1 -1 1 -1 1 1 1 -1 1
 1 -1 1 -1 1 1 1 -1 -1
 1 -1 1 -1 1 1 -1 1 1
 1 -1 1 -1 1 1 -1 1 -1
 1 -1 1 -1 1 1 -1 -1 1
 1 -1 1 -1 1 1 -1 -1 -1
 1 -1 1 -1 1 -1 1 1 1
 1 -1 1 -1 1 -1 1 1 -1
 1 -1 1 -1 1 -1 1 -1 1
 1 -1 1 -1 1 -1 1 -1 -1
 1 -1 1 -1 1 -1 -1 1 1
 1 -1 1 -1 1 -1 -1 1 -1
 1 -1 1 -1 1 -1 -1 -1 1
 1 -1 1 -1 1 -1 -1 -1 -1
 1 -1 1 -1 -1 1 1 1 1
 1 -1 1 -1 -1 1 1 1 -1
 1 -1 1 -1 -1 1 1 -1 1
 1 -1 1 -1 -1 1 1 -1 -1
 1 -1 1 -1 -1 1 -1 1 1
 1 -1 1 -1 -1 1 -1 1 -1
 1 -1 1 -1 -1 1 -1 -1 1
 1 -1 1 -1 -1 1 -1 -1 -1
 1 -1 1 -1 -1 -1 1 1 1
 1 -1 1 -1 -1 -1 1 1 -1
 1 -1 1 -1 -1 -1 1 -1 1
 1 -1 1 -1 -1 -1 1 -1 -1
 1 -1 1 -1 -1 -1 -1 1 1
 1 -1 1 -1 -1 -1 -1 1 -1
 1 -1 1 -1 -1 -1 -1 -1 1
 1 -1 1 -1 -1 -1 -1 -1 -1
 1 -1 -1 1 1 1 1 1 1
 1 -1 -1 1 1 1 1 1 -1
 1 -1 -1 1 1 1 1 -1 1
 1 -1 -1 1 1 1 1 -1 -1
 1 -1 -1 1 1 1 -1 1 1
 1 -1 -1 1 1 1 -1 1 -1
 1 -1 -1 1 1 1 -1 -1 1
 1 -1 -1 1 1 1 -1 -1 -1
 1 -1 -1 1 1 -1 1 1 1
 1 -1 -1 1 1 -1 1 1 -1
 1 -1 -1 1 1 -1 1 -1 1
 1 -1 -1 1 1 -1 1 -1 -1
 1 -1 -1 1 1 -1 -1 1 1
 1 -1 -1 1 1 -1 -1 1 -1
 1 -1 -1 1 1 -1 -1 -1 1
 1 -1 -1 1 1 -1 -1 -1 -1
 1 -1 -1 1 -1 1 1 1 1
 1 -1 -1 1 -1 1 1 1 -1
 1 -1 -1 1 -1 1 1 -1 1
 1 -1 -1 1 -1 1 1 -1 -1
 1 -1 -1 1 -1 1 -1 1 1
 1 -1 -1 1 -1 1 -1 1 -1
 1 -1 -1 1 -1 1 -1 -1 1
 1 -1 -1 1 -1 1 -1 -1 -1
 1 -1 -1 1 -1 -1 1 1 1
 1 -1 -1 1 -1 -1 1 1 -1
 1 -1 -1 1 -1 -1 1 -1 1
 1 -1 -1 1 -1 -1 1 -1 -1
 1 -1 -1 1 -1 -1 -1 1 1
 1 -1 -1 1 -1 -1 -1 1 -1
 1 -1 -1 1 -1 -1 -1 -1 1
 1 -1 -1 1 -1 -1 -1 -1 -1
 1 -1 -1 -1 1 1 1 1 1
 1 -1 -1 -1 1 1 1 1 -1
 1 -1 -1 -1 1 1 1 -1 1
 1 -1 -1 -1 1 1 1 -1 -1
 1 -1 -1 -1 1 1 -1 1 1
 1 -1 -1 -1 1 1 -1 1 -1
 1 -1 -1 -1 1 1 -1 -1 1
 1 -1 -1 -1 1 1 -1 -1 -1
 1 -1 -1 -1 1 -1 1 1 1
 1 -1 -1 -1 1 -1 1 1 -1
 1 -1 -1 -1 1 -1 1 -1 1
 1 -1 -1 -1 1 -1 1 -1 -1
 1 -1 -1 -1 1 -1 -1 1 1
 1 -1 -1 -1 1 -1 -1 1 -1
 1 -1 -1 -1 1 -1 -1 -1 1
 1 -1 -1 -1 1 -1 -1 -1 -1
 1 -1 -1 -1 -1 1 1 1 1
 1 -1 -1 -1 -1 1 1 1 -1
 1 -1 -1 -1 -1 1 1 -1 1
 1 -1 -1 -1 -1 1 1 -1 -1
 1 -1 -1 -1 -1 1 -1 1 1
 1 -1 -1 -1 -1 1 -1 1 -1
 1 -1 -1 -1 -1 1 -1 -1 1
 1 -1 -1 -1 -1 1 -1 -1 -1
 1 -1 -1 -1 -1 -1 1 1 1
 1 -1 -1 -1 -1 -1 1 1 -1
 1 -1 -1 -1 -1 -1 1 -1 1
 1 -1 -1 -1 -1 -1 1 -1 -1
 1 -1 -1 -1 -1 -1 -1 1 1
 1 -1 -1 -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