[x^128 + 496*x^112 - 6160128*x^96 + 3177193472*x^80 + 41038617903104*x^64 + 813361528832*x^48 - 403710148608*x^32 + 8321499136*x^16 + 4294967296, 133084623351122896294510592]
