OFFSET
1,2
COMMENTS
By construction, A372894 is the disjoint union of the two following sets of numbers: (a) products of a square, some distinct anti-elite primes, an even number of elite-primes and a term here; (b) products of a square, some distinct anti-elite primes, an odd number of elite-primes and a term in A372895.
PROG
(PARI) isA372896(n) = {
if(n%2 && issquarefree(n) && isA372894(n), if(n==1, return(1)); my(f = factor(n)~[1, ]); \\ See A372894 for its program
for(i=1, #f, my(p=f[i], d = znorder(Mod(2, p)), StartPoint = valuation(d, 2), LengthTest = znorder(Mod(2, d >> StartPoint)), flag = 0); \\ To check if p = f[i] is an elite prime or an anti-elite prime, it suffices to check (2^2^i + 1) modulo p for StartPoint <= i <= StartPoint + LengthTest - 1; see A129802 or A372894
for(j = StartPoint+1, StartPoint + LengthTest - 1, if(issquare(Mod(2, p)^2^j + 1) != issquare(Mod(2, p)^2^StartPoint + 1), flag = 1; break())); if(flag == 0, return(0))); 1, 0)
}
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, May 15 2024
STATUS
approved