isprime[2^(6^7)+1]