Recurrence 4 lookup certificate: Scalar1Second coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_485 : Polynomial.coeff recurrence4Scalar1Second 485 = (8823474851882803396966561030215947312626624428342736264 * 10 ^ 70 + 1852137595014304017746269507022919685741469091176869885844097778669457) * 10 ^ 70 + 4823858464842038544504647959637629947272083259276399762457573745004136

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_486 : Polynomial.coeff recurrence4Scalar1Second 486 = -((15443979115698218761741592105477302784630367147418353 * 10 ^ 70 + 610720933701431880288129709331757360022823357873868233516544427491462) * 10 ^ 70 + 1845238348011298199660170005965280564552512852986089001779116070892601)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_487 : Polynomial.coeff recurrence4Scalar1Second 487 = -((414991830024141681352849091350987095830077968525406 * 10 ^ 70 + 4848257356406484316545618153618779686069951193553143975749586052394700) * 10 ^ 70 + 5258522108721075412387843053100449961337538296608914773848108386274649)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_488 : Polynomial.coeff recurrence4Scalar1Second 488 = -((180835326184285261155226649537635196096714204935 * 10 ^ 70 + 595418512106716759213158519204934912742824909650373021638295283799807) * 10 ^ 70 + 2390692148124191076969529476911001265588485248206344983389636925827149)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_489 : Polynomial.coeff recurrence4Scalar1Second 489 = (9448806636804312360496517657655598586428830607 * 10 ^ 70 + 9073275476776622384064046035284981158944800948592895049446660597817790) * 10 ^ 70 + 90847016001479759754224480879902591692694786824242933061318059702154

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_490 : Polynomial.coeff recurrence4Scalar1Second 490 = (13268362530418391969483744763926907173517557 * 10 ^ 70 + 3407844680097043394465627347661788007457889530532008708600176011086801) * 10 ^ 70 + 479263791774207306251636426766672063621438544982793256977315648501248

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_491 : Polynomial.coeff recurrence4Scalar1Second 491 = -((113209488106153907372421075445718236847353 * 10 ^ 70 + 2928468908636814721030231213597463900887240123546467071598148701144117) * 10 ^ 70 + 8883867276876809491940810176250168986250552165006871609551325338415128)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_492 : Polynomial.coeff recurrence4Scalar1Second 492 = -((187130597456029077725859149552309111926 * 10 ^ 70 + 2086694780174440722484189682676091203927774883403422903201212023161256) * 10 ^ 70 + 8792667227447256532427023516535831234693439513014924947748171839096098)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_493 : Polynomial.coeff recurrence4Scalar1Second 493 = (823467456313195213771518000070212063 * 10 ^ 70 + 7673598806356140531890592141615084703582504721906342048949597467486266) * 10 ^ 70 + 9046612880325377457759754812327627030510554185144026037771706388253797

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_494 : Polynomial.coeff recurrence4Scalar1Second 494 = (1144958322528545393309164698806488 * 10 ^ 70 + 8940553893853040044059251539127746008741036105434547383369719567378874) * 10 ^ 70 + 4605281417332689900485087531914578335001862313249786922928499628290530

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_495 : Polynomial.coeff recurrence4Scalar1Second 495 = -((3858781672019701146761944630437 * 10 ^ 70 + 6969819127695799440930547647982369313329982923591823768027258389547771) * 10 ^ 70 + 4514116914319131071223466245772445024737369302655386199580672190456428)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_496 : Polynomial.coeff recurrence4Scalar1Second 496 = -((2914642532745357987849584494 * 10 ^ 70 + 7791516916577962667169486923496557639193230096978953531491163618876647) * 10 ^ 70 + 7095174320078484426345997359175275415086828783749459809156472295888909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_497 : Polynomial.coeff recurrence4Scalar1Second 497 = (10676793028618028619297164 * 10 ^ 70 + 1387704226385524311746061655963603700792953570837443603298287326947210) * 10 ^ 70 + 3150347459381080369328587017683222114912595795804930105785874164396730

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_498 : Polynomial.coeff recurrence4Scalar1Second 498 = (498275475290253477980 * 10 ^ 70 + 3573276851072117120171245449828655281146225980186056564849767780746097) * 10 ^ 70 + 3292920331388228243059197878226536765647006937081767531181907561917936

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_499 : Polynomial.coeff recurrence4Scalar1Second 499 = -((12525898769111084400 * 10 ^ 70 + 8773622584775467135416684843805051672344853108251101956691145581053919) * 10 ^ 70 + 7164777588629938298963481807580554783364375443841388222129875373820313)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_500 : Polynomial.coeff recurrence4Scalar1Second 500 = (5061279413415154 * 10 ^ 70 + 8145340483400820941356609238987881895312261185186296061559929492959301) * 10 ^ 70 + 2582043291566060341080335322655810642253637351441892815035516568296707

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_501 : Polynomial.coeff recurrence4Scalar1Second 501 = (2935661162827 * 10 ^ 70 + 7629025178670272443668309558531455013254409874780961331929648077273646) * 10 ^ 70 + 9953338096845147054407318940585437191052542332107865530770905227334575

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_502 : Polynomial.coeff recurrence4Scalar1Second 502 = -((1805537064 * 10 ^ 70 + 1606851977881043721258292545609102823915863381776621261067480968083820) * 10 ^ 70 + 2180556031644139488295891508789368075123680922439267775422090364076115)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_503 : Polynomial.coeff recurrence4Scalar1Second 503 = (82423 * 10 ^ 70 + 9387061716548933247308941997599315202451016948887555236862431353380529) * 10 ^ 70 + 3268889093167339402368555202257717611915665197484749038998933948769823

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_504 : Polynomial.coeff recurrence4Scalar1Second 504 = (65 * 10 ^ 70 + 4003114374771688498456742444166169623069976997096750084210743000140871) * 10 ^ 70 + 2134234563618719425972214203737222057207570712622547129205923769434988

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_505 : Polynomial.coeff recurrence4Scalar1Second 505 = -(75860038365372498151803163494669045364877564914774519614011318111758 * 10 ^ 70 + 4047376235502330786212080536737492814527851066441890334562571895345406)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_506 : Polynomial.coeff recurrence4Scalar1Second 506 = -(443300449417990287791349829928449001319828619133474587218600898 * 10 ^ 70 + 2450476323376636699453409418890258901663216071557213484330630732881731)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_507 : Polynomial.coeff recurrence4Scalar1Second 507 = 241822758168947522958542272395850146127790795507547499075563 * 10 ^ 70 + 1903686262009571046428148183930110225363537965003320830308736499231935

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_508 : Polynomial.coeff recurrence4Scalar1Second 508 = -(5100900081852533754983375618016425088102532057256682964 * 10 ^ 70 + 8345348966081023532157843708349183330621733133710307021342705614954236)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_509 : Polynomial.coeff recurrence4Scalar1Second 509 = -(21225988629101627378181389527248429964942603236371 * 10 ^ 70 + 3416279635212241687203083830936590401081683513256407552117429395266514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_510 : Polynomial.coeff recurrence4Scalar1Second 510 = 781704870313966052063291979338901743329384019 * 10 ^ 70 + 5459367436458349431567625528897697871814485631550203301474854156464624

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_511 : Polynomial.coeff recurrence4Scalar1Second 511 = -(2425765963424821799496870065135440609201 * 10 ^ 70 + 6169267720949311568153140000756555282926293164642050112841356828591028)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_512 : Polynomial.coeff recurrence4Scalar1Second 512 = -(1851907982886961883216133132670210 * 10 ^ 70 + 5447329954539564972589951325266751903227725804105866716067951648065400)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_513 : Polynomial.coeff recurrence4Scalar1Second 513 = 7236652153748435013033965222 * 10 ^ 70 + 7155559609147174920468232540338420952278872539000455352146412519648746