Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1LeftPart3.Coefficients426To450

Recurrence 4 lookup certificate: Scalar1Left 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.recurrence4Scalar1Left_coeff_426 :

Polynomial.coeff recurrence4Scalar1Left 426 = -(((400138494182940937352050913189988885434639736 * 10 ^ 70 + 1853398794330563085337823557533196348913385391847816349650964484640492) * 10 ^ 70 + 1528367092207269982158212951890885267165101609785591666140434787470789) * 10 ^ 70 + 7024479079480385853113208085110714368745852738581162702958886747847140)

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

Polynomial.coeff recurrence4Scalar1Left 427 = ((119940980908781630738642118102236482338902050 * 10 ^ 70 + 8890216630082286208472907960888265853441568916346970514436367263124963) * 10 ^ 70 + 4460750965310800469262487976404614402625908939104451034324071596917706) * 10 ^ 70 + 8727569997354984061315842353983231586068922582460384195688022784416831

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

Polynomial.coeff recurrence4Scalar1Left 428 = -(((34351022770405895073747739370294362769411508 * 10 ^ 70 + 4374188178199811427915305710788107246800107404607045601180426861876626) * 10 ^ 70 + 1376514069340982981055174330266265752288598989583022014969455616497616) * 10 ^ 70 + 6409779029984476582629676320172191529972275747980985518367745631942092)

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

Polynomial.coeff recurrence4Scalar1Left 429 = ((9364791229593532654498093461439607572729027 * 10 ^ 70 + 6868762667807965265114908665981535099723499335909312905285422822523813) * 10 ^ 70 + 4427868198305468905275554554505650839721088245013809336688065813576987) * 10 ^ 70 + 9789963339841472929609490025062195356618584410563259591262834505255979

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

Polynomial.coeff recurrence4Scalar1Left 430 = -(((2416517058413532419522045410121438329690419 * 10 ^ 70 + 6950151354591925335708797769088109566470024268006832588939446934629435) * 10 ^ 70 + 7251501295623898421678881480524985936476631051178438329912985595715340) * 10 ^ 70 + 2260238852221603424171678040052523849767906450824196549772014365285000)

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

Polynomial.coeff recurrence4Scalar1Left 431 = ((585186031871402949084197602869897892549236 * 10 ^ 70 + 4187205467842634781552288613858706995969088545756514975289555875488553) * 10 ^ 70 + 238072896392935881378905369169431075732398712244206456041480437329425) * 10 ^ 70 + 310647063532655022298118861114165404967056350021961887972866210532136

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

Polynomial.coeff recurrence4Scalar1Left 432 = -(((131163035105970972927118783289432202836975 * 10 ^ 70 + 768292582251485305520134060046627506761475249195675293111658513865739) * 10 ^ 70 + 3281936884809685881278586370674751057083516411663747804469735505061759) * 10 ^ 70 + 8126238839529301016707848067611651145314239297951988147387170884785349)

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

Polynomial.coeff recurrence4Scalar1Left 433 = ((26541825684737495493584632331449969352521 * 10 ^ 70 + 7797466548063247032690226420901744109048266069683583690935475963627454) * 10 ^ 70 + 8563167498789621236862344146501447023869214768374318497013692676598830) * 10 ^ 70 + 8794842572458934870740477037975555976056576741563166169796750746842913

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

Polynomial.coeff recurrence4Scalar1Left 434 = -(((4593978303895164349835397541317397777853 * 10 ^ 70 + 8357585542620204578037859878619661845588390862644857715329842493776356) * 10 ^ 70 + 597969699551645323890646661060730923084885564975895934679440225746195) * 10 ^ 70 + 9924767537406149961517425209998014850156562935165831283147143003128797)

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

Polynomial.coeff recurrence4Scalar1Left 435 = ((575288254544630280855509623318509996491 * 10 ^ 70 + 4540821772627717670795863369963260350483109897036496303824213876792637) * 10 ^ 70 + 3717476024988596684170748660995684927226030873400477694237838071244967) * 10 ^ 70 + 2051783186521114032938961483927679327254299863706884145383699644378839

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

Polynomial.coeff recurrence4Scalar1Left 436 = -(((2406559325887635573976435306216163283 * 10 ^ 70 + 2976019331522191990564579827172209182782986821886897956775147432895018) * 10 ^ 70 + 5898083038292596990585947408815320620266083710242577751904539654470288) * 10 ^ 70 + 3826929706328748471500467693503698171101849546038854721920000305718210)

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

Polynomial.coeff recurrence4Scalar1Left 437 = -(((29891023358847911112426875739660812825 * 10 ^ 70 + 9828259489373685924898081561027240863969630166955611135850796851103545) * 10 ^ 70 + 1959076746148176260822496857886306475887768550396800112533432285107055) * 10 ^ 70 + 5720293272877339198688092613064390395386438254709432824453600590500281)

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

