[1,4,15,120,3060,278256,90858768,105637584000,436355999662176,6431591598617108352,340881559632021623909760,65533747894341651530074060800,46081376018330435634530315478453248]