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.

A275057 Numbers of closed lambda terms of natural size n.

Table of values

n a(n)
0 0
1 0
2 1
3 1
4 3
5 6
6 17
7 41
8 116
9 313
10 895
11 2550
12 7450
13 21881
14 65168
15 195370
16 591007
17 1798718
18 5510023
19 16966529
20 52506837
21 163200904
22 509323732
23 1595311747
24 5013746254
25 15805787496
26 49969942138
27 158396065350
28 503317495573
29 1602973785463
30 5116010587910
31 16360492172347

List of values

[0, 0, 1, 1, 3, 6, 17, 41, 116, 313, 895, 2550, 7450, 21881, 65168, 195370, 591007, 1798718, 5510023, 16966529, 52506837, 163200904, 509323732, 1595311747, 5013746254, 15805787496, 49969942138, 158396065350, 503317495573, 1602973785463, 5116010587910, 16360492172347]