OFFSET
1,1
COMMENTS
Equally, numbers k such that 2*k XOR sigma(k) = k, i.e., k XOR sigma(k) = 2*k.
If it exists, a(6) > 2^33.
LINKS
EXAMPLE
672 has binary expansion 1010100000_2, and 672 XOR 2*672 has binary expansion 11111100000_2 = 2016 (= 63*32) = sigma(672), so 672 is included in this sequence. Notably, as 672 is also a Fibbinary number (in A003714, no adjacent 1-bits), it follows that 672 XOR 2*672 = 3*672, and thus 672 is also a 3-perfect number, A005820.
PROG
(PARI) is_A379234(n) = (bitxor(2*n, n)==sigma(n));
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Antti Karttunen, Jan 04 2025
STATUS
approved