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.

A136445 Size of the BDD for the hidden weighted bit function, with the variables in their natural ordering.

Table of values

n a(n)
1 3
2 3
3 7
4 10
5 17
6 25
7 40
8 57
9 85
10 121
11 172
12 240
13 335
14 459
15 630
16 856
17 1160
18 1564
19 2105
20 2821
21 3777
22 5044
23 6728
24 8961
25 11926
26 15854
27 21066
28 27972
29 37127
30 49258
31 65336
32 86636
33 114862
34 152256
35 201800
36 267436
37 354394
38 469591
39 622205
40 824379
41 1092211

List of values

[3, 3, 7, 10, 17, 25, 40, 57, 85, 121, 172, 240, 335, 459, 630, 856, 1160, 1564, 2105, 2821, 3777, 5044, 6728, 8961, 11926, 15854, 21066, 27972, 37127, 49258, 65336, 86636, 114862, 152256, 201800, 267436, 354394, 469591, 622205, 824379, 1092211]