Pythagorean_prime loading ...