number.house
Sequences
Properties
292557
domain:
N
Appears in sequences
Indices of record values in A177413.
at n=13
A185185