Back
Close

Santa's behaviometer

Statement

 Goal

Calvin is a good kid... At least that's what he likes to think.
This Christmas, like many other children around the world, Calvin is expecting an amazing present from Santa Claus.

However, this year Santa is kind of on a budget and can only afford to give presents to the G most deserving kids.
To select those Chosen Ones, Santa uses a device called the "Behaviometer". Given the name of a child, this device outputs a value based on how well they behaved this year.

Given the values outputted by the behaviometer for Calvin and other kids, print whether Calvin will or will not receive a gift this Christmas.

Note that since Santa has an overall positive image of Calvin, whenever there is a draw in the scores between Calvin and another kid, Calvin will be ranked higher.
Input
Line 1: Two space-separated integers: the number of kids N (excluding Calvin) and the number of gifts G that Santa can afford to give this Christmas.
Line 2: An integer M, the mark given to Calvin by the behaviometer.
Lines 3 to 3+N: An integer Mi, the mark given to the i-th kid by the behaviometer.
Output
true if Calvin will receive a gift, false otherwise.
Constraints
0 ≤ N ≤ 2500
0 ≤ GN + 1
0 ≤ M ≤ 2147483647
0 ≤ Mi ≤ 2147483647
Example
Input
4 2
3
2
0
1
4
Output
true

Game modes
Fastest, Shortest

Test cases
Example Test
Input
4 2 3 2 0 1 4
Output
true

Example* Validator
Input
3 2 2 3 0 1
Output
true

No gift Test
Input
5 3 4 1 2 32 8 16
Output
false

No gift* Validator
Input
4 3 4 32 8 16 2
Output
false

Unfortunate Test
Input
10 9 1 11 7 4 2 9 6 3 5 10 8
Output
false

Unfortunate* Validator
Input
11 10 15 60 713 82 59 100 22 16 121 46 143 16
Output
false

Best kid Test
Input
10 9 128 31 24 76 36 90 104 57 8 62 120
Output
true

Best kid* Validator
Input
9 8 64 11 30 58 30 16 29 47 2 61
Output
true

Draw 1 Test
Input
100 12 86 37 15 79 1 77 46 55 92 1 28 19 59 43 77 96 40 86 23 37 2 8 81 29 74 74 15 98 67 80 34 96 91 40 57 23 69 58 89 98 67 68 44 33 25 52 8 31 28 1 70 67 65 55 31 55 44 16 53 86 51 4 22 10 84 52 63 62 4 28 77 73 82 30 77 36 82 47 38 54 6 81 19 21 90 72 91 12 86 97 98 44 83 10 59 33 62 14 74 86 27
Output
true

Draw 1* Validator
Input
100 3 97 14 0 17 86 63 13 40 81 28 88 91 60 97 8 85 72 61 12 67 22 18 75 98 78 51 83 15 21 17 77 37 5 27 49 92 73 24 57 26 16 61 54 58 80 66 17 62 42 57 65 79 47 87 46 65 23 20 77 18 82 13 29 94 26 97 95 91 67 64 38 24 46 18 79 36 46 45 53 86 17 37 74 99 38 13 49 42 97 56 81 19 40 55 4 76 51 30 53 45 22
Output
true

Draw 0 Test
Input
100 20 79 71 40 47 11 87 67 31 47 74 13 4 43 81 74 37 39 99 26 53 16 88 5 22 90 86 78 8 33 79 56 85 30 78 44 9 88 30 8 50 56 17 61 61 10 43 37 53 12 82 28 50 18 14 80 57 47 52 12 8 17 61 37 31 94 96 23 73 59 83 34 28 90 94 40 92 74 51 23 14 81 77 48 40 98 36 4 99 50 53 88 50 32 24 79 79 23 51 38 21 60
Output
false

Draw 0* Validator
Input
100 35 63 25 26 43 79 12 9 13 63 33 66 57 8 29 81 25 57 39 56 74 24 47 75 22 47 64 91 40 83 55 60 33 84 71 16 99 95 2 70 2 29 41 74 99 22 41 46 40 39 46 93 8 56 44 20 96 15 84 31 65 39 50 85 76 43 95 22 8 6 65 64 93 77 83 63 65 38 9 10 83 86 67 23 62 20 80 63 82 81 6 32 48 56 60 55 43 68 27 1 63 28
Output
false

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

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

Big range Test
Input
100 10 182017297 1725265419 320787810 486403294 2067519988 2114624586 138040802 554597868 1603439819 1160844367 798244823 1616054428 643596701 304870668 166772199 305527607 1508583986 1307028887 311081828 1497225097 921712400 582524915 803526174 1698810057 661997732 2126110942 1980351803 1007285457 464430928 443150327 1300067447 780882372 715986491 365575842 2011247623 824165259 1038312957 333820761 885106803 333014455 1414674432 676833272 1315568502 581265666 863603997 228864659 1728198258 1657381578 616425799 1623075258 1349232354 2088943734 1467477216 33582832 1244307490 437841717 2047156704 1664904703 1286691501 549099249 276974587 1772877818 2007263498 1194916650 133040862 852362186 838040963 1732210015 1180465854 1023716188 157642769 1604056003 1265723481 596370424 534912914 1113810384 1896341006 1105329116 405561078 425860973 281566228 1459281957 892547751 20712872 927232237 604199992 945021761 1327160866 2106382537 695142668 883352013 1412025823 1570208344 84651503 664424010 1559101316 954338117 1456211636 935797839 767157078 604061193
Output
false

Big range* Validator
Input
100 50 1095529495 59434620 1353863712 1946395065 369935309 457495911 1962080716 920891115 778573488 1192583948 226918855 491283284 241429846 784224626 709792327 779245151 1475781300 1491327018 191900522 1069635504 1701230554 1413523222 537032746 1543229629 76964633 546932235 363970554 692792874 623173609 1710782843 1955999152 111676928 1799279496 1687351610 890673546 1505365092 2021690052 2074260704 642723785 1447102977 769479069 1373898032 1830703160 1603501221 2032679157 1764709746 21960800 1664035189 183670526 1363471417 1020375091 689089873 522726526 440766380 230732976 1528354580 425651336 1373018045 357871960 1202075303 771814070 1605234918 1163228259 2070496460 898621845 964838055 1770015789 2029642689 1472059060 240650567 858421475 1853052515 1722893728 1605009933 97349463 2107640042 1309233266 1235164550 1716889254 1350319437 827115483 2080305704 1680665198 608534144 1996677043 876603108 1592102919 795425801 327528075 1263939349 125732688 1133856274 718530381 316622704 1564270445 75718769 592099578 701840678 334456863 164412497 2146815777
Output
true

