Recurrence 2 lookup certificate: Scalar0Main 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.recurrence2Scalar0Main_coeff_381 : Polynomial.coeff recurrence2Scalar0Main 381 = -12690208591571010344889876722545194206045995669553546

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_382 : Polynomial.coeff recurrence2Scalar0Main 382 = 21030702482159336322965625541101888272733350499

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_383 : Polynomial.coeff recurrence2Scalar0Main 383 = -5069412637139683681634190808160213246447

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_384 : Polynomial.coeff recurrence2Scalar0Main 384 = 180042519230194826088781871930056

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_385 : Polynomial.coeff recurrence2Scalar0Main 385 = 2017536361576722213834938

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_386 : Polynomial.coeff recurrence2Scalar0Main 386 = -3409600058839816

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Main_coeff_387 : Polynomial.coeff recurrence2Scalar0Main 387 = 794588