OFFSET
0,7
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Aug 09 2015
STATUS
approved