Recurrence 2 lookup certificate: B5A6 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.recurrence2B5A6_coeff_224 : Polynomial.coeff recurrence2B5A6 224 = -40178971507061700198989963626419028572827

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A6_coeff_225 : Polynomial.coeff recurrence2B5A6 225 = 219962761374348673680847702316857579

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A6_coeff_226 : Polynomial.coeff recurrence2B5A6 226 = 931977861614366980287459472184

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A6_coeff_227 : Polynomial.coeff recurrence2B5A6 227 = -854894438664554789542235

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A6_coeff_228 : Polynomial.coeff recurrence2B5A6 228 = 4460041141063793

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A6_coeff_229 : Polynomial.coeff recurrence2B5A6 229 = 9250229