pub const P: u32 = 15 * (1 << 27) + 1; // 2_013_265_921u32