205640068950domain: NAppears in sequencesNumber of 7-element proper antichains of an n-element set.at n=8A051307