Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar0ExceptionalPart1.Coefficients258To284

Recurrence 2 lookup certificate: Scalar0Exceptional coefficient convolution #

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_258 :

Polynomial.coeff recurrence2Scalar0Exceptional 258 = -((43574199007027636672883971471227412368788532571546176892 * 10 ^ 70 + 2586283100497691051785892185030243641986838145564053421648659492336964) * 10 ^ 70 + 2616752582071267754239376131231891736770458900833573783912956684001734)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_259 :

Polynomial.coeff recurrence2Scalar0Exceptional 259 = (10252887087874249873459646909114430606795571807711030937 * 10 ^ 70 + 3694218391681558728505884325914955866375882278932634248909910198534297) * 10 ^ 70 + 955286313718272307449579012949173681260097268382774995315872123810234

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_260 :

Polynomial.coeff recurrence2Scalar0Exceptional 260 = (843125021738405403521816566593990179600502526866313951 * 10 ^ 70 + 8494378415068510071887465970695208036518961921633752164093910513600147) * 10 ^ 70 + 5887955754893843307822715240276621457701355409053682726546106377491878

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_261 :

Polynomial.coeff recurrence2Scalar0Exceptional 261 = -((3016485866916152412573759766731414188900812347532250257 * 10 ^ 70 + 2558057287015484892286301739916802376343474884582521396554097310762379) * 10 ^ 70 + 262945206665327913458843506846335373239289005786882877906708498010710)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_262 :

Polynomial.coeff recurrence2Scalar0Exceptional 262 = (2417357127732110587531166237242657022625164505664512001 * 10 ^ 70 + 4180894843789464788259477574644930629550025471955380527710268662619643) * 10 ^ 70 + 9919442090087626440590155060635061599079029350080656593624460018991609

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_263 :

Polynomial.coeff recurrence2Scalar0Exceptional 263 = -((1420082613514195423182001984853173201163017929361517379 * 10 ^ 70 + 8893136603391889590844978569114018242622642829094707556854038429586143) * 10 ^ 70 + 9680789154091828452534320937801492392320354927489780866861150650034478)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_264 :

Polynomial.coeff recurrence2Scalar0Exceptional 264 = (697268766959056859941283795856285018935619501995700232 * 10 ^ 70 + 4167773058282608322879234970875381743006241568417116087876980654009385) * 10 ^ 70 + 8447615865873933803382849788704109533227736634329028911818717582637776

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_265 :

Polynomial.coeff recurrence2Scalar0Exceptional 265 = -((296261456595762839721850493814235938975791147224913967 * 10 ^ 70 + 8322050042774072485383879784149438296507457345535780032462930637619714) * 10 ^ 70 + 3607241734286883260671730636460079592542255227554706861862753397508045)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_266 :

Polynomial.coeff recurrence2Scalar0Exceptional 266 = (108887272737494805271796056439522399897087429007771069 * 10 ^ 70 + 7371604274502955153588109212024855149263101941758952173191792756497811) * 10 ^ 70 + 5995262858382398424839157788797431771357237755630479935437968501167873

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_267 :

Polynomial.coeff recurrence2Scalar0Exceptional 267 = -((33387907641601356211320351397772280114460866627251463 * 10 ^ 70 + 4408262786687025185795663818420238081652214405815146868854895954038405) * 10 ^ 70 + 6055756679520464936567395603716032099722516229299149297474765570820393)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_268 :

Polynomial.coeff recurrence2Scalar0Exceptional 268 = (7427116281348822459005009406003730716108764558690400 * 10 ^ 70 + 6570914029213293704202981489038639588000764232294512248855406621228248) * 10 ^ 70 + 9785378463925331162125220903543571382060577668432057782007378115485908

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_269 :

Polynomial.coeff recurrence2Scalar0Exceptional 269 = -((253862906953289379732746025933835065452080968324032 * 10 ^ 70 + 4644828071841147058526850195967134018797555615108063217439616973872325) * 10 ^ 70 + 6272491709868086522707669995201344511311309324330003024396811772159230)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_270 :

Polynomial.coeff recurrence2Scalar0Exceptional 270 = -((961811671611426394243266073415566254180716985182021 * 10 ^ 70 + 2126723421426544281150464348872818122984426442780516489252769237651716) * 10 ^ 70 + 4027073354197848662957867316228823731926082864185689918154532743641242)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_271 :

