OFFSET
1,2
CROSSREFS
KEYWORD
nonn,less
AUTHOR
Jonathan Vos Post, Jun 23 2008
EXTENSIONS
Data corrected by Giovanni Resta, Jun 20 2016
STATUS
approved