OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Reinhard Zumkeller, Apr 22 2003
EXTENSIONS
Extended by T. D. Noe, Jul 09 2010
STATUS
approved