number.house
Sequences
Properties
118576
domain:
N
Appears in sequences
a(n) = A080313(n)/2.
at n=13
A080315