OFFSET
1,2
PROG
(PARI) isA354811(n) = (1==A346242(n));
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 07 2022
STATUS
approved