\seqnum{A001212},
\seqnum{A008574},
\seqnum{A295771},
\seqnum{A295774},