OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Apr 21 2024
STATUS
approved