Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar2ExceptionalPart2.Coefficients423To449

Recurrence 4 lookup certificate: Scalar2Exceptional coefficient convolution #

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

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

Polynomial.coeff recurrence4Scalar2Exceptional 423 = -(((17108642796812232101131162594878865739552414 * 10 ^ 70 + 9588755504171675162481548799658251996283523915641316786683297337445410) * 10 ^ 70 + 8042084131477520662461887144417311839548536339829177229240964249754930) * 10 ^ 70 + 9335339415861802338235110000103177919184614154929812368738491358127382)

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

Polynomial.coeff recurrence4Scalar2Exceptional 424 = ((3591237517204011367018348660196944873049642 * 10 ^ 70 + 5251677789558296350801569569312280105628354982485350313243056840836579) * 10 ^ 70 + 826961313374605803623779464684297426708827597898921921148499794956751) * 10 ^ 70 + 1471292308949818080037309875501891925718904423920107111210090363430468

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

Polynomial.coeff recurrence4Scalar2Exceptional 425 = -(((662008746318349524721839996686746058214504 * 10 ^ 70 + 4556001665930618165211649798293198218643613222788881938434437419227756) * 10 ^ 70 + 3721297680068514317933998735958203490202559655057276626573584763599568) * 10 ^ 70 + 3889642650035528259432651359795685591568580797475581137834043137444300)

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

Polynomial.coeff recurrence4Scalar2Exceptional 426 = ((99328148671512139554690490193738153117911 * 10 ^ 70 + 351979042338030636704728090835708039573827018450991051147644497213857) * 10 ^ 70 + 6883550806069390387382793953457739561508270654662798962377221288851446) * 10 ^ 70 + 3538247905406271786889467256343824813918300556249069309603379576363998

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

Polynomial.coeff recurrence4Scalar2Exceptional 427 = -(((9019519518329607964770625204178863398550 * 10 ^ 70 + 9743216616891496684318149706631072894225738177685711085189912975564698) * 10 ^ 70 + 8391663326147321158745293659503886770772865006912312348729442425053532) * 10 ^ 70 + 7841402853407462487258481700791074707044994923689252688932683371251842)

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

Polynomial.coeff recurrence4Scalar2Exceptional 428 = -(((939802673612669250765222156356687736153 * 10 ^ 70 + 6305516929469715277031221135769078812628074730600689625717032733320819) * 10 ^ 70 + 5066015041208365818470998227483691436436556722806952298055815891844010) * 10 ^ 70 + 3500997750473571926016842424180278440844117577218236949822903106049056)

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

Polynomial.coeff recurrence4Scalar2Exceptional 429 = ((748311048135036272421885064183746624400 * 10 ^ 70 + 3016866740267970936502737671081480836333810211101418774506647250443979) * 10 ^ 70 + 7971599386649503071546627074531485692840182605106855037415644376825685) * 10 ^ 70 + 7292501980564599495690095049160795561153584476070059902631966448319310

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

Polynomial.coeff recurrence4Scalar2Exceptional 430 = -(((237480025100723823788169302909421755529 * 10 ^ 70 + 4125307435730475610883829151012001279456098845193993634602012695801409) * 10 ^ 70 + 3613176443562163932990621418451250160410283978949430699233441016151108) * 10 ^ 70 + 4646109268305436178210527866262047323787234252075749902492096006811558)

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

Polynomial.coeff recurrence4Scalar2Exceptional 431 = ((55211147494965513039912065815104724817 * 10 ^ 70 + 6735058553919496172027429407396293930098768190846941178221601114536677) * 10 ^ 70 + 8014234611612716746921513778192879960318668089051432551197619342073192) * 10 ^ 70 + 4756622117558228376143256933388959291143080014327264680308082617995071

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

Polynomial.coeff recurrence4Scalar2Exceptional 432 = -(((10039927181505957620531235068635171818 * 10 ^ 70 + 7454697471860650916156588286226150998175758585526956926306331136577535) * 10 ^ 70 + 5661102649829089140810802645083617342543710585110350893224915012724858) * 10 ^ 70 + 9184907998927155818009350664392992882888864336738813633623938733092709)

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

Polynomial.coeff recurrence4Scalar2Exceptional 433 = ((1323658145261286223150180281568177645 * 10 ^ 70 + 6475338865525184579836761835775805951569761249480814889449019044940983) * 10 ^ 70 + 901937366301815545689509580793914451604012188648521280539452755520679) * 10 ^ 70 + 6685171815800409853837036639899306067143908713695963939495802297806817

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

Polynomial.coeff recurrence4Scalar2Exceptional 434 = -(((66240619180047646000208785949538412 * 10 ^ 70 + 3163803322894716333349818289956788973729447955997028739556136221123127) * 10 ^ 70 + 5853538515109988732553639056757984186547125430206185805148382492883946) * 10 ^ 70 + 2167264075970143773853977599312397078429699256687771472341753242314933)

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

Polynomial.coeff recurrence4Scalar2Exceptional 435 = -(((27661201289622204659511700536266523 * 10 ^ 70 + 6289231482831465773667534001432615087626457494611279164675194483667021) * 10 ^ 70 + 3471403838742016105748350953687959873962642327659190550459993049957782) * 10 ^ 70 + 8618911864006520323204038661222730363050689539114540778191728294187332)

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

