[1,3,8,19,44,97,207,432,884,1777,3529,6942,13547,
26281,50791,97942,188677,363489,700953,1354060,
2621602,5088832,9905382,19335477,37848971,
74287855,146173721,288280956,569715036,1127957956,
2236777539,4441749653,8830819362,17574636239,
35005944165,69776276002,139165947494]
|