c nb_vertices=1600 nb_token=39
c LENGTH 13
a YES
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1310 1360 1366 1412 1441 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1262 1310 1360 1366 1412 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1412 1450 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 407 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1008 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1047 1097 1133 1176 1205 1262 1310 1360 1366 1401 1450 1499 1559 1595 
a 27 71 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1022 1047 1097 1133 1176 1205 1310 1360 1366 1401 1450 1499 1559 1595 
a 27 104 146 180 225 277 301 343 369 412 454 491 558 562 604 673 683 756 789 832 874 908 935 978 1022 1047 1097 1133 1176 1205 1248 1310 1360 1366 1401 1450 1499 1559 1595