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