Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA0High

Recurrence 2 lookup certificate: A0 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.recurrence2A0_coeff_60 :
Polynomial.coeff remainder2Coefficient0 60 = 621725971190563657393235315757192056596706225030493894
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_61 :
Polynomial.coeff remainder2Coefficient0 61 = 3459292504659497610979380743349758433450163007452524369
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_62 :
Polynomial.coeff remainder2Coefficient0 62 = -11110284307128431035158933978291100334801954980947472146
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_63 :
Polynomial.coeff remainder2Coefficient0 63 = 18090386868971818456858662029614161681345717082226652170
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_64 :
Polynomial.coeff remainder2Coefficient0 64 = -15778242959145104133485300167950379020342628991290237379
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_65 :
Polynomial.coeff remainder2Coefficient0 65 = -3178960320396938136119349815210378601274709185668604937
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_66 :
Polynomial.coeff remainder2Coefficient0 66 = 36416415138398479956000701682694083607585734323956960547
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_67 :
Polynomial.coeff remainder2Coefficient0 67 = -68730293687975869875107587708993249866577186534605683258
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_68 :
Polynomial.coeff remainder2Coefficient0 68 = 80288771384155327696477068622320292133380775283507804161
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_69 :
Polynomial.coeff remainder2Coefficient0 69 = -61687727358641659015289991008485945807169000866643639069
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_70 :
Polynomial.coeff remainder2Coefficient0 70 = 22622649723594544532826141549412266534983169558561402188
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_71 :
Polynomial.coeff remainder2Coefficient0 71 = 14915691153763092973853852477020507767130725417493824916
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_72 :
Polynomial.coeff remainder2Coefficient0 72 = -33394678553273738523894447672201797175806248079960824229
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_73 :
Polynomial.coeff remainder2Coefficient0 73 = 31217689682422219822285482974369168030034942981141275460
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_74 :
Polynomial.coeff remainder2Coefficient0 74 = -19675967917793710704235343250800850601613615115738019326
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_75 :
Polynomial.coeff remainder2Coefficient0 75 = 10745817826620269598676200057421220998636038861351205476
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_76 :
Polynomial.coeff remainder2Coefficient0 76 = -8281322558401235238033851106880737444484475822509353739
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_77 :
Polynomial.coeff remainder2Coefficient0 77 = 8874202635339496410647718336739457874613827537931241641
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_78 :
Polynomial.coeff remainder2Coefficient0 78 = -8171004906960062150958281833795327043585118995535503793
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_79 :
Polynomial.coeff remainder2Coefficient0 79 = 5142430892918680930903256032716510315963633132641078831
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_80 :
Polynomial.coeff remainder2Coefficient0 80 = -1554480341109496625004429488308674062741406305645410850
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_81 :
Polynomial.coeff remainder2Coefficient0 81 = -736087488191373628403549815668351514898023125492160919
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_82 :
Polynomial.coeff remainder2Coefficient0 82 = 1332657498309766410093961889457493240678510755788979622
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_83 :
Polynomial.coeff remainder2Coefficient0 83 = -950964642855568595917937148463566556455742041776139030
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_84 :
Polynomial.coeff remainder2Coefficient0 84 = 408293016549124941092699581346964679441895603795325958
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_85 :
Polynomial.coeff remainder2Coefficient0 85 = -83054877363276582153572517801866795997624065665320178
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_86 :
Polynomial.coeff remainder2Coefficient0 86 = -23045195150113390851533850503264632732698437216591192
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_87 :
Polynomial.coeff remainder2Coefficient0 87 = 27180003515099636736288757639539073556892684559618223
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_88 :
Polynomial.coeff remainder2Coefficient0 88 = -11482509351260787881775076202547517529217615946686081
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_89 :
Polynomial.coeff remainder2Coefficient0 89 = 2403877461037195963346376424656155043888088425166875
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_90 :
Polynomial.coeff remainder2Coefficient0 90 = 85446096580397680979268746891364634839534831385470
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_91 :
Polynomial.coeff remainder2Coefficient0 91 = -230300761212428877959999864514542636268972701952935
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_92 :
Polynomial.coeff remainder2Coefficient0 92 = 71047281503988594395292188314575685858281974979711
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_93 :
Polynomial.coeff remainder2Coefficient0 93 = -7242965276005198687250854010145591748681377657456
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_94 :
Polynomial.coeff remainder2Coefficient0 94 = -1609474925545182656633135617398099675121374668988
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_95 :
Polynomial.coeff remainder2Coefficient0 95 = 594888352697172539251946829237087330057928808919
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_96 :
Polynomial.coeff remainder2Coefficient0 96 = -35682081868816433525662072854424923464803899505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_97 :
Polynomial.coeff remainder2Coefficient0 97 = -13080880038331164717498911381112159427479572402
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_98 :
Polynomial.coeff remainder2Coefficient0 98 = 1682596274192633024084773447547225160481835569
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_99 :
Polynomial.coeff remainder2Coefficient0 99 = 329041432510035751706973504730628132940569628
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_100 :
Polynomial.coeff remainder2Coefficient0 100 = -59718794864614781855680443009507852961443027
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_101 :
Polynomial.coeff remainder2Coefficient0 101 = -7173045799197579454731740761038147002347352
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_102 :
Polynomial.coeff remainder2Coefficient0 102 = 1560530508013868545100650132777578578566977
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_103 :
Polynomial.coeff remainder2Coefficient0 103 = 107596482591299095251211202323863114511740
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_104 :
Polynomial.coeff remainder2Coefficient0 104 = -21835855329074871209439970786676218209063
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_105 :
Polynomial.coeff remainder2Coefficient0 105 = -1613170450578754187113664875608047773491
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_106 :
Polynomial.coeff remainder2Coefficient0 106 = 121420420245797158958065078024853838771
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_107 :
Polynomial.coeff remainder2Coefficient0 107 = 17117395763730572988598898971842175952
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_108 :
Polynomial.coeff remainder2Coefficient0 108 = 744894209253773091908300182564263888
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_109 :
Polynomial.coeff remainder2Coefficient0 109 = 15560161622173073532254368820081712
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_110 :
Polynomial.coeff remainder2Coefficient0 110 = 165026199140154693898992949889670
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_111 :
Polynomial.coeff remainder2Coefficient0 111 = 843753345028747037362040919139
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_112 :
Polynomial.coeff remainder2Coefficient0 112 = 1577196414728952886234267757
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_113 :
Polynomial.coeff remainder2Coefficient0 113 = -1507245375088838010731695
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_114 :
Polynomial.coeff remainder2Coefficient0 114 = -7487522096003555795152
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_115 :
Polynomial.coeff remainder2Coefficient0 115 = -5072148110737246025
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_116 :
Polynomial.coeff remainder2Coefficient0 116 = -558110085407786
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_117 :
Polynomial.coeff remainder2Coefficient0 117 = -3841078186
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A0_coeff_118 :
Polynomial.coeff remainder2Coefficient0 118 = -57