OFFSET
0,1
CROSSREFS
KEYWORD
nonn,base,fini,full
AUTHOR
Jaroslav Krizek, Aug 08 2013
STATUS
approved