OFFSET
1,2
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
Heinrich Ludwig, Jun 19 2014
STATUS
approved