Recurrence 2 lookup certificate: Scalar1Left 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.recurrence2Scalar1Left_coeff_307 : Polynomial.coeff recurrence2Scalar1Left 307 = -((85195423916756505450683751977097265670210221725149 * 10 ^ 70 + 4673758162544809364380294879294460040633010439682443804736133508034962) * 10 ^ 70 + 184121621545184549966406519020513445522615646895103872575464265398975)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_308 : Polynomial.coeff recurrence2Scalar1Left 308 = (13295655647213254899340673025496370872912266688052 * 10 ^ 70 + 7756706365812485323213797863542627133381091386150661305277861743371629) * 10 ^ 70 + 8293712551757666302703492687899797141716356646151629317577662769955505

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_309 : Polynomial.coeff recurrence2Scalar1Left 309 = -((1403883081392215074423335413667446851759425232068 * 10 ^ 70 + 7924271924039760123852537919121014288616540732707059876344422799324386) * 10 ^ 70 + 6138430480987916423388931299114332949850272888432011014628352283855675)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_310 : Polynomial.coeff recurrence2Scalar1Left 310 = (2181375926579611737923080073711644955820444900 * 10 ^ 70 + 82707354198765705466969079962003883764692186620801547822049519586257) * 10 ^ 70 + 3973827565823232864199281383184617382044563874176624761312331235172271

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_311 : Polynomial.coeff recurrence2Scalar1Left 311 = (45417688667268203283209021291820520962324804009 * 10 ^ 70 + 6977147212368288560403253327151007525653255987266912417494814661779578) * 10 ^ 70 + 470286819881845873027389892713739887185752508952316612446860052659791

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_312 : Polynomial.coeff recurrence2Scalar1Left 312 = -((14208114080832221160983361665418818892813497507 * 10 ^ 70 + 2813072461714499737990867806025529689827612372003972745567120916518703) * 10 ^ 70 + 5893949335975633300434594969003308199416801807214880100342209539290830)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_313 : Polynomial.coeff recurrence2Scalar1Left 313 = (2966283225460584667622662915687696828887125592 * 10 ^ 70 + 6486310807837075562144901883299625142164594402099809025038425030018549) * 10 ^ 70 + 1296421518842817845830144080505336014433951188932083818328120515297834

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_314 : Polynomial.coeff recurrence2Scalar1Left 314 = -((479909381594723487337760038571741784907665762 * 10 ^ 70 + 6494433386628336851711875685797035417345034318607039224880840181615684) * 10 ^ 70 + 3631224993342580105567371851365117398834218289788339197101892820824673)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_315 : Polynomial.coeff recurrence2Scalar1Left 315 = (60418289174267968743098824628090000504793700 * 10 ^ 70 + 4108605459731165961710747180364640105087431331142066254911852021318810) * 10 ^ 70 + 9550728028389342708375298150966707636776996239842455709152715848748795

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_316 : Polynomial.coeff recurrence2Scalar1Left 316 = -((5242715742692346389098955520176955126352619 * 10 ^ 70 + 4940668881429990441360500799881442771442987643571270761545942098539473) * 10 ^ 70 + 1576998145553132687573361526810982048933160737311886242317448931227702)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_317 : Polynomial.coeff recurrence2Scalar1Left 317 = (88049063464243171670400178811065430674198 * 10 ^ 70 + 121025805713843591392892071292583943640933043323935034337577822454848) * 10 ^ 70 + 7071173854220546921027835791538884247057923247485336386669566790696097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_318 : Polynomial.coeff recurrence2Scalar1Left 318 = (75887367200558646107724149004539785353870 * 10 ^ 70 + 8832134551664944569019593063614702847765498215166514505382265865147631) * 10 ^ 70 + 1896124847077336667506939475679674471614667743247105505675409132735799

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_319 : Polynomial.coeff recurrence2Scalar1Left 319 = -((18561255386397169767684534726764400149768 * 10 ^ 70 + 6112629979789007584750556736418793758804236616567971229088067900380986) * 10 ^ 70 + 6313315772631018498877982406992652714423333106904841216418248769366007)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_320 : Polynomial.coeff recurrence2Scalar1Left 320 = (2788478904430205253962953246364919277295 * 10 ^ 70 + 7528096448468090010317249346194439976172783780400931848974537390132231) * 10 ^ 70 + 4826234503416831247145425488567128639560707748101929853739428373690995

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_321 : Polynomial.coeff recurrence2Scalar1Left 321 = -((301025857159466237150692170130121741757 * 10 ^ 70 + 1169904829747040816347936979359102565379388201773391390089710868646399) * 10 ^ 70 + 4643471499758252166953527918255241483485780705463443292487110425205605)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_322 : Polynomial.coeff recurrence2Scalar1Left 322 = (21343389216377343992143513608525501012 * 10 ^ 70 + 1225142073756007150989227410573894763141805198802043689574968934125599) * 10 ^ 70 + 4800888879842030751539413270468148143668575226582526659076110288527255

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_323 : Polynomial.coeff recurrence2Scalar1Left 323 = -((242444772775672851361497271725228172 * 10 ^ 70 + 7851156786260481278890378558165955574229946706199839451478934397504213) * 10 ^ 70 + 1567497610771865856760399482904387077507313307595927850549407127894031)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_324 : Polynomial.coeff recurrence2Scalar1Left 324 = -((201549288940403955781748121819388720 * 10 ^ 70 + 9941143360407375246049772249831218211075072692196049670640989062727973) * 10 ^ 70 + 6553494858806756621877146528182918529801764634571950147770276462158610)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_325 : Polynomial.coeff recurrence2Scalar1Left 325 = (36831140048340710457956298645489621 * 10 ^ 70 + 8229140379588926797306726896008218225158204071094707834486442240224235) * 10 ^ 70 + 4192349583171462579270920652725957073764735741452687109182806301958212

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_326 : Polynomial.coeff recurrence2Scalar1Left 326 = -((4021698553189127255617025909894725 * 10 ^ 70 + 1849696994510995157926140664152772193239051230365323726223751621812241) * 10 ^ 70 + 6108409534346760517440167167019037466768197595450625801917150490685570)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_327 : Polynomial.coeff recurrence2Scalar1Left 327 = (295967637668269454377092270010277 * 10 ^ 70 + 3921435569109586169376016425676909746846090281289344589625389219642239) * 10 ^ 70 + 2027355083015872149409334063213353311936881299690289389954033834162635

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_328 : Polynomial.coeff recurrence2Scalar1Left 328 = -((11318477819114571970574707288105 * 10 ^ 70 + 1934855171445067599928351247709562823320365793884297470663569642152840) * 10 ^ 70 + 8102909004953207035160076511755678142918092253926768493453641360160492)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_329 : Polynomial.coeff recurrence2Scalar1Left 329 = -((537164163642700508652514352581 * 10 ^ 70 + 3271470715903222784751366146147811476294630107143550127206526900181330) * 10 ^ 70 + 2461984432522784312038233186952082521918065416977311118968117320090628)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_330 : Polynomial.coeff recurrence2Scalar1Left 330 = (139722168821864021906582479364 * 10 ^ 70 + 603075663130471007400196118302225724848955330707819103431947755082972) * 10 ^ 70 + 3298830716166321970244504005648986030219762295865159480359646859899730

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_331 : Polynomial.coeff recurrence2Scalar1Left 331 = -((13759385893966293666698634764 * 10 ^ 70 + 2184784527232770605166953372938365770749820838116389514381275264625916) * 10 ^ 70 + 4699166544718273473929243376809987867030456558176470487978936299246594)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_332 : Polynomial.coeff recurrence2Scalar1Left 332 = (854655067669397577496492026 * 10 ^ 70 + 663628342661150913800154333735302411784993483781528316288223098758512) * 10 ^ 70 + 4347779517531224941150709909168171576909119225000705449545488956988676

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_333 : Polynomial.coeff recurrence2Scalar1Left 333 = -((30029855634684375906395409 * 10 ^ 70 + 6905292976477546833433234804409363620796978146141361933904246225007727) * 10 ^ 70 + 463181999192796746563047996958120237211882456826955184718499780771600)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_334 : Polynomial.coeff recurrence2Scalar1Left 334 = -((261384235681867753988922 * 10 ^ 70 + 9319155390020711211263059485549738757084659004137021441946624614056503) * 10 ^ 70 + 3683772965791540617989960415191896015666023322236885277658515806009625)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_335 : Polynomial.coeff recurrence2Scalar1Left 335 = (115978250359657019327444 * 10 ^ 70 + 6439188686278150901927342916615817985956051485921303632440320054503049) * 10 ^ 70 + 715680787424347515685876325809066942429806497140033718842087506308183

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_336 : Polynomial.coeff recurrence2Scalar1Left 336 = -((8437549490804282001416 * 10 ^ 70 + 2460825502750900394960561162810719255428535160900977087588850942568218) * 10 ^ 70 + 8634296513328659380865967833884250034581338187874938815182235293877781)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_337 : Polynomial.coeff recurrence2Scalar1Left 337 = (342021673587839571693 * 10 ^ 70 + 4846810325993576598707179252021480402874636356239115509450386260336038) * 10 ^ 70 + 2400809136813554753615048023513993415671480064177975661937858310796145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_338 : Polynomial.coeff recurrence2Scalar1Left 338 = -((6151867453481513706 * 10 ^ 70 + 5015626148256122339021537877433801345743507364591871687542117060425020) * 10 ^ 70 + 3772258155080390076747298888671567911425932206401783086499723013610688)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_339 : Polynomial.coeff recurrence2Scalar1Left 339 = -((176272250668543886 * 10 ^ 70 + 7351112463717277521192177778138220195414417041416701000703803704763882) * 10 ^ 70 + 5372060075266793481289917876050351556397779407229334521773554455209729)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_340 : Polynomial.coeff recurrence2Scalar1Left 340 = (16636731183259529 * 10 ^ 70 + 5637992731067890865583646091045866613139345402966222115992894217757408) * 10 ^ 70 + 2935205236883227524238479686252169727475532016405486156136076041101135

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_341 : Polynomial.coeff recurrence2Scalar1Left 341 = -((554376978962637 * 10 ^ 70 + 2147321900749745656132027439025277239680668298677251824944121526494672) * 10 ^ 70 + 9067845373350638453402386203243075939964428937419686074699640811077606)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Left_coeff_342 : Polynomial.coeff recurrence2Scalar1Left 342 = (7642252769921 * 10 ^ 70 + 4919283076139372733921499105748215189511464949182661544647026474365647) * 10 ^ 70 + 4994161817629929130301859068713412265279652145797662747514532074939223