c nb_vertices=125 nb_token=9
c LENGTH 4
a YES
a 6 14 15 25 45 87 88 107 113 
a 6 14 25 45 76 87 88 107 113 
a 6 14 25 63 76 87 88 107 113 
a 6 14 25 33 63 76 87 107 113 
a 6 14 25 33 63 76 87 107 122