OFFSET
12,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Joerg Arndt and Alois P. Heinz, Apr 28 2014
STATUS
approved