384954289170domain: NAppears in sequencesNumber of 4-element proper antichains of an n-element set.at n=11A051304