OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Dec 09 2018
STATUS
approved