Recurrence 2 lookup certificate: Scalar4Main 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.recurrence2Scalar4Main_coeff_264 : Polynomial.coeff recurrence2Scalar4Main 264 = -((1192139986631023859330296253487633727250280537834422015071792367148 * 10 ^ 70 + 1481848206985932379417117755954403297408416071244559766141995450767882) * 10 ^ 70 + 5094989074090946124189403487964693917032336869225924592497232340771334)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_265 : Polynomial.coeff recurrence2Scalar4Main 265 = (634635409849251197252747616968198795321261972963433155669543349459 * 10 ^ 70 + 6203590572736926329390252656042868923978113836510429440849890814921840) * 10 ^ 70 + 271149425108542464113839405616898112205126648179369759758826077889102

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_266 : Polynomial.coeff recurrence2Scalar4Main 266 = -((317611099001948136142878680941308194993580611913547799749593038370 * 10 ^ 70 + 9839386553638383524900601950811247963978334708700152936223766711629260) * 10 ^ 70 + 4649819905411082480129689626959650086957754075730438523447190186022983)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_267 : Polynomial.coeff recurrence2Scalar4Main 267 = (149643403312512881273207728029641289395449108249662062879769192747 * 10 ^ 70 + 1495441376151969292904050149616225616122426927462936542446724078758567) * 10 ^ 70 + 8490476222084507387200631337834464341394705334039122013122028493380360

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_268 : Polynomial.coeff recurrence2Scalar4Main 268 = -((66287945208503764729927818731334654973355968570954959720745401163 * 10 ^ 70 + 6499524863012603374682231741806487753119567926258388433270100583686409) * 10 ^ 70 + 4510018576983410213981458709916533485803226287319779499012152213944933)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_269 : Polynomial.coeff recurrence2Scalar4Main 269 = (27486905798516777385799742377870791056146260961866161020510674035 * 10 ^ 70 + 3295720340485389510083865323994111177520792102529098210602344624430995) * 10 ^ 70 + 5625220617353607422905597561746561624414584105826455299702165982909718

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_270 : Polynomial.coeff recurrence2Scalar4Main 270 = -((10575273548513555416584256346111190868456920682417890338762202857 * 10 ^ 70 + 6576253338217960014411829882407364307055900984214257050548313923433624) * 10 ^ 70 + 2720751778545240738074699619914629629295066977357919536893305808553716)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_271 : Polynomial.coeff recurrence2Scalar4Main 271 = (3711228644286223140144035132784779708922645238481233672408901240 * 10 ^ 70 + 5052519771260707012721656181183365883522119005902099390362797117927696) * 10 ^ 70 + 763649773226656004060105182899577074887663573208331752787583856617404

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_272 : Polynomial.coeff recurrence2Scalar4Main 272 = -((1145850305959248571582202941059111594230226079855253392875722286 * 10 ^ 70 + 5713249991199885863890831803092537351125633960299370602946064637884697) * 10 ^ 70 + 3387933188081268549785817593780228112683235624098896230139940455162537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_273 : Polynomial.coeff recurrence2Scalar4Main 273 = (282708832902101179153294249089823445629032970073173567543875333 * 10 ^ 70 + 1214170589308249685905789220088164304584446292142754368922400115651098) * 10 ^ 70 + 7467886013733849512983854352689214016392321564848814974051130928586832

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_274 : Polynomial.coeff recurrence2Scalar4Main 274 = -((34464527789539916165323392611836997957220661492336873789250520 * 10 ^ 70 + 9625613609201197627868447455425211938410627165291443985147862295736486) * 10 ^ 70 + 6200055063218009895021986213535616109689019639941904498051757721216705)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_275 : Polynomial.coeff recurrence2Scalar4Main 275 = -((17319025889175851267218917754273793184338961852276718784443985 * 10 ^ 70 + 2119688698401509642351168750449846175736417971124351761937399245182587) * 10 ^ 70 + 1593056784287150164399359508686329758496249605491939623077235429106773)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_276 : Polynomial.coeff recurrence2Scalar4Main 276 = (17781823741330638633209656980049432907780789698769866532031069 * 10 ^ 70 + 8210028370982633294501594156222923525078001948571868338463393339588442) * 10 ^ 70 + 4797923400163356950840157448073689163553380258298173484130008725284483

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_277 : Polynomial.coeff recurrence2Scalar4Main 277 = -((10356217667325574711841560682776530693636594194467623585579075 * 10 ^ 70 + 5291570372563097204580906168642411205090768971941130709675675590660737) * 10 ^ 70 + 9022942898225087710458140692577810156121453628648379600991864830331174)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_278 : Polynomial.coeff recurrence2Scalar4Main 278 = (4894333509368446461604349756026751296445129582925017519544610 * 10 ^ 70 + 3726189942181627528421298955531896781364573874317051642435577644801849) * 10 ^ 70 + 8214778980672674737583008812056683704954560693872655941972759980410064

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_279 : Polynomial.coeff recurrence2Scalar4Main 279 = -((2034817319694488991691844887174589353583176746333182112508700 * 10 ^ 70 + 7408394199228265036076009388985551393981894908634978933257316594742343) * 10 ^ 70 + 8346780175385474431791119385364604038016870454950021761054646382686679)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_280 : Polynomial.coeff recurrence2Scalar4Main 280 = (766814019202240837495517632432051705725908196972246707966048 * 10 ^ 70 + 6888400034931052297028974290990730859807973568183003774144506885198824) * 10 ^ 70 + 1866519301625429256491377942097184247595302924687512620495951769536357

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_281 : Polynomial.coeff recurrence2Scalar4Main 281 = -((265213349982371630872809716026178589521837653186980370757346 * 10 ^ 70 + 2493432871721930427124780604485499143222579628440707433269193896655196) * 10 ^ 70 + 5426459551107716958509988911736886938726180806846214239355287867494243)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_282 : Polynomial.coeff recurrence2Scalar4Main 282 = (84507646117770353885872582958484834119963387379532519484221 * 10 ^ 70 + 3087852766447466602448697811057035632309083035645050888106020363574738) * 10 ^ 70 + 8974526397248147507712673209180428853616637720380196100347768987304302

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_283 : Polynomial.coeff recurrence2Scalar4Main 283 = -((24747135869643876869901891447028519444556606846903135495662 * 10 ^ 70 + 5690433110418223492039389224796847808690111558921519029459270760263484) * 10 ^ 70 + 3541832255945240655887835453968185988076900638612685772908281595257072)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_284 : Polynomial.coeff recurrence2Scalar4Main 284 = (6596740220743624507626170913878684354510334514440135467900 * 10 ^ 70 + 2285859548087090156150013901379737019408480341030282703752625159589804) * 10 ^ 70 + 3521843687416352928718363762367961702513711102918864507354658841583190

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_285 : Polynomial.coeff recurrence2Scalar4Main 285 = -((1566248284354029531337690926235842213208070321419674628448 * 10 ^ 70 + 278712120040553479817523401954103443397032875374611215303331225505070) * 10 ^ 70 + 8392877226635170747104255201667902055036361415168873448017228928368715)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_286 : Polynomial.coeff recurrence2Scalar4Main 286 = (314584376353735512328870114421845726193586055643440364880 * 10 ^ 70 + 244451131171790564093026738530393859180083115577715043282353519221709) * 10 ^ 70 + 1743768464277451827784340843082006591432609005515207993919542469619893

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_287 : Polynomial.coeff recurrence2Scalar4Main 287 = -((45326758793160350902634340557608622878797578531836430802 * 10 ^ 70 + 4911105763221192677737225306249293348747985593212201603980021342998143) * 10 ^ 70 + 8138676864490298109542347627836061626166586574166691344230693817795205)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_288 : Polynomial.coeff recurrence2Scalar4Main 288 = (248663128696351790295042424237721554408368955021838211 * 10 ^ 70 + 323307411702926437431655387971840732652135383312929883971260208367956) * 10 ^ 70 + 7798705682242193315844971266266441979905203058133589507743407908413837

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_289 : Polynomial.coeff recurrence2Scalar4Main 289 = (3024399911245546170609778986162330952309927214594705944 * 10 ^ 70 + 6726423286541099161982213513430664967305697669459806465259116294113979) * 10 ^ 70 + 4806288353140757701656673047171203712528153926240576464996583928440040

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_290 : Polynomial.coeff recurrence2Scalar4Main 290 = -((1485337387794889519659904200086757043800942038105444238 * 10 ^ 70 + 7585618425939533665908620485908226441934007477483096403543247987886044) * 10 ^ 70 + 662620087645451392723892025908365348369554624569814661977534873335070)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_291 : Polynomial.coeff recurrence2Scalar4Main 291 = (512640590112788381664098899980367577939013818461451730 * 10 ^ 70 + 6477420206182468920574201621126786065097153590660464662333807439007607) * 10 ^ 70 + 2806782446549861343914022326604650020471025924216805870648576574811247

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_292 : Polynomial.coeff recurrence2Scalar4Main 292 = -((147549368944646415226491759712302703181295602240855217 * 10 ^ 70 + 1554605769333647273146131719760657592845813343209668169471535315860568) * 10 ^ 70 + 3217360318782095041183012324890410636623802552305959996647914571376706)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_293 : Polynomial.coeff recurrence2Scalar4Main 293 = (37176314550865123387151137297909298547861331780382565 * 10 ^ 70 + 4789967781455788409626204994150901498743785001488405320558946206264247) * 10 ^ 70 + 4536525867749845978876227748935454443512574910026390206427028816508564

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_294 : Polynomial.coeff recurrence2Scalar4Main 294 = -((8326844638209811511101279525487177680189975815016685 * 10 ^ 70 + 9439750374985942447245340364562126820725280381066470750621182230340205) * 10 ^ 70 + 1671742946560392441723483904960099266175600183611830236267603656842758)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_295 : Polynomial.coeff recurrence2Scalar4Main 295 = (1655974861162621423240881652975947595949156724525555 * 10 ^ 70 + 447252116993768879149247209889044467719241153521292196658093085123892) * 10 ^ 70 + 5889179130660148444316382575652599672825243594189186299395447511875753

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar4Main_coeff_296 : Polynomial.coeff recurrence2Scalar4Main 296 = -((287282305338686027914571939417532085380304755676750 * 10 ^ 70 + 391416903897825019836453835931715336745630632802189255541109941646310) * 10 ^ 70 + 4662087760299934420843625717391533682920757232900060560328120769584215)