c nb_vertices=81 nb_token=8
c LENGTH 5
a YES
a 3 15 27 34 40 46 62 77 
a 15 27 34 40 46 62 65 77 
a 15 21 34 40 46 62 65 77 
a 15 21 36 40 46 62 65 77 
a 15 21 36 43 46 62 65 77 
a 8 15 21 36 43 46 65 77