[math-fun] Mersenne divisors