Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence2LookupScalar1ShiftPart1.Coefficients268To301

Recurrence 2 lookup certificate: Scalar1Shift coefficient convolution #

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_268 :

Polynomial.coeff recurrence2Scalar1Shift 268 = (231209614708397695508392574096532725389462835517176345680283651474162 * 10 ^ 70 + 2423576599512942986301207938430456534849040097724750334069829599561432) * 10 ^ 70 + 9246626414778802384048403919306537089564922020921228095833849611574221

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_269 :

Polynomial.coeff recurrence2Scalar1Shift 269 = -((124677336927372296389738185977872402273428532287064044578456746174953 * 10 ^ 70 + 9206614490343414172638554774202809597110280080364752280278678767957162) * 10 ^ 70 + 1144548667236918759388229304066218017898671574661875471845025306642227)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_270 :

Polynomial.coeff recurrence2Scalar1Shift 270 = (63540568069054741453537729907829884221411303867144288110721765321260 * 10 ^ 70 + 3872467644110942278818597655709309813152670721375178660151664135267853) * 10 ^ 70 + 9099039622539572947326993188288803641748254949372681127856892513917919

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_271 :

Polynomial.coeff recurrence2Scalar1Shift 271 = -((30512359373490884712495700010526138147462158410337684645733911790250 * 10 ^ 70 + 3865607989584004166778601129722269025866043792422662091994728573037253) * 10 ^ 70 + 2251067245712333720276954112202728427705238826993514364632652855360007)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_272 :

Polynomial.coeff recurrence2Scalar1Shift 272 = (13721390456202815519660695342521741006750101308843212158535044532829 * 10 ^ 70 + 4151346662330895798231632575727730851361665798192195684789375204900930) * 10 ^ 70 + 4824064702103572973203162820663678925481456240847308461315865324354505

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_273 :

Polynomial.coeff recurrence2Scalar1Shift 273 = -((5713822004223254624501217040335846565020910501290656675915629269526 * 10 ^ 70 + 3785831643449063620319882624153664794939391817168089688314106599505017) * 10 ^ 70 + 7126388417508972888284883850275750851739173497462230284107026690609262)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_274 :

Polynomial.coeff recurrence2Scalar1Shift 274 = (2156119422815563070196413559933850294356061225812633184868286733347 * 10 ^ 70 + 736575741448570495204962552850432814141923211968843524825868760326771) * 10 ^ 70 + 6902833220363789820692483863481415724473783297570681474554244099147745

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_275 :

Polynomial.coeff recurrence2Scalar1Shift 275 = -((702827199570982040351115263182496172197279738607843183284838702078 * 10 ^ 70 + 4652604591777024410363163122287631765656621163681668789168369801915481) * 10 ^ 70 + 1802778380766863321014624871362015472602496634340664508998278900971040)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_276 :

Polynomial.coeff recurrence2Scalar1Shift 276 = (171291718443498620655562948017770261674798836250458366214819447205 * 10 ^ 70 + 2156436803851483694495320692767086489875293733806873630766204413764935) * 10 ^ 70 + 5367932307353306245982229483586011103773883685521306459004609410169815

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_277 :

Polynomial.coeff recurrence2Scalar1Shift 277 = -((7879979591678987189230866647486533487280627552213189308256311760 * 10 ^ 70 + 2646551695814545400592208483922909671606549492657800490222855476450316) * 10 ^ 70 + 8446082720291376589247934236291817523256952271092918694270407255260235)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_278 :

Polynomial.coeff recurrence2Scalar1Shift 278 = -((25861834239707563336932192022707280890474109966015928707067314323 * 10 ^ 70 + 4220218199553386347076472209542696853479217118394635209969346166302084) * 10 ^ 70 + 326255824334397627187668232236223944655939559602485076954645731422684)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_279 :

Polynomial.coeff recurrence2Scalar1Shift 279 = (22652879165156714128934673963872216246882895646720835874435595341 * 10 ^ 70 + 4740860614333034228750606779751466224999576648242635939931089689235710) * 10 ^ 70 + 5132714268396656869352256607337778029832268943055744118559441997734222

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_280 :

Polynomial.coeff recurrence2Scalar1Shift 280 = -((13682539450043850763897772515148932884803772798786435886514596391 * 10 ^ 70 + 228189930786963635810394990849318352550824260519875684010749754272021) * 10 ^ 70 + 2622492362057547356740503914470401893796105334095891910537854919553188)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_281 :

Polynomial.coeff recurrence2Scalar1Shift 281 = (6967954565888100588610579039726702172960823878367495814008659309 * 10 ^ 70 + 9233889998666413314471825301698610499040472812391781497651298591752170) * 10 ^ 70 + 3092785321413473131953193303920924032348805892978851475659494785284599

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_282 :

Polynomial.coeff recurrence2Scalar1Shift 282 = -((3168716760185498241515553388343030309629745595335900325787998651 * 10 ^ 70 + 3032767422105186965200147784466941584658154056598500734335322083396488) * 10 ^ 70 + 5281338328190971746777758609339858785796887682477991601975737454726505)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_283 :

Polynomial.coeff recurrence2Scalar1Shift 283 = (1316782144576679298502118518545355442648961817252041725907663882 * 10 ^ 70 + 9377654041952346433521961284556693154147595811362889192507508015793080) * 10 ^ 70 + 424704846158179636877149755934244118159687355460209610506764728529304

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_284 :

Polynomial.coeff recurrence2Scalar1Shift 284 = -((504977185590441335944326136892877837828402534085847410800046283 * 10 ^ 70 + 1952932565694308412968374140057752397263892932978153523442846017100159) * 10 ^ 70 + 163073999876288373230585004433808576759732444099405071564047573683029)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_285 :

