[4,7,12,23,44,84,165,326,650,1297,2590,5177,10349,
20695,41386,82766,165527,331048,662093,1324181,
2648358,5296712,10593418,21186832,42373658,
84747311,169494616,338989224,677978441,1355956875,
2711913744,5423827481,10847654953,21695309901,
43390619796,86781239588,173562479173,347124958346]
|