OFFSET
1,3
CROSSREFS
KEYWORD
nonn,base,fini,full,easy
AUTHOR
STATUS
approved