c nb_vertices=64 nb_token=7
c LENGTH 11
a YES
a 3 13 18 32 47 52 62 
a 3 13 18 32 33 47 62 
a 3 13 32 33 47 50 62 
a 3 13 24 33 47 50 62 
a 3 13 24 28 33 47 50 
a 3 13 24 28 33 50 63 
a 3 13 24 33 44 50 63 
a 3 14 24 33 44 50 63 
a 3 14 24 33 44 50 61 
a 14 24 27 33 44 50 61 
a 14 24 27 39 44 50 61 
a 1 14 24 39 44 50 61