[1,2,3,7,20,67,254,1057,4700,21847,104474,508477, 2501480,12386227,61570694,306778297,1530678260, 7643776207,38190084914,190864134517,954061999040, 4769534367787,23845345743134,119219752001137]