OFFSET
1,1
CROSSREFS
KEYWORD
nonn,more,hard,bref
AUTHOR
Hans Havermann, Nov 27 2016
STATUS
approved