number.house
Sequences
Properties
1791725
domain:
N
Appears in sequences
a(n) is the length of stage n in A137843.
at n=20
A291753