\seqnum{A002487},
\seqnum{A054390},
\seqnum{A277872},
\seqnum{A277873},