OFFSET
1,1
CROSSREFS
KEYWORD
nonn,hard,more,bref
AUTHOR
Felix Fröhlich, May 14 2021
STATUS
approved