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