120510132domain: NAppears in sequencesNumber of truth tables generated by 3CNF expressions of n variables.at n=5A112535