Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1FirstPart2.Coefficients303To329

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.

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

Polynomial.coeff recurrence4Scalar1First 303 = (((3287556933890254324688 * 10 ^ 70 + 5250939638619517153735666621266006874593603507668844943512844075976294) * 10 ^ 70 + 7940941700657649298884133445430322664317284781366386289695177556324112) * 10 ^ 70 + 9103170912577416973189096220253091857624908335695689858962146353317184) * 10 ^ 70 + 9783853748113754960644747121838343669773626781274233655447291553202723

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

Polynomial.coeff recurrence4Scalar1First 304 = -((((1172165550852049235096 * 10 ^ 70 + 8949244291272275235028349104650349095020982219802747062695685145447150) * 10 ^ 70 + 1213938524336740415768348404599322345761471948736193951627858474012310) * 10 ^ 70 + 3028934242274470448381304815086448793908641679979047738255626678197474) * 10 ^ 70 + 6928061024581747442243145932529363880347334409796142680448428292739289)

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

Polynomial.coeff recurrence4Scalar1First 305 = (((273591906598088972181 * 10 ^ 70 + 8127258499081050822750294823892963300777685639407092138825632695584702) * 10 ^ 70 + 9988328928483022500686112853480661624122917572987967427935367307159492) * 10 ^ 70 + 1828171192992657722946596888514395670051891027331391898194504116103375) * 10 ^ 70 + 126493908048420227994570209993654132914742182663341799863567378842211

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

Polynomial.coeff recurrence4Scalar1First 306 = (((55035990281368035692 * 10 ^ 70 + 4637054711165084644653878254712762226868836914339235087604329833005497) * 10 ^ 70 + 9750217662835379047888444280581987461525313895024457542480105699655700) * 10 ^ 70 + 1689641843986715875854665432522444901578864482350307543408091690862330) * 10 ^ 70 + 8888121724766241141908505947803414307935455278884844927613409695624505

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

Polynomial.coeff recurrence4Scalar1First 307 = -((((138160341174344004536 * 10 ^ 70 + 8821030082643410701604637367776756892389338156450361177093297430541521) * 10 ^ 70 + 7286272679208839664682819207876481026480246915545962801654261716249127) * 10 ^ 70 + 3132447326290021119774535766811646741555850982283970677776552732086142) * 10 ^ 70 + 454895567674346664688664451861377412347238174680726382716189957126872)

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

Polynomial.coeff recurrence4Scalar1First 308 = (((129377770981141100202 * 10 ^ 70 + 3249597912290970866762716637922162918787459297074070250314035809030309) * 10 ^ 70 + 258809098008756321107432189489668276465270897986617835178697282103224) * 10 ^ 70 + 6329187084129428049986331370188939057424199863225097759330278987164404) * 10 ^ 70 + 2514770368037974393179147243622191719951443803777850766806892629929698

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

Polynomial.coeff recurrence4Scalar1First 309 = -((((95751552986380773744 * 10 ^ 70 + 3297523895073557694031839041893942040208186176374546480170101535791709) * 10 ^ 70 + 6449106846656924473719190271571811419794437643926667087587305047527111) * 10 ^ 70 + 1896901939421548264645742328046621160669918597431834722726357344502312) * 10 ^ 70 + 6051027545192160774286334876233855328681127281284982031161686649617802)

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

Polynomial.coeff recurrence4Scalar1First 310 = (((62937714735933197935 * 10 ^ 70 + 2065178565637559040103806988138531994756313787809280156530683704712678) * 10 ^ 70 + 8917141545863821102877395531283931455012339127432627622999456370964452) * 10 ^ 70 + 5962545347803549034559462166844127561197131582696526914254128645489405) * 10 ^ 70 + 4924473817454140975008551628104859875744879000839122651398825276458069

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

Polynomial.coeff recurrence4Scalar1First 311 = -((((38272624743212245872 * 10 ^ 70 + 2091475687352429297952655809354053908165201000564513654508519064619029) * 10 ^ 70 + 3360885834768837178310970669297297556388968105291931201504443110023111) * 10 ^ 70 + 6140975995575629484158903854435079268100122525551467437542756217369977) * 10 ^ 70 + 5283882119029724025844089701160501209427885668444962246323185674374831)

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

