OFFSET
1,5
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Joerg Arndt, Feb 22 2015
STATUS
approved