12564636domain: NAppears in sequencesNumber of 5-element proper antichains of an n-element set.at n=7A051305