Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1LeftPart1.Coefficients194To219

Recurrence 4 lookup certificate: Scalar1Left 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.recurrence4Scalar1Left_coeff_194 :
Polynomial.coeff recurrence4Scalar1Left 194 = (((2439429584864258550 * 10 ^ 70 + 5974251269071649414568607468576126577892543286824553282738653520645180) * 10 ^ 70 + 9068345037864762610394711679731026030433399683635939246524433744813269) * 10 ^ 70 + 1938867338681062216141053325709353897613825717704485066203781676473648) * 10 ^ 70 + 104287257406671291098155383904715930385211227326373990728798741907234
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_195 :
Polynomial.coeff recurrence4Scalar1Left 195 = -((((5399064833105940927 * 10 ^ 70 + 4843741165992093254681976129816583032504977646939415404199633940421855) * 10 ^ 70 + 5533363045683187711567844977996105960575208932619170104246723655940671) * 10 ^ 70 + 6470252058887380700921891333217982315821364366777234442249196872243913) * 10 ^ 70 + 5686027963239069117851990598619018801424996802174010579390291070993620)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_196 :
Polynomial.coeff recurrence4Scalar1Left 196 = (((11780231274144312248 * 10 ^ 70 + 7303654491759973140810563737361002500695446852330012465083490751657523) * 10 ^ 70 + 8721552894371063735567834940988721983387554073510200455079721618522847) * 10 ^ 70 + 5399049641392117147662019117736816421999698688474171411412283756513807) * 10 ^ 70 + 7590962769287636039142657791078749249088161565536766579960391578829813
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_197 :
Polynomial.coeff recurrence4Scalar1Left 197 = -((((25339764831791542572 * 10 ^ 70 + 192847501231896492198134144502308885953952592575129332238091622573507) * 10 ^ 70 + 7370465692078005945544301867973853664190625169849393410460342445149891) * 10 ^ 70 + 1177517140248245294027690261844680498122558282354414755874025996815858) * 10 ^ 70 + 449154642970733160474022581912876428699657056449206815410609108567886)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_198 :
Polynomial.coeff recurrence4Scalar1Left 198 = (((53736901652559926368 * 10 ^ 70 + 1397105875004104200966127321406309477926272399262805375811510241120125) * 10 ^ 70 + 3252807072940576374457353583247930288278894701773233776865218067414026) * 10 ^ 70 + 8855393916326722156674548688759755737885295089139747974721070145533458) * 10 ^ 70 + 5462470086615531937542143637660297478984991639803295082356195101195668
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_199 :
Polynomial.coeff recurrence4Scalar1Left 199 = -((((112349473828217846838 * 10 ^ 70 + 3154104883091498248171932605177077538621877691368890520729780841097549) * 10 ^ 70 + 3369943005224580730582450371082070886950553486051093801373445251543720) * 10 ^ 70 + 3395185732376106141308032894464476677564531378785684263607536889863825) * 10 ^ 70 + 3427231765973383004947071386031068534285185607997992310135793580041837)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_200 :
Polynomial.coeff recurrence4Scalar1Left 200 = (((231581700041044205172 * 10 ^ 70 + 4882533681705870172643414607815397935290486364588046693879178029308386) * 10 ^ 70 + 6350537443057169282043419690396380841820274873451339628630282436557215) * 10 ^ 70 + 1151600763613827360690238080141552638097774071580431762500139252780744) * 10 ^ 70 + 6705486353219264702131738822638564725760277152554347334722008974819985
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_201 :
Polynomial.coeff recurrence4Scalar1Left 201 = -((((470628136120986800412 * 10 ^ 70 + 2662896966837852156769145918013590794762211478176208382242722865512467) * 10 ^ 70 + 7274717524903593868006889691535129220934818854900993624969378789711736) * 10 ^ 70 + 9121625102880361425015249749564138499606003831134602372731129252400365) * 10 ^ 70 + 1467349205825686196886994501823069902407885749324161453981190719250396)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_202 :
Polynomial.coeff recurrence4Scalar1Left 202 = (((942967968961878166220 * 10 ^ 70 + 8087966145524044869200635985177276237640387258097751195512664572643193) * 10 ^ 70 + 7086562183026513222604524318088469619137429580873839418135899703595362) * 10 ^ 70 + 6332874704162733576206007220835977743790363090019497635680768528148675) * 10 ^ 70 + 5685474491433703783302505720632250629808039013972305918234055757454553
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_203 :
Polynomial.coeff recurrence4Scalar1Left 203 = -((((1862797284498587583944 * 10 ^ 70 + 4690878155864982770973675098415615195648944778182048709151300276716715) * 10 ^ 70 + 4854204387078249532005896147540632612289217213956773660849369149152017) * 10 ^ 70 + 5272591709475718676521710140616391067400805579776347162526233117831043) * 10 ^ 70 + 6647723619936057677143223720105201471046664482890929270378632654753485)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_204 :
Polynomial.coeff recurrence4Scalar1Left 204 = (((3628167115877686284751 * 10 ^ 70 + 9118865079122004700526702586616701246261972328970715312264012555589780) * 10 ^ 70 + 9974081073814804663641357238746138543874255195222045344080330930789695) * 10 ^ 70 + 9965647753487818401199750300347409134881292264055896855820469355534460) * 10 ^ 70 + 7073602918592399185993340007530203482626554881226464635960863080980599
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_205 :
Polynomial.coeff recurrence4Scalar1Left 205 = -((((6967302012910106664840 * 10 ^ 70 + 2836199281155948256574790511128667974156807339433665349820321973709002) * 10 ^ 70 + 8736684474366234491530213451293117514825582114009754860153236990273751) * 10 ^ 70 + 8996836939157893073610271076252894146402575493889357338412740769123912) * 10 ^ 70 + 3996118399566548558293122089851348015865053210785535813867159565389455)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_206 :
Polynomial.coeff recurrence4Scalar1Left 206 = (((13191660749085028156455 * 10 ^ 70 + 3067152911084270689251585572399182035019379841385511065334691128451742) * 10 ^ 70 + 4147050335225556586554823621316332671578625902790147179707490220018053) * 10 ^ 70 + 7451780168168984341520644956273031026500003050186637904430621203067780) * 10 ^ 70 + 8678139511044403385904246729768287763247447400398654703541898515139233
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_207 :
Polynomial.coeff recurrence4Scalar1Left 207 = -((((24625937014718956895102 * 10 ^ 70 + 3718942987234060960068279385720601010823108461627349447212540051324204) * 10 ^ 70 + 8737538856512516467055988683396282947652025531106359670684186698260793) * 10 ^ 70 + 2853370979314626183775477507761483979594807679586271221029491683752059) * 10 ^ 70 + 7056343691233348262181313076563919281689073394730557065045921350405628)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_208 :
Polynomial.coeff recurrence4Scalar1Left 208 = (((45325707856198279052263 * 10 ^ 70 + 4002325296589066712444438928578180352229269225729267864090245004634211) * 10 ^ 70 + 1991060008137246900007325550523483127693961027507055558088417964394996) * 10 ^ 70 + 8992984678531067619207140214514430801204773787416089546557809767730515) * 10 ^ 70 + 7915435966088469972466039567596874197698283181189161562964131091056027
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_209 :
Polynomial.coeff recurrence4Scalar1Left 209 = -((((82253452627604768035473 * 10 ^ 70 + 6162432070862380729327614327513083648062512431389487509920449842940113) * 10 ^ 70 + 6780297593104746448283409316827316760981416371380227971331147381719933) * 10 ^ 70 + 6299345990056108818192386860087379410263700211072071467930711974780887) * 10 ^ 70 + 4052628814318609343733467865505200940219015676253375775996689407820078)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_210 :
Polynomial.coeff recurrence4Scalar1Left 210 = (((147170105052868200755625 * 10 ^ 70 + 927711564172320942716876478712958769866373856229439384733361384757329) * 10 ^ 70 + 3632735372719144814526336767479535000100831076333184349185188623633347) * 10 ^ 70 + 2356534125660382477366083620116144164638500395326916127216027841874101) * 10 ^ 70 + 4559391577649744874961128782813926241292272730666359723133288467067145
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_211 :
Polynomial.coeff recurrence4Scalar1Left 211 = -((((259620026981011082279831 * 10 ^ 70 + 4955362209508305721378260416587754743132427509481809596817147828255170) * 10 ^ 70 + 8023842946189758627739413290980312312583258318670460413255066169778946) * 10 ^ 70 + 217395968635688282768818214606462358365172756353245317171470797651902) * 10 ^ 70 + 2174524950643525279983679428979584710480524955559633217210202192400777)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_212 :
Polynomial.coeff recurrence4Scalar1Left 212 = (((451550220178772671328009 * 10 ^ 70 + 7760074631735583304774119393912770263470403103342500690804472361159239) * 10 ^ 70 + 5869242345303652239520254792262420927643145062814366989226033328726745) * 10 ^ 70 + 8614592146699764534319214569072519184529619027504464559616585944658296) * 10 ^ 70 + 3786736698942063445292920097932860541708635309343397514984440336587682
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_213 :
Polynomial.coeff recurrence4Scalar1Left 213 = -((((774316006981363451158638 * 10 ^ 70 + 7997980867175673381009852331057161570411606210830009372525733869085615) * 10 ^ 70 + 8623323764235821845283629327647211654171061397182833936013861368408808) * 10 ^ 70 + 2829650062587784810851002153882949285994724788011011315877924063019755) * 10 ^ 70 + 6872999533164699244775149413263455864341478767491019585891638585839349)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_214 :
Polynomial.coeff recurrence4Scalar1Left 214 = (((1309087216933670259450334 * 10 ^ 70 + 2633886357865705575592661356308308552583245255739607519006756873516891) * 10 ^ 70 + 5582271831451554301165953299483587491005115746633452022198647295396312) * 10 ^ 70 + 2037960971316814976632929843689530747215236563451109006356642614721149) * 10 ^ 70 + 1622763335503690397001133848412273548535442225533288541595045175986903
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_215 :
Polynomial.coeff recurrence4Scalar1Left 215 = -((((2181974619815149598588142 * 10 ^ 70 + 6867212330329156901420659680861011799002365956644358599049924798700163) * 10 ^ 70 + 7118266078280487690299452121577547411678923061688675872887257177426879) * 10 ^ 70 + 3426170020530150267120792247324116579444291799176195106215332250082233) * 10 ^ 70 + 553385568804632894355046790467378037946567600808850803685828588774076)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_216 :
Polynomial.coeff recurrence4Scalar1Left 216 = (((3585525721847991432609740 * 10 ^ 70 + 712771556697673180704368865636001310411527782706190011332384803607622) * 10 ^ 70 + 1238289162039932847207645111940705246005352269209668412122650884831346) * 10 ^ 70 + 3905193962850396929844051363168810073576015546289543422412190034233372) * 10 ^ 70 + 1988798067238795185728329650846100619431229514347255888331820424940879
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_217 :
Polynomial.coeff recurrence4Scalar1Left 217 = -((((5808551782378781385000361 * 10 ^ 70 + 5515915972007080171178640167365561788051889243887799819029761644079671) * 10 ^ 70 + 5301041330187369539892550516875651124056795190399891426387742278418427) * 10 ^ 70 + 5078073070517574345687324951732552047874214756069079164313076473262476) * 10 ^ 70 + 3705414337253087195797644098621970822282479323644512128778756209517840)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_218 :
Polynomial.coeff recurrence4Scalar1Left 218 = (((9276477009846557303045137 * 10 ^ 70 + 3711743762459646265976113125710781168092159903978421357911796358963645) * 10 ^ 70 + 4963446782017398101463111206337047398470222084815699198437020062415051) * 10 ^ 70 + 1528393925909536696736355915252595879673494102540051642686826294336025) * 10 ^ 70 + 8641400209871084595036565990901396957630666867623952924922267022344842
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_219 :
Polynomial.coeff recurrence4Scalar1Left 219 = -((((14604447233492179593320992 * 10 ^ 70 + 8327198686741827756264889302258092450125064859014150780527415199465430) * 10 ^ 70 + 4170017770636027195844456079057174994391910469168336793617099156847526) * 10 ^ 70 + 2888034943276865430997595682319325808716284785420066982727316523981168) * 10 ^ 70 + 7343183682540719369753365744906830550153966572741089071309051055641521)