c nb_vertices=96 nb_token=7
c LENGTH 6
a YES
a 1 24 28 45 55 62 87 
a 24 28 45 55 62 83 87 
a 9 24 28 55 62 83 87 
a 9 28 37 55 62 83 87 
a 9 28 37 55 62 83 90 
a 9 28 37 58 62 83 90 
a 9 16 37 58 62 83 90