OFFSET
1,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Oct 11 2016
STATUS
approved