Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1FirstPart1.Coefficients252To281

Recurrence 5 lookup certificate: Scalar1First coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_252 :
Polynomial.coeff recurrence5Scalar1First 252 = -(((((19131 * 10 ^ 70 + 2235533386491921634804366949867704019639601376796585492484656024380975) * 10 ^ 70 + 178960682929716573812791482940664883953806249345832010004953877700646) * 10 ^ 70 + 6448486669727885491237516527227436269809255996875686488979187070578689) * 10 ^ 70 + 3893674203212516154679005780916548523806420236465479343159987062447816) * 10 ^ 70 + 4212711398464545736569735213655651908248625088365600059805688228086696)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_253 :
Polynomial.coeff recurrence5Scalar1First 253 = ((((8123 * 10 ^ 70 + 8783066820375778038142734225922647779940280237275156494404015558539361) * 10 ^ 70 + 5659881599934087272914959788887026181873065346424467111328148653405982) * 10 ^ 70 + 8488952060686016816219175564686980127962855396014466453233717122821261) * 10 ^ 70 + 3478531095144148153760990005898804011913602000612419563389993930375907) * 10 ^ 70 + 4155805991549615555827406643067629259054433543693806528592405790008071
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_254 :
Polynomial.coeff recurrence5Scalar1First 254 = -(((((1563 * 10 ^ 70 + 5518624113906219394138154501946254908205551038755675491826501458132647) * 10 ^ 70 + 1428073345860072274870194672155454376359530694062257331818658208720017) * 10 ^ 70 + 2180241328491232705700038618269659381425312012328437881890962775724776) * 10 ^ 70 + 9466057460226307162508891262204246979605756032372699675423490822208207) * 10 ^ 70 + 2111357959450971678989074305225920731286028664252065320531592890531885)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_255 :
Polynomial.coeff recurrence5Scalar1First 255 = -(((((1746 * 10 ^ 70 + 2397897234893918139751787795553107008608628095600248463841045423182081) * 10 ^ 70 + 3908336182529763460178363989829399804278306356553605675189880841976448) * 10 ^ 70 + 7447276135474185850950725971772470484813039732794757602889510760381180) * 10 ^ 70 + 968980730801986227282236877987224701970041023560076759587795104701998) * 10 ^ 70 + 6846419006819215878188152233130414274647896900345520025921981996515448)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_256 :
Polynomial.coeff recurrence5Scalar1First 256 = ((((2980 * 10 ^ 70 + 8155081878873437029718311604060096195716695399962532353064458413054518) * 10 ^ 70 + 868888057173179190756808262400134237350732331585180020248641109982363) * 10 ^ 70 + 5057891663543360830065536814108083838009220890307086313923353816851864) * 10 ^ 70 + 9642495713375929230432482535819937202694314136758314853939555021867448) * 10 ^ 70 + 4123852404343860469545305991674976547621655574760037867832210940957819
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_257 :
Polynomial.coeff recurrence5Scalar1First 257 = -(((((3057 * 10 ^ 70 + 7249936471129768356592849331026313947936891916073577765257982586305761) * 10 ^ 70 + 5535523325318676438340341488643854972103900522884972702230237065498971) * 10 ^ 70 + 8204822497228863471011929487268534962652414355781434926415873318457541) * 10 ^ 70 + 3380502922573170150117032378022120892887742853380523979056823531176839) * 10 ^ 70 + 1501854313746924270555895850803545954868995063879569319829962961528932)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_258 :
Polynomial.coeff recurrence5Scalar1First 258 = ((((2598 * 10 ^ 70 + 8030185003419596194206023501609289721214136344124572055477639186832286) * 10 ^ 70 + 2543916649872382944649807403566372502887033490430143168083160748544323) * 10 ^ 70 + 4981288608451876199186570258589208973726959524760928074441475656668938) * 10 ^ 70 + 6286242667259346570698539866838234655535973927547595955562546320111610) * 10 ^ 70 + 782868532559997739506658074096647073298212784168961903915642662761388
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_259 :
Polynomial.coeff recurrence5Scalar1First 259 = -(((((1976 * 10 ^ 70 + 8893129966292072786579957420170827273548572635940544810652986254008802) * 10 ^ 70 + 2101049884639332889366324136764768084974111221152261304382146635063395) * 10 ^ 70 + 7301136386422762109727015279683021707573597185104244681827984877993383) * 10 ^ 70 + 8969924460986084909143557893516235226130031220984060973295845436147702) * 10 ^ 70 + 9668206678652338484276963688244524519206019965813179028611265831870380)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_260 :
Polynomial.coeff recurrence5Scalar1First 260 = ((((1386 * 10 ^ 70 + 284637867955493373691308879942141065857029551665014721334384592892796) * 10 ^ 70 + 8913331191816365870341647525789118396080434028036915510379387407601188) * 10 ^ 70 + 6620086120346436696912169129620490574434675299054842404548695000605679) * 10 ^ 70 + 3291663246073857555028464825477962554714667064665411318895904640303031) * 10 ^ 70 + 7061301066145951202106493315855069409076641046711840423442152512863147
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_261 :
Polynomial.coeff recurrence5Scalar1First 261 = -(((((906 * 10 ^ 70 + 5044810550631522520769310040565689226833944111275707263888443797706590) * 10 ^ 70 + 977960476547078218224933523805703915957330063623198141730686669830590) * 10 ^ 70 + 2294632274066666645530477744030109087261400096920328603178268623941740) * 10 ^ 70 + 9711667914978306568788842538191799882039059273154961353149858039704084) * 10 ^ 70 + 7340403841169586049933158708968894936579253561358080027014896145961441)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_262 :
Polynomial.coeff recurrence5Scalar1First 262 = ((((554 * 10 ^ 70 + 4910931593438281787369448475884731926072689108095335177559035539752863) * 10 ^ 70 + 5570693909232935873865072530138015138190215770740134450632693071546340) * 10 ^ 70 + 3685790700240309720572140982765305922504231214214548383930196212394609) * 10 ^ 70 + 4203947525538143300757887132302895302689715159747944422465443525904173) * 10 ^ 70 + 3198922071749023631813735183885975383831796640161992794029609149633353
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_263 :
Polynomial.coeff recurrence5Scalar1First 263 = -(((((315 * 10 ^ 70 + 4007425342173642943946655827572036916026769529775579853621003081455861) * 10 ^ 70 + 8787981160226912342551118744211143089949592218936964246511579082237672) * 10 ^ 70 + 7698776090582670353505094076948566219873109206107324876643987836445447) * 10 ^ 70 + 2838725369690540092615994225230567730444496480346113642139666333337917) * 10 ^ 70 + 4058879559962607839375663151698007290676859793038670755743382625398614)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_264 :
Polynomial.coeff recurrence5Scalar1First 264 = ((((163 * 10 ^ 70 + 8809799723117621287636296596674685256443834293348619581041250009360299) * 10 ^ 70 + 2467616334961916145400130267238461235083070944821026284228525501157091) * 10 ^ 70 + 9326305385812946517251417545317367450963841620084670441006832082286686) * 10 ^ 70 + 7153460038851523796261116217702928630117503156313661198802711576749113) * 10 ^ 70 + 5150041350082431242296960551458658143201756676437572945644845371996654
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_265 :
Polynomial.coeff recurrence5Scalar1First 265 = -(((((74 * 10 ^ 70 + 3474348944903146176846327434406364443281217189875197879387967267400714) * 10 ^ 70 + 3405245944491951171379907893044304554534659340308752776551053893778152) * 10 ^ 70 + 6103150740183036889231309042035641234407484134501375911661796443111491) * 10 ^ 70 + 8963019640570463570946017737535491311042100547582135478556510297944291) * 10 ^ 70 + 9379141532208734454584449671384496760004511504728740290727630630685296)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_266 :
Polynomial.coeff recurrence5Scalar1First 266 = ((((25 * 10 ^ 70 + 5308691080733960460273775847450810937147558731403943093078607288306085) * 10 ^ 70 + 5253865438810683565914197379548388899011612273859726463029408494960560) * 10 ^ 70 + 8705312467392914123997233800509958972989225771166991894352045132396459) * 10 ^ 70 + 4812842819148293698126770803948254643571114677762472237682696329197493) * 10 ^ 70 + 3073798635878000590515941660654618789832358034998851083036170312237852
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_267 :
Polynomial.coeff recurrence5Scalar1First 267 = -(((((1 * 10 ^ 70 + 6480632511372597989080071597751336810612624778694311935635885150486174) * 10 ^ 70 + 8195373193642144235857289407701256970219762474793061128358925038198492) * 10 ^ 70 + 6275783916357738244999407151764785653550368207977634254169951648155915) * 10 ^ 70 + 5231720674937999897134455820111178223580852839533221567625590627174924) * 10 ^ 70 + 5544228812027751801276488934316636026016288121119549395409951072945866)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_268 :
Polynomial.coeff recurrence5Scalar1First 268 = -(((((8 * 10 ^ 70 + 682975268240455320372153024771219567986335801787316574832689921353232) * 10 ^ 70 + 7249177564541810115600280473849483400421250096218225990382693336769638) * 10 ^ 70 + 8044223442839288413983400633683551265084191880721427328280426594609254) * 10 ^ 70 + 8169735219450634104128736216440793048352917755012396581442715353840499) * 10 ^ 70 + 437968413219959849734027260421607491746531232838659737083950660102971)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_269 :
Polynomial.coeff recurrence5Scalar1First 269 = ((((10 * 10 ^ 70 + 4461317308383473673067148737186241029188497798285612984083109759545902) * 10 ^ 70 + 277242264227383410931131838292769600659654630714596758279252147030434) * 10 ^ 70 + 3717364465679989734754864570187190400818288788869476970722052060121509) * 10 ^ 70 + 8455737816506275826777027462083363818366050792571341282207802783549639) * 10 ^ 70 + 6453767979091384780230804347572242368387899323619785804170891365792119
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_270 :
Polynomial.coeff recurrence5Scalar1First 270 = -(((((9 * 10 ^ 70 + 5117922784283412696271520595230565420799000915638058866969650563398293) * 10 ^ 70 + 3633958413153489016368283907765712326764837445846602831113041621303534) * 10 ^ 70 + 5536931003699092643503255072104855948961706959434633517584572775343976) * 10 ^ 70 + 9227500324895589695581900069072110972594693381920405158515919016636059) * 10 ^ 70 + 1905614723518671273024128296475486416917740781225448679310468690160176)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_271 :
Polynomial.coeff recurrence5Scalar1First 271 = ((((7 * 10 ^ 70 + 4506596669028499366059409910069757996703876020958572185385739690976241) * 10 ^ 70 + 3571968890480867985844700587668997102430194484197518554274837702164108) * 10 ^ 70 + 9461549563240818813885512526309999690056495100470788381053945316678675) * 10 ^ 70 + 5269663910212238641507865677418466082560002156143851683311850111988750) * 10 ^ 70 + 5904554411199787663516944355063629961531329017977863400890765201113496
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_272 :
Polynomial.coeff recurrence5Scalar1First 272 = -(((((5 * 10 ^ 70 + 3236524687959708495123748167532790768138753552961461225660417720213202) * 10 ^ 70 + 7104350690117420386998224625633137566086571177804026412253989648162026) * 10 ^ 70 + 7556465742980166847009094732143770487316290855922213902405929301194649) * 10 ^ 70 + 2041038815969398064278118307585643309281989337320507756969523127628610) * 10 ^ 70 + 3572569338948128023458636526452094989366089659563063578753783431579490)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_273 :
Polynomial.coeff recurrence5Scalar1First 273 = ((((3 * 10 ^ 70 + 5561739290563321938891475242514128809776026437480450746327822580775638) * 10 ^ 70 + 6053171339247633847071548749870963559357007856569151976080209941859387) * 10 ^ 70 + 8405106194400362811745723575076268615718302188989898860041150959644704) * 10 ^ 70 + 5739922149351216782625624228790878878017885481496181668606778512717090) * 10 ^ 70 + 2093201069924478392294267604311763638542727090937801100172695264617887
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_274 :
Polynomial.coeff recurrence5Scalar1First 274 = -(((((2 * 10 ^ 70 + 2472985834777945667338673685836135340773676862577668379720464650347959) * 10 ^ 70 + 2866766996612078965360562791052104840048851740278702515973392957076219) * 10 ^ 70 + 5164483456770539428081692849569113312579592446068574973062560956899490) * 10 ^ 70 + 3759703830611211936627875382056260746094076793654180247491907695088623) * 10 ^ 70 + 1496408227180103289331131064812963320236273442900351764915443447893136)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_275 :
Polynomial.coeff recurrence5Scalar1First 275 = ((((1 * 10 ^ 70 + 3510814767176050819018645542162063497467566367291257447240409031069397) * 10 ^ 70 + 6010752210267479397097585293507636847467875350857703230409852368345703) * 10 ^ 70 + 5763190045153044594750319597303381520497476470960247774398989939346455) * 10 ^ 70 + 8953258404083008571965509143240555242807939865140726306097374963004642) * 10 ^ 70 + 9436726622527881525653329569130943593918222145243242700398350686083290
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_276 :
Polynomial.coeff recurrence5Scalar1First 276 = -((((7740769800277456485867849302223599125979326650204768452502041463505976 * 10 ^ 70 + 2736254962098334353704618228409393638922980458009680587970146057674021) * 10 ^ 70 + 2271270488423134993129343473938220281624772167114721370586501263984681) * 10 ^ 70 + 8837752813051820236418338577885013985438444264359885984787379448969574) * 10 ^ 70 + 781071465310457378992707875483179998084045763202375217488980673297053)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_277 :
Polynomial.coeff recurrence5Scalar1First 277 = (((4219634400492828831969752382830373858254419290834954749029070003113962 * 10 ^ 70 + 9012455915692650615275542062235144260876892917636860080348296884644723) * 10 ^ 70 + 3660607626634524470169386542892725825024844144825157699316667163211134) * 10 ^ 70 + 5241502620741821112975042249705757764186318510344831554318384464036259) * 10 ^ 70 + 3487747689266348268314630456225342646190264069144067712276063888725600
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_278 :
Polynomial.coeff recurrence5Scalar1First 278 = -((((2176600581581036023802779390711770692537549032686645297605193179242572 * 10 ^ 70 + 5790374152450547506548718951078324806860489608309490310830600838645788) * 10 ^ 70 + 1452535697909417877809419766464660603538035237602120789304262858177471) * 10 ^ 70 + 5114049773770903746489831526822474046380098858727118269831818114902787) * 10 ^ 70 + 6380181116995697011527605587379762310181065404768308268546440398723870)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_279 :
Polynomial.coeff recurrence5Scalar1First 279 = (((1050169344396331244028219584251391770987807397508342542241074000822382 * 10 ^ 70 + 6111629345974542774024492760637665991876085735538160333577159073903793) * 10 ^ 70 + 8834247092471760277415242791514547192664227834218980371309062413684081) * 10 ^ 70 + 6558704910908600132130317787332663300177001697162319162009970074587971) * 10 ^ 70 + 7102833359647792256400088447027202324258538370343671744489017791076556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_280 :
Polynomial.coeff recurrence5Scalar1First 280 = -((((462655570746407064608184196741154717492849546569799506362132795798018 * 10 ^ 70 + 4944648130268917333213517068224665786545423804421219823565999607656179) * 10 ^ 70 + 131675919501639587912143260434441490872539430382606015073272125051572) * 10 ^ 70 + 4437467753107147078063869730417048655635265882005605361459965260356091) * 10 ^ 70 + 1846384520327645714042953397703704619994828431796143873835509880720596)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1First_coeff_281 :
Polynomial.coeff recurrence5Scalar1First 281 = (((175737462659839915135449203258423239751480010428614499665526289716355 * 10 ^ 70 + 9800293772107434012258332112649535472784095471016497795004650300943232) * 10 ^ 70 + 6414665755043226514432905186210997604433144268757302915487000113107322) * 10 ^ 70 + 1767398930605350534366419047143422120954616828884301147596784614634208) * 10 ^ 70 + 3759591442065959506129775986665506380459898149983938363782440534639931