Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1SecondPart2.Coefficients276To301

Recurrence 4 lookup certificate: Scalar1Second 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.recurrence4Scalar1Second_coeff_276 :

Polynomial.coeff recurrence4Scalar1Second 276 = -((((414696313120003193615051761 * 10 ^ 70 + 1734840517400781688884909974362780170371906720057324092597744669445755) * 10 ^ 70 + 7793691397724073391850643925371377338301478762902196325321112110594252) * 10 ^ 70 + 1247162659420384611423799633160551274881525899442169867788157524050856) * 10 ^ 70 + 8791342322544231624973341324085853718766544748495348350047495116113708)

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

Polynomial.coeff recurrence4Scalar1Second 277 = (((216146235793403465683286961 * 10 ^ 70 + 2657294957202647441195837873717624220057920454141921034472007145111469) * 10 ^ 70 + 4536807299961671173862380687601724935270937640721690869814545775807378) * 10 ^ 70 + 4866799926466922299852764721716687874007579188267017247001060324272847) * 10 ^ 70 + 7663120910619920231698780876305581779694539411401206149490371561384171

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

Polynomial.coeff recurrence4Scalar1Second 278 = -((((83011408796196965796738000 * 10 ^ 70 + 840563134968410317867416007602871706416323708714523232856894013684974) * 10 ^ 70 + 6380597116998680203002962716956339415064256623878519256488471533697363) * 10 ^ 70 + 4721294385054723992359714707126844253906979002730191397187500330434713) * 10 ^ 70 + 3194520438488104528096025802481778377388954798028803782977089911990008)

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

Polynomial.coeff recurrence4Scalar1Second 279 = -((((498317851002589993217326 * 10 ^ 70 + 255596160461103922040142749167944803789290690103059470661656954086054) * 10 ^ 70 + 1789634482264714879576972253085667441852797360615144441739571133153477) * 10 ^ 70 + 7430200434640175165953718957734861519094392627869987466803028454228573) * 10 ^ 70 + 4505422024494281546273730485950417973951168196882230203238500650136290)

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

Polynomial.coeff recurrence4Scalar1Second 280 = (((47916922210536294833133641 * 10 ^ 70 + 8778752106918456806136578399070728374708792298864563336328506993274756) * 10 ^ 70 + 242178759713763517717769030781893097661177219498814443815813885637387) * 10 ^ 70 + 4295813211785208441221512837744883877425810989287449285326975115712069) * 10 ^ 70 + 6270813336560092614805723453111141645544755498273026026087876580433427

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

Polynomial.coeff recurrence4Scalar1Second 281 = -((((70334591351116129498150440 * 10 ^ 70 + 292462674505449031217732686572526290873623782645937215618202354274942) * 10 ^ 70 + 5996602550332514687482738525068436884010686216958279071183282239790826) * 10 ^ 70 + 4859021221659525775085138175923224342794377241331849342404216710248783) * 10 ^ 70 + 670149951707988755079860001705790942604397585969485435389090868743897)

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

Polynomial.coeff recurrence4Scalar1Second 282 = (((76447030877914888018518610 * 10 ^ 70 + 6034807979989055629667550977552290623664789362514514302049846700384283) * 10 ^ 70 + 9058691593260411162902715180932756591553333611367646190916257390293396) * 10 ^ 70 + 1413907576094866526388189075863940762982462571187881997519799218050137) * 10 ^ 70 + 9165644045956984951504731594900025700519349151819148659115517900633236

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

Polynomial.coeff recurrence4Scalar1Second 283 = -((((72769224147727054773738202 * 10 ^ 70 + 6850278585763376158405376310359347531933654937239014629017942378433127) * 10 ^ 70 + 5767022044696932737356686609268492352548760792639017564396100745907958) * 10 ^ 70 + 750192403750083516619114238989337101700593998884975295874418564791425) * 10 ^ 70 + 1009416339831159817303050003105519478246603756741439403407742216587965)

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

