Recurrence 4 lookup certificate: B2A4 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.recurrence4B2A4_coeff_80 : Polynomial.coeff recurrence4B2A4 80 = -((11595813669254907990391103 * 10 ^ 70 + 456532632151848404415061490340078865213493247761621124537469510599441) * 10 ^ 70 + 4113248103784603370838662240550125997200227428421225012023570637304960)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_81 : Polynomial.coeff recurrence4B2A4 81 = (89680589222394813667384957 * 10 ^ 70 + 462041979638923477764219578328834592016308338018553914890879057851832) * 10 ^ 70 + 6738474262852694041643540845856555691351847970352035024131471416984100

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_82 : Polynomial.coeff recurrence4B2A4 82 = -((672100752757734898443691528 * 10 ^ 70 + 9272498154876085723681960714761767776141550103653626140739953966338707) * 10 ^ 70 + 2308841791433446676271550009230768405735633548477143668701759851884844)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_83 : Polynomial.coeff recurrence4B2A4 83 = (4883421247852366635235182233 * 10 ^ 70 + 8001439304152398984540995525742063786712412336846838940976022133150807) * 10 ^ 70 + 3300966247490344054967606353347363109589179406042156242209623168772628

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_84 : Polynomial.coeff recurrence4B2A4 84 = -((34416971701283188073740791155 * 10 ^ 70 + 1444027034977854007310281583095698177153270554197059913489331215180546) * 10 ^ 70 + 8299690366932970313752806891897776516831421791258816654675047243635532)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_85 : Polynomial.coeff recurrence4B2A4 85 = (235382983135447263575692720865 * 10 ^ 70 + 8465678747318728848886066964145936109995022564276134614474203250253305) * 10 ^ 70 + 4397762179581395328524325812758599047386134797899753962190231856591770

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_86 : Polynomial.coeff recurrence4B2A4 86 = -((1562852373869783278175212272095 * 10 ^ 70 + 4957373741974926830213466699423921352616132141600387526105019989128996) * 10 ^ 70 + 9368835941412752839369093968795637864061122081164347673703232734576517)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_87 : Polynomial.coeff recurrence4B2A4 87 = (10078126397369841109344450433352 * 10 ^ 70 + 5653924308142869433373927173068613995730897558435066869864144779234389) * 10 ^ 70 + 3671896388289419835465848101940736246840218940026077071763184441420354

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_88 : Polynomial.coeff recurrence4B2A4 88 = -((63143921076866472721702817541578 * 10 ^ 70 + 2582451804073015106208156285386898334500259528295882660981388293863467) * 10 ^ 70 + 8913267407521628621623197320118552093236432513969806533963536949313023)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_89 : Polynomial.coeff recurrence4B2A4 89 = (384536113905335095092376306403400 * 10 ^ 70 + 442782324436964589916064790782983747906129006781147535735826768918896) * 10 ^ 70 + 3537089408995592392869611196954339292802716019561110012437752050496375

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_90 : Polynomial.coeff recurrence4B2A4 90 = -((2276952237642470422411346986817856 * 10 ^ 70 + 2382119671564835552419647845640901342432749799508721690847642314955432) * 10 ^ 70 + 2292047415320010197929457836344729511048267958268937478621614876556446)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_91 : Polynomial.coeff recurrence4B2A4 91 = (13113936707721774573965608481803112 * 10 ^ 70 + 6097952317349004841308867675215040975570187829202092019612304958887334) * 10 ^ 70 + 422999364875755155807717965530056082293693836684980718676539356524445

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_92 : Polynomial.coeff recurrence4B2A4 92 = -((73488596087511574064520623180166642 * 10 ^ 70 + 3917823577297824409478332417300736952125388782629308791855384581409789) * 10 ^ 70 + 3132239964203641902590336746890734955682452519941458450197057038950378)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_93 : Polynomial.coeff recurrence4B2A4 93 = (400824556005233075228375164908308545 * 10 ^ 70 + 3146785009038297461363627224576948313642262715169643982380722236408806) * 10 ^ 70 + 7599590295638052114395445183529412804069134142724686240513748017531331

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_94 : Polynomial.coeff recurrence4B2A4 94 = -((2128485688777040388785640717012481574 * 10 ^ 70 + 280807182756460695688483471500689017831081720976869648806508077219431) * 10 ^ 70 + 8058698919618385800370241077871428938869369908698290551417592913538363)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_95 : Polynomial.coeff recurrence4B2A4 95 = (11007754519988446161001979585719411061 * 10 ^ 70 + 6825419742517843600521208803139600098702864571224132135731887817286388) * 10 ^ 70 + 2058741170314772421688739655545207989392838949424346246576400458000882

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_96 : Polynomial.coeff recurrence4B2A4 96 = -((55457858697287026150491101106594925600 * 10 ^ 70 + 5663067455941658216501229727069030547257386725464975795988142477327829) * 10 ^ 70 + 9040812472837039073311475981728546816321138517806276789070506976285975)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_97 : Polynomial.coeff recurrence4B2A4 97 = (272260119467712559647646926105449446994 * 10 ^ 70 + 8179487131924656366855212795203633026884979303987594530115622629898723) * 10 ^ 70 + 5377684580194052471494992183991933477682581585868809098445556841323329

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_98 : Polynomial.coeff recurrence4B2A4 98 = -((1302798910748048257249502029936117475898 * 10 ^ 70 + 5326226846282407908946694700334485752009831214809671652410251199451788) * 10 ^ 70 + 4843569746309905327816677340591224145914395384949537896253944046010872)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_99 : Polynomial.coeff recurrence4B2A4 99 = (6077917901602200379887110593260115129807 * 10 ^ 70 + 845655538627620314275234449219729741859595604960063604008413158267418) * 10 ^ 70 + 5549162628385406206621597282091423355812048093575959383127494475873108

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_100 : Polynomial.coeff recurrence4B2A4 100 = -((27651838097113837726316769631547898997341 * 10 ^ 70 + 4954959290424553812232691317380808086449239519760215972812831695184657) * 10 ^ 70 + 1877211154581738976157028732217640000673886528873634714976271635140930)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_101 : Polynomial.coeff recurrence4B2A4 101 = (122712470179776835558664845086906244022429 * 10 ^ 70 + 3228384543287757866999337625240799271621356984241980124644397126657431) * 10 ^ 70 + 9603286591260441840005844360302379567476152058907500321211754506252247

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_102 : Polynomial.coeff recurrence4B2A4 102 = -((531311205284340983013740204786521441324699 * 10 ^ 70 + 5352771246618325139594920446469803502403346182060114770949589272627586) * 10 ^ 70 + 2264008300178203279244520642560820085724253536539691667287288296754683)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_103 : Polynomial.coeff recurrence4B2A4 103 = (2244922336447808535971289213653334191475701 * 10 ^ 70 + 5981024965088567889495969773107121844052119420399475588310515881291633) * 10 ^ 70 + 4586989017192813149303850139676448037537072930579132573435243783339357

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_104 : Polynomial.coeff recurrence4B2A4 104 = -((9258460298553203067939562223076771040010490 * 10 ^ 70 + 579863033419938025475100553378483877063764337783101620846682516150246) * 10 ^ 70 + 3961353931165543764143495290677659255685079262156418193955262476197904)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_105 : Polynomial.coeff recurrence4B2A4 105 = (37277863894209888797088054596738878372934449 * 10 ^ 70 + 7711555941524696077784391211217368803750301091204586699019224720792160) * 10 ^ 70 + 6938533327027379523797669079007834746629369871832998467268432986503654

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_106 : Polynomial.coeff recurrence4B2A4 106 = -((146563069994805839463091822522725569285035668 * 10 ^ 70 + 5153659656927210402055970345254253881256490566543507776667403116573430) * 10 ^ 70 + 3034633344479929240749990436610106351407136537217840323587410889385351)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_107 : Polynomial.coeff recurrence4B2A4 107 = (562785303497307149325327924216229441541489006 * 10 ^ 70 + 3754139898689605321547274368524994409626192744396608691955144326792038) * 10 ^ 70 + 1479752903956785340488664427633703545718765009844755166885662601592440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_108 : Polynomial.coeff recurrence4B2A4 108 = -((2110988995783254204239682397685688963925885550 * 10 ^ 70 + 8870629048705683898747915545423151650562205772340341426550923109634473) * 10 ^ 70 + 4570457500396995825064690303619179935014508864814724105730327994211786)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_109 : Polynomial.coeff recurrence4B2A4 109 = (7736271057669275622377156726662520320330754224 * 10 ^ 70 + 5176114344080457130072703267956787713729568026825726571866879456065111) * 10 ^ 70 + 8370333158010838377961941793030375779619700474714390903724212365814945

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_110 : Polynomial.coeff recurrence4B2A4 110 = -((27704767982805084940500312600654597203078495801 * 10 ^ 70 + 9794616728460827010690677457113809504277706831272501487387575870845267) * 10 ^ 70 + 2197077654092936857897967201681097084637084001532208468054519442414496)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_111 : Polynomial.coeff recurrence4B2A4 111 = (96967546296380296022336128283507520121697153419 * 10 ^ 70 + 7761128597640840299034502557943046946727013007765537986077885523895789) * 10 ^ 70 + 2116572305181521456496854179054793756175072432814749150643651528550299

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_112 : Polynomial.coeff recurrence4B2A4 112 = -((331754345256507927735212689701942800889452408796 * 10 ^ 70 + 2749391866477599910752704250208111370899541857768624150838659064232492) * 10 ^ 70 + 2650833107232599562312675193122710930306701218626630919450333060338940)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_113 : Polynomial.coeff recurrence4B2A4 113 = (1109664960572335344757198906039817850655379847876 * 10 ^ 70 + 8042288458450581494003166738357875035626700919775772823639775297285016) * 10 ^ 70 + 1025143329146841935584383487349101834410691829395127696022336368146230

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_114 : Polynomial.coeff recurrence4B2A4 114 = -((3629245891590410556833081168242864337736983370315 * 10 ^ 70 + 1194402138323712197732441116209357058445902988806725122715669009212862) * 10 ^ 70 + 7178600459343400619519566010843490105363217114299380414965644105704198)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_115 : Polynomial.coeff recurrence4B2A4 115 = (11607855691753436801982644418715263795120553156022 * 10 ^ 70 + 1674783379691217979674259119660173348003807709603005763198860513436456) * 10 ^ 70 + 5409662217519610313649157417524593896405820553365834073436203549586415

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_116 : Polynomial.coeff recurrence4B2A4 116 = -((36312668604055817308806784868238169578999168181546 * 10 ^ 70 + 1675782106153183134221640868764222087535798494794658898880364602910426) * 10 ^ 70 + 9421518892801482582275763088057169439299167440430928649304002663480996)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_117 : Polynomial.coeff recurrence4B2A4 117 = (111119963077361312714433872135658667954296048788178 * 10 ^ 70 + 924275703323262420576376688104406925015413676713350594023468654384164) * 10 ^ 70 + 2389137016961179104085376699768306256174172842698137378973182681857717

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_118 : Polynomial.coeff recurrence4B2A4 118 = -((332666254831862142027006464500962894631108493724339 * 10 ^ 70 + 6628143316230972367501494352392443166510216630232667037992698004234589) * 10 ^ 70 + 2314280762196199195981149199361838310506583853623681360459425574755895)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_119 : Polynomial.coeff recurrence4B2A4 119 = (974453171827600616355168668146122851437248858261833 * 10 ^ 70 + 7324079588684083156534133483046761527880861966379263777714195889978526) * 10 ^ 70 + 6470691159639145862567716172677133606011891063506660956578942474466907

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_120 : Polynomial.coeff recurrence4B2A4 120 = -((2793183626243185299239526780905386842740271530540567 * 10 ^ 70 + 8194455113634417923113499738808402516778157997488987269163790905241875) * 10 ^ 70 + 4796524239052515779595781980025070316274860969533268739077244738975001)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_121 : Polynomial.coeff recurrence4B2A4 121 = (7835612804914558049250458080625665589460077175083174 * 10 ^ 70 + 7726872584235319564302491289535513866378264106517993906845393536664471) * 10 ^ 70 + 3217856454825219478040990891567535110310344814725027436163048468802096

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_122 : Polynomial.coeff recurrence4B2A4 122 = -((21514343053274948274936433638345325064670595117697873 * 10 ^ 70 + 9120392747665873749249113304429394618795995672792298545946941216424586) * 10 ^ 70 + 9301093987604033131398224700114299376767488540523961476752525671279393)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_123 : Polynomial.coeff recurrence4B2A4 123 = (57824192312604711726152763015732927865422756141339140 * 10 ^ 70 + 1561870658932996804725508348297287035048384297211086878451923919147608) * 10 ^ 70 + 9717064477805705503769447382315290043527063715219117008313887592043020

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_124 : Polynomial.coeff recurrence4B2A4 124 = -((152145893084213157011503993209269783012921817796866858 * 10 ^ 70 + 6399077583369241892450551965750527761625869376045714202167466295896106) * 10 ^ 70 + 9696552905453957165375123327478879828301276752466280349456930487415565)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_125 : Polynomial.coeff recurrence4B2A4 125 = (391941273140756470108421498716710072360039355682504468 * 10 ^ 70 + 2286794705328151465077819913570562886491546920898173788186448520667534) * 10 ^ 70 + 5685199801670430228096771093291076598903926519943231815466954883583972

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_126 : Polynomial.coeff recurrence4B2A4 126 = -((988623580608245774972938571493280955142807813967963181 * 10 ^ 70 + 1589619626477040268958715785071372248483427667415735149482147897056776) * 10 ^ 70 + 8918510405423539891656805123593104544815820140055714881119538730690640)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_127 : Polynomial.coeff recurrence4B2A4 127 = (2441897428351316124983224542046332457621363795125713914 * 10 ^ 70 + 9617566440036499112813263877225469720722355495967477832523949082403124) * 10 ^ 70 + 3300830240869159217868545521333930436558949935482340564461074291278118

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_128 : Polynomial.coeff recurrence4B2A4 128 = -((5906712884886334491193705365538821782678910182590165979 * 10 ^ 70 + 637663571340818717637997356340496212495424131783293397542606979749581) * 10 ^ 70 + 6181012289954659101463045133321550130607224007355408139721833863309544)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_129 : Polynomial.coeff recurrence4B2A4 129 = (13993296719803718406657867369977375607335957871848684833 * 10 ^ 70 + 7371108831136272363817194143503987152140715617036870542684173505285251) * 10 ^ 70 + 936509295687872853562654010284018928201058649646667969476983509473934

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_130 : Polynomial.coeff recurrence4B2A4 130 = -((32469976486580313952080023365728406089643667206192895745 * 10 ^ 70 + 7970999082190378673759230533445384259164364494796823094514744123710068) * 10 ^ 70 + 5166175678829384199881051820405027114480204945095284174095430144546675)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_131 : Polynomial.coeff recurrence4B2A4 131 = (73800948388892663071660758299241837918814323519110237125 * 10 ^ 70 + 3716877019005568467251067701364906366026935807664877824962382710982733) * 10 ^ 70 + 5928177122155870039032430462943138970178984909016648783593437833449784

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_132 : Polynomial.coeff recurrence4B2A4 132 = -((164319282027761018772309195724599024655931238260907268835 * 10 ^ 70 + 8371733208342669557373360007061645468803921090987806036364514498859953) * 10 ^ 70 + 6489382815164953480055948154460829410984509961221922251232509420265876)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_133 : Polynomial.coeff recurrence4B2A4 133 = (358417006976306453943233077433937817669609221511902245436 * 10 ^ 70 + 5650499406559945186857854539156879200490532235164663221033501566954461) * 10 ^ 70 + 3819259271381911821459007331259255588192105680324973248245944117619344

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_134 : Polynomial.coeff recurrence4B2A4 134 = -((765926967996451260170370105283204645315728769199108342716 * 10 ^ 70 + 1703559660201876439829320559156372128828808932496347069924410282741603) * 10 ^ 70 + 4654645453837630968721434339006478309617766220479555799068784098757366)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_135 : Polynomial.coeff recurrence4B2A4 135 = (1603645099879294625403761241499243301215578262427311231919 * 10 ^ 70 + 6690185323762160886652055207595327888807393239084464473638440141106268) * 10 ^ 70 + 6792713485734486946468403400350842122401973370650179302265286332104446

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_136 : Polynomial.coeff recurrence4B2A4 136 = -((3289827125658460716606535974969452550792597395392708581897 * 10 ^ 70 + 9716947940017663456044863254786846342010918213136833476484704445463099) * 10 ^ 70 + 1905179964630428763081241704386074637169104159842560029216743837574886)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_137 : Polynomial.coeff recurrence4B2A4 137 = (6613050708991292749284004609047612602350268810070993467101 * 10 ^ 70 + 9178927280594422025852124405596709901273810763916367946639935075983080) * 10 ^ 70 + 8987080209853844543420114011273715342507473647627479791037121777479782

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B2A4_coeff_138 : Polynomial.coeff recurrence4B2A4 138 = -((13026054546689201891552793001700692755209105289833625518729 * 10 ^ 70 + 4610006438916100854142838299819785839471850543149977779450612745165085) * 10 ^ 70 + 356953000035362229650964097545166325205862316959011563899406403418716)