OFFSET
1,1
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jeffrey Shallit, Jul 03 2024
STATUS
approved