[x^64 + 1, 1]
