OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Dec 21 2008
STATUS
approved