OFFSET
0,7
CROSSREFS
KEYWORD
nonn
AUTHOR
R. J. Mathar, Nov 20 2017
STATUS
approved