OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Feb 05 2021
STATUS
approved