OFFSET
3,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Simone Severini, Sep 26 2005
STATUS
approved
