620630435041979511 117258700981598186 996058336427403350 902999457775232523 266317666928772015 329005861528559117 631314706739976890 647254416016190211 220307034009100919 764485319692035674 76194352646684672 154984334902832236 173545246652959426 575453716641631817 483930014526001076 621718244785074338 772099275188411041 344569098565346522 640287072266578599 695604436538473545 252715743191098672 219332239556462787 298628373030409180 182546663327525121 223413726887232246 654361727375294568 206312792956948782 105466277276593869 601682519648962584 759860471600938759 809573365521764699 692473771430840960 441041295834598483 997004601117594707 348675286725442828 258964952229074386 120809716652323284 142282418187270080 867094528083320454 466191039082430444 923511103216459047 176946138661770421 316083185472669259 45050022190006172 817954752513591494 383451775932017482 332309850214745257 62183023875499357 726795567539765683 669073320658175711 245340855392979408 553570992471009904 106917532124876928 369305267722089995 621383071558722385 779874131657867834 580853868397028981 566512352375784103 407017287640627443 587892363449606045 643754238778433581 459538655387252563 265787513420405778 283909135414975586 529653431855370069 165080182239157646 454341569168604284 206308155703377473 853545505277595092 942703759176455367 792752892971914848 257697950991257466 529930813746580235 255292174643713308 460317875899298176 640848794907135363 9953564408540914 237930705353574294 248858320740747996 241343590845977055 653190882403514738 424119456121840564 698942448233075404 845496505297835982 639400661661299216 860905770472744978 92633095790426359 536662881159866159 594276452732701049 371253436959478270 157657626409852465 503971364731282413 410376190404035349 904441839505301557 809296815443321560 647254416016190211 709311468761824894 706230953736452551 877760379385683496 983484077661781323 397452762643402685 471169197392325059 352719999400958934 785255898516089292 443247241983778802 927658098509815501 263967167390014888 214177559511672199 744646435253927518 53173604529908251 14502327541900483 633313434484544754 161330210736058771 722417930175628305 298665102449633791 439210410424627538 974930456630359408 888601232178062207 577185984970779116 175948711409622683 517869820020549569 62183023875499357 567523727251300779 304428518567775319 961702559983493067 356103206580172016 972835057627948799 206266451396621223 186953198265298757 496352221340720834 362994925350666223 916888315266849770 468070830462309283 232846896305387704 793403897515959443 691332330561358106 527122425137810451 39791080662187777 111337854837169740 569275306793493702 67173932466650604 704610977215080272 323287515054003931 50897893603488683 38925293574106955 201230602384793493 238409386630410406 106449588147282461 866748311284799404 324366536907493479 783168498507202789 830771483613421271 937797145812344733 752421567647564328 841962770276434690 45704090739095752 276555068184766494 536662881159866159 190870453407373938 812198895995195813 992807703268097903 43532592234394677 318599415527051321 160594059442468275 499645928603321903 288419468028006092 113624858004521498 251785495124434556 372073133326335416 914641242041105121 952519215539176102 486521604531512186 209460756294540555 42502418194746367 823656009172457526 614427153510641528 348376798852362484 154341761324025106 789066677863667688 846574985903086901 423479221141188484 519879666413578074 41110376688988171 617446555464245115 263747913209354566 864558550299220164 924141732300240368 797460245279074044 269108893561494576 424369966410677099 605784422385838349 565726362608288082 851807002001396334 53916965326150045 780384161052844713 200681276336093454 22509654107895109 780102693459366854 85433090096916649 988192710350277101 320642899491752081 794214570553697896 938605293922338594 876242622061849812 156522779839930687 503436071220934219 883730383145958462 280855088651612433 575748565270668541 202889455387008532 686443752643321021 273264151310940267 898552159123764073 758824921982399990 984609561154886690 587693558905056083 482212187262503796 486900086485804238 285408489764768301 145286753241920523 622256992537800811 729857234273713386 786927083736432981 851700667295044934 703887228601731643 259793999469763998 17492007093821378 697804158587931308 545264834017452332 515348897709713847 617395265001592473 50836914199723650 405988105312047260 248352169241380444 273242540745959536 823135400575799512 22010989654430446 620116759577406960 426211690330447860 178711285717847013 510837432807127563 761506032582386530 521657729993768659 774619865127908065 178020667900124728 384632046841563894 550325945033775245 481065266245124402 271743511316707184 130432840994628504 964769917943308163 356363143466363809 542540182773517904 269623955667891426 948389335866395332 967241261363971694 799421756073433503 866631029497904671 387834954761395558 264228195425472125 634139441322552126 731057198835364401 803429246031085527 827664374568553863 106581062249899430 231552502069624440 825405682869492451 439882391121775803 588522010493851026 888286765658072414 396185932181340808 387129494847743512 239488887469196686 956522743106078807 738976998185081033 655792205895270297 87775440778938613 200702534431545207 965030396289142920 198743930130475512 649425210100765143 830184363725153209 330702704096953828 681496092516438847 681496092516438847 556568848775892821 624411909078949406 500743311886058592 971793758084058236 762402027541934035 104794385072534086 872103893033793583 429440991337002155 805158837283978632 819234184984783349 880055256182201116 837882647435500639 838947707011366807 470981609367823830 549605568497428113 258161730387874612 49365621535577108 432456489086912792 140545000869535441 440000167052868410 755100002714222554 160005993127118215 363417431277699468 797852185046374727 289713549351365678 817205489168057215 892864253517469500 767939070636019670 739633098071904384 733737292679630567 671014890726336468 770297826181144153 327901841480538491 119906128940298997 981615585510778485 312054038676021608 238696275935161742 841406862535982738 699485077860989933 208246079040888877 652723660406842641 222304473282186200 48943909157421648 78420681787655245 3520755295061996 27332203377891669 507218831167533078 442800075058561074 298091601874981995 968925200589126769 368265155758081891 48046166834140531 41255557292815501 936648649343504604 153083914680613468 964297820656513376 656193213123079380 996706592503400631 883706313780160485 343112951244464153 448136792562919444 820907417795808884 88637574194931021 936813705593070977 181916661149988338 160788949220901134 638951564358759541 750115477490343125 737951838242723164 405167716572574405 952425125320089472 891054648301035553 195857530947220365 10236452241660531 611029881049759293 815601538487147692 843121414248445200 220730565965556728 534759156876074439 913778591911084809 187131079794965919 165880109087896831 115287379613939066 559072503227645876 569989098653953952 827937542228739552 521551672330292288 181015602802811005 386176333680936297 769629043729965331 118436847711482394 139731219195841272 372609512246584584 245671917126560354 623711661044913028 210433064736354410 858728735316178346 39882949924500766 481982033381620008 420479599010625938 599971042945421826 998276085391596064 563244091441130442 399562630537382571 994628131811418799 636238436426412721 882018243871558761 558934121583604727 665505260967322851 788209018163177840 381859769151987304 806506998037009150 284821404711804617 667645329144413585 870465921907567237 867815168961911095 864173433675129817 342507196354723871 206575206799158138 452167304620227772 19285294839998319 54600492247846726 401374572221505646 425960773351029390 362949461144579052 522578342161682983 56681591133079534 61222870051723149 782563073373255207 878609675621874107 450065416882469410 368748691272307644 904723303735405296 777029722122040955 549209190207329117 552260300060300746 772106568551458310 315645718638229918 873048778544705314 233493768754438095 762609067856042654 728356558156231503 897867530579692039 962452256207911521 197538868047695706 478988900303627746 155368255481443189 20860883313300244 525781216610770404 922570551119736950 218605502986000763 341175394266016640 707748571943046122 940736866950662241 333568239832459936 356359084821281446 929927752776536669 587692847982816673 992748309584510261 850040226485759895 855567606694129283 277657207946187461 579911581663214448 338345511547523170 945841755869970337 363578624560459608 953934574595170788 551955154678143905 450742654161215384 451980415526447177 891161556395746559 862325042113479313 876317278457355204 893704036328845807 730247715685983493 634139441322552126 999676917094489986 545176733787121658 456886780219274639 747292675581094412 240679953565639142 799836495404408561 497966625120455590 159511536492434647 268373948013346982 708662475372023204 16529152509008342 308090345228800075 811195270357677506 400363773078936184 800619182177624912 71565228490797759 488864985244937201 552260300060300746 136456428733243447 685633349320198114 295703255512401398 926969086182059919 734918909300341413 762685523288977034 560102405628687022 858264580830313613 294038019448855750 96943257959782644 55003146488400115 585900188208142642 596089823877439330 395390663572118132 965007993600733884 351737594696719504 137898124933846401 586676795954024892 191367554557282033 478621644542721566 420187592892968499 609322015927316374 528358535808286245 531686107211192305 516172145797072726 476270906587316736 760172295763161823 876899808199101619 575729030741845408 613255801409072263 675888920115916584 69577314881875603 377380353281824639 259793999469763998 362140182250669867 577017635867233523 170055999837821051 462214870063345153 512743467855205870 317584589138558972 682198306638025596 50174238155504200 849268639507490943 133258357350549599 870116678814075035 213682017138871918 315509579874187305 950457440551980068 455978169076077773 444415143830005795 978457154499657042 61934030897945539 939515659679094910 28370801474975783 104682259908555062 894406245545332701 73072968667395557 337551224303777627 385637065592072571 156509044697358517 111904501124842289 470578612484288184 225253248073296561 430853074134122077 274823329763574943 328915380618822109 698626997600666659 767879739771313289 555136640163446781 231084949750774808 857878450816205414 467387282984336901 372180058975386292 969657060567943125 212563904151622575 400319834957964601 619481816449966736 101164738119827434 566979420203340888 526941226223670375 52895402566591854 95992378715200577 456494821650066277 42030071490703600 843772526387176304 77575636016213490 329125387187724144 987153148676806060 80297518398526489 509107636047276455 769229047960756545 430257416324559800 578797740572076639 577258472187683308 136808323234944683 624273932587336167 123401852242855895 103806530194167165 369267583564648578 357968959646951024 929700433159656281 119835740586571549 752329255061450047 434485248040265035 963398985575677458 374019044502290684 656113721973326622 17062595292003068 85235290253778329 545728404222172894 709907599684842828 274603394417288044 93542700419180961 336900404794658587 976155815383434153 446100134461917174 679387518875170353 965869063541698831 482153397377101026 928862519571238854 760857947105248939 849217957101219654 729643106650305940 491999850888434838 809276757817620586 611399723839459624 185643057968124074 727217911105487258 449698190239804987 152741880050819955 312024767780847818 104165148349730576 401463378329385757 573653095573372670 252253395971257676 782076052289445098 743582894789448041 737581396358107479 835812648063635100 824617108740432122 392941188657824352 38577159271036040 612036760202031325 161353933274295255 753395175679087888 300358485203372830 477154462851114171 752361948784074798 121199137666244644 322100938762644693 997647257964005023 199940215299441380 431793098520960032 557021335398840625 439505091629310054 118408315552056227 863164591718167172 822585433989665446 686326972160130032 132096774940928817 880606666977151377 260302698260606866 91754828030884951 4267013494370415 915318111537935056 568737201011314241 431701877853029098 744760198397656857 67283100143017295 139492267311705790 75302273688585231 459836806041510265 995504092555691967 146599926134496597 449700373562058514 396285043569500212 747391356085871395 96661092758559156 393539915879404918 74000105014373482 645380785688403047 994680989585831573 362241764546145891 540477098089714596 97137827281910723 425677893405623916 432211306413817683 465064326220949748 837581929261039096 988415925396040777 738121624653663944 51361905339689361 217242043873050285 868891234251178056 169129901628273536 570771258772720105 308800724531341510 483840254570587035 882604058799683579 904835308296807289 51119378442908051 64814185404552910 941089384458782652 978831365874610022 885093609914986956 555136640163446781 915046797689777711 428840261847529008 92044181762469863 846365424672849793 938037668030977926 31395112139203838 401828664726603338 830689688770619276 141333809155641479 864588951754398001 121876320760643764 239265507819232442 846579306117434631 698570901784117748 59255409764422853 659296673161282674 652627551219374373 127859460201416225 817268774553792935 644704141799006701 378654619704327668 348026968733467685 633362869194454501 907412181376740083 39878922306357830 250698876813847535 796089640717934279 674649670429035868 812657006673204688 95321107488383442 368084496766751299 189251782940427252 784019785884275442 457689077227422909 954514116077492778 521266804509861372 346677931996630756 95216812760569025 970091221733569406 802503578093698411 626705365316703495 825258801725465269 257476724002017740 472921335044816607 761557993710268941 766667184760326406 93613487016329566 877747598448656004 708662475372023204 657044698684247612 532872799209894036 425497607489500856 108624342409251566 165848163704760968 897367612525634338 943264001673411971 461689034776850539 967828405249259856 401442114801560766 601467300517878133 968473426484176658 7855492594374120 771581774744738659 629260333030357064 638032389663512749 837364061892301947 268225275527717839 735525343211839648 231882985042952821 732263374188990857 787590302023821288 281176603689425969 711913110303326317 486362590914413260 651528441148960190 382932989993762124 961018308890380651 690810621637329968 899133835236355148 716064863821154311 651726940959995544 592195744429189309 850476255390395621 160858927832267924 694692603187915920 533094585233309519 213134350469072258 66953275255967295 874236700077490350 550665010135142553 434136856112450493 519733294983431394 641328771367802658 43438203728034825 72718316012054449 709554036428081555 599408776487145516 858347761315598901 715053496209073779 43843150904765372 666238516463653913 320190805517644963 197680531284944249 345541681522469980 840271071449999720 767552137243583120 450333296239556818 859175513960244599 398442435819228748 659221273086980200 882058322960855444 715839121449373678 916399908143787 733223448283990461 803580101010584505 185744088533427473 809184248051926670 321169310787093248 166252094131585445 334315087719800734 411599015149826946 199071191051732686 880711527714427482 714628037010501599 165997597507212066 598704125557923413 716714053595281037 887296577037083455 676965688981829888 589100695949910199 847507054390972360 485150342212461063 819592537075546847 897029740224716468 687434557027746680 203631766506023767 398188808662332572 257701107920429489 516093294976542328 142507712771138523 257020789691488663 350694625710545308 928856805257777146 431998194557135938 788858788146056329 417765372183757067 445388538292327352 784905815980368810 202648285898111373 350111322331927610 6967781950549005 871626005303876227 200399806520617650 240641018763336330 908591758934231933 829513894909384646 816735072858845274 587883874239980505 668710774480552617 831224218678566825 461768351919322713 469593478886146153 664242962446023154 692712112501697741 644406570138130744 778663048362345123 737340994272135832 950603210749737746 427448011141056997 922911091282659852 924639725671363567 938844438305096274 794092181449889572 801203141481349085 263003381565142784 774922987648368688 37563595237375421 836974350047766912 613323619927286976 159554010975336864 318659948761063333 595716959582762689 756238846487053971 653813061532593495 151565595528105718 81478748861862672 516353619731839040 546679566413014401 803585831500924038 827344971110153180 109703969958765192 546746607590412755 239071971747623331 18078708511684533 806326094551154308 882546185563725763 410185443694914109 219317641105322054 828074417488230136 362281849875780451 341780391487495492 88299351748276244 895800803686435182 299654734717839689 844209286389962670 122703187140773198 110849429440468773 810933868594180369 276368825756086273 992853323488738007 282575423162723738 566963220904900370 779874131657867834 979325303601600835 745904291634862432 716002863510401350 967358873007631292 318955898882888652 770664871367156769 126651897007299132 253851682603799188 864383500997292099 99000486087415333 269198017865769192 131186577614563372 421929105133525644 10408772573487036 921137127156677835 541147005169818042 146792959187794202 582808762184521202 25998027203080277 850178994926362646 838528073318756140 723953723797905931 602450426460199611 183895365410034938 931511893644955191 460735138084926013 766845173299298966 155857724831399263 265555032165500532 176726223217884210 602817059856494167 584730032410108715 503804650825021733 774177971554483100 264677909032564742 786735110638578121 232786574803931627 583713935813612411 704556746829763919 824830720105112855 672954318445920362 746982602629218220 528313003786767011 815028060017496797 206184319029176889 872617523907908194 168732574844947437 281176603689425969 894704180070251149 191367554557282033 324366536907493479 373586808600990368 238577887317456255 25287921423122956 519521739845328947 682579041638575233 77720221438775381 103787677564001479 314061511539177570 573866135026837547 697519051190439909 360577103492959677 181930055122451990 432718666459755558 127993890689059324 105033009154197283 147529506271648423 395200366847660941 294064311472677677 859865545855612937 520122859186589299 572137851770586396 650943655857381894 221593697204210318 608788465978771198 210339150433062199 382704416020483957 538663243537571589 988792773010078981 975890111351832537 718492358592398981 393884824162243064 543119166639475136 368310065100054106 486662936706747501 94486453952495668 777692014601517121 677930332506864278 877010627752145058 550337126187109785 165640860273040304 929389841512344739 901423463021892577 787275153334874954 493140987594986114 282030319778022389 313812366890020905 431795206307540402 979275266835746994 906518521674749795 154275744111139849 936203780921552134 94385286741980435 251010198678035618 531513482079329997 714310607340661920 912672032043052923 851716167983813681 767324843219918521 690754325767953704 376431548007364856 580286027898217659 557624568191449831 771238722247994724 466703656327054931 635449508567751938 719845675243905003 808383303287880280 988470416215598833 943921785971443663 718768346400834643 578617799980599964 647229355558917193 734528799947906178 107083417359211638 997156475474490225 543076001463766040 864982032337863879 189452704733476869 38398921676523591 972649306847366793 911333185864095457 640828943484220002 827142560267706013 269916621356666663 641890582538691417 51934575291795577 158619317305302344 53491069150445949 552994744179491620 831286127483652435 588205859324298509 912211079396375470 988938597024519916 520130103793345323 576057538857238059 183465424821306540 416210785893669870 841529274527230352 808021016866739301 454789291438101883 435339971548157180 793280274103674126 941021945421755705 109636043727873741 254994632304914360 88962833577293716 397569211849386330 181015602802811005 335745212765453184 694153845410458685 777352290289137683 279627196282650362 162983488208656010 297866726092879446 57852627458664617 753028200654307219 115958120070209134 972386527536414438 393114794588000972 259848098625294920 238879339720399368 174988629428886594 240420862220922148 222605841324244380 373994405123410531 891217597890401369 858941536295564958 152538360569194821 865685983857272593 820357515975325903 670792130188794534 71566709401507881 723996188418205609 449570081415599932 553027483107375136 925267334730044978 801104445790102088 777792329960603858 110671047611044997 725256691190989738 552470026815296556 308534011887627438 924324517113138096 809907745453204714 810987732360965083 731717504134569837 602925414129642917 967819837930504052 90745111874520379 800415540153416294 95321107488383442 744065743683384112 417660591544650466 608344481584294765 95030331803332953 850088627596014297 512788182900991549 987735783323740945 955968084151394352 407182449233825989 290193508156277587 662272424368542402 460685823784471356 748302182006321424 835034365277111530 466335838417053569 77969238925591030 245514343654789054 810671627918483992 669075230656492571 879637960395380759 329556622082588053 75672574794981174 940947516534199180 995296333347594719 54872799139737310 986993505221260387 181685500832967257 913435852655345384 903638258542065793 134148910175354932 548246431895009630 329484800806757716 238010511585608583 57792914701844399 137130008974011239 664807812320902231 278376044952661219 432336003059109199 664218999011752914 944566016870574781 184211733280936633 306567421738905708 606075601970371701 947284284703278919 128918196289594542 402973628928921977 272568409604024270 803143105457996997 858574854284194125 228932031354301058 398878907169108116 48910628768379164 448710773133228147 651668691501895399 392091890596803704 111047228425492731 28905836169411506 159401803986124805 336592529721461185 609532487174085230 137383931610353396 44370037108427449 957170760566684885 899159300601824276 954740438689416957 819013312477465755 436975652667393601 104554549852974334 251869144252938696 887664766039547896 201677612384754201 654549661963424275 477034602899834322 232533809194249173 337780400243705077 167466219700930094 962779727822045742 463973121897695288 807023914389070002 809186444855438377 448284239233854674 291191399017413391 908078632600196744 661133266426669304 267392482652205835 662789198020951062 376129643201713364 198347773386509036 732080365220518530 772726690515664434 666510144484198149 768598816344075615 155673301335994706 984431417194632099 354097284395976275 400743698524991001 585803073364425511 963919225671313476 607825043242604010 186979154148011515 800672697983766855 96930630208916435 258705663528657305 202778106694531199 414971625244563357 550343723545986616 286209754714912975 33315688739243468 849899857828767452 169543807281546895 808660965091433286 610729166222656317 7254124621323194 325711576137212935 968879717547723619 698428373819151930 913166295234661869 705256312371973282 976101768664001614 372942664391883833 430188001869290293 920559386369990775 654154551958800495 610888853632827960 939122862191146460 796287551077051211 268810044062248661 537129037329939890 577486129665894306 984609561154886690 193987955418630086 481505540287992150 379573714337756765 222143548651218391 650775879210753522 221699453047332772 630101427224926705 870341666950351468 53992765284659091 928183265078479299 810858063453156824 88768416197311241 566712368518709328 553247231399237095 64818740537939541 336079944200410576 782892853004948855 537272946821039195 282459176715890325 715730339060204469 818603252139006043 108427742011011497 388276950863633100 96765097576858740 281034678404258943 495459845488379719 527202396673333108 317501275958311638 807710978135781763 119015248030031272 852614587085509024 794439713425366586 679029812794491348 368323229274385640 526743514930576738 691518052172918587 910440331702331634 579302098776125353 844742173788155574 957603635192722923 815300989866476121 694932973505504385 278987495759216449 158245490354829650 959965249398870800 403185790103038207 673791288955385369 652712659275652375 518891389158118606 790090434971738286 52201752090058095 158619200332129553 368575228583399481 451376736196142674 58765031383123820 883006530144256620 834211077172279108 943995344817684398 598817752198899128 467566193167620204 480112257273236700 530653841179638386 866347692212422460 619988629642810611 412416599602163139 227403049933024488 143668819224427155 152257155572051760 570430329028735283 238629499432374657 198310277853451589 670854003867383020 715420669084786576 13839281077762598 257841045462480463 321714057583013868 642331780876645780 226610876429255807 263902544900241393 915075411838245364 808241679137542525 479691704190917784 128215759946524494 956908310663004429 261701227658214064 728863104393042600 510254869787024953 878485865078174849 16755587244905519 982499845099259612 970756120424175806 910711000845950652 136145252884221661 702241076852258357 735671150656254502 33276050460268666 202224592992409380 982698089115508061 668113708581815163 102259730223538263 234898801835250523 395258760409734629 229076894488301064 62762310357093397 443845082208734469 479286488023678172 263402747536598772 78850216190714216 342587684106286022 330702072135234226 969319074720419498 980884995077723052 329481063600298563 11678649115024320 981997185906202685 532848270645393249 148617410310193367 422323145523061478 237935387312818792 282293761871391699 679474485490582538 960526970642368656 497866016445833582 622215562495154378 131668766796240944 374756302747251901 833960730135456593 443664301193867655 646490693967788349 245340855392979408 953461304421803057 124102481194602155 669151544505074821 342718674430153794 289355137045144582 268786158267751784 555377346790053885 641782733161263603 852440740529695922 860172098408254147 482096575630085741 923085990395523702 786845638773233734 746144774249336883 238629499432374657 722380505499521926 462258807036982196 784941888705641284 377849602341982844 389769699311661629 611931611658670318 244186269765229736 326654688636741056 244356341682147367 623542869836698265 124456449484791261 930318998588980988 762472686661373344 792327452195459293 269195726328289351 734760251556107467 28621351309693888 591137553349664654 149992226669289504 287423611732191158 445281792303202882 329646998585943968 595540646052592512 797642962970339138 880883874968308965 605547303492696224 625889570788115128 303295260820983416 35282541751767009 799293973062484572 488160282441654497 597940301547468797 318436895931042098 572692410009034970 316945968493291386 126318225151382309 240112060494237840 186787319825270561 758788892831977273 415326657169423929 568803178457678546 84114791370052216 736826038743287786 92155844717908186 192299865339036862 147320300552463347 318955898882888652 256636966984084938 56488179826515457 584670574099922080 854337891776167002 756205559021708010 135160255158279040 293457626960720589 170615668238581479 133534091101849477 847523878842223778 634564101082052938 315706767550699916 441421048985009099 799849386343281621 614098672265509687 268520034410271675 774730595668695943 122295410041046331 25811400989327854 698006557582040609 169376808630486672 328943604282540838 706800026504647216 388805258361728405 957233227902865336 254448960100734257 266774819530727939 801347965575547969 458627849122020660 982289869791071080 998276085391596064 440204253882879120 719610525715591272 335799288391023313 530666498875994527 246146724667384616 887136636910868542 863413964569821182 334482814372206373 359330033848159853 826404442374019969 383172134991696115 309161132361759858 482461030267128181 777711342951667174 14599092143651485 142282418187270080 737927091791794244 670136222551385979 486572355261645419 268734329249674878 3770473282394549 303479727606175550 226438736974618795 692071227468912630 918168555773095322 346822888624970494 187071417756585410 125114482674804045 464270004588733648 455529480141097253 181146243070143341 253936163885021772 928018684594743460 975178060276321234 791515731243647463 508351415885822855 212520869206402979 372190552442785591 507880398364146616 423679613625653768 190342619410536883 348784426283688794 656384129738896687 835557381346952960 655284625009030607 824830720105112855 432156423394281900 58552187302700034 550901838342127728 14067198882070144 430131771759038602 14228031908561857 477171078675008838 89596556421011631 601135586567759266 53268330639061413 288645547391668683 545611297963540007 406957842910774068 215327944920163594 199156946516131527 569043753438897996 217985594527121800 259341888711164067 926819682646894896 37103945860716531 805665125882053091 79097888528437935 997173544196864784 42258580449277263 303937265868807781 670138268562526259 873551102602245409 856847028125205737 164413123978712090 63920260892274009 9845244391021153 785655351446581124 338866127983952880 693308437935261346 113886840924171265 902528889709845700 405801126480024772 906522164551346721 971491847774490350 903260562508309327 473250317199046493 945780626824981862 736593247021509742 21815368117715429 149838325651267107 859479986888092812 494782838744395987 531455568869281493 41801878427658157 20744514221328012 136038775140084286 897480484856690944 870786450675821444 988369391753428859 282212065381496698 310091199681071118 747206082524422316 132086818627412393 909820594242758037 363709166892162418 881344084732844782 934351862673184603 100795913810723922 5058877329449549 353859568552916173 145793821999410546 72365180139653929 385390069956559901 526179953963466787 949740067544012804 558032585446459032 413924693931430358 812552879942111725 638883157632351859 694816678346076433 586183408305603619 235500098167273324 8184730742034689 953476714054576851 288466343464721184 894258303758990620 978677202260890140 330292727852103320 499728432697337803 974991910643008348 844377796541351183 788463721899269410 124844092573576691 9053626162660605 279180533627810376 423165787522093026 860190392441366934 248935042777175915 525622036181081405 457180325068228325 981491293746147325 560836558929383283 931275880959489445 883176940312449096 576394269105919632 61003785350275646 312829173291468470 441657263843042000 807012955100475818 836626161941694453 305298955012170009 831358106609448863 284142942625257457 975376126287075585 45959705445844490 436748771724809636 856668885467353416 781089138775270137 92494738326049660 181778221885634229 644987049968921917 391812557054579356 981037867694590939 27562156035831832 524369235756309700 970880021203430092 793811891998027448 924045103156504724 669688864886709182 12368449972161336 866155292443139588 350236541394007488 147281723736740642 74686581581028419 731823044981155732 156430477580140408 680358958160219610 251935487358693518 675005756510896505 303175255540793776 499089858882482057 135317249315206859 581525724036400464 364096855486128216 36554109976538048 860573095013922481 695825101724830899 830227619222536071 673921611739177023 652832126679562699 80476075092880143 386304171306021267 640375402675410095 91436234615958363 354718487349868978 134341387094678898 873867295566426069 336739257683624832 528297862690519027 465621232231618326 143550360218381006 110350625728052156 675005436880184036 352507138605644797 432488349535666931 278370692502283884 467516966103210502 190625211112954411 900090794258518975 783103342408413465 327317925868842741 234608915910979078 270197029382838439 688319151709359155 234596763443150226 873342689364955410 203633553792294127 116074143164499634 382764062143551824 918431781768723362 20127936572733963 814584640713430955 816316977740282833 99922012177485441 892561217627656519 291540471577694260 136646695307422174 66517515150392609 562358114566590759 542298790358101488 810962800311851677 817756061565963703 164582427808693201 408347794985941548 857991810349751007 258705160828461620 522900814303481670 762485336549775185 356711218588055542 803425329392611051 536868010495979749 21247988140521337 548872568585534505 21747960070685047 479378008929592081 808876078033635551 458183935328109792 126439910289149033 54598145121384566 23848495773542653 350236541394007488 407386458965566959 672853885183107576 62404458685695925 666838207258398578 959273488339735906 788250328731869803 932150024901912404 213225292838143425 912594595088521593 171743443815692344 360692362027395585 74066778226054526 580193563984664818 444804620907547204 592195744429189309 448364311758534496 313940825693903927 668919090239405292 412884350997520910 366168842864977334 702042182113405343 850070533927320849 534105749805522846 505462868460440183 555933690940585300 113919386120600272 309908763479428393 867234930167268813 549017144004354668 428006166342127409 286756285340615155 635926501765559441 607337074148501776 501097067616313581 214018516712467600 18866518984520186 259380402009706242 114429651085385337 313110216706500100 697103397013663515 749236599550989711 725356148880756089 922116406295454269 652290281142243973 345068468866395179 312821419484543520 377770497868917610 617620637678067854 318541335563438554 168527511707083962 205204468081462778 192078286580320509 954102113121197398 854638949301069175 756611781018693358 32132991840767865 990071940072641394 97274516578300616 678814703030909390 542405960256565828 817725730872800276 391658839428934659 162598112890010461 686436734273949097 200588567529464010 932186076967354695 455594077295259501 64473277088738116 204753190507851159 287598922616102373 86852189221215118 44997864844259723 258577105848348090 857026022019807571 249571003517067422 737818489036799441 968358831801776030 738628909513280368 589050936742368341 766126485681487356 505492221020485524 977545873701210599 820951863974476321 146213160668658856 881963544781658596 703888977313972121 842738666590505664 203683293017764777 313963377957668834 784192108512888412 515162436361371308 568103128138069182 945576008327697321 943647935483076450 756200412321499052 51206017799014797 190132761665223206 378741924771822208 726379850939534750 120409649031323037 53646385782306648 974418135918352500 556615828961552402 756597677885844076 3566432930711475 721614241393736284 929694606259101663 444792308632254468 36062041252451273 867421105825767685 806969419660201057 75556963214209093 542298790358101488 337145273128759183 872446231115483778 860243109554811829 819539455575871542 344035684103802465 934626175111911612 854716435174136670 178364697271166880 442654981981117104 527639437309845129 141820210509777522 108653173490264339 141636326471894812 139226177805916674 109636783360799181 308186629613535764 130337257911774597 942344589676458130 224559330488554491 149164659201957377 447579101041630541 1578534893268980 576808253997581211 121617470020590697 557144202838926575 778699028932740865 539608601728483506 669541527078274867 187362898863404802 97949821047365503 415216614451835220 162100346552449886 349364793250275521 819714580229420845 47378215759560012 459873339549152329 684908242895196065 570321226184201045 955352939353128914 804643737164438224 636788125456487711 813743640004340453 418664924500722265 607649353559088321 634531081104115723 553742458031949534 790650055734728202 469365481346877541 616085566121737508 501405807476336762 150161328144778503 544697868884241163 652067635076492893 358041566055746355 48927914349407458 53066532819095977 452881962526069011 508126798389732341 779865567829258785 841663924860918755 179851162457585394 859949246057765380 790864746982735933 456942186237786263 526523190336513809 665533916590329915 462561890177544216 163895462619845618 393819686949516511 308483852544001823 359287396846837182 341215554671160951 301090098718029166 955265636231312475 292170421104229901 705569997375330073 938089852418504393 584061209191600557 190750977994409664 518070936728394618 809034479502165296 531376294534342538 454585398661569801 330673969662569194 65374014260610297 35122695436825996 133350904555548250 52384616145549343 86360468660874304 560495182982556601 636253439776976670 981139315921241803 192197573500371475 669128789558865298 99100854893461793 527442541331620706 885524201024795495 7644452273491291 870017068536403754 614282712743184230 487461553582481224 333010690805914442 365712358934899202 595837571915310263 549831212088303922 658002346380413924 510252035112173887 579177739044025456 597259463372004540 430781245928163289 895710413718236116 454812579560585453 121050389204734881 607957146518703995 157548688897039168 435000094207909299 263474537194745656 406211876924601044 312122613944540175 693316748931829532 213412164928557175 705003866405640649 374217995032982007 832440557719062620 742089034702926964 5769837392447154 371381917945802121 380030526377379547 875179412105593980 545307297629181319 502859710554501037 167036596648388747 427819219440041067 988240275924111807 284972412721812528 335701971265334819 547699640356824368 872040202453719209 64263124089991387 279736118696349520 541741837562270614 189631763619325061 952231700800627485 352380761202153738 426782672095923324 455483727960372433 53597335559800279 936737774207360471 656881196913094769 633239649523270876 547317903666883937 378272623594568955 535480456970554014 360956056859518952 304013227437733547 894756709271527712 157779438041512447 268958719222302118 509264435724402106 345565903622880444 498008373588653729 741735509812184684 556567581437668493 476466236938990899 546847520550236563 344920821525956304 393296338125735841 36600742714123538 206843288063797819 443551391217257906 385050594028655754 438054325078866887 273046249130321071 337744965753555478 670109926382420302 983336279627067796 953064880209239888 386710939537962708 569099407816519165 343339249281602035 222461284645554983 857998768161986097 514742627943926028 522051442027741017 492839482559766685 399183286576235628 232908943803915201 116657151421116664 684575965521321415 672135539335573857 724185480939294262 331382784410965372 434726014501520186 769812327685574701 196420180178370616 395860710993376365 890482276142804549 605544100410766156 33397793979104976 304113403723901740 803143105457996997 363601040082052739 128297682355027583 741176383865791677 919719866738401417 271797496631921853 976866639171845860 477929134606567730 395946665586012217 444502331566177765 150954493408356563 897465552385483499 426089222803437669 551034973799521879 546921572120769497 240470564072248771 106268116571015266 778446034540293899 694086987131040990 712970229197459813 464748680498347678 233254075342452322 385939084959774285 615696598373264737 319413959631812077 40537768055195413 456407247613917215 180309466538826631 87032379205458419 586384971844366943 107871623424309961 203982102508535107 253000053065159307 440161285595592776 50333904459027367 551917826031601661 218094932551943896 583084140233764562 31747072543497197 230082752618805789 158604220041128888 492600324246759843 245242392279735809 438745911718186509 339756042655073749 430183201213834945 68608249850279856 789256867927760923 481606387893713840 425734547368037131 716883140260262252 647752850118361225 77944587443553514 331572528593052432 214875657205608783 903118319640936332 867451605264958161 131668766796240944 93516197581647528 903264896253059460 446691290810375066 236187739349218403 303903229502024986 43742961911499258 388139244236545102 51976911953586644 551544909613304607 592340387225783528 388292517907410687 226311214043537411 146228801473930889 101164738119827434 80446805269217756 594875922944019162 52012678966216331 380545050961073093 334074105860452015 450883558908311469 572687302727602769 269805530907448806 623682013201535500 136189695368182059 445995308971248302 380628382268904595 886187867814860801 853064357218883812 459688153286963505 780181057925057015 115000246298293020 432810678349045468 815025985995289637 368741209367518538 820316873218067246 193315459676406975 671072145050369025 563691028561760498 797730027984392082 491780717574936813 151605118895403829 553550934568283286 843056740882987061 471267076952386234 40687211344114097 809316491716014332 182429264150176243 852255513220533521 508863166944348012 836037672510464218 861478331574207550 503688857855051174 870702702384634318 550043965192585572 708196768993182315 578840319799642487 137000382204131513 607127213868286686 302488628529078676 571640332946262083 714033501798894454 426008088390070356 245847190218955589 30589134855596526 175226878016950652 252140540606519537 787590055977055842 494601717906042294 154993884509538540 131769452902909349 545839602362560262 917145434629625136 257359019369264591 269777681208963472 127852333223288934 902451903645564597 791902636760342307 35741057894323202 256393069857511870 288441230031840432 472204388007857585 982258947539330041 723086549633271493 932793706208891484 960448992582340247 293221822452248730 967315368656923772 262925327191541990 22676523820027434 546944422915114176 219058077841753873 101791344776889300 449432242547290417 439523024481464248 983618239190800841 292660920593209267 946795184670760854 548973325141646654 909832694067693782 890881652807929705 588206679436521707 315736501161266209 515462507007800397 429175414343310319 353984796758592874 790139824673849580 289080098581203045 298233587303646243 373237103775125511 814805268400059528 204359773548829031 743232195951171241 314784500150138226 278062279511069337 341551986864918617 151097816900742693 326569329899652871 834591695455020871 405432770615599407 896969754511789984 486272855280990251 191961557296253842 460317875899298176 231324913740756731 539335258967317369 429249166186359383 888442163400925664 232769138238649866 656620951281382914 293020948865696471 637269286381651623 823000292180024395 100479206805294439 585747473728798381 970765009346550098 176051025616448725 977633592211330781 164995711099260429 580285625016015168 821552785069302586 684148212682210609 916178746141487563 8661389108784896 109551454373904582 710991490874647464 723611282129732123 609367111786436843 350318364885245172 728743992846864390 617849600510807011 718777519474137074 96661092758559156 351353918983417900 975344519650494232 549120089125668290 113568309562987774 500993025331116496 289006085814367176 24137566488647872 840479516677749313 293497417156459299 589354833536143025 175700144828440418 815110713231837255 682658487192224886 850091963345321213 970162699391811114 792816561407835546 403880869516481751 455300435283487068 788214453485871460 968883571659353630 490532664889879142 180820007063349823 12773443439556344 964675253047579484 716079114553358704 589902876027421629 857660320511649481 933978639033905976 70294632471437526 374242567214389436 20636231003375629 337851464971848093 938006177486154159 199914230489157242 572617977770550241 709434814065202627 887793961472848548 73498709319946450 911177773457403471 296185218382487016 533831477537155726 104113049945100975 515545840450709547 904662979398114245 536381334197234528 197336025978889801 856883952298353673 946749460273324543 676664720973866476 547499847683953717 162884173341512802 939023127656695985 804669684889286535 941849212458145887 524715550143649102 776888577695115884 21922830572904288 78600926195890799 69054978330917806 430418411594704154 37093789995383885 696870061386341654 208522000324365887 947589719314015024 548648880132983766 753735924693467263 216783601253070172 20262966669604842 224940039542424724 327221520570543623 82786482299952845 553596581675394374 37576596591073896 629207563382220546 118258584727373868 509135723075941230 934696362550213432 58249182390369813 234834753200872013 205120562491049227 280392955568215163 537601518254157365 347841517336871384 942450181227514894 12102846654699299 134758289710501257 151391342391126912 287569539797741788 51241283902908045 988935667478735933 863785722138745531 159678051618328852 631766502111139290 447563914454588316 837499792398064423 982078583060414458 689153118279150662 805873608433367991 104608925069144334 938458133459625349 253523621541686098 823646447053890852 275608921309920015 206422596302644312 941776401467629239 182893997045553088 588035875656658934 321209688318814572 454327611845532991 38498988916929973 593601461175969001 181368542697283242 145666672153332321 179414349357596575 900779903820448488 679285904058686325 970880021203430092 172663195827191548 861291061222090688 986673070561764592 81015459040431499 439462343019086720 211418564297228079 233037204782939445 441425155866474307 2868652417802840 107425650598767010 887975862750865900 132859776114407098 158160702109378262 49316681326804160 865194129235348 97079497150017535 603789188655392191 406564473446177852 492531870730395358 954684039234127449 73905824668446167 417574076604124147 93423248942921678 385368382821964195 293491718080373031 984758376565215870 226367459502325090 887438081846347214 371080734645824834 646228809788413251 406243191019448042 496002737580019547 328296918526926206 834945305283906760 442565977933230487 123031935767612095 762463838917252208 691827666949229272 113313916004632619 104140574564517877 232826963258232840 844837351672890815 320695104130806956 986142424081863631 872800789961420711 55837958487154987 928947011663690790 164863716190499215 353519339463394776 657860307904866549 772373029946030354 772276211039194875 239041657261135217 142593718509907550 651995678884593128 532247823630174741 537674880239173672 971585159077758779 701201934958441507 93748945725624884 188947535405669314 320486502821627833 763428911649849747 897842842653234934 374419191201123345 260528623935594745 759166755129680149 537457272318460233 624881371117981774 555969206141174229 153245991677213091 567227286847432573 724319840577251072 42220005862855174 139492684270035385 574809269809660319 399562630537382571 531475365128385658 56261492340088149 859520544018817917 911760623249715807 167143450519994386 183101426323726056 967132577917037195 941147870008499098 31578810616916214 69444540485809625 748549705147602810 689127835091879267 803349922999123724 710118959142454679 719528012396115647 6969849698753319 507821122437539484 668381409411663917 740048897322082934 779388977697307144 994058518118493831 699892035109336234 958368917757902607 736086236666902947 582747448338140163 727144139556896420 730260757060751204 118268756615360695 92363147278909522 940609770888936428 133622760663457301 785648435802775998 523275202171772417 483629690788189221 683053667165539735 217703510139505892 43263189853924549 470265820235904288 718834826170788725 368229869971358014 538748812179732568 825643247103185465 154810896120283335 285773783543052044 763495332877123750 638889953743715533 211736776945069237 205158057172415720 922545875424303421 822649195521894047 345655501951206114 591415398989990179 138838927771744421 678651694367961900 112664806603198004 744907053453545488 249813849948451422 615528644237615507 851093597969730497 841749082907402707 71422705103782522 701670898393022114 686667136713868516 425455785805832588 740786336308924831 149388555589516239 832099372062801491 834008298957594278 347912175912133316 196609318075871164 712639619709440415 677976592891432458 567497221192545870 284319043303466651 146341257474292258 108609448737976976 584831261904802368 878137453174377253 390045146552520115 933706631511379086 340281259759459543 681039386416516467 637246107903297598 840702710364297006 712797309995754929 165613060789958124 964880041802479366 697599608575252526 117808618356826739 846321523679045297 231084949750774808 676928095771066907 779792814393418557 16156769683091754 105422521358338798 375086008534483345 651508584434361624 982760926601342914 929692661108026166 431474064700994025 163136402512666490 461048590650690999 551198537792456805 848348253024044384 440423030780361702 304821108979082173 616816647791250533 996238393830286924 585345108955325731 952275076669656010 274312402747402410 578385179381620383 129711895281370659 558947571385359308 988467098858124247 696061638090257240 702645729970736615 525621597150238560 104102082965506053 749033171643027531 657109633958292316 642767340406817671 71745533023538205 238251495395168896 461018000086018365 299006767474510797 211164561016412119 657863474625383951 634923828949131087 70127143857058718 152354487201926280 538275408154058893 596723748599149357 676756319283374229 1487925561348067 147853663577364146 741493825651150538 448653823025743471 711735373902111776 969570724980262465 569305988872888263 989081532813297492 279606101138028975 596367747198927783 662854588320525085 512906599767823891 25646353031268973 708565816075678635 409448381103938008 288560376808945044 675526812567893727 446823293010968363 828569618119119022 922524414652310047 33313915489910788 225271981433760522 137113746964716416 267873433529519335 671229485961378046 989434012907014257 816842225886441022 995774468295932807 108153193134502408 534365816283382308 81676666065718395 969510904845816412 247489170528114406 761524605298168706 89708041792246347 364975041556792425 781717603441157843 656652813443839749 689736269662001 526212220775366469 751311546022358271 785841698316117255 926173161773979461 671381874221642365 476233209716142603 372288035360905198 676477408534404336 914253758772580361 351001705304790402 532003213803504017 353916902892825783 159378657790476096 484278501105641315 589954326678571420 234506833662042591 808763648405165377 840367739185245270 249653454406295335 399262351371097791 976717209665773898 624547961425576225 433155474789166408 620286435312463234 118711642230946577 676496043966670201 448422965667717428 9849181557430189 959310856560866340 993116528842057333 64720068229190376 10974199571867437 960526970642368656 201530699413730517 801989171931171650 763556188362218929 827911032920639716 418484836551430404 495680329016565367 793678894503175478 863101746290767826 741577702634451280 231038803266792660 578973465060256370 869986361290447635 153050405981763311 354219100394869148 850456880564437309 617527465847947554 881590733994709046 564119732105861885 655756200521400132 456979781871982014 721806868617336458 643967082524170619 35175440747611820 135988166819844788 816725292539324820 816877393686138507 419522859041586744 629207563382220546 515982795385871582 906681689987985519 946512446898423127 826008860485330852 763343067213419583 200255045580008751 123641097475679481 461917806989354573 746762091990441462 659299318373773837 392128575825039697 411259313584391585 774821390541815676 182331040470774823 784778403398951543 92923095175775980 510324916881590746 126175524348391493 156860226558985464 434285537061421760 217427716117681087 886104421382208729 31430525705313035 121749176498596280 133273159973291395 370300567278134903 45554482531634427 928270061838162477 398328985999958694 309472088683570752 431838818105807855 849291462387716191 484674853672294068 805031107509836598 939883780844955836 570251521760393705 285865885995762498 935883482377302330 254707211524350934 640408849608083523 719287377425009583 998476469953646425 542995493677158946 635665523718840931 318567700597077125 379250021330567362 132415398864747862 652964020834543572 841933224978542965 15852937100022611 407173037172476505 591873341392728045 238781493340667646 378610512297267426 262070589700326684 58515697986801394 974625712181000168 486080541161406988 662450198896934607 740617523439658998 322921381423115492 773885326587427460 784041845393310209 320171434745081986 628618997189915031 803397686609883089 708877174358047157 61934030897945539 326326019911737898 912358307488633052 991884597808501855 754530026273531357 471406440328124678 30702852781969940 616612934563427784 344786490970021778 592796882418216485 953814623829280887 749293763817822985 919358385823996976 780982822450931958 464270004588733648 184202926649547773 96136309931594138 317180384987855826 111659532462444984 444607407942154116 286861238077619685 825460717621015802 461134504297182688 611745574668296418 796071947927540414 568728588986924662 549791137518467027 118845500998386754 560456124010287678 915796486500544236 149776390766592893 987563250156029018 192828747540568068 16019117399757511 550050154839026581 156530521985396463 858672308880059423 678678234426616211 325065496878364447 305315567025509846 646676347755844337 585699479046602519 322550491866941473 540105247873097959 345853000309704351 177151733781009341 865145512504058499 251254485467554068 665603948114827514 134103870984785356 156820186052709842 891052361345632343 845817690533165356 661617420848183052 901742366512605522 620278118832696 807588779086432926 15123960045365778 935279022891157566 298685624625354173 213794727318853842 545755675912171907 100795913810723922 210270173398139186 295915061379556176 402609570168558117 292193265232912070 194179244444031977 672027008422172698 410405906425299539 440258948668921213 946154767898563086 956259010064238170 399937563484813990 423770870923424660 598081883567457217 356026907164487159 506418938868696780 671541443256908952 499939112970884820 900660004576727324 779938313951033039 442855706610194265 377364496070737416 791734191365596524 233361394424883806 663843727124640763 444106931252197323 344217039901975797 616348796848203000 330463524599385039 172200182340009557 423206707197425823 766897245650991165 647309080470048296 371272394281017995 94416920893664271 223238940217922032 836789669061839609 502981096412716118 525793599533135967 884708459740341405 79186222538525890 864436823040475726 946767214434009924 374380647625350677 938931450135160977 481320324627419016 395797778436653289 3851716130469465 232106439948704313 819489989608598081 126593746635466718 189451191753434822 351200025954480993 789945290806622171 295324884693735354 137769545775325234 811115882056021121 120209750100485556 392980787531294227 248505799777643778 701919651918643326 780953882651256546 268734329249674878 97628461305786735 295755880772709447 589049240650847060 731873979698301385 77274528991634831 461400800568177043 14511871831011402 363299641799960708 705732261186754412 474992170534893199 712362418142477532 334789798722820375 909592067032139028 219469607106686220 361906543982750265 362921922825602133 950328849538549936 727860628778160608 414069751115878681 713227595381836881 53210646732232459 106792909752189888 968587503093397333 992435779167752432 244269260730059752 526592596953111335 118172121969425579 500230854064750629 618561794352035813 659589917160717314 551496772418229140 50954313564859259 610241263259127708 624971879967879508 681199604367863659 614379751621516788 994890050466842122 180821725117994155 199449834363388091 428909468388099036 409826984040589283 675501255751269317 759342353421883346 383628634237436265 371308952444685720 516257102151335255 251119276503583053 209702055892676015 275049107875565767 415894333772836103 235748377782652978 752108999408596256 917928928676692302 235405398139093702 764981257937626790 303336535461675204 619345013220100027 184435621376597823 206992066473623723 270617762413335854 77205333590061455 373322251527210478 413202162606435707 121489961311466230 429136272952765032 674039429048745890 348542335676984619 360789489431812326 25887279030796273 121199137666244644 526643901522276620 761767545262673164 2328914641458484 63074366537690394 117392357048552920 898134375705147895 555468219662912248 916470787982455480 544618590752141522 983110561648899528 185727302888725952 667597181645958039 466524769057003074 916370418490580308 134974354191028673 58814338942536550 81389954504233019 196162996970456232 830319480576768043 101334823386475069 936451978781533346 738451875607406795 793369265098924082 366264567820622275 553615986150284886 292200916046709104 848618819568085726 882411256842212067 152792644894184694 594537684158352121 278302712920440554 78676329416882599 614371594865764381 481897369488092948 698906541737148548 695584170464499058 839756007888643580 830032231670393040 965897057891431272 865467128972612852 140666698051789105 465142184386170925 909113546351669573 855232558562951931 782238824584383578 743855552713892337 869208528717542107 593117400101416932 241865869804144416 479036927476953068 136560927433593010 43487381541887313 369087226220742505 591388475721163681 569989341590823984 918114743722067017 128969892550593613 983181992637266073 445400063896037787 731669274984598937 559040270970154303 872684591552149407 410830143507437592 490629430633528074 386891617153904949 181617912158010289 613705148140174205 112237446299025827 422894760718776446 879007024312828179 981247755799163227 527442541331620706 184042704511414241 477746766773728435 302844218412704910 64049007343680728 323174884951086002 317782286726996966 449256341781966439 423584173473631765 138753899166419037 456139118213765709 71321426857051478 656138956664203948 737016453340154084 329611637552569391 914953943444812013 8265587057520271 969691020567183807 373437490162455831 290230309221704952 414823200463450456 30973148625846439 734597948303840733 931410679266582675 710247624761372862 228412823572043617 389269772296530851 300558844357768554 638025473138306607 475525279558792583 183213757704333573 273592820480733158 728774224513668615 264619047382135749 331082425312762583 492372916647959201 404370686942214831 315831462184484028 639797856327736567 483162359683396381 609925254544926457 916295586842251514 664255967443231232 133588174286907784 417490260712743330 570669835658902927 323488132071859011 803857698120661582 600944830761697587 572176060491993862 629347268288606621 876462206297590751 490630253210201174 770092920566809788 591438676528910730 331347172961596278 482680801128985079 229014694439652667 380309608621037951 659175016635865912 704970430766720212 954393328085211908 637238423146026960 893006210072640329 926779855628663428 553245985646680324 811727588699150502 116180246418126687 1849159691221378 814950101144438806 926183335913051313 824618960179112012 784837836125096433 551837221402066963 218218611152287567 741328077544540381 683357370688175885 551023213927838304 510321030561351350 127238369464993574 104717170502908731 339844368010856455 607687114313657661 969549893151506377 220182545284819748 829534799964809523 656516583219198813 724432228427456248 558255319703567320 817966587688423308 341815694560703772 232321471083467661 715313500744592014 281543580804726878 857098195435848914 746146500761613406 587937040698917681 744932177193026853 937926837219185304 740352487072816687 65129341839457771 582541145672143106 820903629093968462 764879810016186556 212104293846741096 636159313993062720 187924391107147531 699135153026988996 462557309497754506 244672840360745652 122238565688478949 673264661681514096 294256265456564812 122717288948660542 776485858385836764 447189253532935190 110227926398952607 292993179422615354 803903646442677862 61014965648456611 34219264904883898 675024388030658456 672776028927373223 10173319084979668 758235351436887944 692142339421072812 184010747999849265 500984589720315233 479286488023678172 191989797501638655 903330893366072217 555029666020109844 253012138147204128 751877315462047677 736925906343901359 792608712723147345 786790252850023893 44891012042428862 481334151108319363 241338309606743491 810527069893412668 433806755878035489 204583496215965233 972950648287633457 929148985353879882 756262274803449684 136142392034298820 423052973938986477 643487432673693499 239158459723013601 227951851306244030 676826899957467734 188682054168986810 629926511770371666 241638594494909263 552569733651467206 703599285759376538 27292421013034461 889057925520922012 610149810032870878 662568139230114500 344568586924671456 924592897747649777 68752469791384999 914393703107198279 959173383809282545 647454022294446325 894918631063601598 339837107241561350 734047975137618710 748029382462771548 38726272337159391 513001910697823221 929613187310057351 865581360929081982 928047625356980269 641243409565574069 650548220507567931 220547882812536293 701704368699749741 248932155640158401 773799832384328228 875990916772799974 280492545311091039 617367350358016990 927644681025821276 768257197687943607 987022421151523192 211456620439494909 913932653993317392 624998806623345543 106089884914983168 959278460530086833 204040248452192673 68538690630019227 851734622461746657 441475465194099607 389027682503671560 599510281089883311 17366977051401378 250880708676249764 179235724763303930 765649975572116619 305227341725574672 852938840552389041 691308719506938681 658919931330034873 930213460380710280 526641702012290775 488840884456722378 266523602370679611 919959388441819340 324518691872003361 831365621138968955 741275500799747871 568803178457678546 344773856272320151 868599386430334273 941330554928886054 259721611098904415 465838745577407521 330603295582412711 470926221607039819 557888473874820394 910248602768704189 581294597762463008 802354154064295645 174731691566795071 4089928978174223 277070896531872192 355854795020006745 514770335277169955 43902769388790053 765231066911319646 688642465686571952 409117707610301864 690208904117921506 392290682024403973 484342586782488385 901558313804921669 613008326380213928 675110632142528018 964870757884728926 274732976692465198 637140853697539918 871154984291683951 600889932534214954 599965201738945204 368987473428386247 462127077489638342 475772004007243406 864416734827504585 725167152948109246 725234848457706354 568766825902423799 88686376377450848 775299391526380439 116481527906479078 818306917842681399 399374974791024943 899679637405999488 65783206706617239 484240078013767080 25853253464431620 808003632864890667 554679797609369835 643356355897728915 405155345241451745 578229872032680539 853947539290669533 371088704335977951 337113354935093003 300258889837105309 98508490088350179 558118321634828336 42752272647569685 113679817567113435 72901327145544421 290687819689589747 39738701170502162 686521620366140903 569962323025256797 496668486978213774 960526970642368656 245390379436718764 89030403723009584 363293389058530729 97729295076512045 835537560000080716 907637961011867018 778451187245110823 229290682680515785 38931573620749044 171725461718515550 171602223537310165 181492761779611848 397769257450430931 27031777073779868 889187766868011528 963032421451210065 912984386508594049 420212789848193381 294733589910271009 983498801398121425 255018044478977064 751154837857527382 43263189853924549 169838600383885047 293713806514755553 726253780758934433 116909073286892858 942670869136931184 633644288974800462 398481685056042885 191884179934104099 271380193357948523 178315104836939467 254065248633260727 941932503340919027 804354860084328693 657861174100716888 825667254505641119 993784189824994178 110239139104835878 623184089519113237 221699453047332772 219056771315441203 38313714201735342 761010277235151974 989996086992465377 396205547199961826 454604605468031367 35666639257538476 709484117303735170 560718886857708326 83480088825076088 28429277747128859 954100250458377910 421674481266597357 706135132494900896 795031553922160565 901962243942467275 75009568075518521 571818438899289094 550265267394195164 40100567813077427 483413896270701413 129262330386315082 973827160386157246 234608915910979078 506188570426283618 200258693449662771 858750924393445606 728324847667355444 866688804036611878 391176051708643046 741470732431356068 129958997281221110 245702589998800859 393986308696556245 754696342241030971 105256528994869866 826941760282135662 809551826768106518 844035372722941176 390668385016167838 353493848631845570 796760985920917480 803842547212550514 224396876344162707 192939397157941912 897200265271248647 208608441917698218 641665897873822933 871584837666312955 720683025553798607 426978664919771918 670349768581364025 569204966393512764 306873607345885709 981374404082016248 936765728993546951 21839521912046157 637464460267200682 681109560972196553 624593024079918339 649286688012112850 366988335143020437 781315029655431921 597833431272638406 743353025551682961 277457087306251800 398090910934942867 645575365781107916 24181665509333310 967345021248787088 255672727122143562 665152050633607536 560763011472382374 365143253305007491 235939847582772551 488050657754327185 680721445426410898 348883897265937101 432336003059109199 148943761106091649 881835023087917195 335076720376717554 904026734058040390 926646314176182697 711005894330656685 849306043692982919 391770399039556198 958351506393649158 54121971334750521 697103397013663515 77195059482425409 646396114061334589 871951999360189135 201135079544627560 494193364289379278 583572018722630988 365243611663599374 502039842338403101 215349863881582527 58490591739846870 221328556576975882 962339290524844642 797614052555580624 357570362698656651 685162828464213685 263563460630217805 202422111093772556 974950472075911701 756977496759310418 453423694246822806 782997780602521205 684452724479766608 53268330639061413 946361081159799507 965436495511521596 78753761140932167 780107214915826785 891543623530570121 256419038510949401 224285640020425132 750992458797098805 146861565709696517 672689475958255028 610785216514454288 744758626708028585 400280453711690245 725874696357098148 501177748277503578 208653427727769095 309667070651404724 925828499742516874 816366723900642070 890698732469485660 688227935494571740 576042091522519377 423052973938986477 696385100343964368 477858442372042139 684351232017527620 2113491308383940 285757109686663197 985328005504993612 572103992033553409 725714860220712000 977541609555281584 345344541657782499 801402392792373399 375701227544324534 836447514050830795 960362577535948981 559255854967908547 76791368580958639 966176705297305675 861291134985607080 766662176382844965 673852752093015014 300728844516063735 777254567450820370 669025867693952081 683106283949769283 747942573141848072 641100104491509468 392798675199916415 375792065050226854 995265521243553935 599707891076220760 240734130796146422 115398957447584303 940017559727976860 871731970369043924 676072165397046702 966537540074358187 970092126596393830 43653741533408955 993449188511608821 1637774256416664 921497098894339062 676754681260881601 458122629134041403 150166680461652897 669700349173332975 265558833991528132 666324166123520694 357786271932076827 785579206808218132 764634462671407985 907499206397982614 271375448270776744 496597059440137584 520836398392176971 58818899801776571 766267237738395999 274124811871744375 446732418188610499 111289662988547907 640518401303881149 809218785264645704 183656823631616900 310504726856355925 650798749403621841 110675632210239607 131918405911204823 818527802037157767 408339883315790535 859129609270087295 558326329044019288 448343494823242297 877205423396028120 176148435882777140 216730783480459618 865771235065957032 288025073371733809 165813016784219469 154384706452026275 637200304939412366 351056032843680663 975274432250461537 405046097256883197 887549557111979976 825223821740228906 807312212787307214 182178734986657440 318546389400576326 232265805982915026 572373128890231778 843930735032660099 989367299473424318 844281779389351182 847661164761376880 284044258384785861 825084717894940450 684429618114992330 271695647149248276 652551922967769930 325202868971507439 918878234441725622 436358494892812948 399183286576235628 512988044628885158 430125011283996614 151342020996199887 71848488982172894 196975909467908153 935059033837214528 674328169801904190 467702063316315385 236607464677407398 870321038816958196 395247109814327237 522446391051660186 641928989304482053 189663603781451892 796775192937244582 107470704705238407 610345904523923712 891543623530570121 456592223937685562 664493781468885064 556678876737669717 311476399500469958 939972739728153064 622628407296084938 178244023749247233 991397479780013836 460770286294542079 932885623247183882 708077827881119449 764411396047240711 970834350142064867 382099673473803231 888102972219750172 565863027847402604 968109455961910827 653910866784811650 288438508935508505 263499646838178704 214643456806229676 632884163581926175 664129437990177079 313315414318778806 990490621335693667 836096514759935029 944390024765592139 728714607536178328 513836364262585747 625233594804885145 274301933685307646 658311440672134813 494061803615011745 385669324637277930 200031431399255686 967438012973625499 105644065304410618 484882385798074059 425061610641586218 545868802906250098 430316727898877369 996903758381414703 566393007764773649 840479682477112165 102822190479790066 578924318738398043 492371486913344237 544407066644781033 953750263408963520 690594296461669435 120812678047285118 636070604930084982 515293966827696356 442852269673090670 253043935320393717 852206432288316825 95470801866319651 466502723429483491 416660107476830187 622739404214404144 314749861810841581 939089168476697337 511731816356606207 879015630234699611 427853524509365807 655413453407834920 756893481994117027 679146315778413056 378918148833349029 368102622200989093 624129061278968924 208937591121541886 323441687307633443 87365372560166581 471609322084510160 65052628497258565 293837182694212282 711535185259457654 590684709209894122 377221217193990017 715436710353358049 260288991678908014 237943680860088902 388567605651062030 221566360568180390 964591921702164769 776245007355548193 568733699492869140 499993905929063233 662161506925544662 466046098890002373 844680696559427624 150944045443419346 771524555280331923 65126197317272765 727118223551642719 572202581554465552 674312513944392072 751500909378706032 245708954942481494 648387330582273680 660743707889785339 314906797025074722 929616763957542304 831083544028023418 390138320488406626 665756263321639360 240472136922986976 260630005558053161 718498463238771269 883357998943060177 996899020100078195 7229447200450638 105431234887380691 509611466542905221 445162234946932042 47350247010440122 340467427458193686 680770060508035010 680409216689115493 469365481346877541 481870295576230584 937606804989382529 972388098409781309 91705893560483733 472230679914905162 47211442259879922 671738958126634173 502602991652207783 268877377318299856 825506368372881276 261576281566756847 726899303547862791 407626420708935000 954624391114026726 606898142486542049 544343900402017070 451343882781780149 819810350387113516 401703493285095534 316402507616240434 705948753905804222 977119224533845257 645694776817511575 837687452943839154 217508464033911308 381337317892705990 475629157015353943 37308499480042805 715490292093052498 965803083512119308 400441114322743293 418535343798989696 731669274984598937 843283506909479457 843600613975962827 432711289520078271 71617372073257398 722123312766347723 631505628738219089 967554905089629866 418609482633686726 47971908879865176 48378834765741516 8830605323957535 267002864447281630 406483156206629560 721733816987373543 486791659609609416 370157160897664429 974414591006827342 718403398259762338 876083301977085856 855213503097747373 415705526172027388 355916161534046734 190063077316948012 437394554377860939 555080918901063979 369874405644316716 70013981631816027 67534611283130292 807223489004101546 632884163581926175 644272974901576985 471091040625725266 898516351284827696 900394390245563175 816626305939630458 728100048904803303 378643200633018946 741876876178041570 823363302849667087 722132883658012006 244439977518385061 406078293709410516 922522719986287054 16331472979181838 821454012027514114 412496810758726444 591392019473542029 3878550084782935 510680690224304347 63664217474641297 542358674061123277 452664654477498387 157529653794144636 947438897525530600 773085557455889809 171030347605534252 156402497431121743 658652302101018929 742735032677871559 759145138948177245 46537597448811376 973808192712015288 913903547305257931 814159917109523355 271082592254222143 17511036568526536 18899958761308068 322069888963288276 381649192256281041 750875854258373871 25254726433463193 945948970083050701 425981704033408869 445142067359803723 568142013320297322 840995731053416886 654019920195350722 65469141999654023 178650754076534028 891651931843118001 771755535962537352 105326543077975588 701299045720128147 110498424034853150 614760264641916934 102058426472979278 747037992111153169 530313134386951303 404310689673624218 930799332028931056 597168903084214136 737630345129114112 246777610683666171 69758927546252945 758455483509131366 708754567421227605 768702790137541044 654960411688984285 358275846352503673 277515332610153758 475168258539360696 52543924896866735 943711318153462358 373598242198931410 722076116147803818 822518614987570642 592573177149361058 537758380115080181 751643409009333780 296888566522269176 31764529377829151 82792229589943411 280971941209861460 275487370398087791 833513574512139761 910741514165519539 398991319018627016 246015772499328929 241459366728575086 501808221374029510 595537773284864886 2296577071231354 319395224946239704 596270952779574170 153812629156190366 747104948727741070 718734423588330991 600228064097208854 711712896810343259 135420096730588702 246787945611432402 67747076595988777 319727434088001991 684430155721239632 380280743031592056 926624139760752458 347097287888266376 729854993149831387 741132163136603873 916138310321038840 376227606195220616 524299954098492286 423206480310486253 607565821326489945 670649616796217034 407216909316733950 503021774280915222 284882816257772848 940652081639781592 250689201961329749 359109190566340386 364541922404173560 159444465427281842 508986947919604608 846675137023008568 813189836093650369 246153300325794320 648159046392632659 402281496649382487 508401883562909078 562771317502099198 578720110443888998 984389219612845958 745107885975093133 107433642945394930 452978553064806108 277346157089611758 710040423847145605 753457361820360972 9362739476841565 583414597818700441 742830359370796840 910342879563695128 752361948784074798 401617117741011013 184207192333649883 981093130877610239 702132067638054150 306004033358766012 296411363084684796 156214663547785191 537791861021040385 388885204851073470 481982033381620008 783393097473981042 801328978962740353 799117321793594336 872233329956896748 884027891955783930 32510798809246384 210812054538909800 122813426404327978 150075241612360838 863339220791710617 723567872120450008 844685646639056517 213407941570879008 328960828953616027 628033203939304699 228195337565535731 356426510192690035 132995984818970471 490509174337741283 367920584062032506 607961449493569999 740145012565811887 811447479046511864 524749811946304856 970296372382360243 54862427116432439 830249788554253347 209419481388507390 421261096873280317 356224919131664427 393827529614739534 67861227556614834 81308988887803484 431597559372128389 34089955871284456 343944207411380286 731699969446097514 679807756829135705 533572217174571160 187636738911733487 939941323766538323 640373862146805397 184614012634036996 981756257775300764 378316466760141211 582997332069709119 739524435197849298 781566842517966536 196771504594470195 775220482688895444 924831619821130722 377396939969493314 30353497001263637 584604603844416189 158559842659163285 646567036724196713 307024466580519839 530203390890680809 372912570902214377 530530492451688175 421086907324065241 638844174281207228 9695674745393581 854853674875532069 933272700294063123 498712048435798907 11905624477317449 806998158375930460 610825664224164064 348671434571180858 392562722227001078 131605635030269797 91799518466379681 585884953069913420 657494714572537735 724323786788668279 373241966425445914 644003032848401978 503108539323212167 718536942463534828 177594332214326516 18331139800256935 70914076562058469 40226025635039056 716976306489587305 529460119546763200 546717853451914711 930175186425831393 646773679656234010 965868874970582326 328582697603287432 701239060111471237 741166706902875041 459941217895532068 43886054025157482 213652949181349254 600033578896331582 971985809787447687 975633328051570864 200920824075394298 971161633898157175 894261026115211349 198789711226062077 997674747764735812 725944517032554701 678615280761431228 251293578821121446 952446799053930554 337958367246939791 732277047977379191 585579699990963577 662576637802694252 863566907538299116 706606428552961177 517587362995588676 555641996640598192 709924349080868606 900678880932804004 656516583219198813 722671935498072290 664191746883302267 686010332132584536 436046208437655222 924980185328746472 924636473526497066 270033849213709566 580401745264047876 480874435767101194 376930344611477530 269547644633462927 364194331225388418 152680486416014481 917246608167821409 297487571297598441 722183839081322046 375505237620603169 135917910054911347 103571512249016104 675268192861965560 853565876396790463 17541964200091586 733877523757962877 809306992330996408 522446391051660186 417509766642084764 357348373216511716 57710827751959991 204079805324784494 135003739179315950 744677338359022594 112771873424958062 146750510927408197 142824235104414048 879251016234289242 402420830583200995 328236406279949496 681026847237275706 311741114429150649 483938267466000820 418490421506255153 871199513167823255 562683756329293410 187728636102230480 374698147655257292 95195664438731269 291927503029540554 934906550006195708 357549093570586418 986585517847983473 199679019536504730 736108957532736389 873390647572956797 833506247506313661 758156572365490692 969816777711674876 443410344649844212 105674549143951995 689273808687269608 69844667122414580 287834536803965226 383625907582576416 918421452712157913 686929444640933181 408671089781621596 544744372382435718 469969424759237197 197624632055842090 831809031484507558 675987394611949961 776711632675374268 392033710373870827 725016177598073627 752646949897050493 751408091013832814 293896338940442518 921609195224644003 804506365136455555 609859641498585749 341006277352533494 984973821442360646 682306284693286097 627785110600043873 651951650118493451 793856326986121736 542161661670651273 734912291122575670 619834875086435745 270693292186826187 76326498245230525 230700057826708018 400018507400236972 701867925891621591 65126197317272765 273746652190129961 51808202843560944 160870681611271897 726032985471624521 197045814634651656 896705775911077187 321638488133168159 134396763831978063 507199392373568713 586600166797621644 34474852346405102 764705107784285375 697762037956767221 301369345386887054 647169096567515962 160988339588700898 242542422496897231 422157569638264272 656644406945307793 305794944146684384 346131772840640401 916804879109322794 589346838088517076 257154407238601643 631624900282148781 476731336894807298 715622358234075665 594060751619968842 515791811004213251 271966460512467489 413344139050282557 711526235121887962 914541095617735934 382298524651770187 285223466708083399 523773179085422864 933538102905069714 959327473314930839 108119905717677412 95010653458682074 426869423183008393 22034708305846 83381651744866355 621064763326164781 797517435761139979 244850949217563623 365897027030367931 903809758876742884 694028314258440817 318539213813383218 394685988595827640 28994771481063992 974921199339372563 239403395311007801 323731695497031834 608264935688821216 165436386939239280 18536929593532738 831964538213567163 234942446262839015 243105722702532357 541125357788518018 417966857719805805 536384943514953717 787718463227711468 788215154321746669 485639483870666099 326849222537960852 671807007327616385 504979479892988596 232522865835071071 872824883205427346 514344002457969311 185638999258775710 759623195310564993 494966090222841601 708962535330839399 970654395039512989 286512284817191978 440254894051521255 946027065732658482 9684064231702364 449602148660185513 727318572189897009 747677077730453662 338831817111391901 627077254654218323 201198317202710865 751612533449546364 136895456572546087 442788001248859538 119820230325678406 464869749757171001 374113347714727327 750794472830698079 418598097072355465 571793862138695939 81139453851854428 247876116447790969 123264054625036700 876114677400872122 387562764492818137 593520212453135831 651026057904085888 138358086691283781 412546825862291121 403754350052234392 434069659811697320 766350999902424880 854500138693018177 291086568333014845 206060878424170002 157716166833507742 914919841526568086 211712761184788611 224517102014857693 928796286520780559 934610908697812637 466423132681087720 72008287311550958 443691087747851321 854591367012518614 499127796424396108 91364285750516729 434937788330232577 778069380365743503 339482541651073551 886653717795344168 116009001945624397 995898054393269469 207781694666862041 908877859629728001 119852664152175234 457517813775374499 499128136726829819 666848287460880902 497093559066922571 794292046825757491 928027790515255858 833834244104189214 442538115476520887 285396845610340934 133114020936329982 400258338056509934 69495729335606449 91303043274642627 914555986825685158 686754454478799787 260712727093595610 993734331837924122 551562049138629425 374329900366009113 256620274995215424 797025998488569743 828049128095049078 929488589765805010 469219638139975754 998474437925049607 748579409156568224 10473279644559209 872362522857853482 377509227277879685 484852229198651663 127869546774946163 302073863267286879 679465415933922866 265225386533739872 177189672362644260 826939268089794832 482645680115275533 993255674032976360 312219520204602637 262011817718645011 296701288605422926 508908909451718461 382324454582656937 231610414587421714 303233586361093945 128305657868975049 831241955431331990 364472668259037227 920109311901444120 126433055513651508 575268984389761735 738945267207267385 709084656324594030 341058518752052339 248226802343095620 8540803699600707 559567196350613757 320815444970441356 402009468108646939 465595221360606853 775270694818503568 369654664483047736 372156309058919185 451420085954690988 927792565963732428 309477143561680715 825184627775771652 655555167015345992 51003851118400173 143491071226243473 829376769468153667 654389691674757468 72045205721820321 930276451309040963 869990096172230267 187193179799004591 833776129139818131 289634084089356611 143753122173861501 64703931605794558 541472810661438022 932333801827337220 91237068377438783 384891254233616816 319324397934659477 262658951237247020 957369810278073297 714534024439599583 868106229980628661 85981171554936971 110621122883441524 665889116348836504 517989612532025949 661264791159197611 426023692181885956 48708353280897828 99978857160050886 395433501607051751 273937278475237741 942936774608501023 108665147273094950 153550049714064610 62302873219346274 651922319611355965 835325737475775994 258289191717661557 190697837643069760 432439787646160656 915330068712947801 242826764234381269 517944468365386695 504817227443445098 141338182188955271 100547219739556425 659222400816219354 20596229311105300 581000989562710342 337961625067131128 572657719387402387 375568059645989529 711332204994152347 216805480581320910 451870263655481839 213222642029737329 85887802255814525 752336941904431774 427731559727630119 670623566075198041 76199709362886960 776317730703154392 681391669159900788 546281539986957272 953051201665059621 280700788058069790 634092882332554664 271562995026345593 102980670613933010 386239117500576937 367987642916885817 550294912070653838 579297257982338008 589528467832938473 120977911099851533 227979162461493523 688441999197790647 622204050342603752 110052659171931404 775393137383188105 772820089456338319 766999419348950172 800858917055032082 834991618383885056 376602235519205149 571032867660370831 316666115449340976 462008224512670399 265081068951528006 940036875223700306 810783870854857351 323350760004315150 189443155950891610 69800783547691143 144357010698714871 16211510575139884 663139258533667310 159531919803941753 798354390014368942 189504179965376523 952982592570231870 713611959071063845 834502534117713447 587873190731901447 958654700192962976 692920076819010720 132927932379815848 403940094618898536 878516950238629731 914265592770194553 632992408464453433 408270045336172677 36887113849551551 972014152240711096 366483428396328482 947051929959609727 79976778837802050 367932228852879843 747900502557051481 488222554991090333 704246216830961546 291624058824405931 54135288305276246 742203849982163356 325755470574481384 200503477555097659 337164853628974968 317098565934384293 973917156874213184 530152831343709949 756981546837420156 127654149040118473 122371580839247696 564665561513088601 359123800862432707 890821521466531336 34483994308440948 385083313220277745 739474632627974386 972240827183421987 220656265721828081 417199143544984906 433433759251409657 128753857181133180 797095212745930101 362722894908099682 409956326308516995 966302412270243744 777749411151707807 329227872819334146 337679226924524346 212106055626882914 208226689376732149 61807072820686599 355083412093312310 942230648648704443 194004780857823574 534762770746964051 448140481386956983 104785292126181095 966962758670833476 948430521812686770 464635862317105583 466086515267337573 412076025174303121 915419230320389023 79013651169381407 126681340220384339 973628896103485819 315067550310552468 887556678254889977 463702707966205511 592876769315682342 820861696462711702 430839685379691471 905195420308034674 268796172688643125 522400092464452488 509460620271278153 574337438408576911 187300627991445445 793519029208620814 784781741482587370 320281804289067628 227852916396193125 589289016033008626 962714457230056846 247795784828965826 875452721585587726 5510552283623972 885529186547389438 902591729035263392 803975371751122372 311525278847836709 844550400810096892 899117253577633032 310013365936537117 918471000335567867 487140304820007241 181955634263610785 188123280312559634 224413197421793407 196604021888381008 510299747640882954 576998385338152930 292836339956928659 912999679404858256 38066011593362344 556079958167397218 380064351003291728 300142885866944998 174472724240362828 898513176189366114 772998493206547207 643975593685807701 990739297986207001 896582702343676403 14660253488916554 320259869480707433 254797863177580184 928472705397850792 388594578076687972 44309344136027000 869793261714660736 545403990407612928 443572650178233224 229676343772271355 369328188468367780 117351286330192379 952306787623509129 806993054909864214 306199552793501090 601542691771219457 833679054419988593 153933717147145272 479219998024192638 901092326031531981 447223395225967355 173715852381084544 838433637323552654 608906799980227131 826933225793800493 809058360496056955 506151061308081533 616135185094777816 663186928974344749 997757558958362536 293207973219226001 303369566524189160 951676160275275004 35535855669195987 767919407552627251 47409781737826048 864416734827504585 937276612302679996 633348486448539316 944975791779037760 137054617898437174 664528310734192998 544359108274738316 661611881530507061 969314193818545371 962074645995623626 533166389461096902 62831091721375835 171577298660746861 814936487475339721 962830710324574969 921945771867653011 735048893998591029 72861151729312114 119104952496036513 861450893457438940 338093172314286022 605667818476319430 84620275651517769 71770700217508655 41901200017242164 853357150356598061 25880128692110790 481475697918989936 817600179803519968 703437699061730040 83759824291013146 985172622433598844 606909903526498399 597119382185675291 215747657772337051 68284636685396302 46580404311549786 528343143390132704 968091829424428735 84577383310363757 224693761004764705 307637440096661673 108753139340615931 754504584111400557 373350103354170593 146599926134496597 478157905482903213 470097836352311436 270203036985780573 697086477108909847 413454011292464259 849890817474186394 571759487415269483 853934601841949847 206116283709765759 855184389510494272 706210810711159878 548397981264923777 80249966672584648 111766389646100921 599552384133220396 465012652796899548 929991911933541789 792947917776234220 35623228729661323 359276030819504956 13537986391037886 151813614553554642 833548840416174441 391918862587122945 722076116147803818 728609934072878139 482879239538556940 773024681611985048 844228206100285030 368766733279868372 605874666610832227 997946492881139695 972827993256249521 352082405336529796 963326348259630648 392996926232101625 346977829592207778 543536976113247122 871945894487668756 867181283942885907 449759994506008548 964556287716360602 388194189829694928 705118014884024509 44146531183865878 848113240191014973 121565950659273213 157276706733964210 131862053859985872 805583531173790705 42852773866023566 372305760137487167 458678037312629703 476745559115619490 874134358824451232 638204039991085371 371566350540100763 34725515007931910 717178421951763072 404947902771579494 657277597190800343 516241671721481269 290873471889531875 387431976210716899 888490754126934768 137560664305253186 704491957206345327 261239990342210005 149649122464466725 365362892129163610 927543651125956512 812601366218431954 721390583029544224 939400056254389560 93728648116049732 993200436411612384 937313599839234820 477894743209239656 95374087269820249 345130202110575960 123399986846011665 124852878110278710 235686819632877530 696475440741053592 295027028085216134 871665113675542134 437258623540100114 186103572858469949 160649147948201113 387947181151334104 997053428492144651 746167017635856380 734160379070856208 459026915103058564 308747357273076801 545815306661263630 120639523358375731 790835217902605587 73753799103661052 109253959428641790 75608303673140807 507739276453501536 597753564462916409 686398966943948964 472883230819178542 672460188485966970 908108365165479259 771841136541918821 748645665934199943 387575733312301990 197797886729459246 248470569225472192 424517021292607213 948765037165323528 178777203088730582 454368198790197615 138748511090792216 354831962247288648 545052369291489698 668187065007521960 367128522100777410 939360749642114051 539812133588596676 390387738055390465 925928506207650844 8443808283629687 115796003147172919 204815049268656003 626806154222129415 938108864694354194 37942975956879555 381729004580752101 217272371317495125 25744037418184804 450540617235607994 250670098203662350 370157160897664429 101576508593322982 427700404004367119 375130940777200679 104859987808502257 397694639410081114 191458855978617809 278880253842494269 668590788119554867 529349178000218895 121910382102083601 370979921183122243 156203854207988742 570163646487366694 60255407543962662 360089886243057446 625635507720561068 388221328235954125 376966241579779784 188668903581943759 721628582712053943 222891047922655277 364028238223744466 224787580223728855 599680241991834715 48427663781674525 382052638376839131 330289236745433507 389507985260641454 163734149433465100 275206670244966109 129486200539782807 750059662452344445 436440677944733466 240470329546983568 878443021264031352 289496581305435736 957192675758992044 310580760816795905 99137204117677075 366555174934995004 886935882920920074 86916679860546964 937527454540673717 183524441566598225 699916311287205730 236718530938827779 334103972190006307 20920696317249196 944516642747572968 563350633351351248 849531199695328146 903915207850771623 213067551965854148 769409218622270042 31120298430737960 372704017026299528 330069314289920397 634216631524590622 825685468453094545 231485412188250751 158476396828320755 880735962775666423 378721044043338593 667372313468913981 824981263879900908 186076859022961313 720162008754523590 338951615996225415 641649435355700269 74573245430964836 639293796017406670 696401886034152828 542637714158128369 932703817576029972 211148904591515118 94063332635963047 90196904848870842 80626892020208908 975627015364612737 585622470457564651 259504738881045728 366347802335215855 417340759927277698 428820535196308173 855511034116316637 979125716679124091 91726759090590229 759199112670018843 159850282207914255 792675171837820859 978370799538648455 522121322269431007 45459088270171799 92036103164555194 561261665208753535 268648580534567172 777159567593821180 441202998941425137 558201241164322726 567907086047624368 510188123264688512 988178226058205363 579573662294999307 621689784481204169 39955201338052479 251714233224036817 762254652350842334 643471664698617413 154908860697666045 333659734283652631 741428321992003039 343292986672139292 553328865673885315 979347587408056150 805632331461011750 363659313769958038 273301108293059344 187957503414272319 172258950073652693 868412156088710036 587624057212438823 45220589477809753 617725188093110766 362474752482002143 770335248332137735 528290171153297001 695062077196947687 311782939406553781 286986799866272879 620105784152174397 505329692845810922 129629081190757421 815459671924820289 460759035947947983 367279784637840032 690033411394554243 53056224138303491 764321530602571281 393499971989072551 877482269776512228 959303325313848511 640702422657482073 727016698499758261 38255462514403870 351676617898534503 127563219902530603 843709684258136052 174183548062173003 191673189132333501 170720028796652351 269953725522664799 495418748657024450 501907117229672877 970356600133025684 11902633163227950 700962340530536645 252146162764130299 899634221682945925 596126530893229024 621761857672227829 811156042598036532 9732526915422797 78540398714689596 487870266919070218 678702104451957467 622882423064511904 565602602255061264 367236972896636101 692065161516977591 368933544958958744 79672655889740253 71763586182823285 68650192359066213 791288620345800856 684845266309849289 620508462542789759 60329004244352295 435085227245617868 202693057776928213 539010183688093102 414883465391047981 368723494958427884 867354155890834863 969236645470304210 239544859842880177 47266377791220057 953198784927478130 990012629146556848 104388905852916877 133470507485631441 945156867609814723 935149608001794288 872864885354271844 673957568092807147 948318198858088765 148305322939256500 604353751576752013 818085677225826185 28615732931869226 327515798470752363 689388032935727506 661592719472998726 233965867476487930 149928745641923004 219222276905767338 961850314603477820 485928683811093070 570010089798660428 37700172585249682 172344347546814816 975357975186038351 686198821065927734 576978933284753644 290813719358653647 395241179338236891 590689814896233584 911704664224224498 774157580418823549 275932854919891462 679744783811869864 769324217859276699 193595370388711344 565347810359712768 351150899206607518 135258440404843087 841030113976774912 652529084282730740 660812281538913393 20652824067499998 637279424385048409 749329279506578860 538233006726832288 946887429044521578 634007611616753519 490565153045134798 581995343605542840 916833035095384920 487922676675027006 926221202414883591 378686175032094195 7620846156188249 72939571214070632 780793912606632238 608452358769474243 960362577535948981 872325741595051116 293874826336329191 651347013948269674 355874206131745375 791901698254012509 839896908651005238 186052090334674895 312006613923999774 614636217965969729 746144774249336883 496970202516835133 369125563943938996 850492800780206575 502183907839215135 471165616714009816 718335213990414814 866293164688213807 176503478773774353 902617995323936697 897399224228735061 791174493863307121 76487634215330895 716166444252012944 815605069677179391 851574740529591971 400666626758235298 874680902175342225 688152826478048180 294909914010844124 944555721696100172 761434290068693623 659184995985807873 370998685928907341 628985958218320088 274422110835775498 791678728044892431 925833862418538370 651598566725904209 80405741696978417 802523305830390821 817880289845418261 102819793818725439 557126437692876685 998557297701769878 877597864122853590 392648844402022257 973602774362446372 360235755051381759 600106128310396807 447375468498479237 763909845220424725 274565345793879400 444170848846778588 424736912290715864 592931525224668333 235123415864407865 760671297709971332 304166209361252032 592011096958505440 443283866779212993 997246724993727934 940801017935801227 582655497111860482 778513865380646339 467270972242379395 807005959806101849 412504970217744691 386089752253479178 885954785497288868 311729255381214261 753918326130752871 226478273004685280 536058943308389805 913556412664711966 314243346750298419 618991639376233819 691566045019465658 337441069427348763 761622588432018229 542209554238365920 83640727291910056 669087468604405299 641045034589615728 296419123014852561 140146080302657039 491094465295298976 998754889737547160 775318385935161960 540121513735829361 827104520025948590 96406106971261153 339424491202544317 877697023400599962 47638521115341544 230058945747725459 885623795901879350 465142184386170925 804293901322341583 921234966258830866 112491356538084751 925890964209315457 495566011556361350 437316818025407178 856571980351372838 177284938326226271 23428895710664902 459836806041510265 104276554010124007 718881719633635766 871050912213851770 793358908934783060 438400466561423774 902338514183506814 167271557872655087 455727383211025965 480898823607531169 478845682553000990 409773315641387761 994639557579828353 622751223742186057 288271436640579526 726223393562678192 394378694698183220 688378199034910817 242407564664613226 179302343501740578 158050854748236027 213043215270178414 518562697238969583 956300835414443849 423313790853865377 586678848973648769 292235843080346398 134384500112907843 720368124286603825 547880076837440928 208931455307972125 614817961279100117 263895046341467706 404475663064815483 947980316288062393 90083444616949924 345368380949570212 137363146344338106 600167546573717020 525246641110730743 442504367361321982 287978450296600220 756992102344647274 455474725253625846 67080354259747474 905617966548038438 413200747001462277 13497230484692332 371517073796451460 129506269693850471 877228617898482593 71496891827431122 411789159559794288 341401548332428290 126064242098353263 3829638862421811 456540357624720833 603640859913742363 61520383360382169 253051165660870315 18940043884857320 431013151697431043 694750804868927942 716121148820254804 12202622026391736 578683837189267555 722298413201539502 102208561105965826 390470421671983749 63619599328060184 511957648873577287 200285198879189459 389674650229907534 599221781001651646 586877067202900588 515363920970371271 475855112867931087 615894188977743883 739080652890166613 400366664513506038 563615354249362826 852933279375617532 899863902382948705 168711272371482145 561805527957057886 929455487061479111 560075727996501922 232938854593626029 433865753735013513 512771981042048044 820140288052404248 848396744178389793 985067294082667542 516499354161628115 932451233730689289 756159007746016759 97422779566990855 493121647046217383 893379154694514597 594057480769662044 149416158867641479 923490090835408705 176652089261027267 429602917095955233 1006652037364649 590776099940965827 385146723686029738 495415605581004980 748832164333132473 979978891077325804 55436229827405966 563600917105987485 126828063527472495 111269217570537013 552858795060605072 101602955056732260 489324293346804001 34762651434534946 960083129122895932 454655187100959537 541109558955153340 626532421580314158 766185850821375228 479364833381928832 866022112410626213 644102411178914758 57474731938340496 211679710638457882 302684747309592137 704100500311766427 596161168200136332 278040216091420338 26033323746013059 892313497542135839 105033009154197283 719993411048002206 110684988926764661 164714922875125671 637840408156932276 740722154318608208 179296895824766601 607177629881999981 110720587497962243 379130178063239292 986607603524400003 837272996701782705 876442080845838734 198252418051067819 706944652985826897 278566427412367441 662799574074486378 402313349084813331 188775473743745136 797652073988803901 874616196607279319 522625741842057571 320251532801324001 661129934500299654 502100984942025850 38863472009616414 311541982935534719 769863980050033631 100780386961440749 798235608179527471 551675019611613072 560043268923145754 120562583345313625 889588303073458564 5667912390493199 751363536548442248 649445203759187405 741729154705013062 805255362876823196 473799099278645129 149925036063918519 770318788854697006 243858229177317002 922190621680542012 346945593561883342 843689365980518637 229705108292280846 565683352612276939 153304159021003401 599016876931983456 80495943268958611 435545592735142199 952071324328390124 299840244218471568 635453553158116846 750036190218446021 762999292881659203 307860928887814656 984914281909995572 802250927953892939 625227845952816319 310859028375626886 214705269246119579 196721383146537544 981832359672025962 216459884280233434 188842549300817499 967925578274328130 355168525877711615 64523732113355441 816100276774737908 437317635507267986 781536130778386622 863612150663752979 177318973573336370 461602273928834425 132210653850347625 392132966758009526 195768972307390187 111889163829459539 521328641667002259 712741489852781915 630217102800984213 844203206405310797 511687027106924589 700533704187072665 809569630013912245 459758772249681492 650134123285810553 160759766378326372 420741342054076599 111817562149527783 94327902830587711 541748596068212292 937162483890734027 686756269679435029 603870918596018671 374108842257089870 394273924634888771 671813522039610437 473479763071739479 593520212453135831 769381954545971404 358288172042669686 656016122492689559 158286573221004397 110719527664089772 748408371921367372 10940903051772196 967830245158042095 10224546034481737 677747153957865053 271729707567663948 95000584096938144 174148588218121505 740123090416989604 684945212832760595 880771859511820368 605917834492916089 789848412520402641 250285773975996600 327271507638810306 31765833316864679 226527338507444452 637139213671117780 174339616981292161 210114631299328067 885962412716826895 575886327654433670 110539906200812089 184393046202235962 553617184749107874 890117866579719877 389190272082416224 400905733181367285 825641315392492503 644151248289549859 780064582131992215 641681166968055459 139136380162464053 110631056610531678 579438992169504945 657768027565748455 298325206921401364 220978504075662442 119376777531338911 702844453666676927 603547273753333391 318195673616877560 480501580983428233 678507546958158670 930571358987630396 569657383430469996 231751836253836084 674299580845634289 356987750751175827 846979745386124815 68927254562289423 656651441493626618 513808180437318472 690956131276467130 383754377847873484 176865116462580213 743723666969545329 828989310771640894 45459088270171799 204504137676070742 21677070540042169 607110695395575977 284114393819675396 977293440068791447 627920145600048109 162747485928778480 956856052146715858 60934879095166246 305283430998152570 998982196302420323 519195387985231751 364342868933123735 121373042123972878 499086849129049517 622704897298856260 4493714294532613 353797611278227288 751734979432714313 939390081683825310 405711134006721980 299169184109624593 402554950126926447 104709812320595638 379603777645910923 716148003756564584 368296685312219571 651850951818175742 55970075075421013 120479436271649397 88840326993638264 302918590749149424 656442725897884128 970826206065300975 789456573965412003 439799061285959738 100546128635251557 723019486275399994 310953752450736252 147276615008256223 402405375139294167 325862358019963498 342707700112973842 978492190833494815 502809506490275252 273797806051782972 809172213033940275 26835259129767198 258310642383497649 147206780941270778 49819002116033671 51410595201268660 857780648482155116 982000695060479957 48668972112471959 650709695858084182 89554863172779536 46700029324898853 118428198614448080 232233446439463027 803519216874833966 432129201237332571 725244209798560201 517113620035359054 133211663959446892 207567161323807428 24352811718963781 44729398326159714 27278523734278346 425422812622418931 993013812857644187 456979781871982014 778389744815447970 137132978327870633 685127217534764096 844008599250118494 419342837438082145 270178853072104741 210091247058906545 234858683173005568 284728278429481364 564051719757925461 242381031997829710 908004161122646981 861558812149949031 54324991711783879 727137565993056278 567527522563690903 821266956226666250 175374506127932274 536136387398111756 202016138362386000 29800444345880650 150803655976405830 825653713392173664 738474477020348083 866306501583948304 944657590260388120 894121434691505956 932656733599603666 731828141566781437 739023969451454530 438919490570472837 701861609456088949 966152556049039435 14666687380734056 939234033557471933 38939757901415700 574549235209380724 744327558712460851 228239732700043985 781715048705986937 35332002956563698 896642833514897027 69305345623911635 560029705488090721 827333073359891330 747854140178644305 657804042375126820 658007416412931842 188396724976446958 931210244429571520 57417990993446494 782749274935800956 242797316010129776 772988056242321908 199922804551248827 149538395410874312 234261330823852149 301142457153804605 355138093274268232 996302189759718385 121652040338992705 591537388407651903 108781618175303555 572862937905313369 483777111102275686 515265391731266286 412110942428334137 85622337798177525 301899273410059517 544912018229080476 180535409854741531 117438435398739962 792971985771670752 680190491132871858 932749987079520183 623175146953149335 496081956183094010 702040898325469989 118003359371005615 16844167615584314 774221732872911860 992681600887745490 589497785602988181 491281574198087542 207445403661782565 371989177744647142 451574567612986968 929279781596814178 45159501678212732 469739788043197074 465445825496239828 11798473596919234 411566380281750625 173300266227102003 315509579874187305 590138155797495774 672660399687830118 677478803000731319 250447492316848899 277163176588195509 672619912210483785 673248920898388687 213775669619386370 289726843579469424 309743501956018408 861545150306083432 202394023038458376 452605917872385 837777919876379648 546280492868155356 686965789740989690 794985919827870417 639635042413922063 582079865494572381 589007872217048167 281242948652761884 667733277797941342 582164617986476853 829610656280374089 416627852123400070 165973538742237446 446888234371311715 598192177211525098 980827234416026115 85585842215060648 689838388790549311 96873811214794818 82595627694967261 87118435697380235 422244385313130154 147337346777748870 604384850806445517 273926337106531452 19408234740502918 657169593754778155 618116380860950630 609693332471959849 658336834222594547 260050038989428962 986648429077228000 312036838701108960 20343932859747256 707408697771621098 944538379142251771 174361764977997727 57478939457224362 626728931912148790 607203881313993447 267888918153548452 412733595275192033 42814357806742586 598720356000100127 318094397496283392 888843116075953590 3562747827824294 711275005805138624 535749358122960312 168757305214828346 637294365274668993 183791426452023402 438500246650999022 84769600567999385 599090768459306264 220332600504514328 286097326751429702 795045851803586033 271769776918600806 884161484348219586 350055852568647803 9232650468763768 277132542381989123 1855849186684286 190338832687905780 392186081694224373 583935194056388352 768407665265573490 328545175562336549 310574277863912079 390113979673079314 9012352529631270 722242368222988287 878769738015863968 359036236604397265 505251056659655273 460536076844652143 432457895222592060 617685199508860927 539335258967317369 836433872232434512 211050400656492837 303438572677707021 424833021678884308 736340226758716202 253316610432061339 599157476514600178 349121669111578297 858993285963718712 967200578714955111 693750134308308741 288477407730496401 268373948013346982 369528014237748418 336028289971102931 257094272518707229 719528094511679128 180031871587535659 868412419574840680 504649024831334220 224952412557325786 570484294432675836 61453322193977553 993934137308729646 83992998079495294 660305829979111484 76476929952184180 447654108348972571 19487146817469357 924543739571543237 53782199177129084 455549025248193651 359228990318027945 311128928550524408 630938044312508758 798886675474562646 301324349318189642 90353756245518619 662209053106716012 441224977666102435 117599293689136427 828889957625368912 874571552482387064 924585694172393570 846055520079267825 238870023498328886 688811000978769003 643568549866878560 732937032544070768 739377789847215780 770011863011595000 608688443703822032 191975563573335591 752310124144691317 54843033528128655 663784733188044058 694395286114558590 650967073998167339 422298418947744848 187199567008162137 945879281815561492 68061758650745177 924805361309464546 520138668461955476 462542868492782889 180366277872480998 228148673940937891 77850924840982410 593685491260901754 462162169735285882 446993894223632587 683676980879342576 816903239046406981 238577887317456255 161466697113460473 555402917098595430 873552592526910476 566698122466161090 3404674291705471 353727330374100403 837078028957234987 795531820702032427 739777417484512789 387591674991123191 159016440100514535 606387292135471405 568099363312049357 183212108818990621 874386934195959548 960061570556033810 722507166172856354 477489515019113016 531435559360677403 745474875319769402 360012880627128592 987136708101210251 876085645581117583 598586446990757297 234130439686854687 989716863160972735 392921174861910575 829767001008333102 58600742987650708 204395173201631074 84031024934353380 404993959310680473 740993129797233969 47670771675707473 337244493102267155 846314231042661300 452619525612190739 280863971966596668 203850091553807816 708296473313549731 978672753601201565 904636915420153364 130782233285210064 364107928131612233 687631990879958828 761206805722700990 593738270121489016 127232229364721764 997737472123915057 665389643224371101 357690790715527207 144576843273983988 587777876580261597 18348028062245141 431196842763179237 372338811118620862 81739007868894063 648840020116836551 92965303461803462 24924845009054201 239124723476288632 320843471186371219 761225938613649758 213481644482180180 171369500125714703 79880865965137605 991164658144614817 68231111884319500 550536753273514253 117300705669526116 413809259104733628 728328417308826246 356788620809652408 965620253557069577 51701222675543988 940668560481200710 694549140257922635 137872951743601013 463677760584786586 698116997734794942 230252352702840248 709806335361862101 857107988147437024 127340908870782503 85729522474462319 823935171281060427 686170434974789124 394327334675211654 991009917576953002 42073132112097150 232609844220846296 174737522996141714 307044110355891943 695891691942766062 134924046364163817 971077795042425834 789932322660498106 814326321155125698 805543620106239189 800680292974955297 730919815969526773 698728906136884774 740760049172410241 570082088113425039 238941850474303810 547251500566056866 373700939979966233 92205542809762947 909317688002077871 960041682096416338 793717537853202319 567280906881032994 215009673973738031 947959682544365078 773971911672605320 553421769601162339 530887871948658821 460252261185065276 446663659079461258 556330744946274762 287010121294534322 953744555180682348 155055292148557381 807167922667442455 561055960618742843 739628155118478430 772546083903264041 530117952391723937 154401621008104772 63657135105739175 585747473728798381 905379285675668430 677286784049666453 561429314386853501 117037756804106406 633982831763313600 684948493401655256 924789030382364601 669952552648779907 723311953660086401 466423132681087720 457173383037183734 16148302540414735 566643281118376996 187977832382556355 164876469603944557 99715766037470564 225131865481837290 495865064437047520 599809678755548094 579843268213643548 786587153341702290 801945862900656135 669208530139900858 777410322543421830 777452385480067187 523335608398954907 824439688222547240 998772250640776709 132616723311701572 937681598790715712 102869402739312515 61318970742701413 808603918660924668 750417956483060886 164291198597986923 384821104553100764 217685801452966251 569906935533026524 838132746732980490 410228426651668870 855344745195314784 146164530771819785 17606897396781934 156147376485578633 581829130926820841 822373774577152659 981760849423698887 146489438894563044 64393213549274163 452067340441687240 231497139478362388 241261552226559179 777534517341664186 671281990357839175 798042416224093537 532435717102407625 816893541597873184 78584180719731262 751970637685802542 445211721373499377 68544424911729081 797869540321200043 689825498987465579 711040688765294838 943807674805140672 190109665443271218 539477206108787280 13974445594348189 940465414364285525 878628196118366839 584038988845669513 493100404181497229 890790717807558858 406372576924573839 311485109448554751 605698878505479917 630224574172024484 51873732836765285 941673164664441095 439516930583024097 746630999495842857 990504847091180254 326750001075805607 179493632170804646 977054998140880346 705735804889975514 739841872926001141 570089901175959913 732654985955457115 525372665038510098 632717475242823148 837036639622295016 625724162357892038 851986536804531006 489294543350973016 783486449738596166 853186645533527965 791933582400734989 812970433846874767 327627689486384597 280027010367916482 340138667208653335 424760658768163948 73644976925332097 545715149186043836 118943395367821950 186722428590423382 754142727395300001 363053498160932395 551044249885978218 814358714527406817 268935093713358126 298685202948571413 92225795770732475 439405762979205747 457763894118382231 998794488269468908 723434337720694663 965382376458679609 314958365946397858 624082941261130945 337451470225268796 481197749012701092 70975151688068341 253512536841364858 559595779218271650 666773175453466731 459351951932902959 30256068204698525 589504767846257446 185610542589840561 141551822241081922 48972759007031802 53389839376081698 992506112520763868 842090677995548024 809850096534821507 873199525282009687 136502454411872715 934863411803094262 675826391162302168 691654851844973357 410157967017297400 129517290321169985 620107848397788332 408087273414995725 373252082389280610 998647863317553966 918037674582614248 682712834923725424 305998209126779361 292441576719915585 607626784726775098 85318765318321717 18894602428992299 955051991576262394 391326634488150442 274521043831921198 552705135426494871 44581733163548843 998505651937655973 843320217998370370 708999338870575684 416691086240948334 751702498935029992 838899621111492154 520292253312534774 816003682290522734 956505541582766647 936691119973871840 508481943753175460 598070965847464971 640890729681241967 987563250156029018 755076571160975615 682139180662606627 343183950987458228 821850083527514591 801257605393733162 713377459388628344 543466848057909494 265175580807345636 311142212957159151 618688857839845326 368665786065708770 503049361238448724 730745273308345250 197156425537364261 12951170791959085 57171972875468779 756864907900615033 881508548810987167 152146168328640663 308670674050400388 449349016836773954 422433264490648302 297839928405716822 874341076491064201 812994012130227422 8230370072111655 967302934937600268 652854496251424432 258013500669580700 392339085488036464 947416360647612616 178131795629831619 540486670878827747 426688680381146774 491694725340327274 951653379589562875 142265100823586532 600671383288085619 423099091691029326 468302120272528818 832774927314950377 880126624350691020 792596457547618999 818281621508127603 394635175826467471 981759802365173510 731273991443575271 179079146748218170 443598823125329155 529379502647215206 542186879856681256 239105314051788586 62449364503463087 848989253386568570 51059915642272462 926796593076435953 645311399523221077 221970810019242372 497304290646364827 803595894105447054 423892566721664383 482309458604004144 302481687323153838 862241460464132128 743279444000635063 127556640987199727 927203838394760013 670658376099332400 635476942463501199 684139801969917872 10317410179008737 442642506796445712 870624336647504717 227358915960075677 174818217134434697 801022277342896136 118557750014910568 878819244145256831 555872303271414522 758236853124215216 292547767737746914 917311760006419638 79063850837396322 638540414330507210 770014573158151510 220653762642331081 407838391833568335 269852569851519611 377123644767086071 704839073914323790 539781779257468186 886476273518027929 280658477258475426 714322938661869862 436652089537295153 677849352430157699 950285894034212387 45298230081320249 849282231430703744 404881633409671129 126521171417736945 390696073040932368 638348436008861809 607276368081962118 800947286694391253 813087911585993118 145769889822771675 324086297459348044 596930550709308741 76343628561205808 193766537778878052 163646066144049638 409442778257777960 93682347440211189 369197478369020800 945829567356423302 532624483649647280 441041295834598483 244317267650855503 314149886271867354 438899769564397999 345527144623740515 937706366667784773 651542497456008960 18610748488666337 25133232056015234 43984757296973524 779350911892013220 620842934282950967 941701718672623956 585222215467746628 463608843703245555 803284551633178899 38433127113873996 330137171646948621 596057743198866117 104004144080998733 166348454715657746 488008550932418319 573135944737090376 81641583755613508 629954779637442081 182788188469982538 266732987884239635 589266478410138212 434292146862264360 746828537104081657 849654152963935642 4998671286277221 990659216123929723 245600771385083217 23687729158718326 373917466503017366 670412057342769306 4257820145072141 695343694040179209 906842681792169055 216380481663150260 36234688283065908 380202620650571836 649512991255420132 844847975008588296 249277556331194011 891827895787978588 799892809351566619 823118016418945868 336415878283052642 561857698601550539 837826452672371907 217261971858530742 556513329330581227 54429634887570106 68427508965169517 671487845732308200 873814497514967095 544389856421327728 476136803183156019 281156601313688370 132315308836426411 268378153454086203 832155664846844493 833014384704184558 725334199146853773 9545979578431395 928095947725694698 320718034528447313 23366658614909261 825103047798880069 626200430304195599 16152197308124425 954234900921104778 229645094489525513 261131120342110042 140430321680515635 229170274994445658 228108142273935393 790976472723882466 616689240480708290 493982356803109811 300205799315106571 59210544576413037 190366259381513269 21733488584830900 166204918061888614 8847304076625969 668751570358342966 715615530347224501 566167973950479717 762217721282841708 914355890932446988 685902845310025802 24480380267350644 158021859234085286 588375890019689244 827989240752722021 47643548488911414 347653410190522113 893488024318653716 91303043274642627 656980771643132589 110219194621026510 492820872772852334 410658740067873868 408617880387760979 499856791245612741 417108001386972074 489250271372809673 9134381295499801 517989612532025949 623536801195052319 519032941628031363 549710357875649314 840617936912527944 956699702476549598 507381638819486420 266615093908604718 969617713369333535 184736679883881285 813416866354305672 665217574668993430 316807030987684497 604127038678499177 566049133342726955 418357258063560079 230393041146180825 466426215477996407 722191555565312347 891510873626615457 603896375705182596 610478665582492720 896321378823544515 333650882400271894 184776449770926394 824343175912395424 764712345428523049 865768551892616437 601515130272749442 950774799226235225 786454981828365546 37761695214859040 130756144696209725 759241833903656112 949726856668827081 773459091235601340 994695580160451021 401389019537191606 445228272670441260 343757612717259453 269632831625665880 219470376975274827 529840866351612788 682364103180607227 428401471194983070 921954671130209350 764584354525178086 24972872877385438 327182012995877563 318894558223977774 268048714587586904 885507482254912377 87072947961826045 458661425691509657 563372518421921999 99585887470001147 896790415104366469 333559376637811443 623565055611892014 744960020757414694 932660011242635904 618087518162607709 554647057769413309 824655730816665427 535872404398175852 249519298878237935 41762069174833620 982872907987169556 387505766387615420 407072566451585321 258155149406824166 262818400356743153 874464358630098762 594534505660615931 255871744707751012 33312685940599069 503831914127754204 147312742343487078 249591907061499998 534980158242886039 400757388918969405 48503094530300593 232630519989947323 815427918041016489 285630318115113903 183960882846512308 272382458533701976 357201431393525332 807977308325656240 504175876045693589 629975588036542276 861432142688805663 339998159229248192 626382500824462185 260901858861336264 122449643169507488 840555974444341957 166717762490310036 115090209212378053 139756612318631186 930135270183046781 625923266090645338 504045441495240035 647981654022603668 219555312320112701 196311126219494535 39426333528955751 851887785669111774 161908140345490119 114376016435476512 182711283249785613 264982366150673139 574076707126332936 594148339736245549 380698265057183715 174765472862385563 296343067243354255 429440991337002155 809729085423288993 266806388767045047 837184097641098066 73921038012598297 761631715283821917 281010153994651071 707611427616855274 862685419141596953 432381865856036227 862230727648724380 854706983280270048 164985598855042622 635304536869344551 774056424847509212 369202177571636494 484016877854658618 769147137866657002 695608556364394304 781003446318094493 708073434379393661 45004971242766503 742434569320972050 667690028127949944 54156359880116491 173239530534246161 849889835615150616 140697615904589913 985579910560305300 62809268258186274 429354147940831666 444122043769635974 18155466290566847 637271038660583265 501521219226081341 168105365185001327 549208993485660389 643380519293266173 288898581371014749 503540246766846577 816508924738735821 888074583714600910 55046646637096275 549173093216081919 4309823754460381 424174398988337763 355518245849780661 355611438941493932 827992081374798079 392862091237965757 446624547790206723 233251685886378244 769888083124324312 861616923628528851 467808637645209495 330561397169981758 904288753819675277 354579503083157462 830610501937569098 288015541979323896 535331002168140165 282029259275140563 173878273415344195 22535247642238501 23616643390979718 857588301397788571 340685547684975047 134206614873256810 246289419795588694 822803701438016125 968640144448696882 219853877039874569 540835896826274783 296712053566105430 800767284399509255 690927595420165719 282808622120509121 640564059193155548 96565661849542240 587706376519425892 911030805153171567 991684383090292412 950372797685381156 903056676425680383 145405366170773549 509937642833250337 317902350997781802 555244544903979667 319394276388794142 885669572338528535 605381268262032657 544924216387916474 797980583530435055 482728579488630279 238638492905535822 416785535264986170 402291450271661325 610537255272426699 101085546817272599 783494576953299142 723502302903839270 550400795181826990 827321917292438272 321619253965132631 634613766901180733 243215068330294185 761015038050288231 814766132195099385 424763755226504537 929052426374127402 724999497034012044 335331934348298670 973332973793075063 886549229129330220 188047729701264838 112173458927763782 629945061294237277 266254632139808769 658515115083155983 433427452273243665 84781878195608199 110862436971049998 686659715781748946 508597649273867261 313276822977720462 233395576697734051 535721487669022804 385172739721891005 406709053664986531 426297670899886830 227794317751044948 875301046995839393 277895164050499263 347438051821319831 560133644055250675 406773534468217920 758607006624234216 57392735208404172 877912208290560326 839894988469052840 404801764596217448 497518441968193680 41098138303330154 665010183167643089 55297460542960007 391077469671369175 281930290399510530 96058925694863468 567284336249618201 739414640724605306 944791932452318697 553732929704596537 823678307304258952 387134542604815258 88183248654730678 773397588005418323 574196877409879103 44696174364515008 752810731902064548 922725562820150420 948068698667690306 352200985360521149 526503903606391510 981234504613629461 521236754334933986 5449679660896917 705012390748709538 773557381348166455 142889221889592523 774741050902406437 431773314542828959 660771553424906522 281921784766652887 634312013766200615 408595390855562635 649363851719424016 935045996074010160 240727776163162079 775600364165664005 280880871459238393 744292129731871106 512987443095254237 576200342421117234 975079757891830665 675642534938093392 225975963583477947 375884449110750207 795241996503654829 813503185462298983 749917456378386421 629258396995201063 719160860893212953 575546516532865222 265190825562011768 401618495481806194 780889182538604404 972852675572044007 18409987955507849 288313677803126566 19038912777392638 710725921830771215 744927354567831878 626896288981528802 792755058691394368 807069555594695219 19498627576922922 186208967751343672 870386874652951069 976614728771425333 15492937684177561 236278800548256212 232115225815589283 528583354583115029 229421051970838608 322943273545453275 622198613873383419 75767388931071344 57760878342509367 876430627573264523 803416844507024501 267595435588083906 565904549968409556 494712227679131722 842773842762968923 956250259391555404 684244389490172205 328917377436282062 165062095439825376 406874056143471190 72882689218981498 721643184227491771 718001570210466497 961196861507797847 634272578949936628 808208273628264933 29249707254722637 257643546644453617 701475982638190261 647212780978727480 460736681578833021 851561943311480197 435079540379015379 295714121163813220 316755369159067776 347963073354619254 875812079078654803 120615244332399071 876723678890854119 444618723488413829 669911846155282604 13509616488481739 61433715164487107 19024374876559067 565472950280171049 992980086503484669 23412782827914366 506870831408084696 946046677680762079 737028000096276347 96112793856466197 780469920613569447 995297182402265937 229761012428902578 180429739694860753 98623469498969441 992835939088954918 721042145483560472 94184441520218837 238261245206377327 837040762779132510 238172666463796968 950537879736924970 646927914604670825 264433997487089013 370152363285138349 627738128154834633 881089389582648609 215958708228802014 401221223665332726 536791089485174174 866097454224952310 763901491136524414 371680340981758514 256871663649772747 669946497427624223 303176289145631717 801098358042673197 598431394763457193 199743898565995771 670490295508929612 170525674643331985 849107872177945382 390812568491316680 912643197141175649 585643760591008859 935046385013436683 954645887670742894 477591227757026825 208748008191498630 196250522951391461 204015088190241024 675301042595987669 536127363003247323 950786685948046049 152955053429223613 329789547152807861 230908631829219329 720141988330870522 207555970839014811 960254122459049534 984161893774854632 117475824761484615 268635920436100762 126742049892067539 267994797317922385 328955042692673490 954945483269767863 36695487454578007 213620436603310975 32611838597385586 365647787016165756 843322157679092519 407918602720287445 16930468478857487 129967167304243479 436977512971755355 189028017125525435 405760901041744822 230088511616959902 461378065258043941 797454316865958799 31973555879369906 436760000117301152 65568995134967922 476469017758772751 345575196238059754 833328778792154683 337138523423368490 366329357127917801 736623384313327886 292307433906723356 243593836296213062 777953804010408490 61244244538331010 34778344834134145 371637580477468473 436867871305081704 898683035149706718 454484988442794353 414587933211019556 490835981697225075 39314381971802617 785758821882575228 882416470736930665 753305474613958326 726730750517692511 471651132155955080 211507891109082588 988566783325371820 166187302324639826 219428531161836179 529377053279287474 214297312601145369 836626161941694453 221976881914651041 270990800979692781 769292709136595163 248487707019847639 243856553825400136 199472042706639932 950223573480053051 720131015337432945 341786430715627311 231315739455541553 417253286934318315 188993139139024913 105596053854245147 183888401173349224 935979184016623779 663972660620148205 329154578595173758 465728689200383578 744436531679837573 192301834859449538 273395314840863890 899102469367131432 464746865690138121 590540826222263794 18931915454098158 18388282335969409 741833621109831344 341328799761814762 923709446263339161 500167753044730798 561505257870767991 876888701210498179 631905348391543418 961574876723852609 8049308488101906 953638466301801748 216889846740277021 290313744209762681 572202581554465552 49661304437583623 515717179550295121 534693680757130626 648502678195570680 529183136100068508 476046457606202236 734057893955694017 784176320111133534 440178505030494070 694144544347872892 698263082962298009 885121379232971052 79526437381119243 603973448778660024 318603400430155751 268992485354867650 613614210238571174 715993465200046220 815188054404531707 258043732951910809 508900710578285708 153861018285404228 148216357569602353 198029773186394225 699120687564951688 952583273832404737 354739511098550811 783413873325344677 571680934200029074 605273489019149746 655801559184300725 501674569149273253 548306514652067952 437145031583725333 568575057397276557 555951441266203605 803154753766211189 394732728783816863 665614268196596356 207291686909003230 421924596852056846 927797183587647755 142330554989394858 596378565065838079 831300411897069024 530111362221190317 917892012759729060 366650761204898813 248009762490885560 145256944991381395 642046440513105037 970061072988486118 623178918172277262 238285464896879171 305598851029319452 473902385060118372 869486480329514636 738297322077668117 732324097720950009 559227079038213286 642071188953765693 513965104853066836 430324414074339182 641780644418155846 339412199819714099 765686831559152989 923471707724512559 25594035532585051 555178035284879252 991120256314970962 392769313448041896 38441717410763385 406013062724549614 671621645375145933 103319977950864578 844894746500409675 323550670863320787 213748467753861084 477892403506112883 947424553672894164 223695687257997417 827574000190023436 383297129493799026 257520193684344354 617044523927113085 516046469206904758 83147878669391905 446864429428957046 790119523557237928 559238497789007922 578884582821673266 772324237091037798 942803155229105128 276765483461556222 18649207294364761 643968817336321901 801694761322390730 958036586043254009 352311437222028882 890924722325500518 113456594312762344 100008789205018417 819375406047312468 578720110443888998 412193601382604837 613324136450428014 263341365258311779 323430470600383770 176701186853045903 835041586926862675 542640871954628115 609887071472007114 765294383181657582 883330961006702096 434505123035924941 236208174365877775 121234697171485282 1268828597964417 888016409051812787 187792764695744356 101712304580527367 186978750619030172 416302434248295554 505434266610069501 871943129240930654 801407518721220762 588428500112829609 721651267010780468 675411195888090536 959740499812852673 790020825518974530 908525261043441592 835670869577864115 712493125783163957 865675000597956577 358581643180058159 432036440313699102 450206137299585095 422557279019778339 347916398320991616 270801104884343591 373738744113385771 626632483183098530 58403660739963048 340173924638341844 466056259130177682 691867572060710416 258898419279002278 272911307492342220 837766705536035436 372791323161963614 332362210922980818 510227365844330862 841185824383594969 191519534300843083 574692992346910304 233227537623606249 526207674870982181 543183981422330339 646794309199463147 864874357889392314 251484655001809043 663097525262410999 545003205011532546 208307868106564877 783699381203622678 295270208661329624 482374386746666858 500785697177682320 941326220959039911 801663399926656630 728297464969269007 796116942273515886 287915446044915988 370542190223155733 591123364447097625 313011204341400690 225555106798908542 926309611846328439 291157614181869389 670030951992471930 279251998413939466 849926439163497910 903234598966489137 638821824606067084 848862741462068549 872295336260966079 271333099658546775 80297429840859709 930525983159774475 61472075535658864 873536530301838224 345664769145546285 330464840659130383 173107791343429711 333234094441247453 140939324327156107 614008787529612585 374030520162311627 146775547940466210 927709449777913297 477419036306333171 216516624697633824 791846627633222698 429675957065149365 781733857606991069 891835015615334885 310291651872069908 825925777837454294 643033417987360518 295949462646957654 780232304279570035 968359726349024775 291213534107787923 498082779610173824 778852974528311187 890283795578213259 153695526579784651 765632410287617719 584159303682014488 25982462929303061 676261784721770551 742938803434690621 939416748240982122 339921272192069200 490704819793616070 641145441525320283 565643647779445128 341287814902089905 706752800467212680 384891254233616816 617153336354906960 213601330090667651 193636291895990571 761044116241279701 733737795345252421 728370114009320806 553735526820491105 221023496555024140 160274742965240150 245418776803430765 508472071407834184 591203746556293545 238165604050561551 687152799376331835 537478639418960096 377215071935409734 388784399864739356 401650450418939695 240941772408342794 340152184824739159 54160483490016129 997197334986808162 280956247122563957 135054854178841093 109516772582597842 22924979493581941 854820985751258598 384956083260046301 196145750196379099 790384012566745320 377849602341982844 240206878193153941 688263514085093803 595989221779915480 359473864073340204 118944572666537594 153639927834544142 692694865260286342 499557591880756464 46489667290104069 626145735102231038 215986099751197617 205991881931741675 17621088898439904 893606104867407568 309376602716471701 9625743891608947 315824071125509008 559054148736927904 500926177860465747 849276233874635698 873979482565738123 215257561073826263 749038470506684222 597708905679482064 659903850403938729 184764372468340850 846671498773484831 674927942264241901 999471175443330015 955547751919417961 856095950983473406 596739203890328613 578113768246312873 269205584336910062 551218192244170746 876444952847337838 529125092640005716 365519473075900732 508953564188873466 924290940208483361 326450239922603392 634331425116705822 136638883778190560 716299744547577339 359765143748773553 316161513465811049 326734917396664608 980275879063008440 956431544144419000 588800815417244908 513045721329334825 937057919045624632 532756854643785136 301552319616755235 993813031954939176 246021779690466661 317611876971421151 720801006794397441 323171270816939493 103367189021231922 840947059712421241 433719615324379365 311835244310713706 776510832219269135 515442172124931286 568156049002263655 45158739450383325 607071709564647765 964695530614596699 402682324607240629 498545951653491970 76728334508730653 221078402725521869 375313552594041916 242188781422962539 38481982212135646 955924929107056442 755725442096750420 302015001956086671 606503442000913171 534996308028739464 572658580647916240 947772371179427069 623160802640814125 904471028690541462 278644991539689012 4313546114701479 206912014466197414 58950644404372753 532025833274685897 307742788807003417 503794110807927005 384609189148479834 780181057925057015 951342745193934235 537629120247409809 341858040241406705 237185188877331898 8474800690277506 627013878571249978 660237166789101986 777574338594251877 303573577578328305 824690454146144849 758726748870496012 681803789256124867 807738765754290894 951945536968776167 743006227119788474 927687428127819388 827283201329801530 41921978570437850 236682735078731816 361477707501053193 538245762090821959 72925607475401707 484302408731732406 627678921855820809 408434563259463368 844160664450330832 831912860479029483 755032093991367197 753192374314336610 411960965453573562 4372565057484292 792028669337336188 237448112112547900 732816342754980332 465045149711177155 815387781774167366 697078956640684760 533926445456577977 36273804971006668 642527897054873268 737763340180816342 106041071937737988 491667977943168976 826708610433557308 442619790100516302 379143557932627941 195605873039646923 975961980682886451 495224282727596975 861062195042326759 116626977124127247 28752426653185889 821336456129038270 710339053960690891 396370309198451715 804380938086099054 792417935324934045 755852944827744367 457403364381984589 897999252384480657 678107234020693425 413060352143318836 563354187927444458 626490496053422895 734360480923521740 225514901650887737 574042670968003490 131765060159383601 973878146210338997 8261732632208084 399753602009906421 478459653682106102 161547486421660876 205032385954429424 60919016402455119 357360205374166530 803783866466370369 634577339647162765 691651679879303011 348737090115444265 973069599189683564 680226698257044884 763883446580291905 617361473538633796 347670208142394257 335755101668548788 440953452270600626 756341395868695303 720980218502381781 184600907249622047 142039599039070174 43504114608806721 251507509912367205 100518754061527562 332644624580246940 827930201916068567 242095008594046449 560098969859518854 485835504959866632 69210492223834515 669367633304139730 854841653612092640 693124291008019602 160279261716897502 800821893629522681 826642179687494757 965008596134884267 656991387982716244 196249241723628904 855971634661788203 209786992481173140 413540455849404680 757652172125023397 367606532540996518 219561699715983091 885900464589826556 212564507922630917 120173502526274800 305029340114795136 806564564803169453 495492084077189039 351467858563306221 101769737423648552 447767011796941992 329503604887916721 198614388256410552 201304781444564384 814263831771639915 315508952932758662 78765829866457298 807105012367940063 632569018316495097 647971187388935564 403258792512402710 848275899260880260 448272581312688342 483738636471755075 1675293446206271 34649816946639952 550656468138670180 485533105325277661 465002286559293794 351883222585893913 442044013678748453 460097329646081395 898464476876938692 99201221270884719 59491242210053760 889390701701820852 241047771386817957 117887676013370327 509864929439599371 713281014367151861 266716534992437519 126358720031920272 90578526311211250 845106609711272557 568023680560852946 210631984322242066 155023971630016126 147485016972337249 327688117885802816 71174835442287582 790129354195549079 736663731444449245 629150525571235750 252253742720498410 569054439664221470 583767711745804718 972969077234036530 255521457213436689 759057641168304980 326785517496448991 261660578463167077 250870594098545479 772684128217742037 189969987827794822 993094030798207026 340540046340914934 187958442945314882 340332652130353940 336901894917977131 990488707122220444 337468733687739981 909414956565766132 658033357647935629 811811902925848425 989858562499704491 488985466101783641 728136404292071945 416000269280881382 4371800821443003 705126722324417617 258308493000432624 970122441892113089 233763130041496883 779840101139377619 632671479657381538 915098095064840458 807179625610291366 644050359214683898 605545665164883645 597977556031477786 759986016401336916 414190227433263362 368297294958237297 874244035473981145 999195070187720186 271602445391807872 704312437172820630 835260508642383865 768766381972316540 65296872500125173 629203959023905338 291069568397668835 770297826181144153 675435725349885765 934581151615701979 933125572586890932 719613966359117202 173662955986236186 24693188223141978 210856505410572175 92791353677310355 546056806523152345 273973854534002976 341011179601995429 129733540241480634 208189120355966947 453393009829534404 395962715111058677 622401607461831169 874838257333762147 725628100292963495 176924946813832163 38992594038637577 598100145830669606 510017942916890581 632788731069023269 213377594693121063 637968799928033454 112722978654449091 434529333736371745 417636595473821166 376778724886481588 596064784076070058 50505370088938032 975574211676652767 283315566059244741 545989729741080479 614558789926699444 433726513737187377 976921469374203381 348783615790809464 909611110476517344 94990981415329026 326733071666625727 113306295292107131 478500806633801422 725480328753863117 803841518693248250 16397223846302827 849783197487269931 159454147470322645 588544697147326462 493900936169852761 493723184315646541 73229261704746481 260509204467509763 322780567796415202 309322791563378426 340131454109756240 407103904793443168 729035766985296406 678405067884764184 862917522078887134 820099864489282645 493164576924896280 915848296606536395 396737641447175933 217469543587132965 104127242427778880 567149436752051233 459753296503602831 661157569337797447 457708775461742247 61968574362845268 618700239388854704 269554615594310237 514029012370896295 330595596150269842 756881286203769966 822975170595749642 89403029766881853 473766930266755896 844788406909286128 391326634488150442 352628362713387153 921236936881773650 370435434301273318 437917305725012315 521044461273068431 31902520777129376 255592106539957396 785814162466571208 175991503094442496 672486870422259555 962892902072881191 608460177929450033 515203244388872134 597605658113907915 100845495056899173 498995605454866532 591586376898632806 310877424455062358 925543019913242249 450202409136732109 862185497283764507 969553992272634817 467076705117653282 144051611161269321 178787365223115113 783675519927131150 876743437512058329 325936861885713843 604911534360048278 112238800596152489 999869433675310663 512676845035690083 142741726495403148 636150189774322274 523364588465571970 601160078094371492 499460352813810318 388755156546613476 895259263029037385 611197316932481351 481491095875863124 797720702665831728 509868104066984249 539622071362710492 57086950871956945 524715550143649102 509973852988764539 981858271806447980 423744377614130643 654285879641403316 112699727425417723 656087464135843270 792212879614891364 820956069063806915 197011143439773572 265164126975680246 896591974219243144 308448474390023964 189605092456176563 894616922726760930 422348232825070989 598314239248637124 28828573395284418 17305850131189342 700759748561272785 315965855912321565 515755282595772872 802705767348978135 14184174903149467 871498319284658711 19913270984596500 690198263953043241 334245860528264545 454532269629426823 400779368418565519 304819889077588791 258374373657666295 148033731597698919 856290597868275846 453158227068946279 334464093786341080 540044446929567112 820586888209640958 461148594591469375 875541263467926736 960532678855876698 728307035414757291 794413084857553755 658540285016696311 527993785911123615 526030546449351489 195651228289449931 597658677328664305 519585174983517867 391785367671693477 719502028210558124 547867893386336200 708348427630699054 402843351943833045 19642974289477980 976508926081158702 811419060691613111 677359894435909624 60059411456090734 980864944660181501 589913656708739557 643374382116045992 218854803283474318 740789589663459269 414000912469330800 124351212017142571 686050663833342108 210217608746681061 123018286216339231 120762553377666500 14948791728177488 323967734819776354 149777846557083689 202979046703628895 846786867618563772 347631045450649338 2850952139483639 801250564571394641 359628867373676668 692250978897246322 338308474877321066 232511237591214425 764390559260870513 709051876334114904 3182281999529503 252259597883614296 469721669254744505 557522996814319159 695210224842909644 484437139651908147 316744105823626872 212488507756166119 979558707895138166 417702858790301094 278806274011752803 557809137073063293 853062809396476248 762977458184772114 220475432305316353 348158479441758554 104682104118042169 398069497073268228 207128761693132963 497451460124504450 757708285961690280 648157376583045789 455850336058420026 979913101446635139 335376608038478375 206460916134113143 78950208057416648 868624387861532050 502369763664722829 829037375490565523 91739873001605553 632591473585334166 958992639339491963 503353534500485466 650235925427945594 969812964308574175 74615232400307701 881227263393285739 438535565043996157 591460723730120374 310184997047230425 509848257883545274 815046429923665832 854442194529556848 422685561103724195 712797017954101960 912416476083306816 737328658371744009 662591965963686971 778216934128394658 195930540793392015 746407899836352757 813243673406916710 75156997194397063 450097331456138612 151561128970057348 550325388395549657 591178692372975403 997638804237930957 245512384409665759 522665804514271830 668577144457971484 420358215521199026 724691506401318087 420031726058999790 938430429237145837 448160531460372315 545961236519823260 374306756332442644 547667682739622838 610514502835067222 571439174208478017 113473288128950349 364519343351323894 529731052297950117 430631490596075107 36133750126357224 123500675009977190 677972241959971348 127280318356098395 32454859479323433 668376806593348992 84983977663135440 950616341994183095 469552059069844577 651327072254965695 452816569109008217 890580564072777881 925426939387262382 546641553590490010 416201683578406731 703849190752341233 592111018379486773 201568564324763393 744801859252851827 499030448174693593 882158588752470560 312503425388647793 713930436687439220 31159340152616806 707068250567181590 926695092905264039 335236799435926357 102669077880742257 204543269031506099 766272862062326921 787240156221521588 921420011496515243 111769826693086542 773527079189358531 872780931832582520 741097819141727985 881488861433173376 605353384307439559 436881487650577975 330440583574164027 262525496508094618 223686099124925013 359304833689074789 787493752130970882 337131387780945031 653842053784213732 150596537404389741 861081410971592487 41226225147068867 993417247766708900 506965702778844082 55181747910795174 282877661131566175 735251136299534555 927950987642165740 98647014361702368 46046086473034191 396556236097243802 788416807541650882 312656869117807104 919620292595634091 116840842314450945 982360044972382271 185618490713829084 880240127257612107 472670628740423413 804012583191718885 164817454546711530 891680993773868995 113584855073013204 974580217892934075 149475535462229274 897039456397224616 969831132984734149 916505513932105473 243924810971309426 214799390752124742 447574570982567327 649890872936721208 180047921803760884 470871318835160775 48281495467759923 812774604179779656 770838126399299346 915837692191308339 132757543387998112 146844437449287076 43721626870630398 730730681153975732 175110771836411456 6923312730993537 954156072735725547 819890943033127763 563967819339433363 430355299349010611 9645157588831410 373993437724203156 40217129806046933 369660740405019336 676095122345150047 627198415190655472 367612552158546319 23985434871603312 586692226806378053 107331804988029196 665558592975615242 499451434277016587 286057814246477092 537525650961972349 764575180215402290 806039691097044703 746887054407876785 507682620051285735 185089805601219478 157595940850796172 737826377969116472 363227130010929453 463394062403915533 315009995095509016 567112478197447376 463002755347717517 415716518455783990 597876848132145975 30168611179490048 424800483661841520 108993857427744060 64313988449228232 291049118336215657 80033968282295669 350717408094337362 944908429544320409 926228787857727883 750882961583889305 635681901728175676 27930498373275572 623794705703063697 180394136090474374 42619811533220859 461476481080630262 941954052862899326 335642916895407604 6682189681657001 422573280383407812 658841694336541232 130616743782513759 92021099119366457 860079223746579091 362141150258148079 458120175329643677 58112565296268946 69119299313184175 896310779711142000 138063416551248978 528298646536490829 669535843974150457 213376739177250092 960482035840048454 641621865373625918 392978064062284066 513016076225731010 898640955388423635 328622844828518234 133757570151362439 329811276875630869 829910078233371060 218139002507694887 153398688242768667 153106079904051925 52493107233284210 638808974117536307 628318317757538376 393395839682750474 432920731459393056 588483042880026665 718448828132474943 838855773727757682 841562305435843226 360168666531381428 215629874978473447 90243659362735680 473481013334140998 532481695765229792 133262525911618588 846327576243828418 158331454960142706 188659550761136680 636686557869362355 809841079177404126 412132588573140387 226740289442228389 905948858756866683 191643223430803182 617941753125352175 867021300753301321 948317956831368423 117256375510473641 194888686818746779 137796495717471954 682435714944753714 285825221932034926 81879318900191202 480455586678485444 7025295670503328 302762094588388595 280167016805486816 962115965831790096 378310542022304984 107723585714806778 404718402705220721 109669297927336764 425003809446564302 544750306482588000 103061339933002609 189638500575571105 143083104910673755 948532536276156570 679942013191030353 892731704522040297 573485961034348450 195763501945686224 333138955434946057 10949370037824142 160032848493025665 93657227841697602 181719364857211174 901044101423141421 55590445638575287 955555881121264870 293262474416651750 573925454411014570 440958037149099388 712671014895858528 370596982195592136 321570306615914675 791383551460180984 404445678779648884 729753333843944593 995583374288934057 270461651056174250 655916808162833593 549190675686164238 676843208223654678 827717079900439849 638553102157404109 446456803351026373 398003895057285839 266779254346117332 84039608005653452 819105205291538153 966521666944292748 760700755649789062 109851214239893398 710839993436263417 4370392744514336 687915312982502245 830763189268962228 684155126231823126 527266524019215882 898398086336066545 522850097297518677 359191334769986818 809695017188909698 376758877822639889 985468507206255373 898495454801292082 841749082907402707 914682367019724345 136315577916651686 388475082844084257 874132873938969072 404310037945314755 93944778320310275 249896433325596686 371082022548844917 5923722594893663 216802669905183426 912674076511647941 91657085208350203 315857992520187081 111040471896985340 723503118035050875 921627481811131151 243012758765302182 184214056228221660 300321912282569882 180989664185768791 376396354946241001 860033353630209629 346315056800055683 874168193160624442 102687301633192692 732804399606357628 9292792177257704 623576530534067837 106712276072752320 319927378077272833 131027126458252354 860141853042513965 53105554849469909 518192011396291084 226074546645427897 754487136955028305 589527554961525123 779086180640915867 514324846492492557 833609552965449742 123462156034695486 452217423301265247 938901172130006737 200199380346883357 281020506961092920 326642155744915502 277317995891611199 176712514452949987 198966747067835023 840641040616932757 803871970256612876 242490248446855774 400098345240957756 613747501952618391 592127252237790597 321769289422862030 167863823664229081 983049054382127211 677520287649806306 534979721150248065 184108947340732245 575339464157569778 379109635506970010 163459429582596459 643460925236462796 277700205955522085 824833538133060677 658667955164873311 558859337502293423 248331382390312754 351832830246322773 872204732342390566 886605222913464434 883515762041996479 344416231184891674 740378764382795308 641686465369746694 51926206492783108 344379877901421143 54263801489136892 30484869780580857 715330006879647299 116533201400078812 698510695173689566 644677765876042369 358844082781638466 809519398461178972 826102031763316092 451608823391636055 979358163971909055 633197997065403260 777737037580934371 767106042818010120 868651181834677782 341070202757039503 642065176943167114 443199569158612406 803064982454474241 544437213941929041 248929134925046415 124726999161538589 648164283653542502 596689704739092103 632126079711925932 796875004007470985 311526027016894933 672954485772795597 504708864974031155 577627595661501992 806872736775518708 487242793219400237 542890879784312009 44059722338072399 813790503558607452 717171367893689494 414757940196381226 5902936933348032 416628676091125817 410341484907822733 338088883216722168 95118757396585984 557812099187513214 331480620423177200 100678824796921300 882151876614133216 202093167968763390 955973314093859116 927009924212103726 988349293639153817 463601876426997057 857413287770978307 262640584310988360 97928320943251938 236606762120650620 212089683230956177 459971422059831543 283632850075862681 456317852044155217 179107992426820936 619149193846658442 867930944801321540 63660763691157236 162099677377224661 189658444457522493 809714367885723625 695873385217616542 405340787745281942 990227913087948823 312589058130053175 823953691400151348 978504896305608683 669169792883618627 774744864949407550 532177494904757940 332282312352864736 934336218737789869 849948041640444878 473947041196704582 539234971627734886 976923462172663476 940558873749531891 110469373515413779 932997756685440051 289678675960808072 170197478354345284 712638206253473367 659478702586642803 703272381942979596 921266176713145750 620906705731766406 391017118187432909 887781622842910845 550198731310748562 464020934573200207 317199207419596898 223090078185608375 297381412411761716 838960480835808515 254016465743204097 427012741957933936 686880421490997476 303464678623634240 957152238975573120 24364712011426669 417249991382756923 420502960415084923 147699471969299565 602602379507769132 869971899765676800 958820673705432653 34241949300925660 747273769052785638 713990300301806057 98032282069903579 994954599690196403 881061685567065811 239588543453220724 502762451175568704 369691832147644209 894763193471607880 890700639312198452 12121494046793936 971214831527086664 46130698460180882 474336317692582929 129474712260677688 269599652848309247 835597426554785687 195849993058836232 382590327294642736 404963418170007341 521726447192293551 9143875610730565 485835316463446190 27168521780412109 3337955249276548 61226606532848155 49896820782908443 531872628730755662 454017335381868185 362589279299452313 798350831066927542 955716083693708070 558738299799424128 644757870234984748 316654235687297830 460937142734094078 363388801126614976 887993956855191965 919475496812702104 60687132274648233 65484876874040108 800549481214776218 790174051701766263 524196170786754548 783353404868564216 162629762460502621 587546981350749404 350799037993654635 101945837611362173 799968518255305971 100404126095686682 616443761584042898 272579036938800939 532140896887068990 142525145759171938 618806823122881920 568891749934577882 804541424830817259 171106113263080823 221807382878519116 359785161893397847 821474497138460442 100147102625931092 486484683697628504 167078056196634673 23816355622060681 88051788087132364 687958688653551108 716394171723990216 820769957270141988 224845849264126106 279658073055736460 467376037068644998 544474576828238922 866034644010904443 173199282285786540 853696779285774807 499750235915403439 464310030233622486 150297082536908074 662527648101084856 200226284214516020 337479276441032353 754788164172970601 799755543817423416 199043348585397151 943926157119805827 530488621835719941 930418011256077617 838704158958919655 260393261299512568 782156784889409177 671205925780155096 475804557453202563 941029857110254911 635184883131431359 454199720505505331 804996603835742497 508512419911448902 563035224936665095 674405629185415149 446230586746467840 590959891973693617 846905073613477335 83782693934677438 255230954330370839 99000486087415333 319629067400327689 877733398601540085 583708832938899189 794091228206263762 22036360616848120 134663390548455639 108623416892877400 806823464783738749 681176852739379970 768987816176154320 56664833900687677 522182132185755172 961261009206695998 869087352799224018 911939876686957423 301444274499124596 340490824339894819 980170395785988937 892254747385877386 89727774997652555 282733611044904118 199926203121920521 333202743076353725 332669891362306477 983668155517120115 963303665768879402 558390327149846673 344207273341370915 372969509754810918 745341764949728734 355388839388785872 13501181921708453 439320517834231023 515888166683318790 298737638400195093 496266901181244127 132563511866002903 219404043980064817 994482998960061322 54529631628932565 395775966370409342 330150634745824878 133048277535952254 635061237486844964 20042625215030960 775227326565356403 620404752035334234 348278230048198393 651297692015862441 785253523252182075 854232555854833666 488414117022093580 493114202117896034 698662847761935804 512568936138979434 832275441112949619 57183898253818131 78720220205226517 286557082429114930 369466408778914520 510075473863941878 997994285134682106 488997810440166970 410251565836086795 407086368726439792 599767292184975841 395434331880970566 367700197169251652 433000556748595679 276287026960549731 459628542910495707 994129719129247703 316213989492504888 7303246558662446 514905893254012700 225491121040665192 928036039155298390 277900357015797672 962857352716848352 889720293185764791 567232623663303647 382840386398626974 340778237836742150 137187278732931263 225927243605891907 631210039878826965 482300208215260189 543901320688013678 149435914142277232 460080449352219113 642177666835568467 666067515241878067 224138113829643171 478738759240605031 10555630870675357 867938545071247747 98996139241097853 780156436416532938 676886230127523848 685177428213799676 121044633871663517 550318322773857270 329466796507862146 431846795118710653 588208320664986673 499279545617219245 964014706363882339 425103424827696020 538978565301084654 276553513993889302 200827512929183644 577508321614085688 535299120039712203 442523227020747909 854681216135274040 802627927748455365 974119374537737630 172886450231823607 806864516805860921 17240026513645276 408993450650655743 769896356038574001 487694058156337881 592019410866163769 775844067437004930 114160620609719372 183447696719472232 515195535228363037 918346610478141368 299859084206334208 544912137340933318 373794098295903504 455566417300781778 92035854209356841 199485555216520113 700030751997699647 554366101778432272 65765629008042951 87387699933489124 694240699982232040 288298535644172754 390559210584992988 891370652450589593 16715625465917193 724667497115025579 49846508582027177 162304872219502506 526866277632639723 251272287563944449 344236212103681549 136463139288426756 480354318204948141 717085996303179495 596855771171630562 422520511248863551 997860838441650793 130390469020992303 497541117981523687 219038682794272966 21327958673571570 387130453192085167 564668260385360344 388171331160216672 759229554453617198 632726684207402848 749536108407856446 367381019366680968 434717651588239753 500767453754591278 312729502196656953 423317975809842147 375355614593342508 850023913540486906 741037698440971419 314956421242648414 950885960806849793 261895824413971381 113078338373676889 476806657487367577 376631092807629678 58635970129995495 862153475020325818 627541717924674525 643565838765801485 142872475955232142 193181310118290187 134485482633405632 351745159154593217 993883430445756985 828200076865256565 50269727741783199 659060928934081321 792854843469329325 955505364563594004 650437203596538120 668588593094997601 748658438772599052 435806750319587710 265093762208220585 340093611605790261 121489961311466230 235166675855562560 937416062963772130 816843458872320265 155625803396702146 432695950952687886 49020209315306003 797805745523020489 674433052410338287 242737970471541277 656451072255157405 57707680442311905 431812543334257405 445643374049061794 864475143476365904 232242887318842333 404042667203156894 124955507363158380 281689466332354740 123488399998564044 225995574718078136 414879121797469278 376505791375642366 830675648321655131 489834792423548825 101491701124662508 919410059593256758 483378837960223202 581643288188667416 331420390246281450 783947177977778992 155080441106811517 508448365423717262 636870318539492448 170022557319751488 912459208233774731 650000066165961683 482647507086920897 668162293875912574 934835401081035776 448561591006085442 70739685176064527 664045593760699459 388921342531258700 674552063739300211 672151871547587354 879975169611869899 722014132619717419 215187730067480123 475913108237071809 733217049756510000 961363849190130511 894807806208944904 453068589364125051 113055733943630091 652690397928140578 135822336246511582 337740437701096417 166938290554531813 43919456491174894 588800204106161980 681287007014842463 173013871046768876 427706304522632757 728393749171333961 747994779577321666 196362844104959988 889515421587709435 884516383484122935 444441081520736597 292750873355369984 652253657069476410 637247331196567610 446100078957748741 998380130713207119 367133477498870974 580069108711634318 603825897030868597 835972070742258515 421616985499489885 458770291775394212 386356724969190495 579478791354928335 125676450370733251 73012552424102185 938010675374470930 785626288829354344 513289286990196230 607528204845905091 634318376010560434 915329765223668584 760297912954113045 807015178196546182 587936684456661621 353318198427888278 226841946149857189 366552088157773999 139335828058369126 317353403571972370 869452634716395073 985554973006267252 48705616286282343 707628685933313970 507144764734790405 303429527070171367 463421315352263146 182052381966119187 654229916851823907 16049470390499621 663244197645447855 979811713342016561 361202533370242760 458891602332107742 578890027327225799 613498343420370728 65851419961374589 193581661930130743 781915627852626703 701439376681899014 825032903159122750 542321366013897324 213590021895454154 103987206680578167 364517938869746424 745195051381442849 182716485883302344 491773204084779342 725367696521268647 875365919630715593 809234148608705553 38862243897493824 508460273331939010 40687191346523957 546456228841139121 391302758832350376 48948194674719557 677316373187171647 36429896847728375 507058200012087443 4878473087913064 476794160387053845 589656664766012333 304507264725676558 722994221359838508 332523436697086328 783233096021479686 858052989129713469 738837748662063809 378115097617617280 569282123504156135 573121240973069905 521089639572088483 90901257144885975 423601825080090157 134837707824219142 504718644345693126 919119289228101587 929402416305812114 780723897755358261 622688702764513321 450830795137375221 572757561591315686 993281299512181622 195513576936073052 872995640881297197 925683924653648931 72187026750198672 572955953778797407 194516201864350063 953746912097880142 698461953663973424 32719407480943970 55330397944013815 320978453876296784 413858847126396670 552008511158641532 884960036668379762 500623116731583468 787205297059554728 753459147421228228 557434635955582605 223300404881094941 354601475694340687 735703113635369276 542388810700867572 423109137569043067 299168992473795130 335176638127521758 172939277322123575 954395900604993226 601734202806891229 10770350978555080 776487517111852253 686111329936543400 408791178096524592 362225023075712753 427427399992825443 423148706538516041 171724867207854890 840619221243965110 121623555098573304 410664132228292297 655831244045688463 567437500502673873 90504588754341532 693428522791096524 460022199379993199 662126747105992305 777186269423375821 148829293395588791 501461813325262022 880548050161801985 388221328235954125 65377243342346635 26269465301743674 180484766127455012 223886323541534445 392371218742430218 449496192564732179 484042132748349056 983301700830301080 445806591676940867 525020691131677158 582398948897053300 9610526915033471 840667725742649143 574107674164309752 982393664011925548 160964086831792610 681190333312817732 32723762237834039 986927612373132086 424953224554502290 67484285116581568 430237246528537456 967805255645088882 86294150863885548 645791588621845613 602222802910828509 235632287480639968 970848843538531868 823340719318650202 531065716502382453 847819853181921062 184413366663066455 331255459568333977 751363536548442248 605885146929198141 905813422058288656 212724552523003005 838916838268145243 774579551687080141 54608397544463371 472648601952895285 578942808775901324 535443920748971024 566279021259343126 71783668764873754 185271241318956623 305995302813131985 694526271544433840 377009156716699628 610869983074247115 350209422457300833 227248289925549783 8134720646242322 345350705536991649 931960133056415410 635579911079745023 382158453567938210 589583586107950373 40572620831432173 182771984998251774 947205383543266339 259451427152612459 725003732274839437 866306501583948304 679246338004685641 9105754321746107 778045035708679180 418312331105562275 903088672490339457 175243578156304826 130441238526956089 105937820830038912 66298528271069201 413880933290330445 971365575558134046 756842361815022026 193528338784273142 395323255685304562 983312383966095422 845645056924406570 615560764976486301 883202631359748821 747742863287115140 627560783200850968 506834773489166899 208183907404830657 184166935780527931 793007807896347241 918593014488304743 927916364381035503 250116025098978748 8057683414048394 202659931913310085 376021198713518924 99999768120527402 214135649874639702 864045538169296885 156516921379185995 274203987987345357 895640849502935508 158541031377824665 222356019132340548 281042579663321563 123113158991998128 943472294043476692 838003847078998555 988371389083582460 730071241126091610 123104720720052041 174561744446999974 49022353431491222 119641712108613861 178655792283540799 659096037326504545 864765769359253334 567824657064846124 452780829183681459 577530287978737 182729524036670743 526578523699746931 287306081359108963 356112679793819704 768951734450203094 885638144033956921 133060909050293081 734802488239757480 186270660502399702 207854753180983325 471117415212048278 166181229012602380 560165345024447400 376874513688743675 463681771883400511 636601534194053762 683691435464441488 607508761451911662 249308291075888291 112014460073439948 537982393636761323 987652308776099682 364541922404173560 547580396064303680 805945400726232881 495441670387145391 993429214826739724 843994108466931241 396972083635023733 436309559785168994 993772894314690378 7673504251882516 393798758949295535 281078838738781257 248641867025851467 639973441134984532 872757832599456059 684744478869329480 404935636742448727 988468206453204597 967157760137783571 610777749283663433 845320215819535136 693594425005569448 529521930722589981 61213197445098702 572964265310670627 661892047574598466 523649223989605936 890623009508382075 856244867736763036 273732833692944289 488636800344663192 734034215840561489 123942015115958097 974282476452708230 419141789455449485 862398393265358501 556761137618337531 158622025737037872 897962792987538583 565481308638148031 267541607990286052 178849056684761497 854279698423124325 436993113514295401 258725800178830166 110618127270101961 138126748859146240 909809494935883720 867909607364677766 629471464967677488 280392955568215163 149776598706258857 31909198315704092 889441566828391210 980251765550141793 880933837822594185 634552410111570036 97612242091777273 100354604702698352 459512404842998884 716430574939416534 47365326943586372 821121653609113661 129976259168895272 242097559447245297 846856291866761012 159247692003457169 572083684885477579 625449417717696563 55133345146415098 886014826181764371 851068622526530668 682427856921627252 896260656999133857 75905414743006369 605688296418660615 24281994540611089 632422327740187043 643994603744413915 565634647032701908 451526174718530949 155448685103352879 235820960408500309 331985928051179181 685348225573833594 217586321769426344 538786752754136583 344289424859764331 346912418436082762 357652081200505627 700652645664040468 458096197328743082 414809668921361833 210812054538909800 649481222315934851 178186535690486550 824411394158869964 920515306905260183 281640570558890222 156537135133550812 214810247468233420 480343142307951172 832951782983805834 796451437855415574 104355608274183110 986380416569906776 833866730104988685 505396997884157576 644232517182859044 312054038676021608 874418225816196986 880938752555508734 287522981362723613 572746304191758619 925642416861690971 38838146505153349 315667827118889225 204287699161649656 845239749634661948 274698364692154655 581051073918506037 746523302876002582 527972962686640203 251492384029899082 95367474878118164 501378459534330688 529674242969652459 887576705391799790 78895470246271400 780446351459572482 267701508689748809 419924895797498100 466726455175999650 939658380231421272 404481063697249603 423306000133543331 280355782418699342 147469244516813316 861464094652933893 552764230833415665 806017383309038130 731972837533386633 8076043613720632 939087413605197818 977430633206098439 606420439316777504 192052154432561685 116095995220742818 732734055372770411 29986940785063303 582395736253238770 477902841760858946 409035489620745476 855658736266792642 466624449208002745 789460052162598567 414955473879308894 286953327449229979 647232136148723277 102169153178956900 780718570617144211 946882185657978245 465259532514892588 18103217877586696 514990154081435831 186770108440424870 898020964975256037 423642846234196618 902952233836234195 424039114134683141 145816012516416053 253615208266506011 282101129819672416 588041313932066088 790049988430000861 659464115394308872 736168482476611344 613354438626089144 191805393737084424 115437649916995284 780773491830433937 615731607805674541 364775420099131688 55879258490023244 301838077490048982 852614587085509024 736411688847010096 257203511498154934 264990058885788943 612124379776791584 633827701690147135 55924755480842369 525299296417558083 427236424769783880 215534218194626523 544197784508376451 880607107620402978 241642506589713774 282352400058122876 740101642784892805 43197946273667971 634784199983324782 668747023306552460 145257484115779528 375741314063154959 1837671319738079 893464822183248244 388473371721145992 414139050213450605 207031489556086408 984870265410187808 584853294916039105 234892558613921311 366910650458402552 756826528019330958 939424228243744251 751422638661947114 988017656776594926 799216541326613444 984732597268011795 84715489268075465 225585672871458425 914917532986500425 374011994734413861 402592548977922065 361406126710393100 18488630796969030 549206242794772388 744171392324513757 56324643745156767 497316199058413048 717247130223476914 667376086804300462 546353977317251689 287146671674817181 719906570431759890 536092665491214378 382821973810813645 214097496058621147 527686496236597383 460844876018394228 705934394189071400 206840299194790961 225835178864579503 488744543825774476 428247262947298894 732215087574509833 477181775866418632 45159501678212732 998503040686763659 308789074733910362 903797146458844900 702806280265488172 624611692163329700 930606967541609042 796608287185317065 456111178090198636 647204723623651580 660698981908074656 500372068318146206 98023646284152712 626181354346954411 704467327534186412 208057092115081857 968450532263935061 551678786890058817 240821093290925283 498044636375823217 939242069029186446 43166923135464897 350601533966827895 845050060261484395 812994202390519392 62449612835404573 409320210492375526 624263453150047772 69677485957504949 475147155151250369 892850248636984232 248209995342012624 677743786494216882 289597142663011533 169754004636457674 726595748380880309 485144789578615229 846888988513210618 153982374656680621 997665296239600301 106368600258654113 108430639630875781 7874451250351786 55605203085214546 527988255691555330 571367472953643156 219255124920322762 201903127423084247 711071122054558701 654760881701482554 107329112713429654 54027121427190756 927185103485666429 236645522202667657 112874255157222273 20718409002525754 890522762346502349 299304574532951987 215956041073234755 993339078663404307 265471133873376427 696793342381798438 834296208760526411 646568502374017711 712222912574661118 667826572230605049 611352737237668228 983251933871035349 676585481241030024 327677586983405497 751429271125126772 465474267764757054 883089187439616775 680906893878015247 608582150803001994 877482238763187297 736113542406895785 872294610662371234 892141626295392039 794161565568260848 134627799251921601 608498851405838616 642557765393327508 35722777836484040 624578473049459209 900393115265688754 909175929297379183 374720302985001189 69968312525777414 994329492910284853 22539184202337197 530944050363694975 635746184588217912 838203607095440453 34742125387590367 646810370016826398 454017335381868185 101135439876547034 94864322920239843 413342139760658077 389310174916828570 164065334249735305 947471433812263852 970769014079772542 937672939064108234 646575323435408309 107074219232803013 218594860127009589 567994295886282335 810701123998576464 237197736356877055 481849202102720645 503189903150371312 865417518299467379 344957380810350448 42060952969672407 350842985309162126 306469508869261985 805637901092466647 430666563683718826 163458901566252587 163424871355101748 401197865896897849 407096402653412832 202988936941903739 109004978543676830 482930369445630158 551792180208610316 575881753611691865 872334063843241041 215212687587656201 1250151460117124 33585416410072293 587700393825443413 75720373691776871 224350486197952602 99533673525947800 578529023599054247 244394375363048486 595811123186671757 476521416802114840 746337924011462027 342556967337520490 547195023298440736 631880659865888075 895790156441369878 675477177538559232 787988826008586571 520049408728426956 146492200575101077 653547610143922578 278477131764781719 267912789915775800 479523082923980770 571492508381085257 86854666339986215 321799833404180411 639543749419933996 837611195014954007 143331994311727059 118806166445022236 730693703603123014 112214057936839411 683657973412960315 656875940994331586 92072088971313090 779308175630158454 972779518736212729 888572766720690022 696193256576679349 869781844104478636 740467208995056773 364342868933123735 513440194862373252 362948706745635727 940839166946698393 807463542919114762 592947659338937408 40354992895288636 465553470014950682 805020919458231486 806482769856135180 207461256615256872 614301769034149127 843786914280048558 930893949821781579 393849721681289086 154553547250835217 856576963779329620 118505084757609238 487862920478413619 503869832028848864 117743402928693933 92202665350669297 309264457873321927 367860525355419309 178250739232186732 321178628177458252 516333591304926605 849786815543965392 520870093768912974 983321111188262957 397541347100590982 994194592591426566 987354747679014976 371968739248977012 995752429249030298 177751420215950804 159841260363595827 429650947386385904 135027061888373304 865210434542705783 736095567775158594 690714398492155539 89292737992658032 109500170750745074 202178294932724345 985922391540357006 72769349766669662 938335652626019433 815057851901581301 554671472565350997 411001925928261622 374873580743783423 590094965116552305 542722999394915585 661115861898257245 187443639819501408 43180103632140204 792671330096990197 981009735449706450 546221173452738163 10835680475524039 181019811621201655 160517159939311254 945908315781242204 411910922725263029 562481545480935208 292326618617143368 286089387366696806 525918066099423890 246118690332091929 828708870141229936 777989142245984861 533063354794320954 969785524792688690 957405149284585653 383726701982673229 691937606193343441 631557722868356329 630245679471933095 865087727177843765 733453230313566821 772730717946673129 478512973725185705 94970025184181362 678876057370834780 395224203520765685 723603167419656459 441870652320966439 725053379779605580 114706061042820837 445654581036673552 56964858099477032 348437603116984969 889330200908435898 879974426633679823 684792048314595784 650144510760748130 634444917185069324 252693669383203808 861380132412762041 397702727614919193 692254739603475594 578528344723153580 53094547217554946 399422030444526056 288834585634645272 753998557615806019 820846065246117003 675791340673247705 728739978207072636 165842302293294867 69361400502805621 498879233370654485 290663342385283284 924614458186892041 219703634249688218 522685735733281866 31876946307072954 421376245536537403 123041897054242998 821795283115364877 252019516329425606 186677523542366654 992991512233316249 636308952308593275 882526936735297903 779901961456301687 503049361238448724 33848235610241533 977001725558285576 191195551756312583 995507845861679277 549453815700947604 428938680842769216 352863498204463272 918289173103249558 655653520771332746 712559218028764074 676953962827055101 546751186406643957 898900112845479881 931768054793017214 306130671054853881 6596400652920725 404918692029291247 417454278002817384 467499473737180974 178027457710905803 184696006219378950 792081699421853586 252570318828653800 939968121453379075 491433879509061335 455249891195604089 278465587666890523 259616177241159462 883353449613582503 134560273477251804 630849581749330080 277138102984556135 29470444864426472 729404685011866199 968754753651250770 427704124212014673 991137899679337938 823698755708784874 276542462459467252 634453461659535715 884710488335987641 617680958241932366 552789519439975313 710071913012736866 459923703944366597 165364177059121154 264327542254637704 45218102321686798 439431837558388299 768896042112929131 530401429800919927 883100811726737964 956992292280390613 54151323812880805 595381868695987874 280366555374483037 378801895541639945 830894282385251938 710962768846405806 290880123563087172 541919499642715065 865761081914357613 3627144460476687 964466864433953890 460063137364984270 976136378903558795 932390297176947097 874547804053018510 218738679936137651 311810837312664689 433969430002018744 505303747081326561 293625300345199431 485298278624827084 485159520926967014 772460948343360473 75965955352245811 597482722729743208 472063719294940030 326726639427910501 220294172663968867 243591034578989618 227407345274443242 447818872884300292 810111719167854973 780681720381412294 557780311297965855 785019925449704557 896820448403411485 679226141559266261 822547028288229595 684794446946151716 124910346879801516 608532152647960001 473566519145421385 32601914037599017 870038991265644882 559598066091099797 373264247473837403 810935438463539451 248358229095909549 717196478371374106 374696030969666951 876361902507679178 639671742364353609 754490284005191217 940023502825491896 41092686637482408 910601397141065543 640159512593222043 758176431630231329 642351426028963101 436358478059035901 624547961425576225 86054079995956251 981889533433993757 253637580500927226 43623443745424631 692600883174118787 981923886112536920 76695745962220874 799284188776644670 513418436959787034 836505174928304558 243007977214734297 485715441941372753 65472278704368273 331435250318432685 604374991219786976 385220410416711490 782422575980975514 246119388485222251 245692370776955492 596072361803767739 298953436592092300 402368627866769379 705851988586851716 99337362755917628 825561639965235386 482554089475847461 192319055819555763 839348154346877550 707974010763401298 53124928074061946 87059536789403449 973732198179944755 944008962308654093 388310009788317342 969491887597230733 981312614296872043 6280247325682005 727436300980679182 753537727572253899 290581660214796825 698388523484995238 49659235574198557 974143852177457223 392213981430553847 64124007218067117 267810085011833081 673248341768370123 411542289726282848 211987201532997823 293055067531089422 530502664585401985 317358775169161092 69109477495354473 750040835560963138 463734099490231768 229177525047919093 352003824026367183 730836676921759664 344007910014147561 825436151212994574 281498205183430558 131481115365977444 279141216473480710 863126686145604525 19802966610342836 407099428666439898 76696149258411815 810199403001792028 639470823659875953 182853871801602467 448777639096318715 89060112876462401 246536874565431902 660066677773475124 18956378224709898 334632477061356958 609293491503017016 326436552385917339 216867705045475099 788033564874470859 690830344392482985 705582201934563087 387344004595123562 972843387458409082 894516429667877714 314446577747392931 609815952379522824 908392642860502000 938550576682707853 386514664638539675 775599365827046224 114390551253724498 549488603794470328 396990057448251976 404385193959369549 900025417177714064 344344416232977256 302739004282026404 55364121201720363 787218344652130408 60725093187028710 398775716700545156 963349977641125110 245326868012360017 757453238587290050 379982912810628538 736502444424092386 497146848275984125 846341784817453870 904986316222641790 881451502310006056 15780136188668636 535462689321156268 878715449662984393 199454355841742802 7678089277441094 950359677100834646 277270530611020592 812819674925053745 462516347629379685 844706260277524953 549406505859403966 814390721002155064 440255747605683106 832260995320654987 614941992372137787 133254313309836445 575243737648057066 152133442586800665 982331067694446514 413717019755128294 717072557325941550 583395842799381322 278019193778385836 282922794634112224 824265931502092125 685657045432359415 655506020445406975 276562577051362333 954895572467079809 153751189610567329 493501271656149968 477888447949623573 338223052040632310 461430737059839854 201543769658265985 179649681564050981 483337035011613798 120608633850056786 849450492559962202 57636502491563469 49886172896551316 275613988971767667 462964820086981009 62010267921092200 142570175190732589 715773792117002161 894068947619161985 691933920064047038 792715961851712036 330367621708700345 828214660352383209 306104220050377540 13826713666856587 533876038064185031 412332287714038853 269439063050422943 329298352686150835 72852558495053264 711289313790547117 491803337476915413 93350339553413906 437754551868517076 268366095186043836 779099330803145819 178499650383844215 316020560103096408 257524842079727683 768143868616034487 791086910906116484 728175704366243828 672131586325096015 265646245481722236 421084229919419179 730912978486974343 307841990035741723 207392393253541209 2812954828719223 660718537885953637 450912371276476485 808394928335132524 372326487049564744 98245050018492535 72280241503501566 227800527717462763 618056812209582555 918188075808095671 102617189016177906 195839535652384632 56235481377535149 330951696395556658 195190085419325287 507067129802371367 778339709235569594 123033882855477425 712272320162530932 855950625362529600 885715368294990860 134434350869576757 574416604697117947 378500977329050686 895681792479296064 974873112305619625 191975563573335591 263352305543023560 639949933281517761 899903870330201414 840298437517415141 300147572253738452 732381552226532567 568156172026256358 712905782344729785 316184246428984515 947669978182516759 27825582318859816 5673050688848712 249687817640835141 359524496582897516 491078050415971744 167759667797242018 704974919905109162 250116025098978748 641325863983327683 507615803577959330 490704007937096849 905774669712792502 248865471150981986 602034212493630232 14732470008116282 503488137986048329 769556813998842935 12016330583232401 217615174968114745 676236811340077819 828258745999802448 110778394947373018 6777589107980261 343102456788047568 825799703827387513 212705297385543455 683207412511863082 778303357124320981 520998483931808345 734940205011689114 735773662858580755 471168326716480264 770751925149453174 76942532227554810 496436154450525435 960774467270457398 705312956040332393 34291099333543885 678644746347467166 396299352750318844 618642785745299030 525987745360370816 327909563807671887 978451840633328277 92517395474370367 466779205963361603 117099238340049520 484237387470997210 262465729177206913 77164863839244912 214788872617649631 288768384338896086 879709133641438631 303912818539894087 431556823118965238 539077302511671269 981345699546826163 443781817740008569 267665324563880768 207444765508978324 191408521594317512 904351680487925288 922383675421593552 237503216703257863 965538651101007763 923282323650748640 774053134233967132 79564757295848213 383339681871320997 775561802966563760 361836246728670266 568224412060885254 329005861528559117 958511132554491573 962470641164693111 780537695301388075 830400646606251582 467586620523268389 73354374575991758 49013094113068523 664298725506357316 366061460604489039 237053248838947936 726954313394539856 376824222071247082 503196045315879337 44312917455065482 508813339600294945 244647815817167677 996695701031081381 310683070998903106 950443756289301990 356987750751175827 522330110024652517 416489340841382690 577744449787632863 346003486602844080 845318803109635239 781285698545952277 75400263815087941 464232400283182120 165873735331502725 850467280797041957 750655494604533647 371942871640981518 867241557427677466 426664316009331974 974975099961746268 332253361044422933 880949585699276534 301370444095358741 269375685293269320 461849812422668801 952509733699796737 70993563682416654 505374260338931887 241444216026579386 997177131291638491 553977907458547163 940017559727976860 830482681094120983 913503490781423906 480311788862651136 706417341740865851 317773194408260197 693752509226228951 582202978727998646 974110381289951833 770025037850476335 399337555803529234 830832185637088523 760649992387694709 349717236979714460 363211029052144 898397406794940280 82691421866277006 869403699184357591 696735652135494405 620105282254690890 11060051749684080 14082338132215648 91640669856062395 649447320369589800 333850213381094715 205318408529887158 177883706463580193 161838098495567418 150959854586551130 490822250255223092 239127292686551475 560133644055250675 365625167118071952 230997765413239155 978795369891093757 44790752904291043 204804990981710614 578855315938131591 335549683688483244 2225802092011581 662572139718189585 660535934023345558 353434613350405145 929719468698544343 879158327848697789 456911883762904901 904893739103148183 105888014773830977 265990601232509773 920528456144464301 251814874498106766 692506826889917634 301847974469546118 191669247359359753 329891215247992533 178780590674998968 796771072784184342 971197195956700794 730313591358349260 507087912350869107 614799219942435433 476659938798443588 171357907859305720 962114788241046392 240395020447438997 662225703388710226 997173296901612821 853081055182636481 521021012252814783 554758663819034642 471600634098084092 989155474311298735 496247943438296244 604741815754494389 391709968151900421 944385778109425848 815641232807896073 230170830327448966 265015958021792777 842406485353724323 996114871341476398 241590423739087091 298079130671727658 402322474537099624 788929668100901193 778331294085649284 444949361491812057 543720459048321468 816688202327764774 434736877650600706 457119559385898648 58057536503732337 595608098568781113 646062123474583952 712777917488367430 780734991221759960 933836197214866329 916049943547737827 552945153955209305 249335862805971170 215422973666787286 923049017591050165 826961020964882119 861852807915898664 628306564754752088 946776758617000421 497725289080807117 837660266815580512 626213122697164117 842229390307900542 405863338623679463 241738564100081313 84591235905304760 543631666081634024 803918267219720499 634577585336542847 976417020045088931 572524007315144032 604575621631509378 455277961802417836 26014973628926749 510974821239422824 970247926630128760 863456486027522412 927035316662966669 177573886134698820 560369355765484020 23866992665503518 930821967712515972 342742163335384628 32644237844199395 580386130368656962 720334057373751382 339742667787913087 359668816030696664 108893584649287960 37997343627747863 694770439970696376 479198154618238320 459372847544395322 535979359225855621 142310984112691703 914864096982548801 467486117520930799 767693302491451225 85171801795615913 447329409362317905 860879697803492481 125624673213523241 941174343863661369 441848557540199875 315705513813504476 686184900091039043 985432634814991319 807050734583925592 911937358872777179 246525566385037416 965949619904620507 415317968797781504 856273711375733697 574966351281036002 342945281055958613 22680357902524270 692132050599640891 66976222825909307 685498195092989592 301608944753710704 213594316294332222 384560037667799949 891547957181515356 986505250672952893 244953019387125442 10510277725303885 903044190824652191 772268849989840099 604746502171168497 821739560042900018 177816216553024766 488173442319328045 857202016988612201 118411068717173705 837687452943839154 896301312847363391 442509268230902447 749809442438580179 909146754527092814 555894142020482968 756418366923180453 946330547795883156 358503523453977203 435186213427580000 240207223513700699 650704044131609494 719582618667204001 27945669428857089 267502281023937212 30777958439004436 962445890473474355 993311738629515234 19291398150494038 921738528034199349 217041532397719006 690894253003090116 138641250044800094 83548274262292147 953619931377486883 796633852622334575 186098375801214989 93148110679413391 360692362027395585 350308665796271855 775537699522360644 701142784492631590 199611581872695928 457124719246462699 53988659978318880 367147003314068293 949745880192595726 551241208661037590 495844940876698336 257015113759334411 491491784205465896 236085363804360633 234603473297155835 894530902361315057 627567810030032368 541375441914885069 852008433727946823 95321107488383442 252729758393834989 572023556549075589 824085626958127044 929583292389280488 556271262346938872 567986919525841491 436812898956368220 773869016868582806 966127295993936738 477329691770499706 321670110881598693 162210868042851937 650287538902344645 411747751748745441 494569072718498712 835277033140981072 116047378264500329 898139501660313661 182594483453518755 345557367258523501 859954380179935440 74482810749671326 499620046838658600 565795575916557411 285390678096342176 529267649913257314 211119841585534680 247542880114430506 536690247532056965 939474074594083650 908589565863071313 604343755190014408 542349691330800205