OFFSET
1,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Oct 05 2023
STATUS
approved