c nb_vertices=400 nb_token=19
c LENGTH 24
a YES
a 13 27 54 68 91 109 126 158 176 199 212 240 255 270 303 321 344 362 397 
a 13 27 54 91 109 126 158 176 199 212 240 255 270 285 303 321 344 362 397 
a 13 27 54 91 109 126 158 176 199 212 240 255 270 285 303 321 344 368 397 
a 13 27 54 77 91 109 126 158 176 199 212 240 255 270 285 303 321 344 368 
a 27 54 77 91 109 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 27 54 77 82 109 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 7 54 77 82 109 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 7 34 77 82 109 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 7 34 77 82 111 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 34 49 77 82 111 126 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 34 49 77 82 111 127 158 176 199 212 240 255 270 285 303 321 344 368 393 
a 12 34 49 77 82 111 127 158 176 199 240 255 270 285 303 321 344 368 393 
a 12 34 49 77 82 127 158 176 199 206 240 255 270 285 303 321 344 368 393 
a 12 34 49 77 82 127 158 176 199 206 231 255 270 285 303 321 344 368 393 
a 12 34 49 77 82 120 127 176 199 206 231 255 270 285 303 321 344 368 393 
a 12 34 49 77 82 120 127 176 199 206 231 258 270 285 303 321 344 368 393 
a 12 34 49 77 120 127 142 176 199 206 231 258 270 285 303 321 344 368 393 
a 12 34 49 77 86 120 127 142 176 199 231 258 270 285 303 321 344 368 393 
a 12 34 49 77 86 120 127 142 176 219 231 258 270 285 303 321 344 368 393 
a 12 34 49 77 86 120 127 142 176 219 231 258 270 285 303 321 344 368 395 
a 12 34 49 77 86 120 127 142 176 193 219 258 270 285 303 321 344 368 395 
a 12 34 49 77 86 120 127 142 193 219 236 258 270 285 303 321 344 368 395 
a 12 34 49 71 86 120 127 142 193 219 236 258 270 285 303 321 344 368 395 
a 12 34 49 71 86 120 127 157 193 219 236 258 270 285 303 321 344 368 395 
a 12 34 49 71 86 120 127 157 168 193 219 236 258 270 285 303 321 344 395