Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0LeftPart2.Coefficients294To318

Recurrence 4 lookup certificate: Scalar0Left coefficient convolution #

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

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

Polynomial.coeff recurrence4Scalar0Left 294 = (((16497899138550805261824915 * 10 ^ 70 + 3297402351679255855698781746235564982327274220961718093979793521424217) * 10 ^ 70 + 1768039967636250658522664280582632538317029585512224364291500015353811) * 10 ^ 70 + 4655501458629432374181708817102183720135228280596257978524947137390895) * 10 ^ 70 + 220403045316459890984993238597879342288181171837699743758325354464135

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

Polynomial.coeff recurrence4Scalar0Left 295 = -((((11047972745638533024990341 * 10 ^ 70 + 6879200328617855031820553390026438362566735982597368593716631262854488) * 10 ^ 70 + 5220242582349312662011609521759332305822708565463467953438989877634075) * 10 ^ 70 + 3230731943147417741748569090011561935938791885853606333632224654406434) * 10 ^ 70 + 5362671574282679526076246977099696751551133183671194827747953371036713)

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

Polynomial.coeff recurrence4Scalar0Left 296 = (((7246604950908926593887856 * 10 ^ 70 + 4939316942553517775809132202992790928786387006304879630654920020952845) * 10 ^ 70 + 1017848317478754417631670718837828677389307110869689491205846720323179) * 10 ^ 70 + 6911902613443042936820105401983619675200274860697756928651256911765639) * 10 ^ 70 + 1291568249470995782020702878504828393419024057873875258623863337267487

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

Polynomial.coeff recurrence4Scalar0Left 297 = -((((4652860976739064663588479 * 10 ^ 70 + 4592066352103156477901803661911050005784707288457405998370251892048286) * 10 ^ 70 + 3454928738728223327862420444773793955933837275761172798964086853114437) * 10 ^ 70 + 4866152881913102856586242807807343850621140679722680450412801937247204) * 10 ^ 70 + 9819596260952149688147461425972166423408546837414296803644679475461681)

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

Polynomial.coeff recurrence4Scalar0Left 298 = (((2921742518873368599346554 * 10 ^ 70 + 6947627956325718788972864577266062100429341370251376367952423761046507) * 10 ^ 70 + 2321854509654193560301431782200812803987462394479088401734761620902555) * 10 ^ 70 + 475013340823085133025003518975726301166927187620638100514928957807249) * 10 ^ 70 + 6046879887427581572036111291614998359264780659266852977170983475479455

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

Polynomial.coeff recurrence4Scalar0Left 299 = -((((1791958838712813718463075 * 10 ^ 70 + 2265838665915451804117859136907342416050679211981992619406347950174241) * 10 ^ 70 + 6031113453252300329139051139762403864567182418862406765673018346800634) * 10 ^ 70 + 3315237541864044949334856080254696221777182640640533706438215636645166) * 10 ^ 70 + 9712648654374854746251207928562472623881636123523977421014320274932261)

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

Polynomial.coeff recurrence4Scalar0Left 300 = (((1071426368013068493702595 * 10 ^ 70 + 5084217754784976691159171845601353167712261643563674048458818244123542) * 10 ^ 70 + 7328600178277211809038249838845384009419741624122314799900937082529487) * 10 ^ 70 + 781905438629513441654674144410902457586305817729079836182969165291640) * 10 ^ 70 + 7461159055158607779181091928009031753473414748607473370994497513322730

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

Polynomial.coeff recurrence4Scalar0Left 301 = -((((622831205397898523188403 * 10 ^ 70 + 475725565543262174377447342393871413996000765173214431276888314569759) * 10 ^ 70 + 6871515569732321203721603833642439670797405909740683232393595474278634) * 10 ^ 70 + 3987689572291781202378899540513579283710369605183108459268530437320372) * 10 ^ 70 + 4635440144207683185816805237733875777034339139973381426154647649779187)

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

