Irregular_prime loading ...