c nb_vertices=3600 nb_token=59 c LENGTH 58 a YES a 33 82 128 208 244 390 431 489 580 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 208 244 390 431 489 560 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 220 244 390 431 489 560 649 672 739 794 872 947 1002 1054 1126 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 220 244 390 431 489 560 649 672 739 794 872 947 1002 1054 1108 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1177 1238 1284 1375 1416 1492 1526 1613 1679 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 33 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1177 1238 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1177 1238 1284 1375 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1177 1238 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2631 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2543 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1707 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3545 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2110 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3567 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1054 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3567 a 59 82 128 220 244 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3567 a 59 82 128 220 274 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3408 3474 3537 3567 a 59 82 128 220 274 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 3000 3002 3085 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 2988 3002 3085 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2863 2921 2988 3002 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2330 2385 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2216 2278 2385 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1526 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2385 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2385 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 431 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 2795 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 2880 2921 2988 3002 3110 3126 3193 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 2773 2880 2921 2988 3002 3110 3126 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2461 2571 2617 2669 2731 2773 2880 2921 2988 3002 3110 3146 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2466 2571 2617 2669 2731 2773 2880 2921 2988 3002 3110 3146 3258 3315 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 739 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2466 2571 2617 2669 2731 2773 2880 2921 2988 3002 3110 3146 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2466 2571 2617 2669 2731 2773 2880 2921 2988 3002 3110 3146 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1238 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2731 2773 2880 2921 2988 3002 3110 3146 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2061 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 390 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2731 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1937 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 794 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1613 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3474 3537 3567 a 59 82 128 220 274 325 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3473 3537 3567 a 59 82 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2921 2988 3002 3110 3146 3218 3258 3301 3364 3473 3567 a 59 82 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2278 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3567 a 59 82 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3567 a 59 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1876 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1951 2024 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1284 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 649 706 735 797 872 947 1002 1030 1108 1195 1221 1304 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 947 1002 1030 1108 1195 1221 1304 1353 1416 1492 1556 1574 1632 1703 1779 1807 1918 1951 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 947 1002 1030 1108 1195 1221 1304 1353 1416 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 1002 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3002 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 902 1002 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 902 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3258 3301 3364 3473 3502 3567 a 59 76 128 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3301 3364 3473 3502 3567 a 59 76 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2403 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1416 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1779 1807 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1779 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 872 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567 a 59 76 123 220 274 325 417 455 489 560 624 706 735 797 879 902 978 1030 1108 1195 1221 1304 1353 1388 1487 1556 1574 1632 1703 1747 1836 1918 1951 2032 2070 2105 2203 2261 2325 2351 2466 2571 2617 2659 2729 2773 2880 2934 2988 3042 3110 3146 3218 3289 3301 3364 3473 3502 3567