| Ticket | 13761 |
| Problem | 1684 -e |
Unable to dry run this testcase?
Try making a new request with small values of n_high, t_high, *_high, etc.
4 1000 18 550882286 792395630 3330170 572665179 805767989 305782453 15822304 849518743 167705040 771726434 385868646 160254771 503319080 676976411 467393342 150654625 509064621 724951245 771662963 995826079 153830432 913671690 209190276 983654231 295095118 619637208 748992330 573232668 879225064 408427298 954115265 784817444 442999293 509636049 23006243 631214256 865743095 660892268 756333635 932945888 799347520 303506167 740771917 101904471 342989780 684122813 613163990 897609596 699148323 792804885 604444830 695284748 511798057 394682923 797658591 961261851 452661676 429430293 135377990 997301866 236550580 162396882 315882603 591906555 369037273 272457789 699095289 827778393 655213928 211800687 539852538 657713643 879975909 316427395 129712347 901738507 840519320 179376370 675798425 174906267 320786191 773439559 922988825 958326770 937236165 620596916 910432742 615875788 402216466 986965902 817948457 87779523 670793612 517395879 293701348 978582134 295730368 346589795 21485221 639567998 516644876 40058491 124840765 362289331 155973836 139736053 643720373 724189813 900945737 961672446 725849438 631899444 885607052 746419086 869770789 717315879 934845831 755567071 586388895 83645988 476545299 947615415 259124188 714421754 844235268 33386655 932947634 767107682 460185448 508226285 42082373 941173200 607485972 377500296 782142292 519414640 328111659 644465811 802689918 305707029 252439685 136897732 258448520 924298184 173047598 670780823 665944861 856736799 344675947 24041515 404961305 113540959 162705423 522432623 100020012 315485231 522875869 353970155 95423781 517210106 622845258 938099045 535723490 694159955 484647919 394046627 872687052 798471121 152537038 40519618 662658717 358632824 739955363 463407209 502584172 711248713 270715123 541343994 682652523 81637425 751292059 973733269 400614179 46203356 23026995 648394471 502484666 882110690 275404797 302967726 857492720 818913135 360777710 696386541 669254138 571203669 209274237 115259774 701303143 257147897 761509274 365511237 872973250 642185591 563687916 145112433 165313905 501647786 356837287 213927734 713456453 344057561 417868865 383295115 994394203 374545550 251961369 127145350 657228827 398684061 34885228 520822157 570632857 917392383 103955399 243535261 804592242 525480865 903259714 901665954 425750736 90192763 73321370 203563122 755160905 191123337 421263356 278583999 768547558 992768399 293744970 926504073 533547076 43704431 248930758 355209829 880445828 695100213 305866859 528227130 361618795 61619381 170974936 943739927 840169445 793356468 309243623 951983294 901247366 936214770 914590434 656172136 979508481 258650303 67362019 621027831 51163425 728268186 907418023 166197062 701739200 142114661 571544096 685942394 421922938 588126653 129855007 868381447 382044993 42622790 621079078 544055502 356821430 42192216 553952485 804033721 549466570 843335470 288854145 663796131 743413858 265208531 493163518 22385123 405288601 907282815 681935169 134580850 712799674 910914217 978660785 316805498 881594320 385843078 601976455 227184419 821279595 648371569 73684612 497322958 895014283 67435188 442664556 22212336 730383396 111184824 419563865 966209983 782773535 259684074 108013039 502012274 33107064 769051727 665814584 366486856 427422623 882461875 674601848 858491142 63816063 610058310 283526731 500734598 408208940 93629420 574498404 584512571 966402056 493617703 523817032 730348176 13983796 323452731 588163436 528247772 742176748 79247304 649732316 333625274 11090490 180600175 860294336 718591594 96747668 31669386 225751891 3058486 453143132 767932007 925862005 187084325 460738582 899106735 885843785 975996742 252733369 26623897 870346130 875058935 101856699 421594943 768279324 891450687 708344019 335536034 27048146 741462473 107225333 301338314 526509991 326725367 871960112 75234335 210655840 920481085 434938827 588483791 925373184 517595335 422192831 425524334 977024043 504442807 26662278 728755640 926768140 622019336 507649062 773670922 858498037 4270443 165365532 65711999 417631308 601098830 738367666 795241926 631405056 409579611 489417036 343079313 155842485 524552589 489078465 307976954 509550729 880748765 350315268 422600619 977350750 218775630 300686723 827325829 33813051 281137535 380625893 814563711 458042691 479023314 341894661 352318978 802320420 642799624 526458497 452677218 897072797 651990727 804109133 825788440 801065499 99610718 305290561 743348115 488982793 424891163 625337638 330185945 150987884 529346865 746163792 487385232 242793537 562109398 428379705 298125683 532196920 328190357 219488763 454887361 76979058 190230982 605774883 566305152 407589652 166820763 614414332 124650556 182951151 705151824 915402415 962025265 61923262 788134603 623609952 127513003 381862765 320173960 163658665 387528604 797990043 483694215 809705764 8815458 654048553 606410351 17635060 623453162 819522279 22868102 978331256 823864079 524413447 375791129 62858315 22188305 373602679 119094764 278979013 192209665 773908133 488162204 544963708 576169209 802412160 976556274 111302910 891742629 888652277 422020908 771685074 988029468 229003212 624267704 460316928 455389341 457844788 253824041 739774377 139659800 567976446 138163746 965451789 614133181 356503138 558709399 760035319 693304614 655569559 33707421 248226675 650786808 252173022 348199435 929415135 663941287 581059383 539087095 242418387 426683516 712548991 321974007 737247836 595447985 148183084 620529936 153014336 835823187 624582002 111258852 795785082 271121367 525149144 852358436 584745273 767389573 704355983 110060874 525974964 549608988 30139732 966560053 484171742 92092141 19858490 939066536 545311211 856485197 143966167 451211967 133169933 364199545 273796007 687774795 66397992 913254051 700474279 709663517 625846607 420115949 676754502 514182097 318146467 255926994 203814621 795186290 120299448 818385640 867091653 663721106 853285429 223216114 656513433 854608966 811161363 803867009 643570087 686641693 119398435 694401897 787794535 909363103 138136617 354169576 450784183 825684869 42551426 951256636 876034494 724388593 394449365 696156060 47433075 530654139 575282461 885772392 830558075 660843627 129756422 219171164 205216373 236341545 475254600 149441222 859103163 617643560 257974927 370863821 595356838 848705605 625602148 570242317 331124038 769074653 141495726 601087913 431386152 717402990 255095712 313782469 251306845 309719128 472382083 685375129 295932110 611873532 313722914 398005529 565827619 553775783 362202662 277684533 494150273 278139091 694890353 352545564 209153919 743518886 755190699 539748374 846164106 248305074 511969746 956869581 661962399 899959045 166736299 866855025 818000135 494792481 342607207 409810952 10883596 794184941 796257743 115586824 249156311 43542604 367515489 366980854 761040622 947460485 441843095 634356821 213703340 705278398 620569929 549511136 524088292 205409852 196282233 391367199 652908109 812619956 406893404 838752372 566047546 52122553 612910015 864774879 746346249 260566276 395612017 293821380 407575410 710441339 752246312 488248790 706520057 937052243 922554859 84905633 556569546 758049454 71972323 384775318 676061254 605338863 467575215 193938982 658814135 697094678 931842183 684689485 589499199 481089610 636817430 672413286 491041890 510763667 680272403 962723650 543630437 461428815 662085461 27840443 106747364 311859138 776870423 878050574 345991555 782432979 752743639 481150751 613656551 888431630 391098310 837742291 149356365 25084906 158135191 764347825 25578474 817219804 402417762 688434799 937815166 85822649 937115719 495249909 821714241 271068570 357238793 793379096 358540122 989764188 273136907 411846066 936700759 424916053 12119590 248567328 548313480 960048580 4378824 359590765 108500560 887606210 305975905 577370617 109637732 680587694 617403318 803417626 159733659 760772704 407193039 340491101 442404330 863170594 301129283 471714597 270883125 638279272 283595940 814786144 455466650 833549783 225280996 382629357 2784710 551066561 952369819 307281135 423703143 814507530 741695786 428809675 376578734 876403127 548108514 489056418 83890581 980297979 125559778 399670006 14049757 899899589 796037553 715600979 567262036 868638804 23277042 217916023 53464782 268392269 226710206 31481243 849155676 942741874 575401044 813624233 552452680 617547790 583671928 692623959 760057319 793105665 86338306 765434081 782749348 350362371 412643889 724672105 339576753 121959575 839330386 369766514 413134151 848629166 89040862 695979008 246330586 493114873 363569453 362666319 644724 984458733 593886925 780147883 847772965 464469118 502207086 295878207 661564696 590900308 422089461 874671322 989536111 303054017 20152250 609036385 825993942 805832446 409465108 46328387 133064856 466082889 940945991 555665141 172981078 776228057 647600787 969267835 619766929 638245665 669002961 87863094 199424536 518564298 438848432 142712614 618580592 559062878 823219991 218885101 357145134 675105470 404143651 715436214 773277867 98764823 686329233 60770508 907934694 579212574 890739821 335377969 44538684 881701751 91138775 85202248 846155369 854484970 763688096 579402687 714565237 725697687 697433989 463543479 609134901 332332408 208944415 713353461 71642377 800704110 743066677 999338881 183480500 35098011 902329248 28923124 995036469 668897637 482964426 145285818 484152079 593707166 992775362 447828485 981815348 18261442 854421841 886384298 310620552 607880583 403125373 320668671 872796266 623690778 226870884 805096982 737796861 805783988 286131134 218518524 444147200 187287046 545678662 363754452 233504330 557332994 924039385 482061591 866856631 660911378 96286354 255892921 883509089 889184964 5866748 672539350 456040538 457993747 948942670 984332663 685905694 420988028 59097578 459096797 528680945 259705679 670112048 937990599 945472013 454393579 181513227 878975285 124449706 872847846 738688502 112174269 110544612 813283866 385234242 403603594 139846402 64967617 18244318 576187743 1000 18 223424177 784699394 580400343 909521309 897755810 241116872 940580613 754897535 384987511 121866553 802734701 376937778 130917762 698487957 498106066 311330802 679770137 296839930 240596775 730096815 727432799 479524371 314792286 252896911 756697372 510294255 370171360 177610369 934821793 635660721 309722414 993476990 952562448 633537616 308550477 415666080 94604014 395449759 738545363 92187329 504527296 332316330 873430370 86888375 212030106 13850521 451927549 485607714 881333744 697873791 355305901 14324437 134111502 133720391 638387748 227754039 332598048 858372352 936896905 2804582 543245868 201502601 267612523 918889967 441512117 181385043 143918690 417539783 197038104 239639532 388048257 10745154 598058344 307069952 174789717 409134796 311330256 554969326 988294458 341629018 153884589 85974964 847569076 363052436 656314816 818478266 136717616 696629736 61271492 721653603 376956650 652734765 806555417 764787864 710340435 883912436 461947977 907313164 216460363 566251135 639077982 811649098 84528143 377582532 692174026 675119427 418097248 211164986 779807510 812363028 302296119 292190405 630718856 70303027 676605368 22820966 285048563 134736616 699167255 524522455 776966758 875264522 490587847 164015212 853325531 616804416 547624038 551378180 411163062 385323517 742665980 151389373 346804785 208106643 757595340 247441847 955667073 623038886 360779196 434533222 139432929 416576305 836917495 489679683 788090478 204294549 431231468 843733364 149296909 409460553 361057181 101070018 76750884 616328825 515077714 704655260 2462832 823586089 242782011 199267779 184709686 328727568 508630559 161123267 232826373 319724035 931765075 388392370 189550226 561398792 537804775 473168283 572910119 956476664 927029011 992326072 488291933 80250103 15982185 731784856 811879801 471957739 616242756 948512504 916198275 904646582 87144159 846910440 427627354 215100796 936123092 702793818 440247086 771783493 702860507 153333191 856436082 501704278 702500748 102153676 791221888 698240831 145691470 762567486 31105473 336467294 982744020 607313924 201912752 746633445 778764655 755205439 497027682 117723099 724847443 104353497 661509279 757083152 52740630 654043297 251002039 405455374 177100554 313075211 792203164 519486731 836913461 652174803 849104011 567312737 910110193 712877203 59962860 769783403 838649158 647357093 906871278 926114058 709379021 347796158 193523439 369319433 864745500 107084774 4130104 658761784 30065651 209265754 625083260 309513101 341843700 989989010 622886354 491771178 784414164 201200417 48568714 744378511 131776833 686977779 768017569 283070166 56124205 97157115 304608288 190318473 690869054 785962449 32032565 839526264 590884718 17403567 149796235 860893932 888267271 36952214 298348766 728073515 303162040 871105340 933564862 575602200 570883759 431353347 810359479 388003333 596811767 232247028 612481758 463841395 83424069 696229085 885514250 979763515 177570785 20447688 268345675 778262335 337990382 455738806 167137897 98947852 828351574 261847575 180665148 348519946 194459571 587860176 775218386 637045350 308666137 411726068 312260436 711442592 9808638 636743026 807143768 620267338 75038414 588080225 438018665 731045540 245294399 338165340 38419020 412032018 274553008 72936443 411149670 67274513 699855441 372813184 149907226 941191590 463730712 485662874 147824685 577244425 148595069 596938363 699347156 446946741 836208826 364738882 473693120 13417110 944980406 411127834 293205620 352178410 15823487 873154123 837640761 969641121 43144035 482349212 643018613 981683092 493906335 157874114 45170699 838475163 675547960 844399454 297841130 377783047 710660931 940173067 523286761 456148056 139547807 888666491 749569133 427456221 169265950 752144563 169481551 566298026 682601872 940974164 774437216 585588768 191095869 405076893 423569668 266290098 579896438 457832193 295555555 551606078 542360705 865469775 620921318 773106774 376895930 584888620 54327223 156072246 515308450 424001261 574824734 678787285 85832837 588591328 177093170 363459027 835540123 923184332 385061587 793328318 110129668 57123425 841879408 895614419 360689930 864222761 454813230 382434774 289723032 745560553 994576627 549335275 105500408 638296945 964701926 380852783 197212500 103014883 976529238 706169389 177958056 545798554 284646612 757241602 379399802 3888179 608356564 220947955 6278564 891088873 281573202 215215394 796603348 336631918 150181405 520929055 506601597 345214810 59543948 189884256 148755736 829985320 819710543 121603329 67544396 99064782 790328642 246637022 565307607 955064770 819063846 74551494 623540291 19343949 497573053 711529757 460195186 267956521 756294101 868541127 2946037 554037771 887789173 258365201 696661574 632208375 17914886 651459372 94537707 591365251 766648807 14364772 742984671 886813498 748605739 579447067 598072816 442468864 604325679 341954326 608818191 971272708 462225016 727943442 838698700 866608111 84322598 961505512 935621913 945112885 439875333 273201123 636877956 838526747 525724501 566544468 435395136 487668242 230367667 735362600 238746292 695757539 478812766 706713073 474767535 367607332 561701145 686054542 597800414 872954195 550338139 446432830 346241824 868740312 580940689 611360369 884164191 657419886 771900293 232505892 537662012 25587182 382515177 198930666 539835729 358349090 272792248 602192239 565031672 377510241 658956510 707057095 525995523 654379180 41334629 457060041 257927939 438240587 833926822 958816162 149696141 401976666 465785393 980124974 59502785 643285354 452792690 164441014 286149932 864442647 269165297 294882781 711614782 483188498 660775297 710971661 375500702 728042840 580343163 450662528 223491211 988173834 215933375 501574031 438556819 439551638 832650123 879536724 212162281 412036804 369293012 257245343 84057838 438581818 353022923 494043990 292603899 882739018 797956507 111576241 799430771 895466648 554312016 736357510 145410088 54972522 23283510 436930462 354101826 535486614 252155350 297551662 501514297 222764801 560939781 33293051 352946652 899288861 10223885 558995644 279854419 224588461 631064354 457829013 236250045 548948675 874017700 580738565 901720324 76279874 932543758 801166251 941792835 761999770 774444612 876766887 270753402 539851358 67289960 582627841 425262484 438663165 169185962 924009443 948853358 67592560 157750141 148315957 295142987 254756798 539546135 57884748 999217787 92888327 654936961 470660789 827706375 559071006 941262879 337324339 648440708 853678812 917473462 788374942 531571428 821247324 495792085 60926597 533834690 343409970 83229833 400146838 410519315 405717502 747100477 220880950 766637972 430990772 680752518 976904889 667181878 118933206 370147290 992335418 779567265 722686329 746674926 748838090 695710742 729021314 364365771 778400017 152506804 981470188 200163583 833295902 193692484 458215410 926206666 937318717 426743302 53739332 309563184 899829369 665899199 429160024 310623697 697981909 267442313 185069091 929088839 742349732 905471317 529019936 796827978 813494897 458229245 119985074 686051548 184439305 775985241 850525779 984773192 82395235 623877998 164174762 2936195 110455812 229895373 952126491 326600944 18417407 744664248 275662274 758690542 747036607 320650131 949996965 417775377 48595754 883126518 442104195 532757670 509959096 539621168 84855590 893826487 690232520 244031747 729422526 944543057 540088823 926609113 942640219 401094669 156399270 64314276 427714183 504288347 473991155 668133421 34538564 860195305 111740596 727284897 193054008 679618484 821781419 759977220 807236090 902439467 156859120 440831805 273819239 483742440 516888111 675091003 732484458 216688408 778821216 785413827 461547991 548630201 833734849 37807251 279447676 550256094 624807649 920705523 344663532 24154395 515690611 777713128 552617901 925671407 939388825 855570573 679839742 715205416 751547263 762188061 403864313 774118539 994040661 101396070 540895003 110028086 598205536 762159050 520008746 255081210 626152543 234120125 573955129 532342958 363900601 680203157 441269563 248750611 790252079 102582162 781607302 924173781 456469227 367989624 326880243 568397616 878479995 76137826 792889422 263693217 434106161 700877215 43596723 537726374 146435344 368338294 386256255 726482132 618307058 769638546 671470076 263726197 98778551 709411499 587662973 132795455 375916799 579452084 586523693 253283461 78436407 50164609 677512055 746829425 577661776 413949278 270652889 620200700 386854854 284415628 122549248 262702070 385813693 764586581 331705184 793268784 402711792 30928868 27768432 110761211 228764159 285628436 808200526 710558350 315945100 891577845 500030689 491122459 995348395 406645541 783486936 133353042 994411811 410782690 205350976 963802920 338490015 548286942 45124642 115245997 600457041 175767690 659238952 20492254 250914355 665957883 442341588 99446850 402011005 661071499 666244149 790250664 460959473 737353659 607983977 808036263 974734925 892010990 853502767 483621236 815491821 151358936 646546325 442790730 793405860 742983598 546724958 760029328 876330241 429287310 644306703 286754404 838225385 125206454 788899698 129472872 214127833 478832623 252807321 702851653 193788701 428214373 11129171 6771712 691309812 634518968 150842932 703600738 804061349 137030078 942965886 534486167 964546965 687417716 322639148 670625599 317344846 819700373 900671399 473572457 972267959 776261237 395405174 937210197 36897160 84639342 523532862 808662994 307263108 499768739 615079669 829376873 862188803 567823902 561308296 653120372 197087061 130692018 905298698 162445729 894466089 274317342 406357657 892927332 674467301 960517949 251488254 228551914 186191655 433493775 452118658 490123052 859845352 553354776 968263153 766408194 524265842 572574558 114087511 361011031 439244313 407612843 485426549 902665760 773174529 242871396 578122781 555564002 504201625 515048970 806695913 827402710 893960130 430446022 542466881 72654175 597426803 655577973 83067941 1000 18 239300088 597378486 129753950 513539819 534803777 559353972 755625779 753154803 355586868 295414955 644918207 873256357 590064115 569183868 839726893 46537713 449877224 688648520 134060036 380593735 294717961 9063328 929668195 28890045 384778434 126632221 945373344 116517256 840999910 935497810 928481075 494738847 103032067 64513067 366655423 314456737 393839 381166062 39480711 364536046 13542207 451373192 969579926 399825491 880120088 749992287 665482361 461938674 792804363 577710376 173101618 368540795 806277574 649372348 23044809 535081436 443981888 314273896 732489315 403610755 230159043 36188476 587279693 399966132 603235519 691947569 807714789 260524341 821675305 915170391 106030835 180559891 635027657 371883956 446304800 661600755 287148058 204756290 854959032 714683484 75939731 471407499 487042635 519895866 284136105 544415998 334958659 346923488 63258215 166279796 620014201 735163331 443104914 48709612 842609241 239967446 426717336 765069236 163408389 742629880 414672876 142600915 41431261 944298261 304292388 980015177 676481868 248150886 305521508 404168432 131909057 800351866 294019787 275555963 528818142 481515126 75928813 549656781 201529947 883144437 430547136 179286220 975358321 61728373 798320557 736757749 457097401 510971729 136309638 177851934 715181865 358713276 601010667 401772387 840929040 856585012 653622943 651016027 688631035 361836990 323536 181544475 437750189 571099653 400777883 55462508 511910326 529666799 1209754 942491241 736831305 307183598 483856992 216474675 810778988 286494215 675557516 88784642 994901597 317327019 700694622 501992958 362312515 865117716 450178441 425027434 879513452 353025272 673208044 548432653 842602350 465729564 582993992 65129386 725531543 713972841 796276821 883603038 236204137 914063029 350165389 389679514 737236978 603730969 140836100 494041960 921887422 503015793 58751730 986168232 361605133 922816543 635419644 890384743 250060047 280544287 38619567 44141777 807287366 433461609 857651609 29833201 1477432 649859147 755637311 531456383 901368928 629682335 229201443 282130316 360962683 781373827 910524668 998376561 231379871 539477232 523477654 309305716 838543460 320327744 295411335 913120854 866216786 342752532 316038455 371793188 632908196 40545404 361423034 526441763 910577296 161760020 439867179 849629884 53659903 251176764 986596051 457405782 433886705 531574019 805151583 25331701 5592920 334735055 910839247 150268053 767061163 375260290 307443925 409734928 706564373 381227584 906543266 491566546 272266287 424659007 598617469 971464583 783266985 645290099 266625842 96137254 537123037 632237780 219801559 426883792 499496968 584197642 343559383 778974730 134431061 107268294 648949174 669278386 543129861 15866779 250536394 759975776 260377787 822160544 835876203 462902644 749818924 987010825 719292013 890975658 21025967 48947290 759174458 42618389 647791765 735322198 265319511 717770623 253593307 842248799 254518590 798832030 189601893 514837723 91608911 118098905 255312526 635825682 733541793 192609493 344056964 143169275 373773440 228946374 342748358 496397748 939352293 222825226 598364485 146024002 621884411 349729527 278403092 288334026 897952780 579984381 603721305 195966546 134622295 874799314 990223873 727134088 460929689 271252937 736712738 320119708 646080032 373351218 135822430 926158119 745001025 794095194 246866476 983849583 444057281 846459870 256164584 764079747 31049350 686300671 607937972 857308583 424123183 525290372 300764621 432850685 169172626 284736284 446978583 449770818 796308306 127954897 562726256 227543643 342692089 685607633 502858191 321674295 765197061 686951571 982686046 61395185 957098355 758962319 329836399 437689854 338303272 117220950 121933531 716608135 543689382 706579316 68791681 785451453 566207801 157717507 223676722 776010632 295748644 209359097 38065487 417405452 629467171 119367146 885448477 425069258 671674623 746481368 752611899 234246883 825406885 178068677 889781573 290268316 926675172 947525984 459874487 800693998 941207589 650716559 807972460 11675416 684514006 52799566 897983600 171429445 71504073 204056757 178886164 677084668 992422971 500110443 695574294 902833082 746137530 52639436 65022811 203704141 136120718 441089228 793074045 319707619 281476387 53787691 558025395 39390900 864974042 191785060 206898345 190703204 526097866 170566221 930540370 958662483 369436930 521317149 41595027 300085680 435205986 782408199 364514506 111965543 623989135 37684729 35915730 913467047 833333394 143852697 853060427 317404692 838041860 951997353 868972855 689434165 388705973 903486872 154320593 136424246 328805561 180155015 102818440 103216836 219837085 795749531 306812692 553469136 351269661 253293665 711283120 659365862 858108390 66781669 839115623 454440405 139172855 648953073 352414670 179086061 718990196 852797452 785923073 677396014 10354785 818024220 854863135 242089704 321935776 953311491 634889400 80058929 587676479 573060287 707379215 520121747 222903740 824414953 11594648 960012786 983794037 398694384 348476518 666399028 531370054 291280819 292247862 506094912 816900654 351977817 133017497 803774481 324886118 237526754 379264886 161580852 716966194 31937343 851508909 560143441 819475525 185336064 327449951 5479509 401646510 210139419 517644567 699460989 679254824 821273941 784223598 369844531 584387344 586692543 929902082 347242657 483494603 206936630 949426552 388480668 564122131 88261273 623460112 420443899 499598867 904133561 788764476 898093541 473458931 247478497 366431037 810834139 104046047 766801118 163175864 32629542 817620574 368892136 56209464 404367564 868900995 226195314 555012530 774412008 391928212 427541926 10515763 542003032 334823716 533222922 273721956 305557037 99648999 151832547 782997294 764941338 662947082 144620033 852302554 636235365 287816340 157160334 158681634 965162915 724773840 427879823 769620755 512679388 25489264 658270074 20670911 333574572 220824273 796682972 833956890 713780492 252345606 817527781 844053861 336188562 518220598 359004898 962084659 703320867 307862341 465758519 851773857 23952631 242394311 168129581 230185210 615308356 926476428 451802997 728774761 786901484 72721883 904427383 320568971 726240327 536981507 959534481 376494288 815396185 574527397 787757738 306152265 380677499 612887601 321086535 537310445 882818146 775410350 774347221 564880116 216320630 767422603 688306803 163950892 837371563 566333790 579907390 451976285 55755095 342299540 718387964 863387233 46478637 826331417 186685341 504524340 641934873 838662198 144632513 372739079 275503835 985577354 357620614 837940787 300239702 728630757 839246620 313291733 723782688 36120635 501686984 320540397 380406262 898054277 641820889 521695140 176473100 167198754 722524274 683018102 580661044 608389199 426648069 5536458 210366465 946443949 229493265 834981587 61490773 248312571 685273179 906618847 253379491 268157831 512683648 54133290 323162553 661403639 365902299 816954525 321189316 666030274 393896553 802603737 183142089 240412531 740903820 3198915 982341050 103008166 44845393 472093398 324333931 581362341 832930836 657129703 586444221 485684510 173036479 296894363 373205006 752903322 777165901 931096836 727037134 952976920 485276598 518918568 628371069 923866601 522057679 900224127 457006564 488964609 913543947 653232352 227667878 538125034 57803422 982489039 472302241 780985840 963762914 826877553 261981622 683257562 412765208 162958914 681151202 30363551 670948900 652291940 955642185 154384360 837749902 815242801 724065349 728234051 337586584 825188031 918860708 778057325 215197943 290771111 635797843 481272401 36366360 718601067 873469743 672336024 335875833 374565598 77976203 818685487 302138921 841396075 755861926 149633626 317845002 804770081 920821007 104901092 106406046 385917679 534545760 396458606 552600692 211797709 346726784 47127015 353780535 231182727 737530980 285332878 925141577 833670171 654446565 84785333 818123681 473935226 206407836 877041789 510708498 240942312 502865989 508351264 924996561 798981831 723738403 553776465 993119546 115527909 64267807 460912867 48838615 974031262 56718154 411201292 557683358 745532564 567524638 656863613 670998253 933890331 644830791 199052981 376924223 146664257 949907798 315915055 454667503 342520055 493101658 604660550 276703820 744472733 844931748 944601961 43717717 339763431 92754132 838114056 301995363 443215326 781517483 675467842 677851235 226599955 240313746 777163930 499271658 497801118 226797119 463869912 773060368 923278944 184191362 198594389 983246413 939655518 435944102 672750427 471312363 135605931 205939558 893732102 447431679 906351612 935184648 756705415 469673737 138689685 479538450 580270591 811645070 237593159 190378083 468130936 465477556 800261293 434754802 791986718 448739025 386418782 518900863 680241481 923396702 701670805 810828215 598413419 56936737 84689579 3241358 820576525 104925467 209292532 661987950 819315969 19420047 999414683 800900089 42429329 849448912 266851351 639425973 19826624 503037323 167119761 490604359 303423695 162528596 337823090 448247804 798720748 202463135 147873880 289878997 260690705 635480560 470209432 756040165 28488628 142504605 184741430 489438259 512484504 4948844 909088838 421251764 201782269 223576017 383423690 723660109 473566654 240943486 54481073 224847002 320170087 250530655 958379226 938490223 113277693 393254702 796702223 33545271 548752970 360152245 154776977 11993638 191601134 562398024 74226426 964897373 277128584 878202731 58419856 538952284 690062335 915562678 248209249 648811900 780889692 234795974 524663637 679292934 750746781 961353817 183909677 197732087 493219350 641895251 254848186 107330740 347278250 991642997 708177500 955447562 228506376 127091214 213999808 813931660 766752747 971485390 110973373 647377513 216026567 383464864 492374058 245910358 389588888 348299303 199317841 265145480 546642488 282599775 647155491 368410389 367869703 412570318 378254830 141022543 1000 18 9895733 466364961 731029135 582566726 165188800 541307550 131296458 345892330 462408273 460443501 646151873 209868850 27352813 294337485 38717980 442988993 722246513 732520153 879990714 849937973 746527015 615840055 784306133 577876131 420471678 407052501 38960640 546145624 563351537 896616535 186716422 876311464 285433897 446952957 828498783 438591518 12164175 881826096 531667220 944560897 45248506 229733191 435609807 267146640 43126245 878248901 697737555 562393313 779217334 100932224 983756274 375496819 434842992 861899327 759896336 119211853 459036204 260773902 163433748 891835364 265676655 840065126 925113305 298631451 178967181 353751991 887978134 254958092 796004518 598240345 16607991 553525902 384679238 455978321 86663959 425001035 760296023 957214492 714364230 240344136 606564064 431014392 136609061 708040220 680768882 360047958 387712408 587054096 87772225 48496678 911855520 649315370 97654848 809282506 339008958 150553644 816527987 877773442 316382133 75362710 246223220 909825543 995496378 31086112 84602551 139257772 826557153 699676060 90968082 460531876 380475794 148196057 213275821 893435925 860334428 57663852 989516841 466402710 606894796 90374878 288733629 208682898 967528677 785245075 537240352 530703047 185750011 756241882 472656349 85842622 530313891 799477597 378295017 469605953 625904391 109300479 236010700 639532698 797692673 685874434 419402388 903153357 605559812 416084058 48314353 342031232 38684742 435178126 597392886 945185403 495838320 803132082 716047549 340453506 557273759 194862069 326081382 479017337 572653952 53021616 222695726 3081490 697376894 975437729 641562309 828409466 15061482 849556876 726775970 808437801 213155080 667001946 281483874 144196264 500677105 70716498 241821302 758665812 805829538 739442322 104180795 39856349 192560361 452329558 761395643 316640734 902248871 402492699 442935275 626253105 162946987 936805110 542263925 523633222 762453591 777091410 59398464 473721351 389369551 629553722 247827055 530446568 674144550 486569394 586437616 186231030 548396543 252041449 850316934 398268480 407088937 283412185 469707358 286786420 981609110 318419619 795401286 636557916 295306784 243655439 63359308 199925744 631236722 806668009 626863970 965639920 520799374 727512855 225653135 247163348 577320643 447407720 501804989 670138645 237452976 410045181 153245072 265573287 297201920 47592482 111871603 639559581 50117752 88396655 997078534 572877857 891959452 466113476 399015813 658804754 652948612 920655084 740951593 279755078 201683350 177285248 775574562 355218144 985412379 385940210 449018717 968627284 837920738 525171899 121194819 724711623 410426026 908212545 495240424 131063131 397681511 566551879 391682464 61109019 180810645 908215583 766815131 488364080 539309195 674906370 259131579 433076747 776753223 804438980 413165825 551612722 264242808 578139647 779635145 262891292 390701686 647258525 187046071 351864274 694008139 585889923 702218682 595582402 582832309 902034153 268030527 42081177 642709079 220524717 464749927 475685217 182573636 550961452 942561250 527485201 811568085 771473520 17407786 707428944 836808311 420765450 282930149 360428197 120663712 64823888 637918113 607622364 758373411 664240328 310715427 983250367 313345796 839674568 423345446 70367456 458944260 918808710 289845392 540359823 542761173 572060567 254531781 265369126 278526732 308567787 334282281 943177712 453452777 910595945 46130678 764740100 637342958 280468173 123632357 892397246 826272030 7354139 654749746 549131304 555324761 183391489 280299282 808211634 263656043 237488357 926819631 912725151 176696075 134344293 427028555 977817571 509152838 399195528 142673080 599523928 120332041 103808017 67914842 339619879 779480852 40850060 426101700 614048749 118354232 763587527 198004796 914725118 792913313 744978321 667484915 277963578 517682956 315279206 649467188 171009284 216636777 881251655 288023310 298212080 799429316 363661580 429863653 957040115 202910236 644656269 408489810 101690804 252825988 946917302 70732692 522718276 156980285 222799553 160519682 223570161 382157442 272107255 411196978 902853067 447116627 968175879 1273313 787603079 958298603 170451466 821745596 157658475 94414508 10161006 651941420 235907142 209057748 761624378 781701921 84656186 534385620 116912156 331324613 630439800 435385137 55537975 293665204 783270116 935767093 288066759 106293490 398418012 526794485 87032398 782329023 78920508 860090207 493670487 102044850 688265938 300472049 845545507 951175438 524818447 22403903 153095988 281710490 492616947 54453879 283824569 759878690 881548784 459009828 697080544 321098968 908547968 332099921 2409888 578772122 646315850 42049764 152869802 234048140 73737646 248102905 105954227 685157402 701116729 852765264 75142360 675799777 586691976 989345548 990684665 546407806 859090598 766073387 718384750 618661979 968375970 598038284 74049834 501976103 204900837 939641218 487310364 868756324 175239488 723148653 692261146 172326174 970229183 101037127 882504661 933591562 155613282 23524933 631153976 273504449 530403984 640207421 961105738 137070187 430208367 20974870 758320790 860162190 173675285 729928621 565613919 496324401 846645052 152966793 247640876 734957861 287468767 548936377 423098098 838036329 765008557 599930358 334284008 398906040 690963361 575105008 903748380 300522550 459117677 931311757 111822511 159946092 460508862 175742835 531309918 301330255 481110401 28484329 472216600 930892567 316513262 800140368 355860259 321122676 900837357 588628606 241693096 582827520 135902906 929809178 269307198 1197824 860541844 192366468 143157041 925184023 704909131 702331771 203086374 446352262 452768319 271451385 286796089 993153964 727395709 252010559 955299100 174548961 236243955 184840928 189496343 944289064 802245037 822116000 464140208 732808553 934377857 436051721 677600648 522207924 27113560 604724074 205430640 777672949 477403643 658622971 472291483 660012114 51163029 426387661 953384206 527862500 905812954 472466058 940740221 339274376 460071166 619095569 13337306 198268871 457271236 450231429 543939429 229723281 362955433 111797186 53772937 559618450 903156960 480994174 664682599 69795061 164292678 850875302 290888914 839215904 32886020 296484417 100133249 110485706 19475274 322009305 274544479 872251730 319522949 888006121 42230690 351546474 411469573 564620735 653834308 320613530 274325563 691068560 695726000 625501525 890576348 486351527 647287093 105452922 286615809 141043094 823497458 742592227 504610089 988971372 908141032 484164001 662024134 334661582 515773469 641288233 74816806 708961371 141633288 854580776 35802664 224156231 758090261 121862940 545620382 119924556 832466076 485526695 22443752 20095702 280942620 775383732 214075982 853302317 707751861 141397384 679930055 303317975 60554223 602760758 674291163 327388465 11298883 574368174 390345157 535583775 315242294 545125229 412658642 591475264 232678657 207442735 925732485 413861333 596124414 571246743 363122878 837766252 461470581 67721213 783694473 537007653 494169927 922097653 405351506 942049732 753945939 165848163 441866904 244928803 300862776 655424614 389999198 949065046 702080327 126589240 509999922 226691981 819804363 62535079 205559624 117533350 832142257 459935102 954819113 219898866 520591985 368524345 74045028 791580910 538629243 200696199 688657854 950009979 181494602 964323886 371894391 339880478 747403663 686345775 10197145 696672418 962571316 798931794 420037019 673399212 576229297 474518349 756714988 728016729 582244414 226329987 163552091 288083216 305918472 874981889 203320359 934090305 781778084 226213137 263586261 809373926 484257629 709344457 34072660 122606418 830820983 98297466 651935313 408012881 263468951 442434939 111981779 726676189 137299798 227313645 213555104 995507477 423453083 570312267 870448182 231107067 525671557 310119241 384176826 845034421 451234418 178166727 680338799 680651349 893092935 316853188 586388280 596960341 638754942 318216801 179808369 709122438 641609365 49555753 633406952 123773159 560100469 494116068 420075260 799439636 216689964 680619891 667919817 988457385 30031785 805522602 334770256 812339866 897587935 253347129 751195093 123075881 345351540 393469485 800335907 4960068 769576288 71236130 164735555 714158033 723578918 703882334 564475255 558889499 741180714 456838777 7997669 757106626 172955198 827265694 306771207 968409596 984694060 948060284 831522283 892125615 546973837 538172603 195221679 334670875 993521255 422979028 568843112 993106021 59407119 821394308 224730711 98171852 981316441 608701117 139811434 877868044 998155664 878407204 819080104 927287432 88550003 338688100 224965299 99997291 200877227 963048356 768219515 879136868 963573362 459430853 155320727 430150741 541468824 540887019 596003038 921364704 631602265 52955088 208935881 658616756 732657385 183186147 384989440 686061157 901292297 972934119 835047643 979313566 932855280 237060146 252818022 212162032 939574280 399063510 825889538 967764630 232311494 286113682 983787120 197605526 607320822 46859967 725467627 624332850 420476402 974397192 663074687 674125141 618496040 327897046 431507250 834426207 954988848 142769458 171408424 667905029 562239588 483980213 961606271 645724674 425566424 554547912 538015621 924881958 810450737 438508485 41088861 538926575 46415892 677733522 213421694 133898372 94539469 457499340 44670316 245783124 910440064 315613687 395479180 750272339 753797728 564409073 281208675 234131197 541087807 792055945 894677322 950343032 104566536 356603313 399620430 247788093 249130412 797869825 126948629 749680200 72378681 461702185 327064172 746052893 525059229 599838582 803892294 823950733 158375152 635778903 200526863 905643633 370884243 703930767 207349691 665701400 199061240 636327387 993229150 688723652 844429068 209697721 725367078 215323098 669582962 218203416 536969896 733477131 714795673 339236839 577074929 878652460 467726147 600275839 728064729 758682889 441074879
982 982 982 982