number.house
Sequences
Properties
7758205
domain:
N
Appears in sequences
Number of precomplete Post functions.
at n=6
A002825