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_264 : Polynomial.coeff recurrence2Scalar3Exceptional 264 = -((18288676639309147657558967271986523619781007840973 * 10 ^ 70 + 9609976933850125541705463579406388892042510971585824292034562759112770) * 10 ^ 70 + 4621099211061975354852105415603197558921457308702620138148101042550522)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_265 : Polynomial.coeff recurrence2Scalar3Exceptional 265 = (6223882649547690311918378706681390230968962328174 * 10 ^ 70 + 4806774624869061416262765954378961709030337539251232401180556654842809) * 10 ^ 70 + 1918324852065327189457344073607600159473857991101860946394901096903321

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_266 : Polynomial.coeff recurrence2Scalar3Exceptional 266 = -((1789819969922247298185363440242654929756032779241 * 10 ^ 70 + 803705517028096071971730292220675176730085565617402874099242259908208) * 10 ^ 70 + 3735601165254000141231825919771292706155340040599479914576107120798657)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_267 : Polynomial.coeff recurrence2Scalar3Exceptional 267 = (425498575780203037390851819410938976517934059135 * 10 ^ 70 + 3534246052733328127413824746862600674778709536130394304007574102548711) * 10 ^ 70 + 1084902440268325193964048229922210507099700973611108927186021250106680

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_268 : Polynomial.coeff recurrence2Scalar3Exceptional 268 = -((80938280138793195116189490832060853757136367630 * 10 ^ 70 + 209365456726378577921431510389466742908660079579082790211141053263331) * 10 ^ 70 + 7424987567748008045993806304907058085667113201047716617245646730753306)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_269 : Polynomial.coeff recurrence2Scalar3Exceptional 269 = (12726458008400655442344340980933395539358485597 * 10 ^ 70 + 3180314695696913682712392937193436691934188858598269450429429698341685) * 10 ^ 70 + 6443563506996995435598941708610670618160699444902540545076838963301266

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_270 : Polynomial.coeff recurrence2Scalar3Exceptional 270 = -((2281889332628833386365871253442439942372019606 * 10 ^ 70 + 894615302880964158409220875061736327168984917488086859836400263341492) * 10 ^ 70 + 5441788046941236874835641266506859965826992430658717365805100405366152)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_271 : Polynomial.coeff recurrence2Scalar3Exceptional 271 = (205464026878101052462435063116122542438888684 * 10 ^ 70 + 92641547209720423266810049970912891714444960275979320067969335970407) * 10 ^ 70 + 2657205206330663379127590295429789863576614710293696602605127062532514

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_272 : Polynomial.coeff recurrence2Scalar3Exceptional 272 = (765778595882456889491225259340095600716281804 * 10 ^ 70 + 9463457987544010565834453307722423805575095968527122463385541772775151) * 10 ^ 70 + 7982531435802646166643607295079778308723131626386402032398164423926724

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_273 : Polynomial.coeff recurrence2Scalar3Exceptional 273 = -((1037313226967227244787424967394511622822380443 * 10 ^ 70 + 3190726538362232238693488403853871137286469099167600670904042744059202) * 10 ^ 70 + 6744762694984238383135571409860705665127939353155273499255320175773307)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_274 : Polynomial.coeff recurrence2Scalar3Exceptional 274 = (829624270278740067483357722349554127294010531 * 10 ^ 70 + 4013191346762903010005652508724089814074169191371851099347842030762059) * 10 ^ 70 + 9101800068790262537996523714441944924187260272074726393865891515047541

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_275 : Polynomial.coeff recurrence2Scalar3Exceptional 275 = -((488771774650832135479752482782326191137504936 * 10 ^ 70 + 9294912450384944184547358375002138520898440183448189041657979727428478) * 10 ^ 70 + 259424685121931027881204763791559627102611968619931296255537933646348)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_276 : Polynomial.coeff recurrence2Scalar3Exceptional 276 = (221007978730176244356985708403843128497532455 * 10 ^ 70 + 3922605904288521932133693936008129974022717139866864194062706338830908) * 10 ^ 70 + 2412616517513103311817128200534217497819534029247549752004503884415947

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_277 : Polynomial.coeff recurrence2Scalar3Exceptional 277 = -((71812207135649821231708465867188579102377734 * 10 ^ 70 + 6329208613496939192346374480085930653088072779681383876353138994250486) * 10 ^ 70 + 9897796404706476418834976334340311829373730615955263866340346550612432)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_278 : Polynomial.coeff recurrence2Scalar3Exceptional 278 = (9942033438979607047569627113926039729096920 * 10 ^ 70 + 1717209383262077677277789618582994076193096575714162313503141712840627) * 10 ^ 70 + 3405934530724143885149701279042804168369503599301051409487363409745138

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_279 : Polynomial.coeff recurrence2Scalar3Exceptional 279 = (6922814771216284549987438387483208803299525 * 10 ^ 70 + 3405061619646909019814625406347511961194155019724987140296682356541793) * 10 ^ 70 + 3148171140358526744820355107685640341349709885779663253333721100065144

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_280 : Polynomial.coeff recurrence2Scalar3Exceptional 280 = -((7125616222550667644531956783990812739285531 * 10 ^ 70 + 4688377822185049039984732682321358269927594053661154484139187576729023) * 10 ^ 70 + 3821380064996593647602832011091057689222400039566818096144518708232515)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_281 : Polynomial.coeff recurrence2Scalar3Exceptional 281 = (3921165518767038915491479337616569328567981 * 10 ^ 70 + 6330391657436555182251475409237581025299304086809053878070849103561074) * 10 ^ 70 + 1884617611607607971583183792552114592594918256972941430085386560854794

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_282 : Polynomial.coeff recurrence2Scalar3Exceptional 282 = -((1524069763043601208447732237665755822368673 * 10 ^ 70 + 6996157579695054395182672688805779559640711939266008502072929444937518) * 10 ^ 70 + 7405192527954735069128932282080870425683259898451955854975228933647204)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_283 : Polynomial.coeff recurrence2Scalar3Exceptional 283 = (389153140583808574683453532661067536261312 * 10 ^ 70 + 6052248643289635479976707494644445320043502324479256510485238511132797) * 10 ^ 70 + 4380685984971439587775146871920931637757527318583719178636470144997510

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_284 : Polynomial.coeff recurrence2Scalar3Exceptional 284 = -((14330568683557188646310729530922269189635 * 10 ^ 70 + 3377842285798941712754332238935333999274502921413884943928992498249785) * 10 ^ 70 + 1702164162399598718377418250943443054518743766518893773383038288426859)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_285 : Polynomial.coeff recurrence2Scalar3Exceptional 285 = -((51385667559515234753821031435947196549660 * 10 ^ 70 + 5891030632412504913709687739951582772709132656630930155691965193905765) * 10 ^ 70 + 4555990904292845733478115327523221005943728163129527867823330532930221)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_286 : Polynomial.coeff recurrence2Scalar3Exceptional 286 = (35138617151578258091198490639167405531019 * 10 ^ 70 + 7617354331997456402995847712985407743224103647410962956855120550222833) * 10 ^ 70 + 6892323299913238513558423117926243289104738948518167146216367473210562

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_287 : Polynomial.coeff recurrence2Scalar3Exceptional 287 = -((14638312302715397192058998077447063626192 * 10 ^ 70 + 4059532059740825907586964862370283250502706968103477698604622074365901) * 10 ^ 70 + 5983297164628719853443954181732114203726336912094451173950679471893835)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_288 : Polynomial.coeff recurrence2Scalar3Exceptional 288 = (4129256506699342075029172631448412391283 * 10 ^ 70 + 3140217455583524895730501831558550070736161830972436505605970788998127) * 10 ^ 70 + 9304889061170227623053587699280265123915855145942027184071067818279833

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_289 : Polynomial.coeff recurrence2Scalar3Exceptional 289 = -((552377538546982097357194067603810352492 * 10 ^ 70 + 9765745195469281976363353854365324414201342117208057269371144489786585) * 10 ^ 70 + 7843181504283556937616277279806023350710816784305309817733636143991288)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_290 : Polynomial.coeff recurrence2Scalar3Exceptional 290 = -((186189464103484026421319825199632449151 * 10 ^ 70 + 7920496574139078311027085966836097195789353811288288193065517230430367) * 10 ^ 70 + 9001540431063093127958356934839097355873226555225512239515643808266835)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_291 : Polynomial.coeff recurrence2Scalar3Exceptional 291 = (165555835247616358499489248537370853720 * 10 ^ 70 + 5817343160730388194297050752225670051818158473337035428927425502447020) * 10 ^ 70 + 782107622556683115109979606925145489893476286660456104824629720754862

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_292 : Polynomial.coeff recurrence2Scalar3Exceptional 292 = -((67622959534130947005903008044208317656 * 10 ^ 70 + 2207033172792078322873303161881692231720954698420523420786971318798394) * 10 ^ 70 + 565887188907540338654593689809779873577049942183881154191741399023655)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_293 : Polynomial.coeff recurrence2Scalar3Exceptional 293 = (17624950041122965933668921664281184924 * 10 ^ 70 + 19240791013985302018178249395824452952494242290466323291610343689126) * 10 ^ 70 + 8278799041433705540327067192628880216118931992132077916164232372914273

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_294 : Polynomial.coeff recurrence2Scalar3Exceptional 294 = -((2128343119554699645945926974941926143 * 10 ^ 70 + 396900154055749620209686282837450197829805819996892720085195662177579) * 10 ^ 70 + 9821909930580855697817847350257808852913109442065107866737015191399549)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_295 : Polynomial.coeff recurrence2Scalar3Exceptional 295 = -((613337516852119081204956721738957064 * 10 ^ 70 + 3450669184399919254628789971807204590355100911471904399129445455345908) * 10 ^ 70 + 8065375900866066315345604894416517850984347589340962235172049929563959)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_296 : Polynomial.coeff recurrence2Scalar3Exceptional 296 = (470222574969730027558924601153272282 * 10 ^ 70 + 6855258398603586321912800875612501591285470412259960812469243371127756) * 10 ^ 70 + 5713278346492923871170408181595355135132205764112924363871912619612164

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar3Exceptional_coeff_297 : Polynomial.coeff recurrence2Scalar3Exceptional 297 = -((158754859395659130822127352993248344 * 10 ^ 70 + 9666503002201658591755041440409857497452676837606393443050665460760461) * 10 ^ 70 + 5230435576381910148874089442107773554292132550887711331924653145725291)