Symmetric_inverse_semigroup loading ...