[4,16,53,155,418,1066,2611,6205,14408,32852,73825, 163951,360574,786574,1704095,3670193,7864516, 16777432,35651821,75497731,159383834,335544626, 704643403,1476395365,3087008128,6442451356, 13421773241,27917287895]