Constant WCOJ_CLIQUE5_MATERIALIZE_HG_U32 

pub const WCOJ_CLIQUE5_MATERIALIZE_HG_U32: &str = "wcoj_clique5_materialize_hg_u32";