OFFSET
1,2
LINKS
Álvar Ibeas, Table of n, a(n) for n = 1..40
FORMULA
EXAMPLE
a(3) = 571 = 1 * 1 + 57 * 2 + 456 * 1, counting:
the unrefined chain 0 < (F_7)^3;
57 chains 0 < V < (F_7)^3, with dim(V) = 1; another
57 chains 0 < V < (F_7)^3, with dim(V) = 2; and
456 chains 0 < V_1 < V_2 < (F_7)^3.
CROSSREFS
KEYWORD
nonn
AUTHOR
Álvar Ibeas, Sep 15 2021
STATUS
approved