Polynomial.coeff recurrence4Scalar1Second 284 = (((63945926871146795293536506 * 10 ^ 70 + 3516650004772443529701655532132334297156834719164545958123927172349279) * 10 ^ 70 + 3274918297238267514452424747307228438100649810644123678068835735889790) * 10 ^ 70 + 2801585526909819822299774919137309498318459174126952532822702892786897) * 10 ^ 70 + 4944758614880196148375811253270404874453942019258964119150271084411143

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

Polynomial.coeff recurrence4Scalar1Second 285 = -((((53101965312145742262946590 * 10 ^ 70 + 2175752257306003455047716629550525863594919132803898695254802907549466) * 10 ^ 70 + 2446879139894284672237631153855645275505597125335306871453529015725157) * 10 ^ 70 + 8400638058943688756768810825524628565482017719816805143391884762286936) * 10 ^ 70 + 5674003540920214008448956728511391437252375045479113823723705472144857)

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

Polynomial.coeff recurrence4Scalar1Second 286 = (((42189161471901010190373474 * 10 ^ 70 + 8445173405615473207852871503176773532488888658771618125283567314621898) * 10 ^ 70 + 681799714552706822244727388222734336290786395402889566651175537129926) * 10 ^ 70 + 3360085217455980907161694377868406472729362589868352148717817933491665) * 10 ^ 70 + 6922256940686057943811900777883385413830491190938030418279166608181240

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

Polynomial.coeff recurrence4Scalar1Second 287 = -((((32300892342281587076125890 * 10 ^ 70 + 6408768072331458872066274514723943256946060949978653100792408113034380) * 10 ^ 70 + 1185849662649221080772517577269516465839959765216757374807410234056851) * 10 ^ 70 + 812322533616797119074718159937646114466827430618336449689805068362342) * 10 ^ 70 + 3861634578422653122337956732826790629822296432410754732935582515424650)

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

Polynomial.coeff recurrence4Scalar1Second 288 = (((23938072605499024198731853 * 10 ^ 70 + 3116478561362226048621608936524919096771654639496053504038188500764690) * 10 ^ 70 + 3110857591733540304659390103028254803074320681724409889769156434023078) * 10 ^ 70 + 8810722306540227692968524318505199611108879300059081241790872027970127) * 10 ^ 70 + 2643614574949040489705740920849016580583944539875524206937209303927687

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

Polynomial.coeff recurrence4Scalar1Second 289 = -((((17220656245677441423424161 * 10 ^ 70 + 2857030299994700340808304281570231219674135066680775971203693439257917) * 10 ^ 70 + 5118699683733792294521831463994480405654045487091951535507479119971424) * 10 ^ 70 + 7569324054243081320335208948845013913646899499706815287232160338730170) * 10 ^ 70 + 3252097527573166927582805343363334834579811210963860382848025715172126)

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

Polynomial.coeff recurrence4Scalar1Second 290 = (((12046176453276914208343302 * 10 ^ 70 + 283454298477727244803543080755929330682368142452760093574123476377277) * 10 ^ 70 + 9660495529500886323439774482368115849376346704404891917953336592679556) * 10 ^ 70 + 2211300667109293408961356023959284136222504907040988131760947060869395) * 10 ^ 70 + 5530239582913246990042122637865713031980346317511672328413479702509718

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

Polynomial.coeff recurrence4Scalar1Second 291 = -((((8201487655351281685620699 * 10 ^ 70 + 1664116212183905558048444199453354223936581552660315340116845841296478) * 10 ^ 70 + 9677968313162969983721233856884593195300494853389615937329157574559148) * 10 ^ 70 + 4269370312056018822240881693647832017890869802949727373740715834850700) * 10 ^ 70 + 4297625336171240903558174059381272867062762302399368089321229198759249)

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

Polynomial.coeff recurrence4Scalar1Second 292 = (((5436165378255907178321965 * 10 ^ 70 + 6806875757730722233601368132968079737843538802907177537707165443461158) * 10 ^ 70 + 185415631776818808793635207288539991293429646091729975924239527322254) * 10 ^ 70 + 8376941686803589563510984304731946821315058026522125890037521559544306) * 10 ^ 70 + 9570635247419495541145298452288224275975486486699484623284560475231824

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

