2^(n-1)*(2^n - (-1)^n)/3. 0, 1, 2, 12, 40, 176, 672, 2752, 10880, 43776, 174592, 699392, 2795520, 11186176
1 seqfan posts