Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
8 392 163391699 294654054 766482309 269041263 66135029 350147878 199029623 61447576 320274564 307284381 101526478 431133960 231787669 929255449 409833529 943395638 764722447 353334746 161469559 247897805 865125933 583904661 970250464 904020780 145574400 107633650 303028956 256916709 545320171 283880974 715452777 585047614 57789989 170941946 388096409 169596851 648955962 984667962 739364625 292704882 612823947 556011334 749904012 798227165 923630281 169388556 324708950 508455692 797615998 494744684 863337682 893402440 490918532 704982203 775230709 702603921 335815307 118627137 703332040 365366553 699892376 165399739 187504105 136320711 70638720 117142233 689153034 979344821 675990385 601641153 996380529 82450611 609208426 493950346 372614519 482297281 338710718 468832962 988934921 469090457 389360790 674131177 309767978 71292706 396320619 295167988 576046447 233201662 166081680 327176138 581748353 872880381 849424294 566063818 999901855 893830568 569697573 920417348 104209945 600081847 642983130 900119291 801377750 948521371 226158179 881311146 436913615 780994293 391156149 200488827 695288722 806817053 151523735 79526033 248230592 431547804 431066148 995059328 230797199 402534066 400892237 364154063 300117832 351893969 975865685 573734269 91510986 206506015 134615379 161962873 424385797 852690680 591575987 973797161 508967808 945751658 654516405 832843492 255159508 612292536 898234093 529225592 500933935 90568152 105921985 459027109 881955026 155056117 75659758 494701471 974937235 408592365 400346628 107745680 451607132 884978387 663693029 329140243 118632362 590710638 527084618 472867770 377269775 925024441 537319230 413706890 992663472 125498465 886256801 400983162 782935495 882607946 427534246 392632824 70321954 833235979 75521109 303602787 240597666 854494573 721285642 512899217 521553853 559767791 180591092 557794635 512854781 427066181 473008023 323438541 568017535 963403989 82492746 847214151 505430133 137352760 321305274 638983262 531396004 483559103 571113317 672998315 729328103 328245484 995913504 633907771 244833450 278482676 942778514 635781389 39302511 734024004 142255030 693062807 810057805 424479993 823478365 774922050 323778668 230674022 65870506 527335401 437842570 173901714 639406484 198042718 26228089 430916279 618457959 373472229 768954014 363343557 117581891 235137463 467135092 232710620 721745564 262510465 451513607 297510869 965226424 852299234 901131898 424778426 486085684 396625136 206496641 456260938 962161792 444843700 489055719 312682870 18082142 62560169 262738186 742618343 881515111 980482881 410221146 772128117 329392774 597088 585437662 734023601 924351610 628007903 262141614 430569308 128863577 332754186 451076474 564232174 334807816 983726627 705139457 46650640 125269699 275300573 366724251 491690274 21430171 16052449 594594480 694553526 290194675 636498508 523897151 147568147 73069827 753743407 100890712 857148851 843003221 806758158 502914210 784118469 782298955 397645666 672340438 981963947 818391703 463276567 427572033 222460541 81887680 566622990 213728326 231182213 772995236 858406812 582557402 997046209 697276657 321374986 676798471 494305381 121253034 434205459 923882601 517918806 475254952 947960424 287977652 945735343 152935702 350374703 580973100 99608896 885379572 894681984 154134827 357848842 872722838 136239591 41901982 67105988 790357282 793202661 631338377 774789977 580173589 660831343 759424383 961243240 973062591 778919021 76287786 801855683 943007682 417471292 731345353 145550576 220826263 326153005 642272941 200052139 2065161 110212100 367126971 152081506 162713527 140406137 140365293 27064 12730774 847405498 519980497 261075970 592642670 77978599 541834760 316980685 869715288 289491605 426884040 25878614 998607686 343861324 226230619 606192144 728912251 31827465 817217182 979158818 951021583 952647613 624660867 875246054 847720556 839360715 772784783 556676972 160 421961870 571197276 385262580 97264088 274288337 408270104 745159032 657625314 598798933 51104517 227673632 525511852 327130446 987140855 234452171 761678535 155611622 350296537 344112525 324426518 225708217 463720488 355465259 460621904 863522648 570103926 511527073 380074625 548313286 363809256 561740700 886433161 302128126 593714873 215921921 719043483 711540331 664955061 16684644 737927616 62054509 405376959 465903506 955401810 338741211 61201483 967480583 901688705 698089596 257013220 34379896 469414353 607304845 689503655 47991115 200181914 314937150 36468934 245866266 429510791 105090357 332006151 689722932 867347992 370283785 356143427 208700956 274508320 215002568 156661223 63064072 771425351 844194161 738817910 816337251 529860488 774057851 81177860 630846027 66638004 922344269 912077501 781273108 160079086 599294659 385250396 833462211 424547374 279731376 404018612 433724051 299118526 917325142 528372011 822789236 879261888 562218735 128052794 346137735 10449573 940687912 819538414 966606243 738563511 617733281 646660970 48969427 956537744 885995374 896147043 677388758 746394529 627370393 358354338 497170334 584883116 140440733 862986118 311004881 901181003 539987180 534268031 984848971 511773031 192232555 832598420 559297434 466136769 15652593 369965278 279374721 523503724 99305675 650398731 811832437 274412880 756103995 272958172 366253347 127506857 572268788 860998055 588716776 169860487 272697504 388222933 852316247 957419852 64491866 117329509 817745335 223486001 699135284 109772904 656899971 892852416 804588467 924491139 583831272 315969371 306 22883952 4800074 731470516 121400562 53693309 761228735 955633235 991296129 287751435 515482002 829439764 748200782 586009616 766637250 828223910 58213794 697671830 392407936 347779341 692709435 493796921 258549685 414577952 173593288 646699181 565089145 161549067 550673518 113247798 752810909 181304783 653715526 468827695 132129826 478248125 580244956 291536772 242464960 153270271 662939058 416521015 22911328 575792911 678240187 860890846 952145058 451958590 187490784 508936995 93359704 403334703 813246078 245640259 557330953 755227737 690253542 866243728 760227183 305541512 317244892 865743087 140939513 386671964 540452377 283764571 311270986 169513416 137325769 576386912 668308664 378464660 625720846 496303776 881012686 421536476 315630971 325412178 384708042 509974928 637576857 705014974 998027296 732384754 537007461 542307778 784769013 121285914 989179088 521309520 594648228 845706101 260164926 763842285 291619901 354094914 443583752 290031412 249738241 503299348 560752890 36575825 860065511 371470419 129074901 820134535 405669403 361173946 367583182 571808939 346897785 565052890 432866061 82905766 102091286 473691030 248411183 45863926 491506872 9570469 844748741 52349485 879645785 550945300 502436307 388524913 697567400 689918657 363996242 38400763 800247943 560929761 681290158 267875736 201659534 211142522 449213768 412816427 146093959 668015850 103753205 926610473 219120880 338826590 443511421 101274139 865139068 245954140 921021981 309933599 380616082 347734074 873794309 855739496 915760076 683317412 433954011 201883066 912027514 425897242 931966775 54545391 852492573 271249263 554481701 344219252 958519532 379854411 658855590 231644364 800770386 191276970 759177518 137840396 13705581 582723932 340225575 965254749 456905617 146998147 942668397 815895422 314193347 295980823 301561297 677793600 156682815 142512229 184482199 746681608 23363571 641727372 330465015 57770320 45933313 883003647 256395679 555159589 625704257 793151494 249601071 346659242 231925436 17430844 471227 560885909 264826930 987182866 518336333 888732845 613030805 321801291 116528737 506506066 808350348 327799934 775871336 794265077 23524081 281333400 302726469 888713883 32621907 290045783 367311571 172213342 886632821 828591055 808022876 491018732 48224973 898694633 386153251 79612934 361889030 616057567 129310684 342241794 877142654 647663554 90244911 283703370 310947529 154218996 731507000 802511579 832827692 769853870 521441034 804770247 878747427 4984955 910242599 919958451 317575387 859633083 54692361 754206298 529956792 900856098 503715485 799929608 903850705 736658742 513631427 117326111 527721839 525299156 990329807 869601941 427290002 929562795 682332939 538058356 712117356 923886527 673279027 450820954 406019811 584732136 950074359 930400247 915751955 106579280 224740476 756632977 94641610 574325241 539105244 724598914 968203019 737520693 401419425 283528377 906896524 843744044 482517070 413544501 952447287 204246361 481620438 115003278 15534252 403037453 656110627 569822316 871057342 271 128904848 636633613 456347378 144048234 30114671 270043587 587174659 581556823 28542085 43857268 678956384 237592912 587483529 651304473 516829356 657821769 396816040 113770047 792978750 428053771 810405124 937420425 310293407 673204912 459616048 270811691 282842382 619046953 74448822 769745777 8694271 839248568 558675857 462217782 120808599 372438134 455826611 507444333 380880690 572710606 458232960 185888412 315687134 566132992 11561041 830958172 503145437 137285279 386954739 288978138 892198439 488238611 32008229 290945881 666736101 565533464 204402974 758115758 973589495 178856766 78495492 275636419 286781552 352379495 420309109 211793684 771157780 475468107 782752002 866532149 751721953 105215479 462576047 567388234 554585475 438488137 613769077 856843405 277085150 98731126 525770177 900368331 727932040 324011909 185966322 442371047 793962827 52333010 79344862 581921110 241574568 334111628 539358541 300917154 259616335 540520758 975988349 287691752 108486569 407220266 911640989 904958809 372982862 546272017 462002002 474585532 902937743 379887724 997566004 134716394 110512621 321657103 817362258 983100497 856362399 584497824 285086890 883863922 377263377 861146140 486293426 98803812 783079519 223270483 374151122 481259854 949448926 686649959 501938919 179649520 358727572 410799697 538357186 638753307 989192123 125002588 680880807 349682228 133840194 424902824 742024143 827659190 527062860 589525928 621291494 242575789 864790702 268646052 657311373 278450491 858669685 344364344 355000537 724311574 427308126 389720275 907845074 571032328 9257821 95411001 439256821 899019886 822490135 369315586 253969587 55954106 930903399 957928985 663294192 632181489 988857565 693284413 78366596 990458670 921543482 138932099 115697853 65775901 705585909 365020882 947144156 610142849 974465209 932093541 819312019 599694766 715661796 754875981 439981709 809513999 881624842 289356013 934602214 525952161 760533617 785073532 143781807 260846198 533340818 152777862 384767852 485117748 262127262 276719212 933505685 213467027 36505847 635438559 958364440 17982947 84980146 25172585 561172949 623896707 878728988 672385252 115138849 512315499 45961778 894666752 335658820 65065891 156442407 785465026 181441787 142537674 82802146 938637055 46823926 673044112 371275389 40053733 27747163 634878524 538281927 949347955 176932417 779575334 964598723 619730940 474450998 942990654 67884583 304348841 578500538 200797828 75847390 643431923 458227394 845295501 787432583 143684396 512407350 308912901 505617651 891866615 573890418 808750887 820819882 636317388 181995209 857179719 807831655 865272694 893878269 971792201 740845976 496219028 205368777 246315558 379880159 875 131663191 580947566 350080403 336372434 278224586 29722049 598285120 598352084 885778358 132161621 944949794 347125010 866815907 373349235 195660718 540709839 819263629 622124538 815219466 923018274 770306919 75698395 428815248 147064951 438299795 797002651 744515919 682622734 802805355 942990548 827606922 398085755 354071996 773122228 279125303 466342436 967909958 720693116 209963392 187859654 849793853 689819138 318325318 408141553 896087499 940140079 97704089 118023559 427556747 683146626 27850049 967418433 836994320 684380556 366461240 79579178 948715100 391424626 250156590 871487010 175889257 3511662 958558980 530810716 687252644 394295630 415486545 507471328 662317932 747409140 94131424 679477002 679376024 400380884 797159984 656833545 853797614 339397241 493551859 892548193 407019437 630391040 530298255 773310057 759331588 45495195 69399200 808625614 838499992 773606159 176542068 785110030 819986946 912349494 508798605 293433086 712139087 743420798 439855651 603807045 986306430 315341161 440583840 451070686 712175365 633082635 975383330 921256858 47863885 412338575 907336188 975756188 140486705 989753778 655708981 498947547 357685891 797679174 171147015 130554019 160968840 52663473 379583585 141250580 583191927 458424683 505375078 532375714 969422589 665541252 933933548 86661523 159070651 809841179 335108606 204482948 838648775 870343912 345183835 56700645 575694631 850390195 341213940 625041528 100535385 100067034 477205873 165373398 243881166 438859471 309783981 273978346 537605994 906239128 559577142 909279091 632422662 330766670 219857614 461453190 333179630 432350110 756556524 732335115 391461732 543117387 520548412 3812923 332515355 806539946 982344987 587049768 821609660 738877732 866282780 564097589 39477092 904033207 294462341 269227930 256927524 917325942 946736594 132237025 481918592 435386884 785499185 952293228 258614257 257411613 524402181 472283373 607164515 469106190 125473892 27991531 495425975 422881592 66596505 580045380 55745346 677588881 195430050 839059365 137761869 395065890 274368434 70973460 241109651 736146314 3049137 56908903 791803078 358371449 611580087 550699210 153824009 260196918 442924436 153107773 541823863 650769178 480408140 450899476 721580699 420200211 388476307 490253429 321993718 135616034 400837205 423558877 893126269 455239901 119233585 658145180 886303512 20922606 12728824 163771732 550422820 905137041 639751219 831869822 189994226 880422938 185116571 659260133 481926214 569612909 811661215 831311912 991616216 26424708 154358497 77173820 990104278 391577581 705652153 946140392 698824545 622682185 853786801 698271048 37085963 722293199 41266439 412496971 50398815 123561670 86506798 463646517 580160601 266760974 112272717 128744478 438559978 668482200 269818814 859542128 598835062 209525737 374913936 253098348 842773845 359563932 276385542 960941734 641405525 561050077 788883478 695896197 90860854 115350766 759843051 655340228 803704365 5199781 509826660 655529204 380944226 311724780 264300690 315111160 29469041 825825600 340513598 406609799 109936621 417849139 487971424 893167789 473543129 440635883 557205673 750340682 518826029 942460320 242005498 857072273 266585687 109089 355412459 804470923 510759607 300880208 286749253 776887954 505964833 745684897 303758728 183334102 723157855 640908960 209306982 633973211 362282413 519592808 540057926 956762873 421359419 793527084 802406594 267646171 571803311 900904881 791913001 949630977 360418976 456476626 794785022 146267454 840598044 379753467 787503223 578897466 695052579 646488751 842055166 294254576 715982633 468541699 432338868 827293489 887914392 254967584 854215913 593475872 705361483 279579332 994055333 341686709 510304789 734747074 23134243 725054522 747321656 210662013 941007696 549962704 937595374 399904881 392952144 436097515 743668964 282202283 759852282 245738194 725636026 977004620 438288727 607107104 947842948 456781065 414177319 437103942 223593804 236819374 969533019 991371270 165435021 129508502 816683676 667703545 518012858 268086325 99457987 993636875 728290997 53166479 176697183 688573690 41499480 974073534 342798386 74938842 879122416 32364911 675079348 307338131 109527484 977200997 717971343 471463521 418766706 510866165 932428321 628199508 122539963 350084489 707799805 11377102 784477618 377271837 744612458 624419335 669997418 872863685 726640354 955493260 788931685 80706597 355977109 963888316 929760285 137273335 809451236 899739722 389289598 413593993 356527846 794143166 325927530 335279932 859016166 534517748 963651124 728416262 253778658 514998683 701982245 123889649 515703310 160602550 9606907 213943450 591322447 781477919 840430181 869129651 431923393 874521087 24523656 485061505 122811186 929396312 256438141 70254942 391086756 529418875 783877584 663961656 622954703 28006034 510974211 670335760 481632668 941148183 345499913 757859709 693244331 712624219 136650187 659894310 74186446 404919040 884582822 589067083 52744844 573778559 327139307 247354173 7349919 742467236 469163870 802677986 792784246 207592205 157120696 749293106 504503476 81886126 214181158 338742972 326006191 441844559 775227591 780392994 381387249 690379788 959349553 814359192 543259579 605857748 864239596 467317609 135242365 992794348 5085429 460476274 586709343 682583145 640164669 242311077 550595004 123030201 121020200 521283464 919574433 519561755 394889999 293573555 538725459 678055202 312509374 309704790 191255238 964514614 502459638 50731440 151684646 641413906 819112428 606865049 323340370 170371399 658323912 720700153 322825820 430376120 379095592 829868622 584346890 791156508 522902938 347772971 101757272 727489408 613872165 199612083 459510516 558181058 674108353 972423458 481316545 199534615 617646810 573362245 554684757 975148421 857552081 110483196 102722938 74060394 965029499 305219775 830296752 452296691 187533472 293494806 433939882 778656166 948006525 832338720 333003469 831193561 400506434 919015437 510346420 923169848 782591381 353921956 164200110 707672643 963241998 696416190 91565374 606746061 87680441 60741577 188661914 727810430 881316247 956534597 548337453 486278482 871122973 592853578 796455446 643753241 235197363 125788673 339582375 300447989 240909110 51856679 74051046 677588446 945773686 689461901 382104847 156315681 75866297 588265370 679696911 341933021 887593782 722102983 212250379 596580229 344972699 780386850 489157079 1211489 406950024 321181132 325434496 588775180 338029586 401299067 390607811 377410551 217852481 194629113 625989011 67581413 947536785 950957474 831121303 50186349 902349685 832073962 764619689 152918140 555848911 644924885 692982360 734502096 405839994 180775293 997051751 755709053 655406017 92415120 471043148 363077484 54822628 785485264 489394354 32637143 825138074 490443921 305879799 153336271 869177738 730496318 14718126 866696118 861492945 846063060 850868511 889484485 831104639 585956452 980552642 307563143 736007961 435535766 507475656 700678748 785166105 874193697 317832594 758468087 893451625 896712276 905606455 594805217 625274348 735359632 420427011 623581172 243387382 437342668 980775666 516953568 434916046 682047760 766166073 116466601 687291955 617075962 167868350 581970983 282528468 973072444 738380443 519382916 160166103 276529179 388966559 603893698 617072723 399310066 67366092 920577331 610286037 288433837 890717658 881403135 692992735 506557263 807917235 610900897 12018788 325542252 372498677 470826346 155232078 399008431 42412403 629677821 744971513 873114710 505154228 936304593 403910581 819850673 224440691 651699891 596191559 909710502 916067101 332575297 35645288 126878256 285825110 125269871 773801541 859792603 473723252 555215366 503268605 106658634 596493058 259949344 827273254 385586866 462417983 94314414 780827721 621459804 60957085 929971442 87164001 501820198 824053058 94104325 912283232 258767363 143763338 891635538 870219691 778372727 751272835 655716633 956024729 792593947 9142127 814191597 428163575 555010591 445787462 26159158 713102727 432364483 976396081 52213680 452796028 447234781 369545744 689011178 250232063 156704854 14361589 192284361 557421998 520541869 589597863 640809218 209576471 999731826 133309984 455013539 173936450 712237260 626538255 800220042 171553828 316305396 970370391 442593260 427796013 528902584 415519374 771595472 242272699 433180665 644099199 157762706 425069220 611595565 806295976 348690784 345115825 629941981 261643709 257096128 933515805 534646824 699683875 56694536 292296730 842212415 622317174 281606117 510441804 864298215 244499203 811602133 586222668 451011834 192859471 698920109 706455078 850578662 323410574 679644435 508858075 539325228 572137516 654903556 518104032 637956834 766833224 36 87677085 685674546 369041972 154776857 475658480 94287577 871604471 502019160 736520615 966204072 584804811 174203480 295881481 709425159 373121183 11102265 308802382 483963501 101062805 627379054 127819042 932380393 654661253 270758463 55248934 478612636 789751673 867949128 117754735 621059389 152156463 946251000 286882821 727840659 242664602 818842131 233 343124479 636597345 298786865 76384768 509744367 735556959 875305789 259677626 368059244 462498593 691137782 323975788 50466189 640383083 641432945 842546786 368263425 224484275 804816277 414275805 500390794 564290469 336209309 627665041 201954684 699188125 95293850 975637545 921771586 831491120 906774511 620988095 919838938 234355619 765601747 285623396 354299476 182595186 89588178 967213726 538538582 895271371 428694604 601534180 478255515 646795792 896145909 260878116 258179695 447833 778081363 839772222 352712501 384936944 282806852 218383495 631244513 386205907 781160053 455962183 714669439 521849909 203248107 723033659 806306986 348758013 334553214 95186963 597726229 333329989 870623065 854745333 130824710 332557788 104369532 307734520 833891286 695828165 111264314 873097386 436943474 137557686 741353915 102795659 115789021 99809178 983189883 628312208 845258412 735845903 913060041 332122529 501928072 640968681 319826761 954246939 739212976 473316525 656050547 15006286 379441012 316218903 610206482 861157887 764661691 658859668 610763205 44657384 940532094 54585800 334932865 262804020 651883082 921723146 359750413 847388675 133972418 144945635 303856772 42983404 527787035 371783827 707315671 395520886 906870431 329301132 408218953 636879005 474313771 705652469 270378481 315973716 988505520 147859240 577836091 939220221 427403445 919436084 57416807 551463666 559009747 563870299 695979273 527854848 678115128 748487061 262487943 701349095 710010149 551244812 565287070 39726043 153120880 910166430 495035102 18181894 413930755 776223583 826837289 188911620 842213979 277750292 428108600 117984613 113924105 499321528 326128150 496929070 952590901 818991867 434015907 894044504 1563670 219923390 747020818 522324560 216291963 546466200 22829675 967628661 176226373 538326868 936948490 203607454 551239914 932383345 445434654 121997201 52432116 910986144 822421035 447223949 527249536 851496266 720984712 806084801 382376896 58174472 826255330 783120338 72781689 934436649 275100599 455220057 113464198 678111535 333353436 428697443 787336531 82680914 272091384 74372335 78676066 336466171 554524934 57036916 606176970 327234122 312642519 407405144 109602739 943920785 836238222 510784890 138325979 133285335 848107298 453262249 853776404 514470487 735671007 219740714 537769923 314 137374949 425381942 364596067 593929712 854098856 639470457 184860416 559839491 754014830 927047829 309197501 615646786 814888404 238528413 87554894 206460523 289181770 858343066 619421310 597619058 747022994 582958089 844084139 679660284 66330693 782227291 194124357 223763173 346146382 336723316 113188946 649137082 591016812 512787757 307424493 871501632 427567284 104286675 135802563 696609515 790093837 137945509 604115604 642245223 148651699 864964185 882532280 43830803 208028597 734705559 615859863 843072385 401348727 931298685 877904688 676724728 650936113 102823705 540463507 892100338 170562925 54551282 423345767 654853790 156760717 398052224 699323749 264286815 457028674 85896111 152368602 109769035 504160022 453623137 281292073 223592620 779432676 29425641 131964743 100772483 346387290 343644304 966404413 239922688 77104766 378538771 872081322 465878027 692829478 809516579 154596159 318875583 735181182 104514020 858826561 930511593 495771526 506200174 459480586 129162381 641194386 428342351 747340167 669863266 50600136 499025160 518289339 33982545 541596069 857945483 793469243 423245049 61914745 320968388 635841969 383660590 793330150 32806925 839168090 709192822 101834597 147353015 692076167 248752779 228191681 335371656 61099040 29939163 673327001 399399224 806285852 152772363 499318242 647673587 466502410 419063408 920901219 480312794 780277643 629142164 810968120 927504513 557933269 29644983 231619152 502479219 299241778 111195979 558557167 533354409 430837375 273382007 165275948 517399 241892013 186820246 580038516 784417056 119060036 723507893 522535429 704781084 813829339 318617368 776680564 284482265 708950945 690601909 841636648 8817431 548047319 68713655 420488156 313126923 170951508 567522044 213796897 686232541 91122944 391260312 96735705 676220714 379000665 926365008 446717886 28574594 414970609 427371808 388242905 413787627 128953069 457656502 853791243 693068636 914312 570139124 736480391 60006211 39423630 686474866 515177558 869260800 800142817 519153657 271855058 546103655 680453624 829590281 691858731 233006914 207891547 377221460 174523621 580125645 650112552 355914817 488265304 414355000 688484497 323428202 687696431 966394153 465343836 906300190 453616361 734573367 676050786 87840479 837692251 564305776 583479056 628509669 433325869 13033428 627283177 190763930 406947160 970230743 738558977 932595228 539863214 774338787 517809283 970886335 702012498 516104916 580780077 141609608 455005755 195129978 150567631 690319538 774562230 203295258 646549200 291156269 668029921 879328750 296892841 690541338 518983217 996274336 209667175 779271504 667733741 311351763 797961773 347643611 327514032 425534618 177310384 622710647 253264875 687348735 742821049 100374041 411337568 784460158 136620711 827706727 492634792 285882247 992859370 966133819 582453167 647540735 436287625 798473252 962704434 42221247 805575069 784392676 700600392 357397012 20223956 564511219 848342742 174622525 118569711 468890874 148555801 524676337 567838532 93161049 18417697 527391190 728367164 225172643 161373520 614303499 754410710 135834653 545742046 145231519
131340232019 52243045926 102598725583 90727585228 282561321960 12053001543 76358144949 108283028376
-1803754157 703438374 -480489521 533272012 -906519576 -831900345 -951266379 908845976