20082860domain: NAppears in sequencesLength of longest chain of nonempty proper subsemigroups of the monoid of partial injective order-preserving functions of a chain with n elements.at n=13A242429