503317495573domain: NAppears in sequencesNumbers of closed lambda terms of natural size n.at n=28A275057