Recurrence 2 lookup certificate: Scalar2Left 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.recurrence2Scalar2Left_coeff_232 : Polynomial.coeff recurrence2Scalar2Left 232 = ((707 * 10 ^ 70 + 6216855858318014245454344527010657955337193215628393408047137716515448) * 10 ^ 70 + 5919273010645087380419093525246198151569207675882550749084247013781087) * 10 ^ 70 + 7509813582020489598165468407832011793933376082224160887934815893332960

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_233 : Polynomial.coeff recurrence2Scalar2Left 233 = -(((818 * 10 ^ 70 + 2831347473891299341104224473357997804587088636227556439163648767006216) * 10 ^ 70 + 3149199279409813974517750380146328981353441253468407555914293686229358) * 10 ^ 70 + 7311920038781796105177302879600440896121559886472137621559325925875716)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_234 : Polynomial.coeff recurrence2Scalar2Left 234 = ((896 * 10 ^ 70 + 7735849924601860883621610956743010493283058924391251167703209916834535) * 10 ^ 70 + 4326534962643606793292885130086074002713793968323020139682519113024588) * 10 ^ 70 + 7172368009243558030935559259490582835220548729909382108067109984631103

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_235 : Polynomial.coeff recurrence2Scalar2Left 235 = -(((930 * 10 ^ 70 + 5123644934059907459991784031075247992496313217236708123707793861867431) * 10 ^ 70 + 8651674472499384689084840574041593567313500822830439715677425520680637) * 10 ^ 70 + 9339880251828361586409491233840434956378697693993932909468052904507200)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_236 : Polynomial.coeff recurrence2Scalar2Left 236 = ((911 * 10 ^ 70 + 4126951390186967175014952324489902053793190795187362676968421761346861) * 10 ^ 70 + 9429521900342347182445299732219313687271610904607349970024865682265123) * 10 ^ 70 + 1417284838161901518993380121226864877333957857057226565426296658484980

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_237 : Polynomial.coeff recurrence2Scalar2Left 237 = -(((837 * 10 ^ 70 + 6440707964725779203409430846268263234560584870639510055338859571399890) * 10 ^ 70 + 2901508055324625081823243776313207870760603515625000830540634619417050) * 10 ^ 70 + 4102086007694665047494584426426452646116331595301472002747107762170715)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_238 : Polynomial.coeff recurrence2Scalar2Left 238 = ((714 * 10 ^ 70 + 3352902129585637134536448280395576007931141638455647531998765446238162) * 10 ^ 70 + 7912529231973220982350211739851623555255851419001882272305352773108562) * 10 ^ 70 + 3713399345270676312916181811420607794276238037926461387283773297584792

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_239 : Polynomial.coeff recurrence2Scalar2Left 239 = -(((553 * 10 ^ 70 + 55851771296978269638774316900083964511895972748156383849418346662835) * 10 ^ 70 + 252192300612653076837587045287345203004254855661310413345594945487528) * 10 ^ 70 + 7316839836033375386070272378036676996010484948268339583523374967692162)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_240 : Polynomial.coeff recurrence2Scalar2Left 240 = ((369 * 10 ^ 70 + 8089969617650017046199236547290634137556178912104414124075932423351657) * 10 ^ 70 + 6626186115803195210500100524258846293098107773302645912400190454687322) * 10 ^ 70 + 715765187245527617084331929027649119254145570274382859327864983134247

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_241 : Polynomial.coeff recurrence2Scalar2Left 241 = -(((182 * 10 ^ 70 + 9588892528764874056733938450537833435533784298808151018037181366090419) * 10 ^ 70 + 2545911235934012525770277696977072394940790794056747663296083435039942) * 10 ^ 70 + 396284884694433064599319553295497199887934196587670707002614830044760)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_242 : Polynomial.coeff recurrence2Scalar2Left 242 = ((9 * 10 ^ 70 + 8846925522795970319256102706395146390072675598446524771823818316079002) * 10 ^ 70 + 8518625171816803155150233051474042942841772595536792982520152228215067) * 10 ^ 70 + 1950959799905002200237332077842468627911930450081609491987347265720001

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_243 : Polynomial.coeff recurrence2Scalar2Left 243 = ((135 * 10 ^ 70 + 2885151205296943290087016165633711972567520799055385250713662951323942) * 10 ^ 70 + 1858530065700817089024009864986106561938399176561912683560999746865359) * 10 ^ 70 + 8867347309623698109829715697367842981242062527488054988023809031079333

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_244 : Polynomial.coeff recurrence2Scalar2Left 244 = -(((243 * 10 ^ 70 + 4592773425098446371864201349044091981205829389233152055465496044291744) * 10 ^ 70 + 6822113950085355872685269516813439128910371592689921738054632706763576) * 10 ^ 70 + 8457608557678409146537154059080299192794488663772302464992156680655445)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_245 : Polynomial.coeff recurrence2Scalar2Left 245 = ((311 * 10 ^ 70 + 2115818301128332975580652587795291558672144565244314364182729761447124) * 10 ^ 70 + 1488501829344193858469759864430357952018915932901813006243953635381448) * 10 ^ 70 + 4458062869934174850923440723652361090653282737154196696169716686726401

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_246 : Polynomial.coeff recurrence2Scalar2Left 246 = -(((340 * 10 ^ 70 + 4247193071684830204098077960588860242610951533885135842402654068079848) * 10 ^ 70 + 9713661776132951489517004752849917874996809710315353093167591009810898) * 10 ^ 70 + 7996514281673380660114188125291835737203606314331683375071546718971873)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_247 : Polynomial.coeff recurrence2Scalar2Left 247 = ((337 * 10 ^ 70 + 640232498929278261198149520381116626670696546478275747297495465992903) * 10 ^ 70 + 9478597549978449743216992895224419088322715204301516020954776469950151) * 10 ^ 70 + 2186681896261356297644728082273610388923078356170820411213554206677769

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_248 : Polynomial.coeff recurrence2Scalar2Left 248 = -(((309 * 10 ^ 70 + 5233541682131469026757296408923810255732219208107036763271300929527967) * 10 ^ 70 + 1312324149673052689506196461410397231562139627753990559745578646903678) * 10 ^ 70 + 6468181035738780882231636975647515196955954900741964759939172972574826)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_249 : Polynomial.coeff recurrence2Scalar2Left 249 = ((266 * 10 ^ 70 + 9173442251042823002757456087340592617420935294372840415268937800570394) * 10 ^ 70 + 1953437019939001661172578613722536825328532472788463050034540015149348) * 10 ^ 70 + 6152957171071596453114522525224786226808270121542126814577878137232189

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_250 : Polynomial.coeff recurrence2Scalar2Left 250 = -(((217 * 10 ^ 70 + 6507742346138792599588935267704129440730713358972694068198244627059149) * 10 ^ 70 + 4388435367468583683531493032780239150706640173985051516969860961481935) * 10 ^ 70 + 594769488944696833627173144620746706449452300912411086965483234076156)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_251 : Polynomial.coeff recurrence2Scalar2Left 251 = ((168 * 10 ^ 70 + 4615708005646508854683956369455766085180634204878873105894266406692658) * 10 ^ 70 + 4694739831065046999032060412578293088379917010776802659882153209352425) * 10 ^ 70 + 7004293656903475975280525123364570802266061571756096564955964862642200

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_252 : Polynomial.coeff recurrence2Scalar2Left 252 = -(((123 * 10 ^ 70 + 9888606592551475842501282448611459808170876100112615106619790667056895) * 10 ^ 70 + 7023755140452956011394160071608491751035238510691557442739381173137726) * 10 ^ 70 + 7540437189841617549105690433998308323105751132167092345724719941822850)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_253 : Polynomial.coeff recurrence2Scalar2Left 253 = ((86 * 10 ^ 70 + 7975909115502718323735150582540500639600380590883826141041999110584241) * 10 ^ 70 + 1603216626899535252846513871315545574110749685828009724947508426607371) * 10 ^ 70 + 7571292366133713056170061680014745471339147934211327927085384451515769

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_254 : Polynomial.coeff recurrence2Scalar2Left 254 = -(((57 * 10 ^ 70 + 7192096561526626215574210573240904494007619217630943951867326490526826) * 10 ^ 70 + 9612662217792026033124510680195482787775641856061454718663016835719532) * 10 ^ 70 + 3341209582269306544069717479408147679608242681121271902862555957867700)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_255 : Polynomial.coeff recurrence2Scalar2Left 255 = ((36 * 10 ^ 70 + 3478407511413250978805583271471664074830929434613500488850333207658030) * 10 ^ 70 + 7321719806239119634878991580368443108822066650281730710305254117021742) * 10 ^ 70 + 6547799918175716424178499222542528073091252479185826552433499609634854

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_256 : Polynomial.coeff recurrence2Scalar2Left 256 = -(((21 * 10 ^ 70 + 5525977439031593701793761186585230879347234863853872232923134596656281) * 10 ^ 70 + 4708336595815191968121090694195738116236691462517884883099468747288763) * 10 ^ 70 + 3092882163933329774529546953016610134125443934053845204723656821810822)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_257 : Polynomial.coeff recurrence2Scalar2Left 257 = ((11 * 10 ^ 70 + 9110740918429555808983547629048078302984426169478293085821419456383804) * 10 ^ 70 + 5448359736474738176289964166034116541326402516094857890945736017091219) * 10 ^ 70 + 5646024925479844565057637605179853587083305868914549880926305480948155

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_258 : Polynomial.coeff recurrence2Scalar2Left 258 = -(((6 * 10 ^ 70 + 184318090360912529771826557365303943720995083795346553647204307788395) * 10 ^ 70 + 7852298125443617341977717214179243026948713960829893071976187852163757) * 10 ^ 70 + 2350640768046178923283015469383268219998009345597797853172796832970013)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_259 : Polynomial.coeff recurrence2Scalar2Left 259 = ((2 * 10 ^ 70 + 6676191412994856814676684403853409338003468122683818884788887563579257) * 10 ^ 70 + 7355463411600293872734880162714102261326612017199760831827169959384126) * 10 ^ 70 + 6178857617164934492716727408715862704782952810589646266219280857572659

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_260 : Polynomial.coeff recurrence2Scalar2Left 260 = -((9226289848534045411367412444498603073485021889740050772879841892701539 * 10 ^ 70 + 8146723740080976230182670591546072281779198618733974129781215632859297) * 10 ^ 70 + 4489819260951418715728671353893359716009753576130545082725810485915614)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_261 : Polynomial.coeff recurrence2Scalar2Left 261 = (1179938556631329913667670067215509498253066421172227942079941164259786 * 10 ^ 70 + 2209238678124513642300093346081909445186432677784208872108573229097753) * 10 ^ 70 + 2532137118565724888716246483018567512867152615892181062922584347918690

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_262 : Polynomial.coeff recurrence2Scalar2Left 262 = (1825946445550394214574994608664965807212487909807002276917450394729272 * 10 ^ 70 + 6509367500204365899452077596248037426528040603506370861011435456234133) * 10 ^ 70 + 2535442877194922994198382129373744700236205250158339562662663632002460

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_263 : Polynomial.coeff recurrence2Scalar2Left 263 = -((2426318286019167090641999366597444765680580312495723884799694149234662 * 10 ^ 70 + 7149633149415097514862429154631731032781321106297657374340810312109165) * 10 ^ 70 + 4352152362414664152746284443911441325517343873418422642823394057524765)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_264 : Polynomial.coeff recurrence2Scalar2Left 264 = (2073838463389261960144987655478877502151519439135150910865889654388252 * 10 ^ 70 + 3997107017838538754394870435087716688721044338893404999384207261721724) * 10 ^ 70 + 9663253053531678283196862557249203621112538998357806228231989893661760

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_265 : Polynomial.coeff recurrence2Scalar2Left 265 = -((1483275939187590590436563444884331439240988811231250347404559267395527 * 10 ^ 70 + 5369378510863095263258045115618758454918739594271519885200279250320031) * 10 ^ 70 + 3835332664086046177764095953729293481964894704154742555195118647309537)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_266 : Polynomial.coeff recurrence2Scalar2Left 266 = (951124978647613712317658052634494464672792891447421961509321625939871 * 10 ^ 70 + 8875655298986093469910578922881153347423501366186165220952937291271721) * 10 ^ 70 + 8624877191686012976065494955325625883379216412823898880847638310038988

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_267 : Polynomial.coeff recurrence2Scalar2Left 267 = -((562323015784705464575325676745148016118947683616473896011592856790021 * 10 ^ 70 + 4225245689276427312196469804640386087233969951586116376184289075228926) * 10 ^ 70 + 3387696686324152607586331412925899803730204743370368845972006104172935)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_268 : Polynomial.coeff recurrence2Scalar2Left 268 = (310731400301363768568156639435452971856804394003809205985284268195278 * 10 ^ 70 + 267856902615270556903121518189854743872586353042014277102132199048612) * 10 ^ 70 + 9546818401325363430852045964125126760822411781764257710316630875886536

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_269 : Polynomial.coeff recurrence2Scalar2Left 269 = -((161619670603504264624253083893428384438013212509274924972848550173731 * 10 ^ 70 + 2931400290597055661725747786423910649719249419456465065628345282034806) * 10 ^ 70 + 8825454731282498201366144424794767011722384601099808789917963119128269)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_270 : Polynomial.coeff recurrence2Scalar2Left 270 = (79390195993102113735721336963346318721172865558635416490829980452213 * 10 ^ 70 + 6521372385887028724964570880987614617816116419708793690095224995426477) * 10 ^ 70 + 2972093392864795644386006740632815178062791520085387346818378683065405

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar2Left_coeff_271 : Polynomial.coeff recurrence2Scalar2Left 271 = -((36859021970255785540198358948806023717936605463095648747275197215060 * 10 ^ 70 + 3832767985845740166526134630778420410368063214850904912485042049125590) * 10 ^ 70 + 9006655480480181118755635247642585361312552903071165066333462390256449)