[x^64 - 16*x^48 + 256*x^32 - 4096*x^16 + 65536, 65536]
