% Graph with 10 vertices

vertex(0..9).
edge(0,1).
edge(0,2).
edge(0,5).
edge(0,6).
edge(0,9).
edge(1,2).
edge(1,6).
edge(1,8).
edge(1,9).
edge(2,3).
edge(2,6).
edge(2,7).
edge(2,8).
edge(2,9).
edge(3,5).
edge(3,6).
edge(3,7).
edge(3,9).
edge(4,7).
edge(4,8).
edge(5,6).
edge(5,7).
edge(6,7).
edge(6,9).
edge(7,9).