Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantRecurrence4LookupScalar0MainPart1.Coefficients251To276

Recurrence 4 lookup certificate: Scalar0Main coefficient convolution #

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

source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_251 :
Polynomial.coeff recurrence4Scalar0Main 251 = (((18826596313348861416682812645 * 10 ^ 70 + 2129471880273059111022875856277614563108395758913838873233476648466009) * 10 ^ 70 + 1545146361650557998671094509654817982802606821248732088687438070330504) * 10 ^ 70 + 5610197845876171911165355174576429037396306271540096526300654996182393) * 10 ^ 70 + 6312441512879774627854303884321036622043558138043700090059118187509479
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_252 :
Polynomial.coeff recurrence4Scalar0Main 252 = -((((24108343659493994412168926755 * 10 ^ 70 + 9587257840893942863398723773654025027272319190202925151043833236529858) * 10 ^ 70 + 4626949663765964354864885701328462933329580200994685759340242122604724) * 10 ^ 70 + 9746141414804769461648592690910347904125103484474045138586503110457449) * 10 ^ 70 + 6218430538946109747417403632611983626572178115218277757439889670784090)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_253 :
Polynomial.coeff recurrence4Scalar0Main 253 = (((29630126859649570758330535110 * 10 ^ 70 + 6536556408804215511234318069287185948209003309033218301690401062756724) * 10 ^ 70 + 8402336756605035464014539877060519488520730558867364243579527102176731) * 10 ^ 70 + 5955922094678096652029675845211656562009124584453877943679204760462488) * 10 ^ 70 + 2722551107795271067503749097449421384979849687484172255241069441071789
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_254 :
Polynomial.coeff recurrence4Scalar0Main 254 = -((((35213407200981625385372077648 * 10 ^ 70 + 9278973831019294156917268811676073472983619647693485812665449152332516) * 10 ^ 70 + 9257878201331799558889395737677231762577630645000269185832623209593490) * 10 ^ 70 + 2427913194274973631354685575352258032295250541822085862202800192193666) * 10 ^ 70 + 4746560767325722578807557927621796430259506646566126285483048460161872)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_255 :
Polynomial.coeff recurrence4Scalar0Main 255 = (((40661381222122019828715392908 * 10 ^ 70 + 4296427152431722283176372531909760324165254913862359226685837005571147) * 10 ^ 70 + 1714465028423273734404711490552511159831474660590789979872296789491406) * 10 ^ 70 + 640218761421924272985666835464098384291871748747916839960740304065544) * 10 ^ 70 + 684422286047322614936969870275872637287249967822562711777760396847505
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_256 :
Polynomial.coeff recurrence4Scalar0Main 256 = -((((45770357633236379337933707547 * 10 ^ 70 + 9794160580238481583191520643605355588321799433869737303377185016250719) * 10 ^ 70 + 4288718633732012853424828535025540482375712107038042781904534293502033) * 10 ^ 70 + 5751668196842825292113020574666886081708541058360411083945503862303907) * 10 ^ 70 + 313244442106173107792195343189222547677633523823847711626115222041758)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_257 :
Polynomial.coeff recurrence4Scalar0Main 257 = (((50342323619984184079818495942 * 10 ^ 70 + 9276178315089020108982351896708591241968794222450982341503651985462113) * 10 ^ 70 + 2253115231314030243701672385617974171873797451392836090602139014714828) * 10 ^ 70 + 1940419423104246721612577581901029832139894058774380877209910587844858) * 10 ^ 70 + 9068303021381251562462479191470092114115090426748863660444971372808187
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_258 :
Polynomial.coeff recurrence4Scalar0Main 258 = -((((54197624653967149695176024136 * 10 ^ 70 + 628338533144728654313539400003267759450806488807917731201395005142543) * 10 ^ 70 + 6566293714104898932993896671460583033265203437891751100887389828189670) * 10 ^ 70 + 7006163633043092376792231598612783479999272797217903805391130960312110) * 10 ^ 70 + 9858327306202565612758708252557847301091067027079040929946372591935753)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_259 :
Polynomial.coeff recurrence4Scalar0Main 259 = (((57186629663546873045412276329 * 10 ^ 70 + 7574902538364362238181514777075270755710769646214196941193704675406596) * 10 ^ 70 + 9371255378245570590903554475420736021253754851660575367341253258612844) * 10 ^ 70 + 8214119537767565170084020815306040749180037593331317429095294401515436) * 10 ^ 70 + 6948712076072871688065841674637276221455649244285948448645402953680766
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_260 :
Polynomial.coeff recurrence4Scalar0Main 260 = -((((59199329356625437071521038169 * 10 ^ 70 + 6448315903387522422627789682969194102309577208428997492398766391546952) * 10 ^ 70 + 1796101801467565921035745393949858499822797180231679467154986875501383) * 10 ^ 70 + 8076346353660884223420371050913500085122469869810382874648156762257747) * 10 ^ 70 + 3874313427037066834199912256692122205505369897543719875172327684113528)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_261 :
Polynomial.coeff recurrence4Scalar0Main 261 = (((60172012599744995288894168836 * 10 ^ 70 + 9658892254697540192277037982262947879275698402682062790284848483038271) * 10 ^ 70 + 4082153067697159742608755500629263736675050428091190601634890690949354) * 10 ^ 70 + 2345108665860611353026342873649305115250400952422365527087504331645414) * 10 ^ 70 + 6830302128500456142513253664371672265270682772812062412128449048229868
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_262 :
Polynomial.coeff recurrence4Scalar0Main 262 = -((((60090460065637001789468993062 * 10 ^ 70 + 4339260292531952821171185119764076431507578402817178490349236062654615) * 10 ^ 70 + 5687916297275837195855763929263077261602579609226415583863734783721100) * 10 ^ 70 + 6721433314674682528790674986920806750995573490038146510050845058108462) * 10 ^ 70 + 3514136059649021172857652272654798785014690677937545091418296826148335)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_263 :
Polynomial.coeff recurrence4Scalar0Main 263 = (((58989448480038012601651661754 * 10 ^ 70 + 4371977777864714335882710447220905138074215417604996026711207947356200) * 10 ^ 70 + 270236823260673602847547280133865909575322959470316898799164715741599) * 10 ^ 70 + 6071492464462913691762323898192591399666270834705230560087998891938909) * 10 ^ 70 + 5711679498297590886360172865252037199465798254179674962125923101982014
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_264 :
Polynomial.coeff recurrence4Scalar0Main 264 = -((((56948727654054044018051258601 * 10 ^ 70 + 9152883188669745141142892453875657544348881426064403396909270530636303) * 10 ^ 70 + 6493137831523389959730448240403502845631252369876797191429507236382309) * 10 ^ 70 + 3306442849601615613736221469406813900876772611048379894873616330577064) * 10 ^ 70 + 1073398719138388613224540583940901331779247898631482826503077531780891)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_265 :
Polynomial.coeff recurrence4Scalar0Main 265 = (((54085970181016802650277640969 * 10 ^ 70 + 139215668567262897239749059566149525070770973955423719884111353276890) * 10 ^ 70 + 1999116436875173472359931608644373727913739120302556981892945377337533) * 10 ^ 70 + 4692810414648833717043244213839411473156947746604897826094930715658411) * 10 ^ 70 + 2402269971134481570601727236330326534277666273347051343114333945787771
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_266 :
Polynomial.coeff recurrence4Scalar0Main 266 = -((((50547460282718034354826401799 * 10 ^ 70 + 1567917857873331882126227424690679013945605077895572259920271856007268) * 10 ^ 70 + 1731494283266192972794708194842987276013358334143610205328005181784994) * 10 ^ 70 + 9596727122775831141053334891322103374095458957016185119383876465161797) * 10 ^ 70 + 5927536797475543400333164774157686345285367810548213599835532172652730)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_267 :
Polynomial.coeff recurrence4Scalar0Main 267 = (((46497455433466394699065495516 * 10 ^ 70 + 736213626634304233637319850522787256772702057889205523243429084557982) * 10 ^ 70 + 4261058492171187427895259067838241478142182063027347292314676696235387) * 10 ^ 70 + 2646782843385823324639624542084482592607121305249287796159653390109212) * 10 ^ 70 + 9573135941384564529174280297799892585525060231275648549905255825225084
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_268 :
Polynomial.coeff recurrence4Scalar0Main 268 = -((((42107208697984143826218063302 * 10 ^ 70 + 9267090999351082579662257925219807434996462540271970401044648381864124) * 10 ^ 70 + 5603903017096106811351549125960585769804538414193952815632036786465126) * 10 ^ 70 + 7332612720938464163960779520221202413966063860309896289561934990872890) * 10 ^ 70 + 8491489902531065693887914148861495863389563875240257665224579726748020)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_269 :
Polynomial.coeff recurrence4Scalar0Main 269 = (((37544583697832009764192426927 * 10 ^ 70 + 2034054778009759610735753547167055197856026462760767208041870080197717) * 10 ^ 70 + 5705408901845992101315341966910506534506857923869346335260709245712521) * 10 ^ 70 + 4592193926257857343559892310238537394422831041796621223478568383575737) * 10 ^ 70 + 7974671429020731698543000294584602680051632441896520218311688318588502
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_270 :
Polynomial.coeff recurrence4Scalar0Main 270 = -((((32965044500253462428144066920 * 10 ^ 70 + 1034141212458845591767514793237085252311988524396256656499969901592435) * 10 ^ 70 + 5732257014056003741807000267454161308098940511496778183819534741362074) * 10 ^ 70 + 7549287188951760275213582777357626161114943150158891039551834273763789) * 10 ^ 70 + 4860904511468058201174787688219538437801995878328471373438450741611624)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_271 :
Polynomial.coeff recurrence4Scalar0Main 271 = (((28504586748499487901200439627 * 10 ^ 70 + 3207547029888574433850643816071574012371319555393232346118352918519133) * 10 ^ 70 + 3413251657129158191501650308164536159753780024152902987466090182010031) * 10 ^ 70 + 8575419903383598625693489921293199019548472985397686438988214685905456) * 10 ^ 70 + 4536744051054675799850879107009334130219968685774868366039083604949756
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_272 :
Polynomial.coeff recurrence4Scalar0Main 272 = -((((24274926839061116034028166860 * 10 ^ 70 + 3105820100625149843460220149063939435973469881057006138464128821347111) * 10 ^ 70 + 1755433233012316531135183904143194174193094136174433399429268478655118) * 10 ^ 70 + 3847045846204039440208171592342223358625407656639788975565077151717687) * 10 ^ 70 + 2334804953235016287443173142129708458806770720786687027101527714694719)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_273 :
Polynomial.coeff recurrence4Scalar0Main 273 = (((20361016041857458601942848966 * 10 ^ 70 + 7097702853675928787151056670205062557932595372536056822485979401437591) * 10 ^ 70 + 1747792469864240400647932127332350299222151243434626669675155917381760) * 10 ^ 70 + 2141933180334462279487950379735474491911255079159451369911706123819686) * 10 ^ 70 + 1258116763154733375119654103927598351138051823910697206603263403485735
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_274 :
Polynomial.coeff recurrence4Scalar0Main 274 = -((((16820724976265675904144996466 * 10 ^ 70 + 2814490750124060756222576418749842872833405310099872459682768562670418) * 10 ^ 70 + 7790990010024394163884946156025891701223036035878632490555678283439466) * 10 ^ 70 + 655431279918865787558882211281994126232005925347353412788433318400229) * 10 ^ 70 + 7042774925347318590450094112997499685729763356979551080754755829038001)
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_275 :
Polynomial.coeff recurrence4Scalar0Main 275 = (((13686371919179525915662105531 * 10 ^ 70 + 1664472335857390440840526222968918235055895147177147725036552170256803) * 10 ^ 70 + 5323909458339831144862988084988816781716658089325422917255851089276030) * 10 ^ 70 + 6252706245876259741785841537828778148051555896254644574145791816277041) * 10 ^ 70 + 567851306226583950420397462603374824249303875705932767564508001044101
source
theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Main_coeff_276 :
Polynomial.coeff recurrence4Scalar0Main 276 = -((((10967657702568847840785187737 * 10 ^ 70 + 6603755487632461223133769931309368712580792283519907118380714595288029) * 10 ^ 70 + 1631055372369462592922682135485926194396477663036505481615397835748951) * 10 ^ 70 + 1857230980690619707029703202113579550244464060424455678630880523047046) * 10 ^ 70 + 3446866442021715456571429596767762301218362662262296377932377382871557)