20309716domain: NAppears in sequencesNumber of colorings of K_4 using at most n colors.at n=27A063842