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.

A047707 Number of monotone Boolean functions of n variables with 3 mincuts. Also Sperner systems with 3 blocks.

Table of values

n a(n)
0 0
1 0
2 0
3 2
4 64
5 1090
6 14000
7 153762
8 1533504
9 14356610
10 128722000
11 1119607522
12 9528462944
13 79817940930
14 660876543600
15 5424917141282
16 44246078560384
17 359144709794050
18 2904688464582800
19 23429048035827042
20 188593339362097824

List of values

[0, 0, 0, 2, 64, 1090, 14000, 153762, 1533504, 14356610, 128722000, 1119607522, 9528462944, 79817940930, 660876543600, 5424917141282, 44246078560384, 359144709794050, 2904688464582800, 23429048035827042, 188593339362097824]