OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, May 17 2022
STATUS
approved