OFFSET
1,3
CROSSREFS
KEYWORD
base,nonn
AUTHOR
Max Alekseyev, Feb 08 2024
STATUS
approved