7235416domain: NAppears in sequencesCoefficient of x in the reduction by (x^2 -> x + 1) of the polynomial p(n,x) defined below at Comments.at n=15A192905