75039565965domain: NAppears in sequencesNumber of 3-element proper antichains of an n-element set.at n=13A051303