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