516791domain: NAppears in sequencesNumber of labeled totally ordered semigroups with n elements.at n=7A084965