pub const BIT45: u64 = 35184372088832;