n=25: k(A_n) = 997, p(n) = 1958, primes [4099981, 4099961, 4099943, 4099903, 4099897]; S_n table 0.6 s
   degrees = hook length formula: True; S_n column orthogonality mod p: True; row sums: True; top Garner digit 0: True
   perfect matching for every class C: True; max |T(C)| = 121; classes with no vanishing irreducible character: 2
   Theorem B: T(C) = E(mu,n) for the five mu: True; permutation of Remark 4.5 valid: True
   Theorem C: Lemma 5.3 (equal residues across C+-, halves of K and L): True; rule of Remark 5.7: True; permutation of the proof valid: True
   (143.0 s)
summary: n, k(A_n), max |T(C)|, perfect matching for every C
   25 997 121 True
