[1,7,28,113,455,1820,7281,29127,116508,466033, 1864135,7456540,29826161,119304647,477218588, 1908874353,7635497415,30541989660,122167958641, 488671834567,1954687338268,7818749353073, 31274997412295]