#Robert Israel使用Maple计算，2018年12月20日0 21 2402 4838403 47048601604 1400166383616005 99622831860744192006 14486745644231609548800007 3861642345782904223904563200008 17419545290054008585525802115891200009 1250993524413270480373868255112069120000010 13616670119920124358649906184288614282690560000011 21613377540061563427408693568952532218080447692800000012 48415906244779869750865205587903339935351989095681228800000013 148933179262560987139836714996508003804165724638974580044595200000014 614617995837806112200218636074656125754323416701722145691537506304000000015 3334957506668496708755758192937808928658959964625684061277132768409550848000000016 23379131092459901468651110852788566191309920302140783342202543957000801558200320000000017 208506432787000020077638285975607382481337578809124497521579054439574020363603809402880000000018 23335930850204543044663986264477001264338572409573269512746725255166652758512544950215385415680000000019 32377667490862962617899020085023083429989083510753446983675956587222288881470411593562203835334656000000000020 550835287496482136373211210622043060954069585644599774064267596308184423041858991243026149403154477744128000000000021 11377759656284337320821536859239021284374488832041273092868386219663619235902311242657053842338880077722204241920000000000022 282781791995786791819259393948920613865230870943509690965207057275635724902653509412548258279531783857354965639936081920000000000023 8387870369785561779274880272055062084787261683738766511062641077375026976976930248210638966976292597198978594546167783389921280000000000024 294716604051361053666014774302245662088296046953896884267642188321931002345573839747467484273986835290328537154789629186806351554150400000000000025 12182084015671322768206075580809277954048509682387284917606998635062318554584574837534555488627512594894696327238050762349986221901275253964800000000000026 588637010209299720887793403413864293019701255994487955587138100952621703852140242233873614899281997993344171893136432048356786182157364260570660864000000000000027 33054799472141797920289664051621149997167976594162277933173449297641582674495891010721917998496690465478491254234019224870838823784423845087821538007187456000000000000028 2145453316607069726564270654549503061350707524477536325172300934196363767844183314803264415633641023263578245254848636606672173158848345423219625203170460970254336000000000000029 160141176074160426274801574855757742837662530559028106438747255923396516179493082826523483198587106808324671990682027176923747311365549279600829597021707477626192018800640000000000000030 13681593035160127955624441663118648230469953729493856426551453137900082766529261149459328071966165701684369292998228926835337553959508660712615758343138461358640816202117881528320000000000000031 1332000134453362414681293590441644664951888540716158898793619526081488439325574280301045052173647866871163782035585375823884656397672534647887799548153970566990247383895164508606300160000000000000000032 147167281579663369570188273014280875932176950616952673060601184954190404531215779511391087626424938073341896987059876188952880425968196525004646851018041568838103962752862200075675524619304960000000000000000033 18381171196554274861315688801713968568681111190479897766299923527983488230309579270170020663173045267472663958312506746715856936524915961095680472289045962522470954799514320095164513956638611671613440000000000000000034 2585864454305341186840637301894355861045375002928989417944937050282688989819854070256511786710087431131730789228299796240604293098069594051015824420225705781041756825727676026148709398069933801025669011865600000000000000000035 408334707232889804342688540447267428190187575493625873747946200693247017041311754491477338499451665188795517014502467582771779764384261445071408185227243293886564362993676328590166897640344222312062797427829322547200000000000000000036 72143287489015575632145205209798160231895464527483370692269417786082549673473688850257557706415280751033808939944654360286277016356607845068792232329953703571794832048853321114264633613689721563947470866720742550666215424000000000000000000037 14217156768911412673354876890152571740360575335348307699090440461422960779416904578442891110334233607198345093759633456986038253666014229888131045418811098750464001120757068077723498448616454344479473853600178374654702051420798976000000000000000000038 3116059093597138873350970796032278798036830041309862621234600283640065663896394813887918834791996851947083000885477473451786663035126436505312812390730918962393071559332502853778920630423278989255019808094016943075969567255629683832651776000000000000000000039 757493598405965780441213810477514682297754396271871849931985641173974560120012107729390828148430130406623628492133071408925119623325999173496473023442297963561504479064711715052830186459055520859059108336645981759520580560482475406336640029818880000000000000000000040 203702899346169678549311696795161763308449499601047010180031352354255572908850657226498022155468689216025049310289548026026155805917362825045989582531689560503830977191681760491457395546662835466117235239058352256304571106884009778793260491485627222589440000000000000000000041 60447861488876683731328625451417039935183715283990591956502119253035436545443456513200629520010813333850405606279819528764206292368867898968417885397383571926628742095819974949450554277166113255460887058659226391385431632019027515735726433501594059401553405542400000000000000000000042 19747065463384236308375248369345015725143283356529988200098928050570644117231774083245739762978700859636527856743068877788818627168237318831318259003378591858848986887938133210914076290075252782964773823195552972912803467812406584253549384004420233905667213077372102246400000000000000000000043 7085699341976349798596517916682227359454731847568406506456381195437358584883224509971802458489502379959907690712816350978081151085010450031399630603997048020475021429047949812875554031826054969498337333833179943609345670432450447197779207633584392923576405267509335962987108761600000000000000000000044 2786679043818586526310543291327789825827327044024493167454581446992293163522976130514177303686511040519650812539818678710147089295329955482662994643983160778451624036878916512506353133944955030036871081466979118326050247574298474596475043496789057511490584169050830912444891950869381120000000000000000000000045 1198733649536818792860867146218122603614625769581853441794761431002596942419090738784085683518205182062310609142455942006439757101265365205179715060268101376256346378957240243634607101239085312943066439029038278463184583795356926597366828591723670381886954934236785689875584021967048889797181440000000000000000000000046 5629068425174081379902451098120451513196222173648760657336310528228718318413354416986540071356732118676989775131695533793703384185637571963899873488426479060236000697475158542575683241774057932618759535414968661031723868583863898857081352468412442275485853537731937179836695485697498041417737059696640000000000000000000000000000000047 28801269747148444760595717861582655897171091094723912260313789777469676443870741270443836026003489747712456697786060379944033203018004201624862010333463236115472437430555943582823693416366356718082251151785576078229763472009218826122362403440423733272811110181098785593498759895807446067003785216000000000000000048 16027490034915737609936821441344633349348863971875660353561798041813846129107994851032836330434861332879328739666338918469379530462719594644476228033671936440582732950194660081990069785714453617376206072904120267727737597269555296560778253938683539144870010237117447951171655280487586369594150081780579421555883623055360000000000000000000000004996838456940066257776293405689016499284995383834795686141552480698015079279767958990586768932833500336888252080203415207677238986239472185640911131200738726618887944715000155917383181042293484177025802770991077055042319928716486334865078000977624084395872802335673562992271186222217847036068178032316961153163531086822041976832000000000000000000000000050634218060955774158958627368371993986614290283317503424907322420189414252963556062872675973598793022070886404830673751237672293240707299230301368635144065109141053469925684562380006669249072120382757541694021766373127191280741147991818812071443299718062617389830825871524995122098676617371857025471657324885219738918000738430118694748160000000000000000000000000514495170181242399655856739162312938896110605134733492913149940544951369146329308069040847578007173504334490768214481267511411871620361554475624712305285246134908677499600499845931204599947955257264661575308479070391713893207740583950025601802367456238901610474460863016945780730608569165823980883562217918021183947751250339650044401675174674432000000000000000000000000005234427512560053615643483021846637119331270958884815841012070510452786955521415546291137378113782299241695775511684177400746261134173164999405807071842364877718843112220466959704395673388212618031507760467678787494668917647842437282283883091031486121123781483946475628254805578003684860856571636372898993675945154058692937241015025792815461247046773637120000000000000000000000000053284496930041634020407228258375580216420849289020838247438546223442692936121918704687890490127715413923667713619099466928364703899187070015074766618223554457375508838301671726245892717172272301818801206902361753489122405824328915531110228399680126935064980810738292224427153505478978108299769363608052042172123934069527068924392915806657912621119491793820110028800000000000000000000000000542533064618671910275868139270792496245734383872411661849801135754356284143140365843477851332273345006049065066967933925337706336714219454749994369760475666598907626746508230732925992564489443731780219378634307710867777535830585472539494801680682051571172743851463969107892138887069642460871816676152420900694936760562048165122463852999789555189498815974395118523546337280000000000000000000000000005524267137927832004308385263022698016592627416817327121795003049826068533418415265307972895266613273180123101889876951852297902116799242235247232506392992253193560991847746179211776700536353828541372006538539217169753416755098707658555683702839829206021077853377379042743809598927511902470555548535779692044530629369881481367555300727070716912819761744610840064802184833577621913600000000000000000000000000056249817376447044223145452190772774240153327750875744359442805485485446920142540555711274341412658288663661482830621233294780126497295813416683732431345894330459717338640064360733851195771402835120205436474125204368448508130246125111836147916275304553580939414754995337929301006700858848253652211221611524338926185817770831960991310265334214503894164542173363692559803896793109882313113600000000000000000000000000000572759986206604169752441574457276792730336555997712679454085293593158650855010431702297065420271960831162700992882581940111491123911919893124952598157000976265896861357233267308414970706955974912386517066570679396598510813055220584690729432799003016073859263073217524625569927767739029318750610392887191953947186250490840502521006145679670842571801088808365323212604603662130096400505401302319104000000000000000000000000000005832684278376276779761178241874829678801503515379974557837618599029906703370470169243294213363883917697907748188523395187546445952674315572732558477183462855798268397504478176343299892248965846870972667054824110800848933552596242327206919879157376977521863987618339797361373920093132249685438567949016702519486055565717789930322859114170629103887258512741098473949674732701773915592016848856985599884656640000000000000000000000000000059414385275464908527320050125546378499395741488452146428390968980010529866027100048836772998803818842776009978770991032194323641539464496845229166812372344003911967395576273381128911521092408420013597409848580485491795673278668072761853409807778643155127944961892262635599663234228161193557263609316141350853955455336149842319609112826849058373761111028559222257588676146920942709487011650453770316859825291526144000000000000000000000000000000605618315352022420263880296887714986398448909653050207255404557667804114492251659132199728521890835308767102497613417586898342613733737368657871322436397767347195972962286784916875929218808449558260053495159715447698407355730476462089037757374492393221046164184569775527767204963653112355016244814865269209756977114002241419417112735543324771806943428898780981269826593430158715140020779937241546533395853292845702808862720000000000000000000000000000006181369875130763485393181771424396884400583772945442706007321479429977585720728196965593561144090328719185193294030293781756220650861301169756442920717842298622376069615369601182931813679660469988320334891181382443340609873938544880701579397508479548361485679334512848714338232740737835096124049622828075943731851559611443124400026419721930520976186459647903531303242720609545968230060718028203222094315956186977955196209249386496000000000000000000000006212575112681765784790958553822619078434534826564595140217555334375955432396377752767930900132245499218773289926458189114509737694519975736344019307496259058024944511261965584793521566734886735665070209821434957027651901392386561796209674269929074416438736099162046023190027915749545707007152011269872994946974264494211079311734865123064149136261990780521315346407790133170527990923964648370853023425001390203957317101129311492215481670041600000000000000000000000000000006320715748571942506627347536491859170536578968936818291516721301701809160728386844278549153182452729461895993999867223553104725591665842097508263932013154210633060157907544690768062304544845796749371103287302399816642436216357580787389073155288223151770940748769325556895001313220401449363773068866111982081488865156254459319549216484102955874725834129996548751170433868455365317232700624050067667265390595835353205568242218786867301023411062859366400000000000000000000000000000006436340747177983913886669902163673799795866669149602317189612447259251518672675622383891197644751639021672664421680506863526466108275213026870749244271144143463641115175729807126342617008122365152019923670701357616293437665938832420127115132520283751916455565195088867455495251139432244849801702852480188882996394975075181285501842984566087680975757737087789061671139675354975977766562369168346400440509797612508170543825861084132953580788891340135200718848000000000000000000000000000000006567821752701129923256952259177866306937271153490520094540251310771177627238156360012645174944329814770312957664422204518847791651482547959813863362867081858306648173719330590623755600107055083466910362463942087907859343692802851169978568496108563526140129587634884773639721700132720728096928927707919485538705119295005859818310247910220896775605938130672698968718987064235283278660175454748626290976186783148669925104245534149884658774104143149101110496278742040576000000000000000000000000000000006613452916320696260135484988024727243815814477911535655409041692956133854434539696024344540246666864489459901281035413981625616406240299977350324705007717178795944123579601439033665520036023087569501217186340534828794773198958485158186188287872314208436486155118579818039998134266036113806234822218205295287569101481692532707784818720576448101104076734436599635645718447849964411164871773502513928254684898932674743567089557349006030495537945715241720195474684358841340002304000000000000000000000000000000000672833601582020285673695751264426769382081836123916657708597572250453905251513320511333098926821602692869234839702508491480203843805032048352832393521489199599645229492589572098973370690811794139165463817256636113616887305042111761073134772141628834250634139337733431475181937672836627596434170034363389356636449876373932051616703353205145022423754755891703698519599893973425267271628400653135920180488962644006411822662823629974529286306210080032067519182522345572386972196503394713600000000000000000000000000000000068633213896080102528907330448040664814826892630034232400780404742211917694186438632227672469725851846637451046536856252486510041250373127954370022566687546833661845271108200701019795086211705591231762499067191984630615089269190988234029229405962223013450693040337830634564330542970306719592021410410849374694019509682135570413497595751340307039793933384518344096618235539689718337567999762224785561242644678410805628681080323879498704397628948201853002403858003047836057807787975931904089128960000000000000000000000000000000006914999508341228841942803052069334076908976174015909532404064175873905735618167471204496596300197832276544130646402350893315699001700657928916664905278750099642878117245596605249710094280798447296898291240258272910003632130435424792652842972753638773352082141243246308924164121990801497662434231129169428977850798919810829693383892733134305976574284400989472512170207029693142644600670471619286776020969668325948692015691388329727512440945384120682915381196520794583301375845468243970657852837425315840000000000000000000000000000000000070376317948600450929364512904698145222160597087126435488893967105485251380155728262510952365910564713879847052069740983676004516618117512565938860121924794217295064656684167013751251366445368328649034098202516261804569282463516451784615194977023624161356281005020952087351276451141978267564199550038441848914897759001628189861781056962362192990579746517758801541163399728554610412955332771472277553015951757226764859296868988267995026894747223634758399398280071736930584248545385286592488537282100070301512499200000000000000000000000000000000000719991503555827017432685166807438841193011637024917429026203977414088384419469974633650509945305761033410155112426099948323307336363864988156790813352081897382638963387952105322959776351966247578422786993148361967480194102125685248266195278988878683611378926119465625823450420687134990051644111904793411120264023422833148790123094013312237455876544795775589222585042980746877891783217650496079247028929667733445209423255563028276744831354401184150945144321875767157574981132864413339264316406205898658258003822095892480000000000000000000000000000000000007228051837753672954521303596545029711642184787294134293704114350962304959356333319660693610173308861071141491896827124726563818813143696899965150678333024691986901474188584489774199085292180555608488601423087768906556533475809889875714122065936639157503142937003749813744350762164404544270907899159394847604584078500400179901632418911053431410401743782582785214617042298507456749956347462020282154314003526048349958619710042620414607996995031704180717292438291087267698888390061883575204248519989079931590876505489439906573844480000000000000000000000000000000000007383217057526218608041104049763149116227053316685167455947765110940766186530943177188802458580659104137900322259799850962366176643932335204807303269457347560091628228490355317350422999852503213362028382478122076458754123595343524258832771633196467779290969180581493501166393535300973539271972563878507788133339656797637030051926440445512214430052816276040383793299956071966745863612271059018995100982865097951080765808011576090151374774297690827844635418580437403731364309654864077748854778698000545202492319384708733962419236686339768320000000000000000000000000000000000007426065078778722124850306148222608429163095233709645269037089772589920022572988601274309467331574513192136838735177723904273088822150368318671259185093010623199793050893808023376412962347511925901642037828701848184579335435457339131981273326364892273075707628764750111427318230118216517470919562340784016552885945861093296343382883391277210963550680645997646218020373774418778299638970575605051058916071144379409821779588404228309969013055755603240240641977485354487351428889238543742947975166432550097155741128120608396137171092701266575360000000000000000000000000000000000000000000000000000000000000000000000000000007586136093090865761531260048338557175722384426006068202774405204409729513295124255362654460017616363952895084362639542132684560099765213190580309811577273009089931931479186356368779377120691394481728181348100012172733828046392820441444359675613843280294449724659611952116472469558665469043253707858842811948885290967493515001646622116164725847201235168560800775046751244276289790432180614837521636891578462418362795724057295041862440233742357453930418772937448567705881876678787658738689636582050617074578620270619755540664366363258124414840778600554168320000000000000000000000000000000000000763001116767458638670191123184384471392992525322675565363933533963521210186948349243386675016519034746275407329316520332842790421697426282813283546162836477352834877023101042858997060440039939084860791791235986131033667006909725324000093412158255880023546431249974317603220203714266744212438937242112152659706929483912667978366508902678212890658727950666880216285933598043592259105119120180581262077612516626166629068369712304809814201093357912950703567356148356178331472361174887246273594996873631476343635992760868515746403320288958149519262399637900278068412416000000000000000000000000000000000000007711016722356062391030381447204731862126133384051860807035985891429229058272936158476490122876571952891918877758738810769651859698995334254980004990658736259095897305771192084536394837891303121266061574344509295382465141401344108057231112498793764567645525720785583587592953031077417800681514723977202192546262556102306117987093283520419251736446666894265439223893169799743125106528605109798173937595050854517052793045288856012834262723049254518210649411198739025955564548283870084535314162873089219123210953923816200558383043679127226703412125024050330162218987721684619264000000000000000000000000000000000000000000000000000000784257960409625814703054733298585673375091719723164892072581870667510638434478852970813522965959752497822608278765653394020668357696112454745595627166093985774907517739734950369188323943245536970698321499428969392885802070926902399229944763516956037997538531976467863138724088172872724782524948852086133509625736724884499059301391042811550995481422102716648275570405762843438404933725004715726865395357411939181630229747591578264197868906174976936256384264492090667536236471676241129826493993975641006157483795180810925588886866642530346837104104606290534390417074635670074801153638400000000000000000000000000000000000000791731593247661027316579207718128964629443487012644058959054596629551225615510872346818839627808750496766944370910851023719862573652701305076968454460856802550580353012569592721818519716248567829808547208003926836246270578282701054286063811353493447261383175917478061565184415633355009158637308498491565877529102257437784966968128657335236049956593829874573605131209638011133052876056768223769998499242757983286585509818025373440666839983805455987948095137850063101457879222638514709135105360629959115728254349868029111598654387245613801641103379728732500074088589387643185977535936520100249600000000000000000000000000000000000000080740470387335402152206602813609407408062786237832336439899770357853485633792088407597867876116078958039858721993304004774510868434632102004403777280374018723326900381589693543062276190941334799527488046822566794240788282342601486560067870034671453569795073742775942860801684859501891393086304622698136736622620986807431263628188286402306231219037492866315146662846835186605114917189719023621234491895159687900913190402557884918372097409484915898071317974356287484389221738218960526671873836008334687830432781090204245579672764263921505077831397120817788254879945002191180095194015812158205532286484480000000000000000000000000000000000000008133274875143486073721302559040719551771451392788142193728070376386135135170259774057369076755410170707078109457839096295560004349492011567341695330752607255322051119976411727714774534979280821006951223257608220946296999363611910814171721482525357006065755994970670180089818006848503377349546549218263710917989140452092692992774246719577211415726575656608392726020977395744391824822910602970816042023046298909420683619651618722856018988399712479741246324912613599204636608428634477869079361221570580380081063307301834366352548427858775787663968924692845722870913132531644234712710990481739543333102116132618240000000000000000000000000000000000000000082157039214649011187731307083605413053865222569046939286609778022363709750828019367948244030350223028613520983156719745931301271277325321980961886997927609377840009332169669504613544971014997614203541195316066059785368443124227986188850846773858304631222596216959631809593831651770442930389094845943578851692391345165396940387717431653454634645435301961528850098276185836478631840568020215584161599382051079678406885797024747273595484250407747954286215054386162934983850465634395939029731121783345480568711254043706597307867480597739602136948215837062096420678882991960722265255635748155285786297899435455366135482941440000000000000000000000000000000000000000083777902448449455177913790029029892529697044443300035503253994208526632677224523880366482860452128932117014422768649316728342509726884146010470047384934874234701319041195481654603851983260856263823882674992597120127908212703198479705879800851782449569992541397464215503384214041274070024640544477380571221861696441692776995390643878716144994372433658452051266602627416141870243268036744046435722177354478337187666872227869122652010618509428904186393633377066577078252835606460165428319679543645802533327317418534570497241920867623237990690005515483341663497633294705411470266744193890132025994000462948817067182889885562474332160000000000000000000000000000000000000000084404218391863756878201000338573845991161854889934852201175652399466483566612339977457309700868361986321115190711254582126479267462167133995622305569615992752402266582781373371732263220248484680775976367659118267923742131878321470054058632134467163471198534875307596862623981719814212897897731667354719105359274004645631328669230912877962358341798656805897637025693705016298845267216101483845181364537314391224226932092144327644111914056599365824247810425247238000631211561268773904222831866093583153502713428015788190800162229214848716006679792407496598275267104557437181112478445117013284320528791317569036940236160638281188461133168640000000000000000000000000000000000000000008522020917820494436366052952159313499964329690315829512094628857385109737958564608376658005750453226596148444673731158103136934718192656227434606820659559687875639045460693523235594785932504712647321049143807545041321737845010101441423783033733349064125241510621170038593308348999973644218924312494383043576535092270665928159467217935866501848020351795479700361654823254650671307745159734658502591462198186432938526435366735736360555669317640345551105297184606515024478832130208151218709339085450369127688977725694916516174926037573249551663537940960352850044642849583267795774914300622583948945273977773430215982485452855726671597669223987203276800000000000000000000000000000000000000000086125702356287962288283563372342909398915954882498667124752748748707047855457488772807611058371446293416609661756474631982260588493484888420940344147674463094940540688450642929472044978437932313896127189833973735857694931901369200822842098615373545673678370874603769058853947057902302206679624241639878725097247357397217626660734238219852713980793589032168501603385634295656802870565899073903776227474893624786213648652284631665973701058815571193675334234294048518352426317023137352481800485277267982595306168891903569506129599391792368725555068355707731186235770937532467754432150646371329985830495040414938616742880643223872346999640380159578952083439616000000000000000000000000000000000000000000087751459976505908692278674897078009951172289580997539090966245842316782141711814141466550410737744861503436507997430352584869581763987867579191461885401071426168319965104823014067946555785243788060710792992891727338232174749312466620640244200425576536507033956280045845330852454840167648391483102023317752930177945339498520940284962193781357910788770413838721356633124843540401829221412573808749009453165766183249444321021193702750339531354399636453412235556182330463799601742513509361674736004699273145979407365658276018526181165498356816537133287035827430247682874269429644230472998089101671945045727928263304190859317799320288196734287593719983190918539545411584000000000000000000000000000000000000000000088470212151130273221066377975230069525058020362668680817811474604930656856505389513708491212052750627842138071564158857848948350212226617973751437008227609835830298646486988813168967109832106574712663013129458886529465940916164312823711883574433190737153375777158882216054682668391155178541858008880313416107147048821893315240544039897527089179459492247882327663420962339852695085552049246251032948145322716786044204967162838872182554396137190875564979330096721596155799916432652838802409088506770955371130051329738930751064544653983893054185678032733414125404535698722844456803849146385128485335801108332745704445863045250380083016584754852645427391080098699116594701149405184000000000000000000000000000000000000000000089307810682331288687804196965976604569314858670739413838786263325194106535850629883282290763586282016588118457512460033624262258028104440512458181313468937461133542598553443106519956803332332156714961992082963131747614687339852242902993074141911083512747247888306254300821549604449131096478999579821428788354070061049675698213731416503089589437396251151571660200441666872665603554696532783506490046958481940697868364992707051628994877754936196182032297104552422394436498566545836863842700457504867976396669613564544741661529236751447706182243125547477950164630790894359080078581876031602957742108017038109150144070635763062914440336046051766684897191985646723711966287641136141120307200000000000000000000000000000000000000000000902106961768831692732258261241251589685595816405305439159757980166363806457033643898587650457615720973754322881949359882108148404652201254758492224452318477125297810716946559352266359670611203120734714059588511546234836608868641683869886075970427553019932412861925157115296918102303762381731070104945137015244096113457596430792662516540516517397531687641754197875810889934792874680513735677722401439426874507135830633851731488617673248106807559572941573126991994654518072865981602628718577953135116234795137558459139200323513634488347398645174396533130572665255585210971795055328728449985737739554881103546477773600767853501280284549700990239282845193759178637759158151245061309271342562515353600000000000000000000000000000000000091150729708692506491811918909089266792293951314079154482447983611795445765178860919010744991848856998548631913153792368122346943483905126939511674556108140261547710660554006951636625550446919069584850577426552050319724454327219766843535155664805836390758410887488334907105317173223293662443639993451336327824526763821503014930201126237904633327230838430611061029422812826970400780484201338085134856700538184508991376640415787329997467800357866586460109115670576450973358924539821939805370126463267461746373978452466030637516072448589773211702065230594758193739632904750476911596656165037812636708321754212178598427766059855100425100893772828641334926354820825370528521605204609850966873861799355466383360000000000000000000000000000000000000000000009211264218829535882129299827404216598027406446023957072019458630447389837893637700255969228443585941981181360459250331588774300931204441342429204132215065211494918978120432585008845165359518195530972679048894250687983279121697895815090410176072151228884178186123978895807394980394052454982817144457398815105365746487028997481046271361210150265579771763500574314285053309557986569515305261845187563744636997373355617821410344299916666662544162486014564688624363281786641089498355802389550143036363252839284564584036504131737429726396179762340015302018125037125089002412374166887859052242641030349047216949528897335439976318113933312084000711192871735054596143648133534756752559647659004686283573095250473369835929600000000000000000000000000000000000000000000093878938743119297168056909178883300952939254054556081339687817657053279508947611492034603073634379505434991667249344809345424182630850576963880036918875090692475930275828227945464784624679459502865470683061025319434116319544947080060900434114970829926275353341999829168268187696085762780647006283184612186088262955802485361674076774497515439219079458669750774013134308900317461436251339733676414721245451636388848499441347249843071203156535196108832969650971984802475537837216517080886899708938390113617206769687810000754006241022902641895352867457080170786992328085738203861365760637023924410558340695596740414577444768129135482727486438225760943352490625406266352327348922253861157360896782403682323490761995617487028224000000000000000000000000000000000000000000000947157660858768297699060457352986023595194673339272856799941287304842167210029520346502230191467065072832621205332791826964671513668744795963029250354289503965518701042274205281180528964320686688970740095550314808479045145435165060335298443625725793345999242774184707867662631554110496293329836239219742029208501584758856086783818271250398503606383978985912709109896705008655100671939440705970681713848161153645508266336098261799614797566428431278756883256251457280474482938239915890651910427229258234003684873504277609686288115665033073608447915767230385586320000426920799251792190294381034162182405660464019896790833772468770558794296603770061165088233988678374437225944476527825572357576133175465006373711200068945746996494336000000000000000000000000000000000000000000000000956080545016971971272252781280486204333110195505722275737265818317370197344022436018693368453164276733686799519069020864687489174197757335487938329884983528301939175079421450148335468526860931456807385769760918436292259109538035725130339945981644668006422585339195644669147210462299196618774249550018819538748264855218358862463594240616754581022987899117965872854351402640043090262579058195634551783421857523709524910637287741331756520325336016000777810091520657950730011158626860412495478434961388613063742423947194426820060399432011188953524328207248375387026361312331495613354473919503568709483390742589986880221056351464714064796910043335300482319038075088366696942802004184224590949819539637831587193937228579161551693502961474024243200000000000000000000000000000000000000000000000096538617905258627715470209460633975916136549907655003766232357764724303228978728713059420020647974823622188076411540229601352448867117603167198682314615984263794586034001829891041026883710662378532083509325292536741114373658527048656928442430161797704097744391901090564577867198078941860020583237313024235015921426728026244719793262891981660572999013608930780225496823116500274766129416028613363902994176249575589678050415989063927351806754780296673320360995021399991129882281709562414409944014637620969857652417399273230626356115895417038433012934330085964554601706874642223941264876778720012536125342393001037660325692692656357218712396305938897629155372627387711544483214811248087464918250483285435475934569068416273967597126707027787330690744320000000000000000000000000000000000000000000000000974972764947036434083840749754819366605884183789514594214665268017350399565670755250178610767117762448242592322967835502978511585724354903630222453560144011414943415099372131094780986993214937855902290596382862083177133610105903047115323620823217811863043566748674400887545126303253796800613809435372137832269225547931260695533260955194125174739887751625363924509281232932978609415493490108832972971230869179176749311849419064725638897144900783890055926839324671121401663018670098833233365727371970044244727215607281765575657828120873384326120994868851893188784299508896306209189980370525755768586940900975607419901070487420422249819617153133405161547517699600323304671143042880137103213669885091018227301932257803685812954232433836177239945528014071220142080000000000000000000000000000000000000000000000000984783103450295688866436537325911501394704475272769019853279554609163182993678445790208105441036024456022394415923643368763117426978583752083211362336749528827735111375239300449660256625363129430294028943561352165701860323864067643697869653977064869576292160406898742893804390923879747144566624176840388749634037550245067271062009410258021124734038959014331999067266779051313651668096993977375307567601122836880170677284453052399256949893412830179815722581725231585117993911347297139472404931975925139051332944133252703924618750439668535602375747429063819676383647860027398181202755379648970928177348675310152848998218689788915967828610785072014270598753121960035493179409542302546578632758284010692260726829078193810939055755897373363819834624259580231680000000000000000000000000000000000000000000000000994791107113190954159590628404439053045850948714719453339325690057223898646955100178799562617577418593673981669818431964074076747382727394721015902094552291364091932969443165214310650607625578436202263755521958729588133771795612311818340180512447493979747345879571661959493034243054079462803031921135698113244305074471896721574518024117638706169285549379992523525354567607853877267484075045929946913574374471682488738907704123138350276044122160736984641596369208265447856028075874722390305710465471796127581470259257647651647031144419174887942456289402215655812860407728333344967260378384483135655338509127522454672047468687958621766628567780495674123022034332600763214343531630581528990681054266313771500938066652969977258615404413045135482126131939351218708652890021823512576000000000000000000000000000000000000000000000000001004995735528550574879127199874067465568991978474702464408262749385780352320710930031037915000536665268834872644794453210554227224382756898017133189159946148698487322292145073408224434399663034875399484936034971148701002882034003540439784495550243099835505007316035458258684124764138589401353036923149617486747114702761395883606757938343288771058671483787335426828893718022367627463052540528262859526745711545779061525997187806101436959364713915044741271373742432794311174985927826653924818419513963770510460821586586232353916499620834783751345344290834860982200033032717936962991336598225180377901116001182800664604376959051194302455408330009584284310713553472080742298131964130943873278187664328697586249810402932328019156793296427450863923834431675850198502295927254545409129199750348800000000000000000000000000000000000000000000000000101542034778474289898225766629336614146219169895466182495898896662270513215094147390443931732643695741936191860127498581735114002590707213619132601623119454487595920208001965644869872206907807583904597720985861659691993860354134836612517051035070494555903102414706717178368555815361723129391403677192310777041318637820233762134036904255011411768515210851881212080146965022917727407965094695966110595269510178179429169515792946608460736220503293897441579649939443119206657832053410341666808517025316574262942703280259523137169305732053375954861475036654259030847220589209213529115118554558588321791238755192788111873366286555006616935501265071603499080891364026152189901972465568772013940218406900323399893315784693788849366589753955054281721685543744752190903114312009405607761155551563612160000000000000000000000000000000000000000000000000001026117150083217884189429581351216129691181405084286154479693772799556929544426344470186451434934122614352350431557732143722901530606114749709422778347164849014498587197198079538905600091769806409058472698964193761906286107736107939987612367818729784421454409335261769298689551102573031955468554787069895017237029367302389087110822898724608777086435454674974280540633146700785171678555865667001046058705957523837580538173568683756431875179665031843222214161077641926663581469128553407339679246651424409536111545495167610820679605305954849398461100811215389710590451602520866503521082218302496629189315791206689820705593634624960551344605041447816337404594875423049453694709390190905386841910731499154920828026510113668052207474241012584526169612249007786706087814130941539084580233704757031772780789036482560000000000000000000000000000000000000000000000000001037177923287512828915464346108096843123858747179400664138181758497698314995888882346367962719647124103509309998014193743570260983059057452289742934413328127963785928424597277787825727534396021247516202749114999859308504716355680981790379384247335339804997799510864154287756681033559541056847371008351706027740423564617098894936753015692744436165950477156898287786026761046997493930188033647062505270178635143760623508045287762449136835250856780696527082039452941856998524243070479553390115723113928378458484768941390504361350313822099646919119173779743323660403334342233336159835860728011950920333095647868583861245286899511104303391894375328919471738476136127032247221106237079973098942791117004368007414108059085160429886364383279018186513521983372630835789844469534602708112165773370408249431476837412850991366144000000000000000000000000000000000000000000000000000104875412659275808120529992079109866531083135597695249647845884884704300293032322819437242450869542307127703761893375455423440346775361992223692613620768971487403060076598259388220142750107348549183769129291559129068964462975915394100873118425189557843531019012641227379340316814285308027500684933714953344940053815774275576323405024515735132063335314565727718313489511873981313971033868949246179752621679313917945228973976258354272820502484208496501819151811818785724620511563467123872646491820964131503544102975458513819287244459704764644563125509482593123754726069030979068040385436338621587949921484173276662415811281527604855741182080835276498570009445668037715788528150908924426773504890612871005252439447680101990073457633500624488054485147798930994436201800418958008131561039105118620237124935838776844219044843644518400000000000000000000000000000000000000000000000000001051109253809087591569953175404349953358442188219948860064318671961493919921515415605262314308502053988179470034637013970994773516082665360852358656718199266137110307735981578558369394975656262061240157469716139164638858982120053271695169666139427764866846794790192984139824197280518736010030024066803650757930708764309301410157784460752801228806130193360542646269452314540596843960646837058316164384481565690420257317867438165109549980166395318137069046302207128986212771253563655053666067741009364048720768128079068600857765579830957654504859232755275899775233953843308270030216063042468937891712759435557582394835065219737717712481715892786983021258140454515027538794008928609852868800307005979059773706766489999181645654936098085794275922011727729258887806109057217114097882821450085504139761625649888906557407995837456429778814894080000000000000000000000000000000000000000000000000000106145980863345631985020266437138223179911669439978498763322559115933192743832179687799524278808348175914945235580280730193856390687368733300063983503936233565574584538071241091824901772838239042395922735131674477368824713643046680404524199500321723632167618096865303923935125433434370098860121725008398454671752969755402086887551727690663532459506207894232962046942378427178201035082228608530274896481569461983173281889409117480650997046871766615730814300555044646390517026545482309510340559133884600999403969977147547187450917218116277154477280453503755621285463440081917342690081800143315341358137471125452683905621211062322963202169598839787386596912467708580524948214041253325148585298277559119669363503656705075706243894387953179327474740971233123916503733432961107543920959422300160130824455079386357018160138056513100456894486836978647040000000000000000000000000000000000000000000000000000001071994589670143657702797564244933011755562566558749930178800537770818118838625056563487358087531625522891517916792957905936312191201031069515766550485273023689100828441132702669223849093431999725026367638713484001108369964231707400529655998575003419494917643516774392020397468823878180387927587260139311379609506737173853737511705558252767195391388676987841221396719140541380213358967886844588293218042115583526997237767345833783707480772342866940324838086516640709134259919734817609053776598574045469736964178726919569450856014160192261959112538996198471128035991539399266796136052957357219544214753961782318711959763219394988395354386901085310837949866160764567633158553811018729565017430961613922002345941578956944747842619124544395162924297296625958153440376231951152724512576514206443509261251733620838941815357116443885542919065254559215621043650560000000000000000000000000000000000000000000000000000001082828475715144348555226230126892492614783775123803905771373322057642264965499211483400584644715213725597273519994751163397566391805309521467669226155697478923051920773845528546223040771427338512066045870553082075292165360880001501839821051283455811362340858087049806623104009080892862207829208600581283322719027736249485762057849336809059466370620672942191213288243332596828171801406000828844896921977894465011702959415494702651993136076140931891224787429401848919263759589153739419033812094091354614624109275531693615914228155832913731083754978695516484552406157402746962604919561643687000778522218363055420368818844466435659513686630325745352514476516492488738326265286545959513234630390497360043520734688698170742519797871083631311416117851422517628549641305290706422236933266195998848347608613123045578088706341555916748873382533054905450496000000000000000000000000000000000000000000000000000000109416144341721304212982354788915361402258700461418248373398038970971043703407933067838846447269497147693578690022288901753591330215331168929578239995117386707775525533825991907780504910775460543142889437509809501516656726884472261632362371997412441991023708234271673009393376296788097480629248315234172402575966157801047091906169318936705185089471005733834118059196555127674514053602272225959795865212942319736160610230215970348251769484924210102966307515069295390472767123439236308834136507843512883256000671914775245074085811761210497169740769594317102558331730522387711790776600101893901451978897430327720847987973247920931627024621622354825844512635180396445607435740652349956433334247293986237379319757984826115368251088225758117891445563958665758234599909918139304494274608536542975681391377243903760873747746672807586893549376255299668855608400951928773297646967193600000000000000000000000000000000000000000000000000000001106350125308776080474953420983108837258354418405049426348820452462581674553695084151435817673215851367988443336570998391689627876806208943558575873276537436286917099390842754345427720696346033485781865543070013968458122482159441521056281543278943466638099526596712722282491339508383141481342293720342131710717836888346538858391921958548956195333723455833129355235766424707214152544525427564554260398070323570467114740464379036826039458366893246313667553238380375589809637059389818729658594858249406590930793118325175250534707170060742403136353683921889395771735248251268019339323834505219287740944297276279871717555891120848223147910079139562267726776986485101974970851918342313829259705083734939944266207945653110212811704129778846336021887636265897402390149851523597725793117717798025473740620595802227748965303917500419482315626993481291091460934121308087990351894321444737966407680000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001111004671557385331808746966228172519886442072217519343057110817394419740756758137129784447896451541420883910672478050340200783199074710129319340023730690679311789280435396843748906919319107569468089450546207215604815790177627831623476448602146024038391544903664798155757926051495540604377033301219432276736123211663854463308777680531126759713002694981308152288519513925156621394780506829362174802401095052972473872929657601475516197991704817192812115786393757104792087969166745010982054093626050145332993715796453550052245418974553891148119858646153809991073224658807730835705069533265893640762923292566551146000762524395572714007968094936725667391386192972489385779041774140826859223788996048980490874090072254805766814867413431440691984280788137710859847421282378430074534105023600238022585987013907952989344486965553367289107040424732983120146108164156804967983588187377609942927147679088640000000000000000000000000000000000000000000000000000000011216475126020178021753572879492488268912457113161404833761157790149115284894936103351248744723516261227591775594183587173089003568856778678838135955633425149048504062508567028840297478657780159741162189786240277851918663630556132930131758740487439313954986393736416971798212751139311172500782966443466314103543230518843860694389259958775745080305734992439929199085689773990970639876862001090569309874941305895756575240991658208116417226119143090677228618875908759631177642780392174431753640896751919845641607870454343137165886369061575634958634141483403925871466368085868263110759888398793452767399773971209811108768950298151727116597639958273815646313145096394355661665149746783208461794676265859636423269495764574190621583598981716809936809242863601361413141245307944575758032178089552961342621759000143484726684580569174217009875118467817088942096060380445840132606253189770400187732086619058407997440000000000000000000000000000000000000000000000000000000011327993552949943208326760525068412778379034312270111980659425426779699674577179352639528620043473065314960715044405759449694956931823103936015705460708151616191740809171016464368736359215085758507179295943812693397260676425225757607028708026488925516965022145725395508155913434671979053590996193571472875606775288371700284123974827736613300528484042555235256429736896522357211008797964771914607945714056068943205695745287790594369633202606590799660071409829937174732330874115554508040459159697379430162268694835239195345905078276560354562791849939661760705560254527413427450380988107602827149775893140564440405814426414720496853206600588488255824881943050171687245964779257933843851367053299947697108488274266264781016344921221424521432650493913711290109453527999383685191544847175134975045498694246117602760035404283478321190665050504017437716048664608817323672668532206220910965948358119199541664928411026456576000000000000000000000000000000000000000000000000000000001144926927663666698280188490272566205713860170580225638241657535931410399398354016722136319058294924189498360488299071395000776342735194987315167248738987094282640963672014524233781983722381906087824258354134070161456625540768455137647326556529088056201886836947752763124870335179294221564869859163201049784355956840624865504480467179491016416980615250192278998929198340851298717549413347815280768615543378268733581663016800996583634456105574733044101342979446799675563212433145839776644789143156824648814050984516736388738406195782805447323460773019907420629367667304970607172929189798209282428792221421253230135783730997772763535311996390329232092859207565535562258659181112354880109016996325058357766201636196633018398833309956723387715959088752517165156467706614104669507094715771807349838091685069046126628470462177529748320303472167654511005861890212462762828604175230536529477547358443616949151063845913436347380531200000000000000000000000000000000000000000000000000000000011589794523500667983678933063424353341161373185403126801866133296621431024839582874623557212139247227562470674122062218518610654804109167331237928315258615018616146600703316190093421428928194227929153919751750131999141932172151521994215532807613984832114460689551819151305805655438026280195524589589976504570341985386597573157386121063081863050616930845519455813557186153845785867805698994359068478988538995808013179014346128911084332065902051157137421105909365564499219766350129069621537057270671245268117505741614504658042613883117067707544251490638456790731114534069469818686901634669123471203543102257712633867134409741854724210248069496298137960032654212361624025670287268127151842052263427621791224575919540733145169596821951259278732722803576404919003520087043581213453914066805685196968098585079963615820665619438446327686551441731953145419992328225470993202491807144370211678097742799007646543238982154356767390227816146534400000000000000000000000000000000000000000000000000000000011616941346973627468844422353598683194457662792954532363160798814084278994539475915503920174081572467944526974338241494808237202657863679513481924472432933192121739081805782265813092922251783730889566011881169505298428613915629549936044722961111111939633751335828893931144476249283514080387412978743950924724510720303489154614064803295583143642705887294832617751990733578220103893363984436784671861298568540112404271729382261476211196833618209396641174132282745154805625574297812767348265418696650522181870959388288990289657087448541240838468270486078231988697916998749621250103130905896421837525223503167402333941734067999612725660442566041373872566825332460899398744087281067697062383350494395945987405695104322163908189102057990228716397045758790814233632702692792932256928634762687046358649864392182484335961679414517341937404709245782757533089350436407784523999652293935432270489622940107048001434780730905187268682224319163587638130114560000000000000000000000000000000000000000000000000000000000