Recurrence 2 lookup certificate: Scalar0Exceptional 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.recurrence2Scalar0Exceptional_coeff_376 : Polynomial.coeff recurrence2Scalar0Exceptional 376 = -(12052 * 10 ^ 70 + 5045824982977523486204863488446986429285257010353751665484699968867708)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_377 : Polynomial.coeff recurrence2Scalar0Exceptional 377 = -(1 * 10 ^ 70 + 1449348341822329734109577044992268494601328155623923800201653361109033)

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_378 : Polynomial.coeff recurrence2Scalar0Exceptional 378 = -604963429244161050776845389233779229601525861943234217328728968130

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_379 : Polynomial.coeff recurrence2Scalar0Exceptional 379 = -16465148237224062649480852482419035212541492452546246303500761

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_380 : Polynomial.coeff recurrence2Scalar0Exceptional 380 = -198544731757780650939801496647441962962436492239397300606

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_381 : Polynomial.coeff recurrence2Scalar0Exceptional 381 = -1017919419327870093733737984547285602673600996753647

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_382 : Polynomial.coeff recurrence2Scalar0Exceptional 382 = -2279288092317790799411893926119710071189439489

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_383 : Polynomial.coeff recurrence2Scalar0Exceptional 383 = -1899253784867450043787438795688183339412

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_384 : Polynomial.coeff recurrence2Scalar0Exceptional 384 = -191212405916553375073713277781178

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_385 : Polynomial.coeff recurrence2Scalar0Exceptional 385 = -908017173635106042166572

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_386 : Polynomial.coeff recurrence2Scalar0Exceptional 386 = -1467703924649321

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence2Scalar0Exceptional_coeff_387 : Polynomial.coeff recurrence2Scalar0Exceptional 387 = -794588