primality certificate edge cases