Constant antic::WEAK_CANONICALISE_CUTOFF

pub const WEAK_CANONICALISE_CUTOFF: u32 = 25600;