number.house
Sequences
Properties
3076419
domain:
N
Appears in sequences
Labeled graded semiorders.
at n=8
A267196