pub const C: usize = 253;
The largest integer such that $2^c \leq (r_P - 1) / 2$, where $r_P$ is the order of Pallas.