PRIMO is a program that can prove the primality of large numbers (around 5000 decimal digits). It is currently available for 64-bit Linux. But there used to be a single-processor version for Windows. That version has mysteriously disappeared.
tl,dr; does anyone know where you can still get PRIMO 3.0.6 32-bit for Windows