pub const BIT51: u64 = 2251799813685248;