12945690030domain: NAppears in sequencesNumber of proper vertex colorings of the n-complete bipartite graph using exactly 5 interchangeable colors.at n=13A384981