Recurrence 4 lookup certificate: Scalar0Left 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.recurrence4Scalar0Left_coeff_345 : Polynomial.coeff recurrence4Scalar0Left 345 = -((((2174071252849 * 10 ^ 70 + 5136278565625748124724528636074243445149153234926411779237523100990651) * 10 ^ 70 + 1594627173207924547246562023256461921783604590565376187047444702683797) * 10 ^ 70 + 4119808664863938648453568643113816243533964214694321297509800032211799) * 10 ^ 70 + 6937707522608030192718512972817609373078921463252543131706158449574802)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_346 : Polynomial.coeff recurrence4Scalar0Left 346 = (((973523457075 * 10 ^ 70 + 2111822134557689477876094736300618663973584573800683126065205536121923) * 10 ^ 70 + 6495346507180547604727762123739881485528110732517279932045493499031273) * 10 ^ 70 + 9690338278867050930307090328978258713171292312692859712752549928771984) * 10 ^ 70 + 7368040580351196046417345786863963402554853350582938248089438145052979

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_347 : Polynomial.coeff recurrence4Scalar0Left 347 = -((((427793519862 * 10 ^ 70 + 4920437206528805782890150152090342588248053689393461247127090673212451) * 10 ^ 70 + 1077509034223973500140480053834407789038320799974743186679684037585695) * 10 ^ 70 + 7460099068768605554791994226309980406818105767255528878710623150197669) * 10 ^ 70 + 395499892920491475331647328611603762768373871582705143153022047139863)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_348 : Polynomial.coeff recurrence4Scalar0Left 348 = (((184445549952 * 10 ^ 70 + 3353851148428168481038487286960034822077649365507170564519522097809304) * 10 ^ 70 + 9478580844619689411678115905561093493578430971681584908430631465139622) * 10 ^ 70 + 386515098077089578083496235552128028104464394941209637904850822463199) * 10 ^ 70 + 99754184532925667144067126978093469389564150033916858284268414269139

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_349 : Polynomial.coeff recurrence4Scalar0Left 349 = -((((78010202965 * 10 ^ 70 + 2680630437295514941050820898605989377800930309247335621373730243983144) * 10 ^ 70 + 6594224655342814286376522277923722346111045497183014031362455457065534) * 10 ^ 70 + 8974037887703466149901650343810347646721517527970142932784528659786015) * 10 ^ 70 + 2895497098032076075681887001782453125857105780942843937588351407352297)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_350 : Polynomial.coeff recurrence4Scalar0Left 350 = (((32357043160 * 10 ^ 70 + 5873421130801938932842679432299469476546432531850705447574554953169045) * 10 ^ 70 + 1701787097866943969243880881934734296862762669237288243358116906918615) * 10 ^ 70 + 2606443083129912528689201344238226532654340194331384917126581271271070) * 10 ^ 70 + 9353485100844304146127999716353063257552454419201988246715085011314696

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_351 : Polynomial.coeff recurrence4Scalar0Left 351 = -((((13158359632 * 10 ^ 70 + 4869083774526562990702845797369915608861535153678452699483517736014067) * 10 ^ 70 + 8353230983443218119438844779750933086960555975111221994262863215228470) * 10 ^ 70 + 3428477850157762975133216857429652370588916721849880971627577481259806) * 10 ^ 70 + 5770436180617873781096540496578926362015578306048215796106361160867998)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_352 : Polynomial.coeff recurrence4Scalar0Left 352 = (((5245062776 * 10 ^ 70 + 4476504684044945200052257246807436017075633218379762351109203073000468) * 10 ^ 70 + 5287158584944157314536490756857575279261866787367383653464765293332486) * 10 ^ 70 + 2665213288756935929434473375820576053191140949566076539649578705791689) * 10 ^ 70 + 336967113824366688438788362883739907436444690559966264822170264043684

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_353 : Polynomial.coeff recurrence4Scalar0Left 353 = -((((2049144748 * 10 ^ 70 + 2215899930669440249062661219896287585513453518922785892224850750315602) * 10 ^ 70 + 8479115303305333343391333084777489736656745216895338132109125462410912) * 10 ^ 70 + 1986314250715668993821729797974664848302157860565166262393485051283838) * 10 ^ 70 + 4342775845749695623369468993960004050370053781234134080002198233404406)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_354 : Polynomial.coeff recurrence4Scalar0Left 354 = (((784769803 * 10 ^ 70 + 542151327498200437760749114757997440463714844726625006514690704246326) * 10 ^ 70 + 2588241613887524605088270174267154163423056632533037163658487969319417) * 10 ^ 70 + 9476023681623261115151999501858408267243335891365770215495456343503025) * 10 ^ 70 + 9727521381608154357659741731927216985709646634120661063525603044764191

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_355 : Polynomial.coeff recurrence4Scalar0Left 355 = -((((294816277 * 10 ^ 70 + 1939519838460979288105737111843814580521829674805064290806457534770150) * 10 ^ 70 + 7197423432686303036755893108677424055452883273049380694103803833126369) * 10 ^ 70 + 3862413073343955116582998665121287292313824929313497640354389005487879) * 10 ^ 70 + 6579601145450741604484673180909477586130954124611806011839825521368361)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_356 : Polynomial.coeff recurrence4Scalar0Left 356 = (((108809371 * 10 ^ 70 + 9072160129930295473298608150288120742740615274251609733218283056199333) * 10 ^ 70 + 458490923591537522026228221261748537006832375805354914695760446772971) * 10 ^ 70 + 1290309432685878897509950644395045708965223711099667222862410477937592) * 10 ^ 70 + 8118937907821825220275778066634328403607054106795139780100346805218247

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_357 : Polynomial.coeff recurrence4Scalar0Left 357 = -((((39569716 * 10 ^ 70 + 7749201225464357294678628012303824184932660213214052147156175750598847) * 10 ^ 70 + 8028784180717937662780822377969704173158477557235674320971847746359254) * 10 ^ 70 + 3252111883233315749592225021074083532767603104939323243896265313691404) * 10 ^ 70 + 4451567695267957818871087699814221496742857612161010674650128074619255)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_358 : Polynomial.coeff recurrence4Scalar0Left 358 = (((14251035 * 10 ^ 70 + 1313745301284706506954072525947243953020250733830100299138576010308652) * 10 ^ 70 + 8492789023771460274140042166278263818217987472309260860611318553842143) * 10 ^ 70 + 7444438680928220594596822386725434565421625893928321205998425974419250) * 10 ^ 70 + 6967457640083000060539394971712517693812626971499580999013454518891980

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_359 : Polynomial.coeff recurrence4Scalar0Left 359 = -((((5123840 * 10 ^ 70 + 3483159881866652509982762903305333442801397376282137607858120676113944) * 10 ^ 70 + 4835277926140854318706566109293979560879177473148890568719390365949758) * 10 ^ 70 + 3925561283309611814096824109001585056777872876925917740969594148001377) * 10 ^ 70 + 9585417083612840446906695214779411919585175254753463288427575028593309)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_360 : Polynomial.coeff recurrence4Scalar0Left 360 = (((1860080 * 10 ^ 70 + 3457422729727198983184105734277124927127364536851958453507524624467897) * 10 ^ 70 + 9061491978812552972713426517403310113299720046141732827666785122954916) * 10 ^ 70 + 2216434890787460568950382050365500715286063851248102485781718314178564) * 10 ^ 70 + 9698011987550862447954601688441748451781882094429921777984374746091761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_361 : Polynomial.coeff recurrence4Scalar0Left 361 = -((((691207 * 10 ^ 70 + 2064523341025470036700161891783890668225304320465465920032154077928611) * 10 ^ 70 + 1123105775630509637298564788902969119320463169436925655501995119399677) * 10 ^ 70 + 2120752308170619447039348563070700769372966977519222144303084443477879) * 10 ^ 70 + 9571237393636929515509956585102614501819187116480327534101526707401266)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_362 : Polynomial.coeff recurrence4Scalar0Left 362 = (((266332 * 10 ^ 70 + 7600880152416258793560405096679990966019569550002860177004689952730475) * 10 ^ 70 + 3491221393861671323216765535171814901180459527997516805393327938679642) * 10 ^ 70 + 9844525022504373292915599286196399159550923498549635230080504018734577) * 10 ^ 70 + 643700561018746909887808285815946382066708615140079630395435107710218

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_363 : Polynomial.coeff recurrence4Scalar0Left 363 = -((((107179 * 10 ^ 70 + 6295969702721784767028290159417391863831559609367814940876000899306174) * 10 ^ 70 + 3396904206272306742111364690960258375276021280368241711821710846750967) * 10 ^ 70 + 4530299806309555030159435275301152153623370088104194376880094465962001) * 10 ^ 70 + 6926823144448189134767105721818565116789339658629757918888744178581692)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_364 : Polynomial.coeff recurrence4Scalar0Left 364 = (((44957 * 10 ^ 70 + 2277193203811340246809945992751657514362161341507523117254880074165831) * 10 ^ 70 + 5701091681121040499635456301859549828534302409442448755313259731184356) * 10 ^ 70 + 6938070990587653395624146166314698627577624535758246336075656067111602) * 10 ^ 70 + 6656573970514758420962094794659978809081999775134321256555081832410967

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_365 : Polynomial.coeff recurrence4Scalar0Left 365 = -((((19451 * 10 ^ 70 + 4585697702724298151999663037517584743479212006216589490736592634881006) * 10 ^ 70 + 2617156533033683597730398540813657431496361794033541757893712188578868) * 10 ^ 70 + 2766090680149057275374279327995622764765102177822104541441494168374031) * 10 ^ 70 + 3232134280522719102756757087125136438091743911785215214372908174777540)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_366 : Polynomial.coeff recurrence4Scalar0Left 366 = (((8556 * 10 ^ 70 + 1307084040756248859170911180550706123256055105655572109254589478177860) * 10 ^ 70 + 900791976439620385297189043619459476978045579074254611457971684780715) * 10 ^ 70 + 6818291805477751504018471371467511676069350076099690549294771983004025) * 10 ^ 70 + 4269743229331892580071191606174496465238166217521109815691936103509417

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_367 : Polynomial.coeff recurrence4Scalar0Left 367 = -((((3772 * 10 ^ 70 + 9432272938655342363530114188704130913665097833830845725525746720655484) * 10 ^ 70 + 3264573586057182554977496955800665613711511024155439022528033706734273) * 10 ^ 70 + 9411567689156151713195300830794385401576917703859114481506776448184402) * 10 ^ 70 + 1979185989411426494780022812076191695155062580515748411818828699067078)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_368 : Polynomial.coeff recurrence4Scalar0Left 368 = (((1649 * 10 ^ 70 + 2608913705132371418929334300985681104154878743711635148163772741732524) * 10 ^ 70 + 1754955286835089643935201961145490347839799010376444757139499742146533) * 10 ^ 70 + 2171890073376212367350443166837354564374184197400936730456498960910274) * 10 ^ 70 + 8916774804947390078964886939486316953221220885610832898073906699975891

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_369 : Polynomial.coeff recurrence4Scalar0Left 369 = -((((708 * 10 ^ 70 + 9305006583873124492985109378697117164870453731340425136755107386400671) * 10 ^ 70 + 9641277262387931284395108834114994408687242654271778375508569367961960) * 10 ^ 70 + 1157377299035703146874555567749282508678731306595975384733385572537731) * 10 ^ 70 + 3622741730717055870682718678416731207120646002471179126540293025770519)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar0Left_coeff_370 : Polynomial.coeff recurrence4Scalar0Left 370 = (((297 * 10 ^ 70 + 9952268699893990495814903817319344873407958148791767314446431470757026) * 10 ^ 70 + 6774471291710186745895776349152929791400118931203840821270284019381378) * 10 ^ 70 + 2421844828724165525679402067206685533904955406096396202612972963181914) * 10 ^ 70 + 6796113626162850258221696828634791168400102508416309265143045180093535