OFFSET
1,3
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Jan 22 2024
EXTENSIONS
a(13)-a(16) from John Mason, Sep 24 2024
STATUS
approved