Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0ExceptionalPart2.Coefficients338To359

Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_338 :

Polynomial.coeff recurrence4Scalar0Exceptional 338 = (((9053068472701 * 10 ^ 70 + 8319507474692214009623356860136884126996693589263308051378829797345690) * 10 ^ 70 + 17264991593441026860894816473229650302372561325210839593882159358778) * 10 ^ 70 + 8237738287149057868169337820618776740215235930073819159342096304805812) * 10 ^ 70 + 851422545700015547562152994598023883504461252342838810947349359596156

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

Polynomial.coeff recurrence4Scalar0Exceptional 339 = -((((7967715866907 * 10 ^ 70 + 7851920461900319506129487163713891295618459018274225193626783658123059) * 10 ^ 70 + 9515908615209919768677070904741429347727698623296063306654901990465626) * 10 ^ 70 + 2718689128206270662577022625576438063007803915710709311785129015397003) * 10 ^ 70 + 763159155907843631380383341204685114263980681900560130993852956679150)

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

Polynomial.coeff recurrence4Scalar0Exceptional 340 = (((5260841701931 * 10 ^ 70 + 2241333263035354143371379240057396355518189970114424396702938288357571) * 10 ^ 70 + 1862028837512041395925648124204223616515855258879644709795829690774045) * 10 ^ 70 + 9947315173027980652093312599958478595263386706764607105617811982501228) * 10 ^ 70 + 5088196936874506487928315077102470596870553302988774713406477360449571

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

Polynomial.coeff recurrence4Scalar0Exceptional 341 = -((((3069002028179 * 10 ^ 70 + 7340492704438298333607320730084978267166111743279809448020571494993212) * 10 ^ 70 + 5109758509025577911813090406101081172078154471584623051670122726414070) * 10 ^ 70 + 6240087712105419921970394740463322416020840160760456353915312664452049) * 10 ^ 70 + 3949181826208063123656585292325635175327454335936401720095925237264408)

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

Polynomial.coeff recurrence4Scalar0Exceptional 342 = (((1666742669598 * 10 ^ 70 + 1227023903552245867426550027254618823066650987025079409178489555385876) * 10 ^ 70 + 2840248726594537912151331796404093786028349941615923572822469760578967) * 10 ^ 70 + 1455422959470792091344144193979034498938320158434513474064500544678494) * 10 ^ 70 + 4396949455452640862824449625644471755198354176099829893963229818701106

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

Polynomial.coeff recurrence4Scalar0Exceptional 343 = -((((862806759108 * 10 ^ 70 + 3958873564254592187581280549971376661829119354333371656456453175712292) * 10 ^ 70 + 6867069207764265894653376947552821440870397513941946605202306466191177) * 10 ^ 70 + 5905051546637897251560581092909843579755619348911101888164000358835396) * 10 ^ 70 + 4996125837520483953005071298689548457797675371804257273174017066904856)

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

Polynomial.coeff recurrence4Scalar0Exceptional 344 = (((431155619022 * 10 ^ 70 + 9844242859685824393014464289685404206805018535154995535179551231113075) * 10 ^ 70 + 1634811532743022225710692139317287430188096561782336404112311595091172) * 10 ^ 70 + 3084187889351096004582688225025082189635296269194340506620255439894403) * 10 ^ 70 + 2153584489784371781279093323260096005446962687096833626309775515957102

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

Polynomial.coeff recurrence4Scalar0Exceptional 345 = -((((209555422739 * 10 ^ 70 + 9316917031207526430822437709531041931832240939632092979228651506841980) * 10 ^ 70 + 9649002993309230482239322858186681474483976934305262074237336780137246) * 10 ^ 70 + 4071200589689481800197116046832073280064870663315318530609658303121502) * 10 ^ 70 + 6405570943809808061150297398824299298590137490554306428915855395372511)

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

Polynomial.coeff recurrence4Scalar0Exceptional 346 = (((99531955229 * 10 ^ 70 + 5114902121393700750931524659066643692284513753851678084752528041334037) * 10 ^ 70 + 8930008710186067797688582537818553725828627915939250460752055486883080) * 10 ^ 70 + 3659277963832521023388874769950462776069066085814919666031972362210863) * 10 ^ 70 + 219053277901020901955960639785231105067733291174944960196818530058801

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

Polynomial.coeff recurrence4Scalar0Exceptional 347 = -((((46338715682 * 10 ^ 70 + 1853375751110162505452174975867701368143251333040243521765690353950178) * 10 ^ 70 + 3764132739012054499027895113360006618065358449210309780378992884901571) * 10 ^ 70 + 9736226665261813063491154047057183486106351000300518897552696177472065) * 10 ^ 70 + 7320697689001777746283042105203794237102341594795671632400259943476035)

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

Polynomial.coeff recurrence4Scalar0Exceptional 348 = (((21187431959 * 10 ^ 70 + 8617648174026914850606747902408055676262796796823987775761634948564892) * 10 ^ 70 + 5616781111865699253133929885128622430098162209065991085518403016091228) * 10 ^ 70 + 6686949689354591421351097603260316338560600808535926068563264631458040) * 10 ^ 70 + 6617924942659912876133370084740118908514542532675764303826479237512147

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

