[9,33,157,1124,5468,32361,181644,1005279,5712287, 31908805,179364032,1008041332,5656064297, 31779206260,178441753729,1002081327301, 5627883437261,31604106229992,177487167753036, 996741882957325]