Many kids and big range Test
Input
950 790 1017832480 737217556 737951589 598152842 1658685214 1998977640 599736714 1632592554 815395926 1875240268 1589343567 964198371 969015736 2035442474 1377194909 1952738154 158416525 1683001117 771138497 599229987 99940963 731394790 1790724245 1946955489 1240893478 1422369704 813468548 207926379 16515343 1393548416 638371655 1720640437 225730335 1944656159 968077586 2046172572 1206985535 860205353 227644459 1638374707 260264688 1601436800 1459466324 1234123070 1090441344 960264038 495147642 669660131 798215691 1195293961 608566991 1819310725 2141337486 827409387 988767609 2081133810 1221773513 707256750 519846460 2132454586 763211202 471894542 1443333869 1498662809 1391487249 2063173938 152467517 1592944280 748895343 1648803877 90626294 1876629581 1275027765 131615314 1226319527 1179577345 297432868 1702411254 1374597896 1052072350 98759959 2138961388 22857292 1798565057 323139003 1993103168 1416368828 1265721586 2038786912 1364357600 1904829783 433834278 952470418 1552900494 1422410562 570977017 1276625827 1861934327 1276093189 1481158130 556246484 1677260565 645095757 358664500 1602749458 53091688 184113258 1203792668 1431177293 1706439999 1077359254 1193525589 1580655939 480290215 23969816 1435291575 1977665052 1928115865 1776913155 2135172053 1513031174 1889666001 515409786 35434614 1983615243 1033434722 1425008659 1651972782 1973235629 881768786 1616087247 137456948 1516492850 503858363 1233817298 200706243 241293132 1467518691 1671418439 238271982 111575946 667457736 64146073 1265399309 15600531 738369350 1941279309 1713630561 1191825404 2106409971 1306809108 108299097 2114374435 100709522 1676028464 35206595 406021589 2094933793 1354015614 1538061151 1649291444 1404241880 1852450666 2125721805 2001113546 1329708850 695836468 2051799407 41338218 730430281 1367905473 1531203385 897652455 21085289 1510862251 589825195 845833418 1021672269 1982378680 1309069472 324074657 1891604272 1338001287 798423629 1260313690 349241064 122356281 116117863 816286222 484746253 1253840871 911038648 1280447464 1006538851 1149322845 1168859717 708598568 2120748817 674520594 1017826804 15472756 507813296 674144977 486972882 2042993535 126290391 1557693488 1601880081 382055210 1504263822 471027031 1136778982 276000228 1065118616 147789703 1149718007 972041585 958727056 240755745 509308734 675108162 572124144 291951055 204298076 1527777451 81355502 1982649351 512973912 1311078333 1726692072 2060699976 945430070 603815999 1968849792 934181008 1617318901 398189282 88766701 1569966705 687573579 1680700613 775590177 1892232321 547747014 828717701 1061290687 414087368 1184322413 83838402 603871872 1418203786 327918733 539734175 1384474807 13115966 911284098 413297277 214913327 1301753546 400033377 298369349 707339734 99373855 1813964193 155343025 1641935681 1588729525 382168592 459399494 234413936 1015919094 1114734445 1070226481 1760160350 399865340 20167647 1760464787 1908013290 1868629389 1063081111 621237784 1705761119 894048486 1908151490 2006089240 1403152831 110375160 1230707584 1736996075 43687818 683206879 870050964 913091726 1749577845 77307003 864865656 1140751794 72770344 414151919 687614649 1069251197 530900614 1187736420 1642489069 112444531 1432575741 1917070559 482073108 509578093 1134723372 2093993782 1020188363 862863343 687905140 480320894 63607029 1049363150 1935579774 585163983 1434164463 197976930 1961730567 245871165 1099671375 445088651 271203456 1280093245 1671202761 1485914929 1367825359 527637876 2127569845 1850815108 240848862 635183085 489225942 2088218008 4443852 1370990229 1976270611 1547609139 1903069987 1610393783 1014776499 830367573 336537353 963714703 1123833658 188561873 572218475 1147658253 370165639 594448569 1635278417 1633122886 1270049061 795900440 1253654311 1290061550 886851578 992383760 570561244 1371293991 959909748 699083484 1071951311 1539397734 2138923551 320559243 972921080 691229809 824272461 749816874 810167210 1715847175 703184011 197009757 847326582 1477650834 284120367 2021953869 1299651419 597801789 1836750976 108856122 1269698286 1948386022 1192663081 1829116491 2084311974 352184047 371560656 502901267 2023718712 2130350021 707387408 2010059393 1511720167 1191636617 1913294330 1538576639 833583482 720328020 809518283 2036773268 1691022586 1223503888 465281977 810609256 1536020870 1883674731 1165834376 956797431 1450937941 558515969 1461038826 163220104 145640806 896560068 663762744 471759320 1547479621 1975714667 947668457 264193264 2137190982 579787879 1014680631 1359013155 2064437022 877898483 1904211257 1603557595 387611605 359422556 1425460294 668809761 2058909305 287103441 1332131247 206235768 1673880506 208168089 41897258 1601967202 1031705323 1622434600 1399741122 1258374488 1565628684 346451613 1067671483 786724344 1653909861 659910158 1982911935 1240339812 1749574097 1392647160 1111592843 1789821877 111459713 212170310 1728175802 1416585503 1199822786 1991592136 1446228894 89955176 779262577 1779478050 1105294173 900745170 539475350 973164726 628519802 1389034129 920281576 1711907718 183867805 443605249 1516855589 923914481 366456944 1022266604 312944045 1491437651 1870068914 1948792388 599362069 1383308029 699828938 1846433952 1135396814 144727415 404158701 17108130 1049935040 260766712 809223279 689875954 1877571554 993902439 1921145165 1458202621 677689294 371957164 636473266 1236369870 1087133173 358953582 1224879400 1879125231 734448865 1870226490 2028955746 398776097 1888439974 1724639687 1924693368 1726577654 369341685 636670711 985165492 953868049 1644460737 814187985 2019130448 507058336 1279555361 1799121091 1875309260 853318449 163869461 148835064 1526048557 1507908709 64190430 545721630 2116829299 1175828468 931378786 412533028 1633776509 1861865617 839228797 1076413905 2136359176 1647357837 1997284202 339180214 705089955 474221408 164461713 38319858 1774378038 1088637426 60175442 1384155387 1560058390 434981379 1664281514 1780164865 894854110 1898688519 171370776 320461484 41581760 436159873 729273553 1240498121 434767003 1443334404 1398784510 2059238417 2086349109 1826286867 1396246566 1705871202 2009700473 1124193835 53340430 360275317 1374360017 1895024020 1602492298 1108150001 242262965 2017171426 1732377835 738309463 2026064280 2077089638 935441858 1009437899 377659915 926547489 1982493327 1916744686 1440917820 551331798 387440363 2069137755 1939049469 1430537028 363343104 1367947273 969677943 1627612881 1872834070 89845483 81914263 254975186 266763124 1101573298 1714702554 1785274780 1556424305 916589465 741287555 1316278966 482372394 753091864 1877460985 811523795 1485612163 2001767658 1113887228 1485257561 2046697125 2020757024 2060026512 1738279574 589575185 142759780 1247360926 788330916 481459945 396450326 1771210652 144833331 1937249053 1197638839 1825672454 2082919660 807403394 1963462257 2075340039 1448305444 212684982 483445287 1869477693 1452804664 1276139679 1665601113 1079277168 1679525075 1159249827 1293703894 742532223 273530454 45456252 857649980 1664210296 1079101489 169038259 1435729437 1826245449 584704459 1822712026 875856836 1913990991 1751411648 149368426 2067443430 912773402 1528907649 320133481 1378061598 1918621054 383361984 622731387 301205066 1202757466 1765081664 798149174 977094143 577097317 1073346482 1295269863 382579445 544364318 2020591699 1270447518 570107040 603120789 161401667 85628080 1804699447 941831434 482924534 395353977 1718590425 1558654641 1589824542 120449759 1851478358 1598217025 1474115109 415284649 1053901160 625081462 290068237 15600316 1008262077 1525174764 2028022741 1074432893 506049353 1337493774 1979822404 445094165 1804266465 98372374 1873845763 513632358 1481067449 333676974 1925683884 1030947816 570612067 684299078 503896953 1436364506 1619209182 1407103047 336389083 373342779 1956904782 578644067 621113184 285415729 766304201 1373979997 697595179 632299119 2104939045 2075703497 1034708758 1475001818 503752457 670708274 942566840 211554040 959205762 997770525 1111770474 41825710 1942795990 995036272 33405608 296268781 116315265 1395848420 740258382 2077396613 1729696376 864961933 1729621107 984475498 387830916 1993121930 472949058 1363095819 749049284 228961719 75387752 243686604 1036704139 720568126 804182001 1444597421 2062139417 1365371762 774918477 2022018141 1411524940 324390388 1807902862 1715521948 455334423 469318493 1323016842 1670737154 1730042079 331459392 1902633254 2066458387 1390172218 1153179034 750308964 43295805 660308700 62571488 929773894 280489660 590567398 821343627 1440549367 858061291 701478411 1735452223 426822057 240260070 761207265 1595309579 1321999685 862496727 1417442055 465336493 817043299 2001715647 1708033224 504361586 688857806 21776736 953407669 106884777 67351886 2055071734 44763632 843422427 925214943 2062896179 156132164 2813637 61014397 1232442045 485610119 1922460716 1991024775 298376244 1199116556 1986059121 111193958 1859938535 188144769 1403393171 1606707496 1809015151 61336900 1065666626 177756632 1218731085 148376700 1671862978 965105125 1405055932 452682880 521199901 2076310863 136882012 872615519 1722740819 661928974 357342504 1812479506 116619758 1297069152 1107310116 192546984 1415712595 693903520 1712431458 2002051317 569938421 1329796607 1730633182 709791006 2003890923 213111254 363420505 1143110251 1553371145 1128723131 763067065 1415996868 781257386 733105013 1654089476 291223720 441181919 1096154694 2003653757 1797617431 253645943 1790925709 776852087 1896236851 1464552844 825816278 938957975 2125068557 213510366 1485295669 1632611992 558048010 801502439 1267648757 1811169191 224413760 1157347393 2092365001 1371211428 343945720 2146496225 798038535 1389880491 855361914 1990252142 1490628015 1411998954 1283364424 1017084975 416279441 2046958384 207358935 1025450631 1587126082 1801363379 200410654 1938096947 1336646664 1878306326 808631378 703139547 821122029 997222297 1677627292 1459610486 1076264445 1689941657 893158219 1933811003 1123191148 1283173607 2115831257 1657166155 857414729 483639212 297992812
Output
true

