const P_X: i64 = 0x1DB710641;