Polynomial.coeff recurrence4Scalar1Second 293 = -((((3506538844549637686014138 * 10 ^ 70 + 8974308439608682126356937804675213739778963034441835545008300651523287) * 10 ^ 70 + 2903841376916050370473398569245975131510613739968217079368614700623147) * 10 ^ 70 + 1973206825579395349639288243099526380404988318196379084791895973824351) * 10 ^ 70 + 5987074702783749242443207579867948485867087834920066345941284412398110)

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

Polynomial.coeff recurrence4Scalar1Second 294 = (((2198675766275309073472588 * 10 ^ 70 + 1909298167745954332755604233765473637067389429952627165143524531563872) * 10 ^ 70 + 6116880450373876587595004820553229060086570856723792184975928830552096) * 10 ^ 70 + 8864197501851200024217558773042965554547652052515182690851972946589771) * 10 ^ 70 + 1944806760481218046605363665232546541487615595148184690093822214018179

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

Polynomial.coeff recurrence4Scalar1Second 295 = -((((1337335261390774441255456 * 10 ^ 70 + 4436176987849074157471310868210602489786013185295380730615363594323432) * 10 ^ 70 + 7232774890850661946741876899141342558153502427266009737637851778918153) * 10 ^ 70 + 5514837084354269062632895449489259338087322156515273497212524120282877) * 10 ^ 70 + 8486326106492958110884441834148014369700934409059393349094536437505615)

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

Polynomial.coeff recurrence4Scalar1Second 296 = (((786361923335936257859523 * 10 ^ 70 + 6602565443797512536243086268975857432643619070636949060645151988115154) * 10 ^ 70 + 8158332646471527698883540670719235477751709603970216132530154527993094) * 10 ^ 70 + 8951860216603816001200791487765862929956144795655392230436195392303527) * 10 ^ 70 + 7649225891817234045253723916050788496670372201372432063092451213445468

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

Polynomial.coeff recurrence4Scalar1Second 297 = -((((444491260249716554177412 * 10 ^ 70 + 9168800103515254271268696599518284091869162028822646411405802186947350) * 10 ^ 70 + 8678197936789985249036557695150718343360735153955684814748638765750435) * 10 ^ 70 + 3081435446867021224066195799925246277385391526426805150446870640981428) * 10 ^ 70 + 3194478667379330133151859545331392073743701972023431959962352667116302)

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

Polynomial.coeff recurrence4Scalar1Second 298 = (((239236212095690157590510 * 10 ^ 70 + 4063435190157922895839310170290918231415600134345153160992539224136646) * 10 ^ 70 + 4680543549001688540971969716528087455956945062262183092669659758899211) * 10 ^ 70 + 8709199975860916386278773672816852057661837782689007502970969090755938) * 10 ^ 70 + 6621725539143562660291441277601467493558191250117208489966462352839074

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

Polynomial.coeff recurrence4Scalar1Second 299 = -((((120495900899051578051142 * 10 ^ 70 + 7474595864032216586512740385207742370151820571163844427352175856807882) * 10 ^ 70 + 3784712394766547732819095788282676527315925368319678726977470377762865) * 10 ^ 70 + 1468227557813873006760254330795370099927319946167067152001261423472394) * 10 ^ 70 + 6134891631450420894734422655369777187334782854880008734202375037963103)

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

Polynomial.coeff recurrence4Scalar1Second 300 = (((54776647058971683462586 * 10 ^ 70 + 8840902127560143274250487126000994286967656814220089562410995315770419) * 10 ^ 70 + 459528334243066579563259419538421944971581158063380473718104606906047) * 10 ^ 70 + 8302506971074347538528370127047783562803469048077529128747473146563415) * 10 ^ 70 + 7828225666563745275354517157462141160954302958781619490563062357390463

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

Polynomial.coeff recurrence4Scalar1Second 301 = -((((20409070514343596798539 * 10 ^ 70 + 7940959988936659697575496549884107449517982733195344996790586121978938) * 10 ^ 70 + 9029308708540850951717982605373439751833912843025896391219551335633468) * 10 ^ 70 + 2347165501697713577086629565227056755434508027840865779874314061605577) * 10 ^ 70 + 3289721286343914447917998849961924330686053784984726173614503764248692)