OFFSET
0,7
CROSSREFS
KEYWORD
nonn,more,hard,less
AUTHOR
Jonathan Vos Post, Feb 05 2011
EXTENSIONS
a(19) and on corrected by Falk Hüffner, May 24 2026
STATUS
approved
