Numerical_semigroup loading ...