Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0ExceptionalPart2.Coefficients272To293

Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_272 :
Polynomial.coeff recurrence4Scalar0Exceptional 272 = (((22489324879589881609165458651 * 10 ^ 70 + 9356043914745825236416938156298439886315945713298290530996264440637998) * 10 ^ 70 + 9858690443907859501345995087439641390197428317754749582507394503446671) * 10 ^ 70 + 7308762410536588249806766703027147373094156950412610110430653783387576) * 10 ^ 70 + 9825586969911661374689409707805419499430555395386415910235969220408505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_273 :
Polynomial.coeff recurrence4Scalar0Exceptional 273 = -((((19129468261696974690965360052 * 10 ^ 70 + 3409577510751409399099546036670122636323059308965448160331133004957715) * 10 ^ 70 + 4179030366769411842516586777278394354195728286641620307471144095498999) * 10 ^ 70 + 5715265469243639139473018157603107404245977729716801064464331235747683) * 10 ^ 70 + 8125076869339672952797101757330704332516288314004775809556855477238061)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_274 :
Polynomial.coeff recurrence4Scalar0Exceptional 274 = (((16060096512943871814715860848 * 10 ^ 70 + 6006278006718647042529802481973618263434888885691893535988182795139628) * 10 ^ 70 + 5996012140763943684531972604698230402338620144083597577762295322219716) * 10 ^ 70 + 5692774069831670800676520569687864323670329726244666054564453660494472) * 10 ^ 70 + 4527394163659961878730817944383119987117070715648975845942059686408971
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_275 :
Polynomial.coeff recurrence4Scalar0Exceptional 275 = -((((13307513908237332960871651463 * 10 ^ 70 + 4865213539260753210009729855544224722541757578794878436468463121250198) * 10 ^ 70 + 1576137387215986994139735170057325356039150521268521766928289324515891) * 10 ^ 70 + 2629931696092403263862060624964238003642443347480728653262632248994367) * 10 ^ 70 + 3579379198581035430215437583882739858909915598962977267782256475323261)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_276 :
Polynomial.coeff recurrence4Scalar0Exceptional 276 = (((10882573330553662125506572746 * 10 ^ 70 + 5435629604821111506104246055790582742783192172723711672952935722156961) * 10 ^ 70 + 5541380970015459590581448509298530871316696570036683725143819471527018) * 10 ^ 70 + 838223818372901204144920533315402432634137235317841686063549685063434) * 10 ^ 70 + 8198932018986074847271928850909004896276322674478743878721862989659488
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_277 :
Polynomial.coeff recurrence4Scalar0Exceptional 277 = -((((8782774894398333308968519904 * 10 ^ 70 + 2920659768555546037784108871444301335804435751211053805355278044270987) * 10 ^ 70 + 9958567572677968364084775929148716934931325250714142498837674523316812) * 10 ^ 70 + 6613010145380264772176411601333819019322449466065117220220579474270397) * 10 ^ 70 + 1005431785970458937880161081768404975512595817587164893775845119857191)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_278 :
Polynomial.coeff recurrence4Scalar0Exceptional 278 = (((6994773790274364887351077364 * 10 ^ 70 + 2218358955004705008113489145746592946205577369101627292599797468610023) * 10 ^ 70 + 8363475498940508370825122270621541811880158883871570070167602774705332) * 10 ^ 70 + 3495545339766571423361256315280770655738233468723555599271014458371307) * 10 ^ 70 + 1139469950103188340171392295808173707733412816280391885700454390955153
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_279 :
Polynomial.coeff recurrence4Scalar0Exceptional 279 = -((((5497051210711192207817184838 * 10 ^ 70 + 3970553481758933838234686712026420330871728177947073105539852035113318) * 10 ^ 70 + 7530160933786350445115429268613523888736482696646798180853967276493641) * 10 ^ 70 + 9487427415658847747852437031344254549306946019517241986632616024204429) * 10 ^ 70 + 5309097318729676234172366060929992537910559343347510360719878742217108)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_280 :
Polynomial.coeff recurrence4Scalar0Exceptional 280 = (((4262534219795976618424375962 * 10 ^ 70 + 4810672295377280638720449250579004622514351649655038878751600129756083) * 10 ^ 70 + 8333710394757128630894226267050516073697219976376482569995626880934537) * 10 ^ 70 + 789058617373195239038615117349121846956124684903948010172851142214324) * 10 ^ 70 + 324213590690169274255133988302363975821122864387876961127357615188360
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_281 :
Polynomial.coeff recurrence4Scalar0Exceptional 281 = -((((3260995905856227826690583079 * 10 ^ 70 + 9883897424960717854146296621500322553046607805905680945969179130621478) * 10 ^ 70 + 4388327210411433210313676922117402478897785018267216719358406452846779) * 10 ^ 70 + 4394035515178169143879939700659034413447230625535540404528830265147919) * 10 ^ 70 + 834017833506279214832204794279787629857522988857428577818407066554757)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_282 :
Polynomial.coeff recurrence4Scalar0Exceptional 282 = (((2461118884230616280910941668 * 10 ^ 70 + 6018826984777001118298899180952212115469767175953321731154830683462887) * 10 ^ 70 + 4231117361213477139287351883406974735142998507384041336163979666227605) * 10 ^ 70 + 9208836835757331008629211122662012538019384209892889830562773557617315) * 10 ^ 70 + 8413665734163023355955331876037841001249565584662225100861674398922101
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_283 :
Polynomial.coeff recurrence4Scalar0Exceptional 283 = -((((1832156690940788767199892764 * 10 ^ 70 + 1046865536506915321438062835725940250726247561723982466423302141676098) * 10 ^ 70 + 7699456698251513441084613391481055110278064238950821450897181260740410) * 10 ^ 70 + 3926731050175200490151453293862982969433186119195513205176600982059487) * 10 ^ 70 + 1711821021232436904654913262280769016823411170545212837272833613811932)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_284 :
Polynomial.coeff recurrence4Scalar0Exceptional 284 = (((1345173703313058476736908265 * 10 ^ 70 + 3710264524579037266256186461040124252275467543572263846160903655841195) * 10 ^ 70 + 8989764756401729912485373214598053863450717769113836411346732395602411) * 10 ^ 70 + 9473870840142405900396600254217225863862112562967477263559526480699391) * 10 ^ 70 + 8640651801702706720871969677307706284769598479264700278145098793751948
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_285 :
Polynomial.coeff recurrence4Scalar0Exceptional 285 = -((((973881527508504130082546735 * 10 ^ 70 + 7411961211793654265888534188527484346139095218389464356202150781095792) * 10 ^ 70 + 6759859178203763831012634365261677138423347807074597446403813765101722) * 10 ^ 70 + 4447401081756317597230836647474736374769012080205221758853691579309133) * 10 ^ 70 + 1266601685401917200645577939430730464581556457347148926529000955591211)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_286 :
Polynomial.coeff recurrence4Scalar0Exceptional 286 = (((695116640216799791562943632 * 10 ^ 70 + 5617408743840924643265565461289714756020587260699133982251224230406758) * 10 ^ 70 + 435223981191650055859809314565993823801113737385387240847802626240171) * 10 ^ 70 + 8342306046681831639728381000728034098708692652499668783131126512568196) * 10 ^ 70 + 4618714851111330825846045993185633571603479641476926957329008413235905
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_287 :
Polynomial.coeff recurrence4Scalar0Exceptional 287 = -((((489020340895686472328392262 * 10 ^ 70 + 6044959610206064050163239413990320086653962500438630621680118206383671) * 10 ^ 70 + 8775731937411165711173945076450313306793407205640754531590850034210099) * 10 ^ 70 + 9890680270143442409056801255952503190891780515130352480161206151106025) * 10 ^ 70 + 9233045278491621231454062691925843196829440888241495651907729934494017)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_288 :
Polynomial.coeff recurrence4Scalar0Exceptional 288 = (((338988825949007136860220687 * 10 ^ 70 + 1309062519833809204796981452924033940720568134031185435331560204712475) * 10 ^ 70 + 7664596957994539482994460216986644037047106773894246405844665020622216) * 10 ^ 70 + 7941556327347683640207881135080242024861668750798098638068779070114176) * 10 ^ 70 + 4962970277372318731530751527765480109823383682566179914631278003852440
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_289 :
Polynomial.coeff recurrence4Scalar0Exceptional 289 = -((((231460262050818521119349474 * 10 ^ 70 + 6505108861931222179197979359702640379611980082215064125975161298017666) * 10 ^ 70 + 4300365218223093514170168543191740708139530703763884713613210356046070) * 10 ^ 70 + 4173314614888092970439671505274742016557117934558573305034940461371989) * 10 ^ 70 + 7051174648384023513409915667863292412945836832021220208080426918502112)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_290 :
Polynomial.coeff recurrence4Scalar0Exceptional 290 = (((155599283236948089132808623 * 10 ^ 70 + 7778261019432144612180063669129824182880833142947581355327179813603665) * 10 ^ 70 + 4679827275798394541062026516460957555825274839347956246796887991005362) * 10 ^ 70 + 2372980001598247825003994345540879387609461762811015054140082071807574) * 10 ^ 70 + 4540501617217959194265717333985336327528530469135675607317750335030540
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_291 :
Polynomial.coeff recurrence4Scalar0Exceptional 291 = -((((102929532317824262542363213 * 10 ^ 70 + 604829662131675919038494427198087948922702365012481928051605295783593) * 10 ^ 70 + 2988791459246212809665217558654866126904618467620578948873614592753460) * 10 ^ 70 + 2578573667690434454064833411554402290807146347064747423905946886319701) * 10 ^ 70 + 1854275292711479775345875316457426318678393784464918869435174357292188)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_292 :
Polynomial.coeff recurrence4Scalar0Exceptional 292 = (((66953621209051824355789032 * 10 ^ 70 + 2508074372280785802365323396058981337169307580361020796232102881567364) * 10 ^ 70 + 4768654351434534168668626315344252869082042516633224127704222853618980) * 10 ^ 70 + 954240021976392566148838049595257343576309582645522467644918121709816) * 10 ^ 70 + 537974196936124546640143962998016646183311982766977420060639003991307
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_293 :
Polynomial.coeff recurrence4Scalar0Exceptional 293 = -((((42788700283497585799171985 * 10 ^ 70 + 487933013891721459809580986928058292308694614331267427104036026169923) * 10 ^ 70 + 7750257826650095112200714564420484919503806559955805980166600571584073) * 10 ^ 70 + 9358901317409010327309497039255401563366313350672192059451902886427111) * 10 ^ 70 + 7620520492676591145984166107684931797012888578913799233065687083148677)