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_149 : Polynomial.coeff recurrence5Scalar0Exceptional 149 = -((((383352199793034888647681465993563489938909627094456300 * 10 ^ 70 + 6959526768774118009278166691096855185223095744026635496189041306598623) * 10 ^ 70 + 7369944076423637706877450423484912467592701567633278017474189757351661) * 10 ^ 70 + 2825610028685856821222327623480273420695056805733850582440347398026301) * 10 ^ 70 + 2770577501922029740491258398136170781844627828593115397503265851999843)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_150 : Polynomial.coeff recurrence5Scalar0Exceptional 150 = (((2629425553740252078413257140931190436713587159453202761 * 10 ^ 70 + 7362916481253439618249531364862316993761605173784511364345263207588438) * 10 ^ 70 + 4243393800737824755466802122761054618469702080188385852757430027335128) * 10 ^ 70 + 4166211367402442933951010395020961815550644123697582502228215974118928) * 10 ^ 70 + 9133226633604831992627451770030022983112755572853358502687019680815133

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_151 : Polynomial.coeff recurrence5Scalar0Exceptional 151 = -((((13797186723314056186091367480922765664437746908362539086 * 10 ^ 70 + 4163698098614549905001775103191816214388515921380999403152227411979326) * 10 ^ 70 + 803325881460347603041219536378891340485102598176840254415232175420085) * 10 ^ 70 + 9073227508000900324278949031734495629948350651824327440916879945085330) * 10 ^ 70 + 7166431420954180896374445134537210555785714687243100565865665797509257)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_152 : Polynomial.coeff recurrence5Scalar0Exceptional 152 = (((61282865653459130686644247308627522279089493274615467270 * 10 ^ 70 + 3298504251478896783443317688943149815176559830565195420066965911381179) * 10 ^ 70 + 9888935142470287862529992866715258642825789772534261834501025878290809) * 10 ^ 70 + 8077997682176418807284043557993567004148208585263155674972414193325841) * 10 ^ 70 + 3753929050208842050939297382395663720360428367787787128668151764443508

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_153 : Polynomial.coeff recurrence5Scalar0Exceptional 153 = -((((235716856910579900792591359083590686022981708936338577058 * 10 ^ 70 + 4266052369046944544639195453476878847094941404235188634384773851780840) * 10 ^ 70 + 1686553073047796641415007496625971029351181877788902386197557150890395) * 10 ^ 70 + 6792526535941514869499674268068048913408710671992439321014225599648189) * 10 ^ 70 + 4028353198958138427046629293220316295919938976955545408285949080336789)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_154 : Polynomial.coeff recurrence5Scalar0Exceptional 154 = (((769944116946885254729937801025360941272477293239988111587 * 10 ^ 70 + 3755504182160993863491228752418182061124858466013070417602964784592452) * 10 ^ 70 + 9889110703380812414415537502672736103582375282206210621514777395555525) * 10 ^ 70 + 6794024773011607505133071137583589449555207550773768602721973911909964) * 10 ^ 70 + 4780964198688425181281970207507108079398100628844313322734102645763278

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_155 : Polynomial.coeff recurrence5Scalar0Exceptional 155 = -((((1932957111697049574456593582907322785946379850996096655640 * 10 ^ 70 + 7996367353598944450325971239046370282473635130557249963826820785055628) * 10 ^ 70 + 7089285469512986357810747611422848132389897388939812364130269815148046) * 10 ^ 70 + 7395467255286202091540115745089483473812327351460719679950110186342040) * 10 ^ 70 + 819278631046607267725421406818058592520451129245797303825260344885403)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_156 : Polynomial.coeff recurrence5Scalar0Exceptional 156 = (((1928710763112071015487461689161257895118833764618490736230 * 10 ^ 70 + 2556802441158163078675340893135441972409866967091218674068196209769686) * 10 ^ 70 + 1438219644379698230986449593579984851581733065377470730124690266593394) * 10 ^ 70 + 5408401289585541369323719609214213809289374781519998745949724023889033) * 10 ^ 70 + 5690954654590450913673455362338471399174747692288825071857182119605366

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_157 : Polynomial.coeff recurrence5Scalar0Exceptional 157 = (((17401578958498116425857120457613758943174664620091865709177 * 10 ^ 70 + 927296035238903260040477689482168162129112055565099779416462556084255) * 10 ^ 70 + 8129740573557803065271358796306988403397631830954906614741813976291466) * 10 ^ 70 + 462021925878628588179586950309783193522891150862131536055816319715729) * 10 ^ 70 + 8172668881560867123125540318848014718516610774059742919408300499513619

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_158 : Polynomial.coeff recurrence5Scalar0Exceptional 158 = -((((165856902435986118764191065104210795574363288760471887581149 * 10 ^ 70 + 4664296238226669784838669216379853753983152576237418670632626991216934) * 10 ^ 70 + 9356081511251957880035911003448118837931138909139109410098920943182249) * 10 ^ 70 + 7274829137339506953515069077824757380029547798675488463121914857705999) * 10 ^ 70 + 2626850157424852775159744491993245501089329066103227903359610126795671)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_159 : Polynomial.coeff recurrence5Scalar0Exceptional 159 = (((991737137257035246427918300618893894859924496607503295851793 * 10 ^ 70 + 969186334442918143138644539614260178752677782728955954546727075278346) * 10 ^ 70 + 1185918333840239151845112755925962315811387315982500279269187970123019) * 10 ^ 70 + 9558900936389671907288782196774068754333492265165285331464947246277113) * 10 ^ 70 + 2719658190249908357041993577340095727087798315497548943754317833966207

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_160 : Polynomial.coeff recurrence5Scalar0Exceptional 160 = -((((4943971955663308312730378544239134851308135712205099567030796 * 10 ^ 70 + 1253586706184898501918407661302035880115467517580506303860764775952034) * 10 ^ 70 + 8240376792055793240481052322691691637637579942115627715830289897562958) * 10 ^ 70 + 8703560705325112950441852115955790469534242971196947281839987088616930) * 10 ^ 70 + 6724729612018073983608909681811601361609245274294309206650297264507263)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_161 : Polynomial.coeff recurrence5Scalar0Exceptional 161 = (((22132735456624273767071919719422725498732165830838207416580704 * 10 ^ 70 + 6254055479969459051568127215553704539163590620338244924677768851178874) * 10 ^ 70 + 6346190984288510057070246521229547271011471033016972276909057540909710) * 10 ^ 70 + 2622443636864162240958109054953124671142645841323862482015525305507914) * 10 ^ 70 + 6875543999472147126739620078425049151701230008882936807684683959954968

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_162 : Polynomial.coeff recurrence5Scalar0Exceptional 162 = -((((91803168643103489259691268713015531013736266413360905812592782 * 10 ^ 70 + 8877878468756268546099265813769190537823921878786247002636857680096242) * 10 ^ 70 + 7653607220156815362594858343245088571301108092024675433364102538920064) * 10 ^ 70 + 2205765578202135795923897151316711216300574632088273997069028699726575) * 10 ^ 70 + 7884255569681825465965327012732908253166686735999669948509088957539770)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_163 : Polynomial.coeff recurrence5Scalar0Exceptional 163 = (((358658257845380123446048570131954987490524535419647947393414786 * 10 ^ 70 + 831355960900334390449177621285725696314996721803748561920790780529757) * 10 ^ 70 + 8524737631071185601600574389931603204994963277200269684043845881210152) * 10 ^ 70 + 918623003115818597109692260459500470251775292952020218552694803106783) * 10 ^ 70 + 8265728299896524376935295731407682002777935285255206985702677245475668

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_164 : Polynomial.coeff recurrence5Scalar0Exceptional 164 = -((((1332870437747403673633073555999340846400559356213484231869852030 * 10 ^ 70 + 9813203394513575927574197464783944593748581567564157424449505639610765) * 10 ^ 70 + 7155165489269107767709820940162018000373058495097159908510751236463959) * 10 ^ 70 + 6141177864967950615140436543117093363097567009540917756695377669286512) * 10 ^ 70 + 916964993565020603657686601094053400025007667931044478348985781677316)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_165 : Polynomial.coeff recurrence5Scalar0Exceptional 165 = (((4742316206766491899531423326375905940134503283794286580524754317 * 10 ^ 70 + 4111222368438804540706197879817552043759174618528998123863156133088826) * 10 ^ 70 + 6085329705758926377979701352118030953553277002472007846128253497398982) * 10 ^ 70 + 8137389318835833480539201623060000763379626334928348130533641322079996) * 10 ^ 70 + 987380670656188981146934470571757690071284704909970921711376717962946

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_166 : Polynomial.coeff recurrence5Scalar0Exceptional 166 = -((((16227698221409909674230801461984090485953833234568348030251186078 * 10 ^ 70 + 2237036954795139709040987639956693208451306592989970026555335309252616) * 10 ^ 70 + 1787441313155619934955855725199636907583006768341069360339630773451017) * 10 ^ 70 + 8128477526442294677355730009287588636747332373513895759876274602073646) * 10 ^ 70 + 6182205769098306269367368129628364984140102402977198544806263236131220)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_167 : Polynomial.coeff recurrence5Scalar0Exceptional 167 = (((53583831255329113079837624218549867213489791843981206976650050405 * 10 ^ 70 + 4319775531939129958400594641839893798412045771702140633280250419813570) * 10 ^ 70 + 8661689076123956681994903486350577827805438601869079704488645090403103) * 10 ^ 70 + 6991154072276859549962461990891075040355570573649314785793054491274965) * 10 ^ 70 + 8316705781533720360170745525737526851792152376247582206663893167210292

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_168 : Polynomial.coeff recurrence5Scalar0Exceptional 168 = -((((171168945085937591938621001163024436413822147730217396849802689313 * 10 ^ 70 + 8343376448683425265167085814100913424342642173705047386716460021070321) * 10 ^ 70 + 298655179424696388870458702292185037060711840503756040869714242200374) * 10 ^ 70 + 5273586570705205936073378815550286113597419598691819233273601341158542) * 10 ^ 70 + 3119592277437799906655841320592735016841825154986552567978115800948833)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_169 : Polynomial.coeff recurrence5Scalar0Exceptional 169 = (((530027813875093355411503857173046452695027639031112459630100522740 * 10 ^ 70 + 7189825752640446786447006436551894492300394450286396433306768235231186) * 10 ^ 70 + 6406777067811995316244750488663931043328569428214583704503583154049451) * 10 ^ 70 + 1076681557976970385935351852618696390095708098267886391907866072268131) * 10 ^ 70 + 6120285863452366399648867301483600656475743246469440987466201826805047

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_170 : Polynomial.coeff recurrence5Scalar0Exceptional 170 = -((((1593508003251467639626182832005391814556411482029073402154222791841 * 10 ^ 70 + 1368999734013672869711017660116290696848858365598620278054484610416921) * 10 ^ 70 + 1553292643884044001070282469445567690689221544524615775043293550054287) * 10 ^ 70 + 7976921926044558950423992280244427873802339566184506594389299474970631) * 10 ^ 70 + 9593938708356204029563884308045362328957160099338894480954052359349105)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_171 : Polynomial.coeff recurrence5Scalar0Exceptional 171 = (((4657647684097225035243641264973447207287863913860151962586782777223 * 10 ^ 70 + 8235113929749958977843497856162235779078648217988774592137756158642555) * 10 ^ 70 + 567136561636581768260705122178551760889860750763060169622885799121421) * 10 ^ 70 + 6910290152175540456864916824691203004143249517301038226474681108410351) * 10 ^ 70 + 9673081642240915490764178297748414116921730079419205173508150483453598

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_172 : Polynomial.coeff recurrence5Scalar0Exceptional 172 = -((((13250011843095014681565639033661190004630458626690290760263550320533 * 10 ^ 70 + 278257126122656374390265564713743937350155750067527322703285875056634) * 10 ^ 70 + 3743947487363350287457892694471545296562248765127618348007870312456261) * 10 ^ 70 + 8872298670732432941193561978453307335401163083129485692521642297761784) * 10 ^ 70 + 2465130937236743389879709221105674707207692597746987201963069277293090)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_173 : Polynomial.coeff recurrence5Scalar0Exceptional 173 = (((36720645510162508235401999515204803480864036637460539548297002954111 * 10 ^ 70 + 2533225351270785617873394607288083805771600693901324310946957868942892) * 10 ^ 70 + 7857596555759251815775474072000993887912507102798985821081367475005260) * 10 ^ 70 + 2454008886632816012378728012459760296580208685980011455886934860403171) * 10 ^ 70 + 2294444408244269370106108753436154496662361579238192655252575693078049

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_174 : Polynomial.coeff recurrence5Scalar0Exceptional 174 = -((((99219698444416109434048646677652982252042199830831758816900332080747 * 10 ^ 70 + 4314912996937172356065705478423842172466423584895007959450486098467210) * 10 ^ 70 + 2249038683382030767051113998999033502249494280892625631797524968019467) * 10 ^ 70 + 4557119883774617690428778828480963830820042746723681901685292065818992) * 10 ^ 70 + 5444268659313244113232936013905769039110488201502496195601271499145716)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_175 : Polynomial.coeff recurrence5Scalar0Exceptional 175 = (((261566106267409736701735585899844117648758272788979762898773712971197 * 10 ^ 70 + 1770227296198727473267337986426022822072568899469115862368872412751659) * 10 ^ 70 + 1095743234057406130472195584449929102397168501904796871687829620432334) * 10 ^ 70 + 3613364518731950210624020636061417435804072838304848454792935586459367) * 10 ^ 70 + 1368608126081636974963625309988594058304949448470751044109937197222827

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_176 : Polynomial.coeff recurrence5Scalar0Exceptional 176 = -((((673170666716529464923735465887377497740041733703139860568479118096853 * 10 ^ 70 + 7061767086026575456762577743379612471865092174030692585489363987179124) * 10 ^ 70 + 2259297166015269804897470067350938020601422005632933921549719339005635) * 10 ^ 70 + 5112508627442655847328603004347158876314070938905253038600111207373972) * 10 ^ 70 + 734858774638231155307831051878301258058680447360630088236971195356104)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_177 : Polynomial.coeff recurrence5Scalar0Exceptional 177 = (((1692238302342390273689948611703760951425312820895379200023939632725067 * 10 ^ 70 + 8385832291593907726995658680635018444847493807586115036124781748363570) * 10 ^ 70 + 2996378867784342063985429805465927289360828245220700414835919525927968) * 10 ^ 70 + 4693848601455599414424939958503460762673369748412721410442918823733472) * 10 ^ 70 + 7119392238511475409534305431507669024080689318401266173407847383834984

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_178 : Polynomial.coeff recurrence5Scalar0Exceptional 178 = -((((4157155911704409876725091647701692617290920458542747690492278978755029 * 10 ^ 70 + 7092452495889195894584985175417997651489172758078464953930867280852454) * 10 ^ 70 + 7223858845686775492332561909701211714664535350323941976128159020155654) * 10 ^ 70 + 8011783497036169733205715071320994816694193383678530249203432902970655) * 10 ^ 70 + 2229125260474561589537869272332584391374355432875531752819310752346513)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_179 : Polynomial.coeff recurrence5Scalar0Exceptional 179 = (((9984188290166810625155517972984421420812532414411315125639077807372186 * 10 ^ 70 + 5669508270336450295414185613683087495563924505452067763291748481878336) * 10 ^ 70 + 4394393547768883942992371528156801726514916736093789650100856395973238) * 10 ^ 70 + 2501161561473714777521771572328730007190683643832371254353846181281118) * 10 ^ 70 + 2946410943566120130316537167111250568650957168122420793309251156058858

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_180 : Polynomial.coeff recurrence5Scalar0Exceptional 180 = -(((((2 * 10 ^ 70 + 3451716882772655971595197490276495414860167852170163207205539541134154) * 10 ^ 70 + 5832608447398688516223894452917258673470035488140829201828462695202712) * 10 ^ 70 + 305963979165280686905710354899722934470666840102875110760837589467674) * 10 ^ 70 + 24996073333339979887477271806000781658928735462619088664320630782896) * 10 ^ 70 + 1984090802068374651695650566309833905477456529693302964218568074664203)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_181 : Polynomial.coeff recurrence5Scalar0Exceptional 181 = ((((5 * 10 ^ 70 + 3892567631162289205378113337879714359350427576318873520641525341958618) * 10 ^ 70 + 5794373357611008252694746316671773646418663265649067884584322933373347) * 10 ^ 70 + 1255811251111439404830301865176697034095781833966097678392181634527560) * 10 ^ 70 + 1710805991704188435605070508077933578651015606150175619229302401441516) * 10 ^ 70 + 1913889039690825095954339738844073813972645280478739754460490623644036

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_182 : Polynomial.coeff recurrence5Scalar0Exceptional 182 = -(((((12 * 10 ^ 70 + 1201400250748368219827950401203816831523279636161199267400170381379682) * 10 ^ 70 + 5819841262793207382752848929782868003566149570202786590015962400181762) * 10 ^ 70 + 3957236334308742890602123733024696380022250621267173754990002487985401) * 10 ^ 70 + 3893277707371549924310757483615644111291105350086923327435758730733194) * 10 ^ 70 + 9907752243303387763503801179071874371792424965147127056344848246761698)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_183 : Polynomial.coeff recurrence5Scalar0Exceptional 183 = ((((26 * 10 ^ 70 + 6827190015662802641183313670790428327271209039974249185566148159847975) * 10 ^ 70 + 8918517864414230752101230898243742700192447465464759942912591546461294) * 10 ^ 70 + 3291392627203295694399097456952588679873320054851096379493603850168704) * 10 ^ 70 + 3578001568499059316168597323982365851823180245304663299230222060346287) * 10 ^ 70 + 98623445991543382690357793574981735494313602478599461983619292046191

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_184 : Polynomial.coeff recurrence5Scalar0Exceptional 184 = -(((((57 * 10 ^ 70 + 5179989086523446644180795599745525219511545506364940335681939319200376) * 10 ^ 70 + 502490872727088469780642625412123589791713370780510199248031190850526) * 10 ^ 70 + 7293206863760373046169706494255206525740955936525865346115103441909626) * 10 ^ 70 + 2969486125985123885954968113756636731249210021523780080071603985146672) * 10 ^ 70 + 8657710657165058880310745756107403283770867060976591089577549822209666)