[9,23,59,145,351,835,1971,4625,10831,25349,59387, 139365,327791,772867,1826897,4329065,10282271, 24474781,58370829,139453231,333678255,799483191, 1917764183,4604847317,11066414301,26614313429, 64046049399]