number.house
Sequences
Properties
149177
domain:
N
Appears in sequences
Schoenheim bound L_1(n,8,7).
at n=20
A036835