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