\seqnum{A008284},
\seqnum{A035098},
\seqnum{A130534},