\seqnum{A008277},
\seqnum{A019538},