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