OFFSET
1,1
PROG
(PARI) isA356319(n) = { my(u=A356302(n)); (u && (u<n)); };
CROSSREFS
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 04 2022
STATUS
approved