Polynomial.coeff recurrence4Scalar1Left 438 = ((13010723756247418035432382494027662855 * 10 ^ 70 + 9193215965654204929154646531268427305174469378894309238969959677882244) * 10 ^ 70 + 2876970585989050553885198726751359430801200663409288147682951401646612) * 10 ^ 70 + 1435876707034669867494243095253956236877819169307894373584002140215484

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

Polynomial.coeff recurrence4Scalar1Left 439 = -(((3999259113682983848637265077111126538 * 10 ^ 70 + 6634271624850323117718166583727770465049307100196608531630975603221126) * 10 ^ 70 + 9609067213400356674041476581879958872010700896676083144278882208378101) * 10 ^ 70 + 2995104924458215575702435781848648215544434446116273509173458368347658)

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

Polynomial.coeff recurrence4Scalar1Left 440 = ((1027776035935295289305202520241402198 * 10 ^ 70 + 2679018086250402984089797767152089737752209213715798063299284811161896) * 10 ^ 70 + 2479636761586342909405501148972995312587172517924103281538371150343183) * 10 ^ 70 + 5897333499983847992188625989840277619771284997759578698220429792225342

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

Polynomial.coeff recurrence4Scalar1Left 441 = -(((231251955665703494424127447852119401 * 10 ^ 70 + 2598798477410450065880239429692645817463801558533053931143018179042989) * 10 ^ 70 + 5662204175146855020261997540951458890295004099554480681519361572327925) * 10 ^ 70 + 5614126200980004316532485661219263162009995421619272700245456745865525)

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

Polynomial.coeff recurrence4Scalar1Left 442 = ((46089577964888753620824143203213506 * 10 ^ 70 + 1333381719882837912361004383252310444481028244241009777051261550142978) * 10 ^ 70 + 1827747500130191884977296434296939203624278867224148620369823257523660) * 10 ^ 70 + 7091965099947498100460374712361579745385574632637295944164022914198084

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

Polynomial.coeff recurrence4Scalar1Left 443 = -(((8069300072765237991634966161364396 * 10 ^ 70 + 1571931959425119684514965528379489208786084342521626840216655378935733) * 10 ^ 70 + 8837249938930985916557972301709995828981557835189680602900626767744420) * 10 ^ 70 + 9895502551016451744095964678524709643345406252642647694096094790445251)

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

Polynomial.coeff recurrence4Scalar1Left 444 = ((1198806180865512505756706882022276 * 10 ^ 70 + 5758193380011465742955448850266079229063562792274480674487293232477950) * 10 ^ 70 + 798344579693390247222736867230892667751702526938312608245336940313830) * 10 ^ 70 + 8046506470824311610437148643960338800648964869598637842283605062891089

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

Polynomial.coeff recurrence4Scalar1Left 445 = -(((135774033617972453249119564295596 * 10 ^ 70 + 1466261182890042171005036925024351497754707920620530987980570023396298) * 10 ^ 70 + 4002531216111101679121313243218563985547443043228260365748560240250423) * 10 ^ 70 + 7327214549820489201658828267609200698308219982425645887603567782615546)

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

Polynomial.coeff recurrence4Scalar1Left 446 = ((6264856624738396492816184038998 * 10 ^ 70 + 7116339014331423450764570981878949565114939258790417699740327067790836) * 10 ^ 70 + 2848577205897829758733419763315590430453018723620684660344785583920570) * 10 ^ 70 + 1186427690869546056616748829308827461927124732850049462512621684192383

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

Polynomial.coeff recurrence4Scalar1Left 447 = ((2168847829129852421249351533330 * 10 ^ 70 + 2628213230922194126986713573804765305205008694066594460192135869991928) * 10 ^ 70 + 551409298171743697379957092526892277533443710445440511246486180810086) * 10 ^ 70 + 1424300288082015293004309432343704965229297045301029507675321172564361

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

Polynomial.coeff recurrence4Scalar1Left 448 = -(((862558149006449178001691791492 * 10 ^ 70 + 3030647608276692232194154540297025299878180360424529848537297539681815) * 10 ^ 70 + 3708372004881773688846705884208165403876812138662307294619501407596078) * 10 ^ 70 + 7664480466203794249962927370742237977994866776442882121845558542670715)

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

Polynomial.coeff recurrence4Scalar1Left 449 = ((201169561634252249444304747596 * 10 ^ 70 + 9858610219413276727505878479891585767906996904924821436181860778431331) * 10 ^ 70 + 1371766178122496132476095831111477072679890669060649609327336285707775) * 10 ^ 70 + 4707201222632426342740386040328792445396582252708914406070280356554938

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

Polynomial.coeff recurrence4Scalar1Left 450 = -(((36270259122213027093287891910 * 10 ^ 70 + 5099461567971986122084153643231040357906453194638674416101038681555152) * 10 ^ 70 + 6972734916447260324390228657583014265944510250160713053944985707163761) * 10 ^ 70 + 7264754131501200195626662550563504559729822701337443767702117893868536)