It is not mentioned that this is a divisibility sequence, nor that it is generated by x^4-2x^3-x^2+2x+1. R.