nthiery/semigroups archive