8000377334273947734117443819851025921792659710000122064176440286787261948640171562194018750653137957677543860591065069093955258074072090240945991175066525076352651851733230477022578878263163053006959554620820234426877244678049274479262665752274333734737304850462693658221404837312737627840500493719509929502716556775833280687551715827451691900233061635492146196401105908781161718491701470043622081021519770122212391661579750188761829071472026586182770686819086918018920477221334012491570802824439976845027826375179950201488045636463565501026490193965395139784126299994516474118161976152989531591838801855275539193173054374236300790330945635400585336638734380292286308189401326715175414999973547424014631524480822126398550112872185507898738249051103102228029050283038657984965514779081392234128854409055457852914009960799682755083775358949394596643822966410584191376978557049619380273254868271075608413781577734500549886834536644725361209427042406747989607871349750915886607260855431839973563262895547464107283149943309419912487226538995575277008047494337447786699166926689048137317788477265067797975177143636398059651982868355465009826272055466963136756469203718906431556639338974186790959848446969731613956163456453246056403229981926739629612609461050137814351115988484663672535136882964032734659175553571174899213309957700548579804994733801049001941998859928045598019682260332349901979816150153633300298635598208774490564022651420355129307863079829467599100626933068312404366407565341237875454648832943075781483199555071013853154799864675788738760181509543440865660991431543727520466396393581877293862854456951546571294154402464841305683670886491786336081229532448025622790043046694867988300737665032452204611617199353764397814839903626529870225507318000067048463455439777657249566442981221581266659636356682788764575346868759404577119975541835833877290165822488305184571124426415006279994240155941501339098031580054612496610680617269878322277157415592704132007475386472809107361656113837146135435927582773394170236927310622009529061839730734051324383653091095332224872404786932421403803753147130901972879825453316203140379555479900267956153257698875415711670245231540284260231056074830693626462689782729839596292156337906432941513715088567034977263979622900543502913454082971494142466430115373982620421058516069368576544144379587433823436446749912800712223427189503511486510482205383995975256819702776978119964112916029729683276203109606192988572757899498196383826303978852848583612500093285171850939819201684317174713464677126237807051826359159029994704631877980530115517147813781213536290681996448462227377652904919960297935365397466918079990634644892603454187759423708935415817918331579527159093129612515714491068746996823521722404021629298950168925332138811026918030112127176918270724069407762578417168676463194074657257956893915130547387777058254292454406889591310225450970646929568908282673514789865707027366559757530359729839241277332382756816831202400593893172360527345939702844808180938450296199686661546751886356448230434702179712037984265840419487924692460952670325149413655080262348529379641258750004062373902668452067156390593087844340186724206028089128037855599882273234354990412720160762665461846499039216769391887329862825189036910840430514341906940550334290946631202028527986597929638394126912540070186227617422442459242104652736888452913953433345395441490012841816059294646327692696769561146854564575004169978797860057013807754777335949935118802015427175514595003900726519820463660837399134606155792485422184248744007050299226679579712362203453003519504139154909082384611417520803841463131324610129599721360929308411704537674400552354720392435499541113765932779691859585016108640351936856125672506439839560761558341288872199291218216127304267232973462129205469217169968070254520968978182456146658772668085302367433816333170840685125952907549586023776256000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000