250530

Appears in sequences

• Number of 4 X n binary matrices such that any 2 rows have a common 1, up to column permutations.at n=8A052388
• a(n) = n*(n + 1)*(n^2 - n + 3)/6.at n=35A257055