\displaystyle{ x_{2007} \,\oplus\sum_{\stackrel{i=1}{i\neq p}}^{1003}(x_i\,\oplus\,\sigma_i\, x_{2007-i})=\underbrace{11\ldots1}_{2007}}