Recurrence 5 lookup certificate: Scalar0Exceptional 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.recurrence5Scalar0Exceptional_coeff_290 : Polynomial.coeff recurrence5Scalar0Exceptional 290 = -((((24722620589150451596371093064716616228177240890335095669791292921066 * 10 ^ 70 + 2115607264055578969825431971211362128829108206605806893396030248958601) * 10 ^ 70 + 123352958021903730145352335456750204614417707541024399457849460596119) * 10 ^ 70 + 455303902327404502111348005715497723307251504618555135573636562251813) * 10 ^ 70 + 6086074486480857973626904560942274182450180825560898551921174842154276)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_291 : Polynomial.coeff recurrence5Scalar0Exceptional 291 = (((13791009410196858424015138957812760272326047685552166473537813944456 * 10 ^ 70 + 9396121897932381359407458680110210415470515984078881638850239934749560) * 10 ^ 70 + 844503059104220618273948626942214010142666819865546256362958013833881) * 10 ^ 70 + 1785552672495564824762606251218562011693661415980999396667527495042052) * 10 ^ 70 + 8394720777972978847596090946044137168251771666039681976806811941010188

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_292 : Polynomial.coeff recurrence5Scalar0Exceptional 292 = -((((7333679922879434521961650637071297423907016268641410954903060486645 * 10 ^ 70 + 5963872304239661564801913661663626161943325144058539021994375222662530) * 10 ^ 70 + 6160414281687979805035581808115499592370668352228940586305453522236302) * 10 ^ 70 + 2304045252731674898888941476215762579301354188692457706102960424232148) * 10 ^ 70 + 2212011838479572709472549704757141876248843765712744002638190041974770)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_293 : Polynomial.coeff recurrence5Scalar0Exceptional 293 = (((3743710810339187791618851037335031400404755643554099237086356827480 * 10 ^ 70 + 4657280569290090941398155171538969823269564314602736498448437065073614) * 10 ^ 70 + 1800473965333919848698920765480396172729638422223453260943248690531711) * 10 ^ 70 + 8982120046656423043957744147202941901120332743502647636007168952874765) * 10 ^ 70 + 5782351454377425347817472936143244373550201666429185278969861266709403

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_294 : Polynomial.coeff recurrence5Scalar0Exceptional 294 = -((((1844232845641172689445171637230410124985821124100453069661081305449 * 10 ^ 70 + 356235981208039737831609378866909590185019812718080131986629558922593) * 10 ^ 70 + 9781697845257525247676650326957940970787067862849789331764933648073714) * 10 ^ 70 + 6414240469015697155034990502277623860033683901199066228900610077302786) * 10 ^ 70 + 1402077523732349858679493818157227730041164778322132287399662257108067)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_295 : Polynomial.coeff recurrence5Scalar0Exceptional 295 = (((881242169603997078532045454434369174560627358867835868991331154746 * 10 ^ 70 + 9151058178844620888682378485750684124475338709184776662322169767465435) * 10 ^ 70 + 1051430461519702461285472148490121913521351596672832831073208175971032) * 10 ^ 70 + 8296329820251156808614234786115156471118246103375345174290643086029536) * 10 ^ 70 + 613721452183714305304187753726385625111864752989019571771256348477896

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_296 : Polynomial.coeff recurrence5Scalar0Exceptional 296 = -((((411145686232349655761625633805962541812582239173597470729856649628 * 10 ^ 70 + 8981023096656427532788925815739487469798792270745870585951940286210956) * 10 ^ 70 + 8586881696141730005662395120529986132604169392329089928932265397890287) * 10 ^ 70 + 2497138441900073923842398442265736253532268358822231866469683665371637) * 10 ^ 70 + 7547712086389800333540827763362546226308986700292536200056036573633102)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_297 : Polynomial.coeff recurrence5Scalar0Exceptional 297 = (((189125508959352663183068074722102979480097736693364775412433084682 * 10 ^ 70 + 6038110462894922113916698823624217681816883042184222254245640445279356) * 10 ^ 70 + 7047727501981869677478208005110823952019641327784172322735466976420732) * 10 ^ 70 + 5526369654111973410103459953776723168716857413034772077336866512190537) * 10 ^ 70 + 5852870141572723086012090451425435100307703362109797116007706276756373

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_298 : Polynomial.coeff recurrence5Scalar0Exceptional 298 = -((((87038062398099127225169966629281617507426854345348502440471921453 * 10 ^ 70 + 6045332949576185218731328303337775812035859314790852828655241119818249) * 10 ^ 70 + 1665514041848936381961285038276670605165607767539770683443040070619588) * 10 ^ 70 + 5313840309685168018473668972213813104948051498578330299112777299778869) * 10 ^ 70 + 808817755298005574486677364978443736905639607091092478645622678300369)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_299 : Polynomial.coeff recurrence5Scalar0Exceptional 299 = (((40879210519236798616187921294481150417137442255301763969063491208 * 10 ^ 70 + 6643002999520272128022228094288858590379137658850133590280261388486745) * 10 ^ 70 + 8491485552228363689695428583467457913891718127103198859125799043504153) * 10 ^ 70 + 4913924068648605577889643300614285260520557429941934514267971798318273) * 10 ^ 70 + 2698526939194106286974719778334794375060285337719299194800868862524642

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_300 : Polynomial.coeff recurrence5Scalar0Exceptional 300 = -((((20024195758781286138121119871853313861861571873519502487564337480 * 10 ^ 70 + 803512235393501727953976285775462612574037877458039774415034009016057) * 10 ^ 70 + 9150900693269235556820128842584120845683924306958846226272729724204778) * 10 ^ 70 + 9298770718399146739739027128738799583682221331974503916644395106885776) * 10 ^ 70 + 3614516984073726472053485250625152616312511060194769901808150750158323)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_301 : Polynomial.coeff recurrence5Scalar0Exceptional 301 = (((10387108956453945571349453192631125509224796257105331505081803814 * 10 ^ 70 + 9958122594290910949939285971910612764623713086168424433868079148794810) * 10 ^ 70 + 9561122565270086674026931816617214491468409859648673320855429485787506) * 10 ^ 70 + 1272870422093066417170968313093148057330692553360824169695260617811668) * 10 ^ 70 + 3091561162157191890238072420067305453275088357018102978888741324834555

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_302 : Polynomial.coeff recurrence5Scalar0Exceptional 302 = -((((5709035313961992552418868417253382609641539774602119368489464297 * 10 ^ 70 + 8788640164574503859760148891291989424695773049596598398120303033707879) * 10 ^ 70 + 1260930980958387045585401717064629529971718038790141435177732882520294) * 10 ^ 70 + 4917566668794430925441387903189524198183238086002358568816093710748966) * 10 ^ 70 + 8073822456700638553147606200291748005383294015104531097270649465089199)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_303 : Polynomial.coeff recurrence5Scalar0Exceptional 303 = (((3277591506828756424513924009532440942434511225672222296257500981 * 10 ^ 70 + 5610547743766948929691242150677446136793452584645774809127035127000975) * 10 ^ 70 + 3796207565747420815093388795673826168658723002086014375813106457928395) * 10 ^ 70 + 4898082223008908083719711282313398797241884731158824402732622004782660) * 10 ^ 70 + 9744592537164768303032575089427947220913286142626357680212023394815041

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_304 : Polynomial.coeff recurrence5Scalar0Exceptional 304 = -((((1924730772044749420296808629702460508666335745502130332641847308 * 10 ^ 70 + 5419142844751798356435675692655180033603627346179722307190053019291819) * 10 ^ 70 + 2165723684732445498295849059610216362637325331736902519755795610791719) * 10 ^ 70 + 1337674565062430059342298994138413010663966917855208663715032791628413) * 10 ^ 70 + 7748644537692546145824121438452987476475267952411304579771250904230984)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_305 : Polynomial.coeff recurrence5Scalar0Exceptional 305 = (((1134175417342568652139945989063510116460875441160178226444397704 * 10 ^ 70 + 913364729699319225877323717299643481384030402961262579443007570813368) * 10 ^ 70 + 2635432412297002207145565782271279277431712053230737533192010823332331) * 10 ^ 70 + 6785064336148416049835937776069865529705461582854054396886012921859801) * 10 ^ 70 + 3786781067232596292875849879115720633963009486985301611489868632650049

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_306 : Polynomial.coeff recurrence5Scalar0Exceptional 306 = -((((661482148586567267790183092104803328263166701325990936030293571 * 10 ^ 70 + 5820981817839964257449320560369147090787856478614880876468113600232016) * 10 ^ 70 + 6459029070089068513544705688550661972014636170527609874693827598876572) * 10 ^ 70 + 2413094988386587850828037304520473559349568339980527617243832202577627) * 10 ^ 70 + 9695115449477193619216585973787280428059585963224502723741864819686547)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_307 : Polynomial.coeff recurrence5Scalar0Exceptional 307 = (((378618175783139515669943989899025179780607168776699388472881649 * 10 ^ 70 + 9636910469444335649390621869116759213641423092594044491085467029121570) * 10 ^ 70 + 743133356806934492605798670926390853620985146566069912043801120634852) * 10 ^ 70 + 3720928376373013176799585573237411834238499853253118113609160241814290) * 10 ^ 70 + 4192386896292730742068066952023640458138907142339552541686457922273487

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_308 : Polynomial.coeff recurrence5Scalar0Exceptional 308 = -((((211679083780959522155967141375993754704019985523051335319960185 * 10 ^ 70 + 5701178303876512769788322392654487934638581145136853650358115015507005) * 10 ^ 70 + 5276169318821288283251989974045120572478434636841687475775900613698656) * 10 ^ 70 + 5937297689761319237322158551536135954854687221602966792266405849895940) * 10 ^ 70 + 905662464555114821823355683215516124977208748162599367381939416472148)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_309 : Polynomial.coeff recurrence5Scalar0Exceptional 309 = (((115317073255441670154405910078761397302168383294592003955066503 * 10 ^ 70 + 9335991188680859062598158104667861124414937134007638316015647387991056) * 10 ^ 70 + 106805306489139687638899281976589533747559532028095973281003489011276) * 10 ^ 70 + 8924748384927610627874615343246245863524992094757256190558555108996992) * 10 ^ 70 + 2129430683758094948122444962635803814684847587089704295316749941893906

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_310 : Polynomial.coeff recurrence5Scalar0Exceptional 310 = -((((61142865331752720584812133640202433631610291262973447430531841 * 10 ^ 70 + 2687528980769122832037608946243090721691606885380908654257759084734088) * 10 ^ 70 + 4252967910149003766077527068797368284366569043038245633272633093725926) * 10 ^ 70 + 1042467685778563282481803499162965146799124732055104248943508502174170) * 10 ^ 70 + 2651670455021524055252753445569606240491912441909868552670603003523346)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_311 : Polynomial.coeff recurrence5Scalar0Exceptional 311 = (((31535723147730538168813821902500695878590726317437469084709115 * 10 ^ 70 + 5301983660186980094388108505922742268781254083124392981156548665198019) * 10 ^ 70 + 6781437581173281278115432989200424086778937177360363747930115478080116) * 10 ^ 70 + 4075989883199081259997430186559003265162660312462485278278299660062152) * 10 ^ 70 + 1186483430121491200780962946107485886156912162881009097986962607267542

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_312 : Polynomial.coeff recurrence5Scalar0Exceptional 312 = -((((15817432736291557850370306105345623850037644823254945785632534 * 10 ^ 70 + 4078830223966639358182635069124934949181942085975640653593514147271552) * 10 ^ 70 + 687247787459124299464846931251550593113792291293525625859019308178584) * 10 ^ 70 + 4993094638995036499605759315257240346838584724420524470363316256597800) * 10 ^ 70 + 4980828103684687402315407823122966381197211180625508321614527067615522)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_313 : Polynomial.coeff recurrence5Scalar0Exceptional 313 = (((7712917081703915820834388465966708785328693766584848030167109 * 10 ^ 70 + 3980596348530257101893949848163723667942996614122442732868495684467157) * 10 ^ 70 + 5970028462796360358497588250012288208479139775869762079198419207989014) * 10 ^ 70 + 7239398134429902503160990657011207466399105257509073760381378661601529) * 10 ^ 70 + 8576382132180630369148572448267325064829591698028701993701017433696878

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_314 : Polynomial.coeff recurrence5Scalar0Exceptional 314 = -((((3654776562652703976098999439983512130264775974178148615620008 * 10 ^ 70 + 637807247923263729492664089281729119752675184629281935878885637298160) * 10 ^ 70 + 6234014052372585945330779821409402851450104317026910155362857004084898) * 10 ^ 70 + 8581626174724051161752860908319915095291578578294820622468471972512150) * 10 ^ 70 + 5321711534284001859442176826723009979827234045683882779234783875125163)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_315 : Polynomial.coeff recurrence5Scalar0Exceptional 315 = (((1681745302405033943191709878013283534516020149822401673499908 * 10 ^ 70 + 7625437028591556848759858139504985668399456856887917463772674483714394) * 10 ^ 70 + 2947782137824340953887949622407795935001805461131227770418899995626979) * 10 ^ 70 + 8447356713418442524140606535152635519456879795786898473473978444367173) * 10 ^ 70 + 5008923632000685465135415100634738633737545026302293140682512649954358

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_316 : Polynomial.coeff recurrence5Scalar0Exceptional 316 = -((((750680549857883327206906369872067053394753716047755595409396 * 10 ^ 70 + 2173374474249180498136643542953037342726618179687928201107169862664171) * 10 ^ 70 + 1994898208872983543206060134544693284047935808896693602481642967673710) * 10 ^ 70 + 8975926904603240422284674606218505432444924773219456198218293142748589) * 10 ^ 70 + 3332483133290855075736650478191728327909132953457097088858499780621114)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_317 : Polynomial.coeff recurrence5Scalar0Exceptional 317 = (((324539113501787527603945096520658281415831696072988775226566 * 10 ^ 70 + 8778824189028080208928016923893831147880938902059452331658989146491617) * 10 ^ 70 + 4825711959652050097448891369883768295577818553388319167129930979524188) * 10 ^ 70 + 9387000269812398438132820210685795725830091314408747086842296306293339) * 10 ^ 70 + 2547988946785137077116854786158529644388801029676728967315895337011866

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_318 : Polynomial.coeff recurrence5Scalar0Exceptional 318 = -((((135586657479854144047734857095896135207952051737647885335952 * 10 ^ 70 + 1837461872376133390864581029060340717278925921887408377234986903841741) * 10 ^ 70 + 1032151652401066036188130158056499010894369026716398201464996984776383) * 10 ^ 70 + 6210267030132236695120551049000440289231463714613494315118525937009214) * 10 ^ 70 + 7386107014265770908936355677862521003933522522129342714756214306820450)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_319 : Polynomial.coeff recurrence5Scalar0Exceptional 319 = (((54562133415976708010974191690478460656243058577995858738979 * 10 ^ 70 + 8088499418286161287477147009368560524225847525433308850246646977600869) * 10 ^ 70 + 9792895112818388448799298866872988104184287901475102095268459707706112) * 10 ^ 70 + 3142504470596380617573693218936315249772192894124333726897230149744446) * 10 ^ 70 + 6203457957994205316261315137762446732961486154655466452964358324934293

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_320 : Polynomial.coeff recurrence5Scalar0Exceptional 320 = -((((21047854582011576884204830599461970911571504703064039800446 * 10 ^ 70 + 9192750649813190853932421678568437342471701410110825847813880532893883) * 10 ^ 70 + 3638743049477574078120693857828506383278046156222398425918994977533473) * 10 ^ 70 + 1980092911512121345030486330601495629036190676896992712290860530826169) * 10 ^ 70 + 7086138835998861011257190582894807359309019979734662169322142056473152)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_321 : Polynomial.coeff recurrence5Scalar0Exceptional 321 = (((7726322124143510053023181625793540422048468600887814415634 * 10 ^ 70 + 4747500440460644707076212229350437555529387199772069125615707735595681) * 10 ^ 70 + 2897605841753580400961450003853906241521561291455190965949456541417156) * 10 ^ 70 + 2869731657156129919823917715705720651441166674216338417156902599585748) * 10 ^ 70 + 1145340942699363150011829005541508150995130968841977435820764941397198

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_322 : Polynomial.coeff recurrence5Scalar0Exceptional 322 = -((((2666601683414083705401385201283953996981870085774309884796 * 10 ^ 70 + 5216196585050436669226433756524102984579953638421325173955870520965140) * 10 ^ 70 + 2577442383400529104525955696527277675491688755013533611526236827109043) * 10 ^ 70 + 6956829794772145204008802113389812984407597152228503524877113535548083) * 10 ^ 70 + 5479972505328072885291448538449254394524960738777511913378992752287887)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_323 : Polynomial.coeff recurrence5Scalar0Exceptional 323 = (((846622687239348650989671443183887642627166137635530106051 * 10 ^ 70 + 1051683824467930970940583384480562629136117032314449174321764151834031) * 10 ^ 70 + 8111775142420732178121871862882020836961363200332743218590910024322405) * 10 ^ 70 + 6497671232829657278367167915434910129022906698113138534421784629319251) * 10 ^ 70 + 6929237767721978010903703703202699007723748097297648574117956780596976

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_324 : Polynomial.coeff recurrence5Scalar0Exceptional 324 = -((((236003265463297973882594331515357916698005118265971110298 * 10 ^ 70 + 11671161321572847213656281445303213865147661221542680095133568913810) * 10 ^ 70 + 926806383691638917049651002267741518562023387980746067914532201129) * 10 ^ 70 + 8641699728125373269131086236678316410620709602435905771007323446251241) * 10 ^ 70 + 9562827374879386868385989065571107899230701752125525590530897533250384)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence5Scalar0Exceptional_coeff_325 : Polynomial.coeff recurrence5Scalar0Exceptional 325 = (((50419685678096344297879130393702632818566388524600350682 * 10 ^ 70 + 4685914447341956834345083084127291435312799851498548644307690453776406) * 10 ^ 70 + 8589343686137524710635829041304756723813014372946407938025598558652512) * 10 ^ 70 + 6673959629544932916712770297770156490126757914784124597149066107641560) * 10 ^ 70 + 204725039447540590763197747843634432162619898226556517462358953368730