[1,2,7,13,31,76,185,451,1101,2687,6569,16075, 39384,96594,237159,582883,1434067,3531851,8707217, 21488269,53084814,131276885,324981011,805345637, 1997855718,4961422706,12334208641,30695995780, 76475032893]