OFFSET
1,1
COMMENTS
Column 3 of A223202.
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
FORMULA
Empirical: a(n) = 40*a(n-1) - 128*a(n-2).
Conjectures from Colin Barker, Mar 16 2018: (Start)
G.f.: 16*x*(1 - 4*x) / (1 - 40*x + 128*x^2).
a(n) = ((20-4*sqrt(17))^n*(-3+sqrt(17)) + (3+sqrt(17))*(4*(5+sqrt(17)))^n) / (4*sqrt(17)).
(End)
EXAMPLE
Some solutions for n=3:
..0..1..0....0..1..5....0..3..4....0..4..5....0..3..4....0..1..5....0..3..1
..2..0..3....2..5..2....1..0..2....1..5..1....3..0..2....1..2..1....3..4..3
..0..2..0....5..1..5....5..2..1....5..1..2....4..2..4....0..4..0....4..3..1
Face neighbors:
0,5 -> 1 2 3 4
1,4 -> 0 2 3 5
2,3 -> 0 1 4 5
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Mar 18 2013
STATUS
approved