c nb_vertices=900 nb_token=9
c LENGTH 1
a YES
a 56 149 237 331 373 461 556 669 763 
a 56 237 331 373 461 556 669 763 835