OFFSET
1,1
LINKS
CROSSREFS
KEYWORD
nonn,base,more
AUTHOR
Carlos Rivera, May 18 2020
EXTENSIONS
a(11)-a(17) from Giovanni Resta, May 23 2020
a(16) corrected by Giovanni Resta, May 30 2020
STATUS
approved