number.house
Sequences
Properties
2031357
domain:
N
Appears in sequences
a(n) is the length of stage n in A137844.
at n=20
A291754