c nb_vertices=128 nb_token=11
c LENGTH 6
a YES
a 3 14 17 22 33 34 40 64 72 111 112 
a 3 14 17 22 34 40 64 72 111 112 117 
a 14 17 22 34 40 64 72 87 111 112 117 
a 14 22 34 40 64 72 87 95 111 112 117 
a 14 22 34 42 64 72 87 95 111 112 117 
a 14 22 34 42 64 72 77 87 95 111 117 
a 7 22 34 42 64 72 77 87 95 111 117