Constant antic::FLINT_PSEUDOSQUARES_CUTOFF

pub const FLINT_PSEUDOSQUARES_CUTOFF: u32 = 1000;