Recurrence 5 lookup certificate: A3Square 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.recurrence5A3Square_coeff_198 : Polynomial.coeff recurrence5A3Square 198 = -((5854962965970539960692350176768358415929564648006178317720213 * 10 ^ 70 + 2151694220550362963030388092244548740823084130472979477337000291908761) * 10 ^ 70 + 5336156219102710445194773345608836187031711829284945181457539884581333)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_199 : Polynomial.coeff recurrence5A3Square 199 = (3529650839839117481991085417492177795523181220181161657000982 * 10 ^ 70 + 3549561976029487334648673230148105351152485047431662457157357290520295) * 10 ^ 70 + 8400904228185774956077976613627476572191493761961954980054012501116194

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_200 : Polynomial.coeff recurrence5A3Square 200 = -((2031425359192790476137600652948868417244070351281947479769261 * 10 ^ 70 + 3496580799191041603442544040164916236768682212680808682257678932317979) * 10 ^ 70 + 7519199766932589848777544837018274491704959293867659652336132368579047)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_201 : Polynomial.coeff recurrence5A3Square 201 = (1118101446674178105072408813795805097084767864609131291870959 * 10 ^ 70 + 2718483571752904253766009209419277003658275579916106770685716697832346) * 10 ^ 70 + 8101380399521506760754572810318784663493725641029629761994161692993156

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_202 : Polynomial.coeff recurrence5A3Square 202 = -((587776085034489181742722704362152415022671325208888741659143 * 10 ^ 70 + 7407647591709426007324830850478747383931326856565915243108546491158947) * 10 ^ 70 + 5770382269619844225999035064787523851079132422340502912342917328363400)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_203 : Polynomial.coeff recurrence5A3Square 203 = (293724495020284414742646707318533091051348636003840799794347 * 10 ^ 70 + 848957046153631202925748598011923816653635632768907748713825389404190) * 10 ^ 70 + 9587573184102620602297883228382699756718449048510737060829855276623504

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_204 : Polynomial.coeff recurrence5A3Square 204 = -((138146235916756014185233960276830315276604659227619718950042 * 10 ^ 70 + 5621815214009538176359639016930255616691817302773722261190002112407061) * 10 ^ 70 + 3301498636217317506355315237792281465266561878775536786081262567223106)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_205 : Polynomial.coeff recurrence5A3Square 205 = (59931615319374241767326672524370710038306975290437454049528 * 10 ^ 70 + 7440097757870403308896179313275423597982904468841654785735738144888850) * 10 ^ 70 + 7760579398933309833241004641828713496709220593672530267603798516292862

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_206 : Polynomial.coeff recurrence5A3Square 206 = -((22914586769981557950246554087972311189008050161231720830279 * 10 ^ 70 + 7926597319396733789269471782790881428292590685695793556198707163180052) * 10 ^ 70 + 319661169039109044608324629669152682338070708565897518853734000876014)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_207 : Polynomial.coeff recurrence5A3Square 207 = (6731369246930313602685835123634922289792745043722707048388 * 10 ^ 70 + 732706282695275527434783660026488741324047999644938363481640863482616) * 10 ^ 70 + 9749892902928182452770237320994581283328814298508179892579379576435278

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_208 : Polynomial.coeff recurrence5A3Square 208 = -((467110432716333619273927970094717356228540193505189280638 * 10 ^ 70 + 73280821615806920862195282976508134186585692154920159147302227396376) * 10 ^ 70 + 127659044095977391138687251443728738735081071148392406371533227781138)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_209 : Polynomial.coeff recurrence5A3Square 209 = -((1429763217149544081871020217819506377314314363194472312655 * 10 ^ 70 + 2704442104185773581299873302702121986794469920239816070555035238922577) * 10 ^ 70 + 3161167998444256910652466351806593018932792193090182120058384057647620)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_210 : Polynomial.coeff recurrence5A3Square 210 = (1617307332044024782745970452879310057193144124250651412839 * 10 ^ 70 + 4444739749277732709266995631056153579859771368344941770327622469415568) * 10 ^ 70 + 6441966623150463089491583774186506059060430442014504040101632580208630

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_211 : Polynomial.coeff recurrence5A3Square 211 = -((1273576612115461003392454228112259966788798432688880640597 * 10 ^ 70 + 6936558912361851468075072141823349206288764675865241186365954613516729) * 10 ^ 70 + 2714362406862929629431234780658842875655134603132655628125589694632496)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_212 : Polynomial.coeff recurrence5A3Square 212 = (864229645484271579707317395321720879462866700144347582286 * 10 ^ 70 + 5833979170191483996272174138365220131189731496669862554024512242952481) * 10 ^ 70 + 3831928111162587755099597829505962832883481591195493878552608970892129

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_213 : Polynomial.coeff recurrence5A3Square 213 = -((537291077426076647307224153769029499729321498364986281415 * 10 ^ 70 + 1308785514056070383626003157641489046357813296420328598683772479834389) * 10 ^ 70 + 7985421111113724447875094722186302111529392023559604933013360383889956)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_214 : Polynomial.coeff recurrence5A3Square 214 = (314118366479036277206287405150093316606508846496231224643 * 10 ^ 70 + 3499099353601243422945060497297648483885625698913192331188199818615048) * 10 ^ 70 + 2359436178444118264332469906364503507120249635808556086920529378139176

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_215 : Polynomial.coeff recurrence5A3Square 215 = -((175012018588993423799011552077475955944490310495376031350 * 10 ^ 70 + 6273256964686908273041603041432356335896946979170196605165649000144141) * 10 ^ 70 + 2299682090664432159306488312650284856947184979346659261620976485988898)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_216 : Polynomial.coeff recurrence5A3Square 216 = (93624237253306707627581667445594295377018896745704616653 * 10 ^ 70 + 7153373162677362050465416334983490579363535999500776248494433248403253) * 10 ^ 70 + 8216001819229903372954493649727480499353752440603151321264818795449888

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_217 : Polynomial.coeff recurrence5A3Square 217 = -((48301683586353311190834066546538797934869372262681652681 * 10 ^ 70 + 6766433316626920552027532818752376308442617859878330833860941722459376) * 10 ^ 70 + 2916945120679827676284128003840514813396830415645795436370002825720110)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_218 : Polynomial.coeff recurrence5A3Square 218 = (24093216566173387368632616370739996423407835149317026632 * 10 ^ 70 + 1646908569486428632738759641589487637251118359702920272253950613067396) * 10 ^ 70 + 1240659926648550910691118398254140804226698902107228458979359754954763

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_219 : Polynomial.coeff recurrence5A3Square 219 = -((11634967875776707200779703184680047438899699745578394664 * 10 ^ 70 + 3665067275435640215702996276237448686630695241167699497058356162760583) * 10 ^ 70 + 9297617529956802863052285531563934742393063430503334180415804354372668)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_220 : Polynomial.coeff recurrence5A3Square 220 = (5442226222184442181022090389434098931140587687063668512 * 10 ^ 70 + 3212941975014319931583593597890625019164956987962300936934450230948893) * 10 ^ 70 + 595164195662066107904580517682071005426620000539647367268258574348266

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_221 : Polynomial.coeff recurrence5A3Square 221 = -((2465108799776060159298239468653878378689171468462338266 * 10 ^ 70 + 4033922956080004122413582367714588462161857783785998194627890438878644) * 10 ^ 70 + 254881036569507116881406067943759404679147190750771959268826227231080)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_222 : Polynomial.coeff recurrence5A3Square 222 = (1080416654695396955216837384590593432977152084487628607 * 10 ^ 70 + 5351069845601064579351605469813805208994374062108528835594639777402731) * 10 ^ 70 + 8001076633225130037156676121389643820785260787219509680109800172974581

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_223 : Polynomial.coeff recurrence5A3Square 223 = -((457543485806284131044013816400958949230193828866963174 * 10 ^ 70 + 1212176691362584648481060205714136178004900882611299264566078998326938) * 10 ^ 70 + 8926132646635553798433425073844365784898365414481822551158778353662890)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_224 : Polynomial.coeff recurrence5A3Square 224 = (186835514282463161218474385329571653255473007466068745 * 10 ^ 70 + 1736990535502648469029649287251855144628759060159764860680830513223728) * 10 ^ 70 + 8583433976169974785165586435471184177310826363745540971080773570858511

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_225 : Polynomial.coeff recurrence5A3Square 225 = -((73350452192243548026873980533639164248273316908141114 * 10 ^ 70 + 8347215043818725235399138572730869609592573060580871711349733752374136) * 10 ^ 70 + 2965828945300128914676533020393090203337343216062467165316333052023910)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5A3Square_coeff_226 : Polynomial.coeff recurrence5A3Square 226 = (27572018997020516490081561002710623332273845057601440 * 10 ^ 70 + 3888734135939594201927074789832156959837910715219924742158803638995549) * 10 ^ 70 + 8591416631759839059855517503321589572056126191379844836319586521784128