Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
1983 739426202 883539096 122766268 28798033 733838252 525523732 603685182 14529092 209428793 535349959 673718911 536985796 23945585 961391021 957915025 767908479 405453672 83017800 795541161 785617641 41938069 641077789 744588449 498274489 469464407 99944501 20363641 345778794 852071787 855507869 740715730 518098107 681641591 559213542 743063665 368428848 129695875 79504805 235115202 932143246 445749883 218868980 792437587 604375395 936117422 707217391 9923924 253920379 982872402 991240504 608051742 244920172 913780989 253230196 964551593 655644940 490098989 228646092 66861332 396310005 567754434 719317357 241913120 82295560 202223231 68232200 28943029 113561063 197434764 641875 71375709 633323897 778284535 919883141 603366852 562148457 903725358 38271198 395857470 650831784 746328198 670143517 207452993 416011495 860177848 504445704 897034726 923173662 416705886 219131112 336086124 808194824 542710139 956160778 693077685 370497444 964501488 665455423 271607496 702646 350146824 446850140 198735693 917655363 935904749 596719291 355990036 21215257 444873520 921327289 336332430 677244997 247006533 438486838 718053970 844197786 802028292 869772312 192489882 939723057 566199850 733260488 724334019 518312419 798203350 936471731 90995665 556138193 532149004 571710410 376855272 999658461 676655413 434285826 903372500 390294574 302084765 255300821 460011138 154510000 244717812 885060544 852874885 600355473 964883918 715942595 766211474 176456134 16276771 807205860 518992644 255248260 277539791 789004972 45756249 512837319 79070739 599522984 370489010 878061262 10054674 230192105 671684439 109710236 782183509 875944324 957675057 861985401 205760584 560835091 976590159 435998320 543071930 939094067 529746017 177766095 479418465 240466180 28872000 314206121 342210132 140829356 636290660 742108759 213885583 497640660 826227564 466077683 411405426 148169513 154943898 185690587 571605826 523081180 53179476 637277236 856205479 571437603 961393061 619530853 283873069 701404342 748602041 871709591 388220611 95651410 593329764 590882620 143428414 342019642 163559324 942389125 730924247 368905393 126064123 980772842 436952233 102824321 234019902 645042086 696392500 342563959 800300232 837915193 989602013 179194340 285015584 712191972 498052203 67229470 186242414 320225840 983729036 19235069 542677762 504648296 181800270 803224158 576048846 648556570 310134950 550426275 541923559 637050777 906876140 497751090 49883655 291808894 899579997 825355506 833000462 247285283 894079128 744164049 715932796 276880423 943885090 244899392 857403129 870872301 209891298 161032373 172238798 906490908 824621989 589865768 44783209 615081248 693997211 508894358 150493149 78712744 151645912 68545153 118857567 409483302 867642580 740313967 774986954 731106386 624642540 375582055 19774236 550734247 602147038 729543799 384539895 308318181 700489809 686697776 947954465 151987597 647460683 555947304 414141188 786853480 565443001 487652727 616295727 360129025 948584682 636747578 971698643 792863270 600688148 330417684 582136646 158483307 705759438 139432616 198070404 521388454 973446036 672519968 560861609 617297524 199012423 505711017 151835768 998925235 650976426 902809845 776046807 924890118 303462118 476946103 880344913 668622164 861303815 210056746 34398610 590213961 232095868 469263499 28907759 927956948 239887515 934215578 180864731 574851495 547165466 15747101 770516851 942878907 693588887 663895646 929805811 231189705 903460114 942543016 512786751 253167057 331737710 485157325 270228059 590278807 366924019 33056675 235920115 505659169 856276175 38665090 109845972 727266619 275334544 982011080 226019697 994288883 2760875 390800725 180625503 318265117 199197689 97428495 826741209 655741903 407900213 797881183 820249660 159336678 462488959 512788915 309862796 934827136 521633756 656520698 100498926 128726400 947708851 994132523 900844076 704968718 119919185 533387198 925407284 702297108 556009062 935653425 158479257 439500738 252522118 66329988 861253649 641873418 694032810 372129469 154163701 169252132 327549356 998017638 36826308 178572044 345626062 925941514 764976544 903584255 373384500 646557115 907033551 901378306 476102501 124418191 498097979 464952923 259600590 977829662 839596787 233122838 866207551 813071622 584654248 965815425 514706539 155873383 657436721 314873008 550718061 86552680 563183111 274194682 430066750 277161904 523742665 405951353 477961280 2849517 68218298 442073230 134277814 44604753 813323326 257225564 156011593 252779791 631994976 796993096 422857861 734292963 240624719 76489087 630094937 878230919 991222749 233236336 729820827 846558271 136904447 770760526 195095682 869267790 770811983 248700303 533698090 690702719 731125645 751076975 649594643 383130013 609246234 691983470 513783458 396240122 922751355 436851406 426311327 206749164 56372700 788390422 309240758 23896651 193400970 576663186 935680502 473661941 91663992 157200080 855806293 14914891 199776443 621348900 280579625 424768433 720871694 784176421 354301872 665197073 812930639 462432814 153154697 961982809 80640768 561981406 684165433 340061944 98083783 576212888 967826088 448588133 288115182 344043012 577156257 955863704 955758563 342683532 388222549 758133391 459429305 836834016 886592729 691013067 587940262 948737906 632624547 295931856 512816771 56462331 260635409 17863592 589247567 628529908 84173026 660867681 339899564 828171550 882192058 129820554 768074593 437430779 744067747 118405562 474352854 644318802 386899847 133801738 923437211 120540847 16353719 69523350 902916065 738129888 838400871 570800639 809013759 560514425 701788975 208881643 976227054 987397713 90512011 864609412 447735758 214140675 313352796 275003125 732443999 146572910 316357478 726012657 965772937 717195317 239918800 659677484 332584148 238052160 562241191 89027551 617243376 561424441 665712218 442839880 913631535 496559120 449228095 810471464 70851590 655637112 751338253 679679043 861460624 425050727 236318304 184269027 16987915 832310938 405497657 904774486 814415192 964054031 62052731 602433899 132115327 417198728 467106671 223608825 426434601 722462479 221440065 187840857 23923492 954704493 650770048 752552935 159277539 210206641 265185954 862390916 314580476 649989295 119894398 169659671 742251944 10284158 156547280 181885703 757934662 620306937 768636856 986114499 499711192 621806655 9457467 604564794 623044228 573150516 256226497 689655907 120841492 204039678 546842261 943725495 825570678 354410376 467532392 946191794 594770494 12808962 689180111 155872085 655574559 498475615 700993728 172099239 601367158 563078869 390519321 393176879 101500863 31209313 412666905 209417340 497472541 559741760 893391077 954687134 652299222 584539767 528562949 3610794 944291285 557853261 294772196 870396217 758573607 783149515 215788627 476506345 463301246 31250499 338114310 3010267 525563569 168368070 379580693 647454515 320124218 588742572 191038589 507589020 191259574 165114640 912582301 138347457 965588329 845091666 922136249 489590229 620172728 313932947 573937275 999559948 752493228 366286908 238529133 249254432 691773814 108807543 921328255 484469197 207903973 794682804 790577799 38718804 768932849 112652070 501021372 44638972 856995380 432530756 183275579 17508492 134680172 656245576 622371715 614134227 907511547 202962099 540942584 457198369 640210535 191677895 615102819 552074187 216259034 396493324 670748272 340667050 914618274 623268555 439053614 302233244 72994738 681033110 65172627 286850818 864665632 279080126 993048054 536812609 387933093 883496923 217075603 761412161 131746848 968001097 794017035 324672753 25216275 189095845 511585761 64307393 698642468 765937235 412191742 417749286 119856542 337552379 315208237 608802073 756430574 783547912 144591008 865711000 569723686 751252008 122941801 840975396 862355837 646782671 545830658 497912130 260801484 252560307 211735750 904196858 840685842 380989009 485878133 493241691 511015410 765170279 241704884 711897333 120211760 130979448 307972234 798967645 714209336 146877515 968391141 106751404 684150167 91505004 967564563 367894273 638828415 561585578 639157577 399310586 549923400 796636567 237377568 962611775 843747561 870914828 698283026 978380024 866941315 828302754 176110337 868213585 581449687 122366777 661897905 343417853 228668362 128018037 480088393 649731248 555476968 204351804 202801111 751074468 522082271 804230969 128396489 755786517 725502719 486835292 168605812 665595333 619204289 988102488 889576336 913327481 741461309 280182308 243641785 165421689 523904946 847402619 701794288 496125716 763523842 456119388 52490009 631280154 242245683 519205514 757627515 878178656 32098543 763288332 823517251 952180288 158266372 178637742 725364225 509364758 367378406 402468991 104774952 786112708 198542120 322540626 367882130 549764398 342554375 538282813 858231803 262497215 521342943 126450460 507477121 37102819 673854899 244938767 350276395 853318539 283348137 247218423 498558558 124241836 504365452 888545789 659496809 608966848 890755657 858258700 493995259 388290115 493565042 889770066 406455207 37378615 443506622 812516547 737907303 107109793 375976583 496066198 845264150 38247177 1510986 65707462 718982389 557509886 734555690 129714834 909013287 584863888 599740270 59099645 670521652 756067796 807364095 338023502 572405130 894971492 533506795 680658833 46436343 140960732 933684965 331026453 101673008 755189854 559384770 979283181 105336398 774261007 844359165 823278191 312893260 189005976 943158068 603773111 966822794 745339813 386549416 463407141 436765517 381160297 944516801 7471067 348946236 652813337 218210952 176302656 272019685 366602092 802442284 310381951 816742710 180426018 291784574 864901641 328839428 712282490 756775540 35678479 6611847 466829241 728668073 129423624 803860700 765348010 11747035 609657905 214750850 538060057 682823532 214448392 471974365 728254551 196813026 628159185 522455223 827152569 875529576 540424209 494385082 909574681 301104203 692647701 481622775 179847763 829283453 572620908 547223650 546317257 429849364 96136553 344365139 156939232 517507020 735435426 202649606 788159873 8647553 587898996 54108188 912871833 615336119 646595964 835424536 996279193 756837906 656540959 375849955 685920758 991944926 878728707 458985033 2912938 87204744 518480020 108810106 37356465 930326562 277574016 765502090 378278285 426492131 952532539 433427184 405492675 892188837 83479932 790256907 250058076 31386982 76658110 612210328 764334949 557020359 673071040 186146109 999858543 147002512 870419205 570969858 29548559 156955946 547309141 999582931 680448863 933665315 440676410 768221439 892121980 594249902 106302852 359354812 105778438 515506720 640032198 50738592 96008099 245494388 445361110 136284713 601300091 137976520 747839569 550222391 60390589 615804382 120319508 133225101 290660889 665769116 205889732 609511507 712227141 396674188 282946888 953610135 578801785 368497245 532911177 100938183 258534898 35612768 938909881 674816056 715946610 888459531 82775625 401525923 562844094 527031162 540814833 327556514 616522015 103121897 419223660 793180984 469320674 835875387 288246457 917347654 809689048 495248502 545989787 333540375 725695447 184741701 19216666 286981333 503876662 813211253 45931264 795684369 137793365 246572408 809758557 399653951 632960019 91174373 145107460 329499191 125588054 751448053 966008844 182289334 861067655 530272520 545068111 987643355 330763539 706580510 7881710 162253226 883358955 429476959 365628619 333499020 215243781 328225684 96087565 537709773 280279256 560939691 992301728 446750237 872180196 967198774 676949938 552685584 848049704 250193644 941623095 717194398 690609578 418665511 458123878 197918371 705962995 639464549 828720187 106067040 527932560 183202760 172994547 511089656 975825298 561404054 845948306 749711348 622246927 472954809 334844000 31719872 37022879 929909055 436183911 425472555 896292319 818201819 119496695 520406507 829853937 984690274 493396515 287611927 321600506 348690000 827309890 773687979 231424163 4568641 257963630 589909767 413442713 206406008 91220232 508027504 986052622 932222811 4634930 883473550 636902965 119575028 297394771 662099949 141296585 427456626 579143575 39150716 661226887 460772262 625938029 90607632 955416239 647991943 894308615 382992098 991490439 745118382 722329821 235916813 90582488 664720090 181923114 353530385 492003183 343690606 996092782 984836947 434307229 147561198 248964586 359803034 215124152 933953670 311485991 188380564 319365784 858313859 414805359 307010895 956163354 544301783 811539282 98521280 21017505 929462681 465325091 71964991 332236944 335463811 351901561 764115209 278312401 103194226 57469103 258407357 130223441 252486122 844388195 226925280 69258625 156973456 187046394 308882009 620147671 223008686 471194139 201681653 446622539 213237682 924621104 483998436 463154394 291352239 592427752 312201274 342055431 265352154 282069432 144346479 541622101 35138830 760442197 166472160 125117646 13273929 865391419 405981771 95587967 707571501 856777001 455429975 449473785 90670976 200450467 82589706 880237010 251137964 365665391 408927825 402138658 91843135 132045592 851805051 311916807 75093356 192178030 107288766 239775777 852248969 49196548 792272305 178231830 786788751 145585 166330064 795092751 20702621 697404176 601331708 880297785 498334069 380557568 328893688 706286918 703376126 350967076 826429421 866444009 454219968 834349411 32161767 368816478 827456107 803886441 257724245 80839135 959970128 40562469 777520781 515953200 650877158 27487049 309407813 224020756 80556871 875537869 437375003 105965269 856604592 836681837 493259535 370406336 937051396 915689254 133402628 644432038 195990090 328036029 792020546 663831901 432455979 187763512 829424631 493897021 964172917 874762338 476031153 512059812 203825306 981712971 684951525 608503922 401055793 42900934 388242796 402948750 227584116 855851754 485184001 957148255 384562113 34833810 900273604 335955 646190106 702140381 665707194 764616027 580499876 900251310 557706058 193982829 268924716 585799725 573016257 973090305 596846237 407268932 185523151 911996053 408083339 146645282 864809224 358121257 255212971 274472892 14233445 309823172 160178520 245597767 291931840 498089453 927178768 188400319 502952539 886306098 305302773 705251172 498675546 10438053 849953101 47797560 521532740 412376921 482641667 273552002 944733318 316081129 782754595 847112013 857569520 146326258 885192801 346427882 236588597 947867797 612857235 577915242 632936048 248073718 245541427 880918052 259696794 262862783 789700318 310315573 343770901 785917597 849898455 499555323 678519844 10614722 524740484 818882201 577113200 390673250 421541616 751134327 965308805 697006902 707744328 579233215 48201298 85708028 904326494 280343777 163718573 489322740 24957993 668515599 3478733 523400805 426093379 430318786 62769102 448477718 20744298 555597875 953629744 311414997 437991679 713916387 385252184 394126836 432087178 173229844 40772366 913610182 341180212 833538637 784208894 398326311 766780491 741245401 605229111 555571442 147695809 658192969 783652783 83297416 291751854 899994350 525982396 693122127 458328778 431180384 481883804 798805297 185699060 668268281 399440366 95366169 618227885 733973851 850450231 635048570 617211549 891854054 389167967 170802887 172517901 279339074 974392369 551780604 250114412 234812892 55849182 946643220 542285515 614549600 453058171 484929424 479208544 137371972 955833470 892959734 157695751 100590398 112811333 633109328 78632636 188416200 687546511 477254825 622144802 892982435 527813632 251089812 278584831 196380752 214169506 350631077 200212926 612822169 111493215 588287477 484705771 505948166 84627592 170765218 266319803 364646761 584374353 534680652 186162305 705151571 575336530 622094234 62579258 861753244 728766471 894778547 14830082 962382815 547973201 670666438 171940509 265255419 329997812 433292162 857452783 374396819 612171799 125053854 640879236 746665871 958619847 981914962 989201417 854371993 565267827 965907164 664462800 555368865 178986865 474237181 444173393 945636954 923050104 525206393 169080483 374475194 499986724 975887771 471906055 534833790 707687798 849402030 428059486 355941283 215261009 266278533 384667054 243005166 278172926 53971444 386769569 977913702 710787497 282178388 881704965 224354260 818055649 850478851 815599437 769887050 708975644 841799650 126871054 433462681 535791921 457435605 250324611 397211609 605919452 119643207 538997770 315154661 894500925 748830371 137117093 293988316 268529753 421213916 819985018 379170978 845379736 725364710 78451795 542870108 10392389 891152954 208599583 349267960 857647121 450937430 493225071 928359587 651794577 627695931 368953338 486597712 667430587 811166957 721401369 956750904 529228141 80137463 832375627 304273748 211249894 202737380 868427699 898847973 8141643 160921799 12936597 63251181 909376804 435042228 962083805 826082483 450460124 725488196 623184023 592138051 865646660 159626005 397588856 174012908 570583824 445056840 550401620 441746624 41434968 596052738 77670821 186160919 799027993 500693995 323956491 204705292 782973874 494900146 927833030 531157758 652805223 909328006 48149310 729880081 1968354 381006750 800296316 331327147 780533165 751273907 968792494 706356215 462495929 746804097 875343015 182844773 749771737 145202250 355123036 30673192 699827016 251180114 161350504 509535927 174931999 447979876 237332361 443845964 692412128 226167627 584573472 130824808 101743086 15836762 45927861 226048077 121816082 267887077 207316849 695659138 470790392 658105030 417204131 69106771 84535727 314959833 263771708 264838479 974394669 254664319 175774546 815888840 489383625 619651359 432889761 38245206 568649407 365221792 831094533 883609428 672368304 989621745 738969857 18000738 732840479 199132290 466908987 887185889 347036405 7773384 924728829 129209466 310811645 109524412 198493366 554166936 893143913 870170205 903901303 283182569 731532619 38296617 793085047 816754401 881969693 840585640 208937104 77760822 114439994 326414562 250560447 513491557 740216162 124066275 185446055 959785004 163136314 462804286 393502735 725334286 411027401 433721991 927905631 426222290 461203197 383949016 887676199 549312260 505510436 326121293 474185113 201701747 469603443 762453384 403752714 444105905 210961795 594565677 448333941 192787606 895780302 854857063 470497784 30043838 165649207 263545698 599278932 482187526 190689663 353255118 174703729 699273235 625096401 959920483 550520280 698313163 670916663 252704855 794404151 798371801 132465186 645821161 620661729 848308269 358988006 473675482 366044491 657545082 310205755 660002031 809593744 874378167 625334461 397012849 816620014 295842463 705665133 160743084 424819527 501778481 685231919 775290227 841325217 289543472 400059978 246371738 806112678 79994787 608778731 857174651 606336293 615691094 896175010 770304882 519329679 451888728 227737314 285970529 297602427 295067515 791110533 652998189 373631010 620125912 651524679 366104382 888728547 712866376 676869446 162071043 668198080 747611115 56703113 525410668 996956896 651971237 603037813 928968046 318554379 78983324 727096921 977316227 187392305 646227900 898062564 865788711 820855011 377135667 260439209 170042972 241652696 724771573 512280738 145029671 713290858 801337 358597802 446648592 882757143 661884409 320621058 575815078 779520000 942135926 33818573 502405881 543229293 167701683 979017619 837958430 928038982 740610293 571482050 472518575 171416476 760947017 854684200 792601672 223490078 900049406 590137467 199904011 498464420 834330150 705361105 247040797 693518504 631472154 973744680 166227239 312337608 556765171 514978527 516619734 485353798 6 758691131 845643867 474368136 573510040 633291235 499332843
-1 1169 -1 -1 -1 -1
-1 -1 -1 -1 -1 -1