7663696588domain: NAppears in sequencesNumber n of antichains of P(En) x En*, ordered by lexicographic order, with En a poset of n elements with no pair of elements ordered, and with En* that same set augmented with an (n+1)th element smaller than all others.at n=4A271219