[math-fun] "Aurifeuillean" factorization of Mersenne^2+8