gcd(a^4 + 8 a^3 -64 a + 64, 424p2 - 64)