Recurrence 6 certificate: BlockData

This compatibility module re-exports the independently checked literal-data shards for the sixth pseudo-division recurrence.

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.normalizedExceptional6_eq : normalizedExceptional6 = (parameter - 1) * discriminantFactor ^ 6 * cmTwelve