Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1SecondPart0.Coefficients112To141

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.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_112 :
Polynomial.coeff recurrence4Scalar1Second 112 = ((3053913863869695780533301742459293551 * 10 ^ 70 + 6362320360236522073517648246906724740061586375501231820435395661329562) * 10 ^ 70 + 5767427246942581922207658510161349700213120752382122672801160045539335) * 10 ^ 70 + 6406371224814752830925063069893175141423564884212517357509600656991011
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_113 :
Polynomial.coeff recurrence4Scalar1Second 113 = -(((28227078666715740325282157394305612632 * 10 ^ 70 + 4815213268969093545160620418422792948318460879761305777307873216924611) * 10 ^ 70 + 3414955965588754814871412131297135804671250968141514278894658193742693) * 10 ^ 70 + 1763974442481340157273732526740156946441091355534178290869832426845995)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_114 :
Polynomial.coeff recurrence4Scalar1Second 114 = ((254550111858951214022539538208232628250 * 10 ^ 70 + 3871886107624015318447698971975288269403781971701014184741017646078328) * 10 ^ 70 + 6499084410384084135468195490591853016523505693000373465456424903203270) * 10 ^ 70 + 2413255932199404826563502123568616039215881229919141575420330038204289
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_115 :
Polynomial.coeff recurrence4Scalar1Second 115 = -(((2240567754952038080530204224761466155885 * 10 ^ 70 + 7626460574618506606370414227621747158964946233918157726215147385909961) * 10 ^ 70 + 7897991592057331350590262710632572731692795805643934117479695285929410) * 10 ^ 70 + 106009795845322100310382080834815214412405581450205642631182568757246)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_116 :
Polynomial.coeff recurrence4Scalar1Second 116 = ((19256983644691710176536133210929193679001 * 10 ^ 70 + 5050381570912709100591714513831864817501733841217854179814008187856984) * 10 ^ 70 + 9785295030600254038883171679769479107189754836528106137467954099386127) * 10 ^ 70 + 1301773172213354010620605074398718370921800206111616297418014683626741
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_117 :
Polynomial.coeff recurrence4Scalar1Second 117 = -(((161667187021924945604917362836369592623930 * 10 ^ 70 + 3367452493220866559344205537031999091896499207379228696047641212324104) * 10 ^ 70 + 3034409599698048472374867507799574734420963384838384029793829634483178) * 10 ^ 70 + 420111515579507079302996085258809808021382550867865031883836376757870)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_118 :
Polynomial.coeff recurrence4Scalar1Second 118 = ((1326197499806119769127357729604034622197608 * 10 ^ 70 + 1336699211994961238534418882504645967317545647114907709636288034517814) * 10 ^ 70 + 5415211167573931126556918409071711140375027977822452891599148567925473) * 10 ^ 70 + 4411138075185466627608869477993991124292024923221236039151414433393711
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_119 :
Polynomial.coeff recurrence4Scalar1Second 119 = -(((10633803928696759386183710193410799549325483 * 10 ^ 70 + 832560538789902325261955326921726950553403260629023225162433219903799) * 10 ^ 70 + 8865208128911884453655606210285190817330794226524551918305262276997765) * 10 ^ 70 + 661931034231266376393980426734866533476840655470306408751800283296518)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_120 :
Polynomial.coeff recurrence4Scalar1Second 120 = ((83367653818177664848850492352217473908132031 * 10 ^ 70 + 1577835549418719209629200653503486244977362533981608499377528199152580) * 10 ^ 70 + 1484085353975675071237438812636213179638308642216933423428589304515527) * 10 ^ 70 + 8196586275288524230430206869333820858901383510910929327968263135603223
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_121 :
Polynomial.coeff recurrence4Scalar1Second 121 = -(((639238599602956729628795274440310430337840317 * 10 ^ 70 + 8216839338638162865405025931339214515824031152888895150844027823656243) * 10 ^ 70 + 2237061376490130720640992270339470269754741616436070185842479069636616) * 10 ^ 70 + 7958257635283354993841153342221266368782144002479458204289026536816021)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_122 :
Polynomial.coeff recurrence4Scalar1Second 122 = ((4795203928278954147262183445173572696921497188 * 10 ^ 70 + 5768509722744073023660703083630318768687877764147886226886864461751686) * 10 ^ 70 + 7421874835127762231679045601872801882347084884175972615045817521832279) * 10 ^ 70 + 2304726555203428307631477741293439688657509978332998802416676114356018
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_123 :
Polynomial.coeff recurrence4Scalar1Second 123 = -(((35200331152079836868697736248586729619467322782 * 10 ^ 70 + 768434597467226662767652372378184482975595689144116964945925844112387) * 10 ^ 70 + 6943727304827322570666384558664149212657195790819495744648278100406559) * 10 ^ 70 + 5925608533444216994521444152960227832276970093179066908770104748016200)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_124 :
Polynomial.coeff recurrence4Scalar1Second 124 = ((252926321978995265482443024998607586769403903746 * 10 ^ 70 + 6642316413117445729442044013384624588073721564428720566202475477318396) * 10 ^ 70 + 803220041261708059792024862667911894920622715936525924337094305855298) * 10 ^ 70 + 181577292420476990789530966329125770296158296756561290970687695726989
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_125 :
Polynomial.coeff recurrence4Scalar1Second 125 = -(((1779329845018888325672174430892569151527115744855 * 10 ^ 70 + 5481249183865662937614193969429630073928606690387951101793345709142049) * 10 ^ 70 + 3017544963179388996497161779421374581422164172476955267605431350241526) * 10 ^ 70 + 5432752625211917621860900330391212995250436397045003262268740743141290)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_126 :
Polynomial.coeff recurrence4Scalar1Second 126 = ((12258502948038236458515362255942418937075495023061 * 10 ^ 70 + 8448412485258679371459642220251863685306271868836976806622824612195005) * 10 ^ 70 + 5895276869931187072315599641282280773562752339100937378887857984853582) * 10 ^ 70 + 8801738907813398156526727729840960153479829855718572993828568340043258
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_127 :
Polynomial.coeff recurrence4Scalar1Second 127 = -(((82724939300581406161016791985114751564515832836111 * 10 ^ 70 + 3486304903244483664369665752357459020061732481632492305445018937247327) * 10 ^ 70 + 3526545890844700950497021895470973807019801884639414182979392676569) * 10 ^ 70 + 969229969723914716945573896491363189604385567725235331803853914119672)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_128 :
Polynomial.coeff recurrence4Scalar1Second 128 = ((546952261910770047140959531861254889194699776133671 * 10 ^ 70 + 5789612925213611718461691610553630322429044607140096900209229260414263) * 10 ^ 70 + 2830516819986684658919825994688083759486620900308670731849131390765886) * 10 ^ 70 + 8570805378597832318119945218867571161000234004122934114746270306383733
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_129 :
Polynomial.coeff recurrence4Scalar1Second 129 = -(((3543797026794601636665379509758595679116092508149394 * 10 ^ 70 + 4577220788532556981864714513594241208947382006678230650752574696466037) * 10 ^ 70 + 4587566080443904473805060332863012273864683578532501585121780593587591) * 10 ^ 70 + 2385972451901019482571060500759863260574322986784242424186470092495354)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_130 :
Polynomial.coeff recurrence4Scalar1Second 130 = ((22505259698497455255541112404598702814328656694408955 * 10 ^ 70 + 9861997308645325227382725840016718047237672935971558822273222493305255) * 10 ^ 70 + 6160820341206055183776387999756517726022097124722363619727233003405122) * 10 ^ 70 + 6554076431135622935580120444273080704001037199276574752540728547039507
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_131 :
Polynomial.coeff recurrence4Scalar1Second 131 = -(((140113927927626669860252464940699119161960952302314094 * 10 ^ 70 + 7537689984175880650776323502761845192313658281901147249087710445667204) * 10 ^ 70 + 2029668386398692814927814300831545200968403409203301622141501189985364) * 10 ^ 70 + 8290719155716812382184074207076094417107508637688274419258863798972865)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_132 :
Polynomial.coeff recurrence4Scalar1Second 132 = ((855350579441105737983437183013869880927897548014650711 * 10 ^ 70 + 7117403492654386473691930768077184800615142986539288179323463763770511) * 10 ^ 70 + 3968066585794160894595357388835747824277285550231013576682214730165758) * 10 ^ 70 + 4072344991723383524946845313739809264190171435640437860287546185026708
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_133 :
Polynomial.coeff recurrence4Scalar1Second 133 = -(((5120983175099577898591884686892383485332061619443956475 * 10 ^ 70 + 3575494750570148547168573962120865557203638073387632655234233674825405) * 10 ^ 70 + 5423034006217534125462459112465257059437734833335170988944767498186376) * 10 ^ 70 + 5969282288472432975535536971526396198187861794535054746951391867568984)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_134 :
Polynomial.coeff recurrence4Scalar1Second 134 = ((30073717521251983423290048342347465192960142669190480691 * 10 ^ 70 + 8706463331132762355725343334012366634405057452947936839194147891220189) * 10 ^ 70 + 2731299069667266059364683801134753494028944821722794871032636223194833) * 10 ^ 70 + 7136092160794652471132114981238871075118985373763915926230955310962215
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_135 :
Polynomial.coeff recurrence4Scalar1Second 135 = -(((173269147847274985498674900539082658902213140158378257169 * 10 ^ 70 + 2722316604696702329360027537273385895778521126979333417876821508911416) * 10 ^ 70 + 3864322241096415914800292750977635545483451367361680492422297195811673) * 10 ^ 70 + 2982651290271253124038547427722752231085643634161305707681800550043222)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_136 :
Polynomial.coeff recurrence4Scalar1Second 136 = ((979555788057191682236578533737684748910809031960784251931 * 10 ^ 70 + 6353066825768230121819085029513422346731821336377117816571224883931217) * 10 ^ 70 + 5849562928854053465367371317009678142817626424547578812812110724633263) * 10 ^ 70 + 907983275375305021994954050551706807293792208828850822686176808989892
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_137 :
Polynomial.coeff recurrence4Scalar1Second 137 = -(((5434782302148314262868806856754992825130394514708444093037 * 10 ^ 70 + 5449460156523381780976797654458993589894796716814582443516807443840718) * 10 ^ 70 + 8669638843155557462346485975390949091456527921791542091239580169082692) * 10 ^ 70 + 6524100207519875424366762735695203761420642283775840475569295328337895)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_138 :
Polynomial.coeff recurrence4Scalar1Second 138 = ((29597107328330049992735034745197736977941112985715734893345 * 10 ^ 70 + 8593977804368707488408424383694808733582704919776750915228667572826602) * 10 ^ 70 + 3819428578886236994977998407561963596086550664495499290216127020883238) * 10 ^ 70 + 7666802450607143499372355535613832603092906156700360400797751618391351
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_139 :
Polynomial.coeff recurrence4Scalar1Second 139 = -(((158233184271057252351720998056846810117750874151215915382545 * 10 ^ 70 + 9348938805953600327987953051627545252856404977857653311335007138351842) * 10 ^ 70 + 1095312471385928130475407695982727029103912696043583984694164867239029) * 10 ^ 70 + 9413990473176165221502512151848197897462638540450112540020424162395980)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_140 :
Polynomial.coeff recurrence4Scalar1Second 140 = ((830600395337055060941975438809711759080639338934503124442175 * 10 ^ 70 + 6590547892055074117371492284571208337271339868262301245055401785262940) * 10 ^ 70 + 4581929646209959748231787308087247835711048784288457197174195499783340) * 10 ^ 70 + 3955979652232979987061286480082048904170087287006254412833800197156841
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_141 :
Polynomial.coeff recurrence4Scalar1Second 141 = -(((4281501974805879015355312710912584298474501973633068028105181 * 10 ^ 70 + 9923969282134383018080099129751721654349811771134995402628770568149571) * 10 ^ 70 + 9578545559309217951216945327908793791496695449316894345773245984932976) * 10 ^ 70 + 5970380656847148160542408899413743550550742361634462341760677582614287)