1000 1000
YES
465 496 15 263 713 784 337 487 52 515 289 215 168 384 124 788 109 353 837 442 733 691 385 211 418 463 339 834 815 727 477 910 264 9 56 467 354 229 400 401 765 731 679 17 351 366 270 764 451 816 578 874 500 626 723 503 773 32 737 531 221 702 802 247 163 291 632 636 786 695 896 608 614 671 241 413 42 984 466 347 908 370 563 791 638 379 131 240 659 36 293 678 447 439 967 308 720 236 29 288 739 398 940 245 801 344 674 107 137 839 72 64 660 793 571 673 808 929 443 55 66 2 560 112 942 790 968 100 497 356 315 780 69 958 24 615 748 450 714 405 230 235 809 537 160 104 973 893 232 190 89 128 738 294 528 20 869 316 761 853 981 960 794 507 445 27 75 297 485 644 193 675 772 298 224 267 725 610 508 509 573 782 619 254 8 40 572 517 760 169 102 588 285 412 611 989 470 220 596 33 593 583 890 268 259 847 481 514 915 381 130 49 525 217 492 63 166 359 944 753 859 849 518 390 47 276 805 203 757 198 983 783 932 317 934 581 704 590 493 321 882 307 73 666 200 600 302 640 637 630 930 172 393 256 864 562 603 406 561 209 991 552 222 513 574 81 687 597 61 335 541 355 819 464 539 589 186 532 954 689 577 409 394 490 796 937 28 548 388 524 212 746 1000 313 845 957 91 425 219 16 621 273 841 846 332 498 643 587 435 34 647 505 141 133 992 804 117 35 781 438 913 661 820 286 703 207 114 62 239 623 656 136 494 829 880 891 180 275 977 250 639 326 612 312 31 419 850 373 244 65 922 735 743 963 742 708 301 996 938 226 533 818 771 115 519 811 633 346 945 905 986 410 336 324 832 395 179 446 328 856 334 749 295 579 653 127 871 797 252 844 223 768 299 119 527 461 645 777 534 549 717 189 424 170 826 961 680 262 57 205 868 489 237 94 214 372 566 591 792 851 642 43 191 468 529 997 650 953 740 305 858 68 570 327 901 902 606 875 759 668 598 559 138 242 550 892 437 352 70 556 862 785 803 599 776 711 132 873 912 652 564 342 97 921 319 966 872 99 618 234 103 907 382 554 150 3 835 920 698 584 681 154 948 569 6 322 617 420 557 85 484 935 210 499 917 806 707 897 866 44 152 173 426 377 951 728 199 357 429 825 823 512 213 311 157 106 296 367 568 238 274 931 852 292 318 927 693 810 565 947 449 58 903 257 800 939 253 538 266 21 976 422 231 338 634 454 501 692 729 721 147 86 90 799 885 458 14 709 974 60 955 732 877 833 965 206 762 526 706 747 161 726 67 408 878 990 755 956 143 204 551 364 676 857 969 101 51 46 255 272 399 798 553 402 770 306 646 433 365 269 340 831 758 843 718 686 403 883 654 105 535 867 246 134 183 111 522 30 962 369 122 744 50 601 946 595 774 436 609 282 118 756 670 863 304 586 471 536 188 396 895 504 453 95 149 82 430 716 672 121 374 667 260 662 669 146 836 754 13 421 407 763 828 821 767 88 108 139 300 362 631 933 476 358 592 909 248 734 952 375 303 201 941 22 479 812 594 543 699 807 444 813 705 683 576 142 620 950 900 865 176 694 475 824 616 724 697 480 10 585 216 980 277 441 165 906 171 155 417 414 284 607 25 469 48 985 135 71 345 184 970 918 427 898 110 156 547 888 627 98 959 271 684 520 314 769 741 440 194 192 74 397 964 45 350 37 861 144 376 391 148 54 227 580 151 93 491 750 860 196 657 83 383 982 949 164 988 76 715 926 126 361 389 778 162 387 605 510 827 258 649 516 87 911 360 478 343 928 998 795 624 341 26 41 924 719 378 602 881 530 665 243 613 651 123 392 330 923 113 39 181 775 521 84 423 482 174 972 159 993 145 473 331 404 975 265 197 249 894 663 690 185 23 523 641 604 18 153 455 840 53 459 700 79 999 884 472 575 555 502 195 919 730 495 415 830 333 281 987 368 483 325 251 544 629 779 838 38 228 456 701 92 363 448 545 187 751 202 59 320 233 870 177 278 752 116 167 682 817 371 943 648 280 488 766 540 842 323 225 994 329 431 925 978 261 129 854 745 511 158 658 736 428 688 411 5 696 628 4 77 558 457 635 7 936 971 120 474 822 567 386 887 879 995 685 309 78 140 722 218 789 12 125 208 1 710 287 899 283 848 290 19 80 175 349 452 96 462 622 582 712 787 904 655 348 542 916 664 546 886 460 855 432 506 876 979 814 416 625 434 279 310 889 486 380 677 11 914 182 178 
conj 601 1
757