%I #15 Aug 17 2022 10:15:12
%S 1,511,147573952589676412927,
%T 174224571863520493293247799005065324265471
%N Numbers k that are Mersenne primes (A000668) such that 2*k is in A354525.
%C Terms in A354536 that are Mersenne primes. Note that all Mersenne primes are in A354536.
%F By definition, equals A354536 \ A000668.
%F a(n) = 2^A354532(n) - 1 = A354534(n)/2.
%e See A354532.
%o (PARI) lista(nn,{lim=256},{lim_p=1<<32}) = for(n=1, nn, if(isA354532(n,lim,lim_p), print1(2^n-1, ", "))) \\ See A354532 for the function isA354532
%Y Cf. A354525, A000668, A354532, A354534, A354536.
%K nonn,hard,more
%O 1,2
%A _Jianing Song_, Aug 17 2022