node(1..5).
arc(1,2).
arc(1,3).
arc(2,3).
arc(4,5).
arc(1,4).