c nb_vertices=169 nb_token=12
c LENGTH 12
a YES
a 25 30 45 62 78 79 94 112 119 137 152 167 
a 5 25 30 45 62 78 79 94 119 137 152 167 
a 5 25 30 45 62 78 79 99 119 137 152 167 
a 5 25 45 62 78 79 99 108 119 137 152 167 
a 5 25 42 62 78 79 99 108 119 137 152 167 
a 5 25 32 42 62 78 79 99 108 119 137 167 
a 5 25 32 42 62 78 79 100 108 119 137 167 
a 5 21 32 42 62 78 79 100 108 119 137 167 
a 5 21 32 42 62 78 79 100 108 137 145 167 
a 5 21 42 62 78 79 100 108 129 137 145 167 
a 5 21 39 42 62 79 100 108 129 137 145 167 
a 5 21 39 42 71 79 100 108 129 137 145 167 
a 5 21 39 42 71 79 100 108 129 137 145 166