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