Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1FirstPart3.Coefficients433To457

Recurrence 4 lookup certificate: Scalar1First 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.recurrence4Scalar1First_coeff_433 :
Polynomial.coeff recurrence4Scalar1First 433 = ((17736319496537408058441458301195324149033 * 10 ^ 70 + 6061763322005982918058180198878224427399243807510649014776564193363263) * 10 ^ 70 + 8513735776582230748219481107742809959159029074478528618369770887897855) * 10 ^ 70 + 4485318229627350924813019901026023698896254081551764280758523479364174
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_434 :
Polynomial.coeff recurrence4Scalar1First 434 = -(((6010647907249748962183151215881388220065 * 10 ^ 70 + 3269696307554027508165852713062984114639707378548475233763802883598212) * 10 ^ 70 + 4936016819969481296469422919065087832221232781892418555732866696889160) * 10 ^ 70 + 5064206835003023644658317906250506766074737215640021172466947419160038)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_435 :
Polynomial.coeff recurrence4Scalar1First 435 = ((1838667124466047090695941576562846309400 * 10 ^ 70 + 6849572007810265913537358904198826970952305405158272565995646237322839) * 10 ^ 70 + 4156384551535138022044232947961925916895703931876762706251973907234225) * 10 ^ 70 + 1818057578540547263941886686464114905083201183951031626814795135524445
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_436 :
Polynomial.coeff recurrence4Scalar1First 436 = -(((519947771998177496945004895553318914260 * 10 ^ 70 + 6755059989400068307043737449047228333946927028140248479783893532979648) * 10 ^ 70 + 7096884536554212583949927264341779592216169168597056232451882108945429) * 10 ^ 70 + 2015099563439173497020477252352069438545882519780908397344856864821453)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_437 :
Polynomial.coeff recurrence4Scalar1First 437 = ((137550090133627734869002959175432566789 * 10 ^ 70 + 8023537716112700947547686368304499262532614780368144143925065145055094) * 10 ^ 70 + 5255837501679393859222516063827898760849067101667266512311580817520319) * 10 ^ 70 + 9372778592864230498662791965267886006153465017022397350294788783016413
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_438 :
Polynomial.coeff recurrence4Scalar1First 438 = -(((34258190887883350613021260536794824722 * 10 ^ 70 + 3731380313141190541705221460344859316143119970120476576656860977004972) * 10 ^ 70 + 292328205059053113790934099740766776500914283622918727951248276633380) * 10 ^ 70 + 7008012698620379417412516282955613738051776300125431781046675628241615)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_439 :
Polynomial.coeff recurrence4Scalar1First 439 = ((8059653882482493269792676500371873941 * 10 ^ 70 + 5735393971065650244648864355057997742673961014084517723826259301882605) * 10 ^ 70 + 9669086491596466107724014232100552141500418826661669637200209816502390) * 10 ^ 70 + 4921481547780445788896011593566658209425011535640336109649453164044206
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_440 :
Polynomial.coeff recurrence4Scalar1First 440 = -(((1793699742153961739114921259169943234 * 10 ^ 70 + 9621651578221724156915102237849737814559710350173701385716891670386566) * 10 ^ 70 + 4953799958376145485404583866579161864580302892515346595469286877333795) * 10 ^ 70 + 2454410791100421295075126546854797670051110494049281680652148235265068)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_441 :
Polynomial.coeff recurrence4Scalar1First 441 = ((377678288997287679420330461715509304 * 10 ^ 70 + 2258725665208866422734917274115325107596553287458431375106480429565812) * 10 ^ 70 + 8589482691268026733175312874695732025503523426906873451493136271099831) * 10 ^ 70 + 3964726710560658367060184656956115518999339964390688607071502970797733
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_442 :
Polynomial.coeff recurrence4Scalar1First 442 = -(((75165130610748354614050578492930413 * 10 ^ 70 + 7468863276869392054464494939098518050115632751048582140206218679855960) * 10 ^ 70 + 2044899093177790250580898031616003223669179512296016719545095646982143) * 10 ^ 70 + 8115402450399405051802669052701326535944328877118030481240821923935908)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_443 :
Polynomial.coeff recurrence4Scalar1First 443 = ((14110756575262146383967104504207522 * 10 ^ 70 + 9182092154853989832166622089591597852897162847018124249966178019685113) * 10 ^ 70 + 6726505183861296457944344713623494727726812045936748464771577699780194) * 10 ^ 70 + 498945250661880267536930121081697982749521384907995904585890367903043
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_444 :
Polynomial.coeff recurrence4Scalar1First 444 = -(((2490535228373894451473151415301186 * 10 ^ 70 + 9832976848242019754806594400430174174043482247921644064373354145097559) * 10 ^ 70 + 5524700714104365119901839784872153803195423209036313869106811526386144) * 10 ^ 70 + 5006716165865155423792380079822420828657551101887715468818775947081913)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_445 :
Polynomial.coeff recurrence4Scalar1First 445 = ((411198317052906556212282426570643 * 10 ^ 70 + 7429121807804527738890586866961003919114803187518517796581434729629480) * 10 ^ 70 + 8428130265368596334638881540044352129047048950088125361052516749199978) * 10 ^ 70 + 5257514650117000049368516044417925143324080127226360506270986321201783
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_446 :
Polynomial.coeff recurrence4Scalar1First 446 = -(((63010807816380085467785160948173 * 10 ^ 70 + 8346566604341659423264652616204669260711309325025299339708439064626389) * 10 ^ 70 + 7829606116454419800399942402466795379869488150119129104116152518678778) * 10 ^ 70 + 6779514188521136476196279631228777379872619203391349350026694381673120)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_447 :
Polynomial.coeff recurrence4Scalar1First 447 = ((8845898042985131174122301520961 * 10 ^ 70 + 7352681376980528377081956191745718275390201877414277224681154825607518) * 10 ^ 70 + 1053403971533867608498104876231365460951011110423966543547865415033541) * 10 ^ 70 + 9383542884321815016366704887293827810542236180629900509674377877862742
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_448 :
Polynomial.coeff recurrence4Scalar1First 448 = -(((1110813346804849828635270578940 * 10 ^ 70 + 999960965851095085863534245219950492681243278116277796857061110823279) * 10 ^ 70 + 5327004139371033698463203389841231749873352251407899390408033608005328) * 10 ^ 70 + 5653603565464617944164955180183811323252794436600297981747623663074988)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_449 :
Polynomial.coeff recurrence4Scalar1First 449 = ((118361280503171025385375604816 * 10 ^ 70 + 7648562204128493167309815016779586856844353846782662114830936479596197) * 10 ^ 70 + 808149765772987677333033238772471273744304764945056669114181919624755) * 10 ^ 70 + 6475975659517822688255182587250751614567041362158813991192496639701774
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_450 :
Polynomial.coeff recurrence4Scalar1First 450 = -(((9077364107397170311269438631 * 10 ^ 70 + 5287761500032899647522620918751802329730116681949523420246964499260493) * 10 ^ 70 + 1276114116201814640950244461214777000134362381159291233532409294053765) * 10 ^ 70 + 7003332878707380157936625672683017542799468822785219472156520636609047)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_451 :
Polynomial.coeff recurrence4Scalar1First 451 = ((32345533239381875733341473 * 10 ^ 70 + 3593842826831284139935886601538486505532082262055986297897236260699634) * 10 ^ 70 + 4011552165436020067471717060073878156981127726270955925993427795440085) * 10 ^ 70 + 8587938506439572067687663532961525053426533221190524081142454111554505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_452 :
Polynomial.coeff recurrence4Scalar1First 452 = ((169892497040209615602389791 * 10 ^ 70 + 5700053304604871507140982782120340900805749758527349748479812320245782) * 10 ^ 70 + 2934162754209129744908672933684977517720943088796807370570866820023709) * 10 ^ 70 + 9093885348754681307546116217785171734186937179528895753378262031507363
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_453 :
Polynomial.coeff recurrence4Scalar1First 453 = -(((44582824024888724988193003 * 10 ^ 70 + 6573431810205184517255811470446057897796028211708055057900876971493106) * 10 ^ 70 + 1209879200265502710891165522715314314869780368140787190105434332959285) * 10 ^ 70 + 9794452734018647503160586028906583498324903181810174400101086100083369)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_454 :
Polynomial.coeff recurrence4Scalar1First 454 = ((8216352690576196098078314 * 10 ^ 70 + 3739508465659787095171807245915174147478287326440556227620919312986111) * 10 ^ 70 + 9439656085998825430956136861355987010980838842583126690952004971579429) * 10 ^ 70 + 3395102765978482598584401205038436910780199445590730129465701180173640
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_455 :
Polynomial.coeff recurrence4Scalar1First 455 = -(((1262955106410545500244046 * 10 ^ 70 + 7000560149105951733246627484125456216997915419656872885960262376513735) * 10 ^ 70 + 8623214405862055589529036577354042048433997814056812128098322802987106) * 10 ^ 70 + 9797731391850717503462774483339629643466451895844556561136347467060889)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_456 :
Polynomial.coeff recurrence4Scalar1First 456 = ((169837592462384357129521 * 10 ^ 70 + 9928040503072880379737156178168666667869220656996793743434828673434549) * 10 ^ 70 + 5557437988403287392986074310466832528930113735483182269572136334779984) * 10 ^ 70 + 7301829222815163114814642142242850007018521573179077892600507053466336
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_457 :
Polynomial.coeff recurrence4Scalar1First 457 = -(((20253759511098026991633 * 10 ^ 70 + 93910710392227886271602204915354187621171340254029546816023900012342) * 10 ^ 70 + 4602118431872242948312503057043951993939322797871612723446615740594724) * 10 ^ 70 + 8381499285640681833586793496668998784593236002084897793286046395364008)