Recurrence 2 lookup certificate: Scalar0Main 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.recurrence2Scalar0Main_coeff_93 : Polynomial.coeff recurrence2Scalar0Main 93 = (11982630 * 10 ^ 70 + 261498208836161155434508568242445499218306133123131673806955919195679) * 10 ^ 70 + 1072805830577783303718529168616676649691994098207402894700508232564961

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_94 : Polynomial.coeff recurrence2Scalar0Main 94 = -((57513912 * 10 ^ 70 + 3899346852834560147392070039315398571222858724984203106553517550263275) * 10 ^ 70 + 8992502879013640876380972331474096203056362092163677247003056501870012)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_95 : Polynomial.coeff recurrence2Scalar0Main 95 = (264865120 * 10 ^ 70 + 5270382521824959641468166484671934771765256836631222106350782247770615) * 10 ^ 70 + 2765039515327865002610254668193865969266701572954992558613362906225679

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_96 : Polynomial.coeff recurrence2Scalar0Main 96 = -((1169358657 * 10 ^ 70 + 7871906541766798817012614918983748541618722800724854329470910145804563) * 10 ^ 70 + 2459779434249590469867381768874634367083696174837691995129190687028366)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_97 : Polynomial.coeff recurrence2Scalar0Main 97 = (4942663420 * 10 ^ 70 + 3342129064785002619288608837257642273920289594743401295270715161310738) * 10 ^ 70 + 6257292262489067787101262014904723769566785368591406853408210672191155

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_98 : Polynomial.coeff recurrence2Scalar0Main 98 = -((19952153531 * 10 ^ 70 + 106685437769802992929287682682225505848915188046944061731976415981331) * 10 ^ 70 + 772566949627265998745944511719551772517313209430744580397710189490009)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_99 : Polynomial.coeff recurrence2Scalar0Main 99 = (76571503822 * 10 ^ 70 + 9768640339742675582486643689077815115060220740395086566291372634332898) * 10 ^ 70 + 2708723341340572730141590244828721275348843157023789018430996857987807

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_100 : Polynomial.coeff recurrence2Scalar0Main 100 = -((277225318665 * 10 ^ 70 + 8088921320816482168776913973183402060675146033803742477221358054428537) * 10 ^ 70 + 6786997193429075101217413567120952103081925451131007071891795286795108)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_101 : Polynomial.coeff recurrence2Scalar0Main 101 = (935123604779 * 10 ^ 70 + 7988175001819877402206294313932211330657195592637275389217343838759066) * 10 ^ 70 + 3267049816352650489991385033037300977064235800505479965531457373672497

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_102 : Polynomial.coeff recurrence2Scalar0Main 102 = -((2880421880281 * 10 ^ 70 + 9996696544502945264849957145242472584288056243953145473760183377524705) * 10 ^ 70 + 682431575569710534593558449526832016759681825994112814374680537470388)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_103 : Polynomial.coeff recurrence2Scalar0Main 103 = (7816173476410 * 10 ^ 70 + 7142651679185765323380774319152618533641032548232395792450026878911100) * 10 ^ 70 + 6353142734100147565991808722063721573357553077561945384698073686580829

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_104 : Polynomial.coeff recurrence2Scalar0Main 104 = -((17159345733105 * 10 ^ 70 + 4242730654284102888186221001261894542067179299117053410318993555746862) * 10 ^ 70 + 3592668247767031578567476589782393582941733088098507456696942453958980)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_105 : Polynomial.coeff recurrence2Scalar0Main 105 = (20771164821924 * 10 ^ 70 + 9813194495272021171039622886724834810044640288008940964282016307412723) * 10 ^ 70 + 3388396514165562532540270765769676286666521040479442466708099861520626

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_106 : Polynomial.coeff recurrence2Scalar0Main 106 = (64850233832525 * 10 ^ 70 + 5228065321219164889808471134066657146436876353624723927772996532262637) * 10 ^ 70 + 9162098705658134504986802594189529050422237975680750712469625734993522

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_107 : Polynomial.coeff recurrence2Scalar0Main 107 = -((696868885801390 * 10 ^ 70 + 3548868569822766984701573034828419524455806394268437535348132589226274) * 10 ^ 70 + 4711259856938972420660205035095687005491414584365291778350412377745363)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_108 : Polynomial.coeff recurrence2Scalar0Main 108 = (4097587817290863 * 10 ^ 70 + 7833079886148450081908492930870164865657255618127010784853357148986770) * 10 ^ 70 + 7681202475524423782485849900352236723099578634971076539758917983509626

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_109 : Polynomial.coeff recurrence2Scalar0Main 109 = -((20184217236433212 * 10 ^ 70 + 9186275319645726612880534154505793848487202606310438384712125606042798) * 10 ^ 70 + 8116180934687581017024418212289684909842113926361755136576654625292972)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_110 : Polynomial.coeff recurrence2Scalar0Main 110 = (87957853443887282 * 10 ^ 70 + 8501081619094808211011170066483887740965900065854237058741348605791438) * 10 ^ 70 + 59371841587121894916934774340436833720166683888872969423210969697543

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_111 : Polynomial.coeff recurrence2Scalar0Main 111 = -((331812431868750380 * 10 ^ 70 + 2760257099280932745360259075134043590629353495327315917601534560812341) * 10 ^ 70 + 8583883655421805350740046726116759117596259389103644255376844164688540)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_112 : Polynomial.coeff recurrence2Scalar0Main 112 = (1015343892106614131 * 10 ^ 70 + 2882723865602796683064688853630726341418341751028302272565260141285272) * 10 ^ 70 + 7816951371649516488618708214158563355823640042986933437149920637260999

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_113 : Polynomial.coeff recurrence2Scalar0Main 113 = -((2136569315636418674 * 10 ^ 70 + 1553225124103292077614900913018861927878933608153770220545152224656657) * 10 ^ 70 + 1421767693173725481336327438437299797026520098771165319596819164364428)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_114 : Polynomial.coeff recurrence2Scalar0Main 114 = (883061982145788033 * 10 ^ 70 + 4802226728572231416770651373596495893941331708206485332501481901115489) * 10 ^ 70 + 2521461503012206597308363810551389750174875123174373697672413101308627

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_115 : Polynomial.coeff recurrence2Scalar0Main 115 = (13763029794742294117 * 10 ^ 70 + 8321527500111283731796974999612057345194828179321520805973029850944426) * 10 ^ 70 + 9079972666610897803905838993123584252669276941981476998597338532425390

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_116 : Polynomial.coeff recurrence2Scalar0Main 116 = -((40854669398478927126 * 10 ^ 70 + 3337283851792924501585828217452411919859147441752596084868795635962555) * 10 ^ 70 + 3859593180184832690810240553800430403514215126106288536395481154326406)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_117 : Polynomial.coeff recurrence2Scalar0Main 117 = -((163657629617840610259 * 10 ^ 70 + 3145416188757082730622752180228425256328778952510933229259926603617672) * 10 ^ 70 + 531166681041989716940510900821978195342602102831133402790481486599841)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_118 : Polynomial.coeff recurrence2Scalar0Main 118 = (2143119056260474867221 * 10 ^ 70 + 7992380501732397248824992449118607020860938404721736057983442591168553) * 10 ^ 70 + 6966584750819189949702455875401030985141739198737000004163143069088662

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_119 : Polynomial.coeff recurrence2Scalar0Main 119 = -((11122349945885276678997 * 10 ^ 70 + 2385955876024145346087799725488269460423472350650727107512162983163726) * 10 ^ 70 + 2263436604071731862693644309892885037028861492193386709905407334574429)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_120 : Polynomial.coeff recurrence2Scalar0Main 120 = (32118099174598612315089 * 10 ^ 70 + 899480556580412202038283692099386814911602941426889119193232448534166) * 10 ^ 70 + 7208286815473234093187697119824408423317257871343893649038222515169624

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_121 : Polynomial.coeff recurrence2Scalar0Main 121 = -((2525643528480516473959 * 10 ^ 70 + 2696780273022496634214125900862480327024011348110323618044405844199909) * 10 ^ 70 + 5491035290874927035732190206618128365270493403918584525289097150137860)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_122 : Polynomial.coeff recurrence2Scalar0Main 122 = -((573634271621036513808516 * 10 ^ 70 + 2283357827685125716425384866427636168334728330549497049771007980088780) * 10 ^ 70 + 6071055181291046597574392730787523049679369761309262922886134222963550)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_123 : Polynomial.coeff recurrence2Scalar0Main 123 = (3769391458654358758018221 * 10 ^ 70 + 3137891996960309746426671050991069153488893683457668169331455468032108) * 10 ^ 70 + 1043868667245655739613334466768212553282854135056132005800205768805537

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_124 : Polynomial.coeff recurrence2Scalar0Main 124 = -((13926020463727733620081616 * 10 ^ 70 + 2667477652458366373400665091601284541610267642845434864199087049466298) * 10 ^ 70 + 4374231113752400255306537203957241101541340127852544473513212289556676)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_125 : Polynomial.coeff recurrence2Scalar0Main 125 = (21918326797417397315767358 * 10 ^ 70 + 9650646340417065981362681373675276792178948573721117657247117594120686) * 10 ^ 70 + 3031427439622309376821135891302805244304196885559308394779658345852286

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_126 : Polynomial.coeff recurrence2Scalar0Main 126 = (97646772945302630442451971 * 10 ^ 70 + 4754242624009711550326994795070700184999775612620340534400686823647088) * 10 ^ 70 + 2076283820625678140427857879099791028960208003366850978801827717240416

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_127 : Polynomial.coeff recurrence2Scalar0Main 127 = -((902244493189251947165104126 * 10 ^ 70 + 330138878518069278997213289375984045221528770802950129454260902581979) * 10 ^ 70 + 7660569568944426439206559879599883735093455252377807379641636915312269)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_128 : Polynomial.coeff recurrence2Scalar0Main 128 = (3520022575843433410495542900 * 10 ^ 70 + 7405944477959933882398154070035190987047930133655418035484517972588747) * 10 ^ 70 + 3329423566348384983283015920449208223266130474272407441797309219603688

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_129 : Polynomial.coeff recurrence2Scalar0Main 129 = -((6280644567048549153485581791 * 10 ^ 70 + 3062274071799120101529805137491238475703507104514504503042943451811982) * 10 ^ 70 + 5359184468573030116185802994102949970749924286672405003825999772598257)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_130 : Polynomial.coeff recurrence2Scalar0Main 130 = -((10909004263290415619170461172 * 10 ^ 70 + 4070506684708316675157906276211347671748408788842299522461471281198999) * 10 ^ 70 + 3866091500491410180658588887347988524854844574006808467327583126381951)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_131 : Polynomial.coeff recurrence2Scalar0Main 131 = (113089449108299971424745358667 * 10 ^ 70 + 3446231279286950455957998606987697915134720248084269028409272377289621) * 10 ^ 70 + 56576087076621014967906792997897940957444043275463523114234419674355

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_132 : Polynomial.coeff recurrence2Scalar0Main 132 = -((391320734825402763097720821911 * 10 ^ 70 + 7912992608387130921022329698426189384328050328134342480446469782437530) * 10 ^ 70 + 9577083697625357655848631402726538639915931640712073742014451334759718)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_133 : Polynomial.coeff recurrence2Scalar0Main 133 = (955215006847482516232516008716 * 10 ^ 70 + 8415748767390044643531708988260529040500710947799309081406903059865309) * 10 ^ 70 + 6149229277282588084747314190442488385264293725066088120884759584720

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_134 : Polynomial.coeff recurrence2Scalar0Main 134 = -((3128432562686511533500498198940 * 10 ^ 70 + 5002887174957147741225389541127928801778720952766661230102273748938305) * 10 ^ 70 + 2403317349957637929678499478740012090476639929846705451459785180525805)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_135 : Polynomial.coeff recurrence2Scalar0Main 135 = (12644850820592904137512051766518 * 10 ^ 70 + 4236186821056339994084357976656971964867998075233676793731841028555915) * 10 ^ 70 + 7598871536404867650373982587409130872684671253959105716298467440983276

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_136 : Polynomial.coeff recurrence2Scalar0Main 136 = -((16023557275672013875902239491297 * 10 ^ 70 + 2865502511787419291521287643324750245821563283284365720846140900966220) * 10 ^ 70 + 4408582741412018043902859204007569465295648403043538081151763542044344)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_137 : Polynomial.coeff recurrence2Scalar0Main 137 = -((215366305110577247207155453231909 * 10 ^ 70 + 7676628926152495009305105134051399911963460926401235923914659310651699) * 10 ^ 70 + 7432683896308665059558894834140222388436408565435663460952281456898431)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_138 : Polynomial.coeff recurrence2Scalar0Main 138 = (1588656317204387812156839566429186 * 10 ^ 70 + 9896380870031906503032441044021397013343343212315059766597624380988729) * 10 ^ 70 + 7655404990430787097687570490406991881001374081407271161756921648878142

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_139 : Polynomial.coeff recurrence2Scalar0Main 139 = -((4531075907896059744198626003357559 * 10 ^ 70 + 9568025453797216332680139506060052781627483194038362686835895315675957) * 10 ^ 70 + 9655575658413354576682144296399950261334327014542527648884279005823514)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_140 : Polynomial.coeff recurrence2Scalar0Main 140 = -((1426222361324639667842346090418913 * 10 ^ 70 + 2761354911510672101755396706471887187785337206670319367357822684006825) * 10 ^ 70 + 2982663439730222450804542852434798068134465710332715611694857980224713)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_141 : Polynomial.coeff recurrence2Scalar0Main 141 = (53658111425624968989150223836392566 * 10 ^ 70 + 9419360930876198600882368813387132000199778250445369693951274193009595) * 10 ^ 70 + 9789799580159439651557143602557589277611524862079935346622847848659627

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_142 : Polynomial.coeff recurrence2Scalar0Main 142 = -((116010298828177445599951280986091818 * 10 ^ 70 + 8575830220178952268093504280797286015032857054155245744113176899011655) * 10 ^ 70 + 9392587681558207150855890714829904973406651513371776243640227126676452)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_143 : Polynomial.coeff recurrence2Scalar0Main 143 = -((433265540566184536286426608718529923 * 10 ^ 70 + 9199123465778198934995110602900028404739142313308127325141418194246289) * 10 ^ 70 + 6665895463401804662469975093073745492851682541102773081993657484684625)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_144 : Polynomial.coeff recurrence2Scalar0Main 144 = (2633531025921249231148028765555834986 * 10 ^ 70 + 8267200438249829346686532566317969654554313585822496315288431279877075) * 10 ^ 70 + 6894118939060369042094140808139003028637582656889593214682099605704013

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_145 : Polynomial.coeff recurrence2Scalar0Main 145 = (1543815573058061256974266755949620658 * 10 ^ 70 + 4073233963675816929586523224984994342824359066811441802322534072066923) * 10 ^ 70 + 4193506151622010292671587031030636059184827171383788643046154373173203

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_146 : Polynomial.coeff recurrence2Scalar0Main 146 = -((60855566242108735982744957908951278924 * 10 ^ 70 + 5581146983664975188367666246307423904397690741281328534941661950602157) * 10 ^ 70 + 3763271840586676831772691323465866107593933995077477903687412159839927)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_147 : Polynomial.coeff recurrence2Scalar0Main 147 = (227853404535658084717602613468193517769 * 10 ^ 70 + 4795786841384542499540407844682154406896380671134686241101844232360018) * 10 ^ 70 + 2053069758278410054856661929067416682636422517639724723611167417203245

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_148 : Polynomial.coeff recurrence2Scalar0Main 148 = (82201142138670432279234592168565949436 * 10 ^ 70 + 5519421722942217661280772199983845314029787185703755485596605757560751) * 10 ^ 70 + 5576658723550532995673420795868566006149721163946095045028644890696281

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_149 : Polynomial.coeff recurrence2Scalar0Main 149 = -((3981157522450592369740202775087740268380 * 10 ^ 70 + 4948528350625625461558290053178983243877569280105253350409356376449173) * 10 ^ 70 + 1446717558470597372094764804830258128253304472449762998790147280667376)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_150 : Polynomial.coeff recurrence2Scalar0Main 150 = (14931911793713267685113191177097281457313 * 10 ^ 70 + 916058883459527178503581236097913588342115308241863815811876152653942) * 10 ^ 70 + 9751154990303879741220184469324939500179187981297739351487109824572440

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_151 : Polynomial.coeff recurrence2Scalar0Main 151 = -((1828235759381654892615222178773447817345 * 10 ^ 70 + 9378052224636870695454327694952474713563640597861712136716961411818393) * 10 ^ 70 + 1675223292526240805361484949353304489412175231216938531197795408628437)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_152 : Polynomial.coeff recurrence2Scalar0Main 152 = -((202127158597433438729753216878489910573370 * 10 ^ 70 + 9058284815128321113259400402799598104915246756763269752172585755717857) * 10 ^ 70 + 5194041400999778110370054034276223113212784646794119939619645622590738)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_153 : Polynomial.coeff recurrence2Scalar0Main 153 = (809781026551384721023104473797196786758946 * 10 ^ 70 + 1264525656021828310290845850599982327092420953747342970753149970816406) * 10 ^ 70 + 6740167307294991866006257896873299912091304810782197071697566892897520

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_154 : Polynomial.coeff recurrence2Scalar0Main 154 = -((429702474831539645842419400899871909593019 * 10 ^ 70 + 4952879592321581505991938501913242505182251588134588218380138978153937) * 10 ^ 70 + 4589995628436691167807018946462294070927431611304531905580904523960078)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_155 : Polynomial.coeff recurrence2Scalar0Main 155 = -((8877718037820364790087786977444206677148252 * 10 ^ 70 + 8288348257035670391252707268049064309313717551745969222864841751085149) * 10 ^ 70 + 7153507648481989500821866886237830120239783148642565728881192931976785)