c nb_vertices=128 nb_token=8
c LENGTH 3
a YES
a 14 15 17 22 32 34 106 119 
a 8 15 17 22 32 34 106 119 
a 8 17 22 32 34 54 106 119 
a 8 11 22 32 34 54 106 119