OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
EXTENSIONS
Title simplified by Sean A. Irvine, Jun 12 2019
STATUS
approved