OFFSET
1,1
COMMENTS
Column 3 of A223692.
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..210
FORMULA
Empirical: a(n) = 24*a(n-1) - 127*a(n-2).
Conjectures from Colin Barker, Aug 22 2018: (Start)
G.f.: 144*x*(1 - 8*x) / (1 - 24*x + 127*x^2).
a(n) = (72*((12-sqrt(17))^n*(-31+8*sqrt(17)) + (12+sqrt(17))^n*(31+8*sqrt(17)))) / (127*sqrt(17)).
(End)
EXAMPLE
Some solutions for n=3:
.14..8.14...13..5..6...14..8.14...13.15..9....0..8.14....7.15..9....3.11.13
.10.12.14....6..5..6....0..8.10....9.15.13...14.12..4...13.15.13....3.11.13
.14..8..0....4..5..4...10..8.10...13.11..9....4..5.13...13.11..3...13.15..9
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Mar 25 2013
STATUS
approved