nbnodes(8).
nbedges(16).

edge(1,2).
edge(1,3).
edge(1,4).
edge(2,3).
edge(2,4).
edge(3,4).

edge(5,6).
edge(5,7).
edge(5,8).
edge(6,7).
edge(6,8).
edge(7,8).

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