\seqnum{A001206},
\seqnum{A008840},