OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 11 2007
STATUS
approved