c nb_vertices=900 nb_token=9
c LENGTH 1
a YES
a 62 151 243 327 440 615 702 786 894 
a 62 151 243 327 440 531 615 702 786