OFFSET
8,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Alois P. Heinz, Nov 19 2018
STATUS
approved