Recurrence 5 lookup certificate: Scalar0Exceptional 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.recurrence5Scalar0Exceptional_coeff_326 : Polynomial.coeff recurrence5Scalar0Exceptional 326 = -((((2747066439999998182314063750687787517089238948446408412 * 10 ^ 70 + 4710870516419908567256867597558720149659376464014148086195273142224624) * 10 ^ 70 + 6499083878058408064111307399844626144959461108570938060444234661836642) * 10 ^ 70 + 7307398806841384753118389645472647058809095690641197381473385917179571) * 10 ^ 70 + 3771112787119018186692129271132454064546397031795299573297027147823369)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_327 : Polynomial.coeff recurrence5Scalar0Exceptional 327 = -((((5257791222540839090525844434169109943097859178380198960 * 10 ^ 70 + 8840083293094225938163626609479618960668227330839252378785624617332645) * 10 ^ 70 + 7107456327938064196046409227274411530979234212117643477109777832751932) * 10 ^ 70 + 6663815146761677419055471281337948098234357098907928644069943759461941) * 10 ^ 70 + 6974388436852402057922691698729027109944734997695805739237370278653244)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_328 : Polynomial.coeff recurrence5Scalar0Exceptional 328 = (((4207600939650010721166137943377894034463956696803954666 * 10 ^ 70 + 3165351155148441500575163954742032106226023005116937317465940637806340) * 10 ^ 70 + 7163559765410214108227191398839274179740263979479698327154167697730847) * 10 ^ 70 + 8617934319757079251275440115069219571852020960413689404926216570180145) * 10 ^ 70 + 8330899903750590020679947803642169738118430396922551698002220653217757

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_329 : Polynomial.coeff recurrence5Scalar0Exceptional 329 = -((((2291312484886300727949346656819812139824920739353260353 * 10 ^ 70 + 3385174843312891272126628167851175267794735239789433383017031837920280) * 10 ^ 70 + 3324294352636435746623447671086723802300273625930927226302400684752028) * 10 ^ 70 + 36186105591723896277849989565630503769667430526889968649358738347011) * 10 ^ 70 + 8696945329356206408959006769841468481123053120049706635479344648425876)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_330 : Polynomial.coeff recurrence5Scalar0Exceptional 330 = (((1053633269861100662312289168378689525430116001173365677 * 10 ^ 70 + 7241171074143187591136473246368803293100604525042827882310196490047931) * 10 ^ 70 + 1029545741755281899328749290916421886457108213355404611367875155328845) * 10 ^ 70 + 7335224534191776922810267232656286000867842610198691240863621052431659) * 10 ^ 70 + 4561633540297257528834588463143797818200470560335486537968023659992479

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_331 : Polynomial.coeff recurrence5Scalar0Exceptional 331 = -((((433440892111342343754419234352947064714946700478875277 * 10 ^ 70 + 9441169383038366124243332741438989161233532514378486315966443425647651) * 10 ^ 70 + 1704717333904184184504022512955930733297655740427711569617258238248908) * 10 ^ 70 + 5537383701298630980888748931227631455682434709417994752569747911346176) * 10 ^ 70 + 2639240522320818392602026635793633767879184024260705226580388414705938)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_332 : Polynomial.coeff recurrence5Scalar0Exceptional 332 = (((162708593673511922762926200639687423518398199222110655 * 10 ^ 70 + 4049980401110212915977927910552582190895038015218591670333647195944035) * 10 ^ 70 + 8142495429915810156521563754307270078420993964032580189306181017209905) * 10 ^ 70 + 9886120262322629035367010922035585908320659165858292036187481522906399) * 10 ^ 70 + 8538474747280269702518805219284348413021538627485287798822421969705508

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_333 : Polynomial.coeff recurrence5Scalar0Exceptional 333 = -((((55900819516718846813199283165808005656198380656340195 * 10 ^ 70 + 8641112253780348511829354720973442201675164685767235662682165659381898) * 10 ^ 70 + 1318483993205898649598788112535357858764122803045030123696750939692751) * 10 ^ 70 + 2201980157112944456952910659279839740474329701755106577170117426593472) * 10 ^ 70 + 8768563910935421033405963086086104609369302496514915802423766464439399)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_334 : Polynomial.coeff recurrence5Scalar0Exceptional 334 = (((17381808424787047168766027133976260892244495651668037 * 10 ^ 70 + 8849501773617063787528638600659328102316904360083197519330030125324561) * 10 ^ 70 + 9863036471757725328031658548553984767152543772670950937452938733927926) * 10 ^ 70 + 5751334678323282095344200926081570496068608525156472527085198415460134) * 10 ^ 70 + 4959409175721016931653683870861430506652916191879497582580004009094341

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_335 : Polynomial.coeff recurrence5Scalar0Exceptional 335 = -((((4723607119970059416665411408610425831584319944485460 * 10 ^ 70 + 1743648096478615868572162733566105141565535049495763165563360964315201) * 10 ^ 70 + 5186906354234721625570193077358411355655730647665220155076173276885751) * 10 ^ 70 + 2387382072267664729022090585073701504929992983084810787825172123723827) * 10 ^ 70 + 4441838260422485590651843088570961239942428404705445475921697358708938)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_336 : Polynomial.coeff recurrence5Scalar0Exceptional 336 = (((1008625452996816710256352021388569452559022697004204 * 10 ^ 70 + 7417217074556125535847912107432104808864330744365023867275864912418728) * 10 ^ 70 + 3283019310917930971496265258757014633146049494313221445689004143999563) * 10 ^ 70 + 8562892228535906904848041477799136680991889096418918531247458582599719) * 10 ^ 70 + 9750944621021646470519487070909537440256622239608899446615355431178776

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_337 : Polynomial.coeff recurrence5Scalar0Exceptional 337 = -((((89559642193133773083295626153164857165461018737163 * 10 ^ 70 + 1728837989519725224895308244110614257957490559847349543887955150193202) * 10 ^ 70 + 3365286188179069683271370114782105740197181751907098152980117076699207) * 10 ^ 70 + 9826371371509741339666192706474962190142604959611727745978197945396178) * 10 ^ 70 + 1952234210331675711379636417116863419151515178312520367700323887368287)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_338 : Polynomial.coeff recurrence5Scalar0Exceptional 338 = -((((65251682967914524085371561373188515806221714650081 * 10 ^ 70 + 9648547974339788636223487776971368966594928561788297070441239258621886) * 10 ^ 70 + 4166624865158228090961723671133534566220408741275434543623476575054373) * 10 ^ 70 + 5428395497147636172814755640602383529548604914167878369339788122063783) * 10 ^ 70 + 8316479361027504228676599084850991218481538024931964719782302419477806)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_339 : Polynomial.coeff recurrence5Scalar0Exceptional 339 = (((55035479176481824197680201306821440472307537942000 * 10 ^ 70 + 2605647627511603481696899374989190320689457073067505047865876149508544) * 10 ^ 70 + 775721879193847904036831151104664056448453979358701152297210038866521) * 10 ^ 70 + 7527944501924388767373936432054698440716351280317241890489529118979116) * 10 ^ 70 + 261566628664459875553556472500906318918396978961172027523821690461040

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_340 : Polynomial.coeff recurrence5Scalar0Exceptional 340 = -((((29002147947758642213612956414151589841684951023111 * 10 ^ 70 + 5258751861408631932490852462882515515164360713261894727804961778757112) * 10 ^ 70 + 9423583309030528569656950716815187686582520531037262040766288206738356) * 10 ^ 70 + 8713622133172503533080156535133704729666854878384159507605695369711923) * 10 ^ 70 + 5678224339378571548301044630625654438414596333483066090662745542906562)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_341 : Polynomial.coeff recurrence5Scalar0Exceptional 341 = (((12774012295603323444425643566115996107288216169393 * 10 ^ 70 + 2151088543878326580021044269421898803327952645802848210829868844086000) * 10 ^ 70 + 8082884563707668615797222134556571532064985437791039374389759446882643) * 10 ^ 70 + 9911583165104746821359415178206200569025407136111007683621286186437012) * 10 ^ 70 + 5323106215507298664946597956635946464541557814539491944703768197579912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_342 : Polynomial.coeff recurrence5Scalar0Exceptional 342 = -((((5063569260817300277435314368566006146125208848686 * 10 ^ 70 + 5419069859902879688015698549541056029061265847397034333799323228889359) * 10 ^ 70 + 5612436354241187336660873851832423034482463096916674250689615721744126) * 10 ^ 70 + 6394771706433597555974791195680632428464336515262325132843022988495309) * 10 ^ 70 + 9260334819533940268642086518581409659942331022781114396007213001517553)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_343 : Polynomial.coeff recurrence5Scalar0Exceptional 343 = (((1860600738519427965115696059908107669335999198315 * 10 ^ 70 + 6596934125668360852964439487818408563305291056534185938820301524289003) * 10 ^ 70 + 8525996082627763913950862523641456700241969287968250844726046819215676) * 10 ^ 70 + 9643354130763586409750402417807621014852792390923660253307439958660639) * 10 ^ 70 + 9117577189620815843048074239226907730645413349733257411065764530812369

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_344 : Polynomial.coeff recurrence5Scalar0Exceptional 344 = -((((642096390938862448510795983394480983444136232008 * 10 ^ 70 + 3297233644950357083563029188052708482686303967866689606757545790485368) * 10 ^ 70 + 8597760674122472546494235985932009087424214108208535940526829195935741) * 10 ^ 70 + 1669268205241753714021691152532232189635958386365867841374437623447932) * 10 ^ 70 + 5042066132409290688440716773039945630730457829403686674277973325150895)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_345 : Polynomial.coeff recurrence5Scalar0Exceptional 345 = (((208861938808014664846618004280586552698238668410 * 10 ^ 70 + 4068965427007496849104616463812078135710500220301193119844814677400965) * 10 ^ 70 + 9088859993926516957838788529130727878604292820355307039947916441224428) * 10 ^ 70 + 1939220637764347515402140358868839954394083418361057202658682521614645) * 10 ^ 70 + 7486863576788984685139671735320468195399272376688646386523832359020466

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_346 : Polynomial.coeff recurrence5Scalar0Exceptional 346 = -((((63692719109363950480920720904738826916493374887 * 10 ^ 70 + 3051488601156912611122379433733907459897187052590935883730106777752935) * 10 ^ 70 + 6786618744617734725378032552226299328480152588428285217476192165972136) * 10 ^ 70 + 3448947261287312166706250538262652270732358026032743181573025294301132) * 10 ^ 70 + 9076268703620895990399771500260542505349560428035570473352919495889854)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_347 : Polynomial.coeff recurrence5Scalar0Exceptional 347 = (((17865354980729119336343271776243638521048802271 * 10 ^ 70 + 4662625892180522395063121082846531769365253296469570438691662901548118) * 10 ^ 70 + 1950324934660229185744502418242092693125585569826555092393287911269623) * 10 ^ 70 + 7624902141341438833948777276408685736508195878540404572712485140773620) * 10 ^ 70 + 8285599640557357823381835087500772754473230944206169349982636239381953

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_348 : Polynomial.coeff recurrence5Scalar0Exceptional 348 = -((((4383263500393211992565853612954283929070813713 * 10 ^ 70 + 9424782541748996906048638030692726294899613645538847460408704249146473) * 10 ^ 70 + 871916476152364712590076026499974214916893524164199498735459938300336) * 10 ^ 70 + 300231923960606509014749333578257641500487675821063162550732492651173) * 10 ^ 70 + 7149375537585993008356064417670190429763736483505726723479817697611974)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_349 : Polynomial.coeff recurrence5Scalar0Exceptional 349 = (((797053299766139099346288203769713459144599455 * 10 ^ 70 + 6090145655689067351480170997768183007578297066055130897049562508113983) * 10 ^ 70 + 6431720627254133064595632332348195361727426049825267328570525370741924) * 10 ^ 70 + 3974070746742490793848477750369289565172598351124028809395240006107573) * 10 ^ 70 + 237571708239250889215422226610118957008680738544263479932034065904934

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_350 : Polynomial.coeff recurrence5Scalar0Exceptional 350 = -((((4201634400321408944451603950553309736771346 * 10 ^ 70 + 719750106495410271037773199482631864561393283405025552946085579952301) * 10 ^ 70 + 1109196581005503164551278488792443942990628323355910791466990824585630) * 10 ^ 70 + 1335731421265945996746759016269590526695362478146254472453515808199350) * 10 ^ 70 + 4777270987454789717404325581847481756542675863428724640314753726257531)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_351 : Polynomial.coeff recurrence5Scalar0Exceptional 351 = -((((95379688430304620326908602977069052505101876 * 10 ^ 70 + 5555103290758720223905471512622289665141259465869198005297537215242137) * 10 ^ 70 + 3005288652516389734321157200486766412505793964295706899545515016982779) * 10 ^ 70 + 568465096362248659679562215773571175998138189950354858327586423564632) * 10 ^ 70 + 8080347275009504953278273528800900957120172745033412165257177789690236)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_352 : Polynomial.coeff recurrence5Scalar0Exceptional 352 = (((65381653205322653450602271643130929563547520 * 10 ^ 70 + 4463935005585376002303021315888824998228460575565812791740866981672564) * 10 ^ 70 + 4037852669776227978087589365431506694510394845469900034219126716040796) * 10 ^ 70 + 774038884481593290402394664298969773072213398996668733407098975401021) * 10 ^ 70 + 7641221297117096365777483939908082632180532490496138204397035408543334

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_353 : Polynomial.coeff recurrence5Scalar0Exceptional 353 = -((((32606386177886934842437961116508112844295730 * 10 ^ 70 + 231533944060761435334507738526919208945709997673918798475417223566335) * 10 ^ 70 + 4198760422524541669988333561064095917753733660090818217926579629146703) * 10 ^ 70 + 4265735233866281089815278278381769445700091406237566205022868131089893) * 10 ^ 70 + 4171527190515817089195225868619857758174850018593679500431605334873361)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_354 : Polynomial.coeff recurrence5Scalar0Exceptional 354 = (((14022394768169069107385869225036453572107249 * 10 ^ 70 + 9301684146889411159744896391256444510074608304611199879580327025559663) * 10 ^ 70 + 4819415436021977228919490704339901310187425828219243118092647408708778) * 10 ^ 70 + 4813652423991094029595986235399347892049711015101714170621817354717386) * 10 ^ 70 + 948408984348113051541396311205571095066431304844524142214911906382746

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_355 : Polynomial.coeff recurrence5Scalar0Exceptional 355 = -((((5463664266547542739049268512751724497510170 * 10 ^ 70 + 9547237394064220852139689617604632408745320563786470637308289719686776) * 10 ^ 70 + 2371953719021611279938411750018343674727894975508517814320700443895891) * 10 ^ 70 + 5979548053860607930701303710751007010775083550835696358623873352533092) * 10 ^ 70 + 3695703584968132260575551727650329859367713640337434031633852282778397)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_356 : Polynomial.coeff recurrence5Scalar0Exceptional 356 = (((1963853466239695736447519615276673527520707 * 10 ^ 70 + 7123857850303783729613845374003184173918824195947153695497550224397428) * 10 ^ 70 + 8473931890896579627313543590350691676072401686840529306729067343803590) * 10 ^ 70 + 4184267366238331882352123431095455989509294344766572105268042968111869) * 10 ^ 70 + 7151321226955832898052795847274925788112929512106039803286706238834176

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_357 : Polynomial.coeff recurrence5Scalar0Exceptional 357 = -((((653971634208236508422508507482731349223005 * 10 ^ 70 + 9462576974595850565416683807578660067094770978369801599709749544144014) * 10 ^ 70 + 4009132329280724037102087229997374483529250835217387430284137907510223) * 10 ^ 70 + 6839084304256968131371640873699628632545820520866966940315142825531272) * 10 ^ 70 + 5337450570723488743361211900770319751550108799911535378728545043698514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_358 : Polynomial.coeff recurrence5Scalar0Exceptional 358 = (((200603519916932424337079802430646815605006 * 10 ^ 70 + 2150453700678051852972275826468032403918620155687882916821309660211010) * 10 ^ 70 + 6372831484237862204895765521459018788502624972647195369685937593848593) * 10 ^ 70 + 934787980964951773367111967933540501921412459160999624843399541442449) * 10 ^ 70 + 5599369989371081414006281454520920865838190129180734190635852269779939

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_359 : Polynomial.coeff recurrence5Scalar0Exceptional 359 = -((((55611451859368627370791150994710356789099 * 10 ^ 70 + 1013167271010743486190444871182089347972008492659616956664819296903723) * 10 ^ 70 + 6228752667118953882474266985360532739729827424553030808783281131842723) * 10 ^ 70 + 6380300746922897611893057887930909851125861619738528662100244548602522) * 10 ^ 70 + 2787616516886421832562766722309604396757801457334166373809759090317707)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_360 : Polynomial.coeff recurrence5Scalar0Exceptional 360 = (((13269212390137662647129610774040432331272 * 10 ^ 70 + 4079156245765851015502873874971423426917032651910897544201607297647207) * 10 ^ 70 + 731141687177513374414492813273870358670199811722724832337169311873170) * 10 ^ 70 + 7209743163873237970606437274581418801978878633993459135330600832006889) * 10 ^ 70 + 8594331261879659473786790619657959815179427464008547478789968949464851

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_361 : Polynomial.coeff recurrence5Scalar0Exceptional 361 = -((((2325141261842626191789332210481143943264 * 10 ^ 70 + 2970544947113445245456878968718740596331819150961395131228477334600094) * 10 ^ 70 + 8907589780040692554292535835500722007755100697382175315515385516817963) * 10 ^ 70 + 5935778336705626103082949249733043924326615807765278902117806927844952) * 10 ^ 70 + 150975927391128972862031335227593715463577256691357138722966278126257)