OFFSET
1,3
COMMENTS
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Joerg Arndt and Márk Péter Légrádi, May 21 2023
EXTENSIONS
a(12) and a(13) from Joerg Arndt, Dec 11 2023
STATUS
approved