\seqnum{A001259},
\seqnum{A358717},
\seqnum{A358718},
\seqnum{A358719},