OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Dec 10 2021, following a suggestion from Alois P. Heinz
STATUS
approved
