[Pol([1,0,0,0,0,0,0,0,7,0,0,0,0,0,0,0,1]),3]
