Recurrence 4 lookup certificate: Scalar1Exceptional coefficient convolution

This is a checked coefficient-lookup shard for the fourth pseudo-division recurrence in the order-seven certificate.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_106 : Polynomial.coeff recurrence4Scalar1Exceptional 106 = ((674221405865227575865926461 * 10 ^ 70 + 8336456766220096500052111440374115826388957378240769675857620205130421) * 10 ^ 70 + 8809302301639416709515078964525646515263566341111613748671297383775482) * 10 ^ 70 + 3968767112351334201685407190862961863541488048074837895941525674158321

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_107 : Polynomial.coeff recurrence4Scalar1Exceptional 107 = -(((5300621664329724732787778996 * 10 ^ 70 + 650227969946789838464829257142893427408450119955226933736535867113089) * 10 ^ 70 + 309163270405282397421458226315996390219106435923242300409626102686558) * 10 ^ 70 + 2066410711582528266913474818908864581483102266112963987676114874055336)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_108 : Polynomial.coeff recurrence4Scalar1Exceptional 108 = ((39532626765080854489544424944 * 10 ^ 70 + 792211964096500941751391910260792543693566858410776771319540417882323) * 10 ^ 70 + 1869168748055297586133679048295451427949955211858957911961816223809402) * 10 ^ 70 + 4359430160550763835109869569696261506413597018336296121860141351529054

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_109 : Polynomial.coeff recurrence4Scalar1Exceptional 109 = -(((276817826864289020140416795234 * 10 ^ 70 + 714471430519615267912031102400184519255045073945915929061542901623260) * 10 ^ 70 + 8944345005340331673739264428377379287623511752825079105912290050730170) * 10 ^ 70 + 2102664338316139709141479981879411003459148619939248629157214463696456)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_110 : Polynomial.coeff recurrence4Scalar1Exceptional 110 = ((1786979203003072482411447237824 * 10 ^ 70 + 6421630966095720676661027242976657982374527727092052361096422477843860) * 10 ^ 70 + 6769542576156754602675920783478434635827581309139741688175013068733945) * 10 ^ 70 + 4664620042402571178587095490504994845162796960287403805223025004074258

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_111 : Polynomial.coeff recurrence4Scalar1Exceptional 111 = -(((10246966486277234582142209221248 * 10 ^ 70 + 4356362576810610377137248527057055677916175916379966182427221832452571) * 10 ^ 70 + 1264959283484908852903388963232421256492241597110123060356326739020113) * 10 ^ 70 + 752229343596510911471536268044484762195420770712584567742018420434147)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_112 : Polynomial.coeff recurrence4Scalar1Exceptional 112 = ((47333122564242577413966422937362 * 10 ^ 70 + 1964518068452285394855979374161235437927947837724509637684292571244993) * 10 ^ 70 + 8448518195806821863749719476372329224142830449221750068795793738810406) * 10 ^ 70 + 5563127309938445099939071159964282900233224100338635392314047028486220

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_113 : Polynomial.coeff recurrence4Scalar1Exceptional 113 = -(((107856718411983004181854864347430 * 10 ^ 70 + 3330769162425603521973767115355849157766164215481770289835010305104662) * 10 ^ 70 + 5222313439893986819531474963846588915591113357192795785725680321409174) * 10 ^ 70 + 5142214828557794777797927300381340825672704396572903932486264078936302)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_114 : Polynomial.coeff recurrence4Scalar1Exceptional 114 = -(((1067777570635484589522431101960050 * 10 ^ 70 + 7244105706299688405385701736303436024996826849342451286792524406322552) * 10 ^ 70 + 5603450214154985166101455117076730061846202379897394487886542944499295) * 10 ^ 70 + 5692250120667544695513427185593985834955939093365611789449759225780796)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_115 : Polynomial.coeff recurrence4Scalar1Exceptional 115 = ((20898002292350894116198974203827013 * 10 ^ 70 + 7866777948953197748156074733224418723596398731107381054134214700403793) * 10 ^ 70 + 1808606593742024276207931693608936182052081815541525152244431713250718) * 10 ^ 70 + 9214715686444632030388590872634979408009380093603764049938983371727654

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_116 : Polynomial.coeff recurrence4Scalar1Exceptional 116 = -(((235150222764125919465797846913664935 * 10 ^ 70 + 1990472038064502508489709116936871415965971518222085020268195758079331) * 10 ^ 70 + 8872613191888543777425977547135845251926035003459029138010017359403348) * 10 ^ 70 + 2732143824659662060465479264661390101511795252619812428658747393946032)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_117 : Polynomial.coeff recurrence4Scalar1Exceptional 117 = ((2161161550003207262791200915249713042 * 10 ^ 70 + 3222059253333947168615199941448787369944999322654948672459820999128879) * 10 ^ 70 + 3779086079822877448947321018412514717615824363804095102832669609459961) * 10 ^ 70 + 7046699182098052932195986716763533571413397421382235383526562430043641

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_118 : Polynomial.coeff recurrence4Scalar1Exceptional 118 = -(((17541454054002358572884799285311030161 * 10 ^ 70 + 7925723694897435583594479197090665144333516609149609172429527061463487) * 10 ^ 70 + 4016910695410806408263275508247933043769587099969583322204807806077970) * 10 ^ 70 + 7256896155210627177170134556900901775472898045199852451646915405341149)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_119 : Polynomial.coeff recurrence4Scalar1Exceptional 119 = ((129126385249592546040866955575176823733 * 10 ^ 70 + 1535946579379222404281067944907802496451415725684704210958435760746400) * 10 ^ 70 + 8842495957928337233470689417778847310850226146695026546470463522126879) * 10 ^ 70 + 8053059499753212340340136409357934737660945233949610395557156683657916

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_120 : Polynomial.coeff recurrence4Scalar1Exceptional 120 = -(((867911163241317191282360529479740014839 * 10 ^ 70 + 8188558798908384233216872379551187837882507396973548738307140095545447) * 10 ^ 70 + 348359388745015227721761045376966152777842856061569177231996347645594) * 10 ^ 70 + 5002679273581400044799260932501630107479666053501789047683031682339043)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_121 : Polynomial.coeff recurrence4Scalar1Exceptional 121 = ((5288890367578804726034163707519280801477 * 10 ^ 70 + 4708629367438130601786995013380285194991684883961604358754842298512158) * 10 ^ 70 + 6048525876721666903653171740746769900302073245211690952122011508438543) * 10 ^ 70 + 9213737850550521511415596816438103432059471169641827109175454447477080

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_122 : Polynomial.coeff recurrence4Scalar1Exceptional 122 = -(((28455073988803942921261003381914764497437 * 10 ^ 70 + 8346937964187917840336805457429173262094702752246679393080812550294549) * 10 ^ 70 + 9968475617910707764950704850238896990548843317411281454508497450203457) * 10 ^ 70 + 4505417124127296025744622085651899476996138711757115132708364814402552)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_123 : Polynomial.coeff recurrence4Scalar1Exceptional 123 = ((125233159989801360311524535315819888706117 * 10 ^ 70 + 4486925607486958891998769794808892557118011022478393757597256966613533) * 10 ^ 70 + 6559378752823958162105375685476001171396769615664858134604207401911816) * 10 ^ 70 + 9826660369352530203247583711427305282608430126942443280960841839884490

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_124 : Polynomial.coeff recurrence4Scalar1Exceptional 124 = -(((323774597967597042622190421782423803828337 * 10 ^ 70 + 3157256644669010950467925313200183678603965664495549336431842869624750) * 10 ^ 70 + 9680061795321743074240918004216078609479100040876245255374163050646425) * 10 ^ 70 + 1611360596173710738649658994004568968809289367534902701785670171302722)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_125 : Polynomial.coeff recurrence4Scalar1Exceptional 125 = -(((1405750483540573042587149024335874485938804 * 10 ^ 70 + 8258680645222770864581329246730501154355426334428781732118691203104605) * 10 ^ 70 + 188300131687071480339155283822009626049637093616418773787838575612317) * 10 ^ 70 + 7759496983645175172453928873586937875294152548287812324785807935006758)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_126 : Polynomial.coeff recurrence4Scalar1Exceptional 126 = ((31474675070847362606542624244583071317480891 * 10 ^ 70 + 7188789071486398487260818040016738322140122877769850595497996613460446) * 10 ^ 70 + 1518159525226045044787124076390757925263495660524919130393181944129946) * 10 ^ 70 + 105325238459542216236739907244368359765287054643396380029507156818478

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_127 : Polynomial.coeff recurrence4Scalar1Exceptional 127 = -(((329940254562097962094782633444173089712237186 * 10 ^ 70 + 4271913208836372730664329545068969261166049640536403884319686281283905) * 10 ^ 70 + 9898163294476456587741763189274222801012146381049204079467285553209353) * 10 ^ 70 + 7329884698683408300727130000070934457635649408026621134584850689512454)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_128 : Polynomial.coeff recurrence4Scalar1Exceptional 128 = ((2738903954736575214123290762041559754357769733 * 10 ^ 70 + 7516434665952593480711278891538232448175493345544213786445591292170040) * 10 ^ 70 + 1613229348257624180842458440290065058042358393622498300598227207322487) * 10 ^ 70 + 8664303259876837465445670046855634854004498944176762191311735009535777

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_129 : Polynomial.coeff recurrence4Scalar1Exceptional 129 = -(((19837447320758828254729651819078871184977923616 * 10 ^ 70 + 9808178725360151965551599553776454791163404353575798867636781975916011) * 10 ^ 70 + 5265154736997670372675299368331934368869590139331194338750840868892040) * 10 ^ 70 + 9981356042799416476841124379945495625642389877023449687018461112724334)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_130 : Polynomial.coeff recurrence4Scalar1Exceptional 130 = ((129365083283932314258500680110581315635407547452 * 10 ^ 70 + 3254736322553951412288166433562597029745477428298845021229000460009115) * 10 ^ 70 + 4297099775074555364310502358354388181266543865589931587465617262256766) * 10 ^ 70 + 8590872520421957723540066282979504491480310867099743492570175117559581

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_131 : Polynomial.coeff recurrence4Scalar1Exceptional 131 = -(((765517272934183490220827158186861204633775767591 * 10 ^ 70 + 4370465127159473003541127666896640392298079767537151875099321557341294) * 10 ^ 70 + 9990288329010212591300448381040275031933012728627332976051023202696059) * 10 ^ 70 + 3440211715360602473180464224543417543548683400669328064999759359616289)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_132 : Polynomial.coeff recurrence4Scalar1Exceptional 132 = ((4074285290128914342888465742157289292567460270551 * 10 ^ 70 + 3535955095514796555212470291356444636498940255357042933493586599391130) * 10 ^ 70 + 5164257206836547147532348885518619373365489777142274004165421628284949) * 10 ^ 70 + 4084672838889526397040760417301878052263400602734293874185132606219099

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_133 : Polynomial.coeff recurrence4Scalar1Exceptional 133 = -(((18852106120053443483840103196202843586432296975505 * 10 ^ 70 + 7393475274465377639575010033475782117225553132452740721943781376254493) * 10 ^ 70 + 4500816507124903396389932594842906507663626399008508549204153313020955) * 10 ^ 70 + 1074614814243765651677873766115789891040261816858664406516154354205242)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Exceptional_coeff_134 : Polynomial.coeff recurrence4Scalar1Exceptional 134 = ((68130767809577208811330281938720565923904615829610 * 10 ^ 70 + 6458820157637689823882571683013284256602795233900517740591136936377680) * 10 ^ 70 + 6289646526794295759935888507153960770710079514631834521019087551136114) * 10 ^ 70 + 3381357662308549877353264582065201816200932077069743490354097407527685