Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA1High

Recurrence 2 lookup certificate: A1 source coefficients, high half #

This is a checked coefficient-lookup shard for the second pseudo-division recurrence in the order-seven certificate.

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_58 :
Polynomial.coeff remainder2Coefficient1 58 = 908998126415325120637565211799562731984882044711349612
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_59 :
Polynomial.coeff remainder2Coefficient1 59 = -51871866980317366272367580474309106861221427576714072
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_60 :
Polynomial.coeff remainder2Coefficient1 60 = -3125222676151354777987688904098109556790764257035467612
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_61 :
Polynomial.coeff remainder2Coefficient1 61 = 8245603275267371716190936967846421293904322573578120047
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_62 :
Polynomial.coeff remainder2Coefficient1 62 = -11860302118566559246669520438814952811433639321036215419
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_63 :
Polynomial.coeff remainder2Coefficient1 63 = 8258351480991784408067572220378167800052511981920027684
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_64 :
Polynomial.coeff remainder2Coefficient1 64 = 6339784595116002229604274733098828450965141109605473566
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_65 :
Polynomial.coeff remainder2Coefficient1 65 = -28791247917155730095191731668190079515844489164587793391
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_66 :
Polynomial.coeff remainder2Coefficient1 66 = 48304516639352681316629944664412575412448947881980741219
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_67 :
Polynomial.coeff remainder2Coefficient1 67 = -52531240047776006889528378892265661634330595770235940584
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_68 :
Polynomial.coeff remainder2Coefficient1 68 = 36645672164894523053962831347859804107942099887637523889
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_69 :
Polynomial.coeff remainder2Coefficient1 69 = -7711495254258528833921041862212817265626987881284362859
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_70 :
Polynomial.coeff remainder2Coefficient1 70 = -19868974027110136494621511363444536279163445865749406305
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_71 :
Polynomial.coeff remainder2Coefficient1 71 = 34112584794954398266833056348304426407178408948479890064
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_72 :
Polynomial.coeff remainder2Coefficient1 72 = -32375243055288744739408246882573607354938322171631554325
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_73 :
Polynomial.coeff remainder2Coefficient1 73 = 20708736458340767299850218004237134122253863187163857273
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_74 :
Polynomial.coeff remainder2Coefficient1 74 = -7829781767072193790940614855451749192419440213868793672
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_75 :
Polynomial.coeff remainder2Coefficient1 75 = -576856191188187954714640719003699400531614494547848943
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_76 :
Polynomial.coeff remainder2Coefficient1 76 = 3555925959456983574221159675035807265379863913865233933
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_77 :
Polynomial.coeff remainder2Coefficient1 77 = -3108456926656432728504324865398422107582029442310965890
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_78 :
Polynomial.coeff remainder2Coefficient1 78 = 1626590872137609006190680264567211411675349780746126932
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_79 :
Polynomial.coeff remainder2Coefficient1 79 = -481557911681160080760038815346420927989652033326333172
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_80 :
Polynomial.coeff remainder2Coefficient1 80 = -27628561411336868244991961003430565766835296129033560
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_81 :
Polynomial.coeff remainder2Coefficient1 81 = 122554917084065300320853867687274009809457937145411774
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_82 :
Polynomial.coeff remainder2Coefficient1 82 = -73602963982873250007940517693601404642619624498649232
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_83 :
Polynomial.coeff remainder2Coefficient1 83 = 22403057824211929525907520032123867309614792448565037
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_84 :
Polynomial.coeff remainder2Coefficient1 84 = -677576951413359118440884308755013409422520100772299
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_85 :
Polynomial.coeff remainder2Coefficient1 85 = -2839128411816168015048852376996962813972555961860067
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_86 :
Polynomial.coeff remainder2Coefficient1 86 = 1387738389012733836035583938650539472586594932267953
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_87 :
Polynomial.coeff remainder2Coefficient1 87 = -253453885906353008237761915978949606214749541567482
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_88 :
Polynomial.coeff remainder2Coefficient1 88 = -46006234319931267767611476462716704253784042788995
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_89 :
Polynomial.coeff remainder2Coefficient1 89 = 38405088775242791785444052145651662155661340450784
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_90 :
Polynomial.coeff remainder2Coefficient1 90 = -7861858706611913241008138397025016936982623538323
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_91 :
Polynomial.coeff remainder2Coefficient1 91 = -607134815894910500975852149592281370663107412836
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_92 :
Polynomial.coeff remainder2Coefficient1 92 = 623068481933135245171317251061364802624893518330
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_93 :
Polynomial.coeff remainder2Coefficient1 93 = -93293421963792147238755174843943741047526616373
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_94 :
Polynomial.coeff remainder2Coefficient1 94 = -12329058152593188306493045475100783041995331638
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_95 :
Polynomial.coeff remainder2Coefficient1 95 = 5339749916684606161901804394069140621433038988
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_96 :
Polynomial.coeff remainder2Coefficient1 96 = -207268398832040207310409423826418713155088422
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_97 :
Polynomial.coeff remainder2Coefficient1 97 = -125889998764741537441282873874599122737960653
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_98 :
Polynomial.coeff remainder2Coefficient1 98 = 12289823024352319415238577752859155764127964
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_99 :
Polynomial.coeff remainder2Coefficient1 99 = 1821472109026745853271440556631226373021314
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_100 :
Polynomial.coeff remainder2Coefficient1 100 = -203715578909439757211547426606478810966882
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_101 :
Polynomial.coeff remainder2Coefficient1 101 = -22496275929643517102918964098425632497513
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_102 :
Polynomial.coeff remainder2Coefficient1 102 = 1144241126005859139820446988485301202837
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_103 :
Polynomial.coeff remainder2Coefficient1 103 = 210462081499466225006966235727856020684
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_104 :
Polynomial.coeff remainder2Coefficient1 104 = 9870924355153883672137796042767009143
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_105 :
Polynomial.coeff remainder2Coefficient1 105 = 215088728471684776815229998500189364
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_106 :
Polynomial.coeff remainder2Coefficient1 106 = 2347813443240803839127253112182995
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_107 :
Polynomial.coeff remainder2Coefficient1 107 = 12298617856096924713735520959259
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_108 :
Polynomial.coeff remainder2Coefficient1 108 = 23812113619150826247011739581
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_109 :
Polynomial.coeff remainder2Coefficient1 109 = -20468171030108376511660993
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_110 :
Polynomial.coeff remainder2Coefficient1 110 = -111124234857222285699352
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_111 :
Polynomial.coeff remainder2Coefficient1 111 = -78293151035390302222
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_112 :
Polynomial.coeff remainder2Coefficient1 112 = -9175063979244366
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_113 :
Polynomial.coeff remainder2Coefficient1 113 = -73283682580
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A1_coeff_114 :
Polynomial.coeff remainder2Coefficient1 114 = -2329