571375684522141248 967321186654941184 762879105851175040 370065046779516672 936897883534001536 922477186059069184 609562627131751552 292862178773913344 224343004754562112 94542374282811088 696673385245928832 424804342768987392 969658737987802112 993645166763364864 239912994000512256 666748224914638336 480029158121037888 633743492251582720 18747751012433484 572619149445509248 34107248043542664 935675807585912192 867999767101671168 27577922458959804 270873535691625248 49994840917953800 328034815514483200 987259068351076864 850512528744592768 713335361960453248 112932232572416208 210575229823232832 221417542654741344 966386051660359296 311501046886912256 351570374765158592 830767421287008512 133375433194537216 500921541210254976 12125488866691660 813717383689802624 628466388156602496 998911875005041152 932313922243369344 401762416210970176 338220489871527616 137405059058412816 735956036793654272 359586612985308544 604934868831788032 138704572653971248 733152897137561216 840092114677012352 436382478594647424 924447473197936640 242283493614279424 861222245215852160 541449734423017920 410652844242615040 520245162173670016 944782264505825024 61565336710839248 271227002111441984 76558475462708912 909808512754758272 119231707903351536 688441063454034048 584920916995368320 635736987078815616 632730138473528192 113777272047497824 976397786406964992 292906365037739840 151238614899411936 203655212090990816 9300901880308792 714230665235112832 696690474611816448 262279539928777920 950337630789782656 301174933197046464 413451369455756736 380345875184010752 774750294835952384 920029225819000320 22439550772857344 17932887831449908 209901699419958752 191327390631582848 719966345682636928 881595333693071616 819547222720595328 664845451559805312 487733040126229248 229680788542370336 555888025370703232 361809035232028800 424419877607896128 272573097661198784 214122100772542880 547862521631397568 307111944591256640 515256613601989952 668854555578256256 363321304314204672 605255232711828096 333279598190882624 240329420408796320 369995345679259136 722419302442732672 440326314537948672 123388285486169680 631198268914980352 934216839305940992 947614537263753216 978424041660271872 156061059546599840 591726744082531456 254249921664115296 655761375725552128 905258023043448832 87311501901227296 645129077294367104 610109213102216320 141167032157229712 16588772575927988 381996406500775040 450367075873309440 178627660761673312 75554630067677008 127707779589195248 668444318571902720 770922768487161984 715581822346289152 768771983850586752 385643064505294528 756081524569225600 260749388233090304 233692681397617376 278111684647085728 278785110202816512 644746580427246464 482446773036659712 53210696351374608 533770158945688768 523035853979818496 926444128049113728 571951763814894400 762657655436834432 749952931368262912 151377753928029088 236000134592315040 932366326957939840 931942850083446912 397145756134879488 736701881162361984 340086599559074624 822126897302066304 494732663684334656 705344935066456832 363981669689280896 529546908534533312 344330614821889280 291920947901927232 112159553958040304 502996078546642880 953379256519445760 859347215953962496 309816511116119040 337492012572950080 326310238947669952 296119955450812096 240673623710016768 49316480146476928 163171129633253120 175209778027356608 104026579792650336 990941794185688192 504525503967221056 232148962227435360 242388631202367392 10919338480839818 370781156539379520 476593349323329024 845362814157420288 332659754444230976 864768156731810560 508267270702057664 582317853172267264 738298969154928000 649551524849935488 216034103146050592 372280529812452608 342858100622863296 227910515665524992 776265585255716608 773278228124010624 314365175170790080 917059667100250240 841757845619451136 735290095850264832 33311499007848232 395797661504882496 49647758708684336 808090940633054208 712319743165653248 574201786278276608 947954594049595648 756137649087310336 867913428863916032 344046143257797760 506763798860483712 995206941876587392 858208832452368128 65857032121643424 853401282480779392 283929950336972832 755850390022576512 250649740682987392 401783314907576128 905423897747110016 341128837006813888 77289159628740464 112323683149662080 891574944009201536 61929106399297376 263135610483075680 63369584718419496 141671706909629040 676207784846906240 604891272487397760 930506009637849600 727548854711201280 829364031473347712 255798547975616000 860307192169478912 342476823637891968 551962736721958592 222285368737541184 190038641976823168 92121105249750352 542882722307876224 925082622635341824 301700123001807872 580180850722340224 913240710606072576 149504704300966560 700109671628480000 814961568515677440 110916182732057408 633996579239407104 847992127489625344 387728064635849920 260455343420385984 160702581388356416 87564332791595936 339211461488845248 151346696890733184 418567124412566784 24863554178857236 757628529203389824 53951420051787744 482944848317383488 853816501187096704 593485767342310912 863728566304148096 479957550640827008 808085876573428224 363257192409750912 536980109951621376 277850398477348960 375636176511413184 868662222862724480 164621571028819584 163410226717338944 244130362553116736 699560874351341312 14108224711035378 443463205540749696 698125599005380096 165893759906148512 357052155303711040 783422887984177664 49728632896451616 866451539526923520 742732060903068160 435690950968764864 358872909972709056 675861925346855168 412003833508549568 718079637422827520 825863228617935232 398824267098136192 60341242533343472 276752184947471392 43155143654079824 785562281479019136 838431135504832640 449604060828211840 22365490991935000 873730277109539968 470195211180414656 893690457556666752 52531492516280144 499835493753553088 326316918384530560 312263451178288576 359138437755272768 887081720133420928 763646226030323200 285537529440515744 649617163048278016 425840702309479616 414986657180584192 560692493211555904 296623603160956736 30082704892836116 754083920392132736 606787830803245184 621014482618214912 897868623824790528 547898676276561984 29725553392348308 8199307174183409 499131394451146624 929670161753419904 481454925685878080 316753447807346304 588997431846396544 492671380457068160 455593171704452864 960423200435266944 914795406149006592 890471415918363264 444863721676556416 153385860892572256 624196939726817536 468127554771265536 262671311285010176 634946838271137280 54210419250163248 318977360995593920 43206913701402808 139081879299735376 610777987556384128 793003596651429120 76073840813191376 566712834514456896 41287685088563240 371876396938654016 817253864762470016 58064482804123800 882735078730468224 877785056397153280 127317424383202048 72992616314040192 614164208430695168 779047596511431552 25310827172482348 680821482203122816 262196701346910112 41964703215755168 2639919439797904 870154257116240384 278139882857695040 100927032737966784 208542182054990720 76832623481577216 681537578853724032 26610557861036104 129833281131561920 4090544911732881 442321742880913536 783348020538374144 520983669685264192 559384495146207424 192783714068074208 685002782696465920 269179666637939168 621985649290048512 272752221469180512 478901104985818496 244127734913287872 4057049436714523 936276502589823104 795740624157868800 466783338511472832 116121302699043408 109443432870554160 683080787185109888 274595574224481792 650884635755277568 454438013048127808 580876752606030208 761477056901122176 94018911967387840 353843363970097152 839857358571666048 466658108277923840 689344724025834240 998569919647238144 320192843797205952 121500990017721904 786129542175456640 524234676561809216 24609996707361292 548034330166477632 232359782281285312 584620110020656768 637447405368556288 548935960114394816 527846715538867712 852999096101479552 679514575351772032 448433874461602944 164469641181785984 732500804235512320 272363184813402368 144454518860651008 147591793242035808 358322343002433280 757543960265861504 866403952864017280 486564603988684480 741198676743475200 629187828826499712 696995706200571648 210003066734191552 260663685453486816 756128347689962368 766545024554146 38336678487086768 468291956315362816 220799247062397696 969881510795640832 142492599389606336 787485597895449216 422158807340982208 64523973479903944 601147375710315648 4838184180142657 416675569257695232 822591073632462848 284250436704060672 460716207158032064 260930626549137056 454324417820729856 918865768124714624 238072668023318592 214948315016760512 738769426752038144 493249273380727104 575253617904849536 250329144108072288 114675811504537152 543352142758663360 859574298372410240 180010939896520960 502890509544391680 310590824143718080 152620130659109184 737098899132694272 567096231353980736 515647898866417088 333193511822770752 527373941324957056 978829347525083392 725234407532189952 392880069133244608 740434359343487872 589188772801144064 36105144771313264 506387665877344832 823969998864123648 972715945753784192 155128972608838048 719500610200487040 57037968331828448 851587392211089408 260227350912780416 712949599440907264 763901956239709184 141683785453796400 638012258860297344 519696321355960064 784463311972275072 79673053601730800 934680822534227072 484585302785067328 315736191803623936 414352292798833344 46964375235833608 449690002822186176 919435420972629760 584895752137406464 985741439185775488 755920714023774464 825773410887268480 949708870848958208 94449609484339520 193634714569794880 632429709997101312 470853031177497856 939720877145752960 826925061498234880 276963594384408928 42575042233583472 347695599876847744 376568903595874496 591121815087385856 166292135794319008 457082371044361408 190595154356835584 564309923090249536 67069019122752296 286839089493289376 904881497093665792 806863394220123648 454143246904843392 832021480703133824 643123966618588672 127372973927608288 196660985033222976 212583226076980480 155164399932200768 596056654485096832 499138197239450112 858142583218573952 105465094328104512 566366116104840832 105442810488569072 490019975811573696 8229405202260330 722071980439480320 364803226114007424 657597083177758208 909186981054561920 367651766168897984 162023447486088768 879572728154083328 317500544980153600 540591849467911616 416624240010548928 556573310689595328 915349669470234752 809619218051044352 298116443638859392 825492526530942208 625214364510234368 652953793391215360 799655283889228160 416271846822947136 301977893716396288 817761250681795712 239874944564644288 381663624957056576 620210097344151680 808001339770790912 980483360944010368 507162202202700544 515919742790263040 450087236360889856 962781900832436352 961111352872875136 290085046371785856 220329774920581600 374219463553960128 128708265588468272 166292596866353888 448152360221311808 339743575944385920 111911033811217120 499310214189824000 282371695554413792 721753284146749952 654206925111165440 467993619291147648 886946215623328896 103326197328622672 910127871656068224 503564123224373184 418269896799657600 907776268920507520 590283027604055936 61238490504568032 972674158904920448 182320497871524256 861186162890120960 440880885933139648 207038831119007520 259576291996733280 79836913249000288 492834036849692416 104709566340810272 302306460337687168 1163126934685655 417418182792078016 191504163212866912 441113133996622400 643896121298996480 341040865082872960 582566086637054848 242760453929512864 48312917236388608 194691097899478080 507418831792053440 307722122258712064 860750192547371648 621176803099826560 441035161454079616 434565155495566016 107517089574716736 602637774940772480 880364184180695296 360403524837190976 782614683426379520 908344468003520256 344778274238263744 639099055367372672 81613210407015040 591305714092661120 315453316507913152 949697505559355776 286632268483741728 14298961128691664 912446236023882752 260689380434841760 148825563968133696 182948522206018368 307066332477513408 761703077401756288 253359356985249440 29717074367257760 855234011513589248 891222468222684160 126685130314793120 563803487923909248 615100497694126720 144387508955468768 295841120154446848 937292883481382016 966546974712297088 75503383249303856 20058437914534872 942809432488314496 770931920645466496 997486988876679680 139083049236402512 79317660710494688 411791655682119872 457363222000008832 665397682034962816 77940040129086496 627769086386765440 464545244541697408 859629901229042688 394634533351548032 639461458485117952 456179572665387072 878766826943895424 347121966822733184 415782889944038272 401411341416278016 425090475223627264 285150235942764832 633504030645728640 166964906895777216 649567555937995520 309527059888295744 852043017969271040 413345497584871552 387350266735775872 967728715888036736 691732131080405376 599031443985652096 745870483969182336 810570926308281216 292075144014572032 817533738248187392 724563865730500224 668690548694246016 811720035693848704 717222596850933760 562018651051929920 469269256973303424 327476216669857536 607411475250860288 514675190377357504 31830697591817208 406938302721457920 812728913248456448 650091706882692608 233910086093860480 22491078814998320 478225514045715200 437274375172845440 561694697662059904 760489785231957888 46497094808668920 782672977109626880 749724317912201216 174103016954777888 168307144526599040 392400499365066624 287485389998044544 832112472818281216 234936266394153152 893411597655126528 251816383881927904 878228710240574464 43727160141804776 836480125038374144 330495578276278208 524355404721288064 794485173203101184 61000587438535632 512208181269875328 887431359315998720 23818075764212680 917202740127820544 251145518241777600 573799507608004096 72505486826498096 866372299261562880 143370438355757504 525188063119586496 73474535839187296 325626321987181952 481737346184452800 260387162639039584 631943503967292800 970456702884894080 495079090498210496 624567370954352512 755500587749451264 846409614513905792 906441300614940416 540859145411865088 55598190723108720 955396444934160000 404756495782159232 220431474687796320 458981544817001728 927190310010686208 537292140065866496 428171148564824576 493797143549912128 649923654875206912 271681557207834336 607391930630982272 909410707187178112 522205900091017280 783781863099553408 458556592693339520 670724400696927104 39448127420746080 642336165469808512 10831141434753878 921163296057792640 771962293902125568 828151916126984704 728752597980661504 772705435763668096 732371777737522432 678970735132240768 113150850278820608 888528385303482880 561342015315901056 634886645774892928 14618648242261700 581792432280018688 247962179246200288 525499965432634752 261660785041020352 369357624078696064 167700823058639808 362743766762693504 966670217374007680 192320845578005408 381084141556626112 593990702345159552 182712624680564512 851765630621779968 262046308796409504 349634209368487040 77240532966913664 448869908138361984 372265452262154880 412562673446906560 838766329651566080 687628400160154368 212868760313694048 525890518298116992 98680912961536176 231768540141515488 266490912447470816 199541991954365344 165590623880130016 611491215912915328 636002736960701696 35727555164005504 649912157123145728 648443412525733248 272460357880093600 977251080734139520 983555576583220480 726698630551877120 66713973714219664 355903595862254592 568779151021399808 789433508396428416 570102913674723456 585233955551649024 987605699701319936 599415344800281472 227661797855588608 310672072623184640 413333544006103104 314415535260639168 832082669499417472 328514189251798400 443687311584992192 870445165367673856 752201858668423680 574186955014394240 701961406458435072 127533192455693760 165556455259065440 939223724761988864 140462198568046224 520473558283004544 207384408946001568 594854341992029696 706899456536717824 221587652571717152 7568372366619654 865442365628214656 565048642210026944 131707183111914288 758053073528910464 379667403116016896 330580046147429696 77182148848337936 821832095431948800 485489714508293952 171834518391638368 847970014247276672 889245525200450816 234439755303243264 809071539067700480 528912639466480832 308857033859704768 355835120111954496 176520693764876192 854159731978428544 81603138013285344 391041627149776000 752413097833468032 587577668842356480 962741311884566272 461605732801189056 802372419194741760 412985192595889536 906777292774235392 314207041778209152 374333775894896960 177600189744057600 400664283401719488 860158263921030784 379393515489583872 143677973572063376 933212200687382784 312569840756341440 34076829403797192 925003261007931008 774921147154484352 145811018663187808 334334835571219072 767451714277613952 515473184541643648 150659436610127296 873476387563251456 53965859829341992 272904788726869952 132666465964881664 902646947396553088 411186039507867136 158248062947240576 721215205179398784 623054323444732160 180479992452280672 674479324987135872 316541734014530304 409569521452868864 989416171747251328 585917315674633472 222915850476095968 795144389646949760 809745634239000704 287752789264577312 306662823332194048 425596342828215872 421627913152982272 259067718200159168 260962388521889984 641027451174591872 358446473099433280 806244863215336704 813365672079583488 704630050458544640 242509393503846976 46549471109161440 250932427376644832 450030130387456448 728694264724013312 420666299723541184 66715720362132256 940708787832051200 453723984068408960 510924705587128128 14890108527247696 306335076088343552 270524687602732192 386204706144914880 456936279568163520 290431361275652288 331422893481985728 220232883158146304 765481459635524096 35431400513480088 363796183050216576 200006789656630592 904991870204603008 632521652919589888 425107515454678784 852458668699416832 49808564481693840 852090776509353344 466033672006074240 481791091842347968 825053163254983552 785942366008162304 753541077520978304 245050066984712608 874161407577621376 726117990603673344 251378763707212640 183030472460626816 703424749174797056 661802422402937088 321818415737243520 872247549070827264 145574703875297856 182045998769022112 607375544253041280 119014814896027024 942693787910675072 808028756935006592 2079831062545530 536366232110433408 997226794445533056 980577333015552384 615212266156202880 203261935963237312 793889787549265408 10441556334232676 213028823587768864 538442012825347264 60338781301008592 174891554856217120 889112742901723264 327781464480984512 133370016010582448 81969923458950768 211922568610553472 646979131259099264 293937377499735232 588167918095304192 157189927425333216 377133501799392832 283188789357924672 727727903646836224 290423962434482560 496486032681873600 324500660660700288 395694194135090240 25003692597931176 77187631313588752 688918597143103232 143268729665862048 634660485710700160 215803225673748800 337761302804487168 395468970017659904 122266795461729456 453747459640071168 967437378214829312 853739631309665664 390248694474460224 770075306242594048