Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1LeftPart0.Coefficients0To66

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_0 :
Polynomial.coeff recurrence5Scalar1Left 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_1 :
Polynomial.coeff recurrence5Scalar1Left 1 = 3086656350854110639262994968440822964502465198252869400 * 10 ^ 70 + 1256197002532114134791933149230308636977887967923712646303834569342976
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_2 :
Polynomial.coeff recurrence5Scalar1Left 2 = -(2231432058547180651775018376380347644615932360421404559815 * 10 ^ 70 + 4572806371896164234453872203065479645008396183899811056279151032995840)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_3 :
Polynomial.coeff recurrence5Scalar1Left 3 = 56226046642816714291467602593912238639756799954535605680760154 * 10 ^ 70 + 2010611875264931475404412107366189979376498511586992787517315022520960
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_4 :
Polynomial.coeff recurrence5Scalar1Left 4 = -(177398503383366222079472448481089464751654353776993177184459769048 * 10 ^ 70 + 9364035060062293464993743776706080564012919859525807728606769600986528)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_5 :
Polynomial.coeff recurrence5Scalar1Left 5 = 522598617032198816837198956864330477339576430215271972647817712950758 * 10 ^ 70 + 6214276380771372444834608261239342303421889670240907326538931612133024
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_6 :
Polynomial.coeff recurrence5Scalar1Left 6 = -((164 * 10 ^ 70 + 9869148785711596280379624839141341144089391662828403288653157985671649) * 10 ^ 70 + 1695267691404052447130450266967776267797052579023896423237325148752384)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_7 :
Polynomial.coeff recurrence5Scalar1Left 7 = (404220 * 10 ^ 70 + 1332756302444433784401153427408693953726664647853064932520389957003322) * 10 ^ 70 + 4445929277051688511708896384930376753296993410310691785086131071208320
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_8 :
Polynomial.coeff recurrence5Scalar1Left 8 = -((680420248 * 10 ^ 70 + 9847045071045833247982195358548888112126322880702448606627290539836081) * 10 ^ 70 + 9278819695258064416229255756245874777819590019705730717912882097221472)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_9 :
Polynomial.coeff recurrence5Scalar1Left 9 = (801298927540 * 10 ^ 70 + 7626523167106104409037904208781104768932084822361743603095699980619253) * 10 ^ 70 + 7382427186439532708870853480529561188824066520451926871090964628948688
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_10 :
Polynomial.coeff recurrence5Scalar1Left 10 = -((648366306974043 * 10 ^ 70 + 8703368819998256890624965033060086522940018085451392825089449261667282) * 10 ^ 70 + 6292052646433454457555138385105251249139240476765044778154447606652352)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_11 :
Polynomial.coeff recurrence5Scalar1Left 11 = (315439532692324802 * 10 ^ 70 + 7022588695676748381957389714906215723536786025847420242511738598702657) * 10 ^ 70 + 1787259450267215270400509600039192421026665923046376613155023666927344
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_12 :
Polynomial.coeff recurrence5Scalar1Left 12 = -((13142851898173189295 * 10 ^ 70 + 8695787840030446294595516688823588660009063567584006769056294678828852) * 10 ^ 70 + 6514895865411585035396395275804508669806670884930338763814158783514336)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_13 :
Polynomial.coeff recurrence5Scalar1Left 13 = -((125007631942181449112618 * 10 ^ 70 + 4951773925484508674979831776494556100109047566532691846190297499456315) * 10 ^ 70 + 8572825514217574077698566517953915594487885207955269542070008041868544)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_14 :
Polynomial.coeff recurrence5Scalar1Left 14 = (116992015771392833169072028 * 10 ^ 70 + 7241368943771502850117680103847689117144770350372959444995390787850772) * 10 ^ 70 + 2193228857248542766336859141586283007513839176835419744818755098143456
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_15 :
Polynomial.coeff recurrence5Scalar1Left 15 = -((55933994577405339948749615200 * 10 ^ 70 + 3681154452072034208524362013172946036409126706262202617747880784512239) * 10 ^ 70 + 555637001533552910002858505027545311910420175771477405010543828356928)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_16 :
Polynomial.coeff recurrence5Scalar1Left 16 = (10097176407150087693107634721254 * 10 ^ 70 + 3255968420500565804936049671328017434885230679737602508361484540462670) * 10 ^ 70 + 6934529758363145599034614940508310658486263149813217470742450889870952
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_17 :
Polynomial.coeff recurrence5Scalar1Left 17 = (6060158383945784605098527057634460 * 10 ^ 70 + 3593730659215625579600973745560545868927759281403941319901213434770122) * 10 ^ 70 + 7679053777708916152829292525552247411967536141009985395809948094953176
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_18 :
Polynomial.coeff recurrence5Scalar1Left 18 = -((5777930950310907757299699031622168415 * 10 ^ 70 + 7770959792425274185870454079135980434463824424225464383593104206481609) * 10 ^ 70 + 3520503080780400021220887039484597559354335538974780504243716377172232)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_19 :
Polynomial.coeff recurrence5Scalar1Left 19 = (2200742154501721528817721526805573454830 * 10 ^ 70 + 5742526451861636619525499027664606973366239322038234051706674539962873) * 10 ^ 70 + 7027889097350344142257146299415952124463003705711648139344218927537728
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_20 :
Polynomial.coeff recurrence5Scalar1Left 20 = -((209890737033223752000988880179761537571133 * 10 ^ 70 + 5787274670495356607626775837521497168299599955251513513901385224552142) * 10 ^ 70 + 7096916534021898994805063029623638080558214174619096785799325032592928)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_21 :
Polynomial.coeff recurrence5Scalar1Left 21 = -((243751560287264830993631968869792153978510075 * 10 ^ 70 + 3593331025594787893893013614311589692385184886968163088612098361104539) * 10 ^ 70 + 2413253378153545806224471332875835186301461777202928664116226546961668)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_22 :
Polynomial.coeff recurrence5Scalar1Left 22 = (153865790827388751149729345777837338217924501373 * 10 ^ 70 + 6885245966352872872222163668539213467783026796731085229347969106986593) * 10 ^ 70 + 5044364002980416158644494672852186374863570089719990318803446128243734
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_23 :
Polynomial.coeff recurrence5Scalar1Left 23 = -((37458851330682832057334914941322028021877778506971 * 10 ^ 70 + 775442685279652579555568402016788398982059202952367872799713140641590) * 10 ^ 70 + 8787053427211428108611079524766789012539779029661712577557977029815022)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_24 :
Polynomial.coeff recurrence5Scalar1Left 24 = -((7013830521382793236429585842271608395014269845634754 * 10 ^ 70 + 6804137365557225358987264500414364738329811241369505125005876944310518) * 10 ^ 70 + 3142951483360757558187609947063111770639168415285459255668750993990658)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_25 :
Polynomial.coeff recurrence5Scalar1Left 25 = (11464252273295846993918568453864482606168766372086746930 * 10 ^ 70 + 8802824415821533483878282282184678514445765562532674779143022983958808) * 10 ^ 70 + 2587932036422598324448391395426730510661420569605538523203926034569442
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_26 :
Polynomial.coeff recurrence5Scalar1Left 26 = -((6450097424067330963253385240620665433283593997190882849164 * 10 ^ 70 + 2266161368247742993435252254370542012866574451904499870754548027494614) * 10 ^ 70 + 8893087041706834565648402578454935583093470767799488108883652229400210)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_27 :
Polynomial.coeff recurrence5Scalar1Left 27 = (2561230777771972916894640471801894113560933079035137049530620 * 10 ^ 70 + 6823260409202698819254038954051135160624812297486708725423818331338241) * 10 ^ 70 + 3574065278802589097556034296024151389134547288744005986392851989379173
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_28 :
Polynomial.coeff recurrence5Scalar1Left 28 = -((814101001460288237951948561082327537467271461308170506439667338 * 10 ^ 70 + 8090646152830859373347622423923945391691026631922141716425898190099659) * 10 ^ 70 + 2807925971445060429853399750142312006251159624580162484481781856092206)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_29 :
Polynomial.coeff recurrence5Scalar1Left 29 = (217423448327115676420295645891858195471002088785997772408583029957 * 10 ^ 70 + 8190879721684326695875766973643624248558527016315014886508658597740257) * 10 ^ 70 + 3775560426016562138679433714198264545744550665094655975206928429185834
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_30 :
Polynomial.coeff recurrence5Scalar1Left 30 = -((49974567634561128519248430527132029038753655095712915462366900092521 * 10 ^ 70 + 7167824248325133002320532441839680474577686831639846824116467837372598) * 10 ^ 70 + 9814679934088664824739439270010453894481908561616037704640373937564098)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_31 :
Polynomial.coeff recurrence5Scalar1Left 31 = ((1 * 10 ^ 70 + 12680763840105287272573834295435619011747141763743769030185698320517) * 10 ^ 70 + 7953946674615130860742451908513543462803390668088477375011778795511774) * 10 ^ 70 + 6651530813680464951256967736130784012408140488923427158617328892961786
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_32 :
Polynomial.coeff recurrence5Scalar1Left 32 = -(((175 * 10 ^ 70 + 8871152883045459693415720912452141829056151400134525793372582195210246) * 10 ^ 70 + 7620742904740427902113771351583766377328808838333231301843900405492224) * 10 ^ 70 + 6440838293551530141161561678276270195175297509376121500586871120158768)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_33 :
Polynomial.coeff recurrence5Scalar1Left 33 = ((27080 * 10 ^ 70 + 9906994019229990299707444415298237530319575898315515201908821634970542) * 10 ^ 70 + 9418910300168166385157993857851376578724905656936073896232153236419215) * 10 ^ 70 + 1613923726624965474875370376133072596341840096614804551214327435475369
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_34 :
Polynomial.coeff recurrence5Scalar1Left 34 = -(((3624293 * 10 ^ 70 + 3512637490854399102653708145775268024698163161337997736202958964044960) * 10 ^ 70 + 5746835714543438847290772771404870012117483955036031416161346757800426) * 10 ^ 70 + 9208015058228288820988156670197777151693161517495966139316975996796523)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_35 :
Polynomial.coeff recurrence5Scalar1Left 35 = ((411803608 * 10 ^ 70 + 7941083126010360646771396492315630305810818225026053572575743392504235) * 10 ^ 70 + 1770422358917278775562211077394186022786428134024494908977254474181195) * 10 ^ 70 + 3948860904304828503902770645025903680675646589310896368220305725839589
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_36 :
Polynomial.coeff recurrence5Scalar1Left 36 = -(((37240526526 * 10 ^ 70 + 9307499906734662853653516935526306956979084595217560626295491246503665) * 10 ^ 70 + 4287667117491629930590237284777446461289610681282258244748939911134068) * 10 ^ 70 + 7278313122574127720425485678103260850274587272043455172762297485996831)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_37 :
Polynomial.coeff recurrence5Scalar1Left 37 = ((2077400191390 * 10 ^ 70 + 7745892643729211355036796836085345953294055292410599586018814138373900) * 10 ^ 70 + 6630580571503789981172565868249142985468818700890121548198836947926893) * 10 ^ 70 + 4746239112374010403681829876900688289971984755281908485365941141114265
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_38 :
Polynomial.coeff recurrence5Scalar1Left 38 = ((89095396350561 * 10 ^ 70 + 6400933788637738367435006723739726988397811334437842325857745340027855) * 10 ^ 70 + 106847636868667145854876092553525407366008793340114217807576168179852) * 10 ^ 70 + 5503882419134331605346408169440428888776794050061948153471920882576587
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_39 :
Polynomial.coeff recurrence5Scalar1Left 39 = -(((48422807070362751 * 10 ^ 70 + 6285105026334278428170773229310736997947210192803715432283029830664229) * 10 ^ 70 + 7178372485953641085334960829738661320823033605977008159771975249467425) * 10 ^ 70 + 6368401524094384646106031172491537630762302389988464661323391026462553)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_40 :
Polynomial.coeff recurrence5Scalar1Left 40 = ((9079592097551388175 * 10 ^ 70 + 5575286825462075559465787952013703510710109325371845880382623921190831) * 10 ^ 70 + 3261387298824586143018340563175158625283518677042993404386558177189260) * 10 ^ 70 + 6314941042081920904237053541637178231055521281945739935410344357362792
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_41 :
Polynomial.coeff recurrence5Scalar1Left 41 = -(((1275610319613009714845 * 10 ^ 70 + 9037916426601785627790819676814654337578837686320288106444107412201286) * 10 ^ 70 + 5173468021226458475829471415071851544574078192203625281416728692062767) * 10 ^ 70 + 5627105300563462214529630825994549851025083850821285306037678654652653)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_42 :
Polynomial.coeff recurrence5Scalar1Left 42 = ((151537692683724345236695 * 10 ^ 70 + 3908626424471224549070432187788210454114225589070626813040470313300398) * 10 ^ 70 + 5518352199821520171025061427542873649482081185204795981612947735277921) * 10 ^ 70 + 7659837852417828776611698013674700573412603468604697875268437177052918
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_43 :
Polynomial.coeff recurrence5Scalar1Left 43 = -(((15905984320385679504564443 * 10 ^ 70 + 2790668433807241962360867162139811398242864910735815085497864102499203) * 10 ^ 70 + 4206542683637633504293805257366583340593626709428863246457515671229903) * 10 ^ 70 + 835288746756149961430739382933593450686483907223824985598519222056045)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_44 :
Polynomial.coeff recurrence5Scalar1Left 44 = ((1507295796772873502297228436 * 10 ^ 70 + 3539988625293839655749310569595915394782954346922006762881182333119787) * 10 ^ 70 + 5589065585612818812471854923453077728905543322568379291426682284904585) * 10 ^ 70 + 693936742286487750437906925905900465037366599922590310136286907972004
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_45 :
Polynomial.coeff recurrence5Scalar1Left 45 = -(((130579932012277459826057839633 * 10 ^ 70 + 6311411404511829899620163275063637466305861565387740462993744397520447) * 10 ^ 70 + 6376208231973511335201682876370570667858242940332413072440835688251939) * 10 ^ 70 + 6201951339478482538170493759579784633886869604376693573454684873554534)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_46 :
Polynomial.coeff recurrence5Scalar1Left 46 = ((10426417536750729957986484246443 * 10 ^ 70 + 2472563048203265981441104029014683657200156621157707580298765053719443) * 10 ^ 70 + 5846517348611965077799646829145148636279541559278419501190252537071287) * 10 ^ 70 + 5560015032230537968090588428101581252238322315394211786804684183004054
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_47 :
Polynomial.coeff recurrence5Scalar1Left 47 = -(((771740235487316538295437404870427 * 10 ^ 70 + 8500773410535566110917445632046907395304491960827648584579502899375604) * 10 ^ 70 + 6566331615305310696955282242791658132853415770222938270239739142818319) * 10 ^ 70 + 5044650694547755143269892481589195117090205247665188005251786316955418)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_48 :
Polynomial.coeff recurrence5Scalar1Left 48 = ((53180630854232734466305339650749262 * 10 ^ 70 + 2766553064465758204952173786020337500004156187524171345434777611093119) * 10 ^ 70 + 4574605397161510003168218660400628696364582989391687367051136549816514) * 10 ^ 70 + 1255979558343348214685489877396812150870055005455574824838329389824966
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_49 :
Polynomial.coeff recurrence5Scalar1Left 49 = -(((3423310299913096352726922804873963522 * 10 ^ 70 + 4952628936204478732416522816489345638560589972039122217506911121239085) * 10 ^ 70 + 674133773177168578150961445690177415330971234723059723616824632165079) * 10 ^ 70 + 9694289913629300027937344490750679287943248328148832600589595509837987)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_50 :
Polynomial.coeff recurrence5Scalar1Left 50 = ((206413037977171015525011459885853044487 * 10 ^ 70 + 3106489353479561023747739243363961775967464611039866973767101266966756) * 10 ^ 70 + 7572198100774846977049900480480547916997462763083879788791364192564233) * 10 ^ 70 + 1768776245115290961732146628281012749364837044096333322601271606277837
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_51 :
Polynomial.coeff recurrence5Scalar1Left 51 = -(((11684642743384815814795202131478598138829 * 10 ^ 70 + 902388149926473845748025496569930790730255864540305950348527577124177) * 10 ^ 70 + 1387292965500889572670655061455587384194438664565143152644256286152644) * 10 ^ 70 + 1275246570918046866663052338453720473443787713709412771654966464268999)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_52 :
Polynomial.coeff recurrence5Scalar1Left 52 = ((622188777291412292626204630519553424151703 * 10 ^ 70 + 9904909737647295258900870585869579471291022586480139243025996325745962) * 10 ^ 70 + 8889078639550214181051306942462296379180184553294518018305007302571760) * 10 ^ 70 + 8550317925730167230750154556966867290173002307294261458441141047945403
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_53 :
Polynomial.coeff recurrence5Scalar1Left 53 = -(((31216394192859459034003366084053892227469998 * 10 ^ 70 + 2717606603236070017434681032296724498689972168450719989756138811883774) * 10 ^ 70 + 1159000851665913451826133347889320826047019208961149611168583870746591) * 10 ^ 70 + 934453425274423270103667249833535912863235493330890448530114718998790)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_54 :
Polynomial.coeff recurrence5Scalar1Left 54 = ((1477845697386880136028096817797247290072105603 * 10 ^ 70 + 9272590058880760711980626833405159205419847289516266049285176999544023) * 10 ^ 70 + 6381920187821892915490982757990801543955569799085627963960798996727761) * 10 ^ 70 + 3992994014242756097082089603255270038668443334483350585030156199400332
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_55 :
Polynomial.coeff recurrence5Scalar1Left 55 = -(((66102026502982462130226357995452620048570904639 * 10 ^ 70 + 9183903757276778987804909170351708898011187639595282275816263199711913) * 10 ^ 70 + 3895037375378844200697317552593397659808818115608090514397249153414088) * 10 ^ 70 + 7387763579512612351022897773816527038648150525839985507687255117850489)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_56 :
Polynomial.coeff recurrence5Scalar1Left 56 = ((2796565045058019630095408397563598558578453736892 * 10 ^ 70 + 7497665802099751974858812910600628116810369867416138854851323562453628) * 10 ^ 70 + 3598872933659376959808205818815952497977989366886875935327550499629628) * 10 ^ 70 + 3801771212697850831132156436987679816947064734111839093232304035425691
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_57 :
Polynomial.coeff recurrence5Scalar1Left 57 = -(((112016657090091886344298977483391788951597906040657 * 10 ^ 70 + 5910544754813821255951626664482102653830684387289170881580067530307411) * 10 ^ 70 + 1106343232091839733238209658240440906750528264586454061554119682489087) * 10 ^ 70 + 7756889210195235211494323799172502015842489718933710818931048077450164)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_58 :
Polynomial.coeff recurrence5Scalar1Left 58 = ((4251597060970538230938216899660867462552474184961346 * 10 ^ 70 + 2755810182189650120519206380369723501996284003482134107647172794098621) * 10 ^ 70 + 9814646429514380320558394288842290713163191867950408558933999932012375) * 10 ^ 70 + 6848170897392708009353472835889048823223931191720909561377195242709498
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_59 :
Polynomial.coeff recurrence5Scalar1Left 59 = -(((153016916990037720072121060077424758061983098636612915 * 10 ^ 70 + 2626829946364490846580633314940829955882396567393547414122614650803724) * 10 ^ 70 + 6360734651923679329538258336718380109963040002451231197248520341702226) * 10 ^ 70 + 6132448149140326590978726464964597438240829867106021519416057346695077)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_60 :
Polynomial.coeff recurrence5Scalar1Left 60 = ((5225047977940936006547325765080420533221494752050937149 * 10 ^ 70 + 1723554330986892598528001890259533425411141211786651496812969149045574) * 10 ^ 70 + 5705098302519570207180457217098230057926574760325040911805987684937818) * 10 ^ 70 + 1247776186894525401277054371899378453834135036946053167907296815060860
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_61 :
Polynomial.coeff recurrence5Scalar1Left 61 = -(((169349709329438900655278210389992505964431358975952001570 * 10 ^ 70 + 2219415974015133613781029153667112647999517790630278602928617355185946) * 10 ^ 70 + 8139721911286847127875855365250961171854770698448827015427085560676962) * 10 ^ 70 + 7335632042710817122131405762224759372527697174807219390526933266080660)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_62 :
Polynomial.coeff recurrence5Scalar1Left 62 = ((5211067807247970583873125463857521551550814595181821338129 * 10 ^ 70 + 9004606399776856804038769262940167839927336992941522315739701848474848) * 10 ^ 70 + 5008720555654120303586042621395313702124506041631573819488658695625178) * 10 ^ 70 + 9688030540721660088962344226582977166940224457318747921587225224433137
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_63 :
Polynomial.coeff recurrence5Scalar1Left 63 = -(((152241133167861809659724382012444487392009289645002650365313 * 10 ^ 70 + 1442860456059842635052183080497671802740840642096092544686783530292762) * 10 ^ 70 + 8750894018828002278273659370864778442775197841196415728224915538293486) * 10 ^ 70 + 1678253819514596907750713771335200816682785729139225422729467551437072)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_64 :
Polynomial.coeff recurrence5Scalar1Left 64 = ((4221849349808255800929723874025202969855242734689188500698254 * 10 ^ 70 + 3127208764674441726766798605005938953081355467793032043673124231061757) * 10 ^ 70 + 430755612280543322788397983289026781827595425751376590230739808069314) * 10 ^ 70 + 878067649122148103487718757604583908603591427573409942230712697784676
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_65 :
Polynomial.coeff recurrence5Scalar1Left 65 = -(((111069293479876444154766445396994470302945089710960474171501894 * 10 ^ 70 + 8838947984293307546028819105478486165117792909584374511712020523415003) * 10 ^ 70 + 2302430989072389814446061401388448896038882111413858583181021676523456) * 10 ^ 70 + 9903242669063666714956617013075511624324702697690092282478232500232776)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Left_coeff_66 :
Polynomial.coeff recurrence5Scalar1Left 66 = ((2769230684819782295778453743780128929170149914390692259744782925 * 10 ^ 70 + 8722872825989145016697201790399810701334771534464129865098699326338853) * 10 ^ 70 + 8897321293563348835454881826681644705239381750285752965665082610705809) * 10 ^ 70 + 9832266156839668928559268005392057867758104454729504866995253958440642