* file name: ccc4.ext
* Complete cut cone on 4 vertices
* The number of facets is 12.
V-representation
begin
    7    7    integer
 0  1  1  1  0  0  0 
 0  0  1  1  1  1  0 
 0  1  0  1  1  0  1 
 0  1  1  0  0  1  1 
 0  0  0  1  0  1  1 
 0  0  1  0  1  0  1 
 0  1  0  0  1  1  0
end