Primes Port 1989 (0.75)