c nb_vertices=144 nb_token=11
c LENGTH 6
a YES
a 7 17 27 48 54 68 88 97 117 122 142 
a 7 17 27 48 54 68 74 88 97 117 142 
a 7 23 27 48 54 68 74 88 97 117 142 
a 7 23 27 54 68 74 88 97 117 125 142 
a 7 23 27 37 54 68 74 88 117 125 142 
a 7 23 27 37 68 74 88 108 117 125 142 
a 7 23 27 37 58 68 74 88 108 117 125