OFFSET
1,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 25 2013
STATUS
approved