\seqnum{A001212},
\seqnum{A006638},
\seqnum{A167809},