OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Dec 12 2021
STATUS
approved