c nb_vertices=21 nb_token=9
c LENGTH 21
a YES
a 1 3 5 11 13 15 16 18 20 
a 1 3 6 11 13 15 16 18 20 
a 1 4 6 11 13 15 16 18 20 
a 2 4 6 11 13 15 16 18 20 
a 2 4 6 9 11 13 16 18 20 
a 2 4 6 9 11 13 16 18 21 
a 2 4 6 11 13 14 16 18 21 
a 1 4 6 11 13 14 16 18 21 
a 1 3 6 11 13 14 16 18 21 
a 1 3 5 11 13 14 16 18 21 
a 1 3 5 8 11 14 16 18 21 
a 1 3 5 8 11 14 16 19 21 
a 1 3 5 11 12 14 16 19 21 
a 1 3 6 11 12 14 16 19 21 
a 1 4 6 11 12 14 16 19 21 
a 2 4 6 11 12 14 16 19 21 
a 2 4 6 7 12 14 16 19 21 
a 2 4 6 7 12 14 17 19 21 
a 2 4 6 10 12 14 17 19 21 
a 1 4 6 10 12 14 17 19 21 
a 1 3 6 10 12 14 17 19 21 
a 1 3 5 10 12 14 17 19 21