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.

A135501 Number of closed lambda-terms of size n with size 1 for the variables.

Table of values

n a(n)
0 0
1 0
2 1
3 2
4 4
5 13
6 42
7 139
8 506
9 1915
10 7558
11 31092
12 132170
13 580466
14 2624545
15 12190623
16 58083923
17 283346273
18 1413449148
19 7200961616
20 37425264180
21 198239674888
22 1069228024931
23 5867587726222
24 32736878114805
25 185570805235978

List of values

[0, 0, 1, 2, 4, 13, 42, 139, 506, 1915, 7558, 31092, 132170, 580466, 2624545, 12190623, 58083923, 283346273, 1413449148, 7200961616, 37425264180, 198239674888, 1069228024931, 5867587726222, 32736878114805, 185570805235978]