Constant KEY_MIXTURE1_LEAN 

pub const KEY_MIXTURE1_LEAN: u32 = 65987;