\seqnum{A005820},
\seqnum{A019434},
\seqnum{A214409},
\seqnum{A214413},