c nb_vertices=144 nb_token=11
c LENGTH 9
a YES
a 11 14 30 39 60 80 89 97 112 129 139 
a 11 14 30 39 60 70 80 89 97 129 139 
a 11 16 30 39 60 70 80 89 97 129 139 
a 11 16 30 39 60 70 80 89 109 129 139 
a 11 16 30 39 60 70 80 86 109 129 139 
a 11 16 30 39 60 70 80 86 101 129 139 
a 11 16 30 37 60 70 80 86 101 129 139 
a 16 30 37 60 70 80 86 101 111 129 139 
a 16 30 37 60 70 80 86 101 111 129 143 
a 10 16 30 37 60 80 86 101 111 129 143