[1,5,44,213,901,3729,15132,60689,244237,978368,3912197,15656416,62651132,250646797,1002647129,4010646957]