OFFSET
1,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jan 12 2023
STATUS
approved