Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1LeftPart1.Coefficients220To245

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.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_220 :
Polynomial.coeff recurrence4Scalar1Left 220 = (((22665165613312500531640290 * 10 ^ 70 + 7452893137472705705030300492664312689798351073091117860888714660016427) * 10 ^ 70 + 2749651842766103644694349523468106527893821512121115637691039919641505) * 10 ^ 70 + 4295936933322228814745132548489414952292651405348022668382401474412299) * 10 ^ 70 + 419284408416981514873421402396516156053219573008428931263581240088402
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_221 :
Polynomial.coeff recurrence4Scalar1Left 221 = -((((34672673842289262721636449 * 10 ^ 70 + 292544470977788371719552443180174275903623430215594294035122732444020) * 10 ^ 70 + 4084960229358266682217778583440781234383012366075677906846939260347345) * 10 ^ 70 + 9199674844965606427163353935033057253886964382481590288978151634256420) * 10 ^ 70 + 5715868559701875770778795245374794911342424718109457085645519725359770)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_222 :
Polynomial.coeff recurrence4Scalar1Left 222 = (((52281889225162533322107181 * 10 ^ 70 + 1271765626178948416587147704991530700591663404512220683262542935236595) * 10 ^ 70 + 9740316414767108584239866627102477910935688397285682243607291540332132) * 10 ^ 70 + 3034644495780990685166949811371742632860493371551710451105211146392335) * 10 ^ 70 + 7724347502972492890627357921679285813699165152566550612646912723898910
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_223 :
Polynomial.coeff recurrence4Scalar1Left 223 = -((((77701471394438519022330296 * 10 ^ 70 + 9568070133251412116935743286714049174307213785315974892751041063825495) * 10 ^ 70 + 6123985748522948147758038507099875502141715955212039310639124225847208) * 10 ^ 70 + 3208435315655486209386968506221609602471753687017091272948212588770450) * 10 ^ 70 + 2493453206560877532126728563880748918305166258009838929249177191499002)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_224 :
Polynomial.coeff recurrence4Scalar1Left 224 = (((113814408323352876220922275 * 10 ^ 70 + 1426815712408759138377827873466865816468137668254805960627499583711597) * 10 ^ 70 + 8477938135978653260495543164112605836166850598694213739785230317506642) * 10 ^ 70 + 6140578594475549809298910020810762154696153952773909394696925368406945) * 10 ^ 70 + 8770907485576819916601017963908247177804901086105896755863375087934426
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_225 :
Polynomial.coeff recurrence4Scalar1Left 225 = -((((164296565878985349334917833 * 10 ^ 70 + 2140824760232090463885041957832657006930192164748815904953313221651779) * 10 ^ 70 + 4266774218216044649352031667947753913890183354514458421238300526759965) * 10 ^ 70 + 6513181077299351346375269060735210290283962440196655043486012548609291) * 10 ^ 70 + 9133019611988046161991922700860628886216649732844393855409198638586180)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_226 :
Polynomial.coeff recurrence4Scalar1Left 226 = (((233718493325319791910666174 * 10 ^ 70 + 5945835181686849177377279636956946990991179417881231905870620519731668) * 10 ^ 70 + 606039673642295825949429171581176167394162271926464648398113925411458) * 10 ^ 70 + 5633962713857016616891185551017533626613808480417041611675323094616087) * 10 ^ 70 + 2225249865279834595040061601059933385735899094453384318802621968940801
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_227 :
Polynomial.coeff recurrence4Scalar1Left 227 = -((((327610405988392242444207521 * 10 ^ 70 + 7282034802839993568628925596208934704501713830007168392852068195891185) * 10 ^ 70 + 2318239453057531789536047310596772563872791489614418506658113749905351) * 10 ^ 70 + 5048507420134853326400060312399188991592818644619588742385314600036458) * 10 ^ 70 + 76609386830602767579625689447244776795058064678513141554122719593980)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_228 :
Polynomial.coeff recurrence4Scalar1Left 228 = (((452465143319850015249378481 * 10 ^ 70 + 1944804039275560197445790167932946495119975287194243085419824794084904) * 10 ^ 70 + 3818027068067285643482073895645243108451140641674871192115867621272184) * 10 ^ 70 + 5946716250845643599463767067139486300857969923067054297291790921220879) * 10 ^ 70 + 8168051624574349468327016200888422777923127206140917591535066390900697
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_229 :
Polynomial.coeff recurrence4Scalar1Left 229 = -((((615649988072041095160893519 * 10 ^ 70 + 2298630553434790607307188609055687054174364539608985663537758665003688) * 10 ^ 70 + 2636857320557259679819669748498019428021689516055019772532359022853594) * 10 ^ 70 + 7059611795744013689400312106468501576963371937327646161901996287036169) * 10 ^ 70 + 4985635854491821149979834949860106287013805121560632275244637498204405)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_230 :
Polynomial.coeff recurrence4Scalar1Left 230 = (((825196745919642999623075881 * 10 ^ 70 + 3622712122492337005322415548214009177237060910987226974768010754193223) * 10 ^ 70 + 7870877362313045958395373375388294614902018774829276524950666499405966) * 10 ^ 70 + 673247916042413998132737632215297800984039009077285221769523733366735) * 10 ^ 70 + 6218620317648894172314366458754396769362470045575871432804790624214646
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_231 :
Polynomial.coeff recurrence4Scalar1Left 231 = -((((1089441779005643657583358826 * 10 ^ 70 + 4791490667458665178365563803432162027387291456716802537664483385236473) * 10 ^ 70 + 9437190983624843721745081277190642737981659968759458513553385342833932) * 10 ^ 70 + 1739909317478174054622858887692977600484535929698514128068955116156977) * 10 ^ 70 + 7460228135682486322462346320352789544867571004229977179282610002290214)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_232 :
Polynomial.coeff recurrence4Scalar1Left 232 = (((1416495056742011769223485138 * 10 ^ 70 + 811047386059668752435434114676612870517059339695882496434796754507172) * 10 ^ 70 + 8244555470245424829364361229243697390226235293387018654236283614587332) * 10 ^ 70 + 5655932123268509964372857877536406816686977132172813720789809809453903) * 10 ^ 70 + 8969279911757291242196029038082346847771333368987671847780090177737935
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_233 :
Polynomial.coeff recurrence4Scalar1Left 233 = -((((1813530693773275660649375296 * 10 ^ 70 + 5110132482015974360656063900846990348037129786511075188565234227889600) * 10 ^ 70 + 4254443303718444922175179396056084089374750233522082813308775748199991) * 10 ^ 70 + 364576553552449457139534147684884025814456955355484044323572632456251) * 10 ^ 70 + 277257974777517926502570306440344159731336868887886850078091613429242)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_234 :
Polynomial.coeff recurrence4Scalar1Left 234 = (((2285911190137228061560453745 * 10 ^ 70 + 8265005363448339152013600763037790627007685517101197986237908187836319) * 10 ^ 70 + 2684112026651209276729042845179916994357099184075144312595184067389498) * 10 ^ 70 + 743503754252896237405020683298572491508830730147741557878206432889770) * 10 ^ 70 + 5256180989873979480405692234220104230138399500137260228522626899209503
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_235 :
Polynomial.coeff recurrence4Scalar1Left 235 = -((((2836182990614060718226541039 * 10 ^ 70 + 7441530584930820177296184435022248240580792606189885936942699827113105) * 10 ^ 70 + 1416899202128441541190283923628848988722700561844034491705582412104584) * 10 ^ 70 + 5750439070525419995029140567795726329917443518100951280567114520005418) * 10 ^ 70 + 3354365920775600609542510041663303027840905476631360656423417120983101)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_236 :
Polynomial.coeff recurrence4Scalar1Left 236 = (((3463010121751328725429549920 * 10 ^ 70 + 1046175160846593467461122025550807035324074124011990870469329429172944) * 10 ^ 70 + 4612709475438698367077539513594959589480319788557090687240867376433051) * 10 ^ 70 + 6337616966173220089849486174145464753242855955374311202692966310564717) * 10 ^ 70 + 4639219422009474789049924351127536417992213492645028948080614295882148
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_237 :
Polynomial.coeff recurrence4Scalar1Left 237 = -((((4160142296704420700436302216 * 10 ^ 70 + 1049020991258936056306691772672880285640667476491314985941790237609623) * 10 ^ 70 + 7063604877620116762031030731760773886418298427398887045861589851202290) * 10 ^ 70 + 7726828345997819202117563385934668096919744848625477681905775278932643) * 10 ^ 70 + 152959130266612848187336191664731610641344363362927689265779629536192)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_238 :
Polynomial.coeff recurrence4Scalar1Left 238 = (((4915539556003682748898280443 * 10 ^ 70 + 3382822868322110011194509250435099926959735044099523689496683152486001) * 10 ^ 70 + 813847558372354287251708586465451996683705134246825534808167575735999) * 10 ^ 70 + 8602635088732793385448644421716537871121395007754055140862609175713830) * 10 ^ 70 + 4452595489129709267680652467351833321969487699326601595489531624114623
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_239 :
Polynomial.coeff recurrence4Scalar1Left 239 = -((((5710792023110972301926956388 * 10 ^ 70 + 4190955707126695088400525328718611727643687882009627006189551468596270) * 10 ^ 70 + 5598145003418292580422325890405943187617620960165784442309610020474170) * 10 ^ 70 + 5722697261459094071616169338636434828122989640717274043898601039008565) * 10 ^ 70 + 2458868301073747629683082675231499218782747582918329758534948906415621)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_240 :
Polynomial.coeff recurrence4Scalar1Left 240 = (((6520975431002850371197773121 * 10 ^ 70 + 5152466622145623911680743215769139851694501373813905910151603520911131) * 10 ^ 70 + 9709816968725286353892455442166405156940002101117144097977005492782279) * 10 ^ 70 + 376012413736225465085331780206415773425493639332432018644122772390240) * 10 ^ 70 + 8208668653351851719418204506351840497121418487248055446246084842950181
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_241 :
Polynomial.coeff recurrence4Scalar1Left 241 = -((((7315066350757307238836761801 * 10 ^ 70 + 9520432064651420990216227187877301256750126444690806369060045987295272) * 10 ^ 70 + 804578034463668561109427654360839384641113531075458495948576443108081) * 10 ^ 70 + 5609589461263355097736630664851348805158420920362049395846324097424424) * 10 ^ 70 + 9307878859623156869202621793775566323723227638915220588123965625635385)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_242 :
Polynomial.coeff recurrence4Scalar1Left 242 = (((8057003103471475965886868913 * 10 ^ 70 + 5976437449778574804965896832893105661807611207013135660918024977041750) * 10 ^ 70 + 8862218096582763430660778137786944762309749226190347944273931419695444) * 10 ^ 70 + 7244607120744610674270789849492517473526525358979771965198332893662140) * 10 ^ 70 + 8296088544129503045680165608816047057671049623106476743151163457036817
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_243 :
Polynomial.coeff recurrence4Scalar1Left 243 = -((((8707419647379254952476228598 * 10 ^ 70 + 6055176852181496251306803225538808550778042528877593429682292652015620) * 10 ^ 70 + 8565790765322754625370951729703861087558191391327138248189766133225712) * 10 ^ 70 + 6769272430941415414630843943964480020377177816421182293301162059134687) * 10 ^ 70 + 1222155995763456327056500739622438091419207128530133057694182480853522)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_244 :
Polynomial.coeff recurrence4Scalar1Left 244 = (((9226004334886739480551615663 * 10 ^ 70 + 2591422393211508703151598977691016586349618323731918226312267463592628) * 10 ^ 70 + 1853079963547392562685114654348064849306825465027512111744280087643247) * 10 ^ 70 + 3388121557085089083281946671391066671359057759095161716271414646870815) * 10 ^ 70 + 3179740275310278145024770375412330167354117666193074058059273419833055
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Left_coeff_245 :
Polynomial.coeff recurrence4Scalar1Left 245 = -((((9574351018572074293520434948 * 10 ^ 70 + 9009594936515919696745964565798199974258571250809430544371686079968999) * 10 ^ 70 + 5412020340300650703865976418134874651261816738442010849879964824274492) * 10 ^ 70 + 9651677467128303060612201502296738850118156095437807093713594148977516) * 10 ^ 70 + 5777458722668769561936724491846409679732588808865015042011337694587941)