pub const BIT50: u64 = 1125899906842624;