9209340domain: NAppears in sequencesNumber of 7-element ordered antichains on an unlabeled n-element set; T_1-hypergraphs with 7 labeled nodes and n hyperedges.at n=1A056073