OFFSET
1,2
COMMENTS
Madhusudan et al. (2018) proved that a(56) = 686 is the last term of this sequence.
LINKS
Parthasarathy Madhusudan, Dirk Nowotka, Aayush Rajasekaran and Jeffrey Shallit, Lagrange's Theorem for Binary Squares, in: I. Potapov, P. Spirakis and J. Worrell (eds.), 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Schloss Dagstuhl, 2018, pp. 18:1-18:14; arXiv preprint, arXiv:1710.04247 [math.NT], 2017-2018.
MATHEMATICA
v = Table[n + n * 2^Floor[Log2[n] + 1], {n, 0, 20}]; Complement[Range[0, 700], Plus @@@ Tuples[v, 4]]
CROSSREFS
KEYWORD
nonn,fini,full
AUTHOR
Amiram Eldar, Apr 09 2021
STATUS
approved