OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
klazar(AT)kam.mff.cuni.cz (Martin Klazar)
STATUS
approved