Candidates for numbered-semigroups

No candidates exist for numbered-semigroups. Upload one for this or another package?