OFFSET
1,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Aug 10 2018
STATUS
approved