c nb_vertices=64 nb_token=7
c LENGTH 11
a YES
a 4 15 17 32 37 54 59 
a 15 17 32 37 42 54 59 
a 15 20 32 37 42 54 59 
a 15 20 25 37 42 54 59 
a 5 15 20 25 42 54 59 
a 5 15 20 25 40 42 59 
a 5 15 20 25 40 42 62 
a 5 15 20 25 40 51 62 
a 5 10 20 25 40 51 62 
a 5 10 20 25 39 51 62 
a 5 10 24 25 39 51 62 
a 5 10 24 25 47 51 62