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