Constant antic::FLINT_NUM_PRIMES_SMALL

pub const FLINT_NUM_PRIMES_SMALL: u32 = 172;