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.

A385712 Busy Beaver BBlambda_1 for lambda calculus with a BB (A333479) oracle: the maximum beta/oracle normal form size of any 1-closed lambda term of size n, or 0 if no 1-closed term of size n exists.

Table of values

n a(n)
1 0
2 2
3 0
4 4
5 5
6 6
7 7
8 26
9 9
10 36
11 41
12 266
13 51
14 2894802230932904885589274625217197696331749616641014100986439600197828240998436

List of values

[0, 2, 0, 4, 5, 6, 7, 26, 9, 36, 41, 266, 51, 2894802230932904885589274625217197696331749616641014100986439600197828240998436]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.