\seqnum{A167242},
\seqnum{A167247},
\seqnum{A348456},