OFFSET
1,5
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Patrick De Geest, Apr 15 1998
EXTENSIONS
Offset changed to 1 by Jinyuan Wang, Sep 04 2021
STATUS
approved