dibblego/semigroup archive