[1,3,14,65,251,1288,4830,25518,95388,510532, 1910821,10309234,38656462,209766714,787912030, 4294635438,16155375825]