Triangle read by rows: T(n,k) = number of normal planar lambda terms of size n with k free variables (n >= 1, 1 <= k <= n).

A246323

Triangle read by rows: T(n,k) = number of normal planar lambda terms of size n with k free variables (n >= 1, 1 <= k <= n).

Terms

    a(0) =1a(1) =2a(2) =1a(3) =9a(4) =6a(5) =2a(6) =54a(7) =40a(8) =20a(9) =5a(10) =378a(11) =295a(12) =175a(13) =70a(14) =14a(15) =2916a(16) =2346a(17) =1526a(18) =756a(19) =252a(20) =42a(21) =24057a(22) =19739a(23) =13587a(24) =7602a(25) =3234a(26) =924a(27) =132a(28) =208494a(29) =173426

External references