OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jan 21 2024
STATUS
approved