[1,12,31,109,397,1430,5110,18395,66203,238103, 856413,3081033,11083994,39873749,143444250, 516038048,1856433397,6678469130,24025629692, 86431623758,310935653685,1118583441105, 4024076800534,14476518656548]