OFFSET
0,2
CROSSREFS
KEYWORD
nonn,hard,less
AUTHOR
Artur Jasinski, Dec 08 2007
EXTENSIONS
Edited and extended by David Wasserman, Mar 26 2008
STATUS
approved