OFFSET
1,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Aug 23 2014
STATUS
approved