ccc4.ext

V-representation
begin
 7 7 rational
 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

H-representation
begin
 12 7 rational
 0 0 1 1 0 0 -1
 0 1 0 1 0 -1 0
 0 1 1 0 -1 0 0
 0 1 0 -1 0 1 0
 0 1 -1 0 1 0 0
 0 0 0 0 1 1 -1
 0 0 1 -1 0 0 1
 0 0 0 0 1 -1 1
 0 -1 1 0 1 0 0
 0 0 0 0 -1 1 1
 0 0 -1 1 0 0 1
 0 -1 0 1 0 1 0
end

Vertex graph
begin
  7    7
 1 6 : 2 3 4 5 6 7
 2 6 : 1 3 4 5 6 7
 3 6 : 1 2 4 5 6 7
 4 6 : 1 2 3 5 6 7
 5 6 : 1 2 3 4 6 7
 6 6 : 1 2 3 4 5 7
 7 6 : 1 2 3 4 5 6
end

Facet graph
begin
  12    12
 1 5 : 2 3 6 9 12
 2 5 : 1 3 5 8 11
 3 5 : 1 2 4 7 10
 4 5 : 3 5 6 7 10
 5 5 : 2 4 6 8 11
 6 5 : 1 4 5 9 12
 7 5 : 3 4 8 9 10
 8 5 : 2 5 7 9 11
 9 5 : 1 6 7 8 12
 10 5 : 3 4 7 11 12
 11 5 : 2 5 8 10 12
 12 5 : 1 6 9 10 11
end