[Pol([1,0,0,0,-7,0,0,0,48,0,0,0,-7,0,0,0,1]),144]
