Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar1ExceptionalPart0.Coefficients40To73

Recurrence 4 lookup certificate: Scalar1Exceptional 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.recurrence4Scalar1Exceptional_coeff_40 :
Polynomial.coeff recurrence4Scalar1Exceptional 40 = (3703 * 10 ^ 70 + 3118572477080367205568113935429242224775797910982085256554078200700355) * 10 ^ 70 + 1389752758235591581421355556826929846563501314919097320952790170263478
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_41 :
Polynomial.coeff recurrence4Scalar1Exceptional 41 = -((391802 * 10 ^ 70 + 2496329916344250781581464989889396677801185073372067538050481332936531) * 10 ^ 70 + 3092286210823749130743446392764975979740803701352152180118251102828699)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_42 :
Polynomial.coeff recurrence4Scalar1Exceptional 42 = (38988056 * 10 ^ 70 + 8944889159741779150248159170364745418985283302702281482429235342590217) * 10 ^ 70 + 4279796273054589963968591336013089294542248153757244351420117512112182
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_43 :
Polynomial.coeff recurrence4Scalar1Exceptional 43 = -((3655061075 * 10 ^ 70 + 5366566601565494226092043146008095397740600483017154670927383941112171) * 10 ^ 70 + 6147294419128753371955463396269774197451594377304895741380093618843890)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_44 :
Polynomial.coeff recurrence4Scalar1Exceptional 44 = (323305490739 * 10 ^ 70 + 5235127238876871086358256936065905540702285244840855106663378521717148) * 10 ^ 70 + 7314294385404638417292807271514304587746536360096261806380284793092229
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_45 :
Polynomial.coeff recurrence4Scalar1Exceptional 45 = -((27020832860843 * 10 ^ 70 + 4770867196386470742786058474587465594534705873435581662359657214460977) * 10 ^ 70 + 1461400779562300046905005623159362148276169677652822340639558678899563)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_46 :
Polynomial.coeff recurrence4Scalar1Exceptional 46 = (2136605757421683 * 10 ^ 70 + 5285900758988574717070283546812035888974547475565588984263519219638256) * 10 ^ 70 + 2655233600450885632365705340141897690082733803936475370678153398048337
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_47 :
Polynomial.coeff recurrence4Scalar1Exceptional 47 = -((160040054949147706 * 10 ^ 70 + 9379572644910317707359745980453413356091802360532670992544335276972669) * 10 ^ 70 + 5128603314847450390364160052651393008042919983095981473299184394763590)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_48 :
Polynomial.coeff recurrence4Scalar1Exceptional 48 = (11368938720987585395 * 10 ^ 70 + 1225452825561878214781150988808698395017459667365417167518322872089133) * 10 ^ 70 + 3151110959141522200430876761206712650762789750613552648591074202720739
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_49 :
Polynomial.coeff recurrence4Scalar1Exceptional 49 = -((766794936284072639538 * 10 ^ 70 + 801586565433115576615941290773292627049179537167271124946935749680078) * 10 ^ 70 + 6070408571082797310545034255765749245806754694114026967348397679868666)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_50 :
Polynomial.coeff recurrence4Scalar1Exceptional 50 = (49154494377616152504927 * 10 ^ 70 + 8980453004256929779175684834284916813445669967810389944275574815245356) * 10 ^ 70 + 9183795444641403607742763729709461090813245569918303119101616870768456
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_51 :
Polynomial.coeff recurrence4Scalar1Exceptional 51 = -((2997824597280124221735815 * 10 ^ 70 + 615511128356967781985243934308125152765458913800602313582569719931977) * 10 ^ 70 + 5998662036082062409559256968816051276971284604479606913376292805860821)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_52 :
Polynomial.coeff recurrence4Scalar1Exceptional 52 = (174109348805990031926198307 * 10 ^ 70 + 2285559039589412806609460117486937869820128283560953266619442622131044) * 10 ^ 70 + 8937129674773888748650801441703440969104870507015403477180802056945342
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_53 :
Polynomial.coeff recurrence4Scalar1Exceptional 53 = -((9638423155138111069093205457 * 10 ^ 70 + 8180791784304761926701484823629337285908033950968217794282552235426923) * 10 ^ 70 + 3105288558640268945591793545417296949074035789214615614692575829181024)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_54 :
Polynomial.coeff recurrence4Scalar1Exceptional 54 = (509021027838451927955027668274 * 10 ^ 70 + 8161175990197717809863766361250179579810330355480034161692649000373495) * 10 ^ 70 + 4079497837107236150087260537420032842295707074901017516546880002655344
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_55 :
Polynomial.coeff recurrence4Scalar1Exceptional 55 = -((25666877238560237333711314698755 * 10 ^ 70 + 9160852792376251550752417634090228629791614947656092784065160577218481) * 10 ^ 70 + 9475808664079396977628111756194097389124857273716620386304749624993445)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_56 :
Polynomial.coeff recurrence4Scalar1Exceptional 56 = (1236700947577113637778001820516076 * 10 ^ 70 + 8351914787578840878091385769069274841151810011649812393859394752941336) * 10 ^ 70 + 6776269050211775926716871276369774513124887661935763520400658724831409
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_57 :
Polynomial.coeff recurrence4Scalar1Exceptional 57 = -((56982761957411795576492164618990762 * 10 ^ 70 + 3183561250298717164590231975680739042872253670885947444720545335081858) * 10 ^ 70 + 8470566477659323673514177187936014948980378920242085910480103610899496)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_58 :
Polynomial.coeff recurrence4Scalar1Exceptional 58 = (2512633361955948334855965242182236942 * 10 ^ 70 + 7373984417506897094992275786635788089416858522380767112187631499651045) * 10 ^ 70 + 1368069818531071638878176182932826274766462776229525603961936056699272
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_59 :
Polynomial.coeff recurrence4Scalar1Exceptional 59 = -((106103308043393850912293101415762663249 * 10 ^ 70 + 5077483910097564692829369264407069766391489187011803128800753498859962) * 10 ^ 70 + 3241951939644752786247526739863231272913982901233298321200979519359993)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_60 :
Polynomial.coeff recurrence4Scalar1Exceptional 60 = (4293768482776802182058247236100805947305 * 10 ^ 70 + 2023225264093825661233282465226044992966420431647170786144834226514318) * 10 ^ 70 + 4269754468971834403968930667723872439168541054354791692965584262074731
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_61 :
Polynomial.coeff recurrence4Scalar1Exceptional 61 = -((166626064490886137500599762251817199775335 * 10 ^ 70 + 39855110486179190989465531539640601151378280704751078326267738672476) * 10 ^ 70 + 8637957437993142470931854290848269585568647174397043847780731960540132)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_62 :
Polynomial.coeff recurrence4Scalar1Exceptional 62 = (6204633594154795762558327924390640260288666 * 10 ^ 70 + 9805596186901671772705762997189876090008390416815910548058286476741870) * 10 ^ 70 + 9217702215670533311039333677927351281826758881620795091305251411827398
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_63 :
Polynomial.coeff recurrence4Scalar1Exceptional 63 = -((221831173755962045281549683737933069920537460 * 10 ^ 70 + 3519447347744503250552627329441775447720427475666481650590491124588927) * 10 ^ 70 + 3199605184129226205154460447998353597865044331765685456508215379970703)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_64 :
Polynomial.coeff recurrence4Scalar1Exceptional 64 = (7619335871444050586990398615554221797644878959 * 10 ^ 70 + 9215873737664162066885057593459889270077267983539175296625447670403391) * 10 ^ 70 + 5644117698047456774150446472516959960984591883839931160489798659020296
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_65 :
Polynomial.coeff recurrence4Scalar1Exceptional 65 = -((251562308293422484009841305463416853336468590440 * 10 ^ 70 + 2220231625674265158419238534976822621851035120775948246699031292252489) * 10 ^ 70 + 1831184046088270656795484120644640117135277122067430704652824066009637)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_66 :
Polynomial.coeff recurrence4Scalar1Exceptional 66 = (7988128671224689352347090747503990095375399357774 * 10 ^ 70 + 5040723380659045120886644792459666498109415479243205283744608659853160) * 10 ^ 70 + 588872766844702296655922072267700909678563726610661904944669579868867
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_67 :
Polynomial.coeff recurrence4Scalar1Exceptional 67 = -((244086813834735146379254766723637507248271098122470 * 10 ^ 70 + 8306452311105581307150740934767441958417892312241565878505323307368120) * 10 ^ 70 + 2343824104977783918585768933945118570926691112937721864661225091467022)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_68 :
Polynomial.coeff recurrence4Scalar1Exceptional 68 = (7180655114962041963003279094074172043681836957521189 * 10 ^ 70 + 775351012662000726832980362056455053980920037047646260227908718087274) * 10 ^ 70 + 4393609804923277109862712905944397811751389408960221101819706979232100
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_69 :
Polynomial.coeff recurrence4Scalar1Exceptional 69 = -((203477879090609141636756179511088974132678664898623042 * 10 ^ 70 + 7331140213217891331435774064623149302183870385175724284697413165463322) * 10 ^ 70 + 639199380593541185593297574643809292180743681992552962753025935404286)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_70 :
Polynomial.coeff recurrence4Scalar1Exceptional 70 = (5556599030535752878098314278416816663535159642222432062 * 10 ^ 70 + 5033706741511296889828474377438515910855444635086734421472698801582452) * 10 ^ 70 + 935507844404099298871549559818847188590870476888303416095353225197402
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_71 :
Polynomial.coeff recurrence4Scalar1Exceptional 71 = -((146297739903368442501742002493394453696565861765506429204 * 10 ^ 70 + 5559474443790602935400518959004488066891656106541270936582387083859579) * 10 ^ 70 + 8276639371911813417094733262158301535341983261108571143584298247857861)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_72 :
Polynomial.coeff recurrence4Scalar1Exceptional 72 = (3715298142424322496231450866676685571632912765226412851909 * 10 ^ 70 + 7311482130704891137717827773057722018275218857077651504879218754640890) * 10 ^ 70 + 6474477421822121816570093073593752962178438550561409076603669839322319
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_73 :
Polynomial.coeff recurrence4Scalar1Exceptional 73 = -((91046021708284012048940848557779604256925732693523672284661 * 10 ^ 70 + 4426707625978057607409484662214961453083887645106974283032457179707873) * 10 ^ 70 + 4656409209672737021056557593257443891136853674991842123836730872239042)