YES
10000 3 2732 3 3 2723 3 1 1 1 5 7 2710 3 2704 1 3 1 1 7 3 2691 3 3 2682 2679 3 3 3 3 2664 2661 3 2655 3 2649 3 2643 2640 3 2634 2631 2628 3 3 2619 3 3 2610 3 3 2601 2598 3 3 3 3 2583 3 3 2574 2571 2568 2565 2562 2559 2556 2553 3 1 3 2547 3 3 3 3 2530 2527 3 2521 2518 3 2512 2509 3 3 2500 2497 2494 3 2488 2485 2482 2479 1 1 2476 3 3 2465 3 2459 3 3 2450 2447 2444 3 3 2435 2432 2429 2426 2423 3 2417 2414 1 3 5 2406 3 3 3 3 3 3 3 3 3 2376 3 3 2367 3 3 3 1 3 2355 3 3 3 1 3 5 3 2333 3 3 3 2321 3 2315 3 2309 2306 2303 3 1 1 2297 3 2289 3 3 3 3 3 2271 1 3 2268 3 2260 3 2254 2251 2248 2245 2242 3 1 3 1 1 7 2229 1 1 2226 3 3 3 1 1 5 3 2204 2201 2198 3 2192 3 2186 3 3 3 3 2171 3 3 2162 2159 3 3 2150 3 3 2141 3 2135 3 2129 1 3 2126 3 2118 2115 2112 2109 3 2103 3 2097 3 2091 3 2085 3 2079 2076 2073 2070 3 3 3 2058 2055 3 1 1 5 3 3 2038 2035 2032 3 2026 3 1 1 2020 3 3 1 1 2009 2004 2001 1998 1995 1992 1989 3 1983 3 1 1 1977 1972 3 1966 1963 3 3 1954 3 3 3 1942 1939 3 1933 1930 1927 3 1921 3 3 1912 1 1 5 3 3 3 1895 1892 1889 3 1883 3 3 3 3 1868 3 1 3 1 1 1862 1855 3 1849 1 1 1846 3 1838 3 3 3 1826 3 3 3 3 3 3 1 3 5 3 1797 1794 1791 1788 3 3 1779 3 1773 1770 1767 1764 1761 3 1755 3 3 1746 3 3 3 3 3 1728 2 1 4 1 7 1718 1715 3 1709 3 3 2 1 4 5 1700 1693 3 3 1 3 1684 3 3 1673 1670 1667 3 3 1658 1655 3 1649 3 1 3 1643 1638 1635 1632 3 3 3 3 1 3 1617 1612 1609 1606 1603 3 1 3 5 3 1589 3 3 1580 3 1574 1571 3 3 1 1 5 1557 1554 1 1 1551 3 1543 3 1537 3 1531 1528 3 1522 3 1516 3 1510 1507 3 3 3 3 3 3 1486 3 3 1477 3 3 1468 1465 1462 1459 3 1453 3 3 1444 1441 3 1 3 5 1430 3 1424 1421 3 3 1412 1 1 1409 3 3 1398 1 1 5 1390 1387 1384 1381 3 1375 1 3 1372 3 1364 1361 1358 1355 3 3 3 3 1340 1337 1334 1331 1328 3 1322 3 3 1313 3 3 1304 1 1 1301 3 3 1290 1 1 5 1282 3 3 1273 3 3 3 1261 1 1 1 1 7 1251 3 3 1242 1239 3 1233 3 3 3 1221 1218 3 3 1209 3 3 1200 3 3 1191 3 1185 3 3 1176 1173 1170 3 3 3 1158 1155 1152 1149 3 3 1140 1137 1 1 1134 1129 1126 1 3 1 1 1123 3 1113 1110 1107 1104 1101 3 1095 3 1089 1 1 5 1081 3 3 3 3 1066 1063 1060 1057 3 3 3 3 3 3 1036 1033 3 3 1024 3 1018 3 3 1009 1 1 1 5 1006 3 3 993 990 3 3 3 978 975 972 969 966 1 1 1 5 7 956 953 950 947 3 3 938 3 932 3 926 923 920 917 914 3 1 1 1 5 1 7 9 3 896 3 890 887 884 3 878 3 872 869 3 863 860 857 3 1 3 5 1 3 1 5 7 839 3 833 830 827 824 821 818 3 3 3 806 3 3 797 3 3 3 3 782 779 1 1 5 771 768 765 762 759 756 753 750 747 3 3 3 735 732 729 3 723 3 3 714 711 3 3 3 3 696 693 3 3 684 681 3 675 672 3 666 663 660 3 3 651 648 645 3 3 636 633 630 3 3 621 618 3 3 609 3 3 600 597 594 591 3 3 3 579 3 573 570 3 564 561 3 555 552 549 3 3 3 537 534 3 3 3 1 3 5 3 3 511 508 3 3 3 3 3 3 487 484 481 3 3 3 3 3 3 3 457 3 3 3 445 1 1 5 3 434 431 428 3 422 419 3 3 3 407 3 3 3 3 3 389 3 383 380 1 3 5 3 3 3 363 3 3 354 3 348 3 3 339 336 3 3 3 324 3 3 315 312 309 306 303 3 297 294 3 288 285 3 279 3 273 270 3 264 3 3 255 3 3 246 243 240 237 234 231 228 1 3 5 220 217 214 3 3 205 3 199 3 3 190 187 184 181 178 3 172 169 1 1 5 3 158 155 3 149 3 3 3 137 3 3 3 3 3 119 3 113 110 3 3 1 1 101 96 93 90 3 84 81 3 75 72 3 3 63 60 3 54 3 48 3 42 39 1 3 36 3 3 25 3 3 3 3 10 3 4