7666358domain: NAppears in sequencesNumbers of closed affine (a.k.a. BCK) lambda terms of natural size n.at n=20A287141