Recurrence 2 lookup certificate: B5A5 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.recurrence2B5A5_coeff_221 : Polynomial.coeff recurrence2B5A5 221 = -171593573110694647551588714980045556964041186178511235068837238280

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_222 : Polynomial.coeff recurrence2B5A5 222 = -6854648218170304330236652376774529482330304716114497263953856

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_223 : Polynomial.coeff recurrence2B5A5 223 = 202197923375703081614685193711601903255601382071879255530540

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_224 : Polynomial.coeff recurrence2B5A5 224 = -67033740414698297311363511796623727268702788092632095286

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_225 : Polynomial.coeff recurrence2B5A5 225 = -22735057220515599869815873147903470113705811159315298

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_226 : Polynomial.coeff recurrence2B5A5 226 = 6008743886930501378846285008199429693053739006829

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_227 : Polynomial.coeff recurrence2B5A5 227 = -39852917686914495886837773420878798153061090

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_228 : Polynomial.coeff recurrence2B5A5 228 = -11840295095498590559973233318430170408632

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_229 : Polynomial.coeff recurrence2B5A5 229 = 95326495687294354814350859275007811

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_230 : Polynomial.coeff recurrence2B5A5 230 = 77652505695459674612092165662

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_231 : Polynomial.coeff recurrence2B5A5 231 = -115186270234295645118569

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B5A5_coeff_232 : Polynomial.coeff recurrence2B5A5 232 = 785155589424736