Polynomial.coeff recurrence4Scalar1First 312 = (((21940382852405620964 * 10 ^ 70 + 8992969914421434450994053618169167576585938341814701137441579482161601) * 10 ^ 70 + 3232102015914282572519445356452297627806767032384494540779831377458877) * 10 ^ 70 + 2983412729903812316411977040359635773152946765979243418901624357543587) * 10 ^ 70 + 5544668387542895535730691811429251760274968929029836848091996449489166

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

Polynomial.coeff recurrence4Scalar1First 313 = -((((11978055072600289459 * 10 ^ 70 + 4974772712731196339482842964655167611737499332924920321306115909622517) * 10 ^ 70 + 1268309360068932069659481705720827711028307499748146235210863014833197) * 10 ^ 70 + 3247476662205525465584837093646640170150186201070749057053920240321273) * 10 ^ 70 + 9623053147196889516905070966413020312783735757397510956082412216033435)

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

Polynomial.coeff recurrence4Scalar1First 314 = (((6267654556832976635 * 10 ^ 70 + 8201888335667003142622314710900670694062091294243090974356809413669011) * 10 ^ 70 + 873841441462778638311969875138056588303895336062609237968956700300210) * 10 ^ 70 + 1658316973368707460572903406144920421107090986819078559770221118274886) * 10 ^ 70 + 640214556863796961939468618638892996238236919243668331074199524509314

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

Polynomial.coeff recurrence4Scalar1First 315 = -((((3160196217767053916 * 10 ^ 70 + 6455891062289878164339461825489808235700663276730511972934594536298292) * 10 ^ 70 + 8687319360557346351942291595515299570526581672493365185881566017628805) * 10 ^ 70 + 2891467491052061945842575411917913296239493938362052124462029383057026) * 10 ^ 70 + 483872944550505874868128012199760898656122889029680507455224805579469)

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

Polynomial.coeff recurrence4Scalar1First 316 = (((1545312600121191278 * 10 ^ 70 + 1596604219874479313903592610998976350892073738823225427295983274695310) * 10 ^ 70 + 8274926670136270536933776562944724516575993315653432761011617233762619) * 10 ^ 70 + 2263663713519044362862504125533741662064359503787284233832301613029233) * 10 ^ 70 + 3771414751312944303677075538803229837267092150685110329969866600148360

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

Polynomial.coeff recurrence4Scalar1First 317 = -((((740437024226832945 * 10 ^ 70 + 8173576923543610307128082759007465913312449779682127061444723348603844) * 10 ^ 70 + 7242172306384846359398083187813584080144476714142433379784972620763703) * 10 ^ 70 + 8054255433140286314722114195197226590673803981558907582385916514081840) * 10 ^ 70 + 5285966526894454273378429783404554600608410988416769805726373034566075)

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

Polynomial.coeff recurrence4Scalar1First 318 = (((353816976106011423 * 10 ^ 70 + 9230861069979201271724363448365703278261564636056798864846206114852881) * 10 ^ 70 + 6801907404162641838932178623783906530643284802863717469441329583796632) * 10 ^ 70 + 4098220930838645473425822107877609129553775178918494972674950125854938) * 10 ^ 70 + 1700004711555105454564180457928840182351629625681311424322299559052381

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

Polynomial.coeff recurrence4Scalar1First 319 = -((((173312727003863567 * 10 ^ 70 + 7334691278998450648714493369338874443895967919121929280835567292557976) * 10 ^ 70 + 3457108511200264417588127173701345668308300975543651407216981383520930) * 10 ^ 70 + 5825197836903010110420157327169984992514234118885748696369914214680291) * 10 ^ 70 + 8880750896687225286676862297137256278090692016075789951216971329765932)

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

Polynomial.coeff recurrence4Scalar1First 320 = (((90022070901905791 * 10 ^ 70 + 2037375791995011849414752168607126626689701409341721386583743754959367) * 10 ^ 70 + 9433933559635214883010596217421665339491238349635628568489517954122006) * 10 ^ 70 + 6381992803394570560131270283712040128511478937250322354857962603181018) * 10 ^ 70 + 6792980250875089458562328207420890215479531141484085624619123109323241

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

