[2,8,25,67,165,387,881,1967,4333,9451,20457,44007, 94181,200675,425953,901087,1900509,3997659, 8388569,17563607,36700117,76546003,159383505, 331349967,687865805,1426063307,2952789961, 6106906567]