Title: Efficient primality tests