AKS primality testing script