[1,4,10,19,31,129,761,3423,12503,65847,587331, 5621100,47590431,445495212,5880381069,98943434625, 1748899641272,32546795958370,732964964303388]