Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1LeftPart1.Coefficients280To305

Recurrence 5 lookup certificate: Scalar1Left 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.recurrence5Scalar1Left_coeff_280 :
Polynomial.coeff recurrence5Scalar1Left 280 = (((1617311724589223564164708011548569776900491036652427201788084557047915 * 10 ^ 70 + 8853974988012272650906088661100788780960587466150185460231711650090659) * 10 ^ 70 + 5218751015906463590871161036223432389844809773577981812638071817609796) * 10 ^ 70 + 5256615067299217071019461119928256544038922724997411657869978393309035) * 10 ^ 70 + 3339569208190642610696689125787416273777623439939458087897982479154307
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_281 :
Polynomial.coeff recurrence5Scalar1Left 281 = -((((907337958581159941308080178833617747338163004744264285285762781578770 * 10 ^ 70 + 6702269279656752440300484315762730373337078622735261143118515714776627) * 10 ^ 70 + 9956693332935145378099679326441346720442989604721239280469085773517878) * 10 ^ 70 + 8232280716358002111403154974801439265203157404750509608028007351391146) * 10 ^ 70 + 5671446239119772664088845519542728640260261068455882904015403278891928)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_282 :
Polynomial.coeff recurrence5Scalar1Left 282 = (((482865206001429775073072155698744527656018220857925931151678856260969 * 10 ^ 70 + 6474809662302618020469525815896398215911135801737652391194132059002765) * 10 ^ 70 + 1923357378713827857082674208732649104421337049454007203015052025540330) * 10 ^ 70 + 4863277414333907456824696142904908983833715005095302963755938150309359) * 10 ^ 70 + 446450366081867068772276302191466098563101893621554935927885423367107
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_283 :
Polynomial.coeff recurrence5Scalar1Left 283 = -((((243320445935733634278819694008591105914739919925494084936149241970103 * 10 ^ 70 + 1823668788890331816501255212899829362879935212849287931590259594648667) * 10 ^ 70 + 6583161783852439250275887160263199193096610215778830364106313698574745) * 10 ^ 70 + 5716022295119178370406080947849688372950245175275020207379342148179283) * 10 ^ 70 + 8282422320399271360955086752833976549786121349200088895132560359825994)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_284 :
Polynomial.coeff recurrence5Scalar1Left 284 = (((115558595931475572102600784963162801827721435810758743442884687306929 * 10 ^ 70 + 8682898737257485066808854315870982787811459766699870364298621817326714) * 10 ^ 70 + 8560612700102350555259601299619699226001961181245726518585258451127540) * 10 ^ 70 + 2643512329820858738811155343990919468376376202296664729367554306529454) * 10 ^ 70 + 6466233837686909969928566836283031434558780949654123110490750689048047
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_285 :
Polynomial.coeff recurrence5Scalar1Left 285 = -((((51264651380298349354946226170643545994541914944973392448145878745744 * 10 ^ 70 + 9934649419379023035654573090182202441326035084153716912187085248439834) * 10 ^ 70 + 788735204755738109034501439197664865961224363560386724471056686119247) * 10 ^ 70 + 8777207225870768770266351741959903485385417697020549697051474664013448) * 10 ^ 70 + 8176910928676076822219205158138804888186095358358148898594639025918464)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_286 :
Polynomial.coeff recurrence5Scalar1Left 286 = (((20891846331923529373470816168550423081850019602129711633832929247819 * 10 ^ 70 + 9789807807103644776715828961162787027490049942671397100339889082573478) * 10 ^ 70 + 9766528518853563664418668745866641759259384435574797614716292499072753) * 10 ^ 70 + 6477849517830250671067315324846812110280266984095878806753378622928415) * 10 ^ 70 + 8803149233058830874004034376026566097022726855456930414824948577392102
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_287 :
Polynomial.coeff recurrence5Scalar1Left 287 = -((((7559754407203643252974069893684284451675926889950375668332078012935 * 10 ^ 70 + 8916561987332727025543801270281265197642770345571004516311072359165789) * 10 ^ 70 + 4842997158458325336413872647869693649842184034633847662030199400375249) * 10 ^ 70 + 5723952492600374392119249553194313116613817984085566536060840565904898) * 10 ^ 70 + 9087845695833612300271630215383392967694619986230532788313350542081962)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_288 :
Polynomial.coeff recurrence5Scalar1Left 288 = (((2229537039400515196598088284492965117400730099367973081510597504769 * 10 ^ 70 + 4758440047321629680534940177955310674512199604026521601579320509944963) * 10 ^ 70 + 327527583319801205918295276029815972403660957004780205088397920073409) * 10 ^ 70 + 8032679059871232892485739528084134272240594504513553240321042220058874) * 10 ^ 70 + 2450072333850878823956051212294653613849415252532586042672703416297811
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_289 :
Polynomial.coeff recurrence5Scalar1Left 289 = -((((370397083782312056007615663410702336911083748305331665494160235649 * 10 ^ 70 + 7523752358645949895658404325244784726337298663709911555958892687546853) * 10 ^ 70 + 6916044702546801827361605770388431067964796950278881730519918027824156) * 10 ^ 70 + 9925353623650425848963459978948474884814936725424930902570273468401586) * 10 ^ 70 + 5459287574599474532414577026374903942445561974679287888376773537796588)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_290 :
Polynomial.coeff recurrence5Scalar1Left 290 = -((((130767554798518065652868967854149801387033187536971089978401801917 * 10 ^ 70 + 6624360009299923291672677315352672232438206513514293794123299977761830) * 10 ^ 70 + 8039689769099009980774999393812125374872221684802597616884425395145659) * 10 ^ 70 + 1296613733711180319169304430441687508112764620176889808411744597327406) * 10 ^ 70 + 5644272261759406230739165807649175212982463348238284969799884261636404)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_291 :
Polynomial.coeff recurrence5Scalar1Left 291 = (((178514059618816975889886451484879285283355666311554170230934592327 * 10 ^ 70 + 4739871895801244628297041866927746281104524694879791134722653399238643) * 10 ^ 70 + 9687984801722681571059340805157545063167581499448511391759859208986449) * 10 ^ 70 + 7126363749891043094634127973045977737965415050177728750635564188616885) * 10 ^ 70 + 3348112975850307051570279715984411786169130671070690607416625498526550
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_292 :
Polynomial.coeff recurrence5Scalar1Left 292 = -((((118090670843970618087480884968220778441207392036893743223487860849 * 10 ^ 70 + 5191732201084554582321836555882259067862627088292549618514992616310488) * 10 ^ 70 + 7815055998290180214378432340223976674771990694538230994717372701163075) * 10 ^ 70 + 2414536808026415379901298026806442024408531963184215116442165998176651) * 10 ^ 70 + 7071587672967307834468861550481480289914801413783583235450136593899598)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_293 :
Polynomial.coeff recurrence5Scalar1Left 293 = (((58859314839185450393615045532974254959585681660835644191699859558 * 10 ^ 70 + 8176417686149507204967599819877869391392165097213821485591240120822258) * 10 ^ 70 + 4435611133669762649412622594400070857352023166455571385052230844505723) * 10 ^ 70 + 3872999948958434172872333151379887710610128966854505438346483173041575) * 10 ^ 70 + 7412711498445268170551030352498240775520138502902211094066397576100209
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_294 :
Polynomial.coeff recurrence5Scalar1Left 294 = -((((22665288734480619498590937113970508631347788451270734416039025819 * 10 ^ 70 + 8016058538239491960207701697997608179036491167313887791896081120054624) * 10 ^ 70 + 6049653152608746641214591121123775914778385668074815812108619855689668) * 10 ^ 70 + 1785322373980403968603297346930323883982661354782131410274400602375669) * 10 ^ 70 + 2023492158886552560555083198573930968444359298962577385249997016135150)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_295 :
Polynomial.coeff recurrence5Scalar1Left 295 = (((5371343560771122312312263705656695995190915313709679059787868166 * 10 ^ 70 + 2844044503267667737746973461248538058527635101822998263016388004979915) * 10 ^ 70 + 5413197500879351911260700299679234180467323129402772362004455483219114) * 10 ^ 70 + 2126134094109349955144419806543727338775456444686133545285369706097233) * 10 ^ 70 + 5599105538472533257936449360298702776309580094716433569036321785153047
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_296 :
Polynomial.coeff recurrence5Scalar1Left 296 = (((1048040281530802882726643334773114312898726390195436168732044861 * 10 ^ 70 + 5802823550033834907942004074341304798094076668121250184225653166707622) * 10 ^ 70 + 4000749099188536269115752007962769652942486899079315304680093165686155) * 10 ^ 70 + 5033210126650262996001076926844720622276184290426633084511418784231001) * 10 ^ 70 + 4294705142834202142377195495476974933080831899593542302693128748252638
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_297 :
Polynomial.coeff recurrence5Scalar1Left 297 = -((((2462540252176658310094670950087407447183186587462186253906940168 * 10 ^ 70 + 2097879902191906150397283395844115035381968421807860695517613046795212) * 10 ^ 70 + 2478870417938624428762299523203617324085904863447331228367799102850975) * 10 ^ 70 + 7736142196712900722129586902813941291290569118518460156913015422929706) * 10 ^ 70 + 1151605744826166915942125863827671246277050377513802934986258005830253)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_298 :
Polynomial.coeff recurrence5Scalar1Left 298 = (((2088779029269609461711951019545572344126906942859841436155806137 * 10 ^ 70 + 1379312852786196522909353332966231435958185704860484458138707048624495) * 10 ^ 70 + 1593422196368183821976972021482565241431183750173835721434740094982840) * 10 ^ 70 + 1117587860213620879215729240897968743564642694799016564952784096729663) * 10 ^ 70 + 286433746029776402099314541471069414203229102214799035873979012705838
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_299 :
Polynomial.coeff recurrence5Scalar1Left 299 = -((((1356506012992018127508370072403130830832716714475496657630524063 * 10 ^ 70 + 5187513412688201258613785678571792214543239260996689761881382785595645) * 10 ^ 70 + 7749773852773239898545290958256588025365038628915950700305741954548000) * 10 ^ 70 + 3514667574669825718216324387930229070839528873591069768186746533964358) * 10 ^ 70 + 3141480951526516014633277081171238643055293717224215072378700647860903)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_300 :
Polynomial.coeff recurrence5Scalar1Left 300 = (((756105846436141052096318465374375037968831609296794113118169938 * 10 ^ 70 + 4052718521356756633407466995020766503104501763330321908711971289150012) * 10 ^ 70 + 120095768069089743379355222552226899381918952697206297530336714758464) * 10 ^ 70 + 6791603050262656708317725390252069476664725886462434302510514900949156) * 10 ^ 70 + 8866448298562858043918799751554914762741546679081747136528559328257653
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_301 :
Polynomial.coeff recurrence5Scalar1Left 301 = -((((374229447558964487601648763172862485416294923565224038313948825 * 10 ^ 70 + 8576229160778652866383861897683480105047388946776839524625517185558865) * 10 ^ 70 + 3770674249945834419585971110735191628302693847732746188161031941365700) * 10 ^ 70 + 9706883934930009328463827753072962429077419163081981503617992254621114) * 10 ^ 70 + 8400493171933309898488568414739988006349233069659487651358524763663451)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_302 :
Polynomial.coeff recurrence5Scalar1Left 302 = (((165154596240348571418097508611731584288224095912272309263893706 * 10 ^ 70 + 3787691113181497881449958878612925473516586736267145707809484428230823) * 10 ^ 70 + 8899688580799652429492107980855449212954900784419004393866020864222886) * 10 ^ 70 + 1678285028871771495160265201645059035082845445805461129803778205361149) * 10 ^ 70 + 2131240936567144877442777040759613425781136120180745399502023605296272
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_303 :
Polynomial.coeff recurrence5Scalar1Left 303 = -((((63571530939634342551623887525909370161080842376411337133510479 * 10 ^ 70 + 4127179734169885749611388611082798303019888032513424832054831050724081) * 10 ^ 70 + 6141511422752438581531799698656408289361528640377066802219970800660813) * 10 ^ 70 + 9255335592527367065590567546618700481264336643327275736571964680372650) * 10 ^ 70 + 4468914557389508130257452871279836478508041299207795330445083900490883)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_304 :
Polynomial.coeff recurrence5Scalar1Left 304 = (((19726077273257070347658113864001185933343065742877262110752692 * 10 ^ 70 + 4315717688120930064991995306255445173474352264061734779943736818033899) * 10 ^ 70 + 2699627036875803332920931492398735527215998147524134349584369309652125) * 10 ^ 70 + 3706288988875639488279766231522376546828575026058576639172386221462691) * 10 ^ 70 + 6839477398340377563034588640872858204035369060427289996153546837742242
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_305 :
Polynomial.coeff recurrence5Scalar1Left 305 = -((((3381585579480406033487393224733970341185179962310727944958076 * 10 ^ 70 + 3552637649835147187303705253431891662004760021902435263932812161766342) * 10 ^ 70 + 9608317936875057966292399056605236227951260367902786943779359275586067) * 10 ^ 70 + 9769518035177489639994012551278992489839315878240082825741810153556753) * 10 ^ 70 + 1713341353977503047600114072039887797980344967190538192648133161149745)