c nb_vertices=10000 nb_token=99
c LENGTH 6
a YES
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7346 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7871 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958