number.house
Sequences
Properties
397543795824
domain:
N
Appears in sequences
Number of n-colorings of the Coxeter graph.
at n=4
A157993