c nb_vertices=500 nb_token=12
c LENGTH 1
a YES
a 3 7 87 109 150 159 192 226 319 381 405 480 
a 3 7 109 137 150 159 192 226 319 381 405 480