| * filename: ccp5.ext | |
| * Input file for computing the facets of the complete cut polytope on 5 vertices | |
| * The number of facets is 56. | |
| V-representation | |
| begin | |
| 16 11 integer | |
| 1 0 0 0 0 0 0 0 0 0 0 | |
| 1 1 1 1 1 0 0 0 0 0 0 | |
| 1 0 1 1 1 1 1 1 0 0 0 | |
| 1 1 0 1 1 1 0 0 1 1 0 | |
| 1 1 1 0 1 0 1 0 1 0 1 | |
| 1 1 1 1 0 0 0 1 0 1 1 | |
| 1 0 0 1 1 0 1 1 1 1 0 | |
| 1 0 1 0 1 1 0 1 1 0 1 | |
| 1 0 1 1 0 1 1 0 0 1 1 | |
| 1 1 0 0 1 1 1 0 0 1 1 | |
| 1 1 0 1 0 1 0 1 1 0 1 | |
| 1 1 1 0 0 0 1 1 1 1 0 | |
| 1 0 0 0 1 0 0 1 0 1 1 | |
| 1 0 0 1 0 0 1 0 1 0 1 | |
| 1 0 1 0 0 1 0 0 1 1 0 | |
| 1 1 0 0 0 1 1 1 0 0 0 | |
| end | |