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.

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

Table of values

n a(n)
0 3
1 13
2 99
3 962
4 10732
5 131715
6 1741813
7 24537945
8 365779679
9 5744911157
10 94786034723
11 1639198623818
12 29658034018852
13 560484305049943
14 11046637024014049
15 226728682400563206
16 4839249231632997924
17 107262821628220974029
18 2465723931357450572707

List of values

[3, 13, 99, 962, 10732, 131715, 1741813, 24537945, 365779679, 5744911157, 94786034723, 1639198623818, 29658034018852, 560484305049943, 11046637024014049, 226728682400563206, 4839249231632997924, 107262821628220974029, 2465723931357450572707]