\seqnum{A000215},
\seqnum{A102742},