OFFSET
3,1
REFERENCES
M. Kirchweger, M. Scheucher, and S. Szeider, SAT-Based Generation of Planar Graphs, in preparation.
FORMULA
a(n) = Sum_{j=1..3} A259862(n, n-j). - Andrew Howroyd, Mar 16 2023
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Manfred Scheucher, Mar 15 2023
STATUS
approved