[9,10,11,13,18,30,59,129,299,717,1741,4183,9781, 22123,48516,103856,218683,455839,944616,1950404, 4016865,8257883,16962086,34853986,71735687, 148017585,306239910,634872376,1316958592, 2728411246]