OFFSET
1,2
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Antti Karttunen, Jan 10 2023
STATUS
approved