Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupA2High

Recurrence 2 lookup certificate: A2 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.recurrence2A2_coeff_56 :
Polynomial.coeff remainder2Coefficient2 56 = 160256410638548767738242077468342234931330147932565108
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_57 :
Polynomial.coeff remainder2Coefficient2 57 = -187699197498287563968038848157611949857405459666624355
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_58 :
Polynomial.coeff remainder2Coefficient2 58 = -125530495858012148433203924611989214856807873955938686
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_59 :
Polynomial.coeff remainder2Coefficient2 59 = 978196998031577665015792587746535197881512952913834490
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_60 :
Polynomial.coeff remainder2Coefficient2 60 = -2098753766765376407345665535213072040606392112829547991
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_61 :
Polynomial.coeff remainder2Coefficient2 61 = 2509200902385440664953022249445148973518340614987880093
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_62 :
Polynomial.coeff remainder2Coefficient2 62 = -960911468360702951128952679877965771978837619685617985
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_63 :
Polynomial.coeff remainder2Coefficient2 63 = -2955020422515185124782343060600033722414367750058355978
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_64 :
Polynomial.coeff remainder2Coefficient2 64 = 7885431843716856959097308802487289055487254456220717047
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_65 :
Polynomial.coeff remainder2Coefficient2 65 = -11095624211693200169626657433590882947061261860714791864
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_66 :
Polynomial.coeff remainder2Coefficient2 66 = 10271392080142350163400890538150244156413129354716463194
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_67 :
Polynomial.coeff remainder2Coefficient2 67 = -5380934413382372225945705328385940434925030704175890371
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_68 :
Polynomial.coeff remainder2Coefficient2 68 = -1106074003431348533038327988318116756271265310580429811
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_69 :
Polynomial.coeff remainder2Coefficient2 69 = 5947980221735283329079546034089217488608089251159226427
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_70 :
Polynomial.coeff remainder2Coefficient2 70 = -7326604306273382998540856475689939289657453030792291754
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_71 :
Polynomial.coeff remainder2Coefficient2 71 = 5705497207972873863741156262146288455918503051039592232
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_72 :
Polynomial.coeff remainder2Coefficient2 72 = -2931457099463060316626122280353009607683105193437588786
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_73 :
Polynomial.coeff remainder2Coefficient2 73 = 686483490383149098892806185938995976957503070727261056
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_74 :
Polynomial.coeff remainder2Coefficient2 74 = 392237688207879363919257997622336249148473105005286291
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_75 :
Polynomial.coeff remainder2Coefficient2 75 = -564991016999692029446018764889757617938403701678078705
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_76 :
Polynomial.coeff remainder2Coefficient2 76 = 366584368401704101976277645531771262385353107940980624
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_77 :
Polynomial.coeff remainder2Coefficient2 77 = -157372325343559923726323337127466549384192698639398583
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_78 :
Polynomial.coeff remainder2Coefficient2 78 = 45386360278023680013645700893079549808710348930548432
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_79 :
Polynomial.coeff remainder2Coefficient2 79 = -6678185887679113978879893779456996358285735532600831
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_80 :
Polynomial.coeff remainder2Coefficient2 80 = -1617129208214525261381795868878109914024559996222055
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_81 :
Polynomial.coeff remainder2Coefficient2 81 = 2065896304835761649251943716831980866030577957515476
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_82 :
Polynomial.coeff remainder2Coefficient2 82 = -1331274173456511907919438594725763820832158714577799
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_83 :
Polynomial.coeff remainder2Coefficient2 83 = 632998791593481447936066519187729024708835012469759
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_84 :
Polynomial.coeff remainder2Coefficient2 84 = -196557836642283534697047644211206516321439411057301
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_85 :
Polynomial.coeff remainder2Coefficient2 85 = 20563020833383032925395632527410479791988032434095
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_86 :
Polynomial.coeff remainder2Coefficient2 86 = 13102113428101739796171669897021044885004664461850
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_87 :
Polynomial.coeff remainder2Coefficient2 87 = -7166161881916544493302082240165449128387975205734
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_88 :
Polynomial.coeff remainder2Coefficient2 88 = 1389497926404098434424065074976543906675101571844
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_89 :
Polynomial.coeff remainder2Coefficient2 89 = 66396338492958840384238440883040076839006179064
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_90 :
Polynomial.coeff remainder2Coefficient2 90 = -89078533405378437777254629262643671836316543284
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_91 :
Polynomial.coeff remainder2Coefficient2 91 = 14273231565335481826853527373072799059188163149
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_92 :
Polynomial.coeff remainder2Coefficient2 92 = 1018240205477540412855822089176105472928755355
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_93 :
Polynomial.coeff remainder2Coefficient2 93 = -550456158562506653336621803130388165662931223
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_94 :
Polynomial.coeff remainder2Coefficient2 94 = 24059355725455180799042198705904480461043314
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_95 :
Polynomial.coeff remainder2Coefficient2 95 = 9544487399330554757158676424051318793601079
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_96 :
Polynomial.coeff remainder2Coefficient2 96 = -689559839019331475392630310000210966082902
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_97 :
Polynomial.coeff remainder2Coefficient2 97 = -116373663553683193134387288647362283835662
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_98 :
Polynomial.coeff remainder2Coefficient2 98 = 4276345107771543602977611056688013695730
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_99 :
Polynomial.coeff remainder2Coefficient2 99 = 1048169345467189834459223669999805388521
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_100 :
Polynomial.coeff remainder2Coefficient2 100 = 52670107788284021450360302716996142061
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_101 :
Polynomial.coeff remainder2Coefficient2 101 = 1194637032435987553021206513879586759
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_102 :
Polynomial.coeff remainder2Coefficient2 102 = 13434993855594595313200186766745995
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_103 :
Polynomial.coeff remainder2Coefficient2 103 = 72409407582781145483944263813939
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_104 :
Polynomial.coeff remainder2Coefficient2 104 = 146759985850387230726504100304
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_105 :
Polynomial.coeff remainder2Coefficient2 105 = -107108246602948219627108488
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_106 :
Polynomial.coeff remainder2Coefficient2 106 = -670159624643932408123725
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_107 :
Polynomial.coeff remainder2Coefficient2 107 = -501779026264199559586
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_108 :
Polynomial.coeff remainder2Coefficient2 108 = -64927904208095868
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_109 :
Polynomial.coeff remainder2Coefficient2 109 = -652050755124
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2A2_coeff_110 :
Polynomial.coeff remainder2Coefficient2 110 = -51573