c nb_vertices=701 nb_token=190
c LENGTH 1
a YES
a 1 6 10 13 17 21 23 26 30 33 37 40 44 47 51 54 58 61 65 68 72 75 79 82 86 89 93 96 100 103 115 118 122 126 127 130 134 137 141 144 148 151 155 158 162 165 169 172 176 179 183 186 190 193 197 200 204 207 211 215 221 225 229 233 238 242 243 247 251 255 259 263 267 271 275 279 283 287 291 295 299 303 307 311 315 319 323 327 335 336 341 349 354 359 364 369 374 379 384 389 394 399 404 408 411 414 417 420 423 426 429 432 435 438 441 444 447 450 453 456 459 462 465 468 471 473 476 478 481 484 487 491 494 497 500 503 506 509 512 515 518 521 524 527 530 533 536 539 542 545 548 551 554 557 560 564 566 571 576 580 583 588 591 596 599 604 607 612 615 620 623 628 631 635 638 641 644 647 650 653 656 658 661 663 669 674 679 688 693 695 
a 1 6 10 13 17 21 23 26 30 33 37 40 44 47 51 54 58 61 65 68 72 75 79 82 86 89 93 96 100 103 106 115 118 122 126 127 130 134 137 141 144 148 151 155 158 162 165 169 172 176 179 183 186 190 193 197 200 204 207 211 215 221 225 229 233 238 242 243 247 251 255 259 263 267 271 275 279 283 287 291 295 299 303 307 311 315 319 323 327 336 341 349 354 359 364 369 374 379 384 389 394 399 404 408 411 414 417 420 423 426 429 432 435 438 441 444 447 450 453 456 459 462 465 468 471 473 476 478 481 484 487 491 494 497 500 503 506 509 512 515 518 521 524 527 530 533 536 539 542 545 548 551 554 557 560 564 566 571 576 580 583 588 591 596 599 604 607 612 615 620 623 628 631 635 638 641 644 647 650 653 656 658 661 663 669 674 679 688 693 695