Recurrence 2 lookup certificate: Scalar3Main coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_93 : Polynomial.coeff recurrence2Scalar3Main 93 = (62431904 * 10 ^ 70 + 8249695808149033865586851683397268048767430342136858883387326824997311) * 10 ^ 70 + 3511162177836042669569786973117863407491092151428206678686505371094066

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_94 : Polynomial.coeff recurrence2Scalar3Main 94 = -((256376131 * 10 ^ 70 + 1799044551664102256731662908902938047494807287261691923492676658754348) * 10 ^ 70 + 3550370163654748587251942271658538769561577433575843691569124098049941)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_95 : Polynomial.coeff recurrence2Scalar3Main 95 = (1001541069 * 10 ^ 70 + 4158235246834865932537464071682268446932638741057077729205848474394368) * 10 ^ 70 + 7120115094745151851879252591949120018134453800625376546193469453015915

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_96 : Polynomial.coeff recurrence2Scalar3Main 96 = -((3696681204 * 10 ^ 70 + 6597912715157007539619316385216716401241289138228226900740103842055511) * 10 ^ 70 + 7430868102685416276529551268181318260662785954048033172376926049092276)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_97 : Polynomial.coeff recurrence2Scalar3Main 97 = (12742411180 * 10 ^ 70 + 1287519252297553677036905251852588142367133329382696223360409073367881) * 10 ^ 70 + 2854775692607390177229955999020770899420419243043514245963930100990337

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_98 : Polynomial.coeff recurrence2Scalar3Main 98 = -((40219069305 * 10 ^ 70 + 910742725276775181870597960373561710659791272589968809523212138659336) * 10 ^ 70 + 3112884704190973075817782378218487283385641896819582368740806047683953)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_99 : Polynomial.coeff recurrence2Scalar3Main 99 = (112121008196 * 10 ^ 70 + 698768354205229017036051251817671187710823423624781729141579412489339) * 10 ^ 70 + 786301158818346457018338727334327995312371816176727739509589888844797

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_100 : Polynomial.coeff recurrence2Scalar3Main 100 = -((253985228400 * 10 ^ 70 + 1595563762190543629278991930476068142347704901279857127854408969327745) * 10 ^ 70 + 8919626560061831684859719745243686571361802438995736140216204890751135)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_101 : Polynomial.coeff recurrence2Scalar3Main 101 = (331754352210 * 10 ^ 70 + 8307267421434117247044353274997757927210487209043624739877568664628505) * 10 ^ 70 + 8739645383103537338082630091534143622408250561223547703543739753211950

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_102 : Polynomial.coeff recurrence2Scalar3Main 102 = (802607510079 * 10 ^ 70 + 7398565962202874981474657284041635214515060085869893831198750877737938) * 10 ^ 70 + 9530469476511919355224240171230630458706536855725545531227119887561354

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_103 : Polynomial.coeff recurrence2Scalar3Main 103 = -((9238561004189 * 10 ^ 70 + 7404558464107213037485427911888187513131615957454217265200394253126908) * 10 ^ 70 + 1163253045947059214090965708145741074035083152657029687012395984119841)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_104 : Polynomial.coeff recurrence2Scalar3Main 104 = (53722521417974 * 10 ^ 70 + 5603731172254790884429839583495244316994156932343361663173459140203641) * 10 ^ 70 + 3638074856816089299963673758954502634610460999755788696644063744643160

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_105 : Polynomial.coeff recurrence2Scalar3Main 105 = -((264152321877351 * 10 ^ 70 + 2900282502779775489850588752354566583800215696921099019910621092385953) * 10 ^ 70 + 1672793390043054147245799475351998182157076161937368297738869452912517)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_106 : Polynomial.coeff recurrence2Scalar3Main 106 = (1185482244148706 * 10 ^ 70 + 9385380900916198442962274897284749654609063324161449901235267381060224) * 10 ^ 70 + 8104769156346066198503845711322391421923660619126837367208200228444605

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_107 : Polynomial.coeff recurrence2Scalar3Main 107 = -((4769616965309294 * 10 ^ 70 + 7170464585017868146035018152322378674231957570788962572441250335353300) * 10 ^ 70 + 782500231520369695417866300877417290139346095316551602356794801337752)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_108 : Polynomial.coeff recurrence2Scalar3Main 108 = (16151449823017523 * 10 ^ 70 + 687481732866208254838455964647823145879382824907561214435656000960822) * 10 ^ 70 + 9195103125165411819845413342262555582432659012881087742623852131473452

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_109 : Polynomial.coeff recurrence2Scalar3Main 109 = -((40422926546022697 * 10 ^ 70 + 8373561574300448132759347892635859854024264729734514753753111926891824) * 10 ^ 70 + 9711407418307207997492517881840960527923768985099120617151638012655844)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_110 : Polynomial.coeff recurrence2Scalar3Main 110 = (42926417253980194 * 10 ^ 70 + 7284063518675053493169065973707204053758025683519102774150031855007516) * 10 ^ 70 + 4266089519619734916296946972811426881839544548461306476725295170891033

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_111 : Polynomial.coeff recurrence2Scalar3Main 111 = (193590692312853162 * 10 ^ 70 + 3652482503320583860728253044351863630398480384654679952423416986686599) * 10 ^ 70 + 9448457520650359521033991775213472590636596979232211963664882137146870

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_112 : Polynomial.coeff recurrence2Scalar3Main 112 = -((1105041008742517357 * 10 ^ 70 + 4615699618944508517926059732894149851813092863178478190343074062245453) * 10 ^ 70 + 5073557931786491913492872562555017736550638813743753022147714842607861)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_113 : Polynomial.coeff recurrence2Scalar3Main 113 = (809230803088070603 * 10 ^ 70 + 9902780634955044795942029352193719031130990881237758155615692912490064) * 10 ^ 70 + 6402776591641613872747148268716088491098863300191043866697495413837170

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_114 : Polynomial.coeff recurrence2Scalar3Main 114 = (20686136302528439857 * 10 ^ 70 + 7880528376948226896510577825220844814978006286548852120569597918099597) * 10 ^ 70 + 8626602094967825321445215869232579563089131069282721532899511078829181

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_115 : Polynomial.coeff recurrence2Scalar3Main 115 = -((150011280318494127649 * 10 ^ 70 + 534374963486727437818914169099335212417213421981880080917958806699398) * 10 ^ 70 + 4601360704961493174927728268818353127784999145771951303988559524600421)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_116 : Polynomial.coeff recurrence2Scalar3Main 116 = (554902232724285661629 * 10 ^ 70 + 6584306586872426356918090110401159329106357073237489182895305218454959) * 10 ^ 70 + 4245511138803884214063098790086976425564101522269537222294961096181358

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_117 : Polynomial.coeff recurrence2Scalar3Main 117 = -((752603357410869913586 * 10 ^ 70 + 8433283160349679616105900790607243206799249457313758777215735664393304) * 10 ^ 70 + 5092729657703672721446307960873841348254744107668539693694558221423442)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_118 : Polynomial.coeff recurrence2Scalar3Main 118 = -((5021550490301721084036 * 10 ^ 70 + 4140936640243550412219180013618736369436712994243327322194572419548215) * 10 ^ 70 + 6433240017768211463780991166759580910316698907417920455481469779942205)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_119 : Polynomial.coeff recurrence2Scalar3Main 119 = (44252731136220623124830 * 10 ^ 70 + 3625804466298445454043808916326067728418060643462953797881881264500659) * 10 ^ 70 + 3631658100036891505901222655636448195078296032288775424814651930556817

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_120 : Polynomial.coeff recurrence2Scalar3Main 120 = -((194859262303352962718765 * 10 ^ 70 + 3639591835730739802289653262891593034194532011554685029628311590806566) * 10 ^ 70 + 8946482804716306008557451864953166509474183924009166885668668426803825)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_121 : Polynomial.coeff recurrence2Scalar3Main 121 = (510138315976751262654075 * 10 ^ 70 + 2711568660626101078347339047291769296735626578288720574976461638718977) * 10 ^ 70 + 4891483268459271350363391035091044768401725030746713937954828900219051

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_122 : Polynomial.coeff recurrence2Scalar3Main 122 = -((103991941699309448517089 * 10 ^ 70 + 7416720078422083685056481860811324547428742704060307805315042979691694) * 10 ^ 70 + 6452414707320792823635648406258461445609633884948583736187878854492377)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_123 : Polynomial.coeff recurrence2Scalar3Main 123 = -((7415614602768394029695298 * 10 ^ 70 + 7664595339533208719493378145239770945703711690221431074885573245561997) * 10 ^ 70 + 5833268164058114371236487556571577908587750205590232112646114629462176)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_124 : Polynomial.coeff recurrence2Scalar3Main 124 = (47764746632100822021534536 * 10 ^ 70 + 5842012458111111558102942333843768025917220703500334124202660678205737) * 10 ^ 70 + 8308853546219328417068070419322210439045706083258574952925420522046665

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_125 : Polynomial.coeff recurrence2Scalar3Main 125 = -((176993800463363085110742261 * 10 ^ 70 + 1799021679164722138131386836301237517070094737803099699352668181389751) * 10 ^ 70 + 8774255336735794936357188220341195323247696411215884087253143692118067)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_126 : Polynomial.coeff recurrence2Scalar3Main 126 = (328853896157706032188029519 * 10 ^ 70 + 7170347752376091733282045731198255197968377400432300075394720112860275) * 10 ^ 70 + 5468905915956328994547492331464900436636564080073856715307621986626995

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_127 : Polynomial.coeff recurrence2Scalar3Main 127 = (715662567068876447846446482 * 10 ^ 70 + 3507543710618289644680559324531730790784284943028799171574791237219237) * 10 ^ 70 + 8235060658636168205112601640800643482547250159967978373286382291581394

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_128 : Polynomial.coeff recurrence2Scalar3Main 128 = -((8727303629303993762147914916 * 10 ^ 70 + 5708538136995929801957700467551718106632264080133509779815241621142835) * 10 ^ 70 + 4900369110452108391170534279211719563908244729578040307022482268207920)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_129 : Polynomial.coeff recurrence2Scalar3Main 129 = (38022797810463428982037935696 * 10 ^ 70 + 2937632352023830773490180592984706509606213464177465768191146954076570) * 10 ^ 70 + 1917047420421347102405893518502980741718544288380475238303022464494728

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_130 : Polynomial.coeff recurrence2Scalar3Main 130 = -((91279314275016409772846533616 * 10 ^ 70 + 5905547275013089675128717571302479372737139168973532490203418036076002) * 10 ^ 70 + 2140118175038686629237308570060687240889094359467829602305452297188245)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_131 : Polynomial.coeff recurrence2Scalar3Main 131 = (30866523915185462731550551018 * 10 ^ 70 + 2044498375261905467941790258979608645452955342307707266470860788664886) * 10 ^ 70 + 2058369633321562748431815698039382031151040002087016271504301587259135

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_132 : Polynomial.coeff recurrence2Scalar3Main 132 = (763714183209683757991564469259 * 10 ^ 70 + 8064223059111021170976327417817647348466731472486599104116074061905434) * 10 ^ 70 + 6531174122824404439352189772387275774991905301160612046949697027861276

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_133 : Polynomial.coeff recurrence2Scalar3Main 133 = -((3748328250435713806051280619975 * 10 ^ 70 + 4418616560500280151979036631272513733445878922834543422355549335361439) * 10 ^ 70 + 1967357071812224516830736026724644718898933604896014268206200232961023)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_134 : Polynomial.coeff recurrence2Scalar3Main 134 = (10727195613571151068075317728921 * 10 ^ 70 + 9502933454885186964156034335314745886806958264455877717668385157884178) * 10 ^ 70 + 6657097850078684517279102217290899815502870734262560302155513737703145

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_135 : Polynomial.coeff recurrence2Scalar3Main 135 = -((22318722491956642279073281191551 * 10 ^ 70 + 5390256660718267632374993749944350072258475352302408110310250436325607) * 10 ^ 70 + 9332094162888629164328186593154613188121855239677347835874927093663075)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_136 : Polynomial.coeff recurrence2Scalar3Main 136 = (34447617743424319171426719479021 * 10 ^ 70 + 4555716311996232062094700170116416148123002851146298804776409543212169) * 10 ^ 70 + 5928471238567767340865872229555296120372635481991917570228148104749639

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_137 : Polynomial.coeff recurrence2Scalar3Main 137 = (3134466661705030751022175893026 * 10 ^ 70 + 8853423722244572173912336415154676704949118512166221034356305776363493) * 10 ^ 70 + 5481975183001343893609244685635555709905650801676988325532620746303005

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_138 : Polynomial.coeff recurrence2Scalar3Main 138 = -((373902250216999132401483030143684 * 10 ^ 70 + 8700566229306576564714090731332123820273560026003150395604942196952114) * 10 ^ 70 + 757588175953148828818139169657585723474956217961811023490906719913567)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_139 : Polynomial.coeff recurrence2Scalar3Main 139 = (1583306309470495163658509624786207 * 10 ^ 70 + 4883374246201620596080624943088188541396534274807199188862964959177414) * 10 ^ 70 + 1836061995490146139632409920020345899875980847725198718878724810493381

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_140 : Polynomial.coeff recurrence2Scalar3Main 140 = -((2087414457228843821255892022606280 * 10 ^ 70 + 2377242428008831254082013178996991348270959551726685104543484131281374) * 10 ^ 70 + 342432604284283523305772705826561107931110532367377098869700381030788)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_141 : Polynomial.coeff recurrence2Scalar3Main 141 = (1051936035552794777483742262996208 * 10 ^ 70 + 4582202521026695828317954931090621339835632202355835688165762037710701) * 10 ^ 70 + 6327986238991678894993194500195679430594202991905364387387069602052928

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_142 : Polynomial.coeff recurrence2Scalar3Main 142 = -((98257934013621226426278814116372479 * 10 ^ 70 + 242881765168990070742697980519127802023234666306875309739722335964324) * 10 ^ 70 + 4062724733603371088991395352573372132489257013604627376367600363110556)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_143 : Polynomial.coeff recurrence2Scalar3Main 143 = (944992973192856228840074105289400946 * 10 ^ 70 + 4814754599014265037500959259675035260094832379565730647631325052661587) * 10 ^ 70 + 7559230240703222174298430776792923091012593504855872257078274615425246

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_144 : Polynomial.coeff recurrence2Scalar3Main 144 = -((3800063621430680239714578778807531873 * 10 ^ 70 + 7315198710642097850470804690703233055063598548645712759594462769438694) * 10 ^ 70 + 3410426669254489029522082554395243616433297619942213584381608273866535)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_145 : Polynomial.coeff recurrence2Scalar3Main 145 = (2075785758183613758633885415980416156 * 10 ^ 70 + 9137235343590942094750302506575251432747683362368396821955129071833885) * 10 ^ 70 + 1175037524532429354437148397655569567511959557906946927004729800441293

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_146 : Polynomial.coeff recurrence2Scalar3Main 146 = (58710937749162221336575768929824171526 * 10 ^ 70 + 9591680592178405701000947549620492199907985097163582814188806819910485) * 10 ^ 70 + 9235014762457943796909611523319512250548473810803679440748769921318844

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_147 : Polynomial.coeff recurrence2Scalar3Main 147 = -((323926851351975948862332959868877775758 * 10 ^ 70 + 8027358755070586253664558360060104408682281965570870042956039906632868) * 10 ^ 70 + 521254808946584800448890774632473443084166999643715103490689261865314)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_148 : Polynomial.coeff recurrence2Scalar3Main 148 = (620098432630129240760806430739994184912 * 10 ^ 70 + 5114449275484121776114377441299813636141173722447712418438808762489942) * 10 ^ 70 + 4207378042768156155969101976102245211662514389160075770266439272877625

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_149 : Polynomial.coeff recurrence2Scalar3Main 149 = (1827847095415756363138268611395303836742 * 10 ^ 70 + 1139062846825441703421103226267619715683401305980621479492797209311816) * 10 ^ 70 + 8349651722824097814526254431506710400929734558179862553604102193230747

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_150 : Polynomial.coeff recurrence2Scalar3Main 150 = -((16028903813814848912093019525728676174920 * 10 ^ 70 + 8565032261849144965698328652596235520229030316046780901842012577929010) * 10 ^ 70 + 9483415364860025489113378079954506740985351216164886603459184977728982)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Main_coeff_151 : Polynomial.coeff recurrence2Scalar3Main 151 = (42093130024462253966396334484878045946249 * 10 ^ 70 + 8522147419233704678333322456313774192742036014408606939508071973700557) * 10 ^ 70 + 9190034567150406962162065563451217399689653698737816528027372238805628