\seqnum{A008277},
\seqnum{A008297},
\seqnum{A132393},
\seqnum{A143497},
\seqnum{A143498},
\seqnum{A143499},