OFFSET
1,2
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Robert Israel, Maple-assisted proof of formula
FORMULA
Empirical: a(n) = 16*a(n-1) -76*a(n-2) +272*a(n-3) -1060*a(n-4) +2704*a(n-5) -5184*a(n-6) +9920*a(n-7) -11904*a(n-8) +9472*a(n-9) -7168*a(n-10) +4096*a(n-11) -1024*a(n-12).
Empirical formula verified by Robert Israel, May 09 2018 (see link).
EXAMPLE
Some solutions for n=5
..1..1..1..0....1..0..1..1....0..0..0..0....1..0..0..0....0..1..1..1
..0..1..1..0....1..0..1..1....0..1..1..0....1..1..1..0....1..1..0..1
..0..1..1..1....1..0..1..0....1..0..1..0....1..1..1..0....0..1..1..1
..1..0..1..1....1..1..1..1....1..0..0..0....0..1..0..0....1..1..0..1
..1..1..0..0....0..1..0..0....1..1..0..0....1..1..1..0....0..1..0..0
MAPLE
f:= gfun:-rectoproc({a(n) = 16*a(n-1) -76*a(n-2) +272*a(n-3) -1060*a(n-4) +2704*a(n-5) -5184*a(n-6) +9920*a(n-7) -11904*a(n-8) +9472*a(n-9) -7168*a(n-10) +4096*a(n-11) -1024*a(n-12), seq(a(i)=[1, 40, 494, 4892, 51068, 538672, 5654616, 59369072, 623600944, 6549786560, 68792261728, 722531010240][i], i=1..12)}, a(n), remember):
map(f, [$1..25]); # Robert Israel, May 09 2018
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Dec 25 2011
STATUS
approved