Found bug in PrimeFactors.divisors() while on p23