Constant KEY_MIXTURE3_LEAN 

pub const KEY_MIXTURE3_LEAN: u32 = 65997;