[1,2,5,12,28,64,143,315,687,1485,3186,6792,14401, 30391,63872,133751,279177,581040,1206151,2497895, 5161982,10646564,21919161,45052841,92461171, 189489255,387830160,792810956,1618840800, 3301999647]