[1,7,6,17,42,119,305,829,2196,5907,15863,42842, 115845,314368,854647,2329087,6358855,17393327, 47652117,130752969,359270784,988458115,2722792878]