\seqnum{A001045},
\seqnum{A014551},