Surj(j,k) == brute force for j <= 6
phi_exact (gap moments, integer arithmetic) == phi_M (definition) on 80 random sets, alpha 1..5; canonical-class invariance OK
