On the verification of properties of numerical semigroups up to high genus
A numerical semigroup $S$ is a cofinite submonoid of the aditive monoid $(\mathbb{N},+)$. The (finite) complement of $S$ in $\mathbb{N}$ is the genus of $S$.
I plan to recall a well-known process of exploring the classical numerical semigroups tree as a means to count numerical semigroups by genus. The process is easily adapted to verify properties: one verifies the property at each explored node.