Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA5High

Recurrence 2 lookup certificate: A5 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.recurrence2A5_coeff_50 :
Polynomial.coeff remainder2Coefficient5 50 = 4536997018687278322071825226880515848890525143295
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_51 :
Polynomial.coeff remainder2Coefficient5 51 = 30849558643173766701288435074088248503281094991097
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_52 :
Polynomial.coeff remainder2Coefficient5 52 = -95220340007489739605214981707878241588414868276620
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_53 :
Polynomial.coeff remainder2Coefficient5 53 = 106536583640868574405256960339526933228721070489684
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_54 :
Polynomial.coeff remainder2Coefficient5 54 = 93164830782748409651416769751500784564105781779151
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_55 :
Polynomial.coeff remainder2Coefficient5 55 = -578627282538253583321543106577877607366906622185027
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_56 :
Polynomial.coeff remainder2Coefficient5 56 = 1092445794418350991227293304062352945919761085569406
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_57 :
Polynomial.coeff remainder2Coefficient5 57 = -1010285970366236261311586117768254048794953317061497
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_58 :
Polynomial.coeff remainder2Coefficient5 58 = -214009112868664380275346632408479348707168575965346
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_59 :
Polynomial.coeff remainder2Coefficient5 59 = 2355888510834570221982904312471436476951726541414062
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_60 :
Polynomial.coeff remainder2Coefficient5 60 = -4213993205963876886713791483973426125072084952402930
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_61 :
Polynomial.coeff remainder2Coefficient5 61 = 4374189055099625082866580706568063519555735942802816
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_62 :
Polynomial.coeff remainder2Coefficient5 62 = -2426562057443760437955479795717455422957310538712072
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_63 :
Polynomial.coeff remainder2Coefficient5 63 = -547879151578059857926911438579520090404041947816918
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_64 :
Polynomial.coeff remainder2Coefficient5 64 = 2795730063013252313772849604653854918973775121773327
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_65 :
Polynomial.coeff remainder2Coefficient5 65 = -3262110651062154797891480141719997226909503679611118
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_66 :
Polynomial.coeff remainder2Coefficient5 66 = 2229408024555610605875320579090371052347830568858257
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_67 :
Polynomial.coeff remainder2Coefficient5 67 = -782020535002471299227450895820569521667112384018964
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_68 :
Polynomial.coeff remainder2Coefficient5 68 = -181307121752543769113092165260465525831938245452680
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_69 :
Polynomial.coeff remainder2Coefficient5 69 = 451941038044837849384065317876121764680852616234936
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_70 :
Polynomial.coeff remainder2Coefficient5 70 = -317279331924508839779158647612370746188168316281419
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_71 :
Polynomial.coeff remainder2Coefficient5 71 = 118291409856805654155265315825055214060283244115820
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_72 :
Polynomial.coeff remainder2Coefficient5 72 = -9067085802950879916402351125455550792960048428609
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_73 :
Polynomial.coeff remainder2Coefficient5 73 = -16752041284191756224890747636760189106858007365013
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_74 :
Polynomial.coeff remainder2Coefficient5 74 = 10467065061107254327435430760433350574226355396713
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_75 :
Polynomial.coeff remainder2Coefficient5 75 = -2776079750871447450040554150772889836624742403460
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_76 :
Polynomial.coeff remainder2Coefficient5 76 = 3807677038252640414310368810121093925398743568
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_77 :
Polynomial.coeff remainder2Coefficient5 77 = 254735917876843325547217135374763303741153870467
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_78 :
Polynomial.coeff remainder2Coefficient5 78 = -79970716861673357875251224597009651876784519597
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_79 :
Polynomial.coeff remainder2Coefficient5 79 = 5086554838729128011357916514757208966931108845
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_80 :
Polynomial.coeff remainder2Coefficient5 80 = 3002133683565988392458948980633539621521290947
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_81 :
Polynomial.coeff remainder2Coefficient5 81 = -733117506467283953626185539260366384756126532
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_82 :
Polynomial.coeff remainder2Coefficient5 82 = -3671711776486332869099310649452547803580870
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_83 :
Polynomial.coeff remainder2Coefficient5 83 = 19844078368367647479805269940340036920130269
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_84 :
Polynomial.coeff remainder2Coefficient5 84 = -1019998825567616745605344467509616177727522
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_85 :
Polynomial.coeff remainder2Coefficient5 85 = -300251147139026137458381741843066253390545
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_86 :
Polynomial.coeff remainder2Coefficient5 86 = 8331610236584716832086290155981013157605
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_87 :
Polynomial.coeff remainder2Coefficient5 87 = 3122163349981012136172833905772391019781
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_88 :
Polynomial.coeff remainder2Coefficient5 88 = 183377772338127822273190994703138876095
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_89 :
Polynomial.coeff remainder2Coefficient5 89 = 4809272671110001400826091023037899395
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_90 :
Polynomial.coeff remainder2Coefficient5 90 = 63506625011524370119277185841139399
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_91 :
Polynomial.coeff remainder2Coefficient5 91 = 418819725802625644021293199369765
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_92 :
Polynomial.coeff remainder2Coefficient5 92 = 1197901248587625823394131256191
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_93 :
Polynomial.coeff remainder2Coefficient5 93 = 309822799767340730668764003
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_94 :
Polynomial.coeff remainder2Coefficient5 94 = -4534798300274140721268369
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_95 :
Polynomial.coeff remainder2Coefficient5 95 = -6000547169591553991323
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_96 :
Polynomial.coeff remainder2Coefficient5 96 = -1661458723421419362
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_97 :
Polynomial.coeff remainder2Coefficient5 97 = -62108676656411
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A5_coeff_98 :
Polynomial.coeff remainder2Coefficient5 98 = -84879584