Constant WCOJ_CLIQUE7_MATERIALIZE_HG_U64 

pub const WCOJ_CLIQUE7_MATERIALIZE_HG_U64: &str = "wcoj_clique7_materialize_hg_u64";