Recurrence 4 lookup certificate: Scalar2Second 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.recurrence4Scalar2Second_coeff_271 : Polynomial.coeff recurrence4Scalar2Second 271 = -((((53069160698828000098109566 * 10 ^ 70 + 1627313786254244614661375384940648128973724231760754056876946171397148) * 10 ^ 70 + 8187507311566243793911333063256933436192973369959438257086113859701780) * 10 ^ 70 + 5877241860482126269613646262173370014135661110879299310290390559029200) * 10 ^ 70 + 1824236565173321119686448887084759692521647643581973554368077471104720)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_272 : Polynomial.coeff recurrence4Scalar2Second 272 = (((75488141165473910516084959 * 10 ^ 70 + 7939169718118875518680378579749136360563990114679043252860733671446675) * 10 ^ 70 + 2759786203565073761804240567368717945629359972394466342379712824892411) * 10 ^ 70 + 3941313760113272620444062942193223773105581044347007637204445925336627) * 10 ^ 70 + 914210030989351927938919958714028804814419688384677794096173263693070

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_273 : Polynomial.coeff recurrence4Scalar2Second 273 = -((((86537495581908543741132524 * 10 ^ 70 + 774610950640295215772719110924716645330790157809661330308512296479584) * 10 ^ 70 + 336648083777941942732034139466072513908245487543359960981448098595114) * 10 ^ 70 + 8625531271106905255937215018541390951231550060074393918844473229988878) * 10 ^ 70 + 9982826426038526107990529271153512999857133878063896349321007685533113)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_274 : Polynomial.coeff recurrence4Scalar2Second 274 = (((88960851900799647346967766 * 10 ^ 70 + 1837208313871734665526971651439388318729163597512358763710408063354915) * 10 ^ 70 + 3171527327306831077846744862989031061652087596909605802915210198263361) * 10 ^ 70 + 1067869679772032206597915924618901776836247612124888428607888471250102) * 10 ^ 70 + 4435119785812559758017093211327409405200883402358526198309011691575071

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_275 : Polynomial.coeff recurrence4Scalar2Second 275 = -((((85277857313716970694350832 * 10 ^ 70 + 7783920172916966092399898267322420964234438903566378794528038793620457) * 10 ^ 70 + 6942861233422743670114268504348715535640761403186978609303524909707520) * 10 ^ 70 + 582943014024242066050182436646887742652390159669135398513992175566024) * 10 ^ 70 + 2484163885341427536819291648850147556179933981397377375150137869782534)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_276 : Polynomial.coeff recurrence4Scalar2Second 276 = (((77667188639151540276887471 * 10 ^ 70 + 6239403352893988946823772949070636857197407585746999672286638508321806) * 10 ^ 70 + 4193548142917499707253675675382458150895713775648383446142683232733999) * 10 ^ 70 + 5433230372793292876848125172123692064721239291399691344015931199062034) * 10 ^ 70 + 1649856065542487933600672667256153518774103924365904577302155421854798

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_277 : Polynomial.coeff recurrence4Scalar2Second 277 = -((((67906128905467586892031824 * 10 ^ 70 + 3430764137939898222089144440264178522643843101839868913377410455060469) * 10 ^ 70 + 6687160791529848213592631879193518474489999081474002116519144122647338) * 10 ^ 70 + 8763286033778997335648037575168355454746033531485452024027177647735844) * 10 ^ 70 + 4313879732452941780850544780977012321389005276659371032006030759468844)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_278 : Polynomial.coeff recurrence4Scalar2Second 278 = (((57358252551479175399810352 * 10 ^ 70 + 7659934234818675452256934539955210676529021336770767068567627499506990) * 10 ^ 70 + 8068916426414430456876157392616212018902992693501645492850806811211357) * 10 ^ 70 + 9884153952595352046706625349321898274659816156471556280417102412070360) * 10 ^ 70 + 7179544973700541460035798617898827091464775611137144383484158284952231

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_279 : Polynomial.coeff recurrence4Scalar2Second 279 = -((((46997873234482971147199352 * 10 ^ 70 + 2267565716973528463807885548565196967479044725402622861925987583002704) * 10 ^ 70 + 7789327112817393652587193620146422215521665912313470234060624288129638) * 10 ^ 70 + 3909331192158873813947215833160747880888197204742332550085714829954033) * 10 ^ 70 + 4703139447927124052574642727717417554152934026780065047584840898808451)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_280 : Polynomial.coeff recurrence4Scalar2Second 280 = (((37459052356999446209658312 * 10 ^ 70 + 9521085921680512325646591017043849497644217943811812035291415511560304) * 10 ^ 70 + 8384899411998360562287947521869105231698472829035798259300916679773478) * 10 ^ 70 + 7390724940990801722014464748644070743089915213225010745083304927905873) * 10 ^ 70 + 3367724049664963348142576359411467822538458200468008644005521684399324

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_281 : Polynomial.coeff recurrence4Scalar2Second 281 = -((((29097736047308866738796986 * 10 ^ 70 + 4423510386425105090662944307182793761756598169752362695048653605414830) * 10 ^ 70 + 93063272452452637578414975404935946888756481806963392284057215228411) * 10 ^ 70 + 3369880164259946461746477749327524407338447146352526911915654947619747) * 10 ^ 70 + 2389515032399602679734767762321579431177556666535558915830913014778060)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_282 : Polynomial.coeff recurrence4Scalar2Second 282 = (((22057457163908352751128963 * 10 ^ 70 + 7428119545683518188534861207159766136558645466226410424785497436533691) * 10 ^ 70 + 8998125126998997410086020834690663311394648166173440265756444887617287) * 10 ^ 70 + 8040126482431218784019808169959727647706858859557388320330280654377033) * 10 ^ 70 + 1148412761516891838936071396527856526117724546501695459903200379337904

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_283 : Polynomial.coeff recurrence4Scalar2Second 283 = -((((16331470463644949804382075 * 10 ^ 70 + 4378594592502235663233417603114055074198008435187430373433631551774051) * 10 ^ 70 + 9409950363936700240037409285160403754808826178481574161414023367688065) * 10 ^ 70 + 3084538293035623829036767869082103450895759367827186283881296212846574) * 10 ^ 70 + 3952237979658047924465053346290068011242126874518374341708341284560543)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_284 : Polynomial.coeff recurrence4Scalar2Second 284 = (((11816718780104055397750621 * 10 ^ 70 + 2215284905048602522519817349836950465900758332316130022777480554220466) * 10 ^ 70 + 5496111955242173949123557574951815864143180430306565428840534887913501) * 10 ^ 70 + 2762037366935133984329549149017238469215556220032957583489297566085104) * 10 ^ 70 + 1753564321630164061687512737638680278156998073097250380221640834201684

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_285 : Polynomial.coeff recurrence4Scalar2Second 285 = -((((8357311477264559507536619 * 10 ^ 70 + 8085842044679746263130910942405942464676480347665046042818272551614060) * 10 ^ 70 + 5729345924883307870481618821096329262270149856159676264039494214995468) * 10 ^ 70 + 920993836512991754696075573044518676306765805991963964413265145244288) * 10 ^ 70 + 6943325694742241014085721363076639753500093338398702648331704259276886)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_286 : Polynomial.coeff recurrence4Scalar2Second 286 = (((5777024979792683786996840 * 10 ^ 70 + 8341822338789801408531607808609487809945899024031831294054032581501713) * 10 ^ 70 + 1140293685442653437624616546131239193594869641874100730781194589279810) * 10 ^ 70 + 726326304514714657603709603793745995643135587710233423283870869197161) * 10 ^ 70 + 8058492907829907029195441280998626080558217451230981768977708384122954

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_287 : Polynomial.coeff recurrence4Scalar2Second 287 = -((((3901625788929422785708430 * 10 ^ 70 + 9871460230127811318667541521382033951815428574469239290013901733041142) * 10 ^ 70 + 8858188520565085916068898155798586681611787473024915072770537445128038) * 10 ^ 70 + 8807760250486719124792779848779690462910778048030945249942243564649230) * 10 ^ 70 + 8403397526454283599185706731311148776008706956912572507557742248052512)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_288 : Polynomial.coeff recurrence4Scalar2Second 288 = (((2572584740032994783420144 * 10 ^ 70 + 7069135125671584291159824884402504331968215484150141449082436866021519) * 10 ^ 70 + 6318825793878364605632523296315963055450943997829967575289488001995518) * 10 ^ 70 + 2812590086537178311684751860958542687542045997498368230926482587069573) * 10 ^ 70 + 2894437794001134525989105251916561025399774286890919674314910062428284

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_289 : Polynomial.coeff recurrence4Scalar2Second 289 = -((((1654077886814268199215519 * 10 ^ 70 + 7357064173691169804735277033306180221487065275535963111858838922032792) * 10 ^ 70 + 4777266890543630900610574108305712363452219006932918712260982063088102) * 10 ^ 70 + 4673763451891011574273264576712095459024577717820977633849385308322613) * 10 ^ 70 + 2499935844076022784162099601771147638391547320614083608084774901357075)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_290 : Polynomial.coeff recurrence4Scalar2Second 290 = (((1035166713169483229641722 * 10 ^ 70 + 9566883698982914918120987634691947462699603684562766799154345842102166) * 10 ^ 70 + 3239971501537199067086586290746193861807376572714345691059549301172839) * 10 ^ 70 + 7199429833864463927737738196627692046832970188730686982059921175955620) * 10 ^ 70 + 2979068093035620402309725105538100674291671484376884713208418958847278

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_291 : Polynomial.coeff recurrence4Scalar2Second 291 = -((((628835660340593324940700 * 10 ^ 70 + 2340477987530405495326717226279024634621916596842630292667660207510235) * 10 ^ 70 + 5237057863705594713177290823804666412741746180930633313880269704030712) * 10 ^ 70 + 4865900615546676824994816729196752883288722829662704252104436523432696) * 10 ^ 70 + 9801402125272601939762649194260759947750770764597956698988923191437175)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_292 : Polynomial.coeff recurrence4Scalar2Second 292 = (((369241856909520522125162 * 10 ^ 70 + 246994555411044575710085437352189911989212119121644810595007450975508) * 10 ^ 70 + 7168060654646214333145917728262327694448961267265255067254769564694155) * 10 ^ 70 + 4199550072635012939634432703133616283742772287352672326870951653653020) * 10 ^ 70 + 34184811674422934688870989259128350155555710468893003532350727665186

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_293 : Polynomial.coeff recurrence4Scalar2Second 293 = -((((208180525217225902311858 * 10 ^ 70 + 5381457507885641517323607440073973195068099664303061958388329999405944) * 10 ^ 70 + 8617243013990294784201029777978366482998231599538142017337479918494400) * 10 ^ 70 + 9686477997313102739185262968750239483775893384280877954426416283989266) * 10 ^ 70 + 753704506033921382489939238009945688183830955128272326388011095429439)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_294 : Polynomial.coeff recurrence4Scalar2Second 294 = (((111443570682608441179761 * 10 ^ 70 + 7321241455642159802576239127385400086217356753480404396175484856065318) * 10 ^ 70 + 2926558524445643997169662501295577023613891874190348750745154632922535) * 10 ^ 70 + 7769213267338625018001132203147852426102881744681781453663005654363795) * 10 ^ 70 + 532784465385470421512727867026605998803650078607938610415568527308417

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_295 : Polynomial.coeff recurrence4Scalar2Second 295 = -((((55478068963052920805296 * 10 ^ 70 + 7974536128333669816476693812875434526852100795826437310315493954777646) * 10 ^ 70 + 5304912825667876215725649935456402192850654216581741960921461588194018) * 10 ^ 70 + 9317193817134358999523899271183137871627263313214389594557096932792922) * 10 ^ 70 + 1457531623312928169440857302175843055592505989650324332886400799779230)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar2Second_coeff_296 : Polynomial.coeff recurrence4Scalar2Second 296 = (((24546514872211444919339 * 10 ^ 70 + 5066457994125686334547060425684581205413261735774071310944654370991239) * 10 ^ 70 + 6920811900657184632771827746138389482257800447974667651164988467413185) * 10 ^ 70 + 4510897266304189604609536658344343863362989013741326322935793396847489) * 10 ^ 70 + 2377296891433844536236375361357576618062358250062123513001394184425304