[x^32 - 16*x^16 + 256, 256]