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