cp's OEIS Frontend

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.

A056778 Number of 3-element antichains on an unlabeled n-element set; equivalence classes of monotone Boolean functions of n variables with 3 mincuts under action of symmetric group S_n.

Table of values

n a(n)
0 0
1 0
2 0
3 2
4 9
5 30
6 84
7 202
8 437
9 872
10 1627
11 2874
12 4853
13 7882
14 12383
15 18902
16 28130
17 40934
18 58391
19 81812
20 112790
21 153238
22 205430
23 272054
24 356270
25 461754
26 592774
27 754252
28 951831
29 1191956
30 1481962
31 1830144
32 2245867
33 2739658
34 3323305
35 4009972
36 4814323
37 5752624
38 6842893

List of values

[0, 0, 0, 2, 9, 30, 84, 202, 437, 872, 1627, 2874, 4853, 7882, 12383, 18902, 28130, 40934, 58391, 81812, 112790, 153238, 205430, 272054, 356270, 461754, 592774, 754252, 951831, 1191956, 1481962, 1830144, 2245867, 2739658, 3323305, 4009972, 4814323, 5752624, 6842893]