Polynomial.coeff recurrence4Scalar1First 321 = -((((50859743203692440 * 10 ^ 70 + 1142627186739829513194541690011434240414078616942002522313564234080169) * 10 ^ 70 + 3411470767757455822026423288955904261622836038667500902873909462970580) * 10 ^ 70 + 7504576970366346381463753729505393581741131961742605606937953981042538) * 10 ^ 70 + 7822116475818099924437962048402932203380124935169544963922365057680268)

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

Polynomial.coeff recurrence4Scalar1First 322 = (((31245996391177335 * 10 ^ 70 + 296148730981567041252441179064998864443280768025541431631563499445874) * 10 ^ 70 + 5366384233969262930379106177275309530698230428483117747660049548211942) * 10 ^ 70 + 2861766363524793322120843349011189721603124142735522017815687339306183) * 10 ^ 70 + 6023169941169715254030785449491448117638245600373524900396124370048264

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

Polynomial.coeff recurrence4Scalar1First 323 = -((((20354122154047834 * 10 ^ 70 + 3923525500052694774892914782109437154646191636847670289776518999764735) * 10 ^ 70 + 1209769503233076214938620786173346394107716138159694949313987947546162) * 10 ^ 70 + 2121477759904964693357261991274082922347293968478524655326967620935966) * 10 ^ 70 + 4651712037767666735131712533403414390874658512350377948224015526626823)

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

Polynomial.coeff recurrence4Scalar1First 324 = (((13609886948228534 * 10 ^ 70 + 1563462045175939403233585740046583278361777377295864785105744418130911) * 10 ^ 70 + 423727574021612154838758265666975552815694064331091319777442200877388) * 10 ^ 70 + 2964167260075037793695003461366149864502273228930570842385653411612212) * 10 ^ 70 + 1629513695746965465277232955513419833291720782972874133592121875603352

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

Polynomial.coeff recurrence4Scalar1First 325 = -((((9106995603037200 * 10 ^ 70 + 7802961080874161357565714926244393643072069991828264938324935110305041) * 10 ^ 70 + 3027831323509296027516727678991049067001400560677294840596861720816895) * 10 ^ 70 + 7109982872263968719108604882403597848605693429927584630288866696850922) * 10 ^ 70 + 6002155852447514966957164862178202540243562619633016845287821033268997)

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

Polynomial.coeff recurrence4Scalar1First 326 = (((6006280566716482 * 10 ^ 70 + 2109383769216357242898271688628929061841909023467796140803216219689993) * 10 ^ 70 + 6921715767284852235246684998562151972969737737566180159743388334466293) * 10 ^ 70 + 2628429893194787196383047853452536070829456091500502571067614831696050) * 10 ^ 70 + 2075794131173158789000966798772770334388528957573170610961057378722826

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

Polynomial.coeff recurrence4Scalar1First 327 = -((((3874805717830128 * 10 ^ 70 + 7696680732115857681489414247362258509093415030997018421016340016292689) * 10 ^ 70 + 9336357252595708985538097718292090696537571797094970970634921724764557) * 10 ^ 70 + 9857616248486405268905097120704846017971910025961689986138880434453268) * 10 ^ 70 + 8755747727853126718060803251112443525703076344776508410432249906705908)

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

Polynomial.coeff recurrence4Scalar1First 328 = (((2437632100588591 * 10 ^ 70 + 617144594759577411108317146182642814373768920760881600034293440261890) * 10 ^ 70 + 2698967371817749905923651330863493633998633186258113406431776571512539) * 10 ^ 70 + 184457913637913400772149207241045121792218392665846324024761157265969) * 10 ^ 70 + 1665740363693318613254073871151549442479683925074515394888364029917520

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

Polynomial.coeff recurrence4Scalar1First 329 = -((((1494309320149141 * 10 ^ 70 + 6100087456165563725207678426239976046745088553128839511480238875390284) * 10 ^ 70 + 6258949234407736694947142638164734646979506940565981002127930720582601) * 10 ^ 70 + 4246396278422904757052726368887748041231444120680817746883515068689375) * 10 ^ 70 + 4583032000897072306287868999431133892992216429502136962150498846417829)