\seqnum{A000009},
\seqnum{A000041},
\seqnum{A015128},