c nb_vertices=64 nb_token=7
c LENGTH 9
a YES
a 3 13 18 32 38 55 57 
a 13 18 32 38 44 55 57 
a 7 13 18 32 38 44 57 
a 7 13 18 32 38 51 57 
a 7 12 18 32 38 51 57 
a 7 12 18 32 38 41 51 
a 7 12 18 32 41 51 62 
a 7 12 18 40 41 51 62 
a 7 12 18 29 40 51 62 
a 7 12 18 29 40 46 51