Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar2LeftPart0.Coefficients188To231

Recurrence 2 lookup certificate: Scalar2Left coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_188 :
Polynomial.coeff recurrence2Scalar2Left 188 = (421030363238423056520192766554587130075214632351462289436165 * 10 ^ 70 + 3252336589113933178534256770894235383545425071783490326542758947612865) * 10 ^ 70 + 4464704038359863552483044490608657127489109626387100262207040159807937
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_189 :
Polynomial.coeff recurrence2Scalar2Left 189 = -((1083885563763864598375234377965080853781755834477934988463523 * 10 ^ 70 + 607795464334666032977121235600631847078456401629412080305723889829822) * 10 ^ 70 + 8496964838063060046155275188911343594258930734768161006839600324298114)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_190 :
Polynomial.coeff recurrence2Scalar2Left 190 = (1252633719980669760282330992626439267973457824210331589009407 * 10 ^ 70 + 9183803746016012636798607474497736423893836898083973541799023665862092) * 10 ^ 70 + 4085560973121810034592439586991416358290147666083009072846982764304621
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_191 :
Polynomial.coeff recurrence2Scalar2Left 191 = (2601359834960894035565276555476515713928468358675834409047427 * 10 ^ 70 + 912369717462264701881298476524930071490299840989902997421260742042486) * 10 ^ 70 + 1396660965184017312185788367385850922773114722874570944561204355921429
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_192 :
Polynomial.coeff recurrence2Scalar2Left 192 = -((18565411944268601602757903882721704691645909496456403508194554 * 10 ^ 70 + 7029842426191404646154640810219934730523186722618274507735069787277171) * 10 ^ 70 + 255409033483849698554838097056974699785633379180246673222157191896075)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_193 :
Polynomial.coeff recurrence2Scalar2Left 193 = (54803225669087922040438778697769503315782611918062783560595364 * 10 ^ 70 + 3672748000505227634071078213156588378272291956164150642249760481043809) * 10 ^ 70 + 3093042402627709093826712071502696597563199568362565133607893531911169
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_194 :
Polynomial.coeff recurrence2Scalar2Left 194 = -((91758650994382413851970728638935845536679403059823944657171214 * 10 ^ 70 + 9276381712652122151778096129877185037154365715796827048690471455998436) * 10 ^ 70 + 905504311875110434361948474728718824044949416280000377009646691471503)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_195 :
Polynomial.coeff recurrence2Scalar2Left 195 = (5525790677238454404954722157159567056492259710539258405293571 * 10 ^ 70 + 3655214574417118595125703496243916964450194370353736022879380004794086) * 10 ^ 70 + 9001319457885028494744294196954852083165543443011020756982519175167692
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_196 :
Polynomial.coeff recurrence2Scalar2Left 196 = (555223852264301364903366439794694036554139875814762701280009940 * 10 ^ 70 + 4189079727197329649556086258229034427462888952001871340526534345113925) * 10 ^ 70 + 5985601275870217378544942263814877040604958969319552696903916477212285
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_197 :
Polynomial.coeff recurrence2Scalar2Left 197 = -((2190703120644147327005902276367318511211619171711784373130009419 * 10 ^ 70 + 1084706068080730338802814599578107613514998536441552796655608014746940) * 10 ^ 70 + 1139725463195743361239588309799940816180074710837686891310215803800883)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_198 :
Polynomial.coeff recurrence2Scalar2Left 198 = (5147414691307532885617922078426242099062724227779087816724451415 * 10 ^ 70 + 1824165698063501543665824334107584493533639503840346080899079572952809) * 10 ^ 70 + 8255684892000541539411475848970235749283790333437522144725477722690272
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_199 :
Polynomial.coeff recurrence2Scalar2Left 199 = -((6977458782192972728347503368990829768525319310899229194171085701 * 10 ^ 70 + 3093992032618176580401779965233023349768315440384430392490151726213715) * 10 ^ 70 + 4331034304070320296242938360359136187180405299375435910018728861032)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_200 :
Polynomial.coeff recurrence2Scalar2Left 200 = -((2898628754885016642366911644393164045361804908815472606616914466 * 10 ^ 70 + 9333306191651858923502105143973446795583743250286049723736635345623139) * 10 ^ 70 + 8299497426278274509847283301530331225383833339743889900347668020367114)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_201 :
Polynomial.coeff recurrence2Scalar2Left 201 = (51097924131711445566949807537771669114589844091892564356373501690 * 10 ^ 70 + 7639931140607431079286532637206057613448252191262189591865691511214301) * 10 ^ 70 + 1627249296618010979074810161436551059989126642451362400675546910197214
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_202 :
Polynomial.coeff recurrence2Scalar2Left 202 = -((181893344063331811699880536232615189068416232145608203570697630694 * 10 ^ 70 + 4225267478677348250149395991531704279282896284517683076429396798153508) * 10 ^ 70 + 9877711193562876880708004974832070491405835156499060947844504032438491)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_203 :
Polynomial.coeff recurrence2Scalar2Left 203 = (424347077915538285935850384989397233318104177014299054011287457008 * 10 ^ 70 + 5241225705704989874477378070010474861603931732783636655721965331951454) * 10 ^ 70 + 5289556280152740168946546608304436597758715060399983997279476259180624
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_204 :
Polynomial.coeff recurrence2Scalar2Left 204 = -((664836516616577662539826691871877725678431141413549322303663689132 * 10 ^ 70 + 4872788137811815211323855666741719723617796861786479109243650144990948) * 10 ^ 70 + 6741170340160894563321140678269322821172579746630284712241946777856019)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_205 :
Polynomial.coeff recurrence2Scalar2Left 205 = (337058128217924885483721210535085278605579275973561891670636686458 * 10 ^ 70 + 6748966092163764056585803742042999066970477435740621861671843369449295) * 10 ^ 70 + 914972162086598680351608900068586983119203309993430140606713030258304
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_206 :
Polynomial.coeff recurrence2Scalar2Left 206 = (2123026234303927352759508653358507312339641692086479590622682059716 * 10 ^ 70 + 7252284687900474265226622904871235083359058766150961101094792723028692) * 10 ^ 70 + 9178642701279145111519057365624721292380657810585844858924677415289679
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_207 :
Polynomial.coeff recurrence2Scalar2Left 207 = -((9880428880730925352224428025641010855720819890663902187132057599150 * 10 ^ 70 + 9737932061298658270702993144173916294219159825872314436681553266589996) * 10 ^ 70 + 6547280319240407013157223210583774371444225585399036111088030602598347)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_208 :
Polynomial.coeff recurrence2Scalar2Left 208 = (27548941658919795484766992188427575301666706950703536690146211983882 * 10 ^ 70 + 219554465359382437827663410826480135232652425432663985252844385942554) * 10 ^ 70 + 9758481943720287173346533205095710888464398062384291529834912932941646
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_209 :
Polynomial.coeff recurrence2Scalar2Left 209 = -((58185458826324368548684690022676179426246195393216481564254682796439 * 10 ^ 70 + 2445092393480140947535470708664679906204102083633846702271472932553003) * 10 ^ 70 + 9145905999929403295080189627410438670069203243684131824987236482782023)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_210 :
Polynomial.coeff recurrence2Scalar2Left 210 = (93317754522990359827336921298257567556509715644826790414777144571300 * 10 ^ 70 + 5905582248193069066254876908370778364451249069582063111857812468661932) * 10 ^ 70 + 5184423491520223100029498725754508706057383380467122366351191552592315
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_211 :
Polynomial.coeff recurrence2Scalar2Left 211 = -((89577553968500354540542648532051162340485477460567016580643834442868 * 10 ^ 70 + 9008845118519311126245783018595934967004538124307742206002500424030901) * 10 ^ 70 + 4993243673199038397317339737698165380581140710369275259462330310671605)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_212 :
Polynomial.coeff recurrence2Scalar2Left 212 = -((75680435902013736665091813891405743322492613329469526763296446921286 * 10 ^ 70 + 6280804131415209854593015131249726255848162934472634535976868775275470) * 10 ^ 70 + 2169505215809405998973835158882807311761804701661997271718899707921826)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_213 :
Polynomial.coeff recurrence2Scalar2Left 213 = (674658514920351674603570582190202736369572719333852803284244806914765 * 10 ^ 70 + 748007253941055308676529695948894754369350438972773221103141864732895) * 10 ^ 70 + 829224957242025209218160903583397355519995267351807564577383131438848
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_214 :
Polynomial.coeff recurrence2Scalar2Left 214 = -((2219484412401583801548039240585648538114220600666675715670142799737767 * 10 ^ 70 + 5951408759551591304044135941408110712837120699181812319229394237057111) * 10 ^ 70 + 7495947863957759651896867727579486174311366030309274251547388682828098)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_215 :
Polynomial.coeff recurrence2Scalar2Left 215 = (5544153222839494110779847547238510453570504485546778664485365471092768 * 10 ^ 70 + 5769485380367959919477405679939664244659967190258822204156728619790501) * 10 ^ 70 + 6381692072320374966068697199139707102548175650967223192880259400470503
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_216 :
Polynomial.coeff recurrence2Scalar2Left 216 = -(((1 * 10 ^ 70 + 1813433047461844345429590447525820415437303437648850493341557390211774) * 10 ^ 70 + 6304343126335043588830865014701541325694260179418385254163115696640400) * 10 ^ 70 + 9771455655184633610355447222439899039856980996228960737062765654429133)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_217 :
Polynomial.coeff recurrence2Scalar2Left 217 = ((2 * 10 ^ 70 + 2349787457950717034463068690129776166927252868566710539515794452372571) * 10 ^ 70 + 9185986724217578727322635949313192075368235070883977942005902484542574) * 10 ^ 70 + 7695964684617997685165492725262476603942524322634556695784353976610500
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_218 :
Polynomial.coeff recurrence2Scalar2Left 218 = -(((3 * 10 ^ 70 + 8132148053144114184338998574873997876645038397903163077210819643025267) * 10 ^ 70 + 2431601317354125537830958570724702715828408286199127646942373912707792) * 10 ^ 70 + 7233076385368719210160207626281684025547723549481272676784281695506994)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_219 :
Polynomial.coeff recurrence2Scalar2Left 219 = ((5 * 10 ^ 70 + 8816788731533780724059542519638842055462297758077176282490268859533820) * 10 ^ 70 + 3063431750151011732976268803381044847347782537947715416184660893295184) * 10 ^ 70 + 8013475818000339241673434186874998239353329319173229816957094818166868
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_220 :
Polynomial.coeff recurrence2Scalar2Left 220 = -(((8 * 10 ^ 70 + 1193487211467436167892974827175864821793390723275529097643689603268056) * 10 ^ 70 + 8083050718727734824361076850325298883613948307496826917680094753300368) * 10 ^ 70 + 3571088798756508511626872865198417512081416395825466977108498576871936)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_221 :
Polynomial.coeff recurrence2Scalar2Left 221 = ((9 * 10 ^ 70 + 7146392363197202901798795312178158680069723127317269798229709720827526) * 10 ^ 70 + 5392399240473155185022757894079617205895723089141339904520262870759031) * 10 ^ 70 + 8116115690294654146434725873883981170690054135649325039749425969331581
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_222 :
Polynomial.coeff recurrence2Scalar2Left 222 = -(((9 * 10 ^ 70 + 1440495936954417433500209057878506081500468122815741422949972709329131) * 10 ^ 70 + 5368965657798752546847919531907149756953641192733170892892923646258868) * 10 ^ 70 + 9351191611495873069658549931951742184520291300283990262815813298330403)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_223 :
Polynomial.coeff recurrence2Scalar2Left 223 = ((3 * 10 ^ 70 + 9959519264575106695104627166764902079509556938081873591121605554559305) * 10 ^ 70 + 83135856002072709115725120575919293396119741043152278619173550263506) * 10 ^ 70 + 9346391540391387368002843343955010426543623460777776849082282089894330
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_224 :
Polynomial.coeff recurrence2Scalar2Left 224 = ((9 * 10 ^ 70 + 714975477356887676301424866210539949165338696757803024349190918210703) * 10 ^ 70 + 8141326805205784452046367268289626643634047150331756524233648646458763) * 10 ^ 70 + 8933589773963504325543711425401873361466204948028125704225489673325111
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_225 :
Polynomial.coeff recurrence2Scalar2Left 225 = -(((34 * 10 ^ 70 + 1404758193184122363254194868322103523138077312905664856451756177769133) * 10 ^ 70 + 5893994791258703532682216093064232966421259364747818550319502148773052) * 10 ^ 70 + 9808907804474107581427647511177582605596517829428541002423287501938282)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_226 :
Polynomial.coeff recurrence2Scalar2Left 226 = ((75 * 10 ^ 70 + 5359525086699658238091660860526474009143055872600690683618061936821164) * 10 ^ 70 + 9340529105506086023403274820876897164592819022668221303005946721710904) * 10 ^ 70 + 1688575036073648728011219956688561820063620639898568803214374080801730
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_227 :
Polynomial.coeff recurrence2Scalar2Left 227 = -(((137 * 10 ^ 70 + 54856523478242766962984994213619199854564434244658511595967586903225) * 10 ^ 70 + 2373338681436806791425410668107611302183580389991873500461532387102947) * 10 ^ 70 + 7764959255949313348497794493769075835216904872154330376410499128962355)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_228 :
Polynomial.coeff recurrence2Scalar2Left 228 = ((220 * 10 ^ 70 + 6558149713177888917574086087838209471504703065755017311278155347966816) * 10 ^ 70 + 3105805968034382444311487042498758325384617491707763563980329329410990) * 10 ^ 70 + 9259059706923259646248970649675133279394602050094776157919928471318615
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_229 :
Polynomial.coeff recurrence2Scalar2Left 229 = -(((325 * 10 ^ 70 + 8336557734872387748048529270929643139291011300824764628506962460781970) * 10 ^ 70 + 8274087161481791830378859741712472435689839782664735760602701693031514) * 10 ^ 70 + 1545166593298915405726925213652467253145347716184060445813693567540816)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_230 :
Polynomial.coeff recurrence2Scalar2Left 230 = ((448 * 10 ^ 70 + 2258979594480589882697408762263130972355202942165778514417091762125736) * 10 ^ 70 + 1775995259363731892457704629139618245711157101277645307252622052659651) * 10 ^ 70 + 7895909202865186133151505820118216994731000171440836630702088905286381
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_231 :
Polynomial.coeff recurrence2Scalar2Left 231 = -(((579 * 10 ^ 70 + 4841353490530810299539581995174919776368324860825032974829508888922945) * 10 ^ 70 + 9004830771817012263715626872867342532532697222496150211957025956460230) * 10 ^ 70 + 7636256573674859858211448965556909893530682378817556084778798397248716)