\seqnum{A000129},
\seqnum{A041011},