[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]