OFFSET
4,3
LINKS
Colin Barker, Table of n, a(n) for n = 4..351
G. Barequet and M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes.
G. Barequet and M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes.
FORMULA
a(n) = 2^(n-7)*n^(n-9)*(n-4)*(8*n^8 - 140*n^7 + 1010*n^6 - 3913*n^5 + 9201*n^4 - 15662*n^3 + 34500*n^2 - 120552*n + 221760)/6.
PROG
(PARI) a(n) = 2^(n-7) * n^(n-9) * (n-4) * (8*n^8-140*n^7+1010*n^6 -3913*n^5 +9201*n^4-15662*n^3+34500*n^2-120552*n +221760)/6 \\ Colin Barker, Jun 16 2015
(Magma) [2^(n-7)*n^(n-9)*(n-4)*(8*n^8 - 140*n^7 + 1010*n^6 - 3913*n^5 + 9201*n^4 - 15662*n^3 + 34500*n^2 - 120552*n + 221760)/6: n in [4..20]]; // Vincenzo Librandi, Jun 20 2015
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Mira Shalah, Jun 16 2015
STATUS
approved