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_190 : Polynomial.coeff recurrence5Scalar1Second 190 = -(((((699022431 * 10 ^ 70 + 987260879640469063637846253264686093400170246070760640625832998105353) * 10 ^ 70 + 4249824788933315659722798811899511321925560569073699885178325430180198) * 10 ^ 70 + 1742616332458243657438651676337730643255292222926546272006751273396161) * 10 ^ 70 + 8183514307222054720781129345457638224446629010928767408354874097505158) * 10 ^ 70 + 337592242406854519629453161881001118474168459366887859525164896383404)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_191 : Polynomial.coeff recurrence5Scalar1Second 191 = ((((951205560 * 10 ^ 70 + 7541206312797996041498981051044196393890646435623301497645692958707130) * 10 ^ 70 + 2233528674097411274886282872160583414881560717643712227679650183932161) * 10 ^ 70 + 636285362789130396805175236339936370418069855228572801277541013200700) * 10 ^ 70 + 7932116050806991290390052566383840695440213840110967794251600710817256) * 10 ^ 70 + 6831091776889194934093283443700148741704522279464847380581494129763234

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_192 : Polynomial.coeff recurrence5Scalar1Second 192 = -(((((1272852581 * 10 ^ 70 + 6626258321887277625569999671954094927150744711149633864753747759507578) * 10 ^ 70 + 2634917831870069005762236520705846971585911369299584339095807583425319) * 10 ^ 70 + 648486203659837629402452185871637280674732521880438666931972261755669) * 10 ^ 70 + 7133141869879103032886933440174328416472918714871477721136327047773291) * 10 ^ 70 + 1999279906110490289976407531681193727986375629680115059070548455382164)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_193 : Polynomial.coeff recurrence5Scalar1Second 193 = ((((1675017931 * 10 ^ 70 + 2106597968128458642567806943708495606267168287425361943858128458132687) * 10 ^ 70 + 5156474105790329343376894758067224393745704583152477045219259828628049) * 10 ^ 70 + 2658758971795133366135922591450661263024299917978679645649271165552687) * 10 ^ 70 + 3011749398897963003326543589345080948129556259975727021251304950108295) * 10 ^ 70 + 4802154328202682156403712032124591068457425217291100495025086627869637

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_194 : Polynomial.coeff recurrence5Scalar1Second 194 = -(((((2167780952 * 10 ^ 70 + 3965019337489199296812375649612852578675342054849081070316258629488399) * 10 ^ 70 + 1176582739236895722169089828734588778665699968078319396845357012267804) * 10 ^ 70 + 8593968253654921892850990455928870051273175297106711090414688400814685) * 10 ^ 70 + 28638886746392679291182908501613289454256288997637463320292453159592) * 10 ^ 70 + 7637387140604529056024051003800422041187121058606738841260863686576238)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_195 : Polynomial.coeff recurrence5Scalar1Second 195 = ((((2759196635 * 10 ^ 70 + 7674553577637052015785772586170406393962507587463649162517627949498862) * 10 ^ 70 + 9682059974095233854514191514179887643283668484827063870456109019581179) * 10 ^ 70 + 927799563086934641854035004597837669683998847370560459416967441122822) * 10 ^ 70 + 5389552041047480814764268580407362374935564361679822699421674892182919) * 10 ^ 70 + 4353763971049853562355883695677771595269774915590557705128331450123756

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_196 : Polynomial.coeff recurrence5Scalar1Second 196 = -(((((3454122454 * 10 ^ 70 + 9926333279859870334493111876451753721285330695555375467979087654914110) * 10 ^ 70 + 6745514609511641860813894994410829604136670158693083084638376259920523) * 10 ^ 70 + 9997613677270605992881241510498890057726932816278415337345761901047335) * 10 ^ 70 + 437976421672618013981063629256441231532249781242026440502940694271628) * 10 ^ 70 + 3348924083666572034060586449772663916047583498616715704337382100612023)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_197 : Polynomial.coeff recurrence5Scalar1Second 197 = ((((4253014574 * 10 ^ 70 + 8872476536458978021268506146556030972792953226707442091378824443617201) * 10 ^ 70 + 7534459017756551652734384863227110783244198907748449303654464585560158) * 10 ^ 70 + 9302728469914764031190903754165429043864208290327727790291146766019709) * 10 ^ 70 + 6564661473646755601641705267946286758651854679234279926800500566284656) * 10 ^ 70 + 3110784311988004536788370854283539501435448264784291796520914104568445

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_198 : Polynomial.coeff recurrence5Scalar1Second 198 = -(((((5150815787 * 10 ^ 70 + 7969739458268007241430961267038168728699302763725658489159530683763631) * 10 ^ 70 + 2065536413562051778182575083637330935529528424240166667738387820693119) * 10 ^ 70 + 422489967082611935832882516856834761189214157633531772533281370736321) * 10 ^ 70 + 1107895340434932237660955525845440739202980927174828931615150142298321) * 10 ^ 70 + 4937414104717465139542083646050490810410353569396603297070049465114654)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_199 : Polynomial.coeff recurrence5Scalar1Second 199 = ((((6136076569 * 10 ^ 70 + 6065229664635852798537659984870909044104997231632457782635534547106894) * 10 ^ 70 + 5696504579597221052596993913802993994751183774355081689318385875175543) * 10 ^ 70 + 3933041661502479466564337175002109450701501669875025035916520154673431) * 10 ^ 70 + 3598106405108966022633438272880729313337660160688781947520632605323519) * 10 ^ 70 + 8013071268557188055561148214763684147760020118862563430133037428007175

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_200 : Polynomial.coeff recurrence5Scalar1Second 200 = -(((((7190454133 * 10 ^ 70 + 8955957101823411395958408409484626824690796152157170671178324924383656) * 10 ^ 70 + 8564256907376361929808222398812278340444852670548714636669942890121512) * 10 ^ 70 + 5853180200778889871208842224190936984316807400597392580033741827426500) * 10 ^ 70 + 7869909370074054229467629801092608458895403053002376362230710523195372) * 10 ^ 70 + 8001964728568233789345900414090854100426786874729932310118977953977667)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_201 : Polynomial.coeff recurrence5Scalar1Second 201 = ((((8288718251 * 10 ^ 70 + 4210575528611478727969495932033309813997182631388426822075997037605473) * 10 ^ 70 + 1822280538316153300044910375974143114019253198368687250455240860774448) * 10 ^ 70 + 160742911962823412803316521865821079289623966561845540268350929765748) * 10 ^ 70 + 532892854023661341599918723626468824701197614513052629486659917116809) * 10 ^ 70 + 1771327906834884191857950826925982599160161009893213591786832875540750

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_202 : Polynomial.coeff recurrence5Scalar1Second 202 = -(((((9399355397 * 10 ^ 70 + 8866468037582371900702655144814471877944771316875633750956529967406741) * 10 ^ 70 + 9606475332691959401625965498489120070797059892954205196178774768239011) * 10 ^ 70 + 2044769161678262211221653696685938158272622187785741770247096756503701) * 10 ^ 70 + 7945401649817768473397257911629117457753778948594272306053704489010812) * 10 ^ 70 + 4361562840686947540814793081286364563525243707531172352357333646984150)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_203 : Polynomial.coeff recurrence5Scalar1Second 203 = ((((10485806356 * 10 ^ 70 + 2683536908579647180044344518294601676239241478780736423322024372469001) * 10 ^ 70 + 7212823639374862189503675587998634417182463204409235407357228450305160) * 10 ^ 70 + 2038307518063899406010261901557669468824353043551494197277955009045473) * 10 ^ 70 + 4416690049576274070722583821004095888120570600335268771285152027606682) * 10 ^ 70 + 9770567142598358169648327114210804699258071126255738902776377224550120

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_204 : Polynomial.coeff recurrence5Scalar1Second 204 = -(((((11508302204 * 10 ^ 70 + 1217793123507927173819101616921267357145894433760178252037256260291345) * 10 ^ 70 + 2246876623779873858272415878048773829622397665524054491465491645824364) * 10 ^ 70 + 1092025409098408874440528217769089618362290794318094578815941950165427) * 10 ^ 70 + 7915621779722854214991748405417300715441134375914505079814662262835782) * 10 ^ 70 + 2865132264597803030293916936456587208164476250240193025636289419022488)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_205 : Polynomial.coeff recurrence5Scalar1Second 205 = ((((12426188312 * 10 ^ 70 + 4243500627796890966848687071217166901357229635697706399933059094912147) * 10 ^ 70 + 4655211379590297089764236655685340446926525473559419847802531924170735) * 10 ^ 70 + 9132163300133614613337093012746703786935251600114592328816566337612295) * 10 ^ 70 + 6170911221344871462416356976187846470981809251460560563345587701853870) * 10 ^ 70 + 2522014512326633888238740913234398449081870999973430243278878428297164

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_206 : Polynomial.coeff recurrence5Scalar1Second 206 = -(((((13200556256 * 10 ^ 70 + 5199368559013251627380272476911825001668433542189966631714988515881536) * 10 ^ 70 + 5085753390186191569889304356631958782910897137130623101677273290946369) * 10 ^ 70 + 8725382394082240089482122566753322459431476615351229520327310745375430) * 10 ^ 70 + 4001182956948717799419275809160879774915812459191677625404936221555626) * 10 ^ 70 + 5583099099507913497492762133438306293044624564644678688650826017035961)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_207 : Polynomial.coeff recurrence5Scalar1Second 207 = ((((13796950411 * 10 ^ 70 + 366590464137231880740045642121228533015344044211239183105432502776632) * 10 ^ 70 + 5236405121057416715897736414466821828567332692738950347935809488636142) * 10 ^ 70 + 9266704338906366435935959843922712467096401310070738514337890606443404) * 10 ^ 70 + 9034919014501633168802106626387703649421085704318258947518037024308563) * 10 ^ 70 + 9459624492647152388527510274930880602307681137305371535983800258157675

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_208 : Polynomial.coeff recurrence5Scalar1Second 208 = -(((((14187888860 * 10 ^ 70 + 9549464195161674791611251377756498733842249763536141473759629268788958) * 10 ^ 70 + 1281878017359871575655243149137874504385049013911031542661589910696311) * 10 ^ 70 + 1298814338645713891474232059277278436456912654850210561755361186833744) * 10 ^ 70 + 3932052510445295792391268224730855517814110098844414519970247963753456) * 10 ^ 70 + 9931796858776781513229144549386979035731041363631976237021385161679331)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_209 : Polynomial.coeff recurrence5Scalar1Second 209 = ((((14354943044 * 10 ^ 70 + 5249799842148248546533384448113196677023346059368381044038934355899301) * 10 ^ 70 + 335771465127370332591222921434014636906114835652843398968650580998565) * 10 ^ 70 + 8187205311345920239853257386308788728491473484421786756061072907515356) * 10 ^ 70 + 7715408840327182328467459718607723458637389261594284992573858276798997) * 10 ^ 70 + 1132017919254937686296931450115959788334961594191310603771469771813474

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_210 : Polynomial.coeff recurrence5Scalar1Second 210 = -(((((14290158426 * 10 ^ 70 + 290075667084471378362484605313533027858837619111057743677328060843334) * 10 ^ 70 + 904790888412970763942943670807746272635511120197084634260351267409822) * 10 ^ 70 + 5349689796413821898615909572900103115546894342381958332296078942055803) * 10 ^ 70 + 685462858031894713214847471504609887264637375205458124563408746918406) * 10 ^ 70 + 4548215258017418202852297583346035745921796811887192985906322425874529)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_211 : Polynomial.coeff recurrence5Scalar1Second 211 = ((((13996665429 * 10 ^ 70 + 4181146938442764495730011668928646426241439665201716301442460449982536) * 10 ^ 70 + 5169431341358579902024329752406502187537340513206780574240401025985704) * 10 ^ 70 + 2173264561579851831423158110302990537482547493407946981256680427488674) * 10 ^ 70 + 6143646544474255346732583186333781943607109068962879336097979487790894) * 10 ^ 70 + 4664939782623779205084341124794805646659464347905513960551348385379820

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_212 : Polynomial.coeff recurrence5Scalar1Second 212 = -(((((13488417085 * 10 ^ 70 + 4158993751145902676864202299367220198000859346836494025577501465392756) * 10 ^ 70 + 8161491363176882351128681893489997632810979466059219093485494125661827) * 10 ^ 70 + 957668138674708348479296890918182184433828402470504012873038798727498) * 10 ^ 70 + 9691771669817912426723630511345562216881744552100413813815195870488095) * 10 ^ 70 + 2339075855173431115051151435018803023135518488296700368550825752058633)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_213 : Polynomial.coeff recurrence5Scalar1Second 213 = ((((12789085290 * 10 ^ 70 + 1722798559786225834398837307050523337433687970634508903309476091138586) * 10 ^ 70 + 5665981906086460184475063606166240166156333103292717493518158203202412) * 10 ^ 70 + 6752745614846679558015267344750180108200024555736271050940445521138161) * 10 ^ 70 + 3552926734927249525571105845273802918297830825992921436610750573625223) * 10 ^ 70 + 3821342338033664473348684152922805258870154727728395258417835049089894

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_214 : Polynomial.coeff recurrence5Scalar1Second 214 = -(((((11930237918 * 10 ^ 70 + 7128769150990495432908819468053425997594162678221988110683851174115682) * 10 ^ 70 + 4544523282875018708398274950868888564253207100439300797090181983932864) * 10 ^ 70 + 116792058419266492938564996482774841311961530759028481910458584859511) * 10 ^ 70 + 6516409460665741538174597438684121252879720264013570355927543781146305) * 10 ^ 70 + 7342671508031364444626495089761972800524957530429457563788633724163858)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_215 : Polynomial.coeff recurrence5Scalar1Second 215 = ((((10948991961 * 10 ^ 70 + 412405055049348289747342008891416241959285150837345859678593300162180) * 10 ^ 70 + 1773868880830149889512432340569437733276076008190982641243241647416459) * 10 ^ 70 + 9588965670344115244411575476749078431019259830665186356508275396552795) * 10 ^ 70 + 8400842906306960394721411004767086486219809951602751630614213070823774) * 10 ^ 70 + 3976415153121954192822194358080247466251699800210159735544899721405719

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_216 : Polynomial.coeff recurrence5Scalar1Second 216 = -(((((9885384067 * 10 ^ 70 + 9312472246342347241697777575899836782602954946361369316633570546588622) * 10 ^ 70 + 3522244046649002007167485289424477988455972667165451261875269242039435) * 10 ^ 70 + 5905745775247701544536943983041666897455750093057293059135355205213029) * 10 ^ 70 + 7058608420715553595794906025386383576165929620089892219851382657409846) * 10 ^ 70 + 5966388854236333488535787137967767027550333074450113100533869626555829)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_217 : Polynomial.coeff recurrence5Scalar1Second 217 = ((((8779714564 * 10 ^ 70 + 4874295274577421950963049727981689948207584916595127500960389939815192) * 10 ^ 70 + 7649613956009068605364419978628240689902971282416329894921991856631970) * 10 ^ 70 + 6915811152322021021003411625790756302320994917625730306615122690260682) * 10 ^ 70 + 1966866108447194225609252016060964514600752178097863294101473433051983) * 10 ^ 70 + 460395278041785671093703124123967969860109734323672619833156647829086

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_218 : Polynomial.coeff recurrence5Scalar1Second 218 = -(((((7670104250 * 10 ^ 70 + 419919108819855682710751976642944169892534740099349908196088497322893) * 10 ^ 70 + 8517269065957334066008009200229814179909815791018729210118755564889311) * 10 ^ 70 + 752526370107596120894472902274886351882121986581557047432874153692293) * 10 ^ 70 + 8073029538063777979665849113456723298650258065288106193549100905189293) * 10 ^ 70 + 9326380037939195824791704131210578221895954240321166959202640789933690)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_219 : Polynomial.coeff recurrence5Scalar1Second 219 = ((((6590459890 * 10 ^ 70 + 9229525048990422415037377679160527350959136425589014426844065490101567) * 10 ^ 70 + 1428661024159600200437817045106397089541261309209130613914339157055101) * 10 ^ 70 + 406400781939056080460149602843259331833696645395618156490424421300681) * 10 ^ 70 + 9737081722823208017265515483752186322330687698537987568116876180746163) * 10 ^ 70 + 4112354699184839761870629430713882446969345270663908373433576258088967

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_220 : Polynomial.coeff recurrence5Scalar1Second 220 = -(((((5568982412 * 10 ^ 70 + 1642480120952573075496535594802740189057580888394381982562866169139273) * 10 ^ 70 + 6147033988638260956525520251858685676327778799834177585923673702664673) * 10 ^ 70 + 6432493340358594829578727317542551160637707363291928453704243372350531) * 10 ^ 70 + 1092924199065610407137866918974753455383136226319093521514865061739127) * 10 ^ 70 + 8407764920952649094902455040149237952650127111445065463449785434961872)