Constant F_SATISFIES_HASH_PARTITION

pub const F_SATISFIES_HASH_PARTITION: u32 = 5028;