Integer_factorization_records loading ...