OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Sep 18 2012
STATUS
approved