Prime p such that p-1 has a record number of divisors d such that 2^d == 1 mod p