| * file name: ccp4.ext | |
| * Input file for computing the facets of the complete cut polytope on 4 vertices | |
| * The number of facets is 16. | |
| V-representation | |
| begin | |
| 8 7 integer | |
| 1 0 0 0 0 0 0 | |
| 1 1 1 1 0 0 0 | |
| 1 0 1 1 1 1 0 | |
| 1 1 0 1 1 0 1 | |
| 1 1 1 0 0 1 1 | |
| 1 0 0 1 0 1 1 | |
| 1 0 1 0 1 0 1 | |
| 1 1 0 0 1 1 0 | |
| end | |