# After downloading generate.py from this table
from generate import UmbralCoefficients, coefficient
generator = UmbralCoefficients()
[(p, generator.value(p, 100)) for p in generator.enumerate()]
# One positive coefficient: X=A1^24, r=1, s=7
coefficient(2, 1, 7)Computed with exact rational Laurent polynomials and finite formal series using (2) and (3). Rational division is performed in Sage over $\mathbb Q$; every resulting coefficient is checked to be an integer. The generator uses no floating-point approximation or rounding.
All $840$ values agree with the identity columns of [1], Appendix C, Tables 20–47, also available in [5]. The source table positions and extraction are attached. An independent scalar implementation of the Eguchi–Ooguri–Tachikawa character relation at $y=-1$, using the stored K3 coefficients, reproduces all $30$ positive Mathieu grades. The six finite-part expansions are reconstructed from their component coefficients at $6174$ Fourier positions through $q^{30}$, including polar and vanishing terms. The $m=2$ Jacobi form agrees with the K3 companion at $525$ Fourier positions, and the first five Mathieu coefficients give twice the relevant $M_{24}$ irreducible degrees. Known-answer controls and deliberate sign, scale and coefficient errors precede the comparisons. The attached checker can repeat these tests on values read from the database.