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_184 : Polynomial.coeff recurrence5Scalar1Exceptional 184 = -(((((20 * 10 ^ 70 + 1493710036384431599993728027222943617578802059473791310627126483867120) * 10 ^ 70 + 4721080494327208318523038551654143855701197177939531917743585844230034) * 10 ^ 70 + 8775589366569001837047316362521957686067874787042047548262648712472348) * 10 ^ 70 + 849521383414667776094171131989650177358488480678318219767409722370609) * 10 ^ 70 + 2010266951709773598405495265793340761175598403417078646738991204642660)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_185 : Polynomial.coeff recurrence5Scalar1Exceptional 185 = ((((41 * 10 ^ 70 + 3207476595610219266479412801899790445665658423063685513211467221032979) * 10 ^ 70 + 2382927677680313732495115028575088435589968588778811504884418103990744) * 10 ^ 70 + 2064202933888008838903880200783956084924336520316090017043489043056835) * 10 ^ 70 + 3746145157978691655205609509112162719028880666982902240108969311488889) * 10 ^ 70 + 7766041370222369072023185957025388266613137612079650232643934133740347

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_186 : Polynomial.coeff recurrence5Scalar1Exceptional 186 = -(((((83 * 10 ^ 70 + 16358798468660960547586812968523043048609496896229905967839969158955) * 10 ^ 70 + 9336097821079437583484865355536943990210675765578791411654640014180041) * 10 ^ 70 + 6023299691266062347242915382468816631220489572916916786758362770681269) * 10 ^ 70 + 9220861194692317979628340853477230884517671376405255508070510849698548) * 10 ^ 70 + 5216949598973076655866648464809885102904576998395789861828194955460917)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_187 : Polynomial.coeff recurrence5Scalar1Exceptional 187 = ((((163 * 10 ^ 70 + 3373302592487073045486097385974366849256731602494259354057718828561049) * 10 ^ 70 + 1475732826134819320288870018696787977474793016095134989857950484873261) * 10 ^ 70 + 1535932577727659420439345068946962428885153528211239788344636322266613) * 10 ^ 70 + 8977230792421900310184729555006170838935055684810834070011930162988205) * 10 ^ 70 + 4737129171194499590325321018485854925526556992160304290189410103867221

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_188 : Polynomial.coeff recurrence5Scalar1Exceptional 188 = -(((((314 * 10 ^ 70 + 9383419133539407301872178605974030473075605401038091951171554092989950) * 10 ^ 70 + 3402165999497190926793706687082619060832141149000569891953554507316265) * 10 ^ 70 + 1109589632910696971938777985513772474641686834211208082044585500906992) * 10 ^ 70 + 4600603879194558742010836995831773559057036945760029141054289349774836) * 10 ^ 70 + 5358431215384844077842755754459881580796133625477979245717844451700717)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_189 : Polynomial.coeff recurrence5Scalar1Exceptional 189 = ((((595 * 10 ^ 70 + 600104530547616137388358848553084893015838541820004194890154343176118) * 10 ^ 70 + 9847311763833236256877095194395435025804302247108458587881414098330420) * 10 ^ 70 + 4023094076695877903906525453449372999357740812201566322205129153961202) * 10 ^ 70 + 2578547302973329471464787925142981284643057545637821761216511051049529) * 10 ^ 70 + 270822106219165318191303528015211480032614748789626346368697787859304

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_190 : Polynomial.coeff recurrence5Scalar1Exceptional 190 = -(((((1101 * 10 ^ 70 + 8900492465722292656043667164619004779568347780347916165478379991716702) * 10 ^ 70 + 8781337028137160865751691712860878638848133682467133350797066062173522) * 10 ^ 70 + 4662087263766668084501810719264085314274527947502437020968846874858118) * 10 ^ 70 + 3824621101314864576414610841323151456608965961854388342309036328814743) * 10 ^ 70 + 9986670448036473894964603556248653662019028806896565131220490575903298)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_191 : Polynomial.coeff recurrence5Scalar1Exceptional 191 = ((((1999 * 10 ^ 70 + 8558099402946077926202297787838182468681520865395287498672185731392655) * 10 ^ 70 + 4073464445585956099132043861482681151967773903778945294041821163083066) * 10 ^ 70 + 3923424987445699499909963925715166427355928701599931061174260086914093) * 10 ^ 70 + 6997750475482321667364045279682194374859266995853540929317539356551598) * 10 ^ 70 + 6019583639221107882453539771571541803285189632513122296149874325139962

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_192 : Polynomial.coeff recurrence5Scalar1Exceptional 192 = -(((((3557 * 10 ^ 70 + 7582710116460236724391411058550273217948305849357962857760612388937203) * 10 ^ 70 + 982553009484198270566518920001404201692155050989871268783815842407817) * 10 ^ 70 + 30450251191633463874839542026274941289332646406821604520832685752742) * 10 ^ 70 + 9739367713815950151082990604003977662958850263375470672737764839249388) * 10 ^ 70 + 4759755514684168175327067033911919006705620870089974584723395977130892)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_193 : Polynomial.coeff recurrence5Scalar1Exceptional 193 = ((((6204 * 10 ^ 70 + 4000914906373869491331573076191547932942451397137200506257500894033599) * 10 ^ 70 + 3952913810800650182957498460269468451215986709852296851824288738574199) * 10 ^ 70 + 1219342811570311614099244157104546945237991812269172264505099879075826) * 10 ^ 70 + 1701257029511279021383223327963983475193610864775764455933604721123915) * 10 ^ 70 + 9229470858035446665005701682610346564306469190813263472022426410678927

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_194 : Polynomial.coeff recurrence5Scalar1Exceptional 194 = -(((((10606 * 10 ^ 70 + 9609404580104410791912154723838163847059652430485253111836165968373395) * 10 ^ 70 + 7710344489880801603102648478630084369682803349164058955662649581542891) * 10 ^ 70 + 1922539158092018346362745197120708090158706844785993432724678695760530) * 10 ^ 70 + 1423908909116706650340585139932910969934592906183572780851141109281560) * 10 ^ 70 + 8439420376174381591969707245643827275865695081493796775336680209847967)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_195 : Polynomial.coeff recurrence5Scalar1Exceptional 195 = ((((17777 * 10 ^ 70 + 3119341982389037011730281403860353839217293562869852322460670928478239) * 10 ^ 70 + 2711075225174372255698140084011662532287749108342892449054238697934458) * 10 ^ 70 + 6177399984087838085261277730531714166503535768360379737848652023249568) * 10 ^ 70 + 5546578287038025019171528855005057980743430865633124544107024053019564) * 10 ^ 70 + 1547846519092621071833339844997916466215628830887106676107431204377359

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_196 : Polynomial.coeff recurrence5Scalar1Exceptional 196 = -(((((29210 * 10 ^ 70 + 2410633914904294221697974442167198297010786746852334014089684462662752) * 10 ^ 70 + 7861647057225598395060353289268344477381626434360959629828281427652941) * 10 ^ 70 + 5204539562166252044002553418034005180703669125824812361877256700174583) * 10 ^ 70 + 9162664423596947100481864819956751550158675761482365566639560142778236) * 10 ^ 70 + 9968567965203029073149180828145635523811283143765235213628454400642468)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_197 : Polynomial.coeff recurrence5Scalar1Exceptional 197 = ((((47054 * 10 ^ 70 + 5658185025423555060423494957756171634597731343319089368098272758544442) * 10 ^ 70 + 2469369592254520170615612621476269322953102081928425052187905041428067) * 10 ^ 70 + 7196611162535038404631400231870842375855770258963153826193246411122067) * 10 ^ 70 + 3286836275326000877262680161947351726785225314748144395589072506785563) * 10 ^ 70 + 3428084874843879221701482769814618660447257963677791293131741833945545

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_198 : Polynomial.coeff recurrence5Scalar1Exceptional 198 = -(((((74312 * 10 ^ 70 + 7054648776645295179024274829156907456929581488271344879140069911435800) * 10 ^ 70 + 7449346326756563838683438308547816352988895859217830557423964163924692) * 10 ^ 70 + 8763168492647249426699933928176383144105972908837057080336216556079412) * 10 ^ 70 + 8334191623203138402352135596006041916976736777208437923733313123839410) * 10 ^ 70 + 5320065599299704926925786175307958536076553172661376357941499426461122)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_199 : Polynomial.coeff recurrence5Scalar1Exceptional 199 = ((((115055 * 10 ^ 70 + 9899704046968097270073650299556049005508910311010541143592053683341114) * 10 ^ 70 + 4374685134603882064042509321581891960641145719001732640507260863446223) * 10 ^ 70 + 3662564076883126213051117049189679990897145631654713508342141381928286) * 10 ^ 70 + 9441429871820206133334154830064899505083471895198264751832448051439594) * 10 ^ 70 + 245712081025738731254387679181399858748233858651404314155464846040343

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_200 : Polynomial.coeff recurrence5Scalar1Exceptional 200 = -(((((174631 * 10 ^ 70 + 6997704423708731524255054822671524453404896064440594922111727943417708) * 10 ^ 70 + 9955246283119005053318380170966583520491964383515979617204808767116841) * 10 ^ 70 + 9522775321292044269115200051867010571095997703510492675363915016665392) * 10 ^ 70 + 2783035391419489219810904609786413763465777699248660361598631276964401) * 10 ^ 70 + 3684650181192711415566617706324682364736185505731254895561528862694864)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_201 : Polynomial.coeff recurrence5Scalar1Exceptional 201 = ((((259824 * 10 ^ 70 + 1448141196418539706283790018964254890584886339898263933767630835081751) * 10 ^ 70 + 4763737682329010022252218391750510995264459159212903238687563069986858) * 10 ^ 70 + 5846762708598048527788405389945542720068738772295861021036011808551862) * 10 ^ 70 + 9046725206037107928451728043195598559858372958676173248960731959148840) * 10 ^ 70 + 739664899241546603366238062918660351125462842764586855722779867537103

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_202 : Polynomial.coeff recurrence5Scalar1Exceptional 202 = -(((((378917 * 10 ^ 70 + 5569724906710821121841007950164273332202447230239392707912836961040070) * 10 ^ 70 + 1494571827644451665041204290226952560652310580916306737914518856076422) * 10 ^ 70 + 2153234075200920547632009724347507722649462342486240144243993657765630) * 10 ^ 70 + 3458981472876541992249067341099624403000105251083746930621829470346273) * 10 ^ 70 + 4161818637236128040309387152644079393879563939845685544642629423247076)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_203 : Polynomial.coeff recurrence5Scalar1Exceptional 203 = ((((541595 * 10 ^ 70 + 9066892360149501099609454267417769499245666854898295704056400857589768) * 10 ^ 70 + 5817757761405496757655810542161034242505088499489340820830077716824957) * 10 ^ 70 + 5846775196871530269131097362489296562583134027411735087613976193873269) * 10 ^ 70 + 6626014932827211872549566135576832583908709499312030850754250555713789) * 10 ^ 70 + 1985559716464144156962189811410689360690796239251433341019775075740019

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_204 : Polynomial.coeff recurrence5Scalar1Exceptional 204 = -(((((758607 * 10 ^ 70 + 8303923149065897226761362089544824429169494160047997274127476013355512) * 10 ^ 70 + 6037076882988351514024932078777251647169158152403514745862909754730141) * 10 ^ 70 + 3751744241848769117970954074150257249564907523902521146947906677057423) * 10 ^ 70 + 1646638379246005650449542676452450087066590489005111199235298719024223) * 10 ^ 70 + 2522864788260560592002624451539093980444718763621184079458988420955722)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_205 : Polynomial.coeff recurrence5Scalar1Exceptional 205 = ((((1041128 * 10 ^ 70 + 3320133901702435543611961288376010615975337213970959974692952370664001) * 10 ^ 70 + 515500778128537435149833696753869293066120435248090532634706115691677) * 10 ^ 70 + 7815267257473140079880983064246271633306063853712691810182483435939010) * 10 ^ 70 + 2114385103417934553533840401550689198017284662402479588986967787764279) * 10 ^ 70 + 8464653426631436062402375952198707545115649430545085968947564800832615

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_206 : Polynomial.coeff recurrence5Scalar1Exceptional 206 = -(((((1399767 * 10 ^ 70 + 4828316440833415866835732692335470658400997189645287520463285056566745) * 10 ^ 70 + 1885887710241313076264667751464481193463914921905749907986786705335588) * 10 ^ 70 + 4793632862409358549842449909968132838531738083865347935358601904331620) * 10 ^ 70 + 6727688569482013577058158421896732857081950710503462460510671821859952) * 10 ^ 70 + 2628178412744915130705068308407162643672165350994787398886931167523336)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_207 : Polynomial.coeff recurrence5Scalar1Exceptional 207 = ((((1843213 * 10 ^ 70 + 4988176712731375519100745986137026616792667793757095230554082765211260) * 10 ^ 70 + 585154781133712685442042092619770476762474263430527062468952751001242) * 10 ^ 70 + 4339134527066794470940076794493885527003457317653161431439825551591835) * 10 ^ 70 + 5768895920177516022250008900480789311898135688479938950745622642749719) * 10 ^ 70 + 4769068580861156556834263640520783001184392361752802916552120471575447

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_208 : Polynomial.coeff recurrence5Scalar1Exceptional 208 = -(((((2376554 * 10 ^ 70 + 1844142685132333836062780051361469404256827934480183860094489302570200) * 10 ^ 70 + 7416038129509175715655429970088266575521021852453662369973549233321568) * 10 ^ 70 + 6049899838865504202825148588411586012740465920212492303773548602327347) * 10 ^ 70 + 8487546969972971703411847850970214553368181042342855405277149878623807) * 10 ^ 70 + 2051171976064852588132653278842899547327602834442085364887654794306098)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_209 : Polynomial.coeff recurrence5Scalar1Exceptional 209 = ((((2999393 * 10 ^ 70 + 5417171742845252838611228041492131787719075894118297508965579551970548) * 10 ^ 70 + 6859421965027921551714410368252710748607775313993165358337066681754204) * 10 ^ 70 + 7147631251356299082475045967394312896120766737192534134624911082873808) * 10 ^ 70 + 4081436642409857666508180893169315136406775178911508120377838648573653) * 10 ^ 70 + 1193162843196296092389007478153076138957163003952686564500943587533404

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_210 : Polynomial.coeff recurrence5Scalar1Exceptional 210 = -(((((3703960 * 10 ^ 70 + 9613739927548736655157561138513783835265768612702807849257030694821880) * 10 ^ 70 + 7185453904262816073431966525471270246029671631113711365382540356700749) * 10 ^ 70 + 8814350206170910626174696105404484352580310152456722681522983595126544) * 10 ^ 70 + 445304936205970614894077536902034553807131698791832793483397429947524) * 10 ^ 70 + 4352911025572405311166298663411205768834143577053861760023978357059282)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_211 : Polynomial.coeff recurrence5Scalar1Exceptional 211 = ((((4473485 * 10 ^ 70 + 2175053111058518505544141342002074244525629738967552843071308863035697) * 10 ^ 70 + 6054828288564307933220092992604148515160997661671265128128605215656176) * 10 ^ 70 + 228243839316417621010007300883114921103977672673862922412538406633509) * 10 ^ 70 + 6649134320730850061590160128292828132464366585467206640587506041506116) * 10 ^ 70 + 6373154859598183108875622965285529531513857449705708390871127819290681

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_212 : Polynomial.coeff recurrence5Scalar1Exceptional 212 = -(((((5281156 * 10 ^ 70 + 9076127297638442817614208080017594713060149996280445866461312211739130) * 10 ^ 70 + 6982198789725198580258085272980740192849527150837036190741255864293268) * 10 ^ 70 + 6797552273644685119491673125457469889527433920114485800026609326364853) * 10 ^ 70 + 2150042460115181849030785078359441127320454587888703758097761140736122) * 10 ^ 70 + 7931266748495187309609520217269623780127839465589157677221636884339906)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_213 : Polynomial.coeff recurrence5Scalar1Exceptional 213 = ((((6090012 * 10 ^ 70 + 2814471629457525202542907615797889394857967942548414193878413969961167) * 10 ^ 70 + 8870975210618264379461043907177581726278844944688741217986821792217782) * 10 ^ 70 + 8419650328416030612283146265881365459233710049955947823145508738224919) * 10 ^ 70 + 1343702764301296741718487270835716682163372320570570369596101795665822) * 10 ^ 70 + 4161293070885079980388222181472343619539731803326602448636541841146966

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_214 : Polynomial.coeff recurrence5Scalar1Exceptional 214 = -(((((6854022 * 10 ^ 70 + 8384155619006191227685058054151968440923248929602532827779661548246923) * 10 ^ 70 + 8882971717545299155121179299069890881139010304335674123986635259972632) * 10 ^ 70 + 644013304709565001422268769193446523036957065661193275932543286069918) * 10 ^ 70 + 4745932454577049776021042503350409098778179125858132849247319251594452) * 10 ^ 70 + 7302325237787451497047310660832415979423066839901074734437328243420235)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_215 : Polynomial.coeff recurrence5Scalar1Exceptional 215 = ((((7520560 * 10 ^ 70 + 6340654916480256210677240861205902986415778103828260546558494636929250) * 10 ^ 70 + 188154618310155885107291032187215023239263467419514050326207901920339) * 10 ^ 70 + 6670774707760314087787915182818519069547408788696345137741886225659157) * 10 ^ 70 + 1966562966197372231981560777654797614848381161346750107357931828377070) * 10 ^ 70 + 1527345335549295698207613234165193076539019748371455854906837815804632

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_216 : Polynomial.coeff recurrence5Scalar1Exceptional 216 = -(((((8034232 * 10 ^ 70 + 9580534230144944225067529967067159412966680889401326667189382905280414) * 10 ^ 70 + 4110192021376947087350171368411087897854154530808640113615710570451230) * 10 ^ 70 + 5547131701085796145436349365784393702593422059635243619977091019079932) * 10 ^ 70 + 3830575467378455168379584165932514032730490832110767377413052957910105) * 10 ^ 70 + 8449003552263088330842139030625524725648167463257320144427058209784638)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_217 : Polynomial.coeff recurrence5Scalar1Exceptional 217 = ((((8341860 * 10 ^ 70 + 5099887248315477287280738986661849253399972088725850752761625866067309) * 10 ^ 70 + 2295670239870022396283070865572403640665967345790905450866610684606406) * 10 ^ 70 + 692462342977007132616604683961718654081015226196074299702393810485218) * 10 ^ 70 + 8237773604480957506519733785102099596857276986441020558423927919660805) * 10 ^ 70 + 5696789219135492725073322541455228899382488781650945533706810605713703

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Exceptional_coeff_218 : Polynomial.coeff recurrence5Scalar1Exceptional 218 = -(((((8398143 * 10 ^ 70 + 411910358159845689776649379802195410792928623770048990136087702236220) * 10 ^ 70 + 1174772528374933948681641426192217131643171380330645557279468418671298) * 10 ^ 70 + 6237467547322739846036560522466485600840705493868843754629928650181706) * 10 ^ 70 + 5072273555723191404583007540870299939824748912980577152442289597001968) * 10 ^ 70 + 1799732161724178621320983410257162873853705169569811221656587720951772)