Recurrence 2 lookup certificate: Scalar4Shift coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_264 : Polynomial.coeff recurrence2Scalar4Shift 264 = (249767623981559587542087773197600401174753435811565692601911760282 * 10 ^ 70 + 2447485800139895667624350685012322983192156983774725141983603960277463) * 10 ^ 70 + 4635030692332039347508541851951033123625973056623557741338861779771741

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_265 : Polynomial.coeff recurrence2Scalar4Shift 265 = -((97562307736093801238100500888519906317768683416940106184187734969 * 10 ^ 70 + 3257647925738693649705682387020775432535549108754789598713506772049244) * 10 ^ 70 + 8311540288080734455308014649427280793151439555188317907260891015612148)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_266 : Polynomial.coeff recurrence2Scalar4Shift 266 = (33186791671368097683250762518879093076636454552666303687506312469 * 10 ^ 70 + 8567976703254638696038481023335506680747357400363357508109773038420631) * 10 ^ 70 + 2004304927768557905967124447680347373585163684899575195490650993906434

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_267 : Polynomial.coeff recurrence2Scalar4Shift 267 = -((8763691747098821267199672366555062245114485633955418025060484346 * 10 ^ 70 + 9003645566613952261809178894045614109647369195417143563160016883760498) * 10 ^ 70 + 4199192552346090049174009296039209690629091468950165617240532780184125)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_268 : Polynomial.coeff recurrence2Scalar4Shift 268 = (881593143801992991918797849036214081480389719818315807717056199 * 10 ^ 70 + 7265445386056394970998181376326462807590258948339886499109697537864475) * 10 ^ 70 + 3236271496363933871124116843177344106429806067671014263352257398551355

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_269 : Polynomial.coeff recurrence2Scalar4Shift 269 = (941064219476994122303343434511329757226236097666416952166106391 * 10 ^ 70 + 6236115720724931142871918723561950113890980654279725310003419934218491) * 10 ^ 70 + 5711848585003856661302854554332196592721034682861126359488204137558554

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_270 : Polynomial.coeff recurrence2Scalar4Shift 270 = -((935019924607153287331028096202278751439438310987060046175461573 * 10 ^ 70 + 8729285280872996070849418276794429826253623346251417855387232239034218) * 10 ^ 70 + 6834513581828089549821838382880256622941518406988555012861600196289285)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_271 : Polynomial.coeff recurrence2Scalar4Shift 271 = (585385653853939263887161918068802903705608841195407989382216837 * 10 ^ 70 + 3095105726916515541063420753437106827531877244914029109799967259062340) * 10 ^ 70 + 1284313628290996919825899625878239340716139754513626564369558411962936

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_272 : Polynomial.coeff recurrence2Scalar4Shift 272 = -((302235038072818931126349169553021762820193937717299775599902675 * 10 ^ 70 + 6766792601553793967659591095643304829310844829276925676752881568455092) * 10 ^ 70 + 2757723633782905973678712121639460079558129949513658410147823445782296)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_273 : Polynomial.coeff recurrence2Scalar4Shift 273 = (137741359230420451149117517213816430767877375815090551000769553 * 10 ^ 70 + 1796429423361248762274855743913706361986783464241891459766994950912379) * 10 ^ 70 + 2481279567553163859187295703942069424271117518798393673825181424392219

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_274 : Polynomial.coeff recurrence2Scalar4Shift 274 = -((56836051038600617201725179652428721297884792384553154065024356 * 10 ^ 70 + 1334587341987051223882381303922584475266637191327292983067630481136385) * 10 ^ 70 + 6043601777183635620553255187334260594301423731680642459991412018983756)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_275 : Polynomial.coeff recurrence2Scalar4Shift 275 = (21433740524665530606585612759335753184468980727467217720763181 * 10 ^ 70 + 8614092551752324076572068849335355664397686856874397462233449957000553) * 10 ^ 70 + 6539707470647734625242293644882444911617628302711142712120760719404145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_276 : Polynomial.coeff recurrence2Scalar4Shift 276 = -((7389143420215542812463990751642926021123568347054750811811822 * 10 ^ 70 + 8866494558845121105106993878849315587663017279209993567491606627416041) * 10 ^ 70 + 6262763047320555022424447590610615465145085343755222269549206859795731)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_277 : Polynomial.coeff recurrence2Scalar4Shift 277 = (2309507331610841722234484090654944648087484621465063329267464 * 10 ^ 70 + 4112854293674488188063065950574537638601206433065040576845035095271916) * 10 ^ 70 + 2319437545797492418832869518302676803888326665871369549073304140001219

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_278 : Polynomial.coeff recurrence2Scalar4Shift 278 = -((640542371751855846637919977144976319554836807853997478210372 * 10 ^ 70 + 1954121447888525507247629160383222542264880216032969442882319137851619) * 10 ^ 70 + 5934394092478481324862935727302434066431541051960853929135435235873976)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_279 : Polynomial.coeff recurrence2Scalar4Shift 279 = (149541685491664366139491047735279726342239108688596593110420 * 10 ^ 70 + 2340309096584191567041193160190054877789593737113045249381785336978728) * 10 ^ 70 + 774266259885809492564357890793764319703874167172320624086674592542874

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_280 : Polynomial.coeff recurrence2Scalar4Shift 280 = -((24721753304055674262132791706509734221821911960081253758382 * 10 ^ 70 + 4896630243846070605734143793579114054594604591534369852028849606728401) * 10 ^ 70 + 3541515301370114888852724466035699816295936995082177731901771240903034)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_281 : Polynomial.coeff recurrence2Scalar4Shift 281 = -((93353788642221593534207235156270968814871894967637860119 * 10 ^ 70 + 1501858797527613852842008638893921548567729800987592787783991453852722) * 10 ^ 70 + 9685230962388684002171924813449406153718816468625799916273521032378374)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_282 : Polynomial.coeff recurrence2Scalar4Shift 282 = (2374153773533081190883377524803047795228867321398567290301 * 10 ^ 70 + 7223273422128670029549335154554861654552641503566113384550866407228910) * 10 ^ 70 + 1933890474355440771082328368769177839376613695731606322182439871121167

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_283 : Polynomial.coeff recurrence2Scalar4Shift 283 = -((1324248440869642633846259144751523237133691118847651378140 * 10 ^ 70 + 9937436191281376148638020636612066946704728073209232399170881694452297) * 10 ^ 70 + 1314020126885904054592074637490234468961548447325947518830755739333515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_284 : Polynomial.coeff recurrence2Scalar4Shift 284 = (521467053667239320636310927873658236352777045942220730721 * 10 ^ 70 + 4805467759025402583098844218536356761539117397370000341269282101296227) * 10 ^ 70 + 4911865956715945600460189133777005243052012077720889172993924029242303

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_285 : Polynomial.coeff recurrence2Scalar4Shift 285 = -((170033781571061891369788368993081871018933632755457361756 * 10 ^ 70 + 7476031524590697763671404778101921279458817953378708048561403910104858) * 10 ^ 70 + 9935329271160553118638974963684580670633575025991716735984545523587636)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_286 : Polynomial.coeff recurrence2Scalar4Shift 286 = (47804985698350432143620582090153662083514247115363661213 * 10 ^ 70 + 983010907936660541048575175915185088171162951905937204596382647176517) * 10 ^ 70 + 5523458875861683947284845716209670077706246441451685672821332440047018

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_287 : Polynomial.coeff recurrence2Scalar4Shift 287 = -((11610623487594542566850269332577016082763804985104121087 * 10 ^ 70 + 856813980181974325427888497678482548587504990399802704134077975985870) * 10 ^ 70 + 2438132941288883489403131443969250070056607616913406122633205397747448)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_288 : Polynomial.coeff recurrence2Scalar4Shift 288 = (2358318638391241228220001927173380893496454021175569772 * 10 ^ 70 + 3069087203630121530659640744420265685487686300578808588188542997367033) * 10 ^ 70 + 4754625744501346990989801346957181631159588990161140750473098865035151

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_289 : Polynomial.coeff recurrence2Scalar4Shift 289 = -((355963233603097422240414984865968605635005985522852587 * 10 ^ 70 + 1918264087845982813003455396225439591076320515847340903931927118783250) * 10 ^ 70 + 429392535517489567685868029447864852893724783979389187871923438584973)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_290 : Polynomial.coeff recurrence2Scalar4Shift 290 = (17128136702190546193812232750803888597058964690076500 * 10 ^ 70 + 3315231755348792552854977063696284525208452153101549934096977938685418) * 10 ^ 70 + 3133012583053420457485856361198693025459153413418051896186736431753914

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_291 : Polynomial.coeff recurrence2Scalar4Shift 291 = (13337154653081201044237715110814295511858452334153668 * 10 ^ 70 + 3978861381051106708450101577605586740451934096559872440492921186740530) * 10 ^ 70 + 1911676389043525762217431279900721467560148214715543369840947387396685

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_292 : Polynomial.coeff recurrence2Scalar4Shift 292 = -((6743424852778523331417008004635843218348038282555573 * 10 ^ 70 + 3585150357806781630214649792031792863358328108106093085297938506129987) * 10 ^ 70 + 7449967970514857947040559544539205764941791535171845445703527872308109)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_293 : Polynomial.coeff recurrence2Scalar4Shift 293 = (2133390281255526967903273141897676725378565902776207 * 10 ^ 70 + 169129921598421020742772705040203452994044387096087563777058492766665) * 10 ^ 70 + 3628731385726895156606482046404119190885702796896937007629910293865443

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_294 : Polynomial.coeff recurrence2Scalar4Shift 294 = -((533601317594521033399574886313294258272818709544665 * 10 ^ 70 + 4763348999418786273042715223800336800453358976735491548122477173535555) * 10 ^ 70 + 1893676924844330531760335829989316461072530273250349813179210498736481)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_295 : Polynomial.coeff recurrence2Scalar4Shift 295 = (110258756366130742668107103846923487846573173975924 * 10 ^ 70 + 157772419561042986523617597847884526134287658074100584482233408642718) * 10 ^ 70 + 6815956096360475383301790230472524782209494874170007756079219298817832

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_296 : Polynomial.coeff recurrence2Scalar4Shift 296 = -((18420645399584009482243711836036032609794699916876 * 10 ^ 70 + 7307373514496663735814036860931034233255218221803473385010688976949978) * 10 ^ 70 + 5490077707359664270227604491746348081097732570801203167050825995441985)