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.

A005613 Cascade-realizable Boolean functions of n variables.

Table of values

n a(n)
0 2
1 2
2 10
3 114
4 1842
5 37226
6 902570
7 25530658
8 825345250
9 30016622298
10 1212957186330
11 53916514446482
12 2614488320210258
13 137345270749953610
14 7770078330925987210
15 470977659902530345986
16 30451167044311817097666
17 2091878780326890801618362

List of values

[2, 2, 10, 114, 1842, 37226, 902570, 25530658, 825345250, 30016622298, 1212957186330, 53916514446482, 2614488320210258, 137345270749953610, 7770078330925987210, 470977659902530345986, 30451167044311817097666, 2091878780326890801618362]