c nb_vertices=81 nb_token=8
c LENGTH 7
a YES
a 3 15 27 29 41 52 64 80 
a 4 15 27 29 41 52 64 80 
a 4 15 29 41 52 63 64 80 
a 4 15 26 29 41 52 63 64 
a 4 15 26 29 41 52 63 75 
a 4 15 26 29 41 46 63 75 
a 4 15 26 29 41 46 72 75 
a 4 26 29 41 46 60 72 75