OFFSET
1,1
COMMENTS
After the initial term a(1)=3 (see Example), this sequence consists of all numbers of the form (2j-1)*4^k+1 where j and k are positive integers.
For each term m > 3, no square has a base-m digit sum == binomial(m,2) (mod 4).
After the initial term a(1)=3, is this A249034?
EXAMPLE
No square has a base-3 digit sum of exactly binomial(3,2)=3, so 3 is in the sequence.
Binomial(5,2) = 10 == 2 (mod 4), but no square has a base-5 digit sum == 2 (mod 4), so there cannot be a square whose base-5 digit sum is 10; thus, 5 is in the sequence.
PROG
(Python)
from itertools import count, islice
def A260191_gen(startvalue=3): # generator of terms >= startvalue
c = max(startvalue, 3)
if c<=3: yield 3
for n in count(c+(c&1^1), 2):
if (~(m:=n-1>>1) & m-1).bit_length()&1:
yield n
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Jon E. Schoenfield, Jul 18 2015
STATUS
approved