OFFSET
1,1
CROSSREFS
KEYWORD
nonn,less
AUTHOR
Juri-Stepan Gerasimov, May 12 2017
STATUS
approved