Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_183 : Polynomial.coeff recurrence4Scalar0Exceptional 183 = -((((436724050860 * 10 ^ 70 + 2238078987226894300742285428380513036339253423768740305070122906288403) * 10 ^ 70 + 5760436645167046773854315510636298396574111254668728967762303518425118) * 10 ^ 70 + 7964701249574865688921900428029988521937631728674195181703613423291270) * 10 ^ 70 + 6127124688549098370800990433917087324063721464187889908650411435446365)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_184 : Polynomial.coeff recurrence4Scalar0Exceptional 184 = (((1250946999617 * 10 ^ 70 + 6396278916368107402372618397390795402381310488846816229365374358743509) * 10 ^ 70 + 3253906218134134379624459762929375593079426996648220263206936267979846) * 10 ^ 70 + 3325554795548178565940105372288724790815522574935137109104098262445583) * 10 ^ 70 + 5459857279413985822225370702769628687827801739325041436379652717387803

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_185 : Polynomial.coeff recurrence4Scalar0Exceptional 185 = -((((3526487926807 * 10 ^ 70 + 281808194795276991938582625281274868273308209378158100700168048471978) * 10 ^ 70 + 4205444099632859972890281512555915984359909227863849721873090829506681) * 10 ^ 70 + 5075511331502019659604449231865413891606277239473032039647632589951449) * 10 ^ 70 + 8493813231669579954245337622223741044892499041696367362936856336622612)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_186 : Polynomial.coeff recurrence4Scalar0Exceptional 186 = (((9785253112727 * 10 ^ 70 + 9944033488455863680364724627186358209748197614077950661319102314438573) * 10 ^ 70 + 958558570075311253645249761280403216357356646108370709322655680182878) * 10 ^ 70 + 6857865519800894885574036396972601003817881768659658752007976497357074) * 10 ^ 70 + 395244534204613940437341687941438165637353845961450924111124364170916

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_187 : Polynomial.coeff recurrence4Scalar0Exceptional 187 = -((((26728819127877 * 10 ^ 70 + 2045409531823376123982015061322457540819574800205176355421191848840170) * 10 ^ 70 + 7126064152944526666034099414750991608574386703115622781872250732697032) * 10 ^ 70 + 4639031233465703823213132957056827547900546356193290973273412851459323) * 10 ^ 70 + 6384153367780922555288994621739886155591317409414649157913417933199708)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_188 : Polynomial.coeff recurrence4Scalar0Exceptional 188 = (((71881146791408 * 10 ^ 70 + 3610872547178416063325737423865498623332685322947360244526120332768837) * 10 ^ 70 + 7739904246249890788503654502696305267344599143138009031745454401316515) * 10 ^ 70 + 3726659669089754018502670099157084731114925763924321430360816107274200) * 10 ^ 70 + 1885704439477840066005825703785737176666698078002708283777008667106112

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_189 : Polynomial.coeff recurrence4Scalar0Exceptional 189 = -((((190337774051574 * 10 ^ 70 + 8078082315250396065114386907770103381705249984501099612493870974181064) * 10 ^ 70 + 9614784425224379840279518355263877314543527770593247071878866389280577) * 10 ^ 70 + 1758540618382712903356155307312306833683385664083814783274620874424557) * 10 ^ 70 + 355130424282967805769236237232729484681617056809826249361665057398936)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_190 : Polynomial.coeff recurrence4Scalar0Exceptional 190 = (((496312166158696 * 10 ^ 70 + 8273818171501425159959617822939372242546783486933447458954708923912227) * 10 ^ 70 + 8062370505194007486446999596705754594355617867419263813497947033111724) * 10 ^ 70 + 8917569488840586917920353414587750617870679591674642593058473003441558) * 10 ^ 70 + 8555400693379363316772376651686189669142425854504003126559969909509892

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_191 : Polynomial.coeff recurrence4Scalar0Exceptional 191 = -((((1274524135640098 * 10 ^ 70 + 5359871082407591485386606725003408037558975933217574582045060309273013) * 10 ^ 70 + 8015129154359406376785006879595957328579467766794266456422390310153472) * 10 ^ 70 + 8728376256819778729253472028724371151110638672429518833799957768528645) * 10 ^ 70 + 6002013128168499112191886460292360133428732110707538100993368516957701)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_192 : Polynomial.coeff recurrence4Scalar0Exceptional 192 = (((3223635153838406 * 10 ^ 70 + 2451348557281925029489220743577589834068383450900219100575190249117758) * 10 ^ 70 + 975624717030103908726424663355050741996954269575723765207362652481722) * 10 ^ 70 + 6635646108499547176352353720252315178817452258225052544177096392060683) * 10 ^ 70 + 2945616704783953213460991647687244111300833601550626113712721967503947

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_193 : Polynomial.coeff recurrence4Scalar0Exceptional 193 = -((((8031342916641820 * 10 ^ 70 + 4489553315218960730566439190454461609802212247346051399788510503802197) * 10 ^ 70 + 503280588208219003935455447170305667180902948602796609380698386563893) * 10 ^ 70 + 7655494799005378584105607007800557246302019289166996425979555762660471) * 10 ^ 70 + 2582633593234267845249156402545381088829822898678214234677123011382727)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_194 : Polynomial.coeff recurrence4Scalar0Exceptional 194 = (((19711203500037399 * 10 ^ 70 + 9676782211543315811006573869835576938363382511465429059535561004434346) * 10 ^ 70 + 6521698315927630101655829269780578625466009999458523928124712110774031) * 10 ^ 70 + 4434823754000242120094516853651207479284298059675465642597081570182075) * 10 ^ 70 + 7000824121429695321414034969604031317493878519686596509934153463636926

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_195 : Polynomial.coeff recurrence4Scalar0Exceptional 195 = -((((47660384274342826 * 10 ^ 70 + 2881548292052683213222529479565534959327247253158287964738035065947857) * 10 ^ 70 + 8944034971593558581433956282631397376716957967464280891305513856765344) * 10 ^ 70 + 3738337062032187531859601868354922842462763656333498205956453643425112) * 10 ^ 70 + 1388361498766650223019363377601463355274390320589085302842854549798221)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_196 : Polynomial.coeff recurrence4Scalar0Exceptional 196 = (((113542044721923034 * 10 ^ 70 + 1989727177114716393457141496330763276827409309242678863203822732922886) * 10 ^ 70 + 5988531373158591446969686738700602102076706914834573821268428357628352) * 10 ^ 70 + 1490341987325279924235323202409109551552827715770839830113207734150254) * 10 ^ 70 + 7743908083318945241591989206000698185835895202315431617730316377144091

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_197 : Polynomial.coeff recurrence4Scalar0Exceptional 197 = -((((266529134227148203 * 10 ^ 70 + 9291713658179911428705098270165183304380316220291437814160477144719798) * 10 ^ 70 + 5943471487906092209022966073088072072927152812925870122267837404098025) * 10 ^ 70 + 4672343345096710173488623438008890297292890846832622889781914478155407) * 10 ^ 70 + 7665340802188688964552975178524577303561425532699847692373298460530677)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_198 : Polynomial.coeff recurrence4Scalar0Exceptional 198 = (((616530068317523938 * 10 ^ 70 + 4844918642585353254903817809729377538220199532878826147771040360472690) * 10 ^ 70 + 7231094045077857761003813440900259141629231271618652558419096511185961) * 10 ^ 70 + 3765577427874069231168106194305343026573433261543063912138911053049803) * 10 ^ 70 + 3173125950062764033443742596719971092493402031039304831692113633974721

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_199 : Polynomial.coeff recurrence4Scalar0Exceptional 199 = -((((1405455316889772225 * 10 ^ 70 + 9420389135272860819776863081289851027726367439876828440411387656824915) * 10 ^ 70 + 2977892483531471971662058714030484798649231491524738099793916784789722) * 10 ^ 70 + 5339186893411872896215021478072080645281283119594623888680728905145407) * 10 ^ 70 + 5798888330288574258173580435983564406371029926915000618296916873259337)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_200 : Polynomial.coeff recurrence4Scalar0Exceptional 200 = (((3157646603970892385 * 10 ^ 70 + 71161287967915936300216302093253565887037294352118414805512016618928) * 10 ^ 70 + 7820121386691931997807041004572495005744883697081265528950534472609173) * 10 ^ 70 + 2827008755801225014552876170360141700999665765471212257862958339251246) * 10 ^ 70 + 9855318272708090927385058781536382943828070846134276610772050435574055

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_201 : Polynomial.coeff recurrence4Scalar0Exceptional 201 = -((((6992349567807771594 * 10 ^ 70 + 5088130672378665963962866852856259293622506493535831984755085530918168) * 10 ^ 70 + 8907716019487798888123571841756406583830032704261494954844181763670244) * 10 ^ 70 + 2589198004580747117095113835822603649019085807907919169068684363637529) * 10 ^ 70 + 729589216119439191985381414680221092162629223392760128387800129512451)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_202 : Polynomial.coeff recurrence4Scalar0Exceptional 202 = (((15262451019796098628 * 10 ^ 70 + 6035671275624434908306506882477310883616321707014137445817578532781771) * 10 ^ 70 + 7358964967867672888203253274903154187041857809845674187012179254307933) * 10 ^ 70 + 5309395811440387909344679552090607337728094231810145536745354701341886) * 10 ^ 70 + 213575643695808161696920117703471209815232062775805949890961794705983

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_203 : Polynomial.coeff recurrence4Scalar0Exceptional 203 = -((((32839340340781818101 * 10 ^ 70 + 7339765890504288759404959394488724768931282292116079408909473771537241) * 10 ^ 70 + 2930839162503684713060372925630064717187870783215618608137639704203980) * 10 ^ 70 + 9376101101578122207148162761081598658426224723555172922313057291970482) * 10 ^ 70 + 1251807504302117876645067334259157439651991859836501537184142299905546)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_204 : Polynomial.coeff recurrence4Scalar0Exceptional 204 = (((69656248151324645211 * 10 ^ 70 + 7213074996806843162289909106965188518183945635051029121563174225358823) * 10 ^ 70 + 1004794373072345591602599468415497111819032045574475882510780537131722) * 10 ^ 70 + 6065076111417076998704588884971884124162588446955700801726908102155590) * 10 ^ 70 + 3862582058415700777341277529583499134238789202623560134662620724274505