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.

A220896 Number of closed lambda-terms of size n with at most 2 free de Bruijn indices.

Table of values

n a(n)
0 2
1 7
2 41
3 312
4 2784
5 27917
6 307943
7 3690055
8 47635777
9 658405747
10 9695617821
11 151488900012
12 2502346785164
13 43560247035581
14 796828655891895
15 15277217956632472
16 306268455537216444
17 6406216616616309707
18 139535240869213561821
19 3159084189417388736206

List of values

[2, 7, 41, 312, 2784, 27917, 307943, 3690055, 47635777, 658405747, 9695617821, 151488900012, 2502346785164, 43560247035581, 796828655891895, 15277217956632472, 306268455537216444, 6406216616616309707, 139535240869213561821, 3159084189417388736206]