#Robert Israel使用Maple代码计算，2017年10月24日0 11 12 283 18814 2416965 509037256 159509813767 69656758241778 40443216642058249 301339820241370556110 280290831686909862400011 318346101683481173980932112 433574184611069585597185228813 697495809751814776149010998378114 1308522632478970999612127648840089615 2831527332741362386098783673130999062516 7000549471537592865563950351032553150873617 19611119349330138266619716621116993843608657718 61793519567925265366006911100276424269277193830419 217580005453551629218773573345534122431971521761740120 851125836712102544095126704084978954736660548812800000021 3679458753012704944013468758141060027253388278798428144502122 17495379207762032586834317806749718079451453120633619693227212823 91103189552758089592417451852555636689182147288211913759189918952124 517486899852650060586864488082143053698494338713013663603402837957017625 3194833881801261624912982188485377255921695147785177188528593401976601562526 21366512510080686122158161168859305042914102545106055476981011597932350773657627 154319195562972338813295282888800900583270337511609853868192369220301810932413229728 1200246888930075008406788322321504210209018558471981772596431161759541573478592702054429 10026219742024218576455261669316141563458158183554441824672577595591204301853223561742722130 89732684268119607921735928837102021757843754151323558845071784422576401757986336276480000000031 858445990905999427533898177068866913402736014307410957099630512231400362366723750030887149072480132 8759727404556114360195644373832431340414158814994861347769632552406603536893986932584972599348219084833 95149881135805969173815210017436302409884071080823484462459028812118368154320348413626053073639986797680134 1098104635180392881338676708975642662599296663363622060021763679511620422545700198974952504031062574312823193635 13440738666720523683113090804213609875185028620810127947755592949143187102836246969084346023039285817720857226562536 174187431620731894588061174565853464512894033137921941522886217340955657428650294170255546918891996201378323197696409637 2386358092595168967441845644007976366926588534609310816162959315438639657477891103552982658939334487566679743451162441383738 34508622595704275168126370312377209324066473195195412814031694703594318792495410900053556836254382905954396395520291267569254439 525987282820443449991417187624825048171029887493120274134665658459957938164518173906484084147842653695535201084022809176314108312140 8439029980226874412276701346998432921774597575442668146531650661243968387244630680429686581379222556841091191224908508037120000000000041 142338646040176281676384522023264102949070425822311280386192855890087456541820093883984303524559744434894940784399586122500615249442299436142 2520789850910835677444788952297894390776303577069185598524877677284465128450873164052499942821349967003877858633125209174363001911806582901964843 46819812262431604200699870155813521898441672728294823954380159127530894896430567930762774833916189103851683705923817937852560407878891243317920292144 911005637208967412313236773313299844285929101867612340559000259464602987463604089847614483321690954682804261931085503143192014499945088667637857753497645 18550338464662937754259291297681422966008618463980776132923762618107678519492645586082916241007175702364217399304719285804527403086865804142250846606445312546 394896597590074893396547401243214697158229767672747329234534332194594765036175994103949455890957490979534761151488182583708504262786369288475468065349859645849647 8780033938433870300515678303473856105576422795273238498831905921967659356575358221557513355802293975862518158680030330029864761976542104207890751818952179576425129748 203698843939621491890684907440164985703720657487532847579944593990002138066558280359049125276162608888279701878065558494676291319039413000669712552290366225430390138470449 4926920476496631288434760216473817082635862703940830159858089690714996768788243728772755268630638783371258349085855224562392491017890025551158540826531905078506684417777960150 124133191404545126003134924584408082488514017435700035353499157494504229705505985829337396530484221843819847148237951950790452661387792295394798520434916681507143680000000000000051 3255151441696089976662541636763902639981483423353908354740716021577668290304770401104229034481904790099536239442030166908467805046274276465964515181053835382461875067090928889717740152 88773800309532873557855445981206463836225463672295596420491832285257048866495767058362218448880833066024601770528962011214653223998313215251219003124996579898680236887864724227047083212853 2515945830304120697864054425347659483683448444364258845416190462831539174714395500173732274549312710356666554114049723495027727084238229935395541113043524910633975754282442976142879496013478154 74046664763820437788681989695173539916705077960758286849852770064896938231020968077997667220952056058360284177828243334689004482248651620125732102731038418284319532883176910746846395532186327449655 2261486543624505527680999904963549135426405426400089474099672492158590285582083535039931860202151175874179011840781899342979320898112921401116797914057240451579139173886247940647997919558540649414062556 71626608531192511828316109055261072199051197484229973385454083570419779087979748226147928040115245089658919167723967079614166691890956818341130145565590544870875002483889094486808558869383946046094809497657 2351065168260620431326179909563935257843578113573772934115358968986728353871514604611256198571781485514384122780861654263942539468455979837815313562549234947245899273399845174075877771374320691253473992058237758 79926862165973790363000987582726812444027124921302389323145209482268514700111124985416567955807045993571190181603390370757150338063891084793112131953804045527611205489072392625051233181571914873408973191200007782459 2812522304350307737746690494200479475810492046457480418490815471184947206430483042609921242612028011953088566377279694210584026422295372678358185431106344798780554238429297943122392042266520306358895554614973486232756160 102381268429884738113852230208790539694679315153490103122720306754851213925270379478292688056632941655278907419085651185598451916396040077059084878164578811657206079754862139534572010509479826860149377387724800000000000000061 3853195258441597228708692537817912904597710670166859090933462905008326031325339128502573087021099447524115029834451940378091402147447394045570851370854500866384190939442798280091473936091223258084865161834072359238700712880562162 149851196283855387193618633334516769745297769535008010277030511220749122411645501285969237584870268823680211924775629881408262434621614467978820931541545316447539895281453207598640604947586464932560848968437562425979643025129524428863 6018779820172745775589776352367622827149372300727544151003924063159016636549592028144422950214286239105007912860809518300109719418443496953806178946449045806617013977126225316990318708217258517627280886465828302433998548448182936861888164 249541850437577868049363673598914202768641065238355107787834928304010644214039023903955792227614319200972237739296079423585487036880773013209372725487277311842765627321461784312465474195101136589295128755002127640011611377389965790821325209665 10674550977859230097782188646563433277409832894112847243504203722730310064476265177007315913133727227705412367874155664931764118325767650392971381769377861443022391845820071867915549605377688053797510283474181321385864861987727411753921508789062566 470888791202185569029474165461815616666614048115698307896189290249743311063982676131113941754165788514169058621353375700515938228351512820908202643900516402809546597810452669735798630667568434930845183233687167006074603570981246513691955326147467673667 21411502916865552118488214176970556132807844809410815318269615553934792603375335424893361508817022124550372847257981513805106654766907670892308601440703183311013652959896095481835793795058654364061109326519006052966336073877504653177271242364614293145237768 1003089319961672075447709922965911606817563637710993458955673759217146561938513414441768044902882093219107079068434695690197977268996553450273002126905895900590178534375443352360017111450791853671782360792588089575234255688912283063185749726981908079449630310469 48395511403557344406960005105941546420691981652416844273773595822252999370748842831089559184612710897714723983692561070010875625728709431367030163130589488491705193221774656431549684272485390474372193656559090899229010927626161634603765530264008871330485084730430170 2403579421279412273880056047756376430714211540593971773852827424779545616935732682518298839783741109184548305199298018630380523061422215126601390660742791935869845978942253819731791756786117553751832722941522192610074389703511081428834459489266565120000000000000000000071 122834388759545748857051080288592865623838219608219059642757933861020888864539722843593304114021053818601766378898992887628692114169137650211707353419699084711338490883959027391381899502981719891652157660174482333856116285902056377103810096065737037736271851682712325562872172 6456762415684236096468545807254090408207283762575601864339474503271102980587394847239698301010784453783442740176066830954298933301938392942836771719893794475393381971207595831993662273238195417894385404552246282800797952497090239963966178262587158231789262051345793420039605452873 348957944039401420172910587691876166732988772179117605547460065847477414963262727480814165880974194657240411432070520666657865181508172969774549320014472585535306624781464296965586598110506331997304470895580166154587237617698401829479401445747265462437025481532564394096680270271132174 19383382849393752263616289168968296488569447109222005029087515340222584919376022394122190230339224462941709130080986022147491339227090404180911144523855134863210292988912198920514855364591490886394693948153614910226349386968675333002199806880182533894741802783040765256842692162913671577675 1106174085690689516775416574628025601435934680048514204925872819730991883440366983619057179644565346446815310975096952668472524148262316181083657897521792246386632901518037908966697695065852005814339946523524465882842941720004952313426829383271025146577477870621071009528111210870742797851562576 64833328171950554272793063105571796094294453832147272275318056727799820537013473962828709918358406809720821732464862748311650050177097561304228250242491924428972297931555171615973594844454276634081011438223326714581895483487832470169469966260182309712317066309007231547964505674157148090219993497677 3901231378897687846614221866292370938140235410136574547929781491353646110567514913569322683883302735514095649829309704936837676938425117337253100246942889000676945412714903120596778080174157171242415337907936456474871615712713462104467890248092352431003889382223675441007381665138187251903707656824419778 240926871173893551243195946170256386651903792001239267345611279050433131943257022498884273521031991668001213154826207224850192350328160592639276805901238412266559493465521212654179830234807872688250944654486870909459837647424920446272104635551699267028198547222326414628478628410517334713342775902584858214479 15265263348338358891638905013022375936365104337926512193584833080471650274202593352625749276019156232043705002988358960956892430589798213018523637020565298508763410643316143893611378416663890237557293186785198938476833954955383136486143009083314777815131545606451564741525038202467238975492009167265898625898352180 992014315050310504312010250388645125243972129783193360589633532142776842668221821292807260428660231062611561213664036897997041975843812937359902118345019246074624568136333694985361710462253317182157308841838185531815290768356424526944969650334682514070641912798441957678349271784946225733278105600000000000000000000081 66098062383169518493128614539450962646810048880543040361152461669379935827337920158618590819668222096161353713005862466642473630968924816748741343422741211874564508796626271176042370498201459808293743965617605041797050114121245677734872736381489243734697118225787397724712155681717881556675433619042734477584660803820440182 4514219116089486956394153085222513894060503679088157814882698500689483380886343752234986731406884132613754981544600289710855849124338764894556746509634422788734511369805700224576629208766183434707476892002369475283304884244457226102413137485405182077325412650385651578408179692854282857364082184214440135141054129337747164364883 315914016369234326042320838207123936295100469013055174990851130074440376034847263523576786656777391315012624882710427228194703435469208091435577438505005020262224836570425941010662974883082739435355981506829189350765923153858736608039178941498665215165145552147209217423520067602207313419609768603086278093568010895791500745696780184 22647480425452933310473860629093331904656042523282394093757255614287677020819614622440029063769343975167280402308496703649234296935184208633943319718383607829871012486425975672859857644016633460270595418335081808228217548064173719508439194020328221852428862619850830103496008951244636249572834358612830195309988584835541186781248067993685 1662689115330873735239957389583974148907403051468103143497915308322310802335508821073013929639204389307613120480323710363813740066185739488408002165905010641217759788494741331550074842597756071857722486332002456762050539195976414063312603962589540273860326290553273750795786996262470733861194263784956664476134342688018372128725051879882812586 124974305643436371207901972627777451828580907643224125341349562598586352579295676333192041977102172108347554949853988821159685799170699930901600024095450238895824716903679881996298552414230521845824408974281030246346929488806132856375390308186438130326352126388373820810098882059951881663120871104015792439681106507116456467837265718157057300889687961457548222341749053928720178639952190662321469846850000461478192954926413524351949575491786162973368808377909657275419184814343184847626799528913622665466718555291760056819281027988197723487843246471075006596257254607253905365960193316444335760874494534810346358517520173362381902610594815466235850632902520391677216013074286843398940757932966483378875687317204734168152461944073767899844338852583403913121443090032110804317757927925603564868290981525172648068930579743812939653026484705708766596643954571941180661131747096456840274924636991797866340197267618882574468276410671227610572104885631564523781951519103903195755877966459041240678617598121996647363981621824186182512657350154960862523814251069448960951764243611257615792658537355398413226909691801712966428588703876804345567399833069747776521840942339224048281654242030863409292674190440502094907207508225236213072033459207277117230761968394047688911022576572445738781081619715492343759808893218395726007781692869683640025610987081004220386384155946172855873797127982194122793495614686632631911979783464532190502005786872723708907074693666847383632015283802676953528660042072702605047439033184928238064403389429293125816657835740248944270388126234529434349062348327629249078051025333677144859663077263067950168038084974507039686461003241927840902763483434517105930645337701382398328210768136110080052149548144105690577169632514509910233565609003581440000000000000000000000009142274843336430922093572686878581058593814847776091517432809180355106937018248324664410857944910546540309898909963029330467590730371246387146189383896764644227091756415867955540662953121871574257752596279059205856541422746027717885037482187628472485703663119798724606270659463292379270340536688561786573522758307699169847320929768179978526552847582137495983842284786683619236391510384074682979947255182564336325782176872444615127384412483235893672142605775784852571544777508764922103133407342113796693602923932309578846876470565380562976036553246701442617872663053314132678709449451165758417424760171844541438171787785551886969794797173744325814009053375385701665602201858300813459601728714920958485428731918516396726277610004390433980375446113484893320154197912338305250862383743107972550960652884355546555128240369992517419583824781109417121005232809354620975726225604178261183958960607680166904350029381167351137612303988115433280887304424696935393792101925576830287576912634155698833792923638639150459221251335825010797185152320738184546042054745666262640329339171632325033001969099017542150004457885948480733335357746085936219428777817423625602848675209796759467144245534894673912943819818948786074262779138225167041373052865479830847767977465045337098064292412593054080186436256508293641309743348804291797366527749502562634665506186509949542031370784956659689875323728940407773612507040211989057639728666851172787596044308274412564710580920386779265782177179508298001813077148862898167841891254244391268395253769526423885788591503180379824196011327007998476385620819276950271338284967373556571104511077684426692176877877560685371935561005033062367513276377682426725003401878092362983021994730792126530260297079061237845332508285621850620714310177991439429337618585463933660286308572602877620218073432927268660782951590299209514327717357485461478486987914706822477768131125485844784621626138687133789062596247786950110165962201909088269701440347760069201622955712107481081783589132714145297331244906548938618569988849983900781655310713854917745998652322603445179635870020272980120882957267074281839584271909508771212060324354299103743749396425856363501921216711417364058880672925723516318663625723918589811278780661056033426864178633212655863191089380580871869452089742036536701673484411351990230056969723725089354711906283016324591605482292473947761383096211415475842078872375695091953734032690097297484941761288047726440801739023208139045037751122355758973512496523861889567668375386774435004956800812049534807337915640524619052800786970606342827189316043719472995776446536052285391735978066255649397457195150729366534717254573787016919450489059587697281374942208637778744886866970931128770593623728979823189516339112622513869640925788456298393328471058662390168581213793050498959340883359822666943698815906372776240478936806597936025821754477091061807085996178396962267457870224248818696468166921045663474339587356997989284170226165057859211065964892825249344590022561495348535098582508572241504723936491463554689958644708940182146768380023846018135142770221195808631558734475328178306128256890011187045990499231333518251151579368138355823443475459303644958308722430831475900985671763333136069586890873260960611017855086539734436920900469080634898404912360688696470266860345844773916587780018080659308989282160290314309279263704386322658628407669814163981065101492775639838048755816928654909474269012198779253673355242022775671769676356826697619909833249524738038400806423604329366332567141497309583745352848691924662011002354826692369011555118330898024274711431575826240819310303525595488875754067043796629454795535015999248789212529319207326968639408025205625193860571390811921999856856049187706787412484868731297224084322738008280453616477101694887710150572956533704024023965741200197682198768768702162186526146332185894024250514410056715844351216250906050158350737005031479235770577165607082009845745844224000000000000000000000000000