31972397domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of 2-multiantichains of an n-set.at n=13A084869Prime numbersat n=1972204