graph([V0,V1,V2,V3,V4,V5]) :-
  edges(V0,[V1,V4]),
  edges(V1,[V2,V3,V0]),
  edges(V2,[V3,V5,V1]),
  edges(V3,[V1,V2]),
  edges(V4,[V0]),
  edges(V5,[V2]).