Many kids and big range* Validator
Input
950 434 1179567342 1504022188 844162373 1271041419 1678758316 61419963 757935583 1114988481 1525535150 467747060 2048646966 186184882 1908524278 443873978 26724354 148876587 1346094789 1219343657 270271990 890984535 2135795214 1723353441 1690568862 1262813195 1555050390 1847082791 1374214033 1386120654 878121494 1780871554 1363632759 985800764 892156569 94622541 1266720062 2038468342 1768320078 747937586 1355135229 848975640 1188004879 1600830296 75581841 9132136 724574326 520982588 445865390 469241797 617764354 2079795228 2012460359 397569208 249157713 1158601411 80894370 1648094828 1808925769 665533772 1191364906 2039875828 1303202701 406558045 891415702 499916093 52667951 1048516525 999437977 15619827 984947516 589611959 265663768 884449990 1431756998 111900649 540723584 1186901159 138370748 1420451808 958484521 1099557418 285917384 1347775688 54421092 1981829149 425899624 413179032 1478568569 1150730279 390956378 2112032055 1533107937 513513671 836890689 1309079974 1709549309 1772792281 1363867561 1332900479 520390905 2129210294 512557606 589146891 875489807 1627502876 1933080334 480522588 229282689 1113098017 1715635364 972881202 1963927433 190596439 2073747885 113665815 1549256287 1971388275 511170609 1729640959 1154228985 412272842 1059148339 1097501059 1209279732 614562339 1356837292 1756062288 1024807026 1143747031 2133836198 1093927225 1719643919 832401870 257893617 80176914 1522700108 156922152 1809669394 1244276148 2018289042 219172946 1679864473 883915400 1078375353 498277531 2002656978 1522305533 1458673231 1568675537 1709893478 1986696574 1429326274 1986569403 1689843300 706515995 1717569112 1769649539 109416481 1046240289 760328740 947903497 1224391000 1970898352 2017016390 780176616 1258733039 738217636 1392578555 82462888 1788933713 1334480881 1652318582 1952565497 518763037 1144880746 626684882 1888697416 838893450 1777057724 2121389833 509185133 1030451869 426851827 712128662 1459165124 1873711652 610663129 741740023 450988685 1036196714 207943271 858622850 2104664483 848220127 2142251356 1393109146 1880517377 1369838267 2076437267 835901043 574528671 1931828586 2025071179 1848742389 1560739874 344878812 442852986 1073866760 1313367714 1651559134 1706226684 1026791580 1514641449 655330886 1619035559 509871656 669643454 14703482 266337822 710897619 1158228802 1150489250 1005435832 178918884 419322006 1556391369 378995374 1664394555 526945948 1074694378 713313391 1250828607 2008570965 1257035033 146852552 431531783 1064545953 1527619746 331886062 261038236 1361282565 516289439 1059944302 1029594028 100009969 1441272307 506548184 89490788 1513204177 1330872909 1894647766 302764172 1588535054 1107760476 1359145456 1345641913 478851589 523887099 1254338516 327767772 567778488 289636823 2011589674 383427744 1389189816 23045032 1927737986 1865650994 1349043863 1431291988 192571762 1969539983 644837822 469732907 57148435 430037935 480623707 1831878156 1766260622 183912852 1439834519 1992245660 1389443186 1776126588 1153289858 1800319630 393737136 1067523020 681203093 1674110500 553704496 272815171 1460831960 748840565 319421200 2070713722 259289756 1200358859 373146389 2101155611 642649666 560842112 1059391264 1130132736 1661819132 129521617 1102607965 607766119 573494915 955808758 2100212038 1076212498 2089338831 1510740888 1438419859 1287239810 1545993026 1694573665 650180845 1350160752 1056732779 1649831877 99198270 1601079132 372392453 1553722910 1847327014 1618879041 501038791 1177306263 1845760358 1078252677 724736672 928009951 556129112 641156895 578552222 19524697 592690968 1836886638 931262839 1051479165 1250844191 2097482361 1193187021 839098664 107002466 312490371 716506965 1697159641 1177768619 368275452 635121575 2119949862 1211543434 479282222 497182931 1945481810 259154732 1375420811 1624484857 259973876 1580558588 900746034 1793205881 1692239105 1328635569 1871261571 68360261 1156330859 612834452 670928640 1444714307 1750833945 279942534 1996652654 167289037 439318832 2127796672 158066488 573534333 1830286295 310785576 1224388937 490729247 418052186 1612772645 506088647 1821281948 1357181864 33387737 311823909 706688282 564481241 296953747 727929785 782084663 885353661 1855619617 1448990706 118984072 269738301 1368216087 1212509143 20446425 2046390159 787113146 839704238 561771975 1723478071 1595822057 1400692645 2119105347 2143424184 1493742148 1889758474 837868296 616471228 1344767186 909085178 424150442 394640874 360302537 742072826 1258239535 155991980 671093739 1284435188 739142655 984441552 1835474410 465160014 1952778415 574448162 212800174 1954117118 1121715598 914184258 1554587823 1698983965 289137131 678538844 1765276588 962705866 1016031706 254400184 1584785063 1586060220 38647830 411086067 1741794244 783893535 1304110861 1979638344 388899200 702896781 422626620 849686793 441753114 304363231 324650008 1902784240 2130492266 916582779 1833122601 514208448 537807064 1621329519 1824604450 159484473 743217295 1477494255 1033215476 1628987774 164032068 452138200 831611428 212770042 1720774322 1146278561 1388901691 1377637412 28822746 909944953 462440052 1774024243 1229197264 992342081 1807730979 1285634207 2070132067 1661837753 1736987514 1349612391 1760590039 112409136 1774568337 1805767661 577153116 2139106391 1803881036 1759828671 764098678 2122479200 559457055 1197142668 1095224449 1187644591 1583899397 1029202439 1521964725 2123555569 1886033162 1519053414 1716854847 1286345833 1749117622 2084850338 1012974954 571594855 676748472 1200680923 572211290 994424888 1997688797 1013355620 1380803893 187358375 693842566 1550199919 1350223521 392539296 710158399 1811503217 1638726126 1899265464 196310410 881649159 1511321039 278437868 1000027286 749569967 1183727211 169798910 304278931 542979982 782871644 2019684875 982900367 1623692111 830444906 1375420681 1438321852 420594723 461382966 1021236954 1620398014 457218121 436640885 1442254840 1794020989 1361118533 666511594 1283873345 1761586698 940843551 921627900 1932538638 296097424 2084370832 1648128876 1395065906 87380761 1553883022 1452611490 1519250638 2035930456 1511245961 1989255327 2133403142 827599962 1234474656 1736603740 1264440704 1080697332 1087728309 631715275 690361785 514627175 832925785 1288510431 1436626296 1252092125 1074880638 2040040807 922447803 1924048895 1553863644 779539099 1744194693 1640325359 1600032710 1259676450 1560979845 1775450608 1398229436 1397653166 529975723 1791394375 300603611 984394182 643280458 1089294739 869195008 1732859991 633378595 2118042414 639701992 890656194 1310705383 909463524 1758563404 1038362908 2029788939 1304607274 11416566 1005509854 1720850591 401200557 809167435 1093068526 1406580676 686065637 25121915 526174453 1408220765 494214947 1390221616 1081863971 1206706168 712098444 1858263828 2034126341 889225863 1275416185 1749300122 1829682004 1614682268 471650354 982573890 1820707468 611296236 740077988 1553871890 671638830 275443412 334794565 2143505050 397846069 2147256613 1558208785 624483550 966732531 1928525986 1527090635 325934772 637705857 2129898907 485042509 1631509979 1794972967 985506208 1804058506 1059910802 85141478 807626226 1811377504 1518321122 367857797 1261588783 14966775 592511157 331508103 1331868950 258551683 1325641490 1078857745 958908424 1979723168 55445562 1815717310 1187071340 1133824965 795180571 1758487279 1454280435 1500357821 83395529 713297658 423475071 1420180018 234192381 1021707961 1590298488 153955623 505073588 566075037 1770513898 444925813 1457936894 2111086124 1575627019 1332248487 1900741391 1449631434 1534078639 1456185607 1918135460 780193873 814033613 114317668 391921607 1361194119 1270540170 1487698334 1708093908 535552494 927799511 1245217489 84260087 1174617591 49106439 1769272701 503752579 371586004 720636305 57645557 482104748 2132563929 146258076 779700766 1276584879 2062013855 1432697955 867348017 810149457 1634127791 2134824248 1845430907 1277338380 1284841468 2131781895 2029392452 1922983103 387168004 1540429330 187529125 856647523 625609647 1836017086 1308683287 1993481375 1359704434 8556515 1861185735 586826622 2103936979 1157202264 1526676475 1092474957 523822243 1565646376 2089844281 225569848 377648572 169401589 318116865 232208342 1783145699 57890082 312659526 768717091 1801920530 1448295731 805132411 379999243 941887718 99970408 514775871 1399866346 1219727594 652296980 1646633554 1459434088 35732703 907397917 1134534098 1999996876 739053560 1570303032 1699195774 1874042095 345998933 611183577 562695744 726848058 997603844 584593132 464880082 193599850 979231880 1781622025 1738557053 380733613 71758543 1827786621 1892572576 1612552038 1720217391 872385812 217210638 1993905156 1205153753 1074768029 464492996 794638335 242514069 2106664172 1114265670 1997608210 891137423 102455578 156265135 589299394 1745247436 1286892006 1673316441 1731534361 1165817851 360176751 54027877 165794028 2052044144 21025973 1300407302 1083508065 259814143 1653941828 1684392163 1968995374 1159780821 1896331080 1300293279 398486403 284847786 2145727153 531709088 314574711 652485202 1915638568 1918977196 1561777635 174893659 200553341 129831160 671132163 1439957549 1058850426 788063827 109588247 862783523 632085783 1425937009 814312392 314809240 68368868 883916977 1194022071 371473795 1477231088 688544342 108326029 1089628211 539332012 639571640 1293542989 1127870172 1538601690 8887512 1367688863 829745905 545081131 1746031088 1718948779 1720325135 1378035841 1493285453 454942845 1131414417 213026968 995326464 60461663 151494304 707542464 659083884 1435698888 683696186 457475541 457204720 108117248 1986789340 2044161791 1192335621 958189942 697906630 1856768259 1331103412 275464849 1876741201 1870584417 1878009665 1160999582 141081182 1433709483 929873345 312265060 431940750 121667276 504858275 1277528099 509519253 566000291 152704785 1718210507 314971559 1327648536 1848581171 1640362722 779696348 1306829764 1710370357 1153690638 62415473 1035354854 590406249 1714677267 520569688 1754575964 882926289 117139352 1755262258 250413664
Output
false

