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

