OFFSET
1,4
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Hans Havermann, Jun 08 2020
STATUS
approved