OFFSET
1,1
COMMENTS
Column 3 of A295551.
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
Robert Israel, Maple-assisted proof of formula
FORMULA
Empirical: a(n) = 5*a(n-1) -6*a(n-2) +2*a(n-3) -3*a(n-4) +12*a(n-5) -24*a(n-6) +a(n-7) +17*a(n-8) -3*a(n-9) +6*a(n-10) +8*a(n-11) +5*a(n-12) -15*a(n-13) +12*a(n-14) -9*a(n-15) +2*a(n-16) -a(n-17).
Empirical formula confirmed by Robert Israel, Nov 23 2017 (see link).
EXAMPLE
Some solutions for n=5
..1..0..0. .0..0..1. .1..0..1. .0..1..0. .1..1..1. .0..0..0. .1..0..1
..1..0..0. .0..0..1. .1..0..1. .1..1..1. .0..1..0. .0..1..0. .1..0..1
..0..0..0. .0..0..0. .0..0..0. .0..1..0. .0..0..0. .1..1..1. .0..0..0
..0..1..0. .1..1..0. .1..1..0. .0..0..1. .1..1..0. .0..0..0. .0..1..0
..1..1..1. .0..0..0. .0..0..0. .0..0..1. .0..0..0. .0..0..0. .1..1..1
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Nov 23 2017
STATUS
approved