532449210893domain: NAppears in sequencesa(n) is the number of closed BCK (a.k.a. affine) lambda terms of size n.at n=24A281270