Many collisions Test
Input
650 615 70114568 459651902 70114568 1074967523 1886979509 937801816 2104888785 45913618 561414880 333266678 1835690888 1560189123 70114568 16363298 750746850 1169665540 54577964 1734142382 1764062198 1707777800 1835690888 1536858964 1074967523 1543466384 567455811 682822212 1887108653 1062064025 615848057 953528422 1140797472 1267671464 1965262884 2011467270 945602250 1215967509 1274946569 164143759 903134670 1396915246 2068157152 2024553580 1359892472 1910736411 1333621790 1927854485 344998715 386698250 82059957 1365676028 123321403 1450440841 339373518 937801816 376314530 124779057 476346882 718729064 1571494795 1512391057 263166334 297125387 931671976 1141773598 1302110471 2106587252 103925468 332300107 764212211 1317268061 1879287605 2044948004 958023204 886573353 679147954 868631976 1814150187 408001643 1471867540 54577964 1533544529 1924245625 1785626379 93992162 965661026 134010143 260719079 1491744910 1982684280 1039174696 2012761564 1885456722 1558097929 1963490735 1845940446 1583437807 1452444439 1549523568 566890549 1421320102 449751028 947882033 1394093670 476782598 454297367 1793033395 1451095912 1924084714 1087541623 449875837 813582262 235325605 1866209713 1217379132 1889731891 1829638044 725931337 739068445 1446978931 523357522 1590898548 1974880420 1634190013 1372009171 966636880 234159180 477987140 514814778 1857713188 1708759395 185058527 694627202 1541494457 1989399571 898517219 581292547 1427801465 1473141851 983219683 511645272 1558827052 1672892738 547983669 572506109 1180721043 1167896055 212998912 1232765496 1458005256 1752946549 517869164 817398764 1687414772 1780293341 2098393638 62093488 577971085 140426915 1655106363 942577032 1878569017 2109450072 161732106 1457213989 1744829571 1222456224 1021892326 1111324164 1673686603 70114568 294767327 137926983 1001653829 533797918 1176429608 141727108 1835690888 1743019622 712215393 285079209 54577964 580922111 7927532 1974561681 1758329920 1483906708 1841257250 1982335881 1199737064 1937243186 1716173258 1332346876 520268661 729551435 1306145087 1972444546 1439242753 541204863 636333406 1282815746 1074967523 1651629250 1306059622 1164562365 1000074574 1947431378 1320927985 1831456886 778323140 809443346 2018393387 1458220557 1732293099 899262649 820343936 273662943 488269360 1377345806 1315983951 1441296285 1733708304 1882988884 206102999 35462399 438641248 1946070034 1834951266 1015362815 1939256688 20907150 924159696 856006456 1096284906 796827018 778074523 1279919885 54577964 1962560911 813661107 120661657 1931820109 732725838 1138438703 2136469916 2125305511 1927089289 1650061961 1706052723 1177183120 259275075 880383432 2011449904 1942822585 937801816 2066877891 235144513 195419307 1693846886 2117239392 1517019866 1449822259 130787695 590327725 659347064 782401130 465136351 1579620190 1816201329 128770192 876297637 471713628 1529040743 1599294356 713181137 961972978 562171511 110000579 1257124518 1524992902 1879878902 686588688 522281788 54577964 484775192 939875566 555252334 132656294 1463783305 1188130643 54577964 2032012532 329704159 625423472 1295473575 618601357 1397648209 1636404048 162796707 806937647 222514227 43544994 1390851514 1514637772 1299913591 44275761 1575532320 174293318 149314155 524809233 552847385 1572804352 2135965622 369845567 245338240 1076085125 1436636902 486913028 548772032 657207877 703750551 2067434493 1150881263 1469172881 1636460105 1074967523 413490190 943477884 1429794613 1433279020 1792178596 1943740285 2061474820 956492874 1214302701 1192016594 1074967523 508691710 719559983 654437079 1368120396 1720670168 2131293753 1623485832 1625964681 765454727 1617639225 1685182173 315853545 19563531 2117190364 1974571597 2072679598 419382465 168151001 1835690888 487236072 532177176 1496676393 1652782099 937801816 430083645 233492477 1425927260 402442836 2111414683 1233948973 1160296686 937801816 54577964 1924711681 241342619 147113763 70114568 570216445 1294567199 1995343908 1722226890 852473442 327118781 1899837133 263089660 660099317 318446756 1552298673 1964408112 326889883 1966868976 775153818 1777159931 402017308 2033569716 140380437 978067433 12113525 1825411719 1478512917 2085436378 1582917667 119367844 1840528382 217280810 1296852842 525334192 559031400 726611712 1565619012 548774000 734732628 1863221066 2145237631 866633087 187204000 1639279163 1713223685 1133108767 1586178201 1489737760 2108975326 1624730201 26718723 1383869976 1997043763 1786713120 1935434930 466291541 1115317852 1462341776 90190959 465605516 500607690 692106389 875780775 1491878744 467458691 1836421109 1913508000 986462460 115407450 1356440343 10095428 1203975371 419569946 1392872464 1401454748 1441674714 220714418 1219237187 1253587614 1352052047 791397432 670390942 764260427 718496716 1463306327 617918906 336013914 1470417336 1234371523 2051722371 993204664 1925774080 1050257514 54577964 782674270 1239485375 2079386271 131557679 204906462 54577964 178276323 1539856527 195834729 1278248089 2140248280 1214278762 915932682 1990683461 575793934 914198839 1074967523 60950669 1890936238 864358562 171387145 2046390439 1110510058 2059115951 763986503 254275732 20475612 1113855310 596925653 871038313 1348918221 415158519 2093846767 720911125 514820199 211485791 411252097 1592673105 1192423560 831357654 420848173 343118412 346997323 1908389383 114555906 2103657657 116413749 1335079503 888327758 1264500368 82353808 1401695840 1193529659 1769018198 303995214 174366268 782655353 1847012349 2085787776 1714690264 1076203189 1902358572 1050270294 604847185 949244714 1469093841 1513882717 54577964 428663033 1737715242 1339157995 967037287 1778149795 191908878 357223603 350047717 54577964 1640405917 2002496576 1241845932 844628222 1640973304 506775038 448774455 2033869727 1535840138 1117664062 1649460422 1382958184 1412051082 757131154 249143444 70114568 1304165386 1835690888 1751040358 1447187901 1188618396 437075836 1511414660 1944907093 690219124 306029579 1007010462 957023519 458049748 673967148 681252681 846261513 817246935 9252225 1092730603 54577964 205564331 659253554 1667131803 990079550 1819543064 731866723 1289218880 701234252 1775729681 1973561952 837474410 1034604134 1572582805 796049949 1736151017 1537628538 2074802468 992278996 243641142 1589352249 1110730165 850502302 1618584318 660041141 2071216090 1250356672 1193461366 493049711 1475364369 197832949 1596913679 2114890454 1310231565 502506376 1643026042 36228171 1623100749 1807808088 937801816 1305129694 345210204 457527168 1877918021 1507829682 840050420 361566737 1399886452 2116860603 1734820513 513020465 1071363054 981589123 459259208 1541317742 213518899 942389156 1609086922 1505859918 1074967523 1197183142 43249259 195074677 128190988 543294094 441883152 820903548 1759773846 1705042582 1341014266 752552126 54577964 1347038448 268553163 866326433 374188723 233851981 525898913 640468334 258158988 1142005821 1605031307 1603563171 1420263792 964336372 323975971 1337953449 254406249 1406625519 959459411 1460212996 727157768 274431628 1168627037 1549062715 1527917748 1083683856 2112381598 1942852384 1981351134 1409300305 1298120963 1306470971 2025164887 371480599 1311661132 1977491605 1589371357 1991499780 893742443 497792977 608876855 725330646 1732349161 1863900962 1852706218 1131805271 1673794873 373122270 551832051 382663426 2125839358 485537214 1936184311 1396311664 1208341616 342983981 712422162 889724034 1680333520 1589532872 739672399 2079270799 656212774 1948810091 1529444870 139876988 2005117242 2142176082 238491694 334770960 1184415836 122215206 992764108 1287456869 765664320 275603425 401016980 562044128 1919580533 1813370000 1307812789 689927400 887244679 542536887 1179803576 1783177574 1424235862 1918166407 526715050 941454014 1835690888 1515436750 2139345800 886370508 1957433929 2099954960 166893304 1200970863 937801816 626756066 1194970083 323123819 380991199 1997126615 1653315543 552057189 1582272398 1100275213 1067003965 249075293 123412713 2055184478 1074967523 2122115994 334547206 35345219 584315965 1506329736 1456457832 1418653961 893812409 70114568 495801389 41239272 910386080 145770746 138189085 1521816154 205364543 688588731 2143629336 1586861934 1167440195 1077263954 2119253246 1029585571 1651191929 1204680040 485126460 1392211874 451237736 1552519841 908219964 241490030 163160516 638459307 304610711 1755366795 1200912203 1723350971 1535276710 709666543 2074153266 1750672041 438058120 699401406 2085612896 138571300 306472900 626295668 606501937 1095415840 723887486 1579250185 1074967523 708101709 2115910165 448380408 700854643 2136251444 800108088 731936093 707504212 832873499 792680084 447522736 1105533293 1329605548 176517241 1358787420 1924974765 653553885 738232475 1081070776 1962120319 1559419646 1564420363 2053699067 861715670 1647584935 1835690888 58129679 606647030 167961284 997025066 2106015513 1140523917 1817558447 195718999 1288296420 473362776 70114568 1222625406 22136023 1297299457 1399006286 174027241 1921941873 657480002 1835690888 1144228921 517649777 2104969539 412706823 1273760249 517165594 70114568 8292868 856911909 1074967523 724507339 764482558 1171188432 1023298771 1881846590 54767437 461448760 709192948 442851390 1093358186 1435347464 1281816931 1645812327 1436441980 1470094597 1971089319 215762337 1068813290 496056673 1109206964 1762490398 1202764245 2064186574 35531793 1802718145 937801816 1752710221 1813269399 1110946183 885765106 396441051 705493866 1491378035 1325193114 1583430836 1554417110 938074627 937801816 1738707623 2147052414 315856408 967652044 423813236 70114568 1391608423 937801816 610051326 568311160 937801816 70384483 1056650368 645724132 1940688728 438436450 553846289 2051621521 53644461 70114568 967152639 1260205913 1607527103 1713116199 684134267 973141620 1516394246 1835690888 302249501 1780718776 1480715008 1275513573 1074967523 1330972428 193538930 612233224 805601193 976787132 480174109 70114568 462461610 70114568 1357329957 1689540608 1203624896 937801816 2099509306
Output
false

