Recurrence 5 lookup certificate: Scalar1Second coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_117 : Polynomial.coeff recurrence5Scalar1Second 117 = (((476673686659621733370361532957342395710476947560 * 10 ^ 70 + 1898466039273607838223000740465801894649817654941577211263327547766456) * 10 ^ 70 + 7383741301425986897957033638943909273452194482425065774349179855513479) * 10 ^ 70 + 6192943044695037411240107528515720413336707583762968297292387860682912) * 10 ^ 70 + 679292038282792574970160995000446358155846445133802514535185914186593

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_118 : Polynomial.coeff recurrence5Scalar1Second 118 = -((((2665935334917802041770622147507279193004251460087 * 10 ^ 70 + 4102765317668930305509482801217097753604154028685902321770798073805358) * 10 ^ 70 + 8867944124046194630332586782748843813442580350117778250423920525799781) * 10 ^ 70 + 2786707707329375827974630833235992390707718990247808963801689879490699) * 10 ^ 70 + 9069270746332620208094621432030643667174526268627889329195501728891076)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_119 : Polynomial.coeff recurrence5Scalar1Second 119 = (((14557643740609904459757098504247654268308720081387 * 10 ^ 70 + 8964063732320983302770711003088132297433838352553191416363923155626070) * 10 ^ 70 + 9561947513813874599086185386135521226416676188714989147048135612243741) * 10 ^ 70 + 8978382135452734798535172182318469661086939122573368354655121813879618) * 10 ^ 70 + 3312949580120023895589846629105268968170778697735645208416212502294163

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_120 : Polynomial.coeff recurrence5Scalar1Second 120 = -((((77631697220670114238634135759086094938654346398487 * 10 ^ 70 + 7359522816166756598368429245027790232228350923747110331831758372397198) * 10 ^ 70 + 7958256859470671046041378603359131164725447911317386044298126639754223) * 10 ^ 70 + 6406450167071214628688907571797639440201710624931625654877729068258693) * 10 ^ 70 + 9077867900968818089097875654744339096897724972066182254267584836300614)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_121 : Polynomial.coeff recurrence5Scalar1Second 121 = (((404375218336359741525847933135003507066033665678963 * 10 ^ 70 + 5956826342962098448761617208013265549630138289960915331862367751663347) * 10 ^ 70 + 5351076724121007656292052520936400384360447755587444018435424636271768) * 10 ^ 70 + 7190683211570021180264436603619815207432827122139264471147099567441346) * 10 ^ 70 + 3186067079435198918932510756198301990652067998931166354227230287214680

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_122 : Polynomial.coeff recurrence5Scalar1Second 122 = -((((2057860515356840843606709155809246741827410671538470 * 10 ^ 70 + 8068539140435296153768432746171707992567686464023336379843644494944194) * 10 ^ 70 + 7623931603910710344235324109469749698376968528274432090937924695279996) * 10 ^ 70 + 3475152487111402780400826847415217355643085644085384411623140011943420) * 10 ^ 70 + 3795069338401678854872257718306113494509922441105484986138620551493527)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_123 : Polynomial.coeff recurrence5Scalar1Second 123 = (((10233387389570884234016343215160444169368172327311372 * 10 ^ 70 + 6657642824609357652533641217081992266596721679257568912932900386332097) * 10 ^ 70 + 1475761350691814683048730755697946784692094225806652886820557613648802) * 10 ^ 70 + 4518111608183500870213443759306597474591455723718128046473614568681123) * 10 ^ 70 + 4955462063434428556340418819166834749708711769484555559832290106457239

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_124 : Polynomial.coeff recurrence5Scalar1Second 124 = -((((49736911590720015332269182079521527474383535317636393 * 10 ^ 70 + 3571331556807197262938737990932716659980279098195355885974271026780945) * 10 ^ 70 + 9252270206399914726079652045243686469657049711291914449328205862837233) * 10 ^ 70 + 5293956009955738574474258390615971525124072282874283894990422858026908) * 10 ^ 70 + 9685227671241249361702724799208167786067178470925836511802463736325658)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_125 : Polynomial.coeff recurrence5Scalar1Second 125 = (((236306548282176822051868525673520938401296697430326142 * 10 ^ 70 + 2712242493204191231451341749589697754019494786324655411440394574612116) * 10 ^ 70 + 9547421588577503061018564401493570145606842831746429157883678326495365) * 10 ^ 70 + 8852181225157567216944778812433987662324578234342330859162449680018771) * 10 ^ 70 + 9927271816828075932532137099245525589399500367031710252689312110611360

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_126 : Polynomial.coeff recurrence5Scalar1Second 126 = -((((1097715297524572157972725463316773896979240131486287164 * 10 ^ 70 + 3998851864679671966737624639973991460266777992904460086062983842440601) * 10 ^ 70 + 9345170335921860160354497822709449773922653871734453193178936062613554) * 10 ^ 70 + 400117777086193142185269428374505961386446711906899403477774071670954) * 10 ^ 70 + 8186233853608765102872133588890550602008468574418667498645556821165148)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_127 : Polynomial.coeff recurrence5Scalar1Second 127 = (((4986525955843899184605314209710791949057997717335749785 * 10 ^ 70 + 335658633978201999489443790904505199029600075372526561374953963530064) * 10 ^ 70 + 9258479224943121103078093260478498022873980606246527553473568025290147) * 10 ^ 70 + 2970496143953665859272091321611181955728200188211093827283302024265974) * 10 ^ 70 + 9166448007876828253400376725799835468773161732272304434185943588811798

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_128 : Polynomial.coeff recurrence5Scalar1Second 128 = -((((22155228015836217720039467247715034751900955538338004813 * 10 ^ 70 + 5094031877846557488219661748613649407587187706348846101214674708811988) * 10 ^ 70 + 2297754502903135423466105937204429808956693692427818036173139837212592) * 10 ^ 70 + 4123264680455755908747848447435340468202135756684143301366381719319022) * 10 ^ 70 + 6913244542994009197218070487185982002248079172079865107167374150935453)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_129 : Polynomial.coeff recurrence5Scalar1Second 129 = (((96293624643372422950250439691645684628369032268742508913 * 10 ^ 70 + 8406820061122243993034053542068555418947612334011931317284888555289334) * 10 ^ 70 + 8213876984706083310601203799103978778803052599511660436451202040703549) * 10 ^ 70 + 7008052840553631105227931615126689798606388764953265497710087958809198) * 10 ^ 70 + 9871018811225146558358705900186612270069976519075350629240193415745724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_130 : Polynomial.coeff recurrence5Scalar1Second 130 = -((((409480760374758944407620556156901873411172302450508283486 * 10 ^ 70 + 2181880518636574860019429988032109245628535783922473690941239575222405) * 10 ^ 70 + 4595728242519472671026202790635200436896460019872317498028828767807245) * 10 ^ 70 + 2789997398428865930690068443078417409116042829542573807496568390769788) * 10 ^ 70 + 9148391978605030245434563897764605004736100735898761697991367079801803)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_131 : Polynomial.coeff recurrence5Scalar1Second 131 = (((1703937847731835336545969508047931776323279123522866451571 * 10 ^ 70 + 3873338995752374675236716289682884464708951903170348640553299808273736) * 10 ^ 70 + 7164367100407385141518849911662568183785889774060993372967226288507124) * 10 ^ 70 + 6121170388696674309120628913575130134372395344086688188460786312130212) * 10 ^ 70 + 2405303704429576225806697725440538492456640505871804218351343975851010

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_132 : Polynomial.coeff recurrence5Scalar1Second 132 = -((((6939466710602734100575307030129482623896386479565618958519 * 10 ^ 70 + 4892614274741800696347713852534946407918857238731064696509621143750218) * 10 ^ 70 + 2331231899054961504861497685278519356814927790480896613910869532618115) * 10 ^ 70 + 1514256007760330943113503935794315833557073664265581618690969731533428) * 10 ^ 70 + 1023000592941154990388696962531564807279421025075618873651009926614202)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_133 : Polynomial.coeff recurrence5Scalar1Second 133 = (((27664103388588223621977873359548528457413715738680232794026 * 10 ^ 70 + 6681937921208166356782928612151479382389071086357515036994515928966517) * 10 ^ 70 + 9830557221774320524803576703722151385716478169146177554155399170455409) * 10 ^ 70 + 1030369111283946200278904360118958162457481434056606462650708757503425) * 10 ^ 70 + 8249105192968189269211734717020999871215723928038118461295603982626298

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_134 : Polynomial.coeff recurrence5Scalar1Second 134 = -((((107966643272721952327893182258127601468414295292167642679510 * 10 ^ 70 + 777959289923444526506726623057183514479333887926532114687441706429926) * 10 ^ 70 + 4391820425002094226577950893849248778405493207474800470126561570028353) * 10 ^ 70 + 6642153532346655999647913447839056013873246694407192780833582851956587) * 10 ^ 70 + 8526431062326919331224098424539735558501764993855248630175301369567460)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_135 : Polynomial.coeff recurrence5Scalar1Second 135 = (((412579620522532714456354749885776800559874807629617049048987 * 10 ^ 70 + 8768095610868132721265604680869558239760299915859903367616601657287390) * 10 ^ 70 + 7706959268073226169746151451638359547374187753515482739508751784956474) * 10 ^ 70 + 7465328047739207338028690704368266156385932884058924995936962265828232) * 10 ^ 70 + 4086417662557590041928571711695445246880211235459797702845603204335761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_136 : Polynomial.coeff recurrence5Scalar1Second 136 = -((((1543946219809495409434196046251274669313914453831396424717012 * 10 ^ 70 + 428865315618235831547970540658445463190000956795375324221219703577424) * 10 ^ 70 + 4142322284511656413917712691266139135355008358371507598343020954059820) * 10 ^ 70 + 9710109079393523390007258708974157880173028365119742959528897467351049) * 10 ^ 70 + 6467799576580705296734883430349423042160267337091130116170044477745702)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_137 : Polynomial.coeff recurrence5Scalar1Second 137 = (((5658772809674980949101150658516077161227530976337460088350476 * 10 ^ 70 + 2473773424138030540722476181078532912676045239726767297956924189614727) * 10 ^ 70 + 6479644620541501877843836649781327140259817650715799027857490788627009) * 10 ^ 70 + 9638679412171842989743202422392515541769860472436602394381925545336087) * 10 ^ 70 + 6148186400925049034918536914242545289752788843664320777750333125332366

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_138 : Polynomial.coeff recurrence5Scalar1Second 138 = -((((20315895523613224184700127887329949374349315951623515129058112 * 10 ^ 70 + 8421152125080303100567160933041877150755094588054848602564565380912829) * 10 ^ 70 + 2710614779924314248363688530776463861308637415289819471791672076348286) * 10 ^ 70 + 2367127851390096608909097967207085263411026775400345739283080099243653) * 10 ^ 70 + 2469002966825225327132454789454456772929992217902792061770086172028426)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_139 : Polynomial.coeff recurrence5Scalar1Second 139 = (((71454525125502641355062410665768844336277249906958986869260049 * 10 ^ 70 + 8542408394384712354588089251463712724748788923175512707375710579883922) * 10 ^ 70 + 3762003651945596083231283019071634014607355651217577003599930892884130) * 10 ^ 70 + 3807233986131223334284506230383914827860441577437519187203351576499298) * 10 ^ 70 + 163146761528492906290409241425584406313597900028254219112733492025681

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_140 : Polynomial.coeff recurrence5Scalar1Second 140 = -((((246239958214459132017821712241036909485008379189296006488560318 * 10 ^ 70 + 5487996923088748146789664270867382911471014055961376449238770936634447) * 10 ^ 70 + 6281889469882642451587673309619584658271668681682935357684486848163386) * 10 ^ 70 + 3696092197645523520652604733737385606086486584969011686440778632021728) * 10 ^ 70 + 5453239639100272797526917151827805281617158404002598542566371725052760)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_141 : Polynomial.coeff recurrence5Scalar1Second 141 = (((831526118085378468691184078765495442390124938646189384010182275 * 10 ^ 70 + 386584071256895511952918761493636256961087891607472659175716692891869) * 10 ^ 70 + 141411133539272809819636519224162066822787469962758763693098788343957) * 10 ^ 70 + 6274342378476133395686060943349767241539978943369958335064970570952657) * 10 ^ 70 + 3420065174858786424015142140628210555707867183753501988605580020762546

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_142 : Polynomial.coeff recurrence5Scalar1Second 142 = -((((2751908575134444682339601073136909799162642456984030395070778409 * 10 ^ 70 + 8372390004781591307145332765477924485611720001517593341091733913977163) * 10 ^ 70 + 5772197406489308787657365955968871535748046567676982822498922633210077) * 10 ^ 70 + 5416603837670332273055789937267629000194704492905216406506252782420904) * 10 ^ 70 + 5075900788570899757952345999620205545237891271373066159230864391712832)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_143 : Polynomial.coeff recurrence5Scalar1Second 143 = (((8926550524866038716560456299752017964533787186451204612885632663 * 10 ^ 70 + 9789590241030419449580508522955651449106712678185997131788802362477583) * 10 ^ 70 + 8730272268115986146589102112014923925677995231343538584715111413729098) * 10 ^ 70 + 3850609905406980504108804316408767700559737044595241968937141161584656) * 10 ^ 70 + 1184024471341747274476301206565028240482638606604132534905678105546022

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_144 : Polynomial.coeff recurrence5Scalar1Second 144 = -((((28384052410048162330535058490810509831631787295772378053716869399 * 10 ^ 70 + 8568609434404308728325790276953286527069256603057824683709234389589294) * 10 ^ 70 + 2829717576033276054445859880551056093220177493481191782611150770249540) * 10 ^ 70 + 6412249966600227490688915192426262557812484205726286131258247690968816) * 10 ^ 70 + 1037660787384743158937893443410299826037603818446749061817692315677713)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_145 : Polynomial.coeff recurrence5Scalar1Second 145 = (((88481898043755551976282902636143372982421590928903568122673218585 * 10 ^ 70 + 873241467588655601364982611403810510301589701344200566994894910654797) * 10 ^ 70 + 2410855927278871829154766603843533510433880021916323354184964962846287) * 10 ^ 70 + 3946355065135231708259253821939495326765790973379546145323455774850189) * 10 ^ 70 + 6243750031400689240371602024730589220120132180924580996341439784471397

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_146 : Polynomial.coeff recurrence5Scalar1Second 146 = -((((270439887409654161829512361149629491630297282522084554003495281820 * 10 ^ 70 + 9214940317277640234338217786858176081736283883310078945003357781309284) * 10 ^ 70 + 2830246620322374534820085569503386916326953160726809457205236922152708) * 10 ^ 70 + 196507278285988751451445707042312184754328820023507150302503922220293) * 10 ^ 70 + 6029467684268209823645830349352463629888319719985944735789375855668753)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_147 : Polynomial.coeff recurrence5Scalar1Second 147 = (((810530064358201821948681034453226985478800521564972513184327162550 * 10 ^ 70 + 3310915494155337924344245585199090962029827147201850616172116277765396) * 10 ^ 70 + 6240951273749616561379957817993836917296524010452412850205258985246328) * 10 ^ 70 + 7375431450910791519526879176600876057721933363880352329847014645077799) * 10 ^ 70 + 3171923404798376989975752754267629705846011594101154058019091142214966

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_148 : Polynomial.coeff recurrence5Scalar1Second 148 = -((((2382287540489310314354706455157042618545885597661705981712287752223 * 10 ^ 70 + 3801016353761444254023572600540378366491731474515015722000978945046263) * 10 ^ 70 + 6287269740894201255235398626168579250088273550795576780488627328112808) * 10 ^ 70 + 2950327264492655547624192326135331416344472573473233478069964488514605) * 10 ^ 70 + 934449138081622819838384646737861030127696838035797097878186886546582)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_149 : Polynomial.coeff recurrence5Scalar1Second 149 = (((6867352780841231161700723369090870796832522949112317594011768977487 * 10 ^ 70 + 9474928163908139063009000921402305345143063190144928489846518394888634) * 10 ^ 70 + 7873342144875767722653978351542341296933573414973930641149850402502721) * 10 ^ 70 + 98094987394385929289140134225251630825418692553677902321132179774808) * 10 ^ 70 + 5117594259327898718463210344758147576687034160295066894107122306286254

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_150 : Polynomial.coeff recurrence5Scalar1Second 150 = -((((19417665243762636018055543564519089101879193600536238991245740056174 * 10 ^ 70 + 7442302189298837757610894596526793135730623138294603290427721659365399) * 10 ^ 70 + 7266965778823149115935827314451267151274310168455480429661338898794173) * 10 ^ 70 + 6052948690103794427688519476211681474160188829083682629107185060526712) * 10 ^ 70 + 9307371878138498197789481415093892344337252799192240964373746981166543)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_151 : Polynomial.coeff recurrence5Scalar1Second 151 = (((53859013795636335576024339359653833810285013147296706048878027426150 * 10 ^ 70 + 2125965755058586278390728889989632773711881990248669872856382861174870) * 10 ^ 70 + 3438774487302296359931697705071609100324126159715978154529868181945312) * 10 ^ 70 + 7187457045231262921886823930747101902448366488030613672004846391644320) * 10 ^ 70 + 9878162017452633536956506229635972523884351903338805803218577210549703

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_152 : Polynomial.coeff recurrence5Scalar1Second 152 = -((((146559416987678567776360246143036709430536295872493836690502975548048 * 10 ^ 70 + 4375583068230949564766414468755316785481378844348353811478503992695249) * 10 ^ 70 + 2256199465313958197146516392883744889050622742502672633718186392648478) * 10 ^ 70 + 9588492708723426172542259632242753751177775916199653407456623004120540) * 10 ^ 70 + 6772283107446228826331469445642776541855263727790925802909697537944990)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_153 : Polynomial.coeff recurrence5Scalar1Second 153 = (((391293100557604587757968071379911072986238864411960521700969389740424 * 10 ^ 70 + 4221607268831513380464997369945158465694523738812497002081979993050019) * 10 ^ 70 + 5440816425653504161364432266974643190487558240885409116134423757447937) * 10 ^ 70 + 8549808909402307525743088506323596123857699296838945808170117304227353) * 10 ^ 70 + 9225545574650020813808251004830961834024413271552765700876335616984897

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_154 : Polynomial.coeff recurrence5Scalar1Second 154 = -((((1025089938764291630590837136352661086722830500675292007759381761915096 * 10 ^ 70 + 3777176762758917009710349451247957822909848661596968791752858239149985) * 10 ^ 70 + 7249904770024962848225362059391100465900545414153742812354125617136937) * 10 ^ 70 + 6265559463128864391572553404998739110728578246989418733085172327226042) * 10 ^ 70 + 5874667884041389594786184455757546577492348812009569176608794843648208)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_155 : Polynomial.coeff recurrence5Scalar1Second 155 = (((2635301395118584648338633978234591101153662470205069941854648834583777 * 10 ^ 70 + 9868233877370561009475061803451034278097876743529759466188945665388075) * 10 ^ 70 + 6855079361370867817571999384660399289564887658017971181412432677619419) * 10 ^ 70 + 1408159279490757509965563229203639993848758276483185112163804846965038) * 10 ^ 70 + 8453068861420438284393109325081886694741126209650414262449557296979799

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_156 : Polynomial.coeff recurrence5Scalar1Second 156 = -((((6648802517642317103250731229954231699965911272097271039290000147921109 * 10 ^ 70 + 472948274379746660496272788173532844512865945926232750862818285128164) * 10 ^ 70 + 1602703195885769155570497042130527530402065242697907585022350614973065) * 10 ^ 70 + 6783986763693600448225651548120439356760574628789584970000071671311904) * 10 ^ 70 + 6616858158660745845881283672312110315836006742141807643783443599555358)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar1Second_coeff_157 : Polynomial.coeff recurrence5Scalar1Second 157 = ((((1 * 10 ^ 70 + 6464053268984390333644370698950237454106527079241470790112307311861296) * 10 ^ 70 + 8084550676731783455195189763751723816668159810322995292655602388269953) * 10 ^ 70 + 938214109666425913698416706537529783427441701189089387934327340880238) * 10 ^ 70 + 8997041996857170063280542899965736783888990719477961488808197980975190) * 10 ^ 70 + 6293760961405350926235009336012916742090021188960024263623174252433282