Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart3.Coefficients432To457

Recurrence 4 lookup certificate: Scalar1Exceptional 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.recurrence4Scalar1Exceptional_coeff_432 :

Polynomial.coeff recurrence4Scalar1Exceptional 432 = ((5801800295820592280225309185174371928041 * 10 ^ 70 + 7024016405097618668424424153308079191205901637558570609105179514757350) * 10 ^ 70 + 1348950863230234364745281267171455372145189954395696568765248324301502) * 10 ^ 70 + 2431999878553555104549772075116886740939532068578126734118318525432214

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

Polynomial.coeff recurrence4Scalar1Exceptional 433 = -(((1060028683463009062327042931342829574638 * 10 ^ 70 + 5865137130687288603639809916047179423764194426112696994898837613849067) * 10 ^ 70 + 594803921922026924154453831438914114927207589705079655976772373975401) * 10 ^ 70 + 8612959699501945669445359408234490335576525340344340678927134857690567)

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

Polynomial.coeff recurrence4Scalar1Exceptional 434 = ((139355044782029675086890997326256870614 * 10 ^ 70 + 7717414555766047534739832295257035323444768759063728770295453692407591) * 10 ^ 70 + 7855183108692378863627979136177423318082533524111090364756056386079897) * 10 ^ 70 + 6786245356285429822604843926363437611779272627995201534327623552908887

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

Polynomial.coeff recurrence4Scalar1Exceptional 435 = -(((5037621423046193383406106201527176383 * 10 ^ 70 + 7261876931955883475692947790141305666580059820025357014788767459378952) * 10 ^ 70 + 5202719819105489468500828851862851840587672579718655750106365910004231) * 10 ^ 70 + 4388401920573081659426338137751703363550995875515616911158254472245053)

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

Polynomial.coeff recurrence4Scalar1Exceptional 436 = -(((4148240962641698544634593829956824831 * 10 ^ 70 + 5057340928955671927100981871251628226620082007769866483509048377342329) * 10 ^ 70 + 1945567134692296427473834680137545636127888503318407722032929158877579) * 10 ^ 70 + 4423524479985137210949389039111014178101078594320198925109642778578756)

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

Polynomial.coeff recurrence4Scalar1Exceptional 437 = ((1699601441764482925957020052803335214 * 10 ^ 70 + 589833685298152356464774109115229879990512884198339428293680099231420) * 10 ^ 70 + 8850818988741219021902995044330511012043235973214568604102983092128801) * 10 ^ 70 + 4799998068197470172090511389142123514648007151986610653002741650202036

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

Polynomial.coeff recurrence4Scalar1Exceptional 438 = -(((432576591469643897976913756311177535 * 10 ^ 70 + 893948795331207510132908776794833579756291701768786162603574686323842) * 10 ^ 70 + 4177109107601087646634721021799573806057138141806005667741397698356694) * 10 ^ 70 + 7269152741811970254591630094103957299404307782212033540295744116519817)

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

Polynomial.coeff recurrence4Scalar1Exceptional 439 = ((84102174282508588950402379521830004 * 10 ^ 70 + 6716229818732434210651021596697649889930082693888024568459158376196832) * 10 ^ 70 + 9742283818133813258168657950567174191780101549179816047931868440747058) * 10 ^ 70 + 6531425894487147672731965221659118046440071017823489164850970620489304

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

Polynomial.coeff recurrence4Scalar1Exceptional 440 = -(((12617419626235137403191928564000244 * 10 ^ 70 + 5360101083924991738514975343826397555493325212749044516235541159194551) * 10 ^ 70 + 9792335918255021362704079537443650985950547071651858976118751479446245) * 10 ^ 70 + 5428309939760909481390728786460142151081754108318293816165802083752402)

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

Polynomial.coeff recurrence4Scalar1Exceptional 441 = ((1271654009531225155265057890307414 * 10 ^ 70 + 8511232760672105323742033776998725176591934121319751455555335570355940) * 10 ^ 70 + 2369476545575026094957294594617433274277727964811189630952955758830964) * 10 ^ 70 + 7304949495779525418904148399620932653292008946818625332325271995193250

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

Polynomial.coeff recurrence4Scalar1Exceptional 442 = -(((7802870037849407743150414316537 * 10 ^ 70 + 4426824733445706110958980960928765076703450883631688952587998377055170) * 10 ^ 70 + 8856063418105476910181084494568359261893465462092904631433832437121459) * 10 ^ 70 + 3971607533530504660774540602830763538890737985920971710604713366611153)

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

Polynomial.coeff recurrence4Scalar1Exceptional 443 = -(((32806415269919443532404799856793 * 10 ^ 70 + 4853520244716431046124095685026941720090203457621334352250328553807123) * 10 ^ 70 + 4773500390736042184453524381585902568022043841943198842271936783842800) * 10 ^ 70 + 4628430535662864944846642407005754854624484997920028170078106019908909)

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

Polynomial.coeff recurrence4Scalar1Exceptional 444 = ((9207453633963358917688553606499 * 10 ^ 70 + 4412825899766125371616238931997674786433218874075684288858535068080566) * 10 ^ 70 + 6818189513697978528567074612273567788534758216235308557211348414665295) * 10 ^ 70 + 982237351401138237740439201721524361831308727776529491106237900635847

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

