7848984domain: NAppears in sequencesNumber of precomplete Post functions of n variables.at n=6A002826