OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Nov 20 2020
STATUS
approved