This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A302251 #17 Aug 30 2021 21:02:24
%S A302251 1,2,9,346,79814831
%N A302251 The number of nonempty antichains in the lattice of set partitions.
%C A302251 Computing terms in this sequence is analogous to Dedekind's problem which asks for the number of antichains in the Boolean algebra.
%C A302251 This count excludes the empty antichain consisting of no set partitions.
%H A302251 Sebastian Bozlee, Bob Kuo, and Adrian Neff, <a href="https://arxiv.org/abs/2105.10582">A classification of modular compactifications of the space of pointed elliptic curves by Gorenstein curves</a>, arXiv:2105.10582 [math.AG], 2021.
%e A302251 For n = 3 the a(3) = 9 nonempty antichains are:
%e A302251 {1/2/3}
%e A302251 {1/23}
%e A302251 {12/3}
%e A302251 {13/2}
%e A302251 {1/23, 12/3}
%e A302251 {1/23, 13/2}
%e A302251 {12/3, 13/2}
%e A302251 {1/23, 12/3, 13/2}
%e A302251 {123}
%e A302251 Here we have used the usual shorthand notation for set partitions where 1/23 denotes {{1}, {2,3}}.
%o A302251 (Sage)
%o A302251 [Posets.SetPartitions(n).antichains().cardinality() - 1 for n in range(4)]
%o A302251 # minus removes the empty antichain
%Y A302251 Equals A302250 - 1, Cf. A000372, A007153, A003182, A014466.
%K A302251 nonn,hard,more
%O A302251 1,2
%A A302251 _John Machacek_, Apr 04 2018