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