OFFSET
1,1
LINKS
PROG
(PARI) isA354815(n) = (0==A354347(n));
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Jun 07 2022
STATUS
approved