Polynomial.coeff recurrence2Scalar0Exceptional 271 = (752826921292770900879956438803897493800519598507090 * 10 ^ 70 + 235979430683284104288662034440338033593509277845340584152347116864132) * 10 ^ 70 + 8803909270961134834040722894183371027490151016578268182367415126016648

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_272 :

Polynomial.coeff recurrence2Scalar0Exceptional 272 = -((416103660941125821653263463255901110206214793380213 * 10 ^ 70 + 7648833731340923323506368089485846037333633381158843205673093279996736) * 10 ^ 70 + 7620518191872104775382487507609388275420751614614180213338499114577071)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_273 :

Polynomial.coeff recurrence2Scalar0Exceptional 273 = (198973389874188117737638927229340875271967448402870 * 10 ^ 70 + 6371620199711636140649340079579088070760009371152835349929076026010776) * 10 ^ 70 + 466004792097269664743984763737627549629705807035021623591599148079331

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_274 :

Polynomial.coeff recurrence2Scalar0Exceptional 274 = -((87536589133536725035926569859094721525574755319962 * 10 ^ 70 + 7136535790353500717086508610819498735761507111026257596148037145500255) * 10 ^ 70 + 3191743072730440843017854464566258074150607614302444035900572342198453)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_275 :

Polynomial.coeff recurrence2Scalar0Exceptional 275 = (36241429747935458808411441195796623022731935653836 * 10 ^ 70 + 4900278390164188472144583785006146416995578001364456251298834872161802) * 10 ^ 70 + 4320072434700379196249374917684288289338899867866702133621077248760985

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_276 :

Polynomial.coeff recurrence2Scalar0Exceptional 276 = -((14177629689898964616945632119793318996738720177009 * 10 ^ 70 + 2040594374358257797561538758672286925894802467105843375261581147043512) * 10 ^ 70 + 6893495627152607866045253667264413831988953313748709661667985936783579)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_277 :

Polynomial.coeff recurrence2Scalar0Exceptional 277 = (5193305331989844039191817165321540848581747637092 * 10 ^ 70 + 4524676550500514569300221361520866843534213464586293259240134659664552) * 10 ^ 70 + 5620394368732972661184316588127083812311056123140584171778475470568991

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_278 :

Polynomial.coeff recurrence2Scalar0Exceptional 278 = -((1732244759324372728661255349519250444760929563246 * 10 ^ 70 + 4964564021325862096198485839660365953155124782126962306471367743220730) * 10 ^ 70 + 9844857172511169128891248273755322489351676427087618589896725785725286)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_279 :

Polynomial.coeff recurrence2Scalar0Exceptional 279 = (483903644625711397746177984724433566181295421056 * 10 ^ 70 + 7215611820590380411076030385068173458426888852874570044157823919394644) * 10 ^ 70 + 8876402640221468372360585491693915537338962477050036679819053889806867

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_280 :

Polynomial.coeff recurrence2Scalar0Exceptional 280 = -((74937904817035208333256314466429167613576284867 * 10 ^ 70 + 5668615452779425701094084120863704394249332035395577043056743590696557) * 10 ^ 70 + 4909733706622143705407661765179685523908573003096054337537533575151937)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_281 :

Polynomial.coeff recurrence2Scalar0Exceptional 281 = -((34698813803660243907404156947126304618967284595 * 10 ^ 70 + 5225887996575664016463379418201587648505114342607533157235049064101978) * 10 ^ 70 + 1988517599324277104399915143956750570763862486072146829127373548853491)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_282 :

Polynomial.coeff recurrence2Scalar0Exceptional 282 = (46970635340258099859422159982355707957047417781 * 10 ^ 70 + 2917910886291022694194645290326608742715206302830225467385513815929045) * 10 ^ 70 + 1055541513382769750668927288435594824749024828787688297535549925437886

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_283 :

Polynomial.coeff recurrence2Scalar0Exceptional 283 = -((33879612018819325719098491008080919296595438196 * 10 ^ 70 + 9209756594692448153211642830848403099837502123024038634939859532989386) * 10 ^ 70 + 4483439437169088097344030286377930342233341672374533678287834722763161)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_284 :

Polynomial.coeff recurrence2Scalar0Exceptional 284 = (19184659783156735233813632357713224768991905392 * 10 ^ 70 + 7750921312532413136625113926965219232544468584738780246048285719695895) * 10 ^ 70 + 1060359656031265406509997952513925636010061396435780941850742281642272