OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Dec 07 2020
STATUS
approved