number.house
Sequences
Properties
383229924
domain:
N
Appears in sequences
Where record values occur in A130335.
at n=15
A130337