c nb_vertices=169 nb_token=12
c LENGTH 4
a YES
a 8 24 29 46 54 77 87 97 105 122 156 160 
a 8 24 29 46 54 77 87 97 105 122 140 156 
a 8 24 29 46 54 77 87 95 105 122 140 156 
a 8 24 29 46 54 77 95 105 122 140 156 162 
a 8 24 29 46 54 77 79 95 122 140 156 162