[1,3,7,31,69,238,11493,34717,80927,358425,797777, 2751756,132882065,401397951,935677967,4144109819, 9223897605,31815802634,1536382424037, 4640963074745,10818308573527,47914197368853, 106646703311233,367854307302552,17763653453833729]