/math/hs-semigroups/files/