4160626domain: NAppears in sequencesThe number of plain lambda terms presented by de Bruijn indices, see Bendkowski et al., where zeros have no weight.at n=10A258973