Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar0MainPart1.Coefficients252To281

Recurrence 5 lookup certificate: Scalar0Main coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_252 :
Polynomial.coeff recurrence5Scalar0Main 252 = ((((1380011 * 10 ^ 70 + 797476472533087116303512825731078453772670404738106337369921391800409) * 10 ^ 70 + 4771263549154173402334239713174671980239272483383936837581894664376908) * 10 ^ 70 + 7684322483314320244248282305194542182147888002536064279125528848365098) * 10 ^ 70 + 1745615691763582763358966159797078243819541854896741477464459589193082) * 10 ^ 70 + 2847170301551573982812916378984371999400802129375189351692566097166844
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_253 :
Polynomial.coeff recurrence5Scalar0Main 253 = -(((((1081397 * 10 ^ 70 + 6157455929953833892651207625355220450072430043386737146677146937429226) * 10 ^ 70 + 9733585917843323505724963660211809517028371944992861737682454284398206) * 10 ^ 70 + 5332743888590717273540703024151360060507319606038674320046529250616909) * 10 ^ 70 + 2271082220242323727455673519306744915232693674589458422355926101243949) * 10 ^ 70 + 9827606529736940574176523914761575655160740490525949323872167823030106)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_254 :
Polynomial.coeff recurrence5Scalar0Main 254 = ((((818751 * 10 ^ 70 + 3095138178099077009539441864140705665634580504178488616899295914982191) * 10 ^ 70 + 9344094852806479791034900302195782780595870337415515207205256185539764) * 10 ^ 70 + 883444603188215008523846710254488454344306061103745244195016156755147) * 10 ^ 70 + 4982173111826574041700315604824507680747675613298448039143470749691965) * 10 ^ 70 + 8064729739312956141737909633497947880423608565706335502644523002857000
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_255 :
Polynomial.coeff recurrence5Scalar0Main 255 = -(((((600534 * 10 ^ 70 + 4523183783119240014316643126682810769803953107446368270094672329448760) * 10 ^ 70 + 8164141038164890224002637673068647042460063357059323681068612217020356) * 10 ^ 70 + 1972747869652914241629766023377171533699337555212642264699590827067770) * 10 ^ 70 + 5878020750491467941916106362207906707632097509751715205497144822756923) * 10 ^ 70 + 8617551145270881247677187826937462271456282567332854647715234024277128)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_256 :
Polynomial.coeff recurrence5Scalar0Main 256 = ((((427313 * 10 ^ 70 + 9476149369462211045999808808382402124573521097417760998437816869872448) * 10 ^ 70 + 2670035287099806914061573242237325239853599487934331813875535013646505) * 10 ^ 70 + 5684367516459738186516701102283538868575783526432864538347669195734690) * 10 ^ 70 + 439424601540895933552998388004222347514955948794002840677501651191216) * 10 ^ 70 + 3869666130706183370297151140937537051327873578892860110145501070332859
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_257 :
Polynomial.coeff recurrence5Scalar0Main 257 = -(((((295124 * 10 ^ 70 + 5829161899684461035969170229829743955797727682891834442679485431834285) * 10 ^ 70 + 2064140347545670504997970761001072580029433048388541252579905190934766) * 10 ^ 70 + 6068789778117251293736967462095592233098303687040371293815327193176614) * 10 ^ 70 + 3255199909401891739398248398116651870375188299633604700631707824165500) * 10 ^ 70 + 1540510939020096055952683202325622326554456797473419559965324742520619)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_258 :
Polynomial.coeff recurrence5Scalar0Main 258 = ((((197802 * 10 ^ 70 + 361255320481585155477179667795579932146161125345043051841803428474301) * 10 ^ 70 + 3391681424893392694299563719230263244653764746863063371735126438212355) * 10 ^ 70 + 2431055567700123068177160341638034605243078997656270181897273734281151) * 10 ^ 70 + 7278020469898172624883862732902621718595225033940852697601253540887605) * 10 ^ 70 + 9548879895922200431834801054459684990420601299850349098102430507973870
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_259 :
Polynomial.coeff recurrence5Scalar0Main 259 = -(((((128538 * 10 ^ 70 + 9355918160906558534761721099474633210860183957039804536602496069694465) * 10 ^ 70 + 9946543031892299254358446052296021399656220225478038820900558982439124) * 10 ^ 70 + 9238136744664319440865304973651646349328665338909979679468039670241685) * 10 ^ 70 + 1868592604118010294523984816270040944783163895250130224400059196346770) * 10 ^ 70 + 1925194646426095907339006293308078316330865314189687807804514895429469)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_260 :
Polynomial.coeff recurrence5Scalar0Main 260 = ((((80846 * 10 ^ 70 + 7201319151107168976164594126044831093349103925664792810587659014547137) * 10 ^ 70 + 4670890356649951313678252964641262507414071710435687509408578521354329) * 10 ^ 70 + 669801243772668268235072407415930349460114391015163498246898810354384) * 10 ^ 70 + 7663494394439151324285057191492185227661423477692642516360191022624947) * 10 ^ 70 + 2710060752395010362425461137052757919129290348976170322351469339274339
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_261 :
Polynomial.coeff recurrence5Scalar0Main 261 = -(((((49074 * 10 ^ 70 + 1528136335395867058784326906226976676973536655160598141449477290963252) * 10 ^ 70 + 933874530728404799324700068729419031962925768985928847709585874437741) * 10 ^ 70 + 4459133666161894008630286625944631393365990590402790596466592006489979) * 10 ^ 70 + 8156011348223426241196408349231075976694602443099408268460532712513304) * 10 ^ 70 + 535483283170351147631360597469977751613369996682528272329349235335255)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_262 :
Polynomial.coeff recurrence5Scalar0Main 262 = ((((28612 * 10 ^ 70 + 9307117225366264999191020947805302340763474240897752817470321026245558) * 10 ^ 70 + 6313366905546186473412396958175673305457562491824427195838905629095060) * 10 ^ 70 + 1064913831948331991215321822135954230573521892883306948599986107040813) * 10 ^ 70 + 5680865709220692210603410432753625373784913698591250712074129191105821) * 10 ^ 70 + 2024811176061565639032853360936751105926678200311099483247786492759739
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_263 :
Polynomial.coeff recurrence5Scalar0Main 263 = -(((((15900 * 10 ^ 70 + 4770079540375468176767538140907599610725207551183476848017284566501689) * 10 ^ 70 + 2527661236932769822495993957066396365619646540312189468498146954307999) * 10 ^ 70 + 9420318561063592128179123228828391808857385702896283813205508384829876) * 10 ^ 70 + 2830366633627294904714915527431767315210675377494327035192571541954272) * 10 ^ 70 + 8618072416398561737161893326609447985672810275889276045063860009460513)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_264 :
Polynomial.coeff recurrence5Scalar0Main 264 = ((((8307 * 10 ^ 70 + 3051053690448922250352479480451712232781079360745726943097037661071822) * 10 ^ 70 + 8156305164281521708223167725038379223222219795713705934417158936355507) * 10 ^ 70 + 5296883774413074447338279504694039438170393143827681650315726495658941) * 10 ^ 70 + 3282403708077981571323932112179585307276052441280572104002181396336191) * 10 ^ 70 + 1022909394762700002925354833548794441810259560109712520889166189557638
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_265 :
Polynomial.coeff recurrence5Scalar0Main 265 = -(((((3972 * 10 ^ 70 + 9385951616391220827266101687032386529336250394760099883334214071804171) * 10 ^ 70 + 9614918568337702460894330627325296885336615244758291313319482329436551) * 10 ^ 70 + 9876389091589066322372933971983811700316578923769336237097484448664141) * 10 ^ 70 + 1499594111143054017604380359324148468192540297510581602005778459171663) * 10 ^ 70 + 7429223902215512488952898666809473388702260093385264143558428897420167)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_266 :
Polynomial.coeff recurrence5Scalar0Main 266 = ((((1632 * 10 ^ 70 + 8044360520385156492819533684713071585505083177429821800068243736212221) * 10 ^ 70 + 4655569931069452327106677421733372508189612861923226955326542229246806) * 10 ^ 70 + 6399058660739740683797152443336261376116429045113268181768472933829179) * 10 ^ 70 + 64670692076492491637240002592698581114681389744217519841114047183923) * 10 ^ 70 + 8298367787405641388624802558408867204326134250871770677077750831753499
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_267 :
Polynomial.coeff recurrence5Scalar0Main 267 = -(((((460 * 10 ^ 70 + 7126935313106716358980151236850882944391326530099868603256913445419256) * 10 ^ 70 + 8054649558788778900675086718640344962951503878427554194016671911297257) * 10 ^ 70 + 4724212657099284559707524246914841849100640654671350280369152720393177) * 10 ^ 70 + 8021531767286897782961099647481978268688387625585115861750329105316248) * 10 ^ 70 + 9869910676356028970829152400515779506044155539816039380565904700980700)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_268 :
Polynomial.coeff recurrence5Scalar0Main 268 = -(((((61 * 10 ^ 70 + 6756874132105653740023577857104787021811662281874906309355442407925385) * 10 ^ 70 + 6679639617247237405522963376044171808048913343430889569198124356432903) * 10 ^ 70 + 7228691551347897139044354820687527104489055750127537752553667602773300) * 10 ^ 70 + 3900578755892806416848614106088951577612959055743045157768133413405850) * 10 ^ 70 + 9656503797941723527528916324063136317186774813294451323851819180366662)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_269 :
Polynomial.coeff recurrence5Scalar0Main 269 = ((((245 * 10 ^ 70 + 7477565733795403577310439843612001076271895374566254321855299566870832) * 10 ^ 70 + 3394043237493034884546889916688424161341634882154713443568694471451942) * 10 ^ 70 + 228879152898430117279493252713507367787984024797352597185428729730167) * 10 ^ 70 + 9784682566942399251114745415172442313805655842621746474629792607185241) * 10 ^ 70 + 8476458091437445952492280475259068495843554136648744201075772787135333
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_270 :
Polynomial.coeff recurrence5Scalar0Main 270 = -(((((269 * 10 ^ 70 + 6027407931142175972462885815365867003186710502486437324013106741967780) * 10 ^ 70 + 6491164420193011522666285330182656388384386008254014410771181425659562) * 10 ^ 70 + 5895678595171830245190705858546567412119593016867592897958219954675541) * 10 ^ 70 + 975502611077369900464876599807119708393228668779970449286585083488881) * 10 ^ 70 + 6396251512226812039112296060943549666833391248855100147844203429480899)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_271 :
Polynomial.coeff recurrence5Scalar0Main 271 = ((((229 * 10 ^ 70 + 1964810018942224775427194228492335235959122637205172648080370987148616) * 10 ^ 70 + 3155273033157861069258938139258614691299883469875395371268974412898734) * 10 ^ 70 + 3531249655990184202058555475845813218579264413862096046239039691921951) * 10 ^ 70 + 3649964796392411322941027876958358162038194817716468709660735193545815) * 10 ^ 70 + 2556788846490664644451729596172033117842102822418618951206850192182241
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_272 :
Polynomial.coeff recurrence5Scalar0Main 272 = -(((((172 * 10 ^ 70 + 2263880250435741652004567120997521976692466184179642823037568603695642) * 10 ^ 70 + 3472696345208225407501108910135229034104911158588282617501718023360867) * 10 ^ 70 + 855494801603576409449882691767076136920536310809245062100580795180380) * 10 ^ 70 + 5543162552238141411131791928937619522122536012554397908420509439411943) * 10 ^ 70 + 6078551974156690396279745042953655670402432802713142670153847588110664)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_273 :
Polynomial.coeff recurrence5Scalar0Main 273 = ((((119 * 10 ^ 70 + 5723298956494730473115697332787019770142434604083286831602641948858229) * 10 ^ 70 + 9274800889414955463245307608201441467459125732595622373492823550349102) * 10 ^ 70 + 4398753349358735923316898348212622550930599972324851189930810240186562) * 10 ^ 70 + 7798782139842652176510921649563478322420636204825021719925643560790125) * 10 ^ 70 + 1450885642573711376169486462624223477582030670662432078540983738100587
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_274 :
Polynomial.coeff recurrence5Scalar0Main 274 = -(((((78 * 10 ^ 70 + 2302829033987459360570860043025359226412334984795436625926528334694767) * 10 ^ 70 + 4435967174002547873859890361097717281363020744876005680227785549370633) * 10 ^ 70 + 6326413253084521689047774963697331722770381474755078739768079872043167) * 10 ^ 70 + 8055930387007324548326131121987327008655248047218452610507784250195427) * 10 ^ 70 + 6464055942198348177522440491603763503173510710648940027909516373075347)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_275 :
Polynomial.coeff recurrence5Scalar0Main 275 = ((((48 * 10 ^ 70 + 7108649227270711521588358663576650698917544392495351782439797964298653) * 10 ^ 70 + 9790307823825470835082310126562408754204643579270871862624764966619000) * 10 ^ 70 + 4374899523391098343775685519907438215516872953390513619746260731759349) * 10 ^ 70 + 423810168189027603332397157414076821015773246996429593679832002621069) * 10 ^ 70 + 7628301859778328434054415571387715086865913801378275666478988362925558
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_276 :
Polynomial.coeff recurrence5Scalar0Main 276 = -(((((29 * 10 ^ 70 + 86550416041781875427525838614998702558918716716740277162709315170247) * 10 ^ 70 + 5450090986780130445535185113951563649173141735867858589015091380244489) * 10 ^ 70 + 4992113992564263810338268399664507282193992377203080715302846048091823) * 10 ^ 70 + 715755171382580638401789568190762882622375414206957593388055106062362) * 10 ^ 70 + 9493128787938491429104457429678977123362377285435607141766899537949080)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_277 :
Polynomial.coeff recurrence5Scalar0Main 277 = ((((16 * 10 ^ 70 + 5544285574453486580624324811220503078905477077797645625353549824446121) * 10 ^ 70 + 8997284574266397952216227056973981483945575421640824296582050087757784) * 10 ^ 70 + 7580047666755275624303411809991571712166059670750454785718993493398396) * 10 ^ 70 + 7881409434650086558455322492472837382765507603850357348417688862116467) * 10 ^ 70 + 1640319987202709539589434928733230704498577543965315292759416778290325
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_278 :
Polynomial.coeff recurrence5Scalar0Main 278 = -(((((9 * 10 ^ 70 + 496194643395963446624896801218653587260813742184843506477059406213158) * 10 ^ 70 + 948878317757023275122320662208705209852931883511022298232846478389146) * 10 ^ 70 + 7467998464722104858792052415391951189775570357807895907227509388656156) * 10 ^ 70 + 2084041940015776918708054539403329940434090126341316028069860071432435) * 10 ^ 70 + 1548175226290783935510639402488852347487617543823849921011249625984400)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_279 :
Polynomial.coeff recurrence5Scalar0Main 279 = ((((4 * 10 ^ 70 + 7267435187749159138574300809600002093146355595969510846947703317849231) * 10 ^ 70 + 1143473086588687435880483477059399396565195698786436436351752424068533) * 10 ^ 70 + 7280408925445892707092959272791469507025927738854882298928706570677569) * 10 ^ 70 + 8945588512976386349744552388105330440727840544710466623616710391681966) * 10 ^ 70 + 5432574338105396457974646746935469287284872804144445534467079380903439
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_280 :
Polynomial.coeff recurrence5Scalar0Main 280 = -(((((2 * 10 ^ 70 + 3463803419202550451603366995295714546121779264501535193654798723529163) * 10 ^ 70 + 7094486486816428850081490521295276889951066587134842773910875097826888) * 10 ^ 70 + 8567911248318492576762341751244654384392233991973511746741972745283139) * 10 ^ 70 + 5020870343545453534669838749043428812796458830075133071395067476429557) * 10 ^ 70 + 6337422489142941339106884148831877502288871099619835910692882067059815)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_281 :
Polynomial.coeff recurrence5Scalar0Main 281 = ((((1 * 10 ^ 70 + 963861535653903230983560131900275888313117952512942143654406466154054) * 10 ^ 70 + 8494093669128459607282629667210161072623177188098954667391740277847119) * 10 ^ 70 + 1767766047591584501520577927838604728567039715762346867106122843516329) * 10 ^ 70 + 517402207298240565359694857201031906022642682436888631585747844612652) * 10 ^ 70 + 2122147434264546764688681885482981029077532946244664662352902998944660