number.house
Sequences
Properties
1219513
domain:
N
Appears in sequences
Schoenheim bound L_1(n,9,8).
at n=23
A036836