Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA6High

Recurrence 2 lookup certificate: A6 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.recurrence2A6_coeff_48 :
Polynomial.coeff remainder2Coefficient6 48 = 159166271221174898678323869034613115263357675153
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_49 :
Polynomial.coeff remainder2Coefficient6 49 = 1131726611565921421877434735816529017800358660734
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_50 :
Polynomial.coeff remainder2Coefficient6 50 = -3121040979427526931885619959908673567118952942816
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_51 :
Polynomial.coeff remainder2Coefficient6 51 = 2410820301271893278955207186857464670676422527112
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_52 :
Polynomial.coeff remainder2Coefficient6 52 = 5652777509329527173079846530507218923725434481468
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_53 :
Polynomial.coeff remainder2Coefficient6 53 = -19732291277255062629310930650026635106843797097302
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_54 :
Polynomial.coeff remainder2Coefficient6 54 = 26291104706672415387657384787000492935607658169965
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_55 :
Polynomial.coeff remainder2Coefficient6 55 = -6727489552838408179719537274002341989653780935383
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_56 :
Polynomial.coeff remainder2Coefficient6 56 = -41253678474640061179888179619384622750096492600682
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_57 :
Polynomial.coeff remainder2Coefficient6 57 = 89385293720112488291822566607840486914388527327607
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_58 :
Polynomial.coeff remainder2Coefficient6 58 = -95585932980783456538720432113582851069188735402901
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_59 :
Polynomial.coeff remainder2Coefficient6 59 = 43474965187021755618392755436146346521712452303683
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_60 :
Polynomial.coeff remainder2Coefficient6 60 = 36264262946462470264963478808724054066882211552046
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_61 :
Polynomial.coeff remainder2Coefficient6 61 = -90077395241547150221305671591175204232776602561308
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_62 :
Polynomial.coeff remainder2Coefficient6 62 = 88311380474228653853967785701384992363103654210137
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_63 :
Polynomial.coeff remainder2Coefficient6 63 = -46171373163504543158557914214045685537226653625329
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_64 :
Polynomial.coeff remainder2Coefficient6 64 = 1760996210278097879640123794600894772440302289074
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_65 :
Polynomial.coeff remainder2Coefficient6 65 = 19420671632102037980135832791336634529791939084307
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_66 :
Polynomial.coeff remainder2Coefficient6 66 = -17939533405231251363616472490566952428926934345738
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_67 :
Polynomial.coeff remainder2Coefficient6 67 = 8088426106972228431048023598589508535972069747653
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_68 :
Polynomial.coeff remainder2Coefficient6 68 = -932324612480629040663752920016275618786874393818
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_69 :
Polynomial.coeff remainder2Coefficient6 69 = -1259284677279418318144667404132063930058303046310
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_70 :
Polynomial.coeff remainder2Coefficient6 70 = 907052891357068529730115275023977792560595353116
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_71 :
Polynomial.coeff remainder2Coefficient6 71 = -259796156938576126935931880575940133496455929373
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_72 :
Polynomial.coeff remainder2Coefficient6 72 = -5743205394693217441326578355115890903196243276
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_73 :
Polynomial.coeff remainder2Coefficient6 73 = 31287071019551607357660603537375697104621823622
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_74 :
Polynomial.coeff remainder2Coefficient6 74 = -9904927975710995422196730406795647174801069171
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_75 :
Polynomial.coeff remainder2Coefficient6 75 = 407325991422521290337696636708310350463817027
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_76 :
Polynomial.coeff remainder2Coefficient6 76 = 520301936077397947184043319587679666723442887
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_77 :
Polynomial.coeff remainder2Coefficient6 77 = -116621656765750600540617213369055032965477929
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_78 :
Polynomial.coeff remainder2Coefficient6 78 = -4657048383506180696440995131466651437813763
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_79 :
Polynomial.coeff remainder2Coefficient6 79 = 4212045223053116439059613323987782256717639
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_80 :
Polynomial.coeff remainder2Coefficient6 80 = -130364068837196412915331835983767607389036
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_81 :
Polynomial.coeff remainder2Coefficient6 81 = -79855619076933278288806586082688280262928
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_82 :
Polynomial.coeff remainder2Coefficient6 82 = 806770333612448780191069553229078389783
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_83 :
Polynomial.coeff remainder2Coefficient6 83 = 931515776698594048009905810307361214858
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_84 :
Polynomial.coeff remainder2Coefficient6 84 = 68165293576858192487165357082552974621
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_85 :
Polynomial.coeff remainder2Coefficient6 85 = 2171214875594016473752712052888364881
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_86 :
Polynomial.coeff remainder2Coefficient6 86 = 34944721186945926298271664519464594
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_87 :
Polynomial.coeff remainder2Coefficient6 87 = 286363027698652162782785744858111
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_88 :
Polynomial.coeff remainder2Coefficient6 88 = 1089413395938381807202776494154
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_89 :
Polynomial.coeff remainder2Coefficient6 89 = 1107378815922411149079177229
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_90 :
Polynomial.coeff remainder2Coefficient6 90 = -3292471087723803892438322
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_91 :
Polynomial.coeff remainder2Coefficient6 91 = -7229173878372384068265
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_92 :
Polynomial.coeff remainder2Coefficient6 92 = -3092981143429333279
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_93 :
Polynomial.coeff remainder2Coefficient6 93 = -199417564971929
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_94 :
Polynomial.coeff remainder2Coefficient6 94 = -629591425
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A6_coeff_95 :
Polynomial.coeff remainder2Coefficient6 95 = -1