[1,1,12,31,69,181,443,1052,2701,6455,15928,40073, 100362,251707,637235,1617175,4124437,10553415, 27066974,69709680,179992909,465769803,1208198526, 3140421716,8179002096,21338685407,55762149030, 145935689361]