Function homology_size 

pub fn homology_size(modulus: usize, n: usize, k: usize) -> usize

The k-th homology |H_k(K(A,n))| via the normalized (Moore) chain complex: N_k = ⋂_{i≥1} ker dᵢ with differential d_0. Computed independently of the horn-filling homotopy extractor, so that their agreement is the genuine Hurewicz statement, not a tautology.