Recurrence 5 lookup certificate: Scalar0Main 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.recurrence5Scalar0Main_coeff_282 : Polynomial.coeff recurrence5Scalar0Main 282 = -((((4737597779029215201322073780935997913024179403401648185825613541791478 * 10 ^ 70 + 8888157209511698696076208222185979533697022554097923730794238324859088) * 10 ^ 70 + 7858820375774256232148157383090560200632868530033387996168069045886639) * 10 ^ 70 + 5958762179155648345481691849462327687891837991289747733804600495047151) * 10 ^ 70 + 4685819733180996552716526583017522272815889230616930784231617775187815)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_283 : Polynomial.coeff recurrence5Scalar0Main 283 = (((1825140464331015244853409340542735946853836793082509473109345033105912 * 10 ^ 70 + 4421173293794244099975264846989998204465973368018881669806344173572221) * 10 ^ 70 + 5426430809337367881752864287364892997263685915521156799576993513651623) * 10 ^ 70 + 4758876908130582544584268605819821338756293408456357206810151385961671) * 10 ^ 70 + 5863069087714541095603253740949232983013205747325085122892676694804637

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_284 : Polynomial.coeff recurrence5Scalar0Main 284 = -((((569536826303783270508624081183826167218826629253268114553996796478498 * 10 ^ 70 + 446258627315235755347315476611858232938694247508921208512635707537875) * 10 ^ 70 + 2111335190066987425201177833295720121329666287654561234236197159709980) * 10 ^ 70 + 8211824216175974540122232143931983819390417521557865234091523805331724) * 10 ^ 70 + 6515366641922909681672515090838099877996107648010397761125193245685853)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_285 : Polynomial.coeff recurrence5Scalar0Main 285 = (((89990707080948882553345035846080448900093927469479676308112909909811 * 10 ^ 70 + 2710339817321308474100433919480913308769582017391931323034484802178660) * 10 ^ 70 + 77423522502194171633491633273110908983320827801373609426889235629352) * 10 ^ 70 + 5422893918896652812647087651971364610585670027621306694859115956402781) * 10 ^ 70 + 285856321926039832776617652040943822259357971901449249119390233447902

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_286 : Polynomial.coeff recurrence5Scalar0Main 286 = (((55707910454390753668698546935861140829715400402990366110699869356584 * 10 ^ 70 + 1972821432155164257485294981537296213651068955441428041157756449578690) * 10 ^ 70 + 1287635212441606601108225286551074165271370101461765483274007988325377) * 10 ^ 70 + 6258409154980646276785732743076719991387939112410185839502858296833582) * 10 ^ 70 + 923838412030397895023325914510732767282787452830758704966878736502573

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_287 : Polynomial.coeff recurrence5Scalar0Main 287 = -((((75014668851914604486204955666923920752200483350261827054514106358400 * 10 ^ 70 + 5917118870777429198834754701710809661853619172623344553684016589083420) * 10 ^ 70 + 9909959475623304792449011536782227242725453078246609756787723179128043) * 10 ^ 70 + 4341741857400762913694787521751281857543966088315756809326498087404444) * 10 ^ 70 + 9648155243542852852356853917052669813967589513847854279100107061470671)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_288 : Polynomial.coeff recurrence5Scalar0Main 288 = (((56992834019100253562415625480763545393818801915138515427579610547896 * 10 ^ 70 + 3453865686543063388988329165793989403005882094095369368643474120035614) * 10 ^ 70 + 5679326180032582039357852994381819535999407132713943156515271919926152) * 10 ^ 70 + 6505579238261538425740051606407871018275985219943687886283442113894308) * 10 ^ 70 + 3121281556113892764442421709247529582641218597652148846844675386496565

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_289 : Polynomial.coeff recurrence5Scalar0Main 289 = -((((35062562643548707171903424668329096992473633105625976826767466852343 * 10 ^ 70 + 8229864756960194348135993483517097885989347279999352467598322314403015) * 10 ^ 70 + 311614376923168155218799605668237052735706552407744564979347944749004) * 10 ^ 70 + 3166351730990793153584987447279556552131546261123354299418308378061462) * 10 ^ 70 + 2106938616238795224491118990871719945736972250898625789567827286068036)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_290 : Polynomial.coeff recurrence5Scalar0Main 290 = (((18801507739850594243269211671956231439351994567531943415351837793107 * 10 ^ 70 + 362928141849985056706518282923011977883549605710010423543999072703371) * 10 ^ 70 + 3525234029549178989176857196536518199496062241672945957412694076168156) * 10 ^ 70 + 2105090198705105736745588795070111749851121160573125215365856881936871) * 10 ^ 70 + 40125071055323646860081890589696609922340679780571973315877366465713

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_291 : Polynomial.coeff recurrence5Scalar0Main 291 = -((((8921251648103743896680772193259770655451841215482123250994890827976 * 10 ^ 70 + 7179046592216100567705929752076183556552012516916446906996054014280824) * 10 ^ 70 + 5220181611780692585897961550920421545451486704331338804732335833010770) * 10 ^ 70 + 2834138751867177706159495190044842474980364974889769337664220008136117) * 10 ^ 70 + 7508087984734847586186475522963610464923583922461288680771269775897382)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_292 : Polynomial.coeff recurrence5Scalar0Main 292 = (((3672729505742636739505295398179777726343079001375336766557911490951 * 10 ^ 70 + 7640492160769124513862845601240282038212373394739971141061901979664825) * 10 ^ 70 + 9413984167666376638953354594345944603697276153192683051618790772488806) * 10 ^ 70 + 3065233927143103638760085209200417248826370908759648096518759598043883) * 10 ^ 70 + 1828493296380177482367661842289694207283320939705560253344110884126523

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_293 : Polynomial.coeff recurrence5Scalar0Main 293 = -((((1206178411702890396451302105176650671256939325284479652226020273855 * 10 ^ 70 + 5064899250137333030391276853801057012382102433129519819857014795831833) * 10 ^ 70 + 7721080207265301416910339130179213835509582121140330973528576714791815) * 10 ^ 70 + 3194931020176520865102487795808073907658030537550251047150557527010768) * 10 ^ 70 + 8537198257712246760601928600233291964132776806580719379706579050389105)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_294 : Polynomial.coeff recurrence5Scalar0Main 294 = (((203990809213272784676306152549940796314899498639038124315460702185 * 10 ^ 70 + 7933341044433540593028839163542742304753084800221879014278902650908119) * 10 ^ 70 + 7898483250659166193989864536177039797536775980750938214615113090001483) * 10 ^ 70 + 967372245188077526155380183014697802104654001684152867280688397289202) * 10 ^ 70 + 1518876823473305877242490725552108224444771442188738018347488467526536

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_295 : Polynomial.coeff recurrence5Scalar0Main 295 = (((116687575366922381177968997408231378651853471570960897460304695482 * 10 ^ 70 + 9793665062699425805676185059570334616009499954222047607858955048561868) * 10 ^ 70 + 8498589309210519501692815864575581123329377690428074944125880281332652) * 10 ^ 70 + 5435041096181529722282974671396091364379612110355058354431859742885285) * 10 ^ 70 + 2794930318803827625675685187941366315763947115745787813933402608058223

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_296 : Polynomial.coeff recurrence5Scalar0Main 296 = -((((164230467354227233663690465417076818299317792093773730964970728664 * 10 ^ 70 + 9259205545973335713737466967198714702270121511308478772784032881200315) * 10 ^ 70 + 7587000816419092458527154065506561821554254831898642324979421227038574) * 10 ^ 70 + 6975663192848233498999778878691999393034094956216125525109160524869775) * 10 ^ 70 + 5883766322149807011940255719328540540634072592121251918149439309143502)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_297 : Polynomial.coeff recurrence5Scalar0Main 297 = (((126809263651853093111866578830479574082659726750462603321404429552 * 10 ^ 70 + 373516408953452727532450642817409172824315878202230832417105432997898) * 10 ^ 70 + 781768278686326681770321642120874700244020278375453248392355753503400) * 10 ^ 70 + 4561387161727527245204599689197340578409636544308443567099969241037825) * 10 ^ 70 + 5428814352506031149775175752760540932655536844809699388206710064535511

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_298 : Polynomial.coeff recurrence5Scalar0Main 298 = -((((78758756518799382987099851035580255487325700752489277634497068000 * 10 ^ 70 + 4882052176945507292425723654227783232588691838916800785660762285054148) * 10 ^ 70 + 9767970265794768023071686644212068896485020864395829891675602706195001) * 10 ^ 70 + 4715360165980580258228869406596802303107089035548585817403644502494322) * 10 ^ 70 + 438968025866192726167806265275699103407660608413731164622608272880540)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_299 : Polynomial.coeff recurrence5Scalar0Main 299 = (((42496926659035490083462311231549173080222808497441153397262659011 * 10 ^ 70 + 1754677736643381519385555548926412315862577526449521191966821076711833) * 10 ^ 70 + 4764519137488631928637620804636849706334265873199067282710544101502827) * 10 ^ 70 + 6555102962597025417955244355590291947854900674357674567890437166999749) * 10 ^ 70 + 4114367136037587810487234498588676850233747654966497373094220689650869

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_300 : Polynomial.coeff recurrence5Scalar0Main 300 = -((((20244561275431981180325479877415427698791329631182489975563066092 * 10 ^ 70 + 2598968134969721757959237094674553543589106187392211147428154143013991) * 10 ^ 70 + 5988827244595852436998135650850377691244951908107115469793712700917195) * 10 ^ 70 + 1837917509456883934477226784268324283437250038247625176876305596669494) * 10 ^ 70 + 9803907466197283374312044416838877461327939224462840781092122262141172)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_301 : Polynomial.coeff recurrence5Scalar0Main 301 = (((8337107661062482681886812827605113713963594944306598899793129302 * 10 ^ 70 + 6006850748602552086417678819253764503116974160534626254608821126052108) * 10 ^ 70 + 8980843762916228643994345001995728622994566689221262557713477197764822) * 10 ^ 70 + 1929344922837683477317303642347495488871194328649226204059314613990785) * 10 ^ 70 + 2914343445343154846970067855433356514288229564843508496804683813828435

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_302 : Polynomial.coeff recurrence5Scalar0Main 302 = -((((2701851446698911515860642379184144373542076635534107805320377020 * 10 ^ 70 + 2555059858615045670598366864697095775846025799044405961157259531829038) * 10 ^ 70 + 9151009530897461202958170328221935650316680409882073303055202448123462) * 10 ^ 70 + 2543845769576381392874378562367782799478338177893220696652220331913642) * 10 ^ 70 + 43357925803250349181901326074469693572638152757697580613887943380036)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_303 : Polynomial.coeff recurrence5Scalar0Main 303 = (((393552084132156885361956457346128213744747668437903457501102703 * 10 ^ 70 + 4812536387244080050800217085132647753988378858112120703788271423687527) * 10 ^ 70 + 9044419195554514272816254084198841065383086607174010809611001093632893) * 10 ^ 70 + 7699059921330929947876287288382524402156110329007907553487746901520403) * 10 ^ 70 + 9448529796602397102221115645883468131823857147033584495512173240773098

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_304 : Polynomial.coeff recurrence5Scalar0Main 304 = (((351932430421155317097861839515093806041473121312581556921575221 * 10 ^ 70 + 5913261380806023903075344406273833763102179453179613673639604826021287) * 10 ^ 70 + 5519081908172359997836868347600615614215805003587474271603823604884591) * 10 ^ 70 + 5005446338630293972019500019863855268993893115289332986160903040047197) * 10 ^ 70 + 669221865020596086194687638757273040810348076875001169918298036261900

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_305 : Polynomial.coeff recurrence5Scalar0Main 305 = -((((461715946294240173218245680209883093667474544499330610697754390 * 10 ^ 70 + 1315752422554987707432488110224309346933783918760679118741736646871388) * 10 ^ 70 + 470927504817628686961403887160476284493361381019073847208684359488227) * 10 ^ 70 + 7205794709024103734160274420514660470956783432635341211225344122175947) * 10 ^ 70 + 2769813371135039597594924803907924283583940721730340234909639004053678)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_306 : Polynomial.coeff recurrence5Scalar0Main 306 = (((367692925162621501381200375884087282320984929660405137487266573 * 10 ^ 70 + 5684572901770952153731195650390750183063729578941477393232833847420648) * 10 ^ 70 + 8162692570636651407982954183118041490362626210264621924402529980256166) * 10 ^ 70 + 5529795880718490709928069967929614173917556756150512909363405198411830) * 10 ^ 70 + 9398883047860296493612759241261375684160111748720413587484407127510884

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_307 : Polynomial.coeff recurrence5Scalar0Main 307 = -((((244041096166669136464102182934472619309933290891979974328729471 * 10 ^ 70 + 4705580190071922752303075059151761681836801663595685746825948141258423) * 10 ^ 70 + 4575315085813890932044998020142974627078028829203858960763000190186134) * 10 ^ 70 + 2077104981993502769159313215636842426428751659531541895268293022305126) * 10 ^ 70 + 3233919352135509619281918871044387467718575089584512327110980639118338)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_308 : Polynomial.coeff recurrence5Scalar0Main 308 = (((145983855230569381328687423787361378781562525451954163261099206 * 10 ^ 70 + 9097382871079301897452953098165351455156504643554239166334559243421925) * 10 ^ 70 + 3285482575619788920619805331835456014598566008253925086590791756413320) * 10 ^ 70 + 775747140818000189958854496183523955002971292700588200636349214625553) * 10 ^ 70 + 8715286463057653160059339771895882732180349061131165310237812426686880

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_309 : Polynomial.coeff recurrence5Scalar0Main 309 = -((((81259703745130493940454054574560684665646900898662974927063324 * 10 ^ 70 + 870859521416995497741646412453709378719647746932382294105079376766124) * 10 ^ 70 + 6882385162809149440983639533513522896850041192021773407565943992369553) * 10 ^ 70 + 4747634530330831020094372525749200255625490996375317002724372031270049) * 10 ^ 70 + 1650990058749412653708030369918034273126107735690379523728372782903009)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_310 : Polynomial.coeff recurrence5Scalar0Main 310 = (((42776768836096540223148740104671486454616604004025234832193370 * 10 ^ 70 + 3408594748366262933888521672149914671709804006650139847308028815510734) * 10 ^ 70 + 3461862734302270033295448931303540970660289960169694588937304790488384) * 10 ^ 70 + 8871202905099678404667676768562319782866834477557773598184321588602974) * 10 ^ 70 + 1773041873019723796614680057008599998735272082799932551840512387687820

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_311 : Polynomial.coeff recurrence5Scalar0Main 311 = -((((21493452608151708840139033022044295242428005336424327179229383 * 10 ^ 70 + 9307615389969318572773909126304979428910865753050986521343451374870965) * 10 ^ 70 + 7269531999434099932200950892053803127906799695378490842863289469050122) * 10 ^ 70 + 3211004838094545560454392649918001435470995647569360978224976489098709) * 10 ^ 70 + 1257579317202069062999604674536610814582988857690979945805735718992370)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Main_coeff_312 : Polynomial.coeff recurrence5Scalar0Main 312 = (((10364633855070496691113392150846515771219881337977145357299741 * 10 ^ 70 + 2948570806429517729116237710041679886197161769485749655961288163961112) * 10 ^ 70 + 2680055847673812161146437228557439154599080521680341296317983905732272) * 10 ^ 70 + 2826036762181821448222615976011363156535947932121096244261732693381799) * 10 ^ 70 + 1748117227861750583704570886055093791810196912825102904162152339685154