7863311domain: NPropertiesPrimalityPrimeyesAppears in sequencesNumber of 2-multiantichains of an n-set.at n=12A084869Prime numbersat n=531181