Recurrence 4 lookup certificate: Scalar1First 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.recurrence4Scalar1First_coeff_515 : Polynomial.coeff recurrence4Scalar1First 515 = -(181212686851806 * 10 ^ 70 + 6344919186569342232829911529605665353011424712188523895122698603624476)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_516 : Polynomial.coeff recurrence4Scalar1First 516 = 3112088 * 10 ^ 70 + 24076210089255424221765049947752308546181515182446098530902092975258

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_517 : Polynomial.coeff recurrence4Scalar1First 517 = 565340432351615605706325199656968257027009433565882101368638158807811

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1First_coeff_518 : Polynomial.coeff recurrence4Scalar1First 518 = -4487123134918589846730950290864048652497721798445366255291870