Many collisions* Validator
Input
950 692 593880100 593880100 1694955224 1350830573 1726572345 2133764666 1201454334 593880100 542824741 227501742 55835617 1583713609 2005471954 1901764078 1694955224 762369836 1945000919 382987583 677607404 976258186 843375819 593880100 498112219 751006672 1168542612 1530180617 1425836253 1157740492 1906221633 1694908208 1307838108 1174321406 1009824542 862785406 737943636 382987583 959991404 1496979945 1464215252 207582309 2070749676 281223410 2131992956 926244786 640492752 1655446856 1218497176 610676292 1121710689 1014079480 1399488013 1991433995 661391441 1105062256 335557386 1580807509 806150403 580114657 654722742 1292539979 500047088 385376473 1354092130 1809766679 1743647443 635344393 92324465 1821629479 2080750314 382987583 700059129 996818642 1290483519 1553705980 411769518 1227628883 137318817 395685913 1367204955 80458931 599854755 357152885 1001587024 739003842 34178496 1144923235 1395274241 1179258896 1694955224 593880100 2117713525 1460166446 1142175916 326452510 1056285279 667052036 656767486 145526894 481754196 593880100 269204951 310173693 683904136 1056397538 1087724154 432209347 860225260 1457910653 1688133821 1310966109 2121392421 1661051736 182794517 1678638421 59283721 300602251 350619305 884918570 1126163035 820703852 1144083981 703858944 996438857 182363890 879796613 336045443 1318069890 1422941602 539800515 1491155178 1191489332 131886935 814137974 65463484 1668236587 1698073673 646441203 696850205 1071213817 1765091411 608600814 243973358 1738596678 1483004011 499398839 174333393 1675122595 544913441 1426150749 1411392663 1252032589 850346319 1435142112 399202702 379154471 928621324 997195867 3863246 2027053242 955953079 665920449 375908171 1735522732 2035178721 709849456 402133422 593880100 1359787711 1268479967 1192467046 225359724 467665252 388100265 969255655 1728306445 1296472105 746792469 504333250 1871502876 1434728134 593880100 1616136258 2134668492 1691059391 1231435140 162916764 42276636 1657318249 701277261 1922211569 1747411997 362723925 766748868 1896040219 1805395980 394575146 1536406116 926401786 1614909544 1348850535 593880100 25016165 881798145 1736395259 1934156847 925448593 605866285 419205611 1375198483 411428766 271498296 1829990975 1799408265 2006841838 1364263297 1423367016 1694955224 823272814 1158535395 269218836 550789741 1248404593 1717424121 861191962 1412400853 1918589084 700467744 624069399 23578982 1394455546 1354166815 1959788371 1480143605 671456660 1879248971 860006771 1395239732 1759965744 1516564311 145415776 2028326944 1735097457 437915415 866028249 1440018922 31201538 202982577 483969454 1693198220 18390166 1205016190 1974718584 603701219 1560111967 1105102825 1226783048 1018599853 1856388602 2085821145 1778800089 1124315093 413434611 804937169 228715174 1443742304 181593144 1044407464 1081960686 2021168655 1817441099 794328897 39970100 1326698425 2052951676 929436306 1701842663 571542194 593880100 1574271058 1634567093 113070782 824948369 907534387 2029688689 1851626066 329845013 1885432811 1038415706 920538322 1263197173 166081110 1675085039 722023153 540239696 553774544 382987583 1296854395 1113312563 1458359333 710512108 708808242 840389709 593880100 216273741 1180535708 74350150 1752075715 580010075 1713259302 1840868961 1895059488 1153601613 2012114285 357157322 1679204954 581853430 1159185179 718418803 303556687 1100075190 810454813 1365659015 424881432 609048926 2105971340 1991004024 1576307844 372284268 51320685 613703173 1965897908 905014996 593880100 1200068105 1722857893 1078164998 1430994127 351860101 339859817 1179510752 111497330 2119431806 159829604 1148858478 736185678 1738519960 1952229917 60950368 179931603 47468257 382987583 84854011 1245758013 1854217327 864112072 2090580323 787627461 2017637381 1844672868 575007556 1047515041 2140520846 886121251 1114585133 177062443 209332676 1753209841 1506518738 1303902390 706754500 371278093 1199231420 862861901 229773774 1984727926 704455836 616537434 1325397985 593880100 1524016690 222394164 755939013 601505453 1666779710 608472403 377835998 1468790887 1254907881 1694955224 822957369 121050326 458378192 2007941895 773363575 1944134483 647668415 2004172717 670548587 220814472 1501324580 1295876939 1157556774 2132962051 264343605 1310449384 1346097897 644660948 1309835062 1028902100 503627953 1008957713 1700120113 419217119 1408788169 2036513885 230704136 1672979619 726098490 1569302777 1402825916 572361517 419892917 996504419 1003826923 980340153 1371389010 828694266 28000349 1438721853 1550381719 436779144 328424315 546147154 663878884 1614404986 593880100 1406837226 2049367073 29471130 894740393 609860951 339045949 1712605987 1462342167 60126864 1305353030 65050508 1952111910 1884065735 531716728 382987583 593880100 1119818312 127987256 44329162 414632266 2032837063 1844659850 1435602513 2076239924 110394028 2042610904 1253130613 772878562 1073325352 1874114263 375828404 1679762574 420562703 795401601 1683338418 865412723 1997586737 1185185375 1943140229 1638617338 33508049 400168796 2068829838 1229963203 1909926550 123190574 1744440792 1604470301 455735704 1489058435 1694955224 243169390 1846809873 1313562813 1140729820 439778844 995976448 1846954514 2090641857 1448424380 1937651695 605611634 656718281 54977038 754377544 722378696 1162223077 118931883 1675343154 1273470525 1290310153 1277536855 307992197 106262077 807130822 740232374 1112146720 367454455 919395604 812000009 1333090659 1128390104 1644486153 593880100 691445227 1446595197 1148085741 2138923412 1065957562 515680602 382987583 1256777750 301490272 1004852737 1579968318 1606564346 1501535869 593880100 1877338910 1993625288 593880100 1164085460 62106287 1749233172 593880100 1821635580 1447840947 1548701194 713234845 989390525 760148635 905711893 472706630 196783000 1520596956 1976851357 1163105862 820290211 1376810581 613787897 661385200 1837398689 958294673 941491124 1292907546 559976659 963971706 1800480412 117920860 1255681129 11758038 310017424 639378359 451733412 697554929 449456496 1630537019 1065693875 1401806327 1366426123 1473419162 265333293 926406718 212269900 1069492109 1223581862 1424407792 1616329669 1545689017 1547957589 1943478046 1215817111 1271609509 1988779243 1516227649 194120690 1840510682 2068601582 691373916 1594113946 1404225391 1803018228 1052273244 532449518 1326640886 1885710157 238877156 1673156548 2137649451 1974720810 1796631942 1795510654 1250113611 1571565555 874706740 1562621057 635955700 731831180 1577958021 600569951 1650053394 720871032 676841747 1886309670 1226936844 1034448819 1689248353 317960804 1655076538 816873685 858142798 352165951 1384755002 1058435537 1066049863 1217404964 956906354 1506121055 1535212770 1358961140 593880100 878736907 1394218635 1275654157 1507134488 1233342094 368705938 701055323 1952580140 1228435178 995771143 1712698935 1480102150 855244100 1347435579 633948326 1857239695 1325927983 655376899 1858841107 1998911930 364125628 1759736855 859872957 744353816 1888736222 1749522264 1376846517 674803063 1413950403 1300876225 1309639150 412846769 1603434581 419597977 1054419974 1875071286 1408037535 796964622 862926034 569926021 1029460004 462173959 985800100 1408863914 382987583 1974385256 1837859723 1183784636 1411235680 1585180981 92596211 1618529872 1664194236 1560641008 1408859514 598982508 1323515709 717102463 1788302637 1213047135 1273076077 1446834765 575258640 1336750312 1885170420 1279504828 1525577253 1141369655 1694955224 410988567 1722314647 1787317330 669450200 499586914 1209990293 39561655 2036857798 587950781 1159076183 1085816728 1394672172 1061039802 1547051463 1024669359 509854729 2055134632 1217754872 298471870 1381781383 746061068 2022327391 716237544 956505978 1207471732 607179017 125525867 586972431 1276135901 914447653 316596203 15440468 64970560 601093715 451083514 1172946165 219201459 549212884 559219981 1601391102 1534573566 9002411 341006446 1472069664 579389867 1106677656 1256905612 1771126523 251726073 861173433 1530379230 306669673 535202546 1911039547 148657254 1641181648 1728455149 492609348 593880100 215586371 753397171 979116537 1541119654 1423537519 993015712 924025751 1041984701 1517718560 172494235 1607474650 80540784 1018663468 10798680 586385057 1583096444 165541050 1115960100 1701731915 1344709012 1694955224 1894033128 2048763446 1926949786 927120277 1605699619 20745154 1558654022 327345758 2112774617 1532734534 1777465595 1413036329 1248408630 1782751440 525908766 1353295844 479335544 50639365 1403537842 632907457 698138449 2144031381 1472640828 33302380 3467380 1830050821 2038561510 1440360720 2081737651 1130313010 1947428837 527662285 1306948480 210575594 388879460 2113671661 922366831 1430941870 1233608005 1836154189 1937050404 838199716 1010956480 251290808 107948752 2045420374 869363792 1488880287 1577928438 347077195 1458683668 347789067 1588193020 1191574111 945902325 1909966041 1277932236 1578502376 2035369786 619582281 685193065 673858711 572012869 443911379 381244708 194148577 403286403 107457233 298417982 1034703159 847810699 1761096139 68195864 967979768 927749609 1196680486 1168993298 612661948 2135094786 1661260750 1937366862 1947399099 1764140970 1734263082 417642596 382987583 1715900132 437061444 1488145813 550298681 911098474 1131712867 1804769080 1694955224 618320190 593880100 1964857722 662834721 369687478 970169982 1694955224 1589033425 2007597193 718853918 1994317338 1960580081 1947238297 593880100 382987583 88447701 997376782 1555323061 751389481 361873986 95024273 667879424 2020584585 1650134936 1996589772 373919627 1914514052 1865486234 413766160 329216741 990454686 1556440332 669941055 1076107953 1383900118 1273775827 472831103 1485319748 739014331 593502671 980243371 221783085 1571534034 1883882847 1107045574 620426795 729531971 396258688 1895504124 593880100 1726064354 1636315697 850841854 1306456498 1501945878 664429664 724922072 1888235152 872635971 1890134691 1739371167 1643228503 603853252 1428723669 520505306 593880100 1305982715 590665972 382987583 767329090 1694955224
Output
true

