OFFSET
0,4
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Nov 11 2018
STATUS
approved