Recurrence 2 lookup certificate: Scalar1Exceptional 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.recurrence2Scalar1Exceptional_coeff_377 : Polynomial.coeff recurrence2Scalar1Exceptional 377 = -22184513883895966463809066886094923303728247975974439

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_378 : Polynomial.coeff recurrence2Scalar1Exceptional 378 = -53708855041652292668627997828384097665840127929

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_379 : Polynomial.coeff recurrence2Scalar1Exceptional 379 = -50097319764383513268107953371483652738857

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_380 : Polynomial.coeff recurrence2Scalar1Exceptional 380 = -6849243402748311740365115398043142

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_381 : Polynomial.coeff recurrence2Scalar1Exceptional 381 = -40066926400541939420063298

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_382 : Polynomial.coeff recurrence2Scalar1Exceptional 382 = -76255717385539356

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar1Exceptional_coeff_383 : Polynomial.coeff recurrence2Scalar1Exceptional 383 = -47165519