[3,7,12,31,42,124,224,511,847,1953,2688,12264, 18816,29127,72540,131071,195048,558523,1077440, 3164112,4552020,10890040,10342080,54525848, 73260781,155671040,318848400,1080311232,964580240, 3070642080]