c nb_vertices=49 nb_token=6
c LENGTH 8
a YES
a 6 10 15 25 40 44 
a 6 15 25 35 40 44 
a 6 15 25 35 40 45 
a 2 15 25 35 40 45 
a 2 20 25 35 40 45 
a 2 20 22 35 40 45 
a 9 20 22 35 40 45 
a 5 9 20 22 35 45 
a 5 9 18 22 35 45