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