Permutable_prime loading ...