A333479 - cp's OEIS frontend

A333479 Busy Beaver for lambda calculus BBλ: the maximum beta normal form size of any closed lambda term of size n, or 0 if no closed term of size n exists.

n	a(n)
1	0
2	0
3	0
4	4
5	0
6	6
7	7
8	8
9	9
10	10
11	11
12	12
13	13
14	14
15	15
16	16
17	17
18	18
19	19
20	20
21	22
22	24
23	26
24	30
25	42
26	52
27	44
28	58
29	223
30	160
31	267
32	298
33	1812
34	327686
35	38127987424941
36	578960446186580977117854925043439539266349923328202820197287920039565648199686

[0, 0, 0, 4, 0, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 22, 24, 26, 30, 42, 52, 44, 58, 223, 160, 267, 298, 1812, 327686, 38127987424941, 578960446186580977117854925043439539266349923328202820197287920039565648199686]

cp's OEIS Frontend

A333479 Busy Beaver for lambda calculus BBλ: the maximum beta normal form size of any closed lambda term of size n, or 0 if no closed term of size n exists.

Table of values

List of values