OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 11 2012
STATUS
approved