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