OFFSET
1,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Simon Strandgaard, Apr 02 2006
EXTENSIONS
Edited by Reinhard Zumkeller, Apr 05 2006
STATUS
approved