\seqnum{A018804},
\seqnum{A051193},