[2,5,12,28,71,186,507,1443,4241,12895,40333, 129679,427455,1442384,4975291,17518890,62907021, 230104503,856679290,3243467627,12479244341, 48759284806,193353224018,777721210211]