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