nbnodes(6).
nbedges(9).
edge(1,2).
edge(1,3).
edge(2,3).
edge(4,5).
edge(4,6).
edge(5,6).
edge(1,4).
edge(2,5).
edge(3,6).



