1696724domain: NAppears in sequencesa(n) is the number of closed BCK (a.k.a. affine) lambda terms of size n.at n=15A281270Triangle T(n,k) read by rows: coefficients of polynomials P_n(t) defined in Formula section.at n=71A287030