(a1,a2) can be (1,−2015),(15,−69),(70,−14),(2016,0) or their permutations.
Firstly, taking the difference of the two relations an+an+1=2an+2an+3+2016 and an+1+an+2=2an+3an+4+2016, we obtain
an+2−an=2an+3(an+4−an+2).
Inductively, this easily implies
an+2−an=2kan+3an+5⋯an+2k+1(an+2k+2−an+2k)
for any k∈Z+. This shows 2k∣an+2−an for any k∈Z+, and hence an+2=an. Thus, we may assume all odd terms are equal to a1=b and all even terms are equal to a2=c. Now the only condition is
b+c=2bc+2016.
This means
(2b−1)(2c−1)=2(2bc−b−c)+1=−4031=−29×139.
Thus, we obtain the solutions (b,c)=(1,−2015),(15,−69),(70,−14),(2016,0) up to permutation.