* 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