Recurrence 5 lookup certificate: Scalar0Left 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.recurrence5Scalar0Left_coeff_382 : Polynomial.coeff recurrence5Scalar0Left 382 = (((3774476815967365227310632922531 * 10 ^ 70 + 8176720713002251963958692644057072784857690729803370060876293273515647) * 10 ^ 70 + 4791892299740124955447514748663766277293693996169068057396389164996192) * 10 ^ 70 + 8836773264866012424934054557455925060107526517819605090865751223779178) * 10 ^ 70 + 2466661756004660793921613573374217238227984435213349829780484735150231

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_383 : Polynomial.coeff recurrence5Scalar0Left 383 = -((((901101107555653409413272110049 * 10 ^ 70 + 6369321556870503223051448053247920940888600939716425366880635387245164) * 10 ^ 70 + 2919508459332956114412936493537285467668518253463955214306305411224489) * 10 ^ 70 + 8574155170970800217757740449177118221014609181684365540926292117458572) * 10 ^ 70 + 8481414925291715970648131888560559189294622805364470051069408665271956)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_384 : Polynomial.coeff recurrence5Scalar0Left 384 = (((207012551038687503720402330860 * 10 ^ 70 + 1775616887705404597863771332252167542214976938959120261700764125951930) * 10 ^ 70 + 5422003689245262275123886533576095157622073337728230338061833758775559) * 10 ^ 70 + 9919046971574009592705202733282641053026635034832941329068513005095220) * 10 ^ 70 + 5667853958026132947504121879972831346170300138568296295761612112807646

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_385 : Polynomial.coeff recurrence5Scalar0Left 385 = -((((45502271386187117492505245136 * 10 ^ 70 + 7137932135962571507897481044800557599904570925051210704164080045866135) * 10 ^ 70 + 4935687983948153892520778495953292186991686030192524397866954641948203) * 10 ^ 70 + 7121106659395311991038756601143336890924741671004237706765847430496752) * 10 ^ 70 + 5749890288331787931177363614213338145506541436603508684636589562867365)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_386 : Polynomial.coeff recurrence5Scalar0Left 386 = (((9485562545793221105745987845 * 10 ^ 70 + 7705252300027959009101231739957400381397143412745776259709056906213166) * 10 ^ 70 + 6665412209815153072522204535914326761664608374451863978598384137155390) * 10 ^ 70 + 2404750371493658880050046154924054081144647741453911357754832760324011) * 10 ^ 70 + 7701077273024084329067309175875863579077020783957537495275630255240890

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_387 : Polynomial.coeff recurrence5Scalar0Left 387 = -((((1848158875800138543919443143 * 10 ^ 70 + 7918474654567270726672795647409971702943582703131548995245521087922377) * 10 ^ 70 + 8667193022614297121616797083816554854570651161340349382626848224679328) * 10 ^ 70 + 1245702995285132598846483991531950641462456484798526972187517259258934) * 10 ^ 70 + 8582066943392129754794759305200916434330991658191716892509427361025202)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_388 : Polynomial.coeff recurrence5Scalar0Left 388 = (((327527585411735157998896220 * 10 ^ 70 + 9932636582766460307919672440373218560551932108060269736570457904429094) * 10 ^ 70 + 4828049745596397900456981224009877694432862925724526646982927385018334) * 10 ^ 70 + 3790637766613996169899511686996314392772056812263166945231337749868056) * 10 ^ 70 + 5730891611602796400912182030788605938473361972006020334991697580639990

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_389 : Polynomial.coeff recurrence5Scalar0Left 389 = -((((49665128867026877080791740 * 10 ^ 70 + 27285751977376919029651475962627883660595422254608601084970981112206) * 10 ^ 70 + 9116132797422911979874055224398182396824349354592390502224940517981256) * 10 ^ 70 + 8888967856549570064686732773263072018637586333212233637389083935355921) * 10 ^ 70 + 7711424073046618790038009687811065621482393101024311747557382568721821)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_390 : Polynomial.coeff recurrence5Scalar0Left 390 = (((5262613830712821571980240 * 10 ^ 70 + 9747284196609349276541479010331234220288709628338302535296227958924027) * 10 ^ 70 + 4926803754760854585639228500603225362166172503713310138715142005532705) * 10 ^ 70 + 7624775013636339770499979372151099804960750261315779629748637899821769) * 10 ^ 70 + 8107135318559708023824248928994278086193773882393292501022816037471467

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_391 : Polynomial.coeff recurrence5Scalar0Left 391 = (((136006340570262784507312 * 10 ^ 70 + 1343446769709968673258046845799836485240518699684551098824675285946579) * 10 ^ 70 + 119152997774895012112156225533439452174417805239254464744897683023913) * 10 ^ 70 + 9418603172929373132882467052487578152559174664047052459777477254967547) * 10 ^ 70 + 8625608255671688323058604910223238979501795208505712278633276193573705

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_392 : Polynomial.coeff recurrence5Scalar0Left 392 = -((((294848851187174499588302 * 10 ^ 70 + 1498999088537033471154129939299849128012481019594865197111711545889278) * 10 ^ 70 + 522076933076157484514935718924520598490073007349022377824669836357959) * 10 ^ 70 + 773383701156633630135967930622071600981447352286588196580953335348999) * 10 ^ 70 + 4128600932059008160605998356577306291233408129062976026342557221501895)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_393 : Polynomial.coeff recurrence5Scalar0Left 393 = (((112009145826056682958586 * 10 ^ 70 + 2028824864998847343976881254389358337003149690148964414154541941745778) * 10 ^ 70 + 7943625801945892557050335208876905156543157203995641298752750466845723) * 10 ^ 70 + 6048281989571834868990183462312535667293699568427930576802847522072818) * 10 ^ 70 + 2779502495948473484609579218841836152741198898595360054170110357478445

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_394 : Polynomial.coeff recurrence5Scalar0Left 394 = -((((31254571878151872040396 * 10 ^ 70 + 6494418624319171848600081410278197707918897103990561243350324802991986) * 10 ^ 70 + 717253530870069950825804406496630443583835613226232254815608609601928) * 10 ^ 70 + 5033796116351134923346921746154569352228470633752658168414770691598264) * 10 ^ 70 + 8822473453532894827072630144358569540984458139883334787510409657824745)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_395 : Polynomial.coeff recurrence5Scalar0Left 395 = (((7296017637712472233124 * 10 ^ 70 + 4716067671590047032075971679583550363393034604100884463616070704983708) * 10 ^ 70 + 9752828775247440386639110668664561138550073312958267747933475857466726) * 10 ^ 70 + 4002780387590221936703098507774816698018001420806020718720747985852451) * 10 ^ 70 + 1201139945546269991242181873408716548779978817554514320172265680601701

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_396 : Polynomial.coeff recurrence5Scalar0Left 396 = -((((1446935983688843014039 * 10 ^ 70 + 5317423184424776884698315180636429612056358334502222623255307969449447) * 10 ^ 70 + 9624844530895260592739067686834065903869000735246274827151183367565092) * 10 ^ 70 + 9841049905154281381872961431562184334655683670727156738681543681095949) * 10 ^ 70 + 1304576941017382614846265932081946709182557756114585807660643393287231)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_397 : Polynomial.coeff recurrence5Scalar0Left 397 = (((229578432876541533714 * 10 ^ 70 + 2094389027386811175917857151962082698495764830316656243151668813311167) * 10 ^ 70 + 465486714017425838731925812331011047888658809330081085176462964678716) * 10 ^ 70 + 7911103731678967280380574785225691161603600702273296468597470355774793) * 10 ^ 70 + 9389245839809891632642925598622186087044636017907570188209034612620719

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_398 : Polynomial.coeff recurrence5Scalar0Left 398 = -((((21233876159234750250 * 10 ^ 70 + 9163818290587059043647143917282513943566005189740817466058300933247051) * 10 ^ 70 + 6724830139943930699507924076121935128186251189715619218356011443225710) * 10 ^ 70 + 2782246961698140308962784803429896531401854594307295700988371979280084) * 10 ^ 70 + 8557070800946557272126777909782756599943066043127804610298920119283025)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_399 : Polynomial.coeff recurrence5Scalar0Left 399 = -((((2909482485363432879 * 10 ^ 70 + 6136864208183535404537066289001199026366928702413317427094611290497611) * 10 ^ 70 + 1566418859354725353285732508697380769393245124732774842544740408587821) * 10 ^ 70 + 3399897226971836656196959266329911391395577320957734847589153373821275) * 10 ^ 70 + 8225639663515525292477122442775124098130296190292544670520089314821924)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_400 : Polynomial.coeff recurrence5Scalar0Left 400 = (((2217718700306103721 * 10 ^ 70 + 1960088871054815676642030914975966802231567847410658852440952277070459) * 10 ^ 70 + 7220801545115686911861407162564609674958231741493417429696490220239678) * 10 ^ 70 + 6207184529456884237370882022941095147424588687969412458071025090146388) * 10 ^ 70 + 2169776241961281578810449547001801758292803473390264551688681099951131

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_401 : Polynomial.coeff recurrence5Scalar0Left 401 = -((((727683483237032676 * 10 ^ 70 + 4533540029307137371863102102950236676006739669800478442321108049818909) * 10 ^ 70 + 5180806920719022604059544576644828324662422855385560868995371704913118) * 10 ^ 70 + 4622183400926542552696493995773025334395705848292033987787319329290486) * 10 ^ 70 + 8512342133125259467579227766290080025348494298328053448966244970557237)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_402 : Polynomial.coeff recurrence5Scalar0Left 402 = (((173914032170359835 * 10 ^ 70 + 7121772144066081566601351824573156359650693195442269781713059822328798) * 10 ^ 70 + 7048289719701236031488681945791107656135477774262749834649147286978602) * 10 ^ 70 + 8214098517523302414471202530472833036126601705604180899446630688574388) * 10 ^ 70 + 6839554818266950381424760342701484520307174823987810426010906184800482

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_403 : Polynomial.coeff recurrence5Scalar0Left 403 = -((((31885779798189254 * 10 ^ 70 + 7381708868745506220338936569040179645520778449416690331186627282146956) * 10 ^ 70 + 8251448492471197563564301417809328346198983423962070246196794788431550) * 10 ^ 70 + 7751248609479311402797641064050953419507627036822035505983824915676002) * 10 ^ 70 + 8513662551859425506346453078698831860149048912229512945465382316614268)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_404 : Polynomial.coeff recurrence5Scalar0Left 404 = (((4083962981095450 * 10 ^ 70 + 9142967115470291449225012044678246725527270077362836118751517670726476) * 10 ^ 70 + 4388391272829379598435410413762543967787709433394709110994790280835796) * 10 ^ 70 + 1954266394171489259132945569387734848088804808915000726768048139709107) * 10 ^ 70 + 1805361272061886857661833646060855425681105279692613801644004260552335

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_405 : Polynomial.coeff recurrence5Scalar0Left 405 = -((((157712514171659 * 10 ^ 70 + 3488760909625478955171186738209029361057385902121509507044370461023297) * 10 ^ 70 + 3565944683097365369285965950653248916340195355072595185100368791424924) * 10 ^ 70 + 1241512413515960766851878280348948362880477023648706498479182313842890) * 10 ^ 70 + 5642501876087134241958027611038207961682456035742557259904976279909900)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_406 : Polynomial.coeff recurrence5Scalar0Left 406 = -((((93605040637235 * 10 ^ 70 + 479128913989192377560921264867985098903053518022852095084870398019450) * 10 ^ 70 + 7262666696092494430384933364372025437810367801296266577274704277837052) * 10 ^ 70 + 5403808945961166625077036046397999749034349612153210276337628735492997) * 10 ^ 70 + 5545513593837457596734149165073643026469010227038775565196742887278676)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Left_coeff_407 : Polynomial.coeff recurrence5Scalar0Left 407 = (((33815162244272 * 10 ^ 70 + 7451641494702031246126984599716757210460389353813508758956195264142190) * 10 ^ 70 + 2737238885623860708170618069230257878263367746584223622542809236809149) * 10 ^ 70 + 2887390360304360409508284483679992280766273106117504517490083435773891) * 10 ^ 70 + 8661939494929931112420836730130054768869967928128110236530936469584803