Truncatable_prime loading ...