[1,4,13,36,93,228,541,1252,2845,6372,14109,30948,67357,145636,313117,669924,1427229,3029220,64079651351498028428061596523324124897053,260978916,544327453,1133394148,2356266781,4891490532,10140895005,20997617892,43426891549]