Recurrence 4 lookup certificate: Scalar1First coefficient convolution

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

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_171 : Polynomial.coeff recurrence4Scalar1First 171 = -((((135851151 * 10 ^ 70 + 3681986263210794371321482758297520431852106739623602025365695588165192) * 10 ^ 70 + 3088362179505623758555364832568177277822306972258142360073155917798973) * 10 ^ 70 + 3109216020005323792437800852112591466580451043077332639970130655302907) * 10 ^ 70 + 9271922760447754261861729191401576160077636974540657330342817885984543)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_172 : Polynomial.coeff recurrence4Scalar1First 172 = (((422290042 * 10 ^ 70 + 1072176701546716894249742457200762705819092456669683835400417781142797) * 10 ^ 70 + 6642153390956606320834043838483385303535836800720047150686962990698688) * 10 ^ 70 + 1148002228939720803046565953295966268658528776388134706828328147690187) * 10 ^ 70 + 4334490019907738123436470601785847484555000251662908933519417718197377

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_173 : Polynomial.coeff recurrence4Scalar1First 173 = -((((1293066748 * 10 ^ 70 + 233465015773742104059602332909509834630411209265296687633359353266636) * 10 ^ 70 + 5389864919052559177914179451308368639727496502966770237728434970703492) * 10 ^ 70 + 4342690370634074859667510748375439309594485144388148639562001049389753) * 10 ^ 70 + 5988582753317415963714038911144653964942642965474066805728277253855147)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_174 : Polynomial.coeff recurrence4Scalar1First 174 = (((3900488674 * 10 ^ 70 + 2732985969679051383665031076411744380520925219939736176064433079127915) * 10 ^ 70 + 989645179466554328585740553529441086819286965232914181057573761108393) * 10 ^ 70 + 2921445234473916457896710747484123026523214024765909791588268049301996) * 10 ^ 70 + 2775220434212820903785961703655738433575325042879119573471692764437327

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_175 : Polynomial.coeff recurrence4Scalar1First 175 = -((((11591235739 * 10 ^ 70 + 1954660103767071732430574630094607362913834432101655105875179633824751) * 10 ^ 70 + 1295841936011376085300321699106833157186487836983646156494566741914064) * 10 ^ 70 + 5911940633028365086367521329110134605498213541878681363916117473445592) * 10 ^ 70 + 7194806165816731980704119374435783473315991010943548055274503215257992)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_176 : Polynomial.coeff recurrence4Scalar1First 176 = (((33937281681 * 10 ^ 70 + 6835401934908190138424293389467602874197820281955994183078423549590819) * 10 ^ 70 + 4923709904550079296857166329678082016355580650723427793801475913923944) * 10 ^ 70 + 3740380008778362588505018468235171475704036212996877611389712025104349) * 10 ^ 70 + 9691080587293483358213270799209694161714157450643079491247771380609572

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_177 : Polynomial.coeff recurrence4Scalar1First 177 = -((((97900346570 * 10 ^ 70 + 4446050791243477048043142775060441946288839219832668312174287721905840) * 10 ^ 70 + 4707851360078592047545153834739109395078894848292129059765489200283407) * 10 ^ 70 + 1670933473124150027138054474060045877182206894852596977825636670457015) * 10 ^ 70 + 9090562869424232629694275562520041431934340750873909828735280793802597)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_178 : Polynomial.coeff recurrence4Scalar1First 178 = (((278274781993 * 10 ^ 70 + 7700689989526234968563968441071012019000732798089374569195313721162090) * 10 ^ 70 + 96562167067024397976900333112155919602960884571075637311823234406331) * 10 ^ 70 + 3637747784009816712917399258524340844123225179540373387064874326697438) * 10 ^ 70 + 3628934555611166207755804043411307501951768772810312269188296800003979

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_179 : Polynomial.coeff recurrence4Scalar1First 179 = -((((779413344448 * 10 ^ 70 + 4732322457987265933835071646618954507405923834425753523320322626862099) * 10 ^ 70 + 9683507343240732449425897197496999312608143604493978835011104719225372) * 10 ^ 70 + 8757621855915839113553346523511441213010584933451966189129374867474520) * 10 ^ 70 + 1092209574089648339212852355043746823852861142312885908472118970245146)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_180 : Polynomial.coeff recurrence4Scalar1First 180 = (((2151233001549 * 10 ^ 70 + 2935860737686217364812920859509109335194392508693488023861583223414480) * 10 ^ 70 + 9755361559485750238411072516771344914942937381025632666125320736056186) * 10 ^ 70 + 5272370994637720388963394992470032147338682100861557326214911988598884) * 10 ^ 70 + 1453590975483442109170640154714602228670489375498535863254248278564978

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_181 : Polynomial.coeff recurrence4Scalar1First 181 = -((((5851312838593 * 10 ^ 70 + 5850224295702552725859138252682709078590580683011665284240276327311081) * 10 ^ 70 + 4784930939726539773147647089551965797407274591627565376853654635083628) * 10 ^ 70 + 4929075994824704256871409413612464614443196845267179658142161938610141) * 10 ^ 70 + 8380600965920076064732878779205960823608779764505183795638804918734810)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_182 : Polynomial.coeff recurrence4Scalar1First 182 = (((15685032771702 * 10 ^ 70 + 7025273816010111746568542112520324919917364186791850624974082777602057) * 10 ^ 70 + 3481029948891754361419504468391585018718317415850711798231478869517957) * 10 ^ 70 + 9616001733243212643200452647956681717988630880499389713787595515527102) * 10 ^ 70 + 6809651503678702425434302383329606745745231284586170185318198751461377

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_183 : Polynomial.coeff recurrence4Scalar1First 183 = -((((41438417733529 * 10 ^ 70 + 1167653932313925289521551919916351351715983773799394916239059252024274) * 10 ^ 70 + 1055995967303662398653341260983362081814135473122790258314519886741033) * 10 ^ 70 + 4163651088875645653524875367373858250666906025812611511070393350418280) * 10 ^ 70 + 9120256911927318340666894523513908347080546206321021488150278612946950)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_184 : Polynomial.coeff recurrence4Scalar1First 184 = (((107900954713152 * 10 ^ 70 + 2427771939194967253863948897340729123888699588916326886100923582829388) * 10 ^ 70 + 568894380543429325648287218623033867693656969190777249860365306304676) * 10 ^ 70 + 3338713644274650595905388066421147367163935024642760375747080290835942) * 10 ^ 70 + 3752387442473375995926157479417513449331219523439174443077200267253424

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_185 : Polynomial.coeff recurrence4Scalar1First 185 = -((((276929977771980 * 10 ^ 70 + 1474198741341771851814123779600993584695193600593671774783310481209124) * 10 ^ 70 + 8425867855945659804387149709051791788987188929280225910062226709144165) * 10 ^ 70 + 3525926022711466853222283255563085004149481978904880343828843305325846) * 10 ^ 70 + 6516984290707410347831318635273753678849878715618059373815573688768859)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_186 : Polynomial.coeff recurrence4Scalar1First 186 = (((700575261585975 * 10 ^ 70 + 9575795399653563853105780828564645300780321096104704074878505819924899) * 10 ^ 70 + 162543756326233040682245400385684523185699658665422319288129341067627) * 10 ^ 70 + 3012849642238596006367043189388800953037696439224876689210504509066211) * 10 ^ 70 + 9314507003633893324887566900918509293972278210544930542829465238894805

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_187 : Polynomial.coeff recurrence4Scalar1First 187 = -((((1747015557004493 * 10 ^ 70 + 8630085553813802971767744421067465699162362985844448071424115987820986) * 10 ^ 70 + 5727551247289056416480100713417730018216639660176529191782168570685817) * 10 ^ 70 + 7521095654583305366975047500904199260390033150761654324653798544355228) * 10 ^ 70 + 5452944840950579034534926791422161707127959702402120581283187489346099)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_188 : Polynomial.coeff recurrence4Scalar1First 188 = (((4294497257063664 * 10 ^ 70 + 6427655920440983916358587639694314852428011549345774277274149285243887) * 10 ^ 70 + 6013141236696029898407804463983478886377374279354763303014816568191278) * 10 ^ 70 + 9194639002758329169821371672141507038074980683928356671615242537126996) * 10 ^ 70 + 7071079133563826991933294484089814368690842561071800397026565668099348

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_189 : Polynomial.coeff recurrence4Scalar1First 189 = -((((10406803217990090 * 10 ^ 70 + 4802091144601435379809564117109946441727382924578630835709765030865428) * 10 ^ 70 + 5552987871547288451148732068861132656361487123150555984373361290080098) * 10 ^ 70 + 4245016619841601549275276821139742999019736535691552945972697913464251) * 10 ^ 70 + 6162823181040956696050354158953096635542851599949159647953919676759152)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_190 : Polynomial.coeff recurrence4Scalar1First 190 = (((24861488653187426 * 10 ^ 70 + 1966382546733631671494028345893775190629886325186474727456086013675421) * 10 ^ 70 + 7382242325155037333639449158901008041882681458594332117087521713334627) * 10 ^ 70 + 9389799969257232177533692118508341203127088543331478921875499425571874) * 10 ^ 70 + 4337436660020009602581733990351080720071396209619240802156585696411268

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_191 : Polynomial.coeff recurrence4Scalar1First 191 = -((((58553985740501803 * 10 ^ 70 + 5667931967761565100041024899423227320390530673519468370446214285708901) * 10 ^ 70 + 9187410376320936789320025825459670003927985563921783294945680842591615) * 10 ^ 70 + 5324884071665071698502658313149081619823184949155877004375265853488360) * 10 ^ 70 + 3176644257629013693917657765819841811533799758524586117436199706494408)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_192 : Polynomial.coeff recurrence4Scalar1First 192 = (((135962634781455160 * 10 ^ 70 + 3236698951653050396572038117897133686654127257666767908910246078896329) * 10 ^ 70 + 9096492740513673004218450160538986254716815663478159239656582050902240) * 10 ^ 70 + 9997511999584352128968559727730449090579969552596282903424701571744049) * 10 ^ 70 + 9956507964827658024875969532681961306124699004535511035973268845889388

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_193 : Polynomial.coeff recurrence4Scalar1First 193 = -((((311264902890719023 * 10 ^ 70 + 3598747678013617534548313839330871931360304369387935259092441028946199) * 10 ^ 70 + 4585657739979298929788212785558082308503118820136171696399258626740260) * 10 ^ 70 + 9029825123434898097207573679044886785808198164379078554443780893494729) * 10 ^ 70 + 9777894656937315663108869837572048225086026808803357266755735640031491)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_194 : Polynomial.coeff recurrence4Scalar1First 194 = (((702589046413626003 * 10 ^ 70 + 5566915832486472737711402593051991625044888288770245707444264489693764) * 10 ^ 70 + 4488360188817998853029644968125742644755300290215102070702151637856371) * 10 ^ 70 + 2559897947631695358030984480795498447581310188015239160247650456569268) * 10 ^ 70 + 7949323768207403637624151762836519057644309322181073517730660844214940

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_195 : Polynomial.coeff recurrence4Scalar1First 195 = -((((1563672779234375683 * 10 ^ 70 + 9322552589353495236967240066505364533155617971290833106602155846719498) * 10 ^ 70 + 7121187569757267241628592960289449754101067070818536766110113602610255) * 10 ^ 70 + 9580259337969740833782353894541812651354374422186351414667385525317613) * 10 ^ 70 + 4765112583013603830689156211057054925155381698824680081344482046541323)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_196 : Polynomial.coeff recurrence4Scalar1First 196 = (((3431435014542201213 * 10 ^ 70 + 4155545215474997906541607316256131253260549566529224970556446603779149) * 10 ^ 70 + 9616378915602223535909845993805372921483510512923533511674870857281276) * 10 ^ 70 + 1463858528609511942006643471125828086801540255465850074386389780738256) * 10 ^ 70 + 1864150898790314080861641627918957336296930007626841817477372950198813

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_197 : Polynomial.coeff recurrence4Scalar1First 197 = -((((7425106481910103350 * 10 ^ 70 + 8148415587514193057713996753343594990417195959997049286630948213001408) * 10 ^ 70 + 8471167944279775497112834024309832657037560399141735068245602995612111) * 10 ^ 70 + 2189581574896615496823782461611931536125571516287835310271346170952460) * 10 ^ 70 + 8309309190227568008168958305015516095747213363329671781890517041811655)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_198 : Polynomial.coeff recurrence4Scalar1First 198 = (((15843009702529374255 * 10 ^ 70 + 835612248246590524001273085091551047565801536260042183004386457994268) * 10 ^ 70 + 424162461775045746701390933467136581765413771942600600355858724873108) * 10 ^ 70 + 3973317394425782688851910347452353742204986196205513037174665633563571) * 10 ^ 70 + 2261927618082252434783031835329176736605357035497726937336411133595967