Recurrence 5 lookup certificate: Scalar0Exceptional coefficient convolution

This is a checked coefficient-lookup shard for the fifth pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_394 : Polynomial.coeff recurrence5Scalar0Exceptional 394 = -((((77345270845855690155203 * 10 ^ 70 + 9295557180695174398236922244471347645101385770742076768031037929080254) * 10 ^ 70 + 8876654378213818432357119789763554329670381066986884780338370646350906) * 10 ^ 70 + 6403973090574219220095171801042521765913412969149619478943159699024444) * 10 ^ 70 + 2086275592096313350130131414124526887144969889552775676232792965894754)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_395 : Polynomial.coeff recurrence5Scalar0Exceptional 395 = (((18216491553304888315811 * 10 ^ 70 + 8363266887892740334652424229203789027851519533476094854123761968052154) * 10 ^ 70 + 7647820784561534008126098595398383125126300645887988710594501197097281) * 10 ^ 70 + 22883346265648168900092536501722798858413784571652589786623544401525) * 10 ^ 70 + 3089457265919913549332060011948509957314610143313224919812618071281551

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_396 : Polynomial.coeff recurrence5Scalar0Exceptional 396 = -((((3947043134145662615037 * 10 ^ 70 + 3467399555865388088696848135267694850810263866774469835103367003790870) * 10 ^ 70 + 776046625690072770467626957917733527901433677501908677821992364412721) * 10 ^ 70 + 1237882730542570349965573846310158265575029858254810116170308259351926) * 10 ^ 70 + 2860379928648044184954163626102149253925573588184877476223432466071794)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_397 : Polynomial.coeff recurrence5Scalar0Exceptional 397 = (((784890252251120680332 * 10 ^ 70 + 5929692987552133768757799239042328306322407578627286525856803911713615) * 10 ^ 70 + 220061216569071603933498628728147687286467131863605014113783376163502) * 10 ^ 70 + 4411601535374520411169492198426330797577732810667603652799414934687620) * 10 ^ 70 + 2073308280373367400586410205219780330735224674557827237983491578787599

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_398 : Polynomial.coeff recurrence5Scalar0Exceptional 398 = -((((141874039109841500383 * 10 ^ 70 + 2261727466544959764363144773916249794677609371393160696808093453730978) * 10 ^ 70 + 712395983692993646369114964938052256353134265972777183018076596163264) * 10 ^ 70 + 2679889647331741308039541248568662884275452919741357257809426616478722) * 10 ^ 70 + 1226543201500069104060573985105726913379875511459908873641929158941128)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_399 : Polynomial.coeff recurrence5Scalar0Exceptional 399 = (((22792143160350716220 * 10 ^ 70 + 7743716172815101066012873838956053089181400955017493551424018109586680) * 10 ^ 70 + 6238920102274352555159305596826294407427325807807501476242860519786215) * 10 ^ 70 + 2331408426814071296250806431333340666916700085285744753847923644896940) * 10 ^ 70 + 8143193773812571957027961807874047041793181676709259726980841649346847

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_400 : Polynomial.coeff recurrence5Scalar0Exceptional 400 = -((((3079160826700829944 * 10 ^ 70 + 7925041956940244587444844571134665056624112085171358371538865066477479) * 10 ^ 70 + 9584273840905957953219233293387332246192093766133999400244093182321465) * 10 ^ 70 + 1512082698366058850369629976814671727715160418460741580689767454570878) * 10 ^ 70 + 6947190200022156503097511174623044610800415098214477380183642780043246)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_401 : Polynomial.coeff recurrence5Scalar0Exceptional 401 = (((289648779165751908 * 10 ^ 70 + 7177442380123217570512045090606172812870339676992117612160579560992567) * 10 ^ 70 + 4456449494635999753700536304577282126680993176135643458877836287632337) * 10 ^ 70 + 1853853348701449768499515097486887195627405815694140370666489957330018) * 10 ^ 70 + 211918647133150179773928065414560818646340904760656439384122974487305

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_402 : Polynomial.coeff recurrence5Scalar0Exceptional 402 = (((4389490972671374 * 10 ^ 70 + 4284817293028042563832865931396469686071148350970962036353776557569652) * 10 ^ 70 + 6756873611623659748591845912217347170774965655456333433561867216201860) * 10 ^ 70 + 3598624699220745014742238213095696620227581136318588228463265547055280) * 10 ^ 70 + 2747234117828037916310502824280611900086095885207280169496577505752907

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_403 : Polynomial.coeff recurrence5Scalar0Exceptional 403 = -((((11241903607761852 * 10 ^ 70 + 4405210232693890484858960697152982885704359699493414799180017108212923) * 10 ^ 70 + 8886242195632410505542594597830171125380842460332001054424733524329695) * 10 ^ 70 + 6383098692949975821209802292811543215642666618127428106735515423236690) * 10 ^ 70 + 3714025171403901815785401181628837204407672907682482207614010628006863)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_404 : Polynomial.coeff recurrence5Scalar0Exceptional 404 = (((3709823144195512 * 10 ^ 70 + 958391530352887730973837220073045853569932480643373185603126743572643) * 10 ^ 70 + 600434158768522000153583386625247738009520438474197432395780597985302) * 10 ^ 70 + 5403224403101829092361138957677449182006014171240354322258358339483923) * 10 ^ 70 + 4052003233596325556581378760392173025254401451618905908347157241720071

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_405 : Polynomial.coeff recurrence5Scalar0Exceptional 405 = -((((900198612061336 * 10 ^ 70 + 1208091692674098392145888944592074277488388825525032478094864387943751) * 10 ^ 70 + 6319994101031250831920962454119088353833399976875381420556997472330480) * 10 ^ 70 + 9166635367286194892646794435345472307647931069446911013856503348573002) * 10 ^ 70 + 6429207033272733780121189021464778230340893192181416242769181241429203)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_406 : Polynomial.coeff recurrence5Scalar0Exceptional 406 = (((187231429501605 * 10 ^ 70 + 6315846815554847207835961148334784430737671199380537197855805748472586) * 10 ^ 70 + 282726214032120410014867203741800708652592700331926058176403216228999) * 10 ^ 70 + 7166122027716649201289971171995554386185454259007765701144222024409684) * 10 ^ 70 + 8507285385519161884114852824463477780704746833020736914219324232938031

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_407 : Polynomial.coeff recurrence5Scalar0Exceptional 407 = -((((35097816863408 * 10 ^ 70 + 3419977986578310369004521187463638647629734416254207834424979942408057) * 10 ^ 70 + 8623716063055324453287185760682335509777113051833066683385885379197999) * 10 ^ 70 + 4753030223891673723992513013931393103946495559143005934549049447240260) * 10 ^ 70 + 1839844881920623691638741418717977577391523834493113044312412709980628)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_408 : Polynomial.coeff recurrence5Scalar0Exceptional 408 = (((6065613611268 * 10 ^ 70 + 5353418120535471077114631726975246759220209516219807059284369378426140) * 10 ^ 70 + 348661078635956730782765344488127047847168373283649449439211868461506) * 10 ^ 70 + 5648292032591719449230199676338837093242870955448470051679901720898628) * 10 ^ 70 + 708995832669086775962446038001575103751902808227817020259285161766687

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_409 : Polynomial.coeff recurrence5Scalar0Exceptional 409 = -((((977749413082 * 10 ^ 70 + 7519193203666010495583440190137415505921815684355800351066949309554832) * 10 ^ 70 + 2308698006329106005577429250625562580775376230154900057825195659412938) * 10 ^ 70 + 7893966918641514540796675636326866812799864983377309444099526150010111) * 10 ^ 70 + 7194820008749022481433807002628689810314045940656440103567261968175097)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_410 : Polynomial.coeff recurrence5Scalar0Exceptional 410 = (((147897572442 * 10 ^ 70 + 2514267155707562379222787452984845044180967610936512562524657478710352) * 10 ^ 70 + 8225909805099659292042527140037299225182422537489520919125870099757018) * 10 ^ 70 + 3322840580069327808243791764972102386632065664505033565149436864184980) * 10 ^ 70 + 501283182618183013157418943137149205743489960143445187473044080704685

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_411 : Polynomial.coeff recurrence5Scalar0Exceptional 411 = -((((21046343461 * 10 ^ 70 + 3244501620952528309310243565309943051896488350572632694026760602725198) * 10 ^ 70 + 4882426076286531233295032916160819181549979150896367152272541125160338) * 10 ^ 70 + 3345600445398091781739820751087582117219127651133684454938189354408134) * 10 ^ 70 + 3768744163751268353935784169928066619611346554991738108857333888470388)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_412 : Polynomial.coeff recurrence5Scalar0Exceptional 412 = (((2817587502 * 10 ^ 70 + 5287048111378207078624664447343563155740524587803582344208364685323460) * 10 ^ 70 + 5492854516698331462992742733404857290008520887297567771915903476483189) * 10 ^ 70 + 8157863816168026767238520800129743827471668306895222257706726166796241) * 10 ^ 70 + 9249596197630373582591654533539707302687268113525118489724627890937772

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_413 : Polynomial.coeff recurrence5Scalar0Exceptional 413 = -((((354147697 * 10 ^ 70 + 1517999110721382039355229737775328051103654745727979619929545849208551) * 10 ^ 70 + 1388646752775103097253028605521413692574078432108559183382491500989999) * 10 ^ 70 + 3604644663768626334661173634235033287494215569339950073516435409658171) * 10 ^ 70 + 8876694955940030257009144160853883682119170580397990923382009313966070)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_414 : Polynomial.coeff recurrence5Scalar0Exceptional 414 = (((41633493 * 10 ^ 70 + 6018816414673958633250959422231598234522978771369146481364836643369269) * 10 ^ 70 + 1800876562829783613835684754000493574024260547537441085871289282494961) * 10 ^ 70 + 3379160518110002566034793969300584866270256330810635056962242992696247) * 10 ^ 70 + 9142250750498308092389439561673844080791817693339159668440364550064381

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_415 : Polynomial.coeff recurrence5Scalar0Exceptional 415 = -((((4552280 * 10 ^ 70 + 7890392241673387048773440158607059297474462051321275169560694137302318) * 10 ^ 70 + 6199539464376756872575743055066477700328734559416619225763848845300023) * 10 ^ 70 + 6106250491852403026009813600303828988421276022589809969567058293643465) * 10 ^ 70 + 9446270339544846888715234094046284291992403066538825745205932461941373)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_416 : Polynomial.coeff recurrence5Scalar0Exceptional 416 = (((459426 * 10 ^ 70 + 927645754041850389569714600637964762771788213221734924028476622606489) * 10 ^ 70 + 8115310851996514218093166248363635802517824464430969068371553434235819) * 10 ^ 70 + 5148291176196323457297370174238106926165804626431404994949320832174977) * 10 ^ 70 + 8848339227355423122614463757500016822248985501915922235975690881329705

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_417 : Polynomial.coeff recurrence5Scalar0Exceptional 417 = -((((42342 * 10 ^ 70 + 5645723821521160647871282151228423279148356127686325316121962139117973) * 10 ^ 70 + 3179684916752009347375469200126364833502243514652702115917776356423821) * 10 ^ 70 + 6907322014090931543520362964005438250212083952310719775532941424491569) * 10 ^ 70 + 5660878616555814853297705355584378483517127009094007164426574258760122)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_418 : Polynomial.coeff recurrence5Scalar0Exceptional 418 = (((3507 * 10 ^ 70 + 7667033221750935751552120487065423469950401631938979617788728701786769) * 10 ^ 70 + 5123726462210860560332635836757509902602972195659964361207908718118041) * 10 ^ 70 + 156101399916912201619170441433559437745478164440154770571390103383656) * 10 ^ 70 + 1925876646137354139859330824632182912132400829058178947341889410631313

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_419 : Polynomial.coeff recurrence5Scalar0Exceptional 419 = -((((254 * 10 ^ 70 + 3240513684944549739156763828610645256321833825294010116567170254194306) * 10 ^ 70 + 5031878370170214456631252058581582386990644598584620734688383291574989) * 10 ^ 70 + 8006110576749853355990397621497849365832438717873970810016355970024990) * 10 ^ 70 + 12581098008873545451759826969577766003455027577473405452122485330970)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_420 : Polynomial.coeff recurrence5Scalar0Exceptional 420 = (((15 * 10 ^ 70 + 2757586973113462451913080227875802724207377378009140456292370962597648) * 10 ^ 70 + 2032840759049644184992392226569722154219727456353755290169632926735147) * 10 ^ 70 + 7842081119787319907143943768625995757874274118513316401566612568490263) * 10 ^ 70 + 7315951585867174440016499771417713360228321413985816470657464819223767

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_421 : Polynomial.coeff recurrence5Scalar0Exceptional 421 = -(((6458393964752461846182614682650238985746919289619752828934211145509127 * 10 ^ 70 + 8296868051797651978760759767407262250321859853272351449385517653313976) * 10 ^ 70 + 4596726027277134472327948644615837026718133133935067158450679322815402) * 10 ^ 70 + 2153687198241620174665332312682602360744629587980543540606651297333514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_422 : Polynomial.coeff recurrence5Scalar0Exceptional 422 = ((21972263267242765939765399118167753731120163925975021885401169351380 * 10 ^ 70 + 9557697065675937845739758987280253483356538453447690644631988321751438) * 10 ^ 70 + 8052204124426698138993613739313584382712156618192293530081327286048720) * 10 ^ 70 + 3518141257588419908043788546977368022369875463652594702732218788126180

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_423 : Polynomial.coeff recurrence5Scalar0Exceptional 423 = ((31189460706433561446477340523414519890020289531547453062439669389546 * 10 ^ 70 + 6533186413582320660391939230443796540775150695489252974951601014432402) * 10 ^ 70 + 6037848437781127632024478475637078028068338194222137158445675356006848) * 10 ^ 70 + 52721419639735163028627431011369633825501411269701445001020950292334

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_424 : Polynomial.coeff recurrence5Scalar0Exceptional 424 = -(((4058240137991758127049295553008089398043593134360808795233631582034 * 10 ^ 70 + 227843479896223299714290830452323111900744395091821800356960549954673) * 10 ^ 70 + 7243820257712918980946947675093813876947970730598398223750876365033569) * 10 ^ 70 + 3465485709003152150262308285006699264610450957669470092252654416256886)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_425 : Polynomial.coeff recurrence5Scalar0Exceptional 425 = ((352809428910882770601828339080716972383876172204306133561277383104 * 10 ^ 70 + 9693176424924413462614424881285501566646223692868838078258923821725663) * 10 ^ 70 + 1817516265645171498554048317669579304551575391529263502863537464801833) * 10 ^ 70 + 9147047494397332194730533360432928533226132718739297208128375333537108

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_426 : Polynomial.coeff recurrence5Scalar0Exceptional 426 = -(((24417314029753413105523991965794536163690931465341637440680840282 * 10 ^ 70 + 6922747449673300436884963808901779530793679545107745731115327007972137) * 10 ^ 70 + 1678511292640739390719204567005649410389558248810765528083460150545418) * 10 ^ 70 + 439157914496078831001556157945941573775913184572701099911697141204945)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_427 : Polynomial.coeff recurrence5Scalar0Exceptional 427 = ((1410646318062563624701640179132768862426212708352276600851651239 * 10 ^ 70 + 5451668478483301771225594227845695659126457431692819704796504003385648) * 10 ^ 70 + 9818921940625831329199747977364064652469780563769425780265671843496980) * 10 ^ 70 + 553343409028968872683110056063836511759811799903844631769234330530591

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_428 : Polynomial.coeff recurrence5Scalar0Exceptional 428 = -(((69037327016417881879288696867664182322376289810388969616436863 * 10 ^ 70 + 8355273991732298036207116850826724247550680203854547292092643482453750) * 10 ^ 70 + 5946056234237558073602214553836406175359280570433713847129876492481481) * 10 ^ 70 + 1283122453220502046429361215902648510101553750651564484212587052046444)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_429 : Polynomial.coeff recurrence5Scalar0Exceptional 429 = ((2864875860567224304795363636494033296599966419883617354857267 * 10 ^ 70 + 58726097831772892321248993881858686905310773293521054961535469490956) * 10 ^ 70 + 1624343091026237423658208832482963736354209541171489361828496218567912) * 10 ^ 70 + 3699262550145310121105697428863868954284947267227978848268333023674412

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_430 : Polynomial.coeff recurrence5Scalar0Exceptional 430 = -(((100047007547755426768040253752781292075975520918255480510371 * 10 ^ 70 + 8708813724620010973979301838005487161214332831063853506256761263265940) * 10 ^ 70 + 6541975502646798513146955062141291986933284509617976664922737007953982) * 10 ^ 70 + 1077067940275360130575715125499654577900122555503552970089203223585432)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_431 : Polynomial.coeff recurrence5Scalar0Exceptional 431 = ((2895621722588107632540237977524738588169081831048617239348 * 10 ^ 70 + 8286600183857024165799508637263830026420226050406246414885845821903389) * 10 ^ 70 + 3993837083573537665664332530018610047174451490587485396855176156185684) * 10 ^ 70 + 8739767012348578257008408594986825846533374127462999379230495505045869

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_432 : Polynomial.coeff recurrence5Scalar0Exceptional 432 = -(((67723325762516901317309524878412418554830972524292050152 * 10 ^ 70 + 448910771720027757778816333258212062337596736357357146429934189832038) * 10 ^ 70 + 2144130464774463316834368563081040850446864975229573425901981610245993) * 10 ^ 70 + 2320977690709834956402062770465220611929118103395963905568086908876693)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_433 : Polynomial.coeff recurrence5Scalar0Exceptional 433 = ((1226468562486913151125963944876964424441136950605747759 * 10 ^ 70 + 3374283947477385437773088422055962160328906932104459225723041137228419) * 10 ^ 70 + 1152435425530567250129638937987855887690200753981493656473258292612392) * 10 ^ 70 + 1451307957028317992763258012677171829294826994503044588278589027613303

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_434 : Polynomial.coeff recurrence5Scalar0Exceptional 434 = -(((15815743733639748879153168619000682208050191205414113 * 10 ^ 70 + 3435293379191993978211032862822532773420517458409301648761846921128771) * 10 ^ 70 + 6224647752913035985695781497692445786654024504929272387021454046925551) * 10 ^ 70 + 25871694934005571036488344883822459185218147136315756406516151445996)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_435 : Polynomial.coeff recurrence5Scalar0Exceptional 435 = ((113879284518893100437981005627191636252929967205103 * 10 ^ 70 + 7754909742890847160976860661316832127791651217813866098133339135665991) * 10 ^ 70 + 4259334087108345826408774682347428592939519769743740986766433122148004) * 10 ^ 70 + 3771137784679222694089903403419244739947115408511400439647982598358021