[Pol([1,0,0,0,0,0,0,0,24,0,0,0,0,0,0,0,16]),32]
