3718354domain: NAppears in sequencesCardinalities of Sperner families on 1,...,n.at n=9A007695Number of f-vectors for simplicial complexes of dimension at most 8 on at most n-1 vertices.at n=9A011833