Aurifeuillean_factorization loading ...