[4,7,12,25,52,131,316,835,2196,5935,16108,44369, 122644,341803,956636,2690845,7596484,21524543, 61171660,174342217,498112276,1426419859, 4093181692,11767920119,33891544420,97764131647, 282429537948,817028472961,2366564736724, 6863038218843]