[x^32 + 17*x^24 - 32*x^16 + 17*x^8 + 1, 80]
