Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence5LookupScalar1SecondPart0.Coefficients0To66

Recurrence 5 lookup certificate: Scalar1Second 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.recurrence5Scalar1Second_coeff_0 :
Polynomial.coeff recurrence5Scalar1Second 0 = 0
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_1 :
Polynomial.coeff recurrence5Scalar1Second 1 = -(874329999230354856949778724713671756358685839545836632 * 10 ^ 70 + 5678569564305562648536750290905804166301263084797303351258570103619584)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_2 :
Polynomial.coeff recurrence5Scalar1Second 2 = 2541983299061609936205587251996988085013171561525651398469 * 10 ^ 70 + 7968291606782825385315783725771023124545444820599989894514004641286144
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_3 :
Polynomial.coeff recurrence5Scalar1Second 3 = 41499569849130188502025134369838307064436167340712968730960743 * 10 ^ 70 + 4992151763815263001242197692872935566288697717371425866198766553784448
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_4 :
Polynomial.coeff recurrence5Scalar1Second 4 = -(373866489416215039959015917776978985067138483737492422183753890699 * 10 ^ 70 + 6082805030848852508947727607677484136636195814021358718858023957615008)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_5 :
Polynomial.coeff recurrence5Scalar1Second 5 = 1578828268042880376205472207618022168157311435679658476081437901191052 * 10 ^ 70 + 4397728542400807567975531977217616829982429230486795903168304551075328
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_6 :
Polynomial.coeff recurrence5Scalar1Second 6 = -((431 * 10 ^ 70 + 1580125155019361918621088047545182236750970936441279395323362585060030) * 10 ^ 70 + 5177851753959272768786494055674110844414209221894046704614308852712088)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_7 :
Polynomial.coeff recurrence5Scalar1Second 7 = (847559 * 10 ^ 70 + 4175982646017875507780091715756578537518103252815577775702449228308856) * 10 ^ 70 + 8385916010355965014155171465711776514823828681675159441238646052125576
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_8 :
Polynomial.coeff recurrence5Scalar1Second 8 = -((1250611081 * 10 ^ 70 + 7209687065112312159012741144968458439225650025805386414748901297652659) * 10 ^ 70 + 5746683526102255424471891548690152298533798191811916204698640065493960)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_9 :
Polynomial.coeff recurrence5Scalar1Second 9 = (1384412024128 * 10 ^ 70 + 8575835154266485691467486545302120660013822922241655450321894368590186) * 10 ^ 70 + 1744729011204025290472220489405618615505165520902187675634681179080984
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_10 :
Polynomial.coeff recurrence5Scalar1Second 10 = -((1104937455495461 * 10 ^ 70 + 3725861826205024034825576914375802732949053051755877349318456736679204) * 10 ^ 70 + 2130381354674347819062162339679320585380436603612494339933692237516248)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_11 :
Polynomial.coeff recurrence5Scalar1Second 11 = (556822979855681293 * 10 ^ 70 + 6101540128663363143300872528834512351648003424716540008928962210289001) * 10 ^ 70 + 5156801194589886574808536012161213447827695990008333842434130317798036
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_12 :
Polynomial.coeff recurrence5Scalar1Second 12 = -((60575234819544107175 * 10 ^ 70 + 5081855308158397747945650585968827101630495577999531900254833286518511) * 10 ^ 70 + 3574751678628345087792912254874043320306944044756033726048817522383236)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_13 :
Polynomial.coeff recurrence5Scalar1Second 13 = -((176324212871280807502873 * 10 ^ 70 + 6797575298693895047844397887481688300605184278930747658968302240111299) * 10 ^ 70 + 9252623803585441183284235021851648606982145515352162358339777846266752)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_14 :
Polynomial.coeff recurrence5Scalar1Second 14 = (181380900707500678193745648 * 10 ^ 70 + 2209907289545733805436451056108593757916293751182324567691860252089662) * 10 ^ 70 + 6944985287437015357713447296228071486381449386150134544997730917682556
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_15 :
Polynomial.coeff recurrence5Scalar1Second 15 = -((97339493149672560056843609946 * 10 ^ 70 + 3376672881442915952464442330235873039210887391602296762479374498263933) * 10 ^ 70 + 8344836716394895913047882985023509920201830056118808452072261595997060)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_16 :
Polynomial.coeff recurrence5Scalar1Second 16 = (28392577886670106597954340217794 * 10 ^ 70 + 4632770880740739356738838873291151075850482036256746824833656407529829) * 10 ^ 70 + 6331872431600329087072203593178422604971962278626616664915704215042842
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_17 :
Polynomial.coeff recurrence5Scalar1Second 17 = (684280018633407583129115962821304 * 10 ^ 70 + 4254120481127974155901580612677847175216933937966263926526120183236799) * 10 ^ 70 + 3829479248075277507306243379921222934273101289494244549775993003577154
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_18 :
Polynomial.coeff recurrence5Scalar1Second 18 = -((5496914147806264244339931710145827656 * 10 ^ 70 + 87312878721817593246180251744316386303143837898475788892876452976347) * 10 ^ 70 + 583839119732080635865810645698752214845476733168112761929051659043050)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_19 :
Polynomial.coeff recurrence5Scalar1Second 19 = (3198032443077769730022180032133230173479 * 10 ^ 70 + 884554593837505057727303829868312402791586498178368227794943283010452) * 10 ^ 70 + 5955406022920501713994566289727713328053528454275109728487820035967136
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_20 :
Polynomial.coeff recurrence5Scalar1Second 20 = -((1101406338240170038243404714338243586829540 * 10 ^ 70 + 1832121826996460756347951025293116366590333903853976716355402858330593) * 10 ^ 70 + 8112333807748181540481812185193835069793183720425765682352523480423590)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_21 :
Polynomial.coeff recurrence5Scalar1Second 21 = (256595608904217850933753954516056741833773060 * 10 ^ 70 + 8928951417753842604608282792400506371977071479288274256001407429751071) * 10 ^ 70 + 3736644111117953342921314787519709779917727550828526483745995462261667
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_22 :
Polynomial.coeff recurrence5Scalar1Second 22 = -((51968581238840044491877107465056547110096616974 * 10 ^ 70 + 7181755636113912915031302268347843693827289934951869917133329259787359) * 10 ^ 70 + 193654407328425162457895792592295607127779797834377974666161133117431)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_23 :
Polynomial.coeff recurrence5Scalar1Second 23 = (22718004181530281859006480478334634423497043496391 * 10 ^ 70 + 6338123002799261530168686322830937294998280904755964523761224761619987) * 10 ^ 70 + 8451110985463824897424944440491463982134293130616362312815869867765202
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_24 :
Polynomial.coeff recurrence5Scalar1Second 24 = -((15999864124184554369577265392463053588538243670008926 * 10 ^ 70 + 5000547616470339610334469328558088789586840055642948870216607894562620) * 10 ^ 70 + 1754312886071134153051538086623652310809628021621282888479435413609520)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_25 :
Polynomial.coeff recurrence5Scalar1Second 25 = (9089850459894996914328003773592590323738015217473293970 * 10 ^ 70 + 4365141560541407730753830507722001438360264432753058533541915198003332) * 10 ^ 70 + 4025450869044816023469613241345400244417489739450695299833080286424693
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_26 :
Polynomial.coeff recurrence5Scalar1Second 26 = -((3967848341612239854749724697968114771293453285565404510848 * 10 ^ 70 + 606347050586650997354551457690486776957982917322488181794200398587332) * 10 ^ 70 + 3569236625530467092265768037616909318717603868016657633803245456851018)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_27 :
Polynomial.coeff recurrence5Scalar1Second 27 = (1393912400661866901444940363365267715065908023088339570118889 * 10 ^ 70 + 2616796756545751480085444724152814479928988553622944224894043187123428) * 10 ^ 70 + 4493433125444468147120581291282771666780087745570114483744340259330326
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_28 :
Polynomial.coeff recurrence5Scalar1Second 28 = -((408275630222538699458773726149118744296164080531740508845868256 * 10 ^ 70 + 4497429974255035208207406766707739525964035448726354981779120330203570) * 10 ^ 70 + 1153041405033633294774548265253441891333503213581462716038859050625194)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_29 :
Polynomial.coeff recurrence5Scalar1Second 29 = (101900862608278334030785577212485796878952996363692382796904539342 * 10 ^ 70 + 2123612506231911930844521296993135004567817915653497527956099410918399) * 10 ^ 70 + 2730315180658592452420555488724185035913248592659486166134263734292159
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_30 :
Polynomial.coeff recurrence5Scalar1Second 30 = -((21936491393138852683989599985153557914708729710270423336305574463208 * 10 ^ 70 + 5735424068351369633312305397133024404212709592564351366956413220347727) * 10 ^ 70 + 988933544071056718388023097090399664966520101824125153125916662969068)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_31 :
Polynomial.coeff recurrence5Scalar1Second 31 = (4090363314043664563223668320185828636745647970201500182881041816828676 * 10 ^ 70 + 9408849853689694788065404228766758420524536197681103609386053128724771) * 10 ^ 70 + 8078787418701758979025334620838864678928076712740856066858151780097838
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_32 :
Polynomial.coeff recurrence5Scalar1Second 32 = -(((65 * 10 ^ 70 + 7636931256756034009056378226832524502168121691527520952321379232745394) * 10 ^ 70 + 4411589211605886820903994077601024728564974425220196127427243234572530) * 10 ^ 70 + 2480521001615197886197529401443950505439636496534334734668678420404037)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_33 :
Polynomial.coeff recurrence5Scalar1Second 33 = ((8943 * 10 ^ 70 + 6199959083517355769945063942304574896392897344720479004597326257352705) * 10 ^ 70 + 213558603101550321701050532842570497841651484326436846403648475532249) * 10 ^ 70 + 4941339956871292589957794774179482566759962968366223266271459254601590
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_34 :
Polynomial.coeff recurrence5Scalar1Second 34 = -(((973318 * 10 ^ 70 + 5982287048264674442664601413890455942564611324043801315625279751703857) * 10 ^ 70 + 8178832298617913619314200279330035617721780966700183622515060731871906) * 10 ^ 70 + 9259985334703646549263495508345202605958045413099116092688636227501605)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_35 :
Polynomial.coeff recurrence5Scalar1Second 35 = ((68888207 * 10 ^ 70 + 9487812614428913793674898161743054938066508430752952526182077128409123) * 10 ^ 70 + 4719943327355651936165492005869243460340041508606362850655280876093665) * 10 ^ 70 + 9311541005658013480860153682082404288016831823068347882477610630360388
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_36 :
Polynomial.coeff recurrence5Scalar1Second 36 = ((1633696019 * 10 ^ 70 + 4708586807241243318659084753651893440980089156660473325122191308104909) * 10 ^ 70 + 1382678900662714114515444353925479092469732217670695921476245201228427) * 10 ^ 70 + 8360827196878681198004668879132282173661579885996642676122956547935501
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_37 :
Polynomial.coeff recurrence5Scalar1Second 37 = -(((1692693275596 * 10 ^ 70 + 905508676806610881345891063674021418098087721557492008186552861840935) * 10 ^ 70 + 7364475693942321938653645541032268744438787559297210615968548497763637) * 10 ^ 70 + 2046787499244065308677449103507535044280292126709911194817984340299897)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_38 :
Polynomial.coeff recurrence5Scalar1Second 38 = ((382670932883485 * 10 ^ 70 + 9360484009867366993683867561606339729665245569162653262005772981662997) * 10 ^ 70 + 9874469579932799034957598079212015448119382064388181509145497274663629) * 10 ^ 70 + 3882289567750566513616372443688740264123210183936323237798934082595465
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_39 :
Polynomial.coeff recurrence5Scalar1Second 39 = -(((62826732875693633 * 10 ^ 70 + 2133272718034418264955125889671832717019442891582701375830893316502215) * 10 ^ 70 + 7351416103961755385475836796365550539369250055279818507233129329182607) * 10 ^ 70 + 4835415687340796572254415831401833960407170910411132318058298002296)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_40 :
Polynomial.coeff recurrence5Scalar1Second 40 = ((8625443199574565564 * 10 ^ 70 + 5444813160315188097234308897845590764926407826000211659291058901138861) * 10 ^ 70 + 2669909382245971672510461041937437061594658000613476950901380040785026) * 10 ^ 70 + 2452149693878307529089541110324613708606475964997182131481656892112336
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_41 :
Polynomial.coeff recurrence5Scalar1Second 41 = -(((1039725281517804100202 * 10 ^ 70 + 6267400115959723279958251577871505147315527971649517632545158263713642) * 10 ^ 70 + 1202424581569060730919778694790765582025727733299673067588283309424256) * 10 ^ 70 + 4604376741526821312142523767217087341733423006527611325507833575000166)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_42 :
Polynomial.coeff recurrence5Scalar1Second 42 = ((112645881242746839235438 * 10 ^ 70 + 8401639876279160814864333549779334909157814874491106095996065004865035) * 10 ^ 70 + 2344578396948299619977352212470203585001256179710733340843803315272738) * 10 ^ 70 + 2576946739753207009038859315858155112215714696002980456968737890708216
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_43 :
Polynomial.coeff recurrence5Scalar1Second 43 = -(((11117496934321973844322050 * 10 ^ 70 + 5039580254738072976629352591452751339371745429724591869794693225155827) * 10 ^ 70 + 5034416734081127522331728550407239787874515208973753547820073750792011) * 10 ^ 70 + 660280093974710224350713828602655777863916642293889937488968801538752)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_44 :
Polynomial.coeff recurrence5Scalar1Second 44 = ((1008241401117117617402482268 * 10 ^ 70 + 4673072301720266518345392161110469888626836675268967496400177888718947) * 10 ^ 70 + 844074402158481959753941134962959752245120169862267307334685461206583) * 10 ^ 70 + 836100711880004262092764607073397202177819829237968557398593338323031
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_45 :
Polynomial.coeff recurrence5Scalar1Second 45 = -(((84534992751178953747803082408 * 10 ^ 70 + 7382720236276998181867031727140944887655311738141340858329282159944198) * 10 ^ 70 + 7924161569825586430641389227565782947917727867777117131266413498819348) * 10 ^ 70 + 1863970522214414558674126649078516557676689355676836176566786915898564)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_46 :
Polynomial.coeff recurrence5Scalar1Second 46 = ((6582668143077573013699332718737 * 10 ^ 70 + 1959283664260404452220045601267619649336016543764161933968689981089007) * 10 ^ 70 + 417623043229884471760100759622319368473760602499340566097389888508819) * 10 ^ 70 + 3337017804585801276971734695640698807460318765441597661744668443541517
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_47 :
Polynomial.coeff recurrence5Scalar1Second 47 = -(((477760556272013972296409457139329 * 10 ^ 70 + 414761860496027658460364423025112993926780192658655960746233879863432) * 10 ^ 70 + 4544098605060362850001875132453551585646745312538285690140731183721452) * 10 ^ 70 + 7235850040788967314606629920242884382551982084874990237892433849985851)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_48 :
Polynomial.coeff recurrence5Scalar1Second 48 = ((32412984948609326545105954546910013 * 10 ^ 70 + 6703146609075143079992594727039023859813987797101876559091002536996385) * 10 ^ 70 + 3793857748925735370951190115476292671700231386611279219126294942321912) * 10 ^ 70 + 211768865374223720226137473410218966671508483083908259346772963204778
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_49 :
Polynomial.coeff recurrence5Scalar1Second 49 = -(((2060522714127531828742748564350919842 * 10 ^ 70 + 6146315730799001098212593027814120221972940562963690457091187673862617) * 10 ^ 70 + 8822501679951763224127910690190139629376459816638072765181856681172183) * 10 ^ 70 + 2897966673658921744502371675229879829810024093107622226251783081406853)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_50 :
Polynomial.coeff recurrence5Scalar1Second 50 = ((122992795541777090415334233740725725787 * 10 ^ 70 + 367987750748871789405018449031438135056726163487524092365649790142838) * 10 ^ 70 + 4745046960379990187967581272102044214740527375551691197478227695517319) * 10 ^ 70 + 485435839289642440875873792467787473836674578661698665893092821378642
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_51 :
Polynomial.coeff recurrence5Scalar1Second 51 = -(((6905582060007374351583500994896631106065 * 10 ^ 70 + 4084171352702142600723068846757706482385094206807289177481735799365173) * 10 ^ 70 + 7474152301159918221853179397930062985546854560522755344819998807685509) * 10 ^ 70 + 5344245625634161343242410808445139081044076276673939252767020710567577)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_52 :
Polynomial.coeff recurrence5Scalar1Second 52 = ((365273230635790780542225896173847149570221 * 10 ^ 70 + 6553595110317134106891170815501759040073123406468885098379595897637030) * 10 ^ 70 + 6800038531715842050413288958131951924650262867054207143656592741745284) * 10 ^ 70 + 5830442162596896738087062108669701325199147968858427254026922688370992
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_53 :
Polynomial.coeff recurrence5Scalar1Second 53 = -(((18227686327095631322824366289910221104532808 * 10 ^ 70 + 6561227891797815432242773221776125028441750880883512519694482322298733) * 10 ^ 70 + 6306145386799130030521155018589163396375331204384184229358953319987555) * 10 ^ 70 + 5617617614888000210967343346452235159735335224534007979125329615923356)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_54 :
Polynomial.coeff recurrence5Scalar1Second 54 = ((859157195476453370452047540365929471632541719 * 10 ^ 70 + 590576826408370517761600313874406508494759070821210371797585966427063) * 10 ^ 70 + 6968110005163124983681669584384320617178889204817379418989746842854473) * 10 ^ 70 + 7043951825911790782457983910854763023269990829370272339230968689917151
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_55 :
Polynomial.coeff recurrence5Scalar1Second 55 = -(((38292357100454880730195855431921881833909960782 * 10 ^ 70 + 261471720380760132410390876285419088470072860606230664163506705482392) * 10 ^ 70 + 8390614240344249649976708087431858228879078641232442739150527694357083) * 10 ^ 70 + 3561266251989609054023516319899655479911748962174543597112768998635501)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_56 :
Polynomial.coeff recurrence5Scalar1Second 56 = ((1615346120704501433721281208035533148100568038085 * 10 ^ 70 + 8215187658107481506505500830710232912738637844987630743751879351707429) * 10 ^ 70 + 6601550809173618498521162897114466397152303733974708956063674156642513) * 10 ^ 70 + 5514975065513215691555727130812213486209662733962595107930001933498058
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_57 :
Polynomial.coeff recurrence5Scalar1Second 57 = -(((64549947266150018004941025815216506842009933640127 * 10 ^ 70 + 5374286299583216016452777561682081730927372613060898606077540452795542) * 10 ^ 70 + 9371362747402380199442876735478104336262638379968564829831707064760876) * 10 ^ 70 + 3314617441662113719010044706216862128434092557740581051207479688549707)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_58 :
Polynomial.coeff recurrence5Scalar1Second 58 = ((2445193402691476823906755007908047777951355466302124 * 10 ^ 70 + 9657175483570913287641850676117834631842290040649093240261686860796098) * 10 ^ 70 + 1832459605540896070800557794654687571326020709944284656982176836447656) * 10 ^ 70 + 3423810401672093598269373840767112364225753296442869256651661053691001
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_59 :
Polynomial.coeff recurrence5Scalar1Second 59 = -(((87856367505155538698390828794532102089988661545402752 * 10 ^ 70 + 2213893051398292758147341193263413252604666301285299309825315677427426) * 10 ^ 70 + 9453436182250144952529122298499123074583636960758218007871068740198841) * 10 ^ 70 + 9844257114613753164465917836824606345002211391799305750994797714692535)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_60 :
Polynomial.coeff recurrence5Scalar1Second 60 = ((2995522142880418439762695523475926051853011561134006679 * 10 ^ 70 + 3576836204858571603147117566116304185434423931051988226220870231454492) * 10 ^ 70 + 4942564534709265952188141949599437105088014927177752926670427022258186) * 10 ^ 70 + 6095914475277861464856028226301928540524862306813863500578787809167235
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_61 :
Polynomial.coeff recurrence5Scalar1Second 61 = -(((96948406282166301186290605800911478057786759124355128383 * 10 ^ 70 + 726217038888980662511440036234606809209859637288363665527546179258586) * 10 ^ 70 + 9939168641734071631761062773750299946973131658801739203220192778701171) * 10 ^ 70 + 2826334718552885195919848348543294525143609733659201218634106018249177)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_62 :
Polynomial.coeff recurrence5Scalar1Second 62 = ((2978708370083423234948820746537718058750605847981111147727 * 10 ^ 70 + 7153023826653735784875541122453477833968628552210894088230781372261161) * 10 ^ 70 + 7222580757453727023314898227058120549516060396568090851373206787646471) * 10 ^ 70 + 7063359990177055661592288732520733592304353345197756993796828635903646
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_63 :
Polynomial.coeff recurrence5Scalar1Second 63 = -(((86873409841170187985720719025928016523315796815828295440564 * 10 ^ 70 + 1843776292727181062517043546691408637494779095485849695853843611116519) * 10 ^ 70 + 7554280414981678815487773662567219643204404144527150879849829926708284) * 10 ^ 70 + 8271828716530894416699451348906439607843815184558568031460544468838714)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_64 :
Polynomial.coeff recurrence5Scalar1Second 64 = ((2404050022058209708990185439610551017189444065140893141297133 * 10 ^ 70 + 9377369668944273476074229896126205485792691003312279089397724670765280) * 10 ^ 70 + 9672359784802133493660751978846643910325992534708440988411056497895268) * 10 ^ 70 + 6236331927048073818670727371756840574296941332797374168752657850660604
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_65 :
Polynomial.coeff recurrence5Scalar1Second 65 = -(((63074566449532530952160026718233901279284903413147865540062470 * 10 ^ 70 + 2323187743250359639096862579529984804533742581630711734471452447442469) * 10 ^ 70 + 483477439645077886965067287741208534210423356414687782367187307816919) * 10 ^ 70 + 7548432800329110749847277700712426582421914998341690842429244000351349)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_66 :
Polynomial.coeff recurrence5Scalar1Second 66 = ((1566884000500467633984959920545776863363628571320934210159592409 * 10 ^ 70 + 4497552974508624991256071357175472851245188322452953746463777945260344) * 10 ^ 70 + 8798082189202336893422848039866701882266798744819933410608808489043994) * 10 ^ 70 + 1584711600329197880848800231869622423159640645893596360729834705396519