Constant MAX_FACTS 

pub const MAX_FACTS: usize = 10_000;