No inflation Test
Input
255 256 0 1119319674 349447875 301686522 593018095 1633905315 2099156401 1424883548 363413278 947480399 624752033 478607479 210782509 270394622 1112502242 1423946205 523813530 1776965468 1182214514 1944080606 2059939127 2072867925 1814039819 1360991960 1636505643 723657506 1668497466 1447746843 867804797 1586139583 348269851 1472844277 1610794551 15087567 1830583703 1888673295 812237373 550228893 1462128461 784500144 1227672602 1335288038 21458908 1683087948 742115482 154590127 2045016637 1675664432 568450777 1070514606 568108844 886900225 827384524 531805794 608659073 1858623779 572003893 577048304 800129295 699780270 512332959 1947446175 1348318074 362228195 1067665887 2062104891 2102058807 980295921 1427453669 1309524382 1244689297 454262065 1616457384 92698478 1458900196 138535581 134179807 647124654 327266890 1753080493 1114486932 1942733386 1800069333 73737969 2077728767 1786918443 533215781 1541346586 221975819 1062806682 373341017 649716679 807408761 711169576 621676829 940962008 939926866 1779304596 163105529 1326438465 315207320 1691319216 1562799333 1068226672 38510892 1159583722 849579074 1546220853 634262031 1331744338 1744025586 1169711960 1730212294 113762918 1451469182 1703363131 1400627353 1119318148 430525894 981438184 772555367 1661227712 887091646 1531598318 1501352132 196843083 207700406 1382052042 2007425545 302535715 920208770 1897341670 240371309 302396149 572968504 97341267 1339864181 351427637 165257645 492681829 732337071 741932033 454088621 772353523 410298873 1559750842 1879694069 465214085 1061042371 922582870 492889564 689938513 1887540434 583638712 2039902619 1172256174 1837881465 642343212 1311532223 287874538 579130726 781644819 353995946 1539537335 1322902217 126773320 2027693194 657810346 646665690 50954372 494945049 84713244 1526087232 1573776136 568999392 1597044803 763810649 1384905049 1010189527 1600651390 1172910214 2056103047 1756367575 179097211 848797713 230465126 1321922072 2025508303 1832451244 2094410651 922589764 1409267221 2042408232 1442587765 992381349 2025211294 1631326034 1939038222 946540719 1369937716 266308532 420223180 1973928325 1295725896 758229306 823508852 806511363 306146180 399072334 1089628672 22018173 1287855198 2081300068 1007376842 724608949 1742318491 1335136986 2053754840 137364778 277768637 1280531157 89017651 1347062771 804934589 518657852 1369391254 402213335 399112919 1062858764 174951657 578450720 1854760953 608773258 1586276307 397276965 648027909 759333049 514077462 1925079549 1394903081 1714092988 1250298640 816970037 1193485316 223304723 1811413313 1786051787 998011394 822635860 1210096778 1614635927 887080050 734278936 168830618 1272045309 1664010098
Output
true

