Recurrence 2 lookup certificate: Scalar3Exceptional 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.recurrence2Scalar3Exceptional_coeff_298 : Polynomial.coeff recurrence2Scalar3Exceptional 298 = (31315577765430492339634964709895512 * 10 ^ 70 + 5305895887242262174363910871568862353317474191942257154149170609826113) * 10 ^ 70 + 5971908394369747430654120919693740555761283613917222447613564224955932

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_299 : Polynomial.coeff recurrence2Scalar3Exceptional 299 = -((1185903059780953569901756633584901 * 10 ^ 70 + 2311035943667069335254098287213696746007323598647968792580978742292894) * 10 ^ 70 + 727893618076353141400665215435977038152610378601925194640885973219262)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_300 : Polynomial.coeff recurrence2Scalar3Exceptional 300 = -((1719899521203314074502581195242152 * 10 ^ 70 + 8247232041497803169185226719333414093365442539546180297900456385337281) * 10 ^ 70 + 6431068998672147467136872174278463030532678302032370610159114002080338)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_301 : Polynomial.coeff recurrence2Scalar3Exceptional 301 = (735968159483126522632950018325020 * 10 ^ 70 + 2802152539723580275979510791111827327941692842486315723919197625020974) * 10 ^ 70 + 4359829805983645967125494325550724352219255335495765588994166258658899

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_302 : Polynomial.coeff recurrence2Scalar3Exceptional 302 = -((163041603536041863668420892897848 * 10 ^ 70 + 8750391088384324459158776596462001669707935170211857900444877895631794) * 10 ^ 70 + 8015219190794478996970277629605490507139361013392544883502277139054307)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_303 : Polynomial.coeff recurrence2Scalar3Exceptional 303 = (14184689242642976213465136103448 * 10 ^ 70 + 2655044401629101371544675717749331377823933029794934377649642404370727) * 10 ^ 70 + 4549148635124437419539300132425442308814900002110507435378306232907487

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_304 : Polynomial.coeff recurrence2Scalar3Exceptional 304 = (4240815240078593535913241483891 * 10 ^ 70 + 8602570452210476320520687066831231716603477060983501927672993918149863) * 10 ^ 70 + 3488489965847033183518095239313504184269613063670114960996311172206598

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_305 : Polynomial.coeff recurrence2Scalar3Exceptional 305 = -((2111577665767913287536644415335 * 10 ^ 70 + 6259910847332565788607490913840794814442454511955875977097335796976617) * 10 ^ 70 + 9797155314946012278669575609705547261150439691734117903745553736517020)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_306 : Polynomial.coeff recurrence2Scalar3Exceptional 306 = (445098831818119039400159794321 * 10 ^ 70 + 5342221196331431618330785515068329228040642097477958489755285198327349) * 10 ^ 70 + 3620559671775593643792344631601327253423914961557788444176854525658253

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_307 : Polynomial.coeff recurrence2Scalar3Exceptional 307 = -((34122751958129011253211351454 * 10 ^ 70 + 317697398825117808837412420428882614045746895800205642762462585867851) * 10 ^ 70 + 3020879275344514031138815647433577264517546094166416910399344896549896)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_308 : Polynomial.coeff recurrence2Scalar3Exceptional 308 = -((9656759258236155650610026104 * 10 ^ 70 + 9550342196359538609139415559273389294333583513743836586829061157120948) * 10 ^ 70 + 1313390071485300064040373801723919761866072243699781071110014524631354)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_309 : Polynomial.coeff recurrence2Scalar3Exceptional 309 = (3975307792740728796062104907 * 10 ^ 70 + 8911055577250854567912517849661110761761117237376926845904453342461201) * 10 ^ 70 + 9565104480752980642484910444530628090604490499573840892779222876650053

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_310 : Polynomial.coeff recurrence2Scalar3Exceptional 310 = -((645707799401380989676394836 * 10 ^ 70 + 331245126783241378487650867251932925236686565848078535449564513388835) * 10 ^ 70 + 1901590969254104980871113103954885909583851403380782732957131345152687)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_311 : Polynomial.coeff recurrence2Scalar3Exceptional 311 = (14502847665268101387809272 * 10 ^ 70 + 5501990490342498164323296299942521742615899583016664061640981735004721) * 10 ^ 70 + 1810307207736641251975325029499616293723051506601782633754942300597605

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_312 : Polynomial.coeff recurrence2Scalar3Exceptional 312 = (18184661988017653898494843 * 10 ^ 70 + 8613778291820083932596806924329965526437211536504918297664867897639226) * 10 ^ 70 + 1958163218453368924984922409396098642738317836315494058319433441783838

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_313 : Polynomial.coeff recurrence2Scalar3Exceptional 313 = -((4378586020902044179471843 * 10 ^ 70 + 9490096588277390213824596965455508096808332910919258725213534458842239) * 10 ^ 70 + 1881940969542920918603797718781696741974211779534301299812843269761747)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_314 : Polynomial.coeff recurrence2Scalar3Exceptional 314 = (362619573673863331335265 * 10 ^ 70 + 1507165753536465208158680072908473150092304424851868184497981298071994) * 10 ^ 70 + 9711383654634158251854071515459919326095961092683140858958104967405130

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_315 : Polynomial.coeff recurrence2Scalar3Exceptional 315 = (49290144641088923002317 * 10 ^ 70 + 4307264165334683868367147405623524549089738291939809016648165011997344) * 10 ^ 70 + 2270772995009613533691330986927775422556948302481005837676504386548349

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_316 : Polynomial.coeff recurrence2Scalar3Exceptional 316 = -((17972815460320302398830 * 10 ^ 70 + 7201270876283223463985522936742761021589399493312204103830318999502028) * 10 ^ 70 + 490277262220974835911443988535902160055498934682360749413270098185717)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_317 : Polynomial.coeff recurrence2Scalar3Exceptional 317 = (1846192571141687709395 * 10 ^ 70 + 1628142404251798606078260433917584214221896695745326509686113320965347) * 10 ^ 70 + 5504274470602472747421182559727232440487058854845645523981821905256466

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_318 : Polynomial.coeff recurrence2Scalar3Exceptional 318 = (105217693871032964878 * 10 ^ 70 + 4343291077767357578921994351101980298935311728805943554642580494281449) * 10 ^ 70 + 2579650605745543830129376988477494274631206988464049927833572737200113

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_319 : Polynomial.coeff recurrence2Scalar3Exceptional 319 = -((52514457794853290416 * 10 ^ 70 + 5690824183415309777551650563533578910992749609701361562124215025429664) * 10 ^ 70 + 7677866030679165625458504762245581442489869681633870932461470957402999)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_320 : Polynomial.coeff recurrence2Scalar3Exceptional 320 = (4983945515923579229 * 10 ^ 70 + 862375241597179048679256610190390142209320228827177370925624002710070) * 10 ^ 70 + 5191066461964921057440980736841105309476027641000634627277023596954814

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_321 : Polynomial.coeff recurrence2Scalar3Exceptional 321 = (307256225893155883 * 10 ^ 70 + 4339558456223457008293003331039840957859431612416880795288701792919841) * 10 ^ 70 + 4525390640605082703863430630371116653361627883034567346393868310261731

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_322 : Polynomial.coeff recurrence2Scalar3Exceptional 322 = -((113881808366572830 * 10 ^ 70 + 848762813201843720913207334131739596600313482194118891211751463527242) * 10 ^ 70 + 6754060209857795452302758799349515878436327235573030261151847263433037)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_323 : Polynomial.coeff recurrence2Scalar3Exceptional 323 = (6783009172846291 * 10 ^ 70 + 521927382188234268731617686945411531947630247697344723155338264319742) * 10 ^ 70 + 7082044862210872841113014936336864339078290235751344947728864963873024

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_324 : Polynomial.coeff recurrence2Scalar3Exceptional 324 = (950493797488273 * 10 ^ 70 + 1680405628816914502065651633802378815499165154277234461219159785009573) * 10 ^ 70 + 4818284782856685368733500511536231436051736526045108019901536833249656

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_325 : Polynomial.coeff recurrence2Scalar3Exceptional 325 = -((159553747124672 * 10 ^ 70 + 7148724192475715856426775679824788019820645523470395442368302027852075) * 10 ^ 70 + 7834020336149988247225397964913104105148682804693327462867469560890174)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_326 : Polynomial.coeff recurrence2Scalar3Exceptional 326 = -((86134860872 * 10 ^ 70 + 1339483130024800522459015620311354435507012563578773157231323000103778) * 10 ^ 70 + 9959357559256514013362679521439080558039890604690018039764965443837350)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_327 : Polynomial.coeff recurrence2Scalar3Exceptional 327 = (1687765405172 * 10 ^ 70 + 5866470758904406523602237001817458533165477117702557383714785895166664) * 10 ^ 70 + 1163150633211544428134261140346556663231218330722698631934513025985028

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_328 : Polynomial.coeff recurrence2Scalar3Exceptional 328 = -((79957426489 * 10 ^ 70 + 2636583478019509936644912257291340431109612335454349411054630783103409) * 10 ^ 70 + 3617118709401598176800721322906115303851293235469250581172180603268526)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_329 : Polynomial.coeff recurrence2Scalar3Exceptional 329 = -((11811454326 * 10 ^ 70 + 4457873891767390240807604083779642538869883044450231328768604782932895) * 10 ^ 70 + 3317009058138894399378952416457986625433897863774985305744478653814935)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_330 : Polynomial.coeff recurrence2Scalar3Exceptional 330 = (975085711 * 10 ^ 70 + 2394795276943653692654001118765087564938764393525526095035721195333643) * 10 ^ 70 + 9979243808698867611047024160143910739148382363099348141156497710074744

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_331 : Polynomial.coeff recurrence2Scalar3Exceptional 331 = (67644858 * 10 ^ 70 + 3163081864546963331209946989254349111114006392657307278649747774003544) * 10 ^ 70 + 6760216104949666079701871229754740943167472899000250390737141804205975

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_332 : Polynomial.coeff recurrence2Scalar3Exceptional 332 = -((7064388 * 10 ^ 70 + 5360024405033725036406087625548567429334154600564038263164130927070977) * 10 ^ 70 + 3875066791003954831804793525881259906275109672501453547537289340876325)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_333 : Polynomial.coeff recurrence2Scalar3Exceptional 333 = -((402242 * 10 ^ 70 + 9327336412219542433261022659559125416985014792343469526329647631502876) * 10 ^ 70 + 6737602674406546623225052612040906739817029279480051766178498150270642)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_334 : Polynomial.coeff recurrence2Scalar3Exceptional 334 = (34343 * 10 ^ 70 + 980348928803532061703556069385295805641469758444913920697881048490045) * 10 ^ 70 + 7301723371428184219188717541650602811904115041496564334056894310179547