Recurrence 2 lookup certificate: Scalar1Exceptional 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.recurrence2Scalar1Exceptional_coeff_91 : Polynomial.coeff recurrence2Scalar1Exceptional 91 = (32335 * 10 ^ 70 + 3195037866365668100924168691126379890420746516363377477214646913428225) * 10 ^ 70 + 9551730326108393413274909578447945842714155847047476014878830674950452

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_92 : Polynomial.coeff recurrence2Scalar1Exceptional 92 = -((166610 * 10 ^ 70 + 6453501777867919267452361514641083825507827938322045955020637396182369) * 10 ^ 70 + 8593173616129175824358276271593902373202088751251933635037685520135623)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_93 : Polynomial.coeff recurrence2Scalar1Exceptional 93 = (836552 * 10 ^ 70 + 3935588487601336726339215862293110119863974620500476607913126976522009) * 10 ^ 70 + 8145657074196283866599870708420443232259695934487492077141885020201062

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_94 : Polynomial.coeff recurrence2Scalar1Exceptional 94 = -((4096580 * 10 ^ 70 + 6618459890451318199952082187241402807774656690957648485730894438290714) * 10 ^ 70 + 9695401067306772515391138480470581861226621335100677837134681368169127)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_95 : Polynomial.coeff recurrence2Scalar1Exceptional 95 = (19585253 * 10 ^ 70 + 2316607244588653704951472719452060015370382237911367527687663967752013) * 10 ^ 70 + 9403647990702011635310790157985949924135441947472622644836803592906368

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_96 : Polynomial.coeff recurrence2Scalar1Exceptional 96 = -((91429264 * 10 ^ 70 + 8279644263711067261798599900860973331826226014747467456234021734723059) * 10 ^ 70 + 425000670875628226456372785864758205053678687568365280132919314255317)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_97 : Polynomial.coeff recurrence2Scalar1Exceptional 97 = (416280772 * 10 ^ 70 + 7574192199999110142940348323545637803179129847558596722120676565856100) * 10 ^ 70 + 911172752148584083375224502253646590434759704444088300167790753382170

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_98 : Polynomial.coeff recurrence2Scalar1Exceptional 98 = -((1846111215 * 10 ^ 70 + 4708331694926015485235492046000474299303074622197285022891876288000155) * 10 ^ 70 + 1534081758214790932367097329352935755150537097660842065001388502977291)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_99 : Polynomial.coeff recurrence2Scalar1Exceptional 99 = (7980770801 * 10 ^ 70 + 8075520742257123565641291653492667523644387905952878712791536664728067) * 10 ^ 70 + 7009630407198911818057647420432093555484499591440340795229218942413587

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_100 : Polynomial.coeff recurrence2Scalar1Exceptional 100 = -((33761895129 * 10 ^ 70 + 6553134232790574372705807572836336254261177689414035893427605983783036) * 10 ^ 70 + 671326932912174626242362461513164535936722042230043591801393634038383)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_101 : Polynomial.coeff recurrence2Scalar1Exceptional 101 = (140318878824 * 10 ^ 70 + 2756577297939101131111606870144129737995686583176255811233205721853075) * 10 ^ 70 + 6424398666200254126963283379701912598591672531391903418896609365965037

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_102 : Polynomial.coeff recurrence2Scalar1Exceptional 102 = -((571874394904 * 10 ^ 70 + 8668454280296144563643776221682274265340523547441798824717079994760373) * 10 ^ 70 + 382164589397876094829850043343315571210283490679791903141150371016570)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_103 : Polynomial.coeff recurrence2Scalar1Exceptional 103 = (2263242569961 * 10 ^ 70 + 8663731902467207394390485432043470481759707935000423857519504441674437) * 10 ^ 70 + 9381447529281784975959937310240923142204566340949902958869653291867548

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_104 : Polynomial.coeff recurrence2Scalar1Exceptional 104 = -((8613989468918 * 10 ^ 70 + 191343204121192650653792289278221460921317901941297034422104594187085) * 10 ^ 70 + 5594712248316599221137791968113186934774563630325516660670948233192310)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_105 : Polynomial.coeff recurrence2Scalar1Exceptional 105 = (31724843200643 * 10 ^ 70 + 8156236620865635699068172525679068321677290815541531308319189420232944) * 10 ^ 70 + 9342064580148335172511358638905512003313076047989611983180936708317877

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_106 : Polynomial.coeff recurrence2Scalar1Exceptional 106 = -((116598443692774 * 10 ^ 70 + 680991705216031285919607258057768942941211522534150912429992798496827) * 10 ^ 70 + 1134069654086586214280954649823549717054000606554534497189642950970749)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_107 : Polynomial.coeff recurrence2Scalar1Exceptional 107 = (440799123570090 * 10 ^ 70 + 1119503036924223779149700890968419092644038136329531163898920513095665) * 10 ^ 70 + 5008655633583890427049850945300552799835837730749608125585324606023655

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_108 : Polynomial.coeff recurrence2Scalar1Exceptional 108 = -((1671920405623310 * 10 ^ 70 + 3751902045476845320564109046492832760791040444533156755465241399007570) * 10 ^ 70 + 785663402179799016579315837197446866428085647606525911816537472976235)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_109 : Polynomial.coeff recurrence2Scalar1Exceptional 109 = (5819627225682592 * 10 ^ 70 + 7330711992772082257048003603207078488767037332106116565508987265765981) * 10 ^ 70 + 7709926664666421514471881380506500337754595909135352284133325467927290

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_110 : Polynomial.coeff recurrence2Scalar1Exceptional 110 = -((16814771743094286 * 10 ^ 70 + 870454234311100695340760833021458100423236528609156040973206379884062) * 10 ^ 70 + 8842684802608168252260227460260960142850206940413314020818131032644466)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_111 : Polynomial.coeff recurrence2Scalar1Exceptional 111 = (40104762707797639 * 10 ^ 70 + 8003486191779911924632347365207050594005702261076188284265670648866986) * 10 ^ 70 + 4792710917054080366283650594354175876918382857572182164823857929699757

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_112 : Polynomial.coeff recurrence2Scalar1Exceptional 112 = -((125151405704649418 * 10 ^ 70 + 2301992117667934976040722939014127410359194491304462272603869730151309) * 10 ^ 70 + 7355317228353050177963157794362749803034264705223308704384834655918427)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_113 : Polynomial.coeff recurrence2Scalar1Exceptional 113 = (762407666100850183 * 10 ^ 70 + 4565905551207693729530007744428671983351323019874920920127532365003671) * 10 ^ 70 + 2890009474006686097142158628584176734022910306479072296650613033406536

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_114 : Polynomial.coeff recurrence2Scalar1Exceptional 114 = -((4307729712190478628 * 10 ^ 70 + 8492897796813963203264908169817866375503255395175473941283048959658922) * 10 ^ 70 + 3904601363769444471989318782707858652767866045061317394934385658263449)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_115 : Polynomial.coeff recurrence2Scalar1Exceptional 115 = (13961688673661277503 * 10 ^ 70 + 4936864700537344163637656485824175688416664669190199901654965106516543) * 10 ^ 70 + 2680322885832966002748992916919485772102086393985575930094197410826697

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_116 : Polynomial.coeff recurrence2Scalar1Exceptional 116 = -((28095480895238944 * 10 ^ 70 + 6843007037987971435361349584486227528967590838667357349193108088334909) * 10 ^ 70 + 3357770781262513292128435000310926001558667311632936492040809890411119)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_117 : Polynomial.coeff recurrence2Scalar1Exceptional 117 = -((227150040414337783078 * 10 ^ 70 + 5204822449988409605899390305592242171921363201698935047817051758776158) * 10 ^ 70 + 3616576596894346074710541351676559350840325258108918908645850782800328)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_118 : Polynomial.coeff recurrence2Scalar1Exceptional 118 = (842004525927305747787 * 10 ^ 70 + 4636017627662339205728017342863116575526630515091875410490571934248939) * 10 ^ 70 + 7902000781049935720554954823171948132919501218149676909525936940400149

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_119 : Polynomial.coeff recurrence2Scalar1Exceptional 119 = (1702671417548396463973 * 10 ^ 70 + 2046597907302083754785154771312523140634632533463808570090916173246710) * 10 ^ 70 + 4940448383789301495312571359141216092506059354155551244187288043651456

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_120 : Polynomial.coeff recurrence2Scalar1Exceptional 120 = -((28973313420247748303526 * 10 ^ 70 + 5891838965952653533235739962255769085651237255951160958800341971751645) * 10 ^ 70 + 7095783430606512409965014509867707781028919639798713315705822728797778)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_121 : Polynomial.coeff recurrence2Scalar1Exceptional 121 = (112507118994497521778484 * 10 ^ 70 + 5557372774311091471838465363276017354215694495378167739121433303704425) * 10 ^ 70 + 1900641832166155632041530137649933262423356857888881770245145170165812

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_122 : Polynomial.coeff recurrence2Scalar1Exceptional 122 = (33224065199338827496062 * 10 ^ 70 + 3497271075049079210787130888213055603752729058127925928152769907950896) * 10 ^ 70 + 5283796398120138268500516963906476456506128564442147309245736562570254

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_123 : Polynomial.coeff recurrence2Scalar1Exceptional 123 = -((2399501759825708294735712 * 10 ^ 70 + 1975852373648683663360026165947460783882700533696305743862195587745071) * 10 ^ 70 + 1546362844051280702912688393695833736027807279432475412389525938567383)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_124 : Polynomial.coeff recurrence2Scalar1Exceptional 124 = (10898842243266731872759738 * 10 ^ 70 + 7413146691181949335803402880367397362866266897511778908225593103893561) * 10 ^ 70 + 4543112474181372556961844336785392041865207345624673482542901312792233

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_125 : Polynomial.coeff recurrence2Scalar1Exceptional 125 = -((6020116071842304646204297 * 10 ^ 70 + 6622053437083409506048946641817753512519702956190543119998952396439925) * 10 ^ 70 + 3940498520245202182790283253016178808359711001478066160801715617625508)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_126 : Polynomial.coeff recurrence2Scalar1Exceptional 126 = -((178234246388376850826570829 * 10 ^ 70 + 9721756216111620402251794525612439781796839692744996862622391153031971) * 10 ^ 70 + 8257548361690629248186116441612056281985312456843586828590998331350635)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_127 : Polynomial.coeff recurrence2Scalar1Exceptional 127 = (969924171283869012191494574 * 10 ^ 70 + 8134795993794250517428568469497961657374056415208885095571767893416746) * 10 ^ 70 + 5112378911888228820231741234280449126486460395533561696235057878157869

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_128 : Polynomial.coeff recurrence2Scalar1Exceptional 128 = -((1406904554232380676461804299 * 10 ^ 70 + 223333433095625602605678381190165614657152330123155873563348865016954) * 10 ^ 70 + 8403667367263915281298470093415736719423840870312271401228682859526385)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_129 : Polynomial.coeff recurrence2Scalar1Exceptional 129 = -((10590246496377503873809282238 * 10 ^ 70 + 7815974000578250877322784208226619712620426997482514920857947909480896) * 10 ^ 70 + 9233061558379188482316347614853358522718732787508529851210910143160262)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_130 : Polynomial.coeff recurrence2Scalar1Exceptional 130 = (75274570843774054224479571480 * 10 ^ 70 + 1572883166981916025357621961819554691092832893229326901511887950825242) * 10 ^ 70 + 8873138617786869674437336037901240196491010130619862624795612133463562

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_131 : Polynomial.coeff recurrence2Scalar1Exceptional 131 = -((177402960053185557642682556368 * 10 ^ 70 + 2431014486896601377407330177558914408138216773796955902660366406438924) * 10 ^ 70 + 6704252803774247699517664967320465724426930761857073404943133724228616)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_132 : Polynomial.coeff recurrence2Scalar1Exceptional 132 = -((422813194257699572794812787819 * 10 ^ 70 + 7599390167287466979476736962836229933168517302102092175144406563822917) * 10 ^ 70 + 1752472772749081935635520168773365083734639045528228646896416650874923)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_133 : Polynomial.coeff recurrence2Scalar1Exceptional 133 = (4951208423701757322948437355649 * 10 ^ 70 + 8419755355296397820923055034686650926599471619326788650211572034066316) * 10 ^ 70 + 3632814635995694568591836967165664354171292984165292943211434566511642

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_134 : Polynomial.coeff recurrence2Scalar1Exceptional 134 = -((16758827398357368066747325930241 * 10 ^ 70 + 2452708846405707744219501620030620122815569428177372790732863939779267) * 10 ^ 70 + 3575538008650428654561767802083308709469182969872268305552001118297184)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_135 : Polynomial.coeff recurrence2Scalar1Exceptional 135 = (1275620870368561339118030029152 * 10 ^ 70 + 6999745670007904335652091879412844374664309575609679943455458671182298) * 10 ^ 70 + 2374920939587701988252012520871265362244089176976943229703643677109545

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_136 : Polynomial.coeff recurrence2Scalar1Exceptional 136 = (254104025070802199627638500180824 * 10 ^ 70 + 9323395046801815357946982685173645910572068312019108310567253394066) * 10 ^ 70 + 9257220234690312378654349623546962589713058378162388807427515122452982

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_137 : Polynomial.coeff recurrence2Scalar1Exceptional 137 = -((1224654991715887796775464232535433 * 10 ^ 70 + 956392300932483094337967998144887389718002829945421508939848620544358) * 10 ^ 70 + 3857676398041521269310760605947014014772985814929568062979557186007900)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_138 : Polynomial.coeff recurrence2Scalar1Exceptional 138 = (2015908167996762817924876420899924 * 10 ^ 70 + 9078987384599903834863549911839667677891351001582882468368722192149905) * 10 ^ 70 + 7886639240285889788816374995421813629286355283121574512854879027655990

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_139 : Polynomial.coeff recurrence2Scalar1Exceptional 139 = (8315475204839797573582429922265912 * 10 ^ 70 + 2774057222625592631093070479998192632765722003616263044076898630942450) * 10 ^ 70 + 3390706801549339125548630104585307230616319335593171498128599141498081

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_140 : Polynomial.coeff recurrence2Scalar1Exceptional 140 = -((67887432938348373751423539977955740 * 10 ^ 70 + 8963324490336714054930365341235616887616189172840689066768552178234833) * 10 ^ 70 + 5174609929710659344517564409353715717648154893807419758389587038999978)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_141 : Polynomial.coeff recurrence2Scalar1Exceptional 141 = (202612609652908421123200685236869877 * 10 ^ 70 + 5347146193330545866862140775299683514557328495009090373652944706125561) * 10 ^ 70 + 9969824561265419529857785457726947288342365302945570873517986177467228

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_142 : Polynomial.coeff recurrence2Scalar1Exceptional 142 = -((19560825646171662855302922513890892 * 10 ^ 70 + 7595987439554878895105989073890658438344589655634862694162603198619596) * 10 ^ 70 + 2130516257324018069072281269605830501118948052146034218720932378175098)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_143 : Polynomial.coeff recurrence2Scalar1Exceptional 143 = -((2630607689107579586455616135136036641 * 10 ^ 70 + 4457517919153461363188049932183862189844780885681558092030275421623824) * 10 ^ 70 + 3147641786598777298340726809382891515762271844808266085916795501751060)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_144 : Polynomial.coeff recurrence2Scalar1Exceptional 144 = (12549335630792085785939191496058058978 * 10 ^ 70 + 4932174845958980149155865094574091205123605789403171663523156765965863) * 10 ^ 70 + 7475676028765325553946463124994240329683823014186238373759986672920701

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_145 : Polynomial.coeff recurrence2Scalar1Exceptional 145 = -((24568025733938418852594439674484405128 * 10 ^ 70 + 1705322862076665587643741467884498771892830497959285961060499358472199) * 10 ^ 70 + 1414449649351055147979865586226320098905110259543421224590950916854571)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_146 : Polynomial.coeff recurrence2Scalar1Exceptional 146 = -((44526397653995166159004529508229970352 * 10 ^ 70 + 4891428680346601801001081875626567520922430759189782101110936718356391) * 10 ^ 70 + 5522403562500820975692873888061333173885284588377484016887210047372847)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_147 : Polynomial.coeff recurrence2Scalar1Exceptional 147 = (512664684898640542376567100869920968235 * 10 ^ 70 + 366261845594581964475771379605592236239734493943640089968774622630118) * 10 ^ 70 + 4165287117840527072807571284269640214230459677198022357607222074298685

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_148 : Polynomial.coeff recurrence2Scalar1Exceptional 148 = -((1842389035984480709302118774173974207073 * 10 ^ 70 + 8109622940537836208760061368213559961585003957213967114214458690616695) * 10 ^ 70 + 2389764679783284943634862328641913006648400404642376936333656357395931)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_149 : Polynomial.coeff recurrence2Scalar1Exceptional 149 = (2441310172025274146306141561504087963115 * 10 ^ 70 + 1401927788716265642400387616840708429128912201640246119142233256478744) * 10 ^ 70 + 4605424270045391313416220583705320797440366710327739849125494717396423

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_150 : Polynomial.coeff recurrence2Scalar1Exceptional 150 = (10201889137009533384137353386800190289107 * 10 ^ 70 + 8406215223462068754150517847129908831901217751861868155099395166393085) * 10 ^ 70 + 9783112789519388087329684884842993827764822610153012553235478051520008

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_151 : Polynomial.coeff recurrence2Scalar1Exceptional 151 = -((75091944719273445690481447492637579429493 * 10 ^ 70 + 3413092706952850581842225123978649825032453283106337613962508533292530) * 10 ^ 70 + 2921519813433232530055758977132064387439328428868413235485020732847869)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_152 : Polynomial.coeff recurrence2Scalar1Exceptional 152 = (232165051375231121291967065948893523747501 * 10 ^ 70 + 3253874775935314331175618182656062912641746728422515458531794336839409) * 10 ^ 70 + 7632160448919644018032287603282844623062067908133068112713195432041920

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_153 : Polynomial.coeff recurrence2Scalar1Exceptional 153 = -((244646668287880707407439484184569284391563 * 10 ^ 70 + 1092109700670191394414220132825761023703148519368762168644180002201658) * 10 ^ 70 + 1952576901075970690618881588548034020779328191737207231371613502118046)