[2,11,30,82,199,480,1097,2630,5828,12830,27873,
60071,128355,273543,580149,1226626,2584822,
5433676,11392986,23838396,49776503,103755527,
215904926,448602871,930771041,1928682932,
3991605129,8251710234,17040335019,35154540729,
72456654860,149208536983]
|