OFFSET
0,3
COMMENTS
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Abe Wits and Ragnar Groot Koerkamp, Nov 20 2020
EXTENSIONS
a(11) and a(12) from Aaron N. Siegel, May 22 2022
STATUS
approved