Recurrence 2 lookup certificate: B4A6 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.recurrence2B4A6_coeff_224 : Polynomial.coeff recurrence2B4A6 224 = 19715573706913481332375156059984820926622748964910259122

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_225 : Polynomial.coeff recurrence2B4A6 225 = -49219436219500557630486811808146028270351414370123099

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_226 : Polynomial.coeff recurrence2B4A6 226 = 4933202531700162411118574472565904492270830826583

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_227 : Polynomial.coeff recurrence2B4A6 227 = 360304337667999354141051538783132905768407797

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_228 : Polynomial.coeff recurrence2B4A6 228 = -19865755923574628531227232192393850048199

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_229 : Polynomial.coeff recurrence2B4A6 229 = 53284904898157868586233070890225574

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_230 : Polynomial.coeff recurrence2B4A6 230 = 356642044832950146976124570938

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_231 : Polynomial.coeff recurrence2B4A6 231 = -176047813390480004487987

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_232 : Polynomial.coeff recurrence2B4A6 232 = 219350432717800

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2B4A6_coeff_233 : Polynomial.coeff recurrence2B4A6 233 = 794588