OFFSET
1,1
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Martin Renner, May 22 2005
STATUS
approved