Recurrence 4 lookup certificate: Scalar0Exceptional 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.recurrence4Scalar0Exceptional_coeff_227 : Polynomial.coeff recurrence4Scalar0Exceptional 227 = -((((49116185477827074891174511 * 10 ^ 70 + 2381020058133144716632347075833166745601437837878046729757576372218603) * 10 ^ 70 + 2098667078713210388706321450574699173560836516258342975476649304634459) * 10 ^ 70 + 4605678668164511666720283471467910354001896615696718542826751025675408) * 10 ^ 70 + 3733874476440819434854350843538970061204425513358617984980934545563504)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_228 : Polynomial.coeff recurrence4Scalar0Exceptional 228 = (((74981339019091272804492539 * 10 ^ 70 + 8186957485758148249987530866574988351689678579778275610836553272359816) * 10 ^ 70 + 2277892412782767191299052472491114842585466062568054619589207300868092) * 10 ^ 70 + 4391652917300433779157224867013072540177738384799447410233551232154143) * 10 ^ 70 + 1957937859272603353804716054699355428384116317691240537577033528339990

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_229 : Polynomial.coeff recurrence4Scalar0Exceptional 229 = -((((112958685510429676467284217 * 10 ^ 70 + 7948178947463629039537265821620135854442772708429782740557021430230285) * 10 ^ 70 + 8304622933250707040017218636870537483830783555931370582851550075878673) * 10 ^ 70 + 2933779810034401150298048760215452448305534462019305631656189713827871) * 10 ^ 70 + 581988530674148200492053717418989927422812703922748659939627935666011)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_230 : Polynomial.coeff recurrence4Scalar0Exceptional 230 = (((167932543642172697405405256 * 10 ^ 70 + 2959336850484243300544575372627804142766062204324780875268192206232313) * 10 ^ 70 + 9264472682375867226069112107476015870075453463080891044290117318055879) * 10 ^ 70 + 7389282673476033373005062012455112313105069581365836442194822918074915) * 10 ^ 70 + 5014756642544000714618305650158978304667443693193853437214024544900141

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_231 : Polynomial.coeff recurrence4Scalar0Exceptional 231 = -((((246382241921825864732584465 * 10 ^ 70 + 1083655657426079033797191226065100323097276829590692545225921464119639) * 10 ^ 70 + 5235894431673091922311332448368327695355419345843785065668456695839864) * 10 ^ 70 + 8544829998128148378936613372532801502785046065779024841522860107959562) * 10 ^ 70 + 9535302457283688754048423480788057411271620715370117625449413629320112)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_232 : Polynomial.coeff recurrence4Scalar0Exceptional 232 = (((356741249631187880534246952 * 10 ^ 70 + 4243895153752174001548153203769691409873060413322906901546004687689566) * 10 ^ 70 + 4740446931290248932055096151673540505068726773996978729447524861629889) * 10 ^ 70 + 4574393005552266442326788441992040838568170620908986942602934332021026) * 10 ^ 70 + 4336684364611148007101233492022425844776937659876624532530758638409174

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_233 : Polynomial.coeff recurrence4Scalar0Exceptional 233 = -((((509772414258623222876154882 * 10 ^ 70 + 674591325818686865678244470239991067329286633811503542227687161185698) * 10 ^ 70 + 7609608843338427076890320813265495169493623442244371679892439605938017) * 10 ^ 70 + 9806672944889617115609106358672832800853163976269430971461600120935797) * 10 ^ 70 + 5195849378641639497855471286767302655148144294324250420398422871666401)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_234 : Polynomial.coeff recurrence4Scalar0Exceptional 234 = (((718931796295463724506860587 * 10 ^ 70 + 3963914070783016623899448749001610711108236030231811218656982198567337) * 10 ^ 70 + 3811011762578727898779271068643428268885640468460140769736526660329614) * 10 ^ 70 + 2636574639022996857897181103923824578807828250195261430014319896953971) * 10 ^ 70 + 6841492360331401377094126126895535659466283936122972609869721644333916

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_235 : Polynomial.coeff recurrence4Scalar0Exceptional 235 = -((((1000682500825174777235268458 * 10 ^ 70 + 6802637980643945565210018978669613425420805369117805393660004539867773) * 10 ^ 70 + 7695184009815764465225211484088749333597688952858053213839887909040599) * 10 ^ 70 + 6835139509542778423417337687189661131224685740396096948332969725202719) * 10 ^ 70 + 3799413643793696284984997757710600513026720869351547476147875298819760)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_236 : Polynomial.coeff recurrence4Scalar0Exceptional 236 = (((1374708683517134056093269694 * 10 ^ 70 + 4271493213440038466606836923189749946732072666007058699443212057224500) * 10 ^ 70 + 2546079033928613360159702758869046447583135651919899075901839375085516) * 10 ^ 70 + 3850159128708318874412424168997758823506045979460414037686787457258123) * 10 ^ 70 + 3307083541263914039064741151899751458627242768852912614440292750882016

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_237 : Polynomial.coeff recurrence4Scalar0Exceptional 237 = -((((1863970033335991839534833536 * 10 ^ 70 + 999377531747497763120237656490316958355733157549031149592052403753211) * 10 ^ 70 + 9903030830925396557667345536042839007161756948952389714182853277513621) * 10 ^ 70 + 535670023250713678014997281283704452225980699366313755737556681501178) * 10 ^ 70 + 4453761980391560604696825652737185127376117876176267885401637465973136)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_238 : Polynomial.coeff recurrence4Scalar0Exceptional 238 = (((2494530394319654884984877010 * 10 ^ 70 + 5250820167810817299454807116843299433505369578258314504156252237805288) * 10 ^ 70 + 5078807459068937513452143189031793652889474838991524790331833132905232) * 10 ^ 70 + 7921927881039950615325251617166843691237638408593865297125795566085124) * 10 ^ 70 + 869714312266339224151964943281430619381252628371622154778014717338633

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_239 : Polynomial.coeff recurrence4Scalar0Exceptional 239 = -((((3295092941322384725078356515 * 10 ^ 70 + 2341491170411775924246413737906236084313674911948688302090659501417319) * 10 ^ 70 + 8303289922752898637388479401028234804279376640460550717608626506735659) * 10 ^ 70 + 8795281251397445983497119983790455542564096968058256834759996644493145) * 10 ^ 70 + 7145275254335473437785826293247681952833640178114476046156415281975319)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_240 : Polynomial.coeff recurrence4Scalar0Exceptional 240 = (((4296180646802707331862979447 * 10 ^ 70 + 9200539902413608229654472866505873091638611767029546951782054362070697) * 10 ^ 70 + 4165038033864161565998727804464004724819174873864414335655951463895446) * 10 ^ 70 + 3718595185459736378801155630375980226807443308626843424055120794317188) * 10 ^ 70 + 6437064516244561900910592847776939732786248454989550388665000579408158

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_241 : Polynomial.coeff recurrence4Scalar0Exceptional 241 = -((((5528916518824874957635508242 * 10 ^ 70 + 8756722350499549848736169962170655079659037894813234194823507917348732) * 10 ^ 70 + 5201987696434789717148447756482087786124898590151875005907450980090796) * 10 ^ 70 + 504987467950381612746303270218701758559858282986838312004527344485967) * 10 ^ 70 + 6294418169356708133790799786664713364391569880812580637257723613476449)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_242 : Polynomial.coeff recurrence4Scalar0Exceptional 242 = (((7023384366436448349307271143 * 10 ^ 70 + 2833948965985507502102980711199337223601733707669306683340490666310351) * 10 ^ 70 + 8359245106307820899514338718526927375028012448849466698824311771194848) * 10 ^ 70 + 4415740785509146018691290378947484915496050196621856850492117403013931) * 10 ^ 70 + 5471596838901946891989101153368940495406461175032169466743219715908384

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_243 : Polynomial.coeff recurrence4Scalar0Exceptional 243 = -((((8806587603753488617443967942 * 10 ^ 70 + 8812157807033352734241340781066010480843599546491113545215286688381779) * 10 ^ 70 + 7228334158211194712599950399835040317694751925546365538183094340140197) * 10 ^ 70 + 8631261850538413214030813221389825114384516025586976785395810280932203) * 10 ^ 70 + 6939410234672542193694577650158361520839483326648285160096886915873346)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_244 : Polynomial.coeff recurrence4Scalar0Exceptional 244 = (((10900069255185865446079832877 * 10 ^ 70 + 9224568833721346698679269471927727383084607856161819473182528679696554) * 10 ^ 70 + 2836757111595748408598078453279012175880130511641799064091063539248342) * 10 ^ 70 + 8596781551428722056410164459356563233482780996746736290336109865716663) * 10 ^ 70 + 3485054819854035675435263689718849915617538969818623262919450569494646

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_245 : Polynomial.coeff recurrence4Scalar0Exceptional 245 = -((((13317307545172335108369262909 * 10 ^ 70 + 7549307482351044323789493916528662003555337858996756828317458239197958) * 10 ^ 70 + 314636104309972888150221829096436483196228026641804783065974436209982) * 10 ^ 70 + 7657690834044548734134014327545758139773869484169931470296527234289754) * 10 ^ 70 + 2260495520219225876413797480366621545703429600540601766564664018950840)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_246 : Polynomial.coeff recurrence4Scalar0Exceptional 246 = (((16061053199542371936135289300 * 10 ^ 70 + 2199010509631207627436228262669196081275320721571679332742126131789722) * 10 ^ 70 + 4642415556321059230760934995265200844107754479484221933925637821333101) * 10 ^ 70 + 6338153698902103216218817278809811166003882532083430289952640489053693) * 10 ^ 70 + 7521981029894209979623043239515998529503694001074057336371155877063891

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_247 : Polynomial.coeff recurrence4Scalar0Exceptional 247 = -((((19120820404375514924505787785 * 10 ^ 70 + 6088975408466829665598600034116145542472683025637302412466378281523109) * 10 ^ 70 + 6191048364022662787550349123803416120822703865503547084073845859956256) * 10 ^ 70 + 7716958144630465021628944838836272849211174592955342938708668639712450) * 10 ^ 70 + 5830918195393949570799764898489395495068630503238786324650772668177683)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_248 : Polynomial.coeff recurrence4Scalar0Exceptional 248 = (((22470776053431765725217464846 * 10 ^ 70 + 1820061626109042733549845819578170336886610594904593691865372479791796) * 10 ^ 70 + 8987089197891366171134628870435814662355848881907561814445755844267876) * 10 ^ 70 + 3857179595220891759492964721656154810946329694110965886583055235877013) * 10 ^ 70 + 6214978828170343330926793192257186759294386666556010780161877526470817

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Exceptional_coeff_249 : Polynomial.coeff recurrence4Scalar0Exceptional 249 = -((((26068284422203083022731341125 * 10 ^ 70 + 5131350457199786135909233646607868466111649688831224778965223891057739) * 10 ^ 70 + 9807895212359173011990203518977477585829446434571973001772440205229815) * 10 ^ 70 + 2644817083353366403665862478298494622625698408929468807897529526149851) * 10 ^ 70 + 9302403774317587629910830174443727646555280762141737003089843868978209)