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_294 : Polynomial.coeff recurrence4Scalar2Left 294 = (((325986818784689148834166 * 10 ^ 70 + 6336995118105586620093679011331891677655255151719944143117586562947006) * 10 ^ 70 + 324388720510092745575640649121804572866567012328919186121866922478720) * 10 ^ 70 + 7372524168295060810347451640560089623579743807303417088253650899756741) * 10 ^ 70 + 3631234844978756765570158207304494310022024144068582888639420678710551

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_295 : Polynomial.coeff recurrence4Scalar2Left 295 = -((((191685788399193860954925 * 10 ^ 70 + 8260186508224139215689595439703771499192573215354062689557074279339836) * 10 ^ 70 + 7133652426098199897820295687806354840897397748629794013480862090508651) * 10 ^ 70 + 5313994010577681544808843469712843885502866724445239449730936520844077) * 10 ^ 70 + 830374460558141843322067496648341760839601075117903621120710493845985)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_296 : Polynomial.coeff recurrence4Scalar2Left 296 = (((109181023445352652568367 * 10 ^ 70 + 7833853927048573813399353120900766929587197911182991279346145334920634) * 10 ^ 70 + 1631192125192162794692667484592618850537623518470796753946115769514575) * 10 ^ 70 + 6295103749065342995385814563620557967500422672872723512263232599192598) * 10 ^ 70 + 6261319181063324322101340835534657353943297905986241449798792520888076

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_297 : Polynomial.coeff recurrence4Scalar2Left 297 = -((((59911430678852447535591 * 10 ^ 70 + 4986582820558199165776576795835784749305092594384366809307819592212044) * 10 ^ 70 + 9075523178587078880002309662239706562371835495897555707170501569175186) * 10 ^ 70 + 3001175794915729512360986789011269566703852135710726480655421393503493) * 10 ^ 70 + 9164402628721354452797179945630410660391550435226483595232512770607779)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_298 : Polynomial.coeff recurrence4Scalar2Left 298 = (((31395143639587919169998 * 10 ^ 70 + 6226573856306657217034897005733346868257346428822169686941898643561510) * 10 ^ 70 + 8259411579572734411345929366825075922450266230672241456586195001228927) * 10 ^ 70 + 9030512150710517197872754780232592231619447911039118367837475748110311) * 10 ^ 70 + 5672917740159184414402368630748281492996146224170303516182565753139829

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_299 : Polynomial.coeff recurrence4Scalar2Left 299 = -((((15471373763219108156584 * 10 ^ 70 + 7413438412276954627474207889336571967386883632832094129874234021867990) * 10 ^ 70 + 9542413411907297724316792384590613657584631212514687728579474795346028) * 10 ^ 70 + 5455391339571399420553182026431431741557517891363756707091537176980638) * 10 ^ 70 + 4330896995505001366738702681215988134272136234780122622419032951882785)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_300 : Polynomial.coeff recurrence4Scalar2Left 300 = (((6954361776465469974883 * 10 ^ 70 + 8957394516132967477334440869919878825993218377709587864311215394279373) * 10 ^ 70 + 3419541200004444581642230268792693694568416332932847589949448309825417) * 10 ^ 70 + 9851968083698251440267136152941268355655157389203233194277813335832086) * 10 ^ 70 + 3830301679315512756200684494540007356272504173481860661674060143420216

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_301 : Polynomial.coeff recurrence4Scalar2Left 301 = -((((2644589043091066295810 * 10 ^ 70 + 5506259375334576732907437790900879421546326507814098133342277583197456) * 10 ^ 70 + 9977399875452059872734514208667583012108430529594913712203235979730674) * 10 ^ 70 + 4571382383754574092327941948826411423051026611897163424599079237453119) * 10 ^ 70 + 8514102464296441746585005289544381238502166911661014996124099214642708)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_302 : Polynomial.coeff recurrence4Scalar2Left 302 = (((628919473517694352708 * 10 ^ 70 + 7252567958532875459109937279503131166418071484866372944841396680422732) * 10 ^ 70 + 7598559198704692279476464991658479772927382201257167156250243173308198) * 10 ^ 70 + 861584065391238598512690712709545193535853222047979698418476469426434) * 10 ^ 70 + 9588146953853424477248844642872559290187076936918680401762742686781354

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_303 : Polynomial.coeff recurrence4Scalar2Left 303 = (((197920027697453469049 * 10 ^ 70 + 595746279261532835903996438082901316976146148845292153951652563351309) * 10 ^ 70 + 7650807004517716831653626785817113226730519171132188408225786630388061) * 10 ^ 70 + 4793538414797300941908901710418457967717481363726017466952792304600854) * 10 ^ 70 + 4181814984116711499004198017542331220381171718075369582950282118847332

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_304 : Polynomial.coeff recurrence4Scalar2Left 304 = -((((449847163978137945040 * 10 ^ 70 + 2348888239973907699122142459546600603854772640606042140474673429607448) * 10 ^ 70 + 7004804040368282366091355377646324532763141390715420570317054559781526) * 10 ^ 70 + 5036946205653789358607305278615787310925950977613793409247920893861177) * 10 ^ 70 + 4852994561066336382239114483247442768251291016440896954085300769394504)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_305 : Polynomial.coeff recurrence4Scalar2Left 305 = (((452030430997925125313 * 10 ^ 70 + 9408312501298418434985389958660466554854796235007382026428426997273345) * 10 ^ 70 + 585912769425348044708619128128088893931940636606508917183387693337751) * 10 ^ 70 + 732467546073203546166338190242703909227005590164535135793971378747917) * 10 ^ 70 + 9538010622336683701500202573025296081676272480006991494938681828437996

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_306 : Polynomial.coeff recurrence4Scalar2Left 306 = -((((366342023241722155451 * 10 ^ 70 + 7536827472600665936472664083712029905599747608288656912413443241578371) * 10 ^ 70 + 850114488224966274305647360704118167705748582465349708024249376110958) * 10 ^ 70 + 6157918308097508641501789998012420195322260803711949911919947655644703) * 10 ^ 70 + 104650308065349995775519555631381758238567053468079963223020293898017)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_307 : Polynomial.coeff recurrence4Scalar2Left 307 = (((266375523252039165231 * 10 ^ 70 + 9192717156759407170009351775810109086724707462780224019197190696431154) * 10 ^ 70 + 5685940766391775521498199305445731013583363344437522599179503801861105) * 10 ^ 70 + 5581918868488722510484088208719445795932323365301932340883644375730923) * 10 ^ 70 + 3278069190731887104029085823159328633447112647827433678732502591798896

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_308 : Polynomial.coeff recurrence4Scalar2Left 308 = -((((180632517451666025955 * 10 ^ 70 + 1250821489586251807228360774176093759730497989260138880458955697653877) * 10 ^ 70 + 3398955699447278818529494870714996317734357636232119339115894401827935) * 10 ^ 70 + 8700739634081107836638630958516120874812966434661703451745422530509414) * 10 ^ 70 + 4997919317345273339219312445322401793795972887825995772454324037246230)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_309 : Polynomial.coeff recurrence4Scalar2Left 309 = (((116328627457166639097 * 10 ^ 70 + 153658566906454613033804242248135747667703047990121659866773141824728) * 10 ^ 70 + 6700815587964083599829286654603187259454201694967958490319806829651797) * 10 ^ 70 + 1781031987546811013367782297654219004690571466150799621204013694147374) * 10 ^ 70 + 5749593500196626440231087366085353373092387087746497009717959548869896

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_310 : Polynomial.coeff recurrence4Scalar2Left 310 = -((((71841194622788229037 * 10 ^ 70 + 9908945347512429483967339075030329858507286027538769293369819704266870) * 10 ^ 70 + 9781964220976761237997132879022368694162913766631753241176162574539205) * 10 ^ 70 + 9809255350844252821926632345004800542074404925785109116626773484358886) * 10 ^ 70 + 5440819375982269393055220243956806499397166735622254478856190013465460)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_311 : Polynomial.coeff recurrence4Scalar2Left 311 = (((42776593745183289616 * 10 ^ 70 + 4430880204248569536613503548070758822244907596741572542018018251984398) * 10 ^ 70 + 2150930144625684043045161597118167962977534075851961470406991363339078) * 10 ^ 70 + 9454756667791820967986391250870811801681960350764340412068057346246351) * 10 ^ 70 + 497733284411805842633925818600111941345632261624034484537299715968072

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_312 : Polynomial.coeff recurrence4Scalar2Left 312 = -((((24628257652851383261 * 10 ^ 70 + 4957094231686345775510588636306587981976498853655380807372231156979702) * 10 ^ 70 + 4586561106430380964838389450687953782604440615914702780445513634002981) * 10 ^ 70 + 9770037049444348154592393042171378307271767688445404265567029070084282) * 10 ^ 70 + 2185094820066364130446041376284923467248989061405066453409048643032090)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_313 : Polynomial.coeff recurrence4Scalar2Left 313 = (((13725648635079999449 * 10 ^ 70 + 563168933660779866110995819195894908401588497538415492093499575954322) * 10 ^ 70 + 3202279417571739063423225796934363092935257075620332935493307987506495) * 10 ^ 70 + 3140877389624718670865220451547277509000573119984246662737224093114888) * 10 ^ 70 + 933500681578889459824662072697858776908906723639340752807539421797202

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_314 : Polynomial.coeff recurrence4Scalar2Left 314 = -((((7401475635705202073 * 10 ^ 70 + 6690117946265726176780725075701772374315575171893374466752005768012495) * 10 ^ 70 + 8605905850945204058368881644119058346229909259661889877034727546429199) * 10 ^ 70 + 2293292293058017971365002262791179601046854815852788162614664717507741) * 10 ^ 70 + 639247756372819876199686553266155803305109267359176271139128803243982)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_315 : Polynomial.coeff recurrence4Scalar2Left 315 = (((3853847905333722625 * 10 ^ 70 + 2764913196275398078356848565566433025970426891494510874015696750343229) * 10 ^ 70 + 5686138031303733913430334848762086922716702553979576060782466750949506) * 10 ^ 70 + 516210122879118547193433727860071569381387392678167074290495474148643) * 10 ^ 70 + 5727186684891222220361285516424167123484743166557822486912014084824335

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_316 : Polynomial.coeff recurrence4Scalar2Left 316 = -((((1929413465711199333 * 10 ^ 70 + 3621125131855423663092828632710957334739088673673175711786586927137044) * 10 ^ 70 + 9282103680979551757290871976279761618024962386491111072760347654546805) * 10 ^ 70 + 7211514434961369426039127975170089373052133245296436192641497337734575) * 10 ^ 70 + 9097217101874948097453543252609498052858647251357388903883748333655633)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_317 : Polynomial.coeff recurrence4Scalar2Left 317 = (((921681333514914010 * 10 ^ 70 + 7795541601940237542266506211981823776331961454186247888010967633305033) * 10 ^ 70 + 6488417418037493613470931743491528949019538510314431320615998301471337) * 10 ^ 70 + 137731896080092882451715063683572695391019266969501742000586763406633) * 10 ^ 70 + 4492408630278578152513803595983965480271772197345602424011849973225583

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_318 : Polynomial.coeff recurrence4Scalar2Left 318 = -((((414235421643995258 * 10 ^ 70 + 8541894287330860445385889509267055575735392744474021937057117591385880) * 10 ^ 70 + 8253047767667301266470825497009318388301474373208643001713315737712940) * 10 ^ 70 + 1422687296819835813358947028382729050356935755004753929219683691655431) * 10 ^ 70 + 8653670368663043233834439980453942204645170284916799408189603020588980)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_319 : Polynomial.coeff recurrence4Scalar2Left 319 = (((170261278033457092 * 10 ^ 70 + 1099857883066357727050175477014097260877121003680631695554698885127247) * 10 ^ 70 + 1778321803623990675998382813529589357824409003630798055293434880323669) * 10 ^ 70 + 7098729699885462540688548912377765008260701638411672254102428785556348) * 10 ^ 70 + 5811275985066209096716343621052189509012743381284758879811752910767610

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_320 : Polynomial.coeff recurrence4Scalar2Left 320 = -((((59719236723639652 * 10 ^ 70 + 6045469911206811790007724327173959338691377225911274630814364696135813) * 10 ^ 70 + 5459575766537049173264421358843653370378780144346720270197775737217161) * 10 ^ 70 + 5496149461867497115474248820785966106615726257341034908339418406968116) * 10 ^ 70 + 7066636651611790467426025082470230186823544880808247289523153559745156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_321 : Polynomial.coeff recurrence4Scalar2Left 321 = (((13731658550403596 * 10 ^ 70 + 1623566598299734327025662043276057267875594586584219396726004357075128) * 10 ^ 70 + 3744909936421407270064034615354289018366897555732040345712845698099433) * 10 ^ 70 + 4222919667323681339389382908574878264710652954630861390768996435785417) * 10 ^ 70 + 7690515131790892863945205358968481767563820168572106675699918698459763

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_322 : Polynomial.coeff recurrence4Scalar2Left 322 = (((2781463830516638 * 10 ^ 70 + 8007529238072184437340557340018958950190893541023110181278916477683826) * 10 ^ 70 + 9909937746131207188559878528028918193141229397438752224882340855056114) * 10 ^ 70 + 7752612514618724631232608265324153450398347178716549908488545390344759) * 10 ^ 70 + 5728330138010157514599056874412916464920089580732135991212850253881690

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_323 : Polynomial.coeff recurrence4Scalar2Left 323 = -((((6895092946533194 * 10 ^ 70 + 3809345686930751750279375215753460318862407330734890435365656847622347) * 10 ^ 70 + 2356777206527911720136370192307456008270429562981081234471909406439640) * 10 ^ 70 + 7161167828929570540902295012325259258097962272846294423909597129523906) * 10 ^ 70 + 9483537111401366144416295017705739845692303145657661116097739680999407)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_324 : Polynomial.coeff recurrence4Scalar2Left 324 = (((6462515006980644 * 10 ^ 70 + 3067020380101922044495300481992197258892557740151177629747425882805594) * 10 ^ 70 + 3354660659962689516928771579087643980674058423575850309655331528012826) * 10 ^ 70 + 4629547656404936049148812322481841862189798057812237976250599516976803) * 10 ^ 70 + 4499941886124109861300599741461417116180489597071184585356807537439855

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_325 : Polynomial.coeff recurrence4Scalar2Left 325 = -((((4821844661162257 * 10 ^ 70 + 3092916591313185973334737086855769294431988009001279174088345235861443) * 10 ^ 70 + 7952699953258668386040349985063039585103687688526467057524342291463750) * 10 ^ 70 + 3812883666634081656344918051426848679944180322562543707046996104749362) * 10 ^ 70 + 9705299135653696830245964274982077235434240135497363146606644442994177)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_326 : Polynomial.coeff recurrence4Scalar2Left 326 = (((3220024611122469 * 10 ^ 70 + 2558198070965847033580564480658618939177498100861986320871662536581978) * 10 ^ 70 + 9641708347619297048246667313097787341841788334041272773586564374932783) * 10 ^ 70 + 2449071055229786524724160821161280738731156247841498185155521979527313) * 10 ^ 70 + 1048839724794446753301093312972540147856348931360822846872175548114696

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_327 : Polynomial.coeff recurrence4Scalar2Left 327 = -((((2006534518331477 * 10 ^ 70 + 483660377014665984775318132094625850572213122577083837448693308269366) * 10 ^ 70 + 5735834838786295907107845857422950196435521586279276085657450318212796) * 10 ^ 70 + 9599296324134578911924278522508756760093418848607807804994312315746371) * 10 ^ 70 + 1672811278403747033319576318995122778752864030764124835577633575128714)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_328 : Polynomial.coeff recurrence4Scalar2Left 328 = (((1189939219579801 * 10 ^ 70 + 4166253197303509941369321489086083181281116918788351559567588153174889) * 10 ^ 70 + 8607990611038528211727369227132969008100401832501186550463706811601768) * 10 ^ 70 + 8055654944865951286118938381611510084781626062898200316148435518302916) * 10 ^ 70 + 5625522005484168906651370959120528433024203255347666041969128386670630

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Left_coeff_329 : Polynomial.coeff recurrence4Scalar2Left 329 = -((((678893015756049 * 10 ^ 70 + 9445929361913897349887822930082310900561401777213368656504210089464361) * 10 ^ 70 + 9338323428057962912455720991016595710561528628687493461963274651689560) * 10 ^ 70 + 4758176616335890785629085900845704296055711123179009740341757678964142) * 10 ^ 70 + 1422253444768906755241364906034797738023448222899693902049066268446377)