histogram semigroup