Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart1.Coefficients219To243

Recurrence 4 lookup certificate: Scalar0Left coefficient convolution #

This is a checked coefficient-lookup shard for the fourth pseudo-division recurrence in the order-seven certificate.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_219 :
Polynomial.coeff recurrence4Scalar0Left 219 = -((((12777045072954391395530053 * 10 ^ 70 + 2677770211651472552877846925681343252913274370540086290277348262726388) * 10 ^ 70 + 9466968497705507726878627714349588340967412022895982755093793729233409) * 10 ^ 70 + 9503677598017384549582715317966423378524546176654300955335240813691560) * 10 ^ 70 + 5852662828250285087515106414629837202365607057754890565126300355110594)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_220 :
Polynomial.coeff recurrence4Scalar0Left 220 = (((20184017961789427838936863 * 10 ^ 70 + 9128348005299073206901378993783251223779105153081289626684643877239640) * 10 ^ 70 + 9775226045409115814297679144247848881621225266848572171898970749069137) * 10 ^ 70 + 3927737202422403802495762512566632151461254007501000464426370911090732) * 10 ^ 70 + 14473807417654949316519831935434587457336522342579386268932989271287
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_221 :
Polynomial.coeff recurrence4Scalar0Left 221 = -((((31435198149363420891258849 * 10 ^ 70 + 8709312953287477256844342844121146035545115168277668222281942513675673) * 10 ^ 70 + 6722406835908170228201507429940946443723038969277884294472142229282500) * 10 ^ 70 + 1153057582775590904868649756828116590710795801373352420773955292535653) * 10 ^ 70 + 2737748558398910436076637207763692310346915104586652867341149779398231)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_222 :
Polynomial.coeff recurrence4Scalar0Left 222 = (((48266136709120727939969114 * 10 ^ 70 + 4695465595965432015147331389778917672320761800005984819388412216719362) * 10 ^ 70 + 4911683649469297389294183263191545812663091018207223069110115675594274) * 10 ^ 70 + 330949518408549334399780601442275544622620499120991605711059989666066) * 10 ^ 70 + 3361074938388225905642801378965927269034743782680140621654404264202276
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_223 :
Polynomial.coeff recurrence4Scalar0Left 223 = -((((73058582090721344606745849 * 10 ^ 70 + 3911707457148967167558624420246272309627652120350501694622633447291159) * 10 ^ 70 + 2667625325350932692969780579221890870504969356273896578365164754146280) * 10 ^ 70 + 4844033109539822115432853490254167286312173253316639636469928066306452) * 10 ^ 70 + 4386493318792764836313258712876853965116155424728332143841906182641352)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_224 :
Polynomial.coeff recurrence4Scalar0Left 224 = (((109014678661831132949652721 * 10 ^ 70 + 9032693816639599967778006981892610554319022034552684210971081469441903) * 10 ^ 70 + 9712441565197280223515399101965902345358256850051187827620622946001299) * 10 ^ 70 + 2607552791769099783742015904882468357496712740219615881946777294494164) * 10 ^ 70 + 2559751660919031250140780077684971525570817945935384349244743855423823
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_225 :
Polynomial.coeff recurrence4Scalar0Left 225 = -((((160348284688458838024037851 * 10 ^ 70 + 1615503289532133330396205077169449591666798983944932958411586143102769) * 10 ^ 70 + 9770282567475088476063341634466360588501466064051583006359805047640422) * 10 ^ 70 + 993424116976683832374812991627881061048694878017124639350844466851786) * 10 ^ 70 + 356116266203407591742037652245792990274281477376119801369067518622440)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_226 :
Polynomial.coeff recurrence4Scalar0Left 226 = (((232481014947998064591179390 * 10 ^ 70 + 2742066355360681988834428517564531035048111238759122247845732194754739) * 10 ^ 70 + 3444710065060368705014595324360983194247889991686975089035917773188923) * 10 ^ 70 + 5021967373423897545331747625292051201655562878870708312946570302088823) * 10 ^ 70 + 4032743057485085902885745140722737762054817952416744408423429523101184
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_227 :
Polynomial.coeff recurrence4Scalar0Left 227 = -((((332223361990755450879626187 * 10 ^ 70 + 7584248504375600892103928346921994860087921591751705013838646680970331) * 10 ^ 70 + 6554229123994455304265918507010627522207123978698762834949193744602939) * 10 ^ 70 + 1095438534506587680654749340413898155981268408785246859790868406259647) * 10 ^ 70 + 1925427088821803417809346689656207033091085705863590420236347171172734)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_228 :
Polynomial.coeff recurrence4Scalar0Left 228 = (((467913053679788596871375474 * 10 ^ 70 + 8643394215414815712772441131330737165412000397917170251575952957052470) * 10 ^ 70 + 5991568770058920208401023230733940128181727642417849615789295917609442) * 10 ^ 70 + 8373701102250701493590085272990052574461758163272127909590467937684545) * 10 ^ 70 + 9319316697843539383916001676049396904199728097798498681205013123495505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_229 :
Polynomial.coeff recurrence4Scalar0Left 229 = -((((649474501390019000430333795 * 10 ^ 70 + 7040139729415785093867352475611488032207531773820869922610124340183791) * 10 ^ 70 + 2917942745172149383081646812261619922572602285337673090410592430269023) * 10 ^ 70 + 3049543122962095691355524484193536959973496371072974234276140896168426) * 10 ^ 70 + 729968514211827920192436378229407914202013477750203322534592360954308)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_230 :
Polynomial.coeff recurrence4Scalar0Left 230 = (((888356065632085432339464114 * 10 ^ 70 + 4755064235170840726369242384881169170737309604651233321176295464290527) * 10 ^ 70 + 7635385304628557597328819363701691445704425868480726871596074419977257) * 10 ^ 70 + 1153223867165738631353057995459161052144142643106035754932467347826775) * 10 ^ 70 + 343892887064933963715619343274449736611724960233607804322440853800487
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_231 :
Polynomial.coeff recurrence4Scalar0Left 231 = -((((1197297614597242407367834505 * 10 ^ 70 + 9440356542782625621323456654850467986515902814381274832873876160973460) * 10 ^ 70 + 6542174885213364250558352175038214897410929654718548172902297860060840) * 10 ^ 70 + 7030941553716513995870598855546331952434016265620814377313709817149245) * 10 ^ 70 + 96351417691594344956240154387537516271365879404026916189543368428148)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_232 :
Polynomial.coeff recurrence4Scalar0Left 232 = (((1589881469765176999536304747 * 10 ^ 70 + 8363201218612274821013365241235199879954553947023492333753154236844636) * 10 ^ 70 + 2544896811595264680429108593207277916344886187016653303699340683195737) * 10 ^ 70 + 3408142972666612300311734732202451511977136458966708092551585174454496) * 10 ^ 70 + 7154783063354774414673456306176947391657179459010789687629761149785051
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_233 :
Polynomial.coeff recurrence4Scalar0Left 233 = -((((2079827363212846869591803695 * 10 ^ 70 + 1456928937969553305891144635303082897645034607816453387833356094376269) * 10 ^ 70 + 5620586241107340586606743515360213405756899625588123734855671656423574) * 10 ^ 70 + 7524018889059978153896659749491334524351695918886473101618586079064365) * 10 ^ 70 + 2901481984165738001973019205882982328809555352745225605300449664508565)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_234 :
Polynomial.coeff recurrence4Scalar0Left 234 = (((2680008199558482805900443853 * 10 ^ 70 + 2958695661037032638225207924231219639079242075075814799640690065817594) * 10 ^ 70 + 166385098070639285537651626434889356921315251498037969483260898360711) * 10 ^ 70 + 4585069195949183277084803965212439789358627526754164294200506428722182) * 10 ^ 70 + 6027506286997101597730829752128157637499184955363777013566196936580058
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_235 :
Polynomial.coeff recurrence4Scalar0Left 235 = -((((3401189174421757435688943227 * 10 ^ 70 + 7266443527518090910388894614419516110961080777743150640860852410732544) * 10 ^ 70 + 2214954739566645266243657463789504514642552163679996158801907838089453) * 10 ^ 70 + 3892745849627752143708879480315374543515922849718703541363584082189121) * 10 ^ 70 + 9565487298040937249221926757506163479639599899924059913972026911028730)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_236 :
Polynomial.coeff recurrence4Scalar0Left 236 = (((4250527841226941337522191356 * 10 ^ 70 + 1029817521708661699932959391339205183056924134276699241361043384497383) * 10 ^ 70 + 9427829266181451042179635957627636753238955910142206019914986818811604) * 10 ^ 70 + 7383374685620327640729297339900346357904285207325456485474798664379187) * 10 ^ 70 + 6542057318631725482742210226954034155786578684032487873329937217665234
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_237 :
Polynomial.coeff recurrence4Scalar0Left 237 = -((((5229915038182535052830673309 * 10 ^ 70 + 7601058061366438416560079355376410749162966962183663509952091194027129) * 10 ^ 70 + 8540484520902281381728743074512527340399756090352771384942896821293033) * 10 ^ 70 + 1722735343179504892140834374443071109521850762682135781899604100232901) * 10 ^ 70 + 8160224104934480569284024785901343827061052932249545671179244022150627)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_238 :
Polynomial.coeff recurrence4Scalar0Left 238 = (((6334282242554818773618283400 * 10 ^ 70 + 9154540752679076951577068195068903087694930563193367531555110451858382) * 10 ^ 70 + 1876750882701339704842266465182383785467279305369409163156673096217691) * 10 ^ 70 + 676755372613987887499699012762065183999599843006849837754651424713409) * 10 ^ 70 + 1017819453031010578940545837992816364907046669140719637784592562551335
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_239 :
Polynomial.coeff recurrence4Scalar0Left 239 = -((((7550044063731309642118421872 * 10 ^ 70 + 7887465257411203340305982013659654620101126820132914031180279910723849) * 10 ^ 70 + 9729636969673618415388602579618372005117288626842354922951786494975671) * 10 ^ 70 + 7503305917837954343268292256351446695751431235759759561667392798641127) * 10 ^ 70 + 8140933567177665824259888326304577463383327028279325835285103023772802)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_240 :
Polynomial.coeff recurrence4Scalar0Left 240 = (((8853877904193264850866750004 * 10 ^ 70 + 7535379059667143824207996012356686320257927351306911388643566016260599) * 10 ^ 70 + 1303985014529419188005081925667359261847848864235785631261347685248043) * 10 ^ 70 + 9086653655114698714406016940242799928958755793116133231204156150371481) * 10 ^ 70 + 6591730670247491333372190303252561365160377043490703480713397228057252
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_241 :
Polynomial.coeff recurrence4Scalar0Left 241 = -((((10212058382327316501748075198 * 10 ^ 70 + 6351964010935593776584647378212838573614969739588184205308341460076224) * 10 ^ 70 + 6683225571981111001938229046031462292104595876271472898367504457936077) * 10 ^ 70 + 9881512288774435056493250306930808120627349848356815624018117432121324) * 10 ^ 70 + 2487602916640027050807167819611128826123510377368225843490611841483265)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_242 :
Polynomial.coeff recurrence4Scalar0Left 242 = (((11580554628722280099335225210 * 10 ^ 70 + 9680742707215584208116815708875786166777399976490210595741888005240635) * 10 ^ 70 + 1824652800076015624934501312250199276577068236731117988245530370536236) * 10 ^ 70 + 5040616628751304487232121038981735140809414276281831075591941598175183) * 10 ^ 70 + 2155065469919678876522012367135233546940798812730608870572328577723280
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_243 :
Polynomial.coeff recurrence4Scalar0Left 243 = -((((12906058855688413835540473497 * 10 ^ 70 + 8976408222402189102878232065463713729189515011606433013307430279498954) * 10 ^ 70 + 5468547808302864886851888139177256579288624703755034461490435518897595) * 10 ^ 70 + 7286730636601912216656115695555836714276370700007377944126961424753680) * 10 ^ 70 + 5476931661979874002686944605194926145332955872953812857095804726279195)