Recurrence 5 lookup certificate: Scalar1Second 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.recurrence5Scalar1Second_coeff_364 : Polynomial.coeff recurrence5Scalar1Second 364 = -((((37525978086982864393920974132094248621 * 10 ^ 70 + 8690359751201722667155548630552502718660392124431057976319814306336843) * 10 ^ 70 + 1468797791274094475621814048863596917800752749784357951648301921051739) * 10 ^ 70 + 5891593511391084713400668605504251660047955318646018002947876909584076) * 10 ^ 70 + 2151531520480577295937890225277112250803637055065553441364284275829456)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_365 : Polynomial.coeff recurrence5Scalar1Second 365 = (((13365716775050078134310239841885281443 * 10 ^ 70 + 7672660265049383002675138284968990868728424090891081093633668420770048) * 10 ^ 70 + 6073107754677425192165873728256327955833349574047457819235211646623467) * 10 ^ 70 + 8518861671848801803309809890884741717008914878897370404046459728428691) * 10 ^ 70 + 6361636666891890428270060392692545562369354064112647245399830680181100

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_366 : Polynomial.coeff recurrence5Scalar1Second 366 = -((((4674151394465598712685572171860197454 * 10 ^ 70 + 7715219156280762838364902055134113717427183068372487051848684016448705) * 10 ^ 70 + 7014625054071092660632281678008568799641908838846711105023766839522346) * 10 ^ 70 + 2791736557992407157360834652780084063444460620051238387585977700632152) * 10 ^ 70 + 2743972010550815801843537251407424759905519045077385124932911228463751)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_367 : Polynomial.coeff recurrence5Scalar1Second 367 = (((1602639913420459044336721490686357417 * 10 ^ 70 + 3205053384229062927347931497288725249975079531333261418901462006990374) * 10 ^ 70 + 240751793791215545283298765895444422477240085228422321110166620463) * 10 ^ 70 + 2977802512861345078634123181143612931239459547701766597912405946740892) * 10 ^ 70 + 6443626686804430698495989053472479344338151353015377575946165169063842

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_368 : Polynomial.coeff recurrence5Scalar1Second 368 = -((((537852048902660032845417987066684592 * 10 ^ 70 + 1387692693119430950620998834191581799897477842584739049469506423140109) * 10 ^ 70 + 9697732668797595368711268098536299523880645116680947548341494273030286) * 10 ^ 70 + 2590904941954668370490725295215603998784308608006683779626821925959645) * 10 ^ 70 + 9369192643794423949613508508856764285237324190042079695655774029280689)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_369 : Polynomial.coeff recurrence5Scalar1Second 369 = (((176400054624583950266982696689191361 * 10 ^ 70 + 5356826271061102582262756533318330430282719673198405525982742258517343) * 10 ^ 70 + 7102387221269959521450098546377959022590353955109500023540486463380158) * 10 ^ 70 + 9108430814572515222025480045946040549717693636544400330959937837324812) * 10 ^ 70 + 14064725344112129247255960729220949196403513930073271409812013496576

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_370 : Polynomial.coeff recurrence5Scalar1Second 370 = -((((56464294703806705036799124274521534 * 10 ^ 70 + 9897313018481863290002438095786593708561536548338012343102049688228330) * 10 ^ 70 + 5147430557530045389581006126247555954030086053719681265035804423925065) * 10 ^ 70 + 2969595177110289619492331654646333372516839744900830184872198809159942) * 10 ^ 70 + 5285372629358695276739025121873874510253422544182811067985263874618247)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_371 : Polynomial.coeff recurrence5Scalar1Second 371 = (((17621041641962547134012126218251018 * 10 ^ 70 + 3823485565959483149294167249893244509744559817593337496412786502019118) * 10 ^ 70 + 2092449702069980039603896269644812790249425897546175085197530884480583) * 10 ^ 70 + 6044346975194012541362394001205944307616924381719582591433229868227980) * 10 ^ 70 + 4575013689167709396414324982594433035235395682867664468375097456039320

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_372 : Polynomial.coeff recurrence5Scalar1Second 372 = -((((5356199976633219633188466639439497 * 10 ^ 70 + 1583921669589472758217369368351367701247670293628658270152859339028540) * 10 ^ 70 + 1818583469669811669913611347652335500848788744769769302819342597481498) * 10 ^ 70 + 2699186172243943997523930734231419857892146480645656261671791461679194) * 10 ^ 70 + 5002858075700050346518073924117793304741504456725905964484366892162512)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_373 : Polynomial.coeff recurrence5Scalar1Second 373 = (((1583947191899266808528887849637677 * 10 ^ 70 + 4901244632733469901657907006204569042921695199995099359846666543814891) * 10 ^ 70 + 4235277248673236314164233941263765455779217432884834066703331975820022) * 10 ^ 70 + 7931178749209376775405804690587175019519398454801388742622704377566148) * 10 ^ 70 + 1183965421552428324572530257773381839384981079377146881337192615758642

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_374 : Polynomial.coeff recurrence5Scalar1Second 374 = -((((454867000126279374899851585224020 * 10 ^ 70 + 5783084763872593326737236075381776263114797517963341740452248436017827) * 10 ^ 70 + 3165548465274319097906477039632691568363421357847998184731375107714214) * 10 ^ 70 + 3772863215211576614620603462370546523573107246406660297670345197130988) * 10 ^ 70 + 8394488132333172005950845894883021578168643841432578946617906399838877)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_375 : Polynomial.coeff recurrence5Scalar1Second 375 = (((126457224940304577388967679197073 * 10 ^ 70 + 9159611877009316694774940227654692219480517112136493610633558018778055) * 10 ^ 70 + 5199706173400147870510842169072413546690984858692226968134518689949306) * 10 ^ 70 + 2486558769947469627855379008967175377161813532563102817757137601411272) * 10 ^ 70 + 2169711977692388079966860165161039941609572821901627795630753078660893

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_376 : Polynomial.coeff recurrence5Scalar1Second 376 = -((((33860750183569295977427278488258 * 10 ^ 70 + 8354036006665164356207827614517292020056080383665168171713081522320503) * 10 ^ 70 + 5751541054841813224635210498841090513738530474479697688053476332918987) * 10 ^ 70 + 91917604319060220493682386446191191774976604315428691378997522359930) * 10 ^ 70 + 825996873519041652570954792598332971307083123403388202040608151714006)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_377 : Polynomial.coeff recurrence5Scalar1Second 377 = (((8660764759943047806297575350365 * 10 ^ 70 + 8597614503838316292873439823010521973061309976684410735891635616796472) * 10 ^ 70 + 3233575941609554244767022219110721720581293205276574657708328663757894) * 10 ^ 70 + 3618112084369199174115970270232837522178099354223382821026742700214713) * 10 ^ 70 + 6531436983901549656420640453359874675823389585128644304012783895927228

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_378 : Polynomial.coeff recurrence5Scalar1Second 378 = -((((2087719818617139746889068801310 * 10 ^ 70 + 152467943320858260751268979961256999967595719352586447338850030607634) * 10 ^ 70 + 876255423108446308255497657197051693557831732646622885226167694939043) * 10 ^ 70 + 4786370970779348988258051785255292228240635902153740015126807915913305) * 10 ^ 70 + 7663828488338488042791741349227807355087565668049649911668242221906156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_379 : Polynomial.coeff recurrence5Scalar1Second 379 = (((463257503066383916589028531635 * 10 ^ 70 + 2958807464495856811962514076236661423752357451783450066255998786514040) * 10 ^ 70 + 4551125444036365308398064099155605492425789869768441592582763998018151) * 10 ^ 70 + 650992280423385886936682185056004634092471158823142292710865977666548) * 10 ^ 70 + 518520766653746612734232050306032524658915579822499987027013272069699

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_380 : Polynomial.coeff recurrence5Scalar1Second 380 = -((((90179324056750792394800554877 * 10 ^ 70 + 1259917491401967280290370258618727415280151790668600927334367350852268) * 10 ^ 70 + 5722398216944735118329813458307486080561961281640268315053583620429049) * 10 ^ 70 + 7244570064561717126557024149418054145668098323811307283194042772386785) * 10 ^ 70 + 9645028430021938489940316718880779862411248658119829736442927930152190)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_381 : Polynomial.coeff recurrence5Scalar1Second 381 = (((13451153218769368152701330305 * 10 ^ 70 + 2498539643424592735168360987069423804390935448417196586298434365275232) * 10 ^ 70 + 7053031211441310214871544899975135957125565872877503714148154184468838) * 10 ^ 70 + 3972206350464608891299931615478686536327143062571462008010504426988286) * 10 ^ 70 + 3435822450656866983688510459976427589279446292990120806715000850699654

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_382 : Polynomial.coeff recurrence5Scalar1Second 382 = -((((544462701116959005804664651 * 10 ^ 70 + 8565573361452120413659041063231365064928717506367562195310590821490110) * 10 ^ 70 + 9440112889087194932418942570153839545638778115787828364830274097112317) * 10 ^ 70 + 9446322415598993366451545962042989394009568369218196052268155493514807) * 10 ^ 70 + 6829149990093993921177440415056594981673845281430623139499989418998383)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_383 : Polynomial.coeff recurrence5Scalar1Second 383 = -((((644116348599474844478487319 * 10 ^ 70 + 1544361110536105429319694351568392279395994795699971898650901598110581) * 10 ^ 70 + 8485473745946316124494254279053166595669977105825517903727010971590439) * 10 ^ 70 + 8516498219788782659079822924824018185204081184916054214197306928119344) * 10 ^ 70 + 375329337915871566983145031071045809171995291061858012131330654262845)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_384 : Polynomial.coeff recurrence5Scalar1Second 384 = (((354264410240058813541405511 * 10 ^ 70 + 1918456440551465236944850337869132319193540582693794341700870846480026) * 10 ^ 70 + 4697137118163547537559721780037408317167067070094986424806138023055780) * 10 ^ 70 + 7710029494262180968003109385223246170104656080691150872882791881419356) * 10 ^ 70 + 750628347606344003270394660568440360668911574296372568497755887809172

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_385 : Polynomial.coeff recurrence5Scalar1Second 385 = -((((130688961226715617891025752 * 10 ^ 70 + 1510504898939481973972265880223755928487335719075605269847363319554068) * 10 ^ 70 + 266947918828393086401628283764370382932288596648552411344007457329759) * 10 ^ 70 + 6637198543743196873766732955235422109433372982644715505249307673865120) * 10 ^ 70 + 8576638397853608885912084654823395634916050316704460669844956188688058)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_386 : Polynomial.coeff recurrence5Scalar1Second 386 = (((40360568659064846019242323 * 10 ^ 70 + 9614342502953798092005925489303398623646703267990799077710288824586683) * 10 ^ 70 + 5591541561856932981365351077574629868941288742085989297264164725286202) * 10 ^ 70 + 8606255318277928489758062493695594484383234943044100854845159712647285) * 10 ^ 70 + 2158235219654717894095036140799386987175400607393213034614182547262395

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_387 : Polynomial.coeff recurrence5Scalar1Second 387 = -((((11077839520353067078683007 * 10 ^ 70 + 1936158100442460564661430181875786026424713136630246727420031685987258) * 10 ^ 70 + 1017506661551250142903825764956902578517280917254553085471473242010917) * 10 ^ 70 + 5598995358313797490716446898356853458579762113057659860036528550196101) * 10 ^ 70 + 4320372495525063235922827253051224217310282778459899266538369178786154)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_388 : Polynomial.coeff recurrence5Scalar1Second 388 = (((2763690244750753788630817 * 10 ^ 70 + 6371303589924219590796426222306878260313087360581292857903639428433323) * 10 ^ 70 + 4429358972005878313764633417727460838563142111863973427858788643051371) * 10 ^ 70 + 1375791501775390921406572904906727863703012494668315281981814392804230) * 10 ^ 70 + 7915442859820365685784114428049866527829751988685107588381030474876382

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_389 : Polynomial.coeff recurrence5Scalar1Second 389 = -((((631789220490667313166307 * 10 ^ 70 + 1878923532974709082632856978513086481225816526152296632052232618404193) * 10 ^ 70 + 8387906692803803845832248733428725903402857914243805643267434029724439) * 10 ^ 70 + 6946679937461435061840902837224173805061911237652408657443876100452544) * 10 ^ 70 + 6051415263006743569666913018774991479469138950908081915341757955648098)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_390 : Polynomial.coeff recurrence5Scalar1Second 390 = (((132365431021471726483740 * 10 ^ 70 + 7413750246311313975188261157726636682742659909800975947830614558661555) * 10 ^ 70 + 2098533903730847518167699525602258058510013779397727871171921624962018) * 10 ^ 70 + 9775902565299568997181334069780952616674589378050566759605061977434141) * 10 ^ 70 + 2330598498554298848522649831372682753953507251157572800427838136185288

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_391 : Polynomial.coeff recurrence5Scalar1Second 391 = -((((25246273425979250602954 * 10 ^ 70 + 8078612227337271672104423793734207213955817538678363342851135425159712) * 10 ^ 70 + 3689296786576813688474986926079566501096148095309843016963369601647915) * 10 ^ 70 + 5628359690767313066180124270787322238551771670563460810058381898232392) * 10 ^ 70 + 2141744885637420086541710510129953626294214216611643198931744738284892)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_392 : Polynomial.coeff recurrence5Scalar1Second 392 = (((4306322911080836255257 * 10 ^ 70 + 246192694983262906388340132083197190720609596413108739872705828513234) * 10 ^ 70 + 4631785547872230160146690793592187661462074952743252814231648983480683) * 10 ^ 70 + 6549349939653922197947504663717169266693903333650231864477465236438307) * 10 ^ 70 + 6193106904774356862655110026596568454209173799435396670605425999335836

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_393 : Polynomial.coeff recurrence5Scalar1Second 393 = -((((625001896574431310730 * 10 ^ 70 + 2956304912016078735337340688309428128344390757424222762775789881683703) * 10 ^ 70 + 6122945099102204895987929329626789668186416692379104782410594196085231) * 10 ^ 70 + 6523411834414321761306673995902500672364300957696081477180369154804761) * 10 ^ 70 + 5142269806772457311413675967109549829380070644817458806401223643949147)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_394 : Polynomial.coeff recurrence5Scalar1Second 394 = (((63142659176846400253 * 10 ^ 70 + 7541092504992808897037078886041413526338698468272313551062500310943626) * 10 ^ 70 + 9368232256760643756220135144338553120687639712339896839742484181060241) * 10 ^ 70 + 9458511547933690801580220420875785612771818827098134242918594804056133) * 10 ^ 70 + 4749248592833199834399045655942688160390953143708534004213019510563567

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_395 : Polynomial.coeff recurrence5Scalar1Second 395 = (((2546085860401682891 * 10 ^ 70 + 8441157837407486512472149300441705789913129269136061407309088365920021) * 10 ^ 70 + 6815988639282288950544482761597743256520986824997946101618771824109501) * 10 ^ 70 + 9580935259340781055720837761752874181124788410228281531772170300709508) * 10 ^ 70 + 6143352242390506705449907288573284122462484520148688143253776011764317

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_396 : Polynomial.coeff recurrence5Scalar1Second 396 = -((((4203610174483292306 * 10 ^ 70 + 1420385624270934319202877892635703182362048296291822329511273693305804) * 10 ^ 70 + 4048915167203602798686020824630463936449136585483623197805251720368) * 10 ^ 70 + 3216351928420479541056226531959601007613293281094072656600842410934270) * 10 ^ 70 + 3714559534928452171125375764203710158778345594731390643227159713216465)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_397 : Polynomial.coeff recurrence5Scalar1Second 397 = (((1723598250332477047 * 10 ^ 70 + 6344424854108451300433222850002405942068744003767964360923617611950958) * 10 ^ 70 + 6304787855850212375385080187887633169340611202782150772891810476699305) * 10 ^ 70 + 8840083349651745104030442949567250541970950233652276931963056334704704) * 10 ^ 70 + 3574514526983818448979632032099603905991767009782191326487092832394676

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_398 : Polynomial.coeff recurrence5Scalar1Second 398 = -((((538076222809929592 * 10 ^ 70 + 7674710779848930846780218408012899573070148046504856314244806827146349) * 10 ^ 70 + 9369180765784934075260948672408831266463800170009183155589229608842805) * 10 ^ 70 + 43949673242939771890425500737508728770652919735326619455979351142843) * 10 ^ 70 + 6488629556058207732607245137268579026881380612223734486790972275171957)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_399 : Polynomial.coeff recurrence5Scalar1Second 399 = (((142242346723802478 * 10 ^ 70 + 8531204611529529512288931144895646359924144941414472831219644246107134) * 10 ^ 70 + 6776747005895891159009837094784691611234779629197046508124722653918329) * 10 ^ 70 + 202249045612000517932545182246865501373295880185122117225278585962735) * 10 ^ 70 + 3779747327526097291181184945077758316844344044179868672739970941233941

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_400 : Polynomial.coeff recurrence5Scalar1Second 400 = -((((32249620084993739 * 10 ^ 70 + 8137437532593050909518812635510026657105273716526547078805843822983557) * 10 ^ 70 + 8137217625925287774202721956250224953136926580249015889946980233279457) * 10 ^ 70 + 6846724573514254820645435576848207461187874474179187016053363616139651) * 10 ^ 70 + 5547008351860372591997975648927019168307720900270429155272423985537620)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_401 : Polynomial.coeff recurrence5Scalar1Second 401 = (((6147502575822385 * 10 ^ 70 + 3248135195549050315296308346325506121020380256122115004833487471463922) * 10 ^ 70 + 4013077765644315252950524512849361211342169694248764692974783543782285) * 10 ^ 70 + 1151684447298266798204349085242237940923280307620969500179771080004475) * 10 ^ 70 + 3371709778024910346992973765119202977544986289410442082809047863535136

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_402 : Polynomial.coeff recurrence5Scalar1Second 402 = -((((928000764801456 * 10 ^ 70 + 5211860111111986165797362360578032581662473788559179692805094038947625) * 10 ^ 70 + 7276663913963315390459031883013391221050974402807539604210029481824450) * 10 ^ 70 + 8011931088420636019967245287309539995712054797701725393320825890920098) * 10 ^ 70 + 8670200114449738199499870010165235954946398161387827223488603779941376)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_403 : Polynomial.coeff recurrence5Scalar1Second 403 = (((89925223896630 * 10 ^ 70 + 5838936810523574385875743787563761499228261050348216707875335519123328) * 10 ^ 70 + 1120000394944172658840378958943041927336686745978289480424165233207887) * 10 ^ 70 + 3404311497825819658854969119725779533236476437346184424243450602514898) * 10 ^ 70 + 3075026714925510952018542444560008404481320378496996305285776362320636

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_404 : Polynomial.coeff recurrence5Scalar1Second 404 = (((2624439823226 * 10 ^ 70 + 6870474417990515330169876865478224861273732150530465605584148144324349) * 10 ^ 70 + 9351739183048515203245372639291651476734497756434206642739203114680091) * 10 ^ 70 + 6975594582793757416966486489611965222072643017634955397604394725782935) * 10 ^ 70 + 9384593767647706499300187732213525784177570142340766621841320989229461

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_405 : Polynomial.coeff recurrence5Scalar1Second 405 = -((((3724538411379 * 10 ^ 70 + 8497629252103536723328059327234841779703581277127849241951733968467830) * 10 ^ 70 + 489395301176031759549334115932875499473115275373973320602900022223068) * 10 ^ 70 + 7806967380788951955452997627988971333895843119738421709292481422336525) * 10 ^ 70 + 3296744006937672957671767827597102020459934068752731520646973954556425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_406 : Polynomial.coeff recurrence5Scalar1Second 406 = (((1052613364309 * 10 ^ 70 + 5274096137882947458917026102440134774669319678907541675943152960394191) * 10 ^ 70 + 5170455761139440462335044700131999169027341427678848298924672397923005) * 10 ^ 70 + 6951940542490462117627965496749003117957189960202022346581355548019461) * 10 ^ 70 + 6021971043176446860002149146079414824418726544755430088060636336686560

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_407 : Polynomial.coeff recurrence5Scalar1Second 407 = -((((206118739248 * 10 ^ 70 + 5662848230004144429041755215379708949991451534834177680950855761167455) * 10 ^ 70 + 495035651224648424489401831309236473276903396492781087626385275826047) * 10 ^ 70 + 6799381818120469463943952535653659128924884097116665959715577985670689) * 10 ^ 70 + 4631441655695692008407742039836081196569363960185450529026260359798508)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_408 : Polynomial.coeff recurrence5Scalar1Second 408 = (((31919791185 * 10 ^ 70 + 915632698120804235144108088434020411361876852816143003199236253659309) * 10 ^ 70 + 4278014585240219561939972336878735026238296492461696964000548197502029) * 10 ^ 70 + 8290128612026531041007818781293675434437386402449749422751179512454650) * 10 ^ 70 + 2409507735527499126618332809371825600590208023534709926110890528207524

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_409 : Polynomial.coeff recurrence5Scalar1Second 409 = -((((4036306560 * 10 ^ 70 + 9031820019341245873509065598354664208145448922269173914666172556921253) * 10 ^ 70 + 4471095412823693131730728860678079984838750344795984767360733213358237) * 10 ^ 70 + 3991576764136983360146516343511835657580765475964479362227676025401481) * 10 ^ 70 + 3362780580066992983806336886187192141318862516808275516699467848556857)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_410 : Polynomial.coeff recurrence5Scalar1Second 410 = (((409583993 * 10 ^ 70 + 1897536786802909519031233186405001132298114792000445987604764126117780) * 10 ^ 70 + 7703655833288691154231975486409830225829383560697772481254817424335614) * 10 ^ 70 + 4023317071079182512734631060256293447073542861825663292248221964442911) * 10 ^ 70 + 4431362729857967399874963827093456587162329121036954842517896401386622

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_411 : Polynomial.coeff recurrence5Scalar1Second 411 = -((((29034614 * 10 ^ 70 + 5582084028338004947308409421900098627665427558912330388708384527110158) * 10 ^ 70 + 310066005528132391305410415582597389268337272443563973187142861058948) * 10 ^ 70 + 5813351821387516128736275525237913132716570214966891747747809413706156) * 10 ^ 70 + 8550754193628652519783890357063290454144569832646862690112463919833006)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_412 : Polynomial.coeff recurrence5Scalar1Second 412 = (((30259 * 10 ^ 70 + 4239069136308898615660735261565354537425190085638529307969099481140823) * 10 ^ 70 + 8778281827534345217581406673910427900964977882003009249259023620559624) * 10 ^ 70 + 9402656394253550225809309928550529633932229120681193268812948774581452) * 10 ^ 70 + 2685592643922678275927416771306479643595473995871138823983809129383831

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_413 : Polynomial.coeff recurrence5Scalar1Second 413 = (((486340 * 10 ^ 70 + 704659188777361422027010118010597438121408522756475891464086545564606) * 10 ^ 70 + 4383830563284450558734516563131062148347024791146774873884888851191621) * 10 ^ 70 + 6242227649107740112834813503651416386777916325497997627196520780599610) * 10 ^ 70 + 8545213821404292782332484588061687810633341917643177476568933309697293

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_414 : Polynomial.coeff recurrence5Scalar1Second 414 = -((((114646 * 10 ^ 70 + 5400537930063951837836586943176335470404795485768461224228693074099874) * 10 ^ 70 + 3622956403773297133119775239987744710112251899219571562370651982329450) * 10 ^ 70 + 7435673851470457239205208075229535922136162562203482343482718025168764) * 10 ^ 70 + 5749380314905425840118719238700239000405370147545828897606725912414876)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_415 : Polynomial.coeff recurrence5Scalar1Second 415 = (((17678 * 10 ^ 70 + 3910077538200424816625583485260262470074723825462001335681325965098295) * 10 ^ 70 + 4558768037414348465836482193885505954340524465082272707867337329170187) * 10 ^ 70 + 5232645215429448139056001971880237140503984048121434246357340081972865) * 10 ^ 70 + 9965550358016848271480385916495180626553175694794903748743539072130315

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_416 : Polynomial.coeff recurrence5Scalar1Second 416 = -((((1922 * 10 ^ 70 + 9527721038990468435393264285641188822382184630115346598638034561923420) * 10 ^ 70 + 8621946321493431080872454158213001479391023147830650427714362046171217) * 10 ^ 70 + 1322397138488399447493395900211425882811047280199840106346816300285514) * 10 ^ 70 + 2778103602769300560430831891146552219814793632304880035917773773714649)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_417 : Polynomial.coeff recurrence5Scalar1Second 417 = (((119 * 10 ^ 70 + 8927473702025746473264940337330881865698244173471237014199402330522533) * 10 ^ 70 + 2331921701489764279547933410606600808476584969304413020997262351220704) * 10 ^ 70 + 3346541758761643483662454495886697497813881340043056231990457310671388) * 10 ^ 70 + 6704406819870355373635387272362567952572859136524582965874926920587561

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_418 : Polynomial.coeff recurrence5Scalar1Second 418 = (((3 * 10 ^ 70 + 2985783743450366532054745990628293081112302595607164171131594025400217) * 10 ^ 70 + 4126097594256340734620749145731017464042893170383361048652062007966003) * 10 ^ 70 + 9879367087472723141856619121114098509744919193181545575189539440829821) * 10 ^ 70 + 8013076038441287719058663128264798778421257411618242511195074587417190

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_419 : Polynomial.coeff recurrence5Scalar1Second 419 = -((((1 * 10 ^ 70 + 8572551378115577388376276525866610397145251143040205102239812721127536) * 10 ^ 70 + 1724289001128209729928677893838832968396590203021162614121622046253955) * 10 ^ 70 + 8800634632326990430365002698364403861610497085932240259735184247899074) * 10 ^ 70 + 1804634623492521509907924858034942810339001930411179127194088939323292)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_420 : Polynomial.coeff recurrence5Scalar1Second 420 = ((2337032044777446731937976125699128691202156504205728227726706004270936 * 10 ^ 70 + 6604105187698336555817984077512646527061452099516027763547550697176728) * 10 ^ 70 + 5691827778329608298926199762026054766132011651635384705222617216488113) * 10 ^ 70 + 5822890454766111453355912272485785616550646354316724710166540462233691

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_421 : Polynomial.coeff recurrence5Scalar1Second 421 = -(((145986798323267589889758660144238254222932936073978627575669215188249 * 10 ^ 70 + 3155117166028066190532023816208385442085102116632919996837338898097621) * 10 ^ 70 + 9730804161030585923623782230474182964949401446809620975391795245738568) * 10 ^ 70 + 7388576094182129547092651584592807689687066323909762895794965123163442)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_422 : Polynomial.coeff recurrence5Scalar1Second 422 = ((489524836524388701918674259103207676930232780117288661307643639118 * 10 ^ 70 + 9251580938377885903241050515937160263087364983464361907814796896714918) * 10 ^ 70 + 9249486477367926665617426417166369203486361895913256039465194470692000) * 10 ^ 70 + 9178931318062052091078793146658738529937933268193850239674744163141150

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_423 : Polynomial.coeff recurrence5Scalar1Second 423 = ((751029422077030210382255768427002036787015617388958623172652863194 * 10 ^ 70 + 26840644584619914415149295747414780127605016723511587188666316943557) * 10 ^ 70 + 3062135327429879478265087611378583339291313052185158586588171388357553) * 10 ^ 70 + 7219328318888913016260504384178919675921079063401040308330549870512386

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_424 : Polynomial.coeff recurrence5Scalar1Second 424 = -(((61484123836754390247341595656107576543255027784030184511370970435 * 10 ^ 70 + 5436794091287595426986397680041564381868141215067082422891780871320808) * 10 ^ 70 + 9177286059635274149392622378880106087341352966014697546371256796360747) * 10 ^ 70 + 3872145936919812215048122088168499823550863267004868344103924847292909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_425 : Polynomial.coeff recurrence5Scalar1Second 425 = ((1303715208332487237740832195689042570038685627401333484433774992 * 10 ^ 70 + 8419589597799118446317447215186089510958478333607893805823563078195060) * 10 ^ 70 + 5628931320755918074307756466251626396238616395752641822745349953116832) * 10 ^ 70 + 7379683585352727979199462496426594244230140789613897236066932131692577

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_426 : Polynomial.coeff recurrence5Scalar1Second 426 = ((105502771259798026245952615212735758480074871701444610891453225 * 10 ^ 70 + 6788466965457918883299909775639407213355755840964956937298488571019560) * 10 ^ 70 + 6792505375563917624052806174508397761826936793431853779665198411261181) * 10 ^ 70 + 4719368003409295115278771980333512733228820142205770312271759131080937

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_427 : Polynomial.coeff recurrence5Scalar1Second 427 = -(((6700575332663738084518306801279973224255812268441993510059938 * 10 ^ 70 + 8811802315250544601817797182620641665875203279707684738254661512854629) * 10 ^ 70 + 5499570514124637826144401145368764609794470484271562842652732802812391) * 10 ^ 70 + 7863915938736279593471049676723697245422907973116097262053296180918848)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_428 : Polynomial.coeff recurrence5Scalar1Second 428 = -(((15783709459766790389125483353806112777172151640748193228702 * 10 ^ 70 + 1586475157102899776838366432179954102872603537520844879386683658674430) * 10 ^ 70 + 994369285351797553017402559172323882010003279039078031286255752340957) * 10 ^ 70 + 3954053719779742433651152039389060764791168227823449696618604433174129)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_429 : Polynomial.coeff recurrence5Scalar1Second 429 = ((8975661245598978195825408370014547084738930259855429931077 * 10 ^ 70 + 7987324187806359195696154934756200069024088361018686515450599299329363) * 10 ^ 70 + 6522800857689266788272516769647907591435036657670378003037891697989898) * 10 ^ 70 + 6106643644652329611292576572220696459825952178083264753034001582632292

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_430 : Polynomial.coeff recurrence5Scalar1Second 430 = -(((16766021214990337481725218332761824821351986387802065510 * 10 ^ 70 + 4746230931335022491521139789408644309005604314040704672193072059672040) * 10 ^ 70 + 3927009253771171880831829279325527764070597361895722246699644289044141) * 10 ^ 70 + 1609972038743449439368892840045455592917093382666643304620511194313899)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_431 : Polynomial.coeff recurrence5Scalar1Second 431 = -(((6290680971588695933805120843908515604547464267408900875 * 10 ^ 70 + 6457612557018662624871158038676215166414181763864718274082085505277806) * 10 ^ 70 + 1615208481092750884534789981304726460292008521762081581728019910530733) * 10 ^ 70 + 5535532025347396305297506178598629460824570648583266559365255891562830)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_432 : Polynomial.coeff recurrence5Scalar1Second 432 = -(((74035640515196325050783596362906657979690458418782292 * 10 ^ 70 + 2011959991075328255309323885739587542417444847673373296040306373943088) * 10 ^ 70 + 8975820204167428837180639733164652578988767601060275380358946167731796) * 10 ^ 70 + 4505601433770072038441133395072396498097697485679238993285684699645282)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_433 : Polynomial.coeff recurrence5Scalar1Second 433 = ((471899182183480067293155299414399823455829381465113 * 10 ^ 70 + 3787897670030666261942209058473264737075130493045691229330951835709126) * 10 ^ 70 + 3518217967689412742315339621711862831044195152068860633019206007499963) * 10 ^ 70 + 9044308387382260363180694261221974836291625049833202916105295093044966

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_434 : Polynomial.coeff recurrence5Scalar1Second 434 = ((14999912010139386475552414817246938658942410522334 * 10 ^ 70 + 9153179553144030484830759796366323938974891133469849276517681553281692) * 10 ^ 70 + 3700478103282459160473421208058924031543009479734550388106819350970639) * 10 ^ 70 + 3462885096922010291111982544357198168663354133070351419600167798607111

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_435 : Polynomial.coeff recurrence5Scalar1Second 435 = ((103764666122873221728792217956620440083351871027 * 10 ^ 70 + 8904823646066435318741771121721682067029038721523191939789918285566534) * 10 ^ 70 + 3126611024773448736785804461861894778281460451164315995727097509135930) * 10 ^ 70 + 1935119217390595915517082654091825856074414294869277159591545551053193

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_436 : Polynomial.coeff recurrence5Scalar1Second 436 = ((82151852777307722234465762859566010539899226 * 10 ^ 70 + 2324793858039545616974863281709544151977686831681109057937323048946092) * 10 ^ 70 + 7473669531616977864241010203252053826876321418674630217315489639239391) * 10 ^ 70 + 8530203790792278581534789836561019201023949235824317433257897703424834

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_437 : Polynomial.coeff recurrence5Scalar1Second 437 = -(((2387981129556407888212623131150141731002366 * 10 ^ 70 + 7378515588981576274843034095787700746239202264769270457890855167056390) * 10 ^ 70 + 4706769191296042706747960760958658811085484611440932096713679576685339) * 10 ^ 70 + 5400392036203014756150560166508418417693898781601427619658620929216780)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_438 : Polynomial.coeff recurrence5Scalar1Second 438 = -(((10908344025826860099073902077061432635879 * 10 ^ 70 + 4056903150354626077557430043379876790361722628692134470820587158509584) * 10 ^ 70 + 9088688744337662909317030026314696684937314134462937749153007364021475) * 10 ^ 70 + 786206590619181724130529865467512539735799816262916150074265513578487)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_439 : Polynomial.coeff recurrence5Scalar1Second 439 = -(((1104900317963517656671839969852985400 * 10 ^ 70 + 1610614711610154476664449569738486758358949189983022124016559475550557) * 10 ^ 70 + 9882720396039159475852840315522232560004685223330627468815530643699444) * 10 ^ 70 + 4535601794573451762739360533469327128267626632554862499200622877283990)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_440 : Polynomial.coeff recurrence5Scalar1Second 440 = ((103161770683162883497471832966914948 * 10 ^ 70 + 9241810114208830438136275180824878065986237956928958788206600672712163) * 10 ^ 70 + 4256581903652586148099614931047883950857613951880246069192484604430819) * 10 ^ 70 + 9686194739987419784087432810305340484874761351007563867132412116539350

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_441 : Polynomial.coeff recurrence5Scalar1Second 441 = ((185033461036866002843818786636306 * 10 ^ 70 + 5649240811993843562877237415867341689407066909388771016599419498585800) * 10 ^ 70 + 4425236942231865966687486619257516272943993890881550819612881480967843) * 10 ^ 70 + 5964535516724628666728498817370844321825463305373336855710417106725197

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_442 : Polynomial.coeff recurrence5Scalar1Second 442 = -(((329686324926825929524633481894 * 10 ^ 70 + 5409839539698158853802750184160902133774850442007354356320173051692084) * 10 ^ 70 + 751756904454207630370519368159679408046157323947692732817679590012055) * 10 ^ 70 + 4840408958027213563264317128675018937174456529156427790587955401773893)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_443 : Polynomial.coeff recurrence5Scalar1Second 443 = -(((1095530240489824542393605186 * 10 ^ 70 + 6682765898185640494199378836817097207651100251679673985646625846332872) * 10 ^ 70 + 3900313713648880291203066986523938904530558522485554599583258088823086) * 10 ^ 70 + 4142069142706825892436073157180484531852434668340029021535192614218189)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_444 : Polynomial.coeff recurrence5Scalar1Second 444 = ((211945396120422287433149 * 10 ^ 70 + 4172031913958116711609486472821841148230781866851974782392922659077648) * 10 ^ 70 + 9987056346991226389395780985963963737616108532806157101404763927569069) * 10 ^ 70 + 9408155685410232603607109273782193680640478771144290945874771233203501

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_445 : Polynomial.coeff recurrence5Scalar1Second 445 = ((2532259729441345067040 * 10 ^ 70 + 8955907200268862529807893464669516379082381473263475841635817384711154) * 10 ^ 70 + 5636051440884927888861199001109287143262815303536123143306511387653905) * 10 ^ 70 + 136024039746424714051422098684873622147788741981879495002731243551917

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_446 : Polynomial.coeff recurrence5Scalar1Second 446 = ((695214449980573037 * 10 ^ 70 + 1290893191203212603558073200908436572849649445005601599448478463926286) * 10 ^ 70 + 1819047280177914644671194939537000863776863617031222573221854801290390) * 10 ^ 70 + 8800347665079571753881586490417672113797559542238463106544612751728961

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_447 : Polynomial.coeff recurrence5Scalar1Second 447 = -(((2189753572861161 * 10 ^ 70 + 782813743364623163808698288113447618307364848364932344109639975701409) * 10 ^ 70 + 3124204876025893685232906311252944337049413556733642602729734582076215) * 10 ^ 70 + 3135842506741795362195887840001878549203570003081849956537484698064492)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_448 : Polynomial.coeff recurrence5Scalar1Second 448 = -(((1033690601157 * 10 ^ 70 + 3942267346166443935946183555683277350251281817215414513913873796388793) * 10 ^ 70 + 1463609158972797275728210524428510423603894584625543493699824650995654) * 10 ^ 70 + 9104240268250763605158495108571660967008377989237825857903438647261326)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_449 : Polynomial.coeff recurrence5Scalar1Second 449 = ((328958967 * 10 ^ 70 + 325257634983126049020226263618316337944979893616182064952270065028037) * 10 ^ 70 + 5299121770645700423077003672750282645282023255514700704463246249488279) * 10 ^ 70 + 5560939761604628273166597017320828753140363703072950264431909900793422

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_450 : Polynomial.coeff recurrence5Scalar1Second 450 = ((143648 * 10 ^ 70 + 8649650552158485384135839152399075890866805979345220948031624916119287) * 10 ^ 70 + 9570236671906010294710501109100335967408448354537304065252595919851432) * 10 ^ 70 + 1925524087774367040333834001505615824850965907654100107474074111778044

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_451 : Polynomial.coeff recurrence5Scalar1Second 451 = ((3 * 10 ^ 70 + 1088975395594020573526497545932281094838935051193854066162471022284669) * 10 ^ 70 + 7354015138938369624389541144309448499705257508232797761323615390466681) * 10 ^ 70 + 9072631489223441423132112537913190679593835099936627708343316046947222

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_452 : Polynomial.coeff recurrence5Scalar1Second 452 = -((16975469497143398046956125607031125392438992021034701467168854292705 * 10 ^ 70 + 3276965951394748974918291700313229323538969628508719177192559697951232) * 10 ^ 70 + 6746412097722440492945049540048936844712448646905839017920282323053284)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_453 : Polynomial.coeff recurrence5Scalar1Second 453 = -((588449350137989434672410989937094925896913052213758525984927473 * 10 ^ 70 + 1360881410103692238954021266034366550669528845874863981745226224289837) * 10 ^ 70 + 7915003638596189234297829680357926636852502690874809801891352914649274)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_454 : Polynomial.coeff recurrence5Scalar1Second 454 = (7449915615703609305647192473631487364400463288217982949383 * 10 ^ 70 + 5337330912819434625826983572927232672330670075419110957292391136692906) * 10 ^ 70 + 8213676258064392774423456099920996809637941804208789083747692437866193

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_455 : Polynomial.coeff recurrence5Scalar1Second 455 = (270320214497745849286433969719880405617198061166547622 * 10 ^ 70 + 4457574514011126132462285761248025834878461353260692991012772416724407) * 10 ^ 70 + 6823598378491137263592210540590220085044237437070245045224969223632224

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_456 : Polynomial.coeff recurrence5Scalar1Second 456 = (362442821782622779655954492424284500521888779856 * 10 ^ 70 + 583557624985780163108014031720624580464008815513052658377641894419668) * 10 ^ 70 + 8867863526341139462091745205700760010435727023541224839834128932734948

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_457 : Polynomial.coeff recurrence5Scalar1Second 457 = -((2793823978994054014607235102087510030140554 * 10 ^ 70 + 8577989924004319731547820608892000036260915811429281066724251800074898) * 10 ^ 70 + 1474352184503131890113472520193739921230237649903405146472107667819948)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_458 : Polynomial.coeff recurrence5Scalar1Second 458 = -((3798438849720718485068271973925205004 * 10 ^ 70 + 6001317218665199004126772207448809389801731440868345215734635846889110) * 10 ^ 70 + 7619552924548120907004436390301706641785030794171365565716862712405826)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_459 : Polynomial.coeff recurrence5Scalar1Second 459 = (242885276176963737431311399326 * 10 ^ 70 + 9903615167628272484143608169576279722542529140335165411819489963585219) * 10 ^ 70 + 2922390982445221426142089415705445088711611030910328401911849370095072

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_460 : Polynomial.coeff recurrence5Scalar1Second 460 = (183293941082535337711914 * 10 ^ 70 + 3102025377965909899586243729559137930647057387924947452912810723270289) * 10 ^ 70 + 5025514571366975723663674922041062600766870799550898624478261521388740

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_461 : Polynomial.coeff recurrence5Scalar1Second 461 = (6024092162891670 * 10 ^ 70 + 6200543530293598792230497927997852292267178730911947800691806543722232) * 10 ^ 70 + 6322512178507434590111688241034922556497416154155765676973459179468887

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_462 : Polynomial.coeff recurrence5Scalar1Second 462 = -((31384708 * 10 ^ 70 + 9602905931205726039450544587141327852425870431952552294862816577298102) * 10 ^ 70 + 1719681978585743173386312407904635382753421529180927395709449531731379)