Recurrence 4 lookup certificate: Scalar1Left 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.recurrence4Scalar1Left_coeff_451 : Polynomial.coeff recurrence4Scalar1Left 451 = ((5258511461689442433193255130 * 10 ^ 70 + 4938707563294342199373822935348432437910597250563740418751045257234992) * 10 ^ 70 + 3120878370398263663120626734466940113723668940994631514584097144092606) * 10 ^ 70 + 8109606378144519143204326882004177031912845753791352620808094030092622

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_452 : Polynomial.coeff recurrence4Scalar1Left 452 = -(((580282066559575459161344030 * 10 ^ 70 + 3076950758328795301087538032897452004402321844134715605053444099189692) * 10 ^ 70 + 1314372035991743862599549459487607665197638137054802292797190041863437) * 10 ^ 70 + 9469789845113949964044164753725526335276296659398178456940872455642789)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_453 : Polynomial.coeff recurrence4Scalar1Left 453 = ((34592045473925155235507196 * 10 ^ 70 + 3695360671561518951514543636347079521866580944442002124281869526613380) * 10 ^ 70 + 9553350391282264482735588236625643099583557822419894390146699101095855) * 10 ^ 70 + 8544791141700716902143599715481459584987260098598870669753969160564959

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_454 : Polynomial.coeff recurrence4Scalar1Left 454 = ((3845651136587842613613737 * 10 ^ 70 + 4930117416045920310304294707465383985956216445379912334907535578871225) * 10 ^ 70 + 2484991391786343082148911985033308493034642955809918531668539598406223) * 10 ^ 70 + 3186147935651560405535612469256558569494705463305849198662900327979201

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_455 : Polynomial.coeff recurrence4Scalar1Left 455 = -(((1738553356528068496672075 * 10 ^ 70 + 8953654138767086871025392273182320396897955648259162552670058991555918) * 10 ^ 70 + 8020990283998539400861393921467202075539568671829545211293139844247150) * 10 ^ 70 + 288003293688427785868488546297314720240190527067577775550718278652636)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_456 : Polynomial.coeff recurrence4Scalar1Left 456 = ((361008070025396828870342 * 10 ^ 70 + 1923186620408246227782402366867054058480000434381237705334902981402055) * 10 ^ 70 + 9798589705854979569800089432950808845231196325347814416730864458101349) * 10 ^ 70 + 7807103266469749203388420353722132981865470309621177408427013707209802

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_457 : Polynomial.coeff recurrence4Scalar1Left 457 = -(((55352188312254095683393 * 10 ^ 70 + 5390323807546164406437273520771819930825587288638047638331362727794253) * 10 ^ 70 + 9684609695716732956660986320798207786883398205810866976568140775772907) * 10 ^ 70 + 8756074595373323899768013627408331494315592487654636081688234531631588)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_458 : Polynomial.coeff recurrence4Scalar1Left 458 = ((6712601533956668006024 * 10 ^ 70 + 7572187715126244630590239582891710499431048933409955002133841376797369) * 10 ^ 70 + 7633091833148513466591655641222697667832747453614322494523058699224088) * 10 ^ 70 + 7914789649129932440119756131153549277372045755751248671172155559617387

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_459 : Polynomial.coeff recurrence4Scalar1Left 459 = -(((625889639461695880140 * 10 ^ 70 + 3987906781513308361114555025447384632922178160725097798441443570137453) * 10 ^ 70 + 3621386216805013442820963230765220096239139201893441625212690229061077) * 10 ^ 70 + 6698680395662015634319580944186414133227752098972700062909537513970277)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_460 : Polynomial.coeff recurrence4Scalar1Left 460 = ((36643011326413138023 * 10 ^ 70 + 5592962290670860924141590631061465196237347010846722679471851182760450) * 10 ^ 70 + 5833110017276881603212006902576492894195342264715817198542886242680231) * 10 ^ 70 + 2151546670390573637337544819148932269626906693762203031247655490729805

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_461 : Polynomial.coeff recurrence4Scalar1Left 461 = ((764940579819563599 * 10 ^ 70 + 3695810980997061798709280621677317018767203565419247335184271138589057) * 10 ^ 70 + 4462518395618113380670156349686767156539324268421859254121526684776163) * 10 ^ 70 + 5319498307149880814321438696881631078719638470715393864071494758626737

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_462 : Polynomial.coeff recurrence4Scalar1Left 462 = -(((579199239080349853 * 10 ^ 70 + 8134501324910455518585568837497389846905836341071564658477833346658699) * 10 ^ 70 + 62476085831115900425214348769249998874191608105818810382229589749134) * 10 ^ 70 + 7129887061567913912678663412842392881999015288604683187996221082949438)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_463 : Polynomial.coeff recurrence4Scalar1Left 463 = ((96676425119551403 * 10 ^ 70 + 7279353885778252596460270655491073772726872576133033581309373091147191) * 10 ^ 70 + 1905468025288711720339499471041905985289933334006303594106381923951971) * 10 ^ 70 + 1422941558688679085226338634369104693251721685296185388744179936007106

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_464 : Polynomial.coeff recurrence4Scalar1Left 464 = -(((10958994546961608 * 10 ^ 70 + 3173114104953286491910721621874633173771956985024537168960593852351525) * 10 ^ 70 + 152921984190943020687584847976455296536282880229863061974566488123900) * 10 ^ 70 + 4011588223572785023788592342198350415083536128044578432868512043797843)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_465 : Polynomial.coeff recurrence4Scalar1Left 465 = ((932426734005659 * 10 ^ 70 + 5591969963864007772162660371271079294892944528840233068937828886789171) * 10 ^ 70 + 9874839584809982312121148431315518748149750446948354971144202107161751) * 10 ^ 70 + 6956515781058095102615185584076278163187959145824717079459345910532488

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_466 : Polynomial.coeff recurrence4Scalar1Left 466 = -(((57093736000892 * 10 ^ 70 + 3391918479561655682446524586808102703795379548149459198384815133641669) * 10 ^ 70 + 8674397953359199605530077805259928715291720873834238911641620661849567) * 10 ^ 70 + 7673245829531686445943376282683800168633515425589561632635846598231405)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_467 : Polynomial.coeff recurrence4Scalar1Left 467 = ((1791758970128 * 10 ^ 70 + 6524135762994076178919284282333155004947154090007745233440666402058024) * 10 ^ 70 + 2997437928139387162130030704438034140588204979857050758246470169783859) * 10 ^ 70 + 389831503809893009339229712169078523792359752700763274755846367245402

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_468 : Polynomial.coeff recurrence4Scalar1Left 468 = ((96744924685 * 10 ^ 70 + 8950800624355732191876315152913840410157874192875479246370899885637774) * 10 ^ 70 + 2188092411526480820772727226990579215273370784941534572148156241036464) * 10 ^ 70 + 4004132296034629592675300469486500618010206241723279484065387281394626

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_469 : Polynomial.coeff recurrence4Scalar1Left 469 = -(((20192779012 * 10 ^ 70 + 8006261237428443349826656715123845116494254649262712240056695088365090) * 10 ^ 70 + 7712417329168648126407238622153610687515978763277024494777076707384011) * 10 ^ 70 + 7016417403576776882706281775777116294763077973464742241107597396481534)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_470 : Polynomial.coeff recurrence4Scalar1Left 470 = ((1753503353 * 10 ^ 70 + 2071563914855739259870277169263017100542934519936047310929929148547568) * 10 ^ 70 + 4316890997486695338945185613104879380238835002085109644790494134865997) * 10 ^ 70 + 9854055080677074988079433126340867034465329237240430722039351425862317

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_471 : Polynomial.coeff recurrence4Scalar1Left 471 = -(((97543166 * 10 ^ 70 + 7992993617217869783493159501653018226287629558584517728933234438717880) * 10 ^ 70 + 5463230935761525850234117419454913192139826173443317761262899027299803) * 10 ^ 70 + 2633980542653822262908095301057881542246938442596222523924573089934097)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_472 : Polynomial.coeff recurrence4Scalar1Left 472 = ((3200232 * 10 ^ 70 + 1588125224219900667323844221797311108443608265518289931068239875942542) * 10 ^ 70 + 1903919412525423493158092099931606962235652963515017469771383320123159) * 10 ^ 70 + 6478537111021959871554131982174665204360782619291987373828942780460439

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_473 : Polynomial.coeff recurrence4Scalar1Left 473 = -(((3327 * 10 ^ 70 + 3765590571490417730488630997335292118277097602400781221196544563374887) * 10 ^ 70 + 6262207203587112635042370678932866539668546715871116188615046084223219) * 10 ^ 70 + 3910259799730722855294630724000486058753944316209946277564332425569679)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_474 : Polynomial.coeff recurrence4Scalar1Left 474 = -(((6290 * 10 ^ 70 + 7230899356039570431412266758946535503317641499859695808748006142201503) * 10 ^ 70 + 59680085521737490479622354172819882739851416086231632476448866979802) * 10 ^ 70 + 4107834892326327633708085803870863451505308872794660542194507419913340)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_475 : Polynomial.coeff recurrence4Scalar1Left 475 = ((368 * 10 ^ 70 + 5289244090458035008348362618670113971723910379885624400361034840992301) * 10 ^ 70 + 5259348613277201609262447876908536815618418233681488325156736113680747) * 10 ^ 70 + 7011815605408240818192770558731553643084861772527839350941467532217880

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_476 : Polynomial.coeff recurrence4Scalar1Left 476 = -(((9 * 10 ^ 70 + 6622412207518455231328401519123023538094552841445692801925062845823236) * 10 ^ 70 + 3552729097972625488714934991004135963685633627322537469363865762981833) * 10 ^ 70 + 9301687788913165446970263336764157042723537355299591418208105005690527)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_477 : Polynomial.coeff recurrence4Scalar1Left 477 = (46500728879889980041563090278680000545103611328997646452230962750340 * 10 ^ 70 + 8839303794179839891848005340547941904979384359072235534642459600450523) * 10 ^ 70 + 6848728735128420733458432937424400701070447551094801604664198874262915