[1,2,8,22,57,142,348,847,2052,4962,11988,28951, 69904,168774,407468,983727,2374940,5733626, 13842212,33418071,80678377,194774849,470228100]