Project Euler #248: Numbers for which Euler’s totient function equals 13!