Polynomial.coeff recurrence4Scalar0Left 302 = (((350606070223201710030992 * 10 ^ 70 + 74727351165544226467146705052889981138947664247734451998037690161094) * 10 ^ 70 + 1155939439052154913543111375902730094223425552771396353897959401463857) * 10 ^ 70 + 4034552259944450950834482124862535527167232877158068140575056204470834) * 10 ^ 70 + 4234656943614899789668237942578221736893297184403259052957668996827783

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

Polynomial.coeff recurrence4Scalar0Left 303 = -((((189953342761444793806226 * 10 ^ 70 + 4882139019035597655626507010440854512692046322453669840803499591845361) * 10 ^ 70 + 6232190407953685362630916205859126395749383500602621305376519208918262) * 10 ^ 70 + 2268456441184211107176359068369037616315310052319156010841842350793420) * 10 ^ 70 + 8020091691963044365967715484356298708304938416646332887951523653825608)

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

Polynomial.coeff recurrence4Scalar0Left 304 = (((98062775207008569170814 * 10 ^ 70 + 1407587388356572512069048216634665341836038459072622049022978709610036) * 10 ^ 70 + 7825427908947077530537637549789590333066433963559219721315688514811740) * 10 ^ 70 + 6033439844605559114690376712985979023274223460581936066536840883848932) * 10 ^ 70 + 748468005432503810666787049079305885682649387021596979234638290081567

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

Polynomial.coeff recurrence4Scalar0Left 305 = -((((47381930995197572019851 * 10 ^ 70 + 514266360010231984069498448363938381605884704752118293609908696970369) * 10 ^ 70 + 2910638113221676929108174726371816414610319020258018088657706692605909) * 10 ^ 70 + 4435716145070530758246109158937469602097825077058991174785810336004126) * 10 ^ 70 + 389919367742727680046504306554123376386651755457958876283021002958287)

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

Polynomial.coeff recurrence4Scalar0Left 306 = (((20650091016895952149621 * 10 ^ 70 + 7773310680564450231763462130246057762117828874722815425764732004108400) * 10 ^ 70 + 340592041877041280044420210614143984374240477806069968444383402875407) * 10 ^ 70 + 5768165320613077899946294215642217634644896125751252788566292446777428) * 10 ^ 70 + 5680828180984308932576660445128172784453623802273826153814501994619657

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

Polynomial.coeff recurrence4Scalar0Left 307 = -((((7356542555455141946226 * 10 ^ 70 + 6057240005156943344503846234612874638548357728794556641037174662614408) * 10 ^ 70 + 2361239552539525292701772879593241353154614260752201644440941239572178) * 10 ^ 70 + 9459972988326855612881478393123853274778865200107472144276017630273599) * 10 ^ 70 + 8545409175674305005224394537416539848991786853626884589444050360513711)

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

Polynomial.coeff recurrence4Scalar0Left 308 = (((1294144066977620120302 * 10 ^ 70 + 4133327963853956487756495255875593800127256122810374090607861463861179) * 10 ^ 70 + 4243567899701663745131823730106842908425593281596020538837555482393909) * 10 ^ 70 + 3405384376754300418804297744430917338120632479752081460391745974288593) * 10 ^ 70 + 7333630934623147508582858821671938987659609082020348884439424922767049

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

Polynomial.coeff recurrence4Scalar0Left 309 = (((1079436763579607541378 * 10 ^ 70 + 7439579287215822056702247808432588831062093030375401510976491871640563) * 10 ^ 70 + 920377085234568986314506402941618860474559059881281963603090675450584) * 10 ^ 70 + 9603232038282923168650207294113873366004175016906728728610376469332185) * 10 ^ 70 + 7165319261703855308712431900141471250030223210967629847858527400936477

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

Polynomial.coeff recurrence4Scalar0Left 310 = -((((1706741616865847833002 * 10 ^ 70 + 3103700822541951619628851311418018124899763704618449640426774362893552) * 10 ^ 70 + 9110755942617648577636605404080343738141730522305693498212316742310061) * 10 ^ 70 + 1456160917400346504115915774364889949745785096053959480792932576696795) * 10 ^ 70 + 192713038786467717895544408772080176160398137618758427121916064072217)

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

