\seqnum{A000071},
\seqnum{A001610},