Recurrence 5 lookup certificate: Scalar1Exceptional coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_325 : Polynomial.coeff recurrence5Scalar1Exceptional 325 = -((((6981011669672070519985349627760637352612396227073839934 * 10 ^ 70 + 5027765386547813225744794496560707950194217922244858582751565125944649) * 10 ^ 70 + 8845980339990468045384821544399002579451499977613770536618675050220377) * 10 ^ 70 + 5624658571123163307256479718753962067520842758335017743378930544127419) * 10 ^ 70 + 7753547572611481984716537196835687717188725480354233610496663427349524)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_326 : Polynomial.coeff recurrence5Scalar1Exceptional 326 = (((1999858745158829028214438147947654915518198019015823521 * 10 ^ 70 + 8307057339007534552660487504389589948808404680234984301752899923691977) * 10 ^ 70 + 2671627439663202879187637599928182654042814804714676442591830138972059) * 10 ^ 70 + 968248614791247058183394779947883289182477064285294528339723916798317) * 10 ^ 70 + 8566732533944146170855815274574245540672066665148344313710189723404370

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_327 : Polynomial.coeff recurrence5Scalar1Exceptional 327 = -((((484720331802151986880896302363276792789003023737551908 * 10 ^ 70 + 5865095297748752657756007736750370234042020939356254694061379614582314) * 10 ^ 70 + 8104045950323732958557253867601225995495482140669063743823412741390613) * 10 ^ 70 + 9206281510714607533395738512054676018721273528456948854550869149185957) * 10 ^ 70 + 295889342601187443861164830347895592559198704165222419871963452251559)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_328 : Polynomial.coeff recurrence5Scalar1Exceptional 328 = (((77861536712291491708012776883206647641357475860885129 * 10 ^ 70 + 2610591834274528081771344846341414937030376070219550412612166349370301) * 10 ^ 70 + 5854990467950952421482663394239840253492705391096723559179693004860231) * 10 ^ 70 + 3657551972455340497836380386495205882003780280351882765260590260244593) * 10 ^ 70 + 9843626522737024016973070227505302914106098081710023993382292848590447

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_329 : Polynomial.coeff recurrence5Scalar1Exceptional 329 = (((8126401939503980184450867628234518997285216109678171 * 10 ^ 70 + 7647392716210606420681078988351276270453133800289514578482796253131088) * 10 ^ 70 + 4266831296589251166326088693276361197858267053088178422998294764974771) * 10 ^ 70 + 7763646083356178121945953354599163559553189548498041285307639520610455) * 10 ^ 70 + 1651303444807034270784779271336075132841634483608662288007128364352557

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_330 : Polynomial.coeff recurrence5Scalar1Exceptional 330 = -((((15246245627741143772919045949981919875916086434618208 * 10 ^ 70 + 8835145513846801574757700830299502947763394805592428366667424293761300) * 10 ^ 70 + 6632749950723100508657894475440806410057627848997073317894914982082012) * 10 ^ 70 + 2895286581779338666999919499609777453085357039257918615267227989463828) * 10 ^ 70 + 8920206205865641610199732401547086912070007976198376064670287596597163)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_331 : Polynomial.coeff recurrence5Scalar1Exceptional 331 = (((9254908671688260651927566640942805577190487360533495 * 10 ^ 70 + 3276153868752118794615668001263701327595196750511866630458334517647914) * 10 ^ 70 + 5697926328906464205326135870203281712757284402560007858315228274994625) * 10 ^ 70 + 1699988547309295459071875461866164105662626299403457987770891240789097) * 10 ^ 70 + 6145759776017619669544442234239339141293733529963060871653996682945785

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_332 : Polynomial.coeff recurrence5Scalar1Exceptional 332 = -((((4319821131833427383040214637498717849476732129400851 * 10 ^ 70 + 4848212410898169628985496604213460449187438998516425427537818910269755) * 10 ^ 70 + 8076832301906452549701834300265481725849663146342304017639946919728213) * 10 ^ 70 + 8796827427237555952711892048572365813861143044823285927930365223333864) * 10 ^ 70 + 6980985354103466425723797752063306171287989288070192642716925408488194)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_333 : Polynomial.coeff recurrence5Scalar1Exceptional 333 = (((1747622127038377971062145729835989237027452181159534 * 10 ^ 70 + 3296083489987224451314962463871752037964913066688202853144640179415596) * 10 ^ 70 + 1968911602776110751114647211754655854592776129221501207621350215328084) * 10 ^ 70 + 287544163425640912717117930368691771557350574785662358533292025268778) * 10 ^ 70 + 3924126803526320677564889074231724570995063375023465971410991278836101

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_334 : Polynomial.coeff recurrence5Scalar1Exceptional 334 = -((((635339146479526744844525977548147957893270839437356 * 10 ^ 70 + 8723987386329382815258709936816226501015950984857245032122531359028594) * 10 ^ 70 + 6879044360023657780082680199773604625843587210992066139241757215942555) * 10 ^ 70 + 6613250799411628561955577212223237206877247989302030354843464665967880) * 10 ^ 70 + 3771722408302227825574465883559368806489368478299092062614340662358812)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_335 : Polynomial.coeff recurrence5Scalar1Exceptional 335 = (((209194254483602807658920542913687090879569992194341 * 10 ^ 70 + 9108957905292913895469047552757696021912230599305592281259996187141056) * 10 ^ 70 + 2162779394349198559939729806308351975693511655217984107303577010720691) * 10 ^ 70 + 4828001542744057983429234562266906663816057272315892698463598359293136) * 10 ^ 70 + 4193549275290365002693357750025967380594916099274339267123312354962983

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_336 : Polynomial.coeff recurrence5Scalar1Exceptional 336 = -((((61584159681038880895881276245662144797017117176693 * 10 ^ 70 + 5178792525775210333431253996829469749529590430039930917782830266119011) * 10 ^ 70 + 4638097905452300714238389262424997136411306032386741402145127429960691) * 10 ^ 70 + 5613974374662441500125474948065331907124178986790219710863645761922345) * 10 ^ 70 + 5445367242037811729184588465974465336798047249434946192391928925334805)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_337 : Polynomial.coeff recurrence5Scalar1Exceptional 337 = (((15429579901558915792964763425826157400843550148296 * 10 ^ 70 + 8440760055702001509876671355348797146950151448394935889974304885471537) * 10 ^ 70 + 1319541170483211763497852548286899629984325128972728762828133989469250) * 10 ^ 70 + 8909507784821729559142504523895820827572662328990914363375762544884262) * 10 ^ 70 + 533880515808910107612647127168340047337642397201838593518440739757148

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_338 : Polynomial.coeff recurrence5Scalar1Exceptional 338 = -((((2734952455314359614882960253713500537153820758548 * 10 ^ 70 + 8017085747324932001942561608264515471434045979438481262375580491951788) * 10 ^ 70 + 3351016739646060159876422657273205357529204856790556606293268608179840) * 10 ^ 70 + 5936877931403023670423429507348164724652378639288367325245666560452196) * 10 ^ 70 + 206622658544787836539521359931401777990613947951811554585943848772698)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_339 : Polynomial.coeff recurrence5Scalar1Exceptional 339 = -((((81040370980485816639449006824007682511888742129 * 10 ^ 70 + 7731761691183368318028346891005859999479621939810812862942480851404044) * 10 ^ 70 + 9279810921752873544246185583691496613430750411894578998707373533163721) * 10 ^ 70 + 9469218147666766576471325414557801709406084865970168929214284633710343) * 10 ^ 70 + 8525411881438792921576898199252388265006774511832766977764998106014362)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_340 : Polynomial.coeff recurrence5Scalar1Exceptional 340 = (((402208908599656776209346551471535618426780403516 * 10 ^ 70 + 4199961728558388142449922457787110681520853501290915642002292695468655) * 10 ^ 70 + 231198593669349289425638144452860793169218154053155327863475396997753) * 10 ^ 70 + 5630107843837263268516293600504168715392537983267567229257419494183747) * 10 ^ 70 + 8855545960504404500639531312441036181746144370525383548539226579751483

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_341 : Polynomial.coeff recurrence5Scalar1Exceptional 341 = -((((267078415310845634386953310686379153337290240019 * 10 ^ 70 + 7709083393891788467575458427142257399634897133668602779539620417458167) * 10 ^ 70 + 4786596119627125079420982816783361508068467089703605870584680246613824) * 10 ^ 70 + 4538082373810817947754275777691261817451942576474293422516951254438812) * 10 ^ 70 + 6458440492166347077933961436088670524389267793251847406719454188009365)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_342 : Polynomial.coeff recurrence5Scalar1Exceptional 342 = (((133723449586943034896151794740785115726301267971 * 10 ^ 70 + 1667083386308073153582294648791639583752019235818318544143219083425158) * 10 ^ 70 + 7006019118262088772749428638665364686464945374786046389741343703533518) * 10 ^ 70 + 5339476298611267763379372299137892121106767178999834593417367571483704) * 10 ^ 70 + 6186842756231655662558854073053159637598857676801415716209031872848084

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_343 : Polynomial.coeff recurrence5Scalar1Exceptional 343 = -((((58839627817863544061256268333089099302491065759 * 10 ^ 70 + 749961105298030121703652525509599976361151008206109815935006886876145) * 10 ^ 70 + 7519608544907787504765732112800854597188421393322421935217719801262960) * 10 ^ 70 + 4538832213950401117162286024149642774350948748394770134814389320479573) * 10 ^ 70 + 6446675750329104331502706389596598746649681867458471739723523883047713)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_344 : Polynomial.coeff recurrence5Scalar1Exceptional 344 = (((23902528491922152207686096022476478414085241162 * 10 ^ 70 + 2401381668388931850584234003729547855386011767334759654063696803358584) * 10 ^ 70 + 7690883300409647869834031260036189980626838315647016050898286963548101) * 10 ^ 70 + 7055217301492979229654468034212956994014069881872144106162065146794960) * 10 ^ 70 + 1505035180874924208931075550105729660221781673345030197479493069723496

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_345 : Polynomial.coeff recurrence5Scalar1Exceptional 345 = -((((9153553349687627416391302121318036985317956410 * 10 ^ 70 + 9500514532383380878808259053686532860525895826414339445436338474372300) * 10 ^ 70 + 4242803297222991990868388263756268872257061228508524795596362576638048) * 10 ^ 70 + 8348956387657799879343714778264853626481437195434896186575395182809083) * 10 ^ 70 + 5113949829505211382266302513593953058986996059303887167367497311307649)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_346 : Polynomial.coeff recurrence5Scalar1Exceptional 346 = (((3334400357466118024108734900302917687557552068 * 10 ^ 70 + 5767661180712230673164892299297370807410419945257195440934048490202073) * 10 ^ 70 + 6826978935726655523772531165889704540101313480163138255582896871101936) * 10 ^ 70 + 2864461878407775405441009202852258479722634764945473881048375449277576) * 10 ^ 70 + 837869031911742602114148512749332464003045153629580136140027025846660

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_347 : Polynomial.coeff recurrence5Scalar1Exceptional 347 = -((((1158194710414622711298915113440740036274471789 * 10 ^ 70 + 3509078228424177566003339464022694074194779181189024017947777892321998) * 10 ^ 70 + 5817961999318667920099117573301903821394556200258621437290707493800896) * 10 ^ 70 + 7905523156218485765538534731855631946533410478643613817025735938008151) * 10 ^ 70 + 465727274149115158448472280828254272299979876477661429811633494621795)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_348 : Polynomial.coeff recurrence5Scalar1Exceptional 348 = (((382673093658485417459159973596297932506329533 * 10 ^ 70 + 7903283754059241976694202722500910665112607037140577304278758083911724) * 10 ^ 70 + 4356995049101435676922336804990880352286697544940552877030562757941729) * 10 ^ 70 + 5242377055188438959706294880553689283320735320643139712322506507510854) * 10 ^ 70 + 161081615636516846920541916496897395256603472050134731452380049299414

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_349 : Polynomial.coeff recurrence5Scalar1Exceptional 349 = -((((119373747711411199822890203618362959449244512 * 10 ^ 70 + 3199614331624638041905458110430565299686935211409030530284302445565912) * 10 ^ 70 + 7187331966248077293236105539919032517743072509383751281090833527260509) * 10 ^ 70 + 2213215775249262433417892244615975582738379784413545308935593478377003) * 10 ^ 70 + 3262225453198645306268866976284460076583168827840552479132015300259193)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_350 : Polynomial.coeff recurrence5Scalar1Exceptional 350 = (((34631825903211563427030094396092625626883436 * 10 ^ 70 + 3637163421005611407584386197964338247307441078803835845115272742296868) * 10 ^ 70 + 6435424812227948311523353177894022837735373861158786489643684354883156) * 10 ^ 70 + 8091365039974052889843313731313511158408112144633632340384924573625807) * 10 ^ 70 + 6212800371923704749428507700787449477636205783352632421258116131302639

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_351 : Polynomial.coeff recurrence5Scalar1Exceptional 351 = -((((9060073319498182279483337602284312981224155 * 10 ^ 70 + 3379300031660528240808969335384997487244437437887340467255801539665185) * 10 ^ 70 + 1883261640104399655812175123648716329859505528051762640598879332248068) * 10 ^ 70 + 3105559649516206910159790436576284988657210215688674091694362391810899) * 10 ^ 70 + 3131014360964627736100802757432352929306512751475336343215006569663515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_352 : Polynomial.coeff recurrence5Scalar1Exceptional 352 = (((1980805415110950226785422581237959111331404 * 10 ^ 70 + 6077208096436068162819672188159011079605083749592721312924584591586016) * 10 ^ 70 + 136635402356955216713299516926067081844486762571373079317422777178452) * 10 ^ 70 + 332941528207659112108562441721996734402502956215816799871171674461229) * 10 ^ 70 + 8642966982160865965161846896532237436747907728990589949134043225975465

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_353 : Polynomial.coeff recurrence5Scalar1Exceptional 353 = -((((267079821905026861913180138214117410530287 * 10 ^ 70 + 5827570032593957263189839498320923859513547138988863686770425336561754) * 10 ^ 70 + 4545417911743910956211709153424021451246576800529251510315009364458497) * 10 ^ 70 + 2198622315983760114958133463995191209840449788823601811307087223639683) * 10 ^ 70 + 5065595152818344446875233371717446419002494245239153660565765732659075)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_354 : Polynomial.coeff recurrence5Scalar1Exceptional 354 = -((((47261386385872206784789243332408512775726 * 10 ^ 70 + 1864979315576653861209538746856005343652902846757924139213590974700885) * 10 ^ 70 + 4617285413781203757402496551314482735394891759229801208306565038523058) * 10 ^ 70 + 733953855141036493579126635797454520690722829223901947804133439735002) * 10 ^ 70 + 4816407298827207925458014613797478616030477341731584400498614950958267)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_355 : Polynomial.coeff recurrence5Scalar1Exceptional 355 = (((58990211533446386351951608782454589379343 * 10 ^ 70 + 1336605342937779435436828718971918703278144154647917440141763161121056) * 10 ^ 70 + 5091485735091181158220063415763223759966463329144166836215258326166521) * 10 ^ 70 + 7226855921126700900460309438764342699943266624889307355888172181939574) * 10 ^ 70 + 8667569202765513416766200227818733895095211477718520407013536810627947

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_356 : Polynomial.coeff recurrence5Scalar1Exceptional 356 = -((((32031465184738691773383630543096320957036 * 10 ^ 70 + 9003370879004421278673987258412615222799225317253253923816855661100680) * 10 ^ 70 + 1723939659020909403905686029289426188207140210641086437176410431609265) * 10 ^ 70 + 9859303566555886483261156019004737358402035062928851169197044543137963) * 10 ^ 70 + 9458781302589531653694376921577940491158784067639286086839404067659977)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_357 : Polynomial.coeff recurrence5Scalar1Exceptional 357 = (((13738430732557445524402460612600878878175 * 10 ^ 70 + 3859817466826495102336465023362331377701800623219817222617135512072499) * 10 ^ 70 + 7214536189972890627029895659658517831908125588066505656192917904463140) * 10 ^ 70 + 718008799824100138555753713518867925882572803911819238733915676165961) * 10 ^ 70 + 1928361147341520149150869176948753002888712462638078249254874815788444

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_358 : Polynomial.coeff recurrence5Scalar1Exceptional 358 = -((((5156345427773385883265017335810439536746 * 10 ^ 70 + 8652027466152951225390660562433768607423437921394780503940774534790767) * 10 ^ 70 + 701891186671169555585688653061012278229900498263135241650076130008448) * 10 ^ 70 + 7909006583864366657026595870050688013559773752123186266441039343087548) * 10 ^ 70 + 753634729278113521235580606457861387664395209928985048894529338895339)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_359 : Polynomial.coeff recurrence5Scalar1Exceptional 359 = (((1749711673750835383947621983870512545048 * 10 ^ 70 + 437166052981821607116271548929083825831919623984161938241015644286022) * 10 ^ 70 + 9469528524586038208465078211491511545177364746952252548437638959624703) * 10 ^ 70 + 2957585194575848144229372610151566082047802656856137387097990651995777) * 10 ^ 70 + 7221392379918481387025622535080577387491218885645145815226817058217022

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_360 : Polynomial.coeff recurrence5Scalar1Exceptional 360 = -((((541163250491718480901443052095624296990 * 10 ^ 70 + 498163821002152855502187280663492472550929379594495678473931394721388) * 10 ^ 70 + 5467369083178315787558655682050358172107589689813809516944928928360240) * 10 ^ 70 + 5841643311505637930489644836621783983729439216982125201560182115151775) * 10 ^ 70 + 5377553771487067974983906302442543569672985746446540381845985749808827)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_361 : Polynomial.coeff recurrence5Scalar1Exceptional 361 = (((151130339649268977957121329015420917151 * 10 ^ 70 + 1245433414378203073616486046753254513588531819050012076404856395760485) * 10 ^ 70 + 3773863139007249485825094828394471945567352138621081771918211733361872) * 10 ^ 70 + 58736149291785062930535936447732577688416195577924357730899831990765) * 10 ^ 70 + 9101045280408994181716794713036233944588889443928660146114953704830794