OFFSET
0,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Alois P. Heinz, Feb 07 2023
STATUS
approved