c nb_vertices=256 nb_token=15
c LENGTH 7
a YES
a 10 22 51 77 88 101 127 140 160 162 183 201 219 225 244 
a 10 22 46 51 77 88 101 140 160 162 183 201 219 225 244 
a 10 22 46 51 77 88 101 140 160 162 183 201 219 239 244 
a 10 22 51 77 88 101 113 140 160 162 183 201 219 239 244 
a 10 22 45 51 88 101 113 140 160 162 183 201 219 239 244 
a 10 22 45 51 76 88 101 113 160 162 183 201 219 239 244 
a 10 45 51 76 88 101 113 142 160 162 183 201 219 239 244 
a 10 32 45 51 76 88 101 113 142 162 183 201 219 239 244