Recurrence 2 lookup certificate: Scalar4Shift 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.recurrence2Scalar4Shift_coeff_92 : Polynomial.coeff recurrence2Scalar4Shift 92 = -((6964723 * 10 ^ 70 + 6536050681127024896794890253940440543733493389991287483831311247433238) * 10 ^ 70 + 7414622681773369408577764959903419282924148125069434417079125076714223)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_93 : Polynomial.coeff recurrence2Scalar4Shift 93 = (28001232 * 10 ^ 70 + 5600710828981232316529543856646221178912878109604018064935274668126741) * 10 ^ 70 + 5296524838283918413399526196721610316685774998179101737422891746751593

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_94 : Polynomial.coeff recurrence2Scalar4Shift 94 = -((107192092 * 10 ^ 70 + 7398757946489017181021658142474682316160805681055877922919507160179475) * 10 ^ 70 + 7186693203990986003903796938410865178129713426083303339555009730919203)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_95 : Polynomial.coeff recurrence2Scalar4Shift 95 = (389235671 * 10 ^ 70 + 3532731237198965446549254131421819068183864059290875753437127332640908) * 10 ^ 70 + 5423770483075703856356269207249957870734997743852190774567090095876324

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_96 : Polynomial.coeff recurrence2Scalar4Shift 96 = -((1333826821 * 10 ^ 70 + 9060140985847171959560827341776370540477501508954917492528827863968278) * 10 ^ 70 + 1935874296472366679352301682521868531922417161984982497738010096861596)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_97 : Polynomial.coeff recurrence2Scalar4Shift 97 = (4273682332 * 10 ^ 70 + 1345289257420916655057622008965511165436207484235343111576004231208421) * 10 ^ 70 + 85675630820666309181279715685870406734969823199933087024408613692924

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_98 : Polynomial.coeff recurrence2Scalar4Shift 98 = -((12535992643 * 10 ^ 70 + 2286472439304068497446758696746039783436574392446846679701119441286874) * 10 ^ 70 + 4983118662333650941487091019437363164164648350940015138477319174314141)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_99 : Polynomial.coeff recurrence2Scalar4Shift 99 = (31854691010 * 10 ^ 70 + 4646711144772303905176923238998988038485983310557676191064307142583559) * 10 ^ 70 + 3921939254507263598462679783183527259820886283788350549687194182355800

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_100 : Polynomial.coeff recurrence2Scalar4Shift 100 = -((58085038698 * 10 ^ 70 + 922636670654301932156448764699915495701979330514140630490843725940257) * 10 ^ 70 + 5651517567605260603785799859337195594936368552941677061568534896152426)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_101 : Polynomial.coeff recurrence2Scalar4Shift 101 = -((11092594676 * 10 ^ 70 + 5809366574079623054101329392458098494986478676412809392182233512113943) * 10 ^ 70 + 9904635644841830660423188901972240552371684305249374983313165200052298)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_102 : Polynomial.coeff recurrence2Scalar4Shift 102 = (785662849463 * 10 ^ 70 + 3233642211051996657369262364108989427391958792999920130612152100651545) * 10 ^ 70 + 3793986599850694816099334987383660239059670142910711039287969081357503

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_103 : Polynomial.coeff recurrence2Scalar4Shift 103 = -((4793830861422 * 10 ^ 70 + 856133136521217910551777858759571748999464657212432362840765969332382) * 10 ^ 70 + 9347286392224408399175978828709260493104261045210625832231000940539495)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_104 : Polynomial.coeff recurrence2Scalar4Shift 104 = (19947969992129 * 10 ^ 70 + 717022638777025888526825069076647587727214726782014132188115624870329) * 10 ^ 70 + 1322899485783108514433569692367657406237546627346526521142248667973913

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_105 : Polynomial.coeff recurrence2Scalar4Shift 105 = -((64736614956644 * 10 ^ 70 + 7761109761902787623779102613211407054182029763767287389388035750200869) * 10 ^ 70 + 7392699571601088070631993356379439489554686033802277283369942752812343)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_106 : Polynomial.coeff recurrence2Scalar4Shift 106 = (176451414198773 * 10 ^ 70 + 2097824728174848406585807218786652927539497134250520342396361839570583) * 10 ^ 70 + 2444014326122990445962535980773701510010136779112343283317260536528312

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_107 : Polynomial.coeff recurrence2Scalar4Shift 107 = -((517121706558503 * 10 ^ 70 + 8914747598944494213208677706057553928954190893697851803239419011604465) * 10 ^ 70 + 2076217627036698591215563216449821537796072096028687099842088525931790)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_108 : Polynomial.coeff recurrence2Scalar4Shift 108 = (2361978978734687 * 10 ^ 70 + 1457988381483228248000825735711187459608618213895641922562660757031612) * 10 ^ 70 + 7370977646766327457874457703860649707944630579366706127787356005227531

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_109 : Polynomial.coeff recurrence2Scalar4Shift 109 = -((13458724863628941 * 10 ^ 70 + 5079722525492674640548845949813878653321724358174778774730134908336662) * 10 ^ 70 + 5979379592547841718006859917569821155457358474897314048028721521608581)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_110 : Polynomial.coeff recurrence2Scalar4Shift 110 = (64677959695512758 * 10 ^ 70 + 1081977578682136796015737001506258161616636377202409624993703550963131) * 10 ^ 70 + 7894479769295427532405765354980984816477024505271024752568561941884596

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_111 : Polynomial.coeff recurrence2Scalar4Shift 111 = -((212967242844476669 * 10 ^ 70 + 5546210644478320634523177829610861629444521913693552708702960352099508) * 10 ^ 70 + 9567908333110072906743550992565030716558135085816183300889384153895150)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_112 : Polynomial.coeff recurrence2Scalar4Shift 112 = (240443610218281143 * 10 ^ 70 + 3749682964459354234995848009507814420447569578272391940041187384318873) * 10 ^ 70 + 153804671839625217547670915344577901554843268101876341824486420063394

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_113 : Polynomial.coeff recurrence2Scalar4Shift 113 = (2267541561773284908 * 10 ^ 70 + 3939889365560510867857950977473745647955300886626559186113703359558274) * 10 ^ 70 + 1273014568099426658433801465548723398512250163152453478259577162253809

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_114 : Polynomial.coeff recurrence2Scalar4Shift 114 = -((18142304755988123357 * 10 ^ 70 + 6359201281556774420704914288991581926827856756943795915490201293500069) * 10 ^ 70 + 8579289917925676900425442931678208307799605692561675543078808706843214)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_115 : Polynomial.coeff recurrence2Scalar4Shift 115 = (69848561368144745554 * 10 ^ 70 + 7912369318312227722014748718417953173192448611669279521643000074343777) * 10 ^ 70 + 5264424957651973552667747151462833680661456380512156177476042366516178

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_116 : Polynomial.coeff recurrence2Scalar4Shift 116 = -((104538215104260608071 * 10 ^ 70 + 1289002736245954350709499876342423972392379074850405325328567732365569) * 10 ^ 70 + 6522271651043704850842910115271106770564696594687553107812410389862037)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_117 : Polynomial.coeff recurrence2Scalar4Shift 117 = -((554178640417416113524 * 10 ^ 70 + 2780822207231270495060352833300205211515964224922785819337679128767432) * 10 ^ 70 + 4468316851116035802216937302049232847836910945765947395092271854770679)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_118 : Polynomial.coeff recurrence2Scalar4Shift 118 = (4908583810953193806921 * 10 ^ 70 + 2888655718447371697238808842946976104847311574899305159724197993699921) * 10 ^ 70 + 1300741937809683009465597628068916821339988992770286224007942825033500

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_119 : Polynomial.coeff recurrence2Scalar4Shift 119 = -((19494966363902960463452 * 10 ^ 70 + 3182533786499838301573646917480859339935255482508839069548624111264922) * 10 ^ 70 + 4489859488831817647208799142135301655734202544725116522214567692520263)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_120 : Polynomial.coeff recurrence2Scalar4Shift 120 = (37356095933660291681244 * 10 ^ 70 + 2450260817010308205290856477457988102514783318220959608183674469809730) * 10 ^ 70 + 7285691198783404198807618041186332709172248989444921230607176042060587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_121 : Polynomial.coeff recurrence2Scalar4Shift 121 = (66961413538768803151430 * 10 ^ 70 + 1962382403288320028154612133629128136602487210887860846952040675040956) * 10 ^ 70 + 6624565126578316284112501653894181846150690242562154307858363500876442

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_122 : Polynomial.coeff recurrence2Scalar4Shift 122 = -((885786530516978850758237 * 10 ^ 70 + 9689335581693778120268992081347726746780294051749842113229450012661847) * 10 ^ 70 + 4663279170199862978530683508764812682639689597249092893650107537490387)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_123 : Polynomial.coeff recurrence2Scalar4Shift 123 = (4173993062915167481894119 * 10 ^ 70 + 8970400578997139147496744609149954016921468507913750314030716159694848) * 10 ^ 70 + 3555518697977040622815014101432831851977247104592317165050219677748997

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_124 : Polynomial.coeff recurrence2Scalar4Shift 124 = -((12931458246763335033313387 * 10 ^ 70 + 7615602544278746443349480486516245651068702187173988453884818551057710) * 10 ^ 70 + 2000704279368923033828849244827973093120857910197465037594428220472371)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_125 : Polynomial.coeff recurrence2Scalar4Shift 125 = (22987502208358228342450294 * 10 ^ 70 + 2576618862129970086492173294853162298801566855708542795251572940992482) * 10 ^ 70 + 6126125392946093384173617082157172611111214497593905172495176818936068

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_126 : Polynomial.coeff recurrence2Scalar4Shift 126 = (38266693231324898411679406 * 10 ^ 70 + 1595100137795160126615462985558850076755357319867425467391726179447992) * 10 ^ 70 + 7068303583998901136616813252226571989772049878071923447626711853092905

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_127 : Polynomial.coeff recurrence2Scalar4Shift 127 = -((597696774236022150793087238 * 10 ^ 70 + 6778921576388474487303900602494925433869294305351477232299780741087646) * 10 ^ 70 + 2062495744898144581892367581741177166272663447980957110445668084128144)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_128 : Polynomial.coeff recurrence2Scalar4Shift 128 = (3239354013177973669663001220 * 10 ^ 70 + 3010258954604198110800696531260755372669792129069479796104760849273047) * 10 ^ 70 + 8344174640954154890111354897264552311806630226210559752484863136980863

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_129 : Polynomial.coeff recurrence2Scalar4Shift 129 = -((10898757134750701258762371891 * 10 ^ 70 + 3361472595839164836569274416005670696510276031997314894766802863037598) * 10 ^ 70 + 3380069938475895860147255738932150527870385487002942290967384531213614)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_130 : Polynomial.coeff recurrence2Scalar4Shift 130 = (17619134640496159847366732283 * 10 ^ 70 + 316153067940015329637061426498787195866023810746829273340352504436476) * 10 ^ 70 + 5683379526565369117156108508412448511225996395939031853374061007976298

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_131 : Polynomial.coeff recurrence2Scalar4Shift 131 = (43652147732076529651742815567 * 10 ^ 70 + 1134668973626916406606018212494988887505135027693949711493566166528144) * 10 ^ 70 + 3735369513879136239079542587498564752836716653396715970848399365379427

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_132 : Polynomial.coeff recurrence2Scalar4Shift 132 = -((428950049396132746726431214347 * 10 ^ 70 + 9519543437957590360498349257655274107833561669824375750747891839390324) * 10 ^ 70 + 6497582802397677927314301381002188951422477842573676023516101161548714)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_133 : Polynomial.coeff recurrence2Scalar4Shift 133 = (1685680619860373937091069666314 * 10 ^ 70 + 6807977149841404090589571505369567335555542828056992189982878402879922) * 10 ^ 70 + 3728414851910848632626974076968960233448549014882994566468923898934817

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_134 : Polynomial.coeff recurrence2Scalar4Shift 134 = -((4349503717467187809469273212607 * 10 ^ 70 + 1341739778076233381375907282962102892488971594306589628654735295524652) * 10 ^ 70 + 9774505733331525881645028315285962039994038486826168128483522373325451)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_135 : Polynomial.coeff recurrence2Scalar4Shift 135 = (7472702473090897706084362386714 * 10 ^ 70 + 6895108569861340144513053630411362518796777360242848140464553708809335) * 10 ^ 70 + 4372673697039030033272271819119791173211672853699320160159312183236176

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_136 : Polynomial.coeff recurrence2Scalar4Shift 136 = (1993933187291947925002007404791 * 10 ^ 70 + 8013310747462155598029470586408219648672786927092743458882020082938575) * 10 ^ 70 + 943570347652230632081118123632139680923966566315352327266128117392797

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_137 : Polynomial.coeff recurrence2Scalar4Shift 137 = -((124584896516924649470684210120452 * 10 ^ 70 + 8976580453049112327313026565040114110482014067728174661972274426847004) * 10 ^ 70 + 7005204924509355062582191940902117070544679402568115403139579324450398)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_138 : Polynomial.coeff recurrence2Scalar4Shift 138 = (811841651110771166048842083277973 * 10 ^ 70 + 4474575709902142652439856923513136490977929190270385833179912971071051) * 10 ^ 70 + 4416794095986186397714933736026088825146528690976914259567291032114682

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_139 : Polynomial.coeff recurrence2Scalar4Shift 139 = -((2737201246020920611196492968188553 * 10 ^ 70 + 146153803420954707378702676687881328898671755288718531033635365143605) * 10 ^ 70 + 4841977996714163371554365655980683729607900190181016388984059721289119)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_140 : Polynomial.coeff recurrence2Scalar4Shift 140 = (1371630350177929619045926209777776 * 10 ^ 70 + 9137106865814841365508201678788688430510591152495230973065912707993602) * 10 ^ 70 + 2308295890698159762552748054248589271631826054790827513641822116658252

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_141 : Polynomial.coeff recurrence2Scalar4Shift 141 = (34109710125882371443615013563891072 * 10 ^ 70 + 2110820989553281927242720007670088345438482638707525834224426234954832) * 10 ^ 70 + 2528264260321691057821520745246828991117878186822970722409035109065321

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_142 : Polynomial.coeff recurrence2Scalar4Shift 142 = -((158612116352560686676497652046442734 * 10 ^ 70 + 6488539582773680055500884510683017615930689952539743385442505353050807) * 10 ^ 70 + 1690200220702762364112132151789159009522097076761919159775018495411517)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_143 : Polynomial.coeff recurrence2Scalar4Shift 143 = (108419930357745536501013346989390345 * 10 ^ 70 + 6411229707662690679082509682314064478728860048731159600822514520745878) * 10 ^ 70 + 3903594731397371939102492247885287679448094980261073251398014051008176

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_144 : Polynomial.coeff recurrence2Scalar4Shift 144 = (2021318545246671598443759947002277468 * 10 ^ 70 + 8151679501760341717657913140850669389300755599258967161001526091239596) * 10 ^ 70 + 3995492136249832600094773958543050214539536527328203270124231900866424

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_145 : Polynomial.coeff recurrence2Scalar4Shift 145 = -((9884847012675419312024021149813949925 * 10 ^ 70 + 3505928062414083587872398747920406568681823316993352845742156679418981) * 10 ^ 70 + 9983971520185798257261382893559164168464818525942605280583169608232881)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_146 : Polynomial.coeff recurrence2Scalar4Shift 146 = (10357959916521959875267852075494662599 * 10 ^ 70 + 4206912139521487826047431489173113107665790935831864453283238540844362) * 10 ^ 70 + 6323528404925385809303203149546240453894725431166629701734331412041870

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_147 : Polynomial.coeff recurrence2Scalar4Shift 147 = (99564412451615466620416040414235612175 * 10 ^ 70 + 3420203503201010868777860180774476595070349583946462333705760904929541) * 10 ^ 70 + 4807594435680693939429999212462657488574310832377539359029035105668265

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_148 : Polynomial.coeff recurrence2Scalar4Shift 148 = -((546227923098740018700909568638871970786 * 10 ^ 70 + 8799889341772079690959257610132663087180682047968647641888712652501849) * 10 ^ 70 + 4151452275340892817332501022824456158301029816664404591215116922626952)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_149 : Polynomial.coeff recurrence2Scalar4Shift 149 = (875513374860753363040955115467210088889 * 10 ^ 70 + 1913975636832018881790941490210110605666848914655245274945085579587705) * 10 ^ 70 + 6129003636296767807897295227223917126934280079964893812286783761026820

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_150 : Polynomial.coeff recurrence2Scalar4Shift 150 = (3401451996932809738999458917788568600183 * 10 ^ 70 + 7150757636191964892988313359711738506813379902032536960129701228466564) * 10 ^ 70 + 5293618874948608344110830925212180583556848483951707428665140457673869

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Shift_coeff_151 : Polynomial.coeff recurrence2Scalar4Shift 151 = -((23289825489057958019758539005142534718059 * 10 ^ 70 + 2812154376166555691464133038134339923662438144849361768242213749502594) * 10 ^ 70 + 2118068403261031613635598407508535973092220231804569039503666944805234)