[3159,4517,6880,11766,28668,80058,253176,1011114, 4109928,16573530,76394256,343071594,1473267984, 7095859362,32986799520,145080603426,712092090408, 3363516907218,14962452326376,74120256227754]