Polynomial.coeff recurrence4Scalar0Left 311 = (((1601840006842740569914 * 10 ^ 70 + 8354426259600073105759029194368940883288803638128415697337458020148352) * 10 ^ 70 + 6619030334546499384564994630867318564347749052211336104820400434115121) * 10 ^ 70 + 6464965770890861606028020646512199828411800201645859422271537322706044) * 10 ^ 70 + 9333176375690059617767814803954895462516423564939199200395232720816419

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

Polynomial.coeff recurrence4Scalar0Left 312 = -((((1260285424467334044443 * 10 ^ 70 + 5849139159842855180433829458273551327228779289413232843324815985706725) * 10 ^ 70 + 7101744375692449001020276717818266298166023874058572237229666145651186) * 10 ^ 70 + 7373137827447356714434675714485224574013477441292931766976832217373314) * 10 ^ 70 + 3057614941670964472771270621774523006213105316032376160045476212825426)

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

Polynomial.coeff recurrence4Scalar0Left 313 = (((901120777247119908456 * 10 ^ 70 + 4201764020387499328849059937476865950646382191312284851893292179111) * 10 ^ 70 + 5419534312424391204473918775171565121111684452520021817305854236029082) * 10 ^ 70 + 821488405446920091314114579669201165151224377443860470333653316671443) * 10 ^ 70 + 8632029692482919554219109345644484140549423992474604726398925938270870

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

Polynomial.coeff recurrence4Scalar0Left 314 = -((((604459489676475061250 * 10 ^ 70 + 6889815953873099531780813115931409551038283967890931157361714736457021) * 10 ^ 70 + 8372719197888357787674134551003341748602163872809034562929502870015087) * 10 ^ 70 + 1161168286750204815513652809646154760423105401638719796615044789781062) * 10 ^ 70 + 3620854674822507127493123139284649614199100897765239240131600184681712)

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

Polynomial.coeff recurrence4Scalar0Left 315 = (((386339429827012109196 * 10 ^ 70 + 1676221583108625800173053679564540514078799611666493421099721703103655) * 10 ^ 70 + 7653848594952677277322425611024861578026294153994262120042770954813621) * 10 ^ 70 + 7217792892591656832698227490075658976739890679289983668521174266604931) * 10 ^ 70 + 5540349388390043208210537672403332732226222693728867445097643749686616

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

Polynomial.coeff recurrence4Scalar0Left 316 = -((((237279127513408087564 * 10 ^ 70 + 8128819126499599731370244859126603993693682376494814302031229246931512) * 10 ^ 70 + 2936421156911464485082352789491630237702313801784746080526048580207691) * 10 ^ 70 + 5948867209890395641385217682173210192442287265215776454522481696836339) * 10 ^ 70 + 3417967543084476121950235443056835441225257018278496895279388584189439)

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

Polynomial.coeff recurrence4Scalar0Left 317 = (((140702692186626200218 * 10 ^ 70 + 4336092021099237866610518377063306291654540347813270783665362380207690) * 10 ^ 70 + 7090059775494084386240294795701252163484598144980538353801170336862850) * 10 ^ 70 + 2972443802975218317938506856763886724241487009987683095698255219499774) * 10 ^ 70 + 5880262719830520744315073294675484852042351830851623072625219839179029

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

Polynomial.coeff recurrence4Scalar0Left 318 = -((((80756852964960566310 * 10 ^ 70 + 7479700885271767310521422804013785291615342482860744242668723900010312) * 10 ^ 70 + 3603843312663939330732312701890575465067861311401223849712030501772113) * 10 ^ 70 + 3543102955548877224667961792382451611654775761995690804404132579633674) * 10 ^ 70 + 4252547311832524401681082553489577190806488210190691444984920650533664)