Formula_for_primes loading ...