OFFSET
0,7
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Oct 22 2013
STATUS
approved