[Pol([1,0,76,0,2442,0,43112,0,454740,0,2918304,0,11128160,0,23772416,0,26483712,0,15009792,0,4044800,0,442368,0,16384]),5979045888]
