pub const BIT37: u64 = 137438953472;