OFFSET
0,2
CROSSREFS
KEYWORD
nonn
AUTHOR
Peter Luschny, Sep 25 2022
STATUS
approved