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_111 : Polynomial.coeff recurrence5Scalar1Exceptional 111 = -((((153822198687088056604876491 * 10 ^ 70 + 6327978720447095961792814706809897364144104544581359175666495588412941) * 10 ^ 70 + 5798191190067308101801928100622992615733352517480946906252037865635437) * 10 ^ 70 + 6903677189161880327523908299895544332518983525638899905070488235495791) * 10 ^ 70 + 6328898033227677707891508425151085797658199406442462901654959450737518)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_112 : Polynomial.coeff recurrence5Scalar1Exceptional 112 = (((2572851457612651340066347305 * 10 ^ 70 + 8113135131426644419995422783050982621771348241783706460866436969893175) * 10 ^ 70 + 1823223871088678920231714614609593076841795655176345461127291894352110) * 10 ^ 70 + 7618605021515568330502295430147267195513858891175932426595788651654294) * 10 ^ 70 + 8766977634017066075386908123374192491658062081237125769419730243553096

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_113 : Polynomial.coeff recurrence5Scalar1Exceptional 113 = -((((20396769437179821754317177969 * 10 ^ 70 + 2119055351806283680305502047163594936318236839665954907857800095334779) * 10 ^ 70 + 8858633481894704629572376531887710420070638927586819842912254066976376) * 10 ^ 70 + 4620438267306112124421270551467906290078200560409947257421512578673427) * 10 ^ 70 + 8020244072698270086949031114477564560194060621816995371785254361114405)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_114 : Polynomial.coeff recurrence5Scalar1Exceptional 114 = (((110203563311769230938806089602 * 10 ^ 70 + 2910374503816196671218253085961247828888330014421146370581004342662993) * 10 ^ 70 + 2738990341899341225752759997836137932157508699591990077094691601578658) * 10 ^ 70 + 7197218689263660828805707062068307660883044587704092081960217561808902) * 10 ^ 70 + 8512126682873621192232702578257965418538245112472265713411539531424561

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_115 : Polynomial.coeff recurrence5Scalar1Exceptional 115 = -((((359452146661195945470244090450 * 10 ^ 70 + 6756551886071619542498936536023427818228019459678151603734450811338563) * 10 ^ 70 + 3762839764557463678010683677601460893933999172162759936118711985411152) * 10 ^ 70 + 8717331898607526616837760965860210307691589680175943895834870350146922) * 10 ^ 70 + 1242312414205535154342769495398342704659448211204150499801228794497869)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_116 : Polynomial.coeff recurrence5Scalar1Exceptional 116 = -((((364688049177329766932389076269 * 10 ^ 70 + 8155374513706599179342042155380429821194737814665685519456230354165170) * 10 ^ 70 + 7719031751010739203623717836417433037966339480828698467608932843477586) * 10 ^ 70 + 1028657397658126994375896812886102229085883626880204538930368586891830) * 10 ^ 70 + 3465721877235702131918999783170491021544149152923089077569305663838991)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_117 : Polynomial.coeff recurrence5Scalar1Exceptional 117 = (((16116023543728134545094576098448 * 10 ^ 70 + 5467364107493009718479817186318391383843319669224363706792031504920586) * 10 ^ 70 + 5910249634538236685533558712214378209967017210388090865412671333603820) * 10 ^ 70 + 29534278793199953800307856946687561121385906781585098007359646208915) * 10 ^ 70 + 7942421646475550430603794313072834906996176056491080122113449028511019

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_118 : Polynomial.coeff recurrence5Scalar1Exceptional 118 = -((((144470379258433059024894046298854 * 10 ^ 70 + 8855100592676405111904913297925359624894568897033212138910991876187333) * 10 ^ 70 + 2359132490809165948845412207296442853316714423033782570996171969484984) * 10 ^ 70 + 5586245593726983189853108018274840845514470509717185460678194122340045) * 10 ^ 70 + 1529423318094183809461984224507880556241437098606395669933560073332082)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_119 : Polynomial.coeff recurrence5Scalar1Exceptional 119 = (((856414687105059767591500012605172 * 10 ^ 70 + 9659318072718201181506081390873167649930288976542038365386018027677884) * 10 ^ 70 + 5609790600397789194675052880438676843300853328668439727012553643672) * 10 ^ 70 + 8429546527815175959663582191124575340641752805422100187620547981262142) * 10 ^ 70 + 7233215770800720946396427900573437041904293909996785772259498998257025

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_120 : Polynomial.coeff recurrence5Scalar1Exceptional 120 = -((((3475739936214307324165877268089393 * 10 ^ 70 + 5017359915207607530304012232710370919710804344265231928978519237046994) * 10 ^ 70 + 7689914908241865867849662016569509093988157534641085099298762351628611) * 10 ^ 70 + 7863931662231624662079324025083930076909668864387284906744401977147590) * 10 ^ 70 + 3658320303821349546707658479223726693768946441887229172833977470427657)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_121 : Polynomial.coeff recurrence5Scalar1Exceptional 121 = (((5597707418334473735472584486410607 * 10 ^ 70 + 7336053701186740392719612560630795606856892337427806691889771953049351) * 10 ^ 70 + 9749730272570398355435084001119789874510913094402399574268788216106864) * 10 ^ 70 + 9863327209434807477713220422697762633915325560635263031475610082179335) * 10 ^ 70 + 6214093532136946741546871303011991940838579269262915037116442476715224

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_122 : Polynomial.coeff recurrence5Scalar1Exceptional 122 = (((56118925490995753875947032047725600 * 10 ^ 70 + 7011196903180109281768626491157840990045131599940112673579378980155093) * 10 ^ 70 + 476215230817546216407882935145050466807067323295316899582966711108363) * 10 ^ 70 + 8627564843937388738846346214943964348127999762188412069279263681944729) * 10 ^ 70 + 9731005445223862184496449226459289443772896562543433187829760686402750

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_123 : Polynomial.coeff recurrence5Scalar1Exceptional 123 = -((((695454622774855008116944774888909059 * 10 ^ 70 + 5287042540415300527692104770053167282250349510997954756743053004897145) * 10 ^ 70 + 1200388345397980035115475332502993654842620245700729256659629408200283) * 10 ^ 70 + 7450377231153707241522782390869977220152756805444858350918642986641303) * 10 ^ 70 + 1656114442815836035729715698786621153403336223093570944773877925524722)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_124 : Polynomial.coeff recurrence5Scalar1Exceptional 124 = (((4756471398499278460496064375217305006 * 10 ^ 70 + 7917357031937934203053684863688626723090907705435773244219428424322845) * 10 ^ 70 + 96776616711330840131380108013099727404089106440132821240711723085060) * 10 ^ 70 + 9781692279856632083400519991798281646869475314192236264105779152281404) * 10 ^ 70 + 4494983309713473048421200333392865606241594339082188097733777869501829

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_125 : Polynomial.coeff recurrence5Scalar1Exceptional 125 = -((((23263016354632531722857249053013075650 * 10 ^ 70 + 3388711847071852738839458828314451660454853361727231860788089265339410) * 10 ^ 70 + 6985056742418555755813190357511385396397800657544550050336762838017737) * 10 ^ 70 + 9113723507538633612737190382637224973988060431244280907685260171468173) * 10 ^ 70 + 4890161198387238309593896800170818460523316256195299167830354230976986)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_126 : Polynomial.coeff recurrence5Scalar1Exceptional 126 = (((75139192589802430420926885511415880322 * 10 ^ 70 + 9343972390860326833517446803737132146282245564907249277992704393300389) * 10 ^ 70 + 9623202420590691516180697362333310910083044618732651612984279861949818) * 10 ^ 70 + 6210753837409233776414367372166380154031498490136151769596834359555658) * 10 ^ 70 + 7873928649625685169525844362979357459073194670349627171826974730830840

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_127 : Polynomial.coeff recurrence5Scalar1Exceptional 127 = -((((23411604634051737028834461034463845370 * 10 ^ 70 + 7123986310780850101930078767731994947940507499578008732691062096073053) * 10 ^ 70 + 4345002068103261001577025947977662006224049664421910878245091946295925) * 10 ^ 70 + 2123483692528533990362818340544864611178358079927234416664951717208803) * 10 ^ 70 + 7013127751519736459698252678467759672992057121134754155715515888759688)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_128 : Polynomial.coeff recurrence5Scalar1Exceptional 128 = -((((1869766042594343286339473917659486694123 * 10 ^ 70 + 9929472474403486985953394435436301639901628241857780133056363730330848) * 10 ^ 70 + 2954478574701130912658119961614737439243630212772358851339983958078961) * 10 ^ 70 + 7638501075876379337639395595852094081396773089748415104175276580688875) * 10 ^ 70 + 4108972228597162913228634802644322868450336340615415518669008477540276)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_129 : Polynomial.coeff recurrence5Scalar1Exceptional 129 = (((17329848844166565282516397364142787028390 * 10 ^ 70 + 9879046555193680787479906551070815206071032103175177390384212595994454) * 10 ^ 70 + 9540419685177343562579131540988600889415938840845917221687451610155771) * 10 ^ 70 + 711336008414642071722760800068940312081931747937240073881489672420999) * 10 ^ 70 + 7528550012328951205666241671713708732012498886836617852106204333864035

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_130 : Polynomial.coeff recurrence5Scalar1Exceptional 130 = -((((103911987218010750096468178882389929013926 * 10 ^ 70 + 7055245543648549463324380153511840655199748634301453424101112064955165) * 10 ^ 70 + 9267579818269553173581907428943810504601047034304930286875158927629749) * 10 ^ 70 + 5980001645086985362064465558152864783538146119969442887626310360797346) * 10 ^ 70 + 2526694514777034259462548651371789333916033807995210566380623979019041)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_131 : Polynomial.coeff recurrence5Scalar1Exceptional 131 = (((462972728182337582501443041964675317688639 * 10 ^ 70 + 7050290466462163963311560490785301421016103838286798533288823844812172) * 10 ^ 70 + 6246251595195987779512751752496812845952473803793884130589206429878097) * 10 ^ 70 + 6141717598619069095861023180056333131870406279616978710891499132540891) * 10 ^ 70 + 8369497226548099887346082751275973732771212216147485467944226765066164

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_132 : Polynomial.coeff recurrence5Scalar1Exceptional 132 = -((((1391118406794693419782016961116393257072256 * 10 ^ 70 + 3727223792381636488571020175186064206057594210638087231771072257491255) * 10 ^ 70 + 6252726845876760727332057451088428395460202189465031254553505624428610) * 10 ^ 70 + 3154879838967356107191251780496859810760012706514677260462813744186880) * 10 ^ 70 + 5532448814096559065615952682473237635227136012664727079827106533672402)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_133 : Polynomial.coeff recurrence5Scalar1Exceptional 133 = (((468246950476744962823470894500824857983240 * 10 ^ 70 + 7787158255469628501588967143992987775907590961423954508746698877321015) * 10 ^ 70 + 4275311428433691589489068733828198712144031792781439975692355681611884) * 10 ^ 70 + 6119414391633012422715579831907603943908890106958791056762939740407462) * 10 ^ 70 + 6615712987764523540185195656304214964184289114772152972678909047464089

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_134 : Polynomial.coeff recurrence5Scalar1Exceptional 134 = (((30229808038361437264038151694852037289768981 * 10 ^ 70 + 7679491219908734054385889435191173525639889568592326431646225641084855) * 10 ^ 70 + 7019362703904452550902935765858135600582561173228520056760419044764953) * 10 ^ 70 + 136847449811126368303788388300479413693823386193458740566914601016908) * 10 ^ 70 + 7618510590967515349860497508698879121436019168791459051054831430927830

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_135 : Polynomial.coeff recurrence5Scalar1Exceptional 135 = -((((270882609984981242780711579507452156975963132 * 10 ^ 70 + 5586194458952401519962329079616664658970613849565765070748651066159969) * 10 ^ 70 + 6474575529705775333879781528024130152243317465649528035929519442375376) * 10 ^ 70 + 1865701498719709207648738074791194093755202081712634399395674371531426) * 10 ^ 70 + 1598625204312291408458263859555839543203567781170776991280973432535305)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_136 : Polynomial.coeff recurrence5Scalar1Exceptional 136 = (((1594558631468542782796564327990757800883820529 * 10 ^ 70 + 3381272893899730657877417059590853721359941919856618430990512549368782) * 10 ^ 70 + 4734523882752011402826530802877598578058897180091124076885561890506013) * 10 ^ 70 + 2797887504880767880910132322500649091437938086756737609692939299510845) * 10 ^ 70 + 9984065455322204955015474852884808589092975911547912345187219035984324

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_137 : Polynomial.coeff recurrence5Scalar1Exceptional 137 = -((((7219530210115395154209018051081520132647675259 * 10 ^ 70 + 3021396147387584865882446465844730579339909766002794160734297009173555) * 10 ^ 70 + 2070542865216716828549985225112540331417388571390838918645502871324806) * 10 ^ 70 + 8968108491259964162487103276536700510282658238268210872274141438354565) * 10 ^ 70 + 8748397254601665156900216436489324120058893017320431055577304454704641)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_138 : Polynomial.coeff recurrence5Scalar1Exceptional 138 = (((24440296184131000751000120334392122469624394787 * 10 ^ 70 + 4663734668785266920727395484188368763810070131632299919925984989083836) * 10 ^ 70 + 1875444106338107242020321102814816696777594757660239933764164110725015) * 10 ^ 70 + 1767806437438945686132283023876332863981302567207230682074348820015575) * 10 ^ 70 + 7020052024049953299156210643443025458728316787431843725230502045394008

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_139 : Polynomial.coeff recurrence5Scalar1Exceptional 139 = -((((42932330898107862752545613677817533996112432384 * 10 ^ 70 + 6114411451830263582438476519518418256389175985335672839356886420801691) * 10 ^ 70 + 4041907352827216512090267260764468518009534881961098154834404765465253) * 10 ^ 70 + 8051310901672741206365098916777709255898357892412777748013407793455345) * 10 ^ 70 + 8081111294465436571913823069266711662770014952771291648601704860611608)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_140 : Polynomial.coeff recurrence5Scalar1Exceptional 140 = -((((180565488435272113167212258743914576046161406177 * 10 ^ 70 + 4815143500915684512860747875134082541660712092297201092276646530214789) * 10 ^ 70 + 6640666617106254516862059165802965856050586024977364724122859711426509) * 10 ^ 70 + 3448616858967461702963183790698952737481528847107771666827741314871873) * 10 ^ 70 + 5299881050529031630341025354765640655481259778254414162150043185385575)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_141 : Polynomial.coeff recurrence5Scalar1Exceptional 141 = (((2426715772676617578460289887342821409893998420090 * 10 ^ 70 + 4279376018316288944958536991344282009692907704787062444610733177639007) * 10 ^ 70 + 9442604826089467632457281251204735628355249100588815906170709472317116) * 10 ^ 70 + 1893095887386382293923158526466557441777594797245289833676317304733596) * 10 ^ 70 + 1843023698532168085689058820394875006884744343866122350893799140270450

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_142 : Polynomial.coeff recurrence5Scalar1Exceptional 142 = -((((16181401796362481844724366002556163353930428716900 * 10 ^ 70 + 62861596785611890456587969844449147712156804958240221501728553701571) * 10 ^ 70 + 285697906888949055018837595027776382134555156686591938849527566829466) * 10 ^ 70 + 2845537826974026341967863577685374843374152166598107660961332199232609) * 10 ^ 70 + 898194046034953618723744793788520649893871503790734717878898559740425)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_143 : Polynomial.coeff recurrence5Scalar1Exceptional 143 = (((82124577804129974010445626967325298844602210606260 * 10 ^ 70 + 7300667378799914197633969686782135270664182809645005165360734805339577) * 10 ^ 70 + 9454355029735461814823422100433525386575724870776815392650882676491335) * 10 ^ 70 + 8205503073013624627953387224995713223768360256172259932135910422241712) * 10 ^ 70 + 7783359902308656952289113039812569513638728111788245585036420035664748

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_144 : Polynomial.coeff recurrence5Scalar1Exceptional 144 = -((((338600760921516425243011804463752961910518149965724 * 10 ^ 70 + 9850333568512471129121665289784750733718760677077264352898846890894551) * 10 ^ 70 + 6297883667400588407970593400527701760928832903618360642531718635012687) * 10 ^ 70 + 3645574856894904779287731571050799087536633442934124645328022078679226) * 10 ^ 70 + 193702535671923315411846014147554393382620915333169159837566670529468)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_145 : Polynomial.coeff recurrence5Scalar1Exceptional 145 = (((1095671296117036691410085960358284322827958509583594 * 10 ^ 70 + 7765661042041980108204857650090383659385848014707740323497810685848841) * 10 ^ 70 + 1838834709017858655823954490266566528396277734797589777510883801420773) * 10 ^ 70 + 5394740695182241188695688822695858690734717738171708575999108588156791) * 10 ^ 70 + 1982339929414085867620264266308606144950501009794565251840835273643618

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_146 : Polynomial.coeff recurrence5Scalar1Exceptional 146 = -((((2152765761604474215106468498815452501518074056621400 * 10 ^ 70 + 8072276207685851869855670170003624015726307661359289807145306661596626) * 10 ^ 70 + 5493786649752687470457517339788595078075214211498508914147005630660336) * 10 ^ 70 + 1232648183200384082067049293245979315653770101022089402574643850070140) * 10 ^ 70 + 9062888759660060215656994971365402170159432838876068654789934190983588)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_147 : Polynomial.coeff recurrence5Scalar1Exceptional 147 = -((((3996210869093637265073907343330120448168225572507200 * 10 ^ 70 + 9015012373421944834023855274864165477520066351463493828611015685951931) * 10 ^ 70 + 3212671537985891333201302509595909486584538763647777894313825637492733) * 10 ^ 70 + 3242240914044944248357238715999093753774553394919636701525656954406771) * 10 ^ 70 + 211032975073265495730126183295612349954249669483289559734501470430452)