c nb_vertices=64 nb_token=7
c LENGTH 12
a YES
a 15 21 32 34 44 54 59 
a 4 15 21 32 34 54 59 
a 4 15 17 32 34 54 59 
a 4 15 17 34 48 54 59 
a 4 17 29 34 48 54 59 
a 4 14 17 29 34 48 59 
a 4 14 17 29 34 48 51 
a 4 14 17 29 34 51 64 
a 4 14 17 29 39 51 64 
a 4 14 29 39 41 51 64 
a 4 14 24 29 39 41 51 
a 4 14 24 26 39 41 51 
a 4 14 24 26 39 41 61