OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, May 14 2023
STATUS
approved