Polynomial.coeff recurrence2Scalar1Shift 285 = (179211680144764571990302229892211529737658466732405746736179129 * 10 ^ 70 + 8974506728823913922094378614067497485061159840438481701204441466174118) * 10 ^ 70 + 4056581473744719856082751141618711863770749715820783108750497356114456

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_286 :

Polynomial.coeff recurrence2Scalar1Shift 286 = -((58700955200837572687357175069080134666783873944791645441857795 * 10 ^ 70 + 5690406269446762091543805998919664487359355487452673023918675963599676) * 10 ^ 70 + 888903278082898867454995216684640984442884849686652327016839556113967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_287 :

Polynomial.coeff recurrence2Scalar1Shift 287 = (17586683812243179494852271569303935292925900073166492440435478 * 10 ^ 70 + 6660032870011689014820457150992922393326552781641571837124532576623974) * 10 ^ 70 + 9739706872657992066398905586401819428104395944010304167020058993795520

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_288 :

Polynomial.coeff recurrence2Scalar1Shift 288 = -((4723796875118752599851920087319073500559141203160204763506795 * 10 ^ 70 + 4385333522412598014646031103971630023093318716175356074278900120217713) * 10 ^ 70 + 5670464815325721080571924093123397588569294173834305994710449388788273)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_289 :

Polynomial.coeff recurrence2Scalar1Shift 289 = (1086206392675364233917833435315625066827011858518430360902488 * 10 ^ 70 + 7897986770448557186994906482376439564754337346910458719451644508615476) * 10 ^ 70 + 4594153383153399840149089001364343430852708387371118640842936455821157

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_290 :

Polynomial.coeff recurrence2Scalar1Shift 290 = -((185929863879603446618528084926935623995007294695814804351340 * 10 ^ 70 + 8896673001657207470376452205065890553806717844711644807077913854578182) * 10 ^ 70 + 8656243627213803051375234224303860336206525288108782936480950130795700)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_291 :

Polynomial.coeff recurrence2Scalar1Shift 291 = (6883734185110712635312238796630489272016331801975575726520 * 10 ^ 70 + 9793870923031484937935582939005329022040290975312827370720825177551034) * 10 ^ 70 + 4403354418563807217410349869463449621547106588843426303960435204312659

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_292 :

Polynomial.coeff recurrence2Scalar1Shift 292 = (12602309472123284633076761148364386413372351591474220858991 * 10 ^ 70 + 3892073976646812454138737510610329397331466090797652549778709621011827) * 10 ^ 70 + 8574899589359934766750984466643991768200896875486129368023073049101646

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_293 :

Polynomial.coeff recurrence2Scalar1Shift 293 = -((7543541552960669811300868898538804533323039139223585972887 * 10 ^ 70 + 9530487145349553207991959975483440369678251468880178058068877876382690) * 10 ^ 70 + 6685475584034288729876686451961407285537905630925366319510764537292612)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_294 :

Polynomial.coeff recurrence2Scalar1Shift 294 = (3048241205596850088893984472250331437691159753944869777781 * 10 ^ 70 + 7325169384542393362480810401981414155860542986031354552419278881873947) * 10 ^ 70 + 6683582980815004100671808098540641523825644751831156317212236582416165

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_295 :

Polynomial.coeff recurrence2Scalar1Shift 295 = -((1022722727578770406581421676556586244353856717911078115954 * 10 ^ 70 + 6718699389119651741142991963934808881089208558911614245451226827326905) * 10 ^ 70 + 6080961658380355286336643918902015361663074700913514346945524542663249)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_296 :

Polynomial.coeff recurrence2Scalar1Shift 296 = (301517300180558826803805655997051310757950133599997422834 * 10 ^ 70 + 5739965599147482542100018895812602069854107068180491265457463736181051) * 10 ^ 70 + 8809557592828492649093928650449356653276949173378248817619185146598097

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_297 :

Polynomial.coeff recurrence2Scalar1Shift 297 = -((79706951347969051011384953452592231658179810534960365475 * 10 ^ 70 + 5762670302714500188088618316778700886060433018690118067280318189700044) * 10 ^ 70 + 8467580206847576524201232159779117654380478649423194208798254025370481)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_298 :

Polynomial.coeff recurrence2Scalar1Shift 298 = (18981136902821035201044958348615683360388957920191597854 * 10 ^ 70 + 2636959799105807159861422139643478357453093071713590127181368341343202) * 10 ^ 70 + 2858475015015944626391273790799219972765981328879382112979648178544891

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_299 :

Polynomial.coeff recurrence2Scalar1Shift 299 = -((4043946410353767732617124652638535696219353770500096055 * 10 ^ 70 + 7400449971241500318513255875934914123631862045948221686521180893126620) * 10 ^ 70 + 8725886206706160086310039665383721902059684801239412438025670216524663)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_300 :

Polynomial.coeff recurrence2Scalar1Shift 300 = (753507954258826659250446732513978313219804736085205487 * 10 ^ 70 + 5964136474536411076095729670308561253296612516635826050603334283007037) * 10 ^ 70 + 4594265911692470886501625784025220999967231458516225079219463538764596

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Shift_coeff_301 :

Polynomial.coeff recurrence2Scalar1Shift 301 = -((115632063425447496360648786655416323027078531288474573 * 10 ^ 70 + 2886533319015437262977853588440241540753287528471796705975148933504294) * 10 ^ 70 + 2114023324881930264790169756006415871592278326419740921121667788320792)