Recurrence 4 lookup certificate: B3A4 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.recurrence4B3A4_coeff_80 : Polynomial.coeff recurrence4B3A4 80 = -((5183711416588398742482058 * 10 ^ 70 + 4161399241109448812639153602108898032806530978577157754600184917315477) * 10 ^ 70 + 5483134989119299255906256184623769527400629754661798506507151598184659)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_81 : Polynomial.coeff recurrence4B3A4 81 = (39129918108810769511461026 * 10 ^ 70 + 3534342625856128924159970898462654208034640561423899933487935339583535) * 10 ^ 70 + 4203771173875366010270915326764233076009035317206978586865259709862245

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_82 : Polynomial.coeff recurrence4B3A4 82 = -((286269888581612041018482754 * 10 ^ 70 + 2798284241419195450336983731677527685216453669649508603925508406663260) * 10 ^ 70 + 6527849581744393639678585318537483918676982813010872748387536675351702)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_83 : Polynomial.coeff recurrence4B3A4 83 = (2030731549190134173353717483 * 10 ^ 70 + 6027492328822619222496384090525918964435522102669346753237413634839098) * 10 ^ 70 + 4168650434525085400196247335179656609187910815950075456502851216175084

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_84 : Polynomial.coeff recurrence4B3A4 84 = -((13974645750143021023124748788 * 10 ^ 70 + 3286080921903094504547107678824505371471194712593907405502112672720686) * 10 ^ 70 + 1502082561935553247141282987229601610920392874971723168173437150225575)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_85 : Polynomial.coeff recurrence4B3A4 85 = (93332422697215245066981860640 * 10 ^ 70 + 7175030302425972328797870280873306114698942961905151889863001386562495) * 10 ^ 70 + 3301914419304692154534144550675247816551352448935702476289277250795186

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_86 : Polynomial.coeff recurrence4B3A4 86 = -((605216978608004026024019157748 * 10 ^ 70 + 6767584652855674997209316354388003660667093661933482984215582364332933) * 10 ^ 70 + 5024119061567527586002933850060040459299359286564293643750031175298635)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_87 : Polynomial.coeff recurrence4B3A4 87 = (3811991427867887295613167220477 * 10 ^ 70 + 1641558926444311041264307743145014224055965668819727704593266963474604) * 10 ^ 70 + 7047320018044125191189776910599117677666371323537147821621022134251030

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_88 : Polynomial.coeff recurrence4B3A4 88 = -((23330441763145265977525743345501 * 10 ^ 70 + 8542200976883141878649002919865635895393684585171568450326578213367612) * 10 ^ 70 + 8176162636868192589626047305330141407772016382566586170137018437619674)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_89 : Polynomial.coeff recurrence4B3A4 89 = (138798661393463720277650960024135 * 10 ^ 70 + 894413785469682673173376083417928982108878237956221949336976991296711) * 10 ^ 70 + 1134086526310223973822682824847081748816923780940672475617725031608719

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_90 : Polynomial.coeff recurrence4B3A4 90 = -((802958988670632688315925877439129 * 10 ^ 70 + 4707161317050025041788321177354585060206012999807194420896992200132526) * 10 ^ 70 + 2841029413022391098325487507376066108048821874269716847100372579170091)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_91 : Polynomial.coeff recurrence4B3A4 91 = (4518513312190115216555419005517039 * 10 ^ 70 + 4481001528764752933429775675822112665007113464202958286838365772727922) * 10 ^ 70 + 2488667876217178593234615304532777316540806878823312140655419281257710

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_92 : Polynomial.coeff recurrence4B3A4 92 = -((24741977271544983482850845650847618 * 10 ^ 70 + 2754094067242000904838386565559103780281222744534081936787630465101665) * 10 ^ 70 + 3725398908525832496711437852926691523462732057533869428980634361693257)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_93 : Polynomial.coeff recurrence4B3A4 93 = (131870262798273360999468618575713771 * 10 ^ 70 + 468048417495254750686016604581443079678206354688997676479300095184238) * 10 ^ 70 + 5694460597626085531035424761072100200480790653346484581844856213313050

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_94 : Polynomial.coeff recurrence4B3A4 94 = -((684328631877491941266550401624416059 * 10 ^ 70 + 1857355193697270347138901508731900966944073954681682695068054806340237) * 10 ^ 70 + 1295170635211820395974098727095582510377335202865565364450138590130390)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_95 : Polynomial.coeff recurrence4B3A4 95 = (3458714015603707433253391776253126520 * 10 ^ 70 + 7427581444108431682410891743589867101558631732988612512276607457152266) * 10 ^ 70 + 2503487788352919722627997100919830732333249925747254707532586066576621

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_96 : Polynomial.coeff recurrence4B3A4 96 = -((17030156874758781500537149009478620173 * 10 ^ 70 + 2153473584353325573423331536294735828827874857289173582029117483466156) * 10 ^ 70 + 5110852051178220331771600860911730011784058662304328585016188729795469)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_97 : Polynomial.coeff recurrence4B3A4 97 = (81713547659332573801131901327424935793 * 10 ^ 70 + 4544409456415689762690124300307323893422090232738563001759469238494074) * 10 ^ 70 + 3928167042330678094999574118368840426201371531124121338575169808178518

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_98 : Polynomial.coeff recurrence4B3A4 98 = -((382167622402274952655793593620425560104 * 10 ^ 70 + 2023901886390645208715883143479953169203206583054353713888224009225752) * 10 ^ 70 + 1972686216110604265577351141320652356043219240617534527327520591182237)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_99 : Polynomial.coeff recurrence4B3A4 99 = (1742636853986319585498385108308701423827 * 10 ^ 70 + 8078167409585364930409492261083993315800340939204365786677377505351994) * 10 ^ 70 + 3167878745873101143519529564279944149182528826710879452040515587461616

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_100 : Polynomial.coeff recurrence4B3A4 100 = -((7749216680790914686280124496095917371536 * 10 ^ 70 + 3360875945395174161208873413465988278260363678138271120190378849481544) * 10 ^ 70 + 9364205478576795016185339719666527080520600128150516324578108721604716)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_101 : Polynomial.coeff recurrence4B3A4 101 = (33613013865248194904233978005190680565279 * 10 ^ 70 + 6726385135584595333347691601614142301193649629033599941368262786481337) * 10 ^ 70 + 7122927320554046665892705679947331218351589570771068688876438012304379

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_102 : Polynomial.coeff recurrence4B3A4 102 = -((142250214170730300912113880164480969405766 * 10 ^ 70 + 8965192764403260376681128764938094388221429130127149133512463197272179) * 10 ^ 70 + 1886385678779145152889384591283589371338663327133882443417746678300517)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_103 : Polynomial.coeff recurrence4B3A4 103 = (587472712044569895745748529145431166662481 * 10 ^ 70 + 8371393161703613914091425298129738480510390693886211314218947281712311) * 10 ^ 70 + 9020208497875303814012071912879581900978833920810821271455309432759465

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_104 : Polynomial.coeff recurrence4B3A4 104 = -((2368109329715879970530890326605005856892301 * 10 ^ 70 + 7824723249101909663336369580588269510086418819343710584201423688161799) * 10 ^ 70 + 5546854674150492888410181955470446708766439293677647304684640772140597)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_105 : Polynomial.coeff recurrence4B3A4 105 = (9319265836621708516685148730914790047134524 * 10 ^ 70 + 7223284158741298807988480090764915900830005820426667084721400395515878) * 10 ^ 70 + 7047117160236274605431181831073656942444927222953897851216793617241238

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_106 : Polynomial.coeff recurrence4B3A4 106 = -((35810544445196143447253342977199648020939597 * 10 ^ 70 + 9445952551271800942054376753122501666068741128041504680436915967882115) * 10 ^ 70 + 449482949183114002839387638802097456530838645480316885030338791312437)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_107 : Polynomial.coeff recurrence4B3A4 107 = (134390833889079997831996210951091083445757909 * 10 ^ 70 + 5036060247688721279414587313517114548462510984291896453284247418825219) * 10 ^ 70 + 9584338442374881244687163182931368486876743301612873475577837019549579

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_108 : Polynomial.coeff recurrence4B3A4 108 = -((492646120148494303572440690094176727647239581 * 10 ^ 70 + 4163528024781812756371465693174136224066306170076086938556353841496615) * 10 ^ 70 + 1601057645200646794729183948342598645009040090297731174162617788294284)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_109 : Polynomial.coeff recurrence4B3A4 109 = (1764336549448074964352811003197017348339900836 * 10 ^ 70 + 6857595009064574384679937334680700011759136710343641057763162348634588) * 10 ^ 70 + 8694431269154011769884610004995664887617098982870015861054343487555860

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_110 : Polynomial.coeff recurrence4B3A4 110 = -((6174192251027790269074647103418254242755169262 * 10 ^ 70 + 8855995987720000435316531704805034181438764463421567781885233925686373) * 10 ^ 70 + 7090017185369750638281745130077085405108475207009911406636027797656259)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_111 : Polynomial.coeff recurrence4B3A4 111 = (21115427103570884228113495172273541098494747766 * 10 ^ 70 + 9967181924832148125611296783285708867402674228796854392419970694274813) * 10 ^ 70 + 5697390351826732996267166217279482257765973990532255579566169312449264

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_112 : Polynomial.coeff recurrence4B3A4 112 = -((70584050509531498963686396818765890306341706776 * 10 ^ 70 + 5383060019929926938196205771100053517590826241251243957029263731177477) * 10 ^ 70 + 4320435635740612707210307807405347968851927469794701843933067807347477)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_113 : Polynomial.coeff recurrence4B3A4 113 = (230655416583564866894865005077581924688418614324 * 10 ^ 70 + 3487579200889530642182882737114463956171954803556262344055585364789227) * 10 ^ 70 + 8706406126720414304135033226370697758983238641292350592535220930098533

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_114 : Polynomial.coeff recurrence4B3A4 114 = -((736939759708285624128931794145404600620894373900 * 10 ^ 70 + 7338720246324060413380854082799061755369269880032058200050367003722180) * 10 ^ 70 + 8375874080830590821644125450631295317274712208624827583033188706632903)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_115 : Polynomial.coeff recurrence4B3A4 115 = (2302342885923350562128382457270753228855149918549 * 10 ^ 70 + 4074374837464338739353615723875917246245839535288441099318889932720385) * 10 ^ 70 + 2921436810429725267082702318928714894202631361789178834051048757257841

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_116 : Polynomial.coeff recurrence4B3A4 116 = -((7034508583790233436250436765452812938553584576717 * 10 ^ 70 + 414276939677117143935775415107419876124469934415989448177248930240400) * 10 ^ 70 + 4581375845142440501397743265587736334069119977145084045153843798050042)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_117 : Polynomial.coeff recurrence4B3A4 117 = (21022144853406940940014413770586950761875226807956 * 10 ^ 70 + 7454906630031133763953107711224509636611333706071742614186057431639037) * 10 ^ 70 + 6886408486682357627171328272462214835503180923787569375931517548629774

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_118 : Polynomial.coeff recurrence4B3A4 118 = -((61454160567581157691180393802438281888335115269670 * 10 ^ 70 + 2392563468550952832995273062117588129303641934248620525742402039785197) * 10 ^ 70 + 3650396088096037776127834719248560646274408545703897077770704182543206)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_119 : Polynomial.coeff recurrence4B3A4 119 = (175754267774912529947952014183617856313289374201580 * 10 ^ 70 + 7010488640174462364266331701263358390219642449959184703634910217702389) * 10 ^ 70 + 6161292718921233774493193769012245092502682041644574208292181425010602

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_120 : Polynomial.coeff recurrence4B3A4 120 = -((491799371355712824103451204450138815550133818402891 * 10 ^ 70 + 65041957281442634414590735081396940746996484774946414475681030918808) * 10 ^ 70 + 9350324413403999054054538807584083004453359925229186587793698472522968)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_121 : Polynomial.coeff recurrence4B3A4 121 = (1346612524695489303645537252266622193038070118320159 * 10 ^ 70 + 4413256618738568179882354726221862132497222311096819476792088726171964) * 10 ^ 70 + 322428329092098878502501823042267401509268006485837922050490616689977

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_122 : Polynomial.coeff recurrence4B3A4 122 = -((3608385807721599677163618623982665042991241238938747 * 10 ^ 70 + 8919098463820016219789892232014218659525851664254231106751071051494198) * 10 ^ 70 + 4460133771437061868979613241112369718686141559837038024716068758968796)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_123 : Polynomial.coeff recurrence4B3A4 123 = (9463242325118584423929231941495792175189088169136342 * 10 ^ 70 + 8974588414498170611185406171453696993608728162581662526338246986198179) * 10 ^ 70 + 1784545229537896315330911009411940399413731339682367998795387819793559

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_124 : Polynomial.coeff recurrence4B3A4 124 = -((24291968559522735895760237822055211149907732512419015 * 10 ^ 70 + 9566636065164176650958117514386729763064345439728500343145455353911430) * 10 ^ 70 + 8239053183957475027604203716941816468561732187881681313454554140731404)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_125 : Polynomial.coeff recurrence4B3A4 125 = (61040538137429720670652180101765439776393062491870573 * 10 ^ 70 + 5010190806683301594800683647639870130993563982784842108499817229703486) * 10 ^ 70 + 8662709794247845157693865335023346187922638430825231787309263689657101

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_126 : Polynomial.coeff recurrence4B3A4 126 = -((150155804147401762533474392110651270863610823924651089 * 10 ^ 70 + 805032521715646128396047846663507614181888481404266928525276689211584) * 10 ^ 70 + 2468849369721277643877913325146153464957543027401461527017990180982232)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_127 : Polynomial.coeff recurrence4B3A4 127 = (361632430189786388814737759861285147157728368515800074 * 10 ^ 70 + 479323605002208594899697060340432340359344071927314671781300528629628) * 10 ^ 70 + 9946548316328345417473901839963855462110248407739740332671125114036916

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_128 : Polynomial.coeff recurrence4B3A4 128 = -((852757549074992265752552683489937510795480015301072889 * 10 ^ 70 + 196900637922206865390341485781209382466937770686402248450650877830011) * 10 ^ 70 + 708715169410265523194076182663961975360321538421502828578344113996459)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_129 : Polynomial.coeff recurrence4B3A4 129 = (1969002924148515082760707911394063110052372209209140397 * 10 ^ 70 + 8441271901494159641404072580023252521522236052030453112735213250600718) * 10 ^ 70 + 3935137965533301714048188419776232847015846470905733790865399567250378

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_130 : Polynomial.coeff recurrence4B3A4 130 = -((4452024215655902033185727859031792085283210928538164955 * 10 ^ 70 + 1654464911642969188314152274301122266728322399763308504025103903476665) * 10 ^ 70 + 6211856701806811242445108833778358144945317571599355853109622603163023)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_131 : Polynomial.coeff recurrence4B3A4 131 = (9857913034310825191799353227558396710620027980524623139 * 10 ^ 70 + 1659473453603247966877354853128058697190144446905911685676440398729494) * 10 ^ 70 + 4834477273407334004167738082409693286600652581400012916616477951210621

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_132 : Polynomial.coeff recurrence4B3A4 132 = -((21377299764247167481256870940918771738474691300169244439 * 10 ^ 70 + 2252673691720319891735286978980918226133792276844284833919082805396210) * 10 ^ 70 + 8162326875044309076564256258814709703699996298905408407657642472030210)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_133 : Polynomial.coeff recurrence4B3A4 133 = (45402874234782638786837117372811812682412759906624106672 * 10 ^ 70 + 858910423766075037769477028016262704430523556915532285500181873078245) * 10 ^ 70 + 5845834242213978259776770286494177357387239981425606354711832187039912

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_134 : Polynomial.coeff recurrence4B3A4 134 = -((94448886410908939150886055173016015003170302209392779041 * 10 ^ 70 + 3922640788802443409167708863152127269552499703997301358782095794528327) * 10 ^ 70 + 1786897386150042172635335910636298473850373577457162738315093457778295)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_135 : Polynomial.coeff recurrence4B3A4 135 = (192447287289766088457059722583408653026320011705680205847 * 10 ^ 70 + 2030534144042762091047575149571220545652776939002830431133389130066435) * 10 ^ 70 + 3267659854828959774639417854520335974316313974372882926306376816340428

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_136 : Polynomial.coeff recurrence4B3A4 136 = -((384100376167951313646064619803193845498988202885407353668 * 10 ^ 70 + 6457287204599078406597561740209816654959326873087627425443161585102185) * 10 ^ 70 + 5684224645898090917994480414029601708208044160874165241960048308490589)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_137 : Polynomial.coeff recurrence4B3A4 137 = (750948604572307144691769344530925074037651128969233577994 * 10 ^ 70 + 7386082103345173833665349101897879176421545983474381444541601801398802) * 10 ^ 70 + 9275942153776105764825673728904686566473808300256608512483477713027732

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A4_coeff_138 : Polynomial.coeff recurrence4B3A4 138 = -((1438204924423884402018667195027573120218534761771823250689 * 10 ^ 70 + 4532603732149509932515037072628214387377419460646431921840515664411486) * 10 ^ 70 + 6217412318753103384847181253722337763434707812751597787267817387753161)