Recurrence 4 lookup certificate: B3A3 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.recurrence4B3A3_coeff_80 : Polynomial.coeff recurrence4B3A3 80 = -((15453721930853017708888991 * 10 ^ 70 + 4551367354388304104617582932346132503431548479993218363727679942451040) * 10 ^ 70 + 6920635666721316592739053229454751672640386062292350985917026004886917)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_81 : Polynomial.coeff recurrence4B3A3 81 = (119570363796676093959971090 * 10 ^ 70 + 8304889849945216187391818823872963773194576875567372126292756184380502) * 10 ^ 70 + 520152993100557520840316059241737810203381513402886062143259491277707

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_82 : Polynomial.coeff recurrence4B3A3 82 = -((896426063203731012609313975 * 10 ^ 70 + 5841800100873871845670398845376108087743525401111940038048812392329756) * 10 ^ 70 + 9670391104630950750788656132327762462500635113082862817551424032457909)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_83 : Polynomial.coeff recurrence4B3A3 83 = (6515147039143166748813286594 * 10 ^ 70 + 5082824794396001230523701362984315672801451777076519658958609643438248) * 10 ^ 70 + 8945782299656466400826661026144568681359193232767652255484585379699131

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_84 : Polynomial.coeff recurrence4B3A3 84 = -((45926183492967763257655010685 * 10 ^ 70 + 378711693381209709219433804117743470356743935936849777488860201121157) * 10 ^ 70 + 737470206206567483663092356948499716814529827207738687966483089711348)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_85 : Polynomial.coeff recurrence4B3A3 85 = (314138094119025943494787858374 * 10 ^ 70 + 3667467889109839397846189261162360077180695138686835047521944155805849) * 10 ^ 70 + 9155650386125834163135191247634941702880106201469702614013730232490408

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_86 : Polynomial.coeff recurrence4B3A3 86 = -((2085900820639151045914912906301 * 10 ^ 70 + 2201682088398910902173329640187820665177144361298536058425830716781173) * 10 ^ 70 + 5532601992420633457538304493752547824374719338049493928593916303862801)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_87 : Polynomial.coeff recurrence4B3A3 87 = (13451163587095922353437235541955 * 10 ^ 70 + 4297097292085543818098003068848219796828999328489548249823512261421582) * 10 ^ 70 + 7858931729619661454891034393573656955822703090380007137566331342590524

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_88 : Polynomial.coeff recurrence4B3A3 88 = -((84273650028912159652996437616415 * 10 ^ 70 + 8289677124306850623092536790211829125047774995160403340652144890843453) * 10 ^ 70 + 3244488700036014198632749918002811600851442508736639887770864498824464)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_89 : Polynomial.coeff recurrence4B3A3 89 = (513162464376428408954687967908022 * 10 ^ 70 + 950080895104285103049110018050224496065216734337673161462697239406052) * 10 ^ 70 + 9330761627588037742225300516860059046981500312162248352377355978016541

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_90 : Polynomial.coeff recurrence4B3A3 90 = -((3038139409089611716130860954080254 * 10 ^ 70 + 927317827512764561492820197057864045678446156450542152824853977282463) * 10 ^ 70 + 2706430881410725254668285241935056346320156053500247571991025884383930)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_91 : Polynomial.coeff recurrence4B3A3 91 = (17494538876578744408593515051997391 * 10 ^ 70 + 5782401657006452806915102766298533087002276721394930628973733461375650) * 10 ^ 70 + 1700347823858865558910427184135090318512732754490979607666666538062724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_92 : Polynomial.coeff recurrence4B3A3 92 = -((98013416948359976629223924628847991 * 10 ^ 70 + 904007208042728240467130777837393539988595797669265075824281508723197) * 10 ^ 70 + 4902659865247855309934873744504764488745801198471864759392623156109643)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_93 : Polynomial.coeff recurrence4B3A3 93 = (534438022187690123588910447219380773 * 10 ^ 70 + 9410634330858511926693636410265212348885953932565186934438684878551938) * 10 ^ 70 + 544780280744438714554432512242950329950093118979132765719713537551135

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_94 : Polynomial.coeff recurrence4B3A3 94 = -((2837090046219056597058772634570036085 * 10 ^ 70 + 5912912981470495968580888432827076302482048428524258855384901117755581) * 10 ^ 70 + 871332593582896076074126771946121255548468707119482827902781128168771)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_95 : Polynomial.coeff recurrence4B3A3 95 = (14667053580248057701328839892604161608 * 10 ^ 70 + 8299183922971093903076835327659214674932753244297190986776568509094982) * 10 ^ 70 + 9536665274595409184371898248358875888210186592591018583263309211887035

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_96 : Polynomial.coeff recurrence4B3A3 96 = -((73863819576149012326358771365257352049 * 10 ^ 70 + 9174316908730970030592426683768118951680220020376784760516077187185790) * 10 ^ 70 + 5277891148125437305412026174336196136894885200501231963832492431049935)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_97 : Polynomial.coeff recurrence4B3A3 97 = (362460121113085449111430645591257928926 * 10 ^ 70 + 7140282083771943889097622794443377983121209707208101267021836960430724) * 10 ^ 70 + 5594671853916757949525704128892972209947292882989100900741844743179096

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_98 : Polynomial.coeff recurrence4B3A3 98 = -((1733581533642381378380897784606092388873 * 10 ^ 70 + 4370179335922016028877890993946095543449476546909492174602954355564502) * 10 ^ 70 + 1162314312154579460408187817539397554717302594045158522432177284468595)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_99 : Polynomial.coeff recurrence4B3A3 99 = (8083428075406988659320217504145445519634 * 10 ^ 70 + 7629374409266947310206791152797052814610064730449569260955742305641405) * 10 ^ 70 + 6754410392470741949849219339514685879407911637849939250155388009313039

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_100 : Polynomial.coeff recurrence4B3A3 100 = -((36755448319282185505972726419822586199853 * 10 ^ 70 + 8650089412516608028964584419791422670961422936818648141171672572393804) * 10 ^ 70 + 4492890505558878535532093877895478896636389411747572189335680682940680)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_101 : Polynomial.coeff recurrence4B3A3 101 = (163014533360109177890745536641060915044545 * 10 ^ 70 + 3154400742345124734500609350217152674972230082967136864390482896777468) * 10 ^ 70 + 1974155576394566300668323739280573763329880544457921185042560123799879

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_102 : Polynomial.coeff recurrence4B3A3 102 = -((705357333986786136617704753667173047848836 * 10 ^ 70 + 6474499272252356853932143465850249830250919355001373002860349357150909) * 10 ^ 70 + 7486824632681182353043997462973425714861580778361701802375030571086690)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_103 : Polynomial.coeff recurrence4B3A3 103 = (2978286306602881935427218601355200133900013 * 10 ^ 70 + 3480661897533340921343749430898538891701293144209294114705617968231563) * 10 ^ 70 + 1347867163624037351920489879003078835531207859115501659003046776159535

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_104 : Polynomial.coeff recurrence4B3A3 104 = -((12274129496582101021982136475397110706946053 * 10 ^ 70 + 6972225344313362676627524931188845385233999910904739108510033692790935) * 10 ^ 70 + 7060570827246122631422215064127536912010548199432447469181252074751324)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_105 : Polynomial.coeff recurrence4B3A3 105 = (49382280767081145384623969019429065284316477 * 10 ^ 70 + 3121821470461153634205998905498972967007722621394262098526383361611843) * 10 ^ 70 + 4004989686545071422102547386480348954200991625691444531049735688901412

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_106 : Polynomial.coeff recurrence4B3A3 106 = -((193996400446966903835093609984288506068392960 * 10 ^ 70 + 4743258358664080654422981590430978037364933281623875435458424796461057) * 10 ^ 70 + 7008132059856781800470503193969656062607139444844305832707745479691514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_107 : Polynomial.coeff recurrence4B3A3 107 = (744287970521353799622331917505343539813485220 * 10 ^ 70 + 6932587479731149670677145914009764233344668578350921008855680204660642) * 10 ^ 70 + 518759838592637761381663771752217675482608429104715372892820378437921

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_108 : Polynomial.coeff recurrence4B3A3 108 = -((2789284231372069342396016618246016220968688903 * 10 ^ 70 + 4743887326723169331697375917470422548464257841562988994884292261503117) * 10 ^ 70 + 6813365411504370785176087611188910900965594205892662411728822354327139)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_109 : Polynomial.coeff recurrence4B3A3 109 = (10212349250172835827584739399419531955615364460 * 10 ^ 70 + 1281955751862713497823155054073320233883352382874320074004874872980828) * 10 ^ 70 + 3051971577412390748096845286845259037338699712304585319614006961172004

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_110 : Polynomial.coeff recurrence4B3A3 110 = -((36535365596941737522505920113802224983061944266 * 10 ^ 70 + 4150536886752906648151691922643476865282002082653101916611782385996037) * 10 ^ 70 + 1178147887228887020508360185298487810740400918064752756292319813574871)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_111 : Polynomial.coeff recurrence4B3A3 111 = (127740079362288940382824700706672301245825671896 * 10 ^ 70 + 7277116039161103349569101386809880229939723484310350329402000394059026) * 10 ^ 70 + 9883058648484536160163101739439623098849190922026427703230880684826666

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_112 : Polynomial.coeff recurrence4B3A3 112 = -((436551163025571962396820639458833559334985139980 * 10 ^ 70 + 497316025941108782410680136854459673405281666706117740800291371558789) * 10 ^ 70 + 8499285311449253470921957837642101506139599828642058399105742868556582)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_113 : Polynomial.coeff recurrence4B3A3 113 = (1458488698995058303498346135359338565738794044628 * 10 ^ 70 + 6773498002799156856973154474191357862843673774596282566415532049945739) * 10 ^ 70 + 2955282012764733816330968263481427525844642120760013541532693400390772

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_114 : Polynomial.coeff recurrence4B3A3 114 = -((4764245287638895136619220302732658824943127127576 * 10 ^ 70 + 2215198380217059250519922231108138943789804913630131598485086048770266) * 10 ^ 70 + 947585290607681034095890859149032487084277998142735929536959657663912)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_115 : Polynomial.coeff recurrence4B3A3 115 = (15218400259634099834256316477751412947066269292995 * 10 ^ 70 + 1731611276213332479131606235301942969504321496322985584868367148627909) * 10 ^ 70 + 2796919286274083030670763332863682802493807850948747887345448432296376

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_116 : Polynomial.coeff recurrence4B3A3 116 = -((47542943871138426711725311654299425063436349017178 * 10 ^ 70 + 1549630813062073531387774802158320095491854358691460113367521242291300) * 10 ^ 70 + 5686358103455925595875817376418461792558461490136540847916614336082773)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_117 : Polynomial.coeff recurrence4B3A3 117 = (145278495116777939926409064055635952649997625598560 * 10 ^ 70 + 8663399054543146346571243643219971704250126429562861615369445730262395) * 10 ^ 70 + 7126636825427573121279391656067894657013639358734594263467892142025602

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_118 : Polynomial.coeff recurrence4B3A3 118 = -((434278725008955881340759552815207538478959448238230 * 10 ^ 70 + 8013912551240536258204016109846203071087367066863245449279530759367558) * 10 ^ 70 + 6266600582506829335266405903412574628098244887139859236207648121324438)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_119 : Polynomial.coeff recurrence4B3A3 119 = (1270104064155195275844292270839053054559356931650660 * 10 ^ 70 + 3975958569607219966498470492629178624366495689708551846200122746066148) * 10 ^ 70 + 2259606614088214252418918965604432206239180499034065615647014365003671

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_120 : Polynomial.coeff recurrence4B3A3 120 = -((3634653559290836856613294477683601947279951236936672 * 10 ^ 70 + 8521605374156185093171917739015306638349876531949374053371449991255204) * 10 ^ 70 + 4104107547205240296619956963393811279916411133399566930761056226537697)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_121 : Polynomial.coeff recurrence4B3A3 121 = (10178576703087893521484454149487828593215477847288871 * 10 ^ 70 + 1107037472194502102693591307691988990493296937918480451421993657896762) * 10 ^ 70 + 3955835098661266082691855768203874941977276902768573502847746889022439

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_122 : Polynomial.coeff recurrence4B3A3 122 = -((27896949539067589009227497710968225968396859237337782 * 10 ^ 70 + 964885970891119908560403374855152383711761029867640367567834644507645) * 10 ^ 70 + 4355064460991226877631444771084333193196627168638254513964402489087631)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_123 : Polynomial.coeff recurrence4B3A3 123 = (74836822078243251374939710551059728611503347778503306 * 10 ^ 70 + 7777563863334124975609396175235104837887600308984679865356442592132483) * 10 ^ 70 + 9769158051692817781439760484143759854638200078499520507483256923274860

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_124 : Polynomial.coeff recurrence4B3A3 124 = -((196518884637232506430898959990006948736367126139235575 * 10 ^ 70 + 5054363862723545376443597193706807891556342650181563088977936918398334) * 10 ^ 70 + 7800823136064883185734934797505262170825371893852197223913719445854239)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_125 : Polynomial.coeff recurrence4B3A3 125 = (505199650429950850715390844263500962906925643495787600 * 10 ^ 70 + 5546160060750423900168349407187454279792300873454342975249977051883580) * 10 ^ 70 + 1908570137081016412845628224120979119944533356027583618659361264291266

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_126 : Polynomial.coeff recurrence4B3A3 126 = -((1271537502010994931878394917020487889022767257163356921 * 10 ^ 70 + 7814455016109535378722016058209853182542701512129981581922625751484632) * 10 ^ 70 + 1005790362073344763177667809571027178739309713850850331000691493074422)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_127 : Polynomial.coeff recurrence4B3A3 127 = (3133562923170861209443280166781151505132475300931560036 * 10 ^ 70 + 877508033123144253600111228957310308216585967808687490580398750747755) * 10 ^ 70 + 6503981697098523463411529042978135954366267911532962613982126812424727

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_128 : Polynomial.coeff recurrence4B3A3 128 = -((7561791286652043160436249455401637694160321691663815116 * 10 ^ 70 + 4216520217530072329689977147669643252318290304513701000383897098325561) * 10 ^ 70 + 2639738911557566466019016989154456375805954559842370191712109188870851)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_129 : Polynomial.coeff recurrence4B3A3 129 = (17869815575204822485861880680431944245142082168559563767 * 10 ^ 70 + 2642494355235734155272434969178760297419672933351152607884346424330519) * 10 ^ 70 + 7224686278362300208908143529936847058654478444473134186596520641940069

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_130 : Polynomial.coeff recurrence4B3A3 130 = -((41357557069400606491109877060791395478253990739209708837 * 10 ^ 70 + 9507871421640239812884443119067173871279365070219294265780990344898355) * 10 ^ 70 + 5434065135595702079891849431186452988281805604283038652613791772312163)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_131 : Polynomial.coeff recurrence4B3A3 131 = (93747054292404548098307968468598180612184040617832271957 * 10 ^ 70 + 9180215831216009654612724014378932319957266885798059941686519267172841) * 10 ^ 70 + 6389955856167392140220249260234445237056705146031752674493063962463786

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_132 : Polynomial.coeff recurrence4B3A3 132 = -((208139770754812327638720078309267274473657590921916534481 * 10 ^ 70 + 5547650248345277148443180591602514695472704297928969703832472406584431) * 10 ^ 70 + 5419212349446138215101432298848300899203754250069960948059458031062837)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_133 : Polynomial.coeff recurrence4B3A3 133 = (452660049939353175020617807020556038506491960500866920328 * 10 ^ 70 + 4561849602688599918650340165497542329619889807541550255574838110089366) * 10 ^ 70 + 2920995235471760005091226202541275940297791930242202284297531104126148

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_134 : Polynomial.coeff recurrence4B3A3 134 = -((964344246628250267987059068533280797649510332978443425341 * 10 ^ 70 + 7967152777879196992709609404098645708315109622304469093905853487308400) * 10 ^ 70 + 1371872523752766924050434374010719526365551519553882002435173845626020)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_135 : Polynomial.coeff recurrence4B3A3 135 = (2012594265504518299410899817283699192016744344274493535104 * 10 ^ 70 + 8953374309904541984980580936457137126726620718090215477169877695042) * 10 ^ 70 + 6077900598668429405830066204599236706837172389129754795386415481469822

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_136 : Polynomial.coeff recurrence4B3A3 136 = -((4114945971807347613800976143940095440112558211119898606606 * 10 ^ 70 + 3370809584691635020317977568085032889526243338454704344674532276731027) * 10 ^ 70 + 2089779268677805816147332187327461450929521964577306984170017695617267)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_137 : Polynomial.coeff recurrence4B3A3 137 = (8242776511371464563337097913336032509761175106742412600482 * 10 ^ 70 + 5185966787356640540179689461277600495146163293303433781664578707682360) * 10 ^ 70 + 5474846785566126482578720363966329953637997874832857214690541541715609

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4B3A3_coeff_138 : Polynomial.coeff recurrence4B3A3 138 = -((16177083288318065492647908237405527567632332554366081204684 * 10 ^ 70 + 4348280077777450947441018014712419204635273981850890670724421062080878) * 10 ^ 70 + 7386511175888223775595726231052438362877361234535872854044061526783411)