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