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