Recurrence 4 lookup certificate: Scalar1Second 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.recurrence4Scalar1Second_coeff_514 : Polynomial.coeff recurrence4Scalar1Second 514 = -(2124577144479389350989 * 10 ^ 70 + 1421910258750192946595912664169085422830426514630592892161218088608522)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_515 : Polynomial.coeff recurrence4Scalar1Second 515 = -(69212679116566 * 10 ^ 70 + 8316374112936684062489547928113762811047961966599025822687022948777622)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_516 : Polynomial.coeff recurrence4Scalar1Second 516 = 23288281 * 10 ^ 70 + 4666081459555843015416454507842443935586612970302828568259350617084102

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_517 : Polynomial.coeff recurrence4Scalar1Second 517 = -2311079737304475474778387527364986089442482602123155564622613353935561

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence4Scalar1Second_coeff_518 : Polynomial.coeff recurrence4Scalar1Second 518 = 605677739565168694016558168915973172692467089922983284195081