Recurrence 4 lookup certificate: Scalar2Left 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.recurrence4Scalar2Left_coeff_490 : Polynomial.coeff recurrence4Scalar2Left 490 = (10086085793544872178092537782816748 * 10 ^ 70 + 2356364797178367250931830117296935941093510966813637154767829814549800) * 10 ^ 70 + 9828960556108024253464550091860472521023943835113297731109963273283912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_491 : Polynomial.coeff recurrence4Scalar2Left 491 = -((20636611583284377179909484746894 * 10 ^ 70 + 9899704500990427913802633685327731514168512580199440909219047502234103) * 10 ^ 70 + 3391309456926756430166871487595420561399289665823829146853779742342696)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_492 : Polynomial.coeff recurrence4Scalar2Left 492 = -((29954564087151440519109559406 * 10 ^ 70 + 5271290073429196763429732761322163822706756520998595590551336496003480) * 10 ^ 70 + 3736152349646125266770340993474183127212845647682233892076000185776608)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_493 : Polynomial.coeff recurrence4Scalar2Left 493 = (62428858359421962825789863 * 10 ^ 70 + 9032693001561234273907348165115057053449123409737873642149464466205517) * 10 ^ 70 + 3989194820188470353105060412041368529709893393863572634739509471017389

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_494 : Polynomial.coeff recurrence4Scalar2Left 494 = (27865369450143366609178 * 10 ^ 70 + 9062083505743764002479916945051821343731331368192947156168738839626462) * 10 ^ 70 + 6679638873366622894828973383556234280722698391879555740809976492797293

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_495 : Polynomial.coeff recurrence4Scalar2Left 495 = -((85977017939994032722 * 10 ^ 70 + 4909601978457381317255171245137808010663808931442325607374311509345254) * 10 ^ 70 + 1751380313047745856267247207340461649132797726592016438167479327417008)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_496 : Polynomial.coeff recurrence4Scalar2Left 496 = (16055809465629630 * 10 ^ 70 + 4631786937115965259611310789602171619095686845805682432032701725317861) * 10 ^ 70 + 8368932467304731962042496740695898463736612209061188767639733767005271

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_497 : Polynomial.coeff recurrence4Scalar2Left 497 = (28049099999243 * 10 ^ 70 + 9304680003657247684643580304909122668726309550549775121662322232365948) * 10 ^ 70 + 3609616013566279386756193720736789675200891645048509639009985701558712

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_498 : Polynomial.coeff recurrence4Scalar2Left 498 = -((11088659327 * 10 ^ 70 + 3526459849175142272353791283182826251328868787150665561244403151445278) * 10 ^ 70 + 7180607677479652700520436008428295241141841759209729625227682099808083)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_499 : Polynomial.coeff recurrence4Scalar2Left 499 = -((642191 * 10 ^ 70 + 9692659753519721028232738752061745520072508418767083511230187820102647) * 10 ^ 70 + 192783151434293189764109288053293062898479957026913973772920949955410)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_500 : Polynomial.coeff recurrence4Scalar2Left 500 = (575 * 10 ^ 70 + 8609534845188867472877076377398414046056127778412572534189915584183058) * 10 ^ 70 + 3962888990751294287209694595028544739981881681687848379238625461940315

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_501 : Polynomial.coeff recurrence4Scalar2Left 501 = -(421613022016667585553824962207221254526644125720800712440485696012206 * 10 ^ 70 + 4115861837027915881462426677475483108565003686348214186382376001498899)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_502 : Polynomial.coeff recurrence4Scalar2Left 502 = -(23364199964238631853978882054582358993483250929237019892504347195 * 10 ^ 70 + 3846888889662252427707872567526631810651299215622795744264631664286311)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_503 : Polynomial.coeff recurrence4Scalar2Left 503 = 2152663238414283800708013876322806183781885692170644355872438 * 10 ^ 70 + 9230416053645822977074367033584639118278764768533908913030962402260234

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_504 : Polynomial.coeff recurrence4Scalar2Left 504 = -(25371424140789062144724731741762708151348153637434800028 * 10 ^ 70 + 4309714477650490845039821272051795741145218094135525331368156876154640)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_505 : Polynomial.coeff recurrence4Scalar2Left 505 = -(601387377168416021302808221299571003623129179569589 * 10 ^ 70 + 8613017420620932842486124087634935248597320330762939209671691138676621)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_506 : Polynomial.coeff recurrence4Scalar2Left 506 = 7454903641464048669138376038697191921298745643 * 10 ^ 70 + 888458509010974661085337334828199659617483063704662803080511708623001

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_507 : Polynomial.coeff recurrence4Scalar2Left 507 = -(11690585713525214872054166167062528025983 * 10 ^ 70 + 9553829935874121101619871705629256231727173836846964816169875038845336)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_508 : Polynomial.coeff recurrence4Scalar2Left 508 = -(63960374164064485528005958685386661 * 10 ^ 70 + 4731315063889014606488854517755818852546047180472561808453028699015738)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_509 : Polynomial.coeff recurrence4Scalar2Left 509 = 79457755080214002597672235407 * 10 ^ 70 + 7741835386018443619894973858497644687594832324813425521245761705591572

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_510 : Polynomial.coeff recurrence4Scalar2Left 510 = -(13785476235435732278541 * 10 ^ 70 + 7835039624219256148339519625031867360161120267078522114836630899063200)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_511 : Polynomial.coeff recurrence4Scalar2Left 511 = -(6306531890487896 * 10 ^ 70 + 4632044751987589918822418319866860646445142272698168702463147937675705)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_512 : Polynomial.coeff recurrence4Scalar2Left 512 = 346844210 * 10 ^ 70 + 5988711382364874152722113147308548297132202427674896398484298424746359

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_513 : Polynomial.coeff recurrence4Scalar2Left 513 = -(3 * 10 ^ 70 + 6162422877326748712570162065258747737037805459129053360086100494870960)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_514 : Polynomial.coeff recurrence4Scalar2Left 514 = -250932851299646582581316892643481901891865211206656305812286900