OFFSET
1,3
COMMENTS
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Joerg Arndt and Márk Péter Légrádi, May 22 2023
STATUS
approved