Constant LEASE_MIN_FREQUENCY 

pub const LEASE_MIN_FREQUENCY: u64 = 0x544abd141e121407 /* 6_073_874_941_564_032_007u64 */;