OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Feb 06 2016
STATUS
approved