\seqnum{A001212},
\seqnum{A234941},