No inflation* Validator
Input
255 256 1 921844738 65659833 1074174112 1157773780 1278514692 2097310966 887194978 2143423843 544615414 1075423078 2052923175 125934236 1095129693 1669432790 2063371605 244137719 813666229 1736552196 238502026 1887582703 650776053 570975123 1027928532 1076632741 1622121299 1749928487 886810886 536668899 1194930527 388787281 547503377 221982947 1079469880 9884684 266744425 896009355 1833176645 1735037615 987248537 668817493 1512912268 574885666 1078326940 1291245325 746640554 589114307 1589490725 1287825524 691026046 441907248 632563714 1996554365 1165759230 216834919 1429509030 1344097547 1824530870 1676840233 548204686 108507545 484105535 1273871726 1086840921 1138824950 1929378787 147895623 1964629889 746902459 608002025 1788852439 1703062196 1902610151 561735784 1706771522 1651977021 1466855282 1580828681 477091161 500543443 1980293090 1184888511 518089712 2127863629 1116766771 1947852607 1071110327 1927361095 1218669113 1236275241 19314075 707383444 1404559727 1335516847 63236883 1383737749 1515365161 890468431 1386541691 1222793468 1419130052 1191699146 1692183848 1768415493 573481384 1733270498 1852566156 1487265585 806703588 690698774 1927368447 1716851541 1341921282 568122749 2022897762 1800240779 971191725 1766147043 1572790944 1778138202 1408996399 1058347413 532040926 483088062 1024437922 1251309164 1086692652 993902476 2123693281 230870555 22248192 1751660004 1880220558 832329988 2136326457 867661903 1526496651 753283802 1124317795 2125885226 355280830 828621601 568384248 1510009155 2025212224 726501085 1591789071 1091735936 1103832521 425143423 23051034 1630515429 833545263 1273424113 2043019015 964209121 1242706720 1487814732 753071253 619332852 558355276 598252651 1761542163 680800689 83229491 386767054 1581462530 1044047885 2075071419 1503693967 1582246709 1174564347 1486470132 1719931323 1239651890 1368410773 953187162 952758630 1150945013 839084776 362982951 200181569 641457152 2055170518 1983237820 1810238450 1379162375 2093446540 282487279 1184077696 677894806 323671636 647456168 311732721 1957409169 228927775 407912577 961176029 123442798 1424997546 2115645268 1134843742 423332334 1206851498 15860466 1342928462 775899626 448182687 340899326 66052729 748471596 215970676 411326803 902354672 2036024007 53722165 1039613539 37786061 1624545194 1811901352 662395940 1038230118 293924829 1959677113 121864324 1135590444 1887957944 775413893 2101753344 27852794 855648977 1778023924 462574767 1819021537 197519170 1159111041 176602867 1236736046 646920962 1673296301 221168004 652326914 903496993 644866378 973095711 386099521 1883508080 1610588109 1013297427 1098695513 713491449 1657630443 1808556887 267221843 363011810 459207198
Output
true

Solution language

Solution

Stub generator input