c nb_vertices=125 nb_token=9
c LENGTH 2
a YES
a 6 14 25 63 76 87 88 107 117 
a 6 14 25 63 76 88 107 113 117 
a 6 14 25 63 76 83 88 113 117