OFFSET
1,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Mar 20 2017
STATUS
approved