number.house
Sequences
Properties
1456731
domain:
N
Appears in sequences
Number of colorings of K_4 using at most n colors.
at n=17
A063842