third_party/cddlib/examples-ext/ccc5.ext

* file name: ccc5.ext
* Complete cut cone on 5 vertices
* The number of facets is 40.
V-representation
begin
  15  11  integer
0 1 1 1 1 0 0 0 0 0 0
0 0 1 1 1 1 1 1 0 0 0
0 1 0 1 1 1 0 0 1 1 0
0 1 1 0 1 0 1 0 1 0 1
0 1 1 1 0 0 0 1 0 1 1
0 0 0 1 1 0 1 1 1 1 0
0 0 1 0 1 1 0 1 1 0 1
0 0 1 1 0 1 1 0 0 1 1
0 1 0 0 1 1 1 0 0 1 1
0 1 0 1 0 1 0 1 1 0 1
0 1 1 0 0 0 1 1 1 1 0
0 0 0 0 1 0 0 1 0 1 1
0 0 0 1 0 0 1 0 1 0 1
0 0 1 0 0 1 0 0 1 1 0
0 1 0 0 0 1 1 1 0 0 0
end