Recurrence 2 lookup certificate: Scalar2Shift 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.recurrence2Scalar2Shift_coeff_92 : Polynomial.coeff recurrence2Scalar2Shift 92 = -((6030071 * 10 ^ 70 + 6159378886240537191228502702867021907539882385133619277416221537102276) * 10 ^ 70 + 5151107403584689255383324514811426846110525135043589870602383768159095)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_93 : Polynomial.coeff recurrence2Scalar2Shift 93 = (26979982 * 10 ^ 70 + 1673539501458940267881558439640942375067098072635989458561177961110450) * 10 ^ 70 + 6455391485730088259865016331228910501472934243306695781647015931645566

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_94 : Polynomial.coeff recurrence2Scalar2Shift 94 = -((115841896 * 10 ^ 70 + 2037120873067564592195218500912367330290993056804803425357652247152999) * 10 ^ 70 + 6628435943001104642315779350467453933526253988919557146987331712637452)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_95 : Polynomial.coeff recurrence2Scalar2Shift 95 = (476257052 * 10 ^ 70 + 1143239016003449025084538154436568697224445874107180854681790855658087) * 10 ^ 70 + 515274123705842062964756142728590175233333023301107349690789457839882

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_96 : Polynomial.coeff recurrence2Scalar2Shift 96 = -((1869857193 * 10 ^ 70 + 6355985733748309426186888303019842241185207194027718768129325852333124) * 10 ^ 70 + 6214264752052299586398179495598917755641387150381764436890951308600461)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_97 : Polynomial.coeff recurrence2Scalar2Shift 97 = (6989571203 * 10 ^ 70 + 1088604797805030432218958682734642884405499666510360198841009226333881) * 10 ^ 70 + 9883022544456756718294065189584433427492078305355599843067104979484936

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_98 : Polynomial.coeff recurrence2Scalar2Shift 98 = -((24784216206 * 10 ^ 70 + 9475657722290334137609639913787144027492127055882101365821926959758181) * 10 ^ 70 + 42609902790254693836204766106846933829316128218102592527323795868159)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_99 : Polynomial.coeff recurrence2Scalar2Shift 99 = (82882646603 * 10 ^ 70 + 1354637943051234552334295560204158662919468965699800282086090696935428) * 10 ^ 70 + 9153230782456882354577755331727879133501580385632388280536705143561151

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_100 : Polynomial.coeff recurrence2Scalar2Shift 100 = -((258222254447 * 10 ^ 70 + 5671289282210113933301242952696873454289258362061617275071183731296924) * 10 ^ 70 + 3509694800538848202282188866415920814144187130008619091031207635580838)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_101 : Polynomial.coeff recurrence2Scalar2Shift 101 = (727595466207 * 10 ^ 70 + 222716993764982102566753654689152758212476097069207853566878064291815) * 10 ^ 70 + 636137696465819368879396954482136002026049718405195741453750080972251

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_102 : Polynomial.coeff recurrence2Scalar2Shift 102 = -((1711658626216 * 10 ^ 70 + 6204932595197004054430198872549680483182037854251972510584405703635054) * 10 ^ 70 + 4794207448621118850633837163600105945639399969966844630836238325679580)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_103 : Polynomial.coeff recurrence2Scalar2Shift 103 = (2442332152649 * 10 ^ 70 + 8660835933533851064984133065505410412222920982428115261456698191545986) * 10 ^ 70 + 6989930690481104566005758078573355396434739400287299026239672412050683

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_104 : Polynomial.coeff recurrence2Scalar2Shift 104 = (4725051565871 * 10 ^ 70 + 6155209745248854672894627187466797613379821818814270265097466510810779) * 10 ^ 70 + 6858939872287781772437985468232518506149106406866424463352193168039658

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_105 : Polynomial.coeff recurrence2Scalar2Shift 105 = -((57585275120222 * 10 ^ 70 + 3252909584231300096091502571162919545842148166495210686720391730789467) * 10 ^ 70 + 3202922077677384328603307504979867113938237886639120764428399812686315)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_106 : Polynomial.coeff recurrence2Scalar2Shift 106 = (292061694947116 * 10 ^ 70 + 5337589190786542798173948489761071933213868490595446729966584079614997) * 10 ^ 70 + 1614726033918597416199710296676252729319434295790969549008924717360039

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_107 : Polynomial.coeff recurrence2Scalar2Shift 107 = -((1085269470577912 * 10 ^ 70 + 667703702761794599733656221433788156708490709207602122143642297336692) * 10 ^ 70 + 5287342576319213186590609995510840903884337826036796494465190985658849)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_108 : Polynomial.coeff recurrence2Scalar2Shift 108 = (3323723087572305 * 10 ^ 70 + 3379007540558369821499012296017661077083425563855295105011061302153199) * 10 ^ 70 + 3377346314101327920239969469683941529037441901169018856690266195497077

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_109 : Polynomial.coeff recurrence2Scalar2Shift 109 = -((9838982677870632 * 10 ^ 70 + 5503773141482241761973206012865441363026572845970473191234070263363422) * 10 ^ 70 + 5018698324042113474466917782280441766365245874430946064256926019319629)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_110 : Polynomial.coeff recurrence2Scalar2Shift 110 = (37659755337259067 * 10 ^ 70 + 3307997436362498521377641902770858192180328912562144495628692243100436) * 10 ^ 70 + 5354770643638007693708682676105878122622624757656724814360090085956587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_111 : Polynomial.coeff recurrence2Scalar2Shift 111 = -((193208264069036076 * 10 ^ 70 + 2333505391441866526974364567205559018737437348308044924794635497505436) * 10 ^ 70 + 1638745838724427106147226974831152268248308000339950475452278514539755)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_112 : Polynomial.coeff recurrence2Scalar2Shift 112 = (977062416033585188 * 10 ^ 70 + 4008510946582534152002260536807811236147169903780774611066490532492255) * 10 ^ 70 + 9339223124476265316030144319496616130604539593777873947064372681834634

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_113 : Polynomial.coeff recurrence2Scalar2Shift 113 = -((3862411154100685639 * 10 ^ 70 + 520356950069153879906054875360374572362972891916755141027257978482755) * 10 ^ 70 + 9452115437711379842753958165197347042561844683513130455758096477648574)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_114 : Polynomial.coeff recurrence2Scalar2Shift 114 = (8983345852349687561 * 10 ^ 70 + 6871108827203937286265591413979981756097892391405875231989952647905422) * 10 ^ 70 + 246682126499701819271434393904602523420685842911946474707802567102329

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_115 : Polynomial.coeff recurrence2Scalar2Shift 115 = (11155514447325454388 * 10 ^ 70 + 398420417012179873831942534852949268952452092648778325164134355584294) * 10 ^ 70 + 2775542783851591263502234615808087108409875919006408742473441741268080

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_116 : Polynomial.coeff recurrence2Scalar2Shift 116 = -((229973920882513538278 * 10 ^ 70 + 9583673798597659819263713479465302727930262905882650438041329949707954) * 10 ^ 70 + 7497973995462410798348819886194109510200301616142726854681580557944032)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_117 : Polynomial.coeff recurrence2Scalar2Shift 117 = (1190114516797558760126 * 10 ^ 70 + 7787527470110310348685812226205992677790512270777185157616617314595962) * 10 ^ 70 + 9646612964633963328512568587393408339168729025281995508394799862536372

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_118 : Polynomial.coeff recurrence2Scalar2Shift 118 = -((3034992545802761261898 * 10 ^ 70 + 7204428891224278697857571947344692912392678930834959436701922491623290) * 10 ^ 70 + 7702747454180613893564475640078718709104413866803218403488798018984155)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_119 : Polynomial.coeff recurrence2Scalar2Shift 119 = -((2424975247964737495809 * 10 ^ 70 + 9050112453022235123295452487744396435127640379898867755193608941677389) * 10 ^ 70 + 7901104261413873327100611334218493682802401098411792837282630778300287)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_120 : Polynomial.coeff recurrence2Scalar2Shift 120 = (63261781002169866602775 * 10 ^ 70 + 9798093401083579835545475579549934399563313306535618052343822951329199) * 10 ^ 70 + 3341331628273404709294573566874247739711236943802507666712853552472252

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_121 : Polynomial.coeff recurrence2Scalar2Shift 121 = -((324626824377471593513105 * 10 ^ 70 + 3961783022038806890507251617667467480007000323291041478851632673708418) * 10 ^ 70 + 9824227569654692475154243680682213081033029328084956270862359049940740)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_122 : Polynomial.coeff recurrence2Scalar2Shift 122 = (917067146303566613955597 * 10 ^ 70 + 9823396835108955785770742303744518318961366940103057955093420994980056) * 10 ^ 70 + 7437718090541891171815855204141577132457858969985377368691914848069123

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_123 : Polynomial.coeff recurrence2Scalar2Shift 123 = -((589179744920038417496367 * 10 ^ 70 + 8377045871717179073044593873321862934676038909451070871643553229207968) * 10 ^ 70 + 8573658888429817085243717416807064668728525401187074022263175701818963)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_124 : Polynomial.coeff recurrence2Scalar2Shift 124 = -((9940419059325629392125959 * 10 ^ 70 + 5204343547545307747945748797267504131172198536774790606681130729513587) * 10 ^ 70 + 5187583125490449299969823143110436116314135426785510364262098141931705)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_125 : Polynomial.coeff recurrence2Scalar2Shift 125 = (69907574013719580843706269 * 10 ^ 70 + 4975847895484901645550197946817058332034584504163909736403546365037339) * 10 ^ 70 + 7181272358586156543725205029421707842418389984238681315541917758242123

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_126 : Polynomial.coeff recurrence2Scalar2Shift 126 = -((280235160599829932719799214 * 10 ^ 70 + 2493214548127065231670591024012561022091496607501601196736064492724548) * 10 ^ 70 + 6298872911679450124732107407381996437213660529832418892490837859532900)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_127 : Polynomial.coeff recurrence2Scalar2Shift 127 = (618961274920089813981130057 * 10 ^ 70 + 1223612210528907990048847576553058882211235745976763074666803321644013) * 10 ^ 70 + 5020062321384508365906666304698722545282247564433492030368035283705383

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_128 : Polynomial.coeff recurrence2Scalar2Shift 128 = (639613423931727807308427854 * 10 ^ 70 + 5518683773533808614266230529765863421394490614864059161866619498446723) * 10 ^ 70 + 7007986371089127761316767748941506184706393275221278418348913612000143

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_129 : Polynomial.coeff recurrence2Scalar2Shift 129 = -((12094580384531467940598100375 * 10 ^ 70 + 411666427172980725714308245445118879875139947680765883985980311090652) * 10 ^ 70 + 9001384274689974361761170579425058785692557918509435609620331030170805)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_130 : Polynomial.coeff recurrence2Scalar2Shift 130 = (50893754354500160730030784314 * 10 ^ 70 + 1586979512495720992700101910779796886110179028642876312830944734908928) * 10 ^ 70 + 1144402182290316125059431570482128551764274950576702248684234560465394

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_131 : Polynomial.coeff recurrence2Scalar2Shift 131 = -((92748941501759725112647907905 * 10 ^ 70 + 1507781012166304940490516546078939205478619490512492156329850452612755) * 10 ^ 70 + 5367559612196915256750666488827750541689674348613357164303965647477936)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_132 : Polynomial.coeff recurrence2Scalar2Shift 132 = -((48511968792295582960636262830 * 10 ^ 70 + 1600003177186736737068385932673117960218049748145086527991104976265552) * 10 ^ 70 + 5713041599633067144774818034277700029218311991043402471010152525554213)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_133 : Polynomial.coeff recurrence2Scalar2Shift 133 = (210583269402857957439837818480 * 10 ^ 70 + 7000047394960298962917330680458169586298147217594695197807942018428166) * 10 ^ 70 + 4479501757173687423218122511460807867761282803513420335875599312232650

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_134 : Polynomial.coeff recurrence2Scalar2Shift 134 = (3085775300183915003902235602180 * 10 ^ 70 + 9566141169334511498261277670271592171175018571480425427826088669099546) * 10 ^ 70 + 1901358033150191441441698476133542849502986402800510981467778941915388

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_135 : Polynomial.coeff recurrence2Scalar2Shift 135 = -((11583961716592760563338768679485 * 10 ^ 70 + 3586039554552337947215626507050357113525274078641307779464077796457963) * 10 ^ 70 + 4415076000358549687614175906693200545591099949618493761238278263659616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_136 : Polynomial.coeff recurrence2Scalar2Shift 136 = -((70662635599496896931302197763308 * 10 ^ 70 + 7887215841079639807879760698957696497596547085962958050336913160878426) * 10 ^ 70 + 1691415802531662905659074129450495575161646852371105881098943913382956)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_137 : Polynomial.coeff recurrence2Scalar2Shift 137 = (763446817768626885631262541340843 * 10 ^ 70 + 529519975201731622157740310107351907313108175433876874942604749837166) * 10 ^ 70 + 6728167881392002229648393622483380045028706531721958585017176254565271

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_138 : Polynomial.coeff recurrence2Scalar2Shift 138 = -((2640850180344085392491031368323943 * 10 ^ 70 + 8591081110234513960253391719859527042785068785429074891627597182342459) * 10 ^ 70 + 1404056232740355841721390733427170728893827349609895578481915106046912)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_139 : Polynomial.coeff recurrence2Scalar2Shift 139 = -((787918027944953263694494473227229 * 10 ^ 70 + 904009878929421916165703835013894524168412287395224190700745531056093) * 10 ^ 70 + 16816978438115066145961466123739700363902754148658651003966302164004)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_140 : Polynomial.coeff recurrence2Scalar2Shift 140 = (45793263280425161743413372396073555 * 10 ^ 70 + 6640302276411697264095762595872235155565126397722670139418523800933616) * 10 ^ 70 + 3943310065814532899751124169015948581470821813496383299095354473920356

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_141 : Polynomial.coeff recurrence2Scalar2Shift 141 = -((178764458817510967509749414582143754 * 10 ^ 70 + 1910421014007116014905012115358007562625438046073537120419729770393734) * 10 ^ 70 + 1143153016702216921620882616747782961658005561181109333897300101408325)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_142 : Polynomial.coeff recurrence2Scalar2Shift 142 = (55387168144047051379291124698746757 * 10 ^ 70 + 2750200651579577282125712265333463164236805443268536115670649056068612) * 10 ^ 70 + 2861158124089423950993789141603834819696872854150946899570697508088294

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_143 : Polynomial.coeff recurrence2Scalar2Shift 143 = (2218911542338593079176446711049465047 * 10 ^ 70 + 4873042005076401221091607228860028832147078334899356658041432078427794) * 10 ^ 70 + 2001119376443342221468108970434968179223902691636746440869455405750868

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_144 : Polynomial.coeff recurrence2Scalar2Shift 144 = -((8594290020773229653955927195031120305 * 10 ^ 70 + 1422541622589986873782108747616650429802743860584487358338233388205952) * 10 ^ 70 + 6807779361233497173828077331762781893527770550039846040611381124691019)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_145 : Polynomial.coeff recurrence2Scalar2Shift 145 = -((116765331758778626433959261480135219 * 10 ^ 70 + 63737411870804461701539235766049783024073874213102563926108253274400) * 10 ^ 70 + 4718519875175067301512743025714478212012423048597320568285295835241887)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_146 : Polynomial.coeff recurrence2Scalar2Shift 146 = (117762499851320962580026952924706043145 * 10 ^ 70 + 1178035505166109255384995733711072115405296331866538302210591763291933) * 10 ^ 70 + 2926619721200292792654580845834093317063709354138401887647429296259182

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_147 : Polynomial.coeff recurrence2Scalar2Shift 147 = -((414816725474779920178333415632260705529 * 10 ^ 70 + 5523743450111291328352426216095415747560322167077770504466838504738674) * 10 ^ 70 + 1227008247910012667616459839067141716638437984605598537644498093077295)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_148 : Polynomial.coeff recurrence2Scalar2Shift 148 = -((108146965729564513292411597220743667896 * 10 ^ 70 + 8893747804084069140166978728229964236227489401707101687374924772934288) * 10 ^ 70 + 8784619546937960221622565169726342167690467321633940166217052158925761)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_149 : Polynomial.coeff recurrence2Scalar2Shift 149 = (5865614222618395183847239417026264004913 * 10 ^ 70 + 3280235548865134254168322401429780170305215843491419637449438861272383) * 10 ^ 70 + 8120484133837002321273484690882978245548026495833854664003389801915352

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_150 : Polynomial.coeff recurrence2Scalar2Shift 150 = -((19367884341121349276447506375695626084245 * 10 ^ 70 + 4021350988099213472642717401174820501885750061013236389422484469840718) * 10 ^ 70 + 303399919240001736105572493936414222996596858123965296530748617898825)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_151 : Polynomial.coeff recurrence2Scalar2Shift 151 = -((6795926066983366876179382948602410037547 * 10 ^ 70 + 9365949703528577513668238978948385613263514052250562559266185363754155) * 10 ^ 70 + 1368017374238040525050689408814836860251108645218488654763255770176754)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_152 : Polynomial.coeff recurrence2Scalar2Shift 152 = (269118480939463599395844268682583143624931 * 10 ^ 70 + 7680562067475054279540570654269263108820328297457305194634563099063648) * 10 ^ 70 + 1969207812832099291336936709634483745337079448810097436946242181803325

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Shift_coeff_153 : Polynomial.coeff recurrence2Scalar2Shift 153 = -((861629875535736198524309919896496483526335 * 10 ^ 70 + 8978479755939206836283077583260017991710841195596804553049382198234169) * 10 ^ 70 + 2553373338992559604052066363062368830269797954651558535613549809091761)