TeX source:
\gcd(N,a^{r/2}+1)