152256domain: NAppears in sequencesSize of the BDD for the hidden weighted bit function, with the variables in their natural ordering.at n=33A136445a(n) = [x^n] ((x^2 - 1)*(x^2 + x - 1))/(x^2 + 2*x - 1)^2.at n=12A331321