OFFSET
1,1
CROSSREFS
KEYWORD
nonn,hard
AUTHOR
STATUS
approved