[Pol([1,4,12,25,55,117,283,943,3749,13007,36128,80560,147071,223479,285993,310265,285993,223479,147071,80560,36128,13007,3749,943,283,117,55,25,12,4,1]),1150026421999]
