OFFSET
0,7
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 14 2003
STATUS
approved