OFFSET
1,2
COMMENTS
A191107 is a subsequence as the relevant terms of A000984 are not divisible by 3 (see the comments in A005836 and A191107). - Peter Munn, Aug 14 2023
Numbers k such that either k + 2 is a power of 2, or k + 2 is divisible by 3 and none of the base-3 digits of k + 2 are 2 except possibly the second-last. See link for proof. Thus the sequence is the union of the positive terms of A00984 and of 9*k-2, 9*k + 1 and 9*k + 4 for k in A005836. - Robert Israel, Nov 17 2024
LINKS
Robert Israel, Table of n, a(n) for n = 1..10000
Robert Israel, Characterization of A094453
MAPLE
filter:= proc(n) local r, L;
r:= n+2;
if r = 2^padic:-ordp(r, 2) then true
else
if r mod 3 <> 0 then false
else
L:= convert(r, base, 3);
not member(2, L[3..-1])
fi fi
end proc:select(filter, [$1..1000]); # Robert Israel, Nov 17 2024
MATHEMATICA
Select[ Range[735], Mod[Binomial[2#, # ], (# + 2)] != 0 &]
CROSSREFS
KEYWORD
nonn,look
AUTHOR
Robert G. Wilson v, May 11 2004
STATUS
approved