[x^128 - 6076*x^120 + 7037226*x^112 + 4280997328*x^104 + 55985798518067*x^96 - 131537090431281456*x^88 - 60296945171307395798*x^80 - 212472503890307373382972*x^72 + 967209787390702254659106561*x^64 - 211183213450911261228899679232*x^56 + 18222079681823108040737887485952*x^48 - 791855206395963025862226572476416*x^40 + 20398206153742913837714577777754112*x^32 - 304000305284192474320977019642314752*x^24 + 2198002661004156948683339305882484736*x^16 - 12337173697063712824729010176*x^8 + 18446744073709551616, 6242404055222034990297158890412238441933033713481115617348880976179491255781219031222436363941045249875495925644882191201457371867684384893397003878040783041491315317293793317184751779568208094167040]
