Notes on A062316 et al

[Dean Hickerson]

David Wilson wrote:

> A062316 is, by definition, the intersection of the numbers which are not
> sums of two squares (A022544) and the numbers which are not the difference
> of two squares (A016825). A016825 consists precisely those n == 2 (mod 4),
> so the above observation that a(n) is always even can be sharpened to a(n)
> == 2 (mod) 4.
>
> The observation that the first difference is 4 or 8 appears to be correct.

It is correct:  The sequence contains all numbers == 6 (mod 8), since
all squares are == 0, 1, or 4 (mod 8).

Dean Hickerson
dean at math.ucdavis.edu