Polynomial.coeff recurrence4Scalar0Exceptional 349 = -((((9524911506 * 10 ^ 70 + 5968986705568806164126391638428802410253357078063289026224335986544444) * 10 ^ 70 + 1759457670407913036936300318876174558048897458379092594467754159054363) * 10 ^ 70 + 3794729748655135660876803437903290459093967501702240421938246840162312) * 10 ^ 70 + 2890559384974372815283530290793453525170221572801524177714176819169187)

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

Polynomial.coeff recurrence4Scalar0Exceptional 350 = (((4212471451 * 10 ^ 70 + 5659923570943679172632613864831278537152796335758511668504917437131945) * 10 ^ 70 + 9532598207631174428241540515153819155620127790478298864863316354616873) * 10 ^ 70 + 5744903411341940673831990945061691077694064444169805154687902173182318) * 10 ^ 70 + 4732278398648958213410311498129037118683671803420505068446096579671112

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

Polynomial.coeff recurrence4Scalar0Exceptional 351 = -((((1832985740 * 10 ^ 70 + 538301511777684908407662592689885869319311007660042287642580683287267) * 10 ^ 70 + 9783893718191507549619988542850743268866053765733808488898845481805749) * 10 ^ 70 + 7505675178566114688000627750656722276171540830369431168030723096242977) * 10 ^ 70 + 1375517099636958255372477441573829197372143849915444999982482367182443)

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

Polynomial.coeff recurrence4Scalar0Exceptional 352 = (((784558303 * 10 ^ 70 + 4854098743661894853131319756472334392486673754333203124381132869483590) * 10 ^ 70 + 6217198048720663869360662120922350431256786820341926439671792299625107) * 10 ^ 70 + 4299286124506981461987237970449732792946700382205831579474859568626796) * 10 ^ 70 + 8903206333175683699392561207572289024686175356227635599017129698816523

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

Polynomial.coeff recurrence4Scalar0Exceptional 353 = -((((330141710 * 10 ^ 70 + 2816688447825136213693890416395931034460347326916554421016008418907803) * 10 ^ 70 + 1428783991367048455755779539882582103269705705519754187462111412453429) * 10 ^ 70 + 4841169380923770545883594556665427400732563716552519932146258262995670) * 10 ^ 70 + 4636159498641263746882558011374378021552569828631626592000546122532216)

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

Polynomial.coeff recurrence4Scalar0Exceptional 354 = (((136465743 * 10 ^ 70 + 3645308922238207117086431383256799707115911436611303878304923304457297) * 10 ^ 70 + 2544753760365282885805089825631144450160909142798227983636656047010582) * 10 ^ 70 + 4475039529286354641432611084426068020223786073316548610888104430420322) * 10 ^ 70 + 9104790482874479111340820773663451615929791268044277926222053567523799

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

Polynomial.coeff recurrence4Scalar0Exceptional 355 = -((((55347480 * 10 ^ 70 + 8922283064620067169955156813478546662604803835776561149768557925071163) * 10 ^ 70 + 617042337381127188575503421951879295761214584904211194959749058062786) * 10 ^ 70 + 6493046505493161421513873453558416944846971097498951517597456916022313) * 10 ^ 70 + 3287357432921353673791826842090784406986826938374520858638309300054743)

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

Polynomial.coeff recurrence4Scalar0Exceptional 356 = (((21991594 * 10 ^ 70 + 117209148380667335342168343221378853637864999571529214069895881384143) * 10 ^ 70 + 943756875196627567613940890770165569862993947789479190540996046808002) * 10 ^ 70 + 8729913347811572899145967553977364127975280355338388337826854195999242) * 10 ^ 70 + 1737080916706239286572555302285483231004977625666137073481403935038786

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

Polynomial.coeff recurrence4Scalar0Exceptional 357 = -((((8542733 * 10 ^ 70 + 2948836865592444512334228834438577825339597781176374343095154781974787) * 10 ^ 70 + 7068146923438722446355635594678842037493901056203225998112932735139794) * 10 ^ 70 + 266354562344340650161583355779033580407091699520051884501230647225935) * 10 ^ 70 + 7277224228211412024377720747340237265614054065136267990389624528476523)

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

Polynomial.coeff recurrence4Scalar0Exceptional 358 = (((3234831 * 10 ^ 70 + 7325171505310157922797280255071138339909673154884066459541520542509715) * 10 ^ 70 + 7725080641752298967914681606012643503865732724276242504539152908454950) * 10 ^ 70 + 5632411385951154872028371824985154143415248990847615628596462570330902) * 10 ^ 70 + 6356756175592946155657195953553594281323962506433660219764748125550510

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

Polynomial.coeff recurrence4Scalar0Exceptional 359 = -((((1188932 * 10 ^ 70 + 5333856294606041638438803925350240344867767776990734993024365142848435) * 10 ^ 70 + 438241685750105882427520105226600827346487353523876127872145803927938) * 10 ^ 70 + 7918576163235552906387901143693001162774940732369787742000232255634316) * 10 ^ 70 + 9457340308110162336285984510227857152873807991759001111406846213128894)