Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0ExceptionalPart1.Coefficients250To271

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_250 :
Polynomial.coeff recurrence4Scalar0Exceptional 250 = (((29853350964705157507266812435 * 10 ^ 70 + 2708627324497920914425392070930953090433713120769034960362327021804151) * 10 ^ 70 + 8030374432789763929738081565508288394518310791443930106529957655148908) * 10 ^ 70 + 7734241996784297601552529247589877278758303492597885897932286171442384) * 10 ^ 70 + 5631271995491591027518412348787353862272407373969080524523881436332262
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_251 :
Polynomial.coeff recurrence4Scalar0Exceptional 251 = -((((33749166179600488319765853402 * 10 ^ 70 + 9828946406116474435021230913102412205815522769208426496484237312565626) * 10 ^ 70 + 7275256394196789405974875285470767431569279643787058445398244925548804) * 10 ^ 70 + 8880768759234155557298658780126474913067698126394538646975994949789265) * 10 ^ 70 + 599187005838119500317881205074039609078349093644574201698091735714619)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_252 :
Polynomial.coeff recurrence4Scalar0Exceptional 252 = (((37663878457715776351005170131 * 10 ^ 70 + 1906864133139674038055454277838718402998808483614138510196078093506459) * 10 ^ 70 + 4544090781510290993620376684246647687899949642304670043822854392483744) * 10 ^ 70 + 7760303512523518074138972300515445510877920374214358067752365852182049) * 10 ^ 70 + 9558667980088224015259270834983689820606889246265116659337647767584426
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_253 :
Polynomial.coeff recurrence4Scalar0Exceptional 253 = -((((41493627504468658799736636557 * 10 ^ 70 + 4081587338833737324646904838108976229847807986505011174412852105965043) * 10 ^ 70 + 9413262803993937746881891450323157137342484594112084039086461767562029) * 10 ^ 70 + 367906941981905764785963516818985161183106483137336370881611934158281) * 10 ^ 70 + 1086237182252084824090316853558756296896227087506278046274738537432729)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_254 :
Polynomial.coeff recurrence4Scalar0Exceptional 254 = (((45126755361900232808404666082 * 10 ^ 70 + 4901729579712259547870845746044946054943043126590823035626748315203084) * 10 ^ 70 + 5462535304113795633176616320379480159077425424136862091249057158921257) * 10 ^ 70 + 9067832337561035943496505193448001273923277632173533299984395939381324) * 10 ^ 70 + 5056166311279754037607703474748476779335983775586314984572884739806225
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_255 :
Polynomial.coeff recurrence4Scalar0Exceptional 255 = -((((48448991716717390836629283196 * 10 ^ 70 + 8793842409483963567507604517622173780493487739867607888423313082167336) * 10 ^ 70 + 4818372125734452436854590651851426808454106285888975686480426990334099) * 10 ^ 70 + 6199443045813834246716808062083018830829340798868011383432897026553535) * 10 ^ 70 + 9223818980520446982611389510646606796638499087743973631059251961143661)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_256 :
Polynomial.coeff recurrence4Scalar0Exceptional 256 = (((51349297781953758254991772608 * 10 ^ 70 + 529889059009742835729049134000651425699866739092324265138860222316169) * 10 ^ 70 + 5519567274954948953988510504010597115536384597183258318360761018451412) * 10 ^ 70 + 6817292073743147061328525527579793509988558870894810093796422682987073) * 10 ^ 70 + 6106448165958143711108600974750142707691913082674775702130872258911998
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_257 :
Polynomial.coeff recurrence4Scalar0Exceptional 257 = -((((53725962790937846061941284314 * 10 ^ 70 + 9443147550763628832655688487085255980785046629886057886881626247888070) * 10 ^ 70 + 3910954938128405088862115701756911135972753234772815312800483314660271) * 10 ^ 70 + 2293412507486073582412904615411633731286635909583648382353473931643169) * 10 ^ 70 + 7592964865309058664637724210742821559981456834434503424835203799195946)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_258 :
Polynomial.coeff recurrence4Scalar0Exceptional 258 = (((55492491754861138264403019579 * 10 ^ 70 + 8246558766266377754031893037081894130270378531211474785567168735532927) * 10 ^ 70 + 1674877274333108094488083638418585591099244852102684544819262270206972) * 10 ^ 70 + 8703332553405636373787716651624289918102252598407193999983065270533401) * 10 ^ 70 + 2440608495010304464741957938175982883755562006301141329305438366325603
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_259 :
Polynomial.coeff recurrence4Scalar0Exceptional 259 = -((((56582811859564703728827517149 * 10 ^ 70 + 921544087476231587438555644729884659703462014034467448865949306586600) * 10 ^ 70 + 294718834135464765879710534947378787431884315967819931342171833023931) * 10 ^ 70 + 6267529770007582126913728664754380134890298300042940883486159677622166) * 10 ^ 70 + 3314260230549195811804438001495652200306532596203212873391125317139598)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_260 :
Polynomial.coeff recurrence4Scalar0Exceptional 260 = (((56955361911137408257858548807 * 10 ^ 70 + 8106979806732175767596032841057592826577031182907351627775768598858906) * 10 ^ 70 + 5979686025197230845756773734417924910522156420644391405344527344831449) * 10 ^ 70 + 5445452296483282562543570926443936924303252356499402405294872374003611) * 10 ^ 70 + 9594468097097287342291709008715481690859972800360227281618793223418223
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_261 :
Polynomial.coeff recurrence4Scalar0Exceptional 261 = -((((56595712805915794536084223109 * 10 ^ 70 + 9146702971263001521357737854578359402280642738319260607714281501687823) * 10 ^ 70 + 575909917512518333165275262303817174109383232009651297376062490377073) * 10 ^ 70 + 162609641743620516719969377216355464248059736035994985263580135106893) * 10 ^ 70 + 6115660540889143820800532080563516751575233240614993117205147809727607)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_262 :
Polynomial.coeff recurrence4Scalar0Exceptional 262 = (((55517489286479726939782034485 * 10 ^ 70 + 5365358321561892424699987598500436987519368651917290826955058339258425) * 10 ^ 70 + 4631049011729903183572842547952580918620107097736282386930652335922896) * 10 ^ 70 + 8444848656880163274574569445151983887583939852775920303426690643196641) * 10 ^ 70 + 2906683073328093412684090561869372989544426848333000946697669701327492
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_263 :
Polynomial.coeff recurrence4Scalar0Exceptional 263 = -((((53761511264666791087361408742 * 10 ^ 70 + 1229044293231516350074215093365745604200869985031649984294105018243593) * 10 ^ 70 + 6819942730552291195633050184601020668032080416291685087403588564613581) * 10 ^ 70 + 6915423106371118905122882062510945633271517233861063145198694928898311) * 10 ^ 70 + 881411607567337023267146937457754866530471484273928998923648141661950)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_264 :
Polynomial.coeff recurrence4Scalar0Exceptional 264 = (((51393230256734765448274090894 * 10 ^ 70 + 7615979383156640237334282386627154732688607324276898327099100849049681) * 10 ^ 70 + 9860503527548467228905365169994068020987053549132684097485557028859724) * 10 ^ 70 + 9533738383494222056128561983597490037883559588841045365851578713360445) * 10 ^ 70 + 3712362201856259908400558703456161323235772649125572867131214090718129
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_265 :
Polynomial.coeff recurrence4Scalar0Exceptional 265 = -((((48498685226167493232205024622 * 10 ^ 70 + 4657411023059970409720874259215201782484424600637552001423345868137433) * 10 ^ 70 + 9155712693681773179713819322076059385522496655325487127093829311554935) * 10 ^ 70 + 7272958950494620311773181052429546896383217588225923936357532588871640) * 10 ^ 70 + 1157756204959475509451527129895722306925086323516350286432338971705781)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_266 :
Polynomial.coeff recurrence4Scalar0Exceptional 266 = (((45179325775472809401177006469 * 10 ^ 70 + 7687973259525090542305366557216648786429077806067484460520115049140250) * 10 ^ 70 + 9466759694033691535636544884075118934116934800234006292876256990329943) * 10 ^ 70 + 2367359986953271306361894172870822653021703110678143290658054648617687) * 10 ^ 70 + 4957842142718646405904372421597566016132658162390954520355278276507987
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_267 :
Polynomial.coeff recurrence4Scalar0Exceptional 267 = -((((41546135995492273928455368182 * 10 ^ 70 + 3055509650135341753483812251293704481475440636330953774262908708267489) * 10 ^ 70 + 2670363729851377193494135310067470062229981055809000545336468577591373) * 10 ^ 70 + 6354221469477599771969127833302823377398367673920310551134944738944924) * 10 ^ 70 + 6024128874075747067906448460463967836918001829057748749108825854992375)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_268 :
Polynomial.coeff recurrence4Scalar0Exceptional 268 = (((37713531313966814122575673171 * 10 ^ 70 + 4922456138033326279128848266163437132958345817380944692277930910282115) * 10 ^ 70 + 3530435164007933250808055739983181532549345870362909743165677155866326) * 10 ^ 70 + 6060259744105572174853562465289541787125017959961737342622200329596049) * 10 ^ 70 + 312378758493768339252157796164355415279717607714150784492241036463792
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_269 :
Polynomial.coeff recurrence4Scalar0Exceptional 269 = -((((33793491345758490500621165721 * 10 ^ 70 + 988162970947184655193506137622131909837929518714096407487066144325907) * 10 ^ 70 + 1049421077055591666096550021490592969496221145828870061070251946345356) * 10 ^ 70 + 6599045431496555332043747406454819848688950153495502426490936389526136) * 10 ^ 70 + 1867006054438364463757993348192522751767219924942976125308599001775247)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_270 :
Polynomial.coeff recurrence4Scalar0Exceptional 270 = (((29890337993614329757060212856 * 10 ^ 70 + 583581359202348571940006348027636463604673745155761432848230206746736) * 10 ^ 70 + 4337649189831675307765426304396248854644745769248339816953387428942072) * 10 ^ 70 + 750834136075914097487858829063386858394053891245255522481204893214637) * 10 ^ 70 + 973143392899356221364899825357104086830723989585596253058204905779264
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_271 :
Polynomial.coeff recurrence4Scalar0Exceptional 271 = -((((26096478946643942846693922998 * 10 ^ 70 + 6826928761455313701453059600283687938923074790833048877129875146188401) * 10 ^ 70 + 2410628859418307012785490493478734790312526755185869596538013520157502) * 10 ^ 70 + 5312918969063085802530471327810413035111656586627930725777691197791352) * 10 ^ 70 + 6713497138000646271822537319159035701141919006490570877965404226538910)