Recurrence 2 lookup certificate: Scalar0Left 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.recurrence2Scalar0Left_coeff_275 : Polynomial.coeff recurrence2Scalar0Left 275 = -((630771405318048481935826172523614447396526609652313452353080547304752 * 10 ^ 70 + 2825844167559723858717352834369314475526826701242478581395198986490897) * 10 ^ 70 + 9111915251075557239346554535217244968945589274361079502824189068316236)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_276 : Polynomial.coeff recurrence2Scalar0Left 276 = (311953769888266717133300312880622221358979216120033546749456228688489 * 10 ^ 70 + 9721868198841977281103232117789238207662147268581806733309198405599598) * 10 ^ 70 + 4600218922106635198960672337683828752840774010793680268285433633537554

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_277 : Polynomial.coeff recurrence2Scalar0Left 277 = -((145604581248372129381619097174984074101467606465638091826769590721689 * 10 ^ 70 + 3797192685527994014666297973002772508096753184712444169456128688732871) * 10 ^ 70 + 4533869322042505467665838865140965701294229549460938435873388524306128)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_278 : Polynomial.coeff recurrence2Scalar0Left 278 = (64006734341242971573020691212553763785200656311408521471859311376104 * 10 ^ 70 + 7636917268309234555764647746149346845782535573508228470775219459523852) * 10 ^ 70 + 1370681866570202555706120782731174577843065795856930746807278188233937

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_279 : Polynomial.coeff recurrence2Scalar0Left 279 = -((26369416302474511351507799104254305995526911339375450718953380176834 * 10 ^ 70 + 8050965027275053892126978780966330284888869272195513267252847255652797) * 10 ^ 70 + 4872057905454606650924758668974131977875806798581720041575477955011306)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_280 : Polynomial.coeff recurrence2Scalar0Left 280 = (10086711891390339920077093965227650973031601375697687021980663966832 * 10 ^ 70 + 3679824095008349896677860651130069290721957809363774384034521942440470) * 10 ^ 70 + 1726943141306280148977090409070307785304357254655653868039102570040003

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_281 : Polynomial.coeff recurrence2Scalar0Left 281 = -((3519748484627055095768347743771250178299193857037804603429867463316 * 10 ^ 70 + 3600479441780084199044355162178208046835319063584174727280376096261081) * 10 ^ 70 + 5388528927775369392029345893315811025085902481650597038498280950959153)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_282 : Polynomial.coeff recurrence2Scalar0Left 282 = (1079564085877134136770969200857389419543702890087135117669329494598 * 10 ^ 70 + 3994995704634693134585616666041968822722891536559948176895701075157123) * 10 ^ 70 + 2977656985923324800668053617843459097372538773691427373530574792497999

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_283 : Polynomial.coeff recurrence2Scalar0Left 283 = -((263407349636154058848024174954845820806096605734080797294367339365 * 10 ^ 70 + 358828971584518215005246681318474370274473470797337957460270767467073) * 10 ^ 70 + 9726414431600482334250232463319815372090920348200837732816422799813515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_284 : Polynomial.coeff recurrence2Scalar0Left 284 = (30477395520182675863173314172700607980131709412625236110904648376 * 10 ^ 70 + 9453528230334060373206464628901078736616310632921364634827144350174375) * 10 ^ 70 + 6185164879244600998232639461996524511233476735348217338586429131693608

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_285 : Polynomial.coeff recurrence2Scalar0Left 285 = (17301001199843862697122753753185309225845846040764394264551837662 * 10 ^ 70 + 1463643938996787450565559357728472373257385089110771302473714140303069) * 10 ^ 70 + 8726180028949937303965728033200161137867329557231723183065420837904417

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_286 : Polynomial.coeff recurrence2Scalar0Left 286 = -((17178154592780384995263386245904171311950444239699680178537572259 * 10 ^ 70 + 9316905855897285114694359043321699864122207863729548760110261349162534) * 10 ^ 70 + 741609037285643861275651517238211121777994684764630993717032040306171)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_287 : Polynomial.coeff recurrence2Scalar0Left 287 = (9929703527666010513955196134848424719215732058742312559453652139 * 10 ^ 70 + 8501870854585142984741227722937761363606319703729684523481924791616657) * 10 ^ 70 + 4198996246133325109314828127139090780726229193933930614872989166376619

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_288 : Polynomial.coeff recurrence2Scalar0Left 288 = -((4680148133363474961997211967826477763828690585019665182648743952 * 10 ^ 70 + 2958069516076104482459737242794818826452842131502657480430900719958591) * 10 ^ 70 + 1756180130593807311497161030303000048943115505843025415782521113285235)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_289 : Polynomial.coeff recurrence2Scalar0Left 289 = (1944997934105728538010471746718170911670045678036382826887971743 * 10 ^ 70 + 5605197981702689924245671749127317062397096122088164239722991498910932) * 10 ^ 70 + 3136572094652376371825318827272624558507145216784776324963114039820573

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_290 : Polynomial.coeff recurrence2Scalar0Left 290 = -((733974574886567283077900970038059603252507567814467921908743824 * 10 ^ 70 + 4598088488397049183758692173951119116045871647939563772836277581313346) * 10 ^ 70 + 6023008680682286251052015128685199543778589581761868785663186648734075)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_291 : Polynomial.coeff recurrence2Scalar0Left 291 = (254671040299420473252495178406295913480499388825956404326428731 * 10 ^ 70 + 277829191620600663491553191309550832590235964768730460540089205196291) * 10 ^ 70 + 6743069070973291825271960830522563365744187158973960327008399059907196

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_292 : Polynomial.coeff recurrence2Scalar0Left 292 = -((81593028949653090299866034502629908010596072809098621516484347 * 10 ^ 70 + 4235361083892735971712049286861382970541326874488875887963307740167070) * 10 ^ 70 + 5088174092510039228234285834119719614701688106158429250399919291039711)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_293 : Polynomial.coeff recurrence2Scalar0Left 293 = (24099865582317701899196595244657236865311351774654021109185409 * 10 ^ 70 + 1161426052666246499008703608393744873149714184367335247388307852775161) * 10 ^ 70 + 1372122921509347269764238450467642920353389514599383926638870079481522

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_294 : Polynomial.coeff recurrence2Scalar0Left 294 = -((6511268119406283556570911821032681462956199773902669157737105 * 10 ^ 70 + 6204423726703066320956827341100612950129957839367757557122523854887345) * 10 ^ 70 + 2559116678607310383987127538447596909498121763507280303923263712982883)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_295 : Polynomial.coeff recurrence2Scalar0Left 295 = (1580654746257439644443919563673819312185547511011936106076251 * 10 ^ 70 + 1569772956402458362096886580260188916977815211694833241758592510542108) * 10 ^ 70 + 295591443438421904510907579306901619749681039557290483371590684779728

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_296 : Polynomial.coeff recurrence2Scalar0Left 296 = -((331029945764984283902876740017593313488025322745837495247407 * 10 ^ 70 + 5810347991850608369416879990377150087226955480290847685141547831233701) * 10 ^ 70 + 3300886977186647362142808193296730091399265234573658752635902628725133)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_297 : Polynomial.coeff recurrence2Scalar0Left 297 = (53235201465267518903977255810735019909806371275020274025191 * 10 ^ 70 + 757321405900022138948521080217856409933433231475855957302591591311996) * 10 ^ 70 + 9581021324574030776883400171447750249557234727900379274136870254380688

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_298 : Polynomial.coeff recurrence2Scalar0Left 298 = -((3144252444646942809437028324978550170819889611939174197267 * 10 ^ 70 + 8227152779465503228955897927920100772131683086339812668327556314807705) * 10 ^ 70 + 514594784511198645453156126703373395217459827166014661794231312074601)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_299 : Polynomial.coeff recurrence2Scalar0Left 299 = -((2135340135035202912181645658005876151606098910575241031048 * 10 ^ 70 + 8170004846601639138482126294360114233377475617975484993367964998942700) * 10 ^ 70 + 1340454750585403463442643755667416967612084589066305075191173228762343)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_300 : Polynomial.coeff recurrence2Scalar0Left 300 = (1251544805318809853230947841542476359110597053226510929139 * 10 ^ 70 + 6886873745501200552744722063918126509985933575159379057608261737515614) * 10 ^ 70 + 1507985777483217691506507464768312646015559320986927902591307392446966

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_301 : Polynomial.coeff recurrence2Scalar0Left 301 = -((460914529475600898770369276234329724132320295602413346367 * 10 ^ 70 + 2593369833763846141073385747501955514893623153552107516024258283167516) * 10 ^ 70 + 7806490062064021285844711533737746626794466390653387715711281021640599)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_302 : Polynomial.coeff recurrence2Scalar0Left 302 = (138698043645754278881576246606558675247446790829817256973 * 10 ^ 70 + 7676897906665062201101388736327526771494000262715398013567347309998042) * 10 ^ 70 + 8935931302483066777059142094589399047739821773599777636223530321105334

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_303 : Polynomial.coeff recurrence2Scalar0Left 303 = -((36427363813131744248262048830903457661905247974846635136 * 10 ^ 70 + 4601364732214822671821400074219006239085754713868818563756923937420255) * 10 ^ 70 + 1147075191421534125163470690953058167171167752367906414358826667584270)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_304 : Polynomial.coeff recurrence2Scalar0Left 304 = (8546289844532699754774555037218565003366421912907724017 * 10 ^ 70 + 8572273030796796015276965771363676519539712119381456431008828160558337) * 10 ^ 70 + 6226306101815808741416993102885078240328899728208249831605040498972924

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_305 : Polynomial.coeff recurrence2Scalar0Left 305 = -((1802065715256272371072915012567255154002194152199098112 * 10 ^ 70 + 3791109807852338874292844782926255080085208076905512040090731638723422) * 10 ^ 70 + 472619162008011748183057405525381195706941987719780696080783017444144)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_306 : Polynomial.coeff recurrence2Scalar0Left 306 = (339576234181894497746640748401962167984182755241949111 * 10 ^ 70 + 9278786117016098424958334722739143115901440960212919826995457537739060) * 10 ^ 70 + 1990289632280803094435170298756234409135683294748808331470371343912314

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_307 : Polynomial.coeff recurrence2Scalar0Left 307 = -((55999465719470507113607681682008447769627324553804838 * 10 ^ 70 + 3458190334696177197300579994073592997437452292701105387064469237687749) * 10 ^ 70 + 2443264300692508884753670172850017388895572112465862361329445249860967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Left_coeff_308 : Polynomial.coeff recurrence2Scalar0Left 308 = (7645668514833020598754661557393462628467566028802453 * 10 ^ 70 + 5256693581058440136382079146189602425150172866526455282197333275134487) * 10 ^ 70 + 7973620951444016533721786968440049924114116485174073027843745851281344