Recurrence 2 lookup certificate: Scalar0Exceptional 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.recurrence2Scalar0Exceptional_coeff_202 : Polynomial.coeff recurrence2Scalar0Exceptional 202 = (150211037053515005866686789572907271197734774145889908877309 * 10 ^ 70 + 6067283640854920927814285134857253219047620933163873953882235515684550) * 10 ^ 70 + 6663531107760849853738313008612171060211127689202691516749730243636838

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_203 : Polynomial.coeff recurrence2Scalar0Exceptional 203 = (338280106289080721035084990983695272312165743056341319016107 * 10 ^ 70 + 9374085253821088887061692785049606667616338787246876102856348638977690) * 10 ^ 70 + 9891094984008748113658023275499196499505259901698050907420958323389209

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_204 : Polynomial.coeff recurrence2Scalar0Exceptional 204 = -((1258276071591303393091562471786249170596540666175555633697728 * 10 ^ 70 + 445131635680308459177358386932115243462189706295167571778387695032261) * 10 ^ 70 + 3474263878495999685925163186240793790206339762637163709015045626416278)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_205 : Polynomial.coeff recurrence2Scalar0Exceptional 205 = (2721700621788597938699146415772158302930101530984316911497090 * 10 ^ 70 + 6600657047747095019999108177086511677468352581743699331717184028777494) * 10 ^ 70 + 3159473487331556053454116001407931194746128256879048281090939289655029

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_206 : Polynomial.coeff recurrence2Scalar0Exceptional 206 = -((4772196004439972827083676986064704291497917756535328079976841 * 10 ^ 70 + 4801850662844964361923319270623685890235310434461573121163461925988900) * 10 ^ 70 + 2512492968725345444811356420869038184665382451711265087103256279686140)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_207 : Polynomial.coeff recurrence2Scalar0Exceptional 207 = (7333666464322236419890386107666122440816100906357099055061641 * 10 ^ 70 + 8490162450464746563445196037588669692165093377968212211253814267906241) * 10 ^ 70 + 4480683860511938690025285729497563014787185460901150331825271491109113

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_208 : Polynomial.coeff recurrence2Scalar0Exceptional 208 = -((10168804932192964914600792097624077449761942563090455355861574 * 10 ^ 70 + 2688860095596308695798817314380479312464680675248007519131450941152072) * 10 ^ 70 + 7060056293219033584814947637485101492583133737881984203252990535943062)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_209 : Polynomial.coeff recurrence2Scalar0Exceptional 209 = (12865833547226446978342207310670026985605484211792088439294697 * 10 ^ 70 + 3265221316599214494976524768821755989181589325788000796813762938875046) * 10 ^ 70 + 3439517821346597179074706407133865400368958324892563145328095361842891

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_210 : Polynomial.coeff recurrence2Scalar0Exceptional 210 = -((14869585113370496904553417880793369281935377778477098422657499 * 10 ^ 70 + 8990795310667970237693483817886622261255794292956424975229657200085836) * 10 ^ 70 + 9191526648224636722091136798872943221035779765249836690402848528156293)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_211 : Polynomial.coeff recurrence2Scalar0Exceptional 211 = (15564118718280025159733804075402176728890067363279623315889566 * 10 ^ 70 + 3348916377778286525640306742353946780070841723596133375879944119145521) * 10 ^ 70 + 1506158376546654248994619304222311987132484516976429723492123474704761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_212 : Polynomial.coeff recurrence2Scalar0Exceptional 212 = -((14399359342926112338734322463924749063679470495696690873151655 * 10 ^ 70 + 1716723629197480999417979514619820572303458391757979581592414194153176) * 10 ^ 70 + 50771242675485667393487170917267494878485273078108987349643473257150)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_213 : Polynomial.coeff recurrence2Scalar0Exceptional 213 = (11037591882442759029571413378658321006068931175396068783655023 * 10 ^ 70 + 6045776908699197573231286316789047567667304551017378664838561498008149) * 10 ^ 70 + 2961665101982923898473603155057408769734336518538553418159471396480428

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_214 : Polynomial.coeff recurrence2Scalar0Exceptional 214 = -((5482770459869292485143739258738756590403928524028939800694353 * 10 ^ 70 + 6248242534636432338644416772775085432357170524972057797192260002336972) * 10 ^ 70 + 5279285076645726013621160215724398317038911587277743669100773000316174)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_215 : Polynomial.coeff recurrence2Scalar0Exceptional 215 = -((1847735077419142560328944731150137797044933874215543869545587 * 10 ^ 70 + 7928298767793473825192347833805835196695197807015902254045841422352691) * 10 ^ 70 + 4921456549060924526304463859553260939279190472123760585749821797082008)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_216 : Polynomial.coeff recurrence2Scalar0Exceptional 216 = (10139828830281751455799044316201770566085831454281864434757218 * 10 ^ 70 + 8867067522639561153784020094708853461200641018944715945193814907710724) * 10 ^ 70 + 6104968474063146243899221570966727537505532969331525231904773359258391

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_217 : Polynomial.coeff recurrence2Scalar0Exceptional 217 = -((18297334041591478485828378460392837335310209860522250225495095 * 10 ^ 70 + 1903551966078571938509290401094386481548889998456635933013438800106717) * 10 ^ 70 + 3892307330508313890895103851752428615860276014605835870764382113265477)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_218 : Polynomial.coeff recurrence2Scalar0Exceptional 218 = (25136571652895232199479382001406774477509081076118389684353881 * 10 ^ 70 + 6357838544395964522698843545318605241837769028801816545176174394421887) * 10 ^ 70 + 5512600950693716658372728865006575417868411141586794962726231021253107

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_219 : Polynomial.coeff recurrence2Scalar0Exceptional 219 = -((29617865857484730695189788489365383558755936786482402472691407 * 10 ^ 70 + 676623569086336029964889178093786957283793322732773623027623221677195) * 10 ^ 70 + 5338741114595098451027913299003160593139190880480279565536644343952870)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_220 : Polynomial.coeff recurrence2Scalar0Exceptional 220 = (31057280420131563954689397853419648318000957054499590093567580 * 10 ^ 70 + 6788702736956598199795510368160889616617616941631135729243656965055365) * 10 ^ 70 + 3480288095486253466500215649465706458925648456993315337486776978930139

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_221 : Polynomial.coeff recurrence2Scalar0Exceptional 221 = -((29264823848185510524694667716653219724448263501303100318146064 * 10 ^ 70 + 3512080218502920245302863294817543152279157598331067876052892500736907) * 10 ^ 70 + 641352593342261647935677142361749058379511743573314781225452704248369)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_222 : Polynomial.coeff recurrence2Scalar0Exceptional 222 = (24574591862221308463544605230433207131128672731139531066142593 * 10 ^ 70 + 4967247200461754910095069655216050943347499283638443985808981222732822) * 10 ^ 70 + 9377690592897754606587816968779994673593820335597250229119122732893409

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_223 : Polynomial.coeff recurrence2Scalar0Exceptional 223 = -((17761789011457390635812827428632125187708307326067469728745758 * 10 ^ 70 + 5149574552253705184998246269854203405141088970990691697223346299866098) * 10 ^ 70 + 4290068731422447187910511925373513225411044336597592100393609556880438)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_224 : Polynomial.coeff recurrence2Scalar0Exceptional 224 = (9871723272554640833651506666893481653275996879745488177471553 * 10 ^ 70 + 422149688202050131409925341283658192243765392779505720899857078320931) * 10 ^ 70 + 9540629343595378768597982915257352669486532195667815016658603012018564

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_225 : Polynomial.coeff recurrence2Scalar0Exceptional 225 = -((2007200185082239778052784099328348245048073127595446625492546 * 10 ^ 70 + 1115192038477087045746145218101840411334979530595644446254239982243456) * 10 ^ 70 + 3274380669841805842757944953012410043272137151880572861742080636490009)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_226 : Polynomial.coeff recurrence2Scalar0Exceptional 226 = -((4872740344210219156775554040303882890544744884912235550920086 * 10 ^ 70 + 4428233533483716798542052103918086564413582197330139308968113280961268) * 10 ^ 70 + 904314708635256732940845925092003428729548146012896799209703564242857)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_227 : Polynomial.coeff recurrence2Scalar0Exceptional 227 = (10098702311303332077132345247025058520224630351295563264034954 * 10 ^ 70 + 2218675517356268077206286864066679078787073464818383137109710261455142) * 10 ^ 70 + 9010270847726673068472251033907704965246469551877825043468676345807083

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_228 : Polynomial.coeff recurrence2Scalar0Exceptional 228 = -((13357210468704475567906971447528491556618115238311835743550688 * 10 ^ 70 + 2153479195989488111695140219057789412275587518852230815721377262598036) * 10 ^ 70 + 4380292215649121283866082118868529551460457300917978196687709271482571)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_229 : Polynomial.coeff recurrence2Scalar0Exceptional 229 = (14676503562216115304843292338979624892060828945243149721927725 * 10 ^ 70 + 231398816600271906332878043314780439703516919894405525020760678194187) * 10 ^ 70 + 483790862385955579868956648909041791648742344416914240229586011811790

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_230 : Polynomial.coeff recurrence2Scalar0Exceptional 230 = -((14350426922119973449542293717859184644685064507710343740245509 * 10 ^ 70 + 9389032531942351473804077924297617268916672954250607983992931197520125) * 10 ^ 70 + 4170013058987901093523246953040748832049329091193135422031359386109976)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_231 : Polynomial.coeff recurrence2Scalar0Exceptional 231 = (12829753817066062790602502516976764751262198533336402516977852 * 10 ^ 70 + 858334498543355773919842427238147197976727277850202997937569529394131) * 10 ^ 70 + 2129017125967802822327229146043940275414802913654716360888968050079435