Polynomial.coeff recurrence4Scalar2Exceptional 436 = ((11669650679969726875015556778005833 * 10 ^ 70 + 9763754673371056134751828423773502871410202415566253551419973218127301) * 10 ^ 70 + 6210146146120584115344666134023068415636591050414783628789608358882632) * 10 ^ 70 + 3152366124513008041539749065602053379068821730185758134779372898368950

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

Polynomial.coeff recurrence4Scalar2Exceptional 437 = -(((2846481246213139020116147263040332 * 10 ^ 70 + 8964097770807154043018225478764009737295504039420878305119804001154110) * 10 ^ 70 + 8285584534246816675525785449752111698734256693349157826740996228239588) * 10 ^ 70 + 4853402136632183526046217453291935858709133297479092249970786092271630)

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

Polynomial.coeff recurrence4Scalar2Exceptional 438 = ((518896115601312843514723480970962 * 10 ^ 70 + 2319083510933624710361588184338063445194600260560138585899350980016941) * 10 ^ 70 + 7544612143227655068759683761684088072245757092376006800452594312140483) * 10 ^ 70 + 718280753599521562802467559313506455143040173888582731891502054261431

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

Polynomial.coeff recurrence4Scalar2Exceptional 439 = -(((71318285813326592014825082417068 * 10 ^ 70 + 3843057952054983452250277012798965423499992459039017928299449051112978) * 10 ^ 70 + 5513281954137805484606798206098890776615875592900771727877513544291462) * 10 ^ 70 + 2075530485024433372407035698412639538455773471482604184854525825681060)

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

Polynomial.coeff recurrence4Scalar2Exceptional 440 = ((6131268487203467831499603209850 * 10 ^ 70 + 8791532637950186144005514706942551083243045886653460178762072047735958) * 10 ^ 70 + 3734000190040303687458780169445358056306530035998657562514383675548604) * 10 ^ 70 + 7495432025431717161656603755922959955178874646311869197541880308772999

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

Polynomial.coeff recurrence4Scalar2Exceptional 441 = ((169248700921809684812558998643 * 10 ^ 70 + 7812907609986224171849898367455763621204599436505654420093134208720816) * 10 ^ 70 + 4775020840144991109325198354923457443185909258195194912916747594251418) * 10 ^ 70 + 9160409353222856764713756255943285901045460194432763539596675702665255

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

Polynomial.coeff recurrence4Scalar2Exceptional 442 = -(((197930421971802113506766206942 * 10 ^ 70 + 9549981364920782491507886224181166367715684019710288749459178181351578) * 10 ^ 70 + 3733719809572368221691157538679325897837832330585934542376206693949099) * 10 ^ 70 + 1268921663506192898503747159559097803379068649902639491967508416560444)

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

Polynomial.coeff recurrence4Scalar2Exceptional 443 = ((47375862736804867864545459335 * 10 ^ 70 + 50393817623606611404583672518591429610095587292606375818748228737854) * 10 ^ 70 + 4028296060224368695610426335786031341369127581257313835346107557326566) * 10 ^ 70 + 4445678786162185941455498208564004663913235238027572441385760513012423

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

Polynomial.coeff recurrence4Scalar2Exceptional 444 = -(((7480159186353506251803909938 * 10 ^ 70 + 3801116315073014615289350490145340838386900495545441414804287611871993) * 10 ^ 70 + 4843933600629037208072981563547771676855946339977603114346581338181414) * 10 ^ 70 + 2178935633934781253023824141700343774030789829765474508587390929720576)

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

Polynomial.coeff recurrence4Scalar2Exceptional 445 = ((820303733276522037035650670 * 10 ^ 70 + 8214892119386217640936119127843410348758856972550892095678315756465327) * 10 ^ 70 + 9402498093823920129063902834112060400696309838424428037325665377025500) * 10 ^ 70 + 7934479616432387373622745908533230113957814353820103996738805067800479

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

Polynomial.coeff recurrence4Scalar2Exceptional 446 = -(((45138559845705614874829795 * 10 ^ 70 + 4566209459029576655294960337986110481921407261931453694996201290734613) * 10 ^ 70 + 2020509772101868217507814660211927473977955107064101496218607264296519) * 10 ^ 70 + 3065124303302217355564523568246316241216323103497938734807842989324610)

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

Polynomial.coeff recurrence4Scalar2Exceptional 447 = -(((4726264808572217054317550 * 10 ^ 70 + 6507808748556783584910546621468110306381883660595001796601600050960808) * 10 ^ 70 + 1766795141817151906259093452422273379271501992703956192574277725881950) * 10 ^ 70 + 309053713354793819020969808642803261122724558210331103804786135962291)

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

Polynomial.coeff recurrence4Scalar2Exceptional 448 = ((1745658078472760416988151 * 10 ^ 70 + 1580339921964880179321454693592760329893066142952752128595508763638642) * 10 ^ 70 + 7448072645955786261318699944237720458540010841102541190098582671849192) * 10 ^ 70 + 1518740982910287132674794816687256754885549634394941624313579182338070

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

Polynomial.coeff recurrence4Scalar2Exceptional 449 = -(((277927398161374379442868 * 10 ^ 70 + 3824519569121388993614336525534427281626817006669683594794706637145869) * 10 ^ 70 + 5610090072503033540093841930365750251807590183404255435128364821970300) * 10 ^ 70 + 629099340117392767206779709506025603790809954877103317535561174181860)