[Pol([1,0,12,0,108,0,900,0,7335,0,24948,0,66744,0,158760,0,334449,0,476280,0,600696,0,673596,0,594135,0,218700,0,78732,0,26244,0,6561]),5112722673]
