OFFSET
1,7
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
John Mason, Jan 07 2022
STATUS
approved