Definition:Woodall Prime/Sequence

Sequence

The sequence $\sequence n$ for which $n \times 2^n - 1$ is a prime number begins:

$2, 3, 6, 30, 75, 81, 115, 123, 249, 362, 384, 462, 512, 751, \ldots$

The first few of these correspond with the sequence $\sequence n$ of the actual Woodall primes themselves, which begins:

$7, 23, 383, 32212254719, 2833419889721787128217599, 195845982777569926302400511, \ldots$