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