[Pol([1,0,-64,0,1454,0,-16608,0,108977,0,-436640,0,1097944,0,-1746560,0,1743632,0,-1062912,0,372224,0,-65536,0,4096]),516198400]
