c nb_vertices=125 nb_token=3
c LENGTH 8
a YES
a 30 90 125 
a 30 51 125 
a 17 51 125 
a 17 124 125 
a 17 45 124 
a 20 45 124 
a 20 119 124 
a 20 85 119 
a 20 85 109