[4,17,72,304,1283,5414,22845,96397,406757,1716352, 7242319,30559689,128949662,544115986,2295951781, 9687997993,40879475731,172495033261,727860031657, 3071278144467,12959565068034,54684179957837, 230745362360740,973653116715681,4108426630946045]