Polynomial.coeff recurrence4Scalar1Exceptional 445 = -(((1629302426243941884792072549694 * 10 ^ 70 + 7731776115246366388150973344090636019078488420168684737337212630325063) * 10 ^ 70 + 3450064742554913756180617105551205820626601296953957699892606519214207) * 10 ^ 70 + 4760975658422485149497605422997260253004920802927777367942463856305335)

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

Polynomial.coeff recurrence4Scalar1Exceptional 446 = ((201706345861152868432026041103 * 10 ^ 70 + 7755750154904893000334317874544202961126012938873112145728529517470090) * 10 ^ 70 + 6190644766986606201227904450103064976181867288314873764690923163671400) * 10 ^ 70 + 6117920898915260242309169612419265558578603122294606023091480550443193

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

Polynomial.coeff recurrence4Scalar1Exceptional 447 = -(((13899899343931369115249941161 * 10 ^ 70 + 7418052510610879147287730130065656352637096118100496806452118288200981) * 10 ^ 70 + 6251332647799318130989877948701857441488136047148295542637268881001578) * 10 ^ 70 + 3275515917002958436101075042295285579473434533923369385080205088491459)

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

Polynomial.coeff recurrence4Scalar1Exceptional 448 = -(((859155597946695975895059669 * 10 ^ 70 + 3774447701512187844274890708094456683877305325635395181272435619877367) * 10 ^ 70 + 5856547485994626414360820506966682698638289499879326041264748458452412) * 10 ^ 70 + 8025895918107153069194138604069611776561807706212393104311151084129053)

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

Polynomial.coeff recurrence4Scalar1Exceptional 449 = ((460937769973201594768516897 * 10 ^ 70 + 5494901571668900809178253746774658592826310274300672327026930789969867) * 10 ^ 70 + 4076808268355153649903977943969214396668520964866148447307706473565432) * 10 ^ 70 + 6810596017833914661465247771731587312687341632676078043759434380847545

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

Polynomial.coeff recurrence4Scalar1Exceptional 450 = -(((84253638100569580973957126 * 10 ^ 70 + 2448791284186527837958529817355880116053167172979081627771268646855792) * 10 ^ 70 + 824690731777107415484176698349084433582642344344332421463649339642287) * 10 ^ 70 + 6757089739653758948194793703525481913967118301469065313359981378685486)

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

Polynomial.coeff recurrence4Scalar1Exceptional 451 = ((9684363447359793663695879 * 10 ^ 70 + 578800172526876172244214054656510985499725239540584250867559833933169) * 10 ^ 70 + 1400443514635015340138960889038666410897757870707942791914924794128819) * 10 ^ 70 + 703774333404414662471677448897702260828397586915635125461827193328567

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

Polynomial.coeff recurrence4Scalar1Exceptional 452 = -(((591773154258722235983321 * 10 ^ 70 + 7520425677440778528187413188908182704770857312371726043158148828707614) * 10 ^ 70 + 7374493913723076433039738620833256405344734950469634241687095470752879) * 10 ^ 70 + 1344451379173419218119409549133441958341346901443489060137110329832368)

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

Polynomial.coeff recurrence4Scalar1Exceptional 453 = -(((30106706837220651561452 * 10 ^ 70 + 7000846649700216700266791542293112558643730580022697597057710980013590) * 10 ^ 70 + 2769906361991804596087660396092051046775877899887365049154370729844355) * 10 ^ 70 + 1846352846104939182582711892878692736914343525451511784494704092002434)

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

Polynomial.coeff recurrence4Scalar1Exceptional 454 = ((13451691857470448473707 * 10 ^ 70 + 276440858501192151432379630503015838868431728403494284427189114438823) * 10 ^ 70 + 7001685862463995251171396946186554614954854960154491569304849611295740) * 10 ^ 70 + 4967502935146460460028414688353023408130335459801573132487436280558499

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

Polynomial.coeff recurrence4Scalar1Exceptional 455 = -(((1911850557596787517993 * 10 ^ 70 + 512099012793519729352705773411006670550983728329409734365638894064625) * 10 ^ 70 + 3161301411845766952088904589707723019691338741151226869820293005075308) * 10 ^ 70 + 803420162923167513616769278541616923940163119353559722086999121516569)

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

Polynomial.coeff recurrence4Scalar1Exceptional 456 = ((151327952990464433343 * 10 ^ 70 + 6848660218580961236377849005253299707582601680424262591267848706842156) * 10 ^ 70 + 3345429424378525526148679946653575243099582049735922958728846013051822) * 10 ^ 70 + 1469395862129231351401465495498207096573598438667177004452572462361153

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

Polynomial.coeff recurrence4Scalar1Exceptional 457 = -(((2421565719705163545 * 10 ^ 70 + 8530853885710339081106101498052577022369050236901292849521126001096872) * 10 ^ 70 + 4595929930399642644455070597834331498140063795928781434248376523658637) * 10 ^ 70 + 8299867001001550379940921715522841439416418115261711705142496953575039)