OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 22 2001
STATUS
approved