OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Jun 10 2024
STATUS
approved