[Pol([1,0,0,0,0,0,0,0,17,0,0,0,0,0,0,0,-32,0,0,0,0,0,0,0,17,0,0,0,0,0,0,0,1]),80]
