Let $(x_n)_{n\in Z}$ and $(y_n)_{n\in Z}$ be two sequences of integers such that $|x_{n+2} - x_n| \le 2$ and $x_n + x_m = y_{n^2+m^2}$ for all $n, m \in Z$. Show that the sequence of $x_n$s takes at most $6$ distinct values. (Paolo Leonetti)