[x^64 + 65536, 65536]