1113976

Appears in sequences

• a(n) = (n+1)*(2^(n+1) - n)/2.at n=16A048470
• Number of reduced words of length n in Coxeter group on 17 generators S_i with relations (S_i)^2 = (S_i S_j)^5 = I.at n=5A163451