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