Constant antic::FLINT_FACTOR_TRIAL_PRIMES

pub const FLINT_FACTOR_TRIAL_PRIMES: u32 = 3000;